Académique Documents
Professionnel Documents
Culture Documents
Elements Finis
Elements Finis
e de Cergy Pontoise
2005/2006
DAVEAU CHRISTIAN
Master Madocs
12
13
13
16
17
17
3 Approximation par la m
ethode des
el
ements finis
3.1 Principe de la methode des elements finis . . . . . .
3.1.1 Strategie utilisee . . . . . . . . . . . . . . .
3.1.2 Calcul effectif de la solution approchee . . .
3.1.3 Estimer lerreur entre u et uh . . . . . . . .
21
21
22
23
24
.
.
.
.
.
.
.
.
9
9
9
10
11
12
4 Mise en oeuvre de la m
ethode en dimension 1
27
4.1 Resolution du probl`eme continu . . . . . . . . . . . . . 27
4.2 Probl`eme discret . . . . . . . . . . . . . . . . . . . . . 28
`
TABLE DES MATIERES
4.2.1
4.2.2
4.2.3
4.2.4
4.2.5
4.2.6
4.2.7
Construction de lespace Vh . .
Calcul de la solution approchee
Calcul de la matrice A . . . . .
Calcul de b . . . . . . . . . . .
Programmation de la methode .
Algorithme de Gauss . . . . . .
Estimation de lerreur . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
28
31
33
34
34
36
37
5 M
ethode des
el
ements finis en dimension 2
43
5.1 Generalites . . . . . . . . . . . . . . . . . . . . . . . . 43
5.2 Approximation par des elements finis rectangulaires Q1 44
5.2.1 Espace discret Vh . . . . . . . . . . . . . . . . . 45
5.2.2 Calcul de uh . . . . . . . . . . . . . . . . . . . . 49
5.2.3 Calcul des fonctions de base dun rectangle quelconque . . . . . . . . . . . . . . . . . . . . . . . 51
5.2.4 Calcul des fonctions de base du rectangle de
reference . . . . . . . . . . . . . . . . . . . . . . 52
5.2.5 Exemple de calcul des blocs de la formulation . 53
5.3 Approximation par des elements finis triangulaires P 1
54
5.3.1 Espace discret . . . . . . . . . . . . . . . . . . . 54
5.3.2 Calcul de uh . . . . . . . . . . . . . . . . . . . . 56
5.3.3 Calcul des fonctions de base sur un triangle quelconque . . . . . . . . . . . . . . . . . . . . . . . 57
5.3.4 Utilisation de lelement de reference . . . . . . . 59
5.3.5 Assemblage de la matrice . . . . . . . . . . . . . 60
5.3.6 Stockage de la matrice . . . . . . . . . . . . . . 61
6 El
ements finis
6.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . .
6.2 Definitions . . . . . . . . . . . . . . . . . . . . . . . . .
6.2.1 Exemples delements finis : . . . . . . . . . . . .
6.3 Conditions necessaires et suffisantes pour la P -unisolvance
6.4 Famille delements finis . . . . . . . . . . . . . . . . . .
63
63
63
64
64
66
`
TABLE DES MATIERES
6.5
68
68
68
7 El
ements finis pour Stokes
71
7.1 Premi`ere formulation variationnelle . . . . . . . . . . . 71
7.2 Une autre formulation variationnelle : probl`eme de type
point selle . . . . . . . . . . . . . . . . . . . . . . . . . 72
7.3 Approximation de la formulation variationnelle . . . . . 73
8 El
ements finis de Raviart-Thomas pour le probl`
eme de
Dirichlet
8.1 Probl`eme de Dirichlet . . . . . . . . . . . . . . . . . . .
8.1.1 Formulation mixte du probl`eme de Dirichlet . .
8.2 Approximation du probl`eme continu (8.2) . . . . . . .
8.2.1 Element fini de Raviart-Thomas . . . . . . . . .
8.2.2 Espaces dapproximation . . . . . . . . . . . . .
8.2.3 Approximation de la formulation mixte par les
elements finis RT0 . . . . . . . . . . . . . . . .
8.2.4 Syst`eme discret . . . . . . . . . . . . . . . . . .
77
77
77
82
84
85
85
86
`
TABLE DES MATIERES
Chapitre 1
Introduction
Dans ce cours nous presentons la methode des elements finis qui
est la methode numerique de reference pour le calcul des solutions de
probl`emes aux limites. Le principe de la methode est directement issu
de lapproche variationnelle.
Lidee de base de la methode des elements finis est de remplacer lespace de Hilbert V sur lequel est posee la formulation variationnelle
par un sous espace de dimension finie. Le probl`eme approche pose sur
Vh se ram`ene `a la resolution dun syst`eme lineaire, dont la matrice est
appelee matrice de rigidit
e.
Historiquement, les premi`eres premices de la methode des elements
finis ont ete proposes par Richard Courant dans les annees 1940 mais
ce sont les mecaniciens qui ont developpe, poularise et demontre lefficacite de cette methode dans les annees 1950-1960. Apr`es ces premiers
succ`es pratiques, des mathematiciens appliques ont considerablement
developpe les fondations theoriques de la methode et propose des
ameliorations significatives.
Le plan du cours est le suivant :
1. On voit dabord lapproche variationnelle, cest la partie la plus
theorique du cours avec le dernier chapitre car on utilise les es-
Introduction
paces de Sobolev et certains resultats comme linegalite de Poincare ou la continuite de lapplication trace
2. On applique la methode des elements finis en 1D puis 2D sur
differents probl`emes aux derivees partielles
3. On donne bri`evement une theorie sur les elements finis (unisolvance..)
4. Enfin on aborde les formulations mixtes et les elements de RaviartThomas qui permettent de discretiser des quantites physiques qui
ont une composante normale continue.
Chapitre 2
Formulations variationnelles dun
probl`
eme aux limites
2.1
2.1.1
El
ements sur des espaces de fonctions
Espace des fonctions r
eguli`
eres
avec |x| = (x21 + ... + x2n )1/2 appartient `a D(). Son support est dans
la boule {x Rn : |x| 1}.
10
2.1.2
On note par Lp () o`
u p est un entier 1 lespace des fonctions
reelles definies sur telle que :
Z
u(x)p dx < .
u(x)p dx)1/p .
2.1 El
ements sur des espaces de fonctions
2.1.3
11
Espaces de Sobolev
12
Lemme 2.1.3 Si u H 2 () et v H 1 () :
Z
Z
Z
u
u v dx +
v d
u(x) v(x) dx =
avec u
u est un vecteur normal exterieur `a , la d
eriv
ee
= u o`
normale de u.
2.2
2.2.1
(2.2)
2.3 R
esolution du probl`
eme variationnel
13
2.2.2
2.3
R
esolution du probl`
eme variationnel
14
1
||L||V 0
2.3 R
esolution du probl`
eme variationnel
15
R
R
2. a(u, v) = u v dx + c(x)u(x)v(x) dx est une forme bilineaire, continue sur V V et V-elliptique,
R
3. L(v) = f (x)v(x) dx est une forme lineaire sur V.
16
2.4
Interpr
etation du probl`
eme variationnel
2.5 Exercices
2.4.1
17
Deuxi`
eme exemple : probl`
eme de Neumann
Lorsque u est reguli`ere, `a savoir ici u H 2 (), on obtient en appliquant la formule de Green
Z
Z
f (x)v(x) dx
u(x) v(x) dx =
2.5
Exercices
u = f dans ,
u = 0 sur D ,
(1)
u
= 0 sur N ,
avec f L2 (). On suppose que u H 2 () et on rappelle que lapplication trace est continue de H 1 () dans un sous espace de L2 ().
1. Etablir une formulation variationnelle (FV) du probl`eme.
2. Montrer que cette FV a une unique solution.
18
u2 u1
.
x1 x2
2.5 Exercices
19
20
Chapitre 3
Approximation par la m
ethode des
el
ements finis
3.1
Principe de la m
ethode des
el
ements finis
(3.1)
(3.2)
1. V = H01 (),
R
R
2. a(u, v) = u v dx + c(x)u(x)v(x) dx,
R
3. L(v) = f (x)v(x) dx.
But : calculer une solution approchee du probl`eme variationnel (3.2)
ce qui nous donnera dapr`es la proposition (1.3.1) une solution approchee du probl`eme (3.1).
Question : comment calculer explicitement une solution approchee
qui soit facilement calculable tout en ayant une idee assez precise de
lerreur commise par rapport `a la solution exacte ?
22
3.1.1
Approximation par la m
ethode des
el
ements finis
Strat
egie utilis
ee
(3.3)
3.1 Principe de la m
ethode des
el
ements finis
23
Dun point de vue pratique, la construction de lespace Vh doit satisfaire deux exigences :
1. Vh est facile `a construire : on pourra choisir un espace dont la
base sera formee de fonctions polynomiales par morceaux.
2. la matrice du syst`eme sera creuse cest `a dire aura beaucoup
delements nuls : plus elle sera creuse moins elle occupera de place
memoire. Pour cela, on choisira une base dont les fonctions ont
un support dans quelques mailles.
3.1.2
Nh
X
ui w i
i=1
o`
u (ui ) sont les inconnues du probl`eme (3.3). Pour que la relation est
lieu vh Vh , il suffit que cette relation soit pour chacune des fonctions
de base de lespace Vh . Ce qui donne en utilisant la decomposition de
uh et la linearite de a par rapport `a son premier argument :
i {1, 2, .., Nh },
Nh
X
a(wj , wi ) = L(wi ).
j=1
24
Approximation par la m
ethode des
el
ements finis
o`
u X = (u1 , u2 , ..., uNh ).
Le syst`eme (S) a une unique solution car la matrice A est definie positive donc inversible, ( A est definie positive si X = (X1 , ..., XNh )
IRNh , X t AX 0 et X t AX = 0 implique X = 0). En effet, on a
t
X AX =
Nh X
Nh
X
Aij Xi Xj
i=1 j=1
Nh X
Nh
X
a(wj , wi )Xi Xj
i=1 j=1
Nh
X
Nh
X
a(
Xj wj , wi )Xi , (linearite par rapport `a la premi`ere variable )
i=1
j=1
Nh
Nh
X
X
j
Xj w ,
Xi wi ),
= a(
j=1
i=1
= a(y, y) si y =
Nh
X
Xj wj
j=1
On a le resultat suivant.
Lemme 3.1.1 (de Cea) On a lestimation suivante :
M
||u uh ||V infvh Vh ||u vh ||V
o`
u M est la constante de continuite de a et la constante dellipticite.
3.1 Principe de la m
ethode des
el
ements finis
25
M
||u vh ||, vh Vh .
Remarque 3.1.1 En pratique pour evaluer lerreur ||uuh ||, on choisira un element particulier vh qui sera linterpole de u en un sens que
lon precisera plus loin et on montrera que cette erreur est dordre hk
o`
u k est un entier qui depend de Vh .
26
Approximation par la m
ethode des
el
ements finis
Chapitre 4
Mise en oeuvre de la m
ethode en
dimension 1
Prenons lexemple suivant :
u00 (x) + c(x)u(x) = f (x) x ]a, b[
u(a) = 0, u0 (b) =
(4.1)
o`
u est un nombre reel donne, c L (]a, b[), f L2 (]a, b[) et il existe
c0 > 0 telle que x ]a, b[, c(x) c0 > 0.
4.1
R
esolution du probl`
eme continu
(4.2)
28
Mise en oeuvre de la m
ethode en dimension 1
4.2
4.2.1
Probl`
eme discret
Construction de lespace Vh
ba
N +1 ,
on designe par
xi = a + i h, i {0, N + 1}
les N + 2 points du maillage. h sappelle le pas du maillage. On a
en particulier x0 = a et xN +1 = b.
On introduit lespace de dimension finie Vh defini par
Vh = {vh Vh , vh (a) = 0}
4.2 Probl`
eme discret
29
avec
Vh = {vh : [a, b] 7 IR, vh C 0 ([a, b]), vh/[xi ,xi+1 ] P1 , i {0, 1, ..., N }}
o`
u P1 est lespace de degre inferieur ou egal `a un.
Lemme 4.2.1 1. Les fonctions de Vh sont enti`erement determinees
par les valeurs quelles prennent en chacun des points xi , i
{0, 1, 2, ..., N + 1}.
2. La dimension de Vh est N + 2 et une base de Vh est formee des
fonctions wi , i {0, 1, 2, ..., N + 1} suivantes : wi Vh , wi (xj ) =
ij (indice de Kronecker).
Ces fonctions sont appelees fonctions chapeaux en raison de
leur graphe et on a :
vh Vh , vh (x) =
N
+1
X
i=0
libert
e de la fonction vh Vh .
3. Vh H 1 (]a, b[).
preuve : La fonction vh/[xi ,xi+1 ] est affine donc elle secrit sous la forme
(vh )/[xi ,xi+1 ] = ax + b, a, b IR. Les deux param`etres sont determines
par les valeurs vh (xi ) et vh (xi+1 ), ( h 6= 0 donc xi 6= xi+1 ).
La fonction vh est donc parfaitement connue sur [a, b] car chaque restriction sur [xi , xi+1 ] est determinee.
Dapr`es 1) les fonctions wi sont parfaitement determinees sur [a, b].
Montrons que cest une base de Vh .
Montrons que la famille estP
libre : soient N + 2 scalaires 0 , ...., N +1
+1
j
tel que la fonction vh (x) = N
j=0 j w (x) soit nulle. En particulier,
i {0, 1, 2, ..., N + 1}, 0 = vh (xi ) =
N
+1
X
j=0
j wj (xi ) = i .
30
Mise en oeuvre de la m
ethode en dimension 1
xi
xi
o`
u {vh0 } designe la derivee usuelle de vh egale `a vh (xi+1h)vh (xi ) sur [xi , xi+1 ].
Donc, on a {vh0 } L2 ([a, b]). Sommant sur les indices i, on a
< vh0 , >=< {vh0 }, > +vh (a)(a) vh (b)(b).
Comme (a) = (b) = 0, les distributions vh0 et a {vh0 } sont egales.
Donc vh0 L2 ([a, b]).
Corollaire 4.2.1 1. Les fonctions de Vh sont enti`erement determinees
par les valeurs quelles prennent en chacun des points xi , i
{1, 2, ..., N + 1}.
4.2 Probl`
eme discret
31
4.2.2
N
+1
X
ui wi (x)
i=1
o`
u le vecteur de IRN +1 de composantes uj est la solution du syst`eme
lineaire :
AX = b
32
Mise en oeuvre de la m
ethode en dimension 1
1. A = (Aij ), 1 i, j N + 1
Z b
((wi )0 (x)(wj )0 (x) + c(x)wi (x)wj (x))dx
Aij =
a
2. b = (bi )1iN +1
Z
bi =
(4.5)
xx
w1 ( hi1 ) si x [xi1 , xi ],
i
wi (x) =
w0 ( xx
h ) si x [xi , xi+1 ],
(4.6)
4.2 Probl`
eme discret
4.2.3
33
Calcul de la matrice A
Comme les fonctions de base ont leur support dans [xi1 , xi+1 ], on
Ai,j = 0 si |i j| 2.
Ainsi on est amene `a calculer :
1. si i N , Ai,i , Ai,i1 et Ai,i+1 et comme la matrice est symetrique,
on aura Ai1,i et Ai+1,i
2. si i = N + 1, Ai,i et Ai1,i .
La matrice A est tridiagonale.
Pour i 6= N + 1
xi+1
Z
Ai,i =
xi1
xi
Ai,i1 =
xi1
xi+1
Ai,i+1 =
xi
et pour i = N + 1
Z
AN +1,N +1 =
xN
AN +1,N =
xN
34
Mise en oeuvre de la m
ethode en dimension 1
0
1
(1 y)y dy =
=h
0
h
.
6
De meme, on a pour i 6= N + 1
Ai,i =
2h
2
+ c0
h
3
Ai,i1 = Ai,i+1 =
1
h
+ c0
h
6
et
1
h
+ c0
h
3
1
h
AN,N +1 =
+ c0
h
6
et tous les autres coefficients sont nuls.
AN +1,N +1 =
4.2.4
Calcul de b
On a de la meme mani`ere :
bi = hf0 pour i 6= N + 1
bN +1 = hf2 0 + .
4.2.5
Programmation de la m
ethode
4.2 Probl`
eme discret
35
L=
et
d1
l1
0
..
.
0
0
...
...
...
... ... 0
..
...
.
..
... ...
.
... ...
0
. . . 0 lN dN +1
1 v1 0 . . . 0
0 . . . . . . . . . ...
U = ... . . . . . . . . . 0
.
... ... v
..
N
0 ... ... 0 1
Les elements non nuls sont determines par les
Li,i1 = li1 ,
Ui,i+1 = vi ,
relations :
Li,i = di ,
Ui,i = 1.
36
Mise en oeuvre de la m
ethode en dimension 1
4.2.6
Algorithme de Gauss
b1
d1 ,
v1 =
A1,2
d1
3. Initialisation de la remontee
uN +1 = zN +1
4. boucle j = N, N 1, ..., 1 (remontee)
ui = zi vi ui+1
Dans cette methode, on stocke les coefficients li di et vi des matrices L
et U dans des tableaux unidimensionnels. Par ailleurs un seul tableau x
suffit `a stocker b, z puis la solution x. Au depart ce tableau contient les
valeurs du second membre. Au fur et `a mesure de letape de descente,
on remplace x(i) = bi par zi ce qui secrit :
x(i) =
4.2 Probl`
eme discret
4.2.7
37
Estimation de lerreur
M
||u vh ||V , vh Vh .
N
+1
X
i=1
On a
||u
h u||2V
=
a
38
Mise en oeuvre de la m
ethode en dimension 1
Z
=
c
0
00
h u||2V
N Z
X
i=0
N
X
xi+1
(w0 (t))2 dt
xi
i=0
M
h.
(4.7)
4.2 Probl`
eme discret
39
N
+1
X
i=0
vh (xi )u (x) +
N
+1
X
i=0
40
Mise en oeuvre de la m
ethode en dimension 1
N
X
i u (x) +
i=1
N
X
i v i (x).
i=1
xx
u1 ( hi1 ) si x [xi1 , xi ],
i
ui (x) =
u0 ( xx
) si x [xi , xi+1 ],
h
4.2 Probl`
eme discret
41
xx
hv1 ( hi1 ) si x [xi1 , xi ],
i
v i (x) =
hv0 ( xx
h ) si x [xi , xi+1 ],
42
Mise en oeuvre de la m
ethode en dimension 1
Chapitre 5
M
ethode des
el
ements finis en
dimension 2
5.1
G
en
eralit
es
(5.1)
o`
u est un ouvert borne non vide et regulier du plan.
Le principe consiste `a ecrire une formulation variationnelle associee `a
(5.1) puis de resoudre ce probl`eme sur un espace de dimension finie
inclus dans H01 ().
La construction de lespace de dimension finie exige un maillage de
qui satisfait certaines r`egles.
On recouvre par des elements de forme simple par exemple des rectangles, des triangles.
Soit (Tk ), k {1, .., NT } les elements de petite taille qui recouvrent
. On note
h = maxk{1,..,NT } (diam(Tk ))
44
M
ethode des
el
ements finis en dimension 2
o`
u diam(Tk ) est le diam`etre de lelement Tk . On designe par h lensemble de tous de les elements {Tk } ; h sappelle une triangulation
de .
Pour simplifier, supposons que est `a fronti`ere polygonale. Donc, on
a
= T h T.
On dit que la triangulation est admissible si lintersection entre deux
elements est soit vide, soit reduite `a un point, soit un cote tout entier.
Pour la convergence de la methode, il est necessaire que la condition
suivante soit satisfaite : il existe C > 0 tel que pour tout h > 0,
supT h
h(T )
C
(T )
o`
u (T ) designe le diam`etre du cercle inscrit dans lelement T . On dit
que la triangulation est r
eguli`
ere si la condition est remplie. Cette
condition permet deviter des elements trop applatis.
5.2
(5.2)
avec
V = H01 (),
Z
Z
u v dx + c(x)u(x)v(x) dx,
a(u, v) =
Z
L(v) =
f (x)v(x) dx.
45
5.2.1
Espace discret Vh
46
M
ethode des
el
ements finis en dimension 2
NS
X
i=0
=
Rk
(vh/Rk ).
xi
xi
k=1
= vh (A1 )
+ h1 = vh (A2 )
+ h2 = vh (A4 )
+ h1 + h2 + h1 h2 = vh (A3 )
47
(v v )(A) = (v v 0 )(B) = 0.
Or v v 0 est une fonction polynomiale de degre un de la variable x2 ,
(x1 = cte) qui sannule en A et B. Donc v = v 0 sur [A, B]. vh se raccorde de mani`ere continue `a linterface entre les deux rectangles. On
a donc dim(Vh ) = NS .
Montrons que la familleP
est libre : soient NS scalaires 1 , ...., NS tel
S
j
que la fonction vh (x) = N
j=1 j w (x) soit nulle. En particulier,
i
i {1, 2, ..., NS }, 0 = vh (q ) =
NS
X
j wj (q i ) = i .
j=1
NS
X
vh (q j )wj (x).
j=1
48
que
M
ethode des
el
ements finis en dimension 2
vh
x1
et
vh
x2
appartiennent `a L2 ().
D(), <
vh
, >= < vh ,
>
x1
x1
NT Z
X
k=1
NT Z
X
k=1
Rk
vh
Rk
vh
x1
x1
Z
[vh i,k ] d
Rk
o`
u i,k est la i eme composante de la normale sortante k de Rk .
Montrons que le terme sur le bord est nul :
1. soit Rk fait partie du bord de et dans ce cas = 0,
2. soit Rk est une arete interne et dans ce cas si on note (AB) cette
arete comme k = k0 on a
Z
Z
vh i,k +
vh i,k0 = 0, i = 1, 2.
[AB]
[AB]
Do`
u
T
X
vh
, >=
< Rk
(vh ) > .
<
x1
xi /Rk
k=1
Ainsi, on a
(
Donc,
vh
x1
(vh/Rk )
vh
)/Rk =
.
x1
x1
L2 ().
Par commodite decriture, on admet par la suite que les sommets internes du maillage correspondent aux indices i {1, Ni }. Pour lespace
discret Vh , on a le resultat suivant.
Corollaire 5.2.1 1. Les fonctions de Vh sont enti`erement determinees
par les valeurs quelles prennent en chacun des Ni sommets internes du maillage
49
2. dimVh = Ni et
vh Vh , vh (x) =
Ni
X
i=1
Calcul de uh
(5.3)
o`
u Vh est lespace decrit dans le corollaire precedent. On cherche alors
uh sous la forme
Ni
X
uh =
xi wi (x)
i=1
o`
u les coefficients xi pour i {1, Ni } sont determines en resolvant le
syst`eme
AX = b
avec
1. X = (x1 , x2 , ...xNi )
2. A = (Ai,j ), 1 i Ni , 1 j Ni
Ai,j = a(wj , wi )
50
M
ethode des
el
ements finis en dimension 2
3. b = (bi )i=1,NI ,
bi = L(wi )
Ce qui suit explique le calcul de la matrice A et du second membre
b par un procede appele assemblage.
On a
Z
wi wj + cwi wj
Ai,j =
NT
X
Ai,j (Rk )
k=1
avec
Z
Ai,j (Rk ) =
wi wj + cwi wj .
Rk
Z
bi =
NT
X
fw =
bi (Rk )
k=1
o`
u
Z
bi (Rk ) =
f wi.
Rk
5.2.3
51
1
(x1 x21 )(x2 x42 ).
h1 h2
De meme, on a
p2 (x) =
1
(x1 x11 )(x2 x42 ),
h1 h2
1
(x1 x11 )(x2 x12 ),
h1 h2
1
(x1 x21 )(x2 x12 ).
p4 (x) =
h1 h2
Quel est le lien entre les les fonctions de base locales pi pour
i {1, 4} et les fonctions de base globales wi pour i {1, Ni } ?
p3 (x) =
52
M
ethode des
el
ements finis en dimension 2
cest `a dire
(wi )/Rk =
1
(x1 x11 (Rk ))(x2 x12 (Rk )).
h1 h2
(x1 , x2 ) R, Fk (x1 , x2 ) = A1 (Rk )+x1 A1 (Rk )A2 (Rk )+x2 A1 (Rk )A4 (Rk ).
On a Fk (R) = Rk
Les quatre fonctions de base sur R sont les quatre polynomes pi tel
que pi (Aj ) = ij .
On trouve
p1 (x) = (1 x1 )(1 x2 ),
p2 (x) = x1 (1 x2 ),
p3 (x) = x1 x2 ,
p4 (x) = (1 x1 )x2 .
53
On a
i {1, 4}, pi (Fk (x)) = pi (x), x R.
Donc si on connait les fonctions de base de lelement de reference,
on connait les fonctions de base locales du rectangle Rk pour tout
k {1, NT }. Evidemment, si on consid`ere un autre rectangle de la triangulation, la transformation affine est modifiee par contre les quatre
fonctions de base pi restent inchangees.
5.2.5
Si par exemple q i = A3 , on a
i
= p3 (x) = p3 (y) = y1 y2
w/R
k
1
x1 x11 (Rk )
h1
et y2 =
x2 x12 (Rk )
.
h2
De sorte que
wi wi
y2 y1
w (x) = (
,
) = ( , ).
x1 x2
h1 h2
i
Do`
u, en faisant le changement de variable x = Fk (y), on obtient :
Z
Z
y2 y2
h1 h2 1
1
i
2
|w (x)| dx = ( 22 + 12 )h1 h2 dy =
( 2 + 2 ).
h2
3 h1 h2
Rk
R h1
Remarque
R
R 5.2.2 On noublie pas le jacobien J qui vaut h1 h2 car
Rk dx = R Jdy.
Si on calcule la deuxi`eme integrale de la meme mani`ere, on a
Ai,i (Rk ) =
h1 h2 1
1
h1 h2
( 2 + 2 ) + c0
.
3 h1 h2
9
54
M
ethode des
el
ements finis en dimension 2
5.3
h1 h2
1
h1 h2 1
( 2 + 2 ) + c0
).
3 h1 h2
9
Espace discret
NS
X
i=0
55
vh X
Rk
=
(vh/Rk ).
xi
xi
k=1
d
emonstration : Dans un triangle Tk de la triangulation vh secrit
vh (x) = + x1 + x2 .
Les coefficients sont solution du syst`eme
+ x11 + x12
+ x21 + x22
+ x31 + x32
Son determinant est
:
= vh (A1 )
= vh (A2 )
= vh (A3 )
1 x11 x22
D = 1 x21 x22
1 x31 x32
On a
D = A1 A2 A1 A4 = 2 aire(Tk ) = (x21 x11 )(x32 x12 )(x31 x11 )(x22 x12 ) 6= 0.
La restriction de vh est parfaitement determinee par les valeurs aux
trois sommets du triangle Tk . La dimension de dimVh NS . Pour avoir
dimVh = NS il suffit de montrer que les fonctions P 1 par morceaux
sont continues sur . Pour cela, il suffit de montrer que le raccord
entre deux triangles Tk et Tk0 est continue.
Placons nous dans le cas o`
u (AB) est linterface entre 2 triangles.
On note v = vh/Tk et v 0 = vh/T 0 . On a
k
(v v 0 )(A) = (v v 0 )(B) = 0.
Soit M [A, B], il existe IR tel que M = A + (1 )B. Ainsi,
(vv 0 )(M ) = (vv 0 )(A+(1)B) = (vv 0 )(A)+(1)(vv 0 )(B) = 0.
56
M
ethode des
el
ements finis en dimension 2
Ni
X
i=1
Calcul de uh
(5.4)
o`
u Vh est lespace decrit dans le corollaire precedent. On cherche alors
uh sous la forme
NS
X
uh =
xi wi (x)
i=1
o`
u les coefficients xi pour i {1, Ni } sont determines en resolvant le
syst`eme
AX = b
avec
57
1. X = (x1 , x2 , ...xNi )
2. A = (Ai,j ), 1 i Ni , 1 j Ni
Ai,j = a(wj , wi )
3. b = (bi )i=1,NI ,
bi = L(wi )
Ce qui suit explique le calcul de la matrice A et du second membre
b par un procede appele assemblage.
On a
Z
Ai,j =
wi wj + cwi wj
NT
X
Ai,j (Tk )
k=1
avec
wi wj + cwi wj .
Ai,j (Tk ) =
Tk
Z
bi =
fw =
NT
X
bi (Tk )
k=1
o`
u
f wi.
bi (Tk ) =
Tk
5.3.3
3
X
i=1
i A ,
3
X
i=1
i = 1.
58
M
ethode des
el
ements finis en dimension 2
+ 2
+ 3
= 1
1
1
2
3
1 x 1 + 2 x 1 + 3 x 1 = x 1
59
1 1 1
1
x1 x21 x1
3 =
D
x2 x22 x2
Donc les fonctions barycentriques sont des fonctions affines de x1 et
x2 . Inversement, x1 et x2 sexpriment comme des fonctions affines de
1 , 2 et 3 .
Montrons 3. : Lequation dune droite est en coordonnees barycentriques 1 1 + 2 2 + 3 3 = 0 car x1 et x2 sont des fonctions affines
des coordonnees barycentriques. Soit M (A1 , A2 ), A1 (A1 , A2 )
donc 1 = 0 et A2 (A1 , A2 ) donc 2 = 0.
On a :
M Tk 0 i (M ) 1, i {1, 3}.
Les coordonnees barycentriques sont donnees par la formule :
1 =
aire(T1 )
aire(T )
o`
u
1. T1 = {M, A2 , A3 }
2. T = {A1 , A2 , A3 }
Par permutations circulaires, on a une expression de 2 et 3 .
5.3.4
Utilisation de l
el
ement de r
ef
erence
(x1 , x2 ) T, Fk (x1 , x2 ) = A1 (Tk )+x1 A1 (Tk )A2 (Tk )+x2 A1 (Tk )A3 (Tk ).
On a Fk (T ) = Tk
On note
1. Ti les coordonnees barycentriques dans le triangle T
2. Ti k les coordonnees barycentriques dans le triangle Tk .
60
M
ethode des
el
ements finis en dimension 2
On a facilement
T1 (x) = 1 x1 x2
T2 (x) = x1
T3 (x) = x2
et
i {1, 3}, iTk (Fk (x)) = Ti (x).
Un exemple dutilisation dans un calcul dintegrale :
Z
Z
Ti k (x)Tj k (x) dx = 2aire(Tk ) Ti (y)Tj (y) dy
Tk
1y2
y2
= 2aire(Tk )
0
y1 dy1 dy2 =
0
2aire(Tk )
.
24
Assemblage de la matrice
Lalgorithme secrit
T ab = 0
boucle sur k = 1, NT
boucle sur ilocal = 1, 2, 3
calcul de lindice globale i correspondant au point dindice
ilocal sur Tk
61
R
Tk
Tk
Tk
k
k
ilocal
Tjlocal
+ c0 ilocal
Tilocal
Stockage de la matrice
62
M
ethode des
el
ements finis en dimension 2
A=
1
3
6
0
0
0
4
0
0
0
0
0
7
10
0
2
5
8
11
0
0
0
9
0
12
On a
aa = 1 2 3 4 5 6 7 8 9 10 11 12
ja = 1 4 1 1 2 4 1 3 4 5 3 4 5
et
ia = 1 3 6 10 12 13.
Pour retrouver le coefficient akm de la matrice A, on ecrira :
pour p = ia(k) `a ia(k+1) -1 (on parcourt la ligne k)
si ja(p) = m alors
aa(p) est la valeur cherchee
fin de la boucle p
Chapitre 6
El
ements finis
6.1
Introduction
6.2
D
efinitions
64
El
ements finis
Exemples d
el
ements finis :
6.3
ai +aj
2
le milieu du cote
Conditions n
ecessaires et suffisantes pour la
P -unisolvance
6.3 Conditions n
ecessaires et suffisantes pour la P -unisolvance
65
2. dim P =card .
ou
1. lunique fonction p P telle que i (p) = 0 i est lapplication
nulle,
2. dim P =card .
d
emonstration : La P -unisolvant est equivalente `a la bijectivite de
lapplication :
: P ()N
i=1 .
N
1
= si (ei = ij )N
j=1 est la base canonique de IR , on a pi = (ei ).
= etant donne = (j )N
erifie que p P donne par
j=1 , on v
p=
N
X
i pi
i=1
(a
)
i
x
p1 (a )
x2 i
p(ai) =
p
xn (ai )
66
El
ements finis
o`
u i designe un vecteur de Rn .
3. i : p 7 it D2 p(ai )i , o`
u ai sont des points de K,
2
p
D2 p(ai ) =
xk xl 1k,ln
designe la matrice hessienne des derivees secondes de p evaluees
en ai ; i , i designent des vecteurs de Rn fixes.
Lorsque toutes les formes lineaires sont du type 1), on parle delements
finis de Lagrange, lorsquelles sont du type 1), 2) et 3) on parle delements
finis dHermite.
6.4
Famille d
el
ements finis
Linteret de cette notion repose sur le fait que les fonctions de base se
transportent dun element fini `a lautre. Cest cette propri
et
e que
lon a utilis
ee dans lapproximation pour calculer les fonctions
de base locales en fonctions des fonctions de base de l
el
ement
de r
ef
erence pour pouvoir calculer la matrice A et le second
membre b. On a transport
e les fonctions de base de l
el
ement
de r
ef
erence sur chaque petit
el
ement de la triangulation car
les
el
ements finis utilis
es
etaient affinements
equivalents.
Exercice 6.4.1 Element fini dHermite dordre 3
Montrer que (K, P3 , K ) o`
u
6.4 Famille d
el
ements finis
67
1. K est triangle
2. P3 est lespace des polyn
omes de degre inferieur ou egal `a trois.
3. K est lensemble des formes lineaires suivantes :
(a) i : p 7 p(ai ), i = 1, 2, 3,
(b) ij : p 7 p(ai ) (aj ai ), i, j = 1, 2, 3 i 6= j.
4. Deux elements sont-ils affinement equivalents ?
Exercice 6.4.2 Triangle de Morley
Montrer que (K, P2 , K ) o`
u
1. K est triangle
2. P2 est lespace des polyn
omes de degre inferieur ou egal `a deux.
3. K est lensemble des formes lineaires suivantes :
(a) i : p 7 p(ai ), i = 1, 2, 3,
p
(b) i : p 7
(mi ), i = 1, 2, 3 et mi est le milieu du cote oppose
i
a ai et i est le vecteur normal sortant de ce cote.
`
p
xj (ai ),
(c) ijk : p 7
j + k = 2,
i = 1, 2, 3 j = 1, 2,
2p
xj xk (ai ),
i = 1, 2, 3 et 0 j, k 2 tel que
p
(mi ), i = 1, 2, 3 et mi est le milieu du cote oppose
(d) i : p 7
i
a ai et i est le vecteur normal sortant de ce cote.
`
68
El
ements finis
6.5
Exemples d
el
ements finis en dim 3
Les elements finis en dimension 3 se construisent comme en dimension 2. Il y a deux familles delements finis :
1. les elements finis triangulaires
2. les elements finis rectangulaires
6.5.1
Exemples del
ements finis triangulaires
Exemples del
ements finis rectangulaires
6.5 Exemples d
el
ements finis en dim 3
69
70
El
ements finis
Chapitre 7
El
ements finis pour Stokes
La generalisation de la methode des elements finis `a un syst`eme
dequations aux derivees partielles ne pose pas de probl`emes particuliers. Ce nest pas le cas pour le syst`eme des equations de Stokes
`a cause de la condition dincompressibilite du fluide ou condition de
divergence nulle pour la vitesse. Dans domaine borne RN , en
presence de forces exterieures f (x), les equations de Stokes secrivent :
p u = f dans
div u = 0
dans
(7.1)
u=0
sur
o`
u > 0 est la viscosite du fluide.
7.1
Premi`
ere formulation variationnelle
o`
u V est lespace de Hilbert defini par :
V = {v H01 () tel que div v = 0 pp dans }.
(7.2)
72
El
ements finis pour Stokes
7.2
v
dx
p
div
vdx
=
f v dx
R
(7.3)
q div u dx = 0,
pour tout (v, q) H01 ()N L20 () avec
L20 ()
q dx = 0}.
73
7.3
v
dx
p
div
vdx
=
h
h
h
f v dx
R
(7.4)
q
div
u
dx
=
0,
h
nV
X
j=1
uj j (x), ph (x) =
nQ
X
pj j (x).
j=1
(7.5)
74
El
ements finis pour Stokes
i divj dx
1inV , 1jnQ
Uh = (ui )1inV ,
Ph = (pi )1inQ .
On a le resultat suivant pour le syst`eme (7.5).
Th
eor`
eme 7.3.1 Le syst`eme (7.5) admet unique solution (Uh , Ph )
NV
R RNQ tel que le vecteur Uh est unique tandis que Ph est unique
a laddition dun element de KerBh .
`
preuve : Comme (KerBh ) = ImBh , on peut montrer que le syst`eme
(7.5) est equivalent `a
Trouver Uh KerBh tel que (Ah Uh , Wh ) = (bh , Wh ) Wh KerBh .
Il suffit alors dappliquer le theor`eme de Lax-Milgram pour obtenir
lexistence et lunicite de Uh dans KerBh . Par ailleurs, on verifie que
Ph est determine `a un element de KerBh pr`es car Ph est solution de
Bh Ph = bh Ah Uh .
On peut caracteriser le noyau de Bh .
Lemme 7.3.1 Le vecteur de RNQ dont toutes les composantes valent
1 est dans KerBh .
preuve : La fonction rh = 1 appartient `a Qh et pour tout wh Vh on
a
Z
rh div wh dx = (Wh , Bh Rh ) = (Bh Wh , Rh )
avec Rh = (1, ....1) RNQ et Wh = (wh (xi )), (xi ) etant les points du
maillage. Ainsi, on a
Z
Z
(Wh , Bh Rh ) =
div wh dx =
wh n ds = 0 pour tout wh Vh .
75
76
El
ements finis pour Stokes
Chapitre 8
El
ements finis de Raviart-Thomas
pour le probl`
eme de Dirichlet
8.1
8.1.1
Probl`
eme de Dirichlet
Formulation mixte du probl`
eme de Dirichlet
Soit un domaine borne de R2 dont la fronti`ere supposee lipschitzienne est notee . On consid`ere le probl`eme de Dirichlet non
homog`ene :
Trouver u H 1 () tel que :
div(
a gradu) = f dans ,
u = g sur
(8.1)
avec a
L (, R2,2 ) verifiant :
> 0 tel que a
(x) ||2 , IR2 pp en x ,
f L2 (), et g H 1/2 ().
Remarque 8.1.1 1. Lespace H 1/2 () est lespace des traces des
elements de H 1 ().
2. a
est une matrice 2 2 dont les coefficients sont bornes sur .
78
El
ements finis de Raviart-Thomas pour le probl`
eme de Dirichlet
8.1 Probl`
eme de Dirichlet
79
M = L2 (),
Z
A p.q dx,
a(p, q) =
Z
b(p, v) =
v div p dx,
80
El
ements finis de Raviart-Thomas pour le probl`
eme de Dirichlet
Preuve
La demarche utilisee est la suivante :
On construit un operateur T L(M, X) tel que
b (T v, v) = kvk2M
La condition inf-sup sen deduit immediatement.
En effet, en posant p = T v, on a :
b (p, v) = kvk2M = kT k kvk
kpk
1
kvk
kT k
kvk
kT k
1
kpk kvk.
kT k
1
kvk v M.
=
sup b (p, v)
kT k
pX,kpkX =1
On choisit alors =
1
kT k .
w H01 ()
w = v
(8.4)
8.1 Probl`
eme de Dirichlet
81
On pose alors
T v = grad w.
La theorie variationnelle nous dit que le probl`eme a une unique solution w et que :
kT vk(L2 ())2 = |w|1 kwkH 1
C kvkL2 () .
De plus, on a :
kdiv(T v)k = kwkL2
= kvkL2 .
Donc
T v H(div, ).
Ainsi, on obtient :
Z
b(T v, v) =
Th
eor`
eme 8.1.2 Le probl`eme du point selle (8.2) pour le probl`eme
de Dirichlet (8.1) admet une unique solution dependant continuement
1
des donnees g H 2 () et f L2 ().
Preuve : Dapr`es le lemme 8.1.1,la forme bilineaire b verifie la condition inf-sup. Il reste `a montrer que a est coercive sur
V = Ker (b) = {p X, b(p, v) = 0, v M } = {p X, div p = 0}.
La propriete dellipticite de a
donne en posant A = D ie = a
D,
A. = a
D.D |A|2 .
Dautre part : || = |
aA| k
akL |A| IR2 pp sur .
Do`
u,
||
|A|.
k
akL
82
El
ements finis de Raviart-Thomas pour le probl`
eme de Dirichlet
Ainsi on a :
||2
0
A.
=
||2 .
2
k
akL
Il sensuit que :
Z
Ap p kpk2L2 ()2
a(p, p) =
kpk2X ,
car div p = 0 pour p V .
8.2
Approximation du probl`
eme continu (8.2)
T h
T, L h : T 6= L, alors T L = .
On note Eh lensemble des aretes du maillage :
T 0 Eh , on a lalternative
T, L h : T 6= L avec T 0 T et T 0 L (T 0 est une arete interne)
ou
T 0 (T 0 est une arete frontali`ere).
Pour cette methode dapproximation, on aura besoin de definir un
sens pour la normale aux aretes internes car les degres de liberte de
la variable p seront les flux de cette variable au travers des aretes des
triangles du maillage.
On fixe un sens de traversee de chaque arete en fixant la normale unitaire `a cette derni`ere. Cette normale est la normale sortante de si
83
On voit donc que pour construire un sous-espace delements finis approchant X = H(div, ), il suffit de raccorder les composantes normales aux interfaces des differents elements.
On sappuie alors sur la proposition suivante.
Proposition 8.2.1 Soit D une droite du plan et n une normale unitaire `
a D. Alors en notant par x la fonction dans C (IR2 , IR2 ) definie
par :
(x)i = xi , i = 1, 2
la fonction x x n est constante sur D.
84
El
ements finis de Raviart-Thomas pour le probl`
eme de Dirichlet
El
ement fini de Raviart-Thomas
85
2
De plus, on sait en utilisant la formule Green :
Z
Z
div p dT = T 0
p.n dT 0 = 0 = = 0.
T0
Do`
u, p = . La nullite des flux entrane alors que est orthogonal `a
deux directions non colineaires donc cest le vecteur nul.
8.2.2
Espaces dapproximation
a(ph , q h )+ b(q h , uh ) = Lq h , q h X h
b(ph , v h ) = v h , v h M h
(8.5)
86
El
ements finis de Raviart-Thomas pour le probl`
eme de Dirichlet
Syst`
eme discret
(8.6)
Tout dabord, on a :
Z
g q h n d =
X
T0
frontali`ere
0
T0
g q h n dT 0 .
0
T0
T 0 frontali`
ere
87
{g h }i =
0
g(mi )
Calcul de {f h }
T h
T h
Soit encore,
{f h }i = |Ti |f (ai ) , i = 1, ...Ne .
Calcul de A
relativement au triangle Ti
relativement au triangle Ti
0
( ie Ti est le triangle T + relativement a larete Tl )
[i]
88
El
ements finis de Raviart-Thomas pour le probl`
eme de Dirichlet
par
[i] [i]
[i]
o`
u Jl , l = 1, 2, 3, designe les fonctions de base definies par :
R
0
0
[i] Jl .n dT = k l .
Tk
Calcul g
eom
etrique pour d
eterminer les fonctions de base dans un triangle
T
Tl+1
Tl+2
= Jl est colineaire `a Jl ie Jl = cl Jl .
Mais
Z
0
0
Jl (x) n = 2 |Tl |.
Tl
Donc,
Jl =
1
0 (x al+2 ).
2|Tl |
89
Au besoin en prenant a
constante sur lelement T , on obtient la matrice
elementaire par
[i]
Ak l
3
a + an+1
a + an+1
1 X
=
A( n
al+2 )( n
ak+2 )
12|T | n=1
2
2
dT
(
)
3 n=1
2
T
est exacte pour les polynomes de degre 2.
La formation de la matrice A se fait par assemblage par la formule
[i] [i]
[i]
A Am n + k l Ak l
[i]
[i]
lb = max{|m n|; T h : Tm , Tl T }.
Calcul de la matrice B
h
h
wh v h = w
P B pR
=
wh div ph dT
PT h Th [i]
[i]
[i]
=
T h wi (p1 + p2 + p3 )
90
El
ements finis de Raviart-Thomas pour le probl`
eme de Dirichlet
Par identification, on a :
[i]
[i]
[i]
Bibliographie
[1] P. G. Ciarlet, Introduction `a lanalyse numerique et matricielle, Masson, 1988.
[2] P. G. Ciarlet, The finite element method for elliptic problem,
North Holland, 1978.
[3] G. Allaire, S. M. Kaber , Alg`ebre lineaire numerique, Ellipses, 2002.
[4] G. Allaire, S. M. Kaber , Introduction `a Scilab, Exercices
pratiques corriges dalg`ebre lineaire, Ellipses, 2002.
[5] P. A. Raviart, Introduction `a lanalyse numerique des equations
aux derivees partielles, Masson, 1992.
de
lec, Notions sur les elements finis, Math. et Appl.,
[6] J. C. Ne
SMAI, Ellipses, 1991.
[7] A. Le Pourhiet, Resolution des equations aux derivees partielles, Cepadues Editions, 1988.
[8] B. Lucquin, O. Pironneau, Introduction au calcul scientifique,
Masson, 1996.
[9] S. Nicaise Analyse numerique et equations aux derivees partielles, Dunod, 2000.
[10] L. Sainsaulieu, Calcul Scientifique,Masson, 1996.
[11] J. Rappaz, M. Picasso, Introduction `a lanalyse numerique,
Presses polytechniques et unversitaires romandes, 1998.
[12] C. Zuily, Probl`emes de distributions, Hermann, 1978.
[13] L. Schwartz, Theorie des distributions, Hermann, 1966.
92
BIBLIOGRAPHIE