Parseval's theorem

In mathematics, Parseval's theorem ^[1] usually refers to the result that the Fourier transform is unitary; loosely, that the sum (or integral) of the square of a function is equal to the sum (or integral) of the square of its transform. It originates from a 1799 theorem about series by Marc-Antoine Parseval, which was later applied to the Fourier series. It is also known as Rayleigh's energy theorem, or Rayleigh's Identity, after John William Strutt, Lord Rayleigh.^[2]

Although the term "Parseval's theorem" is often used to describe the unitarity of any Fourier transform, especially in physics and engineering, the most general form of this property is more properly called the Plancherel theorem.^[3]

Statement of Parseval's theorem

Suppose that A(x) and B(x) are two square integrable (with respect to the Lebesgue measure), complex-valued functions on R of period 2π with Fourier series

A(x)=\sum_{n=-\infty}^\infty a_ne^{inx}

and

B(x)=\sum_{n=-\infty}^\infty b_ne^{inx}

respectively. Then

\sum_{n=-\infty}^\infty a_n\overline{b_n} = \frac{1}{2\pi} \int_{-\pi}^\pi A(x)\overline{B(x)} \, dx,

where i is the imaginary unit and horizontal bars indicate complex conjugation.

More generally, given an abelian locally compact group G with Pontryagin dual G^, Parseval's theorem says the Pontryagin–Fourier transform is a unitary operator between Hilbert spaces L²(G) and L²(G^) (with integration being against the appropriately scaled Haar measures on the two groups.) When G is the unit circle T, G^ is the integers and this is the case discussed above. When G is the real line R, G^ is also R and the unitary transform is the Fourier transform on the real line. When G is the cyclic group Z_n, again it is self-dual and the Pontryagin–Fourier transform is what is called discrete Fourier transform in applied contexts.

Notation used in engineering and physics

In physics and engineering, Parseval's theorem is often written as:

\int _{-\infty }^{\infty }|x(t)|^{2}\,dt={\frac {1}{2\pi }}\int _{-\infty }^{\infty }|X(\omega )|^{2}\,d\omega =\int _{-\infty }^{\infty }|X(2\pi f)|^{2}\,df

where $X(\omega )={\mathcal {F}}_{\omega }\{x(t)\}$ represents the continuous Fourier transform (in normalized, unitary form) of x(t), and $\omega =2\pi f$ is frequency in radians per second.

The interpretation of this form of the theorem is that the total energy of a signal can be calculated by summing power-per-sample across time or spectral power across frequency.

For discrete time signals, the theorem becomes:

\sum _{{n=-\infty }}^{\infty }|x[n]|^{2}={\frac {1}{2\pi }}\int _{{-\pi }}^{\pi }|X(e^{{i\phi }})|^{2}d\phi

where X is the discrete-time Fourier transform (DTFT) of x and Φ represents the angular frequency (in radians per sample) of x.

Alternatively, for the discrete Fourier transform (DFT), the relation becomes:

\sum _{n=0}^{N-1}|x[n]|^{2}={\frac {1}{N}}\sum _{k=0}^{N-1}|X[k]|^{2}

where X[k] is the DFT of x[n], both of length N.

References

Parseval, MacTutor History of Mathematics archive.
George B. Arfken and Hans J. Weber, Mathematical Methods for Physicists (Harcourt: San Diego, 2001).
Hubert Kennedy, Eight Mathematical Biographies (Peremptory Publications: San Francisco, 2002).
Alan V. Oppenheim and Ronald W. Schafer, Discrete-Time Signal Processing 2nd Edition (Prentice Hall: Upper Saddle River, NJ, 1999) p 60.
William McC. Siebert, Circuits, Signals, and Systems (MIT Press: Cambridge, MA, 1986), pp. 410–411.
David W. Kammler, A First Course in Fourier Analysis (Prentice–Hall, Inc., Upper Saddle River, NJ, 2000) p. 74.

External links

Parseval's Theorem on Mathworld

This article is issued from Wikipedia - version of the 10/31/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.

Parseval's theorem

Statement of Parseval's theorem

Notation used in engineering and physics

See also

References

External links