miniaturadeimagen|El lema de Riemann-Lebesgue establece que la integral de la transformada de una función tiende a anularse a medida que aumenta el número de oscilaciones de la función. En matemáticas, el Lema de Riemann-Lebesgue recibe el nombre en honor a los matemáticos Bernhard Riemann y Henri Lebesgue, y es de importancia en análisis armónico y análisis asintótico.
Este resultado es en realidad un resultado bastante profundo, debido a que es un elemento crucial en la prueba de la convergencia puntual de las series de Fourier.
Historia Bernhard Riemann presentó en 1854 una primera versión de este teorema. Se convierte en parte de una tesis sobre las series trigonométricas presentado a permitir que su defensa de la Universidad de Göttingen, titulado "Ueber die Darstellbarkeit einer Function durch eine trigonometrische Reihe" (Sobre la representación de una función por una serie trigonométrica) con esto Riemann define la integral que lleva su nombre. Es en el contexto de esta teoría de la integración para probar su teorema, con muchos otros hallazgos en series de Fourier. La memoria será publicada en 1867 por iniciativa de Richard Dedekind.
Enunciado
Si , entonces
, cuando .
Esto es, la transformada de Fourier de tiende a cero, cuando tiende a infinito.
Demostración Consideraremos el caso particular , la prueba en otras dimensiones es muy similar. Sea una función suave de soporte compacto, entonces por integración por partes en cada variable se obtiene
Si es una función integrable arbitraria, esta puede ser aproximada en la norma de por una función suave de soporte compacto. Escogamos tal función de manera que . Entonces
y puesto que esto es para cualquier , el teorema queda demostrado.
Aplicaciones El lema de Riemann–Lebesgue puede ser usado para probar la validez de aproximaciones asintóticas para integrales. Tratamientos rigurosos del método de descenso más agudo y el método de la fase estacionaria, entre otros, están basados en este resultado.
Referencias
Categoría:Lemas (matemáticas) Categoría:Transformaciones integrales Categoría:Análisis de Fourier Categoría:Procesamiento de señales Riemann-Lebesgue, lema Categoría:Ciencia y tecnología de Alemania del siglo XIX Categoría:Ciencia de 1854 Categoría:Alemania en 1854 Categoría:Análisis asintótico Categoría:Análisis armónico Categoría:Teoremas de análisis matemático Categoría:Bernhard Riemann