In this paper, a reaction-diffusion-chemotaxis HIV-1 model with a cytotoxic T lymphocyte (CTL) immune response and general sensitivity is investigated. We first prove the global classical solvability and L∞-boundedness for the considered model in a bounded domain with arbitrary spatial dimensions, which extends the previous existing results. Then, we apply the global existence result to the case with a linear proliferation immune response and an incidence rate. We study the spatiotemporal dynamics about the three types of spatially homogeneous steady states: infection-free steady state S0, CTL-inactivated infection steady state S1, and CTL-activated infection steady state S∗. Our analyses indicate that S0 is globally asymptotically stable if the basic reproduction number R0 is less than 1; if R0 is between 1 and a threshold, then S1 is globally asymptotically stable. However, if R0 is larger than the threshold, then the chemoattraction and chemorepulsion can destabilize S∗, and thus, a spatiotemporal pattern forms as the chemotactic sensitivity crosses certain critical values. We obtain two kinds of important patterns, which are induced by chemotaxis: stationary Turing pattern and irregular oscillatory pattern. We also find that different chemotactic response functions can affect system's dynamics. Based on some empirical parameter values, numerical simulations are given to illustrate the effectiveness of the theoretical predications.
Read full abstract