下载文档原格式
第5章定性和稳定性理论简介在十九世纪中叶,通过Liouville等人的工作,人们已经知道绝大多数微分方程不能用初等积分法求解.这个结果对微分方程理论的发展产生了极大的影响,使微分方程的研究发生了一个转折.既然初等积分法有着不可克服的局限性,那么是否可以不求微分方程的解,而从微分方程本身来推断其性质呢?定性理论和稳定性理论正是在这种背景下发展起来的.前者由法国数学家Poincare(1854-1912)在19世纪80年代所创立,后者由俄国数学家Liapunov(1857-1918)在同年代所创立.它们共同的特点就是在不求出方程解的情况下,直接根据微分方程本身的结构与特点,来研究其解的性质.由于这种方法的有效性,近一百多年以来它们已经成为常微分方程发展的主流.本章对定性理论和稳定性理论的一些基本概念和基本方法作一简单介绍.第一讲§5.1 稳定性（Stability）概念(5课时)一、教学目的：理解稳定、渐近稳定和不稳定的概念；掌握零解的稳定、渐近稳定的概念；学会判定一些简单微分方程零解的稳定和渐近稳定性。
二、教学要求：理解稳定、渐近稳定和不稳定的概念；掌握简单微分方程零解的稳定和渐近稳定性的判定。
三、教学重点：简单微分方程零解的稳定和渐近稳定性的判定。
四、教学难点：如何把一般解的稳定性转化为零解的稳定性。
五、教学方法：讲练结合教学法、提问式与启发式相结合教学法。
六、教学手段：传统板书与多媒体课件辅助教学相结合。
七、教学过程：1．稳定性的定义 考虑微分方程组(,)dxf 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 ϕ-的变化是否也很小？本章向量12(,,,)T n x x x x =的范数取1221ni i x x =⎛⎫= ⎪⎝⎭∑。
微分方程的稳定性理论微分方程的稳定性理论是研究微分方程解的行为随参数变化而产生的稳定性问题的数学分支。
在许多实际问题中，人们常常需要分析微分方程在不同参数下的解的性质，以便更好地理解系统的行为和动态特性。
稳定性的概念稳定性是指微分方程解在初始条件或参数扰动下的响应行为。
在微分方程中，对解的稳定性主要分为几种类型：1.渐近稳定：解会收敛到一个稳定的状态。
2.指数稳定：解在某稳定状态附近呈指数形式衰减或增长。
3.李雅普诺夫稳定：指解相对于初始值的具体指数速度趋于稳定。
4.中立稳定：解在稳定状态周围有振荡。
稳定性分析方法微分方程的稳定性理论为研究者提供了一些方法来分析解的稳定性：李雅普诺夫方法李雅普诺夫方法是一种常用的稳定性分析方法，通过构造一个李雅普诺夫函数来研究解的收敛性。
这种方法适用于线性和非线性系统，并且可以用来证明解的全局稳定性。
极限环方法极限环方法是另一种常用的稳定性分析方法，通过将微分方程线性化为极限环系统，探索极限环周围解的动态特性来确定系统的稳定性。
这种方法对周期解和周期性解的稳定性问题有很好的应用。
拉普拉斯变换方法拉普拉斯变换方法是用于求解线性微分方程的一种方法，可以将微分方程转化为代数方程，从而快速得到解的稳定性特性。
这种方法适用于线性系统和光滑函数的稳定性分析。
应用领域微分方程的稳定性理论在许多领域都有着广泛的应用，例如控制理论、动力系统和生态学等。
通过稳定性分析，研究者可以更好地理解系统的稳定性特性和动态行为，为实际问题的解决提供理论支持。
结论微分方程的稳定性理论是微分方程研究中一个重要而深刻的领域，它为研究者提供了丰富的稳定性分析方法和技术工具。
通过深入研究微分方程的稳定性问题，我们可以更好地理解系统的动态特性，为科学研究和工程实践提供理论支持。
由于常微分方程定性与稳定性方法是一个比较大的领域，这里只能提供一些基本的概念和答案，供参考：
什么是常微分方程？
常微分方程是描述物理、化学、生物等自然现象中的变化的方程。
常微分方程一般由一个或多个未知函数及其导数组成，通常用数学公式表示。
什么是定性分析？
定性分析是研究常微分方程解的行为特征而非求解具体解的方法。
它通常包括研究解的图像、相图、相平面等几何图形。
什么是稳定性？
稳定性是指一个系统在受到微小扰动后，是否能够回到原来的稳定状态的特性。
在常微分方程中，稳定性通常与平衡点相关。
什么是平衡点？
平衡点是指一个微分方程解中，导数为零的点。
在平衡点附近的解通常表现为一些稳定性特征，如稳定、不稳定、半稳定等。
什么是极限环？
极限环是指在相平面上，解沿着一个封闭轨迹无限接近平衡点的情况。
极限环通常是非线性微分方程中出现的现象，其表现形式与解在相平面上的轨迹有关。
以上是常微分方程定性与稳定性方法的一些基本概念和答案，仅供参考。
实际上，这个领域非常广阔，需要深入研究和掌握相关的理论和方法才能应用到实际问题中。
常微分方程的稳定性常微分方程是研究函数和它的导数之间关系的数学工具。
在科学和工程领域中，我们经常遇到描述自然现象或系统动态演化的问题，而常微分方程正是用来描述这些变化过程的数学语言。
对于一个常微分方程而言，了解和判断它的稳定性是十分重要的，因为它反映了系统的长期行为和演化方向。
一、稳定性的概念稳定性是指系统在经历一定的扰动后，能回归到原来的状态或者逐渐趋向于某一稳定的状态。
在常微分方程的研究中，我们主要关注的是方程解的稳定性。
解的稳定性可以分为以下几种情况：1. 稳定解：如果在解的某个附近，初始条件的微小扰动不会引起解的显著变化，那么我们称这个解是稳定的。
2. 汇合解：如果初始条件的微小扰动会使解趋向于某个特定的解，那么我们称这个解是汇合解，或者吸引解。
3. 不稳定解：如果初始条件的微小扰动会导致解远离原来的状态，那么我们称这个解是不稳定的。
二、线性方程的稳定性对于一阶线性常微分方程$$\frac{dy}{dx} = f(x)y$$线性方程的稳定性可以通过解的特征值来判断。
1. 实特征值：如果特征值的实部为负，则解是稳定的。
如果特征值的实部为正，则解是不稳定的。
2. 复特征值：如果特征值的实部小于零，解是稳定的；如果特征值的实部大于零，解是不稳定的。
而特征值的虚部则决定了解的振荡程度，如果虚部存在，则解是振荡的。
三、非线性方程的稳定性非线性方程的稳定性分析相对复杂，没有统一的判据。
在研究中，我们主要使用的方法有：1. 线性化法：将非线性方程近似为线性方程，然后用线性方程的稳定性条件进行分析。
2. Lyapunov函数法：通过构造Lyapunov函数来判断解的稳定性。
如果能找到一个满足特定条件的Lyapunov函数，那么解是稳定的。
3. 相图法：通过画出相图来观察解的稳定性。
相图可以展示出解的演化轨迹及其吸引子，从而判断其稳定性。
四、稳定性的应用常微分方程的稳定性理论在科学和工程中有广泛的应用。
1. 科学研究：稳定性理论可以用于描述自然现象和生物系统的变化过程，比如描述人口增长、化学反应动力学等问题。
微分方程定性与稳定性分析解析微分方程是描述自然界中变化规律的重要数学工具，在各个学科领域中都有广泛的应用。
微分方程的定性与稳定性分析是研究微分方程解行为的一种方法，通过分析解的性质和稳定性来了解方程的整体行为。
本文将介绍微分方程定性与稳定性分析的基本概念和方法，并通过具体的例子来阐述其应用。
一、微分方程定性分析微分方程定性分析是指通过对微分方程解的性质进行分析，得到关于解的定性描述。
在定性分析中，我们主要关注解的长期行为和整体趋势，而不是具体的解析形式。
1. 平衡解与稳定性在微分方程中，平衡解是指满足方程右端为零的解。
对于一阶微分方程dy/dx = f(x)，平衡解即为使得f(x) = 0的x值。
平衡解的稳定性是指当初始条件接近平衡解时，解的行为是否趋于平衡解。
2. 等式右端的符号分析对于微分方程dy/dx = f(x)，我们可以通过分析f(x)的符号来推断解的行为。
当f(x) > 0时，解呈现上升趋势；当f(x) < 0时，解呈现下降趋势；当f(x) = 0时，解为平衡解。
3. 相图分析相图是描述微分方程解的图形，横轴表示自变量x，纵轴表示因变量y。
在相图中，曲线表示解的轨迹，平衡解表示曲线与纵轴的交点。
通过绘制相图，我们可以直观地了解解的行为和稳定性。
二、微分方程稳定性分析微分方程稳定性分析是指通过分析微分方程解的稳定性来了解方程的整体行为。
稳定性分析可以分为局部稳定性和全局稳定性两个方面。
1. 局部稳定性局部稳定性是指当初始条件接近某个平衡解时，解的行为是否趋于该平衡解。
局部稳定性可以通过线性化的方法来分析，即将微分方程在平衡解附近进行泰勒展开，并分析展开式的特征根。
2. 全局稳定性全局稳定性是指当初始条件在整个定义域内变化时，解的行为是否趋于某个平衡解。
全局稳定性的分析较为复杂，通常需要借助于Lyapunov函数或者Poincaré-Bendixson定理等方法。
三、定性与稳定性分析的应用微分方程的定性与稳定性分析在各个学科领域中都有广泛的应用。
第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 ϕ-的变化是否也很小？本章向量12(,,,)T n x x x x =的范数取12
21
n
i i x x =⎛⎫= ⎪⎝⎭
∑。
如果所考虑的解的存在区间是有限区间，那么这是解对初值的连续依赖性，在第二章的定理2.7已有结论。
现在要考虑的是解的存在区间是无穷区间，那么解对初值不一定有连续依赖性，这就产生了Liapunov 意义下的稳定性概念。
定义 5.1 如果对于任意给定的0ε>和00t ≥都存在0(,)0t δδε=>,使得只要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 δ-< ，就有 0001lim((,,)(,,))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 ϕϕ=作如下变量代换. 作如下变量代换.
令 ()()y x t t ϕ=- (5.2) 则
()()(,())(,())dy dx t d t f t x t f t t dt dt dt
ϕϕ=-=- (,())(,())f t t y f t t ϕϕ=+-(,)F t y =于是在变换(5.2)下，将方程(5.1)化成
(,)dy
F t y dt
= (5.3) 其中(,)(,())(,())F t y f t t y f t t ϕϕ=+-。
这样关于(5.1)的解()x t ϕ=的稳定性问题就化为(5.3)的零解y =0的稳定性问题了。
因此，我们可以在下文中只考虑(5.1)的零解0x =的稳定性，即假设(,0)0f t ≡，并有如下定义： 定义5.3 若对任意0ε>和00t ≥，存在0(,)0t δδε=>，使当0x δ<时有 00(,,)x t t x ε< (5.4) 对所有的0t t ≥成立，则称(5.1)的零解是稳定的，反之是不稳定的。
定义5.4 若(5.1)的零解是稳定的，且存在
10( 5.1)δδδδ<<为定义中的，使当01x δ<时有
00lim (,,)0t x t t x →∞
= 则称(5.1)的零解是渐近稳定的。
例1 考察系统 dx
y dt
dx x dt
⎧=⎪⎪⎨⎪=-⎪⎩
的零解的稳定性。
解 不妨取初始时刻00t =，对于一切0t ≥，方程组满足初始条件
22
0000(0),(0)(0)x x y y x y ==+≠的解为
0000()cos sin ()sin cos x t x t y t
y t x t y t
=+⎧⎨
=-+⎩
对 任一0ε>，取δε=，则当12220
()x y δ+<时，有
1
12
2
2
2
2
20000()()(cos sin )(sin cos )x t y t x t y t x t y t ⎡⎤⎡⎤+=++-+⎣⎦⎣⎦
12220
()x y δε
=+<=
故该系统的零解是稳定的。
然而，由于
112
2
2
222
lim ()()()0t x t y t x y →∞⎡⎤+=+≠⎣
⎦ 所以该系统的零解不是渐近稳定的。
例2 考察系统
dx
x dt
dx y dt
⎧=-⎪⎪⎨⎪=-⎪⎩
的零解的稳定性.
解 在0t ≥上，取初值为00(0,,)x y 的解为：
00()()t
t
x t x e y t y e
--⎧=⎨=-⎩ 其中22000x y +≠
对任一0ε>，取 δε=，则当12220
()x y δ+<时，有
1
12
2
222222
()()()t
t x t y t x e y e --⎡⎤+=+⎣⎦12220
()x y δε≤+<=(0)t ≥故该系的零解是稳定的. 又因为
1
12
2
222222
lim ()()()0t
t t x t y t x e y e --→∞⎡⎤+=+=⎣
⎦ 可见该系统的零解是渐近稳定的. 例3 考察系统
dx
x dt
dx y dt
⎧=⎪⎪⎨⎪=⎪⎩
的零解的稳定性.
解 方程组以00(0,,)x y 为初值的解为
00()()t
t
x t x e y t y e
⎧=⎨=-⎩ (0)t ≥ 其中 22000x y +≠
1
11
2
2
222222222
()()()()t t t
x t y t x e y e x y e ⎡⎤+=+=+⎣⎦
由于函数t e 随t 的递增而无限地增大. 因此，对于任意0ε>，不
管12220
()x y +取得怎样小，只要t 取得适当大时，就不能保证
1
2
2
2
()()x t y t ⎡⎤+⎣⎦小于预先给定的正数ε，所以该系统的零解是不稳的.
例4 考虑常系数线性微分方程组
dx
Ax dt
= (5.5) 其中n x R ∈,A 是n ×n 阵.证明：若A 的所有特征根都具严格负实部，则(5.5)的零解是渐近稳定的.
证明 不失一般性，我们取初始时刻00t =,设Φ(t)是(5.5)的标准基
本解矩阵，由第3章内容知满足0(0)x x =的解()x t 可写成 0()()x t t x =Φ (5.6) 由A 的所有特征根都具负实部知
lim
()0t t →∞
Φ= (5.7)于是知存在10t >，使1t t >时()1t Φ<.从而对任意0ε>，取0δε=则当
00x δ<时，由(5.6)有
001()(),x t t x x t t ε≤Φ≤<≥
当[]10,t t ∈时，由解对初值的连续相依性，对上述0ε>，存在10δ>，当01x δ<时
()0x t ε-<
取{}01min ,δδδ=，综合上面讨论知，当0x δ<时有 (),x t ε< []0,t ∈+∞ 即0x =是稳定的.
由(5.7)知对任意0x 有0lim ()0t t x →+∞
Φ=，故0x =是渐近稳定的。
