Global analysis of a delay virus dynamics model with Beddington-DeAngelis incidence rate and CTL immune response

In this paper, an HIV-1 infection model with Beddington-DeAngelis infection rate and CTL immune response is investaged. We derive the basic reproduction number R0 for the viral infection model. By constructing suitable Lyapunov functionals and using LaSalle invariant principle for the delay differential equations, we find when R0 ≤ 1, the infection-free equilibrium is globally asymptotically stable. And if the CTL immune reproductive number R1 ≤ 1, the immune-free equilibrium and the endemic equilibrium are globally asymptotically stable.