On the solution of the discrete-time Lyapunov matrix equation in controllable canonical form

The solution to the discrete-time Lyapunov matrix equation in controllable canonical form is shown to be the inverse of the Schur-Cohn matrix. A simple constructive procedure of Berkhout, based on the backwards Levinson algorithm is discussed and an application of the result in stochastic control is mentioned.