- About this Journal
- Abstracting and Indexing
- Aims and Scope
- Article Processing Charges
- Articles in Press
- Author Guidelines
- Bibliographic Information
- Citations to this Journal
- Contact Information
- Editorial Board
- Editorial Workflow
- Free eTOC Alerts
- Publication Ethics
- Reviewers Acknowledgment
- Submit a Manuscript
- Subscription Information
- Table of Contents
Discrete Dynamics in Nature and Society
Volume 2012 (2012), Article ID 253703, 13 pages
Global Dynamics of an HIV Infection Model with Two Classes of Target Cells and Distributed Delays
1Department of Mathematics, Faculty of Science, King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia
2Department of Mathematics, Faculty of Science, Al-Azhar University, Assiut 71511, Egypt
Received 14 March 2012; Revised 10 July 2012; Accepted 24 July 2012
Academic Editor: Cengiz Çinar
Copyright © 2012 A. M. Elaiw. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
We investigate the global dynamics of an HIV infection model with two classes of target cells and multiple distributed intracellular delays. The model is a 5-dimensional nonlinear delay ODEs that describes the interaction of the HIV with two classes of target cells, CD4+ T cells and macrophages. The incidence rate of infection is given by saturation functional response. The model has two types of distributed time delays describing time needed for infection of target cell and virus replication. This model can be seen as a generalization of several models given in the literature describing the interaction of the HIV with one class of target cells, CD4+ T cells. Lyapunov functionals are constructed to establish the global asymptotic stability of the uninfected and infected steady states of the model. We have proven that if the basic reproduction number is less than unity then the uninfected steady state is globally asymptotically stable, and if then the infected steady state exists and it is globally asymptotically stable.
In the last decade, several mathematical models have been developed to describe the interaction of the human immunodeficiency virus (HIV) with target cells . HIV is responsible for acquired immunodeficiency syndrome (AIDS). Mathematical modeling and model analysis of the HIV dynamics are important for exploring possible mechanisms and dynamical behaviors of the viral infection process, estimating key parameter values, and guiding development efficient antiviral drug therapies. Some of the existing HIV infection models are given by nonlinear ODEs by assuming that the infection could occur and the viruses are produced from infected target cells instantaneously, once the uninfected target cells are contacted by the virus particles (see e.g., [2–4]). Other accurate models incorporate the delay between the time, the viral entry into the target cell, and the time the production of new virus particles, modeled with discrete time delay or distributed time delay using functional differential equations (see e.g., [5–9]). The basic virus dynamics model with distributed intracellular time delay has been proposed in  and given by where , and represent the populations of uninfected CD4+ T cells, infected cells, and free virus particles at time , respectively. Here, represents the rate of which new CD4+ T cells are generated from sources within the body, is the death rate constant, and is the constant rate at which a target cell becomes infected via contacting with virus. Equation (1.2) describes the population dynamics of the infected cells and shows that they die with rate constant . The virus particles are produced by the infected cells with rate constant and are removed from the system with rate constant . The model includes two kinds of antiretroviral drugs, reverse transcriptase inhibitors (RTI) to prevent the virus from infecting cells and protease inhibitors (PI) drugs to prevent already infected host cells from producing infectious virus particles. The parameters and are the efficacies of RTI and PI, respectively. To account for the time lag between viral contacting a target cell and the production of new virus particles, two distributed intracellular time delays are introduced. It is assumed that the target cells are contacted by the virus particles at time become infected cells at time , where is a random variable with a probability distribution . The factor accounts for the loss of target cells during time period . On the other hand, it is assumed that a cell infected at time starts to yield new infectious virus at time , where is distributed according to a probability distribution .
A tremendous effort has been made in developing various mathematical models of HIV infection with discrete or distributed delays and studying their basic and global properties, such as positive invariance properties, boundedness of the model solutions, and stability analysis [5–20]. Most of the existing delayed HIV infection models are based on the assumption that the virus attacks one class of target cells, CD4+ T cells. In 1997, it was observed by Perelson et al.  that the HIV attacks two classes of target cells, CD4+ T cells and macrophages. In [3, 4], an HIV model with two target cells has been proposed. Also, in very recent works [22–25], we have proposed several HIV models with two target cells and investigated the global asymptotic stability of their steady states. In , we have studied a class of virus infection models assuming that the virus attacks multiple classes of target cells. In very recent works, [27, 28], discrete-time delays have been incorporated into the HIV models.
The purpose of this paper is to propose a delayed HIV infection model with two target cells and establish the global stability of its steady states. We assume that the infection rate is given by saturation functional response. We incorporate two types of distributed delays into this model to account the time delay between the time the target cells are contacted by the virus particle and the time the emission of infectious (matures) virus particles. The global stability of this model is established using Lyapunov functionals, which are similar in nature to those used in . We prove that the global dynamics of these models are determined by the basic reproduction number . If , then the uninfected steady state is globally asymptotically stable (GAS) and if , then the infected steady state exists and it is GAS.
2. HIV Infection Model with Two Classes of Target Cells and Distributed Delays
In this section, we propose a mathematical model of HIV infection which describes two cocirculation populations of target cells, potentially representing CD4+ T cells and macrophages taking into account the saturation infection rate and multiple distributed intracellular delays. This model can be considered as an extension of HIV infection models given in [3, 4, 22].
Consider the following: The state variables describes the plasma concentrations of: , the uninfected CD4+ T cells; , the infected CD4+ T cells; , the uninfected macrophages; , the infected macrophages; , the free virus particles. Here, , are positive constants, , and , . The factors , account for the cells loss during the delay period. All the other parameters of the model have the same meanings as given in (1.1)–(1.3).
The probability distribution functions and are assumed to satisfy and , and where is a positive number. Then The initial conditions for system (2.1)–(2.5) take the form where , and is the Banach space of fading memory type defined as  where is the Banach space of continuous functions mapping the interval into . By the fundamental theory of functional differential equations , system (2.1)–(2.5) has a unique solution satisfying the initial conditions (2.8).
2.1. Nonnegativity and Boundedness of Solutions
Proof. From (2.1) and (2.3) we have
which indicates that , for all . Now from (2.2), (2.4), and (2.5) we have
confirming that , , and for all .
Next we show the boundedness of the solutions. From (2.1) and (2.3) we have , . This implies , .
Let , , then where . Hence , where , . On the other hand, then . Therefore, , , , , and are ultimately bounded.
2.2. Steady States
It is clear that system (2.1)–(2.5) has an uninfected steady state , where , . In addition to , the system can also have a positive infected steady state . The coordinates of the infected steady state, if they exist, satisfy the following equalities: where Following van den Driessche and Watmough , we define the basic reproduction number for system (2.1)–(2.5) as where and are the basic reproduction numbers of the HIV dynamics with CD4+ T cells (in the absence of macrophages) and the HIV dynamics with macrophages (in the absence of CD4+ T cells), respectively.
Lemma 2.2. If , then there exists a positive steady state .
Proof. From (2.14) and (2.15) we have where . From (2.20) into (2.16) we get Equation (2.21) can be written as If , then the positive solution of (2.21) is given by: It follows that, if then , , , and are all positive.
2.3. Global Stability
In this section, we prove the global stability of the uninfected and infected steady states of system (2.1)–(2.3) employing the method of Lyapunov functional which is used in  for SIR epidemic model with distributed delay. Next we shall use the following notation: , for any . We also define a function as It is clear that for any and has the global minimum .
Theorem 2.3. If , then is GAS.
Proof. Define a Lyapunov functional as follows:
where , .
The time derivative of along the trajectories of (2.1)–(2.5) satisfies Collecting terms of (2.26) we get If then for all . By Theorem in , the solutions of system (2.1)–(2.5) limit to , the largest invariant subset of . Clearly, it follows from (2.27) that if and only if , , and . Noting that is invariant, for each element of we have , then . From (2.5) we drive that This yields . Hence if and only if , , , and . From La Salle's Invariance Principle, is GAS.
Theorem 2.4. If , then is GAS.
Proof. We construct the following Lyapunov functional: Differentiating with respect to time yields Collecting terms we obtain Using the infected steady state conditions (2.14)–(2.16), and the following equality: we obtain Then collecting terms of (2.33) and using the following equalities: we obtain Equation (2.35) can be rewritten as Using the following equality: we can rewrite as It is easy to see that if , , then . By Theorem 5.3.1 in , the solutions of system (2.1)–(2.5) limit to , the largest invariant subset of . It can be seen that if and only if , , and , that is, If then from (2.39) we have , and hence equal to zero at . LaSalle's Invariance Principle implies global stability of .
In this paper, we have proposed an HIV infection model describing the interaction of the HIV with two classes of target cells, CD4+ T cells and macrophages taking into account the saturation infection rate. Two types of distributed time delays describing time needed for infection of target cell and virus replication have been incorporated into the model. The global stability of the uninfected and infected steady states of the model has been established by using suitable Lyapunov functionals and LaSalle invariant principle. We have proven that, if the basic reproduction number is less than unity, then the uninfected steady state is GAS and if , then the infected steady state exists and it is GAS.
This paper was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah. The author, therefore, acknowledges with thanks DSR technical and financial support.
- M. A. Nowak and R. M. May, Virus Dynamics: Mathematical Principles of Immunology and Virology, Oxford University Press, Oxford, UK, 2000.
- M. A. Nowak and C. R. M. Bangham, “Population dynamics of immune responses to persistent viruses,” Science, vol. 272, no. 5258, pp. 74–79, 1996.
- A. S. Perelson and P. W. Nelson, “Mathematical analysis of HIV-1 dynamics in vivo,” SIAM Review, vol. 41, no. 1, pp. 3–44, 1999.
- D. S. Callaway and A. S. Perelson, “HIV-1 infection and low steady state viral loads,” Bulletin of Mathematical Biology, vol. 64, no. 1, pp. 29–64, 2002.
- R. V. Culshaw and S. Ruan, “A delay-differential equation model of HIV infection of CD4+ T-cells,” Mathematical Biosciences, vol. 165, no. 1, pp. 27–39, 2000.
- N. M. Dixit and A. S. Perelson, “Complex patterns of viral load decay under antiretroviral therapy: influence of pharmacokinetics and intracellular delay,” Journal of Theoretical Biology, vol. 226, no. 1, pp. 95–109, 2004.
- J. E. Mittler, B. Sulzer, A. U. Neumann, and A. S. Perelson, “Influence of delayed viral production on viral dynamics in HIV-1 infected patients,” Mathematical Biosciences, vol. 152, no. 2, pp. 143–163, 1998.
- P. W. Nelson, J. D. Murray, and A. S. Perelson, “A model of HIV-1 pathogenesis that includes an intracellular delay,” Mathematical Biosciences, vol. 163, no. 2, pp. 201–215, 2000.
- P. W. Nelson and A. S. Perelson, “Mathematical analysis of delay differential equation models of HIV-1 infection,” Mathematical Biosciences, vol. 179, no. 1, pp. 73–94, 2002.
- G. Huang, Y. Takeuchi, and W. Ma, “Lyapunov functionals for delay differential equations model of viral infections,” SIAM Journal on Applied Mathematics, vol. 70, no. 7, pp. 2693–2708, 2010.
- Z. Hu, X. Liu, H. Wang, and W. Ma, “Analysis of the dynamics of a delayed HIV pathogenesis model,” Journal of Computational and Applied Mathematics, vol. 234, no. 2, pp. 461–476, 2010.
- D. Li and W. Ma, “Asymptotic properties of a HIV-1 infection model with time delay,” Journal of Mathematical Analysis and Applications, vol. 335, no. 1, pp. 683–691, 2007.
- M. Y. Li and H. Shu, “Global dynamics of an in-host viral model with intracellular delay,” Bulletin of Mathematical Biology, vol. 72, no. 6, pp. 1492–1505, 2010.
- M. Y. Li and H. Shu, “Impact of intracellular delays and target-cell dynamics on in vivo viral infections,” SIAM Journal on Applied Mathematics, vol. 70, no. 7, pp. 2434–2448, 2010.
- Y. Nakata, “Global dynamics of a cell mediated immunity in viral infection models with distributed delays,” Journal of Mathematical Analysis and Applications, vol. 375, no. 1, pp. 14–27, 2011.
- Y. Wang, Y. Zhou, J. Heffernan, and J. Wu, “Oscillatory viral dynamics in a delayed HIV pathogenesis model,” Mathematical Biosciences, vol. 219, no. 2, pp. 104–112, 2009.
- R. Xu, “Global stability of an HIV-1 infection model with saturation infection and intracellular delay,” Journal of Mathematical Analysis and Applications, vol. 375, no. 1, pp. 75–81, 2011.
- R. Xu, “Global dynamics of an HIV-1 infection model with distributed intracellular delays,” Computers & Mathematics with Applications, vol. 61, no. 9, pp. 2799–2805, 2011.
- H. Zhu and X. Zou, “Impact of delays in cell infection and virus production on HIV-1 dynamics,” Mathematical Medicine and Biology, vol. 25, no. 2, pp. 99–112, 2008.
- S. Liu and L. Wang, “Global stability of an HIV-1 model with distributed intracellular delays and a combination therapy,” Mathematical Biosciences and Engineering, vol. 7, no. 3, pp. 675–685, 2010.
- A. S. Perelson, P. Essunger, Y. Cao et al., “Decay characteristics of HIV-1- infected compartments during combination therapy,” Nature, vol. 387, no. 6629, pp. 188–191, 1997.
- A. M. Elaiw, “Global properties of a class of HIV models,” Nonlinear Analysis. Real World Applications, vol. 11, no. 4, pp. 2253–2263, 2010.
- A. M. Elaiw and X. Xia, “HIV dynamics: analysis and robust multirate MPC-based treatment schedules,” Journal of Mathematical Analysis and Applications, vol. 359, no. 1, pp. 285–301, 2009.
- A. M. Elaiw and S. A. Azoz, “Global properties of a class of HIV infection models with Beddington-DeAngelis functional response,” Mathematical Methods in the Applied Sciences. In press.
- A. M. Elaiw and A. M. Shehata, “Stability and feedback stabilization of HIV infection model with two classes of target cells,” Discrete Dynamics in Nature and Society, vol. 2012, Article ID 963864, 20 pages, 2012.
- A. M. Elaiw, “Global properties of a class of virus infection models with multitarget cells,” Nonlinear Dynamics, vol. 69, no. 1-2, pp. 423–435, 2012.
- A. M. Elaiw and M. A. Alghamdi, “Global properties of virus dynamics models with multitarget cells and discrete-time delays,” Discrete Dynamics in Nature and Society, vol. 2011, Article ID 201274, 19 pages, 2011.
- A. M. Elaiw, I. A. Hassanien, and S. A. Azoz, “Global stability of HIV infection models with intracellulardelays,” Journal of the Korean Mathematical Society, vol. 49, no. 4, pp. 779–794, 2012.
- C. C. McCluskey, “Complete global stability for an SIR epidemic model with delay—distributed or discrete,” Nonlinear Analysis. Real World Applications, vol. 11, no. 1, pp. 55–59, 2010.
- Y. Kuang, Delay Differential Equations with Applications in Population Dynamics, vol. 191 of Mathematics in Science and Engineering, Academic Press, San Diego, Calif, USA, 1993.
- J. K. Hale and S. M. Verduyn Lunel, Introduction to Functional-Differential Equations, vol. 99 of Applied Mathematical Sciences, Springer, New York, NY, USA, 1993.
- P. van den Driessche and J. Watmough, “Reproduction numbers and sub-threshold endemic equilibria for compartmental models of disease transmission,” Mathematical Biosciences, vol. 180, pp. 29–48, 2002.