パーセバルの定理

Parseval's theorem states that for a periodic function, the average power of the signal over one period equals the sum of the squared magnitudes of all complex Fourier coefficients. This fundamental relationship in signal processing allows engineers to analyze energy distribution across frequency components without computing the time-domain power directly.

To prove Parseval's theorem, assume the function has a complex Fourier series representation with coefficients Cn and fundamental angular frequency ω0. Substituting this series into the average power equation and solving algebraically confirms that the time-domain average power equals the sum of squared coefficient magnitudes, validating the theorem.

Yes, Parseval's theorem also holds for the trigonometric Fourier series, which expresses functions using sine and cosine terms. The trigonometric Fourier series coefficients can be related to the complex form, allowing the theorem to be applied in this alternate representation for practical signal analysis.

In audio processing, Parseval's theorem compares the energy of an original sound wave with its compressed version. This comparison ensures that compression does not significantly degrade audio quality by losing excessive energy, making it essential for maintaining signal fidelity during audio compression workflows.

For electrical signals like current or voltage, the square of the function represents instantaneous power dissipated in a 1-ohm resistor. Parseval's theorem links the total energy dissipated in the resistor over one period to the Fourier series representation, providing two expressions: one using trigonometric form and another using amplitude-phase form.

Parseval's theorem provides a powerful analytical tool that bridges theoretical Fourier concepts with practical engineering applications. It enables direct calculation of signal energy from frequency-domain coefficients, eliminating the need for time-domain integration and offering valuable insights into how energy distributes across frequency components.

Parseval's theorem can be expressed in two forms: one using the trigonometric Fourier series with sine and cosine coefficients, and another using the amplitude-phase Fourier series representation. Both forms relate the average power over one period to their respective coefficient sets, providing flexibility in signal analysis depending on the preferred representation.