Académique Documents
Professionnel Documents
Culture Documents
N dordre: 07/30
M
ethode d
el
ements finis mixtes :
application aux
equations de la chaleur
et de Stokes instationnaires
`
THESE
presentee et soutenue publiquement le 15 Novembre 2007
pour lobtention du
Doctorat de lUniversit
e de Valenciennes
et du Hainaut-Cambr
esis
(sp
ecialit
e math
ematiques appliqu
ees)
par
Reda KORIKACHE
Composition du jury
Rapporteurs :
Christine Bernardi
Jean-Claude Nedelec
Universite Pierre-et-Marie-Curie
Ecole Polytechnique, Palaiseau
Examinateurs :
Van Casteren
Emmanuel Creuse
Serge Nicaise
Directeur de Th`ese :
Luc Paquet
Universite de Valenciennes
Laboratoire de Math
ematiques et leurs Applications de Valenciennes EA 4015
Remerciements
Je tiens remercier en premier lieu Luc PAQUET qui a encadr ce travail de thse. Par sa
comptence et sa maturit scientique, il a su me guider de faon pertinente dans mes recherches.
Sa disponibilit, son coute et ses qualits humaines m'ont permis d'avancer. Je lui suis inniment
reconnaissant d'avoir permis que cette priode me soit agrable et d'avoir ainsi renforc ma
motivation poursuivre dans la recherche.
Un grand merci aux professeurs Jan van CASTEREN, Serge NICAISE et Emmanuel CREUS,
d'avoir accept non seulement de faire partie des membres du jury mais aussi d'avoir examin
attentivement le manuscrit.
Je tiens remercier l'ensemble des doctorants ou anciens doctorants que j'ai pu ctoyer
durant cette thse.
iii
1.1
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2
1.2.1
Position du problme . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.2
1.2.3
Domaine polygonal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
10
1.3.1
. . . . . . . . . . . . . . . . . .
10
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
12
1.4.1
14
1.4.2
Estimations d'erreurs . . . . . . . . . . . . . . . . . . . . . . . . . .
17
29
1.5.1
Schma implicite . . . . . . . . . . . . . . . . . . . . . . . . . . . .
29
1.5.2
31
1.5.3
Estimations d'erreurs . . . . . . . . . . . . . . . . . . . . . . . . . .
37
1.5.4
Schma de Crank-Nicolson . . . . . . . . . . . . . . . . . . . . . . .
49
1.5.5
52
1.5.6
Estimations d'erreurs . . . . . . . . . . . . . . . . . . . . . . . . . .
56
67
1.3
1.4
1.5
1.6
Problme semi-discret
77
2.1
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
77
2.2
78
2.2.1
Position du problme . . . . . . . . . . . . . . . . . . . . . . . . . .
78
2.2.2
79
2.2.3
83
Domaine polygonal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
85
2.3.1
. . . . . . . . . . . . . . . . . .
86
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
87
Estimations d'erreurs . . . . . . . . . . . . . . . . . . . . . . . . . .
91
104
2.5.1
104
2.5.2
105
2.5.3
Estimations d'erreurs . . . . . . . . . . . . . . . . . . . . . . . . . .
113
2.3
2.4
Problme semi-discret
2.4.1
2.5
125
3.1
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
125
3.2
Preliminaries
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
127
3.3
135
3.4
146
3.5
149
3.6
156
3.7
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
166
3.8
172
Bibliographie
176
ii
Introduction gnrale
La rsolution des quations aux drives partielles occupe une place importante en ingnierie et en mathmatiques appliques. Chacune de ces disciplines apporte une contribution
dirente mais complmentaire la comprhension et la rsolution de tels problmes.
Il existe plusieurs techniques permettant de rsoudre numriquement les problmes
relatifs aux quations aux drives partielles. On pense par exemple aux mthodes de
dirences nies, de volumes nis, aux mthodes spectrales, etc. On peut sans aucun doute
armer qu'aujourd'hui la plus largement rpandue est la mthode des lments nis. Cette
popularit n'est pas sans fondement. La mthode des lments nis est trs gnrale et
possde une base mathmatique rigoureuse qui est fort utile, mme sur le plan trs pratique.
En eet, cette base mathmatique permet de prvoir jusqu' un certain point la prcision
de notre approximation et mme d'amliorer cette prcision par l'utilisation de maillages
adapts.
Parmi les problmes les plus frquents gurent ceux pos dans des domaines non rguliers. Des tudes thoriques montrent le comportement singulier de la solution d'un problme au limites pos sur un ouvert polygonal non convexe au voisinage des sommets non
convexes ; citons par exemple les travaux de Kondratiev, Maz'ya-Plamennvski, Grisvard,
Dauge, Stupelis, Kozlov-Maz'ya-Rossmann.... Ces singularits conduisent en gnral un
ordre non optimal de convergence des solutions approches si par exemple une mthode
d'lments nis P 1 ou P 2 est utilise lorsqu'il s'agit de l'oprateur de Laplace ou si l'on
utilise la mthode d'lments nis de Hood-Taylor lorsqu'il s'agit du systme de Stokes.
Pour remdier cet inconvnient diverses mthodes ont t proposes pour restaurer l'ordre
optimal de convergence : adjonction de fonctions singulires l'espace approchant (Strang
iii
Introduction gnrale
et Fix, 1973), la mthode du ranement de maillage (Babuska 1970, Raugel 1978, Doborowolski 1982) et la mthode des fonctions singulires duales (Blum-Doborowolski 1982).
Dans ce travail on se propose d'tablir des estimations d'erreurs a priori pour les solutions approches d'quations d'volution obtenues par la mthode d'lments nis mixte
duale en espace et ce pour trois types de problmes : le premier concerne le problme de
Cauchy pour l'quation de diusion de la chaleur, le second est le problme de Stokes instationnaire, et le dernier concerne le problme de Cauchy pour l'quation de diusion de la
chaleur mais avec un coecient de diusion alatoire. Pour ces trois types de problmes,
il y a un certain nombre de raisons de prfrer la mthode mixte duale en espace une
mthode classique en espace ; parmi elles la proprit fondamentale qu' est la conservation
locale, et par suite globale, de certaines quantits physiques (la quantit de mouvement,
la masse, la quantit de chaleur,...). Une autre raison bien connue pour adopter la mthode mixte duale en espace est qu'elle nous permet d'introduire des nouvelles variables :
(t) := ~u (t) le tenseur gradient du champ des vitesses l'instant t pour le problme
de Stokes instationnaire, ces inconnues supplmentaires ayant un sens physique et une
importance particulire pour plus d'une application. Il est donc important de disposer
d'une mthode numrique donnant aussi de bonnes approximations de ces quantits. Nous
montrons que ces diverses quantits appartiennent des espaces de Sobolev de fonctions
dpendant du temps, poids appropris en espace prenant en compte les singularits de
la solution apparaissant au voisinage des sommets non-convexes. Nous dcrivons ensuite
des conditions de ranement de maillage prs des sommets qui permettent d'obtenir une
estime d'erreur a priori optimale en espace entre une solution de l'quation d'volution et
son approximation semi-discrte ou compltement discrtise.
Le premier chapitre de notre travail est consacr l'tude de l'quation de diusion
de la chaleur dans un domaine polygonal de R2 . En plus de l'inconnue traditionnelle u (t),
reprsentant la distribution de temprature dans le domaine l'instant t, on introduit
maine polygonal considr, sous la forme d'un champ de Raviart-Thomas de degr 0 ayant
sa composante normale continue aux interfaces et une approximation de l'inconnue u (t)
par une constante sur chaque triangle. Pour une famille rgulire de triangulations (Th )h>0
satisfaisant des conditions de ranement appropries, conditions auxquelles on peut satisfaire en utilisant la technique de ranement de maillage de G. Raugel, nous dmontrons
des majorations d'erreurs optimales pour la solution du problme semi-discrtis de l'ordre
de h en espace (h reprsentant la nesse du maillage).
En seconde partie du premier chapitre, nous donnons des estimations a priori d'erreur et
les preuves de stabilit pour la discrtisation complte de la mthode mixte duale pour
l'quation de diusion de la chaleur obtenue en utilisant pour la discrtisation en temps
l'un des deux schmas : le schma d'Euler implicite ou le schma de Crank-Nicolson.
Dans le second chapitre, nous nous intressons au systme de Stokes instationnaire pour
un uide visqueux incompressible dans un domaine polygonal. Nous tudions la formulation
Introduction gnrale
couplages entre les coecients du dveloppement de la solution du problme semi-discrtis
(~ph (t) , uh (t)) en polynmes de chaos qu'avec ceux de multi-indice strictement plus petit.
Donc chaque tape du calcul d'un coecient du dveloppement en polynmes de chaos, la
taille du systme linaire rsoudre est la mme que dans le cas dterministe. En particulier
le calcul de la moyenne de (~
ph (t) , uh (t)) ne fait intervenir que les moyennes de p~h (t), de
vi
Chapitre 1
quation de la chaleur instationnaire
1.1 Introduction
Le premier chapitre de notre travail est consacr l'tablissement d'estimes d'erreur
priori pour les solutions approches de la mthode mixte duale en espace, applique
l'quation de diusion de la chaleur (instationnaire) dans un domaine polygonal de R2
avec un coin rentrant. Dans la mthode mixte duale, en plus de l'inconnue u reprsentant la distribution de temprature un instant, on introduit l'inconnue supplmentaire
[0, t] et H 3 pour u(t) comme c'est le cas dans le thorme 2.1 p. 54 de [10] ou le thorme
17.2 p. 276 de [7], ces proprits de rgularit n'tant pas vraies en gnral pour l'quation
de diusion de la chaleur dans un domaine polygonal. Notons aussi que les espaces d'ap1
Position du problme
u(x, t) = 0 sur
(1.1)
Du fait qu'on cherche une solution u H 1 (0, T, L2 ()) et puisque H 1 (0, T, L2 ()) ,
1 () a bien un sens.
C([0, T ]; L2 ()), alors la condition initiale u(., 0) = g(.) H
~ , on peut rcrire l'quation de la chaleur
D'autre part en introduisant la variable p
~ = u
sous la forme :
div p~(x, t) =
u(x, t)
f (x, t)
t
H(div, ) := ~q L2 ()2 ; div ~q L2 () .
1.2.2
Thorme 1.2.1
1 ()).
u H 1 0, T, L2 ( ) L2 (0, T, H
Preuve:
Pour la preuve complte, nous nous rfrons au livre de Grisvard [2]. Ici on
A est un oprateur auto adjoint avec un inverse compact et soit (m )m0 la suite croissante
de ses valeurs propres, chaque valeur propre tant rpte un nombre de fois gal sa
multiplicit. Soit Wm D(A) la fonction propre correspondante la valeur propre m ; on
a donc :
AWm = m Wm .
On suppose aussi que Wm est normalis c.--d. que kWm k0, = 1, (kk0, est la norme dans
L2 ()).
En termes des fonctions propres et des valeurs propres de l'oprateur A on peut crire
la solution t 7 u(t) de l'quation de la chaleur avec f L2 (0, T ; L2 ()) comme second
m=+
X
m t
{e
(g, Wm ) +
m=1
m t
ut (t) =
(m )(g, W m )W m +
Z t
{(f (t), W m ) e(ts)m m (f (s), W m )ds}W m .
0
m=1
m=1
Mais
m=+
X
(1.2)
m=+
2
X
em t (m )(g, Wm )Wm
m=1
m=+
X
(1.3)
m=1
0,
d'o :
2
m=+
X
m t
e
(
)(g,
W
)W
m
m
m
2
m=1
Z
=
0
T m=+
X
m=1
+ m=+
X
m=1
m=+
1 X
m |(g, Wm )|2 ' kgk2H1 () (1.4)
=
2 m=1
1 () ( [2], p.152).
en utilisant le fait que D( ) = H
D'autre part :
2
m=+
X
(f
(t),
W
)W
m
m
m=1
m=+
X
m=1
0,
Donc :
2
m=+
X
(f (.), Wm )Wm
2
m=1
kf (t)k20, dt .
(1.5)
Il reste majorer :
m=+Z
2
X t
(ts)m
e
m (f (s), Wm )ds Wm
0
m=1
m=+
X
m=1
0,
Z t
2
|m | e(ts)m (f (s), Wm )ds
2
m=+
X
Z
|m |
t
(ts)m
ds
m=1
t
Z
(ts)m
|f (s), Wm | ds
2
(1.6)
1
1
e(ts)m (f (s), Wm ) = e 2 (ts)m (f (s), Wm ) e 2 (ts)m
Mais
t
(ts)m
e
0
Z
ds =
t
m
em d =
1
m
Alors
2
Z t
m=+
X
e(ts)m m (f (s), Wm )ds Wm
0
m=1
0,
m=+
X
m=1
Z
m
0
e(ts)m |f (s), Wm |2 ds
2
+ Z t
X
(ts)m
e
(f
(s),
W
)ds
W
m
m
m
m=1 0
+
T X
+
X
m=1
+
X
Z TZ
T
2
|(f (s), Wm )|
m
0
s=T m=+
X
s=0
m=1
m=1
L2 (0,T,L2 ())
e(ts)m dt ds
m=1
s=T
s=0
kut (.)k2L2 (0,T ;L2 ()) c kgk2H1 () + 2 kf k2L2 (0,T ;L2 ())
donc
kut (.)kL2 (0,T ;L2 ()) . kgkH1 () + kf kL2 (0,T ;L2 ())
(1.7)
1.2.3
~
nouvelle variable p
~ = u,
i.e.
p~ =
u u
,
x1 x1
>
sous la forme :
6
sur
u(x, t) = 0
(1.8)
p~(x, t) = u(x,
t)
Z
p~(t).~q dx +
Z
u(t) div ~q dx =
~
(u(t).~
q + u(t) div ~q)dx.
Z
u(t)~q.~n ds,
0 t I,
u(t) div ~q dx = 0 ~q X, 0 t I.
p~(t).~q dx +
Z
v (ut (t) div p~(t))dx =
f (t) v dx,
v M, 0 t I
D'o :
Z
v div p~(t)dx =
v M, 0 t I
Le systme des deux quations (1.9) est appel formulation mixte du problme (1.8). Si
~ u)
u H 1 (0, T ; L2 ())L2 (0, T ; H())
est la solution du problme (1.1) alors ( p
~ := u,
L2 (0, T ; H(div, )) H 1 (0, T ; L2 ()) et est solution de la formulation mixte :
R
R
R
R
v div p~(t)dx = (f (t) ut (t)) v dx, v M, 0 t I,
u(0) = g H
1 ().
(1.9)
Thorme 1.2.2
(1.9)
Pour tout
1 ()
gH
et tout
f L2 (0, T ; L2 ())
la formulation mixte
Preuve: D'aprs ce qui prcde, nous savons que le problme (1.9) possde une solution.
Il reste montrer que cette solution est unique. Pour cela montrons que si (p
~(), u())
v div p~(t)dx =
(1.10)
ut (t) v dx, v M, 0 t I,
et u(0) = 0, alors p
~ = 0, et u = 0.
Notons que u H 1 (0, T ; L2 ()) implique ut (t) L2 () 0 t I et donc que
ut (t) v dx
a bien un sens v M, 0 t I .
Prenant ~
q = p~(t) dans (1.10)(i) , et v = u(t) dans (1.10)(ii) , pour un t x dans I tel que
|~
p
(t)|
dx
+
u(t) div p~(t)dx = 0
ut (t) u(t) dx
D'o :
|~p(t)| dx +
ut (t) u(t) dx = 0
(1.11)
1d
|~p(t)| dx +
2 dt
u(t)2 dx = 0
0 t I.
|~p(t)|2 dx 0 ,
0 t I
D'o
d
dt
u(t) dx = 2
u(t)2 dx = 0
t I
|~p(t)|2 dx = 0
0 t I = p~(t) = 0 0 t I.
Donc p
~ = 0, comme lment de L2 (0, T ; H(div; )).
Remarque 1.2.3
La fonction
:t
u(t)2 dx
le.
On a :
0
(t) =
2 ut (t) u(t) dx
Alors
| (t)| dt
0
=
=
Z
2
( |ut (t)| |u(t)| dx) dt.
0
Z T Z
( |ut (t)|2 + |u(t)|2 dx) dt
0
Z T Z
Z T Z
2
( |ut (t)| dx) dt +
( |u(t)|2 dx) dt
0
Z T
Z T
kut (t)k20, dt +
ku(t)k20, dt = kuk2H 1 (0,T ;L2 ()) < +.
0
Z
(t) =
0 (s) ds
(t) = 0 t I i.e.
u(t)2 dx = 0, t I .
R
R
v div p~(t)dx = (f (t) ut (t)) v dx, v M, 0 t I,
u(0) = g H
1 ()
possde une et une seule solution, sous la seule condition sur . tant l'ouvert born
lipschitzien de R2 .
Domaine polygonal
8.4.1.2 p.388. Nous allons prsent dmontrer un rsultat de rgularit de la solution de
notre problme par rapport aux variables spatiales.
Thorme 1.3.1
1
Soit
(1.1) .
>
kukL2 (0,T ;H 2, ()) c kf kL2 (0,T ;L2 ()) + kukH 1 (0,T ;L2 ()) .
Preuve: Introduisant encore une fois l'oprateur ferm A dans L2 () , dni par :
D(A) := {v H01 (); v L2 ()}, et Av = v, v D(A).
Nous savons [3], [8] que D(A) , H 2, () pour > 1
et que
kvkH 2, () c kvkL2 () .
(1.12)
u(x, t) = 0, sur ,
0 t [0, T ] ,
suit
ku(t)kH 2, () c kf (t)kL2 () + kut (t)kL2 () .
11
(1.13)
kukL2 (0,T ;H 2, ()) c kf kL2 (0,T ;L2 ()) + kut kL2 (0,T ;L2 ())
( > 1
f ix
e)
fortiori :
kukL2 (0,T ;H 2, ()) c kf kL2 (0,T ;L2 ()) + kukH 1 (0,T ;L2 ()) .
(1.14)
= KTh K.
On note par hK le diamtre de K i.e.
K = sup diam(B); B disque de R2 et B K .
Le paramtre not aussi h conformment la tradition
h =: max hK
KTh
Problme semi-discret
trigonomtrique := A(a1 , a2 ), B(b1 + a1 , b2 + a2 ), C(c1 + a1 , c2 + a2 ).
Les couples entre parenthse dsignent leurs coordones respectives.
Soit la transformation ane :
FK
K
K
(b
x1 , x
b2 ) 7
a1
a2
b1 c 1
b2 c 2
x
b1
x
b2
sur K , K
dsignant le triangle de rfrence :
C'est une bijection de K
= x = (
K
x1 , x2 ) R2 ; 0 x1 1, 0 x2 1 x1 .
On note :
BK =
b1 c 1
b2 c 2
On a d
et BK > 0.
~v (x) =
1
BK ~v(FK1 (x)),
det BK
x K .
dni par :
mation de Piola est le champ de vecteur sur K
~v(
x) = det BK B1
v (FK (
x)),
K ~
xK
Dans la suite, nous considrons sur , une famille de triangulations (Th )h>0 rgulire dans
le sens suivant : (Cf. [4] 17.1 p.131)
13
Dnition 1.4.1
constante
(Th )h > 0
telle que
h > 0, K Th , K :=
1.4.1
hK
0 .
K
R
R
p
~
(t).~
q
dx
+
u (t) div ~qh dx = 0 ,
~qh Xh , 0 t I ,
h
h
R
R
v
div
p
~
(t)
dx
=
(1.15)
Xh :=
Mh :=
vh L2 (); vh/K P0 , K Th
x1
x2
de Raviart-Thomas de degr 0 sur K . (RT0 (K) est not D1 (K) dans [5] p.550) et P0 l'espace
vectoriel des fonctions constantes sur K.
Proposition 1.4.2
Le problme
(1.15)
p~h H 1 (0, T ; Xh ).
14
Problme semi-discret
(J)
qh , . . . , ~qh
n'est pas en gneral dans H01 (). Soit ~
(1)
(K)
une base
de
une base de Xh , et vh , . . . , vh
(j)
de Mh . On crit p
~h (t) (resp. uh (t)) dans la base ~qh
j=1,...,J
de Xh (resp.
(k)
vh
k=1,...,K
Mh ) :
p~h (t) =
J
X
(j)
j (t)~qh
uh (t) =
j=1
K
X
(k)
k (t)vh .
k=1
R P
R PK
(j) (j 0 )
(k)
(j 0 )
J
(t)~
q
.~
q
dx
+
div ~qh dx = 0,
j
h
h
k=1 k (t)vh
j=1
(k0 )
vh
j = 1, 2, ..., J
R
P
P
(k)
(k0 )
(j)
dx,
( Jj=1 j (t) div ~qh ) dx = (f (t) K
k=1 k (t)vh ) vh
k = 1, 2, ..., K .
R (k)
P
PJ R (j) (j 0 )
(j 0 )
k=1
j=1
j
= 1, 2, ..., J,
R (k) (k0 )
R
P
PJ R (k0 )
(j)
(k0 )
k = 1, 2, ..., K.
Maintenant, posons
R (k) (k0 )
R (j) (j 0 )
R
(j 0 ) (k0 )
0 =
0 =
0 k0 =
a
v
v
dx
,
b
~
q
dx
,
c
)vh dx
~
q
(div
~
q
kk
jj
j
h
h
h
h
h
j, j = 1, 2, ..., J, ; k, k = 1, 2, ..., K.
P
PK
J
0 j j (t) +
b
j 0 = 1, 2, .., J,
j
j=1
k=1 cj 0 k k (t) = 0,
P
R
P
(k0 )
J
k = 1, 2, ..., K.
(1.16)
En prenant aussi :
(t) =
1 (t)
K (t)
K
R , (t) =
R
(1)
(f (t)vh dx
J
R , F (t) =
(K)
f (t)vh dx
J (t)
1 (t)
RK .
B (t) + C (t) = 0.
D'o
(t) = B 1 C (t).
Injectant (1.17) dans la premire quation, on obtient
| 1
(t) = B 1 C (t).
16
(1.17)
Problme semi-discret
Donc il sut de rsoudre le systme direntiel ordinaire inhomogne
| 1
2
K
(0) = 0 (i.c.)
(k)
(0 )k vh = gh Mh .
k=1
= A1 C | B 1 C(t) + A1 F (t).
(t)
Ceci implique :
A1 C | B 1 C t
(t) = e
Z
0 +
1 C | B 1 C
eA
(t )
A1 F ( ) d.
C([0, T ]; RK ) et L2 (0, T ; RK ).
Puisque (t) = B 1 C(t)
donc
1.4.2
Estimations d'erreurs
Notre objectif, dans cette section, est de dmontrer certaines estimations d'erreurs sur
la solution du porblme semi-discrtis. Dans ce qui suit, (~
p , u) dsigne la solution du problme continu (1.13) et (p~h , uh ) dsigne la solution du problme semi-discret (1.15). Pour
cela nous avons besoin d'introduire un problme intermdiaire appel projection elliptique,
et nous allons tout d'abord comparer la solution exacte (~
p (t) , u (t)) la solution de la
projection elliptique l'instant t. La dnition de la projection elliptique est similaire
celle donne par Vidar Thome dans son livre ([7], (17.26) p.276).
17
Dnition 1.4.3
(p~h (t), uh (t))
(~p(t), u(t))
0 t I ,
la solution
R
R
~h (t).~qh dx + uh (t) div ~qh dx = 0, ~qh Xh ,
(1.18)
4u(t) vh dx, vh Mh .
Notons que f (t) ut (t) = 4u(t) et puisque ut L2 (0, T ; L2 ()), donc pour presque tout
t dans I : f (t) ut (t) = 4u(t) L2 (). On peut alors pour presque tout t dans I ,
rsoudre le problme elliptique discrtis (1.18) :
Proposition 1.4.4
Xh Mh .
Preuve:
De
plus
Le problme
p~h L2 (0, T ; Xh )
et
uh L2 (0, T ; Mh ).
(j)
(p~h (t), uh (t)) dans les bases ~qh
p~h (t) =
J
X
j=1,...,J
de Xh et
(j)
j (t)~qh
(k)
vh
uh (t) =
j=1
k=1,...,K
K
X
de Mh :
(k)
k (t)vh
k=1
=0
(t) + C (t)
C>
(t) + F (t) = 0,
18
(1.19)
Problme semi-discret
o
R
(1)
(f (t) ut (t)) vh dx
F (t) =
R
(K)
(f (t) ut (t)) vh dx
RK .
F (t) L2 (0, T ; RK ).
(1.19) est quivalent
(t) = B 1 C (t),
0 t I,
C >
(t) + F (t) = 0.
0 t I.
Alors
= F (t).
(C > B 1 C) (t)
Regardons de plus prs la matrice C | B 1 C RKK .
Soit RK \ {0} :
( C > B 1 C , ) = (B 1 C, C )
1
kC k2 ,
max (B)
o max (B) dsigne le maximum des valeurs propres de B . Notons que C > B 1 C
RK et que B 1 C RJ .
L'ingalit prcdente implique que
(C > B 1 C, ) 0
RK \ {0}
Pour dmontrer que C > B 1 C est dnie positive, il sut en vertu de l'ingalit prcdente
de vrier que le vecteur (C ) RJ est non nul, RK \ {0} .
Pour cela supposons que C = 0.
Alors :
K
X
(j 0 )
(k)
(div ~qh )(
vh k ) dx = 0.
k=1
19
(2)
(J)
Or ~
qh , ~qh , . . . . . , ~qh
On a donc ~
qh Xh
K
X
(k)
(div ~qh )(
vh k ) dx = 0.
Mais
(k)
k=1 k vh
PK
k=1
(k)
k vh = 0
k=1
ce qui implique
1 = 2 = . . . . . . = K = 0 donc
= 0.
Proposition 1.4.5
1 ()),
ut H 1 (0, T ; L2 ()) L2 (0, T ; H 2, ()) L2 (0, T ; H
(1.20)
et
uh H 1 (0, T ; Mh )
et
20
p~h H 1 (0, T ; Xh ).
(1.21)
Problme semi-discret
Preuve:
Par hypothse
df
dt
1 ()) la
L2 (0, T ; L2 ()). Soit v H 1 (0, T ; L2 ()) L2 (0, T ; H
d
df
v(0) = g + f (0)
dans Q
dans
Puisque
1 () et df L2 (0, T ; L2 ()),
4g + f (0) H
dt
alors d'aprs le thorme 1.1.1, v existe et est unique. De plus d'aprs le rsultat de rgularit (1.14) appliqu au problme de Cauchy ci-dessus :
v L2 (0, T ; H 2, ()).
Posons
Z
u(t) =
v(s)ds + g.
0
du
dt
= v. Des proprits
d
d
(t) = (C > B 1 C)1 F (t)
dt
dt
R
(1)
( d f (t) dtd ut (t)) vh dx
dt
> 1
1
= (C B C)
R
(K)
( d f (t) dtd ut (t)) vh dx
dt
21
d
(t) L2 (0, T ; RK ).
dt
Il s'en suit que,
(t) L2 (0, T ; RJ ),
dt
puisque
(t) = B 1 C (t)
et par consquent
Proposition 1.4.6
pour un
Soit
1 w , 1
(i) hK h
1
1
{Th }
satisfaisant
x :
K Th
c>0
K Th
indpendante de
p~(t) p~h (t)
0,
(1.22)
c h |u(t)|H 2, () ,
et
ku(t) uh (t)k0, c h |u(t)|H 1 () + |u(t)|H 2, () ,
Proposition 1.4.7
Soit
1 w , 1
x et soit
{Th }
positive
indpendante de
telle que
(1.23)
1.4.6.
0 t I :
1
k~p(t) p~h (t)k ,
(1.24)
Problme semi-discret
o
Ph
sur
Mh .
R
R
p
~
(t).~
q
dx
+
u(t) div ~q dx = 0,
v div p~(t)dx =
~q X,
(1.9)
le problme semi-discret :
R
R
p
~
(t).~
q
dx
+
u (t) div ~qh dx = 0 ,
h
h
~qh Xh ,
(1.15)
En prenant ~
q = ~qh dans (1.9)(i) on obtient
Z
p~(t).~qh dx +
(1.25)
Puisque div ~
qh est constant sur chaque K Th , ~qh Xh , nous avons :
Z
u(t) div ~qh dx =
X Z
KTh
X
KTh
Z
div ~qh|K
Ph (u(t)) dx
K
Z
=
Z
p~(t).~qh dx +
(1.26)
Z
(~p(t) p~h (t)) .~qh dx +
23
~qh Xh , 0 t I.
(1.27)
1
k~p(t) p~h (t)k
0 t I,
avec dsignant la constante apparaissant dans l'ingalit inf sup uniforme. D'o (1.24),
ce qui complte la preuve.
Proposition 1.4.8
constante
c>0
Soit
{Th }
indpendante de
il existe une
tI:
(1.28)
Proposition 1.4.9
proprits
(i)
et
(ii)
Soit
{Th }
de la proposition
ku(t) uh (t)k0,
1.4.6.
Pour
1 w , 1 , c > 0
jouissant des
indpendante de
tI:
1
~
c h |u(t)|H 1 () + ch|u(t)|H 2, () +
ph (t) p~h (t)
.
(1.29)
ch|u(t)|H 1 () +
0 t I,
1
k~
p
(t)
p
~
(t)k
h
0,
1
ch|u(t)|H 1 () +
~
p
~
(t)
(t)
h
0,
+
p~h (t) p~h (t)
0,
ku(t) uh (t)k0,
1
c h|u(t)|H 1 () +
24
ch|u(t)|H 2, () +
p~h (t) p~h (t)
0,
.
Problme semi-discret
Mais comme u H 1 (0, T, L2 ()) , C([0, T ] ; L2 ()), il s'en suit que u uh est continue.
Donc l'ingalit prcdente est vraie pour tout t dans I. Ce qui achve la dmonstration.
k~p(t) p~h (t)k0, et ku(t) uh (t)k0, , par O(h). Nous avons les estimations priori d'erreurs suivantes :
Thorme 1.4.10
H 1 (0, T ; L2 ())
1 ().
g + f (0) H
et
{Th }
c>0
indpendante de
Prenons
uh (0) = uh (0)
1.4.6
pour
1 w , 1 .
tI:
du
k~p(t) p~h (t)k c h( |u(t)|H 2, () +
dt
2 ) 2,
L (0,T ;H ())
et
du
ku(t) uh (t)k c h( |u(t)|H 1 () + |u(t)|H 2, () +
).
dt
2
L (0,T ;H 2, ())
(1.30)
(1.31)
Preuve: Tout d'abord on a besoin de rcrire les deux problmes (1.15) et (1.18)
le problme semi-discret :
R
R
~qh Xh ,
(1.15)
et la projection elliptique :
R
R
~h (t).~qh dx + uh (t) div ~qh dx = 0,
~qh Xh ,
(1.18)
Z
Z
p~h (t) p~h (t) .~qh dx + (uh (t) uh (t)) div ~qh dx = 0 ,
25
0 t I , ~qh Xh .
Z
~h (t).~qh dx +
t I , ~qh Xh .
(1.32)
Dans l'quation prcdente, nous avons crit t I . En eet d'aprs la proposition 1.4.2
et la proposition 1.4.5, on a ~
h H 1 (0, T ; Xh ), h H 1 (0, T ; Mh ) qui sont donc continues
de [0, T ] dans Xh respectivement Mh .
Drivant les deux membres par rapport t nous obtenons :
d
~h (t).~qh dx +
dt
d
h (t) div ~qh dx = 0,
dt
0 t I , ~qh Xh .
En prenant ~
qh = 2 ~h (t) on a :
Z
2
donc
d
dt
d
~h (t).~h (t) dx +
dt
Z
Z
2
|~h (t)| dx +
d
h (t) div ~h (t) dx = 0
dt
d
h (t) div ~h (t) dx = 0
dt
0 t I ,
0 t I.
(1.33)
Z
vh div ~h (t)dx =
d
(uh u)(t) vh dx,
dt
vh Mh , 0 t I
(1.34)
Pour faire apparatre, partir de (1.34), le deuxime terme de l'quation (1.33), choisissons
vh = 2
dh (t)
, d'o :
dt
dh
2
(t) div(~h (t))dx = 2
dt
d
dh
(uh u)(t)
(t) dx
dt
dt
0 t I
Z
Z
d
dh
d
dh
= 2
(uh uh )(t)
(t) dx + 2
(
uh u)(t)
(t) dx
dt
dt
dt
dt
Z
= 2
2
Z
dh
d
dh
(t)
dx + 2
(
uh u)(t)
(t)dx.
dt
dt
dt
26
(1.35)
Problme semi-discret
Z
|~h (t)| dx + 2
2
Z
d
dh
dh
(t)
dx = 2
(
uh u)(t)
(t) dx
dt
dt
dt
"Z
2
Z
0 t I
2 #1/2 "Z
2 #1/2
d
dh
(
uh u)(t)
(t) dx
dt
dt
2 Z
2
d
dh
(
uh u)(t) +
(t) dx.
dt
dt
d
dt
Z
|~h (t)| dx
2
d
(
uh u)(t) dx
dt
0 t I.
Z tZ
|~h (t)| dx
|~h (0)| dx +
2
d
(
uh u)(t) dx dt.
dt
(1.36)
~qh Xh .
Prenant ~
qh = ~h (0) il s'en suit :
|~h (0)|2 dx = 0
donc ~
h (0) = 0 .
Alors (1.36) devient :
Z
|~h (t)| dx
Z
27
2 !
d
(u uh )(t) dx dt
dt
du
(t)
dt
2 !
du
(t)
dx
dt
h
d
dt
2
Z t
du
du
(t)
dt
|~h (t)| dx
(t)
dt
dt
0
h 0,
du
(t)
dt
h 0,
(t)
Donc il sut de majorer
du
dt
1 (),
f H 1 (0, T ; L2 ()) et g + f (0) H
Il suit de la proposition 1.4.5 que
du
du
(t)
(t)
dt
dt
h
ch
0,
!
du(t)
du(t)
.
dt 1 + dt 2,
H ()
H ()
k~h (t)k0,
du
c h
, 0 t [0, T ].
dt
2
L (0,T ;H 2, ())
~
~
p~(t) ph (t)
+
ph (t) p~h (t)
!
du
.
ch |u(t)|H 2, () +
dt
2
L (0,T ;H 2, ())
ku(t) uh (t)k0, c h
!
du
|u(t)|H 1 () + |u(t)|H 2, () +
.
dt
2
L (0,T ;H 2, ())
28
0 = t0 tn < tN = T,
Avec t = tn tn1 dnote le pas de temps xe. nous dsignons par unh l'approximation
de la temprature u au temps tn = nt dans Mh . Pour l'approximation de
u
t
au temps
(unh un1
h )
t
o un1
est l'approximation de la temprature u au temps tn1 .
h
1.5.1
Schma implicite
Nous commenons notre tude par le schma implicite. Ainsi le problme compltement
discrtis de l'quation de la chaleur instationnaire s'crit comme suit : trouver (~
phn , unh )nN
tel que :
R
R
R
R
vh div p~hn dx = (f (tn ) unh ) vh dx, vh Mh , n 1
u0 (c.i.), donne.
h
(1.37)
Proposition 1.5.1
Le problme
(1.37)
Xh Mh .
29
Preuve:
Posons
1
F (vh ) :=
t
(t f (tn ) + un1
h ) vh dx.
(1.38)
R
R
R
R n
1
vh div p~hn dx t
u v dx = F (vh ) vh Mh , n 1
h h
u0 (c.i.), (donne).
h
(1.39)
Si l'on considre l'application h de Xh Mh dans son dual : qui associe chaque lment
0
1
vh div p~h dx
t
vh 7
Z
uh vh dx).
Pour montrer que l'application linaire h est bijective il sut de montrer l'injectivit.
Soit alors (~
ph , uh ) Xh Mh tel que :
Z
uh div ~qh dx = 0, ~qh Xh ,
p~h .~qh dx +
(1.40)
1
vh div p~h dx
t
Z
uh vh dx = 0, vh Mh .
(1.41)
Prenons ~
qh = p~h dans (1.40) , et vh = uh dans (1.41) , il s'en suit que :
1
|~ph | dx +
t
Z
|uh | dx = 0,
et donc p
~h = 0 et uh = 0.
Donc h est bijective, ce qui nous permet de rsoudre squentiellement (1.39) pour n =
1, 2, 3, ... .
30
Remarque 1.5.2
(1.39)(i)
Pour
n = 0, u0h
tant donne
p~h0
p~h0 .~qh
dx +
L2 . Xh
Xh ,
p~h0 .~qh dx =
1.5.2
p~h0 Xh
tel que :
Avant de procder l'tude de l'estimation de l'erreur, nous allons tout d'abord dmontrer la stabilit du schma compltement discrtis de la formulation mixte duale pour
l'quation de la chaleur. Nous avons le rsultat suivant :
Thorme 1.5.3
sup kum
h k0,
0mN
pour
(1.37), on a
v
u N
u
X
2 exp(T )
u0h
0, + t
t kf (tn )k20,
(1.42)
n=1
t 12 .
unh
div p~hn
dx =
Z
=
unh
unh
1
=
t
puisque unh =
dx
unh
uhn1
unh
Z
dx
(1.43)
n1
un
h uh
.
t
unh
div p~hn
Z
dx =
31
|~phn |2 dx.
(1.44)
1
t
1
dx
t
|unh |2
uhn1 unh
Z
dx +
|~phn |2
dx =
Donc :
1
t
|unh |2
Z
dx +
|~phn |2
Z
dx =
f (tn ) unh
f (tn ) unh
1
dx +
t
unh dx,
un1
h
1
dx +
2t
|unh | 2
1
dx +
2t
n1 2
u dx.
h
Et alors :
1
2t
|unh |2
|~phn |2
dx +
dx
fortiori :
1
2t
|unh |2
f (tn ) unh
Z
dx
f (tn ) unh
1
dx +
2t
1
dx +
2t
n1 2
u dx.
h
n1 2
u dx,
h
d'o
2
2t kf (tn )k kunh k .
kunh k20,
un1
h
0,
0,
0,
Sommant ces ingalits depuis n = 1 jusqu' m, on obtient
m
X
m
X
n1
2
uh
kf (tn )k0, kunh k0, .
2t
0,
kunh k20,
n=1
n=1
Donc
2
kum
h k0,
m
X
0
2
kf (tn )k0, kunh k0, .
uh 0, + 2t
n=1
m
m
X
X
0
2
2
uh 0, + t
kf (tn )k0, + t
kunh k20, .
n=1
n=1
2
(1
2
t) kum
h k0,
m
m1
X
X
0
2
2
uh 0, + t
kf (tn )k0, + t
kunh k20,
n=1
32
n=1
(1.45)
1
2
m
X
2
2
u0h
0, + t
kf (tn )k20,
!
+
m1
X
2t kunh k20, .
(1.46)
n=1
n=1
2
kum
h k0,
!
exp
m1
X
!
2t
n=1
n=1
N
X
0
2
2 exp (2T )
kf (tn )k20,
uh 0, + t
!
.
n=1
D'o
sup kum
h k0,
0mN
Remarque 1.5.4
par
u N
u
X
t kf (tn )k20, .
2 exp (T )
u0h
0, + t
n=1
En passant de l'ingalit
kum
h k0,
La majoration
(1.47)
(1.47)
PN
n=1
kf (tn )k20,
0
2 exp (T )
uh
0, + T max kf (tn )k0, ,
n=1,...,N
(1.48)
(20)
p.354 de [21] :
kgkL2 () + kf kL2 (0,T ;L2 ()) pour le problme de Cauchy de diusion de la chaleur.
qP
N
2
n=1 t kf (tn )k0, est l'analogue pour le problme discrtis en temps de kf kL2 (0,T ;L2 ()) ,
PN
2
2
et si [0, T ] R : t 7 kf k Riemann-intgrable alors
n=1 t kf (tn )k0, tend vers
RT
kf (t)k2 dt = kf k2L2 (0,T ;L2 ()) lorsque N +.
0
Maintenant on passe la majoration des p
~hn , n 1 pour achever notre tude sur la
stabilit du schma implicite (1.37) .
Thorme 1.5.5
u N
u
X
C
u0h
0, + t
t kf (tn )k20,
v
u N
uX
t
t k~p n k2
h
0,
n=1
n=1
33
telle que :
(1.49)
Nous obtenons
|~phn |2
dx +
(1.50)
|~phn |2
dx + t
|~phn |2
dx +
n=1
N Z
X
n=1
(unh
uhn1 )unh
dx
N Z
X
tf (tn ) unh dx = 0.
(1.51)
n=1
Mais
(unh
n
un1
h )uh
Z
dx =
(unh ) 2
Z
dx
kunh k20,
uhn1 unh dx
1
un1
2 1 kunh k2
h
0,
0,
2
2
2
1
1 n 2
kuh k0,
uhn1
0, .
2
2
D'o :
N Z
X
n=1
(unh
n
un1
h )uh
dx
N
X
1
n=1
kunh k20,
2
1
un1
0,
2 h
=
2
1
1
0
2
uN
u
.
2 h 0, 2 h 0,
Z
t
|~phn |2 dx +
N
X
2
1
1
0
2
uN
N
X
(1.52)
! 12
t kf (tn )k20,
0
uh
0,
n=1
N
X
n=1
34
#
t kf (tn )k20, .
(1.53)
N
X
n=1
n=1
N
X
! 12
t kf (tn )k20,
! 12
t kunh k20,
n=1
n=1
N
X
N
X
! 12
kf (tn )k20,
N
X
Cste
n=1
2
t
u0h
0,
(1.54)
n=1
N
X
n=1
N
X
! 21
t
kf (tn )k20,
n=1
Cste
N
X
! 21
t kf (tn )k20,
0
uh
+
0,
N
X
t kf (tn )k20, .
n=1
n=1
D'o (1.53).
Reste majorer le premier terme du membre de droite de l'ingalit (1.53). En utilisant
l'ingalit ab a2 + b2 nous obtenons :
N
X
! 12
t
kf (tn )k20,
N
X
0
uh
u0h
2 +
t kf (tn )k20, .
0,
0,
n=1
(1.55)
n=1
t k~phn k20,
n=1
N
X
0
2
1
N
2
+
uh 0, Cste
uh 0, +
t kf (tn )k20,
2
n=1
!
.
(1.56)
Proposition 1.5.6
N
p~h
0,
35
(1.57)
~phn .~qh
Z
dx +
(1.58)
Prenons ~
qh = p~hn dans (1.58), et vh = unh dans l'quation (1.37)(ii) , on obtient le systme
suivant :
R
R
n
n
n
n
(1.59)
2
R
unh div p~hn dx + f (tn ) unh dx unh dx = 0.
~phn . p~hn dx
Z
+
n 2
uh =
Ceci implique :
k p~hn k20,
2
2
p~hn1
0, + 2t
unh
2t
(1.60)
Z
N
N
X
X
N
2
n
2
p~h
p~h0
2 +
2t f (tn ) unh dx
2t uh
0,
0,
n=1
n=1
2t
N
X
kf (tn )k0,
unh
0,
n=1
N
N
X
n
2
t X
uh
kf (tn )k20, + 2t
0,
2 n=1
n=1
N
X
n
2
T
2
uh
.
D'o :
r
N
p~h
0,
p~h0
0, +
36
T
max kf (tn )k0, .
2 n=1,...,N
Estimations d'erreurs
Maintenant nous entamons notre tude sur l'estimation priori de l'erreur. Nous sup-
(1.61)
Par soustraction des quations correspondantes de (1.37), on obtient pour les carts hn :=
unh uh (tn ) et ~hn := p~hn p~h (tn ), le systme d'quations aux erreurs :
R
R n
n
.~
q
dx
+
div ~qh dx = 0, ~qh Xh ,
h
Thorme 1.5.7
kunh
vh div ~hn dx +
tn
Z
tn
kutt (s)k ds .
kut (s)kH 2, () ds + t
uh (tn )k0, c h
(1.62)
(1.63)
|~hn |2
hn div ~hn = 0,
(1.64)
hn
div ~nh
Z
dx +
ce qui implique
|~hn |2
Z
( uh (tn ) ut (tn ))
hn
Z
dx =
37
hn hn dx.
(1.65)
(hn )2
hn1 hn
dx
Z
dx = t
Z
t
|~nh |2
hn ( uh (tn ) ut (tn )) dx
Z
n
t h ( uh (tn ) ut (tn )) dx
t khn k0,
uh (tn ) ut (tn )
0, .
D'o
khn k20,
hn1 hn dx + t khn k0,
uh (tn ) ut (tn )
0,
n1
h
0, khn k0, + t khn k
uh (tn ) ut (tn )
0, .
khn k0,
hn1
0, + t
uh (tn ) ut (tn )
0, .
(1.66)
n = u(tn ) h ut (tn )
o u(tn )
En eet :
Considrons le problme elliptique l'instant (tj ) quelconque :
R
R
~h (tj ).~qh dx + uh (tj ) div ~qh dx = 0, ~qh Xh ,
~ph (tj ), uh (tj ) , on aura les quations :
R
R
~p (t ) dx = R f (t ) u (t ) v dx, v M .
v
div
h
h
j
j
t j
h
h
h
38
(1.67)
t
t
(u(tj )) (u(tj1 ))
=
t
j ).
= u(tj ) = u(t
f (tj ) ut (tj ) =
Donc
R
R
(1.68)
R
~p (t ) dx = R u(t
j ) vh dx vh Mh .
v
div
h j
h
D'o
u(tj ) h = uh (tj ).
(1.69)
n := 1n + 2n o
n
u(t
)
u(tn ),
n
1
h
(1.70)
2n = u(tn ) ut (tn ) .
Pour 1n on a :
k1n k0, =
u(tn ) h u(tn )
0,
=
(Rh I) u(tn )
0,
u(t
)
u(t
)
n
n1
=
(R
I)
h
t
0,
Z tn
1
=
(Rh I)
ut (s) ds
t
tn1
0,
1
tn
k(Rh I) ut (s)k0,
tn1
1
ds
t
tn
k ut (s)kH 2, () ds ,
ch
tn1
o, par analogie avec le livre de Vidar Thome [7], Rh de dnote ici la composante dans
Z
n
n
X
X
j
t
1 0, ch
j=1
tj
k ut (s)kH 2, () ds
tj1
j=1
tn
k ut (s)kH 2, () ds .
ch
t0 =0
k2n k0, =
u(tn ) ut (tn )
0,
1
ku(tn ) u(tn1 ) t ut (tn )k0,
t
Z tn
1
=
(t
s)
u
(s)
ds
n1
tt
t
tn1
0,
Z
tn
D'o
Z
n
X
j
2 0, t
t
tn
kutt (s)k0, ds .
(1.71)
t0 =0
j=1
khn k0,
h0
0, + ch
tn
tn
k ut (s)kH 2, () ds + t
t0 =0
(1.72)
t0 =0
Mais puisque :
h0 = u0h uh (0) = 0,
grce l'estimation (40) p.623 de [8].
Alors
khn k0,
Z
tn
ch
tn
k ut (s)kH 2, () ds + t
t0 =0
kutt (s)k0, ds .
t0 =0
Thorme 1.5.8
proprits
c>0
(i)
et
Soit
(ii)
ku(tn )
de la proposition
indpendante de
unh k0,
{Th }
h
1.4.6.
Pour
1 w , 1 ,
jouissant des
n1:
tn
kut (s)kH 2, () ds
ch
(1.73)
Proposition 1.5.9
n k2 2 ~ n , ~
n .
k~
h 0,
h
h
(1.74)
Preuve:
On sait que
n k2
k~
h 0,
n
~hn , ~
h
k~hn k20, k~hn1 k20,
hn ~hn1
n ~
=
2 ~h ,
t
t
k~hn k20, k~hn1 k20,
~ n , ~ n1
=
+2 h h
t
t
t
=
1
2 ~hn , ~hn1 k~hn k20, k~hn1 k20,
t
1
k~hn k20, + k~hn1 k20, 2 ~hn , ~hn1 .
t
41
(1.75)
2 ~hn , ~hn1 2k~hn k0, k~hn1 k0, k~hn k20, + k~hn1 k20, .
Ce qui implique :
k~hn k20, + k~hn1 k20, 2 ~hn , ~hn1 0 .
(1.76)
n .
n k2 2 ~ n , ~
k~
h
h
h 0,
Proposition 1.5.10
n k2 k n k2 .
k~
0,
h 0,
Preuve:
Par la premire quation du systme aux erreurs (1.62), il suit :
n .~qh dx +
~
h
Prenons ~
qh = ~hn , d'o :
n .~n dx =
~
h h
n dx
(div ~hn )
h
n )
n dx
( n
h
h
Z
=
n k2
n dx k
n
h
h 0,
n k0, k
n k2
k n k0, k
h
h 0,
1 n 2
1 n 2
n 2
k k0, + k
h k0, kh k0,
2
2
1 n 2
1 n 2
k k0, k
h k0, .
2
2
42
(1.77)
n k2 .
n k2 k n k2 k
k~
h 0,
0,
h 0,
fortiori
n k2 k n k2 .
k~
0,
h 0,
n k2 k n k2 que nous
Pour pouvoir dmarrer les itrations utilisant l'ingalit k~
h
venons de dmontrer, il nous faut majorer k~
h1 k c'est le but de la proposition suivante.
Proposition 1.5.11
c>0
1
~h
c h kut k 2
L (0,t;H 2, ()) + t kutt kL2 (0,t;L2 ()) .
0,
Preuve:
Puisque u0h = u
h (0) h0 = 0. Grce ce choix de u0h , on a
h1
h1 h0
1
=
.
h =
t
t
Appliquant le systme d'quations aux erreurs avec n = 1 nous donne :
R
R 1
1
.~
q
+
div ~qh = 0,
h
h
h
v div ~h1
h
~qh Xh ,
( 1 + h1 ) vh = 0,
43
vh Mh .
(1.78)
1
2
~h
=
0,
~h1 ~h1
Z
=
h1 div ~h1
Z
=
( 1 + h1 ) h1
Z
=
h1
h1
1 2
h
Z
1
1
h
1
0,
h1
0, .
Donc
1
2
~h
1
h1
0,
0,
0,
(1.79)
1
h
0,
u1h uh (t1 )
0,
h0
0, + t
uh (t1 ) ut (t1 )
0, ,
avec h0 = 0 et u
h (t1 ) ut (t1 ) = 1 .
Donc
1
h
0,
t
1
0, .
(1.80)
1
2
~h
t
1
2 .
0,
0,
Donc
1
1
1 ) ut (t1 )
~h
= t
t
u(t
0,
0,
h
0,
t u(t1 ) h u(t1 )
0,
44
1 ) ut (t1 )
.
t
u(t
0,
(1.81)
u(t1 ) h u(t1 )
0,
1 )
=
(Rh I) u(t
0,
u(t
)
u
1
0
=
(Rh I)
t
0,
Z t1 =t
1
=
u
(s)
ds
(R
I)
t
h
t
0
0,
1
t
1
t
k(Rh I) ut (s)k0, ds
0
t
ch
ch kut (s)kH 2, () ds =
t
kut (s)kH 2, () ds
0
ch
t
t
D'o
Z
kut (s)k2H 2, ()
t u(t1 ) h u(t1 )
21
ch
ds
= kut ()kL2 (0,t;H 2, ()) .
t
0,
D'autre part
u(t1 ) u(t0 )
1 ) ut (t1 )
u(t
u
(t
)
=
t
1
0,
t
0,
1
ku(t1 ) u(t0 ) t ut (t1 )k0, .
t
t0 =0
Z
= u(t1 ) tut (t1 ) +
utt (s) s ds
0
Z
u(t1 ) u(t0 ) tut (t1 ) =
t1
45
t1
(1.82)
1 ) ut (t1 )
u(t
0,
t1
kutt (s)k0, s ds
0
Z
Donc
1
t
t1
12 Z
ds
t1
12
s2 ds
t3
3
12
kutt ()kL2 (0,t;L2 ())
1 ) ut (t1 )
t kutt (s)k 2
t
u(t
L (0,t;L2 ()) .
0,
(1.83)
1
~h
c h kut k 2
L (0,t;H 2, ()) + t kutt kL2 (0,t;L2 ()).
0,
Thorme 1.5.12
k~hn k0,
c>0
Preuve:
Appliquons rcursivement l'ingalit k~
hn k20, k n k20, . On a donc :
2
2
2
k~h2 k k~h1 k t k 2 k
2
2
2
k~ 3 k k~2h k t k 3 k
..
.
..
.
2
k~hn k2
~hn1
t k n k2 .
46
(1.84)
2
2
k~hn k20,
~h1
0, t
2
0, + + k n k20, .
Donc
k~hn k20,
j=n
X
j
2
1
2
.
~h 0, + t
0,
(1.85)
j=2
j
j=2
j=2
Comme
1j
j ) = 1 (Rh I)
= (Rh I) u(t
t
1
=
t
tj
ut (s) ds
tj1
tj
et donc
1
t
j
1
0,
tj
k ut (s) kH 2, () ds.
tj1
Ceci entrane
!2
Z tj
j=n
j=n
2 X
X
j
2
h
1
k ut (s) kH 2, () ds
t
t 2
0,
t
t
j1
j=2
j=2
j=n
h2 X
t
t j=2
2
tn
= h
tj
k ut (s) k2H 2, () ds
tj1
k ut (s) k2H 2, () ds .
t1
47
Pour les 2 on a
j=n
j=n
X
X
j
2
j ) ut (tj )
2
u(t
2 0, = t
t
0,
j=2
j=2
j=n
1 X
ku(tj ) u(tj1 ) tut (tj )k20, .
t j=2
tj1
D'o
Z
2
tj1
=
utt (s)(tj1 s) ds
tj
0,
!2
tj
tj1
tj
!
kutt (s)k20,
ds
tj1
Alors
t3
.
3
Z
j=n
X
j
2 t2 tn
t
2
kutt (s)k20, ds.
3 t1
j=2
D'o :
j=n
j=n
j=n
X
X
X
j
2
j
2
j
2
2
1 0, + 2t
t
0, 2t
0,
j=2
j=2
j=2
tn
2h
k ut (s) k2H 2, ()
Z
tn
ds + t
t1
kutt (s)k20,
ds .
t1
k~hn k20,
j=n
X
1
2
j
2
~h 0, + t
0,
j=2
ch
tn
k ut (s) k2H 2, ()
t0 =0
tn
ds + 2t
t0 =0
48
k~hn k0, c h kut kL2 (0,tn ;H 2, ()) + t kutt kL2 (0,tn ;L2 ()) .
p~(t) p~h (t)
0,
c h |u(t)|H 2, () , 0 t I.
En vertu de l'ingalit 1.84 il sut donc d'appliquer l'ingalit triangulaire pour majorer
Thorme 1.5.13
{Th }
, jouissant des
proprits (i) et (ii) de la proposition (1.4.6). Pour 1 w , 1 , il existe une constante c >
indpendante de
Soit
et de
t
n1:
|u(tn )|H 2, () + kut kL2 (0,tn ;H 2, ()) + t kutt kL2 (0,tn ;L2 ()) .
(1.86)
1.5.4
Schma de Crank-Nicolson
Avant de donner la formulation mixte compltement discrtise par le schma de CrankNicolson, nous allons tout d'abord dnir de nouvelles variables. On pose :
tn 1 =
2
tn + tn1
p~ n + p~hn1
un + un1
n 1
n 1
h
, p~h 2 = h
, et uh 2 = h
.
2
2
2
49
(1.87)
R
R n 21
n 21
p
~
.~
q
dx
+
div ~qh dx = 0, ~qh Xh , n 1
u
h
h
R
R
n 12
dx
=
v
div
p
~
(f (tn 1 ) unh ) vh dx, vh Mh , n 1
h
h
uh (c.i.), donne.
n 12
inconnues les p
~h
n 12
, uh
(1.88)
, unh pour n 1. Une autre alternative est de considrer que les inconnues
sont les p
~hn pour n 0 et unh pour n 1. u0h tant la condition initiale est connu et p~h0 est
dni exceptionnellement par l'quation
p~h0 .~qh
Z
dx +
(1.89)
Proposition 1.5.14
Le problme
(1.88)
Xh Mh .
Preuve:
Xh Mh vrie
R
R n 12
n 21
p
~
.~
q
dx
+
u
div ~qh dx = 0, ~qh Xh , n 1
h
h
R
R
n 21
v
div
p
~
unh vh dx, vh Mh , n 1
dx
=
h
h
u0 = 0,
h
(1.90)
alors (~
phn , unh ) = 0.
n 21
En prenant ~
qh = p~h
n 12
dans la deuxime
Z
Z
n 1
n 21 2
p~h dx + unh uh 2 dx = 0.
50
(1.91)
unh uh
1
1
unh uhn1 unh + uhn1 =
(unh )2 ,
2t
2t
(1.92)
condition d'avoir dj dmontr que uhn1 = 0. Prenons alors n = 1 dans (1.92) et puisque
u0h = 0 (condition initiale), par consquent u1h = 0, et ainsi pour n = 2, 3, .... D'autre part,
1
R
R
R
R
p~ 1 .~q dx + u1h div ~qh dx = p~h0 .~qh dx + u0h div ~qh dx, ~qh Xh ,
h h
R
R 1
R
R 0
R
2
2
vh div p~h1 dx t
uh vh dx = vh div p~h0 dx t
uh vh dx 2 f t1/2 vh dx,
v M .
h
(1.93)
Considrons donc l'application h de Xh Mh dans son dual Xh0 Mh0 , dnie par :
p~h1 , u1h
Z
Z
1
7
~qh
7
p~h .~qh dx + u1h div ~qh dx,
Z
Z
2
1
1
u vh dx .
vh 7
vh div p~h dx
t h
Donc tout revient dmontrer que c'est un isomorphisme. Puisque h est linaire de
Xh Mh dans son dual, et que les deux espaces Xh Mh et Xh0 Mh0 ont la mme
dimension, il sut de montrer que h est injective pour dmontrer sa bijectivit. Soit
p~h1 .~qh
Z
Z
2
1
u1h vh dx = 0, vh Mh .
vh div p~h dx
t
dx +
(1.94)
(1.95)
1 2
p~h dx + 2
t
51
1 2
uh dx = 0.
(1.96)
n = 2 et ainsi de suite.
1.5.5
Thorme 1.5.15
Supposons
t 12 ,
c > 0
indpendante de h
telle que :
v
u N
uX
t
t
f (t
+
N
uh
.
u0h
+ t
p~h0
0,
0,
0,
2
n 12 )
0,
n=1
.~
q
dx
+
u div ~qh dx = 0, ~qh Xh , n 1
p
~
h
h
h
n 12
v
div
p
~
dx
h
h
(1.97)
unh
div
p~hn + p~hn1
2
dx =
1
=
t
unh
uhn1
unh
Z
dx
unh
div p~hn
|~phn |2 dx,
dx =
(1.99)
et :
unh
div p~hn1
Z
dx =
52
p~ n p~hn1 dx.
(1.100)
1
2
|~phn |2
1
dx +
2
1
dx +
2
p~
p~hn1 dx
1
+
t
|unh |2
1
dx
t
n
un1
h uh dx
Donc
1
t
|unh |2
|~phn |2
1
dx =
2
p~hn
p~hn1 dx
1
+
t
uhn1 unh dx
Z
+
d'o :
1
2t
|unh |2
1
dx +
4t
|~phn |2
Z
n1 2
n1 2
p~
u dx
dx + 1
h
h
2t
Z
Z
1
1
2
+
|unh |2 dx.
f (tn 12 ) dx +
2
2
1
dx
4
On obtient :
kunh k20,
2
n1
2
t
t n 2
n1
2
n 2
k~ph k0,
p~h
+ uh
+ t kuh k0, + t
f (tn 1 )
.
+
0,
0,
2
2
2
0,
Autrement, on a :
2
2
n 2
+ t k~phn k2
p~ n1
2
1
t
ku
k
+
t
f
(t
)
kunh k20,
un1
n 2
.
h 0,
h
h
0,
0,
0,
2
0,
Et alors
N
X
kunh k20,
n=1
N
N
X
n1
2
n1
2 t X
n 2
kunh k20,
k~ph k0, p~h
t
uh
+
0,
0,
2 n=1
n=1
N
2
X
+t
f (tn 1 )
.
2
n=1
0,
Donc :
N
N
2
X
X
N
2
n 2
uh
+ t
p~hN
2
u0h
2 + t
p~h0
2 + t
1
ku
k
+
t
f
(t
)
n 2
.
h 0,
0,
0,
0,
0,
2
2
0,
n=1
n=1
En vue d'appliquer l'ingalit de Gronwall discrte, faisons passer le terme t
uN
h 0, du
membre de droite au membre de gauche. On obtient :
N
N
2
X
X
N
2
0
2
t
t
N
2
0
2
n 2
1
(1t) uh 0, +
p~h 0, uh 0, +
p~h 0, +t
kuh k0, +t
f (tn 2 )
.
2
2
0,
n=1
n=1
53
n=1
n=1
0,
m0 = 2
m1 = = mN 1 = 2t
0,
on obtient
N
2
uh
+ t
p~hN
2
0,
0,
N
2
X
0
2
0
2
2 uh 0, + t p~h 0, + 2t
f (tn 1 )
exp
0,
n=1
N
2
X
2
2
2
u0h
0, + t
p~h0
0, + 2t
f (tn 1 )
N
1
X
!
mt
t=0
!
exp (2 + 2 (N 1) t) .
0,
n=1
En particulier :
N
2
X
N
2
uh
+t
p~hN
2 exp(2) 2
u0h
2 + t
p~h0
2 + 2t
1
)
f
(t
n
0,
0,
0,
0,
2
n=1
!
(exp(T ))2 .
0,
Et alors :
N
2
X
N
2
uh
+ t
p~hN
2 .
u0h
2 + t
p~h0
2 +
t
f (tn 1 )
,
0,
0,
0,
0,
2
n=1
Donc on a
0,
N
2
X
N
2
uh
.
u0h
2 + t
p~h0
2 +
1 )
t
f
(t
.
n
0,
0,
0,
2
n=1
Proposition 1.5.16
r
N
p~h
p~h0
+
0,
0,
54
(1.37),
0,
T
max kf (tn )k0, .
2 n=1,...,N
(1.101)
~phn .~qh
Z
dx +
n 21
(1.102)
Prenons ~
qh = p~h
systme suivant :
R
R
n 12
n 12
n
n
~
p
.
p
~
dx
+
u
div
p
~
dx = 0,
h
h
h h
n 1
unh div p~h 2 dx
(1.103)
2
R
+ f (tn ) unh dx unh dx = 0.
R
n 1
~phn . p~h 2 dx
Z
+
n 2
uh =
Z
p~hn p~hn1
t
n
Z
Z
n 2
p~h + p~hn1
uh =
.
dx +
f (tn ) unh dx,
2
et alors :
k p~hn k20,
2
2
p~hn1
0, + 2t
unh
= 2t
(1.104)
Z
N
N
X
X
N
2
n
2
p~h
p~h0
2 +
2t f (tn ) unh dx
2t uh
=
0,
0,
n=1
n=1
2t
N
X
kf (tn )k0,
unh
0,
n=1
N
N
X
n
2
t X
2
uh
kf (tn )k0, + 2t
0,
2 n=1
n=1
N
X
n
2
T
uh
.
max kf (tn )k20, + 2t
0,
2 n=1,...,N
n=1
D'o :
r
N
p~h
0,
p~h0
0, +
55
T
max kf (tn )k0, .
2 n=1,...,N
Estimations d'erreurs
Pour dmontrer les rsultats d'estimes d'erreurs, on utilisera une dmarche analogue
celle employe pour le schma prcdent. Le problme elliptique (1.61) tant vrai pour
vh dx, vh Mh .
(1.105)
R
R n 1
n 1
R
R
n 21
v
div
p
~
dx
=
u0 (c.i.), donne.
h
(1.106)
R ~ n +~ n1
R hn +hn1
h
h
.~
q
dx
+
div ~qh dx = 0, ~qh Xh ,
h
2
2
R
R
~
hn +~
hn1
f (tn )+f (tn1 )
1
dx
=
(f
(t
unh
v
div
)
n 2
2
2
vh Mh .
) vh dx,
(1.107)
Proposition 1.5.17
(g + f (0)) +
df
(0)
dt
Supposons que
H () .
1 ()
f, df
H 1 (0, T ; L2 ()), g + f (0) H
dt
et aussi
Alors
dw
(t)
dt
= w(t) +
d2 f
(t),
dt2
0 t [0, T ]
w(0) = (g + f (0)) +
56
df
(0).
dt
Rt
0
w(s) ds + g + f (0),
Intgrant l'quation
dw
(s)
dt
= w(s) +
dv
1 ().
(t) = w(t) et v(0) = g + f (0) H
dt
d2 f
(s), 0 s [0, T ] de 0 t, nous obtenons :
dt
df
df
(t) (0)
dt
dt
i.e.
dv
df
df
df
(t) (g + f (0)) (0) = v(t) (g + f (0)) + (t) (0).
dt
dt
dt
dt
Simpliant les 2 membres nous obtenons que v est la solution du problme de Cauchy :
dv
(t)
dt
= v(t) +
d2 f
(t)
dt2
1 ().
v(0) = g + f (0) H
d2 u
dt2
dv
dt
du
.
dt
Thorme 1.5.18
c>0
kunh
uh (tn )k0,
ch ku0 kH 2, () +
tn
kut (s)kH 2, () ds +
(1.108)
2t2
Z
tn
Z
kuttt (s)k0, ds +
Preuve:
tn
kftt (s)k0, ds .
n1
et de k n k . Pour cela prenons vh = n + n1 dans la deuxime quation du
h
h
h
0,
0,
systme (1.107) et ~
qh = ~hn + ~hn1 dans la premire, on a donc :
2
Z n
~h + ~hn1
dx
(1.109)
2
Z
f (tn ) + f (tn1 )
ut (tn ) + ut (tn1 )
n
=
f (tn 1 )
uh
hn + hn1 dx.
2
2
2
57
unh
on a :
ut (tn ) + ut (tn1 )
ut (tn ) + ut (tn1 )
= hn + u(tn ) u(tn1 )
2
2
= hn + (Rh I) u(tn ) + u(tn )
ut (tn ) + ut (tn1 )
.
2
Et donc
e3n , avec :
e2n +
Posons pour la suite
e n :=
e1n +
e2n
: = u(tn ) ut (tn 1 ) ,
e3n
1
: = u(tn 1 ) (u(tn ) + u(tn1 )) .
2
2
2
Z n
Z
~h + ~hn1
dx = (hn +
e n ) hn + hn1 dx.
2
(1.111)
On obtient donc
2
1
hn hn + hn1 dx
~hn + ~hn1
+ ke
n k
hn + hn1
.
2
Mais
hn
hn
hn1
2
khn k2
hn1
dx =
.
t
58
(1.112)
khn k20,
n1
2
n
2
n
1
n1
n1
n
h
0, t
~h + ~h
0, + ke
k0,
h + h
0, .
2
(1.113)
2
n k0, khn k0, +
hn1
0, .
khn k2
hn1
t ke
(1.114)
khn k0,
hn1
0, + t ke
n k0, ,
(1.115)
Donc :
t ke
2n k0, = t
u(tn ) ut (tn 1 )
2
0,
u(tn ) u(tn1 )
= t
ut (tn 1 )
2
t
0,
=
u(tn ) u(tn1 ) t ut (tn 1 )
2
0,
t
t2
1
u(tn ) = u(tn 1 ) +
ut (tn 1 ) +
utt (tn 1 ) +
2
2
2
2
8
2
tn
tn 1
et l'instant tn1 :
t
t2
1
u(tn1 ) = u(tn 1 )
ut (tn 1 ) +
utt (tn 1 ) +
2
2
2
2
8
2
tn1
tn 1
1
u(tn ) u(tn1 ) t ut (tn 1 ) =
2
2
tn
tn
1
(tn s) uttt (s)ds
2
1
2
59
tn1
tn 1
2
u(tn ) u(tn1 ) t ut (tn 12 )
0,
Z tn
Z
1
1 tn1
2
t2
t2
8
n 2
tn
tn 1
t2
kuttt (s)k0, ds +
8
tn 1
2
kuttt (s)k0, ds
t1
tn
ke
2n k0,
t2
tn
(1.117)
1
1
t
1
u(tn ) =
u(tn 1 ) +
ut (tn 1 ) +
2
2
2
2
4
2
tn
1
1
t
1
u(tn1 ) =
u(tn 1 )
ut (tn 1 ) +
2
2
2
2
4
2
tn 1
1
1
u(tn 1 ) (u(tn ) + u(tn1 )) =
2
2
2
tn
tn
1
(tn s)utt (s)ds
2
1
2
tn1
u(t 1 ) 1 (u(tn ) + u(tn1 ))
n 2
2
0,
1
t
4
tn
tn
1
(tn s) kutt (s)k0, ds +
2
1
tn
60
tn 1
tn1
ke
3n k0,
t2
tn
(1.118)
tn1
Reste majorer ke
1n k0, o rappelons-le :
u(tn ) u(tn1 )
,
t
Rappelons aussi que Rh dsigne l'oprateur de projection elliptique dni par (1.18) suivi
de l'oprateur de projection de Xh Mh sur Mh . Et donc, par la proposition 1.4.9 il existe
une constante c > 0 indpendante de h telle que :
t ke
1n k0, ch ku(tn ) u(tn1 )kH 2, ()
tn
Z
= ch
tn 1
D'o
ke
1n k0,
ut (s)ds
H 2, ()
tn
ch
tn 1
(1.119)
Reste mettre les ingalits bout bout : par l'ingalit (1.115) on sait que
khn k0,
hn1
0, + t ke
n k0,
n2
n1
n
h
+ t
e
+ ke
k0,
0,
0,
n1
hn3
0, + t
e n2
0, +
e
0, + ke
n k0,
..
.
..
.
n
X
0
i
h 0, + t
e
0, ,
i=1
ke
2n k0,
t2
tn
61
(1.120)
t2
t
4
Z
n
t ke
1 k0, ch
ke
3n k0,
tn
(1.121)
(1.122)
tn1
tn
tn1
tn
kut (s)kH 2, () ds +
ch
t0
Z
tn
t0
t0
d2
u(s)
dt2
kutt (s)k0, ds
kuttt (s)k0, ds +
t
Et puisque utt (s) =
tn
kunh
tn
Z
uh (tn )k0,
kut (s)kH 2, () ds +
ch
0
Z
tn
kftt (s)k0, ds .
kuttt (s)k0, ds +
2t
tn
Thorme 1.5.19
{Th }
une famille
e3n .
e2n +
ici
e n :=
e1n +
Proposition 1.5.20
Supposons
f H 1 (0, T ; L2 ())
et
n k2 ke
k~
n k2 ,
h
avec
(1.124)
R
R
n
p
~
.~
q
dx
+
unh div ~qh dx = 0, ~qh Xh , n 1
h
vh div
p
~hn +~
phn1
2
dx =
(1.125)
Z
uh (tn ) div ~qh dx = 0, ~qh Xh ,
nous obtenons :
~hn .~qh
Z
dx +
(1.126)
o, pour rappel, ~
hn := p~hn p~h (tn ) et hn := unh uh (tn ) .
(1.126) tant vraie pour n et n 1, faisant la dirence membre membre et divisant par
le pas de temps nous obtenons :
~hn .~qh
Z
dx +
(1.127)
Prenons ~
qh = ~hn + ~hn1 dans l'quation (1.127) . Nous avons :
k~hn k20,
2
~hn1
0, = t
63
div ~hn + ~hn1 hn dx.
(1.128)
~hn + ~hn1
dx =
vh div
2
hn +
e n vh dx,
~hn + ~hn1
= Ph0 hn +
e n = hn + Ph0
en ,
2
(1.129)
n n1
h
h
t
2
2
2
t
Ph0
e n
0, + t
hn
0, 2t
hn
0,
t ke
n k20, .
On a dmontr que
2
k~hn k20,
~hn1
0, t ke
n k20, ,
(1.130)
et en divisant les deux membres de l'ingalit (1.130) par le pas de temps t on obtient
donc :
n k2 ke
k~
n k2 .
h
Corollaire 1.5.21
c>0
indpendante de
k~hn k2
ch
tn
et de
kut (s)k2H 2, ()
telle que :
4
Z
ds + ct
tn
kuttt (s)k20,
Z
ds +
tn
kutt (s)k20,
ds .
(1.131)
tj
tj 1
64
(1.132)
!2
Z tj
j=n
j=n
2 X
X
j
2
h
t
e1
c
k ut (s) kH 2, () ds
t j=1
tj1
j=1
ch
j=n Z
X
tn
= h
k ut (s) k2H 2, () ds
tj1
j=1
tj
k ut (s) k2H 2, () ds .
(1.133)
t0
Par (1.120) , on a :
j
t2
t
e2
0,
8
tj
Z
j=n
X
j
2
4
t
e2 ct
tn
(1.134)
(1.135)
t0
j=1
Z
j=n
X
j
2
4
t
e3 ct
tn
t0
j=1
2
2
2
k~h1 k k~h0 k t ke
1k
2
2
2
k~ 2 k k~h1 k t ke
2k
..
.
..
.
..
.
..
.
(1.136)
2
k~hn k2
~hn1
t ke
n k2 .
uh (0), on
k~hn k2
j=n
X
j
2
t
e
.
j=1
65
(1.137)
j=n
j=n
j=n
X
X
X
j
2
j
2
j
2
e2
.
e2 + 3t
e1 + 3t
3t
(1.138)
j=1
j=1
j=1
Thorme 1.5.22
{Th }
une famille r-
proposition
Pour
tout
sZ
+t2
tn
kuttt (s)k20, ds +
sZ
tn
tn
n1:
kut (s)k2H 2, () ds
(1.139)
kutt (s)k20, ds .
66
1.4.6.
R
R
R
R
vh div p~hn dx = (f (tn ) unh ) vh dx, vh Mh , n 1
u0 (c.i.), donne.
h
(1.140)
avec :
Mh
Xh : =
(1)
(L)
forme
par les fonctions caractristiques de chaque triangle K de Th et donc L est gal au nombre
67
(J)
(E)
~qh
|E| (x P )
2|T |
:=
0
pour x T ,
ailleurs.
Avec E est l'arte commune entre les deux triangles T+ et T , telle que montre dans la
gure 1.2 ; P , les sommets opposs l'arte E ; |E| , la longueur de l'arte E et |T | , l'aire
du triangle T.
Fig. 1.2
xe au dbut de la simulation, nous avons considr ici la normale extrieure l'lment
T+ .
Lemme 1.6.1
1.
0
(E)
~qh ~E =
1
E
avec
(E)
2.
~qh
3.
(~qh
4.
[51]
le long de
(E) \E,
le long de
E;
H (div, ) ;
(E)
: E E) est une
|E|
(E)
2|T |
div ~qh =
0
base de
dans
RT0 (Th ) ,
ailleurs.
68
Problme
crivons maintenant la solution du problme (1.140) en fonction des lments de base.
On a :
p~hn
J
X
(j)
j (tn )~qh
et
unh
j=1
L
X
(l)
l (tn )vh .
l=1
R P
R PL
0
(j) (j 0 )
(l)
(j 0 )
J
(t
)~
q
.~
q
dx
+
(t
)v
div
~
q
dx = 0, j = 1, 2, ..., J
j
n
l
n
h
h
h
h
j=1
l=1
R
R
PL l (tn )l (tn1 ) (l) (l0 )
(l0 ) PJ
(j)
vh ) vh dx,
v
(
(t
)
div
~
q
)
dx
=
(f
(t
)
j
n
n
h
h
j=1
l=1
t
l = 1, 2, ..., L.
Ce qui peut tre rcrit sous la forme :
R (l)
P
PJ R (j) (j 0 )
(j 0 )
j=1
j = 1, 2, ..., J,
PJ R (l0 )
PL R (l) (l0 )
(j)
(
v
div
~
q
dx)
(t
)
+
t
j
n
h
h
j=1
l=1 ( vh vh dx) l (tn ) =
0
t R f (tn )v (l0 ) dx PL (R v (l) v (l0 ) dx) l (tn1 ),
l = 1, 2, ..., L.
h
l=1 h h
Maintenant, posons
R (l) (l0 )
R (j) (j 0 )
R
(j 0 ) (l0 )
j, j = 1, 2, ..., J, ; l, l = 1, 2, ..., L.
Avec ces notations, le systme direntiel prcdent peut tre rcrit ainsi :
69
P
PL
J
j 0 = 1, 2, .., J,
j=1 bj 0 j j (tn ) +
l=1 cj 0 l l (tn ) = 0,
R
P
P
P
(l0 )
t Jj=1 (C | )l0 j j (tn ) Ll=1 all0 l (tn ) = t f (tn )vh dx Ll=1 all0 l (tn1 )
l = 1, 2, ..., L.
(1.141)
En prenant aussi : A = (all0 )1l0 ,lL RLL ; par construction A est donc une matrice
diagonale dnie positive de la forme :
|K1 |
0
..
A=
.
..
|KL |
B = (bj 0 j )1j 0 ,jJ RJJ est une matrice symtrique et dnie positive :
R
(1) (1)
~q ~qh dx
h
..
.
..
.
..
.
B=
..
..
.
..
.
..
.
.
..
.
..
(J) (1)
~q ~qh dx
h
(1) (J)
~q ~qh dx
h
(J) (J)
~q ~qh dx
h
C=
(1)
div ~qh dx
K1
..
.
..
.
..
.
..
K1
..
.
..
.
..
.
.
..
div ~qh dx
(1)
div ~qh dx
KL
.
..
(J)
(J)
R
KL
div ~qh dx
Les matrices B et C sont calculs partir de matrices locales sur chaque triangle.
70
(tn ) =
1 (tn )
R
,
(t
)
=
R
(f (tn )dx
K1
R
,
F
(t
)
=
R
J (tn )
f (tn )dx
KL
1 (tn )
L (tn )
Les quations (1.141) peuvent tre rcrites :
RL .
B (tn ) + C (tn ) = 0.
D'o
(tn ) = B 1 C (tn ).
(1.142)
| 1
(tn ) = B 1 C (tn ).
Or, nous avons dmontr dans la preuve de la proposition 1.4.4 que la matrice G :=
C | B 1 C est symtrique et dnie positive. Puisque A l'est aussi, alors A + tG est ainsi
une matrice symtrique et dnie positive, il sut alors de rsoudre le systme inversible
suivant :
(A + tG ) (tn ) = F (tn ) ,
(0) = 0 (i.c.)
Essai numrique :
Pour les essais numriques on choisi la solution exacte :
2
t
2
) r 3 sin( ),
10
3
x21
x22
3
et 0,
telle
2
x2
. l'analyse mathmatique prcdente a t faite pour l'quation de la chaleur
r
avec des conditions de Dirichlet homognes sur le bord ; cependant avec des modications
mineures on obtient une forme quivalente dans le cas des conditions aux bord de type
Dirichlet non homognes. On a trac la solution approche de cette fonction (voir gure
1.5) pour T = 1, les gures 1.3 et 1.4 reprsentent respectivement p
~nh,x et p~nh,y l'instant
T =1:
Fig. 1.3
Fig. 1.4
p~nh,x
p~nh,y
=1
3
2
= 13 . On peut
0.5
0.5
-0.5
-0.5
-1
-1
-1
-0.5
0.5
-1
-0.5
0.5
:=
1
= 1.6.
1
Rsultats
Pour les erreurs ||u (tn ) unh ||0, et ||~
p (tn ) p~nn ||0, , nous obtenons :
Maillage ran
Maillage uniforme
1.91e-01
1.55e 01
1,04e-01
1, 73e 01
4.97e-02
9, 10e 02
5,20e-02
1, 16e 01
2.47e-02
5, 12e 02
2,59e-02
7, 54e 02
16
1.23e-02
2, 81e 02
1,29e-02
4, 84e 02
32
6,16e-03
1, 52e 02
6,43e-03
3, 08e 02
64
3,08e-03
8, 15e 03
3,21e-03
1, 95e 02
On peut dmontrer que pour cette famille rgulire de traingulaion, il existe deux
constante strictement positives c1 , c2 (c1 < c2 ) indpendantes de n tels que
max dian(K)
KTh
c2
.
n
c1
n
h :=
2
3
de p = 1.
Par contre, pour la premire erreur, on a un taux de convergence de p = 1 pour les
deux sries de maillages.
Prcisions : Nous prcisons que l'erreur calcule dpend de h mais aussi de t et mme
si nous sommes en schma implicite o nous n'avons pas ce CFL. Nous avons donc pris un
pas de temps susamment petit pour ne pas voir la dpendance des erreurs en fonction
du temps. Nous avons aussi d prendre une fonction pour laquelle l'erreur en temps sera
ngligeable par rapport l'erreur en espace, au moins jusqu'au n le plus grand que nous
ayons pris.
74
1.5
raffin
uniforme
2
2.5
|| u uh ||0, , t=T
3.5
4.5
5.5
1
6
0.5
1.5
Fig. 1.8
2.5
log(n)
3.5
75
4.5
1.5
raffin
uniforme
1
2
2/3
|| p ph ||0, , t=T
2.5
3.5
4.5
1
5
0.5
1.5
Fig. 1.9
2.5
log(n)
3.5
76
4.5
Chapitre 2
quations de Stokes instationnaires
2.1 Introduction
Dans ce chapitre, on se propose d'tablir des estimations d'erreurs a priori pour le
systme de Stokes instationnaire pour un uide visqueux incompressible dans un domaine
polygonal en utilisant la mthode d'lments nis mixte duale en espace et le schma d'Euler implicite en temps : pour cela nous introduisant en outre des inconnues traditionnelles :
la vitesse
u (t) et la pression p (t), la nouvelle variable (t) := ~u (t) reprsentant le
tenseur gradient du champ des vitesses l'instant t. Nous approximons chacune des deux
lignes de (t) par un champ de vecteurs de Raviart-Thomas de degr 0 sur chaque triangle
u (t) par un champ de vecteurs constant sur chaque triangle. Notons que Claes Johnson
et Vidar Thome [10] traitent aussi le problme de stokes instationnaire mais en utilisant
la mthode symtrique, d'autant plus que leurs majoration d'erreur thorme 4.1 p. 71-72
ne fait pas apparatre clairement l'estimation d'erreur sur la pression et elles supposent
indirectement que ~
ut (s) est dans H 1 pour s dans [0, T ]. Prcisons aussi que les espaces
d'approximations ne sont pas les mmes puisqu'ils considrent des lments de base P 1 ,
alors que le choix du plus pas degr serait plus adapter. Et en raison du coin rentrant
du domaine polygonal D , nous imposons la famille de triangulations un ranement de
77
1 en temps et en espace.
Position du problme
dans Q,
div ~u(x, t) = 0
dans Q,
(2.1)
~u(x, t) = 0
sur := ]0, T [,
div ~u = 0 dans Q,
~u = 0 sur ,
(2.2)
1 0
0 1
2.2.2
ij
j=1 xj
P2
(i = 1, 2).
n
o
1
2
V := v (H ()) ; div ~v = 0 .
Nous avons le rsultat d'existence suivant :
Thorme 2.2.1
Etant donn
fonction
([46]
f~ L2 (0, T ; L2 ()2 )
et
~u0 L2 ()2
telle que
~u(0) = ~u0
~u0 L2 (0, T ; V 0 )
telle
que
d
(~u, ~v ) +
dt
Z
~u : ~v =
f~ ~v ,
~v V.
(2.3)
Soit alors (~
u, p) la solution faible du problme de Stokes instationnaire (2.1), nous
avons :
Thorme 2.2.2
et
~u0 V ,
on a :
~u H 1 (0, T ; L2 ()2 ).
De plus il existe une et une seule fonction
(2.4)
telle que :
d
(~u, ~v ) +
dt
Preuve: V
Z
~u : ~v
Z
p div~v =
f~ ~v , ~v H01 ()2 .
(2.5)
Pm
i=1
gim (t) w
~ i , la solution du
d~um
(t) w
~ j dx +
dt
Z
~um (t) : w
~ j dx =
f~(t) w
~ j dx, j = 1, ..., m
(2.6)
de condition initiale ~
um (0) = ~u0m , que l'on prcisera dans la suite.
Mais
d
k~um (t)k2H 1 ()2 = 2
0
dt
D'o
2
2
2
d
2
u~0 m (t)
+ k~um (t)k2H 1 ()2
f~(t)
+
u~0 m (t)
,
0
dt
0,
0,
0,
ce qui entrane
2
d
~
2
~0
2
u m (t)
+ k~um (t)kH01 ()2
f (t)
.
dt
0,
0,
Intgrons de 0 T l'ingalit prcdente :
Z
0
2
~0
u m (t)
dt +
0,
+
0
~
2
f (t)
dt.
0,
Si ~
um (0) converge vers ~u(0) dans la norme de H01 ()2 , alors on aura k~um (0)kH 1 ()2 .
0
2
~0
u m (t)
0,
~0 m (t)
Donc la suite u
dt .
k~u(0)k2H 1 ()2
0
~
2
f (t)
dt.
0,
0
2
m1
est borne dans L2 (0, T ; (L2 ()) ) ce qui nous permet d'armer
2
qu'il existe un certain ~
v L2 (0, T ; (L2 ()) ) et une sous-suite que nous notons encore u~0 m
w
2
~0 m +
par un abus de notation usuel telle que u
~v dans L2 (0, T ; (L2 ()) ) (au sens faible).
L2 (0, T ; V ) R
Z
~g 7
0
80
Z
(t) dt
0
0
T
Z
k~g (t)k2V
kJ kV 0
21 Z
dt
21
| (t) | dt
0
Comme ~
um + ~u dans L2 (0, T ; V ) d'aprs le thorme d'existence 2.2.1, il s'en suit que
T
(2.7)
L2 (0, T ; L2 ()2 ) R
~h 7
D
E
~h(t), J
(t) dt,
u~0m (t) , J
(t) dt
(2.8)
V 0 , donc on a
Or, si J (L2 ()2 ) , cela implique que J|V
u~0
m (t), J
Z
u~0m
(t) dt =
Z
=
T
0
Z
=
81
h~u(t), J i 0 (t) dt
(2.9)
.
h~u(t), J i (t) dt =
J L2 ()2
D'o
T
0
~u(t) (t) dt =
0
D(]0, T [).
0
2
Ceci dmontre (~
u) = ~v au sens faible. Comme l'on sait que ~v L2 (0, T ; (L2 ()) ), on a
2
(2.10)
d~u
~q = f~
+ ~u.
dt
(2.11)
Comme
2
~u H 1 (0, T ; H01 () ),
il s'en suit que :
2
~u L2 (0, T ; H 1 () ).
2
~ : L2 () H 1 () 2
0
(le polaire de V ) ([15], lemme I.2.1 p.22). Or ~q(t) V
,
est un isomorphisme de L20 () sur V
~
0 t ]0, T [ par (2.11) et (2.3). Donc il existe p(t) L20 () tel que ~q(t) = p(t)
.
1
~
L20 () l'oprateur inverse de
~ : L20 () V
. Donc
Notons
: V
1
~
~q(t) .
p(t) =
2
~
Comme ~
q L2 (0, T ; (H 1 ()) ), il s'en suit que p L2 (0, T ; L20 ()). De (2.11) et ~q = p
suit (2.5).
82
Pour crire la formulation mixte duale, on a besoin d'introduire les deux sous-espaces
suivants :
n
o
22
2
X := (, q) (L2 ())
L20 () ; div( q) L2 ()2 , Y := (L2 ()) .
Ainsi la formulation mixte duale de (2.2) s'crit : trouver (, p) L2 (0, T ; X) et ~
u
R
R
div ((t) p(t)) ~v dx = (f~(t) ~ut (t)) ~v dx, ~v Y, 0 t I,
~u(0) = ~u .
(2.12)
Reste maintenant vrier les quations (2.12) de la formulation mixte, mais tout d'abord
2
22
= x~u L2 (0, T ; L2 ()
).
De plus, d'aprs l'quation (2.2)(i) on a
~ p = f~ + d~u L2 (0, T ; L2 () 2 ),
div( p) = ~u
dt
donc on a bien (, p) L2 (0, T ; X). Examinons maintenant les quations (2.12).
Pour (2.12)(ii) c'est immdiat ; reste vrier (2.12)(i) . Puisque
Z
x~u : q dx = 0
q L2 (), 0 t [0, T ].
83
x~u(t) : ( q) dx
(t) : dx =
(, q) X, 0 t [0, T ]
h( q) ~n, ~u(t)iH 21 ()2 ,H 12 ()2
~u(t) : div( q) dx ,
Z
~u(t) div( q) dx
puisque ~
u(t) (H01 ()) , 0 t [0, T ].
Donc
Z
(t) : dx +
R
R
(t)
:
dx
+
div( q) ~u(t) dx = 0 (, q) X, 0 t I ,
R
R
div
((t)
p(t))
~
v
dx
=
~u (t) ~v dx ~v Y, 0 t I,
~u(0) = 0.
(2.13)
Prenons (, q) = ((t), p(t)) dans l'quation (2.13)(i) . Puisque ((t), p(t)) X 0 t [0, T ],
alors
|(t)| dx +
(2.14)
Prenons maintenant ~
v = ~u(t) dans (2.13)(ii) , ce qui est permis puisque 0 t [0, T ] : ~u(t)
84
Domaine polygonal
Z
div ((t) p(t)) ~u(t) dx =
1
=
2
d
|~u(t)|2 dx.
dt
(2.15)
1d
|(t)| dx +
2 dt
et implique
d
dt
|~u(t)|2 dx 0, donc
|~u(t)|2 dx = 0
(2.16)
avec ~
u(0) = 0, cela entrane que ~u(t) = 0 t [0, T ]. Par (2.16) on a galement = 0.
D'autre part, par l'quation (2.13)(ii) , on a
~ x p(t) ~v dx = 0 pour tout ~v L2 () 2 .
~ x p(t), il s'en
Et puisque (0, p(t)) X, donc p(t) H 1 () L20 (). Choisissant ~
v =
~ x p(t) = 0 et donc p(t) = constante 0 t [0, T ], mais comme p(t) L20 (), la seule
suit
possibilit est p = 0.
dt
div ~u(t) = 0
dans ,
~u(t) = 0
sur .
(2.17)
2
2
2
0 () = inf R+
; z = + i vrie sin z = z sin , z 6= 1 .
1 ()2 et que
Supposons maintenant que f~ H 1 (0, T ; L2 ()2 ), que f~ (0) + ~
u0 H
div f~ (0) = 0.
Soit (w,
~ ) L2 (0, T ; V ) L2 (0, T ; L20 ()) la solution au sens faible ([46] p.253) de
dw
~
dt
div w(t)
~
= 0 , 0 t ]0, T [
w(0)
~
= f~ (0) + ~u0 .
n
o
2
1
Problme semi-discret
On vrie qu'au sens faible :
d~v
dt
~v (0) = ~u0 .
d~u
= w
~ L2 0, T ; H 2, ()2 . De mme p = q et donc
dt
dp
2
1,
= L (0, T ; H () L20 ()) .
dt
Par unicit ~
u = ~v et donc
Proposition 2.3.1
initiale
~u0 V
Supposons
f~ H 1 (0, T ; L2 ()2 ),
que
div f~ (0) = 0,
et que la condition
f~ (0) + ~u0
1 ()2 .
H
Alors la solution
2
H 1 (0, T ; H 2, () ) H 1 (0, T ; H 1, ())
pour tout
]1 0 (), 1[
0 () = inf{ R+
; z = + i
vrie
(2.18)
sin2 z = z 2 sin2 ,
z 6= 1}.
Xh et Yh des espaces X et Y :
Xh : = (h , qh ) X ; h(i,) RT0 (K) i = 1, 2 et qh|K P0 (K), K Th ,
Yh : = ~vh Y ; ~vh|K (P0 (K))2 , K Th .
87
dnote l'espace des fonctions constantes sur K et RT0 (K) dnote l'espace vectoriel des
Finalement, on a ~
u0,h = Ph~u0 o Ph est l'oprateur de projection de (L2 ()) sur
2
KTh (P0 (K)) .
R
R
R
R
div (h (t) ph (t)) ~vh dx = (f~(t) ~uh,t (t)) ~vh dx, ~vh Yh , 0 t I,
~u (0) = ~u .
h
0,h
(2.19)
Avant d'examiner le problme semi-discret (2.19) nous allons tout d'abord rappeler
certains rsultats relatifs aux quations de Stokes stationnaires (Cf. [9]) .
Nous considrons les quations de Stokes stationnaires :
~
u
+
grad
p = f~
dans ,
div ~u = 0
dans ,
~u = ~0
sur .
(2.20)
R
R
dx
+
div( q) ~u dx = 0 , (, q) X,
div ( p ) ~v dx =
(2.21)
f~ ~v dx ~v Y.
((, p) , ~u) est une solution de (2.21). De plus, d'aprs [9], la formulation mixte (2.21)
admet une solution unique.
Le problme approch pendant de (2.21) consiste trouver ((h , ph ) , ~
uh ) Xh Yh tels
88
Problme semi-discret
que
R
R
dx
+
div(h qh ) ~uh dx = 0 , (h , qh ) Xh ,
h
h
div (h ph ) ~vh dx =
(2.22)
f~ ~vh dx , ~vh Yh .
T : Y X Y :
f~ 7 T f~ = T1 f~, T2 f~ = ((, p) , ~u)
(2.23)
o ((, p) , ~
u) est la solution de (2.21) .
Aussi, nous dnissons l'oprateur Th par
Th : Y Xh Yh :
f~ 7 Th f~ = Th,1 f~, Th,2 f~ = ((h , ph ) , ~uh )
(2.24)
o ((h , ph ) , ~
uh ) est la solution de (2.22). Finalement, on dmontre dans [9], le rsultat
suivant sur les estimations d'erreurs priori :
Thorme 2.4.1
[12] Soit
des proprits
(i)
((, p) , ~u)
Th f~ = ((h , ph ) , ~uh ).
et
et
(ii)
{Th }
de la proposition
C>0
1.4.6,
Alors
pour un
]1 0 (), 1[.
4
jouissant
Soient
T f~ =
indpendante de
et il
telle que
(2.25)
kp ph k0, Ch |~u|H 1, ()2 + |p|H 1, () ,
k~u ~uh k0, Ch |~u|H 2, ()2 + |p|H 1, () + |~u|H 1 ()2 .
(2.26)
(2.27)
Proposition 2.4.2
dans
L2 (0, T ; Xh ) L2 (0, T ; Yh ).
89
((h , ph ) , ~uh )
Preuve: Soit ~g Y. Considrons les oprateurs Th,1 et Th,2 dnis dans (2.22) :
Th,1 :
et
Y Xh
Th,2 : Y Yh
~g 7 Th,1 ~g = (h , ph )
~g 7 Th,2 ~g = ~uh
o ((h , ph ) , ~
uh ) dsigne donc la solution du problme mixte stationnaire semi-discret suivant :
R
R
dx
+
(h qh ) ~uh dx = 0, (h , qh ) Xh ,
h
h
(h ph ) ~vh dx =
(2.28)
~g ~vh dx , ~vh Yh .
2
f~(t)
(
(t),
p
(t))
=
T
h
h
h,1
d~
uh
(t)
dt
d~
uh
(t)
dt
D'o
d~uh
(t) = Th,2 f~(t) et ~uh (0) = ~u0,h ,
dt
Montrer que ce problme possde une et une seule solution revient, en fait, comme nous le
verrons plus loin, montrer que Th,2 est un oprateur dni positif sur Yh . Prenons donc
un lment f~h Yh , et considrons le problme mixte discret stationnaire de donne f~h :
R
R
dx
+
(h qh ) ~uh dx = 0 , (h , qh ) Xh ,
h
h
(h ph ) ~vh dx =
(2.29)
Z
En particulier
~ h (L2 ()) .
Mais si h = 0, et comme (h ph ) H(, ), alors ph H 1 () implique p
90
Problme semi-discret
|h |2 > 0
et
R
Th,2 f~h f~h dx > 0. fortiori, l'application Th,2|Yh : Yh Yh est injective donc
inversible.
On conclut que :
t
~uh tant ainsi dtermin, le systme (2.19) peut tre employ pour dterminer (h , ph ).
Nous avons donc dmontr l'existence et l'unicit de la solution du problme mixte
discret.
2.4.1
Estimations d'erreurs
Notre objectif, dans cette section, est de dmontrer certaines estimations d'erreurs.
Dans ce qui suit, ((, p), ~
u) dsigne la solution du problme continu (2.12) et ((h , ph ), ~uh )
2
h ((t), p(t)) :=
1 1
((t) p(t)) + h (p(t)) , h (p(t)) ,
h
0 t I,
1 ) K Th :
[h1
RT0 (K)2 ;
91
1
K
((t) p(t))|K
i
+ h p(t)|K
K.
1
:= K q :=
|K|
(h q)|K
q dx, K Th .
K
Proposition 2.4.3
proprits
(i)
et
(ii)
Soit
(Th )h
de la proposition
1.4.6.
jouissant des
Alors :
(2.12)
(2.30)
l'instant
t = 0,
et
Z
h (0) : h dx =
(h qh ) ~uh (0) dx
(h , qh ) Xh ,
Z
=
(h qh ) Ph~u(0) dx,
Z
(h qh )
Ph~u(0) dx,
K
Z
(h qh )
Z
~u(0) dx =
(h qh ) ~u(0) dx.
Z
(h qh ) ~u(0) dx =
(0) : h dx,
(h , qh ) Xh X,
on a donc (h , qh ) Xh ,
Z
((0) h (0)) : h dx = 0.
92
(2.31)
Problme semi-discret
D'autre part on a
k(0) h (0)k0, =
Z
((0)
h (t))
Z
: ((0) h (0)) dx +
k(0)
h (0)h (0)
h (0)k20,
Z
=
Remarque 2.4.4
(0)
(2.18)
suit
2
~u C ([0, T ]; H 2, () )
et donc
22
C ([0, T ]; H 1, ()
).
Soit (~
u(t), p(t)) la solution de (2.1) , pour t x. Posons
c'est--dire que
~ p (t)),
(
h (t) , ph (t)) ; ~uh (t) = Th (~u (t) + grad
(
h (t) , ph (t)) ; ~uh (t) est la solution du problme semi-discret suivant :
R
R
(t)
:
dx
+
div(h qh ) ~uh (t) dx = 0,
h
h
div (
h (t) ph (t)) ~vh dx +
, (h , qh ) Xh ,
~ p),
(
, p) ; ~u = T (~u + grad
93
(
, p) ; ~u est la solution du problme suivant :
R
R
(t)
:
dx
+
div( q) ~u(t) dx = 0
div (
(t) p(t)) ~v dx +
0 t I, (, q) X,
~ p(t)) ~v dx = 0 0 t I, ~v Y.
(~u(t) + grad
Comme
~u
~ p=f
~u + grad
t
on a alors
~ p = f ~u
~u + grad
t
il s'en suit que
R
R
(t)
:
dx
+
div( q) ~u(t) dx = 0 ,
div (
(t) p(t)) ~v dx +
(f (t)
~
u
(t))
t
0 t I, (, q) X,
(2.32)
~v dx = 0 , 0 t I, ~v Y,
Dnition 2.4.5
~ p).
(
, p) ; ~u = ((, p) ; ~u) = T (~u + grad
((
h (t), p(t)); ~uh (t))
(2.33)
R
R
la solution
div (
h (t) ph (t)) ~vh dx =
(2.34)
Proposition 2.4.6
proprits
(i)
constante
c>0
et
Soit
(ii)
(Th )h
de la proposition
indpendante de
1.4.6
pour un
]1 0 (), 1[ .
jouissant des
Il existe une
tI:
k(t)
h (t)k0, c h |~u(t)|H 2, ()2 + |p(t)|H 1, () ,
94
(2.35)
Problme semi-discret
(2.36)
et pour la pression on a :
(2.37)
Preuve:
(2.25),(2.26) et (2.27) .
Nous sommes maintenant en mesure de donner l'estimation de l'erreur k(t) h (t)k0, ,
en comparant le problme semi-discret (2.19) avec le problme dnissant la projection elliptique (2.34).
Thorme 2.4.7
proprits
(i)
constante
c>0
et
Soit
(ii)
(Th )h
de la proposition
indpendante de
k(t) h (t)k0,
(
c h sup |~u(t)|H 2, ()2
tT
Preuve:
jouissant des
]1 0 (), 1[.
Il existe une
1.4.6
pour un
tI:
(2.38)
)
dp
d~u
+
.
+|p(t)|H 1, () +
dt
2
dt
2
L (0,T ;H 2, ()2 )
L (0,T ;H 1, ())
(2.34) :
le problme semi-discret :
R
R
R
R
div (h (t) ph (t)) ~vh dx = (f~(t) ~uh,t (t)) ~vh dx ~vh Yh , 0 t I,
~u (0) = P ~u(0),
h
(2.39)
et la projection elliptique : 0 t I
R
R
(t)
:
dx
+
div(h qh ) ~uh (t) dx = 0 (h , qh ) Xh ,
h
h
div (
h (t) ph (t)) ~vh dx =
95
(2.40)
R
R
~
d
dt
(2.41)
avec
h = h
h , ~h = ~uh ~uh , ~h = ~u ~uh et rh = ph ph .
Ensuite drivons par rapport la variable temps la premire quation du systme (2.41) :
h
(t) : h dx +
t
Z
div(h qh )
~h
(t) dx = 0, (h , qh ) Xh , 0 t I (2.42)
t
En prenant ~
vh = 2 th dans (2.41)(ii) et (h , qh ) = 2 (h , rh ) dans (2.42), on obtient
h
(t)
t
: h dx + 2
div(h rh )
2
div (h (t) rh (t))
~h
(t)dx
t
+2
~h
(t)
t
R ~h
t
dx = 0
2
R
(t) dx = 2
~
h
(t)
t
~h
(t)
t
dx.
(2.43)
Aprs addition membre membre des quations du systme (2.43), on aboutit
h
(t) : h dx + 2
t
!2
Z
~h
~
h
~h
(t) dx = 2
(t)
(t) dx,
t
t
t
Donc
dt
|h (t)| dx + 2
!2
Z
~h
~
h
~h
(t) dx = 2
(t)
(t) dx
t
t
t
~
~
h
h
2
t
t
0,
0,
2
~
2
~
h
h
.
t
+
t
0,
0,
Et alors
dt
d~
2
h
|h (t)|2 dx +
dt
0,
96
2
d~
h
.
dt
0,
(2.44)
Problme semi-discret
En conclusion on a :
d
dt
2
d~
1
h
.
|h (t)| dx
dt
0,
(2.45)
1
|h (t)| dx |h (0)| dx
Donc
1
|h (t)| dx
|h (0)| dx +
2
Z t
d~
h
dt
(s) ds,
0
0,
2
Z t
d~
h
dt
(s) ds.
0
0,
(2.46)
Or on a
kh (0)k = kh (0)
h (0)k0, kh (0) (0)k0, + k(0)
h (0)k0, .
(2.47)
0,
1
1
((0) p(0)) h ((0) p(0))
+ 2 kp(0) h (p(0))k .
0,
0,
kh (0) (0)k0, c h ( |~u(0)|H 2, ()2 + |p(0)|H 1, () .
(2.48)
kh (0)k0, c h |~u(0)|H 2, ()2 + |p(0)|H 1, () .
Revenons maintenant (2.46) et rappelons que
d~u d~u
~
h
h
t
=
dt
dt
0,
0,
97
(2.49)
Z t
d~u d~u
2
h
ds.
dt
0
dt
1
kh (0)k20, +
kh (t)k20,
0,
Cette dernire estimation et les estimations (2.49) , (2.36) pour le problme driv nous
donnent :
kh (t)k20,
c h2
|~u(0)|H 2, () + |p(0)|H 1, ()
2
Z
+
0
!!
2
2
2
~u
p
~u
+
+ ) ds
.
(
t H 2, ()2 t H 1 ()2 t H 1, ()
Alors on a
kh (t)
h (t)k0,
ch
|~u(0)|H 2, () + |p(0)|H 1, ()
!
dp
d~u
+
.
+
2
dt
2
dt
L (0,T ;H 2, ()2 )
L (0,T ;H 1, ())
tT
Proposition 2.4.8
constante
c>0
Soit
{Th }
)
d~u
dp
+
+
.
2
dt
2
dt
L (0,T ;H 2, ()2 )
L (0,T ;H 1, ())
Il existe une
indpendante de
~vh Yh
(2.50)
Preuve: La mme dmonstration que celle employe pour dmontrer la proposition 4.1.9
[9]
Thorme 2.4.9
proprits
(i)
et
Soit
(ii)
{Th }
de la proposition
1.4.6
pour un certain
98
jouissant des
]1 0 (), 1[ .
Il existe une
Problme semi-discret
constante
c>0
indpendante de
tI:
(2.51)
)
dp
d~u
sup |~u(t)|H 2, () + |p(t)|H 1, () +
+
.
dt
2
dt
2
2,
2
tT
L (0,T ;H () )
L (0,T ;H 1, ())
ch
k~u(t) ~uh (t)k0, c
~vh Yh
Prenons ~
vh = Ph ~u(t) Yh , o t I, Ph ~u(t) est la fonction dont la restriction sur chaque
triangle K de la triangulation Th est gale la moyenne de ~
u(t) sur K . fortiori :
k~u(t) ~uh (t)k0, c k~u(t) Ph ~u(t)k0, + k(t) h (t)k0, .
(2.52)
Or on sait [9] qu'il existe une constante c > 0 indpendante de h telle que pour tout t I :
k~u(t) Ph ~u(t)k c h |~u(t)|H 1 ()2 .
(2.53)
Par consquent il suit de (2.52), en utilisant cette dernire estimation et l'estimation (2.38) ,
que :
)
dp
+
.
dt
2
L2 (0,T ;H 2, ()2 )
L (0,T ;H 1, ())
d~u
+|p(t)|H 1, () +
dt
Thorme 2.4.10
proprits
(i)
une constante
et
Soit
(ii)
C>0
{Th }
de la proposition
indpendante de
1.4.6
h
pour un certain
jouissant des
]1 0 (), 1[
. Il existe
tI:
kp() ph ()kL2 (0,T ;L2 ()) C h k~u()kL2 (0,T ;H 2, ()2 ) + kp()kL2 (0,T ;H 1, ())
!
d~u
dp
+C h k~u(0)kH 2, ()2 + kp(0)kH 1, () +
+
dt ()
2
dt ()
2
2,
2
L (0,T ;H () )
L (0,T ;H 1, ())
99
(t)
:
dx
+
div(h qh ) ~h (t) dx = 0, t I, (h , qh ) Xh ,
h
h
d
dt
(2.54)
avec
h = h
h , ~h = ~uh ~uh , ~h = ~u ~uh et rh = ph ph .
Par la formule de Green, pour tout ~
v H01 ()2 , on a t I :
Z
rh (t) ~v dx =
div rh (t) ~v dx
Z
=
rh (t) : ~v dx
Z
(h (t) rh (t)) : ~v dx
h (t) : ~v dx.
(2.55)
Z
h (t) : ~v dx C kh (t)k k~v k 1 2 .
0,
H ()
(2.56)
On a aussi ~
v H01 ()2 :
(h (t) rh (t)) : ~v dx =
Z
=
(2.57)
par (2.54)(ii) .
Par consquent il existe C > 0 telle que :
Z
(h (t) rh (t)) : ~v dx k~ut (t) ~uh,t (t)k kPh~v k
0,
0,
100
(2.58)
Problme semi-discret
De (2.55) et des estimations (2.56) et (2.57) , suit :
k~ut (t) ~uh,t (t)k0, + kh (t)k0, .
(2.59)
D'autre part [47], [15] p.20, il existe une constante C > 0 telle que pour tout w L20 () :
w ~v dx
.
k~v kH 1 ()2
(2.60)
k~ut (t) ~uh,t (t)k0, + kh (t)k0, ,
(2.61)
sup
~v H01 ()2
krh (t)kL2 () C
0
C
~h,t (t)
0,
+ k~
h,t (t)k0, + kh (t)k0, .
(2.62)
dt
2
d~
h
|h (t)| dx +
(t)
dt
0,
2
d~
h
.
(t)
dt
0,
(2.63)
kh (t)k20,
2
Z t
d~
h
(t)
+
0
dt
0,
2
Z t
d~
h
dt + kh (0)k2 .
dt
(t)
0,
dt
0
0,
(2.64)
~h et ~h dans la seconde
Rcrivons fois le systme aux erreurs (2.54) en introduisant
quation:
R
R
(t)
:
dx
+
div(h qh ) ~h (t) dx = 0 t I, (h , qh ) Xh ,
h
h
(t)
h,t
~vh dx
Prenons ~
vh = ~h (t), h = h (t) et qh = rh (t). On obtient donc
R
R
2
|
(t)
|
dx
+
div (h (t) rh (t)) ~h (t) dx = 0,
h
~ (t) ~h (t) dx
h,t
101
|h (t) | dx +
i.e.
Z
2
1d
~
~h,t (t) ~h (t) dx
=
+
h (t)
2 dt
0,
kh (t)k20,
~h (t)
0,
k~
h,t (t)k0,
2
~
2
h,t (t)k0, .
h (t)
+ k~
0,
kh (t)k20,
Z
2
~
dt +
h (0)
.
(2.65)
2
~
2
2
h,t (t)k0, + kh (t)k0, dt.
h,t (t)
+ k~
(2.66)
2
dt +
~h (t)
0,
k~
h,t (t)k20,
0,
Par (2.62) , on a
T
krh (t)k2L2 ()
0
dt C
0,
Z
0
krh (t)k2L2 ()
0
Z
k~
h,t (t)k20,
dt C
0
dt +
kh (0)k20,
2
~
.
+
h (0)
0,
(2.67)
D'autre part on a
~
h (0)
0,
~
k~uh (0) ~u(0)k0, +
~u(0) uh (0)
0,
= kPh~u(0) ~u(0)k0, +
~u(0) ~uh (0)
0,
(0)
h
0,
=
~uh (0) ~uh (0)
0,
C h k~u(0)kH 2, ()2 + kp(0)kH 1, () .
(2.68)
Par (2.49) :
kh (0)k = kh (0)
h (0)k0, C h
k~u(0)kH 2, ()2 + kp(0)kH 1, () .
102
(2.69)
Problme semi-discret
De plus, par (2.36) , applique au problme driv
!
dp
d~u
Ch
.
dt (t)
2, 2 +
dt (t)
1,
H ()
H ()
~
k~
h,t (t)k =
~ut (t) uh,t (t)
0,
(2.70)
kp(t)
ph (t)k20,
Z
dt 2
kp(t)
ph (t)k20,
Z
dt + 2
(2.71)
kp(t)
ph (t)k20,
Z
dt C h
+C h2
k~u(t)k2H 2, ()2
Z
dt +
kp(t)k2H 1, ()
dt
Z
0
Z T
d~u
2
(t)
dt
2, 2 dt +
0
H ()
!
dp
2
(t)
dt
1, dt .
H ()
kp(t) ph (t)kL2 (0,T ;L2 ()) C h k~u(t)kL2 (0,T ;H 2, ()2 ) + kp(t)kL2 (0,T ;H 1, ())
!
d~u
dp
+C h k~u(0)kH 2, ()2 + kp(0)kH 1, () +
+
.
dt (t)
2
dt (t)
2
2,
2
L (0,T ;H () )
L (0,T ;H 1, ())
103
0 = t0 tn < tN = T,
Avec k = tn tn1 dnotant le pas de temps xe. Notons par ~
unh l'approximation de la
vitesse l'instant tn = nk. Pour l'approximation de
formule suivante :
2.5.1
~
uh
t
n1
n
un = (~uh ~uh ) .
~
h
k
Nous allons tudier le problme de Stokes compltement discrtis en utilisant la mthode d'Euler implicite. Ainsi le problme discret des quations de Stokes instationnaires
s'crit comme suit :
R
R
hn : h dx + div(h qh ) ~unh dx = 0,
(h , qh ) Xh , n 0
R
R
n
n
un ) ~vh dx = 0, ~vh Yh , n 1
div
(
p
)
~
v
dx
+
(f~(tn ) ~
h
h
h
h
~u0 = ~u .
(2.72)
0,h
Proposition 2.5.1
Le problme
(2.72)
Xh Yh .
1
) ~vh dx = 0, ~vh Yh .
(f~(tn ) + ~un1
k h
Donc
R
R
n
dx
+
div(h qh ) ~unh dx = 0,
h
R
1
k
(h , qh ) Xh ,
(2.73)
unh ) Xh Yh , l'lment
Considrons l'application qui associe chaque lment ((hn , pnh ) , ~
0
de l'espace dual Xh Yh :
(h , qh ) 7
~vh 7
n : h dx +
h
div(h qh ) ~unh dx
1
k
~unh ~vh dx
R
R
n
dx
+
div(h qh ) ~unh dx = 0,
h
R
1
k
(2.74)
~unh ~vh dx = 0,
R
R
n 2
|
|
dx
+
div(hn pnh ) ~unh dx = 0
et donc :
Ce qui implique
~unh
= 0 et
hn
|hn |2
1
dx +
k
R
1
k
(2.75)
|~unh |2 dx,
|~unh |2 dx = 0.
pnh|K = cte, et du fait que hn = 0, il s'en suit que pnh H(div, ) et donc pnh = cte sur ,
comme pnh L20 () cette constante ne peut tre que nulle.
2.5.2
Proposition 2.5.2
k 21 , on a :
v
u N
2
uX
0
2 exp(2)
~uh
0, + t
k
f~(tn )
Supposant
N
~uh
0,
(2.76)
0,
n=1
dx
+
div(h qh ) ~unh dx = 0,
h
(h , qh ) Xh ,
(2.77)
un ) ~vh dx = 0,
(f~(tn ) ~
h
~vh Yh .
Prenons alors ~
vh = ~unh dans (2.77, ii), donc :
div(hn
pnh )
~unh
un ) ~un dx
(f~(tn ) ~
h
h
dx =
f~(tn ) ~unh dx +
f~(tn ) ~unh dx +
~unh ~un1
h
~unh dx
k
f~(tn )
un ~un dx
~
h
h
~unh
1
dx +
k
|~unh |2
1
dx
k
~unh ~un1
dx.
h
|hn |2
1
+
k
1
dx
k
|~unh |2
~unh
~un1
dx
h
Z
=
et alors :
|hn |2
1
+
k
|~unh |2
1
dx =
k
~unh
~uhn1 dx
f~(tn ) ~unh dx
1
f~(tn ) ~unh dx +
2k
|~unh |2
1
dx +
2k
fortiori on a
1
2k
|~unh |2
1
dx
2k
n1 2
~u dx +
h
106
n1 2
~u dx.
h
k~unh k20,
n1
2
~
~uh
+ 2k
f (tn )
0,
0,
k~unh k0, .
k~unh k20,
n=1
Donc :
N
X
n1
2
~
~uh
+ 2k
f (tn )
0,
0,
n=1
k~unh k0,
.
N
N
2
X
X
N
2
~
~uh
~u0h
2 + k
+
k
k~unh k2 .
f
(t
)
n
0,
0,
0,
n=1
n=1
2
Dans le but d'appliquer l'ingalit de Gronwall discrte, faisons passer le terme
~
uN
h 0,
0,
n=1
1
2
+k
N
1
X
k~unh k .
n=1
N
1
N
2
X
X
N
2
~
~uh
2
~u0h
2 + k
k~unh k2
f (tn )
+ k
0,
0,
n=1
0,
!
.
n=1
!
!
N
1
N
2
X
X
N
2
0
2
~
~uh
exp 2k
.
1
2
~uh
0, + 2k
f (tn )
0,
n=1
Alors :
0,
n=1
N
2
X
N
2
~
~uh
2 exp (2T )
~u0h
2 + k
f
(t
)
n
0,
0,
n=1
!
.
0,
Proposition 2.5.3
u N
u
X
2
~
C
~u0h
0, + tk
f (tn )
v
u N
uX
t
k k n k2
h 0,
n=1
n=1
107
0,
(2.78)
on a :
|hn |2
un ) ~un dx = 0.
(f~(tn ) ~
h
h
dx
Z
k
|hn |2
un ) ~un dx = 0.
(f~(tn ) ~
h
h
dx k
N
X
khn k20,
N Z
X
n=1
n=1
~unh
~uhn1
~unh
Z
dx = k
(2.79)
D'autre part :
~unh
~un1
h
~unh
|~unh |2
dx =
Z
dx
k~unh k20,
~uhn1 ~unh dx
2
1 n 2
1
k~uh k0,
~uhn1
0,
2
2
2
1 n 2
1
.
k~uh k0,
~un1
h
0,
2
2
N
X
n=1
khn k20,
N
X
1
1
~
N
2
0
2
+
~uh 0,
~uh 0,
k
f (tn )
k~unh k0, .
2
2
0,
n=1
108
(2.80)
0,
n=1
k~unh k0,
N
X
1
k 2
f~(tn )
0,
n=1
N
2
X
k
f~(tn )
! 12
N
X
0,
n=1
N
2
X
k
f~(tn )
k 2 k~unh k0,
k k~unh k20,
n=1
! 12
0,
n=1
! 12
! 12
N
2
X
2
~
Cte
~u0h
0, + k
f
(t
)
n
0,
n=1
! 21
0,
n=1
0,
n=1
N
N
2
2
X
X
0
2
~
~
Cte
k
f (tn )
+ ~uh 0, + k
f (tn )
0,
n=1
! 12
N
2
X
0
2
~
~uh
+ k
f
(t
)
n
0,
!
.
0,
n=1
N
X
khn k20,
n=1
fortiori :
N
X
N
2
X
0
2
1
~
N
2
+
~uh 0, Cte ~uh 0, + k
f (tn )
2
0,
n=1
k khn k20,
N
2
X
0
2
~
Cte ~uh 0, + k
f (tn )
!
.
0,
n=1
n=1
Proposition 2.5.4
v
u N
uX
t
k kpn k2
h 0,
C > 0,
telle que :
u N
uX
2
C
~u0h
0, +
h0
0, + t
k
f~(tn )
n=1
n=1
0,
Lemme 2.5.5
C > 0,
telle que
Z
tr( ) dx = 0
109
H(div; )2 ,
satisfaisant :
(2.81)
k k0, C
D
0, + kdiv( )k0,
(2.82)
Preuve: Pour utiliser ce rsultat sur le tenseur (hn pnh ) , il faut vrier qu'on a bien la
condition (2.81) . Prenons dans (2.72)(i) :
h = et qh = 0 , o =
1 0
0 1
tr(hn ) dx = 0
tr(hn pnh ) dx = 0.
khn pnh k0, C
(hn pnh )D
0, + kdiv(hn pnh )k0, .
(2.83)
D'autre part, on a :
1
(hn pnh )D = (hn pnh ) tr(hn pnh )
2
n
h,11
pnh
n
h,21
1 n
2 h,11
n
h,12
n
h,22
n
12 h,22
n
n
1 (h,11
+ h,22
2pnh )
2
pnh
n
h,12
1 n
2 h,22
n
h,21
n
12 h,11
n
(h pnh )D (x)
2
(2.84)
F
1 n
1 n
2
2
2
2
n
n
n
n
=
h,11 (x) +
h,22 (x) + h,12
(x) + h,21
(x) h,11
(x) h,22
(x)
2
2
2
2
2
2
n
n
n
n
h,11
(x) + h,22
(x) + h,12
(x) + h,21
(x) = khn (x)k2F .
110
n
(h pnh )D
2 khn k2 .
0,
0,
(2.85)
khn pnh k0, C khn k0, + kdiv(hn pnh )k0, .
(2.86)
D'autre part :
khn pnh k0, kpnh k0, khn k0, kpnh k0, khn k0, .
D'o :
kpnh k0, C khn k0, + kdiv(hn pnh )k0, .
(2.87)
Maintenant, il nous faut majorer kdiv(hn pnh )k0, . On a d'aprs (2.72)(ii) que ~
v h Yh :
Z
div
(hn
pnh )
Z
~vh dx =
un ) ~vh dx,
(f~(tn ) ~
h
un f~(tn )),
div (hn pnh ) = Ph0 (~
h
o Ph0 dsigne l'oprateur de projection orthogonale de L2 ()2 sur Yh . D'o :
n
~(tn )
u
+
kdiv(hn pnh )k0,
~
f
h 0,
(2.88)
0,
kpnh k0,
C
khn k0,
n
~
+ ~uh 0, +
f (tn )
,
0,
k kpnh k20, 3C
n=1
N
X
N
N
2
X
X
n
2
n 2
k kh k0, +
k ~uh 0, +
k
f~(tn )
n=1
n=1
0,
n=1
!
.
(2.89)
v
u N
uX
t
k k n k2
h 0,
u N
2
u X
0
C
~uh
0, + tk
f~(tn )
.
n=1
n=1
111
0,
(2.90)
PN
n=1
n
2
u
. Applik
~
h 0,
un dx = 0
div(h qh ) ~
h
: h dx +
(h , qh ) Xh ,
(2.91)
n : n dx +
h
h
un dx = 0.
div(hn pnh ) ~
h
(2.92)
(hn
pnh )
un dx +
~
h
un dx = 0.
un ) ~
(f~(tn ) ~
h
h
(2.93)
Donc
n : n dx =
h
h
n
2
un dx
~
u
.
f~(tn ) ~
h
h 0,
Autrement dit on a :
n
2
~
n
n
h : h dx + ~uh 0,
f (tn )
0,
n
u
.
~
h 0,
(2.94)
Comme
n : n dx = k n k2
h
h
k h 0, k
hn1 : hn dx
n1
2 .
khn k20,
0,
2k
2k h
Multiplions par 2k chacun des deux membres de ces deux dernires ingalits on obtient :
khn k20,
n1
2
n
2
~
h
+ 2k ~uh 0, 2k
f (tn )
0,
0,
n
u
~
h 0,
2
n
2
~
u
k
f (tn )
+
~
h 0, .
0,
D'o
khn k20,
2
n1
2
n
2
~
h
+ k ~uh 0, k
f (tn )
.
0,
0,
h 0, h 0, +
k ~uh 0,
k
f (tn )
.
n=1
112
n=1
0,
N
N
2
X
X
2
n
2
k
f~(tn )
+
h0
0, .
k ~uh 0,
n=1
n=1
(2.95)
0,
kpnh k20,
n=1
2.5.3
N
2
X
0
2
~
~uh
+
h0
2 +
k
f (tn )
0,
0,
0,
n=1
(2.96)
Estimations d'erreurs
(L2 ) , introduisons tout d'abord le problme elliptique l'instant tn : trouver
((
h (tn ), ph (tn )); ~uh (tn ) Xh Yh tel que :
R
R
(t
)
:
dx
+
div(h qh ) ~uh (tn ) dx = 0,
h
n
h
div (
h (tn ) ph (tn )) ~vh dx +
Thorme 2.5.6
n ~
~uh uh (tn )
Il existe
Z
ch
0,
c>0
tn
(h , qh ) Xh ,
(2.97)
indpendante de
et de
~vh Yh .
telle que :
tn
(2.98)
Preuve: Pour allger les notations, on va noter comme dans la partie prcdente :
nh = hn
h (tn ), rhn = pnh ph (tn ) et ~hn = ~unh ~uh (tn ).
Soustrayant membre membre (2.72) de (2.97) , on obtient le systme d'quations aux
erreurs :
R
R
n
dx
+
div(h qh ) ~hn dx = 0
h
(h , qh ) Xh ,
(2.99)
R
R
n 2
|
|
dx
+
div(nh rhn ) ~hn dx = 0,
R
Alors :
|nh |2
Z
dx +
un ) ~n dx.
(~ut (tn ) ~
h
h
D'o :
Z
Z
Z
Z 2
~n
n ~n1
n 2
~
h dx h h dx = k |h | dx k (~uh (tn ) ~ut (tn )) ~hn dx
Z
k (~uh ~ut (tn )) ~hn dx
k
~hn
0,
~
uh (tn ) ~ut (tn )
0,
Ce qui implique :
2
~n
h
0,
~n ~n1 dx + k
~hn
h
h
0,
~
uh (tn ) ~ut (tn )
0,
Donc :
~n
h
0,
~hn1
0,
+ k
~uh (tn ) ~ut (tn )
0,
(2.100)
u(tn ) = Th,2 f~(tn ) ~
ut (tn ) T2 f~(tn ) ~
ut (tn ) .
~ 1n = ~uh (tn ) ~
114
k~1n k0,
0,
Z tn
Z tn
1
~utt (s) ds
f~t (s) ds
=
k (Th,2 T2 )
tn1
tn1
0,
Z tn
1
~
f
(s)
~
u
(s)
ds
(T
T
)
t
tt
h,2
2
k
tn1
0,
1
tn
~
(Th,2 T2 ) ft (s) ~utt (s)
ds.
0,
tn1
Autrement, on a :
k~1n k0,
tn
tn1
~
ut,h (s) ~ut (s)
ds.
0,
Et d'aprs les rsultats d'estimation d'erreur dans le cas stationnaire, il existe une constante
N
X
n=1
k~1n k0,
1
ch
k
1
ch
k
tn
k~ut (s)kH 2, ()2 + kpt (s)kH 1, () ds.
(2.101)
tn1
tn
k~ut (s)kH 2, ()2 + kpt (s)kH 1, () ds.
t0
D'autre part :
~ 2n = ~
1
(~u(tn ) ~u(tn1 ) k~ut (tn ))
k
1
=
k
tn
Et alors :
k~2n k0,
tn
115
(2.102)
N
X
k~2n k0,
tn
(2.103)
k
0
n=1
~n
h
0,
~h0
tn
+ ch
0,
tn
k~utt (s)k0, .
t0
Si on prend ~
u0h = ~uh (t0 ), alors ~h0 = 0. Par consquent :
tn
~n
h
ch
0,
tn
k~utt (s)k0, .
t0
Nous sommes maintenant en mesure de dmontrer l'estime nale c'est dire de majorer
Thorme 2.5.7
proprits
(i)
constante
c>0
Soit
(ii)
et
(Th )h
jouissant des
]1 0 (), 1[.
Il existe une
de la proposition
indpendante de
1.4.6
pour un
tI:
tn
+ch
tn
t0
Proposition 2.5.8
1
knh k20, k~ n k20, .
Preuve: Appliquant
(2.104)
la premire quation du systme aux erreurs (2.99) , il s'en suit :
Z
Z
n
: h dx + div(h qh ) ~n dx = 0,
(h , qh ) Xh ,
h
h
116
n : n dx =
h
h
Z
n
~ h ~hn dx
n
Z
=
~ n ~hn dx ~hn
0,
~n
k~ k0,
h
n
0,
~n
2
h
0,
1 n 2
1
~n
2
~n
2
k~ k0, +
h
h
.
2
2
0,
0,
Donc :
2
~n
n : n dx 1 k~ n k2 1
h
h
h
0,
2
2
0,
(2.105)
D'autre part, on a :
knh k20, 2
Z
n1
2 2
n
1 n 2
n
n
h : h dx =
kh k0, h
nh n1
: h dx
h
0,
k
k
1
=
k
knh k20,
2
+2
n1
h
0,
hn1
nh
dx
2 2
1 n 2
kh k0,
n1
0.
h
0,
k
Et donc
knh k20, 2
n : n dx.
h
h
1
1 n 2
~n
2
n 2
kh k0, k~ k0, h .
0,
fortiori on a :
1
knh k20, k~ n k20,
(2.106)
Thorme 2.5.9
C>0
telle que :
(2.107)
khn
h (tn )k0,
C h k~ut (s)kL2 (0,tn ;H 2, ()2 ) + kpt (s)kL2 (0,tn ;H 1, ()) + k k~utt (s)kL2 (0,tn ;L2 ()2 )
2
2k
0h
0, +
k~1n k20, +
N
X
!
k~2n k20,
(2.108)
k~ut (s)kH 2, ()2 + kpt (s)kH 1, () ds.
(2.109)
n=1
n=1
k~1n k0,
1
ch
k
tn
tn1
Donc :
N
X
k~1n k20,
n=1
2
N Z tn
h2 X
c
k~ut (s)kH 2, ()2 + kpt (s)kH 1, () ds
k n=1
tn1
ch
N Z
X
2ch
N Z
X
2ch
tn
tN
k~ut (s)k2H 2, ()2 + kpt (s)k2H 1, () ds.
ds
k~ut (s)k2H 2, ()2 + kpt (s)k2H 1, () ds
t0
2
tn1
n=1
tn1
n=1
tn
k~2n k20, = k
PN
n=1
k~2n k20, . On a :
N
X
u(tn ) ~ut (tn )
2
~
0,
n=1
N
1X
k~u(tn ) ~u(tn1 ) k ~ut (tn )k20, .
=
k n=1
118
(2.110)
D'o :
k~u(tn ) ~u(tn ) k
Z
=
tn
Z
tn
tn1
2
(tn1 s) ~utt (s) ds
2
|(tn1 s)| k~utt (s) k0, ds
tn1
k3
3
Alors :
N
X
k~2n k20,
n=1
k2
tn
tn1
tN
(2.111)
t0
N
2
h
0,
N
N
X
X
0
2
n 2
k~2n k20,
h 0, + 2k
k~1 k0, +
n=1
n=1
0
2
4ch2
h 0, +
Z
tN
kpt (s)k2H 1, ()
t0
k2
ds + 2
3
tN
t0
N
h
C h k~ut (s)k 2
+
kp
(s)k
+
k
k~
u
(s)k
2,
2
2
1,
2
2
2
t
tt
L (0,tN ;H () )
L (0,tN ;H ())
L (0,tN ;L () ) ,
0,
si l'on choisit ~
u0h = ~uh (t0 ) cela implique h0 =
h (t0 ) par les quations (2.74)(i) et (2.97)(i)
l'instant t0 .
prsent nous donnons la majoration nale de l'erreur entre hn et (tn ).
Thorme 2.5.10
proprits
(i)
et
Soit
(ii)
(Th )h
de la proposition
1.4.6
119
pour un
]1 0 (), 1[.
jouissant des
Il existe une
c>0
indpendante de
tI:
Preuve:
Thorme 2.5.11
C>0
telle que :
v
u N
uX
2
t
n
k kph ph (tn )k0, C h k~ut (s)kL2 (0,TN ;H 2, ()2 ) + kpt (s)kL2 (0,TN ;H 1, ()) ds
n=1
(2.112)
h : h dx + div(h qh ) h dx = 0
(h , qh ) Xh ,
(2.113)
avec nh = hn
h (tn ), rhn = pnh ph (tn ) et ~hn = ~unh ~uh (tn ). Prenons h = et qh = 0 dans
(2.113)(i) . On obtient :
Z
tr(nh ) dx = 0
tr(nh rhn ) dx = 0.
knh rhn k0, C
(nh rhn )D
0, + kdiv(nh rhn )k0, .
120
(2.114)
krhn k0,
knh k0,
kdiv(nh
rhn )k0,
(2.115)
Or d'aprs (2.113)(iit) , on a :
un ~ut (tn ) .
div (nh rhn ) = Ph0 ~
h
(2.116)
un ~ut (tn ))
.
Donc il nous faut majorer
Ph0 (~
h
0,
0
n
un ~ut (tn )
u ~ut (tn )
Ph ~
~
h
h
0,
0,
(2.117)
n ~
~uh uh (tn )
0,
=
~hn
0,
~
+
uh (tn ) ~ut (tn )
0,
+ k~ n k0, .
n
2
h 0,
(2.118)
krhn k20, C knh k20, + 2 k~ n k20, knh k20,
Faisant la somme de ses ingalits membre membre pour n = 1, .., N, on obtient :
N
X
k krhn k20, C
n=1
N
X
k knh k20, + 2
n=1
N
X
!
2
0
2
k k~ n k20,
N
h 0, + h 0,
n=1
Si l'on choisit ~
u0h = ~uh (t0 ), ce qui implique h0 =
h (t0 ), on obtient :
N
X
k krhn k20, C
n=1
N
X
k knh k20, + 2
N
X
n=1
n=1
kpt (s)k2H 1, ()
!
k k~ n k20,
k2
ds + 2
3
(2.119)
k~ n k20,
ch
tN
t0
tN
t0
(2.120)
121
knh k20,
ch
PN
n=1
tN
Z
t0
tN
t0
Et donc :
N
X
knh k20,
tN
Z
ch T
kpt (s)k2H 1, ()
ds + k T
t0
n=1
tN
t0
(2.121)
Grce cette dernire estimation et l'estimation (2.120) on obtient qu'il existe une constante
krhn k20,
Z
tN
C h
kpt (s)k2H 1, ()
ds + k
t0
n=1
tN
ds .
t0
v
u N
uX
t
k krn k2
h 0,
C h k~ut (s)kL2 (0,TN ;H 2, ()2 ) + kpt (s)kL2 (0,TN ;H 1, ())
n=1
Thorme 2.5.12
proprits
(i)
constante
c>0
et
Soit
(ii)
(Th )h
de la proposition
indpendante de
1.4.6
v
u N
uX
2
t
n
k kph p(tn )k0, C h max
n=0,..,N
n=1
pour un
]1 0 (), 1[.
jouissant des
Il existe une
tI:
(2.122)
+ k~ut (s)kL2 (0,TN ;H 2, ()2 ) + kpt (s)kL2 (0,TN ;H 1, ()) + k k~utt (s)kL2 (0,tn ;L2 ()2 )
N
h
i2
X
k kpnh ph (tn )k0, + k
ph (tn ) p(tn )k0,
n=1
N
X
kpnh
ph (tn )k20,
n=1
+2
N
X
n=1
122
k k
ph (tn ) p(tn )k20, ,
v
u N
uX
t
k kpnh p(tn )k20,
n=1
v
u N
uX
C t
k kpnh ph (tn )k20, + h max
n=1
n=0,...,N
123
124
Chapitre 3
Mixed nite element method for the
Heat diusion equation in a random
medium
3.1 Introduction
In this paper, we investigate the dual mixed method for the stochastic heat diusion
equation :
div
K
u
=f
u = 0 on ]0, T [ D
u
on D .
|t=0 = g
in
Q := ]0, T [ D
(3.1)
Here D denotes a bounded polygonal domain in R2 , f the random heat source, u the random temperature, g its random initial value and K the random diusion coecient. g and
~ the gradient of the temperature, is addressed in the papers of T. G. Theting and al.
u,
[24] and [50] ; see also the book of Holden and al. [27]. The classical variational formulation
of the stochastic heat diusion equation (3.1) and its numerical discretization have been
studied in [23]. A stochastic version of the dual mixed formulation for the corresponding
stationary
problem to (3.1) has been studied in [24] and a priori error estimates have
been derived but for regular solutions in the space variable only (i.e. belonging to the
stochastic Sobolev space S 1,k,H
2 (D)
Our contribution here consists in introducing a stochastic version of the dual mixed
formulation (see [49] for the nonstochastic case) for the stochastic heat diusion equation (3.1) in a polygonal domain with a reentrant corner and proving a-priori optimal error
estimates for the semi-discretized problem. Thus additionally to the unknown random tem-
126
Preliminaries
= ()j1 (N0 )N with compact support (for the discrete topology on N0 ) i.e. such that
j N0 : j = 0, j j ( ! we use the notations of the Norway-School [27] : in
particular N = {1, 2, 3, ...} and N0 = N {0}). For I :
(2N) :=
+
Q
(2j)j ;
j=1
let us observe that this is in fact a nite product as has compact support. For S 0 (R2 )
i.e. a tempered distribution on R2 (S (R2 ) denotes the Frchet space of rapidly decreasing
functions on R2 and S 0 (R2 ) its dual [28] p.133), and I, we set :
H () =
+
Q
hi (h, i i) ,
(3.2)
i=1
hi : R R : x 7 (1)i e 2 x
di 1 x2
(e 2 )
dxi
([27], p.18, 207, 208) monic and orthogonal with respect to the normalized Gauss measure
1
exp
2
2
x2
dx
and where (i )iN S (R2 ) denotes the orthonormal basis in L2 (R2 ; dx1 dx2 ) constructed
by taking tensor products of the 1-D Hermite functions n () : R R dened by
1
1 2
n (x) = 4 ((n 1)!)1/2 e 2 x hn1 ( 2x)
x R, n = 1, 2, 3, . . . ([27] p.19, 208 ) (it is well known that the 1D Hermite functions
(n ())n1 which are the eigenfunctions of the Harmonic Oscillator since
dn
d2 n
2 + x2
= (2n 1) n , n > 1,
dx
dx
belong to S (R) the space of rapidly decreasing functions on R, and form an orthonormal basis of L2 (R; dx) ([28] p.142) ([27] pp.207-208)). Morever if S (R2 ) , the expansion
P+
j=1
( | j )L2 (R2 ;dx1 dx2 ) j converges in S (R2 ) ([28] p.143), (this is also true for
127
S 0 (R2 ) [28] p.143). By theorem 2.2.3 p.21 in [27], (H )I is an orthogonal basis of our basic
probalitiy space : the 1-dimensional (2-parameter) Gaussian white noise probability space
L2 S 0 (R2 ) , BS 0 (R2 ) ,
([27] p.21) . BS 0 (R2 ) denotes the Borel algebra of S 0 (R2 ) i.e. the
S 0 R2 Rn : 7 (h, 1 i , . . . , h, n i)
is the normalized Gauss measure on Rn : ([27] p.12)
n
f=
P (f |H )L2 ()
H and kf k2L2 ()
!
I
2
P (f |H )L2 ()
=
,
!
I
as kH kL2 () = ! := 1 !2 !3 ! . . . . This expansion is called the Wiener-It chaos expansion of f ([27] p.23) , ([30] p.42), ([42] p.6), [41]. The vector subspace spanned by the
{H , || = p} is called the polynomial chaos of order p and its closure in L2 () the Wiener
homogeneous chaos of order p ([30] p.44), ([33], p.4), ([42] p.6), (see also [41]).
Remarque 3.2.1
general
(i) The Wiener-It chaos expansion theorem remains valid for rather
denote
H () =
+
Q
hi (i ()) , , I.
i=1
Let us denote by
random variables
G A,
(i )i>1 .
f=
the
algebra
P (f |H )L2 ()
H
!
I
f L2 (, G, ) ,
and
kf k2L2 ()
128
2
(f
|H
)
2
P
L ()
=
.
!
I
(3.3)
Preliminaries
Consequently, all the results (except specic examples using explicitely the probability space
S 0 (R2 ) , BS 0 (R2 ) , ) which follow in this paper remain valid when replacing L2 S 0 (R2 ) , BS 0 (R2 ) ,
by
L2 (, G, ).
This exibility is usefull in theory ; for example the i.i.d. sequence of stan-
(i )i>1
[30], ([1] pp. 37-43) ([16], theorem 5 p. 251) of the random diusion coecient
to be a Gaussian random eld on a bounded open set of
R2
assumed
imposed a priori. However, from the numerical point of view, this is of no importance :
the only important fact is that
(i )i1
()i1 .
N (0, 1)
This last numerical procedure does not take into account the peculiarity of the i.i.d.
()i1 .
denotes any real separable Hilbert space. It is easily seen that (3.3) re-
v V
f L2 ((, G, ) ; V ).
and applying
(3.3)
v f .
Let us now recall the denition of the stochastic Sobolev spaces introduced by Y.
Kondratiev [52],[27] that we will need to explain the classical variational formulation and
the mixed variational formulation for the Cauchy problem (initial boundary value problem
with homogeneous Dirichlet boundary condition) of the stochastic heat diusion equation
(3.1). Let (V, (., .)V ) denotes any real separable Hilbert space and k R, [1, 1] be
given parameters. We dene the space
,k,V
P
:= f =
f H ; f V for I and kf k,k,V < +
(3.4)
where
kf k2,k,V :=
P
I
kf kV (2N)k (!)1+ .
(3.5)
Clearly the norm dened by equality (3.5) is induced by the scalar product :
(f | g),k,V :=
(f | g )V (2N)k (!)1+ .
129
(3.6)
kf k2V ! <
S ,k,V :=
(3.7)
and thus S ,k,V may be seen as an orthogonal countable direct sum of Hilbert spaces (copies
k
(3.8)
Thus for 0 and k 0, we have the inclusion in the reverse order : L2 (; V ) S ,k,V .
Let us also observe that, for k R, [1, 1] , that
e V
S ,k,V = S ,k,R
(3.9)
e denotes the algebraic tensor product completed for the projective norm ([31], p.93where
94).
Let D R2 be an open bounded set in R2 . If V = L2 (D) , then we will note more shortly
2 (D)
1 (D)), then
by S ,k,0 (D) or S ,k,0 . If V = H 1 (D) (resp. H
1 (D)
1 (D)
(resp. S ,k,H
) by S ,k,1 (D) or
X
X
: (f, g) 7 f g :=
f g H
, I
+ =
130
Preliminaries
[38]. To provide conditions on f such that g 7 f g is a continuous linear operator in
S 1,k,0 (D), we introduce the Banach space Fl (D) [38]. Given l R, we dene the Banach
space [38], [25]
Fl (D) =
f
=
I f H ; f : D R measurable I
and
(3.10)
xD I
Fl (D) is a commutative Banach algebra for the Wick product ([38], prop.6, p.123) with 1
as unity. Moreover, if f Fl (D) and g S 1,k,0 (D) with k 2l, then the Wick product
is a well dened element of S 1,k,0 (D) and kf gk1,k,0 kf kl, kgk1,k,0 ([38], prop. 4, p.
120) [25].
For the mixed formulation, we will also need the space S ,k,V with V = H (div; D) ; more
shortly we will denote it as in [24] p. 609, H (div; D).
Finally if f =
2
I f H is in L (; V ) =
2.1.2 p.12 of [27], it follows that E (f ) = f(0,0, ) where E (f ) denotes the mathematical
expectation of f with respect to the white noise Gaussian measure .
For that reason if f =
Remarque 3.2.2
F generated by the
M
2
2
ti h, i i ; (t1 , . . . , tM ) R , t1 + + tM = 1 ,
hp
M
P
i=1
where
hp ()
denotes the
1D
h, 1 i , . . . , h, M i
is described in
([42] p. 6)).
That
is contained in
E
hp
M
P
i=1
ti h, i i =
X
=(1 ,2 ,...,M ),
1 ++M =p
131
p!
t H ()
!
t = (t1 , . . . , tM ) RM
such that
t21 + + t2M = 1.
(1 , . . . , M ) NM
0
Rd of the form
t
! =(1 ,2 ,...,M ),
r=0
y R d (d =
1 + + M
such that
with
F = E,
(M + r)
p!
= p)
being the
is orthogonal
t21 + + t2M = 1,
1 ++M =p
formed by the coecients appearing in the right-hand side of the preceding equation, that
t
!
i.e.
(t1 , . . . , tM )
t
= 0, (t1 , . . . , tM ) RM .
!
=(1 ,2 ,...,M ),
1 ++M =p
Dt
for every
=(1 ,2 ,...,M ),
1 ++M =p
= (1 , . . . , M ) NM
0
such that
y = 0,
!
1 + . . . + M = p.
Thus
y = 0.
What was to
be proved.
Remarque 3.2.3
S (R2 ) ,
If
h., i L2 ()
dened
by :
h., i : S 0 R2 R : 7 h, i .
It follows from lemma 2.1.2 of ([27] p. 12) that
2
S (R )
a sequence in
L2 ()
a sequence in
L2 (),
S (R2 )
the sequence
h., i
L (R ),
the sequence
(h., n i)n1
is a Cauchy sequence in
(h., n i)n1
(n )n1
L2 ().
is
(h., n i)n1
L2 ()
is
Preliminaries
the sequence
element
(n )n1
L2 (R2 )
is a Cauchy sequence in
L2 (R2 )
which implies
g = h., i .
This proves that the Gaussian Hilbert space generated by the i.i.d. sequence of standard
normal variables
mapping
L2 ()
(h., j i)j1
is the space
L2 (R2 )
L2 (R2 ) L2 () : 7 h., i .
L2 ()
isometrically imbedded in
Denoting by
h., i,
H :1:
by the
running among
L2 (R2 ),
the so called
homogeneous Wiener chaos of order 1 ([33], p.4) ([30], p. 44), we may write by identifying
every
L2 (R2 )
L2 (R2 ) {0},
space
with
h., i
that
H :1: = H := L2 (R2 ).
S 0 (R2 ) , BS 0 (R2 ) ,
h., i : S 0 R2 R : 7 h, i
and variance
kkL2 (R2 ) .
B
of
R2
S 0 (R2 ) , BS 0 (R2 ) ,
h., 1B i : S 0 R2 R : 7 h, 1B i
is a random orthogonal measure with the Borel measure on
R2
Remarque 3.2.4
that for every
j S (R2 )
L2 (R2 )
constructed by
jn = j j j = hn (j )
where
hn
n (e.g. j2 = j2 1, j3 = j3 3j , j4 =
H :2: ([33],
n ([33]
p.18) . In particular
jn
belongs to the
133
h2 (j ) = j2
h1 (i ) h1 (j ) = i j = i j
for
i 6= j . j2
< ., j >2
being
the square of a standard normal random variable is a chi-square random variable with one
degree of freedom from which it is easy to derive that the probability density function of the
random variable
1+x
2
1 e
0 for x 1.
On the other hand by using the advanced change of variables by area formula (theorem
1.12 page 5 of [43]) and the fact that that
(< ., i >)iN
have for
i j
(thus in fact
1
as probability density function : K0 (|.|), where
i 6= j
x>0
K0
the
1 0
00
y + y y =0
x
which has a regular singular point at 0 ([44], p.71-75), such that
x 0+ ).
H :1: ,
K0 (x) ln(x)
as
H :2: ,
We close this section by the following technical lemma, that we will need in section 3 :
Lemme 3.2.5
ded in
Preuve:
. In particular
kj k,R2 1, j N.
Denoting temporarily by
Hn
A fortiori
exp (x2 )
2n ,
we have by
n
x2
) k 2 2 n!
2
(3.11)
k 1.086435.
Now, we have the following formula wich links our Hermite polynomials
134
hn
monic and
exp( x2 )dx,
Hn :
n
x
2
hn (x) = 2 Hn , x R, n N0 .
2
n N,
hn1
(3.11)
to
1
4
((n 1)!)
(3.13)
12
kn k,R 1, n N.
1 2
2x , x R.
exp( x )hn1
2
k
1
on
is
(3.13)
0.82, x R.
follows that :
|n (x)|
Thus
n (x) =
From formulas
(3.12)
on
j , j N,
on
R2
k k,R2 1, I .
3.3 Existence, uniqueness and time regularity of the solution of the classical variational formulation of the
heat diusion equation in a random medium
We rstly recall the (classical) variational formulation of the heat diusion equation in
a random medium and T.G Theting's result on existence and uniqueness [23]. Then we will
give a time regularity result for the solution. Let D R2 be an open bounded set in R2 (we
will restrict ourselves later to polygonal domains in R2 ). Let T be a positive real number,
1,k,1
S01,k,1
. In the following,
135
1 (D)
(we will
hhF, f ii =
hF , f i !.
|hF , f i| !
P
I
P
I
kF k2H 1 (D)
21
P
(!) (2N)
kf k2H1 (D)
21
(2N)
kF kS 1,k,1 kf kS 1,k,1 .
0
1,k,1
R : f 7 hhF, f ii
To introduce the classical variational formulation [23] of the stochastic heat equation, we
rstly need to recall the denition of Sobolev spaces comprising functions mapping time
in Hilbert spaces ([21], p.285,. . . ) ([35], vol.8 p.577-579).
Dnition 3.3.1
By
W (0, T ; X),
Let
L2 (0, T ; X) ; 0 L2 (0, T ; X )
[0, T ]
into
X0
i.e.
[0, T ]
into
W (0, T ; X) =
C ([0, T ] ; H), the space of continuous functions from [0, T ] into H endowed with the sup
norm. In particular
W 0, T ; S01,k,1 (D) , C [0, T ] ; S 1,k,0 (D)
g S 1,k,0 (D). Let us also suppose that the stochastic diusion coecient K Fl (D)
136
Thorme 3.3.2
K Fl (D)
l R and that its generalized expectation E [K] is strictly positively lower bounded
for some
i.e. that
kR
the condition
!
inf E [K]
2
ln D
.
(3.14)
k < 2l +
ln 2
kKkl,
2
1,k,1
Then f L 0, T ; S
(D) and g S 1,k,0 (D), there exists one and only one
1,k,1
u W 0, T ; S0
(D) , C [0, T ] ; S 1,k,0 (D) solution of the classical variational
formulation relative to the heat equation with random diusion coecient
d
dt
~ () , v
~
(u () , v)1,k,0 + Ku
1,k,0
K (3.1)
u (0) = g.
Moreover we have the following energy inequality :
sup
t[0,T ]
ku (t)k21,k,0
Z
+
(3.16)
(, )1,k,0
dt .
kgk21,k,0
Remarque 3.3.3
In
(3.15),
kf
(t)k21,k,1
Remarque 3.3.4
dt .
ku (t)k21,k,1
S 1,k,0 (D)2 .
(3.14)
k 2l
~ v
~
S01,k,1 (D) S01,k,1 (D) R : (u, v) 7 Ku,
is well dened and coercive on
1 and 2 chapter
XVIII,
1,k,0
(3.17)
p.619 and 620 of [35]. Let us also mention that some existence and
137
S 1,k,0 (D).
Setting
~ S 1,k,0 (D)},
D(A) = {u S01,k,1 (D); div(Ku)
~
A : D(A) S 1,k,0 (D) : u 7 div(Ku),
it follows by Lumer-Phillips' theorem ([6], p. 14) (Lax-Milgram's lemma and the coercivity
of
(3.17) ,
implies that
Example 3.3.5
(W (x))xD
parameter
that
S 1,k,0 (D).
inf E [K]
1.5 kKkl,
Let us recall rstly the denition of the singular white noise eld
W =
(following ([16], p.80), we prefer to say eld instead of process because the
x D ([25],
is
3.3.2,
that
2
ln
k < 2l +
ln 2
it can even be shown that
p.4)
([27],
i I
p.38) where
Fl (D) (3.10)
i=1
(2i)
(i )i1
3.3.2
on
converges i
i=1
for
R2
l < 1,
l < 1.
by
But
E [W (x)] = 0, x D.
K = exp [W ] :=
i (x) Hi ,
0.
W Fl (D)
that
P+
P+
W (x) :=
+
X
1 n
W
([27],
n!
n=0
its Wick
(3.18)
It follows easily by using the basic algebraic properties of the Wick product ([27], lemma
2.4.5 p.42) that
K =
P ()
H ([25],
I !
138
p.17) ,
I,
P
ries
means
exp
i=1
ii
and
! means
i=1
W (.)
(2N)q
Fl (D)
W Fl (D)
for
converges i
for
l < 1.
l < 1
q > 1,
calculus result).
Also as
E [K] = 1, the hypothesis inf D E [K] > 0 of T.G. Theting's theorem 3.3.2 is trivially
3.3.2
suciently
Thorme 3.3.6
1,k,0
condition being satised for example if g S
(D) and K Fl (D)2 . Then the time
Additionaly to the hypotheses of theorem
du
derivative dt of the solution of the classical variational formulation
regularity properties :
du
1,k,1
2
L 0, T ; S0
(D) C [0, T ] ; S 1,k,0 (D) .
dt
Preuve: Let us consider the Cauchy problem : nd z W (0, T ; S01,k,1 (D)) such that :
d
dt
~ () , v
~
(z () , v)1,k,0 + Kz
1,k,0
df
dt
() , v
1,k,0
, v S01,k,1 (D)
(3.19)
L2 0, T ; S 1,k,0 , L2 0, T ; S 1,k,1 and z(0) S 1,k,0 (because f (0) S 1,k,0
1,k,1
df
due to the hypotheses on f and dt ), it follows by theorem 3.3.2 that z L2 0, T ; S0
C [0, T ] ; S 1,k,0 and
df
~
+
kzkL2 (0,T ;S 1,k,1 )C ([0,T ];S 1,k,0 ) .
f (0) + div Kg
. (3.20)
dt
2
0
1,k,0
L (0,T ;S 1,k,0 )
As
139
Rt
0
z(s)ds + g .
du
(t)
dt
(3.19)(i) from 0 to t, taking into account the initial condition (3.19)(ii) and applying
Green's formula ([24], (2.10) p.611), we obtain equation (3.15)(i) . We have also u(0) = g
i.e. (3.15)(ii) . By unicity, it is thus the solution of the Cauchy problem (3.15).
We have
du
dt
du
dt
follows.
To be able to establish error estimates for the semi-discrete solution of the dual mixed
method relative to the heat equation in a stochastic medium (3.1),we will need also some
spatial regularity of its solution u, in weighted Sobolev spaces.
Firstly, let us recall the denition of the weighted Sobolev spaces, H 2,w (D), 0 < w < 1.
N
1 . For simplicity we assume that SN is situated at the origin of our
corner {SN } =
cartesian frame. By r () we denote the distance function from an arbitrary point in the
plane R2 to the origin and denotes the aperture of our reentrant corner.
Dnition 3.3.7
functions in
H 1 (D)
w ]0, 1[ ,
we denote by
rw D u L2 (D)
H 2,w (D)
for every
N20
such that
|| = 2.
Thorme 3.3.8
to
L2 0, T ; S 1,k,0 (D) ,
df
and its time-derivative dt belong
(3.15)
belongs to
S01,k,1 (D);
Then
kR
saties inequality
(3.15)
2,
uL
0, T ; S
1,k,H
o
(D) .
Fl (D) .
g S
1,k,0
w (D)
140
and that
K K
K, K1 , x
,
1 x2
(3.14).
satises :
for all
h
w 1 , 1 .
~
ut div Ku = f,
follows that
~
~
Ku = ut f K
u.
(3.21)
2
~ L2 0, T ; S 1,k,0 (D)
and by theorem 3.3.2 : u
0, T ; S 1,k,0 (D) .
Consequently the right-hand side of equation (3.21) belong to L2 0, T ; S 1,k,0 (D) . Mo-
u = K
~
~
ut f Ku L2 0, T ; S 1,k,0 (D) .
~
~
Let us set h := K1 ut f K
u
.
du
khkL2 (0,T ;S 1,k,0 ) .
+ kukL2 (0,T ;S 1,k,1 ) + kf kL2 (0,T ;S 1,k,0 ) .
dt
2
L (0,T ;S 1,k,0 )
Setting u(t) =
(3.22)
(3.23)
As u (t) H01 (D) and h (t) L2 (D) , 0 t [0, T ] , we have by (8,4,1,7) p. 388 of
Grisvard's book [3], that u (t) H 2,w (D) and by the closed graph theorem
(3.24)
Taking the squares of each side of inequality (3.24), multiplying both sides by (2N)
Q+
j=1
:=
obtain :
Z
0
(2N)
Z
dt .
0
141
X
I
Example 3.3.9
H 1 (R2 )
satisfying the
W (x, .) := h, x i , x D
and
x : R2 R : y 7 (x y) .
Let us recall that
W (x, .) := h., x i
S (R2 )
is the element of
L2 S 0 (R2 ) , BS 0 (R2 ) ,
dened by
is called the smoothed white noise eld ([27] p.13, 18, 66).
W (x, .) := h, x i =
+
X
(3.26)
(x |i )L2 (R2 ) Hi () ,
i=1
where
with
on entry number
and
elsewhere.
N 0, kk2
the space
P+
i=1
Fl (D) ,
(2i)l
converges if
l < 1,
(3.26)
W Fl (D) , l < 1.
From ([27] (2.6.48) p.66, (2.7.6) p.70) and
(3.26),
K := exp (W ) :=
it follows that
P+
1
n=0 n!
(W )n
(3.27)
=
142
I ! ( |) H
! :=
where
follows that
Q+
i=1
i !
and
( |) :=
Q+
i=1
K (x)1 = exp ( h, x i)
( |i )Li2 (R2 ) .
By formula ([27],
by
(2.6.49)
in formula
p.65), it
(3.27),
we
obtain
K (x)1 =
where
for
|| :=
l < 1.
l < 1
P+
i=1
That
i .
P 1
(1)|| (x |) H
I !
and
K1
belong to
Fl (D)
K, K1 ,
l < 1
for
(3.28)
K
K
, x
all belong to
x1
2
Fl (D)
W Fl (D)
results from
for
and proposition 6, (ii) p.123 of [38] (an elementary operational calculus result).
x 1 , x2
(3.27)
on elements of stochastic
and
(3.26)
that for
i = 1, 2
(3.29)
xi
belongs to
W (x, .) =
xi
Fl (D)
for
+
X
j=1
xi
l < 1.
Fl (D)
(3.26) :
(x )|j
Hj ()
L2 (R2 )
By
also belong to
Fl (D)
for
l < 1
xi
being a commutative Banach algebra for the Wick product (prop. 6 p.123
[38])
K
= KW , K Fl (D)
xi
xi
From
(3.27)
follows that
E [K (x)] = 1, x D,
for
l < 1.
of
the
dened by
for
l < 1
kR
is choosen su-
(3.14) for some l < 1, if f, df
L2 0, T ; S 1,k,0 (D) ,
dt
o
n
and if the initial condition g
g S01,k,1 (D); g S 1,k,0 (D) , then the weak solution
ciently negative to satisfy condition
143
ut div exp W u = f
u = 0 on ]0, T [ D
u
on D .
|t=0 = g
in
2,w
u L2 0, T ; S 1,k,H (D)
for all w 1 , 1 .
1,k,1
du
1,k,0
2
(D)
C
[0,
T
]
;
S
(D)
.
L
0,
T
;
S
0
dt
Example 3.3.10
Q := ]0, T [ D
S 0 (R2 ) is,
1
2
and
which is proved to be true in [27] (lemma 2.6.16 p.66) for every function
L2 (R2 ) ,
the
K = exp (W )
is always strictly positive. Thus, it seems to be worthwhile to give an example of a diusion
coecient
which can take negative values though satisfynig all the the hypotheses of
H 1 (R2 ).
K
(i=1,2) belong to Fl (D) for l < 1. Let us nd a condition on K who assures
xi
1
us that K
exists and belongs to Fl (D) for l < 1. By proposition 6, (ii) p.123 of [38]
that
K,
kW kl, < 1,
the series
1 W + W2 W3 +
converges to some element of
belong to
exists and
144
kW kl, :
W (x, ) =
+
P
i=1
where
(x | i )L2 (R2 ) Hi ,
, . . . , 0, . . . , and
Hi : S 0 R2 R : 7 h, i iS 0 (R2 ),S(R2 ) .
i = 0, . . . , 1(ie`
position)
kW kl,
xD
i=1
kkL2 (R2 )
this late series being convergent if
the series
W1
l
P+
n=1
(l < 1).
(1)n Wn
+
P
i=1
+
P
il ,
i=1
(3.30)
In conclusion, if
H 1 (R2 )
(3.30),
and
then also
l < 1,
then
K,
K1 Fl (D) .Let
K K
,
x1 x2
Fl (D)
Fl (D)
to
and if
E [K] = 1. If k R satises
+
P l
2
l
ln 1 + kkL2 (R2 ) 2
k < 2l
i
ln 2
i=1
(3.31)
H 1 (R2 ),
that
l < 1
L2
ut div (1 + W ) u = f in Q := ]0, T [ D
u = 0 on ]0, T [ D
u
on D .
|t=0 = g
2,w
2
belongs to L
0, T ; S 1,k,H (D) for all w 1 , 1 . Moreover by
du
2
and dt L
0, T ; S01,k,1 (D) C [0, T ] ; S 1,k,0 (D) .
then the weak solution
145
theorem 3.3.6,
n
o
~ L2 (D)2 ; div
~ L2 (D) this latter space being
endowed with its natural norm and H(div; D) := S 1,k,H(div;D) with the corresponding
1,k,1
2
consequently p
~ := K u L2 0, T ; S 1,k,0 (D)
(D) , K Fl (D) and k 2l ;
Let us now assume that the stronger hypotheses of theorem 3.3.6 are veried. In particular
du
dt
L2 0, T ; S 1,k,0 (D) . Applying equation (3.15)(i) , it follows that :
div p~ = ut f L2 0, T ; S 1,k,0 (D) .
2
Thus p
~ L2 0, T ; S 1,k,0 (D)
and div p
~ L2 0, T ; S 1,k,0 (D) . Equivalently
p~ L2 (0, T ; H (div; D)) L2 0, T ; S 1,k,H(div;D) .
Now, let us take some ~
q H (div; D) . We also assume in addition to the hypotheses
of theorem 3.3.6 that K1 Fl (D). For 0 t [0, T ], (0 means for almost every), we have
2 ()2
the equation K1 ~
p (t) u (t) = 0. Taking the scalar product with ~q in S 1,k,L
and
P
~p (t) , ~q 1,k,0 =
u (t) , ~q (2N)k
0
P
I
K1 ~p (t) , ~q 1,k,0 + (u (t) , div ~q)1,k,0 = 0,
~q H (div; D) .
Taking the scalar product in S 1,k,0 (D) of both sides of the equation
(3.32)
v S 1,k,0 (D) .
(3.33)
Equations (3.32) and (3.33) form the mixed formulation of the stochastic heat equation
with random diusion coecient K (and random heat sources and initial temperature also)
(3.1).
More precisely, the mixed formulation of the Cauchy problem in the polygonal domain D
with random heat source f and random initial temperature g , is the following problem :
nd p
~ L2 (O, T ; H (div; D)) , u H 1 0, T ; S 1,k,0 (D) such that 0 t [0, T ] :
1,k,0
(D) ,
(3.34)
and
u (0) = g.
We have already proved that, under the hypotheses of theorem 3.3.6 and K1 Fl (D),
problem (3.34) possesses at least one solution. It remains to prove uniqueness :
Lemme 3.4.1
Assuming that
K1 Fl (D)
and that
veries condition
(3.14),
bilinear form
2
2
a (, ) : S 1,k,0 (D) S 1,k,0 (D) R : (~p, ~q) 7 K1 ~p, ~q 1,k,0
is also coercive.
1,k,0
K1 u, u
1,k,0
the
kuk1,k,0 =
K K1 u
1,k,0 kKkl, kwk1,k,0 .
Thus
kwk1,k,0 kKk1
l, kuk1,k,0 .
Putting together these inequalities, it follows that :
K1 u, u
1,k,0
c
2
1,k,0
(D).
2 kuk1,k,0 , u S
kKkl,
Thorme 3.4.2
Fl (D),
(3.34)
K1
(3.15),
(3.34)
the
is given
by
Preuve: We have already proved that if u W (0, T ; S01,k,1 (D)) is the unique solution of
the classical variational solution (3.15), then
(3.35)
d
ku(t)k21,k,0 0.
dt
As u H 1 0, T ; S 1,k,0 (D) by theorem 3.3.6, u is absolutely continuous from [0, T ] with
values in the separable Hilbert space S 1,k,0 (D) ([23], lemma 2.3, p.5) . It follows by integration then, that
ku(t)k21,k,0 ku(0)k21,k,0 = 0.
Thus u = 0. By (3.35) and the coercivity of the bilinear form of its left-hand side, we now
obtain p
~ = 0.
3.5 Semi-Discrete solution of the dual mixed formulation for the heat diusion equation in a stochastic
medium
Let us consider a family of triangulations (Th )h>0 on the polygonal domain D R2
(let us recall that D possesses one and only one reentrant corner at the origin of R2 ).
For K a triangle belonging to the triangulation Th , let us denote by hK the diameter of
K and by K the interior diameter of K i.e. the diameter of the biggest disc included
in K. As in theorem 8.4.1.6 p. 392 of [3], we suppose that the family of triangulations
hK
K
of the parameter h ; in that case, one says usually that the family of triangulations is
regular (see for example [4] (17.1) p.131). In accordance with the tradition (see [4] remark
17.1 p 131) the parameter h has also another signicance : it may denotes instead of the
parameter h itself, the maxKTh hK . The true signicance of h is always clear from the
context.
Let us now dene the semi-discretized problem. Firstly, let us dene the following nite
149
Xh : = ~qh H (div; D) ; K Th : ~qh|K RT0 (K) ,
Mh : = vh L2 (D) ; K Th : vh|K P0 (K) ,
x1
2
denotes the 3-dimensional vectorial space on
where RT0 (K) := P0 (K) P0 (K)
x2
R of all Raviart-Thomas vectorelds of degree 0 on the triangle K i.e vectorelds of the
form
IN,K = {(0, . . . , 0, . . .)}
N S
K
S
Nk0 ;
|| = n and k =
6 0
n=1 k=1
that is to say IN,K is the set of all multi-indices such that their index (index :=
max {j; j 6= 0}) is smaller than or equal to K and their modulus (|| :=
smaller than or equal to N . This set can be shown to contain
(N +K)!
N !K!
P+
j=1
j ) is
dierent multi-indices
([26] p. 9) ([30] p. 82). We are now in a position to dene nite dimensional vector subspaces
of H (div; D) , respectively of S 1,k,0 (D) :
(N,K)
Xh
X
~qh, H ; ~qh, Xh , IN,K ,
: = ~qh =
IN,K
(N,K)
Mh
X
: = vh =
vh, H ; vh, Mh , IN,K .
IN,K
(N,K)
nd (~
ph , uh ) L2 0, T ; Xh
(N,K)
H 1 0, T ; Mh
such that, 0 t [0, T ] :
(N,K)
K1 ~ph (t) , ~qh 1,k,0 + (uh (t) , div ~qh )1,k,0 = 0, ~qh Xh
,
(N,K)
(3.36)
and
uh (0) = gh M (N,K) .
h
(N,K)
the above problem (3.36) possesses one and only one solution
(N,K)
H 1 0, T ; Mh
Thorme 3.5.1
(N,K)
in L2 0, T ; Xh
:
Let the hypotheses of theorem 3.4.2 be satised. Then problem
(3.36) possesses
(N,K)
(N,K)
.
H 1 0, T ; Mh
(~ph , uh ) L2 0, T ; Xh
Moreover
(N,K)
p~h H 1 0, T ; Xh
.
Preuve: Let ~qh(1) , . . . , ~qh(J) be a basis of Xh and vh(1) , . . . , vh(L) be the special basis of Mh formed
(j)
by the characteristic functions of every triangle K Th . Then the random vector elds ~
qh H
(N,K)
Xh
(N,K)
(k)
. Expanding p
~h (t) , respectively uh (t) in these
p~h (t) =
J
X
X
(j)
(3.37)
(k)
(3.38)
j=1 IN,K
and
uh (t) =
L
X
X
(uh (t))k, vh H ,
k=1 IN,K
where (ph (t))j, , respectively (uh (t))k, are some real coecients. Note that J is equal to
by taking for ~
qh Xh
(N,K)
IN,K } of Xh
J
P
P
K1
j=1 +=
an arbitrary element
basis {~
qh H ; j = 1, . . . , J,
:
(j)
(l)
~q , ~qh
h
0,D
L
P
(ph (t))j, +
(k)
(l)
vh , div ~qh
k=1
0,D
(uh (t))k, = 0
(3.39)
l = 1, . . . , J, IN,K .
Each equation in (3.39) is a linear homogeneous equation in the unknowns (ph (t))j, , j =
J:
B = bj,l
1j,lJ
where
bj,l
(j) (l)
~q , ~qh
h
0,D
K1
=
D
(j)
(l)
1lJ
1kL
where
C l,k =
(k)
(l)
vh , div ~qh
=
0,D
(k)
(l)
In a matrix form, the set of equations (3.39) for j = 1, . . . , J and every xed in IN,K
may be rewritten :
X
2
(,)IN,K
: +=
B (ph (t))j,
1jJ
+ C (uh (t))k,
= 0,
1kL
(3.40)
as B = B >
.
Let us now examine the heat balance equation (3.36)(ii) .
K
Equation (3.36)(ii) is equivalent to the set of L CN
+K equations obtained by taking for
152
vh Mh
(N,K)
Mh
(k)
(k)
J
X
(j) (k)
div ~qh , vh
j=1
d
(k)
(k)
(uh (t)) , vh
= f (t) , vh
(ph (t))j,
dt
0,D
0,D
0,D
(3.41)
1, . . . , J and
d
dt
(uh (t))k, , the right-hand side being in fact the opposite of the integral of
(k)
f (t) on the triangle of Th whose vh is the characteristic function. Denoting that triangle
of Th , Kk , equation (3.41) can be rewritten
J
X
(j) (k)
div ~qh , vh
j=1
d
(ph (t))j, |Kk | (uh (t))k, =
dt
0,Kk
Z
f (t) dx1 dx2 ,
(3.42)
Kk
k = 1, . . . , L, IN,K .
Introducing the diagonal matrix D of order L, whose diagonal elements are |K1 | , . . . , |KL | and
the vector F (t) of RL whose components are
R
K1
R
KL
f (t) dx1
dx2 , the system of L equations (3.42) for an arbitrary xed IN,K , can be rewritten :
C>
h
ph (t)j,
i
D
1jJ
i
d h
(uh (t))k,
= F (t) .
dt
1kL
(3.43)
K
From (3.36)(iii) we have also the set of J CN
+K initial conditions :
(3.44)
h
i
1kL
i
h
i
h
1 >
d
= D C (ph (t))j,0
+ D 1 F0 (t),
(uh (t))k,0
dt
1kL
1jJ
h
i
h
i
(uh (0))
=
(g
)
.
h
k,0
k,0
1kL
1kL
153
(3.45)
(B 0 )j,l :=
1 (j) (l)
~q , ~q
E [K] h h
Z
=
D
0,D
1 (j) (l)
~q ~qh dx, j, l = 1, . . . , J..
E [K] h
(3.46)
But by the hypothesis inf D E [K] > 0, from which it follows that :
2
J
J X
J
X
X
1 (j) (l)
(j)
~qh j
~qh , ~qh
j l inf E [K]
D
E [K]
0,D
j=1
j=1 l=1
> 0,
0,D
~qh
1 (j)
~q , j = 1, . . . , J
E [K] h
:=
((, )0,D (resp. kk0,D ) denotes the scalar product (resp. the norm) in L2 (D)). This shows
that B 0 is a symmetric positive denite matrix and thus invertible. It now follows from
equations (3.45) that
h
i
i
d h
1 > 1
+ D 1 F0 (t) .
(uh (t))k,0
= D C B 0 C (uh (t))k,0
dt
1kL
1kL
(3.47)
i
h
i
1
1
1
d 1h
12
2
D 2 (uh (t))k,0
= D 2 C > B 1
CD
(u
(t))
+ D 2 F0 (t) ,
D
h
0
k,0
dt
1kL
1kL
(3.48)
12
>
12
B 1
0 CD
the divergence operator from Xh into Mh is in fact surjective ([8] p.612), it is easy to see
L
L
that the linear operator C > B 1
0 C : R R is still positive denite despite the fact that
1
2
L < J . Thus the linear operator D 2 C > B 1
in RL is symmetric negative denite
0 CD
and thus generates a contraction semigroup (Pt )t0 on RL endowed with the euclidian norm.
The solution of the inhomogeneous linear system of dierential equations (3.48) with the
initial conditions (3.45)(iii) is given in terms of this semigroup by :
1
2
(uh (t))k,0
i
1kL
= Pt D
1
2
(gh )k,0
+
1kL
154
Pts D
0
1
2
F0 (s) ds.
(3.49)
(uh (t))k,0
=D
1
2
1kL
Pt D
1
2
(gh )k,0
1
2
+
1kL
i
h
1
2
Pts D
1
2
F0 (s) ds.
(3.50)
(uh ())k,0
i
1kL
on [0, T ]. Moreover, its derivative being given by the right-hand side of (3.47) is
in L2 0, T ; RL . Thus
(uh ())k,0
H 1 0, T ; RL .
1kL
From equation (3.45)(i) and the fact that, as we have seen previously, B 0 is symmetric
positive denite and thus invertible, we have also that
(ph ())j,0
i
1jJ
H 1 0, T ; RJ .
Let us now consider the case 6= 0. Reasoning by recurrence, we may suppose that we
have already computed all terms
(uh ())k,
and
1kL
(ph ())j,
i
1jJ
for < .
Equations (3.40), (3.43) and the initial conditions (3.44), give us the following system :
h
i
B
[p
(t)
]
+
C
(u
(t))
=
0 h
j, 1jJ
h
1kL
i
h
i
h
1 >
d
(u
(t))
=
D
C
(p
(t))
+ D 1 F (t),
h
h
k,
j,
dt
1kL
1jJ
h
i
h
i
(uh (0))
= (gh )k,
.
k,
1kL
(3.51)
1kL
We can now proceed similary as in the case = 0, using equation (3.51)(i) to eliminate
(3.52)
where
F (t) = F (t)
C > B 1
0 B [ph (t)j, ]1jJ .
(3.53)
<
Note that equation (3.52) is completely analogous to (3.47) and F (t) is explicitly known.
Reasoning like in the passage from (3.47) to (3.50), it follows from (3.52) and (3.51)(iii)
i
1kL
H 1 0, T ; RL .
h
i
1jJ
H 1 0, T ; RJ .
S 1,k,H
2 (D)
which is not the case here due to the reentrant corner of our polygonal domain
D.
1
K
~
p
,
~
q
+ (u, div ~q)1,k,0 = 0,
1,k,0
~q H (div; D) ,
(3.54)
(N,K)
, u h Mh
such that :
1
K
~
p
,
~
q
+ (uh , div ~qh )1,k,0 = 0,
h
h
1,k,0
(N,K)
~qh Xh
,
(3.55)
(N,K)
Under the above hypotheses , we have seen in lemma 3.4.1 that the bilinear form
2
2
a (, ) : S 1,k,0 (D) S 1,k,0 (D) R : (~p, ~q) 7 K 1 ~p, ~q 1,k,0 ,
(3.56)
b (, ) : S 1,k,0 (D) H (div; D) R : (v, ~q) 7 b (v, ~q) := (v, div ~q)1,k,0 ,
(3.57)
b (v, ~q)
& kvk1,k,0 ,
q k1,k,div
q~H(div;D) k~
sup
(3.58)
is proved in [24] (lemma 3.7 p. 615) and in fact follows easily by applying the construction
used in the deterministic case to prove it for each coecient v L2 (D) of the chaos
expansion of v . Thus by corollary 4.1 p. 61 of [15], problem (3.54) is well-posed (the above
2
Proposition 3.6.1
Let
(Th )h>0
independent of
h, N
and
sup
(N,K)
q~h Xh
such that :
b (vh , ~qh )
(N,K)
> c kvh k1,k,0 , vh Mh
.
k~qh k1,k,div
(3.59)
R2 with one reentrant corner at the origin), we indicate our proof, based on our work [8],
157
wich seems to us somewhat more clear than the proof given in [24]. Let vh Mh
let us consider its expansion in chaos polynomials vh =
IN,K
and
(N,K)
IN,K
(~qh ) H ; ~qh Xh
and :
IN,K
IN,K
1,k,0
P
k
=
((vh ) , div (~qh ) ) 2
IN,K (2N)
L (D)
P
k
2
2
k(vh ) k0 = kvh k1,k,0 ,
=
IN,K (2N)
k~qh k21,k,div
IN,K
c2
(3.61)
IN,K
(2N)k k(vh ) k2 2
L (D)
= c2 kvh k21,k,0
(3.62)
b (vh , ~qh )
1
> kvh k1,k,0 .
k~qh k1,k,div
c
(N,K)
(N,K)
Mh
,
then as div ~
qh itself belongs to
(N,K)
Mh
,
thus
Xh
of H (div; D).
By this observation and proposition 3.6.1 all the hypotheses of theorem II .1.1 p. 114 of
[15] are veried. Thus :
(N,K)
h Xh
+ inf v
(N,K)
h Mh
(3.63)
ku vh k1,k,0 .
Thus we are reduced to bound the right-hand side of the previous inequality. To do that,
we need some spatial regularity on p
~ ; we have the following result (analogous to theorem
3.3.8, but in this section we are concerned with the stationary case) :
Thorme 3.6.2
K K
inf E [K] > 0, K, x
,
, K1 Fl (D),
1 x2
D
f S 1,k,0 (D).
and that
k R
satises :
of
div
K
u = f
u|D
belongs to
S 1,k,H
2,w (D)
for all
=0
on
w > 1 (
in
D,
(3.64)
D,
denoting the opening of the reentrant corner
2
1,w
p~ = K u S 1,k,H (D) .
~
K u = f K
u.
K K
,
Fl (D) ,
x1 x2
g S 1,k,0 (D) and
kgk1,k,0 . kf k1,k,0
159
(3.65)
, I . By
1
g
L2 (D) ,
.
K
X
K 1 g
2 2 (2N)k ,
L (D)
I
i.e.
kuk1,k,H 2,w (D) .
K 1 g
1,k,0 .
But, we have seen above that
K 1 g
1,k,0 . kgk1,k,0 . kf k1,k,0 .Thus
kuk1,k,H 2,w (D) . kf k1,k,0 ,
Using (3.63), the preceding regularity result, and imposing appropriate renement rules
on our regular family of triangulations (Th )h>0 linked to the regularity of the solution
(3.6.2), we are going to derive O (h) error estimates in the spatial directions ; however to
be able to proceed in this way we will have to suppose that f S 1,k,1 (D) := S 1,k,H
Thorme 3.6.3
of triangulations
(R1) hK h
Under the hypotheses of theorem 3.6.2, supposing that our regular family
(Th )h>0
1
1w
1 (D)
>0
K Th
K Th
h,
k < 0
r > 1
and
such that
k+r R
and
r)
independent of
h, N
, the
r
BN,K =
A (r)
2
A(r) = e r1
K
1
K r1
+ B(r)
1
2rN
1
r
1
, B(r) = e 2r1 (r1) r
r1
2 (r 1)
its degree.
inf
(N,K)
q~h Xh
P
p~ H ~qh
+ inf
(N,K)
IN,K
q~h Xh
1,k,div
1,k,div
P
(~p h p~ ) H
,
BN,K k~pk1,k+r,div +
IN,K
P
p~
p~ H
IN,K
1,k,div
inf
(N,K)
q~h Xh
(3.67)
BN,K k~pk1,k+r,div +
k~p
BN,K k~pk1,k+r,div + ch
h p~ k2H(div;D)
k
(2N)
21
(2N)
|f |2H 1 (D)
21
L2 (D) on Mh ) which implies by inequality (45) of [8] that also : kdiv(~p h p~ )k0,D
ch |f |H 1 (D) .
Secondly :
inf
(N,K)
vh Mh
ku vh k1,k,0
P
u
u H
IN,K
P
+ inf
u
H
v
h
(N,K)
IN,K
vh Mh
1,k,0
1,k,0
P
P
u H
Ph u H
BN,K kuk1,k+r,0 +
IN,K
IN,K
1,k,0
P
(u Ph u ) H
BN,K kuk1,k+r,0 +
IN,K
1,k,0
21
P
k
2
BN,K kuk1,k+r,0 +
ku Ph u k0,D (2N)
I
BN,K kuk1,k+r,0 + ch
P
I
|u |2H 1 (D)
21
(2N)
inf
(N,K)
vh Mh
(3.68)
Remarque 3.6.4
r
BN,K =
tends to
exponentially with
N:
A (r)
1
K r1
+ B(r)
1
2rN
162
(3.69)
K:
the
Proposition 3.6.5
P
h p~ H
p~h
IN,K
1,k,0
IN,K
P
.
p~
h p~ H
IN,K
1,k,0
2
2
a (, ) : S 1,k,0 (D) S 1,k,0 (D) R : (~p, ~q) 7 K 1 ~p, ~q 1,k,0 ,
2
(3.70)
(3.71)
On the other hand from equations (3.54)(i) and (3.55)(i) it follows by subtraction that :
(3.72)
By equation (3.55)(ii) :
div p~h =
Ph f H .
IN,K
By equation (3.54)(ii) :
div ~qh =
Ph div p~ H =
IN,K
Ph f H ,
IN,K
Thus div (~
ph ~qh ) = 0. Thus it follows from equation (3.72) that :
163
(3.73)
Corollaire 3.6.6
k~p p~h k1,k,0
P
p~
h p~ H
IN,K
1,k,0
P
P
p~
h p~ H
+
p~h
h p~ H
IN,K
IN,K
1,k,0
1,k,0
P
.
p~
h p~ H
,
IN,K
1,k,0
by proposition 3.6.5.
Thorme 3.6.7
that
k+r R
We assume that
f S 1,k+r,0 (D)
for some
k < 0
and
r > 1
such
satises the same hypotheses as in theorem 3.6.2. We suppose that our regular family of
triangulations
(Th )h>0
(R1)
and
(R2)
of theorem 3.6.3.
Then
(3.74)
(3.75)
BN,K
are independent of
h, N, K
and
r,
and where
p
~
H
h
IN,K
1,k,0
P
h p~ H
p~
IN,K
1,k,0
P
p~
p~ H
IN,K
P
+
(~p h p~ ) H
IN,K
1,k,0
1,k,0
21
P 2 2
BN,K k~pk1,k+r,0 +
c h |~p |2H 1,w (D)2 (2N)k
I
by [45] (a substantial improvement of [39]) and by (31) p. 620 of [8], c denoting a strictly
positive constant. Thus :
P
p~ IN,K h p~ H
1,k,0
(3.76)
Proposition 3.6.8
(Th )h>0
has :
sup
(N,K)
q~h Xh
&)
independent of
h, N
and
(3.77)
K.
q~h Xh
b (vh , ~qh )
(N,K)
> c kvh k1,k,0 , vh Mh
.
k~qh k1,k,div
As k~
qh k1,k,0 k~qh k1,k,div , this late inequality implies a fortiori inequality (3.77) .
Corollaire 3.6.9
Let us denote by
Mh
on
D,
(N,K)
(Th )h>0
(N,K)
Ph
S 1,k,0 (D)
we have :
(N,K)
u uh
Ph
1,k,0
(3.78)
Preuve: From equation (3.54)(i) follows a fortiori for every ~qh Xh(N,K) :
K1 ~p, ~qh
As div ~
qh
(N,K)
Mh
1,k,0
(N,K)
Ph
u, div ~qh
(N,K)
Ph
K1 ~p, ~qh
u, div ~qh
1,k,0
1,k,0
(N,K)
+
P
u,
div
~
q
h
h
1,k,0
1,k,0
= 0.
1,k,0
(N,K)
Ph
u
165
uh , div ~qh
1,k,0
= 0,
for every ~
qh Xh
Thorme 3.6.10
that
k+r R
We assume that
f S 1,k+r,0 (D)
for some
k < 0
and
r > 1
such
satises the same hypotheses as in theorem 3.6.2. We suppose that our regular family of
triangulations
(Th )h>0
uh
(N,K)
u uh
Ph
1,k,0
(R1)
and
(R2)
of theorem 3.6.3.
BN,K
in the space
Preuve:
S 1,k,0 (D)
(N,K)
Mh
(N,K)
Ph
(3.79)
(3.80)
1,k,0
=
ku
P
Ph u k20,D
|u |21,D
21
(2N)
(2N)
21
. h |u|1,k,1
(3.81)
by (45) of [8].
From (3.79) and (3.81), we obtain (3.80).
that the
coecient of diusion K () Fl (D) satises inf D E[K] > 0, that f L2 (0, T ; S 1,k+r,0 (D))
166
df
dt
du
,
dt
L (0, T ; S
we also assume
1,k+r,0
(D)) and
n
o
du
L2 0, T ; S01,k+r,1 (D) C [0, T ]; S 1,k+r,0 (D) .
dt
We can now introduce the concept of elliptic projection in the setting of the dual mixed
method :
Dnition 3.7.1
of the mixed formulation of the evolution problem (3.34), the solution denoted p
h (t) , uh (t)
(N,K)
Xh
(N,K)
Mh
right-hand side
f (t)
with
du
(t), i.e.
dt
K
ph (t) , ~qh
+ (
uh (t) , div ~qh )1,k,0 = 0,
1,k,0
div
p h (t) , vh
1,k,0
= f (t)
Comparing
(3.55)
du
(t), vh 1,k,0
dt
t [0, T ] : f (t)
du
(t)
dt
(N,K)
~qh Xh
,
(3.82)
(N,K)
, vh Mh
S 1,k+r,0 (D).
ph (t) , uh (t) with (~p (t) , u (t)) , we have the following error estimate (to
give a self-contained statement, we recall all the hypotheses done at the beginning of this
section) :
Thorme 3.7.2
K,
sion coecient
and that
(R1)
and
(R2)
f,
df
dt
L2 0, T ; S 1,k+r,0 (D)
and
n
o
1,k+r,1
1,k+r,0
g g S0
(D) ; div K g S
(D)
for some
Then
r>1
and
t [0, T ]
k<0
such that
1,k,0
(3.83)
(3.84)
(3.85)
1,k,0
(N,K)
Mh
(N,K)
u (t) uh (t)
Ph
(N,K)
Ph
ph (t) p~ (t)
where
k+r R
S 1,k,0 (D)
Preuve: As
(N,K)
(N,K)
ph (t) , uh (t) Xh
Mh
is simply the solution of the discretized
mixed formulation of the stationary problem (3.54) with right-hand side f (t)
du
(t),
dt
the
above estimates (3.83) (3.85) follow from the regularity theorem 3.3.6 which imply that
the right-hand side f (t)
du
dt
respectively.
The purpose of the next result is to prove under some assumptions, some regularity on
d2 u
dt2
Thorme 3.7.3
f,
r > 1
df d2 f
,
dt dt2
and
L2
d
uh
(t) du
dt
dt
in proposition 3.7.5.
k + r R satises
0, T ; S 1,k+r,0 (D) and for the initial
k < 0
such that
that
i
m = 0, 1, 2 :
dm u
1,k+r,1
2
1,k+r,0
L
0,
T
;
S
(D)
C
[0,
T
]
;
S
(D)
.
0
dtm
Preuve: We know already by theorem 3.3.6 that the thesis is true for m = 0, 1.
Let us consider the Cauchy problem : nd W
2
df
() , v
, v S01,k+r,1 (D),
((), v)1,k+r,0 + K (), v
=
2
dt
1,k+r,0
1,k+r,0
h
i
df
d
dt
(3.86)
df
d
and dt
dt
1,k+r,0
As by hypothesis
df
dt
C [0, T ] ; S
By theorem 3.3.2, ()
df
d2 f
0, T ; S 1,k+r,0 (D) ,
belong to L2
dt2
(D) and df
(0) S 1,k+r,0 (D) . Thus (0) S 1,k+r,0 (D) .
dt
L2 0, T ; S01,k+r,1 (D) C [0, T ] ; S 1,k+r,0 (D) and :
dt
Z
z(t) =
S01,k+r,1 (D) ,
i
(0), v
,
dt
dt
1,k+r,0
1,k+r,0
169
(3.87)
1 (D)
([24], (2.10) p.
dz
(t) , v
dt
~
+ K z (t) , v
1,k+r,0
=
1,k+r,0
df
(t), v
dt
,
(3.88)
1,k+r,0
du
.
dt
d2 u
1,k+r,1
2
=
L
0,
T
;
S
(D)
C [0, T ] ; S 1,k+r,0 (D) .
0
2
dt
Corollaire 3.7.4
K1 Fl (D) ,
K
K
Under the hypotheses of theorem 3.7.3, and supposing also that x , x ,
1
2
then :
du
2,w
C [0, T ] ; S 1,k+r,H (D)
dt
(this
u (.)
K z (t) , v
1,k+r,0
by theorem 3.3.8).
z=
du
dt
df
dz
(t)
(t) , v
dt
dt
and satises :
, v S01,k+r,1 (D),
(3.89)
1,k+r,0
t [0, T ].
d2 f
C [0, T ] ; S 1,k+r,0 (D) and as by hypothesis : df
,
dt dt2
df
1,k+r,0
1,k+r,0
0, T ; S
(D) , we have also that dt C [0, T ] ; S
(D) . Thus the right-
By theorem 3.7.3,
L2
dz
dt
d2 u
dt2
df
dz
div K z (t) =
(t)
(t) S 1,k+r,0 (D), t [0, T ] .
dt
dt
df
dt
(3.90)
C [0, T ] ; S 1,k+r,0 (D) . This im
plies that the mapping [0, T ] S 1,k+r,0 (D) : t 7 div K z (t) is a continuous
170
dz
dt
t 7 z (t) =
du
(t)
dt
Proposition 3.7.5
2,w (D)
Under the hypotheses of corollary 3.7.4 and supposing that our regu-
(Th )h>0
(R1)
and
(R2)
of theorem
3.6.3, we have :
du
du
du
d
u
h
(t)
(t)
. BN,K
+ h
,
dt (t)
dt (t)
dt
dt
1,k,0
1,k+r,1
1,k,H 2,w (D)
t [0, T ],
Preuve: As
f C1
is independent of
[0, T ] ; S 1,k+r,0 (D) . By theorem 3.7.3,
du
dt
2
df
, ddt2f ,
dt
1
h, N, K, t.
it follows that
[0, T ] ; S 1,k+r,0 (D) .
Mh
(N,K)
(N,K)
, nd p~h Xh
, u h Mh
such that :
1
(N,K)
(N,K)
~qh Xh
,
(3.91)
(it is clear from the proof of theorem 3.5.1, that this problem does not depend on the
particular value of k R), and introduce the linear operator
0
(N,K)
(N,K)
(N,K)
Ah : M h
Xh
Mh
: Fh 7 (~ph , uh )
solving the preceding problem ( Ah being a linear operator between nite dimensional
spaces is automatically also continuous), we see that t [0, T ] :
du
(N,K)
ph (t) , uh (t) = Ah Ph
f (t) (t) .
dt
Consequently,
(N,K)
(N,K)
1
ph () , uh () C [0, T ] ; Xh
Mh
,
and t [0, T ] :
!
dph
d
uh
df
d2 u
(N,K)
(t) ,
(t) = Ah Ph
(t) 2 (t) .
dt
dt
dt
dt
171
df
d2 u
() 2 () C [0, T ] ; S 1,k+r,0 (D)
dt
dt
d2 u
df
(t) 2 (t) S 1,k+r,0 (D),
dt
dt
t [0, T ].
Thus we are allowed to apply theorem 3.6.10, wich gives us :
du
du
du
d
u
h
(t)
(t)
. BN,K
+ h
,
dt (t)
dt (t)
dt
dt
1,k,0
1,k+r,1
1,k,H 2,w (D)
as
du
(t) is the solution of the exact stationary problem at the xed time t corresponding
dt
F (v) =
df
d2 u
(t) 2 (t), v
dt
dt
, v S 1,k,0 (D).
1,k,0
(as can be seen by a similar reasoning for the exact problem as we have done for the
approximate problem).
Subtracting equation (3.82)(i) from equation (3.36)(i) and equation (3.82)(ii) from equation
(3.36)(ii) , we obtain the following system in the quantities ~h (t) and h (t) :
(N,K)
1
,
K
~
(t)
,
~
q
+ (h (t) , div ~qh )1,k,0 = 0, ~qh Xh
h
h
1,k,0
(3.92)
d
(u
u
)
h
(N,K)
(t), vh
= 0, vh Mh
.
(div ~h (t) , vh )1,k,0 +
dt
1,k,0
172
h (0) = 0.
Choosing ~
qh = ~h (t) in (3.92)(i) and vh = h (t) in (3.92)(ii) , we obtain :
K1 ~h (t) , ~h (t) 1,k,0 + (h (t) , div ~h (t))1,k,0 = 0
(div ~h (t) , h (t))1,k,0 +
d (u uh )
(t), h (t)
= 0.
dt
1,k,0
(3.94)
(3.95)
1d
~h (t) , ~h (t) 1,k,0 +
kh (t)k21,k,0 =
2 dt
d
(u uh ) (t), h (t)
.
dt
1,k,0
(3.96)
Integrating both sides of this equation from 0 to t, taking into account (3.93), we obtain :
K
0
1
~h (s) , ~h (s) 1,k,0 ds + kh (t)k21,k,0 =
2
Z t
0
d
(u uh ) (s), h (s)
ds.
ds
1,k,0
(3.97)
1
K1 ~h (s) , ~h (s) 1,k,0 ds + kh (t)k21,k,0
2
0
2
Z t
Z t
1
d
2
(u uh ) (s)
kh (s)k1,k,0 ds + 2
2
ds.
0
ds
0
1,k,0
(3.98)
(3.99)
K1 ~h (s) , ~h (s) 1,k,0 Ca k~h (s)k21,k,0 .
To be able to absorb the term 2
(3.98) by Ca
Rt
0
Rt
0
(3.100)
k~h (s)k21,k,0 ds, term implicitely contained in the left-hand side of inequality
(3.101)
(3.102)
K1 ~h (s) , ~qh (s) 1,k,0 + kh (s)k21,k,0 = 0.
kh (s)k21,k,0
K1 ~h (s)
1,k,0 k~qh (s)k1,k,0
.
K1 ~h (s)
1,k,0 kh (s)k1,k,0 by (3.102).
Thus
kh (s)k1,k,0 .
K1 ~h (s)
1,k,0
. k~h (s)k1,k,0 .
This proves (3.101). From (3.98), (3.100) and (3.101) follows the following result :
Proposition 3.8.1
thesis
(3.14),
Supposing that
and that
kR
satises to hypo-
k~h (s)k21,k,0
ds +
kh (t)k21,k,0
Corollaire 3.8.2
2
Z t
d
(u uh ) (s)
.
ds
0
where
K, K1 Fl (D)
and
ds,
1,k,0
h ()k1,k,0
p~h () p h ()
2
2 + sup kuh () u
L 0,T ;(S 1,k,0 )
0tT
du
du
. BN,K
+ h
.
dt (t)
2
dt (t)
2
2,
1,k+r,1
(D))
L (0,T ;S
L (0,T ;S 1,k,H w (D) )
Preuve: This follows immediately from proposition 3.8.1 and proposition 3.7.5.
Applying corollary 3.8.2 in conjunction with theorem 3.7.2, we obtain the following a
priori error estimates on p
~h () and uh () (we recall all the hypotheses) :
174
Thorme 3.8.3
We suppose :
K(),
k < 0, r > 1,
f,
2
df
, ddt2f
dt
D;
and that
k + r < 2l +
(iii) that
K1 ,
2
ln
ln 2
inf D E [K]
kKkl,
!
;
L2 0, T ; S 1,k+r,0 (D) and that the initial condition g
1,k+r,1
~
(D), div Kg S 1,k+r,0 (D),
g S0
~
f (0) + div Kg
S01,k+r,1 (D),
~
~
div K(f (0) + div Kg ) S 1,k+r,0 (D);
(R2)
satises
Then :
k~ph
p kL2 0,T ; S 1,k,0 (D) 2 + kuh ukL2 (0,T ; S 1,k,0 (D))
(
)
du
. BN,K (
+ kukL2 ([0,T ]; S 1,k+r,1 (D))
dt
2
L (0,T ; S 1,k+r,1 (D))
du
+h(
+ kukL2 (0,T ; S 1,k,H 2,w (D) ) ) ;
dt
2
2,
L (0,T ; S 1,k,H w (D) )
175
176
Bibliographie
[1] R.B. Ash, M.F. Gardner, Topics in Stochastic Processes , Probability and Mathematical Statistics, Vol. 27, Academic Press (1975).
[2] P. Grisvard, Singularities in Boundary Value Problems , Research Notes in Applied
Mathematics RMA 22, Masson Springer-Verlag (1992).
[3] P. Grisvard, Elliptic Problems in Nonsmooth Domains , Monographs and Studies in
Mathematics 24 (1985)
[4] P.G. Ciarlet, Basic Error Estimates for Elliptic problems pp. 17-351 in : Handbook
of Numerical Analysis, Vol.II Finite Element Methods (Part 1), Edited by P.G. Ciarlet
and J.L. Lions, Elsevier Science Publishers (North-Holland) (1991).
[5] J.E. Roberts, J.M. Thomas, Mixed and Hybrid Methods pp. 523-639 in : Handbook
of Numerical Analysis, Vol.II Finite Element Methods (Part 1), Edited by P.G. Ciarlet
and J.L. Lions, Elsevier Science Publishers (North-Holland) (1991).
[6] A. Pazy , Semigroups of Linear Operators and Applications to Partial Dierential
Equations,
[7] V. Thome, Galerkin Finite Element Methods for Parabolic Problems , Springer Series in Computational Mathematics 25, Springer-Verlag (1997).
[8] H. El Sossa, L.Paquet , Rened Mixed Finite Element Method for the Poisson Problem
in a Polygonal Domain with a Reentrant corner,
BIBLIOGRAPHIE
[10] C. Johnson and V. Thome, Error Estimates for some Mixed Finite Element Methods
for Parabolic Type Problems,
[12] G. Raugel, C. Bernardi, Mthodes d'lments nis mixtes pour les quations de Stokes
et de NavierStokes dans un polygone non convexe ,
[13] M. Farhloul, Mthodes d'Elment Finis Mixtes et Volumes nis , Thse de l'Universit de Laval, Qubec, Mars(1991).
[14] P-A. Raviart, Les Mthodes d'lment Finis en mcanique des uides , Collection
de la direction des tudes et de Recherches d'Electricit de france, 40, ditions Eyrolles(1981).
[15] V.Girault, P.-A. Raviart , Finite Element Methods for Navier Stokes Equations
Theory and Alghorithms,
[18] N.V. Krylov, Introduction to the Theory of Random Processes, Graduate Studies in
Mathematics Volume 43, American Mathematical Society, Providence, Rhode Island
(2002).
[19] J-L. Lions, Cours d'analyse numrique.
[20] D. Nualart, The Malliavin Calculus and Related Topics , Probability and its Applications, Springer-Verlag (1995).
[21] L.C. Evans, Partial Dierential Equations , Graduate Studies in Mathematics Volume 19, American Mathematical Society Providence, Rhode Island (1999).
[22] G. Lumer, L. Paquet, Semi-groupes holomorphes et quations d'volutions , C.R.
Acad. Sc. Paris, t. 284 (24 janvier 1977), pp. 237-240.
178
BIBLIOGRAPHIE
[23] T.G. Theting,
[24] H. Manouzi, T.G. Theting, Mixed nite element approximation for the stochastic
pressure equation of Wick type ,
4, 605634.
[25] T. G.Theting, Solving Wick-stochastic boundary value problems using a nite element
method,
[30] R.G Ghanem, P.D. Spanos, Stochastic Finite Elements A Spectral Approch, Revised
Edition, Dover (2002).
[31] H. H. Schaefer , Topological Vector Spaces, Third Printing Corrected, Graduate Texts
in Mathematics 3, Springer-Verlag (1971).
[32] I.M Gel'fand, N. Ya. Vilenkin, Generalized Functions : Volume 4 Applications of
Harmonic Analysis,
[33] L. Larsson-Cohn , Gaussian Structures and Orthogonal Polynomials, Uppsala University, (1971).
[34] N. Wiener, The homogeneous chaos , Amer. J. Math., Vol. 60, pp. 897-936, (1938).
[35] R. Dautray, J-L Lions , Analyse mathmatique et calcul numrique pour les sciences
et les techniques, Volume 8 Evolution : semi-groupe, variationnel,
179
Masson (1988).
BIBLIOGRAPHIE
[36] T. Zhang , Characterizations of withe noise test functions and Hida distributions ,
Stochastic 41, pp. 71-87 (1992).
[37] J. Dieudonn , lments d'analyse tome1 : Fondements de l'analyse moderne, Cahiers
scientiques Fasicule XXVIII ,
[38] G.Vge, Variational methods for PDEs applied to stochastic partial dierential equation,
[39] F.E. Benth, J.Gjerde, Convergence rates for nite element approximations of stochastic partial dierential equations ,
[41] N. Wiener, The homogeneous chaos , Amer. J. Math., Vol.60, pp.897-936, 1938.
[42] D. Nualart, The Malliavin Calculus and Related Topics , Probability and its Applications, Springer-Verlag (1995).
[43] J. Mal, Lectures on change of variables in integral , Preprint 305, November 2001,
Reports of the Department of Mathematics, University of Helsinki, Finland.
[44] C.M. Bender, S.A. Orszag, Advanced Mathematical Methods for Scientists and Engineers ,
[45] Y. Cao, On Convergence Rate of Wiener-Ito Expansion For Generalized Random
Variables ,
(to appear).
180
BIBLIOGRAPHIE
[50] F.E. Benth, T.G. Theting, Some Regularity Results for the Stochastic Pressure Equation of
Wick-Type ,
181
Rsum
Dans ce travail on se propose d'tablir des estimations d'erreurs a priori pour les solutions approches d'quations d'volution obtenues par la mthode d'lments nis mixte duale en espace et ce pour trois types de problmes : le premier concerne le problme de Cauchy pour l'quation de diusion de la chaleur, le second est le
problme de Stokes instationnaire, et le dernier concerne le problme de Cauchy pour l'quation de diusion de
la chaleur mais avec un coecient de diusion alatoire. Pour ces trois types de problmes, il y a un certain
nombre de raisons de prfrer la mthode mixte duale en espace une mthode classique en espace ; parmi elles
la proprit fondamentale qu'est la conservation locale, et par suite globale, de certaines quantits physiques (la
quantit de mouvement, la masse, la quantit de chaleur,...). Une autre raison bien connue pour adopter la m~
thode mixte duale en espace est qu'elle nous permet d'introduire des nouvelles variables : p~ (t) = u(t)
le ux de
~
chaleur l'instant t pour l'quation de diusion de la chaleur, p~ (t) = Ku(t)
le ux de chaleur l'instant t pour
l'quation de diusion de la chaleur avec un coecient de diusion alatoire K, dnotant le produit de Wick,
(t) = ~
u(t) le tenseur gradient du champ des vitesses l'instant t pour le problme de Stokes instationnaire, ces
inconnues supplmentaires ayant un sens physique et une importance particulire pour plus d'une application. Il
est donc important de disposer d'une mthode numrique donnant aussi de bonnes approximations de ces quantits. Nous montrons que ces diverses quantits appartiennent des espaces de Sobolev ou des espaces de Sobolev
stochastiques de fonctions dpendant du temps, poids appropris en espace prenant en compte les singularits
de la solution apparaissant au voisinage des sommets non-convexes. Nous dcrivons ensuite des conditions de rafnement de maillage prs des sommets qui permettent d'obtenir une estime d'erreur a priori optimale en espace
entre une solution de l'quation d'volution et son approximation semi-discrte ou compltement discrtise.
MEF duale mixte, Espaces de Sobolev, Estimations d'erreur priori, Equation de diusion de la
chaleur, Coecient de diusion alatoire, Problme de Stokes instationnaire, Espaces de Sobolev stochastiques,
EDPS.
Mots-cls:
Abstract
This work intends to establish a priori error estimates for the approximate solutions of evolution equations
obtained by the dual mixed method of nite elements in the spatial directions for three types of problems : the rst
one concerns the Cauchy problem for the heat diusion equation ; the second is the non-stationary Stokes problem
and the last one concerns the Cauchy problem for the heat diusion equation with a random diusion coecient.
For these three types of problems, there is a certain number of reasons for prefering the dual mixed method
in the spatial directions to a classical method in the spatial directions. Among these reasons, the fundamental
property is the local conservation, thus a global one, of certain physical quantities (the quantity of movement,
the mass, the quantity of heat can be mentioned). Another well-known reason for adopting the dual mixed
~
method in the spatial directions is the fact that this method allows us to introduce new variables : p~ (t) = u(t)
~
the heat ow at time t for the heat diusion equation, p~ (t) = Ku(t)
the heat ux at time t for the heat
diusion equation with random diusion coecient K, or (t) = ~u(t) the gradient tensor of the velocity eld
at time t for the non-stationary Stokes problem, these additional unknowns having a physical sense of particular
importance for more than one application. It is thus important to dispose of a numerical method which gives good
approximations of these quantities. These physical quantities will be shown to belong to Sobolev or Stochastic
Sobolev spaces of functions depending of the time variable, with appropriate weights in the spatial directions
taking into account the singularities of the solutions appearing in the neighbourhood of the non-convex vertices of
the physical domain. Appropriate renement conditions near the reentrant corners which allow obtaining optimal
a-priori error estimates in the spatial directions between a solution of the evolution equation and the corresponding
solutions of the semi-discretized or completely dicretized problems will be described.
Keywords: Dual mixed FEM, Sobolev spaces, a priori error estimation, Heat diusion equation, Non-Stationary
Stokes problem, Random diusion coecient, Stochastic Sobolev spaces, EDPS.