5.1非线性方程研究.pptVIP

常微分方程稳定性理论 数学与统计学院 张齐鹏 2009年7月 例5.1.３ 求下列系统的平衡点： 解 由定义，令 解得 所以方程组有惟一的平衡点。 如果系统(5.1.6)的某个解 满足对一切 均有 其中　　 为一个常数，则称此解 为(5.1.6) 的一个周期解。 目录 上页 下页 返回 结束 目录 上页 下页 返回 结束 §5.1 非线性方程研究的例子与概念 5.1.1 例子 5.1.3 基本定义 5.1.2 自治微分方程与非自治微分方程、 动力系统 例5.1.1 早期研究生态问题的一个简单的 微分方程模型时Malthus模型 (5.1.1) 其中 代表t时刻种群的数量， 为一个常数 (称为内禀增长率)，模型的简单解释就是说 时刻 种群的数量的变化率和种群数量成正比，这时一个 线性模型，加上初始条件 可以容易地求得其解为 由解的形式可以得出当 时 这种描述明显的与实际问题不符。因为任何群的 数量都受生态环境的影响不会无限制的增长， 这就是线性化所引起的问题，它改变了实际现象 变化规律，这就导出了对其改进的 Logisitic模型 这里的 及 的意义同(5.1.1), 是一个 常数，通常称为环境容纳量．这是一个非线性的 问题，不过由于方程简单也利用初等积分可以得 得到其解为： (1) 如果 , 则 ； (2) 如果 , 则 ； (3) 如果 , 则 当 时 ，从解的形式看出 (5.1.2)克服了(5.1.1)中种群数量无限增长的缺陷, 在一定程度上能更好的刻画实际问题的变化规律． 对(5.1.1)和(5.1.2)这样能求出其解的具体形 式的问题.当然可以用前面所学的知识来讨论其解 在 时的性态，而当我们求不出方程解时, 又该如何研究 解的 性态呢？ 事实上，对一些方程可从它的形式得到当 的性态。例若将方程(5.1.1)满足 初始值　　　　 的解记为　　　　, 则从方程的形式可以看出， 当 时 则 , 单调减 ; 当 ，　　　　 　时 则 , 单调增 。 所以，当　　　　　　时 且单调减　　　　必有极限 再由(5.1.1)看出 于是, 。即当 时，(5.1.1)的解 满足　　　　　　 ．同理可以得到 当 时，　　　　　　 ．这样我们 没有求解方程，通过解的形式得出了当 时， (5.1.1)所有的解满足 同理，当 时，对(5.1.2)的解 有： 当　　　　　　时， 当　　　　　　 时， 当　　　　　 时， 于是不同的 我们可以得到(5.1.2)解的性态如下： 例5.1.2 讨论当时下面方程组解的性态. （5.1.3） 解 由于(5.1.3)是一个非线性方程组，无法求出其 故我们用定性分析法来讨论(5.1.3)当 时解的性态.将(5.1.3)满足 的解记为 在时刻 ，该解在平面上的点为： 点随着时间t而变化， 点到坐标原点 由于 利用解满足的方程(5.1.3)得 于是， 随时间单调减少，再利用反证法可以 得到　　　　　 。我们得结论是 即设有求解方程组(5.1.3)，我们也成功地解决了 解的性态分析问题。 我们就是要给出通过方程的形式来分析解的 法。接下来先给出一些基本概念。 5.1.2 自治微分方程与非自治微分方程,动力系统 最一般的 阶非线性微分方程可以表示为 : (5.1.4) 且 关于的 隐函数是存在的，即(5.1.4)可以 表示为 如果做变换 则该方程可以表示为如下的一阶微分方程组: 因此，我们只要考虑如下更一般的 : （5.1.5） 方程组（5.1.5）可以记为向量形式 其中: 如果还有初始值条件 : (5.1.7) (5.1.6)和(5.1.7)就是