Professional Documents
Culture Documents
Khaled Saleh
http://www.ann.jussieu.fr/~saleh/
1.1
1.2
1.1.1
Equations gnrales
1.1.2
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.1
Le problme de la membrane en 1D
. . . . . . . . . . . . . . . . . . . . . . .
1.2.2
. . . . . . . . . . . . . . . . . . . . . . .
10
1.2.3
Le problme de la membrane en 2D
. . . . . . . . . . . . . . . . . . . . . . .
12
1.2.4
. . . . . . . . . . . . . . .
13
16
2.1
La mthode de Galerkin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
16
2.2
17
2.2.1
18
2.2.2
22
2.3
Bibliographie
. . . . . . . . . . . . . . . . .
24
27
Prambule
Ce document constitue les notes d'un cours d'introduction la mthode des lments nis dstin
aux tudiants de troisime anne de la Facult d'ingnierie de l'Universit Franaise d'Egypte. Il
s'agit ici d'exposer les bases de la mthode et de l'illustrer sur des exemples trs simples issus de
la mcanique des milieux continus, avec pour objectif une mise en oeuvre l'aide du logiciel libre
freeFEM++ [3] dvelopp l'Universit Paris VI.
Les tudiants n'tant pas familiers avec les notions de base de l'analyse fonctionnelle, j'ai prfr
viter toute sophistication qu'induirait invitablement l'introduction des espaces de Sobolev. Pour
simplier, la formulation variationnelle des EDP est prsente comme une mthode permettant d'affaiblir les hypothses sur la solution en considrant des fonctions continues et
que des fonctions de classe
assurant l'existence et l'unicit des solutions comme le ferait le thorme de Lax-Milgram. Ainsi,
l'existence d'une solution est toujours postule.
Par ailleurs, ce document est imcomplet bien des gards. Le lecteur curieux est invit consulter les excellents ouvrages prsents dans la bibliographie [1, 2].
Chapitre 1
Equations de la mcanique et
formulation variationnelle
1.1 Equations de la mcanique des milieux continus
1.1.1 Equations gnrales
On considre un matriau solide qui occupe un ouvert
RN 1
extrieurs, sous l'action desquels, il va se dformer. La mcanique des milieux continus a pour objet
l'tude de cette dformation et des contraintes internes au matriau qui rsultent de l'application
de ces eorts extrieurs.
Nous pouvons distinguer deux types d'eorts extrieurs : les forces rparties de densit
appliques un solide lmentaire se trouvant au point
intrieur au matriau
f (x)
et les eorts
T (x)
R3 .
u(x),
(u),
qui mesure la d-
formation locale du matriau (et qui naturellement dpend du champ des dplacements
que le tenseur des contraintes
u)
ainsi
et
sont tous deux des fonctions valeurs dans l'ensemble des matrices symtriques.
Dans le cadre de l'lasticit linaire, on ne considre que des petits dplacements et donc de
petites dformations. Dans ce cas, le tenseur des dformations est donn par
1
1
(u) =
u + t ( u) =
2
2
ui
uj
+
xj
xi
,
1i,jN
1. Le solide peut avoir la topologie d'un volume, ou bien d'une surface ou encore d'une courbe.
(1.1.1)
est reli
(u)
(u).
Si de plus, le
= 2(u) + tr((u))Id.
et
(1.1.2)
sont deux coecients rels qui caractrisent le matriau et qu'on appelle coecients de
et du module de Poisson
du matriau
considr, par
E
,
2(1 + )
E
.
(1 + )(1 2)
(1.1.3)
div = f
o par dnition, la divergence de
dans
(1.1.4)
div
N
X
ij
xj
j=1
(1.1.5)
1iN
div(2(u) + tr((u))Id) = f
dans
(1.1.6)
que l'on doit complter par des conditions aux limites sur la frontire du solide
du plan
f (x)
e3
e2
e1
u(x)
div (u) = f
dans
(1.1.7)
avec
ij =
o
ij
ui
uj
+
xj
xi
+
0
= 0
0
0
u
x1
et par suite
(div (u)).e3 =
2u 2u
+
x21
x22
xk
u3
= 0,
x3
u
u
x2
ij ,
(1.1.9)
on obtient
x1
u
x2 ,
(1.1.10)
. Le bilan des forces s'crit donc
u = f
o l'oprateur Laplacien
3
X
uk
k=1
u1 = u2 =
(1.1.8)
dans
(1.1.11)
(u)(x, y) :=
u
u
(x, y) + 2 (x, y).
x2
y
(1.1.12)
L'quation (1.1.11) s'appelle l'quation de Laplace. Il faut la complter avec une condition aux limites sur le bord de
pour que le problme soit bien pos. Or, cette condition aux limites vient
dnie sur
(P)
Remarque 1.1.1.
sur le bord
telle que
(
u = f
u=0
,
.
dans
sur
(1.1.13)
dnie sur
(P)
(1.2.1)
Pour qu'une telle quation ait un sens, la solution est rechercher dans l'ensemble
C2
sur
[0, 1]
V02
des fonctions
V02 = u C 2 [0, 1], u(0) = u(1) = 0 .
[0, 1]
(1.2.2)
f (x)
x
u(x)
La rponse cette question est fournie par la formulation intgrale (ou encore la formulation vari-
ationnelle ) du problme
(P).
(P)
On part du problme
et on remarque que si
u00 (x)v(x)dx =
(P)
de manire ce
soient aaiblies.
est solution de
f (x)v(x)dx.
0
La fonction
(1.2.3)
est appele fonction test. Si on fait une intgration par parties dans le membre de
h
i1 Z
u0 (x)v 0 (x)dx u0 (x)v(x) =
0
0
et si
f (x)v(x)dx,
(1.2.4)
telle que
(1.2.5)
En rsum, si
0
9
(1.2.6)
Pour que l'expression (1.2.6) soit bien dnie, il sut que la fonction
2
par morceaux (comme c'est bien le cas dans l'exemple ci-dessus ) et non pas forcment de classe
C2
de classe
et
C2
qui vrie
(P),
(P).
continue et
V01 = u
continue et
u
C 1 par morceaux, nulle en 0
en u et v , on peut demander
C1
et
v.
Considrons, l'espace
[0, 1], u(0) = u(1) = 0 .
(1.2.7)
On a la dnition suivante :
Dnition 1.2.1.
Poisson
(P),
appartenant l'espace
(F V )
f (x)v(x)dx,
de
V01 .
(1.2.8)
telle que
u0 (x)v 0 (x)dx =
V01
(P).
(F V ).
Rciproquement, si
(P),
est une
u00 (x)v(x)dx =
f (x)v(x)dx
de
V01 .
(1.2.9)
v bien choisies, il est alors possible de vrier que cela implique que
u00 (x) = f (x) pour tout x dans (0, 1). De plus, comme u est dans V01 , on obtient automatiquement
que u vrie bien les conditions aux limites u(0) = u(1) = 0. Ainsi, la condition aux limites
En prenant des fonctions
de Dirichlet homogne est inscrite dans le choix de l'espace vectoriel dans lequel la solution est
recherche.
dnie sur
(
(N )
[0, 1]
telle que
x (0, 1),
(1.2.10)
2. En fait il y a une petite arnaque ici. Dans l'exemple considr d'une force ponctuelle exerce en
10
x, f
n'est
= = 0,
on parle de conditions
de Neumann homognes. La formulation intgrale pour ce type de problme dire par la prise en
compte des conditions aux limites. Nous reprenons la dmarche qui permet d'crire une formulation
u est
[0, 1] :
00
u (x)v(x)dx +
0
Z
u(x)v(x)dx =
f (x)v(x)dx.
(1.2.11)
h
i1 Z
u0 (x)v 0 (x)dx u0 (x)v(x) +
0
u(x)v(x)dx =
f (x)v(x)dx,
(1.2.12)
c'est--dire
u0 (x)v 0 (x)dx +
0
puisque
u0 (0) =
et
u(x)v(x)dx =
u0 (1) = .
(1.2.13)
0
Ainsi, la condition aux limites de Neumann est directement prise
en compte dans la formulation variationnelle, et il n'est pas ncessaire de l'inclure dans le choix de
l'espace vectoriel de rsolution. Pour que (1.2.13) soit dnie, il sut que
C1
[0, 1].
et
soient continues et
V1 = u
continue et
C1
[0, 1] .
(1.2.14)
On a la dnition suivante :
Dnition 1.2.2.
(N ),
(F V )
appartenant l'espace
u0 (x)v 0 (x)dx +
V1
de
u(x)v(x)dx =
0
telle que
V 1.
C2
(1.2.15)
de la formulation variationnelle
(F V ),
alors
est solution de
(N ).
dnie sur
11
(1.2.16)
dnie sur
(
(P)
telle que
dans
dans
,
.
(1.2.17)
Pour ce faire, nous avons besoin d'introduire la formule de Green, qui gnralise la notion d'intgration par parties des dimensions suprieures. Prcisons d'abord quelques notations :
ny
n
nx
ds
Soient
et
(x, y)dxdy =
x
(x, y)
(x, y)dxdy =
y
sur
alors :
C1
Z
(x, y)(x, y)nx (x, y)ds.
(1.2.18)
(1.2.19)
Thorme 1.2.1.
Soit
C2
sur
et
C1
sur
Z
u(x, y)v(x, y)dxdy =
u =
vecteurs
Z
u(x, y).v(x, y)dxdy +
u u
x , y
et
de
R
est le gradient de
2
(1.2.20)
u,
et o
a.b
12
Dmonstration.
(1.2.19) avec
=v
et
= v
u
x , et la formule
et
u
y puis de sommer.
C2
v(x, y)
et en intgrant sur
du problme de Poisson, en
on obtient :
(1.2.21)
On utilise le thorme 1.2.1 pour faire une intgration par partie ce qui donne
Z
u(x, y).v(x, y)dxdy
Si de plus la fonction
(1.2.22)
on a
Z
u(x, y).v(x, y)dxdy =
(1.2.23)
Cette quation est une gnralisation de la formule obtenue en dimension un d'espace, la drive
ayant simplement t remplace par le vecteur gradient. De mme qu'en dimension un, il sut
pour que l'expression ci-dessus ait un sens que
et
soient continues et
C1
Considrons, l'espace
V01 = u
continue et
C1
, u = 0
sur
(1.2.24)
appartenant l'espace
V01
telle que
Z
u(x, y).v(x, y)dxdy =
de
V01 .
(1.2.25)
u(x)
N .
f (x)
div = f
dans
(1.2.26)
Nous voulons crire une formulation variationnelle pour cette quation. On crit (1.2.26) composante
par composante :
3
X
ij
j=1
xj
= fi ,
dans
13
i = 1, 2, 3.
(1.2.27)
vi
Z X
n
ij
j=1
Z
vi d =
xj
fi vi d
i = 1, 2, 3.
(1.2.28)
On permute les signes somme et intgrale et on fait une intgration par partie :
3 Z
X
j=1
soit encore
ij
vi
d
xj
Z X
3
vi
d
ij
xj
j=1
En sommant sur
i,
Z
vi ij nj ds =
fi vi d
3
X
(1.2.29)
i = 1, 2, 3.
(1.2.30)
Z
vi ij nj ds =
fi vi d
j=1
on obtient
: v d
v.(.n) ds =
o
i = 1, 2, 3,
v=
v = (vi )1i3 ,
vi
xj
A:B=
et
f .v d,
(1.2.31)
1i,j3
3
X
Aij Bij
et
de
i,j=1
3 3. Le vecteur .n est l'image du vecteur normal sortant n = (nj )1j3 par la matrice ,
(.n)(x)ds est la force exerce par l'extrieur sur l'lment de frontire situ au point x. Ainsi,
pour tout x N , (.n)(x) = T (x). Cette condition de type Neumann est donc prise en compte
taille
et
: v d
D .
v.(.n) ds =
D ,
V = u = (u1 , u2 , u3 )
V
f .v d.
appartiennent aussi
continue et
C1
D .
(1.2.32)
En mcanique,
v.T ds
dans
V, u
, u = 0
sur
D .
(1.2.33)
Z
(u) : v d =
Remarque 1.2.1.
telle que
Z
f .v d +
v.T ds,
pour tout
dans
V.
(1.2.34)
appartenant l'espace
thorme
(u) : v d,
14
f .v d +
Exercice 2
des contraintes
Z
Z
Z
2(u) : (v) + (divu)(divv) d =
f .v d +
15
v.T ds.
(1.2.35)
Chapitre 2
dans
(F V )
V,
telle que
a(u, v) = hf, vi ,
de
V,
(2.1.1)
o
sur
V V,
Dans le cas du problme de Poisson avec conditions aux limites de Dirichlet homognes, l'espace vectoriel o l'on cherche la solution est
et les formes
et
hf, .i
V = u
continue et
[0, 1], u(0) = u(1) = 0
a(u, v) =
u (x)v (x)dx,
0
L'espace de rsolution
C1
(F V )h
f (x)v(x)dx.
(2.1.2)
hf, vi =
uh
dans
Vh
Vh
telle que
a(uh , vh ) = hf, vh i ,
16
vh
de
Vh .
(2.1.3)
Vh
Vh V , on
(F V )h
rsolution d'un systme linaire (i.e. l'inversion d'une matrice). En eet, si on se donne une base
(1 , ..., N )
de
Vh ,
la solution recherche
uh
uh (x) =
N
X
uj j (x).
(2.1.4)
j=1
Rsoudre
(F V )h
U = (u1 , ..., uN ) RN
N
X
a
uj j , vh = hf, vh i ,
tel que
vh V h ,
j=1
N
X
a (j , vh ) uj = hf, vh i ,
vh Vh ,
a (j , i ) uj = hf, i i ,
i {1, ..., N },
j=1
N
X
j=1
puisque
(1 , ..., N )
Vh .
En posant la matrice
A = (Aij )1i,jN RN N ,
Aij = a(j , i ),
(2.1.5)
et le vecteur
F = (Fi )1iN RN ,
Fi = hf, i i ,
(2.1.6)
AU = F.
(2.1.7)
A est inversible (ce qui sera toujours le cas pour nous), le vecteur U recherch est
U = A1 F et il est unique, ce qui prouve que le problme (F V )h admet une solution
matrice A est appele matrice de rigidit en rfrence aux problmes de mcanique o
Ainsi, si la matrice
donc gal
unique. La
Vh
(on parle de matrice creuse ) ce qui rend possible l'utilisation de mthodes numriques performantes
pour son inversion. La mthode des lments nis est avant tout une mthode d'interpolation. Ainsi,
pour approcher une fonction, on dcoupe son domaine de dnition en petits lments et sur chaque
lment, le comportement local de la fonction est reprsent par une fonction simple, comme une
fonction polynmiale par exemple. Dans la suite, nous illustrons la mthode sur l'exemple simple
du problme de Poisson :
(P)
(
u = f,
u=0
17
,
.
dans
sur
(2.2.1)
Remarque 2.2.1.
En dimension un, le problme de Poisson est tellement simple qu'il admet une
solution explicite. En eet si la fontion f est continue sur [0, 1], alors le problme de Poisson admet
2
une solution unique dans C ([0, 1]) donne par (on pourra le vrier en exercice)
Z
f (t)(1 t)dt
u(x) = x
0
f (t)(x t)dt,
x [0, 1].
(2.2.2)
Cependant, pour des problmes plus compliqus que le problme de Poisson en 1D, de telles formules
explicites n'existent pas, d'o la ncessit de dvelopper des mthodes numriques pour calculer des
solutions approches.
V = u
continue et
C1
[0, 1]
[0, 1], u(0) = u(1) = 0 ,
Vh V
(2.2.3)
(2.2.4)
[0, 1] en petits sous-intervalles [xi , xi+1 ], i = 0...N . Les inter[xi , xi+1 ] sont appels les cellules ou les mailles ou encore les lments du maillage. On notera
hi = xi+1 xi la taille de la maille i et on dnit
c'est--dire qu'on divise l'intervalle
valles
h = max xi+1 xi
(2.2.5)
0iN
le pas du maillage. Dans la suite, et pour des raisons de simplicit, nous serons souvent amens
xi
xi = ih,
avec
h=
1
.
N +1
(2.2.6)
Pk
Pk =
p(x) =
k + 1.
P1
k
X
aj xj , aj R
(2.2.7)
j=0
On introduit l'espace fonctionnel de dimension nie compos des fonctions continues sur
anes sur chaque maille
[xi , xi+1 ]
du maillage et nulles en
et en
Vh1 = v C 0 ([0, 1]), v|[xi ,xi+1 ] P1 , 0 i N, v(0) = v(1) = 0 .
18
[0, 1],
:
(2.2.8)
h de Vh1
[xi , xi+1 ]
et telles que
i {1..N } , j {0..N + 1} ,
o
ij
i (xj ) = ij ,
(2.2.9)
(
1 |x|
(x) =
0
si
si
|x| 1,
|x| > 1.
(2.2.10)
i
(1 , ..., N ),
une fonction
appartenant
v(x) =
N
X
a pour expression
Vh1
i (x) =
x xi
h
. Dans
a pour expression
v(xi )i (x).
(2.2.11)
i=1
Tout l'intrt de la mthode des lments nis rside dans le fait que chaque fonction de base
a un support trs rduit, c'est--dire que l'ensemble des
domaine de rsolution
tels que
i (x) 6= 0
[0, 1].
1
i
x0 = 0 x1
xi1
xi
xi+1
xN +1 = 1
A = a(j , i ) 1i,jN
0j (x)0i (x)dx,
Aij = a(j , i ) =
(2.2.12)
0
et si
i 1, i
ou
i + 1,
et
l'intgrale dans (2.2.12) est nulle. Les coecients non nuls se calculent facilement :
Z
Ai1,i = a(i1 , i ) =
xi
xi1
19
xi
1
1 1
dx = ,
h h
h
Z xi+1
1
1
2
Ai,i = a(i , i ) =
0i (x)2 dx =
dx
+
dx = ,
2
2
(h)
h
0
xi1 h
xi
Z 1
Z xi+1
1 1
1
Ai+1,i = a(i+1 , i ) =
0i+1 (x)0i (x)dx =
dx = .
h
h
h
0
xi
Z
1
1
A= 0
h
.
..
0
hX, Y i =
En notant
Y = (y1 , .., yN )
0
.
.
.
..
..
..
..
..
..
2
1
.
0
1
2
(2.2.13)
N
X
Proposition 2.2.1.
La matrice
= (x1 , .., xN )
A
et
est inversible :
ante :
U RN {0},
hAU, U i > 0.
(2.2.14)
Avant de donner la dmonstration de cette proposition, expliquons pourquoi elle implique l'in-
A.
versibilit de la matrice
RN
tel que
fait que
AU = 0.
En eet, si
hAU, U i = 0
avec
U 6= 0,
U 6= 0
dans
ce qui contredit le
Dmonstration.
Soit
N
X
U = (u1 , .., uN ) 6= 0
A1j uj , ...,
N
X
dans
Le vecteur
AU
a pour coordonnes
N
N
X
X
a(j , N )uj .
AN j uj =
a(j , 1 )uj , ...,
j=1
j=1
Rn .
j=1
j=1
On a donc
hAU, U i =
N X
N
X
a(j , i )uj ui = a(
i=1 j=1
o
N
X
uj j ,
j=1
u
(x) est la fonction de Vh1
dnie par
N
X
Z
ui i ) = a(
u, u
) =
|
u0 (x)|2 dx,
(2.2.15)
i=1
u
(x) =
PN
i=1
0
Pour obtenir le second membre
Z
hf, i i =
F = (hf, i i)1iN ,
xi
f (x)i (x)dx =
0
xi+1
f (x)i (x)dx +
xi1
f (x)i (x)dx.
(2.2.16)
xi
En gnral, cette intgrale ne peut tre calcule de faon exacte car la fonction
plique. Dans la pratique, on utilise des techniques d'intgration numrique o, sur chaque intervalle
[xi , xi+1 ],
20
xi+1
(x)dx (xi+1 xi )
xi+1
(x)dx (xi+1 xi )
xi
.
(2.2.17)
(xi ) + (xi+1 )
.
2
(2.2.18)
xi
Formule des trapzes :
xi + xi+1
2
Formule de Simpson :
(xi ) + 4
xi+1
(x)dx (xi+1 xi )
xi +xi+1
2
+ (xi+1 )
.
xi
(2.2.19)
1
1
h2 0
.
..
0
d'inconnues
(u1 , ..., uN )
0
..
..
..
..
2
1
2
..
..
u1
f (x1 )
u f (x )
.
.
2
2
.
.
.
.
.
. =
.
0
.
.
.
.
.
.
1
f
(x
u
N)
N
2
(2.2.20)
uh (x) =
N
X
ui i (x).
(2.2.21)
i=1
P2
Dans certaines applications, on peut considrer que l'approximation par des droites sur chaque
lment du maillage
[xi , xi+1 ]
u.
P2
consiste approcher la
u par une fonction continue sur [a, b], et polynomiale de degr 2 sur chaque maille [xi , xi+1 ].
Vh2 = v C 0 ([a, b]), v|[xi ,xi+1 ] P2 , 0 i N, v(0) = v(1) = 0 .
En notant
xi+ 21 =
xi + xi+1
,
2
(2.2.22)
i {0...N } ,
Vh2
i Vh2 ,
i (xj ) = ij ,
21
i (xj+ 12 ) = 0,
j,
(2.2.23)
i+ 12 (x), 0 i N
i+ 12 Vh2 ,
telles que
i+ 12 (xj ) = 0,
i+ 21 (xj+ 21 ) = ij ,
j.
(2.2.24)
On dnit aussi deux fonctions qui permettent de donner les expressions des fonctions de base :
(1 + x)(1 + 2x)
(x) = (1 x)(1 2x)
si
si
si
1 x 0,
0 x 1,
|x| > 1,
i (x) =
(
(x) =
et
x xi
h
1 4x2
0
et
i+ 12 (x) =
si
si
x 1/2,
x > 1/2.
x xi+ 21
(2.2.25)
i+ 12
i
xi1
xi
xi+ 21
xi+1
Exercice 3 Ecrire la matrice de rigidit obtenue pour l'approximation par lments nis P2 . On
(x0 , x 12 , x1 , ..., xN + 21 , xN +1 ) en les notant (x k )0k2N +2 ,
2
( 21 , 1 , ..., N + 12 ) en les notant ( k )1k2N +1 .
et
(
u = f
u=0
(P)
o cette fois-ci
V = u
R2 .
Dnition 2.2.1.
Th
de triangles
(2.2.26)
continue et
C1
uh
, u = 0
sur
(2.2.27)
maillage du domaine
sur
dans l'espace
,
.
dans
Vh .
en dimension deux.
(Ki )1iN
22
est un ensemble
dsigne la longueur de la plus grande arrte du maillage. On suppose que les triangles ne se
sommets
ou
noeuds
Remarque 2.2.2.
aussi construire des maillages composs de quadrilatres ou de faon gnrale par des polygones.
Pk
(
Pk =
p(x, y) =
aij xi y j , aij R .
(2.2.28)
i,j0
i+jk
p(x, y) = a + bx + cy ,
p(x, y) = a + bx + cy + dxy + ex2 + f y 2 .
tandis
Vh1 = {u
continue sur
, u|Ki P1
pour tout
Ki Th ,
(xi , yi )
du maillage et la valeur
23
u=0
sur
i qui prennent
(xj , yj ) du maillage.
et
}.
la valeur
en un
Z
Aij = a(j , i ) =
(2.2.29)
et le second membre
Z
hf, i i =
(2.2.30)
Vh
et
uh ?
de
par un sous-
par
Vh ,
Pour rpondre cette question, on doit se doter d'un outil permettant de mesurer la
L2
d'un problme
de dimension nie. Une question lgitime qui doit tre pose est : quelle est
uh
[0, 1],
on appelle norme
le rl positif
Z
||v||L2 (0,1) :=
21
|v(x)| dx
,
2
0
et la distance entre deux fonctions
v1
et
v2
On peut aussi
dnir une norme qui permet de mesurer la fois la distance entre deux fonctions mais aussi la
distance entre leurs drives. C'est le cas de la norme
||v||
H 1 (0,1)
:=
||v||2L2 (0,1)
21
H1
dnit par
Z
|v(x)| dx +
=
0
Exercice 4 Soit V
21
|v (x)| dx
.
0
= u continue et C 1 par morceaux sur [0, 1], u(0) = u(1) = 0 . Montrer que les
applications u 7 ||u||L2 (0,1) et u 7 ||u||H 1 (0,1) dnissent bien des normes sur V . Montrer aussi
0
que l'application u 7 ||u ||L2 (0,1) dnit galement une norme sur V .
24
On ne considre ici que le cas du problme de Poisson en une dimension, mais les rsultats peuvent
tre gnraliss au cas d'autres problmes et des dimensions suprieures. Le lemme suivant, d au
mathmaticien franais Jean Ca, et dont nous admettrons la dmonstration, permet de majorer
l'erreur
Lemme
2.3.1.
u V au problme de Poisson 1D o V =
[0, 1], u(0) = u(1) = 0 . Soit Vh V un sous-espace d'approximation de dimension nie quelconque et soit uh Vh la solution approche. Alors il existe une
constante C 1 indpendante de Vh telle que
u
continue et
C1
est la distance de
(2.3.1)
l'espace d'approximation
Vh .
Ainsi, l'erreur commise est, une constante multiplicative prs, majore par la distance entre
Vh .
la dimension de
1/h 1),
u.
Vh
et de la solution
Vh
Vh
P1
exacte
V
u
Vh3
u h3
u h2
Vh2
u h1
Vh1
Plus
Vh
uh
s'approche de
u.
dist(u, Vh ) =
h0
vers la solution exacte lorsque le pas du maillage tend
(2.3.2)
xi
du maillage :
25
u
Ih u
x0 = a
La fonction approche
xi
Ih u s'appelle l'interpole
suit
Ih u(x) =
de
xi+1
xN +1 = b
N
X
u(xi )i (x).
(2.3.3)
i=1
La proposition suivante permet de mesurer la qualit de l'approximation d'une fonction
quelconque par son interpole
Proposition 2.3.2.
Soit
Ih v
une fonction de
V,
et soit
Ih v
Vh1 .
Alors on a
(2.3.4)
h0
Si de plus la fonction
v V
est de classe
C2,
K>0
indpendante de
telle
que
Dmonstration.
Admise
u,
(2.3.5)
uh
||u uh ||H 1 (0,1) C inf ||u vh ||H 1 (0,1) C||u Ih u||H 1 (0,1) 0,
vh Vh
est de classe
C2,
on a en plus que
Remarque 2.3.1.
(2.3.6)
(2.3.7)
convergence est optimale. En utilisant l'ingalit triviale ||u||L2 (0,1) ||u||H 1 (0,1) , on voit que pour
L2 , la convergence est elle aussi au moins linaire. Mais cette vitesse n'est pas optimale.
la norme
En eet, une mthode plus complique, dite mthode de dualit d'Aubin-Nitsche, permet de montrer
2
que pour la norme L , la convergence est quadratique au sens o
indpendante de
h.
26
(2.3.8)
Remarque 2.3.2.
Ih u
lim
h0
en pratique. L'introduction de
dist(u, Vh )
= 0,
27
Bibliographie
[1] G. Allaire.
blanche.polytechnique.fr/~allaire/livre2.html,
http://
2005.
[2] G. Dhatt, G. Touzot, and E. Lefrancois. Mthode des lments nis. ditions Lavoisier, 2005.
[3] F. Hecht, O. Pironneau, J. Morice, A. Le Hyaric, and K. Ohtsuka. Freefem++.
freefem.org/ff++/index.htm.
28
http://www.