Introduction et motivation de la thรจse
La modรฉlisation et lโanalyse mathรฉmatique des systรจmes biologiques est dโun grand intรฉrรชt pour mieux comprendre notre environnement ainsi que son รฉvolution. De nombreuses analogies entre les rรฉacteurs chimiques et certains systรจmes biologiques ont conduit les chercheurs ร introduire des modรจles du type โrรฉaction diffusionโ dans la description de ceux-ci. Notamment, au niveau dโune population, les individus interagissent et se dรฉplacent librement, ainsi il nโest guรจre รฉtonnant dโobtenir des modรจles pour la dynamique dโune population similaire ร ceux dรฉcrivant une rรฉaction chimique. Ces modรจles de rรฉaction-diffusion sont essentiellement fondรฉs sur le systรจme dโรฉquations suivant :
ut โ ฮณโu = f(u) sur Rn ร R+, (1)
oรน u est un vecteur ร m-composantes (chaque composante reprรฉsentant la mesure dโune espรจce qui se diffuse), ฮณ est une matrice de diffusion et โ est lโopรฉrateur de Laplace. La fonction vectorielle f est un terme gรฉnรฉralement non-linรฉaire dรฉcrivant toutes les rรฉactions et interactions considรฉrรฉes. Cโest depuis les premiers travaux de Fisher (1930)[35] sur la propagation dโun gรจne mutant au sein dโune population donnรฉe que ces systรจmes et leur gรฉnรฉralisation ont donnรฉ lieu ร dโintenses recherches et se sont montrรฉs trรจs robustes dans la description de phรฉnomรจnes variรฉs. On les retrouve, entre autres, dans la description de phรฉnomรจnes liรฉs ร la dynamique des populations, lโรฉcologie, les rรฉseaux neuronaux, la combustion, la chimiotaxie … et bien dโautres encore. Ces systรจmes dโรฉquations sont caractรฉrisรฉs par lโexistence de fronts progressifs dรฉcrivant lโรฉvolution en temps long du phรฉnomรจne considรฉrรฉ : ainsi la proportion u des gรจnes mutants dans lโรฉquation de Fisher (m=1)
ut โ ฮณโu = u(1 โ u) sur Rn ร R+ (2)
Les nonlinรฉaritรฉs du type A1 interviennent plutรดt dans la description de rรฉactions chimiques, notamment pour expliquer les transitions de phases ainsi que la propagation dโinterface. En effet, les รฉtats s = 0 et s = 1 reprรฉsentent les รฉtats stables du systรจme et les fronts progressifs dรฉcrivent la transition ร vitesse constante dโun รฉtat stable vers un autre. La vitesse de la transition c nโest alors rien dโautre que la vitesse de lโonde progressive. Le prototype de fonction bistable est donnรฉ par f(u) = u(a โ u)(u โ 1). Pour plus de dรฉtails, on peut se rรฉfรฉrer aux articles de Fife[30, 32] ; Fife, Mc Leod [34] ; Chen [16] et le livre de Murray [48] ainsi quโaux rรฉfรฉrences quโils contiennent. Les types A2 et B interviennent plutรดt en combustion oรน gรฉnรฉralement le terme de rรฉaction est de la forme g(s) = (1 โ s)e โ E/s .Ainsi, pour E assez grand, une nonlinรฉaritรฉ du type ignition (A2) apparaรฎt comme une bonne approximation du terme de rรฉaction g. Pour plus dโinformation voir Berestycki, Larrouturou [7] ; Kanelโ [41] et Zeldovich, Frank-Kamenetskii [62]. Dans la classe des fonctions monostables, il existe une sous-classe qui joue un grand rรดle dans la modรฉlisation en dynamique de populations. Cette sous-classe, introduite par Kolmogorov-Petrovski-Piskounov [46], est caractรฉrisรฉe par les hypothรจses supplรฉmentaires f0 (0) > 0 et f0 (0)s โฅ f(s). On fera donc rรฉfรฉrence ร des nonlinรฉaritรฉs du type KPP pour cette sous-classe. On remarquera que la nonlinรฉaritรฉ utilisรฉe par Fisher est de ce type.
Lorsque ฮฒ = 0, lโexistence et lโunicitรฉ ou la multiplicitรฉ de fronts progressifs pour ces trois classes sont bien connues, voir [4, 7, 35, 34, 41, 46, 61, 62]. Notamment, les rรฉsultats dโexistence et dโunicitรฉ diffรจrent suivant les nonlinรฉaritรฉs considรฉrรฉes. En effet, dans le cas dโune nonlinรฉaritรฉ monostable il existe une infinitรฉ de solutions, contrastant avec lโexistence dโun unique front (ฯ, c) dans les autres situations. On rรฉsume les rรฉsultats dโexistence et dโunicitรฉ par le thรฉorรจme suivant :
Thรฉorรจme 0.1.1. (Cas ฮฒ = 0) Soit f une fonction C1(R),
โ Si f est du type A1 ou A2, alors il existe un front progressif (ฯ, c) solution de (1).De plus, ce front est unique ร translation prรจs cโest-ร -dire, si (ฯ, ห cห) est un autre front progressif solution de (1) alors c = cห et il existe un rรฉel ฯ tel que ฯห(.) = ฯ(. + ฯ ).
โ Si f est du type B, alors il existe un rรฉel cโ > 0 tel que pour toute vitesse c โฅ cโ , il existe un front progressif (ฯ, c) solution de (1), et pour toute vitesse c < cโ , il nโexiste pas de front progressif solution de (1).
Intรฉrรชt de cette modรฉlisation
Lโun des intรฉrรชts de cette modรฉlisation non-locale de la diffusion est quโelle permet de tenir compte de bon nombre dโinteractions ร longue distance jusquโalors ignorรฉes. Notamment, lors de la dispersion dโune population soumise ร une pression sรฉlective, le terme J(x โ y)dy est considรฉrรฉ comme la probabilitรฉ dโun individu ร la position y de migrer vers la position x. En posant p(x,t) la densitรฉ de population au temps t et ร la position x, la proportion dโindividus qui migrent vers la position x par unitรฉ de temps est donnรฉe par ( R R J(x โ y)p(y,t)dy)ฮดt.
Transition de phase non-localeย
Dans [5], Bates, Fife, Ren and Wang introduisent et รฉtudient un modรจle gรฉnรฉral de transition de phase non-locale quโils modรฉlisent par lโรฉquation suivante
โU/โtย = J ร U โ U + f(U) pour (ฮพ,t) โ R ร R+,
Rรฉseaux neuronaux
On retrouve une forme non-linรฉaire de lโรฉquation (3) dans lโรฉtude des rรฉseaux neuronaux. Dans une รฉtude sur la propagation dโune excitation ร travers une membrane, Ermentrout et McLeod [28] propose le modรจle suivant : on considรจre un rรฉseau neuronal unidimensionnel, uniformรฉment rรฉparti en espace et qui varie continรปment en temps. Ce type de rรฉseau peut รชtre obtenu en collant bout ร bout une sรฉrie de cellules neuronales. Si on dรฉfinit u comme le potentiel membranaire ร la position x et au temps t et si on suppose que la rรฉponse ร une excitation dโune cellule neuronal est modรฉlisรฉe par une fonction non-linรฉaire S du potentiel u, la propagation du potentiel membranaire ร travers le rรฉseau est alors rรฉgie par lโรฉquation suivante :
โU/โt = J ร S(U) โ U pour (ฮพ,t) โ R ร R+
Rรฉsultats obtenus
Les rรฉsultats obtenus se divisent en deux parties : on รฉtablit tout dโabord lโexistence et lโunicitรฉ de la solution dans le cas dโune nonlinรฉaritรฉ ignition (i.e. f du type A2) et on รฉtend les rรฉsultats dโexistence et dโunicitรฉ pour le cas dโune fonction bistable prรฉcรฉdemment obtenus par Bates, Fife, Ren, Wang [5] et Xinfu Chen [17]. Puis en utilisant dโautres mรฉthodes et en collaboration avec Louis Dupaigne, nous avons pu montrer lโexistence dโune demidroite de solutions pour des nonlinรฉaritรฉs monostables. Les techniques dรฉveloppรฉes lors de ce travail conjoint, nous ont permis dโautre part de caractรฉriser la vitesse des fronts progressifs par une formule variationnelle et dโobtenir des estimations du comportement ร lโinfini des solutions. Par ailleurs, via des techniques de glissement, jโai pu รฉtablir le comportement monotone des solutions dans la majeure partie des cas et souvent montrer lโunicitรฉ de ces solutions. Cependant le comportement exact des solutions en โโ dans le cas de nonlinรฉaritรฉs monostables nโest toujours pas connu. Ce comportement nous permettrait de complรจtement caractรฉriser les solutions du problรจme.
|
Table des matiรจres
Introduction gรฉnรฉrale
1 Introduction et motivation de la thรจse
2 Intรฉrรชt de cette modรฉlisation
2.1 Quelques exemples de modรจles
2.2 รquations limites et justification de modรจles discrets
3 Rรฉsultats obtenus
3.1 Construction de fronts progressifs
3.2 Comportement ร lโinfini, caractรฉrisation de la vitesse
3.3 Monotonie et unicitรฉ par mรฉthode de glissement
3.4 Commentaires et perspectives
4 Plan de la thรจse
Partie I Nonlocal reaction-diffusion equations
Note au CRAS
Chapitre 1 Travelling waves in a nonlocal reaction diffusion equation with ignition nonlinearity
1.1 Introduction
1.2 Existence of solutions in the ignition case
1.3 Uniqueness
1.3.1 Proof of the first step
1.3.2 Proof of the second step
1.4 Continuity of the speed cฮธ
1.5 Asymptotic behavior of solutions
1.6 Existence of cโ
Chapitre 2 On a nonlocal reaction diffusion equation arising in population dynamics
2.1 Introduction
2.2 Linear theory
2.3 Existence of sub and supersolutions
2.4 Construction of a solution of (2.25)
2.4.1 Preliminaries
2.4.2 Iteration procedure
2.4.3 Passing to the limit as n โ โ
2.5 Construction of solutions of (2.39) for all c โฅ cโ
2.5.1 Construction of one solution of (2.39) for c = ฮบ
2.5.2 Definition of cโ
2.5.3 L
2 estimates on u
2.6 Existence of a solution for = 0
2.7 Asymptotic behavior of solutions
Annexes
Annexe A
Uniqueness and monotony in integrodifferential equations on a semi-infinite interval
A.1 Uniqueness and Monotony of solutions ofintegrodifferential equations
on semi infinite domain
A.2 Monotonicity, proof of Theorem A.1.2
A.2.1 Proof of the first step
A.2.2 Proof of the second step
A.2.3 Proof of the third step
A.3 Nonlinear comparison principles, proof of Lemma A.1.1
Partie II Qualitative properties offronts solving nonlocalreaction-diffusion equations
Chapitre 3 Min-max formulas for front speeds in a nonlocal reaction-diffusion equation
3.1 Introduction
3.2 Linear theory
3.3 Construction of a solution of (P)
3.3.1 Iteration procedure
3.3.2 Passing to the limit as n โ โ
3.4 L2 estimates of solutions of (3.38)
3.5 Min-max formula : cases A1 and A2
3.6 Min-max formula : the monostable case
Note au CRAS
Chapitre 4 On uniqueness and monotonicity of solutions of non-local reaction diffusion equations
4.1 Introduction and main result
4.1.1 General remarks and comments
4.1.2 Method and plan
4.2 Preliminary results, Nonlinear Comparison Principle
4.3 Uniqueness and monotonicity of solutions of the integrodifferential equation on R
4.3.1 Uniqueness up to translation
4.3.2 Monotonicity of the solution
4.3.3 Nonexistence and applications
4.4 Monotonicity of solutions of the integrodifferential equation : the monostable case
4.5 The multidimensional case
Conclusion gรฉnรฉrale
Bibliographie
Tรฉlรฉcharger le rapport complet