Abstract

An HIV-1 infection model with latently infected cells and delayed immune response is investigated. By analyzing the corresponding characteristic equations, the local stability of each of feasible equilibria is established and the existence of Hopf bifurcations at the CTL-activated infection equilibrium is also studied. By means of suitable Lyapunov functionals and LaSalle’s invariance principle, it is proved that the infection-free equilibrium is globally asymptotically stable if the basic reproduction ratio for viral infection ; if the basic reproduction ratio for viral infection and the basic reproduction ratio for CTL immune response , the CTL-inactivated infection equilibrium is globally asymptotically stable. If the basic reproduction ratio for CTL immune response , the global stability of the CTL-activated infection equilibrium is also derived when the time delay . Numerical simulations are carried out to illustrate the main results.

1. Introduction

Mathematical and computational models of the human immune response under HIV-1 infection have received great attention in recent years [19]. It is a useful tool of better understanding disease dynamics and making prediction of disease outbreak and evaluations of prevention strategies and drug therapy strategies used against HIV-1 infection.

It is well known that when HIV-1 enters the body, it targets cells with CD4 receptors, including the CD4+ T-cells, the main driver of the immune response. Recent studies have shown that a significant proportion of CD4+ T-cells are infected by the virus, and that this specific population of T-cells might be preferentially infected [10]. In human’s immune system, cytotoxic T lymphocytes (CTLs) play an important role in antiviral defense by attacking infected cells. Therefore, it is important and yet has been a hot topic to formulate models to explain the exhaustion of the CD4+ T-cells and CTLs. Such models involve the concentrations of uninfected CD4+ T-cells, , infected CD4+ T-cells that are producing virus, , free virus, , and CTLs, . A basic mathematical model describing HIV-1 infection dynamics that has been studied in [1, 2] is of the form where uninfected, susceptible CD4+ T-cells are created from sources within the body at a rate, , uninfected CD4+ T-cells die at rate and become infected at rate , where is the rate constant describing the infection process; infected cells die at rate and are lysed by CTLs at a rate ; free virus is produced from infected cells at rate and is removed at rate . The CTLs expand at a rate and decay at a rate .

Time delays cannot be ignored in models for immune response, especially the delay between viral appearance and the production of new immune particles [69]. Wang et al. [6] studied the effects of the time delay for immune response on a three-dimensional system with . By assuming that the production of CTLs also depends on the population of CTL cells, Canabarro et al. [7] investigated the effects of a time delay on a four-dimensional system with .

However, in all the previous works mentioned above, they all neglected the fact that once in the cells not all viruses initiate active virus production. A large proportion of CD4+ T-cells are latently infected following the integration of proviral DNA into the host cell genome, some of which can remain quiescent for long periods of time before becoming activated [11]. In [12], such cells are defined as latently infected cells. The capability of the HIV-1 to persist latent inside CD4+ T-cells is currently regarded as a barrier to recovery from infection. But till now, as far as we know, only a few works (see, [13, 14]) concern the effects that latently infected cells are expected to have on HIV-1 infection process. In this paper, motivated by the works of [1, 7, 13], we modify the basic virus infection model and add a further state variable, , which represents the population of latently infected cells and propose a four-dimensional delayed HIV-1 infection model with latently infected cells. The model is given by where the parameters , , , , , , and are the same as those defined in model (1). In our model, we assume that the free virus interacts with the uninfected cells to produce actively infected cells at rate and latently infected cells at rate due to the saturation response of the infection rate, where and . Latently infected cells containing proviral DNA die at rate and become activated at rate . The CTL response is activated at a rate proportional to the number of infected cells at a previous time, , where is the time delay of CTL response.

The initial conditions for system (2) take the form where and the Banach space of continuous functions maps the interval into , where .

Our primary goal is to carry out a complete mathematical analysis of system (2) and establish its global dynamics. The organization of this paper is as follows. In Section 2, by analyzing the corresponding characteristic equations, we study the local stability of an infection-free equilibrium and a CTL-inactivated infection equilibrium of model (2). In Section 3, we discuss the local stability and the existence of Hopf bifurcations at the CTL-activated infection equilibrium. In Section 4, by means of suitable Lyapunov functionals and LaSalle’s invariance principle, we study the global stability of the infection-free equilibrium and the CTL-inactivated infection equilibrium with any and the CTL-activated infection equilibrium with , respectively. Numerical simulations are carried out in the last section to illustrate the main results. A brief remark is also given in this section to conclude our work.

2. Equilibria and Their Local Stability

In this section, we firstly establish the nonnegativity and boundedness of solutions of system (2) and then give sufficient conditions for the existence of each of feasible equilibria of system (2) and discuss the local stability of the infection-free equilibrium and the CTL-inactivated infection equilibrium, respectively.

Theorem 1. Let be any solution of system (2). Then, under the initial conditions (3), all solutions are nonnegative on and ultimately bounded.

Proof. Since the right hand side of system (2) is completely continuous and locally Lipschitzian on , the solution of (2) with initial conditions (3) exists and is unique on , where [15, Chapter 2].
Let us show that for all . If were to lose its nonnegativity on some local existence interval for some constant , there would be a time at . By the first equation of (2), we have . That means for , where is an arbitrarily small positive constant. This leads to a contradiction. It follows that is always positive. Further, from the second and the third equation in (2), we have, respectively, which show that , for all . Then by the last equation in (2) confirming that for all .
Next, we prove the ultimate boundedness of (2). Denote By nonnegativity of the solution, it follows that Then the comparison theorem implies that there exists a such that , for . Let ; then , for . This implies that is ultimately bounded, and so are , , , and . Thus the solutions of (2) are ultimately bounded. This completes the proof.

Clearly, system (2) always has an infection-free equilibrium , where .

Denote Here and are called the basic reproduction ratios for viral infection and CTL immune response of system (2), respectively. It is easy to show that always holds. If , system (2) admits a CTL-inactivated infection equilibrium besides , where

Furthermore, if , system (2) also admits a CTL-activated infection equilibrium , where

Then we give the stability result of by the following theorem.

Theorem 2. The infection-free equilibrium of system (2) is locally asymptotically stable if and is unstable if .

Proof. The characteristic equation of system (2) at the infection-free equilibrium is of the form where Clearly, (11) always has two negative real roots and . Noting that, if , , then . Since , , that is, , then we get that . It is easy to see that (11) has another two negative real roots. Therefore, if , the infection-free equilibrium is locally asymptotically stable. If , , (11) has at least one positive real root. Hence, is unstable in this case. The proof of Theorem 2 is completed.

As to the stability of , we have the following result.

Theorem 3. If , the CTL-inactivated infection equilibrium is locally asymptotically stable. If , is unstable.

Proof. The characteristic equation of system (2) at the CTL-inactivated infection equilibrium is of the form where We first consider the following equation Obviously, . Since it is easy to see that , . By direct calculation, Therefore, by Routh-Hurwitz criterion, all roots of (15) have negative real parts.
Then we discuss the location of the roots of the following equation Denote . If , it is easy to verify Hence, has one positive real root. is unstable.
If , then we prove that all roots of have negative real parts. Assume that , then from , we derive that which comes to a contradiction. Hence, . From the discussion above, we can see that, if , the CTL-inactivated infection equilibrium is locally asymptotically stable. This completes the proof of Theorem 3.

3. Stability and Hopf Bifurcation at the CTL-Activated Infection Equilibrium

From the results above, when , the CTL-inactivated infection equilibrium is unstable, and at the same time a CTL-activated infection equilibrium emerges. Now we regard as a parameter to study the stability of and the existence of Hopf bifurcations.

The characteristic equation of system (2) at the CTL-activated infection equilibrium is of the form where When , (21) becomes It is easy to verify that Since by direct calculation, we can easily derive that Then for , according to Routh-Hurwitz criterion, all the roots of (21) have negative real parts if and only if the following conditions hold:

(H1)

From what has been discussed above, we have the following result.

Theorem 4. Let . Then the CTL-activated infection equilibrium of system (2) is locally asymptotically stable if and the condition (H1) holds.

For , it is not easy to find rigorously local stability of . In the following, we will firstly investigate the existence of purely imaginary roots to (21) following the framework of that in [9].

If is a root of (21), separating real and imaginary parts yields Squaring and adding the two equations of (28), we obtain that where Let . Then, from (29), we have that Denote . Then we get

Suppose that (31) has positive real roots. Without loss of generality, we assume that it has positive real roots, defined by , respectively. Then (29) has positive real roots From (28), we have Therefore, if we denote where ; , then are a pair of purely imaginary roots of (21) with .

Let be the root of (21) near satisfying , , then we have the following result.

Theorem 5. Suppose that , , where is defined by (32). Then and and have the same sign.

Proof. Calculating the derivative with respective to , we obtain Then we derive from (37) that Therefore, we have where . From (29) and (31), we get Then we get that Furthermore, it follows that Then, this completes the proof of Theorem 5.

Applying the Hopf bifurcation theorem for functional differential equation [15], we derive the existence of a Hopf bifurcation at as stated in the following theorem.

Theorem 6. Suppose that (31) has at least one simple positive root and is the last such root. Then there is a Hopf bifurcation for system (2) as passes through leading to a periodic solution that bifurcates from , where

Remark 7. As an example, we suppose that (31) has three simple positive roots, denoted by , respectively. Then we have , , and . By Theorem 5, it is easy to see that from which we can conclude that the stability switches may appear as increases.

4. Global Stability

In this part, we study the global stability of the infection-free equilibrium and the CTL-inactivated infection equilibrium and then discuss the global stability of the CTL-activated infection equilibrium when . The strategy of proofs is to use suitable Lyapunov functionals and LaSalle’s invariance principle in [16].

Define Clearly, for , is nonnegative and has the global minimum at and .

Theorem 8. The infection-free equilibrium of system (2) is globally asymptotically stable if .

Proof. Let be any positive solution of system (2) with initial conditions (3).
Define The time derivative of along positive solutions of system (2) is given by On substituting into (47) we derive that Noting that , by (48), we have that . By Theorem  5.3.1 in [15], the solutions of system (2) limit to , the largest invariant subset of . Clearly, it follows from (48) that if and only if and . Noting that is invariant, for each element in , we have , and . We therefore derive from the third equation of system (2) that which yields . Hence, if and only if . Accordingly, the global asymptotic stability of follows LaSalle’s invariance principle. This completes the proof.

We are now in a position to establish the global stability of the CTL-inactivated infection equilibrium of system (2).

Theorem 9. The CTL-inactivated infection equilibrium of system (2) is globally asymptotically stable if and .

Proof. Let be any positive solution of system (2) with initial conditions (3).
Define where the function is defined in (45).
The derivative of along positive solutions of system (2) is given by On substituting into (51) we derive that Noting that we derive from (52) that Define Then we have Noting that , , and , by (56), we have that . By Theorem  5.3.1 in [15], the solutions of system (2) limit to , the largest invariant subset of . It is readily seen from (56) that holds if and only if . Using a similar argument as that in the proof of Theorem 8 and by LaSalle’s invariance principle, the global asymptotic stability of follows. This completes the proof.

Finally, we give the global stability result of when there is no time delay, that is, .

Theorem 10. Let . The CTL-activated infection equilibrium of system (2) is globally asymptotically stable if .

Proof. Define where the function is defined in (45).
Calculating the derivative of along positive solutions of system (2), it follows that On substituting into (58) we derive that At the steady state , Then it follows from (59) that Noting that , by (61), we have that . Also, it is easy to verify that if and only if , , and . We therefore derive from the third equation of system (2) that which yields . The maximal compact invariant set in is the singleton when . Accordingly, the global asymptotic stability of follows. This completes the proof.

5. Numerical Simulations and Conclusions

In the following, we give examples to illustrate the main theoretical results above. In system (2), we choose a set of parameters as follows: , , , , , , , , , , and . The initial values are , , , and . Then , and the CTL-activated infection equilibrium exists. The values of these parameters satisfy the condition of Theorem 6. By calculation, we derive that and .

When , the trajectory converges to the CTL-activated infection equilibrium (see Figure 1). While, when , the CTL-activated infection equilibrium of (2) becomes unstable (see Figure 2), and the Hopf bifurcation occurs.

In this paper, we have investigated the global dynamics of an HIV-1 infection model with latently infected cells and delayed immune response. By giving the explicit expressions of two basic reproduction ratios and , we first gave sufficient conditions for the existence of each of feasible equilibria of system (2). Then, a detailed analysis on the local asymptotic stability of the equilibria was carried out. It was shown that, if (hence, and are not feasible), the infection-free equilibrium is locally asymptotically stable. If , the CTL-inactivated infection equilibrium is locally asymptotically stable. If , the CTL-activated infection equilibrium exists. By giving Theorem 6, we studied the existence of Hopf bifurcations at . By constructing suitable Lyapunov functionals and using LaSalle’s invariance principle, we proved that, for any time delay , if , the infection-free equilibrium is globally asymptotically stable. If and , the CTL-inactivated infection equilibrium is globally asymptotically stable. From this we can see that time delay has no effect on the stability of the infection-free equilibrium and the CTL-inactivated infection equilibrium. When , we also proved the global asymptotic stability of the CTL-activated infection equilibrium of system (2) whenever it exists.

Acknowledgment

This work was supported by the National Natural Science Foundation of China (nos. 11371368 and 11071254).