陈凤德,关心宇,邓 行,黄小燕
(福州大学 数学与计算机科学学院,福州 福建 350016)
一段时间以来,具有Allee效应的捕食-食饵模型动力学行为研究引起了学者们的高度重视,见文[1-4]以及所引文献。Hüseyin Merdan提出了如下食饵具有Allee效应的Lotka-Volterra捕食-食饵模型[1]:
(1.1)
其中β是正常数,刻画了Allee效应的大小。Merdan的研究表明如果r-aβ>0成立,则系统具有唯一的局部渐近稳定的正平衡点,作者的数值模拟表明Allee效应会使得系统要用更多的时间达到它的稳定态。
受Hüseyin Merdan启发,Xinyu Guan等提出如下捕食者具有Allee效应的Lotka-Volterra捕食-食饵系统[2]:
(1.2)
其中r,a和β均为正常数,β刻画了Allee效应的大小。作者证明了如果r>a,则系统是持久的,由此知两个边界平衡点是不稳定的,借助这一事实和Dulac判别法,作者们最终证得了系统的唯一的正平衡点是全局稳定的。然而,文[2]的分析手法并不能适用于r≤a的情形,而作者也没对r≤a进行任何的分析。现考虑如下例子:
例1:
(1.3)
数值模拟(图1)表明此时正平衡点A3是全局渐近稳定的。
图1 系统(1.3)的具有初值(x(0),y(0))=(0.1,0.5),(0.1,0.1),(1,0.3),(1,0.7)和(1,0.5)的解的动力学行为
数值模拟启发我们提出如下猜想:
猜想:对r≤a的情形,系统(1.2)也有唯一的全局吸引的正平衡点。
本文的目的在于给出上述猜想的严格证明,我们将会在下一节中证明这一猜想。
系统(1.2)的平衡点由如下方程组所决定
(2.1)
计算易知系统(1.2)有如下三个平衡点:A0(0,0),A1(1,0)和A2(x*,y*),其中
(2.2)
有关上述三个平衡点的局部稳定性态,我们有如下结果:
定理2.1A0(0,0)是鞍点,A1(1,0)是鞍结点,相应的,这2个平衡点都是不稳定的;A2(x*,y*)是渐近稳定的。
有关上述三个平衡点的全局稳定性态,我们有如下结果:
定理2.2系统(1.2)的唯一的正平衡点A2(x*,y*)是全局稳定的。
定理2.1的证明:计算可知系统(1.2)的雅各比矩阵为
(2.3)
其中
由此可知在平衡点A0(0,0)处的雅各比矩阵为
(2.4)
这表明A0是非双曲的,从而A0的稳定性不能由雅各比矩阵直接进行判断。为了探讨A0的稳定性态,首先,做变换t=rτ,则系统(1.2)变为
(2.5)
其次,做变换X=y,Y=x,则系统(2.5)变为
(2.6)
对系统(2.6)在(0,0)点泰勒展开,且为简便计,用x,y,t表示X,Y,τ,则有:
(2.7)
其中
这里P6(x,y)是形如xiyj的项组成的多项式,其中i+j≥6.由y+Q2(x,y)=0可解得隐函数y=0=φ(x),将其代入P2(x,y)可得
(2.10)
下面考虑平衡点A1(1,0),系统(1.2)在平衡点A1(1,0)的雅各比矩阵为
(2.11)
(2.11)表明A1也是非双曲的。相应的,A1的稳定性也无法从雅各比矩阵来判定。为了探讨A1的稳定性,我们首先做一变换,将A1移至原点(X,Y)=(x-1,y),其后在原点按照泰勒展式展开,则系统(1.2)变为:
(2.12)
(2.13)
Guan等已经证明了系统(1.2)的正平衡点A2(x*,y*)是局部渐近稳定的[2]。
定理2.1证明完毕。
注:文[2]中作者已经证明了在r>a时,边界平衡点A0(0,0)和A1(1,0)是不稳定的。本文中,我们借助新的分析手法,表明文[2]的限制r>a是多余的。
定理2.2的证明:注意到A0(0,0)和A1(1,0)都是不稳定的,仅有A2(x*,y*)是局部稳定的,完全类似于文[2]中定理3.1的证明,借助Dulac判别法,我们可证得系统(1.2)不存在极限环,由此,可知唯一的正平衡点是全局稳定的,定理2.2证毕。
Hüseyin Merdan提出了食饵具有Allee效应的Lotka-Volterra捕食-食饵模型[1],作者探讨了模型正平衡点局部稳定性。Guan等受文[1]影响[2],提出了捕食者具有Allee效应的Lotka-Volterra捕食-食饵模型,作者们在条件r>a下证明了系统有唯一的全局稳定的正平衡点,但是,对r≤a情形,作者们并未进行探讨。本文中,我们证明了对r≤a情形,系统(1.2)一样有唯一的全局稳定的正平衡点。我们的结果补充和完善了文[2]的结果。由定理2.2可知:在系统(1.2)中,捕食者种群的Allee效应不会影响系统的最终平衡密度。