Stability of discrete-time HIV dynamics models with longlived chronically infected cells

This paper studies the global dynamics for discrete-time HIV infection models. The models integrate both long-lived chronically infected and short-lived infected cells. The HIV-susceptible incidence rate is taken as bilinear, saturation and general function. We discretize the continuous-time models by using nonstandard finite difference scheme. The positivity and boundedness of solutions are established. The basic reproduction number is derived. By using Lyapunov method, we prove the global stability of the models. Numerical simulations are presented to illustrate our theoretical results.