1. 引言
食饵–捕食者模型在动力学系统中的研究越来越受关注,并得到了很多相关的结论。比如文献 [1] 在确定性和随机环境下,对一种具有牧群效应的捕食者食饵模型进行了分析,得出在随机环境下,捕食者的死亡率和食饵的出生率均会受高斯白噪音的干扰的结论;文献 [2] 研究了具有时滞的捕食者–食饵模型,分析了系统平衡点稳定性,且讨论了单时滞和双时滞下系统产生Hopf分支的条件;文献 [3] [4] 讨论了各种捕食者–食饵模型的Hopf分支情况;后来很多学者考虑到人类在生态系统中的影响,文献 [5] 研究了食饵具有常数收获率的捕食者–食饵模型,而文献 [6] 则考虑了捕食者和食饵皆具有线性收获率的生态模型。在2011年,Zanette et al.通过实验发现,由于对天敌的恐惧,哥雀减少了约40%的出生率 [7],之后各界学者
开始越来越关注恐惧因子对生态系统的影响。文献 [8] 研究了带恐惧因子
的单物种模型、捕
食者–食饵模型和生态流行病学模型的动力学性质和生物学意义。生物学上的研究表明,捕食者的存在会减少猎物的能量储备,因为猎物会对捕食者的捕食行为产生应激激素的分泌 [9] [10]。这种应激反应可能因此“吓死猎物”,进一步增加猎物的死亡率 [11] [12] [13] [14] [15] 更多关于由于对捕食者的恐惧而导致的食饵死亡增加的讨论可以在 [14] [15] [16] 中找到。
受文献 [8] 的启发,对具有羊群效应的捕食者–食饵模型 [17],我们引入了恐惧因子
对
食饵出生率的影响,新的模型如下:
(1)
其中x为食饵,y为捕食者,r为食饵的最大出生率,k为环境容纳量,f为恐惧水平,a为捕食者对食饵的捕捉能力,
为捕食者将食饵转化的能力,m为捕食者的自然死亡率。
为了研究方便,对系统(1)进行了如下无量纲变换
此时系统(1)可化为
(2)
其中
。
考虑到生物学的意义,系统(2)只考虑
的情况。
2. 解的有界性
定理1 在系统(1)中,所有从
出发的解都是一致有界的。
证明
(3)
由积分不等式理论得
(4)
故
有界。
定义函数
,那么
(5)
因此,
(6)
由微分不等式得
(7)
所以,系统(1)中,所有从
出发的解都是一致有界的。
3. 模型的平衡点分析
下面由常微分方程定性理论 [18] 讨论系统(2)的平衡点存在条件和稳定性。
系统(2)具有三个平衡点,分别是平凡平衡点
,边界平衡点
和非负平衡点
当且仅当
。其中
(8)
(9)
定理2 平衡点
为鞍点,平衡点不稳定。
证明:系统(2)在
点的雅可比矩阵是:
(10)
那么矩阵
的特征方程为
(11)
因为
,此时
为不稳定的鞍点。
定理3 当
时,平衡点
为稳定的结点。当
时,平衡点
为鞍点。
证明:系统(2)在
点的雅可比矩阵是:
(12)
的特征方程为
(13)
所以当
(14)
(15)
显然
,所以当
时,平衡点
为结点。
进一步地,此时
,此时平衡点为稳定结点。而当
,此时
,故平衡点为鞍点。
定理4 当
且
,此时平衡点
是不稳定的焦点;当
且
,此时平衡点
是稳定的焦点。当
且
,此时平衡点
是不稳定的结点;当
且
,此时平衡点
是稳定的结点。
证明:系统(2)在
点处的雅可比矩阵为
(16)
其特征方程为
,其中
,
,所以当
时,
有以下结论:
H1:当
且
,此时平衡点
是不稳定的焦点;当
且
,
此时平衡点
是稳定的焦点。
H2:当
且
,此时平衡点
是不稳定的结点;当
且
,
此时平衡点
是稳定的结点。
4. Hopf分支分析
定理5 当
时,系统(2)在
附近产生超临界的Hopf分支。
证明:系统(2)在
处的特征矩阵为
(17)
特征方程为
,当
时,特征方程存在一对纯虚数特征值 λ = ± ω 0 ,此时
。取
作为分支参数。
令
,
,则
,当
时,有
,
,易证
知系统(2)产生Hopf分支的横截条件 [19] 满足,所以当
时,系统(2)在
附近产生Hopf分支。下面计算Hopf分支的方向。
令
,
,则系统变为
(18)
再做变换
(19)
系统(3)再次变为
(20)
引入复变量:
,则
(21)
其中:
(22)
将以上结果通过一阶Lyapunov系数计算公式 [19]
(23)
可得
(24)
所以
,故系统(2)在
附近产生超临界的Hopf分支。
5. 数值模拟
我们选取合适的参数值之后,对定理2进行了数值模拟。取
,此时平衡点
是鞍点,如图1所示。在生物学意义上,若
,那么随着时间的推移,无论捕食者或食饵种群取何种初始条件,随着时间的流逝,捕食者和食饵最终都不能共存,最终捕食者种群灭绝而食饵种群生存下去。
对定理3进行了数值模拟。取
得到平衡点
为稳定结点的轨线走向(图2),取
时,得到平衡点
为鞍点的轨线走向(图3)。在生物背景下,当
时,任意取初始值,捕食者种群最终走向灭绝。

Figure 1. A phase diagram near a saddle point
图1.
鞍点附近的轨线图

Figure 2. A phase diagram near a stable crunode E1
图2. E1稳定结点附近的轨线图

Figure 3. A phase diagram near a saddle point E1
图3. E1鞍点附近的轨线图
选取合适的参数值之后,对定理4进行了数值模拟。取
得到不稳定的焦点(图4),当
时,得到稳定的焦点(图5)。此时捕食者和食饵最终共存。取
得到不稳定的结点(图6),当
时,得到稳定的结点(图7)。

Figure 4. A phase diagram near an unstable focus E2
图4. E2是不稳定焦点的轨线图

Figure 5. A phase diagram near a stable focus E2
图5. E2是稳定焦点的轨线图

Figure 6. A phase diagram near an unstable crunode E2
图6. E2是不稳定结点的轨线图
Hopf分支数值模拟:取
,得到极限环,如图8所示。此时两物种呈周
期性变化而共存。

Figure 7. A phase diagram near a stable crunode E2
图7. E2是稳定结点的轨线图

Figure 8.
gets the limit cycle
图8.
时得到极限环
6. 结论
文献 [9] 提出了具有羊群效应的捕食者–食饵模型,在此基础上,本文考虑到食饵具有反捕食的行为从而引入恐惧因子。文中的定理1证明了模型的一致有界性,定理2~4分别研究了系统平衡点的存在性和稳
定性,并进行了数值模拟证明;定理5得出了当
时,系统产生Hopf分支,为超临界Hopf分支的
结论,并且发现通过Hopf分支可产生稳定的极限环,表明恰当选取参数,便可使系统中的被捕食者和捕食者最终共同存在且呈周期性变化而稳定下来。
时得到极限
Fig.8 gets the limit cycle.
态系统加以控制,便可使系统中的食饵和捕食者最终共同存在且可使两物种呈周期性变化而稳定下来。
参考文献