In addition to direct virus infection of target cells, HIV can also be transferred from infected to uninfected cells (cell-to-cell transmission). These two routes might facilitate viral production and the establishment of the latent virus pool, which is considered as a major obstacle to HIV cure. We studied an HIV infection model including the two infection routes and the time since latent infection. The basic reproductive ratio was derived. The existence, positivity, and boundedness of the solution are proved. We investigated the existence of steady states and their stability, which were shown to depend on . We established the global asymptotic dynamical behavior by proving the existence of the global compact attractor and uniform persistence of the system and by applying the method of Lyapunov functionals. In the end, we formulated and solved the optimal control problem for the age-structured model. The necessary condition for minimization of the viral level and the cost of drug treatment was obtained, and numerical simulations of various optimal control strategies were performed.

1. Introduction

Human immunodeficiency virus (HIV) is a retrovirus that causes acquired immunodeficiency syndrome (AIDS) by infecting healthy T cells, macrophages, and dendritic cells [1]. After infection, infected cells can generate new virus, which result in more infection and viral production. In order to investigate the within-host dynamics of HIV infection, many researchers have established different types of mathematical models (see, e.g., [211] and references cited therein). Most of these models focused on the infection of uninfected T cells by cell-free virus particles. In addition to cell-free viral infection, target cells can also be infected by virus transmitted directly from infected cells (cell-to-cell transmission) [1220]. When infected T cells encounter uninfected T cells and form viral synapses, HIV may spread by cell-to-cell transmission. The two routes of viral transmission may provide a synergistic way for virus infection [2, 21, 22]. The relative contributions of these two routes to viral production remain unclear. There is some evidence that HIV transmits more validly via cell-to-cell transmission than cell-free virus infection [3, 2330].

Models with age structure have been used in studying viral dynamics because many within-host processes, such as viral production by infected cells, may rely on the time after infection, i.e., the age of infection [3141]. For example, Rong et al. [42] studied age of infection models with combination therapy including reverse transcriptase inhibitor (RTI), protease inhibitor (PI), and entry/fusion inhibitor. Wang et al. in [39] developed an HIV model with infection age and general nonlinear rates of viral infection in the infected types of target cells to study the transmission dynamics of HIV.

HIV latent infection of target cells remains to be a major barrier to viral clearance. To study the low viral persistence despite long-term antiretroviral therapy, mathematical models have been developed by incorporating cellular compartments or reservoirs such as latently infected T cells [43]. To explain the extremely slow decay of the latent viral pool and the viral persistence during therapy, Alshorman et al. [44] developed an HIV infection model involving latently infected cells with age structure. They showed that the model can generate a low viral load persistence and the extremely slow decay of the latent reservoir during prolonged therapy. In this work, we study an age-structured HIV model that includes two transmission routes to study virus dynamics. We will analyze the stability of the equilibria using the basic reproductive number. Because lifelong therapy is required for HIV-infected inhibitors, we formulate and solve the optimal control problem. The necessary condition for minimizing the viral level and the cost of drug treatment was obtained. Different optimal treatment strategies were evaluated by numerical investigations.

2. The Model

We introduce an HIV latent infection model with age structure and the two transmission routes. The model has four state variables: uninfected target cells , age-structured latently infected cells, , infected cells that can produce virus, , and virus . The model can be expressed as follows:

The model assumes that and are the recruitment rate and death rate of uninfected T cells, respectively. The parameter is the infection rate of uninfected T cells by free virus and is the rate of transmission by infected cells. The constant is the fraction of new infection that becomes latency. The rate of proliferation and the rate of death of latently infected cells are assumed to be functions of the age of infection. The activation rate also depends on the age because latently infected cells need to wait until they encounter their relevant antigen. The total number of productive infected cells obtained by latently infected cell activation is given by . represents the death rate of infected cells. denotes the total number of virions released by one infected cell during its life cycle. The viral clearance rate is . A schematic diagram of the full system is given in Figure 1.

To investigate the dynamics of (1), we need the following assumptions. . are uniformly continuous, where is the nonnegative cone of the Banach space .The size of the latent reservoir remains relatively stable or declines extremely slowly during suppressive therapy [45]. Thus, the proliferation rate cannot exceed the sum of the activation rate and the death rate of latently infected cells. We have the following assumption as also used in [44]. Because the latent reservoir is relatively stable during therapy, we let

The state space of (1),is the nonnegative cone of the Banach space equipped with the normfor .

From Iannelli [46] and Magal [47], if the initial condition satisfies (), then system (1) has a unique continuous solution in Therefore, we can define a solution semiflow of (1) by .


It follows from (1) thatwhere , . This leads to .which means that , where .

Becausewe obtain .

The setis a positive invariant and attracting subset for system (1).

3. Analysis of Model (1)

3.1. The Existence of Equilibria and Basic Reproduction Number

System (1) always has an infection-free equilibrium , where .

Denotewhere .

Definewhere is the basic reproductive ratio of model (1) and is the portion from cell-free virus infection while is from the other transmission route (see details in [40]).

When is greater than 1, the model has a positive equilibrium, given by , which satisfies

Straightforward calculation yields the infected equilibrium:

3.2. Local Stability

Let be any equilibrium of (1). After linearizing (1) at , we get the characteristic equation as follows:where denotes the eigenvalue of the characteristic equation (14) and . Obviously, the equilibrium of (1) is LAS (i.e., locally asymptotically stable) if the real parts of the roots of equation (14) are all negative; if at least one eigenvalue of (14) has a positive real part, then the equilibrium of (1) is unstable.

Theorem 1. The infection-free equilibrium of system (1) is LAS when and it is unstable when .

Proof. The characteristic equation of equilibrium of system (1) can be simplified aswhereTherefore, the stability of is decided by the roots of the equation . When , we want to show that the real parts of all the roots of are negative. It is proved by contradiction. Let be a root of with nonnegative real part. It follows from equation (16) thatwhich leads to a contradiction since . Thus, we know that each root of equation (15) is negative or has negative real part. Therefore, infection-free equilibrium is LAS when .
If , we have . From , the equation has at least one positive real root, which means that the equilibrium is unstable for .
Next, we show that when , the positive equilibrium is LAS.

Theorem 2. When , the infected equilibrium of (1) is LAS.

Proof. Using the equilibrium equality and equation (14), we have the characteristic equation at :We now claim that equation (18) has no root with a nonnegative real part. If it is not, let us assume that it has a root with . Equation (18) becomes the following by dividing :Taking the modulus of the two sides of equation (19), we havewhich is a contradiction. Therefore, the equilibrium is LAS when .

4. Global Dynamics of (1)

In the present section, by using suitable Lyapunov functionals, we establish the global asymptotic dynamics of the equilibria of (1). The results acquired in the following indicate that the GAS (i.e., global asymptotic stability) is completely determined by the basic reproduction number. We start with the global stability of by applying the method of Lyapunov functionals when (see proof in Appendix A).

Theorem 3. The infection-free equilibrium of (1) is GAS when .
To prove the equilibrium of (1) is GAS, we need some preparation.
Let byfor . DefineGiven any , we have . From Lemma 3.2 of Hale [48] and Theorem 3.2 of Thieme [49], one can obtain the following results with standard arguments (also see Chen et al. [50]).

Theorem 4. Suppose . Then, the following statements are true. (i) There exists a global attractor for the solution semiflow of (1) in . (ii) System (1) is uniformly strongly -persistent, that is, there exists (independent of initial values) such thatIt can only contain points that pass through their total trajectories because the global attractor is invariant. A total trajectory of is a function ensuring that for all and . For a total trajectory, for all and . The alpha limit of a total trajectory passing through is

Corollary 1. We assume that . Then, there exists such that for all , where is any total trajectory in .

Proof. Since is attracting and invariant, there is ensuring thatFor , from the first equation of system (1), we getwhich leads toBy invariance, for all .
It follows from Theorem 4 that there is ensuring thatThis, combined with system (1), givesTherefore, we haveand thus for by invariance again.
It follows from the last equation of (1) thatThus,Letting , we complete the proof.
The following theorem establishes the GAS of using the methods of Lyapunov functionals when . The proof is given in Appendix B.

Theorem 5. The infected equilibrium of system (1) is GAS when .

5. The Optimal Control Problem

To obtain the optimal treatment strategies, we study the following model with controls

One control term is the effectiveness of RTIs, which block new infection. The other control term denotes the effectiveness of PIs, which reduce the number of infectious virions.

We minimize the objective functionalwhere is the duration of the treatment and are the positive weight coefficients to balance the control functions and the quantity of virus particles. The aim of this section is to minimize the objective functional defined in equation (34) by decreasing the viral load and the cost of drug treatment. The two control functions and represent the efficacy of RTIs and PIs satisfying .

Problem 1. We seek optimal controls and such thatsubject to system (33) with the boundary conditionand the initial valuesWe noticed that the existence of optimal control functions to Problem 1 can be obtained by the methods used in [51, 52].
By the discretization-differential approach [52], we divide into a number of classes from age 0 to , changing the age-structure model (33) to ODEs. We differentiate the ODEs to get an adjoint (costate) system. Let be a partition of with , and . The discrete system isLet and . The constraint equations are given byIn the following, using the Pontryagin maximum principle [53], we will obtain the optimal control functions and . To achieve this, we introduce a Lagrange multiplier or adjoint variable and define the Lagrangian as follows:where are the penalty multipliers satisfying at and are the optimal controls.

Theorem 6. Given optimal controls and solutions with respect to the corresponding constraint equation (1) that minimize the objective functional (34), there exists an adjoint variable satisfyingwith the terminal conditions . Furthermore, the optimal control functions and are given by

Proof. According to the necessary conditions of the fixed points of , the adjoint equations can be obtained by taking with the terminal conditions . The optimal controls and can be solved from the necessary optimal conditions and , respectively. That is,Therefore, one can solve the optimal controls as follows:Next, in order to derive a detailed expression for the optimal controls and without , we will study all possible cases for the optimal controls.Case I. If we consider the set , then we obtainCase II. If we consider the set , then we obtainCase III. If we consider the set , then we obtainThus, we have the optimal controls and in the forms of (42) by combining these three cases.

6. Numerical Simulations

6.1. Dynamics of the Latently Infected T Cells and Viral Load

We choose parameters according to a previous study [54]: cells , , virion , cell , , , , and . Numerical simulation of model (1) with initial values generates an infected equilibrium, which will be used as the initial value for model (1) under treatment.

We suppose that the activation rate of latently infected T cells satisfies the exponential decay function. The function is chosen as follows:where and denote the minimum activation rate and initial activation rate of , respectively. The parameter represents the decay parameter determining how fast decreases to its minimum value. Because these parameter values remain unknown, we choose , , and according to ref. [44] as default values in the following simulation.

Using these parameter values, we find and system (33) has the unique positive equilibrium , where cells ml−1, cells ml−1, cells ml−1, and RNA copies ml−1. Figures 2(a)2(d) show the dynamics of uninfected T cells, the latent reservoir, productively infected T cells, and viral load of the model without treatment, respectively. To describe the stability of the latently infected T cells, we choose . Thus, . In addition, we choose and such that , where . Thus, in the numerical simulation of the latent reservoir, age is divided into 100 equal intervals. The dynamical behaviors of latently infected T cells with different ages of infection are shown in Figure 2(b).

The aim of the present section is to analyze the latently infected T cell and virus dynamics after treatment. We use an overall drug effectiveness of the combination of RTs and PIs, i.e., [44]. For comparison, we show the dynamics of model (1) before treatment in Figure 3(a). We find that both the virus and latently infected cells converge to positive equilibria. In Figure 3(b), we show the dynamics under therapy by using and .

Both the latently infected T cells and viral load are predicted to go extinct in this scenario. However, the decay of the latently infected T cells and viral load is slow. In Figure 3(c), we use but assume that . Both the latently infected T cells and virus persist at a low level even under prolonged drug therapy.

6.2. Various Optimal Control Strategies

We performed numerical simulation of model (33) using the steady state of the model before treatment as the initial condition. When the optimal control is started at the infected equilibrium, we choose parameter such that . The effectiveness of RTIs control and the effectiveness of PIs are used to optimize the objective function (given by (34)). By studying the optimal treatment strategies, different control schemes are compared. We solve the optimality system numerically by applying the forward-backward sweep method [55] with Matlab. We choose the final time to be 1000 days. We investigate the following three cases.Case 1: the effectiveness of RTIs and the effectiveness of PIs . In this case, we take the weight constant values . In Figure 4, we obtain the optimal control diagram for (solid lines) and (dashed lines). In Figure 5, we observe that the control strategy results in an increase in the level of uninfected cells and a decrease in the viral load.Case 2: the effectiveness of RTIs and the effectiveness of PIs . We choose the weights and . In Figure 6, we show the optimal control solution for (solid lines) and (dashed lines). In Figure 7, we also see that the level of uninfected cells increases and viral load decreases despite oscillations.Case 3: the effectiveness of RTIs and the effectiveness of PIs .

We choose different weight constants to investigate the optimal control in this case. In Figure 8, we show the optimal control by choosing and fixing the other parameters as in Case 1. In Figure 9, we show the changes of uninfected cells and viral load under this optimal control. Uninfected cells increase and the viral load decreases under treatment. Using other combinations of the weight constants, we obtain the similar prediction. They are shown in Figures 10 and 11 for and in Figures 12 and 13 for .

7. Conclusion

HIV infection is still a serious public health problem in the world. More than 700000 people died of HIV-related causes in 2018 [56]. In addition to cell-free virus infection, HIV can also be transmitted directly from infected cells to uninfected cells. Although there is no cure for HIV infection at present, the antiretroviral drugs are effective and can control the viral level below the detection limit, largely preventing the spread of the disease [56]. HIV can remain at a low level despite long-term therapy. The latently infected T cells are considered to be a major barrier to viral eradication. In this paper, we developed and established an age-structured model of HIV latent infection with both cell-to-cell infection and cell-to-free transmission. We showed that the solution of system (1) is positive and ultimately bounded. We derived the basic reproduction number , which is an important threshold value to decide the global dynamics of the model. According to Theorems 1 and 3, the infection-free equilibrium is GAS when , which means that HIV infection is predicted to be eliminated. To obtain the global stability of the infected equilibrium , we proved the uniform persistence of system (1), followed by the global threshold dynamics using the approach of Lyapunov functionals when . Numerical simulations were performed to illustrate the asymptotic behavior of the solution (Figure 2). We found that the balance between the activation rate and the net generation rate of latently infected T cells plays a critical role in generating the slow decay of the latent reservoir (see Figure 3) and the persistence of low viral load during treatment.

There are various classes of antiretroviral drugs targeting different stages of viral infection and replication. In order to achieve the optimal treatment strategies and the necessary conditions that minimize the cost of drug treatment and the viral level, we have formulated an optimal control problem using the age-structured model (33). We obtained the optimal control solutions and using the Pontryagin maximum principle [53]. In numerical simulations, we chose different weight constants and explored different treatment strategies (e.g., treatment with a single class of drugs or a combination of different classes of drugs). In any case, the optimal control strategy resulted in a decrease in the viral load and an increase in the level of uninfected cells.


A. Proof of Theorem 3

In this section, we prove Theorem 3. We define a Lyapunov functionalwhere

Calculating the derivative of along the solution of system (1), we have

Since and , we have