文檔從互聯(lián)網(wǎng)中收集，已重新修正排版，word格式支持編輯，如有幫助歡迎下載支持。文檔從互聯(lián)網(wǎng)中收集，已重新修正排版，word格式支持編輯，如有幫助歡迎下載支持。word格式支持編輯，如有幫助歡迎下載支持。PAGEword格式支持編輯，如有幫助歡迎下載支持。文檔從互聯(lián)網(wǎng)中收集，已重新修正排版，word格式支持編輯，如有幫助歡迎下載支持。word格式支持編輯，如有幫助歡迎下載支持。常微分方程解的穩(wěn)定性摘要本文簡要介紹了常微分方程解的穩(wěn)定性理論的相關(guān)概念及其在解決微分方程相關(guān)問題的重要意義。最后，介紹用李雅普諾夫第二方法構(gòu)造李雅普諾夫函數(shù)來判斷常微分方程的穩(wěn)定性及其在解決常微分方程的穩(wěn)定性問題中的應(yīng)用。關(guān)鍵字：常微分方程穩(wěn)定性李雅普諾夫函數(shù)V函數(shù)構(gòu)造方法引言常微分方程在經(jīng)歷了長期的求精確解的努力后逐漸停滯，龐加萊在分析的基礎(chǔ)上引入幾何方法,開創(chuàng)了常微分方程定性理論,同時在分析中引入幾何方法,搭建起分析與幾何之間的溝通橋梁,帶來了微分方程研究的新突破。李雅普諾夫則在龐加萊定性分析的基礎(chǔ)上,轉(zhuǎn)而進入了新的穩(wěn)定性研究。如今,李雅普諾夫穩(wěn)定性理論被普遍認(rèn)為是微分方程定性理論的基本成就之一。不僅有精確的定義,更有嚴(yán)格的分析證明,將微分方程及穩(wěn)定性理論的研究推向了新的高度。本文論述常微分方程解的穩(wěn)定性的定義及其研究常微分方程相關(guān)問題的重要思想，并用李雅普諾夫第二方法構(gòu)造李雅普諾夫函數(shù)來判斷常微分方程的穩(wěn)定性及其在解決常微分方程的穩(wěn)定性問題中的應(yīng)用。1、常微分方程穩(wěn)定性微分方程自誕生以來就一直以微分方程解的求法為研究中心。數(shù)學(xué)家在微分方程求解過程中進行了不懈的努力,但始終沒有從根本上擺脫求確定解的桎梏,致使研究的道路越來越窄。此時單純的定量分析已不能解決問題,必須用一種綜合化、整體化的思想加以考慮.避開微分方程求精確解的定量方法,轉(zhuǎn)向運用穩(wěn)定性方法探求解的性質(zhì),從而解決常微分方程（組）的解的問題.考慮微分方程組dxdt其中函數(shù)f(t,x)對x∈D?Rn和t∈(-∞,+∞)滿足局部利普希茨條件。設(shè)方程（2.1）對初值（t0,x1）存在唯一解x=φ(t,t0如果所考慮的解的存在區(qū)間是有限閉區(qū)間，那么這是解對初值的連續(xù)依賴性?，F(xiàn)在要考慮的是解的存在區(qū)間是無窮區(qū)間，那么解對初值不一定有連續(xù)依賴性，這就產(chǎn)生的李雅普諾夫意義下的穩(wěn)定性概念。如果對于任意給定的ε>0和tδ=δ（使得只要∥x就有∥xt,對一切t≥t0成立，則稱（2.1）的解假設(shè)x=φ(t,t0,使得只要∥x就有l(wèi)im則稱（2.1）的解φ(t,t為了簡化討論，通常把解x=φ(t,t0,x0作如下變量代換：令y=xt則dy=f?F(t,y)于是在變換（2.2）下，將方程（2.1）化成dydt其中Ft,y=ft,φt+y-f(t,φ(t))，這樣關(guān)于（2.1）的解x=φ(t)的穩(wěn)定性問題就化為（2.3）的零解定義2.1若對于任意給定的ε>0和t存在δ=δ（使當(dāng)∥x∥xt,對所有的t≥t定義2.2若（2.1）的零解是穩(wěn)定的，且存在0<δ1≤δ（當(dāng)∥xlimt→∞則稱（2.1）的零解是漸近穩(wěn)定的。dxdt的零解的穩(wěn)定性。解：不妨取初始時刻t0=0,對于一切t≥0,方程組滿足初值條件xt=x0cost+對任一ε>0，取δ=ε，則當(dāng)（[=故該系統(tǒng)的零解是穩(wěn)定的。limt→∞所以該系統(tǒng)的零解不是漸近穩(wěn)定的。2、常微分方程解的穩(wěn)定性的重要意義在實際情況中,干擾性因素總是不可避免的,因此穩(wěn)定性理論的研究有很重要的理論意義和實用價值,這也是穩(wěn)定性理論蓬勃發(fā)展的原因。李雅普諾夫首先給出了常微分方程解穩(wěn)定的嚴(yán)格定義(稱為“李雅普諾夫意義下的穩(wěn)定性”):如果對于任何正數(shù)ε,無論它多么小,可以選取另一個正數(shù)η(ε),使得對于所有受干擾的運動,當(dāng)其在初始時刻t0時滿足|而在所有t>t0時滿足不等式dx則QUOTEdxidt=f(t,x1,x2,?,xn這個定義簡單而有力,既反映了深刻的物理本質(zhì),又具有嚴(yán)格的數(shù)學(xué)含義,極大地推廣了不動點或平衡解的穩(wěn)定性定義,成為更嚴(yán)格、更自然的定義。接著,他又給出了兩種解題方法:(1)冪級數(shù)展開法,適用于已知擾動運動方程一個明確解(通常為無窮級數(shù)的形式)的情形。(2)李雅普諾夫直接方法,即李雅普諾夫第二方法,至今它仍是解決穩(wěn)定性問題的主要工具。這種方法不用尋求運動方程的特解與通解,只要結(jié)合實際的物理背景,構(gòu)造一類具有特殊性質(zhì)的李雅普諾夫函數(shù)V(x1,x李雅普諾夫使用分析的方法,以嚴(yán)格的分析證明解決穩(wěn)定性問題。理論的嚴(yán)格性與徹底性是李雅普諾夫工作的顯著特征之一。如今,李雅普諾夫穩(wěn)定性理論被普遍認(rèn)為是微分方程定性理論的基本成就之一。不僅有精確的定義,更有嚴(yán)格的分析證明,將微分方程及穩(wěn)定性理論的研究推向了新的高度。3、李雅普諾夫第二方法3.1李雅普諾夫函數(shù)的介紹李雅普諾夫創(chuàng)立了處理穩(wěn)定性問題的兩種方法：第一方法要利用微分方程的級數(shù)解，在他之后沒有得到大的發(fā)展；第二方法是在不求方程解的情況下，借助一個所謂的李雅普諾夫函數(shù)V(x)和通過微分方程所計算出來的導(dǎo)數(shù)dV(x)dt下面，先引入李雅普諾夫函數(shù)概念我們考慮自治系統(tǒng)dxdt假設(shè)Fx=上連續(xù)，滿足局部利普希茨條件，且F0定義3.1若函數(shù)V滿足V0=0,Vx和?V?xV(x)≥0(≤0),則稱Vx是常正(負(fù))的;若在D上除x≠0外總有V(x)>0(<0)，則稱通常我們稱函數(shù)V(x)為李雅普諾夫函數(shù)。例：函數(shù)V=x12函數(shù)V=-(x12函數(shù)V=x12函數(shù)V=x123.2李雅普諾夫第二方法的相關(guān)定理定理3.1對系統(tǒng)（3.11），若在區(qū)域D上存在李雅普諾夫函數(shù)V(x)滿足（1）正定（2）dVdt則（3.11）的零解是穩(wěn)定的。證明：對任意ε>0Γ={x|∥x∥=ε}則由V(x)正定，連續(xù)和Γ是有界閉集知b=min由V0=0和V(x)連續(xù)知存在δ>0（δ<ε）xt,若上述不等式不成立，有∥x∥<δ<ε和xt,t0,x0而xt,V(xt,dV(xt,t0,x0)dt≤0另一方面，由條件（2）知QUOTEdV(xt,t0V(x自然有V(xt,引理若Vx是正定（或負(fù)定）的李雅普諾夫函數(shù)，且對連續(xù)有界函數(shù)x(t)lim則lim定理3.2對系統(tǒng)（3.11），若在區(qū)域D上存在李雅普諾夫函數(shù)V(x)滿足（1）正定（2）dVdt則（3.11）的零解是漸近穩(wěn)定。證明：由定理（3.1）知（3.11）的零解是穩(wěn)定的。取δ為定理（3.1）的證明過程中的δ，于是當(dāng)∥x∥≤δ時，V(xt,t0,lim不妨設(shè)x0≠0.由初值問題解的唯一性，對任意t，(xt,t0,xlim假設(shè)a>0,聯(lián)系到V(xa對t≥t0成立，從而由V0=0知存在h<∥xt,t成立。由條件（2）有M=故從（3.16）知dV對上述不等式兩端從t0到tV該不等式意味著lim矛盾，故a=0,即lim由于零解是穩(wěn)定的，所以xt,t0limt∈+∞定理3.3對系統(tǒng)（3.11），若在區(qū)域D上存在李雅普諾夫函數(shù)V(x)滿足（1）dVdt（2）V(x)不是常負(fù)函數(shù)則系統(tǒng)（3.11）的零解是不穩(wěn)定的.4、李雅普諾夫第二方法的構(gòu)造和應(yīng)用4.1李雅普諾夫函數(shù)的構(gòu)造在判定系統(tǒng)是自治的情況下，微分方程的穩(wěn)定性和將近穩(wěn)定性，可以構(gòu)造如下形式的李雅普諾夫函數(shù)（1）二維空間：Vx（2）n維空間V其中a1,a2,?,這樣構(gòu)造的整數(shù)V(x1,4.2李雅普諾夫第二方法的應(yīng)用例1:討論方程組零解的穩(wěn)定性dxdt=xy-x3+ydydt解：取函數(shù)V=1dv(常負(fù)函數(shù))。由定理（3.1）知零解穩(wěn)定。例2：研究質(zhì)點振動方程md2xdt2+adx零解穩(wěn)定性。解：原振動方程可轉(zhuǎn)化為QUOTEdxdt=ydydt=-dxdtV=取函數(shù)QUOTEV=m2y2+b2dvdt由定理3.1知，零解穩(wěn)定.例3：討論方程組零解穩(wěn)定性dxdt=-3x+y-z+3x(6x2+5y2+解：