本文应用常微分方程的定性理论,研究一类在稀疏效应下,具有平方次投放率的捕食-食饵系统模型,对该系统平衡点进行了分析,利用Poincaré-Bendixson环域定理得到了极限环存在性的充分条件,利用Dulac判据简单讨论了极限环不存在的情况,最后运用Maple软件进行数值模拟,验证了极限环存在的正确性,反映出在一定条件下捕食-食饵系统将趋于一种稳定的动态平衡。 In this paper, the qualitative theory of ordinary differential equations is applied to study a preda-tor-prey system model with scanty effect for the square thrown of prey. We analyze equilibrium point of the system and their stability. At the same time, the Poincaré-Bendixson theorem is used to obtain the sufficient condition for the existence of the limit cycle. The Dulac criterion is used to discuss the nonexistence of the limit cycle. Finally, the Maple software is used to make numerical simulations, which verify the correctness of the existence condition of the limit cycle, and reflect that the predator-prey system has a stable dynamic equilibrium under certain conditions.
蒋永新,黄晢
河海大学理学院,江苏 南京
收稿日期:2018年8月14日;录用日期:2018年8月30日;发布日期:2018年9月5日
本文应用常微分方程的定性理论,研究一类在稀疏效应下,具有平方次投放率的捕食-食饵系统模型,对该系统平衡点进行了分析,利用Poincaré-Bendixson环域定理得到了极限环存在性的充分条件,利用Dulac判据简单讨论了极限环不存在的情况,最后运用Maple软件进行数值模拟,验证了极限环存在的正确性,反映出在一定条件下捕食-食饵系统将趋于一种稳定的动态平衡。
关键词 :稀疏效应,正平衡点,极限环
Copyright © 2018 by authors and beplay安卓登录
This work is licensed under the Creative Commons Attribution International License (CC BY).
http://creativecommons.org/licenses/by/4.0/
种群生态学是生态学中一个极其关键的组成部分,也是现今在国内外生物数学中发展相当迅速、体系比较成熟的组成部分。在种群生态学中,种群间相互作用大致上可以分为三种,分别是捕食-食饵作用、竞争作用和互惠作用,而绝大多数的相互作用是以捕食-食饵形式存在的 [
在生态系统中,有些食饵喜欢独居,当种群密度较为稀少时,交配机会减少,繁殖能力也随之下降,也有可能造成种群间近亲繁殖,降低了整个种群的质量,导致食饵种群绝灭,捕食-食饵系统稳定性受到影响进而发生改变。1987年Kuno提出了在稀疏效应下的食饵种群模型。近年来,对于具有稀疏效应捕食-食饵模型的研究得到了很大的发展 [
{ d x d t = f ( x ) − p ( x , y ) x d y d t = − c y + q ( x , y ) y (1.1)
其中:x表示t时刻食饵种群数量;y表示t时刻捕食者种群数量; f ( x ) 为食饵种群增长率; p ( x , y ) , q ( x , y ) 分别为食饵捕食者2种群的相互影响函数。如果不添加密度制约这一因素,且将捕食者与食饵之间的相互作用视为线性的,则系统(1.1)就变成Lotka-Volterra捕食-食饵系统。文献 [
{ d x d t = a x 2 ( k − x ) − b x y + h ( x ) d y d t = − c y + ( β x − α y ) y (1.2)
进行了研究,利用定性理论分析了系统的正平衡点、极限环、分支等动力行为。
通过上述文献,我们可以得出结论:无论食饵是在无投放率、常数投放率或线性投放率的条件下,所研究的捕食-食饵系统均可以在不同的参数控制下能使捕食者和食饵种群达到稳定状态。然而在实际的生态环境中,捕食-食饵系统是比较复杂的,食饵的投放率通常情况下是非线性的,因此本文讨论食饵具有平方次投放时的稀疏效应捕食-食饵系统:
{ d x d t = a x 2 ( k − x ) − b x y + h x 2 d y d t = − c y + ( β x − α y ) y (1.3)
其中 a , b , c , k , h , α , β 均为独立正参数。
对系统(1.3)作变换: x = c β x ¯ , y = c α y ¯ , d t = d τ c ,系统(1.3)转化为
{ d x d t = x ( − a 2 x 2 + a 1 x − a 0 y ) = R ( x , y ) d y d t = y ( x − 1 − y ) = S ( x , y ) (2.1)
其中 a 0 = b α , a 1 = k a + h β , a 2 = a c β 2 均为正常数,根据捕食-食饵系统在生态学上的实际意义,只在区域 R + 2 = { ( x , y ) | x ≥ 0 , y ≥ 0 } 内进行讨论,且系统的初始条件应满足 x ( 0 ) > 0 , y ( 0 ) > 0 。系统(2.1)有3个平衡点:
O ( 0 , 0 ) , A ( a 1 a 2 , 0 ) , B ( x B , y B )
其中 { x B = ( a 1 − a 0 ) + ( a 1 − a 0 ) 2 + 4 a 0 a 2 2 a 2 y B = ( a 1 − a 0 ) + ( a 1 − a 0 ) 2 + 4 a 0 a 2 2 a 2 − 1 。
定理2.1. 对系统(2.1),① O是系统的鞍点;② 当 a 1 > a 2 时A为系统的鞍点,当 a 1 < a 2 时A为系统的渐近稳定结点;③ 当 a 1 − a 0 > a 2 时或当 a 2 < a 1 ≤ a 0 时,系统存在正的平衡点 B ( x B , y B ) ,设T为方程(2.1)的一次线性近似系数矩阵的迹,当 T < 0 时为稳定的结点或焦点,当 T > 0 时为不稳定的结点或焦点。
证明:设系统(2.1)的一次线性近似系数矩阵为J, J = ( ∂ R ∂ x ∂ R ∂ y ∂ S ∂ x ∂ S ∂ y ) = ( − 3 a 2 x 2 + 2 a 1 x − a 0 y − a 0 x y x − 1 − 2 y ) 。
1) 对平衡点O,其系数矩阵 J ( O ) = ( 0 0 0 − 1 ) ,由此可知两个方程的特征根分别为0,−1,该点为系统的一个鞍点。
2) 对平衡点A,其特征根为 λ 1 = − a 1 2 a 2 , λ 2 = a 1 a 2 − 1 ,显然 − a 1 2 a 2 < 0 ,所以,当 a 1 a 2 − 1 > 0 即 a 1 > a 2 时,A为系统鞍点;当 a 1 a 2 − 1 < 0 即 a 1 < a 2 时,A为系统的稳定结点,且所有特征值均具有负实部,所以结点A是渐近稳定的 [
3) 对于平衡点B,可以分成如下三种情况进行讨论:
a) 当 a 1 > a 0 , a 1 − a 0 > a 2 时,易知 ( a 1 − a 0 ) 2 + 4 a 0 a 2 > a 1 − a 0 ,所以有 x B > a 1 − a 0 a 2 > 1 , y B > 0 ,系统存在正平衡点。
b) 当 a 1 = a 0 , a 0 > a 2 时, x B = a 0 a 2 a 2 = a 0 a 2 > 1 , y B > 0 ,系统存在正平衡点。
c) 当 a 1 < a 0 时,若想要系统存在正平衡点,则需让 x B > 1 ,整理得 a 2 < a 1 时,所以得 a 2 < a 1 < a 0 时系统存在正平衡点。
对于正平衡点B
d e t ( J ( B ) ) = ( − 3 a 2 x B 2 + 2 a 1 x B − a 0 y B ) ( x B − 1 − 2 y B ) + a 0 x B y B = x B y B ( a 1 − a 0 ) 2 + 4 a 0 a 2 > 0
所以B点必为结点或焦点。
设 T = T r ( J ( B ) ) ,则
T = − 3 a 2 x B 2 + 2 a 1 x B − a 0 y B + x B − 1 − 2 y B = ( 2 a 0 − a 1 − 1 ) [ ( a 1 − a 0 ) + ( a 1 − a 0 ) 2 + 4 a 0 a 2 ] 2 a 2 − 2 a 0 + 1
当 T < 0 时,平衡点B稳定,当 T > 0 时,平衡点B不稳定。证毕。
引理3.1. 系统在 R + 2 内的一切轨线都正向有界。
证明:x轴和y轴均是系统的积分曲线,当 x ( 0 ) > 0 , y ( 0 ) > 0 时, ∀ t > 0 , x ( t ) > 0 , y ( t ) > 0 。此时可分成两种情况证明 x ( t ) 必正向有界:
1) 当 x ( 0 ) < a 1 a 2 时, ∀ t ≥ 0 , x ( t ) ≤ a 1 a 2 。若存在 t 1 < 0 ,使得 x ( t 1 ) = a 1 a 2 且 d x d t | t = t 1 ≥ 0 ,
则由 d x d t | x = a 1 a 2 = − a 0 a 1 a 2 y < 0 ,矛盾。
2) 若 N ≥ a 1 a 2 ,则 d x d t | x = N = N ( a 1 N − a 2 N 2 − a 0 y ) < 0 ,所以 x = N ( N ≥ a 1 a 2 ) 是系统的无切线且轨线是穿向 x = N 的左边,因此 ∀ t ≥ 0 , x ( t ) ≤ x ( 0 ) 。
综上, x ( t ) ≤ max { x ( 0 ) , a 1 a 2 } ,即 x ( t ) 正向有界。
下证 y ( t ) 也是正向有界的,记 x max = max { x ( 0 ) , a 1 a 2 } ,设直线: C = y + x a 0 − c ,其中c为充分大的正参数,则
d C d t | C = 0 = d y d t + 1 a 0 d x d t | y + x a 0 − c = 0 = − a 2 a 0 x 3 + a 1 a 0 x 2 + x a 0 − y 2 − c
因为 x ( t ) 正向有界,当c充分大时, d C d t | C = 0 < 0 ,且 ( x ( 0 ) , y ( 0 ) ) 必在由x轴和y轴,直线 C = y + x a 0 − c 及 x = x max + 1 所围成的区域Ω内,所以 ( x ( t ) , y ( t ) ) 必在区域Ω内,所以 x ( t ) , y ( t ) 都是正向有界的。证毕。
此引理说明,只要捕食者和食饵两种群的初始密度都不为零,则这两个种群的种群密度不会出现无限大的情况,捕食者和食饵之间必将互相制约,并分别被控制在一定的数值范围内。
定理3.2. 当 a 1 − a 0 > a 2 或当 a 2 < a 1 ≤ a 0 ,且 T > 0 时,系统(2.1)在 R + 2 内存在一个稳定的极限环。
证明:当 a 1 − a 0 > a 2 或当 a 2 < a 1 ≤ a 0 ,且 T > 0 时,系统存在正的不稳定的平衡点B,同时也满足定理3.1 ②,所以此时A为系统的鞍点。比较 x 0 , x B ,
x B − x 0 = ( a 1 − a 0 ) + ( a 1 − a 0 ) 2 + 4 a 0 a 2 2 a 2 − a 1 a 2 = − ( a 1 + a 0 ) + ( a 1 − a 0 ) 2 + 4 a 0 a 2 2 a 2
此时 a 1 > a 2 ,所以 ( a 1 − a 0 ) 2 + 4 a 0 a 2 − ( a 0 + a 1 ) < 0 ,进而可知 x B < x 0 。故当 a 1 − a 0 > a 2 或当 a 2 < a 1 ≤ a 0 ,且 T > 0 时,系统在区域 R + 2 = { ( x , y ) | x ≥ 0 , y ≥ 0 } 上有存在极限环的可能性。
为了使环域只包括平衡点B而不包含平衡点A,构造如下环域: Λ = { ( x , y ) | 0 ≤ x ≤ x 0 , 0 ≤ y ≤ x 0 − 1 } ,易知 x = 0 , y = 0 为系统的轨线。当 x = 0 , y > 0 时,有 d y d t | x = 0 , y > 0 = − y ( 1 + y ) < 0 ,轨线方向为y轴负方向;当 y = 0 , 0 < x < x 0 时,有 d x d t | y = 0 , 0 < x < x o = x ( − a 2 x 2 + a 1 x ) ,因为 x 0 = a 1 a 2 ,所以 − a 2 x 2 + a 1 x 在 0 < x < x 0 的条件下必小于0,则 d x d t | y = 0 , 0 < x < x 0 < 0 ,轨线走向为x轴正方向;当 x = x 0 , 0 < y < x 0 − 1 时,有 d y d t | x = x 0 , 0 < y < x 0 − 1 = y ( x 0 − 1 − y ) < 0 ,轨线方向是由外侧流向内侧;当 y = x 0 − 1 , 0 < x < x 0 时,有 d x d t | y = x 0 − 1 , 0 < x < x 0 = x ( − a 2 x 2 + a 1 x − a 0 x 0 + a 0 ) ,把 x 0 = a 1 a 2 代入,得 d x d t | y = x 0 − 1 , 0 < x < x 0 = x ( − a 2 x 2 + a 1 x − a 0 a 1 − a 0 a 2 a 2 ) ,由已知条件可以判定, d x d t | y = x 0 − 1 , 0 < x < x 0 < 0 ,轨线方向是由外侧流向内侧。所以,由 x = 0 , x = x 0 , y = 0 , y = x 0 − 1 所围成的矩形区域构成了环域的一条外边界线,又因为在区域内只有B点这一个不稳定的正平衡点,根据Poincaré-Bendixson环域定理 [
定理3.3. 当 T < 0 , a 1 > a 2 ,且 a 0 < 1 时系统(2.1)在 R + 2 内不存在极限环。
证明:取Dulac函数 B ( x , y ) = 1 x 2 y ,经过计算,可得
∂ ( B R ) ∂ x + ∂ ( B S ) ∂ y = − a 2 y + a 0 − 1 x 2 < 0
根据Dulac判据 [
本节利用数学软件Maple对稀疏效应下具有平方次投放率的捕食-食饵系统进行数值模拟,通过该模拟,可以直观地观察出系统的局部轨线的具体的绕行方向,图1清晰地看出在一定的限制条件下系统(2.1)存在着稳定的正平衡点,图2可判断出在定理指定的限制范围下系统内存在极限环,从而验证本文中定理的正确性。
图1根据定理2.1的条件,模拟当 a 1 − a 0 > a 2 且 T < 0 时系统存在稳定的正平衡点B。
图2和图3根据定理3.2的条件,模拟1) a 1 > a 0 + a 2 , T > 0 , a 0 , a 1 , a 2 都为正数;2) a 0 ≥ a 1 > a 2 , T > 0 , a 0 , a 1 , a 2 都为正数时系统内存在极限环。
图1. 稳定的平衡点
图2. 当 a 1 > a 0 + a 2 ,且 T > 0 时,稳定的极限环
图3. 当 a 0 ≥ a 1 > a 2 ,且 T > 0 时,稳定的极限环
对于稀疏效应下具有密度制约的捕食-食饵系统来说,如果想维持整体系统处于一种相对动态的稳定,就必须通过外界的干预,具体方法为:定期定量向系统中投放、补给食饵。通过这种方法我们可以保护系统,促进捕食-食饵系统的可持续发展,进而保持生态系统的平衡。对带有常数投放率和线性投放率的捕食-食饵系统已经得到了一些结论,见文献 [
该论文由中央高校基本科研业务费专项资金No.2017B17314资助。
蒋永新,黄晢. 一类稀疏效应下具有平方次投放率的捕食-食饵模型的动力行为Dynamical Behaviors of a Predator-Prey Model with Scanty Effect for the Square Thrown of Prey[J]. 应用数学进展, 2018, 07(09): 1133-1140. https://doi.org/10.12677/AAM.2018.79131