Beruflich Dokumente
Kultur Dokumente
Universit
e Pierre et Marie Curie, Paris 6
Ecole doctorale des Sciences Math
ematiques de Paris Centre
UFR 921
Equations
de r
eaction-diffusion
non-lin
eaires et mod
elisation en
ecologie
`
THESE
presentee et soutenue publiquement le lundi 5 juillet 2004
pour lobtention du
Doctorat de lUniversit
e Pierre et Marie Curie Paris 6
(sp
ecialit
e Math
ematiques Appliqu
ees)
par
Lionel ROQUES
Composition du jury
Rapporteurs :
M. Michel LANGLAIS
M. Jean-Claude SAUT
Examinateurs :
M.
M.
M.
M.
M.
Henri BERESTYCKI
Ham BREZIS
Alain FRANC
Jean-Pierre FRANC
OISE
Francois HAMEL
Directeur
Remerciements
Je tiens tout particulirement remercier mon Directeur de Thse, Henri Berestycki,
qui m'a propos des sujets passionnants, et avec qui j'ai grand plaisir travailler. J'apprcie normment son approche des mathmatiques, toujours claire et rigoureuse. Il m'a
beaucoup apport, et je lui en suis inniment reconnaissant.
J'exprime galement toute ma gratitude Franois Hamel, qui m'a souvent conseill et
guid, faisant toujours preuve de beaucoup de disponibilit et de gentillesse. J'ai galement
beaucoup apprci travailler avec lui.
Je suis trs sensible l'honneur que m'ont fait Michel Langlais et Jean-Claude Saut
en acceptant d'tre rapporteurs de cette thse. Je remercie galement les autres membres
de mon jury de thse, Alain Franc et Jean-Pierre Franoise, pour l'intrt qu'ils portent
mon travail.
Ham Brezis me fait un grand honneur en acceptant de participer ce jury. Je l'en
remercie vivement.
Je tiens galement exprimer ma reconnaissance envers les agents INRA avec lesquels j'ai travaill : Marie-Anne Auger-Rozenberg, Solen Boivin, Alain Chalon, Jean-Nol
Candau, Jean-Pierre Fabre et Arthur Raimbault. Ils ont su rpondre avec beaucoup de
Megastigmus schimitscheki, et m'ont fourni tous les documents qui m'taient ncessaires.
patience mes questions incessantes concernant la biologie du fameux
ii
Sarah
iii
iv
1.1
1.2
. . . . . . . .
. . . .
13
. . . . . . . . . . . . . . . . . . . . . .
14
17
Note au CRAS
19
Introduction
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . .
2.1
2.2
2.3
28
32
. . . . . . . . . . . . . . . . . . .
33
. . . . . . . . . . . . . . . . . . . . . . . . .
34
35
. . . . . . . . . . . . .
38
. . . . . . . . . . . . . . . . . . . . . . . . . . .
39
. . . . . . . . . . . . . . . . . . . . . . . . . .
41
3.1
Proof of existence
3.2
Proof of uniqueness
3.3
. . . . . . . . . . . . . . . . . . . . . .
46
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
47
. . . . . . . . . . . . . . . .
5.1
5.2
fu (x, 0)
. . . . . . . . . .
49
. . . . . . . . . . . . . . . . . .
50
. . . . . . . . . .
Existence result
53
57
. . . . . . . . . . . . . . . . . . . . . . . . .
58
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
63
2.1
. . . .
63
2.2
69
2.3
2.4
Existence of a solution
(c1 , u1 )
2.5
Existence of a solution
(c, u)
4.3
c > c1
77
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
82
for all
74
. . . . . . . . . . . . . . . . . . . . . . . . .
4.2
. . . . . . . . . . . . . . . . . . . .
70
75
. . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . .
4.1
. . . . . . . . . . . . . . .
82
. . . . . . . . . . . . . . . . . . . . . . . . .
83
. . . . . . . . .
87
95
. . . . . . . . . . . . . . . . . . . . . . . . .
96
98
2.1
. . . . . . . . . . . . . . . . . .
98
2.2
99
2.3
2.4
vi
48
Proof of theorem 2
R+
R+
. . . . . . . . . . . . . . . . . . . . . . . 109
. . . . . . . . . . . . . . . . . . . . . . . 110
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
3.1
. . . . . . . . . . . . . . . . . . . . . . . . . 111
3.2
3.3
. . . . . . . . . . . . . . . . 112
. . . . . . . . . . . . . . . . . . . . . 113
123
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 124
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
3.2
3.3
Tests numriques
. . . . . . . . . . . . . . . . 125
. . . . . . . . . . . . . . . . 129
. . . . . . . . . . . . . . . . . . . . . . . . . . 129
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130
5.1
5.2
5.3
Discussion
. . . . . . 131
. . . . . . . . . . 131
. . . . . . . . . . . . . . . . . . 133
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
6.1
Validation du modle
. . . . . . . . . . . . . . . . . . . . . . . . . 133
6.2
6.3
Limites
6.4
Rsultats venir
6.5
. . . . . . . . . . . . . . 135
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 136
. . . . . . . . . . . . . . . . 137
Figures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137
Bibliographie
147
vii
viii
Introduction Gnrale
Introduction Gnrale
L'tude de problmes de raction-diusion non-linaires constitue l'objet de cette
thse. Elle se divise en trois parties distinctes ; la premire concerne l'analyse mathmatique de modles d'invasion biologique en environnement priodique fragment. La
deuxime tudie un modle mathmatique issu de la thorie de la combustion. La dernire partie, enn, aborde la modlisation de la dispersion d'un insecte invasif.
Le point commun entre ces trois parties est l'utilisation et l'tude d'quations aux
drives partielles en rapport la modlisation, et de la forme
u
= (A(x)u) V (x) u + f (x, u), t R+ , x RN .
t
Les premire et deuxime parties s'intressent ainsi plus spciquement aux solutions
front progressif . Les premire et troisime parties s'attachent des phnomnes d'invasion biologique modliss par ce type d'quation.
Les modles tudis dans la premire partie ont t rcemment introduits par Shigesada
et al.
p,
Dans la deuxime partie, nous nous pencherons sur l'existence de ammes planes,
dans le cas d'une raction chimique exothermique non-rversible du type
A B,
avec
pertes de chaleur volumtriques. L'objectif sera donc de trouver des solutions du type
front progressif un systme de deux quations de raction-diusion. En utilisant des
outils topologiques, nous prouverons ici, sous certaines conditions, l'existence de deux
solutions distinctes, et donnerons des rsultats de non-existence ainsi que des estimations
sur la vitesse des ammes.
Dans la troisime partie, nous nous consacrerons la modlisation du processus d'extension spatio-temporelle d'une nouvelle espce d'insecte, rcemment introduite au MontVentoux (Sud-Est de la France) par le biais de graines de cdre du Liban. Les dplacements
de l'insecte au stade adulte seront modliss par une quation de raction-diusion. Le
recours des tests numriques nous permettra de mettre en vidence l'utilit de ce modle
dans l'approfondissement de la comprhension du processus d'invasion de l'insecte, et dans
la prvision de sa position pour les annes venir. Nous voquerons galement les possi-
ut = u + f (u)
sur
RN
(1)
ont t introduites la n des annes 30 dans des travaux de Fisher (1937) [43] et Kolmogorov, Petrovsky et Piskunov (1938) [68], pour des modles de gntique des populations.
Les non-linarits
f (u) = u(1 u)
(loi logistique) ou
toute vitesse c c = 2
f 0 (0) [5, 68]. De plus, toute solution positive qui, l'instant
initial, est non nulle et support compact, converge vers 1 en temps grand, en s'tendant
(2)
o le champ de matrices
et al.
fu (x, 0)
est ngatif, plus le milieu est dfavorable la survie des espces. L'exemple le
Introduction Gnrale
A notre connaissance, et mme dans le cas simpli du patch model, nous apportons
ici la premire preuve rigoureuse des rsultats noncs. Si d'autres auteurs ont obtenu
des rsultats concernant le problme (2), aucun en eet n'en a fait une tude complte.
En outre, l'intrt port au cas gnral de l'quation (2), o les coecients ne sont pas
ncessairement constants par morceaux, o
mension
fu (x, u)
position des zones favorables et dfavorables sur la survie des espces a t tudie dans
le cas born, et pour des fonctions continues par morceaux par Cantrell et Cosner [28] ;
l'existence de front progressifs pulsatoires a t montre, en dimension
1, et sans prouver
l'existence d'une vitesse minimale par Hudson et Zinner [56] ; enn, une formule pour la
vitesse minimale des fronts c peut tre dduite d'un travail de Weinberger [92], avec une
approche dirente, o il est notamment suppos
a priori
en temps.
1.1
Dans ce chapitre, nous nous intressons l'existence et l'unicit des tats stationnaires de l'quation (2). L'tat
solutions
du problme
(A(x)p) = f (x, p)
p(x) > 0, x RN .
dans
RN ,
(3)
Sous certaines hypothses, nous prouvons que les solutions de (3) sont en fait priodiques
(L1 -priodicit en
x1 ,..., LN -priodicit
en
xN ).
0,
x RN , s 7 f (x, s)/s
s>0
(4)
et/ou
M 0, s M, x RN , f (x, s) 0.
Soit
(5)
(A(x)) fu (x, 0) = 1 ,
(x) > 0
dans
RN .
x),
Thorme 1 1) Supposons 1 < 0. Si f vrie (5), alors il existe une solution priodique
p de
(3) ; si f vrie (4), alors il existe au plus une solution borne de (3), qui est alors
priodique.
2) Si 1 0 et f vrie (4), alors il n'existe pas de solution borne de (3).
Introduction Gnrale
minore par une constante strictement positive. L'unicit est alors une consquence du
principe du maximum, et la priodicit une consquence de l'unicit.
Des conditions d'existence et d'unicit des solutions
en temps grand des solutions
u(t, x)
Thorme 2 Sous les hypothses (4) et (5), alors u(t, x) p(x) (unique solution borne
2
de (3)) dans Cloc
(RN ) quand t + si 1 < 0, et u(t, x) 0 uniformment en x quand
t + si 1 0.
1 < 0
espces (avec une concentration nale obtenue gale l'unique solution borne
1 0.
propre 1 , qui
de (3)),
ne dpend que de
et de
fu (, 0),
joue donc un
rle crucial, et nous prcisons dans la suite de cette section l'inuence des htrognits
du milieu sur la valeur de
1 ,
Thorme 3 1) On a 1 [] 1 [0 ], o
1 = 1 []
avec
de C .
2) Si A = I , alors 1 [ ] 1 [], o est la symtrisation de Steiner priodique de
.
Z
3) Si 0 et maxRN > 0, alors 1 [B] < 0 pour tout B > 0, et 1 [B] est
C
strictement dcroissant par rapport B 0. Si < 0, alors 1 [B] > 0 pour B > 0
C
petit. Si maxRN > 0, alors 1 [B] < 0 au moins pour B > 0 susamment grand et
1 [B] est strictement dcroissant en B ds que 1 [B] < 0.
Ces trois rsultats sont prouvs en utilisant une caractrisation variationnelle de
1 [].
Leur originalit tient en partie l'utilisation d'une formule de B. Kawohl [65], nous permet-
||
| |2 ,
1 [].
A la lumire des thormes 2 et 3, ces rsultats ont une interprtation simple, mais
non triviale intuitivement, en termes de survie de l'espce. Ainsi, la partie 1) signie que,
moyenne gale, un taux de natalit htrogne (non constant en
espces, et ce quel que soit le type de diusion. Pour prciser le rsultat 2), nous devons
rappeler les notions de symtris priodique de Schwarz et de Steiner.
L-priodique sur R, symtrique par rapport la droite x = L/2, dcroissante sur [0, L/2],
puis croissante sur [L/2, L] et ayant la mme distribution que . En dimension N , on
6
x 1 , , xN ,
la fonction
ob-
x 1 , x2 , . . . , x N .
Fig. 1 Les eets d'un rarrangement priodique de Steiner sur les zones dfavorables.
(x) ;
(b) pour
(x).
rables) donne plus de chances de survie l'espce. Cela implique galement que la rpartition optimale des zones est ncessairement stable par rarrangement de Steiner (quel que
soit l'ordre des variables dans lequel on fait le rarrangement). Cependant, comme nous
le soulignerons dans la section 4 de cette introduction, la recherche de cette rpartition
optimale est un problme ouvert.
D'aprs la partie 3), dans le cas d'un milieu qui n'est pas compltement dfavorable,
l'amplication susamment grande du taux de natalit est meilleure pour la survie des
espces.
Dans le cas des domaines borns, avec conditions de Dirichlet ou Neumann, nous
largissons les rsultats de Cantrell et Cosner [28], des non-linarits plus gnrales, et
des dimensions suprieures. Nous considrons en eet une non-linarit similaire celle
du cas priodique, et apportons la preuve, dans le cas Dirichlet, qu'un rarrangement de
Steiner de
en termes de
1 .
Dans
Introduction Gnrale
1.2
Dans ce second chapitre, nous examinons les phnomnes de propagation, et en particulier la propagation de fronts, associs l'quation (2).
Nous tablissons le lien entre les conditions de survie des espces (existence d'une
solution
p>0
Nous prouvons en premier lieu l'existence d'une vitesse c telle qu'une solution du
type front progressif pulsatoire existe si et seulement si c c . Nous donnons ensuite une
1.2.1 Rsultats : Existence d'une vitesse minimale c , croissance des solutions, caractrisation de c et dpendance de c par rapport la nonlinarit f
Etant donns une solution
RN , on appelle front
eective c (6= 0), une solution
de
N
Y
ke
N
k
Li Z, x R , u t
, x = u(t, x + k),
c
i=1
xe
t,
(6)
f vrie
(4-5)
positive, ce qui induit une nouvelle dicult. La mthode de rgularisation et d'approximation des non-linarits par cut-o ne pouvant plus s'appliquer, nous proposons une
autre mthode. Considrant des problmes rgulariss dans des domaines borns, nous
existe est un intervalle, et c est dni comme la borne infrieure de cet intervalle. Dans
la dmonstration, nous faisons notamment plusieurs fois appel une proprit sur le signe
de l'nergie de l'tat stationnaire positif
B>0
fu (x, 0).
Nous suppo-
A et e sont xs, et que fu (x, 0) = (x), o est une fonction priodique donne
1
c [B]
c [B]
eAe M lim inf
lim sup
2 eAe M ,
B+
2
B
B+
B
c = min
>0
k (B)
suivante :
k (B)
,
(7)
k (B).
pour
du
trs direnci (B grand), la vitesse des fronts devient de plus en plus grande, mme si
l'environnement est ainsi parfois trs dfavorable certains endroits .
Introduction Gnrale
gaz prmlangs sont dcrits par des systmes scalaires d'quations de raction-diusion
non-linaires couples. La plupart des aspects de la propagation de ammes peuvent
tre tudis dans le cas du modle simpli d'une raction chimique exothermique nonrversible du type
A B.
de la amme. Ce type de
sur
(8)
R,
peut exister (par exemple pour certains hydrocarbures), de telle sorte, que pour des tempratures trop basses, la raction n'a pas lieu (ce qui impose une condition sur
f (, v)
et
g(, v)).
De nombreux travaux se sont intresss au systme (8), avec temprature d'ignition,
en particulier dans le cas adiabatique, o les pertes de chaleur sont ngliges [23], [46],
[72], [26]. Ainsi, avec
sur
(9)
R,
u() = 0, u(+) = 0,
v() = 1, v 0 (+) = 0.
(10)
Dans ce cas, Zeldovitch a prouv, dans des travaux prcurseurs [95] (1941), et en utilisant
des mthodes asymptotiques, que ce systme avait deux solutions du type
progres front
sif, dans le cas limite des hautes nergies d'activation (f (u, v)
0).
1
exp
2
u1
(u)v ,
comme une consquence d'une formule obtenue par Joulin et Clavin [60], [61], qu'ils ont
leur tour rigoureusement prouve dans [47]. Des non-linarits plus gnrales ont t
tudies par Giovangigli dans [46], o il dmontre l'existence d'une solution pour une
vitesse
Le = 1
(remarquons que
Le = 1/).
tons dans le cadre des articles de Berestycki, Nicolaenko et Scheurer [23], en conservant
Le,
En eet, Marion [72] a montr l'unicit dans le cas adiabatique, pour des nombres de
Lewis plus grands que
1,
l'unicit ne se vrie pas pour des nombres de Lewis plus petits que
1.
Nous dmontrons
ici qu'il n'y a jamais unicit dans le cas non-adiabatique (pour de faibles pertes de chaleur
).
10
0,
0.
Nous tablissons galement de nouvelles bornes pour les solutions du problme (910). Dans ses travaux, Giovangigli avait prouv (dans [46]) avec
tait borne par la vitesse
pour
Le 1
cad
Le = 1,
Le = 0.4
(rappelons que
pour l'hydrogne),
que la vitesse
c,
Le > 0,
nous donnons
raction n'est pas totale, et calculons une borne infrieure pour la quantit de ractant
non brle.
2.1
et
telles que
f (u, v) = p(u)g(v)
o la fonction
tion
R,
sur
R R,
(11)
(0, 1)
et la fonction
tq.
p(x) = 0
si
et
p(x) > 0
g<0
sur
et
R+
si
x > ,
(12)
et telle que
g(0) = 0;
(13)
De plus, nous sommes amens faire une hypothse technique sur la fonction g , vrie
n
par exemple pour des fonctions du type g(y) = y , avec n > 0, ou encore pour des
ieme
fonctions g , n fois drivables, et telles que la n
drive en 0 soit non nulle (n 1).
1
Nous supposons que la fonction h est borne dans C , strictement croissante, et satisfait
h(0) = 0.
Soient (uad , vad , cad )
(us , cs )
= 0,
tique suivant
(14)
us () = 0, us (+) = 1.
(15)
Introduction Gnrale
Pour obtenir le rsultat d'existence, nous tudions d'abord le problme sur un ouvert
born, an d'utiliser, comme dans [23], [46] et [72] un argument de degr topologique
de Leray-Schauder (voir [79]). Cependant, aprs avoir fait les estimations
a priori
et
avoir calcul le degr, nous constatons que ce dernier est nul ( cause du nombre pair
de solutions), ce qui a conduit Giovangigli changer le rle de
et de
Pour pouvoir,
malgr tout, prouver l'existence de solutions, on doit donc obtenir une nouvelle estimation
a priori, nous permettant de sparer deux types de solutions, certaines avec une vitesse c
proche de
0,
faisant tendre
des solutions
succession de lemmes techniques. Suite au calcul du degr sur deux ouverts distincts, nous
obtenons le rsultat, aprs passage la limite. La partie 2) du thorme 6 se dduit des
calculs eectus pour obtenir le rsultat d'existence, et des rsultats d'unicit de Marion
[72].
Les solutions obtenues ci-dessus ne sont pas ncessairement les seules, et nous n'avons
f (1, 1)
, le problme (9-10) n'a pas de solution.
h()
2) Si g est Klipschitzienne et si (u, v, c) n'est pas triviale, on a
Kp(1)
v(+) > exp
.
h()
Thorme 7 1) Si >
s(,1)
s[0,1]
p
0 < c < 2 1 pour tout 1 et 0 < c <
2
pour tout > 0.
[46] dans le cas = 1. Il laisse supposer l'existence d'un critique tel que, pour tout
< , il existe deux solutions, et tel que, pour tout > , il n'y a pas de solution.
Nous reviendrons sur cette question dans notre section 4.
Le deuxime rsultat donne une borne infrieure pour les gaz non brls. Nous avons d
supposer que la fonction
v,
v(+) 6= 0 ;
l'quation satisfaite
peuvent pas s'appliquer directement. Nous contournons cette dicult en faisant l'analogie
12
entre la fonction
et en
Megastigmus schimitscheki
Me-
gastigmus, dj prsentes en France, ont fait l'objet de modles, mais sur des zones moins
tendues (tude de l'impact d'un Megastigmus sur la production de graines d'un verger,
[59]). Ici, nous nous intressons un insecte dont la date et le lieu d'introduction (MontVentoux, 1994) sont connus, ce qui facilite l'tude des processus de dispersion partir du
point source, au contraire d'espces plus anciennes et maintenant rparties sur l'ensemble
du territoire. En outre, l'insecte tudi tant invasif, il n'a pas de prdateur ; remarquons
que le cdre est lui-mme une essence introduite, et n'a de ce fait galement que trs peu
de prdateurs. Ces trois points ont beaucoup contribu la possibilit de mise en place
d'un modle simple et raliste.
Une tude antrieure [40], mene dans le cadre de ce projet, nous fournit des donnes
sur la biologie de l'insecte.
Grce la synthse des caractristiques de l'insecte, qui nous a permis d'obtenir une
formulation plus claire du problme, nous avons construit un modle divis en deux parties. Dans la premire, nous simulons la phase ovo-larvaire ; dans la seconde, nous calculons
la dispersion des adultes en utilisant une quation de raction-diusion :
u
(t, x) = Du(t, x) v V (x, t) u(t, x) + f (t, x) X(t, x)u,
t
(16)
pour
D est constant, alors que le terme de transport est variable en temps et en espace
(des modles pour d'autres types d'insectes se sont montrs ecaces avec des valeurs de
transport variables et un terme de diusion xe, [9]). Concernant la variation de
en
espace, nous tenons compte de la distance de la fort la plus proche. Nous supposons en
eet que l'insecte ne dispose pas de critres dcisionnels lui commandant de sortir de la
fort, qu'il n'y parvient que par un mcanisme de diusion alatoire, et s'lve ensuite pour
tre davantage soumis au vent, en fonction de son loignement de la fort. Pour prciser
13
Introduction Gnrale
la force du vent laquelle est soumis l'insecte, nous utilisons une formule de [74], utilise
pour calculer la force du vent laquelle est soumise une graine pour une vgtation rase.
En eet, l'insecte s'levant susamment haut, nous pouvons supposer qu' l'extrieur de
la fort de cdre le milieu correspond plus une vgtation rase qu' une fort dense :
Ve
d(x, f oret)
proche.
Les modles de raction-diusion sont souvent utiliss en dynamique des populations,
en particulier dans les cas o l'on ne peut suivre les individus pour observer leurs mouvements (voir les livres de Turchin [89] et de Shigesada & Kawasaki [85]).
Nous rsolvons cette quation en utilisant une mthode de directions alternes ( pas
fractionnaires), propose par Godunov [7] et Yanenko [94] pour l'quation de la chaleur.
Nous estimons ensuite les paramtres
et
v .
Pour
D,
donne dans le livre de Shigesada et Kawasaki [85], nous permettant de dduire la valeur
de la diusion partir des rsultats exprimentaux dont nous disposons. Pour le calcul
de
v ,
nous utilisons une mthode gnrale dcrite par Turchin (d'aprs des travaux de
Banks et al. [8]). Cette tape consiste simplement, aprs avoir fait des hypothses initiales
sur la valeur du paramtre estimer, calculer les prdictions du modle, et optimiser
la valeur du paramtre pour ajuster ces prdictions aux valeurs exprimentales.
Nous eectuons ensuite dirents tests numriques pour vrier la validit du modle et
quantier l'inuence de certains traits adaptatifs et de certaines congurations de terrain
sur la dispersion de l'insecte. Les simulations rendent compte de rsultats proches des
mesures eectues sur le terrain. De plus, d'un point de vue qualitatif, le comportement
de l'insecte, tel que dcrit par ces tests, est cohrent avec les attentes des biologistes.
Ces calculs numriques nous ont galement permis de mieux connatre le rle la diapause
prolonge (mergence en retard d'un ou deux ans), et d'avoir une meilleure estimation de
son taux. Ils nous ont en outre donn des informations sur l'inuence de la longueur de la
priode d'mergence ou encore la prsence d'arbres isols sur la dispersion des insectes.
Nous voquons nalement les limites de ce type de modle dans le cas o les phnomnes mtorologiques ont une inuence majeure sur la dispersion de l'insecte. En eet,
l'impossibilit de les prvoir d'une anne sur l'autre rduit les possibilits de prvisions
de la dispersion long terme. C'est dans cette optique que nous avons dvelopp un lor
giciel (avec le langage de programmation Matlab ) s'adaptant d'autres congurations
de terrain et d'autres espces vivantes, dont on pourrait prdire l'volution sur de nombreuses annes de faon plus able que dans le cas trait ici. Nous pensons notamment
des espces dpourvues d'ailes, ou pourvues d'ailes susamment puissantes pour que
l'inuence du vent sur leur mouvement soit ngligeable. Le terme de transport serait alors
moins variable en temps (bassin d'attraction par exemple, ou pente pour des vgtaux).
14
Partie 2 :
valeurs de ce paramtre. Un problme ouvert naturel est donc de dterminer une valeur
Partie 3 :
une adaptation du modle construit est prvue, dans le cadre d'un autre
projet avec l'INRA, la modlisation de l'expansion spatiale d'insectes forestiers en relation avec les changements climatiques.
15
Introduction Gnrale
16
17
18
Note au CRAS
19
Note au CRAS
20
21
Note au CRAS
22
23
Note au CRAS
24
25
Note au CRAS
26
et Franois Hamel
Sommaire
1
2
4
5
6
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
Statements of the main results . . . . . . . . . . . . . . . . . 32
2.1
. . . . . . . . . . . . . . . . .
33
2.2
2.3
. . . . . . . . . . . . . . . . . . . . . . .
34
. . . . . . . . .
35
. . . . . . . . . . . . . . . . . . . . . . . . .
39
3.1
Proof of existence
3.2
Proof of uniqueness
. . . . . . . . . . . . . . . . . . . . . . . .
41
3.3
46
5.1
49
5.2
. . . . . . . . . . . . . . . .
50
J. Math. Biology.
27
1 Introduction
In the last two decades, it has become increasingly clear that the spatial dimension and, in
particular, the interplay between environmental heterogeneity and individual movement, is an
extremely important aspect of ecological dynamics.
ut = u + f (u)
in
RN
(1)
have been introduced in the celebrated articles of Fisher (1937) [43] and Kolmogorov, Petrovsky
and Piskunov (1938) [68]. The initial motivation came from population genetics and the scope
was to shed light on spatial spreading of advantageous genetic features. The nonlinear reaction
term considered there are that of a logistic law of which the archetype is
extensions like
f (u) = u(1
f (u) = u(1 u)
or
u2 ).
Several years later, Skellam (1951) [87] used this type of models to study biological invasions,
i.e. spatial propagation of species. With these he succeeded to propose quantitative explanations
of observations, in particular of muskrats spreading throughout Europe at the beginning of 20th
Century or the early dissemination of birch trees in Great Britain.
Since these pioneering works, this type of equation has been widely used to model spatial
propagation or spreading of biological species (bacteria, epidemiological agents, insects, plants,
etc). Systems involving this type of equations have also been proposed to model the spread of
human cultures (Compare in particular Cavalli-Sforza et al. [3, 32]).
A vast mathematical litterature has been devoted to the homogeneous equation (1). Of particular interest is to understand the structure of travelling front solutions and their stability, as well
as propagation or spreading properties that this equation exhibits. The former are solutions of
u(t, x) = U (x e ct) for any given direction e (|e| = 1, e is the direction of propagation)
and U : R (0, 1). The latter are related to the fact that starting with an initial datum u0 0,
u0 6 0 which vanishes outside some compact set, then u(t, x) 1 as t + and the set where
u is, say, close to 1 expands at a certain speed which is the asymptotic speed of spreading. The
the type
papers of Aronson and Weinberger [5], and of Fife and McLeod [42], in particular, represent two
mathematical milestones in the literature.
With the important exception of the work of Grtner and Freidlin (1979)[44] on the asymptotic speed of spreading, it is only relatively recently that the questions of travelling fronts,
propagation and spreading have been addressed within the framework of heterogeneous extensions of (1) (see e.g. [13, 56, 85, 93]).
In ecological modelling or for biological invasions, indeed, the heterogeneous character of the
environment plays an essential role. It appears that even at macroscopic scales, the medium
and its various characteristics are far from homogeneous. In the words of Kinezaki et al. [66] :
... natural environments are generally heterogeneous. For example, they are usually mosaic of
heterogeneous habitats such as forests, plains, marshes and so on. Furthermore, they are often
fragmented by natural or articial barriers like rivers, cultivated elds and roads, etc. Thus
growing attention has been paid in recent years to the question of how such environmental
1 1998,
28
1. Introduction
fragmentations inuence the spreading and persistence of invading species". For recent works on
this aspect of ecological modelling, we refer the reader for instance to [54, 57, 62] ; compare also
the references on this model quoted in [66].
A rst approximation to heterogeneous environments, therefore, is the so-called patch model.
In it, one assumes a mosaic of dierentiated environments, each of which having a relatively
well dened structure which one might consider as homogeneous. This involves an equation
with piecewise constant coecients (compare below). This type of model has been proposed by
Shigesada, Kawasaki and Teramoto [86] to study biological invasions in periodic environments
and is described in the book [85]. In the recent years a vast literature has been devoted to the
study of the role of fragmentation of the environment on species survival. It is concerned mostly
with space dimenson
1,
and with bounded domains, which is dierent from the point of view
that one has in studying spreading (see i particular [27, 28, 29].
More generally, a periodic heterogeneous model is proposed to investigate the eect of heterogeneity of the environment for more general periodic frameworks. Equation (1) is generalized
to :
x = (x1 , , xN )
A(x)
f (x, u)
(2)
in a periodic fashion.
(3)
(4)
or even, simply,
Here,
(x)
(x)
reects a
(x)
(x)
A(x)
depends on
varies from one case to another. As pointed out by Shigesada and Kawasaki [85], certain species,
upon arriving in unfavourable environments, speed up (meaning, say in one dimension, that
increases) while the progression of others is hindered (meaning that
A(x)
A(x)
decreases).
The periodic patch model considered by Shigesada and Kawasaki is a particular important
case of this periodic framework. As was already indicated, it consists in considering that the
environment is made up of patches each of which is homogeneous arranged in a periodic
fashion. For instance, in one dimension, with period
and
(x) =
and
in
in
(x)
and
A(x)
E + [0, L],
E = [0, L]\E + ,
a+
a
in
R.
A(x) =
Then,
L,
in
E+,
E.
Here,
+ , , a+
and
are constants.
29
E+
means that
+ > .
As mentioned before, there is no reason to have a general inequality between
a+
and
a .
The case of the periodic patch model above, in one dimension, is discussed in [86], relying on
numerical computations and heuristic arguments.
One can also formulate similar models in higher dimensions. For instance, in dimension two,
C = [0, L1 ] [0, L2 ] (L1 , L2 > 0) then one considers the same denitions as above for problem
+
(2) with A(x1 , x2 ) and f (x1 , x2 , u) being L1 -periodic in x1 and L2 -periodic in x2 , with (E , E )
2
being a partition of C which is extended periodically in R .
if
In this paper, we address the general case of equation (2) (not necessarily piecewise constant)
and in higher dimensions as well. The aim of the present work is twofold : (i) to give a complete
and rigorous mathematical treatment of these questions (the results are new even in the one
dimensional case and for the patch model), and (ii) to discuss these types of problems in the
framework of a general periodic environment and in higher dimensions as well. In particular,
we address here from a mathematical standpoint the question of environmental fragmentation,
which is an important issue in ecology. As far as we know, even in the simplied case of the
periodic patch model, the results are proved rigorously here for the rst time. We introduce here
the method of rearrangement. As we will see in the last section, it also allows us to simplify and
generalize the known results for bounded domains.
The present paper is the rst one in a series of two. Here we are chiey concerned with
discussing the existence of a stationary state of (2), that is a positive solution
(A(x)p) = f (x, p)
p(x) > 0, x RN .
in
p(x)
of
RN ,
(5)
Under some assumptions which will be made precise later, solutions of (5) may turn out to
be periodic. But the periodicity assumptions will not always be made a priori. Periodicity is
understood here to mean
f (x, u)
L1 -periodicity
x).
in
x1 ,..., LN -periodicity
in
xN
(assuming that
A(x)
and
In problems (2) and (5), it is not easy to understand the complex interaction between more
favourable and less favourable zones. Furthermore, how does the balance between diusion and
reaction play a role ? It is not obvious a priori and it may actually sometimes be counter-intuitive.
We establish here a simple necessary and sucient condition for such a solution of (5) to exist.
This criterion is related to existing results in the literature. In the bounded domains case, with
various boundary conditions, it is discussed in several papers of Cantrell and Cosner (see Section
6). In the unbounded domains case, with
for existence follows from results of Pinsky [77] and Englnder, Kyprianou [34]. These authors
actually consider more general operators, not necessarily in the periodic framework (see Remark
1 below ).
For general equation (5), we prove some new Liouville type results of independent interest.
These results will be stated in the next section.
In the ecological context, existence of a solution of (5) should be viewed as a condition
allowing for the survival of the species under consideration. In fact more precisely, we obtain
a complete description of the asymptotic behaviour of solutions of the evolution equation (2).
Under some assumptions which are made precise in section 2, we prove that when a solution
2 We
30
would like to thank A. E. Kyprianou for pointing out these results to us.
1. Introduction
p(x) of (5) exists, then, asymptotically, at every x, the solution u(t, x) converges to that p(x)
as t +. On the contrary, as soon as p(x) ceases to exist, there is extinction, meaning that
u(t, x) 0 as t + at every point.
Thus, within the framework of model (2), we obtain a necessary and sucient condition for
the survival of this species in a periodic environment.
Having established this criterion, we proceed to discuss various conditions under which the
species survives. In particular, we treat the question of the role of fragmentation of the environment. It has been shown in [85], for the patch model in one dimension on the basis of numerical
computations, that, everything else equal, having small unfavourable zones leaves less chances
for survival than having one large zone (with the same total surface). This is a remarkable discovery in this model which sets on a rm theoretical ground the adverse eect of environment
fragmentation. A good example to see this is to wonder whether several roads accross some forest
are better or worse for species survival than one large road with the same total width. Results of
the same kind have been established but in the framework of bounded intervals with boundary
conditions, in a series of papers by Cantrell and Cosner, who have also further discussed systems
in [29].
In this paper, we prove this result rigorously. Further, we actually derive a much more general
k types of
k = 2 as before), we derive the optimal arrangement of these zones in
result. For instance, a consequence of our nding is that assuming a patch model with
habitat (including the case
order to allow for species survival. We establish a result in higher dimensions as well and prove
that symmetric connected patches are more favourable than disconnected domains. The optimal
shape, however, is not known in higher dimensions and this leads to interesting open problems.
Actually, the methods which we introduce in this paper using various rearrangements also allow
us to extend the results of Cantrell and Cosner in the framework of bounded domains to more
general nonlinearities. Precise results are discussed in Section 6.
Further, we analyze the eects of high amplitude. One of the results we establish here is that
it suces to have a very favourable (even quite narrow) zone to allow for species survival, no
matter how bad the environment may be elsewhere.
All these properties bear consequences for species survival but also shed light on conditions
needed to eradicate invading biological species.
In a forthcoming paper [18], we analyze the question of invasion for problems of the type
(2). More precisely, we connect the necessary and sucient condition for species survival to that
for propagation of pulsating fronts invading the uniform state
and [13, 16, 56, 92, 93] for some related mathematical results). We further obtain a variational
formula for the minimal speed of propagation of such fronts.
The present paper is organized as follows. In the next section, we set the mathematical
framework and state all the main results. In Section 3, we prove uniqueness and existence results
for solutions of (5). In particular, there we establish a nonlinear Liouville theorem. Next, in
Section 4, we give some stability results concerning the long time behaviour of solutions of
problem (2) with initial data. In Section 5, we apply the general results to some special classes
of functions
arising in some biological models, and we state some species persistence results.
Lastly, Section 6 summarizes some facts on the bounded domains case with dierent types of
boundary conditions.
31
(6)
(7)
L1 ,...,LN > 0 be N given real numbers. In the following, saying that a function g : RN
periodic means that g(x1 , , xk + Lk , , xN ) g(x1 , , xN ) for all k = 1, , N . Let
Let
is
R
C
C = (0, L1 ) (0, LN ).
Let us now describe the precise assumptions. Throughout the paper, the diusion matrix
eld
C 1,
(with
0 > 0, x RN , RN ,
(8)
1i,jN
The function
otherwise specied, the assumptions above are made throughout the paper. In Remark 2 below
we also explain how to include in our results the case of the patch model which involves terms
f (x, u)
and
A(x)
x.
x RN , s 7 f (x, s)/s
s>0
is decreasing in
(9)
and/or
M 0, s M, x RN , f (x, s) 0.
Examples of functions
u((x) (x)u)
(10)
or simply
where
and
f (x, u) =
are periodic.
The criterion of existence (as well as uniqueness and asymptotic behaviour) is formulated
with the principal eigenvalue
of the operator
L0
dened by
>0
which satises
(A(x)) fu (x, 0) = 1
is periodic, > 0, kk = 1.
in
1 < 0.
32
(11)
RN ,
1 0.
These denitions
We are now ready to state the existence and uniqueness result on problem (7). Let us start
with the criterion for existence.
Theorem 1
1 < 0).
1) Assume that
2) Assume that
of (7).
1 0).
Then
of (7)).
Remark 1
of the type
where
and
may not be periodic anymore, and for a more general non-divergence elliptic operator like
(A(x)u)+B(x)u = f (x, u) with drift B , the above results have a probabilistic interpretation.
Such equations arise in the theory of branching processes. In this framework, and for nonlinearities
Englnder, Kyprianou [34] and Pinsky [77] and Remark 5 below). We are much grateful to
J. Englnder, A. Kyprianou and R.G. Pinsky for several useful comments about this literature
and on the relationship with the probabilistic point of view.
In the bounded domains case with Dirichlet, Neumann or Robin boundary conditions, the same
type of results as in Theorem 1 can be found in [70] (in dimension
with constant diusion). We refer to Section 6 for more details about the bounded domains case.
Remark 2
f (x, u)
fact, one can easily extend these results to more general classes of
and
u.
In
the case of the patch model. The more general statement assumes the following :
(i)
(x)s
for all
L (Rn )
s [0, +),
such that
f (x, s)
RN ,
s R and a.e. x
> 0 there exists > 0,
such that
f (x, s) (x)s s
for all
s [0, )
and a.e.
x RN
(v) assumption (9) is understood a.e.
x RN .
Notice that the eigenvalue problem (11) is still well dened. When
(x) = fu (x, 0)
type f (x, s) = (x)s
s f (x, s)
Part 2) still holds good if, instead of (9), one only assumes that, for any
such that
is
C1 ,
one neces-
such that
> 0,
there is
>0
RN and
x
Theorem 2
Assume that
Then, there exists at most one positive and bounded solution of (7). Furthermore, such a solution,
if any, is periodic with respect to
x. If 1 0
0.
and
33
Remark 3
The last part of this theorem was already included in Theorem 1 above. We repeat
1 < 0
and
1 0.
This theorem is a Liouville type result for problem (7). Notice that the solutions of (7) are not
x.
positive solution of (7) is actually bounded from below by a positive constant (see Proposition 2
below), which does not seem to be a straightforward property.
2.2
u(0, x) = u0 (x)
in
RN .
Theorem 3
Assume that f satises (9) and (10). Let u0 be an arbitrary bounded and continuous
RN such that u0 0, u0 6 0. Let u(t, x) be the solution of (6) with initial datum
u(0, x) = u0 (x).
2
N as
1) If 0 is an unstable solution of (7) (that is 1 < 0), then u(t, x) p(x) in Cloc R
t +, where p is the unique positive solution of (7) given by Theorems 1, part 1), and 2.
N as
2) If 0 is a stable solution of (7) (that is 1 0), then u(t, x) 0 uniformly in R
t +.
function in
Remark 4
u0 ,
um
u(t, x) =
where
u(t, x)
m+
u0,m ,
(u0,m )mN
u0
RN . Actually, each um (t, x) is itself the limit of um,n (t, x) as n +, where
um,n
solves
Bn
u0,m
in
Bn
and radius
the periodicity assumption and with more general non-selfadjoint operators with unbounded
coecients, the subtle question of the uniqueness or nonuniqueness of the solutions of (6) with
a given initial condition
u0
is discussed in [36].
x.
f (x, u) = u((x) u)
for
u 0,
where
is periodic
biological invasions (see section 1 for the motivation and [18, 56] for propagation phenomena
related to these equations). Such a function
34
Corollary 1
Let
u0 0, u0 6 0
f (x, u) = u((x) u)
u 0,
where
is in
2.3
Let
the
u(0, x) = u0 (x).
for
bounded
bounded
Let us denote by
1 []
fu (x, 0) = (x).
results, we see that, in this model, the survival of the species or its extinction hinge on the
sign of
1 [].
Furthermore, we show in [18] that this sign also determines biological invasions
in the form of travelling front-like solutions (actually pulsating travelling fronts). Hence it is of
particular interest to investigate how the various factors such as the shape of
of unfavourable zones or large amplitude oscillations in
(x),
Proposition 1
that is that
depends on
x,
1 [] 1 [0 ] = 0 ,
1
|C|
(0, LN ).
where
0 =
and
|C|
C = (0, L1 )
is given.
Let us rst discuss the one-dimensional periodic patch model described in the introduction.
There, we assume that
(x) =
E+ R,
E = R\E+ .
in
in
Consider now another function (x) having the same distribution function as
(x) =
with
being
L-periodic,
as is
and
in
in
R,
E+
= R\E ,
E
+
(0, L)
E
want to solve is to know which of the two congurations leaves most chances for survival.
Following the metaphor of Shigesada and Kawasaki [85], one can think of a forest in which a
periodic array of parallel roads are cut through. The forest is thought of as a favourable homogeneous medium and roads as an unfavourable homogeneous medium with a constant negative
reproduction rate
< 0
| |).
35
l1 ,...,lp ,
l1 + + lp .
Shigesada and Kawasaki [85] have observed that the latter leaves more chances for species survival (see also Section 6 for a discussion on such results with other boundary conditions). This
remarkable nding illustrates the adverse eect of environment fragmentation on species survi-
val which is important in ecology. Incidentally, this is also relevant to eradication techniques of
certain harmful species.
Here, we actually prove this result rigorously.
Theorem 4
A(x)
is a constant
1 [ ] 1 [].
Therefore, whenever
survival while
We actually prove a much more general result, in arbitrary dimension, and for general reaction
terms
f (x, u).
To state our result, we need to introduce the notion of Schwarz and Steiner periodic symmetrizations of a function. For more details and properties about these notions, we refer the reader
to the monograph of B. Kawohl [65].
Consider a L-periodic function (x) dened on the real line R. There exists a unique function
(x), L-periodic on R, satisfying the following properties :
(i) is symmetric with respect to x = L/2 and is nondecreasing on [0, L] away from the
symmetry center L/2, i.e.
for all
(ii)
(x) (y)
x, y [0, L],
if
|x L/2| |y L/2|
that is :
This function
Figure 1 below.
Fig. 1 A function
36
C = (0, L1 ) (0, LN ).
Keeping xed all other variables but xk , we can rearrange as above the function (x) with respect
to xk . This is called Steiner periodic rearrangement in the variable xk . By performing such Steiner
periodic rearrangements successively on all variables x1 , x2 , . . . , xN , we obtain a new function,
(x1 , , xN ). Thus, this function is periodic in all variables, symmetric and decreasing.
Consider now a function
Theorem 5
(x)
periodic in
fu (, 0)
in the variables
Then,
x1
and
(x)
(x)
x2 .
the unfavourable zones are concentrated, the better the chances of survival of the species. Note
that the result of the succession of Steiner symmetrizations will depend on the order in which the
variables are taken. This result supports the adverse eect of fragmentation of the environment on
species persistence. It holds not only in the periodic patch model when
for an arbitrary function
(x)
(also one taking several values). Note, however, that, in the patch
model, for a given total area of unfavourable environment in one periodicity cell, the optimal
shape (i.e. the one that minimizes
We pose as an open problem, to determine the optimal shape and to derive its properties.
f.
1 (f )
f.
37
(A(x)u) = Bf (x, u)
where
B > 0
in
RN ,
(12)
follows from Theorem 1 and 2, this problem admits a positive periodic solution if and only if
an unstable solution of (12). Let us examine the eect of the amplitude factor
theorem below holds for general functions
Theorem 6
every
1) If
fu (x, 0) < 0,
The following
fu (x, 0) > 0, or if
fu (x, 0) = 0 and fu (x, 0)
C
C
>Z 0, and the function B 7 1 (Bf ) is decreasing in B 0.
2) If
B.
0 is
then
1 (Bf ) > 0
for all
B > 0
6 0,
then
1 (Bf ) < 0
for
for
f = f B
such that
some set of
are distributed), there is always survival. The proofs are the same as for Theorem 6 and will not
be detailed separately.
As a consequence of the last theorem, we can say that increasing the size of the nonlinearity,
assuming that the favourable region is not empty, enhances the chance of having
Hence, it increases the chance of biological survival (existence of a positive solution
0 unstable.
p of (7)). In
our forthcoming paper [18], we show that it also increases the speed of biological invasion. This
result bears consequences on species survival, as well as on techniques of eradication for harmful
species.
38
Proof of existence
us prove that there exists a positive and periodic solution of (7). Let
solution of
with
1 < 0.
Since
f (x, u)
(A(x)) fu (x, 0) = 1
is periodic, > 0, kk = 1,
is of class
C1
in
RN [0, ]
(with
in
RN ,
> 0),
(13)
for
>0
gets :
f (x, ) fu (x, 0) +
in
RN .
(14)
(A(x)) f (x, )
and
1
0
2
in
RN ,
(15)
is taken as in (10),
M is an upper solution of (7) with periodicity conditions, and (for small enough)
RN . Thus, it follows from a classical iteration method that there exists a periodic
N
solution p of (7) which satises p M in R . Theorem 1, part 1) is proved.
the constant
M
classical
in
( 1
> 0.
Hence,
0 is stable
f (x, (x)) <
in
RN
(16)
> 0.
Recall that
away from
and
= inf > 0, > p
> 0, and set z := p.
z(xn ) 0 as n +.
Assume that
such that
Then
in
RN 0.
z 0,
z(x) =
0. As is a supersolution of
(7)
(17)
xn x RN
as
xn RN
n +.
periodicity conditions, it is easy to see from the strong elliptic maximum principle that
Therefore
1 0 (0
z 0.
is assumed to be
Q
xn xn N
i=1 Li Z. Then, up to the extraction
of some subsequence, one can assume that there exists x C such that xn x as n +.
Next, set n (x) = (x + xn ) and pn (x) = p(x + xn ). Since both A and f are periodic with respect
(xn ) C
be such that
(A(x + xn )( n )) f (x + xn , n ) > 0
(A(x + xn )pn ) f (x + xn , pn ) = 0
in
RN .
(18)
39
2
converge in Cloc to a function
satisfying
(A(x + x )p ) f (x + x , p ) = 0
while the sequence
( n )
converges to
:= ( + x ),
in
RN ,
(19)
and
(A(x + x )( )) f (x + x , ) > 0
Let us set
pn
in
RN .
(20)
Then
z (x) = limn+ z(x + xn ). Therefore z 0 and z (0) = 0. It then follows from the
strong maximum principle that z = 0 and reaches a contradiction as above.
Finally, in all the cases, one has = 0, thus p 0, and the proof of Theorem 1 is complete.
whence
Remark 5
is a
C 0,
in
RN ,
(21)
periodic drift. Indeed, the proof of Theorem 1 does not rely on the variational
structure of (7).
More generally, consider the case where
A, B
and
x) anymore.
One can wonder whether a result similar to Theorem 1 still holds in this case. For this purpose,
a possible generalization of the rst eigenvalue
fu (x, 0)
in
RN
of the operator
L = (A(x)) + B(x)
is
N
1 = inf { R, C 2 (RN ) L
(R ), > 0, (L ) 0
L(x)
.
=
inf
sup
(x)
C 2 (RN )L (RN ), >0 xRN
in
RN }
.
1 gives the same value as before in the periodic case. With the same arguments
as above, one can easily prove that if f satises (10) and if 0 is an unstable solution of (21)
(1 < 0), then there exists a positive solution p of (21). On the other hand, if f satises (9) and
if 0 is a strictly stable solution of (21) (1 > 0), then there is no positive bounded solution of (21)
(i.e. 0 is the only nonnegative and bounded solution of (21)). For the proof, assume indeed that
there is a positive bounded solution p of (21) ; it follows from (9) that Lp 0, whence 1 0.
This denition for
However, it is not clear whether, under assumption (9), the nonexistence of positive bounded
solutions
1 = 0.
in
RN }
.
In the case of a bounded smooth domain, this denition reduces to the classical rst eigenvalue of
L with Dirichlet boundary conditions (see [25], [75]). In the periodic case in RN , one has 1 01 ,
but with a strict inequality in general, even in the case of constant coecients (for instance, for
40
in
R,
one has
0 = 1 < 01 = 1/4),
01
is
well-suited for a condition on the existence of other types of solutions of (21), maybe not bounded,
in the general nonperiodic case. Namely, for a function
of the type
Pinsky [77] (see also [34]) proved that the existence of a solution of minimal growth at innity
solution
3.2
Proof of uniqueness
For analogous problems on bounded domains with e.g. Dirichlet conditions on the boundary,
uniqueness of the positive solutions is well known (compare [10]). The diculty here arises
because of the lack of compactness and because of the fact that one does not assume a priori
that
Proposition 2
Assume that
u C 2 RN be a bounded
> 0 such that u(x) for all
u0
or there exists
x RN .
Note that periodic solutions obviously satisfy this property. But, here, we look at uniqueness
within a more general class of functions. In particular, it is not assumed a priori that
which we will now rule out.
inf u > 0,
RN
yR
yR
y
kR k
yR yR
0
0
1.
BR ,
BR ,
on BR ,
in
in
(22)
y y in RN ,
(A(x + y)y ) fu (x + y, 0)y =
1
(23)
y is periodic and positive in RN ,
ky k = 1.
Since both
yR
=
>
=
=
and
Lemma 1
where
y = 1
y . In other words,
1
for all
y RN ,
3 throughout
the paper, the operator always refers to the derivation with respect to the x variables
41
y
(A(x)) fu (x, 0) =
1
is periodic and positive in RN ,
kk = 1.
Therefore, by uniqueness, one has
Lemma 2
For all
y RN
and
= 0 ,
R > 0,
and
in
RN ,
(24)
y =
0 = 1 .
1
1
one has
yR > 1 .
1 yR
yR
yR
y
kR k
Assume that
yR 1 .
y > 0
in
(yR 1 )yR
0
0
1.
BR ,
yR < y
in
BR
:= sup > 0, yR < y
in
BR ,
in BR ,
on BR ,
in
(25)
satises
Since
Let
=
>
=
=
for all
in
in
>0
BR ,
BR .
(26)
BR > 0.
(A(x + y)( yR )) fu (x + y, 0) yR 1 yR 0
Therefore, it follows from the strong elliptic maximum principle that
is impossible because of the boundary conditions on
Finally, one concludes that
[25]).
yR > 1
in
BR .
yR y
in
BR ,
which
BR .
Lemma 3
For all
y RN ,
the function
R 7 yR
is decreasing in
R > 0.
Proof. Let R1 and R2 be two positive real numbers with R1 < R2 . The proof of this lemma is
similar to that of Lemma 2, replacing
in
yR
by
yR1
and
by
BR1 .
The next lemma is a standard result (see e.g. [30]), but we include its proof here for the sake
of completeness.
Lemma 4
42
One has
limR+ yR = 1
uniformly in
y RN .
Since it is a self-adjoint operator, one has the following variational formula for
yR =
where
min
H01 (BR ), 60
yR
QyR (),
(27)
(A(x + y)) fu (x + y, 0) 2 dx
BR
Z
.
QyR () =
2
(28)
BR
(R )R2 ,
R,
bounded in
C 2 RN
R (x) = 1 if |x| R 1,
(x) = 0 if |x| R,
R
0 R 1.
Set
R = y R
where
R H01 (BR )
(29)
and
2
R (A(x + y)R ) fu (x + y, 0)R
dx
BR
Z
.
QyR (R ) =
2
R
(30)
BR
Integrating the numerator by parts over
BR ,
BR ,
one
gets
2
(A(x + y)R ) R fu (x + y, 0)R
dx
BR
y
Z
QR (R ) =
,
2
R
(31)
BR
and, by denition of
R ,
2
[ (A(x + y)R ) R fu (x + y, 0)R
]dx
BRZ
=
[ (A(x + y)y ) y fu (x + y, 0) (y )2 ]dx
Z BR1
+
[ (A(x + y)(y R )) y R fu (x + y, 0)(y R )2 ]dx.
(32)
BR \BR1
From equation (23) satised by
y
Z
with respect to
and
R,
R are bounded in C 2 RN
C 0 such that
and
2
(A(x + y)R ) R fu (x + y, 0)R
dx
BR
Z
1
(y )2 CRN 1
BR1
for all
R2
and
y RN .
, uniformly
(33)
Z
Z
2
R
(y )2 C 0 RN 1
BR
BR1
(34)
43
R 2 and y RN .
y
y
But, since each function is continuous, positive and periodic, and since the functions
N
depend continuously and periodically on y (in the sense of the uniform topology in R ), there
Z
for some
exists
>0
for all
such that
y (x)
x RN
for all
and
y RN .
(y )2 2 |BR1 |.
Thus
BR1
Therefore,
2
R
BR
as
R +,
(35)
y 2
( )
BR1
RN
us assume that
is
f (x + y, yR ) yR fu (x + y, 0) +
for all
0 < 0 , y RN
and
R>0
(recall that
R0 > 0
1 < 0,
1 y
R
2
and
R R0 .
Set
yR > 0
0 yR
in
(36)
BR ).
1
< 0.
2
(37)
The function
(A(x + y)uy ) f (x + y, uy ) = 0
Furthermore,
BR ,
such that
R R0 , y RN , yR <
In the sequel, x some
in
since
in
uy
satises
RN .
(38)
satises
in
BR .
(39)
0 yR
1
)0 yR 0
2
in
BR .
(40)
is a sub-solution of (38).
y
y
y
y
N
such that R (x1 ) = u (x1 ) and u R in BR (remember that u > 0 in R , whence
y
minBR uy > 0). Next, since R 0 on BR , it follows that x1 BR . On the other hand,
y
the computations above show that the function R is still a sub-solution of (38). The strong
y
y
maximum principle gives that R u in BR , which is in contradiction with the conditions
Let us now show that
on
44
BR .
BR , thus uy (0) > 0 yR (0). In other words, u(y) > 0 yR (0) for
y
N
N
all y R . Since the function y 7 0 R (0) is periodic, continuous and positive over R , there
y
N
exists > 0 such that 0 R (0) > for all y R , and this completes the proof of Proposition
2.
Finally, one has
in
>0
such
RN be two positive and bounded solutions of (7). By
N
that u and p in R .
= sup > 0, u > p
RN > 0.
(41)
< 1,
in
<
f (., s)/s
is decreasing in
R+
in
RN .
< 1,
(43)
such that
(A(x)z) bz > 0
Since
(42)
is locally Lipschitz continuous in the second variable, one infers from (43) that there
z 0
z 0,
RN .
in
and
z(x) = 0,
in
RN .
(44)
it follows from (44) and from the strong maximum principle that
Q
xn xn N
i=1 Li Z. Then, up to the extraction
of some subsequence, one can assume that there exists x C such that xn x as n +.
Next, set un (x) = u(x + xn ), and pn (x) = p(x + xn ). Since both A and f are periodic with
respect to x, the functions un and pn satisfy
In the general case, let
(xn ) C
be such that
(A(x + xn )un ) f (x + xn , un ) = 0
(A(x + xn )pn ) f (x + xn , pn ) = 0
in
RN .
(45)
From standard elliptic estimates, it follows that (up to the extraction of some subsequences)
and
pn
converge in
2
Cloc
to two functions
and
(A(x + x )u ) f (x + x , u ) = 0
(A(x + x )p ) f (x + x , p ) = 0
Moreover,
un
satisfying
in
RN .
(46)
Let us set
in
RN .
(47)
45
The same arguments as above lead to the following uniqueness result for a class of solutions of
more general elliptic equations with drift terms, under a slightly stronger version of assumption
(9) :
Theorem 7
Let A = A(x) be a symmetric matrix eld satisfying (8) and assume that A is of
1,
N
class C
(R ) and that A and its rst-order derivatives are in L (RN ). Let B be a vector eld
0, (RN ) L (RN ). Let f : RN R R, (x, s) 7 f (x, s) be Lipschitz-continuous
of class C
+
0, (RN ) L (RN ) locally in s. Assume
in s uniformly in x and assume that f (, s) is of class C
that
0<s<s,
Let
and
Then
inf RN u > 0
u = v.
Remark 6
inf
xRN
f (x, s) f (x, s0 )
s
s0
> 0.
such that
and
in
RN ,
(48)
inf RN v > 0.
u() = 0
and
u(+) = 1.
0<u<1
in
1 = f 0 (0) < 0
in
this case.
3.3
This subsection is about an independent result, dealing with the sign of the energy associated
to a positive solution of (7), under condition (9). This result, of independent interest, will be
used in the forthcoming paper [18] on propagation phenomena.
Assume in this subsection that there exists a positive and bounded solution
condition (9) is fullled. It then follows from Theorem 1, part 2), that
of (7) (1
< 0),
p is
1 < 0
is an unstable solution
Z
E(u) :=
C
46
1
u (A(x)u) F (x, u) dx,
2
(49)
1
1
Hper
:= Hloc
(RN )
Z
with
such that
is periodic
F (x, u) :=
f (x, s)ds.
is negative.
Proposition 3
solution
Assume that condition (9) is satised and that there exists a positive bounded
of (7). Then
E(p) < 0.
Proof. Under the assumptions of Proposition 3, let be the function dened in [0, 1] by
Z
t [0, 1], (t) = E(tp) =
C
The function
is of class
C1
1 2
t p (A(x)p) F (x, tp(x)) dx.
2
(50)
and
Z
{tp (A(x)p) f (x, tp(x))p(x)} dx.
(51)
C
From (9) and from the positivity and periodicity of
tf (x, p(x))
in
for all
t (0, 1).
and
Therefore,
(52)
C
the last equality being obtained by multiplication of the equation (7) satised by
over
C.
p and integration
As a conclusion,
Proof of Theorem 3.
identically equal to
of
the function
(54)
47
>0
small enough,
subsolution of (7) in
RN
RN .
is a subsolution of (7) in
Thus
v1
large enough
is nondecreasing in time
implies
v1 (t, x) u(1 + t, x)
Moreover, for
> 0
small enough,
v0 (x) p(x)
R+ R N .
in
in
RN ,
1 < 0,
where
(56)
one has
v1 (t, x) p(x)
in
R+ R N ,
(57)
v p.
N for all s M
Next, from (10), there exists M > 0 such that f (x, s) 0 in R
N
Take M large enough so that M u0 in R
and let v2 be dened by
t v2 (A(x)v2 ) = f (x, v2 ), t R+ , x RN ,
v2 (0, x) = M, x RN .
we infer from Theorem 2 that
Then, since
and
Besides, since
x RN .
(58)
v2 (0, x) =
(59)
N
2
v2 0 from the maximum principle, v2 converges in Cloc
R as t + to
a bounded and nonnegative stationary solution v ( M ) of (6). From Theorem 2, either v 0
or v p. Finally, one has
Furthermore, since
(60)
v1 (t, x) p(x)
as t +, it follows from (60) that v p, and that u(t, x) converges
2
p(x) in Cloc
RN as t +. Part 1) of Theorem 3 is proved.
Let us now assume that 0 is a stable solution of (7). Then, as carried above, there exists
M > 0 such that f (x, s) 0 for all s M and x RN . Taking M large enough so that u0 M ,
one again obtains, dening v2 as above,
Since
to
v2 (t, x) u(t, x) 0
in
R+ R N .
(61)
2
Cloc
RN to 0 as t +.
Furthermore, the convergence is uniform in x : indeed, v2 is periodic in x at each time t 0,
since it is so at t = 0, and equation (6) is periodic in x. It follows from (61) that u(t, x) converges
to 0 uniformly as t +, and this concludes the proof of Theorem 3, part 2).
But this time, from the result of Theorem 1, part 2),
v2
(11).
48
converges in
fu (x, 0)
of
This subsection is devoted to the stability condition of the zero steady state when the nonlinearity
is replaced by
1 (Bf )
with respect to
Proposition 4
every
B>0
Proof.
fu (x, 0)
C
and the function
> 0,
If
fu (x, 0) = 0
or if
and
B 7 1 (Bf )
is decreasing in
fu (x, 0) 6 0,
1 (Bf ) < 0
then
for
R+ .
characterization :
Z
1 (Bf ) =
min
1 , 60
Hper
(63)
C
where
1
Hper
B 7 1 (Bf )
is concave,
R).
C.
Z
B
B ,
one obtains,
Bn 0.
B .
(64)
C
Since
1 (Bn f ) 1 (0) = 0,
Bn
W 2,p
= 1,
and Sobolev injections imply, up to the extraction of some subsequence, that the functions
1<p<
by periodicity) in
kk
such that
(A(x)) = 1 (0) = 0.
(65)
where
|C|
0, it
R+ .
follows that
1 (Bf ) < 0
(66)
C.
Z
Assume now that
argument we
B 7 1 (Bf )
d1 (Bf )
dB B=0
<
is decreasing in
49
Z
1 (Bf ) |C| =
C
B.
Furthermore, dividing
B (A(x)B )
.
2B
(67)
1 (Bf ) = 0 for some B > 0, then B is constant, whence fu (x, 0) 0. Therefore, if one further
fu (x, 0) 6 0, then 1 (Bf ) < 0 for each B > 0, and the function B 7 1 (Bf ) is
decreasing in R+ . This completes the proof of Proposition 4.
Z
In the case
fu (x, 0) < 0, we ow prove the following result.
If
assumes that
Proposition 5
x0 C
in B .
Z
fu (x, 0) < 0,
If
1 (Bf ) > 0
then
for all
B>0
such that
fu (x0 , 0) > 0,
then, for
large enough,
1 (Bf ) < 0
for
B>0
1 (0) = 0
and
1 (Bf )
is decreasing
C
d1 (Bf )
dB
B=0
such that
(68)
C
Then, from (63),
0 (A(x)0 ) Bfu (x, 0)20 dx
Z
1 (Bf ) C
.
2
0
(69)
1 (Bf ) < 0 for B large enough. The concavity of B 7 1 (Bf ) and the
fact that 1 (0) = 0 then imply that B 7 1 (Bf ) is decreasing at least when 1 (Bf ) is negative,
and thus for B > 0 large enough.
Clearly, this shows that
5.2
fu (x, 0)
This section is concerned with the study of the dependence of the rst eigenvalue
on the shape of the function
of (11)
fu (x, 0). One denotes (x) = fu (x, 0) and 1 = 1 []. The following
and of its average.
Proposition 6
Let
1 [] 1 [0 ],
(70)
Z
= 0 |C|
as soon as
C
50
(where
|C|
C ).
(71)
= 1 |C| = 1 []|C|.
2
C
C
normalization
condition
Clearly, clearly,
0 1
and
1 [0 ] = 0 . Therefore, it follows
Z
C
1 []
= 0 = 1 [0 ].
|C|
(72)
In a sense, Proposition 6 shows that a heterogeneous medium improves the biological conservation, in comparison with a constant medium
0 .
Moreover, the medium becomes all the more conservative the more it is heterogeneous. This
statement is made precise in the following
Proposition 7
Proof.
d1,B
dB B=0
= 0, 1,0 = 0 .
B 7 1,B
is concave, and
Let us now turn out to the eect of rearranging the level sets of
We denote by
Proposition 8
x1 , ..., xN
the
with respect
is the identity
1 [ ] 1 [].
(73)
Proof. The proof rests on rearrangement inequalities. Let k be a nonnegative real number such
that
+k 0
in
RN ,
normalization condition
be
kk = 1.
and let
1 [],
with the
( + k) ( )
C
( + k)2 .
(74)
C
51
Since ( + k)
( )
C
[2 ( )2 ] = 0,
+ k
C
[2 ( )2 ].
On
whence
2 .
( )
C
(75)
Next, it follows from Theorem 2.1 and Remark 2.6 in [65] (see also [12], [20]) that
||2
C
As already emphasized,
1 [ ]
Z
1 [] =
(76)
1 []
and
| |2 .
min
1 , 60
Hper
||2 2
Z
,
2
(77)
C
and
Z
1 [ ] =
min
1 , 60
Hper
||2 2
Z
.
2
(78)
C
Furthermore, the minimum in (77) is reached for
Z
1 [ ]
= .
| |2 ( )2
Z
.
2
( )
(79)
Z
that
()2 =
( )
C
2
( )
||
| |2 .
Z
1 [ ]
||2 2
Z
= 1 [],
2
(80)
C
and Proposition 8 is proved.
As a conclusion, one can say that from the biological conservation standpoint, among all
having a given distribution function, the optimal one is necessarily Steiner symmetric,
xi = 0 and decreasing in xi , for xi [0, Li /2] (for each
i = 1, , N ). Note, however, that the actual optimal shape (among all Steiner symmetric
functions in all variables) is not known, even when takes only two values.
periodic
52
and, using a symmetrization argument, we state some general results extending previous work .
Consider the equation
RN .
(81)
is smooth and
u=0
there exists a solution
on
of
p(x) = 0, x ,
(82)
Sperb [73] for the two-dimensional case with additional drift terms). It was generalized to any
dimension by Cantrell and Cosner [27], in the case of a nonlinearity
m(x)u c(x)u2
(with
c(x) > 0)
of the type
f (x, u) =
du.
For the general equation (82), the results mentioned above can be proved with the same
methods as the ones used in the present paper. Notice that the case of bounded domains is
actually much simpler than the periodic case in
RN .
u(t, x) of (81)
u0 0, u0 6 0 converge uniformly in x as t + to the unique
p(x) if 1 < 0 ; otherwise, that is if 1 0, then u(t, x) 0 uniformly in x
Furthermore, using the same arguments as those of section 2.2, the solutions
with initial condition
positive solution
as
t +
(see also [27, 28, 70] for earlier results in some particular cases).
Some of the above results have been extended by Cantrell and Cosner [29] to some special
cases of systems of two equations.
For problem (81) in a bounded interval
(0, L),
and unfavourable regions has been studied in [28], on the basis of explicit analytic calculations.
This work is restricted to the case of the patch model, that is when the birth rate
fu (x, 0)
is piecewise constant and only takes two possible values. For Dirichlet boundary conditions,
it is better for species conservation to have the most favourable region concentrated around
the middle of the interval, away from the boundary. On the contrary, in the case of Neumann
boundary conditions, it is better for species conservation to have the favourable and unfavourable
regions concentrated near each of the two boundary points of the interval.
Using symmetrization techniques as we did above for the periodic case allows us to extend
and much simplify these results. For a general
(x),
53
Theorem 8
Let
direction say
x1 ,
is convex in some
in
and let
1 []
(x) = 1 []
= 0 on .
in
in the sense of
having a given distribution function that function, namely , that minimizes
1 []. In higher dimensions, this is not known. In dimension N = 2 consider the simple patch
model when is allowed to take two values. When is say a rectangle, then the shape of the
optimal is not known. From the theorem, we know that it is doubly symmetric in the Steiner
In an interval, this theorem provides the optimal rearrangement of a function
sense, hence the favourable is connected. However, it is not known that this region is convex, a
property which we conjecture holds.
For Neumann boundary conditions, the situation is more delicate. One has to use monotone
rearrangement (see [65, 20] for denition and properties and [12] for the pecise inequality).
Consider now the eigenvalue problem :
(x) = 1 []
= 0 on .
in
Like for the periodic case or for the bounded domain case with Dirichlet condition, the sign of
1 []
determines the existence of stationary solutions and asymptotic bahaviour of the solution
Theorem 9
Assume that
{x ; xi (ai , bi ), i = 1, . . . , N }.
is a cube
||
|] |2 .
(83)
Remark 7
such that
] = .
However,
like for the other cases, in higher dimension, the question of the optimal shape of the environment
(in the patch model) is still open. This appears to be an interesting mathematical question.
54
Fig. 4 (a) Initial patch, and (b) after monotone Steiner rearrangement
55
56
et Franois Hamel
Sommaire
1
2
3
4
63
2.2
. . . . . . . . . . .
69
2.3
. . . . . . . . . . . . . . . . . .
70
2.4
Existence of a
. . . . . . . . . . . . . . . . . .
74
c1 . . . . . . . . . . . .
75
0 . .
1 1
solution (c , u )
solution (c, u) for
all
c>
2.5
Existence of a
4.1
. . . . . . . . . . . . .
82
4.2
. . . . . . . . . . . . . . . . . . . . . . .
Characterization of c
83
4.3
57
87
(1)
(A(x)p) = f (x, p)
p(x) > 0, x RN ,
in
RN ,
(2)
x.
concerned with the propagation pheneomena, and especially the propagation of fronts, associated
to (1) precise denitions will be given below. Some formulas for the speeds of propagation of
fronts are proved and the dependence in terms of the coecients of (1) is analyzed.
The archetype of such reaction-diusion models is the following equation
ut u = f (u)
in
RN
(3)
which was introduced in the pioneering papers of Fisher [43] and Kolmogorov, Petrovsky and
Piscounov [68]. An example of nonlinear term is given by the logistic law
This
type of equation was rst motivated by population genetics, and, as (1), it also arises in more
general models for biological invasions or combustion.
Of particular interest are the propagation phenomena related to reaction-diusion equations
of the type (3), or (1). First, equation (3) may exhibit planar travelling fronts, which are special
speed which is the asymptotic speed of spreading and which, in the case of equation (3) with a
nonlinearity
positive in
(0, 1),
Whereas the homogeneous equation (3) has attracted many works in the mathematical literature, propagation phenomena for heterogeneous equations of the type (1), where both the
diusion and the reaction coecients depend on the space variables
x,
cently (see e.g. [13, 44, 56, 85, 93]). In models of biological invasions, the heterogeneity may be
a consequence of the presence of highly dierentiated zones, such as forests, elds, roads, cities,
etc., where the species in consideration may tend to diuse, reproduce or die with dierent rates
from one place to another.
A(x)
f (x, u) now depend on the variables x = (x1 , , xN ) in a periodic fashion.
One focuses here on periodic environments models and for which the diusion matrix
and the reaction term
As an example,
(4)
(5)
or even, simply,
58
These models for biological invasions in unbounded domains were rst introduced by Shige-
1 and 2 (see [66, 85, 86]). In these works, the nonlinearity f is given by
A and are piecewise constant and only take two values. This model is then referred to
as the patch model. Numerical simulations and formal arguments were discussed in [66, 85, 86]
about this model in space dimensions 1 or 2. The various works of Shigesada and her collaborators have been an inspiring source for the present paper. We aim here at proving rigorously
some properties which had been discussed formally or observed numerically. The introduction of
new mathematical ideas will furthermore allow us to derive results in greater generality and for
higher dimensional problems as well.
In the paper [17] and in the present one, we discuss these types of problems in the framework
of a general periodic environment, and we give a complete and rigorous mathematical treatment
of these questions. In the rst paper [17], we discussed the existence of a positive stationary
state of (1), that is a positive bounded solution
conservation. We also analyzed in [17] the eects of fragmentation of the medium and the eects
of coecients with large amplitude on biological conservation. Here, we connect the condition
invades the
to as biological invasion. We also analyze the eects of the heterogeneity of the medium on the
speed of propagation. We especially prove a monotonous dependence of the speed of invasion on
the amplitude of the eective birth rate.
L1 , , LN > 0 be N given
be periodic if g(x1 , , xk +
Lk , , xN ) g(x1 , , xN )
for all
RN
g :
R is meant to
k = 1, , N . Let C be the period
cell dened by
C = (0, L1 ) (0, LN ).
The diusion matrix eld
periodic, of class
C 2,
(with
0 > 0, x RN , RN ,
= aji ),
(6)
1i,jN
The function
to
x.
One
x RN , s 7 f (x, s)/s
is decreasing in
s>0
(7)
and
M 0, s M, x RN , f (x, s) 0.
(8)
4 The
smoothness assumptions on A, as well as on f below, are made to ensure the applicability of some
a priori gradients estimates for the solutions of some approximated elliptic equations obtained from (1)
(see Lemma 6 in Section 2.3). These gradient estimates are obtained for smooth (C 3 ) solutions through
a Bernstein-type method, [14]. We however believe that the smoothness assumptions on A, as well as on
f , could be relaxed, by approximating A and f by smoother coecients.
59
f (x, u) =
1, periodic functions.
are C
by
>0
C2
which satises
(A(x)) fu (x, 0) = 1
is periodic, > 0.
in
RN ,
(9)
Denition 1
We say that the hypothesis for conservation is satised if there exists a positive
bounded solution
of (2).
A simple necessary and sucient condition for the hypothesis for conservation (or survival)
1 < 0, and the solution p is then unique and periodic. This hypothesis is
fullled especially if fu (x, 0) 0, 6 0. An example of a function f satisfying the hypothesis is
the classical Fisher-KPP nonlinearity f (x, u) = f (u) = u(1 u) (see [43, 68]), where p(x) 1.
For a general nonlinearity f satisfying (7) and (8), comparison results and conditions on fu (x, 0)
for 1 to be negative are given in [17] (see also Theorem 2 below). However, it is not easy to
to be satised is that
understand in general the interaction between the heterogeneous diusion and reaction terms.
One focuses here on the set of solutions which describe the invasion of the uniform state
by the periodic positive function
p,
u(t, x) of (1) is called a pulsating travelling front propagating in the direction e with the eective
speed c 6= 0 if
N
Y
ke
(10)
N
Li Z, x R , u t +
,x
= u(t, x + k),
k
c
i=1
u(t, x)
xe
0, u(t, x) p(x)
t,
xe+
0.
(11)
RN
orthogonal to
e.
Our rst result is the following existence theorem :
5 Notice that the periodicity is forced by the uniqueness, but was not a priori required in the formulation
of equation (2).
60
Theorem 1
Under the above assumptions on A and f , and under the hypothesis for conserva
tion, there exists c > 0 such that problem (10-11) has a classical solution (c, u) if and only if
c ()
such that
c () = 0} ,
Lc,
(A(x)) 2 eA(x)
[ (A(x)e) + 2 eA(x)e c + fu (x, 0)],
(12)
p
2 f 0 (0) for the minimal speed of planar front (x e + ct) for the homogeN with f satisfying (7-8) and p(x) min {s > 0, f (s) 0}.
neous equation ut u = f (u) in R
Periodic nonlinearities f (x, u) in space dimension 1 were rst considered by Shigesada, Kawasaki
6
and Teramoto [86], and by Hudson and Zinner [56]. The case of equations ut u+vu = f (u)
with shear ows v = ((y), 0, , 0) in straight innite cylinders {(x1 , y) R } was dealt
with by Berestycki and Nirenberg [24], under the assumption that f stays positive in, say, (0, 1) ;
min-max type formulas for c were obtained in [48]. Berestycki and Hamel [13] generalized the
Fisher KPP formula
notion of pulsating fronts and got existence and monotonicity results in the framework of more
and the dependence of c in terms of the diusion, advection, reaction coecients as well as the
general periodic equations
geometry of the domain, is analyzed. Some lower and upper bounds for the minimal speed when
the advection term
is large are given in [6, 11, 15, 33, 52, 67]. Lastly, let us add that some pre-
viously mentionned works, as well as other ones, [5, 13, 22, 24, 41, 42, 48, 51, 52, 53, 65, 91, 93],
were also devoted to other types of nonlinearities (combustion, bistable), for which the speed of
propagation of fronts may be unique.
One of the diculties and specicities of problem (10-11) with a nonlinearity
(7-8) is that
x,
satisfying
similar formula for c was given by Weinberger in [92], with a dierent approach,
of the minimal speed, Theorem 1 above also gives the monotonicity of all fronts in the variable
(notice that a
and
is a positive
c (B)
of the pulsating fronts solving (10-11). The following theorem especially gives a monotonous
dependency of
0, B
c (B)
on
(when
can then be viewed as the amplitude of the eective birth rate of the species in
consideration). Furthermore, Theorem 2 below also deals with the inuence of the heterogeneity
of
6 Hudson
and Zinner proved the existence of one-dimensional pulsating fronts for problems of the type
ut uxx = f (x, u), provided c c , but did not actually prove that c was the minimal speed.
61
Theorem 2
Assume that
B>0
max > 0.
where
and
satises
< 0)
is satised for
c (B) 2
= 0
furthermore, if
is constant, then
p
eAe max( + B) ;
c (B)
is increasing in
(for
1 < 0).
Z
0,
b) Assume that
B>
= 0 0
c)
C
0, and
and
max > 0.
eAe
|C|
c (B)
B>0
B > 0,
is increasing in
and
Z
under the additional assumption that
p
c (B)
(B 1 (x) + (x))dx
2 eAe max(B 1 + )
B
C
1
c (B)
c (B)
eAe max lim inf
lim sup
2 eAe max .
B+
2
B
B
B+
Z
Assume that 0, fu (x, 0) = B(x) with
0, max > 0. One has
C
c (B)
lim
=2
B0+
B
Theorem 2 implies especially that, when
eAe
|C|
fu (x, 0)
Z
(x)dx.
C
is of the type
(x) + B(x),
and no matter
how bad the environment may be elsewhere, it suces to have a very favorable (even quite
narrow) zone (namely
>0
of propagation
Z of fronts. Furthermore, the speed is comparable to
as
> 0.
Lastly, call
with
Corollary 1
(7-8), with
Assume that
is a constant
Z symmetric positive matrix and assume that
satises
c [] c [0 ] = 2
p
(eAe)0 .
This corollary simply means that the heterogeneity of the medium increases the speed of
propagation of pulsating fronts, in any given unit direction of
RN .
As already underlined, the main dierence with the results in [13], in the existence and
monotonicity result (Theorem 1), is that the function
The nonnegativity of
played a crucial role in [13], where the existence of the minimal speed
regularized problems in bounded domains as in [13], the method used in this paper is rather
62
2. Existence result
dierent since we directly prove that the set of possible speeds
bounded from above, and we dene c as the minimum of this interval. Existence of pulsating
fronts is proved in Section 2. Monotonicity is proved in Section 3. Lastly, the characterization
of
is given in Section 4, as well as the eects of the heterogeneity of the medium on the
propagation speeds.
2 Existence result
This section is devoted to the proof of the existence of pulsating fronts for (10-11) for large
speed. Throughout this section, one assumes that the hypothesis for conservation is satised,
namely that there exists a (unique) positive bounded solution
2.1
Let us make the same change of variables as Xin [93] and Berestycki, Hamel [13]. Let
(s, x)
(s, x) = u
for all
sR
and
The function
sxe
,x
c
(13)
+s (eA(x)x ) cs + f (x, ) = 0
in
DL (R R )
Moreover, since
u(t, x) 0
as
x.
(14)
x,
one gets
(, x) = 0,
Conversely, if
then
(+, x) = p(x)
uniformly in
x RN .
u(t, x) = (x e + ct, x)
(15)
is
C1
in
t, C 2
in
x,
Let
and
a = (a, a) RN .
L + f (x, )
is L-periodic w.r.t. x,
x RN , (a, .) = 0, (a, x)
where
(s, x)-variables)
p(x),
in
a ,
(16)
operator dened by
We will follow the scheme as in [13] to prove the existence of solutions of (16) and state some
of their properties, only indicating the dierences which may appear.
Let us establish at rst the
63
Lemma 1
For each
PROOF. Let
satises
c R,
c C 2 a
(s, x) = p(x)
s+a
.
2a
of (16).
(A(x)p) f (x, p) = 0
s+a
L v = f (x, v + ) 2a f (x, p)
v is L-periodic w.r.t. x,
v(a, .) = 0, v(a, .) = 0.
C 1 ),
f (x, p), p, A, p
and
Lemma 2
a .
x (Ae)
in
a ,
(17)
and
are
The function
2
in C
Then, since
one can follow the proof of Lemma 5.1 of [13]. Namely, using Lax-Milgram
Theorem with Schauder xed point Theorem, one can nd a solution
solution
v = .
One sets
N
in R , the problem (16) is equivalent to
a .
= v + C 2 a
is a
(16)
= inf , p(x) > c (s, x)
for all
(s, x) a .
p > 0 and p is L-periodic with respect to x, there exists > 0 such that p > in a .
Therefore does exist. Moreover since (a, x) = p(x), 1. One has to show that = 1.
c
Assume > 1. By continuity, one has p in a . On the other hand, there exists a
c
sequence n , n < and a sequence (sn , xn ) in a such that n p(xn ) (sn , xn ). Since p
c
and are L-periodic in x, one can assume that xn C . Up to the extraction of a subsequence,
one can also assume that (sn , xn ) (s1 , x1 ) [a, a] C . Passing to the limit n , one
c
obtains p(x1 ) = (s1 , x1 ).
Next, set z = p . One has f (x, p) f (x, p) since f (., s)/s is supposed to be
c
decreasing in s. Thus L ( p) + f (x, p) 0. As a consequence, L z + f (x, p) f (x, ) 0.
Since
Hence,
where
L z + bz 0
z0
p(x)
p(x)
in
a ,
(18)
>
>
c (a, x) = 0,
c (a, x) = p(x),
(19)
x in RN (the last inequality follows from the assumption > 1 and from the positivity
N
of p in R ). Therefore, the point (s1 , x1 ) where z vanishes, lies in (a, a) C . Using (18) with
the strong maximum principle, one obtains that z 0, which contradicts (19).
= 1 and c p. Using again the strong maximum principle, one obtains the
Thus
c
N
inequality (s, x) < p(x) for all (s, x) [a, a) R .
for all
In order to nish the proof of the lemma, we only have to follow the proof of Lemma 5.2 given
in [13], which uses a sliding method in
64
c (a, x) = 1
by
c (a, x) = p(x).
2. Existence result
Lemma 3
sense : if
c
The functions are decreasing and continuous with respect to c in the following
0
> c0 , then c < c in a and if cn c R, then cn c in C 2 (a ).
C2
> 0, a > 0
and
c R,
we call
c,a
Set
xC
Lemma 4
There exist
a1
and
(0, 1],
p
c
(c > K) max ,a (0, x) <
.
2
xC
and
a a1
xRN
and
problem
v 00 kv 0 +
g(v)
=0
0
in
k=
c1 , and let
that
is
and
p
v(0) =
,
2
(20)
k c1 > 0
v,
R,
for each
xRN
L v + f (x, v)
since
L v + f (x, v) < 0
in
and
a .
v(a) > 0
and
(s, x) a
and for
large enough.
65
xRN
for
xC
p
,
2
c > max {(eA(x)e + 1)k + (A(x)e)} and a large enough, which completes the proof of the
lemma.
RN
0<
0,an
n +.
0,a ,
associated to
c = 0.
Take a sequence
an +.
2,
Cloc
(R RN ),
for all
L 0 + f (x, 0 ) = 0 in R RN ,
0 is L-periodic w.r.t. x,
0
is nondecreasing w.r.t. s,
with
c = 0.
Furthermore,
0 0 (s, x) p(x)
for all
(s, x) R RN .
Lemma 5
There exist
PROOF. Assume
x1 C
and
N0 N
for all
x C.
p
.
2
Then
(sn )nN
be a sequence in
(a, a),
such that
1
1
max 0,an (sn , x) = b := p+ + max 0 (0, x).
2
2 xC
xC
Let us show that
sn > 0
for
large enough.
k N.
Then, since
0,ak
is increasing in
ak +
such that
sk 0
for all
s,
xC
while
k +,
as
k +.
xC
one obtains
xC
large enough.
Set
dened on
(an sn , an sn ) RN .
max an (0, x) = b.
xC
66
Then
sn > 0
for
2. Existence result
One easily sees that
an sn
as
n +.
an sn +.
case 1 :
functions
an
to a nonnegative function
2,
Cloc
(RRN ), for all 0 < 1,
satisfying
L + f (x, )
is L-periodic w.r.t. x,
is nondecreasing w.r.t. s,
max (0, x)
p(x)
b.
in
R RN
(with
c = 0),
(21)
xC
x,
it follows that
(s, x) (x)
where each function
in
C 2 (RN )
as
s ,
satises
(A(x) ) + f (x, ) = 0
is L-periodic,
0.
in
RN ,
(x) 0 or
(x) p(x). Moreover, 1 (x) 1 (0, x) because of the monotonicity of 1 with respect to s.
+
Therefore 1 (x) b < p . Thus, 1 (x) 6 p(x), and 1 0. Similarly, 1 (x) 1 (0, x). Thus
+
+
there exists x0 C such that 1 (x0 ) b > 0. As a consequence, 1 p.
From the uniqueness Theorem 2.1 of [17], one can conclude that either
c = 0) by s
(N, N )C , where
(N,N )C
(22)
0.
(N,N )C
First, one has
Z
(eA(x)e + )ss s dsdx =
(N,N )C
1
2
N +
Z
C
N
(eA(x)e + )(s )2 N dsdx.
s 0
as
s +.
(23)
Z
(eA(x)e + )ss s dsdx = 0.
(24)
RC
67
x,
(N, N ) C
with respect
one has
Z
x (A(x)x )s dsdx
(N,N )C
x s A(x)x dsdx
(N,N
)C
Z
=
=
since the matrix eld
A(x)
1
(x A(x)x )s dsdx
2 Z(N,N )C
1
[x A(x)x ]N
N dsdx,
2 C
N +
(25)
1
x (A(x)x )s dsdx =
2
RC
with respect to
x,
Z
p (A(x)p)dsdx.
(26)
C
one can similarly show that
Z
{x (A(x)es ) + s (eA(x)x )} s dsdx = 0.
(27)
RC
Z
Set
F (x, u) =
f (x, s)ds.
Then,
f (x, )s dsdx =
RC
F (x, p(x))dx.
(28)
RC
p,
(29)
Z
1
F (x, p(x)) p (A(x)p) dx =: E(p) > 0.
2
C
The latter is in contradiction with (29), therefore case 1 is ruled out.
converge in
that
x0 C
such that
p(x0 ) = p+ .
implies that
an sn >
for some
> 0.
Hence
d>0
and
max (0, x) = b.
xC
68
x0
together with
(30)
2. Existence result
Moreover (30) implies that
{d} RN
with
C 1 (, d] RN
(d, x) = p(x).
is actually in
(, .) 0.
x1 C
such that
Proposition 1
R, N 1 N
Fix
(0, 1]. Let an + be the sequence dened above. Then, there exist K
n N1 there exists a unique real number c = c,an such that c,an
xRN
xC
p
.
2
(31)
Furthermore,
(0, 1]. Under the notations of the two preceding lemmas, let us
> a1 and N1 > N0 . It follows from this lemmas that for each n N1 ,
.
for c = 0, max 0,an (0, x) >
2
xRN
PROOF. Fix
that
aN1
n N1 ,
dene
N1
such
the function
2.2
c.
R RN
Proposition 2
,an
c,an
n +
in the innite
satisfying (31).
> 0, 0 < c :=
lim inf
n+,nN1
c,an K.
69
can assume
as
satises
with
c = c
L + f (x, ) = 0 in R RN ,
is L-periodic w.r.t. x,
is nondecreasing w.r.t. s,
and
max (0, x) =
xRN
p
.
2
Then, following the calculus of Lemma 5, case 1, one can assert that
(, x) = 0, (+, x) = p(x)
,an
c,an
converge in
+s (eA(x)x ) cs + f (x, )
is L-periodic w.r.t. x,
max (0, x)
xRN
is increasing w.r.t. s.
Furthermore,
(, x) = 0
and
(32)
c > 0.
Proposition 3
0<
and
all
x R,
Z
1
(s ) dsdx =
F (x, p) p (A(x)p) dx = E(p) > 0,
2
RC
C
for all
(+, x) = p(x)
for all
2,
Cloc
(R RN )
(for
= 0,
=
p
,
2
x RN .
PROOF. The convergence follows from the same arguments that were invoqued in the preceding
limits
(, x) = 0
and
(+, x) = p(x)
case 1, using
max (0, x) =
xRN
and the fact that
s.
h > 0,
p
,
2
is
increasing in
For any
the function
(s + h, x) (s, x)
of a linear elliptic equation with bounded coecients. It follows then from the strong maximum
(s + h, x) (s, x) > 0,
increasing in the variable s.
principle that
is
2.3
for all
(s, x) R RN .
70
2. Existence result
Proposition 4
n.
Set
u + x (A(x)x u ) ut + f (x, u ) = 0 in R RN ,
)2 tt
(c
N
Y
ke
k
Li Z, u t +
, x = u (t, x + k) in R RN ,
i=1
(33)
0 < u (t, x) < p(x) for all (t, x) RRN . Lastly, since is increasing in the variable s
> 0, each function u is increasing in the variable t.
Moreover,
and c
Up to the extraction of some subsequence, as it was said in [13] (Proposition 5.10), three
cases may occur :
(0, +), 2 +
2
(c )
(c )
0
(c )2
or
as
0+ .
2
(c )
Since
, standard elliptic estimates imply that the functions u converge (up to
(c )2
2,
N
extraction of some subsequence) in Cloc (R R ) (for all 0 < 1) to a function u satisfying
utt + x (A(x)x u) ut + f (x, u) = 0 in R RN ,
0 u p, ut 0 in R RN ,
case 1 : Assume
and
u(0, x0 ) =
p
.
2
Now, x any
u (0, x0 )=
p
2
B R.
is increasing in
Since
t,
B > 0,
c 0+
one has
0,
and
u (B, 0)
x0 e
c for
x0 e
x0 e
u ( c , 0). But u ( c , 0) =
x0 e > 0, B <
one obtains
u(B, 0)
p
.
2
(34)
u+ be the function dened in RN by u+ (x) = limt+ u(t, x). This function can be dened since u is bounded and nondecreasing in t. From standard elliptic estimates, the convergence
2
N
+
holds in Cloc (R ), and u solves
Let
(A(x)u+ ) + f (x, u+ ) = 0
in
RN
(35)
71
0 u+ (x) p(x)
for all
x RN .
rems 2.1 and 2.3 of [17] that the equation (35) admits exactly two nonnegative solutions, which
are
and
p.
u(0, x0 ) =
+
u (0) p2 . As a
Therefore, as
p
2 and
out.
+ (A(x) v )
v
v + f (x, v ) = 0 in R RN ,
x
x
N
Y
ke
k
Li Z v + , x = v (, x + k) in R RN ,
i=1
v (, x) 0 as , v (, x) p(x) 0 as +.
Moreover,
0 < v < p
and
Furthermore, as it was
QN
p
N
done in case 1, one can assume that v (0, x0 ) =
i=1 Li Z
2 for some x0 R such that x0
and x0 e > 0. Since c / 0 , the functions v converge (up to the extraction of some
2,
N
subsequence) in Cloc (R R ) (for all 0 < 1) to a function v which satises
and
v(0, x0 ) =
v + x (A(x)x v) + f (x, v)
0 v p, v
0
0
in
in
R RN ,
R RN ,
p
2 . Moreover, as in case 1, one can show that
B > 0,
By dening
v(B, 0)
p
.
2
in case 1.
0,
0.
(c )2
0,
u .
Using the same calculations as those which were used to prove (29) and (32), and making
the change of variables
t=
sxe
,
c
one obtains
(ut )2 = E(p).
(0, 1),
RC
(0, 1), n N,
(36)
and
u ,
Z
(0, 1), n N,
such that
f (x, u ) + |x u |2 (2n)N .
(37)
72
2. Existence result
Lemma 6
M,
|x u | M
for
in
R RN
(38)
small enough.
The above estimates were proved in [14] with a Bernstein-type method. This method uses the
From (36) and (38), and arguing as in [13] (Proposition 5.10), we obtain that
(up to the extraction of some subsequence) almost everywhere in
1 (R
Hloc
RN ) and
(u , ut , x u ) * (u, ut , x u)
2
in Lloc
RN
strong.
converges
RN to a function
L2 (K),
in
RN .
K1
u
ut x (A(x)x u) f (x, u)
0 u p, ut
t,
0
0
in
in
R RN ,
R RN .
that
> 0,
(0,1)C
p
.
2
(41)
x0 N
i=1 Li Z such that x0 e > 0. Since c 0 and u is increasing in
all B R, and for suciently small,
x0 e
(t, x) (0, 1) C, u (B + t, x) u (t + , x) = u (t, x + x0 )
c
for some
that for
(40)
in
t,
let us dene
t, it follows
By using (41)
(42)
u+ 0
x (A(x)x u+ ) + f (x, u+ ) = 0. Therefore, as it was stated in Theorems 2.1 and 2.3 of [17],
u+ 0 or u+ p. But (41), passing to the limit 0 and t +, rules out the case u+ 0.
+
Hence u p. Next, using (42), and since u is nonincreasing in t, one obtains
Z
p
p(x)dx |C|
2
(0,1)C
and
7 This
(c1 , u1 )
Existence of a solution
(x e + ct, x).
such that
c c1 > 0.
For each
1
extraction of some subsequence), in Hloc (R
1
solution u of (40).
set
u (t, x) =
Q
ke
u1 t + 1 , x = u1 (t, x + k) for all k N
i=1 Li Z and for all (t, x) R
c
B > 0 and every compact set K1 in RN , one has,
2
Z
ke
u t + 1 , x u (t, x + k)
c
(B,B)K1
2
Z
ke
ke
=
u t + 1 ,x u t + ,x
,
c
c
(B,B)K1
RN .
For all
whence
Z
(B,B)K1
almost everywhere in
2
ke
u t + 1 , x u (t, x + k)
c
Z
ke ke 2
ke ke 2
2
(ut )
C(K1 )
c1
c
c1
c
RK1
passing to the limit 0, we obtain
ke
1
u t + 1 , x = u1 (t, x + k)
c
R RN .
u1
Since
(43)
(t, x) R RN .
1
In order to obtain our result, one has to prove that u (t, x) 0 as x e and
1
1
u (t, x) p(x) 0 as x e +, locally in t. Since u veries (43), and c > 0, it is equivalent
1
1
to prove that u (t, x) 0 as t and u (t, x) p(x) as t +, locally in x.
As it was done in the proof of Proposition 4, case 3, one can assume, up to a translation in t,
that
,
(0,1)C
Since
u1
t,
p
.
2
(44)
As already said, this equation admits exactly two nonnegative solutions, which are not larger
than
p,
namely
and
p.
t,
one has
p
,
2
(45)
u (x) |C|
p
.
2
(46)
C
One then easily concludes from (45) that
p, thus u
u+
is not equal to
74
0,
and therefore
u + p,
and
0.
u+ (x) |C|
C
and
u1
u1
is increasing in
t.
The exis-
2. Existence result
2.5
Existence of a solution
Proposition 5
and
c > c1 ,
For each
for all
c > c1
of (10-11), associated to the speed
c,
t.
is increasing in
1
PROOF. Set (s, x)
(c, u)
=u
sxe
,x
c
, and, as before, dene
by
v = t u1 ,
such that
|tt u1 | Ct u1
in
R RN ,
whence
>0
For any
a R+
and
R,
>0
in
R RN ,
(47)
set
h = min 1 (a + , .).
C
With a similar method as in Lemma 1, one can show the existence of a solution
C 2 a
of
L + f (x, )
is L-periodic w.r.t. x,
p(x)
(a, x) = h + , (a, x)
p
Let us now show that
p(x)
<
p+
for all
1 (a
in
a ,
(48)
+ , x)
(s, x) a .
> 0
in
First, since
a .
p(x)
= sup > 0, > h +
p
f (x, u) = 0
for all
u 0,
for all
RN .
in
a .
< 1. As in the proof of Lemma 2, using the fact that h p(x)/p+ < (a, x)
N (since p(x)/p+ 1 and 1 is increasing w.r.t. s), one gets the existence of
for all x R
(s , x ) (a, a) C such that h p(x)/p+ (s, x) for all (s, x) [a, a] RN , with
N
equality at (s , x ) (a, a) R . On the other hand,
Assume that
L (h
since
h /p+ < 1,
and since
p
h
p
) = + L (p) > f (x, h + ),
p+
p
p
f (., s)/s
is decreasing in
f.
That leads
to a contradiction as in Lemma 2.
Therefore,
1,
whence
h p/p+ ,
(s, x) a , h
k, x) (s, x)
in
for
large
p(x)
< (s, x).
p+
(49)
Therefore,
1 (s + +
75
1
necessarily follows that (s +
is increasing in
+ k, x) (s, x)
k 0.
k > 0. By continuity, it
1
point (s, x) a . Since
Assume
with equality at a
s,
1 (a + + k, ) > 1 (a + , ) h h
p()
= (a, ),
p+
Since
is increasing in
s,
(s, x) < 1 (a + , x)
in
a .
(s, x) a , h
p(x)
< (s, x) < 1 (a + , x).
p+
is increasing in s and
C 2 a . Moreover, using the fact that the boundary conditions
for at s = a are increasing in , one can prove, as in Lemma 5.3 in [13], that the functions
are continuous with respect to in C 2 a and increasing in . But, since 1 (, x) = 0
1
N
and (+, x) = p(x) in R , it follows from (49) and (50) that 0 as uniformly
in a and that,
p
> 0, T, > T, (s, x) > + p in a .
p
Using the same sliding method as in Lemma 5.2 in [13], it follows that
satises
,a (s, x)dsdx =
(0,1)C
Let
(for all
(p )2
|C| min(c, 1).
2p+
s,
satises
(s, x)dsdx =
(0,1)C
0 (s, x) p(x)
(x) as
2
in C (C). Moreover,
(A(x) ) + f (x, ) = 0
0 (x) p(x)
in
C.
in
R RN ,
and
(p )2
|C| min(c, 1).
2p+
76
(51)
2,
an +. From standard elliptic estimates, the functions ,an converge in Cloc
(RRN )
Moreover,
with
in
with respect to
s,
one
+ (x)dx
C
and
(x)dx
C
From (53) one deduces that
(p )2
|C| min(c, 1) > 0,
2p+
(p )2
|C| min(c, 1) <
2p+
+ p
and
(53)
Z
p(x)dx.
(54)
0.
u (t, x) = (x e + ct, x).
(t, x),
one denes
As it was
done in the proof of (36) and Lemma 6, it follows from (52) and from the limiting behavior of
as
that
u * u
weakly in
QN
i=1 Li Z. Furthermore,
u(t + ke
c , x) = u(t, x + k)
in
R RN
satises
Z
u(t, x)dtdx =
{0<xe+ct<1, xC}
(p )2
|C| min(c, 1).
2cp+
u in t, that
u(t, x) u (x) locally in x as t , and that u solve (A(x)u ) + f (x, u ) = 0
N
in R . Moreover, 0 u p. From the monotonicity of u with respect to t, one can also assert
that
Z
(p )2
u+ (x)dx
|C| min(c, 1) > 0,
2cp+
C
One deduces from standard parabolic estimates and from the monotonicity of
and
(p )2
u (x)dx
|C| min(c, 1) <
2cp+
C
Z
p(x)dx.
C
u 0.
Finally, one deduces from the (t, x)-periodicity of u and the positivity of c that u(t, x) 0
as x e and u(t, x) p(x) 0 as x e +, locally in t. Thus (c, u) is a classical
solution of (10-11). Moreover, since ut 0, the strong parabolic maximum principle yields that
u is increasing in t.
That completes the proof of Proposition 5.
Therefore using the same argument as for
u+ p
and
t.
(c, u)
One rst establishes the following lemma, which is close to Lemma 6.5 of [13]. Nevertheless,
its proof does not use the fact that
uses the property that
77
Lemma 7
Let
(c, u)
c>0
0 < :=
lim inf
t, xC
and
ut (t, x)
< +.
u(t, x)
sxe
, x . From standard paPROOF. Let us rst prove that c > 0. Set (s, x) = u
c
rabolic estimates, ut (t, x) 0 as t , x u(t, x) 0 as t and x u(t, x) x p(x) as
t +. Therefore s (s, x) 0 as s , x (s, x) 0 as s and x (s, x) x p(x)
as s +. Then, arguing as in Lemma 5 (case 1), one can prove that
Z
c
(s )2 = E(p) > 0.
RC
Therefore
c > 0.
Next, as it was done in [13] (Lemma 6.5), one can assert, using standard interior estimates,
(t, x)-periodicity of u, that ut /u and u/u are globally boun be dened as in the stating of the above lemma. Then is a nite real number.
(tn , xn ) be a sequence in R C such that tn and
ut (tn , xn )/u(tn , xn )
as
n +.
wn (t, x) =
From the boundedness of
ut /u
and
u/u,
xn x C
as
n +.
u(t + tn , x)
.
u(tn , xn )
one can assert that the functions
wn
are locally
t wn (A(x)wn )
w ,
wn
u(t, x) 0
as
locally in
R RN .
in
x.
Moreover,
in
R RN ,
(t, x) R RN
QN
i=1 Li Z.
w (t, x)et
not depend on t. Indeed, one clearly has (w )t /w , and (w )t (0, x ) = w (0, x )
the denition of (tn , xn ). Therefore, the function z = (w )t /w satises
Then using the arguments of the Lemma 6.5 of [13], one can check that
t z (A(x)z) 2
w
z = 0
w
with
78
in
does
from
R RN
Therefore the
function
is positive and
L-periodic.
Moreo-
ver, it satises
Lc, = 0,
where one has set
= /c,
Lc,
(55)
and
(A(x)) 2(eA(x))
[2 eA(x)e + (A(x)e) c + fu (x, 0)].
Now, from [13] (Proposition 5.7.1), one knows that for all
c () R
and
c in R,
Lc, = c () in RN ,
is L-periodic, k k = 1.
7 c ().
(56)
Lc,
,
E
L periodic . Let E0
c () = max inf
RN
where
E = C 2 (RN ), > 0,
is
n
E0 = C 2 (RN ), E
Then,
c () = c + h()
with
o
(x) = exe .
with
h() = max0 inf
E RN
(A(x))
fu (x, 0) .
h() inf
RN
(A(x))
fu (x, 0) .
Moreover,
(A(x))
fu (x, 0) = (A(x)z) zA(x)z fu (x, 0),
and
zA(x)z
since
0 t 1.
79
(A(x))
fu (x, 0)
Thus,
h() t inf
RN
and, since
(A(x)1 )
(A(x)2 )
fu (x, 0) + (1 t) inf
fu (x, 0) ,
1
2
RN
1 and 2 were arbitrarily chosen, one bets that h() th(1 )+(1t)h(2 ). Therefore
h is continuous. Thus 7 c () = c + h() is continuous and
concave.
problem
(A(x) ) 2(eA(x) )
(2 eA(x)e + (A(x)e) c + fu (x, 0))
Multiply this equation by
periodicity of
and
0 ,
0 ,
A(x)
1 () .
C.
Z
Z
(A(x)0 ) [ (A(x)e ) + eA(x) ]0
C
Z
C
2
( eA(x)e c) + fu (x, 0) 0
c ()
0 .
C
0 ,
one obtains,
(57)
Z
=
C
Multiplying by
Z
[ (A(x)0 ) + fu (x, 0) 0 ] = c (0)
0 .
, one
Z
[ (A(x)e ) + eA(x) ]0
C
Z
(eA(x)e c) 0
C
n 0.
Since
gets
c () c (0)
c (n ) c (0),
(59)
Z
0 .
C
and Sobolev injections imply, up to the extraction of some subsequence, that the functions
such that
k 0 k
(58)
nonnegative function
L-
is symmetric,
n
to a
C
From the
L-periodicity of 0 , and since the matrix eld A(x) is symmetric, one has
Z
Z
[ (A(x)e0 ) + eA(x)0 ]0 = [eA(x)0 A(x)e 0 ]0 = 0,
C
whence
0c (0) = c > 0.
Therefore, one has shown that
coming back to our solution
proved.
of
(s, x) =
and
lim inf
t, xC
ut (t, x)
> 0.
u(t, x)
Therefore,
lim inf
s, xRN
and, from the
L-periodicity
of
with respect to
s (s, x)
>0
(s, x)
x,
sR
such
that
s s, x RN , s (s, x) > 0.
Moreover
exists
inf
ss, xRN
BR
(s, x) > 0
such that
and
B s
(, x) = 0
uniformly in
x RN .
As a consequence, there
and
0, s B, x RN , (s, x) (s, x)
where one has dened
Fix now any
(s, x) = (s + , x).
0.
B 0.
Set
= inf ,
The real
(60)
in
is bounded and
[B, +) RN .
inf
sB, xRN
(s, x) > 0.
81
and because > 1. Coming back to the original variables (t, x), set z(t, x) = (x e + ct, x)
N
(x e + ct, x). Then z 0 in R R , moreover, z satises the following equation :
Furthermore,
f (x, ) f (x, ).
Thus one has
such that
zt (A(x)z) + b(x)z 0.
Furthermore, since
Besides,
(s0 , x0 ) = (s0 , x0 ),
setting
t0 =
(61)
s0 x0 e
, one has
c
z(t0 , x0 ) = 0.
is nonnegative, and satises (61) ; therefore, from the strong parabolic maximum
ke
c ,x
Remark 1
Notice that this monotonicity result especially implies that any solution
for all
(c, u)
of
(t, x) R RN .
4.1
(c, u)
c > 0.
complete the proof of the rst part of Theorem 1 and to obtain the existence of a
that there exists a solution of (10-11) if and only if
c c .
Proposition 6
c c ,
c > 0
c < c .
There exists
un
cn 0+
In order to
c > 0
such
of (10-11),
such that
Again, Let
82
f.
un (0, x0 ) =
p
.
2
t u (A(x)u) = f (x, u) R RN .
p
.
2
+
Since u is nondecreasing in t, one can dene u (x) =: lim u(t, x), and from standard elliptic
Moreover,
satises
0up
u(0, x0 ) =
t+
p
p
x e
+
+
enough, un (B, 0) un ( 0 , 0) = un (0, x0 ) =
cn
2 . Therefore u (0) 2 . Thus u 0. But since
estimates,
u+
satises
is nondecreasing and
u(0, x0 ) =
p
2 ,
u+ (0)
p
2 , which is contradictory with the preceding
result.
On the other hand, the arguments used in Proposition 5 actually imply that, if
solution of (10-11) with
c0 > 0
and
(u0 )t > 0,
(c, u)
(c0 , u0 )
is a
c > c0 .
c > 0 such that for all c > c , there exists a
t u (A(x)u ) = f (x, u ) R RN ,
beginning of this proof, one concludes that limt u (t, x) = 0 and limt+ u (t, x) = p(x),
ke
with
4.2
Characterization of
This section is devoted to the proof of the variational characterization of the minimal speed
(62)
Let us dene
c0 = inf {c R, > 0
where
c ()
c () = 0} ,
Lc, =
with
with
L-periodicity
Proposition 7
(A(x)) 2 eA(x)
[2 eA(x)e + (A(x)e) c + fu (x, 0)],
conditions.
One has
c = c0 .
83
Lemma 8
c0
0 c0 c .
That yields c0 c .
Moreover, using the concavity of 7 c (), which has been shown in the proof of Lemma 7,
0
together with c (0) < 0 and (c ) (0) = c, one immediately gets that if c < 0, then c () < 0 for
all > 0. Therefore 0 is a lower bound of the set {c R, > 0 with c () = 0}.
PROOF. Let
Lemma 9
For all
c < c0 ,
> 0,
let us dene
c = inf {c R, > 0
where
c ()
with
c () = 0} ,
Lc, =
with
(c, u).
L-periodicity
(A(x)) 2eA(x)
(eA(x)e + )2 (A(x)e) + c fu (x, 0),
conditions.
c ()
where
E = C 2 (RN ), > 0,
= max inf
Lc,
E RN
is L-periodic .
Set
j() = max inf
E xRN
(A(x)) 2eA(x)
2 eA(x)e (A(x)e) fu (x, 0) .
Then,
c () = j() + c 2 = c () 2 .
Lemma 10
> 0,
and
c 0.
continuous, one gets the existence of such that c ( ) = 0. Therefore c < + for all > 0.
Moreover, as it was done in Lemma 8, one easily sees that 0 is a lower bound of the set
{c R, > 0 with c () = 0}.
PROOF. Let
be xed. Let
be given. Since
0. Since c (0)
Lemma 11
84
For all
c > c ,
there exists
>0
such that
c () = 0.
fore, there exists N such that cN < c. One has c (N ) = c (N ) + (c cN )N > 0. Using the
N
same argument than this of Lemma 10, one deduces that there exists > 0 such that c () = 0.
c
PROOF. Let
be s.t.
Lemma 12
One has
c c0
as
0.
PROOF. First, one observes that c c0 for all > 0. Indeed, for c > c , there exists, from
Lemma 11, > 0 such that c () = 0. Thus, since c () > c () = 0, arguing as in Lemma 11,
Next, let us show that for any c > c0 , there exists 0 such that c c for all < 0 .
Indeed, one deduces from Lemma 11, adapted to c0 , that for each c > c0 , there exists 1 > 0
such that c+c (1 ) = 0. Then
0
c (1 ) = c+c0 (1 ) +
2
c c0
1 21 .
2
cc0
Thus, c (1 ) =
2 1 1 . Hence, for small enough, c (1 ) > 0. Therefore, there exists
> 0 such that c () = 0. Finally, from the denition of c , one deduces that c c , and the
lemma is proved.
PROOF of Proposition 7. Let c be such that c > c0 . Then, from Lemma 12, one knows that for
small enough, c > c . Therefore, from Lemma 11, there exist > 0 and > 0 L-periodic,
depending on
Lc, = 0.
Now, set
1 (s, x) := (x)es ,
for all
(s, x) R RN ,
(63)
and let
Proposition 5. Then,
L 1 =
and, since
{ (A(x)) + 2eA(x)
+(eA(x)e + )2 + (A(x)e) c es ,
L 1 = fu (x, 0)1 .
Therefore, using (62), one obtains,
is increasing in
and
L-periodic
with respect to
(64)
x.
Now, with the notations of Section 2.1, and as it was proved in Lemma 1, there exists a
solution
C 2 a of the following problem :
L + f (x, ) = 0 in a ,
is L-periodic in
x,
1
yC
p(x)/p+ ,
(65)
85
1 (a + , x) > p(x)
for all
x C,
(66)
(s, x) a , (s, x) 1 (s + , x)
and, since
is increasing in
s,
it follows that
(68)
(s, x) < 1 (a + , x)
in
a .
(69)
s = a
C 2 a
is increasing in
are
. But, since 1 (, x) = 0 and
1 (+, x) = + in RN , it follows from (69) that 0 as uniformly in a and that,
at
, one
C 2 a
are nondecreasing in
in
and nondecreasing in
> 0, T, > T,
Therefore, for each
a > 1,
there exists
(a) R
>
such that
(a, .)
is bounded independently of
a.
Moreover,
L + f (x, )
is L-periodic w.r.t. x.
s,
Z
(0,1)C
86
,a := (a)
(s, x)dsdx =
an
N
R ) (for all 0
= 0
in
R RN ,
and satises
0 (s, x) p(x)
and
a .
Thus, letting
2,
,a
elliptic estimates, the functions n converge in Cloc (R
in
(p )2
|C| min(c, 1).
2p+
,a (s, x)dsdx =
(0,1)C
Moreover
p p
p+
in
R RN ,
(p )2
|C| min(c, 1).
2p+
+, from standard
< 1), up to the
(10-11) for all c > c0 . Next, using Lemma 9, one obtains that c = c0 .
(c, u)
of
4.3
Dependency of
f.
c ,
such that
B>0
max > 0.
characterizations of c
c,B ()
with
c,B () = 0} ,
(70)
of
pulsating fronts
where
k (B)
k (B)
,
(71)
k (B).
of functions
We call
B,
It satises
LB, B, = k (B)B, ,
N
is L-periodic, B, > 0 in R ,
B,
kB, k = 1 (up to normalization).
We are going to study the monotonicity of the function
(72)
B 7 c = c (B),
as soon as the
Proposition 8
max > 0.
Z
Assume that
= 0 0
increasing function of
(x)dx 0
B > 0
and
c (B)
with
is an
B > 0.
87
B > 0.
where
E0
(A)
0 B(x),
n
E0 = C 2 (RN ), > 0, L-periodic
with
o
(x) = exe .
B1 , B2 R and t [0, 1]. Set B = tB1 + (1 t)B2 . Let 1 and 2 be two arbitrary
0
z
chosen functions in E , and set z1 = ln(1 ), z2 = ln(2 ), z = tz1 + (1 t)z2 and = e . It easily
0
follows that E . Therefore
(A)
k (B) inf
0 B(x) .
RN
Let
k (B)
(A1 )
0 B1 (x)
1
(A2 )
+(1 t) inf RN
0 B2 (x) ,
2
t inf RN
2 were arbitrary chosen, one has k (B) tk (B1 ) + (1 t)k (B2 ). Therefore
the function B 7 k (B) is concave. This also implies that this function is continuous.
2
Next, one easily sees that k (0) = eAe 0 , and that the associated eigenfunction 0,
is equal to 1.
0
Now, let us calculate k (0). Let B, be the principal eigenfunction associated to k (B)
dened in (72), and let us integrate by parts the equation (72) over C . Using the L-periodicity
of B, , one obtains
Z
Z
Z
2
( eAe + 0 )
B, B
(x)B, dx = k (B)
B, .
(73)
and, since
and
B 0,
one obtains
k0 (0)
Z
=
(x)dx.
C
Z
(x)dx > 0,
In the case
one has
k0 (0) < 0.
88
c (B)
B > 0.
B 7 k (B),
> 0,
B > 0.
one deduces
one
Similarly, if
and
max > 0,
B,
and integrate it
(x)dx = k (B)|C|,
( eAe + 0 )|C| B
2B,
C
C
by parts over
B, is not constant (because is not constant) and the matrix A is elliptic, one gets
2
0
that k (B) < ( eAe + 0 ) = k (0) for all B > 0. Hence, since k (0) = 0 and k (B) is concave
in B , one concludes that B 7 k (B) is decreasing in B > 0. Finally, it follows that c (B) is
increasing in B > 0.
and, since
The biological interpretation of this proposition is that increasing the amplitude of the favorableness of the environment increases the invasion's speed.
Remark 2
conservation for
max > 0,
has said above, it follows from Theorem 2.8 of [17] that it is true for all
B >0
(x) 0
if
Z
(x) 0
and
with
6 0 ;
max > 0,
it is true if
is large enough.
Proposition 9
Assume that
conservation with
Next, using the characterization of c given by (70), let us integrate by parts over C the
equation Lc,B, = 0. Using the L-periodicity of , one obtains the following inequalities :
< 0)
imply that
Remark 3
B
c (B)
lim sup
2 max(eAe) max .
B
B+
89
Proposition 10
max > 0.
0,
where
Then
s
2
and
eAe
|C|
r
Z
c (B)
+ dx
2 eAe max
+
B
B
C B
1
c (B)
c (B)
eAe max lim inf
lim inf
2 eAe max .
B+
B+
2
B
B
and
(75)
(76)
PROOF. As already underlined, the assumptions of Proposition 10 guarantee that the hypothesis
B > 0.
B, |C|
Z
( + B)
C
eAe +
|C|
k (B)
.
(77)
s
2
eAe
|C|
( + B) c (B),
(78)
c (B)
0 := lim inf
2 eAe max
B+
B
and (Bn )nN + such that c (Bn )/ Bn as n +. First, from (71), there exits a
kn (B)
where
kn (B)
2 eAe max + n ,
n Bn
n 0
as
n +.
Z
( + B)
n eAe +
Assuming that
p
p
kn (Bn )
2 Bn eAe max + n Bn .
n
|C|n
Z
Z
0 and
0,
C
r
n 2
90
(79)
p
Bn
max + n Bn .
eAe
(80)
(AB, ) 2Ae B,
2 eAeB, ( + B)B, = e
k (B)B, ,
B, > 0 on C, B, = 0 on C, kB, k = 1,
e
k (B) > k (B) (for all > 0 and B > 0).
e
k (B) k (B) ; then the function B, satises
>0
B,
C,
B, < B,
(81)
in
= sup > 0, B, < B,
B, B, in C and
B, > 0 in C and B, = 0
Then, by continuity,
in
there exists
C > 0.
x1
in
such that
B, (x1 ) =
x1 C . Therefore, using
B, B, in C , which is
impossible from the boundary conditions on C . Finally, one concludes that e
k (B) > k (B).
xe
Let us now dene B, (x) = e
(x)
.
From
(81),
the
function
B,
B, satises the eigen-
B, (x1 ).
But, since
on
C ,
it follows that
value problem
(AB, ) ( + B)B, = e
k (B)B, ,
B, > 0 on C, B, = 0 on C,
Z
e
k (B) =
min
H01 (C), 60
> 0 be arbitrarily chosen. Then, there exists in H01 (C), such that k k = 1, 0
for all x C ,
(x) > 0 (max (x) < ) .
Let
and,
One then easily obtains (see the proof of Proposition 5.2 in [17])
Z
Z
(A(x) ) + (x)2
C
C
Z
+ B (max ) e
k (B)
2
(82)
C
for all
> 0.
e
kn (Bn ) > kn (Bn ) one has
kn (Bn )
1
lim inf
eAe
max
.
n+ n Bn
2
max
since
kn (B) 0.
Since
>0
c (B)
1
= lim inf
eAe max .
B+
2
B
91
fu (x, 0) = (x) ( = 0
and, say,
B = 1)
with
Z
(x)dx 0 |C| > 0,
c
it follows from the lower bound in (75) that
c [] c [0 ] = 2 eAe 0 .
c (B)
and
have zero
to increase like to the square root of the amplitude of the eective birth rate.
Proposition 11
Z
Assume that
0, fu (x, 0) = B(x)
with
and
max > 0.
Then, one
has
s
Z
c (B)
eAe
lim
=2
(x)dx.
|C| C
B0+
B
s
2
for all
eAe
|C|
c (B)
(x)dx
B
C
(83)
B > 0.
B 0+ ,
Z
> 0.
Case 1 :
Let
B,
B = B,B
with
s
B =
B
eAe|C|
Z
(x)dx.
C
Z
Multiply (72) by
C.
Dividing by
2B ,
Z
kB (B) =
2B
B AB
2
C
Z
B eAe B Z
,
2
2
B
B
C
and
Z
kB (B)
B C
Z
B eAe +
B
B
2B
C
92
.
2B
one obtains
converges
can write
where
B 0
as
B 0.
B by
s
kB (B)
2
B
Lemma 7, one
Therefore, one
(84)
B
eAe
|C|
v
u
u BeAe|C|
+u Z
B .
t
c (B),
c (B)
2
B
where
eB 0
as
B 0.
eAe
|C|
Z
C
+ eB ,
s
Z
c (B)
eAe
lim
=2
.
B0
|C| C
B
Z
= 0.
Case 2 :
Choose now
B =
for arbitrary
> 0.
C
that
c (B)
lim sup
eAe
B
B0+
93
94
Sommaire
1
2
. . . . . . . . . . . . . . . .
98
2.2
99
2.3
. . . . . . . . . . . . . . . . . . . .
109
2.4
. . . . . . . . . . . . . . . . . . . .
110
. . . . . . . . . . . . . . . . . . . . . . .
111
R+ .
0.
R+
3.1
3.2
3.3
. . . . . . . . . . . . . .
112
. . . . . . . . . . . . . . . . . .
113
95
existence result is established for every positive Lewis Number, hence one also solves a nonuniqueness problem. Indeed, in the adiabatic case, Marion [72] has proved the uniqueness of
ames when the Lewis number (1/ in this paper) is greater than
1,
[26] that when the Lewis number is less than unity, uniqueness cannot be generally assumed.
Here, we prove that uniqueness never holds in the non-adiabatic case (for small heat losses
).
Besides, we establishe that, in some cases, the solution with the greatest speed converges to the
solution of the adiabatic problem as
0,
0.
Moreover, we also compute some new bounds for the solutions. In particular, Giovangigli has
proved in [46] that, when
speed
cad
Le = 1,
Le = 0.4
Le > 0,
Le 1
(which is physically
c,
and
be two positive real numbers. The aim of this work is to prove existence and
and
which
satisfy
on
(1)
R,
u() = 0, u(+) = 0,
v() = 1, v 0 (+) = 0.
(2)
and
such that
f (u, v) = p(u)g(v)
where the function
is in
s.t.
C 0 (R),
p(x) = 0
for all
increasing on
g<0
96
R R,
(3)
(0, 1)
and the function
in
on
R+
and
p(x) > 0
for all
x > ,
type :
(4)
and
g(0) = 0;
(5)
> 0,
let us set
g(s)
,
k () := max sup
s(0,1) g(s)
and
)
,
g(s)
k () := min
inf
, ,
s(0,1) g(s)
(6)
C (R)
functions
th derivative of
is the n
The function
g.
is supposed to be in
C 1 (R),
h(0) = 0, h(1) = 1, , R
One call
s.t.
0 < h0 .
(7)
the solutions of the following problem without heat loss (see [23] for
on
(8)
R,
Remark 1
(9)
The reaction term used here is more general than this which was used in [23],
Remark 2
In the case
g(y) = y
and
the solution
of (8-9) is shown to be
unique (up to translation) in [72]. Moreover, [26] proves that uniqueness does not hold in the
general case for
Let
(us , cs )
> 1.
(10)
us () = 0, us (+) = 1.
(11)
Remark 3
= 1,
97
Theorem 1
1) For all
> 0, c1 0
0.
g(y) = y on R,
(u2 , v2 , c2 ) converges locally uniformly to (uad , vad , cad ), the unique solution of (8-9), as 0.
The same result holds in the case = 1, for the more general reaction term f (x, y).
2) For all
as
Theorem 2
1) If
f (1, 1)
,
h()
>
2) Assume that
(u, v, c)
Kp(1)
v(+) > exp
h()
(u, v, c)
of (1-2).
3) Let
(u, v, c)
and
.
1, 0 < c cs ,
where
(us , cs )
is the
solution of (10-11).
4) Let
(u, v, c)
1 = max
s(,1)
0<c<2
f (s, 1 s)
s
and
2 = max f (1 s, s),
s[0,1]
for all
for all
then
> 0.
R+
In this section, we will recall some results of Giovangigli. He establishes in [46], Proposition
2.2, that, under conditions (4) and (7),
Proposition 1
For all
c0
is a solution of
and
0,
on
(0, +) ,
(12)
where
u(0) = ,
u0 (0) = c +
u(+) = 0, v 0 (+) = 0.
h(u ),
v 0 (0) =
c
(v(0)
1),
(13)
98
R0
on
R ,
(14)
Remark 4
in [46] with
g(y) =
Finally, Proposition (1) shows that solving (1-2) is equivalent to nding a solution
on
R+
(u, v, c) of (1)
with
2.2
(15)
In order to be able to use a topological degree argument, we will study the system (1) on a
bounded interval of
R+ .
a > 0,
one sets
Ia = (0, a) ,
and one seeks solutions
on
Ia ,
(16)
(17)
and let
by
(U, V )
on
Ia = (0, a)
where
(18)
(19)
= + (1 ).
Remark 5
This mapping
is close to the one which was used in [46]. One cannot use here
the homotopic transformation of [23]. Indeed, we will see in the proof of Proposition 3 that the
right-hand side plays a crucial role in the denition of a positive real number
solution
(u, v, c)
exists with
c (, c )
for
such that no
arbitrarily small).
99
Let
with
Proposition 2
Let
1 u
,
min{1,
r }
c
f (1, 1) + 1
1
c < u0 < c 1 +
,
< v0 < 0, 0 < c
.
0 < u < 1,
0 < v < 1,
(20)
PROOF : In order to improve the readability of the following calculations, we will skip the
index
replacing
Lemma 1
(u , v , c )
One has
v>0
on
by
(u, v, c).
Ia .
(0, 1), v
v 00 + cv 0 = f (u, v) (1 )v
on
Ia ,
(21)
v 00 + cv 0 + v = 0
on
Ia ,
(22)
(x) :=
f (u, v) + (1 )v
v
if
(x) 0
v(x) 6= 0,
on
Ia .
and
(x) := 1
if
v(x) = 0.
xIa
(23)
v(0) < 0, then, from (19), one has v 0 (0) 0. Since v(a) = 0, we necessarily
= 0, which implies c = 0 from (19). Therefore, from (21), v is concave
v(x) 0, which is impossible since v(a) = 0. It follows that v 0. From the strong
principle applied to (22), one has v > 0 on Ia .
0
have, from (23), v (0)
as long as
maximum
Lemma 2
v<1
and
c
< v0 < 0
Ia .
on
x Ia
and
on
a,
Ia ,
(24)
one obtains,
But
100
on
Ia ,
1u
min{1, }
on
Ia .
v 0 (x) >
from (19), and since
Lemma 3
On has
(25)
v > 0.
0<u<1
and
PROOF. From the strong maximum principle, and using the hypothesis (7), one easily obtains
u>0
on
Ia .
w = u + v.
Then
satises
and
x Ia
h(u) 0.
Thus, since
k 0,
and
a,
Ia ,
one has
on
on
Ia ,
one obtains
cx
w(x) ( 1)e
v 0 (t)ect dt + 1,
(26)
x
thus, if
> 1,
one has
u+v 1
since
v0 0
1,
we
w (1 )v + 1,
therefore,
(27)
1u
.
min{1, }
Lemma 4
c < u0 < c 1 +
on
Ia .
v,
and
and
x.
u0 cu c + k + c v 0 > c.
It follows that
Moreover,
u0 > c.
setting y = u + v ,
one has
x Ia
0
to
gives
cx
y (x)e
Z
c( 1)
ect v 0 (t)dt,
x
101
y 0 (a) 0.
Thus, since
v 0 < c
u (x)c + c( 1)
ec(xt) v 0 (t)dt
on
Ia ,
(28)
x
therefore, if
thus
u0 < c 1 +
Lemma 5
1,
then
u0 < c,
one has
r
One has
and for
0<c
f (1, 1) + 1
.
satises,
to
a.
on
Ia .
(29)
One obtains
u0 2 + c/2 u(a)2 u(0)2
Z a
<
uf (u, v) + (1 )uv,
(30)
0
therefore, from (19),
0
but, since
0 2
c
< ( + k) +
2
uf (u, v) + (1 )uv,
(31)
u0 2 < c,
(32)
0
therefore, one has
c > 0.
c,
M := f (1, 1) + 1,
w00 + cw0 = M on Ia ,
w0 (0) = cw(0) + k,
w(a) = 0.
102
w,
(33)
gives
w(0) =
But, since
w(0) u(0)
1
ca
ca
M
4
kc
+
4
kce
M
(1
+
ac)e
.
c2
one has
M
c2
4 ck (1 eca )
thus
k
M
+ 4 (1 eca ) .
2
c
c
Finally,
M
.
In order to compute a topological degree, we need an other estimate, that will be established
.
(u , v , c ) Xa
Proposition 3
For all
be a xed point of
> 0,
there exist
J .
1 > 0
and
a1 > 0
a > a1 ,
for all
[0, 1],
( < 1 ) = (c
/ (, c )),
where
k(, c, 0) = 0
(35)
c [, c ].
Let us set
= min(1,
1
)
and
= max(1,
(36)
1
).
Lemma 6
(1 u) v (1 u).
PROOF :
one has
to
x R+
thus
on
R+ ,
(37)
R+ ,
on
hence,
Z +
cx
v 0 (t)ect dt
w(x) = 1 + ( 1)e
Zx +
cx
y(x) = 1 + c( 1)e
v(t)ect dt
on
R+ ,
therefore,
Z +
cx
v(x)
=
1
u(x)
+
(
1)e
v 0 (t)ect dt
Zx
1 u(x) ( 1) cx +
v(x) =
+
e
v(t)ect dt
x
Therefore, if
Lemma 7
on
One has
R+ .
1u
since
v > 0. That
v (x) cv(x) = c +
from
to
x R+ .
One has
(38)
0
Since
f (u, v) + (1 )v(x) 0,
Thus, from (38)
v 0 (x)
x +.
[ f (u, v) + (1 )v(x)] dx
the integral
Moreover, since
converges (even to
+).
has a limit as
x +.
Since
0.
Moreover,
Lemma 8
The function
u+v1
R+ .
u + v 1 0,
and if
in (37), we obtain
Lemma 9
u0 0
on
R+
in (34) is equivalent to
Lemma 10
x R+
u(+) = 1
and
+,
v(+) = 0.
u(+)
v(+)
and
satisfy
to
u(+) > .
It
(40)
k ( )f (u, 1
u),
(41)
and
k ( ) < +,
(42)
(43)
again Lemma 7,
Z
0
since
u 1.
c
(u ) + (1 + 2 ) k ( )
2
0 2
(44)
k ( ),
one has
0 < k ( ) .
Then, integrating (45) over
(45)
and
(46)
(0, +), and using (46), one has, from the limiting behaviors obtained
Z
c k ( )
Z
0
which is equivalent to
Z
0
c
k ( )
(u0 )2 + (1 + 2 )
c,
2
k ( )
c
(u )
2
0 2
k ( )
2
2
1 .
k ( )
u0
(47)
(0, +).
2 c2
+c
2
0 2
(u ) k ( )
0
c2
2
k ( )
2
1
k ( )
k ( )
k ( )m ,
Z
where
is dened by
m = min(m1 , m2 ), with m1 :=
(1 s)ds.
k ( )2
m > 0
c 2
2k ( ) k ( )
2
from
(42)
and
(46),
(48)
1
k ( ) = 1. Furthermore, , which implies from the
1
denition of k that k ( ) k
. Similarly, for 1, = 1 and k ( ) = 1. Moreo
1
1
ver,
, which implies that k ( ) k
. Besides, it follows from (42) and (46) that
1
1
1
1
k
< + and 0 < k
. Hence one can set
s
2
m if < 1,
c :=
2k 1 1
thus, if
< 1
then
= 1
and
and,
v
u
u 2k 1 2
t
m
c :=
2 k 1
Then
one has
c c ,
(although
if
1.
and
were depending on
).
Moreover,
In order to compute a topological degree, we need to investigate the case
The 3-uplet
(u, v, c)
is a xed point of
106
J0
in
Xa
= 0.
u00 + cu0 + u = v
v 00 + cv 0 + v = 0
in
Ia ,
(49)
u0 (0) = cu(0),
u(a) = 0,
0
v (0) = cv(0) c, v(a) = 0,
(50)
and
u(0) = .
(51)
Proposition 4
For small enough and a large enough, (49-51) admits exactly two solutions
(u2 , v 2 , c2 ). Moreover, there exists c > 0, such that for all > 0, 2 > 0 and
0, such that for all < 2 and for all a > a2 , one has 0 < c1 < and c2 > c .
(u1 , v 1 , c1 ) and
a2 >
Using Propositions 2, 3 and 4, we are now able to dene topological degrees. First, set
K I J ,
and
(
=
)
M
1
(1 + ) .
(52)
Proposition 5
For all
[0, 1],
and for
large enough,
0 6 K ().
(53)
c
, c where c and c are dened in Propositions 3 and
8
a := max{a1 , a2 } and := min{1 , 2 }, where a1 , a2 , 1 and 2 are dened in
>0
4 respectively,
such that
< min
Propositions 3 and 4.
Now, set
(54)
107
O2a 6= {}
: since
< c ,
c2 > c (c2
M
> c2 > c > c 2.
(55)
Proposition 6
For all
< ,
for all
[0, 1]
one has
0 6 K (Oia ),
for
i = 1, 2,
and for
a a .
/ (, c ) (i = 1, 2),
Proposition 5 that c1 = 2 (and c2 = c 2). But, from Proposition 3, ci
for
i = 1, 2.
Proposition 7
K ,
one
one obtains, using the homotopic invariance of the Leray-Schauder degree (see [79]),
Furthermore,
is known explicitly :
U0
and
V0
2
it was noticed in (55), c
> c > c 2
1
(c and
q
(0, 2) (resp. in (c 2, M
)). Using the
a
a
multiplicative property of the degree, one nds that deg(, O1 , 0) = 1 and deg(, O2 , 0) = 1
0
for a a (the sign of the degree is given by the sign of , see [23]).
(c) =
the equation
Remark 6
The real
is suciently small.
Corollary 1
For < , and for a > a , the problem (16-17) admits at least two classical
c
3c
a a a
a
a
a a
solutions (u1 , v1 , c1 ) and (u2 , v2 , c2 ), with 0 < c1 <
and
< ca2 . Moreover, from Remark 6,
4
4
a
one can assume that c1 < r , where r does not depend on a and r 0 as 0.
108
R+
< , and for a large enough, let (ua1 , v1a , ca1 ) and (ua2 , v2a , ca2 ) be the solutions obtained in
a a a
a a a
Corollary 1. Using Proposition 2, one nds that, for a large enough, (u1 , v1 , c1 ) (resp. (u2 , v2 , c2 ))
2
2
is bounded (independently of a) in C (Ia )C (Ia )R+ . By compactness, there exists a sequence
1 (R ) C 1 (R ) R
(an )nN such that (ua1n , v1an , ca1n ) (resp.(ua2n , v2an , ca2n )) converges in Cloc
+
+
+
loc
to (u1 , v1 , c1 ) (resp. (u2 , v2 , c2 )). One may use the general notation (u, v, c) for (u1 , v1 , c1 ) and
(u2 , v2 , c2 ) in the sequel, when the distinction between the two solutions is not needed. (u, v, c)
satises :
u00 + cu0 = f (u, v) h(u)
on R,
(56)
v 00 + cv 0 = f (u, v)
For
, c
and
0 c1 r
(57)
a,
one has
3c
c2 .
4
(58)
Lemma 11
a +
and
v in
Z x
(56) from
v
to
is nonnegative and
x > 0.
One obtains
f (u, v)(s)ds.
(59)
0
Therefore, since
x +.
Next, let us
from
to
Hence
x>0
(60)
(61)
0
is nonnegative (because
u 0), one
u(+) = 0. Now, using
has
follows that
the
v 0 (+), the equation (61) implies that u0 (+) exits. Since u is bounded,
= 0. Then u00 (+) = v 00 (+) = 0 immediately follows from (56).
one
lim h(u)(x) = 0.
x+
h(u)
h, it
above results on
0
nds u (+)
From Proposition 1, we have found two distinct solutions of (1-2). In order to complete the
u(0) =
u(+) = 0, u is not a trivial solution. Let us assume that v is a constant. Then, it follows
00
0
from (56) that f (u, v) = 0 on R, hence u + cu + h(u) = 0 on R. Since u() = 0, one
obtains that u 0 from the maximum principle, which is in contradiction with u(0) = .
proof of Theorem 1, it only remains to prove that this two solutions are nontrivial. Since
and
109
1 u(0)
v(0)
,
min{1, }
1
.
v(0)
min{1, }
2.4
v(+)
and since
u(0) = ,
one has
v(+) <
(ui , vi , ci )
(u1 , v1 , c1 )
and
(u2 , v2 , c2 )
veries
0 c1 r
and
r
kukC 1 (Ia ) 1 +
for
i = 1, 2.
Let 0.
(ui , vi , ci )
Since
and
3c
c2 ,
4
(63)
M
1
M
(1 + ), kvkC 1 (Ia ) 1 + ,
is bounded independently of
in
C 2 (R) C 2 (R) R+
(ui , vi , ci ) converges, up
0 0 0
a solution (ui , vi , ci ) of
(62)
1 (R) C 1 (R) R to
Cloc
+
loc
(u0i )00 + c0i (u0i )0 = f (u0i , vi0 )
(vi0 )00 + c0i (vi0 )0 = f (u0i , vi0 )
on
(64)
from
R,
(65)
with
(u0i )0 (0) = c0i , (vi0 )0 (0) = c0i vi0 (0) c0i , u0i (0) = ,
since
k(, c, 0) = 0
c01 = 0,
since
(66)
3c
c02 ,
4
(67)
3c
c02 , one can apply Lemma (10) for (u02 , v20 , c02 ), which
4
gives
u02 (+) = 1
Besides, since for each
and
v20 (+) = 0.
on
R .
(68)
(69)
Moreover,
u2
is nondecreasing on
u02 () = 0
Hence,
and
v20 () = 1.
(70)
is a solution of (8-9).
(u01 , v10 , c01 ). As seen in (67), c01 = 0. Since u1 0 and v1 0 for all ,
0
0
0
0
one has u1 0 and v1 0. It then follows from (65) that u1 is concave. Since u1 is bounded, it
0
0
0
follows that u1 u1 (0) = . Similarly, v1 K1 , where K1 is an unknown constant.
Let us study now
110
3. Proof of theorem 2
Let us assume now that
g(y) = y
and
on
R.
problem (8-9) has a unique solution. Since one has just demonstrated that for all converging sub-
(u2 , v2 , c2 ), (u2 , v2 , c2 )k
sequence
(u2 , v2 , c2 )k
of
(u2 , v2 , c2 )
3 Proof of theorem 2
In this section, we give the proof of Theorem 2, establishing some results about the general
solutions of (1-2).
3.1
Lemma 12
Let
(u, v, c)
large enough.
c = 0.
u0
and
v 0.
Then
c > 0.
v 00 = f (u, v) 0
on
(71)
R,
v is a convex function. From (2), it follows that the function v is constant. Hence, (71) gives
f (u, v) = 0, thus, from (1), one has u00 = h(u) 0. Similarly, it follows from the boundary
conditions (2) that u is a constant function. The solution (u, v, c) is then trivial.
thus
Lemma 13
and
Let
(u, v, c)
u0
and
v 0.
Then
is nonincreasing
v 1.
PROOF : The equation satised by
Integrating this equation between
ve
is equivalent to
c
x
and
0
+,
f (u, v)
Lemma 14
R.
v0e x 0
therefore,
on
on
v 0,
(72)
R,
v 1.
u 1.
w = u+v then w satises the following equation : w00 +cw0 = (1)v 00 h(u).
between and x R, one obtains, using (2),
PROOF : Set
Integrating it
on
R,
111
h(u) 0.
(73)
x
then, if
> 1,
one has
u+v 1
since
v0 0
1,
we deduce from
(73) that
w (1 )v + 1,
thus,
u 1 v .
u 1,
(74)
u between and + ;
Z
+
+
f (u, v)
h(u) = 0.
(75)
f (u, v) f (1, 1)
h(u)
.
h()
h(u)
f (1, 1)
h()
thus
h(u)
f (1, 1)
.
h()
3.2
In order to establish this lower bound, we need some more computations. Assume that the
function
is Lipschitz-continuous on
u(x0 ) = ,
u(+) = 0,
0
v (+) = 0.
u0 (x0 ) = c
112
on
(x0 , +),
(77)
1 (14), one
(78)
3. Proof of theorem 2
Besides, if
v(+) = 0,
one has
u (x0 ) = c
and
h[u+ (s)]ds.
x0
v := v(+) > 0.
Now, dividing by v the equation satised by v in (1),
0
obtains, using v > 0, v 0 (see Lemma 13) and (2),
v 0,
hence a contradiction.
Z 0 2
Z
v
f (u, v)
+ cln(v ) =
,
v
R v
R
R,
one
(79)
Z
cln(v )
R
Let
one obtains
f (u, v)
.
v
(80)
g(v)
K on R,
v
Z
cln(v ) K
p(u).
g.
One has
thus, since
f (u, v) = p(u)g(v),
(81)
R
Since
p(u) h(u)
p(1)
,
h()
p(1)
cln(v ) K
h()
and adding the equations in (1) and integrating over
Z
h(u) =
R
Z
h(u),
(82)
one obtains
c
(1 v ).
(83)
ln(v ) K
p(1)
Kp(1)
(1 v ) >
.
h()
h()
(84)
Kp(1)
> exp
h()
,
3.3
Let
x0
be dened as in the subsection 3.2. One can again assume (up to translation) that
every solution
(u, v, c)
of (1-2) satises
u(0) =
and
on
(, 0).
113
3.3.1
(85)
us () = 0, us (+) = 1
Moreover,
us
k(y) := w0 w1 (1 y),
moreover,
and
us (0) = .
w = 1 us ,
on
(0, 1)
and
Lemma 15
on
Let
(u, v, c)
c > 0, u 0
(86)
and
by
cs
k() = u0s (0) =
.
v 0.
Then
is decreasing
(, x0 ).
PROOF : It is similar to that of Lemma 13, using
v 0 (x0 ) = 0.
j(1 v(0)) =
The equation satised by
c
(1 v(0)), j(1 v ) = v 0 (x0 ) = 0.
(87)
in 1 veries
y in (1v(0), 1v ). But, since 1, one knows from the proof of Lemma 14 that u 1v
thus
in
(1 v(0), 1 v ),
(1 v(0), 1 v ).
(88)
(89)
in
therefore integrating
cs
cs
(1 v(0)) = j(1 v(0)),
by (87),thus
cs
k(1 v(0))
< .
j(1 v(0))
c
(90)
0
2
cs
j k2 c j k
2
c
114
in
(1 v(0), 1 v ).
(91)
3. Proof of theorem 2
Now, assume that
cs
< 1,
c
0
j 2 k 2 (1 v(0)) > 0, and
j 2 k 2 (1 v(0)) > 0.
(92)
(93)
cs
1,
c
(94)
3.3.2
1,
and set
f (s, 1 s)
,
s
s(,1)
1 = max
one obtains, using (89),
k0
cs
1 y
k(y)
for
y (0, 1).
m(y) = ry ,
with
Lemma 16
(95)
for all
(96)
y (, 1).
m0 (y) =
Therefore, since
cs
,
m() = r <
1 y
cs
m(y)
and
for
y (0, 1).
k() = w0 (0) =
cs
,
(97)
one has
Moreover,
1 y
(k m) (y)
It follows that
on
for
us
1
1
m(y) k(y)
y (, 1).
(, 1).
equivalent to
where
(us )0 (x)
us (x)
for
ln
us (a)
x (0, x0 ),
thus
and
which is
(98)
a > 0,
one obtains
> ra.
(99)
115
p
c < 2 1 .
2 = max f (1 s, s),
s[0,1]
and let
be the solution of
w(a) = 1,
where
k(, c, )
X1 , X2
2
x,
c
(101)
(100)
w(a) = 1.
2 k
c2
c
2 k
, and lim X2 (a) = 0
a+
c2
c
as
a +.
r
c<
2
.
4 Numerical results
In this section we give some numerical approximations of the two solutions obtained in
h(u) = u.
116
The values of
and
4. Numerical results
One can notice that the second solution is close to the adiabatic one.
Appendix
Let us recall the notations of Proposition 4 :
(c) =
c
1
1
( a
+ a
1 e
r2 + r2 c e
r 1 + r1 c
1
1
),
ea z2 + z2 c ea z1 + z1 c
117
:=
c2 + 4, :=
It is straightforward that
Proposition 8
For
<1
c
c +
c
, r2 =
, z1 =
,
2
2
2
c2 + 4, r1 =
is a
and
large enough,
and
z2 =
c+
.
2
(0, +).
Lemma 17
Let be the function such that, for a large enough and for all c in (0, +),
2
c
c
2
(
1 c+
c+ ) + (c, a). Then the function a (c) := c 7 (c, a) is in C ([0, +)) for
enough and
| ((c, a))(n) |
where
((c, a))(n)
is the
nth
a
4
e 2
1
for all
(c) =
a large
n {0, 1, 2},
c.
c
c
2
(c, a) := (c) 1
( c+
c+
), it easily follows that c 7 (c, a)
C ([0, +)) function for a large enough. Moreover, one can notice that
(n)
a
c
a
e 2 , for all n {0, 1, 2}.
e
r 2 + r2 c
PROOF : Setting
2
is a
(n)
a
c
a
e 2 ,
e z2 + z 2 c
for all
n {0, 1, 2}.
(n)
a
2c
c
+ a
e 2 ,
r + r c
c + e
1
1
for all
(n)
a
c
2c
+ a
e 2 ,
c+ e
z1 + z 1 c
n {0, 1, 2}
for all
and
n {0, 1, 2}.
0 (c, a) for
(c, a),
c
c
c
b(c) :=
.
c + c +
Lemma 18
and
00 (c, a)
0 =
for
(c, a).
c2
(0, +).
c
1
c2
c
, 0 = , 00 =
3
and
00 =
c
c
c + c(1 + 0 ) c + c(1 + 0 )
.
b (c) =
(c + )2 (c + )2
(c + )2
(c + )2
0
118
c2
1
3.
4. Numerical results
Setting
k(c) = b0 (c)(c + )2 (c + )2 ,
k(c) =
c2
one obtains
c2
(c + )
(c + )2 ,
2
2
k 0 (c) = 2(c + )(1 + c ) c 2(c + )(1 + c ) c
i
h
2
2
+c 1 + c 3 (c + )2 + 1 c 3 (c + )2 . Hence,
1
1
0
3
+
k (c) = 5c + 4c ( ) + 6c2 + c5 13 13 + 2c4 3
3
2
2
2
0
2
+ c
c3
. Therefore, with obvious notations, one can write k (c) = (t1) +
3 3
(t2) =
(t3) =
=
(t4) =
1
1
4c
,
1
1
6c2
2 ,
2
1
1
2
6c ( + )
,
1
1
1
1
1
+
c5
+
,
2 2
1
1
(t5) = 2c4
,
4 4
1
1
1
1
4
= 2c
+
+ +
,
2 2
1
1
3 2 2
(t6) = c
,
5 5
2
2
1
1
3
= c
+
+1+
+ 2
2
1
1
2 2
(t7) = c
,
3 3
1
1
= c 2 + + 2
.
Therefore, one can write
k 0 (c) = c
I(c),
with
1
1
1
+
+ 2
2
I(c) = 5c 4 6c( + ) + c
2
1
1
2
3
2
+ 2c
+
+ +
+c
+
+1+
+ 2
2 2
2
(2 + + 2 ).
119
< 0.
c < < ,
one has
k(c)
at
c = +,
(102)
one obtains
(103)
c+
and, since
k(0) = 8 8 = 8 1 > 0,
k
(104)
k(c) = b0 (c)(c + )2 (c + )2 ,
0 (c) =
2 0
1 b (c)
+ 0 (c, a),
1
(0) =
+ 0 (0, a).
(1 )
0
large enough,
0 (0) >
1 1
> 0.
2 (1 )
(105)
b0 (c)
Thus it follows from Lemma 17 that
1
0
2c2
0 (c) <
(0, +).
as
c +.
1
<0
2c2
b0 (0) > 0,
for
(106)
|b0 (c1 )|
and
1 0
| (c1 , a)|.
2
b0 , |c0 c1 | 0
(107)
as
b0 (c ) 0.
Hence Lemma 17
|c0 c1 | 0
Assume that
there exist
c1 6= c2
and set
c3 [c1 , c2 ]
such that
(108)
1 0
(c)(c + )2 (c + )2 , then l(c1 ) = l(c2 ) = 0
2
l0 (c3 ) = 0, since c1 6= c2 . Thus, since
and
1
(c + )2 (c + )2 0 (c, a),
2
k 0 (c3 ) = t1 (c3 )0 (c3 , a)+t2 (c3 )00 (c3 , a), where t1 and t2 are two functions with polynomial
increasing.
120
a +.
l(c) :=
l(c) = k(c) +
one has
as
4. Numerical results
From (108), one can take
k 0 (c) 8c3 (
3
8c
k (c3 ) max
c
0
c>
0
2
1
1
),
1
1
(c) (c)
|c0 c1 | <
c0
,
2
and since
c0 > 0, c1 >
c0
.
2
one has
c30
1
1
c0
( 2 ) ( c20 )
< 0.
(109)
3
0
k (c3 ) = t1 (c3 )0 (c3 , a) + t2 (c3 )00 (c3 , a) < c0
2
1
1
c0
( 2 ) ( c20 )
,
1
1
c30
1
1
<
Proposition 9
There exists c
3
therefore, (109) gives c0
(c) =
> 0 such that for small enough and a large enough, the equation
1
1/3
1
2
2
solutions c and c , with 0 < c < (2)
and c > c .
Lemma 19
The function
(+) = 0.
0 (0) > 0
for
(0) = 0
and
(2)1/3 .
A series expansion at
=0
gives
h
i
3
(2)1/3 = 1 2/3 1/3 + ( , a).
2
1/3 can be as close as one wants to 1.
Therefore, for a large enough and small enough, (2)
It then follows from Lemma 19, with (0) = 0, (+) = 0 and < 1, that the equation (c) =
1
2
1
1/3 .
admits exactly two solutions c and c , with 0 < c < (2)
Next, a series expansion of (c) at = 0 gives
c2 + 4 c
(c) =
+ O() + ( , a),
c2 + 4 + c
and, with another series expansion at
c = 0,
one obtains
thus, since
large
121
122
Sommaire
1
2
3
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 124
Aspect pratique, site et collecte des donnes . . . . . . . . . 125
Formulation d'un modle spcique . . . . . . . . . . . . . . . 125
3.1
4
5
3.2
3.3
125
. . . . .
127
. . . . . . . . . . . . . .
129
5.1
. . . .
131
5.2
. . . . . . . .
131
5.3
. . . . . . . . . . . . . . . .
133
6.1
Validation du modle
. . . . . . . . . . . . . . . . . . . . . . .
133
6.2
6.3
Limites
6.4
Rsultats venir
. . . . . . . . . . . . . . . . . . . . . . . . . .
136
6.5
137
Discussion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
. . . . . . . . . . .
135
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
136
Figures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137
Ce travail s'intgre dans le cadre du projet Caractrisation des potentialits invasives d'un
nouveau ravageur des graines de cdre rcemment introduit au Mont-Ventoux conclu entre
l'INRA et le Ministre de l'Agriculture (convention DERF-INRA Num. 61.45.19/01).
123
1 Introduction
L'insecte dont nous allons modliser la dispersion, un ravageur au nom de Megastigmus schi-
permettant leurs populations de faire face aussi bien l'absence de graines sur une ou plusieurs
annes (diapause prolonge larvaire [90]), que de s'aranchir de la rencontre des sexes (parthnognse [81]). L'ensemble de ces mcanismes d'chappement constitue un avantage vident dans
les zones d'invasion, et contribue l'intrt de la construction d'un modle.
Nous savons de plus que le cdre est galement une espce vgtale introduite, qui n'a t
encore que peu colonise par la faune autochtone (un seul autre prdateur, M. pinsapinis, qui
semble avoir des capacits invasives infrieures celles de M. schimitscheki [40]). Cela contribue
la simplicit du modle tudi, tout comme le fait que M. schimitscheki, tant une espce
introduite, n'a pas de prdateur.
Nous utilisons ici deux modles imbriqus. L'un sert simuler la ponte et la phase larvaire,
en particulier la diapause prolonge, l'autre permet de calculer la dispersion des adultes. C'est un
modle de raction-diusion, avec un terme de transport. Les modles de raction-diusion sont
souvent utiliss en dynamique des populations, en particulier dans les cas o l'on ne peut suivre
les individus et observer leur mouvement (voir les livres de P. Turchin, [89] ou N. Shigesada et
K. Kawasaki [85]). Rappelons que la dispersion passive se distingue du mouvement actif par la
source d'nergie utilise pour accomplir les dplacements. Ici, on parlera de dispersion semipassive, car l'insecte peut interfrer avec la dispersion passive, en modiant son altitude de vol,
s'il se trouve prs d'un bassin d'attraction (une fort). Le mouvement se fait dans un espace
trois dimensions, (on se place sur une carte en deux dimensions, et on peut faire intervenir
l'altitude sur des paramtres tels que la date d'mergence).
Nos objectifs initiaux taient (i) de construire un modle reproduisant dlement le comportement de M. schimitscheki, (ii) d'utiliser ce modle pour approfondir la comprhension des
processus d'invasion, et (iii) de construire un modle pouvant ventuellement s'adapter plusieurs espces (le projet concernant en eet galement l'aspect comptition cf. [40]), pour dnir
des critres plus ou moins favorables l'expansion.
124
l'INRA Avignon depuis 1994 dans la plupart des cdraies du Sud-Est de la France, le nombre
de cnes collects variant de 8 139 selon l'importance de la fructication. Cette dernire a t
estime par les services de l'Oce National des Forts.
Aprs rcolte, les cnes ont t dsarticuls et leurs graines radiographies an d'valuer les
proportions respectives de graines pleines, attaques et vides, qui se sparent aisment par radiographie. A part M. schimitscheki, une autre espce introduite, M. pinsapinis, peut infester les
graines et apporter une confusion l'examen des radiographies. Les graines attaques seront donc
surveilles en closoir jusqu' l'mergence des adultes, an d'apprcier la proportion respective
de chaque espce, et d'estimer les dgts imputables M. schimitscheki.
Le calcul du pourcentage d'attaque se fait de la faon suivante :
%attaque
100,
(1)
on fait donc implicitement l'hypothse, discutable (voir la section 6.3), que les insectes n'attaquent que les graines pleines (pollinises).
Les donnes concernant les vents sont fournies par des stations Mto France rparties sur le
territoire tudi.
3.1
3.1.1
Hypothses simplicatrices
Nous avons mis en lumire les aspects importants du problme, et ceux qui sont d'une importance moindre, pour tablir quels sont les paramtres qui doivent tre pris en compte dans la
construction du modle, et ceux qui peuvent tre carts. Cela nous permet nalement d'avoir
une formulation plus claire du problme (tape dcrite par Turchin [89]).
Ainsi, les donnes dont nous disposons [40] rendent compte d'un sex-ratio peu prs constant
au moment de l'closion (environ 50% de mles, 50% de femelles), et le mcanisme de parthnognse ne rend pas indispensable la fcondation des femelles [81]. Nous ne modlisons donc
pas les phnomnes de fcondation et les interactions mle/femelle. Par ailleurs, si les variations
des dates d'mergence en fonction de l'altitude pourraient facilement tre intgres, nous ne les
prenons pas en compte dans les tests numriques, an de rduire le nombre de donnes entrer,
et de clarier le modle.
Nous reprsentons ci-dessous un cycle de vie simpli de l'insecte, sur deux ans, tel que nous
l'avons pris en compte pour l'laboration du modle.
3.1.2
Comportement
Les insectes closent progressivement sur une priode de 12-15 jours [40]. Le temps de vol
estim d'un insecte est d'environ 10 jours [59] ; en outre, les
la journe [80] ce qui ramne environ 7 jours de temps de vol eectif. Nous supposons qu'ils
125
n
devient
n+1
ou
ou
Lmergence stale sur
une priode de 15 jours.
Elle est quasi-constante.
La dure de vie
moyenne des adultes est
de 10 jours.
n devient n+2
Les adultes
meurent, les
ufs se
transforment
en larves.
Juin,
anne n
Si la femelle a
t fertilise, elle
pond environ
50% de mles et
50% de femelles.
Si la femelle na
pas t fertilise,
elle pond 100%
de mles.
Chaque
femelle pond
environ 10
ufs dans les
10 graines
trouves.
A lintrieur de la fort
dmergence, les insectes
diffusent alatoirement.
Certains sont ainsi amens
sortir de la fort.
Soit linsecte
arrive dans
une fort
avec une
fructification
non nulle, et
trouve une
graine
inoccupe.
Soit linsecte ne
trouve pas de
graine disponible
(chaque graine
ne contient
quune seule
larve)
Fig. 1 Cycle de vie simpli
126
da
d'une fort l'insecte rduit alors son altitude an d'tre moins soumis au
vent (attraction visuelle et olfactive [71], [83]) et de s'approcher de la foret par diusion. Au
cours de la priode de vol, nous supposerons que le coecient de mortalit,
est constant.
3.2
3.2.1
Equation de raction-diusion
An de modliser le dplacement dcrit dans les sections prcdentes, nous utilisons l'quation
de raction-diusion suivante
u
(t, x) = Du(t, x) v V (t, x) u(t, x) + f (t, x) X(t, x)u,
t
pour
t [0, Nj ]
(o
Nj
R2 ,
(2)
x ,
et
u0
sur
f (t, x)
insectes. Les rsultats de [40] (Fig. 2), montrent un taux d'mergence quotidien des femelles
(rappelons que nous simulons le dplacement des femelles) peu prs constant sur la priode
Nem .
Soit
u0 (x)
x R2 .
Alors,
f (t, x) =
u0 (x)
Nem
pour
t [0, Nem ],
et
f (t, x) = 0
pour
t > Nem .
X(t, x)
(3)
durant la priode de
X(t, x) =
1
dure moyenne de vol
pour
(4)
X(t, x) = 0
pour
(5)
la ponte n'tant en eet prise en compte qu' la n de la priode de vol, nous devons faire comme
si les insectes arrivs dans une fort y restaient jusqu' la n de la priode de vol.
127
tant
ici dicile estimer pour des insectes qui sont trop petits pour tre marqus et recapturs, il
ne nous parat pas judicieux de faire varier
avec
et
De plus, des modles pour d'autres types d'insectes se sont montrs ecaces avec des valeurs de
transport variables et un terme de diusion xe [9].
Le terme de transport est variable en temps et en espace, la variabilit en temps correspondant
aux variations quotidiennes des vents. Concernant la variation en espace, nous prendrons en
compte, en sus des vents mesurs, le critre d'loignement d'une fort. Nous supposerons en eet
que l'insecte ne dispose pas de critres dcisionnels lui commandant de sortir de la fort quand
celle-ci est sature en insectes, et qu'il n'en sort que par un mcanisme de diusion alatoire, et
qu'ensuite, comme prcis dans la section 3.1.2, il s'lve pour tre davantage soumis au vent,
en fonction de son loignement de la fort. Nous supposons de plus qu'il prend de l'altitude de
faon proportionnelle sa distance de la fort, jusqu' une distance maximale,
da .
Pour prciser
la force du vent laquelle il est soumis, nous utilisons un rsultat dcrit par Nathan et al. [74],
et utilis pour calculer la force du vent laquelle est soumise une graine pour une vgtation
rase. En eet, l'insecte s'levant susamment haut, nous pouvons supposer qu' l'extrieur de
la fort de cdre, le milieu correspond plus une vgtation rase qu' une fort dense. Il est
ainsi tabli dans [74] que le prol du vent, qui dcrit sa moyenne horizontale chaque altitude,
est logarithmique. La formule utilise pour calculer
est donc :
Ve
(6)
trs suprieure la dispersion longue distance passive de graines [74], elle est cependant infrieure la distance totale parcourue par l'air en mouvement (le vent). Cela pourrait s'expliquer
de direntes faons : pauses faites par l'insecte durant sa priode de vol ou encore turbulences
verticales du vent rduisant l'altitude de vol de l'insecte. Cependant, ces hypothses ne sont pas
vriables, et nous serons amens estimer le coecient
3.2.2
dans la section 4.
Rsolution numrique
La mthode utilise est du type directions alternes : c'est la mthode des pas fractionnaires,
avec un schma d'Euler implicite et un dcentrage en amont pour le terme d'ordre 1. Cette
mthode est propose par Godunov dans [7] et Yanenko dans [94] pour l'quation de la chaleur.
Cela s'crit
n+1/2
ui,j
uni,j
dt
n+1/2
un+1
i,j ui,j
dt
128
n+1/2
=D
n+1/2
ui+1,j 2ui,j
n+1/2
+ ui1,j
h21
un+1/2 un+1/2
i+1,j
i,j
h
h
+v Vi,j |Vi,j |
2h1
un+1/2 un+1/2
i,j
i1,j
n+1/2
h
h
n
v Vi,j
+ |Vi,j
|
+ fi,j
Xi,j ui,j , et
2h1
n+1
n+1
n+1
un+1
un+1
i,j+1 2ui,j + ui,j1
i,j+1 ui,j
v
v
=D
+ v Vi,j |Vi,j |
2h2
h22
n+1
n+1
u
u
i,j
i,j1
v
v
n
v Vi,j
+ |Vi,j
|
+ fi,j
Xi,j un+1
i,j ,
2h2
(7)
Il est prouv qu'un tel schma avec seulement des termes d'ordre 2 est inconditionnellement
stable au sens de Fourier [84], un calcul de la stabilit avec des termes d'ordre 1 tant plus
fastidieux. De plus, si la stabilit n'est pas prouve thoriquement, les dirents tests numriques
eectus au cours de ce travail, et dans [84], ont suggr que la mthode tait stable.
3.3
Soit
u(x)
o(x)
de diapause prolonge 1 an et
d2
g(x)
d1
le taux
n+2
sera
u(0, x) = o(x)(1 d1 d2 ) + o1 d1 + o2 d2 ,
o
o1
et
o2
La mortalit durant cette phase est donc suppose nulle, comme cela a t montr pour
des espces voisines [59]. Il n'existe en eet actuellement ni parasite ni prdateur dans la zone
d'invasion.
D = 1km2 /jour.
d'insectes (piride du chou, qui est cependant un meilleur voilier), des valeurs direntes sont
cites :
rsultats exprimentaux, nous allons utiliser une formule de [85] (p. 38), valable dans le cas o
est le seul paramtre inuant sur la dispersion des insectes. Rappelons que dans notre modle
les vents n'ont pas d'incidence sur le mouvement des insectes l'intrieur des forts. La formule
cite ci-dessus est
D=
o
< r >
< r >2
,
t
(8)
est le rayon moyen parcouru par les insectes, partir du point source, pendant le
temps t. En utilisant les mesures eectues dans la fort du Lubron, entre Oppede et Mnerbes,
nous estimons les dplacements moyens des insectes
valeurs similaires sur les autres sites de mesure. Ainsi, la formule (8) donne
D = 0.32km2 /jour,
valeur proche de celle mentionne dans [85] pour la piride du chou (d'aprs des travaux de
Andow et al. [4]).
129
oeufs par femelle ( voir [59] et rsultats rcents de A. Chalon, donnes non publies). Les taux de
diapause prolonge que nous utiliserons sont de
5%
un an et
15%
ont t transmises par les biologistes. Il semble cependant que ces taux varient d'une anne sur
l'autre, en fonction de la fructication, et puissent prendre des valeurs plus importantes (voir la
section 6.1.2). Des expriences sont en cours pour tenter de mieux comprendre comment varient
ces paramtres.
Au sujet des vents, rappelons que la direction ainsi que la vitesse du vent (donc les paramtres
Vh
et
Vv )
mtres du sol) durant la priode de vol. Nous devons donc uniquement estimer le coecient
et le paramtre
da .
La valeur du paramtre
da ,
les forts n'ont plus d'inuence sur l'altitude de l'insecte, sera xe ici
10km
(aprs discussion
v ,
nous allons utiliser une mthode gnrale dcrite par P. Turchin dans son
livre [89], d'aprs les travaux de Banks et al. [8]. Nous devons commencer par faire une hypothse
initiale sur la valeur de
v .
mesure d'avance du front d'une anne sur l'autre et la distance maximale parcourue par les
vents dans une mme direction pendant une priode de
des insectes). Nous obtenons ainsi
v = 0.012
15
6.5%
les prdictions aux donnes exprimentales pour la distance maximale parcourue par le front
d'une anne sur l'autre, an d'ajuster la valeur du coecient
v .
A partir des donnes dont nous disposons, et en les confrontant aux prdictions du modle,
nous pouvons donner l'intervalle suivant :
v = 0.04 0.08.
fructication sur les nouvelles zones d'invasion, utilises pour ce calcul, nous ne pouvons donner
de valeur plus prcise.
Tests numriques
Nous nous penchons sur l'inuence de direntes caractristiques biologiques d'une espce
sur sa propagation, sous plusieurs conditions de vents et de rpartition des forts de cdre.
Ainsi, sont tudis i) l'inuence de la dure de la priode d'mergence, ii) l'inuence du taux de
diapause prolonge et iii) l'eet de la prsence de cdres isols entre les forts. Cela nous permet
de souligner le rle de ces facteurs, et de voir dans quelles situations ils sont avantageux.
Pour chacun de ces points, nous eectuons plusieurs tests numriques, qui nous permettront
de rpondre aux questions ci-dessus, et de vrier dans la section 6.1.1 que les rsultats fournis
par le modle ont une interprtation logique du point de vue du biologiste.
Pour les dirents tests numriques eectus dans cette section, nous n'utilisons pas les
coordonnes relles des plantations de cdre, mais des forts modles, permettant une interprtation plus facile des tests. De mme, les vents seront choisis indpendamment des vents rels. Par
ailleurs, nous faisons varier certaines caractristiques des insectes, telles que le taux de fcondit
ou la diusion, an de souligner l'inuence des autres paramtres sur la propagation.
130
5. Tests numriques
5.1
d7
50%.
La gure 3 prsente la
ans.
(avec la mme vitesse moyenne). Les forts et les vents sont reprsents sur la gure 4.
A nouveau, le pourcentage d'attaque initial est nul partout sauf en
Le taux de fcondit
de
= 30
pour souligner les carts. Les simulations (toujours sur une priode
14
jours,
3km/jour
la premire semaine et
v kV k = 6km/jour
v kV k =
le domaine utilis).
Le pourcentage d'attaque initial est nul partout sauf en
le taux de fcondit est de
= 30.
Conclusion : Alors que les insectes dont la priode d'mergence ne s'tale que sur
jours ne
parviennent pas atteindre les parcelles au Nord, ceux qui ont une priode d'mergence de
14
5.2
131
D = 0.25km2 /jour
et le coecient de transport
30,
v kV k = 2km/jour.
2 ans, si la fructication est nulle l'anne n, il n'y aura pas d'insecte pour
n + 2k , k N. Si elle est nulle l'anne n et l'anne n + 1, l'espce dispa-
schimitscheki tant de
toutes les annes
= 30,
la diusion
Nous sommes encore dans la situation dcrite par la gure 2, avec une fructication uniforme de
10hl
est reprsent sur la gure 11. On y a suppos que le cycle de vie de l'insecte tait de
lieu de
an (au
dans le cas de M. schimitscheki ), an d'obtenir des dirences plus signicatives (cela
Conclusion : la prsence d'une anne o la fructication est nulle n'a que peu d'incidence sur
la propagation d'une espce avec diapause prolonge.
800ha),
20ha).
du Ventoux :
d'Oppede :
132
ou encore nulle partir d'une anne sur zone ici moins tendue (fort
6. Discussion
5.3
Deux congurations direntes de parcelles sont tudies (cf. gure 13). Ainsi, nous nous
penchons sur la question de l'inuence de la prsence d'arbres isols entre deux zones forestires.
Les vents sont donns par la gure 2 ; le taux d'attaque initial est suppos nul partout sauf en
d2
o il est de
50%.
D=
= 15.
v kV k = 5km/jour,
et la diusion vaut
Conclusion : la propagation est plus rapide dans le cas sans arbre isol.
D = 3km2 /jour.
Ici,
= 50.
v kV k = 2km/jour,
et la diusion vaut
Conclusion : ici, la propagation est plus importante et les insectes arrivent atteindre les
parcelles situes au Nord, dans le cas avec arbres isols ; ils n'y parviennent pas dans l'autre cas.
Discussion
6.1
Validation du modle
d'insectes permettrait d'obtenir une colonisation plus signicative au Nord ; ensuite, quand la
deuxime semaine les vents seraient dirigs vers le Sud, les insectes encore en vie seraient redplacs vers le Sud, mais ne vivraient pas assez longtemps pour coloniser des parcelles au Sud.
Dans le cas d'une mergence sur
14
ayant rcemment merg vers les parcelles situes au Sud. De plus certains insectes, d'abord
dports vers le Nord, puis vers le Sud seraient amens par diusion vers les parcelles l'Est et
l'Ouest de la zone initiale d'envol. Finalement, nous pouvons galement interprter de la faon
suivante les rsultats obtenus pour un vent variable en intensit (section 5.1.3) : les insectes qui
mergeraient la deuxime semaine bncieraient de vents plus forts qui leur permettraient de
franchir la zone sans cdre situe entre les parcelles
d2
et
d22.
Ensuite, concernant la diapause prolonge, dans le cas d'une fructication constante (section
5.2.1), les rsultats obtenus peuvent s'interprter de la faon suivante : au niveau de la zone de
133
50%
donnes utilises dans ce test). On comprend donc pourquoi la zone d'invasion serait lgrement
en recul dans le cas de la population avec diapause prolonge. Maintenant, dans le cas d'une
fructication variable (section 5.2.2), les rsultats peuvent s'interprter comme suit : la premire
anne, les individus se propageraient sur les premires parcelles situes au Nord (d11, d12, d13).
mourraient sans y avoir pondu. L'anne suivante, les insectes qui seraient entrs en diapause pro-
longe les deux annes prcdentes mergeraient comme adultes (sur les parcelles
et le vent leur permettrait d'aller envahir les parcelles situes plus au Nord
que dans le cas o la diapause prolonge serait nulle le vent trop faible rendrait la zone fructication nulle (d11, d12, d13) infranchissable. On peut noter une progression lgrement plus
importante au Sud dans le cas avec diapause prolonge, due au phnomne dcrit dans le cas de
la fructication constante. Pour le cas o la fructication prsenterait des accidents (section
5.2.3) on comprend que l'existence d'une anne avec fructication nulle, reviendrait, ici, diviser
le nombre d'adultes total par
5,
= 50,
mergents sur les arbres isols mettrait du temps avant de former une population signicative
(donc mesurable) envahissant les parcelles situes au Nord.
Tous les rsultats numriques obtenus dans la section 5 peuvent donc tre relis une interprtation logique du point de vue biologique. De plus, ces rsultats concordent avec les prvisions
des biologistes (avant la construction du modle). Cela nous permet de penser que le comportement qualitatif donn par le modle est raisonnable. Pour tester le modle de faon quantitative,
nous devons comparer les rsultats mesurs sur la zone tudie avec les prvisions du modle.
C'est le but de la section suivante.
1999 (un an
5 et 7 mai
entre les
2000
15
2002.
ces rsultats avec ceux mesurs (obtenus lors de l'mergence en laboratoire : en mai
134
2003).
6. Discussion
Position du front
Nous ne connaissons pas la fructication dans les zones nouvellement envahies. Nous ne pouvons donc pas faire de comparaison en termes de nombre d'insectes ou de pourcentage d'attaque
sur ces zones. Nous comparons donc la position du front d'invasion donne par le modle avec
celle observe exprimentalement. Les rsultats sont prsents sur la gure 16.
Conclusion : les parcelles nouvellement envahies, d'aprs le modle, sont Sisteron et Lure.
Exprimentalement, seule la parcelle de Sisteron est nouvellement envahie en
cisment, des graines attaques ont t rcoltes en
l'attaque de
2004
en mai
2001),
2002
2001.
Plus pr-
2003.
L'mergence
nous dira si des M. schimitscheki en diapause prolonge taient prsents dans ces
graines. D'aprs les prvisions du modle, les parcelles de Gap, Saou, Barjac, Moulin, Saumon ne
sont pas envahies. Ces rsultats sont en adquation avec les faits. Du point de vue de la position
du front, les rsultats fournis par le modle que nous proposons semblent donc cohrents.
Taux d'attaque
Rappelons que nous ne disposons de la fructication que sur les zones dj colonises par
M. schimitscheki en
mesurs en
2001,
1999
et en
2001.
La fructication en
1999,
2001.
Nous utilisons notre modle pour prdire le nombre d'insectes prsents sur chaque zone lors de la
rcolte
2003. La carte gographique telle que nous l'avons numrise pour les calculs est reprsen-
te sur la gure 17. Les rsultats du modle (M ), ainsi que le pourcentage de graines desquelles
mergent des M. schimitscheki en
2003 (S )
est au dessus de
S,
inclut donc les insectes en diapause prolonge. Cela pourrait justier la relation
eet,
S,
M > S.
En
ravageur des graines de cdre, M. pinsapinis, on peut supposer qu'elle est galement due un
nombre consquent, et suprieur aux valeurs que l'on a utilises, de M. schimitscheki en diapause
prolonge. Ainsi, nous observons que, l o les taux d'attaque ne sont pas trop faibles, le rapport
M/S
est d'environ
3,
modle sont vrais, un taux total (sur deux ans) de diapause prolonge d'environ
courbe
60%. La
2001.
prsente les rsultats que nous aurions obtenus avec un tel taux de diapause en
Cette fois, on note une relation troite avec les rsultats mesurs.
6.2
Dans cette section, nous rsumons les rsultats obtenus l'aide tests numriques de la section 5, qui vont permettre de mieux comprendre le rle jou par certaines caractristiques de
M. schimitscheki, et les avantages qu'elles peuvent ventuellement lui confrer par rapport
d'autres espces de Megastigmus.
135
6.3
Limites
Si les rsultats des sections prcdentes semblent encourageants, nous devons malgr tout
souligner les limites du modle.
D'abord en termes de prvisions. La modlisation du nombre d'insectes mergents l'anne
n 2.
n2
l'aide d'un autre modle, il est impossible de prvoir la direction et la force des vents d'une
anne sur l'autre (sauf peut-tre pour certaines congurations de terrain). Ainsi, les prvisions
d'invasion ne peuvent se faire que sur deux ans.
D'autres limites proviennent d'un manque de connaissances de certaines caractristiques de
l'insecte. Ainsi, nous n'avons pas encore d'estimation able des taux de diapause prolonge. De
mme, des expriences sont en cours pour apprcier si les insectes peuvent pondre dans les graines
non pollinises et s'y dvelopper jusqu' l'ge adulte, en bloquant le processus de dgnrescence
observ dans les graines non pollinises (comme c'est le cas pour d'autres espces). Les taux
d'attaque seraient donc plus faibles que ceux utiliss ici.
Enn, nous devons noter que certains facteurs n'ont volontairement pas t pris en compte
dans ce travail de modlisation. Par exemple, la competition interspcique avec M. pinsapinis,
qui peut jouer un rle dans les forts o le taux d'attaque est proche de la saturation. Cependant,
les rsultats rcents de [40] tendent montrer que M. schimitscheki est un meilleur comptiteur
que M. pinsapinis, avec notamment une mergence plus prcoce. L'inuence de la comptition
interspcique sur la dispersion de M. schimitscheki s'en trouverait donc diminue.
6.4
Rsultats venir
Outre les expriences cites dans la section 6.3, l'utilisation de marqueurs molculaires hypervariables, comme les microsatellites, qui est en cours l'INRA, devrait permettre de typer les
136
7. Figures
populations de chaque site d'attaque, et d'apprcier les zones d'origine des individus considrs.
Ceci devrait apporter des lments nouveaux pour la comprhension des processus de dispersion.
6.5
Le modle que nous avons dvelopp, ainsi que le logiciel associ (voir sur la gure 19 un
aperu de l'interface graphique) peuvent aisment s'adapter d'autres espces, notamment aux
autres espces invasives, s'attaquant des vgtaux exotiques introduits, comme la mineuse du
marronnier d'Inde,Cameraria oridhella, qui tend envahir l'ensemble de l'Europe occidentale
l'heure actuelle.
En outre, les limites cites dans la section 6.3 pourraient dans certains cas tre attnues.
Par exemple, pour des insectes rampants ou des rongeurs, le terme de transport pourrait tre
moins variable (ex. : une pente ou une zone attractive). Le modle pourrait galement s'adapter
au milieu marin, o le terme de transport (les courants marins) serait galement plus facilement
prvisibles que dans le cas que nous avons tudi (ex. : la Caulerpe). Ce type de modle, avec
quelques modications quant la prise en compte des variables, pourrait galement s'appliquer
l'analyse et la prvision des phnomnes d'expansion de certains insectes en relation avec le
rchauement climatique. Nous prvoyons ainsi de tester notre modle dans le cadre d'un autre
projet INRA en cours, s'intressant la progression en latitude et en altitude de la processionnaire
du pin en France.
7 Figures
Fig. 2 vents utiliss pour les tests 1.1, 2.1, 2.2, 2.3, 3.1, 3.2 et domaine utilis pour les
137
Fig. 3 (a) : mergence sur 2 jours, (b) : mergence sur 5 jours, (c) : mergence sur 10
Fig. 4 Vents pendant la premire et deuxime semaine et domaine utilis (test 1.2)
138
7. Figures
Fig. 5 (a) : mergence sur 7 jours, (b) : mergence sur 14 jours (test 1.2)
139
Fig. 7 (a) : mergence sur 7 jours, (b) : mergence sur 14 jours (test 1.3)
Fig. 8 (a) : pas de diapause prolonge, (b) : diapause prolonge de 20% 1 an, 30%
140
7. Figures
1ere
cation les annes suivantes. Les parcelles marques d'un rond blanc ont une fructication
nulle. Ailleurs la fructication est de 10hl. (test 2.2)
Fig. 10 (a) : pas de diapause prolonge, (b) : diapause prolonge de 20% 1 an, 30%
141
Fig. 11 (a) : la fructication est constante d'anne en anne, (b) : la fructication est
nulle la
2eme
anne (test2.3)
Fig. 12 Fructication en
d'Oppede
142
hl
7. Figures
Fig. 13 (a) : domaine sans arbre isol, (b) : domaine avec arbres isols (tests 3.1 et 3.2)
Fig. 14 (a) : propagation sans arbre isol, (b) : avec arbres isols (test 3.1))
143
Fig. 15 (a) : propagation sans arbre isol, (b) : avec arbres isols (test 3.2)
Fig. 16 (a) : estimation exprimentale de l'invasion en mai 2001, (b) : invasion simule
par le modle
144
7. Figures
90
M : Modle
R : Radios
80
S : schimi. merg.
D : Modle diap. 60%
pourcentages d'attaque
70
60
50
40
30
20
10
b.
1
parcelles
S
t.
Lu
La
m
ro
es
M
n
e
rb
ed
e
O
pp
es
qu
V
n
as
ns
Fl
as
sa
B
d
o
in
Fig. 18 Comparaison entre le taux d'attaque prvu par le modle, le taux d'attaque
60%
145
146
Bibliographie
Mathematical model of stagnation point ames, preprint.
[2] S. Agmon, Dierential equations (Birmingham, Ala., 1983), North-Holland Math. Stud. 92, 1984,
[8] H.T. Banks, P.M. Kareiva, and K.A. Murphy, Parameter estimation techniques for interaction
redistribution models : a predator-prey example, Oeco-logia (Berlin), 74 (1987) pp 356-362.
[9] H.T. Banks, P.M. Kareiva, and L. Zia, Analyzing eld studies of insect
dimensional transport equations Environ. Entomol., 17 (1988) pp 815-820.
[10] H. Berestycki, Le nombre
Anal. 40 (1981), pp 1-29.
and
[11] H. Berestycki, The inuence of advection on the propagation of fronts in reaction-diusion equations, In : Nonlinear PDE's in Condensed Matter and Reactive Flows, H. Berestycki and Y. Pomeau
eds., Kluwer Academic Publ., 2002.
[12] H. Berestycki, F. Brock, In preparation.
[13] H. Berestycki, F. Hamel,
55, 2002, pp 949-1032.
147
Bibliographie
[20] H. Berestycki, T. Lachand-Robert, Some properties of monotone rearrangement
to elliptic equations in cylinders, Math. Nachr. 266 (2004), pp 3-19.
[21] H. Berestycki, B. Larrouturou,
preprint.
with applications
solutions of a ame
[25] H. Berestycki, L. Nirenberg, S.R.S. Varadhan, The principal eigenvalue and maximum principle for
second order elliptic operators in general domains, Comm. Pure Appl. Math. 47 (1994), pp 47-92.
[26] A. Bonnet, Non-uniqueness for ame propagation
Applied Mathematics 6 (1995), pp 287-306.
[27] R.S. Cantrell, C. Cosner, Diusive logistic equations with indenite weights :
disrupted environments, Proc. Roy. Soc. Edinburgh 112 (1989), pp 293-318.
[28] R.S. Cantrell, C. Cosner, The eects of
29 (1991), pp 315-338.
population models in
[34] J. Englnder, A.E. Kyprianou, Local extinction versus local exponential growth for spatial branching
processes, Ann. Probab. (2004), in press.
[35] J. Englnder, R.G. Pinsky, On the construction and support properties of measure-valued diusions
on D Rd with spatially dependent branching, Ann. Probab. 27 (1999), pp. 684730.
[37] JP. Fabre, Dynamique des populations de Megastigmus suspectus var. pinsapinis Ho. (Hym. Torymidae) dans les cdraies du Sud-Est de la France, Proceedings of the 2nd Conference of the IUFRO
Cone and Seed Insects Working Party S2.07.01, publi par l'INRA (1986) pp 127-145.
[38] JP. Fabre, Distribution
[40] JP. Fabre, MA. Auger-Rozenberg, A. Chalon, S. Boivin, A. Roques, Competition between exotic and
native insects for seed resources in trees of a mediterranean forest ecosystem, Biological Invasions
00 (2003) pp 1-12.
148
[41] P.C. Fife, Mathematical aspects of reacting and diusing systems, Lecture Notes in Biomathematics
28, Springer Verlag, 1979.
[45] D. Gilbarg, NS. Trudinger, Elliptic Partial Dierential Equations of Second Order, Springer-Verlag,
1977.
[46] V. Giovangigli, Nonadiabatic
21 (5) (1990), pp1305-1325.
plane laminar ames and their singular limits, SIAM J. Math. Anal.,
a combustion
[49] G.H. Hardy, J.E. Littlewood, G. P'olya, Inequalities, Cambridge University Press, Cambridge, 1952.
[50] A. F. Hedlin, H.O. III Yates, D. Cibrian-Tovar, B.H. Ebel, T.W. Koerber, E.P. Merker Cone ann
seed insects of North American conifers, Ottawa : Environment Canada/Canadian Forestry Service,
Washington D.C. : US Forest Service, Mexico : Secretaria de Agricultura y Recursos Hidraulicos,
(1980) 122pp.
Leipzig, 2001.
[56] W. Hudson, B. Zinner, Existence of travelling waves for reaction-diusion equations of Fisher
type in periodic media, In : Boundary Value Problems for Functional-Dierential Equations, J.
Henderson (ed.), World Scientic, 1995, pp 187-199.
[57] J. Hughes, Modeling
University (2002).
the eect of landscape pattern on mountain pine beetles, Thesis, Simon Fraser
[61] G. Joulin, P. Clavin, Linear stability of non adiabatic ames : diusional thermal model, Combust.
Flame, 35 (137) (1979).
[62] J.P. Kaipio, J. Tervo, M. Vauhkonen, Simulations of the heterogeneity
element methods, Math. Comput. Simul. 39 (1995), pp 155-172.
of environments by nite
[63] K. Kamijo A revision of the Megastigminae occuring in Japan (Taxonomic studies on the Toymidae
in Japan, I), Insecta Matsumunara, 25 (1962) pp 18-40.
149
Bibliographie
Certain problems of burning-theory equations, Sov. Math. Dokl. 2 (1961), pp 48-51.
B. Kawohl, On the isoperimetric nature of a rearrangement inequality and its consequences for
some variational problems, Arch. Ration. Mech. Anal. 94 (1986), pp 227-243.
N. Kinezaki, K. Kawasaki, F. Takasu, N. Shigesada, Modeling biological invasion into periodically
fragmented environments, Theor. Population Biol. 64 (2003), pp 291-302.
A. Kiselev, L. Ryzhik, Enhancement of the traveling front speeds in reaction-diusion equations
with advection, Ann. Inst. H. Poincar, Analyse Non Linaire 18 (2001), pp 309-358.
A.N. Kolmogorov, I.G. Petrovsky, N.S. Piskunov, tude de l'quation de la diusion avec croissance
de la quantit de matire et son application un problme biologique, Bulletin Universit d'tat
1967.
Biologie et rpartition de Megastigmus spermotrophus Wachtl (Hymenoptera TChalcidoidea, Torymidae) et des autres insectes lis aux cnes dans les peuplements forestiers et vergers
graines franais du sapinde Douglas, Pseudotsuga menziesii, Acta Oecologica, Oecologica Appli-
[80] A. Roques
IUFRO Cone and Seed Insects Working Party S7.03.01, Padova University (1998) pp 101-107.
Application des mthodes de dirences nies au pricing des options qui sont solutions
de l'quation de Black et Scholes, Mmoire de DEA, non publi (2000).
[84] L. Roques,
150
[93] X. Xin, Existence of planar ame fronts in convective-diusive periodic media, Arch. Ration. Mech.
Anal. 121 (1992), pp 205-233.
151