Parseval's Power Theorem

Main ideas and lesson conveyed

• Parseval’s / “Percival’s” Power Theorem connects a signal’s average power in the time domain with the sum of squared magnitudes of its complex exponential Fourier series coefficients.
• The video states the theorem and then proves it by:
  • Using the complex exponential Fourier series representation of a periodic signal
  • Taking complex conjugates
  • Applying the definition of average power
  • Substituting the Fourier coefficient integral form
• The speaker concludes that an example would follow and that this theorem completes key Fourier series properties.

Methodology / proof structure

Setup

Given a periodic signal (x(t)):

• Period: (T_0)
• Complex exponential Fourier series coefficients: ({C_n})

Define average power

[ P_{x(t)} = \frac{1}{T_0}\int_{0}^{T_0} |x(t)|^2\,dt ]

State the theorem (Percival / Parseval power theorem)

[ P_{x(t)} = \sum_{n=-\infty}^{\infty} |C_n|^2 ]

(The subtitles mention “marc-antoine Percival’s power theorem” and also refer to “Parseval’s Power Theorem” in the title.)

Proof steps

1. Start with the complex exponential Fourier series [ x(t)=\sum_{n=-\infty}^{\infty} C_n e^{j n\Omega_0 t} ]

2. Take the complex conjugate [ x^(t)=\sum_{n=-\infty}^{\infty} C_n^ e^{-j n\Omega_0 t} ]

3. Multiply the series by its conjugate [ x(t)x^(t)=|x(t)|^2 ] Substitute the expansions: [ x(t)x^(t)=\left(\sum_{n} C_n e^{j n\Omega_0 t}\right)\left(\sum_{k} C_k^* e^{-j k\Omega_0 t}\right) ]

4. Use the average power formula with (|x(t)|^2=x(t)x^*(t)) [ P_{x(t)}=\frac{1}{T_0}\int_{0}^{T_0} x(t)x^(t)\,dt ] Replace (x^(t)) by its Fourier series: [ P_{x(t)}=\frac{1}{T_0}\int_{0}^{T_0} x(t)\left(\sum_{n=-\infty}^{\infty} C_n^* e^{-j n\Omega_0 t}\right)dt ]

5. Rearrange to separate summation and integration [ P_{x(t)}=\sum_{n=-\infty}^{\infty} C_n^*\left[\frac{1}{T_0}\int_{0}^{T_0} x(t)e^{-j n\Omega_0 t}\,dt\right] ]

6. Identify the bracketed term as the Fourier coefficient definition [ \frac{1}{T_0}\int_{0}^{T_0} x(t)e^{-j n\Omega_0 t}\,dt = C_n ]

7. Conclude [ P_{x(t)}=\sum_{n=-\infty}^{\infty} C_n^*C_n=\sum_{n=-\infty}^{\infty} |C_n|^2 ]

8. Finish

   • The proof is stated as complete.
   • The next step would be solving an example.
   • The theorem is described as completing important Fourier series properties.

Historical note mentioned

• The theorem is described as originating from a theorem about series by Mark Antoine Percival (1799).
• It was later applied to Fourier series expansions.

Speakers / sources featured

• Primary source (speaker): Unnamed presenter (no explicit name given in the subtitles)
• Historical figure mentioned: Mark Antoine Percival (1799)