1. Introduction
In this paper, we are concerned with the classical competitive Lotka-Volterra system with diffusion

where $k_1$,
$k_2$,
$r$,
$d$ are positive constants and
$u(x,t)$,
$v(x,t)$ denote the population density of two competitive species that are nonnegative.
To begin with this paper, we recall that, as stated in [Reference Morita and Tachibana18], the solutions $(u(t),v(t))$ of (1.1) without diffusion exhibit the following asymptotic behaviour as
$t\rightarrow +\infty$:
(i) if
$0< k_1<1< k_2$, then
$(u(t),v(t))\rightarrow (1,0)$ (
$u$ survives);
(ii) if
$0< k_2<1< k_1$, then
$(u(t),v(t))\rightarrow (0,1)$ (
$v$ survives);
(iii) if
$k_1$,
$k_2>1$, then
$(u(t),v(t))\rightarrow (1,0)$ or
$(u(t),v(t))\rightarrow (0,1)$ depending on the initial condition (strong competition and bistability);
(iv) if
$0< k_1,k_2<1$, then
$(u(t),v(t))$ converges to the positive equilibrium (weak competition,
$u$ and
$v$ coexist).
Here, we only consider the relative problems under the weak competition case (iv): $0< k_1,k_2<1.$ In this case, the above system has four non-negative equilibria that are
$(0,0)$,
$(1,0)$,
$(0,1)$ and
$(({1-k_1}/{1-k_1k_2}), ({1-k_2}/{1-k_1k_2}))$.
A large number of papers focus on the study of spreading phenomena of system (1.1) under the cases (i)–(iv), such as [Reference Alhasanat and Ou1–Reference Alhasanat and Ou3, Reference Girardin and Lam6, Reference Hou and Leung7, Reference Lewis, Li and Weinberger9–Reference Ma, Chen, Yue and Han14, Reference Tang and Fife21, Reference Yue, Han, Tao and Ma27] and references therein, which is a significant and particularly interesting issue in reaction-diffusion systems. The existence of travelling wave fronts is an important part of this study. For (1.1), if the vector function $(u(x,t),v(x,t))=(\phi (\xi ),\psi (\xi ))$ (
$\xi =x+ct$) satisfies

with

we call it the travelling wave solution of (1.1) connecting $(0,1)$ and
$(({1-k_1}/{1-k_1k_2}),({1-k_2}/{1-k_1k_2}))$. If
$\phi$ is increasing and
$\psi$ is decreasing, then we call it the travelling wave front of (1.1). In the sequel, without special statements, the travelling wave front of (1.1) as we mention is the monotone solution to (1.2)–(1.3).
Since (1.1) can be changed into a cooperative system by a simple transform, which is given in the following, then from [Reference Li, Weinberger and Lewis11, Reference Volpert, Volpert and Volpert22], as we know, for wave propagation, there is always a minimal speed $c_{\min }\geqslant 0$ and the spreading speed is identical to the minimum wave speed. Standard linearization near the equilibrium point
$(0,1)$ gives that the minimal speed
$c_{\min }$ of travelling wave front satisfies
$c_{\min }\geqslant c_0:=2\sqrt {1-k_1}$, where
$c_0$ is always called the critical speed. And Lam et al. in [Reference Lam, Salako and Wu8, Reference Liu, Liu and Lam12] also pointed out
$c_{\min }\geqslant c_0$. As introduced in [Reference Alhasanat and Ou2, Reference Lewis, Li and Weinberger9], if
$c_{\min }=c_0$, then we say that the minimal wave speed is linearly selected, otherwise, if
$c_{\min }>c_0$, we say that the minimal wave speed is nonlinearly selected. In [Reference Lewis, Li and Weinberger9], Lewis et al. proved that when
$0< d\leqslant 2$, then the minimal wave speed is linearly selected. Furthermore, when
$d=1$, Hou and Leung in [Reference Hou and Leung7] proved there are travelling wave fronts of (1.1), if
$r<1$,
$c>2\sqrt {\frac {1-k_1}{1-k_1k_2}}$.
Whether the minimal wave speed is linearly selected or nonlinearly selected is an important problem in the classical competitive Lotka-Volterra system with diffusion. In the case (i), for travelling wave fronts of (1.1) connecting $(0,1)$ and
$(1,0)$, the speed selection problem is called Hosono's conjecture, and there are many excellent works on the linear or nonlinear selection, for example, see [Reference Alhasanat and Ou1–Reference Alhasanat and Ou3, Reference Li, Weinberger and Lewis11, Reference Ma, Chen, Yue and Han14, Reference Yue, Han, Tao and Ma27] and references therein. From the above statements, there are a few of results on the linear or nonlinear determinacy of the minimal wave speed of travelling wave fronts of (1.1) connecting
$(0,1)$ and
$(({1-k_1}/{1-k_1k_2}),({1-k_2}/{1-k_1k_2}))$. Thus, in this paper, we will give the regions of parameters in (1.1) to insure the linear or nonlinear selection, which are quite different from the conclusions in [Reference Alhasanat and Ou1–Reference Alhasanat and Ou3, Reference Li, Weinberger and Lewis11, Reference Ma, Chen, Yue and Han14, Reference Yue, Han, Tao and Ma27] and references therein, and increase the previously known parameter ranges that insure the linear selection in [Reference Lewis, Li and Weinberger9], and improve the existence results in [Reference Hou and Leung7]. In addition, a new nonlinear selection mechanism and a new sub-solution are given, which may be applicable for monostable travelling wave fronts of general monotone system.
Besides the existence, the stability of travelling wave fronts is also an important research content in reaction-diffusion theory, such as [Reference Faye and Holzer5, Reference Mei, Lin, Lin and So15–Reference Mei and Wang17, Reference Sattinger19, Reference Sattinger20, Reference Wang, Shi, Liu and Ma25, Reference Yu, Xu and Zhang26] and references therein. In [Reference Sattinger19, Reference Sattinger20], Sattinger gave the exponential stability of travelling wave fronts of the monostable scalar equation by constructing some weighted spaces and the spectrum-analysis. Then in [Reference Mei, Lin, Lin and So15], with the weighted energy method and $L^{2}$-estimates, Mei et al. proved the exponential stability of travelling wave fronts of the monostable scalar equation with the delay for any
$c$, which is larger than the critical speed of such equation. Moreover, in [Reference Mei, Ou and Zhao16], by the weighted energy method,
$L^{1}$-estimates and
$L^{2}$-estimates, Mei et al. obtained the exponential stability of the critical travelling wave front, while in [Reference Mei and Wang17], by weighted energy method and Fourier transformation, Mei and Wang gave optimal rates of convergence of travelling wave fronts. Recently, Yu et al. in [Reference Yu, Xu and Zhang26] discussed the exponential stability of travelling wave fronts connecting two equilibria on the axis of competitive system with nonlocal diffusion. In this paper, we finally establish the exponential stability of travelling wave fronts of (1.1) via the weighted energy method and
$L^{2}$-estimates. In particular, as
$k_2$ converges to
$0$, then for any
$c>c_0$, the exponential stability of travelling wave fronts with the speed
$c$ is obtained.
The paper is organized as follows. We introduce some preliminaries in § 2. Then by constructing different kinds of pairs of super-sub solutions, the sufficient conditions on the linear or nonlinear speed selection are established in § 3. In the end, by constructing a suitable weighted function and some $L^{2}$-estimates, we will prove the exponential stability of solutions to (1.2)–(1.3).
2. Preliminaries
In this section, we introduce some known results on the asymptotic behaviour and notations used in the following sections.
2.1. Asymptotic behavior
Let $\tilde {u}=u$,
$\tilde {v}=1-v$, then (1.1) is equivalent to, by dropping the tildes for convenience,

and correspondingly, (1.2)–(1.3) are changed into

with

where $u^{\ast }=\displaystyle \frac {1-k_1}{1-k_1k_2}$,
$v^{\ast }=k_2\displaystyle \frac {1-k_1}{1-k_1k_2}=k_2 u^{\ast }$. Moreover, since

then $(0,1)\notin [0,u^{\ast }]\times [0,v^{\ast }]$ and
$(1,1)\notin [0,u^{\ast }]\times [0,v^{\ast }]$, which implies there is no other equilibria in
$(0,u^{\ast })\times (0,v^{\ast })$.
By these changes, the cooperative system is obtained. Then from [Reference Li, Weinberger and Lewis11, Reference Volpert, Volpert and Volpert22], there is a minimal speed $c_{\min }$, so that (2.2)–(2.3) has an increasing solution if and only if
$c\geqslant c_{\min }$. Thus, if (2.2)–(2.3) has an increasing solution for
$c\geqslant c_{\min }$, which is near
$c_{\min }$, then (2.2)–(2.3) also has an increasing solution for all
$\tilde {c}\geqslant c\geqslant c_{\min }$. In addition, travelling wave fronts of (1.1) mentioned above are travelling wave fronts of (2.1), which are increasing solutions to (2.2)–(2.3). In the following, we will investigate the existence and stability of increasing solutions to (2.2)–(2.3).
By letting $\phi '=\hat {\phi }$ and
$\psi '=\hat {\psi }$, (2.2) is equivalent to

Linearizing it at $(0,0,0,0)$ gives the following constant coefficient system

The corresponding characteristic equation is

Let

For $c\geqslant c_0$, the positive roots of (2.4) are

and obviously $\lambda _1(c)\leqslant \lambda _2(c)$. Also, the solutions of (2.4) can be rewritten as

If $d>1$,
$\hat {c}_1(\lambda )$ could intersect
$\hat {c}_2(\lambda )$ at the point
$\hat {\lambda }=\sqrt {\frac {r+1-k_1}{d-1}}$. Meanwhile,

Obviously, $\hat {c}\geqslant c_0$ and
$\hat {c}=c_0$ if and only if
$d=2+({r}/{1-k_1})$. Then from [Reference Alhasanat and Ou2, Reference Girardin and Lam6, Reference Hou and Leung7, Reference Liu, Liu and Lam12, Reference Morita and Tachibana18, Reference Wang and Li23–Reference Wang, Shi, Liu and Ma25] and references therein, the increasing solution
$(\phi ,\psi )$ has the following asymptotic behaviour as
$\xi \rightarrow -\infty$:
$\mathbf {Case\ 1}:$
$0< d\leqslant 1$ with
$c\geqslant c_0$ or
$1< d<2+({r}/{1-k_1})$ with
$c_0\leqslant c<\hat {c}$ (which implies
$\lambda _1\leqslant \lambda _2<\lambda _3$),
if $c>c_0$, then

where $C_1\geqslant 0$, and
$C_2>0\ (C_1=0)$;
if $c=c_0$ (which implies
$\lambda _1=\lambda _2$), then

where $C_2\geqslant 0$, and
$C_1>0\ (C_2=0)$.
$\mathbf {Case\ 2}:$
$d>1$ and
$c>\hat {c}$ (which implies
$\lambda _1<\lambda _3<\lambda _2$),

where $C_1\geqslant 0$, and
$C_2,\ C_3>0\ (C_1=0)$.
$\mathbf {Case\ 3}:$
$d>2+({r}/{1-k_1})$ and
$c_0\leqslant c<\hat {c}$ (which implies
$\lambda _3<\lambda _1\leqslant \lambda _2$),
if $c>c_0$, then

where $C_1\geqslant 0$ and
$C_2>0\ (C_1=0)$, and
$C_3>0$;
if $c=c_0$ (which implies
$\lambda _1=\lambda _2$), then

where $C_2\geqslant 0$, and
$C_1>0\ (C_2=0)$, and
$C_3>0$.
$\mathbf {Case\ 4}:$
$d>1$,
$d\neq 2+({r}/{1-k_1})$ and
$c=\hat {c}$ (which implies
$\lambda _3=\lambda _1$ or
$\lambda _3=\lambda _2$ and
$\lambda _2>\lambda _1$),
if $\lambda _3=\lambda _1$, then

where $C_1\geqslant 0$, and
$C_2, C_3>0\ (C_1=0)$,
$2d\lambda _3-c=({d\lambda ^{2}_3+r}/{\lambda _3})>0$;
if $\lambda _3=\lambda _2$, then

where $C_1\geqslant 0$, and
$C_2>0\ (C_1=0)$;
$\mathbf {Case\ 5}:$
$d=2+({r}/{1-k_1})$ (which implies
$\lambda _1=\lambda _2=\lambda _3$),

where $C_2\geqslant 0$, and
$C_1>0\ (C_2=0)$.
2.2. Notations and spaces
To prove the nonlinear stability, we introduce some notations and spaces used in this paper. Let $a:=(a_1,a_2)$ and
$b:=(b_1,b_2)$. We claim that if
$a_1\geqslant b_1$ and
$a_2\geqslant b_2$, then
$a\geqslant b$. Moreover if
$a_1>b_1$ or
$a_2>b_2$, then we say
$a>b$.
Let $\Omega \subseteq \mathbb {R}$ be an interval, including
$\Omega =\mathbb {R}$.
$L^{P}(\Omega )\ (p\geqslant 1)$ is the Lebesgue space of the integrable functions defined on
$\Omega$ and
$W^{k,p}(\Omega )\ (k\geqslant 0,p\geqslant 1)$ is the Sobolev space of the
$L^{p}$-functions
$f(x)$ defined on the the interval
$\Omega$, whose derivatives
$({d^{i}}/{dx^{i}})f\ (i=0,\ldots ,k)$ also belong to
$L^{p}(\Omega )$. Particularly, when
$p=2$,
$W^{k,2}(\Omega )=H^{k}(\Omega )$. Moreover,
$L^{p}_{\omega }(\Omega )$ stands for the weighted
$L^{p}$-space for a positive weight function with the norm defined as

and $W^{k,p}_{\omega }(\Omega )$ is the weighted Sobolev space with the norm given by

$H^{k}_{\omega }(\Omega )$ is the weighted Sobolev space with the norm given by

In addition, let $0< T\leqslant +\infty$ be a number and
$\mathbb {B}$ be a Banach space, then
$C^{0}([0,T],\mathbb {B})$ is the space of the
$\mathbb {B}$-valued continuous functions on
$[0,T]$, and
$L^{2}([0,T],\mathbb {B})$ is the space of the
$\mathbb {B}$-valued
$L^{2}$-functions on
$[0,T]$.
3. Spreading problems
In this section, by constructing different kinds of suitable super-sub solutions, we will give some new conditions on the existence of travelling wave fronts of (2.1) for any $d>0$, which improve the conditions given in [Reference Hou and Leung7], and some sufficient conditions on the linear or nonlinear speed selection, which enlarge the conditions on the linear speed selection in [Reference Lewis, Li and Weinberger9].
3.1. New conditions on the existence of travelling wave fronts
In this subsection, we will establish some sufficient conditions on the existence of travelling wave fronts of (2.1) by the super-sub solution method. Let

and define

where $\lambda _1=\lambda _1(c)$,
$\xi _0=({\ln q_0}/{(1-\eta _0)\lambda _1})$,
$1<\eta _0<\min \{2,({\lambda _2}/{\lambda _1})\}$ and
$q_0$ is large enough.
Obviously, $\overline {\phi }\geqslant \underline {\phi }$ and
$\overline {\psi }\geqslant \underline {\psi }$ for
$\xi \in \mathbb {R}$. In the following, we will prove
$F(\overline {\phi },\overline {\psi }),\ G(\overline {\phi },\overline {\psi })\leqslant 0$,
$F(\underline {\phi },\underline {\psi }),\ G(\underline {\phi },\underline {\psi })\geqslant 0$, which means
$(\overline {\phi },\overline {\psi })$ is a super-solution of (2.2) and
$(\underline {\phi },\underline {\psi })$ is a sub-solution of (2.2).
When $\xi \geqslant 0$, obviously,
$F(\overline {\phi },\overline {\psi })=0$. If
$\xi <0$, since
$k_2u^{\ast }=v^{\ast }$, then we have

Now we prove $G(\overline {\phi },\overline {\psi })\leqslant 0$. Similarly, when
$\xi \geqslant 0$, obviously,
$G(\overline {\phi },\overline {\psi })=0$. If
$\xi <0$, also since
$k_2u^{\ast }=v^{\ast }$, then we deduce

If $d\in (0,2]$, for
$c\geqslant c_0=2\sqrt {1-k_1}$, then
$d\lambda _1^{2}-c\lambda _1\leqslant 0$, which implies
$G(\overline {\phi },\overline {\psi })\leqslant 0$. Also if
$d\in (2,+\infty )$, for
$c\geqslant \frac {d}{\sqrt {d-1}}\sqrt {1-k_1}>c_0$, we still have
$d\lambda _1^{2}-c\lambda _1\leqslant 0$, and hence
$G(\overline {\phi },\overline {\psi })\leqslant 0$.
For $\xi \in \mathbb {R}$,
$G(\underline {\phi },\underline {\psi })=r(1-\underline {\psi }) (k_2\underline {\phi }-\underline {\psi })=rk_2\underline {\phi }\geqslant 0$. Finally, we show that
$F(\underline {\phi },\underline {\psi })\geqslant 0$. When
$\xi >\xi _0$,
$F(\underline {\phi },\underline {\psi })=0$. On the other hand, if
$\xi \leqslant \xi _0$, we have

For $c>c_0$, taking
$1<\eta _0<\min \{2,({\lambda _2}/{\lambda _1})\}$ and a large
$q_0$ gives
$F(\underline {\phi },\underline {\psi })\geqslant 0$. Thus
$(\overline {\phi },\overline {\psi })$ is a super-solution of (2.2) and
$(\underline {\phi },\underline {\psi })$ is a sub-solution of (2.2).
From [Reference Alhasanat and Ou1, Reference Alhasanat and Ou2, Reference Ma13] and references therein, for $c>c_0$,
$(\overline {\phi },\overline {\psi })$ and
$(\underline {\phi },\underline {\psi })$ are the super-sub solutions of the corresponding integral system derived from (2.2)–(2.3), respectively. According to this integral system, the corresponding integral operator can be defined, thus an iteration sequence
$\{(u_n,v_n)\}$ is obtained, where
$u_0=\overline {\phi }$,
$v_0=\overline {\psi }$, which converges to a pair of increasing functions
$(\phi ,\psi )$ satisfying (2.2)–(2.3) with
$\underline {\phi }\leqslant \phi \leqslant \overline {\phi }$,
$\underline {\psi }\leqslant \psi \leqslant \overline {\psi }$. For
$c=c_0$, the result can be obtained by Helly's Theorem and a limiting argument similar to [Reference Brown and Carr4, Reference Zhao and Wang28, Reference Zhao and Xiao29] and references therein. The uniqueness and strict monotonicity can be further proved by the sliding method in [Reference Li, Huang and Li10], and we omit the details here. Thus we establish the following result.
Theorem 3.1 If $d\in (0,2]$ with
$c\geqslant c_0$ or
$d\in (2,+\infty )$ with
$c\geqslant \frac {d}{\sqrt {d-1}}\sqrt {1-k_1}$, then there exists a unique strictly increasing solution (up to a translation) to (2.2)–(2.3).
Remark 3.2 If we define $c(d)=\frac {d}{\sqrt {d-1}}\sqrt {1-k_1}$, then
$c(2)=2\sqrt {1-k_1}=c_0$.
3.2. Linear speed selection
In this subsection, we further discuss the sufficient conditions on the linear speed selection, which is concluded in the following theorem.
Theorem 3.3 The minimal speed is linearly selected if one of the following conditions holds:
(C1)
$0< d\leqslant 2$;
(C2)
$2< d\leqslant 2+\frac {r\hat {v}^{\ast }}{1-k_1}$ and
$\frac {r}{r-(d-2)(1-k_1)}<\frac {2(1-k_1k_2)}{k_1k_2}$;
(C3)
$2+\frac {r\hat {v}^{\ast }}{1-k_1}< d<2+\frac {r}{1-k_1}$ and
$\frac {r}{r-(d-2)(1-k_1)}<\min $
$\left \{\frac {2d(1-k_1)}{(d-2)(1-k_1)-r\hat {v}^{\ast }},\right. \left.\frac {2(1-k_1k_2)}{k_1k_2}\right \}$,
where $\hat {v}^{\ast }=\frac {1-k_2}{1-k_1k_2}$.
Remark 3.4 In this remark, we verify that the parameter range in cases (C2) or (C3) is not empty by giving some specific figures. First of all, since $\hat {v}^{\ast }<1$, then
$2+({r\hat {v}^{\ast }}/{1-k_1})<2+({r}/{1-k_1})$, which implies that in the case (C2) or (C3),

Choose $k_1=k_2=\frac {1}{2}$,
$r=1$,
$d=\frac {8}{3}$, then
$\hat {v}^{\ast }=\frac {2}{3}$,
$\frac {r}{1-k_1}=2$, thus

which is the case (C2), and the minimal speed is linearly selected.
On the other hand, set $k_1=k_2=\frac {1}{2}$,
$r=1$,
$d=\frac {7}{2}$, then
$\hat {v}^{\ast }=\frac {2}{3}$,
$\frac {r}{1-k_1}=2$, thus

which is the case (C3), the minimal speed is also linearly selected.
Remark 3.5 In this remark, we try to rewrite the inequalities in (C2) and (C3) in a consistent form both in terms of $d$. For (C2), by directly computing, we conclude that if
$0< k_1k_2<\frac {2}{3}$ and
$\frac {2}{3}< k_1<1$, then

while if $0< k_1k_2<\frac {2}{3}$ and
$0< k_1\leqslant \frac {2}{3}$, then

By recalling $0< k_2<1$, if
$0< k_1\leqslant \frac {2}{3}$, then
$0< k_1k_2<\frac {2}{3}$. Thus, we can rewrite (C2) as (C2)’
$(d,r,k_1,k_2)\in L_1\cup L_2$, where

For (C3), obviously, when $0< k_1k_2<\frac {2}{3}$, then

Then, by directly computing, we can rewrite (C3) as

where

In the following, for the convenience of statements in the proof, we will prove inequalities in (C2) and (C3).
Remark 3.6 In this remark, we will compare the results in theorems 3.1 and 3.3 with previous results. In [Reference Lewis, Li and Weinberger9], when $0< d\leqslant 2$, then the minimal speed is linearly determined. According to theorem 3.3, when the parameters satisfy (C2) or (C3), then the minimal speed is also linearly determined. Thus, our results indeed enlarge the previously known parameter ranges that insure the linear selection in [Reference Lewis, Li and Weinberger9]. Then from theorem 2.2 in [Reference Hou and Leung7], if

then (1.1) has a travelling wave front. From theorems 3.1 and 3.3, the results in [Reference Hou and Leung7] are improved. For example, choose $d=2$,
$r<1$,
$c>2\sqrt {\frac {1-k_1}{1-k_1k_2}}$, then theorem 2.2 in [Reference Hou and Leung7] is invalid, while, from (C1) in theorem 3.3, (1.1) has a travelling wave front.
Remark 3.7 In this remark, we will compare the sufficient conditions on the linear speed selection or the nonlinear speed selection with the conclusions on travelling wave fronts connecting $(0,1)$ and
$(1,0)$ in the case (i). From theorem 3.3, if
$0< d\leqslant 2$, the sufficient condition of linear speed selection depends only on
$d$, which is simple compared with the conditions in [Reference Alhasanat and Ou2] for the travelling wave front of (1.1) connecting
$(0,1)$ and
$(1,0)$ in the case (i). These conclusions demonstrate that the sufficient conditions on the linear speed selection of the minimal wave speed of travelling wave fronts of (1.1) connecting different equilibria are quite different. Moreover, since
$c_0=2\sqrt {1-k_1}$, thus the linear speed selection depends only on
$\lambda _1$. Indeed, from the asymptotic behaviour in § 2, when
$0< d<2+({r}/{1-k_1})$,
$\lambda _1$ is the smallest positive root of (2.4). Therefore, when
$0< d<2+({r}/{1-k_1})$, one can construct a suitable super-sub solutions related to
$\textrm {e}^{\lambda _1\xi }$. Meanwhile, if
$d>2+({r}/{1-k_1})$, then the minimal speed is nonlinearly selected, see theorem 3.13 below.
The case (C1) obviously follows from theorem 3.1. The rest will be proved by constructing some suitable super-sub solutions.
Lemma 3.8 When $c>c_0$, the functions
$\underline {\phi }$,
$\underline {\psi }$ satisfy
$F(\underline {\phi },\underline {\psi }),\ G(\underline {\phi },\underline {\psi })\geqslant 0$, where

$\xi _1=\frac {1}{\varepsilon _1}\ln \frac {1}{q_1}<0$ for
$0<\varepsilon _1<\min \{\lambda _1,\lambda _2-\lambda _1\}$ and large positive
$q_1$, and
$\underline {\psi }=0$.
Proof. Since $\underline {\phi }\geqslant 0$, then obviously
$G(\underline {\phi },\underline {\psi })=rk_2\underline {\phi }\geqslant 0$. We continue to prove
$F(\underline {\phi },\underline {\psi })\geqslant 0$. If
$\xi <\xi _1$, we have

for $c>c_0$,
$0<\varepsilon _1<\min \{\lambda _1,\lambda _2-\lambda _1\}$ and large positive
$q_1$. For
$\xi \geqslant \xi _1$,
$F(\underline {\phi },\underline {\psi })=0$.
Then we focus on the construction of the functions $\overline {\phi }$,
$\overline {\psi }$.
Lemma 3.9 Suppose that the case (C2) or (C3) in theorem 3.3 holds. Let $c:=c_0+\varepsilon _2$ for
$\varepsilon _2\geqslant 0$. If
$\varepsilon _2>0$ is sufficiently small, then the functions
$\overline {\phi }$,
$\overline {\psi }$ satisfy
$F(\overline {\phi },\overline {\psi }),\ G(\overline {\phi },\overline {\psi })\leqslant 0$, where


and $q_2$ is a positive constant,
$q_3=({r}/{r-(d-2)(1-k_1)})+\eta _1>1$ for small
$\eta _1>0$, and
$\xi _2$ satisfies
$q_3k_2\overline {\phi }(\xi _2)=v^{\ast }$.
Proof. We firstly prove $G(\overline {\phi },\overline {\psi })\leqslant 0$. For
$\xi >\xi _2$, by (3.2), we have

On the other hand, if $\xi \leqslant \xi _2$, since
$\overline {\phi }'=\lambda _1\overline {\phi }(1-\displaystyle \frac {\overline {\phi }} {u^{\ast }})$,
$\overline {\phi }''=\lambda _1\overline {\phi } (1-\displaystyle \frac {\overline {\phi }}{u^{\ast }}) (\lambda _1-\displaystyle \frac {2\lambda _1}{u^{\ast }}\overline {\phi })$, we have

Let

Since $\overline {\phi }\geqslant 0$, in order to prove
$G(\overline {\phi },\overline {\psi })<0$ in
$(-\infty ,\xi _2)$, it is sufficient to demonstrate
$G_1(x)<0$ in
$(0,({u^{\ast }}/{q_3}))$, which can be guaranteed by
$G_1(0)$,
$G_1(({u^{\ast }}/{q_3}))<0$ since
$G''_1(x)=({4dq_3\lambda ^{2}_1}/{(u^{\ast })^{2}})>0$.
First, we have

Since $c=c_0+\varepsilon _2$ with sufficiently small
$\varepsilon _2>0$, then
$\lambda _1=\sqrt {1-k_1}+o(\varepsilon _2)$, and thus

From (C2) or (C3), we have $2< d<2+({r}/{1-k_1})$ and
$q_3=({r}/r-(d-2) (1-k_1))+\eta _1>1$, then

which still holds for small $\varepsilon _2>0$.
Now we prove $G_1(({u^{\ast }}/{q_3}))<0$ for small
$\varepsilon _2>0$. Since

similarly, for $\varepsilon _2=0$, we have

If (C2) holds, then $(d-2)(1-k_1)\leqslant r\hat {v}^{\ast }$, which implies that
$G_1(({u^{\ast }}/{q_3}))<0$ for small positive
$\varepsilon _2$. On the other hand, if (C3) holds, then
$(d-2)(1-k_1)>r\hat {v}^{\ast }$. From (C3), since

then for small $\eta _1$, we still have

which implies $G_1(({u^{\ast }}/{q_3}))<0$ for small
$\varepsilon _2>0$. Therefore
$G(\overline {\phi },\overline {\psi })<0$ for small
$\varepsilon _2>0$.
Next we will prove $F(\overline {\phi },\overline {\psi })\leqslant 0$. First we have

In order to prove $F(\overline {\phi },\overline {\psi })\leqslant 0$, it is sufficient to prove

where

Now we estimate $J(\xi )$. By the definitions of
$u^{\ast }$,
$v^{\ast }$ and (3.3), we have

For $\xi \leqslant \xi _2$, also from (3.3), we have
$\overline {\phi }\leqslant ({v^{\ast }}/{k_2q_3})=({u^{\ast }}/{q_3})$. Thus
$u^{\ast }-\overline {\phi }\geqslant u^{\ast }-({u^{\ast }}/{q_3})=({q_3-1}/{q_3}u^{\ast })$. Then
$({1}/{u^{\ast }-\overline {\phi }})\leqslant ({q_3}/{(q_3-1)u^{\ast }})$ due to
$q_3>1$. Hence

For $\xi >\xi _2$,
$\overline {\phi }\geqslant ({u^{\ast }}/{q_3})$, thus

From (3.5)–(3.6), we conclude that $J(\xi )\leqslant k_2q_3u^{\ast }$ on
$\mathbb {R}$. Moreover, from (C2) or (C3) in theorem 3.3,
$({r}/{r-(d-2)(1-k_1)})<({2(1-k_1k_2)}/{k_1k_2})$, thus for small
$\eta _1$,

Therefore we have

which insure (3.4) holds for small positive $\varepsilon _2$. Therefore
$F(\overline {\phi },\overline {\psi })\leqslant 0$ for small
$\varepsilon _2>0$.
From lemmas 3.8–3.9, obviously, $\overline {\psi }(\xi )\geqslant \underline {\psi }(\xi )$, for
$\xi \in \mathbb {R}$, and
$\overline {\phi }(\xi )\geqslant \underline {\phi }(\xi )$, for
$\xi \geqslant \xi _1$. While for
$\xi <\xi _1$, we have

If $q_2u^{\ast }-1>0$ and
$\varepsilon _1$ is small enough, then
$\overline {\phi }(\xi )\geqslant \underline {\phi }(\xi )$ on
$(-\infty ,\xi _1)$.
All in all, $(\underline {\phi },\underline {\psi })$ is a sub-solution of (2.2), and
$(\overline {\phi },\overline {\psi })$ is a super-solution of (2.2), when
$c$ is sufficiently close to
$c_0$. By repeating the process given in the end of § 3.1, one can finish the proof of theorem 3.3, which implies that
$c_{\min }=c_0$, and there exists a unique strictly increasing solution (up to a translation) to (2.2)–(2.3) when
$c$ is sufficiently close to
$c_0$. Moreover, since there is no other equilibria in
$(0,u^{\ast })\times (0,v^{\ast })$ and (2.2) is cooperative, therefore (2.2)–(2.3) have an increasing solution if and only if
$c\geqslant c_0$ from [Reference Li, Weinberger and Lewis11, Reference Volpert, Volpert and Volpert22]. Hence we finally arrive at the following conclusion.
3.3. Nonlinear speed selection
In this subsection, we are going to discuss sufficient conditions on the nonlinear speed selection. Inspired by the ideas in [Reference Alhasanat and Ou1–Reference Alhasanat and Ou3, Reference Ma, Chen, Yue and Han14, Reference Yue, Han, Tao and Ma27], in order to investigate the nonlinear speed selection by the super-sub solution method, we need to construct a pair of sub-solution $(\underline {\phi },\underline {\psi })$, which behaves like
$\textrm {e}^{\lambda _2\xi }$ as
$\xi \rightarrow -\infty$. The following lemma confirms this claim.
Lemma 3.11 For some $\tilde {c}>c_0$, assume that system (2.1) has a pair of non-negative sub-solution
$(\underline {\phi }(\tilde {\xi }),\underline {\psi }(\tilde {\xi }))$, where
$\tilde {\xi }=x+\tilde {c}t$. Moreover, if
$\underline {\phi }(\tilde {\xi })$,
$\underline {\psi }(\tilde {\xi })$ are increasing and
$\underline {\phi }(\tilde {\xi })$,
$\underline {\psi }(\tilde {\xi })$ satisfies

where $K_1$ and
$K_2$ are some positive constants, then system (2.2) has no travelling wave fronts for
$c\in [c_0,\tilde {c})$.
Proof. For $c\in [c_0,\tilde {c})$, suppose that there is a travelling wave front
$(\phi (x+ct),\psi (x+ct))$ to (2.1) with the initial conditions

which also are increasing solutions to (2.2) with (2.3). By recalling the asymptotic behaviour in § 2 and (2.3), one can further assume that $\underline {\phi }(x)\leqslant \phi (x)$ and
$\underline {\psi }(x)\leqslant \psi (x)$ in
$\mathbb {R}$, by shifting if necessary. Then, by the comparison theorem of parabolic systems with initial values, for
$(x,t)\in \mathbb {R}\times \mathbb {R^{+}}$, we have

Fix $\tilde {\xi }_1=x+\tilde {c}t$ such that
$\underline {\phi }(\tilde {\xi }_1)>0$. Furthermore, as
$t\rightarrow \infty$,
$\phi (x+ct)=\phi (\tilde {\xi }_1+(c-\tilde {c})t)$ converges to
$0$. Thus, by (3.7), we have

which implies $\underline {\phi }(\tilde {\xi }_1)=0$, and this is a contradiction.
Now we introduce the following functions

where $1<\eta _2<2$,
$0<\varepsilon _3<1-k_1$ is small enough such that

on $(-\infty ,\xi _3]$, and
$q_4\leqslant k_2\varepsilon _3$. We explain the rationality of
$\varepsilon _3$. Since
$\underline {\phi }'\geqslant 0$ on
$\mathbb {R}$, then
$\xi _3$ in (3.8) is unique. Obviously, as
$\varepsilon _3$ decreases to
$0$,
$\xi _3$ converges to
$-\infty$. Thus, for
$\xi \in (-\infty ,\xi _3]$, we can take
$\varepsilon _3$ that is small enough such that

by noting $\eta _2\lambda _2>\lambda _2$ and
$\Delta _1(\eta _2\lambda _2,c)>\Delta _1(\lambda _2,c)=0$. Directly computing gives

and

Then in order to prove nonlinear speed selection, we only need to consider these functions are the subsolutions to (2.1) with some $c>c_0$. Since
$({\partial }/{\partial t})\underline {\phi }(\xi )=c\underline {\phi }'(\xi )$ and
$({\partial }/{\partial x})\underline {\phi }(\xi )=\underline {\phi }'(\xi )$, then a subsolution of (2.1) is equivalent to a subsolution of (2.2). Thus we only need to consider
$F(\underline {\phi },\underline {\psi }),\ G(\underline {\phi },\underline {\psi })\geqslant 0$ with some
$c>c_0$, which is completed in the following lemma.
Lemma 3.12 Suppose that $d>2+({r}/{1-k_1})$. Let
$c:=c_0+\varepsilon _4$. If
$\varepsilon _4>0$ is sufficiently small such that
$c_0+\varepsilon _4<\hat {c}$, then the functions given in (3.8) satisfy
$F(\underline {\phi },\underline {\psi }),\ G(\underline {\phi },\underline {\psi })\geqslant 0$.
Proof. For $\xi \leqslant \xi _3$, by recalling the choice of
$\varepsilon _3$,

For $\xi >\xi _3$, since
$\xi <1-k_1$, then
$F(\underline {\phi },\underline {\psi })=\varepsilon _3 (1-k_1-\varepsilon _3+k_1\underline {\psi })\geqslant 0$.
We continue to prove $G(\underline {\phi },\underline {\psi })\geqslant 0$. Since
$d>2+({r}/{1-k_1})$ and
$c_0< c_0+\varepsilon _4<\hat {c}$, then from
$\mathbf {case}$
$\mathbf {3}$ in the asymptotic behaviour, we have
$\lambda _3<\lambda _2$, which implies
$\Delta _2(\lambda _2,c)>0$. Combining this fact and
$0< q_4< v^{\ast }<1$ gives

For $\xi >0$, by recalling
$0< q_4< k_2\varepsilon _3<1$, we have

Hence, from lemmas 3.11–3.12, we have the following nonlinear speed selection theorem.
Theorem 3.13 The minimal speed is nonlinearly selected if
(C4) $d>2+({r}/{1-k_1})$.
4. Nonlinear stability of travelling wave fronts
In this section, we will discuss the stability of travelling wave fronts of (2.1). We introduce the following initial data

where $0\leqslant u_0\leqslant u^{\ast }$,
$0\leqslant v_0\leqslant v^{\ast }$ and

$\omega$ is a weighted function precise below and
$(\phi ,\psi )$ is the strictly increasing solution to (2.2)–(2.3). Similar to [Reference Mei, Lin, Lin and So15], we have

where $(u(x,t),v(x,t))$ represents the solution to (2.1) with (4.1). From the comparison theorem, we know that

In the following, we will prove $u(x,t)-\phi (x+ct)$,
$v(x,t)-\psi (x+ct)$ are exponentially converging to zero in supremum norm as
$t\to \infty$. In order to do it, let
$(\tilde {u}^{+}(x,t),\tilde {v}^{+}(x,t))$,
$(\tilde {u}^{-}(x,t),\tilde {v}^{-}(x,t))$ be the solutions to (2.1) with initial conditions
$(\tilde {u}^{\pm }_0(x),\tilde {v}^{\pm }_0(x))$, respectively, where

Then from the comparison theorem we also have

Furthermore, since $\tilde {u}^{\pm }_0(x)$ and
$\tilde {v}^{\pm }_0(x)$ are lacking smoothness, then one can choose smooth functions
$u^{\pm }_0(x)$,
$v^{\pm }_0(x)$ such that

By (4.3), the solutions $(u^{\pm }(x,t),v^{\pm }(x,t))$ to (2.1) with initial conditions
$(u^{\pm }_0(x),v^{\pm }_0(x))$, satisfy

It is sufficient to estimate $u^{+}(x,t)-\phi (x+ct)$ and
$u^{-}(x,t)-\phi (x+ct)$ to obtain the estimate of
$u(x,t)-\phi (x+ct)$, since the last one can be sandwiched between the former ones. So is the estimate of
$v(x,t)-\psi (x+ct)$. Moreover, the proofs of estimating
$u^{+}(x,t)-\phi (x+ct)$,
$v^{+}(x,t)-\psi (x+ct)$ and
$u^{-}(x,t)-\phi (x+ct)$,
$v^{-}(x,t)-\psi (x+ct)$ are similar, thus we only consider the former two ones.
Let

which are non-negative and satisfy

where $f_1(u,v)=-u^{2}+k_1uv$ and
$g_1(u,v)=rk_2u-rk_2uv+rv^{2}$. Then (4.4) is equivalent to

where $f_{1_{u}}=({\partial f_1}/{\partial u})(\phi ,\psi )$,
$f_{1_{v}}=({\partial f_1}/{\partial v})(\phi ,\psi )$,
$g_{1_{u}}=({\partial g_1}/{\partial u})(\phi ,\psi )$,
$g_{1_{v}}=({\partial g_1}/{\partial v})(\phi ,\psi )$ for short, and

Moreover, since $f_{1_{uu}}=-2$,
$f_{1_{uv}}=k_1$,
$f_{1_{vv}}=0$,
$g_{1_{uu}}=0$,
$g_{1_{uv}}=-rk_2$ and
$g_{1_{vv}}=2r$, then

Now we choose a weight function as follows:

where $\xi _4$ and
$\tilde {\lambda }>0$ are determined later. If we had proved
$\|U\|_{H^{1}_{\omega }}\leqslant M\textrm {e}^{-\mu t}$, where
$\mu >0$ and
$M$ represents a general positive constant here and in the following, then by noting
$\omega \geqslant 1$ we conclude

By the imbedding $H^{1}(\mathbb {R})\subset C(\mathbb {R})$, we further deduce

which gives the desired result. Thus we need to estimate $U$,
$V$,
$U_{\xi }$ and
$V_{\xi }$ in the space
$L^{2}_{\omega }$.
Multiplying the first equation of (4.5) by $\textrm {e}^{2\mu t}\omega (\xi )U$ and the second equation of (4.5) by
$\textrm {e}^{2\mu t}\omega (\xi )V$ yields that

where

Since

then (4.7) becomes

where

By remarking $|xy|\leqslant x^{2}+\frac {1}{4}y^{2}$, we have

Thus, from (4.8), one can further obtain that

where

Integrating (4.9) over $[0,t]\times \mathbb {R}$ gives

Adding the two inequalities of (4.10) yields that

where

By recalling $\phi \leqslant u^{+}\leqslant u^{\ast }$,
$\psi \leqslant v^{+}\leqslant v^{\ast }$,
$U=u^{+}-\phi$,
$V=v^{+}-\psi$ and (2.3), then

Thus,

If

then $\lim \limits _{\xi \rightarrow +\infty }B_1(\xi ,t)>0$ for small
$\mu >0$. Moreover, if (4.12) holds, then there are
$K_{11}>0$ and
$\xi _{41}$ such that for small
$\mu >0$,

Similarly, by noting

if

then there are $K_{12}>0$ and
$\xi _{42}$ such that for small
$\mu >0$,

Let $\xi _4=\max \{\xi _{41},\xi _{42}\}$ and
$\tilde {\lambda }=\frac {c}{2}$. Then for
$\xi \in (-\infty ,\xi _4)$, the inequality

holds for some $K_{13}>0$ and small
$\mu >0$, if
$c>c_1$, where

Similarly, if $0< d<2$ and
$c>c_2$, where

then the inequality

holds for some $K_{14}>0$ and small
$\mu >0$. Thus if
$0< d<2$, (4.12), (4.14) hold, and
$c>\max \{c_1,c_2\}$, from (4.13), (4.15), (4.16) and (4.19), we have

Therefore, from (4.11), one can conclude the following lemma.
Lemma 4.1 If $0< d<2$ and
$({k_1(1-k_1)}/{4(1-k_2)^{2}})< r<({4(1-k_1)^{2}}/ {k_2(1-k_2)})$, then for
$c>\max \{c_1,c_2\}$ and small
$\mu >0$, we have

Remark 4.2 Taking $k_1=k_2=\frac {1}{2}$ and
$r=2$ fulfils the inequality
$({k_1(1-k_1)}/ {4(1-k_2)^{2}})< r<({4(1-k_1)^{2}}/{k_2(1-k_2)})$.
Now we will give the $L^{2}$-estimates of
$U_{\xi }$ and
$V_{\xi }$. Differentiating (4.4) with respect to
$\xi$ gives

where

By multiplying the first equation of (4.5) by $\textrm {e}^{2\mu t}\omega (\xi )U_{\xi }$ and the second equation of (4.5) by
$\textrm {e}^{2\mu t}\omega (\xi )V_{\xi }$, similarly we have

where

Then adding two inequalities of (4.22) and integrating over $\mathbb {R}\times [0,\infty )$ with respect to
$\xi$ and
$t$, we have

where

Since $\phi '$ and
$\psi '$ are bounded for
$\xi \in \mathbb {R}$, then there is a
$M_0>0$ such that

By using the Young-inequality $2xy\leqslant \beta x^{2}+({1}/{\beta })y^{2}$,
$\beta >0$ and (4.20), we have

which implies that

It is easy to see that

which implies that, if (4.12) and (4.14) hold, then for small $\mu >0$,

For $\xi \in (-\infty ,\xi _4)$, similarly, by taking
$\tilde {\lambda }=\frac {c}{2}$, we have

for small $\mu >0$, if
$c>c_1$, and

for small $\mu >0$, if
$0< d<2$ and
$c>c_2$. Thus if
$0< d<2$, (4.12), (4.14) hold, and
$c>\max \{c_1,c_2\}$, from (4.26), (4.27) and (4.28), for small
$\beta >0$, we have

Therefore, from (4.25), one can conclude the following lemma.
Lemma 4.3 If $0< d<2$,
$({k_1(1-k_1)}/{4(1-k_2)^{2}})< r<({4(1-k_1)^{2}}/{k_2(1-k_2)})$, then for
$c>\max \{c_1,c_2\}$ and small
$\mu >0$, we have

where $M$ is a positive constant.
By lemmas 4.1–4.3, as we mentioned above, similarly to [Reference Mei, Lin, Lin and So15, Reference Yu, Xu and Zhang26], one can conclude the following global exponential stability theorem.
Theorem 4.4 Suppose $0< d<2$,
$({k_1(1-k_1)}/{4(1-k_2)^{2}})< r<({4(1-k_1)^{2}}/ {k_2(1-k_2)})$. Let
$(\phi ,\psi )$ be a strictly increasing solution to (2.2)–(2.3) with the speed
$c>\max \{c_1,c_2\},$ where

Assume the initial condition $(u_0,v_0)$ in (4.1) satisfies

where $\omega$ is given in (4.6). Then (2.1) with (4.1) admit a unique solution
$(u,v)$ satisfying

and

Moreover, the inequalities

hold for some small $\mu >0$ and
$M>0$.
Acknowledgment
The present work is partially supported by the NSFC (11901366) and the NSFC (11971059), the Natural Science Foundation of Shanxi Province (201801D221008).