动物群体的常微分方程模型.ppt

§5 竞争排斥模型 在自然界中不难发现这种现象，两种生物为了争夺有限的同一食物、生活空间或配偶，进行着激烈的斗争。达尔文在《物种起源》一书中明确指出：“最剧烈的斗争，差不多总是发生在同种的个体，因为它们居住在同一地域，需要同样食物，遭受同样威胁。在同种的变种之间，其斗争之剧烈，大体如此，且有时在短期内即见胜负。” 这里用数学模型及其解的定性分析来论证达尔文的上述思想。两种相似的 生物之间为争夺生存条件而斗争，直至其中一种生物物种完全灭绝才会中止的现象称为“竞争排斥原理”。这一原理的生物学解释是：已知生物群体在群落中有何种习性、食物和生活繁衍方式等，叫这一种群体“生态龛”。两种同类群体，难以占有同一生态龛。事实上，如果两个群体力图持有同一个生态龛，那么他们之间的生存竞争将是异常之激烈，且以弱者灭亡而告终。生态龛也可称为“小环境”。 在单种群模型中 且当t ? ? 时， 记 这个极限可以认为是这个环境中可以承受的生物体最大数量。又 （12） （12）可以解释如下：当N 很小时，N(t) 按照马尔萨斯定律 增长，aN 叫“生物势”，它是理想条件下，物种的可能增长率。只要对食物、配偶和空间不加限制，又无各个成员因排泄等造成的对环境毒化引起流行病害，这种增长率是可以实现的。但是，随着总数的增加， 随 的减少而减少。 今设N1(t) ，N2(t)分别为物种A和物种B在时刻t的数量，K1和K2分别是A与B在小天地中最大可能的个数，那么， N1(t) ，N2(t) 满足下面的数学模型（设K1≠K2): (13) 其中m2为第二物种B占据A的位置的数量，m1为A占据B的位置的数量。m2= αN2 ， m1= β N1 ，如果A和B占有不同的生态龛，利害不冲突。当α=β=1 ，这时（13）变成： （14） § 6　竞争排斥原理的数学分析 　　 为了从数学上分析（14）中N1(t) ，N2(t) 的渐近性态，先介绍一些常微分方程定性理论的概念和结论。称方程组 （15） 为平面自治系统。 的根叫做（15）的奇点，设 (x*，y*) 是（15）的一个孤立奇点。 将P(x ，y)同Q(x ， y)在 (x*，y*) 附近展开，将坐标原点平移到(x*，y*) ，则得： （16） 其中x2(x,y)与y2(x,y)是高阶项。令 （17） 称为特征方程，其根λ1 ，λ2叫做特征根。 则得近似线性系统 若 λ1 ，λ2 是同号实数，则奇点是结点，λi 0时是稳定结点，即此结点为“汇”，若λi 0 ，则此结点为“源”，汇是渐近稳定的所谓“吸引子”，源是不稳定的“排斥子”。 若λ1 ，λ2是异号实数，则奇点是鞍点。 对于结点，若是汇，则其附近的轨线皆流入（随着 t 增大）此汇，若为源， 图 5-2中箭头表示 t 增加时轨线的走向，O 是鞍点；当然另外的情形，鞍点附近轨线的走向可能与图5-2中走向恰好相反。 如果特征根是共轭复数，实部不为零，则为焦点，负实部时为稳定焦点，奇点近旁的轨线，螺旋式盘旋地趋于奇 则t ? +∞ 时，此结点近旁的轨线都远离此源。鞍点的形象见图 5-2。 图5-2 o 点（ t ? +∞ 时），即这时奇点为汇；正实部时为不稳定焦点，奇点旁近的轨线盘旋地远离奇点，即这时奇点为源。 焦点形象如图5-3所示。旋转也可能是顺时针的，图5-3表达的是稳定焦点，若把箭头反过来，则为不稳定焦点。 图5-3 关于闭轨，有以下两个命题： （1）Bendixson 准则：若P(x，y)，Q(x，y)在单连通区域D内一次连续可微，且 在D内恒正或恒负，则（15）在D内无闭轨。 （2）Dulac准则：若P(x，y)，Q(x，y) 在单连通区域D内一次连续可微，又可以找到函数B(x, y)也在D内一次连续可微，且 在D内定号，则（15）在D内无闭轨。 如果一个闭的轨线是孤立的，即此闭轨足够近的近旁已无其他的闭轨线，则此闭轨Г 足够近的近旁出发的轨线或在Г 旁边盘旋地逐渐向Г 无限靠近或盘旋地逐渐远离Г ，这时Г 叫做极限环，见图5-4。两侧皆“靠近”的极限环叫做稳定环，图5-4中的Г 就是。若把图5-4中箭头反向，则Г 称为不稳定环。一侧“靠近”，一侧“远离”的闭环为半稳定环。 图5-4 闭轨内必含至少一个奇点，从而极限环内至少有一个奇点。 下面对自治系统（14）的轨线走向进行分析