1. 引言
随着社会的发展、科学和技术的不断进步,越来越多的农药被用来控制农作物害虫,因为它们能快速地杀死大量成群的害虫,而且有时也是防止粮食减产的惟一可行的方法。然而,人们也逐渐认识到:如此多的农药被广泛地使用,既是人类健康的一个主要杀手,同时也是造成自然环境破坏的一个重要因素。因此,得到很多学者的关注,研究问题主要涉及环境分析和害虫群动力系统的研究。其目的就是利用所有可能的技术及合适的方法使害虫保持在一个恰当的可以控制的范围之内,只要不对经济造成损失即可。
最近,害虫控制模型被很多学者关注 [1] - [7],而且也得到了很多结果。正如我们所知道的,大多数的关于流行病模型的研究报告常常假设疾病孵化可以忽略不计,因此,一旦被感染,每个易受感染的个体(S)立刻成为有传染性的(I),并且后来获得永久的或暂时的后天免疫性的恢复(R)。建立在这些假设下的模型经常被称作SIR或SIRS模型。在假设易得病的人满足logistic方程,影响速度具有kISq形式,而且在总数不是常数的情况下,文 [8] 研究了SIR流行病模型。
2. 问题的提出
利用有害物去控制和传染疾病。也即研究用一种流行疾病去控制一种害虫群的控制问题,控制变量是被感染害虫的释放速度。利用控制变量的一个最小变化,使害虫群保持在一个确定的水平之下;我们还假设:被感染的害虫的释放是连续的或具有脉冲性质。因此,我们建立的模型是常微分方程或脉冲微分方程。关于脉冲微分方程的应用在文 [9] [10] [11] 中有系统的研究。
为了行文方便,我们提出下面的假设
(H1)害虫群被分为两类:一类是易受感染的;另一类是有传染性的。
(H2)易受感染的害虫满足logistic增长,而有传染性的疾病通过媒介传播,即传染速度可以用
表示。
(H3)害虫群的总数不是常数,是可以变化的。
并在此基础上建立了下面的数学模型
(1)
和
(2)
其中,S和I分别表示易受感染的害虫和有传染性的害虫的密度;
表示易受感染害虫的固有增长率;
表示害虫适应环境的能力;
表示感染速率;
表示有传染性的害虫的死亡率;
;
表示被感染害虫的释放速度。在系统(2)中,
是脉冲调制周期,
表示在每个时间
内受脉冲作用的被感染害虫的总数。
文 [12] 进一步给出两个假设:
(H4)被感染的害虫永远不能恢复,有传染性的害虫能再生,而且对作物无损害,而易受感染的害虫可以对作物造成损伤。
(H5)存在一个临界值SM,对于害虫损害来讲,SM代表一个最具经济意义的水平。
并得到关于S,I的流行病模型为
(3)
文 [12] 研究了一类具有连续控制的有关传染性害虫的数学模型即系统(1)和(3)正平衡点的全局渐近稳定性,并得到了控制变量的最小上界。在这篇文章里,我们将继续对一类具有脉冲释放的数学模型,即系统(2)进行研究。
3. 被感染害虫的脉冲释放
为了便于陈述和证明我们的主要结果,我们首先给出下面的定义、符号和引理。记
,
,
表示系统(2)的右边函数
,而V被称作具有
级是指
1) V在
上是连续的,而且对于任意的
,极限
存在有限。
2) V关于x满足局部Lipschitzian条件。
定义3.1
对于
,
,定义
.
记系统(2)的解为
,
在
上是连续可微的,而且
存在。由于系统(2)具有光滑性 [5],所以系统(2)的解是全局存在惟一的。
下面的引理是明显的。
引理3.1 假设
是系统(2)的一个解,满足
,那么对于所有的
,都有
。而且,如果
,那么对于所有的
,都有
。
引理3.2 (比较定理, [12] )记
,
,假设
(4)
这里
在
上连续,而且对于任意的
,
,极限
存在有限;
单调不减。记
是下面脉冲微分方程
(5)
在
上的最大解。那么只要
就有
,
,这里
是系统(2)的任一解。
往下,我们将证明系统(2)解的最终一致有界性。
引理3.3 存在
,使得对于系统(2)的任一解
,只要t充分大,就有
,
。
证明 定义函数
,通过直接计算可得
(6)
易知方程(6)的右边函数有界。因此,存在
使得
由比较定理知,对于任意的
有
因此
最终有界,于是存在
,使得对于系统(2)的任一解
,只要t充分大,就有
,
。证毕。
下面,我们考虑系统(2)的辅助系统
(7)
当
时,系统(7)的解是
由此我们得到
引理3.4 系统(7)有一个正周期解
,而且对于系统(7)的任一个解
,当
时,总有
。这里
,
。
现在,我们研究系统(2)的边界周期解的稳定性。易知系统(2)有一个边界周期解
。即
,
.
定理3.1 系统(2)的边界周期解
是全局渐近稳定的,只要
.(8)
证明 通过研究解的微小参数扰动,我们可以确定边界周期解
的稳定性。
记
是系统(2)的任一解,而且
,
。系统(2)在
的相应线性系统是
(9)
记
是(9)的基解矩阵,则
满足
, (10)
而且
,这里I是单位矩阵。因此,基解矩阵是
.
这里我们忽略矩阵中
的精确表达式,因为下面的研究过程用不到。
系统(9)的第3和第4个方程可以写为
.
边界周期解
的稳定性由下面的单位矩阵的特征值决定。
.
这里
,
.
由Floquet理论 [4],如果
,也即条件(8)成立,则边界周期解
是局部稳定的。
下面,我们将证明全局吸引性。给定
,使得
。
注意
,由引理3.2和3.3,只要t充分大,就有
.(11)
为简化计,我们假设(11)对任意的
成立。因此由方程(2)和(11)得
(12)
在区间
积分(12)得
于是,当
时,
,所以当
时,
。
往下我们证明当
时,
。对于
,存在
,使对所有的
都有
。不失一般性,假设对所有的
都有
,于是由系统(3)得
(13)
由引理3.2和3.3得
,而且当
时,
,这里
,
分别是下述系统的解;
(14)
和
(15)
.
因此,只要t充分大,
充分小,就有
。由于当
时,
,因此,当
时,
。证毕。
注意 由定理3.1,我们得到了控制变量的某个临界值,当有传染性的害虫的周期释放数目比这临界值大时,就会存在一个全局渐近稳定的边界周期解。
往下我们将研究系统(2)的持久性,为了方便,我们先给出下面的定义:
定义3.2 如果存在正常数
(与
的初值无关)和确定的时间
,使得对于系统(2)的任一解
,只要
,
,对于任意的
(
可以与初值
有关),总有
,
,则称系统(2)是持久的。
定理3.2 系统(2)是持久的,只要
. (16)
证明 假设
是系统(2)的满足
的任一解,由引理3.3,存在正常数
,只要t充分大,就有
,
。为方便计,假设对所有的
都有
,
。由(11)得,只要t充分大,就有
,于是
,
。
因此,只要确定
使
,分以下两步
1) 首先令
充分小,使
,
,
,
我们将证明
不会对所有的
成立。否则
由引理3.2和3.3得
,而且当
时
,这里
满足
(17)
而且
.
因此,存在
,只要
,就有
(18)
取
,满足
,在区间
,
上积分(18)得
.
这里
。
于是,当
时,
这与
的有界性矛盾。因此,存在
,使
。
2) 其次,如果
对所有的
成立,结论自然成立。因此,我们只需考虑离开区域
后又进入该区域的那些解。记
,则
,
,且由于
连续,所以
。选取
,使
.
记
,则我们可以断言,存在
使得
。否则,我们在
下考虑(17)得
,
.
于是
,
,
,
这说明(18)在区间
成立,与第一步类似可得
。于是由(2)的第一个方程得
.
在区间
上积分得
,因此,
,矛盾。
记
,则
,于是对于任意的
总有
.
对于
,由于
,用类似的研究可得,对于任意的
都有
。证毕。
注意 由定理3.2,我们得到了控制变量的某个临界值,当有传染性的害虫的释放数目比这临界值小时,该系统是持久的,这表示平凡的边界周期解失去了它的稳定性。
参考文献
NOTES
*山东省本科高校教学改革研究项目,项目批准号:2015M139。
#通讯作者。