Namespaces
Variants
Actions

Plancherel theorem

From Encyclopedia of Mathematics
Revision as of 17:16, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

For any square-summable function the integral

converges in to some function as , i.e.

(1)

Here the function itself is representable as the limit in of the integrals

as , i.e.

Also, the following relation holds:

(the Parseval–Plancherel formula).

The function

where the limit is understood in the sense of convergence in (as in (1)), is called the Fourier transform of ; it is sometimes denoted by the symbolic formula:

(2)

where the integral in (2) must be understood in the sense of the principal value at in the metric of . One similarly interprets the equation

(3)

For functions , the integrals (2) and (3) exist in the sense of the principal value for almost all .

The functions and also satisfy the following equations for almost-all :

If Fourier transformation is denoted by and if denotes the inverse, then Plancherel's theorem can be rephrased as follows: and are mutually-inverse unitary operators on (cf. Unitary operator).

The theorem was established by M. Plancherel (1910).

References

[1] A. Zygmund, "Trigonometric series" , 2 , Cambridge Univ. Press (1988)
[2] E.C. Titchmarsh, "Introduction to the theory of Fourier integrals" , Oxford Univ. Press (1948)
[3] S. Bochner, "Lectures on Fourier integrals" , Princeton Univ. Press (1959) (Translated from German)


Comments

The heart of Plancherel's theorem is the assertion that if , then: a) , where is defined by (2) for ; b) ; and c) the set of all such is dense in . Then one extends this mapping to a unitary mapping of onto itself which satisfies for almost every . There are generalizations of Plancherel's theorem in which is replaced by or by any locally compact Abelian group. Cf. also Harmonic analysis, abstract.

References

[a1] W. Rudin, "Fourier analysis on groups" , Wiley (1962)
[a2] A. Weil, "l'Intégration dans les groupes topologiques et ses applications" , Hermann (1940)
[a3] L.S. Pontryagin, "Topological groups" , Princeton Univ. Press (1958) (Translated from Russian)
[a4] E. Hewitt, K.A. Ross, "Abstract harmonic analysis" , 1–2 , Springer (1979)
[a5] H. Reiter, "Classical harmonic analysis and locally compact groups" , Oxford Univ. Press (1968)
How to Cite This Entry:
Plancherel theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Plancherel_theorem&oldid=16182
This article was adapted from an original article by P.I. Lizorkin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article