常微分方程考研讲义第六章非线性微分方程与稳定性

合集下载

常微分方程的稳定性和周期性

常微分方程的稳定性和周期性

常微分方程的稳定性和周期性常微分方程是研究自然现象变化过程的一种数学方法。

它描述的是一个变量随时间的变化规律,广泛应用于微积分、物理学、生物学、天文学等领域。

而稳定性与周期性是常微分方程解的重要特征。

稳定性是指一个解在微小扰动后仍能保持其原有的状态。

以简单的单摆为例,它的运动可以由常微分方程描述出来。

摆的稳定性取决于它的初始位置和速度,如果初始位置偏离了平衡点太远,摆就会摆动得很大。

但是如果初始位置非常接近平衡点,摆就会缓慢地回到平衡点,并逐渐停止摆动。

这就是稳定性表现出来的效果。

对于常微分方程的解来说,稳定性的研究可以帮助我们预测解的长期行为,以及在实际问题中制定合适的控制策略。

周期性则是指一个解在固定时间间隔内周期性地变化。

周期性解是常微分方程非常重要的一个特殊类型,它在自然界中很常见,如天体运动、震荡等。

以简单的谐振运动为例,它的运动可以由常微分方程描述出来。

在特定的参数条件下,谐振运动会产生周期性解,这种解有着固定的振动频率和振幅。

对于周期性解的研究,可以帮助我们了解自然现象的规律,找到有效的调控途径和优化方案。

那么如何判断一个常微分方程的解是否稳定或者周期性呢?这里有一些常用的方法。

首先是线性稳定性分析。

线性稳定性分析是判断一个非线性系统稳定性的一种重要方法。

它利用一个非线性系统在某个平衡点的线性近似来分析系统的稳定性。

如果近似后的系统方程具有稳定性,则原方程也是稳定的。

通过计算特征方程的特征根,可以得到系统的稳定性。

其次是Lyapunov函数法。

Lyapunov函数是判断非线性系统稳定性的一种常见方法。

一个Lyapunov函数是一个实数函数,它可以度量系统状态与平衡点的距离。

如果Lyapunov函数是严格下降的,那么系统就是稳定的。

通过构造合适的Lyapunov函数来判断系统的稳定性,是非常实用的方法。

最后是Poincaré-Bendixson定理。

Poincaré-Bendixson定理是关于非线性系统稳定性和周期性的一个重要定理。

非线性微分方程及稳定性

非线性微分方程及稳定性

定理 (1) 若矩阵A的全部特征值都具有负实部,则系统 (6.12)的零解是渐近稳定的;
(2) 若矩阵A的全部特征值中至少有一个具有正实部,则系统 (6.12)的零解是不稳定的.
定理(Hurwitz准则) 实系数 n 次代数方程
的所有根具有负实部(包括负实根)的充分必要条件是:
定理 若特征方程
没有零根或零实部的根,则非
就有
则称系统(6.3)的零解
是渐近稳定的; 区域
称为
吸引域;如果吸引域是全空间,则称
是全局渐近
稳定的
. (3) 若


使

则称
是不稳定的。
6.3 相平面
现在讨论二阶微分方程组
(6.5)
它的解
(6.6)
如果把时间t当做参数,仅考虑x,y为坐标的(欧氏)空间, 此空间成为方程组(6.5)的相平面(若方程组是高阶的,则称为 相空间)。在相平面(相空间)中方程组的曲线称为轨线。对一般 的方程组(6.5)在相平面上一个点可能有不止一条轨线经过。但 如果方程组(6.5)是驻定方程组,即其右端函数不显含时间t的情 形,此时(6.5)式变成:
为研究(6.1)的特解
邻近的解的性态,通常先利用
变换: 把方程(6.1)化为:
(6.28) (6.3)
其中 此时显然有:
(6.4)
6.2 稳定性的基本概念
定义6.1 设
是系统(6.3)适合初值条件
的解
(1) 若
使得只要
对一切
恒有
则称系统(6.3)的零解
是稳定的。
(2) 若 1)
是稳定的;
2)
使得只要
)趋近于它时,称此极限圈为
稳定的。如果轨线是负向(即

第六章非线性微分方程

第六章非线性微分方程

第六章 非线性微分方程教学目的:使学生重点掌握二维自治系统奇点的分类及其附近的轨线分布;理解稳定性概念及其判定定理,会应用稳定性概念、线性化系统的特征值、Liapunov 第二方法讨论自治系统的解的稳定性;了解周期解和极限环的概念.教学内容:1、存在唯一性定理、稳定性2、相平面相平面、奇点分类、按线性近似决定微分方程组的稳定性. 3、Liapunov 第二方法 Liapunov 第二方法. 4、极限圈 周期解、极限环.教学重难点:奇点的分类与相应零解的稳定性 教学过程:§6.1 稳定性6.1.1 常微分方程组的存在唯一性定理本章讨论非线性常微分方程组n R Y Y t G dtdY∈=),;( (6.1)的解的性态.设给定方程组(6.1)的初值条件为00)(Y t Y =, (6.2) 考虑包含点),,,;(),(02010000n y y y t Y t Λ=的某区域 b Y Y a t t R ≤-≤-00,:. 在这里Y 的范数Y 定义为∑==ni iyY 12. 所谓),(Y t G 在域G 上关于Y 满足局部利普希茨条件是指:对于G 内任一点),(00Y t ,存在闭邻域G R ⊂,而),(Y t G 于R 上关于Y 满足利普希茨条件,即存在常数0>L ,使得不等式Y Y L Y t G Y t G -≤-~);()~;( (6.3) 对所有R Y t Y t ∈),(),~,(成立. L 称为利普希茨常数.存在唯一性定理 如果向量函数),(Y t G 在域R 上连续,且关于Y 满足利普希茨条件,则方程组(6.1)存在唯一解),;(00Y t t Y ϕ=,它在区间h t t ≤-0上连续,而且0000),;(Y Y t t =ϕ 这里);(max ),,min(),(Y t G M Mba h G Y t ∈==.解的延拓与连续定理 如果向量函数),(Y t G 在域G 内连续,且关于Y 满足局部利普希茨条件,则方程组(6.1)的满足初值条件(6.2)的解),;(00Y t t Y ϕ=)),((00G Y t ∈可以延拓,或者延拓到∞+(或∞-);或者使点)),;(,(00Y t t t ϕ任意接近区域G 的边界. 而解),;(00Y t t ϕ作为00,;Y t t 的函数在它的存在范围内是连续的.可微性定理 如果向量函数),(Y t G 及),,2,1,(n j i y G jiΛ∂∂在域G 内连续,那么方程组(6.1)由初值条件(6.2)确定的解),;(00Y t t Y ϕ=作为00,;Y t t 的函数,在它的存在范围内是连续可微的.6.1.2 李雅普诺夫稳定性考虑一阶非线性方程2By Ay dtdy-= (6.4)其中B A ,为常数且0>⋅B A ,初值条件为0)0(y y =.为研究方程组(6.1)的特解)(t Y ϕ=邻近的解的性态,通常先利用变换)(t Y X ϕ-= (6.6) 把方程组(6.1)化为);(X t F dtdX=, (6.7)其中))(;())(;()();();(t t G t X t G dtt d Y t G X t F ϕϕϕ-+=-=. 此时显然有 0)0;(=t F (6.8) 而把方程组(6.1)的特解)(t Y ϕ=变为方程组(6.7)的零解0=X . 于是,问题就化为讨论方程组(6.7)的零解0=X 邻近的解的性态.驻定微分方程常用的特解是常数解,即方程右端函数等于零时的解,如方程(6.4)的特解)(),(21t y t y . 微分方程的常数解,又称为驻定解或平衡解.考虑微分方程组(6.7),假设其右端函数),(X t F 满足条件(6.8)且在包含原点的域G 内有连续的偏导数,从而满足解的存在唯一性、延拓、连续性和可微性定理的条件.定义1 如果对任意给定的0>ε,存在)(00有关和一般与t εδδ>,使当任一0X 满足δ≤0X 时,方程组(6.7)的由初值条件00)(X t X =确定的解)(t X ,对一切0t t ≥均有ε<)(t X .则称方程组(6.7)的零解0=X 为稳定的.如果(6.7)的零解0=X 稳定,且存在这样的00>δ使当00δ≤X 时,满足初值条件00)(X t X =的解)(t X 均有0)(lim =+∞→t X t ,则称方程组(6.7)的零解0=X 为渐近稳定的.如果零解0=X 渐近稳定,且存在域0D ,当且仅当00D X ∈时满足初值条件00)(X t X =的解)(t X 均有0)(lim =+∞→t X t ,则域0D 称为(渐近)稳定或吸引域. 若稳定域为全空间,即+∞=0δ,则称零解0=X 为全局渐近稳定的或简称全局稳定的.当零解0=X 不是稳定时,称它是不稳定的. 即是说:如果对某个给定的0>ε不管0>δ怎样小,总有一个0X 满足δ≤0X ,使由初值条件00)(X t X =所确定的解)(t X ,至少存在某个01t t >使得ε=)(1t X ,则称方程组(6.7)的零解0=X 为不稳定的.二维情形零解的稳定性态,在平面上的示意图如图(6.2)(见254页)6.1.3 按线性近似决定稳定性 考虑一阶常系数线性微分方程组AX dtdX= (6.10) 由第五章5.3的(5.52)式可知,它的任一解均可由n i e t cii lm t m im≤≤∑=1,0λ (6.11)的线性组合,这里i λ为方程组(6.10)的系数矩阵A 的特征方程0)det(=-E A λ (6.12) 的根,i l 为零或正整数,由根i λ的重数决定.根据(6.11),与第五章相对应的可得如下结论.定理1 若特征方程(6.12)的根均具有负实部,则方程组(6.10)的零解是渐近稳定的;若特征方程(6.12)具有正实部的根,则方程组(6.10)的零解是不稳定的;若特征方程(6.12)没有正实部的根,但有零根或具有零实部的根,则方程组(6.10)的零解可能是稳定的也可能是不稳定的,这要看零根或具有零实部的根其重数是否等于1而定.考虑非线性方程组)(X R AX dtdX+=, (6.13)其中0)0(=R ,且满足条件0)(→XX R (当0→X 时). (6.14)显然0=X 是方程组(6.13)的解. 亦是方程组的奇点.问题 在什么条件下,(6.13)的零解稳定性能由线性微分方程组(6.10)的零解的稳定性来决定. 这便是所谓按线性近似决定稳定性的问题.定理2 若特征方程(6.12)没有零根或零实部的根,则非线性微分方程组(6.13)的零解的稳定性态与其线性近似的方程组(6.10)的零解的稳定性态一致. 这就是说,当特征方程(6.12)的根均具有负实部时,方程组(6.13)的零解是渐近稳定的,而当特征方程(6.12)具有正实部的根时,其零解是不稳定的.(6.2中再补充证明)该定理说明非线性微分方程组(6.13)的零解是否为渐近稳定的取决于其相应的特征方程(6.12)的全部的根是否具有负实部.临界情形至于特征方程(6.12)除有负实部的根外还有零根或具零实部的根的情形,非线性微分方程组(6.13)的零解的稳定性态并不能由线性近似方程组(6.10)来决定. 因为可以找到这样的例子,适当变动)(t R (条件(6.14)仍满足),便可使非线性微分方程组(6.13)的零解是稳定的或是不稳定的.例1 考虑有阻力的数学摆的振动,其微分方程为0sin 22=++ϕϕμϕl gdt d m dtd , (6.15) 这里长度l ,质量m 和重力加速度g 均大于0,并设阻力系数0>μ. 令dtd y x ϕϕ==,,将方程(6.15)化为一阶微分方程组x lg y m dt dy y dt dx sin ,--==μ (6.16) 原点是方程组的零解.赫尔维茨(Hurwitz )判别代数方程的根的实部是否均为负的法则. 定理3 设给定常系数的n 次代数方程0122110=+++++---n n n n n a a a a a λλλλΛ, (6.18)其中00>a ,作行列式,,0,,345123013231211Λa a a a a a a a a a a a a =∆=∆=∆ ,000142322212012301-----∆==∆n n nn n n n n a a a a a a a a a a a a ΛM MM M M ΛΛ 其中0=i a (对一切n i >).那么,方程(6.18)的一切根均有负实部的充分必要条件是下列不等式同时成立: 0,0,,0,0,01321>>∆>∆>∆>-n n a a Λ. 证明见高等代数的课本,略.例2 考虑一阶非线性微分方程组⎪⎪⎪⎩⎪⎪⎪⎨⎧+--+=++-=+-+-=),(,,222232z y e z y x dtdz z y x y x dtdy e x z y x dt dx x x 例3 对三次方程0)1(2)()1(23=-++++++c ab c a b b a λλλ,其中0,0,0>>>c b a ,考虑其根均具有负实部时参数c 的变化范围.习题6.1 第260页1(1),(3);3(1),(3);4(1),(3);5§6.2 V 函数方法6.2.1 李雅普诺夫定理对于数学摆的振动,当摆有阻力时可由其线性近似方程组决定它的稳定性. 但当摆无阻力时,方程组(6.16)变成x lg dt dy y dt dx sin ,-== (6.19) 属于临界情形,不能按线性近似决定其稳定性. 为判断其零解的稳定性态. 直接对方程组(6.19)进行处理. 李雅普诺夫第二方法的思想:构造一个特殊的函数),(y x V ,并利用函数),(y x V 及其通过方程组的全导数dty x dV ),(的性质来确定方程组解的稳定性. 具有此特殊性质的函数),(y x V 称为李雅普诺夫函数,简称V 函数.如何应用V 函数来确定非线性微分方程组的解稳定性态问题. 只考虑非线性驻定微分方程组)(X F dtdX= (6.20)定义2 假设)(X V 为在域H X ≤内定义的一个实连续函数,0)0(=V . 如果在此域内恒有0)(≥X V ,则称函数V 为常正的;如果对一切0≠X 都有0)(>X V ,则称函数V 为定正的;如果函数V -是定正的(或常正的),则称函数V 为定负(或常负)的.进而假设函数)(X V 关于所有变元的偏导数存在且连续,以方程(6.20)的解代入,然后对求t 导数i ni ii n i i f x Vdt dx x V dt dV ∑∑==∂∂=∂∂=11, 这样求得的导数dtdV称为函数V 通过方程(6.20)的全导数. 例1函数 2)(),(y x y x V +=是常正的;而函数42)(),(y y x y x V ++=是定正的;定理4 如果对微分方程组(6.20)可以找到一个定正函数)(X V ,其通过(6.20)的全导数dtdV为常负函数或恒等于零,则方程组(6.20)的零解是稳定的. 如果有定正函数)(X V ,其通过(6.20)的全导数dtdV为定负的,则方程组(6.20)的零解是渐近稳定的.如果存在函数)(X V 和某非负常数μ,而通过(6.20)的全导数dtdV可以表示为)(X W V dtdV+=μ, 且当0=μ时,W 为定正函数,而当0≠μ时W 为常正函数或恒等于零;又在0=X 的任意小邻域内都至少存在某个X ,使0)(>X V ,那么,方程组(6.20)的零解是不稳定的. 证明详见第265页.几何解释 由未知函数组成的空间称为相空间,二维相空间又称为相平面,微分方程的解在相空间中的轨迹称为轨线,轨线亦可定义为积分曲线在相空间中的投影.以平面微分方程组为例,从相平面上轨线与V 函数的关系来说明稳定性定理的几何意义.例2 考虑平面微分方程组33,ay x dtdyax y dtdx+=+-=, (6.26)定理4是李雅普诺夫稳定性的基本定理,对含有时间t 的非驻定的微分方程组及含有时间t 的V 函数),(X t V 也有相应的定理,其证明也一样.定理5 如果存在定正函数)(X V ,其通过方程组(6.20)的全导数dtdV为常负,但使 0)(=dtt dV 的点X 的集中除零解0=X 之外并不包含方程组(6.20)的整条正半轨线,则方程组(6.20)的零解是渐近稳定的. 定理5的证明与定理4的类似.例3 数学摆的稳定性问题 6.2.2 二次型V 函数的构造应用李雅普诺夫第二方法判断微分方程组零解的稳定性的关键是找到合适的V 函数. 如何构造满足特定性质的V 函数是一个有趣而复杂的问题. 这里考虑常系数线性微分方程组构造二次型V 函数的问题,并利用它来补充证明按线性近似决定稳定性的定理2定理6 如果一阶线性方程组AX dtdX= (6.10)的特征根i λ均不满足关系),,2,1,(0n j i j i Λ==+λλ,则对任何负定(或正定)的对称矩阵C ,均有唯一的二次型 )()(B B BXX X V T T== (6.27)使其通过方程组(6.10)的全导数有)(C C CX X dtdVT T ==. (6.28)且对称矩阵B 满足关系式C BA B A T=+, (6.29) 这里TA ,TB ,TC TX 分别表示X C B A ,,,的转置.如果方程组(6.10)的特征根均具有负实部,则二次型(6.27)是定正(或定负)的;如果方程组(6.10)有均正实部的特征根,则二次型(6.27)不是常正(或常负)的.例4 考虑二阶线性微分方程02322=++x dt dxdtx d , 经过变换y dtdx= 习题6.2 1(1),(3),(5);2(1),(3);3(1),(3),(5);4;5§6.3 奇点考虑二维(平面)一阶驻定微分方程组⎪⎩⎪⎨⎧==),,(),,(y x Y dtdy y x X dt dx(6.33)同时满足0),(,0),(==y x Y y x X 的点),(**y x 是微分方程组(6.33)的奇点,*=x x ,*=y y 是方程的解. 可从通过坐标平移将奇点移到原点)0,0(,此时0)0,0()0,0(==Y X .考虑驻定微分方程组是线性的情形下其轨线在相平面上的性态,并根据奇点邻域内轨线分布的不同性态来区分奇点的不同类型. 这时方程的形式为⎪⎩⎪⎨⎧+=+=.,dy cx dtdyby ax dt dx(6.36)显然,坐标原点0,0==y x 是奇点. 如果方程组的系数满足条件0≠dc b a (6.37)则此奇点还是唯一的. 以下假定条件(6.37)成立.按特征根为相异实根、重根或共轭复根,分五种情形进行讨论. 情形1 同号相异实根 这时方程的标准形式为ηληξλξ21,==dtd dt d ,(6.40) 其解为t tBe t Aet 21)(,)(λληξ==, (6.41)其中21,λλ为实特征根,而B A ,是任意实数.21,λλ同为负实数时,方程的零解是渐近稳定的,称对应的奇点为稳定结点. 21,λλ同为正实数时,方程的零解为不稳定的,而对应的奇点称为不稳定结点.情形2 异号实根, 奇点称为鞍点.鞍点是不稳定的. 情形3 重根 这时可分两种情况讨论:(1)0≠b 或0≠c . 如前面所指出的,这时方程可化为如下标准形式ληηηλξξ=+=dtd dt d ,, (6.42) 其解为t tAe t eB At t λληξ=+=)(,)()(, (6.43)其中λ为实特征根,而B A ,是任意实常数.当0<λ时,奇点称为稳定退化结点. 假如0>λ,奇点是不稳定退化结点.(2)0==c b ,这时方程组(6.36)取形式 d a y dtdy x dt dx ====λλλ,,, 其解为t tBe t y Ae t x λλ==)(,)(,于是 x ABy =. 奇点称为奇结点,且0<λ时为稳定的,而0>λ时为不稳定的.情形4 非零实部复根 这时方程的标准形式为αηβξηβηαξξ+-=+=dtd dt d ,,(6.44) 这里βα,分别为特征根的实部和虚部. 方程(6.44)的解的极坐标形式B t Ae r t +-==βθα,, (6.45) 其中0>A 和B 为任意常数.奇点为焦点,且0<α时为稳定的,而0>α时为不稳定的. 情形5 纯虚根奇点称为中心. 零解为稳定,但非渐近稳定的. 定理7 如果平面线性驻定方程组(6.36)的系数满足条件(6.37),则方程的零解(奇点)将依特征方程(6.39)的根的性质而分别具有如下的不同特性:(1)如果特征方程的根21λλ≠为实根,而021>λλ时奇点为结点,且当01<λ时结点是稳定的,而对应的零解为渐近稳定的,但当01>λ时奇点和对应的零解均为不稳定的;当021<λλ时奇点为鞍点,零解为不稳定的.(2)如果特征方程具有重根λ,则奇点通常为退化结点,但在0==c b 的情形奇点为奇结点. 又当0<λ时,这两类结点均为稳定的,而零解为渐近稳定的,但当0>λ时奇点和对应的零解均为不稳定的.(3)如果特征方程的根为共轭复根,即21λλ=,则当0Re 1≠λ时奇点为焦点,且当0Re 1<λ时焦点为稳定的,对应的零解为渐近稳定的,而当0Re 1>λ时奇点和对应的零解均为不稳定的;当0Re 1=λ时奇点为中心,零解为稳定但非渐近稳定的.程(6.36)的奇点)0,0(O ,当0det ≠A 时,根据A 的特征根的不同情况可有如下的类型:⎪⎪⎪⎪⎩⎪⎪⎪⎪⎨⎧⎩⎨⎧⎪⎪⎩⎪⎪⎨⎧⎩⎨⎧⎩⎨⎧中心—实部为零焦点—实部不为零复根退化结点临界结点重(非零)实根鞍点—异号结点—同号相异(非零)实根实根 A 的系数与奇点分类的关系1)042>-q p○1 0>q奇点为结点二根同负二根同正--⎭⎬⎫><00p p○2 奇点为鞍点二根异号--<0q 2)042=-q p结点奇点为临界结点或退化负的重根正的重根--⎭⎬⎫><00p p 3)042<-q p0≠p 复数根的实部不为零,奇点为焦点 0=p 复数根的实部为零,奇点为中心.综合上面的结论,由曲线q p 42=,q 轴及p 轴把q p 0平面分成几个区域,不同的区域,对应着不同类型的奇点(见288页(图6.10)).例1 考虑二阶线性微分方程02322=++x dt dxdtx d , 通过变换y dt dx=可将它化为下列方程组 ⎪⎩⎪⎨⎧--==,32,y x dtdyy dt dx习题6.3 1;2;3.§6.4 极限环和平面图貌6.4.1 极限环对于二阶常系数微分方程组,除了在中心型奇点邻域内轨线是一族围绕原点的闭曲线(对应于方程组的周期解)外;其余的情形均是一端趋于奇点(+∞→t 或-∞→t ),另一端趋于无穷远(-∞→t 或+∞→t )或两端都趋于无穷远的轨线,不存在其他的复杂情形. 对于非线性微分方程组,在6.1中利用线性近似方程组讨论了奇点邻域的轨线性态,至于全相平面的轨线图貌,情况就复杂多了.例1 对平面二阶非线性驻定方程组⎪⎩⎪⎨⎧+-+-=+-+=)(),(2222y x y y x dtdy y x x y x dt dx (6.47) 如取极坐标θcos r x =,θsin r y =,则方程组(6.47)可化为)1(2r r dt dr -=,1-=dtd θ, 孤立的周期解(闭轨线),在相平面上称为极限环. 当极限环附近的轨线均正向(即+∞→t 时)趋近于它时,称此极限环为稳定的. 如果轨线是负方向(即-∞→t 时)趋近于它时,称此极限环为不稳定的. 当此极限环的一侧轨线正向趋近于它时,称此极限环为半稳定的.不先求出特解(如上例的1=r ),而仅仅由构造出的环域D 便可以证明在此环域内必存在极限环. 这种构造特殊环域来寻求极限环的方法称为本迪克松(Bendixson )方法. 定理8 如果G 内存在有界的环形闭域D ,在其内不含有方程组(6.33)的奇点,而(6.33)的经过域D 上点的解)(),(t y y t x x ==,当0t t ≥(或0t t ≤)时不离开该域,则或者其本身是一个周期解(闭轨线),或者它按正向(或负向)趋近于D 内的某一周期解(闭轨线).通过构造有特殊性质的域D 可以确定周期解(极限环)的存在性,能否通过构造具有别的性质的域*D 来否定周期解(极限环)的存在呢?定理9 如果于G 内存在单连通域*D ,在其内函数yY x X ∂∂+∂∂不变号且在*D 内的任何子域上不恒等于零,则方程组(6.33)在域*D 内不存在任何周期解,更不存在任何极限环.例2 考虑6.1例1的数学摆,范德波尔微分方程 0)1(222=+-+x dt dx x dtx d μ, (6.49) 考虑所谓的李纳(Lienard )微分方程0)()(22=++x g dt dx x f dt x d , (6.50)如果记⎰=x dx x f x F 0)()(,并设)(x F dt dx y +=,则方程(6.50)可化为平面微分方程组 )(),(x g dtdy x F y dt dx -=-=. (6.51) 对于方程(6.50)或方程组(6.51),有下面的定理.定理10 假设(1))(x f 及)(x g 对一切x 连续,)(x g 满足局部利普希茨条件;(2))(x f 为偶函数,)(,0)0(x g f <为奇函数,当0≠x 时0)(>x xg ;(3)当±∞→x 时,)(;)(x F x F ±∞→有唯一正零点a x =,且对)(,x F a x ≥是单调增加的.那么,方程(6.50)有唯一周期解,即方程组(6.51)有一个稳定的极限环6.4.2 平面图貌奇点和极限环是相平面上两种特殊的轨线,希望在相平面上画出一般的轨线的图貌,以了解微分方程的解的性态.定理11 两种群竞争一般模型(6.53)的每一条轨线,当∞→t 时都趋于有限个平衡点之一.定理12 平面驻定微分方程(6.33)在平面有界区域上结构稳定的充要条件是(1) 只有有限个奇点,且均为双曲的;(2) 只有有限个闭轨,且均为单重极限环;(3) 没有鞍点之间的分界线.习题6.4 第307页 1(1),(3);2(1),(3).。

9-第六章 非线性微分方程(1)

9-第六章 非线性微分方程(1)

当 f (t , x) 在某域 G 内 兹条件. 存在唯一性定理
∂f 存在且连续,则 f (t , x) 在 G 上关于 x 满足局部李普希 ∂x
如 f (t , x) 在某域 G 内连续,且关于 x 满足局部李普希茨条
件,则方程组(1)在区间 t − t0 ≤ h 上存在唯一解 x = ϕ (t , t0 , x0 ), ϕ (t0 , t0 , x0 ) = x0 ,其中
6 -- 4
dV 可表为 dt
dV = μV + W ( x) 且当 μ = 0 时 W 为定正函数,当 μ ≠ 0 时 W 为常负函数或恒为零, dt
又在 x = 0 的任意小邻域内至少存在某个 x 使得 V ( x ) > 0 ,则方程组(1)的零解是 不稳定的. (3) 二次型 V 函数的构造 如果 n 维一阶常系数线性微分方程组
∂f 在域 G 内连续, 则方程组(1)的满足初值条件 (2) ∂x
的解 x = ϕ (t , t0 , x0 ) 作为 t , t0 , x0 的函数在它的存在范围内是连续可微的. (2) 李雅普诺夫稳定性 (a) 零解 可以通过变换 x = y − ϕ (t ) 化为方程组 对方程组
dy = g (t , y ) 的某特解 y = ϕ (t ) , dt
6 -- 1
⎛ b h = min ⎜ a, ⎝ M
⎞ f (t , x ) . ⎟ , M = (max t , x )∈R ⎠
解的延拓与连续性定理
如 f (t , x) 在某域 G 内连续且关于 x 满足局部李普希
茨条件, 则方程组(1)的满足初值条件 (2) 的解 x = ϕ (t , t0 , x0 ) ((t0 , x0 ) ∈ G ) 可以延拓, 或者延拓到 +∞ (或 −∞ );或者延拓到使点( (t ,ϕ (t , t0 , x0 )) )任意接近 G 的边界.而方 程组(1)的解 x = ϕ (t , t0 , x0 ) 作为 t , t0 , x0 的函数在它的存在范围内是连续的. 可微性定理 如 f (t , x) 和

《常微分方程》第六章 非线性微分方程

《常微分方程》第六章 非线性微分方程

定理6.1 (稳定性的Liapunov判别法) 设有定义在 D Rn
上的定正(定负)函数 V (x), dV dt
(6.2)
表示 V (x) 沿系统(6.2)的轨线
的全导数
dV (1) 若 dt (6.2)
dV (2) 若 dt (6.2)
在 D 上是常负(常正)的,则 x 0 是稳定的; 在 D 上是定负(定正)的,则 x 0 是渐近稳定的;
称为 x 0 吸引域;如果吸引域是全空间,则称 x 0 是全局渐近
稳定的.
(3) 若 0 0, 0, 都 x0 与 t1 t0 , 使 x0 ,
但 x(t;t0, x0 , 则称 x 0 是不稳定的;
例如, 微分方程 dx ax
dt
满足初值条件 x(t0 ) x0 ,
(a)
(b)
又知,对任意常数,函数x cos(t ), y sin(t ), 也是方程组的解,它的积分曲线是经过(,1, 0)的螺旋
线,但是它们与解x cos t, y sin t有同一条轨线 x2 y2 1.
同是,我们也可以看出, x cos(t ), y sin(t )
(6.1)称为非自治系统, (6.2)称为自治系统,
6.1.1 非自治系统与自治系统的主要区别
自治系统不论是在相空间还是增广相空间,轨线匀不相交. 而非自
治系统在增广相空间积分曲线不相交,但在相空间轨线可能相交.
定义6.1 若存在 x* D 使 f (x*) 0, 则点 x* 称为系统(6.2)
的解为
x x0ea(tt0 ) .
6.3 判定稳定性的Liapunov函数法
定义6.3 设 D x x H Rn,V C(1) (D).

常微分方程的稳定性分析

常微分方程的稳定性分析

常微分方程的稳定性分析稳定性分析是常微分方程理论中的一个重要内容,它研究的是在一定条件下,常微分方程解的性质及其随时间变化的行为。

稳定性分析不仅在数学中具有深远意义,而且在物理、工程等应用领域也具有重要的价值。

1. 引言常微分方程是研究函数和它的导数之间关系的数学方程。

它在各个学科中都有广泛的应用,如物理学中的运动学、生物学中的生态系统模型、经济学中的经济增长模型等。

稳定性分析是对常微分方程解的行为进行评估和预测的方法,具有重要的理论和应用意义。

2. 稳定性的定义在稳定性分析中,我们关注的是方程解在微小扰动下的行为。

一个常微分方程解是稳定的,如果它对于任意微小的初始扰动都能保持接近原解。

换句话说,一个稳定的解在扰动下不会发生剧烈的变化。

相反,如果方程解对于微小扰动非常敏感,那么这个解就是不稳定的。

3. 稳定性的分类根据方程解的性质,我们可以将稳定性进一步分为以下几种:3.1 渐近稳定性如果一个方程解在长时间的演化过程中会趋向于某个特定的值,我们就称这个解是渐近稳定的。

换句话说,当时间趋向于无穷大时,解会趋于一个固定的稳定点或者稳定状态。

3.2 李亚普诺夫稳定性李亚普诺夫稳定性是一种更加严格的稳定性概念。

一个解是李亚普诺夫稳定的,当且仅当对于任意微小的初始扰动,解都能保持在一条逐渐靠近稳定状态的曲线上。

3.3 指数稳定性指数稳定性是对解的衰减速度的描述。

一个解是指数稳定的,如果其衰减速度超过了任何指数函数。

4. 稳定性分析的方法稳定性分析的方法有很多,其中一些常用的方法包括线性稳定性分析、李亚普诺夫函数的构造以及隐函数定理的应用等。

4.1 线性稳定性分析线性稳定性分析是一种简单而常用的方法。

它基于线性化的概念,即将非线性方程在稳定点附近进行线性逼近。

通过线性化方程,我们可以得到关于稳定性的有用信息。

4.2 李亚普诺夫函数的构造李亚普诺夫函数是一种在稳定性分析中常用的工具。

通过构造适当的李亚普诺夫函数,我们可以判断解的稳定性,并对解的演化过程进行描述。

常微分方程的稳定性

常微分方程的稳定性

常微分方程的稳定性常微分方程是研究函数和它的导数之间关系的数学工具。

在科学和工程领域中,我们经常遇到描述自然现象或系统动态演化的问题,而常微分方程正是用来描述这些变化过程的数学语言。

对于一个常微分方程而言,了解和判断它的稳定性是十分重要的,因为它反映了系统的长期行为和演化方向。

一、稳定性的概念稳定性是指系统在经历一定的扰动后,能回归到原来的状态或者逐渐趋向于某一稳定的状态。

在常微分方程的研究中,我们主要关注的是方程解的稳定性。

解的稳定性可以分为以下几种情况:1. 稳定解:如果在解的某个附近,初始条件的微小扰动不会引起解的显著变化,那么我们称这个解是稳定的。

2. 汇合解:如果初始条件的微小扰动会使解趋向于某个特定的解,那么我们称这个解是汇合解,或者吸引解。

3. 不稳定解:如果初始条件的微小扰动会导致解远离原来的状态,那么我们称这个解是不稳定的。

二、线性方程的稳定性对于一阶线性常微分方程$$\frac{dy}{dx} = f(x)y$$线性方程的稳定性可以通过解的特征值来判断。

1. 实特征值:如果特征值的实部为负,则解是稳定的。

如果特征值的实部为正,则解是不稳定的。

2. 复特征值:如果特征值的实部小于零,解是稳定的;如果特征值的实部大于零,解是不稳定的。

而特征值的虚部则决定了解的振荡程度,如果虚部存在,则解是振荡的。

三、非线性方程的稳定性非线性方程的稳定性分析相对复杂,没有统一的判据。

在研究中,我们主要使用的方法有:1. 线性化法:将非线性方程近似为线性方程,然后用线性方程的稳定性条件进行分析。

2. Lyapunov函数法:通过构造Lyapunov函数来判断解的稳定性。

如果能找到一个满足特定条件的Lyapunov函数,那么解是稳定的。

3. 相图法:通过画出相图来观察解的稳定性。

相图可以展示出解的演化轨迹及其吸引子,从而判断其稳定性。

四、稳定性的应用常微分方程的稳定性理论在科学和工程中有广泛的应用。

1. 科学研究:稳定性理论可以用于描述自然现象和生物系统的变化过程,比如描述人口增长、化学反应动力学等问题。

江苏大学-常微分方程-6.2 非线性方程组零解稳定性判定-V函数法

江苏大学-常微分方程-6.2 非线性方程组零解稳定性判定-V函数法
2 2
h(x,y,z) x (x y) z 定负函数:若 - V(x)为定正函数, 则称V( x)为定负函数。
2 2 4
例子:f(x) x 2; g(x,y) x 2 - y 4; h(x,y,z) x 2xy y x y
2 2 2 2
2. 2 常号函数
常正函数:若V( x) 0, x , 则称V( x)在{ x }上为常正函数。
例子:f(x) x ; g(x,y) x ;
2 2
h(x,y,z) x (x y) z 常负函数:若 V(x)为常正函数, 则称V( x)为常负函数。
2 2 4
第二节 稳定性判定-V函数方法
Yuhai Wu
yuhaiwu@
Faculty of Science, Jiangsu University
提纲
1. 引例 2. 定号函数定义和V函数定义 3. 渐近稳定性判定定理 4. 稳定性判定定理 5. 不稳定性判定定理
1. 一个由线性化方法无法判定稳定性 例子
dx dy 2 2 3 例子: 考察方程组 -x xy , -2x y - y . dt dt 零解的稳定性。
4. 1 稳定性判定--V函数方法
dx dy 考察方程组 P(x,y), Q(x,y). dt dt 若P(0,0) Q(0,0) 0,即方程组存在 零解 , 且存在V(x, y)为 V函数 ,使得V(x, y)沿方程解曲线的 全导数 为 常负函数 或 恒等于零 , 则方程组的零解为 稳定的 。 dx dy 3 例子: 考察方程组 -x 2y , -2xy 2 dt dt 零解的稳定性。
dx dy 考察方程组 P(x,y), Q(x,y).若 V(x,y) dt dt dV V dx V dy 为V函数,称 为 dt x dt y dt V(x,y)沿方程解曲线的 全导数 。
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

第六章 非线性微分方程和稳定性
[教学目标]
1. 理解解的稳定性、零解稳定性及零解渐进稳定性的概念。

2. 掌握平面初等奇点的分类方法。

3. 了解拟线性近似决定微分方程组的稳定性及用李雅谱若夫第二方法判别稳定性的方法。

4. 了解周期解和极限环的概念。

[教学重难点] 奇点的分类与相应零解的稳定性。

[教学方法] 讲授,实践。

[教学内容] 解的稳定性定义,相平面、相轨线与相图;平面自治系统的性质,奇点的分类及相应零解的稳定性;拟线性近似,李雅谱若夫第二方法判别稳定性,周期解和极限环的概念。

[考核目标]
1.奇点的分类及相应零解的稳定性。

2.李雅谱若夫第二方法判别稳定性。

3.会求周期解和极限环。

§1 相平面、相轨线与相图
把xoy 平面称为平面自治系统
⎩⎨⎧==)
,(),(y x Q y y x P x && (6.1) 的相平面.
把(6.1)式的解(),()x x t y y t ==在xoy 平面上的轨迹称为(6.1)式的轨线或相轨线. 轨线族在相平面上的图象称为(6.1)式的相图.
注意:在上述概念中,总是假设(6.1)式中的函数(,),(,)P x y Q x y 在区域)(||,|:|+∞≤<<H H y H x D 上连续并满足初值解的存在与唯一性定理的条件.
(6.1)式的解(),()x x t y y t ==在相平面上的轨线,正是这个解在(,,)t x y 三维空间中的积分曲线在相平面上的投影. 下面讨论二阶线性系统⎪⎪⎩⎪⎪⎨⎧+=+=y a x a dt
dx y a x a dt dx 22211211 (6.2) 奇点(0,0)附近轨线的分布:上述系统写成向量形式为方程组)0(det d d ≠=A AX X t 它存在线性变换TX X =~,可化成标准型X J X ~d ~d =t
由A 的特征根的不同情况,方程的奇点可能出现四种类型:结点型,鞍点型,焦点型,中心型.
1.结点型
如果在某奇点附近的轨线具有如图5-1的分布情形,我们就称这奇点为稳定结点.因此,当μ<λ<0时,原点O 是
⎪⎩⎪⎨⎧==y t
y x
t μλd d d dx (6.3) (5.4)式的稳定结点.
图 6-1 图 6-2
如果在某奇点附近的轨线具有如图5-2的分布情形,我们就称这奇点为不稳定结点.因此,当μ>λ>0时,原点O 是(5.4)的不稳定结点.
如果在奇点附近的轨线具有如图5-3和图5-4的分布,就称这奇点为临界结点
.
图 6-3 图 6-4
当λ<0时,轨线在t→+∞时趋近于原点. 这时,我们称奇点O为稳定的临界结点;当λ>0时,轨线的正向远离原点,我们称奇点O为不稳定的临界结点.
如果在奇点附近轨线具有如图5-5及图5-6的分布,就称它是退化结点.当λ<0时,轨线在t→+∞时趋于奇点,称这奇点为稳定的退化结点;当λ>0时,轨线在t→+∞时远离奇点,称这奇点为不稳定的退化结点.
图 6-5 图 6-6
2.鞍点型
如果在某奇附近的轨线具有如图5-7或图5-8的分布情形,我们称这奇点为鞍点.因此,当μ,λ异号时,原点O是(5.25)的鞍点.。

相关文档
最新文档