Propagation Dynamics of Forced Pulsating Waves for a Time Periodic Lotka-Volterra Cooperative System with Nonlocal Effects in Shifting Habitats

Abstract

In this paper, we will concern the existence, asymptotic behaviors and stability of forced pulsating waves for a Lotka-Volterra cooperative system with nonlocal effects under shifting habitats. By using the alternatively-coupling upper-lower solution method, we establish the existence of forced pulsating waves, as long as the shifting speed falls in a finite interval where the endpoints are obtained from KPP-Fisher speeds. The asymptotic behaviors of the forced pulsating waves are derived. Finally, with proper initial, the stability of the forced pulsating waves is studied by the squeezing technique based on the comparison principle.

Share and Cite:

Gong, Z. (2024) Propagation Dynamics of Forced Pulsating Waves for a Time Periodic Lotka-Volterra Cooperative System with Nonlocal Effects in Shifting Habitats. Journal of Applied Mathematics and Physics, 12, 3402-3421. doi: 10.4236/jamp.2024.1210202.

1. Introduction

Climate change, such as global warming, is believed to be the greatest threat to biodiversity [1]. Global warming has caused the destruction of Marine species diversity near the equator, and species have shown a trend of migration to the north and south poles. In the past, the tropics provided ideal temperatures for many species. But as the equatorial waters get hotter, the outflow of the species that originally lived there accelerates. Ocean warming is causing large-scale changes in the latitudinal gradient of Marine biodiversity. At the same time, creatures that live on land would also move to the poles and colder elevations. Climate change drives the shifts in species range and distribution, see [2] [3]. This impact on ecological species has to be taken seriously.

For this phenomenon and its influence, many researchers have made very great scientific research results, see [4]-[12]. Berestycki et al. [13] proposed a reaction-diffusion equation under a shifting environment.

u t ( t,x )=d u xx ( t,x )+g( xct,u( t,x ) ),t + ,x. (1)

Here, u( t,x ) denotes the population density at time t and location x. The function g represents the net effect of reproduction and mortality and d>0 is the diffusion rate for species. They have proved the existence of the forced traveling waves for Equation (1). In [14], Berestycki and Fang established the existence and nonexistence of forced waves for the Fisher-KPP equation in a shifting environment.

u t ( t,x )=d u xx ( t,x )+u( t,x )[ r( xct )u( t,x ) ],t + ,x. (2)

Wu et al. [15] were concerned with the existence and uniqueness of forced waves in a general reaction-diffusion equation with time delay under climate change. They showed that a nondecreasing and unique wavefront with a speed consistent with the habitat shifting speed exists for Equation (2).

Species interactions can influence the range sizes of populations. Both two species follow the Logistic growth rate, which is “on the move” to capture the key point that the environment is both heterogeneous and directionally shifting over time with a forced rate c>0 . As is well known, there are usually more than one biological species sharing the same habitat and their typically interspecies relationships. Thus, there is a growing interest in the study of two species in shifting habitats, for example, competition [16] [17], cooperation [18] [19] and predator-prey [20] [21].

Subject to seasonal succession, climate change provides such a shifting and time-periodic environment for the species. Fang et al. in [22] studied the nonautonomous reaction-diffusion equation in a time-periodic shifting environment,

u t ( t,x )= u xx ( t,x )+u( t,x )g( t,xct,u( t,x ) ),t>0,x.

That is g( xct,u( t,x ) ) in Equation (1) becomes g( t,xct,u( t,x ) ) . It can be understood as the functional response to the time-periodic variation. Periodicity frequently appears in mathematical modelings due to seasonal changes typically related to climate changes. In the case when r i ( t ) become r i ( t,xct ),i=1,2 in [19], we can get the following time periodic Lotka-Volterra cooperative system

{ u t ( t,x )= d 1 u xx ( t,x )+u( t,x )[ r 1 ( t,xct )u( t,x )+ a 1 v( t,x ) ],t + ,x, v t ( t,x )= d 2 v xx ( t,x )+v( t,x )[ r 2 ( t,xct )v( t,x )+ a 2 u( t,x ) ],t + ,x, (3)

where u( t,x ) and v( t,x ) are the population densities of two species competing for common resource at time t and position x; d 1 and d 2 are the diffusive coefficients; the parameters a 1 and a 2 reflect the strength of interspecies cooperation and a i >0,i=1,2 . Most importantly, the terms r 1 ( t,xct ) and r 2 ( t,xct ) are dependent on time t and the climate shifting variable xct . r i ( t, ),i=1,2 are assumed to be T-periodic in the first variable t for some positive number T. We have studied the existence, asymptotic behavior, and stability of forced pulsating waves for Equation (3) in our previous work. For the monostable case, Zhao and Ruan [23] showed that system Equation (2) possesses periodic traveling waves only when the wave speed is greater than or equal to a minimal wave speed c min . Liang, Yi, and Zhao [24] investigated spreading speeds and traveling wave solutions for general periodic evolution systems.

Note that the classical reaction-diffusion equation, like Equation (2), is based on the assumption that the internal interaction of species is random and local, i.e., individuals move randomly between adjacent spatial locations. However, this is not always the case in reality. The movements and interactions of many species in ecology and biology can occur between non-adjacent spatial locations, see [25]. Thus, considering the shifting environment and nonlocal predation, Equation (3) was modified to the following form:

{ u t ( t,x )= d 1 u xx ( t,x )+u( t,x )[ r 1 ( t,xct )u( t,x )+ a 1 ( J 1 v( t,x ) ) ],t + ,x, v t ( t,x )= d 2 v xx ( t,x )+v( t,x )[ r 2 ( t,xct )v( t,x )+ a 2 ( J 2 u( t,x ) ) ],t + ,x, (4)

where

( J 1 v )( t,x )= J 1 ( xy )v( t,y )dy= J 1 ( y )v( t,xy )dy, ( J 2 u )( t,x )= J 2 ( xy )u( t,y )dy= J 2 ( y )u( t,xy )dy.

This paper is devoted to the existence, asymptotic behaviors and stability of forced pulsating waves of the Equation (4).

Throughout the present paper, the following assumptions are valid.

(H1) Assume that r i ( t,z ),i=1,2 is continuous, T-periodic in t and increasing in z. Moreover,

lim z r i ( t,z )= β i ( t )<0, lim z r i ( t,z )= θ i ( t )>0,i=1,2, (5)

uniformly in t, where θ i ( t ), β i ( t ) C γ ( , ) for some γ with γ( 0,1 ) and they are T-periodic functions, that is β i ( t+T )=β( t ) , θ i ( t+T )= θ i ( t ) for all t + .

(H2) There is

θ i ( t ) r i ( t,z ) ~ A i e α i z ,z,

for some positive numbers α i , A i ( t ),i=1,2 . Here, the symbol “~” is the standard sign in asymptotic analysis.

(H3) J i ( x )C( , + ) are symmetric with J i ( y )dy=1 and there exists some λ 0 >0 such that J i ( y ) e λy dy< , λ( 0, λ 0 ] .

Next, we consider the following system of ordinary differential equations.

{ u ( t )=u( θ 1 ( t )u+ a 1 v ), v ( t )=v( θ 2 ( t )v+ a 2 u ).

Let r ¯ i = 1 T 0 T θ i ( s )ds >0 for i=1,2 . According to Theorem 1 of [26], the above the equation has a unique and globally asymptotically stable periodic positive solution ( p( t ),q( t ) ) under condition (H1).

By a forced pulsating wave solution of the system Equation (4), we mean a particular solution in the form of

( u,v )( t,x )=( U ˜ , V ˜ )( t,xct )=:( U ˜ , V ˜ )( t,z ),z=xct, (6)

satisfying

( U ˜ , V ˜ )( t+T,z )=( U ˜ , V ˜ )( t,z ).

A substitution of Equation (4) leads to the following wave profile system

{ U ˜ t = d 1 U ˜ zz +c U ˜ z + U ˜ [ r 1 ( t,z ) U ˜ + a 1 ( J 1 V ˜ ) ],t + ,z, V ˜ t = d 2 V ˜ zz +c V ˜ z + V ˜ [ r 2 ( t,z ) V ˜ + a 2 ( J 2 U ˜ ) ],t + ,z, (7)

subjected to

lim z ( U ˜ , V ˜ )( t,z )=( 0,0 ), lim z ( U ˜ , V ˜ )( t,z )=( p( t ),q( t ) ) (8)

uniformly in t.

To our knowledge, the heterogeneity caused by the shifting and periodic coefficients brings nontrivial difficulties. Our contributions in this paper can be summarized in three parts. In Section 2, we establish the existence of the forced pulsating waves by applying the alternatively-coupling upper-lower solution method. In Section 3, we establish the asymptotic behaviors of the forced pulsating waves. In Section 4, with proper initial, the stability of the forced pulsating waves is studied by the squeezing technique based on the comparison principle.

2. Existence of Forced Pulsating Waves for Equation (4)

Throughout this paper, we will use notation f( x ) ¯ to denote the average value of f( x ) on the interval [ 0,T ] , namely,

f( x ) ¯ = 1 T 0 T f ( x )dx.

For functions R( t,z ) and θ( t ) , we also use lim z R( t,z )=θ( t ) to denote lim z ( R( t,z )θ( t ) )=0 uniformly in t.

In order to demonstrate the existence of forced pulsating waves for Equation (4), we will provide an important lemma and examine the solvability of a spatio-temporal heterogenetic equation that may be thought of as a simplified form of the original system Equation (7).

Lemma 2.1. Assume that R( t,z ) is a nondecreasing and continuous function in z, and T-periodic in t, satisfying lim z R( t,z )<0 , lim z R( t,z )>0 uniformly in t. Then, for any c> c 0 ( d ) with

c 0 ( d ):= min μ>0 d μ 2 + θ( t ) ¯ μ =2 d θ( t ) ¯ ,

there exists a unique positive solution w( t,z ) , which is nondecreasing in z and T-periodic in t, for the following boundary problem.

{ w t =d w zz +c w z +w( R( t,z )w ),t + ,z, w( t, )=0,w( t, )=p( t ),t + . (9)

Moreover, if one views the solution w as a functional of R and d, then I( R,d ):=w( R,d )( t,z ) is nondecreasing in the variable R.

Proof. Lemma 2.1 in [27] can be utilized in a comparable manner to finish the proof, with the exception of uniqueness. Consequently, the details are omitted. For the uniqueness, we refer the reader to Lemma 3.2 in [22].

Theorem 2.1. Assume

c> c * , (10)

where c * =min{ c 0 ( d 1 ), c 0 ( d 2 ) } . Then, there exists a T-periodic solution ( U ˜ , V ˜ )( t,z ) to the system Equations (7)-(8). Moreover, U ˜ ( t,z ) and V ˜ ( t,z ) are nondecreasing in variable z, respectively.

Proof. By Lemma 2.1, we can define two sequences of functions as below.

V ˜ 0 :=0, U ˜ 0 :=I( r 1 , d 1 ), V ˜ 1 :=I( r 2 + a 2 ( J 2 U ˜ 0 ), d 2 ), U ˜ 1 :=I( r 1 + a 1 ( J 1 V ˜ 1 ), d 1 ), V ˜ n :=I( r 2 + a 2 ( J 2 U ˜ n1 ), d 2 ), U ˜ n :=I( r 1 + a 1 ( J 1 V ˜ n ), d 1 ).

By taking R( t,z )= r 1 ( t,z ) in Lemma 2.1, we can conclude that U ˜ 0 ( t,z ):=I( r 1 , d 1 ) is well-defined. Moreover, U ˜ 0 ( t, )=0 and U ˜ 0 ( t, )=p( t ) are held uniformly in t.

To proceed, we take R( t,z )= r 2 ( t,z )+ a 2 ( J 2 U ˜ 0 )( t,z ) in Lemma 2.1. It is easy to see that R( t, )=β( t )<0 , R( t, )=θ( t )+ a 2 p( t )>0 . Hence, it follows from Lemma 2.1 that V ˜ 1 :=I( r 2 + a 2 ( J 2 U ˜ 0 ), d 2 ) is well-defined and V ˜ 1 ( t, )=0 and V ˜ 1 ( t, )=q( t ) .

By a similar procedure, we can define U ˜ n ( t,z ),n1 and V ˜ n ( t,z ),n2 successively. Furthermore, under condition Equation (10), it can be derived directly from Lemmas 2.1 that U ˜ n ( t,z ) and V ˜ n ( t,z ) are nondecreasing in variable z for each n1 . In the meantime, U ˜ n U ˜ n+1 and V ˜ n V ˜ n+1 for all n0 . Further, together with the boundedness of two sequences { U ˜ n ( t,z ) } and { V ˜ n ( t,z ) } , i.e.,

0 U ˜ n , V ˜ n max t[ 0,T ] θ( t ),

for all ( t,z ) + × , there exist U ˜ ( t,z ) and V ˜ ( t,z ) such that ( U ˜ n , V ˜ n )( t,z )( U ˜ , V ˜ )( t,z ) pointwise as n .

Moreover, U ˜ ( t,z ) and V ˜ ( t,z ) are nondecreasing with respect to z and T-periodic with respect to t. We can claim U ˜ ( t,z ), V ˜ ( t,z ) C 1 ( + ×, ) . In fact, it can be justified by applying the standard regularity analysis on the integral forms. Consequently, the existence of ( U ˜ , V ˜ )( t,z ) for c( min( c 0 ( d 1 ), c 0 ( d 2 ) ), ) is proved by virtue of Lemma 2.1.

Next, we check that the functions ( U ˜ , V ˜ )( t,z ) satisfies the boundary condition Equation (8). Since U ˜ ( t,z ) and V ˜ ( t,z ) are bounded and monotone functions in z, we notice that there exist the limits of ( U ˜ , V ˜ )( t,z ) at z=± for each t + . Denote these limits by U ˜ ( t,± ) and V ˜ ( t,± ) which are nonnegative, T-periodic and bounded, respectively. Let z in Equation (7) yields

{ d U ˜ ( t, ) dt = U ˜ ( t, )[ θ( t ) U ˜ ( t, )+ a 1 ( J 1 V ˜ )( t, ) ],t + , d V ˜ ( t, ) dt = V ˜ ( t, )[ θ( t ) V ˜ ( t, )+ a 2 ( J 2 U ˜ )( t, ) ],t + .

Let

f 1 ( t, U ˜ , V ˜ )= U ˜ ( t, )[ θ( t ) U ˜ ( t, )+ a 1 ( J 1 V ˜ )( t, ) ], f 2 ( t, U ˜ , V ˜ )= V ˜ ( t, )[ θ( t ) V ˜ ( t, )+ a 2 ( J 2 U ˜ )( t, ) ].

Since θ( t ) C γ ( , ) for some γ with γ( 0,1 ) and θ( t+T )=θ( t ) for all t + , we can assume 0<θ( t )N . For 0 U ˜ ( t, ), V ˜ ( t, )M and 0 U ˜ 1 ( t, ), V ˜ 1 ( t, )M , we have

| f 1 ( t, U ˜ , V ˜ ) f 1 ( t, U ˜ 1 , V ˜ 1 ) | =| ( θ( t )( U ˜ + U ˜ 1 )+ a 1 ( J 1 V ˜ ) )( U ˜ U ˜ 1 )+ a 1 ( J 2 U ˜ 1 )( V ˜ V ˜ 1 ) | ( N+ a 1 M )| U ˜ U ˜ 1 |+ a 1 M| V ˜ V ˜ 1 | ( N+ a 1 M )( | U ˜ U ˜ 1 |+| V ˜ V ˜ 1 | ),

and

| f 2 ( t, U ˜ , V ˜ ) f 2 ( t, U ˜ 1 , V ˜ 1 ) | =| a 2 ( J 1 V ˜ 1 )( U ˜ U ˜ 1 )+( θ( t )( V ˜ + V ˜ 1 )+ a 2 ( J 2 U ˜ ) )( V ˜ V ˜ 1 ) | a 2 M| U ˜ U ˜ 1 |+( N+ a 2 M )| V ˜ V ˜ 1 | ( N+ a 2 M )( | U ˜ U ˜ 1 |+| V ˜ V ˜ 1 | ).

That is to say

f i ( t, U ˜ , V ˜ ) f i ( t, U ˜ 1 , V ˜ 1 ) L( U ˜ U ˜ 1 + V ˜ V ˜ 1 ),i=1,2,

where

L=max{ N+ a 1 M,N+ a 2 M }.

It indicates that Equation (7) has a solution at z , denoted ( p( t ),q( t ) ) , i.e.,

lim z ( U ˜ , V ˜ )( t,z )=( p( t ),q( t ) ).

For z , Equation (7) can be rewritten

{ d U ˜ ( t, ) dt = U ˜ ( t, )[ β( t ) U ˜ ( t, )+ a 1 ( J 1 V ˜ )( t, ) ],t + , d V ˜ ( t, ) dt = V ˜ ( t, )[ β( t ) V ˜ ( t, )+ a 2 ( J 2 U ˜ )( t, ) ],t + .

We can see that ( 0,0 ) is a solution, i.e., lim z ( U ˜ , V ˜ )( t,z )=( 0,0 ) .

The above analysis leads to

lim z ( U ˜ , V ˜ )( t,z )=( 0,0 ), lim z ( U ˜ , V ˜ )( t,z )=( p( t ),q( t ) ).

This completes the proof.

3. Asymptotic Behaviors of Forced Pulsating Waves for Equation (4)

In this section, we investigate the asymptotic behaviors of ( U,V )( t,z ) for Equations (7)-(8) around (0, 0).

Lemma 3.1. Assume that (H1), (H2) and c>min( c 0 ( d 1 ), c 0 ( d 2 ) ) hold. Then the asymptotic behaviors of the forced pulsating wave solution ( U,V )( t,z ) as z (see Equation (5)) can be described below.

( U( t,z ) V( t,z ) )~( A 1 ϕ 0 ( t ) e μ 1 z A 2 ψ 0 ( t ) e μ 2 z ),z, (11)

where A i ,i=1,2 are positive numbers, and

μ 1 = c+ c 2 4 d 1 β 1 ( t ) ¯ 2 d 1 , μ 2 = c+ c 2 4 d 2 β 2 ( t ) ¯ 2 d 2 , (12)

Proof. By z in Equation (5) and by virtue of the boundary conditions Equation (6) as well as the assumptions on r i ( t,z ),i=1,2 (see (H1) and (H2)), the limiting system that follows can be deduced

{ U t = d 1 U zz +c U z + U β 1 ( t ),t + ,x, V t = d 2 V zz +c V z + V β 2 ( t ),t + ,x. (13)

Making an ansatz U ( t,z )= A 1 ϕ 0 ( t ) e μ 1 z with ϕ 0 ( t ) being a T-periodic function. When it is substituted into the first equation of Equation (13), the corresponding eigenvalue problem arises

ϕ 0 ( t ) ϕ 0 ( t ) = d 1 μ 1 2 c μ 1 + β 1 ( t ). (14)

We can solve from Equation (14) that

ϕ 0 ( t )= ϕ 0 ( 0 )exp( 0 t ( d 1 μ 1 2 c μ 1 + β 1 ( s ) )ds ),

where

μ 1 = c+ c 2 4 d 1 β 1 ( t ) ¯ 2 d 1 .

Similarly, making an ansatz V ( t,z )= A 2 ψ 0 ( t ) e μ 2 z with ψ 0 ( t ) being a T-periodic function. When it is substituted into the second equation of Equation (14), the corresponding eigenvalue problem arises

ψ 0 ( t ) ψ 0 ( t ) = d 2 μ 2 2 c μ 2 + β 2 ( t ). (15)

We can solve from Equation (15) that

ψ 0 ( t )= ψ 0 ( 0 )exp( 0 t ( d 2 μ 2 2 c μ 2 + β 2 ( s ) )ds ),

where

μ 2 = c+ c 2 4 d 2 β 2 ( t ) ¯ 2 d 2 .

Thus, the proof is completed.

4. Stability of Forced Pulsating Waves for Equation (4)

In this section, we study the stability of the forced pulsating wave of Equation (4). First, we consider the initial value problem.

{ u( t,x ) t = d 1 2 u( t,x ) x 2 +u( t,x )[ r 1 ( t,xct )u( t,x )+ a 1 ( J 1 v )( t,x ) ], v( t,x ) t = d 2 2 v( t,x ) x 2 +v( t,x )[ r 2 ( t,xct )v( t,x )+ a 2 ( J 2 u )( t,x ) ], ( u( 0,x ),v( 0,x ) )=( u 0 ( x ), v 0 ( x ) ), (16)

where ( u 0 ( x ), v 0 ( x ) )C( , 2 ) satisfy

( 0,0 )( u 0 ( x ), v 0 ( x ) )( p( 0 ),q( 0 ) ),x.

Define P( t )=( P 1 ( t ), P 2 ( t ) ):XX by

P 1 ( t ) u 0 ( x )= e η 1 t 4π d 1 t + e y 2 4 d 1 t u 0 ( xy )dy P 2 ( t ) v 0 ( x )= e η 2 t 4π d 2 t + e y 2 4 d 2 t v 0 ( xy )dy

where η 1 =2 max t[ 0,T ) p 1 ( t ) , η 2 =2 max t[ 0,T ) p 2 ( t ) . It is easy to obtain that P( t ) is a strongly continuous real analytic semigroup on X.

In the process of studying the stability of the forced pulsating waves, the conditions

a 1 q( t )p( t )<0, a 2 p( t )q( t )<0

are always true.

Lemma 4.1. For any x , t + , the mild solution of Equation (16) is satisfied

{ u( t,x, u 0 ( x ), v 0 ( x ) )= P 1 ( t ) u 0 ( x )+ 0 t P 1 ( ts ) F 1 ( u,v )( s,x )ds, v( t,x, u 0 ( x ), v 0 ( x ) )= P 2 ( t ) v 0 ( x )+ 0 t P 2 ( ts ) F 2 ( u,v )( s,x )ds,

where

F 1 ( u,v )( t,x )= η 1 u( t,x )+u( t,x )( r 1 ( t,xct )u( t,x )+ a 1 ( J 1 v )( t,x ) ), F 2 ( u,v )( t,x )= η 2 v( t,x )+v( t,x )( r 2 ( t,xct )v( t,x )+ a 2 ( J 2 u )( t,x ) ).

Remark 4.1. Assume that ( u( t,x, u 0 ( x ) ),v( t,x, v 0 ( x ) ) ) , ( u( t,x, φ 0 ( x ) ),v( t,x, ψ 0 ( x ) ) ) are mild solutions to Equation (16). If

( 0,0 )( u 0 ( x ), v 0 ( x ) )( φ 0 ( x ), ψ 0 ( x ) ),t + ,x,

then

( 0,0 )( u( t,x, u 0 ( x ) ),v( t,x, v 0 ( x ) ) )( u( t,x, φ 0 ( x ) ),v( t,x, ψ 0 ( x ) ) ),t + ,x.

Lemma 4.2. Assume that ( u( t,x, u 0 ( x ) ),v( t,x, v 0 ( x ) ) ) , ( u( t,x, ϑ 0 ( x ) ),v( t,x, φ 0 ( x ) ) ) are mild solutions to Equation (16). If ( u 0 ( x ), v 0 ( x ) ),( ϑ 0 ( x ), φ 0 ( x ) ) X + , ( ϑ 0 ( x ), φ 0 ( x ) )( u 0 ( x ), v 0 ( x ) ) , then

u( t,x, u 0 ( x ) )u( t,x, ϑ 0 ( x ) ) e η 1 ( t t 0 ) 4π d 1 ( t t 0 ) e ( J+1 ) 2 4 d 1 ( t t 0 ) z z+1 [ u( t 0 ,y, u 0 , v 0 ),u( t 0 ,y, ϑ 0 , φ 0 ) ]dy 0,

v( t,x, v 0 ( x ) )v( t,x, φ 0 ( x ) ) e η 2 ( t t 0 ) 4π d 2 ( t t 0 ) e ( J+1 ) 2 4 d 2 ( t t 0 ) z z+1 [ v( t 0 ,y, u 0 , v 0 ),v( t 0 ,y, ϑ 0 , φ 0 ) ]dy 0,

where J0 , x,z and | xz |J , t t 0 0 .

The proof of the Lemma 4.2 is similar to the Theorem 2.1 of [28], which will not be proved here.

Lemma 4.3. Assume that ( u( t,x, u 0 ( x ) ),v( t,x, v 0 ( x ) ) ) , ( u( t,x, φ 0 ( x ) ),v( t,x, ψ 0 ( x ) ) ) are mild solutions to Equation (16). If ( φ 0 ( x ), ψ 0 ( x ) )( u 0 ( x ), v 0 ( x ) )( p( 0 ),q( 0 ) ) , then

u( t,x, u 0 ( x ) )u( t,x, φ 0 ( x ) ) min{ e μt ( u 0 ( x ) φ 0 ( x ) + v 0 ( x ) ψ 0 ( x ) ),p( t ) },

v( t,x, v 0 ( x ) )v( t,x, ψ 0 ( x ) ) min{ e μt ( u 0 ( x ) φ 0 ( x ) + v 0 ( x ) ψ 0 ( x ) ),q( t ) },

where is the maximum value norm of C( , ) , μ=2max{ M 1 , M 2 }>0 , and

M 1 =max{ max ( t,u,v )[ 0,T] × [0,p( t )] × [0,q( t ) ] | u f 1 |, max ( t,u,v )[ 0,T] × [0,p( t )] × [0,q( t ) ] | v f 1 | }, M 2 =max{ max ( t,u,v )[ 0,T] × [0,p( t )] × [0,q( t ) ] | u f 2 |, max ( t,u,v )[ 0,T] × [0,p( t )] × [0,q( t ) ] | v f 2 | }.

Proof. Assume η=min{ η 1 , η 2 } , we have

u( t,x, u 0 ( x ) )u( t,x, φ 0 ( x ) ) 0 t P 1 ( t ) f 1 ( u( s,x, u 0 ( x ) ),v( s,x, v 0 ( x ) ) ) f 1 ( u( s,x, φ 0 ( x ) ),v( s,x, ψ 0 ( x ) ) ) ds + P 1 ( t ) u 0 ( x ) P 1 ( t ) φ 0 ( x ) 0 t e η( ts ) ( max| u f 1 | u( s,x, u 0 ( x ) )u( s,x, φ 0 ( x ) ) + max| v f 1 | v( s,x, v 0 ( x ) )v( s,x, ψ 0 ( x ) ) )ds+ P 1 ( t ) u 0 ( x ) φ 0 ( x ) M 1 0 t e η( ts ) ( u( s,x, u 0 ( x ) )u( s,x, φ 0 ( x ) ) + v( s,x, v 0 ( x ) )v( s,x, ψ 0 ( x ) ) )ds+ e ηt u 0 ( x ) φ 0 ( x ) ,

where

M 1 =max{ max ( t,u,v )[ 0,T] × [0,p( t )] × [0,q( t ) ] | u f 1 |, max ( t,u,v )[ 0,T] × [0,p( t )] × [0,q( t ) ] | v f 1 | }.

Similarly, we can see

v( t,x, v 0 ( x ) )v( t,x, ψ 0 ( x ) ) M 2 0 t e η( ts ) ( u( s,x, u 0 ( x ) )u( s,x, φ 0 ( x ) ) + v( s,x, v 0 ( x ) )v( s,x, ψ 0 ( x ) ) )ds+ e ηt v 0 ( x ) ψ 0 ( x ) ,

where

M 2 =max{ max ( t,u,v )[ 0,T] × [0,p( t )] × [0,q( t ) ] | u f 2 |, max ( t,u,v )[ 0,T] × [0,p( t )] × [0,q( t ) ] | v f 2 | }.

Further, we can obtain

u( t,x, u 0 ( x ) )u( t,x, φ 0 ( x ) ) + v( t,x, v 0 ( x ) )v( t,x, ψ 0 ( x ) ) μ 0 t e η( ts ) ( u( s,x, u 0 ( x ) )u( s,x, φ 0 ( x ) ) + v( s,x, v 0 ( x ) )v( s,x, ψ 0 ( x ) ) )ds + e ηt ( u 0 ( x ) φ 0 ( x ) + v 0 ( x ) ψ 0 ( x ) ),

i.e.,

e ηt ( u( t,x, u 0 ( x ) )u( t,x, φ 0 ( x ) ) + v( t,x, v 0 ( x ) )v( t,x, ψ 0 ( x ) ) ) μ 0 t e ηs ( u( s,x, u 0 ( x ) )u( s,x, φ 0 ( x ) ) + v( s,x, v 0 ( x ) )v( s,x, ψ 0 ( x ) ) )ds + u 0 ( x ) φ 0 ( x ) + v 0 ( x ) ψ 0 ( x ) ,

where μ=2max{ M 1 , M 2 } . By Gronwall’s inequality, we can establish

u( t,x, u 0 ( x ) )u( t,x, φ 0 ( x ) ) + v( t,x, v 0 ( x ) )v( t,x, ψ 0 ( x ) ) e μt ( u 0 ( x ) φ 0 ( x ) + v 0 ( x ) ψ 0 ( x ) ).

Therefore,

u( t,x, u 0 ( x ) )u( t,x, φ 0 ( x ) ) e μt ( u 0 ( x ) φ 0 ( x ) + v 0 ( x ) ψ 0 ( x ) ), v( t,x, v 0 ( x ) )v( t,x, ψ 0 ( x ) ) e μt ( u 0 ( x ) φ 0 ( x ) + v 0 ( x ) ψ 0 ( x ) ).

Thus, the proof is completed.

Definition 4.1. For any t[ 0,T ) , x , if the continuous function ( u ¯ ( t,x ), v ¯ ( t,x ) ) , ( u _ ( t,x ), v _ ( t,x ) ) satisfy

u ¯ ( t,x ) t d 1 2 u ¯ ( t,x ) x 2 + u ¯ ( t,x )[ r 1 ( t,xct ) u ¯ ( t,x )+ a 1 ( J 1 v ¯ )( t,x ) ], (17)

v ¯ ( t,x ) t d 2 2 v ¯ ( t,x ) x 2 + v ¯ ( t,x )[ r 2 ( t,xct ) v ¯ ( t,x )+ a 2 ( J 2 u ¯ )( t,x ) ], (18)

u _ ( t,x ) t d 1 2 u _ ( t,x ) x 2 + u _ ( t,x )[ r 1 ( t,xct ) u _ ( t,x )+ a 1 ( J 1 v _ )( t,x ) ], (19)

v _ ( t,x ) t d 2 2 v _ ( t,x ) x 2 + v _ ( t,x )[ r 2 ( t,xct ) v _ ( t,x )+ a 2 ( J 2 u _ )( t,x ) ], (20)

then ( u ¯ ( t,x ), v ¯ ( t,x ) ) , ( u _ ( t,x ), v _ ( t,x ) ) are a pair of upper and lower solutions of the system Equation (16).

Lemma 4.4. Assume that ( u ¯ ( t,x ), v ¯ ( t,x ) ) , ( u _ ( t,x ), v _ ( t,x ) ) are a pair of upper and lower solutions of the system Equation (16). If ( u _ ( 0,x ), v _ ( 0,x ) )( u ¯ ( 0,x ), v ¯ ( 0,x ) ) , then ( u ¯ ( t,x ), v ¯ ( t,x ) ) and ( u _ ( t,x ), v _ ( t,x ) ) satisfies ( u _ ( t,x ), v _ ( t,x ) )( u ¯ ( t,x ), v ¯ ( t,x ) ) for any t[ 0,T ) , x . Therefore, Equation (16) has a unique classical solution ( u( t,x ),v( t,x ) ) satisfies ( u _ ( t,x ), v _ ( t,x ) )( u( t,x ),v( t,x ) )( u ¯ ( t,x ), v ¯ ( t,x ) ) .

Lemma 4.5. Assume that ( μ ¯ ( t,x ), ν ¯ ( t,x ) ) , ( w ¯ ( t,x ), ω ¯ ( t,x ) ) are the upper solutions of Equation (16) and ( u _ ( t,x ), v _ ( t,x ) ) is a lower solution of the system Equation (16). If

( u _ ( 0,x ), v _ ( 0,x ) )min{ ( μ ¯ ( 0,x ), ν ¯ ( 0,x ) ),( w ¯ ( 0,x ), ω ¯ ( 0,x ) ) },

then ( μ ¯ ( t,x ), ν ¯ ( t,x ) ) , ( w ¯ ( t,x ), ω ¯ ( t,x ) ) and ( u _ ( t,x ), v _ ( t,x ) ) satisfy ( u _ ( t,x ), v _ ( t,x ) )min{ ( μ ¯ ( t,x ), ν ¯ ( t,x ) ),( w ¯ ( t,x ), ω ¯ ( t,x ) ) } for any t[ 0,T ) , x . So Equation (16) has a unique classical solution ( u( t,x ),v( t,x ) ) satisfies ( u _ ( t,x ), v _ ( t,x ) )( u( t,x ),v( t,x ) )min{ ( μ ¯ ( t,x ), ν ¯ ( t,x ) ),( w ¯ ( t,x ), ω ¯ ( t,x ) ) } .

Lemma 4.4 and Lemma 4.5 can be derived from the classical theory of parabolic equation mixed quasi-monotonic systems in Smoller [29] and Ye et al. [30], so the proof is omitted here.

Remark 4.2. By Lemma 4.5, min{ ( μ ¯ ( t,x ), ν ¯ ( t,x ) ),( w ¯ ( t,x ), ω ¯ ( t,x ) ) } is still the upper solution of the Equation (16).

Theorem 4.1. Assume that the initial function ( u 0 ( x ), v 0 ( x ) ) is satisfied (i) ( 0,0 )( u 0 ( x ), v 0 ( x ) )( p( 0 ),q( 0 ) ) ;

(ii) ( u _ , v _ )( u 0 ( x ), v 0 ( x ) )( u ¯ , v ¯ ) , where ( u _ , v _ ),( u ¯ , v ¯ ) are a set of lower and upper solutions defined by Definition 4.1;

(iii) liminf x u 0 ( x )>0, liminf x v 0 ( x )>0 ;

(iv) lim x u 0 ( x ) K 1 e λ 1 x =1, lim x v 0 ( x ) K 2 e λ 2 x =1 .

Let ( Φ c , Ψ c ) be a solution defined by Theorem 2.1, then we have

lim t sup x | u( t,x, u 0 ) Φ c ( t,xct ) 1 |=0, lim t sup x | v( t,x, v 0 ) Ψ c ( t,xct ) 1 |=0.

Next we use the following lemmas to prove Theorem 4.1.

Lemma 4.6. ( Φ c ( t,z ), Ψ c ( t,z ) ) is strictly monotonically increasing with respect to z, i.e.,

Φ z c ( t,z )>0, Ψ z c ( t,z )>0.

Proof. The proof of Lemma 4.6 is similar to Lemma 2.4 of [23], which will not be proved here.

Lemma 4.7. Assume that ξ + and ε( 0, ε ¯ ] , where ε ¯ ( 0,1 ) . If γ>0 is sufficiently small, σ>0 and σγ is sufficiently large, then ( u ¯ , v ¯ )( t,x ) is an upper solution of Equation (16), where

u ¯ ( t,x )=( 1+ε e γt ) Φ c ( t,xct ξ + εσ e γt ), v ¯ ( t,x )=( 1+ε e γt ) Ψ c ( t,xct ξ + εσ e γt ).

Proof. We only prove that u ¯ ( t,x ) satisfies inequality Equation (17), since v ¯ ( t,x ) satisfies inequality Equation (18) that can be handled similarly.

Let τ=xct ξ + εσ e γt , u ¯ ( t,x )=( 1+ε e γt ) Φ c ( t,τ ) , we can get

u ¯ t ( t,x )=εγ e γt Φ c ( t,τ )+( 1+ε e γt ) Φ t c ( t,τ ) c( 1+ε e γt ) Φ τ c ( t,τ )+εσγ e γt ( 1+ε e γt ) Φ τ c ( t,τ ),

u ¯ xx =( 1+ε e γt ) Φ ττ c ( t,τ ),

and

u ¯ ( r 1 ( t,xct ) u ¯ + a 1 ( J 1 v ¯ ) ) =( 1+ε e γt ) Φ c ( t,τ ) [ r 1 ( t,xct )( 1+ε e γt ) Φ c ( t,τ ) + a 1 ( 1+ε e γt )( J 1 Ψ c )( t,τ ) ] =( 1+ε e γt ) Φ c ( t,τ )( r 1 ( t,xct ) Φ c ( t,τ )+ a 1 ( J 1 Ψ c )( t,τ ) ) +ε e γt ( 1+ε e γt ) Φ c ( t,τ )( Φ c ( t,τ )+ a 1 ( J 1 Ψ c )( t,τ ) ).

Therefore, we can get

d 1 u ¯ xx + u ¯ ( r 1 ( t,xct ) u ¯ + a 1 ( J 1 v ¯ ) ) u ¯ t = d 1 ( 1+ε e γt ) Φ ττ c ( t,τ )+( 1+ε e γt ) Φ c ( t,τ )( r 1 ( t,xct ) Φ c ( t,τ ) + a 1 ( J 1 Ψ c )( t,τ ) )+ε e γt ( 1+ε e γt ) Φ c ( t,τ )( Φ c ( t,τ ) + a 1 ( J 1 Ψ c )( t,τ ) )+εγ e γt Φ c ( t,τ )( 1+ε e γt ) Φ t c ( t,τ ) +c( 1+ε e γt ) Φ τ c ( t,τ )εσγ e γt ( 1+ε e γt ) Φ τ c ( t,τ ) =( 1+ε e γt ) [ d 1 Φ ττ c ( t,τ )+c Φ τ c ( t,τ ) Φ t c ( t,τ ) + Φ c ( t,τ )( r 1 ( t,xct ) Φ c ( t,τ )+ a 1 ( J 1 Ψ c )( t,τ ) ) ] +ε e γt ( 1+ε e γt ) Φ c ( t,τ )( Φ c ( t,τ )+ a 1 ( J 1 Ψ c )( t,τ ) ) +εγ e γt Φ c ( t,τ )εσγ e γt ( 1+ε e γt ) Φ τ c ( t,τ ).

From the definition of the forced pulsating wave solution, we have

d 1 Φ ττ c ( t,τ )+c Φ τ c ( t,τ ) Φ t c ( t,τ ) + Φ c ( t,τ )[ r 1 ( t,xct ) Φ c ( t,τ )+ a 1 ( J 1 Ψ c )( t,τ ) ]=0.

In order to get Equation (17), we need to prove

( 1+ε e γt ) Φ c ( t,τ )[ Φ c ( t,τ )+ a 1 ( J 1 Ψ c )( t,τ ) ] +γ Φ c ( t,τ )σγ( 1+ε e γt ) Φ τ c ( t,τ )0,

in other words,

( 1+ε e γt ) Φ c ( t,τ )[ Φ c ( t,τ )+ a 1 ( J 1 Ψ c )( t,τ ) ] γ Φ c ( t,τ )+σγ( 1+ε e γt ) Φ τ c ( t,τ ). (21)

(I) Assume | τ |H , when τ ,

Φ c ( t,τ )+ a 1 ( J 1 Ψ c )( t,τ )p( t )+ a 1 q( t ).

For p( t )+ a 1 q( t )<0 , so we have

( 1+ε e γt ) Φ c ( t,τ )[ Φ c ( t,τ )+ a 1 ( J 1 Ψ c )( t,τ ) ]<0.

Since γ>0 is sufficiently small, σγ>0 is sufficiently large and ε( 0,1 ) , Φ τ c ( t,τ )>0 , then γ Φ c ( t,τ )0 and σγ( 1+ε e γt ) Φ τ c ( t,τ ) . i.e.,

γ Φ c ( t,τ )+σγ( 1+ε e γt ) Φ τ c ( t,τ ).

Thus, Equation (20) is true.

(II) Choose | τ |H , we can get γ Φ c ( t,τ )+σγ( 1+ε e γt ) Φ τ c ( t,τ )+ by the same proof as (I). Due to Φ c ( t,τ ) , Ψ c ( t,τ ) are bounded, then ( 1+ε e γt ) Φ c ( t,τ )[ Φ c ( t,τ )+ a 1 ( J 1 Ψ c )( t,τ ) ] are bounded. Therefore, Equation (20) is true, i.e., u ¯ ( t,x ) satisfies inequality Equation (17).

The similar method shows that if a 2 p( t )q( t )<0 , then v ¯ ( t,x ) satisfies inequality Equation (18). Thus, ( u ¯ , v ¯ )( t,x ) is an upper solution of Equation (16).

Lemma 4.8. Assume ξ and ε( 0, ε ¯ ] for ε ¯ ( 0,1 ) . If γ>0 is sufficiently small, σ>0 and σγ is sufficiently large, then ( u _ , v _ )( t,x ) is a lower solution of Equation (16), where

u _ ( t,x )=( 1ε e γt ) Φ c ( t,xct+ ξ +εσ e γt ), v _ ( t,x )=( 1ε e γt ) Ψ c ( t,xct+ ξ +εσ e γt ).

Proof. We only prove that u _ ( t,x ) satisfies inequality Equation (19) since v _ ( t,x ) satisfies inequality Equation (20) that can be handled similarly.

Let ς=xct+ ξ +εσ e γt . When u _ ( t,x )=( 1ε e γt ) Φ c ( t,ς ) , we can obtain

u _ ( t,x ) t =εγ e γt Φ c ( t,ς )+( 1ε e γt ) Φ t c ( t,ς ) c( 1ε e γt ) Φ ς c ( t,ς )εσγ e γt ( 1ε e γt ) Φ ς c ( t,ς ),

u _ xx =( 1ε e γt ) Φ ςς c ( t,ς ),

and

u _ ( r 1 ( t,xct ) u _ + a 1 ( J 1 v _ ) ) =( 1ε e γt ) Φ c ( t,ς ) [ r 1 ( t,xct )( 1ε e γt ) Φ c ( t,ς ) + a 1 ( 1ε e γt )( J 1 Ψ c )( t,ς ) ] =( 1ε e γt ) Φ c ( t,ς )( r 1 ( t,xct ) Φ c ( t,ς )+ a 1 ( J 1 Ψ c )( t,ς ) ) ε e γt ( 1ε e γt ) Φ c ( t,ς )( Φ c ( t,ς )+ a 1 ( J 1 Ψ c )( t,ς ) ).

Therefore, we can get

d 1 u _ xx + u _ ( r 1 ( t,xct ) u _ + a 1 ( J 1 v _ ) ) u _ t = d 1 ( 1ε e γt ) Φ ςς c ( t,ς )+( 1ε e γt ) Φ c ( t,ς )( r 1 ( t,xct ) Φ c ( t,ς ) + a 1 ( J 1 Ψ c )( t,ς ) )ε e γt ( 1ε e γt ) Φ c ( t,ς )( Φ c ( t,ς ) + a 1 ( J 1 Ψ c )( t,ς ) )εγ e γt Φ c ( t,ς )( 1ε e γt ) Φ t c ( t,ς ) +c( 1ε e γt ) Φ ς c ( t,ς )+εσγ e γt ( 1ε ) Φ ς c ( t,ς ) =( 1ε e γt ) [ d 1 Φ ςς c ( t,ς )+c Φ ς c ( t,ς ) Φ t c ( t,ς ) + Φ c ( t,ς )( r 1 ( t,xct ) Φ c ( t,ς )+ a 1 ( J 1 Ψ c )( t,ς ) ) ] ε e γt ( 1ε e γt ) Φ c ( t,ς )( Φ c ( t,ς )+ a 1 ( J 1 Ψ c )( t,ς ) ) εγ e γt Φ c ( t,ς )+εσγ e γt ( 1ε e γt ) Φ ς c ( t,ς ).

From the definition of the forced pulsating wave solution, we have

d 1 Φ ςς c ( t,ς )+c Φ ς c ( t,ς ) Φ t c ( t,ς ) + Φ c ( t,ς )[ r 1 ( t,xct ) Φ c ( t,ς )+ a 1 ( J 1 Ψ c )( t,ς ) ]=0.

In order to get (4.4), we need to prove

( 1ε e γt ) Φ c ( t,ς )[ Φ c ( t,ς )+ a 1 ( J 1 Ψ c )( t,ς ) ] γ Φ c ( t,ς )+σγ( 1ε e γt ) Φ ς c ( t,ς )0,

in other words,

( 1ε e γt ) Φ c ( t,ς )[ Φ c ( t,ς )+ a 1 ( J 1 Ψ c )( t,ς ) ] γ Φ c ( t,ς )+σγ( 1ε e γt ) Φ ς c ( t,ς ). (22)

(I) Assume | ς |N , when ς ,

Φ c ( t,ς )+ a 1 ( J 1 Ψ c )( t,ς )p( t )+ a 1 q( t ).

For p( t )+ a 1 q( t )<0 , so we have

( 1ε e γt ) Φ c ( t,ς )[ Φ c ( t,ς )+ a 1 ( J 1 Ψ c )( t,ς ) ]<0.

Since γ>0 is sufficiently small, σγ>0 is sufficiently large and ε( 0,1 ) , Φ ς c ( t,ς )>0 , then γ Φ c ( t,ς )0 and σγ( 1ε e γt ) Φ ς c ( t,ς ) , i.e.,

γ Φ c ( t,ς )+σγ( 1ε e γt ) Φ ς c ( t,ς ).

Thus, Equation (22) is true.

(II) Choose | ς |N , we can get γ Φ c ( t,ς )+σγ( 1ε e γt ) Φ ς c ( t,ς )+ by the same proof as (I). Since Φ c ( t,ς ) , Ψ c ( t,ς ) are bounded, then ( 1ε e γt ) Φ c ( t,ς )[ Φ c ( t,ς )+ a 1 ( J 1 Ψ c )( t,ς ) ] are bounded. Therefore, Equation (22) is true, i.e., u _ ( t,x ) satisfies inequality Equation (19).

The similar method shows that for a 2 p( t )q( t )<0 , v _ ( t,x ) satisfies inequality Equation (20). Thus, ( u _ , v _ )( t,x ) is a lower solution of Equation (16).

Lemma 4.9 For ε>0 , there is τ 1 = τ 1 ( ε ) , for any τ τ 1 , such that

inf t0 u( t,τct2ε, u 0 ) Φ c ( t,τ ) sup t0 u( t,τct2ε, u 0 ), inf t0 v( t,τct2ε, v 0 ) Ψ c ( t,τ ) sup t0 v( t,τct2ε, v 0 ). (23)

Proof. We know that

inf t0 Φ c ( t,τ ) Φ c ( t,τ ) sup t0 Φ c ( t,τ )

for any τ . Since ( Φ c , Ψ c ) is a solution of Equation (16), there is τ 1 = τ 1 ( ε ) for any τ τ 1 such that

inf t0 u( t,τct2ε, u 0 ) inf t0 Φ c ( t,τ ), sup t0 u( t,τct2ε, u 0 ) sup t0 Φ c ( t,τ ).

Thus, the first equation of Equation (23) is true. The second inequality of Equation (23) can be proved similarly.

Lemma 4.10. There exist positive constants ε( 0,1 ) , γ , σ , z 0 , such that

( 1ε e γt ) Φ c ( t,ξ z 0 +εσ e γt )u( t,x, u 0 )( 1+ε e γt ) Φ c ( t,ξ+ z 0 εσ e γt ), ( 1ε e γt ) Ψ c ( t,ξ z 0 +εσ e γt )v( t,x, v 0 )( 1+ε e γt ) Ψ c ( t,ξ+ z 0 εσ e γt ) (24)

for all t1 , x . Then for all t>1 , we have

1ε e γt inf u( t,ct, u 0 ) Φ c ( t,+ z 0 ) sup u( t,ct, u 0 ) Φ c ( t, z 0 ) 1+ε e γt , 1ε e γt inf v( t,ct, v 0 ) Ψ c ( t,+ z 0 ) sup v( t,ct, v 0 ) Ψ c ( t, z 0 ) 1+ε e γt .

Proof. According to Lemma 4.2 and 4.7 - 4.9, there exist constants ε( 0,1 ) , γ>0 , σ>0 , z 0 0 , such that

( 1ε e γt ) Φ c ( t,ξ+ z 0 +εσ e γt )u( t,x, u 0 )( 1+ε e γt ) Φ c ( t,ξ z 0 εσ e γt ), ( 1ε e γt ) Ψ c ( t,ξ+ z 0 +εσ e γt )v( t,x, v 0 )( 1+ε e γt ) Ψ c ( t,ξ z 0 εσ e γt )

for all ξ . At the same time, these constants also satisfy the conditions of Lemma 4.7 - 4.8 when z 0 are sufficiently large. Therefore, the conclusion can be obtained from Lemma 4.4.

Lemma 4.11. For all ε( 0,1 ) , there exists a positive integer H 0 , such that

( 1ε ) Φ c ( t,ξ+3εσ ) Φ c ( t,ξ )( 1+ε ) Φ c ( t,ξ3εσ ),ξ H 0 , ( 1ε ) Ψ c ( t,ξ+3εσ ) Ψ c ( t,ξ )( 1+ε ) Ψ c ( t,ξ3εσ ),ξ H 0 . (25)

Proof. Considering the function ( 1+η ) Φ c ( t,ξ3ησ ) , we can obtain

d dη { ( 1+η ) Φ c ( t,ξ3ησ ) }= Φ c ( t,ξ3ησ )3σ( 1+η ) Φ η c ( t,ξ3ησ ).

From the asymptotic behavior of the forced pulsating wave solution, there exists a constant H 0 >0 such that

Φ c ( t,ξ3ησ )3σ( 1+η ) Φ η c ( t,ξ3ησ )0

for any ξ H 0 . Therefore, we have

( 1ε ) Φ c ( t,ξ+3εσ ) Φ c ( t,ξ )( 1+ε ) Φ c ( t,ξ3εσ ).

The second inequality of Equation (25) can be proved similarly.

Lemma 4.12. Let z,H be the positive constants and ( u + ( t,x ), v + ( t,x ) ) , ( u ( t,x ), v ( t,x ) ) be solutions to the initial value problem of Equation (16). Define χ( y )=min{ max{ 0,y },1 } for any y , and assume that the initial values satisfy

( u ± ( 0,xc ), v ± ( 0,xc ) ) =( Φ c ( 0,x±z )χ( x+H )+ Φ c ( 0,x±2z )[ 1χ( x+H ) ], Ψ c ( 0,x±z )χ( x+H )+ Ψ c ( 0,x±2z )[ 1χ( x+H ) ] ).

Then, there is a constant ε( 0,min{ 1 2 , z 3σ } ) such that

( u + ( 1,xc ), v + ( 1,xc ) ) ( ( 1+ε ) Φ c ( t,x+2z3εσ ),( 1+ε ) Ψ c ( t,x+2z3εσ ) ), ( u ( 1,xc ), v ( 1,xc ) ) ( ( 1ε ) Φ c ( t,x2z+3εσ ),( 1ε ) Ψ c ( t,x2z+3εσ ) ) (26)

for any x[ H, ) .

Proof. According to the definition of χ( y ) , we can see ( u + ( 0,xc ), v + ( 0,xc ) )( Φ c ( 0,x+2z ), Ψ c ( 0,x+2z ) ) . On the nonempty subset of , we can obtain ( u + ( 1,xc ), v + ( 1,xc ) )( Φ c ( 1,x+2z ), Ψ c ( 1,x+2z ) ) from the regularity of T( t ) and the comparison principle. Let H 0 satisfy the condition of Lemma 4.12. Since u + , v + , Φ c , Ψ c are continuous functions, they are uniformly continuous on a bounded set. Then, there exists a constant

ε( 0,min{ 1 2 , z 3σ } ) such that

( u + ( 1,xc ), v + ( 1,xc ) ) ( ( 1+ε ) Φ c ( t,x+2z3εσ ),( 1+ε ) Ψ c ( t,x+2z3εσ ) )

for x[ H, H 0 2z ] .

From Lemma 4.11, we have that

( u + ( t,xc ), v + ( t,xc ) ) <( Φ c ( t,x+2z ), Ψ c ( t,x+2z ) ) ( ( 1+ε ) Φ c ( t,x+2z3εσ ),( 1+ε ) Ψ c ( t,x+2z3εσ ) )

for x[ H 0 2z, ) .

The similar method can be used to prove the second inequality of Equation (26). Thus, the proof is completed.

Now let us prove Theorem 4.1, we only prove lim t sup x | u( t,x, u 0 ) Φ c ( t,xct ) 1 |=0 . The rest can be proved similarly.

Proof. Define z + :=inf{ z|z D + } , z :=inf{ z|z D } , where

D + ={ z0| limsup t sup ξ u( t,ξct, u 0 ) Φ c ( t,ξ+2z ) 1 }, D ={ z0| liminf t inf ξ u( t,ξct, u 0 ) Φ c ( t,ξ2z ) 1 }.

According to Lemma 4.10, we can obtain [ 1 2 z 0 , ) D ± , z ± [ 0, 1 2 z 0 ] . If z ± =0 , the proof is completed.

Assume z + >0 , let z= z + , H= z + ( 1 ξ 1 2 ) , ε( 0,min{ 1 2 , z 3σ } ) . Since z + D + , there exists T0 such that

sup u( T,ξcT, u 0 ) Φ c ( T,ξ+2 z + ) 1+ ε ¯ max t[ 0,T ) p( t ) ,

where 4 ε ¯ =ε e μ min{ min t[ 0,T ) Φ c ( t,H3εσ ), min t[ 0,T ) Ψ c ( t,H3εσ ) } , μ=2max{ M 1 , M 2 }>0 .

From Lemma 4.12, for ξ[ H, ) , we can obtain

u( T,ξcT, u 0 ) Φ c ( T,ξ+2 z + )+ ε ¯ = u + ( 0,ξc )+ ε ¯ .

For ξ( ,H ] , we can see

u( T,ξcT, u 0 ) Φ c ( T,ξ+ z + ) u + ( 0,ξc ).

Thus,

u( T+1,ξc( T+1 ), u 0 ) u + ( 1,ξc )+4 ε ¯ e μ u + ( 1,ξc )+ε Φ c ( T,H3εσ ).

By Lemma 4.12, we have that

u( T+1,ξc( T+1 ), u 0 ) u + ( 1,ξc )+ε Φ c ( T,H3εσ ) ( 1+ε ) Φ c ( T,ξ+2 z + 3εσ )+ε Φ c ( T,H3εσ ) ( 1+2ε ) Φ c ( T,ξ+2 z + 3εσ )

for e γt 1 , ξ[ H, ) . Since 3εσ z + , we can see that

u( T+1,ξc( T+1 ), u 0 ) Φ c ( T,ξ+ z + ) Φ c ( T,ξ+2 z + 3εσ )

for ξ( ,H ] . Thus,

u( T+1,ξc( T+1 ) )min{ ( 1+2ε ) Φ c ( T,ξ+2 z + 3εσ ),p( t ) }.

By the comparison principle, we can obtain

u( T+1+t,ξc( T+1+t ), u 0 ) min{ ( 1+2ε e γt ) Φ c ( T,ξ+2 z + εσ2εσ e γt ),p( t ) }.

If t0 , ξ , we have

limsup t sup ξ u( t,ξct, u 0 ) Φ( t,ξ+2 z + εσ ) 1.

So, we can see z + εσ 2 D + from the inequality. It is a contradiction. Therefore, z + =0 . For the case z =0 , we can prove it similarly.

Thus, the proof is completed.

5. Conclusion

We are concerned with the existence, asymptotic behaviors and stability of forced pulsating waves for a Lotka-Volterra cooperative system with nonlocal effects under shifting habitats. Firstly, we establish the existence of the forced pulsating waves by using the alternatively-coupling upper-lower solution method, as long as the shifting speed falls in a finite interval where the endpoints are obtained from KPP-Fisher speeds. Secondly, the asymptotic behaviors of the forced pulsating waves are derived respectively by way of asymptotic analysis. Finally, with proper initial, the stability of the forced pulsating waves is studied by the squeezing technique based on the comparison principle. The methods adopted in the present paper can be used to investigate the aforementioned properties of forced pulsating waves for a more general time periodic Lotka-Volterra cooperation system with nonlocal effects.

Conflicts of Interest

The author declares no conflicts of interest regarding the publication of this paper.

References

[1] Newbold, T. (2018) Future Effects of Climate and Land-Use Change on Terrestrial Vertebrate Community Diversity under Different Scenarios. Proceedings of the Royal Society B: Biological Sciences, 285, Article 20180792.
https://doi.org/10.1098/rspb.2018.0792
[2] Davis, M.B. and Shaw, R.G. (2001) Range Shifts and Adaptive Responses to Quaternary Climate Change. Science, 292, 673-679.
https://doi.org/10.1126/science.292.5517.673
[3] Perry, A.L., Low, P.J., Ellis, J.R. and Reynolds, J.D. (2005) Climate Change and Distribution Shifts in Marine Fishes. Science, 308, 1912-1915.
https://doi.org/10.1126/science.1111322
[4] Alfaro, M., Berestycki, H. and Raoul, G. (2017) The Effect of Climate Shift on a Species Submitted to Dispersion, Evolution, Growth, and Nonlocal Competition. SIAM Journal on Mathematical Analysis, 49, 562-596.
https://doi.org/10.1137/16m1075934
[5] Cantrell, R.S. and Cosner, C. (2004) Spatial Ecology via Reaction-Diffusion Equations. Wiley.
https://doi.org/10.1002/0470871296
[6] Fang, J., Lou, Y. and Wu, J. (2016) Can Pathogen Spread Keep Pace with Its Host Invasion? SIAM Journal on Applied Mathematics, 76, 1633-1657.
https://doi.org/10.1137/15m1029564
[7] Guo, Q. and Cheng, H. (2023) Existence of Forced Waves and Their Asymptotic for Leslie-Gower Prey-Predator Model with Nonlocal Effects under Shifting Environment. Journal of Applied Mathematics and Physics, 11, 1737-1754.
https://doi.org/10.4236/jamp.2023.116113
[8] Joshi, Y., Savescu, M., Syed, M. and Blackmore, D. (2021) Interesting Features of Three-Dimensional Discrete Lotka-Volterra Dynamics. Applied Mathematics, 12, 694-722.
https://doi.org/10.4236/am.2021.128049
[9] Li, Y. and He, Y. (2023) The Stochastic Asymptotic Stability Analysis in Two Species Lotka-Volterra Model. Applied Mathematics, 14, 450-459.
https://doi.org/10.4236/am.2023.147028
[10] Potapov, A. (2004) Climate and Competition: The Effect of Moving Range Boundaries on Habitat Invasibility. Bulletin of Mathematical Biology, 66, 975-1008.
https://doi.org/10.1016/j.bulm.2003.10.010
[11] Vo, H. (2015) Persistence versus Extinction under a Climate Change in Mixed Environments. Journal of Differential Equations, 259, 4947-4988.
https://doi.org/10.1016/j.jde.2015.06.014
[12] Walther, G., Post, E., Convey, P., Menzel, A., Parmesan, C., Beebee, T.J.C., et al. (2002) Ecological Responses to Recent Climate Change. Nature, 416, 389-395.
https://doi.org/10.1038/416389a
[13] Berestycki, H., Diekmann, O., Nagelkerke, C.J. and Zegeling, P.A. (2008) Can a Species Keep Pace with a Shifting Climate? Bulletin of Mathematical Biology, 71, 399-429.
https://doi.org/10.1007/s11538-008-9367-5
[14] Berestycki, H. and Fang, J. (2018) Forced Waves of the Fisher-KPP Equation in a Shifting Environment. Journal of Differential Equations, 264, 2157-2183.
https://doi.org/10.1016/j.jde.2017.10.016
[15] Wu, C., Yang, Y. and Wu, Z. (2021) Existence and Uniqueness of Forced Waves in a Delayed Reaction-Diffusion Equation in a Shifting Environment. Nonlinear Analysis: Real World Applications, 57, Article 103198.
https://doi.org/10.1016/j.nonrwa.2020.103198
[16] Dong, F., Li, B. and Li, W. (2021) Forced Waves in a Lotka-Volterra Competition-Diffusion Model with a Shifting Habitat. Journal of Differential Equations, 276, 433-459.
https://doi.org/10.1016/j.jde.2020.12.022
[17] Wang, H., Pan, C. and Ou, C. (2021) Existence, Uniqueness and Stability of Forced Waves to the Lotka-Volterra Competition System in a Shifting Environment. Studies in Applied Mathematics, 148, 186-218.
https://doi.org/10.1111/sapm.12438
[18] Lin, G. (2012) Asymptotic Spreading Fastened by Inter-Specific Coupled Nonlinearities: A Cooperative System. Physica D: Nonlinear Phenomena, 241, 705-710.
https://doi.org/10.1016/j.physd.2011.12.007
[19] Yang, Y., Wu, C. and Li, Z. (2019) Forced Waves and Their Asymptotics in a Lotka–volterra Cooperative Model under Climate Change. Applied Mathematics and Computation, 353, 254-264.
https://doi.org/10.1016/j.amc.2019.01.058
[20] Fang, Q., Cheng, H. and Yuan, R. (2023) Spatial Dynamics of Some Modified Leslie-Gower Prey-Predator Model with Shifting Habitat. Journal of Mathematical Analysis and Applications, 518, Article 126713.
https://doi.org/10.1016/j.jmaa.2022.126713
[21] Xia, Y., Cheng, H. and Yuan, R. (2022) A Free Boundary Problem of Some Modified Leslie-Gower Predator-Prey Model with Shifting Environments. Journal of Applied Analysis & Computation, 12, 2396-2425.
https://doi.org/10.11948/20210505
[22] Fang, J., Peng, R. and Zhao, X. (2021) Propagation Dynamics of a Reaction-Diffusion Equation in a Time-Periodic Shifting Environment. Journal de Mathématiques Pures et Appliquées, 147, 1-28.
https://doi.org/10.1016/j.matpur.2021.01.001
[23] Zhao, G. and Ruan, S. (2011) Existence, Uniqueness and Asymptotic Stability of Time Periodic Traveling Waves for a Periodic Lotka-Volterra Competition System with Diffusion. Journal de Mathématiques Pures et Appliquées, 95, 627-671.
https://doi.org/10.1016/j.matpur.2010.11.005
[24] Liang, X., Yi, Y. and Zhao, X. (2006) Spreading Speeds and Traveling Waves for Periodic Evolution Systems. Journal of Differential Equations, 231, 57-77.
https://doi.org/10.1016/j.jde.2006.04.010
[25] Lee, C.T., Hoopes, M.F., Diehl, J., Gilliland, W., Huxel, G., Leaver, E.V., et al. (2001) Non-Local Concepts and Models in Biology. Journal of Theoretical Biology, 210, 201-219.
https://doi.org/10.1006/jtbi.2000.2287
[26] Teng, Z. and Chen, L. (2001) Global Asymptotic Stability of Periodic Lotka-Volterra Systems with Delays. Nonlinear Analysis: Theory, Methods & Applications, 45, 1081-1095.
https://doi.org/10.1016/s0362-546x(99)00441-1
[27] Liu, X., Ouyang, Z., Huang, Z. and Ou, C. (2021) Spreading Speed of the Periodic Lotka-Volterra Competition Model. Journal of Differential Equations, 275, 533-553.
https://doi.org/10.1016/j.jde.2020.11.026
[28] Smith, H.L. and Zhao, X. (2000) Global Asymptotic Stability of Traveling Waves in Delayed Reaction-Diffusion Equations. SIAM Journal on Mathematical Analysis, 31, 514-534.
https://doi.org/10.1137/s0036141098346785
[29] Smoller, J. (1994) Shock Waves and Reaction Diffusion Equations. Springer.
[30] Ye, Q., Li, Z., Wang, M. and Wu, Y. (2011) Introduction to Reaction Diffusion Equations. Science Press.

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.