Riemann–Lebesgue lemma

(Redirected from Riemann lemma)

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

Statement

edit

Let   be an integrable function, i.e.   is a measurable function such that

 

and let   be the Fourier transform of  , i.e.

 

Then   vanishes at infinity:   as  .

Because the Fourier transform of an integrable function is continuous, the Fourier transform   is a continuous function vanishing at infinity. If   denotes the vector space of continuous functions vanishing at infinity, the Riemann–Lebesgue lemma may be formulated as follows: The Fourier transformation maps   to  .

Proof

edit

We will focus on the one-dimensional case  , the proof in higher dimensions is similar. First, suppose that   is continuous and compactly supported. For  , the substitution   leads to

 .

This gives a second formula for  . Taking the mean of both formulas, we arrive at the following estimate:

 .

Because   is continuous,   converges to   as   for all  . Thus,   converges to 0 as   due to the dominated convergence theorem.

If   is an arbitrary integrable function, it may be approximated in the   norm by a compactly supported continuous function. For  , pick a compactly supported continuous function   such that  . Then

 

Because this holds for any  , it follows that   as  .

Other versions

edit

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

  • If  , then the Riemann–Lebesgue lemma also holds for the Laplace transform of  , that is,
 
as   within the half-plane  .
  • A version holds for Fourier series as well: if   is an integrable function on a bounded interval, then the Fourier coefficients   of   tend to 0 as  . This follows by extending   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

edit

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

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