Abstract
This paper is concerned with the dynamics of a predator–prey system with three species. When the domain is bounded, the global stability of positive steady state is established by contracting rectangles. When the domain is \(\mathbb{R}\), we study the traveling wave solutions implying that one predator and one prey invade the habitat of another prey. More precisely, the existence of traveling wave solutions is proved by combining upper and lower solutions with a fixed point theorem, and the asymptotic behavior of traveling wave solutions is obtained by the idea of contracting rectangle. Moreover, we show the nonexistence of traveling wave solutions by applying the theory of the asymptotic spreading.
Similar content being viewed by others
1 Introduction
In population dynamics, predator–prey systems have been widely studied due to their importance as well as plentiful dynamical behaviors. When the system involves only one predator and one prey, there have been many results for both ordinary differential systems and reaction–diffusion equations. For the topic, we refer to Cantrell and Cosner [4], Fife [13], Ghergu and Radulescu [17], Murray [35, 36], Pao [39], Smith [42], Smoller [43], Ye et al. [50], Zhang and Feng [52], Zhao [54].
When the spatiotemporal dynamics is concerned, since the pioneer work in [14, 25], much attention has been paid to the traveling wave solutions of parabolic equations; we refer to Volpert et al. [44] for some earlier results and a survey paper by Zhao [55] for some recent conclusions. If a system is of predator–prey type with two species, then several methods, including phase analysis, shooting methods, Conley index and fixed point theorem, have been applied to establish the existence of traveling wave solutions; we refer to some important results by Dunbar [9–11], Gardner and Smoller [16], Gardner and Jones [15], Chen et al. [7], Huang et al. [19], Huang and Zou [21], Huang [23], Hsu et al. [18], Li and Li [26], Lin et al. [30], Lin [28, 29], Lin et al. [32], Pan [37], Wang et al. [45], Wang et al. [47], Zhang et al. [51].
In fact, due to the diversity and complexity of ecosystems, the study of the interaction among multi-species has more practical significance. However, when there are more than 2 species, studying the ecosystem becomes more difficult. For example, it is difficult to study the existence of traveling wave solutions by phase analysis. Moreover, even for ordinary differential systems, the investigation of dynamical behavior becomes more difficult due to the deficiency of general Poincare–Bendixson theorem in \(\mathbb{R}^{n}\) with \(n\ge3\). Of course, there are also some conclusions about the dynamics of predator–prey systems with multiple species. For example, Caristi et al. [6] investigated the coexistence of a predator and two species on bounded habitat with Neumann boundary condition, Du and Xu [8], Shang et al. [41], Zhang et al. [53] proved the existence of traveling wave solutions to a reaction–diffusion system with multiple species.
Recently, Huang and Lin [24] considered the following three species reaction-diffusion system (see Cantrell and Cosner [4]):
where all parameters are positive, \(u_{1}(x,t), u_{2}(x,t)\) denote the densities of two competing prey species located at \(x\in\varOmega \subseteq\mathbb{R}^{n}\) at time t, \(u_{3}\) denotes the density of predator feeding on species 1 and species 2 located at \(x\in\varOmega \subseteq\mathbb{R}^{n}\) at time t. The authors obtained the minimal wave speed of non-negative traveling wave solutions connecting trivial equilibrium with positive equilibrium, in which the limit behavior is verified by the abstract results in Lin and Ruan [31].
Because all the parameters are positive in [24], this implies that the predator could survive without two preys in the system. In this paper, we suppose that all the parameters, except \(b_{3}<0\), are positive and the predator only feeds on species 1 and 2. Under the conditions of (1.1), there are several different dynamical problems in the literature. For example, \(u_{3}\) invades the habitat in which \(u_{1},u_{2}\) coexist, \(u_{1},u_{3}\) invade the habitat of \(u_{2}\). In population dynamics, these problems often imply different thresholds in (1.1), and the corresponding control problem is also very important [40].
The purpose of this paper is to discuss the situation when prey \(u_{2}\) and predator \(u_{3}\) invade the habitat of prey \(u_{1}\). We study the global stability of the positive equilibrium with the help of contracting rectangles [42] when the domain is bounded, then the existence as well as noexistence of traveling wave solutions when \(x\in\mathbb{R}\). More precisely, we first establish the existence of a nontrivial traveling wave solution by the generalized upper and lower solution. To verify the limit behavior of traveling wave solutions, we use the results in global stability as well as the asymptotic spreading of Fisher equation [1]. Finally, the nonexistence of traveling wave solutions is obtained by constructing auxiliary equations as well as using the theory of asymptotic spreading.
It should be noted that Lin and Ruan [31] applied the idea of contracting rectangles to verify the limit behavior of a traveling wave solution. But in [31] they needed strictly contracting rectangles, a condition which is stronger than the general stability conditions in [42]. In this paper, using the basic idea in [31] and adding necessary discussion, we prove the limit behavior of traveling wave solutions by general contracting rectangles. We believe the technique can be applied to more models.
The rest of this paper is organized as follows. In Sect. 2, we will give some preliminaries. If the domain is bounded, the global stability of the positive equilibrium is proved in Sect. 3. In Sect. 4, by using Schauder’s fixed point theorem and constructing upper and lower solutions, we obtain the existence of non-negative traveling wave solutions. Then the asymptotic behavior of traveling wave solutions is also studied in Sect. 5. In Sect. 6, the nonexistence of traveling wave solutions is established by using the relevant conclusions of the asymptotic speed of spreading.
2 Preliminaries
We first introduce some notations. For \(u=(u_{1},u_{2},u_{3}), v=(v_{1},v_{2},v_{3})\in\mathbb{R}^{3}\), we write \(u\geq v\) provided \(u_{i}\geq v_{i}\) for \(i=1,2,3\). Let X be the following functional space:
which is a Banach space equipped with the standard supremum norm. If \(a,b\in\mathbb{R}^{3}\) with \(a\leq b\), then \(X_{[a,b]}\) is defined by
If \(u(x)=(u_{1}(x),u_{2}(x),u_{3}(x))\) and \(v(x)=(v_{1}(x),v_{2}(x),v_{3}(x))\in X\), then \(u(x)\geq v(x)\) implies that \(u(x)\geq v(x)\) for all \(x\in\mathbb{R}\); \(u(x)>v(x)\) is interpreted as \(u(x)\geq v(x)\) but \(u(x)>v(x)\) for some \(x\in\mathbb{R}\).
By rescaling, (1.1) is equivalent to the following system:
where all the parameters are positive. Clearly, the corresponding kinetic system is
Assume that
then (2.2) has an equilibrium point \(E=(1,0,0)\) and a unique positive equilibrium point \(K=(k_{1},k_{2},k_{3})\) defined by
In fact, the existence and uniqueness of K are not evident if (2.3) holds. But this will be clear from the stability analysis in Sect. 3. More precisely, we could obtain the existence of equilibria by the limit behavior in Sect. 3; then for any positive equilibria, we shall prove the global stability which implies the uniqueness of the positive steady state. Furthermore, (2.2) also has several semi-trivial steady states, which do not affect our following discussion.
For convenience, we introduce the definition of contracting rectangle (see Smith [42]). Consider the following initial value problem:
where \(x(t)=(x_{1}(t),x_{2}(t),\dots,x_{n}(t))\), \(f(x(t))= (f_{1}(x(t)),f_{2}(x(t)),\dots ,f_{n}(x(t)))\), \(\phi=(\phi_{1},\phi_{2},\dots, \phi_{n})\) and there exists \(e\in\mathbb{R}^{n}\) such that \(f_{i}(e)=0\).
Denote a one-parameter family of order intervals \(\varSigma (s)=[a(s),b(s)]\), \(0\leq s\leq1\) such that for \(0\leq s_{1}\leq s_{2} \leq1\),
where
and \(a_{i}(s)\), \(b_{i}(s)\), \(i=1,2,\dots,n\), are continuous of \(s\in[0,1]\).
Definition 2.1
\(\varSigma(s)\) is said to be a contracting rectangle of (2.4) if for any \(s\in[0,1)\) and \(\phi=(\phi_{1},\phi_{2},\dots,\phi_{n})\in\varSigma (s)\), we have
-
(1)
\(f_{i}(\phi)\ge0\) whenever \(\phi\in\varSigma(s)\) and \(\phi _{i}=a_{i}(s)\) while \(f_{i}(\phi)\le0\) whenever \(\phi\in\varSigma(s)\) and \(\phi _{i}=b_{i}(s)\);
-
(2)
for each s, at least one of above 2n inequalities is strict.
Using the contracting rectangle, we have the following stability result (see Smith [42, Theorem 5.2.5]).
Lemma 2.2
Assume that \(\varSigma(s)\) is a contracting rectangle of (2.4). If \(\phi\in\varSigma(0)\), then e is globally stable.
We also present some results for the Fisher equation. Assume that \(D,R,M\) are positive constants, \(Z(x)>0\) is a bounded and continuous function with nonempty support. Consider the initial value problem associated to the Fisher equation
From Fife [13], Ye et al. [50] and Aronson and Weinberger [1], (2.5) has the following properties.
Lemma 2.3
-
(i)
Equation (2.5) admits a unique solution \(Z(x,t)\geq0\) which is twice differentiable in \(x\in\mathbb{R}\) and differentiable in \(t>0\).
-
(ii)
Assume that \(\overline{Z}(x,t)\), \(\underline{Z}(x,t)\) are continuous and bounded for \(x\in\mathbb{R}\), \(t\geq0\), twice differentiable in \(x\in\mathbb{R}\) and differentiable in \(t>0\). If they satisfy
$$ \textstyle\begin{cases} \frac{\partial\overline{Z}(x,t)}{\partial t} \geq D\Delta\overline {Z}(x,t)+R\overline{Z}(x,t)[1-M\overline{Z}(x,t)],\\ \overline{Z}(x,0) \geq Z(x),\quad x\in\mathbb{R} \end{cases} $$and
$$ \textstyle\begin{cases} \frac{\partial\underline{Z}(x,t)}{\partial t} \leq D\Delta\underline {Z}(x,t)+R\underline{Z}(x,t)[1-M\underline{Z}(x,t)],\\ \underline{Z}(x,0) \leq Z(x) ,\quad x \in\mathbb{R}, \end{cases} $$then \(\overline{Z}(x,t)\geq Z(x,t)\geq\underline{Z}(x,t)\), where \(Z(x,t)\) is a solution to (2.5).
-
(iii)
If \(Z(x,t)\) satisfies (2.5), and \(Z(x)\) admits nonempty support, then
$$\liminf _{t \to\infty}\inf _{|x|< (2\sqrt{DR}-\epsilon)t}Z(x,t) =\limsup _{t \to\infty}\sup _{|x|< (2\sqrt{DR}-\epsilon)t}Z(x,t) = \frac{1}{M} $$for any \(\epsilon\in(0,2{\sqrt{DR}})\).
3 Stability of the positive equilibrium
In this section, we shall establish global stability of the positive equilibrium (2.1) on a smooth bounded domain Ω with Neumann boundary condition by using the contracting rectangles, throughout which (2.3) holds. We first consider (2.2) if
By the quasipositivity, we see that
for all \(t>0\). It is evident that this model is defined for all \(t\in (0,\infty)\).
Due to positivity, we see that
and so
Similarly, we have
which further indicates that
Returning to the first equation of (2.2), we obtain
Similarly, we have
and
Repeating the process, we further have
and
By the theory of dynamical systems [52], we see that (2.2) has at least one positive steady state \(K=(k_{1},k_{2},k_{2})\) with
and
If K is globally stable, then K is the unique positive steady state, which implies the conclusions in Sect. 2. We now prove the global stability by contracting rectangles.
Lemma 3.1
Assume that (2.3) holds. Denote \(\varSigma(s)=[a(s),b(s)]\) with \(a(s)=(a_{1}(s),a_{2}(s), a_{3}(s))\), \(b(s)=(b_{1}(s),b_{2}(s),b_{3}(s))\) and
Then \(\varSigma(s)=[a(s),b(s)],s\in(0,1)\) is a contracting rectangle of (2.2). Moreover, \((k_{1},k_{2},k_{3})\) is globally stable.
Proof
We now verify the definition of a contracting rectangle.
-
(1)
(i) If \(u_{1}=sk_{1}+(1-s)\underline{u}_{1}\), then
$$u_{2}\leq sk_{2}+(1-s),\qquad u_{3} \leq sk_{3}+(1-s) (a_{31}+a_{32}-1) $$so that
$$\begin{aligned} &1-u_{1}-a_{12}u_{2}-a_{13}u_{3} \\ &\quad \geq 1-\bigl[sk_{1}+(1-s)\underline {u}_{1} \bigr]-a_{12}\bigl[sk_{2}+(1-s)\bigr]-a_{13} \bigl[sk_{3}+(1-s) (a_{31}+a_{32}-1)\bigr] \\ &\quad = (1-s)-(1-s)\bigl\{ 1-\bigl[a_{12}+a_{13}(a_{31}+a_{32}-1) \bigr]+\bigl[a_{12}+a_{13}(a_{31}+a_{32}-1) \bigr]\bigr\} \\ &\quad = 0. \end{aligned}$$Therefore
$$f_{1}(u_{1},u_{2},u_{3})|_{u_{1}=sk_{1}+(1-s)\underline{u}_{1}} \geq0. $$(ii) If \(u_{1}=sk_{1}+(1-s)\), then
$$u_{2}\geq sk_{2}+(1-s)\underline{u}_{2},\qquad u_{3} \geq sk_{3}+(1-s)\underline{u}_{3} $$so that
$$\begin{aligned} & 1-u_{1}-a_{12}u_{2}-a_{13}u_{3} \\ & \quad \leq 1-\bigl[sk_{1}+(1-s)\bigr]-a_{12} \bigl[sk_{2}+(1-s)\underline {u}_{2}\bigr]-a_{13} \bigl[sk_{3}+(1-s)\underline{u}_{3}\bigr] \\ &\quad = -(1-s) (a_{12}\underline{u}_{2}+a_{13} \underline{u}_{3}) \\ &\quad < 0. \end{aligned}$$Therefore
$$f_{1}(u_{1},u_{2},u_{3})|_{u_{1}=sk_{1}+(1-s)}< 0. $$ -
(2)
(i) If \(u_{2}=sk_{2}+(1-s)\underline{u}_{2}\), then
$$u_{1}\leq sk_{1}+(1-s),\qquad u_{3} \leq sk_{3}+(1-s) (a_{31}+a_{32}-1) $$so that
$$1-a_{21}u_{1}-u_{2}-a_{23}u_{3} \geq0 $$and
$$f_{2}(u_{1},u_{2},u_{3})|_{u_{2}=sk_{2}+(1-s)\underline{u}_{2}} \geq0. $$(ii) If \(u_{2}=sk_{2}+(1-s)\), then
$$u_{1}\geq sk_{1}+(1-s)\underline{u}_{1},\qquad u_{3} \geq sk_{3}+(1-s)\underline{u}_{3} $$so that
$$1-a_{21}u_{1}-u_{2}-a_{23}u_{3} < 0 $$and
$$f_{2}(u_{1},u_{2},u_{3})|_{u_{2}=sk_{2}+(1-s)}< 0. $$ -
(3)
(i) If \(u_{3}=sk_{3}+(1-s)\underline{u}_{3}\), then
$$u_{1}\geq sk_{1}+(1-s)\underline{u}_{1},\qquad u_{2} \geq sk_{2}+(1-s)\underline{u}_{2} $$so that
$$-1+a_{31}u_{1}+a_{32}u_{2}-u_{3} \geq 0 $$and
$$f_{3}(u_{1},u_{2},u_{3})|_{u_{3}=sk_{3}+(1-s)\underline{u}_{3}} \geq0. $$(ii) If \(u_{3}=sk_{3}+(1-s)(a_{31}+a_{32}-1)\), then
$$u_{1}\leq sk_{1}+(1-s),\qquad u_{2}\leq sk_{2}+(1-s) $$so that
$$-1+a_{31}u_{1}+a_{32}u_{2}-u_{3} \leq0 $$and
$$f_{3}(u_{1},u_{2},u_{3})|_{u_{3}=sk_{3}+(1-s)(a_{31}+a_{32}-1)} \leq0. $$
According to the definition of a contracting rectangle, \(\varSigma (s)=[a(s),b(s)]\) is a contracting rectangle of (2.2). Then \((k_{1},k_{2},k_{3})\) is globally stable by Lemma 2.2. The proof is complete. □
The stability result further implies the following properties.
Theorem 3.2
Assume that Ω is a bounded domain with smooth boundary ∂Ω. Consider the following initial boundary value problem:
where n is the outward unit normal vector of ∂Ω, \(\phi_{i}(x),i=1,2,3\), are continuous and bounded. If (2.3) holds, then
Since the boundary condition is of Neumann type, the proof is similar to that of ODEs with nice properties of Laplacian operator, and we omit the proof here. We end this section by making the following remark.
Remark 3.3
The dynamics of this model has been investigated by other methods, for instance, Cantrell et al. [5] studied it under Dirichlet conditions. We now give the proof in order to study the traveling wave solutions in Sect. 5.
4 Existence of the traveling wave solutions
We now investigate the existence of traveling wave solutions and first give the following definition.
Definition 4.1
A traveling wave solution of (2.1) is a special solution taking the form \(u(x,t)=\varPhi(x+ct)\in C^{2}(\mathbb{R},\mathbb{R}^{3})\) with
in which Φ is the wave profile that propagates through the one-dimension spatial domain \(\mathbb{R}\) at the constant wave speed \(c > 0\).
By definition, \(\varPhi(\xi)=(\phi_{1}(\xi),\phi_{2}(\xi),\phi_{3}(\xi))\) must satisfy
Since we shall discuss the dynamical behavior that \(u_{2}\) and \(u_{3}\) invade the habitat of \(u_{1}\), \(\varPhi(\xi)\) will satisfy the following asymptotic boundary conditions:
In population dynamics, positive solutions of (4.1)–(4.2) describe the following biological process: at any fixed location \(x\in \mathbb{R}\), there was only one prey a long time ago (\(t \to-\infty\) such that \(x+ct\to-\infty\)), and the predator and two preys will coexist after a long-term species interaction (\(t\to+\infty\) such that \(x+ct\to+\infty\)).
Letting \(\varPsi(\xi)=(\varphi_{1},\varphi_{2},\varphi_{3})(\xi)=(1-\phi_{1},\phi _{2},\phi_{3})(\xi)\), we obtain
Due to (4.2), we have
Define a constant
such that
is nondecreasing with respect to \(0\leq\varphi_{1}\leq1\), \(0\leq\varphi _{2}\leq1\), \(0\leq\varphi_{3}\leq a_{31}+a_{32}-1\),
is nondecreasing with respect to \(0\leq\varphi_{1}\leq1\), \(0\leq\varphi _{2}\leq1\), while it is nonincreasing with respect to \(0\leq\varphi _{3}\leq a_{31}+a_{32}-1\), and
is nonincreasing with respect to \(0\leq\varphi_{1}\leq1\), while it is nondecreasing with respect to \(0\leq\varphi_{2}\leq1\), \(0\leq\varphi _{3}\leq a_{31}+a_{32}-1\).
For \(\varPsi(\xi)=(\varphi_{1},\varphi_{2},\varphi_{3})(\xi)\in X_{[0,M]}\) with \(M=(1,1,a_{31}+a_{32}-1)\), denote
Then (4.3) can be rewritten as
Define constants
Then \(\beta>0\) implies \(\lambda_{i1}<0<\lambda_{i2}\) and
For \(\varPsi(\xi)=(\varphi_{1},\varphi_{2},\varphi_{3})(\xi)\in X_{[0,M]}\), define an operator \(P=(P_{1},P_{2},P_{3}):X_{[\mathbf{0},\mathbf{M}]} \to X\) (see Wu and Zou [49]) by
where \(i=1,2,3\), \(\xi\in\mathbb{R}\). Then a fixed point of operator P is a solution of (4.3) or (4.6). On the other hand, a solution of (4.3) or (4.6) is a fixed point of operator P (see Huang [22]).
In the following, we will establish the existence of a nontrivial positive solution of (4.3) by combining Schauder’s fixed point theorem with the method of upper and lower solutions (for quasimonotone systems, we refer to [20, 34, 46, 49]). We now introduce the definition of upper and lower solutions of (4.3).
Definition 4.2
\(\overline{\varPsi}(\xi)=(\overline{\varphi}_{1},\overline{\varphi}_{2}, \overline{\varphi}_{3})(\xi)\), \(\underline{\varPsi}(\xi)=(\underline{\varphi}_{1},\underline{\varphi}_{2}, \underline{\varphi}_{3})(\xi)\in X_{[0,M]}\) are a pair of upper and lower solutions of (4.3), if \(\overline{\varPsi}'',\overline{\varPsi}', \underline{\varPsi}'',\underline{\varPsi}'\) are bounded and continuous for each \(\xi\in\mathbb{R}\setminus\mathbb{T}\) with \(\mathbb{T}=\{ T_{1},T_{2},\dots,T_{m}\}\) and they satisfy
Lemma 4.3
Assume that (4.3) has a pair of upper and lower solutions satisfying
-
(1)
\(\underline{\varPsi}(\xi)\leq\overline{\varPsi}(\xi)\), \(\xi\in \mathbb{R}\);
-
(2)
\(\underline{\varPsi}'(\xi_{-})\leq\overline{\varPsi}'(\xi_{+})\), \(\overline{\varPsi}'(\xi_{+})\leq\overline{\varPsi}'(\xi_{-})\), \(\xi\in\mathbb {T}\), herein
$$\underline{\varPsi}'(\xi_{\pm})=\lim _{t \to\xi_{\pm}}\underline{ \varPsi }'(t),\qquad \overline{\varPsi}'(\xi_{\pm})= \lim _{t \to\xi_{\pm}}\overline {\varPsi}'(t). $$Then (4.3) has a positive solution \(\varPsi(\xi)\) such that \(\underline{\varPsi}(\xi)\leq\varPsi(\xi)\leq\overline{\varPsi}(\xi)\).
Proof
We prove this lemma by Schauder’s fixed point theorem. Since a similar result has been proved in several earlier papers mentioned above [31], we only give the scheme.
Define
where
then \((B_{\mu}(\mathbb{R},\mathbb{R}^{3}),|\cdot|_{\mu})\) is a Banach space. Let
Obviously, Λ is nonempty and convex. It is also closed and bounded with respect to the decay norm \(|\cdot|_{\mu}\).
We now verify that \(P:\varLambda\to\varLambda\). For \(\varPsi(\xi)=(\varphi_{1},\varphi_{2},\varphi_{3})(\xi)\in\varLambda\) and each fixed \(\xi\in\mathbb{R}\), the definition of operator P and the choice of β imply that it suffices to prove that
Without loss of generality, we assume that \(T_{1}< T_{2}<\cdots<T_{m}\) and denote \(T_{0}=-\infty\), \(T_{m+1}=+\infty\). If \(\xi\in\mathbb {R}\backslash\mathbb{T}\), namely, \(\xi\in(T_{k},T_{k+1})\) with some \(k\in \{0,1,\dots,m\}\), then
Because ξ was arbitrary and due to the continuity, we have \(P_{1}(\underline{\varphi}_{1},\underline{\varphi}_{2},\underline{\varphi }_{3})(\xi)\geq\underline{\varphi}_{1}(\xi)\) in \(\mathbb{R}\). In a similar way, we can verity the remainder of (4.9).
Note that the compactness in [24] is independent of the monotonicity, then \(P:\varLambda\to\varLambda\) is compact in the sense of the decay norm \(|\cdot|_{\mu}\) by a discussion similar to that in [24].
By Schauder’s fixed point theorem, there exists \(\varPsi(\xi)=(\varphi _{1},\varphi_{2},\varphi_{3})(\xi)\in\varLambda\) which is a positive solution of (4.3) satisfying \(\underline{\varPsi}(\xi)\leq\varPsi(\xi)\leq \overline{\varPsi}(\xi)\). The proof is complete. □
Next, we construct the upper and lower solutions of (4.3), and we assume that
For any fixed
we define positive constants \(\gamma_{21}< \gamma_{22},\gamma_{31}<\gamma_{32}\) such that
Further choose \(\epsilon>0\) such that
and
Let
We now assume that
Define \(\varGamma=(\gamma_{21}, \gamma_{22}) \cap(\gamma_{31},\gamma_{32})\), then Γ is nonempty if c is large enough or other parameters satisfy suitable conditions. In particular, when Γ is nonempty, we further assume that there exists \(\gamma\in\varGamma\) such that
Remark 4.4
Assume that all the parameters in (2.1) are fixed. Then there exists \(c'\ge c^{*}\) such that (4.11)–(4.12) hold.
For any given \(c>c^{*}\), we now fix these constants and define continuous functions as follows:
in which \(p>1\), \(q>1\) will be clarified in the following lemma.
Lemma 4.5
Assume that \(c>c^{*}\). Further suppose that Γ is nonempty such that (4.11)–(4.12) hold. Then there exist \(p, q\) such that \(\overline{\varPsi}(\xi)=(\overline{\varphi}_{1}(\xi ),\overline{\varphi}_{2}(\xi),\overline{\varphi}_{3}(\xi))\) and \(\underline {\varPsi}(\xi)=(\underline{\varphi}_{1}(\xi), \underline{\varphi}_{2}(\xi ),\underline{\varphi}_{3}(\xi))\) are a pair of upper and lower solutions of (4.3).
Proof
It suffices to verify (4.8) one by one.
-
(1)
(i) If \(\overline{\varphi}_{1}(\xi)=1< e^{\gamma_{11}\xi }+pe^{\gamma\xi}\), then
$$d_{1}\overline{\varphi}''_{1}( \xi)-c\overline{\varphi}'_{1}(\xi) +r_{1} \bigl[1-\overline{\varphi}_{1}(\xi)\bigr] \bigl[a_{12} \overline{\varphi}_{2}(\xi)+ a_{13}\overline{ \varphi}_{3}(\xi)-\overline{\varphi}_{1}(\xi)\bigr]=0. $$(ii) If \(\overline{\varphi}_{1}(\xi)=e^{\gamma_{11}\xi}+pe^{\gamma\xi }<1\), then \(\xi<0\) and
$$\overline{\varphi}_{2}(\xi)\leq e^{\gamma_{21}\xi}+pe^{\gamma\xi },\qquad \overline{\varphi}_{3}(\xi)\leq e^{\gamma_{31}\xi}+pa_{32}e^{\gamma _{31}\xi} $$so that
$$\begin{aligned} & a_{12}\overline{\varphi}_{2}(\xi) +a_{13} \overline{\varphi}_{3}(\xi)-\overline{\varphi}_{1}(\xi) \\ &\quad \leq a_{12}\bigl(e^{\gamma_{21}\xi}+pe^{\gamma\xi}\bigr) +a_{13}\bigl(e^{\gamma_{31}\xi}+pa_{32}e^{\gamma\xi}\bigr)- \bigl(e^{\gamma_{11}\xi }+pe^{\gamma\xi}\bigr) \\ &\quad \leq (a_{12}+a_{13}-1)e^{\gamma_{11}\xi}+(a_{12}+a_{13}a_{32}-1)pe^{\gamma\xi } \\ &\quad < 0 \end{aligned}$$because \(\gamma_{11}= \min\{\gamma_{21},\gamma_{31}\}\), \(a_{12}+a_{13}a_{32}<1\) and \(a_{12}+a_{13}<1\). Therefore, we have
$$\begin{aligned} & d_{1}\overline{\varphi}''_{1}( \xi)-c\overline{\varphi}'_{1}(\xi) +r_{1} \bigl[1-\overline{\varphi}_{1}(\xi)\bigr] \bigl[a_{12} \overline{\varphi}_{2}(\xi) +a_{13}\overline{ \varphi}_{3}(\xi)-\overline{\varphi}_{1}(\xi)\bigr] \\ &\quad \leq d_{1}\overline{\varphi}''_{1}( \xi)-c\overline{\varphi}'_{1}(\xi) \\ &\quad =\bigl(d_{1}\gamma^{2}_{11}-c \gamma_{11}\bigr)e^{\gamma_{11}\xi}+\bigl(d_{1}\gamma ^{2}-c\gamma\bigr)pe^{\gamma\xi} \\ &\quad < 0. \end{aligned}$$ -
(2)
(i) If \(\overline{\varphi}_{2}(\xi)=1< e^{\gamma_{21}\xi }+pe^{\gamma\xi}\), then \(\overline{\varphi}_{1}(\xi)\leq1\) so that
$$\begin{aligned} & d_{2}\overline{\varphi}''_{2}( \xi)-c\overline{\varphi}'_{2}(\xi) +r_{2} \overline{\varphi}_{2}(\xi)\bigl[1-a_{21}+a_{21} \overline{\varphi}_{1}(\xi )-\overline{\varphi}_{2}(\xi) -a_{23}\underline{\varphi}_{3}(\xi)\bigr] \\ & \quad \leq d_{2}\overline{\varphi}''_{2}( \xi)-c\overline{\varphi}'_{2}(\xi) +r_{2} \overline{\varphi}_{2}(\xi)\bigl[1-a_{21}+a_{21} \overline{\varphi}_{1}(\xi )-\overline{\varphi}_{2}(\xi) \bigr] \\ &\quad \leq r_{2}(1-a_{21}+a_{21}-1) \\ &\quad = 0. \end{aligned}$$(ii) If \(\overline{\varphi}_{2}(\xi)=e^{\gamma_{21}\xi}+pe^{\gamma\xi}<1\), then
$$\begin{aligned} & d_{2}\overline{\varphi}''_{2}( \xi)-c\overline{\varphi}'_{2}(\xi) +r_{2} \overline{\varphi}_{2}(\xi)\bigl[1-a_{21}+a_{21} \overline{\varphi}_{1}(\xi)- \overline{\varphi}_{2}( \xi)-a_{23}\underline{\varphi}_{3}(\xi)\bigr] \\ &\quad \leq d_{2}\overline{\varphi}''_{2}( \xi)-c\overline{\varphi}'_{2}(\xi) +r_{2} \overline{\varphi}_{2}(\xi)\bigl[1-a_{21}+a_{21} \overline{\varphi}_{1}(\xi )-\overline{\varphi}_{2}(\xi) \bigr] \\ &\quad \leq d_{2}\bigl(\gamma^{2}_{21}e^{\gamma_{21}\xi}+p \gamma^{2}e^{\gamma\xi}\bigr) -c\bigl(\gamma_{21}e^{\gamma_{21}\xi}+ p\gamma e^{\gamma\xi}\bigr) \\ &\qquad {}+r_{2}\bigl(e^{\gamma_{21}\xi} +pe^{\gamma\xi}\bigr) \bigl[1-a_{21}+a_{21}\bigl(e^{\gamma_{11}\xi}+p e^{\gamma\xi } \bigr)-\bigl(e^{\gamma_{21}\xi}+p e^{\gamma\xi}\bigr)\bigr]. \end{aligned}$$If \(\gamma_{11}=\gamma_{21}\le\gamma_{31}\), then
$$a_{21}\bigl(e^{\gamma_{11}\xi}+p e^{\gamma\xi}\bigr)\le \bigl(e^{\gamma_{21}\xi}+p e^{\gamma\xi}\bigr) $$so that
$$\begin{aligned} & d_{2}\overline{\varphi}''_{2}( \xi)-c\overline{\varphi}'_{2}(\xi) +r_{2} \overline{\varphi}_{2}(\xi)\bigl[1-a_{21}+a_{21} \overline{\varphi}_{1}(\xi)- \overline{\varphi}_{2}( \xi)-a_{23}\underline{\varphi}_{3}(\xi)\bigr] \\ &\quad \leq d_{2}\bigl(\gamma^{2}_{21}e^{\gamma_{21}\xi}+p \gamma^{2}e^{\gamma\xi}\bigr) -c\bigl(\gamma_{21}e^{\gamma_{21}\xi}+ p\gamma e^{\gamma\xi}\bigr)+r_{2}\bigl(e^{\gamma _{21}\xi} +pe^{\gamma\xi}\bigr)[1-a_{21}] \\ &\quad \leq 0 \end{aligned}$$by the definitions of \(\gamma_{21}\) and γ. Otherwise, \(\gamma_{11}=\gamma_{31}<\gamma_{21}\) so that
$$\gamma< \gamma_{11}+\gamma_{21} $$and
$$\begin{aligned} & d_{2}\overline{\varphi}''_{2}( \xi)-c\overline{\varphi}'_{2}(\xi) +r_{2} \overline{\varphi}_{2}(\xi)\bigl[1-a_{21}+a_{21} \overline{\varphi}_{1}(\xi)- \overline{\varphi}_{2}( \xi)-a_{23}\underline{\varphi}_{3}(\xi)\bigr] \\ &\quad \leq d_{2}\bigl(\gamma^{2}_{21}e^{\gamma_{21}\xi}+p \gamma^{2}e^{\gamma\xi}\bigr) -c\bigl(\gamma_{21}e^{\gamma_{21}\xi}+ p\gamma e^{\gamma\xi}\bigr)\\ &\qquad {}+r_{2}\bigl(e^{\gamma _{21}\xi} +pe^{\gamma\xi}\bigr)\bigl[1-a_{21}+a_{21}e^{\gamma_{11}\xi} \bigr] \\ &\quad \leq \bigl[d_{2}\gamma^{2}-c\gamma+r_{2}(1-a_{21}) \bigr]pe^{\gamma\xi}+r_{2}a_{21}e^{(\gamma _{11}+\gamma_{21})\xi}+pr_{2}a_{21}e^{(\gamma_{11}+\gamma)\xi} \\ &\quad \leq 0 \end{aligned}$$provided that
$$ \bigl[d_{2}\gamma^{2}-c\gamma+r_{2}(1-a_{21}) \bigr]pe^{\gamma\xi} +2r_{2}a_{21}e^{(\gamma_{11}+\gamma_{21})\xi}\leq0 $$(4.13)and
$$ \bigl[d_{2}\gamma^{2}-c\gamma+r_{2}(1-a_{21}) \bigr] +2r_{2}a_{21}e^{\gamma_{11}\xi}\leq0. $$(4.14)Clearly, (4.13) is true if
$$p>1-\frac{2r_{2}a_{21}}{d_{2}\gamma^{2}-c\gamma+r_{2}(1-a_{21})}:=p_{1} (>1) $$and (4.14) is true if
$$p> \biggl(\frac{2r_{2}a_{21}}{-(d_{2}\gamma^{2}-c\gamma+r_{2}(1-a_{21}))} \biggr)^{\frac{\gamma}{\gamma_{11}}}+1:=p_{2}>1. $$ -
(3)
(i) If \(\overline{\varphi}_{31}(\xi )=a_{31}+a_{32}-1< e^{\gamma_{31}\xi}+pa_{32}e^{\gamma\xi}\), then \(\overline{\varphi}_{2}(\xi)\leq1\) so that
$$\begin{aligned} & d_{3}\overline{\varphi}''_{3}( \xi)-c\overline{\varphi}'_{3}(\xi)+r_{3}\overline {\varphi}_{3}(\xi)\bigl[a_{31}-1 +a_{32}\overline{ \varphi}_{2}(\xi)-a_{31}\underline{\varphi}_{1}(\xi )-\overline{\varphi}_{3}(\xi)\bigr] \\ &\quad \leq d_{3}\overline{\varphi}''_{3}( \xi)-c\overline{\varphi}'_{3}(\xi)+r_{3}\overline {\varphi}_{3}(\xi)\bigl[a_{31}-1 +a_{32}-\overline{ \varphi}_{3}(\xi)\bigr] \\ &\quad = 0. \end{aligned}$$(ii) If \(\overline{\varphi}_{3}(\xi)=e^{\gamma_{31}\xi}+pa_{32}e^{\gamma \xi}< a_{31}+a_{32}-1\), then \(\overline{\varphi}_{2}(\xi)\leq e^{\gamma_{21}\xi}+pe^{\gamma\xi}\) so that
$$\begin{aligned} & d_{3}\overline{\varphi}''_{3}( \xi)-c\overline{\varphi}'_{3}(\xi) +r_{3} \overline{\varphi}_{3}(\xi)\bigl[a_{31}-1+a_{32} \overline{\varphi}_{2}(\xi)- a_{31}\underline{ \varphi}_{1}(\xi)-\overline{\varphi}_{3}(\xi)\bigr] \\ &\quad \leq d_{3}\overline{\varphi}''_{3}( \xi)-c\overline{\varphi}'_{3}(\xi) +r_{3} \overline{\varphi}_{3}(\xi)\bigl[a_{31}-1+a_{32} \overline{\varphi}_{2}(\xi )-\overline{\varphi}_{3}(\xi)\bigr] \\ &\quad \leq \bigl[d_{3}\gamma^{2}_{3}-c \gamma_{31}+r_{3}(a_{31}-1)\bigr]e^{\gamma_{31}\xi} + \bigl[d_{3}\gamma^{2}-c\gamma+r_{3}(a_{31}-1) \bigr]pa_{32}e^{\gamma\xi} \\ &\qquad {}+ r_{3}\bigl(e^{\gamma_{31}\xi}+pa_{32}e^{\gamma\xi} \bigr)\bigl[a_{32}\bigl(e^{\gamma _{21}\xi}+pe^{\gamma\xi}\bigr)- \bigl(e^{\gamma_{31}\xi}+pa_{32}e^{\gamma\xi}\bigr)\bigr] \\ &\quad \leq \bigl[d_{3}\gamma^{2}-c\gamma+r_{3}(a_{31}-1) \bigr]pa_{32}e^{\gamma\xi }+r_{3}a_{32}e^{(\gamma_{21}+\gamma_{31})\xi} +r_{3}{a_{32}}^{2}pe^{(\gamma_{21}+\gamma)\xi} \\ &\quad \leq 0 \end{aligned}$$provided that
$$ \bigl[d_{3}\gamma^{2}-c\gamma+r_{3}(a_{31}-1) \bigr]pe^{\gamma\xi}+2r_{3}e^{(\gamma _{21}+\gamma_{31})\xi}\leq0 $$(4.15)and
$$ \bigl[d_{3}\gamma^{2}-c\gamma+r_{3}(a_{31}-1) \bigr]+2r_{3}a_{32}e^{\gamma_{21}\xi}\leq0. $$(4.16)For (4.15), since \(\gamma< \gamma_{21}+\gamma_{31}\), we have
$$\begin{aligned} & \bigl[d_{3}\gamma^{2}-c\gamma+r_{3}(a_{31}-1) \bigr]pe^{\gamma\xi}+2r_{3}e^{(\gamma _{21}+\gamma_{31})\xi} \\ &\quad\leq e^{\gamma\xi}\bigl\{ \bigl[d_{3}\gamma^{2}-c \gamma+r_{3}(a_{31}-1)\bigr]p+2r_{3}\bigr\} , \end{aligned}$$which is true if
$$p\geq\frac{-2r_{3}}{d_{3}\gamma^{2}-c\gamma+r_{3}(a_{31}-1)}+1:=p_{3}. $$Since \(e^{\gamma_{31}\xi}+pa_{32}e^{\gamma\xi}< a_{31}+a_{32}-1\), then
$$pe^{\gamma\xi}< \frac{a_{31}+a_{32}-1}{a_{32}} $$so that
$$\xi< \frac{1}{\gamma}\ln\frac{a_{31}+a_{32}-1}{pa_{32}} $$and
$$e^{\gamma_{21}\xi}< \biggl( \frac{a_{31}+a_{32}-1}{pa_{32}} \biggr)^{\frac{\gamma_{21}}{\gamma}}. $$Clearly, (4.16) holds if
$$\biggl( \frac{a_{31}+a_{32}-1}{pa_{32}} \biggr)^{\frac{\gamma _{21}}{\gamma}} < \frac{d_{3}\gamma^{2}-c\gamma+r_{3}(a_{31}-1)}{-2r_{3}a_{32}}, $$which is true provided that
$$p> \frac{a_{31}+a_{32}-1}{a_{32}} \biggl[ \biggl(\frac{d_{3}\gamma^{2}-c\gamma +r_{3}(a_{31}-1)}{-2r_{3}a_{32}} \biggr)^{\frac{\gamma}{\gamma_{21}+\gamma _{31}}} +1 \biggr]:=p_{4}. $$ -
(4)
If \(\underline{\varphi}_{1}(\xi)=0\), then
$$\begin{aligned} & d_{1}\underline{\varphi}''_{1}( \xi)-c\underline{\varphi}'_{1}(\xi) +r_{1} \bigl[1-\underline{\varphi}_{1}(\xi)\bigr] \bigl[a_{12} \underline{\varphi}_{2}(\xi) +a_{13}\underline{ \varphi}_{3}(\xi)-\underline{\varphi}_{1}(\xi)\bigr] \\ &\quad = r_{1}\bigl[a_{12}\underline{\varphi}_{2}( \xi)+a_{13}\underline{\varphi}_{3}(\xi)\bigr] \\ &\quad \geq 0. \end{aligned}$$ -
(5)
(i) If \(\underline{\varphi}_{2}(\xi)=0>e^{\gamma_{21}\xi }-qe^{(\gamma_{21}+\epsilon)\xi}\), then
$$d_{2}\underline{\varphi}''_{2}( \xi)-c\underline{\varphi}'_{2}(\xi) +r_{2} \underline{\varphi}_{2}(\xi)\bigl[1-a_{21}+ a_{21} \underline{\varphi}_{1}(\xi)-\underline{\varphi}_{2}(\xi )-a_{23}\overline{\varphi}_{3}(\xi)\bigr]=0. $$(ii) If \(\underline{\varphi}_{2}(\xi)=e^{\gamma_{21}\xi}-qe^{(\gamma _{21}+\epsilon)\xi}>0\), then
$$\underline{\varphi}_{2}(\xi)< e^{\gamma_{21}\xi},\qquad\overline{\varphi }_{3}(\xi)\leq e^{\gamma_{31}\xi}+pa_{32}e^{\gamma\xi} $$so that
$$\begin{aligned} & d_{2}\underline{\varphi}''_{2}( \xi)-c\underline{\varphi}'_{2}(\xi) +r_{2} \underline{\varphi}_{2}(\xi)\bigl[1-a_{21}+a_{21} \underline{\varphi}_{1}(\xi )-\underline{\varphi}_{2}(\xi) -a_{23}\overline{\varphi}_{3}(\xi)\bigr] \\ &\quad \geq d_{2}\underline{\varphi}''_{2}( \xi)-c\underline{\varphi}'_{2}(\xi) +r_{2} \underline{\varphi}_{2}(\xi)\bigl[1-a_{21}-\underline{ \varphi}_{2}(\xi )-a_{23}\overline{\varphi}_{3}(\xi) \bigr] \\ &\quad \geq d_{2}\bigl[\gamma^{2}_{2}e^{\gamma_{21}\xi}-q( \gamma_{21}+\epsilon)^{2}e^{(\gamma _{21}+\epsilon)\xi}\bigr] -c\bigl[ \gamma_{21}e^{\gamma_{21}\xi}-q(\gamma_{21}+ \epsilon)e^{(\gamma _{21}+\epsilon)\xi}\bigr] \\ &\qquad {}+r_{2}\bigl(e^{\gamma_{21}\xi}-qe^{(\gamma_{21}+\epsilon)\xi }\bigr) \bigl[1-a_{21}-e^{\gamma_{21}\xi}-a_{23}\bigl(e^{\gamma_{31}\xi} +pa_{32}e^{\gamma\xi}\bigr)\bigr] \\ &\quad \geq -\bigl[d_{2}(\gamma_{21}+\epsilon)^{2}-c( \gamma_{21}+\epsilon )+r_{2}(1-a_{21}) \bigr]qe^{(\gamma_{21}+\epsilon)\xi} \\ &\qquad {} -r_{2}a_{23}\bigl[e^{(\gamma_{21}+\gamma_{31})\xi}+pa_{32}e^{(\gamma+\gamma _{21})\xi} \bigr]-r_{2}e^{2\gamma_{21} \xi} \\ &\quad \geq {-}\bigl[d_{2}(\gamma_{21}+\epsilon)^{2}-c( \gamma_{21}+\epsilon )+r_{2}(1-a_{21}) \bigr]qe^{(\gamma_{21}+\epsilon)\xi} \\ &\qquad {}-r_{2}e^{(\gamma_{21}+\epsilon)\xi}\bigl[1+a_{23}(1+a_{32}p) \bigr]. \end{aligned}$$Let
$$q\geq q_{1}=1+\frac{-r_{2}[1+a_{23}(1+a_{32}p)]}{d_{2}(\gamma_{21}+\epsilon )^{2}-c(\gamma_{21}+\epsilon)+r_{2}(1-a_{21})}, $$then
$$d_{2}\underline{\varphi}''_{2}( \xi)-c\underline{\varphi}'_{2}(\xi) +r_{2} \underline{\varphi}_{2}(\xi)\bigl[1-a_{21} +a_{21} \underline{\varphi}_{1}(\xi)-\underline{\varphi}_{2}(\xi )-a_{23}\overline{\varphi}_{3}(\xi)\bigr]\geq0. $$ -
(6)
(i) If \(\underline{\varphi}_{3}(\xi)=0>e^{\gamma_{31}\xi}-qe^{(\gamma _{31}+\epsilon)\xi}\), then
$$d_{3}\underline{\varphi}''_{3}( \xi)-c\underline{\varphi}'_{3}(\xi) +r_{3} \underline{\varphi}_{3}(\xi)\bigl[a_{31}-1 +a_{32} \underline{\varphi}_{2}(\xi)-a_{31}\overline{ \varphi}_{1}(\xi )-\underline{\varphi}_{3}(\xi)\bigr]=0. $$(ii) If \(\underline{\varphi}_{3}(\xi)=e^{\gamma_{31}\xi}-qe^{(\gamma _{31}+\epsilon)\xi}>0\), then
$$\overline{\varphi}_{1}(\xi)\leq e^{\gamma_{11}\xi}+pe^{\gamma\xi},\qquad \underline{\varphi}_{3}(\xi)< e^{\gamma_{31}\xi} $$so that
$$\begin{aligned} & d_{3}\underline{\varphi}''_{3}( \xi)-c\underline{\varphi}'_{3}(\xi) +r_{3} \underline{\varphi}_{3}(\xi)\bigl[a_{31}-1+ a_{32} \underline{\varphi}_{2}(\xi)-a_{31}\overline{ \varphi}_{1}(\xi )-\underline{\varphi}_{3}(\xi)\bigr] \\ &\quad \geq d_{3}\underline{\varphi}''_{3}( \xi)-c\underline{\varphi}'_{3}(\xi) +r_{3} \underline{\varphi}_{3}(\xi)\bigl[a_{31}-1-a_{31} \overline{\varphi}_{1}(\xi )-\underline{\varphi}_{3}(\xi) \bigr] \\ &\quad \geq d_{3}\bigl[\gamma_{31}^{2}e^{\gamma_{31}\xi}-q( \gamma_{31}+\epsilon)^{2}e^{(\gamma _{31}+\epsilon)\xi}\bigr] -c\bigl[ \gamma_{31}e^{\gamma_{31}\xi}-q(\gamma_{31}+ \epsilon)e^{(\gamma _{31}+\epsilon)\xi}\bigr] \\ &\qquad {}+ r_{3}\bigl(e^{\gamma_{31}\xi}-qe^{(\gamma_{31}+\epsilon)\xi }\bigr) \bigl[a_{31}-1-a_{31}\bigl(e^{\gamma_{11}\xi}+ pe^{\gamma\xi} \bigr)-e^{\gamma_{31}\xi}\bigr] \\ &\quad \geq -\bigl[d_{3}(\gamma_{31}+\epsilon)^{2}-c( \gamma_{31}+\epsilon )+r_{3}(a_{31}-1) \bigr]qe^{(\gamma_{31}+\epsilon)\xi} \\ &\qquad {} -r_{3}a_{31}\bigl[e^{(\gamma_{31}+\gamma_{11})\xi}+pe^{(\gamma_{31}+\gamma )\xi} \bigr]-r_{3}e^{2\gamma_{31}\xi} \\ &\quad \geq -\bigl[d_{3}(\gamma_{31}+\epsilon)^{2}-c( \gamma_{31}+\epsilon )+r_{3}(a_{31}-1) \bigr]qe^{(\gamma_{31}+\epsilon)\xi} \\ &\qquad {}-r_{3}e^{(\gamma_{31}+\epsilon)\xi}\bigl[1+a_{31}(1+p) \bigr]. \end{aligned}$$Let
$$q\geq q_{2}=1+\frac{-r_{3}[1+a_{31}(1+p)]}{d_{3}(\gamma_{31}+\epsilon )^{2}-c(\gamma_{31}+\epsilon) +r_{3}(a_{31}-1)}, $$then
$$d_{3}\underline{\varphi}''_{3}( \xi)-c\underline{\varphi}'_{3}(\xi) +r_{3} \underline{\varphi}_{3}(\xi)\bigl[a_{31}-1+a_{32} \underline{\varphi}_{2}(\xi) -a_{31}\overline{ \varphi}_{1}(\xi)-\underline{\varphi}_{3}(\xi)\bigr]\geq0. $$
By what we have done, we first fix \(p=p_{1}+p_{2}+p_{3}+p_{4}\), then let \(q=q_{1}+q_{2}\), which completes the proof. □
Summarizing the above, we have the following conclusions.
Theorem 4.6
Assume that (4.10) holds. If \(c>c^{*}\) is such that (4.11)–(4.12) are true, then (4.3) has a nonconstant positive solution.
About the traveling wave solution, we also give the following remark.
Remark 4.7
By direct calculations in P, we see that \(\varphi_{i}'(\xi),\varphi _{i}''(\xi), i=1,2,3\), are uniformly bounded.
5 Asymptotic behavior of traveling wave solutions
In this section, we consider the asymptotic behavior of traveling wave solutions of (4.3) by using the idea of contracting rectangles.
Theorem 5.1
Assume that (2.3) holds. If \(\varPsi(\xi) = (\varphi_{1}(\xi),\varphi _{2}(\xi),\varphi_{3}(\xi))\) is a positive solution of (4.3) given in Theorem 4.6, then (4.4) is true.
Proof
According to Theorem 4.6, we have \(\lim _{\xi\to-\infty}\varPsi(\xi)=\mathbf{0}\). Now we verify
which is equivalent to
By Theorem 4.6, \(u_{1}(x,t)=\phi_{1}(\xi)\) satisfies
and so
for all \(x\in\mathbb{R},t>0\). Then Lemma 2.3 indicates that
which implies that
Similarly, we can verify that
We now verify that
By what we have done, we only need to show that \(\limsup_{\xi\to\infty} \phi_{1}(\xi) =1\) is impossible. If \(\limsup_{\xi\to\infty} \phi_{1}(\xi) =1\), then there exists \(\{\xi_{m}\}_{m=1}^{\infty}\) such that
and Remark 4.7 indicates that
Moreover, if m is large, then \(2\phi_{2}(\xi_{m}) \ge\underline{u}_{2}\) and
and so
which indicates a contradiction.
By a similar discussion, we can prove that
where \(a_{i}(0),b_{i}(0)\) are defined by Lemma 3.1.
If (5.1) does not hold, then there exists some \(s_{0}\in(0,1)\) such that
and at least one equality holds.
If \(b_{1}(s_{0})= \limsup_{\xi\to\infty}\phi_{1}(\xi)\), then there exists \(\{\xi_{m}\}_{m=1}^{\infty}\) such that
and
Moreover, we have
by Lemma 3.1, which indicates that
if m is large enough. Thus, \(b_{1}(s_{0})> \limsup_{\xi\to\infty}\phi _{1}(\xi)\).
If \(\limsup_{\xi\to\infty}\phi_{3}(\xi) = b_{3} (s_{0})\), then there exists \(\{\xi_{m}\}_{m=1}^{\infty}\) such that
and
Moreover, by Sect. 3 and \(b_{1}(s_{0})> \limsup_{\xi\to\infty}\phi _{1}(\xi)\), we have
and so
if m is large enough. Thus, \(\limsup_{\xi\to\infty}\phi_{3}(\xi) < b_{3} (s_{0})\). It should be noted that in Sect. 3, we cannot obtain a strict inequality for \(b_{3}(s)\), but we can obtain strict a inequality in the above inequality since \(b_{1}(s_{0})> \limsup_{\xi\to\infty}\phi _{1}(\xi)\).
By similar discussions, we find that every inequality in (5.2) is strict. A contradiction occurs, which implies (5.1). The proof is complete. □
Remark 5.2
Different from Lin and Ruan [31], we did not use a strictly contracting rectangle.
6 Minimal wave speed
In this section, we shall prove that (4.3)–(4.4) has no positive solution if \(c< c^{*}\), which implies that \(c^{*}\) is the minimal wave speed. The method is similar to that in Lin [29] and Lin and Ruan [31].
Theorem 6.1
If \(c< c^{*}\), then (4.3)–(4.4) has no positive solution.
Proof
If the statement is false, then there exists some \(c'< c^{*}\) such that (4.3)–(4.4) with \(c=c'\) has a positive solution \(\varPsi(\xi)=(\varphi_{1}(\xi),\varphi_{2}(\xi),\varphi_{3}(\xi))\) which satisfies (4.4). We now discuss two cases: \(c^{*}=2\sqrt{d_{2}r_{2}(1-a_{21})}\) and \(c^{*}=2\sqrt {d_{3}r_{3}(a_{31}-1)}\).
If \(c^{*}=2\sqrt{d_{2}r_{2}(1-a_{21})}\), then there exists \(\epsilon_{1} >0\) such that
By the asymptotic boundary condition \(\lim _{\xi\to-\infty}\varphi _{3}(\xi)=0\) and the strict positivity of solution to (4.3), there exists \(\xi_{1}\in\mathbb{R}\) such that
When \(\xi\ge\xi_{1}\), the positivity and limit behavior of \(\varphi_{2}(\xi)\) indicate that
Let
then \(a_{23}\varphi_{3}(\xi) \le L \varphi_{2}(\xi) \) and
for \(\xi\ge\xi_{1}\).
Therefore, we have
for \(x\in\mathbb{R}, t>0\).
Namely, \(\varphi_{2}(x+c't)\) is the upper solution of
By the theory of asymptotic spreading (Lemma 2.3), we see that
with \(c_{1}=2\sqrt{d_{2}r_{2}(1-a_{21}-2a_{23}\epsilon_{1})}\). Letting \(-x=c_{1}t\), one gets
At the same time, we have
so that
which gives a contradiction.
Similarly, we can obtain a contradiction if \(c^{*}=2\sqrt{d_{3}r_{3}(a_{31}-1)}\).
Thus, for any \(c< c^{*}\), (4.3)–(4.4) has no positive solution. The proof is complete. □
7 Conclusion and discussion
For a parabolic system, if there exists a constant \(c_{0}\) such that \(c\ge c_{0}\) (\(c> c_{0}\)) implies that the system has a desired traveling wave solution while \(c< c_{0}\) (\(c\le c_{0}\)) implies the nonexistence of desired traveling wave solution, then \(c_{0}\) is the so-called minimal wave speed. In population dynamics, the minimal wave speed is an important threshold [36].
In this paper, we obtain the existence of traveling wave solutions if \(c>c^{*}\) and nonexistence of traveling wave solutions if \(c< c^{*}\). In a weaker sense, we formulate the minimal wave speed. However, we cannot directly confirm the existence or nonexistence of traveling wave solutions with \(c=c^{*}\) by the method in this paper.
Besides the minimal wave speed, spreading speed is also an important threshold, which may equal to the minimal wave speed of traveling wave solutions. For monotone systems, some important results have been established, see Fang et al. [12], Liang and Zhao [27], Lui [33], Weinberger et al. [48]. For predator–prey systems of two species, Lin [29] and Pan [38] proved a similar result, also see Bianca et al. [2, 3]. However, for the predator–prey system with three species, the question of estimating the asymptotic spreading of each species remains open.
References
Aronson, D.G., Weinberger, H.F.: Nonlinear diffusion in population genetics, combustion, and nerve pulse propagation. In: Goldstein, J.A. (ed.) Partial Differential Equations and Related Topics. Lecture Notes in Math., vol. 446, pp. 5–49. Springer, Berlin (1975)
Bianca, C., Pappalardo, F., Motta, S., Ragusa, M.A.: Persistence analysis in a Kolmogorov-type model for cancer-immune system competition. AIP Conf. Proc. 1558, 1797–1800 (2013)
Bianca, C., Pennisi, M., Motta, S., Ragusa, M.A.: Immune system network and cancer vaccine. AIP Conf. Proc. 1389, 945–948 (2011)
Cantrell, R.S., Cosner, C.: Spatial Ecology Via Reaction–Diffusion Equations. Wiley, Chichester (2003)
Cantrell, R.S., Cosner, C., Hutson, V.: Permanence in some diffusive Lotka–Volterra models for three interacting species. Dyn. Syst. Appl. 2, 505–530 (1993)
Caristi, G., Rybakowski, K.P., Wessolek, T.: Persistence and spatial patterns in a one-predator–two-prey Lotka–Volterra model with diffusion. Ann. Mat. Pura Appl. 161, 345–377 (1992)
Chen, Y.Y., Guo, J.S., Yao, C.H.: Traveling wave solutions for a continuous and discrete diffusive predator–prey model. J. Math. Anal. Appl. 445, 212–239 (2014)
Du, Z., Xu, D.: Traveling wave solution for a reaction-diffusion competitive–cooperative system with delays. Bound. Value Probl. 46, 14 (2016)
Dunbar, S.R.: Travelling wave solutions of diffusive Lotka–Volterra equations. J. Math. Biol. 17, 11–32 (1983)
Dunbar, S.R.: Traveling wave solutions of diffusive Lotka–Volterra equations: a heteroclinic connection in \(\mathbb{R}^{4}\). Transl. Am. Math. Soc. 286, 557–594 (1984)
Dunbar, S.R.: Traveling waves in diffusive predator-prey equations: periodic orbits and point-to-periodic heteroclinic orbits. SIAM J. Appl. Math. 46, 1057–1078 (1986)
Fang, J., Yu, X., Zhao, X.: Traveling waves and spreading speeds for time-space periodic monotone systems. J. Funct. Anal. 272, 4222–4262 (2017)
Fife, P.C.: Mathematical Aspects of Reacting and Diffusing Systems. Springer, Berlin (1979)
Fisher, R.A.: The wave of advance of advantageous genes. Ann. Eugen. 7, 355–369 (1937)
Gardner, R., Jones, C.K.R.T.: Stability of travelling wave solutions of diffusive predator–prey systems. Transl. Am. Math. Soc. 327, 465–524 (1991)
Gardner, R., Smoller, J.: The existence of periodic travelling waves for singularly perturbed predator–prey equations via the Conley index. J. Differ. Equ. 47, 133–161 (1983)
Ghergu, M., Radulescu, V.D.: Nonlinear PDEs. Mathematical Models in Biology, Chemistry and Population Genetics. Springer Monographs in Mathematics. Springer, Heidelberg (2012)
Hsu, C.H., Yang, C.R., Yang, T.H., Yang, T.Z.: Existence of traveling wave solutions for diffusive predator-prey type systems. J. Differ. Equ. 252, 3040–3075 (2012)
Huang, J., Lu, G., Ruan, S.: Existence of traveling wave solutions in a diffusive predator–prey model. J. Math. Biol. 46, 132–152 (2003)
Huang, J., Zou, X.: Existence of traveling wavefronts of delayed reaction diffusion systems without monotonicity. Discrete Contin. Dyn. Syst. 9, 925–936 (2003)
Huang, J., Zou, X.: Traveling wave solutions in delayed reaction diffusion systems with partial monotonicity. Acta Math. Appl. Sin. 22, 243–256 (2006)
Huang, W.: Problem on minimum wave speed for a Lotka–Volterra reaction-diffusion competition model. J. Dyn. Differ. Equ. 22, 285–297 (2010)
Huang, W.: Traveling wave solutions for a class of predator–prey systems. J. Dyn. Differ. Equ. 24, 633–644 (2012)
Huang, Y.L., Lin, G.: Traveling wave solutions in a diffusive system with two preys and one predator. J. Math. Anal. Appl. 418, 163–184 (2014)
Kolmogorov, A.N., Petrovsky, I.G., Piskunov, N.S.: Study of the diffusion equation with growth of the quantity of matter and its application to a biological problem. Byul. Mosk. Gos. Univ. Ser. A: Mat. Mekh 1, 1–26 (1937)
Li, K., Li, X.: Travelling wave solutions in diffusive and competition–cooperation systems with delays. IMA J. Appl. Math. 74, 604–621 (2009)
Liang, X., Zhao, X.Q.: Asymptotic speeds of spread and traveling waves for monotone semiflows with applications. Commun. Pure Appl. Math. 60, 1–40 (2007)
Lin, G.: Spreading speeds of a Lotka–Volterra predator–prey system: the role of the predator. Nonlinear Anal. 74, 2448–2461 (2011)
Lin, G.: Invasion traveling wave solutions of a predator–prey system. Nonlinear Anal. 96, 47–58 (2014)
Lin, G., Li, W.T., Ma, M.: Travelling wave solutions in delayed reaction diffusion systems with applications to multi-species models. Discrete Contin. Dyn. Syst., Ser. B 13, 393–414 (2010)
Lin, G., Ruan, S.: Traveling wave solutions for delayed reaction-diffusion systems and applications to diffusive Lotka–Volterra competition models with distributed delays. J. Dyn. Differ. Equ. 26, 583–605 (2014)
Lin, X., Weng, P., Wu, C.: Traveling wave solutions for a predator–prey system with sigmoidal response function. J. Dyn. Differ. Equ. 23, 903–921 (2011)
Lui, R.: Biological growth and spread modeled by systems of recursions. I. Mathematical theory. Math. Biosci. 93, 269–295 (1989)
Ma, S.: Traveling wavefronts for delayed reaction–diffusion systems via a fixed point theorem. J. Differ. Equ. 171, 294–314 (2001)
Murray, J.D.: Mathematical Biology, I. An Introduction, 3rd edn. Interdisciplinary Applied Mathematics, vol. 17. Springer, New York (2002)
Murray, J.D.: Mathematical Biology, II. Spatial Models and Biomedical Applications, 3rd edn. Interdisciplinary Applied Mathematics, vol. 18. Springer, New York (2003)
Pan, S.: Convergence and traveling wave solutions for a predator–prey system with distributed delays. Mediterr. J. Math. 14, Article ID 103 (2017)
Pan, S.: Invasion speed of a predator–prey system. Appl. Math. Lett. 74, 46–51 (2017)
Pao, C.V.: Nonlinear Parabolic and Elliptic Equations. Plenum Press, New York (1992)
Papageorgiou, N.S., Rǎdulescu, V.D., Repovš, D.D.: Sensitivity analysis for optimal control problems governed by nonlinear evolution inclusions. Adv. Nonlinear Anal. 6, 199–235 (2017)
Shang, X., Du, Z., Lin, X.: Traveling wave solutions of n-dimensional delayed reaction–diffusion systems and application to four-dimensional predator–prey systems. Math. Methods Appl. Sci. 39, 1607–1620 (2016)
Smith, H.L.: Monotone Dynamical System: An Introduction to the Theory of Competitive and Cooperative System. AMS, Providence (1995)
Smoller, J.: Shock Waves and Reaction–Diffusion Equations. Springer, New York (1983)
Volpert, A.I., Volpert, V.A.: Traveling-wave solutions of parabolic systems with discontinuous nonlinear terms. Nonlinear Anal. 49, 113–139 (2002)
Wang, X.S., Wang, H.Y., Wu, J.: Traveling waves of diffusive predator–prey systems: disease outbreak propagation. Discrete Contin. Dyn. Syst. 32, 3303–3324 (2012)
Wang, Z., Li, W.T., Ruan, S.: Traveling wave fronts of reaction–diffusion systems with spatio-temporal delays. J. Differ. Equ. 222, 185–232 (2006)
Wang, Z.C., Zhang, L., Zhao, X.Q.: Time periodic traveling waves for a periodic and diffusive SIR epidemic model. J. Dyn. Differ. Equ. 30, 379–403 (2018)
Weinberger, H.F., Lewis, M.A., Li, B.: Analysis of linear determinacy for spread in cooperative models. J. Math. Biol. 45, 183–218 (2002)
Wu, J., Zou, X.: Traveling wave fronts of reaction–diffusion systems with delay. J. Dyn. Differ. Equ. 13, 651–687 (2001)
Ye, Q., Li, Z., Wang, M., Wu, Y.: Introduction to Reaction–Diffusion Equations. Science Press, Beijing (2011)
Zhang, G., Li, W.T., Lin, G.: Traveling waves in delayed predator–prey systems with nonlocal diffusion and stage structure. Math. Comput. Model. 49, 1021–1029 (2009)
Zhang, J.Y., Feng, B.Y.: Geometrical Theory and Bifurcation Problems of Ordinary Differential Equations. Peking University Press, Beijing (2000)
Zhang, Z., Yang, T.-H., Wang, W.: Traveling wave solutions of Lotka–Volterra type two predators-one prey model. Math. Methods Appl. Sci. 39, 5395–5408 (2016)
Zhao, X.Q.: Dynamical Systems in Population Biology. Springer, New York (2003)
Zhao, X.Q.: Spatial dynamics of some evolution systems in biology. In: Du, Y., Ishii, H., Lin, W.Y. (eds.) Recent Progress on Reaction–Diffusion Systems and Viscosity Solutions, pp. 332–363. World Scientific, Singapore (2009)
Acknowledgements
The first author would like to thank Professor Guo Lin for his guidance. The authors would like to thank the referees for their valuable comments.
Availability of data and materials
Not applicable
Funding
The first author is supported by the Science and Technology Innovation Fund of Shanxi Agricultural University (2017010). The second author is supported by NSF of China (11461040, 11471149).
Author information
Authors and Affiliations
Contributions
All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Conflict of interest
The authors declare that there is no conflict of interest regarding the publication of this paper.
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.
About this article
Cite this article
Bi, Z., Pan, S. Dynamics of a predator–prey system with three species. Bound Value Probl 2018, 162 (2018). https://doi.org/10.1186/s13661-018-1084-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-018-1084-x