在生物种群中,由于食饵会对天敌的捕食产生恐惧,所以他们会降低自身出生率来抵抗捕食者的捕抓,针对这一情况研究了一类具有恐怖因子和羊群效应的捕食者–食饵模型,首先证明了解的一致有界性;然后由Routh-Hurwitz准则讨论了系统平衡点的存在性和存在时平衡点的类型,以及稳定性;并且根据Poincare’-Andronov-Hopf分支定理得到了系统产生Hopf分支的条件。最后,通过Matlab软件仿生所得到的定理,并得出了只要选取恰当的参数便可使系统中的两类种群一直稳定存在下去的结论。 In the biological population, the prey will be afraid of the predator, so they will reduce their own natality to prevent being caught. Considering this situation, a predator-prey model with fear factor and herd effect is studied. Firstly, we discuss uniform boundedness of this model. Then Routh-Hurwitz criterion is used to discuss the existence of the equilibrium point of the system, the type of the equilibrium point and its stability. Moreover, according to the Poincare’-Andronov-Hopf branch theorem, conditions for the generation of Hopf branch were obtained. Finally, the theoretical results are verified by numerical simulation, and a conclusion is drawn that the predator and the prey in the system can be kept stable as long as appropriate parameters are chosen.
在生物种群中,由于食饵会对天敌的捕食产生恐惧,所以他们会降低自身出生率来抵抗捕食者的捕抓,针对这一情况研究了一类具有恐怖因子和羊群效应的捕食者–食饵模型,首先证明了解的一致有界性;然后由Routh-Hurwitz准则讨论了系统平衡点的存在性和存在时平衡点的类型,以及稳定性;并且根据Poincare’-Andronov-Hopf分支定理得到了系统产生Hopf分支的条件。最后,通过Matlab软件仿生所得到的定理,并得出了只要选取恰当的参数便可使系统中的两类种群一直稳定存在下去的结论。
捕食者–食饵模型,恐怖因子,Hopf分支,平衡点
Yaochong Wu, Jiechang Wen
School of Applied Mathematics, Guangdong University of Technology, Guangzhou Guangdong
Received: Nov. 2nd, 2020; accepted: Nov. 19th, 2020; published: Nov. 26th, 2020
In the biological population, the prey will be afraid of the predator, so they will reduce their own natality to prevent being caught. Considering this situation, a predator-prey model with fear factor and herd effect is studied. Firstly, we discuss uniform boundedness of this model. Then Routh-Hurwitz criterion is used to discuss the existence of the equilibrium point of the system, the type of the equilibrium point and its stability. Moreover, according to the Poincare’-Andronov-Hopf branch theorem, conditions for the generation of Hopf branch were obtained. Finally, the theoretical results are verified by numerical simulation, and a conclusion is drawn that the predator and the prey in the system can be kept stable as long as appropriate parameters are chosen.
Keywords:Predator-Prey Model, Fear Factor, Hopf Bifurcation, Equilibrium Point
Copyright © 2020 by author(s) and beplay安卓登录
This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).
http://creativecommons.org/licenses/by/4.0/
食饵–捕食者模型在动力学系统中的研究越来越受关注,并得到了很多相关的结论。比如文献 [
开始越来越关注恐惧因子对生态系统的影响。文献 [
食者–食饵模型和生态流行病学模型的动力学性质和生物学意义。生物学上的研究表明,捕食者的存在会减少猎物的能量储备,因为猎物会对捕食者的捕食行为产生应激激素的分泌 [
受文献 [
食饵出生率的影响,新的模型如下:
{ d x d t = r 1 + f y ( 1 − x k ) x − a x y , d y d t = a α x y − m y . (1)
其中x为食饵,y为捕食者,r为食饵的最大出生率,k为环境容纳量,f为恐惧水平,a为捕食者对食饵的捕捉能力, α 为捕食者将食饵转化的能力,m为捕食者的自然死亡率。
为了研究方便,对系统(1)进行了如下无量纲变换
u = x k , v = f a r k y , T = r 2 t ,
此时系统(1)可化为
{ d u d T = 1 1 + R v ( 1 − u 2 ) u − f v , d v d T = e v ( u − ρ ) . (2)
其中 e = 2 a α k r , M = 2 m r , ρ = m a α k = M e , R = r k a , f = 1 f 。
考虑到生物学的意义,系统(2)只考虑 u > 0 , v > 0 的情况。
定理1 在系统(1)中,所有从 R + 2 出发的解都是一致有界的。
证明
d x d t = r ( 1 − x k ) x − a x y ≤ r ( 1 − x k ) k = r k − r x . (3)
由积分不等式理论得
d x d t ≤ k + e − r k ( x ( 0 ) − k ) , (4)
故 x ( t ) 有界。
定义函数 Γ = α x ( t ) + y ( t ) ,那么
d Γ d t = α d x d t + d y d t = α r ( 1 − x k ) x − α a x y + a α x y − m y = α r ( 1 − x k ) x − m y . (5)
因此,
d Γ d t + m Γ = α r ( 1 − x k ) x − m y + m α x + m y = α r ( 1 − x k ) x + m α x ≤ α k ( r + m ) 2 4 r . (6)
由微分不等式得
Γ = α x ( t ) + y ( t ) ≤ α k ( r + m ) 2 4 r m + ( α x ( 0 ) + y ( 0 ) − α k ( k + m ) 2 4 r m ) e − m t . (7)
所以,系统(1)中,所有从 R + 2 出发的解都是一致有界的。
下面由常微分方程定性理论 [
系统(2)具有三个平衡点,分别是平凡平衡点 E 0 = ( 0 , 0 ) ,边界平衡点 E 1 = ( 1 , 0 ) 和非负平衡点 E 2 = ( u * , v * ) 当且仅当 0 ≤ ρ ≤ 1 。其中
u * = ρ , (8)
v * = − f + Δ 2 f R , Δ = f 2 + 4 f R ρ ( 1 − ρ 2 ) . (9)
定理2 平衡点 E 0 为鞍点,平衡点不稳定。
证明:系统(2)在 E 0 点的雅可比矩阵是:
J 0 = ( 1 − f 0 − e ρ ) . (10)
那么矩阵 J 0 的特征方程为
λ 2 − T 0 λ + D 0 = 0. (11)
因为 D 0 < 0 ,此时 E 0 为不稳定的鞍点。
定理3 当 ρ > 1 时,平衡点 E 1 为稳定的结点。当 ρ < 1 时,平衡点 E 1 为鞍点。
证明:系统(2)在 E 1 点的雅可比矩阵是:
J 1 = ( − 2 − f 0 e ( 1 − ρ ) ) . (12)
J 0 的特征方程为
λ 2 − T 1 λ + D 1 = 0. (13)
所以当
D 1 > 0. (14)
( − T ) 2 − 4 D 1 = [ 2 − e ( 1 − ρ ) ] 2 + 4 × 2 e ( 1 − ρ ) = 4 + e 2 ( 1 − ρ ) 2 + 4 e ( 1 − ρ ) = [ e ( 1 − ρ ) + 2 ] 2 . (15)
显然 ( − T ) 2 − 4 D 1 > 0 ,所以当 ρ > 1 时,平衡点 E 1 为结点。
进一步地,此时 ( − T ) > 0 ,此时平衡点为稳定结点。而当 ρ < 1 ,此时 D 1 < 0 ,故平衡点为鞍点。
定理4 当 0 < ρ < 3 3 且 T 1 2 − 4 D 1 < 0 ,此时平衡点 E 2 是不稳定的焦点;当 3 3 < ρ < 1 且 T 1 2 − 4 D 1 < 0 ,此时平衡点 E 2 是稳定的焦点。当 0 < ρ < 3 3 且 T 1 2 − 4 D 1 > 0 ,此时平衡点 E 2 是不稳定的结点;当 3 3 < ρ < 1
且 T 1 2 − 4 D 1 > 0 ,此时平衡点 E 2 是稳定的结点。
证明:系统(2)在 E 2 点处的雅可比矩阵为
J 2 = ( − 3 ρ 2 + 1 1 + R v * − R ( 1 − ρ 2 ) ρ ( 1 + R v * ) 2 − f e v * 0 ) . (16)
其特征方程为 λ 2 − T 1 λ + D 1 = 0 ,其中 T 1 = − 3 ρ 2 + 1 1 + R v * , D 1 = e v * ( R ( 1 − ρ 2 ) ρ ( 1 + R v * ) 2 + f ) ,所以当 0 < ρ < 1 时,
有以下结论:
H1:当 0 < ρ < 3 3 且 T 1 2 − 4 D 1 < 0 ,此时平衡点 E 2 是不稳定的焦点;当 3 3 < ρ < 1 且 T 1 2 − 4 D 1 < 0 ,
此时平衡点 E 2 是稳定的焦点。
H2:当 0 < ρ < 3 3 且 T 1 2 − 4 D 1 > 0 ,此时平衡点 E 2 是不稳定的结点;当 3 3 < ρ < 1 且 T 1 2 − 4 D 1 > 0 ,
此时平衡点 E 2 是稳定的结点。
定理5 当 ρ 2 = 1 3 时,系统(2)在 E 2 附近产生超临界的Hopf分支。
证明:系统(2)在 E 2 = ( u * , v * ) 处的特征矩阵为
( λ − 1 − 3 ρ 2 1 + R v * R ( 1 − ρ 2 ) ρ ( 1 + R v * ) 2 + f − e v * λ ) . (17)
特征方程为 λ 2 − 1 − 3 ρ 2 1 + R v * λ + e v * [ R ( 1 − ρ 2 ) ρ ( 1 + R v * ) 2 + f ] = 0 ,当 1 − 3 ρ 2 1 + R v * = 0 时,特征方程存在一对纯虚数特征值 λ = ± ω0,此时 ρ = 3 3 = ρ 0 。取 ρ 0 作为分支参数。
令 u ( ρ ) = 1 − 3 ρ 1 + R v * , w ( ρ , e ) = Im λ = e v * [ R ρ ( 1 − ρ 2 ) ( 1 + R v * ) 2 + f ] ,则 u ′ ( ρ ) = − 6 ρ 1 + R v * ,当 ρ 0 = ρ 2 = 1 3 时,有 u ( ρ 0 ) = 0 , ω 0 = e v * ( 2 3 R 9 ( 1 + R v * ) 2 + f ) ,易证 u ′ ( ρ ) = − 2 3 1 + R v * < 0 知系统(2)产生Hopf分支的横截条件 [
令 w 1 = u − ρ 0 , w 2 = v − v * ,则系统变为
{ d w d T = [ − 2 3 R 9 ( R v * + 1 ) 2 − f ] w 2 − 2 3 R v * + 1 w 1 2 + 4 3 9 ( R v * + 1 ) 3 w 2 2 − 6 R v * + 1 w 1 3 + 2 3 R R v * + 1 w 1 2 w 2 − 4 3 3 ( R v * + 1 ) 4 w 2 3 + ⋯ d w 2 d T = e v * w 1 + e w 1 w 2 . (18)
再做变换
ξ = − e v * w 1 , η = − ω 0 w 2 . (19)
系统(3)再次变为
{ d ξ d T = − ω 0 η + 2 3 e v * ( R v * + 1 ) ξ 2 − 4 3 e v * 9 ( R v * + 1 ) 3 ω 0 2 η 2 − 6 ξ 3 ( e v * ) 2 ( R v * + 1 ) + 2 3 ω 0 e v * ( R v * + 1 ) ξ 2 η − 4 3 e v * 3 ( R v * + 1 ) 4 ω 0 3 η 3 + ⋯ d η d T = ω 0 ξ − 1 v * ξ η . (20)
引入复变量: z = ξ + i η ,则
d z d T = i ω 0 z + ∑ 2 ≤ k + l ≤ 3 g k l z k z ¯ l . (21)
其中:
g 20 = 1 ( R v * + 1 ) 3 ( R 3 v * 2 + 3 R 2 v * + 3 R 4 + 3 R ( R v * + 2 ) 2 e + 3 e v * 9 ω 0 2 + 3 2 e v * + 1 4 v * ) ; g 11 = 3 ( 9 R 2 v 2 ω 0 2 + 18 R v ω 0 2 − 2 e 2 v 2 + 9 ω 0 2 ) 9 e v * ( R v * + 1 ) 3 ω 0 2 ; g 21 = 1 4 ( R v * + 1 ) 4 e 2 ( − 9 R 3 v * − 27 R − 27 R v * − 9 v * 2 ) + i [ 3 4 ( R v * + 1 ) 4 ω 0 e ( R 3 v * 2 + 3 R 2 v * + 3 R + 1 v * ) − 2 3 e v * 4 ( R v * + 1 ) 4 ω 0 3 ] . (22)
将以上结果通过一阶Lyapunov系数计算公式 [
l 1 ( 0 ) = 1 2 ω 0 2 Re ( i g 20 g 11 + ω 0 g 21 ) . (23)
可得
l 1 ( 0 ) = − 9 8 ω 0 v 2 e 2 ( R v * + 1 ) . (24)
所以 l 1 ( 0 ) < 0 ,故系统(2)在 E 2 附近产生超临界的Hopf分支。
我们选取合适的参数值之后,对定理2进行了数值模拟。取 R = 0.1 , e = 3 , f = 0.1 , ρ = 1 ,此时平衡点 E 0 是鞍点,如图1所示。在生物学意义上,若 ρ = 1 ,那么随着时间的推移,无论捕食者或食饵种群取何种初始条件,随着时间的流逝,捕食者和食饵最终都不能共存,最终捕食者种群灭绝而食饵种群生存下去。
对定理3进行了数值模拟。取 R = 0.2 , e = 3 , f = 0.1 , ρ = 1.5 得到平衡点 E 1 为稳定结点的轨线走向(图2),取 ρ = 0.5 时,得到平衡点 E 1 为鞍点的轨线走向(图3)。在生物背景下,当 ρ > 1 时,任意取初始值,捕食者种群最终走向灭绝。
图1. E 0 鞍点附近的轨线图
图2. E1稳定结点附近的轨线图
图3. E1鞍点附近的轨线图
选取合适的参数值之后,对定理4进行了数值模拟。取 R = 0.1 , e = 3 , f = 0.1 , ρ = 0.3 得到不稳定的焦点(图4),当 ρ = 0.8 时,得到稳定的焦点(图5)。此时捕食者和食饵最终共存。取 R = 0.1 , e = 0.4 , f = 0.1 , ρ = 0.3 得到不稳定的结点(图6),当 ρ = 0.8 时,得到稳定的结点(图7)。
图4. E2是不稳定焦点的轨线图
图5. E2是稳定焦点的轨线图
图6. E2是不稳定结点的轨线图
Hopf分支数值模拟:取 e = 3 , R = 0.1 , f = 0.1 , ρ = 1 3 ,得到极限环,如图8所示。此时两物种呈周
期性变化而共存。
图7. E2是稳定结点的轨线图
图8. ρ = ρ 0 2 时得到极限环
文献 [
定性,并进行了数值模拟证明;定理5得出了当 ρ 2 = 1 3 时,系统产生Hopf分支,为超临界Hopf分支的
结论,并且发现通过Hopf分支可产生稳定的极限环,表明恰当选取参数,便可使系统中的被捕食者和捕食者最终共同存在且呈周期性变化而稳定下来。
时得到极限
Fig.8 gets the limit cycle.
态系统加以控制,便可使系统中的食饵和捕食者最终共同存在且可使两物种呈周期性变化而稳定下来。
吴耀冲,温洁嫦. 一类具有恐怖因子和羊群效应的捕食者–食饵模型的动力学行为Dynamic Behavior of a Predator-Prey Model with Fear Factor and Herding Effect[J]. 应用数学进展, 2020, 09(11): 2053-2062. https://doi.org/10.12677/AAM.2020.911238
https://doi.org/10.15388/NA.2016.3.4
https://doi.org/10.1126/science.1210908
https://doi.org/10.1016/j.apm.2018.07.021
https://doi.org/10.1111/ele.12551
https://doi.org/10.1890/0012-9658(2006)87[2979:TFOBER]2.0.CO;2
https://doi.org/10.1007/s00265-009-0822-6
https://doi.org/10.1890/11-0455.1
https://doi.org/10.1111/j.1365-2656.2009.01602.x
https://doi.org/10.1186/s13662-020-02612-1
https://doi.org/10.1038/s41598-017-17998-4
https://doi.org/10.1016/j.matcom.2020.04.025
https://doi.org/10.1016/j.nonrwa.2011.02.002
https://doi.org/10.1007/978-1-4757-3978-7