Académique Documents
Professionnel Documents
Culture Documents
pour lobtention du
Doctorat de luniversit
e dAix-Marseille
(sp
ecialit
e Math
ematiques Appliqu
ees)
par
Jimmy GARNIER
Composition du jury
Unit
e de Biostatistique et Processus Spatiaux (BioSP) UR 546
Mis en page avec la classe thloria.
Sandra, Nas et louane.
i
ii
Table des matires
I Introduction gnrale 1
1 Contexte scientique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2 Rsultats . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.1 quations de raction-diusion homognes : caractrisation des fronts et
eet Allee . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.2 quations de raction-diusion en milieu htrogne : vitesse de propagation
et problmes inverses . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.3 quations intgro-direntielles : acclration des solutions . . . . . . . . . 26
3 Perspectives . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3.1 Fronts tirs, fronts pousss et gntique des populations . . . . . . . . . . . 31
3.2 Eet de la fragmentation de la donne initiale en habitat htrogne . . . . 32
3.3 Vitesse dexpansion en milieu htrogne . . . . . . . . . . . . . . . . . . . 32
3.4 Dispersion longue distance . . . . . . . . . . . . . . . . . . . . . . . . . . 32
Chapitre 1
Inside dynamics of pulled and pushed fronts
1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
1.2 Main Results . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.1 The inside structure of the fronts . . . . . . . . . . . . . . . . . . . . . . . 41
2.2 Notions of pulled and pushed transition waves in a more general setting . . 44
1.3 The description of pulled fronts . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3.1 Local asymptotic extinction in the moving frame : proof of (1.15) . . . . . 45
3.2 Extinction in ( t, +) and in R : proofs of Theorem 1 and Proposition 2 49
1.4 The description of pushed fronts . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
4.1 Preliminary lemmas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
4.2 Proof of formula (1.21) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
iii
Table des matires
4.3 Spreading properties inside the pushed fronts : proofs of Theorem 2 and
Proposition 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
Chapitre 2
Allee effect promotes diversity in traveling waves of colonization
2.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
2.2 The model, main hypotheses and classical results . . . . . . . . . . . . . . . . . . 61
2.1 Growth functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
2.2 Traveling wave solutions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
2.3 Results : how the fractions propagate . . . . . . . . . . . . . . . . . . . . . . . . . 63
3.1 Evolution of the density of the fraction in a moving frame . . . . . . . . 63
3.2 Evolution of the density of the fraction behind the wave . . . . . . . . . 65
2.4 Numerical computations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
4.1 KPP case . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
4.2 Allee case . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
2.5 Discussion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
2.6 Appendices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
6.1 Appendix A : Proof of Result 1a . . . . . . . . . . . . . . . . . . . . . . . 69
6.2 Appendix B : Proof of Result 2a . . . . . . . . . . . . . . . . . . . . . . . 69
6.3 Appendix C : Proof of Result 1b . . . . . . . . . . . . . . . . . . . . . . . 70
6.4 Appendix D : Proof of Result 2b . . . . . . . . . . . . . . . . . . . . . . . 71
Chapitre 3
Effect of the spatial distribution of the founding population on establishment
3.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
3.2 Materials and methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
2.1 The reaction-diusion model . . . . . . . . . . . . . . . . . . . . . . . . . . 75
2.2 Initial conditions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
3.3 Results . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
3.1 Analytical result in the one-dimensional case . . . . . . . . . . . . . . . . . 79
3.2 Numerical results . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
3.4 Discussion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
3.5 Appendices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
5.1 Appendix A : Proofs of Theorem 4 and Lemma 9 . . . . . . . . . . . . . . 86
5.2 Appendix B : Numerical solution of (3.1) . . . . . . . . . . . . . . . . . . . 89
Chapitre 4
On the uniqueness of the spreading speed in heterogeneous media
iv
4.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
1.1 Hypotheses . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
1.2 Denitions of the spreading speeds and earlier works . . . . . . . . . . . . 94
4.2 Statement of the results . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
2.1 Slowly increasing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
2.2 Rapidly increasing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
2.3 Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
4.3 The two values case . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
3.1 Maximal speed : proof of parts 1 and 3 of Proposition 4 . . . . . . . . . . . 99
3.2 Minimal speed : proof of parts 2 and 4 of Proposition 4 . . . . . . . . . . . 100
4.4 The continuous case . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
4.1 Proof of part 1 of Theorem . . . . . . . . . . . . . . . . . . . . . . . . . . 101
4.2 Proof of part 2 of Theorem . . . . . . . . . . . . . . . . . . . . . . . . . . 102
4.5 The unique spreading speed case . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
5.1 Construction of the approximated eigenfunctions . . . . . . . . . . . . . . . 103
5.2 Upper bound for the spreading speed . . . . . . . . . . . . . . . . . . . . . 105
5.3 Lower bound on the spreading speed . . . . . . . . . . . . . . . . . . . . . 107
Chapitre 5
Uniqueness from pointwise observations in a multi-parameter inverse problem
Chapitre 6
Fast propagation in integro-differential equations
v
Table des matires
Bibliographie 143
vi
Table des figures
2.1 A schematic representation of a traveling wave solution u(t, x) of (2.1) made of six
fractions. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
2.2 Evolution of the spatial structure of the solution u(t, x) of (2.1). . . . . . . . . . . . . 67
vii
Table des gures
6.1 The position of the level set E0.2 (t) of the solution of (6.1) with an exponentially
unbounded kernel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130
6.2 Comparison of the evolution the solution of problem (6.1) with an exponentially un-
bounded kernel and with an exponentially bounded kernel . . . . . . . . . . . . . . . . 131
viii
Premire partie
Introduction gnrale
1
1. Contexte scientique
1 Contexte scientifique
Cette thse porte sur lanalyse mathmatique de problmes dvolution nonlinaires et plus prci-
sment sur ltude de modles de raction-dispersion. La forme gnrale de ces quations de raction-
dispersion est la suivante :
u
(t, x) = D(u)(t, x) + f (x, u(t, x)), t > 0, x R. (1)
t
Ces quations interviennent dans des domaines trs varis comme la combustion [27, 189, 194], la
chimie [32], la biologie ou lcologie [103, 70, 135]. Elles modlisent gnralement lvolution dentits
qui interagissent entre elles et se dplacent. En particulier, dans le domaine de la dynamique des
populations ou la gntique des populations, la quantit u(t, x) reprsente la densit de population
linstant t et la position x. Le terme de raction f (x, u) correspond au taux de croissance de la
population. Il permet de modliser les interactions entre les individus et les caractristiques de lhabitat
ou du milieu. Ce terme de raction dpend dune part de la densit u et dautre part du milieu dans
lequel volue la population au travers de la variable despace x. Le mouvement des individus est dcrit
grce loprateur de dispersion D. Suivant le mode de dplacement des individus, cet oprateur sera
local ou non-local.
Lobjectif de la thse est de comprendre linuence du terme de raction f, de loprateur de
dispersion D, et de la donne initiale u0 sur la propagation des solutions u de lquation de raction-
dispersion (1).
Nous nous intresserons principalement deux types dquations de raction-dispersion : les qua-
tions de raction-diusion et les quations intgro-direntielles. Les quations de raction-diusion
sont des quations aux drives partielles paraboliques nonlinaires. Loprateur de dispersion D est
un oprateur direntiel elliptique du second ordre. Les premires quations de raction-diusion du
type
u 2u
(t, x) = (t, x) + f (u(t, x)), t > 0, x R, (2)
t x2
ont t introduites la n des annes 30 dans les articles de Fisher [72] et Kolmogorov, Petrovsky, et
Piskunov [112], pour des modles de gntique des populations.
Dans ces premiers modles, la nonlinarit f est indpendante de la variable despace x. Le milieu
est dit homogne. Dans ce cas homogne, nous considrons des nonlinarits f rgulires, f C 1 ([0, 1]),
et sannulant en 0 et 1
f (0) = f (1) = 0.
Les fonctions p 0 et p+ 1 sont alors des tats stationnaires de lquation (2). En outre, les
nonlinarits tudies vrient lune des trois proprits suivantes :
Dans ce cas, le terme de croissance f (u) est toujours strictement positif sur ]0, 1[. Lexemple le plus
classique de terme monostable est f (u) = u(1 u)(1 + au), avec a 0. Si a 1, le taux de croissance
par individu f (u)/u (dni par f (0) en u = 0) est dcroissant sur lintervalle [0, 1] ce qui correspond
un terme de raction du type KPP, pour Kolmogorov, Petrovsky, et Piskunov [112] (voir gure 1(a)).
3
f (u) f (u)
y = f (0)u
1 1
y = f (0)u
0 1 u 0 1 u
f (u)
1
0
1 u
Par contre, si a > 1, le maximum du taux de croissance par individu nest plus atteint en u = 0. En
cologie, ceci correspond un eet Allee faible [175](voir gure 1(b)).
et il existe ]0, 1[ tel que f < 0 sur ]0, [ et f > 0 sur ], 1[.
Le taux de croissance f (u) est donc ngatif faible densit, ce qui correspond un eet Allee fort [118,
175]. Le paramtre est appel seuil de leet Allee en dessous duquel le taux de croissance devient
ngatif. Les fonctions cubiques f (u) = u(1 u)(u ), avec dans ]0, 1/2[, sont des nonlinarits de
type bistable. La condition de signe sur lintgrale de f traduit le fait que ltat 1 est plus stable que
ltat 0.
f (1) < 0 et il existe ]0, 1[ tel que f = 0 sur ]0, [ et f > 0 sur ], 1[.
Cette nonlinarit intervient souvent en combustion. Dans ce cas u est la temprature de la amme
et est la temprature dignition [27, 29, 152].
Ces trois types de nonlinarits interviennent dans des contextes varis et ont une inuence forte sur
le comportement des solutions de (2). En eet, si la nonlinarit f est monostable (A), toute solution
4
1. Contexte scientique
f (u)
1
|
0
1 u
borne du problme de Cauchy associ lquation (2), avec une donne initiale 0 u0 1 telle que
u0 6= 0, convergera localement uniformment vers ltat stationnaire 1 [10, Thorme 3.1]. On dira
dans ce cas que la solution survit et se propage dans le milieu. Par contre, lorsque la nonlinarit f est
de type bistable (B) ou ignition (C), nous verrons dans le chapitre 3 que les solutions initialement trop
connes ou trop petites tendent vers lextinction, cest--dire quelles convergent uniformment vers
ltat 0, alors que celles initialement assez tendues ou assez grosses survivront, cest--dire quelles
convergent localement uniformment vers une quantit strictement positive [9, 58, 195, GHR12].
Revenons sur la nature des quations de raction-diusion. Reprenant le cadre de la dynamique
des populations, ces quations sont en fait une approximation locale dans laquelle on suppose que
les individus linstant t et la position x ne se diusent que vers leurs voisins immdiats.
Cette approche raction-diusion devient peu prcise lorsque lon tudie des espces dont les indi-
vidus peuvent se dplacer longue distance. Ces vnements de dispersion longue distance jouent un
rle essentiel dans de nombreux phnomnes comme la pollinisation de certains vgtaux ou la propaga-
tion dpidmies. Ils sont souvent dus des vecteurs extrieurs (humains, animaux, . . . ) qui favorisent le
transport dindividus ou de virus trs loin de leur lieu dorigine. Une manire de prendre en compte ces
phnomnes de dispersion longue distance est dutiliser des quations intgro-direntielles [44, 132]
de la forme
Z
u
(t, x) = J(|x y|)u(t, y)dy u(t, x) + f (u(t, x)), t > 0 et x R. (3)
t R
o le terme de diusion x2 u est remplac par un oprateur intgral de la forme J u u, avec J une
densit de probabilit. Le terme J est appel noyau de dispersion et lexpression J(|x y|) reprsente
la probabilit quun individu provenant du point y arrive en x.
Ces deux types dquations ont des natures totalement direntes, lune (2) est locale alors que
lautre (3) est non-locale. Cependant, suivant le type de noyau de dispersion J et le terme de raction
f, le comportement qualitatif des solutions peut rester semblable.
On distingue dans la suite deux types de noyaux de dispersion J : les noyaux exponentiellement
borns et les noyaux non-exponentiellement borns. Lorsque le noyau de dispersion J dcrot plus
rapidement quune exponentielle, il est dit exponentiellement born ou queue lgre. Les trois
exemples classiques de tels noyaux sont les noyaux support compact J(x) 1[a,a] (x) avec a > 0,
2 2
les noyaux gaussiens J(x) ex /2 et les noyaux exponentiels J(x) e|x| avec > 0 (voir
gure 4(a)). Ces noyaux exponentiellement borns sont utiliss pour modliser des phnomnes de
dispersion courte distance, donc proche de phnomnes de diusion. Les travaux rcents de Carr et
5
J(x) = Ce|x| J(x) = Ce|x|/(1+ln(|x|))
2
J(x) = Ce|x| J(x) = (1 + |x|)3 J(x) = Ce |x|
J(x) = 1[L,L](x)
x x
0 0
(a) Noyaux exponentiellement borns (b) Noyaux non exponentiellement borns
Chmaj [38] et Coville et Dupaigne [47] ont montr que le modle intgro-direntiel (3) avec un noyau
exponentiellement born se comporte de la mme manire que le modle de raction-diusion (2). Plus
prcisment, ces deux modles avec des termes de raction de type monostable (A), bistable (B) ou
ignition (C) possdent des solutions de type fronts, en translation uniforme reliant ltat dquilibre
u p+ 1 (en ) ltat dquilibre u p 0 (en +) [10, 29, 71, 112, raction-diusion] [38, 47,
intgro-direntiel]. Elles permettent de dcrire linvasion vitesse et prol constant dun espace vierge
par une population. Ces solutions sont de la forme u(t, x) = U (x ct), o c est la vitesse du front et
U est le prol du front connectant les deux tats stationnaires p+ et p de lquation. Le prol U du
front vrie alors lquation elliptique nonlinaire suivante :
D(U )(y) + c U (y) + f (U (y)) = 0, y R,
U () = 1, U (+) = 0 et 0 < U < 1 sur R,
6
1. Contexte scientique
u(t, x) = U (x ct)
1
x
0
Figure 5 Solution de (1) de type front progressif u(t, x) = U (x ct) des temps successifs : le
front se dplace de gauche droite vitesse c et conserve un prol constant U connectant les tats
stationnaires 0 et 1.
Si les quations intgro-direntielles avec des noyaux exponentiellement borns peuvent se rap-
procher des quations de raction-diusion, une divergence de comportement apparat lorsque lon
sintresse des noyaux non-exponentiellement borns, cest--dire des noyaux qui dcroissent plus
lentement que nimporte quelle exponentielle. Les principaux exemples de tels noyaux dits aussi
queue lourde sont les noyaux exponentielle-puissance J(x) e|x| avec ]0, 1[ et les noyaux
dcroissance algbrique J(x) (1 + xn )1 , avec n 2 (voir gure 4(b)). Dans ce cas, on observe une
dirence qualitative puisque ces quations intgro-direntielles avec noyaux non-exponentiellement
borns ne possdent pas de fronts progressifs [191]. Cette ngation reste cependant peu prcise et
ne donne aucun renseignement sur la vitesse laquelle les solutions se propagent ni mme sur leurs
comportements asymptotiques.
Ainsi, un des axes dtude de cette thse a t de comprendre linuence des noyaux de dispersion
non-exponentiellement borns sur la vitesse de propagation et le prol asymptotique des solutions.
La vitesse de propagation dune solution u de lquation de raction-dispersion (1), si elle existe,
correspond la plus grande vitesse c telle que dans tout repre mobile de vitesse c < c la solution
converge vers 1 en temps grand,
Elle correspond aussi la plus petite vitesse c telle que dans tout repre mobile de vitesse c > c , la
solution converge vers 0 en temps grand,
7
u(t, x)
u0 (x)
c c
0 x
des solutions dquations de raction-diusion partant de donnes initiales qui dcroissent lentement
linni.
Dautres facteurs comme la structuration spatiale de lenvironnement peuvent aussi modier consi-
drablement cette vitesse. En cologie, les ressources sont rarement distribues de manire uniforme et
homogne dans lespace ce qui cre des zones plus ou moins favorables la survie de lespce consid-
re. Ces uctuations du milieu peuvent acclrer ou au contraire ralentir sa propagation. Une manire
de prendre en compte les htrognits de lhabitat est de faire dpendre le taux de croissance f non
seulement de la densit u mais aussi de la variable despace x, f := f (x, u).
En gnral, lanalyse mathmatique de leet des htrognits spatiales sur la vitesse dexpansion
dune solution de (1) reste un problme dicile. Dans le cas des quations de raction-diusion,
quelques cas particuliers ont dj t traits [cf. 18, 190, pour une revue complte]. Citons par exemple
les milieux priodiques [19, 23, 25, 74, 168, 186], pour lesquels la nonlinarit f (x, u) est priodique
en la variable despace x. Pour ces environnements et pour des nonlinarits f de type type KPP,
la vitesse de propagation se caractrise grce aux valeurs propres principales de familles doprateurs
elliptiques de la forme
2 2 f
Lp : 7 2p + p + (x, 0) .
x2 x u
La gnralisation de ces notions de valeurs propres des oprateurs elliptiques plus complexes et sur
des domaines non-borns, ont permis dapprhender des problmes plus ralistes et plus complexes.
Ces outils ont notamment permis dobtenir des estimations sur la vitesse dexpansion dans des milieux
htrognes gnraux [22, 28]. Cependant, ils ne susent pas en gnral caractriser cette vitesse,
notamment lorsque la vitesse dexpansion nest pas unique mais oscille dans un intervalle de valeurs,
comme nous le verrons dans le Chapitre 4.
2 Rsultats
Lobjectif de cette thse est danalyser et de comparer les modles mathmatiques de la forme (1)
pour dirents types de dispersion D, de termes de raction f et de donnes initiales, an de com-
prendre linuence de ces composantes sur la propagation des solutions des modles associs. Dans une
premire partie, nous nous intressons aux quations de raction-diusion dans des milieux homognes.
Ltude de ces modles trs simples nous a permis de mieux comprendre les mcanismes qui crent
la propagation, grce une nouvelle caractrisation plus intuitive des fronts progressifs. Ces rsultats
ont des consquences importantes en gntique des populations. Ils permettent galement de mieux
comprendre linuence de leet Allee, correspondant une diminution de la fertilit faible densit,
8
2. Rsultats
lors dune colonisation. La seconde partie est ddie ltude des quations de raction-diusion en
milieu htrogne. Lobjectif est de comprendre comment la fragmentation du milieu modie la vitesse
de propagation des solutions. Nous nous intressons aussi un problme inverse an de mieux cerner
les liens entre les sorties du modle et les paramtres htrognes. La troisime et dernire partie sera
consacre lanalyse des quations intgro-direntielles. Lobjectif est de dcrire linuence du mode
de dispersion sur la propagation des solutions.
Dans cette section nous proposons dans un premier temps une nouvelle approche concernant les
notions de fronts progressifs tirs et pousss associs lquation de raction-diusion (2). Ensuite
nous prsentons les consquences de ce travail en gntique des populations. Enn, nous analysons
leet de la fragmentation de la donne initiale sur lvolution de la solution du problme de Cauchy
associ (2).
1.1 Dynamique interne des fronts : une nouvelle approche des fronts tirs et pousss [GGHR12]
Les quations de raction-diusion homognes sont trs utilises dans la modlisation despces en
expansion, en grande partie parce quelles possdent des solutions de type front de la forme u(t, x) =
U (x ct), o c est la vitesse du front et U son prol vriant lquation elliptique suivante :
U (y) + c U (y) + f (U (y)) = 0, y R,
(4)
U () = 1, U (+) = 0 and 0 < U < 1 on R.
Plus prcisment, si f est une nonlinarit monostable de type (A), il existe une vitesse minimale
p
c 2 f (0) > 0 telle que lquation (4) admet des solutions U si et seulement si c c . La solution
de vitesse minimale est appele front critique et celles de vitesse c > c fronts sur-critiques. Si f est
une nonlinarit bistable (B) ou de type ignition (C), il existe une unique vitesse c > 0 telle que
lquation (4) admette une solution.
Depuis les articles de Fisher [72] et Kolmogorov et al. [112], la majorit des travaux danalyse des
fronts portent sur leur existence, leur unicit, leur vitesse dexpansion, leur prol ou leur stabilit. En
particulier, ltude de stabilit, mene par Stokes [172] dans le cadre de nonlinarits monostables (A),
a permis de classer les fronts monostables en deux types : les fronts tirs et les fronts pousss. Cette
classication repose sur les proprits de la vitesse c des fronts. Elle est rsume dans les deux dni-
tions suivantes.
Dfinition 1 (Front tir [172]). Un front tir est soit un front critique dont la vitesse minimale c
p
vrie c = 2 f (0), soit nimporte quel front sur-critique (c > c ).
Dfinition 2 (Front pouss [172]). Un front pouss est un front critique dont la vitesse minimale c
p
vrie c > 2 f (0).
Le terme tir vient du fait que les fronts critiques tirs ont la mme vitesse de propagation que
le problme linaris autour de ltat stationnaire 0, donc la vitesse du front est dtermine par le
taux de croissance des individus les plus lavant du front. Le front est donc tir par ses individus
pionniers. linverse, la vitesse dun front critique pouss est dtermine par toute la population. Le
front est pouss de lintrieur par toute la population.
9
Figure 7 Reprsentation schmatique dun front u, solution de (4), compos de six fractions. Chaque
composante k a une couleur dirente et son paisseur en chaque point x, correspond sa densit.
Bien que linterprtation de cette terminologie se base sur la dynamique interne des fronts, lvo-
lution de la structure interne des fronts restait jusqualors inconnue. Dans cette thse nous avons
choisi une nouvelle approche totalement dirente de celle de Stokes [172] pour comprendre la nature
des fronts. Cette approche plus intuitive se base sur lanalyse directe de la dynamique interne des
fronts.
Nous nous sommes inspirs des travaux de Hallatschek et Nelson [82, 83] et Vlad et al. [181]. Lide
consiste dcomposer le front u(t, x) = U (x ct) en plusieurs composantes k (t, x) et tudier le
comportement de ces composantes lintrieur du front. Plus prcisment, on suppose que le front est
initialement compos de dirents groupes (0k (x))kI vriant
X
u0 (x) := u(0, x) = 0k (x), avec 0k 0 pour tout k I.
k1
avec I N (voir gure 7). Ces composantes k ne dirent que par leur taille et leur position initiale
lintrieur du front u. Elles partagent les mmes caractristiques dvolution que le front dans le sens
o elles diusent et croissent de la mme manire que le front u. Ainsi leur coecient de diusion est
gal 1 et leur taux de croissance par individu g(u) dpend uniquement de la population totale u :
f (u(t, x))
g(u(t, x)) := pour tout t 0 et x R.
u(t, x)
Puisque toutes les composantes k ont les mmes caractristiques de croissance et de dispersion, il
sut de regarder lvolution dun seul groupe, que lon notera , pour comprendre le comportement
de tous les autres. Ce phnomne contraste fortement avec les systmes comptitifs plus classiques
comme le modle de comptition entre une population rsidente et une population invasive, mentionn
par Kawasaki et Shigesada [103, Section 7.2]. Dans ce modle, une des populations prend toujours le
dessus sur lautre, en un certain sens. Ainsi la propagation est dirige par un seul groupe.
De plus, mme si lquation (2) est homogne en espace et si le systme (5) est linaire, le sys-
tme (5) est htrogne en espace et en temps puisque le taux de croissance par individu g(u(t, x))
dpend de t et x. En outre, cette htrognit ne remplit aucun critre de priodicit ni de monotonie,
ce qui rend le problme totalement htrogne et donc plus dicile traiter.
10
2. Rsultats
Thorme 1 (Cas des fronts tirs). Un groupe , initialement localis lintrieur dun front mono-
stable tir, au sens o : Z +
ecx 02 (x) dx < +, (6)
0
vrie
lim sup (t, x) 0
max lorsque +. (7)
t+ x t
En dautres termes, les composantes des fronts monostables tirs qui dcroissent plus vite que le
prol du front U au sens de (6), ne peuvent pas suivre lavance du front. En particulier, si on se place
dans une fentre mobile avanant la vitesse c du front, la formule (7) implique
Ainsi, seuls les composantes les plus en avant du front contribuent faire avancer le front. Cette
caractrisation est en accord avec la Dnition 1 de Stokes [172] et montre que les fronts critiques tirs
et les fronts sur-critiques partagent la mme dynamique interne.
De manire plus gnrale, le rsultat (7) implique que les composantes ne peuvent se propager vers
la droite avec une vitesse strictement positive.
De plus si les composantes sont trs connes, on obtient le rsultat suivant :
Proposition 1. Les composantes des fronts monostables tirs, initialement connes au sens o 0
satisfait (6) et :
vrient
(t, ) 0 uniformment sur R lorsque t +.
Ainsi, les composantes trs localises, comme celles de couleur sur la gure 7, tendent lextinction
en se diusant autour de leur lieu dapparition comme on le voit sur la gure 8.
Dans le cas des fronts monostables pousss, bistables ou de type ignition le comportement des
composantes est totalement dirent.
Thorme 2 (Cas des fronts pousss). Tout groupe , dans un front (c, U ) monostable pouss, bis-
table (B) ou de type ignition (C), vrie
lim sup max
|(t, x) p(0 )U (x ct)| 0 lorsque +,
t+ x t
o p(0 ) est la proportion nale du groupe dans le front U. Elle est donne par la formule suivante :
Z
0 (x) U (x) ecx dx
p(0 ) = RZ
]0, 1]. (8)
U 2 (x) ecx dx
R
11
(a) t = 0 (b) t = 20 (c) t = 40
Figure 8 Cas tir : volution de la densit dune fraction (t, x) (rgion verte) lintrieur de la
population totale u(t, x) (rgion grise) des temps successifs t = 0, t = 20 et t = 40. La courbe en
pointill reprsente la solution de lquation de la chaleur partant de la fraction initiale 0 .
Figure 9 Cas pouss : volution de la densit dune fraction (t, x) (rgion verte) lintrieur de la
population totale u(t, x) (rgion grise) des temps successifs t = 0, t = 100 et t = 200. La courbe en
pointill reprsente la proportion nale p(0 ) de la fraction .
Ces rsultats contrastent fortement avec ceux du Thorme 1. En eet, toutes les composantes
dun front monostable pouss, bistable ou de type ignition, suivent lavance du front (voir gure 9),
dans le sens o
(t, x + ct) p(0 ) U (x) > 0 uniformment sur tout compact lorsque t +. (9)
Ainsi en temps grand, toute composante , prsente initialement dans le front, est reprsente dans
la proportion p(0 ) lavant du front. En dautres termes le front est pouss de lintrieur par toutes
ses composantes.
Une dnition plus gnrale des fronts pousss et des fronts tirs
Ces rsultats permettent de distinguer deux classes de fronts partir de la dynamique de leurs
composantes. Cette classication concide avec la terminologie pouss/tir introduite par Stokes [172]
pour des nonlinarits monostable de type (A). Nos rsultats indiquent aussi que les fronts bistables
ou de type ignition partagent la mme dynamique interne que les fronts monostables pousss. Cette
remarque nous a permis de proposer une nouvelle dnition de la notion de front pouss et front tir
dans un cadre plus gnral que celui des quations de raction-diusion homognes. On sintresse
ici aux solutions de type fronts des quations de raction-diusion homognes ou htrognes et des
quations intgro-direntielles homognes. En dautres termes, on traite des solutions de type fronts
de lquation gnrale (1), o loprateur de dispersion est soit le Laplacien, D(u) = x2 (u), soit
12
2. Rsultats
Dfinition 3 (Front tir). Un front u de vitesse c R est dit tir si pour tout groupe vriant (10)
et
0 support compact, 0 0 u(0, ) et 0 6 0, (11)
on a
(t, x + ct) 0 uniformment sur tout compact lorsque t +.
Dfinition 4 (Front pouss). Un front u de vitesse c R est dit pouss si pour tout groupe
vriant (10)-(11) il existe un compact K tel que
lim sup sup (t, x + ct) > 0.
t+ xK
Dans le Chapitre 1, nous proposons des dnitions qui qui peuvent tre appliques aux fronts
de transition trs gnraux introduis par Berestycki et Hamel [21]. En outre, ces nouvelles notions
de fronts tirs et pousss bases sur la dynamique interne des fronts plutt que sur leur vitesse de
propagation ont lavantage de sadapter des modles plus complexes qui ne possdent pas forcment
de solutions de type front. Par exemple, nous pouvons dsormais envisager dtudier la nature pousse
ou tire des solutions :
(i) dquations intgro-direntielles comportant des vnements de dispersion longue distance
dont les solutions sont acclres [Ga11, 113] ;
(ii) dquations de raction-diusion htrognes en espace possdant des fronts pulsatoires ou des
fronts de transition [21, 130, 136, 139, 167, 190] ;
(iii) dquations de raction-diusion avec une vitesse force, utilises dans larticle de Berestycki
et al. [17] pour tudier leet du changement climatique sur la dynamique despces biologiques.
1.2 Leet Allee favorise la diversit gntique lintrieur dun front de colonisation [RGHK12]
13
Cependant, dans certains cas, la diversit gntique se maintient au cours de la colonisation. Cest
par exemple le cas pour le mlze Larix Decidua dans les Alpes [145]. Ce maintien de la diversit gn-
tique peut sexpliquer grce divers phnomnes environnementaux ou endognes. En eet, des tudes
numriques ont mis en vidence le rle de la gomtrie du milieu envahi [31, 174, 184], limportance
des vnements de dispersion longue distance et de la forme du noyau de dispersion [11, 68, 96],
leet de la dmographie locale [110] ou encore limpact de lexistence dune phase juvnile [11] sur le
maintien de la diversit.
Lexistence dun eet Allee est un autre facteur dterminant dans la dynamique dune population
en expansion. Cet eet Allee est caractris par une diminution du taux de croissance par individu
faible densit [7]. On distingue deux types deet Allee : leet Allee faible et leet Allee fort.
Lorsque le taux de croissance par individu nest pas maximal pour les faibles densits mais reste
positif, on parlera deet Allee faible. Il est souvent modlis par des nonlinarits f monostables (A)
dont le graphe ne reste pas sous sa tangente lorigine, voir gure 1(b), ou des nonlinarit de
type ignition (C), voir gure 3. Lorsque le taux de croissance devient ngatif faible densit, on
parlera deet Allee fort. On utilise souvent des nonlinarits bistables (B) pour prendre en compte
un eet Allee fort dans les modles (voir gure 2). Lexistence dun eet Allee a t observ chez de
nombreuses populations [53, 114, 179]. Il est connu que sa prsence ralentit la vitesse de propagation
de la population [13, 118].
Une tude numrique propose par Hallatschek et Nelson [82] a montr que la prsence dun eet
Allee rend possible le phnomne de surf, cest--dire quun gne va pouvoir se propager la mme
vitesse que le front de colonisation. Plus prcisment, en utilisant une approche backward, cest--
dire en remontant le temps, ils ont tudi la position initiale dun gne qui a russi surfer sur le front
et ont not de grandes dirences en fonction de la prsence ou non dun eet Allee. En utilisant le
cadre des quations de raction-diusion, ils ont pu relier leurs rsultats numriques des formules
analytiques. Continuant dans cette voie et rutilisant le cadre de travail mathmatique dvelopp dans
la section prcdente, nous nous sommes intresss limpact de leet Allee sur la structure gntique
durant un processus de colonisation.
On considre une population de gnes ou dindividus haplodes dont la densit de population u est
modlise par lquation de raction-diusion unidimensionnelle (2). Depuis les travaux de Skellam
[169], cette quation (2) a souvent t utilise pour tudier une population en expansion. Cependant,
peu de travaux thoriques ont analys lvolution de la structure interne des solutions du modle (2)
(hormis les travaux prsents dans la section prcdente [GGHR12]).
Pour ce type dquations, si le terme de croissance f vrie lune des trois hypothses monostable
KPP (A), bistable (B) ou ignition (C), et si la population initiale u0 ressemble un front (c, U ) pour
des x positifs grands, alors la solution u du problme de Cauchy associ (2) converge vers ce front de
vitesse c et de prol U [9, 33, 69, 71, 116]. Ces solutions de type front dcrivent linvasion vitesse et
prol constant dun espace vierge. Dans la suite, la population u sera prise lquilibre de propagation,
cest--dire que u sera une solution de type front de la forme u(t, x) = U (x ct). On suppose que cette
population est compose de plusieurs fractions de gnes neutres. Ltude propose prcdemment sur la
structure interne des fronts va nous permettre dtudier lvolution spatio-temporelle de ces fractions
correspondant des gnes neutres lintrieur de la population u, et de rpondre aux questions
suivantes :
(i) comment les direntes fractions voluent lintrieur dun front de colonisation gnr par un
modle de type KPP ;
14
2. Rsultats
(ii) la prsence dun eet Allee modie-t-elle les proportions des diverses fractions prsentes dans le
front ? A-t-on une augmentation ou une perte de diversit lintrieur de ces fronts de colonisa-
tion ?
(iii) les proportions des direntes fractions voluent-t-elles rapidement aprs le passage du front ?
Les dynamiques des fronts, prsentes dans les Thormes 1, 2 et la Proposition 1, nous renseignent
sur la mise en place dune structure gntique spatiale au cours dune colonisation. Elles montrent
aussi que linclusion dun eet Allee dans les modles (2) conduit des dirences fondamentales dans
la composition des fronts. Dans un souci de clart, leet Allee est modlis dans notre tude par des
nonlinarits bistables cubiques de la forme :
o correspond au seuil de leet Allee en dessous duquel le taux de croissance devient nga-
tif [105, 118]. Le taux de croissance par individu g(u) = f (u)/u est ngatif faible densit, ce qui
correspond un eet Allee fort. On oppose ces termes avec eet Allee aux nonlinarits de type
KPP (cf. dnition (A)), pour lesquelles le taux de croissance par individu est toujours positif et
devient maximal lorsque la densit u est nulle, i.e. pas de diminution du taux de croissance per capita
faible densit.
On se focalise sur la dynamique dun gne neutre lintrieur de la population totale u. La densit
du gne neutre lintrieur du front u vrie lquation (5) de la section prcdente. Daprs les
rsultats prcdents on obtient les deux types de comportements, suivant que la population subit ou
non un eet Allee.
(ii) Dynamique dans le repre fixe : si la densit initiale 0 est support compact alors
Dans ce cas, aucune fraction, initialement peu reprsente lavant du front, ne peux se propager
la mme vitesse que la population totale.
Notons que les hypothses concernant le donne initiale 0 du (i) de la Proposition 2 sont lg-
rement direntes de celles du Thorme 1. On demande ici que la fonction x 7 ecx/2 (x) soit dans
L1 ([0, +[) alors que lon demandait que cette fonction soit dans L2 ([0, +[) dans le Thorme 1.
Ceci tient au fait que la preuve de la Proposition 2 utilise une mthode spcique au cas KPP, plus
directe que celle du Thorme 1.
Hallatschek et Nelson [82] avaient indiqu que le phnomne de gene surng, cest--dire quun
gne envahit lavant du front, tait impossible avec un terme de croissance logistique, i.e. f (u) =
Z +
cy
1. Cest dire e 2 0 (y)dy < .
0
15
u (1 u). Pour des fractions initialement support compact, nos rsultats sont cohrent avec leurs
conclusions puisque aucune fraction initialement support compact ne peut surfer. Ces fractions
initialement localises restent leur place dorigine et se diusent autour de celle-ci (voir gure 8
et 11(b)). La disparition de ces fractions dans la population totale se fait de manire trs lente par
rapport la propagation du front. Le front de colonisation se dplace vitesse c donc le phnomne
de propagation est de lordre de t, alors que le phnomne de diusion se fait lui en t comme indiqu
par la gure 8.
Cependant le phnomne de surf peut se produire pour des donnes initiales dont le support initial
nest pas compact, mme dans le cas dune croissance logistique. Considrons par exemple la fraction
r la plus droite dans le front : t = 0, on a 0r = U 1[,), o 1[,) est la fonction indicatrice
de lintervalle [, ), pour un certain R. La fraction correspondant au reste de la population
vrie 0l U 1(,) et satisfait les hypothses de la premire partie de la Proposition 2. Comme
u(t, x) = U (x c t) = l (t, x) + r (t, x), les rsultats prcdents montrent que r (t, x) converge vers
U (x c t) dans nimporte quelle demi-droite [A + c t, ) avanant vitesse c. Par consquent, la
fraction r , initialement la plus en avant du front, russit surfer sur le front de colonisation (voir
portion en gris clair sur la gure 11(b)).
Ainsi, toute fraction initialement prsente lintrieur du front contribue la colonisation hauteur de
p(0 ) qui dpend de la donne initiale 0 (voir gure 9 et 11(c)). La formule (8) donne des informations
a posteriori sur la position initiale des gnes composant le front en temps grand. En eet, considrons
la fraction la plus gauche dnie par 0l U 1(,) pour R. La proportion nale de cette
fraction dans le repre mobile de vitesse c est donne par p() := p[0l ]. Sa drive p () correspond
la contribution nale des gnes initialement positionns en :
Z +
p () = U 2 () ec / U 2 (x) ec x dx .
Pour des nonlinarits cubiques de la forme (12), la formule explicite du prol U et de la vitesse c
nous permettent de montrer que p atteint son unique maximum la position :
1 2
max = 2 ln .
1 + 2
Cette valeur correspond la meilleure position pour tre le mieux reprsent dans le front en temps
grand. On observe que max est une fonction dcroissante de et que max (1/2) = . Leet Allee
avantage donc les fractions qui se situent loin du front de colonisation : plus leet Allee est fort, plus
les gnes loin du front contribuent signicativement lavance du front. Au contraire, lorsque leet
Allee est faible, avec = 0 ce qui correspond une nonlinarit de type monostable avec une vitesse
p
minimale c > 2 f (0), les gnes au centre du front, cest--dire la position = 0, sont ceux qui
contribuent le plus signicativement lavance du front.
16
2. Rsultats
p () U 2 () ec
0
Figure 10 Comportement de p () pour direntes valeur du seuil de leet Allee : en bleu = 0.1,
en vert = 0.3 et en rouge = 0.45.
Les simulations numriques prsentes en gure 11 montrent que leet Allee conduit une structu-
ration horizontale de la diversit, ce qui correspond une absence de direntiation gntique spatiale.
linverse, en labsence deet Allee on obtient une population trs structure en espace.
Nos rsultats montrent que linclusion dun eet Allee dans les modles conduit des dirences
fondamentales en terme de structuration gntique et de diversit gntique. Leet Allee permet un
maintien de la diversit gntique au cours de la colonisation (voir gures 11). Leet Allee ralentit la
colonisation mais favorise le maintien de la diversit gntique.
(a) Donne initiale (b) Colonisation sans effet Allee (c) Colonisation avec effet Allee
Figure 11 volution des fractions k (bandes de couleur sur (a)) lintrieur du front de colonisa-
tion : (b) en absence deet Allee et (c) en prsence deet Allee.
1.3 Limpact de leet Allee sur le succs dune invasion biologique [GHR12]
Bien que leet Allee semble favorable la persistance de la diversit gntique dune population
lors de sa phase dexpansion, il peut avoir des consquences nfastes, voir ltales pour la population
notamment au dbut dune invasion biologique.
En eet, une invasion biologique dmarre gnralement par lintroduction dune population rduite
dindividus dans un nouveau milieu. Cest la phase darrive. Suit la phase dinstallation, durant
laquelle la population fondatrice essaie de se reproduire pour crer une colonie. Si cette tape russit,
cest--dire si la colonie prolifre, elle se propage et envahit le nouveau milieu. La phase dinstallation
est la plus sensible, puisque la quantit dindividus est souvent faible. Son succs est souvent la
consquence de multiples introductions [150, 182]. Lexistence dun eet Allee, qui correspond une
diminution de la fertilit faible densit, est une des causes de lchec de linstallation puisquil favorise
lextinction de populations de faible densit [56, 117, 193].
Dans la suite, nous analysons leet de la distribution spatiale de la population fondatrice, cest-
-dire la rpartition de la population initiale en sous-groupes, sur le succs de linstallation de la
17
dattraction bassin dattraction
N (t)
de 1
bassin
t
de 0
population. Cette tude est trs dirente des prcdentes puisquici la population totale u nest pas
en expansion comme dans les sections prcdentes. Notre analyse se base sur des modles dquations
de raction-diusion adapts ltude de la persistance et de la propagation despces biologiques [118,
175]. Les premires modles de raction-diusion introduits par Fisher [72] et Kolmogorov, Petrovsky,
et Piskunov [112] ne prenaient pas en compte lexistence dun eet Allee. Dans ces modles de type
Fisher-KPP, la survie de la population ne dpend pas de la donne initiale, mme lorsque le milieu est
htrogne [22, 24, 26]. Par consquent, la majorit des tudes sur ces modles sintressent leet
de la structure de lenvironnement sur la survie et la propagation [24, 45, 103] plutt qu leet de la
donne initiale. linverse, dans notre analyse qui prend en compte un eet Allee, nous avons suppos
que le milieu tait homogne pour isoler leet de la structure spatiale de la population initiale. Pour
ce type de modle, dautres paramtres comme la gomtrie du domaine [39] peuvent aussi modier
la propagation.
Dans le cadre des quations de raction-diusion, comprendre leet de la donne initiale sur la
survie ou lextinction de la solution revient tudier les bassins dattractions des deux tats station-
naires p 0 et p+ 1 du problme. Comme dans la section prcdente leet Allee est modlis par
une nonlinarit f de type bistable (B) [69, 175].
Dans le cadre des quations Direntielles Ordinaires autonomes (EDO), lquation N = f (N ),
avec f de type bistable (B), i.e. f (N ) 0, lorsque N est en dessous du seuil , est un cas simple
de modle avec eet Allee. Dans ce cas, si la donne initiale N0 est en dessous du seuil , la solution
N tend vers 0 en temps grand, alors que si N0 > , N tend vers 1. Il est donc facile dans ce cas de
dterminer les bassins dattraction des solutions stationnaires stables 0 et 1 (voir gure 12).
Dans le cadre des quations de raction-diusion, les deux solutions p 0 et p+ 1 sont des
tats stables de lquation (2), mais il est dicile de trouver leur bassin dattraction puisque lespace
des donnes initiales est beaucoup plus vaste et complexe que dans le cas des EDO. En se restreignant
des familles de donnes initiales 1-paramtre, Aronson et Weinberger [10], Fife et McLeod [71],
puis Du et Matano [58], Polcik [146] et Zlatos [195] ont russi caractriser les ensembles limites
de lquation (2) dans le cas unidimensionnel. Leur paramtre caractrise uniquement la taille initiale
de la population puisque son support est suppos connexe. Dans ces tudes, la rpartition spatiale de
la donne initiale nest pas prise en compte. Or, dans le cadre des invasions biologiques, une mme
population fondatrice peut tre rpartie de plusieurs manires direntes sur le domaine dinvasion.
Ainsi suivant la rpartition et la taille des groupes, leet Allee entrane ou non lextinction de la
population.
Notre tude sattache montrer quen prsence dun eet Allee, la rpartition spatiale initiale de la
18
2. Rsultats
population fondatrice joue un rle important sur le succs de la phase dinstallation. On sest dabord
intress au problme unidimensionnel avec des donnes initiales u0 dont le support est form de deux
intervalles de taille L/2, L > 0, distants dune longueur > 0 :
u0 (x) = 1[(/2+L/2),/2] (x) + 1[/2,/2+L/2] (x) pour tout x R,
o 1J est la fonction caractristique de J pour tout ensemble J R, (voir gure 13). La fragmentation
du support de u0 est entirement dnie par . Les rsultats de Du et Matano [58] montrent que
pour chaque degr de fragmentation , il existe une taille critique de la population, note L (),
telle que si L L (), la population survit, alors que si L < L (), la population steint. Nos
rsultats analytiques et numriques montrent que la taille critique dpend continment du paramtre
de fragmentation et tend crotre avec , au moins lorsque est assez grand (voir gure 14). Ces
rsultats mettent en vidence laspect nfaste de la fragmentation.
u0 (x)
L/2 L/2
1
/2 /2
12 = 0.45
10
= 0.4
8
= 0.35
L ()
6
= 0.3
= 0.25
4
= 0.2
= 0.15
2 = 0.1
0
0 2 4 6 8 10 12 14 16
19
30 30 30
0 0 0
30 0 30 30 0 30 30 0 30
fragmentation f r (cf. gure 15). Ces donnes initiales sont gnres par un algorithme stochastique,
comparable au modle dIsing. Une des dicults a t de dnir rigoureusement un indice de frag-
mentation dune part bas sur les paramtres du modle stochastique et dautre part indpendant de
lindice dabondance p. On dnit le taux de fragmentation dune donne initiale u0 et dabondance
p(u0 ) par
s(u0 )
f r(u0 ) = 1 ,
B[p(u0 )]
o s(u0 ) correspond au nombre de voisin de chaque case o la fonction u0 vaut 1 puisque lespace est
discrtis et B[p(u0 )] est le maximum de s sur lensemble des donnes initiales dabondance p(u0 ).
Notre tude qui repose sur cette nouvelle dnition rigoureuse du taux de fragmentation (mesur par
lindice f r [0, 1]), a permis de dcrire compltement les bassins dattractions des tats stationnaires
p 0 et p+ 1 grce aux indices p et f r. Ces bassins apparaissent clairement sur la gure 16 : la
rgion bleue correspond au bassin dattraction de p 0 et la rgion rouge celui de p+ 1. Cette
description a conduit plusieurs constatations non triviales quant leet de la fragmentation du
support de la donne initiale sur le succs de ltape dinstallation lors dune invasion biologique :
(i) le succs de la phase dinstallation dpend presque uniquement des deux indices p et f r et non
des autres caractristiques gomtriques du support de la donne initiale : la zone dincertitude,
en jaune sur la gure 16, est trs troite. En eet, cette zone oscille entre un succs presque sr
et un chec presque sr ;
(ii) on observe lexistence dun seuil critique de fragmentation o labondance minimale ncessaire
au succs de linstallation augmente de faon importante. De part et dautre de ce seuil, le succs
de la phase dinstallation dpend peu de lindice de fragmentation ;
(iii) leet de la fragmentation est renforc lorsque le seuil de leet Allee augmente.
Finalement, la fragmentation du support de la population fondatrice u0 a un eet nfaste sur le succs
de la phase dinstallation dans un environnement homogne.
20
2. Rsultats
0 0 0
0 0.2 0.4 0.6 0.8 1 0 0.2 0.4 0.6 0.8 1 0 0.2 0.4 0.6 0.8 1
fr fr fr
u 2u
(t, x) = (t, x) + (x)u(t, x) (x)u2 (t, x), t > 0 et x R.
t x2
La nonlinarit htrogne f (x, u) := (x)u (x)u2 possde des coecients (x) et (x) qui d-
pendent de la position x. La fonction correspond au taux de croissance intrinsque de la population
et reprsente la comptition intraspcique. Ainsi, les rgions associes aux fortes valeurs de
correspondent aux rgions favorables, alors que celles associes aux valeurs faibles ou ngatives de
correspondent aux rgions dfavorables. De manire plus gnrale, les modles de raction-diusion
dans un milieu excitable htrogne scrivent de la manire suivante :
u 2u
(t, x) = (t, x) + f (x, u(t, x)), t > 0 et x R, (13)
t x2
o f (x, u) reprsente le taux de croissance de la population la position x.
Dans un premier temps, nous nous intressons leet des htrognits spatiales du milieu sur la
vitesse de propagation des solutions de (13) partant dune donne initiale support compact. Dans un
second temps, nous tudions des problmes inverses lis la reconstruction de paramtres htrognes
du modle (13), par exemple et , grce un minimum dobservations de la solution. Ce sont
nos connaissances du comportement des solutions en milieu htrogne qui vont nous permettre de
retrouver le milieu dans lequel volue notre solution.
Dans un milieu htrogne apparaissent des zones plus ou moins favorables la croissance de la
solution. Ainsi dans les rgions favorables au dveloppement, la solution va pouvoir se propager plus
facilement et donc plus rapidement que dans les zones moins favorables voire dfavorables. On sattend
21
donc ce que la solution ait une vitesse minimale de propagation w dans les rgions dfavorables et
une vitesse maximale de propagation w dans les rgions favorables. On dnit pour toute solution u
du problme de Cauchy associ (13), partant dune donne initiale u0 support compact, les deux
vitesses de propagation vers la droite suivantes :
w = sup c > 0 | lim inf inf u(t, x) > 0 ,
t+ x[0,ct]
w = inf c > 0 | sup u(t, x) 0 quand t + .
x[ct,+)
Dans le cas dun milieu homogne, cest--dire lorsque f ne dpend pas de x, Aronson et Weinberger
[10] et Fife et McLeod [71] ont montr que si la solution se propage, sa vitesse de propagation est unique
et vrie w = w = c , o c est la vitesse minimale des fronts pour des nonlinarits monostable (A),
bistable (B) ou de type ignition (C).
Il en va de mme lorsque le milieu est priodique en espace. En eet, Freidlin et Grtner [74] ont
montr que w = w lorsque f est de type KPP et priodique en x. En outre, ils ont caractris
cette vitesse grce aux valeurs propres principales priodiques p de la famille doprateurs elliptiques
linaires Lp suivants :
2 2 f
Lp : 7 2p + p + (x, 0) .
x2 x u
Plus prcisment, dans le cas o la fonction f est priodique et vrie les hypothses suivantes :
f
f (x, 0) = 0, f (x, 1) = 0, (x, 0) > 0, pour tout x R
u
f
et 0 < f (x, u) (x, 0)u pour tout (x, u) R]0, 1[,
u
la vitesse de propagation est donne par :
p
w = w = min . (14)
p>0 p
De plus, Berestycki et al. [22] et Weinberger [186] ont montr que cette vitesse asymptotique de
propagation est gale la vitesse minimale des fronts pulsatoires, qui est la gnralisation de la
notion de front aux milieux priodiques. Lexistence dune unique vitesse de propagation, w = w ,
et la caractrisation (14) sont galement valables dans le cas dhtrognits transversales [125],
priodiques en temps et en espace ou perturbations support compact de problmes homognes [22].
Dans tous ces cas, loprateur Lp est dinverse compact et la notion de valeur propre principale
est bien dnie. Mais lorsque la dpendance de f en x est plus gnrale, cette notion de valeur propre
principale nest pas toujours bien dnie et on doit faire appel aux diverses dnitions des valeurs
propres gnralises, ce qui complique la caractrisation. De plus, dans des milieux trs htrognes la
propagation na pas toujours lieu vitesse unique, cest--dire que lon peut avoir w < w . Ce type
de comportement a t mis en vidence uniquement dans des milieux priodiques en temps [28] ou
pour des donnes initiales support non compact [87] mais pas encore pour des milieux htrognes
en espace avec des donnes initiales support compact.
Pour mettre en avant ce phnomne, nous avons tudi un milieu totalement htrogne qui res-
semble un milieu priodique dont la priode augmente de plus en plus lorsque x tend vers +.
Ce problme sinspire de travaux rcents sur des milieux priodiques lentement oscillants. Pour de
22
2. Rsultats
(x)
0 x
Figure 17 Exemple dune fonction de croissance intrinsque := 0 () qui oscille de plus en plus
lentement linni : 0 (x) = 0.5 cos(x) + 0.7 et (x) = x.
tels milieux, Hamel et al. [86, 89] ont donn une formule explicite de la vitesse minimale des fronts
pulsatoires lorsque la priode tend vers linni.
Nous dnissons notre milieu htrogne f de plus en plus lentement oscillant de la manire
suivante : f = f (x, u) est rgulire en x et u, et vrie lhypothse de KPP htrogne (A). Lexemple
classique dune telle fonction est f (x, u) = (x)u(1 u), avec une fonction continue, strictement
positive et borne de R. De plus, on suppose que le taux de croissance intrinsque dni par
f
(x) := (x, 0) pour tout x R,
u
Lenvironnement ainsi cr est totalement htrogne puisquil ne vrie aucune hypothse de prio-
dicit ou dergodicit. Cependant, il ressemble au milieu priodique, dni par 0 , dont la priode
augmente linni grce (voir gure 17).
Lobjectif de notre tude est de montrer que suivant la dformation de la priode induite par , la
vitesse de propagation va tre ou non unique.
Plus prcisment, lorsque la priode augmente rapidement, i.e. augmente lentement, la fonction
0 approche ses valeurs extrmales sur des intervalles de plus en plus grands. Ainsi, la solution u passe
un temps de plus en plus long dans chacun de ces intervalles. La vitesse de propagation alterne donc
entre les valeurs quelle prendrait si le milieu tait homogne correspondant aux valeurs extrmales.
Dans ce cas la vitesse de propagation nest pas unique, w < w . Nous montrons rigoureusement
dans [GGN12] le rsultat suivant :
1
C lorsque x +, avec C (0, +] assez grand, (16)
x (x)
alors
w < w .
Cest le premier cas notre connaissance dune nonlinarit f (x, u), uniquement htrogne en
espace, dont les vitesses minimale et maximale de propagation w et w ne sont pas gales. En outre,
23
la proprit (16) caractrise la manire dont doit crotre la priode pour obtenir des vitesses de
propagation direntes.
linverse, lorsque la priode augmente lentement, i.e. crot rapidement, la vitesse de propagation
devient unique w = w . De plus, on obtient une caractrisation de cette vitesse grce au problme
limite de priode innie tudi par Hamel et al. [89]. Cette vitesse limite c se caractrise par :
j 1 (p) k
c := min = min ,
pj(M ) p kM j(k)
(x) (x)
0 et 0 lorsque x + (17)
(x)2 (x)2
alors
w = w = c .
Les hypothses (17) sur la croissance de impliquent en particulier que 1/(x (x)) 0 lorsque
x +, ce qui rend ce rsultat complmentaire du prcdent.
(iv) si crot en logarithme puissance : (x) = ln(x) pour x > 0 susamment grand, avec ]0, 1[,
2.2 Reconstruction de paramtres htrognes pour des quations de raction-diusion htrognes [CGHR12]
24
2. Rsultats
Thorme 5. Soient N N , (k )1kN et ( k )1kN deux familles de coecients rguliers. Soient (u0i )1iN
N fonctions positives deux deux distinctes sur ]a, b[. Pour chaque 1 i N, on note ui et u i les
solutions de (18) respectivement pour les (k ) et les ( 0
k ) et partant des donnes initiales ui . Supposons
que pour x0 ]a, b[ et > 0, ui et u
i vrient :
ui (t, x0 ) = u
i (t, x0 ),
i pour tout t (0, ) et tout i {1, , N }.
ui (t, x ) = u
(t, x0 ),
0
x x
Alors k k sur [a, b] pour tout k {1, . . . , N }, et par consquent ui u
i sur [0, T [[a, b] pour tout
i {1, . . . , N }, o T > 0 est le temps de vie maximal des solutions ui et u i .
Nos rsultats donnent une condition susante pour dterminer de manire unique les coecients
k partir dobservations localises. Cette condition susante porte sur une mesure ponctuelle de
la solution u(t, x0 ) et de sa drive spatiale u/x(t, x0 ) en un unique point x0 , pendant un petit
intervalle de temps (0, ) partant de N donnes initiales direntes u0i , i = 1, . . . , N.
Les dirences fondamentales entre nos rsultats et les rsultats antrieurs sont
(i) la taille de la rgion dobservation, rduite ici un seul point ;
(ii) le nombre N de coecients pouvant tre reconstitus, qui est arbitrairement grand ;
25
du Thorme 5, il faut que le nombre de mesures du couple (u, u/x)(t, x0 ) soit au moins gal au
degr N de la partie polynomiale inconnue.
Dun point de vue pratique, ces mesures peuvent tre obtenues par un contrle de la donne
initiale. Cependant, en labsence dingalits de stabilit assurant que deux jeux de mesures proches
proviennent de coecients proches, la reconstruction des coecients inconnues k , partir des mesures
ponctuelles, nest pas automatique. Nos rsultats numriques indiquent cependant que dans le cas de
N = 2 et N = 3 coecients, ces mesures ponctuelles permettent dobtenir de bonnes approximations
numriques de ces coecients inconnus (voir gure 18).
6 6
4 4
2
2
0
0
2
2
4
4 6
6 8
0 0.2 0.4 0.6 0.8 1 0 0.2 0.4 0.6 0.8 1
x x
Les deux sections prcdentes ont montr les eets croiss des interactions entre les individus et
du milieu, cest--dire linuence de la nonlinarit f, ainsi que des eets de la donne initiale et de
sa structure, sur la propagation de la solution.
Dans cette partie, nous nous intressons au mode de dispersion. Jusqu prsent la dispersion a t
modlise par un terme de diusion D(u) = 2 u/x2 . Cette approche locale suppose que les individus
prsents un instant t la position x ne peuvent diuser que vers leurs voisins immdiats. Cette dis-
persion de proche en proche nest pas adapte toutes les situations, notamment lorsque les individus
peuvent tre dplacs longue distance. Le clbre paradoxe de Reid [149], sur la migration rapide
darbres en Europe, en est une illustration. En tudiant les palorelevs de la distribution des arbres
en Europe (notamment du chne) depuis la dernire glaciation, Reid a observ une contradiction entre
les vitesses de colonisation leves dduites des relevs et les vitesses plutt faibles qui peuvent tre
dduites de simulations. En particulier, il estime que la colonisation de lEurope par le chne, qui a
commenc aprs la dernire glaciation, cest--dire il y a 10 000 ans, aurait d mettre quelques millions
dannes pour arriver au stade actuel si on se base sur les taux de dispersion potentiels mesurs par
26
2. Rsultats
lexprience. Les deux explications possibles de cette recolonisation rapide sont lapparition dvne-
ments rares de dispersion longue distance durant la recolonisation, qui modient la migration et
augmentent le taux de migration, et lexistence de refuges cryptiques en Europe, qui auraient per-
mis de faire le relais et dacclrer la recolonisation [157]. Kot et al. [113], Clark [43] et Clark et al.
[44] ont propos des modles dquations intgro-direntielles, avec des noyaux queue lourde ou
non-exponentiellement borns, de la forme :
Z
u
(t, x) = J(|x y|)u(t, y)dy u(t, x) + f (u(t, x)), t > 0 et x R,
t R
pour prendre en compte les vnements de dispersion longue distance. Le noyau de dispersion J
modlise la manire dont les individus peuvent se dplacer dans lespace. Plus prcisment, le terme
J(|x y|)dy reprsente la probabilit pour un individu provenant dun point y darriver en un point
x par unit de temps. Ainsi la proportion dindividus qui migrent vers la position x durant un pas de
R
temps est donne par R J(|x y|)u(t, y)dy. La variation temporelle u dindividus provoque par la
dispersion est donc donne par :
Z
u(t, x) = J(|x y|)u(t, y)dy u(t, x).
R
La nature non-exponentiellement borne est lhypothse fondamentale qui conduit des comportement
qualitativement trs dirents de ceux attendus pour des quations de raction-diusion ou dquation
intgro-direntielles avec noyau de dispersion exponentiellement born, partant de donnes initiales
support compact. Ces rsultats avaient dj t mis en vidence dans le cadre des processus de
contact [60, 131, 132, 133, 138].
Dans [Ga11], on sintresse aux solutions u de (3) partant dune donne initiale u0 support
compact. La nonlinarit f est rgulire et de type monostable (A) et le noyau de dispersion J est une
densit de probabilit rgulire, symtrique et de premier moment ni :
Z Z
J C 0 (R), J > 0, J(x) = J(x), J(x)dx = 1 et |x|J(x)dx < ,
R R
Ce type de noyau est appel noyau non-exponentiellement born. Les exemples les plus classiques de
ce type de noyau sont :
(i) les fonctions J dcroissance logarithmique sous linaire, cest--dire
27
Cette hypothse de noyau non-exponentiellement born contraste avec les hypothses de la plu-
part des travaux sur les quations intgro-direntielles [8, 47, 54, 173, 185, 186] ou les quations
dintgro-dirences [122, 123]. En eet, ces tudes considrent gnralement des noyaux de disper-
sion J exponentiellement borns, dans le sens o :
Z
il existe > 0 tel que J(x)e|x| < .
R
Pour ce type de noyaux, Weinberger [185] a montr que les solutions de (3), avec f monostable (A),
partant de donnes initiales support compact se propagent asymptotiquement vitesse nie c
(voir gure 19(b)). Nous rappelons que cette proprit de propagation vitesse nie des solutions est
aussi partage par les solutions dquations de raction-diusion en milieu homogne [9, 10, 72, 112].
Lexistence dune unique vitesse de propagation nie reste vraie dans la plupart des quations intgro-
direntielles avec un noyau de dispersion exponentiellement born [8, 54, 173, 185].
linverse, les solutions des quations intgro-direntielles avec noyaux de dispersion non-exponentiellement
borns se comportent totalement diremment. Tout dabord, ces quations ne possdent pas de solu-
tions de type front, se propageant vitesse constante et prol constant [191]. Dautre part, les tudes
numriques et les calculs formels mens par Kot et al. [113] sur les quations intgro-direntielles li-
naires et par Medlock et Kot [129] sur les quations dintgro-dirences, montrent que la prsence de
noyaux de dispersion non-exponentiellement borns entrane une vitesse asymptotique de propagation
innie et une acclration des solutions.
Notre objectif est dune part de proposer des rsultats thoriques venant corroborer ces tudes
et dautre part de comprendre le rle de la queue de distribution du noyau de dispersion dans le
phnomne dacclration. Notre approche sinspire de celle utilise par Hamel et Roques [88], grce
laquelle ils ont montr que les solutions de modles de raction-diusion homognes, avec des non-
linarits monostables (A), partant de donnes initiales non-exponentiellement bornes, acclrent au
cours du temps et ont une vitesse de propagation innie. Plus prcisment, nous nous intressons
lvolution au cours du temps des ensembles de niveaux E (t), ]0, 1[, de la solution u de (3).
Rappelons que par le principe du maximum, si la donne initiale u0 est dans [0, 1], la solution u reste
dans cet ensemble pour tous les temps. Ainsi, pour chaque valeur ]0, 1[, on peut dnir pour tout
temps t susamment grand, lensemble de niveau , not E (t) :
lensemble des points x R tels que la solution u soit gale linstant t. On obtient les rsultats
suivants :
Thorme 6. Soit u une solution de (3), avec J un noyau non-exponentiellement born. Si u part
dune donne initiale u0 : R [0, 1] (u0 6 0), support compact, alors
(i) Vitesse de propagation infinie :
(ii) Estimations de lvolution des E : il existe f (0), tel que pour tout ]0, 1[ et
(0, f (0)), il existe T, 0 tel que pour tout t T, :
ni (0))t
io
E (t) J 1 0, e(f (22)
et nh io
E (t) J 1 et , J(0) . (23)
28
2. Rsultats
Le premier rsultat implique que la vitesse asymptotique de propagation des lignes de niveau est
innie, dans le sens o :
min E (t) [0, +[ max E (t)] , 0]
lim = lim = +,
t+ t t+ t
pour tout ]0, 1[. Cette acclration des lignes de niveaux est illustre sur la gure 19(a). On observe
que pour un pas de temps x entre les direntes courbes, lcart augmente contrairement au cas
dun noyau de dispersion exponentiellement born illustr par la gure 19(b). De plus, on observe un
aplatissement de la solution. Il indique que les lignes de niveaux scartent les unes des autres. En
dautres termes les lignes de niveaux associes un petit vont plus vite que celle associes un
proche de 1. Cette dformation de la solution a aussi t observe et dmontre dans les travaux
de Hamel et Roques [88].
1
u(t,x)
0.5
0
10000 5000 0 5000 10000
x
1
u(t,x)
0.5
0
100 50 0 x 50 100
Figure 19 La solution u(t, x) du modle (3) des temps successifs t = 0, 3, . . . , 30 : (a) avec un
noyau queue lourde, (b) avec un noyau queue lgre.
Le second rsultat nous donne des estimations de la position des ensembles E (t) pour des temps
grands. Les inclusions (22) et (23) montrent que tout lment x (t) E (t) vrie en temps grand les
ingalits suivantes :
(0))t
min J 1 e(f [0, +) |x (t)| max J 1 et [0, +) .
En particulier, en reprenant les exemples prcdents (i)-(iii), on obtient les estimations suivantes :
(i) si J dcrot logarithmiquement de manire sous-linaire, au sens de (19), alors les lignes de
niveaux avancent sur-linairement en temps t et on a pour tout ]0, 1[ et ]0, f (0)[
f (0)
t ln (t) |x (t)| t ln(t) pour t assez grand ;
29
(ii) si J dcrot en exponentielle-puissance, au sens de (20), alors les lignes de niveaux avancent
algbriquement en temps t et on a pour tout ]0, 1[ et ]0, f (0)[
1/ 1/
f (0) 1/
t |x (t)| t1/ pour t assez grand ;
Cet exemple est illustr sur la gure 20.
4000
3500
3000
2500
x0.2 (t)
2000
1500
1000
500
0
0 10 20 30 40
t
Figure 20 Trait plein : position x0.2 (t) de la ligne de niveau E0.2 (t) de la solution de (3) avec
f (u) = u(1 u), u0 (x) = max((1 (x/10)2 ), 0) et le noyau de dispersion non exponentiellement
born J(x) = (1/4)e |x| . Cette position x0.2 (t) est encadre par les deux courbes en pointills
t 7 J 1 (ef (0)t ) = (t ln(4))2 et J 1 (e(f (0)+1/2)t ) = (3t/2 ln(4))2 pour des temps t assez grands.
(iii) si J dcrot algbriquement, au sens de (21), alors les lignes de niveaux avancent exponentielle-
ment en temps t et on a pour tout ]0, 1[ et ]0, f (0)[
f (0)
t ln (|x (t)|) t pour t assez grand .
Nos rsultats, obtenus avec des donnes initiales support compact et des noyaux de dispersion
non exponentiellement borns, sont comparables ceux dcrits par Hamel et Roques [88]. Leurs don-
nes initiales dcroissance non-exponentiellement borne deviennent support compact dans nos
rsultats, donc localises, alors que leur mode de dispersion local, diusif, devient non-local et non-
exponentiellement born dans notre tude. Comme nous lavons soulign prcdemment, ces rsultats
similaires ont des interprtations cologiques totalement direntes. Dans le contexte dune colonisa-
tion post-glaciaire, la dcroissance non-exponentiellement borne de la donne initiale correspond
lexistence de refuges cryptiques alors quun noyau de dispersion non-exponentiellement born modlise
lapparition de phnomnes de dispersion longue distance.
Dun point de vue mathmatique, bien que les approches soient analogues, la nature non-locale
de loprateur de dispersion D(u) = J u u oblige, notamment dans la construction de sur- et
sous-solutions, tenir compte de toute la solution dans les estimations. Par exemple, le fait que le
maximum de deux sous-solutions soit une sous-solution, est plus dicilement applicable par rapport
au cas dun oprateur local comme le Laplacien, D(u) = 2 u/x2 . En outre, contrairement au cas
de lquation de la chaleur classique, le noyau de la chaleur p(t, x), associ loprateur non-local
D(u) = J u u, vriant t p = D(p), nest pas connu explicitement. Chasseigne et al. [40] ont donn
des estimations de cette solution mais elles ne sont pas assez prcises pour tre utilises dans notre
tude.
30
3. Perspectives
Dans un autre contexte, Cabr et Roquejore [36, 37] ont obtenu des estimations plus prcise
que (22) et (23) pour les lignes de niveaux de solutions dquations de raction-diusion non-locales
de la forme, t u = Au + f (u), avec des nonlinarits f concaves, i.e. vriant lhypothse KPP, des
donnes initiales support compact ou de type Heaviside et un oprateur A gnrateur dun semi-
groupe de Feller. Lexemple classique de tels oprateurs est le Laplacien fractionnaire A := () ,
avec ]0, 1[, dni pour des fonctions u rgulires et bornes par
Z
u(x) u(y)
() u(x) = c dy, pour tout x R,
R |x y|1+2
o c est une constante telle que le symbole de () soit ||2 et lintgrale est au sens de la valeur
principale de Cauchy. Dans leur cas, lacclration des solutions vient de la dcroissance algbrique
du noyau de dispersion J (x) = |x|(1+2) associ loprateur A. Par exemple, pour = 1/2,
f (u) = u(1 u) et des donnes initiales support compact, ils obtiennent les encadrements suivants
pour toutes les lignes de niveaux ]0, 1[:
1 t/2 1 t/2
C et/2 x
(t) e et e x+
(t) C e
t/2
pour t assez grand ,
C C
avec C > 1, et x +
(t) = inf{x : u(t, x) = } et x (t) = sup{x : u(t, x) = } reprsentent les lments
de lensemble de niveau E (t) les plus en avant et les plus en arrire. Ces bornes, plus prcises que
celles prsentes dans nos rsultats, sont obtenues grce des estimations trs nes du noyau de la
chaleur associ loprateur A. Elles leur permettent en particulier de construire des sur- et sous-
solutions trs prcises de leur problme. Notons que le noyau J de loprateur A est singulier en 0
contrairement nos noyaux de dispersion J rguliers et quil est dcroissance algbrique alors que
le noyau J peut dcrotre plus rapidement.
3 Perspectives
Dans la premire partie, nous avons montr que les notions de fronts tirs et pousss peuvent
tre dnies partir du comportement interne des solutions. En outre, cette dnition concide avec
celle propose par Stokes [172] base sur la vitesse dexpansion des fronts. Notre nouvelle dnition,
plus intuitive, a lavantage de sadapter des modles varis et complexes qui ne possdent pas
ncessairement de fronts progressifs. Une perspective de ce travail est de dterminer la nature pousse
ou tire des solutions des problmes suivants :
(i) les quations intgro-direntielles prenant en compte la dispersion longue distance et les
phnomnes dacclration [Ga11, 113] ;
(ii) les quations de raction-diusion en milieu htrogne possdant des fronts pulsatoires ou des
fronts gnraliss [19, 21, 190] ;
(iii) les quations de raction-diusion vitesse force, utilises par Berestycki et al. [17] pour tudier
leet dun changement climatique sur la dynamique despces biologiques ;
(iv) les quations de raction-diusion avec retard en temps, utilises en cologie pour prendre en
compte lexistence dune phase juvnile [95, 111, 165].
31
Ces direntes quations modlisent des processus frquemment tudis en cologie, mais dont les
eets sur la diversit gntique ne sont pas ou peu connus et demandent donc une attention toute
particulire.
Dans la section 1.3 de la premire partie, nous avons montr que la fragmentation du support de
la donne initiale a un eet ngatif sur la survie de la solution en habitat homogne et en prsence
dun eet Allee. On peut se demander si cet eet nfaste persiste en milieu htrogne. Prenons par
exemple le problme htrogne suivant :
u
2u
(t, x) =2
(t, x) + f (u(t, x)) + (x)u(t, x), t > 0, x R2 ,
t x
u(0, x) = u (x), x R2 .
0
En utilisant nos rsultats obtenus dans [GGN12], nous esprons montrer lexistence de fronts de
propagation dune nature plus gnrale que les fronts tudis classiquement dans les milieux homo-
gnes ou priodiques. Plus prcisment, en sappuyant sur la dnition des fronts gnraliss propose
par Berestycki et Hamel [21], une perspective serait de montrer que les solutions de notre problme (13)
convergent vers un front gnralis au sens de [21]. Une telle armation exhiberait dune part des fronts
de transition qui vont la vitesse c , vitesse du problme priodique de priode innie. Dautre part,
elle permettrait de construire des fronts dont la vitesse de propagation nest pas asymptotiquement
constante en temps grand, dans le cas o w < w .
Dans la troisime partie, nous nous sommes principalement intresss la propagation des solutions
de modles intgro-direntiels avec noyau de dispersion non-exponentiellement born. Nous avons
montr que ces solutions acclrent. Une perspective est de dcrire le prol avec lequel ces solutions
se dplacent. Plus prcisment, on peut se demander si ces solutions convergent vers un front acclr
de la forme u(t, x) = U (x c(t)), o c(t) serait une fonction sur-linaire du temps t. Mes simulations
numriques suggrent que la rponse est ngative puisque le prol de la solution saplatit au cours du
temps (cf. gure 19(a)). Les simulations laissent aussi penser que les solutions ne sont pas des fronts
de transition au sens de Berestycki et Hamel [20, 21]. Un rsultat similaire a t prouv par Hamel et
Roques [88] pour des solutions de lquation de raction-diusion homogne (2), partant dune donne
initiale non-exponentiellement borne. Dans notre cas, une telle preuve semble plus complique car
loprateur de dispersion D(u) : u 7 J u u nest pas un oprateur direntiel.
32
3. Perspectives
Plan de la thse
Cette thse se dcompose en trois parties. La premire est consacre ltude des quations de
raction-diusion en milieu homogne. Le Chapitre 1 est consacr aux notions de fronts tirs et pousss
dcrites dans la section 1.1. Les rsultats exposs dans ce chapitre ont t publis dans le Journal de
Mathmatiques Pures et Appliques. Le Chapitre 2 prsente les consquences bnques de leet
Allee sur la diversit gntique durant une phase de colonisation. Ces travaux sont publis dans les
Proceedings of the National Academy of Sciences of the United States of America. Enn le dernier
chapitre de cette partie, le Chapitre 3, prsente les eets de la rpartition initiale de la donne initiale
sur le succs de la phase dinstallation dune invasion biologique. Ces rsultats ont t publis dans le
Bulletin of Mathematical Biology.
Le seconde partie traite des quations de raction-diusion en milieu htrogne. Le premier cha-
pitre de cette partie, le Chapitre 4, dveloppe les rsultats obtenus sur la vitesse de propagation des
solutions dquations de raction-diusion dans un milieu de plus en plus lentement oscillant. Ces
rsultats ont t publis dans le Journal of Dynamics and Dierential Equations. Le Chapitre 5 dcrit
des rsultats dunicit des coecients htrognes de problmes de raction-diusion. Ils sont publis
dans les Communications on Pure and Applied Analysis.
La troisime et dernire partie est consacre aux problmes intgro-direntiels en milieu homogne.
Le Chapitre 6 expose les rsultats dacclration des solutions des problmes intgro-direntiels avec
noyaux de dispersion non-exponentiellement borns. Ce travail a t publi dans SIAM Journal on
Mathematical Analysis.
33
34
Deuxime partie
35
Chapitre 1
Ce travail ralis en collaboration avec Thomas Giletti a , Franois Hamel a,b et Lionel Roques c
est publi dans le Journal de Mathmatiques Pures et Appliques [GGHR12]
Sommaire
1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
1.2 Main Results . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.1 The inside structure of the fronts . . . . . . . . . . . . . . . . . . . . . . . 41
2.2 Notions of pulled and pushed transition waves in a more general setting . 44
1.3 The description of pulled fronts . . . . . . . . . . . . . . . . . . . . . . 45
3.1 Local asymptotic extinction in the moving frame : proof of (1.15) . . . . . 45
3.2 Extinction in ( t, +) and in R : proofs of Theorem 1 and Proposition 2 49
1.4 The description of pushed fronts . . . . . . . . . . . . . . . . . . . . . . 53
4.1 Preliminary lemmas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
4.2 Proof of formula (1.21) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
4.3 Spreading properties inside the pushed fronts : proofs of Theorem 2 and
Proposition 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
37
Chapitre 1. Inside dynamics of pulled and pushed fronts
1.1 Introduction
In this chapter, we explore the spatial structure of traveling wave solutions of some reaction-
diusion equations. Namely, we consider the following one-dimensional reaction-diusion model :
where u(t, x) [0, 1]. This equation arises in various scientic domains of application, namely, popula-
tion dynamics where the unknown quantity u typically stands for a population density [34, 45, 79, 103,
135], chemistry [32, 70], and combustion [27]. In the context of population dynamics, f (u) corresponds
to the populations growth rate. The nonlinear growth term f in (1.1) is assumed to satisfy
Z 1
f C 1 ([0, 1]), f (0) = f (1) = 0, f (s) ds > 0 (1.2)
0
p
On the one hand, if f is of the monostable type (A), there exists a minimal speed c 2 f (0) > 0
such that equation (1.3) admits a solution if and only if c c . The solution associated to the minimal
speed c is called the critical front, while those associated to speeds c > c are called super-critical
fronts. On the other hand, if f is of the bistable (B) or ignition (C) types there exists a unique speed
38
1.1. Introduction
c > 0 such that equation (1.3) admits a solution. In all cases, if the front (c, U ) exists, the prole U
is a decreasing function and it is unique up to shift [see e.g. 10, 29, 71]. The asymptotic behavior of
U (y) as |y| + is also known (see Section 1.2).
The sensitivity of the fronts to noise or a xed perturbation has also been extensively studied, [see
e.g. 33, 61, 71, 116, 163, 164, 177]. In the monostable case, the stability studies lead to a classication of
the fronts into two types : pulled fronts and pushed fronts [161, 172, 178]. A pulled front is either
p
a critical front (c , U ) such that the minimal speed c satises c = 2 f (0), or any super-critical
front. In the critical case the name pulled front comes from the fact that the front moves at the same
speed as the solution of the linearized problem around the unstable state 0, which means that it is
being pulled along by its leading edge. This denomination is not so immediate for super-critical fronts.
p
A pushed front is a critical front (c , U ) such that the minimal speed c satises c > 2 f (0). The
speed of propagation of a pushed front is determined not by the behavior of the leading edge of the
distribution, but by the whole front. This means that the front is pushed from behind by the nonlinear
growth rate in the nonlinear front region itself. A substantial analysis which is not restricted to the
monostable case and which relies on the variational structure and the exponential decay of the fronts
for more general gradient systems has been carried out in [121, 134].
In the present chapter, we use a completely dierent and new approach, which we believe to be
simpler and more intuitive, by analyzing the dynamics of the inside structure of the fronts. The results
we obtain on the large-time behavior of the components of the fronts in the moving frame and in the
whole real line (the precise statements will be given below) shed a new light on and are in keeping with
the pulled/pushed terminology in the monostable case as well as with the fact that the bistable or
ignition fronts can be viewed as pushed fronts. Even if more general equations or systems could have
been considered, we present the results for the one-dimensional equation (1.1) only, for the sake of
simplicity and since this simple one-dimensional situation is sucient to capture the main interesting
properties of the spatial structure of the fronts (however, based on the results of the present chapter
and on some recent notions of generalized transition waves, we propose in Section 2.2 some denitions
of pulled and pushed transition waves in a more general setting).
Let us now describe more precisely the model used in this chapter. Following the ideas described
in [82, 83, 181], we assume that the fronts are made of several components and we study the behavior
of these components. Namely, we consider a traveling wave solution
u(t, x) = U (x ct)
of (1.1), where the prole U satises (1.3) and c is the front speed, and we assume that u is initially
composed of dierent groups (0i (x))iI such that, for every i I,
Moreover, all groups i are assumed to share the same characteristics in the sense that they diuse
and grow with the same manner inside the front u(t, x), [see 82, 83, 181]. This means that the diusion
coecient of each group is equal to 1 and that the per capita growth rate of each group depends only
39
Chapitre 1. Inside dynamics of pulled and pushed fronts
on the entire population and is the same as that of the global front, namely
f (u(t, x))
g(u(t, x)) := for all t 0 and x R.
u(t, x)
In other words, the groups ( i (t, x))iI satisfy the following equation :
t i (t, x) = x2 i (t, x) + g(u(t, x)) i (t, x), t > 0, x R,
(1.5)
i (0, x) = 0i (x), x R.
Of course it follows from the uniqueness of the solution that
X
u(t, x) = i (t, x) for all t > 0 and x R,
iI
i P
which implies that the per capita growth rate g(u(t, x)) = g iI (t, x) could be viewed as a
coupling term in the system (1.5). The following inequalities also hold from maximum principle
Because the components i in (1.5) have identical growth and dispersal characteristics, we only
have to focus on the behavior of one arbitrarily chosen component i we call it in the sequel to
understand the behavior of all the components. This is in sharp contrast with standard competitive
systems such as the model of competition between a resident species and an invading species for large
open space mentioned in [103, Section 7.2], where usually one of the elements is in some sense stronger
than the other one and thus governs the propagation.
Even if the equation (1.1) is homogeneous and the system (1.5) is linear, one of the main diculties
in our study comes from the fact that a space-time heterogeneity is present in the per capita growth
rate g(u(t, x)) of each element. It turns out that this heterogeneity does not fulll any periodicity or
monotonicity property. Comparable problems have been studied in [30, 84, 85]. In these papers, the
authors have considered a reaction term of the form f (x ct, ), where the function 7 f (x, ) is of
the monostable or bistable type for every x and is nonpositive for large enough uniformly in x. These
properties are not fullled here by the function (t, x, ) 7 g(u(t, x)) . For instance, if the reaction
term f is of type (A), then g(u(t, x)) is always positive. Actually, we prove that the behavior of the
groups i mainly depends on the type of f , as well as on the initial condition.
The next section is devoted to the statement of our main results. We begin by recalling some
asymptotic properties of the solution U (y) of (1.3), as y +. Then, the evolution of the density
of a group solving (1.5) is described in two theorems. Theorem 1 deals with the monostable pulled
case and Theorem 2 deals with the monostable pushed case and the bistable and ignition cases. These
results show striking dierences between the composition of the fronts in the pulled and pushed cases.
They lead us to propose new notions of pulled and pushed transition waves in a general setting. The
proofs of our results are detailed in Sections 1.3 and 1.4.
Let u(t, x) = U (xct) be a traveling wave solution of (1.1) associated to a front (c, U ) solving (1.3),
where f is either of type (A), (B) or (C). In order to understand the dynamics of a component
solving (1.4)-(1.5), inside the traveling wave solution, it is natural to make the following change of
variables :
(t, x) = (t, x + ct) for all t 0 and x R.
u
40
1.2. Main Results
The function u corresponds to the solution in the moving reference at speed c and it obeys the
following equation :
(t, x) =
t u x2 u
(t, x) + cx u
(t, x) + g(U (x))
u(t, x), t > 0, x R,
(1.7)
(0, x) = 0 (x),
u x R.
Thus, the equation (1.5) which contains a space-time heterogeneous coecient reduces to a the
reaction-diusion equation with a spatially heterogeneous coecient g(U (x)), which only depends
on the prole U of the front. As we will see, the leading edge of U, and therefore its asymptotic
behavior as x +, plays a central role in the dynamics of the solutions of (1.7). Before stating our
main results, we recall some useful known facts about the asymptotic behavior of the fronts.
Monostable case (A). On the one hand, a pulled critical front (c , U ), whose speed c satises
p
c = 2 f (0), decays to 0 at + as follows [9, 10] :
c 2y ( c2 +)y
U (y) = (Ay + B) e +O e as y +, (1.8)
where > 0, A 0, and B > 0 if A = 0. If f is of the particular KPP type (that is g(s) = f (s)/s
f (0)) then A > 0. On the other hand, a pushed critical front (c , U ), whose speed c is such that
p
c > 2 f (0), satises the following asymptotic property :
)y
)+)y
U (y) = A e+ (c + O e(+ (c as y +, (1.9)
p
where > 0, A > 0 and + (c ) = (c + (c )2 4f (0))/2 > c /2. Thus, the asymptotic behavior of a
monostable critical front does depend on its pulled/pushed nature. Lastly, a super-critical front (c, U ),
where c satises c > c , also decays at an exponential rate slower than c/2 :
U (y) = A e (c)y + O e( (c)+)y as y +, (1.10)
p
where > 0, A > 0 and (c) = (c c2 4f (0))/2 < c/2.
Bistable case (B). If follows from [9, 10, 71] that the unique front decays to 0 at + as follows :
U (y) = A e y + O e(+)y as y +, (1.11)
p
where > 0, A > 0, and = (c + c2 4f (0))/2 > c > c/2.
Ignition case (C). The unique front decays to 0 at + as follows :
where A > 0.
We notice that the asymptotic behaviors as y + of the fronts in the monostable pushed
critical case and the bistable and ignition cases are quite similar. In all cases, the exponential decay
rate is faster than c/2, where c is the speed of the front. Let us now state our main results.
We rst investigate the case where the nonlinearity f is of the monostable type (A) and (c, U ) is
a pulled front.
41
Chapitre 1. Inside dynamics of pulled and pushed fronts
Theorem 1 (Pulled case). Let f be of the monostable type (A), let (c, U ) be a pulled front, that is
p
either c = c = 2 f (0) or c > c , and let be the solution of the Cauchy problem (1.5) with the
initial condition 0 satisfying (1.4) and
Z +
ecx 02 (x) dx < +. (1.13)
0
Then
lim sup max 2
(t, x) 0 as +. (1.14)
t+ x t
In other words, any single component of the pulled front u, which initially decays faster than
the front itself, in the sense of (1.13), cannot follow the propagation of the front. In particular, the
formula (1.14) implies that
Proposition 2. Under the assumptions of Theorem 1, and if 0 satises the additional condition
then
(t, ) 0 uniformly on R as t +. (1.17)
In the pushed case, the dynamics of is completely dierent, as shown by the following result :
Theorem 2 (Pushed case). Let f be either of type (A) with the minimal speed c satisfying c >
p p
2 f (0), or of type (B) or (C). Let (c, U ) be either the critical front with c = c > 2 f (0) in
case (A) or the unique front in case (B) or (C). Let be the solution of the Cauchy problem (1.5)
with the initial condition 0 satisfying (1.4). Then
lim sup |(t, x) p(0 )U (x ct)| 0 as +,
max (1.18)
t+ x t
2. Notice that the max in (1.14) is reached from (1.6) and the continuity of (t, ) for all t > 0.
42
1.2. Main Results
From (1.9), (1.11) and (1.12), p(0 ) is a well dened positive real number. Theorem 2 is in sharp
contrast with Theorem 1. Indeed, formula (1.18) in Theorem 2 implies that any small group inside a
pushed front is able to follow the traveling wave solution in the sense
The conclusion (1.21) holds even if 0 is compactly supported. This formula means that an observer
who moves with a speed c will see the component approach the proportion p(0 ) of the front U .
Thus, at large times, the front is made of all its initial components 0i dened in (1.4), each one with
proportion p(0i ). In other words the front is pushed from the inside. Theorem 2 also shows that the
inside structure of the pushed monostable critical fronts and of the bistable and ignition fronts share
the same dynamics.
The second formula (1.20) in Theorem 2 shows that the left spreading speed of the group inside
the front is at least equal to 0 in the reference frame. More precisely, the group spreads over intervals
of the type ( t, x0 + ct) for all R and x0 R. In fact, the next proposition proves that, if the
initial condition 0 is small at , then the solution spreads to the left with a null speed in the
reference frame in the sense that is asymptotically small in any interval of the type (, t) for
> 0 large enough :
Proposition 3. Under the assumptions of Theorem 2, if 0 satises the additional assumption (1.16),
then
lim sup max (t, x) 0 as . (1.22)
t+ x t
Notice that without the condition (1.16), the conclusion (1.22) may not hold. Take for instance
0 U, then (t, x) = U (x ct) for all t 0 and x R, and supxt (t, x) = 1 for all R and
t 0.
Remark 1. a) One can observe that in the pulled case the function x 7 U (x)ecx/2 does not belong
to L2 (R), from (1.8) and (1.10). Thus, we can set p(0 ) = 0 for any compactly supported initial
condition 0 satisfying (1.4). From Theorems 1 and 2, we can say with this convention that for any
monostable reaction term f and any compactly supported 0 fullling (1.4), the solution of (1.5) is
such that (t, x+ ct) p(0 )U (x) uniformly on compacts as t +, where p(0 ) is dened by (1.19)
if x 7 U (x)ecx/2 is in L2 (R) (the pushed case) and p(0 ) = 0 otherwise (the pulled case).
b) Let us consider the family of reaction terms (fa )a0 of the monostable type (A), dened by
43
Chapitre 1. Inside dynamics of pulled and pushed fronts
p
where a = a/2. It is easy to check that, if a > 2, then the function x 7 Ua (x)eca x/2 is in L2 (R) (a
R
general property shared by all pushed fronts) and R Ua2 (x) eca x dx (a 1 1
a ) /4. Then, consider
a xed compactly supported initial condition 0 satisfying (1.4) and whose support is included in
[B, B] with B > 0. Let p(0 , a) be dened by (1.19) with a > 2, U = Ua and c = ca . It follows that
Z
0 (x) Ua (x) eca x dx Z B 8(a 1
a ) cosh (ca B)
0 < p(0 , a) = RZ
4(a 1
a ) Ua2 (x) eca x dx .
Ua2 (x) eca x dx B ca
R
2.2 Notions of pulled and pushed transition waves in a more general setting
Our results show that the fronts can be classied in two categories according to the dynamics
of their components. This classication agrees with the pulled/pushed terminology introduced by
Stokes [172] in the monostable case and shows that the bistable and ignition fronts have same inside
structure as the pushed monostable fronts. This classication also allows us to dene the notion
of pulled and pushed transition waves in a more general framework. Let us consider the following
reaction-dispersion equations :
where f (t, x, u) is assumed to be of class C 0, (with > 0) in (t, x) locally in u [0, +), locally
Lipschitz-continuous in u uniformly with respect to (t, x) (0, +) R, f (, , 0) = 0, and D is a
linear operator of dispersion. The classical examples of D are the homogeneous diusion operators
such as the Laplacian, D(u) = Dx2 u with D > 0, the heterogeneous diusion operators of the form
D(u) = x (a(t, x)x u) where a(t, x) is of class C 1, ((0, +) R) and uniformly positive, the fractional
R
Laplacian, and the integro-dierential operators D(u) = J u u where J u(x) = R J(x y)u(y)dy
for all x R and J is a smooth nonnegative kernel of mass 1. Before dening the notion of pulled
and pushed waves, we recall from [21] the denition of transition waves, adapted to the Cauchy
problem (1.23). Let p+ : (0, +) R [0, +) be a classical solution of (1.23). A transition wave
connecting p = 0 and p+ is a positive solution u of (1.23) such that 1) u 6 p , 2) there exist
n N and some disjoint subsets ( 1 n
t )t>0 and (t )t>0 = ({xt , . . . , xt })t>0 of R where t = t ,
+
t t t = R and sup d(x, t ) | x t
= sup d(x, t ) | x + t = + for all t > 0, and 3)
for all > 0 there exists M > 0 such that
for all t (0, +) and x
t , d(x, t ) M |u(t, x) p (t, x)| ,
where d is the classical distance between subsets of R. The wave u for problem (1.23) is also assumed
to have a limit u(0, ) at t = 0 (usually, it is dened for all t R, and f and p+ are dened for all
t R as well). In the case of Theorems 1 and 2, the travelling front u(t, x) = U (x ct) is a transition
wave connecting 0 and p+ = 1, the interface t can be reduced to the single point t = {xt } = {ct}
and the two subsets +
t can be dened by t = (xt , +) and t = (, xt ) for all t > 0.
44
1.3. The description of pulled fronts
Definition 1 (Pulled transition wave). We say that a transition wave u connecting 0 and p+ is pulled
if for any subgroup satisfying
t (t, x) = D((t, x)) + g(t, x, u(t, x))(t, x), t > 0, x R,
(1.24)
(0, x) = 0 (x), x R,
there holds
sup (t, x) 0 as t + for all M 0.
d(x,t )M
Definition 2 (Pushed transition wave). We say that a transition wave u connecting 0 to p+ is pushed
if for any subgroup satisfying (1.24)-(1.25) there exists M 0 such that
lim sup sup (t, x) > 0.
t+ d(x,t )M
We rst prove the annihilation of in the moving frame, that is property (1.15). Then we prove
the result (1.14) of Theorem 1 and the result (1.17) described in Proposition 2 under the additional
assumption (1.16). The proof of (1.15) draws its inspiration from the front stability analyzes in [163,
164, 178] and especially from the paper of Eckmann and Wayne [61]. It is based on some integral
estimates of the ratio r = u
/U in a suitable weighted space. The proofs of (1.14) and (1.17) are based
on the convergence result (1.15) and on the maximum principle together with the construction of
suitable super-solutions.
Let f be of type (A) and let (c, U ) denote a pulled front satisfying (1.3), that is c is such that
p
either c = c = 2 f (0) or c > c . Let be the solution of (1.4)-(1.5) satisfying the condition (1.13)
and let us set u
(t, x) = (t, x + ct) for all t 0 and x R. The function u solves (1.7), while (1.6)
implies that
0<u (t, x) U (x) < 1 for all t > 0 and x R. (1.26)
The function r is at least of class C 1 with respect to t and of class C 2 with respect to x in (0, +) R.
It satises the following Cauchy problem :
t r(t, x) + Lr(t, x) =
0, t > 0, x R,
0 (x) (1.28)
r(0, x) = , x R,
U (x)
where
L = x2 (x)x and (x) = cx + 2 ln(U (x)) for all x R.
45
Chapitre 1. Inside dynamics of pulled and pushed fronts
Proof. The proof uses standard elementary arguments. We just sketch it for the sake of completeness.
If we set q = U and p = U , then = c + 2p/q and = 2cp/q 2(p/q)2 2g(q). Here we use that
q = p and p = cp g(q)q. Clearly g(q) is bounded. Thus we only need to bound p/q. Proposition 4.4
p
of [10] implies that either p/q c/2 at + if c = c = 2 f (0), or p/q (c) at + if c > c .
Moreover, since p/q 0 at and p/q is continuous, we conclude that p/q is bounded, which proves
Lemma 1.
Since U satises the asymptotic properties (1.8) or (1.10), one has lim inf x+ (x) > 0. A direct
computation shows that
(x) (x)(x) = 0 for all x R. (1.29)
In order to lighten the proof, we introduce some norms associated to the weight function :
Z 1/2
2
kwk2 = (x) w(x) dx and kwk = sup |(x)w(x)|,
R xR
where the supremum is understood as the essential supremum, and we dene the standard L2 (R) and
L (R) norms as follows :
Z 1/2
|w|2 = w(x)2 dx and |w| = sup |w(x)|.
R xR
Notice that the hypothesis (1.13) implies that r(0, ) is in the weighted space
L2 (R) = w L2 (R) | kwk2 < ,
Lemma 2. The solution r of the linear Cauchy problem (1.28) satises the following properties :
d 1
kr(t, )k22 ) = kx r(t, )k22 for all t > 0 (1.30)
dt 2
Proof. We rst set some properties of the operator L in the Hilbert space L2 (R). We dene its domain
D(L) as
D(L) = H2 (R) = w L2 (R) | w , w L2 (R) ,
46
1.3. The description of pulled fronts
where w and w are the rst- and second-order derivatives of w in the sense of distributions. The
domain D(L) is dense in L2 (R) and since Cc (R) is also dense in H2 (R) (with the obvious norm in
H2 (R)), it follows that
Z Z Z Z Z Z
2
(Lw, w) = w w w w = w (w) w w = (w ) + w w( ) = kw k22 0
R R R R R R
for all w D(L), that is L is monotone. Furthermore, L is maximal in the sense that
f L2 (R), w D(L), w + Lw = f.
This equation can be solved by approximation (namely, one can rst solve the equation wn + Lwn = f
in H 2 (n, n) H01 (n, n), then show that the sequence (kwn kH2 (n,n) )nN is bounded and thus pass
to the limit as n + to get a solution w). Moreover, the operator L is symmetric since
Z Z Z
(Lw, w)
e = w (w)
e w w
e = w w
e = (w, Lw)
e
R R R
for all w, we D(L). Since L is maximal, monotone and symmetric, it is thus self-adjoint. Then, since
2
0 is in L (R), Hille-Yosida Theorem implies that the solution r of the linear Cauchy problem (1.28)
is such that
r C k (0, +), Hl (R) C [0, +), L2 (R) for all k, l N, (1.31)
where Hl (R) is the set of functions in L2 (R) whose derivatives up to the lth order are in L2 (R).
We can now dene two additional functions W and Z. First we set,
Z
1 1
W (t) = (x)r 2 (t, x)dx = kr(t, )k22 for all t 0.
2 R 2
Let K be a positive constant satisfying K | | + 1. We dene the function Z as follows :
Z
1 K 1
Z(t) = KW (t) + (x) (x r)2 (t, x) dx = kr(t, )k22 + kx r(t, )k22 for all t > 0.
2 R 2 2
The functions W and Z are of the class C on (0, +) and W is continuous on [0, +). Since r
satises (1.28) and (1.31) and obeys (1.29), we get that
Z
d 1
1 d
W (t) = kr(t, )k22 = (x) r 2 (t, x) dx = Lr(t, ), r(t, ) = kx r(t, )k22
dt 2 2 dt R
for all t > 0. On the other hand, since r satises (1.31), there holds
Z Z
1 d 2
Z (t) = KW (t) + (x) (x r) (t, x) dx = KW (t) + x (x r)(t, x) Lr(t, x) dx (1.32)
2 dt R R
for all t > 0. One can also observe that, for all t > 0,
Z Z Z
1
x (x r)(t, x) x2 r(t, x) dx = (x) x ((x r)2 )(t, x) dx
(x) (x2 r)2 (t, x) dx
R ZR 2 ZR
1
= (x) (x2 r)2 (t, x) dx + (x) (x r)2 (t, x) dx
R 2 R
and
Z
x (x r)(t, x) (x) x r(t, x) dx
R Z Z
1
= (x) (x) x ((x r)2 )(t, x) dx (x) (x) (x r)2 (t, x) dx
2
Z R Z R
1 2
= ( ) (x) (x r) (t, x) dx (x) (x) (x r)2 (t, x) dx.
2 R R
47
Chapitre 1. Inside dynamics of pulled and pushed fronts
Notice that all above integrals exist and all integrations by parts are valid from the density of Cc (R)
in H2 (R) and from Lemma 1 and (1.29) (in particular, / and / are bounded). Moreover, it
follows from (1.29) that
1 1
( ) (x) (x) (x) + (x) = (x) (x) (x)| |
2 2
for all x R. Thus, the last integral in (1.32) is bounded from above by
Z Z Z
x (x r)(t, x) Lr(t, x) dx (x) (x2 r)2 (t, x) dx + | |
(x) (x r)2 (t, x) dx.
R R R
Proof of property (1.15). We are now ready to state some convergence results for the function . Note
rst that W (t) 0 and W (t) 0 for all t > 0. Thus W (t) converges to W 0 as t +.
Similarly, Z(t) converges to Z 0 as t +, which implies that kx r(t, )k2 also converges as
t +. From (1.30) and the convergence of kr(t, )k2 and kx r(t, )k2 to nite limits, it also follows
that
kx r(t, )k2 0 as t +.
Using Cauchy-Schwarz inequality, we can see that the rst term goes to 0 as t + since kx r(t, )k2
goes to 0 and kr(t, )k2 is bounded. If were nonnegative on R, we could drop the modulus in the se-
cond term and then, integrating by parts, we would get as above that kr 2 (t, )k 2kr(t, )k2 kx r(t, )k2
for all t > 0.
However, the function may not be nonnegative on R. Let us now prove that kr 2 (t, )k still
goes to 0 as t + in the general case. First, since is bounded from Lemma 1 and (x) ecx as
p
x , there holds (x) = (x)(x) 0 as x . Moreover, if c = c = 2 f (0), it follows
from the asymptotic property (1.8) that
x/2
/2+)x
(x) = (Ax + B)2 + o(1) as x + if U (x) = (Ax + B)ec + O e(c as x +
where > 0 and B > 0. On the other hand, if c > c , it follows from (1.10), (1.29) and the proof of
Lemma 1 that
(x) + as x +.
Finally, in all cases it is possible to construct a constant S > 0 and a function C 1 (R) such that
0 on R and
S(x) (x) (x) for all x R.
48
1.3. The description of pulled fronts
Skr 2 (t, )k kr 2 (t, )k, 2kr(t, )k,2 kx r(t, )k,2 2kr(t, )k2 kx r(t, )k2
for all t > 0. Since kr(t, )k2 is bounded and kx r(t, )k2 0 as t +, it follows that
lim sup (x)r 2 (t, x) = 0. (1.34)
t+ xR
for all t > 0 and x R. Then, for any compact set K, one has
1/2
(t, x) max ecx/2 sup (x)r 2 (t, x)
max (t, x + ct) = max u .
xK xK xK xR
for all A R, where we recall that the maxima in (1.35) are reached from (1.6) and the continuity of
(t, ) for all t > 0.
3.2 Extinction in ( t, +) and in R : proofs of Theorem 1 and Proposition 2
Before completing the proof of Theorem 1 and Proposition 2, let us rst state two auxiliary lemmas.
They provide some uniform estimates of in intervals of the type ( t, A + ct) or the whole real line
R when bounds for (t, ) are known at the positions A + ct, in the intervals (A + ct, +) and/or at
. These two lemmas will be used in all cases (A), (B) and (C).
Lemma 3. Let f be of type (A), (B) or (C), let (c, U ) be a front satisfying (1.3) and let solve (1.5)
with 0 satisfying (1.4). Let [0, 1] and A0 R be such that lim supt+ (t, A + ct) (resp.
lim inf t+ (t, A + ct) ) for all A < A0 . Then, for all > 0, there exist 0 > 0 and A < A0 such
that
lim sup max (t, x) + for all 0 , (1.36)
t+ txA+ct
resp.
lim inf min (t, x) for all 0 .
t+ txA+ct
Lemma 4. Let f be of type (A), (B) or (C), let (c, U ) be a front satisfying (1.3) and let solve (1.5)
with 0 satisfying (1.4). Let and [0, 1] be such that either lim supx 0 (x) or max (0 , 0)
Lp (R) for some p [1, +), and lim supt+ maxxA+ct (t, x) for all A R. Then
lim sup sup (t, x) max (, ). (1.37)
t+ xR
49
Chapitre 1. Inside dynamics of pulled and pushed fronts
The proofs of Lemmas 3 and 4 are postponed at the end of this section.
End of the proof of Theorem 1. Let be the solution of (1.5) with 0 satisfying (1.4) and (1.13). To
get (1.14), pick any > 0 and observe that property (1.15) and Lemma 3 with = 0 (and an arbitrary
A0 ) yield the existence of 0 > 0 and A R such that
lim sup max (t, x) for all 0 .
t+ txA+ct
End of the proof of Proposition 2. We make the additional assumption (1.16). Notice that the as-
sumptions of Lemma 4 are fullled with = = 0, from (1.16) and (1.35). It follows that the
inequality (1.37) holds with = = 0, which implies that (t, x) 0 uniformly on R as t +.
The proof of Proposition 2 is thereby complete.
The proofs of Lemmas 3 and 4 are based on the construction of explicit sub- or super-solutions
of (1.5) in suitable domains in the (t, x) coordinates, and on the fact that the coecient g(u(t, x)) =
g(U (x ct)) in (1.5) is exponentially small when x ct .
Proof of Lemma 3. Let us rst consider the case of the upper bounds. Let [0, 1] and A0 R be as
in the statement and pick any (0, 1). Let j be the positive function dened on (, 0) by
1
j (y) = 1 for all y < 0. (1.38)
1y
The functions j and j are negative on (, 0) and j (y) cj (y) c/y 2 as y . We recall
the asymptotic behavior of U at :
U (y) = 1 Bey + O e(+)y as y , (1.39)
p
where > 0, B > 0 and = (c + c2 4f (1))/2 > 0. This property (1.39) and the negativity of
f (1) yield the existence of a real number A < min(A0 , 0) such that
j (y) cj (y)
0 g(U (y)) for all y (, A]. (1.40)
2+
From the assumptions made in Lemma 3, there is t0 > 0 such that
Let us check that is a supersolution of (1.5) in the domain t t0 and x [A + ct0 , A + ct]. Firstly,
observe that
+ (t, x) 2 + (1.41)
50
1.3. The description of pulled fronts
for all t t0 and x [A + ct0 , A + ct] since + < 2 and 0 < j < on (, 0). It follows from (1.26)
that
2++
(t, A + ct0 ) < 1 = h(t t0 , 0) (t, A + ct0 ) for all t > t0 .
2
On the other hand,
Lastly, from (1.40) and (1.41), the function satises, for all t > t0 and x (A + ct0 , A + ct),
where h solves the heat equation in R with initial condition h(0, ) = 1(,0) + ( )1(0,+) . It
follows that
lim inf min (t, x) 2 for > 0 large enough.
t+ txA+ct
51
Chapitre 1. Inside dynamics of pulled and pushed fronts
Proof of Lemma 4. Let [0, 1] and [0, 1] be given as in the statement and pick any > 0. Let
j be the function dened as in (1.38) and let A < 0 be such that
j (y) cj (y)
0 g(U (y)) for all y (, A]. (1.43)
max(max(, ) + , 1) +
The assumptions made in Lemma 4 yield the existence of t0 > 0 such that
If 0 satises lim supx 0 (x) , then the comparison with the heat equation and the equality
g(1) = 0 imply that lim supx (t, x) for all t > 0. On the other hand, if w solves (1.5) with an
initial condition w0 in Lp (R) for some p [1, +), then heat kernel estimates and the boundedness
of g(U (x ct)) imply that w(t, ) is also in Lp (R) for all t > 0, while w(t, ) is uniformly continuous
on R from standard parabolic estimates. Finally, w(t, x) 0 as x for all t > 0. Now, if
max (0 , 0) Lp (R) for some p [1, +), then by writing 0 + max (0 , 0), the previous
arguments and the linearity of (1.5) imply that lim supx (t, x) for all t > 0. In any case, at
time t = t0 , there exists B A such that
Let us check that is a supersolution of (1.5) in the domain t t0 and x A + ct. Firstly, observe
that
max (, ) + (t, x) max(max (, ) + , 1) + (1.47)
for all t t0 and x A + ct, from (1.26), (1.38) and the maximum principle applied to the heat
equation (1.46). Then, from equation (1.44), we get that
Finally, from (1.43) and (1.47), satises the following inequality, for all t > t0 and x (, A + ct),
52
1.4. The description of pushed fronts
Indeed, since (t0 , ) satises (1.44) and (1.45), the initial condition h(0, ) of h is the sum of the
constant max (, ) + and a nonnegative compactly supported continuous function. By linearity and
standard properties of the heat equation on R, it follows that h(t, ) max (, ) + uniformly on
R as t +. Hence, (t, x) j (x ct) max (, ) + uniformly on (, A + ct] as t +.
From (1.48), we get that
lim sup sup (t, x) max (, ) + + sup j (y) = max (, ) + 2.
t+ x(,A+ct] y(,A]
Since > 0 is arbitrary, the conclusion (1.37) follows and the proof of Lemma 4 is complete.
Remark 2. If the initial condition 0 of (1.5) is such that 0 (x) [0, 1] as x , then, as
already noticed, (t, x) as x for all t > 0, since g(1) = 0. In particular, supR (t, )
for all t > 0. Therefore, if 0 satises (1.4), (1.13) and limx 0 (x) = [0, 1], then the proof of
Lemma 4 shows that supR (t, ) as t +.
This section is devoted to the proofs of Theorem 2 and Proposition 3. We begin by proving
formula (1.21). The proof of this formula draws its inspiration from the front stability analysis [163, 164]
and especially from the lecture notes of Gallay [77]. It is based on some properties of the self-adjoint
Schrdinger operator L dened by
!
c2
L= x2 + g(U (x)) (1.49)
4
with domain H 2 (R), where g(s) = f (s)/s, f satises the hypotheses of Theorem 2, and (c, U ) is either
p
the pushed critical front in case (A) when c = c > 2 f (0), or the unique front satisfying (1.3) in
case (B) or (C). The properties of the semigroup generated by L play an essential role in the large
time behavior of the solution u of the Cauchy problem (1.7). Indeed, the function dened by
u (t, x) = ecx/2 u
(t, x) for all t 0 and x R (1.50)
The main spectral properties of L are stated in Section 4.1. Then, Section 4.2 is devoted to the proof
of formula (1.21). The proofs of Theorem 2 and Proposition 3 are given in Section 4.3.
53
Chapitre 1. Inside dynamics of pulled and pushed fronts
Lemma 5. If the front U solving (1.3) with c > 0 belongs to Xc/2 , then the operator L dened by (1.49)
satises the following properties :
i) The essential spectrum e (L) of L is equal to c2 /4 max (f (0), 0), + .
ii) The point spectrum of L is included in 0, c2 /4max (f (0), 0) . Moreover, = 0 is the smallest
eigenvalue of L and the function x 7 (x) = U (x) ecx/2 spans the kernel of L.
iii) The following spectral decomposition of L2 (R) holds :
where the operator P : L2 (R) L2 (R) is the spectral projection onto the kernel of L, that is
R
P (w) = R w for all w L2 (R) with = /kkL2 (R) .
Proof. It uses standard results and it is just sketched here for the sake of completeness.
i) The coecients of the operator L are not constant but converge exponentially to two limits
as x . It follows that L is a relatively compact perturbation of the operator L0 dened by
L0 = x2 + (c2 /4 g (x)), where
(
g(0) = f (0) if x < 0,
g (x) =
g(1) = 0 if x > 0.
Then, Theorem A.2 in [93] implies that the essential spectrum e (L) of the operator L is equal to the
spectrum (L0 ) of the operator L0 . Since L0 is self-adjoint in L2 (R), we get
e (L) = (L0 ) = c2 /4 max (f (0), 0), + .
ii) The operator L is a self-adjoint operator in L2 (R), so the eigenvalues of L are in R. Moreover,
since (c, U ) satises equation (1.3) and U belongs to Xc/2 , one has necessarily that c2 > 4f (0)
(whatever the sign of f (0) be) and the function x 7 (x) = U (x)ecx/2 is in L2 (R) (and then in
H 2 (R) by adapting the arguments used the proof of Lemma 1). Furthermore, is an eigenvector of
L associated to the eigenvalue = 0, that is L = 0, and the eigenvalue is simple, from elementary
arguments based on the exponential behavior at . On the other hand, since is positive, Sturm-
Liouville theory implies that = 0 is the lowest value of the spectrum of L. Together with i), we
nally get that the point spectrum of L is a discrete subset of the interval 0, c2 /4 max(f (0), 0) .
iii) The function = /kkL2 (R) is a normalized eigenvector of L associated to the eigenvalue 0.
Since L is self-adjoint, the operator P : L2 (R) L2 (R) dened as in Lemma 5 is the spectral projection
onto the kernel of L. Then, the spectral decomposition (1.53) holds, where Im(P ) = , R and
R
ker(P ) = w L2 (R) | R w = 0 .
Let us come back to the Cauchy problem t w + Lw = 0. From Lemma 5, the semigroup etL t0
generated by L satises the following properties :
Lemma 6. If the front U solving (1.3) with c > 0 belongs to Xc/2 , then there exist two constants
C > 0 and > 0 such that
54
1.4. The description of pushed fronts
Proof. From Lemma 5, the decomposition (1.53) is stable by L. Moreover, the restriction of L to the
space ker(P ) is a sectorial operator whose spectrum is included in {z C | e(z) > } for some small
> 0. The conclusion (1.54) follows from [93, 142].
Let f satisfy the assumptions of Theorem 2 and let (c, U ) be either the pushed critical front when
p
c = c > 2 f (0) in case (A) or the unique front satisfying (1.3) in cases (B) and (C). Let be
the solution of the Cauchy problem (1.4)-(1.5) and let u be dened by u (t, x) = (t, x + ct). First of
all, u
solves (1.7) and from the maximum principle the comparison (1.26) still holds. Moreover, since
U satises (1.9), (1.11) or (1.12), U and u (t, ) for all t 0 belong to the weighted space Xc/2
dened by (1.52). Next, let u be dened by (1.50). Since u (t, ) is in Xc/2 for all t 0, the function
u (t, ) belongs to L (R), for all t 0. Furthermore, and u (0, ) belong to L (R) from (1.9), (1.11)
2
and (1.12). From (1.51) and Lemma 5, the initial condition u (0, ) can be split in L2 (R) as follows :
u (0, ) = P (u (0, )) + w,
where
Z
ecx/2 U (x)
P (u (0, )) =
(s) u (0, s) ds and (x) = Z 1/2 for all x R,
R
U 2 (s) ecs ds
R
w = u (0, ) P (u (0, )) ker(P ) L (R).
Equation (1.55) and the denition (1.50) of u imply then that, for all t > 0 and x R,
(t, x) = ecx/2 P (u (0, ))(x) + etL w (x)
u
Z
cx/2
= e (x) (s) u (0, s) ds + ecx/2 etL w (x)
R
= p(0 )U (x) + ecx/2 etL w (x),
where p(0 ) (0, 1] is given in (1.19). It follows from (1.56) that (t, x+ct)p(0 )U (x) 0 uniformly
on compacts as t + and even uniformly in any interval of the type [A, +) with A R. This
proves (1.21).
lim sup 0 (x) p(0 ), or max (0 p(0 ), 0) Lp (R) for some p [1, +), (1.57)
x
then
sup (t, ) p(0 ) as t +. (1.58)
R
55
Chapitre 1. Inside dynamics of pulled and pushed fronts
Proof. The proof of (1.58) is a consequence of (1.21) and Lemma 4. More precisely, let be any positive
real number in (0, 1) and let A be any real number. From the previous paragraph there is t0 > 0 such
that
(t, x) p(0 )U (x ct) + p(0 ) + for all t t0 and x A + ct.
Lemma 4 applied with = = p(0 ) implies that
lim sup sup (t, x) p(0 ).
t+ xR
On the other hand, since lim inf t+ supR (t, ) p(0 ) from (1.21) and U () = 1, we get that
supR (t, ) p(0 ) as t +.
Remark 3. As in Remark 2, the above proof implies that if 0 satises (1.4) and 0 (x) [0, 1]
as x , then supR (t, ) max (, p(0 )) as t +.
4.3 Spreading properties inside the pushed fronts : proofs of Theorem 2 and Proposi-
tion 3
The previous section 4.2 shows that, in the pushed case, the right spreading speed of in the
reference frame is equal to c, in the sense that
c = inf > 0 | (t, + t) 0 uniformly in (0, +) as t + .
In this section, we prove that in the pushed case the left spreading speed of is actually at least
equal to 0. More precisely, we prove that the solution moves to the left in the reference frame, at
least at a sublinear rate proportional to t, in the sense that lim inf t+ (t, t) > 0 for all 0
(and, in fact, for all R). This corresponds to formula (1.20) in Theorem 2. We also obtain some
estimates, which are more precise than (1.21), on the asymptotic prole of the solution in sets of
the type ( t, +) with > 0 large enough. Lastly, we prove Proposition 3, which shows that the
solution cannot spread to the left with a positive speed if 0 is small near , in the sense of (1.16).
The proofs of the pointwise estimates stated in Theorem 2 are based on formula (1.21) and on the
construction of explicit sub- and super-solutions of (1.5) in the reference frame.
3.1 Description of the right spreading speed and the asymptotic prole of solutions : proof of Theo-
rem 2
Let f fulll the assumptions of Theorem 2 and let (c, U ) be either the pushed critical front in
p
the monostable case (A) with speed c = c > 2 f (0), or the unique front in the bistable (B) and
ignition (C) cases. First, as in the rst inequality of (1.40), since g(U (y)) 0+ as y , there is
A R such that
g(U (y)) 0 for all y (, A]. (1.59)
Let be the solution of problem (1.5) with initial condition 0 satisfying (1.4). Theorem 2 implies that
(t, A + ct) p(0 )U (A) > 0 as t +. Choose any real number such that 0 < < p(0 )U (A)
and let t0 > 0 be such that
(t, A + ct) for all t t0 .
Now, let us construct a subsolution of the problem (1.5) in the domain t t0 and x A + ct.
Let be dened by
56
1.4. The description of pushed fronts
where h is the solution of the heat equation t h = x2 h with initial condition h(0, ) = 1(0,+) in R.
On the one hand, there holds
and
(t0 , x) = 1(0,+) (x A ct0 ) = 0 (t0 , x) for all x (, A + ct0 ),
while, on the other hand, it follows from (1.59) that
for all t > t0 and x (, A + ct). Then the maximum principle applied to (1.5) implies that
Lastly, let be any xed real number. There exists t1 > t0 such that, for all t t1 , one has
t < ct + A and
(t, x) (t, x) = h(t t0 , x A ct0 ) for all x [ t, ct + A].
Since h(t, ) is increasing in R for all t > 0, we get, that for all t t1 and x [ t, ct + A],
Z +
2
(t, x) h(t t0 , t A ct0 ) = ey dy.
(t+A+ct0 )/ 4(tt0 )
Therefore, Z
+ 2
lim inf min (t, x) ey dy > 0,
t+ txct+A /2
Even if it means decreasing A, one can assume without loss of generality that p(0 )(1 U (A)) .
This implies that, for all t t1 and 0 ,
max |(t, x) p(0 )U (x ct)| max |(t, x) p(0 )| + p(0 ) 1 U (A) 2.
txA+ct txA+ct
From property (1.21) (and the fact that (t, x+ct)p(0 )U (x) 0 as t + uniformly in [A, +),
as observed at the end of the proof of (1.21)), we also know that there exists t2 t1 such that for all
t t2 ,
max |(t, x) p(0 )U (x ct)| .
xA+ct
Remember that, in the above formula, the supremum is a maximum, from (1.26) and the continuity
of U and (t, ) for all t > 0. We conclude that
lim sup |(t, x) p(0 )U (x ct)| 2 for all 0 .
max
t+ x t
57
Chapitre 1. Inside dynamics of pulled and pushed fronts
In addition to (1.4), we assume that 0 satises (1.16). As already observed in the proof of Lemma 4,
this implies that (t, x) 0 as x for all t > 0. Let be any real number in (0, 1) and let j be
the function dened on (, 0) by (1.38). Let A < 0 be such that (1.40) holds. Since (1, x) 0 as
x , one can assume without loss of generality that (1, x) for all x A.
As in the proof of Lemmas 3 and 4, let us now construct a super-solution of (1.5) in the domain
t 1 and x A. More precisely, let us set
There holds (1, x) (1, x) for all x < A, while (t, A) 1 (2 + )/2 = h(t 1, 0) (t, A)
for all t > 1 from (1.26) and (1.38). Furthermore,
t (t, x) x2 (t, x) g U (x ct) (t, x) 0 for all t > 1 and x < A,
since h(t, ) is increasing in R for all t > 0. Thus, for any xed < 0,
Z
2 + 2
(t, x) 2 +
max ey dy
x t (A+ t)/ 4(t1)
with |0 | large enough. Since can be arbitrarily small, the proof of Proposition 3 is thereby com-
plete.
Remark 4. The proof of the lower bound of given in Subsection 3.1 implies immediately that,
under the assumptions of Theorem 2, lim inf t+ (t, x) p(0 )/2 locally uniformly in x R.
Furthermore, for any > 0, an adaptation of the above proof given in the present subsection implies
that, under the assumptions of Proposition 3, there are A < 0 negative enough, t0 > 0 positive
enough and B < min(A + ct0 , 0) negative enough such that (t, x) h(t t0 , x) + j (x ct) for all
t > t0 and x ct + A, where h solves the heat equation t h = x2 h with initial condition h(0, ) =
1(,B) + 1(B,ct0 +A) + (p(0 ) + )1(ct0 +A,+). Therefore, since > 0 can be arbitrarily small, it
follows that, under the assumptions of Proposition 3, lim supt+ (t, x) p(0 )/2 locally uniformly
in x R, and nally (t, x) p(0 )/2 as t + locally uniformly in x R.
58
Chapitre 2
Ce travail ralis en collaboration avec Lionel Roques a , Franois Hamel b,c et Etienne Klein a
est publi en ligne dans les Proceedings of the National Academy of Sciences
of the United States of America [RGHK12]
a UR 546 Biostatistique et Processus Spatiaux, INRA, F-84000 Avignon, France
b Aix-Marseille Universit, LATP UMR 6632, Facult des Sciences et Techniques
Sommaire
2.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
2.2 The model, main hypotheses and classical results . . . . . . . . . . . 61
2.1 Growth functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
2.2 Traveling wave solutions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
2.3 Results : how the fractions propagate . . . . . . . . . . . . . . . . . . 63
3.1 Evolution of the density of the fraction in a moving frame . . . . . . . . 63
3.2 Evolution of the density of the fraction behind the wave . . . . . . . . . 65
2.4 Numerical computations . . . . . . . . . . . . . . . . . . . . . . . . . . 66
4.1 KPP case . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
4.2 Allee case . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
2.5 Discussion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
2.6 Appendices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
6.1 Appendix A : Proof of Result 1a . . . . . . . . . . . . . . . . . . . . . . . 69
6.2 Appendix B : Proof of Result 2a . . . . . . . . . . . . . . . . . . . . . . . 69
6.3 Appendix C : Proof of Result 1b . . . . . . . . . . . . . . . . . . . . . . . 70
6.4 Appendix D : Proof of Result 2b . . . . . . . . . . . . . . . . . . . . . . . 71
59
Chapitre 2. Allee eect promotes diversity in traveling waves of colonization
2.1 Introduction
Rapid increases in the number of biological invasions by alien organisms [50] and the movement
of species in response to their climatic niches shifting as a result of climate change have caused a
growing number of empirical and observational studies to address the phenomenon of range expansion.
Numerous mathematical approaches and simulations have been developed to analyze the processes of
these expansions [103, 175]. Most results focus on the rate of range expansion [92], and the genetic
consequences of range expansion have received little attention from mathematicians and modelers
[65]. However, range expansions are known to have an important eect on genetic diversity [52, 94]
and generally lead to a loss of genetic diversity along the expansion axis due to successive founder
eects [162]. Simulation studies have already investigated the role of the geometry of the invaded
territory [31, 174, 184], the importance of long distance dispersal and the shape of the dispersal
kernel [11, 68, 96], the eects of local demography [110] or existence of a juvenile stage [11]. Further
research is needed to obtain mathematical results supporting these empirical and simulation studies,
as such results could determine the causes of diversity loss and the factors capable of increasing or
reducing it.
In a simulation study using a stepping-stone model with a lattice structure, Edmonds et al. [62]
analyzed the fate of a neutral mutation present in the leading edge of an expanding population.
Although in most cases the mutation remains at a low frequency in its original position, in some
cases the mutation increases in frequency and propagates among the leading edge. This phenomenon
is described as surng" [110]. Surng is caused by the strong genetic drift taking place on the edge of
the population wave [65, 66] because the local growth rate of the low density individuals on the edge of
the expanding wave is typically higher than the growth rate for the bulk of the population [110]. The
existence of surng events has a signicant impact on the subsequent genetic patterns of the population
after expansion [81] and their occurrence can be inuenced by the existence of long distance dispersal
events [68], local demography [110] or selection [174].
The existence of an Allee eect is another critical factor aecting the dynamics of the leading edge
of a population expansion. The Allee eect is characterized by a decrease in the per capita growth
rate at low densities, and this can be due to increased damage from bioagressors, increased mortality
due to interspecic competition or reduced tness due to suboptimal mating opportunities [16]. This
dynamic has been observed in many populations [53, 114, 179]. The Allee eect is known to aect the
rate of spread of a population [13, 118] and is expected to modify genetic drift on the edge of that
population. Using simulation models with stochastic demography, Hallatschek and Nelson [82] provided
a numerical analysis of the surng phenomenon in the presence of an Allee eect. More precisely,
using a backward-time approach, they analyzed the initial position of successful surfers in the wave.
Signicant dierences in the probability distributions of the successful surfers were found between
populations that experience an Allee eect and populations that do not. Using the framework of
reaction-diusion equations, they were able to connect their numerical ndings to analytical formulas.
Among other things, they concluded that surng is not possible in deterministic reaction-diusion,
KPP type models [72, 112], i.e., without an Allee eect. The goal of our study is to investigate how
the Allee eect determines genetic diversity in a colonization front and to do so in a context broader
than that considered in the surng phenomenon.
Following the framework provided by Hallatschek and Nelson [82] and Vlad et al. [181], we focus
60
2.2. The model, main hypotheses and classical results
where u = u(t, x) is the density of the population (of genes or haploid individuals) at time t and space
position x. It evolves in time under the joint eects of local dispersal accounted for by the diusion
term and local reproduction described by the growth function f . Since Skellams work [169], these
models have commonly been used to explore population range expansions. However, little is known
regarding the evolution of the inside structure of these models solutions, that is, the dynamics of the
components through which the structure of a population is determined.
Under some assumptions on the function f and the initial population u0 , the solutions of (2.1)
converge to traveling wave solutions [9, 71, 112]. These solutions describe the invasion of the unoccupied
region with a constant speed c and a constant density prole U and the population density can be
written as u(t, x) = U (x c t). In this study, we focus on such traveling wave solutions, and our aim
is to study the evolution of their inside structure depending on the growth term f .
Assuming that a population is initially composed of several neutral fractions, we provide a ma-
thematical analysis of the spatio-temporal evolution of these fractions, i.e., of the proportion of each
fraction at each position in the colonization front. Our mathematical analysis of the models investi-
gates the following questions : (i) how do the proportions of the dierent fractions evolve in a traveling
wave generated by a classical KPP model ; (ii) does the presence of an Allee eect modify the pro-
portions of the dierent fractions in a traveling wave, i.e., does it enhance or reduce diversity in the
colonization front ; and (iii) do the proportions of the dierent fractions at a particular location evolve
rapidly after the traveling wave has passed, i.e., is the diversity determined by the front durable.
We assume that the population is composed of genes or haploid individuals. Its total density u
satises the equation (2.1). This population is made of several neutral fractions k ; see Fig. 2.1. In
particular, at time t = 0 :
X
u0 (x) := u(0, x) = 0k (x), with 0k 0 for all k 1.
k1
We assume that the genes (or the individuals) in each fraction only dier by their position and their
allele (or their label), while their dispersal and growth capabilities are the same as the total population
u, in the sense that the density of each fraction veries an equation of the form :
(
t k = xx k + k g(u), t > 0, x R,
(2.2)
k (0, x) = 0k (x), x R.
with g(u) = f (u)/u. Thus, the per capita growth rate g(u) of each fraction k is equal to the per capita
growth rate of the total population. Also note that each fraction k is positive everywhere at positive
times, and that, as expected, the sum of the fraction densities veries (2.1). Given the uniqueness of
the solution to the initial value problem associated with (2.1), this sum is equal to u(t, x).
Note that for diploid populations, the system (2.2), which governs the dynamics of the allelic
densities, can also be derived from a weighted sum of the equations governing the genotype densities,
such as those given in [9].
61
Chapitre 2. Allee eect promotes diversity in traveling waves of colonization
Figure 2.1 A schematic representation of a traveling wave solution u(t, x) of (2.1) made of six
fractions. Each fraction is depicted with a dierent color and with a thickness which corresponds, at
each position x, to the density k of the fraction.
We assume that f is continuous, continuously dierentiable and vanishes at 0 and 1, with f (1) < 0.
Under the above assumptions, 0 and 1 are stationary states of the main equation (2.1). When u = 0,
the species is not present, and when u = 1, the environment is fully colonized.
The rst type of growth functions that we consider are of KPP type.
Definition 1. A growth function is said to be of KPP type if, in addition to the above assumptions,
it satises
0 < f (u) f (0) u, for all u (0, 1). (2.3)
Under this assumption, the per capita growth rate g(u) = f (u)/u always remains smaller than its
value at u = 0, i.e., f (0). This means that higher densities result in lower individual reproductive
success, i.e., that the individuals compete with each other and that there is no cooperation between
them. A typical example of function f satisfying the KPP assumption is the logistic function dened
by f (u) = u (1 u), which was used in [82] and [181].
The second type of growth function that we consider is a cubical polynomial that does not verify
the KPP assumption.
Definition 2. A growth function is said to be of the Allee type if it satises, for some (0, 1/2),
In this case, the per capita growth rate g(u) = f (u)/u is negative for low values of the density
u, which corresponds to a strong Allee eect. The parameter corresponds to the so-called Allee
threshold", below which the growth rate becomes negative [9, 105, 118]. Other functions f could have
been considered that may not be cubical polynomials and have an f (0) value that is still negative.
We chose to address only functions of the type (2.4) for the sake of simplicity, as the prole of the
unique global front is known and the subsequent calculations are explicit.
The traveling wave solutions verify u(t, x) = U (x c t), for the speeds c > 0 precised below.
Substituting this expression into (2.1), it follows that the proles U of the traveling waves satisfy the
following ordinary dierential equation :
62
2.3. Results : how the fractions propagate
Such traveling waves propagate from left to right and describe the invasion of an environment where
the species is not present with a constant speed c and a constant density prole U.
The existence of such solutions has been proved in [72, 112] for KPP growth functions and in
[9, 71] for growth functions of the Allee type. These studies show that, starting from a step-function
(u0 (x) = 1 for x 0 and u0 (x) = 0 for x > 0), the solution of the equation (2.1) converges to a
p
traveling wave. In the KPP case, this traveling wave propagates at the speed c = 2 f (0) [112].
Under the Allee assumption, the prole U (up to shifts in x) and the speed c of the traveling wave
are known :
1 1 2
U (x) = and c = . (2.5)
1+e x/ 2 2
p
In the KPP case, the traveling wave with minimal speed c = 2 f (0) propagates at the same
speed as the solution of the linear equation :
t u = xx u + f (0) u. (2.6)
This corresponds to a pulled wave [172], where the wave is pulled by the leading edge of the population
p
distribution. Under the KPP assumption, other waves propagating at speeds c > 2 f (0) are known
to exist, and Stokes [172] denes them as being pulled. When the Allee eect is present, there is a
unique traveling wave, given by (2.5). Its speed c = (1 2 )/ 2 is strictly positive, whereas the
solution of the linear equation (2.6) converges uniformly to 0. The corresponding wave is called a
pushed wave [172, 161].
The results shown in the next sections provide a new and intuitive explanation of these notions of
pushed and pulled waves.
We consider an arbitrarily chosen fraction k that satises (2.2) we call it in the sequel and we
study the evolution of the density (t, x). From our assumptions, the total population u(t, x) veries
that u(t, x) = U (x c t). Thus, the density of the fraction satises :
Moreover, when t = 0, u0 (x) = U (x) and 0 (x) = (0, x) corresponds to a fraction of the quantity U (x),
thus 0 0 (x) U (x) for all x R. From the stability properties of the traveling waves, considering
the initial condition u0 (x) = U (x) is equivalent to dening the fractions inside a population which has
already reached its stationary prole. Biologically, this means that we consider the spatio-temporal
evolution of the diversity distributed at a given time in an ongoing wave of colonization.
Using the properties of the growth function f and the subsequent properties of the prole U and
of the speed c, we can describe the evolution of in a moving interval with speed c, as well as behind
the waves.
In this section, we study the evolution of the density of the fraction in an interval moving at the
same speed c as the total population. Two situations may occur herein. Either the fraction is able to
follow the total population and spreads with the same speed c, or the fraction is not able to follow the
total population.
63
Chapitre 2. Allee eect promotes diversity in traveling waves of colonization
Our rst result is concerned with the KPP case and is valid under general assumptions on the
initial density 0 of the fraction. These assumptions include the particular case of compactly supported
initial fractions (i.e., 0 (x) = 0 outside a bounded set) and are veried by all the fractions depicted in
Fig. 2.1, with the exception of the rightmost (light grey) one.
Result 1a (KPP case, see proof in Appendix A) : If the initial density 0 of the fraction
converges to 0 faster than U as x +, 3 then, for any A R, the density (t, x) of the fraction
converges (as t ) to 0 uniformly in the moving half-line [A + c t, ).
This result shows that under the KPP assumption any fraction whose initial density 0 (x) is 0
for large x cannot expand with the total population.
It was stated in [82] that gene surng was not possible for the logistic growth function f (u) =
u (1 u). If by gene surng we mean that the wave tends to be made of a single fraction, then our
result also shows that surng is not possible for fractions with compactly supported initial densities.
However, the surng of fractions that are not initially compactly supported can occur, even with
logistic growth functions. Consider the rightmost fraction r (the light grey fraction in Fig. 2.1) : at
t = 0, 0r = U 1[,) , where 1[,) denotes the indicator function of the interval [, ), for some
R. The fraction corresponding to the remaining part of the population veries 0l = U 1(,)
as well as the assumption of Result 1a. Because u(t, x) = U (x c t) = l (t, x) + r (t, x), this result
shows that r (t, x) converges to U (x c t) in any moving half-line [A + c t, ). This means that the
fraction r manages to surf" on the wave.
Result 2a (Allee case, see proof in Appendix B) : For any A R, the density of the fraction
converges (as t ) to a proportion p[0 ] of the total population u(t, x) in the moving half-line
[A + c t, ), that is (t, x) p[0 ]u(t, x) = (t, x) p[0 ]U (x c t) 0 as t , uniformly in
[A + c t, ). The proportion p[0 ] can be computed explicitly :
Z +
0 (x) U (x) ec x dx
p[0 ] = Z + [0, 1]. (2.8)
U 2 (x) ec x dx
This result shows that any fraction with a non-zero initial density 0 follows the total population.
Moreover, in the interval moving with speed c, the prole (t, c t + ) of the fraction tends to resemble
the prole U of the total population, with a scaling factor p[0 ] dependent on the initial density 0 .
Note that the integral terms in the expression of p are well-dened, and this can be easily checked
using the formulas (2.5). This would not be true under the KPP assumption [9].
The formula (2.8) provides precise information regarding the origin of the individuals that compose
the wave at large times. Let us again consider the leftmost" fraction dened by 0l = U 1(,) for
R. The asymptotic proportion of this fraction in any moving half-line with speed c is p() := p[0l ].
Dierentiating p() with respect to , we obtain a quantity p () that can be interpreted as the relative
Z +
cy
3. This means that e 2 0 (y)dy < .
0
64
2.3. Results : how the fractions propagate
Using a similar formula, and replacing U with the solution of a stochastic simulation model incorpora-
ting an Allee eect, Hallatschek and Nelson [82] obtained a good t of the probability of gene surng
in their model.
Here, the density prole U is known explicitly. Using formula (2.5), we observe that p () = 0
and that p reaches a unique maximum at
1 2
max = 2 ln . (2.9)
1 + 2
Interestingly, max is a decreasing function of , with max (0) = 0, corresponding to the position of
the inexion point of the prole U , and max (1/2) = . This formula emphasizes the advantageous
role of the Allee eect for the fractions situated deep in the core of the population ; the stronger the
Allee eect, the more these individuals will contribute to the wave.
The aim of the previous section was to analyze the behavior of an arbitrarily chosen fraction in a
moving interval [A+c t, ), with speed c equal to the spreading speed of the total population. Here, we
analyze the evolution of the density of the fraction in the remaining part of the space : (, A + c t).
We assume that the initial density 0 (x) of the fraction converges to 0 as x .
Result 1b (KPP case, see proof in Appendix C) : If the initial density 0 of the fraction
converges to 0 faster than U as x +, 1 then for any A R, the density of the fraction converges
(as t ) to 0 uniformly in the moving half-line (, A + c t).
This result, together with Result 1a, implies that the density (t, x) of the fraction converges to 0
uniformly in R as t . Thus, under the KPP assumption, any compactly supported fraction will
vanish in the sense that, at large times, its density becomes negligible at any point of the space, as a
result of dilution.
Result 2b (Allee case, see proof in Appendix D) : For any speed c (0, c) and any A R,
the density (t, x) of the fraction converges (as t ) to the proportion p[0 ] u(t, x) in a set of the
form (c t, A + c t). Besides, for any > 0 and B > 0, p[0 ]/2 < (t, x) < p[0 ] + in the set
[B, A + c t) for t > 0 and A > 0 large enough.
Result 2a shows that, in any moving half-line [A + c t, ), the density of the fraction tends to
resemble a proportion p[0 ] of the total population u when the Allee eect is present. Result 2b shows
that this is actually true in (c t, +), for any c > 0. This result also indicates that the fraction
propagates to the right with the same speed as the total population, but also propagates in the
opposite direction, given that B can be chosen arbitrarily large. Moreover, this result implies that the
fraction centroid moves to the right at a speed lesser or equal to c/2.
65
Chapitre 2. Allee eect promotes diversity in traveling waves of colonization
Our analytical results were derived for a front-like initial condition u0 (x) = U (x), corresponding
to an already established traveling wave. We investigate numerically whether these results remain
qualitatively true when u0 is a compactly supported step function (Fig. 2.2 a) which has not yet reached
a traveling wave prole. We assume that the population is made of N = 9 fractions k which verify,
at t = 0, 01 = 1(40,21] , 0k = 1(xk1 ,xk ] for k = 2, . . . , N for the sequence x1 < x2 < . . . < xN = 0
of evenly spaced points. We numerically solved equation (2.2) with KPP and Allee growth terms. In
both cases, we observed that the solution u(t, x) rapidly converges to a traveling wave prole (dashed
curves in Fig. 2.2).
The gure 2.2 b shows the evolution of the spatial structure of the solution u(t, x) of (2.1) with
a KPP growth term. As predicted by Results 1a and 1b, only the rightmost fraction follows the
propagation to the right of the total population. The mass of the rightmost fraction, which was
initially small, increases linearly with time. This could be interpreted as a form of surng. We can
observe that this fraction slowly diuses into the bulk of the population, but with a null speed (i.e.,
sublinearly).
We observe that the spatial structure of the population has a vertical pattern", meaning that the
population is highly spatially structured. Fig. 2.2 b shows that the evolution of this pattern is slow
compared to the rate at which the population propagates. Actually, since the growth term k g(u) in
(2.2) is always positive, the density of the fractions 2, . . . , N 1 cannot decrease to 0 faster than the
solution of the heat equation t = xx , i.e., cannot decrease faster than the order 1/ t .
With the Allee growth function (2.4), the numerical results of Fig. 2.2 c and Fig. 2.2 d show
that the theoretical predictions of Results 2a and 2b remain qualitatively true when u0 is compactly
supported. In particular, the stronger the Allee eect is, the more the fractions situated deep in the
core of the population contribute to the wave.
The rightmost fraction remains the most represented in the colonization front. However, contrary
to the KPP case, all the other fractions are conserved in the colonization front, leading to a spatial
structure of the population with a horizontal pattern".
2.5 Discussion
66
2.5. Discussion
Figure 2.2 Evolution of the spatial structure of the solution u(t, x) of (2.1). (a) : initial distribution
of the fractions ; (b) : spatial structure of the colonization wave u(t, x) with the KPP growth term
f (u) = u (1 u) ; (c) and (d) : spatial structure of the colonization wave u(t, x) with the growth term
f (u) = u (1 u) (u ). In each case, the dashed black curve corresponds to the prole U of the stable
traveling wave solution of (2.1).
67
Chapitre 2. Allee eect promotes diversity in traveling waves of colonization
vanishes progressively ; this shows that the enhanced transport" of neutral fractions described by
Vlad et al. [181] for similar equations is only a transient phenomenon.
These results diversify the commonly held perspective that the Allee eect possesses net adverse
consequences. This perspective is inherited from demographic studies of range expansion, which de-
monstrate that an Allee eect reduces the speed of colonization [118, 119] and can even stop it in
heterogeneous environments [13]. Reducing the growth rate of the individuals ahead of the coloniza-
tion front simultaneously reduces the speed of colonization and enables a diversity of genes coming
from the core of the population to remain on the front, as demonstrated by Result 2a and formula
(2.9). Other mechanisms that reduce the growth rate of the individuals ahead of the front should
also result in greater conservation of the genetic diversity of a population. For instance, Pluess [145]
demonstrated how a retreating glacier limited the spread of a population of European larch, thereby
functioning as an extreme Allee eect where all of the seeds falling on the icecap die. Given our results,
this should lead to high genetic diversity in the colonization front, which was actually observed [145].
The Allee eect could be a partial or alternative explanation to the argument of long-distance mixing
of genes advanced in [145]. Our results are also consistent with the ndings in [12] which showed that
the existence of a juvenile phase (i.e., a non-reproductive life-stage) in the life-cycle of an organism
can lead to higher levels of genetic diversity. Although the juvenile phase does not generate an Allee
eect in the strictest sense, it slows down the colonization process in a similar way, thus enabling an
accumulation of genetic diversity in the colonization front.
The Allee eect also aects the spatial distribution of diversity. As Fig. 2.2 c and Fig. 2.2 d
illustrate, this eect leads to a horizontal pattern" of genetic diversity (i.e., an absence of genetic
dierentiation in space), and Result 2b shows that, after the population has reached its maximum
capacity, this pattern diuses in the opposite direction within the core of the population. Conversely,
we observed a vertical pattern" of genetic diversity in the absence of an Allee eect (i.e., a strongly
structured spatial distribution of population fractions ; see Fig. 2.2 b). This genetic structure eventually
attenuates due to diusion in the saturated population and each fraction becomes negligible. However,
in both cases the diusion in the saturated population occurs at a much lower rate than the rate of
colonization (sublinear diusion vs. linear propagation). These two time-scales are consistent with the
results obtained in [11] with a stepping-stone model.
Genetic drift is not taken into account in our forward-time approach, and this is an important
dierence between this study and [82]. In [82], the dominant role of genetic drift eventually leads
to the xation of a single gene in the colonization front, leading to a total loss of diversity. However
consistent results are obtained from their backward-time approach. In the absence of stochastic genetic
drift, the deterministic evolution of the allelic densities does not depend on the distribution of the
alleles within and among diploid individuals [91]. Our results can therefore be applied to the dynamics
of genetic diversity in haploid as well as diploid populations.
Our forward-time approach also underlines the ambiguity in the denition of the surng pheno-
menon. Surng can be associated with either (i) a rare gene becoming drastically dominant in the
front or, (ii) with a gene initially present on the front being propagated alongside others present in
the front. These two denitions lead to contradictory results, as with denition (i), gene surng is
only possible without an Allee eect and for the furthest forward fraction of the front, and denition
(ii) dictates that gene surng is promoted by the Allee eect. In the presence of an Allee eect, the
centroid of any fraction of the front is propagated at speed c/2, which is consistent with the fact that
any fraction spreads between its initial location and the leading point of the front [62, 65].
68
2.6. Appendices
From a mathematical standpoint, our study contributes a new perspective to the extensively stu-
died topic of reaction-diusion equations. One of the main features of these equations is their exhibition
of traveling wave solutions that keep a constant prole. Earlier approaches were concerned with the
dynamics of the total waves, making our study the rst, to our knowledge, to mathematically analyze
the dynamics of the inside structure of these waves. Our results show that these dynamics are strongly
dependent on the type of growth function f, and seem to be determined by the pulled-pushed nature
of the waves. Conversely, our observations show that the notions of pulled and pushed solutions can be
dened based on the inside structure of the solutions rather than on their speed of propagation. This
new conceptualization of pushed and pulled solutions, whose mathematical denitions will be given
in a future work, has the advantage of being intuitive and adaptable to more complex models that
do not necessarily admit traveling wave solutions. For instance, we should now be able to determine
the pushed-pulled nature of the solutions of (i) integro-dierential equations including long distance
dispersal events and resulting in accelerating waves [Ga11, 113], (ii) reaction-diusion equations with
spatially heterogeneous coecients that lead to pulsating or generalized transition waves [21, 190],
(iii) reaction-diusion equations with forced speed, which have been used in [17] to study the eects
of a shifting climate on the dynamics of a biological species. These processes are known in ecology to
be determinants of the colonization patterns of many organisms [52, 103] and their eects on genetic
diversity require further investigation [65].
2.6 Appendices
The main idea of the proof is to compare the equation veried by with a homogeneous linear
equation, and to compute explicitly the solution of the linear equation.
Recall that satises (2.7). From the KPP assumption, we know that g(U (xc t)) f (0). Thus, a
comparison argument implies that is smaller than the solution w of the equation : t w = xx w + w f (0),
with the same initial condition w(0, x) = 0 (x). This function w can be computed explicitly. Fix A R
p
and consider an element x0 + c t in the moving half-line [A + c t, ). Since c = 2 f (0), we have :
x0 c Z (x0 y)2
e 2 cy
w(t, x0 + c t) = e 2 0 (y) e 4t dy.
4 t
Z + cy
Finally, since x0 A and e 2 0 (y)dy < , we get :
A c Z
e 2 cy
w(t, x0 + c t) 0 (y) dy 0 as t ,
e 2
4 t
and the above convergence is uniform in x0 [A, +). Since 0 (t, x) w(t, x), this implies the
assertion in Result 1a.
In the moving frame with speed c, the fraction density can be written u(t, x) = (t, x+c t). In order
to remove the advection terms which appear in the equation veried by u , we set (t, x) = u
(t, x) ec x/2 .
Then, we can check that the function is a solution of a linear equation without advection term :
" #
c2
t = xx + g(U (x)) , (2.10)
4
69
Chapitre 2. Allee eect promotes diversity in traveling waves of colonization
with the initial condition (0, x) = 0 (x) ec x/2 . In the remaining part of the proof, we show that
can be written as the sum of a stationary function and of a function which converges to 0 exponentially
fast as t .
Note that (x) = ec x/2 U (x) is a positive eigenfunction of the operator which appears in the right
hand side of (2.10), and that the associated eigenvalue is 0. The Sturm-Liouville theory implies that
0 is the largest eigenvalue of this operator, the remaining part of the spectrum being located at the
left of some negative constant . Thus, we can write :
Take any > 0. From Result 1a, we already know that for any A < 0 there exists a time tA > 0
such that 0 < (t, A + c t) < /2 for all t tA . Again, we place ourselves in the moving frame with
speed c : u
(t, x) = (t, x + c t) satises 0 < u
(t, A) < /2 and veries the equation :
= xx u
t u + c x u
+ g(U (x))
u, t > 0, x R. (2.12)
By constructing a super-solution to (2.12) close to the solution of the heat equation, we are going to
show that u 0 in (, A] as t .
The assumption 0 (x) 0 as x implies that, for any t > 0, u (t, x) 0 as x . In
particular, there exists a point xA < A such that u(tA , x) /2 for all x xA . Thus, in the interval
is smaller than the solution u of :
(, A], and for times larger than tA , u
t u = xx u + c x u + f (U (x)), t tA , x < A,
u(t, A) = /2, t t ,
A
( (2.13)
1 if x (xA , A),
u(t A , x) =
/2 if x x . A
Then, u1 is simply the solution of the heat equation with an advection term and can be computed
explicitly. In particular, we have maxxR u1 (t, x) /2 + C/ t for some constant C > 0. Setting
j(x) = x/(1 x) for x < 0, we observe that j c j is positive and decreases like c /x2
as x . Under the KPP assumption, it is known [10] that the prole U (x) of the traveling
wave converges exponentially to 1 as x . Using f (1) = 0 and f (1) < 0, this implies that
70
2.6. Appendices
From Result 2a, we know that for any A R there exists a time tA such that |(t, A+c t)p U (A)| <
/4 for all t tA . Thus, if A is negative enough, since U () = 1, we have |(t, A + c t) p| < /3
for t tA . Using the same arguments as in the proof of Result 1b, we can show that (t, x) is smaller
than p + in the half-line (, A + c t] for t large enough.
In order to construct a lower bound for , we construct an appropriate sub-solution. First, one can
choose A < 0 such that f (U (x)) 0 for all x A. Then, setting
t u = xx u(+ c x u, t tA , x R,
0 if x A, (2.16)
u(tA , x) =
p /2 if x A,
a comparison argument implies that u (t, x) = (t, x+c t) is larger than u(t, x) for all t tA and x A.
Again, the equation (2.16) simply corresponds to the heat equation with an advection term and its
solution can be computed explicitly. For any t > tA , the function u(t, ) is increasing and therefore
u(t + tA , x) u(t + tA , c (t + tA ) c t B) for all t > 0, B 0 and x c (t + tA ) c t B, which
gives : Z
p /2 2
u(t + tA , x) ABc (t+tA )
ez dz.
2 t
As a consequence, if 0 < < c, (t, x) is larger than p in (c t, A + c t) for t large enough. We also
c
observe (with c = 0) that (t, x) is larger than p/2 in [B, A + c t) for t large enough.
Acknowledgments
The authors are supported by the French Agence Nationale de la Recherche" within the projects
ColonSGS, PREFERED and URTICLIM. We thank Bruno Fady, Claire Lavigne, Samuel Soubeyrand
and an anonymous reviewer for their insightful comments.
71
Chapitre 2. Allee eect promotes diversity in traveling waves of colonization
72
Chapitre 3
Sommaire
3.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
3.2 Materials and methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
2.1 The reaction-diusion model . . . . . . . . . . . . . . . . . . . . . . . . . . 75
2.2 Initial conditions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
3.3 Results . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
3.1 Analytical result in the one-dimensional case . . . . . . . . . . . . . . . . . 79
3.2 Numerical results . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
3.4 Discussion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
3.5 Appendices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
5.1 Appendix A : Proofs of Theorem 4 and Lemma 9 . . . . . . . . . . . . . . 86
5.2 Appendix B : Numerical solution of (3.1) . . . . . . . . . . . . . . . . . . . 89
73
Chapitre 3. Eect of the spatial distribution of the founding population on establishment
3.1 Introduction
Over the last decades, the number of biological invasions by alien organisms has increased expo-
nentially [50], in large part because of human activities such as trade and travel. These biological
invasions are characterized by a rapid expansion of the invasive organisms range. They are usually as-
sociated with biodiversity losses [98, 99, 107] and often cause signicant harm to ecosystem functioning
[150, 180], socio-economic values [106] and human health [151, 180] in the invaded regions.
The typical sequential stages of a successful invasion process begin with the introduction of a
small founding population (that is, arrival), followed by the establishment and spread stages [55, 182].
During the establishment stage, the individuals in the founding population reproduce and increase in
number to form a colony that is self-perpetuating. The spread corresponds to the expansion of the
species range into its new habitat.
Successful establishment often requires multiple introductions [150, 182]. The success of the esta-
blishment phase indeed depends on the size of the founding population as well as on several endogenous
and exogenous factors. Understanding the intertwined roles of these factors is of critical importance to
slow down the rate at which biological invasions occur. In this chapter, we investigate the interactions
between founding population characteristics (namely, size and spatial distribution) and the prole of
the growth function associated with the population.
Environmental factors such as resource availability, spatial heterogeneity [24, 45, 67, 156, 159] and
climate conditions [158, 182] can play an important role in the persistence of the newly introduced
population. Additionally, because of the typically small size of the founding population, it is widely
accepted that the Allee eect plays a critical role in the success of establishment [56, 117, 193]. The
Allee eect can be seen in many species [7, 53, 114, 179] ; it indicates that the per capita growth rate of
individuals decreases at low densities. This eect may result from several processes that can co-occur
[16], such as diminished chances of nding mates at low densities [128], demographic stochasticity
[115] or tness decreases due to consanguinity.
In the present work, we analyze the eect of the spatial distribution of the founding population
that is, the repartition of the initial population into subgroups on the success rate of an invasion. The
relationships between successful establishment, the size of the founding population and the Allee eect
have already been investigated in empirical (references above) and theoretical studies [10, 58, 118, 135,
175, 195]. The inuence of the corrugation of the edge of the founding population on the invasion speed
has also been studied by Lewis and Kareiva [118]. However, the eect of the spatial distribution of
the founding population has received less attention. Considering a closely related problem based on
a stochastic reaction-diusion equation with successive random immigration events, Drury et al. [57]
have shown the important role of the spatial distribution of the immigration events on the invasion
risks. This suggests that the spatial distribution of the founding population, and in particular its rate
of fragmentation, also plays an important role.
Because they draw on well-developed mathematical theory, reaction-diusion models have been
the main analytical framework to study the persistence and spread of biological organisms since
the early work of Skellam [169]. One of the most frequent reaction-diusion models is the Fisher-
Kolmogorov-Petrovsky-Piskunov (FKPP) [72, 112] equation, which was rst intended to describe the
propagation of advantageous genes inside a population. However, this equation does not take the
Allee eect into account. Thus, in FKPP models, the persistence of the population does not depend
at all on the characteristics of the initial population, even in heterogeneous environments [22, 24, 26].
74
3.2. Materials and methods
As a consequence, most studies that use FKPP-like models focus on the eects of environmental
characteristics on persistence and spread [24, 45, 103] rather than on the eect of the initial condition.
In contrast, we assume in this work that the underlying environment is homogeneous to isolate the
eects of the characteristics of the initial population.
In the dierential equations framework, the spatially homogeneous equation N = f (N ), with
f (N ) 0 for N below some threshold , is a very simple example of a model involving an Allee
eect. In this case, the dependence on the initial condition is obvious. In reaction-diusion models,
the Allee eect is typically modeled through bistable nonlinear terms [69, 175]. The dependence of the
behavior of such models on initial conditions was rst investigated by Aronson and Weinberger [10]
and Fife and McLeod [71], and then by Zlatos [195] and Du and Matano [58] for one-dimensional
models. In particular, for one-parameter families of initial conditions u0 (L) that are strictly monotone
with respect to the parameter L, it is shown in [58] that there is a unique critical threshold L = L
between extinction and propagation (see Section 3.3 for more details).
In this chapter, the eect of the spatial structure of the founding population u0 (i.e., the initial
condition in the model) is investigated for one-dimensional (1D) and two-dimensional (2D) models
presented in Section 2.1. In both 1D and 2D cases, the initial conditions that we consider are binary
functions which can only take the values 0 (absence of the species) and 1 (presence of the species).
Because of their simple nature, these initial conditions are completely determined by their support,
i.e., the regions where the species is present at t = 0. This allows us to focus on the eect of the
geometrical properties of the support, namely its size and its fragmentation rate, on the outcome of
the invasion. In the 1D case, to derive analytical computations, we consider a simple class of initial
conditions which include the initial conditions which have been considered by Zlatos [195]. Their
support is made of two intervals of the same length L/2, separated by a distance , as described in
Section 2.1. This distance is understood as a measure of the rate of fragmentation of u0 . In the 2D
case, we consider more general, stochastically generated initial conditions, and we give a new rigorous
denition of the rate of fragmentation in Section 2.2. Results are provided in Section 3.3. In the 1D
case, the eects of fragmentation on the success of establishment and spread are investigated through
analytical and numerical computations. In the 2D case, we carry out a statistical analysis of the
probability of successful establishment, depending on the size of the support and the fragmentation
rate of the initial condition.
Throughout this chapter, we assume that the population density u(t, x) is driven by the following
reaction-diusion equation :
(
ut = D u + f (u), for t > 0 and x Rn ,
(3.1)
u(0, x) = u0 (x), for x Rn ,
75
Chapitre 3. Eect of the spatial distribution of the founding population on establishment
In addition, we assume that the function f takes a strong Allee eect into account :
There exists (0, 1) such that f < 0 in (0, ) and f > 0 in (, 1). (3.3)
This hypothesis means that the growth rate f (u) is negative at low densities, which corresponds to
a strong Allee eect. The parameter corresponds to the so-called Allee threshold", below which
the growth rate becomes negative. It therefore measures the strength of the Allee eect. Under these
assumptions, the solution to (3.1) may have several behaviors, depending on f and the initial density
at t = 0. To provide a biological interpretation of these possible behaviors, we make the following
denitions :
Definition 3 (Founding population). The founding population corresponds to the initial population
at t = 0 : u0 (x) = u(0, x) [0, 1] for x Rn , which is assumed to be compactly supported.
Definition 4 (Successful establishment). We say that the establishment is successful if u(t, x) converges
to a positive stationary state as t .
Definition 5 (Successful invasion). We say that the invasion is successful if u(t, x) converges to the
stationary state 1 as t .
Definition 6 (Establishment failure). We say that the establishment phase has failed if u(t, x) converges
to the stationary state 0 uniformly in x as t .
Remark 5. Note that successful establishment without successful invasion is possible but rare (see
Section 3.1). In the 1D case, when the invasion is successful in the sense of Def. 5, then
min u(t, x) 1 as t
for each 0 c < c0 ,
|x|ct
max u(t, x) 0 as t
for each c > c0 .
|x|c t
Note that c0 > 0 is the unique speed of the traveling front (x c0 t) connecting 0 to 1 at + and
respectively [10].
For real populations, successful establishment without invasion can occur [several examples are given
in 50, 51]. This corresponds to steady state populations with nite range. The existence of such steady
states can be a consequence of environmental heterogeneity [e.g. the location of the species bioclimatic
envelop, see Section 3.2 in 86]. In such heterogeneous environments, even when the population can
adapt to its local conditions, gene ow can cause maladaptation of the peripheral groups and lead to
nite range populations [108].
Depending on the founding population u0 , establishment failure or establishment success can occur.
To study this dependence, we consider particular types of initial binary conditions, namely u0 = 1 or
0 almost everywhere. Note that support may vary in size and shape ; we focus in particular on the
fragmentation of this support.
76
3.2. Materials and methods
u0 (x)
L/2 L/2
1
/2 /2
Note that for any set J R, J is the characteristic function of J, that is, J (x) = 1 if x J and
J (x) = 0 otherwise.
This corresponds to an initial population density, whose support is split into two equal parts of
length L/2 > 0 separated by a distance (see Fig. 3.1). Problem (3.1) with aggregated" initial
conditions (i.e., with u0 = [L/2,L/2] , that is, = 0) has been investigated by several authors
[102, 195].
Remark 6. The problem (3.1), with n = 1 and initial condition (3.4), is equivalent to the Neumann
problem.
ut = D uxx + f (u) for t > 0 and x 0,
ux (t, 0) = 0 for t > 0, (3.5)
u(0, x) =
(/2,/2+L/2] (x) for x 0.
Indeed, if u solves (3.1), (3.4), then u(t, x) also solves (3.1), (3.4). By uniqueness, we obtain that
u(t, x) = u(t, x) for all t > 0 and x R. Thus, u also satises (3.5). Conversely, by uniqueness
of the solution of (3.5) and by extending it by symmetry on (, 0], we obtain equivalence between
(3.1), (3.4) and (3.5).
2.2 The two-dimensional case, the notion of abundance and the measure of fragmentation
The eect of the spatial distribution of the founding population can also be assessed in the two-
dimensional case n = 2 through the numerical investigation of the behavior of the model solution (3.1)
over a large number of stochastically generated initial conditions.
As in the 1D case, we assume the initial conditions u0 to be binary functions, where
To build samples of functions u0 with various spatial distributions, we used a model developed by
Roques and Stoica [159] and inspired by statistical physics. In this model, the square C is divided
into nC closed equi-measurable subsquares Ci , with interiors being pairwise disjoint. The obtained
functions u0 satisfy :
77
Chapitre 3. Eect of the spatial distribution of the founding population on establishment
Ci
Ci
Figure 3.2 The four-neighborhood system : an element Ci of C and its four neighbors.
As key properties, this stochastic model allows exact control over the population abundance level
Z
1
p(u0 ) = u0 (x, y) dxdy,
|C| C
and leads to congurations with dierent levels of fragmentation. The notion of fragmentation is
dened as follows.
The lattice made of cells Ci is equipped with a four-neighborhood system V (Ci ) (Fig. 3.2). For
each function u0 , constant on the subsquares Ci , we dene
1 X X
s(u0 ) = 1{u0 (Cj ) = u0 (Ci ) = 1},
2 C C C V (C )
i j i
the number of pairs of neighbors (Ci , Cj ) such that u0 takes the value 1 on Ci and Cj . Then 1{}
denotes the indicator function, namely, 1{P } = 1 if property P is satised and 0, otherwise. As already
observed in the literature [153, 154, 159], the value s(u0 ) is directly linked to fragmentation. Assuming
abundance p(u0 ) is xed, the higher s(u0 ) is, the more aggregated the region {u0 = 1} is.
We dene pattern fragmentation by comparing the value of s(u0 ) with the maximum possible value
of the index s among functions with a given abundance p. This maximum value B[p] can be computed
explicitly as an immediate consequence of the results of Harary and Harborth [90] on polyominoes.
Lemma 8 (Harary and Harborth [90]). Choose p [0, 1] such that p nC N and
We have
B[p] := max s(u0 ) = 2n+ 2 n+ ,
u0 U0
where n+ = p nC and 2 n+ is the smallest integer that is greater than or equal to 2 n+ .
Then, we set
s(u0 )
f r(u0 ) = 1 . (3.9)
B[p(u0 )]
The index f r belongs to [0, 1]. Whatever the abundance p is, the most aggregated congurations (in
the sense s(u0 ) = B[p]) verify f r(u0 ) = 0, whereas the most fragmented congurations (in the sense
s(u0 ) = 0) verify f r(u0 ) = 1. In the sequel, f r(u0 ) is referred to as the fragmentation rate of u0 .
Samples of functions u0 obtained with the model from [159] with various values of f r(u0 ) and p(u0 )
are shown in Fig. 3.3.
Remark 7. There exist several ways of generating binary patterns. The most common are neutral
models, originally introduced by Gardner et al. [78]. They can include parameters that regulate frag-
mentation [104]. The model that we use here is also a neutral model in the sense that it is a stochastic
78
3.3. Results
30 30 30
0 0 0
30 0 30 30 0 30 30 0 30
30 30 30
0 0 0
30 0 30 30 0 30 30 0 30
Figure 3.3 Initial conditions u0 in the two-dimensional case : examples of patterns with dierent
abundance and fragmentation rates. Note that C = [30, 30] [30, 30] and nC = 3600.
model of pattern generation. The abundance p and the number of pairs s are controlled during the pro-
cess of pattern generation ; this allows for good sampling over the parameter space (f r, p) [0, 1][0, 1]
(see Fig. 3.5).
3.3 Results
In this section, we present analytical and numerical results on the eect of the spatial distribution
of the founding population u0 on the outcome of the invasion modeled by equation (3.4).
We rst mention some results in [58] that prove the existence of a threshold value for the size of
the support of u0 such that establishment fails (i.e., u(t, x) 0 as t ) if and only if the size of
the support is below this threshold, and invasion is successful (i.e., u(t, x) 1 as t ) if and only
if the size of the support is above this threshold. The symmetry of the problem (3.1), (3.4) together
with the uniqueness of its solution imply that the solution is symmetrical with respect to {x = 0} for
all t 0.
Theorem 3 (case = 0 : Zlat os [195], case 0 : Du and Matano [58]). Let 0. Assume that f
satises (3.2-3.3). Then, there exists L () > 0 such that :
i For any L < L (), the solution to (3.1), (3.4) converges to 0 as t , uniformly in R.
ii For any L > L (), the solution to (3.1), (3.4) converges to 1 as t , uniformly on compacts.
iii If L = L (), the solution to (3.1), (3.4) converges to a positive stationary
( uniformly in R )
solution u
Z
as t +, where u u = f (
veries D (0) = 1 := sup (0, 1) such that
u), u f (s)ds 0
0
79
Chapitre 3. Eect of the spatial distribution of the founding population on establishment
(0) = 0. Moreover, u
and u is symmetrically decreasing, i.e., u
(x) = u (x) < 0 for all
(x) and u
x > 0.
The next result analyzes the eect of fragmentation by studying the dependence of the threshold
value L () with respect to the size () of the gap between the two components of the support of u0 .
L () 2L (0) as . (3.10)
This result highlights the global detrimental eect of fragmentation on the success of establishment
and invasion. Indeed, when the gap between the two components of the support of u0 is large, the
minimal viable size L () of support of the founding population tends to become twice as large as if the
individuals were gathered in a single group. However, the strict sign in the inequality L () < 2 L (0)
shows that, whatever the distance separating the two groups, there is at least some cooperation
between them. Moreover, the result of Theorem 4 implies that the amplitude of variation of the
threshold L () is at least equal to L (0). Thus, the spatial structure of the support of the founding
population u0 plays an important role on invasion success. The proof of Theorem 4 is presented in
Appendix 5.1.
In the next section, we use numerical computations to study whether there is an increasing rela-
tionship between L () and the distance .
We carried out numerical computations in one- and two-dimensional space. We refer to Appen-
dix 5.2 for some details on the numerical method that was used for solving equation (3.1). In these
numerical computations, the function f in (3.1) was assumed to be of the following cubical form :
s s
f (s) = rs 1 ,
K K
with (0, K/2). Such a growth function is a typical example of a reaction term involving an
Allee eect [105, 118, 158]. Without loss of generality, with the substitutions v(t, x) = u(t, x)/K and
p
w(t, x) = v(t/r, x D/r) into equation (3.1), we can assume that K = r = D = 1 and (0, 1/2).
Thus,
f (s) = s(1 s)(s ). (3.11)
Z 1
Since (0, 1/2), the quantity f (s)ds is positive. The function f dened by (3.11) therefore fulls
0
the assumptions (3.2-3.3).
The aim of this section is (i) to study the relationship between the minimum viable population size
L () and the distance and (ii) to study the eect of the Allee threshold on the above relationship.
The value of L (), as dened in Theorem 3, has been computed for [0, 16] and several values of
the parameter .
The results of these computations are depicted in Fig. 3.4. As expected from Theorem 4, L ()
2 L (0) for large values of : for each value of , L () is very close to 2 L (0) when = 16.
80
3.3. Results
This justies the choice of the study interval [0, 16]. Moreover, Fig. 3.4 shows an increasing trend
between the threshold L () and , at least when is not too small. This increasing relationship means
that the more fragmented the founding population is, the larger it needs to be for the invasion to be
successful. Additionally, the dependence between L () and is nonlinear ; the curves corresponding
to L () have a steeper slope for intermediate values of .
However, we observe that for small values of , L () slightly decreases with . This phenomenon
can be clearly seen on Fig. 3.4 for 0.4; the numerical simulations indicate that it is also true for
smaller values of . In particular, L () can reach values smaller than L (0). Roughly speaking, this
means that when is very small, the gap between /2 and /2 is lled by diusion at a time (of the
order 2 ) which is much smaller than the time it takes for the interfaces at the positions (/2 + L/2)
and (/2 + L/2) to move.
12 = 0.45
10
= 0.4
8
= 0.35
L ()
6
= 0.3
= 0.25
4
= 0.2
= 0.15
2 = 0.1
0
0 2 4 6 8 10 12 14 16
Figure 3.4 Value of the critical threshold L () in terms of the distance and the Allee threshold
. For each value of , the dotted line corresponds to the associated value of 2 L (0).
Regarding the eect of , we observe that L () tends to increase with . This is an obvious
consequence of the parabolic maximum principle ; for any 0, L > 0 and (0, 1/2), let us denote
the solution to (3.1), (3.4) by uL,
(t, x), where f is dened by (3.11). We thus have the following
lemma :
uL, L,
1 (t, x) u2 (t, x) for all t 0, x R.
The proof of this lemma is given in Appendix 5.1. According to the denition of L (), L ()
is an increasing function of . In particular, L (0) is an increasing function of . Thus, the result of
Theorem 4 together with the monotonic trend between and L () imply that the amplitude of the
variation of the critical size L () (that is, the quantity sup L () inf L ()) tends to increase
as increases. In other words, the eect of fragmentation tends to increase with the strength of the
Allee eect.
81
Chapitre 3. Eect of the spatial distribution of the founding population on establishment
The aim of this section is to study the eect of spatial fragmentation of the founding populations
support in more realistic scenarios than those studied in the 1D case.
The model (3.1), with the function f dened by (3.11), was solved using stochastically generated
initial conditions u0 that satisfy the conditions (3.6)-(3.8), as described in Section 2.2. Those conditions
u0 are characterized by two indices, namely, an abundance index p(u0 ) [0, 1] and a fragmentation
rate f r(u0 ) [0, 1]. For our computations, we assumed that the support of the initial conditions was
included in the set C = [30, 30] [30, 30], which was divided into nC = 60 60 subsquares Ci , on
which the functions u0 are constant.
Using the stochastic model described in Section 2.2, we derived 1.5 104 functions u0,k , k =
1 . . . 1.5 104 , with various abundance indices and fragmentation rates. Then, (3.1) was solved with
each u0 as initial condition. The computations were carried out with several values of the Allee
threshold, including = 0.1, 0.3 and 0.45. Some details on the numerical method which was used to
solve this equation are given in Appendix 5.2.
The results of these computations are presented in Fig. 3.5. Each point in the gure is attached to
a certain behavior of the model, namely, successful establishment or establishment failure. It appears
that for each value of , there are two distinct regions in the parameter space (f r, p), one corresponding
to successful establishment and the other one to establishment failure. These regions are separated by
a narrow interface in which the two behaviors are possible. In this narrow interface, and in the sur-
rounding regions of the parameter space, the proportion of successful establishment cannot be directly
inferred from Fig. 3.5. This proportion corresponds to the probability of successful establishment.
Remark 8. In the region of the parameter space (f r, p) where p > 0.5, establishment was always
successful. Thus, this region is not represented in Fig. 3.5.
0 0 0
0 0.2 0.4 0.6 0.8 1 0 0.2 0.4 0.6 0.8 1 0 0.2 0.4 0.6 0.8 1
fr fr fr
Figure 3.5 Establishment success for the initial conditions u0,k , k = 1 . . . 1.5 104 , in terms of the
fragmentation rate f r(u0,k ) and abundance p(u0,k ), for three values of the Allee threshold . Red
crosses correspond to successful establishment and blue crosses correspond to establishment failure.
To study the probability of successful establishment in terms of the values of f r and p, we dened
a function Y such that Y (u0,k ) = 1 if the initial condition u0,k leads to successful establishment and
Y (u0,k ) = 0, otherwise. We then applied a smoothing regression to the data (f r(u0,k ), p(u0,k ), Y (u0,k )).
More precisely, the data were tted with an algorithm to replace each point with the average of the
closest points surrounding it (i.e., in a rectangular neighborhood of size 0.1 0.05). That is, Y was
82
3.3. Results
Thus, to each point (f r, p) in [0, 1][0, 1] is attached a value of Y (f r, p) which measures the probability
of successful establishment. This function Y (f r, p) is depicted in Fig. 3.6, for = 0.1, 0.3, and 0.45.
An analysis of Fig. 3.6 reveals that for each xed value of p, the probability of successful esta-
blishment decreases with the fragmentation rate f r. Moreover, the interface in which the probability
Y (f r, p) is neither close to 0 nor to 1 is narrow in the parameter space (that is, the region where
Y (f r, p) (0.1, 0.9) occupies approximately 1/40, 1/16, 1/12 of the parameter space [0, 1] [0, 1] for
= 0.1, 0.3 and 0.45, respectively). Thus, the behavior of the solution of (3.1) with an initial condition
u0 satisfying (3.6)-(3.8) is almost completely determined by f r and p.
For each f r [0, 1], let us dene P1/2 (f r) as the minimum abundance such that establishment
is successful with probability 1/2. The yellow curves in Fig. 3.6 correspond to a probability 1/2 of
successful establishment). We observe that for each value of the Allee threshold , P1/2 (1) is much
larger than P1/2 (0). Thus, the minimum required abundance for the establishment to be successful
is much larger for fragmented founding populations as compared to aggregated ones. Furthermore,
the relationship f r 7 P1/2 (f r) is comparable to the dependence 7 L (), which was observed
in the 1D case (Section 2.1). This dependence is highly nonlinear. On the one hand, for aggregated
initial conditions (i.e., with small values of f r(u0 )) as well as very fragmented initial conditions (i.e.,
with values of f r(u0 ) close to 1), this dependence is almost at. On the other hand, for intermediate
values of the fragmentation rate, we observe a sudden increase in P1/2 (f r), especially when = 0.3
and = 0.45. For = 0.3, we have P1/2 (0.6) P1/2 (0.52) = 0.15, and for = 0.45, we have
P1/2 (0.5) P1/2 (0.36) = 0.23. Note that the probability of successful establishment decreases with ,
especially for a fragmented initial condition. This property is the counterpart in the two-dimensional
case of the monotonicity of L () with respect to mentioned in Section 2.1 (see Lemma 9).
0 0 0
0 0.2 0.4 0.6 0.8 1 0 0.2 0.4 0.6 0.8 1 0 0.2 0.4 0.6 0.8 1
fr fr fr
Figure 3.6 Probability of successful establishment measured through Y , in terms of the fragmen-
tation rate f r and the abundance p of the founding population.
83
Chapitre 3. Eect of the spatial distribution of the founding population on establishment
Remark 9. We note in Fig. 3.6 that the minimum abundance P1 (f r) such that establishment
probability
Y (f r, P1 (f r)) is equal to 1 converges to a value close to in the three cases considered here as
f r 1. This is the case for = 0.1 : P1 (1) = 0.11, for = 0.3 : P1 (1) = 0.31 and for = 0.45 :
P1 (1) = 0.47. An explanation of this fact is as follows. Let u be the solution of the following
problem.
u
t = u + f (
u) for t > 0, x C,
satises Neumann conditions on the boundary of C for t > 0,
u (3.13)
u(0, x) = u (x) for x C,
0
with f satisfying (3.2) and (3.3) and u0 satisfying (3.6), (3.8) and f r(u0 ) = 1. We conjecture
that as the number nC of subsquares Ci converges to +, the behavior of u (i.e., convergence
to 0 or to 1 as t ) becomes similar to the behavior Zof a homogenized problem in which
1
u0 is replaced with the constant initial condition u0 = u0 (s)ds = p(u0 ), which in turn is
|C| C
equivalent to the ordinary dierential equation N = f (N ) with initial condition N (0) = p(u0 ).
Thus, in this asymptotic regime, we would obtain u (t, x) 1 in C if and only if p(u0 ) > .
The comparison principle implies that if the problems (3.1) and (3.13) are solved with the same
initial condition u0 , we have u u for t > 0 and x C. As a consequence, we nally obtain
the inequality P1 (1) , for adequately large nC .
Using a formula by [118] we can compute the minimum abundance for successful establishment
when the initial condition is ball-shaped :
1
pB = .
2|C| (1/2 )2
For = 0.1, we get pB = 3 103 , for = 0.3, we have pB = 0.01 and for = 0.45, we obtain
pB = 0.17. We can observe in Fig. 3.6 that these values of pB are not too far from the values
of the minimum abundances P1 (f r) for small values of f r. This is not surprising when f r is
close to 0 since the initial condition consists in a single aggregated group [90].
3.4 Discussion
We have analyzed the role of the spatial distribution of the initial condition in reaction-diusion
models of biological invasions. These models incorporate reaction terms that take the Allee eect into
account.
In many simplied models, the Allee eect is not taken into account. The initial conditions therefore
do not play an important role. This is probably why a number of recent studies have focused on the
eect of environmental heterogeneities rather than on the role of initial conditions. However, the Allee
eect is known to occur in many invasive species. In such cases, the precise shape of the initial (or
founding) population is of crucial importance when predicting successful invasion, as emphasized in
our study.
Our rst result is an analytical result. In the 1D case, we considered schematic examples of founding
populations that were made of two identical groups separated by a distance .
We have shown that the minimum size L () of the support of the founding population for suc-
cessful establishment and invasion is a continuous function of the distance . Moreover, when this
distance becomes large, L () becomes twice as large as if the individuals were assembled in a single
84
3.4. Discussion
group. This result shows that the spatial structure of the founding population indeed has an eect on
the success of an invasion. Moreover, it is a rst indication of the adverse eect of fragmentation. This
adverse eect is conrmed by our numerical simulations. As illustrated in Fig. 3.4, the minimum viable
size L () tends to increase with the distance that separates the two subgroups, at least for not
too small values of . The amplitude of variation of the minimum viable size with respect to (that
is, the quantity sup L () inf L ()) also tends to increase with the strength of the Allee eect
as measured by the Allee threshold . It should nevertheless be noted that for small values of , the
minimum viable size decreases slightly with . Thus, the breaking apart of the founding population
into two subgroups may have a benecial eect on the success of the invasion when these subgroups
are very close to each other. From a mathematical standpoint, the proof of the non-monotonicity of
the function 7 L () is a challenging open problem.
In the 2D case, we considered much more realistic examples of founding populations. Using a
stochastic model of pattern generation, we constructed a large number of initial conditions with
various abundances (measured by the index p [0, 1]) and fragmentation rates. Using a new, rigorous
denition of the fragmentation rate (measured by the index f r [0, 1] ; see eq. (3.9)), we were able to
describe the outcome of an invasion in terms of two attributes of the founding population u0 , namely,
p(u0 ) and f r(u0 ). Interestingly, the outcome of the invasion is indeed almost completely determined
by the values of p(u0 ) and f r(u0 ) ; for each value of the Allee threshold , we obtained two distinct
regions in the parameter space (f r, p). One region corresponds to successful establishment, and the
other one corresponds to establishment failure. The interface between these regions corresponds to a
narrow region in the parameter space (Figs. 3.5 and 3.6). In our computations, we also observed that
the set of initial conditions leading to successful establishment without successful invasion was very
small (see also Remark 5 and Theorem 3 in the 1D case).
The results of Section 2.2 also show that the minimum abundance p required for successful establish-
ment tends to increase with the fragmentation rate f r. As in the 1D case, the eect of fragmentation
is enhanced as the Allee threshold is increased. In addition, the relationship between the minimum
abundance and the fragmentation rate is highly nonlinear and steep, threshold-like. Indeed, there is
threshold value, say f r , where the minimum abundance for successful establishment dramatically
increases. On both sides of this threshold, establishment success is almost independent on f r. On the
one hand, if the rate of fragmentation is higher than f r , then the behavior of the model is close to
the behavior of a homogenized problem (see rst point in Remark 9). On the other hand, if the rate
of fragmentation is lower than f r , the model almost behaves as if the initial condition was replaced
by a single ball-shaped group (see second point in Remark 9). The existence of such a threshold f r
implies that small changes in the fragmentation rate can therefore drastically modify the outcome of
an invasion if f r is close to f r .
Finally, we have shown that the fragmentation of the support of a founding population u0 tends
to have a negative eect on invasion success in a homogeneous environment. We might wonder what
would happen in heterogeneous environments. That is, instead of (3.1), consider the following model
(
ut = D u + f (u) + (x)u, for t > 0 and x Rn ,
u(0, x) = u0 (x), for x Rn .
Note that (x) corresponds to the eect of the environment on the species local growth rate ; this
model has been investigated for n = 1 in [86]. In this case, the negative eect of the fragmentation
of u0 may be compensated by the fact that fragmented supports may have more chances to intersect
85
Chapitre 3. Eect of the spatial distribution of the founding population on establishment
with favorable regions. Thus, we could expect nontrivial intertwined eects between the level of envi-
ronmental heterogeneity and the fragmentation of the initial condition. Other reaction-diusion based
models enable evolution and adaption [108, 143]. In a recent study, [100] have shown that, for species
which can adaptively respond to overcome Allee eects, even small invading populations can survive.
In such cases, fragmentation may also have a dierent eect.
3.5 Appendices
Proof of Theorem 4. For all 0 and L > 0, we denote the solution of (3.1) with the initial
condition (3.4) by uL, (t, x).
with K = kf kL (0,1) .
Let be the solution to the linear equation t = D xx + K with the initial condition (0, x) =
w(0, x). Then (t , 0) 0 as . Thus, for adequately large , (t , 0) < /4. Since x 7 (t , x)
is decreasing in [0, ), we obtain :
86
3.5. Appendices
Let us now check that for all 0, L () < 2 L (0). Let 0 be xed. For all L > 0, we have
uL, (0, ) uL/2,0 (0, /2 L/4). Thus, the parabolic maximum principle leads to
Theorem 3 (i) thus implies that L () 2 L (0). Assume that L () = 2 L (0). Then, from Theorem
3 (iii), we know that u2 L (0), converges to u
, uniformly in R as t +. Using inequality (3.18), we
obtain
(x /2 L (0)/2) for all x R.
(x) u
u
(/2 + L (0)/2) u
In particular, we get u (0) which is impossible since u
is symmetrically decreasing.
Thus, we nally obtain
L () < 2 L (0), (3.19)
Step (i). We rst show that the function 7 L () is right upper semicontinuous on [0, +). Let
0, and set L+ = lim sup+ L (). We deduce from (3.19) and (3.20) that L+ [L (), 2 L (0)].
Assume now that L+ > L () and set
= L + L () .
+
L
2
From the denition of L+ we know that there exists a decreasing sequence (n )n0 such that n
for all n 0, n and L (n ) L+ as n . Since L+ > L,
(, + L) there exists N 0 such
Then, from Theorem 3 Part (i), for all n N, we have
that for all n N, L (n ) > L.
uL,n (t, ) 0 uniformly in R as t , (3.21)
87
Chapitre 3. Eect of the spatial distribution of the founding population on establishment
(n ) < L.
since 0 < L Then, dene the family ( )0 as follows
(
u,L+ (0, ),
for [0, L),
() =
u, (0, ),
for L.
This is a monotone increasing family in the sense of Theorem 1.3 in [58]. Since L > L (), it follows
from Theorem 3 Part (ii) that the solution uL, of (3.1) with initial condition L veries uL, 1
uniformly on compacts as t . Besides, we know from (3.22) that the solution uL(N ),N of
(3.1) with initial condition L(
converges to 0 uniformly in R as t . Since L( N ) < L,
N )
it follows then from Theorem 1.3 in [58] that there exists (L
(N ), L)
such that for all > ,
the solution of (3.1) with initial condition converges to 1 uniformly on compacts as t . Thus,
for any N1 > N such that L (N ) > , the solution of (3.1) with initial condition
1 L(N )
1
converges to 1 uniformly on compacts as t . This means that uL(N1 ),N1 1 uniformly on
compacts as t and contradicts (3.22). Thus, we have shown that L+ = L (). This means that
the function 7 L () is right upper semicontinuous on [0, +). As it is already known to be right
lower semicontinuous, it is then right-continuous.
Step (ii). We show that the function 7 L () is left lower semicontinuous in (0, +). Let
> 0, and set L = lim inf L (). The inequality (3.20) implies that L [0, L ()]. Assume
by contradiction that L < L () and set
= L + L () .
L
2
Let (n )n0 be a positive and increasing sequence such that n and L (n ) L as n .
Since L < L, there exists N 0 such that for all n N, L (n ) < L
and therefore, from Theorem
3 Part (ii), uL,n (t, ) 1 uniformly on compacts as t . As a consequence, we also have, for all
n N,
uL+n ,n (t, ) 1 uniformly on compacts as t , (3.23)
<L
since 0 < L + n . Let us dene the family ( )0 by
(
u,L+ (0, ), + ),
for [0, L
() =
u,0 (0, ), for L + .
The family ( )0 is monotone increasing. Furthermore, since L < L (), the solution uL,
of (3.1)
with initial condition L converges to 0 uniformly in R as t . Conversely, we know (see eq. (3.23))
that the solution uL+N ,N of (3.1) with initial condition L+
N
converges to 1 uniformly on
compacts as t . Thus, using again the result of Theorem 1.3 in [58], we obtain the existence of
(L,
L the solution of (3.1) with initial condition converges
+ N ) such that, for all < ,
to 0 as t . Let N1 N be such that L + N < . The above result implies that the solution
1
88
3.5. Appendices
Proof of Lemma 9. For any 0, L > 0 and (0, 1/2), we denote the solution of (3.1), (3.4) by
uL, L,
(t, x), where f is dened by (3.11). Since f (0) = f (1) = 0 and u (0, x) [0, 1], it follows from
the parabolic maximum principle that uL, (t, x) [0, 1] for all t 0 and x R.
Let 0 < 1 2 < 1/2. Then, for all s [0, 1], s(1 s)(s 1 ) s(1 s)(s 2 ). Since
u2 (t, x) [0, 1] for all t 0 and x R, uL,
L, L,
2 is a subsolution of the equation satised by u1 . It
follows from the parabolic maximum principle that uL, L,
1 u2 .
The equation (with n = 1 and n = 2) was solved using Comsol Multiphysicsr time-dependent
solver, using second order nite element method (FEM). This solver uses a so-called lines approach
method incorporating variable-order variable-stepsize backward dierentiation formulas. Nonlinearity
are treated using a Newtons method.
In the 1D case, for the numerical computation of L (), we used a so-called large" time (t = 50).
The solution of (3.1) was estimated by solving the problem on the bounded interval = (100, 100)
with Dirichlet boundary conditions. In the 2D case, we estimated the solution of (3.1) by solving the
problem on a bounded domain = (100, 100) (100, 100) with Dirichlet boundary conditions.
In both 1D and 2D cases, the outcome of the invasion was measured at t = 50 : the establishment
stage was considered to be successful if and only if min u(50, x) > , where is the Allee threshold
x
dened in (3.3). Note that this denition can lead to overestimate the success rate of the establishment
stage if the time required for the population density to be uniformly below is larger than 50. However,
in most cases except when was very close to 1/2, we observed that the outcome of the establishment
stage was already clear at t = 50.
Acknowledgements
The authors are supported by the French Agence Nationale de la Recherche" within the pro-
jects ColonSGS, PREFERED and URTICLIM. The third author is also indebted to the Alexander
von Humboldt Foundation for its support.
89
Chapitre 3. Eect of the spatial distribution of the founding population on establishment
90
Troisime partie
91
Chapitre 4
Sommaire
4.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
1.1 Hypotheses . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
1.2 Denitions of the spreading speeds and earlier works . . . . . . . . . . . . 94
4.2 Statement of the results . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
2.1 Slowly increasing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
2.2 Rapidly increasing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
2.3 Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
4.3 The two values case . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
3.1 Maximal speed : proof of parts 1 and 3 of Proposition 4 . . . . . . . . . . 99
3.2 Minimal speed : proof of parts 2 and 4 of Proposition 4 . . . . . . . . . . . 100
4.4 The continuous case . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
4.1 Proof of part 1 of Theorem . . . . . . . . . . . . . . . . . . . . . . . . . . 101
4.2 Proof of part 2 of Theorem . . . . . . . . . . . . . . . . . . . . . . . . . . 102
4.5 The unique spreading speed case . . . . . . . . . . . . . . . . . . . . . . 103
5.1 Construction of the approximated eigenfunctions . . . . . . . . . . . . . . 103
5.2 Upper bound for the spreading speed . . . . . . . . . . . . . . . . . . . . . 105
5.3 Lower bound on the spreading speed . . . . . . . . . . . . . . . . . . . . . 107
93
Chapitre 4. On the uniqueness of the spreading speed in heterogeneous media
This work was partially supported by the French ANR project Prefered.
4.1 Introduction
1.1 Hypotheses
f (x, 0) = 0, f (x, 1) 0, (x) > 0 and f (x, u) (x)u for all (x, u) R (0, 1).
A typical f which satises these hypotheses is f (x, u) = (x)u(1 u), where is a continuous, positive
and bounded function.
The very specic hypothesis we make on f in this chapter is the following : there exist 0 C 0 (R)
and C 1 (R) such that
(x) = 0 ((x)) for all x R,
0 < min 0 < max 0 and 0 is 1-periodic, (4.2)
[0,1] [0,1]
(x) > 0, lim (x) = + and lim (x) = 0.
x+ x+
That is, our reaction-diusion equation is strictly heterogeneous (it is not even almost periodic
or ergodic), which means that it can provide useful information on both eciency of recently develo-
ped tools and properties of the general heterogeneous problem. But it also satises some periodicity
properties with a growing period near +. We aim to look at the inuence of the varying period
L(x) := x/(x) on the propagation of the solutions.
Note that we do not assume here that there exists a positive stationary solution of (4.1). We
require several assumptions that involve the linearization of f near u = 0 but our only assumption
which is related to the behavior of f = f (x, u) with respect to u > 0 is that f (x, 1) 0, that is, 1
is a supersolution of (4.1) (it is clear that, up to some change of variables, 1 could be replaced by
any positive constant in this inequality). It is possible to prove that there exists a minimal and stable
positive stationary solution of (4.1) by using this hypothesis and the fact that 0 is positive [20], but
we will not discuss this problem since this is not the main topic of this chapter.
For any compactly supported initial condition u0 with 0 u0 1 and u0 6 0, we dene the
minimal and maximal spreading speeds as :
94
4.1. Introduction
Note that it is clear, from the strong maximum principle, that for any t > 0 and x R, one has
0 < u(t, x) < 1. One can also easily derive from the homogeneous case [10] that
p
2 min 0 w w 2 max 0 .
The reader could also remark that we just require lim inf t+ u(t, x + ct) > 0 in the denition of
w . This is because we did not assume the existence of a positive stationary solution. Hence, we just
require u to take o from the unstable steady state 0.
The aim of this chapter is to determine if some of these inequalities are indeed equalities.
The rst result on spreading speeds is due to Aronson and Weinberger [10]. They proved that
p
w = w = 2 f (0) in the case where f does not depend on x. More generally, even if f does not
satisfy f (u) f (0)u for all u [0, 1], then w = w is the minimal speed of existence of traveling
fronts [10]. However, because of the numerous applications in various elds of natural sciences, the
role of heterogeneity has become an important topic in the mathematical analysis.
When f is periodic in x, Freidlin and Gartner [74] and Freidlin [73] proved that w = w using
probabilistic techniques. In this case, the spreading speed is characterized using periodic principal
eigenvalues. Namely, assume that f is 1-periodic in x, set 0 (x) := fu (x, 0) and dene for all p R
the elliptic operator
Lp := 2p + (p2 + 0 (x)). (4.3)
It is known from the Krein-Rutman theory that this operator admits a unique periodic principal
eigenvalue p (0 ), dened by the existence of a positive 1-periodic function p C 2 (R) so that
Lp p = p (0 )p . The characterization of the spreading speed [74] reads
p (0 )
w = w = min . (4.4)
p>0 p
Such a formula is very useful to investigate the dependence between the spreading speed and the
growth rate 0 . Several alternative proofs of this characterization, based on dierent techniques, have
been given in [22, 186]. The spreading speed w = w has also been identied later as the minimal
speed of existence of pulsating traveling fronts, which is the appropriate generalization of the notion of
traveling fronts to periodic media [19]. Let us mention, without getting into details, that the equality
w = w and the characterization (4.4) have been extended when the heterogeneity is transverse [125],
space-time periodic or compactly supported [22], or random stationary ergodic [74, 140]. In this last
case one has to use Lyapounov exponents instead of principal eigenvalues.
In all these cases (except in the random one), the operator Lp is compact and thus principal
eigenvalues are well-dened. When the dependence of f with respect to x is more general, then classical
principal eigenvalues are not always dened, which makes the computation of the spreading speeds
much more dicult. Moreover, in general heterogeneous media, it may happen that w < w . No
example of such phenomenon has been given in space heterogeneous media, but there exist examples
in time heterogeneous media [28] or when the initial datum is not compactly supported [87].
Spreading properties in general heterogeneous media have recently been investigated by Berestycki,
Hamel and the third author in [22]. These authors claried the links between the dierent notions
of spreading speeds and gave some estimates on the spreading speeds. More recently, Berestycki and
the third author gave sharper bounds using the notion of generalized principal eigenvalues [28]. These
estimates are optimal when the nonlinearity is periodic, almost periodic or random stationary ergodic.
95
Chapitre 4. On the uniqueness of the spreading speed in heterogeneous media
In these cases, one gets w = w and this spreading speed can be characterized through a formula which
is similar to (4.4), involving generalized principal eigenvalues instead of periodic principal eigenvalues.
Before enouncing our results, let us rst roughly describe the situation. As (x) 0 as x +,
the function is sublinear at innity and thus (x) = 0 ((x)) stays near its extremal values max 0
or min 0 on larger and larger intervals. If these intervals are suciently large, that is, if increases
suciently slowly, the solution u of (4.1) should propagate alternately at speeds close to 2 max 0
and 2 min 0 . Hence, we expect in such a case that w = 2 max 0 and w = 2 min 0 .
On the other hand, if one writes (x) = x/L(x), then the reaction-term locally looks like an L(x)-
periodic function. Since L(x) +, as clearly follows from the fact that (x) 0 as x +,
one might expect to nd a link between the spreading speeds and the limit of the spreading speed wL
associated with the L-periodic growth rate L (x) := 0 (x/L) when L +. This limit has recently
been computed by Hamel, Roques and the third author [89]. As L is periodic, wL is characterized
by (4.4) and one can compute the limit of wL by computing the limit of p (L ) for all p. This is how
the authors of [89] proved that
k
lim wL = min , (4.5)
L+ kM j(k)
where M := maxxR 0 (x) > 0 and j : [M, +) [j(M ), +) is dened for all k M by
Z 1q
j(k) := k 0 (x)dx. (4.6)
0
If increases rapidly, that is, the period L(x) increases slowly, then we expect to recover this type of
behavior. More precisely, we expect that w = w = minkM k/j(k).
We are now in position to state our results.
We rst consider the case when converges very slowly to + as x +. As expected, we prove
in this case that w < w .
1
Theorem . (i) Assume that + as x +. Then
x (x)
p
w = 2 min 0 < w = 2 max 0 .
1
(ii) Assume that C as x +. If C is large enough (depending on 0 ), then
x (x)
w < w .
This is the rst example, as far as we know, of a space heterogeneous nonlinearity f (x, u) for which
the spreading speeds w and w associated with compactly supported initial data are not equal.
In order to prove this Theorem, we will rst consider the particular case when 0 is discontinuous
and only takes two values (see Proposition 4 below). In this case, we are able to construct sub- and
super-solutions on each interval where is constant, and to conclude under some hypotheses on the
length of those intervals. Then, in the general continuous case, our hypotheses on (x (x))1 allow us
to bound from below and above by some two values functions, and our results then follow from the
preliminary case.
96
4.2. Statement of the results
Remark . Note that such a two values case is not continuous, so that our Theorem holds under more
general hypotheses. In fact, one would only need that 0 is continuous on two points such that 0 attains
its maximum and minimum there, so that, from the asymptotics of (x), the function (x) = 0 ((x))
will be close to its maximum and minimum on very large intervals as x +.
We remind the reader that M := maxxR 0 (x) > 0 and j : [M, +) [j(M ), +) is dened by
(4.6). We expect to characterize the spreading speeds w and w using these quantities, as in [89].
Note that j(M ) > 0 since min 0 < M . The function j is clearly a bijection and thus one can
dene
j 1 () k
w := min = min . (4.7)
j(M ) kM j(k)
C > 0, > 0 such that f (x, u) fu (x, 0)u Cu1+ for all (x, u) R (0, +). (4.8)
one has
w = w = w .
Note that (4.9) implies (x (x))1 0 as x +. Hence, this result is somehow complementary
to Theorem . However, this is not optimal as this does not cover all cases. An interesting and open
question would be to rene those results to get more precise necessary and sucient conditions for
the equality w = w to be satised. This could provide some insight on the general heterogeneous
case, where the establishment of such criteria is an important issue.
This result will mainly be derived from Theorem 2.1 of [28]. We rst construct some appropriate
test-functions using the asymptotic problem associated with L (x) = 0 (x/L) as L +. This
will enable us to compute the generalized principal eigenvalues and the computation of the spreading
speeds will follow from Theorem 2.1 in [28].
2.3 Examples
We end the statement of our results with some examples which illustrate the dierent possible
behaviors.
Example 1 : (x) = (ln x) , with , > 0. This function clearly satises the hypotheses in (4.2).
If (0, 1), one has 1/(x (x)) = (ln x)1 /() + as x +. Hence, the assumptions
of case 1 in Theorem are satised and one has w = 2 min 0 and w = 2 max 0 .
If = 1, then x (x) = for all x and thus we are in the framework of case 2 in Theorem ,
which means that we can conclude that w < w provided that is small enough.
Lastly, if > 1, then straightforward computations give
1
(x)/ (x)2 (ln x)1 0 as x +,
97
Chapitre 4. On the uniqueness of the spreading speed in heterogeneous media
2
(x)/ (x)2
(ln x)1 0 as x +.
x
Hence, the assumptions of Theorem are satised and there exists a unique spreading speed :
w = w = w .
Example 2 : (x) = x , (0, 1). This function clearly satises the hypotheses in (4.2) since
(1)(2)
< 1. One has (x)/ (x)2 = 1
x 0 and (x)/ (x) =
2
x1+
0 as x +. Thus, the
assumptions of Theorem are satised and w = w = w .
Example 3 : (x) = x/(ln x) , > 0. This function satises (4.2) and one has
1
(x) = ,
(ln x) (ln x)+1
( + 1)
(x) = 1+
+ ,
x(ln x) x(ln x)+2
( + 1)( + 2)
(x) = .
x2 (ln x)1+ x2 (ln x)+3
It follows that (x)/ (x)2 0 and (x)/ (x)2 0 as x + since the terms in x will decrease
faster than the terms in ln x. Thus, the assumptions of Theorem are satised and w = w = w .
Organization of the chapter : Theorem will be proved in Section 4.4. As a rst step to prove
this Theorem, we will investigate in Section 4.3 the case where 0 is not continuous anymore but only
takes two values + and . Lastly, Section 4.5 is dedicated to the proof of Theorem .
Acknowledgements : The authors would like to thank Franois Hamel and Lionel Roques for having
drawn their attention to the problems investigated in this chapter. The article associated with this
chapter was completed while the third author was visiting the Department of mathematical sciences
of Bath whose hospitality is gratefully acknowledged.
We assume rst that is discontinuous and only takes two distinct values , + (0, +).
Moreover, we assume that there exist two increasing sequences (xn )n and (yn )n such that xn+1
yn xn for all n, limn+ xn = + and
+ if x (xn , yn ),
(x) = (4.10)
if x (y , x
n n+1 ).
Proposition 4. We have :
(i) If yn /xn +, then w = 2 + .
(ii) If xn+1 /yn +, then w = 2 .
K
(iii) If yn /xn K > 1, then w 2 + p .
(K 1) + + /
p
K + + /
(iv) If xn+1 /yn K > 1, then w 2 p .
K + /+
It is clear in part 3 (resp. 4) of Proposition 4 that the lower bound on w (resp. upper bound on
w ) goes to 2 + (resp. 2 ) as K +. Hence, for K large enough, we get the wanted result
w < w .
98
4.3. The two values case
xx v + cx v + f (x + ct, v) 0.
Hence, w(t, x) := v(x ct) is a subsolution of (4.1). Without loss of generality, we can assume that
u(1, x) w(1, x), thus for any t 1, u(t, x) w(t, x). That is, for any speed c < 2 , we have
bounded u from below by a subsolution of (4.1) with speed c. In particular,
xn + R
let tn := , then u(tn , x) w(tn , x) for all x R,
c
which is positive on a ball of radius R around xn + R.
2. Take an arbitrary c < 2 + and let R a solution of the principal eigenvalue problem (4.11) with
c x
R such that R < + c2 /4. As above, there exists v(x) = e 2 R (x) compactly supported
such that
xx v + c x v + f (x + xn + R + c t, v) 0, (4.12)
as long as v = 0 where fu (x + xn + R + c t, 0) 6= + , that is
(R + xn + R + c t, R + xn + R + c t) (xn , yn ),
c (xctn )
e 2 R (x ctn ) = w(t
n , x),
99
Chapitre 4. On the uniqueness of the spreading speed in heterogeneous media
since ctn = xn + R by denition. Moreover, u(tn , x) w(tn , x) for all x R. The parabolic maximum
principle thus gives
yn xn R R
u(tn + t, x) w(t
n + t, x) for all t 0, and x R.
c
Since the construction of v did not depend on n, the above inequality holds independently of n, which
implies that :
y n xn R R
inf u tn + , yn R > 0.
n c
If yn /xn +, we have
yn R yn R
yn xn RR
= xn yn xn RR
c as n +.
tn + c c + c
It follows that w c for any c < 2 + . The proof of part 1 of Proposition 4 is completed.
If yn /xn K, we have
yn R K
yn xn RR
1
as n +.
tn + c c + K1
c
As this is true for any c < 2 + and c < 2 , this concludes the proof of part 3 of Proposition 4.
is a supersolution of equation (4.1) going at the speed 2 + , for any > 0. Since u0 is compactly
supported, we can choose such that v(0, ) u0 in R. Thus, for any t 0 and x R, u(t, x) v(t, x).
In particular, the inequality holds for t = tn the smallest time such that v(t, yn ) = 1. Note that
tn = yn /(2 + ) + C where C is a constant independent of n. Then for all x R,
u(tn , yn + x) v(tn , yn + x) = min 1, e+ x .
We now look for a supersolution moving with speed 2 locally in time around tn . Let us dene
w(tn + t, yn + x) := min v(tn + t, yn + x), e (x2 t)
where = . Note that < + , thus u(tn , yn + x) v(tn , yn + x) = w(tn , yn + x).
We now check that w is indeed a supersolution of equation (4.1). We already know that v is a
supersolution and it can easily be seen as above from the KPP hypothesis that (t, x) 7 e (x2 t) is
a supersolution only where fu (, 0) = . Thus, we want the inequality v(tn +t, yn +x) e (x2 t)
100
4.4. The continuous case
to be satised if yn + x 6 (yn , xn+1 ). Recall that v(tn + t, yn + x) = min 1, e+ (x2 + t) for all t > 0
and x R. Thus, the inequality is satised if t 0 and x 0 or if
+ +
x2 t = 2(+ + )t.
+
It follows that w(tn + t, yn + x) is indeed a supersolution of equation (4.1) in R as long as
and that u(tn + t, yn + x) w(tn + t, yn + x) for any t verifying the above inequality.
To conclude, let now 2 + > c > 2 , and tn the largest t satisfying (4.15), i.e.
xn+1 yn
tn = .
2(+ + )
The sequence (tn )n tends to + as n + since lim inf n+ xn+1 /yn > 1 and limn+ yn = +.
Moreover, one has
yn + ctn
c as n +.
tn + tn
It follows that w c for any c > 2 . This proves part 2 of Proposition 4.
If xn+1 /yn K as n +, we compute
yn + ctn 1 + 2(+c+ ) (K 1)
as n +.
tn + tn 1 K1
2 + 2( + )
+ +
Hence, w is smaller than the right hand-side. As c (2 , 2 + ) is arbitrary, = and
+ = + , we eventually get
p
K + + /
w 2 p ,
K + /+
which concludes the proof of part 4 of Proposition 4.
We assume that 0 is a continuous and 1-periodic function. Let now be a small positive constant
and dene < + by :
+ := max 0 ,
:= min 0 .
We want to bound from below by a function taking only the values and + , in order to apply
Theorem 4. Note rst that there exist x1 (0, 1) and (0, 1) such that 0 (x) > + for any
x (x1 , x1 + ). We now let the two sequences (xn )nN and (yn )nN dened for any n by :
(xn ) = x1 + n,
(y ) = x1 + n + .
n
101
Chapitre 4. On the uniqueness of the spreading speed in heterogeneous media
Note that since is strictly increasing and (+) = +, then those sequences indeed exist, tend
to + as n +, and satisfy for any n, xn < yn < xn+1 . It also immediately follows from their
denition that for all x R,
+ if x (xn , yn ),
(x) where
(x) (x) :=
if x (y , x
n n+1 ).
We now have to estimate the ratio yn /xn in order to apply Proposition 4. Note that :
Z yn
= (yn ) (xn ) = (x)dx. (4.16)
xn
Moreover, under the hypothesis x (x) 0 as x +, and since (xn )n , (yn )n tend to + as
n + :
Z yn Z yn
1 yn
(x)dx = x (x) dx = o ln as n +. (4.17)
xn xn x xn
From (4.16) and (4.17), we have that xynn +. To conclude, we use the parabolic maximum principle
and part 1 of Proposition 4 applied to problem (4.1) with a reaction term f f such that
fu (x, 0) =
(x) for all x R.
It immediately follows that w 2 max 0 . Since this inequality holds for any > 0, we get
w = 2 max 0 .
We omit the details of the proof of w = 2 min 0 since it follows from the same method. Indeed,
one only have to choose y1 , y + )
and in (0, 1) such that 0 (x) < min 0 + for any x (y1 1
and let two sequences such that
+ n,
(yn ) = y1
(x ) + n + .
= y1
n+1
As before, we bound 0 from below by a two values function, that is, for all x R,
+ = max 0 if x (xn , yn ),
(x) where
(x) (x) :=
= min if x (y , x
0 n n+1 ),
where a small positive constant and the two sequences (xn )n and (yn )n satisfy for any n :
xn < yn < xn+1 ,
(xn ) = x1 + n,
(yn ) = x1 + n + () for some () > 0,
xn + and yn +.
Here, under the assumption that x (x) 1/C, we get
Z yn
() = (yn ) (xn ) = (x)dx
xn
Z
yn
1
= x (x) dx
xn x
1 yn yn
= ln + o ln as n +.
C xn xn
102
4.5. The unique spreading speed case
Hence,
yn
e()C as n +.
xn
We can now apply the parabolic maximum principle and part 3 of Proposition 4 to get
e()C
w 2 max 0 p . (4.18)
(e()C 1) + (max 0 )/ min 0
Notice that the dependence of on prevents us from passing to the limit as 0 as we did to prove
part 1 of Theorem . However, for any xed > 0, one can easily check that the right-hand side in the
inequation (4.18) converges as C + to 2 max 0 .
One can proceed similarly to get an upper bound on w , that is :
p
p e ()C + max 0 /(min 0 + )
w 2 min 0 + ()C p , (4.19)
e + (min 0 + )/ max 0
where can be chosen arbitrary small and () is such that 0 (x) min 0 + on some interval of
length (). It is clear that the right-hand side of (4.19) converges to 2 min 0 + as C +.
Therefore, by choosing < (max 0 min 0 )/2, one easily gets from (4.18) and (4.19) that for
C large enough, w < w . This concludes the proof of part 2 of Theorem . Moreover, note that the
choice of C to get this strict inequality depends only on the function 0 , by the intermediate of the
functions () and ().
We begin with some preliminary work that will be needed to estimate the spreading speeds. The
proof of Theorem is then separated into two parts : the rst part (Section 5.2) is devoted to the proof
that w w , while in the second part (Section 5.3) we prove that w w .
Proposition 5. (Propositions 3.1 and 3.2 in [89]) For all p R, H(p) is the unique real number such
that there exists a continuous 1-periodic viscosity solution v of
Next, we will need, as a rst step of our proof, the function v given by Proposition 5 to be piecewise
C2. This is true under some non-degeneracy hypothesis on 0 . We will check below in the second part
of the proof of Theorem that it is always possible to assume that this hypothesis is satised by
approximation.
Then for all p R, equation (4.21) admits a 1-periodic solution vp W 2, (R) which is piecewise
C 2 (R).
103
Chapitre 4. On the uniqueness of the spreading speed in heterogeneous media
Proof. The proof relies on the explicit formulation of vp . Assume rst that p > j(M ) = j k0 k .
Then it is easy to check (see [89]) that
Z xq
vp (x) := px H(p) 0 (y)dy (4.23)
0
satises (4.21). Then, the denition of j implies that vp is 1-periodic and, as 0 C 1 (R) and H(p) >
0 (y) for all y R, the function vp is C 2 (R). The case p < j(M ) is treated similarly.
Next, if |p| j(M ), let F dene for all Y [0, 1] by :
Z 1q Z Y q
F (Y ) := p + M 0 (y)dy M 0 (y)dy.
Y 0
Similarly, F (1) = p j(M ) 0. Thus, there exists X [0, 1] so that F (X) = 0. We now dene :
Z xq
px M 0 (y)dy for all x [0, X],
0
vp (x) = Z Xq Z xq
(4.24)
px M 0 (y)dy + M 0 (y)dy for all x [X, 1].
0 X
From the denition of X, the function vp is 1-periodic. It is continuous and derivable at any point
x [0, 1)\{X} with
( p
p M 0 (x) for all x [0, X),
vp (x) = p
p + M 0 (x) for all x (X, 1).
Hence, it satises (4.21) in the sense of viscosity solutions. Lastly, for all x (0, X) so that 0 (x) 6= M ,
one has
(x)
vp (x) = p 0 .
2 M 0 (x)
If 0 (xM ) = M , then (4.22) implies that 0 (x) < M for all x 6= xM close to xM and a Taylor expansion
gives q
lim vp (x) = 0 (xM )/2.
xxM ,x6=xM
Hence, vp can be extended to a continuous function over (0, X). Similarly, it can be extended over
(X, 1). It follows that vp is bounded over [0, 1] and that it is piecewise C 2 (R).
Lp := 2p + (p2 + 0 ((x))).
104
4.5. The unique spreading speed case
Proof. The function p is piecewise C 2 (R) since vp is piecewise C 2 (R). For all x so that vp is C 2 in
x, we can compute
(x)
p (x)= vp ((x))
vp ((x)) p (x),
( (x))2 ! !
(x) ( (x))2 (x)
p (x) = (x)vp ((x)) v ((x)) + 2 vp ((x)) p (x)
(x) p ( (x))3 ( (x))2
2
(x)
+ vp ((x)) vp ((x)) p (x).
( (x))2
This gives
!
Lp p (x) H(p)p (x) (x) ( (x))2 (x)
= (x)vp ((x)) vp ((x)) + 2 vp ((x))
p (x) (x) ( (x))3 ( (x))2
2
(x) (x)
2 vp ((x))vp ((x)) + vp ((x)) + vp ((x))2
( (x))2 ( (x))2
(x)
2p vp ((x)) vp ((x)) + p2 + 0 ((x)) H(p),
( (x))2
!
(x) ( (x))2 (x)
= (x)vp ((x))
vp ((x)) + 2 vp ((x))
(x) ( (x))3 ( (x))2
2
(x) (x)
2 vp ((x))vp ((x)) + vp ((x))
( (x))2 ( (x))2
(x)
+2p vp ((x)).
( (x))2
As vp is periodic and W 2, , vp is bounded. It follows from (4.9) that
Proof of part 1 of Theorem . We rst assume that 0 C 2 (R). Let us now show that w w .
Let c > w and c1 (w , c). We know that there exists p j(M ) > 0 such that
Let k M so that p = j(k) > 0, and p dened as in Lemma 11. We know from Lemma 11 that there
exists X > 0 such that :
|Lp p (x) kp (x)| (c1 w )j(k)p (x) for all x > X. (4.29)
105
Chapitre 4. On the uniqueness of the spreading speed in heterogeneous media
where h R is large enough so that u0 (x) u(0, x) for all x R (this is always possible since u0 is
compactly supported). Moreover, u(t, x) < 1 if and only if p (x) < ej(k)(xhc1 t) , which is equivalent
to x vp ((x))/(j(k) (x)) > h + c1 t h. Lemma 12 yields that the left hand-side of this inequality
goes to + as x +. Hence, we can always take h large enough so that u(t, x) < 1 implies x > X.
It follows that for all (t, x) [0, +) R such that u(t, x) < 1, one has
t u xx u f (x, u) t u xx u (x)u
j(k)c1 u Lj(k) p (x)ej(k)(xhc1 t)
It follows from the parabolic maximum principle that u(t, x) u(t, x) for all (t, x) [0, +) R.
Hence, for all given x R,
Let > 0 so that < j(k)(c c1 )/c. Lemma 12 yields that there exists R > 0 so that for all
x > R, ln p (x) x. Let T = R/c and take t T and x ct. One has
ln p (x)ej(k)(xhc1 t) = ln p (x) j(k)(x h c1 t)
( j(k))x + j(k)(h + c1 t)
c + j(k)(c1 c) t + j(k)h
as t +
Z 1q
n
where j (k) = k n0 (x)dx j(k) > 0. Letting n +, one gets
0
106
4.5. The unique spreading speed case
Proof of part 2 of Theorem . First, assume that 0 C 2 (R) satises (4.22). Let p as in Lemma
11. For all > 0, take R large enough so that Lp p (H(p) )p at any point of (R, +) where p
is piecewise C 2 . It is easy to derive from the proof of Lemma 11 that p /p is bounded and uniformly
continuous. Take C > 0 so that |p (x)| Cp (x) for all x R.
We need more regularity in order to apply the results of [28]. Consider a compactly supported
R
nonnegative mollier C (R) so that R = 1 and dene the convoled function p := exp
ln p C 2 (R). One has p /p = p /p . Hence, |p (x)| Cp (x) for all x R and, as p /p
2
and p /p are uniformly continuous, up to some rescaling of , we can assume that
p 2
p 2
p 2 p 2
,
and k k .
p p p p
We now compute
p p 2
p
2
p
2
p
2
p
p
p
= + = + 2 + .
p p p p p p p p
It follows that
Lp p p 2pp + (x)p
p
p
= 2 + 2p
+ (x)
p p p p
2 + H(p) + (x)
3 + H(p) + (x) (x)
4 + H(p)
in (R, +). On the other hand, Lemma 12 yields p AR , where AR is the set of admissible test-
functions (in the sense of [28]) over (R, ) :
AR := C 0 ([R, )) C 2 ((R, )),
1 (4.30)
/ L ((R, )), > 0 in [R, ), limx+ x ln (x) = 0 .
Thus, one has 1 (Lp , (R, +)) H(p) 4, where the principal eigenvalue 1 is dened by
107
Chapitre 4. On the uniqueness of the spreading speed in heterogeneous media
Let u the solution of (4.1) with nonlinearity f instead of f and initial datum u0 . The parabolic
maximum principle yields u u.
Since the function f satises the hypotheses of Theorem 2.1 in [28], we conclude that
H(p)
lim min u(t, x) = 1 for all w 0, min .
t+ x[0,wt] p>0 p
It follows that
H(p) k
w min = min .
p>0 p kM j(k)
Next, assume that 0 C 2 (R) does not satisfy (4.22). Let y R so that 0 (y) = max 0 (y). Take
yR
a 1-periodic function C 2 (R) so that (0) = 0, (y) > 0 for all y 6= 0 and (0) > 0. Dene for all
n N and x R :
1
n0 (y) := 0 (y) (y y).
n
This 1-periodic function satises (4.22) for all n and one has 0 < n0 0 for n large enough. It follows
from the maximum principle that
k
lim inf min u(t, x) > 0 for all w 0, min ,
t+ 0xwt kM j n (k)
Z 1q
n
where j (k) = k n0 (x)dx j(k) > 0 for all k M . Letting n +, one has n0 (y) 0 (y)
0
uniformly in y R and thus
108
Chapitre 5
Ce travail ralis en collaboration avec Michel Cristofol a , Franois Hamel a,b et Lionel Roques c
est publi dans les Communications on Pure and Applied Analysis [CGHR12]
Sommaire
5.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
5.2 Hypotheses and main result . . . . . . . . . . . . . . . . . . . . . . . . 112
5.3 Proof of Theorem 5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
3.1 Proof of Theorem 5, case N = 2. . . . . . . . . . . . . . . . . . . . . . . . 113
3.2 Proof of Theorem 5, general case N 1. . . . . . . . . . . . . . . . . . . . 116
5.4 Non-uniqueness results . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118
5.5 Numerical determination of several coefficients . . . . . . . . . . . . . 119
5.6 Discussion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
109
Chapitre 5. Uniqueness from pointwise observations in a multi-parameter inverse problem
5.1 Introduction
Reaction-diusion equations arise as models in many elds of mathematical biology [135]. From
morphogenesis [176] to population genetics [72, 112] and spatial ecology [103, 169, 175], these partial
dierential equations benet from a well-developed mathematical theory.
In the context of spatial ecology, single-species reaction-diusion models generally deal with polyno-
mial reaction terms. In a one-dimensional case, and if the environment is supposed to be homogeneous
they take the form :
u 2u
D 2 = P (u), (5.1)
t x
where u = u(t, x) is the population density at time t and space position x and D > 0 is the diusion
coecient. The function P, which stands for the growth of the population, is a polynomial of order
N 1. The Fisher-Kolmogorov, Petrovsky, Piskunov (F-KPP) equation is the archetype of such
models. In this model, we have P (u) = u u2 . The constant parameters and respectively
correspond to the intrinsic growth rate and intraspecic competition coecients. In this model, the
lower the population density u, the higher the per capita growth rate P (u)/u. More complex models
can involve polynomial nonlinearities of higher order. Examples are those taking account of an Allee
eect. This eect occurs when the per capita growth rate P (u)/u reaches its maximum at a strictly
positive population density and is known in many species [7, 53, 179]. A typical example of reaction
term involving an Allee eect is [105, 118, 158] :
P (u) = ru (1 u) (u ) ,
with r > 0 and (0, 1). The parameter corresponds in that case to the Allee threshold" below
which the growth rate becomes negative.
In the previous examples, the reaction terms were assumed to be independent of the space variable.
However, real world is far from begin homogeneous. In order to take the heterogeneities into account,
models have been adapted and constant coecients have been replaced by space or time dependant
functions. In his pioneering work, Skellam [169] (and later, Shigesada, Kawasaki and Teramoto [168])
mentioned the following extension of the F-KPP model to heterogeneous environments :
u 2u
D 2 = (x) u (x)u2 . (5.2)
t x
Here, the values of (x) and (x) depend on the position x. For instance, regions of the space asso-
ciated with high values of (x) correspond to favorable regions, whereas those associated with low or
negative values of (x) correspond to unfavorable regions. As emphasized by recent works, the precise
spatial arrangement of these regions plays a crucial role in this model, since it controls persistence
and spreading of the population [24, 45, 64, 153, 156, 159, 103]. Models involving an Allee eect
can be extended as well to heterogeneous environments, as in [86, 158], where the eects of spatial
heterogeneities are discussed for models of the type :
u 2u
= D 2 + r(x) u [(1 u)(u (x)) + (x)] . (5.3)
t x
We also refer to [126] for an analysis of propagation phenomena related to a reaction-diusion model
with an Allee eect in innite cylinders having undulating boundaries.
110
5.1. Introduction
In this chapter, we focus on reaction-diusion models with more general heterogeneous nonlinea-
rities :
N
u 2u X
=D 2 + k (x) uk + g(x, u), for t > 0, x (a, b), (5.4)
t x k=1
111
Chapitre 5. Uniqueness from pointwise observations in a multi-parameter inverse problem
Let (a, b) be a bounded interval in R. We consider, for some T > 0, the problem :
N
u 2u X
D 2
= k (x)uk + g(x, u), t (0, T ), x (a, b),
t x k=1
u
1 u(t, a) 1 (t, a) = 0, t > 0, u )
(P(
0
x k)
u
2 u(t, b) + 2 (t, b) = 0, t > 0,
x
0
u(0, x) = u (x), x (a, b),
for some N N , and for unknown functions k which belong to the following space M :
for some (0, 1]. The space C 0, corresponds to Hlder continuous functions with exponent (see
e.g. [75]). A function C 0, ([a, b]) is called piecewise analytic if their exist n > 0 and an increasing
sequence (j )1jn such that 1 = a, n = b, and
n1
X
for all x (a, b), (x) = [j ,j+1 ) (x)j (x),
j=1
for some analytic functions j , dened on the intervals [j , j+1 ], and where [j ,j+1 ) are the charac-
teristic functions of the intervals [j , j+1 ) for j = 1, . . . , n 1. In particular, if M, then, for each
x [a, b) (resp. x (a, b]), there exists r = rx > 0 such that is analytic on [x, x + r] (resp. [x r, x]).
The assumptions on the function g are :
g(, u) C 0, ([a, b]) for all u R, g(x, ) C 1 (R) for all x [a, b],
(5.6)
g(, 0) = 0 in [a, b].
We also assume that the diusion coecient D is positive and that the boundary coecients
satisfy :
21 + 12 > 0 and 22 + 22 > 0. (5.7)
that is u0 is a C 2 function such that (u0 ) is Hlder continuous. In addition to that, we assume the
following compatibility conditions :
112
5.3. Proof of Theorem 5
Our main result is a uniqueness result for the sequence of coecients (k )1kN associated with
observations of the solution and of its spatial derivative at a single point x0 in [a, b]. Consider N
u0
ordered initial conditions u0i and, for each sequence (k )1kN , let ui be the solution of (P(ik ) ). Our
u0
result shows that for any nite subset Q MN and any (0, min T(ik ) ), the function
(k )Q,1iN
Q C 1 ((0, ))2 N
G: ,
(k )1kN 7 (ui (, x0 ), ui /x(, x0 ))1iN
Theorem 5. Let N N , (k )1kN and ( k )1kN be two families of coecients in M. Let (u0i )1iN
be N positive functions fullling (5.8) and (5.9) and such that u0i (x) 6= u0j (x) for all x (a, b) and
u0 u0
all i 6= j. Let ui and u
i be the solutions of (P(ik ) ) and (P(ik ) ), respectively, on [0, T ) [a, b], with
u0 u0
T = min1iN {T(ik ) , T(ik ) }. We assume that ui and u
i satisfy at some x0 (a, b), and for some
(0, T ] :
ui (t, x0 ) = u
i (t, x0 ),
ui ui for all t (0, ) and all i {1, , N }. (5.10)
(t, x0 ) = (t, x0 ),
x x
k on [a, b] for all k {1, , N }, and consequently ui u
Then k i in [0, T ) [a, b] for all i.
Remark 10. The conclusion of Theorem 5 is still valid when x0 = a and 1 6= 0 (resp. x0 = b and
2 6= 0) if the initial conditions u0i are assumed to be positive in [a, b) (resp. (a, b]).
The main result in [155] was a particular case of Theorem 5. A similar conclusion was indeed proved
in the case N = 1 and for g(x, u) = u2 . In such case, the determination of one coecient 1 (x)
only requires the knowledge of the initial condition u0 and of (u(t, x0 ), u/x(t, x0 )) for t (0, ).
When N 2, the above theorem requires more than the knowledge of the initial condition for the
determination of the coecients : we need a control on the initial condition, which enables to obtain N
measurements of the solution of (P(u0 ), starting from N dierent initial conditions. A natural question
k)
is whether the result of Theorem 5 remains true when the number of measurements is smaller than
N. In Section 5.4, we prove that the answer is negative in general.
For the sake of clarity, we begin with proving Theorem 5 in the particular case N = 2 (the proof
in the case N = 1 would be similar to that of [155], which was concerned with g(x, u) = u2 ). We
u0 u0
then deal with the general case of problems (P(ik ) ) and (P(ik ) ) with N 1.
Let (1 , 2 ) and ( 2 ) be two pairs of coecients in M. Let u01 (x), u02 (x) be two functions
1 ,
verifying (5.8) and (5.9) and such that u01 (x) 6= u02 (x) in (a, b). Let u1 and u 1 be respectively the
u01 u01 u02 u0
2 be the solutions of (P1 ,2 ) and (P12,2 ).
solutions of (P1 ,2 ) and (P1 ,2 ) and u2 and u
We set, for i = 1, 2,
Ui := ui u
i , m1 := 1
1 and m2 := 2
2 .
113
Chapitre 5. Uniqueness from pointwise observations in a multi-parameter inverse problem
Ui 2 Ui
D = bi (t, x)Ui + h(x, ui (t, x)), (5.11)
t x2
for t [0, T ) and x [a, b], where
bi (t, x) =
(x) +
1
2 (x) (ui (t, x) + u i (t, x)) + ci (t, x),
g(x, ui (t, x)) g(x,
u i (t, x))
if ui (t, x) 6= u
i (t, x),
ci (t, x) = ui (t, x) ui (t, x) (5.12)
g
(x, ui (t, x)) if ui (t, x) = u i (t, x),
u
h(x, s) = s (m1 (x) + m2 (x)s) ,
Let us set :
n o
A+ = x x0 s.t. m1 (y) m2 (y) 0 for all y [x0 , x] ,
and (
sup (A+ ) if A+ is not empty,
x1 :=
x0 if A+ is empty.
If x1 = b, then m1 (x) m2 (x) 0 on [x0 , b]. Let us assume on the contrary that x1 < b.
Step 1 : We show that there exist > 0, x2 (x1 , b) and j {1, 2} such that the function (t, x) 7
h(x, uj (t, x)) has a constant strict sign on [0, ] (x1 , x2 ], i.e. h(x, uj (t, x)) > 0 or h(x, uj (t, x)) < 0
in [0, ] (x1 , x2 ].
To do so, let us dene, for all x [x1 , b) :
m1 (x)
if m2 (x) 6= 0,
m2 (x)
z(x) = m1 (y) if m1 (x) = m2 (x) = 0 (5.14)
lim
yx+ m2 (y) and m2 (y) 6= 0 in a right neighborhood of x,
+ otherwise.
m1 (y)
Whenever m2 (x) 6= 0, z(x) is a root of the polynomial h(x, ). Notice also that the limit limyx+ m2 (y)
in the second case of the denition of z(x) is well dened since m1 and m2 are analytic on [x, y] for
y x > 0 small enough.
Since, u01 (x1 ) 6= u02 (x1 ), we have |u0j (x1 ) z(x1 )| > 0 for some j {1, 2}. Moreover, there exists
> 0 such that x1 + < b and
Indeed, if z(x1 ) = , we clearly have (5.15). If z(x1 ) 6= , from (5.14), z is continuous in a right
neighborhood of x1 . As the function u0j is also continuous in this neighborhood, we get (5.15).
114
5.3. Proof of Theorem 5
2,
Moreover, uj (t, x) C1,/2 ([0, T ) [a, b]) . This implies that uj is continuous at (t, x) = (0, x1 ). As
a consequence, there exists > 0 small enough so that |uj (t, x) u0j (x1 )| r/4 in [0, ] [x1 , x1 + ],
whence
r
|uj (t, x) u0j (x)| in (t, x) [0, ] [x1 , x1 + ]. (5.16)
2
Finally, setting = min{, }, we have, from (5.15) and (5.16) :
r
|uj (t, x) z(x)| |uj (t, x) u0j (x)| |u0j (x) z(x)| >0 (5.17)
2
for all (t, x) [0, ] [x1 , x1 + ].
Now, the denition of x1 and the piecewise analyticity of m1 and m2 imply that there exists
(0, ) such that :
Indeed, assume on the contrary that there is a decreasing sequence yn x1 such that h(yn , ) 0 in
R. Since the functions h(yn , ) are polynomial, we get m1 (yn ) = m2 (yn ) = 0 for all n N. Besides, as
m1 and m2 belong to M, for n large enough, m1 and m2 are analytic on [x1 , yn ], which implies that
m1 m2 0 on [x1 , xn ] for n large enough. This contradicts the denition of x1 and we get (5.18).
From the expression (5.12) of h and using (5.18), we observe that for each x (x1 , x1 + ], either
s = 0 is the unique solution of h(x, s) = 0 or m2 (x) 6= 0 and the equation h(x, s) = 0 admits exactly
two solutions s = 0 and s = z(x). Let us set x2 = x1 + (x1 , b). By continuity of uj in [0, T ) [a, b],
and since [x1 , x2 ] (a, b) and u0j > 0 in (a, b), we have uj (t, x) > 0 in [0, ] (x1 , x2 ] for small
enough. Thus, using (5.17) we nally get :
Uj
(0, x2 ) = h(x2 , uj (0, x2 )) > 0.
t
Thus, for (0, ) small enough, Uj (t, x2 ) > 0 for t (0, ). As a consequence, and from the
assumption of Theorem 5, Uj satises :
Uj 2 Uj
t D bj (t, x)Uj 0, t (0, ), x [x0 , x2 ],
x2
Uj (t, x0 ) = 0 and Uj (t, x2 ) > 0, t (0, ),
Uj (0, x) = 0, x (x0 , x2 ).
Moreover, the weak and strong parabolic maximum principles give that Uj (t, x) > 0 in (0, )(x0 , x2 ).
Since Uj (t, x0 ) = 0, the Hopfs lemma also implies that
Uj
(t, x0 ) > 0 for all t (0, ).
x
115
Chapitre 5. Uniqueness from pointwise observations in a multi-parameter inverse problem
This contradicts the assumption (5.10) of Theorem 5. Finally, we necessarily have x1 = b and therefore
m1 m2 0 on [x0 , b].
and
inf (A ) if A is not empty,
y1 :=
x if A is empty,
0
we can prove, by applying the same arguments as above, that y1 = a and consequently m1 m2 0
on [a, x0 ].
Finally, m1 m2 0 on [a, b] which concludes the proof of Theorem 5 in the case N = 2.
Remark 11. Apart from the radially symmetric case, the extension of the above arguments to higher
dimensions is not straightforward. Indeed, let us replace the interval (a, b) by a bounded domain of
Rd , with d 2, and consider the simplest case N = 1 and u01 > 0 in . Assume that u1 = u 1 in a
set (0, ) where > 0 and is a subset of . Then, one can check that m1 = 1 1 0
in . We may dene A+ as the largest closed subset of , containing , and such that m1 0 on A+ .
Dene > 0 such that u1 > 0 in [0, ] . Then, if A+ 6= , there exists a set A1 A+ , such that
A1 6= A+ and m1 has a constant strict sign in A1 \ A+ . Thus, instead of the result of Step 1 above,
we know that (t, x) 7 h(x, u1 (t, x)) = u1 (t, x) m1 (x) has a constant strict sign on [0, ] {A1 \ A+ }.
We may try to use an argument similar to that of Step 2, with A2 = A1 \ instead of [x0 , x2 ].
However, U1 (t, x) = u1 u
1 does not necessarily have a constant sign on the boundary of A2 , even for
small times t > 0. As a consequence, the above argument cannot be applied as such.
Ui := ui u
i , mk := k
k .
Ui 2 Ui
D = bi (t, x)Ui + h(x, ui (t, x)), (5.19)
t x2
for t [0, T ) and x [a, b], where
(f + g)(x, ui (t, x)) (f + g)(x, ui (t, x))
if ui (t, x) 6= u
i (t, x),
bi (t, x) = ui (t, x) u
i (t, x)
(f + g) (x, u (t, x)) if u (t, x) = u
i i i (t, x),
u
N
X
h(x, s) = mk (x)sk ,
k=1
and
N
X
f(x, u) = k (x)uk .
k=1
116
5.3. Proof of Theorem 5
Moreover, the functions Ui satisfy the following boundary and initial conditions :
Ui
1 Ui (t, a) 1 (t, a) = 0, t > 0,
x
Ui (5.20)
2 Ui (t, b) + 2 (t, b) = 0, t > 0,
x
Ui (0, x) = 0, x (a, b).
Let us set
n o
A+ = x x0 s.t. mk 0 on [x0 , x] for all k {1, , N } ,
and (
sup (A+ ) if A+ is not empty,
x1 :=
x0 if A+ is empty.
If x1 = b, then for all k, mk (x) 0 on [x0 , b]. Let us assume by contradiction that x1 < b. As in the case
N = 2, we prove, as a rst step, that there exist (0, T ), x2 (x1 , b) and j {1, . . . , N } such that
the function (t, x) 7 h(x, uj (t, x)) has a constant strict sign on [0, ] (x1 , x2 ], i.e. h(x, uj (t, x)) > 0
or h(x, uj (t, x)) < 0 in [0, ] (x1 , x2 ].
To do so, observe that, from the denitions of x1 and M, there exists > 0 such that x1 + < b
and all functions mk are analytic on [x1 , x1 + ] and not all identically zero. Therefore, the integer
n
o
= max N, mk (x) = O (x x1 ) as x x+
1 for all k {1, . . . , N }
where
H(x, s) = M1 (x) s + + MN (x) sN
and the functions M1 , . . . , MN are analytic on [x1 , x1 + ] and not all zero at the point x1 (namely,
there exists i {1, . . . , N } such that Mi (x1 ) 6= 0). In other words, the polynomial H(x1 , ) is not
identically zero. Since its degree is not larger than N and since H(x1 , 0) = 0 and the real numbers
u01 (x1 ), . . . , u0N (x1 ) are all positive and pairwise dierent, there exists j {1, . . . , N } such that
By continuity of H in [x1 , x1 + ] R and of uj on [0, T ) [a, b], it follows that there exist (0, T )
and x2 (x1 , b) such that
Consequently,
h(x, uj (t, x)) 6= 0 for all (t, x) [0, ] (x1 , x2 ].
The remaining part of the proof of Theorem 5 in the general case N 1 is then similar to Steps
2 and 3 of the proof in the particular case N = 2. Namely, we eventually get a contradiction with
U
the assumption that xj (t, x0 ) = 0 for all t (0, ), yielding x1 = b and mk = 0 on [x0 , b] for all
k {1, . . . , N }. Similarly, mk = 0 on [a, x0 ] for all k {1, . . . , N }.
117
Chapitre 5. Uniqueness from pointwise observations in a multi-parameter inverse problem
ui (t, x0 ) = u
i (t, x0 ), for all t (0, ) and all i {1, , N }, (5.21)
ui (t, x) = u
i (t, b(xa)), for all t (0, T ), all x [a, b] and all i {1, , N }.
3Time-dependent coecients.
We show here that the result of Theorem 5 is not true in general when the coecients (k ) are
allowed to depend on the variable t.
118
5.5. Numerical determination of several coecients
i.e.,
(4Dt + 1) cos2 (x) 2Dt (16Dt + 1) sin2 (2x) 8Dt
1 (t, x) = and
1 (t, x) = .
1 + t cos2 (x) 1 + t sin2 (2x)
Then, for each t [0, +), 1 (t, ) and 1 (t, ) belong to M. The functions u and u
are solutions of
1 1
(P(1 ) ) and (P(1 ) ), respectively, and they satisfy the assumption (5.10) of Theorem 5 at x0 = /2.
However, the conclusion of Theorem 5 does not hold since 1 6 1 .
i.e.,
(4D + ) cos2 (x) + 2 D (16D + ) sin2 (2x) + 8 D
1 (x) = and
1 (x) = ,
1 + cos2 (x) 1 + sin2 (2x)
1+cos 2 (x) 1+sin2 (2x)
thus 1 and
1 belong to M. Besides, u and u
are solutions of (P1 ) and (P1 ) respectively,
and they satisfy the assumption (5.10) of Theorem 5 at x0 = /2. However, we obviously have 1 6 1 .
In the particular case N = 1, it was shown in [155] that the measurements (5.10) of Theorem
5 are sucient to obtain a good numerical approximation of a coecient 1 (x). In this section, we
check whether the measurements (5.10) of Theorem 5 also allow for an accurate reconstruction of N
coecients (k )1kN in the cases N = 2 and N = 3.
Given the initial data u0i and the measurements ui (t, x0 ) and u x (t, x0 ), for t (0, ) and i
i
{1, , N }, we can look for the sequence (k )1kN as a minimizer of some functional G(k ) . Indeed,
for any sequence ( k )1kN in MN , the distance between the measurements of the solutions ui of
u0 u0
(P(ik ) ) and u
i of (P(ik ) ), i {1, , N } can be evaluated through the function :
N
X ui i
u
G(k ) [(
k )] = kui (, x0 ) u
i (, x0 )kL2 (0,) + k (, x0 ) (, x0 )kL2 (0,) .
i=1
x x
Then, G(k ) [(k )] = 0 and from Theorem 5 this is the unique global minimum of G(k ) in MN .
119
Chapitre 5. Uniqueness from pointwise observations in a multi-parameter inverse problem
6 6
4 4
2
2
0
0
2
2
4
4 6
6 8
0 0.2 0.4 0.6 0.8 1 0 0.2 0.4 0.6 0.8 1
x x
Figure 5.1 (a) Plain lines : examples of functions 1 (red line) and 2 (blue line) in E.
Dashed lines : the functions 1 (in red) and 2 (in blue) obtained by minimizing G(1 ,2 ) . In
this case k1 1 kL2 (0,1) + k2 2 kL2 (0,1) = 0.15, and G(1 ,2 ) [(1 , 2 )] = 9 106 . (b) Plain
lines : functions 1 (red line), 2 (blue line) and 3 (black line) in E. Dashed lines : the
functions 1 (in red), 2 (in blue), 3 (in black) obtained by minimizing G(1 ,2 ,2 ) . Here,
k1 1 kL2 (0,1) + k2 2 kL2 (0,1) + k3 3 kL2 (0,1) = 0.38 and G(1 ,2 ,3 ) [(1 , 2 , 3 )] = 3 105 .
j1 (x 2)4 (x + 2)4
with cj = n2 and J(x) = if x (2, 2), and J(x) = 0 otherwise. In our computa-
28
tions, the integer n was set to 10.
Case N = 2 : 25 couples of functions (1 , 2 ) have been randomly sampled in E 2 : for k = 1 and
k = 2, the components hkj , in the expression
n
X
k (x) = hkj J ((n 2) (x cj )) ,
j=0
4. Numerical computation of u and u were carried out with Comsol Multiphysicsr time-dependent solver. We used a
second order finite element method (FEM) with 960 elements. This solver uses a method of lines approach incorporating
variable order and variable stepsize backward differentiation formulas.
5. The minimizations of the functions G(k ) were performed using MATLABsr fminunc solver. This optimization
algorithm uses a Quasi-Newton method with a mixed quadratic and cubic line search procedure. The stopping criterion
was based on the number of evaluations of the function G(1 ,2 ) which was set at 4 103 .
120
5.6. Discussion
The average value of the quantity k1 1 kL2 (0,1) + k2 2 kL2 (0,1) , over the 25 samples of couples
(1 , 2 ) is 0.25. The corresponding average value of G(1 ,2 ) (1 , 2 ) is 1.5 105 . Fig. 5.1 (a) depicts an
example of a couple (1 , 2 ) in E, together with the couple (1 , 2 ) which was obtained by minimizing
G(1 ,2 ) .
Case N = 3 : in this case, the minimization of the function G(1 ,2 ,3 ) is more time-consuming. We
therefore focused on a unique example of a triple (1 , 2 , 3 ) in E 3 . The initial data were chosen as
follows : u01 0.1, u02 0.2, and u03 0.3. Fig. 5.1 (b) depicts the triple (1 , 2 , 3 ) in E, together
with the triple (1 , 2 , 3 ) obtained by minimizing G(1 ,2 ,3 ) .
5.6 Discussion
We have obtained a uniqueness result in the inverse problem of determining several non-constant
coecients of reaction-diusion equations. With a reaction term containing an unknown polynomial
P
part of the form N k
k=1 k (x) u , our result provides a sucient condition for the uniqueness of the
determination of this nonlinear polynomial part.
This sucient condition, which is detailed in Theorem 5, involves pointwise measurements of the
solution u(t, x0 ) and of its spatial derivative u/x(t, x0 ) at a single point x0 , during a time interval
(0, ), and starting with N nonintersecting initial conditions.
The results of Section 5.4 show that most conditions of Theorem 5 are in fact necessary. In par-
ticular, the rst counter-example of Section 5.4 shows that, for the result of Theorem 5 to hold in
general, the number of measurements of the couple (u, u/x)(t, x0 ) needs to be at least equal to the
degree (N ) of the unknown polynomial term.
From a practical point of view, such measurements can be obtained if one has a control on the initial
condition. Nevertheless, since our result does not provide a stability inequality, the possibility to do a
numerical reconstruction of the unknown coecients k , on the basis of pointwise measurements, was
uncertain. In Section 5.5, we have shown in the cases N = 2 and N = 3 which include the classical
models (5.2) and (5.3) that such measurements can indeed lead to good numerical approximations of
the unknown coecients, at least if they are assumed to belong to a known nite-dimensional space.
Acknowledgments
The authors are supported by the French Agence Nationale de la Recherche" within the projects
ColonSGS (third and fourth authors), PREFERED (second, third and fourth authors) and URTI-
CLIM (second and fourth authors). The third author is also indebted to the Alexander von Humboldt
Foundation for its support. The authors would like to thank the three reviewers for giving valuable
comments and references.
121
Chapitre 5. Uniqueness from pointwise observations in a multi-parameter inverse problem
122
Quatrime partie
123
Chapitre 6
Accelerating solutions in
integro-differential equations
Sommaire
6.1 Introduction and main assumptions . . . . . . . . . . . . . . . . . . . . 126
6.2 Main results . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
6.3 Case studies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
6.4 Proofs of the Theorems . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
4.1 Proof of Theorem 6 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
4.2 Proof of Theorem 7 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
4.3 Proof of Theorem 8 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 138
6.5 Discussion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 142
125
Chapitre 6. Fast propagation in integro-dierential equations
In this chapter we study the large-time behavior of the solutions of integro-dierential equations
with slowly decaying dispersal kernels. Namely, we consider the Cauchy problem :
(
ut = J u u + f (u), t > 0, x R
(6.1)
u(0, x) = u0 (x), x R
We assume that the nonlinearity f is monostable and that the initial condition u0 is compactly
supported.
The equation (6.1) arises in population dynamics [70, 129] where the unknown quantity u typi-
cally stands for a population density. One of the most interesting features of this model, compared
to reaction-diusion equations, is that it can take rare long-distance dispersal events into account.
Therefore, equation (6.1) and other closely related equations have been used to explain some rapid
propagation phenomena that could hardly be explained with reaction-diusion models, at least with
compactly supported initial conditions. A classical example is Reids paradox of rapid plant migra-
tion [43, 44, 169] which is usually explained using integro-dierential equations with slowly decaying
kernels or with reaction-diusion equations with slowly decaying and therefore noncompact initial
conditions [157]. As we shall see in this chapter, the use of slowly decaying dispersal kernels is the
key assumption that leads to qualitative behavior of the solution of (6.1) very dierent from what is
expected with reaction-diusion equations.
Let us make our assumptions more precise. We assume that the initial condition u0 : R [0, 1] is
continuous, compactly supported and not identically equal to 0.
The reaction term f : [0, 1] R is of class C 1 and satises :
f (0) = f (1) = 0, f (s) > 0 for all s (0, 1), and f (0) > 0. (6.2)
A particular class of such reaction term is that of Fisher-KPP type [72, 112]. For this class, the growth
rate f (s)/s is maximal at s = 0. Furthermore, we assume that there exist > 0, s0 (0, 1) and M 0
such that
f (s) f (0)s M s1+ for all s [0, s0 ]. (6.3)
Furthermore, we assume that J(x) is decreasing for all x 0, J is a C 1 function for large x and
This last condition implies that J decays more slowly than any exponentially decaying functions as
|x| , in the sense that
126
6.2. Main results
or, equivalently, J(x)e|x| as |x| for all > 0. We shall refer to functions J satisfying the
above assumptions (6.4), (6.5) as exponentially unbounded kernels.
The assumption (6.5) is in contrast with the large mathematical literature on integro-dierential
equations [8, 47, 54, 173, 185, 186] as well as integro-dierence equations [122, 123], where the dispersal
kernels J are generally assumed to be exponentially bounded as |x| , i.e. :
Z
> 0 such that J(x)e|x| < . (6.7)
R
In this exponentially bounded case", it follows from the results in [185] that, under our assumptions
on u0 and f , the solution of (6.1) admits a nite spreading speed c . Thus, for any c1 , c2 with
0 < c1 < c < c2 < the solution u to (6.1) tends to zero uniformly in the region |x| c2 t,
whereas it is bounded away from zero uniformly in the region |x| c1 t for t large enough. Thus, the
spreading properties of the solution of (6.1) when J is exponentially bounded are quite similar to that
of the solution of the reaction-diusion equation ut = uxx + f (u) with u(0, ) = u0 [9, 10, 72, 112].
The existence of such a nite spreading speed is also true for other integro-dierential equations with
exponentially bounded dispersal kernels [8, 54, 173, 185].
Let us come back to problem (6.1) with an exponentially unbounded kernel J. In this case, it is
known that equation (6.1) does not admit any traveling wave solution with constant speed and constant
(or periodic) prole [191]. Moreover, numerical results and formal analytic computations carried out
for linear integro-dierence equations [113] and linear integro-dierential equations [129] indicate that
exponentially unbounded dispersal kernels lead to accelerating propagation phenomena and innite
spreading speeds. In this chapter, we prove rigorously such results for the solution u of (6.1) when the
kernel J is exponentially unbounded i.e. J satises (6.4) and (6.5).
Our approach is inspired from [88], where it was shown for a reaction-diusion equation ut =
uxx + f (u) that exponentially unbounded initial conditions lead to solutions which accelerate and
have innite spreading speed. Here, we get comparable results starting from compactly supported
initial data and with exponentially unbounded dispersal kernels. However, the interpretation of our
results as well as their proofs are very dierent from those in [88, 157]. These dierences are mostly
due to the nonlocal nature of the operator u 7 J u u, and to its lack of regularization properties.
Before stating our main results, we recall that from the maximum principle [185, 191] and from
the assumptions on u0 , the solution u of (6.1) satises
E (t) = {x R, u(t, x) = },
the level set of u of value at time t. For any subset A (0, J(0)), we set
127
Chapitre 6. Fast propagation in integro-dierential equations
Theorem 6. Let u be the solution of (6.1) with a continuous and compactly supported initial condition
u0 : R [0, 1] (u0 6 0). Assume that J is an exponentially unbounded kernel satisfying (6.4) and (6.5).
Then,
c 0, min u(t, x) 1 as t (6.8)
|x|ct
and for any given (0, 1), there is a real number t 0 such that E (t) is non-empty for all
t t , and
Our next result gives a lower bound" for the level sets E (t) in terms of the behavior of J at .
Theorem 7. Under the same asumptions as in Theorem 6, for any (0, 1) and (0, f (0)) there
exists T, t such that
n (0))t
io
t T, , E (t) J 1 0, e(f . (6.10)
Hypothesis 1. An exponentially unbounded kernel J satises Hypothesis 1 if and only if there exists
> 0 such that |J (x)/J(x)| is nonincreasing for all x and there exists 0 (0, 1) such that
Z
J(z)0 dz < . (6.11)
R
or
Under these additional assumptions on the kernel J, we are able to establish an upper bound" for
the level sets E (t).
Theorem 8. Let u be the solution of (6.1) with a continuous and compactly supported initial condition
u0 : R [0, 1] (u0 6 0). Assume that J satises either Hypothesis 1 or Hypothesis 2. Then, there
exists > f (0) such that for any (0, 1) there is T t such that
nh io
t T , E (t) J 1 et , J(0) . (6.13)
Theorem 7 together with Theorem 8 provide an estimation of the position of the level sets E (t)
for large time t. In particular the inclusions (6.10) and (6.13) mean that, for any (0, 1) and any
element x (t) E (t), we have
(0))t
min J 1 e(f [0, +) |x (t)| max J 1 et [0, +) , (6.14)
for large t.
128
6.3. Case studies
Let us apply the results of section 6.2 to several examples of exponentially unbounded kernels :
Functions J which are logarithmically sublinear as |x| , that is
f (0)
t ln (t) |x (t)| t ln(t) for large t. (6.18)
Now, if J satises (6.4) and (6.16) then J satises hypothesis 1 (but not hypothesis 2) and it
follows from Theorems 7 and 8 that the positions of the level sets E (t) are asymptotically algebraic
and superlinear as t +, in the sense that for > 0, there is > f (0) such that
1/ 1/
f (0) 1/
t |x (t)| t1/ for large t, (6.19)
where x (t) is any element of the level set E (t) (see Fig. 6.1).
Next, if J satises (6.4) and decays algebraically for large x as in (6.17), then J satises both
hypothesis 1 and 2 and it follows from Theorems 7 and 8 that the position of the level sets E (t) move
exponentially fast as t + in the sense that, for any (0, 1) and > 0, there is > f (0) such
that
f (0)
t ln (|x (t)|) t for large t, (6.20)
for any x (t) in the level set E (t). The prole of the solution u(t, x) of (6.1) with an algebraically
decreasing kernel is illustrated in Fig. 6.2 (a).
We can observe that the result of Theorem 8 does not enable us to obtain a ratio close to 1 between
the upper and the lower bound in (6.18)-(6.20). Indeed, as we shall see in the proof of the Theorem 8,
the constant in the upper bound veries = max f (s)/s + K(J) for some positive constant K(J)
s[0,1]
which only depends on the kernel J. Therefore, if the function f is not of the KPP type, we have
max f (s)/s > f (0) which in turns implies that > f (0). Moreover, even when f satises the KPP
s[0,1]
assumption, we are not able to take close to f (0), since the constant K(J) cannot be taken as small
as we want independently of J. It seems reasonable to conjecture from Fig. 6.1 that the upper bound
in (6.14) is not optimal.
129
Chapitre 6. Fast propagation in integro-dierential equations
4000
3500
3000
2500
x0.2 (t)
2000
1500
1000
500
0
0 10 20 30 40
t
Figure 6.1 Plain line : position x0.2 (t) of the level set E0.2 (t) of the solution of (6.1) with f (u) =
2 |x|
u(1 u), u0 (x) = max((1 (x/10) ), 0) and the exponentially unbounded kernel J(x) = (1/4)e .
1 f (0)t 2 1 (f (0)+1/2)t
Observe that x0.2 (t) remains bounded by t 7 J (e ) = (t ln(4)) and J (e )=
2
(3t/2 ln(4)) (dashed lines) for large t.
In another framework, Cabr and Roquejore [37] were able to derive upper bound sharper than
that of (6.20) for the level sets of the solutions u of equations of the type ut = Au + f (u), where f is
concave and therefore satises the KPP assumption, u0 is compactly supported or monotone one-sided
compactly supported, and the operator A is the generator of a Feller semi-group. A typical example
is the fractional Laplacian A = () with 0 < < 1 : if u is smooth and decays slowly to 0 at
innity, Z
u(x) u(y)
() u(x) = c 1+2
dy, for all x R,
R |x y|
where c is chosen such that the symbol of () is ||2 . In this case, the asymptotic exponential
spreading of the level sets also follows from the algebraic decay of the kernel J (x) = |x|(1+2)
associated with the operator A. For instance, if = 1/2, N = 1, f (u) = u(1 u) and the initial
condition u(0, ) 6 0 is compactly supported, then for (0, 1), the functions x (t) = inf{x :
+
u(t, x) = } and x (t) = sup{x : u(t, x) = } satisfy for some constant C > 1 and for t large
enough :
1 t/2 1 t/2
C et/2 x
(t) e and e x+ (t) C e
t/2
.
C C
This bounds which are sharper than those in (6.20), could be derived because of the almost explicit
nature of the heat kernel p(t, x) associated with A and satisfying pt = Ap. This allowed the authors
of [37] to construct accurate supersolutions of ut = Au + f (u). Note that the kernel J is singular at
x = 0 and does not satisfy the hypotheses of Theorems 7 and 8.
Lastly, let us consider the example of a function J satisfying (6.4),(6.5) and such that |J /J| is not
monotone as |x| , e.g.
Then J does not satises hypothesis 1, but still satises hypothesis 2. Thus, we can apply Theorems 7
and 8 which lead to the same estimates as (6.20).
In all above examples the positions of the level sets increase super-linearly with time. This illus-
trates the accelerating behavior of the solution of (6.1) for exponentially unbounded kernels. Coming
130
6.4. Proofs of the Theorems
1
u(t,x)
0.5
0
10000 5000 0 5000 10000
x
1
u(t,x)
0.5
0
100 50 0 x 50 100
Figure 6.2 The solution u(t, x) of problem (6.1) at successive times t = 0, 3, . . . , 30, with f (u) =
u(1 u) and u0 (x) = max((1 (x/10)2 ), 0) : (a) with an exponentially unbounded kernel J(x) =
(1 + |x|)3 ; (b) with an exponentially bounded kernel J(x) = (1/2)e|x| .
back to Fig. 6.2 (a), we indeed observe that the distance between level sets of the same level tends to
increase with time when time growths as tn = an with a > 0 and when J is exponentially unbounded,
whereas it remains constant in the exponentially bounded case (Fig. 6.2 (b)). Moreover, in Fig. 6.2
(a), the solution tends to atten as t i.e. the lower the level , the faster the level sets E (t)
propagate. In particular, this implies that the solution does not converge to a traveling wave solution.
This is coherent with the fact that (6.1) does not admit traveling wave solutions when the kernel J is
exponentially unbounded [191].
We begin with proving that for any t 0, lim inf u(t, x) = 0. Let us dene v(t, x) = v(t, x)ert for
x
all (t, x) [0, ) R, where r = sup (f (s)/s) f (0) > 0 and v satises the following problem :
s(0,1]
(
vt = J v v, t > 0, x R,
(6.21)
v(0, x) = u0 (x), x R.
Then v veries v t = J v v +rv on (0, )R and v(0, x) = u0 (x). From the maximum principle [185,
191], we get 0 < u(t, x) v(t, x) for all (t, x) (0, ) R.
131
Chapitre 6. Fast propagation in integro-dierential equations
Let us now prove that u(t, 0) 1 as t . Let f satisfy (6.2), (6.3) and such that f f in [0, 1],
f(s) f (0)s for all s [0, 1] and f is a nonincreasing function in a neighborhood of 1. We denote
by u the solution of the Cauchy problem (6.1) with the nonlinearity f. From the maximum principle
uu on [0, ) R.
Then, let us set g (s) = f(s) s in [0, 1], where (0, 1) is small enough such that g (0) > 0. Set
One can choose > 0 small enough so that g < 0 on ( , 1]. From (6.4) we know that there exists
A > 0 such that
Z A
D = J(y)dy = 1 .
A
J(x)
J (x) = Z A
1[A ,A ] (x).
J(y)dy
A
We have
t v = (J 1[A ,A ] ) v v + f(v) J v v + f(v).
In particular, we have :
lim v(t, 0) = lim u(t, 0) 1.
t t
Since 1 as 0, we get
u(t, 0) 1 as t .
It then follows that for any (0, 1) there exists a time t 0 such that
Since the functions x 7 u(t, x) are continuous for all t > 0, one concludes from (6.22) and (6.25) that
E (t) is a non-empty set for all t t .
132
6.4. Proofs of the Theorems
Let us now prove (6.9). From [124], we know that the propagation speed c is the minimal speed
of traveling wave solutions of problem (6.23). This speed veries [38, 166] :
Z
1
c = min D J (z)ez dz 1 + f (0) . (6.26)
>0 R
Let A > 0, (0, 1), t t and x (t) E (t). Since J is exponentially unbounded in the sense
of (6.6), c as 0. Let us choose > 0 small enough such that > and c > A. Then,
it follows from (6.24) that |x (t)| At for t large enough. Since this is true for any A > 0 and any
x (t) E (t) we get (6.8) and (6.9).
This section is devoted to the proof of a lower bound for min{E (t)(0, +)} (resp. max{E (t)
(, 0)}). The proof is divided into three parts. We begin with showing that the solution of (6.1) at
time t = 1 is larger than some multiple of J. Then, we construct an appropriate subsolution of (6.1)
which enables us to prove the lower bound for small values of . Lastly, we show that the lower bound
remains true for any value of (0, 1).
More precisely, let us x (0, 1) and (0, f (0)). We claim that
n (0))t
io
E (t) J 1 0, e(f (6.27)
Then it is easy to see that v is a subsolution of the following linear Cauchy problem :
(
ut = J u u, t > 0, x R,
(6.28)
u(0, x) = u0 (x), x R.
vt J v + v = tet (J (J u0 )) (x) 0.
Moreover, v(1, x) = (u0 (x) + (J u0 )(x))e1 for all x R which implies that is exists C (0, 1) such
that v(1, x) CJ(x) for all x R. Finally,
133
Chapitre 6. Fast propagation in integro-dierential equations
Since J satises (6.4) and (6.5), we can choose 1 > 0 such that for all |x| 1 ,
J (x) ( /2) J(x), (6.31)
and
M
M 1+
B = max s
1 , , > 0. (6.33)
1 (1 + )(f (0) /2)
g(s) = s Bs1+ .
We observe that
g(s) 0 for all s s1 and g(s) s1 for all s 0.
We can notice that for all t 0, 0 (t) 1 and that 0 (t) is continuous and increasing in t 0, since
J is continuous and decreasing in [0, ).
Then, let us dene u as follows :
(
g(CJ(x)e1 t ) for all |x| > 0 (t)
u(t, x) = 1 t
for all t 0. (6.36)
2 = g(s2 ) = g(CJ(0 (t))e ) for all |x| 0 (t)
Observe that 0 < CJ(x)e1 t CJ(0 (t))e1 t = s2 < s1 when |x| 0 (t), whence u(t, x) > 0 for all
t 0 and x R. Let us check that u is a sub-solution of (6.1). Since J(x) is nonincreasing with
respect to |x| and u satises (6.29), we have
u(0, x) = CJ(x) B(CJ(x))1+ CJ(x) u(1, x) for all |x| > 0 (0)
(6.37)
u(0, x) = 2 = g(CJ(0 (0))) CJ(x) u(1, x) for all |x| 0 (0).
Then, let us check that u is a subsolution of the equation satised by u in the region where u < 2 .
Let (t, x) be any point in [0, ) R such that u(t, x) < 2 .As already emphasized, one has 0 <
CJ(x)e1 t < s1 , whence CJ(x) < s1 and |x| 1 from (6.32). Furthermore,
134
6.4. Proofs of the Theorems
Let us now show that J u u (/2)u, for all t [0, ) and |x| > 0 (t). Let t [0, ) and
Remember that J is decreasing on [0, +) and that g is decreasing in [0, s2 ] (which implies that u(t, y)
is nonincreasing with respect to |y|). Then
Z
(J u)(t, x) u(t, x) = J(x y)(u(t, y) u(t, x))dy
ZR
J(x y)(u(t, y) u(t, x))dy
Z|y|>x
x Z
J(x y)(u(t, y) u(t, x))dy + J(x y)(u(t, y) u(t, x))dy
Z
x
(J(x y) + J(x + y))(u(t, y) u(t, x))dy.
x
(6.40)
Observe that for all y > x, Z y
0 u(t, y) u(t, x) = x u(t, s)ds.
x
Furthermore, for all t > 0 and s > 0 (t)
x u(t, s) = CJ (s)e1 t g CJ(s)e1 t = CJ (s)e1 t 1 (1 + )B(CJ(s)) e1 t .
(M B 1 )(CJ(x))1+ e1 (1+)t
0.
135
Chapitre 6. Fast propagation in integro-dierential equations
Let us now check that u is a subsolution of the equation satised by u, in the region where u = 2 .
Let (t, x) be any point in [0, ) R such that u(t, x) = 2 . The same arguments as above imply that
for any point (t, x) satisfying u(t, x) = 2 , i.e. for all (t, x) [0, ) [0 (t), 0 (t)], we get
Z
(J u)(t, x) u(t, x) = J(x y)(u(t, y) 2 )dy
ZR
= J(x y)(u(t, y) 2 )dy
Z|y|
0 (t)
Moreover,
u(t, 0 (t)) u(t h, 0 (t)) 2 g(CJ(0 (t))e1 (th) )
lim = lim .
h0,h>0 h h0,h>0 h
For all h > 0 small enough and using the denition (6.35) of 0 (t), we obtain :
It follows from (6.33), (6.44) and (6.46) that for all t 0 and |x| 0 (t),
Using the above inequality together with (6.37) and (6.43), the maximum principle implies that
136
6.4. Proofs of the Theorems
0 < < s2
This real number does not depends on but depends on , as well as on J and f. Remember that
t 0 is such that E (t) is a non-empty set for all t t . Since J is continuous and decreasing on
[0, +), there exists then a time t max (t , 1) such that for all t t , there exists y (t) (1 , )
such that
CJ(y (t))e1 (t1) = .
We claim that
u(t 1, x) > g() > 0 for all (t, x) .
Otherwise, (t, x) is such that < CJ(x)e1 (t1) < s2 , whence |x| > 0 (t 1) and
Thus, setting = g(), we get that if (0, ) and if x E (t) for t max(t , t ), then
Since 1 = f (0) /2 > f (0) , there exists then a time T, max(t , t ) such that,
e1 1 t
t > T, , x E (t), J(x) J(y (t)) = e e(f (0))t . (6.50)
C
This proves (6.27) for (0, ).
where = g() is given in Step 2. Let us set f(s) = f (s) (1 D )s for all s [0, 1] with
Z 1
D = J(y)dy (0, 1),
1
where 1 is chosen large enough such that f (0) > 0 and f(s) > 0 in (0, ].
137
Chapitre 6. Fast propagation in integro-dierential equations
J(x)
J (x) = Z 1
1[ , ] (x), x R.
1 1
J(y)dy
1
It follows from (6.49) and the denition of y that for any time T t and any small shift X in the
sense that |X| y (T ) 1, the solution u satises
0.
The maximum principle implies that for any time T t and any small shift X in the sense that
|X| y (T ) 1,
u(T + t, x) u (t, x X), for all t 0, and x R. (6.52)
Moreover, we know from Theorem 3.2 in [124] that there exists c > 0 such that
lim inf inf u (t, x) = sup {s > 0 | f > 0 in (0, s)} > .
t |x|<c t
In particular, there exists T 0 such that u (T , x) > for all |x| < c T . Therefore, taking in
particular x = X in equation (6.52), we get that for any T t and |X| y (T ) 1,
u(T + T , X) u (T + T , 0) > .
As a consequence, there exists T , max (t + T , t ) such that for all t T , and for all x E (t),
one has |x| > y (t T ) 1 and
e1 1 (tT ) J (y (t T ) 1)
J(x) J (y (t T ) 1) = e e(f (0))t , (6.53)
C J (y (t T ))
J(s 1)
since y (t T ) as t and 1 as s , from (6.5). This implies (6.27) and
J(s)
completes the proof of Theorem 7.
In this section, we prove an upper bound for max{E (t)(0, +)} (resp. min{E (t)(, 0)}).
The proof of this upper bound is based on the construction of suitable supersolutions of (6.1). The
construction of such supersolutions strongly relies on Hypotheses 1 and 2.
138
6.4. Proofs of the Theorems
We shall prove that there exists > 0 such that, for any (0, 1),
n o
E (t) J 1 [et , J(0)] for large t. (6.54)
Since f C 1 ([0, 1]), the per capita growth rate" f (s)/s is bounded from above by r = sup (f (s)/s) >
s(0,1]
0.
Even if it means increasing , one can assume without loss of generality, that J < 1 on [, ). Indeed,
if y 0 then (x) (|x y|) 0 (|y|). If y > 0, since is nondecreasing and from (6.56), we
have (|y x|) (max(x, y)) (min(x, y)) (x) (y). Notice that (6.57) implies immediately
that
x R, y R, (|x|) (|x y|) (|y|). (6.58)
Let us dene
(x) = e(|x|) for all x R.
Moreover,
Z Z Z Z
J(y)/(y)dy = J(y)e(|y|) dy = J(y)e(|y|) dy + J(y)e(|y|) dy
R R |y|< |y|
Z Z 0 1
(|y|) J(y + )
= J(y)e dy + J(y)0 dy < ,
|y|< |y| J(y)
(6.60)
J(y + )
from hypothesis 1 and since 1 as y from (6.5).
J(y)
Since u0 is compactly supported, there exists 1 > 0 such that (x) u0 (x), for all |x| 1 .
Finally, set Z
(|y|)
0 = max J(y)e dy, 1 1 + r,
R
139
Chapitre 6. Fast propagation in integro-dierential equations
Observe that u0 (x) u(0, x) for all x R. Let us now check that u is a supersolution of the
equation (6.1) satised by u. Since u 1,it is enough to check that u is a supersolution of (6.1)
whenever u < 1. Note that since (x) is nonincreasing with respect to |x|, u(t, x) < 1 implies that
|x| > 1 . Assume that (t, x) [0, +) [1 , ) and u(t, x) < 1, then it follows from (6.59) that
e0 t
(J u)(t, x) (J )(x)
(1 )
Z
(x) 0 t
e J(y)/(y)dy .
(1 ) R
Z
= u(t, x) J(y)/(y)dy.
R
This implies that for all (t, x) such that u(t, x) < 1
from the denition of 0 . The parabolic maximum principle [185, 191] then implies that :
For all t t (so that E (t) is not empty) and for all x E (t), there holds
(|x| < 1 ) or |x| 1 and = u(t, x) ((x)/(1 ))e0 t .
Then, from the denition of for large x, and since J(s + )/J(s) 1 as s for any >
0 /(1 0 ), there exists a time T t such that
Proof of (6.54) under Hypothesis 2 Assume that J is satises hypothesis 2. Since J(x) is decrea-
sing with respect to |x|, we get the following inequality for any x 0 :
Z Z Z
(J J)(x) 0
J(x y) x J(x y)J(y) + J(y)
= J(y)dy + dy + J(x y)dy
J(x) J(x) 0 J(x) x J(x)
Z x/2 Z x
J(x y) J(x y)
1+ J(y)dy + J(y)dy (6.63)
0 J(x) x/2 J(x)
J(x/2)
1+ .
J(x)
140
6.4. Proofs of the Theorems
From the symmetry of J, the inequality also holds for x 0. Moreover, since J satises (6.12), there
exists x0 > 0, and C0 > 0 such that
Z Z
J(x/2) |x| J (s) |x| C0
ln = ds ds = C0 ln (2) for all |x| x0 .
J(x) J(s) s
|x|/2 |x|/2
This implies that there exists K > 0 such that for all x R,
(J J)(x)
1 + K. (6.64)
J(x)
Since u0 is compactly supported, there exists 1 > 0 such that J(1 ) 1 and J(x) u0 (x), for all
|x| 1 . Then, set 0 = r + K and for all (t, x) [0, +) R :
J(x) 0 t
u(t, x) = min e ,1 .
J(1 )
Observe that u0 (x) u(0, x) for all x R. Let us now check that u is a supersolution of the
equation (6.1) satised by u. In the region (t, x) such that u(t, x) = 1, the same arguments as in
section 4.3 lead to :
Let us check that u is also a supersolution of (6.1) when u < 1. If t 0, |x| 1 and u(t, x) < 1 then
it follows from (6.64) that
e0 t
(J u)(t, x) (J J)(x)
J(1 )
J(x) 0 t
(1 + K) e
J(1 )
(1 + K)u(t, x).
This implies that
J(x) 0 t
u(t, x) u(t, x) e , for all (t, x) [0, ) R.
J(1 )
For all t t (so that E (t) is not empty) and all x E (t), there holds
J(x) 0 t
(|x| < 1 ) or |x| 1 and = u(t, x) e .
J(1 )
In all cases, one gets that
Then, for any > 0 f (0) > 0, there exists a time T t such that
141
Chapitre 6. Fast propagation in integro-dierential equations
6.5 Discussion
142
Bibliographie
Publications personnelles
[GGHR12] J Garnier, T Giletti, F Hamel et L Roques : Inside dynamics of pulled and pushed
fronts. J. Math. Pures Appl., 11:173188, 2012.
[GGN12] J Garnier, T Giletti et G Nadin : Maximal and minimal spreading speeds for reaction
diusion equations in nonperiodic slowly varying media. J. Dyn. Dier. Equ., paratre.
[GHR12] J Garnier, F Hamel et L Roques : Success rate of a biological invasion and the spatial
distribution of the founding population. Bull. Math. Bio., 74:453473, 2012.
[RGHK12] L Roques, J Garnier, F Hamel et E Klein : Allee eect promotes diversity in traveling
waves of colonization. Proc. Natl. Acad. Sci. USA, doi : 10.1073/pnas.1201695109.
Autres rfrences
143
Bibliographie
[13] N H Barton et M Turelli : Spatial waves of advance with bistable dynamics : cytoplasmic
and genetic analogues of allee eects. Am. Nat., 178(3):E48E75, 2011.
[14] P W Bates, P C Fife, X Ren et X Wang : Traveling waves in a convolution model for phase
transitions. Arch. Ration. Mech. Anal., 138:105136, 1997.
[15] M Belassoued et M Yamamoto : Inverse source problem for a transmission problem for a
parabolic equation. J. Inverse Ill-Posed Probl., 14(1):4756, 2006.
[16] L Berec, E Angulo et F Courchamp : Multiple allee eects and population management.
Trends Ecol. Evol., 22:185191, 2007.
[19] H Berestycki et F Hamel : Front propagation in periodic excitable media. Comm. Pure Appl.
Math., 55(8):9491032, 2002.
[21] H Berestycki et F Hamel : Generalized transition waves and their properties. Comm. Pure
Appl. Math., 65:592648, 2012.
[23] H Berestycki, F Hamel et N Nadirashvili : The speed of propagation for KPP type
problems. I : Periodic framework. J. Eur. Math. Soc., 7(2):173213, 2005.
[26] H Berestycki, F Hamel et L Rossi : Liouville-type results for semilinear elliptic equations
in unbounded domains. Ann. Mat. Pura Appl., 186(3):469507, 2007.
144
[30] H Berestycki et L Rossi : Reaction-diusion equations for population dynamics with forced
speed I - the case of the whole space. Discrete Contin. Dyn. Syst., 21(1):4167, 2008.
[31] R Bialozyt, B Ziegenhagen et R J Petit : Contrasting eects of long distance seed dispersal
on genetic diversity during range expansion. J. Evol. Biol., 19(1):1220, 2006.
[32] J Billingham et D J Needham : The development of traveling waves in quadratic and cubic
autocatalysis with unequal diusion rates. I. Permanent form of traveling waves. Philos. Trans.
R. Soc. Lond. Ser. A, 334:124, 1991.
[33] M Bramson : Convergence of solutions of the Kolmogorov equation to travelling waves. Mem.
Amer. Math. Soc., 44, 1983.
[34] N F Britton : Reaction-Diusion Equations and their Applications to Biology. Academic Press,
1986.
[37] X Cabr et J M Roquejoffre : Propagation de fronts dans les quations de Fisher-KPP avec
diusion fractionnaire. C. R. Math. Acad. Sci. Paris, 347(2324):13611366, 2009.
[38] A Carr et J Chmaj : Uniqueness of travelling waves for nonlocal monostable equations. Proc.
Amer. Math. Soc., 132(8):24332439, 2004.
[39] G Chapuisat et E Grenier : Existence and nonexistence of traveling wave solutions for a
bistable reaction-diusion equation in an innite cylinder whose diameter is suddenly increased.
Commun. Partial Dier. Equations, 30:18051816, 2005.
[40] E Chasseigne, M Chaves et J D Rossi : Asymptotic behavior for nonlocal diusion equations.
J. Math. Pures Appl., 86:271291, 2006.
[41] X Chen : Existence, uniqueness, and asymptotic stability of traveling waves in nonlocal evolution
equations. Adv. Di. Equations, 2:125160, 1997.
[43] J S Clark : Why trees migrate so fast : Confronting theory with dispersal biology and the
paleorecord. Am. Nat., 152:204224, 1998.
[45] R S Cosner et C Cantrell : Spatial Ecology via Reaction-Diusion Equations. John Wiley
& Sons Ltd, 2003.
145
Bibliographie
[46] J Coville : Travelling fronts in asymmetric nonlocal reaction diusion equation : the bistable
and ignition case. Preprint, 2007.
[49] M Cristofol et L Roques : Biological invasions : Deriving the regions at risk from partial
measurements. Math. Biosci., 215(2):158166, 2008.
[51] DAISIE : Alien Terrestrial Arthropods of Europe. BioRisk 4, Volume 1 and 2. Pensoft, 2010.
[52] M B Davis et R G Shaw : Range shifts and adaptive responses to quaternary climate change.
Science, 292(5517):6739, 2001.
[53] B Dennis : Allee eects : population growth, critical density, and the chance of extinction. Nat.
Resour. Model., 3:481538, 1989.
[54] O Diekmann : Run for your life. A note on the asymptotic speed of propagation of an epidemic.
J. Di. Equations, 33:5873, 1979.
[56] J M Drake : Allee eects and the risk of biological invasion. Risk Anal., 24:795802, 2004.
[58] Y Du et H Matano : Convergence and sharp thresholds for propagation in nonlinear diusion
problems. J. Eur. Math. Soc., 12:279312.
[59] P DuChateau et W Rundell : Unicity in an inverse problem for an unknown reaction term
in a reaction-diusion equation. J. Di. Equations, 59:155164, 1985.
[61] J P Eckmann et C E Wayne : The nonlinear stability of front solutions for parabolic dierential
equations. Comm. Math. Phys., 161:323334, 1994.
[63] H Egger, H W Engl et M Klibanov : Global uniqueness and Hlder stability for recovering
a nonlinear source term in a parabolic equation. Inverse Problems, 21:271290, 2005.
146
[65] L Excoffier, M Foll et R J Petit : Genetic consequences of range expansions. Annu. Rev.
Ecol. Evol. Syst., 40(1):481501, 2009.
[66] L Excoffier et N Ray : Surng during population expansions promotes genetic revolutions
and structuration. Trends Ecol. Evol., 23(7):347351, 2008.
[67] L Fahrig : Eects of habitat fragmentation on biodiversity. Annu. Rev. Ecol. Evol. Syst.,
34:487515, 2003.
[68] J Fayard, E K Klein et F Lefvre : Long distance dispersal and the fate of a gene from the
colonization front. J. Evol. Biol., 22(11):21712182, 2009.
[69] P C Fife : Long-time behavior of solutions of bistable non-linear diusion equations. Arch.
Ration. Mech. Anal., 70(1):3146, 1979.
[70] P C Fife : Mathematical Aspects of Reacting and Diusing Systems. Springer-Verlag, 1979.
[71] P C Fife et J McLeod : The approach of solutions of nonlinear diusion equations to traveling
front solutions. Arch. Ration. Mech. Anal., 65:335361, 1977.
[72] R A Fisher : The wave of advance of advantageous genes. Ann. Eugenics, 7:335369, 1937.
[73] M Freidlin : On wave front propagation in periodic media. In Stochastic analysis and appli-
cations. Adavances in Probability and related topics, 1984.
[74] M Freidlin et J Grtner : On the propagation of concentration waves in periodic and random
media. Sov. Math., 20:12821286, 1979.
[76] M Gaitan, P Ramoul et M Cristofol : Inverse problems for a two by two reaction-diusion
system using a carleman estimate with one observation. Inverse Problems, 22:15611573, 2006.
[77] T Gallay : Ondes progressives dans les sytmes de reaction-diusion. Cours cole dt de
lInstitut Fourier, 2005.
[78] R H Gardner, B T Milne, M G Turner et R V ONeill : Neutral models for the analysis
of broad-scale landscape pattern. Landscape Ecol., 1:1928, 1987.
[80] K Hadeler et F Rothe : Travelling fronts in nonlinear diusion equations. J. Math. Biol.,
2:251263, 1975.
[82] O Hallatschek et D R Nelson : Gene surng in expanding populations. Theor. Popul. Biol.,
73:158170, 2008.
147
Bibliographie
[86] F Hamel, J Fayard et L Roques : Spreading speeds in slowly oscillating environments. Bull.
Math. Bio., 72:11661191, .
[87] F Hamel et G Nadin : Spreading properties and complex dynamics for monostable reaction-
diusion equations. Comm. Part. Di. Equations.
[88] F Hamel et L Roques : Fast propagation for KPP equations with slowly decaying initial
conditions. J. Di. Equations, 249:17261745, 2010.
[89] F Hamel, L Roques et G Nadin : A viscosity solution method for the spreading speed formula
in slowly varying media. Indiana Univ. Math. J., paratre, .
[90] F Harary et H Harborth : Extremal animals. J. Comb. Inf. Syst. Sci., 1:18, 1976.
[93] D Henry : Geometric Theory of Semilinear Parabolic Equations. Lecture Notes in Mathematics.
Springer, 1981.
[94] G M Hewitt : The genetic legacy of the quarternary ice ages. Nature, 405:907913, 2000.
[95] G E Hutchinson : Circular causal systems in ecology. Ann. NY Acad. Sci., 50:221246, 1948.
[98] IUCN : Guidelines for the Prevention of Biodiversity Loss Caused by Alien Invasive Species
prepared by the Species Survival Commission (SSC) Invasive Species Specialist Group. Approved
by the 51st Meeting of the IUCN Council, Gland, 2000.
[99] IUCN : Policy recommendations papers for sixth meeting of the Conference of the Parties to
the Convention on Biological Diversity (COP6). The Hague, Netherlands, 2002.
[100] A R Kanarek et C T Webb : Allee eects, adaptive evolution, and invasion success. Evol.
Appl., 3:122135, 2010.
[101] Ja I Kanel : Certain problem of burning-theory equations. Dokl. Akad. Nauk SSSR, 136:277
280, 1961.
148
[102] Ja I Kanel : Stabilization of solutions of the equations of combustion theory with nite initial
functions. Matematicheskii Sbornik, 65:398413, 1964.
[103] N Kawasaki et K Shigesada : Biological Invasions : Theory and Practice. Oxford University
Press, 1997.
[104] T H Keitt : Spectral representation of neutral landscapes. Landscape Ecol., 15:479494, 2000.
[105] T H Keitt, M A Lewis et R D Holt : Allee eects, invasion pinning, and species borders.
Am. Nat., 157:203216, 2001.
[106] M Kenis : Insects-insecta. In Invasive alien species in Switzerland. An inventory of alien species
and their threat to biodiversity and economy in Switzerland. Swiss Confederation - Federal Oce
for the Environment Environmental Studies, 2006.
[108] M Kirkpatrick et N H Barton : Evolution of a species range. Am. Nat., 150:123, 1997.
[109] M V Klibanov et A A Timonov : Carleman Estimates for Coecient Inverse Problems and
Numerical Applications. VSP, 2004.
[110] S Klopfstein, M Currat et L Excoffier : The fate of mutations surng on the wave of a
range expansion. Mol. Biol. Evol., 23(3):482490, 2006.
[111] K Kobayashi : On the semilinear heat equations with time-lag. Hiroshima Math. J., 7:459472,
1977.
[113] M Kot, M Lewis et P Van den Driessche : Dispersal data and the spread of invading
organisms. Ecology, 77:20272042, 1996.
[114] A M Kramer, B Dennis, A M Liebhold et J M Drake : The evidence for Allee eects.
Popul. Ecol., 51:341354, 2009.
[115] D A Larson : Demographic stochasticity and allee eect on a scale with isotrophic noise. Oikos,
83:353358, 1998.
[116] K S Lau : On the nonlinear diusion equation of Kolmogorov, Petrovsky and Piscounov. J.
Di. Equations, 59:4470, 1985.
[117] B Leung, J M Drake et D M Lodge : Predicting invasions : propagule pressure and the
gravity of allee eects. Ecology, 85:16511660, 2004.
[118] M A Lewis et P Kareiva : Allee dynamics and the speed of invading organisms. Theor. Popul.
Biol., 43:141158, 1993.
149
Bibliographie
[119] M A Lewis et P Van Den Driessche : Waves of extinction from sterile insect release. Math.
Biosci., 116(2):221247, 1993.
[120] A Lorenzi : An inverse problem for a semilinear parabolic equation. Ann. Mat. Pura Appl.,
131:145166, 1982.
[121] M. Lucia, C B Muratov et M Novaga : Linear vs. nonlinear selection for the propagation
speed of the solutions of scalar reaction-diusion equations invading an unstable equilibrium.
Comm. Pure Appl. Math, 57:616636, 2004.
[122] F Lutscher : A short note on short dispersal events. Bull. Math. Bio., 69:16151630, 2007.
[124] F Lutscher, E Pachepsky et M Lewis : The eect of dispersal patterns on stream population.
SIAM J. Appl. Math., 65(4):13051327, 2005.
[127] E Mayr : Systematics and the Origin of Species from the Viewpoint of a Zoologist. Columbia
University Press, 1942.
[128] M A McCarthy : The allee eect, nding mates and theoretical models. Ecol. Model., 103
(1):99102, 1997.
[129] J Medlock et M Kot : Spreading disease : Integro-dierential equations old and new. Math.
Biosci., 184(2):201222, 2003.
[130] A Mellet, J-M Roquejoffre et Y Sire : Generalized fronts for one-dimensional reaction-
diusion equations. Discrete And Continuous Dynamical Systems, 26(1):303312, 2009.
[132] D Mollison : Spatial contact models for ecological and epidemic spread. J. R. Stat. Ser. B
Stat. Methodol., 39:283326, 1977.
[133] D Mollison : Markovian contact process. Adv. Appl. Prob., 10:85108, 1978.
[136] G Nadin et L Rossi : Propagation phenomena for time heterogeneous KPP reaction-diusion
equations. J. Math. Pures Appl., 2012.
150
[137] S I Nakamura : A note on uniqueness in an inverse problem for a semilinear parabolic equation.
Nihonkai Math. J, 12:7173, 2001.
[138] C Neuhauser : Mathematical challenges in spatial ecology. Not. AMS, 48:13041314, 2001.
[139] J Nolen, J-M Roquejoffre, L Ryzhik et A Zlato : Existence and non-existence of Fisher-
KPP transition fronts. Arch. Ration. Mech. Anal., 203:217246, 2012.
[140] J Nolen et J Xin : Asymptotic spreading of KPP reactive fronts in incompressible space-time
random ows. Ann. Inst. H. Poincar, Anal. Non Linaire, 26(3):815839, 2008.
[141] C V Pao : Nonlinear Parabolic and Elliptic Equations. Plenum Press, 1992.
[142] A Pazy : Semigroup of Linear Operators and Applications to Partial Dierential Equations.
Springer-Verlag, 1983.
[143] C P Pease, R Lande et J J Bull : A model of population growth, dispersal and evolution in
a changing environment. Ecology, 70:16571664, 1989.
[144] M S Pilant et W Rundell : An inverse problem for a nonlinear parabolic equation. Comm.
Partial Di. Equations, 11:445457, 1986.
[145] A R Pluess : Pursuing glacier retreat : genetic structure of a rapidly expanding larix decidua
population. Mol. Ecol., 20(3):473485, 2011.
[146] P Polc ik : Threshold solutions and sharp transitions for nonautonomous parabolic equations
on r n . Arch. Ration. Mech. Anal., 199(1):6997, 2011.
[149] C Reid : The Origin of the British Flora. Dulau & Co, 1899.
[152] L Roques : Study of the premixed ame model with heat losses the existence of two solutions.
European J. Appl. Math., 16(Part 6):741765, 2005.
151
Bibliographie
[155] L Roques et M Cristofol : On the determination of the nonlinearity from localized measu-
rements in a reaction-diusion equation. Nonlinearity, 23:675686, 2010.
[156] L Roques et F Hamel : Mathematical analysis of the optimal habitat congurations for species
persistence. Math. Biosci., 210(1):3459, 2007.
[159] L Roques et R S Stoica : Species persistence decreases with habitat fragmentation : an analysis
in periodic stochastic environments. J. Math. Biol., 55(2):189205, 2007.
[161] F Rothe : Convergence to pushed fronts. Rocky Mountain J. Math., 11:617634, 1981.
[163] D H Sattinger : On the stability of waves of nonlinear parabolic systems. Adv. Math., 22:312
355, 1976.
[164] D H Sattinger : Weighted norms for the stability of traveling waves. J. Di. Equations,
25:130144, 1977.
[165] K W Schaaf : Asymptotic behavior and traveling wave solutions for parabolic functional
dierential equations. Trans. Amer Math Soc., 302:587615, 1987.
[167] W Shen : Traveling waves in diusive random media. J. Dynamics and Di. Eqns., 16:1011
1060, 2004.
[170] S Soubeyrand, L Held, M Hohle et I Sache : Modelling the spread in space and time of an
airborne plant disease. J. R. Stat. Ser. C Appl. Stat., 57:253272, 2008.
152
[171] S Soubeyrand, S Neuvonen et A Penttinen : Mechanical-statistical modeling in ecology :
from outbreak detections to pest dynamics. Bull. Math. Bio., 71:318338, 2009.
[172] A N Stokes : On two types of moving front in quasilinear diusion. Math. Biosci., 31:307315,
1976.
[175] P Turchin : Quantitative Analysis of Movement : Measuring and Modeling Population Redis-
tribution in Animals and Plants. Sinauer Associates, 1998.
[176] A M Turing : The chemical basis of morphogenesis. Phil. Trans. R. Soc. B, 237:3772, 1952.
[177] K Uchiyama : The behaviour of solutions of some non-linear diusion equations for large time.
J. Math. Kyoto Univ., 18(3):453508, 1978.
[178] W van Saarloos : Front propagation into unstable states. Phys. Rep., 386:29222, 2003.
[179] R R Veit et M A Lewis : Dispersal, population growth, and the Allee eect : dynamics of the
house nch invasion of eastern north america. Am. Nat., 148:255274, 1996.
[182] G-R Walther, A Roques, P E Hulme, M T Sykes, P Pyek, I Khn, M Zobel, S Bacher,
Z Botta-Dukt, H Bugmann, B Czcz, J Dauber, T Hickler, V Jarok, M Kenis,
S Klotz, D Minchin, M Moora, W Nentwig, J Ott, V E Panov, B Reineking, C Robinet,
V Semenchenko, W Solarz, W Thuiller, M Vil, K Vohland et J Settele : Alien species
in a warmer world : risks and opportunities. Trends Ecol. Evol., 24(12):686693, 2009.
[183] M-H Wang, M Kot et M G Neubert : Integrodierence equations, allee eects and invasions.
J. Math. Biol., 44:150168, 2002.
[185] H F Weinberger : Long-time behavior of a class of biological models. SIAM J. Math. Anal.,
13(3):353396, 1982.
153
Bibliographie
[186] H F Weinberger : On spreading speeds and traveling waves for growth and migration in
periodic habitat. J. Math. Biol., 45:511548, 2002.
[187] H F Weinberger et X Q Zhao : An extension of the formula for spreading speeds. Math.
Biosci. Eng., 7(1):187194, 2010.
[190] J Xin : Front propagation in heterogeneous media. SIAM Review, 42:161230, 2000.
[191] H Yagisita : Existence and nonexistence of travelling waves for a nonlocal monostable equation.
Publ. RIMS, Kyoto Univ., 45:925953, 2009.
[192] M Yamamoto et J Zou : Simultaneous reconstruction of the initial temperature and heat
radiative coecient. Inverse Problems, 17:11811202, 2001.
[193] T Yamanaka et A M Liebhold : Mate-location failure, the allee eect, and the establishment
of invading populations. Popul. Ecol., 51:337340, 2009.
[195] A Zlato s : Sharp transition between extinction and propagation of reaction. J. Amer. Math.
Soc., 19:251263, 2006.
154
Rsum
155
Bibliographie
Abstract
This thesis deals with the mathematical analysis of reaction-dispersion models of the form t u =
D(u) + f (x, u). We investigate the inuence of the reaction term f, the dispersal operator D and
the initial datum u0 on the propagation of the solutions of these reaction-dispersion equations. We
mainly focus on two types of equations : reaction-diusion equations (D = x2 ) and integro-dierential
equations (D is a convolution operator, D(u) = J u u). We rst investigate the homogeneous
reaction-diusion equations. We provide a new and intuitive explanation of the notions of pushed
and pulled traveling waves. This approach allows us to understand the inside dynamics the traveling
fronts and the impact of the Allee eect, that is a low fertility at low density, during a colonisation.
Our results also have important consequences in population genetics. In the more general and realistic
framework of heterogeneous reaction-diusion equations, we exhibit examples where the fragmentation
of the media modies the spreading speed of the solution. Finally, we investigate integro-dierential
equations and prove that fat-tailed dispersal kernels J, that is kernels which decay slower than any
exponentially decaying function at innity, lead to acceleration of the level sets of the solution u.
156