Parseval’s Theorem provides a fundamental relationship between the total energy of a signal (or function) in the time or spatial domain and the energy contained in its frequency components, as determined by its Fourier series coefficients. In essence, it states that the energy is conserved when transforming a signal from the time domain to the frequency domain; no energy is lost or gained in the process.
| Symbol | Description |
|---|---|
| \[ f(x) \] | The periodic function or signal being analyzed. |
| \[ L \] | The half-period of the function, where the full period is 2L. |
| \[ a_0 \] | The DC component or average value of the function over one period. |
| \[ a_n \] | The Fourier cosine coefficients, representing the amplitude of the nth cosine harmonic. |
| \[ b_n \] | The Fourier sine coefficients, representing the amplitude of the nth sine harmonic. |
| \[ c_n \] | The complex Fourier series coefficients. |
| \[ n \] | The harmonic index, an integer (1, 2, 3, ...) representing multiples of the fundamental frequency. |
The left side of the equation represents the average power of the signal f(x) over one period. The right side represents the sum of the average powers of all its harmonic components (including the DC component).
A conceptual diagram would show two related plots. The first plot (Time Domain) shows a periodic function f(x) over its period from -L to L. The area under the curve of |f(x)|² is highlighted, representing the total signal energy. The second plot (Frequency Domain) shows a bar chart where each bar represents the squared magnitude of a Fourier coefficient (|cₙ|² or aₙ² + bₙ²) at a specific harmonic frequency n. Parseval's theorem states that the total highlighted area in the first plot is equal to the sum of the heights of all the bars in the second plot.
Energy Conservation
The theorem is a statement of energy conservation. It guarantees that the total energy calculated in the time domain is identical to the total energy calculated by summing the contributions of all frequency components.
Orthogonality Foundation
The result is a direct consequence of the orthogonality of the sinusoidal (or complex exponential) basis functions over the interval [-L, L]. The cross-product terms in the energy calculation integrate to zero, leaving only the sum of the energies of individual components.
Linearity
While the theorem itself involves squares, it applies to transforms that are linear. It describes a property of the vector space of functions, where the Fourier series acts as a change of basis to an orthonormal basis, preserving the inner product (and thus the norm, or energy).
Completeness
The equality in Parseval's theorem holds because the set of sinusoidal basis functions is complete for the space of square-integrable functions. This means any such function can be fully represented by its Fourier series, with no energy 'left over'.
We start with the average energy of the signal f(x) over one period, which is the left-hand side of the theorem. We use the complex exponential form of the Fourier series for f(x).
Substitute the complex Fourier series representation for f(x) and its complex conjugate \( \overline{f(x)} \):
Plugging these into the integral gives:
We can swap the order of integration and summation:
Due to the orthogonality of complex exponentials, the integral evaluates to 2L when n = m, and 0 when n ≠ m.
This simplifies the double summation, as only the terms where n = m survive:
This completes the proof, showing the equality between the average power in the time domain and the sum of powers in the frequency domain.
📡 Signal Processing & Communications
Parseval's theorem is used to analyze the power distribution in signals. It verifies that transformations like the Fast Fourier Transform (FFT) conserve energy, which is crucial for applications like filtering and modulation where signal power must be managed precisely to maintain signal-to-noise ratio and prevent distortion.
🔊 Audio Engineering
In digital audio, the theorem helps in analyzing the energy of different frequency bands. Equalizers and compressors work by modifying the energy of these bands. Parseval's theorem ensures that the overall loudness (related to signal power) is accounted for correctly during these processing stages.
🖼️ Image Processing
For image compression algorithms like JPEG, an image is converted to the frequency domain. The theorem allows the algorithm to quantify the energy in different spatial frequencies. Low-energy frequencies can be discarded with minimal impact on visual quality, achieving high compression ratios while preserving the image's overall energy distribution.
⚡ Power Systems Engineering
Engineers analyze the harmonic content of voltage and current waveforms in power grids. Parseval's theorem allows them to calculate the total power delivered, including power from unwanted harmonics. This is vital for designing filters to reduce harmonic distortion and improve power quality.
Vibration Analysis in Aerospace
During a rocket launch, sensors measure intense vibrations on the fuselage. Engineers analyze this time-domain data using Fourier transforms to see which frequencies are most energetic. Parseval's theorem confirms that their frequency-domain analysis correctly accounts for all the vibrational energy, ensuring that no potentially destructive resonant frequencies are missed in the design and testing phase.
Quantum Mechanics
In quantum mechanics, a particle's state is described by a wave function, `Ψ(x)`. The probability of finding the particle somewhere in space is 1, which means the integral of `|Ψ(x)|²` over all space is 1. The wave function can also be expressed in momentum space, `Φ(p)`. Parseval's theorem (in its continuous form) guarantees that the integral of `|Φ(p)|²` is also 1, conserving total probability between the position and momentum representations.
Telecommunications Quality Control
A network engineer uses a spectrum analyzer to inspect a Wi-Fi signal. The analyzer displays the signal's power across different frequency channels. By summing the power in all channels, the engineer gets the total power. Parseval's theorem guarantees this value is the same as the total power that would be measured by a broadband power meter on the raw, time-domain signal, providing a reliable way to check for signal integrity and compliance with regulations.
Parseval's theorem is a specific case (for Fourier series) of a more general result that applies to various Fourier transforms. The core idea of energy conservation is preserved, but the formulation changes depending on the domain (continuous/discrete) and periodicity of the signal.
| Transform Type | Theorem Formulation |
|---|---|
| Fourier Series (Periodic, Continuous Time) | \[ \frac{1}{T_0} \int_{T_0} |x(t)|^2 dt = \sum_{k=-\infty}^{\infty} |c_k|^2 \] |
| Fourier Transform (Aperiodic, Continuous Time) | \[ \int_{-\infty}^{\infty} |x(t)|^2 dt = \int_{-\infty}^{\infty} |X(f)|^2 df \] |
| Discrete-Time Fourier Transform (Aperiodic, Discrete Time) | \[ \sum_{n=-\infty}^{\infty} |x[n]|^2 = \frac{1}{2\pi} \int_{-\pi}^{\pi} |X(e^{j\omega})|^2 d\omega \] |
| Discrete Fourier Transform (Periodic, Discrete Time) | \[ \sum_{n=0}^{N-1} |x[n]|^2 = \frac{1}{N} \sum_{k=0}^{N-1} |X[k]|^2 \] |
Forgetting Normalization Factors: A frequent error is omitting the normalization constants like `1/(2L)` for Fourier series or `1/N` for the DFT. These factors are crucial for the equality to hold. The time-domain side often represents average power over a period, which requires dividing the total energy integral by the period length.
Confusing Energy with Amplitude: Students sometimes mistakenly sum the squared amplitudes (`a_n²` or `b_n²`) without the factor of `1/2`. The energy of a sinusoidal component `A cos(ωt)` is proportional to `A²/2`, not `A²`. Forgetting this factor will lead to an incorrect energy calculation in the frequency domain for the real-valued Fourier series.
Incorrect Integral: The integral is `∫|f(x)|² dx`, not `(∫f(x) dx)²`. The theorem deals with the energy of the signal, which is related to the integral of its squared magnitude (its power), not the square of its average value.