1. 引言
生物数学模型是人们研究种群规模发展变化的重要手段之一 [1]。近年来,捕食–食饵种群模型研究取得了很好的结果。对于Holling-Tanner捕食–食饵模型,很多国内外学者取得了有意义的成果。例如,文献 [2] 用上下解方法讨论了在更简单的参数条件下,该模型的全局稳定性;文献 [3] 通过一种新的方法建立了该模型唯一正平衡解的全局渐进稳定性等等。但是环境异质对物种产生的影响这类研究甚少,在种群竞争中,环境异质可能会改变竞争的结果,理解空间非均质环境如何影响物种间的竞争是一个重要的生物学问题。本文将利用上下解方法,以及一种新构造的Lyapunov函数方法,讨论Holling-Tanner捕食–食饵模型在空间异质情况下正稳态解的全局稳定性。
考虑在异质环境下带有扩散项的Holling-Tanner捕食–食饵模型:
(1.1)
其中,
和
分别代表捕食者和食饵的密度函数,
是
中具有光滑边界
的有界区域,施加在
上的无通量边界条件表示它们生活在一个封闭的环境里。
和
分别是u和v的空间依赖扩散系数函数,
是空间异质资源函数,其中
都是常数。
2. 预备知识
为了证明异质环境下扩散Holling-Tanner模型正稳态解的存在性和全局稳定性,引入如下引理。
引理1 [4] (比较定理)假设
是正函数,常数
,
,
是正函数。如果
满足:
且常数
,那么
(2.1)
引理2 [5] 假设
,函数
分别满足
,且
。若
是有界的,并且
,
(其中
)
那么
。
3. 异质环境下扩散Holling-Tanner模型正稳态解的存在性
系统(1.1)对应的稳态问题为:
本节给出扩散Holling-Tanner模型正稳态解的存在性结果。
定理1 系统(1.1)存在唯一解
,并满足:对任意小的
(其中
),存在一个常数
,当
时,有
1)
,
(3.1)
2) 存在一个常数
,使得
(3.2)
其中
,
(3.3)
证明 由系统(1.1)的第一个方程,
满足
利用引理1,得
那么对任意的
,存在
,使得
。故模型(1.1)的第二个方程
中,
满足
结合系统(1.1)的边界条件
,同理,利用引理1得出
故存在
,使得
,
,
又因
,我们可以选择一个很小的常数
,其中
,使得
故
因此,问题(1.1)在
上存在一个正稳态解
。
4. 异质环境下扩散Holling-Tanner模型正稳态解的下界
对任意的
,定义
,
。显然有
(4.1)
定义如下的迭代序列
(4.2)
定理2 迭代序列(4.2)满足以下的单调性和收敛性:
1) 单调性:常数序列
,
,
,
满足
2) 收敛性:定义
,
,
,
满足
(4.3)
证明 (1)根据定理1 (3.1)式以及迭代序列(4.2)可得
(4.4)
根据(3.3)式有
,结合迭代序列(4.1)
利用数学归纳法
当
时
同理有
,因此(4.4)式是成立的。
假设
时也成立,当
时有
成立。同样可以得到:
,
,
,
单调性证明完毕。
(2)在证明(1)中的公式已经表明序列
,
,
,
是分别收敛于某个常数的,因此收敛性也得到了证明。
本节得出了问题(1.1)正稳态解的下界,通过迭代过程,得到了问题(1.1)正稳态解的更精确估计。
5. 异质环境下扩散Holling-Tanner模型正稳态解的全局稳定性
对于资源分布均匀的捕食–食饵系统,可以采用上下解方法或者构造李雅普诺夫函数来说明正稳态解的全局稳定性 [5] [6] [7] [8] [9],然而,这并不适用于环境异质的情况。本文采用一种新的李亚普诺夫函数形式:
,其中
是权函数。此函数对探索更一般的非同质环境下的扩散捕食–食饵模型 [10] [11] 也是一种有力的工具。这种李雅普诺夫函数也被用于研究扩散SIR传染病模型 [12]。对于模型(1.1),构造如下收敛的李雅普诺夫函数:
定理3 假设在
上,对任意
,
,我们定义
,
若
那么方程(1.1)有一个唯一的正稳态解
,且正稳态解
是全局稳定的。其中
,
。
证明 设
是方程(1.1)的解,定义一个函数
其中
,且当
时
,根据格林公式
其中
,
。
其中
当
时,存在
,使得
,有
根据(3.2)式,存在
,使得
。利用引理2有:
由(3.1)式,存在
,有
,得到
,
(5.1)
同时,(3.2)式也表明集合
在
上是相对紧凑的,可以假设
,
,
可以得出,在
上有
,
因此,
,
在
上一致成立,那么正稳态解
是全局稳定的,证毕。
6. 结束语
针对Holling-Tanner捕食–食饵模型,本文研究了资源空间分散和资源分布不均对种群的影响。本文首先利用抛物方程的比较定理和上下解方法证明了方程(1.1)正稳态解的存在性,进一步通过迭代过程,得出了问题(1.1)正稳态解的下界。最后利用新构造的李雅普诺夫函数,得到Holling-Tanner捕食–食饵模型在异质环境下的正稳态解是全局稳定的。
基金项目
国家自然科学基金青年项目(52004215);陕西省自然科学基金青年项目(2019JQ-755);陕西省教育厅基金(19JK0462)。