常微分方程解的稳定性(修改)

文档从互联网中收集，已重新修正排版，word格式支持编辑，如有帮助欢迎下载支持。文档从互联网中收集，已重新修正排版，word格式支持编辑，如有帮助欢迎下载支持。word格式支持编辑，如有帮助欢迎下载支持。PAGEword格式支持编辑，如有帮助欢迎下载支持。文档从互联网中收集，已重新修正排版，word格式支持编辑，如有帮助欢迎下载支持。word格式支持编辑，如有帮助欢迎下载支持。常微分方程解的稳定性摘要本文简要介绍了常微分方程解的稳定性理论的相关概念及其在解决微分方程相关问题的重要意义。最后，介绍用李雅普诺夫第二方法构造李雅普诺夫函数来判断常微分方程的稳定性及其在解决常微分方程的稳定性问题中的应用。关键字：常微分方程稳定性李雅普诺夫函数V函数构造方法引言常微分方程在经历了长期的求精确解的努力后逐渐停滞，庞加莱在分析的基础上引入几何方法,开创了常微分方程定性理论,同时在分析中引入几何方法,搭建起分析与几何之间的沟通桥梁,带来了微分方程研究的新突破。李雅普诺夫则在庞加莱定性分析的基础上,转而进入了新的稳定性研究。如今,李雅普诺夫稳定性理论被普遍认为是微分方程定性理论的基本成就之一。不仅有精确的定义,更有严格的分析证明,将微分方程及稳定性理论的研究推向了新的高度。本文论述常微分方程解的稳定性的定义及其研究常微分方程相关问题的重要思想，并用李雅普诺夫第二方法构造李雅普诺夫函数来判断常微分方程的稳定性及其在解决常微分方程的稳定性问题中的应用。1、常微分方程稳定性微分方程自诞生以来就一直以微分方程解的求法为研究中心。数学家在微分方程求解过程中进行了不懈的努力,但始终没有从根本上摆脱求确定解的桎梏,致使研究的道路越来越窄。此时单纯的定量分析已不能解决问题,必须用一种综合化、整体化的思想加以考虑.避开微分方程求精确解的定量方法,转向运用稳定性方法探求解的性质,从而解决常微分方程（组）的解的问题.考虑微分方程组dxdt其中函数f(t,x)对x∈D⊆Rn和t∈(-∞,+∞)满足局部利普希茨条件。设方程（2.1）对初值（t0,x1）存在唯一解x=φ(t,t0如果所考虑的解的存在区间是有限闭区间，那么这是解对初值的连续依赖性。现在要考虑的是解的存在区间是无穷区间，那么解对初值不一定有连续依赖性，这就产生的李雅普诺夫意义下的稳定性概念。如果对于任意给定的ε>0和tδ=δ（使得只要∥x就有∥xt,对一切t≥t0成立，则称（2.1）的解假设x=φ(t,t0,使得只要∥x就有lim则称（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))，这样关于（2.1）的解x=φ(t)的稳定性问题就化为（2.3）的零解定义2.1若对于任意给定的ε>0和t存在δ=δ（使当∥x∥xt,对所有的t≥t定义2.2若（2.1）的零解是稳定的，且存在0<δ1≤δ（当∥xlimt→∞则称（2.1）的零解是渐近稳定的。dxdt的零解的稳定性。解：不妨取初始时刻t0=0,对于一切t≥0,方程组满足初值条件xt=x0cost+对任一ε>0，取δ=ε，则当（[=故该系统的零解是稳定的。limt→∞所以该系统的零解不是渐近稳定的。2、常微分方程解的稳定性的重要意义在实际情况中,干扰性因素总是不可避免的,因此稳定性理论的研究有很重要的理论意义和实用价值,这也是稳定性理论蓬勃发展的原因。李雅普诺夫首先给出了常微分方程解稳定的严格定义(称为“李雅普诺夫意义下的稳定性”):如果对于任何正数ε,无论它多么小,可以选取另一个正数η(ε),使得对于所有受干扰的运动,当其在初始时刻t0时满足|而在所有t>t0时满足不等式dx则QUOTEdxidt=f(t,x1,x2,⋯,xn这个定义简单而有力,既反映了深刻的物理本质,又具有严格的数学含义,极大地推广了不动点或平衡解的稳定性定义,成为更严格、更自然的定义。接着,他又给出了两种解题方法:(1)幂级数展开法,适用于已知扰动运动方程一个明确解(通常为无穷级数的形式)的情形。(2)李雅普诺夫直接方法,即李雅普诺夫第二方法,至今它仍是解决稳定性问题的主要工具。这种方法不用寻求运动方程的特解与通解,只要结合实际的物理背景,构造一类具有特殊性质的李雅普诺夫函数V(x1,x李雅普诺夫使用分析的方法,以严格的分析证明解决稳定性问题。理论的严格性与彻底性是李雅普诺夫工作的显著特征之一。如今,李雅普诺夫稳定性理论被普遍认为是微分方程定性理论的基本成就之一。不仅有精确的定义,更有严格的分析证明,将微分方程及稳定性理论的研究推向了新的高度。3、李雅普诺夫第二方法3.1李雅普诺夫函数的介绍李雅普诺夫创立了处理稳定性问题的两种方法：第一方法要利用微分方程的级数解，在他之后没有得到大的发展；第二方法是在不求方程解的情况下，借助一个所谓的李雅普诺夫函数V(x)和通过微分方程所计算出来的导数dV(x)dt下面，先引入李雅普诺夫函数概念我们考虑自治系统dxdt假设Fx=上连续，满足局部利普希茨条件，且F0定义3.1若函数V满足V0=0,Vx和∂V∂xV(x)≥0(≤0),则称Vx是常正(负)的;若在D上除x≠0外总有V(x)>0(<0)，则称通常我们称函数V(x)为李雅普诺夫函数。例：函数V=x12函数V=-(x12函数V=x12函数V=x123.2李雅普诺夫第二方法的相关定理定理3.1对系统（3.11），若在区域D上存在李雅普诺夫函数V(x)满足（1）正定（2）dVdt则（3.11）的零解是稳定的。证明：对任意ε>0Γ={x|∥x∥=ε}则由V(x)正定，连续和Γ是有界闭集知b=min由V0=0和V(x)连续知存在δ>0（δ<ε）xt,若上述不等式不成立，有∥x∥<δ<ε和xt,t0,x0而xt,V(xt,dV(xt,t0,x0)dt≤0另一方面，由条件（2）知QUOTEdV(xt,t0V(x自然有V(xt,引理若Vx是正定（或负定）的李雅普诺夫函数，且对连续有界函数x(t)lim则lim定理3.2对系统（3.11），若在区域D上存在李雅普诺夫函数V(x)满足（1）正定（2）dVdt则（3.11）的零解是渐近稳定。证明：由定理（3.1）知（3.11）的零解是稳定的。取δ为定理（3.1）的证明过程中的δ，于是当∥x∥≤δ时，V(xt,t0,lim不妨设x0≠0.由初值问题解的唯一性，对任意t，(xt,t0,xlim假设a>0,联系到V(xa对t≥t0成立，从而由V0=0知存在h<∥xt,t成立。由条件（2）有M=故从（3.16）知dV对上述不等式两端从t0到tV该不等式意味着lim矛盾，故a=0,即lim由于零解是稳定的，所以xt,t0limt∈+∞定理3.3对系统（3.11），若在区域D上存在李雅普诺夫函数V(x)满足（1）dVdt（2）V(x)不是常负函数则系统（3.11）的零解是不稳定的.4、李雅普诺夫第二方法的构造和应用4.1李雅普诺夫函数的构造在判定系统是自治的情况下，微分方程的稳定性和将近稳定性，可以构造如下形式的李雅普诺夫函数（1）二维空间：Vx（2）n维空间V其中a1,a2,⋯,这样构造的整数V(x1,4.2李雅普诺夫第二方法的应用例1:讨论方程组零解的稳定性dxdt=xy-x3+ydydt解：取函数V=1dv(常负函数)。由定理（3.1）知零解稳定。例2：研究质点振动方程md2xdt2+adx零解稳定性。解：原振动方程可转化为QUOTEdxdt=ydydt=-dxdtV=取函数QUOTEV=m2y2+b2dvdt由定理3.1知，零解稳定.例3：讨论方程组零解稳定性dxdt=-3x+y-z+3x(6x2+5y2+解：