The Wiener-Khinchin Theorem

Why Move to the Frequency Domain?

The autocorrelation rxx(Ο„)r_{xx}(\tau) 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 [f1,f2][f_1, f_2]? The power spectral density answers this question directly. It decomposes the total power rxx(0)r_{xx}(0) 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)

Let X(t)X(t) be a random process and define the truncated Fourier transform XΛ‡T(f)=βˆ«βˆ’T/2T/2X(t) eβˆ’j2Ο€ft dt\check{X}_T(f) = \int_{-T/2}^{T/2} X(t)\,e^{-j2\pi ft}\,dt. The power spectral density of X(t)X(t) is

Px(f)=lim⁑Tβ†’βˆž1T E ⁣[∣XΛ‡T(f)∣2],P_x(f) = \lim_{T \to \infty} \frac{1}{T}\,\mathbb{E}\!\left[|\check{X}_T(f)|^2\right],

provided the limit exists. The total average power is Px=βˆ«βˆ’βˆžβˆžPx(f) df\mathcal{P}_x = \int_{-\infty}^{\infty} P_x(f)\,df.

,

Operational Interpretation of the PSD

The PSD Px(f)P_x(f) has units of power per Hz. The power in any frequency band [f1,f2][f_1, f_2] is ∫f1f2Px(f) df\int_{f_1}^{f_2} P_x(f)\,df. This is exactly what a spectrum analyzer measures: it passes the signal through a narrow bandpass filter centered at ff and reports the output power, which equals Px(f) ΔfP_x(f)\,\Delta f for bandwidth Ξ”f\Delta f.

Theorem: Wiener-Khinchin Theorem (Continuous-Time)

Let X(t)X(t) be a WSS process with absolutely integrable autocorrelation rxx(Ο„)r_{xx}(\tau). Then the PSD exists and equals the Fourier transform of the autocorrelation:

Px(f)=βˆ«βˆ’βˆžβˆžrxx(Ο„) eβˆ’j2Ο€fτ dΟ„.\boxed{P_x(f) = \int_{-\infty}^{\infty} r_{xx}(\tau)\,e^{-j2\pi f\tau}\,d\tau.}

The inverse relation is

rxx(Ο„)=βˆ«βˆ’βˆžβˆžPx(f) ej2Ο€fτ df.r_{xx}(\tau) = \int_{-\infty}^{\infty} P_x(f)\,e^{j2\pi f\tau}\,df.

The truncated periodogram 1T∣XΛ‡T(f)∣2\frac{1}{T}|\check{X}_T(f)|^2 is a convolution of the true Fourier spectrum with a FejΓ©r-type window that converges to a delta as Tβ†’βˆžT \to \infty. In expectation, this window smoothing disappears and the limit becomes exactly the Fourier transform of rxx(Ο„)r_{xx}(\tau).

,

Example: PSD of a Process with Exponential Autocorrelation

A WSS process has autocorrelation rxx(Ο„)=Οƒ2eβˆ’Ξ±βˆ£Ο„βˆ£r_{xx}(\tau) = \sigma^2 e^{-\alpha|\tau|} with Ξ±>0\alpha > 0. Find Px(f)P_x(f) and verify ∫Px(f) df=rxx(0)=Οƒ2\int P_x(f)\,df = r_{xx}(0) = \sigma^2.

Px(f)↔rxx(Ο„)P_x(f) \leftrightarrow r_{xx}(\tau) 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
3
1

Theorem: Properties of the PSD

Let Px(f)P_x(f) be the PSD of a WSS process X(t)X(t). Then:

  1. Non-negativity: Px(f)β‰₯0P_x(f) \geq 0 for all ff.
  2. Reality: Px(f)∈RP_x(f) \in \mathbb{R} for all ff.
  3. Symmetry for real processes: If X(t)X(t) is real-valued, Px(f)=Px(βˆ’f)P_x(f) = P_x(-f).
  4. Power: rxx(0)=βˆ«βˆ’βˆžβˆžPx(f) df=Pxr_{xx}(0) = \int_{-\infty}^{\infty} P_x(f)\,df = \mathcal{P}_x.

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: rxx(βˆ’Ο„)=rxxβˆ—(Ο„)r_{xx}(-\tau) = r_{xx}^*(\tau).

,

Px(f)↔rxx(Ο„)P_x(f) \leftrightarrow r_{xx}(\tau) Duality Animation

Watch how narrowing the autocorrelation in time broadens the PSD in frequency, illustrating the Fourier duality at the heart of the Wiener-Khinchin theorem.
As Ξ±\alpha increases, rxx(Ο„)r_{xx}(\tau) decays faster and Px(f)P_x(f) broadens. The area under Px(f)P_x(f) remains rxx(0)=Οƒ2r_{xx}(0) = \sigma^2 throughout.

Theorem: PSD of Non-WSS Processes

For a random process X(t)X(t) with autocorrelation rxx(t1,t2)r_{xx}(t_1, t_2) (not necessarily WSS), the PSD is

Px(f)=βˆ«βˆ’βˆžβˆžrΛ‰xx(Ο„) eβˆ’j2Ο€fτ dΟ„,P_x(f) = \int_{-\infty}^{\infty} \bar{r}_{xx}(\tau)\,e^{-j2\pi f\tau}\,d\tau,

where the time-averaged autocorrelation is

rΛ‰xx(Ο„)=lim⁑Tβ†’βˆž1Tβˆ«βˆ’T/2T/2rxx(Ο„+ΞΈ, θ) dΞΈ,\bar{r}_{xx}(\tau) = \lim_{T \to \infty}\frac{1}{T}\int_{-T/2}^{T/2} r_{xx}(\tau + \theta,\, \theta)\,d\theta,

provided the limit exists and is absolutely integrable.

Even when the autocorrelation depends on both time arguments, averaging over the absolute time ΞΈ\theta extracts a function of the lag Ο„\tau alone. The Wiener-Khinchin theorem then applies to this averaged autocorrelation. For WSS processes, rxx(Ο„+ΞΈ,ΞΈ)=rxx(Ο„)r_{xx}(\tau + \theta, \theta) = r_{xx}(\tau) regardless of ΞΈ\theta, so the averaging is trivial.

Theorem: Corollary: PSD of Wide-Sense Cyclostationary Processes

If X(t)X(t) is wide-sense cyclostationary with period T0T_0, then

rΛ‰xx(Ο„)=1T0∫0T0rxx(Ο„+ΞΈ, θ) dΞΈ.\bar{r}_{xx}(\tau) = \frac{1}{T_0}\int_0^{T_0} r_{xx}(\tau + \theta,\, \theta)\,d\theta.

The PSD is then Px(f)=∫rΛ‰xx(Ο„) eβˆ’j2Ο€fτ dΟ„P_x(f) = \int \bar{r}_{xx}(\tau)\,e^{-j2\pi f\tau}\,d\tau.

For a cyclostationary process, the time average over one period suffices β€” there is no need to send Tβ†’βˆžT \to \infty. This is the continuous-time analog of Corollary 7 in the discrete-time case.

Example: PSD of a Random Sinusoid

Let X(t)=Acos⁑(2Ο€f0t+Ξ¦)X(t) = A\cos(2\pi f_0 t + \Phi) where AA is a constant and Φ∼Uniform[0,2Ο€)\Phi \sim \text{Uniform}[0, 2\pi). Find Px(f)P_x(f).

Example: PSD of a Sum of Random Sinusoids

Let X(t)=βˆ‘k=1KAkcos⁑(2Ο€fkt+Ξ¦k)X(t) = \sum_{k=1}^{K} A_k \cos(2\pi f_k t + \Phi_k) where the Ξ¦k\Phi_k are i.i.d. Uniform[0,2Ο€)\text{Uniform}[0, 2\pi) and the fkf_k are distinct. Find Px(f)P_x(f).

Quick Check

If a WSS process has PSD Px(f)=41+(2Ο€f)2P_x(f) = \frac{4}{1 + (2\pi f)^2}, what is the total average power Px\mathcal{P}_x?

22

44

4Ο€4\pi

11

Common Mistake: PSD vs. Energy Spectral Density

Mistake:

Computing ∣XΛ‡(f)∣2|\check{X}(f)|^2 (without the 1/T1/T normalization and expectation) and calling the result the PSD.

Correction:

For a power signal (infinite energy, finite power per unit time) the PSD is lim⁑Tβ†’βˆž1TE[∣XΛ‡T(f)∣2]\lim_{T\to\infty} \frac{1}{T}\mathbb{E}[|\check{X}_T(f)|^2]. The quantity ∣XΛ‡(f)∣2|\check{X}(f)|^2 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 Px(f)P_x(f) in "watts" or "volts squared."

Correction:

The PSD has units of power per Hz (e.g., W/Hz or V2^2/Hz). It is a density, so only its integral over a frequency band yields power.

Historical Note: Wiener and Khinchin

1930--1934

Norbert 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: Px(f)P_x(f) and rxx(Ο„)r_{xx}(\tau) are a Fourier transform pair. Narrow correlation in time implies broad spectral content, and vice versa.