数学建模 微分方程稳定性理论简介.docVIP

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