The Wiener-Khinchin Theorem
Why Move to the Frequency Domain?
The autocorrelation tells us how a process is correlated across time. But many engineering questions are most natural in the frequency domain: How much power does this signal carry in the band ? The power spectral density answers this question directly. It decomposes the total power across frequency, just as Parseval's theorem decomposes energy. The Wiener-Khinchin theorem is the bridge: the PSD is simply the Fourier transform of the autocorrelation.
Definition: Power Spectral Density (Continuous-Time)
Power Spectral Density (Continuous-Time)
Let be a random process and define the truncated Fourier transform . The power spectral density of is
provided the limit exists. The total average power is .
Operational Interpretation of the PSD
The PSD has units of power per Hz. The power in any frequency band is . This is exactly what a spectrum analyzer measures: it passes the signal through a narrow bandpass filter centered at and reports the output power, which equals for bandwidth .
Theorem: Wiener-Khinchin Theorem (Continuous-Time)
Let be a WSS process with absolutely integrable autocorrelation . Then the PSD exists and equals the Fourier transform of the autocorrelation:
The inverse relation is
The truncated periodogram is a convolution of the true Fourier spectrum with a FejΓ©r-type window that converges to a delta as . In expectation, this window smoothing disappears and the limit becomes exactly the Fourier transform of .
Expand the periodogram
Write
Since is WSS, .
Change of variables
Let and . The Jacobian is and the integration region maps to , giving
The factor is the Bartlett (triangular) window.
Take the limit
As , the window for every fixed . By the dominated convergence theorem (using absolute integrability of as the dominating function), we may pass the limit inside the integral:
Example: PSD of a Process with Exponential Autocorrelation
A WSS process has autocorrelation with . Find and verify .
Compute the Fourier transform
$
This is a Lorentzian (Cauchy-shaped) spectrum.
Verify the power integral
$
Interpretation
As the autocorrelation approaches (constant, i.e., a DC process), and the PSD concentrates at . As the process decorrelates rapidly and the PSD flattens β approaching white noise.
Duality
Vary the autocorrelation parameters and observe how the PSD changes. A narrow autocorrelation (fast decorrelation) maps to a wide PSD, and vice versa β the time-frequency uncertainty principle at work.
Parameters
Theorem: Properties of the PSD
Let be the PSD of a WSS process . Then:
- Non-negativity: for all .
- Reality: for all .
- Symmetry for real processes: If is real-valued, .
- Power: .
Non-negativity follows because the autocorrelation is positive semi-definite, and the Fourier transform of a PSD function is non-negative. Reality follows from the Hermitian symmetry of the autocorrelation: .
Non-negativity
The autocorrelation is a positive semi-definite function: for any with finite energy, . Taking over a finite interval and passing to the limit shows .
Reality and symmetry
Since (Hermitian symmetry), the Fourier transform is real: . For real , is real and even, so is also real and even.
Power identity
Setting in the inverse Fourier relation: . But .
Duality Animation
Theorem: PSD of Non-WSS Processes
For a random process with autocorrelation (not necessarily WSS), the PSD is
where the time-averaged autocorrelation is
provided the limit exists and is absolutely integrable.
Even when the autocorrelation depends on both time arguments, averaging over the absolute time extracts a function of the lag alone. The Wiener-Khinchin theorem then applies to this averaged autocorrelation. For WSS processes, regardless of , so the averaging is trivial.
Expand the truncated periodogram
As in Theorem 45, write and substitute for .
Change variables and average
With and , the double integral becomes
As the inner average converges to .
Conclude
Taking the limit gives .
Theorem: Corollary: PSD of Wide-Sense Cyclostationary Processes
If is wide-sense cyclostationary with period , then
The PSD is then .
For a cyclostationary process, the time average over one period suffices β there is no need to send . This is the continuous-time analog of Corollary 7 in the discrete-time case.
Periodicity simplifies the limit
Since is periodic in with period , the CesΓ ro average equals in the limit.
Example: PSD of a Random Sinusoid
Let where is a constant and . Find .
Autocorrelation
We showed in the previous chapter that .
Fourier transform
$
Interpretation
All the power is concentrated at . The total power is , as expected. This is a line spectrum β the hallmark of periodic or almost-periodic processes.
Example: PSD of a Sum of Random Sinusoids
Let where the are i.i.d. and the are distinct. Find .
Use linearity and independence
Since the phases are independent and uniformly distributed, cross terms in the autocorrelation vanish: .
Fourier transform
\sum_{k} A_k^2/2$.
Quick Check
If a WSS process has PSD , what is the total average power ?
.
Common Mistake: PSD vs. Energy Spectral Density
Mistake:
Computing (without the normalization and expectation) and calling the result the PSD.
Correction:
For a power signal (infinite energy, finite power per unit time) the PSD is . The quantity is the energy spectral density and applies to finite-energy (deterministic) signals. Confusing the two leads to infinite or zero answers.
Common Mistake: PSD Units
Mistake:
Writing in "watts" or "volts squared."
Correction:
The PSD has units of power per Hz (e.g., W/Hz or V/Hz). It is a density, so only its integral over a frequency band yields power.
Historical Note: Wiener and Khinchin
1930--1934Norbert Wiener (1894--1964) introduced the concept of the power spectrum for stationary processes in his 1930 paper on generalized harmonic analysis. Independently, Aleksandr Khinchin (1894--1959) proved the equivalence between the power spectrum and the Fourier transform of the autocorrelation in 1934. Wiener's approach was more analytical (using generalized functions), while Khinchin's was more probabilistic. The theorem bearing both their names is one of the cornerstones of spectral analysis and communications engineering.
Power spectral density (PSD)
The Fourier transform of the autocorrelation of a WSS process. Describes the distribution of average power across frequency. Non-negative, real, and integrates to the total power.
Related: {{Ref:Gloss Autocorrelation}}, {{Ref:Gloss White Noise}}
Line spectrum
A PSD consisting of Dirac delta functions at discrete frequencies. Arises from periodic or almost-periodic processes.
Key Takeaway
The Wiener-Khinchin theorem is the fundamental bridge between the time and frequency descriptions of a WSS process: and are a Fourier transform pair. Narrow correlation in time implies broad spectral content, and vice versa.