Open main menu

Wikipedia β

The Riemann–Lebesgue lemma states that the integral of a function like the above is small. The integral will approach zero as the number of oscillations increases.

In mathematics, the Riemann–Lebesgue lemma, named after Bernhard Riemann and Henri Lebesgue, is of importance in harmonic analysis and asymptotic analysis.

The lemma says that the Fourier transform or Laplace transform of an L1 function vanishes at infinity.

Contents

StatementEdit

If ƒ is L1 integrable on Rd, that is to say, if the Lebesgue integral of |ƒ| is finite, then the Fourier transform of ƒ satisfies

 

Other versionsEdit

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

  • If ƒ is L1 integrable and supported on (0, ∞), then the Riemann–Lebesgue lemma also holds for the Laplace transform of ƒ. That is,
 
as |z| → ∞ within the half-plane Re(z) ≥ 0.
 
This follows by extending ƒ by zero outside the interval, and then applying the version of the lemma on the entire real line.
  • A similar statement is trivial for L2 functions. To see this, note that the Fourier transform takes L2 to L2 and such functions have l2 Fourier series.
  • A version holds for abstract measure spaces and replaces the use of exponential function by abstract functions. Yet the proof is not complicated. Please refer to the references listed at the end of the article.
  • However, the 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 (the exact value depends on the form of the transform used) and does not vanish at infinity.

ApplicationsEdit

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.

ProofEdit

We'll focus on the one-dimensional case, the proof in higher dimensions is similar. Suppose first that ƒ is a compactly supported smooth function. Then integration yields

 

If ƒ is an arbitrary integrable function, it may be approximated in the L1 norm by a compactly supported smooth function g. Pick such a g so that ||ƒ − g||L1 < ε. Then

 

and since this holds for any ε > 0, the theorem follows.

ReferencesEdit