1. 引言
经典的Lotka-Volterra捕食—食饵模型是生物数学研究领域中最重要的模型之一。Volterra最先提出含有时滞的捕食—食饵模型[1] ,随后,Brelot对其进行了修正并得到如下具分布时滞的模型[2]
其中和分别表示时刻食饵和捕食种群的密度,和是正常数,和是非负连续的时滞函数且
Song和Yuan研究了如下一类具有离散和分布时滞的捕食—食饵系统[3]
其中,时滞是参数,他们得到了系统的正平衡点失去稳定性和Hopf分支的条件。
本文我们将考虑如下具有离散和分布时滞的捕食—食饵系统
(1)
其中,,,,函数是在上的非负有界函数。下面探讨系统(1)的正平衡点失去稳定性和Hopf分支的条件。
2. 引理
引理1[4] [5] (Routh-Hurwitz定理)多项式方程
(2)
所有根具有负实部的充要条件是,,当时,定义。
引理2[6] 指数多项式
其中,为常数。当连续变化时,指数多项式的位于右半平面的零点的重数之和只有在虚轴上存在根或者有根穿过虚轴时,才能发生变化。
引理3[7] 设关于有连续的一阶导数,对一切,,并且满足以下两条件:1) 方程的特征矩阵是的一阶连续可微函数,存在一对简单纯虚特征根,所有其他的特征值,为任意整数;2),则存在常数,函数,,以及具有周期为的函数,当是,上述三个函数关于连续可微,使得是方程的一个解,并且
(3)
其中当时,,。此外,对于,,方程满足的周期解相差某个时间的相移外,必有(3)的形式。
3. 主要结论
定义变量,则系统(1)可转化为如下的等价系统
(4)
下面我们将研究系统(4),经计算系统(4)的平凡平衡点,其边界平衡点为,则有一下结论:
1) 系统(4)在平凡平衡点的特征根为,,,故是不稳定的;
2) 系统(4)在边界平衡点的特征根为,,其它特征值由方程决
定。当时,所有特征值有负实部,平衡点是局部渐进稳定;反之,当时,特征值有正实部,平衡点是不稳定的。
下面讨论系统(4)的正平衡点。为保证系统(4)存在一正解,假设(4)的系数满足如下条件:
(H1)
显然,在条件(H1)下,系统(4)有唯一的正平衡点,其中
在条件(H1)下,我们得到系统(4)在的特征方程
(5)
其中
在方程(5)两边乘以可得
(6)
当时,方程(6)变为
(7)
根据引理1,方程(7)的所有根有负实部,即当时,系统的正平衡点是局部渐进稳定的。
当时,令是纯虚根,则有
分离实部和虚部可得
因此,我们有
由,我们有
(8)
令,则方程(7)可化为
(9)
令
假设下面的条件成立
(H2) 方程(9)至少有一个正实根
由于,我们得到若,则条件(H2)成立。
不失一般性,假设方程(9)有六个正实根,分别定义为。这时,方程(8)有六个正实根
又
其中;,则是方程(6)的一对纯虚根,它与对应。定义
假设
(H3)
在方程(6)两边同时对求导,可得
故
我们可以得到
于是
根据引理2和引理3,我们得到如下定理:
定理 假设条件(H1)-(H3)成立,则有
1) 当时,系统(4)的正平衡点 (即系统(1)的正平衡点)是局部渐进稳定的;
2) 系统(4)的正平衡点 (即系统(1)的正平衡点)在时经历Hopf分支。
4. 举例
考虑如下系统
(10)
通过计算可得,系统(10)有唯一的正平衡点,,,,因此,定理的条件满足,于是,当时正平衡点是局部稳定的;当超过临界点时正平衡点失去稳定性,从而分支出周期解。
基金项目
湖南省教育厅资助科研项目(13C660)。
参考文献