Abstract

Numerical analysis and optimization tools are used to suggest improved therapies to try and cure HIV infection. An HIV model of ordinary differential equation, which includes immune response, neutralizing antibodies, and multidrug effects, is improved. For a fixed time, single-drug and two-drug treatment strategies are explored based on Pontryagin’s maximum principle. Using different combinations of weight factor pairs combining with special upper-bound pairs for controls, nine types of treatment policies are determined and different therapy effects are numerically simulated with a gradient projection method. Some strategies are effective, but some strategies are not particularly helpful for the therapy of HIV/AIDS. Comparing the effective treatment strategies, we find a more appropriate strategy with maximizing the number of uninfected CD4+T-cells and minimizing the number of active virus.

1. Introduction

Up to date, drug treatments are still available control methods of HIV/AIDS. Reverse transcriptase inhibitors (RTIs) can inhibit HIV RNA from being converted into DNA, thus blocking integration of the viral code into the target cell. Protease inhibitors (PIs) function by preventing the assembly of key viral proteins after they have been produced by the infected host cell. Therefore, PIs effectively reduce the number of infectious virus particles released by an infected cell. HAART consists of combined drug regimens that include two, or three, nucleoside agents alone or two nucleoside agents combined with a protease inhibitor, or a nonnucleoside reverse transcriptase inhibitor [1]. This paper explores the effects of a combination of a protease inhibitor and a nucleoside reverse transcriptase inhibitor.

Mathematical models are often used to study HIV/AIDS spread and host-drug-virus interactions to make assumptions and to suggest new methods for its optimal control. Zurakowski and Teel [2] developed a model to determine optimal treatment interruption schedules, simulate therapeutic vaccine, and induce Cytotoxic T Lymphocyte (CTL) mediated control of HIV infection. Karrakchou et al. [3] proposed an infectious model which described the interaction of HIV virus and the immune system of the human body to investigate the fundamental role of chemotherapy treatment in controlling the virus reproduction and to determine the optimal methodology for administering antiviral medication therapies to fight HIV infection. Garira et al. [4] studied an optimal control problem including immune response and multidrug effects for HIV multitherapy enhancement. However, although most of the previous researches took the Cytotoxic T Lymphocytes (CTL) into account, they ignored the neutralizing antibodies, and very few studies have been carried out on comparing the outcomes before and after using antiviral drugs.

In this paper, we use numerical analysis and optimization tools to suggest improved therapies to try and cure HIV infection for an improved HIV model of ordinary differential equation, which includes immune response, neutralizing antibodies, and multidrug effects. We use two controls, one simulating effect of RTIs, and the other control simulating effect of PIs. We determine nine types of treatment strategies, which including single-drug controls and two-drug controls, based on different combinations of weight factor pairs combining with special upper-bound pairs for controls. The rest of this paper is organized as follows. In Section 2, an HIV model with antibody response is extended and an optimal control problem for HIV/AIDS is established. In Section 3, the existence of optimal control pair is investigated. In Section 4, the optimal control pair (the optimality system) is derived by using Pontryagin’s maximum principle [57]. In Section 5, some numerical results of optimal treatment policies are illustrated. In Section 6, we conclude by discussing the results of the numerical simulations based on different weight coefficients and upper-bounds for controls.

2. The Model

In 2005, an optimal control problem including immune response and multidrug effects for HIV multitherapy enhancement, was studied by Garira et al. [4]. For a fixed time, a two-drug treatment strategy was obtained based on Pontryagin’s minimum principle. The quadratic objective function considered takes into account two contributions: the viral load and the quantities of drug used. Simulations were carried out using an indirect optimization method. At each step the differential system was solved using Runge-Kutta five order scheme. Results highlighted that a progressive reduction of reverse transcriptase inhibitor (RTIs) drug dose on the one hand along with on the other hand a progressive increase of protease inhibitor (PIs) one was needed for optimality.

Garira et al. [4] take the cytotoxic T lymphocytes (CTL) into account, however, they ignore the neutralizing antibodies and latent period. The antibodies can combine with the virus such that the virus cannot get into target cells and protect a host against the infection by HIV-1. They can be induced several weeks after infection [811]. These facts mean that the neutralizing antibodies are important in the early stage of the infection. Because the antibodies are secreted by effector B cells, we add a term , which represents the concentration of effector B cells, to the control system. Since the differentiation and proliferation of B-cells to effector B-cells need the help of CD4+T-cells, we assume the generation rate is . A simple mass-action type of term will be used with rate constant . As HIV-1 mutates rapidly, the average term of validity of effector B-cells is shorter than normal, we multiply the death rate, , by a positive constant . Thus, the term should satisfy the following equation:

Because of the assumption that the antibodies’ concentration is proportional to effector B cells’ concentration, the neutralizing rate should be expressed by and (4) should be modified to the following equation:

Since viral DNA once integrated in cell nucleus, may remain dormant, in the latent stage, we also take the latent period into account as in [11, 12]. Furthermore, we assume that latently infected cells, which have not yet produced virus, switch to productively infected cell with rate . Let be the concentration of latently infected CD4+T cells, then we have which implies that (3) should be modified to the following equation: where represents fraction of latently infected CD4+T cells in infected cells production, and so the term is added to and is added to .

Thus, a new HIV treatment system is established as the following system: where denote the concentration of uninfected CD4+T cells, latently infected CD4+T cells, actively infected cells, CD4+T cells, infectious viruses, cytotoxic lymphocytes effector, and B cells, respectively. Drugs efficiency is represented by the controls and which account for reverse transcriptase inhibitors and protease inhibitors actions, respectively.

This is a modification of model for HIV infection considered in Garira et al. [4]. In view of the importance of neutralizing antibody especially in the early stage of the infection, we add a term as in Zhou et al. [11], which describes effector B cells, to the control system. We chose effector B cells as antibody response because the antibodies are secreted by effector B cells.

Uninfected cells are generated at a constant rate and are proliferated at the rate , where is the proliferation rate and is a parameter that determines the amount of antigen needed to generate half maximal stimulation. Uninfected cells die at a rate of , implying that the average lifetime of an uninfected cell is , and destruct at a rate of due to the influence of toxic viral proteins, where is the rate of apoptosis and is a parameter that determines the scale at which engagement of apoptosis receptors begins to take effect. Uninfected cells may become infected cells at a rate of , where is the rate of infection of CD4+T cells by virus and is the efficiency of each CTL in reducing CD4+T cells infection while represents efficiency of RTIs in blocking the recoding process. Infected cells die at a rate of , meaning that the average lifetime of an infected cell is , and are lysed by CTLs at a rate of . Free infectious virus is replicated at a rate of , where an average of virus particles are released per infected cell and is the rate at which each CTL suppresses virus production while represents efficiency of PIs in reducing infection.

Using the method in [13] combined with the least square estimation, we fit the parameters keeping the rest of parameters in [4] unchanged; the fitting data comes from the literature [14]. We employ the data of patient 7 and patient  9 in [14] to estimate the parameters and get the range of the parameters : , : , .

Thus, definitions and values of the parameters used in this model are given in Table 1 (see also [4] with references for old parameters).

Our objective functional is also defined as

The first term represents the benefit of T cells and other terms are systemic costs of drug treatments. The positive constants and balance the size of the terms, and reflect the severity of the side effects of the drugs. We seek an optimal control pair, , such that

3. Existence of an Optimal Control Pair

Theorem 1. For the control problem (11), there exists an optimal control pair that maximizes the objective functional .

Proof. To use an existence result, Theorem from [15], we must check the following properties. (1)The set of controls and corresponding state variables is nonempty.(2)The control set is convex and closed.(3)The right hand side of the state system is bounded by a linear function in the state and control variables.(4)The integrand of the objective functional is concave on .(5)There exist constants and such that the integrand of the objective functional is bounded above by
First, an existence result in Lukes ([16], Theorem ) for the control system (11) for bounded coefficients is invoked, which gives condition 1. The control set is closed and convex by definition. Since the control system is bilinear in , the right hand side of (11) satisfies condition 3, using the boundedness of the solutions obtained by the analytical method in [17]. Note that the integrand of the objective functional is concave on the admissible control set . Also we have the last condition needed where depends on the upper-bound on and since . We conclude that there exists an optimal control pair. This completes the proof.

4. Optimality System

Denote Hamiltonian , , as where are costate variables. By Pontryagin’s maximum principle, we have the following Theorem.

Theorem 2. If are optimal controls of the optimal control problem (11)–(13), are the corresponding optimal paths, then there exist costate variables ( ) such that, besides the fact that control system (11) is satisfied, the following conditions are satisfied:(i) costate equations: (ii)optimality conditions:
which imply that (iii)transversality conditions:

The optimality system consists of control system (11) coupled with the costate equation (17) with the initial conditions and transversality conditions together with the characterization of the optimal control pair (19).

Remark 3. Using similar method in [11], we can obtain the uniqueness of solution to the above optimality system when is sufficiently small. We omit it

5. Numerical Illustration

Analytical solutions for optimal control are difficult to obtain since the system is nonlinear. In this section, we use gradient projection method to solve the optimal control problem numerically for an intuitive solution. The ODE is discrete with Euler discrete format and the costate equations of the recurrence equations produced by discretion are employed to calculate the gradient. The dynamic systems response is exactly computed with adjusted control history from one iteration to the next to increase objective function at each step. The iterations continue until convergence is achieved. The convergence criterion is the norm of the gradient projection on feasible control field. The convergence rate of this method is slow, but it is convergent in the problem of this paper.

Linked to the work in [4], we set the initial conditions , , , , , , weight factors are the combinations of 125000 and 125, and the drug doses are up bounded by and , respectively, a limitation is for the purpose of exploring optimal chemotherapy treatment to avoid an excessive use of drugs as indeed when these drugs are administered in high dose they are toxic to the human body and cause damage. We choose a 50-day treatment period in keeping with what is in [4] on treatment of HIV/AIDS. In the following sections, we will only draw the paths of uninfected CD4+T-cells and virus particles , because people may be more interested in the number of uninfected CD4+T-cells and virus particles rather than other cells in clinical practice. Also, we will plot the path relative to or without any control at each drawing for comparing the treatment effect before and after the chemotherapy is introduced. This paper will illustrate nine cases for different combinations of the weight factors pairs ( ) combining with two kinds of upper-bounds for a 50-day treatment schedule. These strategies include:(i)Strategy I: only use of PIs with sufficiently small ;(ii)Strategy II: only use of PIs with sufficiently large ;(iii)Strategy III: only use of RTIs with sufficiently large and smaller ;(iv)Strategy IV: only use of RTIs with sufficiently small and smaller ;(v)Strategy V: use both RTIs and PIs with and smaller ;(vi)Strategy VI: use both RTIs and PIs with sufficiently small and smaller ;(vii)Strategy VII: use both RTIs and PIs with and smaller ;(viii)Strategy VIII: use both RTIs and PIs with sufficiently large and smaller ;(ix)Strategy IX: use both RTIs and PIs with sufficiently small and larger .

Remark 4. The extra Strategy IX is considered to compare the different treatment effects for the two-drug strategies with similar weight factors, but with different upper-bounds for the control .

Let and let , then we can get the optimal treatment policy with single PIs, that is, Strategy I. Figure 1 is plotted by using ,   , , and and keeping the rest of the parameters unchanged. The number of uninfected CD4+T-cells in Figure 1 is obviously higher than one without any control, while the number of virus particles is evidently lower than one without any control about 4 days after beginning therapy, which implies that the treatment only using PIs with sufficiently small weight coefficient can effectively improve the patients’ condition although the treatment effect begins to reduce from the 41th day. The optimal drug administration schedule of PIs is with maximal effort for a longer period of about 38 days (4th–41th day), but with almost no treatment in the other times including initial stages and final stages.

Figure 2 is plotted using ,   , , and , and keeping the rest of parameters unchanged under the assumption of . Figure 2 represents the treatment policy only using PIs with sufficiently large weight coefficient, that is, Strategy II. The optimal schedule recommends that the dose of PIs is extremely low (less than 0.00035). But, the dynamics of uninfected CD4+T-cells and active virus in Figure 2 hints no improvement for treatment. In other words, Strategy II is not useful for the therapy of HIV/AIDS.

Figure 3 is plotted by using ,   , , and , and keeping the rest of parameters unchanged under the assumption of . Figure 3 represents the treatment policy only using RTIs with sufficiently large weight coefficient, that is, Strategy III. The optimal schedule recommends that the dose of RTIs is decreasing. But, the dynamics of uninfected CD4+T-cells and active virus in Figure 3 means no improvement for treatment.

Figure 4 is plotted by using , , , and , and keeping the rest of parameters unchanged under the assumption of . Figure 4 represents the treatment policy only using RTIs with sufficiently small weight coefficient, that is, Strategy IV. The dynamics of uninfected CD4+T-cells and active virus in Figure 4 implies no improvement for treatment, though the maximal effort for control is needed.

Figure 5 is plotted by using (for instance, and ), , and , and keeping the rest of the parameters unchanged. Figure 5 represents Strategy V and shows that the number of uninfected CD4+T-cells is obviously added, while the number of virus particles is evidently reduced about 4 days after beginning therapy. The optimal schedule recommends that the dose of RTIs is extremely low (majority less than 0.0005) and in the opposite PIs is used with maximal effort during its valid term (4th–41th day).

Figure 6 is plotted using sufficiently small (for instance, and ), , and , and keeping the rest of the parameters unchanged. Figure 6 represents Strategy VI and gives the similar results as Strategy V. But the optimal schedule recommends that the dose of RTIs is used with maximal effort during almost whole treatment period and PIs is used with maximal effort during its valid treatment term (4th–41th day).

Figure 7 is plotted using (for instance, and ), , and , and keeping the rest of the parameters unchanged. Figure 7 represents Strategy VII and shows that the number of uninfected CD4+T-cells is not yet added, while the number of virus particles is not yet reduced though two-drug treatment has been implemented during whole therapy period. This means that the Strategy VII is not at all helping the therapy of HIV/AIDS.

Figure 8 is plotted using sufficiently large (for instance, and ), , and , and keeping the rest of the parameters unchanged. Figure 8 represents Strategy VIII and gives a similar ineffective-treatment result as Strategy VII, although two-drug treatment is implemented.

Remark 5. From Figures 18, we find that no strategies except Strategy I, Strategy V, and Strategy VI are very helpful for the therapy of HIV/AIDS, which means that all of the single-drug treatment strategies with RTIs are ineffective, or at least are not very effective. These theoretical evidences also show the fact that using a single RTIs is not an effective clinical strategy for therapy of HIV/AIDS.

Remark 6. We also find that the treatment policies with sufficient large weight coefficients are all useless, or at least are not particularly helpful, which implies that high costs may have critical implications for the treatment of HIV. Moreover, among the strategies with effective treatment, the treatment effect using Strategy V and Strategy VI (with two-drug control) seems similar as the one using Strategy I (with single-drug control (PIs)). Is it really true? When the upper-bound for control in the strategies with two-drug treatment is added (a hundredfold, for instance), the Strategy VI can get better treatment effect than the Strategy I, which implies that two-drug control strategy with small weight factors, when RTIs are improved but PIs unchanged, is more effective than single-drug control strategy with PIs. Figure 9 (Strategy IX) illustrates this case. But, whatever the upper-bound is, the treatment effect using Strategy V (with large weight factor for RTIs) is almost consistent with the one using Strategy I, which shows, again, that large weight factor (i.e., high cost) may counteract treatment effect.

Remark 7. Comparing, respectively, the maximal value of (608) and the minimal value of (40) in Figure 6 with the maximal value of (620) and the minimal value of (21) in Figure 9, we find that the treatment effect for the strategy using both RTIs and PIs with sufficiently small weight factors has not gotten remarkably improved even after the upper-bound for the control is increased a hundredfold. This implies that only increasing dosage of RTIs for the effective two-drug control strategies cannot markedly improve the patient’s health condition.

Remark 8. Overall, Strategy V, Strategy VI, and Strategy IX show that combined treatment such as above two-drug therapy is more effective than single-drug cure. This fact may help to explain why the HAARP is still the most effective method for therapy of HIV/AIDS till now.

6. Conclusion and Discussion

In this research, a deterministic HIV model including immune response, neutralizing antibodies, and multidrug effects is improved. Optimization theories are used to derive optimal control solution and to design improved clinical treatments. The existence for the optimal control problem is proved, the optimality system is derived, and a gradient projection method is applied to numerically simulate different therapy effects. On the basis of combinations of weight factors and upper-bounds for controls, we establish some of much interesting or even strange treatment strategies including four types of single-drug controls and five types of two-drug controls, where a large weight coefficient means a high cost of the corresponding drug. Among the nine strategies, no strategy except the Strategy I, Strategy V, Strategy VI, and Strategy IX is helpful for the therapy of HIV/AIDS, which means that the single-drug treatment with RTIs is ineffective for treating HIV/AIDS, or at least is not very effective. These theoretical evidences also show the fact that using a single RTIs is not an effective clinical strategy for therapy of HIV/AIDS. We also find that the treatment policies with higher cost are not useful, or at least are not particularly helpful. Among those strategies with effective treatment, the policy using two-drug control with lower cost should be the best clinical one because it can more efficiently increase the number of uninfected CD4+T-cells and decrease the number of virus particles. And, overall, combined treatment is more effective than single-drug cure. This fact may help to explain why the HAARP is always regarded as the most effective method for therapy of HIV/AIDS.

But, why can the larger weight factor counteract the use of drug? Is it possible that, as indicated by Figure 2 and Figure 8, the higher cost results in the lower dosage of drug? For the effective two-drug treatment policies, why has the treatment effect not gotten markedly improved even after the dosage of RTIs is increased manyfold? Further researches need to be done in the future.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

This research was supported by the Natural Science Foundation of China (11271371) (71272209), and the Humanity and Social Science Foundation of Ministry of Education of China (12YJA630170), and the Natural Science Foundation of Hunan Province (12JJ3081). Thank are due to the reviewer’s comments for this paper.