Backward bifurcation in within-host HIV models.

The activation and proliferation of naive CD4 T cells produce helper T cells, and increase the susceptible population in the presence of HIV. This may cause backward bifurcation. To verify this, we construct a simple within-host HIV model that includes the key variables, namely healthy naive CD4 T cells, helper T cells, infected CD4 T cells and virus.