1. 介绍
自从Lotka和Volterra对捕食系统进行开创性研究以来 [1] [2],捕食者与食饵之间的动态关系得到了广泛的讨论 [3] - [9]。在传统的捕食食饵模型中,作者考虑的是捕食者直接杀死食饵的动态效应,然而,在实际的捕食过程中,捕食者会使食饵产生不同程度的恐惧,这种恐惧也会影响到食饵种群的数量,从而会间接影响到捕食过程。文献 [10] 描述了一种情况,在两个种群的捕食关系中,尽管捕食者可能不会直接捕食食饵,但是食饵由于恐惧会产生一些自我保护措施,如减少觅食的时间、改变栖息地、产生警惕性以及发生生理的变化等,使得对捕食者种群存在的敏感度变高,这些行为同样会影响到捕食作用。基于此,Wang等人 [11] 第一次将恐惧效应加入到数学模型中,认为恐惧会影响到食饵的出生率,例如食饵种群可能会转移到一个更适合其生存的环境中,从而增加了食饵的出生率,但是也有可能会转移到一个不适合其生存的地方,从而降低出生率;恐惧效应也有可能对其生理产生影响,从而影响到其出生率,进而影响到整个捕食过程。随后,越来越多的学者开始关注恐惧效应对捕食过程的影响,并做了大量的研究 [12] [13] [14] [15] [16],进一步丰富了生物数学的研究结果。
在文献 [12] 中,Dong等人考虑了食饵具有Hollling II型功能反应函数和恐惧函数的捕食食饵模型,即:
(1.1)
其中
均为正常数;
分别表示食饵种群与捕食者种群在t时刻的种群密度;
是衡量恐惧成本的恐惧函数;
分别表示食饵的出生率、自然死亡率和种内竞争率;
分别表示捕食者的人均消耗率和自然死亡率;
表示饱和恐惧成本;k表示恐惧水平;
表示捕食者趋避敏感性;
表示食饵转化为捕食者自身能量的转化率;
表示捕食者捕获每个食饵后的处理时间。
另外自然界中广泛存在各种环境噪声,如白噪声、彩色噪声、马尔可夫过程等,特别的,白噪声是生态系统中的一个重要组成部分,在捕食食饵模型中加入白噪声 [17] - [22] 的影响是十分必要的。例如,在文献 [19] 中,Liu等人讨论了一类食饵种群具有阶段结构的模型,研究了模型全局正解的存在唯一性,得到了在一定的情况下平稳分布的存在性以及在两种情况下捕食者种群灭绝的充分条件。Liu等人 [20] 考虑了一类具有Holling II型功能反应函数的随机捕食食饵模型,研究了模型在满足一定条件时的捕食者种群与食饵种群的持久与灭绝,并给出了食饵种群与捕食者种群均可长期共存的充分条件。
综合以上考虑,我们在文献 [12] 的基础上加入捕食者因内部竞争而产生的死亡项和随机参数,得到了一个具有恐惧效应和捕食者趋避敏感性的随机捕食食饵模型:
(1.2)
其中
为正常数,表示捕食者种群因内部竞争而产生的死亡率;
表示独立的标准布朗运动;
表示噪声强度,其余参数均与系统(1.1)相同。
在本文中,
表示一个带有过滤的完全概率空间,其中
满足通常的条件(即
包含所有
-空集,它是递增和右连续的)。设
,
定义在这个完全概率空间上。当G是一个向量或矩阵时,将其转置定义为
。我们定义
和
本文其他部分的结构如下:第二部分,通过构造合适的李雅普诺夫函数证明了具有任意初值的系统(1.2)存在唯一的全局正解;第三部分,给出系统(1.2)正解的遍历平稳分布存在唯一性的充分条件。第四部分,给出两种情况下捕食者种群灭绝的充分条件,第一种情况是食饵种群存活捕食者种群灭绝,第二种情况是食饵种群与捕食者种群均灭绝。最后,对本文进行了总结。
2. 正解的存在性和唯一性
在本章节,我们将证明系统(1.2)全局正解的存在性和唯一性。因为系统(1.2)中所包含的函数不满足线性增长条件,因此,我们先使用变量变换 [23] 来证明出局部正解的存在唯一性,再使用李雅普诺夫分析法 [24] 证明该解是全局的。
定理2.1 系统(1.2)在
时存在唯一的全局正解
,对于任意的初始值
都几乎处处成立,其中
是爆炸时间。
证明:作变量变换
,
和Itô’s公式,系统(1.2)可以得到满足初始条件
,
的方程:
(2.1)
显然,系统(2.1)满足线性增长条件和局部Lipschitz条件,因此对于任意的初始值
,系统(2.1)在
时存在唯一的局部正解
。因此,
是随机系统(1.2)从第一象限内开始的唯一的正局部解。此即证得系统(1.2)存在唯一的局部正解。
下面,我们来证明系统(2.1)的解是全局的。由定理2.1可知,我们只需要证明
几乎处处成立即可,为此我们引入以下定理。
定理2.2 对于任意初值
,随机系统(1.2)存在唯一解
,
,并且该解将以概率1留在
中。
证明:选择一个足够大的非负实数
,使得
和
均位于区间
内。对于每一个整数
,按照文献 [25] 定义停止时间为
在这篇文章中,我们令
,当
时,显然可以知道
是递增的。令
,
。如
果我们可以证明
几乎处处成立,则对于任意的
有
和
是几乎处处成立的。因此,我们只需要证明
几乎处处成立即可。如果不成立,则存在常数
和
,使得
即存在一个常数
,使得
(2.2)
定义一个
函数
(2.3)
这个函数的非负性可以由不等式
,
得到。
对式子(2.3)使用Itô’s公式,有
其中
为
(2.4)
显然
是一个正常数。其余证明与Liu和Jiang [20] 的证明相似,在此略去。这就完成了证明。
3. 遍历平稳分布的存在
在本章节中,我们将建立系统(1.2)正解的遍历平稳分布存在唯一性的充分条件。
设
是在
中由随机微分方程描述的正则时间齐次马尔可夫过程
的扩散矩阵定义为
。
引理3.1 [26] 如果一个马尔可夫过程存在一个带有常规边界
的有界开域
,且满足性质:
A1:存在一个正数M使得
,
,
;
A2:存在一个非负
函数,使得
在任何
上均为负的;则该马尔可夫过程
有唯一的遍历平稳分布
。
定理3.1 假设满足条件
(3.1)
和
(3.2)
其中
(3.3)
满足
(3.4)
则对于任意初始值
,系统(1.2)具有唯一的遍历平稳分布
。
证明:为了证明系统(1.2)有遍历平稳分布,只需要证出引理3.1中的两个条件A1,A2均成立即可。下面我们证明条件A1。易知,系统(1.2)的扩散矩阵为
则对任意的
,
,有
其中
。则引理3.1中的条件A1得证。
下面证明条件A2。由式子(3.4)易得
代入系统(1.2)可得
(3.5)
和
(3.6)
定义
(3.7)
对式子(3.7)使用Itô’s公式,并结合(3.5)和(3.6)可得
(3.8)
为了证明A2,我们构造一个有界开集
其中
是足够小的常数。在集合
中,我们选择足够小的常数
使得其满足如下条件:
(3.9)
(3.10)
(3.11)
(3.12)
(3.13)
为了方便,我们把
分为以下4个区域,
显然,
。接下来证明对于任意的
有
,这等价于分别在上述4个区域上证明它。
情况1:对于任意的
,由式子(3.1)、(3.2)、(3.8)和(3.9)可得
(3.14)
因此可以得到对于任意的
有
。
情况2:对于任意的
,由式子(3.2)、(3.8)和(3.10)可得
(3.15)
因此可以得到对于任意的
有
。
情况3:对于任意的,由式子(3.8)、(3.11)和(3.12)可得
(3.16)
因此可以得到对于任意的
有
。
情况4:对于任意的
,由式子(3.8)、(3.11)和(3.13)可得
(3.17)
因此可以得到对于任意的
有
。
显然,通过式子(3.14)~(3.17)我们可以得到,对于足够小的
,对所有的
均满足
,此即证得引理3.1中的条件A2,故由引理3.1可知系统(1.2)具有唯一的遍历平稳分布。这就完成了证明。
4. 灭绝
在本章节中,我们将在两种情况下建立捕食者种群灭绝的充分条件。首先,我们给出了以下引理,它将用于下面的分析。
引理4.1 设
,若对任意的
存在正常数
使得
几乎处处成立,其中
,
几乎处处成立,则有
几乎处处成立。
这个引理的证明类似于Ji和Jiang [27] 的证明,这里省略。
定理4.1 设
是系统(1.2)的满足任意初值
的解,如果满足条件
,
,则捕食者种群y以概率1的指数形式灭绝且食饵种群存活,即有
几乎处处成立。
证明:对
使用Itô’s公式,有
(4.1)
因此有
(4.2)
(4.3)
由局部鞅的强大数定理 [26] 可以得到
是几乎处处成立的,对式子(4.3)两边取上确界,则有
(4.4)
几乎处处成立。可得有
几乎处处成立,即证得捕食者种群y灭绝。因此对所有满足条件
的
,存在
和一个集合
,对任意的
和
满足
,
和
,所以有
(4.5)
令
,则有
(4.6)
对式子(4.6)两边从0到t积分,可得
因此有
(4.7)
显然,式子(4.7)满足引理4.1的条件,故由引理4.1可得
几乎处处成立,即此时食饵种群x存活。这便完成了定理4.1的证明。
定理4.2 设
是系统(1.2)的满足任意初值
的解,如果满足
,则食饵种群与捕食者种群均灭绝,即有
,
。
证明:对
使用Itô’s公式,可得
(4.8)
对式子(4.8)两边从0到t积分并同时除以t可得
(4.9)
对式子(4.9)两边取上确界,且满足
是几乎处处成立的,则有
(4.10)
几乎处处成立,从而
几乎处处成立,即食饵种群x灭绝。因此,存在
和一个集合
使得对任意的
,
满足
和
,且
(4.11)
对式子(4.11)两边从0到t积分并同时除以t可得
(4.12)
对式子(4.12)两边取上确界,且满足
,则对于
有
(4.13)
令
,则有
(4.14)
几乎处处成立。即证得
几乎处处成立,即捕食者种群y灭绝。此便完成了定理4.2的证明,即此时食饵种群与捕食者种群均灭绝。
5. 结论
这篇文章研究了在白噪声存在的情况下具有恐惧效应与捕食者趋避敏感性的捕食食饵模型的基本特征,了解了在白噪声影响存在的情况下的捕食动力学行为。首先,我们证明了系统(1.2)存在唯一的全局正解;然后,通过给定一些条件的限制,证得系统(1.2)在满足这些条件时存在唯一的遍历平稳分布,即此时两种群可以长期共存;最后,我们分析了两种情况下捕食者种群灭绝的条件,第一种情况是食饵种群可以长期存活但捕食者种群在一段时间后会灭绝,第二种情况是在一段时间后食饵种群与捕食者种群均灭绝。
除此之外,其他一些贴合实际的现象也值得进一步研究。例如,可以考虑脉冲扰动对系统(1.2)的影响,这是因为不连续性是一种常见现象,且许多真实现象通常是不连续的;另一方面可以在系统(1.2)中加入彩色噪声。因为种群的动态影响可能受到温度、湿度、收获等的影响,加入彩色噪声可以更准确反映这一点。这些都可以在今后的研究中加以思考和讨论。
参考文献
NOTES
*通讯作者。