Vous êtes sur la page 1sur 15

Universit de Bretagne Sud

Outils et Mthodes Numriques pour


lIngnieur
UFR Sciences et Sciences de lIngnieur
Mthode des Volumes Finis de base en 1D
J. Cochet
a
a
tudiant en Master G.M.M. lUniversit de Bretagne Sud
A R T I C L E I N F O R S U M
Rvisions :
Cr : 18 Janvier 2012
Remis : 3 juillet 2012
Mots-clfs :
Volumes Finis
Discrtisation
Sobolev
Taylor
La mthode des volumes nis de base est une invention des ing-
nieurs ptroliers dans les annes 60, aprs quils aient fait le constat
que ni les dirences nies, ni les lments nis de bases ne pou-
vaient calculer le dplacement des hydrocarbures en rservoir go-
logiquement complexe.
Lecacit constate des VF en ingnierie ptrolire a motiv son
application aux problmes dhydrogologie et de lenvironnement.
La recherche de ses fondements mathmatiques est lance au dbut
des annes 90.
1 Motivations
Les critres suivants permettent de tester lecacit dune mthode numrique de calcul dcoulement en
surface ou dans le sous-sol :
Respect du principe de concervation de la masse dans les mailles de simulation.
Respect du principe de continuit du ux sur les interfaces du maillage (le ux ici est dni comme tant la
composante normale de la vitesse).
Consistance de lapproximation du ux.
Obtention dun systme discret aussi creux que possible (rappel : un systme est creux si la matrice qui lui
est associe est creuse).
Capacit fonctionner sur les maillages gnraux.
Capacit grer les anisotropies de permabilit (cas dcoulement sous-terrain).
Respect du principe du "maximum discret". Les mthodes respectant la plupart de ces critres sont :
i) Les lments nis mixtes et mixtes hybrides (EFM et EFMH)
1
.
ii) Les dirences nis mimtiques (Mimetic FD).
iii) Les VF de nouvelle gnration :
MPFA : Multi-Point Flux Approximation
DDFV : Discrete Duality Finite Volume
iv) Les lments nis discontinus.
1. Les lments nis et les dirences nis de base ont t jugs inappropris pour calculer les coulements compte tenu du fait
quils ne respectent pas les trois premiers critres de qualit.
1
2 Volumes nis de base
On sintresse au calcul de la charge hydraulique u telle que :
_
_
_
K

2
d
x
2
= s(x) dans ]a, b[ (2.1a)
u(a) = , u(b) = (2.1b)
o s est une fonction donne (suppose rgulire) et o K, et des constantes relles avec K > 0.
2.1 Rappels thoriques
Unicit dune solution s L
2
(a, b) u v tel que :
_
b
a
K
u
x
v
x
dx =
_
b
a
s v dx v H
1
0
(a, b) (2.2)
o on pose :
v H
1
0
(a, b) v(a) = , v(b) = (2.3)
2.1.1 Rgularit de la solution u
On dduit de lquation 2.2 que :
_
b
a
u
x
v
x
dx = K
1
_
b
a
s v dx v (u) CL
2
(u) (2.4)
|
_
b
a
u
x
v
x
dx | K
1
|
_
b
a
s v dx | (2.5)
Si s L
2
(u) et en appliquant cauchy swartz :
|
_
b
a
u
x
v
x
dx | C || ||
L
2
(u)
(u) (2.6)
o C = K
1
|| s ||
L
2
(u)
, on en dduit que U H
2
(a, b).
2.1.2 Rgularit H
m
de u
De faon plus prcise, on montre que s H
m
(u) u H
m+2
(u) o m N, avec la convention : H
0
(u) =
L
2
(u) notons que la proprit ne marche que pour K constant.
La discontinuit aux frontires des couches (symbolis par des points de direntes densits) entrane la non
continuit de u.
2
3 Construction du problme discret
On cherche calculer une approximation de la solution exacte u du problme continu par les volumes nis
de base.
3.1 Maillage
Pour cela on introduit un maillage pas variable dni par :
{h
i
}
N
i=1
{x
i+
1
2
}
N
i=0
avec x
i+
1
2
= x
i
1
2
+h
i
pour i = 1, . . . , N et x1
2
= a.
Il est normal que {h
i
}
N
i=1
vrie les contraintes suivantes :
h
i
> 0 1 i N et
N

i=1
h
i
= b a
Pour terminer la dnition du maillage, on choisit de faon arbitraire un point x
i
dans la maille [x
i
1
2
, x
i+
1
2
]
pour i = 1, . . . , N.
Rsum : On dnit le maillage du domaine u = [a, b] laide de trois famille :
i) H = {h
i
}
N
i=1
ii) E = {x
i+
1
2
}
N
i=0
iii) C = {x
i
}
N
i=1
Dans la suite de cet expos, on fait comme la plupart des auteurs en posant :
x
i
=
x
i
1
2
+x
i
1
2
2
1 i N
3.2 Formulation Volumes Finis de base
Puisque lobjectif est de calculer une approximation de u sur [a, b], on va procder en deux tapes :
Etape 1 : Calcul des approximations de u aux points x
i
que lon note u
i
pour i = 1, . . . , N. Les [u
i
]
N
i=1
seront
dnis comme solution dun systme linaire appel "problme discret".
Etape 2 : u sera approch par la fonction u H
1
0
(a, b) dnie par interpolation lagrangienne.
3.2.1 Droulement de ltape 1
On intgre lquation de diusivit (2.1a), dans chaque maille (ou volume de contrle). Aprs intgration
par parties du 1
er
membre, on obtient :
K[u

(x
i+
1
2
) u

(x
i
1
2
)] =
_
x
i
+
1
2
x
i
1
2
s(x) dx 1 i N (3.1)
ou encore
{Ku

(x
i+
1
2
)}
. .
ux diusif en x
i+
1
2
{Ku

(x
i
1
2
)}
. .
ux diusif en x
i
1
2
=
_
x
i
+
1
2
x
i
1
2
s(x) dx 1 i N (3.2)
respect du principe de conservation de la masse dans les volumes de contrle.
3
Approximation des ux diusifs :
1
er
cas de gure :
Figure 1 Flux approch un nud intrieur
Grce Taylor-Lagrange, on sait que si u C
2
( u) alors :
u(x
j+1
) = u(x
j+
1
2
) +
u

1!
(x
j+
1
2
)hj+1
2
+
u

2!
(hj+1
2
)
2
(
+
j
) avec x
j+
1
2
<
+
j
< x
j+1
(3.3)
u(x
j
) = u(x
j+
1
2
)
u

1!
(x
j+
1
2
)hj
2
+
u

2!
(hj
2
)
2
(

j
) avec x
j
<

j
< x
j+
1
2
(3.4)
On multiplie les deux quations prcdentes par K et K respectivement. On additionne membre membre.
Ce qui donne :
Ku

(x
j+
1
2
) =
Ku(x
j+1
) +Ku(x
j
)
h
j+1
+h
j
2
+
K
h
j+1
+h
j
2
_
_
h
j+1
2
_
2
u

2!
u(
+
j
)
_
h
j
2
_
2
u

2!
u(

j
)
_
(3.5)
Ku

(x
j+
1
2
) =
K
h
j+
1
2
[u(x
j
) u(x
j+1
)]
. .
Bonne approximation du ux
au nud x
j+
1
2
+
K
h
j+
1
2
_
h
2
j+
1
2
u

(
+
j
) h
2
j
u

j
)
_
(3.6)
Si la solution exacte u est dans C
2
(u), alors C indpendant du maillage tel que :
|
K
4(h
j+1
+h
j
)
_
h
2
j+1
u

(
+
j
) h
2
j
u

j
)

| C h (3.7)
On rappelle que lapplication :
(x, y)
f

1
(| x | + | y |)
_
| x |
2
+ | y |
2

si (x, y) = (0, 0) (3.8)


se prolonge par continuit au point (0, 0) avec
lim
(x,y)(0,0)
f(x, y) = 0
En eet,
0
1
| x | + | y |
_
| x |
2
+ | y |
2

1
| x | + | y |
[| x | + | y |]
2
| x | + | y | (3.9)
|
K
4(h
j+1
+h
j
_
h
2
j+1
u

(
+
j
) h
2
j
u

j
)



h
j+1
+h
j
_
h
2
j+1
+h
2
j

[h
j+1
+h
j
] 2h (3.10)
avec limh 02h = 0 et =
1
4
max [u

()] car u est continu.


2
me
cas de gure :
x
j
1
2
= x1
2
{Ku

x3
2
} {Ku

(x1
2
)} =
_
x3
2
x1
2
s(x) dx (3.11)
Grce Taylor Lagrange, si u C
2
(u), on a :
u(x
1
) =

..
u(x1
2
) +h1
2
u

(x1
2
) +
1
2!
(
h
1
2
)
2
u

(
+
j
) (3.12)
4
on en dduit que
Ku

(x1
2
) =
K
h
1
2
[u(x
1
)

..
u(x1
2
)] +K
h
1
4
u

(
+
j
) (3.13)
Si la solution exacte u est dans C
2
(u), alors C indpendant du maillage tel que | K
h
1
4
u

(
+
j
) | C h.
3
me
cas de gure :
x
j+
1
2
= x
n+
1
2
u(x
n
) =

..
u(x
n+1
)
1
1!
k
n
2
u

(x
n+
1
2
) +
1
2!
(
h
n
2
)
2
u

n
) Ku

(x
n+
1
2
) (3.14)
=
K
h
n
2
[u(x
n
) u(x
n+
1
2
)
. .

] K
h
n
4
u

n
) (3.15)
Si la solution exacte est dans C
2
(u) alors C indpendant du maillage tel que | K
h
n
4
u

n
) | C h
3.2.2 Dnition de lquation (2.2)
On dnit le ux diusif aux nuds de la manire suivante :
Ku

(x
j+
1
2
)
K
h
j+1
+h
j
2
[u(x
j
) u(x
j+1
)] 1 j N 1 (3.16)
Ku

(x1
2
)
K
h
1
2
[u(x
1
) ] (3.17)
Ku

(x
N+
1
2
)
K
h
N
2
[u(x
N
) ] (3.18)
Remarque. Les approximations du ux donnes dans la dnition prcdente respectent le principe de conti-
nuit de ux aux nuds {x
i+
1
2
}
N1
i=1
.
En eet :
{Ku

(x
+
i+
1
2
)}
. .
x
= {Ku

(x

i+
1
2
)}
. .
y
(3.19)
x =
K
h
i+1
+h
i
2
[u
i
u
i+1
]
y =
K
h
i+1
+h
i
2
[u
i
u
i+1
]
On rappelle que lquation de bilan (ou quation de diusivit) intgre dans chaque volume de contrle est :
{Ku

(x
i+
1
2
)} {Ku

(x
i
1
2
) =
_
x
i+
1
2
x
i
1
2
s(x) dx 1 i N (3.20)
On remarque que lon peut donner une expression unie pour les quations 3.16 et 3.18 :
Ku

(x
i+
1
2
)
K
h
i
+h
i+1
2
[u(x
i
) u(x
i+1
)] 0 i N (3.21)
o par convention on a pos :
i) h
0
= h
N+1
= 0
ii) x
0
= x1
2
et x
N+1
= x
N+
1
2
5
K
h
i
+h
i+1
2
[u(x
i
) u(x
i+1
)]
K
h
i1
+h
i
2
[u(x
i1
) u(x
i
)]
_
x
i+
1
2
x
i
1
2
s(x) dx (3.22)
avec (compte tenu de la convention) :
u(x
0
) = et u(x
N+1
) =
Dnition On appelle formulation Volumes Finis (de base) du problme continu (quation 2.1a et 2.1b), le
problme qui consiste trouver { u
i
}
N
i=1
dans R
N
tel que :
_
_
_
2K
h
i
(h
i
+h
i+1
)
[ u
i
u
N+1
] +
2K
h
i
(h
i
+h
i1
)
[ u
i
u
i1
] = s
i
1 i N
avec u
0
= , u
N+1
=
(3.23)
o on a pos :
s
i
=
1
h
i
_
x
i+
1
2
x
i
1
2
s(x) dx 1 i N (3.24)
Remarque. Lorsque le maillage est pas constant h et si on approxime
1
h
_
x
i+
1
2
x
i
1
2
s(x) dx par s(x
i
) la formulation
volumes nis de base concide avec la formulation dirences nies de base. Les questions souleves par le systme
linaire (3.23) sont nombreuses et lies les unes aux autres.
i) Est-ce que les { u
i
}
N
i=1
existent ?
ii) Si oui, sont-ils uniques ?
iii) Si oui, sont-ils stables ?
iv) Si oui, lim
hmax
h
i
0
| u
i
u(x
i
) |0
Dnition Une matrice carre M dordre P est dite monotone si :
i) M est inversible
ii) (M
1
)
ij
0 1 i, j P
Proposition 3.3. Caractrisation des matrices monotones
Une matrice M carre dordre P est monotone ssi
v R
P
, (Mv 0 v 0) (3.25)
o on a pos :
W R
P
w 0
Lemme 3.4. Soit M une matrice de M
p
(R) suppose monotone, on doit en dduire (3.25).
i) Soit v R
P
tel que mv 0. Alors on a : M
1
[Mv] 0 (M
1
M)v 0 v 0.
ii) Soit M M(R) telle que 3.25 soit vrie.
Inversibilit de M : on commence par poser (M) = {v R
P
, Mv = 0}. Il sut de montrer que ker (M) = {0}
pour avoir linversibilit de M.
{0} ker (M) est vident
Reste prouver que ker (M) {0}. Soit v ker (M). Alors Mv = 0
mv = 0 mv 0 v 0
mv = 0 M(v) = 0 M(v) 0 v 0
Il en rsulte que v = 0. Donc ker (M) {0}.
Proposition 3.5. Existence et unicit dune solution discrte
La matrice associe au problme discret (3.23) est monotone.
Remarque. La bonne nouvelle contenue (de faon non explicite) dans la proposition prcdente est que le
problme discret possde une solution unique.
6
Lemme 3.6. Soit A
h
la matrice associe au problme discret, il sagit de montrer que :
v R
N
(A
h
v 0 v 0)
Soit donc v R
N
de composante {v
i
}
N
i=1
tel que 0 A
h
v.
_
_
_
0 A
h
v 0 (A
h
v)
i
1 i N
0
2K
h
i
(h
i
+h
i1
[v
i
v
i1
] +
2K
h
i
(h
i
+h
i+1
[v
i
v
i+1
] 1 i N
(3.26)
avec : v
0
= V
N+1
= 0
Remarque. Lcriture matricielle du problme discret est : A
h
u
h
= b
h
o on a pos u
h
= { u
i
}
N
i=1
.
A
h
= 2K
_

=1
1
h
1
(h
1
+h
1+
)
1
h
1
(h
1
+h
2
)
. .
1
h
2
(h
2
+h
1
)

=1
1
h
2
(h
2
+h
2+
)
1
h
2
(h
2
+h
3
)
.
.
1
h
3
(h
3
+h
2
)

=1
1
h
3
(h
3
+h
3+
)
1
h
3
(h
3
+h
4
)
. .
.
.
.
.
.
.
_

_
(3.27)
b
h
=
_
s
1
+
2K
h
1
(h
1
+h
0
)
, s
2
, . . . , s
N1
, s
N
+
2K
h
N
(h
N
+h
N1

_
(3.28)
Rappel : h
0
= h
N+1
= 0.
On pose v
min
= min{v
0
, v
1
, . . . , v
N
} et

i = min{i {0, . . . , N} tel que v
i
= v
min
}. On a soit

i = 0, soit

i {1, . . . , N}.
Supposons : 1

i N, alors en faisant i =

i dans (3.26), on voit que :


0
2K
h

i
(h

i
+h

i1
)
. .
>0
_
v

i
v

i1

. .
<0
+
2K
h

i
(h

i
+h

i+1
)
. .
>0
_
v

i
v

i+1

. .
<0
(3.29)
Ce qui est absurde. Donc

i = 0. Donc v
min
= v
0
= 0. Donc v 0.
4 Analyse de la stabilit et de la convergence de la solution discrte
La proposition 3.5 assure lexistence et lunicit dune solution discrte pour le problme (3.23). Dans cette
partie de lexpos, on sintresse la stabilit et la convergence de cette solution par rapport une norme
discrte adquate. Sans nuire la gnralit du problme, on suppose que E
h
= = 0 et on pose :
E
h
def
= {v = (v
i
)
N+1
i=0
R
N+2
, v
0
= v
N+1
= 0} (4.1)
v
h
tot v
h
(x) = v
i
si x
i
1
2
< x < x
i+
1
2
(4.2)
On munit cet espace de la norme || . ||
E
h
dnie par :
_
Ku

= s dans (a, b)
u(a) = u(b) = 0
(4.3)
7
U H
1
0
(a, b) C([a, b]). Il est question pour nous de montrer que la solution converge rapidement mais
galement quelle vrie les conditions aux limites.
|| v
h
||
E
h
=
_
N

i=0
1
h
i+
1
2
[v
i+1
v
i
]
2
_
1
2
(4.4)
O on a pos :
h
i+
1
2
def
=
1
2
[h
i
+h
i+1
] (4.5)
Stabilit : On commence par quelques rsultats prliminaires
Lemme 4.1. Version discrte de Poincar
C R

+
indpendante du maillage tq : (4.6)
v
h
E
h
|| v
h
||
L
2
(a,b)
C || v
h
||
E
h
(4.7)
Remarque. Lespace E
h
est une version discrte de lespace H
1
0
(a, b).
Preuve : soit v
h
E
h
, alors v = (v
i
) R
h
tel que v
h
(x) = v
i
si x
i
1
2
< x < x
i+
1
2
v(x) = v
i
= v
0
v
0
+v
1
v
1
+v
2
v
2
+. . . +v
i1
v
i1
+v
i
pp dans (x
i
1
2
)
| v
i
|| v
1
v
0
| + | v
2
v
1
| +. . . + | v
i
v
i1
| +. . . + | v
N+1
v
N
| pp dans (x
i
1
2
)
| v
i
|
2
(| v
1
v
0
| + | v
2
v
1
| +. . . + | v
i
v
i1
| +. . . + | v
N+1
v
N
|)
2
pp dans (x
i
1
2
)
h
i
| v
i
|
2
h
i
_
_
N

p=0
_
h
p+
1
2
| v
p+1
v
p
|
_
h
p+
1
2
_
_
2
(4.8)
h
i
_
N

p=0
h
p+
1
2
__
N

p=0
1
h
p+
1
2
(v
p+1
v
p
)
2
_
(4.9)
h
i
_
N

p=0
h
p+
1
2
_
|| v
h
||
2
E
h
= (b a)h
i
|| v
h
||
2
E
h
(4.10)
Rappelons que :
N

i=1
h
i
| v
i
|
2
=|| v
h
||
2
L
2
(x
i
1
2
,x
i+
1
2
)
et donc :
|| v
h
||
2
L
2
(a,b)
(b a)
2
|| v
h
||
2
E
h
8
car
N

i=1
h
i
= b a
do le lemme avec c = b a
Lemme 4.2. Deuxime version discrte de Poincar
C R

+
indpendante du maillage tq : (4.11)
v
h
E
h
|| v
h
||
L

(a,b)
C || v
h
||
E
h
(4.12)
Preuve : soit {v
i
}
N+1
i=0
le vecteur de R
h
associ une fonction v
h
de E
h
, alors on a :
v
i
= v
0
+v
1
v
1
+. . . +v
i1
v
i1
+v
i
(4.13)
| v
i
|
N

p=0
| v
p+1
v
p
1 i N (4.14)

p=0
_
h
p+
1
2
| v
p+1
v
p
|
_
h
p+
1
2

_
N

p=0
h
p+
1
2
_
1
2
. .

ba
|| v
h
||
E
h
1 i N (4.15)
Tous les ingrdients sont runis pour formuler le rsultat de stabilit de la solution volumes nis (de base)
du problme 2.1a et 2.1b.
Dnition Selon les volumes nis de base : soit { u
i
}
N+1
i=0
la solution du problme discret avec = = 0. On
appelle solution volume nis du problme, la fonction u
h
E
h
dnie par : (pour presque tout) x [a, b], on a :
u
h
(x) = u
i
si x
i
1
2
< x < x
i+
1
2
Remarque. Il est naturel de concevoir la fonction u
h
comme image dun oprateur dinterpolation not J
h
et
dnit de R
h
dans E
h
par :
J
h
: R
h
E
h
(4.16)
v = {v
i
}
N+1
i=0
J
h
(v) = v
h
(4.17)
o on a pos : pour presque tout x (a; b)
v
h
(x) = v
i
si x
i
1
2
< x < x
i+
1
2
Remarque. On peut montrer lexistence dune solution volumes nis de base vivant dans H
1
0
(a, b) comme la
solution exacte du problme analys savoir le problme 2.1a et 2.1b.
Thorme 4.1. Il existe une constante C > 0 indpendante du maillage telle que
|| u
h
||
E
h
C (4.18)
Remarque. en vertu des lemmes 4.1 et 4.2, lingalit de stabilit 4.18 entrane la stabilit de la solution u
h
au sens des normes L
2
et L
0
.
Preuve : On pose u
h
= J
h
({ u
i
}), o les { u
i
} vrient les quations suivantes :
2K
h
i
_
h
i
+h
i1
2
_ [ u
i
u
i1
] +
2K
h
i
_
h
i
+h
i+1
2
_ [ u
i
u
i+1
] =
1
h
i
_
x
i+
1
2
x
i
1
2
s(x) dx (4.19)
En multipliant les deux membres par u
i
, en sommant sur i {1, . . . , N} et en r-ordonnant les termes, on
voit que
N

i=1
ui u
i1
h
i
1
2
+
N

i=1
u
i
u
i+1
=
1
h1
2
_
u
2
0
u
1
u
0

+
1
h3
2
_
u
2
2
u
1
u
2

+. . . +
1
h3
2
_
u
2
1
u
1
u
2

+. . . (4.20)
=
1
h1
2
[ u
1
u
0
]
2
+
1
h3
2
[ u
2
u
0
]
2
+. . . (4.21)
= K
N

i=0
1
K
i+
1
2
[ u
i+1
u
1
]
2
(4.22)
= K || u
h
||
2
(4.23)
9
|
N

i=1
u
i
_
x
i+
1
2
x
i
1
2
s(x) dx |
N

i=1
_
x
i+
1
2
x
i
1
2
| u
i
| | s(x) | dx =
N

i=1
_
x
i+
1
2
x
i
1
2
| u
h
| | s(x) | dx (4.24)

i=1
_
_
_
x
i+
1
2
x
i
1
2
| u
h
|
2
dx
_
_
1
2
_
_
_
x
i+
1
2
x
i
1
2
| s |
2
dx
_
_
1
2
(4.25)

_
_
_
N

i=1
_
x
i+
1
2
x
i
1
2
| s |
2
dx
_
_
_
1
2
_
_
_
N

i=1
_
x
i+
1
2
x
i
1
2
| u
h
|
2
dx
_
_
_
1
2
=|| s ||
L
2
(a,b)
|| u
h
||
L
2
(a,b)
(4.26)
|| s ||
L
2
(a,b)
|| u ||
E
h
(4.27)
On en dduit que :
|| u
h
||

K
|| s ||
L
2
(a,b)
= C indpendante du maillage (4.28)
5 Travaux Dirigs
5.1 Dnition
Lorsque le coecient de diusion dpend de lespace, lquation de diusion est
d
dx
_
K(x)
du
dx

= f.
Dnition Coecients de diusion :
K(x) : dpend de lespace

= min{K
s
, K
g
, K
c
}

+
= max{K
s
, K
g
, K
c
}
Exemple 1. On considre un problme dcoulement deau dans une colonne de sol matrialise par lintervalle
r =]a, b[, o < a < b < + sont des rels donns, qui consiste trouver :
(S)
_
_
_
d
dx
_
K(x)
du
dx
_
= f(x) pp dans (5.1a)
u(a) = et u(b) = (5.1b)
o et sont des rels donns, f(.) et K(.) des fonctions donnes avec :
0

K(x)
+
pp dans (5.2)
f(.) C

( u) (5.3)
1. Montrer lexistence et lunicit dune solution (S) dans H
1
(u) (sans nuire la gnralit, supposer que
= = 0 dans cette question.
2. On introduit un maillage de

dnie par :
_

_
H = {h
i
}
N
i=1
ens. des pas (5.4a)
E = {x
i+
1
2
}
N1
i=0
ens. des noeuds (5.4b)
C = {x
i
}
N
i=1
ens. des centrodes (5.4c)
Hypothses de travail :
H1 : K(.) est une fonction constante par morceaux
10
H2 : Soit D(K) lensemble des points o K(.) est discontinu, on suppose que D(K) E
H3 : On suppose que la solution u C
2
(x
i
1
2
, x
i+
1
2
)
2.1) En notant { u
i
}
N
i=1
les inconnues discrtes, donner la formulation nis du systme (S), vrier que pour
h
1
= . . . = h
N
, on retrouve une formulation dirence nis moyennant lapplication dune forme de
quadrature prciser.
2.2) Montrer que la matrice A
h
associe au problme discret obtenu en 2.1) est monotone.
2.3) Montrer que la solution J
h
_
{ u
i
}
N
i=1
_
est stable (prendre = = 0) au sens de la norme discrte :
|| v
h
||=
_
N

i=0
1
h
i+
1
2
[v
i+1
v
i
]
2
_
1
2
(5.5)
o J
h
et E
h
sont respectivement un oprateur et un espace fonctionnel introduits au chapitre I.
2.4) Montrer que : C > 0 indpendant du maillage tel que :
|| J
h
_
{e
i
}
N
i=1
_
||
E
h
Ch (5.6)
o on a pos : e
i
= u(x
i
) u
i
, pour i = 0, . . . , N et h = max
1iN
h
i
. (Notons K
i
la valeur de K(x) dans
_
x
i
1
2
, x
i+
1
2
_
.
5.2 Correction
Question 1. Il sagit de faire la formulation variationnelle
Trouver u : [a, b] R tel que :
_
_
_

d
dx
_
K(x)
du
dx
_
= f(x) dans ]a, b[ (5.7a)
u(a) = , u(b) = (5.7b)
Formulation variationnelle du problme ( = = 0) :
Trouver u V tel que :
_
b
a
K(x)u

(x)v

(x) dx =
_
b
a
f(x)v(x) dx
. .
L(v) fc L sur H
1
0
v V (5.8)
o on a pos :
V = {v H
1
(a, b) ; v(a) = 0 ; v(b) = 0} H
1
0
(a, b) (5.9)
Thorme 5.1.
Lax-Milgram : il assure lexistence et lunicit dune solution variationnelle du systme (S).
Commentaire question 1 : on nest pas oblig de supposer = = 0. On peut introduire le polynme de
degr 1, P
,
(x) tel que P
,
(a) = et P
,
(b) = . Ensuite on pose :
u(x) = u(x) P
,
(x) dans [a, b] (5.10)
Ds lors, on a u(a) = u(b) = 0. Dautre part u est solution du systme
2
:
(

S)
_
_
_

d
dx
_
K(x)
d u
dx
_
=

f(x) dans ]a, b[ (5.11a)
u(a) = u(b) = 0 (5.11b)
o on a pos :

f(x) = f(x)
d
dx
_
K(x)
dP
,
dx
_
(5.12)
P
,
(x) =
x b
a b
+
x a
b a
(5.13)
dP
,
(x)
dx
=

a b
+

b a
(5.14)
2. NB : Si K(x) nest pas drivable, sachant que K est constant par morceaux, la drive devient une fonction de dirac :
K

(x) =
_

ab
+

ba
_

(21)
a+b
2
11
Formulation volumes nis du systme (S) :
On intgre la 1
re
quation du systme (S) dans ]x
i
1
2
, x
i+
1
2
[ ce qui donne aprs intgration :
_
x
i+
1
2
x
i
1
2

d
dx
_
K
i
du
dx
_
= {K
i
u

(x
i+
1
2
)} {K
i
u

(x
i
1
2
)} (5.15)
{K
i
u

(x

i+
1
2
)}
. .
ux diusif en x
i+
1
2
{K
i
u

(x
+
i
1
2
)}
. .
ux diusif en x
i
1
2
=
_
x
i+
1
2
x
i
1
2
f(x) dx (5.16)
Approximation des ux diusifs : {K
i
u

(x

i+
1
2
)} doit tre approch de faon consistante en faisant appel
Taylor-Lagrange :
u(x
i
) = u(x

i+
1
2
)
u

1!
h
i
2
(x

i+
1
2
) +
u

2!
_
h
i
2
_
2
(
g
i+
1
2
) (5.17)
(puisque u C
2
_
[x
i
1
2
, x
i+
1
2
]
_
en tant que fonction de classe C
2
dans chaque formation gologique + H2). En
multipliant les deux membres par K
i
on obtient :
K
i
u

(x

i+
1
2
) =
2
h
i
_
K
i
u
i
K
i
u

i+
1
2
_
K
i
h
i
4
u

(
g
i+
1
2
) (5.18)
On en dduit lapproximation suivante pour le ux en x

i+
1
2
:
K
i
u

(x

i+
1
2
)
2K
i
h
i
_
u
i
u

i+
1
2
_
(5.19)
dont lerreur de troncature est :
t
g
i+
1
2
=
K
i
h
i
4
u

(
g
i+
1
2
) (5.20)
Par un raisonnement analogue, on voit que {K
i
u

(x
+
i
1
2
)} doit tre approch de faon concise en faisant
appel Taylor-Lagrange :
u(x
i
) = u(x
+
i
1
2
) +
h
i
2
u

(x
+
i
1
2
) +
_
h
i
2
_
2
u

2!
(
d
i
1
2
) (5.21)
En multipliant les deux membres par K
i
, on obtient :
K
i
u

(x
+
i
1
2
) =
2
h
i
_
K
i
u
+
i
1
2
K
i
u
i
_
+K
i
h
i
4
u

(
d
i
1
2
) (5.22)
On en dduit lapproximation suivante pour le ux en x
+
i
1
2
:
K
i
u

(x
+
i
1
2
)
2K
i
h
i
_
u
+
i
1
2
u
i
_
(5.23)
dont lerreur de troncature est :
t
d
i
1
2
=
K ih
i
4
u

(
d
i
1
2
) (5.24)
Nous constatons que lexpression de ces ux prsente plus dinconnues que celle que nous avons trouve dans
le cours. Pour palier ce problme, on cherche montrer que u C
2
([a, b]). Pour cela, deux faons de voir :
i) u H
1
(a, b) C
0
([a, b])
ii) La continuit de la charge hydraulique est un principe fondamental de la mcanique des uides ayant pour
consquence que :
u

k+
1
2
= u
+
k+
1
2
= u
k+
1
2
k {1, . . . , N 1} (5.25)
12
avec la convention dcriture
u
+
1
2
= u1
2
et u

N+
1
2
= u
N+
1
2
(5.26)
Les notations prcdentes permettent de r-crire les approximations des ux en x

i+
1
2
et x
+
i
1
2
de la manire
suivante :
K
i
u

(x

i+
1
2
)
2K
i
h
i
_
u
i
u
i+
1
2
_
K
i
u

(x
+
i
1
2
)
2K
i
h
i
_
u
i
1
2
u
i
_
_

_
1 i N (5.27)
Proposition 5.3. C > 0 indpendante du maillage tel que :
| t
g
i+
1
2
| Ch et | t
d
i
1
2
| Ch (5.28)
o h = max{h
i
, i = 1, . . . , N}
Preuve :
| t
g
i+
1
2
|=|
K
i
h
i
4
u

(
g
i+
1
2
) | hmax
gG
_
max
Ig
| u

(t) |
_
max
gG
K
g
(5.29)
o G est lensemble des formations gologiques constituant la colonne de sol [a, b].
Raisonner de la mme faon pour t
d
i
1
2
. En reportant lquation (5.27) dans lquation (5.16), on obtient :
2K
i
h
2
i
_
u
i
u
i+
1
2
_
+
2K
i
h
2
i
_
u
i
u
i
1
2
_
< f >
i
i i N (5.30)
avec
u1
2
= , u
N+
1
2
= (5.31)
o on a pos
< f >
i
=
1
h
i
_
x
i+
1
2
x
i
1
2
f dx (5.32)
On observe que le systme 5.30 est un "systme linaire" comportant N quations avec (2N 1) inconnues
discrtes savoir {u
i
}
N
i=1
et {u
i+
1
2
}
N1
i=1
. On va rechercher (N 1) quations complmentaires. Le principe de
continuit du ux assure que :
K
i
u

(x

i+
1
2
) = K
i
u

(x
+
i+
1
2
) 1 i N 1 (5.33)
Au niveau numrique, ce principe sexprime avec les ux approchs de la manire suivante :
2K
i
h
i
_
u
i
u
i+
1
2
_
=
2K
i+1
h
h+1
_
u
i+
1
2
u
i+1
_
(5.34)
Cette famille dquations permet davoir autant dquations que dinconnues pour la formulation volumes nis
du systme (S) :
_

_
2K
i
h
2
i
_
u
i
u
i+
1
2
_
+
2K
i
h
2
i
_
u
i
u
i
1
2
_
=< f >
i
1 i N (5.35a)
2K
i
h
i
_
u
i
u
i+
1
2
_
=
2K
i+1
h
i+1
_
u
i+
1
2
u
i+1
_
1 i N 1 (5.35b)
avec u1
2
= et u
N+
1
2
= (5.35c)
Remarque.
K
i
u

(x

i+
1
2
) =
2K
i
h
i
_
u
i
u
i+
1
2
_
+t
g
i+
1
2
(5.36)
K
i
u

(x
+
i+
1
2
) =
2K
i+1
h
i+1
_
u
i+
1
2
u
i+1
_
+t
d
i+
1
2
(5.37)
Daprs (5.33) et (5.34) on a :
0 = 0 +t
g
i+
1
2
t
d
i+
1
2
1 i N 1 (5.38)
t
g
i+
1
2
= t
d
i+
1
2
1 i N 1 (5.39)
13
Remarque. La relation (5.34) confre aux volumes nis de base le statut de "mthode (de discrtisation)
conservative". La relation (5.39) qui est une consquence joue un rle essentiel dans la preuve de la convergence
des volumes nis appliqus au problme de diusion considr.
Le systme est de la forme :
_
_
A B
C D
_
_
_
_
u
c
h
u
n
h
_
_
(5.40)
o les u
c
h
sont les centrodes et u
n
h
sont les nuds.
Lide est dliminer les inconnus auxiliaires savoir {u
i+
1
2
}
N1
i=1
. A partir de (5.19), on obtient :
u
i+
1
2
=
K
i
h
i
K
i
h
i
+
K
i+1
h
i+1
u
i
+
K
i+1
h
i+1
K
i
h
i
+
K
i+1
h
i+1
u
i+1
(5.41)
do
u
i+
1
2
=
h
i+1
K
i
K
i
h
i+1
+K
i+1
h
i
u
i
+
h
i
K
i+1
K
i
h
i+1
+K
i+1
h
i
u
i+1
1 i N 1 (5.42)
En reportant lquation (5.19) dans lquation (5.16), on obtient :
2K
i
h
2
i
_
u
i
u
i+
1
2
_
+
2K
i
h
2
i
_
u
i
u
i
1
2
_
=< f >
i
1 i N (5.43)
Cas : 2 i N 1
2K
i
h
2
i
[ u
i

i,i+1
u
i

i+1,i
u
i+1
] +
2K
i
h
2
i
[ u
i

i1,i
u
i1

i,i1
u
i
] =< f >
i
(5.44)
o on a pos

i,i+1
=
h
i+1
K
i
K
i
h
i+1
+K
i+1
h
i
et
i+1,i
=
h
i
K
i+1
K
i
h
i+1
+K
i+1
h
i
(5.45)
avec

i1,i
=
h
i
K
i1
K
i1
h
i
+K
i
h
i1
(5.46)
donc
1
i,i+1
=
K
i+1
h
i
K
i
h
i+1
+K
i+1
h
i
et 1
i,i1
=
K
i+1
h
i
K
i1
h
i
+K
i
h
i1
(5.47)
En reportant lune dans lautre, on obtient :
2K
i
K
i+1
h
i
[K
i
h
i+1
+K
i+1
h
i
]
[ u
i
u
i+1
] +
2K
i
K
i1
h
i
[K
i1
h
i
+K
i
h
i1
]
[ u
i
u
i1
] =< f >
i
2 i N 1 (5.48)
Cas : i = 1
2K
1
h
2
i
_
u
1
u3
2
_
+
2K
1
h
2
1
_
u
1
u1
2
_
=< f >
2
(5.49)
Comme
u3
2
=
h
2
K
1
K
1
h
2
+K
2
h
1
u
1
+
h
1
K
2
K
1
h
2
+K
2
h
1
u
2
(5.50)
Lquation (5.49) est quivalente :
2K
1
K 2
h
1
[K 1h
2
+K 2h
1
]
[ u
1
u
2
] +
2K 1
h
2
1
_
u
1
u3
2
_
=< f >
1
(5.51)
Cas : i = N
2K
N
h
2
N
_
u
N
u
N+
1
2
_
+
2K
N
h
2
N
_
u
N
u
N
1
2
_
=< f >
N
(5.52)
Comme
u
N
1
2
=
h
N
K
N1
K
N1
h
N
+K
N
h
N1
u
N1
+
h
N1
K
N
K
N1
h
N
+K
N
h
N1
u
N
(5.53)
14
alors lquation (5.52) est quivalente :
2K
N
K
N1
h
N
[K
N
h
N1
+K
N1
h
N
]
[ u
N
u
N1
] +
2K
N
=1
..
K
N+1
h
2
N
[K
N+1
h
N
+K
N
h
N+1
. .
=0
]
_
_
u
N

= u
N+1
..
u
N+
1
2
_
_
=< f >
N
(5.54)
2K
1
K
2
h
1
[K
1
h
2
+K
2
h
1
]
[ u
1
u
2
] +
2K
1
=1
..
K
0
h
1
[K
0
h
1
+K
1
h
0
..
=0
]
_

_ u
1

= u
0
..
u
1
2
_

_ =< f >
N
(5.55)
do en imposant les conditions limites :
_
u
0
= u1
2
, K
0
= 1, h
0
= 0 (5.56a)
u
N+1
= u
N+
1
2
, K
N+1
= 1, h
N+1
= 0 (5.56b)
On retrouve donc lquation de discrtisation de volumes nis de base qui est :
2K
i
K
i+1
h
i
[K
i
h
i+1
+K
i+1
h
i
]
[ u
i
u
i+1
] +
2K
i
K
i1
h
i
[K
i1
h
i
+K
i
h
i1
]
[ u
i
u
i1
] =< f > i 1 i N (5.57)
Dnition le problme discret consiste trouver { u
i
}
N
i=1
R
N
tel que :
2K
i
K
i1
h
i
1
2
h
i
[K
i1
h
i
+K
i
h
i1
]
{ u
i
u
i1
} +
2K
i
K
i+1
h
i
[K
i
h
i+1
+K
i+1
h
i
]
{ u
i
u
i+1
} =< f >
i
1 i N (5.58)
avec
u
0
= , u
N+1
= (5.59)
La lecture mcanique de lquation (5.58) est quelle rend compte du bilan qui percole la maille dextrmit
x
i
1
2
et x
i+
1
2
, en tenant compte de lapport extrieur. Une telle lecture nest pas immdiate pour le systme
discret issu de la mthode des dirences nis. Cest lune des raisons qui justie lamlioration des rsultats et
interprtation des problmes dtude dcoulement par les volumes nis par rapport aux lments nis.
15