Propagation Dynamics of Forced Pulsating Waves for a Time Periodic Lotka-Volterra Cooperative System with Nonlocal Effects in Shifting Habitats ()
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.
(1)
Here,
denotes the population density at time t and location x. The function g represents the net effect of reproduction and mortality and
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.
(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
. 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,
That is
in Equation (1) becomes
. 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
become
in [19], we can get the following time periodic Lotka-Volterra cooperative system
(3)
where
and
are the population densities of two species competing for common resource at time t and position x;
and
are the diffusive coefficients; the parameters
and
reflect the strength of interspecies cooperation and
. Most importantly, the terms
and
are dependent on time t and the climate shifting variable
.
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
. 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:
(4)
where
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
is continuous, T-periodic in t and increasing in z. Moreover,
(5)
uniformly in t, where
for some
with
and they are T-periodic functions, that is
,
for all
.
(H2) There is
for some positive numbers
. Here, the symbol “~” is the standard sign in asymptotic analysis.
(H3)
are symmetric with
and there exists some
such that
,
.
Next, we consider the following system of ordinary differential equations.
Let for
. According to Theorem 1 of [26], the above the equation has a unique and globally asymptotically stable periodic positive solution
under condition (H1).
By a forced pulsating wave solution of the system Equation (4), we mean a particular solution in the form of
(6)
satisfying
A substitution of Equation (4) leads to the following wave profile system
(7)
subjected to
(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
to denote the average value of
on the interval
, namely,
For functions
and
, we also use
to denote
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
is a nondecreasing and continuous function in z, and T-periodic in t, satisfying
,
uniformly in t. Then, for any
with
there exists a unique positive solution
, which is nondecreasing in z and T-periodic in t, for the following boundary problem.
(9)
Moreover, if one views the solution w as a functional of R and d, then
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
(10)
where
. Then, there exists a T-periodic solution
to the system Equations (7)-(8). Moreover,
and
are nondecreasing in variable z, respectively.
Proof. By Lemma 2.1, we can define two sequences of functions as below.
By taking
in Lemma 2.1, we can conclude that
is well-defined. Moreover,
and
are held uniformly in t.
To proceed, we take
in Lemma 2.1. It is easy to see that
,
. Hence, it follows from Lemma 2.1 that
is well-defined and
and
.
By a similar procedure, we can define
and
successively. Furthermore, under condition Equation (10), it can be derived directly from Lemmas 2.1 that
and
are nondecreasing in variable z for each
. In the meantime,
and
for all
. Further, together with the boundedness of two sequences
and
, i.e.,
for all
, there exist
and
such that
pointwise as
.
Moreover,
and
are nondecreasing with respect to z and T-periodic with respect to t. We can claim
. In fact, it can be justified by applying the standard regularity analysis on the integral forms. Consequently, the existence of
for
is proved by virtue of Lemma 2.1.
Next, we check that the functions
satisfies the boundary condition Equation (8). Since
and
are bounded and monotone functions in z, we notice that there exist the limits of
at
for each
. Denote these limits by
and
which are nonnegative, T-periodic and bounded, respectively. Let
in Equation (7) yields
Let
Since
for some
with
and
for all
, we can assume
. For
and
, we have
and
That is to say
where
It indicates that Equation (7) has a solution at
, denoted
, i.e.,
For
, Equation (7) can be rewritten
We can see that
is a solution, i.e., .
The above analysis leads to
This completes the proof.
3. Asymptotic Behaviors of Forced Pulsating Waves for
Equation (4)
In this section, we investigate the asymptotic behaviors of
for Equations (7)-(8) around (0, 0).
Lemma 3.1. Assume that (H1), (H2) and
hold. Then the asymptotic behaviors of the forced pulsating wave solution
as
(see Equation (5)) can be described below.
(11)
where
are positive numbers, and
(12)
Proof. By
in Equation (5) and by virtue of the boundary conditions Equation (6) as well as the assumptions on
(see (H1) and (H2)), the limiting system that follows can be deduced
(13)
Making an ansatz with
being a T-periodic function. When it is substituted into the first equation of Equation (13), the corresponding eigenvalue problem arises
(14)
We can solve from Equation (14) that
where
Similarly, making an ansatz with
being a T-periodic function. When it is substituted into the second equation of Equation (14), the corresponding eigenvalue problem arises
(15)
We can solve from Equation (15) that
where
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.
(16)
where
satisfy
Define
by
where
,
. It is easy to obtain that
is a strongly continuous real analytic semigroup on X.
In the process of studying the stability of the forced pulsating waves, the conditions
are always true.
Lemma 4.1. For any
,
, the mild solution of Equation (16) is satisfied
where
Remark 4.1. Assume that
,
are mild solutions to Equation (16). If
then
Lemma 4.2. Assume that
,
are mild solutions to Equation (16). If
,
, then
where
,
and
,
.
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
,
are mild solutions to Equation (16). If
, then
where
is the maximum value norm of
,
, and
Proof. Assume
, we have
where
Similarly, we can see
where
Further, we can obtain
i.e.,
where
. By Gronwall’s inequality, we can establish
Therefore,
Thus, the proof is completed.
Definition 4.1. For any
,
, if the continuous function
,
satisfy
(17)
(18)
(19)
(20)
then
,
are a pair of upper and lower solutions of the system Equation (16).
Lemma 4.4. Assume that
,
are a pair of upper and lower solutions of the system Equation (16). If
, then
and
satisfies
for any
,
. Therefore, Equation (16) has a unique classical solution
satisfies
.
Lemma 4.5. Assume that
,
are the upper solutions of Equation (16) and
is a lower solution of the system Equation (16). If
then
,
and
satisfy for any
,
. So Equation (16) has a unique classical solution
satisfies
.
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,
is still the upper solution of the Equation (16).
Theorem 4.1. Assume that the initial function
is satisfied (i)
;
(ii)
, where
are a set of lower and upper solutions defined by Definition 4.1;
(iii)
;
(iv)
.
Let
be a solution defined by Theorem 2.1, then we have
Next we use the following lemmas to prove Theorem 4.1.
Lemma 4.6.
is strictly monotonically increasing with respect to z, i.e.,
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
, where
. If
is sufficiently small,
and
is sufficiently large, then
is an upper solution of Equation (16), where
Proof. We only prove that
satisfies inequality Equation (17), since
satisfies inequality Equation (18) that can be handled similarly.
Let
, , we can get
and
Therefore, we can get
From the definition of the forced pulsating wave solution, we have
In order to get Equation (17), we need to prove
in other words,
(21)
(I) Assume
, when
,
For
, so we have
Since
is sufficiently small,
is sufficiently large and
,
, then
and
. i.e.,
Thus, Equation (20) is true.
(II) Choose
, we can get
by the same proof as (I). Due to
,
are bounded, then
are bounded. Therefore, Equation (20) is true, i.e.,
satisfies inequality Equation (17).
The similar method shows that if
, then
satisfies inequality Equation (18). Thus,
is an upper solution of Equation (16).
Lemma 4.8. Assume
and
for
. If
is sufficiently small,
and
is sufficiently large, then
is a lower solution of Equation (16), where
Proof. We only prove that
satisfies inequality Equation (19) since
satisfies inequality Equation (20) that can be handled similarly.
Let
. When
, we can obtain
and
Therefore, we can get
From the definition of the forced pulsating wave solution, we have
In order to get (4.4), we need to prove
in other words,
(22)
(I) Assume
, when
,
For
, so we have
Since
is sufficiently small,
is sufficiently large and
,
, then
and
, i.e.,
Thus, Equation (22) is true.
(II) Choose
, we can get
by the same proof as (I). Since
,
are bounded, then
are bounded. Therefore, Equation (22) is true, i.e.,
satisfies inequality Equation (19).
The similar method shows that for
,
satisfies inequality Equation (20). Thus,
is a lower solution of Equation (16).
Lemma 4.9 For
, there is
, for any
, such that
(23)
Proof. We know that
for any
. Since
is a solution of Equation (16), there is
for any
such that
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
,
,
,
, such that
(24)
for all
,
. Then for all
, we have
Proof. According to Lemma 4.2 and 4.7 - 4.9, there exist constants
,
,
,
, such that
for all
. At the same time, these constants also satisfy the conditions of Lemma 4.7 - 4.8 when
are sufficiently large. Therefore, the conclusion can be obtained from Lemma 4.4.
Lemma 4.11. For all
, there exists a positive integer
, such that
(25)
Proof. Considering the function
, we can obtain
From the asymptotic behavior of the forced pulsating wave solution, there exists a constant
such that
for any
. Therefore, we have
The second inequality of Equation (25) can be proved similarly.
Lemma 4.12. Let
be the positive constants and
,
be solutions to the initial value problem of Equation (16). Define
for any
, and assume that the initial values satisfy
Then, there is a constant
such that
(26)
for any
.
Proof. According to the definition of
, we can see
. On the nonempty subset of
, we can obtain
from the regularity of
and the comparison principle. Let
satisfy the condition of Lemma 4.12. Since
are continuous functions, they are uniformly continuous on a bounded set. Then, there exists a constant
such that
for
.
From Lemma 4.11, we have that
for
.
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
. The rest can be proved similarly.
Proof. Define
,
, where
According to Lemma 4.10, we can obtain
,
. If
, the proof is completed.
Assume
, let
,
,
. Since
, there exists
such that
where ,
.
From Lemma 4.12, for
, we can obtain
For
, we can see
Thus,
By Lemma 4.12, we have that
for
,
. Since
, we can see that
for
. Thus,
By the comparison principle, we can obtain
If
,
, we have
So, we can see
from the inequality. It is a contradiction. Therefore,
. For the case
, 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.