Skip to main content

Liapunov stability test (G = [0 1; −0.5 −1])

Short answer

Solve GᵀPG − P = −I with G=[0 1; −0.5 −1]. The matrix P=[2.2 1.6; 1.6 4.8] has principal minors 2.2 and 8, both positive, confirming asymptotic stability.

Check the stability of given system by Liapunov stability test: [x₁(k+1); x₂(k+1)]=[0 1; -0.5 -1][x₁(k); x₂(k)].

Liapunov stability theorem (discrete time): the equilibrium x=0\mathbf{x} = \mathbf{0} of x(k+1)=Gx(k)\mathbf{x}(k+1) = \mathbf{G}\mathbf{x}(k) is asymptotically stable if and only if, for any positive-definite Hermitian matrix Q\mathbf{Q}, there is a positive-definite matrix P\mathbf{P} satisfying

GTPG−P=−Q\mathbf{G}^T\mathbf{P}\mathbf{G} - \mathbf{P} = -\mathbf{Q}

Then V(x)=xTPxV(\mathbf{x}) = \mathbf{x}^T\mathbf{P}\mathbf{x} is a Liapunov function, and ΔV=xT(GTPG−P)x=−xTQx<0\Delta V = \mathbf{x}^T(\mathbf{G}^T\mathbf{P}\mathbf{G}-\mathbf{P})\mathbf{x} = -\mathbf{x}^T\mathbf{Q}\mathbf{x} < 0.

Choose Q=I\mathbf{Q} = \mathbf{I} and P=[p11p12p12p22]\mathbf{P} = \begin{bmatrix} p_{11} & p_{12} \\ p_{12} & p_{22} \end{bmatrix}.

Forming the equations

G=[01−0.5−1],GTPG=[0.25p22−0.5(p12−p22)−0.5(p12−p22)p11−2p12+p22]\mathbf{G} = \begin{bmatrix} 0 & 1 \\ -0.5 & -1 \end{bmatrix},\qquad \mathbf{G}^T\mathbf{P}\mathbf{G} = \begin{bmatrix} 0.25p_{22} & -0.5(p_{12}-p_{22}) \\ -0.5(p_{12}-p_{22}) & p_{11}-2p_{12}+p_{22} \end{bmatrix}

Setting GTPG−P=−I\mathbf{G}^T\mathbf{P}\mathbf{G} - \mathbf{P} = -\mathbf{I}:

(1,1):0.25p22−p11=−1(1,2):−0.5p12+0.5p22−p12=0  ⇒  p22=3p12(2,2):p11−2p12=−1  ⇒  p11=2p12−1\begin{aligned} (1,1):&\quad 0.25p_{22} - p_{11} = -1\\ (1,2):&\quad -0.5p_{12} + 0.5p_{22} - p_{12} = 0 \;\Rightarrow\; p_{22} = 3p_{12}\\ (2,2):&\quad p_{11} - 2p_{12} = -1 \;\Rightarrow\; p_{11} = 2p_{12} - 1 \end{aligned}

Solving

Substitute into (1,1): 0.75p12−2p12+1=−10.75p_{12} - 2p_{12} + 1 = -1, so p12=1.6p_{12} = 1.6. Then

p22=4.8,p11=2.2p_{22} = 4.8,\qquad p_{11} = 2.2 P=[2.21.61.64.8]\mathbf{P} = \begin{bmatrix} 2.2 & 1.6 \\ 1.6 & 4.8 \end{bmatrix}

Positive definiteness

  • Δ1=2.2>0\Delta_1 = 2.2 > 0
  • Δ2=2.2×4.8−1.62=8>0\Delta_2 = 2.2\times4.8 - 1.6^2 = 8 > 0

So P\mathbf{P} is positive definite.

Conclusion

The equilibrium state x=0\mathbf{x} = \mathbf{0} is asymptotically stable, with Liapunov function V(x)=2.2x12+3.2x1x2+4.8x22V(\mathbf{x}) = 2.2x_1^2 + 3.2x_1x_2 + 4.8x_2^2 and ΔV(x)=−(x12+x22)<0\Delta V(\mathbf{x}) = -(x_1^2 + x_2^2) < 0.

Cross-check: the characteristic equation z2+z+0.5=0z^2 + z + 0.5 = 0 gives z=−0.5±j0.5z = -0.5 \pm j0.5, with ∣z∣=0.707<1|z| = 0.707 < 1.

✓ Answer checked by Claude Opus 5.5 (high effort)

All Digital Control System chapter 5 questions →