01.05.2013 Views

Modélisation, analyse mathématique et simulations numériques de ...

Modélisation, analyse mathématique et simulations numériques de ...

Modélisation, analyse mathématique et simulations numériques de ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

tel-00656013, version 1 - 3 Jan 2012<br />

18 Introduction générale <strong>et</strong> présentation <strong>de</strong>s travaux<br />

Par ailleurs, si B désigne un espace <strong>de</strong> Banach, k un entier naturel <strong>et</strong> T une constante<br />

positive, on note L k ∞(0,T;B) l’espace <strong>de</strong> Banach formé <strong>de</strong>s fonctions f définies sur [0,T]<br />

à valeurs dans B qui sont k fois différentiables par rapport à t <strong>et</strong> dont toutes les dérivées<br />

sont bornées dans B. Voici le théorème que nous obtenons.<br />

Théorème 5 (Chapitre 2, p. ??).<br />

Considérons le système (1.24) avec les conditions initiales<br />

(U,hN)(0,x) = (U 0 (x),h 0 N(x)) ∈ H 2 (R), (1.25)<br />

où U = (u1 ... uN) T représente le vecteurs <strong>de</strong>s vitesses. Supposons<br />

inf<br />

x∈R h0N (x) η0 > 0,<br />

pour une constante positive η0 <strong>et</strong> notons E = 2(U 0 ,h 0 N)2. Supposons également la régularité<br />

<strong>de</strong> la topographie zb ∈ C 2 (R). Alors, il existe un temps T > 0 tel que le problème <strong>de</strong><br />

Cauchy (1.24)-(1.25) possè<strong>de</strong> une unique solution (U,hN) vérifiant :<br />

En outre, pour tout t <strong>de</strong> [0,T],<br />

U ∈ C(0,T;H 2 (R))∩C 1 (0,T;L 2 (R))∩L 2 0,T;H 3 (R) ,<br />

hN ∈ C(0,T;H 2 (R))∩C 1 (0,T;H 1 (R)).<br />

∀x ∈ R, hN(t,x) inf<br />

x∈R h0 N (x) /2 > 0.<br />

Enfin, on a les inégalités d’énergie suivantes :<br />

(U,hN)(t)2 E,<br />

t<br />

U(τ)<br />

0<br />

2 3 dτ<br />

1/2<br />

E.<br />

Remarque 6. La preuve <strong>de</strong> ce résultat utilise une <strong>de</strong>uxième formulation du problème, à<br />

savoir un système <strong>de</strong> N équations paraboliques couplées avec une équation <strong>de</strong> transport<br />

sur la hauteur <strong>de</strong> la <strong>de</strong>rnière couche hN (voir le système (2.3.1), p. 54), <strong>et</strong> repose sur la<br />

métho<strong>de</strong> d’énergie <strong>de</strong> Nishida <strong>et</strong> Matsumura [146]. En revanche, nous n’obtenons pas <strong>de</strong><br />

résultat d’existence <strong>de</strong> solution faible. Il se trouve en eff<strong>et</strong> que les techniques employées par<br />

D. Bresch <strong>et</strong> B. Desjardins [43] sont difficiles à généraliser à notre problème multicouche,<br />

en particulier parce que nous ne disposons pas <strong>de</strong> N équations <strong>de</strong> conservations <strong>de</strong> la masse<br />

<strong>et</strong> que nous ne pouvons établir suffisamment d’estimations d’énergies (voir la Section A.1<br />

<strong>de</strong> l’Annexe A).<br />

Remarque 7. Ce théorème est seulement local en temps <strong>et</strong> surtout contraint à l’hypothèse<br />

<strong>de</strong> stricte positivité <strong>de</strong> la hauteur <strong>de</strong> la couche supérieure hN. Mais cela ne constitue pas<br />

une faiblesse <strong>de</strong> notre modèle qui n’est pas <strong>de</strong>stiné à décrire <strong>de</strong>s zones sèches. Au contraire,<br />

c<strong>et</strong>te contrainte perm<strong>et</strong> <strong>de</strong> fournir un comportement dynamique à notre modèle, en lui<br />

ôtant ou ajoutant <strong>de</strong>s couches si la hauteur hN <strong>de</strong>vient trop p<strong>et</strong>ite ou trop gran<strong>de</strong>. Nous<br />

verrons dans les <strong>simulations</strong> <strong>numériques</strong> du Chapitre 3 comment le nombre <strong>de</strong> couches du<br />

modèle peut varier au cours du temps.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!