 Research
 Open Access
 Published:
Traveling wave solutions in a LotkaVolterra type competition recursion
Advances in Difference Equations volume 2014, Article number: 173 (2014)
Abstract
This paper is concerned with the traveling wave solutions of a competitive integrodifference system with LotkaVolterra type nonlinearity. The existence of traveling wave solutions is proved by constructing generalized upper and lower solutions. The asymptotic behavior of traveling wave solutions is established by combining the theory of asymptotic spreading with the idea of contracting rectangles. The nonexistence of monotone traveling wave solutions is also confirmed by the theory of asymptotic spreading.
1 Introduction
In this paper, we study the traveling wave solutions of the following integrodifference system with LotkaVolterra type nonlinearity:
in which $n\in \mathbb{N}\cup \{0\}$, and ${r}_{i}>0$, ${a}_{i}\ge 0$, $i=1,2$, are constants. For $i=1,2$, ${g}_{i}$ is the probability function describing the random walk of individuals under consideration, and it is the socalled kernel function. In particular, we take the following conditions in this paper:
(A1) ${g}_{i}$ is Lebesgue measurable and integrable on ℝ and ${\int}_{\mathbb{R}}{g}_{i}(y)\phantom{\rule{0.2em}{0ex}}dy=1$;
(A2) ${g}_{i}(y)={g}_{i}(y)\ge 0$, $y\in \mathbb{R}$, and for each $\lambda \in \mathbb{R}$, ${\int}_{\mathbb{R}}{g}_{i}(y){e}^{\lambda y}\phantom{\rule{0.2em}{0ex}}dy<\mathrm{\infty}$.
For the parameters in (1.1), we also give the following assumptions:
(A3) ${r}_{1},{r}_{2}\in (1,4)$;
(A4) $1{l}_{1}{a}_{1}{l}_{2}\ge 0$, $1{l}_{2}{a}_{2}{l}_{1}\ge 0$, where
for $i=1,2$;
(A5) ${r}_{1}(1{a}_{1}{l}_{2})>1$, ${r}_{2}(1{a}_{2}{l}_{1})>1$;
(A6) $11/{r}_{1}>{a}_{1}(11/{r}_{2})$, $11/{r}_{2}>{a}_{2}(11/{r}_{1})$;
(A7) $12{l}_{1}{a}_{1}{l}_{2}\ge 0$, $12{l}_{2}{a}_{2}{l}_{1}\ge 0$.
We now give some illustration of (A3)(A7) from the viewpoint of both the literature and the population dynamics of the corresponding difference system
If the interspecific vanishes (${a}_{1}={a}_{2}=0$) and (A3) holds in (1.2), then ${X}_{n+1}={r}_{1}{X}_{n}[1{X}_{n}]$ or ${Y}_{n+1}={r}_{2}{Y}_{n}[1{Y}_{n}]:[0,1]\to [0,1]$ and is persistent in population dynamics (see Murray [[1], Section 2.3] for the dynamics). Condition (A4) provides a positive invariant region of the difference system (1.2), namely, $[0,{l}_{1}]\times [0,{l}_{2}]$. (A5) indicates that the interspecific is weak, namely, even if the competitor ${X}_{n}$ (${Y}_{n}$) takes the maximal value ${l}_{1}$ (${l}_{2}$), the species ${Y}_{n}$ (${X}_{n}$) still persists. The coexistence steady state of (1.2) exists if (A6) holds. (A7) leads to a comparison principle appealing to the difference system (1.2) in $[0,{l}_{1}]\times [0,{l}_{2}]$. Finally, if (A3)(A7) hold, then (1.2) has a stable steady state. In particular, there are different parameters such that part or all of (A3)(A7) hold. For example, if ${r}_{1}=1.5$, ${r}_{2}=1.6$, ${a}_{1}={a}_{2}=0.1$, then (1.2) satisfies (A3)(A7); if ${r}_{1}=1.5$, ${r}_{2}=1.8$, ${a}_{1}={a}_{2}=0.5$, then (1.2) satisfies (A3)(A6), if ${r}_{1}=1.2$, ${r}_{2}=1.8$, ${a}_{1}={a}_{2}=0.5$, then (A3) and (A4) hold.
Hereafter, a traveling wave solution of (1.1) is a special solution having the form
in which $c>0$ is the wave speed and $(\varphi ,\psi )$ describes the wave profile that propagates in the media ℝ. Then $(\varphi ,\psi )$ and c must satisfy
for $t\in \mathbb{R}$. To describe determinative transition processes between different states, proper asymptotic behavior satisfied by the traveling wave solutions is often necessary. In this paper, we require the following asymptotic boundary conditions:
Furthermore, we also consider the following stronger ones:
in which
provided that (A6) is true. In population dynamics, (1.3) with (1.4) or (1.3) with (1.5) could formulate the successful invasion of two competitors.
To study the existence of traveling wave solutions of competitive recursions of two competitors, Lin et al. [2] established an abstract scheme and the existence of traveling wave solutions was reduced to the existence of upper and lower solutions. Since the competitive system in [2] does not generate monotone semiflows when the synchronous invasion of two competitors is concerned, the asymptotic behavior of traveling wave solutions cannot be confirmed by the monotonicity of them (see [3–15] for monostable traveling wave solutions of (local) monotone recursions). In [2], the asymptotic behavior of traveling wave solutions was obtained by that of upper and lower solutions. The method was also applied to several competitive systems; see [16–18] and the references cited therein. Without the requirements of upper and lower solutions, it is difficult to obtain the asymptotic behavior of traveling wave solutions [19]. In fact, for coupled systems with general kernels, it is not an easy job to construct proper upper and lower solutions satisfying the asymptotic behavior in [2], and [16–18] just obtained the existence of traveling wave solutions of some systems with special kernels. Although the kernel functions in [2, 16–18] satisfy some special conditions, the verification of upper and lower solutions is still very complex, and the nonexistence of nontrivial traveling wave solutions of models in [2, 16–18] remains open.
To simplify the construction of upper and lower solutions and provide a more general result of the existence of traveling wave solutions of recursions, Lin [20] further considered the traveling wave solutions of recursions and gave some simpler conditions. By the theory in [20], the existence of traveling wave solutions can be obtained by the existence of upper and lower solutions which are easy to construct. Moreover, by the properties of the corresponding difference systems, the asymptotic behavior of traveling wave solutions was also studied. Moreover, for the model investigated by [2, 17], Lin [20] also obtained the nonexistence of nontrivial traveling wave solutions by the theory of asymptotic spreading.
In this paper, we shall establish the existence and nonexistence of (1.3) with (1.4) or (1.3) with (1.5), and we present the corresponding mathematical results by the idea in [20]. In particular, we shall not take special general kernels ${g}_{1}$, ${g}_{2}$, and just add conditions (A1)(A2) in what follows.
The rest of this paper is organized as follows. In Section 2, we investigate the existence of traveling wave solutions by constructing upper and lower solutions and applying Schauder’s fixed point theorem in a functional space equipped with the decay norm. In Section 3, the asymptotic boundary conditions (1.4) and (1.5) will be considered by combining the theory of asymptotic spreading with the idea of contracting rectangles in [20]. Finally, the nonexistence of monotone traveling wave solutions is proved, which indicates that the threshold in the paper is the minimal wave speed of monotone traveling wave solutions of (1.1).
2 Existence of traveling wave solutions
In this paper, we shall utilize standard partial ordering in ${\mathbb{R}}^{2}$. Also let X be the set of uniformly continuous and bounded functions from ℝ to ${\mathbb{R}}^{2}$. Moreover, we denote
Let $\cdot $ be the supremum norm in ${\mathbb{R}}^{2}$ and $\mu >0$ be a constant. We define
and the decay norm
Then $({B}_{\mu}(\mathbb{R},{\mathbb{R}}^{2}),\cdot {}_{\mu})$ is a Banach space.
Before discussing (1.1), we first consider the corresponding difference equation
Lemma 2.1 For (2.1), we have the following conclusions:
(D1) if (A3)(A4) hold, then $[0,{l}_{1}]\times [0,{l}_{2}]$ is invariant, namely, if ${x}_{0}\in [0,{l}_{1}]$, ${y}_{0}\in [0,{l}_{2}]$, then ${X}_{n}\in [0,{l}_{1}]$, ${Y}_{n}\in [0,{l}_{2}]$, $n\in \mathbb{N}$;
(D2) if (A3), (A4), and (A7) are true and ${x}_{0}\in [0,{l}_{1}]$, ${y}_{0}\in [0,{l}_{2}]$, then for each $n\in \mathbb{N}$, ${X}_{n}$ (${Y}_{n}$) is monotone increasing in ${X}_{n1}$ (${Y}_{n1}$) and monotone decreasing in ${Y}_{n1}$ (${X}_{n1}$).
We now introduce some constants. Denote
for $\lambda \in \mathbb{R}$ and $c\ge 0$. Then the following result holds.
Lemma 2.2 There exists a positive constant ${c}^{\ast}>0$ such that $c<{c}^{\ast}$ implies that ${\mathrm{\Lambda}}_{1}(\lambda ,c)>1$ for any $\lambda \ge 0$ or ${\mathrm{\Lambda}}_{2}(\lambda ,c)>1$ for any $\lambda \ge 0$. If $c>{c}^{\ast}$, then ${\mathrm{\Lambda}}_{i}(\lambda ,c)=1$ has at least one positive root ${\lambda}_{i}(c)$ such that ${\mathrm{\Lambda}}_{i}({\lambda}_{i}(c),c)=1$ and ${\mathrm{\Lambda}}_{i}(\lambda ,c)>1$ for $\lambda \in (0,{\lambda}_{i}(c))$, $i=1,2$. Moreover, there exists $\gamma =\gamma (c)\in (1,2)$ such that ${\mathrm{\Lambda}}_{i}({\lambda}_{i}^{\prime}(c),c)<1$ for all ${\lambda}_{i}^{\prime}(c)\in ({\lambda}_{i}(c),\gamma {\lambda}_{i}(c)]$, $i=1,2$.
By Liang and Zhao [[21], Lemma 3.8], Lemma 2.2 is clear and ${c}^{\ast}$ is defined by
In what follows, we suppose that $c>{c}^{\ast}$ is fixed. If $(\varphi ,\psi )\in {X}_{[\mathbf{0},\mathbf{L}]}$, then we define $P=({P}_{1},{P}_{2}):{X}_{[\mathbf{0},\mathbf{L}]}\to X$ by
In particular, P also admits the following properties.
Lemma 2.3 $P:{X}_{[\mathbf{0},\mathbf{L}]}\to {X}_{[\mathbf{0},\mathbf{L}]}$.
Lemma 2.3 is clear by Lemma 2.1 and (A1)(A2), and we omit the proof here. Clearly, a fixed point of P in ${X}_{[\mathbf{0},\mathbf{L}]}$ is a solution to (1.3). Therefore, it suffices to prove the existence of the fixed points of P by Schauder’s fixed point theorem, and we first construct a potential set of wave profiles.
For the purpose, we define continuous functions
and
where $M>1$ is a positive constant clarified later and $\eta \in (1,2)$ such that
With these notations, we define the following set of potential wave profiles:
which satisfies the following nice properties.
Lemma 2.4 If $M>1$ is large such that
then Γ is convex and nonempty. Moreover, it is closed and bounded with respect to the decay norm ${\cdot }_{\mu}$.
Lemma 2.5 Assume that (A3)(A4) hold. If $M>1$ is large, then $P:\mathrm{\Gamma}\to \mathrm{\Gamma}$.
Proof By Lemma 2.1, it suffices to verify that
and
for $(\varphi ,\psi )\in \mathrm{\Gamma}$.
If $\overline{\varphi}(t)={e}^{{\lambda}_{1}t}$, then
If $\overline{\varphi}(t)={l}_{1}$, then Lemma 2.1 implies that
and we have verified that
In a similar way, we can prove that
If $\underline{\varphi}(t)=0$, then
by (A4) and
is clear. Otherwise, $(\varphi ,\psi )\in \mathrm{\Gamma}$ leads to
and
provided that
In a similar way, when
is true, we have
The proof is complete. □
Lemma 2.6 Assume that (A3)(A4) hold. Then $P:\mathrm{\Gamma}\to \mathrm{\Gamma}$ is complete continuous in the sense of the decay norm ${\cdot }_{\mu}$.
The proof is provided by Lin [[20], Lemma 3.4] and we omit it here.
Theorem 2.7 Assume that (A3)(A4) hold. Then for each $c>{c}^{\ast}$, (1.3) has a positive solution $(\varphi ,\psi )$ such that
and
The result is evident by Schauder’s fixed point theorem and Lemmas 2.42.6, and we omit the proof here.
3 Asymptotic behavior of traveling wave solutions
In this section, we investigate the asymptotic behavior of positive solutions of (1.3). We first consider the initial value problem
where $b(u)$ satisfies
(U1) for some ${U}^{+}>0$, $b(u):[0,{U}^{+}]\to [0,{U}^{+}]$ is Lipschitz continuous and monotone increasing;
(U2) there exists ${u}^{+}\in (0,{U}^{+}]$ such that $b(u)>u$, $u\in (0,{u}^{+})$, $b({u}^{+})={u}^{+}$; if ${U}^{+}>{u}^{+}$, then $b(u)<u$, $u\in ({u}^{+},{U}^{+})$;
(U3) $b(0)=0$;
(U4) ${b}^{\prime}(0)>1$ and $b(u)<{b}^{\prime}(0)u$, $u\in (0,{U}^{+}]$.
In literature, (U1)(U4) imply the comparison principle, monostability, and persistence in (3.1). More precisely, by Hsu and Zhao [4], we have the following conclusion.
Lemma 3.1 Assume that g satisfies (A1)(A2).

(1)
If $u(x)$ is bounded and uniformly continuous such that
$$0<u(x)\le {U}^{+},\phantom{\rule{1em}{0ex}}x\in \mathbb{R},$$then ${lim}_{n\to \mathrm{\infty}}{u}_{n}(0)={u}^{+}$. Moreover, let $C>0$ satisfy
$$\{\begin{array}{c}{\int}_{\mathbb{R}}{b}^{\prime}(0){e}^{\lambda y\lambda c}g(y)\phantom{\rule{0.2em}{0ex}}dy=1\mathit{\text{has no real root}}\lambda \ge 0\mathit{\text{if}}cC,\hfill \\ {\int}_{\mathbb{R}}{b}^{\prime}(0){e}^{\lambda y\lambda c}g(y)\phantom{\rule{0.2em}{0ex}}dy=1\mathit{\text{has positive roots if}}c\ge C,\hfill \end{array}$$then for each $c<C$, we have
$$\underset{n\to \mathrm{\infty}}{lim\hspace{0.17em}inf}\underset{x<cn}{inf}{u}_{n}(x)=\underset{n\to \mathrm{\infty}}{lim\hspace{0.17em}sup}\underset{x<cn}{sup}{u}_{n}(x)={u}^{+}.$$ 
(2)
If ${\overline{u}}_{n}(x)$ is bounded and uniformly continuous for each n such that
$$0\le {\overline{u}}_{n}(x)\le {U}^{+},\phantom{\rule{1em}{0ex}}n+1\in \mathbb{N},x\in \mathbb{R}$$and
$$\{\begin{array}{c}{\overline{u}}_{n+1}(x)\ge (\le ){\int}_{\mathbb{R}}b({\overline{u}}_{n}(y))g(xy)\phantom{\rule{0.2em}{0ex}}dy,\hfill \\ {\overline{u}}_{0}(x)\ge (\le )u(x),\phantom{\rule{1em}{0ex}}x\in \mathbb{R},n+1\in \mathbb{N},\hfill \end{array}$$then ${\overline{u}}_{n}(x)\ge (\le ){u}_{n}(x)$, $x\in \mathbb{R}$, $n\in \mathbb{N}$.
Theorem 3.2 Assume that (A3)(A5) hold. If $(\varphi ,\psi )$ is given by Theorem 2.7, then (1.4) is true.
Proof Note that a traveling wave solution is a special invariant solution; then $\varphi (t)={X}_{n}(x)$ satisfies the following inequality:
for all $n+1\in \mathbb{N}$. Define
Clearly, $\underline{b}(u)$ admits the following properties:
(b1) $\underline{b}(u):[0,{l}_{1}]\to [0,{l}_{1}]$ is Lipschitz continuous and monotone increasing;
(b2) $\underline{b}(0)=0$, ${\underline{b}}^{\prime}(0)={r}_{1}(1{a}_{1}{l}_{2})>1$;
(b3) there exists ${\underline{u}}^{+}\in (0,{l}_{1}]$ such that $\underline{b}({\underline{u}}^{+})={\underline{u}}^{+}$ and
(b4) if ${\underline{u}}^{+}<{l}_{1}$, then $\underline{b}(u)<u$, $u\in ({\underline{u}}^{+},{l}_{1}]$.
Therefore, $\underline{b}(u)$ satisfies (U1)(U4) and Lemma 3.1 implies that
and
In a similar way, we have
The proof is complete. □
Theorem 3.3 Assume that (A3)(A7) hold. If $(\varphi ,\psi )$ is given by Theorem 2.7, then (1.5) is true.
Proof By what we have done, we see that
and
Define
and
Applying the dominated convergence theorem in P when $t\to \mathrm{\infty}$, then the monotone condition (A7) implies that
By (3.2) and (3.4), we have
Furthermore, (3.3) and (3.5) lead to
Since (A6) implies that ${a}_{1}{a}_{2}<1$, then we have
by (3.6) and (3.7). Again by (A6), we see that
The proof is complete. □
Remark 3.4 Although we did not construct the contracting rectangle (see [20]) in this paper, the proof of Theorem 3.3 was motivated by Lin [[20], Sections 45]. Of course, if a model involves more unknown functions, it is difficult to obtain the asymptotic behavior of traveling wave solutions by the inequalities similar to (3.6) and (3.7).
4 Nonexistence of monotone traveling wave solutions
In this section, we confirm that ${c}^{\ast}$ is the minimal wave speed of monotone invasion traveling wave solutions by presenting the following nonexistence of monotone traveling wave solutions.
Theorem 4.1 Assume that (A3)(A6) hold. If $c<{c}^{\ast}$, then there is no strict monotone $(\varphi (t),\psi (t))$ satisfying (1.3)(1.4) and
Proof Without loss of generality, we assume that ${a}_{1}>0$ and
Were the statement false, then there exists ${c}_{1}\in (0,{c}^{\ast})$ such that there is $(\varphi (t),\psi (t))$ satisfying (1.3)(1.4) and (4.1).
Since $\varphi (t)$, $\psi (t)$ are monotone increasing, then
are one to one and there is a continuous mapping h such that
in which $h:[0,{k}_{1}]\to [1,{r}_{1}]$ satisfying
(H1) $h(0)={r}_{1}$;
(H2) $h:[0,{k}_{1}]\to [1,{r}_{1}]$ is continuous and strictly monotone decreasing;
(H3) $h({k}_{1})=1$.
At the same time, h also leads to
Let $2x=({c}_{1}+{c}^{\ast})n$, then
such that
Note that $\varphi (t)={u}_{n}(x)$ is a special solution to
Define $\underline{h}(u)={inf}_{v\in [u,{k}_{1}]}h(v)$, then $h(u)$ is monotone and continuous for $u\in [0,{k}_{1}]$. Moreover, applying Lemma 3.1 to (4.2), we see that $C={c}^{\ast}$. Again by Lemma 3.1, we obtain
and
A contradiction occurs. The proof is complete. □
Before ending this paper, we make the following remark.
Remark 4.2 By what we have done, ${c}^{\ast}$ is the minimal wave speed of monotone traveling wave solutions of (1.1). However, when the wave speed is ${c}^{\ast}$, the existence and nonexistence of nontrivial traveling wave solutions remain open. At the same time, if we remove the monotonicity of traveling wave solutions in Theorem 4.1, then we believe that the result still holds. Clearly, for these two problems, we cannot discuss them directly by the methods similar to those in this paper, and we shall consider these problems in our future studies.
References
 1.
Murray JD Interdisciplinary Applied Mathematics 17. In Mathematical Biology I: An Introduction. Springer, New York; 2002.
 2.
Lin G, Li WT, Ruan S: Spreading speeds and traveling waves in competitive recursion systems. J. Math. Biol. 2011, 62(2):165–201. 10.1007/s002850100334z
 3.
Creegan P, Lui R: Some remarks about the wave speed and travelling wave solutions of a nonlinear integral operator. J. Math. Biol. 1984, 20(1):59–68. 10.1007/BF00275861
 4.
Hsu SB, Zhao XQ: Spreading speeds and traveling waves for nonmonotone integrodifference equations. SIAM J. Math. Anal. 2008, 40(2):776–789. 10.1137/070703016
 5.
Kot M: Discretetime travelling waves: ecological examples. J. Math. Biol. 1992, 30(4):413–436.
 6.
Li B, Lewis MA, Weinberger HF: Existence of traveling waves for integral recursions with nonmonotone growth functions. J. Math. Biol. 2009, 58(3):323–338. 10.1007/s0028500801751
 7.
Lin G, Li WT: Spreading speeds and traveling wavefronts for second order integrodifference equations. J. Math. Anal. Appl. 2010, 361(2):520–532. 10.1016/j.jmaa.2009.07.035
 8.
Lin G, Li WT, Ruan S: Asymptotic stability of monostable wavefronts in discretetime integral recursions. Sci. China Math. 2010, 53(5):1185–1194. 10.1007/s1142500901236
 9.
Lui R: Biological growth and spread modeled by systems of recursions. I. Mathematical theory. Math. Biosci. 1989, 93(2):269–295. 10.1016/00255564(89)900266
 10.
Pan S, Lin G: Propagation of second order integrodifference equations with local monotonicity. Nonlinear Anal., Real World Appl. 2011, 12(1):535–544. 10.1016/j.nonrwa.2010.06.038
 11.
Wang H, CastilloChavez C: Spreading speeds and traveling waves for noncooperative integrodifference systems. Discrete Contin. Dyn. Syst., Ser. B 2012, 17(6):2243–2266.
 12.
Weinberger HF: Longtime behavior of a class of biological models. SIAM J. Math. Anal. 1982, 13(3):353–396. 10.1137/0513028
 13.
Weinberger HF: On spreading speeds and traveling waves for growth and migration models in a periodic habitat. J. Math. Biol. 2002, 45(6):511–548. 10.1007/s0028500201693
 14.
Weinberger HF, Kawasaki K, Shigesada N: Spreading speeds of spatially periodic integrodifference models for populations with nonmonotone recruitment functions. J. Math. Biol. 2008, 57(3):387–411. 10.1007/s0028500801680
 15.
Weinberger HF, Lewis MA, Li B: Analysis of linear determinacy for spread in cooperative models. J. Math. Biol. 2002, 45(3):183–218. 10.1007/s002850200145
 16.
Li K, Li X: Travelling wave solutions in integrodifference competition system. IMA J. Appl. Math. 2013, 78(3):633–650. 10.1093/imamat/hxs002
 17.
Lin G, Li WT: Traveling wave solutions of a competitive recursion. Discrete Contin. Dyn. Syst., Ser. B 2012, 17(1):173–189.
 18.
Zhu, F, Lin, G: Propagation of a differenceintegral competitive system I: traveling wave solutions. Sciencepaper Online: http://www.paper.edu.cn/releasepaper/content/201204–75 (2012)
 19.
Li B: Some remarks on traveling wave solutions in competition models. Discrete Contin. Dyn. Syst., Ser. B 2009, 12: 389–399.
 20.
Lin, G: Traveling wave solutions for integrodifference systems. arXiv preprint arXiv:1305.4031 (2013)
 21.
Liang X, Zhao XQ: Asymptotic speeds of spread and traveling waves for monotone semiflows with applications. Commun. Pure Appl. Math. 2007, 60(1):1–40. 10.1002/cpa.20154
Acknowledgements
The first author was supported by NSF of Gansu Province of China (No. 1208RJYA004) and the Development Program for Outstanding Young Teachers in Lanzhou University of Technology (No. 1010ZCX019), the second author was supported by National Undergraduate Training Programs for Innovation and Entrepreneurship (No. 201310730086).
Author information
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the manuscript. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Received
Accepted
Published
DOI
Keywords
 competitive interaction
 spreading speed
 invasion and coexistence