Prerequisites & Notation

Prerequisites for Chapter 9

The Wiener filter sits at the intersection of three mathematical streams: Hilbert-space geometry (orthogonal projection), wide-sense stationary (WSS) process theory (autocorrelations and spectra), and linear systems (Fourier transforms and z-transforms). You should be comfortable with each before beginning this chapter.

  • LMMSE estimation in finite dimensions(Review ch02)

    Self-check: You can derive x^=Ξ£xyΞ£yβˆ’1y\hat{\mathbf{x}} = \boldsymbol{\Sigma}_{xy}\boldsymbol{\Sigma}_y^{-1}\mathbf{y} from the orthogonality principle and know that this is the optimal estimator when (X,Y)(\mathbf{X},\mathbf{Y}) is jointly Gaussian.

  • WSS processes and power spectral densities(Review fsp-ch14)

    Self-check: You can state the Wiener-Khinchin theorem: Px(f)=βˆ‘krxx[k]eβˆ’j2Ο€fkP_x(f) = \sum_k r_{xx}[k] e^{-j 2\pi f k} and know that Px(f)β‰₯0P_x(f) \geq 0.

  • LTI systems and the frequency response(Review fsp-ch13)

    Self-check: You know that if YnY_n is the output of an LTI filter h[n]h[n] driven by a WSS input XnX_n, then Py(f)=∣hΛ‡(f)∣2Px(f)P_y(f) = |\check{h}(f)|^2 P_x(f).

  • Orthogonality principle and Hilbert-space projection(Review ch02)

    Self-check: You can state: the MMSE estimator is characterized by E[(Xβˆ’X^)Yβˆ—]=0\mathbb{E}[(X - \hat{X}) Y^*] = 0 for every observation used in the estimate.

  • Hermitian symmetry and complex exponentials(Review ch01)

    Self-check: You are fluent with z=ej2Ο€fz = e^{j 2\pi f}, Hermitian conjugate (β‹…)H(\cdot)^H, and reciprocal symmetry of autocorrelation: rxx[βˆ’k]=rxxβˆ—[k]r_{xx}[-k] = r_{xx}^*[k].

Notation for Chapter 9

This chapter handles two jointly WSS processes β€” the desired signal XnX_n and the observation YnY_n. We use lowercase subscripts on autocorrelations and PSDs, following the FSP/FSI convention. The hat symbol denotes an estimate; the check symbol checkcdot\\check{\\cdot} denotes a frequency-domain (Fourier) representation of a discrete-time filter.

SymbolMeaningIntroduced
Xn,YnX_n, Y_nDesired signal and observation, both jointly WSS discrete-time processess01
rxx[k],ryy[k],rxy[k]r_{xx}[k], r_{yy}[k], r_{xy}[k]Autocorrelation and cross-correlation sequencess01
Px(f),Py(f),Pxy(f)P_x(f), P_y(f), P_{xy}(f)Power spectral density and cross-PSD, f∈[βˆ’1/2,1/2]f \in [-1/2, 1/2]s01
X^n\hat{X}_nEstimate of XnX_n (via Wiener filter applied to {Ym}\{Y_m\})s01
En=Xnβˆ’X^nE_n = X_n - \hat{X}_nEstimation errors01
h[k],hˇ(f)h[k], \check{h}(f)Filter impulse response and its frequency responses01
hˇnc(f)\check{h}_{\text{nc}}(f)Non-causal Wiener filter transfer functions02
hˇc(f)\check{h}_c(f)Causal Wiener filter transfer functions04
Py+(f),Pyβˆ’(f)P_y^+(f), P_y^-(f)Causal (minimum-phase) and anti-causal spectral factorss03
JnJ_nInnovations process (whitened observation)s03
[β‹…]+[\cdot]_+Causal projection operator: keep non-negative-lag Fourier componentss04
Οƒnc2,Οƒc2,Οƒp2\sigma_{\text{nc}}^2, \sigma_c^2, \sigma_p^2MMSE of non-causal, causal, one-step prediction filterss02, s04, s05