一类带有Holling typeIII功能反应捕食食饵系统定性分析.docVIP

一类带有Holling type-III功能反应的捕食-食饵系统的定性分析 　　摘要：该文对一类带有Holling type-III功能反应的捕食-食饵系统进行了研究，分析了解的有界性和保持性，讨论了平衡点的局部稳定性，并研究了Hopf分支的存在性。 　　有界性； 保持性；局部稳定性；Hopf 分支 　　 　　1.解的有界性和保持性 　　在数学生物学中，最令人感兴趣的问题之一是关系到生态模型中种群的生存．关于捕食者-食饵系统已取得很多好的结论[1,2] ，到．本文建立具有Holing III类功能反应、均具有密度制约,并且具有时滞的捕食系统的模型，并对其进行定性分析。模型如下： 　　 （1） 　　其中表示食饵种群的密度，表示捕食者种群的密度，是食饵种群的相对增长率，是食饵转化成捕食者的转化率，是捕食者种群的出生率，这里假设当是常数时，是捕食者种群所容许的负荷量，均为正。 　　令， ，，，则系统(1)变为等价系统 　　 （2） 　　其中，初始条件为 　　 （3） 　　显然，系统(2)-(3)存在唯一一个正平衡点，当且仅当以下条件之一成立： 　　（i）;(ii)时，在以下的讨论中，我们假设这个正平衡点是存在的并设为。 　　由解的存在性定理和标准比较原理，我们知道系统(2)-(3)的解是存在并且是衡正的。事实上，我们有 　　 （4） 　　我们首先讨论的有界性。 　　定理1. 对于系统(2)-(3)， 　　证明：显然，存在T0, 使得当tT时，。因而，当时， （5） 　　由，我们可以知道，当时， 　　 （6） 　　 所以，当时，，从而可得 　　。 证毕。 　　定义1[3]. 系统(2)-(3)是保持的，如果存在，使得对系统（2）-（3）的任意解，有 　　 （7） 　　令容易看出，对于系统(2)-(3)，如果，那么，从而， 　　 （8） 　　所以，对于充分大的，并且 　　 （9） 　　从而，我们有 （10） 　　于是，，由此可得 　　 （11） 　　综上所述，我们得到以下定理： 　　定理2．如果，那么系统(2)-(3)是保持的。 　　2.稳定性和周期解分支 　　定义2[4]．正平衡点是渐进稳定的，如果存在，使得 　　 　　即 　　其中，是系统(2)-(3)的解。 　　定义3[4]．正平衡点是绝对稳定的，如果对于所有的，它都是渐进稳定的；正平衡点是条件稳定的，如果对于某些区间上的，它是渐进稳定的。 　　系统（2）相应的特征方程为 　　 （12） 　　其中， 　　 　　当时，方程(12)变为 　　 （13） 　　容易验证，当且时，方程(13)的根均具有负实部 　　引理1[4]．（i）系统(2)的正平衡点是绝对稳定的，当且仅当方程(13)的所有根据有负实部并且对任意的特征方程(12)没有纯虚根； 　　（ii）系统(2)的正平衡点是条件稳定的，当且仅当方程(13)的所有根据有负实部并且存在正的使得特征方程(12)有一对纯虚根。 　　定理3．如果，那么系统(2)的正平衡点是条件稳定的，其中 　　 　　证明：容易验证，当时，方程(13)的所有根均为负实部，且方程(12)只有唯一的一对纯虚根。下面计算相应的。 　　将代入方程(12)，并分离实部和虚部得 　　 （14） 　　由上式可得证毕。 　　下面，我们在定理3的条件下分析系统的Hopf分支。设 　　是特征方程(12)的任意一个根，代入方程分离实部与虚部得 　　 （15） 　　令，显然，由隐函数定理可知，方程组(15)在的领域中定义了函数，使得 　　又由 　　 （16） 　　由Rouches 定理[4]知，当连续地从一个小于 的数变化到一个大于的数时，特征方程(12)的根从左到右的穿过虚轴。因此，系统在产生Hopf分支。 　　注1：这里必须指出定理3不能决定周期解的稳定性和分支方向。根据Hassard et al.[6], 我们可以通过分析高阶项来讨论周期解得稳定性和分支方向，这也是我们下一步要做的工作。 　　 　　参考文献 　　[1] 刘兴臻．一类具有HolingII类功能反应且具有周期系数的三维顺环捕食系统的研究[J]生物数学学报.1999.14 　　[2] 孙继涛，张银萍．三种群食饵系统的平稳振荡[J]生物数学学报.1999.14 　　[3] Edoardo Beretta , Yang Kuang. Global analyses in some delayed ratio-dependent predator-prey system. Nonlinear Analysis. Methods Applications