parseval's theorem

In mathematics, Parseval's theorem 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. 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.

Theorem

The original theorem, cast into a modern form, could be written as follows. Suppose that one has two series:

A(z) = \sum_{n=-\infty}^\infty a_n z^n \,

B(z) = \sum_{n=-\infty}^\infty b_n z^n

in some coefficients

a_n

and

b_n

(here taken to be complex, although Parseval apparently only considered real coefficients starting at n=0). (Here, we neglect the question of when the series converge.) The theorem then states:

\sum_{n=-\infty}^\infty a_n b_n^* = \frac{1}{2\pi} \int_{-\pi}^\pi A(e^{i\phi}) B(e^{i\phi})^* d\phi \,

where i is the imaginary unit and * denotes complex conjugation. Parseval actually presented the theorem without proof, considering it to be self-evident. There are various important special cases of the theorem. First, for A and B the same series, one immediately obtains:

\sum_{n=-\infty}^\infty |a_n|^2 = \frac{1}{2\pi} \int_{-\pi}^\pi |A(e^{i\phi})|^2 d\phi \,

from which the unitarity of the Fourier series follows, where

a_n

corresponds to the Fourier-series coefficient

F_n

of the function

f(x) = A(e^{ix})

. In particular, one often considers only the Fourier series for real-valued functions (or real A and B for all φ), which corresponds to the special case:

a_0

real,

a_{-n} = a_n^*

b_0

real, and

b_{-n} = b_n^*

. In this case:

a_0 b_0 + 2 \Re \sum_{n=1}^\infty a_n b_n^* = \frac{1}{2\pi} \int_{-\pi}^\pi A(e^{i\phi}) B(e^{i\phi}) d\phi \,

where

\Re

denotes the real part. (In the notation of the Fourier series article, replace

a_n

and

b_n

a_n / 2 - i b_n / 2

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).

External links

Parseval's Theorem on mathworld

<< Previous

Word Browser

Next >>

caleb (buffy the vampire slayer)
gong peak
the truth about cats & dogs
land crisis
jerry schneider
antihomomorphism
half giant
blue in the face
surfin' safari
mykola lysenko
barbara berjer

rapallo conference
mabel lee
kirby and the amazing mirror
eileen davidson
boleslaus i
path ordering
tornedalians
lisa peluso
connection form
alice barrett
kirby (disambiguation)

paul michael valley
cleveite
christine tucci
mount san gorgonio
baseball hall of fame balloting, 1936
tiny toon adventures cartoon workshop
mark pinter
most perfect magic square
karen malina white
abraham langlet
jill farren phelps

textile artist
sankey canal
tatiana (children's show host)
siewierz
constance ford
tropicana (hotel and casino)
jensen buchanan
frnicle standard form
sandra ferguson
denver, northwestern and pacific railway
arctic wolf