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. When the viral basic reproduction number R0 is less than unity, we show theoretically and numerically that bistability for RC <R0 <1 can be caused by a backward bifurcation due to a new susceptible population produced by activation of healthy naive CD4 T cells that become helper T cells. An extended model including the CTL dynamics may also show this backward bifurcation. In the case that the homeostatic source of healthy naive CD4 T cells is large, RC is approximately the threshold for HIV to persist independent of initial conditions. The backward bifurcation may still occur even when we consider latent infections of naive CD4 T cells. Thus to control the spread of within-host HIV, it may be necessary for treatment to reduce the reproduction number below RC .