Ahmed M. Elaiw

This paper formulates and analyzes two mathematical models that describe the within-host dynamics of human immunodeficiency virus type 1 (HIV-1) with impairment of both cytotoxic T lymphocytes (CTLs) and B cells. Both viral transmission (VT) and cellular infection (CT) mechanisms are considered. The second model is a generalization of the first model that includes distributed time delays. For the two models, we establish the non-negativity and boundedness of the solutions, find the basic reproductive numbers, determine all possible steady states and establish the global asymptotic stability properties of all steady states by means of the Lyapunov method. We confirm the theoretical results by conducting numerical simulations. We conduct a sensitivity analysis to show the effect of the values of the parameters on the basic reproductive number. We discuss the results, showing that impaired B cells and CTLs, time delay and latent CT have significant effects on the HIV-1 dynamics.

This paper presents two viral infection models that describe dynamics of the virus under the effect of two distinct types of antibodies. The first model considers the population of five compartments, target cells, infected cells, free virus particles, antibodies type-1 and antibodies type-2. The presence of two types of antibodies can be a result of secondary viral infection. In the second model, we incorporate the latently infected cells. We assume that the antibody responsiveness is given by a combination of the self-regulating antibody response and the predator–prey-like antibody response. For both models, we verify the nonnegativity and boundedness of their solutions, then we outline all possible equilibria and prove the global stability by constructing proper Lyapunov functions. The stability of the uninfected equilibrium EQ0 and infected equilibrium EQ* is determined by the basic reproduction number R0. The theoretical findings are verified through numerical simulations. According to the outcomes, the trajectories of the solutions approach EQ0 and EQ* when R0≤1 and R0>1, respectively. We study the sensitivity analysis to show how the values of all the parameters of the suggested model affect R0 under the given data. The impact of including the self-regulating antibody response and latently infected cells in the viral infection model is discussed. We showed that the presence of the self-regulating antibody response reduces R0 and makes the system more stabilizable around EQ0. Moreover, we established that neglecting the latently infected cells in the viral infection modeling leads to the design of an overflow of antiviral drug therapy.

This article formulates and analyzes a discrete-time Human immunodeficiency virus type 1 (HIV-1) and human T-lymphotropic virus type I (HTLV-I) coinfection model with latent reservoirs. We consider that the HTLV-I infect the CD4+T cells, while HIV-1 has two classes of target cells—CD4+T cells and macrophages. The discrete-time model is obtained by discretizing the original continuous-time by the non-standard finite difference (NSFD) approach. We establish that NSFD maintains the positivity and boundedness of the model’s solutions. We derived four threshold parameters that determine the existence and stability of the four equilibria of the model. The Lyapunov method is used to examine the global stability of all equilibria. The analytical findings are supported via numerical simulation. The impact of latent reservoirs on the HIV-1 and HTLV-I co-dynamics is discussed. We show that incorporating the latent reservoirs into the HIV-1 and HTLV-I coinfection model will reduce the basic HIV-1 single-infection and HTLV-I single-infection reproductive numbers. We establish that neglecting the latent reservoirs will lead to overestimation of the required HIV-1 antiviral drugs. Moreover, we show that lengthening of the latent phase can suppress the progression of viral coinfection. This may draw the attention of scientists and pharmaceutical companies to create new treatments that prolong the latency period.

Human immunodeficiency virus type 1 (HIV-1) and human T-lymphotropic virus type I (HTLV-I) are two retroviruses that have a similar fashion of transmission via sharp objects contaminated by viruses, transplant surgery, transfusion, and sexual relations. Simultaneous infections with HTLV-I and HIV-1 usually occur in areas where both viruses have become endemic. CD4+T cells are the main targets of HTLV-I, while HIV-1 can infect CD4+T cells and macrophages. It is the aim of this study to develop a model of HTLV-I and HIV-1 coinfection that describes the interactions of nine compartments: susceptible cells of both CD4+T cells and macrophages, HIV-1-infected cells that are latent/active in both CD4+T cells and macrophages, HTLV-I-infected CD4+T cells that are latent/active, and free HIV-1 particles. The well-posedness, existence of equilibria, and global stability analysis of our model are investigated. The Lyapunov function and LaSalle’s invariance principle were used to study the global asymptotic stability of all equilibria. The theoretically predicted outcomes were verified by utilizing numerical simulations. The effect of including the macrophages and latent reservoirs in the HTLV-I and HIV-1 coinfection model is discussed. We show that the presence of macrophages makes a coinfection model more realistic when the case of the coexistence of HIV-1 and HTLV-I is established. Moreover, we have shown that neglecting the latent reservoirs in HTLV-I and HIV-1 coinfection modeling will lead to the design of an overflow of anti-HIV-1 drugs.