具有空间非局部效应的时滞登革热模型单稳行波解的稳定性

常梦飞 ,  杨赟瑞

武汉大学学报(理学版) ›› 2026, Vol. 72 ›› Issue (4) : 599 -612.

PDF (650KB)
武汉大学学报(理学版) ›› 2026, Vol. 72 ›› Issue (4) : 599 -612. DOI: 10.14188/j.1671-8836.2025.0131
数理建模与应用

具有空间非局部效应的时滞登革热模型单稳行波解的稳定性

作者信息 +

Stability of Monostable Traveling Waves in a Delayed Dengue Model with Nonlocal Effect in Space

Author information +
文章历史 +
PDF (664K)

摘要

研究了具有空间非局部效应的时滞登革热模型单稳行波解的稳定性。采用连续性方法结合加权能量法,建立该模型单稳行波解的局部指数稳定性(小初始扰动下)。其中,初始扰动当x趋于无穷时只需一致有界而不必趋于0。

Abstract

This paper deals with the stability of monostable traveling wave solutions in a delayed dengue model with nonlocal effect in space. The local exponential stability of monostable waves of the model is established under small initial perturbations by the continuity method and the weighted energy method, where the initial perturbations when x approaches infinity are needed only to be uniformly bounded, but not to tend to 0.

关键词

非局部效应 / 行波解 / 稳定性 / 加权能量法 / 时滞

Key words

nonlocal effect / traveling wave solutions / stability / weighted-energy method / delay

引用本文

引用格式 ▾
常梦飞,杨赟瑞. 具有空间非局部效应的时滞登革热模型单稳行波解的稳定性[J]. 武汉大学学报(理学版), 2026, 72(4): 599-612 DOI:10.14188/j.1671-8836.2025.0131

登录浏览全文

4963

注册一个新账户 忘记密码

0  引 言

登革热是一类由于媒介生物载体的传播而引起的疾病,其模型的研究备受关注[1-5]。1998年,为了模拟固定人口数量且可变媒介数量的登革热病毒的传播,Esteva等[1]提出了模型:

SH'(t)=μHNH-βHbNH+mSHIV-μHSHIH'(t)=βHbNH+mSHIV-(μH+γH)IHRH'(t)=γHIH-μHRHSV'(t)=A-βVbNH+mSVIH-μVSVIV'(t)=βVbNH+mSVIH-μVIV

该模型中,SH、IH、RH分别表示易感者、感染者、恢复者人数;SV、IV易感蚊子和感染蚊子的数量;μH表示人类自然死亡率,γH为患者的恢复率,μV表示蚊虫死亡率;NH表示人数,A表示蚊子常数,m表示可供蚊子作为血液来源的替代宿主数量,b表示蚊子的叮咬率,即每只蚊子每天平均叮咬的次数。自此,对登革热传染病模型的研究引起了广泛学者的关注。

由于病媒(或宿主)在空间中的移动是随机的,而包括病媒传播在内的许多传染病又都有潜伏期,因此,可以同时考虑病媒在空间的扩散和时滞因素。例如,时滞Laplace扩散登革热模型:

∂tu1(x,t)=d1Δu1(x,t)-k1u1(x,t)u5(x,t-τ1)∂tu2(x,t)=d2Δu2(x,t)+k1u1(x,t)u5(x,t-τ1)-(μh+αh)u2(x,t)∂tu3(x,t)=d3Δu3(x,t)+αhu2(x,t)∂tu4(x,t)=d4Δu4(x,t)-k2u4(x,t)u2(x,t-τ2)∂tu5(x,t)=d5Δu5(x,t)+k2u4(x,t)u2(x,t-τ2)-μvu5(x,t)

其中,u1x,t、u2(x,t)和u3x,t分别表示t时刻x处易感人群、感染人群和恢复人群的密度;u4x,t和u5x,t表示t时刻x处易感蚊子和感染蚊子的密度;τ1(τ1>0)和τ2(τ1>0)分别表示登革热病毒在蚊子体内和人体内的潜伏期;di(i=1,2,3,4,5)为扩散系数,di>0且d1=d3;μh(μh>0)和αh(αh>0)表示染病者的因病死亡率和恢复率,μv(μv>0)是染病蚊子的因病死亡率;k1(k1>0)表示病毒由染病蚊子到易感者的传播率,k2(k2>0)是病毒从感染者到易感蚊子的传播率。

扩散可分为局部扩散和非局部扩散。当个体的扩散且仅与当前位置有关,这种扩散称作局部扩散,如Laplace扩散就是局部扩散;当个体的扩散不仅与当前位置有关,还与相邻位置甚至整个空间有关,这种扩散就称作非局部扩散,常用卷积项

(𝒥*u)(x,t)-u(x,t)=∫ℝ𝒥(x-y)u(y,t)dy-u(x,t)

表示。其中,𝒥是关于空间的概率密度函数(核函数),𝒥(x-y)表示个体从位置y到x的概率密度函数,∫ℝ𝒥(x-y)u(y,t)dy表示个体从其他空间位置到达位置x的速度。一般地,当核函数𝒥具有对称性(𝒥是偶函数,即:𝒥(x)=𝒥(-x))时,不难验证,非局部扩散项与经典的Laplace扩散项仅相差一个关于ε2的高阶无穷小量(其中ε>0充分小),即非局部扩散项与Laplace扩散项自然逼近。例如,Laplace扩散登革热模型(2)可推广到非局部扩散模型。此外,个体(病媒或宿主)在过去时间乃至整个历史时期的状态都可能会对当前的状态产生影响,这就产生了非局部效应[6-7],它可以同时体现在扩散项上(即非局部扩散)和反应项上(即时间-空间的非局部,又称时空时滞),包括空间的非局部和时间的非局部。例如,(3)式为具有时间-空间非局部效应的时滞种群模型:

∂U1(x,t)∂t=d(𝒥*U1-U1)(x,t)+F(U1(x,t), 𝒦**S(U1(x,t)))-β1U1(x,t)+β2U2(x,t)∂U2(x,t)∂t=β1U1(x,t)-β2U2(x,t)

其中,𝒦**S(U1(x,t))=∫-∞t∫R𝒦(x-y,t-s)S(U1(y,s))dyds, t>0,x∈R。当𝒦(x,t)=δ(t-τ)𝒢(x)时,具有时间-空间非局部效应的时滞种群模型(3)退化为具有空间非局部效应的时滞种群模型:

∂U1(x,t)∂t=d(𝒥*U1-U1)(x,t)+F(U1(x,t),𝒢*S(U1(x,t-τ)))-β1U1(x,t)+β2U2(x,t)∂U2(x,t)∂t=β1U1(x,t)-β2U2(x,t)

其中,𝒢*S(U1(x,t-τ))=∫R𝒢(x-y)S(U1(y,t-τ))dy,x∈R,t>0;U1,U2分别表示移动和静止子种群的密度,d(d>0)为扩散系数,β1(β1>0),β2(β2>0)为移动和静止两种状态之间的转化率。

又如,(5)式为具有空间非局部效应的时滞登革热模型:

∂u1(x,t)∂t=d1(𝒥*u1(x,t)-u1(x,t))-l1u1(x,t)𝒢*u5(x,t-τ)∂u2(x,t)∂t=d2(𝒥*u2(x,t)-u2(x,t))+l1u1(x,t)𝒢*u5(x,t-τ)-(μh+αh)u2(x,t)∂u3(x,t)∂t=d3(𝒥*u3(x,t)-u3(x,t))+αhu2(x,t)∂u4(x,t)∂t=d4(𝒥*u4(x,t)-u4(x,t))-l2u4(x,t)𝒢*u2(x,t-τ)∂u5(x,t)∂t=d5(𝒥*u5(x,t)-u5(x,t))+l2u4(x,t)𝒢*u2(x,t-τ)-μvu5(x,t)

其中,𝒢*ui(x,t-τ)=∫R𝒢(x-y)ui(y,t-τ)dy(i=2,5)。

行波解的稳定性一直是行波理论中的重点研究课题,常用的研究方法有谱分析方法、挤压技术、(反)加权能量法和单调半流理论等。其中,文献[8-12]发展的(反)加权能量法是处理单稳行波解(是指行波解连接的两个平衡点中有一个稳定、一个不稳定)稳定性的有效工具。2014年,Lin等[9]借助连续性方法结合加权能量法研究了一类时滞Nicholson's标量方程非临界波速下单稳行波解的局部指数稳定性。此后Liu等[13]将Lin等[9]的工作推广到一类具有空间非局部效应的时滞标量方程。近来,李孝武等[14]建立了时滞非局部扩散 SVIR 模型单稳行波解的指数稳定性。但是,上述结果主要针对的是小初始扰动、非临界波速下单稳行波解的局部稳定性。2019年,Mei等[12]首次利用反加权能量法结合Fourier变换同时建立了一类时滞Laplace扩散标量方程非临界波速下和临界波速下单稳行波解的全局指数稳定性及全局代数稳定性。基于Mei等[12]的工作,Zhang[15]研究了一类非局部扩散时滞标量方程单稳行波解的稳定性。此后,Liu等[16]将上述研究结果推广到具有空间非局部效应的时滞非局部扩散系统(4),此类工作还可参见文献[17-19]。而关于登革热模型单稳行波解存在性的研究工作仅见王凯等[5]建立了模型(2)单稳行波解的存在性,关于其行波解稳定性的研究目前还未见报道。

受上述工作[9,14,16]的启发,本文主要研究具有空间非局部效应的时滞扩散登革热模型(5)单稳行波解的稳定性。注意到,由于非线性项的特殊性(关于任一变元的二阶偏导为0而无法保证一阶偏导的有界性),导致Fourier变换结合连续性方法建立扰动解的全局存在唯一性时失效。因此,本文首先在保证系统(5)单稳行波解存在的基础上,借助迭代法建立相应扰动系统解的局部存在唯一性(小初始扰动条件下);其次,利用加权能量法建立扰动解的先验估计;最后,利用连续延拓性方法将局部解延拓至全空间,得到系统(5)单稳行波解的局部指数稳定性。本文不仅将Laplace扩散登革热模型(2)单稳行波解的研究推广到了非局部扩散系统,还补充完善了对登革热模型单稳行波解的稳定性研究。

1 预备知识和主要结论

首先,给出本文所需的假设条件和工作空间:

(H1)𝒥(⋅)∈C1(R)具有紧支集,且对任意的y∈R,𝒥(y)=𝒥(-y)≥0,∫ℝ𝒥(y)dy=1。

(H2)𝒢(y,s)∈C1(R×[0,T])关于y是Lipschitz连续的且满足𝒢(y,s)=𝒢(-y,s)≥0和∫ℝ𝒢(y,s)dy=1。此外,存在常数λc∈(0,+∞)使得当波速c>0时,∫0T∫-∞+∞𝒢(y,s)e-λ(y+cs)dyds<+∞,其中λ∈[0,λc)。

记I为R上的一个区间,L2(I)是定义在I上的平方可积函数构成的空间,Lω2(I)表示加权L2(I)空间。Hk(I)为定义在I上且j(j=0,1,⋯,k)阶导数是由L2(I)空间内的Lebesgue平方可积函数构成的Sobolev空间,Hωk(I)为加权索伯列夫空间,加权函数ω(x)>0。Lω2(I)的范数为fLω2(I)=[∫Iω(x)f(x)2dx]12,Hωk(I)的范数为fHωk(I)=[∑i=0k∫Iω(x)didxif(x)2dx]12。

令常数T>0,ℬ是Banach空间。C([0,T];ℬ)为定义在[0,T]上的ℬ-值连续函数组成的空间, L2([0,T] ;ℬ)表示由[0,T]上的ℬ-值L2-函数构成的空间;相应地,[0,+∞)上的ℬ-值函数构成的空间定义类似。C>0为万有常数,Ci>0(i=0,1,⋯)为特定的常数。

假设系统(5)满足初始条件:

ui(x,0)=ui0(x),x∈R,i=1,3,4ui(x,0)=ui0(x,s),s∈[-τ,0],x∈R,i=2,5

此外,不难验证系统(5)有两个平衡点:

E-=(u1(-∞),u2(-∞),u3(-∞),u4(-∞),u5(-∞))=(Sh0,0,Rh0,Sv0,0)
E+=(u1(+∞),u2(+∞),u3(+∞),u4(+∞),u5(+∞))=(Sh*,Ih*,Rh*,Sv*,Iv*)

这里Sh0,Rh0,Sv0,Sh*,Ih*,Rh*,Sv*,Iv*均为正常数。令(u1(x,t),u2(x,t),u3(x,t),u4(x,t),u5(x,t))是系统(5)满足初始条件(6)的解,系统(5)的形如ui(x,t)=ϕi(ξ)=ϕi(x+ct)(i=1,2,3,4,5)的解称为行波解,且满足如下条件:

cϕ1'(ξ)=d1(𝒥*ϕ1(ξ)-ϕ1(ξ))-l1ϕ1𝒢*ϕ5(ξ-cτ)cϕ2'(ξ)=d2(𝒥*ϕ2(ξ)-ϕ2(ξ))+l1ϕ1𝒢*ϕ5(ξ-cτ)-(μh+αh)ϕ2(ξ)cϕ3'(ξ)=d3(𝒥*ϕ3(ξ)-ϕ3(ξ))+αhϕ2(ξ)cϕ4'(ξ)=d4(𝒥*ϕ4(ξ)-ϕ4(ξ))-l2ϕ4𝒢*ϕ2(ξ-cτ)cϕ5'(ξ)=d5(𝒥*ϕ5(ξ)-ϕ5(ξ))+l2ϕ4𝒢*ϕ2(ξ-cτ)-μvϕ5(ξ)ϕi(±∞)=ui(±∞),i=1,2,3,4,5

其中ξ=x+ct,c>0为波速。类似于文献[20],可以得到下面三个引理。

引理1 若(H1)~(H2)成立,则ρ1(λ,c)和ρ2(λ,c)分别存在正根λ'和λ″,使得:ρ1(λ,c)<0,∀λ∈(0,λ'); ρ2(λ,c)<0,∀λ∈(0,λ″),其中ρ1(λ,c)=d2∫ℛJ(y)(e-λy-1)dy-μh-αh-cλ,ρ2(λ,c)=d4∫ℛJ(y)(e-λy-1)dy-μv-cλ。

引理2 假设(H1)~(H2)成立且R0=(l1l2Sh0Sv0(μh+αh)μv)12>1,则存在λ*,c*>0,使得f1(λ*,c*)=1,∂f1(λ,c)∂λ(λ*,c*)=0,并满足如下结论:

(i) 当c>c*时,方程f1(λ,c)=1有两个不同的正实根λ1和λ2且λ1<λ*<λ2<Λ1,满足f1(λ,c)<1,∀λ∈(λ1,λ2); f1(λ,c)>1,∀λ∈(0,λ1)⋂(λ2,Λ1);

(ii) 当c=c*时,λ1=λ*=λ2<Λ1成立,且对∀λ∈(0,Λ1),有f1(λ,c)≥1;

(iii) 当c<c*时,对∀λ∈(0,Λ1),有f1(λ,c)>1;其中,f1(λ,c)=l1l2Sh0Sv0(∫0T∫R𝒢(y,s)e-λ(y+cs)dyds)2ρ1(λ,c)ρ2(λ,c),Λ1=min{λ',λ″}。

利用Schauder不动点定理结合上下解方法,类似于文献[20-21],可以建立系统(5)单稳行波解的存在性。

引理3 (行波解的存在性) 假设(H1)~(H2)成立,则对任意的c>c*,系统(5)存在行波解,其中,c*的定义见引理2。

定义加权函数:

ω(ξ)=e-λ(ξ-ξ0)

其中ξ∈R,ξ0≫1为充分大的常数且λ∈(λ1,λ2)。

定理1 (行波解的稳定性) 假设τ∈(0,τ0),其中,τ0为正常数,且(H1)~(H2)成立。对任意给定的行波解Φ(x+ct)=(ϕ1(x+ct),ϕ2(x+ct),ϕ3(x+ct),ϕ4(x+ct),ϕ5(x+ct)),波速c满足:

c>max{c1,c2,c3,c4,c5,c*}

其中,

c1=d1∫R𝒥(y)e-λ1ydy+l1Sh0-d1λ1
c2=d2∫R𝒥(y)e-λ1ydy+l1Sh0+N2+2l2Sv0∫R𝒢(y)e-λ1ydy-d2-2μh-αhλ1
c3=d3∫R𝒥(y)e-λ1ydy+αh-d3λ1,c4=d4∫R𝒥(y)e-λ1ydy+l2Sv0-d4λ1
c5=d5∫R𝒥(y)e-λ1ydy+l2Sv0+N1+2l1Sh0∫R𝒢(y)e-λ1ydy-d5-2μvλ1

且N1≔maxϕ2∈[0,Ih*]l2ϕ2,N2:=maxϕ5∈[0,Iv*]l1ϕ5。若初始扰动满足:

ui0(x)-ϕi(x)∈C(R)⋂Hω1(R),i=1,3,4ui0(s,x)-ϕi(x+cs)∈C([-τ,0];C(R)⋂Hω1(R))⋂L2([-τ,0];Hω1(R)),i=2,5

和limx→+∞(ui0(x)-ϕi(x))=Wi0,∞(i=1,3,4),limx→+∞(ui0(x,s)-ϕi(x+cs))=Wi0,∞(s)(i=2,5)∈C[-τ,0]关于s∈[-τ,0]一致存在,则存在正常数δ0,μ和ε,使得当初始扰动充分小,即当

∑i=1,3,4(ui0-ϕi)(0)C2+sups∈[-τ,0](u20-ϕ2)(s)C2+sups∈[-τ,0](u50-ϕ5)(s)C2+∑i=15(ui0-ϕi)(0)Hω1(R)2+
∫-τ0(u20-ϕ2)(s)Hω1(R)2ds+∫-τ0(u50-ϕ5)(s)Hω1(R)2ds≤δ02

时,则系统(5)满足条件(6)的解(u1(x,t),u2(x,t),u3(x,t),u4(x,t),u5(x,t))关于时间全局存在且唯一,并满足ui(t,x)-ϕi(x+ct)∈C([-τi,+∞);C(R)⋂Hω1(R))⋂L2([-τi,+∞);Hω1(R))⋂𝒞unif[-τi,+∞)和

supx∈Rui(x,t)-ϕi(x+ct)≤Ce-μt,t>0,i=1,2,3,4,5

其中,τ1=τ3=τ4=0,τ2=τ5=τ。空间𝒞unif[-τi,T]定义如下:𝒞unif[-τi,T]≕{u(x,t)∈C(R×[-τi,T])使得limx→+∞eεtu(x,t)关于t∈[-τi,T]一致存在},其中0<T≤∞。

令(u1(x,t),u2(x,t),u3(x,t),u4(x,t),u5(x,t))是系统(5)满足初始条件(6)的解,并且(ϕ1(x+ct),ϕ2(x+ct),ϕ3(x+ct),ϕ4(x+ct),ϕ5(x+ct))是系统(5)给定的一个行波解。令ξ=x+ct,且

Wi(ξ,t)=ui(x,t)-ϕi(ξ),i=1,2,3,4,5Wi0(x,0)=ui0(x)-ϕi(x),x∈R,i=1,3,4Wi0(ξ,s)=ui0(x,s)-ϕi(x+cs),(x,s)∈R×[-τ,0],i=2,5

则(W1(ξ,t),W2(ξ,t),W3(ξ,t),W4(ξ,t),W5(ξ,t))满足:

W1t(ξ,t)+cW1ξ(ξ,t)-d1(𝒥*W1(ξ,t)-W1(ξ,t))+l1W1(ξ,t)𝒢*ϕ5(ξ-cτ)+      l1ϕ1(ξ)𝒢*W5(ξ-cτ,t-τ)=-Q1(W1(ξ,t),𝒢*W5(ξ-cτ,t-τ))W2t(ξ,t)+cW2ξ(ξ,t)-d2(𝒥*W2(ξ,t)-W2(ξ,t))-l1W1(ξ,t)𝒢*ϕ5(ξ-cτ)-      l1ϕ1(ξ)𝒢*W5(ξ-cτ,t-τ)+(μh+αh)W2(ξ,t)=Q1(W1(ξ,t),𝒢*W5(ξ-cτ,t-τ))W3t(ξ,t)+cW3ξ(ξ,t)-d3(𝒥*W3(ξ,t)-W3(ξ,t))-αhW2(ξ,t)=0W4t(ξ,t)+cW4ξ(ξ,t)-d4(𝒥*W4(ξ,t)-W4(ξ,t))+l2W4(ξ,t)𝒢*ϕ2(ξ-cτ)+      l2ϕ4(ξ)𝒢*W2(ξ-cτ,t-τ)=-Q2(𝒢*W2(ξ-cτ,t-τ),W4(ξ,t))W5t(ξ,t)+cW5ξ(ξ,t)-d5(𝒥*W5(ξ,t)-W5(ξ,t))-l2W4(ξ,t)𝒢*ϕ2(ξ-cτ)-      l2ϕ4(ξ)𝒢*W2(ξ-cτ,t-τ)+μvW5(ξ,t)=Q2(𝒢*W2(ξ-cτ,t-τ),W4(ξ,t))Wi(ξ,0)=Wi0(ξ),ξ∈R,i=1,3,4Wi(ξ,s)=Wi0(ξ,s),(ξ,s)∈R×[-τ,0],i=2,5

其中,

Q1(W1(ξ,t),𝒢*W5(ξ-cτ,t-τ))=
l1(W1(ξ,t)+ϕ1(ξ))[∫ℝ𝒢(y)W5(ξ-y-cτ,t-τ)dy+∫R𝒢(y)ϕ5(ξ-y-cτ)dy]-l1ϕ1(ξ)∫R𝒢(y)ϕ5(ξ-y-cτ)dy-l1W1(ξ,t)∫R𝒢(y)ϕ5(ξ-y-cτ)dy-l1ϕ1(ξ)∫R𝒢(y)W5(ξ-y-cτ,t-τ)dy,Q2(𝒢*W2(ξ-cτ,t-τ),W4(ξ,t))=
l2(W4(ξ,t)+ϕ4(ξ))[∫ℝ𝒢(y)W2(ξ-y-cτ,t-τ)dy+∫R𝒢(y)ϕ2(ξ-y-cτ)dy]-
l2ϕ4(ξ)∫R𝒢(y)ϕ2(ξ-y-cτ)dy-l2W4(ξ,t)∫R𝒢(y)ϕ2(ξ-y-cτ)dy-
l2ϕ4(ξ)∫R𝒢(y)W2(ξ-y-cτ,t-τ)dy

定义空间𝒳(-τ,T)={(W1,W2,W3,W4,W5)|Wi(t,ξ)∈C([-τi,T];C(R)⋂Hω1(R))⋂L2([-τi,T];Hω1(R))⋂𝒞unif[-τi,T],i=1,2,3,4,5,τ1=τ3=τ4=0,τ2=τ5=τ}。

方便起见,给出以下记号:MW2(T)=∑i=15(supt∈[-τ,T](Wi(t)C2+Wi(t)Hω12)+∫0TWi(s)Hω12ds),MW2(0)=∑i=15supt∈[-τ,0](Wi0(t)C2+Wi0(t)Hω12)+∫-τ0W20(s)Hω12ds+∫-τ0W50(s)Hω12ds,其中T>0。从而定理1等价于下面的结论(定理2)。

定理2 (行波解的稳定性) 假设τ∈(0,τ0),其中τ0为正常数,且(H1)~(H2)成立。若c满足(9)式,初始扰动满足:

Wi0(ξ)∈C(R)⋂Hω1(R),i=1,3,4Wi0(ξ)∈C([-τ,0];C(R)⋂Hω1(R))⋂L2([-τ,0];Hω1(R)),i=2,5

和limx→∞Wi0(ξ)≔Wi0,∞(i=1,3,4),limx→∞Wi0(ξ,s)≔Wi0,∞(s)∈C[-τ,0](i=2,5)关于s∈[-τ,0]一致存在,则存在正常数δ0和ν,使得当MW(0)≤δ0时,解W在𝒳∈(-τ,∞)上全局存在,并满足

∑i=15(Wi(t)C2+Wi(t)Hω12)≤Ce-2νtMW2(0),t∈[0,∞)

2 主要结论的证明

引理4 (扰动解的局部存在唯一性) 假设(H1)~(H2)成立,对于满足c>c*的行波解ϕi(x+ct)=ϕi(ξ)(i=1,2,3,4,5),若初始扰动满足:

(W10(ξ),W20(ξ,s),W30(ξ),W40(ξ),W50(ξ,s))∈𝒳(-τ,0)

且MW(0)≤δ1,则存在充分小的正数t0=t0(δ1)>0,使得初值问题(13)的解Wi(ξ,t)(i=1,2,3,4,5)∈𝒳(-τ,t0)关于t∈[-τi,t0]局部存在且唯一,以及存在常数η0>1,使MW(t0)≤η0MW(0),其中,τ1=τ3=τ4=0,τ2=τ5=τ。

利用标准迭代法[18-19]证明引理4是平凡的,故此省略。为了证明系统(5)单稳行波解的稳定性,还需要建立扰动系统(13)的解(即扰动解)的先验估计。为此,令

𝒜i,ν,ω(ξ)=ℬi,ω(ξ)-2ν,i=1,3,4
𝒜2,ν,ω(ξ)=ℬ2,ω(ξ)-2ν-2(e2ντ-1)(l2e-λcτ∫ℝe-λy𝒢(y)ϕ4(ξ+y+cτ)dy)
𝒜5,ν,ω(ξ)=ℬ5,ω(ξ)-2ν-2(e2ντ-1)(l1e-λcτ∫ℝe-λy𝒢(y)ϕ1(ξ+y+cτ)dy)

其中,ℬ1,ω(ξ)=-cω'(ξ)ω(ξ)-d1∫Re-λy𝒥(y)dy+d1+l1∫ℝ𝒢(y)ϕ5(ξ-y-cτ)dy-l1ϕ1(ξ)

ℬ2,ω(ξ)=-cω'(ξ)ω(ξ)-d2∫Re-λy𝒥(y)dy+d2+2μh+αh-l1∫ℝ𝒢(y)ϕ5(ξ-y-cτ)dy-l1ϕ1(ξ)-
2l2e-λcτ∫ℝe-λy𝒢(y)ϕ4(ξ+y+cτ)dy
ℬ3,ω(ξ)=-cω'(ξ)ω(ξ)-d3∫Re-λy𝒥(y)dy+d3-αh
ℬ4,ω(ξ)=-cω'(ξ)ω(ξ)-d4∫Re-λy𝒥(y)dy+d4+l2∫ℝ𝒢(y)ϕ2(ξ-y-cτ)dy-l2ϕ4(ξ)
ℬ5,ω(ξ)=-cω'(ξ)ω(ξ)-d5∫Re-λy𝒥(y)dy+d5+2μv-l2∫ℝ𝒢(y)ϕ2(ξ-y-cτ)dy-l2ϕ4(ξ)-
2l1e-λcτ∫ℝe-λy𝒢(y)ϕ1(ξ+y+cτ)dy

引理5 (关键不等式) 假设(9)式成立,则当ξ∈R和0<ν<ν¯≔minνi'(i=1,2,3,4,5)时,有𝒜i,ν,ω(ξ)>0,i=1,2,3,4,5,其中,ω(ξ)是(8)式中定义的加权函数。ν1',ν3',ν4'>0分别是Ci-2ν=0,i=1,3,4的唯一解;ν2',ν5'分别是C2-2ν-2(e2ντ-1)(l2Sv0∫Re-λy𝒢(y)dy)=0,C5-2ν-2(e2ντ-1)(l1Sh0∫Re-λy𝒢(y)dy)=0的唯一解。

证明 由(8)式可知ω(ξ+cτ)ω(ξ)=e-λcτ≤1,ω'(ξ)ω(ξ)=-λ。利用(9)式,有:

ℬ1,ω(ξ)=cλ-d1∫Re-λy𝒥(y)dy+d1+l1∫ℝ𝒢(y)ϕ5(ξ-y-cτ)dy-l1ϕ1(ξ)>
cλ-d1∫Re-λy𝒥(y)dy+d1-l1Sh0>cλ1-d1∫Re-λ1y𝒥(y)dy+d1-l1Sh0≔C1>0(c>c1)
ℬ2,ω(ξ)=cλ-d2∫Re-λy𝒥(y)dy+d2+2μh+αh-l1∫ℝ𝒢(y)ϕ5(ξ-y-cτ)dy-l1ϕ1(ξ)-
2l2e-λcτ∫ℝe-λy𝒢(y)ϕ4(ξ+y+cτ)dy>
cλ-d2∫Re-λy𝒥(y)dy+d2+2μh+αh-N2-l1Sh0-2l2Sv0∫ℝe-λy𝒢(y)dy>
cλ1-d2∫Re-λ1y𝒥(y)dy+d2+2μh+αh-N2-l1Sh0-2l2Sv0∫ℝe-λ1y𝒢(y)dy≔C2>0(c>c2)
ℬ3,ω(ξ)=cλ-d3∫Re-λy𝒥(y)dy+d3-αh>cλ-d3∫Re-λy𝒥(y)dy+d3-αh>
cλ1-d3∫Re-λ1y𝒥(y)dy+d3-αh≔C3>0(c>c3)
ℬ4,ω(ξ)=cλ-d4∫Re-λy𝒥(y)dy+d4+l2∫ℝ𝒢(y)ϕ2(ξ-y-cτ)dy-l2ϕ4(ξ)>
cλ-d4∫Re-λy𝒥(y)dy+d4-l2Sv0>cλ1-d4∫Re-λ1y𝒥(y)dy+d4-l2Sv0≔C4>0(c>c4)
ℬ5,ω(ξ)=cλ-d5∫Re-λy𝒥(y)dy+d5+2μv-l2∫ℝ𝒢(y)ϕ2(ξ-y-cτ)dy-l2ϕ4(ξ)-
2l1e-λcτ∫ℝe-λy𝒢(y)ϕ1(ξ+y+cτ)dy>
cλ-d5∫Re-λy𝒥(y)dy+d5+2μv-N1-l2Sv0-2l1Sh0∫ℝe-λy𝒢(y)dy>
cλ1-d5∫Re-λ1y𝒥(y)dy+d5+2μv-N1-l2Sv0-2l1Sh0∫ℝe-λ1y𝒢(y)dy≔C5>0(c>c5)

进而,

𝒜1,ν,ω(ξ)=ℬ1,ω(ξ)-2ν>C1-2ν>0,
𝒜2,ν,ω(ξ)=ℬ2,ω(ξ)-2ν-2(e2ντ-1)(l2e-λcτ∫ℝe-λy𝒢(y)ϕ4(ξ+y+cτ)dy)>
C2-2ν-2(e2ντ-1)(l2Sv0∫ℝe-λy𝒢(y)dy)>0,
𝒜3,ν,ω(ξ)=ℬ3,ω(ξ)-2ν>C3-2ν>0,𝒜4,ν,ω(ξ)=ℬ4,ω(ξ)-2ν>C4-2ν>0
𝒜5,ν,ω(ξ)=ℬ5,ω(ξ)-2ν-2(e2ντ-1)(l1e-λcτ∫ℝe-λy𝒢(y)ϕ1(ξ+y+cτ))dy>
C5-2ν-2(e2ντ-1)(l1Sh0∫ℝe-λy𝒢(y)dy)>0。

证毕。

引理6 (先验估计) 设(W1(ξ,t),W2(ξ,t),W3(ξ,t),W4(ξ,t),W5(ξ,t))∈𝒳(-τ,T)是系统(13)的局部解,则存在不依赖于T>0的常数δ2>0,ν>0和C>1, 得当MW(T)≤δ2时,

∑i=15[Wi(t)C2+Wi(t)Hω12+∫0te-2ν(t-s)Wi(s)Hω12ds]≤Ce-2νtMW2(0),t∈[0,T]

为了证明引理6,还需如下结论成立(引理7~9)。

引理7 令Wi(ξ,t)∈𝒳(-τ,T),若0<ν<ν¯并且MW(T)≪1,则存在正常数δ2和ν,有:

∑i=15[Wi(t)Hω12+∫0te-2ν(t-s)Wi(s)Hω12ds]≤Ce-2νt[∑i=15Wi0(0)Hω12+∫-τ0W20(s)Hω12+W50(s)Hω12ds]

其中t∈[0,T]。

证明 首先,在Lω2(R)中估计Wi(ξ,t)。为此,(13)式的第一个方程两边同乘e2νtω(ξ)W1(ξ,t),可得:

{12e2νtω(ξ)W12(ξ,t)}t+{12cω(ξ)W12(ξ,t)}ξe2νt-d1(∫R𝒥(y)W1(ξ-y,t)dy-
W1(ξ,t))e2νtω(ξ)W1(ξ,t)+[l1∫R𝒢(y)ϕ5(ξ-y-cτ)dy-c2⋅ω'(ξ)ω(ξ)-ν]e2νtω(ξ)⋅
W12(ξ,t)+l1ϕ1(ξ)∫ℝ𝒢(y)W5(ξ-y-cτ,t-τ)dye2νtω(ξ)W1(ξ,t)=
-Q1(W1(ξ,t),𝒢*W5(ξ-cτ,t-τ))e2νtω(ξ)W1(ξ,t)

此外,由ωWi∈H1(R)可知,ωWiξ=-∞ξ=+∞=0,故有(cωWi2)ξ=-∞ξ=+∞=0,i=1,2,3,4,5。在R×[0,t]上对(17)式等号两边关于(ξ,t)积分,可知:

e2νtW1(t)Lω22-2d1∫0t∫R∫R𝒥(y)W1(ξ-y,s)e2νsω(ξ)W1(ξ,s)dydξds+
2∫0t∫R[d1+l1∫R𝒢(y)ϕ5(ξ-y-cτ)dy-c2⋅ω'(ξ)ω(ξ)-ν]e2νsω(ξ)W12(ξ,s)dξds+
2l1∫0t∫R∫Rϕ1(ξ)𝒢(y)W5(ξ-y-cτ,s-τ)e2νsω(ξ)W1(ξ,s)dydξds≤
2∫0t∫R-Q1(W1(ξ,s),𝒢*W5(ξ-cτ,s-τ))e2νsω(ξ)W1(ξ,s)dξds+W10(0)Lω22

接下来,对(18)式左边第2项和第4项分别运用Cauchy-Schwarz不等式和变量替换,可得:

2d1∫0t∫R∫R𝒥(y)W1(ξ-y,s)e2νsω(ξ)W1(ξ,s)dydξds≤
d1∫0t∫Re2νsω(ξ)W12(ξ,s)dξds+d1∫0t∫Re2νsω(ξ)W12(ξ,s)∫R𝒥(y)e-λydydξds
|2l1∫0t∫R∫Rϕ1(ξ)𝒢(y)W5(ξ-y-cτ,s-τ)e2νsω(ξ)W1(ξ,s)dydξds|≤
l1∫0t∫Rϕ1(ξ)e2νsω(ξ)W12(ξ,s)dξds+l1∫0t∫R∫Rϕ1(ξ)e2νsω(ξ)𝒢(y)W52(ξ-y-cτ,s-τ)dydξds≤
l1∫0t∫Rϕ1(ξ)e2νsω(ξ)W12(ξ,s)dξds+
l1e2ντ∫-τ0∫R∫Re-λ(cτ+y)𝒢(y)ϕ1(ξ+y+cτ)e2νsω(ξ)W502(ξ,s)dydξds+
l1e2ντ∫0t∫R∫Re-λ(cτ+y)𝒢(y)ϕ1(ξ+y+cτ)e2νsω(ξ)W52(ξ,s)dydξds

结合(18)~(20)式,可知:

e2νtW1(t)Lω22+∫0t∫R[d1+2l1∫R𝒢(y)ϕ5(ξ-y-cτ)dy-l1ϕ1(ξ)-cω'(ξ)ω(ξ)-2ν-
d1∫Re-λy𝒥(y)dy]e2νsω(ξ)W12(ξ,s)dξds≤
W10(0)Lω22+2∫0t∫R|Q1(W1(ξ,s),𝒢*W5(ξ-cτ,s-τ))|e2νsω(ξ)|W1(ξ,s)|dξds+
l1e2ντ∫-τ0∫R∫Re-λ(cτ+y)𝒢(y)ϕ1(ξ+y+cτ)e2νsω(ξ)W502(ξ,s)dydξds+
l1e2ντ∫0t∫R∫Re-λ(cτ+y)𝒢(y)ϕ1(ξ+y+cτ)e2νsω(ξ)W52(ξ,s)dydξds

对(13)式的第2个方程两边同乘e2νtω(ξ)W2(ξ,t),可得:

{12e2νtω(ξ)W22(ξ,t)}t+{12cω(ξ)W22(ξ,t)}ξe2νt-d2(∫R𝒥(y)W2(ξ-y,t)dy-
W2(ξ,t))e2νtω(ξ)W2(ξ,t)+[μh+αh-c2⋅ω'(ξ)ω(ξ)-ν]e2νtω(ξ)W22(ξ,t)-l1W1(ξ,t)W2(ξ,t)⋅
∫ℝ𝒢(y)ϕ5(ξ-y-cτ)dye2νtω(ξ)-l1ϕ1(ξ)∫ℝ𝒢(y)W5(ξ-y-cτ,t-τ)dye2νtω(ξ)W2(ξ,t)=
Q1(W1(ξ,t),𝒢*W5(ξ-cτ,t-τ))e2νtω(ξ)W2(ξ,t)

在R×[0,t]上对(22)式等号两边关于(ξ,t)积分,可知:

e2νtW2(t)Lω22-2d2∫0t∫R∫R𝒥(y)W2(ξ-y,s)e2νsω(ξ)W2(ξ,s)dydξds+
2∫0t∫R[d2+μh+αh-c2⋅ω'(ξ)ω(ξ)-ν]e2νsω(ξ)W22(ξ,s)dξds-2l1∫0t∫R∫R𝒢(y)ϕ5(ξ-y-cτ)⋅
e2νsω(ξ)W1(ξ,s)W2(ξ,s)dydξds-
2l1∫0t∫R∫Rϕ1(ξ)𝒢(y)W5(ξ-y-cτ,s-τ)e2νsω(ξ)W2(ξ,s)dydξds≤
2∫0t∫RQ1(W1(ξ,s),𝒢*W5(ξ-cτ,s-τ))e2νsω(ξ)W2(ξ,s)dξds+W20(0)Lω22

运用Cauchy-Schwarz不等式,可得:

|2l1∫0t∫R∫R𝒢(y)ϕ5(ξ-y-cτ)W1(ξ,s)W2(ξ,s)e2νsω(ξ)dydξds|≤
l1∫0t∫R∫R𝒢(y)ϕ5(ξ-y-cτ)e2νsω(ξ)W12(ξ,s)dydξds+
l1∫0t∫R∫R𝒢(y)ϕ5(ξ-y-cτ)e2νsω(ξ)W22(ξ,s)dydξds
|2l1∫0t∫R∫Rϕ1(ξ)𝒢(y)W5(ξ-y-cτ,s-τ)e2νsω(ξ)W2(ξ,s)dydξds|≤
l1∫0t∫Rϕ1(ξ)e2νsω(ξ)W22(ξ,s)dξds+
l1e2ντ∫-τ0∫R∫Re-λ(cτ+y)𝒢(y)ϕ1(ξ+y+cτ)e2νsω(ξ)W502(ξ,s)dydξds+
l1e2ντ∫0t∫R∫Re-λ(cτ+y)𝒢(y)ϕ1(ξ+y+cs)e2νsω(ξ)W52(ξ,s)dydξds

结合(23)~(25)式,可知:

e2νtW2(t)Lω22+∫0t∫R[d2+2μh+2αh-l1∫R𝒢(y)ϕ5(ξ-y-cτ)dy-l1ϕ1(ξ)-
cω'(ξ)ω(ξ)-2ν-d2∫Re-λy𝒥(y)dy]e2νsω(ξ)W22(ξ,s)dξds≤
W20(0)Lω22+2∫0t∫R|Q1(W1(ξ,s),𝒢*W5(ξ-cτ,s-τ))|e2νsω(ξ)|W2(ξ,s)|dξds+
l1e2ντ∫-τ0∫R∫Re-λ(cτ+y)𝒢(y)ϕ1(ξ+y+cτ)e2νsω(ξ)W502(ξ,s)dydξds+
l1e2ντ∫0t∫R∫Re-λ(cτ+y)𝒢(y)ϕ1(ξ+y+cτ)e2νsω(ξ)W52(ξ,s)dydξds+
l1∫0t∫R∫R𝒢(y)ϕ5(ξ-y-cτ)dye2νsω(ξ)W12(ξ,s)dξds

对(13)式的第3个方程两边同乘e2νtω(ξ)W3(ξ,t),可得:

{12e2νtω(ξ)W32(ξ,t)}t+{12cω(ξ)W32(ξ,t)}ξe2νt-d3(∫R𝒥(y)W3(ξ-y,t)dy-
W3(ξ,t))e2νtω(ξ)W3(ξ,t)-αhe2νtω(ξ)W2(ξ,t)W3(ξ,t)-[c2⋅ω'(ξ)ω(ξ)+ν]e2νtω(ξ)W32(ξ,t)=0

在R×[0,t]上对(27)式中的等式两边关于(ξ,t)积分,可知:

e2νtW3(t)Lω22-2d3∫0t∫R∫R𝒥(y)W3(ξ-y,s)e2νsω(ξ)W3(ξ,s)dydξds-
2αh∫0t∫ℝe2νsω(ξ)W2(ξ,s)W3(ξ,s)dξds+2∫0t∫R[d3-c2⋅ω'(ξ)ω(ξ)-ν]e2νsω(ξ)W32(ξ,s)dξds≤W30(0)Lω22

利用Cauchy-Schwarz不等式,可得:

|2αh∫0t∫Re2νsω(ξ)W2(ξ,s)W3(ξ,s)dξds|≤
αh∫0t∫Re2νsω(ξ)W22(ξ,s)dξds+αh∫0t∫Re2νsω(ξ)W32(ξ,s)dξds

结合(28)~(29)式,可知:

e2νtW3(t)Lω22+∫0t∫R[d3-αh-cω'(ξ)ω(ξ)-2ν-d3∫R𝒥(y)e-λydy]e2νsω(ξ)W32(ξ,s)dξds≤
W30(0)Lω22+αh∫0t∫Re2νsω(ξ)W22(ξ,s)dξds

对(13)式的第4个方程作类似(21)式的估计,可得:

e2νtW4(t)Lω22-2d4∫0t∫R∫R𝒥(y)W4(ξ-y,s)e2νsω(ξ)W4(ξ,s)dydξds+
2∫0t∫R[d4+l2∫R𝒢(y)ϕ2(ξ-y-cτ)dy-c2⋅ω'(ξ)ω(ξ)-ν]e2νsω(ξ)W42(ξ,s)dξds+
2l2∫0t∫R∫Rϕ4(ξ)𝒢(y)W2(ξ-y-cτ,s-τ)e2νsω(ξ)W40(ξ,s)dydξds≤2∫0t∫R-Q2(𝒢*W2(ξ-cτ,s-τ),W4(ξ,s))e2νsω(ξ)W4(ξ,s)dξds+W40(0)Lω22

运用Cauchy-Schwarz不等式,可得:

e2νtW4(t)Lω22+∫0t∫R[d4+2l2∫R𝒢(y)ϕ2(ξ-y-cτ)dy-l2ϕ4(ξ)-cω'(ξ)ω(ξ)-2ν-
d4∫Re-λy𝒥(y)dy]e2νsω(ξ)W42(ξ,s)dξds≤
W40(0)Lω22+2∫0t∫R|Q2(𝒢*W2(ξ-cτ,s-τ),W4(ξ,s))|e2νsω(ξ)|W4(ξ,s)|dξds+
l2e2ντ∫-τ0∫R∫Re-λ(cτ+y)𝒢(y)ϕ4(ξ+y+cτ)e2νsω(ξ)W202(ξ,s)dydξds+
l2e2ντ∫0t∫R∫Re-λ(cτ+y)𝒢(y)ϕ4(ξ+y+cτ)e2νsω(ξ)W22(ξ,s)dydξds

对(13)式的第5个方程作类似(26)式的估计,可得:

e2νtW5(t)Lω22+∫0t∫R[d5+2μv-l2∫R𝒢(y)ϕ2(ξ-y-cτ)dy-l2ϕ4(ξ)-
cω'(ξ)ω(ξ)-2ν-d5∫Re-λy𝒥(y)dy]e2νsω(ξ)W52(ξ,s)dξds≤
W50(0)Lω22+2∫0t∫R|Q2(𝒢*W2(ξ-cτ,s-τ),W4(ξ,s))|e2νsω(ξ)|W5(ξ,s)|dξds+
l2e2ντ∫-τ0∫R∫Re-λ(cτ+y)𝒢(y)ϕ4(ξ+y+cτ)e2νsω(ξ)W202(ξ,s)dydξds+
l2e2ντ∫0t∫R∫Re-λ(cτ+y)𝒢(y)ϕ4(ξ+y+cτ)e2νsω(ξ)W22(ξ,s)dydξds+
l2∫0t∫R∫R𝒢(y)ϕ2(ξ-y-cτ)dye2νsω(ξ)W42(ξ,s)dξds

其中,ω(ξ+y)ω(ξ)=e-λy,ω(ξ+cτ)ω(ξ)=e-λcτ。故扰动解Wi(ξ,t)(i=1,2,3,4,5)满足:

∑i=15e2νtWi(t)Lω22+∫0t∫R𝒜1,ν,ω(ξ)e2νsω(ξ)W12(ξ,s)dξds+
∫0t∫R𝒜2,ν,ω(ξ)e2νsω(ξ)W22(ξ,s)dξds+∫0t∫R𝒜3,ν,ω(ξ)e2νsω(ξ)W32(ξ,s)dξds+
∫0t∫R𝒜4,ν,ω(ξ)e2νsω(ξ)W42(ξ,s)dξds+∫0t∫R𝒜5,ν,ω(ξ)e2νsω(ξ)W52(ξ,s)dξds≤
∑i=15Wi0(0)Lω22+2∫0t∫R|Q1(W1(ξ,s),𝒢*W5(ξ-cτ,s-τ))|e2νsω(ξ)(|W1(ξ,s)|+
|W2(ξ,s)|)dξds+2l1e2ντ∫-τ0∫R∫Re-λ(cτ+y)𝒢(y)ϕ1(ξ+y+cτ)e2νsω(ξ)W502(ξ,s)dydξds+
2∫0t∫R|Q2(𝒢*W2(ξ-cτ,s-τ),W4(ξ,s))|e2νsω(ξ)(|W4(ξ,s)|+|W5(ξ,s)|)dξds+
2l2e2ντ∫-τ0∫R∫Re-λ(cτ+y)𝒢(y)ϕ4(ξ+y+cτ)e2νsω(ξ)W202(ξ,s)dydξds

下面估计(34)式中的Qi(⋅,⋅)(i=1,2)。由Cauchy-Schwarz不等式和Taylor公式,不难得到:

|Q1(W1(ξ,t),𝒢*W5(ξ-cτ,t-τ)|≤C[W12(ξ,t)+∫ℝ𝒢(y)W52(ξ-y-cτ,t-τ)dy]
|Q2(𝒢*W2(ξ-cτ,t-τ),W1(ξ,t)|≤C[W42(ξ,t)+∫ℝ𝒢(y)W22(ξ-y-cτ,t-τ)dy]

又由MW2(⋅)的定义和(35)式可知:

2∫0t∫R|Q1(W1(ξ,s),𝒢*W5(ξ-cτ,s-τ))|e2νsω(ξ)(|W1(ξ,s)|+|W2(ξ,s)|)dξds≤
CMW(T)[∫0t∫Re2νsω(ξ)W12(ξ,s)dξds+∫0t∫R∫R𝒢(y)e2νsω(ξ)W52(ξ-y-cτ,s-τ)dydξds]≤
CMW(T)e2ντ[∫0t∫Re2νsω(ξ)W12(ξ,s)dξds+∫-τ0∫Re2νsω(ξ)W502(ξ,s)dξds+∫0t∫Re2νsω(ξ)W52(ξ,s)dξds]

类似可得:

2∫0t∫R|Q2(𝒢*W2(ξ-cτ,s-τ),W4(ξ,s))|e2νsω(ξ)(|W4(ξ,s)|+|W5(ξ,s)|)dξds≤
CMW(T)e2ντ[∫0t∫Re2νsω(ξ)W42(ξ,s)dξds+∫-τ0∫Re2νsω(ξ)W202(ξ,s)dξds+∫0t∫Re2νsω(ξ)W22(ξ,s)dξds]

将(37)~(38)式代入(34)式,可得:

∑i=15e2νtWi(t)Lω22+∫0t∫R[𝒜1,ν,ω(ξ)-CMW(T)e2ντ]e2νsω(ξ)W12(ξ,s)dξds+
∫0t∫R[𝒜2,ν,ω(ξ)-CMW(T)e2ντ]e2νsω(ξ)W22(ξ,s)dξds+∫0t∫R𝒜3,ν,ω(ξ)e2νsω(ξ)W32(ξ,s)dξds+
∫0t∫R[𝒜4,ν,ω(ξ)-CMW(T)e2ντ]e2νsω(ξ)W42(ξ,s)dξds+
∫0t∫R[𝒜5,ν,ω(ξ)-CMW(T)e2ντ]e2νsω(ξ)W52(ξ,s)dξds≤
∑i=15Wi0(0)Lω22+e2ντ∫-τ0∫R[2l1∫Re-λ(cτ+y)𝒢(y)ϕ1(ξ+y+cτ)dy+CMW(T)]⋅
e2νsω(ξ)W502(ξ,s)dξds+e2ντ∫-τ0∫R[2l2∫Re-λ(cτ+y)𝒢(y)ϕ4(ξ+y+cτ)dy+
CMW(T)]e2νsω(ξ)W202(ξ,s)dξds

由于MW(T)≪1,并且当ξ∈R时有𝒜i,ν,ω(ξ)>0(i=1,2,3,4,5),故存在正常数δ3,δ4,δ5,和δ6,使得:

𝒜1,ν,ω(ξ)-Cδ3e2ντ>0, 𝒜2,ν,ω(ξ)-Cδ4e2ντ>0,𝒜4,ν,ω(ξ)-Cδ5e2ντ>0, 𝒜5,ν,ω(ξ)-Cδ6e2ντ>0

令δ2≔min{δ3,δ4,δ5,δ6},则MW(T)≤δ2时,有𝒜i,ν,ω(ξ)-CMW(T)e2ντ>𝒜i,ν,ω(ξ)-Cδ2e2ντ>0(i=1,2,4,5)。于是,可得Wi(i=1,2,3,4,5)的能量估计:

∑i=15[Wi(t)Lω22+∫0te-2ν(t-s)Wi(s)Lω22ds]≤
Ce-2νt[∑i=15Wi0(0)Lω22+∫-τ0W20(s)Lω22ds+∫-τ0W50(s)Lω22ds]

类似(40)式的讨论过程,可得Wiξ(i=1,2,3,4,5)的能量估计:

∑i=15[Wiξ(t)Lω22+∫0te-2ν(t-s)Wiξ(s)Lω22ds]≤
Ce-2νt[∑i=15Wi0(0)Hω12+∫-τ0W20(s)Hω12ds+∫-τ0W50(s)Hω12ds]

因此,结合(40)~(41)式有(16)式成立。证毕。

类似文献[19],还可建立下面的引理8。

引理8 令Wi∈Hω1(R),则ωWi∈Hω1(R)且||ωWi||C≤CWiHω1,及supξ∈(-∞,ξ0]|Wi(ξ,t)|≤Ce-νtMW(0),

t>0,i=1,2,3,4,5。

最后,还需建立Wi(ξ,t)(i=1,2,3,4,5)在ξ=+∞时的衰减估计。由于Wi(ξ,t)∈𝒞unif[-τi,T],故limξ→+∞Wi(ξ,t)关于t∈[0,T]一致存在,且limξ→+∞[𝒥*Wi(ξ,t)-Wi(ξ,t)]=0,t∈[0,T]。令W˜i(x,t)=ui(x,t)-ϕi(x+ct)=Wi(ξ,t),i=1,2,3,4,5,则W˜i(x,t)满足:

W˜1t(x,t)-d1(𝒥*W˜1(x,t)-W˜1(x,t))+l1W˜1(x,t)𝒢*ϕ5(ξ-cτ)+        l1ϕ1(ξ)𝒢*W˜5(x-cτ,t-τ)=-Q1(W˜1(x,t),𝒢*W˜5(x-cτ,t-τ))W˜2t(x,t)-d2(𝒥*W˜2(x,t)-W˜2(x,t))-l1W˜1(x,t)𝒢*ϕ5(ξ-cτ)-        l1ϕ1(ξ)𝒢*W˜5(x-cτ,t-τ)+(μh+αh)W˜2(x,t)=Q1(W˜1(x,t),𝒢*W˜5(x-cτ,t-τ))W˜3t(x,t)-d3(𝒥*W˜3(x,t)-W˜3(x,t))-αhW˜3(x,t)=0W˜4t(x,t)-d4(𝒥*W˜4(x,t)-W˜4(x,t))+l2W˜4(x,t)𝒢*ϕ2(ξ-cτ)+        l2ϕ4(ξ)𝒢*W˜2(x-cτ,t-τ)=-Q2(𝒢*W˜2(x-cτ,t-τ),W˜4(x,t))W˜5t(x,t)-d5(𝒥*W˜5(x,t)-W˜5(x,t))-l2W˜4(x,t)𝒢*ϕ2(ξ-cτ)-        l2ϕ4(ξ)𝒢*W˜2(x-cτ,t-τ)+μvW˜5(x,t)=Q2(𝒢*W˜2(x-cτ,t-τ),W˜4(x,t))W˜i(x,0)=W˜i0(x),x∈R,i=1,3,4W˜i(x,s)=W˜i0(x,s),(x,s)∈R×[-τ,0],i=2,5

和limξ→+∞Wi(ξ,t)=limx→+∞W˜i(x,t)=W˜i(∞,t)(i=1,2,3,4,5)关于t∈[0,T]一致存在。在(42)式中,令x→+∞,可得:

W˜1t(∞,t)+l1W˜1(∞,t)ϕ5(∞)+l1ϕ1(∞)W˜5(∞,t-τ)=-Q1(W˜1(∞,t),𝒢*W˜5(∞,t-τ))W˜2t(∞,t)-l1W˜1(∞,t)ϕ5(∞)-l1ϕ1(∞)W˜5(∞,t-τ)+(μh+αh)W˜2(∞,t)=Q1(W˜1(∞,t),W˜5(∞,t-τ))W˜3t(∞,t)-αhW˜3(∞,t)=0W˜4t(∞,t)+l2W˜4(∞,t)ϕ2(∞)+l2ϕ4(∞)W˜2(∞,t-τ)=-Q2(𝒢*W˜2(∞,t-τ),W˜4(∞,t))W˜5t(∞,t)-l2W˜4(∞,t)ϕ2(∞)-l2ϕ4(∞)W˜2(∞,t-τ)+μvW˜5(∞,t)=Q2(W˜2(∞,t-τ),W˜4(∞,t))W˜i(∞,0)=W˜i0(∞),i=1,3,4W˜i(∞,s)=W˜i0(∞,s),s∈[-τ,0],i=2,5

接下来,为了估计非线性时滞系统(43),考虑其相应的线性系统W˜'(t)=AW˜(t)+BW˜(t-τ),其中,W˜(⋅)=(W˜1(⋅),W˜2(⋅),W˜3(⋅),W˜4(⋅),W˜5(⋅))T,

A=-l1ϕ5(∞)0000l1ϕ5(∞)-(μh+αh)00000αh00000-l2ϕ2(∞)0000l2ϕ2(∞)-μv,B=0000-l1ϕ1(∞)0000l1ϕ1(∞)000000-l2ϕ4(∞)0000l2ϕ4(∞)000

考虑满足初值Ψ(s)=(W˜10(∞,0),W˜20(∞,s),W˜30(∞,0),W˜40(∞,0),W˜50(∞,s))T,s∈[-τ,0]的常微分方程W˜'(t)=PW˜(t),其中P=A+B。利用Hurwitz判据可知,矩阵P的所有特征值均有负实部。类似文献[19]的引理3.9可知,存在正常数ε,使得|W˜i(∞,t)|=|Wi(∞,t)|≤CMW(0)e-εt,t∈[0,T],故可得引理9。

引理9 假设τ∈(0,τ0),则存在常数ε>0和不依赖于t且充分大的常数ξ0≫1使得

supξ∈(ξ0,∞]|Wi(ξ,t)|≤CMW(0)e-εt,t∈[0,T],i=1,2,3,4,5

从而,可选择满足0<ν<min{ε,ν¯}的ν,结合引理8和引理9,可得引理6。

定理2的证明 由引理6可知,存在δ2,ν和C为不依赖于T的正常数。令δ1=max{Cm0MW(0),δ2},δ0=min{δ2m0,δ2Cm0}。由引理4可知,存在t0=t0(δ1)>0使得W(ξ,t)∈𝒳(-τ,t0)。根据δ0和δ1的定义,可得MW(t0)≤δ2。在区间[0,t0]上应用引理6,可建立当t∈[0,t0]时Wi(ξ,t)(i=1,2,3,4,5)的指数衰减估计(15)式。接下来,考虑具有初始数据

Wi(ξ,s1)=Wi0(ξ,s1), ξ∈R, s1∈[0,t0], i=1,3,4Wi(ξ,s)=Wi0(ξ,s),  ξ∈R,s∈[t0-τ,t0],i=2,5

的系统(13)。再次借助引理4,可证明当t∈[t0,2t0]时满足初始条件(44)的Cauchy问题解的存在性,即W(ξ,t)∈𝒳(-τ,2t0)。从而,解的时间区间延拓到了[-τ,2t0],则由引理6,可以建立当t∈[0,2t0]时Wi(ξ,t)(i=1,2,3,4,5)的指数衰减估计(15)式。重复上述过程,可得W(ξ,t)∈𝒳(-τ,∞),且当t∈[0,∞]时,Wi(ξ,t)满足指数衰减估计(15)式。证毕。

3 结 语

本文主要研究了一类具有空间非局部效应的时滞登革热模型单稳行波解的稳定性。基于目前对登革热模型的研究大多是单稳行波解的存在性结果,我们的工作不仅将Laplace扩散登革热模型的研究推广到了非局部扩散情形,还补充完善了对登革热传染病模型单稳行波解的稳定性分析。从传染病学的角度,行波解的稳定性决定了疾病的传播形式与发展态势是否发生大的改变:一旦传染波不稳定,传播形式和性态发生改变,传染病的发展态势难以预测。因此,本文得到的行波解是指数稳定的这一结果,表明经历长时间后,登革热的传播终将趋于稳定,这为理解此类传染病的传播机制与防控策略提供了理论依据。

参考文献

[1]

ESTEVA L, VARGAS C. Analysis of a dengue disease transmission model[J]. Mathematical Biosciences, 1998, 150(2): 131-151. DOI: 10.1016/s0025-5564(98)10003-2 .

[2]

PONGSUMPUN P, TANG I M. Transmission of dengue hemorrhagic fever in an age structured population[J]. Mathematical and Computer Modelling, 2003, 37(9/10): 949-961. DOI: 10.1016/S0895-7177(03)00111-0 .

[3]

CAI L M, GUO S M, LI X Z, et al. Global dynamics of a dengue epidemic mathematical model[J]. Chaos, Solitons & Fractals, 2009, 42(4): 2297-2304. DOI: 10.1016/j.chaos.2009.03.130 .

[4]

LIU Q, JIANG D Q, HAYAT T, et al. Stationary distribution and extinction of a stochastic dengue epidemic model[J]. Journal of the Franklin Institute, 2018, 355(17): 8891-8914. DOI: 10.1016/j.jfranklin.2018.10.003 .

[5]

王凯, 赵洪涌. 一类具有时滞的反应扩散登革热传染病模型的行波解[J]. 数学物理学报, 2022, 42(4): 1209-1226. DOI: 10.3969/j.issn.1003-3998.2022.04.017 .

[6]

WANG K, ZHAO H Y. Traveling wave of a reaction-diffusion dengue epidemic model with time delays[J]. Acta Mathematica Scientia, 2022, 42(4): 1209-1226. DOI: 10.3969/j.issn.1003-3998.2022.04.017(Ch ).

[7]

YU Z X, YUAN R, HSU C H, et al. Traveling waves for nonlinear cellular neural networks with distributed delays[J]. Journal of Differential Equations, 2011, 251(3): 630-650. DOI: 10.1016/j.jde.2011.05.008 .

[8]

MA Z H, YUAN R. Traveling wave solutions of a nonlocal dispersal SIRS model with spatio-temporal delay[J]. International Journal of Biomathematics, 2017, 10(5): 1750071. DOI: 10.1142/s1793524517500711 .

[9]

MEI M, WANG Y. Remark on stability of traveling waves for nonlocal Fisher-KPP equations[J]. International Journal of Numerical Analysis and Modeling: Series B, 2011, 2(4): 379-401.

[10]

LIN C K, LIN C T, LIN Y P, et al. Exponential stability of nonmonotone traveling waves for Nicholson’s blowflies equation[J]. SIAM Journal on Mathematical Analysis, 2014, 46(2): 1053-1084. DOI: 10.1137/120904391 .

[11]

CHERN I L, MEI M, YANG X F, et al. Stability of non-monotone critical traveling waves for reaction-diffusion equations with time-delay[J]. Journal of Differential Equations, 2015, 259(4): 1503-1541. DOI: 10.1016/j.jde.2015.03.003 .

[12]

MEI M, ZHANG K, ZHANG Q. Global stability of traveling waves with oscillations for Nicholson's blowflies equation[DB/OL]. [2025-01-02].

[13]

MEI M, ZHANG K J, ZHANG Q F. Global stability of critical traveling waves with oscillations for time-delayed reaction-diffusion equations[J]. International Journal of Numerical Analysis and Modeling, 2019, 16(3): 375-397.

[14]

LIU K P, YANG Y R, YANG Y. Stability of monostable waves for a nonlocal equation with delay and without quasi-monotonicity[J]. Acta Mathematica Scientia, 2019, 39(6): 1589-1604. DOI: 10.1007/s10473-019-0610-y .

[15]

李孝武, 杨赟瑞, 刘凯凯. 一类时滞非局部扩散SVIR模型单稳行波解的稳定性[J]. 浙江大学学报(理学版), 2023, 50(3): 273-286. DOI: 10.3785/j.issn.1008-9497.2023.03.003 .

[16]

LI X W, YANG Y R, LIU K K. Stability of monostable traveling waves for a class of SVIR models with nonlocal diffusion and delay[J]. Journal of Zhejiang University (Science Edition), 2023, 50(3): 273-286. DOI: 10.3785/j.issn.1008-9497.2023.03.003(Ch ).

[17]

ZHANG G B. Global stability of non-monotone traveling wave solutions for a nonlocal dispersal equation with time delay[J]. Journal of Mathematical Analysis and Applications, 2019, 475(1): 605-627. DOI: 10.1016/j.jmaa.2019.02.058 .

[18]

LIU K K, YANG Y R. Global stability of traveling waves for a SIR model with nonlocal dispersal and delay[J]. Journal of Mathematical Physics, 2022, 63(2): 021504. DOI: 10.1063/5.0064462 .

[19]

MA Z H, YUAN R, WANG Y, et al. Multidimensional stability of planar traveling waves for the delayed nonlocal dispersal competitive Lotka-Volterra system[J]. Communications on Pure & Applied Analysis, 2019, 18(4): 2069-2092. DOI: 10.3934/cpaa.2019093 .

[20]

YANG Y R, LI W T, WU S L. Stability of traveling waves in a monostable delayed system without quasi-monotonicity[J]. Nonlinear Analysis: Real World Applications, 2013, 14(3): 1511-1526. DOI: 10.1016/j.nonrwa.2012.10.015 .

[21]

LI Y, LI W T, ZHANG G B. Stability and uniqueness of traveling waves of a non-local dispersal SIR epidemic model[J]. Dynamics of Partial Differential Equations, 2017, 14(2): 87-123. DOI: 10.4310/dpde.2017.v14.n2.a1 .

[22]

邢晓研. 非局部扩散下具有快慢进展的结核病模型行波解的存在性[D]. 长春: 东北师范大学, 2022. DOI: 10.27011/d.cnki.gdbsu.2022.001611 .

[23]

XING X Y. Existence of traveling wave solutions for a nonlocal diffusive tuberculosis model with fast and slow progression[D]. Changchun: Northeast Normal University, 2022. DOI: 10.27011/d.cnki.gdbsu.2022.001611(Ch ).

[24]

YANG L, YANG Y R, SONG X. Traveling waves in a SIRH model with spatio-temporal delay and nonlocal dispersal[J]. Acta Mathematica Scientia, 2022, 42(2): 715-736. DOI: 10.1007/s10473-022-0218-5 .

基金资助

国家自然科学基金(12361038)

甘肃省基础研究创新群体项目(25JRRA805)

AI Summary AI Mindmap
PDF (650KB)

0

访问

0

被引

详细

导航
相关文章

AI思维导图

/

〈 〉