9.5 dlyap——离散Lyapunov方程