Notes de cours

sur la m
ethode des
el
ements finis

M1 MAI

Eric Blayo
Janvier 2010

ii

Table des mati`

eres
1 Outils danalyse fonctionnelle
1.1 Quelques rappels . . . . . . . . . . . . . . .
1.1.1 Normes et produits scalaires . . . . .
1.1.2 Suites de Cauchy - espaces complets
1.2 Espaces fonctionnels . . . . . . . . . . . . .
1.3 Notion de derivee generalisee . . . . . . . . .
1.3.1 Fonctions tests . . . . . . . . . . . .
1.3.2 Derivee generalisee . . . . . . . . . .
1.4 Espaces de Sobolev . . . . . . . . . . . . . .
1.4.1 Les espaces H m . . . . . . . . . . . .
1.4.2 Trace dune fonction . . . . . . . . .
1.4.3 Espace H10 () . . . . . . . . . . . . .

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

1
1
1
2
2
3
3
4
5
5
6
7

2 Introduction `
a la m
ethode des
el
ements finis
2.1 Formulation variationnelle . . . . . . . . . . . . .
2.1.1 Exemple 1-D . . . . . . . . . . . . . . . .
2.1.2 Exemple 2-D . . . . . . . . . . . . . . . .
2.1.3 Formulation generale . . . . . . . . . . . .
2.2 Existence et unicite de la solution . . . . . . . . .
2.2.1 Continuite . . . . . . . . . . . . . . . . . .
2.2.2 Theor`eme de Lax-Milgram . . . . . . . . .
2.2.3 Retour a` lexemple 1-D . . . . . . . . . . .
2.2.4 Remarque: condition inf-sup . . . . . . . .
2.3 EDP elliptiques dordre 2 . . . . . . . . . . . . . .
2.4 Approximation interne . . . . . . . . . . . . . . .
2.4.1 Principe general . . . . . . . . . . . . . . .
2.4.2 Interpretation de uh . . . . . . . . . . . .
2.4.3 Estimation derreur . . . . . . . . . . . . .
2.5 Principe general de la methode des elements finis
2.6 Retour `a lexemple 1-D . . . . . . . . . . . . . . .

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

9
9
9
10
10
11
11
11
12
13
13
14
14
15
15
16
17

3 El
ements finis de Lagrange
3.1 Unisolvance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2 Element fini de Lagrange . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.3 Exemples delements finis de Lagrange . . . . . . . . . . . . . . . . . . . . .

20
20
20
21

iii

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

3.4
3.5

3.3.1 Espaces de polynomes . . . . . .

3.3.2 Exemples 1-D . . . . . . . . . . .
3.3.3 Exemples 2-D triangulaires . . . .
3.3.4 Exemples 2-D rectangulaires . . .
3.3.5 Exemples 3-D . . . . . . . . . . .
Famille affine delements finis . . . . . .
Du probl`eme global aux elements locaux

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

4 El
ements finis dHermite
4.1 Classe dun element fini . . . . . . . . . . . . .
4.2 Elements finis dHermite . . . . . . . . . . . . .
4.2.1 Definitions . . . . . . . . . . . . . . . . .
4.2.2 Lien avec les elements finis de Lagrange .
4.2.3 Fonctions de base globales . . . . . . . .
4.3 Exemples . . . . . . . . . . . . . . . . . . . . .
4.3.1 Exemples 1-D . . . . . . . . . . . . . . .
4.3.2 Exemples 2-D triangulaires . . . . . . . .
4.3.3 Exemple 2-D rectangulaire . . . . . . . .

.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

5 Convergence de la m
ethode des
el
ements finis
5.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . .
5.2 Calcul de majoration derreur . . . . . . . . . . . . . .
5.2.1 Etape 1: majoration par lerreur dinterpolation
5.2.2 Etape 2: Decomposition sur les elements . . . .
5.2.3 Etape 3: Passage `a lelement de reference . . . .
5.2.4 Etape 4: Majoration sur lelement de reference .
5.2.5 Etape 5: Assemblage des majorations locales . .
5.2.6 Resultat final . . . . . . . . . . . . . . . . . . .
5.3 Quelques commentaires . . . . . . . . . . . . . . . . . .
6 Quelques aspects pratiques de la m
ethode
6.1 Maillage . . . . . . . . . . . . . . . . . . .
6.2 Assemblage de la matrice du syst`eme . . .
6.3 Formules de quadrature . . . . . . . . . .
6.3.1 Definitions . . . . . . . . . . . . . .
6.3.2 Quadrature en 1-D . . . . . . . . .
6.3.3 Quadrature en 2-D triangulaire . .
6.4 Domaines `a fronti`ere courbe . . . . . . . .

.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

des
el
ements finis
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .

.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

21
21
22
22
23
24
24

.
.
.
.
.
.
.
.
.

27
27
27
27
28
28
29
29
29
30

.
.
.
.
.
.
.
.
.

31
31
32
32
32
32
34
34
36
36

.
.
.
.
.
.
.

37
37
38
39
39
40
41
41

A Coordonn
ees barycentriques

42

B Calcul dint
egrales
B.1 Formules de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
B.2 Changement de variable dans une integrale . . . . . . . . . . . . . . . . . . .

45
45
45

iv

Chapitre 1
Outils danalyse fonctionnelle
1.1
1.1.1

Quelques rappels
Normes et produits scalaires

Soit E un espace vectoriel.

D
efinition : k.k : E IR+ est une norme sur E ssi elle verifie :
(N1) (kxk = 0) = (x = 0)
(N2) IR, x E, kxk = || kxk
(N3) x,y E, kx + yk kxk + kyk
(inegalite triangulaire)
Exemple : Pour E = IRn et x = (x1 , . . . ,xn ) IRn , on definit les normes
kxk1 =

n
X

|xi |

i=1

kxk2 =

n
X

!1/2

x2i

kxk = sup |xi |

i

i=1

D
efinition : On appelle produit scalaire sur E toute forme bilineaire symetrique definie
positive.
< .,. > : E E IR est donc un produit scalaire sur E ssi il verifie :
(S1) x,y E, < x,y >=< y,x >
(S2) x1 ,x2 ,y E, < x1 + x2 ,y >=< x1 ,y > + < x2 ,y >
(S3) x,y E, IR, < x,y >= < x,y >
(S4) x E,x 6= 0, < x,x > > 0

A partir dun produit scalaire, on peut definir une norme induite : kxk = < x,x >
On a alors, dapr`es (N3), lin
egalit
e de Cauchy-Schwarz : | < x,y > | kxk kyk
Exemple : Pour E = IRn , on definit le produit scalaire < x,y >=

n
X
i=1

est k.k2 definie precedemment.

Un espace vectoriel muni dune norme est appele espace norm
e.
1

xi yi . Sa norme induite

Un espace vectoriel muni dun produit scalaire est appele espace pr

ehilbertien. En particulier, cest donc un espace norme pour la norme induite.

1.1.2

Suites de Cauchy - espaces complets

D
efinition : Soit E un espace vectoriel et (xn )n une suite de E. (xn )n est une suite de
Cauchy ssi > 0, N/p > N,q > N, kxp xq k <
Toute suite convergente est de Cauchy. La reciproque est fausse.
D
efinition : Un espace vectoriel est complet ssi toute suite de Cauchy y est convergente.
D
efinition : Un espace norme complet est un espace de Banach.
D
efinition : Un espace prehilbertien complet est un espace de Hilbert.
D
efinition : Un espace de Hilbert de dimension finie est appele espace euclidien.

1.2

Espaces fonctionnels

D
efinition : Un espace fonctionnel est un espace vectoriel dont les elements sont des
fonctions.
Exemple : C p ([a; b]) designe lespace des fonctions definies sur lintervalle [a,b], dont toutes
les derivees jusqu`a lordre p existent et sont continues sur [a,b].
Dans la suite, les fonctions seront definies sur un sous-ensemble de IRn (le plus souvent un
ouvert note ), a` valeurs dans IR ou IRp .
IR3 est une fonction de
Exemple : La temperature T (x,y,z,t) en tout point dun objet
IR IR.

Les normes usuelles les plus simples sur les espaces fonctionnels sont les normes Lp definies
par :
kukLp =

Z

|u|

1/p

, p [1, + [,

et

kukL = Sup |u|

Comme on va le voir, ces formes Lp ne sont pas necessairement des normes. Et lorsquelles
le sont, les espaces fonctionnels munis de ces normes ne sont pas necessairement des espaces
de Banach. Par exemple, les formes L et L1 sont bien des normes sur lespace C 0 ([a; b]), et
cet espace est complet si on le munit de la norme L , mais ne lest pas si on le munit de la
norme L1 .
Pour cette raison, on va definir les espaces Lp () (p [1, + [) par


Lp () = u : IR, mesurable, et telle que

|u|p <

( on rappelle quune fonction u est mesurable ssi {x/|u(x)| < r} est mesurable r > 0. )
Sur ces espaces Lp (), les formes Lp ne sont pas des normes. En effet, kukLp = 0 implique
que u est nulle presque partout dans Lp (), et non pas u = 0. Cest pourquoi on va definir
les espaces Lp () :
D
efinition : Lp () est la classe dequivalence des fonctions de Lp () pour la relation
dequivalence egalite presque partout. Autrement dit, on confondra deux fonctions d`es
lors quelles sont egales presque partout, cest a` dire quelles ne diff`erent que sur un ensemble de mesure nulle.
Th
eor`
eme : La forme Lp est une norme sur Lp (), et Lp () muni de la norme Lp est un
espace de Banach (c.a.d. est complet).
Un cas particulier tr`es important est p = 2. On obtient alors lespace fonctionnel L2 (),
cest a` dire lespace des fonctions de carre sommable sur (`a la relation dequivalence egalite
R
1/2
presque partout Rpr`es). A la norme L2 : kukL2 = ( u2 ) , on peut associer la forme bilineaire (u,v)L2 = u v. Il sagit dun produit scalaire, dont derive la norme L2 . Do`
u:
Th
eor`
eme : L2 () est un espace de Hilbert.

1.3

Notion de d
eriv
ee g
en
eralis
ee

Nous venons de definir des espaces fonctionnels complets, ce qui sera un bon cadre pour
demontrer lexistence et lunicite de solutions dequations aux derivees partielles, comme
on le verra plus loin notamment avec le theor`eme de Lax-Milgram. Toutefois, on a vu que
les elements de ces espaces Lp ne sont pas necessairement des fonctions tr`es reguli`eres.
D`es lors, les derivees partielles de telles fonctions ne sont pas forcement definies partout.
Pour saffranchir de ce probl`eme, on va etendre la notion de derivation. Le veritable outil `a
introduire pour cela est la notion de distribution, due a` L. Schwartz (1950). Par manque
de temps dans ce cours, on se contentera ici den donner une idee tr`es simplifiee, avec la
notion de d
eriv
ee g
en
eralis
ee. Cette derni`ere a des proprietes beaucoup plus limitees que
les distributions, mais permet de sentir les aspects necessaires pour mener `a la formulation
variationnelle.
Dans la suite, sera un ouvert (pas necessairement borne) de IRn .

1.3.1

Fonctions tests

D
efinition : Soit : IR. On appelle support de ladherence de {x /(x) 6= 0}.
Exemple : Pour =] 1,1[, et la fonction constante egale `a 1, Supp = [1,1].
D
efinition : On note D() lespace des fonctions de vers IR, de classe C , et `a support

compact inclus dans . D() est parfois appele espace des fonctions-tests.
Exemple : Lexemple le plus classique dans le cas 1-D est la fonction
(

(x) =

e
0

1
1x2

si |x| < 1
si |x| 1

(1.1)

est une fonction de D(]a,b[) pour tous a < 1 < 1 < b.

Cet exemple setend aisement au cas multi-dimensionnel (n > 1). Soit a et r > 0 tel
que la boule fermee de centre a et de rayon r soit incluse dans . On pose alors :
(

(x) =

e
0

1
r 2 |xa|2

si |x a| < r
sinon

(1.2)

ainsi definie est element de D().

Th
eor`
eme : D() = L2 ()

1.3.2

D
eriv
ee g
en
eralis
ee

Soit u C 1 () et D(). Par integration par parties (cf annexe B.1), on a :

Z

i u =

u i +

u ei .n

Ce dernier termeR (integrale sur le bord de ) est nul car est a` support compact
(donc
R
nul sur ). Or u i a un sens par exemple d`es que u L2 (). Donc le terme i u
a aussi du sens, sans que u ne soit necessairement de classe C 1 . Ceci permet de definir i u
meme dans ce cas.
D
efinition : (cas 1-D) Soit I un intervalle de IR, pas forcement borne. On dit que uR L2 (I)
admet
une d
eriv
ee g
en
eralis
ee dans L2 (I) ssi u1 L2 (I) telle que D(I),
I u1 =
R
0
I u
Exemple : Soit I =]a,b[ un intervalle borne, et c un point de I. On consid`ere une fonction
u formee de deux branches de classe C 1 , lune sur ]a,c[, lautre sur ]c,b[, et se raccordant de
facon continue mais non derivable en c. Alors u admet une derivee generalisee definie par
u1 (x) = u0 (x) x 6= c. En effet :
D(]a,b[)

Z b
a

u =

Z c
a

Z b

Z c
a

Z b
c

u0 + (u(c ) u(c+ )) (c)

|

{z

=0

par integration par parties. La valeur u1 (c) na pas dimportance: on a de toute facon au final
la meme fonction de L2 (I), puisquelle est definie comme classe dequivalence de la relation
dequivalence egalite presque partout.
D
efinition : En iterant, on dit que u admet une d
eriv
ee g
en
eralis
ee dordre k dans
4

L (I), notee uk , ssi D(I),

uk = (1)

u(k)

Ces definitions setendent naturellement pour la definition de derivees partielles generalisees,

dans le cas n > 1.
Th
eor`
eme : Quand elle existe, la derivee generalisee est unique.
la derivee generalisee est egale a` la derivee clasTh
eor`
eme : Quand u est de classe C 1 (),
sique.

1.4
1.4.1

Espaces de Sobolev
Les espaces H m
n

D
efinition : H 1 () = u L2 () / i u L2 (), 1 i n o`
u i u est definie au sens de
1
la derivee generalisee. H () est appele espace de Sobolev dordre 1.
D
efinition : Pour tout entier m 1,
n

H m () = u L2 () / u L2 () = (1 , . . . ,n ) INn tel que || = 1 + + n m

H m () est appele espace de Sobolev dordre m.
Par extension, on voit aussi que H 0 () = L2 ().
Dans le cas de la dimension 1, on ecrit plus simplement pour I ouvert de IR :
n

H m (I) = u L2 (I) / u0 , . . . ,u(m) L2 (I)

Th
eor`
eme : H 1 () est un espace de Hilbert pour le produit scalaire
(u,v)1 =

uv +

n Z
X
i=1

i u i v = (u,v)0 +

n
X

(i u,i v)0

i=1

en notant (.,.)0 le produit scalaire L2 . On notera k.k1 la norme associee a` (.,.)1 .

On definit de meme un produit scalaire et une norme sur H m () par
(u,v)m =

( u, v)0

et

1/2
kukm = (u,u)m

||m

Th
eor`
eme : H m () muni du produit scalaire (.,.)m est un espace de Hilbert.
Th
eor`
eme : Si est un ouvert de IRn de fronti`ere suffisamment reguli`ere (par exemple
5

 pour k < m
C 1 ), on a linclusion : H m () C k ()

n
2

cest
Exemples : En particulier, on voit que pour un intervalle I de IR, on a H 1 (I) C 0 (I),
1
a` dire que, en 1-D, toute fonction H est continue.
Lexemple de u(x) = x sin x1 pour x ]0,1] et u(0) = 0 montre que la reciproque est fausse.
Lexemple de u(x,y) = | ln(x2 + y 2 )|k pour 0 < k < 1/2 montre quen dimension superieure
a` 1 il existe des fonctions H 1 discontinues.

1.4.2

Trace dune fonction

Pour pouvoir faire les integrations par parties qui seront utiles par exemple pour la
formulation variationnelle, il faut pouvoir definir le prolongement (la trace) dune fonction
sur le bord de louvert .
Si n = 1 (cas 1-D) : on consid`ere un intervalle ouvert I =]a,b[ borne. On a vu que H 1 (I)
Donc, pour u H 1 (I), u est continue sur [a,b], et u(a) et u(b) sont bien definies.
C 0 (I).
Comment alors definir la trace ? La demarche est la
Si n > 1 : on na plus H 1 () C 0 ().
suivante :
On definit lespace
n

= : IR / O ouvert contenant ,
C 1 (O), | =
C 1 ()

est lespace des fonctions C 1 sur , prolongeables par continuite

Autrement dit, C 1 ()
sur et dont le gradient est lui-aussi prolongeable par continuite. Il ny a donc pas
de probl`eme pour definir la trace de telles fonctions.

On montre que, si est un ouvert borne de fronti`ere assez reguli`ere, alors C 1 ()

1
est dense dans H ().
associe sa trace sur ,
Lapplication lineaire continue, qui a` toute fonction u de C 1 ()
1
se prolonge alors en une application lineaire continue de H () dans L2 (), notee 0 ,
quon appelle application trace. On dit que 0 (u) est la trace de u sur .
on a evidemment
Pour une fonction u de H 1 () qui soit en meme temps continue sur ,
0 (u) = u| . Cest pourquoi on note souvent par abus simplement u| plutot que 0 (u).
On peut de facon analogue definir 1 , application trace qui permet de prolonger la definition
usuelle de la derivee normale sur . Pour u H 2 (), on a i u H 1 (), i = 1, . . . ,n, et on
peut donc definir 0 (i u). La fronti`ere etantassez
eguli`ere (par exemple, idealement,
r
n1
.

de classe C 1 ), on peut definir la normale n =

.. en tout point de . On pose alors
nn
1 (u) =

n
X

0 (i u)ni . Cette application continue 1 de H 2 () dans L2 () permet donc bien

i=1

de prolonger la definition usuelle de la derivee normale. Dans le cas o`

u u est une fonction
2
1
de H () qui soit en meme temps dans C (), la derivee normale au sens usuel de u existe,
6

et 1 (u) lui est evidemment egal. Cest pourquoi on note souvent, par abus, n u plutot que
1 (u).

1.4.3

Espace H10 ()

D
efinition : Soit ouvert de IRn . Lespace H01 () est defini comme ladherence de D()
pour la norme k.k1 de H 1 (). (on rappelle que D() est lespace des fonctions C sur a`
support compact, encore appele espace des fonctions tests)
Th
eor`
eme : Par construction H01 () est un espace complet. Cest un espace de Hilbert pour
la norme k.k1
Si n = 1 (cas 1-D) : on consid`ere un intervalle ouvert I =]a,b[ borne. Alors
n

H01 (]a,b[) = u H 1 (]a,b[), u(a) = u(b) = 0

Si n > 1 : Si est un ouvert borne de fronti`ereassez reguli`ere (par exemple C 1 par morceaux), alors H01 () = ker 0 .
H01 () est donc le sous-espace des fonctions de H 1 () de trace nulle sur la fronti`ere .
D
efinition : Pour toute fonction u de H 1 (), on peut definir :
|u|1 =

n
X

!1/2

ki uk20

Z X
n
i=1

i=1

!1/2
2

(i u) dx

Th
eor`
eme : (In
egalit
e de Poincar
e) Si est borne dans au moins une direction, alors il
existe une constante C() telle que u H01 (), kuk0 C() |u|1 .
On en deduit que |.|1 est une norme sur H01 (), equivalente `a la norme k.k1 .
Corollaire : Le resultat precedent setend au cas o`
u lon a une condition de Dirichlet nulle
seulement sur une partie de , si est connexe.
On suppose que est un ouvert borne connexe, de fronti`ere C 1 par morceaux. Soit V =
{v H 1 (), v = 0 sur 0 } o`
u 0 est une partie de de mesure non-nulle. Alors il existe
une constante C() telle que u V, kuk0,V C() |u|1,V , o`
u k.k0,V et |.|1,V designent les
norme et semi-norme induites sur V .
On en deduit que |.|1,V est une norme sur V , equivalente `a la norme k.k1,V .

Compl
ements
1. Montrer que les fonctions definies par (1.1) et (1.2) sont bien C `a support compact.

2. Montrer que C 0 ([a,b]) est un espace complet pour la norme L .

3. Montrer que ce nest pas le cas pour la norme L1 (exhiber une suite de Cauchy non convergente
dans C 0 ([a,b])).
4. Demontrer que, lorsquelle existe, la derivee generalisee est unique.
5. Demontrer que, pour une fonction de classe C 1 , la derivee generalisee est egale `a la derivee
classique.
6. Soit une fonction de [a,b] vers IR, formee de deux branches de classe C 1 sur [a,c[ et ]c,b], et
discontinue en c. Montrer quelle nadmet pas de derivee generalisee. (il faudrait alors avoir
recours `
a la notion de distribution pour deriver cette fonction).
7. Montrer que |.|1 est une norme sur H01 (), equivalente `a la norme k.k1

Chapitre 2
Introduction `
a la m
ethode des

el
ements finis
2.1
2.1.1

Formulation variationnelle
Exemple 1-D

Soit `a resoudre le probl`eme

(

(P)

u(x) + c(x)u(x) = f (x)

u(a) = u(b) = 0

a<x<b

(2.1)

o`
u f et c sont des fonctions donnees continues sur [a,b]. On supposera de plus que la fonction
c est strictement positive sur [a,b]. Un tel probl`eme est appele probl`eme aux limites.
D
efinition : Une solution classique (ou solution forte) de (P) est une fonction de
2
C ([a,b]) telle que u(a) = u(b) = 0 et x ]a,b[, u(x) + c(x)u(x) = f (x).
En faisant le produit scalaire L2 (]a,b[) de lequation differentielle avec une fonction-test
v D(]a,b[) (cest a` dire en integrant sur [a,b]), on a :

Z b

u(x)v(x) dx +

Z b

c(x)u(x)v(x) dx =

Z b

f (x)v(x) dx

soit, en integrant par parties le premier terme :

Z b

u0 (x)v 0 (x) dx +

Z b

c(x)u(x)v(x) dx =

Z b

f (x)v(x) dx

car v(a) = v(b) = 0 puisque v D(]a,b[). Chaque terme de cette equation a en fait un sens
d`es lors que v H01 (]a,b[). De plus, D(]a,b[) etant dense dans H01 (]a,b[) (cf 1.4.3), cette
equation est verifiee pour tout v H01 (]a,b[).
On peut donc definir le nouveau probl`eme :
(Q)

Trouver u H01 (]a,b[) tel que

Z b
a

u0 (x)v 0 (x) dx +

Z b

c(x)u(x)v(x) dx =

Z b
a

f (x)v(x) dx v H01 (]a,b[)

(2.2)

Ce probl`eme est la formulation variationnelle (ou formulation faible) du probl`eme (P).

Toute solution de (Q) est appelee solution faible. Il est immediat que toute solution forte
de (P) est aussi une solution faible.

2.1.2

Exemple 2-D

Soit ouvert borne de IRn . On veut resoudre le probl`eme

(

(P)

u + u = f
n u = 0

dans
sur

(2.3)

verifiant (2.3) en tout point

Une solution classique de ce probl`eme est une fonction de C 2 ()
0
de . Au passage, on voit que ceci impose que f soit C (). Toute solution classique verifie
donc :
Z
Z
Z

v C 1 ()
u v + uv = f v

soit par integration par parties :

u v +

uv =

f v puisque n u = 0 sur . Or,

= H 1 (). On peut donc definir le nouveau probl`eme :

C 1 ()
(Q)

Trouver
u H 1 ()
Z
Z tel que
Z
u v +

uv =

fv

v H 1 ()

(2.4)

Cest la formulation variationnelle de (P). On voit aussi que ce probl`eme est defini d`es lors
que f L2 ().

2.1.3

Formulation g
en
erale

Les exemples precedents montre que, dune facon generale, la formulation variationnelle sera
obtenue en faisant le produit scalaire L2 () de lequation avec une fonction v appartenant
a` un espace V a` preciser (cest a` dire en multipliant par v et en integrant sur ), et en
integrant par parties les termes dordre les plus eleves en tenant compte des conditions aux
limites du probl`eme. On arrive alors a` une formulation du type :
Trouver u V tel que a(u,v) = l(v) v V

(2.5)

o`
u a(.,.) est une forme sur V V (bilineaire si lEDP de depart est lineaire) et l(.) est une
forme sur V (lineaire si les conditions aux limites de lEDP de depart le sont).
Remarque : Une formulation plus generale est la suivante :
Trouver u V tel que a(u,w) = l(w) w W

(2.6)

o`
u a(.,.) est une forme bilineaire sur V W et l(.) est une forme lineaire sur W . V est alors
appele espace des solutions et W espace des fonctions-tests. La formulation precedente (2.5)
correspond donc au cas particulier W = V .
10

2.2
2.2.1

Existence et unicit
e de la solution
Continuit
e

Soient V et W des espaces de Hilbert.

D
efinition : Une forme lin
eaire l(u) sur V est continue ssi il existe une constante K telle
que |l(u)| K kukV u V .
D
efinition : Une forme bilin
eaire a(u,w) sur V W est continue ssi il existe une constante
M telle que |a(u,w)| M kukV kwkW (u,w) V W .

2.2.2

Th
eor`
eme de Lax-Milgram

On va introduire ici un outil important pour assurer lexistence et lunicite de solutions `a la

formulation variationnelle de probl`emes aux limites de type elliptique. On se place dans le
cas W = V .
D
efinition : Une forme bilin
eaire a(u,v) sur V V est coercive (ou V-elliptique) ssi il
existe une constante > 0 telle que a(u,u) kuk2 , u V .
Th
eor`
eme : (Lax-Milgram) Soit V un espace de Hilbert. Soit a une forme bilineaire
continue coercive sur V . Soit l une forme lineaire continue sur V . Alors il existe un unique
u V tel que a(u,v) = l(v), v V .
(et de plus, lapplication lineaire l u est continue.)
La demonstration generale de ce theor`eme peut etre trouvee par exemple dans Raviart et
Thomas (1983).
Th
eor`
eme : On prend les memes hypoth`eses que pour le theor`eme de Lax-Milgram, et on
suppose de plus que a est symetrique, cest a` dire que a(u,v) = a(v,u) u,v. On definit
alors la fonctionnelle J(v) = 12 a(v,v) l(v), et on consid`ere le probl`eme de minimisation :
Trouver u V tel que J(u) = min J(v)
vV

Alors ce probl`eme admet une solution unique, qui est egalement la solution du probl`eme
variationnel precedent.
La demonstration de ce theor`eme vient du fait que J est une fonctionnelle quadratique, et
que lon a J[u](v) = a(u,v) l(v).
Cest de cette propriete que vient lutilisation du terme variationnel, puisquelle montre le
lien avec le calcul des variations.
Remarque : Le theor`eme de Lax-Milgram donne des conditions suffisantes pour que le
probl`eme soit bien pose (cest `a dire existence et unicite de la solution), pas des conditions
necessaires. Si les hypoth`eses de ce theor`eme ne sont pas satisfaites, on ne peut donc pas en
11

deduire que le probl`eme est mal pose. Toutefois, dans le cas o`

u toutes les hypoth`eses autres
que la coercivite de a sont satisfaites, on a le resultat suivant : si a est symetrique et positive
(a(v,v) 0 ,v V ), alors a non coercive implique que le probl`eme est mal pose.

2.2.3

Retour `
a lexemple 1-D

En reprenant lexemple 1-D precedent, on peut poser :

a(u,v) =

Z b

u0 (x)v 0 (x) dx +

Z b

c(x)u(x)v(x) dx

(2.7)

et
l(v) =

Z b

f (x)v(x) dx

(2.8)

a ainsi definie est une forme bilineaire symetrique continue coercive sur H01 (a,b) H01 (a,b),
et l est une forme lineaire continue sur H01 (a,b). Donc le probl`eme (2.2) admet une solution
unique dapr`es le theor`eme de Lax-Milgram.
Cherchons maintenant a` interpreter cette solution u de (2.2). Prenons v = D(]a,b[).
Alors
Z b
Z b
Z b
u0 (x)0 (x) dx +
c(x)u(x)(x) dx =
f (x)(x) dx
a

Z b

Z b

soit, en integrant par parties :

Z b
a

u(x)(x) dx +

c(x)u(x)(x) dx =

f (x)(x) dx

cest a` dire (u + cu,)0 = (f,)0 D(]a,b[). D(]a,b[) etant dense dans L2 (]a,b[), on
a donc : u + cu = f dans L2 (]a,b[). u etant dans L2 (]a,b[), et f et c etant dans C 0 ([a,b]),
donc egalement dans L2 (]a,b[), on en deduit que u = cu f est aussi dans L2 (]a,b[).
Puisque u est dans H01 (]a,b[) et que u est dans L2 (]a,b[), on en deduit que u est dans
H 2 (]a,b[). Donc u est dans C 1 ([a,b]) (cf 1.4.1).
De ce fait, cu f , cest a` dire u, est dans C 0 ([a,b]). Donc u0 est dans C 1 ([a,b]), donc u est
dans C 2 ([a,b]).
La solution faible u est donc aussi solution forte du probl`eme de depart.
En resume :
On est parti dun probl`eme (P) et on a introduit sa formulation variationnelle (Q).
On a montre lexistence et lunicite dune solution faible (en utilisant le theor`eme de
Lax-Milgram). Toute solution forte etant aussi solution faible, ceci prouve quil y a au
plus une solution forte pour (P).
On a prouve que cette solution faible est bien une solution forte. Le probl`eme de depart
(P) a donc une solution unique.

Linteret de cette demarche est dune part que la formulation variationnelle se prete bien `a
letude de lexistence et de lunicite de solutions, et dautre part que lon travaille dans des
espaces de Hilbert, ce qui va permettre de faire de lapproximation interne.
12

2.2.4

Remarque: condition inf-sup

Dans le cas de la formulation plus generale (2.6), on a le theor`eme suivant.

Th
eor`
eme : (Banach-Neca-Babuska) Soient V et W deux espaces de Hilbert, a une
forme bilineaire continue sur V W , l une forme lineaire continue sur W . Alors le probl`eme
(2.6) admet une et une seule solution si et seulement si
a(v,w)

kvkV kwkW

> 0 tel que inf sup

w W, (a(v,w) = 0 v V ) (w = 0)

vV wW

Remarques :
La premi`ere condition est appelee condition inf-sup.
Contrairement au theor`eme de Lax-Milgram, ce theor`eme fournit une condition necessaire
et suffisante pour que la formulation soit bien posee.
Pour prouver la condition inf-sup, on peut considerer une fonction v V et construire
une fonction wv W telle que a(v,wv ) 1 kvk2V et kwv k2W 2 kvkV . Ceci prouve
que la condition inf-sup est satisfaite, avec = 1 /2 .

2.3

EDP elliptiques dordre 2

Soit un ouvert borne de IRn , de fronti`ere assez reguli`ere. Soient des fonctions aij
et a0 dans C 0 ().
On consid`ere le probl`eme :
(1 i,j n) dans C 1 ()

(P)

n
X

i (aij j u) + a0 u = f

dans

i,j=1
n
X

u=0

sur 0

aij j u ni = g

sur 1

(2.9)

i,j=1

o`
u 0 et 1 forment une partition de ( 0 1 = et 0 1 = ).
et g C 0 (1 ), sera une
Une solution classique de (P), sous lhypoth`ese que f C 0 ()
verifiant lequation en chaque point de .
fonction de C 2 ()
La formulation variationnelle de (P) est obtenue par integration par parties. Elle secrit :
(Q)

Trouveru V tel que

n
X

aij j u i v + a0 uv =

i,j=1

fv +

gv

v V

(2.10)

avec V = v H 1 () , v = 0 sur 0 . Cette formulation est en fait definie d`es lors que a0
et les aij sont dans L (), f dans L2 () et g dans L2 (1 ).

Posons a(u,v) =

n
X

aij j u

i v + a0 uv

et l(v) =

i,j=1

13

fv +

Z
1

gv.

Il est immediat

que a est une forme bilineaire continue et l une forme lineaire continue sur V . Si lEDP de
depart (2.9) verifie les deux hypoth`eses dellipticite :
n

il existe > 0 tel que = (1 , . . . ,n ) IR ,

n
X

aij (x) i j kk2 presque pour

i,j=1

tout x
il existe 0 tel que a0 (x) 0 presque pour tout x
alors a est coercive :

(et donc en particulier si 0 0) o`

u C() est la
C()2
constante de linegalite de Poincare
sur H 1 () si 0 > 0

sur H01 () d`es que 0 >

Par application du theor`eme de Lax-Milgram, on a donc existence et unicite dune solution

a` la formulation variationnelle (Q) :

si 0 = (cest a` dire 1 = ) et si 0 >

C()2
si 1 6= et si 0 > 0

2.4
2.4.1

Approximation interne
Principe g
en
eral

Soit un domaine ouvert de IRn (n = 1,2 ou 3 en pratique), de fronti`ere , et sur lequel

on cherche a` resoudre une equation aux derivees partielles, munie de conditions aux limites.
En ecrivant la formulation variationnelle, on obtient un probl`eme de la forme
(Q)

Trouver u V tel que a(u,v) = l(v), v V

o`
u V est un espace de Hilbert. Sous reserve que lequation de depart ait de bonnes proprietes,
cest `a dire par exemple quon soit dans les hypoth`eses du theor`eme de Lax-Milgram, (Q)
admet une solution unique u. Pour obtenir une approximation numerique de u, on va maintenant remplacer lespace V qui est en general de dimension infinie par un sous-espace Vh
de dimension finie, et on va chercher `a resoudre le probl`eme approche
(Qh )

Trouver uh Vh tel que a(uh ,vh ) = l(vh ), vh Vh

Vh etant de dimension finie, cest un ferme de V . V etant un espace de Hilbert, Vh lest

donc aussi. Do`
u lexistence et lunicite de uh , a` nouveau par exemple dapr`es le theor`eme
de Lax-Milgram.
Lespace Vh sera en pratique construit a` partir dun maillage du domaine , lindice h
designant la taille typique des mailles. Lorsque lon construit des maillages de plus en plus
fins, la suite de sous-espaces (Vh )h formera une approximation interne de V , cest `a dire
que, pour tout element de V , il existe une suite de h Vh telle que k h k 0
14

quand h 0. Cette methode dapproximation interne est egalement appelee m

ethode de
Galerkin.
Remarque : Dans le cas de la formulation plus generale (2.6)
(Q0 )

Trouver u V tel que a(u,w) = l(w), w W

le probl`eme approche devient

(Q0 h )

Trouver uh Vh tel que a(uh ,wh ) = l(wh ), wh Wh

et le caract`ere bien pose de (Q0 h ) est equivalent aux deux conditions

h > 0 tel que inf

sup

vh Vh wh Wh

a(vh ,wh )
h
kvh kVh kwh kWh

wh Wh , (a(vh ,wh ) = 0 vh Vh ) (wh = 0)

ou bien, de facon equivalente :

h > 0 tel que inf

sup

vh Vh wh Wh

a(vh ,wh )
h
kvh kVh kwh kWh

dim Vh = dim Wh

Le premi`ere relation est appelee condition inf-sup discr`ete. Attention : ces proprietes doivent
etre demontrees. Rien ne garantit a priori que la condition inf-sup discr`ete sera verifiee,
meme si la condition inf-sup est verifiee.

2.4.2

Interpr
etation de uh

On a a(u,v) = l(v),v V , donc en particulier a(u,vh ) = l(vh ),vh Vh , car Vh V . Par

ailleurs, a(uh ,vh ) = l(vh ),vh Vh . Par difference, on en deduit que
a(u uh ,vh ) = 0, vh Vh

(2.11)

Dans le cas o`
u a(.,.) est symetrique, il sagit dun produit scalaire sur V . uh peut alors etre
interpretee comme la projection orthogonale de u sur Vh au sens de a(.,.).

2.4.3
On a :

Estimation derreur
a(u uh ,u uh ) = a(u uh ,u vh + vh uh ) vh Vh
= a(u uh ,u vh ) + a(u uh ,vh uh )

Or vh uh Vh . Donc a(u uh ,vh uh ) = 0 dapr`es (2.11). On a donc :

a(u uh ,u uh ) = a(u uh ,u vh ) vh Vh
15

(2.12)

a etant coercive, il existe > 0 tel que a(uuh ,uuh ) kuuh k2 , o`

u k.k est une norme sur
V . Par ailleurs, a etant continue, il existe M > 0 tel que a(uuh ,uvh ) M kuuh k kuvh k.
En reinjectant ces deux inegalites de part et dautre de (2.12) et en simplifiant par ku uh k
on obtient
M
ku uh k
ku vh k vh Vh
(2.13)

cest `a dire
M
d(u,Vh )
(2.14)
ku uh k

o`
u d est la distance induite par k.k. Cette majoration est appelee lemme de C
ea. Elle
ram`ene letude de lerreur dapproximation uuh a` letude de lerreur dinterpolation d(u,Vh ).

2.5

Principe g
en
eral de la m
ethode des
el
ements finis

La demarche generale de la methode des elements finis est la suivante. On a une EDP `a
resoudre sur un domaine . On ecrit la formulation variationnelle de cette EDP, et on se
ram`ene donc a` un probl`eme du type
Trouver u V tel que a(u,v) = l(v), v V

(Q)

On va chercher une approximation de u par approximation interne. Pour cela, on definit un

maillage du domaine , grace auquel on va definir un espace dapproximation Vh , s.e.v. de
V de dimension finie Nh (par exemple Vh sera lensemble des fonctions continues sur et
affines sur chaque maille). Le probl`eme approche est alors
(Qh )

Trouver uh Vh tel que a(uh ,vh ) = l(vh ), vh Vh

Soit (1 , . . . ,Nh ) une base de Vh . En decomposant uh sur cette base sous la forme
uh =

Nh
X

i i

(2.15)

i=1

le probl`eme (Qh ) devient

Nh
X

i a(i ,vh ) = l(vh ), vh Vh

(2.16)

i a(i ,j ) = l(j ), j = 1, . . . ,Nh

(2.17)

Trouver 1 , . . . ,Nh tels que

i=1

ou encore par linearite de a et l :

Trouver 1 , . . . ,Nh tels que

Nh
X
i=1

cest `a dire resoudre le syst`eme lineaire

a(1 ,1 )

..

a(Nh ,1 )
1
l(1 )

..
..
. =

.
.
.

a(1 ,Nh ) a(Nh ,Nh )

Nh
l(Nh )
16

(2.18)

soit
A = b

(2.19)

La matrice A est a priori pleine. Toutefois, pour limiter le volume de calculs, on va definir
des fonctions de base i dont le support sera petit, cest `a dire que chaque fonction i sera
nulle partout sauf sur quelques mailles. Ainsi les termes a(i ,j ) seront le plus souvent nuls,
car correspondant a` des fonctions i et j de supports disjoints. La matrice A sera donc une
matrice creuse, et on ordonnera les i de telle sorte que A soit a` structure bande, avec une
largeur de bande la plus faible possible.
A ce niveau, les difficultes majeures en pratique sont de trouver les i et de les manipuler
pour les calculs dintegrales necessaires a` la construction de A. Sans rentrer pour le moment
dans les details, on peut toutefois indiquer que la plupart de ces difficultes seront levees
grace a` trois idees principales :
Le principe dunisolvance On sattachera `a trouver des degres de liberte (ou
ddl) tels que la donnee de ces ddl determine de facon univoque toute fonction de Vh .
Il pourra sagir par exemple des valeurs de la fonction en quelques points. Determiner
une fonction reviendra alors a` determiner ses valeurs sur ces ddl.
D
efinition des i On definira les fonctions de base par i = 1 sur le i`eme ddl, et
i = 0 sur les autres ddl. La manipulation des i sera alors tr`es simplifiee, et les i
auront par ailleurs un support reduit `a quelques mailles.
La notion de famille affine d
el
ements Le maillage sera tel que toutes les
mailles soient identiques a` une transformation affine pr`es. De ce fait, tous les calculs
dintegrales pourront se ramener a` des calculs sur une seule maille de reference, par
un simple changement de variable.

2.6

Retour `
a lexemple 1-D

On reprend le probl`eme 1-D (2.1). On a ecrit sa formulation variationnelle (cf 2.1.1) et

montre (cf 2.2.3) quelle admet une solution unique.
On peut maintenant construire un maillage de [a,b] en definissant une subdivision (pas
necessairement reguli`ere) a = x0 < x1 < . . . < xN < xN +1 = b. Definissons alors lespace Vh ,
sous-espace de H01 (a,b) de dimension finie, par :
n

Vh = vh C 0 (a,b) / vh affine sur chaque segment [xj ,xj+1 ] et vh (a) = vh (b) = 0

Le probl`eme approche sur Vh est :
(Qh )

Trouver uh Vh tel que a(uh ,vh ) = l(vh ), vh Vh

En remarquant quune fonction de Vh est enti`erement determinee par ses valeurs en x1 , . . . ,xN ,
on etablit que la dimension de Vh est N , et quune base de Vh est par exemple (1 , . . . ,N ),
o`
u i est definie par i (xj ) = ij , j = 1, . . . ,N (ij est ici le symbole de Kronecker). i est
donc la fonction chapeau representee sur la figure 2.1.

17

Fig. 2.1 Fonction de base i

En decomposant la solution approchee uh sur cette base sous la forme uh =

N
X

i i , on

i=1

obtient, comme au paragraphe 2.5, le syst`eme lineaire A = b, avec :

Z bh

Aji = a(i ,j ) =

0i (x)0j (x) + c(x)i (x)j (x) dx

N Z xk+1 h
X

k=0 xk

0i (x)0j (x)

(2.20)

+ c(x)i (x)j (x) dx

Le support de i etant reduit `a [xi1 ,xi+1 ], on en deduit que

a(i ,j )

a(i ,i1 ) =

= 0

a(i ,i+1 ) =

a(i ,i )

si |i j| 2

Z xi+1 h
xi

Z xi h
xi1

0i (x)0i1 (x) + c(x)i (x)i1 (x) dx

Z xi+1 h
xi1

0i (x)0i+1 (x) + c(x)i (x)i+1 (x) dx

(2.21)

2
02
i (x) + c(x)i (x) dx

A est donc tridiagonale.

Compl
ements
1. Dans le 2.2.2, montrer que, dans le cas o`
u a est symetrique, si u est solution du probl`eme
variationnel, alors elle est solution du probl`eme de minimisation.

18

2. Montrer que J[u](v) = a(u,v) l(v).

3. Montrer que, si a est coercive, la matrice A de (2.19) est inversible. (Cest donc la demonstration
du theor`eme de Lax-Milgram en dimension finie.)
4. Pour lexemple 1-D traite dans ce chapitre, demontrer quon est bien dans les hypoth`eses du
theor`eme de Lax-milgram
5. Calculer explicitement la matrice A pour cet exemple.
6. Pour le probl`eme 2-D du 2.1.2, montrer que la formulation variationelle (2.4) admet une
solution unique, qui est aussi solution classique si f H 2 ().
7. Demontrer les resultats du 2.3

19

Chapitre 3
El
ements finis de Lagrange
On va presenter dans ce chapitre le type le plus simple et le plus classique delements finis.

3.1

Unisolvance

D
efinition : Soit = {a1 , . . . ,aN } un ensemble de N points distincts de IRn . Soit P un
espace vectoriel de dimension finie de fonctions de IRn a` valeurs dans IR. On dit que
est P -unisolvant ssi pour tous reels 1 , . . . ,N , il existe un unique element p de P tel que
p(ai ) = i , i = 1, . . . ,N .
Ceci revient `a dire que la fonction :
L : P IRN
p (p(a1 ), . . . ,p(aN ))

(3.1)

est bijective.
En pratique, on montrera que est P -unisolvant en verifiant que dim P = Card , puis en
montrant linjectivite ou la surjectivite de L.
Linjectivite de L se demontre en etablissant que la seule fonction de P sannulant sur tous
les points de est la fonction nulle.
La surjectivite de L se demontre en exhibant une famille p1 , . . . ,pN delements de P tels que
pi (aj ) = ij , cest a` dire un antecedent pour L de la base canonique de IRN . En effet, etant
donnes des reels 1 , . . . ,N , la fonction p =

N
X

i pi verifie alors p(aj ) = j , j = 1, . . . ,N .

i=1

3.2

El
ement fini de Lagrange

D
efinition : Un
el
ement fini de Lagrange est un triplet (K,,P ) tel que
K est un element geometrique de IRn (n = 1, 2 ou 3), compact, connexe, et dinterieur
non vide.
= {a1 , . . . ,aN } est un ensemble fini de N points distincts de K.
20

 P est un espace vectoriel de dimension finie de fonctions reelles definies sur K, et tel
que soit P -unisolvant (donc dim P = N ).
D
efinition : Soit (K,,P ) un element fini de Lagrange. On appelle fonctions de base
locales de lelement les N fonctions pi (i = 1, . . . ,N ) de P telles que
1 i,j N.

pi (aj ) = ij

(3.2)

On verifie aisement que (p1 , . . . ,pN ) ainsi definie forme bien une base de P .
D
efinition : On appelle op
erateur de P -interpolation sur loperateur K qui, a` toute
fonction v definie sur K, associe la fonction K v de P definie par K v =

N
X

v(ai ) pi . K v est

i=1

donc lunique element de P qui prend les memes valeurs que v sur les points de .

3.3
3.3.1

Exemples d
el
ements finis de Lagrange
Espaces de polyn
omes

On notera Pk lespace vectoriel des polynomes de degre total inferieur ou egal `a k.

Sur IR, Pk = Vect{1,X, . . . ,X k } et dim Pk = k + 1.
(k + 1)(k + 2)
.
Sur IR2 , Pk = Vect{X i Y j ; 0 i + j k} et dim Pk =
2
(k + 1)(k + 2)(k + 3)
Sur IR3 , Pk = Vect{X i Y j Z l ; 0 i + j + l k} et dim Pk =
.
6
On notera Qk lespace vectoriel des polynomes de degre inferieur ou egal a` k par rapport a`
chaque variable.
Sur IR, Qk = Pk .
Sur IR2 , Qk = Vect{X i Y j ; 0 i,j k} et dim Qk = (k + 1)2 .
Sur IR3 , Qk = Vect{X i Y j Z l ; 0 i,j,l k} et dim Qk = (k + 1)3 .

3.3.2

Exemples 1-D

El
ement P1
K = [a,b]
= {a,b}
P = P1
El
ement P2
K = [a,b]
a+b
,b}
= {a,
2
P = P2
21

El
ement Pm
K = [a,b]
= {a + i
P = Pm

3.3.3

ba
, i = 0, . . . ,m}
m

Exemples 2-D triangulaires

El
ement P1
K=triangle de sommets a1 ,a2 ,a3
= {a1 ,a2 ,a3 }
P = P1
Les fonctions de base sont definies par pi (aj ) = ij . Ce sont donc les coordonnees barycentriques : pi = i (cf annexe A).
El
ement P2
K=triangle de sommets a1 ,a2 ,a3
= {a1 ,a2 ,a3 ,a12 ,a13 ,a23 }, o`
u aij =
P = P2

ai + aj
.
2

Les fonctions de base sont pi = i (2i 1) et pij = 4i j . Un exemple de calcul de ces

fonctions de base est donne en annexe A.

Fig. 3.1 Elements finis triangulaire P1 , triangulaire P2 et rectangulaire Q1

3.3.4

Exemples 2-D rectangulaires

El
ement Q1
K=rectangle de sommets a1 ,a2 ,a3 ,a4 , de cotes parall`eles aux axes
= {a1 ,a2 ,a3 ,a4 }
P = Q1
22

(X xj )(Y yj )
, o`
u (xi ,yi ) sont les coordonnees de
(xi xj )(yi yj )
ai , et o`
u aj , de coordonnees (xj ,yj ) est le coin oppose `a ai .
Les fonctions de base sont pi (X,Y ) =

3.3.5

Exemples 3-D

El
ement t
etra`
edrique P1
K=tetra`edre de sommets a1 ,a2 ,a3 ,a4
= {a1 ,a2 ,a3 ,a4 }
P = P1
El
ement t
etra`
edrique P2
K=tetra`edre de sommets a1 ,a2 ,a3 ,a4
= {ai }1i4 {aij }1i<j4
P = P2
Les fonctions de base sont pi = i (2i 1) et pij = 4i j .
El
ement parall
el
epip`
edique Q1
K=parallelepip`ede de sommets a1 , . . . ,a8 de cotes parall`eles aux axes
= {ai }1i8
P = Q1
El
ement prismatique
K=prisme droit de sommets a1 , . . . ,a6
= {ai }1i6
P = {p(X,Y,Z) = (a + bX + cY ) + Z(d + eX + f Y ), a,b,c,d,e,f IR}

Fig. 3.2 Elements finis tetra`edriques P1 et P2 , parallelepip`edique Q1 , et prismatique

23

3.4

Famille affine d
el
ements finis

,
P ) et (K,,P ) sont affine-
D
efinition : Deux elements finis (K,
equivalents ssi il existe
une fonction affine F inversible (F : x B x + b) telle que

K = F (K)
ai = F (
ai )
i = 1, . . . ,N
1
P = {
p F , p P }
Remarque : Si lon est dans IRn , B est donc une matrice n n inversible, et b est un vecteur
de IRn .
,
P ) et (K,,P ) deux elements finis affine-equivalents, via une transPropri
et
e : Soient (K,
Alors les fonctions
formation F . On note pi (i = 1, . . . ,N ) les fonctions de base locales de K.
de base locales de K sont les pi = pi F 1 .
D
efinition : On appelle famille affine d
el
ements finis une famille delements finis tous

P ), appele
affine-equivalents a` un meme element fini (K,,
el
ement de r
ef
erence.
Dun point de vue pratique, le fait de travailler avec une famille affine delements finis permet
de ramener tous les calculs dintegrales a` des calculs sur lelement de reference.
Les elements de reference sont :
En 1-D : le segment [0,1]
En 2-D triangulaire : le triangle unite, de sommets (0,0), (0,1) et (1,0).
En 2-D rectangulaire : le carre unite [0,1] [0,1].
En 3-D tetra`edrique : le tetra`edre unite, de sommets (0,0,0), (1,0,0), (0,1,0) et (0,0,1).
En 3-D parallelepip`edique : le cube unite [0,1] [0,1] [0,1].
En 3-D prismatique : le prisme unite de sommets (0,0,0), (0,1,0), (1,0,0), et (0,0,1),
(0,1,1), (1,0,1).

3.5

Du probl`
eme global aux
el
ements locaux

On va maintenant faire le lien entre la resolution dun probl`eme par methode delements
finis et les notions qui viennent detre introduites.
Soit une EDP a` resoudre sur un domaine , et V lespace de Hilbert dans lequel on cherche
une solution de la formulation variationnelle du probl`eme. On realise un maillage de par
une famille affine de Ne elements finis (Ki ,i ,Pi )i=1,...,Ne .
Par unisolvance, la solution approchee uh sera enti`erement definie sur chaque element (Ki ,i ,Pi )
par ses valeurs sur les points de i , quon appellera les noeuds du maillage. Il est a` noter
quun noeud sera en general commun `a plusieurs elements adjacents. Le nombre total de
noeuds Nh est donc inferieur a` Ne Cardi , et on a dim Vh = Nh . Notons a1 , . . . ,aNh les
noeuds du maillage. Le probl`eme approche se ram`ene donc a` la determination des valeurs
de uh aux points ai : ce sont les degres de liberte du probl`eme approche.
24

On va construire une base de Vh en associant a` chaque ddl ai un vecteur de la base. On

definit ainsi les fonctions de base globales i (i = 1, . . . ,Nh ) par
i |Kj Pj , j = 1, . . . ,Ne

et

i (aj ) = ij , 1 i,j Nh

(3.3)

Lespace dapproximation interne est donc alors :

Vh = Vect {1 , . . . ,Nh }

(3.4)

Il est facile de remarquer quune telle fonction i est nulle partout, sauf sur les elements
dont ai est un noeud. En effet, si ai nappartient pas `a un element K, i est nulle sur tous
les noeuds de K, et donc sur K tout entier par unisolvance.
De plus, sur un element K dont ai est un noeud, i vaut 1 sur ai et 0 sur les autres noeuds
de K. Donc i |K est une fonction de base locale de K. On voit donc que la fonction de
base globale i est construite comme r
eunion des fonctions de base locales sur
les
el
ements du maillage dont ai est un noeud.

Fig. 3.3 Exemple de fonction de base globale (element triangulaire P1 )

Cest a` ce niveau que se situe le lien entre les definitions locales introduites au 3.2 et le
probl`eme global approche a` resoudre. Par ailleurs, ceci implique que tous les calculs `a effectuer sur les fonctions de base globales peuvent se ramener `a des calculs sur les fonctions de
base locales, et donc simplement a` des calculs sur lelement de reference (car on a maille le
domaine avec une famille delements finis affine-equivalents).

25

Remarque : Ce type de definition des fonctions de base nest possible que si le maillage est
conforme, cest a` dire si lintersection entre deux elements est soit vide, soit reduite a` un
sommet ou une arete en dimension 2 (ou a` un sommet, une arete ou une face en dimension
3). On interdit ainsi les situations du type de celle de la figure 3.4.

Fig. 3.4 Exemples de maillage non conforme

Compl
ements
1. Calculer les fonctions de base locales des elements finis de Lagrange introduits dans ce chapitre.
2. Donner lallure des fonctions de base globales correspondantes. Sont-elles continues? derivables?
3. Pour les elements finis de Lagrange introduits dans ce chapitre, ecrire le changement de
variable affine entre element quelconque et element de reference.

26

Chapitre 4
El
ements finis dHermite
4.1

Classe dun
el
ement fini

Une question naturelle survenant dans la methode des elements finis est de savoir quelle est
la regularite de la solution approchee uh ? En particulier, uh est-elle continue? derivable?
uh etant combinaison lineaire des fonctions de base globales i , la question est donc de
determiner la regularite de ces fonctions de base globales. Or, la restriction dune fonction
de base globale `a un element de maillage est une fonction de base locale de cet element,
cest a` dire quelle appartient a` un espace de fonctions de regularite connue (en general il
sagit dun espace de polynomes, donc de fonctions C ). La regularite de i sera donc en
fait donnee par sa regularite au niveau des interfaces entre les elements adjacents formant
son support.
Pour les elements finis de Lagrange introduits au chapitre precedent, les fonctions de base
globales sont le plus souvent continues, sauf dans quelques cas particuliers (par exemple les
fonctions constantes par maille). Par contre, elles ne sont jamais derivables (cf figure 3.3).
Prenons par exemple le cas tr`es simple des elements finis Pm (m 1) en 1-D (cf 3.3.2).
Soient K1 et K2 deux mailles adjacentes, et {a} = K1 K2 leur point commun. a est un
noeud du maillage. Notons a la fonction de base globale associee. On impose a` a de verifier
a |K1 = p1 avec p1 Pm (K1 ), a |K2 = p2 avec p2 Pm (K2 ) et p1 (a) = p2 (a) = 1. Ceci
va imposer la continuite de a au point a (et donc sur K1 K2 ). Par contre, cela nimpose
pas du tout la derivabilite de a en a. Il faudrait pour cela controler la derivee de a en
imposant p01 (a) = p02 (a).
Cest pour permettre ce type damelioration que lon va generaliser la notion delement fini.

4.2
4.2.1

El
ements finis dHermite
D
efinitions

D
efinition : Un
el
ement fini dHermite ou
el
ement fini g
en
eral est un triplet (K,,P )
tel que
K est un element geometrique de IRn (n = 1, 2 ou 3), compact, connexe, et dinterieur

27

non vide.
= {1 , . . . ,N } est un ensemble de N formes lineaires sur lespace des fonctions
definies sur K, ou sur un sous-espace plus regulier contenant P .
P est un espace vectoriel de dimension N de fonctions reelles definies sur K, et tel que
soit P -unisolvant.
Remarque : La definition de lunisolvance est leg`erement modifiee par rapport aux elements
finis de Lagrange. est P -unisolvant ssi pour tous reels 1 , . . . ,N , il existe un unique element
p de P tel que i (p) = i , i = 1, . . . ,N .
Ceci revient `a dire que la fonction :
L : P IRN
p (1 (p), . . . ,N (p))

(4.1)

est bijective.
D
efinition : Soit (K,,P ) un element fini general. On appelle fonctions de base locales
de lelement les N fonctions pi (i = 1, . . . ,N ) de P telles que
1 i,j N.

j (pi ) = ij

(4.2)

D
efinition : On appelle op
erateur de P -interpolation sur loperateur K qui, a` toute
fonction v definie sur K associe la fonction K v de P definie par K v =

N
X

i (v) pi . K v est

i=1

donc lunique element de P qui prend les memes valeurs que v sur les elements de .

4.2.2

Lien avec les

el
ements finis de Lagrange

Avec les definitions precedentes, les elements finis de Lagrange apparaissent donc comme un
cas particulier des elements finis generaux, pour lequel
i (p) = p(ai )

i = 1, . . . ,N

(4.3)

Cette generalisation permet maintenant dintroduire des operateurs de derivation dans , et

donc dameliorer la regularite des fonctions de Vh .

4.2.3

Fonctions de base globales

On reprend les notations du 3.5. Les Nh degres de liberte sont maintenant les valeurs des
formes lineaires sur les Ne elements du maillage. Pour le cas dun probl`eme dans IR2 avec
uh
uh
et
un maillage par des triangles, ce pourront etre par exemple les valeurs de uh ,
x
y
sur les sommets de la triangulation.
Les fonctions de base globales i (i = 1, . . . ,Nh ) sont definies par :
i |Kj Pj , j = 1, . . . ,Ne

et
28

j (i ) = ij , 1 i,j Nh

(4.4)

Suivant les elements utilises, ces fonctions de base pourront etre de classe C 1 ou plus, et il
en sera donc de meme pour la solution approchee uh .

4.3
4.3.1

Exemples
Exemples 1-D

El
ement dHermite cubique
K = [a,b]
= {p(a),p0 (a),p(b),p0 (b)}
P = P3
Cet element fini est C 1 et H 2 .
El
ement dHermite quintique
K = [a,b]
= {p(a),p0 (a),p(a),p(b),p0 (b),p(b)}
P = P3
Cet element fini est C 2 et H 3 .

4.3.2

Exemples 2-D triangulaires

El
ement dHermite cubique
K=triangle
de sommets a1 ,a2 ,a3 )
(
p
p
= p(ai ), (ai ), (ai ), i = 1,2,3 {p(a0 )}
x
y
P = P3
Cet element fini est C 0 , mais pas C 1 .
El
ement dArgyris
K=triangle
de sommets a1 ,a2 ,a3
(
)
p
2p
2p
p
2p
= p(ai ), (ai ), (ai ), 2 (ai ), 2 (ai ),
(ai ), i = 1,2,3
x
y
x (
y
x y
)
p
(aij ), 1 i < j 3

n
P = P5
Cet element fini est C 1 .

29

4.3.3

Exemple 2-D rectangulaire

El
ement Q3
K=rectangle
de sommets a1 ,a2 ,a3 ,a4 , de cotes parall`
eles aux axes
(
)
2
p
p
p
= p(ai ), (ai ), (ai ),
(ai ), i = 1, . . . ,4
x
y
x y
P = Q3
Cet element fini est C 1 .

Fig. 4.1 Element triangulaire dHermite cubique, element dArgyris et element rectangulaire Q3

Compl
ements
Pour chaque element fini dHermite 1-D et 2-D presente dans ce chapitre, calculer ses fonctions de
base locales, et demontrer sa regularite (C 1 , etc).

30

Chapitre 5
Convergence de la m
ethode des

el
ements finis
5.1

Introduction

On suppose ici que lon resout un probl`eme sur un domaine IRn de facon approchee par
methode delements finis.
Le but de ce chapitre est de fournir une estimation de lerreur ku uh km o`
u k.km designe
m
la norme H . La regularite de u et de uh (et donc les valeurs possibles pour m) dependant
evidemment du probl`eme continu et du type delements finis choisis pour sa resolution, on
exposera ici la demarche de facon generale, en supposant les fonctions suffisamment reguli`eres
par rapport a` la valeur de m. En pratique, on aura le plus souvent m = 0, 1 ou 2.
On notera Th le maillage de considere. On supposera ici le domaine polygonal, ce qui
permet de recouvrir exactement par le maillage. Si ce nest pas le cas, les calculs qui
suivent doivent etre modifies pour tenir compte de lecart entre le domaine couvert par le
maillage et le domaine reel.
Les differentes etapes du calcul seront, de facon assez schematique, les suivantes :
ku uh km Cku h ukm
Lerreur dapproximation est bornee par lerreur dinterpolation
X
2
2
ku h ukm =
ku h ukm,K
On se ram`ene `a des majorations locales sur
KTh
chaque element
ku h ukm,K C(K)k
u
ukm,K On se ram`ene `a lelement de reference
u|
k
u
ukm,K C|

k+1,K

Majoration sur lelement de reference

ku h ukm C 0 hk+1m |u|k+1

Assemblage des majorations locales

31

5.2
5.2.1

Calcul de majoration derreur

Etape 1: majoration par lerreur dinterpolation

Lequation (2.13) etablie au 2.4.3 indique que

ku uh km

M
ku vh km

vh Vh

(5.1)

On peut lappliquer dans le cas particulier o`

u vh = h u, ce qui donne
M
ku h ukm

ku uh km

5.2.2

(5.2)

Etape 2: D
ecomposition sur les
el
ements

On a, avec des notations evidentes :

ku h uk2m =

ku h uk2m,K

KTh

m
X X

|u h u|2l,K

KTh l=0

Le calcul est donc ramene a` un calcul sur chaque element, pour toutes les semi-normes
|.|l,K , l = 0, . . . ,m.

5.2.3

Etape 3: Passage `
a l
el
ement de r
ef
erence

lelement de reference. Soit F la

Th
eor`
eme : Soit K un element quelconque de Th , et K
vers K : F (
transformation affine de K
x) = B x + b, avec B inversible. On a :
v H l (K),

|
v |l,K C(l,n) kBkl2 |detB|1/2 |v|l,K

(5.3)

Demonstration : Il sagit l`a en fait dun simple resultat de changement de variable dans une
integrale.
Soit v une fonction l fois differentiable au point x. On note Dl v(x) sa derivee l`eme au sens
de Frechet au point x. Il sagit donc dune forme l-lineaire symetrique sur IRn . On notera
Dl v(x).(1 , . . . ,l ) sa valeur pour l vecteurs i IRn (1 i l).
Reprenons les notations du 1.4.1. = (1 , . . . ,n ) designe un multi-entier, et on note
|| = 1 + + n . On a alors :
|v|2l,K

Z
xK

2
X
||

v(x) dx

(5.4)

||=l

et :
|| v(x) = D|| v(x).(e1 , . . . ,e1 , . . . , en , . . . ,en )
|

{z

1 fois

32

{z

n fois

(5.5)

o`
u (e1 , . . . ,en ) designe la base canonique de IRn . Alors, en posant :
kDl v(x)k =

sup
n
1 ,...,l (IR )

Dl v(x).(1 , . . . ,l )
|1 | . . . |l |

(5.6)

on deduit quil existe des constantes 1 et 2 dependant uniquement de n et l (donc en

particulier independantes de v) telles que
1 |v|l,K

Z

kD v(x)k dx

1/2

xK

2 |v|l,K

(5.7)

Par ailleurs, si lon utilise le changement de variable x = F (

x) = B x + b dans Dl v(x), il
vient :
1 , . . . ,l IRn ,
Dl v(
x).(1 , . . . ,l ) = Dl v(x).(B1 , . . . ,Bl )
(5.8)
do`
u
kDl v(
x)k kBkl kDl v(x)k

(5.9)

Or, Dl v(x) = Dl v(F (

x)). Donc
Z

x
K

kD v(
x)k d
x kBk

2l

x
K

2l

kD v(F (
x))k d
x = kBk |det B|

kDl v(x)k2 dx

xK

(5.10)
En minorant et majorant (5.10) grace a` (5.7), on obtient :
12 |
v |2l,K kBk2l |det B|1 22 |v|2l,K

(5.11)

do`
u le resultat (5.3).
Corollaire : On a de meme :
v H l (K),

|v|l,K C(l,n) kB 1 kl2 |detB|1/2 |

v |l,K

(5.12)

Estimation de kBk
Soit hK le diam`etre de K, cest a` dire le maximum des distances euclidiennes entre deux
points de K. Soit K la rondeur de K, cest a` dire le diam`etre maximum des sph`eres incluses
dans K. On a :
kBxk
kBxk
= sup
(5.13)
kBk = sup

x6=0 kxk
kxk=

Soit x un vecteur de IRn tel que kxk = . Par definition de , il existe deux points y et z de
tels que x = y z. Alors Bx = B y B z = F (
K
y ) F (
z ) = y z avec y et z appartenant
a` K. Par definition de hK , ky zk hK . Donc kBxk hK . En reportant dans la definition
de kBk, on obtient donc :
hK
kBk
(5.14)

Et on a evidemment de meme :

h
kB 1 k
(5.15)
K
33

5.2.4

Etape 4: Majoration sur l

el
ement de r
ef
erence

Le resultat principal est le suivant :

l

Th
eor`
eme : Soient l et k deux entiers tels que 0 l k + 1. Si
L(H k+1 (K),H
(K))
invariant (cest a` dire verifie
p = p), alors
laisse Pk (K)
p Pk (K),

),
|
C(K,
v H k+1 (K),
v
v|l,K C|
v |k+1,K

(5.16)

Demonstration :
l
l

L(H k+1 (K),H

(K)), et donc I
L(H k+1 (K),H
(K)) car l k + 1.
Et donc |
v
v|l,K kI
kL(H k+1 (K),H
k
v
k
.
l

(K))
k+1,K

On utilise maintenant linvariance de Pk (K):

v

p Pk (K),
v = (I
)(
v ) = (I
)(
v + p)

(5.17)

Donc
|
v
v|l,K kI
kL(.,.)

inf

pPk (K)

k
v + pkk+1,K

(5.18)

On aura donc demontre le theor`eme si lon montre que

C,
v H k+1 (K)

inf

pPk (K)

k
v + pkk+1,K C|
v |k+1,K

(5.19)

Dapr`es le theor`eme dHahn-Banach, il existe des

Soit (fi )i=0,...,k une base du dual de Pk (K).
k+1
formes lineaires continues sur H (K), que lon notera encore fi , et qui prolongent les fi .
verifie fi (
En particulier, si p Pk (K)
p) = 0, (i = 0, . . . ,k), alors p = 0. Nous allons montrer
que
(
)
k
C,
v H k+1 (K),
v kk+1,K C |
v |k+1,K +

k
X

|fi (
v )|

(5.20)

i=0

On aura le resultat souhaite en appliquant (5.20) a` v + q, avec q tel que fi (

q ) = fi (
v ).
La relation (5.20) se demontre par labsurde. Si elle nest pas vraie, alors il existe une suite
telles que :
de fonctions vn de H k+1 (K)
k
vn kk+1,K = 1, |
vn |k+1,K 0, et i fi (
vn ) 0

(5.21)

on extrait une sous-suite convergente vers v H k+1 (K).

Mais
Par completude de H k+1 (K),
et fi (
|
vn |k+1,K 0. Donc v Pk (K)
v ) = 0. Do`
u une contradiction.

5.2.5

Etape 5: Assemblage des majorations locales

Majoration sur un
el
ement quelconque
En rassemblant les resultats precedents, on peut etablir une majoration sur un element
quelconque K du maillage. On a :
|v K v|l,K C(l,n) kB 1 kl |det B|1/2 |
v
v|l,K
34

dapr`es (5.12)

 ) |
C(l,n) kB 1 kl |det B|1/2 C(K,
v |k+1,K
dapr`es (5.16)
) C(k + 1,n) kBkk+1 |det B|1/2 |v|k+1,K
C(l,n) kB 1 kl |det B|1/2 C(K,
dapr`es (5.3)
k+1
hl
) C(k + 1,n) hK |v|k+1,K
C(l,n) l C(K,
dapr`es (5.14) et (5.15)
K
k+1
Do`
u finalement :

hk+1
K
,K,l,k,n)

|v K v|l,K C(
|v|k+1,K
lK

(5.22)

Il est important de remarquer `a ce niveau que C est independant de K.

Assemblage des r
esultats locaux
On va maintenant reprendre la majoration (5.22) pour tous les elements du maillage et toutes
les valeurs de l = 0, . . . ,m. On va definir deux quantites representatives du maillage :
h tel que hK h, K Th
(diam`etre maximum des elements)
hK
tel que
, K Th
(caracterise laplatissement des elements)
K
Alors :
kv K vk2m,K =

m
X

|v K v|2l,K

l=0

m
X

C (
,K,l,k,n)

l=0

m
X

C 2 (
,K,l,k,n)

l=0

(m
X

hk+1
K
lK

!2

hK
K

!l

|v|2k+1,K

dapr`es (5.22)

hml
hk+1m
K
K

|v|2k+1,K

C 2 (
,K,l,k,n)
2l h2m2l

hk+1m |v|k+1,K

i2

l=0

Le terme entre accolades ne tend ni vers 0 ni vers linfini quand h tend vers 0. Do`
u:

kv K vkm,K C 0 (
,K,l,k,n,,h)
hk+1m |v|k+1,K

(5.23)

En sommant ensuite sur tous les elements du maillage :

kv h vk2m =

kv K vk2m,K

KTh

X h

C 0 (
,K,l,k,n,,h)
hk+1m |v|k+1,K

i2

KTh

Do`
u finalement :
kv h vkm C(Th ,m,k,n) hk+1m |v|k+1

35

(5.24)

5.2.6

R
esultat final

En reportant (5.24) dans (5.2), on obtient le resultat final classique de majoration derreur :
ku uh km C hk+1m |u|k+1

5.3

(5.25)

Quelques commentaires

Une utilisation frequente de (5.25) a lieu dans le cas m = 1. Alors si lespace de

H 1 (K)
(ce qui est toujours le cas) et si
polynomes Pk (K)
est bien defini sur
k+1
H (K), on a :
si u H k+1 (), ku uh k1 C hk |u|k+1
(5.26)
Si le domaine nest pas polygonal, la majoration precedente nest plus valable. On
peut alors etablir dautres majorations du meme type se referer par exemple a` Raviart
et Thomas (1983).
De meme, si les calculs dintegrales ne sont pas faits exactement mais a` laide dune
integration numerique, une erreur supplementaire doit etre prise en compte, qui conduit
a` une nouvelle majoration derreur voir l`a-aussi par exemple Raviart et Thomas
(1983).

36

Chapitre 6
Quelques aspects pratiques de la
m
ethode des
el
ements finis
On va donner dans ce chapitre quelques indications pratiques concernant la programmation
dune methode delements finis. On pourra trouver beaucoup plus de details par exemple
dans les ouvrages de Joly (1990), de Lucquin et Pironneau (1996) et de Ern (2005).
On exposera ici quelques principes generaux dans le cas classique dune methode delements
finis P1 de Lagrange sur un maillage triangulaire dun domaine de IR2 . Des modifications
devront donc etre apportees pour dautres types delements finis.

6.1

Maillage

On va se placer ici dans le cas frequent de la resolution dun probl`eme sur un ouvert borne
de IR2 , note . Ce probl`eme comporte des conditions aux limites sur , qui peuvent etre
de type Dirichlet ou Neumann. On notera 0 la partie de o`
u ces conditions sont de type
Dirichlet, et 1 la partie o`
u elles sont de type Neumann. On aura 0 1 = et = 0 1 .
Comme dans les chapitres precedents, on va noter Ne le nombre delements du maillage, et
Nh le nombre de noeuds (qui sont ici simplement les sommets des triangles).
Le reperage des noeuds est fait par lintermediaire dun tableau COOR(2,Nh ) :
COOR(1,k) = abscisse du noeud k
COOR(2,k) = ordonnee du noeud k
Cest le seul tableau travaillant avec les coordonnees physiques dans le domaine. Tous les
autres seront des tableaux dadressage relatif.
La definition des elements du maillage est faite par un tableau CONEC(3,Ne ), qui fait le
lien noeuds-elements. Chaque element contient 3 noeuds locaux (car on travaille dans cet
exemple sur des triangles). Ces noeuds correspondent chacun a` un indice du tableau COOR,
quon appellera leur numero global.

37

CONEC(i,l) = numero global du i`eme noeud local de lelement l (i = 1,2,3)

Le reperage des conditions de Dirichlet est realise directement par un tableau DIRI(N0 )
balayant les N0 noeuds de 0 :
DIRI(i) = numero global du i`eme noeud de 0 .
Le reperage des conditions de Neumann est realise par un premier tableau NEUM0 (N1 )
balayant les N1 elements ayant un cote sur 1 , et par un second tableau NEUM(3,N1 )
indiquant quels cotes des elements sont sur 1 :
NEUM0 (j) = numero du j `eme element ayant un cote sur 1 .
NEUM(i,j) = 1 si le cote oppose au i`eme noeud local du j `eme element
de la liste NEUM0 est sur 1 , 0 sinon.

6.2

Assemblage de la matrice du syst`

eme

Le syst`eme lineaire auquel aboutit la demarche des elements finis est A = b, avec
Aij = a(i ,j ) =
bj = l(j ) =

Les etapes de la programmation sont alors :

R
1. Calcul de Aij = , pour i = 1, . . . ,Nh , j = 1, . . . ,Nh .
R
2. Calcul de bj = , pour j = 1, . . . ,Nh .
3. Conditions de Neumann :
Pour tous les noeuds j des elements ayant un cote sur 1 faire:
Aij = Aij +
bj = bj +

pour les noeuds i des elements ayant un cote sur 1

4. Conditions de Dirichlet : on modifie les composantes de A et b o`

u les noeuds de 0
interviennent.
Pour tous les noeuds j de 0 faire:
bi = bi uj Aij pour tous les noeuds i de \ 0 (uj designe la valeur imposee sur
le noeud j par les conditions de Dirichlet)
Aij = Aji = 0 pour tous les noeuds i de \ 0
Aij = 0 pour tous les noeuds i de 0
Ajj = 1
bj = uj

38

Letape la plus co
uteuse est la premi`ere, cest `a dire le calcul de Aij = H(i ,j ), o`
u H est

un operateur dependant du probl`eme que lon traite. Aij peut evidemment etre decompose
sur les elements du maillage :
Aij =

Nl
X

(l)

Aij

(l)

avec Aij =

l=1

Z
Kl

H(i ,j )

Une methode nave de calcul serait :

Pour i = 1 a
` Nh
Pour j = 1 a
` Nh
Pour l = 1 a
` Nl
(l)
Calcul de Aij
(l)
Aij = Aij + Aij
Fin pour
Fin pour
Fin pour
(l)

(l)

Toutefois, on calcule ainsi une grande majorite de contributions Aij nulles. En effet, Aij 6= 0
ssi les noeuds i et j appartiennent a` lelement l. On peut donc reprendre lassemblage de A
en bouclant cette fois sur les elements, pour ne calculer que les termes utiles:
Pour l = 1 a
` Nl
Pour i0 = 1 a
` 3
Pour j0 = 1 a
` 3
i = CONEC(i0 ,l)
j = CONEC(j0 ,l)
(l)
Calcul de Aij
(l)
Aij = Aij + Aij
Fin pour
Fin pour
Fin pour
On voit que la methode dassemblage nave conduit `a Nh2 Nl calculs elementaires, contre
9Nl pour la seconde methode. Dans le cas reel dun maillage `a Nl = 106 elements, on aura
environ Nh = 5 105 noeuds, ce qui m`ene a` 2.5 1017 calculs elementaires pour la methode
nave, contre 9 106 pour la seconde methode !!

6.3
6.3.1

Formules de quadrature
D
efinitions

Le calcul des integrales sur les elements du maillage a souvent lieu par integration numerique.
On utilise pour cela une formule de quadrature, cest a` dire une formule du type
Z
K

f (x) dx '

M
X
m=1

39

m f (m )

(6.1)

o`
u les m sont des points de K (appeles points de quadrature) et les m des coefficients de
ponderation (ou encore des poids). On choisit en general ces formules de telle sorte quelles
soient exactes pour les polynomes jusqu`a un certain degre. On a dailleurs le resultat suivant :
Th
eor`
eme : Si la formule (6.1) est exacte pour les polynomes de degre inferieur ou egal a`
r, alors il existe une constante C > 0 telle que, pour toute fonction f C r+1 (K) :
Z



 K

f (x) dx

M
X
m=1




m f (m )

C |K| hr+1

(6.2)

o`
u |K| est la mesure de K et h son diam`etre.

6.3.2

Quadrature en 1-D

On cherche `a estimer

Z b

f (x) dx. Les formules les plus courantes sont :

formule des rectangles

Z b

f (x) dx ' (b a) f (a)

(6.3)

Elle est exacte pour les polynomes constants.

formule du point milieu
Z b

f (x) dx ' (b a) f

a+b
2

(6.4)

Elle est exacte pour les polynomes de degre inferieur ou egal `a 1.

formule des trap`
ezes
Z b

f (a) + f (b)
2
a
Elle est exacte pour les polynomes de degre inferieur ou egal `a 1.
f (x) dx ' (b a)

(6.5)

formule `
a deux points internes
Z b

f (1 ) + f (2 )
(6.6)
2
a

31
. Elle est exacte pour les
avec 1 = a + (b a), 2 = b (b a) et =
2 3
polynomes de degre inferieur ou egal `a 2.
f (x) dx ' (b a)

formule de Simpson
f (a) + 4f ( a+b
) + f (b)
2
6
a
Elle est exacte pour les polynomes de degre inferieur ou egal `a 3.
Z b

f (x) dx ' (b a)

40

(6.7)

6.3.3

Quadrature en 2-D triangulaire

K est cette fois un triangle, de sommets a1 ,a2 ,a3 , de milieux des aretes a12 ,a13 ,a23 , de centre
de gravite a0 , et de surface |K|.
formule centr
ee
Z
f (x) dx ' |K| f (a0 )
(6.8)
K

Elle est exacte pour les polynomes de degre inferieur ou egal `a 1.

formule sur les sommets
Z

f (x) dx '

|K|
(f (a1 ) + f (a2 ) + f (a3 ))
3

(6.9)

Elle est exacte pour les polynomes de degre inferieur ou egal `a 1.

formule sur les milieux
Z
K

f (x) dx '

|K|
(f (a12 ) + f (a23 ) + f (a13 ))
3

(6.10)

Elle est exacte pour les polynomes de degre inferieur ou egal `a 2.

6.4

Domaines `
a fronti`
ere courbe

Lorsque le probl`eme est pose sur un domaine `a fronti`ere courbe, celle-ci ne pourra pas
etre representee exactement par des mailles polygonales. Si lon veut une approximation tr`es
precise, on peut introduire des mailles courbes au voisinage de la fronti`ere, en autorisant des
transformations de lelement de reference qui ne soient plus seulement des transformations
affines, mais des transformations de degre plus eleve que 1. On doit alors se preoccuper de
la compatibilite entre le degre des polynomes et le degre de la transformation geometrique.
On parle, suivant leurs degres respectifs, dinterpolation isoparametrique, subparametrique
ou surparametrique. Ceci depasse le cadre de ce cours dintroduction.

Compl
ements
1. Demontrer la formule (6.2)
2. Pour chaque formule de quadrature 1-D et 2-D presentee dans ce chapitre, demontrer quelle
est exacte pour les polyn
omes jusqu`a un certain degre.

41

Annexe A
Coordonn
ees barycentriques
Soit K un triangle de IR2 de sommets a1 ,a2 ,a3 . On appelle coordonnees barycentriques de
K les fonctions affines 1 ,2 ,3 de K dans IR definies par
1 i,j 3

j (ai ) = ij ,

(A.1)

On voit que la somme 1 + 2 + 3 est une fonction affine qui vaut 1 sur chacun des 3
sommets. Cest donc la fonction constante egale `a 1.
Si lon note (xi ,yi ) les coordonnees dun sommet ai et j (x,y) = j x + j y + j , la relation
(A.1) est equivalente au syst`eme lineaire :

j xi + j yi + j = 0
j xk + j yk + j = 0

j xj + j yj + j = 1

(A.2)

o`
u {i,j,k} est une permutation de {1,2,3}. La resolution de ce syst`eme m`ene `a :
yk yi
(xj xk )(yj yi ) (xj xi )(yj yk )
xi xk
=
(xj xk )(yj yi ) (xj xi )(yj yk )
x k y i xi y k
=
(xj xk )(yj yi ) (xj xi )(yj yk )

j =
j
j

Si lon note |K| laire du triangle et le signe de (ak aj , ai aj ), on peut aussi reecrire ces
egalites sous la forme :
yk yi
2 |K|
xi xk
=
2 |K|
xk y i xi y k
=
2 |K|

j =
j
j

42

Propri
et
e : (1 ,2 ,3 ) est une base de P1 .
Propri
et
e : (1 2 ,1 3 ,2 3 ,21 ,22 ,23 ) est une base de P2 .
Propri
et
e : On note {i,j,k} une permutation de {1,2,3} et m,n,p des entiers. On a alors :
Z
K

n p
m
i j k dx =

2 |K| m! n! p!
(2 + m + n + p)!

(A.3)

La notion de coordonnees barycentriques setend naturellement au cas dun tetra`edre dans

IR3 . On travaille dans ce cas avec 4 coordonnees barycentriques.

Fig. A.1 Coordonnees barycentriques sur un triangle

Propri
et
e : Soit p un polynome de degre quelconque `a deux variables qui sannule sur une
droite dequation (x,y) = 0. Alors il existe un polynome q tel que p = q.
p

Soit
n un vecteur orthogonal a` la droite dequation (x,y) = 0. Si de plus
(x,y) sannule
n
sur cette droite, alors il existe un polynome r tel que p = 2 r.
Exemples de calcul de fonctions de base :
Fonctions de base P1 Soit pi la fonction de base P1 associee au sommet ai . Elle est
43

definie par : pi (ai ) = 1, pi (aj ) = 0 pour i 6= j, et pi P1 . Cest donc exactement la

definition des coordonnees barycentriques : pi = i
Fonctions de base P2 Soit p1 la fonction de base P2 associee au sommet a1 . Elle est
definie par : p1 (a1 ) = 1, p1 (a2 ) = p1 (a3 ) = p1 (a12 ) = p1 (a13 ) = p1 (a23 ) = 0 , et p1 P2 .
La restriction de p1 a` la droite [a2 ,a3 ] est un polynome `a une variable, de degre 2, qui
sannule en trois points distincts a2 , a23 et a3 . Elle est donc identiquement nulle sur
la droite [a2 ,a3 ], dont lequation est 1 = 0. Donc il existe un polynome q1 de degre
inferieur ou egal a` 1 tel que p1 = 1 q1 .
Les relations p1 (a12 ) = p1 (a13 ) = 0 deviennent donc q1 (a12 ) = q1 (a13 ) = 0 (car
1 (a12 ) 6= 0 et 1 (a13 ) 6= 0). Donc la restriction de q1 a` la droite [a12 ,a13 ] est un
polynome a` une variable, de degre 1, qui sannule en deux points distincts a12 et a13 .
Elle est donc identiquement nulle sur la droite [a12 ,a13 ], dont lequation est 1 1/2 = 0.
Donc il existe une constante telle que q1 = (1 1/2), soit p1 = 1 (1 1/2).
La relation p1 (a1 ) = 1 fournit finalement = 2. Do`
u p1 = 1 (21 1).

44

Annexe B
Calcul dint
egrales
B.1

Formules de Green

Soit un ouvert non-vide de IRn , de fronti`ere notee . On note n la normale locale sur
.
On a les proprietes suivantes, appelees formules de Green, qui sont en fait simplement des
cas particuliers dintegration par parties :
Z
Z
v
u
v dx = u
dx +
u v (ek .n) ds
xk
xk

(B.1)

o`
u ek est le vecteur unitaire dans la direction xk .
Z

u v dx =

u divE dx =

B.2

u
v ds
n

(B.2)

u (E.n) ds

(B.3)

u v dx +

u E dx +

Changement de variable dans une int

egrale

et K deux ouverts de IRn . Soit F un C 1 - diffeomorphisme de K

dans K, cest `a dire
Soient K
une bijection de classe C 1 dont la reciproque est egalement de classe C 1 . On note (e1 , . . . ,en )
la base canonique de IRn et
F :x=

n
X

xi ei F (x) =

i=1

n
X

Fi (x1 , . . . ,xn ) ei

i=1

La matrice jacobienne de F au point x, notee JF (x) est la matrice n n definie par

(JF (x))ij =

Fi
(x1 , . . . ,xn )
xj

1 i,j n

On a alors la formule de changement de variable :

Z
K

u(x) dx =

u(F (
x)) |det JF (
x)| d
x
45

(B.4)

Remarque : dans la methode des elements finis, Zon aura souvent a` calculer de tels changements de variables dans des integrales du type
Hu(x) dx, o`
u H est un operateur aux
K

derivees partielles (gradient, laplacien, . . . ). Il faudra alors faire attention au changement de

variable dans loperateur lui-meme. Par exemple dans IR2 :

(u(x)) dx =

u(x,y)

x
K

!2

u(x,y)
+
y

u(F (
x,
y ))

x
K

!2

!2

u(F (
x,
y ))
+
y

dx dy
!2
|detJF (
x)|

x,
y )) y
u(F (
x,
y )) x u(F (

x
x
y
x
K

!2

u(F (
x,
y )) x u(F (
x,
y )) y
+
x
y
y
y

u(
x,
y ) x u(
x,
y ) y

=
+

x
x
y
x
K
Z

!2

d
x d
y

!2
|detJF (
x)|

x,
y ) y
u(
x,
y ) x u(
+
+
x
y
y
y

d
x d
y

!2
|detJF (
x)|

d
x d
y

Dans le cas dune transformation F affine, notee :

(

x = a
x + b
y+e
y = c
x + d
y+f

on a :
x =

d(x e) b(y f )
,
D

y =

c(x e) + a(y f )
,
D

et |detJF (
x)| = D = ad bc

Le calcul precedent devient alors :

u(
x,
y) d
u(
x,
y ) c

(u(x))2 dx =
+

x
D
y
D
K
K

!2

u(
x,
y ) b u(
x,
y) a
+
+
x
D
y
D

!2
|D|

d
x d
y

!2
!2
1 Z u(
x,
y)
u(
x,
y)
u(
x,
y)
u(
x,
y)
=
d
c
+ b
+a
d
x d
y
|D| K
x
y
x
y

46

Bibliographie
Br
ezis P., 1999: Analyse fonctionnelle. Dunod.
Ciarlet P., 1990: Introduction `a lanalyse numerique matricielle et `a loptimisation. Masson.
Dhatt G., G. Touzot et E. Lefrancois, 2005: Methode des elements finis. Hermes - Lavoisier.
Ern A., 2005: Aide-memoire Elements finis. Dunod.
Joly P., 1990: Mise en oeuvre de la methode des elements finis. Ellipses.
Larrouturou B. et P.-L. Lions, 1992: Methodes mathematiques pour les sciences de
lingenieur: optimisation et analyse numerique. Cours de lEcole Polytechnique.
Lascaux P. et R. Th
eodor, 1986: Analyse numerique matricielle appliquee `a lart de
lingenieur. Masson.
Lucquin B. et O. Pironneau, 1996: Introduction au calcul scientifique. Masson.
Raviart P.-A. et J.-M. Thomas, 1983: Introduction `a lanalyse numerique des equations
aux deriveees partielles. Masson.
Sainsaulieu L., 1996: Calcul scientifique. Masson.
Thomas P., 2006: Elements finis pour lingenieur. Lavoisier, Tec et Doc.

47