1. 引言
近年来,阶段结构种群模型的动力学行为研究引起了学者们的极大关注,见文 [1]- [18]以及所引文献。著名学者王稳地和他的学生于宇梅,张勇 [16]在构造阶段结构捕食者-食饵种群模型时,原创性的提出如下假设:捕食者种群通过捕食活动不增加生育能力,只是增加体质减少死亡,且幼年捕食者没有捕食能力,在这样的假设下,作者们提出了如下强身型的捕食者-食饵模型:
(1.1)
其中
为时刻t的食饵种群密度;
为幼年捕食者在单位时间、单位面积内的生物量;
为成年捕食者在单位时间、单位面积内的生物量,系统的各个参数的生态学含义见 [16]。
作变换
,
,
,
,并重新用
表示
,则系统(1.1)可以变换为
(1.2)
计算易知系统可能有三个非负平衡点,
,
,此外,进一步假设
(1.3)
成立下,系统存在正平衡点
,其中
(1.4)
有关系统(1.2)正平衡点的稳定性和系统的持久性等,作者得到了如下四个结果(见原文定理1,定理2,定理4和定理5)。
定理A
当(1.3)成立时,正平衡点
是局部渐近稳定的。
定理B
若条件
(1.5)
成立,则系统(1.2)是一致持续生存的。
定理C
若条件
(1.6)
成立,则捕食者种群绝灭。
定理D
若条件
(1.7)
成立,则是
全局渐近稳定的。
这里有两个问题。1)条件(1.6)成立时,必有条件(1.5)成立,由定理B此时系统(1.2)是一致持续生存的,而由定理C此时捕食者种群是绝灭的,这是两个相互矛盾的结论,所以,定理B和C必然有一个是
错误的;2)条件(1.7)隐含
,也就是说,在(1.7)成立下,(1.3)不可能成立,从而系统(1.2)不可能
有正平衡点,更不要说其稳定性了。既然在条件(1.3)成立下,系统(1.2)存在正平衡点,而文 [16]所给条件是错误的,那么,到底什么条件才能保证系统(1.2)正平衡点的全局稳定性呢?此外,保证系统一致持久的条件是什么呢?定理B和定理C到底哪个会成立?哪个不成立呢?
本文的目的在于给出这些问题的肯定回答。我们首先给出保证系统的正平衡点全局渐近稳定性的充分性条件并给予严格证明,其后探讨了系统的持久性问题。本文所得结果补充和完善了文 [16]的主要结果之一。
2. 主要结果
下面叙述本文的主要结果。
定理2.1. 当(1.3)成立时,系统(1.2)的正平衡点
是全局渐近稳定的。
证明:我们将通过构造适当的 函数来证明这一结论。
今构造 函数
(2.1)
其中
是待定的正常数。注意到
满足方程
(2.2)
沿着系统(1.2)的正解计算导数,借助(2.2),有
(2.3)
今取
(2.4)
则有
(2.5)
因此,对所有的
,且
,均有
。且仅在
处
。由此可知
是全局渐近稳定的。
定理2.1证毕。
作为定理2.1的直接推论,我们立即得到如下有关系统(1.2)持久性的结论。
推论2.1. 当(1.3)成立时,系统(1.2)是一致持久的。
3. 结论
于宇梅等学者 [16]提出了强身型的捕食者-食饵模型(模型(1.1)),在作适当变换后,变成了系统(1.2),作者探讨了系统的各个平衡点的存在性,正平衡点的局部稳定性和全局稳定性,系统的持久性和捕食者种群的绝灭性。我们注意到作者的主要结果:定理B和C是互相矛盾的;定理D的条件跟正平衡点存在的条件也是矛盾的,也就是说,文 [16]的结果是否成立都需要进一步验证。本文中,我们证明了正平衡点如果存在,则必是全局吸引的,从而必有系统是一致持久的,我们的这一结果非常简洁完美,我们的结果补充和完善了文 [16]的主要结果。