Next Article in Journal
Ecological Diversity: Measuring the Unmeasurable
Previous Article in Journal
Some Simultaneous Generalizations of Well-Known Fixed Point Theorems and Their Applications to Fixed Point Theory
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Global Stability of Within-Host Virus Dynamics Models with Multitarget Cells

Department of Mathematics, Faculty of Science, King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia
*
Author to whom correspondence should be addressed.
Mathematics 2018, 6(7), 118; https://doi.org/10.3390/math6070118
Submission received: 26 April 2018 / Revised: 29 June 2018 / Accepted: 2 July 2018 / Published: 10 July 2018

Abstract

:
In this paper, we study the stability analysis of two within-host virus dynamics models with antibody immune response. We assume that the virus infects n classes of target cells. The second model considers two types of infected cells: (i) latently infected cells; and (ii) actively infected cells that produce the virus particles. For each model, we derive a biological threshold number R 0 . Using the method of Lyapunov function, we establish the global stability of the steady states of the models. The theoretical results are confirmed by numerical simulations.

1. Introduction

Recently, many mathematicians have proposed several mathematical models to describe the interaction between viruses (such as HIV, HCV, HBV, HTLV and CHIKV) and human target cells (see, e.g., [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36]). Mathematical models of human viruses can lead to the development of efficient antiviral drugs and to understand the interaction of the viruses with target cells [2]. Studying the stability analysis of the models is also important to understand the behavior of the virus. Immune response plays an important role in controlling the infection of several viruses. Cytotoxic T Lymphocyte (CTL) and antibodies are the two effector responses of the immune system. CTL cells attack and kill the infected cells. The B cell produces antibodies to neutralize the viruses. The antibody immune response is more effective than CTL immune response in some infection processes [37]. The basic virus dynamics model with antibody immune response has been presented in [29,30] as:
S ˙ = μ d S b S V ,
I ˙ = b S V ϵ I ,
V ˙ = m I r V q B V ,
B ˙ = c B V δ B ,
where S, I, V, and B are the concentrations of uninfected target cells, infected cells, virus particles and B cells, respectively. Parameters d and μ represent the death rate and birth rate constants of the uninfected cells, respectively. The uninfected cells become infected at rate b S V , where b is rate constant of the virus-target incidence. The infected cells and free virus particles die at rates ϵ I and r V , respectively. An actively infected cell produces an average number m of virus particles per unit time. The virus particles are attacked by the B cells at rate q V B . The term c B V represents the growth rate of B cells after encountering the virus. The B cells die at rate δ B . In 2017, Wang and Liu [36] presented a mathematical model for in host virus infection by considering a constant production rate of the B cells in addition to their proliferation rate. Equation (4) has been modified as:
B ˙ = η + c B V δ B ,
where η is the production rate of the B cells.
The model in Equations (1)–(4) assumes that the virus infects only one category of target cells. There are several models for viral infections that have included two categories of target cells (see, e.g., [38,39,40,41,42,43,44,45,46,47]). It has been reported in [48] that HIV infects vital cells in the human immune system such as helper T cells (specifically CD4 + T cells), macrophages, and dendritic cells. In the case of CHIKV infection, the CHIKV inoculates into the body via bites from infected mosquitoes and replicates in a variety of cells, such as skeletal muscle satellite cells, fibroblasts, macrophages, monocytes and other skin cells [49,50,51,52]. To model the virus dynamics with multiplecategories of target cells, Elaiw [53] proposed the following viral infection model:
S ˙ i = μ i d i S i b i S i V , i = 1 , , n ,
I ˙ i = b i S i V ϵ i I i , i = 1 , , n ,
V ˙ = i = 1 n m i I i r V ,
where n is the number categories of target cells. This model was generalized by Xia et al. [54] by considering general nonlinear rates for viral infection and cell death. In [53,54], the antibody immune response has been neglected. Several mathematical models have been proposed which take the antibody immune response into account (see, e.g., [29,30,31,32,33,34,35]). However, these models have included one target cell population. Therefore, our aim in this paper is to introduce two virus infection models to describe the dynamics of the virus with n classes of target cells. The antibody immune response is considered where the population dynamics of the B cells is described by Equation (5). In the second model, we incorporate both latently and actively infected cells. We investigate the nonnegativity and boundedness of the solutions of the models. We establish the existence of the steady states and analyze their global stability. We construct Lyapunov function using the method of Korobeinikov [55].

2. Virus Dynamics Model

We consider a within-host virus dynamics model with n classes of uninfected target cells.
S ˙ i = μ i d i S i b i S i V , i = 1 , , n ,
I ˙ i = b i S i V ϵ i I i , i = 1 , , n ,
V ˙ = i = 1 n m i I i r V q B V ,
B ˙ = η + c B V δ B ,
where S i , I i represent the concentrations of the uninfected target cells and infected cells of class i , respectively.

2.1. Properties of Solutions

To show that the model in Equations (9)–(12) is biologically acceptable in the sense that no population goes negative or infinity, we establish the nonnegativity and boundedness of solutions of the model. Let S = ( S 1 , S 2 , , S n ) and I = ( I 1 , I 2 , , I n ) .
Proposition 1.
For the system in Equations (9)–(12), there exists a positively invariant compact set
Ω = S , I , V , B R 0 2 n + 2 : 0 S i , I i N i , i = 1 , , n . 0 V M 1 , 0 B M 2 .
Proof. 
Since
S ˙ i S i = 0 = μ i > 0 , i = 1 , , n , I ˙ i I i = 0 = b i S i V 0 for all S i , V 0 , i = 1 , , n , V ˙ V = 0 = i = 1 n m i I i 0 for all I i 0 , B ˙ B = 0 = η > 0 ,
then, R 0 2 n + 2 is positively invariant for the system in Equations (9)–(12).
Next, let T i ( t ) = S i + I i , i = 1 , , n , then
T ˙ i μ i σ i T i ,
where σ i = min { d i , ϵ i } . Hence, 0 T i ( t ) μ i σ i for all t 0 if T i ( 0 ) μ i σ i . It follows that 0 S i ( t ) , I i ( t ) N i for all t 0 , if 0 S i ( 0 ) + I i ( 0 ) N i , where, N i = μ i σ i . Moreover, let X ( t ) = V ( t ) + q c B ( t ) , then
X ˙ ( t ) = i = 1 n m i I i r V + q c η δ q c B i = 1 n m i N i + q c η ρ 1 ( V + q c B ) = i = 1 n m i N i + q c η ρ 1 X ( t ) ,
where ρ 1 = min { r , δ } . Hence, X ( t ) M 1 , where M 1 = i = 1 n m i N i + q c η ρ 1 . Since V ( t ) 0 and B ( t ) 0 , then 0 V ( t ) M 1 and 0 B ( t ) M 2 if 0 V ( 0 ) + q c B ( 0 ) M 1 , where M 2 = c M 1 q .

2.2. Steady States

In this subsection, we show the existence of the steady states of the model in Equations (9)–(12). The basic reproduction number of the system in Equations (9)–(12) is defined as:
R 0 = i = 1 n R 0 i = i = 1 n m i b i μ i δ d i ϵ i ( r δ + q η ) .
Lemma 1.
(i) If R 0 1 , then the virus-free steady state Q 0 is the only steady state for the system; and (ii) if R 0 > 1 , then the system has a unique endemic steady state Q 1 and Q 1 Ω ˚ , where Ω ˚ is the interior of Ω .
Proof. 
Let the R.H.S of the system in Equations (9)–(12) equal zero; then, we get:
S i = μ i d i + b i V , i = 1 , , n ,
I i = b i S i V ϵ i , i = 1 , , n ,
i = 1 n m i I i = r + q B V ,
B = η δ c V .
Substituting Equations (13), (14) and (16) into Equation (15), we get
i = 1 n m i b i μ i V ϵ i d i + b i V r + q B V = 0 , i = 1 n m i b i μ i δ d i ϵ i 1 + α i V ( r δ + q η ) r + q B δ ( r δ + q η ) V = 0 ,
i = 1 n R 0 i 1 + α i V δ γ r c V γ δ c V V = 0 ,
where α i = b i d i and γ = r δ + q η . Equation (17) admits V = 0 as a solution. Substituting V = 0 in Equations (13),(14) and (16), we get the virus-free steady state Q 0 = ( S 0 , I 0 , V 0 , B 0 ) , where S i 0 = μ i d i , I i 0 = 0 , V 0 = 0 , and B 0 = η δ . The other possibility of Equation (17) is
i = 1 n R 0 i γ δ c V 1 + α i V δ γ r c V = 0 ,
where V δ c .
Let us define a function F ( V ) as:
F ( V ) = i = 1 n R 0 i γ δ c V 1 + α i V δ γ r c V
Then, we get
F ( 0 ) = γ δ R 0 1 , F δ c = q δ η .
Thus, if R 0 > 1 , then F ( 0 ) > 0 , F δ c < 0 and there exists V * 0 , δ c such that F ( V * ) = 0 . Moreover, from Equations (13), (14) and (16), we obtain S i * > 0 , I i * > 0 and B * > 0 . Then, Q 1 = ( S * , L * , I * , V * , B * ) exists when R 0 > 1 .
Clearly, Q 0 Ω . Now, we show that if R 0 > 1 , then Q 1 Ω ˚ . From Equations (13) and (14), we have d i S i * + ϵ i I i * = μ i , i = 1 , , n . Since S i * > 0 and I i * > 0 , then
d i S i * < μ i S i * < μ i d i N i , ϵ i I i * < μ i I i * < μ i ϵ i N i .
Moreover, from Equations (15)–(16), we have
i = 1 n m i I i * r V * q V * B * + q c ( η + c B * V * δ B * ) = 0 ,
r V * + δ q c B * = i = 1 n m i I i * + q c η < i = 1 n m i N i + q c η V * < i = 1 n m i N i + q c η r M 1 , B 1 < c q i = 1 n m i N i + q c η δ c M 1 q = M 2 .
It follows that Q 1 Ω ˚ .

2.3. Global Stability

In the following theorems, we establish the global stability of the two steady states of the system in Equations (9)–(12) by constructing suitable Lyapunov functions. Let us define
H ( x ) = x ln x 1 .
Clearly, H ( x ) 0 for x > 0 and H ( 1 ) = 0 .
Theorem 1.
For the system in Equations (9)–(12), suppose that R 0 1 , then Q 0 is globally asymptotically stable in Ω .
Theorem 2.
For the system in Equations (9)–(12), suppose that R 0 > 1 , then Q 1 is globally asymptotically stable in Ω ˚ .
The proofs of these theorems are given in the Appendix A.
Biologically, when R 0 < 1 , then each infected cell will produce less than one infected cell during its life at the beginning of the infection. The virus will be decreased and eliminated from the body. When R 0 > 1 , then, at the beginning of the infection, each infected cell will produce more than one infected cell during its life. The viruses will be increased and the infection becomes chronic.

3. Virus Model with Latency

In this section, we study the mathematical model of virus infection with n classes of uninfected target cells, taking into account the latently infected cells (such cells contain the viruses but are not producing it) and the actively infected cells (such cells are producing the viruses).
S ˙ i = μ i d i S i b i S i V , i = 1 , , n ,
L ˙ i = ( 1 p i ) b i S i V ( θ i + λ i ) L i , i = 1 , , n ,
I ˙ i = p i b i S i V + λ i L i ϵ i I i , i = 1 , , n ,
V ˙ = i = 1 n m i I i r V q B V ,
B ˙ = η + c B V δ B ,
where L i and I i are the concentrations of latently infected and actively infected target cells of class i , respectively. A fraction ( 1 p i ) of infected target cells is assumed to be latently infected cells and the remaining p i becomes actively infected cells, where 0 < p i < 1 , i = 1 , , n . The latently infected cells are transmitted to actively infected cells at rate λ i L i and die at rate θ i L i .

3.1. Properties of Solutions

In the following, we establish the nonnegativity and boundedness of solutions of the model in Equations (19)–(23). Let L = ( L 1 , L 2 , , L n ) .
Proposition 2.
For the system in Equations (19)–(23), there exists a positively invariant compact set
Ω L = S , L , I , V , B R 0 3 n + 2 : 0 S i , L i , I i N i L , i = 1 , , n . 0 V M 1 L , 0 B M 2 L
Proof. 
Since
S ˙ i S i = 0 = μ i > 0 , i = 1 , , n , L ˙ i L i = 0 = ( 1 p i ) b i S i V 0 for all S i , V 0 , i = 1 , , n , I ˙ i I i = 0 = p i b i S i V + λ i L i 0 for all S i , L i , V 0 , i = 1 , , n , V ˙ V = 0 = i = 1 n m i I i 0 for all I i 0 , B ˙ B = 0 = η > 0 ,
then, R 0 3 n + 2 is positively invariant for the system in Equations (19)–(23).
We consider T i ( t ) = S i + L i + I i , i = 1 , , n , then
T ˙ i ( t ) μ i σ i L T i ( t ) ,
where σ i L = min { d i , θ i , ϵ i } . Hence, 0 T i ( t ) μ i σ i L for all t 0 if T i ( 0 ) μ i σ i L . It follows that 0 S i ( t ) , L i ( t ) , I i ( t ) N i L for all t 0 , if 0 S i ( 0 ) + L i ( 0 ) + I i ( 0 ) N i L , where N i L = μ i σ i L . On the other hand, let X ( t ) = V ( t ) + q c B ( t ) , then
X ˙ ( t ) = i = 1 n m i I i r V + q c η δ q c B i = 1 n m i N i + q c η ρ 2 ( V + q c B ) = i = 1 n m i N i + q c η ρ 1 X ( t ) .
Hence, X ( t ) M 1 L , where M 1 L = i = 1 n m i N i + q c η ρ 1 . Since V ( t ) 0 and B ( t ) 0 , then 0 V ( t ) M 1 L and 0 B ( t ) M 2 L if 0 V ( 0 ) + q c B ( 0 ) M 1 L , where M 2 L = c M 1 L q .

3.2. Steady States

In this subsection, we establish the existence of the steady states of the model in Equations (19)–(23). The basic reproduction number of the system in Equations (19)–(23) is defined as:
R 0 L = i = 1 n R 0 i L = i = 1 n m i b i μ i δ ( θ i p i + λ i ) d i ϵ i ( θ i + λ i ) ( r δ + q η ) .
Lemma 2.
(i) If R 0 L 1 , then the virus-free steady state Q 0 L is the only steady state for the system; and (ii) if R 0 L > 1 , then the system has a unique endemic steady state Q 1 L and Q 1 L Ω ˚ L .
Proof. 
Let the R.H.S of the system in Equations (19)–(23) equal zero; then, we get:
S i = μ i d i + b i V , i = 1 , , n ,
L i = ( 1 p i ) b i S i V θ i + λ i , i = 1 , , n ,
I i = b i S i V ( θ i p i + λ i ) ϵ i ( θ i + λ i ) , i = 1 , , n ,
i = 1 n m i I i = r + q B V ,
B = η δ c V .
Substituting Equations (24)–(26) and (28) into Equation (27), we get
i = 1 n m i b i μ i ( θ i p i + λ i ) V ϵ i d i + b i V ( θ i + λ i ) r + q B V = 0 , i = 1 n m i b i μ i δ ( θ i p i + λ i ) d i ϵ i 1 + α i V ( θ i + λ i ) ( r δ + q η ) r + q B δ ( r δ + q η ) V = 0 , i = 1 n R 0 i L 1 + α i V δ γ r c V γ δ c V V = 0 ,
where α i = b i d i and γ = r δ + q η . Equation (29) gives two possible solutions. If V = 0 , then we get virus-free steady state Q 0 L = ( S 0 , L 0 , I 0 , V 0 , B 0 ) = ( μ i d i , 0 , 0 , 0 , η δ ) . If V 0 , then Equation (29) becomes
i = 1 n R 0 i L γ δ c V 1 + α i V δ γ r c V = 0 .
We define a function G ( V ) as:
G ( V ) = i = 1 n R 0 i L γ δ c V 1 + α i V δ γ r c V .
If R 0 L > 1 , then
G ( 0 ) = γ δ R 0 L 1 > 0 , G δ c = q δ η < 0 .
and there exists V * 0 , δ c such that G ( V * ) = 0 . Moreover, from Equations (24)–(26) and (28), we obtain S i * > 0 , L i * > 0 , I i * > 0 and B * > 0 .
Similar to the proof of Lemma 1, one can easily show that Q 0 L Ω L and Q 1 L Ω ˚ L .

3.3. Global Stability

In this section, we use Lyapunov method to prove the global stability of the two steady states of the system in Equations (19)–(23).
Theorem 3.
For the system in Equations (19)–(23), suppose that R 0 L 1 , then Q 0 L is globally asymptotically stable in Ω L .
Theorem 4.
For the system in Equations (19)–(23), suppose that R 0 L > 1 , then Q 1 L is globally asymptotically stable in Ω ˚ L .
The proofs of these theorems are given in the Appendix A.

4. Numerical Simulations

To illustrate our theoretical results, we perform numerical simulations for the systems in Equations (9)–(12) and Equations (19)–(23). We consider the case n = 2 .

4.1. Simulations for Virus Dynamics Model

Using the values of the parameters given in Table 1, we show the dynamical behavior of the system states S , I , V and B, to confirm the theoretical results given in Theorems 1–2.
Effect of b 1 and b 2 on the stability of steady states: To show the global stability results, we consider three different initial values as:
IV1: S 1 ( 0 ) = 2.0 , S 2 ( 0 ) = 6.0 , I 1 ( 0 ) = 0.3 , I 2 ( 0 ) = 0.4 , V ( 0 ) = 0.4 and B ( 0 ) = 2.0 ,
IV2: S 1 ( 0 ) = 1.7 , S 2 ( 0 ) = 5.5 , I 1 ( 0 ) = 0.7 , I 2 ( 0 ) = 0.7 , V ( 0 ) = 0.6 and B ( 0 ) = 4.0 ,
IV3: S 1 ( 0 ) = 1.4 , S 2 ( 0 ) = 5.0 , I 1 ( 0 ) = 1.1 , I 2 ( 0 ) = 1.0 , V ( 0 ) = 0.8 and B ( 0 ) = 6.0 .
We consider two sets of the parameters b 1 and b 2 as follows:
Set (I): We choose b 1 = 0.005 and b 2 = 0.02 . Using these data, we compute R 0 = 0.5710 < 1 , then the system has one steady state Q 0 . In Figure 1, we can see that the concentrations of the uninfected target cells and B cells return to their normal values S 1 0 = μ 1 d 1 = 2.2885   , S 2 0 = μ 2 d 2 = 6.3960 , and B 0 = η δ = 1.1207 . On the other hand, the concentrations of infected target cells and virus particles are decaying and approaching zero for all the three initial values IV1–IV3. It means that Q 0 is globally asymptotically stable and the virus will be cleared. This result confirms the result of Theorem 1.
Set (II): We take b 1 = 0.5 and b 2 = 0.1 . Then, we calculate R 0 = 7.3086 > 1 . The system has two steady states Q 0 and Q 1 . It is clear in Figure 1 that both the numerical results and the theoretical results of Theorem 2 are consistent. It is seen that the solutions of the system converge to the steady state Q 1 = ( 0.99595 , 4.52267 , 2.32229 , 2.10913 , 2.07104 , 6.50639 ) for all the three initial values IV1–IV3.

4.2. Simulations for Virus Model with Latency

In this subsection, we show the numerical results for the system in Equations (19)–(23) with parameters values given in Table 2. The effect of parameters p i and p 2 on the qualitative behavior of the system is discussed below. We take p = p 1 = p 2 . The initial values are chosen as: S 1 ( 0 ) = 2.25 , S 2 ( 0 ) = 6.0 , L 1 ( 0 ) = 0.1 , L 2 ( 0 ) = 0.05 , I 1 ( 0 ) = 0.1 , I 2 ( 0 ) = 0.5 , V ( 0 ) = 0.4 and B ( 0 ) = 1.4 . In Table 3, we have calculated the values of the steady states and R 0 L for different values of p. It is clearly seen that, as p is increased, R 0 L is also increased. Let p c r be the value of p, such that
R 0 L = i = 1 2 m i b i μ i δ ( θ i p c r + λ i ) d i ϵ i ( θ i + λ i ) ( r δ + q η ) = 1 .
Using the data given in Table 2, we obtain p c r = 0.643144 . In Figure , we can see that, for p 0.643144 , the trajectory of the system will converge to Q 0 L and, for p > 0.643144 , the trajectory will converge to Q 1 L . This shows that, the factor 1 p plays the role of a controller which can used to stabilize the system around Q 0 L . Biologically, the factor 1 p plays the role of an antiviral treatment which can be applied to eradicate the virus from the body.

5. Conclusions and Discussion

Most of the existing mathematical models of viral infection study the viral infection and production in one or two classes of target cells.However, HIV and CHIKV can infect three and five types of target cells, respectively. In this paper, we have studied two within-host virus dynamics models with antibody immune response and with n classes of target cells. In the second model, we have considered two types of infected cells, latently infected cells (such cells contain the viruses but are not producing it) and the actively infected cells (such cells are producing the viruses). We have shown that the solutions of each model are nonnegative and bounded, which ensure the well-posedness of the models. For each model, we have derived a biological threshold number R 0 (the basic reproduction number) which fully determines the existence and stability of the two steady states of the model. We have investigated the global stability of the steady states of the model by using Lyapunov method and LaSalle’s invariance principle. We have proven that: (i) if R 0 1 ( R 0 L 1 ), then the virus-free steady state Q 0 ( Q 0 L ) is globally asymptotically stable and the virus is predicted to be completely cleared from infected individuals; and (ii) if R 0 > 1 ( R 0 L > 1 ) , then the endemic steady state Q 1 ( Q 1 L ) is globally asymptotically stable and a chronic virus infection is attained. We have conducted numerical simulations and have shown that both the theoretical and numerical results are consistent. Our analysis extends some existing results in the literature. For example, the global stability was analyzed for a model with one target cell population [36].
The model in Equations (1)–(4) has three steady states virus-free steady state Q 0 H , endemic steady state without antibody immune response Q 1 H and endemic steady state with antibody immune response Q 2 H . Moreover, the existence and stability of the steady states are determined by two threshold parameters, the basic reproduction number R 0 H (which determines whether or not the disease will progress) and the antibody immune response activation number R 1 H (which determines whether a persistent antibody immune response can be established ) [30], where
R 0 H = m b μ d ϵ r , R 1 H = R 0 H 1 + b δ d c .
We note that the values of the parameters q, c and δ have no impact on the values of R 0 H . Thus, the model in Equations (1)–(4) implies that the antibody immune response do not play a role in clearing the viruses but can play a significant role in reducing the infection progress.
Our models have two steady states and their existence and stability are determined by one threshold parameter R 0 . This is because of considering the production rate of the B cells η . The basic reproduction number of the model in Equations (9)–(12) in the case of n = 1 is given by:
R 0 = m 1 b 1 μ 1 δ d 1 ϵ 1 ( r δ + q η ) .
We can see that R 0 depends on the parameter η . Therefore, if the production rate of the B cells η is increased such that R 0 < 1 , then Q 0 is globally asymptotically stable. Thus, the model in Equations (9)–(12) implies that the antibody immune response can clear the virus from body.
In our proposed models, we have only considered one arm of the immune system which is based on the antibodies. CTL cells play a prominent role in achieving the best representation of the dynamics of some types of viruses. The virus dynamics model with n categories of target cells and CTL immune response can be given as:
S ˙ i = μ i d i S i b i S i V , i = 1 , , n , I ˙ i = b i S i V ϵ i I i q ¯ i I i Z , i = 1 , , n , V ˙ = i = 1 n m i I i r V , Z ˙ = η ¯ + i = 1 n c ¯ i I i Z δ ¯ Z .
In addition to this model, one can formulate a virus dynamics model with n categories of target cells and both antibodies and CTL immune response.

5.1. Effects of Latency on the Virus Dynamics

In this subsection, we show the effect of the presence of latently infected cells on the virus dynamics. Let us incorporate an antiviral treatment with drug efficacy u where u [ 0 , 1 ) . The virus dynamics model in Equations (9)–(12) under the effect of treatment is given by:
S ˙ i = μ i d i S i ( 1 u ) b i S i V , i = 1 , , n ,
I ˙ i = ( 1 u ) b i S i V ϵ i I i , i = 1 , , n ,
V ˙ = i = 1 n m i I i r V q B V ,
B ˙ = η + c B V δ B .
Consequently, the parameter R 0 for the system in Equations (31)–(34) is given by
R 0 ( u ) = ( 1 u ) i = 1 n m i b i μ i δ d i ϵ i ( r δ + q η ) .
The model in Equations (19)–(23) under the effect of treatment is given by:
S ˙ i = μ i d i S i ( 1 u ) b i S i V , i = 1 , , n ,
L ˙ i = ( 1 u ) ( 1 p i ) b i S i V ( θ i + λ i ) L i , i = 1 , , n ,
I ˙ i = ( 1 u ) p i b i S i V + λ i L i ϵ i I i , i = 1 , , n ,
V ˙ = i = 1 n m i I i r V q B V ,
B ˙ = η + c B V δ B .
The parameter R 0 L for the system in Equations (35)–(39) is given by
R 0 L ( u ) = ( 1 u ) i = 1 n m i b i μ i δ ( θ i p i + λ i ) d i ϵ i ( θ i + λ i ) ( r δ + q η ) .
Since 0 < p i < 1 , then
R 0 L ( u ) = ( 1 u ) i = 1 n m i b i μ i δ ( θ i p i + λ i ) d i ϵ i ( θ i + λ i ) ( r δ + q η ) < ( 1 u ) i = 1 n m i b i μ i δ d i ϵ i ( r δ + q η ) = R 0 ( u ) .
Clearly, the presence of latently infected cells deceases the basic reproduction number of the system. Now we aim to determine the minimum drug efficacy that able to clear the viruses from the body. We determine u c r i t and u c r i t L that make
R 0 ( u ) 1 , for all u c r i t u < 1 , R 0 L ( u ) 1 , for all u c r i t L u < 1 ,
to stabilize the system in Equations (31)–(39) around Q 0 and Q 0 L , respectively. Now, we calculate u c r i t and u c r i t L as:
u c r i t = max 0 , R 0 ( 0 ) 1 R 0 ( 0 ) , u c r i t L = max 0 , R 0 L ( 0 ) 1 R 0 L ( 0 ) .
Clearly, R 0 L ( 0 ) < R 0 ( 0 ) and thus u c r i t L < u c r i t . Therefore, the drug efficacy necessary to drive the system to the virus-free steady state is actually less for the system in Equations (35)–(39) than that for the system in Equations (31)–(34).

Author Contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Acknowledgments

This article was funded by the Deanship of Scientific Research (DSR) at King Abdulaziz University, Jeddah. The authors, therefore, acknowledge with thanks DSR for technical and financial support.

Conflicts of Interest

The authors declare te no conflict of interest.

Appendix A

Proof (Proof of Theorem A1).
Construct a Lyapunov function W 0 as:
W 0 ( S , I , V , B ) = i = 1 n y i S i 0 H S i S i 0 + I i + V + q c B 0 H B B 0 ,
where y i = m i ϵ i . Note that, W 0 ( S , I , V , B ) > 0 for all S , I , V , B > 0 and W 0 ( S 0 , 0 , 0 , B 0 ) = 0 . Calculating d W 0 d t along the trajectories of Equations (9)–(12) we get
d W 0 d t = i = 1 n y i 1 S i 0 S i μ i d i S i b i S i V + b i S i V ϵ i I i + i = 1 n m i I i r V q B V + q c 1 B 0 B η + c B V δ B = i = 1 n y i d i 1 S i 0 S i S i 0 S i + i = 1 n m i b i S i 0 V ϵ i r V q B 0 V + q c 1 B 0 B δ B 0 δ B = i = 1 n y i d i S i S i 0 S i S i 0 S i q δ c ( B B 0 ) 2 B + ( r + q B 0 ) i = 1 n m i b i μ i d i ϵ i ( r + q B 0 ) 1 V = i = 1 n y i d i S i S i 0 2 S i q δ c ( B B 0 ) 2 B + ( r + q B 0 ) ( R 0 1 ) V .
If R 0 1 , then d W 0 d t 0 for all S , I , V , B > 0 . In addition, d W 0 d t = 0 if and only if S i = S i 0 , B = B 0 , V = 0 . The solutions of the system in Equations (9)–(12) converge to D , the largest invariant set of { ( S , I , V , B ) : d W 0 d t = 0 } . For any element in D satisfies V ( t ) = V ˙ ( t ) = 0 . Then, from Equation (11), we have I i ( t ) = 0 . By the LaSalle’s invariance principle [56,57], Q 0 is globally asymptotically stable. ☐
Proof (Proof of Theorem A2).
Construct a Lyapunov function W 1 as:
W 1 ( S , I , V , B ) = i = 1 n y i S i * H S i S i * + I i * H I i I i * + V * H V V * + q c B * H B B * .
We have W 1 ( S , I , V , B ) > 0 for all S , I , V , B > 0 and W 1 ( S * , I * , V * , B * ) = 0 . Calculating d W 1 d t along the trajectories of Equations (9)–(12) we get
d W 1 d t = i = 1 n y i 1 S i * S i μ i d i S i b i S i V + 1 I i * I i b i S i V ϵ i I i + 1 V * V i = 1 n m i I i r V q B V + q c 1 B * B η + c B V δ B = i = 1 n y i 1 S i * S i μ i d i S i + b i S i * V b i S i V I i * I i + ϵ i I i * i = 1 n m i I i V * V r V + r V * + q B V * q B * V + q c 1 B * B η δ B .
Applying
μ i = d i S i * + b i S i * V * , η = δ B * c B * V * ,
we obtain
d W 1 d t = i = 1 n y i 1 S i * S i d i S i * d i S i + b i S i * V * 1 S i * S i + b i S i * V b i S i V I i * I i + ϵ i I i * i = 1 n m i I i V * V r V + r V * + q B V * q B * V q B * V * + q B * V * B * B + q c 1 B * B δ B * δ B .
Using the endemic steady state conditions
ϵ i I i * = b i S i * V * , i = 1 n m i I i * = r V * + q B * V * ,
we get
d W 1 d t = i = 1 n y i d i 1 S i * S i S i * S i + 3 ϵ i I i * ϵ i I i * S i * S i ϵ i I i * S i V I i * S i * V * I i ϵ i I i * V * I i V I i * 2 q B * V * + q B V * + q B * V * B * B q δ c ( B B * ) 2 B = i = 1 n y i d i S i S i * 2 S i + ϵ i I i * 3 S i * S i S i V I i * S i * V * I i V * I i V I i * q B * V * 2 B B * B * B q δ c ( B B * ) 2 B = i = 1 n y i d i S i S i * 2 S i + ϵ i I i * 3 S i * S i S i V I i * S i * V * I i V * I i V I i * q η c B * ( B B * ) 2 B .
The relation between the geometrical mean and the arithmetical mean implies that
3 S i * S i + S i V I i * S i * V * I i + V * I i V I i * .
Therefore, if R 0 > 1 , then S * , I * , V * , B * > 0 and d W 1 d t 0 for all S , I , V , B > 0 . The solutions of system limit to D 1 , the largest invariant subset of d W 1 d t = 0 . We have d W 1 d t = 0 if and only if S i = S i * , I i = I i * , V = V * , and B = B * . It follows from LaSalle’s invariance principle that Q 1 is globally asymptotically stable in Ω ˚ .
Proof (Proof of Theorem A3).
Construct a Lyapunov function W 0 L as:
W 0 L ( S , L , I , V , B ) = i = 1 n β i S i 0 H S i S i 0 + λ i θ i p i + λ i L i + θ i + λ i θ i p i + λ i I i + V + q c B 0 H B B 0 ,
where β i = m i ( θ i p i + λ i ) ϵ i ( θ i + λ i ) . Calculating d W 0 L d t along the trajectories of Equations (19)–(23) we get
d W 0 L d t = i = 1 n β i 1 S i 0 S i μ i d i S i b i S i V + λ i θ i p i + λ i ( 1 p i ) b i S i V ( θ i + λ i ) L i + θ i + λ i θ i p i + λ i p i b i S i V + λ i L i ϵ i I i + i = 1 n m i I i r V q B V + q c 1 B 0 B η + c B V δ B = i = 1 n β i d i 1 S i 0 S i S i 0 S i + i = 1 n m i b i S i 0 ( θ i p i + λ i ) V ϵ i ( θ i + λ i ) r V q B 0 V + q c 1 B 0 B δ B 0 δ B = i = 1 n β i d i S i S i 0 S i S i 0 S i q δ c ( B B 0 ) 2 B + ( r + q B 0 ) i = 1 n m i b i μ i ( θ i p i + λ i ) d i ϵ i ( θ i + λ i ) ( r + q B 0 ) 1 V = i = 1 n β i d i S i S i 0 2 S i q δ c ( B B 0 ) 2 B + ( r + q B 0 ) ( R 0 L 1 ) V .
Therefore if R 0 L 1 , then d W 0 L d t 0 for all S , L , I , V , B > 0 . Moreover, d W 0 L d t = 0 at Q 0 L . By the LaSalle’s invariance principle, Q 0 L is globally asymptotically stable. ☐
Proof (Proof of Theorem A4).
Construct a Lyapunov function W 1 L as follows:
W 1 L = i = 1 n β i S i * H S i S i * + λ i θ i p i + λ i L i * H L i L i * + θ i + λ i θ i p i + λ i I i * H I i I i * + V * H V V * + q c B * H B B * .
Calculating d W 1 L d t along the trajectories of Equations (19)–(23) we get
d W 1 L d t = i = 1 n β i 1 S i * S i μ i d i S i b i S i V + λ i θ i p i + λ i 1 L i * L i ( 1 p i ) b i S i V ( θ i + λ i ) L i + θ i + λ i θ i p i + λ i 1 I i * I i p i b i S i V + λ i L i ϵ i I i + 1 V * V i = 1 n m i I i r V q B V + q c 1 B * B η + c B V δ B .
Applying
μ i = d i S i * + b i S i * V * , η = δ B * c B * V * ,
we obtain
d W 1 L d t = i = 1 n β i 1 S i * S i d i S i * d i S i + b i S i * V * 1 S i * S i + b i S i * V λ i ( 1 p i ) b i θ i p i + λ i S i V L i * L i + λ i ( θ i + λ i ) θ i p i + λ i L i * ( θ i + λ i ) p i b i θ i p i + λ i S i V I i * I i ( θ i + λ i ) λ i θ i p i + λ i L i I i * I i + θ i + λ i θ i p i + λ i ϵ i I i * θ i + λ i θ i p i + λ i ϵ i I i * V * I i V I i * r V + r V * + q B V * q B * V q B * V * + q B * V * B * B + q c 1 B * B δ B * δ B .
Using the endemic steady state conditions
( 1 p i ) b i S i * V * = ( θ i + λ i ) L i * , p i b i S i * V * = ϵ i I i * λ i L i * , i = 1 n m i I i * = r V * + q B * V * ,
we get
θ i + λ i θ i p i + λ i ϵ i I i * = b i S i * V * = λ i θ i p i + λ i ( 1 p i ) b i S i * V * + θ i + λ i θ i p i + λ i p i b i S i * V * ,
and
d W 1 L d t = i = 1 n β i d i 1 S i * S i S i * S i + b i S i * V * λ i θ i p i + λ i ( 1 p i ) + θ i + λ i θ i p i + λ i p i 1 S i * S i λ i θ i p i + λ i ( 1 p i ) b i S i * V * S i V L i * S i * V * L i + λ i θ i p i + λ i ( 1 p i ) b i S i * V * θ i + λ i θ i p i + λ i p i b i S i * V * S i V I i * S i * V * I i λ i θ i p i + λ i ( 1 p i ) b i S i * V * L i I i * L i * I i + λ i θ i p i + λ i ( 1 p i ) b i S i * V * + θ i + λ i θ i p i + λ i p i b i S i * V * λ i θ i p i + λ i ( 1 p i ) b i S i * V * V * I i V I i * θ i + λ i θ i p i + λ i p i b i S i * V * V * I i V I i * + λ i θ i p i + λ i ( 1 p i ) b i S i * V * + θ i + λ i θ i p i + λ i p i b i S i * V * 2 q B * V * + q B V * + q B * V * B * B q δ c ( B B * ) 2 B .
d W 1 L d t = i = 1 n β i d i S i S i * 2 S i + λ i θ i p i + λ i ( 1 p i ) b i S i * V * 4 S i * S i S i V L i * S i * V * L i L i I i * L i * I i V * I i V I i * + θ i + λ i θ i p i + λ i p i b i S i * V * 3 S i * S i S i V I i * S i * V * I i V * I i V I i * q B * V * 2 B B * B * B q δ c ( B B * ) 2 B = i = 1 n β i d i S i S i * 2 S i + λ i θ i p i + λ i ( 1 p i ) b i S i * V * 4 S i * S i S i V L i * S i * V * L i L i I i * L i * I i V * I i V I i * + θ i + λ i θ i p i + λ i p i b i S i * V * 3 S i * S i S i V I i * S i * V * I i V * I i V I i * q η c B * ( B B * ) 2 B .
Clearly, d W 1 L d t 0 and d W 1 L d t = 0 if and only if S i = S i * , L i = L i * , I i = I i * , V = V * and B = B * . It follows from LaSalle’s invariance principle, Q 1 L is globally asymptotically stable in Ω ˚ L .

References

  1. Nowak, M.A.; Bangham, C.R.M. Population dynamics of immune responses to persistent viruses. Science 1996, 272, 74–79. [Google Scholar] [CrossRef] [PubMed]
  2. Bonhoeffer, S.; May, R.M.; Shaw, G.M.; Nowak, M.A. Virus dynamics and drug therapy. Proc. Natl. Acad. Sci. USA 1997, 94, 6971–6976. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  3. Elaiw, A.M.; Raezah, A.A. Stability of general virus dynamics models with both cellular and viral infections and delays. Math. Meth. Appl. Sci. 2017, 40, 5863–5880. [Google Scholar] [CrossRef]
  4. Elaiw, A.M.; Elnahary, E.K.; Raezah, A.A. Effect of cellular reservoirs and delays on the global dynamics of HIV. Adv. Differ. Equ. 2018, 2018, 85. [Google Scholar] [CrossRef] [Green Version]
  5. Elaiw, A.M.; AlShamrani, N.H. Stability of latent pathogen infection model with adaptive immunity and delays. J. Integr. Neurosci. 2018. [Google Scholar] [CrossRef] [PubMed]
  6. Roy, P.K.; Chatterjee, A.N.; Greenhalgh, D.; Khan, Q.J.A. Long term dynamics in a mathematical model of HIV-1 infection with delay in different variants of the basic drug therapy model. Nonlinear Anal. Real World Appl. 2013, 14, 1621–1633. [Google Scholar] [CrossRef] [Green Version]
  7. Connell, M.C.; Yang, Y. Global stability of a diffusive virus dynamics model with general incidence function and time delay. Nonlinear Anal. Real World Appl. 2015, 25, 64–78. [Google Scholar] [CrossRef]
  8. Liu, S.; Wang, L. Global stability of an HIV-1 model with distributed intracellular delays and a combination therapy. Math. Biosci. Eng. 2010, 7, 675–685. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  9. Li, X.; Fu, S. Global stability of a virus dynamics model with intracellular delay and CTL immune response. Math. Meth. Appl. Sci. 2015, 38, 420–430. [Google Scholar] [CrossRef]
  10. Hattaf, K.; Yousfi, N.; Tridane, A. Mathematical analysis of a virus dynamics model with general incidence rate and cure rate. Nonlinear Anal. Real World Appl. 2012, 13, 1866–1872. [Google Scholar] [CrossRef]
  11. Elaiw, A.M.; Raezah, A.A.; Hattaf, K. Stability of HIV-1 infection with saturated virus-target and infected-target incidences and CTL immune response. Int. J. Biomath. 2017, 15, 1750070. [Google Scholar] [CrossRef]
  12. Elaiw, A.M.; Raezah, A.A.; Alofi, B.S. Dynamics of delayed pathogen infection models with pathogenic and cellular infections and immune impairment. AIP Adv. 2018, 8, 025323. [Google Scholar] [CrossRef]
  13. Elaiw, A.M.; Raezah, A.; Alofi, A.S. Effect of humoral immunity on HIV-1 dynamics with virus-to-target and infected-to-target infections. AIP Adv. 2016, 6, 085204. [Google Scholar] [CrossRef] [Green Version]
  14. Elaiw, A.M.; Raezah, A.; Alofi, A. Stability of a general delayed virus dynamics model with humoral immunity and cellular infection. AIP Adv. 2017, 7, 065210. [Google Scholar] [CrossRef] [Green Version]
  15. Elaiw, A.M.; AlShamrani, N.H.; Alofi, A.S. Stability of CTL immunity pathogen dynamics model with capsids and distributed delay. AIP Adv. 2017, 7, 125111. [Google Scholar] [CrossRef] [Green Version]
  16. Gibelli, L.; Elaiw, A.; Alghamdi, M.A.; Althiabi, A.M. Heterogeneous population dynamics of active particles: Progression, mutations, and selection dynamics. Math. Models Meth. Appl. Sci. 2017, 27, 617–640. [Google Scholar] [CrossRef]
  17. Huang, G.; Takeuchi, Y.; Ma, W. Lyapunov functionals for delay differential equations model of viral infections. SIAM J. Appl. Math. 2010, 70, 2693–2708. [Google Scholar] [CrossRef]
  18. Li, B.; Chen, Y.; Lu, X.; Liu, S. A delayed HIV-1 model with virus waning term. Math. Biosci. Eng. 2016, 13, 135–157. [Google Scholar] [CrossRef] [PubMed]
  19. Huang, D.; Zhang, X.; Guo, Y.; Wang, H. Analysis of an HIV infection model with treatments and delayed immune response. Appl. Math. Model. 2016, 40, 3081–3089. [Google Scholar] [CrossRef]
  20. Wang, K.; Fan, A.; Torres, A. Global properties of an improved hepatitis B virus model. Nonlinear Anal. Real World Appl. 2010, 11, 3131–3138. [Google Scholar] [CrossRef]
  21. Manna, K. Dynamics of a diffusion-driven HBV infection model with capsids and time delay. Int. J. Biomath. 2017, 10, 1750062. [Google Scholar] [CrossRef]
  22. Peralta, R.; Vargas-De-Leon, C.; Miramontes, P. Global stability results in a SVIR epidemic model with immunity loss rate depending on the vaccine-age. Abstr. Appl. Anal. 2015, 2015, 341854. [Google Scholar] [CrossRef]
  23. Monica, C.; Pitchaimani, M. Analysis of stability and Hopf bifurcation for HIV-1 dynamics with PI and three intracellular delays. Nonlinear Anal. Real World Appl. 2016, 2, 55–69. [Google Scholar] [CrossRef]
  24. Neumann, A.U.; Lam, N.P.; Dahari, H.; Gretch, D.R.; Wiley, T.E.; Layden, T.J.; Perelson, A.S. Hepatitis C viral dynamics in vivo and the antiviral efficacy of interferon-alpha therapy. Science 1998, 282, 103–107. [Google Scholar] [CrossRef] [PubMed]
  25. Wang, L.; Li, M.Y.; Kirschner, D. Mathematical analysis of the global dynamics of a model for HTLV-I infection and ATL progression. Math. Biosci. 2002, 179, 207–217. [Google Scholar] [CrossRef] [Green Version]
  26. Shi, X.; Zhou, X.; Son, X. Dynamical behavior of a delay virus dynamics model with CTL immune response. Nonlinear Anal. Real World Appl. 2010, 11, 1795–1809. [Google Scholar] [CrossRef]
  27. Shu, H.; Wang, L.; Watmough, J. Global stability of a nonlinear viral infection model with infinitely distributed intracellular delays and CTL imune responses. SIAM J. Appl. Math. 2013, 73, 1280–1302. [Google Scholar] [CrossRef]
  28. Wang, J.; Lang, J.; Zou, X. Analysis of an age structured HIV infection model with virus-to-cell infection and cell-to-cell transmission. Nonlinear Anal. Real World Appl. 2017, 34, 75–96. [Google Scholar] [CrossRef]
  29. Murase, A.; Sasaki, T.; Kajiwara, T. Stability analysis of pathogen-immune interaction dynamics. J. Math. Biol. 2005, 51, 247–267. [Google Scholar] [CrossRef] [PubMed]
  30. Wang, S.; Zou, D. Global stability of in host viral models with humoral immunity and intracellular delays. J. Appl. Math. Mod. 2012, 36, 1313–1322. [Google Scholar] [CrossRef]
  31. Wang, T.; Hu, Z.; Liao, F. Stability and Hopf bifurcation for a virus infection model with delayed humoral immunity response. J. Math. Anal. Appl. 2014, 411, 63–74. [Google Scholar] [CrossRef]
  32. Elaiw, A.M.; AlShamrani, N.H. Global stability of humoral immunity virus dynamics models with nonlinear infection rate and removal. Nonlinear Anal. Real World Appl. 2015, 26, 161–190. [Google Scholar] [CrossRef]
  33. Elaiw, A.M.; AlShamrani, N.H. Global properties of nonlinear humoral immunity viral infection models. Int. J. Biomath. 2015, 8, 1550058. [Google Scholar] [CrossRef]
  34. Elaiw, A.M.; AlShamrani, N.H. Stability of a general delay-distributed virus dynamics model with multi-staged infected progression and immune response. Math. Meth. Appl. Sci. 2017, 40, 699–719. [Google Scholar] [CrossRef]
  35. Elaiw, A.M.; AlShamrani, N.H.; Hattaf, K. Dynamical behaviors of a general humoral immunity viral infection model with distributed invasion and production. Int. J. Biomath. 2017, 10, 1750035. [Google Scholar] [CrossRef]
  36. Wang, Y.; Liu, X. Stability and Hopf bifurcation of a within-host chikungunya virus infection model with two delays. Math. Comput. Simul. 2017, 138, 31–48. [Google Scholar] [CrossRef]
  37. Deans, J.A.; Cohen, S. Immunology of malaria. Ann. Rev. Microbiol. 1983, 37, 25–49. [Google Scholar] [CrossRef] [PubMed]
  38. Perelson, A.S.; Essunger, P.; Cao, Y.; Vesanen, M.; Hurley, A.; Saksela, K.; Markowitz, M.; Ho, D.D. Decay characteristics of HIV-1-infected compartments during combination therapy. Nature 1997, 387, 188–191. [Google Scholar] [CrossRef] [PubMed]
  39. Dobrovolny, H.M.; Baron, M.J.; Gieschke, R.; Davies, B.E.; Jumbe, N.L.; Beauchemin, C.A.A. Exploring cell tropism as a possible contributor to influenza infection severity. PLoS ONE 2011, 5, e13811. [Google Scholar] [CrossRef] [PubMed]
  40. Bajaria, S.H.; Webb, G.; Cloyd, M.; Kirschner, D. Dynamics of naive and memory CD4 + T Lymphocytes in HIV-1 disease progression. J. Acquir. Immune Defic. Syndr. 2002, 30, 41–58. [Google Scholar] [CrossRef] [PubMed]
  41. Payne, R.J.H.; Nowak, M.A.; Blumberg, B.S. Analysis of a cellular model to account for the natural history of infection by the hepatitis B virus and its role in the development of primary hepatocellular carcinoma. J. Theor. Biol. 1992, 159, 215–240. [Google Scholar] [CrossRef]
  42. Payne, R.J.H.; Nowak, M.A.; Blumberg, B.S. A cellular model to explain the pathogenesis of infection by the hepatitis B virus. Math. Biosci. 1994, 123, 25–58. [Google Scholar] [CrossRef]
  43. Dahari, H.; Feliu, A.; Garcia-Retortillo, M.; Forns, X.; Neumann, A.U. Second hepatitis C compartment indicated by viral dynamics during liver transplantation. J. Hepatol. 2005, 42, 491–498. [Google Scholar] [CrossRef] [PubMed]
  44. Elaiw, A.M.; Azoz, S.A. Global properties of a class of HIV infection models with Beddington-DeAngelis functional response. Math. Meth. Appl. Sci. 2013, 36, 383–394. [Google Scholar] [CrossRef]
  45. Elaiw, A.M.; Hassanien, I.A.; Azoz, S.A. Global stability of HIV infection models with intracellular delays. J. Korean Math. Soc. 2012, 49, 779–794. [Google Scholar] [CrossRef]
  46. Elaiw, A.M. Global properties of a class of HIV models. Nonlinear Anal. Real World Appl. 2010, 11, 2253–2263. [Google Scholar] [CrossRef]
  47. Elaiw, A.M.; Almuallem, N.A. Global dynamics of delay-distributed HIV infection models with differential drug efficacy in cocirculating target cells. Math. Meth. Appl. Sci. 2016, 39, 4–31. [Google Scholar] [CrossRef]
  48. Cunningham, A.L.; Donaghy, H.; Harman, A.N.; Kim, M.; Turville, S.G. Manipulation of dendritic cell function by viruses. Curr. Opin. Microbiol. 2010, 13, 524–529. [Google Scholar] [CrossRef] [PubMed]
  49. Couderc, T.; Chretien, F.; Schilte, C.; Disson, O.; Brigitte, M.; Guivel-Benhassine, F. A mouse model for Chikungunya: young age and inefficient type-I interferon signaling are risk factors for severe disease. PLoS Pathog. 2008, 4, e29. [Google Scholar] [CrossRef] [PubMed]
  50. Lum, F.M.; Ng, L.F.P. Cellular and molecular mechanisms of chikungunya pathogenesis. Antivir. Res. 2015, 120, 165–174. [Google Scholar] [CrossRef] [PubMed]
  51. Ozden, S.; Huerre, M.; Riviere, J.P.; Coffey, L.L.; Afonso, P.V.; Mouly, V. Human muscle satellite cells as targets of Chikungunya virus infection. PLoS ONE 2007, 2, e527. [Google Scholar] [CrossRef] [PubMed]
  52. Her, Z.; Malleret, B.; Chan, M.; Ong, E.K.; Wong, S.C.; Kwek, D.J. Active infection of human blood monocytes by Chikungunya virus triggers an innate immune response. J. Immunol. 2010, 184, 5903–5913. [Google Scholar] [CrossRef] [PubMed]
  53. Elaiw, A.M. Global properties of a class of virus infection models with multitarget cells. Nonlinear Dyn. 2012, 69, 423–435. [Google Scholar] [CrossRef]
  54. Wang, X.; Song, X.; Tang, S.; Rong, L. Analysis of HIV models with multiple target cell populations and general nonlinear rates of viral infection and cell death. Math. Comput. Simul. 2016, 124, 87–103. [Google Scholar] [CrossRef] [Green Version]
  55. Korobeinikov, A. Global properties of basic virus dynamics models. Bull. Math. Biol. 2004, 66, 879–883. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  56. LaSalle, J.P. Stability theory of ordinary differential equations. J. Differ. Equ. 1968, 4, 57–65. [Google Scholar] [CrossRef]
  57. LaSalle, J.P. The stability of dynamical system. In The Stability of Dynamical Systems; SIAM: Philadephia, PE, USA, 1976. [Google Scholar]
Figure 1. The simulation of trajectories of the system in Equations (9)–(12) with IV1–IV3; (a) uninfected target cells type-1; (b) uninfected target cells type-2; (c) infected target cells type-1; (d) infected target cells type-2; (e) free virus particles; and (f) B cells.
Figure 1. The simulation of trajectories of the system in Equations (9)–(12) with IV1–IV3; (a) uninfected target cells type-1; (b) uninfected target cells type-2; (c) infected target cells type-1; (d) infected target cells type-2; (e) free virus particles; and (f) B cells.
Mathematics 06 00118 g001aMathematics 06 00118 g001b
Figure 2. The simulation of trajectories of the system in Equations (19)–(23): (a) uninfected target cells type-1; (b) uninfected target cells type-2; (c) latently infected target cells type-1; (d) latently infected target cells type-2; (e) actively infected target cells type-1; (f) actively infected target cells type-2; (g) free virus particles; and (h) B cells.
Figure 2. The simulation of trajectories of the system in Equations (19)–(23): (a) uninfected target cells type-1; (b) uninfected target cells type-2; (c) latently infected target cells type-1; (d) latently infected target cells type-2; (e) actively infected target cells type-1; (f) actively infected target cells type-2; (g) free virus particles; and (h) B cells.
Mathematics 06 00118 g002aMathematics 06 00118 g002b
Table 1. The values of the parameters of the model in Equations (9)–(12).
Table 1. The values of the parameters of the model in Equations (9)–(12).
ParameterValueParameterValue
μ 1 1.826 d 1 0.7979
μ 2 3.198 d 2 0.5
b 1 variedq 0.5964
c 0.5 r 0.4418
m 1 = m 2 2.02 η 1.402
b 2 varied δ 1.251
ϵ 1 = ϵ 2 0.4441
Table 2. The values of the parameters of the model in Equations (19)–(23).
Table 2. The values of the parameters of the model in Equations (19)–(23).
ParameterValueParameterValue
μ 1 1.826 d 1 0.7979
μ 2 3.198 d 2 0.5
le b 1 = b 2 0.04 q 0.5964
c 0.5 r 0.4418
m 1 = m 2 2.02 η 1.402
λ 1 = λ 2 0.1 δ 1.251
ϵ 1 = ϵ 2 0.4441 θ 1 = θ 2 0.5
p 1 = p 2 varied
Table 3. The values of steady states, R 0 L for the model in Equations (19)–(23) with different values of p.
Table 3. The values of steady states, R 0 L for the model in Equations (19)–(23) with different values of p.
p = p 1 = p 2 Steady States R 0 L
0.1 Q 0 = ( 2.26262 , 6.28133 , 0 , 0 , 0 , 0 , 0 , 1.23318 ) 0.3558
0.2 Q 0 = ( 2.26262 , 6.28133 , 0 , 0 , 0 , 0 , 0 , 1.23318 ) 0.4744
0.3 Q 0 = ( 2.26262 , 6.28133 , 0 , 0 , 0 , 0 , 0 , 1.23318 ) 0.5930
0.4 Q 0 = ( 2.26262 , 6.28133 , 0 , 0 , 0 , 0 , 0 , 1.23318 ) 0.7116
0.5 Q 0 = ( 2.26262 , 6.28133 , 0 , 0 , 0 , 0 , 0 , 1.23318 ) 0.8302
0.6 Q 0 = ( 2.26262 , 6.28133 , 0 , 0 , 0 , 0 , 0 , 1.23318 ) 0.9488
0.643144 Q 0 = ( 2.26262 , 6.28133 , 0 , 0 , 0 , 0 , 0 , 1.23318 ) 1.0000
0.7 Q 1 = ( 2.23995 , 6.18216 , 0.04480 , 0.12364 , 0.07115 , 0.19637 , 0.43238 , 1.35484 ) 1.0674
0.8 Q 1 = ( 2.22562 . , 6.12005 , 0.02968 , 0.08160 , 0.09707 , 0.26693 , 0.56363 , 1.44657 ) 1.1860
0.9 Q 1 = ( 2.20775 . , 6.04324 , 0.01472 , 0.04029 , 0.13390 , 0.36652 , 0.72967 , 1.58210 ) 1.3046

Share and Cite

MDPI and ACS Style

Elaiw, A.M.; Alade, T.O.; Alsulami, S.M. Global Stability of Within-Host Virus Dynamics Models with Multitarget Cells. Mathematics 2018, 6, 118. https://doi.org/10.3390/math6070118

AMA Style

Elaiw AM, Alade TO, Alsulami SM. Global Stability of Within-Host Virus Dynamics Models with Multitarget Cells. Mathematics. 2018; 6(7):118. https://doi.org/10.3390/math6070118

Chicago/Turabian Style

Elaiw, Ahmed M., Taofeek O. Alade, and Saud M. Alsulami. 2018. "Global Stability of Within-Host Virus Dynamics Models with Multitarget Cells" Mathematics 6, no. 7: 118. https://doi.org/10.3390/math6070118

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop