Loading AI tools
una teorema que relacione las propiedades de decremento en el infinito de una función (o distribución) con la analticidad de su transformada de Fourier De Wikipedia, la enciclopedia libre
En matemáticas, un teorema de Paley-Wiener es cualquier teorema que relacione las propiedades de descomposición de una función o distribución en el infinito con la analticidad de su transformada de Fourier. El teorema se nombra para Raymond Paley (1907–1933) y Norbert Wiener (1894–1964). Los teoremas originales no utilizaban el lenguaje de las distribuciones y, en cambio, se aplicaban a funciones cuadradas integrables. El primer teorema de este tipo que usa distribuciones se debió a Laurent Schwartz.
Los teoremas clásicos de Paley-Wiener hacen uso de la transformada de Fourier holomorfa en clases de funciones integrables por cuadrados compatibles con la línea real. Formalmente, la idea es tomar la integral que define la transformada de Fourier (inversa).
y permitir que ζ sea un número complejo en el semiplano superior. Entonces se puede esperar diferenciar bajo la integral para verificar que las ecuaciones de Cauchy-Riemann se mantienen, y por lo tanto, que f define una función analítica. Sin embargo, esta integral puede no estar bien definida, incluso para F en L2(R); (de hecho, como ζ está en la mitad superior del plano, el módulo de eixζ crece exponencialmente como ) por lo tanto la diferenciación bajo el signo integral está fuera de discusión. Se debe imponer restricciones adicionales a F para garantizar que esta integral esté bien
La primera restricción de este tipo es que F se admita en R+: es decir, F ∈ L2(R+). El teorema de Paley-Wiener ahora afirma lo siguiente:[1] La transformada de Fourier holomorfa de F, definida por
para ζ en el semiplano superior es una función holomórfica. Además, por el teorema de Plancherel, uno tiene
y por la convergencia dominada,
Por el contrario, si f es una función holomórfica en el semiplano superior que satisface
entonces existe F en L2(R+) tal que f es la transformada de Fourier holomórfica de F.
En términos abstractos, esta versión del teorema describe explícitamente el espacio de Hardy . El teorema establece que
Este es un resultado muy útil ya que permite una pasada a la transformada de Fourier de una función en el espacio de Hardy y realiza cálculos en el espacio L2(R+) fácilmente comprensible de las funciones integrables cuadradas compatibles con el eje positivo.
Al imponer la restricción alternativa de que F sea compatible de forma compacta, se obtiene otro teorema de Paley-Wiener.[2] Supongamos que F es compatible en [−A, A], de modo que F ∈ L2(−A,A). Entonces, la transformada de Fourier holomorfa.
es una función completa de tipo exponencial A, lo que significa que hay una constante C tal que
y además, f es integrable por cuadrados sobre líneas horizontales:
A la inversa, cualquier función completa de tipo exponencial A que sea integrable en forma cuadrada sobre líneas horizontales es la transformada de Fourier holomorfa de una función L2 admitida en [−A, A].
El teorema de Schwartz de Paley-Wiener afirma que la transformada de Fourier de una distribución de soporte compacto en Rn es una función completa en Cn y proporciona estimaciones sobre su crecimiento en el infinito. Fue probado por Laurent Schwartz (1952). La formulación presentada aquí es de Hörmander (1976).
En general, la transformada de Fourier se puede definir para cualquier distribución templada; además, cualquier distribución de soporte compacto v es una distribución templada. Si v es una distribución de soporte compacto y f es una función infinitamente diferenciable, la expresión
está bien definido.
Se puede mostrar que la transformada de Fourier de v es una función (en oposición a una distribución general moderada) dada en el valor s por
y que esta función puede extenderse a los valores de s en el espacio complejo Cn. Esta extensión de la transformada de Fourier al dominio complejo se denomina transformada de Fourier-Laplace.
Teorema de Schwartz. Una función completa F en Cn es la transformada de Fourier-Laplace de una distribución v de soporte compacto si y solo si para todos los z ∈ Cn,
para algunas constantes C, N, B. La distribución v, de hecho, se apoyará en la bola cerrada del centro 0 y el radio B.
Las condiciones de crecimiento adicionales en toda la función F imponen propiedades de regularidad en la distribución v. Por ejemplo:[3]
Teorema. Si para cada N positivo hay una CN constante tal que para todos z ∈ Cn,
entonces v es una función infinitamente diferenciable, y viceversa.
Los resultados más agudos que dan un buen control sobre el soporte singular de v han sido formulados por Hörmander (1976). En particular,[4] sea K un conjunto compacto convexo en Rn con función de soporte H, definida por
Entonces el soporte singular de v está contenido en K si y solo si hay una constante N y una secuencia de constantes Cm tal que
para |Im(ζ)| ≤ mlog(|ζ|+1).
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.