- Journal List
- NIHPA Author Manuscripts
- PMC2265667

# Modeling within-host HIV-1 dynamics and the evolution of drug resistance: trade-offs between viral enzyme function and drug susceptibility

^{*}Department of Mathematics, Purdue University, West Lafayette, IN 47907, USA

^{†}Department of Ecology and Evolutionary Biology, University of Tennessee, Knoxville, TN 37996, USA

^{‡}Theoretical Biology and Biophysics Los Alamos National Laboratory MS K710 Los Alamos NM 87545 USA

^{§}Corresponding author: Tel: +1 505 667 6829; fax: +1 505 665 3493; E-mail address: vog.lnal@psa (A. Perelson)

## Abstract

There are many biological steps between viral infection of CD4^{+} T cells and the production of HIV-1 virions. Here we incorporate an eclipse phase, representing the stage in which infected T cells have not started to produce new virus, into a simple HIV-1 model. Model calculations suggest that the quicker infected T cells progress from the eclipse stage to the productively infected stage, the more likely that a viral strain will persist. Long-term treatment effectiveness of antiretroviral drugs is often hindered by the frequent emergence of drug resistant virus during therapy. We link drug resistance to both the rate of progression of the eclipse phase and the rate of viral production of the resistant strain, and explore how the resistant strain could evolve to maximize its within-host viral fitness. We obtained the optimal progression rate and the optimal viral production rate, which maximize the fitness of a drug resistant strain in the presence of drugs. We show that the window of opportunity for invasion of drug resistant strains is widened for a higher level of drug efficacy provided that the treatment is not potent enough to eradicate both the sensitive and resistant virus.

**Keywords:**HIV-1, Drug resistance, Viral fitness, Mathematical model, Viral dynamics

## 1 Introduction

Mathematical models have proven valuable in the understanding of human immunodeficiency virus type 1 (HIV-1) dynamics, disease progression and antiretroviral responses (see reviews in [38, 39, 41, 42]). Many important insights into the host-pathogen interaction in HIV-1 infection have been derived from mathematical modeling and analyses of changes in the level of HIV-1 RNA in plasma when antiretroviral drugs are administered to perturb the equilibrium between viral production and viral clearance in infected individuals [22, 43, 44, 58].

In a basic HIV model that has been frequently used to describe virus infection, there are three variables: uninfected CD4^{+} T cells, productively infected T cells, and free virus [38, 43]. In this model, infected cells were assumed to produce new virions immediately after target cells were infected by a free virus. However, there are many biological processes between viral infection and subsequent production within a cell. For example, after viral entry into the host cell, the viral RNA genome is reverse transcribed into a complementary DNA sequence by the enzyme reverse transcriptase (RT). The DNA copy of the viral genome is then imported into the nucleus and integrated into the genome of the lymphocyte. When the infected lymphocyte is activated, the viral genome is transcribed back into RNA. These RNAs are translated into proteins that require a viral protease to cleave them into active forms. Finally, the mature proteins assemble with the viral RNA to produce new virus particles that bud from the cell. The portion of the viral life cycle before production of virions is called the eclipse phase. Several mathematical models have been developed that either introduce a constant (discrete) delay [11, 14, 21, 34] to denote the eclipse phase, or assume that the time delay is approximated by some distribution functions (e.g., a gamma distribution) [30, 35]. The introduction of a time delay in models of HIV-1 primary infection to analyze the viral load decay under antiretroviral therapy has refined the estimates of important kinetic parameters, such as the viral clearance rate and the mortality rate of productively infected cells [34, 35]. Some more complex models, including age-structured models, have been employed to study virus dynamics [33] and the influence of drug therapy on the evolution of HIV-1 [26, 50].

It should be noted that the above-mentioned age-structured models essentially treat the transition of a cell from the uninfected state to the productively infected state as a deterministic process by taking into account the time delay that occurs between various steps in the virus life cycle within a target cell. In contrast, in this study we incorporate an eclipse stage to describe the stage of an infected cell between viral attachment and generation of new virus. The present stage-structured model implicitly treats the progression of an infected cell from the initial infection to subsequent reproduction as an exponentially distributed process. We have chosen to adopt the stage-structured approach because it allows us to explore mechanistically biological trade-offs between protein functions and drug resistance while avoiding the complications of time delay models.

The advent of highly active antiretroviral therapy (HAART) has been an important breakthrough in HIV-1 treatment, resulting in a great reduction in the morbidity and mortality associated with HIV infection [52]. However, the clinical benefits of combination therapy are often compromised by the frequent emergence of drug resistance driven by the within-host selective pressure of antiretroviral drugs [7]. In addition, the persistence of viral reservoirs, including latently infected resting memory CD4^{+} T cells that show minimal decay even in patients on HAART up to many years [6, 17, 60], has been a major obstacle to the long-term control or eradication of HIV-1 in infected individuals.

Drug resistance results from mutations that emerge in the viral proteins targeted by antiretroviral agents. Most of our knowledge regarding resistance comes from the genotypic analysis of virus isolates from patients receiving prolonged drug treatment [28]. Important insights into the mechanisms underlying the evolution of drug resistant viral strains have also been derived from mathematical modeling of virus dynamics and antiretroviral responses [3, 27, 37, 48, 49, 56]. Both deterministic and stochastic modeling approaches suggest that treatment failure is mostly likely due to the preexistence of drug resistant strains before the initiation of therapy rather than the generation of resistant virus during the course of treatment [3, 48]. The evolution of HIV resistance is associated with selective pressures exerted by drug treatments that are not potent enough to completely suppress the viral replication. The longer the drug efficacy remains in the intermediate range, the greater the possibility that drug resistant virus variants will arise during therapy [32]. Nonetheless, the conditions of mutant selection are very complex in treated patients due to time-dependent intracellular drug concentrations in vivo [14, 24] and spatial heterogeneity [25]. The management of such patients requires a careful understanding of the mechanistic evolution of HIV-1 variants during treatment.

The evolution of resistant strains in the presence of drugs is thought to depend on inherent trade-offs that exist between the proper functioning of HIV's reverse transcriptase and protease enzymes and their reduced susceptibility to antiretroviral regimens in their mutated forms. Indirect evidence for such trade-offs is found in the observation that there is a reduction in replication capacity for drug resistant virus variants in the absence of drug therapy [8, 36]. These trade-offs not only help explain that even after drug resistance arises viral load often remains partially suppressed below pre-therapy levels but also could be potentially exploited in order to better manage the evolution of drug resistance within a patient.

The main purpose of this study is to develop a mathematical framework that can be used to formalize and examine simple hypotheses about the life-history trade-offs that allow drug-resistant viral strains within a patient to persist in the presence of drug therapy. We incorporate the eclipse phase of viral replication into a mathematical model to characterize the stage during which infected CD4^{+} T cells have not yet started to produce new virus. The inclusion of the progression of infected cells from this eclipse phase to the productive stage enables us to capture more variability in HIV dynamics. We observe that the strain of virus with a faster progression rate essentially has a quicker process of reverse transcription of RNA into DNA and integration of the DNA into the chromosome, which gives rise to an increased chance for that viral strain to persist. More importantly, our approach allows us to link drug resistance to reverse transcriptase inhibitors to the progression of the eclipse phase and identify the optimal evolutionary strategy for the drug resistant strain under some simple assumptions. It is widely believed that most HIV drug resistance mutations affect highly conserved amino acid residues that are thought to be important for optimal enzyme functions, and thus for the full replicative potential of virus [8]. Consequently, we assume that in the absence of drug therapy the wild-type strain will evolve to replicate as fast as possible and produce as many new virions as possible. Thus, a viral strain with a slower progression rate, which is operating suboptimally, will possibly have a higher level of resistance to antiretroviral drugs, creating a trade-off between the progression rate and the drug efficacy of reverse transcriptase inhibitors. In addition, there are trade-offs between the viral production rate and the clearance rate of productively infected cells [12], and between the viral production rate and the drug efficacy of protease inhibitors (see the last section for more discussions). We will investigate how these trade-offs may affect the fitness of drug-resistant viral strains in the presence of drugs at different concentration levels. The optimal progression rate and the optimal viral production rate are derived by maximizing the viral fitness of drug-resistant strains. An invasion criterion of resistant strains is also obtained in the presence of drug therapy. Both analytical results and numerical simulations suggest that with a more effective drug treatment (yet not potent enough to eradicate the virus), a wider range of drug-resistant strains will be able to invade in response to the selective pressure of drugs.

## 2 Model formulation

A basic mathematical model has been widely adopted to describe the virus dynamics of HIV-1 infection *in vivo* (see [43] and reviews in [38, 39, 41]). Important features of the interaction between virus particles and cells have been determined by fitting the model to experimental data. In this paper, we extend the basic model by including a class of infected cells that are not yet producing virus and two viral strains to study the evolution of drug resistant strains.

### 2.1 Inclusion of cells in the eclipse phase

After a virus enters a target CD4^{+} T cell, there are a number of biological events before the production of new virions: reverse transcription from viral RNA to DNA, integration of the DNA copy into the DNA of the infected cell (the integrated viral DNA is called the provirus), transcription of the provirus and translation to generate viral polypeptides, cleavage of polypeptides by the HIV protease, assembly and budding of new virus. Perelson et al. [40] examined a model for the interaction of HIV with CD4^{+} T cells that considers a class of infected T cells, which contain the provirus but are not producing virus. In this work, we begin with a modification of the model in [40], and then incorporate antiretroviral effects to study the evolution of drug resistance.

As suggested in [63], when a virus enters a resting CD4^{+} T cell, the viral RNA may not be completely reverse transcribed into DNA. If the cell is activated shortly following infection, reverse transcription can proceed to completion. However, the unintegrated virus harbored in resting cells may decay with time and partial DNA transcripts are labile and degrade quickly [64]. Hence a proportion of resting infected cells can revert to the uninfected state before the viral genome is integrated into the genome of the lymphocyte [15]. To model these events, we include a class of infected cells in the eclipse stage of viral replication, i.e., the stage between the initial infection and subsequent viral production. Thus, a portion of infected cells in the eclipse phase can revert to the uninfected class. Let *T*(*t*),
${T}_{E}^{*}(t)$, *T**(*t*) and *V*(*t*) denote the concentrations of uninfected CD4^{+} T cells, infected cells in the eclipse stage, productively infected cells, and free virus particles at time *t*, respectively. The model can be described by the following equations:

where *λ* is the recruitment rate of uninfected T cells, *d* is the per capita death rate of uninfected cells, *k* is the rate constant at which uninfected cells get infected by free virus. *δ* is the per capita death rate of productively infected cells, *p* is the viral production rate of an infected cell, and *c* is the clearance rate of free virus. Cells in the eclipse phase revert to the uninfected *T* class at a constant rate *b*. In addition, they may alternatively progress to the productively infected class *T** at the rate , or die at the rate *δ _{E}*. Notice that our model assumes that the expected residence time of a cell in the eclipse phase is exponentially distributed, and the parameter is determined, in part, by the activity of reverse transcriptase. For example, if reverse transcription is quick, then will be large and the infected cells in the eclipse phase will progress to the productively infected state with a high probability, i.e., /(

*b*+ +

*δ*).

_{E}As with the basic HIV model, there are two possible steady states of model (1). One steady state is the infection-free steady state, the other is the infected steady state.

If we define

then it can be shown in Appendix A that the infected steady state exists if and only if _{0} > 1. In fact, _{0} can be written as the product of *kλp*/(*dcδ*) and /(*b* + + *δ _{E}*). Obviously,

*kλp*/(

*dcδ*) is the basic reproductive ratio of the standard model without the eclipse phase. /(

*b*+ +

*δ*) is the probability that an infected T cell survives the eclipse phase. Therefore,

_{E}_{0}in (2) defines the basic reproductive ratio for model (1). It is further shown that

_{0}determines whether the virus population dies out or persists. The infection-free steady state

*Ē*is locally asymptotically stable (l.a.s.) if

_{0}< 1 and unstable if

_{0}> 1. The infected steady state

*Ẽ*is l.a.s. whenever it exists, i.e., when

_{0}> 1.

It is clear that _{0} defined in (2) is an increasing function of the progression rate (a larger value of corresponds to quicker reverse transcription) and a decreasing function of the mortality rate *δ _{E}*. Thus, with all else equal, we expect that the viral strain that can complete reverse transcription more quickly is more likely to lead to a more severe infection (e.g., viral persistence at a higher infection level). This is supported by numerical simulations (Figures 1 and and22).

In Figure 1, _{0} is plotted as either a function of or a function of *δ _{E}*. In Figure 1 (a),

*δ*= 0.7 day

_{E}^{−1}(or ln 2/

*δ*= 1 day [63]) is fixed. It shows that

_{E}_{0}> 1 for > 0.23 day

^{−1}, in which case the viral load will converge to the infected steady state, and that

_{0}< 1 for < 0.23 day

^{−1}, in which case the virus population will die out (the infection-free steady state). In Figure 1 (b), = 1.1 day

^{−1}(or 1/ = 0.9 days [43]) is fixed. Other parameter values are chosen from the literatures:

*k*= 2.4 × 10

^{−8}ml day

^{−1}[40];

*λ*= 10

^{4}ml

^{−1}day

^{−1}[14]; d=0.01 day

^{−1}[31]; c=23 day

^{−1}[47];

*δ*= 1 day

^{−1}[29]. The viral production rate

*p*can be written as

*Nδ*, where

*N*(burst size) is the total number of virus particles released by a productively infected cell over its lifespan [43]. The estimate of burst size varies from 100 to a few thousands [19, 23] and possibly could be significantly larger [5]. Here, as an example, we choose

*N*= 4000. Thus,

*p*= 4000 day

^{−1}. Because only a small fraction of cells in the eclipse phase will revert to the uninfected state [15], we assume that

*b*=0.01 day

^{−1}.

Figure 2 demonstrates the dynamic behavior of the viral load for different progression rate or mortality rate *δ _{E}*. We observe that there is a viral peak followed by an oscillatory approach to a set-point value. As increases, the time needed to reach the peak viral load is shortened, while the amplitude of the peak and the subsequent set-point value are increased (Figure 2 (a)). We observe similar behaviors as the mortality rate

*δ*decreases (Figure 2 (b)). The steady state of the viral load is presented as either a function of (

_{E}*δ*= 0.7 day

_{E}^{−1}is fixed, see Figure 2 (c)) or a function of

*δ*( = 1.1 day

_{E}^{−1}is fixed, see Figure 2 (d)). These results show that the viral strain that has a larger progression rate or a smaller mortality rate

*δ*will have a higher viral steady state level, and thus is more likely to induce faster disease progression.

_{E}### 2.2 The model with two strains

To study the invasion of drug-resistant mutant variants into an environment in which the wild-type strain is already established, we incorporate both drug-resistant and drug-sensitive strains in the model (1) and get the following two-strain model:

where the subscripts *s* and *r* represent the drug sensitive and resistant strains, respectively.

For each strain, we obtain the corresponding reproductive ratio, which is given by

Let *Ẽ _{s}* denote the steady state in which only the drug-sensitive strain is present and

*Ẽ*denote the steady state in which only the drug-resistant strain is present. We prove in Appendix B that each steady state is biologically feasible if and only if the reproductive ratio for the corresponding strain is greater than 1. Furthermore, if

_{r}_{s}>

_{r}> 1, then

*Ẽ*is l.a.s. and

_{s}*Ẽ*is unstable. If

_{r}_{r}>

_{s}then

*Ẽ*is unstable and

_{s}*Ẽ*is l.a.s. Therefore, the resistant strain cannot invade the sensitive strain if

_{r}_{r}<

_{s}. If

_{r}>

*max*(

_{s}, 1) then the resistant strain is able to invade and out-compete the sensitive strain. We will apply this result to determine the criterion for invasion and to examine how the resistant virus may evolve to optimize its fitness in the presence of antiretroviral treatment.

### 2.3 The model with drug therapy and resistance

We modify model (3) by incorporating combination antiretroviral therapy. Currently, a combination of reverse transcriptase inhibitors (RTIs) and protease inhibitors (PIs) is commonly used in the treatment of HIV infection. RTIs interfere with the process of reverse transcription and prevent the infection of new target cells. PIs prevent infected cells from producing new infectious virus particles [38]. To incorporate these drug effects into our model, we define *ε _{RTI}* and

*ε*to be the efficacies of RTIs and PIs for the wild-type strain, respectively. We define these constants relative to the impact of the drugs on the most susceptible genetic variants of reverse transcriptase and protease. As a result,

_{PI}*ε*= 0 (

_{i}*i*=

*RTI*or

*PI*) implies that the inhibitor is completely ineffective against wild-type virus, while

*ε*= 1 implies that the inhibitor is 100% effective against them. Note that in reality 100% effectiveness may not be clinically feasible due to problems with drug delivery or absorption.

_{i}When *ε _{PI}* is say 0.7, this implies that 70% of the wild-type virus particles produced are non-infectious due to the action of the protease inhibitor. This population of virions has previously been denoted

*V*[43]. The remaining 30% of particles are assumed not to be affected by the PI and contain the same population of virions as in an untreated patient. Although this population has a mixture of infectious and non-infectious virions, it has been previously denoted

_{NI}*V*[43] and for simplicity called the infectious population. A more precise definition would call

_{I}*V*the virions not made non-infectious by the protease inhibitor. In the model below we will follow the drug sensitive and drug resistant forms of the

_{I}*V*population only, and denote them

_{I}*V*and

_{s}*V*, respectively. The equations for the drug sensitive and resistant virion populations corresponding to

_{r}*V*will be ignored as they can be decoupled from the system (see (5)).

_{NI}To model the reduced susceptibility of drug-resistant virus variants to antiretroviral agents, we assume that the drug efficacies of RTIs and PIs for the resistant strain are reduced by factors *σ _{RTI}* and

*σ*, respectively.

_{PI}*σ*and

_{RTI}*σ*are between 0 and 1. Therefore,

_{PI}*ε*and

_{RTI}σ_{RTI}*ε*are the drug efficacies of RTIs and PIs for the resistant strain.

_{PI}σ_{PI}*σ*= 1 (

_{i}*i*=

*RTI*or

*PI*) corresponds to the completely drug-sensitive strain while

*σ*= 0 corresponds to the completely drug-resistant strain.

_{i}In order to focus on the role of the progression rate of cells in the eclipse phase, , and the viral production rate, *p*, on the evolution of drug-resistant virus, we assume that all other parameters for the two strains in model (3) are equal, i.e.,

The cost of drug resistance will be discussed later.

The modified model including antiretroviral drugs and resistance can be described by the following equations:

In the above model, the progression rate of cells in the eclipse class to the productively infected state is reduced due to the effect of RTIs and the viral production rate of infectious virus is reduced due to the effect of HIV protease inhibitors. As noted above, the equations for the non-infectious particles generated by the PI decouple from the system. These equations are

The total drug sensitive and drug resistant populations are then ${V}_{s}+{V}_{s}^{NI}$ and ${V}_{r}+{V}_{r}^{NI}$, respectively.

Because HIV resistance is usually associated with changes of highly conserved amino acid residues that are believed to be essential for the optimal enzyme function, drug-resistant variants display some extent of resistance-associated loss of viral fitness in the absence of therapy [8, 9]. We incorporate this feature in our model by assuming a reduced progression rate and a reduced viral production rate *p* for the resistant strain. Based on the arguments given previously, we assume that infected cells of the wild-type strain, the most susceptible strain to drug therapy, have the maximal progression rate, * _{s}*, and the maximal viral production rate,

*p*. Therefore, for all resistant strains we have

_{s}*<*

_{r}*and*

_{s}*p*<

_{r}*p*.

_{s}We further assume that the resistance factor, *σ _{RTI}*, is an increasing function of

*. The justification for this assumption is the following.*

_{r}*is mainly determined by the activity of reverse transcriptase, and the more resistant a strain is to an RTI (a smaller*

_{r}*σ*) the more likely that the RT of that strain functions poorly (a smaller

_{RTI}*). Thus, we assume that*

_{r}*σ*is an increasing function of

_{RTI}*. Similarly, we assume that*

_{r}*σ*is an increasing function of the viral production rate

_{PI}*p*, which reflects the fact that the more drug-resistant a strain is to a protease inhibitor, the more poorly its protease functions and hence the lower the capacity to produce new infectious virus [8, 65].

_{r}As suggested in [10, 18], the mortality rate of productively infected cells is also an increasing function of the viral production rate. This is because the loss of cell resources utilized to produce virus may impair cell functions. In addition, cell-mediated immune responses are likely to rapidly kill cells expressing more viral proteins.

To summarize, in model (5) we have assumed that *σ _{RTI}*(

*),*

_{r}*σ*(

_{PI}*p*) and

_{r}*δ*(

_{r}*p*) are all increasing functions, with

_{r}*σ*(

_{RTI}*) =*

_{s}*σ*(

_{PI}*p*) = 1 and

_{s}*δ*(

_{r}*p*) =

_{r}*δ*when

_{s}*p*=

_{r}*p*, i.e.,

_{s}*δ*(

_{r}*p*) =

_{s}*δ*.

_{s}## 3 Results

In this section, we use model (5) and the results in previous sections to investigate the evolution of drug-resistant strains in the presence of antiretroviral treatment. Specifically, we study how the resistant virus evolves to maximize its fitness, and derive the range of drug efficacy in which the drug-resistant strain will be able to invade and out-compete the wild-type strain.

### 3.1 Optimal _{r} and *p*_{r} that maximize viral fitness

_{r}

_{r}

Within-host viral fitness has received increasing interest due to its potential clinical implications for viral load, drug resistance, and disease progression (see reviews in [8, 36, 46]). The term fitness is commonly used in clinical settings to describe the ability of a virus to effectively replicate in a particular environment. Due to the fact that drug-resistant virus is less susceptible to antiretroviral regimens, the mutant variant is more fit than the wild-type virus in the presence of drug, although resistance mutations may decrease the intrinsic capacity of the virus to replicate. In practice, it still remains unclear which assay is most appropriate to measure the fitness of HIV-1 isolates, and many studies have been performed to test different hypotheses that extend the definition of relative fitness (reviewed in [46]). The basic reproductive ratio is a commonly used measure of the absolute fitness of a virus within a host [18]. In this section we examine the effect of antiretroviral treatment on the HIV-1 fitness of resistant virus by analyzing the reproductive ratio in the presence of therapy.

The reproductive ratio of the resistant strain (in the presence of therapy) for model (5), denoted by _{r}, is given by a function of * _{r}* and

*p*(see (4)):

_{r}where

and *σ _{RTI}*(

*),*

_{r}*σ*(

_{PI}*p*), and

_{r}*δ*(

_{r}*p*) are increasing functions as mentioned previously.

_{r}Using the formulas (6) and (7) we can find the optimal
${\phi}_{r}^{*}$ and
${p}_{r}^{*}$ that maximize the reproductive ratio _{r}(* _{r}*,

*p*). Because we assume that

_{r}*and*

_{r}*p*are independent, we can maximize

_{r}*F*

_{1}(

*) and*

_{r}*F*

_{2}(

*p*) individually. When specific forms of the functions

_{r}*σ*(

_{RTI}*),*

_{r}*σ*(

_{PI}*p*), and

_{r}*δ*(

_{r}*p*) are given we are able to obtain explicit formulas for ${\phi}_{r}^{*}$ and ${p}_{r}^{*}$. Before we discuss some particular forms of these functions, we present the following result in terms of general functions, which provides some convenient criteria for finding the optimal ${\phi}_{r}^{*}$ and ${p}_{r}^{*}$. The proof can be found in Appendix C.

_{r}#### Proposition 1

(i) _{r} is maximized at
${\phi}_{r}^{*}\in (0,{\phi}_{s})$ if there exists a unique value
${\phi}_{r}^{*}$ satisfying

and

(ii) _{r} is maximized at
${p}_{r}^{*}\in (0,{p}_{s})$ if there exists a unique value
${p}_{r}^{*}$ satisfying

and

Proposition 1 suggests that if *σ _{RTI}*(

*),*

_{r}*σ*(

_{PI}*p*) and

_{r}*δ*(

_{r}*p*) are concave up functions, then equations (8) and (10) determine the optimal progression rate ${\phi}_{r}^{*}$ and the optimal viral production rate ${p}_{r}^{*}$, respectively. It should be noted that the concave up property is not required in Proposition 1, as the four conditions, (8)-(11), involve only ${\phi}_{r}^{*}$ and ${p}_{r}^{*}$.

_{r}We now consider some specific forms of the increasing functions *σ _{RTl}*(

*),*

_{r}*σ*(

_{PI}*p*) and

_{r}*δ*(

_{r}*p*). Noticing that

_{r}*≤*

_{r}*and*

_{s}*σ*(

_{RTl}*) = 1, we choose*

_{s}*σ*(

_{RTl}*) to be a simple power function*

_{r}where *a* ≥ 1 is a constant, ensuring that the second derivative is nonnegative. From Proposition 1 we get the optimal progression rate
${\phi}_{r}^{*}={\phi}_{s}/\sqrt[a]{{\epsilon}_{\text{RTI}}(1+a)}$ (see (8)). Therefore, we can establish the following result:

##### Result 1

Let *σ _{RTl}*(

*) be given in (12). Then*

_{r}- if $0<{\epsilon}_{\text{RTI}}\hspace{0.17em}<\frac{1}{1+a}$, then the optimal progression rate ${\phi}_{r}^{*}$ is
; and_{s} - if $\frac{1}{1+a}<{\epsilon}_{\text{RTI}}\hspace{0.17em}<1$, then the optimal progression rate is an intermediate value within (0,
); i.e., ${\phi}_{r}^{*}={\phi}_{s}/\sqrt[a]{{\epsilon}_{\text{RTI}}(1+a)}<{\phi}_{s}$._{s}

This result suggests that when the drug efficacy *ε _{RTI}* is low, the best strategy for a resistant strain to achieve the maximal viral fitness is unchanged from the non-treatment scenario, i.e., infected cells in the eclipse phase need to progress to the productively infected state as soon as possible. When the drug efficacy is high, the optimal viral fitness is achieved at an intermediate value
${\phi}_{r}^{*}={\phi}_{s}/(2{\epsilon}_{\text{RTI}})$ (in the case of

*a*= 1), instead of the maximal progression rate

*.*

_{s}To examine the optimal production rate
${p}_{r}^{*}$, we assume that the drug resistance factor *σ _{PI}*(

*p*) is a linear function of

_{r}*p*, and that the death rate of productively infected cells of the resistant strain follows a non-linear relationship between the cell death and viral production as examined in [10]; i.e.,

_{r}where *p _{r}* ≤

*p*,

_{s}*β*is a constant and

*m*is a fixed background mortality rate. Since we require that the function value

*δ*(

_{r}*p*) evaluated at

_{r}*p*(the wild-type strain) is exactly the constant

_{s}*δ*,

_{s}*β*can be chosen to be 2(

*δ*−

_{s}*m*). Then, using (10) we obtain the following result for the optimal production rate ${p}_{r}^{*}$.

##### Result 2

Let *σ _{PI}*(

*p*) and

_{r}*δ*(

_{r}*p*) be given by (13). Then the optimal production rate ${p}_{r}^{*}$ determined by equation (10) is

_{r}Moreover, if *δ _{s}* < 2

*m*, then ${\stackrel{\sim}{\epsilon}}_{\text{PI}}\hspace{0.17em}=1-\frac{{\delta}_{s}}{2m}$ provides a threshold such that

- the optimal production rate of resistant virus is
*p*if $0<{\epsilon}_{\text{PI}}\hspace{0.17em}<{\stackrel{\sim}{\epsilon}}_{\text{PI}}$; and_{s} - the optimal production rate of resistant virus is an intermediate value given by (14) if ${\stackrel{\sim}{\epsilon}}_{\text{PI}}\hspace{0.17em}<{\epsilon}_{\text{PI}}\hspace{0.17em}<1$.

The formula (14) allows us to study the effect of the background mortality rate, *m*, on the viral fitness. As *m* → 0, the optimal production rate
${p}_{r}^{*}\to 0$. A straightforward calculation shows that
${F}_{2}({p}_{r}^{*})\to +\infty $. This implies that slow production is the best strategy for long-lived infected cells. This result is consistent with the observation in [10].

These results are demonstrated in Figure 3. Figure 3(a) illustrates the optimal progression rate
${\phi}_{r}^{*}$ for the special case *a* = 1 in (12).
${\phi}_{r}^{*}$ is plotted as a function of the drug efficacy of RTIs, *ε _{RTl}*. Figure 3 (b) plots the optimal production rate
${p}_{r}^{*}$ as a function of the drug efficacy of protease inhibitors,

*ε*. In these graphs,

_{PI}*m*is chosen to be the same as

*δ*, and the values for other parameters are the same as those in Figure 1.

_{E}**...**

Figure 3 (c) and (d) plot the reproductive ratios for the drug-resistant strain using the optimal values
${\phi}_{r}^{*}$ and
${p}_{r}^{*}$ (as shown in the upper panel) and the wild-type strain. The flat surface is constant 1, the upper surface is for the reproductive ratio of the drug-resistant strain (_{r}, *r* for resistant strain), and the lower surface is for that of the wild-type strain (_{s}, *s* for sensitive strain). We choose different background mortality rates of infected cells. For example, in Figure 3 (c) *m* = *δ _{E}* and hence

*β*= 2(

*δ*), and in Figure 3 (d)

_{s}− δ_{E}*m = d*and hence

*β*= 2(

*δ*). In both cases, the reproductive ratio of the resistant strain (

_{s}− d_{r}) is always greater than or equal to that of the sensitive strain (

_{s}).

We observe that for a large background mortality rate *m* (for example, *m* is equal to the death rate of infected cells in the eclipse phase), _{r} becomes less than one as drug efficacy increases although it is always greater than or equal to _{s}. Thus, in this case both strains of virus will be eradicated for a high drug efficacy (Figure 3 (c)). However, if the background mortality rate is very small (for example, *m* is equal to the death rate of uninfected T cells), then the threshold value of *ε _{PI}* corresponding to (14) is
${\stackrel{\sim}{\epsilon}}_{\text{PI}}\hspace{0.17em}=1-\frac{{\delta}_{s}}{2d}$, which is less than zero. Hence, the optimal production rate
${p}_{r}^{*}$ is always given by the intermediate value determined by (14). In this case, simulation results show that

_{r}is always greater than both

_{s}and 1 (Figure 3 (d)), and according to the result given in Section 2.2, the drug-resistant strain that evolves with the optimal ${\phi}_{r}^{*}$ and ${p}_{r}^{*}$ will always be able to invade and out-compete the wild-type strain in the presence of drug therapy.

### 3.2 Invasion criterion

In the previous section, we have shown that if the drug-resistant strain continuously evolves to adopt the optimal ${\phi}_{r}^{*}$ and ${p}_{r}^{*}$ that maximize its viral fitness, then the resistant strain will always be expected to emerge and out-compete the established wild-type strain, provided that the antiretroviral treatment is not potent enough to eradicate both strains. Now a natural question arises: if the optimal viral fitness is not achieved, is it possible that the drug-resistant strain can still invade the population of the wild-type virus? If yes, what is the invasion criterion? Below we attempt to address these questions using model (5).

To derive the condition under which a drug-resistant strain (with parameters * _{r}* and

*p*,

_{r}*<*

_{r}*and*

_{s}*p*<

_{r}*p*) can invade the sensitive-strain in the presence of drug therapy, we assume that the population of wild-type virus is at the infected steady state. Recall that the infected steady state exists only if the reproductive ratio of the wild-type strain is greater than 1. From Section 2.2, the drug-resistant strain will be able to invade the wild-type strain if the following condition is satisfied:

_{s}The reproductive ratio for the drug-resistant strain in the presence of therapy is given by (see (4), (6) and (7))

and the reproductive ratio for the wild-type strain is

where the functions *F*_{1} and *F*_{2} are given in (7)). Using the criterion (15) and formulas (16) (17), we can establish the following result. The proof is given in Appendix D.

#### Result 3

(i) When both drug efficacies, *ε _{RTI}* and

*ε*, are low then the resistant strain cannot invade the sensitive strain. (ii) If the drug efficacies are above certain threshold values then invasion is possible by a resistant strain for which the progression rate

_{PI}*and the viral production rate*

_{r}*p*are in some given ranges.

_{r}Clearly, the invasion ranges defined by (37) and (38) in Appendix D depend on the drug efficacies *ε _{RTI}* and

*ε*. In fact, such ranges increase with increasing

_{PI}*ε*and

_{RTI}*ε*(see Figure 4). Also, if the background death rate

_{PI}*m*is much smaller than

*δ*, then from the formula (38) we can see that

_{s}_{r}>

_{s}for almost all values of

*p*such that

_{r}*p*<

_{r}*p*.

_{s}_{s}and

_{r}for different values of

*ε*or

_{RTI}*ε*. The long dashed line is for

_{PI}_{s}, and the solid curve is for

_{r}. (a)

*ε*= 0.4; (b)

_{RTI}*ε*= 0.5 (

_{RTI}*ε*= 0 and

_{PI}*a*= 3 for both (a)

**...**

In Figure 4, the reproductive ratios _{s} and _{r} are plotted either as a function of * _{r}* (Figures 4 (a) and (b)) or as a function of

*p*(Figures 4 (c) and (d)) for different values of

_{r}*ε*or

_{RTI}*ε*. For example, Figures 4 (a) and (b) are for

_{PI}*ε*= 0.4 and

_{RTI}*ε*= 0.5, respectively, for fixed values of

_{RTI}*ε*= 0 and

_{PI}*a*= 3 (see Eq.(12)). We observe that the range in which

_{r}>

_{s}is bigger for a larger value of

*ε*, suggesting that for a more effective drug therapy, the resistant strain can invade the sensitive strain at a smaller progression rate

_{RTI}*.*

_{r}Figures 4 (c) and (d) are for *ε _{PI}* = 0.5 and

*ε*= 0.6, respectively, for a fixed value of

_{PI}*ε*= 0. We have assumed that the background mortality rate

_{RTI}*m*is equal to

*δ*, hence

_{E}*β*= 2(

*δ*). We observe again that the range in which

_{s}− δ_{E}_{r}>

_{s}is bigger for a larger value of

*ε*. Therefore, for a higher protease inhibitor drug efficacy, the resistant strain can invade the sensitive strain at a smaller production rate

_{PI}*p*.

_{r}## 4 Discussion and conclusion

Advances in the development of potent combination antiretroviral therapy have dramatically reduced HIV-related morbidity and mortality in the developed world. However, increasing emergence of resistance to antiretroviral drugs could challenge this achievement. The rapid development of drug resistant HIV variants is due to the high turnover of HIV—approximately 10 billion new virus particles are produced per day in the average mid-stage HIV-infected untreated patient [43]—and the exceptionally high error rate of HIV reverse transcriptase. This leads to a high mutation rate and constant production of new viral strains, even in the absence of drug therapy. Understanding the evolution of viral resistance during therapy has far-reaching implications in predicting treatment outcomes and designing treatment strategies employed in clinical practice.

In this work, we have developed a mathematical model to explore the initial constraints that may shape the evolution of viral resistance to antiretroviral drugs. We focused on the interactions between two classes of drugs (reverse transcriptase inhibitors and protease inhibitors) and the enzymes they target, and the trade-offs that are likely to result from such interactions. For RT and its inhibitor we assumed that there is a trade-off between the efficiency of RT and its susceptibility to the inhibitor. Our rationale was as follows: within-patient selection should favor the virus that maximizes its burst size *N*, the total number of virions made by an infected cell during its lifetime [18]. The burst size is a function of the lifespan of the infected cell, with longer living cells potentially able to make more virions. Due to the mortality rate of an infected cell the contribution of virion production to *N* is effectively discounted as the infected cell ages. In addition, viral mRNA is susceptible to attack by host nucleases once it enters the cell. As a result, within-host selection will inherently favor the virus with an RT that can rapidly reverse transcribe the virus' genome and integrate it into the host's genome. Because we expect these forms of RT to be favored by within-host selection we also expect them to be the most susceptible to inhibition by drugs designed to interfere with their activity. Along the same line of reasoning, other forms of RT that have low activity levels are expected to have low frequencies within the host, maintained primarily by drift and mutation. However, the very genetic changes that confer low activity levels to these RT variants are also likely to confer some resistance to the drugs designed to target RT with high activity levels. As a result we posit that there is likely a simple trade-off between RT activity and susceptibility to RT inhibitors.

The HIV protease also plays a critical role in the virus' life cycle by converting a viral polypeptide into mature and functional viral proteins necessary for viral infectivity. Because mutations associated with the emergence of drug resistance to protease inhibitors modify some key viral proteins [1, 59], the virus forced to develop resistance under drug pressure is thought to have a substantial impairment in its replicative capacity [7] even though some additional mutations can compensate for this impaired viral replication potential [36]. We thus expect that there is a trade-off between the efficacy of protease inhibitors and the viral production rate for the drug-resistant virus variants selected during therapy.

Once a cell begins actively producing virions it becomes highly susceptible to attack by the patient's immune response and viral cytopathic effects. Viral cytopathicity and cell-mediated immune responses are assumed to depend on the rate of viral production. If the mortality rate of infected cells is a concave up function with respect to the viral production rate, then the optimal viral production rate is likely to be at some intermediate level below its physiological maximum [18]. Under such conditions, an intermediate production rate will maximize the within-patient viral fitness by maximizing the burst size *N*. This is consistent with our findings when drug resistance to antiretroviral regimens is considered in the model. It should be mentioned that our model assumes that the viral production rate is time independent. When the production rate is allowed to vary with time during infection, the optimal production schedule to maximize the burst size is still to produce virus at a constant rate [10]. More results on the optimal viral production schedule from the perspective of virus can be found in [10].

Taken together, the model developed here allows us to investigate the fitness of different HIV variants taking into account the trade-offs between the progression of infected cells in the eclipse phase and resistance to RT inhibitors, between viral production and cell mortality, and between viral production and resistance to protease inhibitors. The model predicts that when the drug efficacy is not high enough to exert sufficient selective pressure (the threshold values in our example are *ε _{RTI}* = 0.5 and
${\epsilon}_{\text{PI}}\hspace{0.17em}=1-\frac{{\delta}_{s}}{2m}\sim 0.3$), the resistant strain will be unable to invade the established sensitive strain. For a more effective drug therapy (but not potent enough to eradicate both the wild-type and resistant strains), a wider range of resistant virus variants can invade and out-compete the drug-sensitive strain.

In the present model, the efficacies of antiretroviral drugs are assumed to be constant. However, this assumption may not be realistic because drug concentrations in the blood and in cells continuously vary due to drug absorption, distribution and metabolism. There are some existing models that use time-varying drug concentrations to determine the efficacy of antiviral treatment [14, 24, 57, 62]. The pharmacokinetic model developed by Dixit and Perelson [14] was also employed to determine drug efficacies for both the sensitive and resistant strains [51]. They showed that using the average drug efficacy can still give a good prediction of the long-term outcome of therapy although the viral load displays frequent oscillations when the time-varying drug efficacy is employed.

Another important factor that affects drug efficacy is patients' adherence to prescribed regimen protocols. In fact, non-adherence and non-persistence with antiretroviral therapy is the major reason most individuals fail to benefit from their treatments [2]. A number of mathematical models have been developed to study the effects of non-perfect adherence to drug regimens [16, 24, 45, 51, 53, 57, 61]. An overview can be found in Heffernan and Wahl [20]. Careful modeling of drug pharmacokinetics and more realistic adherence patterns can provide an important tool in the study of the kinetics of evolutionary adaptation of HIV to drug therapy and ultimately may improve our ability to develop procedures to defeat this deadly virus.

## Acknowledgments

Portions of this work were performed under the auspices of the U.S. Department of Energy under contract DE-AC52-06NA25396. This work was supported by NSF grant DMS-0314575 and James S. McDonnell Foundation 21^{st} Century Science Initiative (ZF), and NIH grants AI28433 and RR06555 (ASP). The manuscript was finalized when LR visited the Theoretical Biology and Biophysics Group, Los Alamos National Laboratory in 2006. The authors thank three anonymous referees for their constructive comments that improved this manuscript.

## Appendix A. Stability of steady states of model (1)

The infection-free steady state of model (1) is

The infected steady state is $\u1ebc=(\stackrel{\sim}{T},{\stackrel{\sim}{T}}_{\stackrel{*}{E}},{\stackrel{\sim}{T}}^{*},\u1e7c)$, where

Using (2), ${\stackrel{\sim}{T}}_{\stackrel{*}{E}}$ can be rewritten as

Therefore, the infected steady state exists if and only if _{0} > 1.

Let
$\xca=(\widehat{T},{\widehat{T}}_{E}^{*},{\widehat{T}}^{*},\widehat{V})$ denote a steady state of model (1). Then the characteristic equation at *Ê* is

where *ζ* is an eigenvalue. Equation (20) can be simplified to

(i) Let _{0} < 1. Evaluating (21) at the infection-free steady state *Ē*, we get

Clearly, there is one negative eigenvalue *−d*, and other eigenvalues are determined by

which can be rewritten as (see (2))

If *ζ* has a nonnegative real part, then the modulus of the left-hand side of (22) satisfies

which leads to a contradiction in (22) since _{0} < 1. Therefore, all the eigenvalues have negative real parts, and hence *Ē* is l.a.s.

When _{0} > 1, we define

It is clear that *f*(0) < 0 and *f*(*ζ*) → ∞ when *ζ* → ∞. By the continuity we know there exists at least one positive root. Hence, the equilibrium point *Ē* is unstable if _{0} > 1.

(ii) Let _{0} > 1. Substituting the infected steady state *Ẽ* for *Ê* in the characteristic equation (21), we have

Obviously, (24) does not have a nonnegative real solution.

From (19) and (2), we can write in terms of the basic reproductive ratio in the form

Now we want to prove that (24) does not have any complex root *ζ* with a nonnegative real part. Suppose, by contradiction, that *ζ* = *x* + *iy* with *x* ≥ 0, y > 0 is a root of (24).

When _{0} → 1, equation (24) reduces to

Using the same arguments as in part (i), we can show that (25) does not have any root with a nonnegative real part.

By the continuous dependence of roots of the characteristic equation on _{0}, we know that the curve of the roots must cross the imaginary axis as _{0} decreases sufficiently close to 1. That is, the characteristic equation (24) has a pure imaginary root, say, *iy*_{0}, where *y*_{0} > 0. From (24), we have

We now claim that the following inequality holds:

In fact, after straightforward computations, we have

Thus, (27) holds. It follows that

This contradicts (26). Therefore, we conclude that the characteristic equation (24) does not have any root with a nonnegative real part. Thus, the infected steady state *Ē* is l.a.s whenever it exists.

## Appendix B. Steady states and stability of model (3)

Assume that ${\u1ebc}_{s}=({\stackrel{\sim}{T}}_{s},{\stackrel{\sim}{T}}_{Es}^{*},{\stackrel{\sim}{T}}_{\stackrel{*}{s}},{\u1e7c}_{s},0,0,0)$ and ${\u1ebc}_{r}=({\stackrel{\sim}{T}}_{r},0,0,0,{\stackrel{\sim}{T}}_{Er}^{*},{\stackrel{\sim}{T}}_{\stackrel{*}{r}},{\u1e7c}_{r})$. We have

Obviously, each steady state exists if and only if the corresponding reproductive ratio is greater than 1.

If
$\stackrel{\u2323}{E}=(\stackrel{\u2323}{T},{\stackrel{\u2323}{T}}_{Es}^{*},{\stackrel{\sim}{T}}_{\stackrel{*}{s}},{\stackrel{\u2323}{V}}_{s},{\stackrel{\u2323}{T}}_{Er}^{*},{\stackrel{\sim}{T}}_{\stackrel{*}{r}},{\stackrel{\u2323}{V}}_{r})$ denotes a coexistence steady state (i.e.,
${\stackrel{\u2323}{V}}_{s}\ne 0$ and
${\stackrel{\u2323}{V}}_{r}\ne 0$, hence both strains are present), then *Ť* satisfies
$\stackrel{\u2323}{T}=\frac{\lambda}{d}\frac{1}{{\mathcal{R}}_{s}}=\frac{\lambda}{d}\frac{1}{{\mathcal{R}}_{r}}$. Therefore, *Ě* exists only if _{r} = _{s}.

The Jacobian matrix at *Ẽ _{s}* is

where

and “*” denotes a 4 × 3 matrix that does not affect the proof. Notice that the characteristic equation of *G* is exactly the same equation (20) with the subscript *s* added. From Appendix A and _{s} > 1, all eigenvalues of *G* have negative real parts. Thus, the stability of *Ẽ _{s}* is completely determined by the eigenvalues of

*H*.

Suppose *ζ* is an eigenvalue of *H*, then *ζ* satisfies

If we define

Then (31) can be rewritten as

We remark that
${\mathcal{R}}_{r}^{\diamond}$ represents the *effective* reproductive ratio for the drug-resistant strain (i.e., the reproductive ratio when the sensitive strain is at its infected steady state). If
${\mathcal{R}}_{r}^{\diamond}>1$, then the resistant strain will be able to invade the established wild-type strain.

Using the same arguments as in Appendix A, we have that *Ẽ _{s}* is l.a.s. if
${\mathcal{R}}_{r}^{\diamond}<1$ and it is unstable if
${\mathcal{R}}_{r}^{\diamond}>1$. Notice from (28) and (4) that

Substituting this for * _{s}* in (32) and using (4), we obtain

Thus,
${\mathcal{R}}_{r}^{\diamond}>1$ if and only if _{r} > _{s} and
${\mathcal{R}}_{r}^{\diamond}<1$ if and only if _{r} < _{s}. It follows that *Ẽ _{s}* is l.a.s. if

_{r}<

_{s}, and it is unstable if

_{r}<

_{s}.

From the mathematical symmetry of the two strains we can use the same arguments for the stability analysis of *Ẽ _{r}*, and show that

*Ẽ*is l.a.s. if

_{r}_{r}>

_{s}and unstable if

_{r}<

_{s}.

## Appendix C. Proof of Proposition 1

(i) We want to find
${\phi}_{r}^{*}$ that maximizes *F*_{1}(* _{r}*) (see equation (7)). Let

Then *F*_{1}(* _{r}*) is maximized if and only if

*f*

_{1}(

*) is maximized. Notice that (8) holds if and only if ${\phi}_{r}^{*}$ is a critical point of*

_{r}*f*

_{1}on (0,

*). Since ${\epsilon}_{\text{RTI}}{\sigma}_{\text{RTI}}({\phi}_{r}^{*})<1$, we have*

_{s}Hence,
${f}_{1}^{\u2033}({\phi}_{r}^{*})<0$ if
${\sigma}_{\text{RTI}}^{\u2033}({\phi}_{r}^{*})\ge 0$. It follows that *f*_{1}, and hence _{r}, assumes its maximum at
${\phi}_{r}^{*}$ if (8) and (9) hold.

(ii) If
${p}_{r}^{*}$ satisfies (10) then we can easily verify that
${p}_{r}^{*}$ is a critical point of *F*_{2}(*p _{r}*); i.e.,
${F}_{2}^{\prime}({p}_{r}^{*})=0$. The second derivative of

*F*

_{2}(

*p*) at ${p}_{r}^{*}$ is

_{r}It is easy to verify that
${F}_{2}^{\u2033}({p}_{r}^{*})<0$ if
${\sigma}_{\text{PI}}^{\u2033}({p}_{r}^{*})$ and
${\delta}_{r}^{\u2033}({p}_{r}^{*})$ are both nonnegative, which implies that *F*_{2}(*p _{r}*) has a maximum at
${p}_{r}^{*}$. Therefore,

_{r}is maximized at ${p}_{r}={p}_{r}^{*}$. This finishes the proof of Proposition 1.

## Appendix D. Proof of Result 3

We prove this result using the specific functional forms for *σ _{RTI}*(

*),*

_{r}*σ*(

_{PI}*p*), and

_{r}*δ*(

_{r}*p*) given by (12) (in the case of

_{r}*a*= 1) and (13).

(i) The invasion condition (15) is equivalent to (see (16) and (17))

From the analysis in Section 3.1, we know that for a low level of drug efficacy *ε _{RTI}* (e.g., 0 <

*ε*< 1/2 when

_{RTI}*a*= 1, see Result 1), the maximum of

*F*

_{1}(

*) can only occur at ${\phi}_{r}^{*}={\phi}_{s}$. Thus,*

_{r}*F*

_{1}(

*) <*

_{r}*F*

_{1}(

*) for*

_{s}*<*

_{r}*. Similarly, from Result 2 we know that the maximum of*

_{s}*F*

_{2}(

*p*) can only occur at ${p}_{r}^{*}={p}_{s}$ if $0<{\epsilon}_{\text{PI}}\hspace{0.17em}<{\stackrel{\sim}{\epsilon}}_{\text{PI}}$, where ${\stackrel{\sim}{\epsilon}}_{\text{PI}}\hspace{0.17em}=1-\frac{{\delta}_{s}}{2m}$. Thus,

_{r}*F*

_{2}(

*P*) <

_{r}*F*

_{2}(

*p*) for

_{s}*p*<

_{r}*p*. Therefore, the invasion condition (36) does not hold for any drug efficacies with 0 <

_{s}*ε*< 1/2 and $0<{\epsilon}_{\text{PI}}\hspace{0.17em}<1-\frac{{\delta}_{s}}{2m}$.

_{RTI}(ii) When 1/2 < *ε _{RTI}* < 1, solving the inequality

*F*

_{1}(

*) >*

_{r}*F*

_{1}(

*) for*

_{s}*, we have*

_{r}which is equivalent to

or

From the above inequality (and noticing that *ε _{RTI}* > 1/2), we have

When
${\stackrel{\sim}{\epsilon}}_{\text{PI}}\hspace{0.17em}<{\epsilon}_{\text{PI}}\hspace{0.17em}<1$, solving the inequality *F*_{2}(*p _{r}*) >

*F*

_{2}(

*p*) for

_{s}*p*gives

_{r}which can be rewritten as

Noticing that *β* = 2(*δ _{s} − m*), we can solve the above inequality and obtain

Since ${\epsilon}_{\text{PI}}\hspace{0.17em}>{\stackrel{\sim}{\epsilon}}_{\text{PI}}\hspace{0.17em}=1-\frac{{\delta}_{s}}{2m}$, which guarantees that

we know that (38) defines an interval on which *F*_{2}(*p _{r}*) >

*F*

_{2}(

*p*). Therefore, for (

_{s}*,*

_{r}*p*) in the regions defined by (37) and (38) the invasion condition (36), or equivalently (15), holds.

_{r}This finishes the proof of Result 3.

## Footnotes

**Publisher's Disclaimer: **This is a PDF file of an unedited manuscript that has been accepted for publication. As a service to our customers we are providing this early version of the manuscript. The manuscript will undergo copyediting, typesetting, and review of the resulting proof before it is published in its final citable form. Please note that during the production process errors may be discovered which could affect the content, and all legal disclaimers that apply to the journal pertain.

## References

*in vivo*using a single-cycle SIV in rhesus macaques. submitted. [PMC free article] [PubMed]

*CD*4

^{+}T-cells. Math Biosci. 2000;165:27–39. [PubMed]

^{+}T-cell subpopulations. J Theor Biol. 1994;170:367–391. [PubMed]

^{+}T cells. Math Biosci. 1993;114:81–125. [PubMed]

## Formats:

- Article |
- PubReader |
- ePub (beta) |
- PDF (1.4M) |
- Citation

- Study of the impact of HIV genotypic drug resistance testing on therapy efficacy.[Verh K Acad Geneeskd Belg. 2001]
*Van Vaerenbergh K.**Verh K Acad Geneeskd Belg. 2001; 63(5):447-73.* - Persistence of wild-type virus and lack of temporal structure in the latent reservoir for human immunodeficiency virus type 1 in pediatric patients with extensive antiretroviral exposure.[J Virol. 2002]
*Ruff CT, Ray SC, Kwon P, Zinn R, Pendleton A, Hutton N, Ashworth R, Gange S, Quinn TC, Siliciano RF, et al.**J Virol. 2002 Sep; 76(18):9481-92.* - Reservoirs for HIV-1: mechanisms for viral persistence in the presence of antiviral immune responses and antiretroviral therapy.[Annu Rev Immunol. 2000]
*Pierson T, McArthur J, Siliciano RF.**Annu Rev Immunol. 2000; 18:665-708.* - Dynamics of the pool of infected resting CD4 HLA-DR- T lymphocytes in patients who started a triple class five-drug antiretroviral regimen during primary HIV-1 infection.[Antivir Ther. 2003]
*Sankatsing SU, van Praag RM, van Rij RP, Rientsma R, Jurriaans S, Lange JM, Prins JM, Schuitemaker H.**Antivir Ther. 2003 Apr; 8(2):137-42.* - Treating primary HIV infection--is your HAART in it?[Sex Health. 2004]
*Smith DE, Chan DJ.**Sex Health. 2004; 1(3):131-5.*

- Resistance evolution in HIV - modeling when to intervene[Proceedings of the ... American Control Con...]
*Cortes LM, Zurakowski R.**Proceedings of the ... American Control Conference. American Control Conference. 2012; 20124053-4058* - Dynamics Analysis and Simulation of a Modified HIV Infection Model with a Saturated Infection Rate[Computational and Mathematical Methods in M...]
*Sun Q, Min L.**Computational and Mathematical Methods in Medicine. 2014; 2014145162* - HIV Populations Are Large and Accumulate High Genetic Diversity in a Nonlinear Fashion[Journal of Virology. 2013]
*Maldarelli F, Kearney M, Palmer S, Stephens R, Mican J, Polis MA, Davey RT, Kovacs J, Shao W, Rock-Kress D, Metcalf JA, Rehm C, Greer SE, Lucey DL, Danley K, Alter H, Mellors JW, Coffin JM.**Journal of Virology. 2013 Sep; 87(18)10313-10323* - Systems mapping of HIV-1 infection[BMC Genetics. ]
*Hou W, Sui Y, Wang Z, Wang Y, Wang N, Liu J, Li Y, Goodenow M, Yin L, Wang Z, Wu R.**BMC Genetics. 1391* - Viral Diversity and Diversification of Major Non-Structural Genes vif, vpr, vpu, tat exon 1 and rev exon 1 during Primary HIV-1 Subtype C Infection[PLoS ONE. ]
*Rossenkhan R, Novitsky V, Sebunya TK, Musonda R, Gashe BA, Essex M.**PLoS ONE. 7(5)e35491*

- PubMedPubMedPubMed citations for these articles
- TaxonomyTaxonomyRelated taxonomy entry
- Taxonomy TreeTaxonomy Tree

- Modeling within-host HIV-1 dynamics and the evolution of drug resistance: trade-...Modeling within-host HIV-1 dynamics and the evolution of drug resistance: trade-offs between viral enzyme function and drug susceptibilityNIHPA Author Manuscripts. Aug 21, 2007; 247(4)804

Your browsing activity is empty.

Activity recording is turned off.

See more...