数学建模平衡点稳定性.docxVIP

微分方程平衡点及其稳定性理论 这里简单介绍下面将要用到的有关内容： 一、 一阶方程的平衡点及稳定性 设有微分方程 dx （1） f ( x) dt 右端不显含自变量 t ，代数方程 f (x) 0 （2） 的实根 x x0 称为方程（ 1）的平衡点（或奇点），它也是方程（ 1）的解（奇解） 如果从所有可能的初始条件出发，方程（ 1）的解 x(t ) 都满足 lim x(t) x0 （3） t 则称平衡点 x0 是稳定的（稳定性理论中称 渐近稳定 ）；否则，称 x0 是不稳定的（不渐近稳定 ）。 判断平衡点 x0 是否稳定通常有两种方法，利用定义即（ 3）式称间接法，不 求方程（ 1）的解 x(t ) ，因而不利用（ 3）式的方法称直接法，下面介绍直接法。 将 f ( x) 在 x0 做泰勒展开，只取一次项，则方程（ 1）近似为： dx （4） f (x)( x x0 ) dt （4）称为（ 1）的近似线性方程。 x0 也是（ 4）的平衡点。关于平衡点 x0 的稳定性有如下的结论： 若 f ( x0 ) 0 ，则 x0 是方程（ 1）、（4）的稳定的平衡点。 若 f ( x0 ) 0 ，则 x0 不是方程（ 1）、（ 4）的稳定的平衡点 x0 对于方程（ 4）的稳定性很容易由定义（ 3）证明，因为（ 4）的一般解是 x(t ) ce f ( x0 ) t x0 （ 5） 其中 C 是由初始条件决定的常数。 二、 微分方程组的平衡点和稳定性 方程的一般形式可用两个一阶方程表示为 dx1 (t ) f (x1, x2 ) dt （ 6） dx2 (t) g( x1, x2 ) dt 右端不显含 t ，代数方程组 f ( x1 , x2 ) 0 g ( x1 , x2 ) 0  （ 7） 的实根 ( x10 , x20 ) 称为方程（ 6）的平衡点。 记为 P0 (x10 , x20 ) 如果从所有可能的初始条件出发，方程（ 6）的解 x1(t), x2 (t) 都满足 lim x1 (t) x10 lim x2 (t ) x20 （ 8） t t 则称平衡点 P0 0 0 0 是不稳定的（不渐 (x1 , x2 ) 是稳定的（ 渐近稳定 ）；否则，称 P 近稳定）。 为了用直接法讨论方法方程（ 6）的平衡点的稳定性，先看线性常系数方程 dx1(t) b1x2 a1x1 dt （9） dx2 (t) a2 x1 b2 x2 dt 系数矩阵记作 A  a1 b1 a2 b2 并假定 A 的行列式 det A 0 于是原点 P0 (0,0) 是方程（ 9）的唯一平衡点，它的稳定性由的特征方程 det( A I ) 0 的根 （特征根）决定，上方程可以写成更加明确的形式： 2 p q 0 p (a1 b2 ) （ 10） q det A 将特征根记作 1, 2 ，则 1 , 2 1 ( p p2 4q ) （11） 2 方程（ 9）的解一般有形式 1 1t 2 2 t （ 1 2 ）或 12 t （ 1 2 ） c e c e (c c t )e c1, c2 为任意实数。由定义（ 8），当 1, 2 全为负数或有负的实部时 P0 (0,0) 是稳定 的平衡点，反之，当 1, 2 有一个为正数或有正的实部时 P0 (0,0) 是不稳定的平衡 点