Abstract
This paper studies the dynamical behavior of an HIV-1 infection model with saturated virus-target and infected-target incidences with Cytotoxic T Lymphocyte (CTL) immune response. The model is incorporated by two types of intracellular distributed time delays. The model generalizes all the existing HIV-1 infection models with cell-to-cell transmission presented in the literature by considering saturated incidence rate and the effect of CTL immune response. The existence and global stability of all steady states of the model are determined by two parameters, the basic reproduction number ([Formula: see text]) and the CTL immune response activation number ([Formula: see text]). By using suitable Lyapunov functionals, we show that if [Formula: see text], then the infection-free steady state [Formula: see text] is globally asymptotically stable; if [Formula: see text] [Formula: see text], then the CTL-inactivated infection steady state [Formula: see text] is globally asymptotically stable; if [Formula: see text], then the CTL-activated infection steady state [Formula: see text] is globally asymptotically stable. Using MATLAB we conduct some numerical simulations to confirm our results. The effect of the saturated incidence of the HIV-1 dynamics is shown.