Abstract
We study the global stability of three HIV infection models with humoral immune response. We consider two types of infected cells: the first type is the short-lived infected cells and the second one is the long-lived chronically infected cells. In the three HIV infection models, we modeled the incidence rate by bilinear, saturation, and general forms. The models take into account two types of discrete-time delays to describe the time between the virus entering into an uninfected CD4(+) T cell and the emission of new active viruses. The existence and stability of all equilibria are completely established by two bifurcation parameters, R-0 and R-1. The global asymptotic stability of the steady states has been proven using Lyapunov method. In case of the general incidence rate, we have presented a set of sufficient conditions which guarantee the global stability of model. We have presented an example and performed numerical simulations to confirm our theoretical results.