一类脉冲时滞模型的一致持久性
2016-09-07杨喜陶
蒋 燕,杨喜陶
(湖南科技大学 数学与计算科学学院, 湘潭 411201)
一类脉冲时滞模型的一致持久性
蒋燕,杨喜陶
(湖南科技大学 数学与计算科学学院, 湘潭 411201)
研究了一类非线性脉冲时滞Nicholson飞蝇模型的动力学行为.通过利用比较原理来研究它的一致持久性,得到了该系统一致持久性的充分条件.
Nicholson飞蝇模型;一致持久性;脉冲;时滞
0 引 言
Nicholson飞蝇模型由于其理论和实际意义,已被广泛研究[1].提出了修改后的Nicholson飞蝇模型
N′(t)=-δN(t)+pN(t-τ)e-rN(t-τ),t≥0
(1)
对(1)进行推广,许多学者研究了具有多个时滞的常微分方程
N′(t)=-δ(t)N(t)+
(2)
的动力学性质[2-6].其中文献[2,3]研究了非线性时滞Nicholson模型解的全局吸引性,文献[4-6]对非线性时滞Nicholson模型正周期解的存在性进行了深入的研究,获得了非常多且非常精细的结果.文献[6]研究了模型
的持久性与正周期解的存在性.但是,考虑到生物模型的实际情况,当种群数量经历一个相对较长的光滑变化过程后,由于收获、放养、疾病等其他干扰作用以后,在一定的时刻种群数量会发生突变,由于突变过程同整个发展过程相比非常短暂,对这样的生态系统就需要用具有脉冲作用的微分方程系统,即脉冲微分方程模型来描述和研究.由于脉冲微分方程较之相对无脉冲的微分方程更能准确地描述生态系统中的很多现象.
基于此,我们将研究下面的非线性脉冲时滞微分方程
(3)
我们首先给出一些记号:对定义在R上的有界连续函数g,g*和g*分别表示:
且记
在本文中,用R+表示非负实数集,C+=C([-r,0],R+)是赋予通常最小上确界范数‖·‖的连续函数空间,记C+=C([-r,0],R+)设t0∈R,σ∈R,如果x(t)是定义在[-r+t0,σ)上的连续函数,定义xt∈C为xt(θ)=x(t+θ),其中θ∈[-r,0].
考虑到模型的生物意义,我们只考虑正解,即考虑初始条件:
xt0=φ,φ∈C+,和φ0>0.
(4)
记x(t;t0,φ)为(3)满足初始条件(4)的解.且令[t0,η(φ))是解x(t;t0,φ)的最大存在区间.
1 一致持久性
(5)
证明记x(t)=x(t;0,φ),
由于x(0)=φ(0)>0,则∀t∈[0,η),x(t)>0.
事实上,若存在θ∈[0,η),使当t∈[0,θ)时,x(t)>0.而x(θ)=0,则当t∈[0,θ)时
从而
令t→θ
矛盾.
若A0=φ(0),此时η=t1,对t∈[0,t1],(5)成立.
若A0>φ(0),∀η0∈[0,η)满足x′(η0)≥0
由(3)得
从而有
故
从而
故
此时亦有η=t1且当t∈[0,t1]时,(5)成立.设当t∈(tk-1,tk]时(5)成立
与前面类似可证当t∈(tk,ξ)时,x(t)>0
若Ak>x(tk)(1+λk),设ηk∈(tk,ξ)满足x′(ηk)≥0与前面类似可证x(ηk)≤M.
故有ξ=tk+1且∀t∈(tk,tk+1]