1. 引言
在恒化器系统中,微生物为了获得竞争优势通常会排出毒素抑制其它微生物的生长,同时毒素的生产会降低自身的繁殖能力 [1]。毒素对微生物生长的影响研究已经受到众多学者的关注,例如Hsu等 [2] 探讨了毒素存在下的微生物竞争排斥原理问题;孙明娟等 [3] 讨论了微生物的竞争共存问题;Zhu等 [4] 给出了Hopf分支存在的条件,证明了极限环的存在性;李建全等 [5] 给出了模型的各类平衡点存在及稳定的充要条件;Nie等 [6] 利用分支理论讨论了正稳态解的局部结构及其稳定性。上述文献大都假设微生物的营养消耗率为常数,本文将放弃营养消耗率为常数的假设,考虑如下带有毒素生产的具有可变营养消耗率的恒化器模型:
(1)
其中
为t时刻培养皿中的营养液浓度,
和
分别为t时刻两种竞争微生物在培养皿中的浓度,
为t时刻由微生物排出的毒素在培养皿中的浓度;
,
为可变营养消耗率;
为输入的初始营养浓度,
为流出率。参数k为排出毒素的比例常数,
说明没有毒素排出,这对应着标准的恒化器竞争模型,
说明将全部精力用于毒素生产,没有繁殖能力,从而自然灭绝,本文仅考虑情形
。
和
表示Ivlev型功能反应函数。
表示毒素对微生物生长的影响。
作无量纲变换
,
,
,
,
。记
,
,
,
。为了简便,仍用S,x,y,P,t,
,
,
,
,
表示
,
,
,
,
,
,
,
,
,
,则系统(1)变为
(2)
根据生物学意义,假设初始条件为
(3)
事实上,集合
关于系统(2)是正向不变的。进一步,令
,得到
(4)
当
时,
,从而得到系统(4)的极限系统为
(5)
2. 平衡点的存在性
关于系统(5)的平衡点的存在性,有如下定理。
定理1 对于系统(5),1) 始终存在边界平衡点
;
2) 当
时,存在边界平衡点
;
3) 当
时,存在边界平衡点
;
4) 当
且
时,存在正平衡点
其中
,
,
证明 令系统(5)右侧等于0,即
(6)
针对式(6)讨论1)
;2)
;3)
以及4)
四种情形,容易得到定理的结论。
3. 平衡点的局部渐近稳定性
对于系统(2)平衡点的局部渐近稳定性,有如下结论。
定理2 对于系统(5),1) 当
且
时,边界平衡点
是局部渐近稳定的;2) 当
且
时,边界平衡点
是局部渐近稳定的;3) 当
且
时,边界平衡点
是局部渐近稳定的,其中
4) 当正平衡点
存在时,它是不稳定的。
证明 系统(5)在平衡点处的雅克比矩阵为
其中
表示系统(5)的任意一个平衡点。
对于边界平衡点
,系统(5)的特征方程为
(7)
当
且
时,式(7)的三个特征根均为负数,因此边界平衡点
是局部渐近稳定的。
对于边界平衡点
,系统(5)的特征方程为
(8)
令式(8)的三个特征根分别为
,其中
,当
时,
;
其中
,
因此,当
且
时,边界平衡点
是局部渐近稳定的。
类似地,当
且
时,边界平衡点
是局部渐近稳定的。
对于正平衡点
,由于
即三个特征根的乘积为正值,因此至少一个特征根为正数,从而当正平衡点
存在时,它是不稳定的。
定理 3当
且
时,边界平衡点关于
是全局渐近稳定的。
证明 构造紧集
上的非负函数
。显然,V在
上连续,并且沿着系统(5)的解的导数满足
(9)
当
且
时,
,因此,V是系统(5)在
上的一个Lyapunov函数。定义
的子集E为
令系统(5)在E上的最大不变子集为M。因此,
由M的不变性和系统(5),容易证明
. 所以,由Lyapunov-LaSalle不变性原理 [7] 得到
是全局吸引的。又因为当
且
时,
是局部渐近稳定的,因此
关于
是全局渐近稳定的。
4. 结论
考虑到在微生物竞争过程中毒素及营养消耗率可变对微生物生长的影响,本文研究了一类带有毒素生产和可变营养消耗率的恒化器模型。利用常微分方程稳定性分析方法,得到了平衡点局部渐近稳定的充分条件以及边界平衡点全局渐近稳定的充分条件。结果表明在一定条件下(定理2),竞争排斥原理成立。
基金项目
陕西省大学生创新创业训练计划项目(201813052);延安大学大学生创新创业训练计划项目(D2017026)资助。
NOTES
*通讯作者。