Abstract
The main purpose of this work is to investigate the qualitative behavior of an HIV dynamics model with two types of cocirculating target cells. The model takes into account both short-lived and long lived chronically infected cells. In the two types of target cells, the drug efficacy is assumed to be different. The incidence rate is represented by Crowley-Martin functional response. First we have derived the basic reproduction number R-0, then constructed Lyapunov functions to establish the global asymptotic stability of the disease-free and endemic equilibria of the model. We have been proven that, the disease-free equilibrium is globally asymptotically stable (GAS) when R-0 <= 1, and the endemic equilibrium is GAS when R-0 > 1. Numerical simulations have been carried out to support our theoretical results.