Global dynamics of an HIV‐1 infection model with distributed intracellular delays

In this paper, an HIV‐1 infection model with distributed intracellular delays is investigated, where the intracellular delays account for the time the target cells are contacted by the virus particles and the time the contacted cells become actively infected meaning that the contacting virions enter cells and the time the virus has penetrated into a cell and the time the new virions are created within the cell and are released from the cell, respectively. By analyzing the characteristic equations, the local stability of an infection‐free equilibrium and a chronic‐infection equilibrium of the model is established. By using suitable Lyapunov functionals and LaSalle’s invariance principle, it is proved that if the basic reproduction ratio is less than unity, the infection‐free equilibrium is globally asymptotically stable; and if the basic reproduction ratio is greater than unity, the chronic‐infection equilibrium is globally asymptotically stable.