Teorema en análisis armónico
En matemáticas , el lema de Riemann-Lebesgue , que lleva el nombre de Bernhard Riemann y Henri Lebesgue , establece que la transformada de Fourier o transformada de Laplace de una función L 1 desaparece en el infinito . Es de importancia en el análisis armónico y el análisis asintótico .
Declaración
Sea una función integrable, es decir, es una función medible tal que![{\displaystyle f\in L^{1}(\mathbb {R} ^{n})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f\colon \mathbb {R} ^{n}\rightarrow \mathbb {C} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \|f\|_{L^{1}}=\int _{\mathbb {R} ^{n}}|f(x)|\mathrm {d} x<\infty ,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y sea la transformada de Fourier de , es decir![{\displaystyle {\sombrero {f}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\hat {f}}\colon \mathbb {R} ^{n}\rightarrow \mathbb {C} ,\ \xi \mapsto \int _{\mathbb {R} ^{n}}f( x)\mathrm {e} ^{-\mathrm {i} x\cdot \xi }\mathrm {d} x.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Luego desaparece en el infinito: como .![{\displaystyle {\sombrero {f}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle |{\sombrero {f}}(\xi )|\to 0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle |\xi |\to \infty }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Debido a que la transformada de Fourier de una función integrable es continua, la transformada de Fourier es una función continua que desaparece en el infinito. Si denota el espacio vectorial de funciones continuas que desaparecen en el infinito, el lema de Riemann-Lebesgue se puede formular de la siguiente manera: La transformación de Fourier se asigna a .![{\displaystyle {\sombrero {f}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C_{0}(\mathbb {R} ^{n})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle L^{1}(\mathbb {R} ^{n})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C_{0}(\mathbb {R} ^{n})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Prueba
Nos centraremos en el caso unidimensional , la demostración en dimensiones superiores es similar. Primero, supongamos que es continuo y compacto . Para , la sustitución conduce a![{\displaystyle n=1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \xi \neq 0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \textstyle x\to x+{\frac {\pi }{\xi }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
.
Esto da una segunda fórmula para . Tomando la media de ambas fórmulas llegamos a la siguiente estimación:![{\displaystyle {\sombrero {f}}(\xi )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
.
Porque es continuo, converge a como para todos . Por tanto, converge a 0 debido al teorema de convergencia dominada .![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \left|f(x)-f\left(x+{\tfrac {\pi }{\xi }}\right)\right|}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle |\xi |\to \infty }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x\in \mathbb {R}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle |{\sombrero {f}}(\xi )|}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle |\xi |\to \infty }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Si es una función integrable arbitraria, puede aproximarse en la norma mediante una función continua soportada de forma compacta. Para , elija una función continua con soporte compacto tal que . Entonces![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle L^{1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varepsilon >0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle g}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \|fg\|_{L^{1}}\leq \varepsilon }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \limsup _{\xi \rightarrow \pm \infty }|{\hat {f}}(\xi )|\leq \limsup _{\xi \to \pm \infty }\left|\int ( f(x)-g(x))\mathrm {e} ^{-\mathrm {i} x\xi }\,\mathrm {d} x\right|+\limsup _{\xi \rightarrow \pm \ infty }\left|\int g(x)\mathrm {e} ^{-\mathrm {i} x\xi }\,\mathrm {d} x\right|\leq \varepsilon +0=\varepsilon .}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Como esto es válido para any , se deduce que .![{\displaystyle \varepsilon >0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle |{\sombrero {f}}(\xi )|\to 0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle |\xi |\to \infty }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Otras versiones
El lema de Riemann-Lebesgue se cumple en una variedad de otras situaciones.
- Si , entonces el lema de Riemann-Lebesgue también es válido para la transformada de Laplace de , es decir,
![{\displaystyle f\in L^{1}[0,\infty )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \int _{0}^{\infty }f(t)\mathrm {e} ^{-tz}\mathrm {d} t\to 0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- como dentro del semiplano .
![{\displaystyle |z|\to \infty }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathrm {Re} (z)\geq 0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Una versión también es válida para las series de Fourier : si es una función integrable en un intervalo acotado, entonces los coeficientes de Fourier tienden a 0 como . A esto le sigue extendiendo por cero fuera del intervalo y luego aplicando la versión del lema de Riemann-Lebesgue en toda la recta real.
![{\displaystyle {\sombrero {f}}_{k}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k\to \pm \infty }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Sin embargo, el lema de Riemann-Lebesgue no se cumple para distribuciones arbitrarias. Por ejemplo, la distribución de la función delta de Dirac tiene formalmente una integral finita sobre la línea real, pero su transformada de Fourier es una constante y no desaparece en el infinito.
Aplicaciones
El lema de Riemann-Lebesgue se puede utilizar para demostrar la validez de aproximaciones asintóticas para integrales. Los tratamientos rigurosos del método de descenso más pronunciado y el método de fase estacionaria , entre otros, se basan en el lema de Riemann-Lebesgue.
Referencias