31 Stationary Stochastic Processes
- A stochastic process
is wide-sense stationary (WSS) if:- The mean function
does not depend on : for all - The autocovariance function
satisfies: for all times and time shifts , .
- The mean function
- For a WSS process the mean function is constant in time and the autocovariance at two points in time depends only on how far apart the times are from each other, but not what the times are.
- That is, a process is WSS if its ensemble-average properties are invariant under time shifts
- For a WSS stochastic process
we can define the autocovariance function as a function of the time shift, : - Similarly, for a WSS stochastic process
we can define the autocorrelation function
Example 31.1 Determine whether each of the following stochastic processes is WSS.
A symmetric simple random walk (like in the Harry/Tom example).
is a discrete time white noise process: , , , , , , is a sequence of independent and identically distributed (i.i.d.) random variables (e.g., for all )
, where the amplitude is a random variable (with non-zero variance).
, where the random phase shift has a Uniform distribution.
, where and are independent random variables, and has a Uniform distribution.
, where is a non-random signal (e.g. ) and is Gaussian random noise, for which at any time , has a Normal(Gaussian) distribution with mean 0 and standard deviation , and and are independent for any .
- If
is WSS its autocovariance function satisfies for all ; the autocovariance function is symmetric about 0 ; the autocovariance function is maximized at- If
is periodic, so is , and with the same period - If
has no periodic component then1 as
- If
is WSS its autocorrelation function satisfies for all ; that is, the autocorrelation function is symmetric (about 0) in ; that is, the autocorrelation function is maximized at- If
is periodic, so is , and with the same period - If
has no periodic component then2 as
Example 31.2 Suppose
Find
.
Find
.
Find the autocovariance function.
Find the covariance of X(15) and X(18).
Find
.
Do we have enough information to compute
?
- Roughly speaking, a stochastic process is stationary if its statistical properties do not change over time.
- A stochastic process is WSS if its ensemble-average properties are invariant under time shifts.
- A stochastic process
is strict-sense stationary if all of its statistical properties are invariant to time shifts: for any and time points and any time shift , the joint distribution of is the same as the joint distribution of- In particular,
has the same (marginal) distribution at each point in time - But this property of the marginal distributions alone is not enough to imply that the process is strict-sense stationary.
- In particular,
- If a process is strict-sense stationary then it is WSS, but the converse is not true
31.1 Some notes about ergodic processes
- Roughly speaking, an ergodic process is one whose statistical (ensemble) properties match the corresponding temporal (time-related) properties.
- Engineers often assume their noise models to be ergodic, so that their statistical properties can be deduced by analyzing just a single sample path of the random process.
- Roughly speaking, an ergodic process is stationary, but a stationary process is not necessarily ergodic
- An example of an ergodic process: The statistical properties of rolling one die 100 times are the same as the statistical properties of rolling 100 dice once each.
- One die, 100 times = evolution of one realization (sample path) of a process over time
- 100 dice, once each = 100 realizations of the process at a single time
- Since time properties match ensemble properties, the process of die-rolling is ergodic.
- Die-rolling is also stationary, since the statistical properties of the dice do not change per over time (i.e., as we continue to roll the dice).
- A stationary process which is not ergodic: Let
be a random variable with some distribution (say N(0, 1)) and define for all . is stationary, since the distribution of obviously doesn’t change with time. is not ergodic: a single realization would be a constant, . This single constant has none of the statistical properties of the random variable.
- The time average of a function
is denoted and defined as - Despite the fact that the notation includes
, is a number, not a function of (since has been integrated out) - A stochastic process
is mean ergodic if its time average and ensemble average are the same: - Since
does not depend on , a mean ergodic process must have a constant ensemble mean, for all . - In general,
is a random variable but for a mean ergodic process it is a constant. Any sample path of a mean ergodic process will (eventually, in the limit) produce the same time average. - The time autocorrelation of a function
is - Again, despite the fact that the notation includes
, is a function of only, and not of (since has been integrated out) - A stochastic process
is autocorrelation ergodic if Since does not depend on , an autocorrelation ergodic process must have an autocorrelation function which depends only on the time shift , for all . - In general,
is a random function of but for an autocorrelation ergodic process it is a deterministic function of . Any sample path of an autocorrelation ergodic process will (eventually, in the limit) produce the same time autocorrelation. - If a stochastic process is both mean ergodic and autocorrelation ergodic, then it is WSS.
Technically, for this property to hold
must also be mean ergodic. Unless stated otherwise, you may assume that our random processes are mean ergodic.↩︎Technically, for this property to hold
must also be mean ergodic. Unless stated otherwise, you may assume that our random processes are mean ergodic.↩︎