Backward bifurcation in a mathematical model for HIV infection in vivo with anti-retroviral treatment

Anti-retroviral treatments (ART) such as HAART have been used to control the replication of HIV virus in HIV-positive patients. In this paper, we study an in-host model of HIV infection with ART and carry out mathematical analysis of the global dynamics and bifurcations of the model in different parameter regimes. Among our discoveries is a parameter region for which backward bifurcation can occur. Biologically, the catastrophic behaviors associated with backward bifurcations may explain the sudden rebound of HIV viral load when ART is stopped, and possibly provide an explanation for the viral blips during ART suppression of HIV.