# Modelling evolution of virulence in populations with a distributed parasite load

## Abstract

Modelling evolution of virulence in host-parasite systems is an actively developing area of research with ever-growing literature. However, most of the existing studies overlook the fact that individuals within an infected population may have a variable infection load, i.e. infected populations are naturally structured with respect to the parasite burden. Empirical data suggests that the mortality and infectiousness of individuals can strongly depend on their infection load; moreover, the shape of distribution of infection load may vary on ecological and evolutionary time scales. Here we show that distributed infection load may have important consequences for the eventual evolution of virulence as compared to a similar model without structuring. Mathematically, we consider an SI model, where the dynamics of the infected subpopulation is described by a von Förster-type equation, in which the infection load plays the role of age. We implement the adaptive dynamics framework to predict evolutionary outcomes in this model. We demonstrate that for simple trade-off functions between virulence, disease transmission and parasite growth rates, multiple evolutionary attractors are possible. Interestingly, unlike in the case of unstructured models, achieving an evolutionary stable strategy becomes possible even for a variation of a single ecological parameter (the parasite growth rate) and keeping the other parameters constant. We conclude that evolution in disease-structured populations is strongly mediated by alterations in the overall shape of the parasite load distribution.

## Keywords

Structured populations Infection load Evolutionary attractor Pairwise invasibility plot (PIP) Singular points Trade-off Stability## 1 Introduction

Theoretical studies of the evolution of virulence and its control via research-driven management have a long history (Ebert and Weisser 1997; Lipsitch and Moxon 1997; Dieckmann 2002; Alizon et al. 2009; Morozov and Best 2012). Mathematical approaches to the problem have greatly developed, stemming from the original paradigmatic but the somewhat simplistic idea of maximisation of the basic reproduction number \(R_0\) to modern advanced frameworks considering complex feedback loops between dynamical environment, the host and the pathogen (Dieckmann 2002; Lion and Metz 2018). Among other important factors, heterogeneity of host is currently considered to play a key role in evolution of virulence and transmission rate. The host heterogeneity can occur due to a variety of reasons including genetic variation, infection history, the overall physiological status (e.g. nutrition), age, sex, space and other factors (Dwyer et al. 1997; Keith and Mitchell-Olds 2013; Sorci et al. 2013) and it was shown to strongly affect the course of evolution, in particular resulting in evolutionary branching (Pugliese 2011; Lion and Metz 2018). The importance of considering the heterogeneity of host is closely related to the current trend in modelling in population dynamics which highlights the necessity of studying physiologically structured populations (Metz and Diekmann 1986; Calsina and Farkas 2014; Farkas 2018; Farkas and Hagen 2007; Magal et al. 2010; de Roos and Persson 2013).

On the other hand, the existing research into modelling the evolution of virulence has so far overlooked the fact that the host population is often structured in terms of parasite burden. Actually, this type of population structuring directly follows from the very nature of infection. Indeed, an infection in the organism can initiate with a small initial amount of parasites which will progressively grow inside the host in the course of time and will eventually result in the host’s death. Empirical data usually reveal the large variation of parasite load inside infected individuals both in domestic and wild animals (Hudson et al. 1992; Temple 1987; Craig et al. 2006; Klimpel et al. 2006). It was also reported that key characteristics such as virulence, transmission rate, reproduction and recovery rate are strongly dependent on the parasite load (Hudson et al. 1992; Craig et al. 2006) and this should be reflected in our theoretical approaches.

As an insightful case study, we briefly consider the infection of red grouse by a parasitic nematode in North England in 1980–84 using the data set from (Hudson et al. 1992). Figure 1a shows the frequency distribution of parasitic worms per bird. For simplicity, we re-scale the *x*-axis, so the maximum load \(x=1\) corresponds to 17,000 worms per bird. Figure 1a also shows the parasite burden in birds found dead. One can clearly see a large variation in the parasite burden across the infected population. More interestingly, one can see that the distribution of dead birds is shifted (as compared to the distribution of infected) towards a higher infection load which can be explained by a strong increase in mortality with *x*. To estimate the effect of parasite load on mortality, we make a simple assumption that most of the birds found dead actually died recently before data collection. In this case, we plot a crude estimate of the dependence of the mortality of parasite number shown in Fig. 1b obtained as the number of dead individuals divided by the number of infected for the same *x* (a more accurate prediction should include the possibility of parasites growth inside dead bodies). We fitted a polynomial function (2.5) to the crude mortality data which is shown by a dashed line in Fig. 1b (for more details on extracting data and fitting the curves see the figure caption). From the figure, one can clearly see that the mortality rate dramatically increases with an increase in parasite load. It was also reported that birds with higher parasite loads had a higher probability to be consumed by their natural predator (Hudson et al. 1992).

*x*). As such, the alteration of the overall shape of parasite burden should play as much role in the outcome of evolution as a variation of some scalar parameters as for example, the growth rate of the parasite. Finally, to support the necessity of considering models with distributed parasite loads, we should stress that only in some particular cases a continuous structured population model can be described via a finite-dimensional representation (Diekmann et al. 2017).

In this paper, we try to bridge the existing gap and explore the evolution of virulence in a host-parasite system with a distributed infection load. Mathematically, we extend the classical SI model: now the population of infected individuals is a continuous variable of infection load *x* described by a von Förster-type equation (Cushing 1998). In this case, the parasite load plays the role of age. We use the well-known adaptive dynamics framework (Geritz et al. 1997) to elaborate the evolutionary outcome of the system, where invasion fitness (determining the possibility of a rare mutant to invade the population of the resident strain) is given by an integro-differential equation. For the considered model with density-independent mortality, we prove that possible evolutionarily singular points can be either evolutionary attractors (Evolutionary Stable Strategies, ESSs) or repellors. Then we explore several insightful examples of evolutionary behaviour for particular biological trade-offs between key model parameters: mortality, parasite growth rate and transmission rate. We compare our results with a similar SI unstructured model.

We show that for simple trade-off scenarios with pairwise connections between mortality, parasite growth rate and transmission rate long-term evolution in the structured model may involve bistability: depending on initial parasite strain the parasite can evolve to a benign or a virulent strain. We also show that the evolution of a single life trait (growth rate of the parasite inside the host) can result in an ESS in the system, which was not possible for an unstructured model. Finally, we plot the emerging average trade-offs between the virulence and the overall transmission rate since such trade-off is frequently included in unstructured models often without a proper mechanistic explanation. We show that in systems with a distributed parasite load virulence-transmission dependence can demonstrate non-monotonicity: high values of virulence may reduce the overall transmission rate. This becomes possible due to a gradual shift of the distribution of the parasite load towards a lower infection burden.

## 2 Model equations and general framework

*S*) and infected individuals (

*i*), i.e. those carrying parasites. Infected individuals

*i*are structured with respect to the parasitic load

*x*. We assume that individuals are firstly infected by some minimal parasite load \(x_{min}\). The maximal infection load is denoted by \(x_{max}\). Note that we can always shift and re-scale

*x*such that the range \(x\in [x_{min},x_{max}]\) becomes \(x\in [0,1]\). Thus, from hereafter we suggest that \(x_{min}=0\) and \(x_{max}=1\).

The reproduction of susceptible members of the population is described by the per capita growth rate *r*(*S*): here we assume that infected individuals do not reproduce. In illustrative examples (Sect. 3.3) we consider *r*(*S*)*S* to be as a logistic growth, i.e. \(r(S)=r_0(1-S/K)\) (Tsoularis and Wallace 2002), where \(r_0\) stands for the combination of the density-dependent highest per capita growth and the density-independent per capita mortality \(\mu _0\), with *K* being the carrying capacity. The infection process is described by the boundary condition (2.2). The probability that susceptible individuals become infected by contacting infected ones is proportional to *f*(*S*), which is assumed to be linear in the examples we consider in Sect. 3.3. However, *f* can generally be a non-linear function as well accounting for possible superlinear or sublinear spread of infection (Hochberg 1991; Adler and Mosquera Losada 2002). To obtain the contribution of the whole subpopulation of infected into disease transmission, one needs to integrate the elementary transmission term \(f(S)i(x,t){\widetilde{{\varLambda }}}(x)\) over \(x\in [0,1]\). Here is \({\widetilde{{\varLambda }}}(x)\) the transmission rate corresponding to infection load *x*.

The terms \(\rho (x)i(x,t)\) and \(\mu (x)i(x,t)\) in (2.1) describe, respectively, the recovery rate of infected individuals and their death rate. Finally, the function \(\alpha (x)\) stands for the increase in parasite numbers within an individual due to reproduction and consumption of the host.

*x*in general. Clearly, various scenarios are possible, for example where some (or all) those traits might be fully independent of each other. However, here for the sake of simplicity, we assume that each of them depends on a certain parameter \(\epsilon \) which can be characterised by a parasite strength or (fitness). Biologically, this can be, for example, the reproduction rate of parasites within the host, parasite maturation time, parasite survival rate (e.g. resistance to the host immune system) or similar traits which we can measure in our experiments. For simplicity, we assume that \(\mu \), \(\alpha \), \(\rho \) and \({\widetilde{{\varLambda }}}\) are functions of only one parameter \(\epsilon \). This does not exclude the particular case where some trait does not evolve and remains constant. In the course of evolution, \(\epsilon \) changes with time, thus resulting in the change of other traits. In this study, we assume (using biological common sense) that the growth of parasite load is an increasing function of \(\epsilon \); it is also logical to suggest that \(\alpha (0,\epsilon )\ge 0\) and \(\alpha (x,0)=0\). In other words, the initial growth rate at the minimal parasite load is positive and if the parasite strength vanishes, its growth is not possible anymore. In numerical examples (Sect. 3.3) we consider that

*x*, with

*A*,

*B*,

*C*being positive constants. Here \(h(\epsilon )\) is a function describing the link between the parasite strength and the extra mortality.

Here we do not admit the co-existence of multiple strains of the parasite within a single host (the case of co-infection should be considered elsewhere).

*x*and \(\epsilon \); moreover, we require that \({\widetilde{{\varLambda }}}(0,\epsilon )=0\) and \({\widetilde{{\varLambda }}}(x,0)=0\) holds. For simplicity, we consider a parametrisation where \({\widetilde{{\varLambda }}}(x,\epsilon )\) is given by the product of the function \(V(\epsilon )\) (depending only on the strength of infection) and the function \({\varLambda }(x)\) which describes the dependence on the parasite load. One can suggest various parameterisations of \(V(\epsilon )\) and their choice might have a strong effect on the evolutionary outcome (de Mazancourt and Dieckmann 2004; Hoyle et al. 2008). Following the studies of the evolution of virulence in unstructured populations (Dieckmann 2002), we consider the following possibilities: no trade-off, a linear dependence and a Monod (hyperbolic)-type function. Note that the non-linear trade-off is a concave function as it is frequently assumed in the literature. We also explore the simplest case where

*V*does not depend on \(\epsilon \). These parametrisations are listed in Table 1. Note that in most numerical examples we consider \(g(\epsilon )=\epsilon \) and \(h(\epsilon )=\epsilon \) in (2.5) and (2.4) unless it is stated otherwise.

Different parametrisations of the transmission rate *V* depending on the strength of the parasite characterised by \(\epsilon \)

Parametrisation type | \(V(\epsilon )\) |
---|---|

No trade-off | \(V(\epsilon )= \hbox {constant}\) |

Linear | \(V(\epsilon )=c\epsilon \) |

Simple Monod (hyperbolic) | \(V(\epsilon )=c\frac{\epsilon }{\epsilon +k}\) |

*m*and

*k*being some positive constants.

In our simulated examples in Sect. 3.3 we explore pairwise connections of trade-offs between the functions *V*, \(\alpha \) and \(\mu \), keeping a third trait constant. In other words, we explore the following three cases: (i) \(V(\epsilon )\), \(\mu (x,\epsilon )\) with \(\alpha (x)\); (ii) \(V(\epsilon )\), \(\alpha (x,\epsilon )\) with \(\mu (x)\) and (iii) \(\alpha (x,\epsilon )\), \(\mu (x,\epsilon )\) with a constant *V*.

The evolution of life traits in the model was investigated using the adaptive dynamics framework (Geritz et al. 1997; Brännström et al. 2013). The basic concept of adaptive dynamics is a separation of time scales, and considering the possibility of the invasion of a rare mutant into the environment formed by the resident at ecological equilibrium. The long-term evolutionary outcome is characterised by the so-called invasion fitness: a successful invasion would signify a positive fitness of the invader (Eshel 1983; Taylor 1989; Christiansen 1991; Abrams et al. 1993). As a result of a large number of invasions and substitutions of resident populations by mutants, the pathogen strain will eventually evolve until it reaches an evolutionary singular point, at which the selection gradient vanishes. The further evolutionary behaviour will depend on the stability of evolutionary singularities, i.e. ‘stopping points’ (Taylor 1989; Abrams et al. 1993). In adaptive dynamics, an evolutionary attractor signifies that a singular point should be both an evolutionary stable strategy (ESS)—the nearby mutants are not able to invade—and convergent stable strategy ensuring that an ESS can be attained (Eshel 1983). The evolutionary stability (or instability) can be determined from either a Pairwise Invasibility Plot (Kisdi and Meszena 1993) (PIP), and/or by computing the second derivatives of the invasion fitness at a singular point (Eshel 1983; Geritz et al. 1998). Finally, in the case of convergence of the evolutionary trajectory to a singular point which is not an ESS, a dimorphism can occur and results in branching (Geritz et al. 1998). Note that analytical verification of singular points is only possible in the case where the ecological attractor is a stable equilibrium.

From the adaptive dynamics point of view the main challenge of using the structured model (2.1)–(2.3) is that the invasion fitness can only be characterised implicitly as a leading eigenvalue of an (unbounded) linear operator; and to obtain detailed information one typically has to resort to numerical techniques (see the subsequent section for details). To verify stability conditions for the stationary state we use the corresponding characteristic equation and apply in-depth numerical techniques (Ames 2014; Davis and Rabinowitz 2007). Moreover, we also conduct direct numerical simulations of the model equation to follow the invasion of mutants and replacement of the resident. The computation is based on a finite difference scheme using upwind discretisation (Abia et al. 2005).

## 3 Results

### 3.1 Stationary states and their stability

It is clear that model (2.1) with boundary condition (2.2) admits the disease-free trivial stationary state \((0,\widetilde{S_*})\) where all members of the population are healthy. Here \(\widetilde{S_*}\) is the solution of the equation \(r(\widetilde{S_*})=0\), thus in the case of the logistic growth function we have that \(S_*\) is equal to the carrying capacity. The stability of this equilibrium determines whether or not a parasite strain characterised by \(\epsilon \) can invade the initially healthy population *S* at the carrying capacity. The condition of parasite spread is given by the following

### Proposition 1

This proposition can be established following standard techniques, similar to that those applied to age-structured population models (Li and Brauer 2008; Martcheva 2015). Note that the exponential kernel inside the integral is due to the fact that the underlying model uses structured partial differential equations. The full details of this can be found in the supplementary material.

*f*(

*S*) is monotonically increasing, it is possible to find a unique \(S_{*}\) value for each \(\epsilon \) such that (3.3) holds. Then, the value of \(S_*\) can be substituted into the second equation of (2.1), yielding the expression for \(i_{*}(0)\)

We summarize our findings in the proposition below, by establishing conditions which guarantee the existence of a positive steady state.

### Proposition 2

#### 3.1.1 Stability of the positive stationary state

*Daphnia*(structured consumer-resource) model we obtained in Farkas and Hagen (2007), hence we may invoke Theorem 2.1 from (Farkas and Hagen 2007), which guarantees the existence of a strongly continuous semigroup on the state space \({\mathcal {X}}=L^1(0,1)\times {\mathbb {R}}\) with norm \(||\cdot ||_{\mathcal {X}}=||\cdot ||_{L^1}+|\cdot |\), governing the linearised model (3.7). Furthermore, Lemma 2.2 in Farkas and Hagen (2007) implies that the asymptotic behaviour of (3.7) is governed by eigenvalues of the semigroup generator. Also, note that our model (2.1) is semi-linear and therefore the local stability of steady states is indeed determined by the asymptotic behaviour of the linear semigroup governing the linearised equations, for example see the stability principles established in Henry (1981, Ch. 5).

### Proposition 3

Assume that \(f'(S_*)>0\) and \(r(S_*)+r'(S_*)S_*<0\) hold, and that \(\rho (x,\epsilon )\equiv \rho \) and \({\varLambda }(x)\equiv {\varLambda }\). Then, if model (2.1) admits a positive steady state \((i_*(x),S_*)\), it is locally asymptotically stable.

### Proof

Next we formulate a sufficient condition for stability, which applies to more general model parameters, i.e. when \(\rho \) and \({\varLambda }\) are not necessarily constant; but at the same time it is more restrictive.

### Proposition 4

This result is established using a quasi-dissipativity approach (which does not rely on positivity or on the existence of a characteristic equation), and details of the proof can be found in Appendix A.

We would like to note that for a large number of our numerical simulations (see Sect. 3.3), the stability condition \(2f(S_*){\varLambda }(x)V(\epsilon )<\mu (x,\epsilon )\) does not hold true, thus we we could not invoke the stability criterion directly. Nevertheless, for these examples, we numerically solved the characteristic equation (3.10) to check the sign of the the real part of the dominant eigenvalue. Note however that within all of the range of the parameters we considered, the positive stationary state (where it existed) was indeed shown stable.

### 3.2 Evolutionarily singular points and their properties

*m*(

*x*,

*t*) characterised by \(\epsilon =\epsilon _{m}\) is introduced into this resident environment. By the main hypothesis of adaptive dynamics (Geritz et al. 1998), the dynamics of this mutant population can be described by the following linear model

*m*. To determine this leading eigenvalue we look for solutions of (3.16) in the following form

The results of our investigation of possible types of singular points are summarised as follows.

### Theorem 1

Suppose that there exists a singular point corresponding to a stable stationary state of model (2.1)–(2.2). Let the model parameters \(\mu \), \(\alpha \), \(\rho \) and \({\widetilde{{\varLambda }}}\) be smooth functions of the evolutionary parameter \(\epsilon \). Then this singular point has convergence stability if and only if it has ESS-stability, hence the only possible types of evolutionary outcomes are an evolutionary attractor or an evolutionary repellor with branching being impossible.

Note that the above theorem holds for the generic case where \(\mu \), \(\alpha \), \(\rho \) and \({\widetilde{{\varLambda }}}\) can all be functions of \(\epsilon \), still assuming that a singular point exists in this case. Moreover, the theorem holds for any shape of \({\widetilde{{\varLambda }}}\), i.e. not necessarily only for separable functions, i.e. \({\widetilde{{\varLambda }}}=V(\epsilon ){\varLambda }(x)\), which case we will investigate further in our numerical examples. The proof can be derived from direct computations of derivatives which, however, would result in cumbersome expressions. Here, for the sake of simplicity, we address the case where only \(\mu \) and *V* are both dependent on the evolutionary parameter \(\epsilon \). The proof for the general statement can be established following similar lines.

### Proof

### Remark 1

Using a similar approach one can prove the absence of branching points in the classical SI model without structuring with respect to the parasite load. The main requirement is that the mortality of infected individuals is density independent, that is, when \(\mu =\mu _0\).

### 3.3 Evolutionary outcomes in the system

Using the expressions for invasion fitness and its derivatives at evolutionarily singular points, one can explore possible evolutionary outcomes in the system. The goal of this subsection is to provide several examples of evolutionary behaviour with insightful biological interpretations rather than to give an exhaustive list of all possible regimes. Below we consider pairwise evolutionary connections between two out of three functions \(\mu (x,\epsilon )\), \(V(\epsilon )\) and \(\alpha (x,\epsilon )\), the recovery rate \(\rho (x,\epsilon )\) being always fixed.

#### 3.3.1 Trade-off between mortality \(\mu \) and transmission rate *V*

*No trade-off* Initially consider the simplest case of no trade-off, i.e. where *V* does not depend on \(\epsilon \). One can analytically prove by differentiating invasion fitness that in this case no (nontrivial) singular point is feasible with all mutations evolving towards the minimum plausible value of \(\epsilon \) due to the mortality’s dependence on \(\epsilon \). Note that the same conclusion is made in an SI model with no structuring of infectives with respect to parasite load (Dieckmann 2002). Interestingly, one can equally prove that for a constant \(\mu \) variation of *V* does not allow any evolutionarily singular point, instead it again evolves towards the minimum plausible value of \(\epsilon \) to maximise transmission.

*Linear trade-off*The situation changes for a linear trade-off function \(V(\epsilon )=c\epsilon \) (\(c>0\)) with \(h(\epsilon )=\epsilon \) in mortality rate: two evolutionarily singular strategies appear. This can be seen from the Pairwise Invasibility Plot (PIP) as shown in Fig. 2a. A PIP plot shows the sign of invasion fitness in the \((\epsilon _{r},\epsilon _{m})\) plane. In the figure, the grey regions represent the domain for which the mutant can successfully invade, whereas the white regions represent those regions for which the invasion of a rare mutant is not possible. Singular points in a PIP will be located at the intersection of these regions and the principal diagonal. For an ESS strategy, the sign of invasion fitness above and below the point (i.e. along the line passing through this point) should be negative (Geritz et al. 1998). Thus no mutants within this neighbourhood are able to successfully invade this singular point. As shown by (3.19), for the given model ESS-stability implies convergence stability hence this condition is sufficient in determining the stability of each singular point. Therefore in Fig. 2a it can be observed that the singular point at \(\epsilon _{1}^{*}\) is ESS-stable and convergence stable (this can also be confirmed through the use of the second derivatives), whereas \(\epsilon _{2}^{*}\) is not ESS-stable and therefore is not convergent stable. In other words, \(\epsilon _{1}^{*}\) is an evolutionary attractor whereas \(\epsilon _{2}^{*}\) is an evolutionary repellor. The long-term evolutionary outcome in the system will depend on initial conditions. If the initial parasite strain has \(\epsilon <\epsilon _{2}^{*}\), the evolution will end up at an ESS \(\epsilon _{1}^{*}\), whereas for \(\epsilon >\epsilon _{2}^{*}\), the virulence and the transmission rate will be always growing until they reach their maximum biologically plausible values.

It is insightful to plot the overall trade-off relationship between the virulence understood as the total extra mortality rate due to parasites and the average transmission rate. Those values are computed at the stationary state of the system and shown in Fig. 2b. The figure also shows the two singular points obtained in the related PIP. The graph shows an almost linear global trade-off between virulence and transmission. Interestingly, a classical SI model with a linear trade-off between virulence and disease transmission predicts an ever-increasing virulence without any ESS state possible (Dieckmann 2002). Our simulation shows that the occurrence of an ESS is due to variation of the stationary distribution of parasite burden \(i_{*}\) of the resident as a result of a change of \(\epsilon \), which is clearly impossible in an unstructured model. The corresponding stationary distributions of parasite burden \(i_{*}\) are presented in the supplementary material.

*Trade-off with saturation*

Following previous studies (Dieckmann 2002), we now add effects of saturation into the trade-off for \(V(\epsilon )\) and consider the Monod parametrisation of the form \(V(\epsilon )={\widetilde{c}}\frac{\epsilon }{k+\epsilon }\), where \({\widetilde{c}}\) and *k* are chosen such that *V* initially has the same slope as the linear trade-off. We find that the two previously found singular points in Fig. 2 still persist. However, saturation in \(V(\epsilon )\) results in the appearance of another singular point. The corresponding PIP is shown in Fig. 3a. One can see that we now have evolutionary bi-stability, where two ESS strategies \(\epsilon _{1}^{*} <\epsilon _{3}^{*}\) (which are also convergent stable) are separated by an evolutionary repellor \(\epsilon _{2}^{*}\). The initial resident will evolve to \(\epsilon _{1}^{*}\) if its initial \(\epsilon \) is less than \(\epsilon _{2}^{*}\) and will evolve to \(\epsilon _{3}^{*}\) if it is larger than \(\epsilon _{2}^{*}\). Thus depending on the starting evolutionary point, we will have either more virulent or a benign parasite strain. The ever-increasing \(\epsilon \) does not occur anymore as in the example with the linear trade-off. The corresponding overall (average) trade-off plot is shown in Fig. 3b. This figure shows an almost linear dependence between the average virulence and transmission rate despite a non-linear function *V*(*D*), thus the emergence of ESS is due to alteration the stationary distribution of parasite load \(i_{*}(x)\) shown in the supplementary material.

#### 3.3.2 Trade-off between infection load growth \(\alpha \) and transmission rate *V*

The trade-off between parasite virulence and transmission rate can actually have different underlying mechanisms. In this section, we consider the case where an increase in the parasite strength \(\epsilon \) does not affect the mortality of the host \(\mu \) but enhances the infection growth rate \(\alpha \) and the transmission coefficient *V*. Mathematically, this can be described by (2.4). As before, we consider different parameterisations of \(V(\epsilon )\).

*No trade-off* We start with the basic case of no trade-off, with *V* being a constant parameter being independent of the evolutionary parameter \(\epsilon \). Unlike the previous case, the variation of a single growth rate \(\alpha \) via changing \(\epsilon \) would result in achieving an ESS in the system which is shown in the PIP in Fig. 4a. The ESS is shown by a black filled point. The corresponding overall trade-off between the virulence and the transmission rate is demonstrated in Fig. 4b. One can see that this dependence is non-linear. The important message from this illustrative example is that in the case of a structured population, variation of a single parameter (the parasite growth rate) would result in modification of the global traits like the overall virulence and the overall transmission rate due to alteration of the parasite burden distribution even if the parameters describing \(\mu \) and \(V(\epsilon )\) remain the same.

*Linear trade-off and trade-off with saturation*We further consider scenarios where \(V(\epsilon )\) is either a linear or a Monod function. We found that for the considered parameterisations of

*V*the structure of PIP topologically remained the same (the graphs are not shown for brevity). We also considered a sum of two Monod functions with close parameters. In this case, an extra singular point appears in the diagram which is an evolutionary repellor. An example of such a situation is shown in the PIP in Fig. 5a. The corresponding overall trade-off is shown in Fig. 5b. Some examples of the parasite burden plots for different values of \(\epsilon \) are shown in Fig. 5c. The figure demonstrates that the stationary profiles \(i_*(x)\) gradually shift towards higher infection loads with an increase of the parasite fitness, thus the overall infection load increases with \(\epsilon \) due to re-distribution of the parasite load.

#### 3.3.3 Trade-off between infection load growth \(\alpha \) and mortality \(\mu \)

*h*and

*g*including linear an saturate dependencies: (i) \(g(\epsilon )=\epsilon \) and \(h(\epsilon )=\epsilon \); (ii) \(g(\epsilon )=c\epsilon /(k+\epsilon )\) and \(h(\epsilon )=\epsilon \); (iii) \(g(\epsilon )=\epsilon \) and \(h(\epsilon )=c\epsilon /(k+\epsilon )\). We obtained the following results. In cases (i) and (ii) we have a single ESS (the corresponding diagrams are not shown here for brevity). In case (iii), we have a bi-stability of ESSs presented in Fig. 6a: the middle singular point is an evolutionary repellor and the other two are evolutionary attractors. The corresponding overall trade-off plot can be seen in Fig. 6b. Interestingly, the global trade-off shows an inflection point with a further acceleration even if the dependencies on \(\epsilon \) in (2.4) and (2.5) are described by a linear or a sub-linear function.

## 4 Discussion and conclusions

In this paper, we extended previous studies on modelling evolution of virulence to the realistic case where the infection burden (i.e. the amount of parasite per host) is highly variable from individual to individual. Our work is motivated by a number of empirical studies reporting large variability of parasite load within infected host and the fact that mortality and the transmission rate would strongly depend on the number of parasites per host (Hudson et al. 1992; Temple 1987; Craig et al. 2006; Klimpel et al. 2006). Mathematically, we analyse an SI-type model with continuous structuring in terms of parasite load. Note that despite the fact that population structuring was incorporated in a number of the previous studies in mathematical epidemiology, most of previous models studied previously introduced variability of host individuals with respect to age or body size (Li and Brauer 2008; Martcheva 2015). The evolution of virulence in the current work was modelled based on the adaptive dynamics paradigm considering separation of evolutionary and ecological timescales. Note that our main analytical results (e.g. stability analysis, the expression for invasion fitness, types of evolutionary singular points) are valid for arbitrary trade-offs between parameters \(\alpha \), \(\mu \), \(\rho \), \({\varLambda }\).

Our study demonstrates that principles of adaptive dynamics can be readily extended to the case of continuous structuring with respect to infection load: the major difference being that in our case invasion fitness is determined by a more complex equation (3.18). A major mathematical challenge, however, is to prove analytically the stability of the positive stationary state of the system (to use Eq. (3.18) we need to make sure that the resident population is constant), which cannot be easily done unlike in the case of the classic unstructured SI model. Nevertheless, using analytical expression for the invasion fitness we proved that for arbitrary trade-offs between parameters in both structured and unstructured models the possible evolutionary endpoints are ESSs, thus branching behaviour is not possible. Note that the restriction on branching in model (2.1) is due to the fact that the mortality rate of the infected subpopulation *i* is density independent. The absence of branching is probably not that surprising if one recalls that the equation for the mutant strain contains a single environmental feedback, the density \(S_*\) which was shown to restrict branching behaviour (Gyllenberg and Service 2011; Lion and Metz 2018). We predict that branching in (2.1) might be possible via adding an additional environmental feedback into the equation for the infected subpopulation, for example, virulence-dependent predation, as it was shown for an unstructured model in Morozov and Best (2012). Actually, finding branching in more complicated models in distributed infection load would be a natural extension of the current research.

*x*which translates itself into a higher mortality and thus results in a higher disease transmission. Thus, the trade-off between overall virulence and the transmission rate becomes an emerging property of the host-parasite system.

We found that evolutionary outcomes in the system will depend on the mathematical parametrisation of the parasite growth rate \(\alpha (x,\epsilon )\). In most simulations we considered the unimodal function (2.4). However, we also considered some other options (e.g. the logistic function, a constant \(\alpha \) or even monotonically decreasing growth rate). An interesting behaviour is observed in the case where the growth rate is a linearly decreasing function of infection load \(\alpha (x)=C_0-x\) with \(C_0=1.01\) (here \(\alpha \) is independent of \(\epsilon \)) and we considered the Monod trade-off between *V* and \(\mu \). Biologically, such a scenario can occur in the situation where the response of the immune system of the host becomes stronger with an increase in parasite load. The corresponding PIP can be seen in Fig. 7a. Surprisingly, the shape of the overall trade-off between the transmission and virulence has an intermediate maximum in Fig. 7b. For high values of virulence, the transmission rate reduces. The explanation of this unusual behaviour comes from the corresponding stationary profiles \(i_*(x)\) (see Supplementary Material): the distribution of infected gradually moves towards lower infection loads as the virulence increases.

Finally, we should stress that a major challenge of modelling evolution in systems with distributed parasite loads is an apparent increase in the system complexity: in such systems, one needs to parameterise extra functions \(\alpha \), \(\mu \), \(\rho \), \({\varLambda }\) and different parameterisations may provide fully distinct results. Moreover, the choice of an evolutionary parameter and trade-offs may strongly affect the evolutionary outcomes. We should say, however, that this drawback can be partially compensated by the opportunity of revealing \(\alpha (x,\epsilon )\), \(\mu (x,\epsilon )\), \(\rho (x,\epsilon )\), \({\varLambda }(x,\epsilon )\) directly from data (e.g. Fig. 1): this can be done on short (ecological) time scales. Note that in many ecological cases the recovery is absent which simplifies the task. On the other hand, we believe the current model—which combines both phenomenological and first principle approaches—can be extended using a more mechanistic approach of describing within host dynamics of parasite (e.g. based on first principles) and this will be an interesting subject for future studies. For example, one can consider as evolutionary parameters the ones which describe parasite reproduction, growth and survival inside the host. Then we can explore possible mechanistic (biological) connection of those parameters to host mortality and transmission rates. The overall trade-off between virulence and transmission at the scale of the population will emerge as the result of interplay between evolution of ‘microparameters’ and the corresponding alteration of the shape of frequency distribution of infection load. This promising approach of mechanistically revealing trade-offs—which emerge as a property of the system and are not defined by some prescribed functions—is currently gaining support in the literature (Sieber and Gudelj 2014; Meyer et al. 2015). Finally, another important direction (not considered here) is assuming the possibility of co-existence of different strains within a single host.

## Notes

## Supplementary material

## References

- Abia LM, Angulo O, Lopez-Marcos JC (2005) Age-structured population dynamics models and their numerical solutions. Ecol Model 188:112–136Google Scholar
- Abrams PA, Matsuda H, Harada Y (1993) Evolutionarily unstable fitness maxima and stable fitness minima of continuous traits. Evol Ecol 7(5):465–487Google Scholar
- Adler FR, Mosquera Losada J (2002) Super-and coinfection: filling the range. In: Dieckman U, Metz JAJ, Sabelis MW, Sigmund K (eds) Adaptive dynamics of infectious diseases: in pursuit of virulence management. Cambridge University Press, Cambridge, pp 138–149Google Scholar
- Alizon S, Hurford A, Mideo N, Van Baalen M (2009) Virulence evolution and the trade-off hypothesis: history, current state of affairs and the future. J Evol Biol 22(2):245–259Google Scholar
- Allen LJ (1994) Some discrete-time SI, SIR, and SIS epidemic models. Math Biosci 124(1):83–105MathSciNetzbMATHGoogle Scholar
- Ames WF (2014) Numerical methods for partial differential equations. Academic press, 3rd ednGoogle Scholar
- Anderson RM, May RM (1982) Coevolution of hosts and parasites. Parasitology 85(2):411–426Google Scholar
- Brännström Å, Johansson J, von Festenberg N (2013) The hitchhiker’s guide to adaptive dynamics. Games 4(3):304–328MathSciNetzbMATHGoogle Scholar
- Calsina Á, Farkas JZ (2014) Postive steady states of nonlinear evolution equations with finite dimensional nonlinearities. SIAM J Math Anal 46:1406–1426MathSciNetzbMATHGoogle Scholar
- Calsina À, Farkas JZ (2016) On a strain-structured epidemic model. Nonlinear Anal Real World Appl 31:325–342MathSciNetzbMATHGoogle Scholar
- Christiansen FB (1991) On conditions for evolutionary stability for a continuously varying character. Am Nat 138(1):37–50Google Scholar
- Craig BH, Pilkington JG, Pemberton JM (2006) Gastrointestinal nematode species burdens and host mortality in a feral sheep population. Parasitology 133(4):485–496Google Scholar
- Cushing JM (1998) An introduction to structured population dynamics, vol 71. SIAM, PhiladelphiazbMATHGoogle Scholar
- Davis PJ, Rabinowitz P (2007) Methods of numerical integration. Courier CorporationGoogle Scholar
- de Mazancourt C, Dieckmann U (2004) Trade-off geometries and frequency-dependent selection. Am Nat 164(6):765–778Google Scholar
- de Roos AM, Persson L (2013) Population and community ecology of ontogenetic development. Princeton University Press, PrincetonGoogle Scholar
- Dieckmann U (2002) Adaptive dynamics of pathogen-host interactions. In: Dieckmann U, Metz JAJ, Sabelis MW, Sigmund K (eds) Adaptive dynamics of infectious diseases: pursuit of virulence management. Cambridge University Press, Cambridge, p 3959Google Scholar
- Diekmann O, Gyllenberg M, Metz JAJ (2017) Finite dimensional state representation of linear and nonlinear delay systems. J Dyn Differ Equ. https://doi.org/10.1007/s10884-017-9611-5 zbMATHGoogle Scholar
- Dwyer G, Elkinton JS, Buonaccorsi JP (1997) Host heterogeneity in susceptibility and disease dynamics: tests of a mathematical model. Am Nat 150:685–707Google Scholar
- Ebert D, Weisser WW (1997) Optimal killing for obligate killers: the evolution of life histories and virulence of semelparous parasites. Proc R Soc Lond B Biol Sci 264(1384):985–991Google Scholar
- Ebert D, Bull JJ (2003) Challenging the trade-off model for the evolution of virulence: is virulence management feasible? Trends Microbiol 11(1):15–20Google Scholar
- Engel K-J, Nagel R (2000) One-parameter semigroups for linear evolution equations. Springer-Verlag, New YorkzbMATHGoogle Scholar
- Eshel I (1983) Evolutionary and continuous stability. J Theor Biol 103(1):99–111MathSciNetGoogle Scholar
- Farkas JZ (2018) Net reproduction functions for nonlinear structured population models. Math Model Nat Phenom 13:32MathSciNetzbMATHGoogle Scholar
- Farkas JZ, Hagen T (2007) Linear stability and positivity results for a generalized size-structured Daphnia model with inflow. Appl Anal 86:1087–1103MathSciNetzbMATHGoogle Scholar
- Farkas JZ, Hagen T (2009) Asymptotic analysis of a size-structured cannibalism model with infinite dimensional environmental feedback. Commun Pure Appl Anal 8:1825–1839MathSciNetzbMATHGoogle Scholar
- Farkas JZ, Hagen T (2010) Hierarchical size-structured populations: the linearized semigroup approach. Dyn Contin Discrete Impuls Syst Ser A Math Anal 17:639–657MathSciNetzbMATHGoogle Scholar
- Farkas JZ, Hinow P (2010) On a size-structured two-phase population model with infinite states-at-birth. Positivity 14:501–514MathSciNetzbMATHGoogle Scholar
- Geritz SA, Metz JAJ, Kisdi E, Meszena G (1997) Dynamics of adaptation and evolutionary branching. Phys Rev Lett 78:2024–2027Google Scholar
- Geritz SAH, Kisdi E, Meszena G, Metz JAJ (1998) Evolutionarily singular strategies and the adaptive growth and branching of the evolutionary tree. Evol Ecol 12:35–57Google Scholar
- Geritz SAH, Kisdi E, Yan P (2007) Evolutionary branching and long-term coexistence of cycling predators: critical function analysis. Theor Popul Biol 71:424–435zbMATHGoogle Scholar
- Gyllenberg M, Service R (2011) Necessary and sufficient conditions for the existence of an optimisation principle in evolution. J Math Biol 62:259–369MathSciNetzbMATHGoogle Scholar
- Henry D (1981) Geometric theory of semilinear parabolic equations. Springer-Verlag, BerlinzbMATHGoogle Scholar
- Hochberg ME (1991) Non-linear transmission rates and the dynamics of infectious disease. J Theor Biol 153(3):301–21MathSciNetGoogle Scholar
- Hoyle A, Bowers RG, White A, Boots M (2008) The influence of trade-off shape on evolutionary behaviour in classical ecological scenarios. J Theor Biol 250(3):498–511MathSciNetzbMATHGoogle Scholar
- Hudson PJ, Dobson AP, Newborn D (1992) Do parasites make prey vulnerable to predation? Red grouse and parasites. J Anim Ecol 61:681–692Google Scholar
- Keith R, Mitchell-Olds T (2013) Genetic variation for resistance to herbivores and plant pathogens: hypotheses, mechanisms and evolutionary implications. Plant Pathol 62:122–132Google Scholar
- Kisdi E, Meszena G (1993) Density dependent life history evolution in fluctuating environments. In: Yoshimura J, Clark CW (eds) Adaptation in stochastic environments. Springer, Berlin, pp 26–62Google Scholar
- Klimpel S, Palm HW, Busch MW, Kellermanns E, Ruckert S (2006) Fish parasites in the Arctic deep-sea: poor diversity in pelagic fish species vs. heavy parasite load in a demersal fish. Deep Sea Res Part I Oceanogr Res Pap 53(7):1167–1181Google Scholar
- Li J, Brauer F (2008) Continuous-time age-structured models in population dynamics and epidemiology. In: Brauer F, van den Driessche P, Wu J (eds) Mathematical epidemiology. Springer, Berlin, pp 205–227Google Scholar
- Lion S, Metz JA (2018) Beyond \(R_0\) maximisation: on pathogen evolution and environmental dimensions. Trends Ecol Evol 33(6):458–473Google Scholar
- Lipsitch M, Moxon ER (1997) Virulence and transmissibility of pathogens: what is the relationship? Trends Microbiol 5(1):31–37Google Scholar
- Magal P, McCluskey CC, Webb GF (2010) Lyapunov functional and global asymptotic stability for an infection-age model. Appl Anal 89:1109–1140MathSciNetzbMATHGoogle Scholar
- Martcheva M (2015) Introduction to mathematical epidemiology, vol 61. Texts in applied mathematics. Springer, New YorkzbMATHGoogle Scholar
- Metz JAJ, Diekmann O (1986) The dynamics of physiologically structured populations. Springer, BerlinzbMATHGoogle Scholar
- Metz JA, Nisbet RM, Geritz SA (1992) How should we define ‘fitness’ for general ecological scenarios? Trends Ecol Evol 7(6):198–202Google Scholar
- Metz JA, Geritz SA, Meszena G, Jacobs FJ, Van Heerwaarden JS (1995) Adaptive dynamics: a geometrical study of the consequences of nearly faithful reproductionGoogle Scholar
- Meyer JR, Gudelj I, Beardmore RE (2015) Biophysics of biodiversity: cellular mechanisms that generate trade-off geometries. Nat Commun 6:6278Google Scholar
- Morozov A, Best A (2012) Predation on infected host promotes evolutionary branching of virulence and pathogens’ biodiversity. J Theor Biol 307:29–36MathSciNetzbMATHGoogle Scholar
- Pugliese A (2011) The role of host population heterogeneity in the evolution of virulence. J Biol Dyn 5:104–119MathSciNetzbMATHGoogle Scholar
- Sieber M, Gudelj I (2014) Do-or-die life cycles and diverse post-infection resistance mechanisms limit the evolution of parasite host ranges. Ecol Lett 17(4):491–498Google Scholar
- Smith JM, Price GR (1973) The logic of animal conflict. Nature 246(5427):15zbMATHGoogle Scholar
- Sorci G, Cornet S, Faivre B (2013) Immunity and the emergence of virulent pathogens. Infect Genet Evol 16:441–446Google Scholar
- Taylor PD (1989) Evolutionary stability in one-parameter models under weak selection. Theor Popul Biol 36(2):125–143MathSciNetzbMATHGoogle Scholar
- Temple SA (1987) Do predators always capture substandard individuals disproportionately from prey populations? Ecology 68:669–674Google Scholar
- Tsoularis A, Wallace J (2002) Analysis of logistic growth models. Math Biosci 179(1):21–55MathSciNetzbMATHGoogle Scholar

## Copyright information

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.