对于函数 , 若函数 是正定的, 当且仅当 . 同时成立; 若函数 是负定的, 当且仅当 同时成立.
1.2.1 Lyapunov函数的定理的证明
 例1 分析讨论系统    零解的稳定性.
 解: 设 .
该方程化为等价的微分方程组
 ,
取 . 显然 是正定函数.
通过计算可以得到 沿轨线的全导数
 .
显然这是一个负定函数.
通过定理2就可以判断出该系统的零解是渐进稳定的.  
然而, 当取 时, 就可以通过计算求得
 .    很明显,  是负半定的.
    根据定理1可得到零解稳定. 但是却得不到渐进稳定性.
    因此, 构造出恰当的V函数是很重要的. 如果一个系统的零解是渐进稳定的, 可是因为构造出的V函数可能不准确, 用定理1来证明得到了它是渐进稳定的. 还有另外一种可能性, 就是构造出的V函数, 它可能仅仅只能证明系统的零解是稳定的. 然而, 也可能根本就不能构造出来V函数. 因此, 它连零解的稳定性也没有办法得到. 因此, 应该正确使用李雅普诺夫函数来判断稳定性. 如果没有办法找到满足稳定性定理条件的V函数. 就没有办法来判断零解是不稳定的. 并且构造的李雅普诺夫函数不一样的时候, 零解的判断是不是渐进稳定的, 也会因此而有差别. 定理1, 定理2, 定理3给出了自治方程的零解的稳定、渐进稳定以及不稳定的充分条件. 但是, 这并不是必要条件.
例2 用二次型V函数证明系统
的零解是渐进稳定的.
证明: 取 . 则若取 , 则
上一篇:正则函数的判定+文献综述
下一篇:无理函数不定积分的求法+文献综述

具有接种疫苗的SIS传染病模型的稳定性

关于我国统计指标消除季...

关于运输问题的悖论的讨论

关于调和级数敛散性的讨论

关于极限的若干方法

关于整系数多项式有理根...

关于淮安市人口预测的GM(1,1)模型

上海居民的社会参与研究

浅谈高校行政管理人员的...

浅论职工思想政治工作茬...

酵母菌发酵生产天然香料...

STC89C52单片机NRF24L01的无线病房呼叫系统设计

压疮高危人群的标准化中...

基于Joomla平台的计算机学院网站设计与开发

从政策角度谈黑龙江對俄...

AES算法GPU协处理下分组加...

提高教育质量,构建大學生...