Mathematical analysis of the global dynamics of a model for HIV infection of CD4+ T cells

A mathematical model that describes HIV infection of CD4+ T cells is analyzed. Global dynamics of the model is rigorously established. We prove that, if the basic reproduction number R0 ⩽ 1, the HIV infection is cleared from the T-cell population; if R0 > 1, the HIV infection persists. For an open set of parameter values, the chronic-infection equilibrium P∗ can be unstable and periodic solutions may exist. We establish parameter regions for which P∗ is globally stable.