Skip to main content

Theory and Modern Applications

Entire solutions for a delayed lattice competitive system

Abstract

In this paper, we investigate the existence of entire solutions for a delayed lattice competitive system. Here the entire solutions are the solutions that exist for all \((n,t)\in \mathbb{Z}\times \mathbb{R}\). In order to prove the existence, we firstly embed the delayed lattice system into the corresponding larger system, of which the traveling front solutions are identical to those of the delayed lattice system. Then based on the comparison theorem and the sup–sub solutions method, we construct entire solutions which behave as two opposite traveling front solutions moving towards each other from both sides of x-axis and then annihilating. Moreover, our conclusions extend the invading way, which the superior species invade the inferior ones from both sides of x-axis and then the inferior ones extinct, into the lattice and delay case.

1 Introduction

In this paper, we study the following delayed lattice competitive system:

$$ \textstyle\begin{cases} \frac{{\mathrm{d}}u_{n}}{{\mathrm{d}}t}=[u_{n+1}(t)-2u_{n}(t)+u_{n-1}(t)]+au _{n}[1-u_{n}(t)-kv_{n}(t-\tau _{1})], \\ \frac{{\mathrm{d}}v_{n}}{{\mathrm{d}}t}=d[v_{n+1}(t)-2v_{n}(t)+v_{n-1}(t)]+bv _{n}[1-v_{n}(t)-hu_{n}(t-\tau _{2})], \end{cases} $$
(1.1)

where a, b, d, k, h are all positive numbers and \(\tau _{i}>0\) (\(i=1,2\)) are the maturation time for the species. Here \(u_{n}=u_{n}(t)\) and \(v_{n}=v_{n}(t)\), \(t\in \mathbb{R}\), denote the population density of two competitive species at time t and niches n, respectively. Hence we consider that both \(u_{n}(t)\) and \(v_{n}(t)\) are nonnegative. It is obvious that there are four equilibria of (1.1),

$$ (0,0),(0,1),(1,0), \biggl(\frac{1-k}{1-hk}, \frac{1-h}{1-hk} \biggr):= ( \hat{k}_{1}, \hat{k}_{2} ). $$

When \(\tau _{1}=\tau _{2}=0\), as stated in [5], the solution of (1.1) has the following asymptotic behaviors depending on h and k as \(t\rightarrow \infty \):

  1. (i)

    If \(0< h<1<k\), then \((u_{n}(t),v_{n}(t))\rightarrow (0,1)\) (\(v _{n}\) wins).

  2. (ii)

    If \(0< k<1<h\), then \((u_{n}(t),v_{n}(t))\rightarrow (1,0)\) (\(u_{n}\) wins).

  3. (iii)

    If \(k,h>1\), then \((u_{n}(t),v_{n}(t))\rightarrow (1,0)\) or \((0,1)\) depending on the initial condition.

  4. (iv)

    If \(0< k,h<1\), then \((u_{n}(t),v_{n}(t))\rightarrow (\hat{k} _{1}, \hat{k}_{2} )\) (\(u_{n}\) and \(v_{n}\) coexist).

By exchanging the roles of u and v, (i) will become (ii). Thus in this paper, we only consider the existence of entire solutions in case (i).

The theory of traveling wave solutions plays an important role in the study of lattice equations and systems. For system (1.1), a traveling wave solution connecting \((1,0)\) and \((0,1)\) is the solution with the form

$$ \bigl(u_{n}(t), v_{n}(t)\bigr)=\bigl(\phi (\xi ), \psi ( \xi )\bigr), \quad \xi :=n+ct, $$

satisfying

$$ \textstyle\begin{cases} c\phi '(\xi )=D[\phi (\xi )]+a\phi (\xi )[1-\phi (\xi )-k\psi (\xi -c \tau _{1})], \\ c\psi '(\xi )=dD[\psi (\xi )]+b\psi (\xi )[1-\psi (\xi )-h\phi ( \xi -c\tau _{2})], \\ (\phi , \psi )(-\infty )=(1,0), \quad\quad (\phi , \psi )(+\infty )=(0,1), \\ 0\leq \phi , \psi \leq 1\quad \text{on } \mathbb{R}, \end{cases} $$
(1.2)

where \(D[\omega (\xi )]:=\omega (\xi +1)+\omega (\xi -1)-2\omega ( \xi )\) for \(\omega =\phi , \psi \). Moreover, if ϕ and ψ are monotone, we call \((\phi (\xi ), \psi (\xi ))\) a traveling front solution. Very recently, in case (i), Li, Huang, Li and He in [8] proved the existence, asymptotic behavior, strict monotonicity and uniqueness of traveling front solutions of (1.1) with \(c\geq c^{\ast }\), where \(c^{\ast }\) is the minimal speed.

Though the study of the traveling wave solutions is a significant topic for diffusive equations, see [1, 3, 8] and the references therein, it is not enough to consider the existence of the traveling wave solutions to study the global attractor of the diffusion equations. In order to understand the phenomenon of invasion between two species, the study of the entire solutions becomes a very important subject. Here an entire solution of (1.1) is a classical solution that exists for all \((n,t)\in \mathbb{Z}\times \mathbb{R}\). Thus the aim of this paper is to investigate the existence of an entire solution for (1.1) which converges to two monotone fronts with opposite speeds. In fact, Hamel and Nadirashvili [6] proved the existence of entire solutions of the famous Fisher-KPP equation (monostable case) by the comparison theorem, subsolution and super estimates. While for the bistable case, Yagisita [16] investigated that the annihilation process is approximated by a backward global solution, which is an entire solution. Later, by using the comparison theorem and the explicit expression of the traveling front solutions for the Allen–Cahn equation, Fukao, Morita and Ninomiya in [2] improved the proof of the existence of entire solutions which was already showed in [16]. In addition, Guo and Morita in [4] extended the conclusions in [6] and [16] to a more general case including the Fisher-KPP equation with the discrete diffusion.

For systems, Morita and Tachibana in [12] firstly extended the existence of entire solutions from scalar equations to the following Lotka–Volterra competition–diffusion system on \(\mathbb{R}\):

$$ \textstyle\begin{cases} u_{t}(x,t)=u_{xx}(x,t)+u(x,t)[1-u(x,t)-kv(x,t)], \\ v_{t}(x,t)=dv_{xx}(x,t)+av(x,t)[1-v(x,t)-hu(x,t)]. \end{cases} $$
(1.3)

Based on the known results of traveling front solutions for (1.3) in [3, 7] and by using the similar methods in [2] and [4], they have proved the existence of two-front entire solutions to (1.3) for the cases (i) and (iii). This entire solution behave like two traveling front solutions moving towards each other from both sides of x-axis at \(\xi \approx -\infty \), and one component converges to 0 while the other converges to 1 as \(t\rightarrow \infty \). Moreover, there is a technical condition that there is an \(\eta _{0}>0\) such that

$$ \frac{\psi (\xi )}{1-\phi (\xi )}\geq \eta _{0}, \quad \xi \leq 0 $$
(1.4)

in [12]. Then Wang and Li in [14] investigated this technical condition and gave some sufficient conditions to ensure this technical condition. In addition, they used the exact solutions, which do not satisfy the technical condition, to construct an entire solution for (1.3). For the delayed Lotka–Volterra competition–diffusion system, Lv in [10] obtained the existence of entire solutions by using the comparison principle and super–sub solutions methods, which is similar to that of [12]. Later, for the nonlocal competition–diffusion system, Li, Zhang and Zhang in [9] have proved the existence of entire solutions to it, in which the asymptotic behavior of the entire solutions was similar to that of [10] and [12]. Very recently, Wang, Liu and Li in [15] investigated the existence of an entire solution for the nonlocal competitive Lokta–Volterra system with delays which extend the results in [9, 10, 12]. While for a two-component competition system in a lattice, Guo and Wu [5] obtained the existence of the entire solutions of (1.1) when \(\tau _{1}=\tau _{2}=0\). Others paper for the existence of entire solutions for systems, one can refer to [11, 13] and the references therein. As is well known, there is no result for the existence of entire solutions of (1.1). Thus in this paper we will investigate the existence of entire solutions to the system (1.1).

In order to establish the two-front solutions for (1.1), we need to embed it into the following larger one:

$$ \textstyle\begin{cases} u_{t}(x,t)=D[u(x,t)]+au(x,t)[1-u(x,t)-kv(x,t-\tau _{1})], \\ v_{t}(x,t)=dD[v(x,t)]+bv(x,t)[1-v(x,t)-hu(x,t-\tau _{2})], \end{cases} $$
(1.5)

where \((x,t)\in \mathbb{R}^{2}\) and \(D[\omega (x,t)]:=\omega (x+1,t)+ \omega (x-1,t)-2\omega (x,t)\) for \(\omega =u,v\). Obviously, the traveling front solution of (1.1) is equivalent to that of (1.5). For simplification, setting \(\hat{u}(x,t)=1-u(x,t)\) and replacing û by u, then (1.5) turns to the following system:

$$ \textstyle\begin{cases} u_{t}(x,t)=D[u(x,t)]+a[1-u(x,t)][kv(x,t-\tau _{1})-u(x,t)], \\ v_{t}(x,t)=dD[v(x,t)]+bv(x,t)[1-h-v(x,t)+hu(x,t-\tau _{2})]. \end{cases} $$
(1.6)

Similarly, by letting \(\hat{\phi }=1-\phi \) and replacing ϕ̂ by ϕ, then (1.2) turns to

$$ \textstyle\begin{cases} c\phi '(\xi )=D[\phi (\xi )]+a(1-\phi (\xi ))[k\psi (\xi -c\tau _{1})- \phi (\xi )], \\ c\psi '(\xi )=dD[\psi (\xi )]+b\psi (\xi )[1-h-\psi (\xi )+h\phi ( \xi -c\tau _{2})], \\ \lim_{\xi \rightarrow -\infty }(\phi (\xi ), \psi (\xi ))=(0,0), \quad\quad \lim_{\xi \rightarrow +\infty }(\phi (\xi ), \psi ( \xi ))=(1,1), \\ \phi ', \psi '>0, \end{cases} $$
(1.7)

which is also a traveling front solution of (1.6). Similar to [5, 9,10,11,12,13, 15], in this paper, we also assume that there exists a \(K>0\) such that for the solution \((\phi (\xi ), \psi (\xi ))\) of (1.7)

$$ \frac{\psi (\xi )}{\phi (\xi )}\geq K, $$
(1.8)

which is also a technical condition.

The rest of the paper is arranged as follows. In Sect. 2, we show the existence and the asymptotic behaviors of traveling front solutions of (1.1) and give some preparations that will be used to construct the sup–sub solutions. In Sect. 3, we firstly give three lemmas which are key steps for the construction of the supersolution. Then an entire solution to (1.1) can be obtained based on the constructed sup–sub solutions.

2 Preliminaries

In this section, we introduce some known results which will be used in the following section. Firstly, set

$$\begin{aligned}& \Delta _{1}(\lambda ,c) =d\bigl(e^{\lambda }+e^{-\lambda }-2 \bigr)-c\lambda +b(1-h), \\& \Delta _{2}(\lambda ,c) =\bigl(e^{\lambda }+e^{-\lambda }-2 \bigr)-c\lambda -a, \\& \Delta _{3}(\lambda ,c) =\bigl(e^{\lambda }+e^{-\lambda }-2 \bigr)-c\lambda +a(1-k), \\& \Delta _{4}(\lambda ,c) =d\bigl(e^{\lambda }+e^{-\lambda }-2 \bigr)-c\lambda -b. \end{aligned}$$

For \(\Delta _{i}(\lambda ,c)\), \(i=1,2,3,4\), from [8], we conclude the following results.

Lemma 1

([8])

Assume that \(0< h<1<k\) holds. Then:

  1. (i)

    There exist \(c^{*}>0\) and \(\lambda ^{*}>0\) such that

    $$ \Delta _{1}\bigl(\lambda ^{*},c^{*}\bigr)=0, \quad\quad \frac{\partial }{\partial \lambda } \Delta _{1}\bigl(\lambda ^{*},c^{*}\bigr)=0. $$

    In addition, when \(c\geq c^{*}\), the equation \(\Delta _{1}(\lambda ,c)=0\) has two positive roots \(\lambda _{1}\), \(\lambda _{2}\) such that \(0<\lambda _{1}<\lambda ^{*}<\lambda _{2}\) if \(c>c^{*}\) while \(\lambda _{1}=\lambda ^{*}=\lambda _{2}\) if \(c=c^{*}\) and

    $$ \Delta _{1}(\lambda ,c) \textstyle\begin{cases} >0, & \lambda < \lambda _{1}, \\ < 0, & \lambda _{1}< \lambda < \lambda _{2}, \\ >0, & \lambda >\lambda _{2}. \end{cases} $$

    For \(0< c< c^{*}\), \(\Delta _{1}(\lambda ,c)>0\) for \(\lambda \in \mathbb{R}\).

  2. (ii)

    The equation \(\Delta _{2}(\lambda ,c)=0\) has a unique positive root \(\lambda _{3}\) for \(c>0\) and \(\Delta _{2}(\lambda ,c)<0\) for \(\lambda \in (0,\lambda _{3})\).

  3. (iii)

    For \(c>0\), the equation \(\Delta _{3}(\lambda ,c)=0\) has a unique negative root \(\lambda _{4}\).

  4. (iv)

    For \(c>0\), the equation \(\Delta _{4}(\lambda ,c)=0\) has a unique negative root \(\lambda _{5}\) and \(\Delta _{4}(\lambda ,c)<0\) for \(\lambda \in (\lambda _{5},0)\).

Also from [8], we can summarize the asymptotic behaviors of solutions for (1.7).

Lemma 2

Suppose that \(0< h<1<k\) holds. When \(c\geq c^{*}\), for the solution \((\phi (\xi ),\psi (\xi ))\) of (1.7), then

  1. (i)

    there are \(\theta _{i}=\theta _{i}(\phi ,\psi )\) (\(i=1,2\)) such that \(\lim_{\xi \rightarrow -\infty } \frac{\psi (\xi +\theta _{1})}{e^{\varLambda \xi }}=1\) if \(c>c^{*}\), \(\lim_{\xi \rightarrow -\infty } \frac{\psi (\xi +\theta _{2})}{ \vert \xi \vert ^{\nu }e^{\varLambda \xi }}=1\) if \(c=c^{*}\);

  2. (ii)

    for \(c\geq c^{*}\), \(\lim_{\xi \rightarrow - \infty } \frac{\psi '(\xi )}{\psi (\xi )} =\varLambda \);

  3. (iii)

    for \(c>c^{*}\), there are \(\theta _{i}=\theta _{i}(\phi , \psi )\) (\(i=3,4,5\)) such that \(\lim_{\xi \rightarrow -\infty } \frac{\phi (\xi +\theta _{3})}{e^{\varLambda \xi }}=1\) if \(\lambda _{3}>\varLambda \), \(\lim_{\xi \rightarrow -\infty } \frac{\phi (\xi +\theta _{4})}{ \vert \xi \vert e^{\varLambda \xi }}=1\) if \(\lambda _{3}=\varLambda \), \(\lim_{\xi \rightarrow -\infty } \frac{\phi (\xi +\theta _{5})}{e^{\lambda _{3}\xi }}=1\) if \(\lambda _{3}< \varLambda \);

  4. (iv)

    for \(c=c^{*}\), there are \(\theta _{i}=\theta _{i}(\phi , \psi )\) (\(i=6,7,8\)) such that \(\lim_{\xi \rightarrow -\infty } \frac{\phi (\xi +\theta _{6})}{ \vert \xi \vert ^{\nu }e^{\varLambda \xi }}=1\) if \(\lambda _{3}>\varLambda \), \(\lim_{\xi \rightarrow -\infty } \frac{\phi (\xi +\theta _{7})}{ \vert \xi \vert ^{\nu +1} e^{\varLambda \xi }}=1\) if \(\lambda _{3}=\varLambda \), \(\lim_{\xi \rightarrow -\infty } \frac{\phi (\xi +\theta _{8})}{e^{\lambda _{3}\xi }}=1\) if \(\lambda _{3}< \varLambda \);

  5. (v)

    for \(c\geq c^{*}\), \(\lim_{\xi \rightarrow -\infty } \frac{\phi '(\xi )}{\phi (\xi )}=\gamma _{1}\);

where \(\varLambda \in \{\lambda _{1}, \lambda _{2}\}\), \(\gamma _{1}=\min \{ \varLambda ,\lambda _{3}\}\), \(\nu =1\) if \(\int _{-\infty }^{\infty }\psi ( \xi )[-h\phi (\xi -c\tau _{2})+\psi (\xi )]e^{-\varLambda \xi }\,{\mathrm{d}} \xi \neq 0\), \(\nu =0\) if \(\int _{-\infty }^{\infty }\psi (\xi )[-h \phi (\xi -c\tau _{2})+\psi (\xi )]e^{-\varLambda \xi }\,{\mathrm{d}}\xi =0\).

Lemma 3

Suppose that \(0< h<1<k\) holds. When \(c\geq c^{*}\), for the solution \((\phi (\xi ),\psi (\xi ))\) of (1.7), then

  1. (i)

    for \(c\geq c^{*}\), \(\lim_{\xi \rightarrow \infty } \frac{\phi '(\xi )}{1-\phi (\xi )}=-\lambda _{4}>0\);

  2. (ii)

    there is a \(\theta _{9}=\theta _{9}(\phi ,\psi )\) such that \(\lim_{\xi \rightarrow \infty } \frac{1-\phi (\xi +\theta _{9})}{e^{\lambda _{4}\xi }}=1\);

  3. (iii)

    for \(b\leq d\), there are \(\theta _{i}=\theta _{i}(\phi , \psi )\) (\(i=10,11,12\)) such that \(\lim_{\xi \rightarrow \infty } \frac{1-\psi (\xi +\theta _{10})}{e^{\lambda _{5}\xi }}=1\) if \(\lambda _{5}>\lambda _{4}\), \(\lim_{\xi \rightarrow \infty } \frac{1-\psi (\xi +\theta _{11})}{\xi e^{\lambda _{5} \xi }}=1\) if \(\lambda _{5}=\lambda _{4}\), \(\lim_{\xi \rightarrow \infty } \frac{1-\psi (\xi +\theta _{12)}}{e^{\lambda _{4}\xi }}=1\) if \(\lambda _{5}<\lambda _{4}\);

  4. (iv)

    for \(c\geq c^{*}\), \(\lim_{\xi \rightarrow \infty } \frac{\psi '(\xi )}{1-\psi (\xi )} =-\gamma _{2}>0\),

where \(\gamma _{2}=\max \{\lambda _{4},\lambda _{5}\}<0\).

Remark 2.1

From Lemma 2 (i) and (iii), when \(\lambda _{3}>\varLambda \), then \(\frac{\psi }{\phi }\) has a positive low bound. Thus under this case, the additional condition (1.8) holds.

As a result of Lemmas 2 and 3, we can get the following estimates, which will be needed later for constructing the supersolutions and subsolutions.

Lemma 4

Suppose that \(0< h<1<k\) holds. Let \((c_{i}, \phi _{i}, \psi _{i})\) (\(i=1,2\)) be solutions of (1.7). Then there are positive constants μ, m, M and \(M_{\rho }\) such that

$$\begin{aligned}& m\leq \frac{\phi '_{i}(\xi )}{\phi _{i}(\xi )}\leq M, \quad \textit{for } \xi \leq 1, \end{aligned}$$
(2.1)
$$\begin{aligned}& m\leq \frac{\psi _{i}'(\xi )}{\psi _{i}(\xi )}\leq M, \quad \textit{for } \xi \leq 1, \end{aligned}$$
(2.2)
$$\begin{aligned}& 0< \phi _{i}(\xi )\leq Me^{\mu \xi }, \quad \textit{for }\xi \leq 1, \end{aligned}$$
(2.3)
$$\begin{aligned}& 0< \psi _{i}(\xi )\leq Me^{\mu \xi }, \quad \textit{for } \xi \leq 1, \end{aligned}$$
(2.4)
$$\begin{aligned}& m\leq \frac{\phi _{i}'(\xi )}{1-\phi _{i}(\xi )}\leq M, \quad \textit{for }\xi \geq -1, \end{aligned}$$
(2.5)
$$\begin{aligned}& m\leq \frac{\psi _{i}'(\xi )}{1-\psi _{i}(\xi )}\leq M, \quad \textit{for }\xi \geq -1, \end{aligned}$$
(2.6)
$$\begin{aligned}& \frac{1-\phi _{i}(\xi +\theta )}{1-\phi _{i}(\xi )}\leq M, \quad \xi \in \mathbb{R}, \theta \in [-1, 1], \end{aligned}$$
(2.7)
$$\begin{aligned}& \frac{\phi _{i}(\xi +\theta )}{\phi _{i}(\xi )}\leq M, \quad \xi \in \mathbb{R}, \theta \in [-1, 1], \end{aligned}$$
(2.8)
$$\begin{aligned}& \frac{1-\phi _{i}(\xi -\rho )}{1-\psi _{i}(\xi )}\leq M_{\rho },\quad \xi \in \mathbb{R}, \end{aligned}$$
(2.9)

where \(M_{\rho }\) is a constant depending on \(\rho >0\).

Proof

The proof of (2.1)–(2.6) and (2.9) follows from Lemmas 2 and 3 directly. Noting that

$$ \frac{1-\phi (\xi +\theta )}{1-\phi (\xi )}=\exp \biggl\{ - \int _{ \xi }^{\xi +\theta }\frac{\phi '(z)}{1-\phi (z)}\,{\mathrm{d}}z \biggr\} $$

and

$$ \frac{\phi (\xi +\theta )}{\phi (\xi )}=\exp \biggl\{ \int _{\xi } ^{\xi +\theta }\frac{\phi '(z)}{\phi (z)}\,{\mathrm{d}}z \biggr\} , $$

then (2.7) and (2.8) can be proved. □

3 Existence of entire solutions

In this section, we will prove the existence of entire solutions. Firstly, we give the definition of the supersolution and subsolution (1.1). Now let

$$ \textstyle\begin{cases} F_{1}(u,v)=u_{t}-D[u]-f_{1}(u,v), \\ F_{2}(u,v)=v_{t}-dD[v]-f_{2}(u,v), \end{cases} $$
(3.1)

where

$$\begin{aligned}& f_{1}(u,v)=a\bigl(1-u(x,t)\bigr)\bigl[kv(x,t-\tau _{1})-u(x,t)\bigr], \\& f_{2}(u,v)=bv(x,t)\bigl[1-h-v(x,t)+hu(x,t-\tau _{2})\bigr]. \end{aligned}$$

If there are two functions ū and satisfying \(F_{1}(\bar{u},\bar{v})\geq 0\) and \(F_{2}(\bar{u},\bar{v})\geq 0\) for all \((x,t)\in \mathbb{R}\times [T_{1}, T_{2}]\), then we call \((\bar{u},\bar{v})\) a supersolution of (3.1) for \((x,t)\in \mathbb{R}\times [T_{1}, T_{2}]\), where \(T_{1}>T_{2}\). Similarly, we define a subsolution \((\underline{u}, \underline{v})\) by reversing the above inequalities. In order to construct a supersolution of (3.1), we introduce the following ordinary differential system:

$$ \textstyle\begin{cases} p_{1}'(t)=c_{1}+Le^{\mu p_{1}},\quad t< 0, \\ p_{2}'(t)=c_{2}+Le^{\mu p_{1}},\quad t< 0, \\ p_{2}(0)\leq p_{1}(0)\leq 0, \end{cases} $$
(3.2)

where \(c_{2}\geq c_{1}\geq c^{*}\), μ is defined in Lemma 4 and L will be determined later. From direct calculation, for \(i=1, 2\),

$$ p_{i}(t)=p_{i}(0)+c_{i}t- \frac{1}{\mu }\ln \biggl(1+\frac{L}{c_{1}}e ^{\mu p_{1}(0)} \bigl(1-e^{c_{1}\mu t} \bigr) \biggr)< 0, $$
(3.3)

and \(p_{2}(t)\leq p_{1}(t)\), for \(t\leq 0\), since \(p_{2}(0)\leq p_{1}(0)\). Then let

$$ \nu _{1}=p_{1}(0)-\frac{1}{\mu }\ln \biggl(1+\frac{L}{c_{1}}e^{\mu p _{1}(0)} \biggr),\quad\quad \nu _{2}=p_{2}(0)-\frac{1}{\mu }\ln \biggl(1+ \frac{L}{c _{1}}e^{\mu p_{1}(0)} \biggr). $$
(3.4)

For \(i=1, 2\), since

$$ p_{i}(t)-c_{i}t-\nu _{i}=-\frac{1}{\mu }\ln \biggl(1-\frac{\eta }{1+ \eta }e^{c_{1}\mu t} \biggr), \quad \eta = \frac{L}{c_{1}}e^{\mu p_{1}(0)}, $$

there exists a constant \(R_{0}>0\) such that, for \(t\leq 0\),

$$ 0< p_{1}(t)-c_{1}t-\nu _{1}=p_{2}(t)-c_{2}t- \nu _{2}\leq R_{0}e^{c_{1} \mu t}. $$

Next, we will prove three lemmas which are key steps for the construction of the supersolution.

Lemma 5

Assume that \(0< h<1<k\) holds. Let \((c_{i}, \phi _{i}, \psi _{i})\) (\(i=1,2\)) be solutions of (1.7) with \(c_{2}\geq c_{1}\geq c^{*}\) and define

$$\begin{aligned}& A(x,t):=\bigl[\phi _{1}(x+1+p_{1})-\phi _{1}(x+p_{1})\bigr] \bigl[\phi _{2}(-x+p_{2})- \phi _{2}(-x-1+p_{2})\bigr], \\& B(x,t):=\bigl[\phi _{1}(x+p_{1})-\phi _{1}(x-1+p_{1}) \bigr] \bigl[\phi _{2}(-x+1+p_{2})- \phi _{2}(-x+p_{2}) \bigr], \\& C(x,t):=\phi '_{1}(x+p_{1})\bigl[1-\phi _{2}(-x+p_{2})\bigr]+\phi '_{2}(-x+p_{2}) \bigl[1- \phi _{1}(x+p_{1})\bigr], \end{aligned}$$

then

$$\begin{aligned}& A(x,t)\leq N_{1}e^{\mu p_{1}}C(x,t), \end{aligned}$$
(3.5)
$$\begin{aligned}& B(x,t)\leq N_{1}e^{\mu p_{1}}C(x,t), \end{aligned}$$
(3.6)

where

$$\begin{aligned} N_{1}={}&\max \biggl\{ \frac{M^{4}}{m(1-\phi _{2}(0))}e^{\mu p_{1}}, \frac{M ^{4}}{m(1-\phi _{1}(0))}e^{\mu p_{1}}, \\ &{}\frac{M^{4}e^{\mu }}{m(1-\phi _{1}(0))}e^{\mu p_{1}}, \frac{M ^{4}e^{\mu }}{m(1-\phi _{2}(0))}e^{\mu p_{1}}\biggr\} >0. \end{aligned}$$

Proof

Firstly, we prove (3.5).

Case 1. For \(x\geq -p_{1}\). In this case, \(x+p_{1}\geq 0\), \(-x+p_{2} \leq 0\). Then there exist \(\omega _{1}(x), \omega _{2}(x)\in (0,1)\) and combining with (2.1), (2.3), (2.5), (2.7) such that

$$\begin{aligned} \frac{A(x,t)}{C(x,t)}\leq{} &\frac{\phi '_{1}(x+\omega _{1}+p_{1})\phi '_{2}(-x- \omega _{2}+p_{2})}{\phi '_{1}(x+p_{1})[1-\phi _{2}(-x+p_{2})]} \\ \leq{} & \biggl[\frac{\phi '_{1}(x+\omega _{1}+p_{1})}{1-\phi _{1}(x+ \omega _{1}+p_{1})}\frac{1-\phi _{1}(x+\omega _{1}+p_{1})}{1-\phi _{1}(x+p _{1})} \frac{1-\phi _{1}(x+p_{1})}{\phi '_{1}(x+p_{1})} \biggr] \\ &{}\times \frac{\phi '_{2}(-x-\omega _{2}+p_{2})}{1-\phi _{2}(0)} \\ \leq{} &\frac{M^{4}}{m(1-\phi _{2}(0))}e^{\mu (-x-\omega _{2}+p_{2})} \\ \leq{} &\frac{M^{4}}{m(1-\phi _{2}(0))}e^{\mu p_{1}}. \end{aligned}$$

Case 2. For \(0\leq x\leq -p_{1}\). In this case, \(x+p_{1}\leq 0\), \(-x+p _{2}\leq 0\). From (2.1), (2.3), (2.8), we obtain

$$\begin{aligned} \frac{A(x,t)}{C(x,t)}\leq{} &\frac{\phi '_{1}(x+\omega _{1}+p_{1})\phi '_{2}(-x- \omega _{2}+p_{2})}{\phi '_{1}(x+p_{1})[1-\phi _{2}(-x+p_{2})]} \\ \leq{} & \biggl[\frac{\phi '_{1}(x+\omega _{1}+p_{1})}{\phi _{1}(x+\omega _{1}+p_{1})}\frac{\phi _{1}(x+\omega _{1}+p_{1})}{\phi _{1}(x+p_{1})} \frac{ \phi _{1}(x+p_{1})}{\phi '_{1}(x+p_{1})} \biggr] \frac{\phi '_{2}(-x- \omega _{2}+p_{2})}{1-\phi _{2}(0)} \\ \leq{} &\frac{M^{4}}{m(1-\phi _{2}(0))}e^{\mu p_{1}}. \end{aligned}$$

Case 3. For \(p_{2}\leq x\leq 0\). In this case, \(x+p_{1}\leq 0\), \(-x+p _{2}\leq 0\). From (2.1), (2.3), (2.8), we obtain

$$\begin{aligned} \frac{A(x,t)}{C(x,t)}\leq{} &\frac{\phi '_{1}(x+\omega _{1}+p_{1})\phi '_{2}(-x- \omega _{2}+p_{2})}{\phi '_{2}(-x+p_{2})[1-\phi _{1}(x+p_{1})]} \\ \leq{} & \biggl[\frac{\phi '_{2}(-x-\omega _{2}+p_{2})}{\phi _{2}(-x- \omega _{2}+p_{2})}\frac{\phi _{2}(-x-\omega _{2}+p_{2})}{\phi _{2}(-x+p _{2})} \frac{\phi _{2}(-x+p_{2})}{\phi '_{2}(-x+p_{2})} \biggr] \frac{ \phi '_{1}(x+\omega _{1}+p_{1})}{1-\phi _{1}(0)} \\ \leq{} &\frac{M^{4}e^{\mu }}{m(1-\phi _{1}(0))}e^{\mu p_{1}}. \end{aligned}$$

Case 4. For \(x\leq p_{2}\). In this case, \(x+p_{1}\leq 0\), \(-x+p_{2} \geq 0\). From (2.1), (2.3), (2.5) and (2.7), we obtain

$$\begin{aligned} \frac{A(x,t)}{C(x,t)}\leq{} &\frac{\phi '_{1}(x+\omega _{1}+p_{1})\phi '_{2}(-x- \omega _{2}+p_{2})}{\phi '_{2}(-x+p_{2})[1-\phi _{1}(x+p_{1})]} \\ \leq{} & \biggl[\frac{\phi '_{2}(-x-\omega _{2}+p_{2})}{1-\phi _{2}(-x- \omega _{2}+p_{2})}\frac{1-\phi _{2}(-x-\omega _{2}+p_{2})}{1-\phi _{2}(-x+p _{2})} \frac{1-\phi _{2}(-x+p_{2})}{\phi '_{2}(-x+p_{2})} \biggr] \\ &{}\times \frac{\phi '_{1}(x+\omega _{1}+p_{1})}{1-\phi _{1}(0)} \\ \leq{} &\frac{M^{4}e^{\mu }}{m(1-\phi _{1}(0))}e^{\mu p_{1}}. \end{aligned}$$

Thus (3.5) holds for all \(x\in \mathbb{R}\). By similar statements, we find that (3.6) holds for all \({x\in \mathbb{R}}\). □

Lemma 6

Assume that \(0< h<1<k\) holds. Let \((c_{i}, \phi _{i}, \psi _{i})\) (\(i=1,2\)) be solutions of (1.7) with \(c_{2}\geq c_{1}\geq c^{*}\) and define

$$ R(x,t):=a\bigl(1-\phi _{1}(x+p_{1})\bigr) \bigl(1-\phi _{2}(-x+p_{2})\bigr)\phi _{1}(x+p_{1}) \phi _{2}(-x+p_{2}), $$

then

$$ R(x,t)\leq \frac{aM}{m}e^{\mu p_{1}}C(x,t). $$
(3.7)

Proof

We prove (3.7) by dividing \(\mathbb{R}\) to several cases.

Case 1. For \(x\geq -p_{1}\), from (2.3), (2.5), it follows that

$$ \frac{R(x,t)}{C(x,t)}\leq \frac{a(1-\phi _{1}(x+p_{1}))\phi _{1}(x+p _{1})\phi _{2}(-x+p_{2})}{\phi '_{1}(x+p_{1})}\leq \frac{aM}{m}e^{ \mu p_{1}}. $$

Case 2. For \(0\leq x\leq -p_{1}\), from (2.1), (2.3), it follows that

$$ \frac{R(x,t)}{C(x,t)}\leq \frac{a(1-\phi _{2}(-x+p_{2}))\phi _{1}(x+p _{1})\phi _{2}(-x+p_{2})}{\phi '_{1}(x+p_{1})}\leq \frac{aM}{m}e^{ \mu p_{1}}. $$

We can obtain a similar result for \(x\leq 0\). □

Lemma 7

Assume that \(0< h<1<k\) holds. Let \((c_{i}, \phi _{i}, \psi _{i})\) (\(i=1,2\)) be solutions of (1.7) with \(c_{2}\geq c_{1}\geq c^{*}\) and define

$$\begin{aligned}& \begin{aligned} D(x,t): ={} &bh(\psi _{1}+\psi _{2})\bigl[\phi _{1}\bigl(x+p_{1}(t-\tau _{2})\bigr)+\phi _{2}\bigl(-x+p_{2}(t-\tau _{2})\bigr)\bigr] \\ &{}-bh(\psi _{1}+\psi _{2})\bigl[\phi _{1} \bigl(x+p_{1}(t-\tau _{2})\bigr)\phi _{2}\bigl(-x+p _{2}(t-\tau _{2})\bigr)\bigr] \\ &{}-2b\psi _{1}\psi _{2}-bh\psi _{1}\phi _{1}\bigl(x+p_{1}(t)-c_{1}\tau _{2} \bigr)-bh \psi _{2}\phi _{2}\bigl(-x+p_{2}(t)-c_{2} \tau _{2}\bigr), \end{aligned} \\& E(x,t):=\psi '_{1}\bigl(x+p_{1}(t)\bigr)+\psi '_{2}\bigl(-x+p_{2}(t)\bigr), \end{aligned}$$

where \(\psi _{1}=\psi _{1}(x+p_{1}(t))\) and \(\psi _{2}=\psi _{2}(-x+p_{2}(t))\). Then

$$ D(x,t)\leq N_{2}e^{\mu p_{1}}E(x,t), $$
(3.8)

where

$$ N_{2}=\max \biggl\{ \frac{bhM(1+K)}{Km}, \frac{bhM(1+M_{\rho _{1}})}{m}, \frac{bhM(1+M_{\rho _{2}})}{m} \biggr\} >0. $$

Proof

Because of \(\tau _{2}\geq 0\) and from (3.3), we have

$$\begin{aligned} p_{i}(t-\tau _{2})={} &p_{i}(0)+c_{i}(t- \tau _{2})-\frac{1}{\mu }\ln \biggl(1+\frac{L}{c _{1}}e^{\mu p_{1}(0)} \bigl(1-e^{c_{1}\mu (t-\tau _{2})} \bigr) \biggr) \\ ={} &p_{i}(t)-c_{i}\tau _{2}+\frac{1}{\mu } \ln \biggl(\frac{1+\frac{L}{c _{1}} e^{\mu p_{1}(0)}(1-e^{c_{1}\mu t})}{1+\frac{L}{c_{1}}e^{\mu p _{1}(0)} (1-e^{c_{1}\mu (t-\tau _{2})} )} \biggr) \\ \leq{} &p_{i}(t)-c_{i}\tau _{2}, \end{aligned}$$
(3.9)

then \(\phi _{1}(x+p_{1}(t-\tau _{2}))\leq \phi _{1}(x+p_{1}(t)-c_{1}\tau _{2})\) and \(\phi _{2}(-x+p_{2}(t-\tau _{2}))\leq \phi _{2}(-x+p_{2}(t)-c _{2}\tau _{2})\). Hence,

$$\begin{aligned} D(x,t)&\leq -2b\psi _{1}\psi _{2}+bh\psi _{1} \phi _{2}\bigl(-x+p_{2}(t-\tau _{2})\bigr)+bh\psi _{2}\phi _{1}\bigl(x+p_{1}(t-\tau _{2}) \bigr) \\ &\quad{} -bh(\psi _{1}+\psi _{2})\phi _{1} \bigl(x+p_{1}(t-\tau _{2})\bigr)\phi _{2}\bigl(-x+p _{2}(t-\tau _{2})\bigr). \end{aligned}$$

Moreover, by direct calculation we can see that, for \(t\in (-\infty ,-T] \) (\(T>0\)),

$$\begin{aligned} &\frac{1}{\mu } \ln \biggl(\frac{1+\frac{L}{c_{1}} e^{\mu p_{1}(0)}(1-e ^{c_{1}\mu t})}{1+\frac{L}{c_{1}}e^{\mu p_{1}(0)} (1-e^{c_{1} \mu (t-\tau _{2})} )} \biggr) \\ &\quad =\frac{1}{\mu }\ln \frac{1+\frac{L}{c_{1}} e^{\mu p_{1}(0)}(1-e^{c _{1}\mu t})}{1+\frac{L}{c_{1}}e^{\mu p_{1}(0)}(1-e^{c_{1}\mu t}) +\frac{L}{c _{1}}e^{\mu p_{1}(0)}e^{c_{1}\mu t}(1-e^{-c_{1}\mu \tau _{2}})} \\ &\quad :=\frac{1}{\mu }\ln \frac{1}{1+\rho (t)}, \end{aligned}$$

where

$$ \rho (t)=\frac{\frac{L}{c_{1}}e^{c_{1}p_{1}(0)}e^{c_{1}\mu t}(1-e^{-c _{1}\mu \tau _{2}})}{1+\frac{L}{c_{1}}e^{c_{1}p_{1}(0)}(1-e^{c_{1} \mu t})} \leqslant \frac{e^{-c_{1}\mu T}(1-e^{-c_{1}\mu \tau _{2}})}{1-e ^{-c_{1}\mu T}}:=\rho _{0}. $$

Set

$$ \rho _{i}=c_{i}\tau _{2}-\frac{1}{\mu }\ln \biggl(\frac{1}{1+\rho _{0}} \biggr), $$

then, for \(t\in (-\infty ,-T]\), we have \(p_{i}(t-\tau _{2})\geqslant p _{i}(t)-\rho _{i}\) (\(i=1, 2\)).

Next we prove (3.8) by dividing \(\mathbb{R}\) into three parts.

Case 1. \(p_{2}\leq x\leq -p_{1}\).

For \(p_{2}\leq x\leqslant 0\), from (1.8), (2.2)–(2.4), we have

$$\begin{aligned} \frac{D(x,t)}{E(x,t)}\leq{} &\frac{bh\psi _{1}(x+p_{1})\phi _{2}(-x+p_{2})}{ \psi '_{2}(-x+p_{2})} +\frac{bh\psi _{2}(-x+p_{2})\phi _{1}(x+p_{1})}{ \psi '_{2}(-x+p_{2})} \\ ={} &\frac{bh\psi _{1}(x+p_{1})\phi _{2}(-x+p_{2})}{\psi _{2}(-x+p_{2})} \frac{ \psi _{2}(-x+p_{2})}{\psi '_{2}(-x+p_{2})}+ \frac{bh\psi _{2}(-x+p_{2}) \phi _{1}(x+p_{1})}{\psi '_{2}(-x+p_{2})} \\ \leq{} &\frac{bhM}{Km}e^{\mu (x+p_{1})} +\frac{bhM}{m}e^{\mu (x+p_{1})} \\ \leq{} &\frac{bhM(1+K)}{Km}e^{\mu p_{1}}. \end{aligned}$$
(3.10)

We can obtain a similar result for \(0\leqslant x\leqslant -p_{1}\).

Case 2. \(x\geqslant -p_{1}\).

Because of the increasing of \(p_{i}\), \(p_{i}(t-\tau _{2})\geqslant p _{i}(t)-\rho _{i}\) (\(i=1, 2\)) and

$$ -2b\psi _{1}\psi _{2}=-(2b-bh)\psi _{1}\psi _{2}-bh\psi _{1}\psi _{2}, $$

it follows that

$$\begin{aligned} D(x,t)\leq{} &bh\psi _{1}(x+p_{1})\phi _{2} \bigl(-x+p_{2}(t-\tau _{2})\bigr)\bigl[1-\phi _{1} \bigl(x+p_{1}(t-\tau _{2})\bigr)\bigr] \\ &{} +bh\psi _{2}(-x+p_{2})\bigl[\phi _{1} \bigl(x+p_{1}(t-\tau _{2})\bigr)-\psi _{1}(x+p _{1})\bigr] \\ \leq{} & bh\phi _{2}\bigl(-x+p_{2}(t-\tau _{2}) \bigr)\bigl[1-\phi _{1}(x+p_{1}-\rho _{1})\bigr] \\ &{} +bh\psi _{2}(-x+p_{2})\bigl[1-\psi _{1}(x+p_{1}) \bigr]. \end{aligned}$$

Hence, from (2.3), (2.4), (2.6), (2.9), we obtain

$$\begin{aligned} \frac{D(x,t)}{E(x,t)}\leq{} &\frac{bh\phi _{2}(-x+p_{2})[1-\phi _{1}(x+p _{1}-\rho _{1})]}{\psi '_{1}(x+p_{1})} \\ &{} +\frac{bh\psi _{2}(-x+p_{2})[1-\psi _{1}(x+p_{1})]}{\psi '_{1}(x+p _{1})} \\ \leq{} &\frac{bhMM_{\rho _{1}}}{m}e^{\mu (-x+p_{2})} +\frac{bhM}{m}e ^{\mu (-x+p_{2})} \\ \leq{} &\frac{bhM(1+M_{\rho _{1}})}{m}e^{\mu p_{1}}. \end{aligned}$$
(3.11)

Case 3. \(x\leq p_{2}<0\).

Similar to Case 2, we obtain

$$\begin{aligned} D(x,t)\leq{}& bh\psi _{1}(x+p_{1})\bigl[\phi _{2}\bigl(-x+p_{2}(t-\tau _{2})\bigr)-\psi _{2}(-x+p_{2})\bigr] \\ &{}+bh\psi _{2}(-x+p_{2})\phi _{1} \bigl(x+p_{1}(t-\tau _{2})\bigr)\bigl[1-\phi _{2} \bigl(-x+p _{2}(t-\tau _{2})\bigr)\bigr] \\ \leq{} & bh\psi _{1}(x+p_{1})\bigl[1-\psi _{2}(-x+p_{2})\bigr] \\ &{}+bh\phi _{1}\bigl(x+p_{1}(t-\tau _{2})\bigr) \bigl[1-\phi _{2}\bigl(-x+p_{2}(t)-\rho _{2}\bigr) \bigr]. \end{aligned}$$

Hence, from (2.3), (2.4), (2.6), (2.9), we obtain

$$\begin{aligned} \frac{D(x,t)}{E(x,t)}\leq{} &\frac{bh\psi _{1}(x+p_{1})[1-\psi _{2}(-x+p _{2})]}{\psi '_{2}(-x+p_{2})} \\ &{}+\frac{bh\phi _{1}(x+p_{1}(t-\tau _{2}))[1-\phi _{2}(-x+p_{2}(t)-\rho _{2})]}{\psi '_{2}(-x+p_{2})} \\ \leq{} &\frac{bhM}{m}e^{\mu (x+p_{1})} +\frac{bhMM_{\rho _{2}}}{m}e^{ \mu (x+p_{1})} \\ \leq{} &\frac{bhM(1+M_{\rho _{2}})}{m}e^{\mu p_{1}}. \end{aligned}$$
(3.12)

Therefore, combining with (3.10)–(3.12), (3.8) holds for all \(x\in \mathbb{R}\). □

Lemma 8

Assume \(0< h<1<k\) holds. Let \((c_{i}, \phi _{i}, \psi _{i})\) (\(i=1,2\)) be solutions of (1.7) with \(c_{2}\geq c_{1}\geq c^{*}\). Let L in (3.2) be

$$ L\geq \max \biggl\{ N_{1}, N_{2}, \frac{aM}{m} \biggr\} , $$

where \(N_{i}\), \(i=1,2\), are defined in Lemmas 5 and 7. Then

$$ \textstyle\begin{cases} \bar{u}(x,t)=\phi _{1}(x+p_{1}(t))+\phi _{2}(-x+p_{2}(t))-\phi _{1}(x+p _{1}(t))\phi _{2}(-x+p_{2}(t)), \\ \bar{v}(x,t)=\min \{1, \psi _{1}(x+p_{1}(t))+\psi _{2}(-x+p_{2}(t))\}, \end{cases} $$

is a supersolution of (3.1) for \((x,t)\in \mathbb{R} \times (-\infty , -T]\) with \(T>0\).

Proof

Let

$$\begin{aligned}& H^{+}_{1}= \bigl\{ (x,t):\psi _{1} \bigl(x+p_{1}(t-\tau _{1})\bigr)+\psi _{2} \bigl(-x+p_{2}(t- \tau _{1})\bigr)\geqslant 1\bigr\} , \\& H^{-}_{1}= H^{-}_{11}\cup H^{-}_{12}, \\& \begin{aligned} H^{-}_{11}={}& \bigl\{ (x,t):\psi _{1}\bigl(x+p_{1}(t-\tau _{1})\bigr)+\psi _{2}\bigl(-x+p_{2}(t- \tau _{1})\bigr)< 1, \\ &{} \psi _{1}\bigl(x+p_{1}(t)\bigr)+\psi _{2} \bigl(-x+p_{2}(t)\bigr)\geqslant 1\bigr\} , \end{aligned} \\& H^{-}_{12}= \bigl\{ (x,t): \psi _{1} \bigl(x+p_{1}(t)\bigr)+\psi _{2}\bigl(-x+p_{2}(t) \bigr)< 1\bigr\} . \end{aligned}$$

Firstly, we show that \(F_{1}(\bar{u},\bar{v})\geq 0\) for \((x,t)\in \mathbb{R}\times (-\infty , -T]\) with \(T>0\). Noticing that \(\bar{u}(x,t)= \phi _{1}+\phi _{2}-\phi _{1}\phi _{2}\) and combining with (1.7), we have

$$\begin{aligned} F_{1}(\bar{u},\bar{v})={} & \bigl[\phi '_{1}(1- \phi _{2})+\phi '_{2}(1- \phi _{1}) \bigr]Le^{\mu p_{1}} \\ &{}-\bigl[\phi _{1}(x+1+p_{1})-\phi _{1}(x+p_{1}) \bigr] \bigl[\phi _{2}(-x+p_{2})-\phi _{2}(-x-1+p_{2}) \bigr] \\ &{}-\bigl[\phi _{1}(x+p_{1})-\phi _{1}(x-1+p_{1}) \bigr] \bigl[\phi _{2}(-x+1+p_{2})-\phi _{2}(-x+p_{2}) \bigr] \\ &{}-f_{1}(\bar{u},\bar{v})+(1-\phi _{2})f_{1}( \phi _{1}, \psi _{1})+(1- \phi _{1})f_{1}( \phi _{2}, \psi _{2}) \\ ={} &C(x,t)Le^{\mu p_{1}(t)}-A(x,t)-B(x,t)-G(x,t), \end{aligned}$$

where \(A(x,t)\), \(B(x,t)\), \(C(x,t)\) are defined in Lemma 5 and

$$ G(x,t)=f_{1}(\bar{u},\bar{v})-(1-\phi _{2})f_{1}( \phi _{1}, \psi _{1})-(1- \phi _{1})f_{1}( \phi _{2}, \psi _{2}). $$

Now we consider \(G(x,t)\). If \((x,t)\in H^{+}_{1}\), then \(\bar{v}(x,t- \tau _{1})\equiv 1\). From (3.9), we have

$$ \psi _{1}(x+p_{1}-c_{1}\tau _{1})+ \psi _{2}(-x+p_{2}-c_{2}\tau _{1}) \geq \psi _{1}\bigl(x+p_{1}(t-\tau _{1})\bigr)+\psi _{2}\bigl(-x+p_{2}(t-\tau _{1})\bigr) \geq 1. $$

Thus

$$\begin{aligned} G(x,t) ={} &a(1 - \phi _{1}) (1 - \phi _{2})\bigl[k + \phi _{1}\phi _{2} - k\bigl(\psi _{1}(x + p_{1} - c_{1}\tau _{1}) + \psi _{2}(-x + p_{2} - c_{2}\tau _{1})\bigr)\bigr] \\ \leq{} & a(1-\phi _{1}) (1-\phi _{2})\phi _{1} \phi _{2}. \end{aligned}$$

If \((x,t)\in H^{-}_{1}\), then \(\bar{v}(x,t-\tau _{1})=\psi _{1}(x+p_{1}(t- \tau _{1}))+\psi _{2}(-x+p_{2}(t-\tau _{1}))\). From (3.9), we have

$$ \psi _{1}(x+p_{1}-c_{1}\tau _{1})+ \psi _{2}(-x+p_{2}-c_{2}\tau _{1}) \geq \psi _{1}\bigl(x+p_{1}(t-\tau _{1})\bigr)+\psi _{2}\bigl(-x+p_{2}(t-\tau _{1})\bigr). $$

Thus

$$\begin{aligned} G(x,t) ={} &a(1 -\phi _{1}) (1 -\phi _{2})\bigl\{ \phi _{1}\phi _{2}+k\bigl[\psi _{1}\bigl(x+p _{1}(t-\tau _{1})\bigr)+\psi _{2} \bigl(-x+p_{2}(t-\tau _{1})\bigr) \\ &{}-\psi _{1}(x+p_{1}-c_{1}\tau _{1})-\psi _{2}(-x+p_{2}-c_{2}\tau _{1})\bigr] \bigr\} \\ \leq{} & a(1-\phi _{1}) (1-\phi _{2})\phi _{1} \phi _{2}. \end{aligned}$$

Therefore, combining with (3.5)–(3.7), we can prove that \(F_{1}(\bar{u},\bar{v})\geq 0\) for \((x,t)\in \mathbb{R}\times (- \infty , -T]\).

Secondly we show that \(F_{2}(\bar{u},\bar{v})\geq 0\) for \((x,t)\in \mathbb{R}\times (-\infty , -T]\). For \((x,t)\in H^{+}_{1}\), then \(\bar{v}\equiv 1\) because of \(\psi _{1}(x+p_{1}(t-\tau _{1}))+\psi _{2}(-x+p _{2}(t-\tau _{1}))\leq \psi _{1}(x+p_{1}(t))+\psi _{2}(-x+p_{2}(t))\). Thus \(F_{2}(\bar{u},\bar{v})=bh[1-\bar{u}(x, t-\tau _{2})]\geq 0\). For \((x,t)\in H^{-}_{11}\), then \(\bar{v}\equiv 1\). Similarly, we have \(F_{2}(\bar{u},\bar{v})\geq 0\). For \((x,t)\in H^{-}_{12}\), then \(\bar{v}=\psi _{1}(x+p_{1}(t))+\psi _{2}(-x+p_{2}(t))\) and

$$\begin{aligned} F_{2}(\bar{u},\bar{v})={} & \bigl(p'_{1}-c_{1} \bigr) \bigl(\psi '_{1}+ \psi '_{2} \bigr)+2b\psi _{1}\psi _{2} \\ &{}+bh \bigl[\psi _{1}\phi _{1}\bigl(x+p_{1}(t)-c_{1} \tau _{2}\bigr)+\psi _{2}\phi _{2} \bigl(-x+p_{2}(t)-c_{2}\tau _{2}\bigr) \bigr] \\ &{}-bh(\psi _{1}+\psi _{2})\bigl[\phi _{1} \bigl(x+p_{1}(t-\tau _{2})\bigr)+\phi _{2} \bigl(-x+p _{2}(t-\tau _{2})\bigr)\bigr] \\ &{}-bh\bigl[\phi _{1}\bigl(x+p_{1}(t-\tau _{2}) \bigr)\phi _{2}\bigl(-x+p_{2}(t-\tau _{2})\bigr) \bigr] \\ ={} &E(x,t)Le^{\mu p_{1}(t)}-D(x,t), \end{aligned}$$

where \(D(x,t)\) and \(E(x,t)\) are defined in Lemma 7. Therefore, from (3.8), it follows that \(F_{2}(\bar{u},\bar{v}) \geq 0\) for \((x,t)\in \mathbb{R}\times (-\infty , -T]\). This completes the proof. □

The following is easy to see.

Lemma 9

\((1,1)\) is a supersolution to (3.1) for \((x,t)\in \mathbb{R}\times (-T,+\infty )\).

Lemma 10

Assume that \(0< h<1<k\) holds. Let \((c_{i}, \phi _{i}, \psi _{i})\) (\(i=1,2\)) be solutions of (1.7) with \(c_{2}\geq c_{1}\geq c^{*}\). Then the pairing

$$ \textstyle\begin{cases} \underline{u}(x,t)=\max \{ \phi _{1}(x+c_{1}t+\nu _{1}), \phi _{2}(-x+c_{2}t+\nu _{2}) \} , \\ \underline{v}(x,t)=\max \{ \psi _{1}(x+c_{1}t+\nu _{1}), \psi _{2}(-x+c_{2}t+\nu _{2}) \} , \end{cases} $$

is a subsolution of (3.1), where L is defined in Lemma 8, \(\nu _{1}\) and \(\nu _{2}\) are defined in (3.4).

Combining with Lemmas 810, similar to [5, 9,10,11,12,13,14,15], we can obtain the following main result of this paper.

Theorem 1

Assume that \(0< h<1<k\) holds. Let \((c_{i}, \phi _{i}, \psi _{i})\) (\(i=1,2\)) be solutions of (1.7) with \(c_{2}\geq c_{1}\geq c^{*}\). Thus, for any given constants \(\iota _{1}\), \(\iota _{2}\), there is an entire solution \((u(x,t),v(x,t))\in (0,1)\times (0,1)\) of (1.6) such that

$$\begin{aligned}& \lim_{t\rightarrow -\infty } \Bigl\{ \sup_{x\geqslant 0} \bigl\vert u(x,t) -\phi _{1}(x+c_{1}t+\iota _{1}) \bigr\vert + \sup_{x\leqslant 0} \bigl\vert u(x,t) -\phi _{2}(-x+c_{2}t+\iota _{2}) \bigr\vert \Bigr\} = 0, \\& \lim_{t\rightarrow -\infty } \Bigl\{ \sup_{x\geqslant 0} \bigl\vert v(x,t) -\psi _{1}(x+c_{1}t+\iota _{1}) \bigr\vert + \sup_{x\leqslant 0} \bigl\vert v(x,t) -\psi _{2}(-x+c_{2}t+\iota _{2}) \bigr\vert \Bigr\} = 0, \end{aligned}$$

and

$$ \lim_{t\rightarrow +\infty } \Bigl\{ \sup_{x\in \mathbb{R}} \bigl\vert u(x,t)-1 \bigr\vert +\sup_{x\in \mathbb{R}} \bigl\vert v(x,t)-1 \bigr\vert \Bigr\} =0. $$

In addition, this solution satisfies

  1. (i)

    \(\frac{\partial u(x,t)}{\partial t}>0\) and \(\frac{\partial v(x,t)}{\partial t}>0\) for all \((x,t)\in \mathbb{R}\times \mathbb{R}\);

  2. (ii)

    \(\lim_{t\rightarrow -\infty } \{ \sup_{x\in [\alpha , \beta ]} \vert u(x,t) \vert +\sup_{x\in [\alpha , \beta ]} \vert v(x,t) \vert \} =0\) with \(\alpha , \beta \in \mathbb{R}\) and \(\alpha <\beta \);

  3. (iii)

    \(\lim_{ \vert x \vert \rightarrow \infty } \{ \sup_{t\in [S, \infty )} \vert u(x,t) -1 \vert +\sup_{t\in [S, \infty )} \vert v(x,t)-1 \vert \} =0 \) with \(S\in \mathbb{R}\).

References

  1. Cheng, H.M., Yuan, R.: Traveling waves of some Holling–Tanner predator–prey system with nonlocal diffusion. Appl. Math. Comput. 338, 12–24 (2018)

    MathSciNet  Google Scholar 

  2. Fukao, Y., Morita, Y., Ninomiya, H.: Some entire solutions of Allen–Cahn equation. Taiwan. J. Math. 8, 15–32 (2004)

    Article  MathSciNet  Google Scholar 

  3. Gardner, R.A.: Existence and stability of traveling wave solutions of competition models: a degree theoretic. J. Differ. Equ. 44, 343–364 (1982)

    Article  Google Scholar 

  4. Guo, J.S., Morita, Y.: Entire solutions of reaction–diffusion equations and an application to discrete diffusive equations. Discrete Contin. Dyn. Syst. 12, 193–212 (2005)

    MathSciNet  MATH  Google Scholar 

  5. Guo, J.S., Wu, C.H.: Entire solutions for a two-component competition system in a lattice. Tohoku Math. J. 62, 17–28 (2010)

    Article  MathSciNet  Google Scholar 

  6. Hamel, F., Nadirashvili, N.: Entire solutions of the KPP equation. Commun. Pure Appl. Math. 52, 1255–1276 (1999)

    Article  MathSciNet  Google Scholar 

  7. Kan-on, Y.: Existence of standing waves for competition–diffusion equations. Jpn. J. Ind. Appl. Math. 13, 117–133 (1996)

    Article  MathSciNet  Google Scholar 

  8. Li, K., Huang, J.H., Li, X., He, Y.L.: Traveling wave fronts in a delayed lattice competitive system. Appl. Anal. 97, 982–999 (2018)

    Article  MathSciNet  Google Scholar 

  9. Li, W.T., Zhang, L., Zhang, G.B.: Invasion entire solutions in a competition system with nonlocal dispersal. Discrete Contin. Dyn. Syst. 35, 1531–1560 (2015)

    Article  MathSciNet  Google Scholar 

  10. Lv, G.Y.: Entire solutions of delayed reaction diffusion equations. Z. Angew. Math. Mech. 92, 204–216 (2012)

    Article  MathSciNet  Google Scholar 

  11. Lv, G.Y., Luo, D.: Entire solutions for some reaction–diffusion systems. Int. J. Biomath. 8, 1550052 (2015)

    Article  MathSciNet  Google Scholar 

  12. Morita, Y., Tachibana, K.: An entire solution to the Lotka–Volterra competition–diffusion equations. SIAM J. Math. Anal. 40, 2217–2240 (2009)

    Article  MathSciNet  Google Scholar 

  13. Wang, X.H., Lv, G.Y.: Entire solutions for Lotka–Volterra competition–diffusion model. Int. J. Biomath. 6, 1350020 (2013)

    Article  MathSciNet  Google Scholar 

  14. Wang, Y., Li, X.: Some entire solutions to the competitive reaction diffusion system. J. Math. Anal. Appl. 430, 993–1008 (2015)

    Article  MathSciNet  Google Scholar 

  15. Wang, Y., Liu, G.R., Li, X.: Entire solutions for the nonlocal competitive Lotka-Volterra system with delays. Int. J. Biomath. 12, 1950035 (2019)

    Article  MathSciNet  Google Scholar 

  16. Yagisita, H.: Backward global solutions characterizing annihilation dynamics of travelling fronts. Publ. Res. Inst. Math. Sci. 39, 117–164 (2002)

    Article  MathSciNet  Google Scholar 

Download references

Funding

This work was supported by the NSFC (11501339), the NSFC (11901366) and the Natural Science Foundation of Shanxi Province (201801D221008).

Author information

Authors and Affiliations

Authors

Contributions

All authors participated in drafting and checking the manuscript, and approved the final manuscript.

Corresponding author

Correspondence to Yang Wang.

Ethics declarations

Competing interests

The authors declare to have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Yan, R., Wang, Y. & Yao, M. Entire solutions for a delayed lattice competitive system. Adv Differ Equ 2019, 440 (2019). https://doi.org/10.1186/s13662-019-2378-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-019-2378-8

MSC

Keywords