微分方程稳定性理论简介

1、这里简单介绍下面将要用到的有关内容：一、 一阶方程的平衡点及稳定性设有微分方程 （1）右端不显含自变量t，代数方程 （2）的实根称为方程（1）的平衡点（或奇点），它也是方程（1）的解（奇解）如果从所有可能的初始条件出发，方程（1）的解都满足 （3）则称平衡点是稳定的（稳定性理论中称渐近稳定）；否则，称是不稳定的（不渐近稳定）。判断平衡点是否稳定通常有两种方法，利用定义即（3）式称间接法，不求方程（1）的解，因而不利用（3）式的方法称直接法，下面介绍直接法。将在做泰勒展开，只取一次项，则方程（1）近似为： （4） （4）称为（1）的近似线性方程。也是（4）的平衡点。关于平衡点的稳定性有如下的结论

2、：若，则是方程（1）、（4）的稳定的平衡点。若，则不是方程（1）、（4）的稳定的平衡点对于方程（4）的稳定性很容易由定义（3）证明，因为（4）的一般解是 （5）其中C是由初始条件决定的常数。二、 二阶（平面）方程的平衡点和稳定性方程的一般形式可用两个一阶方程表示为 （6）右端不显含t，代数方程组 （7）的实根称为方程（6）的平衡点。记为如果从所有可能的初始条件出发，方程（6）的解都满足 （8）则称平衡点是稳定的（渐近稳定）；否则，称P0是不稳定的（不渐近稳定）。为了用直接法讨论方法方程（6）的平衡点的稳定性，先看线性常系数方程 （9）系数矩阵记作并假定A的行列式于是原点是方程（9）的唯一平衡点

3、，它的稳定性由的特征方程的根（特征根）决定，上方程可以写成更加明确的形式： （10）将特征根记作，则 （11）方程（9）的解一般有形式（）或（）为任意实数。由定义（8），当全为负数或有负的实部时是稳定的平衡点，反之，当有一个为正数或有正的实部时是不稳定的平衡点微分方程稳定性理论将平衡点分为结点、焦点、鞍点、中心等类型，完全由特征根或相应的取值决定，下表简明地给出了这些结果，表中最后一列指按照定义（8）式得下马看花关于稳定性的结论。表1 由特征方程决定的平衡点的类型和稳定性平衡点类型稳定性稳定结点稳定不稳定结点不稳定鞍点不稳定稳定退化结点稳定不稳定退化结点不稳定稳定焦点稳定不稳定焦点不稳定中心不

4、稳定 由上表可以看出，根据特征方程的系数的正负很容易判断平衡点的稳定性，准则如下：若 （12）则平衡点稳定，若 （13）则平衡点不稳定以上是对线性方程（9）的平衡点稳定性的结论，对于一般的非线性方程（6），可以用近似线性方法判断其平衡点的稳定性，在点将和作泰勒展开，只取一次项，得（6）的近似线性方程 (14)系数矩阵记作特征方程系数为,显然，点对于方程（14）的稳定性由表1或准则（12）、（13）决定，而且已经证明了如下结论:若方程（14）的特征根不为零或实部不为零，则点对于方程（6）的稳定性与对于近似方程（14）的稳定性相同。这样，点对于方程（6）的稳定性也由准则（12）、（13）决定。第六

5、节 种群的相互竞争与相互依存当某个自然环境中只有一种生物的群体（生态学上称为种群）生存时，人们常用Logistic模型来描述这个群数量的演变过程，即 (1)x（t）是种群在时刻t的数量，是固有增长率，N是环境资源容许的种群最大数量，在前面我们曾应用过这种模型，由方程（1）可以直接得到，=N是稳定平衡点，即t时x(t)N，从模型本身的意义看这是明显的结果。如果一个自然环境中有两个或两个以上种群生存，那么它们之间就要存在着或是相互竞争，或是相互依存，或是弱肉强食（食饵与捕食者）的关系。这里将从稳定状态的角度分别讨论这些关系。一、种群的相互竞争当两个种群为了争夺有限的食物来源和生活空间而进行生存竞争

6、时，最常见的结局是竞争力较弱的种群灭绝，竞争力较强的种群达到环境容许的最大数量。人们今天可以看到自然界长期演变成的这样的结局，例如一个小岛上虽然有四种燕子栖息，但是它们的食物来源各不相同，一种只在陆地上觅食，另两种分别在浅水的海滩上和离岸稍远的海中捕鱼，第四种则飞越宽阔的海面到远方攫取海味，每一种燕子在它各自生存环境中的竞争力明显地强于其它几种，这里我们建立一个模型解释类似的现象，并分析产生这种结局的条件。模型建立 有甲乙两个种群，当它们独自在一个自然环境中生存时，数量的演变均遵从Logistic规律，记是两个种群的数量，是它们的固有增长率，N1、N2是它们的最大容量， 于是对于种群甲有 其中

7、因子反映由于甲方有限资源的消耗导致的对它本身增长的阻滞作用，可解释为相对于N1而言单位数量的甲消耗的供养甲的食物量（设食物总量为1）。当两个种群在同一自然环境中生存时，考察由于乙消耗同一种有限资源对甲的增长产生的影响，可以合理地在因子中再减去一项，该项与种群乙的数量（相对于N2而言）成正比，得到种群甲方增长的方程 (2)这里的意义是，单位数量乙（相对N2而言）消耗的供养甲的食物量为单位数量甲（相对N1）消耗的供养甲的食物量的倍。类似地，甲的存在也影响了乙的增长，种群乙的方程应该是 (3)对可作相应的解释。在两种群的相互竞争中、是两个关键指标，从上面对它们的解释可知，1表示在消耗供养甲的资源中，

8、乙的消耗多于甲，因而对甲增长的阻滞作用乙大于甲，即乙的竞争力强于甲，对1可作相应的理解。一般地说，与之间没有确定的关系，但是可以把下面这种特殊情况作为较常见的一类实际情况的典型代表，即两个种群在消耗资源中对甲增长的阻作用对乙增长的阻滞作用相同，具体地说就是，因为单位数量的甲和乙消耗的供养甲方食物量之比是1：，消耗的供养甲方食物量之比是：1，所谓阻滞作用相同即 1：=：1，所以这种特殊情形可以定量地表示为=1 （4）即、互为倒数，可以简单地理解为，如果一个乙消耗的食物是一个甲的=倍，则一个甲消耗的食物是一个乙的=1/。下面我们仍然讨论、相互独立的一般情况，而将条件（4）下对问题的分析留给大家讨论

9、。稳定性分析 为了研究两个种群相互竞争的结局，即t时的趋向，不必要解方程（2）、（3）,只需对它的平衡点进行稳定性分析。首先根据微分方程（2）、（3）解代数方程组 （5）得到4个平衡点：因为仅当平衡点们于平面坐标系的第一象限时（）才有实际意义，所以对而言要求、同时小于1，或同时大于1。按照判断平衡点性的方法（见前面）计算将4个平衡点p、q的结果及稳定条件列入下表*）表1 种群竞争模型的平衡点及稳定性平衡点pq稳定条件不稳定注：表中最后一列“稳定条件”除了要求p>0,q>0以外，还有其他原因，见下面的具体分析。为了便于对平衡点P1、P2、P3的稳定条件进行分析，在相平面上讨论它们。在

10、代数方程组（5）中记对于、的不同取值范围，直线=0和=0在相平面上的相对位置不同，下面给出它们的4种情况;并对这4种情况进行分析1、。由表1知对于有0，0，稳定；的稳定性还可以从t时相轨线的趋向来分析，图1中 =0和 =0两条直线将相平面（）划分为3个区域：O（1）稳定图1 稳定 (6) (7) (8)可以证明，不论轨线从哪个区域出发，t时都将趋向P1（N1，0）。若轨线从S1出发，由（6）可知随着t的增加轨线向右上方运动，必然进入S2；若轨线从S2出发，由（7）可知轨线向右下方运动，那么它或者趋向点，或者进入S3，但是进入S3是不可能的，因为，如果设轨线在某时刻t1经直线=0进入S3，则(t

11、1)/=0,由方程（2）不难算出由（7）、（8）知0, 故，表明(t)在t1达到极小值，而这是不可能的，因为在S2中0,即(t)一直是增加的；若轨线从S3出发，由（8）可知轨线向左下方运动，那么它或者趋向点，或者进入S2，而进入S2后，根据上面的分析最终也将趋向。综上分析可以画出轨线示意图（图1），因为直线=0上d=0，所以在=0上轨线方向垂直于轴；在=0上d=0,轨线方向平行于轴。2、，类似的分析可知稳定。O（2）稳定图2 稳定3、，由表1知对于点0，0，故稳定，对轨线趋势的分析见图3。O（3）稳定图3 稳定4、，由表1知对于点0，故不稳定（鞍点），轨线或者趋向，或者趋向，由轨线的初始位置决

12、定，示意图见图4，在这种情况下和都不能说是稳定的，正因为这样，所以稳定（与初始条件无关）的条件需要加上，稳定的条件加上。O（4）不稳定图4不稳定结果解释 根据建模过程中的含义，说明、点稳定在生态上的意义。1、，意味着在对供养甲的资源的竞争中乙弱于甲，意味着在对供养乙的资源的竞争中甲强于乙，于是种群乙终灭绝，种群甲趋向最大容量，即趋向平衡点2、，情况与1正好的相反。3、，因为在竞争甲的资源中乙较弱，而在竞争乙的资源中甲较弱，于是可以达到一个双方共存的稳定的平衡状态，这是种群竞争中很少出现的情况。4、，请大家作出解释。生态学中有一个竞争排斥原理；若两个种群的单个成员消耗的资源差不多相同，而环境能承

13、受的种群甲的最大容量比种群乙大，那么种群乙终将灭亡，用本节的模型很容解释这个原理。将方程（2）、（3）改写为原理的两个条件相当于从这3个式子显然可得，这正是稳定，即种群乙灭绝的条件。二、种群的相互依存自然界中处于同一环境下两个种群相互依存而共生的现象是很普遍的，植物可以独立生存。昆虫的的授粉作用又可以提高植物的增长率，而以花粉为食物的昆虫却不能离开植物单独存活，人类与人工饲养的牲畜之间也有类似的关系，这种共生现象可以描述如下。设种群甲可以独立存在，按Logistic规律增长，种群乙为甲提供食物，有助于甲的增长，类似于前面的方程（2），种群甲的数量演变规律可以写作（r1、N1、N2的意义同前）

14、(9)前面的号这里变成+号，表示乙不是消耗甲的资源而是为甲提供食物，的含义是:单位数量乙（相对于N2）提供的供养甲的食物量为单位数量甲（相对于N1）消耗的供养甲食物量的倍。种群乙没有甲的存在会灭亡，设其死亡率为r2，则乙单独存在时有 (10)甲为乙提供食物，于是（2）式右端应加上甲对乙增长的促进作用，有 (11)显然仅当时种群乙的数量才会增长，与此相同乙的增长又会受到自身的阻滞作用，所以93）式右端还要添加Logistic项，方程变为 (12)方程（9）、（12）构成相互依存现象的数学模型，下面利用平衡点的稳定性分析，讨论时间足够长以后两个种群的变化趋向。类似于前面的作法将方程（9）、（12）

15、的平衡点及其稳定性分析的结果列入表2表2 种群依存模型的平衡点及稳定性平衡点稳定条件不稳定显然，点稳定才表明两个种群在同一环境里相互依存而共生，我们着重分析稳定的条件。由的表达式容易看出，要使平衡点有实际意义，即位于相平面第一象限 ()，必须满足下面两个条件中的一个：而由表2中点的、可知，仅在条件下才是稳定的（而在下是鞍点，不稳定），图5画出了条件下相轨线的示意图，其中,。直线和将相平面（）划分为4个区域：；。从这4个区域中的正负不难看出其相轨线的趋向如图5所示。O图5 在条件A1下稳定的相轨线 分析条件的实际意义，其关键部分是1，考虑到的含义，这表示种群甲要为乙提供足够的食物维持其生长，而&