In this study, we investigate two mathematical models, formulated using delay differential equations, to capture HIV-1 transmission dynamics. Both models incorporate CD4$ ^+ $T cells and macrophages as target cells and saturated non-linear infection transmission terms. The first model introduces a discrete time delay, while the second employs a distributed delay to reflect more realistic biological insights. Our theoretical analysis explores key properties such as the basic reproduction number, non-negativity, boundedness, and the existence of equilibria. The global stability analysis of the disease-free and endemic equilibrium are analysed using the LaSalle invariance principle by proposing Lyapunov functions. We conducted sensitivity analysis to find the significant parameters related to the infection dynamics. Numerical simulations are performed to validate our theoretical results and visualize the behavior of the system under different parametric conditions. This study shows the critical role of time delays in shaping HIV-1 infection dynamics. Incorporation of such delays into mathematical models are essential for accurately capturing the progression of the disease and proposing effective intervention strategies for HIV-1.
Citation: Aeshah A. Raezah, Ghadeer Al Bogami, A. S. Shflot, Fahad Al Basir. Global stability of delayed HIV-1 models with saturated viral and cellular infection rates and two types of target cells[J]. Networks and Heterogeneous Media, 2026, 21(1): 276-323. doi: 10.3934/nhm.2026014
In this study, we investigate two mathematical models, formulated using delay differential equations, to capture HIV-1 transmission dynamics. Both models incorporate CD4$ ^+ $T cells and macrophages as target cells and saturated non-linear infection transmission terms. The first model introduces a discrete time delay, while the second employs a distributed delay to reflect more realistic biological insights. Our theoretical analysis explores key properties such as the basic reproduction number, non-negativity, boundedness, and the existence of equilibria. The global stability analysis of the disease-free and endemic equilibrium are analysed using the LaSalle invariance principle by proposing Lyapunov functions. We conducted sensitivity analysis to find the significant parameters related to the infection dynamics. Numerical simulations are performed to validate our theoretical results and visualize the behavior of the system under different parametric conditions. This study shows the critical role of time delays in shaping HIV-1 infection dynamics. Incorporation of such delays into mathematical models are essential for accurately capturing the progression of the disease and proposing effective intervention strategies for HIV-1.
| [1] | S. R. Prabhu, N. van Wagoner, Human immunodeficiency virus infection and acquired immunodeficiency syndrome (HIV/AIDS): An overview, Sexually Transmissible Oral Diseases, (eds S. R. Prabhu, N. Wagoner, J. Hill and S. Sawleshwarkar), 2023. https://doi.org/10.1002/9781119826781 |
| [2] | A. S. Perelson, Modeling the interaction of the immune system with HIV, C. Castillo-Chavez (eds), Mathematical and Statistical Approaches to AIDS Epidemiology, 1989. https://doi.org/10.1007/978-3-642-93454-4_17 |
| [3] |
I. D'Orso, C. V. Forst, Mathematical models of HIV-1 dynamics, transcription, and latency, Viruses, 15 (2023), 2119. https://doi.org/10.3390/v15102119 doi: 10.3390/v15102119
|
| [4] |
T. Guo, H. Liu, C. Xu, F. Yan, Dynamics of a delayed HIV-1 infection model with saturation incidence rate and CTL immune response, Int. J. Bifurcation Chaos, 26 (2016), 1650234. https://doi.org/10.1142/s0218127416502345 doi: 10.1142/s0218127416502345
|
| [5] |
H. Najafi, S. Etemad, N. Patanarapeelert, J. K. K. Asamoah, S. Rezapour, T. Sitthiwirattham, A study on dynamics of CD4+ T-cells under the effect of HIV-1 infection based on a mathematical fractal-fractional model via the Adams-Bashforth scheme and Newton polynomials, Mathematics, 10 (2022), 1366. https://doi.org/10.3390/math10091366 doi: 10.3390/math10091366
|
| [6] |
A. Jajarmi, D. Baleanu, A new fractional analysis on the interaction of HIV with CD4+ T-cells, Chaos Solitons Fractals, 113 (2018), 221–229. https://doi.org/10.1016/j.chaos.2018.06.009 doi: 10.1016/j.chaos.2018.06.009
|
| [7] |
C. F. Perno, V. Svicher, D. Schols, M. Pollicita, J. Balzarini, S. Aquaro, Therapeutic strategies towards HIV-1 infection in macrophages, Antiviral Res., 71 (2006), 293–300. https://doi.org/10.1016/j.antiviral.2006.05.015 doi: 10.1016/j.antiviral.2006.05.015
|
| [8] |
B. Vemparala, S. Chowdhury, J. Guedj, N. M. Dixit, Modelling HIV-1 control and remission, NPJ Syst. Biol. Appl., 10 (2024), 84. https://doi.org/10.1038/s41540-024-00407-8 doi: 10.1038/s41540-024-00407-8
|
| [9] |
M. Pradeesh, F. A. Rihan, M. Prakash, Optimal control design for a HIV-1 model with time delay and functional responses, Math. Methods Appl. Sci., 48 (2025), 16578–16591. https://doi.org/10.1002/mma.70109 doi: 10.1002/mma.70109
|
| [10] |
H. Hmarrass, R. Qesmi, Global stability and Hopf bifurcation of a delayed HIV model with macrophages, CD4+ T cells with latent reservoirs and immune response, Eur. Phys. J. Plus, 140 (2025), 335. https://doi.org/10.1140/epjp/s13360-025-06001-z doi: 10.1140/epjp/s13360-025-06001-z
|
| [11] |
Q. Xu, J. Huang, Y. Dong, Y. Takeuchi, A delayed HIV infection model with the homeostatic proliferation of CD4+ T cells, Acta Math. Appl. Sin. Engl. Ser., 38 (2022), 441–462. https://doi.org/10.1007/s10255-022-1088-2 doi: 10.1007/s10255-022-1088-2
|
| [12] |
A. A. Raezah, E. Dahy, E. K. Elnahary, S. A. Azoz, Stability of HIV-1 dynamics models with viral and cellular infections in the presence of macrophages, Axioms, 12 (2023), 617. https://doi.org/10.3390/axioms12070617 doi: 10.3390/axioms12070617
|
| [13] |
J. M. Murray, J. Zaunders, S. Emery, D. A. Cooper, W. J. Hey-Nguyen, K. K. Koelsch, et al., HIV dynamics linked to memory CD4+ T cell homeostasis, PLoS ONE, 12 (2017), e0186101. https://doi.org/10.1371/journal.pone.0186101 doi: 10.1371/journal.pone.0186101
|
| [14] |
J. Zhang, J. Cai, Y. Takeuchi, Y. Dong, Z. Peng, Rich dynamics induced by homeostatic proliferation of both CD4+ T cells and macrophages in HIV infection and persistence, Adv. Cont. Discr. Mod., 81 (2025), 2025. https://doi.org/10.1186/s13662-025-03941-9 doi: 10.1186/s13662-025-03941-9
|
| [15] |
A. A. Raezah, A. M. Elaiw, E. Dahy, N. H. AlShamrani, H. Z. Zidan, A. A. Abdellatif, Analysis of delayed HIV-1 dynamics model with inflammatory cytokines and cellular infection, J. Math. Comput. Sci., 35 (2024), 52–81. https://dx.doi.org/10.22436/jmcs.035.01.05 doi: 10.22436/jmcs.035.01.05
|
| [16] |
J. Ren, R. Xu, L. Li, Global stability of an HIV infection model with saturated CTL immune response and intracellular delay, Math. Biosci. Eng., 18 (2021), 57–68. https://10.3934/mbe.2021029 doi: 10.3934/mbe.2021029
|
| [17] |
N. H. AlShamrani, R. H. Halawani, A. M. Elaiw, Stability of generalized models for HIV-1 dynamics with impaired CTL immunity and three pathways of infection, Front. Appl. Math. Stat., 10 (2024), 1412357. https://doi.org/10.3389/fams.2024.1412357 doi: 10.3389/fams.2024.1412357
|
| [18] |
C. Chen, Y. Zhou, Dynamic analysis of HIV model with a general incidence, CTLs immune response and intracellular delays, Math. Comput. Simul., 212 (2023), 159–181. https://doi.org/10.1016/j.matcom.2023.04.029 doi: 10.1016/j.matcom.2023.04.029
|
| [19] |
S. Del Valle, H. Hethcote, J. M. Hyman, C. Castillo-Chavez, Effects of behavioral changes in a smallpox attack model, Math. Biosci., 195 (2005), 228–251. https://doi.org/10.1016/j.mbs.2005.03.006 doi: 10.1016/j.mbs.2005.03.006
|
| [20] |
R. Xu, Global stability of an HIV-1 infection model with saturation infection and intracellular delay, J. Math. Anal. Appl., 375 (2011), 75–81. https://doi.org/10.1016/j.jmaa.2010.08.055 doi: 10.1016/j.jmaa.2010.08.055
|
| [21] |
K. W. Cummings, D. N. Levy, D. Wodarz, Increased burst size in multiply infected cells can alter basic virus dynamics, Biol. Direct., 7 (2012), 16. https://doi.org/10.1186/1745-6150-7-16 doi: 10.1186/1745-6150-7-16
|
| [22] |
A. M. Elaiw, Global properties of a class of virus infection models with multitarget cells, Nonlinear Dyn., 69 (2012), 423–435. https://doi.org/10.1007/s11071-011-0275-0 doi: 10.1007/s11071-011-0275-0
|
| [23] |
A. M. Elaiw, A. A. Raezah, K. Hattaf, Stability of HIV-1 infection with saturated virus-target and infected-target incidences and CTL immune response, Inter. J. Biomath., 10 (2017), 1750070. https://doi.org/10.1142/S179352451750070X doi: 10.1142/S179352451750070X
|
| [24] |
H. A. Obaid, R. Ouifki, K. C. Patidar, Analysis of an HIV model with distributed delay and behavior change, Inter. J. Biomath., 8 (2015), 1550017. https://doi.org/10.1142/S1793524515500175 doi: 10.1142/S1793524515500175
|
| [25] |
I. M. Elbaz, M. A. Sohaly, H. El-Metwally, Stochastic HIV/AIDS dynamics with discrete and distributed delays, Pramana-J. Phys., 96 (2022), 22. https://doi.org/10.1007/s12043-021-02246-2 doi: 10.1007/s12043-021-02246-2
|
| [26] |
J. M. Conway, A. S. Perelson, J. Z. Li, Predictions of time to HIV viral rebound following ART suspension that incorporate personal biomarkers, PLoS Comput. Biol., 15 (2019), e1007229. https://doi.org/10.1371/journal.pcbi.1007229 doi: 10.1371/journal.pcbi.1007229
|
| [27] |
S. Iwami, J. S. Takeuchi, S. Nakaoka, F. Mammano, F. Clavel, H. Inaba, et al., Cell-to-cell infection by HIV contributes over half of virus infection, eLife, 4 (2015), e08150. https://doi.org/10.7554/eLife.08150 doi: 10.7554/eLife.08150
|
| [28] |
A. M. Elaiw, Global properties of a class of HIV models, Nonlinear Anal. Real World Appl., 11 (2010), 2253–2263. https://doi.org/10.1016/j.nonrwa.2009.07.001 doi: 10.1016/j.nonrwa.2009.07.001
|
| [29] | J. K. Hale, S. M. Verduyn Lunel, Introduction to Functional Differential Equations, Springer New York, 1993. https://doi.org/10.1007/978-1-4612-4342-7 |
| [30] | Y. Kuang, Delay Differential Equations with Applications in Population Dynamics, Academic Press, 1993. Available from: https://www.researchgate.net/publication/243764052. |
| [31] | H. L. Smith, Monotone Dynamical Systems: An Introduction to the Theory of Competitive and Cooperative Systems, American Mathematical Society, 1995. Available from: https://www.ams.org/journals/bull/1996-33-02/S0273-0979-96-00642-8/S0273-0979-96-00642-8.pdf. |
| [32] |
X. Yang, L. Chen, J. Chen, Permanence and positive periodic solution for the single-species nonautonomous delay diffusive models, Compt. Math. Appl., 32 (1996), 109–116. https://doi.org/10.1016/0898-1221(96)00129-0 doi: 10.1016/0898-1221(96)00129-0
|
| [33] |
A. Korobeinikov, Global properties of basic virus dynamics models, Bull. Math. Biol., 66 (2004), 879–883. https://doi.org/10.1016/j.bulm.2004.02.001 doi: 10.1016/j.bulm.2004.02.001
|
| [34] |
G. Huang, Y. Takeuchi, W. Ma, Lyapunov functionals for delay differential equations model of viral infections, SIAM J. Appl. Math., 70 (2010), 2693–2708. https://doi.org/10.1137/090780821 doi: 10.1137/090780821
|
| [35] | E. A. Barbashin, Introduction to the Theory of Stability, Wolters-Noordhoff Publishing, 1970. |
| [36] | J. P. LaSalle, The Stability of Dynamical Systems, Society for Industrial and Applied Mathematics, 1976. https://doi.org/10.1137/1.9781611970432 |
| [37] |
A. M. Lyapunov, The general problem of the stability of motion, Int. J. Control, 55 (1992), 531–773. https://doi.org/10.1080/00207179208934253 doi: 10.1080/00207179208934253
|
| [38] | H. K. Khalil, Nonlinear systems, 3rd edition, Prentice Hall, 2002. Available from: https://books.google.com.sg/books?id = t_d1QgAACAAJ. |
| [39] | Y. Hino, S. Murakami, T. Naito, Functional Differential Equations with Infinite Delay, Springer, Berlin, Heidelberg, 1991. https://doi.org/10.1007/BFb0084432 |
| [40] | D. E. Gilsinn, T. Kalmár-Nagy, B. Balachandran, Delay Differential Equations: Recent Advances and New Directions, Springer New York, 2009. https://doi.org/10.1007/978-0-387-85595-0 |
| [41] |
A. S. Perelson, D. E. Kirschner, R. De Boer, Dynamics of HIV infection of CD4$^{+}$ T cells, Math. Biosci., 114 (1993), 81–125. https://doi.org/10.1016/0025-5564(93)90043-A doi: 10.1016/0025-5564(93)90043-A
|
| [42] |
N. H. AlShamrani, Stability of an HTLV–HIV coinfection model with multiple delays and CTL-mediated immunity, Adv. Differ. Equ., 2021 (2021), 270. https://doi.org/10.1186/s13662-021-03416-7 doi: 10.1186/s13662-021-03416-7
|
| [43] |
A. M. Elaiw, E. K. Elnahary, Analysis of general humoral immunity HIV dynamics model with HAART and distributed delays, Mathematics, 7 (2019), 157. https://doi.org/10.3390/math7020157 doi: 10.3390/math7020157
|
| [44] |
A. S. Perelson, P. W. Nelson, Mathematical analysis of HIV-1 dynamics in vivo, SIAM Rev., 41 (1999), 3–44. https://doi.org/10.1137/S0036144598335107 doi: 10.1137/S0036144598335107
|
| [45] |
J. E. Mittler, B. Sulzer, A. U. Neumann, A. S. Perelson, Influence of delayed viral production on viral dynamics in HIV-1 infected patients, Math. Biosci., 152 (1998), 143–163. https://doi.org/10.1016/S0025-5564(98)10027-5 doi: 10.1016/S0025-5564(98)10027-5
|
| [46] |
B. M. Adams, H. T. Banks, H. D. Kwon, H. T. Tran, Dynamic multidrug therapies for HIV: Optimal and STI control approaches, Math. Biosci. Eng., 1 (2004), 223–241. https://doi.org/10.3934/mbe.2004.1.223 doi: 10.3934/mbe.2004.1.223
|
| [47] |
P. W. Nelson, J. D. Murray, A. S. Perelson, A model of HIV-1 pathogenesis that includes an intracellular delay, Math. Biosci., 163 (2000), 201–215. https://doi.org/10.1016/S0025-5564(99)00055-3 doi: 10.1016/S0025-5564(99)00055-3
|
| [48] |
A. V. M. Herz, S. Bonhoeffer, R. M. Anderson, R. M. May, M. A. Nowak, Viral dynamics in vivo: limitations on estimates of intracellular delay and virus decay, Proc. Natl. Acad. Sci. U.S.A., 93 (1996), 7247–7251. https://doi.org/10.1073/pnas.93.14.7247 doi: 10.1073/pnas.93.14.7247
|
| [49] |
A. M. Elaiw, A. A. Raezah, S. A. Azoz, Stability of delayed HIV dynamics models with two latent reservoirs and immune impairment, Adv. Differ. Equ., 2018 (2018), 414. https://doi.org/10.1186/s13662-018-1869-3 doi: 10.1186/s13662-018-1869-3
|
| [50] |
C. T. Barker, N. K. Vaidya, Modeling HIV-1 infection in the brain, PLoS Comput. Biol., 16 (2020), e1008305. https://doi.org/10.1371/journal.pcbi.1008305 doi: 10.1371/journal.pcbi.1008305
|
| [51] |
S. Marino, I. B. Hogue, C. J. Ray, D. E. Kirschner, A methodology for performing global uncertainty and sensitivity analysis in systems biology, J. Theor. Biol., 254 (2008), 178–196. https://doi.org/10.1016/j.jtbi.2008.04.011 doi: 10.1016/j.jtbi.2008.04.011
|
| [52] | F. A. Rihan, Delay Differential Equations and Applications to Biology, Springer Singapore, 2021. https://doi.org/10.1007/978-981-16-0626-7 |