微分方程稳定性模型2013年暑假.ppt

种群依存模型的平衡点及稳定性 P2是甲乙相互依存而共生的平衡点 稳定条件 不稳定 平衡点 平衡点P2稳定性的相轨线 0 ?11, ?21, ?1?21 P2稳定 ?1?21 ~ ?21 前提下P2存在的必要条件 结果解释 ?21 ~ 甲必须为乙提供足够的食物——甲为乙提供的食物是乙消耗的 ?2 倍 ?11 ~ ?21, ?1?21 的需要，且?1必须足够小，才能在?21条件下使?1?21 成立 P2稳定条件：?11, ?21, ?1?21 甲可以独自生存 乙不能独立生存 甲乙两种群的相互依存有三种形式 1) 甲可以独自生存，乙不能独自生存；甲乙一起生存时相互提供食物、促进增长。 2) 甲乙均可以独自生存；甲乙一起生存 时相互提供食物、促进增长。 3) 甲乙均不能独自生存；甲乙一起生存时相互提供食物、促进增长。 思考：分别写出（2）和（3）的数学模型，并讨论平衡点的稳定性。 稳定性模型 1 捕鱼业的持续收获 2 军备竞赛 3 种群的相互竞争 4 种群的相互依存 5 种群的弱肉强食 稳定性模型 对象仍是动态过程，而建模目的是研究时间充分长以后过程的变化趋势 ——平衡状态是否稳定。 不求解微分方程，而是用微分方程稳定性理论研究平衡状态的稳定性。 如果 则称平衡点x0是稳定的. 称代数方程 f (x)=0 的实根x = x0为方程(4-1)的平衡点(或奇点). 它也是方程(4-1)的解. 设 一阶微分方程模型平衡点的稳定性 由于 在讨论方程(4-1)的 来代替. 稳定性时，可用 易知 x0也是方程(4-2)的平衡点. (4-2)的通解为 关于x0是否稳定有以下结论： ① 若 则x0是稳定的； ② 若 则x0是不稳定的. 这个结论对于(4-1)也是成立的. 代数方程组 的实根x = x0, y = y0称为方程(4-3)的平衡点, 记作P0 (x0, y0). 它也是方程(4-3)的解. 微分方程组的平衡点的稳定性 如果 则称平衡点P0是稳定的. 下面给出判别平衡点P0是否稳定的判别准则. 设 则当p＞0且q＞0时，平衡点P0是稳定的； 当p＜0或q＜0时，平衡点P0是不稳定的. 线性常系数微分方程组 的平衡点及其稳定性 平衡点P0(x0,y0)=(0,0) ~代数方程 的根 若从P0某邻域的任一初值出发，都有 称P0是微分方程的稳定平衡点 记系数矩阵 特征方程 特征根 线性常系数微分方程组 的平衡点及其稳定性 特征根 平衡点 P0(0,0) 微分方程一般解形式 平衡点 P0(0,0)稳定 平衡点 P0(0,0)不稳定 ?1,2为负数或有负实部 p 0 且 q 0 p 0 或 q 0 1 捕鱼业的持续收获 再生资源（渔业、林业等）与非再生资源（矿业等） 再生资源应适度开发——在持续稳产前提下实现最大产量或最佳效益。 问题及 分析 在捕捞量稳定的条件下，如何控制捕捞使产量最大或效益最佳。 如果使捕捞量等于自然增长量，渔场鱼量将保持不变，则捕捞量稳定。 背景 产量模型 假设 无捕捞时鱼的自然增长服从 Logistic规律 单位时间捕捞量与渔场鱼量成正比 建模 捕捞情况下渔场鱼量满足 不需要求解x(t), 只需知道x(t)稳定的条件 r~固有增长率, N~最大鱼量 h(x)=Ex, E~捕捞强度 x(t) ~ 渔场鱼量 一阶微分方程的平衡点及其稳定性 一阶非线性（自治）方程 F(x)=0的根x0 ~微分方程的平衡点 设x(t)是方程的解，若从x0 某邻域的任一初值出发，都有 称x0是方程(1)的稳定平衡点 不求x(t), 判断x0稳定性的方法——直接法 (1)的近似线性方程 产量模型 平衡点 稳定性判断 x0 稳定, 可得到稳定产量 x1 稳定, 渔场干枯 E~捕捞强度 r~固有增长率 产量模型 在捕捞量稳定的条件下，控制捕捞强度使产量最大 图解法 P的横坐标 x0~平衡点 y=rx h P x0 y 0 y=h(x)=Ex x N y=f(x) P的纵坐标 h~产量 产量最大 f 与h交点P hm x0*=N/2 P* y=E*x 控制渔场鱼量为最大鱼量的一半 效益模型 假设 鱼销售价格p 单位捕捞强度费用c 单位时间利润 在捕捞量稳定的条件下，控制捕捞强度使效益最大. 稳定平衡点 求E使R(E)最大 渔场鱼量 收入 T = ph(x) = pEx 支出 S = cE Es S(E) T(E) 0 r E 捕捞过度 封闭式捕捞追求利润R(E)最大 开放式捕捞只求利润R(E) 0 R(E)=0时的捕捞强度(临界强度) Es=2ER 临界强度下的渔场鱼量 捕捞过度 ER E* 令=0 2 军备竞赛 描述双方(国家或国家集团)军备