Fourier inversion theorem

Fourier inversion theorem

In mathematics, Fourier inversion recovers a function from its Fourier transform. Several different Fourier inversion theorems exist.

Sometimes the following identity is used as the definition of the Fourier transform:

:(mathcal{F}f)(t)=int_{-infty}^infty f(x), e^{-itx},dx.

Then it is asserted that

:f(x)=frac{1}{2pi}int_{-infty}^infty (mathcal{F}f)(t), e^{itx},dt.

In this way, one recovers a function from its Fourier transform.

However, this way of stating a Fourier inversion theorem sweeps some more subtle issues under the carpet. One Fourier inversion theorem assumes that "f" is Lebesgue-integrable, i.e., the integral of its absolute value is finite:

:int_{-infty}^inftyleft|f(x) ight|,dx

In that case, the Fourier transform is not necessarily Lebesgue-integrable; it may be only "conditionally integrable". For example, the function "f"("x") = 1 if −"a" < "x" < "a" and "f"("x") = 0 otherwise has Fourier transform

:2sin(at)/t.

In such a case, the integral in the Fourier inversion theorem above must be taken to be an improper integral (Cauchy principal value)

:lim_{b ightarrowinfty}frac{1}{2pi}int_{-b}^b (mathcal{F}f)(t) e^{itx},dt

rather than a Lebesgue integral.

By contrast, if we take "f" to be a tempered distribution -- a sort of generalized function -- then its Fourier transform is a function of the same sort: another tempered distribution; and the Fourier inversion formula is more simply proved.

Fourier transforms of quadratically integrable functions

Via the Plancherel theorem, one can also define the Fourier transform of a quadratically integrable function, i.e., one satisfying

:int_{-infty}^inftyleft|f(x) ight|^2,dx

Then the Fourier transform is another quadratically integrable function.

In case "f" is a quadratically integrable periodic function on the intervalthen it has a Fourier series whose coefficients are

:widehat{f}(n)=frac{1}{2pi}int_{-pi}^pi f(x),e^{-inx},dx.

The Fourier inversion theorem might then say that

:sum_{n=-infty}^{infty} widehat{f}(n),e^{inx}=f(x).

What kind of convergence is right? "Convergence in mean square" can be proved fairly easily:

:lim_{N ightarrowinfty}int_{-pi}^pileft|f(x)-sum_{n=-N}^{N} widehat{f}(n),e^{inx} ight|^2,dx=0.

What about convergence almost everywhere? That would say that if "f" is quadratically integrable, then for "almost every" value of "x" between 0 and 2π we have

:f(x)=lim_{N ightarrowinfty}sum_{n=-N}^{N} widehat{f}(n),e^{inx}.

This was not proved until 1966 in (Carleson, 1966).

For strictly finitary discrete Fourier transforms, these delicate questions of convergence are avoided.

References

*Lennart Carleson (1966). On the convergence and growth of partial sums of Fourier series. "Acta Math." 116, 135&ndash;157.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • Fourier transform — Fourier transforms Continuous Fourier transform Fourier series Discrete Fourier transform Discrete time Fourier transform Related transforms The Fourier transform is a mathematical operation that decomposes a function into its constituent… …   Wikipedia

  • Fourier — (pronEng|ˈfʊərieɪ, French pronunciation IPA2|fuʁie) may refer to:*Charles Fourier (1772–1837), a French utopian socialist thinker *Joseph Fourier (1768–1830), a French mathematician and physicist **Mathematics, physics, and engineering terms… …   Wikipedia

  • Mellin inversion theorem — In mathematics, the Mellin inversion formula (named after Hjalmar Mellin) tells us conditions under which the inverse Mellin transform, or equivalently the inverse two sided Laplace transform, are defined and recover the transformed function. If… …   Wikipedia

  • List of Fourier analysis topics — This is an alphabetical list of Fourier analysis topics. See also the list of Fourier related transforms, and the list of harmonic analysis topics. Almost periodic function ATS theorem Autocorrelation Autocovariance Banach algebra Bessel function …   Wikipedia

  • Convolution theorem — In mathematics, the convolution theorem states that under suitable conditions the Fourier transform of a convolution is the pointwise product of Fourier transforms. In other words, convolution in one domain (e.g., time domain) equals point wise… …   Wikipedia

  • Stone–von Neumann theorem — In mathematics and in theoretical physics, the Stone–von Neumann theorem is any one of a number of different formulations of the uniqueness of the canonical commutation relations between position and momentum operators. The name is for Marshall… …   Wikipedia

  • Plancherel theorem for spherical functions — In mathematics, the Plancherel theorem for spherical functions is an important result in the representation theory of semisimple Lie groups, due in its final form to Harish Chandra. It is a natural generalisation in non commutative harmonic… …   Wikipedia

  • Prime number theorem — PNT redirects here. For other uses, see PNT (disambiguation). In number theory, the prime number theorem (PNT) describes the asymptotic distribution of the prime numbers. The prime number theorem gives a general description of how the primes are… …   Wikipedia

  • List of theorems — This is a list of theorems, by Wikipedia page. See also *list of fundamental theorems *list of lemmas *list of conjectures *list of inequalities *list of mathematical proofs *list of misnamed theorems *Existence theorem *Classification of finite… …   Wikipedia

  • List of mathematics articles (F) — NOTOC F F₄ F algebra F coalgebra F distribution F divergence Fσ set F space F test F theory F. and M. Riesz theorem F1 Score Faà di Bruno s formula Face (geometry) Face configuration Face diagonal Facet (mathematics) Facetting… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”