Spatiotemporal Dynamics of an HIV Infection Model with Delay in Immune Response Activation
Abstract
We propose and analyse an human immunodeficiency virus (HIV) infection model with spatial diffusion and delay in the immune response activation. In the proposed model, the immune response is presented by the cytotoxic T lymphocytes (CTL) cells. We first prove that the model is well-posed by showing the global existence, positivity, and boundedness of solutions. The model has three equilibria, namely, the free-infection equilibrium, the immune-free infection equilibrium, and the chronic infection equilibrium. The global stability of the first two equilibria is fully characterized by two threshold parameters that are the basic reproduction number R0 and the CTL immune response reproduction number R1. The stability of the last equilibrium depends on R0 and R1 as well as time delay τ in the CTL activation. We prove that the chronic infection equilibrium is locally asymptotically stable when the time delay is sufficiently small, while it loses its stability and a Hopf bifurcation occurs when τ passes through a certain critical value.
1. Introduction
HIV is a virus that attacks the CD4+ T cells and reduces their number in the body. It is known that when the number of these cells is less than 200 cells per μl, the patient enters the phase of acquired immunodeficiency syndrome (AIDS). This phase is characterized by the appearance of opportunistic infections caused by bacteria, viruses, or fungi or by the appearance of certain types of cancer. From the world health organization (WHO) [1], HIV continues to be a major global public health issue, having claimed more than 35 million lives so far. In 2016, 1 million people died from HIV-related causes globally. Also, there were approximately 36.7 million people living with HIV at the end of 2016 with 1.8 million people becoming newly infected in 2016 globally. Therefore, many mathematical models have been developed to better understand the dynamics of HIV infection. One of the earliest of these models was presented by Nowak and Bangham [2] that considers three populations: uninfected target cells, productive infected cells, and free viral particles. Rong et al. [3] extended the model of [2] by including the infected cells in eclipse stage (unproductive infected cells) and considered that a portion of these cells returns to the uninfected state. In 2014, Hu et al. [4] replaced the bilinear incidence rate in [3] by a saturated infection rate and they studied the global stability of equilibria. In 2015, Maziane et al. [5] improved the model of [4] by considering the Hattaf’s incidence rate [6] that includes the common types such as the bilinear incidence rate, the saturated incidence rate, the Beddington-DeAngelis functional response [7, 8] and the Crowley-Martin functional response [9].
The rest of the paper is outlined as follows. In the next section we investigate the well-posedness and equilibria for system (2)–(4). The stability analysis and the existence of Hopf bifurcation are studied in Section 3. Finally, a brief conclusion is given in Section 4.
2. Well-Posedness and Equilibria
In this section, we establish the existence, positivity, and boundedness of solutions of problem (2)–(4) because this model describes the evolution of a cell population. Hence the densities of cells should remain nonnegative and bounded. In addition, we determine the basic reproduction number, the CTL immune response reproduction number, and equilibria of the model (2)–(4).
Before proceeding, we shall set some notations and terminology. X will denote a Banach space over a real or complex field. C = C([−τ, 0], X) will denote the Banach space of X-valued functions on [−τ, 0], with supremum norm, where τ > 0. Here, . If u is a continuous function from [−τ, b] to X and t ∈ [0, b], then ut denotes the element of C given by ut(θ) = u(t + θ), −τ ≤ θ ≤ 0.
Proposition 1. For any initial conditions satisfying (4), there exists a unique solution of problem (2)–(4) defined on [0, +∞ and this solution remains nonnegative and bounded for all t ≥ 0.
Proof. Let ϕ = (ϕ1, ϕ2, ϕ3, ϕ4, ϕ5) T ∈ C and . We define F = (F1, F2, F3, F4, F5) by
Next, we prove the boundedness of solutions by considering the following function:
To prove the boundedness of V, from system (2), we get
Using the comparison principle [17], we have , where is the solution of the problem
Therefore, we have proved that T(x, t), E(x, t), I(x, t), V(x, t), and C(x, t) are bounded on . Hence, it follows from the standard theory for semilinear parabolic systems [18] that Tmax = +∞.
Theorem 2.
- (i)
If R0 ≤ 1, system (2) has always an infection-free equilibrium of the form Q0(λ/μT, 0,0, 0,0).
- (ii)
If R0 > 1, system (2) has an immune-free equilibrium of the form Q1(T1, E1, I1, V1, 0) with T1 ∈ (0, λ/μT), E1 ≥ 0, I1 ≥ 0, and V1 ≥ 0.
- (iii)
If R1 > 1, system (2) has a chronic infection equilibrium of the form Q2(T2, E2, I2, V2, C2) with T2 ∈ (0, λ/μT − μIμC(μE + γ)/aγμT), E2 ≥ 0, I2 ≥ 0, V2 ≥ 0, and C2 ≥ 0.
3. Stability Analysis and Hopf Bifurcation
First, we discuss the global stability of the infection-free equilibrium Q0 and the immune-free equilibrium Q1.
Theorem 3.
- (i)
The infection-free equilibrium Q0 is globally asymptotically stable if R0 ≤ 1.
- (ii)
The immune-free equilibrium Q1 is globally asymptotically stable if R1 ≤ 1 < R0 and
()
Proof. By using the method proposed by Hattaf and Yousfi [19], we propose the following Lyapunov functional for system (2)–(4) at Q0:
Next, we construct the Lyapunov functional for system (2)–(4) at Q1:
Obviously, the condition ρE1 ⩽ μTT1 is equivalent to
From the above theorem, we deduce that the time delay in the activation of CTL immune response has no effect on the stability of Q0 and Q1. Next we investigate the stability and existence of Hopf bifurcation at the chronic infection equilibrium Q2.
When τ = 0, system (2) becomes system (1). By Theorem 3 (iii) [11], we deduce the following result.
Theorem 4. When τ = 0, the chronic infection equilibrium with immune response Q2 is globally asymptotically stable if R1 > 1 and
Now, we study the existence of Hopf bifurcation by regarding time delay τ as the bifurcation parameter.
Let 0 = μ0 < μ1 < ⋯<μn < ⋯ be the eigenvalues of −Δ on Ω with homogeneous Neumann boundary conditions, and for = 0,1, 2, …, let E(μi) be the space of eigenfunctions corresponding to μi in C1(Ω). Let {ϕij : j = 1,2, …, dimE(μi)} be an orthonormal basis of E(μi), X = [C1(Ω)] 5 and . Then, , .
From Theorem 4 and by a similar argument as that in [21, 22], we have the following results.
Lemma 5. Suppose that R1 > 1 and (22) hold.
- (i)
If one of the following holds: (a) c5 < 0; (b) c5 ≥ 0, q1 = 0, Δ0 ≥ 0, and p1 < 0 or r1 ≤ 0 and there exist z∗ ∈ {z1, z2, z3, z4} such that z∗ > 0 and h(z∗) ≤ 0; (c) c5 ≥ 0, q1 ≠ 0, s∗ > p1, Δ2 ≥ 0, or Δ3 ≥ 0 and there exist z∗ ∈ {z1, z2, z3, z4} such that z∗ > 0 and h(z∗) ≤ 0; (d) c5 ≥ 0, q1 ≠ 0, s∗ < p1, , , and , then all the roots of (26) have negative real parts when τ ∈ [0, τ0.
- (ii)
If all the conditions (a)–(d) of (i) are not satisfied, then all roots of (26) have negative real parts for all τ ≥ 0.
Since zk > 0, then and h′(zk) have the same sign.
From the above analysis and the Hopf bifurcation theorem for functional differential equation [20], we have the following result.
Theorem 6. Suppose that R1 > 1 and (22) hold.
- (i)
If the conditions (a)–(d) of Lemma 5 are all not satisfied, then the chronic infection equilibrium Q2 is locally asymptotically stable for all time delay τ ≥ 0.
- (ii)
If one of the conditions (a)–(d) of Lemma 5 is satisfied, then the chronic infection equilibrium Q2 is locally asymptotically stable for τ ∈ [0, τ0.
- (iii)
If the condition of (ii) is satisfied and h′(zk) ≠ 0, then system (2) undergoes a Hopf bifurcation at Q2 when τ = τ0.
4. Conclusion
In this paper, we have studied an HIV infection model including infected cells in eclipse stage and delay in the activation of CTL immune response. The model is governed by reaction diffusion equations and the transmission process is modeled by a specific nonlinear incidence rate that includes many types of special incidence functions as special cases. First, we discussed the nonnegativity and boundedness of solutions and the existence of equilibria of system (2). The global stability of the infection-free equilibrium Q0 has been given by the Lyapunov’s direct method and LaSalle’s invariance principal when the basic reproductive number R0 ≤ 1, which means that the infection is cleared and the virus dies out. We also obtained the global asymptotic stability of the immune-free infection equilibrium when R0 > 1 and condition (14) is satisfied, which means that the infection will become chronic without persistent CTL immune response. If R0 > 1 and R1 > 1, there exists a chronic infection equilibrium with CTL immune response Q2. We have shown that the chronic infection equilibrium Q2 is locally asymptotically stable when the delay is sufficiently small, but with the increase of the time delay, the stability of Q2 may destabilize and lead to Hopf bifurcation.
The results of this paper reflect the fact that the immunological delay in (2) do not affect the positivity and boundedness of solutions and the global stability of the infection-free equilibrium and immune-free equilibrium. For the chronic infection equilibrium, in the absence of delay, the globally stability is obtained, a small delay does not affect the local stability, and Hopf bifurcation may occur when the time delay is large enough.
Conflicts of Interest
The authors declare that they have no conflicts of interest regarding the publication of this paper.