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 R(0) < or = 1, the HIV infection is cleared from the T-cell population; if R(0) > 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.