Académique Documents
Professionnel Documents
Culture Documents
paraboliques
J. Vovelle
November 23, 2011
Abstract
On etudie dans ce deuxi`eme cours la methode des volumes finis ap-
pliquee aux equations paraboliques, en dimension 1.
1 La m
ethode des volumes finis en dimension 1
On commence par reprendre la fin du cours precedent pour ecrire la methode des
volumes finis en dimension 1 specifiquement. Ici est un intervalle ouvert borne
de R. Un maillage T de est une suite dintervalles ouverts (Ki )i=0,...,L1 . En
notant xi1/2 < xi+1/2 les extremites de Ki , on a
L1
[
Ki = (xi1/2 , xi+1/2 ), = [xi1/2 , xi+1/2 ],
i=0
et linterface Ki |Kj est reduit au point xi1/2 selon que j = i 1. Soit donc `a
approcher, par la methode des volumes finis, le probl`eme
u q
(x, t) + (x, t) = f, x , t > 0, (1)
t t
par uh,k constante sur chaque maille espace-temps Ki (tn , tn+1 ) :
uh,k (x, t) = uni , (x, t) Ki (tn , tn+1 ).
On rappelle que k > 0 est le pas de temps, tn = nk et h est le pas despace,
h = sup0iL1 hi o`u hi = xi+1/2 xi1/2 est la longueur de Ki . Le principe
de bilan donne (avec u interprete comme une densite de masse)
1
On a donc lequation
k
un+1 = uni (Qn + Qnii1 ) + kfin , (2)
i
hi ii+1
avec Z tn+1 Z
1
fin := f (x, t)dxdt. (3)
khi tn Ki
k
un+1 = uni (Qn Qni1/2 ) + kfin , (5)
i
hi i+1/2
u fin est donne par (3).
o`
u u(x, t) R est linconnue, a L ((0, 1)) est une fonction strictement posi-
o`
tive p.p. independante du temps: il existe > 0 tel que
avec u0 L2 (0, 1) et des conditions aux limites, par exemple des conditions aux
limites periodiques:
u(0, t) = u(1, t), t > 0. (10)
Il existe alors un unique u C([0, T ]; L2 (0, 1))C 1 ((0, T ]; H 1 (0, 1)) 1-periodique
en temps solution faible de (6)-(9)-(10) au sens o` u u(0) = u0 dans L2 (0, 1) et
Z TZ 1
(uvt aux vx f v)dxdt = 0, (11)
0 0
pour tout v H 1 ((0, 1) (0, T )), tel que v(x, 0) = v(x, T ) = 0. En effet
(voir cours) pour montrer lunicite on se ram`ene, par linearite au cas f 0,
2
u0 0 et on montre u 0 pour toute solution faible u en prenant v = u dans
(11), o`u Cc1 (0, T ) puis en faisant 1. Pour montrer lexistence on peut
utiliser une decomposition spectrale de u 7 (aux )x : dapr`es la theorie des
equations elliptiques, il existe (n ) une suite croissante de reels positifs ou nuls
telle que n +, et il existe (wn ) une base orthonormee de Hper 1
(0, 1) avec
n 2 n n
w H (0, 1) telle que (awx )x = n w . Alors
X Z
X t
n t
u(t) := e n
hu0 , w iL2 (0,1) + en (ts) hf (s), wn iL2 (0,1) ds (12)
n=0 n=0 0
on a : u0 H k (0, 1), f C k ([0, 1]; H k (0, 1)) impliquent u H k ((0, 1) (0, T )).
En particulier, pour k = 4, on obtient u C 2 ([0, 1] [0, T ]). De meme, dans
le cas a non constant, si a est assez reguli`ere, ainsi que les donnees, alors u
C 2 ([0, 1] [0, T ]), ce quon supposera toujours v erifi
e dans la suite.
On cherche donc Qnii+1 qui soit une approximation de a(xi+1/2 )ux (xi+1/2 , t),
avec ou bien t = tn ou bien t = tn+1 . Le choix t = tn determine un schema
dit explicite en temps, le choix t = tn+1 un schema dit implicite en temps. On
pref`ere utiliser un schema implicite en temps pour les equations paraboliques
(on verra eventuellement pourquoi en exercice ou au chapitre suivant).
3
3.1 Etape 1: a discret, u continu, d
eriv
ees discr`
etes
Pour determiner le flux numerique en implicite, on commence par approcher
a(xi+1/2 ) comme Z
1
a(xi+1/2 ) ' ai := a(x)dx, (14)
hi Ki
puis on utilise une approximation par quotient differentiel (dite aussi approxi-
mation par differences finies), soit
Ki1 xi Ki+1
xi3/2 xi1/2 xi+1/2 xi+3/2
hii+1/2
un+1 n+1
i+1/2 ui
Qnii+1 = ai .
hii+1/2
un+1
i un+1
i1/2
Qnii1 = ai ,
hii1/2
Ki1 xi Ki+1
xi3/2 xi1/2 xi+1/2 xi+3/2
hii1/2
1 Pour ne pas faire derreur, se rappeler que, dapr` es la Loi de Fourier, on donne si on
a-dire que si un+1
a plus, cest-` i est plus grand que le voisin un+1 i+1/2
, resp. un+1
i1/2
, alors
Qnii+1 0, resp. Q n
ii1 0. Pour les m
e mes consid
e rations de signe, on voit que
qii1 (t) = +a(xi1/2 )ux (xi1/2 , t).
4
u hii1/2 = xi xi1/2 .
o`
Cest maintenant la propriete (4) de conservation du flux au niveau discret
qui va determiner un+1
i+1/2 . On a en effet, pour 0 < i < L 1,
un+1 n+1
i+1/2 ui un+1 n+1
i+1 ui+1/2
Qnii+1 = Qni+1i ai = ai+1 .
hii+1/2 hi+1i+1/2
On en deduit
ii+1/2 un+1
i + i+1i+1/2 un+1
i+1
un+1
i+1/2 = , (16)
ii+1/2 + i+1i+1/2
avec
ai ai+1
ii+1/2 := , i+1i+1/2 := , (17)
hii+1/2 hi+1i+1/2
do`
u
Qnii+1 = i+1/2 (un+1 n+1
i+1 ui ), (18)
en posant
ii+1/2 i+1i+1/2
i+1/2 := . (19)
ii+1/2 + i+1i+1/2
2 1 1 1
= + .
h i+1/2 ai ai+1
Finalement, par (2) et (18), on obtient, pour 0 < i < L 1, les equations
k
un+1 = uni + i+1/2 (un+1 n+1
) i1/2 (un+1 un+1 n
i i+1 ui i i1 ) + kfi , (20)
hi
u i+1/2 est donne par (18). Pour i = 0 et i = L 1, il faut preciser `a laide des
o`
conditions limites les valeurs choisies pour, respectivement, un+1 n+1
1/2 et uL1/2 ,
n n
de sorte `
a determiner, respectivement, Q01 et QL1L . Lequivalent des
conditions de periodicite (10) est
un+1 n+1
1 = uL1 , un+1
L = un+1
0 , n N. (21)
5
3.3 Consistance des flux
Soit, pour 0 i L 1,
Q],n
ii+1 = i+1/2 (u(xi+1 , tn+1 ) u(xi , tn+1 )), (23)
qui est le pendant de Qnii+1 lorsquon remplace les valeurs discr`etes un+1
i par
les valeurs dune fonction u aux points (xi , tn+1 ). Dans le paragraphe suivant
(paragraphe 4), on va montrer la convergence de la solution de la methode
volumes finis (20)-(21)-(22) vers la solution u de (6)-(9)-(10) en donnant une
estimation de la vitesse de convergence. Pour cela, on va
1. Montrer que u verifie les equations du schema (20)-(21)-(22) en un sens
approche.
2. Faire des estimations denergie `a partir de lequation discr`ete satisfaite
par uni u(xi , tn ).
Pour preparer la premi`ere etape, evaluons lerreur faite en approchant le flux
continu qii+1 (tn+1 ) defini dans (13) par Q],n
ii+1 . Pour cela on
evalue dabord
les erreurs faites dans chacune des quantites utilisees pour la construction du
flux numerique, `a savoir le flux intermediaire Q[,n
ii+1 et la valeur dinterface
n+1
ui+1/2 .
do`
u (24).
6
u lerreur sn+1
o` i+1/2 est
n+1 n+1
ri+1i + rii+1
sn+1
i+1/2 = , (26)
ii+1/2 + i+1i+1/2
cest-`
a-dire
u(xi+1/2 , tn+1 ) u(xi , tn+1 )
ai
hii+1/2
u(xi+1 , tn ) u(xi+1/2 , tn+1 ) n+1 n+1
= ai+1 (ri+1i + rii+1 ).
hi+1i+1/2
On en deduit (25).
],n+1
Qn+1 n+1
[,ii+1 = Qii+1 ii+1/2 si+1/2 .
7
Exercice 1 Proposer des conditions aux bord numeriques pour remplacer (21)
lorsque on substitue `
a (10) une des trois conditions suivantes :
4 Estimation derreur
On va montrer que uh,k definie par (20)-(21)-(22) ci-dessus converge vers la
solution u de (6)-(9)-(10) lorsque h et k tendent vers 0 (avec estimation de cette
convergence). Avant tout, comme (20) est implicite en temps (cest une equation
de la forme un+1 = F (un+1 )), montrons que (20)-(21)-(22) a une solution.
pour tout n N.
Alors, un+1
i un+1
j 0 pour j = i 1. Dapr`es (20), on a
un+1
i uni + kfin ,
en particulier
max un+1
i max uni + k max fin . (30)
0iL1 0iL1 0iL1
8
Par recurrence, (28) se deduit de (30). De meme pour (29). Revenons main-
tenant `a la question de lexistence de uh,k . En raisonnant par recurrence, il suffit
de montrer que, une fois U n := (uni )0iL1 determinee, il existe une unique
solution U n+1 := (un+1
i )0iL1 de (20). Comme (20) est lineaire, elle definit
alors un syst`eme lineaire sur RL :
Il suffit alors de montrer que A est inversible, i.e. sans noyau, ce qui revient `a
montrer que la seule solution (un+1
i )0iL1 de (20) lorsque
est la solution nulle. Si (32) est satisfait, on a, dapr`es (30), max0iL1 un+1
i
0. De meme, on montre min0iL1 un+1 i 0, ce qui implique un+1
i = 0 pour
tout i.
L1
!1/2
X
hi |eni |2 C(k + h), n t.q. tn T, (33)
i=0
9
Etape 1 : Equation approch ee pour u En integrant lequation (6) prise
au temps t = tn+1 sur Ki , 0 i L 1, on obtient (en utilisant les notations
du paragraphe 3)
Z Z
ut (x, tn+1 )dx + (qii+1 (tn+1 ) + qii1 (tn+1 )) = f (x, tn+1 )dx.
Ki Ki
et
1
(u(xi , tn+1 ) u(xi , tn )) = ut (xi , tn+1 ) + O(k),
k
do`
u
Z
hi
ut (x, tn+1 )dx = (u(xi , tn+1 ) u(xi , tn )) + O(khi + h2i ).
Ki k
De meme, Z
f (x, tn+1 )dx = hi fin + O(khi ).
Ki
k
En remplacant dans (34) et en multipliant par hi , on obtient
k ],n
u(xi , tn+1 ) = u(xi , tn ) + Qii+1 + Q],n
ii1 + kfi
n
hi
k n+1 n+1
(zii+1 zi1i ) + O(k 2 + khi ).
hi
u |n+1
o` i | C(k + hi ).
10
Etape 2 : Estimation derreur Soit eni := uni u(xi , tn ). En faisant la
difference entre (20) et (35), on a, pour 0 i L 1,
k
en+1 = eni + i+1/2 (en+1 n+1
) i1/2 (en+1 en+1
i i+1 ei i i1 )
hi
k n+1 n+1
(zii+1 zi1i ) + kn+1
i ,
hi
avec |n+1
i | C(k + hi ).
1 Z tZ 1
1 1 2
Z Z
1
|e|2 (x, t)dx + |ex |2 (x, s)dxds |e| (x, 0)dx
2 0 0 0 2 0
Z tZ 1
+ (e zex )dxds,
0 0
11
Voici maintenant la version discr`ete : en multipliant par hi en+1
i et en sommant
sur n {0, . . . , p}, i {0, . . . , L 1} on obtient
p L1
X X
hi en+1
i (en+1
i eni )
n=0 i=0
p
X L1
X
en+1 i+1/2 (en+1 n+1
) i1/2 (en+1 en+1
= k i i+1 ei i i1 )
n=0 i=0
p
X L1
X p
X L1
X
k en+1
i (z n+1
ii+1 z n+1
i1i ) + k hi en+1
i n+1
i . (37)
n=0 i=0 n=0 i=0
p
X L1
X
en+1 i+1/2 (en+1 n+1
) i1/2 (en+1 en+1
k i i+1 ei i i1 )
n=0 i=0
p
X L1
X p
X
= k i+1/2 |en+1
i+1 e n+1 2
i | ken+1
0 1/2 (en+1
0 en+1
1 )
n=0 i=0 n=0
Xp
+ ken+1 n+1
L L1/2 (eL en+1
L1 ).
n=0
0 = en+1
0 1/2 (en+1
0 en+1 n+1 n+1
1 ) + eL L1/2 (eL en+1
L1 ).
Par consequent,
p
X L1
X
en+1 i+1/2 (en+1 n+1
) i1/2 (en+1 en+1
k i i+1 ei i i1 )
n=0 i=0
p
X L1
X
= k i+1/2 |en+1 n+1 2
i+1 ei | .
n=0 i=0
12
Par consequent, (37) donne
L1 p L1
1X p+1 2
X X
hi |ei | + k i+1/2 |en+1 n+1 2
i+1 ei |
2 i=0 n=0 i=0
L1 p L1 p L1
1X X X
n+1
X X
hi |e0i |2 + k (ei+1 en+1
i )z n+1
ii+1 + k hi en+1
i n+1
i . (39)
2 i=0 n=0 i=0 n=0 i=0
Par linegalite
1 2
ab a2 + b , a, b R, > 0, (40)
4
avec a = (en+1 n+1
i+1 ei
n+1
), b = zii+1 , = 21 i+1/2 , on a
p L1 p L1
X X 1X X
k (en+1
i+1 en+1 n+1
i )zii+1 k i+1/2 |en+1 n+1 2
i+1 ei |
n=0 i=0
2 n=0 i=0
p L1
1X X 1
+ k |z n+1 |2 .
2 n=0 i=0 2i+1/2 ii+1
p L1 p L1
X X 1X X
k (en+1 n+1 n+1
i+1 ei )zii+1 k i+1/2 |en+1 n+1 2
i+1 ei | + Ch2 .
n=0 i=0
2 n=0 i=0
L1 p L1
1X 1X X
hi |ep+1
i |2
+ k i+1/2 |en+1 n+1 2
i+1 ei |
2 i=0 2 n=0 i=0
p
X L1
X
C(k + h) + k 2
hi |en+1
i |2 . (42)
n=0 i=0
13
On a donc, en particulier,
p L1
1 p X X
E C(h + k)2 + kE n , E n := hi |en+1
i |2 .
2 n=0 i=0
En utilisant le
Lemme 8 (Lemme de Gronvall discret) Soit (Ep ) verifiant
p1
X
Ep c + d kE n , p N.
n=0
un+1
1/2 = 0, un+1
L1/2 = 0.
un+1 n+1
1/2 = u0 , un+1 n+1
L1/2 = uL1 .
14
5.2 Exercice 2
Lequation (20) se recrit
k k k k
1 + i+1/2 + i1/2 un+1 i i+1/2 un+1
i+1 i1/2 un+1 n n
i1 = ui + kfi ,
hi hi hi hi
5.3 Exercice 3
Pour i {0, . . . , L 1}, p N, on a
Z
1
u0i = u0 (x)dx ku0 kL (0,1) ,
hi K1
et Z tp+1 Z Z tp+1
1
kfip = f (x, t)dxdt kf kL (0,1) (t)dt.
tp hi Ki tp
5.4 Exercice 4
En multipliant lequation
et (aex )x = + zx ,
par e, en integrant sur (0, 1) (0, t), on obtient (apr`es integration par par-
ties dans le terme en (aex )x e puis utilisation de (7)) linegalite (dite inegalite
denergie)
Z 1 Z tZ 1 Z 1
1 1
|e|2 (x, t)dx + |ex |2 (x, s)dxds |e|2 (x, 0)dx
2 0 0 0 2 0
Z tZ 1
+ (e zex )dxds,
0 0
15
pour tout t [0, T ]. Par linegalite de Young (40) avec a = e, b = , = 1, on a
Z 1 Z 1
1 1 2
Z
edx e2 dx + dx.
0 0 4 0
Lhypoth`ese kkL2 ((0,1)(0,T )) Ch donne alors
Z 1 Z tZ 1
1 2
|e| (x, t)dx + |ex |2 (x, s)dxds Ch2
2 0 0 0
Z tZ 1
+ (|e|2 zex )dxds,
0 0
o`
u la constante C depend de T . En reportant dans (43), on a finalement
Z 1 Z TZ 1
sup |e|2 (x, t)dx et |ex |2 (x, s)dxds Ch2 .
t[0,T ] 0 0 0
5.5 Exercice 5
On calcule
1 a2 + b2 2ab (a b)2
a(a b) (a2 b2 ) = = 0.
2 2 2
5.6 Exercice 6
Dans le cas = 21 , (40), soit
1 2 1 2
ab a + b , (45)
2 2
se deduit de (a b)2 0, en developpant le carre. On obtient le cas general en
1
remplacant a par 2a et b par 2 b dans (45).
16
5.7 Exercice 7
Posons
p1
X
Ep = c + d kE n ,
n=0
Ep cedkp ,
do`
u le resultat.
References
[EGH00] R. Eymard, T. Gallouet, and R. Herbin, Finite volume methods, Hand-
book of numerical analysis, Vol. VII, Handb. Numer. Anal., VII,
North-Holland, Amsterdam, 2000, pp. 7131020.
17