L2 and a.s. ergodic theorem for stationary sequences via covariance decay
[11/55%]Let be a stationary process with mean and covariance function . Prove that as
Suppose that, under the conditions of the preceding exercise,
for some and all . Prove that then
Show that condition (85) holds if as .
Let be a real-valued stationary sequence with zero means and autocovariance function . Show that
where is the spectral distribution function. Deduce that if and only if , and show that
Assume that is a stationary sequence with autocovariance function . Show that
Assuming that as , show that
Let be stationary with constant mean for all , and such that as . Show that .
Let be different (non-random) frequencies, and let and be mutually independent random variables, with all uniform on . Let be a random constant, independent of all other and . Consider the process
and the time-averaged power over the interval . Expanding by trigonometric identities gives
It is stated to be "easy to see" that as , and also, for ,
so that, as ,
Complete the "easy to see" part of this convergence, i.e., prove the three limit statements above.
Let and be independent normal variables and define . Is a linearly ergodic sequence? Compare with the covariance criterion for ergodicity.
Let be a wide-sense stationary sequence with mean and covariance function . Prove that
if and only if
Let be a wide-sense stationary process, and
its spectral representation. Prove that
Let be a stationary sequence, as . Prove that
Let the correlation function of a random process stationary in the wide sense tend to zero at infinity. Prove that converges to in the mean square as .