Global analysis of an HIV/AIDS epidemic model

We present an HIV/AIDS epidemic model that incorporates constant recruitment and sexually active AIDS individuals. The disease-free and endemic equilibria are found and their local as well as global stabilities are investigated. Using a Lyapunov function and LaSalle's invariant set theorem, we proved that the disease-free equilibrium is globally asymptotically stable. Local stability of the endemic equilibrium is determined using the center manifold theory and using the Poincarè-Bendixson property, global asymptotic stability is proved. © 2005 World Academic Union.