1. 引言
捕食模型长期以来都是生物数学的重要课题之一,其原因在于食饵与捕食者之间相互作用关系的普遍性和重要性。自从经典的Lotka-Volterra模型被提出以来,已有许多学者对其进行了研究,为了使模型更加符合实际情况,一些学者在经典的Lotka-Volterra模型的基础上引入了一些可能影响模型动力学行为的因素,例如相互干扰、恐惧效应、食饵避难所、时滞等。通过比较原理、Routh-Hurwitz判据、李雅普诺夫第二方法、Dulac定理等可以得到模型的动力学。
相互干扰的概念首先由Hassell在1971年提出 [1] ,相互干扰所描述的是当捕食者与捕食者相遇时,捕食者都有离开相遇地方的趋势。此外,Freedman在文献 [2] 提出了一个具有相互干扰常数
的一般Lotka-Volterra模型,并且分析了相互干扰系统的稳定性,其模型如下:
(1)
而当干扰常数
时,模型就变成了一般的Lotka-Volterra捕食模型。傅金波、陈兰荪在文献 [3] 研究了一类具有相互干扰和非线性饱和功能性反应且食饵种群非线性增长的捕食模型的动力学行为,得出保证系统的边界平衡点和正平衡点全局渐近稳定的阀值条件。
在生态系统中,恐惧效应随处可见。恐惧是生物与生俱来的心理反应,与此同时恐惧也会对生物的生理状态、繁殖能力、觅食行为和迁入迁出率等造成一定的影响。恐惧不仅能够让生物提高警觉性,还可以帮助生物种群规避危险,特别是被捕食种群,以达到调节种群密度的作用。Wang等人在文献 [4] [5] 将恐惧效应纳入捕食者–食饵模型,提出了如下二维常微分方程组的捕食者–食饵模型:
(2)
研究表明,恐惧效应不仅会影响到Hopf分支的存在性,还会改变Hopf分支的方向。
此外,不同的功能反应也会对捕食模型的动力学行为产生影响,继线性功能反应函数后,而在18世纪末,Holling经过大量的研究,提出了一种新的函数关系。表示随着食饵种群的增加,捕食者的捕获率应该从开始的单调递增到最后达到一个极限,然后趋于相对稳定的状态,这类功能反应函数更加符合实际情况,更具有说服性。Holling在文献 [6] 提出了经典的Holling-Ⅱ型功能反应函数,这类功能反应函数表明捕食者对食饵的功能反应依赖于食饵种群的密度。文献 [7] [8] [9] 是关于Holling型功能反应捕食模型的一些研究,具有较高的研究意义和参考价值。
以往对捕食者系统的研究,大多只考虑捕食者对食饵的直接捕杀或单独考虑某种影响,并不同时考虑捕食者对食饵的间接影响和捕食者种群自身相遇时所带来的影响。然而在生态系统中,当捕食者存在时,一方面食饵对捕食者的恐惧可以刺激食饵通过各种反捕食行为来避免被捕食;另一方面,捕食者相遇时都有离开相遇地方的趋势,即相互干扰。本文结合捕食者存在时,对捕食者种群产生的相互干扰现象以及食饵种群对捕食者种群产生恐惧现象,同时考虑功能反应为Holling-Ⅱ型等因素,建立一类具有相互干扰和恐惧效应且功能反应函数为Holling-Ⅱ型的捕食模型:
(3)
其中
分别表示食饵和捕食者的密度,r为食饵的自然出生率,
分别表示食饵和捕食者由于种内竞争导致的死亡率,
分别表示食饵和捕食者的自然死亡率,
为干扰常数,
为捕
食者捕食食饵后转化为自身能量的转化率,恐惧因子
并且满足:
,
,
,
,
表示Holling-Ⅱ型功能反应函数,表示捕食者的捕获率应该从开始
的单调递增到最后达到一个极限,然后趋于相对稳定的状态,其中,假设
均为正常数。
2. 平衡点的存在性
初始条件
下,定义
,模型(3)的右端的式子在第一象限内连续可微同时满足局部Lipschitz条件,故模型(3)的解局部存在。
引理2.1:如果
且
(1) 若
,则
;
(2) 若
,则
。
引理2.2:如果
且
(1) 若
,则
;
(2) 若
,则
。
定理2.1在初始条件
下,
,模型(3)的解是非负的,且有界的。
证明:对模型(3)两边积分,可得
易知
在
内非负,非负性得证。下面证明模型(3)的有界性,
由模型(3)的第一个式子进行放缩
由引理2.1得
,那么
对于
,有
。同理可得,
由模型(3)的第二个式子可知
根据引理2.2得到
,那么
,对于
,有
。
根据上述分析可得模型(3)的解时有界的。
定理2.2若
时,模型(3)是持续的
证明:由定理2.1可知对于
,有
,所以
令
,当
时,由引理2.1得到
,那么
,
对于
有
。同理可知,当
时
所以根据引理2.2可得
。综上分析存在
,使得
下式成立:
根据文献 [10] 所述可以得到模型(3)是持续的。
定理2.2 (1) 模型始终存在一个平凡平衡点
;。
(2) 当
时,模型存在一个边界平衡点
和唯一的正平衡点
。
证明:模型的平衡点满足方程
显然,可以得到平凡平衡点
总存在,当
时,存在一个边界平衡点
和唯一
的正平衡点
。下面分析正平衡点的存在性。
满足方程
(4)
根据上式得食饵等倾线
,当
时,得
,若
,则
。当
时,令
,
,
,
,所以必定
,使得
。因此,
是从正y轴一点
连续单调递减到正x轴上一点
。
捕食等倾线
,当
即捕食者是非密度制约的,此时捕食者等倾线
,可得
,显然
过原点
,又
,所以,
经过原点
且单调递增。根据文献 [11] 可知
时,捕食者等倾线
也是经过原点单调递增的曲线。
综上分析可知,
和
在第一象限内有唯一的一个交点,因此,模型存在唯一的正平衡点
。
3. 平衡点的稳定性
模型在点
处的雅可比矩阵
其中
根据文献 [12] 可以分析计算得到平衡点的局部稳定性
定理3.1 当
,平衡点
全局渐近稳定;当
时,平衡点
不稳定。
证明:模型在处
的雅可比矩阵
,矩阵所对应的特征
,
,当
时,
,平衡点
局部渐近稳定;
时,
,平衡点
不稳定。
下面证明平衡点
的全局稳定性,构造Lyapunov函数
,易得
当
时,
;当且仅当
时,
,再结合
的局部渐近稳定性可知,
是全局渐近稳定的。
定理3.2 当
时,平衡点
是局部渐近稳定的
证明:模型在处
的雅可比矩阵
,其矩阵对应的特征值为
,
,所以平衡点
是局部渐近稳定的。
定理3.3 若
且
时,正平衡点判据
局部渐近稳定;
时,
正平衡点
不稳定。
证明:模型在
处的雅可比矩阵为
其特征方程为
(5)
其中
当
时,
,特征方程的特征值
的实部均小于零,根据Hurwitz判据,正平衡点判据
局部渐近稳定;当
且
时,特征方程的特征值
的实部均
大于零,正平衡点
不稳定。
定理3.4 若
时,模型(3)在第一象限无正周期解
证明:对模型(3)作替换,令
,仍用
表示,则模型(3)变为
设Dulac函数为
,对于模型(3)有
故模型(3)在第一象限无正周期解。
4. Hopf分支的存在性
以模型(3)中的恐惧水平k或干扰常数m作为分支参数,其余参数均保持不变,因恐惧水平和干扰常数的情况类似,故只需考虑恐惧水平作为分支参数的情形,探究模型(3)在正平衡点处出现hopf分支的可能性。
定理4.1 当
时,若
,则当
时,正平衡点
处出现Hopf分支。
证明:设
为特征方程(4)的特征值,代入方程(5)中,分离实部与虚部得
(6)
在Hopf分支点时应有
,设
时
,代入(6)式,得
有
;
;
时,
,对方程(6)求导,并代入
,
得
,当
时,
,证毕。
5. 结论
本文研究了一类具有相互干扰和恐惧效应且功能反应为Holling-Ⅱ型的捕食模型,分析了平衡点的存在性和局部稳定性,并给出了模型持续性的充分条件。通过计算分析表明:当食饵的死亡率大于出生率时,系统最终会走向灭绝;当食饵的死亡率小于出生率时,边界平衡点和正平衡点能够局部渐近稳定,并且模型在第一象限不存在正的周期解。系统的恐惧水平的变化对边界平衡点的稳定性没有影响,但对正平衡点有影响;当恐惧水平满足定理4.1中的条件时时,系统在正平衡点处出现Hopf分支。