恒化器中一类变消耗率食物链模型正解存在性和稳定性.pdfVIP

恒化器中一类变消耗率食物链模型正解的存在性和稳 定性 孙鲲，刘婧 大连海事大学数理系，大连（116026 ） E-mail：sunkundream@ 摘 要：考虑到自然环境中微生物种群对营养基的消耗率与营养基的浓度有关，假设单食物 链模型中的被捕食种群对营养基的消耗率为 −1 2 −1 δ (s) (A =+Bs ) ，捕食种群对被捕食种群的 1 −1 2 −1 消耗率为δ (x ) (C =+Dx ) ，用常微分方程的定性理论研究恒化器中的单食物链模型平衡 2 解的存在性和局部稳定性。用构造Liapunov 函数的方法研究了正平衡点的全局稳定性。 关键词：恒化器；单食物链模型；平衡解；稳定性；Liapunov 函数；正不变集 中图分类号：O175 1. 引言 用恒化器进行微生物的连续培养实验对现实生活中商用微生物的生产、废料及污水处 理，生物制药、食品加工等领域都具有非常重要的指导意义。在均匀搅拌状态下，微生物的 连续培养模型归结为常微分方程组的初值问题。最初，为了便于理论分析，人们对Chemostat 中微生物连续培养的数学模型做了一些理想化的假设。例如，假设微生物种群对营养的消耗 具有常数消耗率、不同的微生物种群具有相同的死亡率、不考虑营养物质的浓度会随着白昼 和黑夜的变化以及季节的转换而呈现周期性的变化等等。理论分析的结果往往与微生物连续 培养过程中表现出的现象不符，或解释不了微生物生长过程中出现的多态振荡、滞后、混沌 等现象[8, 9]，这就启发人们对数学模型建立和分析过程中作的一些理想假设进行改进。实 际上，当营养基过于丰富时，消耗率就要下降，因而消耗率应是营养基浓度的非减函数 [2,3,4,5,6,7]。因此，放弃消耗率为常数的假设是非常合理的。文献[3]研究单种群连续培养 模型，将消耗率中的参数δ 设为关于营养基浓度的非线性函数A +Bs 2 ，利用Friedrich 方法 得到了系统存在 Hopf 分支条件，并判定了分歧周期解的稳定性。文献[4，5]研究两种微生 物竞争一种营养基的竞争模型，消耗率均假设为营养基浓度的非减函数，讨论了半平凡平衡 点的存在性和稳定性，利用广义 Liapunov 函数方法和中心流形定理证明了系统存在三维 Hopf 分支，并由此得出极限环的存在性。 关于Chemostat 中单食物链模型的研究很多[1,10,11,13]，一般情况均假设微生物的增长 对营养的消耗具有常数消耗率。文献[14]考虑含有线性函数的变消耗率单食物链模型，分析 了平衡点的存在性和局部稳定性，证明了系统存在正向不变集，得到了非常数消耗率单食物 链模型中两种微生物共存与微生物本身参数及环境参数之间的关系。本文将研究含有非线性 函数的变消耗率的单食物链模型，应用常微分方程定性理论和构造Liapunov 函数的方法， 得到系统的有界性，平衡点的存在性，局部稳定性及全局稳定性。 2. 平衡点的存在性及局部稳定性 Chemostat 中含有非线性函数的变消耗率的单食物链模型，由下列常微分方程组给出 - 1 - ⎧ds 1 m sx 1 =− − ⎪