Wiener–Khinchin theorem

From Wikipedia, the free encyclopedia

The Wiener–Khinchin theorem (also known as the Wiener–Khintchine theorem and sometimes as the Khinchin–Kolmogorov theorem) states that the power spectral density of a wide-sense-stationary random process is the Fourier transform of the corresponding autocorrelation function.[1][2]

Continuous case:

S_{xx}(f)=\int_{-\infty}^\infty r_{xx}(\tau)e^{-j2\pi f\tau} \ d\tau

where

r_{xx}(\tau) = \operatorname{E}\big[\, x(t)x^*(t-\tau) \, \big] \

is the autocorrelation function defined in terms of statistical expectation, and where

S_{xx}(f) \

is the power spectral density of the function x(t)\,. Note that the autocorrelation function is defined in terms of the expected value of a product, and that the Fourier transform of x(t)\, does not exist, in general, because stationary random functions are not square integrable.

The asterisk denotes complex conjugate, and can be omitted if the random process is real-valued.

Discrete case:

S_{xx}(f)=\sum_{k=-\infty}^\infty r_{xx}[k]e^{-j2\pi k f}

where

r_{xx}[k] = \operatorname{E}\big[ \, x[n] x^*[n-k] \, \big] \

and where

S_{xx}(f) \

is the power spectral density of the function with discrete values x[n]\,. Being a sampled and discrete-time sequence, the spectral density is periodic in the frequency domain.

[edit] Application

The theorem is useful for analyzing linear time-invariant systems, LTI systems, when the inputs and outputs are not square integrable, so their Fourier transforms do not exist. A corollary is that the Fourier transform of the autocorrelation function of the output of an LTI system is equal to the product of the Fourier transform of the autocorrelation function of the input of the system times the squared magnitude of the Fourier transform of the system impulse response. This works even when the Fourier transforms of the input and output signals do not exist because these signals are not square integrable, so the system inputs and outputs cannot be directly related by the Fourier transform of the impulse response.

Since the Fourier transform of the autocorrelation function of a signal is the power spectrum of the signal, this corollary is equivalent to saying that the power spectrum of the output is equal to the power spectrum of the input times the power transfer function.

This corollary is used in the parametric method of estimating for the power spectrum estimation.

[edit] Discrepancy of definition

By the definitions involving infinite integrals in the articles on spectral density and autocorrelation, the Wiener–Khintchine theorem is a simple Fourier transform pair, trivially provable for any square integrable function, i.e. for functions whose Fourier transforms exist. More usefully, and historically, the theorem applies to wide-sense-stationary random processes, signals whose Fourier transforms do not exist, using the definition of autocorrelation function in terms of expected value rather than an infinite integral. This trivialization of the Wiener–Khintchine theorem is commonplace in modern technical literature, and obscures the contributions of Aleksandr Yakovlevich Khinchin, Norbert Wiener, and Andrey Kolmogorov.

[edit] References

  1. ^ Dennis Ward Ricker (2003). Echo Signal Processing. Springer. 
  2. ^ Leon W. Couch II (2001). Digital and Analog Communications Systems, sixth ed., Prentice Hall, New Jersey, 406-409. 
Languages