Fault-tolerant Hamiltonian cycle strategy for fast node fault diagnosis based on PMC in data center networks

1.   Introduction

In order to describe the evolution of fecal-oral transmitted diseases in the Mediterranean regions, Capasso and Paveri-Fontana ^[1] proposed the following model

where $a, b, c$ are all positive constants, $u(t)$ and $v(t)$ denote the concentration of the infectious agent in the environment and the infective human population respectively. The coefficients $a$ and $b$ are the intrinsic decay rates of the infectious agent and the infective human population respectively, $c$ represents the multiplication rate of the infectious agent due to the human infected population. The function $G(u)$ stands for the force of infection of the human population due to the concentration of infectious agent. We assume that $G(u)$ satisfies the two specific cases: (ⅰ) a monotone increasing function with constant concavity; (ⅱ) a sigmoidal function of bacterial concentration tending to some finite limit, and with zero gradient at zero. These two cases contain most of the features of forces of infection in real epidemics. For some epidemic, if the density of infectious agent is small, the force of infection of the humans will be weak and may tend to zero, and the function $G$ will satisfy case (ⅱ). In this paper, we focus on such case, and assume that the function $G: \mathbb R^+\rightarrow \mathbb R^+$ satisfies:

(G1) $G\in C^2(\mathbb R^+)$, $G(0) = 0$, $G'(z) > 0$ for any $z > 0$ and $\lim\limits_{z\rightarrow\infty}G(z) = 1$;

(G2) there exists $\xi > 0$ such that $G"(z) > 0$ for $z\in(0, \xi)$ and $G"(z) < 0$ for $z\in(\xi, \infty)$.

Denote

Under two specific cases stated above, the global dynamics of the cooperative system (1.1) has been described in detail in ^[2]. It follows from [2, Theorem 4.3] that the global dynamics of (1.1) under conditions (G1) and (G2) can be described as follows:

(ⅰ) If $\theta < 1$ and $\frac{G(z)}{z} < \frac{ab}{c}$ for any $z > 0$, then the trivial solution is the only equilibrium for problem (1.1) and it is globally asymptotically stable in $\mathbb R^+\times \mathbb R^+$.

(ⅱ) If $\theta > 1$, then problem (1.1) has only one nontrivial equilibrium point $(u^\ast, v^\ast)$ in addition to $(0, 0)$ and it is globally asymptotically stable in $\mathbb R^+\times \mathbb R^+$.

(ⅲ) If $\theta < 1$ and $\frac{G(z_1)}{z_1} > \frac{ab}{c}$ for some $z_1 > 0$, then problem (1.1) has three equilibrium points:

where $0 < K_1 < K_2$ are the positive roots of $G(z)-\frac{ab}{c}z = 0$. In this case, $E_1$ is a saddle point, $E_0$ and $E_2$ are stable nodes.

In 1997, Capasso and Wilson ^[3] further considered spatial variation and studied the problem

where $\Omega$ is bounded. By some numerical simulation, they speculated that the dynamical behavior of system (1.2) is similar to the ODE case. To understand the dispersal process of epidemic from outbreak to an endemic, Xu and Zhao ^[4] studied the bistable traveling waves of (1.2) in $x\in \mathbb R$.

The epidemic always spreads gradually, but the works mentioned above are hard to explain this gradual expanding process. To describe such a gradual spreading process, Du and Lin ^[5] introduced the free boundary condition to study the invasion of a single species. They considered the problem

and showed that (1.3) admits a unique solution which is well-defined for all $t\geq0$ and spreading and vanishing dichotomy holds. Moreover, the criteria for spreading and vanishing are obtained: (ⅰ) for $h_{0}\geq\frac{\pi}{2}\sqrt{\frac{d}{a}}$, the species will spread; (ⅱ) for $h_{0} < \frac{\pi}{2}\sqrt{\frac{d}{a}}$ and given $u_0(x)$, there exists $\mu^\ast$ such that the species will spread for $\mu > \mu^{\ast}$, and the species will vanish for $0 < \mu\leq\mu^{\ast}$. Finally, they gave the spreading speed of the spreading front when spreading occurs. Since then, many problems with free boundaries and related problems have been investigated, see e.g. ^{[6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22]} and their references.

In 2016, Ahn et al. ^[23] considered (1.2) with monostable nonlinearity and free boundaries. They obtained the global existence and uniqueness of the solution and spreading and vanishing dichotomy. Furthermore, by introducing the so-called spatial-temporal risk index

they proved that: (ⅰ) if $R_0 = \frac{cG'(0)}{ab}\leq1$, the epidemic will vanish; (ⅱ) if $R_0^F(0)\geq1$, the epidemic will spread; (ⅲ) if $R_0^F(0) < 1$, epidemic will vanish for the small initial densities; (ⅳ) if $R_0^F(0) < 1 < R_0$, epidemic will spread for the large initial densities. Recently, Zhao et al. ^[24] determined the spreading speed of the spreading front of problem described in ^[23].

Inspired by the work ^[23], we want to study (1.2) with bistable nonlinearity and free boundaries. Meanwhile, we also want to consider the effect of the advection. In 2009, Maidana and Yang ^[25] studied the propagation of West Nile Virus from New York City to California. In the summer of 1999, West Nile Virus began to appear in New York City. But it was observed that the wave front traveled 187 km to the north and 1100 km to the south in the second year. Therefore, taking account of the advection movement has the greater realistic significance. Recently, there are some works considering the advection. In 2014, Gu et al. ^[26] was the first time to consider the long-time behavior of problem (1.3) with small advection. Then, the asymptotic spreading speeds of the free boundaries was given in ^[27]. For more general reaction term, Gu et al. ^[10] studied the long time behavior of solutions of Fisher-KPP equation with advection $\beta > 0$ and free boundaries. For single equation with advection, there are many other works. For example, ^{[28,29,30,31,32,33,34]} and their references. Besides, there are also several works devoted to the system with small advection, such as, ^{[35,36,37,38,39,40]} and their references.

Taking account of the effect of advection, we consider

where we use the changing region $(g(t), h(t))$ to denote the infective environment of disease, where the free boundaries $x = g(t)$ and $x = h(t)$ represent the spreading fronts of epidemic. Since the diffusion coefficient of $v$ is much smaller than that of $u$, we assume that the diffusion coefficient of $v$ is zero. When $u$ spreads into a new environment, some humans in the new environment may be infected. Hence, we can use $(g(t), h(t))$ to represent the habit of infective humans. We use $I_{0}\doteq(-h_{0}, h_{0})$ to denote the initial infective environment of epidemic. The initial functions $u_{0}(x)$ and $v_{0}(x)$ satisfy

where $p > 3$. The derivation of the stefan conditions $h'(t) = -\mu u_{x}(t, h(t))$ and $g'(t) = -\mu u_{x}(t, g(t))$ can be found in ^[41,42]. In this paper, we always assume that $G$ satisfies (G1)-(G2) and

(G3) $G(z)$ is locally Lipschitz in $z\in \mathbb R^+$, i.e., for any $L > 0$, there exists a constant $\rho(L) > 0$ such that

Furthermore, we assume that $0 < \beta < \beta^{\ast}$ with

The rest of this paper is organized as follows. In Section 2, the global existence and uniqueness of solution, comparison principle and some results about the principal eigenvalue are given. Section 3 is devoted to the long time behavior of $(u, v)$. We get a spreading and vanishing dichotomy and give the criteria for spreading and vanishing. Finally, we give some discussions in Section 4.

2.   Preliminaries

Firstly, we prove the existence and uniqueness of the solution.

Lemma 2.1. For any given $(u_{0}, v_{0})\in\mathscr{X}_{1}(h_{0})\times\mathscr{X}_{2}(h_{0})$ and any $\alpha\in(0, 1)$, there exists a $T > 0$ such that problem (1.4) admits a unique solution

moreover,

where $\Omega_{T} = \{(t, x)\in\mathbb{R}^{2}:\ 0\leq t\leq T, \ g(t)\leq x\leq h(t)\}$, $C$ and $T$ depend only on $h_{0}, \ \alpha, \ \|u_{0}\|_{W^{2}_{p}([-h_{0}, h_{0}])}$ and $\|v_{0}\|_\infty$.

Proof. This proof can be done by the similar arguments in ^[43]. But there are some differences. Hence, we give the details. Let

and

Then problem (1.4) becomes

and

where

Denote $g^\ast = -\frac{\mu}{h_0}u_0'(-h_0)$ and $h^\ast = -\frac{\mu}{h_0}u_0'(h_0)$. For $0 < T\leq\frac{h_0}{2(2+g^\ast+h^\ast)}$, define

It is easy to see that $\mathcal{D}_T\doteq\mathcal{D}_{1T} \times\mathcal{D}_{2T}\times\mathcal{D}_{3T}$ is a complete metric space with the metric

For any given $(w, g, h)\in\mathcal{D}_T$, there exist some $\xi_1, \xi_2\in(0, t)$ such that

which implies that

Thus, $A(g(t), h(t))$ and $B(g(t), h(t), y)$ are well-defined. By the definition of $w$, we have

Since $|w(t, y)|\leq\|w_0\|_{L^\infty}+1$ for $(t, y)\in\triangle_T$, we have

Define

For $u$ defined as (2.6) and any given $x\in[g(T), h(T)]$, we consider the following ODE problem

By the similar arguments as the step 1 in the proof of [44, Lemma 2.3], it is easy to show that (2.7) admits a unique solution $v(t, x)$ for $t\in[t_x, T_1]$, where $T_1\in\left(0, \frac{h_0}{2(2+g^\ast+h^\ast)}\right]$. Hence, problem (2.4) has a unique solution $v(t, x)\in C^1([0, T_1];L^\infty([g(t), h(t)]))$. By the continuous dependence of the solution on parameters, we can have

Then

For this $v$, we can get

For $(w, g, h)$ and $z$ obtained above, we consider the following problem

Applying standard $L^p$ theory and the Sobolev imbedding theorem, we can have there exists $T_2\in(0, T_1]$ such that (2.8) admits a unique solution $\overline{w}(t, y)$ and

where $C_2$ is a constant depending only on $h_0, \ \alpha$ and $\|u_0\|_{W^2_p([-h_0, h_0])}$. Then

Define

then we have $\overline{g}(0) = -h_0, \ \overline{h}(0) = h_0$,

and hence

Now, we can define the mapping $\mathcal{F}:\mathcal{D}_T\rightarrow C(\triangle_T)\times C^1([0, T])\times C^1([0, T])$ by

Obviously, $\mathcal{D}_T$ is a bounded and closed convex set of $C(\triangle_T)\times C^1([0, T])\times C^1([0, T])$, $\mathcal{F}$ is continuous in $\mathcal{D}_T$, and $(w, g, h)$ is a fixed point of $\mathcal{F}$ if and only if $(w, v, g, h)$ solve (2.3), (2.4) and (2.5). By (2.9) and (2.10), we have $\mathcal{F}$ is compact and

Therefore if we take $T\leq\min\left\{T_2, \ C_2^{-\frac{2}{1+\alpha}}, \ C_3^{-\frac{2}{\alpha}}\right\}\doteq T_3$, then $\mathcal{F}$ maps $\mathcal{D}_T$ into itself. It now follows from the Schauder fixed point theorem that $\mathcal{F}$ has a fixed point $(w, g, h)$ in $\mathcal{D}_T$. Moreover, we have $(w, v, g, h)$ solve (2.3), (2.4) and (2.5),

Define as before,

Then $(u, v, g, h)$ solve (1.4), and satisfies (2.1) and (2.2).

In the following, we prove the uniqueness of $(u, v, g, h)$. Let $(u_i, v_i, g_i, h_i)\ (i = 1, 2)$ be the two solutions of problem (1.4) for $T\in(0, T_3]$ sufficiently small. Let

Then it is easy to see that $(w_i, v_i, g_i, h_i)$ solve (2.3), (2.4) and (2.5). Denoting

we can have

and

Using the $L^p$ estimates for parabolic equations and Sobolev imbedding theorem, we obtain

where $C_4$ depends on $C_2, \ C_3$ and the functions $A$ and $B$. Next we should estimate $\|z_1-z_2\|_{C(\triangle_T)}$. For convenience, we define

By direct calculations, we have

Now we estimate $|(v_1-v_2)(t^\ast, x^\ast)|$ for any fixed $(t^\ast, x^\ast)\in\Omega_T^{G_m, H_M}$. It will be divided into the following three cases.

Case 1. $x^\ast\in[-h_0, h_0]$.

Since (2.4) is equivalent to the following integral equation:

we have

Then,

Case 2. $x^\ast\in(h_0, H_m(t^\ast))$.

In this case, there exist $t_1^\ast, \ t_2^\ast\in(0, t^\ast)$ such that $h_1(t_1^\ast) = h_2(t_2^\ast) = x^\ast$. Without loss of generality, we may assume that $0\leq t_1^\ast\leq t_2^\ast$. Then,

Thus,

By (G1) and (G2), we can have that there exists $\gamma$ such that $G(z)\leq\gamma z$ for $z\geq0$. Now we estimate $v_1(t_2^\ast, x^\ast)$. Direct calculations give that

Hence,

Case 3. $x^\ast\in[H_m(t^\ast), H_M(t^\ast)]$.

Without loss of generality, we assume that $h_2(t^\ast) < h_1(t^\ast)$. In this case, there exists $t_1^\ast$ such that $h_1(t_1^\ast) = x^\ast$. Then $v_1(t_1^\ast, x^\ast) = 0$, $u_2(t, x^\ast) = v_2(t, x^\ast) = 0$ for $t\in[t_1^\ast, t^\ast]$. Hence, $V(t^\ast, x^\ast) = v_1(t^\ast, x^\ast)$ and

Hence,

By (2.14), (2.15) and (2.16), we have

where $C_5$ depends on $b, \ \rho, \ M_1$ and $\gamma$. Now we estimate $\|u_1(t, x)-u_2(t, x)\|_{C(\Omega_T^{G_m, H_M})}$.

where $C_6$ only depends on $h_0$ and $\|w_{2x}\|_{C(\triangle_{T_3})}$. By $\overline{W}(0, y) = 0$ and Sobolev imbedding theorem, we have

where $C_7$ and $C_8$ do not depend on $T$. By (2.12), (2.13), (2.17), (2.18) and (2.19), we can get

where $C_9$ depends on $C_4, \ C_5$ and $C_8$; $C_{10}$ depends on $C_1, \ C_5$ and $C_6$. If $T\in\min\left\{T_3, (2C_9)^{-\frac{2}{\alpha}}\right\}\doteq T_4$,

In the following, we estimate $\|G\|_{C^1([0, T])}$ and $\|H\|_{C^1([0, T])}$. Since $G(0) = G'(0) = 0$, we have

By (2.11), we have

where $C_{11}$ depends on $\mu, \ A$ and $h_0$. It follows from the proof of [45, Theorem 1.1] that we have

where $C_{12}$ and $C_{13}$ do not depend on $T$. Therefore, we have

where $C_{14}$ depends on $C_2, \ C_{10}, \ C_{11}$ and $C_{13}$. Similarly, there exists $C_{15}$ such that

It follows from (2.21) and (2.22) that

if $T\leq\min\left\{T_4, \ 1, \ (4C_{16})^{-\frac{2}{\alpha}}\right\}\doteq T_5$, where $C_{16} = C_{14}+C_{15}$. Hence, $G = H = 0$ for $T\leq T_5$. It follows from (2.20) that $W = 0$. This implies that $u_1\equiv u_2$. By (2.17), we have $v_1\equiv v_2$. The uniqueness is obtained.

Then it follows from the arguments in ^[23] that we can get the following estimates.

Lemma 2.2. Let $(u, v, g, h)$ be a solution of problem (1.4) defined for $t\in(0, T_{0}]$, where $T_{0}\in(0, +\infty)$. Then there exist $M_{1}, \ M_{2}$ and $M_{3}$ independent of $T_0$ such that

(ⅰ) $0 < u(t, x)\leq M_{1}, \ 0 < v(t, x)\leq M_{2}$ for $t\in(0, T_{0}]$ and $x\in[g(t), h(t)]$.

(ⅱ) $0 < -g'(t), \ h'(t)\leq M_{3}$ for $t\in(0, T_{0}]$.

Just like the proof of [37, Theorem 3.2], we can obtain the global existence and uniqueness.

Theorem 2.3. The solution exists and is unique for all $t > 0$.

Then, we exhibit the following comparison principle, which can be proven by the similar argument in [23,Lemma 2.5].

Theorem 2.4. Assume that

with

and $(\overline{u}, \overline{v}, \overline{g}, \overline{h})$ satisfies

Then the solution $(u, v, g, h)$ of the free boundary problem (1.4) satisfies

Remark 2.5. The pair $(\overline{u}, \overline{v}, \overline{g}, \overline{h})$ in Theorem 2.4 is usually called an upper solution of problem (1.4). Similarly, we can define a lower solution by reversing all the inequalities in the suitable places.

In the following part, we consider the following eigenvalue problem

Denote by $\lambda_{0}(l)$ the principal eigenvalue of problem (2.23) with some fixed $l$.

Lemma 2.6. $\lambda_{0}(l)$ has the following form:

Proof. We choose $\beta$ to be small and determine it later. By a simple calculation, we can achieve the characteristic equation

and let $\mu_{i}\ (i = 1, 2)$ be the roots of (2.24). Then the solution of (2.23) is

where $c_{1}$ and $c_{2}$ will be determined later. Since $\phi(-l) = \phi(l) = 0$, we can derive that

In fact, if $\Delta = \beta^{2}-4d\left(\lambda-a+\frac{cG'(0)}{b}\right)\geq0$, we have $\phi\equiv0$, which is a contradiction. Hence, (2.24) has two complex roots:

Then

By $\phi(-l) = \phi(l) = 0$, we have $c_{1} = c_{2}$ and

When $k = 0$, $\lambda$ attain its minimum, we have

and the corresponding eigenfunction $\phi(x) = e^{\frac{\beta}{2d}x}\cos\left(\frac{\pi}{2l}x\right)$.

Then we have the following properties about $\lambda_{0}(l)$.

Lemma 2.7. The following assertions hold:

(ⅰ) $\lambda_{0}(l)$ is continuous and strictly decreasing in $l$,

(ⅱ) If $\frac{cG'(0)}{ab} > 1$ and $0 < \beta < 2\sqrt{d\left(\frac{cG'(0)}{b}-a\right)}$, then there exists

such that $\lambda_{0}(l^{\ast}) = 0$. Furthermore, $\lambda_{0}(l) > 0$ for $0 < l < l^{\ast}$, and $\lambda_{0}(l) < 0$ for $l > l^{\ast}$.

(ⅲ) If $\frac{cG'(0)}{ab}\leq1$, then $\lambda_{0}(l) > \frac{\beta^{2}}{4d}-\left(\frac{cG'(0)}{b}-a\right) > 0$.

Proof. By the expression of $\lambda_{0}(l)$ in Lemma 2.6, the proof of lemma is obvious. We omit it here.

3.   Spreading and vanishing

Firstly, we give the definitions of spreading and vanishing of the disease:

Definition 3.1. We say that vanishing happens if

and spreading happens if

Then, we give the following lemmas.

Lemma 3.2. Let $(u, v, g, h)$ be the solution of (1.4). If $h_{\infty}-g_{\infty} < \infty$, then there exists a constant $C > 0$ such that

Moreover,

Proof. We can use the method in [46, Theorem 2.1] to get (3.1). Then the proof of (3.2) can be done as [16,Theorem 4.1].

Lemma 3.3. Let $d, \ \mu$ and $h_{0}$ be positive constants, $w\in C^{\frac{1+\alpha}{2}, 1+\alpha}([0, \infty)\times[g(t), h(t)])$ and $g$, $h\in C^{1+\frac{\alpha}{2}}([0, \infty))$ for some $\alpha > 0$. We further assume that $w_{0}(x)\in\mathscr{X}_{1}(h_{0})$. If $(w, g, h)$ satisfies

and

for some constant $M > 0$. Then

Proof. It can be proved by the similar arguments in [16,Theorem 4.2].

By above Lemmas 3.2 and 3.3, we can derive the following result.

Theorem 3.4. If $h_{\infty}-g_{\infty} < \infty$, then

Proof. Firstly, we can use the method in the proof of [46,Theorem 2.1] to get

Recall that $u$ satisfies (3.3). By Lemmas 3.2 and 3.3, we can get $\lim\limits_{t\rightarrow\infty}\|u(t, \cdot)\|_{C([g(t), h(t)])} = 0$.

Noting that $v(t, x)$ satisfies

and $G(u)\rightarrow 0$ uniformly for $x\in[g(t), h(t)]$ as $t\rightarrow\infty$, we have $\lim\limits_{t\rightarrow\infty}\|v(t, \cdot)\|_{C([g(t), h(t)])} = 0$.

Lemma 3.5. If $\frac{G(z)}{z} < \frac{ab}{c}$ for any $z > 0$, then $h_{\infty}-g_{\infty} < \infty$.

Proof. Direct calculations yield

Integrating from $0$ to $t$ gives

Since $u\geq0$, $v\geq0$ and $G(u)\leq\frac{ab}{c}u$ for $u\geq0$, we have

Letting $t\rightarrow\infty$, we have $h_{\infty}-g_{\infty} < \infty$.

Lemma 3.6. Assume that $\frac{G(z_1)}{z_1} > \frac{ab}{c}$ for some $z_1 > 0$. If $\lambda_{0}(h_{0}) > 0$ holds, then vanishing will happen provided that $u_{0}$ and $v_{0}$ are sufficiently small.

Proof. We prove this result by constructing the appropriate upper solution. Let $\phi$ be the corresponding eigenfunction of $\lambda_{0}(h_0)$. Since $\lambda_{0}(h_{0}) > 0$, we can choose some small $\delta$ such that

Set

Direct computations yield

and

for all $t > 0$ and $-\sigma(t) < x < \sigma(t)$, where $\xi\in(0, \overline{u})$. Let

Since $\overline{u}\leq\varepsilon e^{\frac{\beta}{2d}h_{0}\delta}$, we can choose $\delta$ to be sufficiently small such that $B > 0$. Noting that

then we have

If $u_{0}$ and $v_{0}$ are sufficiently small such that

and

then

Applying Theorem 2.4 gives that $h(t)\leq\sigma(t)$ and $g(t)\geq-\sigma(t)$. Hence, $h_{\infty}-g_{\infty}\leq 2h_{0}(1+\delta) < \infty$. By Theorem 3.4, we have $\lim\limits_{t\rightarrow\infty} (\|u(t, \cdot)\|_{C([g(t), h(t)])}+\|v(t, \cdot)\|_{C([g(t), h(t)])}) = 0$.

By Lemma 3.6, we can derive the following corollary directly.

Corollary 3.7. Assume that $\frac{G(z_1)}{z_1} > \frac{ab}{c}$ for some $z_1 > 0$, then the following statements holds:

(ⅰ) If $\frac{cG'(0)}{ab} < 1$, then vanishing will happen for $u_{0}$ and $v_{0}$ sufficiently small.

(ⅱ) If $\frac{cG'(0)}{ab} > 1$ and $h_0 < l^\ast$, then vanishing will happen for $u_{0}$ and $v_{0}$ sufficiently small.

Lemma 3.8. Assume that $\frac{G(z_1)}{z_1} > \frac{ab}{c}$ for some $z_1 > 0$ and $\frac{cG'(0)}{ab} > 1$. If $h_{0} > l^{\ast}$, then spreading will happen.

Proof. Let $\phi$ be the corresponding eigenfunction of $\lambda_{0}(h_0)$. Since $\frac{cG'(0)}{ab} > 1$ and $h_{0} > l^{\ast}$, we have $\lambda_{0}(h_0) < 0$. Then we construct a suitable lower solution. Since

we can define

Direct computations yield

and

for all $t > 0$ and $-h_{0} < x < h_{0}$, where $\xi\in(0, \underline{u})$. We can choose $\epsilon$ small enough such that

Then

It follows from Remark 2.5 that $u(t, x)\geq\underline{u}(t, x)$ in $[0, \infty)\times[-h_{0}, h_{0}]$. Hence,

By Theorem 3.4, we have $h_{\infty}-g_{\infty} = \infty$.

Lemma 3.9. Assume that $\frac{G(z_1)}{z_1} > \frac{ab}{c}$ for some $z_1 > 0$ and $\frac{cG'(0)}{ab} > 1$. If $h_{0} < l^{\ast}$, then $h_{\infty}-g_{\infty} = \infty$ provided that $u_{0}$ and $v_{0}$ are sufficiently large.

Proof. We first note that there exists $\sqrt{T^{\ast}} > l^\ast$ such that $\lambda_{0}(\sqrt{T^{\ast}}) < 0$.

Inspired by the argument of [8,proposition 5.3], we consider

It is well-known that the first eigenvalue $\widetilde{\lambda}_{0}$ of (3.4) is simple and the corresponding eigenfunction $\varphi$ can be chosen positive in $[0, 1)$ and $\|\varphi\|_{L^{\infty}(-1, 1)} = 1$. Moreover, one can easily see that $\widetilde{\lambda}_{0} > 0$ and $\varphi'(x) < 0$ in $(0, 1]$. We extend $\varphi$ to $[-1, 1]$ as an even function. Then clearly

Now we construct a suitable lower solution to (1.4). Define

where the constants $\varrho, \ m, \ k$ are chosen as follows:

Let

and

where we choose $\varepsilon$ small enough such that

Then we define

Direct computations yield

and

For $x\in[-\sqrt{\varrho}, \sqrt{\varrho}]$, we have $t_x = 0$. Then

Moreover,

If $u_{0}$ is sufficiently large such that $\underline{u}(0, x) = \frac{m}{\varrho^{k}}\varphi\left(\frac{x}{\sqrt{\varrho}}\right) \leq u_{0}(x)$ for $x\in[-\sqrt{\varrho}, \sqrt{\varrho}]$, then we have

Noting that $\eta(0) = \sqrt{\varrho}\leq h_{0}$, we can use Remark 2.5 to conclude that $h(t)\geq\eta(t)$ and $g(t)\leq-\eta(t)$ in $[0, T^{\ast}]$. Specially, we obtain $h(T^{\ast})\geq\eta(T^{\ast}) = \sqrt{T^{\ast}+\varrho} > \sqrt{T^{\ast}}$ and $g(T^{\ast}) < -\sqrt{T^{\ast}}$. Then

Hence, we have $h_{\infty}-g_{\infty} = +\infty$ by Lemma 3.8.

Next, we present the sharp criteria on initial value, which separates spreading and vanishing.

Theorem 3.10. For some $\gamma > 0$ and $\omega_{1}$ and $\omega_{2}$ in $\mathscr{X}(h_{0})$, let $(u, v, g, h)$ be a solution of (1.4) with $(u_0, v_0) = \gamma(\omega_{1}, \omega_{2})$, then the following statements holds:

(ⅰ) Assume that $\frac{cG'(0)}{ab} < 1$. If $\frac{G(z)}{z} < \frac{ab}{c}$ for any $z > 0$, then vanishing will happen. If $\frac{G(z_1)}{z_1} > \frac{ab}{c}$ for some $z_1 > 0$, then vanishing will happen for $u_{0}$ and $v_{0}$ sufficiently small.

(ⅱ) Assume that $\frac{cG'(0)}{ab} > 1$ and $0 < \beta < 2\sqrt{d\left(\frac{cG'(0)}{b}-a\right)}$. If $\frac{G(z)}{z} < \frac{ab}{c}$ for any $z > 0$, then vanishing will happen. If $\frac{G(z_1)}{z_1} > \frac{ab}{c}$ for some $z_1 > 0$, then the following will hold:

(a) If $h_0>l^\ast$, then spreading will happen; (b) If $h_0<l^\ast$, then there exists $\gamma^{\ast}\in(0, \infty)$ such that spreading occurs for $\gamma>\gamma^{\ast}$, and vanishing happens for $0<\gamma\leq\gamma^{\ast}$.

Proof. This theorem follows from Lemma 3.5, Corollary 3.7, Lemmas 3.8 and 3.9. The conclusion (b) can be proven by the same arguments in [23,Theorem 4.3].

Finally, we give the asymptotic behavior of (1.4) when spreading happens.

Theorem 3.11. Assume that $\frac{cG'(0)}{ab}>1$, $0<\beta<2\sqrt{d\left(\frac{cG'(0)}{b}-a\right)}$ and $\frac{G(z_1)}{z_1}>\frac{ab}{c}$ for some $z_1>0$. If $h_{\infty}-g_{\infty} = \infty$, then

for $x\in\mathbb{R}$, where $(\underline{u}^\ast(x), \underline{v}^\ast(x))$ will be given in the proof.

Proof. We denote by $(u(t), v(t))$ the solution of (1.1) with

Applying the comparison principle gives

Since $\frac{cG'(0)}{ab} > 1$, $\lim\limits_{t\rightarrow\infty}(u(t), v(t)) = (u^{\ast}, v^{\ast})$. Hence,

By Lemma 2.7, we can find some $L > l^\ast$ such that $\lambda_0(L) < 0$, where $\lambda_0(L)$ is the principal eigenvalue of problem (2.23) with $l = L$ and $\phi(x)$ is the corresponding eigenfunction. For such $L$, it follows from $h_\infty-g_\infty = \infty$ that there exists $T_L$ such that

Let $(\underline{u}(t, x), \underline{v}(t, x)) = \delta\left(\phi(x), \left(\frac{G'(0)}{b}+\frac{\lambda_0}{4c}\right)\phi(x)\right)$, then we can choose small $\delta$ such that

Applying the comparison principle gives that

We extend $\delta\left(\phi(x), \left(\frac{G'(0)}{b}+\frac{\lambda_0}{4c}\right)\phi(x)\right)$ to $(\underline{u}^\ast(x), \underline{v}^\ast(x))$ by defining

Then we have $\liminf\limits_{t\rightarrow\infty}(u(t, x), v(t, x)) \geq(\underline{u}^\ast(x), \underline{v}^\ast(x))$ for $x\in \mathbb R$.

4.   Discussion

In this paper, we have dealt with a partially degenerate epidemic model with free boundaries and small advection. At first, we obtain the global existence and uniqueness of the solution. Then the effect of small advection is considered. We have proved that the results is similar to that in ^[20,23] under the condition $0 < \beta < \beta^{\ast}$. But we should explain that, for the case that $\frac{cG'(0)}{ab} > 1$ and $\beta\geq2\sqrt{d\left(\frac{cG'(0)}{b}-a\right)}$, the criteria for spreading and vanishing is hard to get by using the results of eigenvalue problem to construct the suitable upper and lower solution. We will study it in the future. When spreading occurs, the precise long-time behavior also needs a further consideration.

In order to study the spreading of disease, the asymptotic spreading speed of the spreading fronts is one of the most important subjects. To estimate the precise asymptotic spreading speed, we need to study the corresponding semi-wave problem or some other new technique. This may be not an easy task and deserves further study. We will consider it in another paper.

Due to the advection term, we find that the spreading barrier $l^{\ast}$ becomes larger if we increase the size of $\beta$ for $\beta\in(0, \beta^{\ast})$. This means that if $\beta\in(0, \beta^{\ast})$, the more lager the size of advection is, the more difficult the disease will spread. This result may provide us a suggestion in controlling and preventing the disease. It may be an effective measure to make the infectious agents move along a certain direction by artificial means.

Acknowledgments

We are very grateful to the anonymous referee for careful reading and helpful comments which led to improvements of our original manuscript. The first author was supported by FRFCU (lzujbky-2017-it55) and the second author was partially supported by NSF of China (11731005, 11671180).

Conflict of interest

The authors declare there is no conflict of interest.