常微分方程§51 线性微分方程组解的存在唯一性定理51 线性微分方程解的存在唯一性定理

非线性微分方程和稳定性

第六章 非线性微分方程和稳定性 在19世纪中叶,通过刘维尔的工作,人们已经知道绝大多数的微分方程不能用初等积分方法求解.这个结果对于微分方程理论的发展产生了极大影响,使微分方程的研究发生了一个转折.既然初等积分法有着不可克服的局限性,那么是否可以不求微分方程的解,而是从微分方程本身来推断其解的性质呢?定性理论和稳定性理论正是在这种背景下发展起来的.前者由法国数学家庞加莱(Poincar é,1854-1912)在19世纪80年代所创立,后者由俄国数学家李雅普罗夫(Liapunov,1857-1918)在同年代所创立.它们共同的特点就是在不求出方程的解的情况下,直接根据微分方程本身的结构和特点,来研究其解的性质.由于这种方法的有效性,近一百多年以来它们已经成为常微分方程发展的主流.本章对定性理论和稳定性理论的一些基本概念和基本方法作一简单介绍. §6.1 引言 考虑微分方程 (,)d f t dt =x x (6.1) 其中函数(,)f t x 对n D R ∈?x 和t ∈(-∞,+∞)连续,对x 满足局部李普希兹条件. 设 方程(5.1)对初值(t 0,x 1)存在唯一解01(,,)x t t x ?=,而其它解记作00(,,)x x t t x =.现在的问题是:当01x x -很小时,差0001(,,)(,,)x t t x t t x ?-的变化是否也很小?本章向量1(,...,)T n x x =x 的范数取1 221 ()n i i x ==∑x . 如果所考虑的解的存在区间是有限闭区间,那么这是解对初值的连续依赖性,第2章的定理2.7已有结论.现在要考虑的是解的存在区间是无穷区间,那么解对初值不一定有连续依赖性(见下面的例3),这就产生了李雅普诺夫意义下的稳定性概念. 如果对于任意给定的0ε>和00t ≥都存在0(,)0t δδε=>,使得只要0x 满足

微分方程稳定性分解

带有时滞的动力系统的运动稳定性 分五部分内容,第一部分是Понтрягин定理,给出解实部、虚部的形式;第二部分分析了线性系统的一般性质、特征方程重根时解的表示和解的指数估计;第三部分讨论解的存在唯一性;第四部分探讨解的表达式;第五部分给出Фрид定理。以此说明特征方程根的实部的符号可以用以判断带有时滞的线性系统的稳定性。 直接法的基本定理 一、Понтрягин定理 要讨论的常系数线性系统的滞量τ为常数,所指的滞后型与中立型系统分别为1()()n i ij j ij j j x a x t b x t τ=??=+-??∑, 1 ()()()n i ij j ij j ij j j x a x t b x t c x t ττ=??=+-+-??∑,1,2, ,i n =0τ>, 这时,相应的特征方程分别是0ij ij ij a b e λτδλ-+-=, 0ij ij ij ij a b e c e λτλτλδλ--++-=。 对0τ=的情形0ij ij ij a b e λτδλ-+-=为一代数方程1 10n n n P P λλ -+++=。 在常微分方程解的稳定性理论中,关于特征方程()0P λ=的根的实部符号这样一个问题是极其重要的。如果给了方程组的平衡态之位置及其对应的特征多项式()P λ,则欲是平衡态的位置稳定,其充要条件是特征多项式()P λ的所有根都有负实部。 但是,现在的特征方程0ij ij ij a b e λτδλ-+-=,0ij ij ij ij a b e c e λτλτλδλ--++-=已不再是代数方程,可系统的稳定性仍然与特征根的分布紧紧联系在一起,这两个特征方程的一切根i λ都有0i Re λδ≤<时,系统 1()()n i ij j ij j j x a x t b x t τ=??=+-??∑, 1 ()()()n i ij j ij j ij j j x a x t b x t c x t ττ=??=+-+-??∑,1,2, ,i n =0τ>

一阶线性微分方程组

第4章 一阶线性微分方程组 一 内容提要 1. 基本概念 一阶微分方程组:形如 ??? ????? ???===) ,,,,( ),,,,(),,,,(2121222111 n n n n n y y y x f dx dy y y y x f dx dy y y y x f dx dy (3.1) 的方程组,(其中n y y y ,,,21 是关于x 的未知函数)叫做一阶微分方程组。 若存在一组函数)(,),(),(21x y x y x y n 使得在[a,b]上有恒等式 ),,2,1))((,),(),(,() (21n i x y x y x y x f dx x dy n i i ==成立,则 )(,),(),(21x y x y x y n 称为一阶微分方程组(3.1)的一个解 含有n 任意常数n C C C ,,,21 的解 ?????? ?===) ,,,,( ),,,,(),,,,(21321222111n n n n C C C x y C C C x y C C C x y ??? 称为(3.1)通解。如果通解满方程组 ???????=Φ=Φ=Φ0 ),,,,,,,,( 0),,,,,,,,(0),,,,,,,,(21212121221211n n n n n n n C C C y y y x C C C y y y x C C C y y y x 则称这个方程组为(3.1)的通积分。 满足初始条件,)(,,)(,)(0020021001n n y x y y x y y x y === 的解,叫做初值问题的解。 令n 维向量函数 Y )(x =? ??? ?? ??????)( )()(21x y x y x y n ,F (x ,Y )=????????????),,,,( ),,,,(),,,,(21212 211n n n n y y y x f y y y x f y y y x f

微分方程稳定性理论简介

第五节 微分方程稳定性理论简介 这里简单介绍下面将要用到的有关内容: 一、 一阶方程的平衡点及稳定性 设有微分方程 ()dx f x dt = (1) 右端不显含自变量t ,代数方程 ()0f x = (2) 的实根0x x =称为方程(1)的平衡点(或奇点),它也是方程(1)的解(奇解) 如果从所有可能的初始条件出发,方程(1)的解()x t 都满足 0lim ()t x t x →∞ = (3) 则称平衡点0x 是稳定的(稳定性理论中称渐近稳定);否则,称0x 是不稳定的(不渐近稳定)。 判断平衡点0x 是否稳定通常有两种方法,利用定义即(3)式称间接法,不求方程(1)的解()x t ,因而不利用(3)式的方法称直接法,下面介绍直接法。 将()f x 在0x 做泰勒展开,只取一次项,则方程(1)近似为: 0'()()dx f x x x dt =- (4) (4)称为(1)的近似线性方程。0x 也是(4)的平衡点。关于平衡点0x 的稳定性有如下的结论: 若0'()0f x <,则0x 是方程(1)、(4)的稳定的平衡点。 若0'()0f x >,则0x 不是方程(1)、(4)的稳定的平衡点 0x 对于方程(4)的稳定性很容易由定义(3)证明,因为(4)的一般解是 0'()0()f x t x t ce x =+ (5) 其中C 是由初始条件决定的常数。

二、 二阶(平面)方程的平衡点和稳定性 方程的一般形式可用两个一阶方程表示为 112212 () (,)()(,) dx t f x x dt dx t g x x dt ?=??? ?=?? (6) 右端不显含t ,代数方程组 1212 (,)0 (,)0f x x g x x =?? =? (7) 的实根0012 (,)x x 称为方程(6)的平衡点。记为00 012(,)P x x 如果从所有可能的初始条件出发,方程(6)的解12(),()x t x t 都满足 101lim ()t x t x →∞ = 20 2lim ()t x t x →∞ = (8) 则称平衡点00 012(,)P x x 是稳定的(渐近稳定);否则,称P 0是不稳定的(不渐 近稳定)。 为了用直接法讨论方法方程(6)的平衡点的稳定性,先看线性常系数方程 11112 22122 () ()dx t a x b x dt dx t a x b x dt ?=+??? ?=+?? (9) 系数矩阵记作 1 12 2a b A a b ??=???? 并假定A 的行列式det 0A ≠ 于是原点0(0,0)P 是方程(9)的唯一平衡点,它的稳定性由的特征方程 det()0A I λ-= 的根λ(特征根)决定,上方程可以写成更加明确的形式: 2120()det p q p a b q A λλ?++=? =-+??=? (10) 将特征根记作12,λλ,则

第三章 一阶线性微分方程组 第四讲 常系数线性微分方程组的解法1

第四讲常系数线性微分方程组的解法(4课时) 一、目的与要求: 理解常系数线性微分方程组的特征方程 式, 特征根, 特征向量的概念, 掌握常系数线性微分方程组的基本解组的求法. 二、重点:常系数线性微分方程组的基本解组的求法. 三、难点:常系数线性微分方程组的特征方程式, 特征根, 特征向量的概念. 四、教学方法:讲练结合法、启发式与提问式相结合教学法. 五、教学手段:传统板书与多媒体课件辅助教学相结合. 六、教学过程: 1 新课引入 由定理3.6我们已知道,求线性齐次方程组(3.8)的通解问题,归结到求其基本解组. 但是对于一般的方程组(3.8),如何求出基本解组,至今尚无一般方法. 然而对于常系数线性齐次方程组 dY AY dx (3.20)

其中A 是n n ?实常数矩阵,借助于线性代数中的约当(Jordan)标准型理论或矩阵指数,可以使这一问题得到彻底解决. 本节将介绍前一种方法,因为它比较直观. 由线性代数知识可知,对于任一n n ?矩阵A ,恒存在非奇异的n n ?矩阵T ,使矩阵1 T AT -成为约当标准型. 为此,对方程组(3.20)引入非奇异线性变换 Y TZ = (3.21) 其中()(,1,2, ,),ij T t i j n == det 0T ≠,将方程组 (3.20)化为 1 dZ T ATZ dx -= (3.22) 我们知道,约当标准型 1 T AT -的形式与矩阵A 的特征方程 11121212221 2 det()0 n n n n nn a a a a a a A E a a a λλλλ ---= =- 的根的情况有关. 上述方程也称为常系数齐次方程组(3.20)的特征方程式.它的根称为矩阵A 的特征根.

高阶线性微分方程常用解法介绍

高阶线性微分方程常用解法简介 关键词:高阶线性微分方程 求解方法 在微分方程的理论中,线性微分方程是非常值得重视的一部分内容,这不仅 因为线性微分方程的一般理论已被研究的十分清楚,而且线性微分方程是研究非线性微分方程的基础,它在物理、力学和工程技术、自然科学中也有着广泛应用。下面对高阶线性微分方程解法做一些简单介绍. 讨论如下n 阶线性微分方程:1111()()()()n n n n n n d x d x dx a t a t a t x f t dt dt dt ---++++= (1),其中()i a t (i=1,2,3,,n )及f(t)都是区间a t b ≤≤上的连续函数,如果 ()0f t ≡,则方程(1)变为 1111()()()0n n n n n n d x d x dx a t a t a t x dt dt dt ---++++= (2),称为n 阶齐次线性微分方程,而称一般方程(1)为n 阶非齐次线性微分方程,简称非齐次线性微分方程,并且把方程(2)叫做对应于方程(1)的齐次线性微分方程. 1.欧拉待定指数函数法 此方法又叫特征根法,用于求常系数齐次线性微分方程的基本解组。形如 111121[]0,(3),n n n n n n n d x d x dx L x a a a x dt dt dt ---≡++++=其中a a a 为常数,称为n 阶常系数齐次线性微分方程。 111111111111[]()()()n t n t t t t n n n n n n n t t n n n n n n n d e d e de L e a a a e dt dt dt a a a e F e F a a a n λλλλλλλλλλλλλλλλ---------≡++++=++++≡≡++++其中=0(4)是的次多项式. ()F λ为特征方程,它的根为特征根. 1.1特征根是单根的情形 设12,,,n λλλ是特征方程111()0n n n n F a a a λλλλ--≡++++=的n 个彼此不相等的根,则应相应地方程(3)有如下n 个解:12,,,.n t t t e e e λλλ(5)我们指出这n 个解在区间a t b ≤≤上线性无关,从而组成方程的基本解组. 如果(1,2,,)i i n λ=均为实数,则(5)是方程(3)的n 个线性无关的实值 解,而方程(3)的通解可表示为1212,n t t t n x c e c e c e λλλ=+++其中12,,,n c c c 为任意常数. 如果特征方程有复根,则因方程的系数是实常数,复根将称对共轭的出现.设1i λαβ=+是一特征根,则2i λαβ=-也是特征根,因而于这对共轭复根

4微分方程的解及解的稳定性

第四讲 微分方程解的稳定性 上一讲,我们利用最大值原理讨论了新古典经济增长模型,得到了两个方程,一个是状态变量的转移方程,另一个是欧拉方程。这两个方程构成了包含状态变量和控制变量的二元一次方程组。 []δα--=-) ()()()()(1 t k t c t k t k t k []δραα--=-1 )() ()(t k t c t c 这个方程组是一个非线性微分方程组,一般情况下,非线性方程组不存在解析解,即方程组的解不能用初等函数来表示。因此,他们的性质需要借助其他方法来了解。 微分方程:变量为导数的方程叫做微分方程。 常微分方程:只有一个自变量的微分方程叫做常微分方程。 偏微分方程:有两个或两个以上自变量的方程叫做偏微分方程。 微分方程的阶:微分方程中变量的导数最高阶叫做方程的阶。 线性方程:方程的形式是线性的。 例如,方程0)()()()(321=+++t x t y a t y a t y a 是一个二阶线性常微分方程。 又如,索洛-斯旺模型的基本方程是一个非线性方程: ())()()(t k t k s t k ?-=δα 再如,拉姆齐模型的动态是下列微分方程组的解: []δα--=-) ()()()()(1 t k t c t k t k t k []δραα--=-1 )() ()(t k t c t c 一、 一阶微分方程 一阶微分方程可以用下面的方程表示 ),(y x f dx dy = (1.1) 其中,函数R R R f →?:是连续可微函数。 最简单的微分方程是

)(x f dx dy = (1.2) 它的解可表示为不定积分: ?+=c dx x f y )( (1.3) 其中,?dx x f x F )()(=表示任意一个被被积函数,c 为任意常数。当然,我们也可以确定任意一个被积函数,例如,令??x dt t f dx x f x F 0)()()(==, 则(2.2)的不定 积分可表示为 ?+x c dt t f y 0)(= 这时,不定积分仍然代表无穷多条曲线,如果给出初始条件0)0(y y =, 则,上面微分方程的解就是 ?+x y dt t f y 00)(= (1.4) 二、 常见的一阶微分方程解法 1. 一阶线性微分方程 一阶线性微分方程的一般形式为 )()(x g y x p dx dy =+ (2.1) 边界条件(即初始条件)0)0(y y =。 为求解线性微分方程,在方程的两边同乘以?x dt t p 0)(ex p , 则方程的左边为 dx dt t p y d y dt t p x p dt t p dx dy x x x ??? ???= ?+???0 00)(exp )(exp )()(exp 所以 ??? ??=??? ?????x x dt t p x g dx dt t p y d 00)(exp )()(exp (2.2) 方程(2.2)的解为 ?? ????+? ?? ????? ??-=???c dt t p x g dt t p y x x x 000)(exp )()(exp (2.3) 2. 可分离变量的微分方程

第三章 一线性微分方程组 第四讲 常系数线性微分方程组的解法(1)

第四讲 常系数线性微分方程组的解法(4课时) 一、目的与要求: 理解常系数线性微分方程组的特征方程式, 特征根, 特征向量的概念, 掌握常系数线性微分方程组的基本解组的求法. 二、重点:常系数线性微分方程组的基本解组的求法. 三、难点:常系数线性微分方程组的特征方程式, 特征根, 特征向量的概念. 四、教学方法:讲练结合法、启发式与提问式相结合教学法. 五、教学手段:传统板书与多媒体课件辅助教学相结合. 六、教学过程: 1 新课引入 由定理3.6我们已知道,求线性齐次方程组(3.8)的通解问题,归结到求其基本解组. 但是对于一般的方程组(3.8),如何求出基本解组,至今尚无一般方法. 然而对于常系数线性齐次方程组 dY AY dx = (3.20) 其中A 是n n ?实常数矩阵,借助于线性代数中的约当(Jordan)标准型理论或矩阵指数,可以使这一问题得到彻底解决. 本节将介绍前一种方法,因为它比较直观. 由线性代数知识可知,对于任一n n ?矩阵A ,恒存在非奇异的n n ?矩阵T ,使矩阵1T AT -成为约当标准型. 为此,对方程组(3.20)引入非奇异线性变换 Y TZ = (3.21) 其中()(,1,2,,),ij T t i j n ==L det 0T ≠,将方程组(3.20)化为 1dZ T ATZ dx -= (3.22) 我们知道,约当标准型1 T AT -的形式与矩阵A 的特征方程 111212122212det()0n n n n nn a a a a a a A E a a a λλλλ---==-L L M M M L

的根的情况有关. 上述方程也称为常系数齐次方程组(3.20)的特征方程式.它的根称为矩阵A 的特征根. 下面分两种情况讨论. (一) 矩阵A 的特征根均是单根的情形. 设特征根为12,,,,n λλλL 这时 12100 n T AT λλλ-??????=?????? 方程组(3.20)变为 11122200n n n dz dx z dz z dx z dz dx λλλ??????????????????????=???????????????? ?????? M M (3.23) 易见方程组(3.23)有n 个解 1110(),00x Z x e λ????????=????????M 220010(),,()0001n x x n Z x e Z x e λλ????????????????==???????????????? L M M 把这n 个解代回变换(3.21)之中,便得到方程组(3.20)的n 个解 12()i i i i x x i i ni t t Y x e e T t λλ???? ??==?????? M (1,2,,)i n =L

线性微分方程组

第五章 线性微分方程组 [教学目标] 1. 理解线性微分方程组解的存在唯一性定理,掌握一阶齐(非齐)线性微分方程组解的性质与结构, 2. 理解n 阶线性微分方程与一阶线性微分方程组的关系。 3. 掌握非齐次线性微分方程组的常数变易法, 4. 理解常系数齐线性微分方程组基解矩阵的概念,掌握求基解矩阵的方法。 5. 掌握常系数线性微分方程组的Laplce 变换法。 [教学中难点]求解常系数非齐次线性微分方程组 [教学方法] 讲授,实践。 [教学时间] 16学时 [教学内容] n 阶线性微分方程与一阶线性微分方程组的关系,一阶线性微分方程组解的存在唯一性定理;齐(非齐)线性微分方程组解的性质与结构,求解非齐次线性微分方程组的常数变易法;常系数齐线性微分方程组的基解矩阵及求基解矩阵的方法;求常系数线性微分方程组的Laplce 变换法。 [考核目标] 1.线性微分方程组解的性质与结构。 2.能够求解常系数线性微分方程组。 §5.1 存在唯一性定理 5.1.1记号和定义 考察形如 1 11112211221122222 1122()()()()()()()()()()()()n n n n n n n nn n n x a t x a t x a t x f t x a t x a t x a t x f t x a t x a t x a t x f t '=++++??'=++++?? ??'=++++? (5.1) 的一阶线性微分方程组,其中已知函数()(,1,2,,)ij a t i j n = 和()(1,2,,)i f t i n = 在区间a t b ≤≤上 上是连续的。方程组(5.1)关于12,,,n x x x 及1 2,,,n x x x ''' 是线性的. 引进下面的记号: 1112121 22 212()() ()()() ()()()() ()n n n n nn a t a t a t a t a t a t A t a t a t a t ??????=?? ? ? ?? (5.2) 这里()A t 是n n ?矩阵,它的元素是2 n 个函数()(,1,2,,)ij a t i j n = . 12()()()()n f t f t f t f t ??????=?????? 12n x x x x ??????=?????? 1 2n x x x x '????'??'=???? '?? (5.3)

常微分方程平衡点及稳定性研究38112

摘要 本文给出了微分方程稳定性的概念,并举了一些例子来说明不同稳定性定义之间的区别和联系。这些例子都是通过求出方程解析解的方法来讨论零解是否稳定。在实际问题中提出的微分方程往往是很复杂的,无法求出其解析解,这就需要我们从方程本身来判断零解的稳定性。所以我们讨论了通过Liapunov稳定性定理来判断自治系统零解的稳定性,并用类似的方法讨论了非自治系统零解的稳定性。在此基础上,讨论了一阶和二阶微分方程的平衡点及其稳定性,这对其研究数学建模的稳定性模型起到很大的作用,并且利用相关的差分方程的全局吸引性研究了具时滞的单种群模型 ()()()() () .1 1N t N t r t N t cN t ττ -- = -- 的平衡点1 x=的全局吸引性,所获结果改进了文献中相关的结论。关键词:自治系统平衡点稳定性全局吸引性

Abstract In this paper,we gived the conceptions of differential equation stability. Simultaneously a number of examples to illustrate the difference between the definition of different stability and contact. These examples are obtained by analytical solution equation method to discuss the stability of zero solution. Practical issues raised in the often very complicated differential equations, analytical solution can not be obtained, which requires us to determine from the equation itself, the stability of zero solution. So we discussed the stability theorem to determine through the stability of zero solution of autonomous systems, and use similar methods to discuss the non-zero solution of autonomous system stability. On this basis,we discuss a step and the second-step and the stability, which plays the major role to its stability of the model, and the global attractivity of the positive equilibrium 1 x=of the following delay single population model ()()()() () .1 1N t N t r t N t cN t ττ -- = -- is investigated by using the corresponding result related to a difference equation.The obtained results improve some known results in the literature. Key Words:autonomous system;equilibrium point;stability;delay;globally asymptotic stability;global attractivity

第三章一阶线性微分方程组第二讲一阶线性微分方程组的一般概念及理论

第二讲 一阶线性微分方程组的一般概念与 一阶线性齐次方程组的一般理论(4课时) 一、 目的与要求: 了解一阶线性微分方程组的一般概念与一阶线性齐次方程组的一般理论, 掌握一阶线性齐次方程组的通解结构, 理解基本解矩阵, Wronsky 行列式等概念. 二、重点:一阶线性齐次方程组的通解结构, 基本解矩阵, Wronsky 行列式. 三、难点:基本解矩阵, Wronsky 行列式. 四、教学方法:讲练结合法、启发式与提问式相结合教学法. 五、教学手段:传统板书与多媒体课件辅助教学相结合. 六、教学过程: 1. 一阶线性微分方程组的一般概念 如果在一阶微分方程组(3.1)中, 函数12(,,,,)(1,2,,)i n f x y y y i n =, 关于12,,,n y y y 是线性的, 即(3.1)可以写成 1111122112211222221122()()()()()()()()()()()() n n n n n n n nn n n dy a x y a x y a x y f x dx dy a x y a x y a x y f x dx dy a x y a x y a x y f x dx ?=++ ++???=++++?????=++++? ?

(3.6) 则称(3.6)为一阶线性微分方程组. 我们总假设(3.6)的系数()(,1,2,,)ij a x i j n = 及()(1,2,,)i f x i n = 在某个区间I R ? 上连续. 为了方便, 可以把(3.6)写成向量形式. 为此, 记 1112121 22212()()()()()()()()()()n n n n nn a x a x a x a x a x a x A x a x a x a x ??????=?????? 及 12()()()()n f x f x F x f x ???? ??=?????? 根据第13讲的记号, (3.6)就可以写成向量形式 ()()dY A x Y F x dx =+ (3.7) 如果在I 上, ()0F x ≡,方程组(3.7)变成 ()dY A x Y dx = (3.8)

第5章 定性和稳定性理论简介(常微分方程)

第5章定性和稳定性理论简介 在十九世纪中叶,通过Liouville等人的工作,人们已经知道绝大多数微分方程不能用初等积分法求解.这个结果对微分方程理论的发展产生了极大的影响,使微分方程的研究发生了一个转折.既然初等积分法有着不可克服的局限性,那么是否可以不求微分方程的解,而从微分方程本身来推断其性质呢?定性理论和稳定性理论正是在这种背景下发展起来的.前者由法国数学家Poincare(1854-1912)在19世纪80年代所创立,后者由俄国数学家Liapunov(1857-1918)在同年代所创立.它们共同的特点就是在不求出方程解的情况下,直接根据微分方程本身的结构与特点,来研究其解的性质.由于这种方法的有效性,近一百多年以来它们已经成为常微分方程发展的主流.本章对定性理论和稳定性理论的一些基本概念和基本方法作一简单介绍. 第一讲§5.1 稳定性(Stability)概念(5课时) 一、教学目的:理解稳定、渐近稳定和不稳定的概念;掌握零解的稳 定、渐近稳定的概念;学会判定一些简单微分方程零 解的稳定和渐近稳定性。 二、教学要求:理解稳定、渐近稳定和不稳定的概念;掌握简单微分 方程零解的稳定和渐近稳定性的判定。 三、教学重点:简单微分方程零解的稳定和渐近稳定性的判定。 四、教学难点:如何把一般解的稳定性转化为零解的稳定性。 五、教学方法:讲练结合教学法、提问式与启发式相结合教学法。 六、教学手段:传统板书与多媒体课件辅助教学相结合。 七、教学过程:

1.稳定性的定义 考虑微分方程组 (,)dx f t x dt = (5.1) 其中函数(,)f t x 对n x D R ∈?和(,)t ∈-∞+∞连续,对x 满足局部Lipschitz 条件。 设方程(5.1)对初值01(,)t x 存在唯一解01(,,)x t t x ?=,而其它解记作00(,,)x x t t x = 。 现在的问题是:当01x x -很小是,差 0001(,,)(,,) x t t x t t x ?-的变化是否也很小?本章向量1 2 (,,,)T n x x x x = 的范数取 1 221n i i x x =?? = ? ?? ∑。 如果所考虑的解的存在区间是有限区间,那么这是解对初值的连续依赖性,在第二章的定理2.7已有结论。现在要考虑的是解的存在区间是无穷区间,那么解对初值不一定有连续依赖性,这就产生了Liapunov 意义下的稳定性概念。 定义 5.1 如果对于任意给定的0 ε>和00t ≥都存在0(,)0 t δδε=>, 使得只要 01x x δ -<,就有 0001(,,)(,,)x t t x t t x ?ε -< 对一切0t t ≥成立,则 称(5.1)的解01(,,)x t t x ?=是稳定的。否则是不稳定的。 定义5.2 假定01(,,)x t t x ?=是稳定的,而且存在11(0)δδδ<≤,使得只要 011x x δ-< ,就有 0001l i m ((,,) (,,))0t x t t x t t x ?→∞ -= ,则称 (5.1)的解01(,,)x t t x ?=是渐近稳定的。 为了简化讨论,通常把解01(,,)x t t x ?=的稳定性化成零解的稳定性问题.下面记00()(,,) x t x t t x =01()(,,)t t t x ??=作如下变量代换. 作如下变量代 换.

一阶线性偏微分方程

第七章 一阶线性偏微分方程 研究对象 一阶线性齐次偏微分方程 0),,,(),,,() ,,,(2122121211=??++??+??n n n n n x u x x x X x u x x x X x u x x x X 1基本概念 1) 一阶线性齐次偏微分方程 形如 0),,,(),,,(),,,(2122121211=??++??+??n n n n n x u x x x X x u x x x X x u x x x X (7.1) 的方程,称为一阶线性齐次偏微分方程,其中n x x x ,,,21 是自变量,u 是n x x x ,,,21 的未知函数,n X X X ,,,21 是域n R D ?内的已知函数,并设n X X X ,,,21 在域D 内不同时为零。 2) 一阶拟线性偏微分方程 形如 );,,,();,,,();,,,(21211211z x x x Z x z z x x x Y x z z x x x Y n n n n n =??++?? (7.2) 的方程,称为一阶拟线性偏微分方程,其中Z Y Y Y n ;,,,21 是1+n 个变元z x x x n ;,,,21 的已知函数。n Y Y Y ,,,21 在其定义域1+?'n R D 内不同时为零。 所谓“拟线性”是指方程仅对未知函数的各个一阶偏导数是线性的,以下总设n Y Y Y ,,,21 和Z 在域D '内连续可微。 3) 特征方程组 常微分方程组 n n X dx X dx X dx === 2211 (7.3) 称为一阶线性齐次偏微分方程(7.1)的特征方程组。 常微分方程组

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

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

常微分方程解的稳定性 摘要本文简要介绍了常微分方程解的稳定性理论的相关概念及其在解决微分方程相关问题的重要意义。最后,介绍用李雅普诺夫第二方法构造李雅普诺夫函数来判断常微分方程的稳定性及其在解决常微分方程的稳定性问题中的应用。 关键字:常微分方程稳定性李雅普诺夫函数 V函数构造方法

引言 常微分方程在经历了长期的求精确解的努力后逐渐停滞,庞加莱在分析的基础上引入几何方法 ,开创了常微分方程定性理论 , 同时在分析中引入几何方法 ,搭建起分析与几何之间的沟通桥梁 ,带来了微分方程研究的新突破。李雅普诺夫则在庞加莱定性分析的基础上 ,转而进入了新的稳定性研究。 如今 ,李雅普诺夫稳定性理论被普遍认为是微分方程定性理论的基本成就之一。不仅有精确的定义 ,更有严格的分析证明 ,将微分方程及稳定性理论的研究推向了新的高度。 本文论述常微分方程解的稳定性的定义及其研究常微分方程相关问题的重要思想,并用李雅普诺夫第二方法构造李雅普诺夫函数来判断常微分方程的稳定性及其在解决常微分方程的稳定性问题中的应用。

1、常微分方程稳定性 微分方程自诞生以来就一直以微分方程解的求法为研究中心。数学家在微分方程求解过程中进行了不懈的努力 ,但始终没有从根本上摆脱求确定解的桎梏 ,致使研究的道路越来越窄。 此时单纯的定量分析已不能解决问题 ,必须用一种综合化、整体化的思想加以考虑. 避开微分方程求精确解的定量方法 ,转向运用稳定性方法探求解的性质 ,从而解决常微分方程(组)的解的问题. 考虑微分方程组 (2.1) 其中函数对和连续,对 满足局部利普希茨条件。 设方程(2.1)对初值存在唯一解 , 而其他解记作 . 本文中向量的范数取 . 如果所考虑的解的存在区间是有限闭区间,那么这是解对初值的连续依赖性。现在要考虑的是解的存在区间是无穷区间,那么解对初值不一定有连续依赖性,这就产生的李雅普诺夫意义下的稳定性概念。 如果对于任意给定的和都存在 , 使得只要 就有 对一切成立,则称(2.1)的解是稳定的,否则是不稳定的。 假设是稳定的,而且存在, 使得只要

微分方程稳定性

目录 摘要 ............................... 错误!未定义书签。ABSTRACT ............................ 错误!未定义书签。前言 ............................... 错误!未定义书签。微分方程稳定性分析原理.................. 错误!未定义书签。捕鱼业的持续收获模型 ................... 错误!未定义书签。种群的相互竞争模型..................... 错误!未定义书签。参考文献 ............................ 错误!未定义书签。

摘要 微分方程稳定性理论是微分方程的一个重要的理论。微分方程理论就是通过一些定量的计算来研究系统的稳定性,也就是系统在受到干扰项偏离平衡状态后能否恢复到平衡状态或者是平衡状态附近的位置。用微分方程描述的物质运动的特点依赖于初值,而初值的计算或者测定不可避免的又会出现误差和干扰。如果描述这个系统运动的微分方程的特解是不稳定的,则初值的微小误差和干扰都会导致严重的后果。因此,不稳定的特解不适合作为我们研究问题的依据,只有稳定的特解才是我们需要的。本文就一阶微分方程和二阶微分方程的平衡点及稳定性进行了分析,并且建立了捕鱼业持续收获模型和两种群相互竞争模型。 【关键词】微分方程;平衡点;稳定性;数学建模

ABSTRACT Differential equation stability theory is an important theory of differential equations. Differential equation theory is to study the stability of the system by some quantitative calculation, also is the system in the disturbance of deviating from the equilibrium state after the item will return to equilibrium or is near the equilibrium position. Using differential equation to describe the characteristics of the material movement depends on the initial value, and the calculation of initial value or determination of the inevitable will appear the error and interference. If the special solution of the differential equation describing the system movement is unstable, the initial value of small errors and interference will lead to serious consequences. Therefore, special solution is not suitable for the unstable as the basis of our research question, only stable solution is we need. In this paper, the first order differential equation of second order differential equation and the balance and the stability are analyzed, and the fishing sustained yield model is established and two species and two species competing models. 【key words】Differential equations; Balance; Stability; Mathematical modeling

(整理)一阶线性偏微分方程.

第七章 一阶线性偏微分方程 例7-1 求方程组 ()()()yz B A Cdz xz A C Bdy yz C B Adx -=-=- 通积分,其中C B A ,,为互不 相等的常数。 解 由第一个等式可得 xyz ydy A C B xyz xdx C B A -=-, 即有 0=---ydy A C B xdx C B A , 两边积分得方程组的一个首次积分 122,C y A C B x C B A z y x Φ=---= ),(。 由第二个等式可得 xyz zdz B A C xyz ydy A C B -=-, 即有 0=---zdz B A C ydy A C B , 两边积分得方程组的另一个首次积分 222,C z B A C y A C B z y x Ψ=---= ),(。 由于,雅可比矩阵 ? ???? ?????------=????? ???? ????ψ??ψ??ψ ??Φ??Φ ??Φ ?=?ψΦ?z B A C y A C B y A C B x C B A y y x z y x z y x 002),,(),( 的秩为2,这两个首次积分相互独立,于是原方程组的通积分为 122C y A C B x C B A =--- 222C z B A C y A C B =--- 。

评注:借助于方程组的首次积分求解方程组的方法称为首次积分法。要得到通积分需要求得n 个独立的首次积分,n 为组成方程组的方程个数。用雅可比矩阵的秩来验证首次积分的独立性。 例7-2 求方程组 () () ???????-+--=-+-=11d 222 2y x y x dt dy y x x y dt x 的通解。 解 由原方程组可得 )1)((2222-++-=+y x y x dt dy y dt dx x 即 dt y x y x y x d )1)((2)(2 2 2 2 2 2 -++-=+ 这个方程关于变量t 和2 2 y x +是可以分离的,因此易求得它的通积分为 122 2221),,(C e y x y x t y x t =+-+=Φ 这是原方程组的一个首次积分。 再次利用方程组,得到 )(22y x dt dx y dt dy x +-=-, 即有 1arctan -=?? ? ?? x y dt d 由此得到原方程组的另一个首次积分 2arctan ),,(C t x y t y x =+=ψ 。 由于,雅可比矩阵为 ()( ) ???? ? ?????? ?++-++=????????? ????ψ??ψ ??Φ??Φ ?=?ψΦ?2222 222 222 2222),(),(y x x y x y e y x y e y x x y x y x y x t t ,

一阶偏微分方程基本知识

一阶偏微分方程基本知识 这一章我们来讨论一阶线性偏微分方程和一阶拟线性偏微分方程的解法,因为它们都可以化为常微分方程的首次积分问题,所以我们先来介绍常微分方程的首次积分。 1一阶常微分方程组的首次积分 1.1首次积分的定义 从第三章我们知道,n 阶常微分方程 ()()() 1,,'',',-=n n y y y x f y , ( 1.1) 在变换 ( ) 1'12,,,,n n y y y y y y -=== ( 1.2) 之下,等价于下面的一阶微分方程组 ()()()1 112221212,,,,,,,,,,,,,,. n n n n n dy f x y y y dx dy f x y y y dx dy f x y y y dx ?=?? ?=???? ?=? ? ( 1.3) 在第三章中,已经介绍过方程组( 1.3)通解的概念和求法。但是除了常 系数线性方程组外,求一般的( 1.3)的解是极其困难的。然而在某些情况下,可以使用所谓“可积组合”法求通积分,下面先通过例子说明“可积组合”法,然后介绍一阶常微分方程组“首次积分”的概念和性质,以及用首次积分方法来求解方程组( 1.3)的问题。先看几个例子。 例1 求解微分方程组 ()()22221,1.dx dy y x x y x y x y dt dt =-+-=--+- ( 1.4) 解:将第一式的两端同乘x ,第二式的两端同乘y ,然后相加,得到 ()() 12222-++-=+y x y x dt dy y dt dx x , ()()()2222221 12 d x y x y x y dt +=-++-。 这个微分方程关于变量t 和()22x y +是可以分离,因此不难求得其解为 122 2221C e y x y x t =+-+, ( 1.5) 1C 为积分常数。( 1.5)叫做( 1.4)的首次积分。

相关文档
最新文档