 Research
 Open Access
 Published:
Analysis and control of an agestructured HIV1 epidemic model with different transmission mechanisms
Advances in Difference Equations volume 2018, Article number: 36 (2018)
Abstract
In this paper, we propose a withinhost HIV1 epidemic model with celltovirus and celltocell transmission. By mathematical analysis, we obtain the basic reproduction number \(\mathcal {R}_{0}\), which determines the viral persistence and the basic reproduction number \(\mathcal {R}_{0}^{\mathrm{cc}}\) with respect to celltocell transmission which is not strong enough, i.e., it is less than 1. If the basic reproduction number is less than 1, then the viralfree steady state \(E_{0}\) is globally asymptotically stable, which is proved by fluctuation lemma and comparison method; if \(\mathcal {R}_{0}>1\) is greater than 1, the endemic steady state \(E^{*}\) is globally asymptotically stable, which is proved by constructing the Lyapunov functional. Antiretoviral therapy is implemented to suppress the viral replication. Protease inhibitors for celltocell transmission play an important role in controlling celltocell infection. Under some circumstances, the effects of the celltocell infection process are more sensitive than those of celltovirus transmission.
Introduction
Since the discovery of the first case of acquired immunodeficiency syndrome (AIDS), the disease has been in a major concern in global health. Nearly 43 million peopled are infected by human immunodeficiency virus (HIV) and about 29 million people died due to AIDS. Such accumulative cases are still increasing each year. Many infected individuals are receiving highly active antiretroviral therapy (HAART), an effective treatment that suppresses HIV1 replication and progression. Even though the treatment does not lead to permanent cure of HIV infection, it extends the life of HIV1infected individuals and individuals under such treatment survive in asymptomatic chronic stages with low viral load. In particular, HAART is able to suppress viral replication to undetectable levels (<50 HIV1 RNA copies/ml) in adherent patients [1, 2]. The process of inhost HIV infection is as follows. After entering the CD4^{+} T cells, HIV viruses reversely transcribe from RNA to DNA and integrate viral DNA into the hosts DNA. Then infected CD4^{+} T cells release viruses through transcription and translation. Because of the comprehensive infection process for HIV, applying antiretroviral drugs at different infection stages may have different treatment effects.
Mathematical models [3–9] have been used to investigate the withinhost viral dynamics to explore the effects of drug treatment. In order to discover the effects of drug treatment applied to the infectives at different infection stages, Lloyd [3] proposed a withinhost model with multiple infection stages and find that treatment at initial infection stage is much more sensitive than treatment at other stages. The model is described as follows:
Here \(x(t)\) denotes the number of target cells, \(y_{i}(t)\), \(i=1,2,\ldots,n\) denote the number of productively infected cells at different infection phases and \(v(t)\) denotes the number of free virus particles. CD4^{+} T lymphoblasts have birth rate λ. Viruses are released from HIV infected cells at rate \(p_{j}\), and cleared at rate μ; \(\delta_{j}\) is the transfer rate from the jth stage to the \(j+1\)th stage and \(q_{j}\) is the chance that a cell leaves the jth stage and enters the \(j+1\) stage. The model focuses on single target celllymphoblasts. Recent investigations show that macrophages are another type of target cells during the viral attack. Sedaghat et al. in [4] constructed a mathematical model with two targets and two transmission phases to investigate the decay dynamics of HIV1. They focused on the effects of drug treatment applied to the patient at the last infectious stage. The authors show that drug applied at the last stage has better effects than that applied at other stages. Such a conclusion is in good agreement with results from clinical experiment. Then Wang et al. [5] proposed a mathematical model to study viral decay dynamics with multiple stages and analyze its longterm dynamical behaviors. The model is given by
All parameters in (1.2) have the same biological meaning as those in (1.1). (Parameters in system (1.1) and (1.2) may have different subscripts.) Here \(x_{i}(t)\) and \(y_{i}(t,a)\) denote the amount of target uninfected CD4^{+} cells and infected cells, respectively. \(h_{i}\) is the incidence rate function satisfying some conditions (see assumptions from (H1) to (H4) [5]). The authors showed that if the therapy is 100% effective, then applying the drug at late infectious stage results in a faster decay of viremia.
Dixit and Perelson [10] studied the decay of viral load of individuals infected with HIV under monotherapy. They showed that such scenario can exhibit complicated dynamical behaviors depending on the relative magnitudes of the pharmacokinetic, intracellular, and intrinsic viral dynamic timescales. The investigation indicated that exponential decay dynamics can be considered as a special case of HAART. Dixit et al. [11] constructed a mathematical model with increased accuracy to investigate HIV dynamics when the drug is not 100% effective. Mathematical models have also been proposed to consider the life cycle of virus [12–14] and immune effects [15–17]. The authors compared therapeutic efficacy of medications applied at different infectious stages on the reduction of viremia. They showed that multiple stages, intracellular delay and different target cells have significant effects on viral dynamics.
Motivated by these works, we propose a mathematical model incorporating the three factors mentioned above to investigate the dynamics of life cycle of virus. We assume the multiple stages don’t satisfy the Markov process. This indicates that their distributions are not exponential and they satisfy a general distribution. The mathematical model is proposed as follows:
with initial condition
where \(L_{+}^{1}\) is the set of integrable functions from \((0,\infty)\) into \(\mathbb{R}_{+}=(0,\infty)\). Here \(y_{i}(t,\tau)\) is the density of target cells at time t with infection age τ, respectively. The diseaserelated death rate \(\delta_{i}(\tau)\) is a function of the infection age τ and all other disease parameters have the same meaning as those in (1.2).
Define the phase space for system (1.3) as \(X=(\mathbb {R}_{+})^{n}\times(L_{+}^{1})^{n}\times\mathbb{R}_{+}\) with the norm given by
It follows from [18–20] that we can define a solution semiflow \(\Phi: (\mathbb{R}_{+})^{n}\times(L_{+}^{1})^{n}\times\mathbb{R}_{+}\to X\) of (1.3) for \(t\in\mathbb{R}_{+}\) and \((x_{i0},y_{i0},v_{0})\in X\) as
Actually, standard existence and uniqueness results follows from a similar process in Theorem 1.1 in [21].
For the continuability of the semiflow \(\Phi(t,(x_{i0},y_{i0}(\cdot ),v_{0}))\), we assume that the initial condition satisfies the compatibility condition
In order to get some theoretical results, we make the following assumptions.
Assumption 1.1
For all \(i\in\mathbb {N}_{n}=\{1,2,\ldots ,n\}\)

(1)
\(\lambda_{i},\mu_{i},\beta_{i},c>0\);

(2)
\(q_{i}(a), p_{i}(a)\in L_{+}^{\infty}\), that is, there exist essential upper bounds \(q_{i}^{+}\) and \(p_{i}^{+}\) such that
$$q_{i}^{+}=\mathrm{ess}.\sup_{a\in[0,\infty)}q_{i}(a),\qquad p_{i}^{+}=\mathrm{ess}.\sup_{a\in[0,\infty)}p_{i}(a); $$ 
(3)
\(q_{i}(a)\) is bounded and uniformly continuous from \([0,\infty )\) to \([0,+\infty)\);

(4)
there exists \(\underline{\delta}_{i}>0\) such that \(\delta_{i}(\tau )\ge\underline{\delta}_{i}\) for \(\tau\in\mathbb {R}_{+}\) and \(i\in\mathbb {N}_{n}\).
Under Assumption 1.1, we can obtain the nonnegativity of system (1.3).
Proposition 1.1
If \(x_{i0}\ge0\), \(y_{i0}(a)\in L_{+}^{1}\), \(v_{0}\ge0\), system (1.3) has nonnegative solution.
Proof
Suppose \((x_{i}(t),y_{i}(t,\tau),v(t))\in X\) is a solution of system (1.3) with nonnegative initial condition. For convenience, define \(z_{i}(t)=y_{i}(t,0)\). Integrating the second and third equations of (1.3) with initial condition yields
Substituting \(y_{i}(t,\tau)\) into \(z_{i}(t)\), we have
Solving the first equation of system (1.3), we obtain
By the nonnegativity of the initial condition and Assumption 1.1, \(x_{i}(t)\) is nonnegative.
Next, we will show that \(z_{i}(t)\) and \(v(t)\) are nonnegative for all \(t\in\mathbb {R}_{+}\). To achieve this goal, we define
Suppose
It follows from (1.6) that \(v(s)<0\), which results in a contradiction with \(v(s)\ge0\) since \(s<\inf\{t\in\mathbb {R}_{+}v(t)<0\}\). Hence, \(z_{i}(t)\) is nonnegative for all \(t\in\mathbb {R}_{+}\). Otherwise,
This implies that, for all \(t\in(0,s)\) \(v(t)>0\), \(z_{i}(s)>0\), \(v(s)=0\) and \(v'(s)\le0\). From the last equation of system (1.3), it follows that
This implies that \(s>\inf\{t\in\mathbb {R}_{+} v(t)<0\}\), which is in contradiction to the definition of s. Therefore, \(v(t)\) is also nonnegative for all \(t\in\mathbb {R}_{+}\). □
Let \(L(t)=\sum_{i=1}^{n} (x_{i}(t)+ \int_{0}^{\infty}y_{i}(t,a)\,da)\). Then
This implies that \(L(t)\leq\sum_{i=1}^{n}\frac{\lambda_{i}}{\mu}\), \(\mu=\min_{i\in\mathbb {N}}\{\mu_{i},\underline{\delta}_{i}\}\). Then by the last equation of (1.3), \(v(t)\leq\sum_{i=1}^{n}\frac{p_{i}^{+}\lambda_{i}}{c\mu}\). Therefore, we can define the following set:
It is easy to verify that Γ is positively invariant, i.e., \(\Phi(t,(x_{i0},y_{i0}(\cdot),v_{0}))\in\Gamma\) for all \(t>0\) if \((x_{i0},y_{i0}(\cdot),v_{0})\in\Gamma\). This also means that Φ is point dissipative and hence there is a bounded set attracting all solutions in Γ.
For convenience, define
From what has been discussed, we have the following prior estimates.
Lemma 1.2
Let Assumption 1.1 hold. For \(t\ge0\) and \((x_{i0},y_{i0}(\cdot),v_{0})\in\Gamma\), the following estimates hold:

(1)
\(x_{i}(t)\le\Lambda\), \(\int_{0}^{\infty}y_{i}(t,a)\,da\le\Lambda\), \(v(t)\le\Lambda\).

(2)
\(Q_{i}(t)\le q^{+}_{i}\Lambda\), \(P_{i}(t)\le p^{+}_{i}\Lambda\).

(3)
\(z_{i}(t)\le\bar{\beta}\Lambda^{2}\), \(\bar{\beta}_{i}=\beta+q_{i}^{+}\).
Obviously, system (1.3) is an infinite system. Based on Theorem 4.2 of Chapter IV in [22], we need to show the relative compactness of the orbit \(\{\Phi(t,(x_{i0},y_{i0}(\cdot),v_{0}))t\in \mathbb {R}_{+}\}\) in Γ. From Proposition 3.13 in [23], \(\Phi (t,(x_{i0},y_{i0}(\cdot),v_{0})):\mathbb {R}_{+}\times\Gamma\rightarrow\Gamma \) can be decomposed into two operators defined by
where
and
Then \(\Phi=\hat{\Phi}+\tilde{\Phi}\).
Lemma 1.3
(Proposition 3.13, [23])
Let Φ, Γ, Φ̃, Φ̂ be defined by (1.4), (1.8) and (1.9), respectively. Suppose Φ̃ and Φ̂ satisfy the following properties:

(1)
For any \((x_{i0},y_{i0}(\cdot),v_{0})\in\Gamma\), there exists a function \(\theta:\mathbb {R}_{+}\times\mathbb {R}_{+}\rightarrow\mathbb {R}_{+}\) such that for any \(r>0\) \(\lim_{t\rightarrow+\infty}\theta(t,r)=0\) with \(\(x_{i0},y_{i0}(\cdot),v_{0})\_{\Gamma}\le r\), then \(\\Phi (t,(x_{i0},y_{i0}(\cdot),v_{0}))\_{\Gamma}\le\theta(t,r)\).

(2)
For \(t\ge0\) and \((x_{i0},y_{i0}(\cdot),v_{0})\in\Gamma\), \(\hat{\Phi}(t,(x_{i0},y_{i0}(\cdot),v_{0}))\) maps any bounded set of Γ into compact closure in Γ.
Then Φ has a compact closure in Γ.
From (2) and (3) of Assumption 1.1 and Lemma 1.2, it follows that \(x_{i}(t)\) and \(v(t)\) have Lipschitz features with Lipschitz coefficients denoted by \(L_{x_{i}}\) and \(L_{v}\). With the assistance of Proposition 5 in [24] and Proposition 2.3 in [25], \(Q_{i}(t)\) and \(P_{i}(t)\) are Lipschitz continuous with Lipschitz coefficients denoted by \(L_{P_{i}}\) and \(L_{Q_{i}}\). Combining these Lipschitz characters with Lemma 3.2.3 in [26], we can show that the semiflow Φ is asymptotically smooth.
Proposition 1.4
Let \(\Phi(t,(x_{i0},y_{i0}(\cdot),v_{0}))\) be defined by (1.4). The solution semiflow Φ of (1.3) in Γ is asymptotically smooth.
Proof
Let C be any bounded set in Γ. For all \((x_{i0},y_{i0}(\cdot),v_{0})\in C\), \(\Phi(t,(x_{i0},y_{i0}(\cdot ),v_{0}))=(x_{i}(t),y_{i}(t,\cdot),v(t))\) is a solution of system (1.3). Using (1.11), we obtain
where \(\delta=\min_{i\in\mathbb {N}}\{\underline{\delta}_{i}\}\) and \(\\cdot \\) is the standard norm on \(L^{1}\). We note that if \(\ (x_{i0},y_{i0},v_{0})\_{\Gamma}< r\) then \(\\hat{\Phi }(t,(x_{i0},y_{i0},v_{0}))\_{\Gamma}\le\theta(t,r)\rightarrow0\) as \(t\rightarrow+\infty\). This implies that (1) of Lemma 1.3 holds.
Next, we need to show that \(\tilde{y}_{i}(t,a)\) remains in a precompact subset of \(L^{1}_{+}\) that is independent of \((x_{i0},y_{i0}(\cdot),v_{0})\in \Gamma\). This can be proven by verifying the following four conditions of Lemma 3.2.3 in [26].

(i)
The supremum of \(\int_{0}^{\infty}\tilde{y}_{i}(t,a)\,da\) is finite;

(ii)
\(\lim_{u\rightarrow+\infty}\int_{u}^{\infty}\tilde{y}_{i}(a, t) \, da = 0\);

(iii)
\(\lim_{h\rightarrow0^{+}}\tilde{y}_{i}(t,a+h)\tilde{y}_{i}(t,a)\,da= 0\);

(iv)
\(\lim_{h\rightarrow0^{+}}\int_{0}^{h}\tilde{y}_{i}(t,a)\,da= 0\).
It follows from (3) of Lemma 1.2 that
Then \(y_{i}(t,a)=z_{i}(ta)\pi_{i}(a)\le L_{y_{i}}e^{\underline{\delta}_{i} a}\). Conditions (i), (ii) and (iv) immediately hold by the boundedness of \(\tilde{y}_{i}(t,\cdot)\) for \(t\in\mathbb {R}_{+}\). In what follows, we demonstrate that the condition (iii) is also satisfied. With the help of Proposition 6 in [24], \(z_{i}(t)\) is also a Lipschitz function with Lipschitz coefficient \(L_{z_{i}}\). For all \(h\in(0,t)\),
where we use the fact \(\int_{0}^{th}\pi_{i}(a+h)\pi_{i}(a)\,da\le h\). By the definitions of \(L_{y_{i}}\) and \(L_{z_{i}}\), they depend on Λ, which is dependent on the set C, but not on \((x_{i0},y_{i0}(\cdot ),v_{0})\). This inequality holds for any \((x_{i0},y_{i0}(\cdot),v_{0})\in C\), and hence condition (iii) holds directly. Therefore, \(y_{i}(t,\cdot)\) remains in a precompact subset \(C^{y_{i}}\) of \(L_{+}^{1}(0,+\infty)\). It follows that \(\Phi(t,C)\subseteq[0,\Lambda]\times C^{y_{i}}\times [0,\Lambda]\) has a compact closure in Γ. From what has been discussed, it follows from Lemma 1.3 that \(\Phi (t,(x_{i0},y_{i0}(\cdot),v_{0}))\) is asymptotically smooth. This completes the proof. □
The rest of this paper is organized as follows. In Section 2, we establish the existence and local stability of the steady states of (1.3). Results on global dynamics of system (1.3) are presented in Section 3. Section 4 gives the numerical simulations to illustrate the theoretical results. Conclusions and discussions are presented in Section 5.
Existence and local stability of steady states
Before investigating the dynamics of system (1.3), we present some definitions. The survival probability of an infected cell at infection age τ during the infectious period is given by
The total size of the viral particles and the total transmission probability with respect to the jth target cells are defined by
In order to estimate the transmission route with respect to celltocell infection, we define the basic reproduction number as
\(\mathcal {R}_{i0}^{\mathrm{cc}}\) is used to evaluate the ability of the ith infected cell infecting the target cells during its infectious period.
In order to obtain the condition for the existence of an endemic steady state, we define the basic reproduction number as
From the expression of (2.2), it follows that \(\mathcal {R}_{0}^{\mathrm{cc}}=\max_{i\in\mathbb {N}_{n}}\{\mathcal {R}_{i0}^{\mathrm{cc}}\}<1\), which implies that the transmission ability associated with celltocell is not strong enough. In epidemiology, the basic reproduction number \(\mathcal{R}_{0}\) gives the average number of cases that one typical free virus generates, if introduced into a susceptible population, over its whole infectious period.
Theorem 2.1
Let \(\mathcal {R}_{0}^{\mathrm{cc}}<1\) hold. If \(\mathcal{R}_{0}< 1\), then the only steady state is the viralfree steady state \(E_{0}\); if \(\mathcal{R}_{0}>1\), then besides the virusfree steady state \(E_{0}\), there exists an endemic steady state \(E^{*}\).
Proof
Let \((\bar{x_{i}},\bar{y_{i}}(\cdot),\bar{v})\) be a steady state of system (1.3), and then it satisfies the following equations:
By the second and third equations of (2.3), one obtains
It follows from the first equation of (2.3) that
By the third equation of (2.3), we obtain
indicating that
It is easy to see that there is only one positive solution to (2.4). Substituting the positive solution into the last equation of (2.3) yields
Note that \(g(0)=0\) and \(g(+\infty)<0\). Furthermore,
Obviously, \(g(\bar{v})=0\) has a unique positive solution if and only if \(\mathcal{R}_{0}>1\). Then system (1.3) admits a unique endemic steady state \(E^{*}=(\bar{x}_{i}, \overline{ y_{i}(0)}\pi_{i}(\tau),\bar{v})\). □
In what follows, we study the local stability of the steady states. The steady state is locally (asymptotically) stable if all eigenvalues of the corresponding characteristic equations have negative real parts and it is unstable if at least one eigenvalue has a positive real part (see [18]).
Theorem 2.2
Suppose \(\mathcal {R}_{0}^{\mathrm{cc}}<1\). If \(\mathcal{R}_{0}<1\), then the virusfree steady state \(E_{0}\) is locally asymptotically stable and if \(\mathcal{R}_{0}>1\), the unique endemic steady state \(E^{*}\) is locally asymptotically stable.
Proof
Linearizing system (1.3) at virusfree steady state \(E_{0}\), we obtain the associated characteristic equation
For convenience, denote
It follows from the second and the third equations of (2.6) that \(y_{i}(a)=y_{i}(0)\pi_{i}(a)e^{\lambda a}\). By the first and the last equations of (2.6), we have
Then we substitute them into the third equation to obtain
Thus, we have
Multiplying \(\widehat{K_{i}(\lambda)}\) on both sides of (2.7) and summing up from 1 to n yield
where \(\Theta(y)=\sum_{i=1}^{n}y_{i}(0)\widehat{K_{i}(\lambda)}\). If \(\Theta(y)\ne0\), then we cancel \(\Theta(y)\) on both sides of (2.7) and obtain the following characteristic equation:
Since \(\mathcal {R}^{\mathrm{cc}}_{0}<1\) for all \(i\in\mathbb {N}\), we claim that all roots of (2.9) have negative real parts. Otherwise, let \(\lambda_{0}\) be a root of (2.9) with \(\mathrm{Re}(\lambda _{0})\ge0\). We notice that the module of the left hand side of (2.9) is smaller than \(\mathcal {R}_{0}\). This leads to a contradiction when \(\mathcal {R}_{0}<1\). If \(\Theta(y)=0\), then it follows from (2.7) that \(y_{i}(0)=0\). Substituting it into the first equation of system (2.6), we obtain \(\lambda=\mu<0\). Therefore, the virusfree steady state \(E_{0}\) is locally asymptotically stable when \(\mathcal{R}_{0}<1\).
Similarly, linearizing system (1.3) at the endemic steady state \(\bar{E^{*}}=({x_{i}^{*}},{y_{i}^{*}(\cdot)}, v^{*}(\cdot))\) yields the following characteristic equation:
where \(b_{i}=1\beta_{i}x_{i}^{*}\frac{\widehat{K_{i}(\lambda)}}{c}+\frac {y_{i}^{*}(0)}{x^{*}_{i}(\lambda+\mu_{i})}x_{i}^{*}\widehat{M_{i}(\lambda)}\). Equation (2.10) is equivalent to the following equation:
The characteristic roots of (2.11) are determined by
and
Next, we show that (2.12) and (2.13) have no eigenvalues with nonnegative real parts. By way of contradiction, we assume that (2.12) has one eigenvalue \(\lambda_{0}\) with \(\operatorname{Re}(\lambda_{0})\ge0\). Then it follows from the positivity of the endemic steady state \(E^{*}\) that
This implies that (2.9) has no characteristic roots with positive real parts.
On the other hand, the right hand side of (2.13) is
which leads to a contradiction with (2.13). From what has been discussed, the endemic steady state \(E^{*}\) is locally asymptotically stable if \(\mathcal {R}_{0}>1\) and \(\mathcal {R}_{0}^{\mathrm{cc}}<1\). □
Global stability analysis
In this section, we perform the global stability analysis of steady states. Such analysis characterizes the dynamical behaviors of system (1.3) and provides insight into the virus dynamics. This is helpful for us to develop reasonable antiviral therapy against the disease. The global dynamic of system (1.3) is established by employing the fluctuation lemma in [20] and constructing the Lyapunov functional. First, we will show the attractivity of the viralfree steady state \(E_{0}\). For convenience, we denote
Theorem 3.1
Suppose \(\mathcal {R}_{0}^{\mathrm{cc}}<1\). If \(\mathcal {R}_{0}<1\), then the virusfree steady state \(E_{0}=(x_{i}^{0},0,0)\) is globally asymptotically stable.
Proof
With the help of the first equation of (1.3), together with the positivity of the solution of system (1.3), we obtain \(x_{i}(t)\leq x_{i}^{0}\) for t large enough. Borrowing (1.5), together with the third equation of (1.3), we have
Then we take super limitation on both sides of (3.1) to obtain
It follows from \(\mathcal {R}_{0}^{\mathrm{cc}}<1\) and (3) of Assumption 1.1 that
From the last equation of (1.3) and the fluctuation lemma [20], we can take a time sequence \(t_{n}\) such that \(v(t_{n})=v^{\infty}\) and \(v'(t_{n})\rightarrow0\) as \(t_{n}\rightarrow\infty\) and obtain
Inequality (3.3) implies that \(v^{\infty}\rightarrow0\) as \(t\rightarrow\infty\) when \(\mathcal {R}_{0}<1\). It follows from (3.2) that \(z_{i}(t)\rightarrow0\) as t goes to infinity. Using (1.5) again, we have \(y_{i}(t,a)\rightarrow0\), when t is large enough. By Fluctuate Lemma again, we can choose a time sequence \(\{s_{n}\}\) such that \(\liminf_{n\rightarrow\infty}x_{i}(s_{n})=x_{i\infty}\) and \(\lim_{n\rightarrow\infty}x'_{i}(s_{n})=0\). Then
This implies that \(x_{i}^{0}\le x_{i\infty}\le x_{i}^{\infty}\le x_{i}^{0}\). Therefore, \(\lim_{t\rightarrow\infty}x_{i}(t)=x_{i}^{0}\). From what has been discussed, \(E_{0}\) is a global attractor if \(\mathcal {R}_{0}<1\) and \(\mathcal {R}_{0}^{\mathrm{cc}}<1\). □
Second, we will give the persistence of system (1.3). It follows from Proposition 1.4 that the orbit \(\Phi (t,(x_{i0},y_{i0}(\cdot),v_{0}))\in\Gamma\) is relative compact. Define \(\rho: \Gamma\to\mathbb{R}_{+}\) as
Let
Obviously, if \((x_{i0},y_{i0}(\cdot),v_{0})\in\Gamma\setminus\Gamma_{0}\), then \((x_{i}(t),y_{i}(t,\cdot),v(t))\to E_{0}\) as \(t\to\infty\).
Definition 3.1
([27])
For \((x_{i0},y_{i0},v_{0})\in\Gamma_{0}\), if there exists an \(\varepsilon >0\), independent of the initial conditions, such that \(\limsup_{t\to\infty} \rho(\Phi(t,(x_{i0},y_{i0}(\cdot),v_{0})))>\varepsilon \), then (1.3) is said to be uniformly weakly ρpersistent; while if there exists a positive ε such that \(\liminf_{t\to\infty} \rho(\Phi(t,(x_{i0},y_{i0}(\cdot),v_{0})))>\varepsilon \), then (1.3) is said to be uniformly strongly ρpersistent.
In order to prove the persistence of system (1.3) (see [27, Theorem 4.2]), we divided the proof process into two steps: Step 1, we show that system (1.3) is uniformly weakly ρpersistent; Step 2, by the relative compactness of the orbit \(\Phi (t,(x_{i0},y_{i0}(\cdot),v_{0}))\), system (1.3) is uniformly strongly ρpersistent.
Proposition 3.2
Suppose \(\mathcal {R}_{0}^{\mathrm{cc}}<1\). If \(\mathcal{R}_{0}>1\), then system (1.3) is uniformly weakly ρpersistent.
Proof
For any \(\varepsilon _{0}>0\), define
Since \(\mathcal{R}_{0}>1\), there exists an \(\varepsilon _{0}>0\) such that
By way of contradiction, there exists \((x_{i0},y_{i0}(\cdot),v_{0})\in \Gamma_{0}\) with
Thus there exists \(t_{0}\in\mathbb{R}_{+}\) such that
Without loss of generality, we can assume that \(t_{0}=0\). Then, for \(t\ge 0\), together with the definition of ρpersistence, we have
In view of the first equation of (1.3), together with (3.5), we have
which implies that \(x_{i\infty}\ge\frac{\lambda_{i}}{\mu_{i}+\varepsilon _{0}}\). Thus, there exists a \(t_{1}>0\) for all \(t>t_{1}\) such that \(x_{i}(t)\ge x_{i}^{\varepsilon _{0}}\). It follows from the third equation of (1.3) that for all \(t>t_{1}\)
Taking a Laplace transformation on both sides of (3.6), one has
which implies
Substituting (1.5) into the last equation of (1.3) yields
where \(F_{i}(t)=\int_{t}^{\infty}p_{i}(a)y_{i}(at)\frac{\pi_{j}(a)}{\pi_{j}(at)}\, da\), \(i\in\mathbb {N}_{n}\), and \(\lim_{t\rightarrow\infty}F_{i}(t)=0\). Therefore, the derivative of \(v(t)\) is determined by
Taking the Laplace transformation on both sides of (3.9) yields
Equation (3.10), together with (3.8) implies that
This inequality holds for any given \(\varepsilon _{0}>0\) and \(\lambda>0\). This leads to a contradiction with (3.4). Hence the proof is complete. □
Combining Propositions 1.4 and Proposition 3.2 with Theorems 4.2 in [27] and Theorem 3.2 in [28], we immediately have the following theorem.
Theorem 3.3
System (1.3) is uniformly strongly ρpersistent if \(\mathcal{R}_{0}>1\) and \(\mathcal {R}_{0}^{\mathrm{cc}}<1\).
Theorem 3.3 indicates that system (1.3) has a global attractor \(\mathcal {A}\). A total trajectory of Φ is a function \(X:\mathbb{R}\to \mathbb{R}_{+}\times L_{+}^{1}\times\mathbb{R}_{+}\) such that \(\Phi (s,X(t))=X(t+s)\) for all \(t\in\mathbb{R}\) and all \(s\in\mathbb{R}_{+}\). As in [29], for all \(s\in\mathbb {R}\), the total trajectory of system (1.3) is defined as
Proposition 3.4
For a total trajectory \(X(\cdot)\) in Γ, \(x_{i}(t)\) is strictly positive and either \(Q_{i}(t)\) and \(v(t)\) are identically zero or \(Q_{i}(t)\) and \(v(t)\) are strictly positive.
Proof
By the definition of the total trajectory, for any \(s\in \mathbb {R}\) the function \(X_{s}(t)=X(s+t)\) is a semitrajectory of system (1.3) with initial condition \(X_{s}(0)=X(s)\in\Gamma\).
If \(x_{i}(s)=0\) for some s, then the first equation of system (3.12) implies that \(\frac{d x_{i}(s)}{ds}>0\). From the continuity of the solution, for sufficiently small \(\varepsilon >0\), we have \(x_{i}(s\varepsilon )<0\), which is a contradiction with \(X(\cdot)\in\Gamma\).
If \(y_{i}(s,\cdot)\) and \(v(s)\) are both equal to zero for some \(s\in \mathbb {R}\) and any \(t< s\), we have \(0= y_{i}(s,st)=y_{i}(t,0)\pi _{i}(st)=x_{i}(t)(\beta_{i}v(t)+Q_{i}(t))\pi_{i}(st)\). By the Assumption 1.1, \(\pi_{i}(st)\) remains positive for \(t\in\mathbb {R}\), \(i\in \mathbb {N}_{n}\). Thus, \(v(t)\) and \(Q_{i}(t)\) are identically zero for all \(t< s\). For \(t>s\), it follows from (3.1) and Gronwall inequality that \(v(t)\) and \(Q_{i}(t)\) are both equal to zero.
Now we assume that \(y_{i}(s,\cdot)\) is nonzero for each \(s\in\mathbb {R}\). Since \(X(\cdot)\in\Gamma\), there exists a sequence \(\{s_{n}\}\) such that \(y_{i}(s_{n},\cdot)\) is nonzero for each n. For each n, there exists a sequence \(\{a_{n}\}\) such that \(0\neq y_{i}(s_{n},a_{n})=y_{i}(s_{n}a_{n},0)\pi _{i}(a)\). This implies that \(y_{i}(s_{n}a_{n},0)\neq0\) as \(s_{n}\) goes to −∞. Solving the last equation of system (3.12), we obtain \(v(s)\neq0\) for all \(s\in\mathbb {R}\). □
The alpha limit set of a total trajectory \(f(t)\) passing through \(f(0)=f_{0}\) is
The omega limit set of a total trajectory \(f(t)\) is \(\mathcal {A}_{1}=\mathcal{A}\cap\Gamma_{0}\). Let \(C\subset\mathcal {A}\) be the set consisting of \((x_{i0},y_{i0}(\cdot),v_{0})\in\mathcal {A}\) such that a total trajectory \(X(\cdot)\) approaching \(\mathcal {A}_{0}\) as \(t\rightarrow \infty\) and approaching \(\mathcal {A}_{1}\) as \(t\rightarrow+\infty\).
Corollary 3.5
Suppose \(\mathcal{R}_{0}>1\) and \(\mathcal {R}_{0}^{\mathrm{cc}}<1\). Let \((x_{i}(s),y_{i}(s,\cdot),v(s))\) be a total trajectory in \(\mathcal{A}_{1}\). Then there exists an \(\varepsilon_{0}>0\) such that \(x_{i}(s), v(s)>\varepsilon_{0}\) and \(y_{i}(s,\tau)>\varepsilon_{0}\pi_{i}(\tau )\), for all \(s\in\mathbb{R}\).
Proof
Note that \(\beta_{i}v(s)+\int_{0}^{\infty}q_{i}(a)y_{i}(t,a)\,da\leq M+\beta_{i}^{\prime+}x_{i}^{0}\triangleq M_{i}^{1}\) for all \(s\in\mathbb{R}\). By the first equation of (3.12), we have
which implies that \(x_{i}(s)\ge \frac{\lambda_{i}}{\mu_{i}+M_{i}^{1}}\triangleq \varepsilon_{1}\) for all \(s\in\mathbb {R}\). It follows from Theorem 3.3 and the basic reproduction number \(\mathcal {R}_{0}>1\) that \(\beta_{i}v(s)+\int_{0}^{\infty}q_{i}(a)y_{i}(t,a)\,da\ge \varepsilon_{2}\). In view of the second and fourth equations, we have
Then define
and hence the proof is complete. □
In order to get the global stability of system (1.3), we recall an energy function \(\varphi: (0, \infty) \to \mathbb{R}\) as
φ attains a global minimum only at 1 with \(\varphi(1)=0\) and \(\varphi(x)>0\) for \(x\neq1\). Next, we base on φ and construct a class of Lyapunov functionals to finish our goal, which implies that the endemic steady state \(E^{*}\) is a global attractor. Now we are in the position to prove the following result.
The following lemma is used to cancel some terms in the proof of Theorem 3.7.
Lemma 3.6
Suppose \(\mathcal {R}_{0}^{\mathrm{cc}}<1\). If \(\mathcal {R}_{0}>1\), the following equalities hold:
Proof
By the fact that
and
we obtain
Similarly,
□
Employing Lemma 3.6 and Lyapunov functional methods, we obtain the global stability of the endemic steady state \(E^{*}\).
Theorem 3.7
Suppose \(\mathcal {R}_{0}^{\mathrm{cc}}<1\). If \(\mathcal{R}_{0}>1\), then the endemic steady state \(E^{*}\) is globally asymptotically stable in \(\Gamma_{0}\).
Proof
By Theorem 2.2 and Proposition 1.4, it suffices to show \(\mathcal{A}_{1}=\{E^{*}\}\). Let \(X(t)=(x_{i}(t),y_{i}(t,\cdot),v(t))\) be a total trajectory in \(\mathcal {A}\). By Corollary 3.5, there exists \(\varepsilon _{0}>0\) for any \(t\in\mathbb{R}\) and \(\tau\in\mathbb {R}_{+}\) such that \(0\le\varphi (m)<\varepsilon _{0}\) for \(m=\frac{x_{i}(t)}{x_{i}^{*}}\), \(\frac{y_{i}(t,\tau )}{y_{i}^{*}(\tau)}\), and \(\frac{v(t)}{v^{*}}\).
Let
Then
Define
where \(V_{x_{i}}(t)=x_{i}^{*}\varphi(\frac{x_{i}(t)}{x_{i}^{*}})\), \(V_{y_{i}}(t)=x_{i}^{*} \int_{0}^{\infty}\alpha_{y}(a)\varphi(\frac {y_{i}(t,a)}{y_{i}^{*}(a)})\,da\), and \(V_{v}(t)=\frac{\beta _{i}x_{i}^{*}v^{*}}{c}\varphi(\frac{v(t)}{v^{*}})\). Thus \(V(t)\) is bounded.
In what follows, we show that the derivative \(V_{i}(t)\) along the solution of system (1.3) is nonpositive. By the definition of \(V_{x_{i}}(t)\), we have
By [19, Lemma 9.4], differentiating \(V_{y_{i}}(t)\) with respect to t yields
The derivative of \(V_{v}(t)\) can be further calculated as
Summing up \(\frac{dV_{x_{i}}(t)}{dt}\), \(\frac{dV_{y_{i}}(t)}{dt}\), and \(\frac{dV_{v}(t)}{dt}\) yields
Therefore, \(V_{i}(t)\) is nonincreasing with respect to time t. Since \(V_{i}(t)\) is bounded on \(X(\cdot)\), the ωlimit set of \(X(\cdot)\) must be contained in \(\mathcal{M}\), the largest invariant subset of \(\{ \frac{dV_{i}(t)}{dt}=0\}\). It follows from \(\frac{dV_{i}(t)}{dt}=0\) that \(x_{i}(t)=x_{i}^{*}\) and \(v(t)y_{i}^{*}(0)=v^{*}y_{i}(t,0)\). Thus \(\frac{dx_{i}(t)}{dt}=0\) in \(\mathcal {M}\). This implies that
for \(t\in\mathbb{R}\), which yields \(y_{i}^{*}(0)=y_{i}(t,0)\) for all \(t\in \mathbb{R}\). This, together with the expression of \(y_{i}(t,\tau)\) implies that \(y_{i}(t,\tau)=y_{i}^{*}(\tau)\) and \(v(t)=v^{*}\) for all t. Therefore, \(\mathcal{M}=\{E^{*}\}\).
The above analysis indicates that the ωlimit set of \(X(\cdot)\) consists of just the endemic steady state \(E^{*}\) and hence \(V(X(t))\ge V(E^{*})\) for all \(t\in\mathbb{R}\). Thus \(\mathcal {A}_{1}=\{E^{*}\}\). □
Numerical simulations
In this section, we present numerical simulations to illustrate the effects of different treatment strategies on the evolution of HIV infection. Our simulations also serve the purpose of verifying our theoretical results obtained in the previous sections. We perform the numerical analysis using Matlab. Here, we are particularly interested in two types of target cells, the CD4^{+} lymphoblasts and macrophages. The maximum infectious period is assumed to be \(a_{\mathrm{max}} = 15\) days. The cellstocells transmission rate is \(q_{j}(a) = 0.00065\) in [12] and the death rate for lymphoblasts is defined as
The viral production kernel is defined as
where γ is the saturation rate and \(a_{1}\) is the viral reproduction delay. The other parameters are obtained from the literature and are listed in Table 1.
We choose production rates of CD4^{+} lymphoblasts and macrophages as \(\lambda_{i}=1\mbox{ ml/day}\), \(i=1,2\), respectively and the viral production rate for macrophage as \(p_{2}(a)=0.1\exp(3\times0.00028a)\) in [5]. The basic reproduction number is obtained, \(\mathcal {R}_{0}=0.4417<1\), which implies that the virusfree steady state \(E_{0}\) is globally asymptotically stable by Theorem 2.2 and Theorem 3.1 (see Figure 1). For increased the production rates for the two target cells \(\lambda_{i}=10\mbox{ ml/day}\), \(i=1,2\), the basic reproduction number \(\mathcal {R}_{0}=4.4173>1\). It follows from Theorem 2.1 and Theorem 3.7 that the endemic steady state \(E^{*}\) is globally asymptotically stable (see Figure 2).
Effects of drug inhibitors
The drugs play an important role in inhibiting the replication of virus. Two types of inhibitors are commonly used clinically in HAART regimens, including reversetranscriptase inhibitors (RT), and protease inhibitors (PI). RT inhibitors restrain RT’s enzymatic function and interdict viral replication from HIV1 RNA to DNA. Such process can be modeled by reducing viral infection rate \(\beta_{i}\) with mathematical factor \(1\varepsilon^{\mathrm{RT}}_{i}\). Protease inhibitors (PI) can effectively restrain HIV protease by cleaving the HIV polyproteins into functional subunits resulting in producing immature noninfectious virus particles. This can be described as reducing celltocell transmission rate and viral protease rate with factors \(1\varepsilon^{\mathrm{PI}c}_{i}\) and \(1\varepsilon^{\mathrm{PI}p}_{i}\), respectively. In order to reveal the antiretroviral therapy effects of RT inhibitors and PI inhibitors, we propose the following model:
In order to compare different antiretroviral therapy effects, we perform simulation using \(\varepsilon _{i}^{j}=0.11\), and \(\varepsilon _{i}^{j}=0.21\), \(i=1,2\), \(j=\mathrm{PI}c,\mathrm{PI}p,\mathrm{RT}\). From Figure 3, it is easy to say that Protease inhibitors are more effective on decreasing the load of particle virion than reversetranscriptase inhibitors. Furthermore, protease inhibitors have significant influences on celltocell transmission by preventing viral replication. Protease inhibitors decrease the peak magnitude of the disease and postpone the arrival of such peak. Investigating the celltocell transmission is essential to developing optimal disease control strategies. Numerical simulation indicates that decreasing the celltocell transmission is more effective in disease control than the other two treatments.
When investigating the effects of multitarget cells on the evolution of virus, we assume the antiretroviral therapy for macrophages is more sensitive than the therapy for lymphoblasts. This implies that \(\varepsilon _{2}^{j}=1\) and \(\varepsilon _{1}^{\mathrm{RT}}=0.4\), \(\varepsilon _{1}^{\mathrm{PI}c}=0.2\), \(\varepsilon _{1}^{\mathrm{PI}p}=0.6\). As shown in Figure 4, the evolutions of virion for multitarget cells and single cell has some common properties. They increase as fast as possible and then reach the peak level, followed by a decay. However, the viruses for single target cell have slower decay rate than that for two target cells, indicating that multitarget cells contribute to slowing down the accumulation of virion and increase the difficulties of treatment.
Decay dynamics of the system
From initial HAART treatment, viremia decays and becomes undetectable (<50 HIV1 RNA copies/ml) in adherent patients. During the first antiretroviral therapy period, the evolution of viremia strongly depends on the distributions of the infected target cells.
Now, we assume that reversetranscriptase inhibitors totally suppress reversetranscriptase’s enzymatic function and prevent the synthesis of viral DNA from HIV1 RNA. This means \(\varepsilon _{i}^{\mathrm{RT}}=1\). For convenience, we assume that \(\varepsilon _{i}^{\mathrm{PI}c}=1\) since the mechanism for celltocell transmission is obscure. It follows from equation (1.3) that \(y_{i}(t,\tau)=y_{i0}(\taut)\pi_{i}(t)\). Since the plasma viruses decay faster (lasting only \(1/c\approx1\mbox{ h}\)) [4, 32, 33] than uninfected target cells and infected target cells. The time scale of decay rate for infected target cell is much lower than that for viremia. Therefore viremia reaches the quasisteady state relative to infected target cells and uninfected target cells. Then
If we choose the initially infected target cells to be \(y_{10}=e^{ma}\) then
The trend of the disease depends on the relations between the survival rate \(\pi_{i}\) and the decay rate of the initial target cells \(m_{i}\). If \(\pi_{i}\) is greater than m then it decreases. Otherwise it increases.
Second, if protease inhibitors completely block the production of infected virion, i.e. \(\varepsilon _{i}^{\mathrm{PI}p}=100\%\), we then have \(v(t)=v_{0}e^{ct}\). The decay of viremia is at the clearance rate.
Conclusion and discussion
As popular antireviral therapies, reversetranscriptase (RT) inhibitor and protease inhibitor (PI) suppress the reproduction of virion particles. Recent investigations showed that the persistence of latent viral reservoirs is responsible for viral rebound. Such a reservoir is insensitive to HAART and able to selfreestablish. It is necessary to evaluate the effects that the celltocell infection has on viral dynamics. HIV viruses weaken and damage human immune systems, and invade many target cells. In this article, we propose a mathematical model with infection age to investigate the viral dynamics of HIV with different therapies. Celltocell and multitargetcell infections are both integrated into the model to consider their effects on the evolution of the virus under treatments. We obtain the basic reproduction number of the model, which determines the persistence of the disease. We show that when the basic reproduction number is less than one, the virusfree equilibrium is globally stable. On the other hand, if it is greater than one, then the endemic equilibrium is globally asymptotically stable. It follows from the expression of the basic reproduction number that multitargetcell and celltocell infections contribute positively to the value of the basic reproduction number. Such type of infections was underestimated. Revealing the consequences of multitargetcell and celltocell infections provides insights into the development of optimal therapy to control the disease.
We consider the decay dynamics of our model and analyze the effects of the reversetranscriptase inhibitors and protease inhibitors. If the protease inhibitor is effective enough [4], the decay rate of the virus only depends on the clearance rate of the virion particles. On the other hand, if the reversetranscriptase inhibitors are effective enough, the decay rate of the virus depends on the distribution of initially infected cells. Through the comparison with the two kinds of inhibitors, it is easy to show that protease inhibitors play a more effective role in controlling celltocell transmission than other therapies.
In order to investigate global behaviors of our model with multitargetcell and celltocell transmissions, we simplified the input rate of uninfected target cells as a constant. In the literature, logistic growth [34] and mixed growth forms [35] have been used in modeling such input rate. We thus change the input mechanism in our model and the model may display complex dynamical behaviors. The drift phenomenon for free virus often happens in the virion disperse process. Fickian diffusion term models biologically meaningful scenario in virus dynamics and as such incorporating the diffusion into HIV model is necessary [36]. Therefore, we will incorporate such growth rates and diffusions into HIV disease model to investigate viral dynamics under various antiretroviral treatments.
References
 1.
Grossman, ZM, Polis, M, Feinberg, MB, Levi, I, Jankelevich, S, Yarchoan, R, Boon, J, de Wolf, F, Lange, JM, Goudsmit, J, Dimitrov, DS, Paul, WE: Ongoing HIV dissemination during HAART. Nat. Med. 5, 10991104 (1999)
 2.
Maldarelli, F, Palmer, S, King, MS, Wiegand, A, Polis, MA, Mican, J, Kovacs, JA, Davey, RT, RockKress, D, Dewar, R, Liu, SY, Metcalf, JA, Rehm, C, Brun, SC, Hanna, GJ, Kempf, DJ, Coffin, JM, Mellors, JW: ART suppresses plasma HIV1 RNA to a stable set point predicted by pretherapy viremia. PLoS Pathog. 3, Article ID e46 (2007)
 3.
Lloyd, AL: The dependence of viral parameter estimates on the assumed viral life cycle: limitations of studies of viral load data. Proc. R. Soc. Lond. B, Biol. Sci. 268(1469), 847854 (2001)
 4.
Sedaghat, AR, Dinoso, JB, Shen, L, Wilke, CO, Siliciano, RF: Decay dynamics of HIV1 depend on the inhibited stages of the viral life cycle. Proc. Natl. Acad. Sci. USA 105, 48324837 (2008)
 5.
Wang, X, Lou, YJ, Song, XY: Agestructured withinhost HIV dynamics with multiple target cells. Stud. Appl. Math. 138, 4376 (2016)
 6.
Ho, DD, Neumann,AU, Perelson, AS, Chen, W, Leonard, JM, Markowitz, M: Rapid turnover of plasma virions and CD4 lymphocytes in HIV1 infection. Nature 373, 123126 (1995)
 7.
Ogg, GS, Jin, X, Bonhoeffer, S, Moss, P, Nowak, MA, Monard, S, Segal, JP, Cao, Y, RowlandJones, SL, Hurley, A, Markowitz, M, Ho, DD, McMichael, AJ, Nixon, DF: Decay kinetics of human immunodeficiency virusspecific effector cytotoxic T lymphocytes after combination antiretroviral therapy. J. Virol. 73, 797800 (1999)
 8.
Rong, L, Feng, Z, Perelson, AS: Mathematical analysis of agestructured HIV1 dynamics with combination antiretroviral therapy. SIAM J. Appl. Math. 67, 731756 (2007)
 9.
Titanji, BK, AasaChapman, M, Pillay, D, Jolly, C: Protease inhibitors effectively block celltocell spread of HIV1 between T cells. Retrovirology 10, Article ID 161 (2013)
 10.
Dixit, NM, Perelson, AS: Complex patterns of viral load decay under antiretroviral therapy: influence of pharmacokinetics and intracellular delay. J. Theor. Biol. 226, 95109 (2004)
 11.
Dixit, NM, Markowitz, M, Ho, DD, Perelson, AS: Estimates of intracellular delay and average drug efficacy from viral load data of HIVinfected individuals under antiretroviral therapy. Antivir. Ther. 9, 237246 (2004)
 12.
Xu, JH, Geng, Y, Zhou, YC: Global dynamics for an agestructured HIV virus infection model with cellular infection and antiretroviral therapy. Appl. Math. Comput. 305, 6283 (2017)
 13.
Wang, X, Song, XY, Tang, SY, Rong, LB: Dynamics of an HIV model with multiple infection stages and treatment with different drug classes. Bull. Math. Biol. 78, 322349 (2016)
 14.
Shu, HY, Chen, CY, Wang, L: Impacts of the cellfree and celltocell infection modes on viral dynamics. J. Dyn. Differ. Equ. (2017). https://doi.org/10.1007/s1088401796222
 15.
Zaman, NA, Algahtani, G: Stability analysis of HIV1 model with multiple delays. Adv. Differ. Equ. 2016, Article ID 88 (2016). https://doi.org/10.1186/s1366201608084
 16.
Ali, N, Zanman, NA: Asymptotic behavior of HIV1 epidemic model with infinite distributed intracellular delays. SpringerPlus 5, Article ID 324 (2016)
 17.
Ali, N, Zaman, G, Abdullah, Alqahtani, AM, Alshomrani, AS: The effects of time lag and cure rate on the global dynamics of HIV1 model. BioMed Res. Int. 2017, Article ID 8094947 (2017). https://doi.org/10.1155/2017/8094947
 18.
Iannelli, M: Mathematical Theory of AgeStructured Population Dynamics. Applied Mathematics Monographs, comitato Nazionale per le Scienze Matematiche, Consiglio Nazionale delle Ricerche (C.N.R.), vol. 7. Giardini, Pisa (1995)
 19.
Magal, P, McCluskey, CC, Webb, GF: Lyapunov functional and global asymptotic stability for an infectionage model. Appl. Anal. 89, 11091140 (2010)
 20.
Yang, JY, Maia, M, Wang, L: Global threshold dynamics of an SIVS model with waning vaccineinduced immunity and nonlinear incidence. Math. Biosci. 268, 18 (2015)
 21.
Gripenberg, G, Londen, SO, Staffans, O: Volterra Integral and Functional Equation. Cambridge University Press, New York (1990)
 22.
Walker, JA: Dynamical Systems and Evolution Equations. Plenum Press, New York (1980)
 23.
Webb, GF: Theory of Nonlinear AgeDependent Population Dynamic. Marcel Dekker, New York (1985)
 24.
McCluskey, CC: Global stability for an SEI epidemiological model with continuous agestructure in the exposed and infectious classes. Math. Biosci. Eng. 9(4), 819841 (2012)
 25.
Wang, JL, Lang, JY, Zou, XF: Analysis of an age structured HIV infection model with virustocell infection and celltocell transmission. Nonlinear Anal., Real World Appl. 34, 7596 (2017)
 26.
Hale, JK: Asymptotic Behavior of Dissipative Systems. Am. Math. Soc., Providence (1988)
 27.
Smith, HL, Thieme, HR: Dynamical Systems and Population Persistence. Am. Math. Soc., Providence (2011)
 28.
Thieme, HR: Uniform persistence and permanence for nonautonomous semiflows in population biology. Math. Biosci. 166, 173201 (2000)
 29.
Soufiane, B, Touaoula, TM: Global analysis of an infection age model with a class of nonlinear incidence rate. J. Math. Anal. Appl. 434, 12111239 (2016)
 30.
Nelson, PW, Gilchrist, MA, Coombs, D, Hyman, JM, Perelson, AS: An age structured model of HIV infection that allows for variations in the production rate of viral particles and the death rate of productively infected cells. Math. Biosci. Eng. 1, 267288 (2004)
 31.
Wang, Y, Zhou, YC: Oscillatory viral dynamics in a delayed HIV pathogenesis model. Math. Biosci. 219, 104112 (2009)
 32.
Perelson, AS, Essunger, P, Cao, Y, Ho, DD, Hurley, A, Markowitz, M, Perelson, AS, Saksela, K, Vesanen, M: Decay characteristics of HIV1infected compartments during combination therapy. Nature 387, 188191 (1997)
 33.
Perelson, AS, Neumann, AU, Markowitz, M, Leonard, JM, Ho, DD: HIV1 dynamics in vivo: virion clearance rate, infected cell lifespan, and viral generation time. Science 271, 15821586 (1996)
 34.
Lai, XL, Zou, XF: Modeling celltocell spread of HIV1 with logistic target cell growth. J. Math. Anal. Appl. 426, 563584 (2015)
 35.
Browne, CJ, Plyugin, SS: Global analysis of agestructured withinhost virus model. Discrete Contin. Dyn. Syst., Ser. B 18, 19992017 (2013)
 36.
McCluskey, CC, Yang, Y: Global stability of a diffusive virus dynamics model with general incidence function and time delay. Nonlinear Anal., Real World Appl. 25, 6478 (2015)
Acknowledgements
XW is partially supported by the National Natural Science Foundation of China (No. 61203228) and Startup foundation for Personal of Shanxi University of Finance and Economics. JY is partially supported by the National Natural Science Foundation of China (No. 61203228, No. 61573016), Shanxi Scholarship Council of China (2015094), Shanxi Scientific Data Sharing Platform for Animal Diseases, and Startup foundation for Highlevel Personal of Shanxi University.
Author information
Affiliations
Contributions
XW designed the modeling process and analyzed theoretical results. JY carried out numerical algorithms and simulation parts. FX conceived of the study and helped to draft the manuscript. All the authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
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.
About this article
Cite this article
Wang, X., Yang, J. & Xu, F. Analysis and control of an agestructured HIV1 epidemic model with different transmission mechanisms. Adv Differ Equ 2018, 36 (2018). https://doi.org/10.1186/s1366201714550
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366201714550
Keywords
 infection age
 antiretroviral therapy
 celltocell transmission
 Lyapunov functional