1. 引言
在生态系统中,捕食者之间的合作捕食是一个很重要的现象 [1] [2] 。近年来,各种捕食者–食饵模型被提出并进行了充分的研究。例如,Cosner等人 [3] 提出了一类捕食者–食饵模型,当捕食者遇到一群食饵时,捕食者会以线性空间的形式觅食并聚集在一起。Berec [4] 研究了一类具有Holling II功能反应与合作捕食的模型,并分析了合作捕食对系统的影响。Pal等人 [5] 考虑了一类Leslie-Gower捕食者–食饵模型,其中捕食者是通过合作进行捕食的,而食饵由于害怕被捕食会表现出反捕食的行为。关于具有合作捕食的常微分方程、反应扩散方程和差分方程的模型还可参考文献 [6] - [12] 。
Alves和Hilker [13] 研究了具有合作捕食的如下捕食者–食饵模型:
(1.1)
这里,N和P分别表示食饵和捕食者的种群密度,r和K分别表示食饵种群的内禀增长率和环境容纳量,e是能量转化率,m是捕食者的死亡率,
是攻击率,a表示捕食者合作捕食的参数。通过数值模拟,研究了系统(1.1)平衡点的稳定性和各种分支行为,包括Hopf分支、同宿分支和Bogdanov-Takens分支。文 [13] 的研究表明,模型(1.1)比熟知的Lotka-Volterra模型具有更复杂的动力学行为,合作捕食可以增强捕食者的攻击率,从而有利于捕食者的生存。然而,文献 [13] 并没有给出一些关键的参数条件,如确定内平衡点确切个数的参数区域和Hopf分支的临界参数值,而主要通过数值模拟描述系统(1.1)动力学行为。Zhang等人 [12] 给出了系统(1.1)内平衡点的确切个数的参数条件,并且讨论了平衡点的局部稳定性和鞍结分支与Hopf分支等动力学行为。基于Alves和Hilker [13] 、Zhang等人 [12] 的研究,本文讨论如下具有合作捕食和种内竞争的捕食者–食饵模型
(1.2)
其中,用x和y分别表示捕食者和食饵的种群密度,
表示捕食者的种内竞争,所有参数均为正常数。我们将关于
的参数空间划分为几个互不相同的区域,并选择d作为分支参数,研究了系统(1.2)在每个的区域的动力学行为,包括内平衡点的数量、稳定性和Hopf分支。结果表明在一定参数区域内,系统会发生两次Hopf分支。
本文的主要内容安排如下:第2节和第3节中,分别研究平衡点的存在性和稳定性;第4节中,我们考虑系统(1.2)的Hopf分支及其方向;第5节中,分别对比捕食者中不存在合作捕食和不存在种内竞争的系统的动态行为,发现系统(1.2)中Hopf分支的发生是由合作捕食引起的,而两次Hopf分支的发生是由捕食种群的种内竞争引起的。
2. 平衡点
在本节,我们讨论系统(1.2)平衡点的个数。系统(1.2)总是存在两个边界平衡点
和
。下面我们将讨论内平衡点的存在性。
系统(1.2)的x-零倾斜与y-零倾斜分别为
与
。显然,
有水平渐近线
;在
上,当
时
单调增加,当
时
单调减小。
是系统(1.2)的内平衡点当且仅当
是
的正根,即
满足
与
,其中
(2.1)
显然
,为此我们只需要讨论函数
与
的正交点。
定义关于
的双参数空间为
(2.2)
我们将
划分为两个区域:
(2.3)
下面选d作为分支参数分析(1.2)的动力学行为。
如果
,即
,那么
在区间
上单调递减,并且对于任意
,
。为此,如果
,则系统(1.2)存在唯一的一个内平衡点
;如果
,则系统(1.2)没有内平衡点(见图1)。
Figure 1. The case of
, i.e.,
图1.
的情形,即
如果
,即
,则由
可得
的极大值点
当
时,
单调递增且
;当
时,
单调递减且
。因此得到如下结论(参见图2):
Figure 2. The case of
, i.e.,
图2.
的情形,即
· 若
,则系统(1.2)有唯一的内平衡点
;
· 若
,则系统(1.2)有两个内平衡点
和
,其中
;
· 若
,则
和
重合,系统(1.2)只存在一个内平衡点
;
· 若
,则系统(1.2)不存在内平衡点。
综上所述,可得:
定理2.1
1) 如果
,则当
时,系统(1.2)存在唯一的内平衡点
;当
时,系统(1.2)没有内平衡点(见图1)。
2) 如果
,则当
时,系统(1.2)存在唯一的内平衡点
;当
时,系统(1.2)存在两个内平衡点
和
,其中
;当
时,系统(1.2)不存在内平衡点;当
时,系统(1.2)存在唯一的内平衡点
(见图2)。
注2.1 由上面的讨论可得:
1) 如果
,那么系统(1.2)总存在唯一的内平衡点
。
2) 如果
(或
)存在,则
(或
)。
3) 如果
存在,则
随d的增大而增大;如果
存在,则
随d的增大而减小。
4) 如果
,则
。如果
,则
,其中
。
因此,如果
和
存在,并且由
关于d的单调性可知
。
5) 如果
且
存在,则
。
6)
。
3. 平衡点的稳定性
在本节,我们研究系统(1.2)平衡点的稳定性。系统(1.2)的雅可比矩阵为
(3.1)
3.1. 边界平衡点的稳定
首先分析系统(1.2)边界平衡点
和
的局部稳定性。
1)
是鞍点。
2) 如果
或
且
,
是稳定的结点;如果
,
是鞍点;如果
且
,
是一个鞍结点。
证明 根据雅可比矩阵(3.1),显然
是鞍点。
当
时,
的稳定性显然。现在我们证明
的情形,
处的雅可比矩阵的特征值分别为
、
,从而得到
是一个非双曲平衡点,下面利用中心流形定理 [14] 来确定
的类型。
令
,
进行变换,然后令
,
,则系统(1.2)转化为
(3.2)
容易得到中心流形上的解所满足的方程为
。从而根据中心流
形定理 [14] ,可知当
时,
是鞍结点;当
时,它是稳定的结点。
3.2. 内平衡点的稳定性
下面考虑系统(1.2)内平衡点的局部稳定性。内平衡点
处的雅可比矩阵(3.1)为
(3.3)
其对应的特征方程为
(3.4)
其中
,
。由于
,即
,
且
,
可表示为
(3.5)
可表示为
(3.6)
由注2.1,如果
存在,则
,故
是鞍点;如果
存在,则
,因此
的稳定性由
的符号决定。为此,我们定义
(3.7)
引理3.2 如果
,则
是汇;如果
,则其是源。
引理3.2并没有给出
是稳定或不稳定的显式参数区域。为此,我们需要进一步讨论
的性质。
显然,
具有如下性质:
· 如果
,则对于所有
,都有
。
· 如果
,则
存在一个正的极大值点
(3.8)
且
(3.9)
故当
时,
单调递增;当
时
单调递减。
· 如果
,
有两个正根
和
(
)。当
或
时,
;当
时,
。
和
确切表达式可以表示如下:
(3.10)
由引理3.2,我们得到以下结果:
引理3.3
1) 如果
或
,
,则
(若存在)是汇。
2) 如果
,
,
存在,则当
或
,
是汇;当
,
是源。
引理3.3表明,确定
的符号对
的稳定性是十分重要的。注意到当
时
(见注2.1),我们需要考虑
、
、
和
的符号。
定义
(3.11)
显然,
和
。因此,当
时,
单调递减;当
时,
单
调增加且
。由(3.9),可之路
当且仅当
。
当
时,
且
,进而得到
。
当
且
时,可得
且
,显然
。
定义
显然,
且
由隐函数定理,方程
确定了一个函数
,函数
在
时是递增的,其中
(3.12)
这里
。因此,当
时,
;当
时,
。所以,当且仅当
(
)时,
。此外,由
,可知
最后,我们证明当
(
)时,有
。事实上,如果
,由方程(3.8)可知
以及由方程(2.4)可知
显然,
。
综上所述,我们有以下结论:
引理3.4
1) 若
,则
。
2) 若
且
,则
且
。
3) 若
,则
,当且仅当
时,
。
4) 若
,
,则
,当且仅当
,
时,
。
5) 对于任意的
,都有
。
注如果
且
,则
。
基于引理3.4,我们可将区域
划分为以下两个子区域(见图3):
(3.13)
进一步,将
划分为两个区域(见图3):
Figure 3. The parameter space of
.
, where
,
图3.
的参数空间,
,其中
,
下面我们讨论以下三种情况内平衡点
的稳定性:1)
,2)
,3)
。
1) 若
(即
),由定理2.1可知,则当
时系统(1.2)存在唯一的内平衡点
。我们考虑以下两种情况:i)
,ii)
。
i) 设
(即
),则对于任意的
,都有
(见注2.1和图2),因此
,
故
是局部渐近稳定的。
ii) 设
,则存在
和(3.8)中所给的
。
a) 如果
,类似于情形i),则
是局部渐近稳定的。
b) 如果
,则
(见注2.1)。根据引理3.4,
且
。由函数
的性质可知,
,因此
。由引理3.2,得出
是局部渐近稳定的。
因此,在
的情况下,
(若存在)是局部渐近稳定的。
2) 若
,由定理2.1,则当
时系统(1.2)存在唯一的内平衡点
;当
时存在两个内平衡
和
。我们考虑以下两种情况:i)
,
;ii)
,
。
首先,如果
,则类似于前面1),对于每种情况,
是局部渐近稳定的。因此,下面我们假设
。
i) 设
,
,则
(见注2.1)。由引理3.4可知,
且
,这意味着
,结合
在
上单调性,
。因此,由引理3.2可知,
是局
部渐近稳定的。当
,有
和
,
,则由引理3.3可知,
是局部渐近
稳定的。
ii) 设
(
),则由引理3.4可知,
,因此,根据引理3.3可知,
是局部渐近稳定的。如果
,那么由引理3.4,
存在唯一的正根
(
)且
。由引理3.4可知,
且
,这意味着根据函数
的性质,有
。因为
随着
的增加而减少,
且
,所以存在
(
),使得当
时,
;当
时,
;当
时,
。因此,由
的性质和
引理3.3可知,当
时,
,故
是局部渐近稳定的。这意味着在
附近(3.4)的特征值不
能通过虚轴,则对于任意的
,
是局部渐近稳定的。
因此,在
的情况下,
(若存在)是局部渐近稳定的。
3) 若
(即
,
),由定理2.1,则当
时系统(1.2)存在唯一的内平衡点
;当
时存在两个内平衡点
和
。由引理3.4,
有两个正根
和
(
)。
i) 设
,则类似于情形(1),
是局部渐近稳定的。
ii) 设
,则
(见备注2.1)。由引理3.4可知,
和
,
这意味着
。
a) 如果
(即
),由引理3.4,
、
,因此
。所以
。由于
随着
的增大而减少,并且
,
,因此存在
和
满足
,使得当
时,
;当
时,
。并且i) 若
,
;ii) 若
,
;iii) 若
,
。则由
的性质
和引理3.3,我们可以得到以下结论:
i) 若
,
,则
是局部渐近稳定的;ii) 若
,
则
是不
稳定的焦点或结点;(iii) 若
,
,则
是局部渐近稳定的。
b) 如果
(即
,
),则由引理3.4,
,
,因此
,所
以
。类似上述讨论,存在
满足
,使得i) 若
,
,
则
是局部渐近稳定的;ii) 若
,
,则
是不稳定的焦点或结点。
综上所述,关于内平衡点的局部稳定性,我们得到了如下结论:
定理3.5
1. 如果
存在,则
是一个鞍点。
2. 对于
,我们有以下情形:
1) 如果
,则
(若存在)是局部渐近稳定的。
2) 如果
,则i) 当
时,
是局部渐近稳定的;ii) 当
时,存在
和
满足
,使得当
或
时,
是局部渐近稳定的;当
时,
是不稳定的。
3) 如果
,则i) 当
时,
是局部渐近稳定的;ii) 当
时,存在
满足
,使得当
时,
是局部渐近稳定的;当
时,
是不稳定的。
4. Hopf分支
定理3.5表明,当
,即
时,系统(1.2)在
处可能发生两次Hopf分支;当
,即
时,系统(1.2)在
处可能发生一次Hopf分支。下面我们研究系统(1.2)的Hopf分支及其方向。
定理4.1
1) 设
,即
且
,则当d在
上增大时,系统(1.2)在
处
发生两次Hopf分支:当
时系统(1.2)发生超临界向前的Hopf分支;当
时发生超临界向后的Hopf分支。
2) 设
,即
且
,则当
时,系统(1.2)在
处发生超临界向前的Hopf分支。
证明:若
,根据定理3.5,则存在
满足
,使得当
或
时,
是局部渐近稳定的;当
时,
是不稳定的。若
,则存在
满足
,使得当
时,
是局部渐近稳定的;当
时,
是不稳定的。
在
处(当
时,
;当
时,
),
,
处的特征方程
(3.4)有一对纯虚根
。当d接近
时,设
为方程(3.4)的根,则
,
。显然,
。
若
,则当
时,
;当
时,
。注意到
(见备注2.1),当
时,
;当
时,
。类似地,如果
,则当
时,
。因此,由Poincaré-Hopf分支定理 [15] 可知,当
时,系统(1.2)在
处发生Hopf分支。
下面,我们计算
时的第一个李雅普诺夫系数,它决定Hopf分支的方向。设
,
,我们仍然用x和y分别替换X和Y。那么系统(1.2)变为
其中
令
,其中
,我们得到
其中
令
其中
表示
,其他符号也类似。当
时,经过仔细计算,得到
注意到当
时,
且
,因此得到
。根据Guckenheimer和Holmes [16]
的定理3.4.2和公式(3.4.11),对于每个分支值
和
,Hopf分支都是超临界的。由定理3.5,如果
,则系统发生两次Hopf分支。第一次Hopf分支发生在
处,并且是向前的;第二次Hopf分支发生在
处,并且是向后的。如果
,则当
时发生向前的Hopf分支。
当
和
时系统(1.2)发生Hopf分支,
和
,若将
和
代入
,
则可以得到
和
。即,如果
,则Hopf分支值
与
可以分别表示为
与
,其中,
和
为
的正根。类似地,如果
,则Hopf分支值
可表示为
。
由于
和
的表达式含有三角函数(见(3.10)),这导致了Hopf分支值
和
的表达式变得复杂,因此我们更倾向于对这些分支值进行估计。
令
,考虑内平衡点的稳定性。当
时,内平衡点记为
。由
(见(2.1)),得到
并通过计算得到
由定理3.5和4.1以及
的性质,得到以下结论:
引理4.2
1. 设
1) 如果
,则
;
2) 如果
且
,则
;
3) 如果
且
,则
。
2. 设
.,如果
,则
;如果
,则
。
接下来我们考虑决定
和
的符号的参数区域,
1) 首先考虑
的符号。显然,如果
,则
;如果
,则当且仅当
时
,即
。
有两个实根:
· 当
时,
,
;如果
,则
,故
。如果
,则
。
· 当
时,
;如果
,则
,故
。如果
或
,则
,故
。
2) 接着我们考虑
的符号。如果
或
,则
。如果
,则
。若
,则当
时,
;当
时,
。
最后,我们展示
这五个函数之间的关系(见图4):
· 显然,
;
· 记
,
。当
时,
,且
与
相切。当
时,
;当
时,
;
·
存在唯一的根
。当
时,
;当
时,
;当
时,
;当
,
。
Figure 4. Bifurcation graph of parameter space (β, e)
图4. 参数空间(β, e)分支图
基于上面的讨论,我们将
划分为以下的三个子区域(见图4):
此外,将
划分为以下的的两个子区域(见图4):
由引理4.2,可得如下结论:
定理4.3
1) 如果
,则当
时,
;当
时,
;当
,有
。
2) 如果
,则当
时,
;当
时,
。
5. 结论
本文研究了具有合作捕食和种内竞争的捕食者–食饵模型(1.2)的动力学行为。系统(1.2)中关于
的参数空间
被划分为若干个不同的区域:
,
,
(见图3),这种划分对系统(1.2)的动力学行为的分析是非常重要的。在每个区域,随着d的变化,得出了系统(1.2)的动力学行为,其中包括平衡点的个数(见定理2.1、图1和图2)、平衡点的稳定性(见定理3.1和3.5)和
Hopf分支(见定理4.1)。非常有趣的是,随着d在
中增加,当
时,系统(1.2)发生
两次Hopf分支;当
时,系统发生一次hopf分支(见定理4.1)。
下面考虑捕食者不存在种内竞争的模型
(5.1)
Alves和Hilker [13] 的研究结果表明模型(5.1)中最多发生一次Hopf分支,而对于模型(1.2),当
时发生两次Hopf分支,由此可知两次Hopf分支的发生是由捕食者的种内竞争引起的。
如果捕食者不存在合作捕食,那系统(1.2)就成为著名的Volterra-model模型:
(5.2)
众所周知,Volterra-model模型(5.2)不会发生Hopf分支。当
时,系统(5.2)存在唯一的内平衡点
,该平衡点是全局渐近稳定的,这表明了捕食者之间的合作捕食导致了模型(1.2)的振荡行
为。