1. Introduction
Since Nicholson [Reference Nicholson16] declared his significant work regarding competition for food in laboratory population of Australian sheep-blowfly (Lucia cuprina) in 1954, numerous models have been developed to simulate Nicholson's data of blowflies (see e.g. [Reference Gourley and Ruan6, Reference Gurney, Blythe and Nisbet8, Reference Li, Ruan and Wang11, Reference So and Yang17]). By taking the spatial continuous diffusion and distributed maturation periods into account, Gourley and Ruan [Reference Gourley and Ruan6] proposed and analysed a diffusive Nicholson's blowflies equation with distributed delay
where $\beta,\tau >0$
, $(t,x)\in [0,\infty )\times \Omega$
, $\Omega$
is either some finite domain or the whole $\mathbb {R}^{n}$
, and $f$
is non-negative and integrable with $\int ^{\infty }_{0}f(t)\,{\rm d}t=1$
. They showed that the zero state $u=0$
is globally stable if $\beta <1$
and the unique non-zero state $u^{*}=\ln \beta$
is globally stable when $1<\beta \leq e$
. For the spatial domain $\Omega =\mathbb {R}$
, Gourley [Reference Gourley5] further showed the existence of travelling wave solution for (1.1) with the following special kernels
By recasting the wave equations into a four-dimensional system of non-delay ODEs and employing the geometric singular perturbation method, Gourley [Reference Gourley5] showed that (1.1) has a travelling wave solution for $\tau >0$
sufficiently small. The existence of travelling wave solutions for some other special kernels was also studied in [Reference Li, Ruan and Wang11, Reference So and Zou18], in which the theory of second-order functional differential equations was used to establish the existence of monotone travelling wave solutions when $1<\beta \leq e$
. However, the problems on the existence of the minimal wave speed and monotonicity of travelling waves were not addressed in [Reference Gourley5, Reference Li, Ruan and Wang11, Reference So and Zou18].
Note that the original Nicholson's blowflies equation modelling the population of Australian sheep-blowfly (Lucia cuprina) is the ordinary differential equation (see [Reference Gurney, Blythe and Nisbet8, Reference Nicholson16])
after rescaling, which does not contain the spatial structure. The generalized Nicholson's blowflies equation (1.1) is based on the assumption that the blowflies scattered in a continuous spatial environment and subjected to continuous random diffusion. In practice, however, blowflies do not necessarily spread continuously since they can fly from one place to another. It has been observed that for the aggregated dispersion, discrete models are more suitable than continuous models to describe the invasion phenomenon [Reference Chen, Guo and Yao1]. Models involving discrete equations are referred to as ‘patch models’, which can be found in many scientific disciplines, such as materials science, pattern formation, neural networks and population biology (see the survey by Chow and Mallet-Paret [Reference Chow and Mallet-Paret2]). Besides, they are also natural outcomes of discretizing the corresponding spatial continuous model. In the literature, some discretizations of classical continuous models have been proposed, such as the discrete Fisher's equation [Reference Zinner, Harris and Hudson28], discrete Nagumo equation [Reference Zinner27], discrete Allen–Cahn equation [Reference Chow, Mallet-Paret and Shen3] and discrete Lotka–Volterra equation [Reference Guo and Wu7], etc., and there have been many studies focussed on the study of propagation dynamics of various types of discrete equations, see [Reference Fang, Wei and Zhao4, Reference Huang, Lu and Zou9, Reference Lan, Weng and Xu10, Reference Ma, Weng and Zou14, Reference Wang, Wang and Bao19–Reference Yu and Hsu26] and the references therein. However, the approximation of continuous models by spatial discretization is a delicate issue, and it is well known that there could exist essential differences between a discrete model and its associated continuous version.
To explore the spreading dynamics of the blowflies living in discrete environment with distributed maturated age, we consider the following formulation of the original Nicholson’ blowflies equation in (1.2).
It can also be regarded as the space discrete approximation of continuous model (1.1). The main purpose of this study is to explore whether the discrete model (1.3) can exhibit propagation phenomenon like the continuous model (1.1), and what the minimal wave speed is if it exists, and whether it can determine the long time asymptotic behaviour of (1.3).
Compared with (1.1), the wave equation of (1.3) is a mixed-type which contains both back- and forward-shifts. This mixed structure makes the study of existence of travelling waves of discrete model (1.3) more difficult. Meanwhile, it is hard to transform it into ODEs without delay such that, as the spatial continuous case studied in [Reference Gourley5], the geometric singular perturbation theorem works. Moreover, the theorem of second-order functional differential equations used in [Reference Li, Ruan and Wang11, Reference So and Zou18] cannot be applied directly to (1.3) because of the effect of the difference operator. In this paper, we shall present a different method to investigate the existence of travelling wave solutions for the discrete model (1.3). Specifically, to prove the existence of travelling wave solutions, we first apply the monotone dynamical system approach to show the existence of travelling waves for an auxiliary system with finite distributed delay. Then, by establishing some priori estimates, we extend this existence result to (1.3) by employing the delay approximation technique and some comparison arguments. In particular, by analysing the spreading properties of the solution, we can show the non-existence of travelling wave solutions. This method enables us to obtain the minimal wave speed of travelling wave solutions and show that it can determine the long time behaviour of the solution with compact initial function. After the existence of travelling waves is discussed, we further consider the monotonicity problem of the travelling waves. By adapting the sliding method, we theoretically prove that all travelling waves of (1.3) are strictly increasing, which implies that the waveforms of the travelling waves remain monotone increasing during the propagation process. As far as we know, this is the first time that the monotonicity of travelling wave solutions is theoretically proved for Nicholson's blowflies model with distributed (infinite) delay.
The paper is organized as follows. In §2, we establish some preliminary results on the well posedness and comparison principle of solutions. In §3, we prove the existence of travelling waves and spreading speed, and also show the consistency of the minimal wave speed and the spreading speed. In §4, we prove that the travelling wave solutions are strictly monotone. Some numerical simulation results are presented in the last section to illustrate the analytical results established.
2. Preliminaries
In this section, we first establish some preliminary results on the well posedness and comparison principle of solutions for model (1.3).
Let $\mathbb {X}:=\{a=\{a_{i}\}_{i\in \mathbb { Z}};\ \| a\|_{\mathbb {X}}=\sup _{i\in \mathbb {Z}}|a_{i}|<\infty \}.$
Denote by $\mathbb {C}:=C((-\infty,0];\mathbb {X})$
. For $\psi =\{\psi _{i}\}_{i\in \mathbb { Z}}$
and $\phi =\{\phi _{i}\}_{i\in \mathbb { Z}}$
in $\mathbb {C}$
, we write $\psi \geq \phi$
$(\psi \gg \phi )$
if $\psi _{i}(s)\geq \phi _{i}(s)$
($\psi _{i}(s)>\phi _{i}(s)$
) for any $i\in \mathbb { Z}$
, $s\in (-\infty,0]$
, and $\psi >\phi$
if $\psi \geq \phi$
but $\psi \neq \phi$
. In a similar way, we write $a\geq (\gg, > ) b$
for $a,b$
in $\mathbb {X}$
. For given $\omega \in \mathbb {X}$
with $\omega \geq 0$
, denote $\mathbb {C}_{\omega }=\{\psi \in \mathbb {C}: 0\leq \psi (\theta )\leq \omega,\,\, \forall \theta \in (-\infty, 0]\}$
and $\mathbb {X}_{\omega }=\{a\in \mathbb {X}: 0\leq a\leq \omega \}$
.
Lemma 2.1 Assume $1<\beta \leq e$
. For any initial function $\phi =\{\phi _{j}\}_{j\in \mathbb {Z}}$
in $\mathbb {C}_{u^{*}}$
, (1.3) has a unique solution $u=\{u_{j}\}_{j\in \mathbb {Z}}$
with $u_{j}\in C([0,+\infty ),[0,u^{*}])$
.
Proof. Note that (1.3) can be rewritten as
Then for the initial function $\phi =\{\phi _{j}\}_{j\in \mathbb {Z}}$
with $\phi _{j}\in C((-\infty,0],[0,u^{*}])$
, the initial value problem of (1.3) is equivalent to
where
Define an operator $\mathcal {T}=\{\mathcal {T}_{j}\}_{j\in \mathbb {Z}}$
on $\Omega$
by
where $\Omega :=\{u=(u_{j})_{j\in \mathbb {Z}}|u_{j}\in C([0,+\infty ),[0,u^{*}]), \,\, u_{j}(t)=\phi _{j}(t),t\in (-\infty,0]\}.$
Note that $0\leq M(u_{j})(t)\leq 2Du^{*}+\beta \tau u^{*}\,{\rm e}^{-u^{*}}=(\tau +2D)u^{*},$
and
It follows that $\mathcal {T}(\Omega )\subseteq \Omega$
. Choose $\mu \geq L_{f}$
, where $L_{f}$
is the Lipschitz constant of $f(u)=\beta \tau u\,{\rm e}^{-u}$
on $[0,u^{*}]$
. Define a complete metric space $(\Omega,d_{\mu })$
with
For any $u,v\in \Omega,$
we have
Thus,
where $\kappa :=\frac {2D+L_{f}}{\tau +2D+\mu }<1$
. By the contraction map theorem, we obtain that $\mathcal {T}$
has a unique fixed point $u$
in $\Omega$
, which is a solution of (1.3).
Definition 2.2 A function $u(t)=\{u_{j}(t)\}_{j\in \mathbb {Z}}$
with $u_{j}(t)\in C(\mathbb {R},[0,u^{*}])$
is called a supersolution of (1.3) if there holds
for any $j\in \mathbb {Z}$
, $t>0$
; and a function $u(t)=\{u_{j}(t)\}_{j\in \mathbb {Z}}$
with $u_{j}(t)\in C(\mathbb {R},[0,u^{*}])$
is called a subsolution of (1.3) if there holds
for any $j\in \mathbb {Z}$
, $t>0.$
Lemma 2.3 Let $u^{1},u^{2}\in C(\mathbb {R},\mathbb {X}_{u^{*}})$
be, respectively, the subsolution and supersolution of (1.3) with $u^{1}(\theta )\leq u^{2}(\theta )$
for $\theta \in (-\infty,0]$
. Then, $u^{1}(t)\leq u^{2}(t)$
for any $t\geq 0.$
Proof. Let $u_{j}(t):=u_{j}^{1}(t)-u_{j}^{2}(t)$
for $j\in \mathbb {Z},t\in [0,+\infty ).$
Define $y(t):=\sup _{j\in \mathbb {Z}}u_{j}(t)$
, $t\in [0,+\infty ).$
Next, we show that $y(t)\leq 0$
for all $t\geq 0$
to finish the proof. Suppose that there exists $t_{0}>0$
such that $y(t_{0})>0$
and
where $M_{0}$
is chosen such that $M_{0}>L_{f}\int _{0}^{\infty }k(s)\,{\rm e}^{-M_{0}s}\,{\rm d}s$
, and $L_{f}$
is the Lipschitz constant of $f(u)=\beta \tau u\,{\rm e}^{-u}$
on $[0,u^{*}]$
. Then, there exists a sequence $\{j_{k}\}^{\infty }_{k=1}$
such that $u_{j_{k}}(t_{0})>0$
and $\lim _{k\rightarrow +\infty }u_{j_{k}}(t_{0})=y(t_{0})$
. Let $\{t_{k}\}^{\infty }_{k=1}\subseteq [0,t_{0}]$
be a sequence such that $u_{j_{k}}(t_{k})\,{\rm e}^{-M_{0}t_{k}}=\max _{t\in [0,t_{0}]}u_{j_{k}}(t)\,{\rm e}^{-M_{0}t}.$
Note that
Then, we have $\lim _{k\rightarrow +\infty }y(t_{k})\,{\rm e}^{-M_{0}t_{k}}=y(t_{0})\,{\rm e}^{-M_{0}t_{0}}$
, and then $\lim _{k\rightarrow +\infty }t_{k}=t_{0}$
. By (2.5), we also have
Thus, $\lim _{k\rightarrow +\infty }u_{j_{k}}(t_{k})=y(t_{0}).$
Note that for every $k\geq 1$
,
which implies that $M_{0}u_{j_{k}}(t_{k})\leq u_{j_{k}}^{'}(t_{k})$
. Since $u_{j_{k}}^{'}(t_{k})=(u^{1}_{j_{k}}(t)-u^{2}_{j_{k}}(t))^{'}|_{t=t_{k}}$
, by the definition of supersolution and subsolution, we have
Since $y(t_{0})\,{\rm e}^{-M_{0}(t_{0}-s)}>y(s)$
for $s\in [0,t_{0}),$
it follows that
Letting $k\rightarrow \infty$
in (2.7), we obtain that
which is a contradiction since $M_{0}>L_{f}\int _{0}^{\infty }k(s)\,{\rm e}^{-M_{0}s}\,{\rm d}s$
. Thus, we have $y(t)\leq 0$
for $t\in [0,+\infty )$
. This completes the proof.
3. Travelling waves and spreading speed
In this section, we study the existence of travelling wave solutions and spreading speed for (1.3). For this, we first consider the delay truncated system of (1.3)
where $r>0$
is a given finite number. Since $\beta >1$
and $\int ^{\infty }_{0}k(s)\,{\rm d}s=1$
, we choose $r$
sufficiently large so that $\hat {k}\beta >1$
, where $\hat {k}=\int ^{r}_{0}k(s)\,{\rm d}s$
. Then, (3.1) has two constant steady states $0$
and $u_{r}^{*}=\frac {1}{\hat {k}}\ln \beta \hat {k}$
. Clearly, $u_{r}^{*}\rightarrow u^{*}$
as $r\rightarrow \infty.$
For such a truncated system, we shall show that
Theorem 3.1 Assume $1<\beta \leq e$
. Let $u_j (t)$
be the solution of (3.1). Then, we have
(i) For any $c > c_{r}^*$
, if $u^0\in \mathcal {C}_{u_{r}^{*}}$ with $u^0 (s,j) = 0$ for $s \in [-r, 0]$ and $j$ outside a bounded interval, then $\lim \limits _{t\rightarrow \infty,|j|\geq ct} u_j (t) = 0$.(ii) For any $c < c_{r}^*$
, if $u^0\in \mathcal {C}_{u_{r}^{*}}\backslash \{0\}$, then $\lim \limits _{t\rightarrow \infty,|j|\leq ct} u_j (t) = u_{r}^{*}$.(iii) For any $c\geq c_{r}^*$
, (3.1) admits a travelling wave $u_j(t)=\phi (j+ct)$ such that $\phi (\xi )$ is monotone on $\xi \in \mathbb {R}$, $\phi (-\infty )=0$ and $\phi (+\infty )=u_{r}^{*}$, while for any $c< c_{r}^*$, there exists no such travelling wave.
Here $c_{r}^*=\inf \limits _{\lambda \in (0,\infty )}\frac {\mu (\lambda )}{\lambda },$
where $\mu =\mu (\lambda )$
is determined by
To prove theorem 3.1, we apply the results on monotone dynamical systems [Reference Liang and Zhao13], in which the spreading speed and travelling waves are established for abstract semiflows $\{Q_{t}\}_{t\geq 0}$
satisfying some prescribed assumptions (cf. (A1)–(A5) below).
Let $\mathcal {C}$
be the set of all bounded and continuous functions from $[-r,0]\times \mathbb {Z}$
to $\mathbb {R}$
. Clearly, any element in the space $\bar {\mathcal {C}}:=C([-\tau,0], \mathbb {R})$
can be regarded as a function in $\mathcal {C}$
. For any $\xi >0$
, we set $[0,\xi ]:=\{u\in \mathbb {R}:\, 0\le u\le \xi \}$
and $\mathcal {C}_{\xi }=\{u\in \mathcal {C}:\, 0\le u\le \xi \}$
. Similarly, define $\bar {\mathcal {C}}_{\xi }$
. For any $u(\theta )=\{u(\theta,j)\}_{j\in \mathbb {Z}}=:\{u_j(\theta )\}_{j\in \mathbb {Z}}$
, $v(\theta )=\{v(\theta,j)\}_{j\in \mathbb {Z}}:=\{v_j(\theta )\}_{j\in \mathbb {Z}}$
, we write $u(\theta )\geq v(\theta )\,(u(\theta )\gg v(\theta ))$
provided $u_j(\theta )\geq v_j(\theta )\,(u_j(\theta )\gg v_j(\theta )),\,\forall \,j\in \mathbb {Z},\,\theta \in [-r,0]$
, and $u>v$
provided $u\geq v$
but $u\neq v$
. We equip $\mathcal {C}$
with the compact open topology, that is, $u^m\to u$
in $\mathcal {C}$
means that the sequence of $u^m_j$
converges to $u_j$
, as $m\to +\infty$
, uniformly for $j$
in any compact set of $\mathbb {Z}$
. Define
Then $(\mathcal {C},\|\cdot \|)$
is a normed space. It follows that the topology in the metric space $(\mathcal {C}_{\xi },\|\cdot \|)$
is the same as the compact open topology in $\mathcal {C}_{\xi }$
. Moreover, $\mathcal {C}_{\xi }$
is a complete metric space.
Define a reflection operator $R$
by $R(\phi )(x)=\phi (-x)$
, and for each $y\in \mathbb {Z}$
, a translation operator $T_y$
by $T_y(\phi )(x)=\phi (x-y)$
for all $x\in \mathbb {R}$
, respectively. For a given map $Q:\mathcal {C}_{u_{r}^{*}}\rightarrow \mathcal {C}_{u_{r}^{*}}$
, we impose the following hypotheses on it:
(A1) $Q[R[u]]=R[Q[u]]$
, $T_y[Q[u]] =Q[T_y[u]]$.(A2) $Q:\, \mathcal {C}_{u_{r}^{*}} \to \mathcal {C}_{u_{r}^{*}}$
is monotone, that is, if $u \ge w$, then $Q[u] \ge Q[w]$.(A3) The set $Q[\mathcal {C}_{u_{r}^{*}}](0,\cdot )$
is precompact in the space $C(\mathbb {Z},\mathbb {R})$ equipped with compact open topology, and there is an equivalent norm $\|\cdot \|^*$ in $\bar {\mathcal {C}}$ such that for any number $l\geq 0$, there exists $n=n(l)\in [0,1)$ such that for any $I=[a,b]_{\mathbb { Z}}$ of the length $l$ and any $\mathcal {U}\subset \mathcal {C}_{u_{r}^{*}}$ with $\mathcal {U}(0,\cdot )$ precompact in $C(\mathbb {Z},\mathbb {R})$, we have $\alpha ((Q[\mathcal {U}])_I)\leq n\alpha (\mathcal {U}_I)$, where $\alpha$ is the Kuratowski measure of non-compactness on $\mathcal {C}_I$.(A4) $Q:\, \bar {\mathcal {C}}_{u_{r}^{*}} \to \bar {\mathcal {C}}_{u_{r}^{*}}$
where $\bar {\mathcal {C}}_{u_{r}^{*}}=\{u\in C([-r,0], \mathbb {R}):\, 0\le u\le u_{r}^{*} \}$, has exactly two fixed points $0$ and $u_{r}^{*},$ and $\lim \limits _{t\rightarrow \infty }Q[z]=u_{r}^{*}$, for $z\in [0,u_{r}^{*}]\setminus \{0\}$.(A5) $Q:\, \mathcal {C}_{u_{r}^{*}} \to \mathcal {C}_{u_{r}^{*}}$
is continuous with respect to the compact open topology.
For any $u^0=\{u^0_{j}\}_{j\in \mathbb {Z}}\in \mathcal {C}_{u_{r}^{*}}$
, (3.1) has a unique global solution $u(t,u^0)=\{u_j(t,u^0)\}_{j\in \mathbb {Z}}$
with $u_j(\theta,u^0)=u^0_j(\theta )$
$\forall j\in \mathbb {Z}$
, $\theta \in [-r,0]$
and $0\leq u(t,u^0)\leq u_{r}^{*}$
, $\forall t\geq 0$
. Let $Q_t$
be the associated solution map of (3.1) at $t\geq 0$
. Then,
Lemma 3.2 Assume $1<\beta \leq e$
. Then, $\{Q_t\}_{t\geq 0}$
is a monotone semiflow in $\mathcal {C}_{u_{r}^{*}}$
such that for each $t>0$
, $Q_t$
satisfies all the hypotheses (A1)–(A5) for each $t>0$
.
Proof. We easily observe that each time-$t$
map is monotone and satisfies (A1) and (A2). Now we introduce
Let $S_t:=Q_t-L_t$
, $t\geq 0.$
It is not difficult to show that for any given $\gamma >0$
, there is an equivalent norm $\|\cdot \|^*$
of $\bar {\mathcal {C}}$
such that for any $\psi \in \bar {\mathcal {C}}$
there holds $\|L_t(\psi )\|^*\le {\rm e}^{-\gamma t}\|\psi \|^*$
, $\forall t\ge 0$
(cf. [Reference Liang and Zhao13]). Let $t>0$
be given. By direct calculation, we can show that $Q_t[\mathcal {C}_{u_{r}^{*}}](0,\cdot )=u(t,\cdot,\mathcal {C}_{u_{r}^{*}})$
is precompact in $C(\mathbb {Z},\mathbb {R})$
, and that $S(t)[\mathcal {U}]$
is precompact in $\mathcal {C}_{u_{r}^{*}}$
for any $\mathcal {U}\subset \mathcal {C}_{u_{r}^{*}}$
with $\mathcal {U}(0,\cdot )$
precompact in $\mathcal {C}_{u_{r}^{*}}$
. Therefore, for any interval $I=[a,b]_{\mathbb { Z}}$
of the length $l$
, we have
where $\alpha$
is the Kuratowski measure of non-compactness on the space $\bar {\mathcal {C}}$
. This implies that for each $t>0$
, $Q_t$
satisfies (A3) with $n=e^{-\gamma t}$
. To verify monostable structure, we consider a spatially homogeneous model associated with (3.1)
Clearly (3.2) has exact two fixed points: $0$
and $u_r^*$
. We linearize (3.2) at $u=0$
, and obtain
We notice that $s(P)>0$
, where $s(P)=\max \{\text {Re}\, \mu : \beta \tau \int _0^r k(s)\,{\rm e}^{-\mu s}\,{\rm d}s-\mu -\tau =0 \}$
. Then, the equilibrium $u=0$
is unstable. Together with the monotonicity of $Q_t$
, item (A4) holds. In the following, we will show that $Q_t(u^0)$
is continuous in $(t,u^0)\in \mathbb {R}_+\times \mathcal {C}_{u_{r}^{*}}$
. We divide the proof into two steps.
Step 1. For any initial data $u^0=\{u^0_{j}\}_{j\in \mathbb {Z}}\in \mathcal {C}_{u_{r}^{*}}$
, we have $u_j(t,u^0) \in \mathcal {C}_{u_{r}^{*}}$
. Moreover, there exists a $C$
, which is independent of $(j,u^0)$
, such that $|\frac {{\rm d}u_j(t,u^0)}{{\rm d}t}|\leq C$
, $\forall (t,j)\in [0,\infty )\times \mathbb {Z}$
. Therefore, for any $j\in \mathbb {Z}$
, $u_j(t,u^0)$
is uniformly continuous for $t\in [0,t_0+1]$
with $t_0\geq 0$
. As $u^0\in \mathcal {C}_{u_{r}^{*}}$
, then we know for each $j\in \mathbb {Z}$
, the uniform continuity result holds for $u_j(t,u^0)$
on $t\in [-r,t_0+1]$
. For any $\varepsilon >0$
, we can select $N=N(\varepsilon )>0$
such that $\sum _{n=N+1}^\infty \frac {u_{r}^{*}}{2^{n-1}}<\frac {\varepsilon }{2}.$
For the above $\varepsilon >0$
and $t_0\geq 0$
, there exists a $\eta =\eta (\varepsilon,t_0)\in (0,\min \{1,t_0+r\})$
such that for any $|t-t_0|<\eta$
and $j\in [-N,N]$
, we have $|u_j(t+\theta )-u_j(t_0+\theta )|<\frac {\varepsilon }{2}.$
Hence,
We finish the proof of step 1, which implies that for given $u^0\in \mathcal {C}_{r^{*}}$
, $Q_t(u^0)$
is continuous in $t\ge 0$
.
Step 2. In this step, for any given $[0, t_0]$
with $t_0>0$
, we will show that $Q_t(u^0)$
is uniformly continuous in $u^0\in \mathcal {C}_{r^{*}}$
. Let $u^0(s)=\phi (s)=\{\phi _j(s)\}_{j\in \mathbb {Z}}$
and $s\in [-r,0]$
. It suffices to show if $\phi ^{(h)}\rightarrow \phi$
$(h\rightarrow \infty )$
in $\mathcal {C}_{u_{r}^{*}}$
, then $Q_t(\phi ^{(h)})\rightarrow Q_t(\phi )$
in $\mathcal {C}_{u_{r}^{*}}$
uniformly on $[0,t_0]$
.
In order to obtain the above result, we first prove there exists a subsequence $\{Q_t(\phi ^{(h^{(n)}_n)})\}_{n\in \mathbb {N}}$
$\subset \mathcal {C}_{u_{r}^{*}}$
which converges uniformly on $[0,t_0]$
. Let $u^{(h)}(t)=Q_t(\phi ^{(h)})$
, where $u^{(h)}(t)=\{u_j(t,\phi ^{(h)})\}_{j\in \mathbb {Z}}$
is a solution of (3.1) with $\phi ^{(h)}(s)=\{\phi _j^{(h)}(s)\}_{j\in \mathbb {Z}}$
, $\forall s\in [-r,0]$
, $\phi ^{(h)}\rightarrow \phi$
in $\mathcal {C}_{u_{r}^{*}}$
as $h\rightarrow \infty$
. For each $j$
, then $0\leq u_j(t,\phi ^{(h)})\leq u_{r}^{*}$
and $|u_j(t_1,\phi ^{(h)})-u_j(t_2,\phi ^{(h)})|\leq C|t_1-t_2|$
, $\forall \ t,t_1,t_2\in [0,t_0]$
. Note that $\{u_j(t,\phi ^{(h)})\}_{h=1}^\infty \subset C([0,t_0],\mathbb {R})$
is bounded and equicontinuous. Hence, there exists a convergent subsequence $\{u_{-1}(t,\phi ^{(h_{-1,n})})\}_{n=1}^\infty \subset \{u_{-1}(t,\phi ^{(h)})\}_{h=1}^\infty$
which converges uniformly on $[0,t_0]$
. Furthermore, there also exists a convergent subsequence $\{u_{0}(t,$
$\phi ^{(h_{-1,0,n})})\}_{n=1}^\infty \subset \{u_{0}(t,\phi ^{(h_{-1,n})})\}_{n=1}^\infty$
with $\{h_{-1,0,n}\}_{n=1}^\infty \subset \{h_{-1,n}\}_{n=1}^\infty$
. Analogously, we see there admits a convergent subsequence $\{u_{1}(t,\phi ^{(h_{-1,0,1,n})})\}_{n=1}^\infty \subset \{u_{1}(t,\phi ^{(h_{-1,0,n})})\}_{n=1}^\infty$
with $\{h_{-1,0,1,n}\}_{n=1}^\infty \subset \{h_{-1,0,n}\}_{n=1}^\infty$
. For simplicity, write $h_{-1,0,1,n}= h^{(1)}_n$
. Thus, $\{u_{-1}(t,\phi ^{h^{(1)}_n})\}_{n=1}^\infty$
, $\{u_{1}(t,\phi ^{h^{(1)}_n})\}_{n=1}^\infty$
and $\{u_{0}(t,\phi ^{h^{(1)}_n})\}_{n=1}^\infty$
are uniformly convergent on $[0,t_0]$
. Hence, the sequence $\{u_{j}(t,\psi ^{h^{(2)}_{n}})\}_{n=1}^\infty$
is uniformly convergent at $j=0,\pm 1$
on $[0,t_0]$
.
From the above process, we know that at each $j$
, there exists $\{u_{j}(t,\phi ^{h^{(n)}_{n}})\}_{n=1}^\infty \subset \{u_j(t,\phi ^{(h)})\}_{h=1}^\infty$
which converges uniformly on $[0,t_0]$
. Note that for each $j$
, $\phi _j^{(h)}\rightarrow \phi _j$
in $C([-r,0],\mathbb {R})$
as $\phi ^{(h)}\rightarrow \phi$
in $\mathcal {C}_{u_{r}^{*}}$
and $h\rightarrow \infty$
. It follows for each $j$
, there exists $\{\phi _j^{h^{(n)}_{n}}\}_{n=1}^\infty \subset \{\phi _j^{(h)}\}_{h=1}^\infty$
which is convergent in $C([-r,0],\mathbb {R})$
. We immediately have for each $j$
, $\{u_j(t,\phi ^{(h^{(n)}_n)})\}_{n=1}^\infty$
is uniformly convergent on $[-r,t_0]$
. Therefore, for each $j$
, $\{u_j(t+\theta,\phi ^{(h^{(n)}_n)})\}_{n=1}^\infty$
is uniformly convergent for $\theta \in [-r,0]$
on $[0,t_0]$
. It further indicates that for each $j$
, $u_j^{(h^{(n)}_n)}(t+\cdot )=Q_t(\phi ^{(h^{(n)}_n)})(j,\cdot )$
is uniformly convergent in $C([-r,0],\mathbb {R})$
for $t\in [0,t_0]$
. Let $u_j(t)$
be a limit point of $u_j^{(h^{(n)}_n)}(t)$
in $C([-r,0],\mathbb {R})$
. Then $u_j(t)\in \mathcal {C}_{u_{r}^{*}}$
. For any $\varepsilon >0$
, let $N_1=N_1(\varepsilon )>0$
such that $\sum _{i=N_1+1}^\infty \frac {u_{r}^{*}}{2^{i-1}}<\frac {\varepsilon }{4}.$
For the above $\varepsilon$
, we choose sufficiently large $N_2=N_2(\varepsilon )>0$
such that $|u_j^{(h^{(n)}_n)} (t+\theta )-u_j(t+\theta )|<\frac {\varepsilon }{2}$
whenever $n\geq N_2$
, $t\in [0,t_0]$
and $j\in [-N_1,N_1]$
. Then for $n\geq N_2$
,
Secondly, we show that if $Q_t(\phi ^{(h_m)})$
converges uniformly for $t\in [0,t_0]$
, then $\lim \limits _{n\rightarrow \infty }Q_t(\phi ^{(h_n)})$
$=Q_t(\phi )$
uniformly for $t\in [0,t_0]$
. In fact, if $u(t)=\{u_j(t)\}_{j\in \mathbb {Z}}$
is a limit point of $Q_t(\phi ^{(h_n)})$
as $n\rightarrow \infty$
, then $u(t)$
is a solution of (3.1) for $\forall \, t\in [0,t_0]$
, that is, $u(t)=Q_t(\phi )$
, $\forall \, t\in [0,t_0]$
. Thus, if $\lim \limits _{h\rightarrow \infty }\phi ^{(h)}=\phi$
, then $\lim \limits _{h\rightarrow \infty }Q_t(\phi ^{(h)})=Q_t(\phi )$
uniformly for $t\in [0,t_0]$
. As a result, there holds $\lim \limits _{\phi \rightarrow \phi _0}Q_t(\phi )=Q_t(\phi _0)$
uniformly on $[0,t_0]$
. This is the end of step 2. It follows from the above two steps that, together with $\|Q_t(\phi )-Q_{t_0}(\phi _0)\|\leq \|Q_t(\phi )-Q_{t}(\phi _0)\|+\|Q_t(\phi _0)-Q_{t_0}(\phi _0)\|,$
$Q_t(u^0)$
is continuous in $(t,u^0)\in \mathbb {R}^+\times \mathcal {C}_{u_{r}^{*}}$
. Clearly, $Q_0=I$
, and $Q_{t'+t''}=Q_{t'}\circ Q_{t''}$
. Hence, $Q_t$
is a semiflow of (3.1) in $\mathcal {C}_{u_{r}^{*}}$
. We finish the proof of this lemma.
Proof of theorem 3.1. By lemma 3.2, it follows that the semiflow $Q_t$
generated by (3.1) satisfies all the hypotheses (A1)–(A5) for each $t>0$
. Then, we can apply the spreading theorems established in [Reference Liang and Zhao13] to obtain the existence of a minimal wave speed $c_{r}^*$
and its coincidence with spreading speed, that is, the conclusions (i)–(iii) are valid. We next focus on the computation of $c_{r}^*$
. Consider a linearized system of (3.1) at $u=0$
Obviously, if $u$
is a solution of (3.3), then $u$
is a supersolution of (3.1). Let $M_t$
be the solution map associated with (3.3). Then $Q_t(u^0)\leq M_t(u^0),\,\forall u^0\in \mathcal {C}_{u_{r}^{*}}.$
Secondly, we introduce the following linear system with parameter $\varepsilon \in (0,1)$
Let $M_t^{\varepsilon }$
be the solution map associated with (3.4). Then $Q_t(u^0)\geq M_t^{\epsilon }(u^0),$
$\forall u^0\in \mathcal {C}_{u_{r}^{*}}$
, $\forall \, t\in [0,1]$
. Letting $\varepsilon \rightarrow 0$
, the desired result follows. Thus, it suffices to estimate the spreading speed for $M_t$
. For each $\varphi \in C([-r,0],\mathbb {R})$
, set $\eta (t,\varphi )$
to be the solution of
with $\eta (\theta,\varphi )=\varphi (\theta )$
and $\theta \in [-r,0].$
Then $u(t)=\{u_j(t)\}_{j\in \mathbb {Z}}$
where $u_j={\rm e}^{-\lambda j}\eta (t,\varphi )$
is a solution of (3.3). It follows that $B_{\lambda }^t(\varphi )(\theta ):=M_t[\varphi \,{\rm e}^{-\lambda j}](\theta,0)=\eta (t+\theta,\varphi ),\,\forall \theta \in [-r,0].$
Then $B_\lambda ^t$
is the solution map of (3.5). We can further verify that $B^{m_0}_\lambda$
is compact, strongly positive, for any $m_0>r$
. Since (3.5) is cooperative and irreducible, there exists a real root $\mu =\mu (\lambda )$
of $\mu -D[e^{-\lambda }+e^{\lambda }-2]+\tau -\beta \tau \int _{0}^{r}k(s)\,{\rm e}^{-\mu s}\,{\rm d} s=0,$
which also has the greatest real part among all roots. Observe that $\mu (\lambda )\geq D[{\rm e}^{-\lambda }+{\rm e}^{\lambda }-2]-\tau$
. It yields $\mu (\lambda )=\infty$
as $\lambda \rightarrow \infty$
.
Consider $\psi \in C([-r,0],\mathbb {R})$
by $\psi (\theta )={\rm e}^{\mu (\lambda )\theta }$
and $\theta \in [-r,0].$
Clearly $\eta (t,\psi )={\rm e}^{\mu (\lambda ) t}$
, $\forall \,t\geq 0.$
Thus, $B_\lambda ^t(\psi )=\eta (t+\cdot,\psi )={\rm e}^{\mu (\lambda ) t}\psi,\,\forall \,t\geq 0.$
Then $B_{\lambda }^t$
admits a principal eigenvalue ${\rm e}^{\mu (\lambda ) t}$
associated with a positive eigenfunction $\psi$
. Set $t=1$
. Then ${\rm e}^{\mu (\lambda ) }$
is the principal eigenvalue of $B_{\lambda }^1$
. By [Reference Liang and Zhao12, lemma 3.7], $\mu (\lambda )$
is convex on $\mathbb {R}$
. Moreover, we claim that ${\rm e}^{\mu (0) }>1$
, where ${\rm e}^{\mu (0) }$
is the principal eigenvalue of $B_\lambda ^1$
at $\lambda =0$
. Indeed, let $F(\mu )=\beta \tau \int _{0}^{r}k(s)\,{\rm e}^{-\mu s}\,{\rm d}s-\mu -\tau =0.$
It follows from $F(0)=\beta \tau -\tau >0$
, $F(\infty )=-\infty$
and $\frac {\partial F(\mu )}{\partial \mu }<0$
that there exists a unique positive root of $F(\mu )=0$
. Since $\mu (0)$
is a root of $F(\mu )=0$
, then $\mu (0)>0$
and ${\rm e}^{\mu (0) }>1$
. Define $\Phi (\lambda ):=\frac {\mu (\lambda )}{\lambda }.$
From the above discussions, we know that $\Phi (\lambda )$
reaches the minimum value at some finite $\lambda _{r}^*<\infty$
. By [Reference Liang and Zhao12, theorems 3.5 and 3.10], the spreading speed for $\{Q_t\}_{t\geq 0}$
is $c^*_{r}=\inf \limits _{\lambda \in (0,+\infty )}\Phi (\lambda )=\Phi (\lambda _{r}^*).$
Moreover, $(c_{r}^*,\lambda _{r}^*)$
is uniquely determined by $\mathcal {R}_1(\lambda,c)=0\,\,\text {and}\,\,\frac {\partial \mathcal {R}_1}{\partial \lambda }(\lambda,c)=0,\,\lambda >0,$
where
This completes the proof.
Let
The following properties can be easily verified by direct calculation.
Lemma 3.3 There exists unique $c^{*}>0$
such that
(i) $\mathcal {R}(\lambda ^{*},c^{*})=0,\ \frac {\partial }{\partial \lambda }\mathcal {R}(\lambda ^{*},c^{*})=0$
for some $\lambda ^{*}>0$, and $\lim _{r\rightarrow \infty }c^{*}_{r}=c^{*}$.(ii) for every $c>c^{*}$
, $\mathcal {R}(\lambda,c)=0$ has the smallest positive root $\lambda _{1}(c)$ and $\mathcal {R}(\lambda,c)<0$ for some $\lambda >0$.
Theorem 3.4 Assume $1<\beta \leq e$
. For $\phi \in C((-\infty,0],[0, u^{*}]_{\mathbb {X}})$
. Let $u(t)=u(t;\phi )$
be the unique solution of (1.3) with $u(t)=\phi (t)$
for $t\in (-\infty,0]$
. Then the following conclusions are valid:
(i) If $u_{j}(t)=0$
for $(j,t)$ outside a bounded set of $\mathbb {Z}\times (-\infty,0]$, then
\[ \lim_{t\rightarrow\infty,\,\, |j|\geq ct} u_{j}(t)=0\quad \text{for any} \quad c>c^{*}. \]
(ii) If $u(t)\not \equiv 0$
for $t\in (-\infty,0]$, then
\[ \lim_{t\rightarrow\infty,|j|\leq ct} u_{j}(t)=u^{*}\quad \text{for any }\quad 0< c< c^{*}. \]
Proof. By lemma 3.3, for any $c>c^{*}$
, there is some $\lambda >0$
such that $\mathcal {R}(\lambda,c)<0$
. For given $\alpha >0$
. Define $\overline {u}(t)=\{\overline {u}_{j}(t)\}_{j\in \mathbb {Z}}$
with $\overline {u}_{j}(t):=\alpha \,{\rm e}^{\lambda (ct-\eta j )}$
, where $\eta =1$
, or $\eta =-1$
. Then, we have
For any given $c>c^{*}$
, we choose $c^{*}<\hat {c}< c$
and $\hat {\lambda }>0$
such that $\mathcal {R}(\hat {\lambda } ,\hat {c})<0$
. By the assumption, we can choose suitable $\alpha >0$
such that
Note that $u(t;\phi )=\{u_{j}(t;\phi _{j})\}_{j\in \mathbb {Z}}$
is a subsolution of
By the comparison principle, we have $u(t;\phi )\leq \overline {u}(t)$
for $t\geq 0$
, that is, $u_{n}(t;\phi _{j})\leq \alpha \,{\rm e}^{\hat {\lambda } (\hat {c}t-\eta j )}$
for $j\in \mathbb {Z}, t\in [0,\infty ).$
Denote $\eta =\mathrm {sgn}\{j\}, j\neq 0$
. It then follows that
Since $c>\hat {c}$
, we have
We next prove (ii). For any given $c\in (0,c^{*})$
. Because of $\lim _{r\rightarrow \infty }c^{*}_{r}=c^{*},$
we may choose $r$
sufficiently large such that $c^{*}_{r}>c$
. Let $\hat {\phi }(\theta )=\{\hat {\phi }_{j}(\theta )\}_{j\in \mathbb { Z}}$
with
Observe that $u(t;\phi )=\{u_{j};\phi _{j}\}_{j\in \mathbb {Z}}$
is a supersolution of (3.1). The comparison principle indicates that $u(t;\hat {\phi })\leq u(t;\phi )$
for $t\in [0,\infty ),$
where $u(t;\hat {\phi })=\{u_{j};\hat {\phi }_{j}\}_{j\in \mathbb {Z}}$
is a solution of (3.1) with $u(\theta )=\hat {\phi }(\theta )$
for $\theta \in (-\infty,0]$
. Thus, by (ii) of theorem 3.1, we obtain
Letting $r\rightarrow \infty$
in (3.8), we have $\lim _{t\rightarrow \infty,|j|\leq ct}u_{j}(t;\phi _{j})=u^{*}$
since $u^{*}_{r}\rightarrow u^{*}$
as $r\rightarrow \infty$
. This completes the proof.
Next, we study the existence of travelling wave solutions for system (1.3). Consider the wave equation
with
Theorem 3.5 Assume $1<\beta \leq e$
. For any $c\geq c^{*}$
, (1.3) has a monotone travelling wave solution $u_{j}(t)=\phi (j+ct)$
satisfying $\phi (-\infty )=0$
and $\phi (+\infty )=u^{*}$
, while for any $0< c< c^{*}$
, (1.3) has no travelling wave solution $\phi (j+ct)$
such that $\phi (-\infty )=0$
and $\phi (+\infty )=u^{*}$
.
Proof. For any $c> c^{*}$
, since $\lim _{r\rightarrow \infty }c^{*}_{r}=c^{*}$
and $\lim _{r\rightarrow \infty }u^{*}_{r}=u^{*}$
, there exists $\hat {r}\geq r_{0}$
such that $u^{*}_{r}>\frac {1}{2}u^{*}$
and $c>c^{*}_{r}$
for all $r\geq \hat {r}$
. By (iii) of theorem 3.1, for each $r>\hat {r}$
, equation (1.3) has a monotone travelling wave $\phi _{r} (j+ct)$
connecting $0$
and $u^{\ast }_{r}$
. Namely, $\phi _{r}(\xi )$
satisfies the following wave equation
with
Since $\phi _{r}(\xi )$
is bounded on $\mathbb {R}$
, it can be seen from (3.11) that $|\phi _{r}^{'}(\xi )|\leq B$
for some $B>0$
. We next show that $\phi _{r}^{'}(\xi )$
is equicontinuous. For any $\xi _{1}, \xi _{2}\in \mathbb {R}$
, and $r>\hat {r}$
, we have
Because $\phi _{r}(\xi )$
is equicontinuous, then $\phi _{r}^{'}(\xi )$
is equicontinuous. Using Arz$\acute {e}$
la–Ascoli theorem, we obtain that there exists a subsequence $\{\phi _{r_{n}} (\xi )\}$
of $\phi _{r} (\xi )$
that converges uniformly with $\phi (\xi )$
on compact set as $n\rightarrow \infty$
. By Lebesgue dominated convergence theorem, we obtain
by letting $r=r_{n}\rightarrow \infty$
in (3.11). This implies that $u_{j}(t):= \phi (j+ct)$
is a solution of (1.3). Clearly, $\phi (\xi )$
is non-decreasing on $\mathbb {R}$
, and satisfies $\phi (-\infty )=0$
and $\phi (+\infty )=u^{*}$
. For $c= c^{*}$
, let $\{c_{i}\}^{\infty }_{i=1}$
be a sequence with $c_{i}>c^{*}$
and $\lim \limits _{n\rightarrow \infty }c_{i}=c^{*}$
. Then, the above results show that for every $c_{i}$
, (3.9) has a monotone solution $\phi _{i}(\xi )$
such that $\lim \limits _{\xi \rightarrow -\infty }\phi _{i}(\xi )=0$
and $\lim \limits _{\xi \rightarrow \infty }\phi _{i}(\xi )=u^{*}$
. Using the above arguments again, we can obtain that there is a monotone function $\phi _{*}(\xi )$
such that $\lim \limits _{i\rightarrow \infty }\phi _{i}(\xi )=\phi _{*}(\xi )$
pointwise, and $\phi _{*}(\xi )$
satisfies (3.9) with $c=c_{*}$
. Therefore, (1.3) has a monotone travelling wave solution $\phi _{*}(j+c^{*}t)$
connecting $0$
and $u^{*}$
.
For $\hat {c}\in (0,c^{*})$
. Suppose by contradiction that (1.3) has a travelling wave solution $\phi (j+\hat {c}t)$
such that $\phi (-\infty )=0$
and $\phi (+\infty )= u^{*}$
. Let
Define $\varphi (\theta )=\{\varphi _{j}(\theta )\}_{j\in \mathbb {Z}}$
, $\theta \in (-\infty,0].$
Obviously, $\varphi \in C((-\infty,0],[0, u^{*}]_{\mathbb {X}})$
and $\varphi (\theta )\not \equiv 0$
for $\theta \in (-\infty,0]$
. Let $u(t)=\{u_{j}(t,\varphi )\}_{j\in \mathbb {Z}}$
be the solution of (1.3) with the initial data $\varphi$
. The uniqueness of solution indicates that $u_{j}(t):=\phi (j+\hat {c}t)$
for $t\geq 0.$
By (ii) of theorem 3.4, it follows that
Let $c_{0}>0$
be such that $\hat {c}< c_{0}< c^{*}$
. Note that $c_{0}t-1<[c_{0}t]\leq c_{0}t$
, $\forall t\geq 0$
. Then $-[c_{0}t]+\hat {c}t\rightarrow -\infty$
as $t\rightarrow \infty.$
Letting $j=-[c_{0}t]$
in equality (3.13), we have $u^{*}=\lim _{t\rightarrow \infty } \phi (-[c_{0}t]+\hat {c}t)=0$
, which is a contradiction. This completes the proof.
4. Monotonicity of travelling waves
In this section, we further study the monotonicity problem of travelling wave solutions. We shall prove that any travelling wave solution is strictly monotone increasing.
Lemma 4.1 Assume $1<\beta \leq e$
. Then, any travelling wave of (3.9) and (3.10) satisfies $\phi (\xi )\leq \ln \beta$
on $\mathbb {R}$
.
Proof. If $\phi (\xi )>\ln \beta$
at some point, then it must attain a global maximum at some point $\xi _{0}\in \mathbb {R}$
, i.e. $\phi (\xi _{0})>\ln \beta$
and $\phi '(\xi _{0})=0$
. We claim that $\phi (\xi _{0})\leq 1$
. In fact, by (3.9) and the fact $ue^{-u}\leq \frac {1}{e}$
for $u\geq 0$
, we obtain
Then, we have
This implies that $\phi (\xi _{0})\leq \ln \beta$
, which is a contradiction.
Lemma 4.2 Let $\phi$
be any travelling wave of (3.9) and (3.10). Then, $\phi (\xi )\,{\rm e}^{-\rho \xi }\leq \Lambda$
for some $\rho,\Lambda >0$
, $\xi \in \mathbb {R}$
.
Proof. Choose sufficiently large $r>0$
and small $\varepsilon >0$
such that $\gamma :=(\beta \tau -\varepsilon ) \int _{0}^{r} k(s)\,{\rm d}s>\tau$
. Note that there exists small $\theta >0$
such that $\beta \tau u\,{\rm e}^{-u}\geq (\beta \tau -\varepsilon )u$
for $u\leq \theta.$
Choose $M\gg 1$
such that $\phi (\xi )\leq \theta$
for $\xi \leq -M$
. Let $\xi ^{0}=-M+cr$
. Then, for $\xi \leq \xi ^{0}$
, we have
Thus, we obtain that for $\xi \leq \xi ^{0}$
,
By $\int ^{\xi }_{-\infty }[\phi (z-y)-\phi (z)]\,{\rm d}z=-y\int ^{1}_{0}\phi (\xi -y\nu )\,{\rm d}\nu$
for any $y\in \mathbb {R}$
, it follows that
Thus,
Because $\phi$
is bounded on $\mathbb {R}$
, there is $B>0$
such that $(\gamma -\tau )\int ^{\xi }_{-\infty }\phi (z)\,{\rm d}z\leq B$
. Then, we can define $\widetilde {\phi }(\xi ):=\int ^{\xi }_{-\infty }\phi (z)\,{\rm d}z$
, $\xi \in \mathbb {R}$
. By (4.3), we obtain that
Note that $\int ^{1}_{0}\widetilde {\phi }(\xi -\nu )\,{\rm d}\nu -\int ^{1}_{0}\widetilde {\phi }(\xi +\nu )\,{\rm d}\nu \leq 0.$
We have
Thus, for some $\delta >0$
there holds
Choose $q_{1}>0$
such that $q_{2}=\frac {\delta }{q_{1}(r-\tau )}<1$
. Then, we have
Define $\gamma =\frac {1}{q_{1}}\ln \frac {1}{q_{2}},$
and $\omega (\xi )=\widetilde {\phi }(\xi )\,{\rm e}^{-\gamma \xi }.$
Then,
which implies that $\omega (\xi )$
is bounded for $\xi \leq 0$
. Thus, there exists some $\Lambda _{1}>0$
such that $\widetilde {\phi }(\xi )\,{\rm e}^{-\rho \xi }\leq \Lambda _{1}$
for $\xi \in \mathbb {R}$
. We further obtain that there exists $\Lambda >0$
such that
Lemma 4.3 Let $\phi$
be any travelling wave of (3.9) and (3.10). If $\phi$
is monotone increasing on $(-\infty,-\ell ]$
for some $\ell \geq 0$
, then there exists $\eta _{0}\geq 0$
such that
Proof. Let $f(u):=ue^{-u}$
. Since $f^{'}(u^{*})=e^{-u^{*}}(1-u^{*}) <\frac {1}{\beta }$
, there exists $\delta >0$
such that
Choose $\chi >\ell$
large enough so that
Let $\gamma :=\inf _{\xi \in [-\chi,+\infty )}\phi (\xi )>0.$
Note that there exists $\chi _{0}>0$
such that $\phi (\xi )<\gamma$
for $\xi \leq -\chi _{0}$
. Then, for every $\eta \geq 0$
, we have $\phi (\xi +\eta )>\phi (\xi )$
for $\xi \in [-\chi -\eta,-\chi _{0}].$
Note by $\phi (+\infty )=u^{*}$
and $\sup _{\xi \in [-\chi _{0}, \chi +\mu ]}\phi (\xi )< u^{*}$
for any $\mu >0$
, there exists $\eta _{0}\geq 0$
such that for every $\eta \geq \eta _{0}$
, $\phi (\xi +\eta )>\phi (\xi )$
for $\xi \in [-\chi _{0},\chi +\mu ].$
Thus,
Note also that for every $\eta \geq 0$
, $\phi (\xi +\eta )\geq \phi (\xi )$
for $\xi \in (-\infty,-\chi -\eta ].$
Thus, for any $\eta \geq \eta _{0}$
, we have
Fix $\mu \geq cr$
in (4.10), where $r>0$
is a fixed number such that $\max _{u\in [0,u^{*}]} f^{'}(u)\int ^{\infty }_{r} k(s)ds<\frac {1}{\beta }-a.$
Define
Obviously, $\hat {\theta }$
is well-defined, and $\phi (\xi +\eta )+\hat {\theta }\geq \phi (\xi )$
for $\xi \in \mathbb {R}$
. We next claim that $\hat {\theta }=0$
to finish the proof. Suppose that $\hat {\theta }>0$
. Define $\omega (\xi ):=\phi (\xi +\eta )+\hat {\theta }-\phi (\xi ).$
Clearly, $\omega (\pm \infty )=\hat {\theta }>0$
. There exists $\xi _{*}$
such that $0=\omega (\xi _{*})=\min \limits _{\xi \in \mathbb {R}}\omega (\xi ).$
Then, we have
By (4.10), we know that $\xi _{*}>\chi +\mu \geq \chi +cr$
. In view of (4.9), we obtain $\phi (\xi _{*}+\eta -cs), \phi (\xi _{*}-cs)\in [u^{*}-\delta,u^{*}]$
for any $s\leq r$
. Since $\max _{u\in [0,u^{*}]} f^{'}(u)\int ^{\infty }_{r}k(s)ds<\frac {1}{\beta }-a,$
it follows that
where $\zeta _{1}\in [u^{*}-\delta,u^{*}]$
, $\zeta _{2}\in [0,u^{*}]$
. Thus, we have
which is a contradiction according to (??). Therefore, $\hat {\theta }=0$
. This completes the proof.
Theorem 4.4 Assume $1<\beta \leq e$
. Any travelling wave $\phi$
of (3.9) and (3.10) is strictly monotone increasing. Moreover, each travelling wave satisfies
where $\sigma$
is some positive number, $p(\xi )$
is a polynomial of order $k$
, and $k=0$
if $c>c^{*}$
and $k=1$
if $c=c^{*}$
.
Proof. Let $\phi$
be any solution of (3.9) and (3.10) with $c\geq c^{*}$
. Thanks to lemma 4.2, we can define the bilateral Laplace transform $\mathcal {L}(\lambda )=\int ^{\infty }_{-\infty }\,{\rm e}^{-\lambda \xi }\phi (\xi )\,{\rm d}\xi$
, $0<\lambda <\rho$
. Applying the Laplace transform to (3.9), we obtain
where $h(\xi ):=\beta \tau \int ^{\infty }_{0}k(s)\phi (\xi -cs)\,{\rm d}s(1-\exp ^{-\int ^{\infty }_{0}k(s)\phi (\xi -cs)\,{\rm d}s}).$
It is easy to see that the analytic strip of $P(\lambda )$
is broader than that of $\mathcal {L}(\lambda )$
. Then, it can be deduced from $\mathcal {L}(\lambda ) = P(\lambda )/\mathcal {R}(\lambda,c)$
that analyticity of $\mathcal {L}(\lambda )$
can be extended to the strip $0<\lambda <\chi$
until $\chi$
is the root of $\mathcal {R}(\lambda,c)=0$
. Then, $\mathcal {L}(\lambda )$
is analytic in the strip $0<\lambda <\lambda _{1}(c)$
and $P(\lambda )$
is analytic in the strip $0<\lambda <\lambda _{1}(c)+\varrho$
for some $\varrho >0$
. Note that (3.9) can be written as
where $L[\phi ](\xi ):=D[\phi (\xi +1)+\phi (\xi -1)-2\phi (\xi )]-\tau \phi (\xi )+\beta \tau \int ^{\infty }_{0}k(s)\phi (\xi -cs)\,{\rm d}s$
. Choose $a<\lambda _{1}(c)< b<\lambda _{1}(c)+\varrho$
, we have
Then, applying [Reference Mallet-Paret15, proposition 6.1], we have
where $p$
is a polynomial of order $k$
and $k+1$
is the multiplicity of $\lambda _{1}(c)$
as the pole of $P(\lambda )/\mathcal {R}(\lambda,c)$
. The asymptotic representation (4.13) has been proved. Next, we prove that any wave profile is strictly monotone increasing. Suppose $\phi$
is any travelling wave of (3.9) and (3.10) with $c\geq c^{*}$
. In view of the asymptotic representation (4.13) and (3.9), we know that $\phi '(\xi )>0$
at minus infinity which implies that $\phi (\xi )$
is monotone increasing on $\xi \in (-\infty,-\ell ]$
for some $\ell >0.$
By lemma 4.3, there exists $\eta _{0}\geq 0$
such that
Define
We claim that $\tilde {\eta }=0$
. Suppose by contradiction that $\tilde {\eta }>0$
. Then, we must have $\phi (\xi + \tilde {\eta })>\phi (\xi )$
for $\xi \in \mathbb {R}$
. Because $\phi$
is uniformly continuous on compact set and is monotone at minus infinite, then for any $\vartheta >0$
, there is small $\varepsilon >0$
such that
Proceeding the arguments below (4.10) in the proof of lemma 4.3, we would obtain $\phi (\xi +(\tilde {\eta }-\varepsilon ))\geq \phi (\xi )$
for $\xi \in \mathbb {R},$
which is a contradiction by the definition of $\tilde {\eta }$
. It then follows that $\phi (\xi +\eta )\geq \phi (\xi )$
for $\xi \in \mathbb {R}$
and $\eta \geq 0$
. Thus, $\phi (\xi )$
is non-decreasing. Note that $\phi (\xi )=\frac {1}{c}\,{\rm e}^{-\frac {\tau +2D}{c}\xi }\int \limits ^{\xi }_{-\infty }\,{\rm e}^{\frac {\tau +2D}{c}z}H[\phi ](z)\,{\rm d}z,$
where $H[\phi ](\xi )=D[\phi (\xi +1)+\phi (\xi -1)]+\beta \tau (\int ^{\infty }_{0}k(s)\phi (\xi -cs)\,{\rm d}s)\mathrm {exp}[-\int ^{\infty }_{0}k(s)\phi (\xi -cs)\,{\rm d}s]$
. Differentiating $\phi (\xi )=\frac {1}{c}\,{\rm e}^{-\frac {\tau +2D}{c}\xi }\int \limits ^{\xi }_{-\infty }\,{\rm e}^{\frac {\tau +2D}{c}z}H[\phi ](z)\,{\rm d}z$
yields $\phi '(\xi )>0$
.
5. Discussion and simulation
In this paper, we study a discrete Nicholson's blowflies equation with distributed delay which arises naturally from the consideration that the blowflies are distributed in discrete environment and have distributed maturated age. We prove the existence of travelling wave solutions for this patch model. Our method is based on the monotone dynamical system approach, together with the delay approximation technique. In particular, we obtain the minimal wave speed of travelling wave solutions, and show that it coincides with the spreading speed. Furthermore, we prove theoretically that all the travelling wave solutions are strictly monotone increasing for general kernels. This implies that the shape of the travelling wave solutions remains monotone increasing during the propagation process for the case $1<\beta \leq e$
. However, the propagation dynamics is unclear in the case where $\beta >e$
(i.e. the ratio of the per capita daily adult death and the maximum per capita daily egg production is less than $1/e$
). We conjecture that the travelling wave solution still exists, but not necessarily monotone in this case. The theoretical study in this case will be more challenging, and is currently under investigation. In this section, we shall carry out some numerical simulations, which will confirm the theoretical results established in our current work.
Let us consider (1.3) by taking $D=0.5$
, $\tau =1$
, $\beta =\sqrt {e}$
and $k(s)=\frac {1}{2}\,{\rm e}^{-\frac {1}{2}s}$
. Then $u^{*}=0.5$
. We choose the initial data $u_j(\theta )$
as
Figure 1 shows the spatial spread of the solution through the selected initial data $u_j(\theta )$
. To demonstrate the travelling wave phenomenon, we choose the initial function as
Our numerical experiment shows that the solution evolves promptly to a travelling wave (see figure 2). We see that the shape of the travelling wave remains strictly monotone in the propagation process.
Figure 1. Spread of $u_j(t)$
in different views.
Figure 2. Travelling wave phenomenon observed for $u_j(t)$
in different views.
Acknowledgements
The authors are grateful to the anonymous referee and the editor for their valuable comments and suggestions which led to an improvement of the original manuscript. R. Wu is partially supported by the NSF of China (No. 12001237), the Basic and Applied Basic Research Foundation of Guangdong (No. 2020A1515110340) and the Fundamental Research Funds for the Central Universities. Z. Xu is partially supported by the NSF of China (No. 12071182), the NSF of Guangdong Province (No. 2017A030313015) and the Fundamental Research Funds for the Central Universities.
