参考书籍:《自动控制原理》(第七版).胡寿松主编.
《自动控制原理PDF版下载》
4.李雅普诺夫稳定性分析
李雅普诺夫理论提出了判断系统稳定性的两种方法:一种是利用线性系统微分方程的解来判断系统稳定性,称之为李雅普诺夫第一法或间接法;另一种先利用经验和技巧来构造李雅普诺夫函数,进而利用李雅普诺夫函数来判断系统稳定性,称之为李雅普诺夫第二法或直接法;
4.1 李雅普诺夫意义下的稳定性
设系统方程为:
x ˙ = f ( x , t ) (1) \dot{x}=f(x,t)\tag{1} x˙=f(x,t)(1)
式中: x x x为 n n n维状态向量,且显含时间变量 t t t, f ( x , t ) f(x,t) f(x,t)为线性或非线性、定常或时变的 n n n维向量函数,其展开式为:
x ˙ i = f i ( x 1 , x 2 , ⋯ , x n , t ) ; i = 1 , 2 , ⋯ , n (2) \dot{x}_i=f_i(x_1,x_2,\cdots,x_n,t);i=1,2,\cdots,n\tag{2} x˙i=fi(x1,x2,⋯,xn,t);i=1,2,⋯,n(2)
假定方程的解为 x ( t ; x 0 , t 0 ) x(t;x_0,t_0) x(t;x0,t0),式中 x 0 、 t 0 x_0、t_0 x0、t0分别为初始状态向量和初始时刻,则初始条件 x 0 x_0 x0必满足 x ( t 0 ; x 0 , t 0 ) = x 0 x(t_0;x_0,t_0)=x_0 x(t0;x0,t0)=x0;
-
平衡状态
对于所有 t t t,满足:
x ˙ e = f ( x e , t ) = 0 (3) \dot{x}_e=f(x_e,t)=0\tag{3} x˙e=f(xe,t)=0(3)
的状态 x e x_e xe称为平衡状态;线性定常系统 x ˙ = A x \dot{x}=Ax x˙=Ax,其平衡状态满足 A x e = 0 Ax_e=0 Axe=0,当 A A A为非奇异矩阵时,系统只有唯一的零解,即只存在一个位于状态空间原点的平衡状态,若 A A A为奇异矩阵,则系统存在有无穷多个平衡状态,对于非线性系统,可能有一个或多个平衡状态;
-
李雅普诺夫意义下的稳定性
设系统初始状态位于以平衡状态 x e x_e xe为球心、 δ \delta δ为半径的闭球域 S ( δ ) S(\delta) S(δ)内,即:
∣ ∣ x 0 − x e ∣ ∣ ≤ δ , t = t 0 (4) ||x_0-x_e||≤\delta,t=t_0\tag{4} ∣∣x0−xe∣∣≤δ,t=t0(4)
若能使系统方程的解 x ( t ; x 0 , t 0 ) x(t;x_0,t_0) x(t;x0,t0)在 t → ∞ t\to\infty t→∞的过程中,都位于以 x e x_e xe为球心、任意规定的半径为 ε \varepsilon ε的闭球域 S ( ε ) S(\varepsilon) S(ε)内,即:
∣ ∣ x ( t ; x 0 , t 0 ) − x 0 ∣ ∣ ≤ ε , t ≥ t 0 (5) ||x(t;x_0,t_0)-x_0||≤\varepsilon,t≥t_0\tag{5} ∣∣x(t;x0,t0)−x0∣∣≤ε,t≥t0(5)
则称系统的平衡状态 x e x_e xe在李雅普诺夫意义下是稳定的;式中: ∣ ∣ ⋅ ∣ ∣ ||·|| ∣∣⋅∣∣为欧几里得范数,其几何意义是空间距离的尺度,如 ∣ ∣ x 0 − x e ∣ ∣ ||x_0-x_e|| ∣∣x0−xe∣∣表示状态空间 x 0 x_0 x0点至 x e x_e xe点之间距离的尺度,数学表达式为:
∣ ∣ x 0 − x e ∣ ∣ = ( x 10 − x 1 e ) 2 + ⋯ + ( x n 0 − x n e ) 2 (6) ||x_0-x_e||=\sqrt{(x_{10}-x_{1e})^2+\cdots+(x_{n0}-x_{ne})^2}\tag{6} ∣∣x0−xe∣∣=(x10−x1e)2+⋯+(xn0−xne)2(6) -
渐近稳定性
若系统的平衡状态 x e x_e xe不仅具有李雅普诺夫意义下的稳定性,且有:
lim t → ∞ ∣ ∣ x ( t ; x 0 , t 0 ) − x e ∣ ∣ = 0 (7) \lim_{t\to\infty}||x(t;x_0,t_0)-x_e||=0\tag{7} t→∞lim∣∣x(t;x0,t0)−xe∣∣=0(7)
则称此平衡状态是渐近稳定的; -
大范围(全局)渐近稳定性
当初始条件扩展至整个状态空间,且平衡状态均具有渐近稳定性时,称此平衡状态是大范围渐近稳定的,此时 δ → ∞ , S ( δ ) → ∞ \delta\to\infty,S(\delta)\to\infty δ→∞,S(δ)→∞;当 t → ∞ t\to\infty t→∞时,由状态空间中任一点出发的轨迹都收敛至 x x x;
对于严格线性的系统,如果它是渐近稳定的,则必定是大范围渐近稳定的,对于非线性系统来说,其稳定性与初始条件密切相关,系统渐近稳定不一定是大范围渐近稳定;
-
不稳定性
如果对于某个实数 ε > 0 \varepsilon>0 ε>0和任一个实数 δ > 0 \delta>0 δ>0,不管这两个实数有多小,在 S ( δ ) S(\delta) S(δ)内总存在一个状态 x 0 x_0 x0,使得由这一状态出发的轨迹超出 S ( ε ) S(\varepsilon) S(ε),则平衡状态 x e x_e xe称为是不稳定的;
4.2 李雅普诺夫第一法(间接法)
李雅普诺夫第一法是利用状态方程解的特性来判断系统稳定性的方法,适用于线性定常、线性时变及非线性函数可线性化的情况;
定理9:对于线性定常系统 x ˙ = A x , x ( 0 ) = x 0 , t ≥ 0 \dot{x}=Ax,x(0)=x_0,t≥0 x˙=Ax,x(0)=x0,t≥0,有:
- 系统的每一平衡状态是在李雅普诺夫意义下稳定的充分必要条件: A A A的所有特征值均具有非正(负或零)实部,且具有零实部的特征值为 A A A的最小多项式的单根;
- 系统的唯一平衡状态 x e = 0 x_e=0 xe=0是渐近稳定的充分必要条件: A A A的所有特征值均具有负实部;
4.3 李雅普诺夫第二法(直接法)
李雅普诺夫提出,可虚构一个能量函数,被称为李雅普诺夫函数,一般它与 x 1 , x 2 , ⋯ , x n x_1,x_2,\cdots,x_n x1,x2,⋯,xn及 t t t有关,记为 V ( x , t ) V(x,t) V(x,t);
若不显含 t t t,则记为 V ( x ) V(x) V(x);它是一个标量函数,考虑到能量总是大于零,故为正定函数;能量衰减特性用 V ˙ ( x , t ) \dot{V}(x,t) V˙(x,t)或 V ˙ ( x ) \dot{V}(x) V˙(x)表示;李雅普诺夫第二法用 V V V及 V ˙ \dot{V} V˙的符号特征,直接对平衡状态稳定性做出判断,无需求出系统状态方程的解;
对于线性系统,通常用二次型函数 x T P x x^TPx xTPx作为李雅普诺夫函数;
-
标量函数定号性简单介绍
正定性:标量函数 V ( x ) V(x) V(x)对所有在域 S S S中的非零状态 x x x有 V ( x ) > 0 V(x)>0 V(x)>0且 V ( 0 ) = 0 V(0)=0 V(0)=0,则在域 S S S内的标量函数 V ( x ) V(x) V(x)称为是正定的;
负定性:如果 − V ( x ) -V(x) −V(x)是正定函数,则标量函数 V ( x ) V(x) V(x)称为负定函数;
正半定性:如果标量函数 V ( x ) V(x) V(x)除了原点及某些状态处等于零外,在域 S S S内的所有状态都是正定的,则 V ( x ) V(x) V(x)称为正半定函数;
负半定性:如果 − V ( x ) -V(x) −V(x)是正半定函数,则标量函数 V ( x ) V(x) V(x)称为负半定函数;
不定性:如果在域 S S S内,不论域 S S S多么小, V ( x ) V(x) V(x)即可为正值,也可为负值,则标量函数 V ( x ) V(x) V(x)称为不定函数;
-
李雅普诺夫第二法主要定理
定理10(定常系统大范围渐近稳定判别定理1):对于定常系统:
x ˙ = f ( x ) , t ≥ 0 (8) \dot{x}=f(x),t≥0\tag{8} x˙=f(x),t≥0(8)
其中: f ( 0 ) = 0 f(0)=0 f(0)=0,如果存在一个具有连续一阶导数的标量函数 V ( x ) , V ( 0 ) = 0 V(x),V(0)=0 V(x),V(0)=0,且对于状态空间 X X X中的一切非零点 x x x满足如下条件:- V ( x ) V(x) V(x)为正定;
- V ˙ ( x ) \dot{V}(x) V˙(x)为负定;
- 当 ∣ ∣ x ∣ ∣ → ∞ ||x||\to\infty ∣∣x∣∣→∞时 V ( x ) → ∞ V(x)\to\infty V(x)→∞.
则系统的原点平衡点状态是大范围渐近稳定的.
实例分析:
Example1: 设系统状态方程为:
x ˙ 1 = x 2 − x 1 ( x 1 2 + x 2 2 ) x ˙ 2 = − x 1 − x 2 ( x 1 2 + x 2 2 ) \begin{aligned} &\dot{x}_1=x_2-x_1(x_1^2+x_2^2)\\ &\dot{x}_2=-x_1-x_2(x_1^2+x_2^2) \end{aligned} x˙1=x2−x1(x12+x22)x˙2=−x1−x2(x12+x22)
确定系统的稳定性.解:
原点 ( x 1 = 0 , x 2 = 0 ) (x_1=0,x_2=0) (x1=0,x2=0)是该系统唯一的平衡状态;
选定正定标量函数 V ( x ) V(x) V(x)为:
V ( x ) = x 1 2 + x 2 2 V(x)=x_1^2+x_2^2 V(x)=x12+x22
则沿任意轨迹 V ( x ) V(x) V(x)对时间的导数:
V ˙ ( x ) = 2 x 1 x ˙ 1 + 2 x 2 x ˙ 2 = − 2 ( x 1 2 + x 2 2 ) 2 \dot{V}(x)=2x_1\dot{x}_1+2x_2\dot{x}_2=-2(x_1^2+x_2^2)^2 V˙(x)=2x1x˙1+2x2x˙2=−2(x12+x22)2
是负定的.说明 V ( x ) V(x) V(x)沿任意轨迹是连续减小的,因此 V ( x ) V(x) V(x)是一个李雅普诺夫函数.
由于当 ∣ ∣ x ∣ ∣ → ∞ ||x||\to\infty ∣∣x∣∣→∞时 V ( x ) → ∞ V(x)\to\infty V(x)→∞,所以系统在原点处的平衡状态是大范围渐近稳定的.
定理11(定常系统大范围渐近稳定判别定理2):对于定常系统(8),如果存在一个具有连续一阶导数的标量 V ( x ) , V ( x ) = 0 V(x),V(x)=0 V(x),V(x)=0,且对状态空间 X X X中的一切非零点 x x x满足如下条件:
- V ( x ) V(x) V(x)为正定;
- V ˙ ( x ) \dot{V}(x) V˙(x)为负半定;
- 对任意 x ∈ X , V ˙ ( x ( t ; x 0 , 0 ) ) ≢ 0 x\in{X},\dot{V}(x(t;x_0,0))\not \equiv0 x∈X,V˙(x(t;x0,0))≡0;
- 当 ∣ ∣ x ∣ ∣ → ∞ ||x||\to\infty ∣∣x∣∣→∞时, V ( x ) → ∞ V(x)\to\infty V(x)→∞.
则系统的原点平衡状态是大范围渐近稳定的.
实例分析:
Example2: 已知定常系统状态方程为:
x ˙ 1 = x 2 x ˙ 2 = − x 1 − ( 1 + x 2 ) 2 x 2 \begin{aligned} &\dot{x}_1=x_2\\ &\dot{x}_2=-x_1-(1+x_2)^2x_2 \end{aligned} x˙1=x2x˙2=−x1−(1+x2)2x2
确定系统的稳定性.解:
原点 ( x 1 = 0 , x 2 = 0 ) (x_1=0,x_2=0) (x1=0,x2=0)为系统唯一的平衡状态.
取 V ( x ) = x 1 2 + x 2 2 V(x)=x_1^2+x_2^2 V(x)=x12+x22,且有:
V ( x ) = x 1 2 + x 2 2 V(x)=x_1^2+x_2^2 V(x)=x12+x22为正定,
V ˙ ( x ) = 2 x 1 x ˙ 1 + 2 x 2 x ˙ 2 = − 2 x 2 2 ( 1 + x 2 ) 2 \dot{V}(x)=2x_1\dot{x}_1+2x_2\dot{x}_2=-2x_2^2(1+x_2)^2 V˙(x)=2x1x˙1+2x2x˙2=−2x22(1+x2)2.容易看出,除了① x 1 x_1 x1任意, x 2 = 0 x_2=0 x2=0;② x 1 x_1 x1任意, x 2 = − 1 x_2=-1 x2=−1时, V ˙ ( x ) = 0 \dot{V}(x)=0 V˙(x)=0外,均有 V ˙ ( x ) < 0 \dot{V}(x)<0 V˙(x)<0,所以, V ˙ ( x ) \dot{V}(x) V˙(x)为负半定.
检查是否 V ˙ ( x ( t ; x 0 , 0 ) ) ≢ 0 \dot{V}(x(t;x_0,0))\not\equiv0 V˙(x(t;x0,0))≡0.考虑到使得 V ˙ ( x ) = 0 \dot{V}(x)=0 V˙(x)=0的可能性只有上述①和②两种情况,所有问题归结为判断这两种情况是否为系统的受扰运动解.
考察情况①:设 x ‾ ( t ; x 0 , 0 ) = [ x 1 ( t ) 0 ] T \overline{x}(t;x_0,0)=\begin{bmatrix}x_1(t) & 0\end{bmatrix}^T x(t;x0,0)=[x1(t)0]T,则由 x 2 ( t ) ≡ 0 x_2(t)\equiv0 x2(t)≡0可导出 x ˙ 2 = 0 \dot{x}_2=0 x˙2=0,将此代入系统状态方程可得:
x ˙ 1 ( t ) = x 2 ( t ) = 0 0 = x ˙ 2 ( t ) = − ( 1 + x 2 ( t ) ) 2 x 2 ( t ) − x 1 ( t ) = − x 1 ( t ) \begin{aligned} &\dot{x}_1(t)=x_2(t)=0\\ &0=\dot{x}_2(t)=-(1+x_2(t))^2x_2(t)-x_1(t)=-x_1(t) \end{aligned} x˙1(t)=x2(t)=00=x˙2(t)=−(1+x2(t))2x2(t)−x1(t)=−x1(t)
表明,除了点 ( x 1 = 0 , x 2 = 0 ) (x_1=0,x_2=0) (x1=0,x2=0)外, x ‾ ( t ; x 0 , 0 ) = [ x 1 ( t ) 0 ] T \overline{x}(t;x_0,0)=[x_1(t)\ \ 0]^T x(t;x0,0)=[x1(t) 0]T不是系统的受扰运动解.考察情况②:设 x ‾ ( t ; x 0 , 0 ) = [ x 1 ( t ) − 1 ] T \overline{x}(t;x_0,0)=[x_1(t) \ \ \ -1]^T x(t;x0,0)=[x1(t) −1]T,则由 x 2 ( t ) = − 1 x_2(t)=-1 x2(t)=−1可导出 x ˙ 2 ( t ) = 0 \dot{x}_2(t)=0 x˙2(t)=0,将此代入系统状态方程可得:
x ˙ 1 ( t ) = x 2 ( t ) = − 1 0 = x ˙ 2 ( t ) = − ( 1 + x 2 ( t ) ) 2 x 2 ( t ) − x 1 ( t ) = − x 1 ( t ) \begin{aligned} &\dot{x}_1(t)=x_2(t)=-1\\ &0=\dot{x}_2(t)=-(1+x_2(t))^2x_2(t)-x_1(t)=-x_1(t) \end{aligned} x˙1(t)=x2(t)=−10=x˙2(t)=−(1+x2(t))2x2(t)−x1(t)=−x1(t)
这是一个矛盾的结果,表明 x ‾ ( t ; x 0 , 0 ) = [ x 1 ( t ) − 1 ] T \overline{x}(t;x_0,0)=[x_1(t) \ \ \ -1]^T x(t;x0,0)=[x1(t) −1]T也不是系统受扰运动解.综合以上分析, V ˙ ( x ( t ; x 0 , 0 ) ) ≢ 0 \dot{V}(x(t;x_0,0))\not\equiv0 V˙(x(t;x0,0))≡0.
当 ∣ ∣ x ∣ ∣ → ∞ ||x||\to\infty ∣∣x∣∣→∞时,显然有 V ( x ) = ∣ ∣ x ∣ ∣ 2 → ∞ V(x)=||x||^2\to\infty V(x)=∣∣x∣∣2→∞.
因此,系统的原点平衡状态是大范围渐近稳定的.
定理12(不稳定判别定理):对于定常系统(8),如果存在一个具有连续一阶导数的标量函数 V ( x ) V(x) V(x)( V ( 0 ) = 0 V(0)=0 V(0)=0),和围绕原点的域 Ω \Omega Ω,使得对于一切 x ∈ Ω x\in\Omega x∈Ω和一切 t ≥ t 0 t≥t_0 t≥t0满足如下条件:
- V ( x ) V(x) V(x)为正定;
- V ( x ) ˙ \dot{V(x)} V(x)˙为正定;
则系统平衡状态为不稳定.
4.4 线性定常系统的李雅普诺夫稳定性分析
-
线性定常连续系统渐近稳定性的判别
设线性定常系统状态方程为:
x ˙ = A x , x ( 0 ) = x 0 , t ≥ 0 (9) \dot{x}=Ax,x(0)=x_0,t≥0\tag{9} x˙=Ax,x(0)=x0,t≥0(9)
A A A为非奇异矩阵.故原点是唯一平衡状态.设取正定二次型函数 V ( x ) = x T P x V(x)=x^TPx V(x)=xTPx作为可能的李雅普诺夫函数,考虑到系统状态方程,则有:
V ˙ ( x ) = x ˙ T P x + x T P x ˙ = x T ( A T P + P A ) x (10) \dot{V}(x)=\dot{x}^TPx+x^TP\dot{x}=x^T(A^TP+PA)x\tag{10} V˙(x)=x˙TPx+xTPx˙=xT(ATP+PA)x(10)
令:
A T P + P A = − Q (11) A^TP+PA=-Q\tag{11} ATP+PA=−Q(11)
有:
V ˙ ( x ) = − x T Q x (12) \dot{V}(x)=-x^TQx\tag{12} V˙(x)=−xTQx(12)
线性定常连续系统渐近稳定的充分必要条件:给定一正定矩阵 P P P,存在着满足式(11)的正定矩阵 Q Q Q, x T P x x^TPx xTPx是该系统的一个李雅普诺夫函数,式(11)称为李雅普诺夫矩阵代数方程。使用中常选取 Q Q Q阵为单位阵或对角线阵。定理13:线性定常系统 x ˙ = A x , x ( 0 ) = x 0 , t ≥ 0 \dot{x}=Ax,x(0)=x_0,t≥0 x˙=Ax,x(0)=x0,t≥0的原点平衡状态 x e = 0 x_e=0 xe=0为渐近稳定的充分必要条件:对于任意给定的一个正定对称矩阵 Q Q Q,有唯一的正定对称矩阵 P P P使式(11)成立.
实例分析:
Example3: 已知线性定常连续系统状态方程为:
x ˙ 1 = x 2 , x ˙ 2 = 2 x 1 − x 2 \dot{x}_1=x_2,\dot{x}_2=2x_1-x_2 x˙1=x2,x˙2=2x1−x2
用李雅普诺夫方程判定系统的渐近稳定性.解:
先用特征值判据判断,系统状态方程为:
x ˙ = [ 0 1 2 − 1 ] x , A = [ 0 1 2 − 1 ] \dot{x}= \begin{bmatrix} 0 & 1\\ 2 & -1 \end{bmatrix}x, A= \begin{bmatrix} 0 & 1\\ 2 & -1 \end{bmatrix} x˙=[021−1]x,A=[021−1]∣ λ I − A ∣ = ∣ λ − 1 − 2 λ + 1 ∣ = λ 2 + λ − 2 = ( λ − 1 ) ( λ + 2 ) = 0 |\lambda{I}-A|= \begin{vmatrix} \lambda & -1\\ -2 & \lambda+1 \end{vmatrix}= \lambda^2+\lambda-2=(\lambda-1)(\lambda+2)=0 ∣λI−A∣=∣ ∣λ−2−1λ+1∣ ∣=λ2+λ−2=(λ−1)(λ+2)=0
特征值为: − 2 , 1 -2,1 −2,1,故系统不稳定.
令:
A T P + P A = − Q = − I A^TP+PA=-Q=-I ATP+PA=−Q=−IP = P T = [ P 11 P 12 P 21 P 22 ] P=P^T= \begin{bmatrix} P_{11} & P_{12}\\ P_{21} & P_{22} \end{bmatrix} P=PT=[P11P21P12P22]
则有:
[ 0 2 1 − 1 ] [ P 11 P 12 P 21 P 22 ] + [ P 11 P 12 P 21 P 22 ] [ 0 1 2 − 1 ] = [ − 1 0 0 − 1 ] \begin{bmatrix} 0 & 2\\ 1 & -1 \end{bmatrix}\begin{bmatrix} P_{11} & P_{12}\\ P_{21} & P_{22} \end{bmatrix}+ \begin{bmatrix} P_{11} & P_{12}\\ P_{21} & P_{22} \end{bmatrix}\begin{bmatrix} 0 & 1\\ 2 & -1 \end{bmatrix}= \begin{bmatrix} -1 & 0\\ 0 & -1 \end{bmatrix} [012−1][P11P21P12P22]+[P11P21P12P22][021−1]=[−100−1]
展开:
4 P 12 = − 1 , 2 P 12 − 2 P 22 = − 1 , P 11 − P 12 + 2 P 22 = 0 4P_{12}=-1,2P_{12}-2P_{22}=-1,P_{11}-P_{12}+2P_{22}=0 4P12=−1,2P12−2P22=−1,P11−P12+2P22=0
解得:
P = [ P 11 P 12 P 21 P 22 ] = [ − 3 4 − 1 4 − 1 4 1 4 ] P= \begin{bmatrix} P_{11} & P_{12}\\ P_{21} & P_{22} \end{bmatrix}= \begin{bmatrix} -\displaystyle\frac{3}{4} & -\displaystyle\frac{1}{4}\\\\ -\displaystyle\frac{1}{4} & \displaystyle\frac{1}{4} \end{bmatrix} P=[P11P21P12P22]=⎣ ⎡−43−41−4141⎦ ⎤
由于 P 11 = − 3 4 , det P = − 1 4 < 0 P_{11}=-\displaystyle\frac{3}{4},\det{P}=-\displaystyle\frac{1}{4}<0 P11=−43,detP=−41<0,故 P P P不定,可知系统非渐近稳定.由特征值判据知系统是不稳定的. -
线性定常离散系统渐近稳定性的判别
设线性定常离散系统状态方程为:
x ( k + 1 ) = Φ x ( k ) , x ( 0 ) = x 0 ; k = 0 , 1 , 2 , ⋯ , (13) x(k+1)=\Phi{x}(k),x(0)=x_0;k=0,1,2,\cdots,\tag{13} x(k+1)=Φx(k),x(0)=x0;k=0,1,2,⋯,(13)
式中: Φ \Phi Φ阵为非奇异;原点是平衡状态.取正定二次型函数:
V ( x ( k ) ) = x T ( k ) P x ( k ) (14) V(x(k))=x^T(k)Px(k)\tag{14} V(x(k))=xT(k)Px(k)(14)
以 Δ V ( x ( k ) ) \Delta{V}(x(k)) ΔV(x(k))代替 V ˙ ( x ) \dot{V}(x) V˙(x),有:
Δ V ( x ( k ) ) = V ( x ( k + 1 ) ) − V ( x ( k ) ) (15) \Delta{V}(x(k))=V(x(k+1))-V(x(k))\tag{15} ΔV(x(k))=V(x(k+1))−V(x(k))(15)
考虑到状态方程式(13)有:
Δ V ( x ( k ) ) = x T ( k ) ( Φ T P Φ − P ) x ( k ) (16) \Delta{V}(x(k))=x^T(k)(\Phi^TP\Phi-P)x(k)\tag{16} ΔV(x(k))=xT(k)(ΦTPΦ−P)x(k)(16)
令:
Φ T P Φ − P = − Q (17) \Phi^TP\Phi-P=-Q\tag{17} ΦTPΦ−P=−Q(17)
有:
Δ V ( x ( k ) ) = − x T ( k ) Q x ( k ) (18) \Delta{V(x(k))}=-x^T(k)Qx(k)\tag{18} ΔV(x(k))=−xT(k)Qx(k)(18)
定理14:系统(13)渐近稳定的充分必要条件:给定任一正定对称矩阵 Q Q Q,存在一个正定对称矩阵 P P P使式(17)成立;x T ( k ) P x ( k ) x^T(k)Px(k) xT(k)Px(k)是系统的一个李雅普诺夫函数,式(17)称为离散的李雅普诺夫代数方程,通常可取 Q = I Q=I Q=I.
如果 Δ V ( x ( k ) ) \Delta{V}(x(k)) ΔV(x(k))沿任一解的序列不恒为零,则 Q Q Q可取为正半定矩阵.
-
李雅普诺夫稳定性判据汇总表: