Analysis of General Humoral Immunity HIV Dynamics Model with HAART and Distributed Delays

This paper deals with the study of an HIV dynamics model with two target cells, macrophages and CD4 ${}^{+}$ T cells and three categories of infected cells, short-lived, long-lived and latent in order to get better insights into HIV infection within the body. The model incorporates therapeutic modalities such as reverse transcriptase inhibitors (RTIs) and protease inhibitors (PIs). The model is incorporated with distributed time delays to characterize the time between an HIV contact of an uninfected target cell and the creation of mature HIV. The effect of antibody on HIV infection is analyzed. The production and removal rates of the ten compartments of the model are given by general nonlinear functions which satisfy reasonable conditions. Nonnegativity and ultimately boundedness of the solutions are proven. Using the Lyapunov method, the global stability of the equilibria of the model is proven. Numerical simulations of the system are provided to confirm the theoretical results. We have shown that the antibodies can play a significant role in controlling the HIV infection, but it cannot clear the HIV particles from the plasma. Moreover, we have demonstrated that the intracellular time delay plays a similar role as the Highly Active Antiretroviral Therapies (HAAT) drugs in eliminating the HIV particles.