- Research
- Open access
- Published:

# Asymptotic behavior of HIV-1 epidemic model with infinite distributed intracellular delays

*SpringerPlus*
**volume 5**, Article number: 324 (2016)

## Abstract

In this study, asymptotic analysis of an HIV-1 epidemic model with distributed intracellular delays is proposed. One delay term represents the latent period which is the time when the target cells are contacted by the virus particles and the time the contacted cells become actively infected and the second delay term represents the virus production period which is the time when the new virions are created within the cell and are released from the cell. The infection free equilibrium and the chronic-infection equilibrium have been shown to be locally asymptotically stable by using Rouths Hurwiths criterion and general theory of delay differential equations. Similarly, by using Lyapunov functionals and LaSalle’s invariance principle, it is proved that if the basic reproduction ratio is less than unity, then the infection-free equilibrium is globally asymptotically stable, and if the basic reproduction ratio is greater than unity, the chronic-infection equilibrium is globally asymptotically stable. Finally, numerical results with conclusion are discussed.

## Background

Human immunodeficiency virus (HIV-1) is a lentivirus that causes acquired immunodeficiency syndrome (AIDS). The HIV-1 infection passes through three different phases, viz, the primary infection, chronic infection and acquired immunodeficiency syndrome (AIDS). In the primary infection, viral load experiences, a substantial increase to the peak level, followed by decline to the steady state, which is referred to as the viral set point. To control this infection, many scientists and researchers have been focusing on it, as there is no effective way to cure AIDS.

In the recent research, recombinant virus is used for controlling the infection of HIV-1 (see for example, Wagner and Hewlett 1999; Nolan 1997). Revilla and Garcya-Ramos (2003) established a 5-dimensional ordinary differential equation system to investigate the control of the infection by introducing a recombinant virus to fight the virus. Jiang et al. (2009), introduced a constant injection rate of the recombinant virus and presented various bifurcation patterns. A control strategy of the HIV-1 epidemic model was given in Yu and Zou (2012). The following differential equations are standard and classic in-host model for HIV-1 infection:

where *x*(*t*), *y*(*t*) and *v*(*t*) represent the densities of uninfected cells, infected cells and the free virus cells, respectively at time *t*. \(\lambda \) represents the rate at which new target cells are generated, *d* is the specific death rate and \(\beta \) is the constant rate at which a T-cell is contacted by the virus. It is assumed that once cells are infected, they may die at rate *a* either due to the virus or the immune system, and in the mean time, each cell produces new virus particles at a rate *k* during their life, *p* is the death rate of virus cells.

Revilla and Garcya-Ramos (2003) extended the model (1) by adding a second virus which may cause the infected cells to have a second infection, called double-infection, leading to a modified model is given by

Here *w*(*t*) and *z*(*t*) represent genetically modified(recombinant) virus and double-infected cells, respectively. It is assumed that recombinant infected cells previously infected by the pathogen virus and turn them at rate \(\alpha \) into doubly-infected cells. In the mean time recombinant are removed at a rate *q*. The doubly infected cells die at a rate of *b* and release recombinant at a rate *c*. In Revilla and Garcya-Ramos (2003), the authors analyzed the structure of equilibrium solutions and presented some simulations of the model (2). The global attractivity of the three concerned disease-free equilibria is presented in Shang (2015) by using Lyapunov functional theory. Jiang et al. (2009), presented the stability of all possible equilibrium solutions and bifurcations between these equilibria, as well as proved the existence of Hopf bifurcation. Yu and Zou (2012), modified the model (2) by incorporating a control parameter \(\eta \) to measure the injection rate of the recombinant for controlling/eliminating the HIV virus. Tian et al. (2014) introduced the time lag into the model (2). Since in real situation, time is needed for the virus to contact a target cell and then the contacted cells become actively affected. Keeping in view this time lag they modified the model (2), by using the idea of Zhu and Zou (2008, 2009), as follows

where \(\tau \) denotes the average time for a viral particle to go through the eclipse phase. Here *a* is the constant death rate for infected cells but which are not virus producing cells yet. Therefore, \(e^{-a\tau }\) is the probability of surviving in the time period from \(t-\tau \) to *t*. The effect of intracellular delays on viral infection has been discussed in Culshaw et al. (2003), Herz et al. (1996), Mittler et al. (1999), Nelson et al. (2000), Nelson and Perelson (2002), Xu (2011), while the effect of different awareness campaign on the spread of random network has been investigated in Shang (2013).

This paper focuses on the dynamical behavior of the system with delays and studies their equilibrium solutions with bifurcations. This study extends the work presented in Tian et al. (2014) by incorporating two distributed intracellular delays. In the proposed model one delay term represents the latent period which is the time that the target cells are contacted by the virus particles and the time the contacted cells become actively infected. While the second delay term represents the virus production period which means the time during when new virions are created within the cell and are released from the cell. The proposed model becomes

The measure of the efficacies of the protease inhibitor and the reverse transcriptase inhibitor are denoted by \(n_{p}\) and \(n_{rt}\), respectively. It is also assumed that the infected cells become productively infected \(\tau \) units later, where \(\tau \) is distributed according to the probability distribution \(f_{1}(\tau )\). The recruitment of virus producing cells at time *t* is given by the number of the cells that were infected at time \(t-\tau \) and are still alive at time *t*. Here *m* is the constant death rate for infected cells but which are not virus producing cells as yet. Therefore, \(e^{-m\tau }\) is the probability of surviving in the time period from \(t-\tau \) to *t*. Also it is assumed that \(\tau \) units later the virus penetrated into the cell at time *t*, where \(\tau \) is distributed according to the probability distribution \(f_{2}(\tau )\). The probability distribution functions like \(f_{1}(\tau )=\delta (t-\tau _{1}), \)
\(f_{2}(\tau )=\delta (\tau )\) or \(f_{1}(\tau )=\delta (\tau )\), \(f_{2}(\tau )=\delta (t-\tau _{2})\), are proposed. After some manipulation our proposed model in general form can be written as follows:

where \(\widetilde{\beta }=(1-n_{rt})\beta \) and \(\widetilde{k}=(1-n_{p})k\). The term \( e^{-m_{2}\tau }\) is the probability of surviving from time \(t-\tau \) to time *t*, where \(m_{2}\) is the death rate of infected but not yet virus-producing cells. In the system (5), the delay kernel is assumed to be piecewise continuous to satisfy \(\int _{0}^{\infty }f_{i}(\tau )d\tau = 1\) and \(\int _{0}^{\infty }\tau f_{i}(\tau )d\tau < 1, i=1,2\). The initial conditions for the system (5) become

Here \((\psi _{1},\psi _{2},\psi _{3},\psi _{4},\psi _{5})\in C[(-\infty ,0), R^{5}]\) be the space of continuous functions mapping the interval \((-\infty ,0]\) into \(R^{5}\), where \(\psi _{i}(\zeta )\ge 0, i=1,2,,\ldots ,5\) and \(R^{5}=\{(x_{1},x_{2},x_{3},x_{4},x_{5}); x_{i}\ge 0,i=1,2,\ldots ,5\}\).

According to the fundamental theory of functional differential equations (Kuang 1993), the system (5) admits a unique solution of (*x*(*t*), *y*(*t*), *v*(*t*), *z*(*t*), *w*(*t*)) and satisfies the initial conditions (6). It is easy to show that all solutions of the system (5) with initial conditions (6) are defined on \([0, +\infty )\) and remain positive for all \(t \ge 0\).

The rest of the paper is organized as follows: In “Positivity and well-posdeness of the solution” section, we address the well-posedness of the model by proving the positivity and boundedness of solutions. We also identify the basic reproduction number \(R_{0}\) which determines whether there is or not an uninfected equilibrium. In “Local behavior of the proposed model” section, local stability has been discussed and it is proved that disease free equilibrium is locally stable if \(R_{0}<1\) and chronic-infection equilibrium is locally stable if \(R_{0}>1\). “Global behavior of the proposed model” section is dedicated to the global stability of the proposed model. Numerical simulations and discussion are presented in “Numerical simulation” section. Finally, conclusion is given in “Conclusion and discussion” section.

## Positivity and well-posdeness of the solution

In this section, we will discuss positivity and boundedness of the solution. The following theorem gives boundedness and positivity of the solution.

###
**Theorem 1**

*All solutions of the system* (5) *remain non-negative, provided the given conditions are non-negative and bounded.*

###
*Proof 1*

By using variation of parameter formulae, we get the following solution of the system (5)

Which shows the positivity of the solution of each solution *x*(*t*), *y*(*t*), *v*(*t*), *z*(*t*) and *w*(*t*).

Next, we show the boundedness of the solution. We define

Calculating the derivative and using the system (5), we have

where \(\epsilon =\min \{d, \frac{a}{2},\frac{b}{2},q,p\}\). This implies that *D*(*t*) is bounded. Thus all the solutions *x*(*t*), *y*(*t*), *v*(*t*), *z*(*t*) and *w*(*t*) are bounded.

In order to study the asymptotic behavior of the proposed model, we use Zaman (2011). The model (5) has three possible equilibria, disease-free equilibrium \(E_0(x_{0},y_{0},z_{0},v_{0},w_{0})\), single-infection equilibrium \(E_1(x_{1},y_{1},z_{1},v_{1},w_{1})\) and double-infection equilibrium \(E_2(x_{2},y_{2},z_{2},v_{2},w_{2})\) which are given below,

where \( M_{i}=\int _{0}^{\infty } e^{-m_{i}\tau }f_{i}(\tau )d\tau , (i=1,2)\).

The steady state with the pathogen presence is possible when the equilibrium density of the pathogen is greater than zero \((v_{1}> 0)\). This leads to a condition for invasion of the pathogen. Therefore, we can define

Here, \(R_{0}\) is called the basic reproduction ratio of model which represents the average number of secondary virus produced from a single virus for system (5). Noting that \(\int _{0}^{\infty } \tau f_{i}(\tau )d\tau =1\) and if \(m_{i} > 0 (i = 1, 2)\), then \(\int _{0}^{\infty } e^{-m_{i}\tau }f_{i}(\tau )d\tau < 1 \). It is clear that increasing either of the delay may decrease the basic reproduction ratio \(R_{0}\).

It turns out that the value of \(R_{0}\) determines the existence of the single-infection equilibrium, that is \(E_{1}\) exists if and only if \(R_{0} > 1\). For the third equilibrium to exist, the density of the recombinant virus must be greater than zero \((w_{2} > 0)\) and this leads to the condition

Hence, \(R_2 > 1\) if and only if \(R_0 >R_{1} \), where \(R_{1}= 1 + \frac{\widetilde{\beta } b\widetilde{k}q }{\alpha cdp}\).

To analyze the stability of the equilibria, we need to calculate the characteristic equation of the Jacobian matrix of the system (5) at equilibrium point \(E(\bar{x},\bar{y},\bar{z},\bar{v},\bar{w})\) as below

where \(N_{i}(\eta )=\int _{0}^{\infty } e^{-m_{i}\tau }e^{-\eta \tau }f_{i}(\tau )d\tau , (i=1,2).\)

## Local behavior of the proposed model

In this section, we find the local stability of the system (5).

###
**Theorem 2**

*When*
\(R_0 <1\), *then the disease-free equilibrium*
\(E_{0}\)
*is locally asymptotically stable while for*
\(R_0 >1\), \(E_{0}\)
*becomes unstable and the single-infection equilibrium*
\(E_{1}\)
*occurs.*

###
*Proof 2*

The characteristic equation of the Jacobian matrix of the linearized system corresponding to the system (5) at \(E_{0}(\frac{\lambda }{d},0 ,0 ,0 ,0)\) is given by

The three roots of the characteristic equation \(\eta _{1}=-b\), \(\eta _{2}=-d\) and \(\eta _{3}=-q\) are negative and the remaining two roots are given by the following equation

Let us rewrite the above equation

Noting that \(|N_{i}(\eta )|\le 1, (i=1,2)\).

Let us assume \(g(0)=ap(1-R_{0})<0\) and \(\lim _{\eta \rightarrow \infty } g(\eta )=+\infty \). By the continuity of \(g(\eta )\) there exist at least one positive root of \(g(\eta )=0\). Thus, the infection-free equilibrium \(E_0\) is unstable if \(R_0 >1\).

If we choose the direct delta function \(f_{i}(\tau )=\delta (t), (i=1,2)\) then we obtain \(N_{i}(\eta )=1, (i=1,2).\) In this case Eq. (7) becomes

Thus, if \(R_{0}<1\), then Eq. (8) has two negative roots. Hence the equilibrium \(E_{0}\) is locally asymptotically stable when \(f_{i}(\tau )=\delta (t), (i=1,2)\).

If \(i\nu (\nu > 0)\) is a solution of Eq. (7), it follows that

which yields

We note that for \((i=1,2)\),

Therefore, we have

Hence, if \(R_{0}<1\), then Eq. (10) has no positive roots. Therefore, by the general theory on characteristic equations of delay differential equations (Kuang 1993) (Theorem 3.4.1), it is clear that \(E_{0}\) is always locally asymptotically stable for \(f_{i}(\tau )=\delta (t), (i=1,2)\), if \(R_{0} < 1\).

###
**Theorem 3**

*For*
\(1<R_0 <R_{1}\)
*the single infection-free equilibrium*
\(E_{1}\)
*is locally asymptotically stable, while*
\(E_{1}\)
*becomes unstable for*
\(R_0>R_{1}\)
*and recombinant virus may persist.*

###
*Proof 3*

The characteristic equation corresponding to the Jacobian matrix of the linearized system of the system (5), is given by

We can write the equation in the form \(P_{1}(\eta )P_{2}(\eta )=0,\) where

Now \(P_{1}(\eta )\) can be written as

which shows that \(P_{1}(\eta )=0\) has two roots with negative real parts iff \(R_{2}<1\) (i,e \(R_{0}<R_{1}\) or one positive and one negative if \(R_{2}>1\) (i,e \(R_{0}>R_{1}\), which shows that the single infection free equilibrium \(E_{1}\) is unstable. \(P_{2}(\eta )=0\) also can be written as

where

When \( f_{i}(\tau )=\delta (\tau )\), we have \(N_{i}(\eta )=1 (i=1,2)\). In this case Eq. (12) becomes

By applying the Routh-Hurwitz criterion (Gantmacher 1959), we know that all the roots of (13) have negative real parts if \(R_{0}>1\), because

Finally, we have

Therefore, the equilibrium \(E_{1}\) is locally asymptotically stable when \( f_{i}(\tau )=\delta (\tau ) (i=1,2)\).

If \(i\nu \) for \(\nu >0\) is a solution of Eq. (13), then it follows that

After some simplification, we get

where

Hence if \(R_{0}>1,\) then the Eq. (15) has no positive roots. So by the general theory of characteristic equations of delay differential equations (Kuang 1993), the chronic infection equilibrium \(E_{1}\) is locally asymptotically stable when \( f_{i}(\tau )=\delta (\tau ), (i=1,2)\).

## Global behavior of the proposed model

In this section, we study the global behavior of the system (5). To do this we will use Lyapunove functionals theory and Lasali’s invariance principle.

###
**Theorem 4**

*The disease-free equilibrium*
\(E_{0}\)
*is globally asymptotically stable when*
\(R_0 <1\).

###
*Proof 4*

Let \(\big (x(t),y(t),z(t),v(t),w(t)\big )\) be any positive solution of the system (5) with initial conditions (6). Consider the Lyapunove functional

where

with \(r_{1}=\frac{1}{\int _{0}^{\infty } e^{-m_{1}\tau }f_{1}(\tau )d\tau }\) and \(r_{2}=\frac{1}{\widetilde{k}\int _{0}^{\infty } e^{-m_{1}\tau }f_{1}(\tau )d\tau \int _{0}^{\infty } e^{-m_{2}\tau }f_{2}(\tau )d\tau }. \)

By taking derivative of \(L_{1}(t)\) along the positive solution of the system (5), we have

On substituting \(\lambda =dx_{0}\), and simplifying, we get

By taking the derivative of \(L_{2}(t)\), we get

Taking derivative of Eq. (16) and using Eqs. (17) and (18) and simplifying, we get

If \(R_{0}\le 1\), it follows from Eq. (19) that \(\frac{d}{dt}V_{E_{0}}(t)\le 0 \). Moreover, the equality also holds if \(x_{0}=\frac{\lambda }{d}\), \(y(t)=0\), \(z(t)=0\), \(v(t)=0\), \(w(t)=0\). Hence by LaSalle’s invariance principle (see LaSalle (1976)), we conclude that \(E_{0}\) is globally asymptotically stable when \(R_{0}<1\).

###
**Theorem 5**

*If*
\(1<R_{0}<R_{1}\), *then the single infection free equilibrium*
\(E_{1}\)
*is globally asymptotically stable, implying that the recombinant virus cannot survive but the pathogen virus can exist.*

###
*Proof 5*

Let (*x*(*t*), *y*(*t*), *z*(*t*), *v*(*t*), *w*(*t*)) be any positive solution of the system (5) with initial conditions (6). Let us consider the Lyapunove functional

where \(r_{1}\) and \(r_{2}\) are discussed in the previous theorem. Now taking derivative of \(V_{1}(t)\), we get

Using \(\lambda =d x_{1}-\widetilde{\beta } x_{1}v_{1}\) in the above equation, we have

Let us define

Taking derivative of Eq. (22) and using Eq. (21), we get

If \(R_{0} \le R_{1}\), it follows from Eq. (23) that \(\frac{dV_{E_{1}}(t)}{dt}\le 0\) for \(x_{1},y_{1},v_{1}>0\). Also equality holds when \(x=x_{1}\) and \(y=y_{1}\), \( v=v_{1}\), \( z=0\) and \(w=0\). Thus the solutions limit to the largest invariant subset of \({\frac{dV_{E_{1}}}{dt}=0}\). Then, by LaSalle’s invariance principle (LaSalle 1976), we conclude that \(E_{1}\) is globally asymptotically stable. This complete the proof.

## Numerical simulation

In this section, we present numerical simulation. We use Runge–Kutta order four method to find numerical results. For our numerical simulation we used parameters values \(\beta = 0.004\) (estimated), \( \lambda = 2\) (Philips 1996), \( d = 1/10\) (Philips 1996), \( \alpha = 0.004\), (estimated), \( a = 1/2\) (estimated), \(p = 2\) (Philips 1996), \(k = 50\) (Hass 1999), \(b = 2\) (Schnell et al. 1997), \(c = 2000\) (Schnell et al. 1997), \(m_1 = 1/2= m_2 = 1/2\) (assumed), \(q = 2\) (assumed) with initial conditions \(x(0)=13, y(0)=6, z(0)=3, v(0)=149, w(0)=1.\) Our numerical results show that, by using continuous delays in latent and virus production periods, then the number of healthy cells increases and the virus load reduces as shown by Figure 1a and d, respectively. Figure 1b shows that the number of infected cells decreases due to reducing the viral load by postponing the production period of infected cells. Figure 1d shows that the number of double infected cells increases which release the recombinant virus to fight with pathogens virus. Figure 1e the shows that recombinant virus are decreasing with the passage of time.

## Conclusion and discussion

In this work, we presented the asymptotic analysis of an HIV-1 epidemic model by incorporating distributed intracellular delays. Our one delay term used for latent period and the second one used for virus production period. From the corresponding characteristic equations, it was shown that if the basic reproduction ratio is less than unity, the infection-free equilibrium is locally asymptotically stable. We also proved that the chronic-infection equilibrium exists and is locally asymptotically stable if the basic reproduction ratio is greater than one. Similarly, the global stability of the infection-free equilibrium and the chronic-infection equilibrium of the proposed model have been completely established under certain conditions. It is clear from these results that intracellular delays describing the latent period and viral production period have great effect on the stability of feasible equilibria and therefore, do not induce periodic oscillations. Numerical results of our proposed model represented that continuous delays in latent period and virus production period can help in reducing the load of pathogen virus due which the number of infected cells reduced and CD4+ cells are increased.

## References

Culshaw RV, Ruan S, Webb G (2003) A mathematical model of cell-to-cell HIV-1 that include a time delay. J Math Biol 46:425–444

Gantmacher F (1959) The theory of matrices, vol 2. Chelsea, New York

Hass AT (1999) Population biology of HIV infection: viral and CD4+ T cell demography and dynamics in lymphatic tissues. Ann Rev Immunol 17:625

Herz AVM, Bonhoeffer S, Anderson RM, May RM, Nowak MA (1996) Viral dynamics in vivo: limitations on estimates of intracellular delay and virus decay. Proc Natl Acad Sci USA 93:7247–7251

Jiang X, Yu P, Yuan Z, Zou X (2009) Dynamics of an HIV-1 therapy model of fighting a virus with another virus. J Biol Dyn 3:387–409

Kuang Y (1993) Delay differential equations with applications in population dynamics. Academic Press, New York

LaSalle J (1976) The stability of dynamical systems. SIAM, Philadelphia

Mittler JE, Markowitz B, Ho DD, Perelson AS (1999) Improved estimates for HIV-1 clearance rate and intracellular delay. AIDS 13:1415–1417

Nelson PW, Perelson AS (2002) Mathematical analysis of delay differential equation models of HIV-1 infection. Math Biosci 179:73–94

Nelson PW, Murray JD, Perelson AS (2000) A model of HIV-1 pathogenesis that includes an intracellular delay. Math Biosci 163:201–215

Nolan G (1997) Harnessing viral devices as pharmaceuticals: fighting HIV-1s fire with fire. Cell 90:821–824

Philips BN (1996) Reduction of HIV concentration during acute infection: independent from a specific immune response. Science 271(5248):497–499

Revilla T, Garcya-Ramos G (2003) Fighting a virus with a virus: a dynamic model for HIV-1 therapy. Math Biosci 185:191–203

Schnell MH, Johnson E, Buonocore L, Rosc JK (1997) Construction of a novel virus that targets HIV first infected and control HIV first infection. Cell 90(5):849–57

Shang Y (2013) Modeling epidemic spread with awareness and heterogeneous transmission rates in networks. J Biol Phys 39(3):489–500

Shang Y (2015) Global stability of disease-free equilibria in a two-group SI model with feedback control. Nonlinear Anal Model Control 20(4):501–508

Tian Y, Bai Y, Yu P (2014) Impact of delay on HIV-1 dynamics of fighting a virus with an other virus. Math Biosci Eng Oct;11(5):1181–1198

Wagner E, Hewlett M (1999) Basic virology. Blackwell, New York

Xu R (2011) Global dynamics of an HIV-1 infection model with distributed intracellular delays. Comput Math Appl 61(9):2799–2805

Yu P, Zou X (2012) Bifurcation analysis on an HIV-1 model with constant injection of recombinant. Int J Bifurcation Chaos 22(3):1250062

Zaman G (2011) Qualitative behavior of giving up smoking model. Bull Malays Math Sci Soc 34(2):403–4015

Zhu H, Zou X (2008) Impact of delays in cell infection and virus production on HIV-1 dynamics. Math Med Biol 25:99–112

Zhu H, Zou X (2009) Dynamics of a HIV-1 infection model with cell-mediated immune response and intracellular delay. Discrete Contin Dyn Syst B 12:511–524

## Authors’ contributions

All authors contributed to the formulation of the model, discussion of results and wrote the paper. Both authors read and approved the final manuscript.

### Acknowledgements

We would like to thank the anonymous referees for their careful reading of the original manuscript and their many valuable comments and suggestions that greatly improve a presentation of this work.

### Competing interests

The authors declare that they have no competing interests.

## Author information

### Authors and Affiliations

### Corresponding author

## 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

Ali, N., Zaman, G. Asymptotic behavior of HIV-1 epidemic model with infinite distributed intracellular delays.
*SpringerPlus* **5**, 324 (2016). https://doi.org/10.1186/s40064-016-1951-9

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s40064-016-1951-9