1. 引言
复杂的物种内部和物种间的协同和对抗相互作用积极地调节着现实世界的生态和进化动态。因此对潜在的被捕食者–捕食者系统的深入分析,对于理解合作和竞争在物种共同进化中的基本作用具有重要意义。通过使用动力学系统方法,已经表明Rosenzweig-MacArthur模型中不同的捕食者功能反应对模型的动力学表现出不同的影响。Fussmann和Blasius提出了Rosenzweig-MacArthur模型,以描述具有三种不同功能反应的群体动态,包括Holling II型功能反应、Ivlev功能反应、三角函数功能反应等,都具有非常广泛的应用 [1] [2] [3] [4] 。
然而,真实数据最常用的数学表示形式是双曲正切功能函数,它精确描述了浮游植物光合作用和光照之间的关系。具有双曲正切函数的功能反应函数对Rosenzweig-MacArthur模型动力学的破坏潜力最小。它对于了解种群之间的作用更有实际意义。Allee效应的概念最初是由美国生态学家Warder Allee提出的,在弱Allee效应下,低人口密度的人口增长率仍为正,但未达到最大值。但在强Allee效应下,在种群阈值v以下,人口增长率为负,人口变为负,种群密度必须超过此阈值才能存活 [5] 。因此,本文构建了一个具有强Allee效应的三角函数功能反应的Rosenzweig-MacArthur捕食者–食饵的时滞模型,研究了模型的有界性和平衡点的存在性,并对平衡点的局部稳定性和Hopf分支的存在性进行了分析。
2. 模型介绍
本文考虑一个具有三角函数功能反应的Rosenzweig-MacArthur捕食者–食饵模型,如式(1)所示:
(1)
其中,
是三角函数功能反应,N和P分别表示猎物和捕食者数量,r表示猎物的内在增长率,K为捕食者的承载能力,m为捕食者的人均死亡率。
为正参数。
Allee效应的概念最初是由美国生态学家Warder Allee [5] 提出的。在Stephen等人的研究中 [6] ,它描述了个体适应度的任何组成部分与同变量的数量或密度之间的正相关关系。时滞是自然界中所有生物过程的固有现象,故在生态学的种群模型中增加捕食者的成熟时滞使动态结果更接近于现实。因此,我们考虑了Allee效应在Rosenzweig-MacArthur时滞模型中的作用来研究可能的动力学。
(2)
其中,
为捕食者成熟所需的时间,
表示Allee效应的阈值总体水平。
3. 初步结果
3.1. 平衡点的存在性
系统(2)无量纲化后的常微分方程系统为
(3)
其中
。
通过求解
可以得到模型(3)的平衡点。显然,模型(3)有平衡点
,
,
以及
。
可根据方程组(3)求解得出:
(4)
由该方程组可得
。因为
,因此有
。所以当
时,
存在。
3.2. 基本再生数
下面利用Driessche和Watmough提出的下一代矩阵法得到基本再生数 [7] 。系统(3)改写成
(5)
其中
,
,
,
的Jacobi矩阵为
其中
,
接着得到
因此,系统(3)的基本再生数可以定义为下一代矩阵的谱半径
,得到
.
下面,系统(3)将在生物学上可行的区间进行分析
.
命题1 当
时,如果
,则系统(3)的所有解均收敛于
证明:考虑以下Lyapunov函数
(6)
上式满足
。沿着系统(3)的轨线对V函数关于t求导得到
由于我们只考虑
中的区间,当
时,若
,解得
。因为
,故
,与
矛盾。因此只有
时,且
,即
,上式满足
。因此当
时,
当且仅当
,由LaSalle不变原理知,系统(3)的所有解全局渐近收敛于
。
4. 稳定性分析
系统(3)在任意平衡点
处的雅可比矩阵为
(7)
4.1. 当
时
的稳定性
系统(3)在平衡点
的雅可比矩阵为
(8)
当
时,特征方程为
(9)
假设
为(9)的特征根,代入得
分离实虚部,得到
(10)
(10)两边平方,再相加得
(11)
因为
,故存在唯一正根
,即
把
代入(10)中,解得
的表达式
(12)
假设
是方程(10)在
附近满足
的根。根据泛函微分方程理论,对于
,存在
使得
在
中对于
是连续可微的。将方程(10)的两边对
求导,得到
由于
,故
。
定理2 对于
,当
时,系统(3)在平衡点
处局部渐近稳定;当
时,系统(3)在平衡点
处不稳定。特别地,当
时,系统(3)在平衡点
处发生Hopf分支。
4.2.
的稳定性
系统(3)在平衡点
的雅可比矩阵为
(13)
特征方程为
(14)
其中
。
当
时,特征值为
定理2 当
时,若
,系统(3)的平衡点
是局部渐近稳定的;若
,系统(3)的平衡点
是鞍点
当
时,假设
为(14)的特征根,代入得
分离实虚部,得到
(15)
(15)两边平方,再相加得
(16)
因为
,故存在唯一正根
,即
把
代入(15)中,解得
的表达式
(17)
假设
是方程(10)在
附近满足
的根。将方程(10)的两边对
求导,得到
由于
,故
。
定理3 对于
,当
时,系统(3)在平衡点
处局部渐近稳定;当
时,系统(3)在平衡点
处不稳定。特别地,当
时,系统(3)在平衡点
处发生Hopf分支。
4.3.
的稳定性
系统(3)在平衡点
的雅可比矩阵为
(18)
特征方程为
(19)
其中
。
当
时,特征值为
定理4当
时,若
,系统(3)的平衡点
是鞍点;若
,系统(3)的平衡点
不稳定。
当
时,假设
为(19)的特征根,代入得
分离实虚部,得到
(20)
(20)两边平方,再相加得
(21)
因为
,故存在唯一正根
,即
把
代入(20)中,解得
的表达式
假设
是方程(16)在
附近满足
的根。将方程(16)的两边对
求导,得到
由于
,故
。
定理5 对于
,当
时,系统(3)在平衡点
处局部渐近稳定;当
时,系统(3)在平衡点
处不稳定。特别地,当
时,系统(3)在平衡点
处发生Hopf分支。
4.4.
的稳定性
系统(3)在平衡点
的雅可比矩阵为
(22)
其中
.
特征方程为
(23)
当
存在时,
. (24)
定理4 当
,系统(3)在平衡点
处不稳定;当
,系统(3)在平衡点
处局部渐近稳定。特别地,当
,系统(3)在平衡点
处发生Hopf分支。
4.5. Hopf分支分析
当正平衡解
存在时,系统(3)在
处可能发生Hopf分岔。由式(24)可知,在系统(3)中,如果
,则
成立且
存在。因此,正平衡解的Bogdanov-Takens分支是不可能的,否则需要
,而
只发生在边界平衡
和
处。因此,
决定了
的稳定性。容易发现中
的第一项对于
是负的,因此为了证明存在Hopf分支,第二项中的二次多项式
必须是负的。
多项式的根是
,很容易证明
,这意味着当
时,
渐近稳定。直接计算得到
因此,
对于
至少有一个解。为了证明解的唯一性,我们证明了对于
,
。如果
,则
;如果
,则
。那么就得到
下面计算
,
,
,
其中
,通过计算发现,
在
上是单调递减的。因此,
在
有一个唯一解
,在此解处发生Hopf分支。
5. 结语
本文考虑了强Allee效应Rosenzweig-MacArthur时滞模型的问题研究。首先证明了模型的平衡点存在性,得到模型的四个平衡点E0、E1、E2、E3;其次证明了E0在
情况下的全局稳定性;接下来讨论了边界平衡点E1和E2的稳定性和Hopf分支的存在性;最后证明正平衡点E3的稳定性和Hopf分支的存在性。通过分析具有强Allee效应Rosenzweig-MacArthur时滞模型的问题研究,有助于未来对具有双曲正切功能反应函数模型的分支问题进行深一步研究。