![MathJax Logo](/templates/jsp/_style2/_tandf/pb2/images/math-jax.gif)
ABSTRACT
This paper concerns the invasion dynamics of the lattice pioneer-climax competition model with parameter regions in which the system is non-monotone. We estimate the spreading speeds and establish appropriate conditions under which the spreading speeds are linearly selected. Moreover, the existence of travelling waves is determined by constructing suitable upper and lower solutions. It shows that the spreading speed coincides with the minimum wave speed of travelling waves if the diffusion rate of the invasive species is larger or equal to that of the native species. Our results are new to estimate the spreading speed of non-monotone lattice pioneer-climax systems, and the techniques developed in this work can be used to study the invasion dynamics of the pioneer-climax system with interaction delays, which could extend the results in the literature. The analysis replies on the construction of auxiliary systems, upper and lower solutions, and the monotone dynamical system approach.
1. Introduction
In this work, we study the invasion dynamics of the following lattice pioneer-climax competition system arising from spatial population ecology:
(1)
(1) where
,
. The model (Equation1
(1)
(1) ) describes the diffusion and interaction between a pioneer species and a climax species, which are located on the patches of a one-dimensional lattice. The variables
and
represent the population densities of two species at patch j and time t, respectively. It is assumed that the spatial diffusion of two species only occurs among the nearest neighbours, and the positive constants
and
are diffusion coefficients. The species' per capita growth rates f and g in model (Equation1
(1)
(1) ) depend on the linear combination of population densities of both pioneer and climax species weighted by the inter- and intra-specific competitive effects. Taking species 1 to be the pioneer species and species 2 to be the climax species, then the constant
denotes the competitive effect of species n on species m. The linear terms
and
represent the constant effort harvesting [Citation1,Citation2] with
, or stocking with
For example, for a forest ecosystem, the forest manager may use harvesting or stocking strategies to ensure the ecosystem is stable and sustainable. In this work, we study the harvesting case, and the stocking case can be analyzed similarly by shifting the fitness functions f and g upwards by constants, which will not significantly change the structure of the system, though some restrictions on the stocking rates may be posed to ensure the stability of the positive equilibrium.
In an ecosystem, a population whose fitness function is monotone decreasing with respect to the total density is called a pioneer specie [Citation3]. According to [Citation4–6], the pioneer species thrive best at lower population densities, and the fitness function is decreasing due to the effect of competition. Thus, the fitness function in (Equation1
(1)
(1) ) is assumed to satisfy
However, a lot of ecological observations show that the evolution mechanism of populations in nature could be various and complicated. For example, the oak or maple tree in a forest could benefit from the presence of additional trees when the densities are lower, but ultimately the individual reproduction decreases at higher densities due to the competition for resources. A population whose fitness is monotone increasing at low densities, while it declines due to competitive effect after the densities reach a maximum critical value, is called a climax species [Citation3,Citation6]. Hence, we assume that the climax population is subject to an Allee effect, and the fitness function g in (Equation1
(1)
(1) ) is assumed to be hump-shaped and there exist
such that
satisfying
We refer readers to Figure for the general features of fitness functions f and g.
Figure 1. Typical fitness functions for system (Equation1(1)
(1) ).
![Figure 1. Typical fitness functions for system (Equation1(1) {dujdt=d1D2[uj](t)+uj(t)f(c11uj(t)+c12vj(t))−h1uj(t),dvjdt=d2D2[vj](t)+vj(t)g(c21uj(t)+c22vj(t))−h2vj(t), t∈R+, j∈Z,(1) ).](/cms/asset/06738dbc-b2e9-4092-8992-9c13d91ca0e6/tjbd_a_2365792_f0001_ob.jpg)
For the simplicity of notations, we consider the following non-dimensional system of (Equation1(1)
(1) ):
(2)
(2) which is obtained by the scaling
We are interested in situations that the system admits at least one positive equilibrium, thus we assume the following conditions hold:
It follows that there exist
such that
By the properties of functions f and g, we calculate that system (Equation2
(2)
(2) ) always has the following axial equilibria
and possibly two positive equilibria
and
where
and
are the solutions of the algebraic equations
respectively. Solving equations, we get
Note that the lattice model (Equation1
(1)
(1) ) can be regarded as a discrete version of the corresponding reaction-diffusion pioneer-climax competition system in continuous habitats. Due to the rich dynamics of the pioneer-climax competition models, the spatiotemporal dynamics of the reaction-diffusion pioneer-climax systems has attracted a lot of attention from mathematicians and ecologists in the last few decades, see [Citation5,Citation7–11] and references therein. Most of these works focus on the existence of spreading speeds and travelling waves, and the bifurcation and Turing stability analysis also have been studied. However, up to our best knowledge, the study of the spatiotemporal dynamics of lattice pioneer-climax systems is quite few. In [Citation12], the authors first proposed the following delayed lattice pioneer-climax model:
(3)
(3) where the parameter τ is interpreted by the interaction delay between two species. Under suitable assumptions so that the system (Equation3
(3)
(3) ) is monotone in the competition order, the existence of monotone travelling waves connecting the pioneer-only boundary equilibrium to the co-existence positive equilibrium is studied. The result in [Citation12] shows that the interaction delay does not change the conditions under which the system admits the climax-invasion travelling waves, and the analysis is similar. Thus, to make the analytic writing clearly and easily understood for broader readers, we do not take the interaction delays into our model. It has been shown that the lattice differential equations are more suitable in modelling the population dynamics in the discrete habitat, and they could behave differently from the corresponding reaction-diffusion equations (see e.g. [Citation13,Citation14]), which motivates the study of this work.
Remark 1.1
We should point out that all results in this work are valid for the delayed version of (Equation1(1)
(1) ), which can be verified similarly by constructing two delayed auxiliary systems and using the similar upper-lower solution arguments as used in this paper.
The dynamics of the pioneer-climax interaction model (Equation2(2)
(2) ) is quite rich and has not been understood well. Throughout of this work, we assume the parameters in (Equation2
(2)
(2) ) satisfying the following assumption (H1) or (H2):
(H1) | |||||
(H2) |
|
In the case of (H1), (Equation2(2)
(2) ) admits the unique stable coexistence equilibrium
. While under (H2), in addition to stable coexistence equilibrium
, (Equation2
(2)
(2) ) has the other coexistence equilibrium
For the location of equilibria of (Equation2
(2)
(2) ) under (H1) or (H2), we refer readers to Figure (a) and (b), respectively. Under (H1) or (H2), it is easy to check that
. Moreover, we observe from Figure that
and
hold for both cases. For the rich dynamics and a complete categorization of the stability of the equilibria of the spatially homogeneous system (ordinary differential system) of (Equation2
(2)
(2) ), we refer readers to [Citation3,Citation4,Citation15–18] and references therein.
Figure 2. Nullclines and the structure of equilibria of (Equation2(2)
(2) ) with (H1) and (H2).
![Figure 2. Nullclines and the structure of equilibria of (Equation2(2) {dujdt=d1D2[uj](t)+uj(t)f(a1uj(t)+vj(t))−h1uj(t),dvjdt=d2D2[vj](t)+vj(t)g(uj(t)+a2vj(t))−h2vj(t),(2) ) with (H1) and (H2).](/cms/asset/dab97758-f53f-481c-9b8a-53217f9ae9dd/tjbd_a_2365792_f0002_ob.jpg)
In the remainder of this work, we further assume the parameters in (Equation2(2)
(2) ) satisfy the following condition:
(A1) |
|
Remark 1.2
The interpretation of (H1) could be observed from the intersection points of the uv axes with nuclines from Figure (a). It determines the location of nuclines, and guarantees the stability of positive equilibrium . Similarly, the interpretation of (H2) could be observed from Figure (b). The condition (A1) is a technical assumption which is needed to make the theoretical analysis tractable.
The purpose of this work is to estimate the spreading speeds, and determine the existence of travelling waves of (Equation2(2)
(2) ) connecting
to
. Note that (Equation2
(2)
(2) ) is not a standard competition system, and the comparison principle does not satisfy for some parameters, which makes the model analysis complicated. With (H1) and the assumption
so that the system is monotone for the densities bounded by
and
, the authors in [Citation12] proved the existence of travelling waves of (Equation3
(3)
(3) ) connecting
to
, where the monotonicity of the system and the fixed point theorem are used. However, under (H1)-(A1) or (H2)-(A1), the system (Equation2
(2)
(2) ) is no longer monotone for population densities between
and
, for which the method and arguments used in [Citation12] cannot be applied similarly. We construct two auxiliary systems and appeal to comparison arguments to estimate the population spreading speeds. Moreover, the linear selection of the spreading speed is established by constructing suitable upper solutions. To prove the existence of travelling waves of (Equation2
(2)
(2) ) connecting
to
, we construct new upper and lower solutions which are essentially different with those used in [Citation12]. It is well known that the asymptotic behaviour of travelling waves for non-monotone system is technically difficult since the travelling waves solutions may be non-monotone. To overcome this difficulty, we use the travelling wave solutions of the lower auxiliary system as the lower solutions of the non-monotone system (Equation2
(2)
(2) ), then we show that the established travelling wave solutions could connect
to
. To the best of our knowledge, our results are new to study the linear selection of the spreading speed of non-monotone lattice pioneer-climax interaction models.
The rest of this paper is organized as follows. In Section 2, we present the preliminaries and show the well-posedness of the initial value problem. In Section 3, we estimate the spreading speed of populations, and figure out the conditions under which the system admits linearly selected spreading speeds. In Section 4, with the assumption that , we establish the existence of travelling wave solutions of (Equation2
(2)
(2) ) connecting
to
, and show that the minimum wave speed is coincident with the spreading speed. At the end of this work, we apply our theoretical results to a lattice pioneer-climax model with linear decreasing pioneer fitness and quadratic climax fitness functions, then some discussions finish this paper.
2. Preliminaries
Let be the space of all uniformly bounded functions from
to
. We equip
with the compact open topology, that is, a sequence
converges to ϕ in
if
converges to
in
uniformly for j in any compact subset of
. This topology can be induced by the following norm:
Then
is a normed space. For any vectors
in
, we define
if
, and
if
. Let
. Then
is a nonempty closed cone of
and induces the standard pointwise ordering in
. Denote
to be the set of all bounded and continuous functions from
to
. Then
and the corresponding ordering in
can be defined similarly. For any
, we define
,
, and
.
For the convenience of mathematical analysis, we make the change of variables and
and drop the tildes, then (Equation2
(2)
(2) ) converts to the following system
(4)
(4) and the equilibria
and
of (Equation2
(2)
(2) ) correspond to
for (Equation4
(4)
(4) ), respectively. Note that
and there exists no other equilibrium between them. We are interested in the existence of the spreading speed and travelling waves of (Equation4
(4)
(4) ) connecting
to
. Let
with
. Define
by
Let
be defined as
. Then system (Equation4
(4)
(4) ) can be written as the following general form:
(5)
(5) Let
be the solution semigroup associated with the following linear lattice differential equations:
which was given in [Citation19, Section 2] by the modified Bessel functions as follows:
where
are given by
and
for i<0. Note that
for any
. Set
. It follows from [Citation19, Remark 2.6] that system (Equation5
(5)
(5) ) with initial data
can be written as the following integral equation:
(6)
(6)
Definition 2.1
A solution of (Equation6
(6)
(6) ) is said to be a mild solution of (Equation4
(4)
(4) ), and a function
is called an upper (a lower) solution of (Equation4
(4)
(4) ) if it satisfies
(7)
(7)
By the standard contracting mapping theorem arguments (see e.g. [Citation20, Theorem 4.2]), we have the following well-posedness result for the initial-value problem.
Lemma 2.2
Assume that (H1)-(A1) or (H2)-(A1) hold. Then for any given , system (Equation4
(4)
(4) ) has a unique mild solution
with
, and
for any t>0.
Now we present the definition of the invasion spreading speed and travelling waves of (Equation4(4)
(4) ) connecting equilibria
and
.
Definition 2.3
A number is called the spreading speed of (Equation4
(4)
(4) ) if the solution
with the initial data
satisfies the following statements:
For any
, if
for some k>0, then
For any
and
with
, if there is a positive number
such that
for j on an interval of length
, then
Definition 2.4
A travelling wave solution of (Equation4(4)
(4) ) connecting
to
is a continuous solution of (Equation4
(4)
(4) ) with the form
and the following asymptotic boundary conditions hold:
(8)
(8) The constant c>0 is called the wave speed, and the functions U, V are called the wave profiles.
3. The spreading speed
In this section, we study the spreading speed of (Equation2(2)
(2) ) under nonmonotone conditions (H1)-(A1) or (H2)-(A1). In order to use the sandwich technique, we first construct suitable upper and lower auxiliary systems for (Equation4
(4)
(4) ).
3.1. The estimation of spreading speeds
From (A1), we know that . Note that the function g is hump-shaped satisfying
, and gets its maximum value at
. Then there exists a unique
such that
. Now we define two auxiliary functions
We refer readers to Figure for the construction of
and
under the condition (A1). Then both
and
are decreasing and satisfy
(9)
(9) Then we define an upper system of (Equation4
(4)
(4) ) with function
by
(10)
(10) and a lower system of (Equation4
(4)
(4) ) with function
by
(11)
(11) By a simple calculation, we know that
and
are equilibria of (Equation10
(10)
(10) ) and (Equation11
(11)
(11) ), and also there is no other equilibrium between them. Moreover, due to the monotonicity of
and
, we know that both (Equation10
(10)
(10) ) and (Equation11
(11)
(11) ) are cooperative in
, and their solution semiflows are order-preserving. Moreover, we observe that the following comparison principle for the solutions of (Equation4
(4)
(4) ), (Equation10
(10)
(10) ), and (Equation11
(11)
(11) ) is valid.
Lemma 3.1
Assume that (H1)-(A1) or (H2)-(A1) hold. Let ,
and
be the solutions of (Equation4
(4)
(4) ), (Equation10
(10)
(10) ) and (Equation11
(11)
(11) ) with initial data
,
and
, respectively. If
, then
for any
.
Let be the solution semiflow of the upper system (Equation10
(10)
(10) ). Then
is order-preserving in
with
and
for all
. Define the reflection operator
by
. For a fixed
, we define the translation operator
by
. Then it is easy to observe that
is spatially reflection and translation invariant in the sense that
and
. Moreover,
is continuous with respect to the compact open topology, and precompact in
. Thus, for each t>0, the map
satisfies the conditions (A1) –(A5) in [Citation21] with
. Similarly, the solution semiflow of the lower system (Equation11
(11)
(11) ) also admits the same properties. It then follows from [Citation21, Theorem 2.17] that there exist positive real number
and
, which are the spreading speeds of (Equation10
(10)
(10) ) and (Equation11
(11)
(11) ), respectively. Combining Lemma 3.1, we obtain the following estimation for the spreading of the solution of (Equation4
(4)
(4) ) with initial data in
.
Proposition 3.2
Let be the unique solution of (Equation4
(4)
(4) ) with initial data
, then the following statements are valid:
(i) | For any | ||||
(ii) | For any |
Moreover, it follows from [Citation21, Theorem 4.3 and 4.4] that and
are also the minimum wave speeds of the monotone travelling waves of (Equation10
(10)
(10) ) and (Equation11
(11)
(11) ) connecting
to
, respectively. Then we have the following result.
Proposition 3.3
Assume that (H1)-(A1) or (H2)-(A1) hold. Let be the spreading speeds of (Equation10
(10)
(10) ). Then the following statements are valid:
(i) | For any | ||||
(ii) | For any |
3.2. The linear selection of the spreading speed
In order to further estimate the spreading of populations, the calculation formula for the minimum wave speeds and
are critical. For lots of monotone dynamical systems, the minimum wave speed is linearly selected if the nonlinear system can be controlled by its linearization. However, it is nontrivial for systems (Equation10
(10)
(10) ) and (Equation11
(11)
(11) ) since their linearization at
cannot control the nonlinear systems.
In order to figure out the conditions under which the minimum wave speeds and
are linearly selected, we linearize (Equation10
(10)
(10) ) at
, and get the following linearization:
(12)
(12) Substituting
,
, to the right-hand side of (Equation12
(12)
(12) ), and letting j = 0, we get the following matrix:
(13)
(13) which is in Frobenius form and reducible. Following [Citation22, Remark 2.3], the linear speed
of (Equation10
(10)
(10) ) could be defined by
It follows from [Citation21] that
. We say the minimum wave speed
is linearly selected if
, and it is nonlinearly selected if
.
Substituting ,
, z = j + ct, to (Equation10
(10)
(10) ), we know that
and
satisfy the following wave profile equations:
(14)
(14) where the function
is defined by replacing g with
in function
. Then by the ideas recently developed in [Citation22,Citation23], we can determine the linear selection of the minimum wave speed by constructing suitable upper solutions for (Equation14
(14)
(14) ) with
. We first recall the definition of upper and lower solutions.
Definition 3.4
A vector function is called an upper solution of (Equation14
(14)
(14) ) if it is twice differentiable except at finitely many points on
, and satisfies the following inequalities
(15)
(15) A lower solution of (Equation14
(14)
(14) ) can be similarly defined by reversing the inequalities in (Equation15
(15)
(15) ).
Following [Citation22, Theorem 2.10] and the proof ideas as used in [Citation22, Theorem 4.1], we have the following result for the linear selection of the minimum wave speed .
Proposition 3.5
Assume that (H1)-(A1) or (H2)-(A1) hold. If (Equation14(14)
(14) ) with
admits a continuous and positive upper solution
satisfying
then the minimum wave speed
is linearly selected, that is,
.
In order to find suitable upper solutions of (Equation14(14)
(14) ) with
. We substitute
,
, to the linearization of (Equation14
(14)
(14) ) at
, we get
(16)
(16) where the matrix
is given by
Let
Then (Equation16
(16)
(16) ) admits nontrivial solutions if and only if
For any
, we know that
admits two positive roots
(17)
(17) In the case of
, we denote the positive repetitive root
as
. Moreover, we can verify that
is decreasing and
is increasing in
Now for any , we define a continuous function
(18)
(18) where
. Then we have the following result for the linear selection of the minimum wave speed
.
Theorem 3.6
Assume that (H1)-(A1) or (H2)-(A1) hold. Let be given in (Equation18
(18)
(18) ). If there exists a continuous and positive function
satisfying
,
,
for
, and
for
such that
satisfies the second inequality of (Equation15
(15)
(15) ) with
, then
.
Proof.
By Proposition 3.5, it is enough to check satisfies the first inequality of (Equation15
(15)
(15) ) with
for all
.
When , we have
,
, and
When
, we have
When
, we have
In the case of
, we have
,
, and
This completes the proof.
Theorem 3.7
Assume that (H1)-(A1) or (H2)-(A1) hold. If satisfies
(19)
(19) then the minimum wave speed
is linearly selected. In particular, if
, then
.
Proof.
Let be given in (Equation18
(18)
(18) ) and choosing
. Then
satisfies
for
, and
for
due to
. Now we only need to prove
satisfies the second inequality of (Equation15
(15)
(15) ) with
for any
.
When ,
,
Then we have
When
, we have
When
, we have
When
, then
,
By a direct computation, we have
Then Theorem 3.6 implies that the minimum wave speed
is linearly selected.
In particular, if , then the condition (H1) implies that
This completes the proof.
Theorem 3.8
Assume that (H1)-(A1) or (H2)-(A1) hold. If the inequality (Equation19(19)
(19) ) holds or
, then
, and
is the spreading speed of nonmonotone system (Equation4
(4)
(4) ).
Proof.
Note that , and
which implies that (Equation10
(10)
(10) ) and (Equation11
(11)
(11) ) have the same linearization (Equation12
(12)
(12) ) at
. Then the general theories developed in [Citation22] for the linear selection of the minimum wave speed are applicable to both systems (Equation10
(10)
(10) ) and (Equation11
(11)
(11) ). By the same procedure, we can verify that (Equation11
(11)
(11) ) admits the same upper solution given in (Equation18
(18)
(18) ) and lower solution chosen in Theorem 3.7, which implies that all results determined for upper system (Equation10
(10)
(10) ) are valid for the lower system (Equation11
(11)
(11) ). Then Theorem 3.7 implies that (Equation10
(10)
(10) ) and (Equation11
(11)
(11) ) admit the same spreading speed, and
. It follows from Proposition 3.2 that
is the spreading speed of the nonmonotone system (Equation4
(4)
(4) ).
4. Travelling waves
In this section, we determine the existence of travelling waves of (Equation4(4)
(4) ) connecting
to
. With (H1)-(A1) or (H2)-(A1), (Equation4
(4)
(4) ) is nonmonotone in
. We will appeal to the upper-lower solution method to prove the existence of travelling waves. We first prove the existence of the travelling waves of the lower system, which will be used as the lower solution of the nonmonotone system (Equation4
(4)
(4) ).
Let be given in Theorem 3.8 and
be defined in (Equation17
(17)
(17) ) for
. Then we choose positive number
small enough such that
For any
, we define the following continuous and bounded functions
where constant M>1 is sufficiently large and will be determined later. Now we prove the existence of travelling waves for the lower system (Equation11
(11)
(11) ) for any
.
For the convenience of expression, we define in (Equation11
(11)
(11) ) by replacing the function g by
in the function
. Substituting
,
, z = x + ct, to (Equation11
(11)
(11) ), we know that
and
satisfy the following equations
(20)
(20) By similar arguments as used in the proof of [Citation12, Theorem 3.1], we have the following result for system (Equation20
(20)
(20) ).
Proposition 4.1
If system (Equation20(20)
(20) ) has an upper solution
, and a lower solution
in
satisfying the following conditions:
(1) |
| ||||
(2) |
| ||||
(3) |
|
Lemma 4.2
Assume and
, then
satisfies the following inequalities
for any
.
Proof.
Note that . A simple calculation induces that if
,
, then
Hence we have
When
, we have
When
, we have
In the case of
,
,
By a direct computation, we have
Therefore,
is an upper solution of (Equation20
(20)
(20) ).
Lemma 4.3
Assume and
, then
satisfies the following inequalities
for any
.
Proof.
Choosing M>1 large enough such that . It is easy to see that, when
,
and so
When
, we have
Now we prove the first inequality holds. When
, we know
, and the inequality is obviously true. In the case of
,
When
, it is easy to see that
. Denote
we have
provided M large enough such that
When
, we have
By a direct calculation, we get
This implies that
is a lower solution of (Equation20
(20)
(20) ).
For any , it is easy to check that
and
given in Lemmas 4.2 and 4.3 satisfy conditions (1)-(3) of Proposition 4.1. Then we obtain the existence of monotone travelling waves of (Equation20
(20)
(20) ) for any
. Moreover, for
, we can choose a sequence
such that
as
. Then a limiting argument as used in [Citation24,Citation25] induces the existence of monotone travelling waves of (Equation20
(20)
(20) ) with
. Then we have the following result.
Proposition 4.4
Assume and (H1)-(A1) or (H2)-(A1) hold. Then for any
, (Equation20
(20)
(20) ) admits a positive monotone solution
satisfying (Equation8
(8)
(8) ) and
. That is, the lower system (Equation11
(11)
(11) ) admits a monotone travelling wave solution connecting
to
for any
.
Now we are in the position to prove the existence and nonexistence of travelling waves for the nonmonotone system (Equation4(4)
(4) ). Equivalently, we need to investigate the existence of solutions for (Equation14
(14)
(14) ) with condition (Equation8
(8)
(8) ).
Theorem 4.5
Assume and (H1)-(A1) or (H2)-(A1) hold. Let
be given in Theorem 3.8. Then the following statements are valid
(i) | For any | ||||
(ii) | For any |
Proof.
For any , let
be the travelling wave solution of (Equation11
(11)
(11) ) determined in Proposition 4.4. By the comparison principle, we know that
is a lower solution of (Equation14
(14)
(14) ). Moreover, we verify that Lemma 4.2 is still true for any
if we replace function
by
. Therefore,
is an upper solution of (Equation14
(14)
(14) ) as well, and
for any
. Now we define the set
It is clear that Γ is a bounded nonempty closed convex subset in
.
For constant large enough, we define the operator
by
where
is given by
Similarly, we can define operator
and
by replacing function
by
. Then we can check
is nonnegative and monotone in
provided λ is large enough.
Note that a fixed point of operator in
is a nonnegative and bounded solution of (Equation14
(14)
(14) ). From the monotonicity of
and
, we know that for any
, the following inequalities hold
Then it follows that
is well defined on Γ, and satisfies
due to
Moreover, by similar arguments as used in [Citation12], we can check
is continuous and compact on Γ. Therefore, the Schauder's fixed point theorem shows that the operator
admits a fixed point
, which is a travelling wave solution of (Equation4
(4)
(4) ) for
. Since
and
We know that
satisfies boundary condition (Equation8
(8)
(8) ).
Now we use the determined spreading speed theorem and a contradiction argument to prove the nonexistence of the travelling wave of (Equation4(4)
(4) ) with speed
. Assume, by contradiction, that there exists a travelling wave
with some speed
such that
and
. Then Theorem 3.8 and statements (i) –(ii) in Proposition 3.3 imply that
(21)
(21) Taking
, and letting
in (Equation21
(21)
(21) ), then we have
which is a contradiction. This completes the proof.
5. Applications and discussions
In this section, we use specific fitness functions to show the application of our theoretical results. Motivated by the well-known Lotka–Volterra competition model, where the linearly decreasing fitness functions depending on the linear combination of total densities are used to model the intra and interspecific competition of two species [Citation26], we take the following linearly decreasing pioneer fitness function as
To model the Allee effect of the population growth, quadratic fitness functions are often used in the literature. The reader is refereed to the review paper [Citation2] and references therein for the mathematical modelling of population dynamics with Allee effect. Thus, we take the climax fitness function as
where
and
. Substituting f and g to (Equation2
(2)
(2) ), we get the following lattice pioneer-climax interaction model:
(22)
(22) Taking
,
,
,
,
,
,
,
,
in (Equation22
(22)
(22) ), we calculate that
,
,
,
,
,
. It is easy the verify that the condition (H1)-(A1) hold. Then Theorems 3.8 and 4.5 imply that (Equation22
(22)
(22) ) admits a spreading speed
and
is the minimum wave speed of travelling waves of (Equation22
(22)
(22) ) connecting the boundary equilibrium
to the coexistence equilibrium
.
In this paper, we studied the spatial dynamics of a lattice pioneer-climax competition system, where the climax species is subject to an Allee effect and the system is non-monotone in the competition order. The main novelty of this research is that the estimation of spreading speeds and the existence of travelling waves are determined for the system without monotonicity assumptions. With the help of two constructed auxiliary systems and the comparison principle, we first estimate the spreading speeds of populations. Then, by constructing suitable upper solutions, we figure out sufficient conditions under which the spreading speeds are linearly selected. Our results show that if the diffusion rate of the invasive species (species 1) is larger or equal to that of the native one (species 2), the species can invade successfully and the invasion spreading speed is linearly determined. Appealing to the sandwich technique and upper-lower solution method, we further obtain the existence of travelling waves connecting to
, and establish the coincidence of the spreading speed with the minimum wave speed of travelling waves.
The analytical techniques developed in this paper can be used to study the invasion dynamics of () in the case that species 2 is invasive. For example, under (H1) (see Figure (a)), the existence of spreading speeds and travelling waves of () connecting to
can be established by analogous arguments as used in this paper. As stated in Remark 1.1, the similar analysis can be done for the delayed system (). In reference [Citation12], with (H1) and the condition
so that the system is monotone for the densities bounded by
and
, the authors proved the existence of monotone travelling waves of () connecting
to
, while the existence and linear determinacy of the spreading speed have not been studied there. In fact, using the ideas and techniques developed in this paper, we could relax the technical condition
in [Citation12] to
. Since
, the results in [Citation12] can be covered, but the procedure and skills of the model analysis are substantially different due to the non-monotonicity of the system.
Finally, we should point out that the dynamics of lattice pioneer-climax competition systems is quite rich, and has not been completely understood. In this work, we consider the case that one species is invasive and the other is native. It is worthy studying the coinvasion of two species. For example, under condition (H1), the coexistence equilibrium is globally attractive in the interior of
. It is interesting to consider the case that both species are invasive. We are wondering under which conditions two species can invade successfully, and how to estimate the invasion spreading speeds. Another research problem is the existence of bistable travelling waves when both the boundary equilibria
and
are stable. Since the system is non-monotone and there may be more than one equilibria between
and
, which makes the research problem challenging. Moreover, we assume all parameters in the model are constants. It should be more reasonable to consider the time-periodic coefficients to describe the seasonal variations of the ecosystem. In that case, the system become nonautonomous, and the dynamical analysis is more complicated. We hope this work can inspire us to find appropriate methods and techniques to solve these research questions in our future works.
Acknowledgments
We are very grateful to reviewers for their carefully reading and constructive comments that led to improvements of our original manuscript.
Disclosure statement
No potential conflict of interest was reported by the author(s).
Additional information
Funding
References
- C Azar, K Lindgren, J Holmberg. Constant quota versus constant effort harvesting. Environ Resour Econ. 1996;7:193–196. doi: 10.1007/BF00699291
- G-Q Sun. Mathematical modeling of population dynamics with Allee effect. Nonlinear Dyn. 2016;85:1–12. doi: 10.1007/s11071-016-2671-y
- JF Selgrade, G Namkoong. Stable periodic behavior in a pioneer-climax model. Nat Resour Model. 1990;4:215–227. doi: 10.1111/nrm.1990.4.issue-2
- J Buchanan. Asymptotic behavior of two interacting pioneer-climax species. Fields Inst Commun. 1999;21:51–63.
- J Buchanan. Turing instability in pioneer/climax species interactions. Math Biosci. 2005;194:199–216. doi: 10.1016/j.mbs.2004.10.010
- NM Gilbertson, M Kot. Dynamics of a discrete-time pioneer-climax model. Theor Ecol. 2021;14:501–523. doi: 10.1007/s12080-021-00511-z
- S Brown, J Dockery, M Pernarowski. Traveling wave solutions of a reaction diffusion model for competing pioneer and climax species. Math Biosci. 2005;194:21–36. doi: 10.1016/j.mbs.2004.10.001
- J Cao, P Weng. Single spreading speed and traveling wave solutions of a diffusive pioneer-climax model without cooperative property. Comm Pur Appl Anal. 2017;16:1405–1426. doi: 10.3934/cpaa.2017067
- P Weng, X Zou. Minimal wave speed and spread speed of competing pionner and climax species. Appl Anal. 2014;93:2093–2110. doi: 10.1080/00036811.2013.868442
- Z Yuan, X Zou. Co-invasion waves in a reaction diffusion model for competing pioneer and climax species. Nonlinear Anal RWA. 2010;11:232–245. doi: 10.1016/j.nonrwa.2008.11.003
- Y Zhang, S Ma. Invasion dynamics of a diffusive pioneer-climax model: monotone and non-monotone cases. Disc Cont Dyn Syst B. 2021;26:4767–4788.
- L Shu, P Weng, Y Tian. Traveling wavefronts of a delayed lattice reaction-diffusion model. J Appl Anal Comp. 2015;5:64–76.
- JP Keener. Propagation and its failure in coupled systems of discrete excitable cells. SIAM J Appl Math. 1987;47:556–572. doi: 10.1137/0147038
- S Ma, X Zou. Propagation and its failure in a lattice delayed differential equation with global interaction. J Differ Equ. 2005;212:129–190. doi: 10.1016/j.jde.2004.07.014
- JE Franke, A-A Yakubu. Pioneer exclusion in a one-hump discrete pioneer-climax competitive system. J Math Biol. 1994;32:771–787. doi: 10.1007/BF00168797
- JF Selgrade, G Namkoong. Population interactions with growth rates dependent on weighted densities. Differ Equ Models Bio Epidemiology Ecology. 1991;92:247–256. Lecture Notes Biomath.
- JF Selgrade. Planting and harvesting for pioneer-climax models. Rocky Mountain J Math. 1994;24:293–310.
- S Sumner. Stable periodic behavior in pioneer-climax competing species models with constant rate forcing. Nat Resour Model. 1998;11:155–171. doi: 10.1111/nrm.1998.11.issue-2
- C Hu, B Li. Spatial dynamics for lattice differential equations with a shifting habitat. J Differ Equ. 2015;259:1967–1989. doi: 10.1016/j.jde.2015.03.025
- P Weng, H Huang, J Wu. Asymptotic speed of propagation of wave fronts in a lattice delay differential equation with global interaction. IMA J Appl Math. 2003;68:409–439. doi: 10.1093/imamat/68.4.409
- X Liang, X-Q Zhao. Asymptotic speeds of spread and traveling waves for monotone semiflows with applications. Commun Pure Appl Math. 2007;60:1–40. doi: 10.1002/cpa.v60:1
- M Ma, C Ou. Linear and nonlinear speed selection for mono-stable wave propagations. SIAM J Math Anal. 2019;51:321–345. doi: 10.1137/18M1173691
- A Alhasanat, C Ou. Minimal-speed selection of traveling waves to the Lotka-Volterra competition model. J Differ Equ. 2019;266:7357–7378. doi: 10.1016/j.jde.2018.12.003
- KJ Brown, J Carr. Deterministic epidemic waves of critical velocity. Math Proc Cambridge Philos Soc. 1977;81:431–433. doi: 10.1017/S0305004100053494
- X-Q Zhao, W Wang. Fisher waves in an epidemic model. Disc Cont Dyn Syst B. 2004;4:1117–1128.
- M Olinick. An introduction to mathematical models in the social and life sciences. Reading, MA: Addison-Welsey; 1978.