1. 引言
植物和食草动物之间的相互作用是生态学中最基本的过程之一。在植物的生长发育过程中,随时会面临着各种生物和非生物的逆境胁迫,如人类的不合理活动(过度放牧、土地开垦等)以及干旱、高海拔和极端温度等非生物因素。这些逆境胁迫对植被的生长发育产生了严重影响,在不利环境下对植被状态的研究一直是生态系统动力学的一个重要课题,见文献 [1] - [7] 。因此,研究植被在不利环境下的动力学行为具有重要的理论意义和实际应用价值,有助于对生态系统的科学管理。1999年,美国生物数学家Klausmeier [8] 研究半干旱地区坡地上植被斑图的形成时,建立了如下水和植物之间的关系模型:
(1)
其中
表示空间坐标,T表示时间,
表示植物的密度,W表示土壤中可用到的水资源量,参数A表示降雨率,M表示没有食草动物时植物生物量的死亡率,V表示由食草动物引起的植物生物量的死亡率,R表示每单位植物生物量吸收的水量,RWN表示植物的吸水率,L是水的蒸发率,J是每吸收单位水资源量对植物生物量的转化效率,扩散系数
代表植物的扩散能力,U是一个与地形坡度有关的系数。
2005年Sherratt [9] 对Klausmeier模型中的斑图形成进行了详细的理论分析,推导了预测斑图的波长和迁移速度的表达式,并系统地研究了它们与模型参数的关系;2011年,Sherratt [10] 对于特定的参数空间,推导出了Klausmeier模型出现斑图的参数区域及边界的表达式;2019年,Oto,Escaff和Cisterna [11] 在研究智利北部高海拔干旱条件下草生物量时,考虑了模型(1)在没有其他明确的空间依赖时,水资源量W的变化比植物生物量密度N快得多,对于给定的植物生物量密度值,水资源量处于一个平衡状态。假设地形是平坦的
,得到
,并提出了如下植物–食草动物动力学模型:
(2)
其中
表示食草动物的分布面积,食草动物的分布面积以CN的比率增加,以K的比率减少,
。
考虑到系统(2)的生物意义,规定模型中所有参数均为正,引入无量纲变化:
在不考虑空间变量和耗散的情况下,他们将系统(2)转化为如下形式:
(3)
并分析了系统(3)四个平衡点的稳定性。然而,关于模型(3)还有如下一些问题:
(a) 平衡点的拓扑类型是怎么样的?
(b) 当参数变化时,系统会产生什么样的分支?
基于以上分析考虑,本文讨论了系统(3)的雅可比矩阵在平衡点处的特征值,并给出了这些点的拓扑类型;通过计算第一李雅普洛夫系数,证明了系统(3)会产生亚临界Hopf分支及在正平衡点附近产生了唯一一个极限环;通过数值模拟展示了这个极限环,从而验证了理论结果。
2. 系统解的正性和有界性
在分析系统(3)平衡点的拓扑类型之前,首先证明在
上,闭的第一象限是该系统的一个正不变集。
定理1 如果系统(3)满足初始条件
,那么对于所有的
,系统(3)的每个解都是非负的。
证明 从系统(3)的第一个方程式中,可得
,
则
. (4)
令
。给(4)式两边分别乘以
,得到
,
则有
. (5)
将(5)式从0到t积分
,
最后得到
.
同理可证
。证毕。
定理2 系统(3)在满足初始条件
下的正解是有界的。
证明 构造函数
,沿系统(3)对
求导得
,
其中
,故有
。
当
时,由微分不等式理论,可得
,
当
时,有
,
又因为
,所以
最终是有界的。证毕。
3. 平衡点的定性性质
下面考虑系统(3)平衡点的定性性质。首先,系统(3)始终存在平衡点
。
当
时,平衡点
,
,
存在,且当
时,系统存在唯一的正平衡点
.
系统(3)在平衡点
线性化后对应的雅可比矩阵为
. (6)
下面通过矩阵(6)讨论该系统四个平衡点的拓扑类型。
定理3 平衡点
是一个稳定结点。
证明 由(6)可得系统(3)在
的雅可比矩阵为
. (7)
显然,矩阵(7)存在两个负特征值。因此平衡点
是稳定的结点。
定理4 如果
,那么平衡点
的拓扑类型如下:
1) 若
,则平衡点
是一个稳定结点;
2) 若
,则平衡点
是一个鞍点;
3) 若
,则平衡点
是一个鞍结点。
证明 由(6)可得系统(3)在平衡点
的雅可比矩阵为:
. (8)
下面分三种情形来讨论平衡点
的拓扑类型:
1) 当
时,矩阵(8)的特征值为
.
因此平衡点
是一个稳定结点;
2) 当
时,矩阵(8)存在两个异号实根。因此平衡点
是一个鞍点;
3) 当
时,
。此时平衡点
是一个退化平衡点。
对系统(3)进行平移变换
,再对系统(3)的右端函数在
处进行泰勒展开,可得
(9)
其次,
的特征值
相对应的特征向量分别为
。
对(9)式做线性变换
,可得
其中
.
然后,令
,再用
表示
,则有
而
的系数
,
故当
时,平衡点
是一个鞍结点。
定理5 如果
,那么平衡点
的拓扑类型如下:
1) 若
,则平衡点
是一个鞍点;
2) 若
,则平衡点
是一个不稳定结点;
3) 若
,则平衡点
是一个鞍结点。
证明 由(6)可得系统(3)在平衡点
的雅可比矩阵为:
.
类似于定理4的证明可得:当
时,平衡点
是一个鞍点;当
时,平衡点
是一个不稳定结点;当
时,平衡点
是一个鞍结点。
下面讨论正平衡点
的拓扑类型.
定理6当
时,正平衡点
的拓扑类型如下表1所示:
![](Images/Table_Tmp.jpg)
Table 1. Topology type of the positive equilibrium point E 4
表1. 正平衡点
的拓扑类型
其中
。
证明 由(6)可得系统(3)在
的雅可比矩阵为
(10)
则矩阵(10)的特征方程为:
. (11)
其中
通过计算可得(11)的特征值为
,
.
下面分三种情形来讨论正平衡点
的拓扑类型:
1) 当
时,若
,则矩阵(10)存在两个不相等的正实根,因此平衡点
是一个不稳定结点;若
,则
,因此平衡点
是一个中心;若
,则矩阵(10)存在两个负实根,因此平衡点
是一个稳定结点。
2) 当
时,
。若
,则
,因此平衡点
是一个不稳定退化结点。若
,则
,因此平衡点
是一个退化平衡点。若
,则
,因此平衡点
是一个稳定退化结点。
3) 当
时,
.
此时,
,若
,则
,因此平衡点
是一个不稳定焦点。若
,则
,因此平衡点
是一个中心。若
,则
,因此平衡点
是一个稳定焦点。
4. 正平衡点的稳定性和Hopf分支
由定理6可知,当
时,
,所以当
时,正平衡点
是稳定的;当
时,正平衡点
是不稳定的。若
,当参数
满足
时,特征方程(13)有一对纯虚根
。
下面通过取
为分支参数来考虑系统(3)正平衡点
的稳定性和Hopf分支。
记特征值的表达式为
,其中
。因此,当
时,有
,横截性条件容易验证
,
故
。
由Poincare-Andronov-Hopf分支定理 [12] 可知,当
时,系统(3)在平衡点
处存在Hopf分支。
接下来讨论当
时,系统(3)在平衡点
附近会有Hopf分支以及极限环的产生。
首先,令
,则系统(3)化为:
(12)
然后,对系统(12)的右端函数在
处进行泰勒展开,则系统(12)就可以写为
(13)
其中
系统(13)在
处线性化的雅可比矩阵为
,此时L在复数域C存在两个非零特征根
,根据线性代数中的Jordan标准性理论可知,存在非奇异线性变换H。
下一步进行线性变换,取变换矩阵
,
则
.
作变换
,则系统(13)转化为
,
即
(14)
其中
将系统(14)写为极坐标形式:
(15)
在
处展开(15)式的右端函数,可得
进而求得
因此,根据Poincare-Andronov-Hopf分支定理 [12] ,可得如下结论:
定理7(1) 如果
,那么系统(3)的平衡点
是局部渐近稳定的,同时在平衡点
附近分支出一个不稳定的极限环,系统(3)将会产生亚临界Hopf分支。
(2) 如果
,那么系统(3)的平衡点
是不稳定的。
(3) 如果
,那么系统(3)的平衡点
有特征值
,并且系统(3)将在正平衡点
附近产生Hopf分支。
5. 鞍结点分支
引理1 [13] 考虑系统
,其中
,并且f为光滑函数。
假设
,且它对应的雅可比矩阵
只有一个零特征根。如果矩阵
和
的零特征根所对应的特征向量
,
使得下面条件成立:
(i)
;
(ii)
。
那么,当参数
经过分支参数
时,系统在平衡点
处将会经历一个鞍结点分支。
定理8 平衡点
在
处产生鞍结点分支,其中
。
证明 选择
作为分支参数,利用Sotomayor定理证明系统(3)产生了鞍结点分支,当
时,系统(3)在平衡点
处存在一个零特征根,即雅可比矩阵变为
.
假设
和
分别是
和
相对于零特征根的特征向量
,
令
,
通过计算可得
,
,
从而有
,这意味着系统(3)在
处不会发生跨临界分支。进一步,有
.
所以,根据Sotomayor定理可知,当参数
时,系统(3)在平衡点
附近产生了鞍结点分支;当
时,系统有两个平衡点
,并且当
时,这两个平衡点碰撞重合;当
时,系统(3)的两个平衡点消失。
6. 数值模拟
这一节利用Maple软件包对理论分析进行相应的数值模拟。
在系统(3)中选取参数
,满足系统有唯一的正平衡点
,当
时,由定理7知正平衡点
是不稳定的,如图1所示。当
增大到临界值1时,正平衡点
失稳并经历Hopf分支,进一步计算得
,则由定理7知Hopf分支是亚临界的。当
时,系统(3)的正平衡点
是局部渐近稳定的,且系统(3)存在一个不稳定的极限环,如图2所示。
![](//html.hanspub.org/file/35-2623601x261_hanspub.png?20240104092856770)
Figure 1. Positive equilibrium point of system (3) is unstable when parameter
图1. 当参数
时系统(3)的正平衡点不稳定
![](//html.hanspub.org/file/35-2623601x264_hanspub.png?20240104092856770)
Figure 2. Positive equilibrium point of system (3) is locally asymptotically stable when parameter
图2. 当参数
时系统(3)的正平衡点局部渐近稳定
7. 结论
本文研究了Oto-Escaff-Cisternas植物–食草动物模型的动力学性质。首先,通过微分不等式理论给出了系统解的正性和有界性。其次,讨论了该模型四个平衡点的拓扑类型,给出了正平衡点的稳定性。进一步,当参数满足一定条件时,用分支理论证明了系统在平衡点
附近会产生鞍结点分支,在平衡点
处产生Hopf分支。最后,通过计算第一李雅普洛夫系数,证明了系统会发生亚临界的Hopf分支及在正平衡点附近产生了唯一一个不稳定的极限环。
基金项目
国家自然科学基金(11801243);甘肃省高等学校青年博士项目(2022QB-056)。
参考文献
NOTES
*第一作者。
#通讯作者。