Exposé Sur Les Volumes Finis

Master 2 Math APPLIQUEE EDP ANNEE SCOLAIRE 2012 - 2013
THEME :

PRESENTE PAR
HAUDIE JEAN STEPHANE INKPE

Le 05 juin 2013
Approximation par la
mthode des volumes finis
Approximation par la mthode des volumes finis P a g e | 2

INTRODUCTION
La mthode des volumes finis est utilise pour rsoudre numriquement des quations aux
drives partielles, tout comme la mthode des diffrences finies et celle des lments finis.
Contrairement la mthode des diffrences finies qui met en jeu des approximations des
drives, les mthodes des volumes finis et des lments finis exploitent des approximations
d'intgrales. Toutefois, la mthode des volumes finis se base directement sur la forme dite
forte de l'quation rsoudre, alors que la mthode des lments finis se fonde sur
une formulation variationnelle de l'quation dite faible .
Aussi, les inconnues ou variables discrtes ne sont pas les extrmits des mailles comme le
prconise la mthode des diffrences finies, mais sont plutt situes l'intrieur des mailles.
Le principe des mthodes de volumes finis consiste dcouper le domaine en des volumes
de contrle puis dintgrer lquation diffrentielle sur les diffrents volumes de contrle et
enfin dapprocher les flux sur les bords des volumes de contrle par une technique de
diffrences finies.
En effet, l'quation aux drives partielles est rsolue de manire approche laide dun
maillage constitu de volumes finis (qui sont des petits volumes disjoints en 3D, des surfaces
en 2D, ou des segments en 1D) dont la runion constitue le domaine d'tude.
Les mthodes de volumes finis sont parfaitement adaptes la rsolution de lois de
conservation
1
. En effet, pour des quations aux drives partielles qui contiennent des
termes de divergence, en utilisant le thorme de flux-divergence ou de Green-Ostrogradski,
les intgrales de volume d'un terme de divergence se transforment en des intgrales de
surface. Il devient donc plus ais dvaluer les termes de flux aux interfaces entre les volumes
finis. On utilise de ce fait une fonction de flux numrique pour laborer une approximation
des flux aux interfaces en tenant compte de la rgle de conservation des flux entrant et des
flux sortant entre deux volumes finis adjacents,
Un autre avantage de la mthode des volumes finis est qu'elle est facilement utilisable avec
des maillages non-structurs. En effet, pour mailler une gomtrie complexe, il est plus facile
dutiliser des triangles en 2-D et des ttradres en 3-D. Dans la mthode des diffrences
finies, une telle approche est impossible car le maillage est bas sur une gomtrie simple
(rectangulaire en 2-D, paralllpipdique en 3-D).
La stabilit, condition suffisante pour assurer la convergence dun schma numrique et
permettant galement de justifier que ce schma puisse tre utilis, ne sera pas mise en
exergue dans cette prsentation. En effet, la stabilit L qui utilise la technique de
transforms de Fourier est difficilement applicable dans le cas dun schma conservatif non-
linaire.
Le plan suivant sera adopt :

1
En physique, une loi de conservation exprime qu'une proprit mesurable particulire d'un systme physique reste
constante au cours de l'volution de ce systme. (Ex : Conservation de lnergie, conservation de la quantit de mouvement,
conservation du moment angulaire et angulaire, conservation du flux magntique, etc.)

I. Nous commencerons par dfinir ce quest un maillage et nous ferons un bref rappel
sur les espaces fonctionnels et leurs diffrentes normes ;
II. Ensuite, nous prsenterons les volumes finis en dimension un et deux
III. Enfin, nous appliquerons cette mthode un cas pratique de lois de conservation.


Maillage dun domaine
Dfinition
Soit un ouvert born polydrique de R
d
associ l'quation aux drives partielles qui
nous intresse. On appelle volume de contrle, les d-simplexes (K
)
1<<N
, vrifiant :
i = 1N; J
est un ouvert de
J
J
]
= , i = ]

=1
N
J
i

On dfinit J = (J
)
1<<N
lensemble des volumes de contrle.
Soit lensemble des p-faces pris sur chaque volume de contrle et soit o . On a
alors :
soit o = J
J
]
, i = ] , alors o est alors une p-face intrieure
soit o o , o est alors une p-face du bord
On se donne une suite de points J = (x
)
1<<N
o x

Le triplet (J ; ; J) ainsi dfini est un maillage de

Maillage 1D volumes finis
On prendra A(0) et B(1)

Figure 1: Maillage en 1D
u = x1
2
,
< X
1
< x3
2
,
< < x
-1 2
< X
< x
+1 2
< < x
N+1 2
= 1
Soit = ]u; 1|.

Les volumes de contrle J
, 1 i N, sont lintrieur des 1-simplexes de R, cest dire

des intervalles ouverts nots K
= ]x
-1 2
; x
+1 2
|. On dfinit
J = (J
)
1<<N
lensemble des volumes de contrle.
Soit l'ensemble des interfaces (x
+1 2
)
0<<N
, cest dire les extrmits des volumes de
contrle.
On choisit dans chaque volume de contrle J
, un point x
et On note
J = (x
)
1<<N
{x
0
= u; x
N+1
= 1] .Le Maillage est ici la donne (J; ; J)
On dfinit b
= x
+1 2
-x
-1 2
et on pose b
+1 2
= x
+1
-x

Soit b le pas (taille) du maillage et on pose b = max
1<<N
(b
)
Maillage 2-D volumes finis
Soit un ouvert born polydrique de R
2
(polygonale)
Les volumes de contrle J
,1 i N, sont lintrieur des

2-simplexes c'est--dire lintrieur de triangles. On note
J = (J
)
1<<N
lensemble des volumes de contrle
Les 1-faces pris sur chaque volume de contrle sont les
cts des triangles et on note , lensemble des 1-faces
pris sur chaque volume de contrle.
On choisit dans chaque volume de contrle J
, un point
X
et on note J = (X
)
1<<N

Le triplet (J; ; J) dfinit ici le maillage. En posant Jiom( J
) = max
x , J
i
J(x; y), on
dfinit le pas h= max
1<<N
Jiom( J
)

Espaces fonctionnels et normes discrtes
Rappels (Espaces de fonctions)
Une fonction u I
2
(]u; 1|) admet une drive faible dans I
2
(]u; 1|) sil existe une unique
fonction g L
2
(]u; 1|) telle que ] u(x)p
i
(x)
1
0
Jx = ] g(x)p(x) Jx
1
0
peC
c
1
(]u; 1|) . On
note g(x) = BH(x).
On dfinit B
1
(]u; 1|), lensemble des u I
2
(]u; 1|) tels que u admette une drive faible dans
L
2
(]u; 1|) ; Donc B
1
(]u; 1|) = {u I
2
(]u; 1|), tq u I
2
(]u; 1|)]
On note E
0
1
= {u B
1
(]u; 1|) tq u(u) = u(1) = u]
Dfinition (solution approche)
La solution approche u
J
avec la mthode des volumes finis est une solution constante par
maille que lon peut reconstituer de la manire suivante :
u
J
(x) = u
J
I
J J
(x) . Lespace des solutions approches pour le maillage (J; ; J) est
E
J
= |u
J
(x) = u
I
J
i
N
=1
(x); J J; u
R|
E
J
est donc le sous espace de I
2
(]u; 1|) form des fonctions constantes par maille (cest
dire constantes sur chaque lment de ). En gnral, lespace des solutions vrifie :
E
J
I
(]u; 1|)
2
, ( I
p
(]u; 1|), p 1)
E
J
E
1
.
Normes discrtes
Pour u B
1
(]u; 1|) , on dfinit u
H
0
1 = []
(u(x))
2
1
0
Jx
1
2
; .
H
0
1 est une norme
quivalente .
H
1 dfinie par u
H
1 = []
(u(x))
2
Jx +]
(u(x))
2
Jx
1
0
1
0

1
2

Pour I E
J
, on note I
la valeur de I sur la maille i et on dfinit les normes suivantes de I:

I
L
2
(]0;1|)
= _b
(I
)
2

N
=0
_
1
2
I
L
(]0;1|)
= max
=1,..N
|I
|
La fonction I tant constante par maille, elle nest pas drivable au sens classique, ni mme
au sens faible On peut toutefois dfinir une norme de I sur E
1
dite discrte de la
manire suivante : |I|
1,J
= _ b
+
1
2
_
v
i+1
-v
i
h
i+
1
2
_
2
N
=0
_
1 2

On peut galement dfinir une sorte de drive dite faible de : note
J
: qui est construite
partir des pentes P
+
1
2
=
I
i+1
-I
i
b
i+
1
2
. On a :

2
I
est l'espace quotient obtenu en considrant les classes d'quivalence de fonctions essentiellement bornes pour la relation
d'quivalence d'galit presque partout. Il est muni de la norme obtenue par passage au quotient.

B
J
v(x) =
`
+
1
2
:(x) =

i+1
i

h
i+
1
2
i x K
+
1
2
= ]x
; x
+1
| i = 1; . ; N -1
1
2
:(x) =

1

h1
2
i x K1
2
= ]x
0
; x
1
|
+
1
2
:(x) =
-

h
+
1
2
i x K
N+
1
2
= ]x
N
; x
N+1
|
qui est une fonction
constante sur chaque intervalle ]x
; x
+1
| et on peut dfinir sur I
2
(]u; 1|) une norme comme
suit :
J
:
L
2
(]0;1|)
= [ b
+1 2
P
+
1
2
2 N
0

1
2


I Cas de la dimension 1
I.1 Problme modle, maillage volumes finis
On considre le problme suivant dit de Dirichlet homogne:
-u
ii
(x) = (x) x ]u; 1|
u(u) = u(1) = u
(1)
O (|u; 1]).
Cette quation modlise par exemple la diffusion de la chaleur dans un barreau
conducteur chauff (terme source ) dont les deux extrmits sont plonges dans de la
glace.
Dans le maillage volumes finis en 1-D ci-dessus, on considre pour chaque volume de
contrle J
, un point x
puis on intgre lquation diffrentielle -u

ii
= sur J

et on obtient: ] -u
ii
(x) Jx = ] (x)Jx
J
i
J
i
soit -u
i
(x
+1 2
) +u
i
(x
-1 2
) =
] (x)Jx
J
i
et en posant
(x) =
1
h
i
] (x)Jx
J
i
on obtient
-u
i
(x
+1 2
) +u
i
(x
-1 2
) = b
i = 1, . . , N
On cherche donc approcher les flux -u
i
(x
+1 2
) aux interfaces x
+1 2
des mailles.
On se donne alors une inconnue (variable discrte) u
par volume de contrle (maille)

qui devrait tre une bonne approximation de u(x
).
On approche le flux numrique -u
i
(x
+1 2
) par le quotient diffrentiel
+1 2
= -
(x
i+1
)-(x
i
)
h
i+1 2
en u
+1 2
et on a le schma numrique suivant :
+1 2
-
-1 2
= b
ou o -
i+1
-
i
h
i+1 2
+
i
-
i1
h
i1 2
= b

i = 2, . . , N -1
Pour la 1
re
et la N
ime
quation, en tenant compte des conditions aux limites, on a :
u
i
(x
1 2
) = u
i
(u) =
(x
1
)-(x
0
)
h
1 2
=

1
h
1 2
; u
i
(x
N+1 2
) = u
i
(1) =
(x
+1
)-(x
)
h
+1 2
= -

h
+1 2

Donc
1 2
= -

1
h
1 2
et
N+1 2
=

h
+1 2
et par suite nous avons :
-
u
+1
-u
b
+1 2
+
u
-u
-1
b
-1 2
= b

, i = 1, . . , N
Remarque : Si nous prenons un maillage uniforme, c'est--dire que le pas est constant,
(b = b
i = 1, , N) alors nous pouvons constater que les schmas des

diffrences finis et des volumes finis sont les mmes au second membre prs.
I.2 Schma matriciel associ

Posons = (
u
1
, u
2, , u
N
)
i = 1 , . . , N et = (
1
,
2
, ,
N
)

alors le schma peut scrire sous la forme matricielle = avec A la matrice creuse
tri diagonale reprsente ci-dessous.

On peut remarquer que si lon garde un pas constant (maillage uniforme) alors la
matrice est symtrique donc diagonalisable.
I.3 Analyse mathmatique du Schma
Proposition :
Si (|u; 1]) et la solution exacte u
2
(|u; 1]) alors le schma volumes finis admet
une solution unique u
.
Preuve :
Le schma scrit :
-
u
+1
-u
b
+1 2
+
u
-u
-1
b
-1 2
= b

, i = 1, . . , N avec u
0
= u
N+1
= u
Multiplions par u
et sommons de 1 N ; o o:

i
2
-
i
i+1
h
i+1 2
N
=1
+

i
2
-
i
i1
h
i1 2
= u
i
b
i
i
N
i=1
N
=1
Et en effectuant un changement dindice du
la seconde somme, on obtient :

i
2
-
i
i+1
h
i+1 2
N
=1
+

i+1
2
-
i+1
i
h
i+1 2
= u

N
=1
N-1
=0
Ce qui nous donne :
2
h
+1 2
+

1
2
h
1 2
+

i+1
2
-2
i
i+1
+
i
2
h
i+1 2
N
=1
= u
i
b
i
i
N
i=1

Soit
(
i+1
-
i
)
2
h
i+1 2
N
=0
= u
i
b
i
i
N
i=1
pour i=1, . , N.
Pour
= u , i=1, .. , N on a
(
i+1
-
i
)
2
h
i+1 2
N
=0
= u et par suite on a :
u
+1
-u
= u i = u, . . , N, do u
= u i = u, . . , N

A est donc une matrice carre dordre N dont le noyau est rduit {u]. A est donc
inversible, ce qui justifie lexistence et lunicit de la solution.
Lemme (Consistance des Flux)
Soit u
2
(|u; 1]) solution de lquation (1). On note
+1 2
= -u
i
(x
+1 2
) le flux
exact en x
+1 2
et
+1 2
= -
(
i+1
)-(x
i
)
h
i+1 2
le quotient diffrentiel qui approche la
drive premire -u
i
(x
+1 2
).
Le flux est dit consistant sil existe une constante C u ne dpendant que de u pour
laquelle lerreur de consistance sur le flux dfinie par
+1 2
=
+1 2
-
+1 2
,
vrifie
+1 2
Cb
Preuve :
u(x
) = u(x
+1 2
) +(x
-x
+1 2
)u
i
(x
+1 2
) +
1
2
(x
-x
+1 2
)
2
u
"
(
) ;
|x
; x
+1 2
]
u(x
+1
) = u(x
+1 2
) +(x
+1
-x
+1 2
)u
i
(x
+1 2
) +
1
2
(x
+1
-x
+1 2
)
2
u
"
(
) ;
|x
+1 2
; x
+1
]
u(x
+1
) -u(x
) = (x
+1
-x
)u
i
(x
+1 2
) +
1
2
(x
+1
-x
+1 2
)
2
u
"
(
) -
1
2
(x
-x
+1 2
)
2
u
"
(
+1 2
=
1
2
_
(x
i+1
-x
i+1 2
)
2
(x
i+1
-x
i
)
u
"
(
i
) -
(x
i
-x
i+1 2
)
2
(x
i+1
-x
i
)
u
"
(
i
)_ .En posant u
"
(0
) = max (u
"
(
); u
"
(
)) et en
remarquant que (x
+1
-x
+1 2
)
2
+(x
-x
+1 2
)
2
(x
+1
-x
)
2
on a :
+1 2

1
2
(x
i+1
- x
i
)(|u
"
(0
i
)|) b|u
"
(0
i
)| Cb o: C = |u
"
(0
i
)| car
x
+1
-x
= (x
+1
-x
+1 2
) +(x
+1 2
-x
) 2b o b = max
1<<N
(b
)
Dfinition : (Conservativit des flux)
Un schma est dit conservatif si lorsque lon considre une interface x
+1 2
entre deux
mailles J
t J
+1
, le flux entrant est gal au flux sortant.
Thorme :
Soit u
2
(|u; 1]) la solution de (1).On pose
= u(x
) -u
; i=1,,N.
0
=
N+1
= u.
Il existe C u ne dpendant que de u tel que :
(i): _
(c
i+1
-c
i
)
2
h
i+
1
2
N
=0
_
1
2
Cb ; (ii): b
+
1
2
Cb
N
=0
; (iii): [ b
+
1
2
(
)
2 N
=0

1
2
Cb ;
(i:) max
=1,N

Cb
Preuve :
Comme
= u(x
) -u
on a
c
i+1
-c
i
h
i+
1
2
=
(x
i+1
)-(x
i
)
h
i+
1
2
-
i+1
-
i
h
i+
1
2
et donc on en dduit
que
c
i+1
-c
i
h
i+
1
2
= -
+
1
2
+
+
1
2
= -
+
1
2
et on rappelle que b
N
=1
=1.

Ecrivons le schma volumes finis
+1 2
-
-1 2
= b
et lquation exacte intgre

sur la maille J

;
+1 2
-
-1 2
= b
;. En soustrayant on obtient :
-
+
1
2
+
+
1
2
+
-
1
2
-
-
1
2
= u Et en introduisant
+
1
2
on a :
-
+
1
2
+
-
1
2
=
c
i+1
-c
i
h
i+
1
2
-
c
i
-c
i1
h
i
1
2
Et en multipliant par
puis en sommant sur i, on a :

-
+
1
2
N
=1
+
-
1
2
N
=1
=
c
i
c
i+1
-(c
i
)
2
h
i+
1
2
N
=1
-
(c
i
)
2
-c
i
c
i1
h
i
1
2
N
=1
Puis en faisant un
changement de variable dans la deuxime somme de chaque membre, on obtient :
-
+
1
2
N
=1
+
+1
+
1
2
N-1
=0
=
c
i
c
i+1
-(c
i
)
2
h
i+
1
2
N
=1
-
(c
i+1
)
2
-c
i+1
c
i
h
i+
1
2
N-1
=0
et en
rordonnant, on a : (
+1
-
)
+
1
2
N
=0
= -
(c
i+1
-c
i
)
2
h
i+
1
2
N
=0
donc
_-
(c
i+1
-c
i
)
2
h
i+
1
2
N
=0
_ |
+1
-
|
N
=0

+
1
2
Cb |
+1
-
|
N
=0
En crivant :
|
+1
-
|
N
=0
ou lo om [b
+
1
2
1
2 |c
i+1
-c
i
|
_h
i+
1
2
_
1
2
N
=0
Et en appliquant lingalit de
Cauchy-Schwarz (CS), on obtient :
(c
i+1
-c
i
)
2
h
i+
1
2
N
=0
Cb [ b
+
1
2
N
=0

1
2
_
(c
i+1
-c
i
)
2
h
i+
1
2
N
=0
_
1
2

Par simplification on a :
_
(c
i+1
-c
i
)
2
h
i+
1
2
N
=0
_
1
2
Cb [ b
+
1
2
N
=0

1
2
Ce qui conclut la dmonstration de (i)
Justifions (iv)
Pour i = 1, , N +1 |
|=|
-
0
|
]
-
]-1
]=1

]
-
]-1

N+1
]=1
[b
]-
1
2
1
2 c
]
-c
]1
_h
]
1
2
_
1
2
N+1
]=1
.
Par Cauchy-Schwarz on a |
| _ b
]-
1
2
N+1
]=1
]
1
2
_
(
]
-
]-1
)
2
b
]-
1
2
N+1
]=1
_
1
2
puis par changement de
variable, on a : |
| [ b
]+
1
2
N
]=0

1
2
_
(c
]+1
-c
]
)
2
h
]
1
2
N
]=0
_
1
2
Cb do max
=1,.,N
|
| Cb
Justifions (ii) b
+
1
2
max
=1,.,N
|
| b
+
1
2
N
=0
Cb
N
=0

Justifions (iii) [ b
+
1
2
(
)
2 N
=0

1
2
_[(max
=1,.,N
|
|)
2
b
+
1
2
N
=0
max
=1,.,N
|
| Cb

En posant
J
= ((x
))
t
J
= (
et en utilisant les normes dfinies sur X(J) on

a :
J
-
J
L
2
(]0;1|)
Cb et
J
-
J
(]0;1|)
Cb ; nous pouvons conclure la
convergence du schma volumes finis dans I
2
(]u; 1|) t Jo I
(]u; 1|) lordre 1.


II Cas de la dimension 2 (stationnaire)
II.1 Prsentation de la mthode volumes finis
On considre toujours lquation elliptique modle -Au = u (2); I
2
().
On suppose maintenant que est un ouvert polygonal de IR
2
, et on se donne un
maillage (J; ; J), cest dire en gros, un dcoupage de en volumes de contrle
polygonaux K. Pour obtenir le schma volumes finis, on commence par tablir les bilans
par mailles puis on intgre lquation (2) sur chaque maille K. Notons que ceci est
possible du fait que lquation est sous forme conservatrice, cest dire
((-Ji:(lux) = ). On obtient :
] -u(x) Jx = ] (x) Jx
K K
Ou encore ] -Ji:(u(x)) Jx = ] (x) Jx
K K

Par la formule de Green-Ostrogradski ou de Stokes, on peut rcrire cette quation:
] -u(x).
K
(x) J(x) = ] (x) Jx
K K
O ds(x) dsigne lintgrale par rapport la
mesure unidimensionnelle sur le bord de louvert , et o
K
est le vecteur normal
unitaire K extrieur K. Comme K est polygonal, oK = o
cL
K
peut tre
dcompos en artes qui sont des segments de droites, et o E
K
est lensemble des
artes du volume de contrle K. on a donc :
] -u.
K,c
J = ] (x) Jx
K c
ccL
K
O
K,c
dsigne le vecteur normal unitaire
larte extrieur K (noter que ce vecteur est constant sur ). Ce qui peut scrire :
] -u.
K,c
J = |K|
K
c
ccL
K
Avec |K| = diamtre de K , et
K
=
1
|K|
] (x) Jx
K

On crit une quation approche
K,c
= |K|
cL
K

K
en cherchant approcher la
drive normale u.
K,c
de manire consistante sur chaque arte .
K,c
est le flux
numrique travers qui approche au mieux le flux exact ] -u.
K,c
J
c
. Pour
obtenir le schma numrique, nous devons exprimer le flux numrique
K,c
en fonction
des inconnues discrtes (u
K
)
KJ
associes aux volumes de contrle et (u
c
)
cL
K

associes aux artes (Ces dernires seront ensuite limines). Pour une arte o K
sparant les volumes de contrle K et L, il est tentant dapprocher la drive normale

u.
K,c
par le quotient diffrentiel
o
-
K
d
K,o
o J
K,c
est la distance du point x
K

larte o. Ainsi
K,c
= -
o
-
K
d
K,o
|o| avec |o| la longueur de larte o . Cependant, cette
approximation ne pourra tre justifie que si la direction du vecteur dfini par les deux
points x
K
t x
L
est la mme que celle de la normale
K,c
, cest dire si le segment de
droite |x
K
, x
L
] est orthogonal larte o . Pour un maillage triangulaire angles
strictement infrieurs /2, ceci est facile obtenir en choisissant les points x
K
comme
intersection des mdiatrices du triangle K, voir Figure ci- dessous.

Figure 2: Exemple de volumes de contrle pour la mthode des volumes finis en deux dimensions despace.
Le schma numrique volumes finis associ linconnue discrte u
K
est :

K,c
= |K|
cL
K

K
o les flux numriques
K,c
sont dfinis en tenant compte des
conditions aux limites pour les artes du bord par :
K,c
=
`
-|o|
u
L
-u
K
J
K,L
i o K
-|o|
u
K
J
K,L
i o o0 t o E
K

(S)
Les deux proprits essentielles du flux numrique F
K,o
pour que celui-ci soit une
bonne approximation de ] -u.
K,c
J
c
, sont la conservativit et la consistance.
II.3 Conservativit
3
du flux
On impose que pour toute interface interne, le flux entrant est gal l'oppos du flux
sortant, ce qui se traduit par : K
F
K,o
+F
L,o
= u
En effet, la conservativit des flux nous permet dliminer les inconnues associes aux
artes internes. Soit o K
, on a :
K,c
=
L,c
do -
u
o
-u
K
J
K,o
|o| = -
u
o
-u
I
J
I,o
|o| c'est--dire
u
c
_
1
d
K,o
+
1
d
L,o
] =

K
d
K,o
+

L
d
L,o
soit u
c
=
d
K,o
.d
L,o
d
K,o
+d
L,o
_

K
d
K,o
+

L
d
L,o
] ou u
c
=
d
L,o
.
K
+d
K,o
.
L
d
K,o
+d
L,o
et donc
K,c
= -
J
L,c
. u
K
+ J
K,c
. u
L
J
K,c
+ J
L,c
- u
K
J
K,c
|o| = -
J
L,c
. u
K
+J
K,c
. u
L
- J
K,c
. u
K
-J
L,c
. u
K
J
K,c
(J
K,c
+ J
L,c
)
|o| = -
u
L
-u
K
J
K,c
+ J
L,c
|o| = -
u
L
- u
K
J
K,L
|o|
II.2 Consistance du flux
On appelle erreur de consistance associe au flux numrique volumes finis

K,c
= -
o
-
K
d
K,o
|o| en u
K
, lexpression
K,c
=
1
|c|
K,c
-
1
|c|
] u.
K,c
J
c
o
K,c
= -
(x
o
)-(x
K
)
d
K,o
|o| avec x
c
intersection de |x
K
; x
L
] avec larte o K
et u
la solution exacte du problme.

3
Une grandeur X est dite conservative si elle nest jamais dtruite ou produite mais seulement change. En dautres termes, sa
circulation dans un domaine prcis ne dpend pas de la trajectoire choisie.

Le flux numrique est dit consistant si lim
h0
_max
KJ
cL
K
K,c
_ = u ; h tant le pas du
maillage.
Remarque :
- La consistance, la conservativit et l'unicit de la solution du schma n'impliquent
pas la convergence du schma. Nanmoins, on peut rendre ce schma convergent en
choisissant la solution u suffisamment rgulire et le vecteur de direction (u
K
u
L
)
colinaire la normale
K,c
. Ainsi, le schma devient consistant et en tenant compte
de la conservativit, nous obtenons la convergence comme cela a t fait en
dimension 1.

III Application la loi de conservation
III.1 Situation du problme
On s'intresse ici aux lois de conservation, dont la forme gnrale est la suivante :
_
p
+Ji: [ = g
1
, (x, t) R
+

CoJitio iitiol
CoJitio ou oJ
(4)
O :
p lo Jit qui t u iou
[ l lux ooi
g
1
l tm ou
R
d
Hn oHveit boin
De plus, } est de la forme } = F(x, t, , ) . On citera par exemple :
a. Le flHx ue auvection
4
convection
S
: [ = :(x, t)b(p), o :
:(x, t) R
d
Hn champ ue vecteHi vitesse uonn
b: R R
b. Le flHx ue uiffHsion : [ = -K(x, t)p, o :
K(x, t) R uans le cas classiqHe
K(x, t)
d
(R) uans ceitains cas
c. Le flHx ue convection uiffHsion : [ = :(x, t)b(p) -K(x, t)p .
La mthode des volumes finis est utilise pour discrtiser la partie spatiale des lois de
conservation (semi discrtisation), la partie temporelle est quant -elle discrtise par la
mthode des diffrences finies (discrtisation totale).
Soit le maillage (J ; ; J) de . La mthode des volumes finis est base sur l'intgration de
l'EDP sur tous les volumes de contrle du maillage. On a, par le thorme de Stokes on a :
K J, _ Ji:([)
K
= _ [.
K
K
Jy
Do
d
dt
] (x, t) ux
K
+] }. n
K
0K
u = ] g
1
(x, t) ux
K

On sait que =
oE
K
o E
K
est l
i
ensemble ues aites uH volHme ue contile K. d'o
d
dt
] (x, t) ux
K
+
] }. n
K,o
o
ocE
K
u = ] g
1
(x, t) ux
K
o n
K,o
est la normale de K.
On obtient le schma volumes finis en faisant une approximation de la dernire galit, ce
qui donne: |K|
p
R
n+1
-p
R
n
t
+ F
K,o ocE
K
= |K|g
K
avec t = t
n+1
-t
n

p
k
n
u oppoximotio J
1
|K|
] p(x
k
, t
n
) Jx
K

44
L'advection correspond au transport d'une quantit (scalaire ou vectorielle), par un champ vectoriel.
5
La convection est un mode de transfert qui implique un dplacement de matire dans le milieu

K,c
u oppoximotio J ] [.
K,o
o
Jy
g
K
u oppoximotio J
1
|K|
] g
1
(x, t) Jx
K

Les flux numriques F
K,o
s'expriment en fonction des (u
L
)
LJ
. On remplace alors tous les
u
K
, u
L
po u(x
K
) , u(x
L
) o u est la solution exacte du problme ; On obtient alors
K,o
cx
.
Pour qu'on ait la consistance des flux, il suffit que :
lim
h0
_
1
|K|

K,o
cx
-
1
|K|
_ }. n
K,o
o
u_ = u

III.2 Cas en dimension 2 (volutif)
Soit par exemple le systme de lois de conservation en dimension deux despace en
considrant :
[ [
](p)
g(p)
, p = (x, y, t) t g
1
= u ; Lquation
p
+Ji: [ = g
1
devient :
0
+
](0)
x
+
g(0)
= u (S)
On se donne un maillage du plan selon le modle ci-dessous. Les mailles sont notes
]
, leur
mesure de surface est s
]
. La normale sortante est
]
= (
]
x
;
]
) . Pour un maillage
constitu de polygones, deux mailles voisines ont une interface qui est un segment not
]k
=
k]
et de longueur
]k
. La normale sortante du ct
]
est note
]k
= -
k]
. La
mesure de longueur au bord est Jo. On pourra confondre la maille
]
et son numro j. Il en
sera de mme pour linterface jk.

Figure 3: les mailles peuvent tre triangulaire, quadrangulaire ou autre
On commence par intgrer lquation (5) dans le volume de contrle j. on a :
d
d
] (t, x, y)JX +] [
](0)
x
+
g(0)
JX = u
H
]
H
]
Soit,

d
d
] (t, x, y)JX +] (()
]
x
+g()
]
)Jo = u (6)
0H
]
H
]
Ce qui nous donne par
dcomposition sur les bords voisins :
d
d
] (t, x, y)JX +
] ()
]
x
+g()
]
Z
]k
Jo
k
= u
H
] H
]
(7) . Si la maille k nest pas
voisine de la maille j, on a
]k
= . Et une discrtisation de type Euler explicite en temps et
volumes finis en espace est :
]

]
n+1
-
]
n
t
+
]k
(
]k
]k
x
+g
]k
]k
)
k
= u (8.1)
Ainsi, la conservativit du flux se traduit par :

]k
]k
x
+g
]k
]k
= -(
k]
k]
x
+g
k]
k]
) (8.2)
Ce qui induit la proprit suivante :
Lemme (Conservativit du schma) :
Le schma Volumes Finis (8.1-8.2) est conservatif, c'est--dire :
S
]
]
n+1
]
= S
]
]
n
]
Aux termes de bords prs
6
.
Preuve :
i
ope(8.1) oo S
]
]
+1
]
= S
]
]
-t
]k
(
]k
]k
x
+g
]k
]k
)
k ]
Soit:
S
]
]
n+1
]
= S
]
]
n
]
-t
]k
[
]k
]k
x
+ g
]k
]k
y
],k
ou o:
S
]
]
n+1
]
= S
]
]
n
]
-t
]k
[
]k
]k
x
+ g
]k
]k
y
Z
]k
H

Il ne reste plus qu construire le flux numrique discret prcdent en fonctions des
inconnues discrtises.
On dfinit les inconnues comme suit :
,]
(t) =
1
AyAx
] ] (t, x, y) Jx Jy
x
i+1 2
x
]1 2
]+1 2
]1 2

o: x
= (i -1 2 )x , y
]
= (] -1 2 )y t t
n
= t Un ensemble discret de points
pour lquation hyperbolique
o
ot
+
o()
ox
+
og()
oy
= u. Nous choisissons de faire une semi-
discrtisation en espace en intgrant lquation sur le volume de contrle ]x
-1 2
; x
+1 2
|.
]
0(,x,)
x
i+1 2
x
i1 2
Jx +]
](0(,x,))
x
x
i+1 2
x
i1 2
+
g(0(,x,))
Jx = u puis en intgrant nouveau mais

cette fois-ci sur le volume de contrle ]y
]-1 2
; y
]+1 2
| on obtient :
xy
o
,]
(t)
ot
+ _ j [(t, x
+1 2
, y) - [(t, x
-1 2
, y)[
]+1 2
]1 2
Jy + _ jg [(t, x, y
+1 2
) -g [(t, x, y
-1 2
)[
x
i+1 2
x
i1 2
Jx = u

6
On entend par l`a que les mailles aux bords du domaine dans lequel on discrtise nont pas de vis--vis.

En appiochant _ (t, x
i+1 2
, y) Jy po y
+
[
,]
(t);
+1,]
(t)
y
]+1 2
y
]-1 2
t _ (t, x, y
i+1 2
) Jx po xg
+
[
,]
(t);
,]+1
(t)
x
i+1 2
x
i-1 2

on a: xy
o
,]
(t)
ot
+ y j
+
[
,]
(t);
+1,]
(t) -
+
[
-1,]
(t);
,]
(t)[ + x jg
+
[
,]
(t);
,]+1
(t) - g
+
[
,]-1
(t);
,]
(t)[ = u ou

o
,]
(t)
ot
+
1
x
j
+
[
,]
(t);
+1,]
(t) -
+
[
-1,]
(t);
,]
(t)[ +
1
y
jg
+
[
,]
(t);
,]+1
(t) - g
+
[
,]-1
(t);
,]
(t)[ = u
En faisant une intgration en temps de la formule prcdente entre t = t
n
; t = t
n+1
, on a :
_
o
,]
(t)
ot
Jt
n+1
n
+
1
x
_ j
+
[
,]
(t);
+1,]
(t) -
+
[
-1,]
(t);
,]
(t)[ Jt
n+1
n
+
1
y
_ jg
+
[
,]
(t);
,]+1
(t) - g
+
[
,]-1
(t);
,]
(t)[ Jt
n+1
n
= u
En remplaant lintgrale en temps pour chaque terme, par une mthode de Euler explicite,
on obtient le schma suivant qui est totalement discret pour tous les
,]
n
.
,]
n+1
-
,]
n
+

x
|
+
(
,]
n
;
+1,]
n
) -
+
(
-1,]
n
;
,]
n
)] +

|g
+
(
,]
n
;
,]+1
n
) -g
+
(
,]-1
n
;
,]
n
)] = u ou encore
,]
n+1
=
,]
n
-
t
x
|
+
(
,]
n
;
+1,]
n
) -
+
(
-1,]
n
;
,]
n
)] -
t
y
|g
+
(
,]
n
;
,]+1
n
) -g
+
(
,]-1
n
;
,]
n
)] (9)
En posant
t
x
= o ;
t
y
= [ ;
+1 2,]
=
+
(
i,]
;
i+1,]
)
t g
i,]+1 2
n
= g
+
(
,]
n
;
,]+1
n
) u bmo umiqu implii put i:
,]
n+1
=
,]
n
- o[
i+1 2,]
n
-
i-1 2,]
n
-[[g
i,]+1 2
n
-g
i,]-1 2
n
(1u)
Consistance
On peut dfinir lerreur de troncature comme suit :
,]
n
=

i,]
+1
-
i,]
t
+
i+
1
2
,]
i-
1
2
,]
x
+
g
i,]+
1
2

- g
i,]-
1
2

y

o:
`
,]
n
=
(x
, y
]
, t
n
)
+
1
2
,]
n
=
+
(
,]
n
;
+1,]
n
) o
lo olutio xot J l
i
quotio (S).
g
,]+
1
2
n
= g
+
(
,]
n
;
,]+1
n
)

Lemme : (Condition de consistance)
Un schma mis sous la forme conservative (9) est consistant avec lquation (5) si
f
+
(0; 0) = f(0) +C
tc
et g
+
(0; 0) = g(0) +C
tc
0 R (11)
Preuve :
Soit un schma de la forme :
,]
n+1
=
,]
n
-o[
i+1 2,]
n
-
i-1 2,]
n
-[[g
i,]+1 2
n
-g
i,]-1 2
n

Calculons son erreur de troncature

,]
n
=

i,]
+1
-
i,]
t
+
i+
1
2
,]
i-
1
2
,]
b
+
g
i,]+
1
2

- g
i,]-
1
2

k

On a :
`
i,]
+1
-
i,]
= t
o
i,]
ot
+0(t
2
)
i+m,]
i,]
= mb
o
i,]
ox
+0(b
2
) o: m = _1
i,]+m
i,]
= mk
o
i,]
oy
+0(k
2
)

Si
[p.
dsignent les deux drives partielles de

+
(p. g
+
) ,
on a :
`
+
(
i,]
i+1,]
) =
+
(
i,]
i,]
) +
o
+
(
i,]
i,]
)
o:
b
o
i,]
ox
+0(b
2
)
+
(
i-1,]
i,]
) =
+
(
i,]
i,]
) -
o
+
(
i,]
i,]
)
ou
b
o
i,]
ox
+0(b
2
)

Et
`
g
+
(
i,]
i,]+1
) = g
+
(
i,]
i,]
) +
og
+
(
i,]
i,]
)
o:
k
o
i,]
oy
+0(k
2
)
g
+
(
i,]-1
i,]
) = g
+
(
i,]
i,]
) -
og
+
(
i,]
i,]
)
ou
k
o
i,]
oy
+0(k
2
)

Ainsi
`
i,]
+1
-
i,]
t
=
o
i,]
ot
+0(t
2
)
+
1
2
,]
n
-
-
1
2
,]
n
b
= _
o
+
(
i,]
i,]
)
ou
+
o
+
(
i,]
i,]
)
o:
_
o
i,]
ox
+0(b)
g
,]+
1
2
n
-g
,]-
1
2

n
b
= _
og
+
(
i,]
i,]
)
ou
+
og
+
(
i,]
i,]
)
o:
_
o
i,]
oy
+ 0(k)

Or
o
i,]
ot
= -
o(
i,]
)
ox
-
og(
i,]
)
oy

Do
,]
n
= _
o
+
(
i,]
i,]
)
ou
+
o
+
(
i,]
i,]
)
o:
_
o
i,]
ox
-
o(
i,]
)
ox
+ _
og
+
(
i,]
i,]
)
ou
+
og
+
(
i,]
i,]
)
o:
_
o
i,]
oy
-
og(
i,]
)
oy
+ 0(b + k + 0(t))
Le schma est donc consistant et au moins dordre 1 si :

`
o
+
ou
( ; ) +
o
+
o:
( ; ) -
i
() = u
og
+
ou
( ; ) +
og
o:
( ; ) -g
i
() = u
R
Do lgalit (11).
Remarque :(Cas o les fonctions J et g sont linaires).
En supposant que (u) = ou = g(u) , avec o > u et en choisissant la constante =0, on a :
o
ot
u +o
o
ox
u +
o
oy
u = u ; quotio J
i
oJ:tio o:tio.
ii,
i+1 2,]
n
-
i-1 2,]
n
= ou
+
1
2
,]
-ou
-
1
2
,]
et g
i,]+1 2
n
-g
i,]-1 2
n
= ou
,]+
1
2

-ou
,]-
1
2

Et le schma numrique est le suivant :
u
,]
n+1
-u
,]
n
t
+
ou
+
1
2
,]
-ou
-
1
2
,]
b
+
ou
,]+
1
2

-ou
,]-
1
2

k
= u o: ou
+
1
2
,]
= ou
+1 ,]
n

A la suite (u
]
n
), o ooi u
h
(x ; t) = u
]
n
pour x
]-
1
2
< x < x
]-
1
2
t t
n-
1
2
< t < t
n+
1
2
; b = (t; x)
Thorme :
SI
a) u
h
L
C iJpJommt J b ; (Stoilit I
)
b) u
h
(x ; t) u
(x; t) pp (x; t) quoJ b u.

c) g(u
h
; u
h
) = (u
h
) u
h
I
Alors
u
t u olutio oil Ju polem..


CONCLUSION
Il ressort de cette tude quun schma de diffrences finies peut tre considr comme un
schma de volumes finis. Ainsi, la dnomination de volumes finis fait plus rfrence un
mode de construction qu un type de schma. Il est donc possible de construire par ce
procd, des fonctions par morceaux qui approchent la solution rgulire. Toutefois, si un tel
schma est convergent sous des hypothses de stabilits I
, on peut arriver prouver

quune telle solution converge vers une solution faible (Cf. Thorme de Lax-Wendroff).

Exposé Sur Les Volumes Finis

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Exposé Sur Les Volumes Finis

Încărcat de

Drepturi de autor:

Formate disponibile

Master 2 Math APPLIQUEE EDP ANNEE SCOLAIRE 2012 - 2013

, 1 i N, sont lintrieur des 1-simplexes de R, cest dire

,1 i N, sont lintrieur des

la valeur de I sur la maille i et on dfinit les normes suivantes de I:

puis on intgre lquation diffrentielle -u

par volume de contrle (maille)

i = 1, , N) alors nous pouvons constater que les schmas des

et lquation exacte intgre

puis en sommant sur i, on a :

et en utilisant les normes dfinies sur X(J) on

(]u; 1|) lordre 1.

sparant les volumes de contrle K et L, il est tentant dapprocher la drive normale

Jx = u puis en intgrant nouveau mais

dsignent les deux drives partielles de

(x; t) pp (x; t) quoJ b u.

t u olutio oil Ju polem..

, on peut arriver prouver

S-ar putea să vă placă și