一类带有扩散项和阶段结构的非自治捕食-食饵系统解的渐近行为
2019-08-29胡华书蒲志林沈怡心
胡华书, 蒲志林, 沈怡心
(四川师范大学 数学科学学院, 四川 成都 610066)
经典的Lotka-Volterra模型都是假设一个独立物种有相似的能力去捕食或者繁殖,但是大部分的生命循环并不是这样的,很多动物至少包括2个阶段:幼年和成年.物种在第一个阶段通常是不能捕食和繁殖的,由成年父母喂养,而成年物种靠捕食猎物为生.另外,物种也受环境、迁徙等影响,所以本文考虑带有扩散项和阶段结构的非自治捕食-食饵系统:
(1)
其中,Ω⊂RN,N≥1是具有光滑边界的有界区域,B表示边界算子
Georgescu等[1]已经研究过系统不带扩散项的自治情况,通过构造一个恰当的Lyapunov函数和使用LaSalle的不变性原则,研究系统的全局动力性,得到了系统正稳态的存在性及渐近稳定性.Langa等[2-3]也研究了带有扩散项的非自治Lotka-Volterra系统的向前和拉回行为.Langa等[4]利用非自治偏微分方程的吸引子的最新理论得到关于非自治Lotka-Volterra系统描述竞争,共生和捕食-食饵现象的持久性和全局解的向前和拉回渐近稳定性.Langa等[5]利用次超轨线对的方法研究了带有扩散项的非自治Lotka-Volterra模型的长时间行为,得到了包括竞争、共生和捕食-食饵3种情形.特别地,在一些参数条件下,证明了这些模型的一个唯一非退化全局解的存在性,它吸引其他任意完全的有界轨线.最后得出次超轨线对作为现在经典的上下解方法的一般化方法,得到3种模型的拉回和向前持久性.
具有阶段性的捕食-食饵系统在最近十年也受到了广泛关注,描述阶段结构的生态反应已经由文献[6-7]给出,Liu等[8]也研究了阶段结构的种群模型的动力性.文献[9-10]研究了具有阶段结构的捕食-食饵系统的全局稳定性和持久性.所以对于研究带有扩散项和阶段结构的捕食-被食系统的渐近行为,是很有意义的.
1 预备知识
回顾拉回吸引子的概念.
定义 1.1[4]设(X,d)是一个完备距离空间,{S(t,s)}t≥s,t,s∈R是一个映射集簇,满足:
(a)S(t,s)S(s,τ)z=S(t,τ)z,对所有的τ≤s≤t,z∈X成立;
(b)S(t,τ)z在t>τ和z是连续的;
(c)S(t,t)对所有的t∈R在X上是恒等映射.
这样的映射叫做一个过程.通常,S(t,τ)z作为非自治方程在时刻τ具有初始条件u在时间t的解.对于自治方程的解仅仅依赖t-τ,记
S(t,τ)=S(t-τ,0).
为了描述像(1)式的非自治系统的渐近行为,需要一个非自治拉回吸引子的概念.
定义 1.2[9]给定t0∈R,B(t0)⊂X在时间t0是拉回吸收的,如果对每一个有界子集I⊂X,存在一个T=T(t,I)∈R,满足S(t0,τ)I⊂B(t0), 对所有的τ≤T.
定义 1.3[4]一个紧集簇{A(t)}t∈R⊂X是S(·,·)的一个拉回吸引子,如果:
(a)S(t,τ)A(τ)=A(t),对所有的t≥τ;
(b) 对所有的t∈R,I⊂X的有界子集,有
其中dist(A,B)代表A和B之间的Hausdorff距离.定理 1.4[11-12]假设存在一个紧的拉回吸收集簇,则存在一个拉回吸引子{A(t)}t∈R.
为了更精确地描述拉回吸引子的动力学对象,给出如下定义.
由文献[4]知,当吸收集簇是一致有界的,拉回吸引子可以被描述为
A(t)=
{ω(t):ω(·)是一个对S来说的有界完备轨线}.
(3)
2 自治情形
(4)
和
(5)
初边值满足:
u0(x)>0,v10(x)>0,v20(x)>0;
让(U,V1,V2)是初边值问题
(6)
相应的解,由v10、v20的非负性,则存在常数ρ1、ρ2,使得V1、V2满足
0≤V1≤ρ1e-(λ1+D+d1)(t-s)φ1(x),
0≤V2≤ρ2e-(λ2+d2)(t-s)φ2(x), (t,x)∈Ξ, (7)
(8)
其中,μ1是-Δu=μu的第一特征值,Us是边值问题
(9)
(u,v1,v2)≤(U,V1,V2).
回顾(7)式有
(0,0,0)≤(u,v1,v2)≤
(U,ρ1e-(λ1+D+d1)(t-s)φ1(x),ρ2e-(λ2+d2)φ2(x)). (10)
由(10)式知
(u,v1,v2)→(0,0,0),
t→∞,γ≤μ1.
(11)
当γ>μ1时,包括对u的Neumann边界条件,依然有(v1,v2)→(0,0),当t→∞.这隐含着对任一正的<γ-μ1,存在T1>0,满足
bv2<,
(12)
让U和U(0)是
得到了如下解的全局存在性和渐近行为.
定理 2.1给定系统(1)的任一非负初值(u0,v10,v20),系统(1)有唯一全局解(u,v1,v2)满足(10)式.当γ≤μ1时,有(u,v1,v2)→(0,0,0),t→∞;当u0≠0且γ>μ1,有(u,v1,v2)→(Us,0,0),其中,Us是(9)式的正解.特别地,如果σ≡0,则当t→∞时,(u,v1,v2)→(γ/a,0,0).
3 解的渐近行为
3.1 非自治logistic方程当v1=v2=0时,u满足logistic方程
(14)