Prerequisites & Notation

Prerequisites

This chapter develops the mean-square calculus of random processes — continuity, differentiation, and integration in the L2L^2 sense — and applies it to bandlimited processes and the Karhunen-Loève expansion. The following background is essential.

  • WSS processes and autocorrelation(Review fsp/ch13)

    Self-check: Can you state the definition of WSS and compute rxx(τ)r_{xx}(\tau) for a given process?

  • Power spectral density and the Wiener-Khinchin theorem(Review fsp/ch14)

    Self-check: Can you write the Fourier transform pair relating rxx(τ)r_{xx}(\tau) and Px(f)P_x(f)?

  • LTI systems with random inputs(Review fsp/ch15)

    Self-check: Can you derive the output PSD Py(f)=hˇ(f)2Px(f)P_y(f) = |\check{h}(f)|^2 P_x(f) for a WSS input?

  • Fourier transforms and Parseval's theorem

    Self-check: Can you state Parseval's theorem and use it to relate time-domain and frequency-domain integrals?

  • Eigenvalues and eigenfunctions of integral operators

    Self-check: Do you know what it means for ϕ(t)\phi(t) to satisfy K(t,s)ϕ(s)ds=λϕ(t)\int K(t,s)\phi(s)\,ds = \lambda \phi(t)?

Notation for This Chapter

We introduce several new symbols for mean-square calculus alongside the familiar PSD and autocorrelation notation from previous chapters.

SymbolMeaningIntroduced
rxx(τ)r_{xx}(\tau)Autocorrelation of a WSS processCh. 13
Px(f)P_x(f)Power spectral densityCh. 14
hˇ(f)\check{h}(f)Frequency response of an LTI systemCh. 15
X(t)X'(t)Mean-square derivative of the process X(t)X(t)This chapter
l.i.m.\text{l.i.m.}Limit in mean square (convergence in L2L^2)This chapter
WWBandwidth of a bandlimited processThis chapter
ϕn(t)\phi_n(t)Eigenfunctions of the autocorrelation kernel (KL basis)This chapter
λn\lambda_nEigenvalues of the autocorrelation kernelThis chapter
ZnZ_nUncorrelated random coefficients in the KL expansionThis chapter