两种群竞争模型的定性分析.docVIP

PAGE 1 - 基于两种群竞争模型的稳定性分析 摘要：本文主要研究了生物数学中的两种群竞争模型, 运用微分方程的定性和稳定性理论, 首先对两种群竟争模型的解的情况给出了定性分析，并对其平衡点作了稳定性分析, 揭示了两种竞争种群之间的数量变化关系. 最后从生物学角度对模型作出相应的解释，并运用数值模拟验证了结论的可行性. 关键词：竞争种群；稳定性；平衡点；数值模拟 1引 言 对生物种群分布数量和密度的研究，在生态学和生物学研究中有着重要的意义[1].然而由于生物种群之间受各种复杂的关系制约，想要获得种群在特定时刻的准确分布数量或密度分布情况，往往相当困难，这也是研究的热点所在.本文从两种群竞争关系入手，建立微分方程模型，运用稳定性理论并结合实例作出了模型的动力学性质分析. 2 两种群竞争数学模型 设系统内存在两种群和，且两种群都以来自本系统外的同一食饵为食.以，分别表示时刻两种群的数目，假定，在上是可微函数，则给出模型为 （1） 模型（1）中各参数均为正，种群内部和种群之间的关系取决于各参数前得符号.若，则表明两种群的食物来源于系统外部；若，则表示两种群受密度制约；若，则表明两种群为竞争关系，彼此产生威胁，见[2]和[3]. 3 预备知识 对自治系统： （2） 从文[4]中得知一下定义和定理. 定义1 若存在点使得，则显然是（2）的常数解，其轨线为一点，称这样的点为平衡点. 定义2 给定，（与有关），使得满足：时，方程组的由初始值确定的解均有：，. 则称方程组的零解为稳定的. 定义3 对方程组的零解若是稳定的，且，使得时，满足初始值确定的解均有：，则称零解为渐进稳定.若为渐进稳定的，且仅当时满足初始值的解均有：，则域称为稳定域或吸引域，若吸引域是所考虑的整个区域，则称零解为全局渐进稳定的. 定义4 考虑，若函数在上连续，可微.且满足 ，，且，则称为上的正定函数. 定理1[5] 对于非线性系统 ， （3） 其中，且，为常数矩阵.若特征方程没有零解，则（3）与其线性系统的平衡点的稳定性一致. 对线性系统平衡点稳定性的讨论，用其的跟来判定，对为2阶时有如下讨论. 定理2[5] 若的两个特征根为实根，且，则时，平衡点渐近稳定，则不稳定；时则不稳定；若有重根，则时，平衡点渐近稳定，时不稳定；若有共轭复根时，则时，平衡点渐近稳定，时不稳定，时平衡点稳定，但非渐近稳定. 因为定理2是用来讨论一类特殊平衡点的稳定性，若平衡点不是时，可作平移变换，这是因为平移变换不改变稳定性态. 4平衡点的稳定性讨论 称与模型（1）相应的自治系统 （4） 的解为（1）的平衡点. 显然模型（1）有四个平衡点，，，，其中. 它们的稳定性分别为 对而言，满足定理1，讨论其线性系统 的特征方程为 得，由定理2，故不稳定. 2．对，作平移变换 代入（1）得 据定理1，取线性系统 的特征方程为 解得. 显然，当时，渐近稳定，否则不稳定. 对于，作平移变换 代入（1）得 据定理1，取线性系统 的特征方程为 得到. 当时，渐近稳定；当时，不稳定. 对，作平移变换 代入（1）得 由定理1，去线性系统 的特征方程为 即有 由根与系数之间的关系，可知： 当时，不稳定； 当且时，渐近稳定. 综上所述，得出两种群竞争模型稳定性的一般结论：对于模型（1），各参数若满足 当时，渐近稳定，即， 当时，渐近稳定，即， 且时， 渐近稳定，即 ， 5生物学意义 在模型（1）得出的一般性结论中，对于结论1，当时，即或.这就说明当种群之间由竞争同一资源而对各自的生存产生环境阻力时，在种群的环境容纳量低于的环境容纳量而导致替代环境容量时，最终种群趋于灭绝；而种群将最终稳定于其环境容量. 同理可知，对于结论2，当时，即时，种群的环境容纳量低于的环境容纳量而导致替代环境容量时，最终种群趋于灭绝，而种群将最终稳定于其环境容量. 对于结论3，说明了上述两个条件的方面同时成立时，种群的环境容纳量对产生的替代环境容纳量不至于威胁到的生存，种群的环境容纳量也不至于威胁到的生存. 故在此情形下，两种群都将得以生存而不会灭绝. 进一步，若考虑到种群数目的Logistic模型，可以将模型（1）变形为 （5） 其中为种群的净自然增长率，为种群的环境容纳量，而反应了当与共同竞争同一资源时，此时对的环境阻力，即一个的存在相当于个的存在；反应了当和共同竞争同一资源时，对的环境阻力，即一个的存在相当于个的存在. 常数和表明两种群之间的竞争关系. 6数值模拟 下面我将利用数值模拟来更好更直观的理