parseval's theorem

3
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 trans- form. 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 the- orem, 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, espe- cially in physics and engineering, the most general form of this property is more properly called the Plancherel theorem. [3] 1 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)= n=-∞ a n e inx and B(x)= n=-∞ b n e inx respectively. Then n=-∞ a n b n = 1 2π π -π A(x) B(x) dx, where i is the imaginary unit and horizontal bars indicate complex conjugation. More generally, given an abelian topological group G with Pontryagin dual G^, Parseval’s theorem says the Pontryagin–Fourier transform is a unitary operator be- tween Hilbert spaces L 2 (G) and L 2 (G^) (with integration being against the appropriately scaled Haar measures on the two groups.) When G is the unit circle T, G^ is the in- tegers 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⛼, again it is self-dual and the Pontryagin–Fourier transform is what is called discrete Fourier transform in applied contexts. 2 Notation used in engineering and physics In physics and engineering, Parseval’s theorem is often written as: -∞ |x(t)| 2 dt = 1 2π -∞ |X(ω)| 2 = -∞ |X(2πf )| 2 df where X(ω) = F ω {x(t)} represents the continuous Fourier transform (in normalized, unitary form) of x(t ), and ω =2π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: n=-∞ |x[n]| 2 = 1 2π π -π |X(e )| 2 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: N-1 n=0 |x[n]| 2 = 1 N N-1 k=0 |X[k]| 2 where X[k] is the DFT of x[n], both of length N. 3 See also Parseval’s theorem is closely related to other mathemati- cal results involving unitarity transformations: 1

Upload: lucas-gallindo

Post on 13-Jul-2016

6 views

Category:

Documents


3 download

DESCRIPTION

Parseval's Theorem

TRANSCRIPT

Page 1: Parseval's Theorem

Parseval’s theorem

In mathematics, Parseval’s theorem [1] usually refers tothe result that the Fourier transform is unitary; loosely,that the sum (or integral) of the square of a function isequal to the sum (or integral) of the square of its trans-form. It originates from a 1799 theorem about series byMarc-Antoine Parseval, which was later applied to theFourier series. It is also known asRayleigh’s energy the-orem, or Rayleigh’s Identity, after John William Strutt,Lord Rayleigh.[2]

Although the term “Parseval’s theorem” is often used todescribe the unitarity of any Fourier transform, espe-cially in physics and engineering, the most general formof this property is more properly called the Planchereltheorem.[3]

1 Statement of Parseval’s theorem

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

A(x) =∞∑

n=−∞ane

inx

and

B(x) =

∞∑n=−∞

bneinx

respectively. Then

∞∑n=−∞

anbn =1

∫ π

−π

A(x)B(x) dx,

where i is the imaginary unit and horizontal bars indicatecomplex conjugation.More generally, given an abelian topological group Gwith Pontryagin dual G^, Parseval’s theorem says thePontryagin–Fourier transform is a unitary operator be-tween Hilbert spaces L2(G) and L2(G^) (with integrationbeing against the appropriately scaled Haar measures onthe two groups.) WhenG is the unit circle T,G^ is the in-tegers and this is the case discussed above. WhenG is the

real line R, G^ is also R and the unitary transform is theFourier transform on the real line. When G is the cyclicgroup Z , again it is self-dual and the Pontryagin–Fouriertransform is what is called discrete Fourier transform inapplied contexts.

2 Notation used in engineering andphysics

In physics and engineering, Parseval’s theorem is oftenwritten as:

∫ ∞

−∞|x(t)|2 dt = 1

∫ ∞

−∞|X(ω)|2 dω =

∫ ∞

−∞|X(2πf)|2 df

where X(ω) = Fω{x(t)} represents the continuousFourier transform (in normalized, unitary form) of x(t),and ω = 2πf is frequency in radians per second.The interpretation of this form of the theorem is that thetotal energy of a signal can be calculated by summingpower-per-sample across time or spectral power acrossfrequency.For discrete time signals, the theorem becomes:

∞∑n=−∞

|x[n]|2 =1

∫ π

−π

|X(eiϕ)|2dϕ

where X is the discrete-time Fourier transform (DTFT)of x and Φ represents the angular frequency (in radiansper sample) of x.Alternatively, for the discrete Fourier transform (DFT),the relation becomes:

N−1∑n=0

|x[n]|2 =1

N

N−1∑k=0

|X[k]|2

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

3 See also

Parseval’s theorem is closely related to other mathemati-cal results involving unitarity transformations:

1

Page 2: Parseval's Theorem

2 5 EXTERNAL LINKS

• Parseval’s identity

• Plancherel’s theorem

• Wiener–Khinchin theorem

• Bessel’s inequality

[1] Parseval des Chênes, Marc-Antoine Mémoire sur lesséries et sur l'intégration complète d'une équation aux dif-férences partielles linéaire du second ordre, à coefficientsconstants” presented before the Académie des Sciences(Paris) on 5 April 1799. This article was published inMé-moires présentés à l’Institut des Sciences, ettres et Arts, pardivers savans, et lus dans ses assemblées. Sciences, math-ématiques et physiques. (Savans étrangers.), vol. 1, pages638–648 (1806).

[2] Rayleigh, J.W.S. (1889) “On the character of the com-plete radiation at a given temperature,” PhilosophicalMagazine, vol. 27, pages 460–469. Available on-linehere.

[3] Plancherel, Michel (1910) “Contribution a l'etude de larepresentation d'une fonction arbitraire par les integralesdéfinies,” Rendiconti del Circolo Matematico di Palermo,vol. 30, pages 298–335.

4 References• Parseval,MacTutor History of Mathematics archive.

• George B. Arfken and Hans J. Weber,MathematicalMethods 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 (Pren-tice Hall: Upper Saddle River, NJ, 1999) p 60.

• WilliamMcC. Siebert, Circuits, Signals, and Systems(MIT Press: Cambridge, MA, 1986), pp. 410–411.

• David W. Kammler, A First Course in Fourier Anal-ysis (Prentice–Hall, Inc., Upper Saddle River, NJ,2000) p. 74.

5 External links• Parseval’s Theorem on Mathworld

Page 3: Parseval's Theorem

3

6 Text and image sources, contributors, and licenses

6.1 Text• Parseval’s theorem Source: https://en.wikipedia.org/wiki/Parseval’{}s_theorem?oldid=709346158 Contributors: Michael Hardy, Stevenj,Charles Matthews, Sverdrup, Giftlite, CSTAR, Rbj, Arcadian, Cburnett, Oleg Alexandrov, JonBirge, Nanite, Mathbot, Jpkotta, Roboto deAjvol, YurikBot, RobotE, Esqg, Rdrosson, Edin1, RDBury, Lhf, 16@r, Porffiry, Mct mht, Mon4, Escarbot, Fetchcomms, Sikory, Jtir,Cwkmail, Addbot, Lightbot, Jxramos, Sławomir Biały, Erkü, Fners, Ripchip Bot, Roobens7, Slawekb, ZéroBot, MerlIwBot, Strike Eagle,Titodutta, JOSmithIII, NotWith, Brad7777, Khazar2, GreenKeeper17, K9re11, Frottce, Mayank44624800 and Anonymous: 52

6.2 Images

6.3 Content license• Creative Commons Attribution-Share Alike 3.0