Advertisement

Advances in Difference Equations

, 2019:109 | Cite as

Wave propagation in a infectious disease model with non-local diffusion

  • Yueling ChengEmail author
  • Dianchen Lu
Open Access
Research
  • 70 Downloads

Abstract

In this paper, we propose a nonlocal diffusion infectious disease model with nonlinear incidences and distributed delay to model the transmission of the epidemic. By a fixed point theorem and a limiting argument, we establish the existence of traveling wave solutions for the model. Meanwhile, we obtain the non-existence of traveling wave solutions for the model via two-sided Laplace transform. It is found that the threshold dynamics of traveling wave solutions are entirely determined by the basic reproduction number of the corresponding spatially-homogenous delayed differential system and the minimum wave speed. A typical example is given for supporting our abstract results. Moreover, the effect of the diffusive rate of the infected individuals on the minimum wave speed is discussed.

Keywords

Disease model Nonlocal diffusion Fixed point theorem Two-sided Laplace transform 

1 Introduction

With the rapid development of modern mathematical epidemiology, many mathematical models have been proposed to describe the transmission of communicable diseases. Among these models, one of the cornerstones is the classical Kermack–McKendrick SIR epidemic model [21, 22, 23]
$$ \textstyle\begin{cases} \dot{s}(t)=-\beta s(t)i(t), \\ \dot{i}(t)=\beta s(t)i(t)-\gamma i(t), \\ \dot{r}(t)=\gamma i(t), \end{cases} $$
(1.1)
where \(s(t)\), \(i(t)\) and \(r(t)\) denote the sizes of the susceptible, infected and removed individuals, respectively. The constant \(\beta >0\) is the transmission coefficient and \(\gamma >0\) represents the recovery rate. Kermack and McKendrick [21, 22, 23] proved that if the basic reproduction number \(R_{0}=\beta /\gamma >1\), \(i(t)\) first increases to its maximum and then decreases to zero and hence an epidemic occurs; if \(R_{0}<1\), then \(i(t)\) decreases to zero and an epidemic does not take place.
Due to large mobility of people within a country or even worldwide, the spatially uniform models are not sufficient to give a realistic picture of disease diffusion. Based on this concern, Hosono and Ilyas [18] introduced a reaction–diffusion epidemic model
$$ \textstyle\begin{cases} s_{t}(x,t)=d_{1} s_{xx}(x,t)-\beta s(x,t)i(x,t), \\ i_{t}(x,t)=d_{2} i_{xx}(x,t)+\beta s(x,t)i(x,t)-\gamma i(x,t), \end{cases} $$
(1.2)
where \(d_{1}>0\) and \(d_{2}>0\) are the diffusion rates for the susceptible and infected individuals, respectively. They showed that if the basic reproduction number \(R_{0}=\beta /\gamma >1\) and the wave speed \(c\geq c^{*}\) (\(c^{*}\) is the critical speed), system (1.2) admits a nontrivial and nonnegative traveling wave solution \((s(x+ct),i(x+ct))\) satisfying \(s(\infty )=s_{\infty }< s_{- \infty }=s(-\infty )\) and \(i(\pm \infty )=0\), while there exist no nontrivial and nonnegative traveling wave solutions if \(R_{0}\leq 1\) or \(0< c< c^{*}\).
Note that the bilinear incidence \(\beta si\) will be reasonable for a small number of infected, and it appears quite unrealistic that for a large i this can still hold, see [7] for more details. Recently, nonlinear incidences have been introduced in epidemic models, see [3, 6, 7, 24, 25, 26, 31, 32]. For example, Capasso and Serio [7] introduced a saturated incidence \(\beta si/(1+\alpha i)\)\((\alpha >0)\) into epidemic models to prevent the unboundedness of the contact rate. Liu et al. [31, 32] considered the effect of nonlinear incidence of the form \(i^{p} s^{q}\)\((p,q>0)\) on the behavior of epidemiological models. It has been suggested that time delay should be incorporated into epidemic models in applications [3, 6, 27, 29, 44, 46]. In fact, for many infectious diseases, an infected individual is unable to pass on the disease and a certain amount of biological development is necessary before one can infect others. This period is called the latent period. After the latent period, the individual passes into the infectious period which ends when one’s symptoms appear and one is removed to the recovered class. The latent period is assumed to be a constant τ. A susceptible becomes infective if one contacts the person who is infected τ time units ago. In particular, for some vector-borne diseases (such as those distributed by mosquitoes), Beretta and Takeuchi [6] introduced a distributed delay of the form \(s(t)\int _{0}^{h}f(\tau )i(t-\tau )\,d \tau \) into the SIR model, where h is the maximum time taken to become infectious and \(f(\tau )\) denotes the fraction of a vector population in which the time taken to be infectious is τ. Furthermore, \(f(\tau )\) satisfies
$$ f(\tau )>0, f(\tau )\in C[0,h],\quad \int _{0}^{h}f(\tau )\,d\tau =1. $$
(1.3)
Bai and Zhang [3] investigated a reaction–diffusion model with nonlinear incidences and distributed delay
$$ \textstyle\begin{cases} s_{t}(x,t)=d_{1} s_{xx}(x,t)-\beta s(x,t)\int _{0}^{h}f(\tau )g(i(x, t- \tau ))\,d\tau , \\ i_{t}(x,t)=d_{2} i_{xx}(x,t)+\beta s(x,t)\int _{0}^{h}f(\tau )g(i(x, t- \tau ))\,d\tau -\gamma i(x,t), \end{cases} $$
(1.4)
where the nonlinear function g satisfies two hypotheses: (H1) \(g(i)\) is continuously differentiable and monotone increasing on \([0,\infty )\) with \(g(0)=0\); (H2) \(i/g(i)\) is monotone increasing on \((0,\infty )\) with \(\lim_{i\rightarrow 0^{+}} i/g(i)=1\). The authors showed that (1.4) admits a nontrivial and nonnegative traveling wave solution \((s(x+ct),i(x+ct))\) satisfying \(s(\infty )=s_{\infty }< s _{0}=s(-\infty )\), \(i(\pm \infty )=0\) if \(R_{0}>1\) and \(c\geq c^{*}\). Moreover, they obtained that, if \(0< c< c^{*}\) or \(R_{0}\leq 1\), there exist no such traveling wave solutions. Recently, utilizing Schauder’s fixed point theorem and the two-sided Laplace transform, Wang et al. [42], Xu [46], Zhang and Wang [54], Zhen et al. [55] investigated the existence and nonexistence of traveling wave solutions for a class of reaction–diffusion disease systems with nonlinear incidences and established some important existence and nonexistence theorems.
It is generally known that reaction–diffusion equations have been intensively studied to describe many phenomena in epidemiology and spatial ecology [3, 15, 16, 18, 29, 36, 41, 42, 44, 45, 46, 54, 55]. However, a nonlocal diffusion is better described as a long-range process rather than as a local one in many situations such as in population ecology, since the movements of individuals which cannot be limited to a small area are often free and random. During the past ten years, a special integral operator of the form
$$J\ast u(x,t)-u(x,t)= \int _{-\infty }^{\infty }J(x-y)\bigl[u(y,t)-u(x,t)\bigr]\,dy $$
has been widely used to model diffusion phenomena. Simultaneously, nonlocal diffusion problems have attracted much attention, see [4, 5, 8, 9, 10, 11, 12, 13, 14, 19, 20, 28, 30, 35, 36, 38, 40, 47, 48, 49, 50, 51, 52, 53, 56, 57] and the references therein.
In the present paper we propose a nonlocal diffusion infectious disease model with nonlinear incidences and distributed delay
$$ \textstyle\begin{cases} s_{t}(x,t)=d_{1} \int _{-\infty }^{\infty }J(x-y)[s(y,t)-s(x,t)]\,dy \\ \hphantom{s_{t}(x,t)=} {}-\beta s(x,t)\int _{0}^{h}f(\tau )g(i(x, t-\tau ))\,d\tau , \\ i_{t}(x,t)=d_{2} \int _{-\infty }^{\infty }J(x-y)[i(y,t)-i(x,t)]\,dy \\ \hphantom{i_{t}(x,t)=} {}+\beta s(x,t)\int _{0}^{h}f(\tau )g(i(x, t-\tau ))\,d\tau -\gamma i(x,t) \end{cases} $$
(1.5)
to model the propagation of the epidemic. In (1.5), the integral operators \(J\ast s(x,t)-s(x,t)\) and \(J\ast i(x,t)-i(x,t)\) mean that the rate of susceptible and infected individuals in position x and at time t depend on the influence of neighboring \(s(x,t)\) and \(i(x,t)\) in all other positions y [56, 57]. Model (1.5) with nonlinear incidences and distributed delay describes the spread of an infectious disease (involving only susceptible and infected individuals) transmitted by a vector (e.g., mosquitoes) after a latent period [39]. Throughout this paper, we always assume that \(f(\tau )\) satisfies (1.3), the nonlinear function g and the kernel function J satisfy
  1. (A1)

    \(g(0)=0\), \(g'(i)>0\) and \(g''(i)\leq 0\) for \(i\geq 0\);

     
  2. (A2)

    \(g(i)/i\) is continuously differentiable, nonincreasing for \(i>0\) and \(\lim_{i\rightarrow \infty }g(i)/i=0\);

     
  3. (A3)

    \(J\in C^{1}(\mathbb{R})\), \(J(y)=J(-y)\geq 0\), \(\int _{ \mathbb{R}}J(y)\,dy=1\), J is compactly supported;

     
  4. (A4)

    \(\lim_{\lambda \rightarrow \infty }\lambda ^{-1} \int _{\mathbb{R}}J(y)e^{-\lambda y}\,dy=\infty \) and \(\int _{\mathbb{R}}J(x)e ^{\lambda x}\,dx<+\infty \) for all \(\lambda >0\).

     
Assumptions (A1)–(A4) have been used in the literature, one can refer to [3, 17, 26, 49, 50, 56, 57]. The aim of the current paper is to study the existence and nonexistence of the nontrivial and nonnegative traveling wave solutions of the form
$$ \bigl(s(x+ct),i(x+ct)\bigr)=\bigl(s(z),i(z)\bigr), $$
(1.6)
where \(z=x+ct\) is the moving coordinate and \(c>0\) is the wave speed. Substituting (1.6) into (1.5) yields
$$ \textstyle\begin{cases} cs'(z)=d_{1}\int _{-\infty }^{\infty }J(y)[s(z-y)-s(z)]\,dy-\beta s(z) \int _{0}^{h}f(\tau )g(i(z-c\tau ))\,d\tau , \\ ci'(z)=d_{2}\int _{-\infty }^{\infty }J(y)[i(z-y)-i(z)]\,dy+\beta s(z) \int _{0}^{h}f(\tau )g(i(z-c\tau ))\,d\tau \\ \hphantom{ci'(z)=} {}-\gamma i(z). \end{cases} $$
(1.7)
We are going to find the solutions of (1.7) which satisfy the asymptotic boundary conditions
$$ \begin{aligned} &\lim_{z\rightarrow \infty }s(z):=s( \infty )=s_{\infty }< \lim_{z\rightarrow -\infty }s(z):=s(-\infty )=s_{0}, \\ &\lim_{z\rightarrow \pm \infty }i(z):=i(\pm \infty )=0, \end{aligned} $$
(1.8)
where \(s_{0}>0\) refers to the size of the susceptible individuals at the beginning of the epidemic and \(s_{\infty }\geq 0\) stands for the size of the susceptible individuals after the epidemic.

We should point out that our model is different from model (1.4), which can be viewed as a first order approximation of model (1.5) by Fourier transform and Taylor formula [19, 20]. In [3], under the traveling wave transformation, (1.4) was reduced to a system of second order ordinary differential equations (ODEs). By the general theory of ODEs, the solution of this system can be written as integral forms on the real line. By introducing an auxiliary system and applying the Schauder’s fixed point theorem together with a limiting argument, Bai and Zhang [3] obtained the existence of a traveling wave solution for their model directly. Notice that (1.5) has no monotone semi-flow due to the introduction of nonlocal diffusion, the method used in [3] cannot be effective for (1.5). Moreover, other traditional methods such as the method of monotone iteration together with upper–lower solutions [45] and the shooting method [18] cannot be applied any more. To obtain the existence theorem for (1.5), we construct an invariant cone of initial functions defined on a large spatial domain and apply Schauder’s fixed point theorem on this cone and a limiting argument (motivated by [30, 42, 49, 50, 54]) to establish the existence of a solution for the wave system. Note also that in [3], the authors investigated the nonexistence of the solutions for their model for the cases \(R_{0}<1\) and \(R_{0}=1\), simultaneously. However, in the proof of Theorem 1.3 in [3], the last inequality does not hold when \(R_{0}=1\). Here in the proof of the nonexistence theorem for \(R_{0}\leq 1\), we divide it into two subcases, namely, \(R_{0}<1\) and \(R_{0}=1\). We hope that the techniques adopted here can be used to study other delayed general nonlocal diffusion systems.

The rest of the paper is organized as follows. In Sect. 2, the existence of traveling wave solutions of (1.5) is established. In Sect. 3, the nonexistence of traveling wave solutions of (1.5) is obtained. In Sect. 4, we give an example to illustrate the theoretical results and make a brief conclusion.

2 Existence of traveling waves

2.1 Preliminaries

Linearizing the second equation in (1.7) at \((s_{0},0)\) and using \(g(0)=0\), we have
$$ d_{2} \int _{-\infty }^{\infty }J(y) \bigl[i(z-y)-i(z)\bigr] \,dy-ci'(z)+\beta s _{0}g'(0) \int _{0}^{h}f(\tau )i(z-c\tau )\,d\tau -\gamma i(z)=0. $$
(2.1)
Substituting \(i(z)=e^{\lambda z}\) into (2.1) yields
$$ \varTheta (\lambda , c):=d_{2} \int _{-\infty }^{\infty }J(y) \bigl(e^{-\lambda y}-1\bigr) \,dy-c\lambda +\beta s_{0}g'(0) \int _{0}^{h}f(\tau )e^{-\lambda c \tau }\,d\tau -\gamma =0. $$
(2.2)

Lemma 2.1

Assume that\(R_{0} :=\beta s_{0}g'(0)/\gamma >1\). Then there exist\(c^{*}>0\)and\(\lambda ^{*}>0\)such that
$$\varTheta \bigl(\lambda ^{*}, c^{*}\bigr)=0 \quad \textit{and} \quad \varTheta _{\lambda }\bigl( \lambda ^{*}, c^{*}\bigr)=0. $$
Furthermore, the following alternatives hold:
  1. (i)

    If\(0< c< c^{*}\), then\(\varTheta (\lambda , c)>0\)for\(\lambda \in [0,\infty )\);

     
  2. (ii)
    If\(c>c^{*}\), then equation\(\varTheta (\lambda , c)=0\)has two positive real roots\(\lambda _{1}(c):=\lambda _{1}\)and\(\lambda _{2}(c):= \lambda _{2}\)with\(0<\lambda _{1}<\lambda ^{*}<\lambda _{2}<\infty \)such that
    $$\textstyle\begin{cases} \varTheta (\lambda , c)>0, \quad \lambda \in [0,\lambda _{1})\cup (\lambda _{2},\infty ), \\ \varTheta (\lambda , c)< 0, \quad \lambda \in (\lambda _{1},\lambda _{2}). \end{cases} $$
     

Proof

Obviously, \(\varTheta (0, c)=\beta s_{0}g'(0)-\gamma >0\). Using (A4), we have \(\varTheta (\infty , c)=\infty \) for each fixed \(c>0\). Meanwhile, by (A3), we derive for \(\lambda >0\) and \(c>0\) that
$$\begin{aligned} &\varTheta _{c}(\lambda , c)=-\lambda -\lambda \beta s_{0}g'(0) \int _{0} ^{h}\tau f(\tau )e^{-\lambda c\tau }\,d\tau < 0, \\ &\begin{aligned} \varTheta (\lambda , 0)&=d_{2} \int _{-\infty }^{\infty }J(y) \bigl(e^{-\lambda y}-1\bigr) \,dy+\beta s_{0}g'(0)-\gamma \\ & \geq -d_{2} \lambda \int _{-\infty }^{\infty }yJ(y)\,dy+\beta s_{0}g'(0)- \gamma \\ & =\beta s_{0}g'(0)-\gamma >0, \end{aligned} \\ &\varTheta (\lambda ,\infty )=-\infty , \\ &\varTheta _{\lambda }(0, c)=-c-c\beta s_{0}g'(0) \int _{0}^{h}\tau f( \tau )\,d\tau < 0, \\ &\varTheta _{\lambda \lambda }(\lambda , c)=d_{2} \int _{-\infty }^{\infty }y^{2}J(y)e^{-\lambda y} \,dy+\beta s_{0}g'(0) c^{2} \int _{0}^{h}\tau ^{2} f(\tau )e^{-\lambda c\tau }\,d\tau >0. \end{aligned}$$
By the intermediate value theorem, monotonicity and convexity properties, there exists a positive point \((\lambda ^{*},c^{*})\) such that
$$\varTheta \bigl(\lambda ^{*},c^{*}\bigr)=0 \quad \mbox{and} \quad \varTheta _{\lambda }\bigl(\lambda ^{*},c^{*}\bigr)=0. $$
Since \(\varTheta _{c}(\lambda ,c)<0\), we get that \(\varTheta (\lambda ^{*},c)> \varTheta (\lambda ^{*},c^{*})=0\) for any \(0< c< c^{*}\). Using the convexity of \(\varTheta (\lambda ,c)\) with respect to λ, we have
$$\varTheta (\lambda _{1},c)\geq \varTheta \bigl(\lambda ^{*},c \bigr)=0 \quad \mbox{for } \lambda \in [0,\infty ). $$
Due to \(\varTheta _{c}(\lambda ,c)<0\), we have that \(\varTheta (\lambda ^{*},c)< \varTheta (\lambda ^{*},c^{*})=0\) for any \(c>c^{*}\). Then by \(\varTheta (0,c)>0\), \(\varTheta _{\lambda \lambda }(\lambda ,c)>0\) and \(\varTheta (\lambda ,c)\rightarrow \infty \) as \(\lambda \rightarrow \infty \), we obtain that the equation \(\varTheta (\lambda ,c)=0\) has two positive roots \(\lambda _{1}(c):=\lambda _{1}\) and \(\lambda _{2}(c):= \lambda _{2}\) with \(0<\lambda _{1}<\lambda ^{*}<\lambda _{2}<\infty \) such that
$$\varTheta (\lambda , c) \textstyle\begin{cases} >0, \quad \lambda \in [0,\lambda _{1})\cup (\lambda _{2},\infty ), \\ < 0, \quad \lambda \in (\lambda _{1},\lambda _{2}). \end{cases} $$
The proof of this lemma is finished. □

In the remainder of this section, we always assume that \(R_{0} >1\) and \(c>c^{*}\).

2.2 Key lemmas

Set
$$q(i):=\beta s_{0}\frac{g(i)}{i}, \quad i>0, $$
then \(q(i)\) is a continuous differential function for \(i>0\) (see (A2)). A direct computation yields
$$\lim_{i\rightarrow 0^{+}}q(i)=\lim_{i\rightarrow 0^{+}}\beta s_{0} \frac{g(i)}{i}=\beta s_{0}g'(0)> \gamma $$
and
$$\lim_{i\rightarrow \infty }q(i)=\lim_{i\rightarrow \infty }\beta s _{0}\frac{g(i)}{i}=0< \gamma , $$
where we have used \(R_{0}>1\) and (A2). So there exists a positive constant \(i_{0}\) such that
$$ \beta s_{0}g(i_{0})=\gamma i_{0}. $$
(2.3)
For \(z\in \mathbb{R}\), define the following nonnegative continuous functions:
$$\begin{aligned} &\overline{s}(z):=s_{0}, \\ &\overline{i}(z):= \textstyle\begin{cases} e^{\lambda _{1} z}, \quad z< \lambda _{1}^{-1}\ln i_{0}, \\ i_{0}, \quad z\geq \lambda _{1}^{-1}\ln i_{0}, \end{cases}\displaystyle \\ &\underline{s}(z):= \textstyle\begin{cases} s_{0}-\mu ^{-1}e^{\mu z}, \quad z< \mu ^{-1}\ln (\mu s_{0}), \\ 0, \quad z\geq \mu ^{-1}\ln (\mu s_{0}), \end{cases}\displaystyle \\ &\underline{i}(z):=\textstyle\begin{cases} e^{\lambda _{1}z}(1-Me^{\alpha z}), \quad z< -\alpha ^{-1}\ln M, \\ 0, \quad z\geq -\alpha ^{-1}\ln M, \end{cases}\displaystyle \end{aligned}$$
where \(\lambda _{1}\) is the smaller positive real root of (2.2) and μ, M, α are all positive constants which will be determined later.

Lemma 2.2

The function\(\overline{s}(z)\)satisfies
$$d_{1} \int _{-\infty }^{\infty }J(y)\overline{s}(z-y) \,dy-d_{1} \overline{s}(z)-c\overline{s}'(z)-\beta \overline{s}(z) \int _{0}^{h}f( \tau )g\bigl(\underline{i}(z-c\tau ) \bigr)\,d\tau \leq 0 $$
for all\(z\in \mathbb{R}\).

Proof

The proof is trivial, so it is omitted. □

Lemma 2.3

The function\(\overline{i}(z)\)satisfies
$$d_{2} \int _{-\infty }^{\infty }J(y)\overline{i}(z-y) \,dy-d_{2} \overline{i}(z)-c\overline{i}'(z)+\beta \overline{s}(z) \int _{0}^{h}f( \tau )g\bigl(\overline{i}(z-c\tau ) \bigr)\,d\tau -\gamma \overline{i}(z)\leq 0 $$
for all\(z\neq z_{1}:=\lambda _{1}^{-1}\ln i_{0}\).

Proof

It follows from (A1)–(A3) that
$$ \int _{-\infty }^{\infty }J(y)\overline{i}(z-y)\,dy\leq \min \biggl\{ e ^{\lambda _{1}z} \int _{-\infty }^{\infty }J(y)e^{-\lambda _{1}y} \,dy,i_{0} \biggr\} , \quad z\in \mathbb{R} $$
(2.4)
and
$$ g\bigl(\overline{i}(z-c\tau )\bigr)=g\bigl(\overline{i}(z-c\tau ) \bigr)-g(0)\leq g'(0) \overline{i}(z-c\tau ). $$
(2.5)
If \(z< z_{1}\), then \(\overline{i}(z)=e^{\lambda _{1}z}\). From (2.4), (2.5) and Lemma 2.1, we obtain that
$$\begin{aligned} &d_{2} \int _{-\infty }^{\infty }J(y)\overline{i}(z-y) \,dy-d_{2} \overline{i}(z)-c\overline{i}'(z)+\beta \overline{s}(z) \int _{0}^{h}f( \tau )g\bigl(\overline{i}(z-c\tau ) \bigr)\,d\tau -\gamma \overline{i}(z) \\ &\quad \leq d_{2} \int _{-\infty }^{\infty }J(y)\overline{i}(z-y) \,dy-d_{2} \overline{i}(z)-c\overline{i}'(z)+\beta s_{0}g'(0) \int _{0}^{h}f( \tau )\overline{i}(z-c\tau )\,d\tau -\gamma \overline{i}(z) \\ &\quad =e^{\lambda _{1} z} \biggl[d_{2} \int _{-\infty }^{\infty }J(y) \bigl(e^{- \lambda _{1} y}-1\bigr) \,dy-c\lambda _{1}+\beta s_{0}g'(0) \int _{0}^{h}f(\tau )e ^{-\lambda _{1} c\tau }\,d\tau - \gamma \biggr] \\ &\quad =e^{\lambda _{1} z} \varTheta (\lambda _{1}, c) \\ &\quad =0. \end{aligned}$$
If \(z>z_{1}\), then \(\overline{i}(z)=i_{0}\). By (2.3), (A1) and the definition of \(\overline{i}(z)\), we have that
$$\begin{aligned} &d_{2} \int _{-\infty }^{\infty }J(y)\overline{i}(z-y) \,dy-d_{2} \overline{i}(z)-c\overline{i}'(z)+\beta \overline{s}(z) \int _{0}^{h}f( \tau )g\bigl(\overline{i}(z-c\tau ) \bigr)\,d\tau -\gamma \overline{i}(z) \\ &\quad \leq \beta s_{0}g(i_{0})-\gamma i_{0} \\ &\quad =0. \end{aligned}$$
The proof of this lemma is completed. □

Lemma 2.4

Let\(\mu \in (0,\lambda _{1})\)be sufficiently small. Then the function\(\underline{s}(z)\)satisfies
$$ d_{1} \int _{-\infty }^{\infty }J(y)\underline{s}(z-y) \,dy-d_{1} \underline{s}(z)-c\underline{s}'(z)-\beta \underline{s}(z) \int _{0} ^{h}f(\tau )g\bigl(\overline{i}(z-c\tau ) \bigr)\,d\tau \geq 0 $$
(2.6)
for all\(z\neq z_{2}:=\mu ^{-1}\ln (\mu s_{0})\).

Proof

If \(z>z_{2}\), then \(\underline{s}(z)=0\), which implies that (2.6) holds.

Note that \(z_{2}=\mu ^{-1}\ln (\mu s_{0})<\lambda _{1}^{-1}\ln i_{0}=z _{1}\) as \(\mu \rightarrow 0^{+}\). If \(z< z_{2}< z_{1}\), then
$$ \underline{s}(z)=s_{0}-\mu ^{-1}e^{\mu z} \quad \mbox{and} \quad \overline{i}(z)=e^{\lambda _{1} z}. $$
(2.7)
It follows from (2.5) and (2.7) that
$$ \begin{aligned}[b] &d_{1} \int _{-\infty }^{\infty }J(y)\underline{s}(z-y) \,dy-d_{1} \underline{s}(z)-c\underline{s}'(z)-\beta \underline{s}(z) \int _{0} ^{h}f(\tau )g\bigl(\overline{i}(z-c\tau ) \bigr)\,d\tau \\ &\quad \geq d_{1} \int _{-\infty }^{\infty }J(y)\underline{s}(z-y) \,dy-d_{1} \underline{s}(z)-c\underline{s}'(z)-\beta \underline{s}(z)g'(0) \int _{0}^{h}f(\tau )\overline{i}(z-c\tau )\,d\tau \\ &\quad =-d_{1} \mu ^{-1}e^{\mu z} \int _{-\infty }^{\infty }J(y)e^{-\mu y}\,dy+d _{1} \mu ^{-1}e^{\mu z}+ce^{\mu z} \\ &\qquad{} -\beta \bigl(s_{0}-\mu ^{-1}e^{\mu z} \bigr)g'(0) \int _{0}^{h}f( \tau )e^{\lambda _{1}(z-c\tau )}\,d\tau \\ &\quad \geq e^{\mu z} \biggl[-d_{1}\mu ^{-1} \int _{-\infty }^{\infty }J(y) \bigl(e ^{-\mu y}-1\bigr) \,dy+c-\beta s_{0} g'(0)e^{(\lambda _{1}-\mu )z} \biggr] \\ &\quad \geq e^{\mu z} \biggl[-d_{1}\mu ^{-1} \int _{-\infty }^{\infty }J(y) \bigl(e ^{-\mu y}-1\bigr) \,dy+c-\beta s_{0} g'(0) (\mu s_{0})^{\frac{\lambda _{1}- \mu }{\mu }} \biggr], \end{aligned} $$
(2.8)
where we have used the fact that \(e^{(\lambda _{1}-\mu )z}<(\mu s_{0})^{\frac{ \lambda _{1}-\mu }{\mu }}\) for \(z< z_{2}\) and the assumption that \(0<\mu <\lambda _{1}\). Since \(\lim_{\mu \rightarrow 0^{+}}(\mu s_{0})^{\frac{ \lambda _{1}-\mu }{\mu }}=0\) and \(\lim_{\mu \rightarrow 0^{+}}\mu ^{-1} \int _{\mathbb{R}}J(y)(e^{-\mu y}-1)\,dy=0\), we have for sufficiently small \(\mu >0\) that
$$ -d_{1}\mu ^{-1} \int _{-\infty }^{\infty }J(y) \bigl(e^{-\mu y}-1\bigr) \,dy+c-\beta s _{0} g'(0) (\mu s_{0})^{\frac{\lambda _{1}-\mu }{\mu }}>0. $$
(2.9)
This ends this lemma. □

Lemma 2.5

Suppose that\(0<\alpha <\min \{\mu , \lambda _{1}, \lambda _{2}-\lambda _{1}\}\)and\(M>1\)is sufficiently large. Then the function\(\underline{i}(z)\)satisfies
$$ \begin{aligned}[b] &d_{2} \int _{-\infty }^{\infty }J(y)\underline{i}(z-y) \,dy-d_{2} \underline{i}(z)-c\underline{i}'(z) \\ &\quad{} +\beta \underline{s}(z) \int _{0}^{h}f(\tau )g\bigl(\underline{i}(z-c \tau ) \bigr)\,d\tau -\gamma \underline{i}(z)\geq 0 \end{aligned} $$
(2.10)
for all\(z\neq z_{3}:=-\alpha ^{-1}\ln M\).

Proof

If \(z>z_{3}\), then \(\underline{i}(z)=0\), \(\underline{s}(z)\geq 0\), \(\int _{\mathbb{R}}J(y)\underline{i}(z-y)\,dy\geq 0\) and \(g( \underline{i}(z-c\tau ))\geq 0\). Obviously, (2.10) holds.

If \(z< z_{3}\), then \(\underline{i}(z)=e^{\lambda _{1}z}(1-Me^{\alpha z})\). Let \(M_{1}>1\) be large enough such that \(-\alpha ^{-1}\ln M_{1}+1=z _{2}\). Choose \(M\geq M_{1}\), then \(\underline{s}(z)=s_{0}-\mu ^{-1}e ^{\mu z}\) for \(z< z_{3}< z_{2}\). Thus (2.10) is equivalent to
$$\begin{aligned} &\beta s_{0}g'(0) \int _{0}^{h}f(\tau )\underline{i}(z-c\tau )\,d\tau - \beta \underline{s}(z) \int _{0}^{h}f(\tau )g\bigl(\underline{i}(z-c\tau ) \bigr)\,d \tau \\ &\quad \leq d_{2} \int _{-\infty }^{\infty }J(y)\underline{i}(z-y) \,dy-d_{2} \underline{i}(z)-c\underline{i}'(z)+\beta s_{0}g'(0) \int _{0}^{h}f( \tau )\underline{i}(z-c\tau )\,d\tau -\gamma \underline{i}(z), \end{aligned}$$
which gives
$$ \begin{aligned}[b] &\beta s_{0} \int _{0}^{h}f(\tau )\bigl[g'(0) \underline{i}(z-c\tau )-g\bigl( \underline{i}(z-c\tau )\bigr)\bigr]\,d\tau \\ &\qquad{} +\beta \mu ^{-1}e^{\mu z} \int _{0}^{h}f(\tau )g\bigl(\underline{i}(z-c \tau ) \bigr)\,d\tau \\ &\quad \leq \varTheta (\lambda _{1},c)e^{\lambda _{1} z}-M\varTheta (\lambda _{1}+ \alpha ,c)e^{(\lambda _{1}+\alpha )z}. \end{aligned} $$
(2.11)
By (A2), we know that, for any \(\hat{\varepsilon }\in (0,1)\), there exists a small positive constant \(\delta _{0}\) such that
$$ \frac{g(i)}{i}\geq g'(0)-\hat{\varepsilon } \quad \mbox{for } 0< i< \delta _{0}. $$
(2.12)
Thus for \(0< i<\delta _{0}\), one has that
$$ g'(0)i-g(i)=i \biggl[g'(0)- \frac{g(i)}{i} \biggr]\leq i \hat{\varepsilon }\leq \biggl(\frac{i+\hat{\varepsilon }}{2} \biggr)^{2}. $$
(2.13)
Since (2.13) holds for any sufficiently small \(\hat{\varepsilon }\in (0,1)\), we obtain that
$$g'(0)i-g(i)\leq i^{2} \quad \mbox{for } 0< i< \delta _{0}. $$
In order to ensure (2.11) holds, it suffices to prove that
$$ \begin{aligned}[b] &\beta s_{0} \int _{0}^{h}f(\tau )\underline{i}^{2}(z-c \tau )\,d\tau + \beta \mu ^{-1}g'(0)e^{\mu z} \int _{0}^{h}f(\tau )\underline{i}(z-c \tau )\,d\tau \\ &\quad \leq -M\varTheta (\lambda _{1}+\alpha , c)e^{(\lambda _{1}+\alpha )z}. \end{aligned} $$
(2.14)
Further enlarging the left-hand side of (2.14) by \(\underline{i}(z)< e^{\lambda _{1} z}\) gives that
$$ \beta s_{0} e^{(\lambda _{1}-\alpha )z}+\beta \mu ^{-1}g'(0) e^{(\mu - \alpha )z}\leq -M\varTheta (\lambda _{1}+\alpha ,c). $$
(2.15)
Choose \(0<\alpha < \lambda _{2}-\lambda _{1}\), then \(\varTheta (\lambda _{1}+\alpha ,c)<0\) (see Lemma 2.1). We infer from (2.15) that
$$M\geq \frac{\beta s_{0}e^{(\lambda _{1}-\alpha )z}+\beta \mu ^{-1}g'(0)e ^{(\mu -\alpha )z}}{-\varTheta (\lambda _{1}+\alpha ,c)}. $$
Since \(z< z_{2}<0\) and \(0<\alpha <\min \{\mu ,\lambda _{1}\}\), one knows that
$$e^{(\lambda _{1}-\alpha )z}< 1, \qquad e^{(\mu -\alpha )z}< 1. $$
Then (2.15) holds if we choose that
$$M\geq \max \biggl\{ \frac{\beta s_{0}+\beta \mu ^{-1}g'(0)}{-\varTheta ( \lambda _{1}+\alpha ,c)}+1, M_{1} \biggr\} . $$
The claim of this lemma is shown. □

2.3 Existence of solution for (1.7) on a closed bounded interval

Now we construct a closed bounded set
$$\varGamma _{l}= \left \{ \bigl(\phi (\cdot ),\varphi (\cdot )\bigr) \in C\bigl([-l,l], \mathbb{R}^{2}\bigr)\left| \textstyle\begin{array}{l} \phi (-l)=\underline{s}(-l), \\ \varphi (-l)=\underline{i}(-l), \\ \underline{s}(z)\leq \phi (z) \leq s_{0}, \\ \underline{i}(z)\leq \varphi (z)\leq \overline{i}(z) \\ \mbox{for any } z\in [-l,l] \end{array}\displaystyle \right. \right \}, $$
where l is a constant satisfying \(l>\rho :=\max \{|z_{3}|, r, ch \}\) (r is the radius of suppJ). For \((\phi (z),\varphi (z)) \in C([-l,l],\mathbb{R}^{2})\), define
$$\hat{\phi }(z)= \textstyle\begin{cases} \phi (l), \quad z>l, \\ \phi (z), \quad \vert z \vert \leq l, \\ \underline{s}(z), \quad z< -l, \end{cases}\displaystyle \qquad \hat{\varphi }(z)= \textstyle\begin{cases} \varphi (l), \quad z>l, \\ \varphi (z), \quad \vert z \vert \leq l, \\ \underline{i}(z), \quad z< -l. \end{cases} $$
Consider the initial value problem
$$\begin{aligned} &\begin{aligned}[b] cs'(z) ={}&d_{1} \int _{-\infty }^{\infty }J(y)\hat{\phi }(z-y)\,dy+\varrho \phi (z)-(d_{1}+\varrho )s(z) \\ &{} -\beta \phi (z) \int _{0}^{h}f(\tau )g\bigl(\hat{\varphi }(z-c\tau ) \bigr)\,d \tau , \end{aligned} \end{aligned}$$
(2.16)
$$\begin{aligned} &\begin{aligned}[b] ci'(z)= {}&d_{2} \int _{-\infty }^{\infty }J(y)\hat{\varphi }(z-y)\,dy+ \beta \phi (z) \int _{0}^{h}f(\tau )g\bigl(\hat{\varphi }(z-c\tau ) \bigr)\,d\tau \\ &{}-(d_{2}+\gamma ) i(z) \end{aligned} \end{aligned}$$
(2.17)
on \([-l,l]\) with
$$ s(-l)=\underline{s}(-l), \qquad i(-l)=\underline{i}(-l), $$
(2.18)
where ϱ is a constant satisfying \(\varrho >\beta g(i_{0})\). It is easy to verify that
$$ \underline{s}(z)\leq \hat{\phi }(z) \leq s_{0}, \qquad \underline{i}(z) \leq \hat{\varphi }(z)\leq \overline{i}(z) \quad \mbox{for } z\in \mathbb{R}. $$
(2.19)
By the general theory of ODEs, (2.16)–(2.18) admits a unique solution \((s_{l}(z), i_{l}(z))\in C^{1}([-l,l],\mathbb{R}^{2})\). We define an operator \(\mathcal{F}=(\mathcal{F}_{1},\mathcal{F}_{2})\): \(\varGamma _{l}\mapsto C([-l,l],\mathbb{R}^{2})\) as follows:
$$\mathcal{F}_{1}(\phi ,\varphi ) (z):=s_{l}(z), \qquad \mathcal{F}_{2}( \phi ,\varphi ) (z):=i_{l}(z), \quad z\in [-l,l]. $$

Proposition 2.1

The operator\(\mathcal{F}=(\mathcal{F}_{1},\mathcal{F}_{2})\)maps\(\varGamma _{l}\)into\(\varGamma _{l}\).

Proof

Due to \(\varrho >\beta g(i_{0})\) and \(\hat{\varphi }(z)\leq i_{0}\), we obtain that \(\varrho \phi (z)-\beta \phi (z)\int _{0}^{h}f(\tau )g( \hat{\varphi }(z-c\tau ))\,d\tau \) is increasing with respect to ϕ. Then we derive from Lemmas 2.2, 2.4 and (2.19) that
$$ \begin{aligned}[b] & d_{1} \int _{-\infty }^{\infty }J(y)\hat{\phi }(z-y)\,dy-c \bar{s}'(z)+ \varrho \phi (z)-(d_{1}+\varrho )\bar{s}(z) \\ &\qquad {}-\beta \phi (z) \int _{0}^{h}f(\tau )g\bigl(\hat{\varphi }(z-c\tau ) \bigr)\,d \tau \\ &\quad \leq d_{1} \int _{-\infty }^{\infty }J(y)\bar{s}(z) (z-y)\,dy-c \bar{s}'(z)+ \varrho \bar{s}(z)-(d_{1}+\varrho )\bar{s}(z) \\ &\qquad{} -\beta \bar{s}(z) \int _{0}^{h}f(\tau )g\bigl(\underline{i}(z-c \tau ) \bigr)\,d\tau \\ & \quad \leq 0, \quad z\in [-l,l], \end{aligned} $$
(2.20)
and
$$ \begin{aligned}[b] & d_{1} \int _{-\infty }^{\infty }J(y)\hat{\phi }(z-y)\,dy-c \underline{s}'(z)+\varrho \phi (z)-(d_{1}+\varrho ) \underline{s}(z) \\ &\qquad{} -\beta \phi (z) \int _{0}^{h}f(\tau )g\bigl(\hat{\varphi }(z-c\tau ) \bigr)\,d \tau \\ &\quad \geq d_{1} \int _{-\infty }^{\infty }J(y)\underline{s}(z) (z-y)\,dy-c \underline{s}'(z)+\varrho \underline{s}(z)-(d_{1}+\varrho ) \underline{s}(z) \\ &\qquad{} -\beta \underline{s}(z) \int _{0}^{h}f(\tau )g\bigl(\bar{i}(z-c \tau )\bigr) \,d\tau \\ &\quad \geq 0, \quad z\in \bigl[-l,z_{2})\cup (z_{2},l\bigr]. \end{aligned} $$
(2.21)
By Lemmas 2.3, 2.5 and (2.19), we have that
$$ \begin{aligned}[b] &c\underline{i}'(z)-d_{2} \int _{-\infty }^{\infty }J(y)\hat{\varphi }(z-y)\,dy- \beta \phi (z) \int _{0}^{h}f(\tau )g\bigl(\hat{\varphi }(z-c\tau ) \bigr)\,d\tau \\ &\qquad{} +(d_{2}+\gamma )\underline{i}(z) \\ &\quad \leq c\underline{i}'(z)-d_{2} \int _{-\infty }^{\infty }J(y) \underline{i}(z-y)\,dy-\beta \underline{s}(z) \int _{0}^{h}f(\tau )g\bigl( \underline{i}(z-c\tau ) \bigr)\,d\tau \\ &\qquad {}+(d_{2}+\gamma )\underline{i}(z) \\ &\quad \leq 0, \quad z\in \bigl[-l,z_{3})\cup (z_{3},l\bigr], \end{aligned} $$
(2.22)
and
$$\begin{aligned} &c\overline{i}'(z)-d_{2} \int _{-\infty }^{\infty }J(y)\hat{\varphi }(z-y)\,dy- \beta \phi (z) \int _{0}^{h}f(\tau )g\bigl(\hat{\varphi }(z-c\tau ) \bigr)\,d\tau +(d_{2}+\gamma )\overline{i}(z) \\ & \quad \geq c\overline{i}'(z)-d_{2} \int _{-\infty }^{\infty }J(y) \overline{i}(z-y)\,dy-\beta s_{0} \int _{0}^{h}f(\tau )g\bigl(\overline{i}(z-c \tau ) \bigr)\,d\tau+(d_{2}+\gamma )\overline{i}(z) \\ & \quad \geq 0, \quad z\in \bigl[-l,z_{1})\cup (z_{1},l\bigr]. \end{aligned}$$
(2.23)
In view of
$$ \underline{s}(-l)=s_{l}(-l)\leq \bar{s}(-l), \qquad \underline{i}(-l)=i _{l}(-l)\leq \bar{i}(-l), $$
(2.24)
(2.20)–(2.23), comparison theorem and the continuity of \(\bar{s}(z)\), \(\bar{i}(z)\), \(\underline{s}(z)\), \(\underline{i}(z)\), \(s_{l}(z)\), \(i_{l}(z)\), we get that
$$\underline{s}(z)\leq s_{l}(z)\leq \bar{s}(z), \qquad \underline{i}(z) \leq i_{l}(z)\leq \bar{i}(z) \quad \mbox{for } z\in [-l,l]. $$
The proof of this proposition is finished. □

Proposition 2.2

The operator\(\mathcal{F}=(\mathcal{F}_{1},\mathcal{F}_{2}):\varGamma _{l}\mapsto \varGamma _{l}\)is completely continuous with respect to the supremum norm in\(C([-l,l],\mathbb{R}^{2})\).

Proof

We first show that \(\mathcal{F}\) is compact. Let \((s_{l}(z), i_{l}(z))\) be the solution to (2.16)–(2.18). Since it is of class \(C^{1}([-l,l],\mathbb{R}^{2})\), \(s'_{l}(z)\) and \(i'_{l}(z)\) are bounded on \([-l,l]\). Hence, by the definition of \(\varGamma _{l}\), we obtain that the operator \(\mathcal{F}\) is compact.

We next prove that \(\mathcal{F}\) is continuous. Assume that \((\phi _{1}(z),\varphi _{1}(z))\in \varGamma _{l}\) and \((\phi _{2}(z),\varphi _{2}(z))\in \varGamma _{l}\) for \(z\in [-l,l]\). Equation (2.16) can be written as
$$ s_{l}(z)= \underline{s}(-l)e^{-\frac{d_{1}+\varrho }{c}(l+z)}+ \frac{1}{c} \int _{-l}^{z}e^{-\frac{d_{1}+\varrho }{c}(z-\eta )}H_{1}( \phi ,\varphi ) (\eta )\,d\eta , $$
(2.25)
where
$$H_{1}(\phi ,\varphi ) (\eta )=d_{1} \int _{-\infty }^{\infty }J(y) \hat{\phi }(\eta -y)\,dy+\varrho \phi (\eta )-\beta \phi (\eta ) \int _{0}^{h}f(\tau )g\bigl(\hat{\varphi }(\eta -c \tau )\bigr)\,d\tau . $$
A direct computation gives that
$$ \begin{aligned}[b] & \bigl\vert H_{1}(\phi _{1},\varphi _{1}) (\eta )-H_{1}(\phi _{2},\varphi _{2}) ( \eta ) \bigr\vert \\ &\quad = \biggl\vert d_{1} \int _{-\infty }^{\infty }J(\eta -y)\bigl[\hat{\phi }_{1}(y)- \hat{\phi }_{2}(y)\bigr]\,dy+\varrho \bigl[\phi _{1}(\eta )-\phi _{2}(\eta )\bigr] \\ &\qquad {}-\beta \biggl[\phi _{1}(\eta ) \int _{0}^{h}f(\tau )g\bigl( \hat{\varphi }_{1}(\eta -c\tau )\bigr)\,d\tau -\phi _{2}(\eta ) \int _{0}^{h}f( \tau )g\bigl(\hat{\varphi }_{2}(\eta -c\tau )\bigr)\,d\tau \biggr] \biggr\vert \\ &\quad \leq d_{1} \biggl\vert \int _{-l}^{l}J(\eta -y)\bigl[\phi _{1}(y)-\phi _{2}(y)\bigr]\,dy \biggr\vert +d_{1} \biggl\vert \int _{l}^{\infty }J(\eta -y)\bigl[\phi _{1}(l)- \phi _{2}(l)\bigr]\,dy \biggr\vert \\ &\qquad {}+\varrho \bigl\vert \phi _{1}(\eta )-\phi _{2}( \eta ) \bigr\vert \\ &\qquad{} +\beta \biggl\vert \phi _{1}(\eta ) \int _{0}^{h}f(\tau )g\bigl( \hat{\varphi }_{1}(\eta -c\tau )\bigr)\,d\tau -\phi _{1}(\eta ) \int _{0}^{h}f( \tau )g\bigl(\hat{\varphi }_{2}(\eta -c\tau )\bigr)\,d\tau \\ &\qquad{} +\phi _{1}(\eta ) \int _{0}^{h}f(\tau )g\bigl(\hat{\varphi }_{2}( \eta -c\tau )\bigr)\,d\tau -\phi _{2}(\eta ) \int _{0}^{h}f(\tau )g\bigl( \hat{\varphi }_{2}(\eta -c\tau )\bigr)\,d\tau \biggr\vert \\ &\quad \leq \bigl[2d_{1}+\varrho +\beta g(i_{0}) \bigr]\max _{y\in [-l,l]} \bigl\vert \phi _{1}(y)-\phi _{2}(y) \bigr\vert \\ &\qquad {}+\beta s_{0}g'(0)\max_{y\in [-l,l]} \bigl\vert \varphi _{1}(y)-\varphi _{2}(y) \bigr\vert . \end{aligned} $$
(2.26)
Then we can obtain the continuity of \(\mathcal{F}_{1}\). Similarly, one can deduce the continuity of \(\mathcal{F}_{2}\). The proof is completed. □

By the definition of \(\varGamma _{l}\), it is easy to see that \(\varGamma _{l}\) is nonempty, bounded, closed and convex. Then based on Propositions 2.1, 2.2 and Schauder’s fixed point theorem, we obtain the following theorem.

Theorem 2.1

There exists\((s_{l}(z),i_{l}(z))\in \varGamma _{l}\)such that\(\mathcal{F}(s_{l},i_{l})(z)=(s_{l}(z),i_{l}(z))\), which satisfies
$$ \underline{s}(z)\leq s_{l}(z) \leq s_{0}, \qquad \underline{i}(z) \leq i_{l}(z)\leq \overline{i}(z) \quad \textit{for } z\in [-l,l]. $$
(2.27)

2.4 Existence of solutions of (1.7) on \(\mathbb{R}\)

Choose a positive increasing constant sequence \(\{l_{n}\}_{n=1}^{ \infty }\) such that \(l_{n}>\rho \) and \(\lim_{n\rightarrow \infty }l _{n}=\infty \). Then by Theorem 2.1, we obtain that there exists some \((s_{l_{n}},i_{l_{n}})\in \varGamma _{l_{n}}\) such that
$$ \textstyle\begin{cases} cs_{l_{n}}'(z)=d_{1} \int _{-\infty }^{\infty }J(y)\hat{s}_{l_{n}}(z-y)\,dy-d _{1} s_{l_{n}}(z) \\ \hphantom{cs_{l_{n}}'(z)=} {}-\beta s_{l_{n}}(z)\int _{0}^{h}f(\tau )g(\hat{i}_{l_{n}}(z-c\tau ))\,d \tau , \\ ci_{l_{n}}'(z)=d_{2} \int _{-\infty }^{\infty }J(y)\hat{i}_{l_{n}}(z-y)\,dy+ \beta s_{l_{n}}(z)\int _{0}^{h}f(\tau )g(\hat{i}_{l_{n}}(z-c\tau ))\,d\tau \\ \hphantom{ci_{l_{n}}'(z)=} {}-(d_{2}+\gamma )i_{l_{n}}(z), \quad n\in \mathbb{N}^{*}, \end{cases} $$
(2.28)
where
$$\hat{s}_{l_{n}}(z)= \textstyle\begin{cases} s_{l_{n}}(l_{n}), \quad z>l_{n}, \\ s_{l_{n}}(z), \quad \vert z \vert \leq l_{n}, \\ \underline{s}(z), \quad z< -l_{n}, \end{cases}\displaystyle \qquad \hat{i}_{l_{n}}(z)= \textstyle\begin{cases} i_{l_{n}}(l_{n}), \quad z>l_{n}, \\ i_{l_{n}}(z), \quad \vert z \vert \leq l_{n}, \\ \underline{i}(z), \quad z< -l_{n}, \end{cases} $$
and
$$ \underline{s}(z)\leq s_{l_{n}}(z)\leq s_{0}, \qquad \underline{i}(z) \leq i_{l_{n}}(z)\leq \bar{i}(z), \quad z\in [-l_{n},l_{n}]. $$
(2.29)
Inequalities (2.29) imply that \(s_{l_{n}}(z)\) and \(i_{l_{n}}(z)\) are all uniformly bounded on \(z\in [-l_{n},l_{n}]\), which together with (2.28) guarantees that \(s_{l_{n}}'(z)\) and \(i_{l_{n}}'(z)\) are all uniformly bounded on \(z\in [-l_{n},l_{n}]\). Differentiating system (2.28), one can infer that \(s_{l_{n}}''(z)\) and \(i_{l_{n}}''(z)\) are all uniformly bounded on \(z\in [-l_{n}+\rho ,l_{n}-\rho ]\). Applying Arzela–Ascoli theorem on \([-l_{n}+\rho ,l_{n}-\rho ]\) for every \(n\in \mathbb{N}^{*}\) large enough, we have a subsequence which is still denoted by \(l_{n}\) through the diagonal argument such that \(\lim_{n\rightarrow \infty }l_{n}=\infty \) and
$$s_{l_{n}}\rightarrow s, \qquad i_{l_{n}}\rightarrow i, \qquad s'_{l_{n}} \rightarrow s', \qquad i'_{l_{n}}\rightarrow i' \quad \mbox{as } n \rightarrow \infty , $$
uniformly in any compact subinterval of \(\mathbb{R}\). Furthermore, by Lebesgue dominated convergence theorem, we have that
$$\begin{aligned} &\lim_{n\rightarrow \infty }s_{l_{n}}(z) \int _{0}^{h}f(\tau )g\bigl(\hat{i} _{l_{n}}(z-c\tau )\bigr)\,d\tau =s(z) \int _{0}^{h}f(\tau )g\bigl(i(z-c\tau )\bigr)\,d \tau , \\ &\lim_{n\rightarrow \infty } \int _{-\infty }^{\infty }J(y)\hat{s}_{l _{n}}(z-y)\,dy = \int _{-\infty }^{\infty }J(y)s(z-y)\,dy, \\ &\lim_{n\rightarrow \infty } \int _{-\infty }^{\infty }J(y)\hat{i}_{l _{n}}(z-y)\,dy = \int _{-\infty }^{\infty }J(y)i(z-y)\,dy. \end{aligned}$$
Passing to the limits in (2.28) and (2.29) as \(n\rightarrow \infty \), we obtain that
$$ \textstyle\begin{cases} cs'(z)=d_{1} \int _{-\infty }^{\infty }J(y)s(z-y)\,dy-d_{1}s(z) \\ \hphantom{cs'(z)=} {}-\beta s(z)\int _{0}^{h}f(\tau )g(i(z-c\tau ))\,d\tau , \\ ci'(z)=d_{2} \int _{-\infty }^{\infty }J(y)i(z-y)\,dy+\beta s(z)\int _{0} ^{h}f(\tau )g(i(z-c\tau ))\,d\tau \\ \hphantom{ci'(z)=}{}-(d_{2}+\gamma )i(z), \end{cases} $$
(2.30)
and
$$ \underline{s}(z)\leq s(z)\leq s_{0}, \quad \underline{i}(z)\leq i(z) \leq \bar{i}(z), \quad z\in \mathbb{R}. $$
(2.31)
Therefore, we have the following results.

Theorem 2.2

For\(R_{0}>1\)and\(c>c^{*}\), there exists some\((s(z),i(z))\), \(z\in \mathbb{R}\)satisfying (2.30) and (2.31). Furthermore,
$$\| s \| _{C^{2}(\mathbb{R})}+ \| i \|_{C^{2}(\mathbb{R})}\leq C_{0} $$
with some\(C_{0}\)independent onl.

2.5 Asymptotic boundary of solution for (1.7)

Lemma 2.6

The solution\((s(z),i(z))\)of (1.7) satisfies
  1. (i)

    \(s(-\infty )=s_{0}\), \(i(-\infty )=0\)and\(\lim_{z\rightarrow -\infty }e^{-\lambda _{1} z}i(z)=1\);

     
  2. (ii)

    \(0<\int _{\mathbb{R}}s(z)\int _{0}^{h}f(\tau )g(i(z-c\tau ))\,d \tau \,dz<\infty \), \(\int _{\mathbb{R}}i(z)\,dz<\infty \)and\(i(\infty )=0\);

     
  3. (iii)

    \(s(\infty )< s_{0}\)and\(\beta \int _{\mathbb{R}}s(z)\int _{0}^{h}f(\tau )g(i(z-c\tau ))\,d\tau \,dz=\gamma \int _{\mathbb{R}}i(z)\,dz=c(s _{0}-s_{\infty })\).

     

Proof

The proof of (i). For \(z\in \mathbb{R}\), it follows from (2.31) that
$$ s_{0}-\mu ^{-1}e^{\mu z} \leq s(z)\leq s_{0} \quad \mbox{and} \quad e^{\lambda _{1}z}\bigl(1-Me^{\alpha z} \bigr)\leq i(z)\leq e^{\lambda _{1}z}. $$
(2.32)
Applying the squeeze theorem in (2.32) gives that
$$ s(-\infty )=s_{0}, \quad i(-\infty )=0 $$
(2.33)
and
$$ \lim_{z\rightarrow -\infty }e^{-\lambda _{1}z}i(z)=1. $$
(2.34)
This completes the proof of (i).
The proof of (ii). From (2.31), (A1) and the definitions of \(\underline{s}(z)\), \(\underline{i}(z)\), we get
$$ \int _{-\infty }^{\infty }s(z) \int _{0}^{h}f(\tau )g\bigl(i(z-c\tau )\bigr)\,d \tau \,dz\geq \int _{-\infty }^{\infty }\underline{s}(z) \int _{0}^{h}f( \tau )g\bigl(\underline{i}(z-c\tau ) \bigr)\,d\tau \,dz>0. $$
(2.35)
Note that
$$\begin{aligned} & \int _{\eta }^{x} \int _{-\infty }^{\infty }J(y)\bigl[s(z-y)-s(z)\bigr]\,dy\,dz \\ &\quad =- \int _{\eta }^{x} \int _{-\infty }^{\infty }J(y)y \int _{0}^{1}s'(z-ty)\,dt\,dy\,dz \\ &\quad = \int _{-\infty }^{\infty }J(y)y \int _{0}^{1}\bigl[s(\eta -ty)-s(x-ty)\bigr]\,dt\,dy, \end{aligned}$$
then
$$\begin{aligned} \lim_{\eta \rightarrow -\infty } \int _{\eta }^{x} \int _{-\infty }^{ \infty }J(y)\bigl[s(z-y)-s(z)\bigr]\,dy\,dz &= \int _{-\infty }^{\infty }J(y)y \int _{0}^{1}\bigl[s_{0}-s(x-ty) \bigr]\,dt\,dy \\ &=- \int _{-\infty }^{\infty }J(y)y \int _{0}^{1}s(x-ty)\,dt\,dy. \end{aligned}$$
Consequently, one can deduce for \(x\in \mathbb{R}\) that
$$\biggl\vert \int _{-\infty }^{x} \int _{-\infty }^{\infty }J(y)\bigl[s(z-y)-s(z)\bigr]\,dy\,dz \biggr\vert \leq s_{0} \int _{-\infty }^{\infty }J(y) \vert y \vert \,dy:=\sigma _{0}. $$
We can infer from the first equation in (1.7) that
$$\begin{aligned} &\beta \int _{-\infty }^{x} s(z) \int _{0}^{h}f(\tau )g\bigl(i(z-c\tau )\bigr)\,d \tau \,dz \\ &\quad =d_{1} \int _{-\infty }^{x} \int _{-\infty }^{\infty }J(y)\bigl[s(z-y)-s(z)\bigr]\,dy\,dz+cs _{0}-cs(x) \\ &\quad \leq d_{1} \sigma _{0}+cs_{0}, \end{aligned}$$
which yields
$$\int _{-\infty }^{\infty }s(z) \int _{0}^{h}f(\tau )g\bigl(i(z-c\tau )\bigr)\,d \tau \,dz< \infty . $$
Analogously, one can obtain
$$\biggl\vert \int _{-\infty }^{\infty } \int _{-\infty }^{\infty }J(y)\bigl[i(z-y)-i(z)\bigr]\,dy\,dz \biggr\vert \leq i_{0} \int _{-\infty }^{\infty }J(y) \vert y \vert \,dy:=\sigma _{1}. $$
Integrating the second equation in (1.7) over \(\mathbb{R}\), we get
$$ \begin{aligned}[b] \gamma \int _{-\infty }^{\infty }i(z)\,dz\leq{} &d_{2} \int _{-\infty }^{ \infty } \int _{-\infty }^{\infty }J(y)\bigl[i(z-y)-i(z)\bigr]\,dy\,dz \\ &{}+\beta \int _{-\infty }^{\infty }s(z) \int _{0}^{h}f(\tau )g\bigl(i(z-c \tau )\bigr)\,d \tau \,dz+ci_{0}< \infty . \end{aligned} $$
(2.36)
It follows from (2.36) that \(\int _{\mathbb{R}}i(z)\,dz<\infty \), which together with the boundedness of \(i'(z)\) implies that \(i(\infty )=0\). This ends the proof of (ii).
The proof of (iii). To obtain the existence of \(s(\infty )\), we assume for the contrary that \(\limsup_{z\rightarrow \infty }s(z)> \liminf_{z\rightarrow \infty }s(z)\). Then Fluctuation Lemma [45] implies that there is a sequence \(\{z_{n}\}\) satisfying \(z_{n}\rightarrow \infty \) as \(n\rightarrow \infty \) such that
$$ \lim_{n\rightarrow \infty }s(z_{n})=\limsup _{z\rightarrow \infty }s(z):= \sigma _{2} \quad \mbox{and} \quad s'(z_{n})=0. $$
(2.37)
Meanwhile, there exists a sequence \(\{\eta _{n}\}\) satisfying \(\eta _{n}\rightarrow \infty \) as \(n\rightarrow \infty \) such that
$$ \lim_{n\rightarrow \infty }s(\eta _{n})=\liminf _{z\rightarrow \infty }s(z):= \sigma _{3}< \sigma _{2} \quad \mbox{and} \quad s'(\eta _{n})=0. $$
(2.38)
From the first equation in (1.7), we have
$$ cs'(z_{n})=d_{1} \int _{-\infty }^{\infty }J(y)\bigl[s(z_{n}-y)-s(z_{n}) \bigr]\,dy\,dz- \beta s(z_{n}) \int _{0}^{h}f(\tau )g\bigl(i(z_{n}-c\tau )\bigr)\,d\tau . $$
(2.39)
Letting \(n\rightarrow \infty \) in (2.39) and using (2.37), \(i(\infty )=0\) and \(g(0)=0\), we obtain
$$ \lim_{n\rightarrow \infty } \int _{-\infty }^{\infty }J(y)s(z_{n}-y)\,dy= \lim _{n\rightarrow \infty }s(z_{n})=\sigma _{2}. $$
(2.40)
Set
$$ s_{n}(y)=s(z_{n}-y). $$
(2.41)
Then we will show that \(\lim_{n\rightarrow \infty }s_{n}(y)\rightarrow \sigma _{2}\) for any \(y\in \operatorname{supp}J :=\varOmega \). Take a sufficiently small \(\tilde{\varepsilon }>0\) and let
$$ \varOmega _{\tilde{\varepsilon }}=\varOmega \cap \Bigl\{ y\in \varOmega | \lim _{n\rightarrow \infty }s_{n}(y)< \sigma _{2}-\tilde{ \varepsilon } \Bigr\} . $$
(2.42)
From (2.40)–(2.42), one can get
$$\begin{aligned} \sigma _{2} &=\lim_{n\rightarrow \infty } \int _{\varOmega }J(y)s(z_{n}-y)\,dy \\ &=\lim_{n\rightarrow \infty } \int _{\varOmega }J(y)s_{n}(y)\,dy \\ & \leq \limsup_{n\rightarrow \infty } \int _{\varOmega \backslash \varOmega _{\tilde{\varepsilon }}}J(y)s_{n}(y)\,dy+ \limsup _{n\rightarrow \infty } \int _{\varOmega _{\tilde{\varepsilon }}}J(y)s _{n}(y)\,dy \\ & \leq \sigma _{2} \int _{\varOmega \backslash \varOmega _{ \tilde{\varepsilon }}} J(y)\,dy+(\sigma _{2}-\tilde{\varepsilon }) \int _{\varOmega _{\tilde{\varepsilon }}} J(y)\,dy \\ & =\sigma _{2}-\tilde{\varepsilon } \int _{\varOmega _{\tilde{\varepsilon }}} J(y)\,dy, \end{aligned}$$
which implies that \(m(\varOmega _{\tilde{\varepsilon }})=0\), where \(m(\cdot )\) denotes the measure. Hence we obtain that \(\lim_{n\rightarrow \infty }s_{n}(y)=\sigma _{2}\) almost everywhere in Ω. However, \(\{s_{n}\}\) is an equi-continuous family, so the convergence is everywhere in Ω. That is,
$$\lim_{n\rightarrow \infty }s_{n}(y)=\lim_{n\rightarrow \infty }s(z _{n}-y)=\sigma _{2},\quad y\in \varOmega . $$
Analogously, using the similar arguments yields
$$\lim_{n\rightarrow \infty }s(\eta _{n}-y)=\sigma _{3}< \sigma _{2}, \quad y\in \varOmega . $$
In a similar manner, we can show that
$$ \lim_{n\rightarrow \infty }s(z_{n}-ty)=\sigma _{2}, \quad t\in [0,1], y\in \varOmega , $$
(2.43)
and
$$ \lim_{n\rightarrow \infty }s(\eta _{n}-ty)=\sigma _{3}, \quad t\in [0,1], y\in \varOmega . $$
(2.44)
Note that
$$ \lim_{n\rightarrow \infty } \int _{\eta _{n}}^{z_{n}}s(z) \int _{0}^{h}f( \tau )g\bigl(i(z-c\tau )\bigr)\,d \tau \,dz= 0. $$
(2.45)
Integrating the first equation in (1.7) from \(\eta _{n}\) to \(z_{n}\) and using (2.43)–(2.45), we have that
$$\begin{aligned} 0 &< c(\sigma _{2}-\sigma _{3}) \\ & =c\lim_{n\rightarrow \infty }\bigl[s(z_{n})-s(\eta _{n})\bigr] \\ & = d_{1} \lim_{n\rightarrow \infty } \int _{\eta _{n}}^{z_{n}} \int _{-\infty }^{\infty }J(y)\bigl[s(z-y)-s(z)\bigr]\,dy\,dz \\ &\quad -\beta \lim_{n\rightarrow \infty } \int _{\eta _{n}}^{z_{n}}s(z) \int _{0}^{h}f(\tau )g\bigl(i(z-c\tau )\bigr)\,d\tau \,dz \\ & =d_{1} \lim_{n\rightarrow \infty } \int _{\eta _{n}}^{z_{n}} \int _{-\infty }^{\infty }J(y)\bigl[s(z-y)-s(z)\bigr]\,dy\,dz \\ & =d_{1} \lim_{n\rightarrow \infty } \int _{\eta _{n}}^{z_{n}} \int _{-\infty }^{\infty }J(y) (-y) \int _{0}^{1}s'(z-ty)\,dt\,dy\,dz \\ & =d_{1} \lim_{n\rightarrow \infty } \int _{-\infty }^{\infty }J(y)y \int _{0}^{1}\bigl[s(\eta _{n}-ty)-s(z_{n}-ty) \bigr]\,dt\,dy \\ & =0, \end{aligned}$$
which yields a contradiction. Thus we obtain
$$ \limsup_{z\rightarrow \infty }s(z)=\liminf_{z\rightarrow \infty }s(z), $$
(2.46)
which implies that the limit \(s(\infty )\) exists.
We next prove that \(s_{\infty }< s_{0}\). Since \(s(z)\leq s_{0}\), we have \(s_{\infty } \leq s_{0}\). Assume that \(s_{\infty }= s_{0}\), then we get
$$ s(-\infty )=s_{\infty }= s_{0}. $$
(2.47)
Integrating the first equation in (1.7) from −x to x yields
$$ \begin{aligned}[b] c\bigl[s(x)-s(-x)\bigr] &=d_{1} \int _{-x}^{x} \int _{-\infty }^{\infty }J(y)\bigl[s(z-y)-s(z)\bigr]\,dy\,dz \\ &\quad -\beta \int _{-x}^{x}s(z) \int _{0}^{h}f(\tau )g\bigl(i(z-c\tau )\bigr)\,d \tau \,dz \\ &=d_{1} \int _{-x}^{x} \int _{-\infty }^{\infty }J(y) (-y) \int _{0}^{1}s'(z-ty)\,dt\,dy\,dz \\ &\quad -\beta \int _{-x}^{x}s(z) \int _{0}^{h}f(\tau )g\bigl(i(z-c\tau )\bigr)\,d \tau \,dz \\ &=d_{1} \int _{-\infty }^{\infty }J(y) (-y) \int _{0}^{1}\bigl[s(x-ty)-s(-x-ty)\bigr]\,dt\,dy \\ &\quad -\beta \int _{-x}^{x}s(z) \int _{0}^{h}f(\tau )g\bigl(i(z-c\tau )\bigr)\,d \tau \,dz. \end{aligned} $$
(2.48)
Letting \(x\rightarrow \infty \) in (2.48) and using (2.47), we obtain
$$\int _{-\infty }^{\infty }s(z) \int _{0}^{h}f(\tau )g\bigl(i(z-c\tau )\bigr)\,d \tau \,dz=0, $$
then a contradiction appears. Thus we have
$$ s_{\infty }< s_{0}. $$
(2.49)
Furthermore, integrating the first equation in (1.7) over \(\mathbb{R}\) and applying Fubini theorem, we get
$$ \beta \int _{-\infty }^{\infty }s(z) \int _{0}^{h}f(\tau )g\bigl(i(z-c\tau )\bigr)\,d \tau \,dz=c(s_{0}-s_{\infty }). $$
(2.50)
Integrating the second equation in (1.7) over \(\mathbb{R}\) and applying Fubini theorem and \(i(\pm \infty )=0\), we deduce
$$ \beta \int _{-\infty }^{\infty }s(z) \int _{0}^{h}f(\tau )g\bigl(i(z-c\tau )\bigr)\,d \tau \,dz=\gamma \int _{-\infty }^{\infty } i(z)\,dz. $$
(2.51)
This ends the proof of (iii). □

Therefore, we have obtained the following result.

Theorem 2.3

Suppose that\(R_{0}>1\)and\(c>c^{*}\). Then system (1.5) admits a nontrivial and nonnegative traveling wave solution\((s(x+ct),i(x+ct))\)satisfying (1.8). Furthermore, \(\lim_{z\rightarrow -\infty }e ^{-\lambda _{1} z}i(z)=1\)and
$$\beta \int _{-\infty }^{\infty }s(z) \int _{0}^{h}f(\tau )g\bigl(i(z-c\tau )\bigr)\,d \tau \,dz=\gamma \int _{-\infty }^{\infty }i(z)\,dz=c(s_{0}-s_{\infty }). $$

3 Nonexistence of traveling wave solutions

In this section, a detailed proof is provided for the nonexistence of traveling wave solutions of (1.5) in two cases: \(R_{0}>1\) and \(0< c< c^{*}\), as well as \(R_{0}\leq 1\) and \(c>0\). The main results of this section are stated in Theorems 3.1 and 3.2, respectively.

3.1 Case 1: \(R_{0}>1\) and \(0< c< c^{*}\)

We present the main result of this case as follows.

Theorem 3.1

Suppose that\(R_{0}>1\)and\(0< c< c^{*}\). Then there exist no nontrivial and nonnegative traveling wave solutions\((s(x+ct),i(x+ct))\)of (1.5) satisfying\(i(\pm \infty )=0\), \(s(-\infty )=s_{0}\)and\(\sup_{z\in \mathbb{R}}s(z)\leq s_{0}\).

Proof

The proof of this theorem is by contradiction. Assume that there exists a nontrivial and nonnegative traveling wave solution \((s(x+ct),i(x+ct))\) of system (1.5) satisfying \(i(\pm \infty )=0\), \(s(-\infty )=s _{0}\) and \(\sup_{z\in \mathbb{R}}s(z)\leq s_{0}\).

Since \(\lim_{z\rightarrow -\infty }s(z)=s_{0}\) and \(\lim_{z\rightarrow -\infty }i(z)=0\), there exist \(\hat{z}<0\) and sufficiently small constant \(\delta _{0}>0\) such that
$$ s(z)>\frac{\beta s_{0}g'(0)+\gamma }{2\beta g'(0)} \quad \mbox{and} \quad 0< i(z)< \delta _{0} $$
(3.1)
for \(z\leq \hat{z}\). Therefore, one can deduce from (2.12) and (3.1) that
$$ \begin{aligned}[b] ci'(z) ={}&d_{2} \int _{-\infty }^{\infty }J(y)\bigl[i(z-y)-i(z)\bigr]\,dy \\ &{} +\beta s(z) \int _{0}^{h}f(\tau )g\bigl(i(z-c\tau )\bigr)\,d\tau -\gamma i(z) \\ \geq{}& d_{2} \int _{-\infty }^{\infty }J(y)\bigl[i(z-y)-i(z)\bigr]\,dy \\ &{} +\frac{\beta s_{0}g'(0)+\gamma }{2g'(0)}\bigl[g'(0)- \hat{\varepsilon }\bigr] \int _{0}^{h}f(\tau )i(z-c\tau )\,d\tau -\gamma i(z) \end{aligned} $$
(3.2)
for \(z\leq \hat{z}\). Due to (3.2) holds for \(\hat{\varepsilon }\in (0,1)\), one can get
$$ \begin{aligned}[b] ci'(z)\geq{}& d_{2} \int _{-\infty }^{\infty }J(y)\bigl[i(z-y)-i(z)\bigr]\,dy \\ &{} +\frac{\beta s_{0}g'(0)+\gamma }{2} \int _{0}^{h}f(\tau )\bigl[i(z-c \tau )-i(z)\bigr] \,d\tau +\frac{\beta s_{0}g'(0)-\gamma }{2}i(z) \end{aligned} $$
(3.3)
for \(z\leq \hat{z}\). By the integrability of \(i(z)\), we define
$$ K(z):= \int _{-\infty }^{z}i(s)\,ds. $$
(3.4)
Integrating (3.3) from −∞ to z with \(z\leq \hat{z}\), using (3.4) and \(i(-\infty )=0\), we obtain that
$$ \begin{aligned}[b] &\frac{\beta s_{0}g'(0)-\gamma }{2}K(z) \\ &\quad \leq ci(z)-d_{2} \int _{-\infty }^{z} \int _{-\infty }^{\infty }J(y)\bigl[i(s-y)-i(s)\bigr]\,dy\,ds \\ &\qquad{} +\frac{\beta s_{0}g'(0)+\gamma }{2} \int _{-\infty }^{z} \int _{0}^{h}f(\tau )\bigl[i(s)-i(s-c\tau )\bigr]\,d \tau \,ds \\ &\quad = ci(z)-d_{2} \int _{-\infty }^{z} \int _{-\infty }^{\infty }J(y)\bigl[i(s-y)-i(s)\bigr]\,dy\,ds \\ &\qquad{} +\frac{\beta s_{0}g'(0)+\gamma }{2} \int _{0}^{h}f(\tau ) \int _{z-c\tau }^{z}i(s)\,ds\,d\tau . \end{aligned} $$
(3.5)
Applying Fubini theorem and (3.4) gives
$$ \begin{aligned}[b] \int _{-\infty }^{z} \int _{-\infty }^{\infty }J(y)i(s-y)\,dy\,ds &= \int _{-\infty }^{\infty }J(y) \int _{-\infty }^{z}i(s-y)\,ds\,dy \\ & = \int _{-\infty }^{\infty }J(y) \int _{-\infty }^{z-y}i(s)\,ds\,dy \\ & = \int _{-\infty }^{\infty }J(y)K(z-y)\,dy. \end{aligned} $$
(3.6)
Substituting (3.6) into (3.5) yields
$$ \begin{aligned}[b] \frac{\beta s_{0}g'(0)-\gamma }{2}K(z)\leq {}& ci(z)-d_{2} \int _{-\infty }^{\infty }J(y)\bigl[K(z-y)-K(z)\bigr]\,dy \\ &{}+\frac{\beta s_{0}g'(0)+\gamma }{2} \int _{0}^{h}f(\tau ) \int _{z-c \tau }^{z}i(s)\,ds\,d\tau . \end{aligned} $$
(3.7)
In view of
$$ \begin{aligned}[b] & \int _{-\infty }^{z} \int _{-\infty }^{\infty }J(y)\bigl[K(s-y)-K(s)\bigr]\,dy\,ds \\ &\quad = \int _{-\infty }^{z} \int _{-\infty }^{\infty }(-y)J(y) \int _{0}^{1}K'(s- \theta y)\,d\theta \,dy\,ds \\ &\quad = \int _{-\infty }^{\infty }(-y)J(y) \int _{0}^{1}K(z-\theta y)\,d\theta \,dy \end{aligned} $$
(3.8)
and
$$\begin{aligned} & \int _{-\infty }^{z} \int _{0}^{h}f(\tau ) \int _{x-c\tau }^{x}i(s)\,ds\,d \tau \,dx \\ &\quad = \int _{0}^{h}f(\tau ) \biggl[ \int _{-\infty }^{z-c\tau } \int _{s}^{s+c \tau }i(s)\,dx\,ds+ \int _{z-c\tau }^{z} \int _{s}^{z}i(s)\,dx\,ds \biggr]\,d\tau \\ &\quad = \int _{0}^{h}f(\tau ) \biggl[c\tau \int _{-\infty }^{z-c\tau } i(s)\,ds+ \int _{z-c\tau }^{z}i(s) (z-s)\,ds \biggr]\,d\tau \\ &\quad \leq \int _{0}^{h}f(\tau ) \biggl[c\tau \int _{-\infty }^{z-c\tau } i(s)\,ds+c \tau \int _{z-c\tau }^{z}i(s)\,ds \biggr]\,d\tau \\ &\quad =ch \int _{-\infty }^{z} i(s)\,ds \\ &\quad =chK(z), \end{aligned}$$
(3.9)
we obtain that \(J*K(\cdot )-K(\cdot )\) and \(\int _{0}^{h}f(\tau ) \int _{x-c\tau }^{x}i(s)\,ds\,d\tau \) are integrable on \((-\infty , z]\) for \(z\leq \hat{z}\). Hence from (3.7)–(3.9), one derives that \(K(\cdot )\) is integrable on \((-\infty , z]\) for \(z\leq \hat{z}\).
Then integrating (3.7) from −∞ to z and using (3.8) and (3.9), we have
$$\begin{aligned} \frac{\beta s_{0}g'(0)-\gamma }{2} \int _{-\infty }^{z}K(s)\,ds \leq{} & \biggl[c+ \frac{\beta s_{0}g'(0)+\gamma }{2}ch \biggr] K(z) \\ &{}+d_{2} \int _{-\infty }^{\infty }yJ(y) \int _{0}^{1}K(z-\theta y)\,d \theta \,dy \end{aligned} $$
for \(z\leq \hat{z}\). Since \(yK(z-\theta y)\) is nonincreasing for \(\theta \in [0,1]\),
$$\begin{aligned} \frac{\beta s_{0}g'(0)-\gamma }{2} \int _{-\infty }^{z}K(s)\,ds &\leq \biggl[c+ \frac{\beta s_{0}g'(0)+\gamma }{2}ch+d_{2} \int _{-\infty }^{ \infty }yJ(y)\,dy \biggr] K(z) \\ &\leq \biggl[c+\frac{\beta s_{0}g'(0)+\gamma }{2}ch \biggr] K(z) \end{aligned} $$
for \(z\leq \hat{z}\). Due to \(K(z)\) being nondecreasing with respect to z, for \(\kappa >0\) there holds
$$\frac{\beta s_{0}g'(0)-\gamma }{2}\kappa K(z-\kappa ) \leq \biggl[c+\frac{ \beta s_{0}g'(0)+\gamma }{2}ch \biggr]K(z). $$
Therefore, there exists a sufficiently large constant \(\kappa _{0}\) and some \(\epsilon \in (0,1)\) such that
$$ K(z-\kappa _{0})\leq \epsilon K(z), \quad z\leq \hat{z}, $$
(3.10)
and
$$ \mu _{0}=\frac{1}{\kappa _{0}}\ln \frac{1}{\epsilon }>0. $$
(3.11)
Set
$$ Q(z):=K(z)e^{-\mu _{0} z}, $$
(3.12)
then using (3.11) and (3.12), we have that
$$Q(z-\kappa _{0})=K(z-\kappa _{0})e^{-\mu _{0}(z-\kappa _{0})}\leq \epsilon K(z)e^{-\mu _{0}(z-\kappa _{0})}=Q(z), $$
which together with the fact \(Q(z)\geq 0\) implies that the limit \(Q(z)\) at minus infinity exists. On the other hand, by (3.12) and (3.4), we get \(\lim_{z\rightarrow \infty }Q(z)=0\). Hence there exists a positive constant \(Q_{0}\) such that
$$Q(z)\leq Q_{0}, \quad z\in \mathbb{R}, $$
namely,
$$ K(z) e^{-\mu _{0}z}\leq Q_{0}, \quad z\in \mathbb{R}. $$
(3.13)
Moreover, we obtain from (3.13) and (A3) that
$$ \begin{aligned}[b] \int _{-\infty }^{\infty }J(y)K(z-y)\,dy\,e^{-\mu _{0}z} &= \int _{-\infty } ^{\infty }J(y)e^{-\mu _{0} y}K(z-y)e^{-\mu _{0}(z-y)} \,dy \\ & \leq Q_{0} \int _{-\infty }^{\infty }J(y)e^{-\mu _{0} y}\,dy \\ & \leq M_{1}, \quad z\in \mathbb{R}, \end{aligned} $$
(3.14)
where \(M_{1}\) is a positive constant. By the second equation in (1.7), \(s(z)\leq s_{0}\) and \(g(i)\leq g'(0)i\), we have that
$$ \begin{aligned}[b] ci'(z) ={}&d_{2} \int _{-\infty }^{\infty }J(y)i(z-y)\,dy-d_{2}i(z) \\ &{} +\beta s(z) \int _{0}^{h} f(\tau )g\bigl(i(z-c\tau )\bigr)\,d \tau -\gamma i(z) \\ \leq{}& d_{2} \int _{-\infty }^{\infty }J(y)i(z-y)\,dy-d_{2}i(z) \\ &{} +\beta s_{0}g'(0) \int _{0}^{h} f(\tau )i(z-c\tau )\,d\tau - \gamma i(z). \end{aligned} $$
(3.15)
Integrating (3.15) from −∞ to z and using (3.4) and (3.6), we obtain that
$$ \begin{aligned}[b] ci(z) \leq{}& d_{2} \int _{-\infty }^{\infty }J(y)K(z-y)\,dy-d_{2}K(z) \\ &{} +\beta s_{0}g'(0) \int _{-\infty }^{z} \int _{0}^{h} f(\tau )i(s-c \tau )\,d\tau \,ds- \gamma K(z) \\ ={}&d_{2} \int _{-\infty }^{\infty }J(y)K(z-y)\,dy-(d_{2}+\gamma )K(z) \\ &{} +\beta s_{0}g'(0) \int _{0}^{h} f(\tau ) \int _{-\infty }^{z}i(s-c \tau )\,ds\,d\tau \\ ={}&d_{2} \int _{-\infty }^{\infty }J(y)K(z-y)\,dy-(d_{2}+\gamma )K(z) \\ &{} +\beta s_{0}g'(0) \int _{0}^{h} f(\tau )K(z-c\tau )\,d\tau \\ \leq {}&d_{2} \int _{-\infty }^{\infty }J(y)K(z-y)\,dy-(d_{2}+\gamma )K(z)+ \beta s_{0}g'(0)K(z), \end{aligned} $$
(3.16)
where the last inequality is induced by the monotonicity of \(K(z)\). Utilizing (3.13), (3.14) and (3.16), one can get that there exists a constant \(P_{1}>0\) such that
$$ i(z)e^{-\mu _{0} z}\leq P_{1}, \quad z\in { \mathbb{R}}. $$
(3.17)
Noting (A3) and (3.17), there exists a positive constant \(M_{2}\) such that
$$ \begin{aligned}[b] \int _{-\infty }^{\infty }J(y)i(z-y)\,dy\,e^{-\mu _{0}z} &= \int _{-\infty } ^{\infty }J(y)i(z-y)e^{-\mu _{0}z}\,dy \\ & = \int _{-\infty }^{\infty }J(y)e^{-\mu _{0} y}i(z-y)e^{-\mu _{0}(z-y)} \,dy \\ & \leq P_{1} \int _{-\infty }^{\infty }J(y)e^{-\mu _{0} y} \,dy \leq M _{2}, \end{aligned} $$
(3.18)
and
$$ \begin{aligned}[b] \int _{0}^{h}f(\tau )i(z-c\tau )e^{-\mu _{0}z}\,d \tau &= \int _{0}^{h}f( \tau )e^{-\mu _{0}c\tau }i(z-c\tau )e^{-\mu _{0}(z-c\tau )}\,d\tau \\ &\leq P_{1} \int _{0}^{h}f(\tau )e^{-\mu _{0}c\tau } \,d\tau \leq P_{1}. \end{aligned} $$
(3.19)
Then it follows from (3.15) and (3.17)–(3.19) that
$$ \sup_{z\in \mathbb{R}}\bigl\{ i(z)e^{-\mu _{0}z}\bigr\} < \infty , \qquad \sup_{z\in \mathbb{R}}\bigl\{ i'(z)e^{-\mu _{0}z} \bigr\} < \infty . $$
(3.20)
Moreover, we get from the second equation of (1.7) that, for \(z\in \mathbb{R}\),
$$ \begin{aligned}[b] & d_{2} \int _{-\infty }^{\infty }J(z)i(z-y)\,dy-d_{2}i(z)-ci'(z) \\ &\qquad {}+\beta s_{0}g'(0) \int _{0}^{h}f(\tau )i(z-c\tau )\,d\tau -\gamma i(z) \\ &\quad =\beta s_{0}g'(0) \int _{0}^{h}f(\tau )i(z-c\tau )\,d\tau -\beta s(z) \int _{0}^{h}f(\tau )g\bigl(i(z-c\tau )\bigr)\,d\tau . \end{aligned} $$
(3.21)
Since \(s(-\infty )=s_{0}\), \(i(-\infty )=0\), we have that for any \(\varepsilon >0\), there exists a constant \(z^{*}\ll 0\) such that
$$s_{0}g'(0)-\frac{s(z)g(i(z-c\tau ))}{i(z-c\tau )}< \varepsilon \quad \mbox{for } z< z^{*}. $$
Then we get that
$$ \begin{aligned}[b] &s_{0}g'(0)i(z-c \tau )-s(z)g\bigl(i(z-c\tau )\bigr)\\ &\quad = i(z-c\tau ) \biggl[s_{0}g'(0)- \frac{s(z)g(i(z-c \tau ))}{i(z-c\tau )} \biggr] \\ &\quad \leq \biggl[\frac{s_{0}g'(0)-\frac{s(z)g(i(z-c\tau ))}{i(z-c\tau )}+i(z-c \tau )}{2} \biggr]^{2} \\ &\quad \leq \biggl[\frac{\varepsilon +i(z-c\tau )}{2} \biggr]^{2} \\ &\quad \leq i^{2}(z-c\tau )\quad \mbox{for } z< z^{*}. \end{aligned} $$
(3.22)
From (3.20) and (3.22), we obtain
$$ \sup_{z\in \mathbb{R}} \biggl\{ e^{-2\mu _{0}z} \biggl[ \beta s_{0}g'(0) \int _{0}^{h}f(\tau )i(z-c\tau )\,d\tau -\beta s(z) \int _{0}^{h}f(\tau )g\bigl(i(z-c \tau )\bigr)\,d \tau \biggr] \biggr\} < \infty . $$
(3.23)
Hence
$$ \begin{aligned} \beta \int _{-\infty }^{\infty }e^{-\lambda z} \biggl[s_{0}g'(0) \int _{0} ^{h}f(\tau )i(z-c\tau )\,d\tau -s(z) \int _{0}^{h}f(\tau )g\bigl(i(z-c\tau )\bigr)\,d \tau \biggr]\,dz< \infty \end{aligned} $$
(3.24)
for \(0<\mathrm{Re}\lambda <2\mu _{0}\).
For \(\lambda \in \mathbb{C}\) with \(0<\mathrm{Re} \lambda <\mu _{0}\), define the two-sided Laplace transform of \(i(z)\) by
$$\mathcal{L}(\lambda ):= \int _{-\infty }^{\infty }i(z)e^{-\lambda z}\,dz. $$
In view of
$$\int _{-\infty }^{\infty }e^{-\lambda z} \int _{-\infty }^{\infty }J(y)i(z-y)\,dy\,dz= \int _{-\infty }^{\infty }J(y)e^{-\lambda y}\mathcal{L}(\lambda )\,dy $$
and taking two-sided Laplace transform on (3.21), we obtain
$$ \begin{aligned}[b] \varTheta (\lambda ,c)\mathcal{L}(\lambda ) ={}&\beta \int _{-\infty }^{ \infty }e^{-\lambda z} \biggl[s_{0}g'(0) \int _{0}^{h}f(\tau )i(z-c\tau )\,d \tau \\ &{} -s(z) \int _{0}^{h}f(\tau )g\bigl(i(z-c\tau )\bigr)\,d\tau \biggr]\,dz \end{aligned} $$
(3.25)
for \(\lambda \in \mathbb{C}\) with \(0<\mathrm{Re} \lambda <\mu _{0}\), where \(\varTheta (\lambda ,c)\) is defined in (2.2).

The property of Laplace transform [43] claims that either there exists a real number \(\mu _{0}\) such that \(L(\lambda )\) is analytic for \(\lambda \in \mathbb{C}\) with \(0<\mathrm{Re}\lambda <\mu _{0}\) and \(\lambda =\mu _{0}\) is singular point of \(L(\lambda )\), or for \(\lambda \in \mathbb{C}\) with \(\mathrm{Re} \lambda >0\), \(L(\lambda )\) is well defined. As for (3.25), the two Laplace integrals can be analytically continued to the whole right half-plane. Otherwise the integral on the left-hand side of (3.25) has a singularity at \(\lambda =\mu _{0}\) and it is analytic for all λ with \(\mathrm{Re} \lambda <\mu _{0}\). However, (3.24) implies that the integral on the right-hand side of (3.25) is actually analytic for all λ with \(\mathrm{Re} \lambda <2\mu _{0}\), a contradiction. Thus we obtain that (3.25) holds for all λ with \(\mathrm{Re}\lambda >0\). However, Lemma 2.1 implies that \(\Delta (\infty ,c)=\infty \) for \(c\in (0,c^{*})\). A contradiction occurs. The proof of this theorem is completed. □

3.2 Case 2: \(R_{0}\leq 1\) and \(c>0\)

We give the main result of this case as follows.

Theorem 3.2

Suppose that\(R_{0}\leq 1\)and\(c>0\). Then there exist no nontrivial and nonnegative traveling wave solutions\((s(x+ct),i(x+ct))\)of (1.5) satisfying\(i(\pm \infty )=0\), \(s(-\infty )=s_{0}\)and\(\sup_{z\in \mathbb{R}}s(z)\leq s_{0}\).

Proof

Suppose to the contrary that there exists a traveling wave solution \((s(x+ct),i(x+ct))\) of (1.5) satisfying \(i(\pm \infty )=0\), \(s(-\infty )=s_{0}\) and \(\sup_{z\in \mathbb{R}}s(z)\leq s_{0}\). We prove the desired results in two subcases.

Subcase 1. \(R_{0}<1\) , i.e., \(\beta s_{0}g'(0)/\gamma <1\) .

Integrating the second equation in (1.7) over \(\mathbb{R}\) yields
$$ \begin{aligned}[b] c \int _{-\infty }^{\infty } i'(z)\,dz ={}&d_{2} \int _{-\infty }^{\infty } \int _{-\infty }^{\infty }J(y)i(z-y)\,dy\,dz-(d_{2}+ \gamma ) \int _{-\infty }^{\infty }i(z)\,dz \\ &{} +\beta \int _{-\infty }^{\infty }s(z) \int _{0}^{h}f(\tau )g\bigl(i(z-c \tau )\bigr)\,d \tau \,dz. \end{aligned} $$
(3.26)
Since \(i(\pm \infty )=0\) and \(s(z)\leq s_{0}\), one can obtain from (3.26) that
$$ \begin{aligned}[b] (d_{2}+\gamma ) \int _{-\infty }^{\infty }i(z)\,dz\leq{} & d_{2} \int _{- \infty }^{\infty } \int _{-\infty }^{\infty }J(y)i(z-y)\,dy\,dz \\ &{}+\beta s_{0}g'(0) \int _{-\infty }^{\infty } \int _{0}^{h}f(\tau )i(z-c \tau )\,d\tau \,dz. \end{aligned} $$
(3.27)
Applying Fubini theorem in (3.27), we have that
$$\begin{aligned} (d_{2}+\gamma ) \int _{-\infty }^{\infty }i(z)\,dz\leq{}& d_{2} \int _{- \infty }^{\infty }J(y) \int _{-\infty }^{\infty }i(z-y)\,dz\,dy \\ &{} +\beta s_{0}g'(0) \int _{0}^{h}f(\tau ) \int _{-\infty }^{\infty }i(z-c\tau )\,dz\,d\tau \\ ={}& d_{2} \int _{-\infty }^{\infty }i(z)\,dz+\beta s_{0}g'(0) \int _{- \infty }^{\infty }i(z)\,dz, \end{aligned}$$
that is,
$$\int _{-\infty }^{\infty }i(z)\,dz \leq \frac{\beta s_{0}g'(0)}{\gamma } \int _{-\infty }^{\infty }i(z)\,dz< \int _{-\infty }^{\infty }i(z)\,dz, $$
which leads to a contradiction.

Subcase 2. \(R_{0}=1\) , i.e., \(\beta s_{0}g'(0)=\gamma \) .

From the second equation in (1.7), we get that
$$ \begin{aligned}[b] ci'(z)={} & d_{2} \int _{-\infty }^{\infty }J(z-y) \bigl[i(y)-i(z)\bigr]\,dy \\ &{}+\beta s(z) \int _{0}^{h}f(\tau )g\bigl(i(z-c\tau )\bigr)\,d\tau -\gamma i(z) \\ ={} & d_{2} \int _{-\infty }^{\infty }J(z-y)\bigl[i(y)-i(z)\bigr]\,dy \\ &{} +\beta s(z) \int _{0}^{h}f(\tau )g\bigl(i(z-c\tau )\bigr)\,d\tau -\beta s _{0}g'(0)i(z). \end{aligned} $$
(3.28)
Integrating (3.28) over \(\mathbb{R}\) yields
$$ \begin{aligned}[b] c \int _{-\infty }^{\infty }i'(z)\,dz ={}&d_{2} \int _{-\infty }^{\infty } \int _{-\infty }^{\infty }J(z-y)\bigl[i(y)-i(z)\bigr]\,dy\,dz \\ &{} +\beta \int _{-\infty }^{\infty }s(z) \int _{0}^{h}f(\tau )g\bigl(i(z-c \tau )\bigr)\,d \tau \,dz \\ &{} -\beta s_{0}g'(0) \int _{-\infty }^{\infty }i(z)\,dz. \end{aligned} $$
(3.29)
Using the facts \(i(\pm \infty )=0\) and Fubini theorem, we obtain from (3.29) that
$$ \begin{aligned}[b] 0 &=\beta \int _{0}^{h}f(\tau ) \int _{-\infty }^{\infty } s(z)g\bigl(i(z-c \tau )\bigr)\,dz\,d\tau - \beta s_{0}g'(0) \int _{-\infty }^{\infty }i(z)\,dz \\ &=\beta \int _{0}^{h}f(\tau ) \int _{-\infty }^{\infty } s(z+c\tau )g\bigl(i(z)\bigr)\,dz \,d \tau -\beta s_{0}g'(0) \int _{0}^{h}f(\tau ) \int _{-\infty }^{\infty }i(z)\,dz \,d\tau \\ & \leq \beta g'(0) \int _{0}^{h}f(\tau ) \int _{-\infty }^{\infty }\bigl[s(z+c \tau )-s_{0} \bigr]i(z)\,dz\,d\tau . \end{aligned} $$
(3.30)
Due to \((s(z+c\tau )-s_{0})i(z)\leq 0\) for \(z\in \mathbb{R}\), \(\tau \in [0,h]\) and the continuity of \(s(z)\) and \(i(z)\), it follows from (3.30) that
$$ \bigl[s(z+c\tau )-s_{0}\bigr]i(z)=0. $$
(3.31)
Since the interior of suppi is not empty, we have from (3.31) that
$$ s(z+c\tau )=s_{0},\quad z\in \operatorname{supp} i, \tau \in [0,h]. $$
(3.32)
For \(z\in \operatorname{supp} i\), \(\tau \in [0,h]\), by the translation invariance of traveling wave solutions, we get from the first equation in (1.7) that
$$ \begin{aligned}[b] cs'(z+c\tau ) ={}&d_{1} \int _{-\infty }^{\infty }J(y)s(z-y+c\tau )\,dy-d _{1}s(z+c\tau ) \\ &{} -\beta s(z+c\tau ) \int _{0}^{h}f(\tau )g\bigl(i(z)\bigr)\,d\tau . \end{aligned} $$
(3.33)
Using (3.32) and (3.33), we then have
$$\begin{aligned} 0 &=d_{1} \int _{-\infty }^{\infty }J(y)\bigl[s(z+c\tau -y)-s_{0}\bigr]\,dy-\beta s _{0} \int _{0}^{h}f(\tau )g\bigl(i(z)\bigr)\,d\tau \\ & \leq -\beta s_{0}g\bigl(i(z)\bigr)< 0, \quad z\in \operatorname{supp} i, \tau \in [0,h], \end{aligned} $$
which yields another contradiction. The proof of this theorem is finished. □

4 Application and conclusion

In this section, we will give a typical example to support our abstract results. The choice of \(g(i)=\frac{i}{1+ \alpha i}\) (\(\alpha >0\) is a coefficient) in (1.5) leads to
$$ \textstyle\begin{cases} s_{t}(x,t)=d_{1}\int _{-\infty }^{\infty }J(x-y)[s(y,t)-s(x,t)]\,dy \\ \hphantom{s_{t}(x,t)=} {}-\beta s(x,t)\int _{0}^{h}f(\tau )\frac{i(x, t-\tau )}{1+\alpha i(x, t- \tau )}\,d\tau , \\ i_{t}(x,t)=d_{2}\int _{-\infty }^{\infty }J(x-y)[i(y,t)-i(x,t)]\,dy \\ \hphantom{i_{t}(x,t)=} {}+\beta s(x,t)\int _{0}^{h}f(\tau )\frac{i(x, t-\tau )}{1+\alpha i(x, t- \tau )}\,d\tau -\gamma i(x,t). \end{cases} $$
(4.1)
Obviously, it is easy to verify that \(g(i)=\frac{i}{1+\alpha i}\) satisfies assumptions (A1) and (A2). Applying Theorems 2.3, 3.1 and 3.2, we obtain the following result.

Theorem 4.1

There exists a positive constant \(c^{*}\) such that
  1. (i)

    If\(R_{0}=\beta s_{0} /\gamma >1\)and\(c>c^{*}\), then system (4.1) admits a nontrivial and nonnegative traveling wave solution\((s(x+ct),i(x+ct))\)satisfying\(s(\infty )=s_{\infty }< s _{0}=s(-\infty )\), \(i(\pm \infty )=0\);

     
  2. (ii)

    If\(R_{0}>1\)and\(0< c< c^{*}\)or\(R_{0}\leq 1\)and\(c>0\), then system (4.1) admits no nontrivial and nonnegative traveling wave solutions\((s(x+ct),i(x+ct))\)satisfying\(i(\pm \infty )=0\), \(s(-\infty )=s_{0}\)and\(\sup_{z\in \mathbb{R}}s(z)\leq s_{0}\).

     

It is known that traveling wave solutions of nonlinear partial differential equations have been extensively studied due to significant applications in many fields [1, 2, 33, 34, 37, 55, 56, 57]. In the present paper, we have studied the traveling wave solutions of a nonlocal diffusion epidemic model with nonlinear incidences and distributed delay. It has been found that the existence and nonexistence of traveling wave solutions are totally determined by the basic reproduction number and the minimum wave speed \(c^{*}\). More precisely, if \(R_{0}>1\) and \(c>c^{*}\), then (1.5) has a nontrivial and nonnegative traveling wave solution satisfying (1.8); if \(0< c< c^{*}\) or \(R_{0}\leq 1\), there exist no such traveling wave solutions. In particular, we give an example with the choice of \(g(i)=\frac{i}{1+\alpha i}\)\((\alpha >0)\) to support our theoretical analysis. It is noted that the existence and nonexistence of traveling wave solutions can indicate whether or not the disease spreads; if it spreads, the wave speed can illustrate the spreading speed. Results on this topic may help one predict how fast a disease invades geographically, and accordingly, take necessary measures in advance to prevent the disease, or at least decrease possible negative consequences.

To explore the effect of the diffusive rate \(d_{2}\) of the infective individuals on the minimum wave speed \(c^{*}\), we use (2.2) and Lemma 2.1 to get
$$ \varTheta _{c^{*}}\bigl(\lambda ^{*}, c^{*}\bigr)=-\lambda ^{*}-\lambda ^{*}\beta s _{0}g'(0) \int _{0}^{h}\tau f(\tau )e^{-\lambda ^{*} c^{*}\tau }\,d\tau < 0 $$
(4.2)
and
$$ \varTheta _{d_{2}}\bigl(\lambda ^{*}, c^{*}\bigr)= \int _{-\infty }^{\infty }J(y) \bigl(e ^{-\lambda ^{*} y}-1\bigr) \,dy \geq -\lambda ^{*} \int _{-\infty }^{\infty }yJ(y)\,dy=0. $$
(4.3)
Combining (4.2) and (4.3), we obtain the fact that the geographical movement of infective individuals can increase the speed of the spread of disease.

There are a few problems deserving further investigation, for instance, time periodic traveling wave solutions, the uniqueness and stability of traveling wave solution in (1.5).

Notes

Acknowledgements

We would like to thank Dr. Jingdong Wei and Dr. Jiangbo Zhou for some helpful suggestions. Meanwhile, we are deeply grateful to the anonymous referees for the valuable suggestions and comments which have greatly improved the presentation of our paper.

Authors’ contributions

All authors contributed to the draft of the manuscript, all authors read and approved the final manuscript.

Funding

This work was supported by the Innovation Project for Graduate Student Research of Jiangsu Province [grant number KYLX15_1073] and the China Postdoctoral Science Foundation [grant number 2018M642174].

Competing interests

The authors declare that they have no competing interests.

References

  1. 1.
    Ali, A., Seadawy, A., Lu, D.: Soliton solutions of the nonlinear Schrödinger equation with dual power law nonlinearity and resonant nonlinear Schrödinger equation and their modulation instability analysis. Optik 145, 79–88 (2017) CrossRefGoogle Scholar
  2. 2.
    Arshad, M., Seadawy, A.R., Lu, D.: Exact bright–dark solitary wave solutions of the higher-order cubic–quintic nonlinear Schrödinger equation and its stability. Optik 138, 40–49 (2017) CrossRefGoogle Scholar
  3. 3.
    Bai, Z., Zhang, S.: Traveling waves of a diffusive SIR epidemic model with a class of nonlinear incidence rates and distributed delay. Commun. Nonlinear Sci. Numer. Simul. 22, 1370–1381 (2015) MathSciNetCrossRefGoogle Scholar
  4. 4.
    Bates, P.W., Chen, F.: Spectral analysis and multidimensional stability of traveling waves for nonlocal Allen–Cahn equation. J. Math. Anal. Appl. 273, 45–57 (2002) MathSciNetCrossRefGoogle Scholar
  5. 5.
    Bates, P.W., Fife, P.C., Ren, X., Wang, X.: Traveling waves in a convolution model for phase transitions. Arch. Ration. Mech. Anal. 138, 105–136 (1997) MathSciNetCrossRefGoogle Scholar
  6. 6.
    Beretta, E., Takeuchi, Y.: Global stability of an SIR epidemic model with time delays. J. Math. Biol. 33, 250–260 (1995) MathSciNetCrossRefGoogle Scholar
  7. 7.
    Capasso, V., Serio, G.: A generalization of the Kermack–McKendrick deterministic epidemic model. Math. Biosci. 42, 43–61 (1978) MathSciNetCrossRefGoogle Scholar
  8. 8.
    Carr, J., Chmaj, A.: Uniqueness of travelling waves for nonlocal monostable equations. Proc. Am. Math. Soc. 132, 2433–2439 (2004) MathSciNetCrossRefGoogle Scholar
  9. 9.
    Chen, F.: Stability and uniqueness of traveling waves for system of nonlocal evolution equations with bistable nonlinearity. Discrete Contin. Dyn. Syst. 24, 659–673 (2009) MathSciNetCrossRefGoogle Scholar
  10. 10.
    Chen, X.: Existence, uniqueness and asymptotic stability of travelling waves in non-local evolution equations. Adv. Differ. Equ. 2, 125–160 (1997) Google Scholar
  11. 11.
    Coville, J., Davila, J., Martinez, S.: Nonlocal anisotropic dispersal with monostable nonlinearity. J. Differ. Equ. 244, 3080–3118 (2008) MathSciNetCrossRefGoogle Scholar
  12. 12.
    Coville, J., Davila, J., Martinez, S.: Pulsating fronts for nonlocal dispersion and KPP nonlinearity. Ann. Inst. Henri Poincaré Nonl. Anal. 30, 179–223 (2013) MathSciNetCrossRefGoogle Scholar
  13. 13.
    Coville, J., Dupaigne, L.: On a nonlocal reaction diffusion equation arising in population dynamics. Proc. R. Soc. Edinb., Sect. A 137, 727–755 (2007) CrossRefGoogle Scholar
  14. 14.
    Diekmann, O., Kaper, H.: On the bounded solutions of a nonlinear convolution equation. Nonlinear Anal. 2, 721–737 (1978) MathSciNetCrossRefGoogle Scholar
  15. 15.
    Ducrot, A., Magal, P.: Travelling wave solutions for an infection-age structured model with diffusion. Proc. R. Soc. Edinb., Sect. A 139, 459–482 (2009) MathSciNetCrossRefGoogle Scholar
  16. 16.
    Ducrot, A., Magal, P., Ruan, S.: Travelling wave solutions in multigroup age-structure epidemic models. Arch. Ration. Mech. Anal. 195, 311–331 (2010) MathSciNetCrossRefGoogle Scholar
  17. 17.
    Enatsua, Y., Nakata, Y., Muroya, Y.: Lyapunov functional techniques for the global stability analysis of a delayed SIRS epidemic model. Nonlinear Anal., Real World Appl. 13, 2120–2133 (2010) MathSciNetCrossRefGoogle Scholar
  18. 18.
    Hosono, Y., Ilyas, B.: Traveling waves for a simple diffusive epidemic model. Math. Models Methods Appl. Sci. 5, 935–966 (1995) MathSciNetCrossRefGoogle Scholar
  19. 19.
    Ignat, L., Rossi, J.D.: A nonlocal convolution–diffusion equation. J. Funct. Anal. 251, 399–437 (2007) MathSciNetCrossRefGoogle Scholar
  20. 20.
    Ignat, L., Rossi, J.D.: Decay estimates for nonlocal problems via energy methods. J. Math. Pures Appl. 92, 163–187 (2009) MathSciNetCrossRefGoogle Scholar
  21. 21.
    Kermack, W.O., McKendrick, A.G.: Contribution to the mathematical theory of epidemics. Proc. R. Soc. Lond. B 115, 700–721 (1927) CrossRefGoogle Scholar
  22. 22.
    Kermack, W.O., McKendrick, A.G.: Contribution to the mathematical theory of epidemics, Part II. Proc. R. Soc. Lond. B 138, 55–83 (1932) CrossRefGoogle Scholar
  23. 23.
    Kermack, W.O., McKendrick, A.G.: Contribution to the mathematical theory of epidemics, Part III. Proc. R. Soc. Lond. B 141, 94–112 (1933) CrossRefGoogle Scholar
  24. 24.
    Korobeinikov, A.: Lyapunov functions and global stability for SIR and SIRS epidemiological models with non-linear transmission. Bull. Math. Biol. 68, 615–626 (2006) MathSciNetCrossRefGoogle Scholar
  25. 25.
    Korobeinikov, A.: Global properties of infectious disease models with nonlinear incidence. Bull. Math. Biol. 69, 1871–1886 (2007) MathSciNetCrossRefGoogle Scholar
  26. 26.
    Korobeinikov, A., Maini, P.K.: Nonlinear incidence and stability of infectious disease models. Math. Med. Biol. 22, 113–128 (2005) CrossRefGoogle Scholar
  27. 27.
    Kuang, Y.: Delay Differential Equations with Applications in Population Dynamics. Academic Press, San Diego (1993) zbMATHGoogle Scholar
  28. 28.
    Li, W., Sun, Y., Wang, Z.: Entire solutions in the Fisher–KPP equation with nonlocal dispersal. Nonlinear Anal., Real World Appl. 11, 2302–2313 (2010) MathSciNetCrossRefGoogle Scholar
  29. 29.
    Li, Y., Li, W., Lin, G.: Traveling waves of a delayed diffusive SIR epidemic model. Commun. Pure Appl. Anal. 14, 1001–1022 (2015) MathSciNetCrossRefGoogle Scholar
  30. 30.
    Li, Y., Li, W., Yang, F.: Traveling waves for a nonlocal dispersal SIR model with delay and external supplies. Appl. Math. Comput. 247, 723–740 (2014) MathSciNetzbMATHGoogle Scholar
  31. 31.
    Liu, W., Hethcote, H.W., Levin, S.A.: Dynamical behavior of epidemiological models with nonlinear incidence rates. J. Math. Biol. 25, 359–380 (1987) MathSciNetCrossRefGoogle Scholar
  32. 32.
    Liu, W., Levin, S.A., Iwasa, Y.: Influence of nonlinear incidence rates upon the behavior of SIRS epidemiological models. J. Math. Biol. 23, 187–204 (1986) MathSciNetCrossRefGoogle Scholar
  33. 33.
    Lu, D., Seadawy, A., Arshad, M.: Applications of extended simple equation method on unstable nonlinear Schrödinger equations. Optik, Int. J. Light Electron Opt. 140, 136–144 (2017) CrossRefGoogle Scholar
  34. 34.
    Lu, D., Seadawy, A., Arshad, M.: Bright–dark solitary wave and elliptic function solutions of unstable nonlinear Schrödinger equation and their applications. Opt. Quantum Electron. 50, 23 (2018) CrossRefGoogle Scholar
  35. 35.
    Pan, S.: Traveling wave fronts in an epidemic model with nonlocal diffusion and time delay. Int. J. Math. Anal. 2, 1083–1088 (2008) MathSciNetzbMATHGoogle Scholar
  36. 36.
    Pan, S., Li, W., Lin, G.: Travelling wave fronts in nonlocal reaction-diffusion systems and applications. Z. Angew. Math. Phys. 60, 377–392 (2009) MathSciNetCrossRefGoogle Scholar
  37. 37.
    Seadawy, A.R., Lu, D.: Bright and dark solitary wave soliton solutions for the generalized higher order nonlinear Schrödinger equation and its stability. Results Phys. 7, 43–48 (2017) CrossRefGoogle Scholar
  38. 38.
    Sun, Y., Li, W., Wang, Z.: Entire solutions in nonlocal dispersal equations with bistable nonlinearity. J. Differ. Equ. 251, 551–581 (2011) MathSciNetCrossRefGoogle Scholar
  39. 39.
    Takeuchi, Y., Ma, W., Beretta, E.: Global asymptotic properties of a delay SIR epidemic model with finite incubation times. Nonlinear Anal. 42, 931–947 (2000) MathSciNetCrossRefGoogle Scholar
  40. 40.
    Wang, X.: Metastability and stability of patterns in a convolution model for phase transitions. J. Differ. Equ. 183, 434–461 (2002) MathSciNetCrossRefGoogle Scholar
  41. 41.
    Wang, Z., Wu, J.: Traveling waves of a diffusive Kermack–McKendrick epidemic model with nonlocal delayed transmission. Proc. R. Soc. A 466, 237–261 (2010) CrossRefGoogle Scholar
  42. 42.
    Wang, Z., Wu, J., Liu, R.: Traveling waves of avian influenza spread. Proc. Am. Math. Soc. 140, 3931–3946 (2012) CrossRefGoogle Scholar
  43. 43.
    Widder, D.V.: The Laplace Transform. Princeton University Press, Princeton (1941) zbMATHGoogle Scholar
  44. 44.
    Wu, J.: Theory and Applications of Partial Functional Differential Equations. Springer, New York (1996) CrossRefGoogle Scholar
  45. 45.
    Wu, J., Zou, X.: Traveling wave fronts of reaction-diffusion systems with delay. J. Dyn. Differ. Equ. 13, 651–687 (2001) MathSciNetCrossRefGoogle Scholar
  46. 46.
    Xu, Z.: Traveling waves in a Kermack–McKendrick epidemic model with diffusion and latent period. Nonlinear Anal. 111, 66–81 (2014) MathSciNetCrossRefGoogle Scholar
  47. 47.
    Yagisita, H.: Existence and nonexistence of traveling waves for a nonlocal monostable equation. Publ. Res. Inst. Math. Sci. 45, 925–953 (2009) MathSciNetCrossRefGoogle Scholar
  48. 48.
    Yagisita, H.: Existence of traveling wave solutions for a nonlocal bistable equation: an abstract approach. Publ. Res. Inst. Math. Sci. 45, 955–979 (2009) MathSciNetCrossRefGoogle Scholar
  49. 49.
    Yang, F., Li, W., Wang, Z.: Traveling waves in a nonlocal dispersal SIR epidemic model. Nonlinear Anal., Real World Appl. 23, 129–147 (2015) MathSciNetCrossRefGoogle Scholar
  50. 50.
    Yang, F., Li, Y., Li, W., Wang, Z.: Traveling waves in a nonlocal dispersal Kermack–McKendrick epidemic model. Discrete Contin. Dyn. Syst., Ser. B 18, 1969–1993 (2013) MathSciNetCrossRefGoogle Scholar
  51. 51.
    Zhang, G.: Global stability of wavefronts with minimal speeds for nonlocal dispersal equations with degenerate nonlinearity. Nonlinear Anal. 74, 6518–6529 (2011) MathSciNetCrossRefGoogle Scholar
  52. 52.
    Zhang, G., Li, W., Wang, Z.: Spreading speeds and traveling waves for nonlocal dispersal equations with degenerate monostable nonlinearity. J. Differ. Equ. 252, 5096–5124 (2012) MathSciNetCrossRefGoogle Scholar
  53. 53.
    Zhang, L.: Existence, uniqueness and exponential stability of traveling wave solutions of some integral differential equations arising from neural networks. J. Differ. Equ. 197, 162–196 (2004) CrossRefGoogle Scholar
  54. 54.
    Zhang, T., Wang, W.: Existence of traveling wave solutions for influenza model with treatment. J. Math. Anal. Appl. 419, 469–495 (2014) MathSciNetCrossRefGoogle Scholar
  55. 55.
    Zhen, Z., Wei, J., Tian, L., Zhou, Z., Chen, W.: Wave propagation in a diffusive SIR epidemic model with spatio-temporal delay. Math. Methods Appl. Sci. 0, 1–25 (2018) Google Scholar
  56. 56.
    Zhen, Z., Wei, J., Zhou, J., Tian, L.: Wave propagation in a nonlocal diffusion epidemic model with nonlocal delayed effects. Appl. Math. Comput. 339, 15–37 (2018) MathSciNetGoogle Scholar
  57. 57.
    Zhou, J., Xu, J., Wei, J., Xu, H.: Existence and non-existence of traveling wave solutions for a nonlocal dispersal SIR epidemic model with nonlinear incidence rate. Nonlinear Anal., Real World Appl. 41, 204–231 (2018) MathSciNetCrossRefGoogle Scholar

Copyright information

© The Author(s) 2019

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.

Authors and Affiliations

  1. 1.Faculty of ScienceJiangsu UniversityZhenjiangPeople’s Republic of China

Personalised recommendations