Replicator-mutator equations with quadratic fitness

Replicator-mutator equations with quadratic fitness

Matthieu Alfaro CNRS & Univ. Montpellier
IMAG
CC 051
34095 Montpellier
France
matthieu.alfaro@umontpellier.fr
 and  Rémi Carles remi.carles@math.cnrs.fr
Abstract.

This work completes our previous analysis on models arising in evolutionary genetics. We consider the so-called replicator-mutator equation, when the fitness is quadratic. This equation is a heat equation with a harmonic potential, plus a specific nonlocal term. We give an explicit formula for the solution, thanks to which we prove that when the fitness is non-positive (harmonic potential), solutions converge to a universal stationary Gaussian for large time, whereas when the fitness is non-negative (inverted harmonic potential), solutions always become extinct in finite time.

Key words and phrases:
Evolutionary genetics, nonlocal reaction diffusion equation, explicit solution, long time behaviour, extinction in finite time
2010 Mathematics Subject Classification:
92D15, 35K15, 45K05, 35C05

1. Introduction

This note is concerned with replicator-mutator equations, that is nonlocal reaction diffusion problems of the form

where and are parameters, and when either or . In order to simplify the presentation of the results, and before going into more details, we use the rescaling

and therefore consider

(1.1)

where the nonlocal term is given by

(1.2)

Equation (1.1) is always supplemented with an initial condition with mass , so that the mass is formally conserved for later times. Indeed, integrating (1.1) over , we find that satisfies

hence so long as is integrable.

In the context of evolutionary genetics, Equation (1.1) was introduced by Tsimring et al. [TLK96], where they propose a mean-field theory for the evolution of RNA virus populations on a phenotypic trait space. In this context, is the density of a population (at time and per unit of phenotypic trait) on a one-dimensional phenotypic trait space, and represents the fitness of an individual with trait value in a population which is at state . The nonlocal term represents the mean fitness at time . We refer to [Alf-Car] for more references on the biological background of (1.1).

1.1. The case

This case can be seen as a parabolic counterpart of the Schrödinger equation with a Stark potential; in the context of quantum mechanics, this potential corresponds to a constant electric field or to gravity (see e.g. [Thirring]). In the case of (1.1), a family of self similar Gaussian solutions has been constructed in [B14]. Then this case has been completely studied in [Alf-Car]. It turns out that not only traveling pulses are changing sign, but also extinction in finite time occurs for initial data with “not very light tails” (data which do not decay very fast on the right). This, in particular, contradicts the formal conservation of the mass observed in (1.1) and evoked above. Roughly speaking, the nonlocal term of the equation becomes infinite and the equation becomes meaningless. On the other hand, for initial data with “very light tails” (they decay sufficiently fast on the right), the solution is defined for all times and is escaping to the right by accelerating and flattening as . More precisely, the long time behaviour is (when ) a Gaussian centered at (acceleration) and of maximal height (flattening effect). In other words, extinction occurs at in this situation. This is like in the case of the linear heat equation, up to the fact that the center of the asymptotic Gaussian is given by , which undergoes some acceleration which is reminiscent of the effect of gravity. Notice some links of this acceleration phenomena with some aspects of the so-called dynamics of the fittest trait (see [DL96], [DJMP05], [MPW12] and the references therein) which, in some cases, escape to infinity for large times [D04], [P07].

1.2. The quadratic cases

To prove the above results in [Alf-Car], we used a change of unknown function based on the Avron–Herbst formula for the Schrödinger equation, and showed that (1.1) is equivalent to the heat equation. We could then compute its solution explicitly. Without those exact computations, the understanding of (1.1) seems far from obvious, and in particular the role of the decay on the right of the initial data. In [Alf-Car] we indicated that similar computations could also be performed in the cases , thanks to the generalized lens transform of the Schrödinger equation, but without giving any detail. The goal of the present work is to fill this gap, by giving the full details and results for these two cases.

Our motivation is twofold. First, very recently, replicator-mutator equations (or related problems) with quadratic fitness have attracted a lot of attention: let us mention the works [LoMiPe11], [Cal-Cud-Des-Rao], [Chi-Lor-Des-Hug], [Mar-Roq], [Gil-Ham-Mar-Roq], [Ver] and the references therein. In particular, Chisholm et al. [Chi-Lor-Des-Hug] study — among other things — the long time behaviour of the nonlocal term of an equation very close to (1.1), in the case , with compactly supported initial data. In Section 2 we completely solve (1.1) for any initial data, and can therefore study the long time behaviour not only of the nonlocal term but also of the full profile . The second reason is that the obtained behaviours are varied and interesting, bringing precious information in the dynamical study of partial differential equations. To give a preview of this, we now state two theorems which are direct consequences of the more detailed results of Section 2 () and Section 3 ().

In the case , solutions tend at large time to a universal stationary Gaussian. Denote

Theorem 1.1 (Case ).

Let , with . Then (1.1), with initial datum , has a unique solution . It satisfies

The above result shows that the presence of the quadratic fitness compensates the diffusive mechanism of the heat equation, since we recall that for with ,

We also emphasize that in Theorem 1.1, we do not assume that has two momenta in , : this property is satisfied by the solution instantaneously, as we will see in Section 2.

On the other hand, in the case , extinction in finite time always occurs.

Theorem 1.2 (Case ).

Let , with . Then the solution to (1.1), with initial datum , becomes extinct in finite time:

As in [Alf-Car], the solution may become extinct instantaneously (), that is, (1.1) has no non-trivial solution, if the initial datum has too little decay at infinity.

1.3. Heat vs. Schrödinger

As mentioned above, the present results, as well as those established in [Alf-Car], stem from explicit formulas discovered in the context of Schrödinger equations; see [Niederer73, Niederer74], [Thirring]. However, we have to emphasize several differences between (1.1) and its Schrödinger analogue,

(1.3)

The Schrödinger equation is of course time reversible. Less obvious is the way the term is handled, according to the equation one considers. In the Schrödinger case (1.3), we simply use a gauge transform to get rid of this term: it is equivalent to consider solution to (1.3) or

(1.4)

which solves

with the same initial datum. If we assume, like in the case of (1.1), that is real (which means that it is not given by (1.2) in this case), the change of unknown function (1.4) does not alter the dynamics, since . On the other hand, the analogous transformation in the parabolic case has a true effect on the dynamics since, as pointed out in [Alf-Car], it becomes

(1.5)

Multiplying by and integrating in , we infer

Therefore, so long as ,

It is clear that in general, and now have different large time behaviours.

The last algebraic step to construct explicit solutions for (1.1) and (1.3) consists in using the Avron–Herbst formula when , or a (generalized) lens transform when . In the case of the standard (quantum) harmonic oscillator, the solutions to

are related through the formula

What this formula does not show, since it is limited in time, is that the solution is periodic in time, as can be seen for instance by considering an eigenbasis for the harmonic oscillator , given by Hermite functions. Suppose to lighten the notations: the Hermite functions form an orthogonal basis of , and

Therefore, if

is obviously -periodic in time. This is in sharp contrast with the behaviour described in Theorem 1.1. Similarly, the solutions to

are related through the formula (change to in the previous formula)

This shows that the inverted harmonic potential accelerates the dispersion ( goes to zero exponentially fast), and the large time profile is given by . Again, this behaviour is completely different from the one stated in Theorem 1.2.

2. The case : convergence to a universal Gaussian

The case can be handled as explained in [Alf-Car]. We give more details here, and analyze the consequences of the explicit formula. In particular, for any initial data, the solution is defined for all positive times and converge, at large time, to a universal stationary Gaussian.

2.1. Results

Theorem 2.1 (The solution explicitly).

Let , with . Then (1.1) with initial datum has a unique solution . For all and , it is given by

(2.1)
(2.2)

As a consequence, for all , is given by

(2.3)

We now investigate the propagation of Gaussian initial data.

Proposition 2.2 (Propagation of Gaussian initial data).

If

(2.4)

then the solution of (1.1) remains Gaussian for and is given by

(2.5)

where

(2.6)

Since and as , it is easily seen that uniformly in . This fact is actually true for all initial data, as stated in the following theorem, which implies Theorem 1.1.

Theorem 2.3 (Long time behaviour).

Under the assumptions of Theorem 2.1, there exists independent of time such that

(2.7)

where

satisfies

uniformly in .

Observe that is nothing but the fundamental solution obtained by plugging , the Dirac mass at the origin, in (2.2), so the first part of the statement is the analogue of the convergence result recalled in the introduction,

and the effect of the fitness is to neutralize diffusive effects.

2.2. Proofs

Proof of Theorem 2.1.

As proved in [Alf-Car], we can reduce (1.1) to the heat equation by combining two changes of unknown function. First, we have

(2.8)

where solves the Cauchy problem

Notice that relation (2.8) is valid as long as . Next, by adapting the so-called lens transform ([Niederer73], [CaM3AS]), we have

(2.9)

where solves the heat equation

Combining (2.8), (2.9) and the integral expression of via the heat kernel, we end up with

(2.10)

where

Let us compute . Using Fubini’s theorem, we first compute the integral with respect to . Using elementary algebra (canonical form in particular), we get

(2.11)

where we have used the straightforward formula . Next, we pursue the computation of and, integrating with respect to , we find

Finally, we integrate with respect to and, using , get

Plugging this in the denominator of (2.10), and using the change of variable in the numerator of (2.10), we get (2.1), from which (2.2) easily follows. Using (2.2), Fubini theorem and the same computation as in (2.11), we obtain (2.3). The solution thus obtained satisfies . Uniqueness for such a solution stems from the transformations that we have used, which require exactly this regularity (see also (1.5)). Theorem 2.1 is proved. ∎

Proof of Proposition 2.2.

We plug the Gaussian data (2.4) into formula (2.1). Using elementary algebra (canonical form), we first compute

Some tedious but similar manipulations involving canonical form imply

Putting all together into (2.1), we arrive, after computations involving hyperbolic functions, at the desired formulas (2.5) and (2.6). ∎

Proof of Theorem 2.3.

Since is nothing but the fundamental solution arising from (2.2) with , we write

so that the deviation from this fundamental solution is given by

(2.12)

Define . It follows from the mean value theorem that

which in turn implies

for all . This proves (2.7). ∎

3. The case : systematic extinction in finite time

The case can be handled as explained in [Alf-Car]. Details are presented below: for any initial datum, the solution becomes extinct in finite time.

Indeed, it will turn out that there are two limitations for the time interval of existence of the solution. The first limitation arises when reducing equation (3.9) to the heat equation (3.11) through the relation (3.10), which requires

The other limitation appears when reducing (1.1) to (3.9), which requires

to remain finite (otherwise the solution becomes extinct). Hence, for with , we define

(3.1)

Some typical situations are the following: if has algebraic or exponential tails then (immediate extinction); if has Gaussian tails then (rapid extinction in finite time); last, if is compactly supported or has “very very light tails” then (extinction in finite time).

3.1. Results

Theorem 3.1 (The solution explicitly).

Let , with . As long as is finite, the solution of (1.1) with initial data is given by

(3.2)
(3.3)

As long as it exists, is given by

(3.4)
Remark 3.2.

Formally, one can notice that is turned into in (1.1) if one changes to , and to . After such transforms, (2.1)-(2.2) becomes (3.2)-(3.3).

Proposition 3.3 (Propagation of Gaussian initial data).

If

(3.5)

then the solution of (1.1) remains Gaussian for

and is given by

(3.6)

where

(3.7)

Notice that . Since as , it is easily seen that uniformly in . This extinction in finite time is actually true for all initial data, as stated in the following theorem.

Theorem 3.4 (Extinction in finite time).

Let , with . Let be given by (3.1).

  • If , then in (1.1), both and exist on . Typically, , , and for all . Moreover, extinction at time occurs, that is

  • If , then extinction in finite time occurs:

  • If , then is defined for no .

3.2. Proofs

Proof of Theorem 3.1.

Like in the previous section, we can reduce (1.1) to the heat equation by combining two changes of unknown function. First, we have

(3.8)

where solves the Cauchy problem

(3.9)

Notice that relation (3.8) is valid as long as remains finite. Next, we have

(3.10)

where solves the heat equation

(3.11)

Notice that relation (3.10) is valid for . Combining (3.8), (3.10) and the integral expression of via the heat kernel, we end up with

(3.12)