Global Stability of an HIV Dynamical Model withCrowley-Martin Functional Response

Mathematical modeling is an important method to study and research for the dynamic of viral infectionin mathematical biology. The aim of this article is to study the global dynamic of HIV virus infectionmodel with Crowley-Martin functional response and give the results by using Lyapunov’s second methodand LaSalle’s invariance principle. We derive the basic reproduction numberR0and prove the global stabilityof rest points of system whenR0≤1,R0>1, respectively