15
3.16. Assume that x,yare jointly Gaussian random vectors, with covariance
matrix
Σ:= Ex−µx
y−µy(x−µx)T,(y−µy)T=ΣxΣxy
Σyx Σy.
Assuming also that the matrices Σxand ¯
Σ:= Σy−ΣyxΣ−1
xΣxy are
non-singular, then show that the optimal MSE estimator E[y|x] takes the
following form,
E[y|x] = E[y] + ΣyxΣ−1
x(x−E[x]).
Notice that E[y|x] is an affine function of x. In other words, for the case
where xand yare jointly Gaussian, the optimal estimator of y, in the
MSE sense, which is in general a non-linear function, becomes an affine
function of x.
In the special case where x,y are scalar random variables, then
E[y|x] = µy+ασy
σx
(x−µx),
where αstands for the correlation coefficient, defined as
α:= E[(x −µx)(y −µy)]
σxσy
,
with |α| ≤ 1. Notice, also, that the previous assumption on the non-
singularity of Σxand ¯
Σtranslates, in this special case, to σx6= 0 6=σy,
and |α|<1.
Solution: First, it is easy to verify that Σyx =ΣT
xy. Moreover, since
Σxand ¯
Σare assumed to be non-singular, then it can be verified, e.g.,
[Magn 99], that the determinant det Σ= det Σxdet ¯
Σ, and that
x+Σ−1
xΣxy ¯
Σ−1ΣyxΣ−1
x−Σ−1
xΣxy ¯
Σ−1