馮立邱

摘 要：穩(wěn)定性理論是微分方程的一個重要分支，是由研究運動問題而發(fā)展起來的，就常微分方程的穩(wěn)定性進行進一步的分析.

關(guān)鍵詞：常微分方程；穩(wěn)定性；李雅普諾夫函數(shù)

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 equations stability.

Keywords： ordinary differential equation；Stability theory；Lyapunov function

穩(wěn)定性理論是19世紀80年代由俄國數(shù)學家李雅普諾夫[1]創(chuàng)建的.穩(wěn)定性理論在自動控制、航天技術(shù)、生態(tài)生物、生化反應(yīng)等自然科學和工程技術(shù)等方面有著廣泛的應(yīng)用[2]，其概念和理論發(fā)展十分迅速，本文中構(gòu)造李雅普諾夫函數(shù)來判定常微分方程的穩(wěn)定性.

一、李雅普諾夫函數(shù)介紹[3]

考慮集合w■Rn，f：w→Rn連續(xù)可微。■∈W，■是系統(tǒng)■=f（x）（1）的平衡點.

定理1：如果U是■的領(lǐng)域，U■W有函數(shù)V：U→R，在U上連續(xù)，在U-■上可微，滿足

（1）V（■）=0；V（x）>0，當x≠■

（2）V=■V（x（t））≤0，當x≠■，其中x（t）是系統(tǒng)（1）的軌線，則■是穩(wěn)定的.

（3）若函數(shù)V還滿足V<0，當x≠■，則■是接近穩(wěn)定的.

函數(shù)V滿足（1）（2），V就叫做■的李雅普諾夫函數(shù)；若還滿足（3）就叫做嚴格單調(diào)的李雅普諾夫函數(shù)。這個定理叫李雅普諾夫穩(wěn)定性定理.

二、常微分系統(tǒng)穩(wěn)定性分析

處理常系數(shù)線性系統(tǒng)二次型的方法，可以推廣到某些非自治和非線性系統(tǒng)（對非線性系統(tǒng)）

■A（t）x （2）

取二次型V（t，x）=xiB（t）x作為李雅普諾夫函數(shù)，其中B（t）=（bij（t））n×m是可微矩陣。沿著（1）式的解，曲線計算V（t，x）的全導數(shù)得■（t，x）=xi■+Ai（t）B（t）+B（t）A（T）x

為了判定（2）式零解的穩(wěn)定性，我們可以對給出的矩陣C（t）來求解下面的矩陣微分方程

■+Ai（t）B（t）+B（t）A（t）=C（t） （3）

適當選取C（t）后解出B（t），就能判定（1）式零解的穩(wěn)定性.

例∶線形類比法

線性類比法是將一些非線性系統(tǒng)形式地當作線性系統(tǒng)，用類比的方法構(gòu)造出需要的李雅普諾夫函數(shù).

設(shè)f（x1）連續(xù)可導， f（0）=0討論系統(tǒng)

■=f（x1）+a12 x2■=a21x1+a22 x2 （4）零解的穩(wěn)定性.

系統(tǒng)的特征方程為λ2-（a11+a22）λ+a11a22-a12a21=0.

容易看出，當a11+a22<0，a11a22-a12 a21>0時，特征方程的兩個根都有負實部，（4）式的零解是漸近穩(wěn)定的，非線性系統(tǒng)（4）式無法用特征根的方法判定，但可以用類似于線性系統(tǒng)的李雅普諾夫函數(shù)去判斷其穩(wěn)定性，事實上對（4）式取v′（x1，x2）=（a11+a22）（a11a22-a12 a21）x12，則它的半負定的函數(shù)，利用巴爾巴欣公式得v（x1，x2）=■（a11a22-a11a22）x12+■（a22 x1-a12x2）2

v（x1，x2）是正定函數(shù)，所以（7）式的解是穩(wěn)定的，由此類比構(gòu)造與線性系統(tǒng)類似的V函數(shù)

V（x1，x2）=■■a22-a12 a21x1dx1+■（a22 x1-a12 x2）2

V（x1，x2）正定，計算導數(shù)得小于等于0.

所以（4）式的零解是穩(wěn)定的.

三、結(jié)論

1.在使用李雅普諾夫函數(shù)判定穩(wěn)定性時，當我們找不到滿足穩(wěn)定性定理條件的函數(shù)V（x）時，我們無法斷定零解是否穩(wěn)定的，其構(gòu)造的李雅普諾夫函數(shù)不同時，判定零解是否漸近穩(wěn)定及吸引域的大小也會有差異.

2.在利用李雅普諾夫方法判定穩(wěn)定性時，一個問題是滿足一定條件的李雅普諾夫函數(shù)是否存在及當系統(tǒng)的零解有某種穩(wěn)定性時，滿足這個穩(wěn)定性的V（x）是否存在.

參考文獻：

[1]蔡燧林.常微分方程[M].武漢：武漢大學出版社，2003.

[2]丁同仁.常微分方程定性方法的應(yīng)用[M].北京：高等教育出版社，2004.

[3]馬知恩，周義倉.常微分方程定性與穩(wěn)定性方法[M].北京：科學出版社，2001.

[4]張慶靈.廣義系統(tǒng)結(jié)構(gòu)穩(wěn)定的李亞譜諾夫方法[J].系統(tǒng)科學與數(shù)學，1994，14（02）：117-120.

（作者單位 遼寧省阜新市細河區(qū)職業(yè)教育中心）