Vous êtes sur la page 1sur 17

La methode des volumes finis pour les equations

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)

Masse dans Ki au temps tn+1 Masse dans Ki au temps tn


| {z } | {z }
hi un+1 hi un
i
i

= Flux de masse sortant de Ki entrant dans Ki+1 entre tn et tn+1


| {z }
kQn
ii+1

Flux de masse sortant de Ki entrant dans Ki1 entre tn et tn+1


| {z }
kQn
ii1

+ Creation/Consommation de masse dans Ki entre tn et tn+1 .


| {z }
khi fin

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

La conservation de la masse impose flux sortant de Kj entrant en Kj+1 =


flux sortant de Kj+1 entrant en Kj , i.e.

Qnjj+1 = Qnj+1j . (4)

Remarque 1 En notant Qnj+1/2 = Qnjj+1 on a donc (avec j = i 1 dans


(4)), Qnii1 = Qni1/2 . De (2), on deduit donc

k
un+1 = uni (Qn Qni1/2 ) + kfin , (5)
i
hi i+1/2
u fin est donne par (3).
o`

2 Equation parabolique en dimension 1


Soit T > 0. On consid`ere lequation

ut (aux )x = f dans (0, 1) (0, T ), (6)

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

a(x) pour presque tout x (0, 1), (7)

et f L2 ((0, 1) (0, T )). On a utilise les notations


u v
ut := , vx := , (8)
t x
pour les derivees partielles. Dans le cas a 1, (6) est lequation de la chaleur
en dimension 1. Pour completer (6), on donne une condition initiale

u|t=0 = u0 dans (0, 1), (9)

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

est solution faible de (6)-(9)-(10).


Remarque (r egularite additionnelle) : Soit, pour k N, H k (0, 1) lespace
de Sobolev des fonctions v L2 (0, 1) telles que
k
X
kvk2H k (0,1) := kxj vk2L2 (0,1) < +.
j=0

Supposons a = Cte = 1. Dapr`es (12) et lidentification


X
kvk2H k (0,1) ' (1 + kn )|hv, wn iL2 (0,1) |2 ,
n0

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.

3 La methode des volumes finis appliqu


ee `
a l
e-
quation parabolique
Dans cette partie, on determine les flux numeriques (donc la methode des vol-
umes finis quon va utiliser). Les lemmes 2-3-4 suivants assurent au fur et
a mesure que les approximations faites sont consistantes, au sens o`
` u le flux
numerique obtenu est proche du flux du probl`eme continu.
Le point de depart est lequation (2) (plutot que (5)), avec ici (Ki )0iL1
maillage de := (0, 1). Pour lequation continue (6), dapr`es la Loi de Fourier,
le flux en xi+1/2 sortant de Ki et entrant dans Ki+1 est, au temps t,

qii+1 (t) = a(xi+1/2 )ux (xi+1/2 , t). (13)

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

u(xi+1/2 , tn+1 ) u(xi , tn+1 )


ux (xi+1/2 , tn+1 ) ' ,
hii+1/2

Ki1 xi Ki+1
xi3/2 xi1/2 xi+1/2 xi+3/2

hii+1/2

u xi est un point dans Ki et hii+1/2 := xi+1/2 xi . En posant


o`

u(xi+1/2 , tn+1 ) u(xi , tn+1 )


Q[,n
ii+1 = ai , (15)
hii+1/2

on obtient un intermediaire entre qii+1 (tn+1 ) et le flux numerique Qnii+1


quon va maintenant calculer.

3.2 Etape 2: a discret, u discret, d


eriv
ees discr`
etes
En faisant lapproximation u(xi , tn+1 ) ' un+1 i et en notant un+1
i+1/2 la valeur
numerique qui tient lieu de u(xi+1/2 , tn+1 ), on obtient

un+1 n+1
i+1/2 ui
Qnii+1 = ai .
hii+1/2

De meme (attention au signe1 ), on a

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

Exemple 1 Dans le cas hi = h pour tout i avec xi = milieu de Ki , on a


2 ai ai+1
i+1/2 := ,
h ai + ai+1
h
cest-`
a-dire que 2 i+1/2 est la moyenne harmonique de ai et ai+1 :

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)

Pour terminer, lequivalent numerique de la condition initiale (9) est


Z
1
u0i = u0 (x)dx, i = 0, . . . , L 1. (22)
hi Ki

Conclusion : la methode des volumes finis pour lapproximation de (6)-(9)-(10)


est constituee des equations (20)-(21)-(22).

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 .

Lemme 2 (Consistance qii+1 (tn+1 )/Q[,n ii+1 ) Il existe C constante depen-


n+1
dant de kax kL (0,1) et kuxx kL ((0,1)(0,T )) telle que rii+1 := qii+1 (tn+1 )
Q[,n
ii+1 satisfasse
n+1
|rii+1 | Ch, (24)
pour tout i {0, . . . , L 1} et tout n tel que tn+1 T .

Preuve : en notant C nimporte quelle constante dependant de kax kL (0,1) et


kuxx kL ((0,1)(0,T )) ,

|a(x) a(xi+1/2 )| C|x xi+1/2 | Chi ,

pour tout x Ki , do`


u
Z Z
ai a(xi+1/2 ) = 1 1

hi (a(x) a(xi+1/2 ))dx
Chi dx Chi .
Ki hi Ki
De meme, un developpement de Taylor donne
u(xi+1/2 , tn+1 ) u(xi , tn+1 )


ux (xi+1/2 , tn+1 ) Chii+1/2 Chi ,
hii+1/2

do`
u (24).

Lemme 3 (Consistance de la valeur interm ediaire) Si on remplace les va-


leurs un+1
k (k {i, i+1/2, i+1}) par les valeurs continues correspondantes dans
(16), on a, pour 0 i L 1,
ii+1/2 u(xi , tn+1 ) + i+1i+1/2 u(xi+1 , tn+1 )
u(xi+1/2 , tn+1 ) = + sn+1
i+1/2 ,
ii+1/2 + i+1i+1/2
(25)

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

u rin+1 est defini dans le Lemme 2.


o`
Preuve : Remarquons dabord que, dans (25) pour i = L1, u(xL , t) est defini
par u(xL , t) := u(x0 , t) en utilisant la 1-periodicite de u. On a
qii+1 (tn+1 ) = qi+1i (tn+1 ),
soit, avec les notations du Lemme 2,
Q[,n n+1 [,n n+1
ii+1 + rii+1 = (Qi+1i + ri+1i ),

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).

Lemme 4 (Consistance qii+1 (tn+1 )/Q],n ii+1 ) Il existe C constante d ependant


de (la constante de coercivite dans (7)), kakL (0,1) , kax kL (0,1) et kuxx kL ((0,1)(0,T ))
telle que
n+1
|zii+1 n+1
| Ch, zii+1 := qii+1 (tn+1 ) Q],n
ii+1 , (27)
pour tout i {0, . . . , L 1} et tout n avec tn T .
Preuve : on reporte la valeur de u(xi+1/2 , tn+1 ) donnee par (25) dans lexpres-
sion de Q[,n+1
ii+1 (voir (15)):

],n+1
Qn+1 n+1
[,ii+1 = Qii+1 ii+1/2 si+1/2 .

Par (24) et la definition de sn+1


i+1/2 (cf. (26)), on a donc

|qii+1 (tn+1 ) Q],n+1 n+1 n+1


ii+1 | |rii+1 | + |ii+1/2 si+1/2 |,
n+1 ii+1/2
|rii+1 |+ (|rn+1 | + |rii+1
n+1
|).
ii+1/2 + i+1i+1/2 i+1i
n+1
On conclut avec lestimation |rii+1 | Ch et linegalite
ii+1/2 ai hi+1i+1/2
=
ii+1/2 + i+1i+1/2 ai hi+1i+1/2 + ai+1 hii+1/2
kakL (0,1) hi+1i+1/2

hi+1i+1/2 + hii+1/2
kakL (0,1) hi+1i+1/2 kakL (0,1)
= .
hi

7
Exercice 1 Proposer des conditions aux bord numeriques pour remplacer (21)
lorsque on substitue `
a (10) une des trois conditions suivantes :

1. Conditions de Dirichlet homog`enes :

u(0, t) = 0, u(1, t) = 0, t > 0.

2. Conditions de Neumann homog`enes :

ux (0, t) = 0, ux (1, t) = 0, t > 0.

3. Conditions mixtes Dirichlet-Neumann homog`enes :

ux (0, t) = 0, u(1, t) = 0, t > 0.

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.

4.1 Existence de solution


Proposition 5 (Existence, Bornes L ) Il existe une unique solution uh,k `
a
(20)-(21)-(22). De plus,
n1
X
max uni max u0i + k max fip , (28)
0iL1 0iL1 0iL1
p=0

pour tout n N et, similairement,


n1
X
min uni min u0i + k min fip , (29)
0iL1 0iL1 0iL1
p=0

pour tout n N.

Preuve: Montrons dabord (28) en supposant que uh,k existe. Soit i


{0, . . . , L 1} tel que
max un+1
i = un+1
i .
0iL1

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 :

AU n+1 = U n + B, A ML (R), B RL . (31)

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

uni = 0, fin = 0, i {0, . . . , L 1}, (32)

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.

Exercice 2 Determiner A et B dans (31).

Exercice 3 Montrer, en utilisant (28)-(29), que, pour tN = N k (N N ),


Z tN
kuh,k kL ([0,1][0,tN ]) ku0 kL (0,1) + kf kL (0,1) (t)dt.
0

On peut maintenant montrer lestimation derreur.

4.2 Estimation derreur


Theor` eme 6 (Estimation derreur) Soit u C 2 ([0, 1][0, T ]) la solution du
probl`eme parabolique (6)-(9)-(10) et soit uh,k la solution approchee determinee
par la methode des volumes finis (20)-(21)-(22). Il existe une constante C
0 ne dependant que de (la constante de coercivite dans (7)), kakL (0,1) ,
kax kL (0,1) , kukC 2 ([0,1][0,T ]) et T telle quon ait lestimation derreur L 2
t Lx

L1
!1/2
X
hi |eni |2 C(k + h), n t.q. tn T, (33)
i=0

u eni := uni u(xi , tn ).


o`

Remarque 7 On a la meme estimation derreur pour un probl`eme parabolique


en dimension d > 1 (avec les memes methodes que celles qui suivent, il faut
cependant determiner le schema dans ce cas plus elabore, voir [EGH00]).

Preuve : Dans toute la preuve, on designe invariablement par C nimporte


quelle constante ne dependant que de , kakC 1 ([0,1]) , kukC 2 ([0,1][0,T ]) et T . On
note aussi
win = O(zin ),
sil existe C 0 telle que |win | C|zin | pour tout 0 i L 1, n N tel que
tn T .

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

On applique le resultat de consistance du flux demontre dans le Lemme 4.


n+1 n+1
Comme zii1 = zi1i (car qii1 (tn+1 ) = qi1i (tn+1 ) et de meme
],n
pour Qii1 ), on obtient
Z
ut (x, tn+1 )dx + (Q],n ],n
ii+1 + Qii1 )
Ki
Z
n+1 n+1
= f (x, tn+1 )dx (zii+1 zi1i ). (34)
Ki

Par des developpements de Taylor, on a


Z
ut (x, tn+1 )dx = hi ut (xi , tn+1 ) + O(h2i ),
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

Par definition de Q],n


ii+1 (cf. (23)), on obtient donc lapproximation suivante
de (20) pour u(xi , tn ) :

u(xi , tn+1 ) = u(xi , tn )


k
i+1/2 (u(xi+1 , tn+1 ) u(xi , tn+1 )) i1/2 (u(xi , tn+1 ) u(xi1 , tn+1 )) +kfin

+
hi
k n+1 n+1
(zii+1 zi1i ) + kn+1
i , (35)
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 ).

Exercice 4 (Version continue de l etape 2) Soit e C 2 ([0, 1] [0, T ]) ve-


rifiant
et (aex )x = + zx , (36)
u a C([0, 1]) verifie la condition de positivite (7), , z C([0, 1] [0, T ]),
o`
kkL2 ((0,1)(0,T )) Ch, kzkL2 ((0,1)(0,T )) Ch. On suppose de plus ke(0)k
Ch et e, a, z 1-periodique en x.
1. Montrer que

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

pour tout t [0, T ].


2. En deduire, en utilisant linegalite (40) ci dessous, que
Z 1 Z tZ 1
1
|e|2 (x, t)dx + |ex |2 (x, s)dxds Ch2
2 0 0 0
Z tZ 1
+ (|e|2 zex )dxds,
0 0

pour tout t [0, T ].


3. Montrer ensuite avec linegalite (40) ci dessous que
Z 1 Z tZ 1 Z tZ 1
1 2 2 2
|e| (x, t)dx + |ex | (x, s)dxds Ch + |e|2 dxds,
2 0 2 0 0 0 0

pour tout t [0, T ].


4. Conclure que
Z 1 Z T Z 1
2
sup |e| (x, t)dx et |ex |2 (x, s)dxds Ch2 .
t[0,T ] 0 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

Par glissement dindices, on a

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

La condition de periodicite pour u et son equivalent discret (21) assurent que


les termes de bord se compensent :

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

De meme, par glissement dindices,


p
X L1
X p
X L1
X
n+1 n+1 n+1
k ei (zii+1 zi1i ) = k (en+1 n+1 n+1
i+1 ei )zii+1 .
n=0 i=0 n=0 i=0

Dautre part, en utilisant linegalite


1 2
a(a b) (a b2 ), (38)
2
avec a = en+1
i , b = eni , la premi`ere somme dans (37) se reecrit
p L1 L1 p L1
X X 1X 1XX
hi en+1
i (en+1
i eni ) hi |ep+1
i |2
hi |e0i |2 .
n=0 i=0
2 i=0 2 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

Par la condition (cf (7))


a M := kakL (0,1) ,
1 2M n+1
on a 2i+1/2 2 h. Lestimation (27) |zii+1 | Ch donne donc

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

En remplacant dans (39) :


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
L1 p L1
1X X X
hi |e0i |2 + Ch2 + k hi en+1
i n+1
i . (41)
2 i=0 n=0 i=0
PL1
Par hypoth`ese, 12 i=0 hi |e0i |2 Ch2 . Pour le dernier terme, on a, en appli-
quant (40) avec a = en+1
i , b = n+1
i , = 1,
p L1 p L1
X X 1X X
k hi |en+1
i |2
+ k hi |n+1
i |2 ,
n=0 i=0
4 n=0 i=0

et, par lestimation |n+1


i | C(k + hi ),

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

Pour k < 14 , on obtient


p1 L1
1 p X X
E C(h + k)2 + kE n , E n := hi |en+1
i |2 .
4 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

Alors E p cepkd , pour tout p N.


on en deduit (33).

Exercice 5 Montrer (38).

Exercice 6 Montrer (40) (on commencera par le cas = 21 ).

Exercice 7 Montrer le Lemme 8. On pourra par exemple


Pp1
1. Introduire E p = c + d n=0 kE n et montrer E p+1 E p dkE p .
2. Utiliser linegalite dk edk 1, puis une recurrence pour conclure.

5 Solution des exercices


5.1 Exercice 1
Rappelons que le choix des conditions aux limites numeriques se fait `a travers la
determination des valeurs aux interfaces un+1 n+1
1/2 et uL1/2 , on en d
eduit ensuite
n n
la valeur des flux Q01 et QL1L respectivement.
1. Les conditions de Dirichlet homog`enes correspondent au choix

un+1
1/2 = 0, un+1
L1/2 = 0.

2. Les conditions de Neumann homog`enes correspondent au choix Qn01 = 0


et QnL1L = 0, soit :

un+1 n+1
1/2 = u0 , un+1 n+1
L1/2 = uL1 .

3. Les conditions mixtes Dirichlet-Neumann homog`enes correspondent au


choix :
n+1
u1/2 = un+1
0 , un+1
L1/2 = 0.

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

u (en tenant compte des conditions de periodicite (21)), B = (kfin )i=0...,L1


do`
(vu comme vecteur colonne) et A est la matrice tridiagonale
 
k k k k
A = tridiag i1/2 , 1 + i+1/2 + i1/2 , i+1/2 .
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

On deduit de (28), pour n N ,


n1
X Z tp+1
max uni ku0 kL (0,1) + kf kL (0,1) (t)dt
0iL1 tp
p=0
Z tn
= ku0 kL (0,1) + kf kL (0,1) (t)dt
0
Z tN
ku0 kL (0,1) + kf kL (0,1) (t)dt.
0

De meme pour le min, ce qui donne


Z tN
kuh,k kL ([0,1][0,tN ]) ku0 kL (0,1) + kf kL (0,1) (t)dt.
0

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

pour tout t [0, T ]. En utilisant de nouveau (40) ci dessous avec a = ex , b = z,


= 2 , on obtient
Z 1
1
Z Z 1
1
zex dx |ex |2 dx + |z|2 dx.
0 2 0 2 0

Lhypoth`ese kzkL2 ((0,1)(0,T )) Ch donne alors


Z 1 Z tZ 1 Z tZ 1
1
|e|2 (x, t)dx + |ex |2 (x, s)dxds Ch2 + |e|2 dxds, (43)
2 0 2 0 0 0 0

pour tout t [0, T ]. On a en particulier


Z 1 Z tZ 1
|e|2 (x, t)dx Ch2 + |e|2 dxds, (44)
0 0 0

pour tout t [0, T ]. On en deduit par le Lemme de Gronvall que


Z 1
sup |e|2 (x, t)dx Ch2 ,
t[0,T ] 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

avec la convention E0 = c. On a alors

Ep+1 Ep = dkE p dkEp ,

soit Ep+1 (1 + dk)E p . Avec 1 + dk edk et une recurrence, on obtient

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