摘 要：稳定性理论是微分方程的一个重要分支，是由研究运动问题而发展起来的，就常微分方程的稳定性进行进一步的分析.
关键词：常微分方程；稳定性；李雅普诺夫函数
Abstract：Stability theory is a important part of differential equation，is developed by researching into the athletics problem. In this paper is the further analysis of ordinary differential equation’s stability.
Keywords： ordinary differential equation；Stability theory；Lyapunov function
稳定性理论是19世纪80年代由俄国数学家李雅普诺夫[1]创建的.稳定性理论在自动控制、航天技术、生态生物、生化反应等自然科学和工程技术等方面有着广泛的应用[2]，其概念和理论发展十分迅速，本文中构造李雅普诺夫函数来判定常微分方程的稳定性.
一、李雅普诺夫函数介绍[3]
考虑集合w■Rn，f：w→Rn连续可微。■∈W，■是系统■=f（x）（1）的平衡点.
定理1：如果U是■的领域，U■W有函数V：U→R，在U上连续，在U-■上可微，满足
（1）V（■）=0；V（x）>0，当x≠■
（2）V=■V（x（t））≤0，当x≠■，其中x（t）是系统（1）的轨线，则■是稳定的.
（3）若函数V还满足V<0，当x≠■，则■是接近稳定的.
函数V满足（1）（2），V就叫做■的李雅普诺夫函数；若还满足（3）就叫做严格单调的李雅普诺夫函数。这个定理叫李雅普诺夫稳定性定理.
二、常微分系统稳定性分析
处理常系数线性系统二次型的方法，可以推广到某些非自治和非线性系统（对非线性系统）
■A（t）x （2）
取二次型V（t，x）=xiB（t）x作为李雅普诺夫函数，其中B（t）=（bij（t））n×m是可微矩阵。沿着（1）式的解，曲线计算V（t，x）的全导数得■（t，x）=xi■+Ai（t）B（t）+B（t）A（T）x
为了判定（2）式零解的稳定性，我们可以对给出的矩阵C（t）来求解下面的矩阵微分方程
■+Ai（t）B（t）+B（t）A（t）=C（t） （3）
适当选取C（t）后解出B（t），就能判定（1）式零解的稳定性.
例∶线形类比法
线性类比法是将一些非线性系统形式地当作线性系统，用类比的方法构造出需要的李雅普诺夫函数.
设f（x1）连续可导， f（0）=0讨论系统
■=f（x1）+a12 x2■=a21x1+a22 x2 （4）零解的稳定性.
系统的特征方程为λ2-（a11+a22）λ+a11a22-a12a21=0.
容易看出，当a11+a22<0，a11a22-a12 a21>0时，特征方程的两个根都有负实部，（4）式的零解是渐近稳定的，非线性系统（4）式无法用特征根的方法判定，但可以用类似于线性系统的李雅普诺夫函数去判断其稳定性，事实上对（4）式取v′（x1，x2）=（a11+a22）（a11a22-a12 a21）x12，则它的半负定的函数，利用巴尔巴欣公式得v（x1，x2）=■（a11a22-a11a22）x12+■（a22 x1-a12x2）2
v（x1，x2）是正定函数，所以（7）式的解是稳定的，由此类比构造与线性系统类似的V函数
V（x1，x2）=■■a22-a12 a21x1dx1+■（a22 x1-a12 x2）2
V（x1，x2）正定，计算导数得小于等于0.
所以（4）式的零解是稳定的.
三、结论
1.在使用李雅普诺夫函数判定稳定性时，当我们找不到满足稳定性定理条件的函数V（x）时，我们无法断定零解是否稳定的，其构造的李雅普诺夫函数不同时，判定零解是否渐近稳定及吸引域的大小也会有差异.
2.在利用李雅普诺夫方法判定稳定性时，一个问题是满足一定条件的李雅普诺夫函数是否存在及当系统的零解有某种稳定性时，满足这个稳定性的V（x）是否存在.
参考文献：
[1]蔡燧林.常微分方程[M].武汉：武汉大学出版社，2003.
[2]丁同仁.常微分方程定性方法的应用[M].北京：高等教育出版社，2004.
[3]马知恩，周义仓.常微分方程定性与稳定性方法[M].北京：科学出版社，2001.
[4]张庆灵.广义系统结构稳定的李亚谱诺夫方法[J].系统科学与数学，1994，14（02）：117-120.
（作者单位 辽宁省阜新市细河区职业教育中心）