Misplaced Pages

In mathematics, the Riemann–Lebesgue lemma, named after Bernhard Riemann and Henri Lebesgue, states that the Fourier transform or Laplace transform of an L function vanishes at infinity. It is of importance in harmonic analysis and asymptotic analysis.

Statement

Let ${\displaystyle f\in L^{1}(\mathbb {R} ^{n})}$ be an integrable function, i.e. ${\displaystyle f\colon \mathbb {R} ^{n}\rightarrow \mathbb {C} }$ is a measurable function such that

${\displaystyle \|f\|_{L^{1}}=\int _{\mathbb {R} ^{n}}|f(x)|\mathrm {d} x<\infty ,}$

and let ${\displaystyle {\hat {f}}}$ be the Fourier transform of ${\displaystyle f}$, i.e.

${\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.}$

Then ${\displaystyle {\hat {f}}}$ vanishes at infinity: ${\displaystyle |{\hat {f}}(\xi )|\to 0}$ as ${\displaystyle |\xi |\to \infty }$.

Because the Fourier transform of an integrable function is continuous, the Fourier transform ${\displaystyle {\hat {f}}}$ is a continuous function vanishing at infinity. If ${\displaystyle C_{0}(\mathbb {R} ^{n})}$ denotes the vector space of continuous functions vanishing at infinity, the Riemann–Lebesgue lemma may be formulated as follows: The Fourier transformation maps ${\displaystyle L^{1}(\mathbb {R} ^{n})}$ to ${\displaystyle C_{0}(\mathbb {R} ^{n})}$.

Proof

We will focus on the one-dimensional case ${\displaystyle n=1}$, the proof in higher dimensions is similar. First, suppose that ${\displaystyle f}$ is continuous and compactly supported. For ${\displaystyle \xi \neq 0}$, the substitution ${\displaystyle \textstyle x\to x+{\frac {\pi }{\xi }}}$ leads to

${\displaystyle {\hat {f}}(\xi )=\int _{\mathbb {R} }f(x)\mathrm {e} ^{-\mathrm {i} x\xi }\mathrm {d} x=\int _{\mathbb {R} }f\left(x+{\frac {\pi }{\xi }}\right)\mathrm {e} ^{-\mathrm {i} x\xi }\mathrm {e} ^{-\mathrm {i} \pi }\mathrm {d} x=-\int _{\mathbb {R} }f\left(x+{\frac {\pi }{\xi }}\right)\mathrm {e} ^{-\mathrm {i} x\xi }\mathrm {d} x}$.

This gives a second formula for ${\displaystyle {\hat {f}}(\xi )}$. Taking the mean of both formulas, we arrive at the following estimate:

${\displaystyle |{\hat {f}}(\xi )|\leq {\frac {1}{2}}\int _{\mathbb {R} }\left|f(x)-f\left(x+{\frac {\pi }{\xi }}\right)\right|\mathrm {d} x}$.

Because ${\displaystyle f}$ is continuous, ${\displaystyle \left|f(x)-f\left(x+{\tfrac {\pi }{\xi }}\right)\right|}$ converges to ${\displaystyle 0}$ as ${\displaystyle |\xi |\to \infty }$ for all ${\displaystyle x\in \mathbb {R} }$. Thus, ${\displaystyle |{\hat {f}}(\xi )|}$ converges to 0 as ${\displaystyle |\xi |\to \infty }$ due to the dominated convergence theorem.

If ${\displaystyle f}$ is an arbitrary integrable function, it may be approximated in the ${\displaystyle L^{1}}$ norm by a compactly supported continuous function. For ${\displaystyle \varepsilon >0}$, pick a compactly supported continuous function ${\displaystyle g}$ such that ${\displaystyle \|f-g\|_{L^{1}}\leq \varepsilon }$. Then

${\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 .}$

Because this holds for any ${\displaystyle \varepsilon >0}$, it follows that ${\displaystyle |{\hat {f}}(\xi )|\to 0}$ as ${\displaystyle |\xi |\to \infty }$.

Other versions

The Riemann–Lebesgue lemma holds in a variety of other situations.

• If ${\displaystyle f\in L^{1}[0,\infty )}$, then the Riemann–Lebesgue lemma also holds for the Laplace transform of ${\displaystyle f}$, that is,

${\displaystyle \int _{0}^{\infty }f(t)\mathrm {e} ^{-tz}\mathrm {d} t\to 0}$

as ${\displaystyle |z|\to \infty }$ within the half-plane ${\displaystyle \mathrm {Re} (z)\geq 0}$.

• A version holds for Fourier series as well: if ${\displaystyle f}$ is an integrable function on a bounded interval, then the Fourier coefficients ${\displaystyle {\hat {f}}_{k}}$ of ${\displaystyle f}$ tend to 0 as ${\displaystyle k\to \pm \infty }$. This follows by extending ${\displaystyle f}$ by zero outside the interval, and then applying the version of the Riemann–Lebesgue lemma on the entire real line.

• However, the Riemann–Lebesgue lemma does not hold for arbitrary distributions. For example, the Dirac delta function distribution formally has a finite integral over the real line, but its Fourier transform is a constant and does not vanish at infinity.

Applications

The Riemann–Lebesgue lemma can be used to prove the validity of asymptotic approximations for integrals. Rigorous treatments of the method of steepest descent and the method of stationary phase, amongst others, are based on the Riemann–Lebesgue lemma.

References

• Bochner S., Chandrasekharan K. (1949). Fourier Transforms. Princeton University Press.
• Weisstein, Eric W. "Riemann–Lebesgue Lemma". MathWorld.

v t e Lp spaces
Basic concepts	Banach & Hilbert spaces L spaces Measure Lebesgue Measure space Measurable space/function Minkowski distance Sequence spaces
L spaces	Integrable function Lebesgue integration Taxicab geometry
L spaces	Bessel's Cauchy–Schwarz Euclidean distance Hilbert space Parseval's identity Polarization identity Pythagorean theorem Square-integrable function
${\displaystyle L^{\infty }}$ spaces	Bounded function Chebyshev distance Infimum and supremum Essential Uniform norm
Maps	Almost everywhere Convergence almost everywhere Convergence in measure Function space Integral transform Locally integrable function Measurable function Symmetric decreasing rearrangement
Inequalities	Babenko–Beckner Chebyshev's Clarkson's Hanner's Hausdorff–Young Hölder's Markov's Minkowski Young's convolution
Results	Marcinkiewicz interpolation theorem Plancherel theorem Riemann–Lebesgue Riesz–Fischer theorem Riesz–Thorin theorem For Lebesgue measure Isoperimetric inequality Brunn–Minkowski theorem Milman's reverse Minkowski–Steiner formula Prékopa–Leindler inequality Vitale's random Brunn–Minkowski inequality
Applications & related	Bochner space Fourier analysis Lorentz space Probability theory Quasinorm Real analysis Sobolev space *-algebra C*-algebra Von Neumann

• Asymptotic analysis
• Harmonic analysis
• Lemmas in analysis
• Theorems in analysis
• Theorems in harmonic analysis
• Bernhard Riemann