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 />

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

En introduisant c<strong>et</strong>te expression dans le système (2.1), nous obtenons en supprimant les<br />

termes d’ordres élevés en ε la correction du premier ordre <strong>de</strong> la loi <strong>de</strong> conservation (2.2) :<br />

∂tu+∂xA(u) = ε∂x(β∂xu) , (2.4)<br />

où β = a− A ′ (u) 2 . Ainsi le caractère parabolique <strong>de</strong> (2.4) est contraint à la condition<br />

(2.3).<br />

Remarque 9. Il est important <strong>de</strong> préciser que la condition sous-caractéristique n’est pas<br />

toujours vérifée, ce qui peut entraîner <strong>de</strong>s difficultés <strong>numériques</strong>. Cela se produit lorsque le<br />

transport est non linéaire : citons les travaux à ce suj<strong>et</strong> <strong>de</strong> C. Mascia <strong>et</strong> R. Natalini [145] ou<br />

l’article <strong>de</strong> S. Jin <strong>et</strong> M.A. Katsoulakis [121]. En réalité, dans le cadre qui nous intéresse ici,<br />

le transport est linéaire : nous pouvons donc facilement vérifier c<strong>et</strong>te condition <strong>de</strong> stabilité,<br />

<strong>et</strong> même en déduire l’existence d’une entropie dissipative pour le système « perturbé ».<br />

Pour la preuve rigoureuse <strong>de</strong> la convergence vers l’équilibre pour le modèle <strong>de</strong> Jin-Xin,<br />

nous renvoyons à l’article <strong>de</strong> R. Natalini [152]. Nous en verrons une adaptation à notre<br />

système à l’Annexe B <strong>de</strong> la Partie II. La preuve proposée dans [152] se situe dans le cadre<br />

<strong>mathématique</strong> <strong>de</strong>s fonctions à variations bornées (BV) <strong>et</strong> <strong>de</strong>s solutions faibles avec la<br />

régularité L 1 loc<br />

<strong>et</strong> repose sur <strong>de</strong>s estimations <strong>de</strong> compacité uniformes en ε. Les estimations<br />

utilisent en particulier une propriété intéressante du système (2.1) : la quasi-monotonie<br />

(voir [108, 170], ainsi que le rappel <strong>de</strong> la définition à l’Annexe B, p. 130). C<strong>et</strong>te propriété<br />

perm<strong>et</strong> d’obtenir un principe <strong>de</strong> comparaison utile pour l’uniformité <strong>de</strong>s estimations. Enfin,<br />

pour <strong>de</strong>s exposés détaillés sur les systèmes hyperboliques <strong>de</strong> relaxation en général, nous<br />

nous référons aux travaux <strong>de</strong> G.Q. Chen, T.P. Liu <strong>et</strong> C.D. Levermore [65], à l’article<br />

fondamental <strong>de</strong> T.-P. Liu [142], ainsi qu’à l’article <strong>de</strong> revue <strong>de</strong> R. Natalini [154] <strong>et</strong> les<br />

références <strong>de</strong> ces papiers.<br />

Discrétisation. La littérature concernant la discrétisation <strong>de</strong> systèmes hyperboliques <strong>de</strong><br />

relaxation généraux est, comme dans le cadre cinétique, très riche! Nous tenons cependant<br />

à distinguer <strong>de</strong>ux gran<strong>de</strong>s familles <strong>de</strong> stratégies <strong>numériques</strong>. D’une part, les schémas dits<br />

« <strong>de</strong> relaxation » ont pour objectif premier <strong>de</strong> traiter un système <strong>de</strong> lois <strong>de</strong> conservations<br />

(le problème à l’équilibre) en introduisant une relaxation « artificielle » : dans ce cas, nous<br />

renvoyons par exemple aux travaux d’A. Chalabi [61, 62], <strong>et</strong> Y. Qiu [63]. D’autre part,<br />

<strong>et</strong> c’est le point <strong>de</strong> vue adopté dans c<strong>et</strong>te thèse, il y a les schémas AP, visant à traiter<br />

le problème <strong>de</strong> relaxation lui-même, pout toutes les valeurs possibles du paramètre <strong>de</strong><br />

relaxation. Nous renvoyons une fois <strong>de</strong> plus aux travaux <strong>de</strong> S. Jin, L. Pareschi <strong>et</strong> G. Toscani<br />

[124, 125], mais également ceux <strong>de</strong> S. Jin [120] avec C.D. Levermore [123], Z. Xin [126]<br />

<strong>et</strong> F. Filb<strong>et</strong> [92], ou encore les articles <strong>de</strong> D. Aregba-Drioll<strong>et</strong> <strong>et</strong> R. Natalini [8] ou <strong>de</strong> L.<br />

Pareschi <strong>et</strong> G. Russo [158], ainsi que leurs références bibliographiques.<br />

Cependant, même si l’efficacité <strong>de</strong> ces métho<strong>de</strong>s est aujourd’hui largement illustrée par les<br />

<strong>simulations</strong> <strong>numériques</strong>, peu <strong>de</strong> travaux proposent une <strong>analyse</strong> <strong>mathématique</strong> <strong>de</strong>s schémas<br />

construits. D. Aregba-Drioll<strong>et</strong> <strong>et</strong> R. Natalini [8] proposent <strong>et</strong> <strong>analyse</strong>nt un schéma AP<br />

pour le système <strong>de</strong> Jin <strong>et</strong> Xin (2.1). Les auteurs y adaptent les arguments <strong>de</strong> [152] au

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

Saved successfully!

Ooh no, something went wrong!