微分方程模型建立中的稳定性模型.pptVIP

0 稳定性问题 P1 P2 有相轨线趋向P1 有相轨线趋向P2 P1稳定的条件：直接法?21 P1, P2都不(局部)稳定 0 (3) ?11, ?21 0 (2) ?11, ?21 0 (4) ?11, ?21 加上与(4)相区别的 ?11 P2 稳定 P3 稳定 P1全局稳定 结果解释 对于消耗甲的资源而言，乙(相对于N2)是甲(相对于N1)的?1 倍。 对甲增长的阻滞作用，乙小于甲?乙的竞争力弱 P1稳定的条件：?11, ?21 ?21 ?甲的竞争力强 甲达到最大容量，乙灭绝 P2稳定的条件：?11, ?21 P3稳定的条件：?11, ?21 通常?1 ? 1/?2，P3稳定条件不满足 6.4 种群的相互依存 甲乙两种群的相互依存有三种形式 1) 甲可以独自生存，乙不能独自生存；甲乙一起生存时相互提供食物、促进增长。 2) 甲乙均可以独自生存；甲乙一起生存 时相互提供食物、促进增长。 3) 甲乙均不能独自生存；甲乙一起生存时相互提供食物、促进增长。 模型假设 甲可以独自生存，数量变化服从Logistic规律; 甲乙一起生存时乙为甲提供食物、促进增长。 乙不能独自生存；甲乙一起生存时甲为乙提供食物、促进增长；乙的增长又受到本身的阻滞作用 (服从Logistic规律)。 模型 乙为甲提供食物是甲消耗的?1 倍 甲为乙提供食物是乙消耗的?2 倍 种群依存模型的平衡点及稳定性 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 甲可以独自生存 乙不能独立生存 6.5 种群的弱肉强食(食饵-捕食者模型) 种群甲靠丰富的天然资源生存，种群乙靠捕食甲为生，形成食饵-捕食者系统，如食用鱼和鲨鱼，美洲兔和山猫，害虫和益虫。 模型的历史背景——一次世界大战期间地中海渔业的捕捞量下降(食用鱼和鲨鱼同时捕捞)，但是其中鲨鱼的比例却增加，为什么？ 在研究许多实际问题时，人们最为关心的也许并非系统与时间有关的变化状态，而是系统最终的发展趋势。例如，在研究某频危种群时，虽然我们也想了解它当前或今后的数量，但我们更为关心的却是它最终是否会绝灭，用什么办法可以拯救这一种群，使之免于绝种等等问题。要解决这类问题，需要用到微分方程或微分方程组的稳定性理论。在下两节，我们将研究几个与稳定性有关的问题。 一般的微分方程或微分方程组可以写成： 定义 称微分方程或微分方程组 为自治系统或动力系统。 （3.28） 若方程或方程组f(x)=0有解Xo，X=Xo显然满足（3.28）。称点Xo为微分方程或微分方程组（3.28)的平衡点或奇点。 例 Logistic模型 共有两个平衡点：N=0和N=K，分别对应微分方程的两两个特殊解。前者为No=0时的解而后者为No=K时的解。 当NoK时，积分曲线N=N(t)位于N=K的下方；当NoK时，则位于N=K的上方。从图3-17中不难看出，若No0，积分曲线在N轴上的投影曲线（称为轨线）将趋于K。这说明，平衡点N=0和N=K有着极大的区别。 图3-17 定义1 自治系统 的相空间是指以（x1,…,xn） 为坐标 的空间Rn。 特别，当n=2时，称相空间为相平面。 空间Rn的点集{(x1,…,xn)}|xi=xi(t)满足(3.28)，i=1,…,n}称为系统的轨线，所有轨线在相空间的分布图称为相图。 定义2 设x0是（3.28）的平衡点，称： （1）x0是稳定的，如果对于任意的ε0，存在一个δ0，只要|x(0)- x0|δ，就有|x(t)- x0|ε对所有的t都成立。 （2）x0是渐近稳定的，如果它是稳定的且 。 微分方程平衡点的稳定性除了几何方法，还可以通过解析方法来讨论，所用工具为以下一些定理。 （3）x0是不稳定的，如果（1）不成立。 根据这一定义，Logistic方程的平衡点N=K是稳定的且为渐近稳定的，而平衡点N=0则是不稳定的。 解析方法 定理1 设xo是微分方程 的平衡点： 若 ,则xo是渐近稳定的 若 ,则xo是渐近不稳定的 证 由泰勒公式，当x与xo充分接近时，有： 由于xo是平衡点，故f(xo)=0。