3.6微分方程稳定性理论简介

3.6微分方程稳定性理论简介
3.6微分方程稳定性理论简介

3.6* 微分方程稳定性理论简介

考虑n 维空间R n 中的向量值函数X(t)=(x i (t), X 2

(t),…,x n (t))当「=2、

n = 3时我们可以将之想象为平面或空间中一质点的运动曲线,它描述质点在时刻

t 的位置。

许多物理或社会系统均可以被一组形如

=fi

(X i ,X 2, ,X n ),(i = 1,2, ,n)

的微分方程描述,简记为

其中右端函数

的平衡点,并讨论其稳定性。

解:很容易求得该微分方程组的唯一平衡点

0(0,0);

由已知微分方程组可以得到

对该微分方程组的任一解(x(t)

,y(t)), 2

2

1

lim (x y ) = lim --------------- = 0

t t f2t c

故也有

t lim(x(t),y(t)) =(0,0)

因此平衡点O(0,0)是稳定的。

dX

i

dt

dX dt

=F(X) F(X) = (f i (X),

f 2(X),

不显含自变量t ,通常称之为自治的(或定常的)动力系统。

,f n (X))T

、:

,?

? ?、T

定义1 :称点X =(X 1, X 2,

,X n )为动力系统

dX dt

=

F(X)

的-平衡

点(或奇点),若

?

■ 、 一、 ?,. 、

f i (X) =。(| =12 ,n)。这时

x

i ⑴三 x i

(i

=1,2, , n)为动力系统 解。

dX

dt = F(X)的-个奇 定义2:平衡点在对一个动力系统的定性分析中具有特殊的意义,称动力系统

dX

dt

= F(X )的平衡点 是(渐近)稳定的

近)稳定的。

例:求解微分方程组

若对该动力系统的任一解

X(t),均有略⑴

否则,称X 是不(渐

dX ?矿 dy = idt

X (X 2 y 2)

-y(X 2 y 2)

进而

d(x 2 y 2)

dt

2

2

、2

=2( x y )

2

2

x y 2t

c

"一 X (0)

2 y(0) 2)

-y x

的唯一平衡点,但不是稳定的

dX =AX

dt

的唯一平衡点,且平衡点

O 是稳定的充分必要条件为 A 的所有特征值 允(i

= 1,2广',n )的实部

R

e (播)均小于°。

对于二维平面中(二阶方程)的情形,根据平衡点的局部拓扑性状可将其分为结点、焦点、鞍点以及 中心等四类,其中

鞍点、中心这两种类型的平衡点是不稳定的,而结点、焦点类型的平衡点还可以分为稳 定与不稳定的两种情形,可参照如下示意图。其中平衡点是坐标原点

°(0

,°), 箭头方向表示当t 增加时的

轨线的方向,即x (t )、y (t )的变化趋势。

1.轨线是抛物线型的(图 3-8、图3-9) 如果在平衡点附近的轨线具有如图 3-8 (或图3-9 )的分布情况,我们就称该平衡点为不稳定结点(或

稳定结点)。

图 3-10 图 3-11

3. 轨线是以原点为中心的中心直线束(图 3-12、图3-13)

dx 读者可以自己验证O (0,O )是微分方程组、dt

对于一个齐次线性微分方程组

dX

=AX

定理:若A E R n

逆非退化,则。

=(0,

°,

(其中Am R n *n 为一 n 阶实方阵),有如下结果:

T n

,o )* R

是齐次线性动力系统

图3-12 图3-13

如果在平衡点附近的轨线具有图3-12 (或图3-13)的分布情况,就称该平衡点为不稳定的(或稳定的)临界结点。

4. 轨线如图3-14、图3-15所示

图3-14 图3-15

如果在平衡点附近的轨线具有如图3-14 (或图3-15)的分布情况,我们就称它是不稳定的(或稳定的)退化结点。

5. 轨线是对数螺线族(图3-16、图3-17)

图3-16

(其中Repi j )、lm

(m 分别表示复数次i 的实部、虚部)

对于一般的非线性微分方程组的讨论,由于其平衡点不存在或存在但不唯一,因此需引入局部稳定 的概念:

dX

=F (X ) ~

定义3:称动力系统 dt

的平衡点X 是局部(渐近)稳定的,若存在& >0,对该动力系统的

(其中A =(a ij * R 2*2),下表给出其平衡点°(°,0)的类型

任一解 X (t ),只要存在某满足

X

(L )-X

II

曷,均有 t iim x (t

=x

如果在平衡点附近的轨线具有如图 点。 6. 轨线是以原点为中心的圆族(图

图 3-17 3-16 (或图3-17)的分布情况,就称它为不稳定的(稳定的)焦

_~

X处取一阶Taylor展式,构造线性动力系统

~ f i(X) ~

a =

A(X)= (aq 冲ij£X j dX

_~

而对平衡点X局部(渐近)稳定性的判别,只须对原微分方程= F(X)

的右端函数在平衡点

dX ~ ~

=A(X) (X - X)

进行讨论即可,这里

非线性微分方程和稳定性

第六章 非线性微分方程和稳定性 在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 满足

(完整版)常微分方程发展简史——解析理论与定性理论阶段3常微分

第三讲 常微分方程发展简史——解析理论 与定性理论阶段 3、常微分方程解析理论阶段:19世纪 19世纪为常微分方程发展的解析理论阶段. 作为微分方程向复数域的推广, 微分方程解析理论是由Cauchy 开创的. 在Cauchy 之后,重点转向大范围的研究。 级数解和特殊函数 这一阶段的主要结果之一是运用幂级数和广义幂级数解法, 求出一些重要的二阶线性方程的级数解, 并得到极其重要的一些特殊函数. 常微分方程是17、18世纪在直接回答物理问题中兴起的. 在着手处理更为复杂的物理现象, 特别是在弦振动的研究中, 数学家们得到了偏微分方程. 用变量分离法解偏微分方程的努力导致求解常微分方程的问题. 此外, 因为偏微分方程都是以各种不同的坐标系表出的, 所以得到的常微分方程是陌生的, 并且不能用封闭形式解出. 为了求解应用分离变量法与偏微分方程后得到的常微分方程, 数学家们没有过分忧虑解的存在性和解应具有的形式, 而转向无穷级数的方法. 应用分离变量法解偏微分方程而得到的常微分方程中最重要的是Bessel 方程. 222 ()0x y xy x n y '''++-= 其中参数n 和x 都可以是复的. 对Bessel 来说, n 和x 都是实的. 此方程的特殊情形早在1703年Bernoulli Jacobi 给Leibnitz 的信中就已提到, 后来Bernoulli Daniel 、Euler 、Fourier 、Poisson 等都讨论过此问题. 对此方程的解的最早的系统研究是由Bessel 在研究行星运动时作出的. 对每个n , 此方程存在两个独立的基本解, 记作()n J x 和()n Y x , 分别称为第一类Bessel 函数和第二类Bessel 函数, 它们都是特殊函数或广义函数(初等函数之外的函数). Bessel 自1816年开始研究此方程, 首先给出了积分关系式 20 ()cos(sin ).2n q J x nu x u du ππ=-? 1818年Bessel 证明了()n J x 有无穷多个零点. 1824年, Bessel 对整数n 给出了递推关系式 11()2()()0n n n xJ x nJ x xJ x +--+= 和其他的关于第一类Bessel 函数的关系式. 后来又有众多的数学家(研究天体力学的数学家)独立地得到了Bessel 函数及其表达式和关系式. Bessel 为微分方程解析理论作出了巨大贡献。 解析理论中另一重要内容是Legendre 方程的级数解和Legendre 多项式方面的结果. 1784年, Legendre 研究了Legendre 方程2 (1)20x y xy y λ'''-++=, 给出了幂级数形式的解, 得到

微分方程稳定性分解

带有时滞的动力系统的运动稳定性 分五部分内容,第一部分是Понтрягин定理,给出解实部、虚部的形式;第二部分分析了线性系统的一般性质、特征方程重根时解的表示和解的指数估计;第三部分讨论解的存在唯一性;第四部分探讨解的表达式;第五部分给出Фрид定理。以此说明特征方程根的实部的符号可以用以判断带有时滞的线性系统的稳定性。 直接法的基本定理 一、Понтрягин定理 要讨论的常系数线性系统的滞量τ为常数,所指的滞后型与中立型系统分别为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τ>

常微分方程总结

(1) 概念 微分方程:一般,凡表示未知函数、未知函数的导数与自变量的之间关系的方程。 微分方程的阶:微分方程中所出现的未知函数的最高阶导数的阶数。如: 一阶:2dy x dx = 二阶:220.4d s dt =- 三阶:32243x y x y xy x ''''''+-= 四阶:()4410125sin 2y y y y y x ''''''-+-+= 一般n 阶微分方程的形式:()() ,,,,0n F x y y y '=。这里的()n y 是必须出现。 (2)微分方程的解 设函数()y x ?=在区间I 上有n 阶连续导数,如果在区间I 上, ()()()(),,0n F x x x x ?????'≡???? 则()y x ?=称为微分方程()(),,,,0n F x y y y '=的解。 注:一个函数有n 阶连续导数→该函数的n 阶导函数也是连续的。 函数连续→函数的图像时连在一起的,中间没有断开(即没有间断点)。 导数→导函数简称导数,导数表示原函数在该点的斜率大小。 导函数连续→原函数的斜率时连续变化的,而并没有在某点发生突变。 函数连续定义:设函数()y f x =在点0x 的某一邻域内有定义,如果()()0 0lim x x f x f x →=则称函数()f x 在点0x 连续。 左连续:()() ()000lim x x f x f x f x --→== 左极限存在且等于该点的函数值。 右连续:()() ()000lim x x f x f x f x ++→== 右极限存在且等于该点的函数值。 在区间上每一个点都连续的函数,叫做函数在该区间上连续。如果是闭区间,包括端点,是指函数在右端点左连续,在左端点右连续。 函数在0x 点连续?()()()()000 0lim lim lim x x x x x x f x f x f x f x -+→→→=== 1、()f x 在点0x 有定义 2、()0 lim x x f x →极限存在

《常微分方程》课程大纲

《常微分方程》课程大纲 一、课程简介 课程名称:常微分方程学时/学分:3/54 先修课程:数学分析,高等代数,空间解析几何,或线性代数(行列式,矩阵与线性方程组,线性空间F n,欧氏空间R n,特征值与矩阵的对角化), 高等数学(多元微积分,无穷级数)。 面向对象:本科二年级或以上学生 教学目标:围绕基本概念与基本理论、具体求解和实际应用三条主线开展教学活动,通过该课程的教学,希望学生正确理解常微分方程的基本概念,掌握基本理论和主要方法,具有一定的解题能力和处理相关应用问题的思维方式,如定性分析解的性态和定量近似求解等思想,并希望学生初步了解常微分方程的近代发展,为学习动力系统学科的近代内容和后续课程打下基础。 二、教学内容和要求 常微分方程的教学内容分为七部分,对不同的内容提出不同的教学要求。(数字表示供参考的相应的学时数,第一个数为课堂教学时数,第二个数为习题课时数) 第一章基本概念(2,0) (一)本章教学目的与要求: 要求学生正确掌握微分方程,通解,线性与非线性,积分曲线,线素场(方

向场),定解问题等基本概念。本章教学重点解释常微分方程解的几何意义。 (二)教学内容: 1.由实际问题:质点运动即距离与时间关系(牛顿第二运动定律),放射性元素衰变过程,人口总数发展趋势估计等,通过建立数学模型,导出微分方程。 2.基本概念(常微分方程,偏微分方程,阶,线性,非线性,解,定解问题,特解,通解等)。 3.一阶微分方程组的几何定义,线素场(方向场),积分曲线。 4.常微分方程所讨论的基本问题。 第二章初等积分法(4,2) (一)本章教学目的与要求: 要求学生熟练掌握分离变量法,常数变易法,初等变换法,积分因子法等初等解法。 本章教学重点对经典的几类方程介绍基本解法,勾通初等积分法与微积分学基本定理的关系。并通过习题课进行初步解题训练,提高解题技巧。 (二)教学内容: 1. 恰当方程(积分因子法); 2. 分离变量法 3. 一阶线性微分方程(常数变易法) 4. 初等变换法(齐次方程,伯努利方程,黎卡提方程)

微分方程稳定性理论简介

第五节 微分方程稳定性理论简介 这里简单介绍下面将要用到的有关内容: 一、 一阶方程的平衡点及稳定性 设有微分方程 ()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,λλ,则

常微分方程平衡点及稳定性研究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

第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 ??=作如下变量代换. 作如下变量代 换.

微分方程稳定性

目录 摘要 ............................... 错误!未定义书签。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

典型例题第三章一阶微分方程的解的存在定理

第三章 一阶微分方程的解的存在定理 例3-1 求方程 22y x dx dy += 满足初始条件0)0(=y 的解的逐次逼近)(),(),(321x y x y x y ,并求出h 的最大值,其中h 的意义同解的存在唯一性定理中的h 。 解 函数2 2 ),(y x y x f +=在整个平面上有意义,则在以原点为中心的任一闭矩形区域 b y a x D ≤≤,:上均满足解的存在唯一性定理的条件,初值问题?????=+=0 )0(22y y x dx dy 的解在],[h h -上存在唯一,其中)(max ),, min(22),(y x M M b a h D y x +==∈。 因为逐次逼近函数序列为 ?-+=x x n n dx x y x f y x y 0 ))(,()(10, 此时,2 200),(,0,0y x y x f y x +===,所以 0)(0=x y , ?=+=x x dx x y x x y 03 2 02 13 )]([)(, 63 3)]([)(7 032 12 2x x dx x y x x y x +=+=?, ?? +++=+=x x dx x x x x dx x y x x y 0 14 1062 2 223)3969 18929()]([)( 59535 20792633151173x x x x +++=。 现在求h 的最大值。 因为 ),, min(2 2b a b a h += 对任给的正数 b a ,,ab b a 22 2 ≥+,上式中,当 b a = 时, 2 2b a b +取得最大值 a ab b 21 2= 。

常微分方程 稳定性理论

§6.4 李雅普诺夫第二方法上一节我们介绍了稳定性概念,但是据此来判明系统解的稳定性,其应用范围是极其有限的. 李雅普诺夫创立了处理稳定性问题的两种方法:第一方法要利用微分方程的级数解,在他之后没有得到大的发展;第二方法是在不求方程解的情况下,借助一个所谓的李雅普诺夫函数)(x V 和通过微分方程所计算出来的导数 dt x dV ) (的符号性质,就能直接推断出解的稳定性,因此又称为直接法.本节主要介绍李雅普诺夫第二方法. 为了便于理解,我们只考虑自治系统 )(x F dt dx =n R x ∈ (6.11) 假设T n x F x F x F ))(,),(()(1 =在{} K x R x G n ≤∈=上连续,满足局部利普希茨条件,且 O O F =)(. 为介绍李雅普诺夫基本定理,先引入李雅普诺夫函数概念. 定义6.3 若函数 R G x V →:)( 满足0)(=O V ,)(x V 和 i x V ??),,2,1(n i =都连续,且若存在K H ≤<0,使在{} H x x D ≤=上)0(0)(≤≥x V ,则称)(x V 是常正(负)的;若在D 上除O x ≠外总有 )0(0)(<>x V ,则称)(x V 是正(负)定的;既不是常正又不是常负的函数称为变号函数. 通常我们称函数)(x V 为李雅普诺夫函数.易知: 函数2 22 1x x V +=在),(21x x 平面上为正定的; 函数 )(2 22 1x x V +-=在),(21x x 平面上为负定的; 函数222 1x x V -=在),(21x x 平面上为变号函数;

函数 2 1x V =在),(21x x 平面上为常正函数. 李雅普诺夫函数有明显的几何意义. 首先看正定函数),(21x x V V =. 在三维空间),,(21V x x 中, ),(21x x V V =是一个位于坐标面21Ox x 即0=V 上方的曲面.它与坐标面21Ox x 只在一个点,即原点)0,0,0(O 接触(图6-1(a)).如果用水平面 C V =(正常数)与),(21x x V V =相交,并将截口垂直投影到21Ox x 平面上,就得到一组一个套一个的闭曲线族C x x V =),(21 (图6-1(b)),由于),(21x x V V =连续可微,且 0)0,0(=V ,故在021==x x 的充分小的邻域中, ),(21x x V 可以任意小.即在这些邻域中 存在C 值可任意小的闭曲线C V =. 对于负定函数),(21x x V V =可作类似的几何解释,只是曲面),(21x x V V =将在坐标面21Ox x 的下方. 对于变号函数),(21x x V V =,自然应对应于这样的曲面,在原点O 的任意邻域,它既有在21Ox x 平面上方的点,又有在其下方的点. 定理6.1 对系统(6.11),若在区域D 上存在李雅普诺夫函数)(x V 满足 (1) 正定; (2) )(1 ) 11.5(x F x V dt dV i n i i ∑ =??=常负, (a) (b)

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

本文给出了微分方程稳定性的概念,并举了一些例子来说明不同稳定性定义之间的区别和联系。这些例子都是通过求出方程解析解的方法来讨论零解是否稳定。在实际问题中提出的微分方程往往是很复杂的,无法求出其解析解,这就需要我们从方程本身来判断零解的稳定性。所以我们讨论了通过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

微分方程稳定性理论简介

微分方程稳定性理论简介 1、一阶自治方程 ()()x t f x = (1) 使代数方程()0f x =的实根=x 0x 称为(1)的平衡点或奇点。0x x =也是方程(1)的解。 设x(t)是方程的解,若从0x 的 某邻域的任一初值出发都有0lim ()t x t x →+∞=,则称0x 是方程(1)的稳定平衡点(渐近稳定);否则,称0x 是方程(1) 的不稳定平衡点。 例 dx x dt =- 判断平衡点稳定性的方法 (1) 间接法:利用定义,需要求出方程的解 (2) 直接法:不求方程的解 方程(1)的近似方程为: ))(()(00x x x f t x -'= (2) 对于一阶方程(1)与(2)的平衡点0x 的稳定性有如下结论: 若0()0f x '<,则0x 是(1)与(2)的稳定平衡点 若0()0f x '>,则0x 是(1)与(2)的不稳定平衡点 2、二阶方程 可用两个一阶方程表示为 ()(,)()(,)x t f x y y t g x y =??=? (3) 二维(平面)自治系统 使 (,)0(,) 0f x y g x y =??=? 的实根000(,)P x y 称为(3)的平衡点。同样,若存在000(,)P x y 的某个邻域的任一初值))0(),0((y x 出发,当t →+∞时 00((),())(,)x t y t x y →,则称000(,)P x y 是稳定的平衡点。 应用直接法讨论(3)的稳定性,先看线性常系数方程 ()()x t ax by y t cx dy =+??=+? (4) 二维(平面)线性自治系统

系数矩阵记做 a b A c d ??=???? ,设det 0A ≠,此时(4)有唯一平衡点0(0,0)P 。它的稳定性由(4)的特征方程 det()0A I λ-= 的根所决定。 2det()()0a b A I a d ad bc c d λλλλλ --==-++-=- 结论: 0????→???????????→???????????????????????????????????→???????→?? - (S 稳定)同号结点相异+ (U )异号鞍点 (U)实根- (S)临界结点+ (U)重根- (S)退化结点+ (U)- (S)实部不为0焦点复根+ (U) 实部为中心(U ) 进一步,令()p a d =-+,det q ad bc A =-=,则特征方程为20p q λλ++=,特征根为 1,21 (2p λ=-± 1)240p q -> i) 0q > 0结点(S )p >→ 0结点(U )p <→ ii) 0鞍点(U )q <→ 2) 240p q -= 0临界(退化)结点(S )p >→0临界(退化)结点(U )p <→ 3) 240p q -< 0焦点(S )p >→0焦点(U )p >→

高等数学常微分方程的基础知识和典型例题

常微分方程 一、一阶微分方程的可解类型 (一)可分离变量的方程与一阶线性微分方程 1.(05,4分)微分方程_________.1 2ln (1)9 xy y x x y '+==-满足的解为 2222223332.+ln ,=ln . 111 ln ln ln . 339 111 (1)0ln . 939 dx x dy y x e x dx x d x x x dx x x xdx C xdx C x x x y C y x x x ?==+=+-=-=?=-??分析:这是一阶线性微分方程原方程变形为两边乘得 (y)= 积分得 y=C+由得 2.(06,4分) (1) y x x -'————.微分方程y = 的通解为 111 (1).ln ln .,C x x dy dx y x x C y e x e y x y Cxe C --=-=-+==分析:这是可变量分离的一阶方程,分离变量得 积分得,即因此,原微分方程的通解为 其中为任意常数. (二)奇次方程与伯努利方程 1.(97,2,5分)2 2 2 (32)(2)0x xy y dx x xy dy +-+-=求微分方程的通解. 22223122+1-23 , 1ln 13ln ,1=..y xu dy xdu udx u u dx x u du u du dx u u x u u x C u u Cx y C u x xy y x x -=-+-+-=-++-= +-=解:所给方程是奇次方程.令 =,则=+.代入原方程得 3(1-)+(1-2)=0. 分离变量得 积分得 即以代入得通解 2.(99,2,7分) 1(0(0),0 x y dx xdy x y =?+-=>??=??求初值问题的解.

常微分方程作业(四)

《常微分方程》第四次作业 第4章 n 阶线性微分方程 1.试求下列各方程的通解 (1)0209=+'+''y y y (2)02=+'-''y y y (3)0=-''y y (4)0)4(=''-y y (5)0)4(=+y y (6)0=+'-''-'''y y y y (7)022)4()6(=+''--y y y y 2.试求下述各方程满足给定的初始条件的解: (1)023=+'-''y y y ,2)0(=y ,3)0(-='y ; (2)044=+'+''y y y ,4)2(=y ,0)2(='y ; (3)0='+''y y ,2)0(=y ,5)0(='y . 3.求下列各方程的通解: (1)5127=+'-''y y y (2)x y y y 2e 3=+'+'' (3)873782++=+'-''x x y y y (4))25(e 1362+-=++t t x x x t (4)x x y y y 2cos 102=+'-'' 4.一拉紧弹簧所受到的拉力与它的长度成正比,当弹簧受到9.8N (1kg 力)拉力时,其长度增长1cm 。今有重2kg 的物体挂在弹簧下端,保持平衡。假若将它稍向下拉,然后再放开,试求由此所产生振动的周期。 5.一质量为m 的质点由静止开始沉入液体中,当下沉时,液体的反作用与下沉的速度成正比,求此质点的运动规律。 6.有一LRC 电器,其中LC 并联。再与R 及电器E = t v ωsin 串联,试求:(1)通过电阻R 的电流强度;(2)在解频率等于何值时,电流强度最大或最小? 第5章 定性和稳定性理论简介 1.设0)0,(=t f 用δε-语言叙述微分方程),(d d x t f t x =的零解不稳定的定义。 2.考虑纯量方程x t a t x )(d d =,)(t a 是),0[∞+上的连续函数。证明: (1)零解x = 0是稳定的充分必要条件是存在0)(0>t M ,使得?≤t t t M ds s a 0)()(0对一切00≥≥t t 成立。 (2)零解0=x 是渐近稳定的充分必要条件是-∞=?∞→t t t ds s a 0)(lim 。 3.证明方程组 ???????+--=+-=)(d d )(d d 2222y x ay x t y y x ax y t x 的零解是渐近稳定的(其中0>a )。 4.试研究单摆的运动方程 0sin =+θθl g

(整理)常微分方程数值解法

i.常微分方程初值问题数值解法 i.1 常微分方程差分法 考虑常微分方程初值问题:求函数()u t 满足 (,), 0du f t u t T dt =<≤ (i.1a ) 0(0)u u = (i.1b) 其中(,)f t u 是定义在区域G : 0t T ≤≤, u <∞上的函数,0u 和T 是给定的常数。我们假设(,)f t u 对u 满足Lipschitz 条件,即存在常数L 使得 121212(,)(,), [0,]; ,(,)f t u f t u L u u t T u u -≤-?∈∈-∞∞ (i.2) 这一条件保证了(i.1)的解是适定的,即存在,唯一,而且连续依赖于初值0u 。 通常情况下,(i.1)的精确解不可能用简单的解析表达式给出,只能求近似解。本章讨论常微分方程最常用的近似数值解法--差分方法。先来讨论最简单的Euler 法。为此,首先将求解区域[0,]T 离散化为若干个离散点: 0110N N t t t t T -=<<<<=L (i.3) 其中n t hn =,0h >称为步长。 在微积分课程中我们熟知,微商(即导数)是差商的极限。反过来,差商就是微商的近似。在0t t =处,在(i.1a )中用向前差商 10()()u t u t h -代替微商du dt ,便得 10000()()(,())u t u t hf t u t ε=++ 如果忽略误差项0ε,再换个记号,用i u 代替()i u t 便得到 1000(,)u u hf t u -= 一般地,我们有 1Euler (,), 0,1,,1n n n n u u hf t u n N +=+=-L 方法: (i.4) 从(i.1b) 给出的初始值0u 出发,由上式可以依次算出1,,N t t L 上的差分解1,,N u u L 。

相关文档
最新文档