Leslie型捕食者–食饵系统的弛豫振荡分析
Relaxation Oscillations Analysis in a Predator-Prey System of Leslie Type

作者: 潘陈蓉 , 陈松林 :安徽工业大学数理科学与工程学院,安徽 马鞍山;

关键词: Leslie型捕食者–食饵系统入–出函数几何奇异摄动理论存在唯一性Leslie Predator-Prey System Entry-Exit Function Geometric Singular Perturbation Theory Existence and Uniqueness

摘要:
在本文中,我们考虑一个具有功能反应的Leslie型捕食者–食饵系统。分析系统的平衡点类型和稳定性,利用入–出函数和几何奇异摄动理论证明了系统的弛豫振荡周期的存在唯一性。

Abstract: In this paper, we consider a predator-prey system of Leslie type with functional response. The equilibrium point type and stability of the system are analyzed, and the existence and uniqueness of relaxation oscillation period of the system are proved by using the entry-exit function and geometric singular perturbation theory.

1. 引言

考虑如下具有功能反应的Leslie型捕食者–食饵系统 [1] :

{ d x d t = r x ( 1 x K ) m x y a x 2 + b x + 1 , d y d t = s y ( 1 y h x ) . (1)

其中, p ( x ) = m x a x 2 + b x + 1 ,表示捕食者的摄取率作为食饵密度的函数 [2]。 b > 2 a , a > 0 , m > 0 ,对所有的 x 0 ,使得 a x 2 + b x + 1 > 0 ,因此,对于所有的 x > 0 ,有 p ( x ) > 0 。x表示食饵种群的密度;y表示捕食者种群的密度;r和s都是正数,分别表示食饵和捕食者的内在增长率; K > 0 ,表示食饵的环境承载力; 1 h > 0 是支撑一个捕食者所需的食饵数量。根据生态系统的意义,我们在区域 R 2 + = { ( x , y ) | x > 0 , y 0 } 上讨论 [3]。

近几年来,Jicai Huang等人研究了由Holling III型功能反应产生的Leslie型捕食者–食饵系统的分支 [1]。Claudia Valls等人研究了修正的Leslie-Gower模型的非线性震荡 [4]。Yanfei Dai等人研究了由Holling III型功能反应产生的Leslie型捕食者–食饵系统的四个极限环 [2]。本文研究具有功能反应的Leslie型捕食者–食饵系统的弛豫振荡。

对系统(1)作变换:

t ¯ = r t , x ¯ = x K , y ¯ = m y r , a ¯ = a K 2 , b ¯ = b K , ε = s r , β = r h m K . (2)

x ¯ , y ¯ , t ¯ , a ¯ , b ¯ 仍记为 x , y , t , a , b ,则系统(1)可以化为:

{ d x d t = x ( 1 x ) x y a x 2 + b x + 1 , d y d t = ε y ( 1 β y x ) . (3)

2. 研究背景

2.1. 系统(3)的平衡点分析

对于任意的参数,系统(3)有一个双曲鞍点 E 0 = ( 1 , 0 ) ,它是一个边界平衡点。这个边界平衡点的生态学解释是:当缺乏捕食者时,食饵种群达到它的环境承载能力 [5]。研究系统(3)的正平衡点个数,我们能够得到下面的结论。

引理2.1:令 Δ 1 = ( b a ) 2 3 a ( 1 b + 1 β ) , Δ 2 = 2 ( b a ) 3 9 a ( b a ) ( 1 b + 1 β ) 27 a 2 ,和 27 a 3 Δ ¯ = Δ 2 2 4 Δ 1 3

1) 如果 Δ ¯ < 0 ,则系统(3)有一个基本的正平衡点;

2) 如果 Δ ¯ = 0 ,并且

2.1) Δ 1 > 0 ,则系统(3)有两个不同的正平衡点:一个是基本的正平衡点,另一个是退化的正平衡点;

2.2) Δ 1 = 0 ,则系统(3)有一个正平衡点,并且为退化的正平衡点;

3)如果 Δ ¯ > 0 ,且 b < min { a , 1 β + 1 } ,则系统(3)有三个不同的基本的正平衡点。

2.2. 入–出函数

考虑慢–快平面系统:

{ d x d t = ε f ( x , y , ε ) , d y d t = g ( x , y , ε ) y 2 . (4)

其中, ( x , y ) R × R 是状态–空间变量, ε 表示时间尺度的比例,且 0 ε 1 。假设函数f和g是足够平滑的,并且满足下列条件:

(5)

ε = 0 时,解从点 ( x 0 , y 0 ) 开始,其中, x 0 < 0 , y 0 > 0 ,解快速地被吸引到x轴,然后沿着x轴向右漂移,最后被x轴排斥。它在x轴上的一点 p ε ( x 0 ) 重新相交于直线 y = y 0 。当 ε 0 时, p ε ( x 0 ) p 0 ( x 0 ) 。其中 p 0 ( x 0 ) 由下面的公式决定。

x 0 p 0 ( x 0 ) g ( x , 0 , 0 ) f ( x , 0 , 0 ) d x = 0. (6)

函数 x 0 p 0 ( x 0 ) 被式(6)隐式地定义,函数 p 0 被称为入–出函数 [6]。

2.3. 极限系统的动力学

考虑慢–快系统,根据几何奇异摄动理论 [7] 知,系统(3)是慢–快系统的快时间尺度公式。令 t = ε t 1 ,得到慢–快系统的慢时间尺度公式为:

{ ε d x d t 1 = x ( 1 x ) x y a x 2 + b x + 1 , d y d t 1 = y ( 1 β y x ) . (7)

,当 b > 2 a 时,有 x ( a x 2 + b x + 1 ) > 0 。从而得到:

{ ε d x d τ = x 2 ( ( 1 x ) ( a x 2 + b x + 1 ) y ) , d y d τ = y ( a x 2 + b x + 1 ) ( x β y ) . (8)

系统(8)有一个平凡平衡点 ( 0 , 0 ) ,和一个边界平衡点 ( 1 , 1 ) 。令 t = ε τ ,得到相关联的快系统为:

{ d x d t = x 2 ( ( 1 x ) ( a x 2 + b x + 1 ) y ) , d y d t = ε y ( a x 2 + b x + 1 ) ( x β y ) . (9)

系统(9)具有快零点曲线 x = 0 , y = ( 1 x ) ( a x 2 + b x + 1 ) ,和慢零点曲线 x = β y , y = 0 。零点曲线不依赖于 ε 。在式(8)和式(9)中,令 ε = 0 ,分别得到慢–快系统的慢子系统和快子系统:

{ 0 = x 2 ( ( 1 x ) ( a x 2 + b x + 1 ) y ) , d y d τ = y ( a x 2 + b x + 1 ) ( x β y ) . (10)

{ d x d t = x 2 ( ( 1 x ) ( a x 2 + b x + 1 ) y ) , d y d t = 0 . (11)

慢子系统(10)的动力学受限于y轴和临界曲线:

C 0 = { ( x , y ) | y = f ( x ) = ( 1 x ) ( a x 2 + b x + 1 ) } . (12)

对于快子系统(11),y轴和临界曲线 C 0 由平衡点组成。

3. 弛豫振荡

h 1 ( x , y ) = ( 1 x ) ( a x 2 + b x + 1 ) y h 2 ( x , y ) = y ( a x 2 + b x + 1 ) ( x β y ) ,则(9)变为:

{ d x d t = x 2 h 1 ( x , y ) , d y d t = ε h 2 ( x , y ) . (13)

注意:(a)对于任意的 y > 0 h 2 ( 0 , y ) = β y 2 。即对于 ε > 0 ,在y轴正轴上有 d y d t < 0 。其中在 y = 1 处, h 1 ( 0 , y ) = 1 y 从负数变为正数。即对于快子系统(11),当通过曲线 C 0 时,y轴正轴从排斥变为吸引。

(b)当 y 0 0 时,有 y 0 y max h 1 ( 0 , y ) h 2 ( 0 , y ) d y 。其中, ( x max , y max ) 为一般的折点, x max = 2 ( a 1 ) 3 a y max = f ( x max )

基于上述分析,我们得到下面的结果。

引理3.1:对于系统(13),存在唯一的 y 0 * ( 0 < y 0 * < 1 ),使得

y 0 * y max h 1 ( 0 , y ) h 2 ( 0 , y ) d y = 0. (14)

引理3.1的证明:在系统(13)中,对于 y 0 * ( 0 , 1 ) ,有

I ( y 0 * ) : = y 0 * y max h 1 ( 0 , y ) h 2 ( 0 , y ) d y = y 0 * y max 1 y β y 2 d y , y 0 * 0 + , (15)

I ( y 0 * ) = 1 y β y 2 = 1 y β y 2 > 0. (16)

并且有

I ( y 0 * ) = y 0 * 1 1 y β y 2 d y + 1 y max 1 y β y 2 d y , (17)

I ( 1 ) = 1 y max 1 y β y 2 d y > 0. (18)

综上可得,存在唯一的 y 0 * ( 0 < y 0 * < 1 ),使得

y 0 * y max h 1 ( 0 , y ) h 2 ( 0 , y ) d y = 0.

引理得证。

对于 y max 附近的 y ¯ ,我们定义 p ( y ¯ ) ( 0 < p ( y ¯ ) < 1 ),由公式 p ( y ¯ ) y ¯ h 1 ( 0 , y ) h 2 ( 0 , y ) d y = 0 ,得到 p ( y max ) = y 0 *

命题3.2:如果 x 0 * > 0 ,且 ε > 0 是充分小的参数, I 0 y max 的一个充分小的邻域,则系统(9)通过 ( x 0 * , y ¯ ) { x 0 * } × I 0 的解首先与直线 x = x 0 * 相交于点 ( x 0 * , p ε ( y ¯ ) ) 。在 C 1 拓扑中,当时, p ε | I 0 p | I 0

定理3.3:对于一个固定的参数 ( a , b , β ) ,使得 b = 1 , Δ ¯ < 0 x 1 < x max ,在S中,存在一个邻域U,使得对于小参数 ε > 0 ,系统(13)在U中有唯一的闭轨 S ε S ε 是双曲吸引的,并且在Hausdorff拓扑 [8] 中,当 ε 0 时, S ε 接近于S。

定理3.3的证明:利用Fenechel理论 [9] 描述抛物线吸引部分附近的流动,文献 [10] 中分析了抛物线折点附近的流动。对于小参数 ε > 0 ,我们利用式(9)定义映射 Q ε : { x 0 * } × I 0 { x 0 * } × I 1 。其中, I 1 y 0 * 的一个充分小的邻域。由文献 [11] 得知,存在常数 C > 0 ,使得 Q ε 的 C1 范数是 e C ε 的阶。则对于小参数 ε > 0 ,我们利用 P ε ( x 0 * , y ¯ ) = ( x 0 * , P ε ( y ¯ ) ) 定义 P ε : { x 0 * } × I 1 { x 0 * } × I 0 。利用 Π ε = P ε Q ε 定义庞加莱映射 Π ε : { x 0 * } × I 0 { x 0 * } × I 0 。由命题3.3和上述分析得, Π ε 是一个收缩映射。

致谢

感谢审稿老师及编辑老师提出的宝贵意见。

文章引用: 潘陈蓉 , 陈松林 (2019) Leslie型捕食者–食饵系统的弛豫振荡分析。 应用数学进展, 8, 1937-1942. doi: 10.12677/AAM.2019.812222

参考文献

[1] Huang, J.C., Ruan, S.G. and Song, J. (2014) Bifurcations in a Predator-Prey System of Leslie Type with Generalized Holling Type III Functional Response. Journal of Differential Equations, 257, 1721-1752.

[2] Dai, Y.F., Zhao, Y.L. and Sang, B. (2019) Four Limit Cycles in a Predator-Prey System of Leslie Type with Generalized Holling Type III Functional Response. Nonlinear Analysis: Real World Applications, 50, 218-239.

[3] 卜令杰, 窦霁虹, 刘萌萌, 邢伟. 一类三次系统极限环的存在唯一性[J]. 延安大学学报(自然科学版), 2014, 33(2): 1-5.

[4] Valls, C. (2019) Nonlinear Oscillations in the Modified Leslie-Gower Model. Nonlinear Analysis: Real World Applications, 51, 1-7.

[5] 林园, 高瑾. Lotka-Volterra竞争扩散系统连接边界平衡点和正平衡点行波解的存在性[J]. 教育教学论坛, 2019(27): 95-98.

[6] Maesschalck, P.D. and Schecter, S. (2016) The Entry-Exit Function and Geometric Singular Perturbation Theory. Journal of Differential Equations, 260, 6697-6715.
https://doi.org/10.1016/j.jde.2016.01.008

[7] Lee, M.G. and Tzavaras, A. (2017) Existence of Localizing Solutions in Plasticity via Geometric Singular Perturbation Theory. SIAM Journal on Applied Dynamical Systems, 16, 337-360.
https://doi.org/10.1137/16M1087308

[8] 王国俊. Lukasiewicz语义集上的紧Hausdorff拓扑[J]. 数学学报, 2002, 45(5): 919-924.

[9] Panazzolo, D. and Da Silva, P.R. (2017) Regularization of Discontinuous Foliations: Blowing up and Sliding Conditions via Fenichel Theory. Journal of Differential Equations, 263, 8362-8390.
https://doi.org/10.1016/j.jde.2017.08.042

[10] Krupa, M. and Szmolyan, P. (2001) Extending Geometric Singular Perturbation Theory to Nonhyperbolic Points-Fold and Canard Points in Two Dimensions. SIAM Journal on Mathematical Analysis, 33, 286-314.
https://doi.org/10.1137/S0036141099360919

[11] Krupa, M. and Szmolyan, P. (2001) Relaxation Oscillation and Canard Explosion. Journal of Differential Equations, 174, 312-368.
https://doi.org/10.1006/jdeq.2000.3929

分享
Top