A preliminary analysis of HIV infection dynamics

Several dynamic models of the behaviour of HIV infection are reviewed. Important features of the models examined are the inclusion of the effects of anti-retroviral drugs, virus mutation and latent infection. For the models including virus mutation mathematical analysis yields a complete description of all possible equilibria and their local stability properties. For the cases considered, we can prove that generically, there are only two valid equilibria: (i) the locally unstable uninfected equilibrium and, (ii) the locally stable infected state equilibrium.