第三章李雅普诺夫稳定性理论
3.1 稳定性基本概念
3.2 李雅普诺夫意义下的稳定性
3.3 李雅普诺夫第一法
3.4 李雅普诺夫第二法
3.5 线性定常系统渐进稳定性判别法
1.正确理解稳定性基本概念和李雅普洛夫意义稳定性概念
2.熟练掌握李氏第一法,李氏第二法
3.掌握线性系统渐近稳定性分析和离散系统渐近稳定性分析方法重点内容：
李雅普诺夫第一,第二法的主要定义与定理,李雅普诺夫函数的构造
线性定常系统与非线性系统稳定性定理与判别
李雅普诺夫方程,渐近稳定性的分析与判别教学要求：
研究的目的和意义,稳定性是自动控制系统正常工作的必要条件，是一个重要特征。
要求：在受到外界扰动后，虽然其原平衡状态被打破，但在扰动消失后，仍然能恢复到原来的平衡状态，或者趋于另一平衡状态继续工作。
稳定性：系统在受到小的外界扰动后，系统状态方程解的收敛性，而与输入作用无关。
经典控制理论稳定性判别方法：代数判据，
奈魁斯特判据，对数判据，根轨迹判据
非线性系统：相平面法 (适用于一，二阶非线性系统 )
1982年，俄国学者李雅普诺夫提出的稳定性定理采用了状态向量来描述，适用于单变量，线性，非线性，定常，时变，多变量等系统。
应用：自适应，最优控制，非线性控制等。
主要内容：
李氏第一法（间接法）：求解特征方程的特征值
李氏第二法（直接法）：利用经验和技巧来构造李氏函数
3.1 稳定性基本概念
1.自治系统：输入为 0的系统 =Ax+Bu(u=0)
2.初态 =f(x,t)的解为初态
3.平衡状态：
系统的平衡状态
a.线性系统
A非奇异：
A奇异,有无穷多个
x?
x?
00( ;,)x t x t
0000 ),,( xtxtx
0),( txfx eeex
Axx nRx?
00 ee xAx
0eAx ex
b.非线性系统可能有多个
eg,
令
0),( txfx e? ex
3
2212
11
xxxx
xx
01?x? 02?x?
0
0
1e
x
1
0
2e
x?
1
0
3e
x
4,孤立的平衡状态：在某一平衡状态的充分小的领域内不存在别的平衡状态。
对于孤立的平衡状态，总可以经过适当的坐标变换，把它变换到状态空间的原点。
3.2 李雅普诺夫意义下的稳定
1.李氏意义下的稳定如果对每个实数 都对应存在另一个实数 满足
0
0),( 0?t
),( 00 txx e
的任意初始态 出发的运动轨迹
0x
00( ;,)x t x t,在 都满足：t
0 0 0( ;,),ex t x t x t t
则称 是李雅普诺夫意义下稳定的。
时变,与 有关定常系统,与 无关,是一致稳定的。
注意,－向量范数 (表示空间距离 )
欧几里得范数。
ex
ex
0t
0t
2.渐近稳定
1）是李氏意义下的稳定
2）
一致渐进稳定
3.大范围内渐进稳定性对都有
00l im ( ;,) 0et x t x t x
无关与 0t?
)(0?sx
00l im ( ;,) 0et x t x t x
x( ),s 大范围稳定ex?
ex
初始条件扩展到整个空间，且是渐进稳定性。
线性系统 (严格 )：如果它是渐进稳定的，必是有大范围渐进稳定性 (线性系统稳定性与初始条件的大小无关 )。
非线性系统：只能在小范围一致稳定，由状态空间出发的轨迹都收敛 或其附近。
当 与 无关 大范围一致渐进稳定。
必要条件：在整个状态空间中只有一个平衡状态
4,不稳定性：不管,有多小，只要内由 出发的轨迹超出 以外，则称此平衡状态是不稳定的。
0t
ex
)(?s
0x )(?s
线性系统的平衡状态不稳定 表征系统不稳定。
非线性系统的平衡状态不稳定 只说明存在局发散的轨迹。至于是否趋于无穷远 域外是否存在其它平衡状态。
若存在极限环，则系统仍是李雅普诺夫意义下的稳定性。
)(?s
3.3 李雅普诺夫第一法（间接法）
利用状态方程解的特性来判断系统稳定性。
1,线性定常系统稳定性的特征值判据：
1）李氏稳定的充要条件：
即系统矩阵 A的全部特征值位于复平面左半部。
Axx 0)0( xx? 0?t
R e ( ) 0i ni?,2,1?
2,非线性系统的稳定性分析：
假定非线性系统在平衡状态附近可展开成台劳级数，可用线性化系统的特征值判据判断非线性系统的平衡状态处的稳定性。
设非线性系统状态方程：
在平衡状态 附近存在各阶偏导数，于是：
)( xfx )(xf --非线性函数
0?ex
( ) ( ) ( )
e
ee T
xx
f
x f x x x g x
x?
其中：
)(xg
--级数展开式中二阶以上各项之和 )
n
nnn
n
T
x
f
x
f
x
f
x
f
x
f
x
f
x
f
21
1
2
1
1
1
上式为向量函数的雅可比矩阵。
令则线性化系统方程为：
Tnffff?21?
Tnxxxx?21?
()ex x f x exxx
exx
Tx
fA
x A x
结论：
1) 若,则非线性系统在 处是渐进稳定的，与无关。
2) 若则不稳定。
3) 若,稳定性与 有关，
则是李雅普诺夫意义下的稳定性。
R e ( ) 0i ni,,2,1
ex )(xg
R e ( ) 0i R e ( ) 0j nji,,1
R e ( ) 0i
)(xg
0)(?xg
3.4 李雅普诺夫第二法 (直接法 )
稳定性定理：
设系统状态方程：
其平衡状态满足,假定状态空间原点作为平衡状态 ( )，并设在原点领域存在 对 x 的连续的一阶偏导数。
),( txfx
0),0(?tf
0?ex
),( txV
定理 1：若 (1) 正定；
(2) 负定；
则原点是渐进稳定的。
说明,负定 能量随时间连续单调衰减。
定理 2：若 (1) 正定；
(2) 负半定；
(3) 在非零状态不恒为零，则原点是渐进稳定的。
),( txV
),(
.
txV
),(
.
txV
),( txV
),(
.
txV
.
0[ ( ;,),]V x t x t t
说明：不存在,
经历能量等于恒定，但不维持在该状态。
定理 3：若 (1) 正定；
(2) 负半定；
(3) 在非零状态存在恒为零；则原点是李雅普诺夫意义下稳定的。
0),(
.
txV 00( ;,) 0x t x t?
),( txV
),(
.
txV
.
0[ ( ;,),]V x t x t t
说明,系统维持等能量水平运动，使 维持在非零状态而不运行至原点。
定理 4：若 (1) 正定；
(2) 正定则原点是不稳定的。
说明,正定 能量函数随时间增大,在 处发散。
0),(
.
txV0?x
00( ;,)x t x t
),( txV
),(
.
txV
),(
.
txV
00( ;,)x t x t
ex
线性系统不稳定非线性系统不一定
推论 1：当 正定,正半定，
且 在非零状态不恒为零时,则原点不稳定。
推论 2,正定,正半定，若
，,则原点是李雅普诺夫意义下稳定 (同定理 3)。
原点不稳定
),( txV ),(
.
txV
.
0[ ( ;,),]V x t x t t
),( txV ),(,txV
0?x 0),(
,?txV
几点说明：
1) 选取不唯一，但没有通用办法，
选取不当，会导致 不定的结果。
2) 这仅仅是充分条件。
--单调衰减 (实际上是衰减振荡 )
),( txV
),(
.
txV
),( txV
),(
.
txV
李氏第二法的步骤：
1) 构造一个 二次型；
2) 求,并代入状态方程；
3) 判断 的定号性；
4) 判断非零情况下,是否为零。
),( txV
),(
.
txV
),(
.
txV
.
0[ ( ;,),]V x t x t t
渐进稳定李氏稳定不稳定
令若 成立 李氏意义 下稳定若仅 成立 渐进稳定
0),(
.
txV
0),(
.
txV
0),(
.
txV
0,x?
0,x?
例 1：已知非线性系统的状态方程为：
试用李雅普诺夫第二法判断其稳定性。
解：
)( 2221121
.
xxxxx
)( 2221212
.
xxxxx
令 01
,?x
02,?x
01?x
02?x
原点是唯一平衡点设则
2
2
2
1)( xxxV
2
.
21
.
1
.
22)( xxxxxV
22
2
2
1
.
)(2)( xxxV
0)( 0
.
xVx
0)( 0
.
xVx
)(,xV? 负定
1)原点是渐进稳定的；
2)只有一个平衡状态，该系统是大范围渐进稳定；
3)由于 V(x)与 t无关，又是大范围一致渐进稳定。
定理 1
几何意义：
)(
)(
2
2
2
1
2
2
2
1
cc
xxxV
等能量轨迹 (整个平面 )
1c
2c
),( 2010 xx
2x
1x
例 2：试判断下列线性系统平衡状态的稳定性。
解,1)
21
.
xx?
212
.
xxx
令
02,?x
01?x
02?x
01,?x
即原点是平衡状态。
2
2
2
1)( xxxV
2
2
.
2)( xxV
设则：
0)( 0,0
.
21 xVxx
0)(
.
xV
)(
.
xV?其它负半定令
0)(
.
xV
01?x
02?x
只有全零解
0?x 非零状态时 0)(,?xV
原点 是渐进稳定，且是大范围一致渐进稳定。
0?ex
定理 2
例 3：试判断下列线性系统平衡状态的稳定性。
解：由于设则故系统是李雅普诺夫意义下的稳定。
)0( 21
.
kkxx
12
.
xx
02.1, xx 021 xx
则原点是平衡状态
2221)( kxxxV
.
1 2 1 2( ) 2 2 0V x k x x k x x
定理 3
()Vx? 正（负）半定例 4：试判断下列线性系统平衡状态的稳定性。
解,即设 则可见 与 无关，故非零状态 (如
)有,而对其余任意状态有
212
.
21
.
xxxxx
0 2.1, xx 0 21 xx 0?ex
2221)( xxxV 2
2
.
2)( xxV?
)(,xV 1x 01?x
02?x 0)(,?xV
0)(
.
xV
故 正半定。
令即非零状态时,不恒为零，则原点不稳定即系统不稳定。
)(
.
xV
0,00)( 12
.
xxxV
)(
.
xV
推论 1
3.5 线性定常系统渐进稳定性判别法
1,设系统状态方程为：
为唯一平衡状态。
设选取如下的正定二次型函数 为李氏函数则：
Axx?,A --非奇异矩阵
0?ex
)(xV
() TV x x P x? 将 代入：Axx?
.
..
( ) ( )T T T TV x x P x x P x x A P P A x
令由渐进稳定性定理 1，只要 Q正定 (即 负定 )，则系统是大范围一致渐进稳定。
定理,系统 大范围渐进稳定的充要条件为,
给定一正交实对称矩阵 Q，存在唯一的正定实对称矩阵 P使 成立，
则 为系统的一个李氏函数。
TA P P A Q QxxxV
T )(.
)(
.
xV
Axx?.
TA P P A Q
()Tx P x V x?
方法 1：给定 P Q V(x)选取不定 Q不定。
给定正定 Q P
Q单位阵 p的定号性方法 2,Q取正半定 (定理 2)允许单位矩阵主对角线上部分元素为零 负半定。
()Tx P x V x?
)(
.
xV
例 1：
解：选取
xx?
11
10,0?
ex
() TV x x P x? TA P P A Q
1 1 1 2 1 1 1 2
1 2 2 2 1 2 2 2
0 1 0 1
1 1 1 1
10
01
p p p p
p p p p
12 12 p
0221211 ppp
122 2212 pp
1
2
1
2
1
2
3
2212
1211
pp
pp
0
2
3
11p
0
1
2
1
2
1
2
3
2212
1211
pp
pp
P正定? 是大范围一致渐进稳定
ex
22
1 1 2 2
1 ( 3 2 2 ) 0
2
TV x P x x x x x
)( 2221,xxV
2,线性定常离散系统渐进稳定性判别设系统状态方程：
其中 -非奇异阵,是平衡状态。
设
)()1( kxkx
0?ex
[ ( ) ] ( ) ( )TV x k x k P x k?
[ ( ) ] [ ( 1 ) ] [ ( ) ]
( 1 ) ( 1 ) ( ) ( )
[ ( ) ] [ ( ) ] ( ) ( )
( ) [ ] ( )
TT
TT
TT
V x k V x k V x k
x k Px k x k Px k
x k P x k x k Px k
x k P P x k
令
T P P Q 李氏代数方程
)()()]([ kQxkxkxV T
定理,系统 渐进稳定的充要条件为：
给定任一正定实对称阵 Q，存在一个正实对称 P，使式 成立，则是系统的一个李氏函数。
可取
i,Q=I，如果 且
ii,Q为正半定阵。
)()1( kxkx
T P P Q
( ) ( )Tx k P x k
0,?V 00, xV
3.1 稳定性基本概念
3.2 李雅普诺夫意义下的稳定性
3.3 李雅普诺夫第一法
3.4 李雅普诺夫第二法
3.5 线性定常系统渐进稳定性判别法
1.正确理解稳定性基本概念和李雅普洛夫意义稳定性概念
2.熟练掌握李氏第一法,李氏第二法
3.掌握线性系统渐近稳定性分析和离散系统渐近稳定性分析方法重点内容：
李雅普诺夫第一,第二法的主要定义与定理,李雅普诺夫函数的构造
线性定常系统与非线性系统稳定性定理与判别
李雅普诺夫方程,渐近稳定性的分析与判别教学要求：
研究的目的和意义,稳定性是自动控制系统正常工作的必要条件，是一个重要特征。
要求：在受到外界扰动后，虽然其原平衡状态被打破，但在扰动消失后，仍然能恢复到原来的平衡状态，或者趋于另一平衡状态继续工作。
稳定性：系统在受到小的外界扰动后，系统状态方程解的收敛性，而与输入作用无关。
经典控制理论稳定性判别方法：代数判据，
奈魁斯特判据，对数判据，根轨迹判据
非线性系统：相平面法 (适用于一，二阶非线性系统 )
1982年，俄国学者李雅普诺夫提出的稳定性定理采用了状态向量来描述，适用于单变量，线性，非线性，定常，时变，多变量等系统。
应用：自适应，最优控制，非线性控制等。
主要内容：
李氏第一法（间接法）：求解特征方程的特征值
李氏第二法（直接法）：利用经验和技巧来构造李氏函数
3.1 稳定性基本概念
1.自治系统：输入为 0的系统 =Ax+Bu(u=0)
2.初态 =f(x,t)的解为初态
3.平衡状态：
系统的平衡状态
a.线性系统
A非奇异：
A奇异,有无穷多个
x?
x?
00( ;,)x t x t
0000 ),,( xtxtx
0),( txfx eeex
Axx nRx?
00 ee xAx
0eAx ex
b.非线性系统可能有多个
eg,
令
0),( txfx e? ex
3
2212
11
xxxx
xx
01?x? 02?x?
0
0
1e
x
1
0
2e
x?
1
0
3e
x
4,孤立的平衡状态：在某一平衡状态的充分小的领域内不存在别的平衡状态。
对于孤立的平衡状态，总可以经过适当的坐标变换，把它变换到状态空间的原点。
3.2 李雅普诺夫意义下的稳定
1.李氏意义下的稳定如果对每个实数 都对应存在另一个实数 满足
0
0),( 0?t
),( 00 txx e
的任意初始态 出发的运动轨迹
0x
00( ;,)x t x t,在 都满足：t
0 0 0( ;,),ex t x t x t t
则称 是李雅普诺夫意义下稳定的。
时变,与 有关定常系统,与 无关,是一致稳定的。
注意,－向量范数 (表示空间距离 )
欧几里得范数。
ex
ex
0t
0t
2.渐近稳定
1）是李氏意义下的稳定
2）
一致渐进稳定
3.大范围内渐进稳定性对都有
00l im ( ;,) 0et x t x t x
无关与 0t?
)(0?sx
00l im ( ;,) 0et x t x t x
x( ),s 大范围稳定ex?
ex
初始条件扩展到整个空间，且是渐进稳定性。
线性系统 (严格 )：如果它是渐进稳定的，必是有大范围渐进稳定性 (线性系统稳定性与初始条件的大小无关 )。
非线性系统：只能在小范围一致稳定，由状态空间出发的轨迹都收敛 或其附近。
当 与 无关 大范围一致渐进稳定。
必要条件：在整个状态空间中只有一个平衡状态
4,不稳定性：不管,有多小，只要内由 出发的轨迹超出 以外，则称此平衡状态是不稳定的。
0t
ex
)(?s
0x )(?s
线性系统的平衡状态不稳定 表征系统不稳定。
非线性系统的平衡状态不稳定 只说明存在局发散的轨迹。至于是否趋于无穷远 域外是否存在其它平衡状态。
若存在极限环，则系统仍是李雅普诺夫意义下的稳定性。
)(?s
3.3 李雅普诺夫第一法（间接法）
利用状态方程解的特性来判断系统稳定性。
1,线性定常系统稳定性的特征值判据：
1）李氏稳定的充要条件：
即系统矩阵 A的全部特征值位于复平面左半部。
Axx 0)0( xx? 0?t
R e ( ) 0i ni?,2,1?
2,非线性系统的稳定性分析：
假定非线性系统在平衡状态附近可展开成台劳级数，可用线性化系统的特征值判据判断非线性系统的平衡状态处的稳定性。
设非线性系统状态方程：
在平衡状态 附近存在各阶偏导数，于是：
)( xfx )(xf --非线性函数
0?ex
( ) ( ) ( )
e
ee T
xx
f
x f x x x g x
x?
其中：
)(xg
--级数展开式中二阶以上各项之和 )
n
nnn
n
T
x
f
x
f
x
f
x
f
x
f
x
f
x
f
21
1
2
1
1
1
上式为向量函数的雅可比矩阵。
令则线性化系统方程为：
Tnffff?21?
Tnxxxx?21?
()ex x f x exxx
exx
Tx
fA
x A x
结论：
1) 若,则非线性系统在 处是渐进稳定的，与无关。
2) 若则不稳定。
3) 若,稳定性与 有关，
则是李雅普诺夫意义下的稳定性。
R e ( ) 0i ni,,2,1
ex )(xg
R e ( ) 0i R e ( ) 0j nji,,1
R e ( ) 0i
)(xg
0)(?xg
3.4 李雅普诺夫第二法 (直接法 )
稳定性定理：
设系统状态方程：
其平衡状态满足,假定状态空间原点作为平衡状态 ( )，并设在原点领域存在 对 x 的连续的一阶偏导数。
),( txfx
0),0(?tf
0?ex
),( txV
定理 1：若 (1) 正定；
(2) 负定；
则原点是渐进稳定的。
说明,负定 能量随时间连续单调衰减。
定理 2：若 (1) 正定；
(2) 负半定；
(3) 在非零状态不恒为零，则原点是渐进稳定的。
),( txV
),(
.
txV
),(
.
txV
),( txV
),(
.
txV
.
0[ ( ;,),]V x t x t t
说明：不存在,
经历能量等于恒定，但不维持在该状态。
定理 3：若 (1) 正定；
(2) 负半定；
(3) 在非零状态存在恒为零；则原点是李雅普诺夫意义下稳定的。
0),(
.
txV 00( ;,) 0x t x t?
),( txV
),(
.
txV
.
0[ ( ;,),]V x t x t t
说明,系统维持等能量水平运动，使 维持在非零状态而不运行至原点。
定理 4：若 (1) 正定；
(2) 正定则原点是不稳定的。
说明,正定 能量函数随时间增大,在 处发散。
0),(
.
txV0?x
00( ;,)x t x t
),( txV
),(
.
txV
),(
.
txV
00( ;,)x t x t
ex
线性系统不稳定非线性系统不一定
推论 1：当 正定,正半定，
且 在非零状态不恒为零时,则原点不稳定。
推论 2,正定,正半定，若
，,则原点是李雅普诺夫意义下稳定 (同定理 3)。
原点不稳定
),( txV ),(
.
txV
.
0[ ( ;,),]V x t x t t
),( txV ),(,txV
0?x 0),(
,?txV
几点说明：
1) 选取不唯一，但没有通用办法，
选取不当，会导致 不定的结果。
2) 这仅仅是充分条件。
--单调衰减 (实际上是衰减振荡 )
),( txV
),(
.
txV
),( txV
),(
.
txV
李氏第二法的步骤：
1) 构造一个 二次型；
2) 求,并代入状态方程；
3) 判断 的定号性；
4) 判断非零情况下,是否为零。
),( txV
),(
.
txV
),(
.
txV
.
0[ ( ;,),]V x t x t t
渐进稳定李氏稳定不稳定
令若 成立 李氏意义 下稳定若仅 成立 渐进稳定
0),(
.
txV
0),(
.
txV
0),(
.
txV
0,x?
0,x?
例 1：已知非线性系统的状态方程为：
试用李雅普诺夫第二法判断其稳定性。
解：
)( 2221121
.
xxxxx
)( 2221212
.
xxxxx
令 01
,?x
02,?x
01?x
02?x
原点是唯一平衡点设则
2
2
2
1)( xxxV
2
.
21
.
1
.
22)( xxxxxV
22
2
2
1
.
)(2)( xxxV
0)( 0
.
xVx
0)( 0
.
xVx
)(,xV? 负定
1)原点是渐进稳定的；
2)只有一个平衡状态，该系统是大范围渐进稳定；
3)由于 V(x)与 t无关，又是大范围一致渐进稳定。
定理 1
几何意义：
)(
)(
2
2
2
1
2
2
2
1
cc
xxxV
等能量轨迹 (整个平面 )
1c
2c
),( 2010 xx
2x
1x
例 2：试判断下列线性系统平衡状态的稳定性。
解,1)
21
.
xx?
212
.
xxx
令
02,?x
01?x
02?x
01,?x
即原点是平衡状态。
2
2
2
1)( xxxV
2
2
.
2)( xxV
设则：
0)( 0,0
.
21 xVxx
0)(
.
xV
)(
.
xV?其它负半定令
0)(
.
xV
01?x
02?x
只有全零解
0?x 非零状态时 0)(,?xV
原点 是渐进稳定，且是大范围一致渐进稳定。
0?ex
定理 2
例 3：试判断下列线性系统平衡状态的稳定性。
解：由于设则故系统是李雅普诺夫意义下的稳定。
)0( 21
.
kkxx
12
.
xx
02.1, xx 021 xx
则原点是平衡状态
2221)( kxxxV
.
1 2 1 2( ) 2 2 0V x k x x k x x
定理 3
()Vx? 正（负）半定例 4：试判断下列线性系统平衡状态的稳定性。
解,即设 则可见 与 无关，故非零状态 (如
)有,而对其余任意状态有
212
.
21
.
xxxxx
0 2.1, xx 0 21 xx 0?ex
2221)( xxxV 2
2
.
2)( xxV?
)(,xV 1x 01?x
02?x 0)(,?xV
0)(
.
xV
故 正半定。
令即非零状态时,不恒为零，则原点不稳定即系统不稳定。
)(
.
xV
0,00)( 12
.
xxxV
)(
.
xV
推论 1
3.5 线性定常系统渐进稳定性判别法
1,设系统状态方程为：
为唯一平衡状态。
设选取如下的正定二次型函数 为李氏函数则：
Axx?,A --非奇异矩阵
0?ex
)(xV
() TV x x P x? 将 代入：Axx?
.
..
( ) ( )T T T TV x x P x x P x x A P P A x
令由渐进稳定性定理 1，只要 Q正定 (即 负定 )，则系统是大范围一致渐进稳定。
定理,系统 大范围渐进稳定的充要条件为,
给定一正交实对称矩阵 Q，存在唯一的正定实对称矩阵 P使 成立，
则 为系统的一个李氏函数。
TA P P A Q QxxxV
T )(.
)(
.
xV
Axx?.
TA P P A Q
()Tx P x V x?
方法 1：给定 P Q V(x)选取不定 Q不定。
给定正定 Q P
Q单位阵 p的定号性方法 2,Q取正半定 (定理 2)允许单位矩阵主对角线上部分元素为零 负半定。
()Tx P x V x?
)(
.
xV
例 1：
解：选取
xx?
11
10,0?
ex
() TV x x P x? TA P P A Q
1 1 1 2 1 1 1 2
1 2 2 2 1 2 2 2
0 1 0 1
1 1 1 1
10
01
p p p p
p p p p
12 12 p
0221211 ppp
122 2212 pp
1
2
1
2
1
2
3
2212
1211
pp
pp
0
2
3
11p
0
1
2
1
2
1
2
3
2212
1211
pp
pp
P正定? 是大范围一致渐进稳定
ex
22
1 1 2 2
1 ( 3 2 2 ) 0
2
TV x P x x x x x
)( 2221,xxV
2,线性定常离散系统渐进稳定性判别设系统状态方程：
其中 -非奇异阵,是平衡状态。
设
)()1( kxkx
0?ex
[ ( ) ] ( ) ( )TV x k x k P x k?
[ ( ) ] [ ( 1 ) ] [ ( ) ]
( 1 ) ( 1 ) ( ) ( )
[ ( ) ] [ ( ) ] ( ) ( )
( ) [ ] ( )
TT
TT
TT
V x k V x k V x k
x k Px k x k Px k
x k P x k x k Px k
x k P P x k
令
T P P Q 李氏代数方程
)()()]([ kQxkxkxV T
定理,系统 渐进稳定的充要条件为：
给定任一正定实对称阵 Q，存在一个正实对称 P，使式 成立，则是系统的一个李氏函数。
可取
i,Q=I，如果 且
ii,Q为正半定阵。
)()1( kxkx
T P P Q
( ) ( )Tx k P x k
0,?V 00, xV
