微分方程第5章.1.ppt

目录 上页 下页 返回 结束 目录 上页 下页 返回 结束 第五章 稳定性 常微分方程 Ordinary Differential Equations 例5.1.1 早期研究生态问题的一个简单的 微分方程模型是Malthus模型 (5.1.1) 其中 代表t时刻种群的数量， 为一个常数 (称为增长系数)，模型的简单解释就是说 时刻 种群的数量的变化率和种群数量成正比. 初始条件 §5.1 稳定性 5.1.1 常微分方程组的存在唯一性定理 其解为 由解的形式可以得出当 时 这种描述明显的与实际问题不符。因为任何种群的 数量都受生态环境的影响不会无限制的增长， 它改变了实际现象的变化规律。 改进的 Logisitic模型 及 的意义同(5.1.1), 是一个常数， 称为环境容纳量．这是一个非线性的问题， 其解为： (5.1.2) (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.3） 方程组（5.1.3）可以记为向量形式 本章讨论通过方程的形式来分析解的方法。 其中: 如果还有初始值条件 : (5.1.4) (5.1.3)和(5.1.4)就是一个初始值问题。 若 在开区域 　　　　　 中满足： (1) 连续； (2) 关于 满足局部Lipschitz条件，即对于点 存在: 和依赖于　 点的常数　　使得对于任意的 ,不等式 成立．其中 表示范数。 则初值问题(5.1.3),(5.1.4)在区间 上存 在唯一的解. 这里: 微分方程(5.1.3)在 维空间 中确定了一个向量场，而满足(5.1.3),(5.1.4)的解 为向量场中的一条积分曲线。 当(5.1.3)中的 函数满足解的存在惟一性条件 时，向量场中的任一点只有一条积分曲线经过。 所在的空间,则　　　　　　 构成的 空间　 称之为方程组(5.1.3)的相空间,积分曲线在 相空间的投影曲线称为方程组的轨线。 若方程组(5.1.3)中的函数 是与 相关, (5.1.3)就称为非自治微分方程组,如果 函数中 不显含 ,即 (5.1.5) (5.1.5)就称为自治微分方程组。 如果把t理解为时间参量而只考虑空间变量 (1)是否存在常数值 使得 是(5.1.3)的解 (2)设 是(5.1.3)的解, 是(5.1.3)的另一个 5.1.2 李雅普诺夫稳定性 解， 与 很接近时，对于一切 是否有 有 与 都很接近? (3) (5.1.3)是否有解 ，满足 主要问题： (4)当　　　 时(5.1.3)任一解 有何趋向？ 它是否趋向于常数解或周期解? 定义5.1 系统（5.1.3）的常数解 称为 系统的平衡点(奇点或驻点)，常数解 满足： 例5.1.３ 求下列系统的平