0 引 言
登革热是一类由于媒介生物载体的传播而引起的疾病,其模型的研究备受关注
[1 -5 ] 。1998年,为了模拟固定人口数量且可变媒介数量的登革热病毒的传播,Esteva等
[1 ] 提出了模型:
S H ' ( t ) = μ H N H - β H b N H + m S H I V - μ H S H I H ' ( t ) = β H b N H + m S H I V - ( μ H + γ H ) I H R H ' ( t ) = γ H I H - μ H R H S V ' ( t ) = A - β V b N H + m S V I H - μ V S V I V ' ( t ) = β V b N H + m S V I H - μ V I V (1)
该模型中,S H 、I H 、R H 分别表示易感者、感染者、恢复者人数;S V 、I V 易感蚊子和感染蚊子的数量;μ H 表示人类自然死亡率,γ H 为患者的恢复率,μ V 表示蚊虫死亡率;N H 表示人数,A 表示蚊子常数,m 表示可供蚊子作为血液来源的替代宿主数量,b 表示蚊子的叮咬率,即每只蚊子每天平均叮咬的次数。自此,对登革热传染病模型的研究引起了广泛学者的关注。
由于病媒(或宿主)在空间中的移动是随机的,而包括病媒传播在内的许多传染病又都有潜伏期,因此,可以同时考虑病媒在空间的扩散和时滞因素。例如,时滞Laplace扩散登革热模型:
∂ t u 1 ( x , t ) = d 1 Δ u 1 ( x , t ) - k 1 u 1 ( x , t ) u 5 ( x , t - τ 1 ) ∂ t u 2 ( x , t ) = d 2 Δ u 2 ( x , t ) + k 1 u 1 ( x , t ) u 5 ( x , t - τ 1 ) - ( μ h + α h ) u 2 ( x , t ) ∂ t u 3 ( x , t ) = d 3 Δ u 3 ( x , t ) + α h u 2 ( x , t ) ∂ t u 4 ( x , t ) = d 4 Δ u 4 ( x , t ) - k 2 u 4 ( x , t ) u 2 ( x , t - τ 2 ) ∂ t u 5 ( x , t ) = d 5 Δ u 5 ( x , t ) + k 2 u 4 ( x , t ) u 2 ( x , t - τ 2 ) - μ v u 5 ( x , t ) (2)
其中,u 1 x , t 、 u 2 ( x , t ) 和u 3 x , t 分别表示t 时刻x 处易感人群、感染人群和恢复人群的密度;u 4 x , t 和u 5 x , t 表示t 时刻x 处易感蚊子和感染蚊子的密度;τ 1 ( τ 1 > 0 ) 和τ 2 ( τ 1 > 0 ) 分别表示登革热病毒在蚊子体内和人体内的潜伏期;d i ( i = 1,2 , 3,4 , 5 ) 为扩散系数,d i > 0 且 d 1 = d 3 ;μ h ( μ h > 0 ) 和α h ( α h > 0 ) 表示染病者的因病死亡率和恢复率,μ v ( μ v > 0 ) 是染病蚊子的因病死亡率;k 1 ( k 1 > 0 ) 表示病毒由染病蚊子到易感者的传播率,k 2 ( k 2 > 0 )是病毒从感染者到易感蚊子的传播率。
扩散可分为局部扩散和非局部扩散。当个体的扩散且仅与当前位置有关,这种扩散称作局部扩散,如Laplace扩散就是局部扩散;当个体的扩散不仅与当前位置有关,还与相邻位置甚至整个空间有关,这种扩散就称作非局部扩散,常用卷积项
( 𝒥 * u ) ( x , t ) - u ( x , t ) = ∫ ℝ 𝒥 ( x - y ) u ( y , t ) d y - u ( x , t )
表示。其中,
𝒥 是关于空间的概率密度函数(核函数),
𝒥 ( x - y ) 表示个体从位置
y 到
x 的概率密度函数,
∫ ℝ 𝒥 ( x - y ) u ( y , t ) d y 表示个体从其他空间位置到达位置
x 的速度。一般地,当核函数
𝒥 具有对称性(
𝒥 是偶函数,即:
𝒥 ( x ) = 𝒥 ( - x ) )时,不难验证,非局部扩散项与经典的Laplace扩散项仅相差一个关于
ε 2 的高阶无穷小量(其中
ε > 0 充分小),即非局部扩散项与Laplace扩散项自然逼近。例如,Laplace扩散登革热模型(2)可推广到非局部扩散模型。此外,个体(病媒或宿主)在过去时间乃至整个历史时期的状态都可能会对当前的状态产生影响,这就产生了非局部效应
[6 -7 ] ,它可以同时体现在扩散项上(即非局部扩散)和反应项上(即时间-空间的非局部,又称时空时滞),包括空间的非局部和时间的非局部。例如,(3)式为具有时间-空间非局部效应的时滞种群模型:
∂ U 1 ( x , t ) ∂ t = d ( 𝒥 * U 1 - U 1 ) ( x , t ) + F ( U 1 ( x , t ) , 𝒦 * * S ( U 1 ( x , t ) ) ) - β 1 U 1 ( x , t ) + β 2 U 2 ( x , t ) ∂ U 2 ( x , t ) ∂ t = β 1 U 1 ( x , t ) - β 2 U 2 ( x , t ) (3)
其中,𝒦 * * S ( U 1 ( x , t ) ) = ∫ - ∞ t ∫ R 𝒦 ( x - y , t - s ) S ( U 1 ( y , s ) ) d y d s , t > 0 , x ∈ R 。当𝒦 ( x , t ) = δ ( t - τ ) 𝒢 ( x ) 时,具有时间-空间非局部效应的时滞种群模型(3)退化为具有空间非局部效应的时滞种群模型:
∂ U 1 ( x , t ) ∂ t = d ( 𝒥 * U 1 - U 1 ) ( x , t ) + F ( U 1 ( x , t ) , 𝒢 * S ( U 1 ( x , t - τ ) ) ) - β 1 U 1 ( x , t ) + β 2 U 2 ( x , t ) ∂ U 2 ( x , t ) ∂ t = β 1 U 1 ( x , t ) - β 2 U 2 ( x , t ) (4)
其中,𝒢 * S ( U 1 ( x , t - τ ) ) = ∫ R 𝒢 ( x - y ) S ( U 1 ( y , t - τ ) ) d y , x ∈ R , t > 0 ;U 1 ,U 2 分别表示移动和静止子种群的密度,d ( d > 0 ) 为扩散系数,β 1 ( β 1 > 0 ) , β 2 ( β 2 > 0 ) 为移动和静止两种状态之间的转化率。
又如,(5)式为具有空间非局部效应的时滞登革热模型:
∂ u 1 ( x , t ) ∂ t = d 1 ( 𝒥 * u 1 ( x , t ) - u 1 ( x , t ) ) - l 1 u 1 ( x , t ) 𝒢 * u 5 ( x , t - τ ) ∂ u 2 ( x , t ) ∂ t = d 2 ( 𝒥 * u 2 ( x , t ) - u 2 ( x , t ) ) + l 1 u 1 ( x , t ) 𝒢 * u 5 ( x , t - τ ) - ( μ h + α h ) u 2 ( x , t ) ∂ u 3 ( x , t ) ∂ t = d 3 ( 𝒥 * u 3 ( x , t ) - u 3 ( x , t ) ) + α h u 2 ( x , t ) ∂ u 4 ( x , t ) ∂ t = d 4 ( 𝒥 * u 4 ( x , t ) - u 4 ( x , t ) ) - l 2 u 4 ( x , t ) 𝒢 * u 2 ( x , t - τ ) ∂ u 5 ( x , t ) ∂ t = d 5 ( 𝒥 * u 5 ( x , t ) - u 5 ( x , t ) ) + l 2 u 4 ( x , t ) 𝒢 * u 2 ( x , t - τ ) - μ v u 5 ( x , t ) (5)
其中,𝒢 * u i ( x , t - τ ) = ∫ R 𝒢 ( x - y ) u i ( y , t - τ ) d y ( 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 预备知识和主要结论
首先,给出本文所需的假设条件和工作空间:
( H 1 ) 𝒥 ( ⋅ ) ∈ C 1 ( R ) 具有紧支集,且对任意的y ∈ R , 𝒥 ( y ) = 𝒥 ( - y ) ≥ 0 , ∫ ℝ 𝒥 ( y ) d y = 1 。
( H 2 ) 𝒢 ( y , s ) ∈ C 1 ( R × [ 0 , T ] ) 关于y 是Lipschitz连续的且满足𝒢 ( y , s ) = 𝒢 ( - y , s ) ≥ 0 和∫ ℝ 𝒢 ( y , s ) d y = 1 。此外,存在常数λ c ∈ ( 0 , + ∞ ) 使得当波速c > 0 时,∫ 0 T ∫ - ∞ + ∞ 𝒢 ( y , s ) e - λ ( y + c s ) d y d s < + ∞ ,其中λ ∈ [ 0 , λ c ) 。
记I 为R 上的一个区间,L 2 ( I ) 是定义在I 上的平方可积函数构成的空间,L ω 2 ( I ) 表示加权L 2 ( I ) 空间。H k ( I ) 为定义在I 上且j ( j = 0,1 , ⋯ , k ) 阶导数是由L 2 ( I ) 空间内的Lebesgue平方可积函数构成的Sobolev空间,H ω k ( I ) 为加权索伯列夫空间,加权函数ω ( x ) > 0 。L ω 2 ( I ) 的范数为f L ω 2 ( I ) = [ ∫ I ω ( x ) f ( x ) 2 d x ] 1 2 ,H ω k ( I ) 的范数为f H ω k ( I ) = [ ∑ i = 0 k ∫ I ω ( x ) d i d x i f ( x ) 2 d x ] 1 2 。
令常数T > 0 ,ℬ 是Banach空间。C ( [ 0 , T ] ; ℬ ) 为定义在[ 0 , T ] 上的ℬ -值连续函数组成的空间, L 2 ( [ 0 , T ] ; ℬ ) 表示由[ 0 , T ] 上的ℬ -值L 2 - 函数构成的空间;相应地,[ 0 , + ∞ ) 上的ℬ -值函数构成的空间定义类似。C > 0 为万有常数,C i > 0 ( i = 0,1 , ⋯ ) 为特定的常数。
假设系统(5)满足初始条件:
u i ( x , 0 ) = u i 0 ( x ) , x ∈ R , i = 1,3 , 4 u i ( x , 0 ) = u i 0 ( x , s ) , s ∈ [ - τ , 0 ] , x ∈ R , i = 2,5 (6)
此外,不难验证系统(5)有两个平衡点:
E - = ( u 1 ( - ∞ ) , u 2 ( - ∞ ) , u 3 ( - ∞ ) , u 4 ( - ∞ ) , u 5 ( - ∞ ) ) = ( S h 0 , 0 , R h 0 , S v 0 , 0 )
E + = ( u 1 ( + ∞ ) , u 2 ( + ∞ ) , u 3 ( + ∞ ) , u 4 ( + ∞ ) , u 5 ( + ∞ ) ) = ( S h * , I h * , R h * , S v * , I v * )
这里S h 0 , R h 0 , S v 0 , S h * , I h * , R h * , S v * , I v * 均为正常数。令( u 1 ( x , t ) , u 2 ( x , t ) , u 3 ( x , t ) , u 4 ( x , t ) , u 5 ( x , t ) ) 是系统(5)满足初始条件(6)的解,系统(5)的形如u i ( x , t ) = ϕ i ( ξ ) = ϕ i ( x + c t ) ( i = 1,2 , 3,4 , 5 ) 的解称为行波解,且满足如下条件:
c ϕ 1 ' ( ξ ) = d 1 ( 𝒥 * ϕ 1 ( ξ ) - ϕ 1 ( ξ ) ) - l 1 ϕ 1 𝒢 * ϕ 5 ( ξ - c τ ) c ϕ 2 ' ( ξ ) = d 2 ( 𝒥 * ϕ 2 ( ξ ) - ϕ 2 ( ξ ) ) + l 1 ϕ 1 𝒢 * ϕ 5 ( ξ - c τ ) - ( μ h + α h ) ϕ 2 ( ξ ) c ϕ 3 ' ( ξ ) = d 3 ( 𝒥 * ϕ 3 ( ξ ) - ϕ 3 ( ξ ) ) + α h ϕ 2 ( ξ ) c ϕ 4 ' ( ξ ) = d 4 ( 𝒥 * ϕ 4 ( ξ ) - ϕ 4 ( ξ ) ) - l 2 ϕ 4 𝒢 * ϕ 2 ( ξ - c τ ) c ϕ 5 ' ( ξ ) = d 5 ( 𝒥 * ϕ 5 ( ξ ) - ϕ 5 ( ξ ) ) + l 2 ϕ 4 𝒢 * ϕ 2 ( ξ - c τ ) - μ v ϕ 5 ( ξ ) ϕ i ( ± ∞ ) = u i ( ± ∞ ) , i = 1,2 , 3,4 , 5 (7)
其中
ξ = x + c t , c > 0 为波速。类似于文献[
20 ],可以得到下面三个引理。
引理1 若( H 1 ) ~ ( H 2 ) 成立,则ρ 1 ( λ , c ) 和ρ 2 ( λ , c ) 分别存在正根λ ' 和λ ″ ,使得:ρ 1 ( λ , c ) < 0 ,∀ λ ∈ ( 0 , λ ' ) ; ρ 2 ( λ , c ) < 0 ,∀ λ ∈ ( 0 , λ ″ ) ,其中ρ 1 ( λ , c ) = d 2 ∫ ℛ J ( y ) ( e - λ y - 1 ) d y - μ h - α h - c λ ,ρ 2 ( λ , c ) = d 4 ∫ ℛ J ( y ) ( e - λ y - 1 ) d y - μ v - c λ 。
引理2 假设( H 1 ) ~ ( H 2 ) 成立且R 0 = ( l 1 l 2 S h 0 S v 0 ( μ h + α h ) μ v ) 1 2 > 1 ,则存在λ * , c * > 0 ,使得f 1 ( λ * , c * ) = 1 , ∂ f 1 ( λ , c ) ∂ λ ( λ * , c * ) = 0 ,并满足如下结论:
( i ) 当c > c * 时,方程f 1 ( λ , c ) = 1 有两个不同的正实根λ 1 和λ 2 且λ 1 < λ * < λ 2 < Λ 1 ,满足f 1 ( λ , c ) < 1 ,∀ λ ∈ ( λ 1 , λ 2 ) ; f 1 ( λ , c ) > 1 ,∀ λ ∈ ( 0 , λ 1 ) ⋂ ( λ 2 , Λ 1 ) ;
( i i ) 当c = c * 时,λ 1 = λ * = λ 2 < Λ 1 成立,且对∀ λ ∈ ( 0 , Λ 1 ) ,有f 1 ( λ , c ) ≥ 1 ;
( i i i ) 当c < c * 时,对∀ λ ∈ ( 0 , Λ 1 ) ,有f 1 ( λ , c ) > 1 ;其中,f 1 ( λ , c ) = l 1 l 2 S h 0 S v 0 ( ∫ 0 T ∫ R 𝒢 ( y , s ) e - λ ( y + c s ) d y d s ) 2 ρ 1 ( λ , c ) ρ 2 ( λ , c ) ,Λ 1 = m i n { λ ' , λ ″ } 。
利用Schauder不动点定理结合上下解方法,类似于文献[
20 -
21 ],可以建立系统(5)单稳行波解的存在性。
引理3 (行波解的存在性) 假设( H 1 ) ~ ( H 2 ) 成立,则对任意的c > c * ,系统(5)存在行波解,其中,c * 的定义见引理2。
定义加权函数:
其中ξ ∈ R ,ξ 0 ≫ 1 为充分大的常数且λ ∈ ( λ 1 , λ 2 ) 。
定理1 (行波解的稳定性) 假设τ ∈ ( 0 , τ 0 ) ,其中,τ 0 为正常数,且( H 1 ) ~ ( H 2 ) 成立。对任意给定的行波解Φ ( x + c t ) = ( ϕ 1 ( x + c t ) , ϕ 2 ( x + c t ) , ϕ 3 ( x + c t ) , ϕ 4 ( x + c t ) , ϕ 5 ( x + c t ) ) ,波速c 满足:
c > m a x { c 1 , c 2 , c 3 , c 4 , c 5 , c * } (9)
其中,
c 1 = d 1 ∫ R 𝒥 ( y ) e - λ 1 y d y + l 1 S h 0 - d 1 λ 1
c 2 = d 2 ∫ R 𝒥 ( y ) e - λ 1 y d y + l 1 S h 0 + N 2 + 2 l 2 S v 0 ∫ R 𝒢 ( y ) e - λ 1 y d y - d 2 - 2 μ h - α h λ 1
c 3 = d 3 ∫ R 𝒥 ( y ) e - λ 1 y d y + α h - d 3 λ 1 ,c 4 = d 4 ∫ R 𝒥 ( y ) e - λ 1 y d y + l 2 S v 0 - d 4 λ 1
c 5 = d 5 ∫ R 𝒥 ( y ) e - λ 1 y d y + l 2 S v 0 + N 1 + 2 l 1 S h 0 ∫ R 𝒢 ( y ) e - λ 1 y d y - d 5 - 2 μ v λ 1
且N 1 ≔ m a x ϕ 2 ∈ [ 0 , I h * ] l 2 ϕ 2 , N 2 : = m a x ϕ 5 ∈ [ 0 , I v * ] l 1 ϕ 5 。若初始扰动满足:
u i 0 ( x ) - ϕ i ( x ) ∈ C ( R ) ⋂ H ω 1 ( R ) , i = 1,3 , 4 u i 0 ( s , x ) - ϕ i ( x + c s ) ∈ C ( [ - τ , 0 ] ; C ( R ) ⋂ H ω 1 ( R ) ) ⋂ L 2 ( [ - τ , 0 ] ; H ω 1 ( R ) ) , i = 2,5 (10)
和l i m x → + ∞ ( u i 0 ( x ) - ϕ i ( x ) ) = W i 0 , ∞ ( i = 1,3 , 4 ) ,l i m x → + ∞ ( u i 0 ( x , s ) - ϕ i ( x + c s ) ) = W i 0 , ∞ ( s ) ( i = 2,5 ) ∈ C [ - τ , 0 ] 关于s ∈ [ - τ , 0 ] 一致存在,则存在正常数δ 0 ,μ 和ε ,使得当初始扰动充分小,即当
∑ i = 1,3 , 4 ( u i 0 - ϕ i ) ( 0 ) C 2 + s u p s ∈ [ - τ , 0 ] ( u 20 - ϕ 2 ) ( s ) C 2 + s u p s ∈ [ - τ , 0 ] ( u 50 - ϕ 5 ) ( s ) C 2 + ∑ i = 1 5 ( u i 0 - ϕ i ) ( 0 ) H ω 1 ( R ) 2 +
∫ - τ 0 ( u 20 - ϕ 2 ) ( s ) H ω 1 ( R ) 2 d s + ∫ - τ 0 ( u 50 - ϕ 5 ) ( s ) H ω 1 ( R ) 2 d s ≤ δ 0 2 (11)
时,则系统(5)满足条件(6)的解( u 1 ( x , t ) , u 2 ( x , t ) , u 3 ( x , t ) , u 4 ( x , t ) , u 5 ( x , t ) ) 关于时间全局存在且唯一,并满足u i ( t , x ) - ϕ i ( x + c t ) ∈ C ( [ - τ i , + ∞ ) ; C ( R ) ⋂ H ω 1 ( R ) ) ⋂ L 2 ( [ - τ i , + ∞ ) ; H ω 1 ( R ) ) ⋂ 𝒞 u n i f [ - τ i , + ∞ ) 和
s u p x ∈ R u i ( x , t ) - ϕ i ( x + c t ) ≤ C e - μ t , t > 0 , i = 1,2 , 3,4 , 5 (12)
其中,τ 1 = τ 3 = τ 4 = 0 ,τ 2 = τ 5 = τ 。空间𝒞 u n i f [ - τ i , T ] 定义如下:𝒞 u n i f [ - τ i , T ] ≕ { u ( x , t ) ∈ C ( R × [ - τ i , T ] ) 使得l i m x → + ∞ e ε t u ( x , t ) 关于t ∈ [ - τ i , T ] 一致存在} ,其中0 < T ≤ ∞ 。
令( u 1 ( x , t ) , u 2 ( x , t ) , u 3 ( x , t ) , u 4 ( x , t ) , u 5 ( x , t ) ) 是系统(5)满足初始条件(6)的解,并且( ϕ 1 ( x + c t ) , ϕ 2 ( x + c t ) , ϕ 3 ( x + c t ) , ϕ 4 ( x + c t ) , ϕ 5 ( x + c t ) ) 是系统(5)给定的一个行波解。令ξ = x + c t ,且
W i ( ξ , t ) = u i ( x , t ) - ϕ i ( ξ ) , i = 1,2 , 3,4 , 5 W i 0 ( x , 0 ) = u i 0 ( x ) - ϕ i ( x ) , x ∈ R , i = 1,3 , 4 W i 0 ( ξ , s ) = u i 0 ( x , s ) - ϕ i ( x + c s ) , ( x , s ) ∈ R × [ - τ , 0 ] , i = 2,5
则( W 1 ( ξ , t ) , W 2 ( ξ , t ) , W 3 ( ξ , t ) , W 4 ( ξ , t ) , W 5 ( ξ , t ) ) 满足:
W 1 t ( ξ , t ) + c W 1 ξ ( ξ , t ) - d 1 ( 𝒥 * W 1 ( ξ , t ) - W 1 ( ξ , t ) ) + l 1 W 1 ( ξ , t ) 𝒢 * ϕ 5 ( ξ - c τ ) + l 1 ϕ 1 ( ξ ) 𝒢 * W 5 ( ξ - c τ , t - τ ) = - Q 1 ( W 1 ( ξ , t ) , 𝒢 * W 5 ( ξ - c τ , t - τ ) ) W 2 t ( ξ , t ) + c W 2 ξ ( ξ , t ) - d 2 ( 𝒥 * W 2 ( ξ , t ) - W 2 ( ξ , t ) ) - l 1 W 1 ( ξ , t ) 𝒢 * ϕ 5 ( ξ - c τ ) - l 1 ϕ 1 ( ξ ) 𝒢 * W 5 ( ξ - c τ , t - τ ) + ( μ h + α h ) W 2 ( ξ , t ) = Q 1 ( W 1 ( ξ , t ) , 𝒢 * W 5 ( ξ - c τ , t - τ ) ) W 3 t ( ξ , t ) + c W 3 ξ ( ξ , t ) - d 3 ( 𝒥 * W 3 ( ξ , t ) - W 3 ( ξ , t ) ) - α h W 2 ( ξ , t ) = 0 W 4 t ( ξ , t ) + c W 4 ξ ( ξ , t ) - d 4 ( 𝒥 * W 4 ( ξ , t ) - W 4 ( ξ , t ) ) + l 2 W 4 ( ξ , t ) 𝒢 * ϕ 2 ( ξ - c τ ) + l 2 ϕ 4 ( ξ ) 𝒢 * W 2 ( ξ - c τ , t - τ ) = - Q 2 ( 𝒢 * W 2 ( ξ - c τ , t - τ ) , W 4 ( ξ , t ) ) W 5 t ( ξ , t ) + c W 5 ξ ( ξ , t ) - d 5 ( 𝒥 * W 5 ( ξ , t ) - W 5 ( ξ , t ) ) - l 2 W 4 ( ξ , t ) 𝒢 * ϕ 2 ( ξ - c τ ) - l 2 ϕ 4 ( ξ ) 𝒢 * W 2 ( ξ - c τ , t - τ ) + μ v W 5 ( ξ , t ) = Q 2 ( 𝒢 * W 2 ( ξ - c τ , t - τ ) , W 4 ( ξ , t ) ) W i ( ξ , 0 ) = W i 0 ( ξ ) , ξ ∈ R , i = 1,3 , 4 W i ( ξ , s ) = W i 0 ( ξ , s ) , ( ξ , s ) ∈ R × [ - τ , 0 ] , i = 2,5 (13)
其中,
Q 1 ( W 1 ( ξ , t ) , 𝒢 * W 5 ( ξ - c τ , t - τ ) ) =
l 1 ( W 1 ( ξ , t ) + ϕ 1 ( ξ ) ) [ ∫ ℝ 𝒢 ( y ) W 5 ( ξ - y - c τ , t - τ ) d y + ∫ R 𝒢 ( y ) ϕ 5 ( ξ - y - c τ ) d y ] - l 1 ϕ 1 ( ξ ) ∫ R 𝒢 ( y ) ϕ 5 ( ξ - y - c τ ) d y - l 1 W 1 ( ξ , t ) ∫ R 𝒢 ( y ) ϕ 5 ( ξ - y - c τ ) d y - l 1 ϕ 1 ( ξ ) ∫ R 𝒢 ( y ) W 5 ( ξ - y - c τ , t - τ ) d y ,Q 2 ( 𝒢 * W 2 ( ξ - c τ , t - τ ) , W 4 ( ξ , t ) ) =
l 2 ( W 4 ( ξ , t ) + ϕ 4 ( ξ ) ) [ ∫ ℝ 𝒢 ( y ) W 2 ( ξ - y - c τ , t - τ ) d y + ∫ R 𝒢 ( y ) ϕ 2 ( ξ - y - c τ ) d y ] -
l 2 ϕ 4 ( ξ ) ∫ R 𝒢 ( y ) ϕ 2 ( ξ - y - c τ ) d y - l 2 W 4 ( ξ , t ) ∫ R 𝒢 ( y ) ϕ 2 ( ξ - y - c τ ) d y -
l 2 ϕ 4 ( ξ ) ∫ R 𝒢 ( y ) W 2 ( ξ - y - c τ , t - τ ) d y
定义空间𝒳 ( - τ , T ) = { ( W 1 , W 2 , W 3 , W 4 , W 5 ) | W i ( t , ξ ) ∈ C ( [ - τ i , T ] ;C ( R ) ⋂ H ω 1 ( R ) ) ⋂ L 2 ( [ - τ i , T ] ;H ω 1 ( R ) ) ⋂ 𝒞 u n i f [ - τ i , T ] , i = 1,2 , 3,4 , 5 , τ 1 = τ 3 = τ 4 = 0 , τ 2 = τ 5 = τ } 。
方便起见,给出以下记号:M W 2 ( T ) = ∑ i = 1 5 ( s u p t ∈ [ - τ , T ] ( W i ( t ) C 2 + W i ( t ) H ω 1 2 ) + ∫ 0 T W i ( s ) H ω 1 2 d s ) ,M W 2 ( 0 ) = ∑ i = 1 5 s u p t ∈ [ - τ , 0 ] ( W i 0 ( t ) C 2 + W i 0 ( t ) H ω 1 2 ) + ∫ - τ 0 W 20 ( s ) H ω 1 2 d s + ∫ - τ 0 W 50 ( s ) H ω 1 2 d s ,其中T > 0 。从而定理1等价于下面的结论(定理2)。
定理2 (行波解的稳定性) 假设τ ∈ ( 0 , τ 0 ) ,其中τ 0 为正常数,且( H 1 ) ~ ( H 2 ) 成立。若c 满足(9)式,初始扰动满足:
W i 0 ( ξ ) ∈ C ( R ) ⋂ H ω 1 ( R ) , i = 1,3 , 4 W i 0 ( ξ ) ∈ C ( [ - τ , 0 ] ; C ( R ) ⋂ H ω 1 ( R ) ) ⋂ L 2 ( [ - τ , 0 ] ; H ω 1 ( R ) ) , i = 2,5
和l i m x → ∞ W i 0 ( ξ ) ≔ W i 0 , ∞ ( i = 1,3 , 4 ) , l i m x → ∞ W i 0 ( ξ , s ) ≔ W i 0 , ∞ ( s ) ∈ C [ - τ , 0 ] ( i = 2,5 ) 关于s ∈ [ - τ , 0 ] 一致存在,则存在正常数δ 0 和ν ,使得当M W ( 0 ) ≤ δ 0 时,解W 在𝒳 ∈ ( - τ , ∞ ) 上全局存在,并满足
∑ i = 1 5 ( W i ( t ) C 2 + W i ( t ) H ω 1 2 ) ≤ C e - 2 ν t M W 2 ( 0 ) , t ∈ [ 0 , ∞ ) (14)
2 主要结论的证明
引理4 (扰动解的局部存在唯一性) 假设( H 1 ) ~ ( H 2 ) 成立,对于满足c > c * 的行波解ϕ i ( x + c t ) = ϕ i ( ξ ) ( i = 1,2 , 3,4 , 5 ) ,若初始扰动满足:
( W 10 ( ξ ) , W 20 ( ξ , s ) , W 30 ( ξ ) , W 40 ( ξ ) , W 50 ( ξ , s ) ) ∈ 𝒳 ( - τ , 0 )
且M W ( 0 ) ≤ δ 1 ,则存在充分小的正数t 0 = t 0 ( δ 1 ) > 0 ,使得初值问题(13)的解W i ( ξ , t ) ( i = 1,2 , 3,4 , 5 ) ∈ 𝒳 ( - τ , t 0 ) 关于t ∈ [ - τ i , t 0 ] 局部存在且唯一,以及存在常数η 0 > 1 ,使M W ( t 0 ) ≤ η 0 M W ( 0 ) ,其中,τ 1 = τ 3 = τ 4 = 0 , τ 2 = τ 5 = τ 。
利用标准迭代法
[18 -19 ] 证明引理4是平凡的,故此省略。为了证明系统(5)单稳行波解的稳定性,还需要建立扰动系统(13)的解(即扰动解)的先验估计。为此,令
𝒜 i , ν , ω ( ξ ) = ℬ i , ω ( ξ ) - 2 ν , i = 1,3 , 4
𝒜 2 , ν , ω ( ξ ) = ℬ 2 , ω ( ξ ) - 2 ν - 2 ( e 2 ν τ - 1 ) ( l 2 e - λ c τ ∫ ℝ e - λ y 𝒢 ( y ) ϕ 4 ( ξ + y + c τ ) d y )
𝒜 5 , ν , ω ( ξ ) = ℬ 5 , ω ( ξ ) - 2 ν - 2 ( e 2 ν τ - 1 ) ( l 1 e - λ c τ ∫ ℝ e - λ y 𝒢 ( y ) ϕ 1 ( ξ + y + c τ ) d y )
其中,ℬ 1 , ω ( ξ ) = - c ω ' ( ξ ) ω ( ξ ) - d 1 ∫ R e - λ y 𝒥 ( y ) d y + d 1 + l 1 ∫ ℝ 𝒢 ( y ) ϕ 5 ( ξ - y - c τ ) d y - l 1 ϕ 1 ( ξ )
ℬ 2 , ω ( ξ ) = - c ω ' ( ξ ) ω ( ξ ) - d 2 ∫ R e - λ y 𝒥 ( y ) d y + d 2 + 2 μ h + α h - l 1 ∫ ℝ 𝒢 ( y ) ϕ 5 ( ξ - y - c τ ) d y - l 1 ϕ 1 ( ξ ) -
2 l 2 e - λ c τ ∫ ℝ e - λ y 𝒢 ( y ) ϕ 4 ( ξ + y + c τ ) d y
ℬ 3 , ω ( ξ ) = - c ω ' ( ξ ) ω ( ξ ) - d 3 ∫ R e - λ y 𝒥 ( y ) d y + d 3 - α h
ℬ 4 , ω ( ξ ) = - c ω ' ( ξ ) ω ( ξ ) - d 4 ∫ R e - λ y 𝒥 ( y ) d y + d 4 + l 2 ∫ ℝ 𝒢 ( y ) ϕ 2 ( ξ - y - c τ ) d y - l 2 ϕ 4 ( ξ )
ℬ 5 , ω ( ξ ) = - c ω ' ( ξ ) ω ( ξ ) - d 5 ∫ R e - λ y 𝒥 ( y ) d y + d 5 + 2 μ v - l 2 ∫ ℝ 𝒢 ( y ) ϕ 2 ( ξ - y - c τ ) d y - l 2 ϕ 4 ( ξ ) -
2 l 1 e - λ c τ ∫ ℝ e - λ y 𝒢 ( y ) ϕ 1 ( ξ + y + c τ ) d y
引理5 (关键不等式) 假设(9)式成立,则当ξ ∈ R 和0 < ν < ν ¯ ≔ m i n ν i ' ( i = 1,2 , 3,4 , 5 ) 时,有𝒜 i , ν , ω ( ξ ) > 0 , i = 1,2 , 3,4 , 5 , 其中,ω ( ξ ) 是(8)式中定义的加权函数。ν 1 ' , ν 3 ' , ν 4 ' > 0 分别是C i - 2 ν = 0 , i = 1,3 , 4 的唯一解;ν 2 ' , ν 5 ' 分别是C 2 - 2 ν - 2 ( e 2 ν τ - 1 ) ( l 2 S v 0 ∫ R e - λ y 𝒢 ( y ) d y ) = 0 ,C 5 - 2 ν - 2 ( e 2 ν τ - 1 ) ( l 1 S h 0 ∫ R e - λ y 𝒢 ( y ) d y ) = 0 的唯一解。
证明 由(8)式可知ω ( ξ + c τ ) ω ( ξ ) = e - λ c τ ≤ 1 ,ω ' ( ξ ) ω ( ξ ) = - λ 。利用(9)式,有:
ℬ 1 , ω ( ξ ) = c λ - d 1 ∫ R e - λ y 𝒥 ( y ) d y + d 1 + l 1 ∫ ℝ 𝒢 ( y ) ϕ 5 ( ξ - y - c τ ) d y - l 1 ϕ 1 ( ξ ) >
c λ - d 1 ∫ R e - λ y 𝒥 ( y ) d y + d 1 - l 1 S h 0 > c λ 1 - d 1 ∫ R e - λ 1 y 𝒥 ( y ) d y + d 1 - l 1 S h 0 ≔ C 1 > 0 ( c > c 1 )
ℬ 2 , ω ( ξ ) = c λ - d 2 ∫ R e - λ y 𝒥 ( y ) d y + d 2 + 2 μ h + α h - l 1 ∫ ℝ 𝒢 ( y ) ϕ 5 ( ξ - y - c τ ) d y - l 1 ϕ 1 ( ξ ) -
2 l 2 e - λ c τ ∫ ℝ e - λ y 𝒢 ( y ) ϕ 4 ( ξ + y + c τ ) d y >
c λ - d 2 ∫ R e - λ y 𝒥 ( y ) d y + d 2 + 2 μ h + α h - N 2 - l 1 S h 0 - 2 l 2 S v 0 ∫ ℝ e - λ y 𝒢 ( y ) d y >
c λ 1 - d 2 ∫ R e - λ 1 y 𝒥 ( y ) d y + d 2 + 2 μ h + α h - N 2 - l 1 S h 0 - 2 l 2 S v 0 ∫ ℝ e - λ 1 y 𝒢 ( y ) d y ≔ C 2 > 0 ( c > c 2 )
ℬ 3 , ω ( ξ ) = c λ - d 3 ∫ R e - λ y 𝒥 ( y ) d y + d 3 - α h > c λ - d 3 ∫ R e - λ y 𝒥 ( y ) d y + d 3 - α h >
c λ 1 - d 3 ∫ R e - λ 1 y 𝒥 ( y ) d y + d 3 - α h ≔ C 3 > 0 ( c > c 3 )
ℬ 4 , ω ( ξ ) = c λ - d 4 ∫ R e - λ y 𝒥 ( y ) d y + d 4 + l 2 ∫ ℝ 𝒢 ( y ) ϕ 2 ( ξ - y - c τ ) d y - l 2 ϕ 4 ( ξ ) >
c λ - d 4 ∫ R e - λ y 𝒥 ( y ) d y + d 4 - l 2 S v 0 > c λ 1 - d 4 ∫ R e - λ 1 y 𝒥 ( y ) d y + d 4 - l 2 S v 0 ≔ C 4 > 0 ( c > c 4 )
ℬ 5 , ω ( ξ ) = c λ - d 5 ∫ R e - λ y 𝒥 ( y ) d y + d 5 + 2 μ v - l 2 ∫ ℝ 𝒢 ( y ) ϕ 2 ( ξ - y - c τ ) d y - l 2 ϕ 4 ( ξ ) -
2 l 1 e - λ c τ ∫ ℝ e - λ y 𝒢 ( y ) ϕ 1 ( ξ + y + c τ ) d y >
c λ - d 5 ∫ R e - λ y 𝒥 ( y ) d y + d 5 + 2 μ v - N 1 - l 2 S v 0 - 2 l 1 S h 0 ∫ ℝ e - λ y 𝒢 ( y ) d y >
c λ 1 - d 5 ∫ R e - λ 1 y 𝒥 ( y ) d y + d 5 + 2 μ v - N 1 - l 2 S v 0 - 2 l 1 S h 0 ∫ ℝ e - λ 1 y 𝒢 ( y ) d y ≔ C 5 > 0 ( c > c 5 )
进而,
𝒜 1 , ν , ω ( ξ ) = ℬ 1 , ω ( ξ ) - 2 ν > C 1 - 2 ν > 0 ,
𝒜 2 , ν , ω ( ξ ) = ℬ 2 , ω ( ξ ) - 2 ν - 2 ( e 2 ν τ - 1 ) ( l 2 e - λ c τ ∫ ℝ e - λ y 𝒢 ( y ) ϕ 4 ( ξ + y + c τ ) d y ) >
C 2 - 2 ν - 2 ( e 2 ν τ - 1 ) ( l 2 S v 0 ∫ ℝ e - λ y 𝒢 ( y ) d y ) > 0 ,
𝒜 3 , ν , ω ( ξ ) = ℬ 3 , ω ( ξ ) - 2 ν > C 3 - 2 ν > 0 ,𝒜 4 , ν , ω ( ξ ) = ℬ 4 , ω ( ξ ) - 2 ν > C 4 - 2 ν > 0
𝒜 5 , ν , ω ( ξ ) = ℬ 5 , ω ( ξ ) - 2 ν - 2 ( e 2 ν τ - 1 ) ( l 1 e - λ c τ ∫ ℝ e - λ y 𝒢 ( y ) ϕ 1 ( ξ + y + c τ ) ) d y >
C 5 - 2 ν - 2 ( e 2 ν τ - 1 ) ( l 1 S h 0 ∫ ℝ e - λ y 𝒢 ( y ) d y ) > 0 。
证毕。
引理6 (先验估计) 设( W 1 ( ξ , t ) , W 2 ( ξ , t ) , W 3 ( ξ , t ) , W 4 ( ξ , t ) , W 5 ( ξ , t ) ) ∈ 𝒳 ( - τ , T ) 是系统(13)的局部解,则存在不依赖于T > 0 的常数δ 2 > 0 , ν > 0 和C > 1 , 得当M W ( T ) ≤ δ 2 时,
∑ i = 1 5 [ W i ( t ) C 2 + W i ( t ) H ω 1 2 + ∫ 0 t e - 2 ν ( t - s ) W i ( s ) H ω 1 2 d s ] ≤ C e - 2 ν t M W 2 ( 0 ) , t ∈ [ 0 , T ] (15)
为了证明引理6,还需如下结论成立(引理7~9)。
引理7 令W i ( ξ , t ) ∈ 𝒳 ( - τ , T ) ,若0 < ν < ν ¯ 并且M W ( T ) ≪ 1 ,则存在正常数δ 2 和ν ,有:
∑ i = 1 5 [ W i ( t ) H ω 1 2 + ∫ 0 t e - 2 ν ( t - s ) W i ( s ) H ω 1 2 d s ] ≤ C e - 2 ν t [ ∑ i = 1 5 W i 0 ( 0 ) H ω 1 2 + ∫ - τ 0 W 20 ( s ) H ω 1 2 + W 50 ( s ) H ω 1 2 d s ] (16)
其中t ∈ [ 0 , T ] 。
证明 首先,在L ω 2 ( R ) 中估计W i ( ξ , t ) 。为此,(13)式的第一个方程两边同乘e 2 ν t ω ( ξ ) W 1 ( ξ , t ) ,可得:
{ 1 2 e 2 ν t ω ( ξ ) W 1 2 ( ξ , t ) } t + { 1 2 c ω ( ξ ) W 1 2 ( ξ , t ) } ξ e 2 ν t - d 1 ( ∫ R 𝒥 ( y ) W 1 ( ξ - y , t ) d y -
W 1 ( ξ , t ) ) e 2 ν t ω ( ξ ) W 1 ( ξ , t ) + [ l 1 ∫ R 𝒢 ( y ) ϕ 5 ( ξ - y - c τ ) d y - c 2 ⋅ ω ' ( ξ ) ω ( ξ ) - ν ] e 2 ν t ω ( ξ ) ⋅
W 1 2 ( ξ , t ) + l 1 ϕ 1 ( ξ ) ∫ ℝ 𝒢 ( y ) W 5 ( ξ - y - c τ , t - τ ) d y e 2 ν t ω ( ξ ) W 1 ( ξ , t ) =
- Q 1 ( W 1 ( ξ , t ) , 𝒢 * W 5 ( ξ - c τ , t - τ ) ) e 2 ν t ω ( ξ ) W 1 ( ξ , t ) (17)
此外,由ω W i ∈ H 1 ( R ) 可知,ω W i ξ = - ∞ ξ = + ∞ = 0 ,故有( c ω W i 2 ) ξ = - ∞ ξ = + ∞ = 0 , i = 1,2 , 3,4 , 5 。在R × [ 0 , t ] 上对(17)式等号两边关于( ξ , t ) 积分,可知:
e 2 ν t W 1 ( t ) L ω 2 2 - 2 d 1 ∫ 0 t ∫ R ∫ R 𝒥 ( y ) W 1 ( ξ - y , s ) e 2 ν s ω ( ξ ) W 1 ( ξ , s ) d y d ξ d s +
2 ∫ 0 t ∫ R [ d 1 + l 1 ∫ R 𝒢 ( y ) ϕ 5 ( ξ - y - c τ ) d y - c 2 ⋅ ω ' ( ξ ) ω ( ξ ) - ν ] e 2 ν s ω ( ξ ) W 1 2 ( ξ , s ) d ξ d s +
2 l 1 ∫ 0 t ∫ R ∫ R ϕ 1 ( ξ ) 𝒢 ( y ) W 5 ( ξ - y - c τ , s - τ ) e 2 ν s ω ( ξ ) W 1 ( ξ , s ) d y d ξ d s ≤
2 ∫ 0 t ∫ R - Q 1 ( W 1 ( ξ , s ) , 𝒢 * W 5 ( ξ - c τ , s - τ ) ) e 2 ν s ω ( ξ ) W 1 ( ξ , s ) d ξ d s + W 10 ( 0 ) L ω 2 2 (18)
接下来,对(18)式左边第2项和第4项分别运用Cauchy-Schwarz不等式和变量替换,可得:
2 d 1 ∫ 0 t ∫ R ∫ R 𝒥 ( y ) W 1 ( ξ - y , s ) e 2 ν s ω ( ξ ) W 1 ( ξ , s ) d y d ξ d s ≤
d 1 ∫ 0 t ∫ R e 2 ν s ω ( ξ ) W 1 2 ( ξ , s ) d ξ d s + d 1 ∫ 0 t ∫ R e 2 ν s ω ( ξ ) W 1 2 ( ξ , s ) ∫ R 𝒥 ( y ) e - λ y d y d ξ d s (19)
| 2 l 1 ∫ 0 t ∫ R ∫ R ϕ 1 ( ξ ) 𝒢 ( y ) W 5 ( ξ - y - c τ , s - τ ) e 2 ν s ω ( ξ ) W 1 ( ξ , s ) d y d ξ d s | ≤
l 1 ∫ 0 t ∫ R ϕ 1 ( ξ ) e 2 ν s ω ( ξ ) W 1 2 ( ξ , s ) d ξ d s + l 1 ∫ 0 t ∫ R ∫ R ϕ 1 ( ξ ) e 2 ν s ω ( ξ ) 𝒢 ( y ) W 5 2 ( ξ - y - c τ , s - τ ) d y d ξ d s ≤
l 1 ∫ 0 t ∫ R ϕ 1 ( ξ ) e 2 ν s ω ( ξ ) W 1 2 ( ξ , s ) d ξ d s +
l 1 e 2 ν τ ∫ - τ 0 ∫ R ∫ R e - λ ( c τ + y ) 𝒢 ( y ) ϕ 1 ( ξ + y + c τ ) e 2 ν s ω ( ξ ) W 50 2 ( ξ , s ) d y d ξ d s +
l 1 e 2 ν τ ∫ 0 t ∫ R ∫ R e - λ ( c τ + y ) 𝒢 ( y ) ϕ 1 ( ξ + y + c τ ) e 2 ν s ω ( ξ ) W 5 2 ( ξ , s ) d y d ξ d s (20)
结合(18)~(20)式,可知:
e 2 ν t W 1 ( t ) L ω 2 2 + ∫ 0 t ∫ R [ d 1 + 2 l 1 ∫ R 𝒢 ( y ) ϕ 5 ( ξ - y - c τ ) d y - l 1 ϕ 1 ( ξ ) - c ω ' ( ξ ) ω ( ξ ) - 2 ν -
d 1 ∫ R e - λ y 𝒥 ( y ) d y ] e 2 ν s ω ( ξ ) W 1 2 ( ξ , s ) d ξ d s ≤
W 10 ( 0 ) L ω 2 2 + 2 ∫ 0 t ∫ R | Q 1 ( W 1 ( ξ , s ) , 𝒢 * W 5 ( ξ - c τ , s - τ ) ) | e 2 ν s ω ( ξ ) | W 1 ( ξ , s ) | d ξ d s +
l 1 e 2 ν τ ∫ - τ 0 ∫ R ∫ R e - λ ( c τ + y ) 𝒢 ( y ) ϕ 1 ( ξ + y + c τ ) e 2 ν s ω ( ξ ) W 50 2 ( ξ , s ) d y d ξ d s +
l 1 e 2 ν τ ∫ 0 t ∫ R ∫ R e - λ ( c τ + y ) 𝒢 ( y ) ϕ 1 ( ξ + y + c τ ) e 2 ν s ω ( ξ ) W 5 2 ( ξ , s ) d y d ξ d s (21)
对(13)式的第2个方程两边同乘e 2 ν t ω ( ξ ) W 2 ( ξ , t ) ,可得:
{ 1 2 e 2 ν t ω ( ξ ) W 2 2 ( ξ , t ) } t + { 1 2 c ω ( ξ ) W 2 2 ( ξ , t ) } ξ e 2 ν t - d 2 ( ∫ R 𝒥 ( y ) W 2 ( ξ - y , t ) d y -
W 2 ( ξ , t ) ) e 2 ν t ω ( ξ ) W 2 ( ξ , t ) + [ μ h + α h - c 2 ⋅ ω ' ( ξ ) ω ( ξ ) - ν ] e 2 ν t ω ( ξ ) W 2 2 ( ξ , t ) - l 1 W 1 ( ξ , t ) W 2 ( ξ , t ) ⋅
∫ ℝ 𝒢 ( y ) ϕ 5 ( ξ - y - c τ ) d y e 2 ν t ω ( ξ ) - l 1 ϕ 1 ( ξ ) ∫ ℝ 𝒢 ( y ) W 5 ( ξ - y - c τ , t - τ ) d y e 2 ν t ω ( ξ ) W 2 ( ξ , t ) =
Q 1 ( W 1 ( ξ , t ) , 𝒢 * W 5 ( ξ - c τ , t - τ ) ) e 2 ν t ω ( ξ ) W 2 ( ξ , t ) (22)
在R × [ 0 , t ] 上对(22)式等号两边关于( ξ , t ) 积分,可知:
e 2 ν t W 2 ( t ) L ω 2 2 - 2 d 2 ∫ 0 t ∫ R ∫ R 𝒥 ( y ) W 2 ( ξ - y , s ) e 2 ν s ω ( ξ ) W 2 ( ξ , s ) d y d ξ d s +
2 ∫ 0 t ∫ R [ d 2 + μ h + α h - c 2 ⋅ ω ' ( ξ ) ω ( ξ ) - ν ] e 2 ν s ω ( ξ ) W 2 2 ( ξ , s ) d ξ d s - 2 l 1 ∫ 0 t ∫ R ∫ R 𝒢 ( y ) ϕ 5 ( ξ - y - c τ ) ⋅
e 2 ν s ω ( ξ ) W 1 ( ξ , s ) W 2 ( ξ , s ) d y d ξ d s -
2 l 1 ∫ 0 t ∫ R ∫ R ϕ 1 ( ξ ) 𝒢 ( y ) W 5 ( ξ - y - c τ , s - τ ) e 2 ν s ω ( ξ ) W 2 ( ξ , s ) d y d ξ d s ≤
2 ∫ 0 t ∫ R Q 1 ( W 1 ( ξ , s ) , 𝒢 * W 5 ( ξ - c τ , s - τ ) ) e 2 ν s ω ( ξ ) W 2 ( ξ , s ) d ξ d s + W 20 ( 0 ) L ω 2 2 (23)
运用Cauchy-Schwarz不等式,可得:
| 2 l 1 ∫ 0 t ∫ R ∫ R 𝒢 ( y ) ϕ 5 ( ξ - y - c τ ) W 1 ( ξ , s ) W 2 ( ξ , s ) e 2 ν s ω ( ξ ) d y d ξ d s | ≤
l 1 ∫ 0 t ∫ R ∫ R 𝒢 ( y ) ϕ 5 ( ξ - y - c τ ) e 2 ν s ω ( ξ ) W 1 2 ( ξ , s ) d y d ξ d s +
l 1 ∫ 0 t ∫ R ∫ R 𝒢 ( y ) ϕ 5 ( ξ - y - c τ ) e 2 ν s ω ( ξ ) W 2 2 ( ξ , s ) d y d ξ d s (24)
| 2 l 1 ∫ 0 t ∫ R ∫ R ϕ 1 ( ξ ) 𝒢 ( y ) W 5 ( ξ - y - c τ , s - τ ) e 2 ν s ω ( ξ ) W 2 ( ξ , s ) d y d ξ d s | ≤
l 1 ∫ 0 t ∫ R ϕ 1 ( ξ ) e 2 ν s ω ( ξ ) W 2 2 ( ξ , s ) d ξ d s +
l 1 e 2 ν τ ∫ - τ 0 ∫ R ∫ R e - λ ( c τ + y ) 𝒢 ( y ) ϕ 1 ( ξ + y + c τ ) e 2 ν s ω ( ξ ) W 50 2 ( ξ , s ) d y d ξ d s +
l 1 e 2 ν τ ∫ 0 t ∫ R ∫ R e - λ ( c τ + y ) 𝒢 ( y ) ϕ 1 ( ξ + y + c s ) e 2 ν s ω ( ξ ) W 5 2 ( ξ , s ) d y d ξ d s (25)
结合(23)~(25)式,可知:
e 2 ν t W 2 ( t ) L ω 2 2 + ∫ 0 t ∫ R [ d 2 + 2 μ h + 2 α h - l 1 ∫ R 𝒢 ( y ) ϕ 5 ( ξ - y - c τ ) d y - l 1 ϕ 1 ( ξ ) -
c ω ' ( ξ ) ω ( ξ ) - 2 ν - d 2 ∫ R e - λ y 𝒥 ( y ) d y ] e 2 ν s ω ( ξ ) W 2 2 ( ξ , s ) d ξ d s ≤
W 20 ( 0 ) L ω 2 2 + 2 ∫ 0 t ∫ R | Q 1 ( W 1 ( ξ , s ) , 𝒢 * W 5 ( ξ - c τ , s - τ ) ) | e 2 ν s ω ( ξ ) | W 2 ( ξ , s ) | d ξ d s +
l 1 e 2 ν τ ∫ - τ 0 ∫ R ∫ R e - λ ( c τ + y ) 𝒢 ( y ) ϕ 1 ( ξ + y + c τ ) e 2 ν s ω ( ξ ) W 50 2 ( ξ , s ) d y d ξ d s +
l 1 e 2 ν τ ∫ 0 t ∫ R ∫ R e - λ ( c τ + y ) 𝒢 ( y ) ϕ 1 ( ξ + y + c τ ) e 2 ν s ω ( ξ ) W 5 2 ( ξ , s ) d y d ξ d s +
l 1 ∫ 0 t ∫ R ∫ R 𝒢 ( y ) ϕ 5 ( ξ - y - c τ ) d y e 2 ν s ω ( ξ ) W 1 2 ( ξ , s ) d ξ d s (26)
对(13)式的第3个方程两边同乘e 2 ν t ω ( ξ ) W 3 ( ξ , t ) ,可得:
{ 1 2 e 2 ν t ω ( ξ ) W 3 2 ( ξ , t ) } t + { 1 2 c ω ( ξ ) W 3 2 ( ξ , t ) } ξ e 2 ν t - d 3 ( ∫ R 𝒥 ( y ) W 3 ( ξ - y , t ) d y -
W 3 ( ξ , t ) ) e 2 ν t ω ( ξ ) W 3 ( ξ , t ) - α h e 2 ν t ω ( ξ ) W 2 ( ξ , t ) W 3 ( ξ , t ) - [ c 2 ⋅ ω ' ( ξ ) ω ( ξ ) + ν ] e 2 ν t ω ( ξ ) W 3 2 ( ξ , t ) = 0 (27)
在R × [ 0 , t ] 上对(27)式中的等式两边关于( ξ , t ) 积分,可知:
e 2 ν t W 3 ( t ) L ω 2 2 - 2 d 3 ∫ 0 t ∫ R ∫ R 𝒥 ( y ) W 3 ( ξ - y , s ) e 2 ν s ω ( ξ ) W 3 ( ξ , s ) d y d ξ d s -
2 α h ∫ 0 t ∫ ℝ e 2 ν s ω ( ξ ) W 2 ( ξ , s ) W 3 ( ξ , s ) d ξ d s + 2 ∫ 0 t ∫ R [ d 3 - c 2 ⋅ ω ' ( ξ ) ω ( ξ ) - ν ] e 2 ν s ω ( ξ ) W 3 2 ( ξ , s ) d ξ d s ≤ W 30 ( 0 ) L ω 2 2 (28)
利用Cauchy-Schwarz不等式,可得:
| 2 α h ∫ 0 t ∫ R e 2 ν s ω ( ξ ) W 2 ( ξ , s ) W 3 ( ξ , s ) d ξ d s | ≤
α h ∫ 0 t ∫ R e 2 ν s ω ( ξ ) W 2 2 ( ξ , s ) d ξ d s + α h ∫ 0 t ∫ R e 2 ν s ω ( ξ ) W 3 2 ( ξ , s ) d ξ d s (29)
结合(28)~(29)式,可知:
e 2 ν t W 3 ( t ) L ω 2 2 + ∫ 0 t ∫ R [ d 3 - α h - c ω ' ( ξ ) ω ( ξ ) - 2 ν - d 3 ∫ R 𝒥 ( y ) e - λ y d y ] e 2 ν s ω ( ξ ) W 3 2 ( ξ , s ) d ξ d s ≤
W 30 ( 0 ) L ω 2 2 + α h ∫ 0 t ∫ R e 2 ν s ω ( ξ ) W 2 2 ( ξ , s ) d ξ d s (30)
对(13)式的第4个方程作类似(21)式的估计,可得:
e 2 ν t W 4 ( t ) L ω 2 2 - 2 d 4 ∫ 0 t ∫ R ∫ R 𝒥 ( y ) W 4 ( ξ - y , s ) e 2 ν s ω ( ξ ) W 4 ( ξ , s ) d y d ξ d s +
2 ∫ 0 t ∫ R [ d 4 + l 2 ∫ R 𝒢 ( y ) ϕ 2 ( ξ - y - c τ ) d y - c 2 ⋅ ω ' ( ξ ) ω ( ξ ) - ν ] e 2 ν s ω ( ξ ) W 4 2 ( ξ , s ) d ξ d s +
2 l 2 ∫ 0 t ∫ R ∫ R ϕ 4 ( ξ ) 𝒢 ( y ) W 2 ( ξ - y - c τ , s - τ ) e 2 ν s ω ( ξ ) W 40 ( ξ , s ) d y d ξ d s ≤ 2 ∫ 0 t ∫ R - Q 2 ( 𝒢 * W 2 ( ξ - c τ , s - τ ) , W 4 ( ξ , s ) ) e 2 ν s ω ( ξ ) W 4 ( ξ , s ) d ξ d s + W 40 ( 0 ) L ω 2 2 (31)
运用Cauchy-Schwarz不等式,可得:
e 2 ν t W 4 ( t ) L ω 2 2 + ∫ 0 t ∫ R [ d 4 + 2 l 2 ∫ R 𝒢 ( y ) ϕ 2 ( ξ - y - c τ ) d y - l 2 ϕ 4 ( ξ ) - c ω ' ( ξ ) ω ( ξ ) - 2 ν -
d 4 ∫ R e - λ y 𝒥 ( y ) d y ] e 2 ν s ω ( ξ ) W 4 2 ( ξ , s ) d ξ d s ≤
W 40 ( 0 ) L ω 2 2 + 2 ∫ 0 t ∫ R | Q 2 ( 𝒢 * W 2 ( ξ - c τ , s - τ ) , W 4 ( ξ , s ) ) | e 2 ν s ω ( ξ ) | W 4 ( ξ , s ) | d ξ d s +
l 2 e 2 ν τ ∫ - τ 0 ∫ R ∫ R e - λ ( c τ + y ) 𝒢 ( y ) ϕ 4 ( ξ + y + c τ ) e 2 ν s ω ( ξ ) W 20 2 ( ξ , s ) d y d ξ d s +
l 2 e 2 ν τ ∫ 0 t ∫ R ∫ R e - λ ( c τ + y ) 𝒢 ( y ) ϕ 4 ( ξ + y + c τ ) e 2 ν s ω ( ξ ) W 2 2 ( ξ , s ) d y d ξ d s (32)
对(13)式的第5个方程作类似(26)式的估计,可得:
e 2 ν t W 5 ( t ) L ω 2 2 + ∫ 0 t ∫ R [ d 5 + 2 μ v - l 2 ∫ R 𝒢 ( y ) ϕ 2 ( ξ - y - c τ ) d y - l 2 ϕ 4 ( ξ ) -
c ω ' ( ξ ) ω ( ξ ) - 2 ν - d 5 ∫ R e - λ y 𝒥 ( y ) d y ] e 2 ν s ω ( ξ ) W 5 2 ( ξ , s ) d ξ d s ≤
W 50 ( 0 ) L ω 2 2 + 2 ∫ 0 t ∫ R | Q 2 ( 𝒢 * W 2 ( ξ - c τ , s - τ ) , W 4 ( ξ , s ) ) | e 2 ν s ω ( ξ ) | W 5 ( ξ , s ) | d ξ d s +
l 2 e 2 ν τ ∫ - τ 0 ∫ R ∫ R e - λ ( c τ + y ) 𝒢 ( y ) ϕ 4 ( ξ + y + c τ ) e 2 ν s ω ( ξ ) W 20 2 ( ξ , s ) d y d ξ d s +
l 2 e 2 ν τ ∫ 0 t ∫ R ∫ R e - λ ( c τ + y ) 𝒢 ( y ) ϕ 4 ( ξ + y + c τ ) e 2 ν s ω ( ξ ) W 2 2 ( ξ , s ) d y d ξ d s +
l 2 ∫ 0 t ∫ R ∫ R 𝒢 ( y ) ϕ 2 ( ξ - y - c τ ) d y e 2 ν s ω ( ξ ) W 4 2 ( ξ , s ) d ξ d s (33)
其中,ω ( ξ + y ) ω ( ξ ) = e - λ y ,ω ( ξ + c τ ) ω ( ξ ) = e - λ c τ 。故扰动解W i ( ξ , t ) ( i = 1,2 , 3,4 , 5 ) 满足:
∑ i = 1 5 e 2 ν t W i ( t ) L ω 2 2 + ∫ 0 t ∫ R 𝒜 1 , ν , ω ( ξ ) e 2 ν s ω ( ξ ) W 1 2 ( ξ , s ) d ξ d s +
∫ 0 t ∫ R 𝒜 2 , ν , ω ( ξ ) e 2 ν s ω ( ξ ) W 2 2 ( ξ , s ) d ξ d s + ∫ 0 t ∫ R 𝒜 3 , ν , ω ( ξ ) e 2 ν s ω ( ξ ) W 3 2 ( ξ , s ) d ξ d s +
∫ 0 t ∫ R 𝒜 4 , ν , ω ( ξ ) e 2 ν s ω ( ξ ) W 4 2 ( ξ , s ) d ξ d s + ∫ 0 t ∫ R 𝒜 5 , ν , ω ( ξ ) e 2 ν s ω ( ξ ) W 5 2 ( ξ , s ) d ξ d s ≤
∑ i = 1 5 W i 0 ( 0 ) L ω 2 2 + 2 ∫ 0 t ∫ R | Q 1 ( W 1 ( ξ , s ) , 𝒢 * W 5 ( ξ - c τ , s - τ ) ) | e 2 ν s ω ( ξ ) ( | W 1 ( ξ , s ) | +
| W 2 ( ξ , s ) | ) d ξ d s + 2 l 1 e 2 ν τ ∫ - τ 0 ∫ R ∫ R e - λ ( c τ + y ) 𝒢 ( y ) ϕ 1 ( ξ + y + c τ ) e 2 ν s ω ( ξ ) W 50 2 ( ξ , s ) d y d ξ d s +
2 ∫ 0 t ∫ R | Q 2 ( 𝒢 * W 2 ( ξ - c τ , s - τ ) , W 4 ( ξ , s ) ) | e 2 ν s ω ( ξ ) ( | W 4 ( ξ , s ) | + | W 5 ( ξ , s ) | ) d ξ d s +
2 l 2 e 2 ν τ ∫ - τ 0 ∫ R ∫ R e - λ ( c τ + y ) 𝒢 ( y ) ϕ 4 ( ξ + y + c τ ) e 2 ν s ω ( ξ ) W 20 2 ( ξ , s ) d y d ξ d s (34)
下面估计(34)式中的Q i ( ⋅ , ⋅ ) ( i = 1,2 ) 。由Cauchy-Schwarz不等式和Taylor公式,不难得到:
| Q 1 ( W 1 ( ξ , t ) , 𝒢 * W 5 ( ξ - c τ , t - τ ) | ≤ C [ W 1 2 ( ξ , t ) + ∫ ℝ 𝒢 ( y ) W 5 2 ( ξ - y - c τ , t - τ ) d y ] (35)
| Q 2 ( 𝒢 * W 2 ( ξ - c τ , t - τ ) , W 1 ( ξ , t ) | ≤ C [ W 4 2 ( ξ , t ) + ∫ ℝ 𝒢 ( y ) W 2 2 ( ξ - y - c τ , t - τ ) d y ] (36)
又由M W 2 ( ⋅ ) 的定义和(35)式可知:
2 ∫ 0 t ∫ R | Q 1 ( W 1 ( ξ , s ) , 𝒢 * W 5 ( ξ - c τ , s - τ ) ) | e 2 ν s ω ( ξ ) ( | W 1 ( ξ , s ) | + | W 2 ( ξ , s ) | ) d ξ d s ≤
C M W ( T ) [ ∫ 0 t ∫ R e 2 ν s ω ( ξ ) W 1 2 ( ξ , s ) d ξ d s + ∫ 0 t ∫ R ∫ R 𝒢 ( y ) e 2 ν s ω ( ξ ) W 5 2 ( ξ - y - c τ , s - τ ) d y d ξ d s ] ≤
C M W ( T ) e 2 ν τ [ ∫ 0 t ∫ R e 2 ν s ω ( ξ ) W 1 2 ( ξ , s ) d ξ d s + ∫ - τ 0 ∫ R e 2 ν s ω ( ξ ) W 50 2 ( ξ , s ) d ξ d s + ∫ 0 t ∫ R e 2 ν s ω ( ξ ) W 5 2 ( ξ , s ) d ξ d s ] (37)
类似可得:
2 ∫ 0 t ∫ R | Q 2 ( 𝒢 * W 2 ( ξ - c τ , s - τ ) , W 4 ( ξ , s ) ) | e 2 ν s ω ( ξ ) ( | W 4 ( ξ , s ) | + | W 5 ( ξ , s ) | ) d ξ d s ≤
C M W ( T ) e 2 ν τ [ ∫ 0 t ∫ R e 2 ν s ω ( ξ ) W 4 2 ( ξ , s ) d ξ d s + ∫ - τ 0 ∫ R e 2 ν s ω ( ξ ) W 20 2 ( ξ , s ) d ξ d s + ∫ 0 t ∫ R e 2 ν s ω ( ξ ) W 2 2 ( ξ , s ) d ξ d s ] (38)
将(37)~(38)式代入(34)式,可得:
∑ i = 1 5 e 2 ν t W i ( t ) L ω 2 2 + ∫ 0 t ∫ R [ 𝒜 1 , ν , ω ( ξ ) - C M W ( T ) e 2 ν τ ] e 2 ν s ω ( ξ ) W 1 2 ( ξ , s ) d ξ d s +
∫ 0 t ∫ R [ 𝒜 2 , ν , ω ( ξ ) - C M W ( T ) e 2 ν τ ] e 2 ν s ω ( ξ ) W 2 2 ( ξ , s ) d ξ d s + ∫ 0 t ∫ R 𝒜 3 , ν , ω ( ξ ) e 2 ν s ω ( ξ ) W 3 2 ( ξ , s ) d ξ d s +
∫ 0 t ∫ R [ 𝒜 4 , ν , ω ( ξ ) - C M W ( T ) e 2 ν τ ] e 2 ν s ω ( ξ ) W 4 2 ( ξ , s ) d ξ d s +
∫ 0 t ∫ R [ 𝒜 5 , ν , ω ( ξ ) - C M W ( T ) e 2 ν τ ] e 2 ν s ω ( ξ ) W 5 2 ( ξ , s ) d ξ d s ≤
∑ i = 1 5 W i 0 ( 0 ) L ω 2 2 + e 2 ν τ ∫ - τ 0 ∫ R [ 2 l 1 ∫ R e - λ ( c τ + y ) 𝒢 ( y ) ϕ 1 ( ξ + y + c τ ) d y + C M W ( T ) ] ⋅
e 2 ν s ω ( ξ ) W 50 2 ( ξ , s ) d ξ d s + e 2 ν τ ∫ - τ 0 ∫ R [ 2 l 2 ∫ R e - λ ( c τ + y ) 𝒢 ( y ) ϕ 4 ( ξ + y + c τ ) d y +
C M W ( T ) ] e 2 ν s ω ( ξ ) W 20 2 ( ξ , s ) d ξ d s (39)
由于M W ( T ) ≪ 1 ,并且当ξ ∈ R 时有𝒜 i , ν , ω ( ξ ) > 0 ( i = 1,2 , 3,4 , 5 ) ,故存在正常数δ 3 ,δ 4 ,δ 5 ,和δ 6 ,使得:
𝒜 1 , ν , ω ( ξ ) - C δ 3 e 2 ν τ > 0 , 𝒜 2 , ν , ω ( ξ ) - C δ 4 e 2 ν τ > 0 , 𝒜 4 , ν , ω ( ξ ) - C δ 5 e 2 ν τ > 0 , 𝒜 5 , ν , ω ( ξ ) - C δ 6 e 2 ν τ > 0
令δ 2 ≔ m i n { δ 3 , δ 4 , δ 5 , δ 6 } ,则M W ( T ) ≤ δ 2 时,有𝒜 i , ν , ω ( ξ ) - C M W ( T ) e 2 ν τ > 𝒜 i , ν , ω ( ξ ) - C δ 2 e 2 ν τ > 0 ( i = 1,2 , 4,5 ) 。于是,可得W i ( i = 1,2 , 3,4 , 5 ) 的能量估计:
∑ i = 1 5 [ W i ( t ) L ω 2 2 + ∫ 0 t e - 2 ν ( t - s ) W i ( s ) L ω 2 2 d s ] ≤
C e - 2 ν t [ ∑ i = 1 5 W i 0 ( 0 ) L ω 2 2 + ∫ - τ 0 W 20 ( s ) L ω 2 2 d s + ∫ - τ 0 W 50 ( s ) L ω 2 2 d s ] (40)
类似(40)式的讨论过程,可得W i ξ ( i = 1,2 , 3,4 , 5 ) 的能量估计:
∑ i = 1 5 [ W i ξ ( t ) L ω 2 2 + ∫ 0 t e - 2 ν ( t - s ) W i ξ ( s ) L ω 2 2 d s ] ≤
C e - 2 ν t [ ∑ i = 1 5 W i 0 ( 0 ) H ω 1 2 + ∫ - τ 0 W 20 ( s ) H ω 1 2 d s + ∫ - τ 0 W 50 ( s ) H ω 1 2 d s ] (41)
因此,结合(40)~(41)式有(16)式成立。证毕。
引理8 令W i ∈ H ω 1 ( R ) ,则ω W i ∈ H ω 1 ( R ) 且| | ω W i | | C ≤ C W i H ω 1 ,及s u p ξ ∈ ( - ∞ , ξ 0 ] | W i ( ξ , t ) | ≤ C e - ν t M W ( 0 ) ,
最后,还需建立W i ( ξ , t ) ( i = 1,2 , 3,4 , 5 ) 在ξ = + ∞ 时的衰减估计。由于W i ( ξ , t ) ∈ 𝒞 u n i f [ - τ i , T ] ,故l i m ξ → + ∞ W i ( ξ , t ) 关于t ∈ [ 0 , T ] 一致存在,且l i m ξ → + ∞ [ 𝒥 * W i ( ξ , t ) - W i ( ξ , t ) ] = 0 , t ∈ [ 0 , T ] 。令W ˜ i ( x , t ) = u i ( x , t ) - ϕ i ( x + c t ) = W i ( ξ , t ) , i = 1,2 , 3,4 , 5 ,则W ˜ i ( x , t ) 满足:
W ˜ 1 t ( x , t ) - d 1 ( 𝒥 * W ˜ 1 ( x , t ) - W ˜ 1 ( x , t ) ) + l 1 W ˜ 1 ( x , t ) 𝒢 * ϕ 5 ( ξ - c τ ) + l 1 ϕ 1 ( ξ ) 𝒢 * W ˜ 5 ( x - c τ , t - τ ) = - Q 1 ( W ˜ 1 ( x , t ) , 𝒢 * W ˜ 5 ( x - c τ , t - τ ) ) W ˜ 2 t ( x , t ) - d 2 ( 𝒥 * W ˜ 2 ( x , t ) - W ˜ 2 ( x , t ) ) - l 1 W ˜ 1 ( x , t ) 𝒢 * ϕ 5 ( ξ - c τ ) - l 1 ϕ 1 ( ξ ) 𝒢 * W ˜ 5 ( x - c τ , t - τ ) + ( μ h + α h ) W ˜ 2 ( x , t ) = Q 1 ( W ˜ 1 ( x , t ) , 𝒢 * W ˜ 5 ( x - c τ , t - τ ) ) W ˜ 3 t ( x , t ) - d 3 ( 𝒥 * W ˜ 3 ( x , t ) - W ˜ 3 ( x , t ) ) - α h W ˜ 3 ( x , t ) = 0 W ˜ 4 t ( x , t ) - d 4 ( 𝒥 * W ˜ 4 ( x , t ) - W ˜ 4 ( x , t ) ) + l 2 W ˜ 4 ( x , t ) 𝒢 * ϕ 2 ( ξ - c τ ) + l 2 ϕ 4 ( ξ ) 𝒢 * W ˜ 2 ( x - c τ , t - τ ) = - Q 2 ( 𝒢 * W ˜ 2 ( x - c τ , t - τ ) , W ˜ 4 ( x , t ) ) W ˜ 5 t ( x , t ) - d 5 ( 𝒥 * W ˜ 5 ( x , t ) - W ˜ 5 ( x , t ) ) - l 2 W ˜ 4 ( x , t ) 𝒢 * ϕ 2 ( ξ - c τ ) - l 2 ϕ 4 ( ξ ) 𝒢 * W ˜ 2 ( x - c τ , t - τ ) + μ v W ˜ 5 ( x , t ) = Q 2 ( 𝒢 * W ˜ 2 ( x - c τ , t - τ ) , W ˜ 4 ( x , t ) ) W ˜ i ( x , 0 ) = W ˜ i 0 ( x ) , x ∈ R , i = 1,3 , 4 W ˜ i ( x , s ) = W ˜ i 0 ( x , s ) , ( x , s ) ∈ R × [ - τ , 0 ] , i = 2,5 (42)
和l i m ξ → + ∞ W i ( ξ , t ) = l i m x → + ∞ W ˜ i ( x , t ) = W ˜ i ( ∞ , t ) ( i = 1,2 , 3,4 , 5 ) 关于t ∈ [ 0 , T ] 一致存在。在(42)式中,令x → + ∞ ,可得:
W ˜ 1 t ( ∞ , t ) + l 1 W ˜ 1 ( ∞ , t ) ϕ 5 ( ∞ ) + l 1 ϕ 1 ( ∞ ) W ˜ 5 ( ∞ , t - τ ) = - Q 1 ( W ˜ 1 ( ∞ , t ) , 𝒢 * W ˜ 5 ( ∞ , t - τ ) ) W ˜ 2 t ( ∞ , t ) - l 1 W ˜ 1 ( ∞ , t ) ϕ 5 ( ∞ ) - l 1 ϕ 1 ( ∞ ) W ˜ 5 ( ∞ , t - τ ) + ( μ h + α h ) W ˜ 2 ( ∞ , t ) = Q 1 ( W ˜ 1 ( ∞ , t ) , W ˜ 5 ( ∞ , t - τ ) ) W ˜ 3 t ( ∞ , t ) - α h W ˜ 3 ( ∞ , t ) = 0 W ˜ 4 t ( ∞ , t ) + l 2 W ˜ 4 ( ∞ , t ) ϕ 2 ( ∞ ) + l 2 ϕ 4 ( ∞ ) W ˜ 2 ( ∞ , t - τ ) = - Q 2 ( 𝒢 * W ˜ 2 ( ∞ , t - τ ) , W ˜ 4 ( ∞ , t ) ) W ˜ 5 t ( ∞ , t ) - l 2 W ˜ 4 ( ∞ , t ) ϕ 2 ( ∞ ) - l 2 ϕ 4 ( ∞ ) W ˜ 2 ( ∞ , t - τ ) + μ v W ˜ 5 ( ∞ , t ) = Q 2 ( W ˜ 2 ( ∞ , t - τ ) , W ˜ 4 ( ∞ , t ) ) W ˜ i ( ∞ , 0 ) = W ˜ i 0 ( ∞ ) , i = 1,3 , 4 W ˜ i ( ∞ , s ) = W ˜ i 0 ( ∞ , s ) , s ∈ [ - τ , 0 ] , i = 2,5 (43)
接下来,为了估计非线性时滞系统(43),考虑其相应的线性系统W ˜ ' ( t ) = A W ˜ ( t ) + B W ˜ ( t - τ ) ,其中,W ˜ ( ⋅ ) = ( W ˜ 1 ( ⋅ ) , W ˜ 2 ( ⋅ ) , W ˜ 3 ( ⋅ ) , W ˜ 4 ( ⋅ ) , W ˜ 5 ( ⋅ ) ) T ,
A = - l 1 ϕ 5 ( ∞ ) 0 0 0 0 l 1 ϕ 5 ( ∞ ) - ( μ h + α h ) 0 0 0 0 0 α h 0 0 0 0 0 - l 2 ϕ 2 ( ∞ ) 0 0 0 0 l 2 ϕ 2 ( ∞ ) - μ v ,B = 0 0 0 0 - l 1 ϕ 1 ( ∞ ) 0 0 0 0 l 1 ϕ 1 ( ∞ ) 0 0 0 0 0 0 - l 2 ϕ 4 ( ∞ ) 0 0 0 0 l 2 ϕ 4 ( ∞ ) 0 0 0
考虑满足初值
Ψ ( s ) = ( W ˜ 10 ( ∞ , 0 ) , W ˜ 20 ( ∞ , s ) , W ˜ 30 ( ∞ , 0 ) , W ˜ 40 ( ∞ , 0 ) , W ˜ 50 ( ∞ , s ) ) T , s ∈ [ - τ , 0 ] 的常微分方程
W ˜ ' ( t ) = P W ˜ ( t ) ,其中
P = A + B 。利用Hurwitz判据可知,矩阵
P 的所有特征值均有负实部。类似文献[
19 ]的引理3.9可知,存在正常数
ε ,使得
| W ˜ i ( ∞ , t ) | = | W i ( ∞ , t ) | ≤ C M W ( 0 ) e - ε t , t ∈ [ 0 , T ] ,故可得引理9。
引理9 假设τ ∈ ( 0 , τ 0 ) ,则存在常数ε > 0 和不依赖于t 且充分大的常数ξ 0 ≫ 1 使得
s u p ξ ∈ ( ξ 0 , ∞ ] | W i ( ξ , t ) | ≤ C M W ( 0 ) e - ε t , t ∈ [ 0 , T ] , i = 1,2 , 3,4 , 5
从而,可选择满足0 < ν < m i n { ε , ν ¯ } 的ν ,结合引理8和引理9,可得引理6。
定理2的证明 由引理6可知,存在δ 2 ,ν 和C 为不依赖于T 的正常数。令δ 1 = m a x { C m 0 M W ( 0 ) , δ 2 } ,δ 0 = m i n { δ 2 m 0 , δ 2 C m 0 } 。由引理4可知,存在t 0 = t 0 ( δ 1 ) > 0 使得W ( ξ , t ) ∈ 𝒳 ( - τ , t 0 ) 。根据δ 0 和δ 1 的定义,可得M W ( t 0 ) ≤ δ 2 。在区间[ 0 , t 0 ] 上应用引理6,可建立当t ∈ [ 0 , t 0 ] 时W i ( ξ , t ) ( i = 1,2 , 3,4 , 5 ) 的指数衰减估计(15)式。接下来,考虑具有初始数据
W i ( ξ , s 1 ) = W i 0 ( ξ , s 1 ) , ξ ∈ R , s 1 ∈ [ 0 , t 0 ] , i = 1,3 , 4 W i ( ξ , s ) = W i 0 ( ξ , s ) , ξ ∈ R , s ∈ [ t 0 - τ , t 0 ] , i = 2,5 (44)
的系统(13)。再次借助引理4,可证明当t ∈ [ t 0 , 2 t 0 ] 时满足初始条件(44)的Cauchy问题解的存在性,即W ( ξ , t ) ∈ 𝒳 ( - τ , 2 t 0 ) 。从而,解的时间区间延拓到了[ - τ , 2 t 0 ] ,则由引理6,可以建立当t ∈ [ 0,2 t 0 ] 时W i ( ξ , t ) ( i = 1,2 , 3,4 , 5 ) 的指数衰减估计(15)式。重复上述过程,可得W ( ξ , t ) ∈ 𝒳 ( - τ , ∞ ) ,且当t ∈ [ 0 , ∞ ] 时,W i ( ξ , t ) 满足指数衰减估计(15)式。证毕。
3 结 语
本文主要研究了一类具有空间非局部效应的时滞登革热模型单稳行波解的稳定性。基于目前对登革热模型的研究大多是单稳行波解的存在性结果,我们的工作不仅将Laplace扩散登革热模型的研究推广到了非局部扩散情形,还补充完善了对登革热传染病模型单稳行波解的稳定性分析。从传染病学的角度,行波解的稳定性决定了疾病的传播形式与发展态势是否发生大的改变:一旦传染波不稳定,传播形式和性态发生改变,传染病的发展态势难以预测。因此,本文得到的行波解是指数稳定的这一结果,表明经历长时间后,登革热的传播终将趋于稳定,这为理解此类传染病的传播机制与防控策略提供了理论依据。
国家自然科学基金(12361038)
甘肃省基础研究创新群体项目(25JRRA805)