Abstract
A mathematical model for HIV-1 infection with multiple delays is proposed. These delays account for (i) the delay in contact process between the uninfected cells virus, (ii) a latent period between the time target cells which are contacted by the virus particles and the time the virions enter the cells, and (iii) a virus production period for new virions to be produced within and released from the infected cells. For this model, the basic reproductive number is identified and its threshold property is discussed. The uninfected and infected steady states are shown to be locally as well as globally asymptotically stable. The value of the basic reproductive number shows that increasing any one of these delays will decrease this number. This may suggest a new direction for new drugs that can prolong the infection process and spreading of virus. The proved results have potential applications in HIV-1 therapy.
Similar content being viewed by others
1 Introduction
Mathematical modeling in epidemiology provides understanding of the mechanisms that influence the spread of a disease and suggests control strategies. Human immunodeficiency virus (HIV-1) is a lentivirus that causes acquired immunodeficiency syndrome (AIDS). The HIV infection is characterized by three different phases, namely, the primary infection, a clinically asymptomatic stage (chronic infection), and acquired immunodeficiency syndrome (AIDS). In recent years the population dynamics of infectious diseases have been extensively studied [1–19]. Clinical research combined with mathematical modeling has enhanced progress in the understanding of the HIV-1 infection [4]. This is because mathematical models can offer a way to study the dynamics of viral load in vivo and can be very useful in understanding the interaction between virus and host cell.
In the last decade, the HIV-infection models with time delays have been studied by many authors, and time delays of one type or another have been incorporated into biological models by many authors (e.g., [1–12, 14–19] and the references cited therein). The results presented in [17–19] have shown that larger intercellular delay may help eradicate the virus, while the activation of CTLs can only help reduce the virus load and increase the healthy \(\mathrm{CD}{+}4\) cells in the long term sense. Pawelek et al. [7] have studied that models of HIV-1 infection incorporating intracellular delays are more accurate representations of the biology, and that they can change the estimated values of the kinetic parameters when compared to models without delays. Therefore, we incorporate time delay terms in the model in the interaction of different cells.
This research extends the work in [16] by incorporating delays in the contact process between the uninfected cells and virus. By introducing these multiple delay terms, the proposed model becomes
where \(x(t)\), \(y(t)\), and \(v(t)\) are the densities of uninfected target cells, infected target cells and free virus, respectively, at time t. β is the infection rate of uninfected cells by the virus. The healthy cell is assumed to be produced at a constant rate N. It is also assumed that, once cells are infected, they may die at rate a either due to the action of the virus or the immune system, in the meantime each producing HIV-1 virus particles at a rate k during their life with an average length \(1/a\). The density z represents CTL response cells. Here, \(\tau_{1}\) can be regarded as the average time for a viral particle to go through the eclipse phase (or average latent period) and \(\tau_{2}\) may be treated as the average time between the entry of a virion into a cell and the creation and release of new virions from this cell. Realistically, \(\tau_{1}\) may differ from \(\tau_{2}\). \(e^{-m\tau_{1}}\) is the probability of surviving of cells in the time period from \(\tau_{1}\) to t, where m is assumed to be the constant death rate of infected \(\mathrm{CD}4{+}\) T cells. The novelty of the proposed model is that it considers a delay in the process of infection of healthy T cells, and in virus production. In the previous research the rate of contact of targeted cells and virus was ignored. This work considers the whole process of infection of healthy cells. In eliminating or controlling the disease after human body was infected by the virus, the immune response plays an important role. Antigenic stimulation in generating CTLs may need a period of time \(\tau_{2}\), that is, the CTL response at time t may depend on the population of antigen at a period time \((t-\tau_{2})\) [20].
We study the dynamical behavior of the proposed model and show how delays influence the stability. We discuss the well-posedness of the solution of equilibria and their stability. In order to properly define biologically meaningful equilibria, we find the basic reproduction number. It will be shown that an infection-free equilibrium, \(E_{0}\), is locally as well as globally asymptotically stable. We also show that the single-infection equilibrium, \(E_{1}\), is locally as well as globally asymptotically stable, and the double-infection equilibrium, \(E_{2}\), is also globally asymptotically stable.
The rest of this paper is organized as follows. The next section is devoted to the well-posedness and positivity of the solution. In Section 3, local and global stabilities of the infection-free equilibrium, \(E_{0}\), are discussed, and in Section 4 we discuss the infection-free equilibrium, \(E_{1}\), and the double-infection equilibrium, \(E_{2}\). A numerical simulation and conclusion are discussed in Section 5.
2 Positivity and well-posedness of the solution and basic reproductive number
In this section, first we discuss the positivity and well-posedness of the solution.
Theorem 2.1
All solutions of the system (1) remain non-negative, provided the given initial conditions are non-negative and bounded.
Proof
Let \(X = C([-\tau,0];R^{4})\) be the Banach space of continuous mapping from \([-\tau,0]\) to \(R^{4}\) equipped with the sup-norm. It is biologically reasonable to consider the following initial conditions for the system (1):
where \((x(\phi),y(\phi),v(\phi),z(\phi) )\in X\) and \(\tau=\max\{\tau_{1},\tau_{2} \}\). By the fundamental theory of functional differential equations (see, e.g., [20, 21]), we know that there exists a unique solution \(x(t)\), \(y(t)\), \(z(t)\), and \(v(t)\) for the given initial conditions in (2). By using the constant of the variation formulas, we get the following solution of the system (1):
which clearly indicates that all the solutions are positive. In order to show the boundedness of the solution \(x(t)\), \(y(t)\), \(z(t)\), and \(v(t)\), we define
Calculating the derivative of equation (3) and using system (1) yield
Here \(\delta=\min({d,\frac{a}{2},u,b})\). This implies that \(B(t)\) is bounded for large t. So \(x(t)\), \(y(t)\), \(v(t)\), and \(z(t)\) are ultimately bounded.
Now we discuss the equilibria of the system (1) which has three possible biological meaningful equilibria. We have the disease-free equilibrium, \(E_{0}(x_{0},y_{0},v_{0}, z_{0})\), the single-infection equilibrium, \(E_{1}(x_{1},y_{1},v_{1},z_{1})\), and the double-infection equilibrium, \(E_{2}(x_{2},y_{2}, v_{2},z_{2})\), which are given by
From the biological meaning of the basic reproduction number (see [16]), we define
where \(\frac{N}{d}\) is the average number of healthy cells available for infection, \(\frac{\beta e^{-m \tau_{1}}}{a}\) is the average number of host cells that each HIV-1 virus infects and \(\frac{k}{ u}\) is the average number of virons that an infected cell produces. If \(R_{0} < 1\), then \(E_{0}\) is the only biologically meaningful equilibrium. If \(R_{0} > 1\), there are other biologically meaningful equilibria, \(E_{1}\) and \(E_{2}\). □
3 Stability of the disease-free equilibrium \(E_{0}\)
In this section, we show the dynamical behavior of the system (1) at \(E_{0}\).
Theorem 3.1
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
The characteristic equation of the Jacobian matrix corresponding to the linearized system (1) at \(E_{0}\) is given by
where \(J(E_{0})\) denotes the Jacobian matrix at \(E_{0}\).
After some simplification, equation (4) takes the form
The two roots of the characteristic equation (5) are \(\gamma _{1}=-b\) and \(\gamma_{2}=-d\) and the remaining roots can be obtained from the following equation:
If γ has a non-negative real part then the modulus of the left-hand side of equation (6) satisfies
The modulus of the right-hand side of equation (6) satisfies
which is contradiction. Hence, the real part of γ has no non-negative part and the infection-free state \(E_{0}\) is locally asymptotically stable when \(R_{0} <1\). For \(R_{0} >1\), we have
Hence \(h(0)= au(1-R_{0})<0\) and \(\lim_{\gamma\rightarrow\infty} h(\gamma)=+\infty\). By the continuity of \(h(\eta)\), there exists at least one positive root of \(h(\gamma)=0\). Thus, the infection-free equilibrium, \(E_{0}\), is unstable if \(R_{0} >1\) (see [16]). □
Theorem 3.2
If \(R_{0} <1\), then the disease-free equilibrium \(E_{0}\) is globally asymptotically stable.
Proof
Let us consider the following Lyapunov functional:
By taking the derivative of equation (7) and by using the system (1), we have
After some simplification equation (8) yields
If \(\tau_{1}\) is very large, then the rate of infection is very small and on the other hand, if \(\tau_{1}\) is very small, then the infection will spread more rapidly so we take \(x(t)=x(t+\tau_{1})\). Therefore, the above equation (9) becomes
Thus, if \(R_{0}<1\), then equation (10) implies that \(\dot{L}_{0}(t)<0\) and the equality holds only when \(x_{0}=\frac{N}{d}\), \(y(t)=0\), \(z(t)=0\), \(v(t)=0\), \(w(t)=0\). Therefore, by LaSalle’s invariance principle (see [22]), we conclude that \(E_{0}\) is globally asymptotically stable when \(R_{0}<1\). □
4 Stability of single- and double-infection equilibria
In this section, we discuss the single-infection-free equilibrium, \(E_{1}\).
Theorem 4.1
\(E_{1}\) is locally asymptotically stable if \(1< R_{0}<1+\frac{b\beta k e^{-m\tau_{1}}}{cdu}\), provided that \(\tau_{1}, \tau_{2}\geq0\), otherwise \(E_{1}\) is unstable.
Proof
The characteristic equation of the Jacobian matrix corresponding to the linearized system (1) at \(E_{0}\) is given by
After some fundamental calculation, we get the above characteristic equation in the following form:
where
First, we discuss the following factor of equation (11):
Now, we present possible cases of delay term \(\tau_{1}\). When \(\tau_{1}=0\), then equation (12) becomes
where
Thus, by using the Routh-Hurtwitz criterion in [23] one has no positive roots when \(\tau_{1}=0\).
Next, we consider the root distribution of equation (12) when \(\tau_{1}\neq0\). If iκ (\(\kappa>0\)) is a solution of equation (12), then, separating real and imaginary parts, we get the following equations:
By squaring and adding the above equations, we get
where
Let us suppose that \(\sigma=\kappa^{2}>0\), then equation (14) becomes
where
Hence, if \(R_{0} > 1\), then equation (15) has no positive roots. It is to be noted that the equilibrium \(E_{1}\) is locally asymptotically stable by the general theory on characteristic equations of delay differential equations [23].
To find the other root, we consider the second factor of equation (11) to be given by
If \(\tau_{2}=0\), then for \(1< R_{0}<1+\frac{b\beta k e^{-m\tau _{1}}}{cdu}\), we have
This shows that the root of equation (16) is negative for \(\tau_{2}=0\). To discuss the roots in the case \(\tau_{2}>0\), we assume \(\gamma=\kappa i\) (\(\kappa>0\)) to be a pure imaginary root of equation (16), to get
which implies that
However, for \(1< R_{0}<1+\frac{b\beta k e^{-m\tau_{1}}}{cdu}\) this implies that \(\kappa^{2}<0\), which is a contradiction.
Thus, we conclude that all the roots of equation (16) have a negative real part when \(\tau_{2}\geq0\). Therefore, the equilibrium \(E_{1}\) is locally asymptotically stable, when \(1< R_{0}<1+\frac{b\beta k e^{-m\tau_{1}}}{cdu}\) and \(\tau_{1},\tau_{2}\geq0\). □
Theorem 4.2
The single-infection-free equilibrium, \(E_{1}\), is globally asymptotically stable, if \(1< R_{0}<1+\frac{b\beta k e^{-m\tau_{1}}}{cdu}\), while for \(R_{0}>1+\frac{b\beta k e^{-m\tau_{1}}}{cdu}\), \(E_{1}\) is unstable.
Proof
Denote \(f(\rho)=\rho-1-\ln\rho\), \(\rho\in R^{+}\). Let us construct the Lyapunov functional
By taking the derivative of the equation (17), we obtain
Using \(E_{1}\) in the system (1) yields the following identities:
Using the above identities in equation (18), we get
When \(\tau_{1}\) is very large, then \(x(t)=x(t+\tau_{1})\). Thus, the above equation (19) can be written as
To show that \(\dot{L}_{1}(t)<0 \), we need to prove that the following inequalities hold:
Thus, the above results are satisfied only if \(R_{0}<1+\frac{b\beta k e^{-m\tau_{1}}}{cdu}\), then equation (21) implies that \(\frac{dL_{1}}{dt}\leq0\). Moreover, the equality holds when \(x=x_{1}\) and \(y=y_{1}\), \(v=v_{1}\), and \(z=z_{1}\). Thus, by LaSalle’s invariance principle [22], we conclude that \(E_{1}\) is globally asymptotically stable. □
Theorem 4.3
If \(\tau_{1}\neq0\) and \(\tau_{2}\neq0\) and \(R_{0}> 1+\frac{b\beta k e^{-m\tau_{1}}}{cdu}\), then the double-infection equilibrium, \(E_{2}\), is globally asymptotically stable.
Proof
Let us construct the Lyapunov functional given by
Using \(E_{2}\) in the system (1), we get the following identities:
By taking the derivative of equation (22) and using the above identities, we get
When \(\tau_{1}\) is very large and \(x(t)=x(t+\tau_{1})\) then equation (23) becomes
The following inequalities hold:
Therefore, equation (24) implies that \(\frac{dL_{2}}{dt}\leq0\), when \(R_{0}<1+\frac{b\beta k e^{-m\tau_{1}}}{auc}\). Moreover, the equality holds when \(x=x_{2}\) and \(y=y_{2}\), \(v=v_{2}\), and \(z=z_{2}\). Thus by LaSalle’s invariance principle [22], we conclude that \(E_{2}\) is globally asymptotically stable. □
5 Numerical simulation and discussion
In the previous sections, we studied dynamical behaviors of the system (1) and obtained some important results. For a numerical simulation of the proposed model, we used the parameter values given in Table 1.
Figure 1 represents the dynamical behavior of the densities of uninfected target cells \(x(t)\), the infected target cells \(y(t)\), the free virus \(v(t)\), and the density z represents the CTL response cells at time t. Our results show that by incorporating the delay term in the model one increases the number of CDT4 positive cells and decreases the uninfected cells.
The plot shows the numerical solution of the system ( 1 ).
In this paper we discuss a HIV-infection model by introducing delay terms in different interaction terms. Dynamical analysis of the system (1) shows that delays play an important role in the stability of the equilibrium. The detailed analytic study has shown that the extended model with delays, like the model with no delay, also has three equilibrium solutions. The disease-free equilibrium \(E_{0}\), the single-infection equilibrium, \(E_{1}\), and the double-infection equilibrium, \(E_{2}\), and a series of bifurcations occur as the basic reproduction number is increased. One has shown that \(E_{0}\) is globally asymptotically stable for \(R_{0}\in(0,1)\) and becomes unstable at the transcritical bifurcation point \(R_{0}=1\) and bifurcates into \(E_{1}\), which is globally asymptotically stable for \(R_{0}>1\). However, it loses it stability at another bifurcation point \(R_{0}>1+\frac{b\beta k e^{-m\tau_{1}}}{cdu}\) and \(E_{2}\) occurs. Also, it has been shown that \(E_{2}\) is globally asymptotically stable.
From the reproductive number \(R_{0}(\tau_{1})= \frac{k\beta N e^{-m\tau_{1}}}{adp} \), which is a function of \(\tau_{1}\), we see that it is decreasing in delay \(\tau_{1}\) with \(R_{0} (\infty)= 0 \), which means that the intracellular delay \(\tau_{1}\) plays a positive role in preventing the virus. Because the larger \(\tau_{1}\) can bring \(R_{0} \) to a level lower than one. When the delay is chosen as the bifurcation parameter, it is shown that the delay plays an important role in determining the dynamical behavior of the system. This indeed suggests that delay is a very important fact which should not be missed in HIV-1 modeling. Finally, through numerical simulations, it can be concluded that delays in the infection process and virus production period play an important role in the disease control.
References
Culshaw, RV, Ruan, S, Webb, G: A mathematical model of cell-to-cell spread of HIV-1 that includes a time delay. J. Math. Biol. 46(5), 425-444 (2003)
Culshaw, RV, Ruan, S: A delay-differential equation model of HIV-1 infection of \(\mathrm{CD}4{+}\) T-cells. Math. Biosci. 165(1), 27-39 (2000)
Nelson, PW, Murray, JD, Perelson, AS: A model of HIV-1 pathogenesis that includes an intracellular delay. Math. Biosci. 163(2), 201-215 (2000)
Zhu, H, Zou, X: Impact of delays in cell infection and virus production on HIV-1 dynamics. Math. Med. Biol. 25(2), 99-112 (2008)
Canabarro, AA: Periodic solutions and chaos in a non-linear model for the delayed cellular immune response. Physica A 342(1-2), 234-241 (2004)
Wang, K, Wang, W, Pang, H, Liu, X: Complex dynamic behavior in a viral model with delayed immune response. Physica D 226(2), 197-208 (2007)
Pawelek, KA, Liu, S, Pahlevani, F, Rong, L: A model of HIV-1 infection with two time delays, mathematical analysis and comparison with patient data. Math. Biosci. 235(1), 98-109 (2012)
Lashari, AA, Hattaf, K, Zaman, G: A delay differential equation model of a vector borne disease with direct transmission. Int. J. Ecol. Econ. Stat. 27, 25-35 (2012)
Zhu, H, Zou, X: Dynamics of a HIV-1 infection model with cell-mediated immune response and intracellular delay. Discrete Contin. Dyn. Syst., Ser. B 12(2), 511-524 (2009)
Wang, X, Elaiw, A, Song, X: Global properties of a delayed HIV infection model with CTL immune response. Appl. Math. Comput. 218(18), 9405-9414 (2012)
Zhu, H, Luo, Y, Chen, M: Stability and Hopf bifurcation of a HIV infection model with CTL-response delay. Comput. Math. Appl. 62(8), 3091-3102 (2011)
Beretta, E, Kuang, Y: Geometric stability switch criteria in delay differential systems with delay dependent parameters. SIAM J. Math. Anal. 33(5), 1144-1165 (2002)
Zaman, G, Kang, YH, Jung, IH: Optimal control in the SIR epidemic model with time delay. Biosystems 98, 43-50 (2009)
Zhang, T, Liu, J, Teng, Z: Stability of Hopf bifurcation of a delayed SIRS epidemic model with stage structure. Nonlinear Anal., Real World Appl. 11(1), 293-306 (2010)
Song, X, Zhou, X, Zhao, X: Properties of stability and Hopf bifurcation for a HIV infection model with time delay. Appl. Math. Model. 34(6), 1511-1523 (2010)
Miao, H, Abdurahman, X, Muhammadhaji, A: Global stability of HIV-1 infection model with two time delays. Abstr. Appl. Anal. 2013, Article ID 163484 (2013)
Wang, J, Wang, K, Jiang, Z: Dynamical behaviors of an HTLV-I infection model with intracellular delay and immune activation delay. Adv. Differ. Equ. 2015, 243 (2015)
Wang, J, Zhang, R, Kuniya, T: Mathematical analysis for an age-structured HIV infection model with saturation infection rate. Electron. J. Differ. Equ. 2015, 33 (2015)
Wang, J, Liu, S: The stability analysis of a general viral infection model with distributed delays and multi-staged infected progression. Commun. Nonlinear Sci. Numer. Simul. 20(1), 263-272 (2015)
Janeway, CA, Travers, P, Walport, M, Schlomchik, MJ: Immunobiology, 6th edn. Garland, New York (2005)
Kuang, Y: Delay Differential Equations with Applications in Population Dynamics. Academic Press, San Diego (1993)
LaSalle, J: The Stability of Dynamical Systems. SIAM, Philadelphia (1976)
Gantmacher, F: The Theory of Matrices, vol. 2. Chelsea, New York (1959)
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 improved the presentation of this study. This work has been partially supported by King Saud University, Saudi Arabia.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed to the expression of the model, the discussion of results, and they wrote and approved the paper.
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. & Algahtani, O. Stability analysis of HIV-1 model with multiple delays. Adv Differ Equ 2016, 88 (2016). https://doi.org/10.1186/s13662-016-0808-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-016-0808-4