1. 引言
在现实的生态圈中,由于自然环境以及人类在陆地上的开发,已经使许多生态系统的栖息地支离破碎,连续的种群会破裂成斑块种群。这种碎片化严重威胁着许多濒危物种的持久和生存。种群在斑块间的扩散现象对防止种群灭绝以及种群的持续发展起到了至关重要的作用。20世纪50年代至今,学者们关于扩散在斑块种群作用的研究取得很大进展。1951,Skellem [1] 提出斑块种群扩散纯理论研究。1974年,Levin [2] 建立单种群在n斑块环境下的扩散模型来研究扩散系数对种群的平衡点的稳定性和持续生存的影响。后来,Holt [3] 等学者通过建立单物种扩散模型来研究扩散对物种密度的影响。 [4] [5] [6] [7] [8] 讨论了两斑块坏境下的捕食–食饵扩散模型,给出了使食饵、捕食者共存的最佳斑块分布。2018年Liu [9] 提出了一个食饵庇护所对斑块环境下Leslie-Gower捕食食饵模型
研究表明,系统的唯一正平衡点总是全局渐近稳定的,虽然扩散系数对捕食者和食饵的密度有影响,但并不会改变系统的稳定性。常数食饵庇护所对系统的持续生存没有影响,但是增加了食饵平衡密度;在一定条件下,捕食者种群密度会随着躲进庇护所的食饵的数量增加而降低。
在现实的生物种群中,食饵对捕食者的恐惧表现在很多方面,比如栖息地利用、觅食行为、繁殖和心理变化。在 [10] 中,Zantte等人首次提出了以下具有恐惧效应的捕食–食饵模型
这里的参数k反映了食饵反捕食者行为的恐惧水平。此外,该作者还考虑了HoIIing-II型功能反应函数的情况,发现恐惧效应可以导致从超临界Hopf分叉到亚临界Hopf分叉的周期振荡。这与以前没有恐惧效应的经典捕食–食饵模型有很大的不同。在 [10] 之后,对食饵考虑恐惧效应的研究引起了广泛关注,详见文献 [11] - [17]。
2. 模型的建立
据笔者所知,至今为止还没有学者研究过具有恐惧效应的捕食食饵斑块模型。实际上,一旦食饵遭受了恐惧效应,它通常会导致斑块之间的迁移。因此,研究具有恐惧效应和扩散的捕食者–食饵系统是非常有意义的。受前人研究成果的启发,本文将考虑如下模型:
(1)
其中
均为正常数。
做下述无量纲变换
其中
。仍用
表示
。于是得到如下系统
(2)
这里
可以证明,系统(2)的解在初值条件下是非负有界的。本文将对系统(2)平衡点的存在性和稳定性,以及扩散和恐惧效应对系统的影响进行研究。
3. 平衡点的局部稳定性
本节将讨论系统(2)平衡点的存在性和局部渐近稳定性。首先令(2)式右端为零,可得系统(2)的平衡点满足下列方程组
通过简单的计算可知,不论参数取何值,系统(2)总是存在灭绝平衡点
。当
时,存在边界平衡点
,其中
。对于可能的正平衡点,我们关注下列方程的正根
定义上述方程的判别式
注意到
,因此可以分析出当
时,系统(2)存在唯一的正平衡点
,其中
。总结上述分析可以得到如下结果。
定理 1
(1) 系统(2)始终存在一个灭绝平衡点
。
(a) 若
,那么
是局部渐近稳定的;
(b) 若
,
是鞍结点;
(c) 若
,
是不稳定的。
(2) 当
,那么系统(2)有唯一个边界平衡点
。
(a) 若
,它是局部渐近稳定的;
(b) 若
,
是鞍结点;
(c) 若
,
是不稳定的。
(3) 当
,那么系统(2)有唯一一个正平衡点
,且是局部渐近稳定的。
证明:系统(2)在任意平衡点
的雅可比矩阵为
(1) 系统在平衡点
处的雅可比矩阵为
的特征方程是
显然
有一个特征值是
,另外两个特征值
计算如下
通过简单的计算可得到如下结果:
当
时,有
,因此
是局部渐近稳定的;当
时,有
,因此
是不稳定的;当
,此时
。为了确定
的类型,将系统(2)在
处线性化,并将线性部分对角化。做变换
得到如下系统
由于
,根据 [18] 可以得到
是鞍结点。
(2) 系统(2)在平衡点
处的雅可比矩阵为
经过简单计算,可得相应的特征值
如下
当
,有
,故
是局部渐近稳定的;当
时,
,因此
是不稳定的;当
时,有
。类似于(1)中的方法,先做变换
,将
平移到原点并作泰勒展开得到如下系统
(3)
再次执行下列变换
系统(3)变为
因为
的系数是
,由 [18] 可以分析出
是鞍结点。
(3) 系统(2)在
处的雅可比矩阵是
那么相应的
的特征方程是
其中
那么
根据Rourth-Hurwitz判据 [19],可得
的所有特征值的实部均为非负的,因此
是局部渐近稳定的。定理1证毕。
基于以上的定性分析,将系统(2)平衡点的存在性和稳定性的结果总结在如下的表1中。
Table 1. The existence and stability of equilibrium of system (2)
表1. 系统((2)的平衡点的存在性及稳定性
4. 全局稳定性
定理2 若
,则
是全局渐近稳定的。
证明:构造李雅普诺夫函数
显然,在第一象限V是恒正的,
。沿着系统(2)的解轨线计算关于t的全导数,得到
当
时,对任意的
,都有
,此外,当且仅当在边界平衡点
处有
,这满足李雅普诺夫渐近稳定性定理 [20],故
是全局渐近稳定的。
定理3 如果
,并且满足
,则
是全局渐近稳定的。
证明:构造李雅谱诺夫函数
则V沿着系统(2)关于t的导数为
当
,即
,又当
时,
恒成立。故对任意的
都有
,当且仅当在
处等号取到。利用李雅普诺夫渐近稳定性定理 [20],故
是全局渐近稳定的。
定理4 如果
存在,并且满足条件
,则
是全局渐近稳定的。
证明:构造李雅普诺夫函数
沿着系统(2)的解,计算V的导数,可得
这里取
。又当
时,
恒成立,得到
显然,对任何
,除了正平衡点
处
,其它地方均是
,利用李雅普诺夫渐近稳定定理,此时系统(2)在
处是全局渐近稳定的。
5. 扩散和恐惧效应对系统(1)的影响
在这部分,我们通过分析稳定的正平衡点
得到恐惧效应和扩散对系统(2)中食饵与捕食者种群密度(TPA)的影响。利用无量纲变换,还原到系统(1)中,分析出扩散和恐惧效应对种群密度的影响。我们用
表示在
处具有扩散的食饵种群密度,
分别表示系统(1)对应的正平衡点存在时食饵与捕食者的种群密度,定义
。
5.1. 恐惧效应对食饵与捕食者密度的影响
通过一些简单的计算,我们得到
注意到当
存在时,可推出
,通过放缩法可得到
。因此,我们可以得出食饵种群密度与捕食者种群密度均随着恐惧效应的增大而减小。
5.2. 扩散对食饵与捕食者密度的影响
接下来,我们分析扩散系数
对系统(1)的影响。
当
存在时,可推出条件
成立,通过放缩法可以得到
。
因此,食饵(捕食者)种群密度随着
的增大而增大,随着
的增大而减小。
6. 数值模拟
为了验证以上理论分析结果的正确性,运用MATLAB软件进行了数值模拟。通过数值模拟可直观的显示出系统的全局动力学行为以及种群密度随着时间变化而变化的规律。
图1分别展示了模型(2)中灭绝平衡点
的全局渐近稳定性,食饵与捕食者均灭绝。其中参数选取如下
。
图2分别展示了模型(2)中边界平衡点
的全局渐近稳定性,食饵持续生存,捕食者灭绝。其中参数选取如下
。
图3分别展示了模型(2)中正平衡点
的全局渐近稳定性,我们发现食饵与捕食者均能够持续生存。参数选取如下
。
Figure 1. Global asymptotic stability and the time series of E0
图1. E0的全局相图和时间序列图
Figure 2. Global asymptotic stability and the time series of
with
图2. 当
时
的全局相图和时间序列图
Figure 3. Global asymptotic stability and the time series of
with
图3. 当
时
的全局相图和时间序列图
7. 结论
本文提出了一个食饵具有恐惧效应和扩散的捕食–食饵模型。主要是利用微分方程的定性和稳定性理论详细地分析了平衡点的存在性和稳定性。此外通过构造合适的Lyapunov函数,证明了平衡点
在一定条件下是全局渐近稳定的。最后,通过数值模拟我们还分析出当恐惧效应增大时,食饵和捕食者的种群密度均减小。也得到了食饵和捕食者的种群密度随着扩散系数
的增大而增大,随着
的增大而减小。以上分析对生态系统可持续发展问题的研究及发展具有一定的理论价值。
致谢
在此特别感谢福建省自然科学基金项目(项目代码:2021J01614,2021J01613)的资助。