Abstract
The aim of this paper is to study a general HIV-1 reaction-diffusion model with space-dependent diffusion coefficients and antibody immune response. The model contains four discrete time delays and three categories of infected cells: Latently infected cells, short-lived productively infected cells and long-lived productively infected cells. The effect of highly active antiretroviral therapies (HAART) used to treat HIV-1 is incorporated into the model. The existence, non-negativity and boundedness of solutions are studied in order to verify the well-posedness of the model. All possible equilibria of the model are evaluated and the threshold parameters needed for their existence and stability are investigated. The global asymptotic stability of the corresponding equilibria are proved by building suitable Lyapunov functionals. The numerical simulations are conducted in order to confirm the theoretical results and show the behavior of solutions in space and time. (C) 2019 Elsevier B.V. All rights reserved.