- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
d
1
dt
§6.1 稳定性 (非线性微分方程的有关基础理论及稳定性概念 )
dy g(t; y) dt
y1
其
中,
y
y2
,
yn
非自治系统
(1)
或非定常系
统
g1(t; y1, y2 ,, yn )
g(t;
y
)
g2
(t;
y1
,
y2
,,
yn
)
gn
(t;
y1
,
y2
,,
yn
)
dy g( y) dt
y1
其
中,
y y2源自 ,
yn
(2)
g1( y1, y2 ,, yn )
g(t;
y)
g2
(
y1
,
y2
,,
yn
)
gn
(
y1
,
y2
,
,
yn
李氏第二法(亦称直接法)的特点是不必 求解系统的微分方程就可以对系统的稳定性进 行分析和判断。它是从能量的观点出发得来的 他指出:若系统有一个平衡点,则当t 时, 系统运动到平衡点时,则系统积蓄的能量必达 到一个极小值。由此,李雅普诺夫创造了一个 辅助函数,可以用它来衡量系统积蓄的能量, 但它并非是一个真正的能量函数。只要这一 函数符合李雅普诺夫提出的稳定性理论准则 就能用来判断系统的稳定性。因此应用李氏
x
x(x2
y2 ),
dt
limt x(t) ? limt y(t) ?
利用极坐 标将方程 组
dx
dt
dy
y x( x2 y 2 1) x y( x2 y 2 1)
dt
化为
dr dt
r
(r 2 1)
dx dt
rx,
x(0) x0 ,
x x0ert
dx dt
rx
1
x k
,
x(0) x0,
k x 1 (k / x0 1)ert
0 x k, x ' 0, x k, x ' 0
dx dt
y
y(x2
y2 ),
dy
稳定性的物理意义
1892年,李雅普诺夫就如何判断系统稳定性的问题, 归纳成两种方法(简称第一法和第二法)。第一法是通过求 解系统的微分方程,然后根据解的性质来判断系统的稳 定性,同时,他还指出非线性系统在工作点附近的一定 范围内可以用线性化了的微分方程来近似地加以描述。 如果线性化的特征方程式的根全部是负实数根,或者是 具有负实数部分的复根,则该系统在工作点附近周围是 稳定的,否则便是不稳定的。
g(t; y1) g(t; y2 ) L y1 y2
注:关于 解的延拓
结论:存在 h 0 ,使初值问题
与连续定
dy dt
g(t;
y)
的解在
|t
t0
|
h
y(t0 ) y0
理、可微 性定理见 教材P250.
上存在且唯一,其中 h min(a, b ), M max g(t; y)
不求解微分方程而通过方程右端函数的 信息探讨时间趋于无穷时解的性态
例 dx x dt
dx x(1 x2 ) dt
dx x(1 x2 )(1 x2 sin8 (x t)) dt
满足x(0) x0的解为 x x(t),
lim x(t) ?
t
几个例子:
第五章 定性和稳定性理论简介
1841年Liouville证明了Riccati方程: dy r(x) y2 p(x) y q(x) dx
解的存在,但不能用公式求解,所以 微分方程研究的主流发生了变化,不 解方程去判断解的形式,即定性理论 和稳定性理论。尽管是很古老的学科, 但这里还有很多问题需要研究.
定理的关键在于能否找到一个合适的辅 助函数,此函数称为李雅普诺夫函数。可 惜直到目前为止还没有一个简便的寻求 李氏函数的一般方法,这也是在过去的 一段相当长的时期内李氏稳定理论未能 得到广泛应用研究的原因之一。
研究 对象:
dx f (t; x) dt
(*)
f (t;0) 0
)
自治系统或 定常系统
一般非线性微分方程组的解的存在与唯一性定理
条件:方程
dy g(t; y) 右边的函数 dt
g(t; y)
(1)在n+1维空间的区域 R :| t t0 | a, y y0 b 上连续;
(2)在R上关于 y 满足李普希兹条件,即存在L >0,使对
R上任意两点 (t, y1 ) , (t, y2 ) ,有
显然有, f (t;0) 0
研究 dy g(t; y) 的特解 y (t) 邻近的性态
dt 研究 dx f (t; x) 的零解 x 0 邻近的性态
dt
零解在李雅普诺夫 (Liapunov) 意义下的稳定性的定义
如果所考虑的解的存在区间是有限闭区间,那么这是解对初值的连续依赖性, 第3章的我们已讨论过.现在要考虑的是解的存在区间是无穷区间,那么解对 初值不一定有连续依赖性,这就产生了李雅普诺夫意义下的稳定性概念.
M
(t , y)R
解的性态的研究
研究 dy g(t; y) 的特解 y (t) 邻近的性态
dt
作变换 x y (t) 化为 dx f (t; x)
思
dt
路 其中 f (t; x) g(t; y) d(t)
dt
g(t; x (t)) g(t;(t))
稳定性定义
若 对给 定 的 0, ( , t0 ) 0,使 当 任 一x0满 足 x0 时,
方 程 组(*)的 由 初 始 条 件x(t0 ) x0确 定 的 解x(t)均 有
非线性微分方程
实际问题中所研究的对象往往是非常复杂的,需要 非线性微分方程(组)来描述,非线性方程能求出解 析解的很少,需要进行数值计算或理论分析。 微分方程的研究内容
求解:解析解、近似解、数值解 基本理论:解的存在惟一性、连续性 定性稳定性:时间趋于无穷时解的性态 分支理论:解性态发生改变的一些参数值 本章介绍非线性微分方程的基本研究办法,其出发 点是在无法求出解析解的情况下通过方程本身的形 式来分析时间趋于无穷时解的性态。