兩類穩(wěn)定性定理的改進*

范英飛 黃倩倩 楊墨

（西南交通大學數(shù)學學院，成都，611756）

兩類穩(wěn)定性定理的改進*

范英飛 黃倩倩 楊墨

（西南交通大學數(shù)學學院，成都，611756）

本文研究兩類穩(wěn)定性定理.對LaSalle不變原理做更加合理的改進.研究了Lyapunov直接法，得到了改進的比較原理，并加以證明，最后應(yīng)用到實例中.

LaSalle不變原理 比較原理 改進

1　LaSalle不變原理

1960年，LaSalle［1］發(fā)現(xiàn)了Lyapunov函數(shù)與伯勞霍夫極限集［2］之間的關(guān)系，對函數(shù)的直接法進行了推廣.實際上考察一個運動極限集位置的研究，就是考察該運動的漸進行為，因此我們可以選定適當?shù)腖yapunov函數(shù)，利用極限集的不變性，給出極限集位置的信息.這一思想稱為“不變原理”.LaSalle不變原理在多個領(lǐng)域中具有廣泛的應(yīng)用，例如在Multi-Agent系統(tǒng)［3］和線性切換系統(tǒng)［4］.

鑒于定理的實用性，許多學者對這一原理進行了深入的討論和研究［5-8］.本節(jié)旨在對La-Salle不變原理做更加合理的改進，降低其使用的難度.

1.1n維自治系統(tǒng)

考慮n維自治系統(tǒng)

其中x=col（x1，x2，…xn），f=col（f1，f2，…fn），f：D∈Rn→Rn連續(xù)，0∈D保證（1）的解的唯一性.

稱x*∈D為正半軌線x（tk，t0，x0）的ω極限點，若有序列tk｛｝滿足

記Ω（x0）為起始點x0的所有ω極限點x*組成的集合.

區(qū)域D的邊界記為?D.

1.2LaSalle不變原理的改進

定理1 設(shè)D是一個有界閉集，（1）的解的起始點x0?D.若?V（x）：D→R為Lyapunov函數(shù)，具有一階連續(xù)偏導數(shù)，且有則區(qū)域D為（1）的解的不變集.

若不然，由連續(xù)函數(shù)的介值定理，必存在t2＞t1＞0，使得x（t1，t0，x0）為?D上一點，x（t2，t0，x0）為躍出邊界的軌線上一點，且有x（t2，t0，x0）＞x（t1，t0，x0）.

因為V（x）是嚴格單增的函數(shù)，容易得到

顯然這與假設(shè)矛盾.因此x（t，t0，x0）?D必然成立，區(qū)域D為（1）的解的不變集.定理得證.

1.3例子

例 用極限環(huán)的情形來應(yīng)用上述定理.

使得

那么在區(qū)域D內(nèi)的環(huán)形區(qū)域Dn被叫做極限環(huán).

2　比較原理

Lyapunov直接法的許多定理及推廣，解決了很多的實際問題［9-10］，但對于一些比較復(fù)雜的問題，必須結(jié)合其他方法加以處理，其中理論上最完善，應(yīng)用上最廣泛的便是比較原理［11-14］.

2.1預(yù)備知識

首先給出比較原理的思想實質(zhì).

考慮n維非自治系統(tǒng)

其中x=col（x1，x2，…xn），f=col（f1，f2，…fn），f連續(xù)，保證（2）的解的唯一性.

同時再給定一個純量方程

其中g(shù)（t，0）≡0，g ∈C［I×Rn，R+］.

設(shè)存在正定函數(shù)V（t，x），關(guān)于x 滿足局部Lipschitz條件，V（t，0）≡0，且有

再考慮比較方程

根據(jù)（2），（3），可得

因此我們可以通過（3）的解的穩(wěn)定性來判斷（2）的解的穩(wěn)定性.

2.2比較原理的改進

定理2 若存在Lyapunov函數(shù)V（t，x）∈C［I×Rn，R+］，關(guān)于x滿足Lipschitz條件，V（t，0）≡0，且V沿（2）解的右上Dini導數(shù)［15］滿足

則（3）的平凡解一致穩(wěn)定蘊涵（2）的平凡解一致穩(wěn)定.

證明 因為V正定，由定義知?φ∈K［2］，使得

因為（2.3）的平凡解一致穩(wěn)定，由定義知?ε＞0，?δ（ε），只要U0＜δ（ε），就有

因此

再根據(jù)

可得

所以?ε＞0，?δ1（ε）＞0，當‖x0‖＜δ1（ε）時，有‖x‖＜ε，即（2.4）的平凡解一致穩(wěn)定.定理2得證.

注 原始的比較原理［16］，V還需要滿足具有無窮小上界這一條件.

2.3例子

再給定方程組

我們驗證了定理2的可行性.

3　小結(jié)

改進后的比較原理，我們?nèi)サ袅薞函數(shù)具有無窮小上界這個條件，從而提高了實用效率.

［1］LaSalle.J.P.動力系統(tǒng)的穩(wěn)定性［M］.廖曉昕等譯.武漢：華中理工大學出版社，1988.

［2］廖曉昕.穩(wěn)定性的理論，方法和應(yīng)用［M］.武漢：華中科技大學出版社，2005.

［3］Daizhan Cheng.An extension of LaSalle’s invariance principle and Its application to multi-agent consensus［J］.IEEE Transactions on Automatic Control，2008，8：1765-1770.

［4］Hespanha.J.P.Uniform stability of switched linear systems：extensions of LaSalle Invariance Principle［J］. IEEE Transactions on Automatic Control，2004，4：470-482.

［5］賴定文.關(guān)于穩(wěn)定性定理的一點補充［J］.科學通報，1984，19：1161-1163.

［6］Shujun Long，Daoyi Xu and Wei Zhu.Global exponential stability of impulsive dynamical systems with distributed delays［J］.Electronic Journal of Quanlitative Theory of Differential Equations，2007，10：1-13.

［7］Massera.J.L.On Lyapunov condition of stability［J］.Analysis of Mathematics，1949，50：34-42.

［8］徐道義.關(guān)于穩(wěn)定性的幾個基本定理［J］.數(shù)學季刊，1992，7，2：61-67.

［9］Rouche.N.Habets and P，Laloy M.Stability theory by Lyapunov，Direct method［J］.Springer-Verlag，1977，32：134-147.

［10］Bhatia.N.P.and Szego.G.P.Stability Theory of Dynamical Systems［M］.Berlin：Springer-Verlag Berlin，1988.

［11］張彩虹，高存臣.比較原理在多有理數(shù)時滯區(qū)間系數(shù)離散系統(tǒng)的應(yīng)用［J］.中國海洋大學學報，2006，36：219-221.

［12］羅交晚，鄒捷中，侯振挺.比較原理與Markov調(diào)制的隨機時滯系統(tǒng)的穩(wěn)定性［J］.中國科學，2003，33：374-381.

［13］Zhang H G，Wang G.New criteria of global exponential stability for a class of generalized neural networks with time-varying delays［J］.Neurocomputing，2007，70：2486-2494.

［14］叢偉，潘貞存，趙建國.基于縱聯(lián)比較原理的廣域繼電保護算法研究［J］.中國電機工程學報，2006，21：8-14.

［15］Yoshizawa.T.Stability Theory by Lyapunovs Second Method［J］.The math science of Japan，1996，18：102-109.

［16］尤秉禮.常微分方程補充數(shù)據(jù)［M］.北京：人民教育出版社，1983.

Two Types of Improved Stability Theorems

Fan Yingfei Fan Xiaoming Huang Qianqian Yang Mo
（School of Mathematics，Southwest Jiaotong University，Chengdu 611756，China）

In this paper we give improvements to the LaSalle invariance principle and the comparison principle，and then apply them to examples.

LaSalle invariance principle Comparison principle Improvement

2016年03月17日