Parseval's identity

Parseval's identity

In mathematical analysis, Parseval's identity is a fundamental result on the summability of the Fourier series of a function. Geometrically, it is the
Pythagorean theorem for inner-product spaces.

Informally, the identity asserts that the sum of the squares of the Fourier coefficients of a function is equal to the square integral of the function. To wit,:sum_{n=-infty}^infty |a_n|^2 = frac{1}{2pi}int_{-pi}^pi |f(x)|^2,dxwhere the Fourier coefficients "a""n" of ƒ are given by:a_n = frac{1}{2pi}int_{-pi}^{pi} f(x)e^{-inx},dx.More formally, the result holds as stated provided ƒ is square-integrable or, more generally, in [Lp space|L2 [−π,π] . A similar result is the Plancherel theorem, which asserts that the integral of the square of the Fourier transform of a function is equal to the integral of the square of the function itself. In one-dimension, for ƒ ∈ L2(R),:int_{-infty}^infty |hat{f}(xi)|^2,dxi = int_{-infty}^infty |f(x)|^2, dx.

The identity is related to the Pythagorean theorem in the more general setting of a separable Hilbert space as follows. Suppose that "H" is a Hilbert space with inner product 〈•,•〉. Let ("e""n") be an orthonormal basis of "H"; i.e., the linear span of the "e""n" is dense in "H", and the "e""n" are mutually orthonormal:

:langle e_m, e_n angle = egin{cases}1&mbox{if} m=n\0&mbox{if} m ot= nend{cases}.

Then Parseval's identity asserts that for every "x" ∈ "H",

:sum_n |langle x, e_n angle|^2 = |x|^2.

This is directly analogous to the Pythagorean theorem, which asserts that the sum of the squares of the components of a vector in an orthonormal basis is equal to the squared length of the vector. One can recover the Fourier series version of Parseval's identity by letting "H" be the Hilbert space L2 [−π,π] , and setting "e"n = "e"-i"n"πx for "n" ∈ Z.

More generally, Parseval's identity holds in any inner-product space, not just separable Hilbert spaces. Thus suppose that "H" is an inner-product space. Let "B" be an orthonormal basis of "H"; i.e., an orthonormal set which is "total" in the sense that the linear span of "B" is dense in "H". Then

:|x|^2=langle x,x angle=sum_{vin B}left|langle x,v angle ight|^2.

The assumption that "B" is total is necessary for the validity of the identity. If "B" is not total, then the equality in Parseval's identity must be replaced by ≥, thus yielding Bessel's inequality. This general form of Parseval's identity can be proved using the Riesz–Fischer theorem.

References

*citation|last1=Johnson|first1=Lee W.|first2=R. Dean|last2=Riess|title=Numerical Analysis|year=1982|edition=2nd|publisher=Addison-Wesley|location=Reading, Mass.|id=ISBN 0-201-10392-3.
*.
*.


Wikimedia Foundation. 2010.

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

Look at other dictionaries:

  • Parseval's theorem — In mathematics, Parseval s theorem [Parseval des Chênes, Marc Antoine Mémoire sur les séries et sur l intégration complète d une équation aux differences partielle linéaire du second ordre, à coefficiens constans presented before the Académie des …   Wikipedia

  • Hilbert space — For the Hilbert space filling curve, see Hilbert curve. Hilbert spaces can be used to study the harmonics of vibrating strings. The mathematical concept of a Hilbert space, named after David Hilbert, generalizes the notion of Euclidean space. It… …   Wikipedia

  • List of mathematics articles (P) — NOTOC P P = NP problem P adic analysis P adic number P adic order P compact group P group P² irreducible P Laplacian P matrix P rep P value P vector P y method Pacific Journal of Mathematics Package merge algorithm Packed storage matrix Packing… …   Wikipedia

  • Inner product space — In mathematics, an inner product space is a vector space with the additional structure of inner product. This additional structure associates each pair of vectors in the space with a scalar quantity known as the inner product of the vectors.… …   Wikipedia

  • List of mathematical identities — This page lists identities in the sense of mathematics, that is, identically true relations holding in algebra or between special functions.* Cassini s identity * Difference of two squares * Bézout s identity * Euler s identity * Vandermonde s… …   Wikipedia

  • Pythagorean theorem — See also: Pythagorean trigonometric identity The Pythagorean theorem: The sum of the areas of the two squares on the legs (a and b) equals the area of the square on the hypotenuse (c) …   Wikipedia

  • Basel problem — The Basel problem is a famous problem in number theory, first posed by Pietro Mengoli in 1644, and solved by Leonhard Euler in 1735. Since the problem had withstood the attacks of the leading mathematicians of the day, Euler s solution brought… …   Wikipedia

  • Least squares — The method of least squares is a standard approach to the approximate solution of overdetermined systems, i.e., sets of equations in which there are more equations than unknowns. Least squares means that the overall solution minimizes the sum of… …   Wikipedia

  • List of harmonic analysis topics — This is a list of harmonic analysis topics, by Wikipedia page. See also list of Fourier analysis topics and list of Fourier related transforms, which are more directed towards the classical Fourier series and Fourier transform of mathematical… …   Wikipedia

  • Frame of a vector space — This article is about a generalization of bases to linearly dependent sets of vectors. For a linearly independent set of vectors, see k frame. In linear algebra, a frame of a vector space V with an inner product can be seen as a generalization of …   Wikipedia

Share the article and excerpts

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