正文
它是研究擾動性因素對運動系統的影響。這種擾動性因素,可以是瞬間的作用,引起系統的初始狀態的變化;也可以是持續地起作用,而引起系統本身的變化。通常著重考慮的是前者。微小的擾動對於不同的系統運動的影響是不一樣的。對有些運動,影響不顯著,受擾動的運動與未受擾動的運動相差很小。而對有些運動,擾動的影響可能很顯著,以致無論擾動如何小,受擾動的運動與未受擾動的運動隨時間的推移可能相差很大。簡略地說,屬於前者的運動是穩定的,屬於後一類型的運動是不穩定的。運動穩定性理論就是要建立一些準則,用來判斷所考慮的運動是穩定的或不穩定的。一般,動力系統的數學模型可寫成
(1)
如果對於任意正數 ε,無論它多么小,總可以找到另一個正數 η(ε),使得對於所有受擾動的運動 yi=yi(t)(i=1,2,…,n),只要在初始時刻t=t0滿足不等式
(2)
(3)
為了研究方程(1)的特解yi=ƒi(t)(i=1,2,…,n)的穩定性問題,一般比較困難。為此,對方程(1)引進坐標變換
(4)
(5)
此時,不等式(2)及(3)分別變成
(6)
(7)
如果對於任意正數ε,無論它多么小, 都可以選取另一個正數 η(ε), 使得對於所有受干擾的運動xi=xi(t)(i=1,2,…,n),只要在初始時刻t0時滿足不等式(6),就在所有t≥t0時滿足不等式(7),則稱(5)的未受擾動的運動xi=0(i=1,2,…,n)是穩定的。否則,則稱 xi=0(i=1,2,…,n)是不穩定的。
如果未受擾動的運動xi=0(i=1,2,…,n)是穩定的,並且數 η可選得如此之小,使得對於所有滿足不等式(6)的受干擾運動,都滿足條件
這就是李亞普諾夫在他的博士論文《運動穩定性一般問題》(1892)中所給出的有關常微分方程解的穩定性定義,通常稱為李亞普諾夫意義下的穩定性。它有下列幾個特點:①首先,李亞普諾夫穩定性概念是一個局部概念,它涉及到在被考慮的狀態附近的特性,因此初始擾動的範圍較小,即η值較小;②時間t取值在無限長區間【t0,+

由於在一般情況下所研究的微分方程,它的解都不能求出來,因此李亞普諾夫在他的上述論文中,提出了兩種解決問題的方法,稱之為李亞普諾夫第一方法和第二方法。
李亞普諾夫第一方法 基於研究微分方程組的通解或特解而研究受擾動運動的所有方法,都歸屬為第一方法。這個方法一般需要去尋求按任意常數的正整數冪的無窮級數或具有另一些特徵的級數形式的解,故又稱冪級數展開法。考慮微分方程組
(8)
(9)


(10)
(11)

(12)
(13)



李亞普諾夫在他研究的第一方法中,引入下述重要概念。
① 特征數 設ƒ(t)是定義在t∈【t0,+






李亞普諾夫建立了具有連續、有界係數的線性微分方程組
(14)
③ 正則系統 (14)稱為正則系統,如果(14)的正規解系使得 s+μ=0,其中

李亞普諾夫第一方法關於穩定性的定理是:設方程組 (8)滿足條件 (9)、(10),其中係數psr(t)、



常係數線性系統和周期係數線性系統都是正則系統。常係數線性系統的特徵數是該系統的特徵根的實部反號。周期係數線性系統的特徵數是該系統的特徵指數的實部反號。由此可相應地得出當(8)的一次近似系統 (14)為常係數系統或周期係數系統時,關於(8)的零解為漸近穩定的定理(見線性常微分方程)。
李亞普諾夫同時還證明,如果 (8)的一次近似系統(14)不是正則系統,即s+μ=-σ<0,而(14) 的所有特徵數λk>σ ,其他條件仍如定理所述, 則(8)的零解是漸近穩定的。
李亞普諾夫第一方法依賴於一次近似系統的特徵數的研究。特徵數在變係數線性方程組中的地位,猶如特徵根在常係數線性方程組中的地位那樣重要。這些數表征出當t→+

以一次近似判定非線性系統的穩定性問題,除上述李亞普諾夫工作外,Ο.佩隆、К.∏.佩爾西德斯基、馬爾金和R.貝爾曼等人都做過大量的研究。值得指出的是,佩隆舉例說明,對於滿足上述條件的任意φs,僅由一次近似方程組(14)的零解漸近穩定性,還不足以保證非線性方程組(8)的零解的穩定性。
李亞普諾夫直接法 即李亞普諾夫第二方法,它不需要尋求運動方程的特殊解。把未受擾動的運動的穩定性歸結為平衡位置(即(5)的平凡解xi=0(i=1,2,…,n)的穩定性問題後,李亞普諾夫將穩定或者不穩定的事實與某些具有特殊性質的函式 V(x1,x2,…,xn)的存在性聯繫起來。這個函式沿著軌線對時間 t的全導數具有某些確定的性質。例如,方程
(15)
(16)
(17)

(18)
(19)
(20)
(c是任意正常數)。




從上述兩例可以看出:研究由常微分方程組來描述的動力系統的穩定性時,可以不必去求它的特解與通解,而是構造一類具有特殊性質的函式V(x,y),由這個函式來控制相軌線的動向,來解決未被擾動運動的穩定性問題。稱這種類型的函式V 為李亞普諾夫函式。它有各種構造方法,一般要結合實際的物理背景來作。
通常總假定函式V在坐標原點鄰域內連續單值,V(0,0,…,0)=0,且有連續的偏導數。稱函式V(x1,x2,…,xn)為定號的(正定的或負定的),如果當│xs│≤h(h是足夠小的正數,s=1,2,…,n)時,它只能取具有固定符號的值,且只在xs=0(s=1,2,…,n)時,取零值。稱V(x1,x2, …, xn) 為常號的(正的或負的),如果它在區域|xs|≤h(s=1,2,…,n)內只能取具有一定符號的值,但它可以在

下面介紹李亞普諾夫關於穩定性的幾個定理。
考慮自治系統(或稱駐定系統,即方程右邊與t無關的系統)
(21)
定理 1 如果可以找到一個定號函式 V (x1,x2,…,xn),它關於時間t的由(21)構成的全導數
定理2 如果可以找到定號函式 V(x1,x2,…,xn),它對於時間t由(21)構成的全導數也是定號的,但是其正負號與V的正負號相反,則(21)的未被擾動運動xs=0(s=1,2,…,n)是漸近穩定的。
定理3 如果可以找到函式V(x1,x2,…,xn),它對於時間t由(21)構成的全導數是定號函式,而函式V本身卻不是與

定理4 如果存在函式V(x1,x2,…,xn),它對於時間t由(21)構成的全導數為

在定理3中,要求導數



E.A.巴爾巴申和H.H.克拉索夫斯基給出了關於漸近穩定性定理的改進,其特點是藉助於有常號導數的李亞普諾夫函式來解決漸近穩定性問題,且將其推廣到全空間,得到如下的定理:如果對於方程組(21)存在正定函式V(x1,x2,…,xn),使得

對於非駐定系統,李亞普諾夫類似地建立了判斷未被擾動運動穩定、漸近穩定和不穩定的定理。
運用上面的定理,李亞普諾夫還研究了一次近似為常係數的非線性系統的零解的穩定性問題。特別是對於特徵方程中有一個零根或兩個零根或一對共軛純虛根、而其他根都具有負實部這三種臨界情形都作了仔細分析;對於一次近似是周期係數的情形,他分析了特徵方程中有一個根等於1和有兩個共軛虛根具有模等於1的情形。
前面已指出:李亞普諾夫意義下的穩定性質是局部性的概念,但處理局部問題的李亞普諾夫函式的思想方法,完全可推廣到全相空間。事實上,在50年代初,人們對自動調節系統的研究中所遇到的盧里耶問題以及奧澤爾曼問題就出現過初始擾動任意大的情形,從而很自然地要去研究未被擾動運動的全局漸近穩定性問題。此時(21)的右端函數是在全空間Rη上滿足保證解的存在惟一性條件。不妨設xs=0(s=1,2,…,n)是(21)的惟一奇點。如果(21)的零解是穩定的,並且對於(21)的所有解,都有

巴爾巴申和克拉索夫斯基引進無限大函式的概念,即:如果函式V(x1,x2,…,xn)對任何大的數K>0,都存在數R>0,使得只要

J.P.拉薩爾更聯繫解的ω極限集(見拓撲動力系統)建立了不變性原理:設 G為Rn中列緊集,從 G出發的方程組(21)的軌線, 在未來時刻仍保留在集G 中;如果在G 記憶體在函式 V(x1,x2,…,xn),使




自動調節系統的穩定性在現代工業中的作用是眾所周知的。調節系統分直接調節系統和間接調節系統兩大類。它們的數學模型分別是
(22)
(23)
(24)

除了上述一些類型的穩定性外,還有如李亞普諾夫研究過的有關部分變元的穩定性。馬爾金研究過的經常擾動下的穩定性。拉薩爾、S.萊夫謝茨指出的實際穩定性,以及目前蓬勃發展的大系統穩定性,還有與動力系統有密切聯繫的軌道穩定與結構穩定性等等。
隨著科學技術的迅速發展,李亞普諾夫創立的運動穩定性理論,不僅在力學、控制、工程及星際航行等科學尖端技術領域有其廣泛深刻的套用,而且在現代物理、生物、化學等自然科學中得到了進一步的發展,同時它亦逐漸發展成為常微分方程學科本身許多課題理論研究的有力工具。李亞普諾夫穩定性理論中的一個核心問題,就是李亞普諾夫函式的構造問題。30多年來人們作了不少的努力,但對於一般非線性系統,還沒有得到通用而有效的構造方法。雖然如此,針對實際問題中出現的各種非線性系統,通過定性分析並根據實際情況進行具體分析,從而構造出恰當的李亞普諾夫函式,還是取得了豐富的成果。