Chapitre 6

Volumes Finis
Lobjet de ce chapitre est ltude de quelques proprits des mthodes de Voe ee e lumes Finis en elles-mmes, cest a dire indpendamment de lquation traite. e ` e e e Nous situerons rapidement les mthodes de Volumes Finis par rapport aux e e Dirences Finies et aux Elments Finis. Puis nous tudierons quelques prine e cipes de base qui permettent dexpliquer lecacit des mthodes de Volumes e e Finis pour le calcul de solutions discontinues. Nous montrerons que les schmas e de base prsentent une meilleure prcision pour les chocs que pour les discontie e nuits de contact. Des rsultats de convergence seront dmontrs sur lquation e e e e e du transport pour le schma linaire upwind de base et pour les schmas non e e e linaires TVD. Des exemples en dimension suprieure termineront ce chapitre. e e

6.1

Panorama

Tout dabord on peut considrer quil existe trois grandes classes de schmas e e numriques pour la discrtisation des quations aux drives partielles. e e e e e La mthode des Dirences Finies consiste en une discrtisation des oprae e e e teurs direntiels sur une grille de pas despace xe a laide de dveloppements e ` e de Taylor tronqus. Soit par exemple lquation aux drives partielles e e e e t u + ax u = 0, a > 0. (6.1)

Un schma aux Dirences Finies possible est e e un+1 un un u n j j j j1 +a = 0. t x (6.2)

e La mthode des Elments Finis sappuie sur une formulation variationnelle e de lquation aux drives partielles. Il nexiste pas de formulation variationnelle e e e e pour toute quation aux drives partielles. Les mthodes dElments Finis ne e e e e sont pas bien adaptes a la rsolution numrique dquations non linaires. e ` e e e e 167

168

CHAPITRE 6. VOLUMES FINIS

La mthode des Volumes Finis est la mthode de choix pour les quations e e e de conservation non linaires. Nous allons en tudier quelques proprits. Soit e e ee par exemple le syst`me de lois de conservation en dimension deux despace e t U + x f (U ) + y g(U ) = 0. (6.3)

On se donne un maillage du plan. Les mailles sont notes j , leur mesure de e surface est sj . La normale sortante est nj = (nx , ny ). Pour un maillage constitu e j j de polygones, deux mailles voisines ont une interface qui est un segment de droite not jk = kj . La normale sortante du ct j est note njk = nkj . e oe e La mesure de longueur au bord est d. On pourra confondre la maille j et son numro j. De mme pour linterface jk. On commence par intgrer (6.3) dans e e e

j n kj

n jk

Fig. 6.1 Notations. Les mailles peuvent tre triangulaires, quadrangulaires ou e autre la maille j 1 d dt = d dt U (t, x, y)dxdy +
j j

(x f (U ) + y g(U )) dxdy f (U )nx + g(U )ny d = 0. j j

U (t, x, y)dxdy +
j j

On a utilis la formule de Stokes pour obtenir lintgrale sur le bord de la maille e e j. On peut aussi crire en dcomposant sur tous les bords voisins e e d dt U (t, x, y)dxdy +
j k jk

f (U )nx + g(U )ny d = 0. jk j

(6.4)

Si la maille k nest pas voisine de la maille j alors jk = . Une discrtisation e de type Euler explicite en temps et Volumes Finis en espace est sj
1 On

n+1 n Uj Uj + t

ljk fjk nx + gjk ny = 0. jk jk k

(6.5)

dit aussi le volume j, do` la dnomination de mthode de Volumes nis u e e

6.1. PANORAMA

169

e La quantit ljk fjk nx + gjk ny est le ux numrique au travers de linterface e jk j entre les mailles j et k. De ce fait la dnition dune mthode de Volumes Finis e e revient a la dnition de son ux numrique en fonction des valeurs de linconnue ` e e dans les mailles proches. Si le ux numrique est fonction des inconnues au pas e de temps n la mthode est dite explicite. Si le ux numrique est fonction des e e inconnues au pas de temps n + 1 la mthode est dite implicite. Les deux ux e numriques sur le bord jk pourrait parfaitement tre dirents pour la maille e e e j et pour la maille k. Nanmoins les mthodes de Volumes Finis exploitent e e la conservativit sous-jacente des quations en choisissant un ux numrique e e e commun (au signe pr`s) pour les mailles j et k. Cest a dire quon prend e ` fjk nx + gjk ny = fkj nx + gkj ny . jk kj j kj

(6.6)

Cela assure par construction la proprit suivante. ee

Lemme 42 Le schma de Volume Fini (6.5-6.6) est conservatif e

n+1 s j Uj = j j n s j Uj

aux termes de bords pr`s. e Cette proprit est intressante au regard du contexte physique sous-jacent. ee e Pour la dynamique des gaz compressible par exemple, la conservation de la masse, de limpulsion et de lnergie totale sont parmi les principes de base. Il e est particuli`rement agrable que ces principes de conservation soient galement e e e respects au niveau numrique. La preuve repose sur e e
n+1 = s j Uj j j n sj Uj t j k n s j Uj . j ljk fjk nx + gjk ny jk jk

=
j

n sj Uj t jk

ljk fjk nx + gjk ny + fkj nx + gkj ny = jk kj jk kj

Par aux termes de bords pr`s on entend par l` que les mailles aux bords du e a domaine dans lequel on discrtise nont pas de vis-`-vis. De ce fait lquation de e a e bilan discret devient
n+1 = s j Uj j j

Ce principe de base tant pos, il reste a construire le ux numrique en fonction e e ` e de valeurs de linconnue. Une mthode souvent employe consiste a remarquer e e ` que le bord jk de la gure 6.1 peut se traiter comme une interface entre deux

n sj Uj t

jk

au bord

ljk fjk nx + gjk ny . jk jk

170

CHAPITRE 6. VOLUMES FINIS

Axe principal suivant la normale

Fig. 6.2 Probl`me simpli en dimension un despace e e mailles en dimension un despace dans une direction porte par la normale e njk = nkj . Si on oublie les mailles voisines, on obtient la gure 6.2 tr`s e simplie par rapport a loriginal. Il sut alors de dnir la valeur du ux e ` e fjk nx + gjk ny en fonction des valeurs gauche Uj et droite Uk par exemple, jk jk pour dnir compl`tement le schma. e e e En reprenant lquation dadvection en dimension un despace (6.1) on peut e rcrire ce schma sous la forme e e au 1 au 1 un+1 un j+ 2 j 2 j j + = 0, t x au 1 = aun . j j+
2

Sous cette forme le schma aux Dirences Finies est aussi un schma de Voe e e lumes Finis. En rsum la dnomination de Volumes Finis fait rfrence e e e ee ` un mode de construction plus qu` un type de schma particulier. a a e

6.2

Notions de base

Nous tudions quelques crit`res qui assurent une prcision correcte pour le e e e calcul de la solution numrique. Nous apporterons une attention soutenue au e calcul de solutions discontinues. Pour simplier nous considrons le cas dun e maillage de pas constant en dimension un despace.

6.2.1

Conservativit e

Tout dabord nous revenons sur la notion de conservativit. Un premier argue ment en faveur des mthodes conservatives de type Volumes Finis est le suivant. e Le thor`me de Lax-Wendro 6 garantit que si la solution numrique converge e e e en un sens raisonnable, alors la solution limite est solution faible (entropique si le schma est entropique) de lquation de conservation (ou du syst`me de lois e e e de conservation). Un ingrdient de base pour la dmonstration de ce rsultat e e e est la conservativit du schma. Donc la conservativit des schmas de Volumes e e e e Finis appara comme une condition susante de convergence vers la bonne t