Lect 08
Lect 08
N
E(Y 2(t)) = RY (t, t) =
t
2
Note that the average power grows linearly with t (as for the random walk)
• If in addition X(t) is a GRP, then Y (t) is also a GRP and is referred to as the
Wiener process
• Consider a linear time invariant (LTI) system with real impulse response h(t) and
transfer function H(f ) = F(h(t)), driven by WSS process X(t), −∞ < t < ∞
! ∞
• We want to characterize its output Y (t) = X(t) ∗ h(t) = X(τ )h(t − τ )dτ
−∞
• It
( )turns out (not
( surprisingly) that if the system is stable, i.e.,
( ∞
( −∞ h(t) dt ( = |H(0)| < ∞, then X(t) and Y (t) are jointly WSS, which
(
means that:
◦ X(t) and Y (t) are WSS, and
◦ Their crosscorrelation function RXY (t1, t2) is time invariant, i.e.,
RXY (t1, t2) = E(X(t1)Y (t2)) = RXY (t1 + τ, t2 + τ ) for all τ
Theorem: Let X(t), t ∈ R, be a WSS process input to a stable LTI system with
real impulse response h(t) and transfer function H(f ). Then the input X(t) and
output Y (t) are jointly WSS with:
4. SY X (f ) = H(f )SX (f )
5. SY (f ) = |H(f )|2SX (f )
SY X (f )
SX (f ) H(f ) H(−f ) SY (f )
= h(τ ) ∗ RX (τ )
= RY X (τ ) ∗ h(−τ )
• We can use the above results to show that SX (f ) is indeed the power spectral
density of X(t); i.e., the average power in any frequency band [f1, f2] is
! f2
2 SX (f ) df
f1
H(f )
f
−f2 −f1 f1 f2
• The noise in a resistor R (in ohms) due to thermal noise is modeled as a WGN
voltage source V (t) in series with R. The psd of V (t) is
SV (f ) = 2kT R V2/Hz for all f , where k is Boltzmann’s constant and T is the
temperature in degrees K
V (t)
R
• Now let’s find the average output noise power for an RC circuit
C
V (t) V0(t)
which is independent of R!
• Let Xn , −∞ < n < ∞, be a discrete time white noise process with average
power N
The autoregressive moving average (ARMA) process of order (p, q), Yn ,
−∞ < n < ∞, is defined as
p
. q
.
Yn = − αk Yn−k + βlXn−l
k=1 l=0
◦ Hence if the sampling rate 1/T ≥ 2B, X̂(f ) = X(f ) and the signal can be
reconstructed perfectly from its samples
The PSD of Yn ,
∞
.
SY (f ) = SX (f − n/T ),
n=−∞
is periodic with period 1/T
• Let X(t) and Y (t) be zero mean jointly WSS processes with known
autocorrelation and crosscorrelation functions RX (τ ), RY (τ ), and RXY (τ )
• We observe the random process Y (α) for t − a ≤ α ≤ t + b (−a ≤ b) and wish
to find the*MMSE linear estimate of the signal X(t), i.e., X̂(t) such that the
MSE = E (X(t) − X̂(t))2 is minimized
+
• When a, b → ∞, the integral equations for the MMSE linear estimate become
! ∞
RXY (τ ) = h(α)RY (τ − α) dα , −∞ < τ < +∞
−∞
In other words,
RXY (τ ) = h(τ ) ∗ RY (τ )
• The Fourier transform convolution theorem gives the transfer function for the
optimal infinite smoothing filter:
SXY (f )
SXY (f ) = H(f )SY (f ) ⇒ H(f ) =
SY (f )
Therefore
∞
|SXY (f )|2 ∞
! !
E(X(t)X̂(t)) = RX X̂ (0) = H(−f )SXY (f ) df = df ,
−∞ −∞ SY (f )
• Example (Additive White Noise Channel): Let X(t) and Z(t) be zero mean
uncorrelated WSS processes with
2
P
|f | ≤ B
SX (f ) = 2
0 otherwise
N
SZ (f ) = for all f
2
Here the signal X is bandlimited white noise, and Z is white noise
Find the optimal infinite smoothing filter for estimating X(t) given
Y (τ ) = X(τ ) + Z(τ ) , −∞ < τ < +∞
and the MSE for the estimate produced by this filter
SX (f )
P
2
f
−B SZ (f ) B
N
2
f
H(f )
P
P +N
f
−B B
P 2/4
= PB − 2B
(P + N )/2
NP B
=
N +P
SX (f ) = 1 SY (f ) = S(f )
SY (f ) = S(f ) SX (f ) = 1
Here X(t) is the innovation process of Y (t)
• It turns out that under certain conditions, the PSD S(f ) of a WSS process has
a causal square root, that is, S +(f ) such that S(f ) = S +(f )S −(f ), where
S −(f ) = (S +(f ))∗ is an anticausal filter (note the similarity to the square root
for correlation matrix via Cholesky decomposition)
• In particular, if S(f ) is a rational PSD for a continuous time WSS process, i.e.,
(2πif + a1)(2πif + a2) . . . (2πif + am)
S(f ) = c ,
(2πif + b1)(2πif + b2) . . . (2πif + bn)
then it can be factorized into product of causal and anticausal square roots
Proof: Since S(f ) is real and nonnegative, S ∗(f ) = S(f ), if the denominator
has factor (2πif + b), Re(b) > 0, then it must have factor (−2πif + b∗).
Similarly, if numerator has factor (2πif + a), Re(a) > 0, then it must have
factor (−2πif + a∗)
• These condition are not always satisfied. For example they are not satisfied for
bandlimited processes
• Remark: We assume throughout that F −1[S +(f )] is real; hence
S −(f ) = S +(−f )
• Again let X(t) and Y (t) be jointly WSS random processes. consider the linear
estimation of process X(t) from observations Y (α), t − a ≤ α ≤ t + b
• When a → ∞ and b = 0, the equations for the MMSE linear estimate, called
Wiener–Hopf equations, are
! ∞
RXY (τ ) = h(α)RY (τ − α) dα , 0 ≤ τ < ∞
0
! ∞
= h(α)RY (τ − α) dα , 0 ≤ τ < ∞
−∞
1 Ỹ (t)
Y (t) +
SY (f ) [SX Ỹ (f )]+ X̂(t)
recursive non-recursive
• Remarks:
◦ A continuous time counterpart to the Kalman filter exists and is known as the
Kalman-Bucy filter
◦ If Xn, Yn are jointly WSS and can be described via a state space model, then
the Kalman filter gives a recursive way to compute the Wiener filter