- Research
- Open access
- Published:
The global dynamics for an age-structured SLIS model with the delay
Boundary Value Problems volume 2020, Article number: 107 (2020)
Abstract
This paper deals with the global dynamics for a SLIS epidemic model with infection age. In our model, we also consider the time delay in the progression from the latent individuals to becoming infectious individuals. We verify the well posedness of the model by changing it into an abstract nondensely defined Cauchy problem and find conditions for the existence of disease free equilibrium and endemic equilibrium. The theoretic analysis shows that the disease-free equilibrium is globally asymptotically stable as the basic reproduction number \(R_{0}\) is less than unity and that the endemic equilibrium is locally asymptotically stable and the system is uniformly persistent as \(R_{0}\) is greater than unity. The numerical simulations illustrate that the endemic equilibrium may be asymptotically stable as \(R_{0}>1\).
1 Introduction
Iin 1927, Kermack and McKendrick [1] proposed the SIR infectious disease model framework in which the total population was divided into three classes referred to as susceptible, infective, and recovered, and assumed that the recovered individuals have the permanent immunity. However, SIR infectious disease model framework cannot describe epidemics with latency, such as HIV/AIDS, tuberculosis (TB), hepatitis B, malaria, and so on. It leads to the appearance of the SLIR models discussing the spread of the epidemic diseases with latency, where “L” represents the latent individuals [2–8].
In fact, many sexually transmitted diseases such as gonorrhea and chlamydial infections are known to result in a little or no acquired immunity after recovery [9]. For the diseases that cause a very brief immune for the recovered individuals, the immune period may be ignored, and the model under study may be a suitable approximation [10]. That is, compared with SLIR and SLIRS epidemic models, the SLIS models are more suitable to describe the infectious diseases with latency and short immune period.
For the SLIS epidemic models, the outflow of the latent individuals is often described by an ordinary differential equation
where \(L=L(t)\) denotes the number of the latent individuals at time t, d is the natural death rate, and α is the progression rate from latent individuals to infectious individuals. The assumption in model (1.1) implies that the progression rate α is subject to the exponential distribution. However, for some diseases (such as TB, HIV/AIDS, etc.), the realistic situation is that the latent individuals must stay in the latent class for some time before becoming the infectious class, and after that time, the progression rate from latent individuals to infectious individuals depends on the infection age of the latent individuals. Namely, the progression rate α in (1.1) should be replaced with the following piecewise function:
where \(\alpha (a)\in L_{+}^{\infty }((0,+\infty ),\mathbb{R})\), \(\tau\geq0\) represents the shortest time required from initial infection to becoming infectious class (i.e. the shortest latency period), and a is the period of time that the latent individuals stay in the latent class since the initial infection, which is referred to be the infection age. Thus, by incorporating the infection age and applying (1.2), (1.1) becomes
where \(L(t, a)\) is the density of latent individuals with respect to infection age a at time t.
Let \(S=S(t)\) denote the number of the susceptible individuals at time t, \(I=I(t)\) denote the number of the infectious individuals at time t, \(\varLambda>0\) be the constant recruitment rate of susceptible individuals, \(\beta>0\) be the rate at which susceptible individuals become infected by an infectious individual, and \(\gamma>0\) be the recovery rates of infectious individuals. Based on the progression rate \(\alpha (a)\) and equation (1.3), for the latent individuals with infection age, we build an age-structured SLIS epidemic model with the delay progression rate as follows:
with the initial conditions
Our interest in this paper is investigating the effects of time delay and age structure on the dynamics of SLIS epidemic model. This paper is organized as follows. In Sect. 2, we present some preliminary results and the well-posedness of system (1.4). In Sect. 3, we prove the existence of equilibria, especially the existence and uniqueness of endemic equilibrium for the linearized system of (1.4) around the equilibria. In Sect. 4, we prove the global stability of disease free equilibrium \(E_{0}\) and the local stability of the endemic equilibrium \(E_{*}\). In Sect. 5, we discuss the uniform persistence of the infection. These methods and technique used in these sections are similar to those in [11]. Finally, we give a discussion and conclusions in Sect. 6.
2 Preliminaries and well-posedness
In this part, we first give some preliminaries on linear operators and \(C_{0}\)-semigroup theory and some notations. And then, we rewrite system (1.4) as an abstract equation on a suitable Banach lattice. Finally, we establish the well-posedness result for system (1.4) and prove the nonnegativity and boundedness of solutions.
Let \(P:D(P)\subset X\rightarrow X\) be a linear operator on a Banach space X. Denote by \(\rho (P)\) the resolvent set of P. The spectrum of P is defined as \(\sigma (P)=\mathbb{C} \textbackslash \rho (P)\). The point spectrum of P is the set
Definition 2.1
Let \(P: D(P)\subseteq X \rightarrow X\) be a linear operator. If there exist real constants \(M\geq 1\) and \(\omega \in \mathbb{R}\) such that \((\omega,+\infty )\subseteq \rho (P)\) and
then the linear operator \((P,D(P))\) is called a Hille–Yosida operator.
For Hille–Yosida operators, we have the following perturbation results.
Lemma 2.1
Let\((A,D(A))\)be a Hille–Yosida operator on a Banach spaceX, and let\(B\in \mathscr{L}(X)\), where\(\mathscr{L}(X)\)denotes the set of all bounded linear operators onX. Then the sum\(C=A+B\)is a Hille–Yosida operator as well.
For a Hille–Yosida operator \((P,D(P))\) on a Banach space X, we set
The operator \((P_{0},D(P_{0}))\) is called the part of P in \(X_{0}\), and the following result holds.
Lemma 2.2
If\((P,D(P))\)is a Hille–Yosida operator, then its part\((P_{0},D(P_{0}))\)generates a\(C_{0}\)-semigroup\((T_{0}(t))_{t\geqslant 0}\)on\(X_{0}\).
Now we set about to rewrite system (1.4) into an abstract evolution equation. Let
and define the linear operator \(\mathcal{A}:D(\mathcal{A})\subseteq X\longrightarrow X\) by
with \(D(\mathcal{A})=\mathbb{R}\times W^{1,1}((0,+\infty ),\mathbb{R}) \times \mathbb{R}\times \{0\}\). It is clear that \(\overline{D(\mathcal{A})}=\mathbb{R}\times L^{1}((0,+\infty ), \mathbb{R})\times \mathbb{R}\times \{0\}\), and thus \(D(\mathcal{A})\) is not dense in X. Define the nonlinear map \(\mathcal{F}: \overline{D(\mathcal{A})}\longrightarrow X\) by
It is clear that \(\mathcal{F}\) is Lipschitz continuous. Let \(u(t)=(S(t), L(t,\cdot ), I(t),0)^{T}\). We can rewrite system (1.4) as the following abstract Cauchy problem:
with \(u_{0}=(S_{0}, L_{0}(a), I_{0}, 0)^{T}\). Further, we have
Let
We have the following result.
Theorem 2.1
The operator\((\mathcal{A},D(\mathcal{A}))\)is a Hille–Yosida operator.
Proof
For \((\phi,\varphi,\omega,\psi )\in X\), \((\tilde{\phi },\tilde{\varphi },\tilde{\omega },0)\in D(\mathcal{A})\), and \(\lambda \in \varOmega \), we have
It means that
Integrating the second equation of (2.3) with respect to the age variable a, and adding all the equations, we obtain that
That is,
which implies that \((\mathcal{A},D(\mathcal{A}))\) is a Hille–Yosida operator. □
By using of Lemma 2.2, we further obtain the following result:
Theorem 2.2
The part of\((\mathcal{A},D(\mathcal{A}))\)generates a\(C_{0}\)-semigroup\((\mathscr{L}(X))_{t\geqslant 0}\)on\(X_{0}\).
Since \((\mathcal{A},D(\mathcal{A}))\) is a Hille–Yosida operator, we have the following well-posedness theorem for system (2.1).
Theorem 2.3
For any\(u_{0}\in X_{0+}\), system (1.4) represented by the integral equation (2.2) has a unique continuous solution with values in\(X_{0+}\). Moreover, the map\(\varPhi : [0, +\infty )\times X_{0+}\mapsto X_{0+}\)defined by\(\varPhi (t, u_{0})=u(t,u_{0})\)is a continuous semiflow, that is, the map is continuous and satisfies\(\varPhi (0, \cdot )=I\)and\(\varPhi (t,\varPhi (s, \cdot ))=\varPhi (t+s,\cdot )\).
According to the significance of epidemiology, we only consider nonnegative solutions of system (1.4). The nonnegativity and ultimate boundedness of the solution \((S(t), L(t,a), I(t))\) of system (1.4) with nonnegative initial conditions are given in the following.
Theorem 2.4
All solutions of system (1.4) with nonnegative initial conditions remain nonnegative for all\(t\geq 0\)and are ultimately bounded.
Proof
We first prove that \(L(t,a)\geq 0\) with nonnegative initial values. Integrating the second equation in system (1.4) along the characteristic line, we obtain
It is clear that \(L(t, a)\) is nonnegative for all nonnegative initial values.
Second, we show that \(I(t)\geq 0\) for \(t\geq 0\). Without loss of generality, we assume there exists \(t_{1}>0\) such that \(I(t_{1})=0\) and \(I(t)>0\) for all \(t\in (0,t_{1})\). In fact, the third equation of system (1.4) implies that \(I'(t_{1})=\int _{0}^{+\infty }\alpha (a)L(t_{1},a)\,da>0\). It is a contradiction, which means that the assumption is not true, that is, \(I(t)\geq 0\) for all \(t\geq 0\).
Third, we prove that \(S(t)\geq 0\) for \(t\geq 0\). In fact, if there exists \(t_{2}>0\) such that \(S(t_{2})=0\) and \(S(t)>0\), \(t\in (0,t_{2})\), then the first equation of system (1.4) implies that \(S'(t_{2})=\varLambda +\gamma I(t_{2})>0\), which in turn implies that \(S(t)\geq 0\) for all \(t\geq 0\).
Finally, we prove that the solutions of system (1.4) are ultimately bounded. Let \(L(t)=\int _{0}^{+\infty }L(t, a)\,da\), which represents the total number of latent individuals at time t. It is reasonable to assume that \(\lim_{a\rightarrow +\infty }L(t, a)=0\) since there exists a finite maximum age in a biological sense. Further, we have
Therefore
Consequently, \(S(t)\), \(L(t,a)\), and \(I(t)\) are ultimately bounded. It follows that the omega limit set of system (1.4) is contained in the following bounded feasible region:
It is obvious that the region Γ is positively invariant with respect to system (1.4). □
3 Equilibria and properties of linearization at equilibria
In this part, we consider the existence of equilibria and linearization of the nonlinear system (1.4) around the equilibrium solutions.
It is clear that system (1.4) always has the disease free equilibrium \(E_{0}=(S^{0}, 0, 0)\), where \(S^{0}=\frac{\varLambda }{d}\). In order to find the positive equilibrium \(E_{*}=(S_{*}, L_{*}(a), I_{*})\) of (1.4), we solve the following equations:
Solving the second equation of (3.1), we get
Then from the third equation of (3.1) and (3.2), we have
Hence
Because of \(\beta S_{*}-\gamma = \frac{d+\mu +\gamma (1-\int _{0}^{+\infty }\alpha (a)e^{-\int _{0}^{a} (d+\alpha (\theta ) )\,d\theta }\,da)}{\int _{0}^{+\infty }\alpha (a)e^{-\int _{0}^{a} (d+\alpha (\theta ) )\,d\theta }\,da}>0\), the first equation of (3.1) implies that
Now we denote the basic reproduction number as
Therefore, we have \(I_{*}=\frac{\varLambda }{\beta S_{*}-\gamma }(1-\frac{1}{R_{0}})>0\) when \(R_{0}>1\). That is, if \(R_{0}>1\), then system (1.4) has a unique positive equilibrium. Summarizing the analysis, we have the following result.
Theorem 3.1
System (1.4) always has the disease free equilibrium\(E_{0}=(S^{0}, 0, 0)=(\frac{\varLambda }{d}, 0, 0)\). In addition, if\(R_{0}>1\), then system (1.4) also has a unique endemic equilibrium\(E_{*}=(S_{*}, L_{*}(a), I_{*})\), where
Here, each term in \(R_{0}\) has a clear epidemiological meanings. \(e^{-\int_{0}^{a}(d+\alpha(\theta))\,d\theta}\) is the probability that the latent individual survives to age a, \(\int _{0}^{+\infty }\alpha (a)e^{-\int _{0}^{a}(d+\alpha (\theta ))\,d \theta }\,da\) is the total number of infectious individuals produced over the life span of the latent individual, \(\frac{1}{d+\mu +\gamma }\) is the average infection period, β is the infection rate of the infectious individual, and \(\frac{\varLambda }{d}\) represents the total number of susceptible individuals. Therefore \(R_{0}\) represents the total number of newly infectious individuals.
In the following, we linearize system (1.4) around the steady state. Let
where \(\overline{E}=(\overline{S}, \overline{L}(a),\overline{I})\) is any steady state of system (1.4), \(\tilde{u}(t)=(x(t),y(t,a),z(t),0)\), and \(\bar{u}=(\overline{S}, \overline{L}(a),\overline{I},0)\). Then system (2.1) is equivalent to the following Cauchy problem:
By direct computations we can obtain readily the linearized system of (2.1) around ū of the following form:
where
Obviously, \(D\mathcal{F}(\bar{u})\) is a compact bounded linear operator on X.
Combining Lemma 2.1 and Theorem 2.1, the following result can be immediately obtained:
Theorem 3.2
The operator\(\mathcal{A}+D\mathcal{F}(\bar{u})\)is a Hille–Yosida operator.
Therefore, by Lemma 2.2, we can get the following result:
Theorem 3.3
The part of\((\mathcal{A}+D\mathcal{F}(\bar{u}), D(\mathcal{A}+D\mathcal{F}( \bar{u})) )\)generates a\(C_{0}\)-semigroup\((\mathscr{T}(t))_{t\geq 0}\)on the space\(X_{0}\).
By the Hille–Yosida estimate in the proof of Theorem 2.1, we have \(\|\mathscr{S}(t))\|\leq e^{-\xi t}\). Furthermore, \(D\mathcal{F}(\bar{u})\mathscr{S}(t): X_{0}\rightarrow X\) is compact for any \(t>0\). Because of
we know \((\mathscr{T}(t))_{t\geq 0}\) is quasi-compact. Theorem B.1 in [14] implies that, for some \(\eta >0\), \(e^{\eta t} \|\mathscr{T}(t)\|\rightarrow 0\) as \(t\rightarrow +\infty \) whenever all the eigenvalues of \((\mathcal{A}+D\mathcal{F}(\bar{u}))\) have negative real parts. The previous analysis implies the following conclusion holds.
Theorem 3.4
The solution semiflow\(\varPhi (t, u_{0})\)of system (1.4) defined as in Theorem 2.3satisfies the following properties:
- (i)
If all the eigenvalues of\((\mathcal{A}+D\mathcal{F}(\bar{u}))\)have strictly negative real parts, then the steady stateūis locally asymptotically stable.
- (ii)
If at least one eigenvalue of\((\mathcal{A}+D\mathcal{F}(\bar{u}))\)has a strictly positive part, then the steady stateūis unstable.
4 Stability of equilibria
In this section, based on the preceding discussion, we will focus on discussing the stability of the disease free equilibrium \(E_{0}=(S^{0}, 0, 0)\) and the endemic equilibrium \(E_{*}=(S_{*}, L_{*}(a), I_{*})\).
Theorem 4.1
If\(R_{0}<1\), then the disease free equilibrium\(E_{0}\)of system (1.4) is globally asymptotically stable.
Proof
We construct the Lyapunov function to prove that \(E_{0}\) is globally asymptotically stable when \(R_{0}<1\). Define the Lyapunov function
with \(m_{1}>0\), \(m_{2}>0\), and \(\delta (a)=\int _{a}^{+\infty }\alpha (\xi )e^{-\int _{a}^{\xi }(d+ \alpha (\eta ))\,d\eta }\,d\xi \), where \(\delta (a)\) is a differentiable function on \([0, \infty )\). Then the derivative of \(V(t)\) along the solution of system (1.4) is given by
Because of
(4.1) can be rewritten as
It is clear that \(\delta (0)=\int _{0}^{+\infty }\alpha (\xi )e^{-\int _{0}^{\xi }(d+ \alpha (\eta ))\,d\eta }\,d\xi >0\). Let \(m_{1}=m_{2}=\frac{1}{\delta (0)}\). Then \(m_{1}=m_{2}>0\), and (4.2) can be rewritten as
Since \(0< S(t)\leq \frac{\varLambda }{d}=S^{0}\) for \((S, L(\cdot ), I)\in \varGamma \), when \(R_{0}<1\) and \(m_{1}=\frac{1}{\delta (0)}\), the function V and its derivative along solutions of model (1.4) are positive and negative on the set Γ, respectively. Therefore the Lyapunov stability theorem implies that the disease-free equilibrium \(E_{0}\) of system (1.4) is globally asymptotically stable on the set Γ when \(R_{0}<1\) [15]. □
Theorem 4.2
If\(R_{0}>1\), then the endemic equilibrium\(E_{\ast }\)of system (1.4) is locally asymptotically stable.
Proof
To explore the local stability of \(E_{*}\), we linearize system (1.4) at endemic equilibrium \(E_{*}\). Namely, we introduce the perturbation variables \(x(t)=S(t)-S_{*}\), \(y(t, a)=L(t, a)-L_{*}(a)\), and \(z(t)=I(t)-I_{*}\), which leads to
We substitute \(x(t)=x_{0}e^{\lambda t}\), \(y(t,a)=y_{0}(a)e^{\lambda t}\), and \(z(t)=z_{0}e^{\lambda t}\) into equation (4.4) and get the following equations:
Solving the second and the third equations in (4.5), we get
By the first equation in (4.5), combining the last equation in (4.5), we obtain
Then we derive the characteristic equation of (4.5) as follows:
It is not hard to see that for λ with \(\operatorname{Re}\lambda \geq 0\), the left side of the characteristic equation satisfies
On the other hand, for the right side of (4.8), we have for λ with \(\operatorname{Re}\lambda \geq 0\):
which implies that \(\vert \frac{(\gamma -\beta S_{*})}{\gamma -\frac{y_{0}(0)}{z_{0}}} \vert = \vert \frac{(\beta S_{*}-\gamma )}{\frac{y_{0}(0)}{z_{0}}-\gamma } \vert \leq 1\). It is a contradiction since the roots of the characteristic equation (4.8) must have negative real parts. Therefore the endemic equilibrium \(E_{*}\) is locally asymptotically stable when \(R_{0}>1\). □
It is so difficult to prove the global stability of \(E_{*}\) by the rigorous mathematical theory. Therefore, we will use the numeric simulations to disply the endemic equilibrium \(E_{*}\) may be globally asymptotically stable when \(R_{0}>1\). In order to achieve this goal, we take the maximum infection age 75, \(\varLambda =10\), \(d=0.007\), \(\mu =0.0025\), \(\gamma =0.75\), \(\tau =0.5\), and \(\alpha _{*}=0.01\). With these parameter values, by straightforward calculations, we have \(R_{0}=2.2051>1\) when \(\beta =0.002\). Figure 1 displays that the solutions of system (1.4) with three different initial values tend to the endemic equilibrium \(E_{*}\) as t tends to infinity. It implies that \(E_{*}\) may be globally stable when \(R_{0}>1\).
5 Uniform persistence of infection
Although we are not able to prove that \(E_{*}\) is globally asymptotically stable when \(R_{0}>1\) by using the strict mathematical derivation, we can prove that the persistence of system (1.4) when \(R_{0}>1\). In this section, we will investigate the persistence of system (1.4) by using the method in [16]. We give the following notations:
We first prove that system (1.4) is uniformly weakly persistent. To this end, we give the following result.
Lemma 5.1
If\(R_{0}>1\), then there exists a positive constant\(\varepsilon _{0}>0\)such that any solution\((S(t), L(t, a), I(t))\)of system (1.4) with initial values\((S_{0}, L_{0}(a), I_{0})\in \varUpsilon \)satisfies
Proof
For any solution \((S(t), L(t, a), I(t))\) of system (1.4) with initial value \((S_{0}, L_{0}(a), I_{0})\in \varUpsilon \), we claim that (5.1) holds. Otherwise, for any \(\varepsilon >0\), there exists a sufficiently large constant \(t_{1}>0\) such that \(I(t)\leq \varepsilon \) for all \(t\geq t_{1}\).
The first equation of system (1.4) implies that
That is, \(\limsup_{t\rightarrow +\infty }S(t)\geq \liminf_{t\rightarrow + \infty }S(t)\geq \frac{\varLambda }{d+\beta \varepsilon }\).
Let \(\phi (t)=L(t, 0)\), which satisfies
Combining (2.4) and the third equation of (1.4), we have
Taking the Laplace transforms of both sides of (5.2) and (5.3), for \(s\in\mathbb{R}\), we have,
where \(\hat{\phi }(s)\) and \(\hat{I}(s)\) represent the Laplace transforms of ϕ and I, respectively, and
Combining (5.4) and (5.5), we get
Denote \(H(\varepsilon,s)= \frac{\beta \varLambda \hat{K}(s)}{(d+\beta \varepsilon )(s+d+\mu +\gamma )}\), we have
which is a contradiction since the coefficient of \(\hat{\phi }(s)\) on the right-hand side of (5.6) should be less than 1. Therefore, the assumption is not true. That is, there exists a constant \(\varepsilon _{0}>0\), such that any solution \((S(t), L(t, a), I(t))\) of (1.4) with \((S_{0}, L_{0}(a), I_{0})\in \varUpsilon \) satisfies
□
Further, by Lemma 5.1, we know any solution \((S(t), L(t, a), I(t))\) of system (1.4) is bounded below. In fact, the definition of ϒ implies that \(I(t)\) is bounded above. Let \(I(t)\leq M\). Then
which implies that
Then, by using (5.7) and (5.8), we have
from which we infer that
Combining Lemma 5.1, (5.8), and (5.9) yields immediately the weak persistence of the solutions to system (1.4). Namely, we have the following result:
Theorem 5.1
If\(R_{0}>1\), then the semiflow\(\{\varPhi(t)\}_{t\geq 0}\)generated by system (1.4) is weakly persistent inϒin the sense that there exists a constant\(\zeta>0\), such that
Next, we will use the methods and techniques recently employed in [14, 17, 18] to show that system (1.4) has a global attractor \(\mathscr{A}_{0}\). Namely, the following result holds.
Lemma 5.2
If\(R_{0}>1\), then there exists a global attractor\(\mathscr{A}_{0}\subseteq \varUpsilon \)for the solution semiflow\((\varPhi (t))_{t\geq 0}\)of system (1.4).
Proof
It is clear that the semiflow \((\varPhi (t))_{t\geq 0}\) defined in Theorem 2.3 maps \(\mathbb{R}_{+} \times \varUpsilon \) into ϒ, and \((\varPhi (t))_{t\geq 0}\) is point dissipative and maps bounded sets into bounded sets.
We decompose the solution semiflow Φ as \(\varPhi =\varPsi (t, u_{0})+\varTheta (t, u_{0})\) with
where \(S(t)\) and \(I(t)\) satisfy system (1.4), and \(L_{1}(t, a)\) and \(L_{2}(t, a)\) are respectively the solutions of the systems
and
It is easy to check that \(L_{1}(t, a)\) and \(L_{2}(t, a)\) are both nonnegative. Let \(\bar{w}(t)=\int _{0}^{+\infty }L_{1}(t, a)\,da\). Then (5.10) implies that \(\bar{w}(t)\leq \|L_{0}(a)\|_{L^{1}}e^{-dt}\), and hence \(\lim_{t\rightarrow +\infty }\varPsi (t, u_{0})=0\) for every \(u_{0}\in \varUpsilon \).
To prove that \(\varTheta (t, u_{0})\) is completely continuous, we show that the set \(\{\varTheta (t, u_{0}): u_{0} \in \varXi \}\) is precompact for fixed t and any bounded set Ξ in ϒ. To this end, we only need to verify that the set \(\{\varTheta (t, u_{0}): u_{0} \in \varUpsilon \}\) is precompact by utilizing the Fréchet–Kolmogorov theorem. Obviously, because of \(\{\varTheta (t, u_{0}): u_{0} \in \varUpsilon \}\subseteq \varUpsilon \), we obtain that \(\{\varTheta (t, u_{0}): u_{0} \in \varUpsilon \}\) is bounded. In addition, by (5.11) we have
where \(\check{\phi }(t)=L_{2}(t,0)=\beta S(t)I(t)\). Then we have \(L_{2}(t, a)=0\) for \(a>t\).
Next, we show that the \(L^{1}\)-norm of \(\frac{\partial L_{2}(t, a)}{\partial a}\) is bounded. Indeed, since, for \(u_{0}\in \varUpsilon \), \(\check{\phi }(t)\), \(S(t)\) and \(I(t)\) are all bounded, from the first and third equations of system (1.4) we deduce that \(\vert \check{\phi }'(t) \vert =\beta \vert S'(t)I(t)+S(t)I'(t) \vert \) is bounded as well. Then we have \(\check{\phi }(t)\leq \delta _{1}\) and \(\vert \check{\phi }'(t) \vert \leq \delta _{2}\), where \(\delta _{1}\) and \(\delta _{2}\) are two constants depending on the parameters and the bounds of the solutions. From (5.12) we derive that
and then we obtain that
that is, \(\frac{\partial L_{2}(t, a)}{\partial a}\) is bounded in \(L^{1}\). Thus, observing that
we infer that, for a fixed t, \(\{\varTheta (t, u_{0}): u_{0} \in \varUpsilon \}\) is precompact. So, by the Fréchet–Kolmogorov theorem \(\varTheta (t, u_{0})\) is completely continuous. Thus all the conditions of Theorem 3.4.6 in [17] are satisfied, and the result follows. The proof is completed. □
Based on the pevious analysis, we get the following result.
Lemma 5.3
If\(R_{0}>1\), then there exists a positive constant\(\eta >0\)such that any solution\((S(t), L(t, a), I(t))\)of (1.4) with initial value\((S_{0}, L_{0}(a), I_{0})\in \varUpsilon \)satisfies
Proof
We consider the solution semiflow Φ on ϒ. Define the function \(\rho : \varUpsilon \mapsto \mathbb{R}_{+}\) by
Lemma 5.1 implies that the semiflow is uniformly weakly ρ-persistent, and Lemma 5.2 means that the solution semiflow has a global attractor \(\mathscr{A}_{0}\). Since the solution semiflow is nonnegative for all \(t\geq 0\), by the the third equation of system (1.4) we know that \(I(t)e^{(d+\mu +\gamma )t}\) is increasing. Therefore, for any s with \(t>s\), we have
that is, \(I(t)>0\) for all \(t>s\) when \(I(s)>0\). It then follows from Theorem 2.6 in [16] that the solution semiflow is uniformly strongly ρ-persistent, thats is, there exists a constant \(\eta >0\) such that
□
By (5.8) we can get that
Thus \(E(t,0)\) is uniformly strongly persistent.
It is easy to show that the persistence (i.e., with respect to \(L(t,0)\)) implies the persistence of \(L(t,\cdot )\) with respect to \({\|\cdot \|}_{L^{1}}\). In fact, by a variation of the Lebesgue–Fatou lemma ([19], Section B.2) we obtain
Hence the persistence of \(L(t,a)\) with respect to \({\|\cdot \|}_{L^{1}}\) follows. Then, combining Lemmas 5.2 and 5.3, we have the following theorem.
Theorem 5.2
If\(R_{0}>1\), then the semiflow\(\{\varPhi (t)\}_{t\geq 0}\)generated by (1.4) is uniformly persistent inϒin the sense that there exists a constant\(\zeta >0\)such that
6 Conclusion
In this paper, we have proposed and analyzed a SLIS epidemic model with age-structure and delay. Firstly, we showed that the well-posedness of system (1.4) and solutions of the system are positive and ultimately bounded. Then we derived the basic reproduction number \(R_{0}\) and proved that it is the threshold to determine extinction or survival of viruses. Precisely, a disease-free equilibrium is globally asymptotically stable if \(R_{0}<1\) and unstable if \(R_{0}>1\). Moreover, disease persists in the latter case in the sense that the infectious individuals survive above a certain number for any initial infection number. We further explored the local stability of endemic equilibrium by analyzing the distribution of roots to the related characteristic equation. Numerical simulations display that the endemic equilibrium may be globally stable.
The mathematical model we build in this paper can be used to describe the transmission of TB, hand-foot-mouth disease, certain types of computer viruses, and so on. If data on the transmission of a certain type of infectious disease are plentiful, then we are able to use our model to even predict the number of infected individuals with different infection ages. This information has a certain guiding significance for the public health department or information security department to formulate relevant prevention and control measures for the transmission of disease or computer viruses.
The challenge we face in the future is constructing a reasonable Lyapunov function to prove the global stability of the endemic equilibrium of epidemic model with age-structure. In addition, in this paper, we choose the progression rate \(\alpha (a)\) as a general function \(\alpha _{*}(a)\) when \(a\geq \tau \). In fact, choosing a proper function form for \(\alpha _{*}(a)\) is also a meaningful question in the future.
References
Kermack, W.O., McKendrick, A.G.: A contribution to the mathematical theory of epidemics. Proc. R. Soc. A. 115, 700–721 (1927)
Li, M.Y., Muldoweney, J.S.: Global stability for SEIR model in epidemiology. Math. Biosci. 125, 155–167 (1995)
Li, M.Y., Muldowney, J.S., Wang, L.C., Karsai, J.: Global dynamics of an SEIR epidemic model with a varying total population size. Math. Biosci. 160, 191–213 (1999)
Li, M.Y., Muldowney, J.S.: Global stability of a SEIR epidemic model with vertical transmission. SIAM J. Appl. Math. 62, 58–69 (2001)
Zhang, J., Ma, Z.: Global stability of SEIR model with saturating contact rate. Math. Biosci. 185, 15–32 (2003)
Xu, R., Wang, Z., Zhang, F.: Global stability and Hopf bifurcations of an SEIR epidemiological model with logistic growth and time delay. Appl. Math. Comput. 269, 332–342 (2015)
Britton, T., Trapman, P.: Stochastic epidemics in growing populations. Bull. Math. Biol. 76, 985–996 (2014)
Sharma, N., Gupta, A.K.: Impact of time delay on the dynamics of SEIR epidemic model using cellular automata. Phys. A, Stat. Mech. Appl. 471, 114–125 (2017)
Anderson, R.M., May, R.M.: Population biology of infectious diseases: part 1. Nature 280, 361 (1979)
Fan, M., Li, M.Y., Wang, K.: Global stability of an SEIS epidemic model with recruitment and a varying total population size. Math. Biosci. 170, 199–208 (2001)
Yan, D., Fu, X.: Analysis of an age-structured HIV infection model with logistic target-cell growth and antiretroviral therapy. IMA J. Appl. Math. 83, 1037–1065 (2018)
Engel, K.J., Nagel, R.: One-Parameter Semigroups for Linear Evolution Equations. Springer, New York (2000)
Pazy, A.: Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer, New York (1983)
Martcheva, M., Thieme, H.R.: Progression age enhanced backward bifurcation in an epidemic model with super-infection. J. Math. Biol. 46, 385–424 (2003)
Hale, J.K.: Theory of Functional Differential Equations. Springer, Heidelberg (1977)
Thieme, H.R.: Uniform persistence for non-autonomous semiflows in population biology. Math. Biosci. 166, 173–201 (2000)
Hale, J.K.: Asymptotic Behavior of Dissipative Systems. Math. Surveys Monogr., vol. 25. AMS, Providence (1988)
Martcheva, M., Li, X.Z.: Competitive exclusion in an infection-age structured model with environmental transmission. J. Math. Anal. Appl. 408, 225–246 (2013)
Smith, H.L.: Mathematics in Population Biology. Princeton University Press, Princeton (2003)
Acknowledgements
We would like to thank the referees very much for the careful review and valuable comments to this manuscript, which greatly improved it. We also should say thanks to professor Jianquan Li, who gave us some helpful suggestions for revising this paper.
Availability of data and materials
This paper focuses on theoretical analysis and does not involve experiments and data.
Funding
This work is supported by National Natural Science Foundation of China grant 11971281, by Natural Science Foundation of Shaanxi Province in China grant 2018JQ1031, and by Natural Science Foundation of Shaanxi Provincial Department of Education in China grant 18JK0092.
Author information
Authors and Affiliations
Contributions
Hongwu Tan is responsible for the theoretical analysis of the model, Xin Yang is responsible for writing the full text and the simulation section, and Hui Cao is responsible for the model formulation and study planning. All authors have read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Tan, H., Yang, X. & Cao, H. The global dynamics for an age-structured SLIS model with the delay. Bound Value Probl 2020, 107 (2020). https://doi.org/10.1186/s13661-020-01405-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-020-01405-5