1. 引言
近几十年来,人们对种群动力学进行了广泛的研究,目前,已有许多文献研究环境参数对种群持续生存的影响 [1] [2] [3] [4] 。研究种群模型的稳定性和分岔性质,不仅可以得到系统解随时间变化的性态,还可以得到系统受外界干扰时系统解的性态变化,从而得到种群的演化规律,这对于预测种群在未来的发展状况并采取相应的措施具有广泛的理论意义。
在过去的几十年里,非线性差分方程在研究种群动力学方面发挥了重要作用,许多学者提出了包含各种复杂性种群模型 [2] [5] [6] [7] [8] [9] ,Newman等人在文献 [2] 中提出了一个非线性差分方程组,旨在描述两斑块种群之间的相互作用。本文研究 [2] 提出的一般模型并假设其活跃种群具有Beverton-Holt生长速率,用差分方程稳定性理论和分岔理论探讨这个模型的动力学行为。
设
和
分别表示在时间
时活跃种群和被动种群的密度。Newman等人在 [2] 中提出的活跃种群和被动种群之间的离散模型如下
函数f描述了活跃种群的密度依赖性繁殖,在文献 [3] 中,为了排除Newman等人在 [2] 中探讨的混沌行为,假设增长函数f是单调的。f满足的条件如下:当
时,
;当
时,存在正的常数C,当
时,有
。本文我们令
,当
时,对
上述模型变为
(1)
其中
表示为密度无关增长率,k指种群容纳量,
表示斑块间的扩散率。系数参数满足:
,将(1)改写为平面映射得
(2)
映射(2)有两个不动点:
,其中
。
本文的安排如下:在下一节讨论不动点
的双曲和非双曲情形以及双曲不动点的类型和稳定性;在第三节,应用中心流形定理研究非双曲不动点的跨临界分岔和Flip分岔;在第四节进行了总结。
2. 双曲和非双曲情形
在本节,我们把
作为参数,在
的参数空间上讨论不动点
的双曲和非双曲情形。
2.1. 不动点
的性质
为讨论不动点
的双曲性质,定义如下符号:
定理2.1.1 不动点
有以下性质:
1) 不动点
是非双曲的,当且仅当
位于直线
上;
2) 如果
,该不动点是渐近稳定的;
3) 如果
,该不动点是一个鞍点;如果,该不动点为不稳定的结点。
2.2. 不动点
的性质
为讨论不动点
的双曲性质,我们定义如下符号
定理2.2.1 不动点
有以下性质:
1) 不动点
是非双曲的,当且仅当
;
2) 如果
,不动点
是渐近稳定的;
3) 如果
,不动点
是鞍点;如果
,不动点
为不稳定结点。
3. 跨临界分岔和Flip分岔
本节考虑不动点
的跨临界分岔和flip分岔,选取
为分岔参数。
3.1.
处的跨临界分岔和Flip分岔
从第2节可知,当
时,有,当
,有
,定义如下符号:
定理3.1.1 当
时,不动点
产生跨临界分岔。具体地讲,对
的微小扰动使得
时不动点
是双曲且稳定的;当
时不动点
双曲且不稳定。
证明:把
看作分岔参数并把F写成
来体现对
的依赖性,易得
其特征方程为
,特征值为
特征值
对应的特征向量为
(3)
利用特征向量组(3)得到如下变换
(4)
由变换(4)可以把系统(1)变为
(5)
当
时,有
,由文献 [10] 的定理2.1.4可知,令
,在
附近,不动点
的稳定性与分岔可通过研究在中心流形上一参数族映射来确定,中心流形有如下形式:
假设中心流形如下,
其中
表示次数大于或等于3的项,由中心流形的不变性质可得,
对比
的系数解得
,因此系统(1)在
附近中心流形为
将其代入(5)中的第二个等式可得一维映射
当时,验算如下式子成立:
(6)
根据文献 [10] 第369页公式知系统(1)在
产生跨临界分岔,式子(6)表表明在
附近系统(1)的拓扑结构与如下式子的拓扑结构是局部拓扑等价的。
定理3.1.2 当
时,系统(1)在不动点
经历Flip分岔。具体地讲,当
时,系统在不动点
处分岔出稳定的2周期轨;当
时,系统在不动点
分岔出的2周期轨是不稳定的。
证明:令
,计算得在
附近的中心流形为
。
类似定理3.1.1的计算可得一维映射:
当
时,有,系统(1)在不动点
有
其中
由文献 [11] 中的定理3.5.1可知,当
时不动点
经历flip分岔。
3.2.
的跨临界分岔和Flip分岔
为讨论
的分岔情况,我们定义如下符号:
定理3.2.1 当
时,不动点
发生跨临界分岔。具体地讲,对
的微小扰动使得
时不动点是双曲且不稳定的;当
时不动点
是非双曲的;当
时不动点
是双曲且稳定的,平衡点的稳定性在
处发生了交替。
证明:对于
,我们有
,作平移变换
,把不动点
移动到
处,得到Jacobian矩阵,把
看作分岔参数且把
写成
来体现对
的依赖性,易得
其特征方程为
,易得特征值为
及特征值
对应的特征向量为
。
利用变换
,则系统(1)变为
(7)
其中
令
,假设在
附近的中心流形的形式为
中心流形满足
对比
的系数解得
故(8)表达式为
(8)
将(8)代入(7)的第一个式子得映射
验算如下式子成立:
从而当
,时,系统(1)在
产生跨临界分岔。
定理3.2.2 当
时,系统(1)在不动点
经历flip分岔;当
时,系统在不动点
分岔出稳定的2周期轨;当时系统在不动点
分岔出的2周期轨是不稳定的。
证明:当
时,令
,在
附近的中心流形为
,其中
类似定理3.2.1计算可得到一维映射:
系统(1)在不动点
发生flip分岔需满足:
其中
从而当
时,系统(1)在不动点
经历flip分岔。
4. 总结
本文利用差分方程定性理论和分岔理论对一类离散种群模型进行了研究,由定理3.1.1和定理3.2.1可知,在不动点处系统(1)的局部拓扑结构对参数
非常敏感,当
穿过1时,
的双曲性和稳定性都发生变化;当
穿过
时,系统不动点的个数和稳定性也发生变化,故参数
在1和
附近的微小变化与种群的演化规律之间有着某种对应的联系,人们可以通过研究离散种群模型的分岔性质来得到并且控制分岔参数,从而达到保护种群的目的。
基金项目
国家自然科学基金(No:11561019);广东省攀登计划专项资金项目(No:pdjha0304/No:pdjh2019b0297);全国大学生创新创业训练计划项目(201910579725)。