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

1 Partie I : modélisation <strong>de</strong> flui<strong>de</strong>s géophysiques à surface libre 11<br />

Plus précisément, nous utiliserons essentiellement <strong>de</strong>s flux <strong>de</strong> Lax-Friedrichs. Ce flux s’écrit,<br />

pour l’équation (1.15) :<br />

F V n n 1<br />

j ,Vj+1 =<br />

2<br />

<br />

F V n<br />

j<br />

n ∆x<br />

+F Vj+1 −<br />

∆t<br />

V n<br />

j+1 −V n<br />

j<br />

Outre la consistance, le schéma doit également satisfaire <strong>de</strong>s propriétés <strong>de</strong> stabilité. Un<br />

critère primordial est la condition CFL, condition nécessaire (mais pas suffisante!) <strong>de</strong><br />

stabilité. Elle s’écrit pour (1.15) <strong>et</strong> dans le cas d’un schéma explicite à trois points :<br />

λ := a∞<br />

∆t<br />

∆x<br />

1,<br />

où a∞ = max<br />

v∈R |F′ (v)|. Pour le flux <strong>de</strong> Lax-Friedrichs, c<strong>et</strong>te condition satisfaite entraîne que<br />

pour tout temps n, la valeur V n+1<br />

j peut s’écrire comme une combinaison convexe <strong>de</strong> V n<br />

j−1 <strong>et</strong><br />

V n<br />

j+1 , condition cruciale pour obtenir la stabilité du schéma. Cependant, ce flux provoquant<br />

<strong>de</strong> la diffusion numérique, nous utiliserons <strong>de</strong>s limiteurs <strong>de</strong> pentes (voir le Chapitre 3).<br />

Remarque 2. Ces <strong>de</strong>ux conditions <strong>de</strong> consistance <strong>et</strong> <strong>de</strong> stabilité ne suffisent pas en général<br />

pour démontrer la convergence d’un schéma volumes finis, mais nous n’étudierons pas la<br />

convergence <strong>mathématique</strong> <strong>de</strong>s schémas dans la Partie I. Nous verrons cependant à la Partie<br />

II une autre propriété du flux numérique qui sera utile dans la preuve <strong>de</strong> convergence,<br />

celle d’être TVD (pour Total Variation Diminishing) (voir la Section 2 <strong>de</strong> l’introduction<br />

générale).<br />

Evi<strong>de</strong>mment, toutes les équations ne ressemblent pas à (1.15) <strong>et</strong> la question du choix du<br />

flux n’est pas la seule difficulté. Par exemple, dans le cas <strong>de</strong> Saint-Venant, il y a <strong>de</strong>s termes<br />

sources <strong>et</strong> <strong>de</strong>s termes non conservatifs. Ainsi, en général, dans l’élaboration d’un schéma<br />

volumes finis, nous <strong>de</strong>vons répondre aux interrogations suivantes :<br />

• quel choix pour le flux numérique ? Est-il consistant?<br />

• que faire lorsqu’il y a <strong>de</strong>s produits non conservatifs ?<br />

• comment discrétiser les termes sources ?<br />

Pour répondre à ces questions, nous nous basons sur la connaissance que l’on a du problème<br />

continu, c’est-à-dire ses propriétés <strong>de</strong> stabilité. Dans le cas <strong>de</strong> Saint-Venant, les enjeux<br />

discr<strong>et</strong>s majeurs sont :<br />

• la conservation <strong>de</strong> la positivité <strong>de</strong> la hauteur,<br />

<br />

.<br />

• la préservation <strong>de</strong>s états stationnaires, notamment du « lac au repos » (on parle alors<br />

<strong>de</strong> schéma well-balanced),<br />

• une inégalité d’entropie discrète.

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

Saved successfully!

Ooh no, something went wrong!