Exercises
ex19-01
EasyLet where and are independent. Show that is a Gaussian process and find and .
For fixed times , write as a linear transformation of .
Gaussianity
where . Since , is jointly Gaussian. So is a GP.
Mean and covariance
. .
ex19-02
EasyDetermine whether the following is a valid covariance function: .
A function is a valid covariance if and only if its Fourier transform is nonnegative.
Compute the Fourier transform
. The Fourier transform of is ... Actually, , so by the modulation property:
Check nonnegativity
Both terms are nonnegative for all , so . Therefore is a valid covariance function.
ex19-03
MediumProve that the sum of two independent Gaussian processes is a Gaussian process. If and are independent GPs with mean functions , and covariance functions , , find the mean and covariance of .
Use the fact that the sum of independent Gaussian vectors is Gaussian.
Gaussianity
For any , . The sum of independent Gaussian vectors is Gaussian. So is a GP.
Mean and covariance
. (by independence, cross-covariance is zero).
ex19-04
MediumLet be a zero-mean WSS Gaussian process with autocorrelation . Find the probability that and for .
The pair is bivariate Gaussian. The probability can be expressed using the bivariate Gaussian CDF.
Use the correlation coefficient .
Set up the bivariate distribution
where .
Compute the probability
\tau \to 0\rho \to 1\to 1/2\tau \to \infty\rho \to 0\to 1/4$ (independence).
ex19-05
EasyWhite Gaussian noise with PSD W/Hz passes through an ideal lowpass filter with bandwidth MHz. Find the output noise power and the autocorrelation at lag s.
Use the band-limited WGN autocorrelation formula.
Output noise power
W.
Autocorrelation
W. (Since and .)
ex19-06
MediumProve that the derivative of a Gaussian process (when it exists in mean square) is also a Gaussian process.
Express the derivative as a limit of difference quotients.
A mean-square limit of Gaussian RVs is Gaussian.
Define the derivative
in mean square.
Finite-dimensional Gaussianity
For any , the difference quotients are linear combinations of the Gaussian vector , hence jointly Gaussian.
Limit preserves Gaussianity
As , each is the m.s. limit of Gaussian RVs. The characteristic function converges pointwise, and since the limit of Gaussian CFs is Gaussian, is jointly Gaussian.
ex19-07
MediumShow that the output of passing WGN with PSD through a filter with impulse response (where is the unit step) is an Ornstein-Uhlenbeck process. Find its autocorrelation and verify it is WSS.
Compute and use .
Transfer function
, so .
Output PSD
.
Autocorrelation
Inverse Fourier transform: . This depends only on , so is WSS. The variance is .
ex19-08
HardLet be WGN with PSD and let be a known deterministic signal with energy . Define . Show that .
Approximate the integral by a Riemann sum and take the limit.
Each Riemann sum is Gaussian. Compute its variance using the WGN autocorrelation.
Riemann sum approximation
. This is a linear combination of the jointly Gaussian vector , hence Gaussian with zero mean.
Variance computation
$
Conclusion
The m.s. limit is Gaussian (limit of Gaussian RVs) with mean and variance .
ex19-09
MediumA zero-mean WSS GP with PSD passes through a differentiator (). Find the output PSD and determine whether the output is a valid (finite-power) process.
Apply the output PSD formula and check whether .
Output PSD
.
Total power
As , . So . The output has infinite power β the differentiator amplifies high-frequency components without bound. The derivative of this process does not exist in mean square.
ex19-10
HardProve that for a known signal in additive WGN, the matched filter output is a sufficient statistic for deciding between and .
Use the Karhunen-Loeve expansion of and show that the likelihood ratio depends on only through .
Likelihood ratio
Expand in an orthonormal basis including . The coefficients are independent Gaussian under both hypotheses.
Factor the likelihood
Under : , for . Under : for all . The likelihood ratio is , depending only on .
Sufficiency
By the Neyman-Fisher factorization theorem, is a sufficient statistic.
ex19-11
EasyIf with passes through an ideal lowpass filter with bandwidth Hz, what is the output PSD at ?
First find by Fourier-transforming .
Input PSD
.
Output PSD
for and otherwise. At : W/Hz.
ex19-12
EasyCompute for a standard Wiener process.
Use the independent increments property.
Apply independence
is an increment over , independent of (which depends only on the process up to time 3). Therefore: .
ex19-13
MediumShow that is a Gaussian process on with . Find its covariance function. (This is the Brownian bridge.)
Use and linearity.
Gaussianity
is a linear combination of the Gaussian process , hence Gaussian. , .
Covariance
s \leq tC_X(s,t) = s(1-t)$.
ex19-14
HardLet be a standard Wiener process. Show that for is a WSS Gaussian process (the stationary Ornstein-Uhlenbeck process) and find its autocorrelation.
Compute using .
Substitute , .
Mean
.
Autocorrelation
s \leq t= e^{-(s+t)/2} \cdot e^s = e^{(s-t)/2} = e^{-|t-s|/2}$.
WSS verification
depends only on , so is WSS. The autocorrelation is , exponentially decaying.
ex19-15
MediumCompute and for a standard Wiener process.
Use Fubini to swap expectation and integration.
For the variance, use .
Mean
.
Variance
$
ex19-16
HardThe phase noise in an oscillator is modeled as where is a standard Wiener process. In an OFDM system with symbol duration , the common phase error (CPE) for one symbol is approximately . Find its distribution and compute the probability that (which causes symbol errors in QPSK) as a function of and .
Use the increment distribution of the Wiener process.
CPE distribution
.
Error probability
\sigma\sqrt{T_s} \ll \pi/4\sigma^2 T_s \ll (\pi/4)^2 \approx 0.62$.
ex19-17
ChallengeLet be a zero-mean GP with covariance on (the Brownian bridge). Find the Karhunen-Loeve expansion: determine the eigenvalues and eigenfunctions satisfying .
The integral equation reduces to a differential equation. Try and verify.
Guess the eigenfunctions
Try . These satisfy the boundary conditions .
Verify
s = t\int_0^t s(1-t)\sqrt{2}\sin(k\pi s),ds + \int_t^1 t(1-s)\sqrt{2}\sin(k\pi s),ds\frac{1}{k^2\pi^2}\sqrt{2}\sin(k\pi t) = \frac{1}{k^2\pi^2}\phi_k(t)$.
Eigenvalues
,
The KL expansion is: where are i.i.d.
ex19-18
MediumLet be i.i.d. (discrete WGN). The DFT coefficients are . Show that are i.i.d. .
Use the fact that the DFT matrix is unitary.
Linear transformation
where is the unitary DFT matrix ().
Covariance of the output
.
Gaussianity and independence
A linear transformation of a Gaussian vector is Gaussian. The covariance means the components are uncorrelated, and for Gaussian RVs, uncorrelated implies independent. So i.i.d.
ex19-19
HardA GP has zero mean and squared-exponential covariance . You observe at with , . Compute the posterior mean and variance at .
Use the GP regression formulas with , .
No noise on observations, so no term.
Build the kernel matrix
.
Compute $\mathbf{k}_*$
, giving .
Posterior
(Numerical values from matrix inversion.)
ex19-20
MediumShow that is a martingale with respect to the natural filtration of .
Compute for using the independent increments property.
Decompose
Write , where is independent of .
Conditional expectation
$
Martingale property
. So satisfies .