(常微分方程)第8章定性理论.ppt

8.1　解的稳定性　　1.李雅普诺夫稳定性　　考虑方程组 即对任给的ε0,都有δ0,使得只要|ξ-ξ0|δ,就有 　　例8.1　初值问题 　　假设解x=φ(t,τ,ξ0)在t≥τ上有定义.如果对任意选定的ε0,都对应存在δ0,使得当|ξ-ξ0|δ时，解x=φ(t,τ,ξ)在t≥τ上有定义，且满足 　　注8.1　如果解x=φ(t,τ,ξ0)在t≤τ上有定义，则也可以引出负向稳定性的概念.但是在一般情况下，我们只考虑正向稳定性.　　例8.2　如果n维齐次线性方程组 任给ε0，存在t00，当t≥t0时,有 　　2.按第一近似决定稳定性　　若作未知函数的变换： 其中R(t,x)是f(t,x)关于x的展开式中所有高于一次项的总和.齐次线性方程组 　　定理8.1　设Φ(t)是方程组(8.4)的一个基本解矩阵.方程组(8.4)的零解:　　(1)是稳定的，当且仅当Φ(t)在t≥0上有界；　　(2)是渐近稳定（实际上是全局渐近稳定）的，当且仅当 　　定理8.2　当A(t)是常矩阵A时，方程组(8.4)的零解:　　(1)是渐近稳定（也是全局渐近稳定）的，当且仅当A的全部特征根都有负的实部；　　(2)是稳定的，当且仅当A的全部特征根的实部是非正的，并且那些实部为零的特征根对应的若尔当小块都是一阶的；　　(3)是不稳定的，当且仅当A的特征根中至少有一个实部为正，或者至少有一个实部为零，而它所对应的若尔当小块是高于一阶的. 　　这两个定理容易从通解结构定理推出.　　方程组(8.3)的零解稳定性能不能由第一近似方程组(8.4)的零解稳定性决定呢？人们曾对此并不怀疑.李雅普诺夫第一个指出，在一般情形下，对上述问题的回答是否定的.同时他也正面肯定了在很广泛的条件下，方程组(8.3)的零解的稳定性可由其第一近似方程组(8.4)来决定. 　　定理8.3　设A(t)是常矩阵A.　　(1)若A的全部特征根都具有负的实部，则方程组(8.3)的零解是渐近稳定的；　　(2)若A的特征根中至少有一个具有正的实部，则方程组(8.3)的零解是不稳定的.　　证明　结论(1)、结论(2)的证明可参看参考文献［7］第13章定理1.2.证明分以下三步：　　①把方程组(8.3)的解x=φ(t,τ,ξ)简记为φ(t).应用常数变易公式，在x=φ(t)的定义区间上，有 由于A的全部特征根实部为负，因此存在正数K和ρ，使得当t≥τ时有 　　②应用格朗沃尔不等式，由此推出 　　命题8.1　设 　　所谓临界情形，即A的特征根中没有实部为正但有实部为零的情形，方程组(8.3)的零解的稳定性不能应用定理8.3来判定.这时方程组(8.3)的零解的稳定性视具体情况而定.　　例8.3　讨论方程组 若x=x(t),y=y(t)满足初值条件x(0)=x0,y(0)=y0，则由上式可解出 　　例8.4　讨论方程组 　　3.李雅普诺夫第二方法　　为了处理稳定性问题，李雅普诺夫创立了两种著名的方法，即第一方法和第二方法.第一方法要利用微分方程的级数解，在他之后没有得到多大发展.第二方法又称为直接方法，是寻求某个与所考虑微分方程有关的所谓李雅普诺夫函数，根据这种函数的特征直接去判断解的稳定性.例8.5中的x2+y2正是这样的函数. 　　例8.5　讨论方程组 由此可见，当σ=-1时，方程组(8.10)的零解是全局渐近稳定的；当σ=0时是稳定的；当σ=1时是不稳定的.　　该例中的函数式(8.11)正是方程组(8.10)的李雅普诺夫函数.　　现在一般介绍李雅普诺夫第二方法.为简单计，我们只考虑右端不显含自变量t的方程组 　　假设f(0)=0（因而方程组(8.12)有零解），f(x)在域 　　引进记号 　　定理8.4　设V(x)是式(8.13)上的定正函数.　　(1)如果式(8.14)是常负函数，则方程组(8.12)的零解是稳定的；　　(2)如果式(8.14)是定负函数，则方程组(8.12)的零解是渐近稳定的；　　(3)如果式(8.14)是定正函数，则方程组(8.12)的零解是不稳定的. 　　再证(2).按假设，式(8.14)是定负的，自然更是常负的，故由结论(1)知，方程组(8.12)的零解是稳定的.还要证明的是，存在δ00，使得当|ξ|δ0时， 　　由于方程组(8.12)是自治的，根据唯一性定理，对任何k,φ(t+tk,τ,ξ)与φ［t+τ,τ,φ(tk,τ,ξ)］必恒等（因为二者都是方程组(8.12)的解，而在t=0时取同样的初值）.特别就有 　　最后证明(3).用反证法.假设零解是稳定的，即对任给的ε0，恒存在δ(ε)0，使得 积分得 　　例8.6　讨论方程组 　　例8.7　讨论方程组 　　例8.8　讨论方程组 　　例8.