1. Base Knowledge:
  2. Let’s define the mean function of and and the variance function of as and : Then we have that: So:
  3. For we have:
  4. Let’s now take into consideration the covariance function Definition: Substitute and , then simplify : Being and independent processes we have: Since is white, so we have that and are uncorrelated we can say: Where:
  • only depends on the values of for (more over it’s a linear combination of for ). Then we can iterate an obtain: So: Now let’s see what is equal to, starting from the definition: Like before we substitute and : Explicit form: Since of and are uncorrelated, like we said before, only depends on the values of for , so:

Where:

  • For simplicity we call and declare the Discrete Lyapunov equation as: It tells us how the variance of evolves in time, is not stationary. Finally we can conclude:
  1. (no proof was provided)

Remark