Abstract and Applied Analysis

Volume 2014, Article ID 891401, 10 pages

http://dx.doi.org/10.1155/2014/891401

## Adaptive Evolution of Virulence-Related Traits in a Susceptible-Infected Model with Treatment

^{1}College of Mathematics and Systems Science, Shandong University of Science and Technology, Qingdao 266590, China^{2}State Key Laboratory of Mining Disaster Prevention and Control Co-Founded by Shandong Province and the Ministry of Science and Technology, Shandong University of Science and Technology, Qingdao 266590, China

Received 14 May 2014; Revised 9 July 2014; Accepted 14 July 2014; Published 7 August 2014

Academic Editor: Sher Afzal Khan

Copyright © 2014 Xinzhu Meng et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

Evolution problem is now a hot topic in the mathematical biology field. This paper investigates the adaptive evolution of pathogen virulence in a susceptible-infected (SI) model under drug treatment. We explore the evolution of a continuous trait, virulence of a pathogen, and consider virulence-dependent cure rate (recovery rate) that dramatically affects the outcome of evolution. With the methods of critical function analysis and adaptive dynamics, we identify the evolutionary conditions for continuously stable strategies, evolutionary repellers, and evolutionary branching points. First, the results show that a high-intensity strength drug treatment can result in evolutionary branching and the evolution of pathogen strains will tend towards a higher virulence with the increase of the strength of the treatment. Second, we use the critical function analysis to investigate the evolution of virulence-related traits and show that evolutionary outcomes strongly depend on the shape of the trade-off between virulence and transmission. Third, after evolutionary branching, the two infective species will evolve to an evolutionarily stable dimorphism at which they can continue to coexist, and no further branching is possible, which is independent of the cure rate function.

#### 1. Introduction

Virus leads to the spread of the disease, which attracts the attention and research of many researchers [1–10]. In this paper, we will use a classical susceptible-infected (S-I) epidemic model and assume that all hosts are equally susceptible [1, 2]. Once infected, the host may either die or recover from drug curing, and then, the host becomes fully susceptible again. The model considers a pathogen which increases the mortality of infected hosts by its virulence and whose rate of transmission to uninfected hosts depends on its virulence. High virulence of the pathogen reduces cure rates of infected individuals. There is much good work on the evolution between transmission and virulence [1–5], but the work on the evolutionary adaptive dynamics between drug treatment and virulence is very little (note that this situation is very common in evolutionary ecology and supported by empirical data [6]). Our main aim is to explore how the strength of treatment affects the outcome of evolution. The outcome of evolution often depends on traits which influence infectious ability such as virulence. Therefore, as a phenotype trait, virulence of the pathogen will be taken as an object of study. The evolution of pathogens recently has focused especially on influence virulence and on reasons for the coexistence of parasite strains [2, 7, 8]. Here, we develop an epidemiological model to study the effect of drug treatment on the evolution of pathogen virulence. The model is based upon adaptive dynamics [11–19], in which we explore not only the coexistence of parasite strains but also continuously stable strategy and evolutionary branching.

The rest of the paper is organized as follows. In Section 2, a susceptible-infected model under drug treatment is first proposed and then the fitness of mutant strains will be deduced. In Section 3, the critical function analysis and adaptive dynamics are carried out to investigate evolutionary dynamics in a monomorphic state. Section 4 discusses the dimorphic coexistence and coevolution of two parasite strains. We then conclude our paper in Section 5 with discussions.

#### 2. Model and Demographic Properties

The epidemic model itself for influenza and venereal disease is of the simplest kinds, it is assumed that the cured infective hosts recover and become susceptible, and thus infection is not permanent as they have recovery rate. The infective individuals, although possibly subject to a higher mortality and lower fertility than the susceptible, are otherwise active in the population. The model considers a pathogen which increases the mortality of infected hosts by its virulence , and an increase in transmission rate can only evolve with a parallel increase in virulence. In this model, we take into account treating, and the recovery becomes susceptible after the infective individuals are cured. It is assumed that an increase in virulence can evolve with a decrease in cure rate (recovery rate).

##### 2.1. Monomorphic Evolutionary Dynamics

In this subsection, in case of a monomorphic infective population with trait , the host dynamics becomes where and , respectively, represent the density of the susceptible population and the infected population at time , with total population density is per capita birth rate, and is the cure rate (the recovery rate) related to virulence of the pathogen. The population is subjected to density-dependent mortality given by the continuous, monotone increasing function , the infectives suffer also an additional mortality due to disease, and the transmission rate depends on virulence of the pathogen.

Concerning the effect of virulence of the pathogen on the transmission rate , mortality due to disease and the cure rate , biological considerations dictate the properties: and are continuous and increasing functions, while is a continuous and decreasing function because strong virulence means large transmission rate, large mortality due to disease, and small cure rate.

In this model we assume linear density-dependent mortality. Let such that, in absence of the pathogen, the host exhibits logistic growth. Without loss of generality we adopt the values . Now setting the right-hand sides of (1) to 0, when is satisfied, the system (1) has a unique stable positive equilibrium [14], where

To find the invasion fitness for a mutant infected population, we extend the resident population model (1) by introducing a mutant infected population . If the mutant infected population with a slightly different trait enters into the resident susceptible-infected system at a low density, the resident-mutant population dynamics is given by Here, denotes the population density of the mutant infected population at time . One ecological equilibrium of the resident-mutant model (4) is , where and are the same as those in (3). Just before the occurrence of the mutation, the resident populations are close to the steady state (3) of the resident population model (1) or land at it. Thus, just after the small and rare mutation, the resident and mutant populations are close to the ecological equilibrium of model (4), and 0, respectively. However, the stability of the equilibrium of model (4) determines whether or not the mutant predators can invade. The stability of the extinction equilibrium is governed by the following Jacobian matrix , that results from straight forward linearization:

To show its structure, we rewrite matrix in a way that uses its block-triangular form: whereHere is an upper triangular matrix, so its eigenvalues are given by the eigenvalues of the diagonal blocks, and . We have already acquired that if (2) holds, is globally asymptotically stable before mutant predators appear, which implies the eigenvalues of have negative real parts. Therefore, if , then all eigenvalues of have negative real parts, the equilibrium of system (4) is stable, and the mutant cannot invade. Otherwise, they can invade. So the relevant is the single element of , which we define as where .

Note that is just the per capita growth rate of hosts infected with the mutant strain. If , the abundance of mutant infected strains will initially increase, the mutant strains can successfully invade the resident strains; while if , mutant infected strains cannot invade, and they are doomed to extinct. Thus, is, namely, invasion fitness [15], so we think the invasion fitness determines the fate of mutant infected strains.

From (8), we can clearly see that there are two aspects of the environment, into which a mutant enters, that influence its invasion fitness: the density of the susceptible and the total density of hosts (which acts through the density-dependent mortality). These are both functions of the resident strain and will thus act as feedback variables in the evolutionary process. When mutations are very small, trait and trait are similar to each other and we have as a linear approximation of the mutant’s fitness [13] where .

If , it is clear that only mutants with can invade and take over resident infected strains, whereas if , then it is only possible for mutants with . The virulence thus evolves in the direction of the local fitness gradient until it reaches the neighborhood of a strategy for which is zero. A strategy for which the local fitness gradient is zero is called an evolutionarily singular strategy [13]; that is,

Since mutations are random and very small, the evolutionary model of virulence can be given by where is the probability of individual mutation which is born in resident infected population; is the variance of mutation distribution of infected population; is mutational rate of the infected; is the population density of the resident infected at positive equilibrium.

A singular strategy is evolutionarily stable strategy (ESS) [16] if no nearby mutant can invade, in other words, if for all in a neighborhood of . If the singular strategy is a local fitness maximum, it is a local ESS satisfying Since at the sign of the local fitness gradient changes from positive to negative, is a decreasing function with respect to . Directional evolution of resident infected strain can approach singular strategy, so the singularity must be convergence stable [15], if A singularity that is not only evolutionarily stable but also convergence stable is said to be a continuously stable strategy (CSS) and will represent a stable endpoint of evolution. In this case, the continuously stable strategy satisfies (12) and (13), and thus the resident pathogen has a maximum fitness. However, if (13) holds but (12) does not, gradual evolution will proceed towards a singularity at which any nearby mutant can invade such that the resident pathogen can undergo evolutionary branching and in which case the singularity will become an evolutionary branching point. The evolving pathogen will turn dimorphic after evolutionary branching. At least initially, the dimorphic pathogens will evolve away from the singularity and thus apart from one another. If (13) does not hold, the singularity is a repeller.

In this model, we choose the cure rate function, transmission rate function, and mortality function of infected hosts like this: where represents the strength of treatment disturbance [7, 17].

We use “pairwise invasibility plot” (PIP) to study how the strength of treatment affects the outcome of evolution. So we choose three different values of , we have plotted three PIPs in Figure 1, in which -axis and -axis represent the resident strategy and the mutant strategy, respectively. We look along a vertical line through the evolutionary singular strategy on the -axis. By the conditions of ESS-stability, we know if the singular strategy is ESS-stable, it will satisfy that the vertical line through lies completely inside a region marked “−” corresponding to mutants for which and which therefore cannot invade; we can see when , the singular strategy is an ESS (see Figure 1(a)). Figure 1(a) shows that when , the singular strategy is not only ESS-stable but also convergence stable, so the singular strategy is a CSS. By the conditions of evolutionary branching, we know if the singular strategy is convergence stable, but not evolutionarily stable, the parts of vertical line inside a region marked “+” correspond to strategies on the -axis for which and hence denote potentially invading mutants. Obviously when and , the mutant pathogen strains can invade, so evolutionary branching occurs (see Figures 1(b) and 1(c)).

##### 2.2. The Effect of Treatment Disturbance Strength on Evolutionary Dynamics

Correspondingly, we plot the bifurcation diagram in Figure 2, and through the diagram we can see the singular trait values (the virulence ) as a function of the strength of the treatment , which shows the stability properties of the singular strategy will change due to the changing values of . An increase in values of will parallel increase in the singular trait values (the virulence ). This shows an increase in the strength of the treatment can lead to stable evolution towards larger virulence . This means the pathogen strain will have immunity against drugs. Then the strain outcompetes its rivals and gives birth to the higher virulence mutant pathogen strains. In the lower part, when is near zero, that is to say, the cure rate is very small, then there is an ESS, but it loses ESS-stability when ; then all convergence stable singularities are branching points. It is easy to see that a low strength drug treatment may induce a continuously stable strategy, while a high strength treatment can induce evolutionary branching. Moreover, there is a complicated evolutionary dynamics including evolutionary branching, CSS, and repeller when .

#### 3. Critical Function and Evolutionary Analysis

As stated above, we specify the and as (14), the parameters and are constants, and the values of decide the convexity of the trade-off function ; we know if the trade-off function is concave, the evolutionary dynamics of this model leads to ESS. However, this may not be the case when the trade-off is partly convex, for which such a singularity can constitute an evolutionary branching point or repeller [7]. From the second equation of system (1), we have

As such (10) constitutes a differential equation which together with (15) can be expressed as

The solutions of (16) define curves in the -plane that have the slopes required by (10) at all points, with different initial values yielding alternative curves. These curves are referred to as critical functions [7, 8], and singular strategies are those values of virulence for which the trade-off is tangential to any such critical function. Then we superpose a trade-off function onto the critical functions, which confirms the existence and identifies the directions of the singularity for this and any other choice of trade-off functions. When the singularity identified is located at a point where the evolutionary stability can be directly inferred from the curvature of the trade-off at the point of tangency. Thus we have the following theorems.

Theorem 1. *If the trade-off function is concave, we superpose such a trade-off function onto the convex critical function; the evolutionary dynamics of this model leads to ESS.*

*Proof. *From (8), we calculate the second derivative of with respect to ,
is given from (14), and the parameters , so,
When the trade-off function is concave, . So, we have
Clearly, the conclusion holds up.

Theorem 2. *If the trade-off function is convex and at the same time less convex than the critical function at the point of tangency, then the singularity is an evolutionary branching point.*

*Proof. *The trade-off function is convex, which will not satisfy the ESS condition (12). We write out the convergence stable condition (13),
that is,
From (10), we know
Thus we have
where on the right hand side is exactly the derivative of (16), that is, . That is, . So it can be seen directly from the critical function that if the trade-off function is convex and at the same time less convex than the critical functions at the point of tangency, the singularity at tangency is convergence stable but not evolutionarily stable; that is, it is an evolutionary branching point.

In Figure 3(a), when , the trade-off function is concave, so the singular strategy is an ESS. We can see in Figure 3(b), when , the trade-off function is convex and at the same time less convex than the critical function at the point of tangency , such a trade-off results in convergence stable but invadable singularity, that is, evolutionary branching point. Critical functions are always convex, it is always possible to find a trade-off function that is locally convex and less convex than the critical function, satisfying the condition for evolutionary branching. The singular strategy is a branching point. Of course this result is consistent with bifurcation diagram in Figure 2.

#### 4. Dimorphic Coexistence

In this section we investigate whether further evolutionary branching or evolutionarily stable coexistence of the two resident strains occurs. After branching, population dynamics of two residents with phenotypic traits and and a mutant with trait appears, where the two resident strategies soon grow too far apart near the branching point. Two classes of infected individuals, , in a host population represent a pathogen comprising two different strains, and we now proceed to investigate the evolutionary endpoint of such a dimorphic pathogen. In the case of a dimorphic pathogen, and , one with strain and the other with strain , the population dynamics is given by Andreasen and Pugliese [1] proved that a necessary and sufficient condition for two pathogenic strains and to coexist at a unique and stable equilibrium of (24) is that both strains can successfully invade one another. This equilibrium is given by By the same arguments as the above (8), when mutant pathogen with a slightly different strain enters into the resident susceptible-infected system at a low density, the invasion fitness is given by

The selection gradients and are given by Dimorphic evolutionary singularities are coalitions of resident strategies where the fitness gradient of each strategy is zero. That is, any solution of for is called evolutionarily singular coalition.

When individual mutations are random and sufficiently small, the evolutionary model of traits and can be given by where is the equilibrium population density of the resident infected ; is mutational rate of the infected .

Theorem 3. *Further evolutionary branching cannot happen in this model whether the cure rate function is concave or convex.*

*Proof. *A singular coalition is evolutionarily stable if all its constituent strategies are ESS, that is, if
for and 2.

The condition for absolute convergence stability is given by
First, we calculate the mixed derivatives of invasion fitness at the singular coalition:
for and 2. From (25), we have
Since the singularity condition can be obtained from (27), we have
Take (35) and (36) into (33) and (34), respectively, we have
Then the mixed derivatives of invasion fitness can readily be verified to be zero. Thus (31) is equivalent to (30). This shows that further evolutionary branching cannot happen in this model.

Now, the dynamics of evolution in dimorphic pathogen is shown through the coexistence plots and evolutionary branching trees. The dynamics of evolution as predicted by the model are conformed by numerical simulations (Figure 4). In these simulations, we use three different values of (as indicated above in each graph). In the case of , from Section 2, the PIP in the Figure 1(a) shows that the singular strategy is an ESS. At the singularity neither mutants from below nor above can invade and the singularity is therefore also convergence stable, and this trade-off thus supports a CSS. Therefore, is an evolutionary endpoint and is not invadable by any other mutant strains. In this case an initially monomorphic pathogen population can stay monomorphic. In the corresponding coexistence plot one can see that no singular dimorphism exists, and evolution will drive any dimorphism back into a monomorphic state [2, 7]. This outcome is illustrated in Figures 4(a) and 4(d).

With the effect of increasing the singular point continues to be convergence stable but not an ESS, and in the vicinity of a dimorphism can appear, and such is an evolutionary branching point (Figures 1(b) and 1(c)). In this case an initially monomorphic population will be close to the singular branching point and will undergo disruptive selection, then becoming dimorphic and comprising two closely related resident phenotypic traits (the virulences and ; see numerical simulations in Figures 4(b) and 4(c)). Finally, the two resident pathogen groups are stable coexistence and completely host specialized. In this case no mutant with nonzero transmission on both hosts is able to invade. In the coexistence plot,the singularity loses its evolutionary stability; CSS turns into a branching point. With a further increase in , when the values of are , then the shaded areas intersect with main diagonal at three points corresponding to three different evolutionarily singular points which present complex dynamics such as ESS, repeller, and evolutionary branching point (Figure 1(c)). Theorem 3 shows that the population evolves towards a stable dimorphism. As is shown in Figure 4, from the corresponding evolutionary branching we can also obtain this result.

#### 5. Discussion

In this paper, we employ the susceptible-infected epidemic model under drug treatment to explore the adaptive evolution of pathogen virulence. Our results show that the strength of treatment noticeably affects the outcome of evolution: continuously stable strategies, evolutionary repellers, and evolutionary branching points. With the methods of critical function analysis and adaptive dynamics, we have shown that evolutionary branching of virulence is possible in a susceptible-infected model with cure rate. Conditions ensuring evolutionary stability and branching for singular strategies and coalitions are derived in both monomorphic and dimorphic environments.

We obtain the biological interpretation for the evolution of pathogen virulence that if there is no treatment or small treatment, then the pathogen virulence can be smaller and evolutionarily stable, while a powerful treatment could accelerate pathogen evolution towards higher virulence.

First, by using the methods of “pairwise invasibility plot” and critical function analysis, we show that if the trade-off function is concave, the evolutionary dynamics of this model can lead to evolutionarily stable, while if the trade-off is convex then the singularity can be an evolutionary branching point. Second, increase in the strength of the drug treatment can increase evidently in the singular strategy value and eventually turns continuously stable strategy into the branching point. This shows that, with increasing in cure rates, pathogen populations will tend towards the evolutionary branching points with higher virulence. Note that this situation is supported by empirical data [6]. Third, our analysis reveals that further evolutionary branching cannot happen in this model whether the cure rate function is concave or convex. For higher cure rates, after branching has occurred in virulence phenotype, the mutant pathogen becomes a resident pathogen and the two resident pathogen strains stably coexist.

#### Conflict of Interests

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

#### Acknowledgments

This paper is supported by the National Natural Science Foundation of China (no. 11371230), Shandong Provincial Natural Science Foundation, China (no. ZR2012AM012), the SDUST Research Fund for Scientific Research Team “Systems Biology and Dynamics,” and a Project of Shandong Province Higher Educational Science and Technology Program of China (Grant no. J13LI05).

#### References

- V. Andreasen and A. Pugliese, “Pathogen coexistence induced by density-dependent host mortality,”
*Journal of Theoretical Biology*, vol. 177, no. 2, pp. 159–165, 1995. View at Google Scholar · View at Scopus - A. Pugliese, “On the evolutionary coexistence of parasite strains,”
*Mathematical Biosciences*, vol. 177-178, pp. 355–375, 2002. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - B. Boldin and O. Diekmann, “Superinfections can induce evolutionarily stable coexistence of pathogens,”
*Journal of Mathematical Biology*, vol. 56, no. 5, pp. 635–672, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - S. Alizon and M. van Baalen, “Emergence of a convex trade-off between transmission and virulence,”
*The American Naturalist*, vol. 165, no. 6, pp. E155–E167, 2005. View at Publisher · View at Google Scholar · View at Scopus - S. Alizon and M. van Baalen, “Multiple infections, immune dynamics, and the evolution of virulence,”
*The American Naturalist*, vol. 172, no. 4, pp. E150–E168, 2008. View at Publisher · View at Google Scholar · View at Scopus - P. Schneider, B. H. Chan, S. E. Reece, and A. F. Read, “Does the drug sensitivity of malaria parasites depend on their virulence?”
*Malaria Journal*, vol. 7, article 257, 2008. View at Publisher · View at Google Scholar · View at Scopus - T. O. Svennungsen and É. Kisdi, “Evolutionary branching of virulence in a single-infection model,”
*Journal of Theoretical Biology*, vol. 257, no. 3, pp. 408–418, 2009. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - É. Kisdi, “Trade-off geometries and the adaptive dynamics of two co-evolving species,”
*Evolutionary Ecology Research*, vol. 8, no. 6, pp. 959–973, 2006. View at Google Scholar · View at Scopus - M. A. Khan, S. Islam, S. A. Khan, and G. Zaman, “Global stability of vector-host disease with variable population size,”
*BioMed Research International*, vol. 2013, Article ID 710917, 9 pages, 2013. View at Publisher · View at Google Scholar · View at Scopus - M. A. Khan, S. Islam, M. Arif, and Z. Ul Haq, “Transmission model of hepatitis b virus with the migration effect,”
*BioMed Research International*, vol. 2013, Article ID 150681, 10 pages, 2013. View at Publisher · View at Google Scholar · View at Scopus - J. A. J. Metz, S. A. H. Geritz, G. Meszena, F. J. A. Jacobs, and J. S. van Heerwaarden, “Adaptive dynamics: a geometrical study of the consequences of nearly faithful reproduction,” in
*Stochastic and Spatial Structures of Dynamical Systems*, S. J. van Strien and S. M. Verduyn Lunel, Eds., pp. 183–231, North-Holland, Amsterdam, The Netherlands, 1996. View at Google Scholar · View at MathSciNet - U. Dieckmann, “Can adaptive dynamics invade?”
*Trends in Ecology & Evolution*, vol. 12, pp. 128–130, 1997. View at Google Scholar - S. A. H. Geritz, É. Kisdi, G. Meszéna, and J. A. J. Metz, “Evolutionarily singular strategies and the adaptive growth and branching of the evolutionary tree,”
*Evolutionary Ecology*, vol. 12, no. 1, pp. 35–57, 1998. View at Publisher · View at Google Scholar · View at Scopus - A. Pugliese, “Population models for diseases with no recovery,”
*Journal of Mathematical Biology*, vol. 28, no. 1, pp. 65–82, 1990. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - J. A. J. Metz, R. M. Nisbet, and S. A. H. Geritz, “How should we define “fitness” for general ecological scenarios?”
*Trends in Ecology and Evolution*, vol. 7, no. 6, pp. 198–202, 1992. View at Publisher · View at Google Scholar · View at Scopus - J. M. Smith,
*Evolution and the Theory of Games*, Cambridge University Press, Cambridge, UK, 1982. - I. Eshel, “Evolutionary and continuous stability,”
*Journal of Theoretical Biology*, vol. 103, no. 1, pp. 99–111, 1983. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - É. Kisdi, “Evolutionary branching under asymmetric competition,”
*Journal of Theoretical Biology*, vol. 197, no. 2, pp. 149–162, 1999. View at Publisher · View at Google Scholar · View at Scopus - X. Z. Meng, R. Liu, and T. H. Zhang, “Adaptive dynamics for a non-autonomous Lotka-Volterra model with size-selective disturbance,”
*Nonlinear Analysis: Real World Applications*, vol. 16, pp. 202–213, 2014. View at Publisher · View at Google Scholar · View at MathSciNet