La Méthode Élément Finis

ements Finis Appliquee aux Problèmes
La Methode des El
Elliptiques
Hatem Zenzri

Ecole Nationale dIngenieurs de Tunis
(Version incomplète) 23 mars 2005

Table des mati`
eres
1 Introduction ` a la m ethode des el

ements finis 3
1.1 Lexemple du problème de lequation de la chaleur . . . . . . . . . . . . . . . . . 4
1.2 Formulation variationnelle du problème . . . . . . . . . . . . . . . . . . . . . . . 4
1.3 Resolution du problème variationnel discret . . . . . . . . . . . . . . . . . . . . . 5
1.4 Illustration de lapproximation elements finis . . . . . . . . . . . . . . . . . . . . 6
1.5 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2 Probl`
emes variationnels abstraits et espaces de Sobolev 12
2.1 Le theorème de Lax-Milgram . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.2 Problèmes variationnels et problèmes de minimisation . . . . . . . . . . . . . . . 13
2.3 Les espaces de Sobolev . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.3.1 Lespace L2 () . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.3.2 Rappels sur les distributions . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.3.3 Lespace de Sobolev H 1 () . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.3.4 Lespace de Sobolev H 2 () . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.3.5 Lespace (H 1 ())N . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.4 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3 Etude de quelques probl` emes aux limites elliptiques 27

3.1 Problèmes du laplacien . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.1.1 Le problème de Dirichlet homogène . . . . . . . . . . . . . . . . . . . . . . 27
3.1.2 Le problème de Dirichlet non homogène . . . . . . . . . . . . . . . . . . . 29
3.1.3 Le problème de Neumann homogène . . . . . . . . . . . . . . . . . . . . . 29
3.1.4 Problème mele de Dirichlet-Neumann . . . . . . . . . . . . . . . . . . . . 32
3.2 Le problème de lequilibre en elasticite tridimensionnelle . . . . . . . . . . . . . . 33
3.3 Un problème elliptique du quatrième ordre . . . . . . . . . . . . . . . . . . . . . 35
3.4 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
4 Quelques el
ements finis usuels 39
4.1 Definition dun element fini . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
4.2 Quelques elements finis de Lagrange . . . . . . . . . . . . . . . . . . . . . . . . . 40
4.2.1 Rappels sur les coordonnees barycentriques . . . . . . . . . . . . . . . . . 40
4.2.2 Exemples delements finis unidimensionnels . . . . . . . . . . . . . . . . . 41
4.2.3 Exemples delements finis plans . . . . . . . . . . . . . . . . . . . . . . . . 42
4.2.4 Exemples delements finis tridimensionnels . . . . . . . . . . . . . . . . . . 44
4.3 Quelques elements finis de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . 46
1
4.3.1 Un exemple unidimensionnel . . . . . . . . . . . . . . . . . . . . . . . . . 46
4.3.2 Lelement fini plan de Zienckiewich . . . . . . . . . . . . . . . . . . . . . . 46
4.3.3 Lelement fini plan dArgyris . . . . . . . . . . . . . . . . . . . . . . . . . 47
2
Chapitre 1
Introduction à la m
ethode des
el
ements finis
La methode des elements finis est une methode numerique utilisee pour le calcul de solutions
approchees de problèmes definis par des equations aux derivees partielles et des conditions aux
limites. Les problèmes aux limites apparaissent constamment en physique mathematique et il
en existe particulièrement trois grandes classes, illustrees chacune par un type de phenomène
bien particulier. Il y a les problèmes de type hyperbolique qui caracterisent le phenomène de
propagation des ondes. Les problèmes de type parabolique sont representatifs des problèmes
de diffusion, par exemple de la chaleur. Enfin, les problèmes de type elliptique, dont il sera
question dans ce document, apparaissent dans les etudes de regime stationnaire en thermique,
en mecanique ou en electricite.
Pendant longtemps, loutil le plus utilise pour la resolution des equations aux derivees par-
tielles a ete la methode des differences finies. Peu à peu, et en raison de sa rigueur et de sa sou-
plesse demploi en programmation, la methode des elements finis la supplante. Pour un problème
aux limites donne, la methode des differences finies part de lapproximation des operateurs
differentiels en utilisant les developpements de Taylor, alors que la methode des elements finis
part dune formulation variationnelle de ce problème.
Linvention de la methode des elements finis est attribuee à Courant en 1943 [2]. Quelques
annees plus tard, les ingenieurs lont re-invente pour resoudre des problèmes de calcul de struc-
ture, et ceci independamment du travail de Courant. Les plus anciennes references citees dans
la litterature sont celles dArgyris [1] qui datent de 1954. Ensuite et des le debut des annees
soixante, de nombreux travaux mathematiques ont ete menes sur cette methode. Actuellement,
et dans le champ dapplication des sciences de lingenieur, la methode des elements finis est
integree dans la plupart des logiciels de calcul et de conception assistee par ordinateur.
Dans ce chapitre nous introduisons la methode des elements finis en la mettant en oeuvre
dans letude dun problème classique dequilibre thermique. Certains aspects mathematiques,
relevant surtout de la regularite des champs manipules, seront ici volontairement ignores et
seront discutes dans les chapitres suivants.
3
1.1 Lexemple du probl`
eme de l
equation de la chaleur
Le problème considere consiste à determiner le champ de temperature dans un milieu oc-
cupant une geometrie ( RN , N {1, 2, 3}) de frontière . Le materiau constituant le
milieu est homogène et isotrope. Il obeit à la loi de Fourier pour la conduction de la chaleur
et son coefficient de conductivite thermique est > 0. La temperature est imposee nulle sur
et le milieu est soumis à une densite volumique de taux de chaleur s definie dans . La
determination du champ de temperature T revient alors à resoudre le problème aux limites

T = s dans
(1.1)
T = 0 sur ,
appele problème de lequation de la chaleur (en regime stationnaire).
1.2 Formulation variationnelle du probl`

eme
Proposition 1.1 Si T est une solution suffisamment regulière de (1.1) alors T est solution
du problème variationnel suivant :

Trouver T V tel que
(1.2)

a(T, ) = L() V
o`
u:
V = { : R, suffisamment regulière et = 0 sur } , (1.3)
Z
~
a(T, ) = T. ~ d , (1.4)

et Z
L() = s d . (1.5)

Preuve. Nous rappelons que la formule dintegration par parties de Green secrit :
Z Z Z
U V
V d = U V ni d U d (1.6)
x i x i
o`
u U et V sont deux champs definis sur , xi est une coordonnee cartesienne par rapport à une
base orthonormee (e~1 , e~2 , ..., e~N ) de RN (~x = xi e~i )1 et ni est la composante selon e~i du vecteur
~n unitaire et normal exterieur à (~n = ni e~i ).
Si T est une solution suffisamment regulière du problème (1.1), alors pour tout champ
suffisamment regulier on a : Z Z
T d = s d (1.7)

et comme T = T,ii 2 , lapplication de la formule de Green et la restriction de (1.7) aux champs

appartenant à lespace V conduit immediatement au resultat propose.
1
La convention de sommation sur les indices repetes est utilisee dans tout le document.
2 2A
Pour un champ A la notation : A,kl = , est utilisee.
xk xl
4
Le problème (1.2) est une formulation variationnelle de (1.1) sur lespace V . Lecriture dune
telle formulation integrale constitue la première etape de la mise en oeuvre de la methode des
elements finis. En precisant la definition de lespace V , on montrera que la solution du problème
(1.2) existe et est unique.
La resolution de (1.2) serait immediate si V etait de dimension finie. Or, en general cet
espace est de dimension infinie. La seconde etape de la methode des elements finis consiste alors
a chercher une solution approchee en se limitant à un sous-espace de V de dimension finie. Pour
`
un sous-espace V k de dimension finie k, ceci conduit alors à definir le problème variationnel
suivant :

Trouver T k V k tel que
(1.8)
k k k k k
a(T , ) = L( ) V
Le problème variationnel (1.8) est appele problème variationnel discret.
1.3 R
esolution du probl`
eme variationnel discret

Proposition 1.2 La solution T k de (1.8) existe et est unique. Etant donn
k k k k
k ee une base (1 , 2 , ..., k )
de V , T est ecrite sous la forme : T (~x) = Ti i (~x), et, en notant T le vecteur colonne de
composantes T1k , ...Tkk , on a h i h i h i
Rk . T k = F k , (1.9)

u les composantes de la matrice3 Rk et celles du vecteur colonne F k sont :
o`
k
Rij = a(i , j ) i, j {1, 2, ..., k}, (1.10)
Fik = L(i ) i {1, 2, ..., k}. (1.11)
Preuve. Pour des champs T k et k dans V k , nous ecrivons : T k (~x) = Tik i (~x) et k (~x) = jk j (~x).
T k etant solution de (1.8) on a :
a(Tik i , jk j ) = L(jk j ).
L et a etant des formes respectivement lineaire et bilineaire sur V , on obtient :
Tik Rij
k k
j = Fjk jk
do`
u: h
i h i h i h i h i
T k . Rk F k . k = 0 k Rk

La symetrie de la matrice Rk , qui decoule de la symetrie de la forme bilineaire a, conduit
alors au système lineaire (1.9). La forme bilineaire a est aussi definie positive
R ; cest à dire
que V a(, ) 0 et (a(, ) = 0 = 0). En effet, a(, ) = . ~ ~ d 0 et
(a(, ) = 0 = constante dans lorsque est connexe) ; et comme = 0 sur donc
la constante est nulle et = 0 dans . La definie positivite de la forme bilineaire a entrane
3

De telles matrices Rk sont souvent appelees matrices de rigidite.
5

la definie positivite de la matrice Rk , ce qui prouve lexistence et lunicite de la solution du
système lineaire (1.9).
La determination de lapproximation T k de T revient à calculer les scalaires Tik (i = 1, ..., k)

en inversant le système lineaire (1.9). Cette approximation ne serait pertinente que si k est
suffisamment grand pour que lespace V k soit proche de V . (Autrement dit, il faudrait que
T k converge vers T lorsque k tend vers linfini ; cette question de convergence sera etudiee dans
le chapitre 4). Le choix des sous-espaces de dimensions finis V k constitue une etape importante
dans cette technique dapproximation. Dans la methode des elements finis, ces sous-espaces
sont appeles espaces elements finis. Leur construction constitue la troisième etape de la mise en
oeuvre de la methode des elements finis.
1.4 Illustration de lapproximation

el
ements finis
Le choix des sous-espaces V k revient à un choix dune base (1 , 2 , ..., k ). Cette base permet
alors de fixer linterpretation des inconnues Tik . Dans la methode des elements finis, ces inconnues
sont appelees les degres de liberte (d.d.l) du champ T k et correspondent generalement à des
valeurs de T k (ou de ses derivees) en un certain nombre de points du domaine . Ces points
sont deduits dun maillage du domaine . Le maillage correspond à un decoupage de en
elements geometriques simples qui sont generalement polygonaux. Ces elements geometriques
sont appeles elements finis ou mailles. Les nuds du maillage, qui sont des points particuliers
des elements finis (sommets, centres de gravite, milieux des aretes,...) constituent alors les points
où sont definis les degres de liberte. A chaque d.d.l est associee une fonction de base continue sur
, le plus souvent polynomiale par maille, et complètement definie par lensemble de ses d.d.l.
Une fonction de base i , associee au d.d.l de numero (i), a tous ses d.d.l qui sont nuls excepte
le ième qui est fixe à la valeur 1.
Illustration pour un domaine unidimensionnel = ] 0, L [

Considerons le maillage obtenu suite au decoupage regulier du domaine =] 0, L [ en k + 1 seg-
ments [Si , Si+1 ] i = 0, ..., k (figure 1.1). Ces segments constituent les elements finis du maillage.
Lespace elements finis ici considere correspond à une approximation dans laquelle les degres de
liberte dun champ sont les valeurs de ce champ aux sommets Si . Ces sommets constituent alors
les nuds du maillage. Les fonctions de base de cet espace sont telles que :
i (Sj ) = ij (1.12)
o`
u designe le symbole de Kronecker (ij = 1 si i = j et ij = 0 si i 6= j). Les seules fonctions
continues sur , polynomiales par maille et complètement definies par leurs degres de liberte
(1.12), sont les fonctions affines par morceaux dont les graphes sont donnes dans la figure (1.1).
Dans lespace W k+2 = Vect{0 , 1 , ..., k+1 }, engendre par les fonctions i , une fonction
est affine par maille et est telle que : (x) = (Si )i (x). Il est clair que lespace W k+2 nest pas
un sous-espace de V puisque les conditions aux limites ((0) = (L) = 0) ny sont pas verifiees.
Lespace V k = Vect{1 , ..., k } est par contre un sous-espace de V . Les composantes de la matrice
de rigidite Rk se calculent aisement à partir des relations (1.10) qui secrivent ici :
Z L
k di dj
Rij = dx i et j {1, .., k} (1.13)
0 dx dx
6
L/(k+1)
0=S0 S1 ..... Sk+1 =L
-x
6 6
0 k
1 1
\ \
\ \
\ - \-
6 6
1 k+1
1 1
\
\
\ - -
Figure 1.1 Maillage et fonctions de base
et on obtient :
2 1 0 0
.. .. ..
1 2 . . .
h i k + 1
.. .. ..
Rk = 0 . . . 0 . (1.14)
L
.. .. .. ..
. . . . 1
0 0 1 2
Les composantes du vecteur F k se calculent à partir des relations (1.11) qui secrivent ici :
Z L
k
Fi = i s dx i {1, .., k}, (1.15)
0
et en prenant à titre dexemple :

x2
s(x) = T0 , (1.16)
L4
on obtient :
7
..
h i .
T0
Fk = 6i + 1 .
2 (1.17)
3
6(k + 1) L
..
.
6 k2 + 1

La resolution du système lineaire Rk . T k = F k permet de determiner lapproximation T k
de T . Dans cet exemple simple, la solution exacte T est facile à determiner et elle secrit :

x x3
T (x) = T0 1 3 . (1.18)
12L L
7
Une comparaison de cette solution exacte avec la solution obtenue par la methode des elements
0.04
T/To
Solution exacte
Solution par la M.E.F
0.03
0.02
0.01
S1 S2 S3 x/L
0 0.25 0.5 0.75 1
Figure 1.2 Comparaison entre la solution exacte et une solution obtenue par la M.E.F.
finis en prenant k = 3 est presentee sur la figure (1.2). Il est à remarquer que dans cet exemple
les valeurs prises par T k aux points Si et calculees par la methode des elements finis, coincident
avec celles de la solution exacte (T k (Si ) = T (Si )). Ce resultat est frequent pour les problèmes
elliptiques unidimensionnels et il sera justifi
e sur un exemple dans lexercice II-3 du chapitre 2.
Il est aussi à noter que les matrices Rk sont creuses et ont de faibles largeurs de bandes. Ceci
est du au fait que les fonctions de base ont des supports4 reduits à quelques mailles. Le support
dune fonction de base correspond aux mailles contenant le nud associe à cette fonction. Ainsi,
de nombreux couples de fonctions de base (i , j ) ont des supports disjoints ce qui entrane que la
composante Rij k = a( , ) est n
ecessairement nulle. En numerotant judicieusement les nuds,
i j

il est alors possible de minimiser la largeur de bande de la matrice Rk .
Illustration pour un domaine bidimensionnel = ] 0, L [] 0, L [

Pour un domaine bidimensionnel = ] 0, L [] 0, L [ , et par extension des techniques de lexemple
unidimensionnel, un espace element fini simple serait un espace de fonctions continues et affines
par maille. Les mailles etant naturellement des triangles et les nuds sont les sommets de ces
triangles. Les degres de liberte dune fonction sont les valeurs prises par cette fonction aux
nuds du maillage. La figure 1.3 (a) presente un exemple de maillage de par des triangles. A
chaque nud Si , est associee une fonction de base i continue sur , affine par maille et verifiant
i (Sj ) = ij . Les triangles reperes par des etoiles dans la figure 1.3 (a) constituent le support de
la fonction i associee au nud Si .
Afin deviter les longs calculs, nous nous limitons dans cette illustration à la recherche dune
solution approchee construite à partir du maillage à quatre triangles (K1 , K2 , K3 , K4 ) de la figure
1.3 (b). A cause de la condition aux limites (T = 0 sur ), lespace element fini deduit de ce
maillage est un espace de dimension 1 et sa fonction de base, 1 , associee au degre de liberte du
4
le support dune fonction designe lensemble des points en lesquels cette fonction est non nulle
8
6y
L
@ @ @ @ @ K3
@ @ @ @ @
@ @ @ @ @
@
@ @ @ @ @
@ @ * @ @ @
@ * @ S*i @ @ @ S1
@ @ @ @ K4 @ K2
@ @
@ * @ * @
@
@ @ *@ @

@
@ @ @
@ @
@ @ @
@ @
@ @ @ @
@ @ K1
@ @ @ @ x
@ @ @ @ @-
0 L
(a) (b)
Figure 1.3 Maillage de par des elements triangulaires
nud S1 a pour expression :

y

2 dans K1

L

x

2(1 L ) dans K2

1 (x, y) = (1.19)

y

2(1 ) dans K3

L

2x

dans K4 .
L
Le calcul par la methode des elements finis consiste ici à determiner une approximation, T 1 ,
de la temperature au point S1 (de coordonnees x = y = L/2). Cette approximation est alors
1 .T 1 = F 1 o`
solution de : R11 u
Z
1
R11 = ~ 1 .
~ 1 dxdy = 4. (1.20)
K1 K2 K3 K4
En prenant, à titre dexemple,
T0 x2 + y 2 L(x + y)
s(x, y) = 32 , (1.21)
L2 L2
on obtient (après quelques lignes de calcul)
Z
1 32
F = s(x, y) 1 (x, y) dxdy = T0 , (1.22)
K1 K2 K3 K4 15
9
8
et lapproximation de la temperature au point S1 est T1 = T0 . Dans cet exemple simple le
15
choix du champ s, defini par (1.21), fait que la solution exacte T secrit :
xy x y
T (x, y) = 16 T0 1 1 (1.23)
LL L L
et la temperature exacte au point S1 est T0 . On remarquera ainsi, quaux nuds du maillage,
et contrairement au cas unidimensionnel, la solution obtenue par la methode des elements finis
et la solution exacte ne coincident generalement pas. Il est aussi à remarquer que dans cet
exemple bidimensionnel et vu la forme polynomiale de la solution exacte (1.23), celle ci pourrait
etre exactement determinee par la methode des elements finis. Il suffirait pour cela de prendre
un maillage constitue dun seul element, qui nest autre que lecarre ] 0, L [] 0, L [ , et lespace
xy x y
element fini serait lespace engendre par le polynome 16 1 1 . Ce polynome
LL L L
correspond à la fonction de base associee au nud S1 .
1.5 Exercices
Exercice I-1 On considère le problème aux limites defini par
( T
T + 2 = s dans =]0, L[
L (1.24)
T = 0 sur ,
et on cherche à determiner une solution approchee de (1.24) par elements finis en utilisant des
fonctions de base continues sur et polynomiales de degre deux par maille. Le maillage de
est choisi regulier et est constitue de k + 1 segments [Si , Si+1 ] i = 0, ..., k. Une fonction de base
est dans ce cas complètement definie par ses valeurs aux extremites et aux milieux des segments.
Les nuds du maillage sont donc les points Aj (j = 0..2k + 2) definis par :
1
A2i = Si i = 0..k + 1 etA2i+1 = Si Si+1 = (Si + Si+1 ) i = 0..k.
2
1. Tracer les graphes de quelques fonctions de base.
2. Donner une formulation variationnelle du problème (1.24).

3. Calculer les composantes de la matrice de rigidite R2k+1 (matrice (2k + 1) (2k + 1)).
4. En consid
erant lexpression (1.16) pour la fonction s, calculer les composantes du vecteur
colonne F 2k+1 .
5. Pour k = 2, superposer le graphe de la solution exacte de (1.24) à celui de la solution
approchee.
Exercice I-2 Nous reprenons le problème aux limites defini par (1.1), =]0, L[ et (1.16) et
nous cherchons à comparer la solution approchee, obtenue dans la section 1.4 par la methode
des elements finis, à une deuxième solution approchee que nous allons construire par la methode
des differences finies.
Nous utilisons le maillage regulier de la figure 1.1 et nous notons h = L/(k + 1) le pas de
la discretisation. Nous rappelons que la methode des differences finies (la plus simple et la plus
courante) utilise la formule de Taylor suivante :
T (Si1 ) 2T (Si ) + T (Si+1 ) h2 (4)
T 00 (Si ) = + T (Si + i h) avec |i | < 1 (1.25)
h2 12
10
1. En utilisant (1.1), en applicant (1.25) pour tous les sommets Si du maillage, et en negligeant
les termes en h2 dans les formules de Taylor, determiner le système lineaire verifie par les
T (Si ).
2. Resoudre ce système lineaire pour k = 3 et comparer les approximations ainsi trouvees
avec les valeurs de la figure 1.2.
11
Chapitre 2
Probl`
emes variationnels abstraits et
espaces de Sobolev
De nombreux problèmes aux limites admettent des formulations variationnelles qui ont la
forme suivante :
Trouver u V tel que
(2.1)

a(u, v) = L(v) v V
où a est une forme bilineaire definie sur lespace vectoriel fonctionnel V et L est une forme
lineaire sur V . Ces formulations variationnelles permettent une demonstration aisee de lexis-
tence et lunicite des solutions des problèmes aux limites. Elles sont aussi bien adaptees à lap-
proximation numerique par la methode des elements finis introduite dans le chapitre I. Ces
problèmes variationnels sont ici dits abstraits dans la mesure o` u leur forme est commune à
plusieurs problèmes aux limites qui ne seront pas explicites. Quelques resultats mathematiques
concernant lexistence et lunicite des solutions de problèmes variationnels du type (2.1) sont
presentes dans ce chapitre. Les espaces de Sobolev 1 y jouent un role essentiel et seront sans
cesse utilises dans letude des problèmes elliptiques du chapitre suivant.
Dans ce chapitre, la demonstration de certains theorèmes necessiterait des developpements
importants qui ne sont pas essentiels pour la suite. Pour cela, ces theorèmes seront enonces sans
demonstrations. Pour celles ci, le lecteur pourra consulter des ouvrages de reference tels que [3]
et [4].
2.1 Le th
eor`
eme de Lax-Milgram
Th
eorème 2.1 Sous les hypothèses suivantes :
lespace V est un espace de Hilbert sur R de norme k.kV ,
la forme lineaire L est continue sur V , cest-`
a-dire
M >0 / v V | L(v) | M kvkV , (2.2)
la forme bilineaire a est continue sur V , cest-`

a-dire
> 0 / u, v V | a(u, v) | kukV kvkV , (2.3)

1
Serge Lvovitch Sobolev est un mathematicien russe (1908- ? ?).
12
la forme bilineaire a est V -elliptique (on dit aussi que a est coercive sur V ), cest-`
a-dire
> 0 / v V a(v, v) kvk2V , (2.4)
la solution u du problème (2.1) existe et est unique.
Preuve. Conferer le premier chapitre de ([3]).
Le theorème de Lax-Milgram est un theorème fondamental qui donne des conditions suf-
fisantes pour que le problème variationnel (2.1) soit bien pose, cest à dire que sa solution
existe et est unique. Dans ce cas, ce problème est dit V -elliptique. On remarquera en outre que
la continuite de a et sa coercivite entranent que
p p
v V kvkV N (v) = a(v, v) kvkV ,
ce qui implique que N et k.kV sont deux normes equivalentes de V .
2.2 Probl`
emes variationnels et probl`
emes de minimisation
Un problème variationnel de la forme (2.1) est souvent equivalent à un problème de minimi-
sation dune fonctionnelle quadratique. La proposition suivante precise cette equivalence.
Proposition 2.1 Si la forme bilineaire a est positive et symetrique, alors u est une solution de
(2.1) si et seulement si u verifie :
1
J(u) = M in J(v) o`
u J(v) = a(v, v) L(v).
2 (2.5)
v V
Preuve. En vertu de la linearite de L, de la bilinearite de a et de sa symetrie, on a

1
J(v) J(u) = a(v u, v u) + a(u, v u) L(v u).
2
Ainsi, si u est une solution de (2.1) et v est un element quelconque de V alors a(u, vu) = L(vu)
1
et J(v) J(u) = a(v u, v u) 0. Ce qui prouve la condition necessaire de la proposition
2
2.1. Reciproquement, supposons que u realise le minimum de J sur V . Pour tout reel x et tout
element v de V , on a alors :
x2
0 J(u + xv) J(u) = a(v, v) + x (a(u, v) L(v))
2
Le polynome de degre 2 en x qui apparat dans la precedente inegalite est ainsi toujours positif
et il sen suit que necessairement a(u, v) L(v) = 0 et u est une solution de (2.1).
Dans le cas o` u la forme bilineaire a est non symetrique, lequivalence entre le problème
variationnel (2.1) et le problème de minimisation de la fonctionnelle J (2.5) nest plus assuree
alors que le theorème de Lax-Milgram demeure applicable. Dans le cas symetrique, le theorème
de Lax-Milgram peut etre vu comme une situation particulière du theorème suivant :
13
Th eorème 2.2 Sous les hypothèses suivantes :
V est un espace de Banach et U est un ensemble ferme et convexe de V ,
la forme a est bilineaire, symetrique, continue sur V et V -elliptique,
la forme lineaire L est continue sur V ,
il existe un unique u U tel que :
1
J(u) = M in J(v) o`
u J(v) = a(v, v) L(v)
2 (2.6)
v U
Preuve. Conferer le premier chapitre de ([3]).
Ainsi, et dans le cas dune forme bilineaire symetrique, le theorème de Lax-Milgram corres-
pond à la situation U = V du theorème 2.2.
2.3 Les espaces de Sobolev

Les espaces de Sobolev sont des espaces fonctionnels intervenant frequemment dans les
problèmes elliptiques issus des modèles mathematiques de lingenieur. Ces espaces sont des
espaces de Hilbert et nous rappelons que :
un espace de Hilbert est un espace vectoriel norme, complet (espace de Banach) et muni
dun produit scalaire,
tout sous-espace ferme dun Hilbert est un Hilbert,
si A et B sont deux espaces de Hilbert pour les normes respectives k kA et k kB , lespace
A B est un espace de Hilbert pour la norme definie par
1/2
(u, v) A B k(u, v)kAB = kuk2A + kvk2B .
2.3.1 Lespace L2 ()

Etant donne un ouvert de RN , lespace L2 () des fonctions de carre sommable sur ,
relativement à la mesure de Lebesgue d dans RN , est un espace de Hilbert pour le produit
scalaire Z
(u, v)0, = uv d. (2.7)

La norme correspondante est notee
Z 1/2
2
kvk0, = v d (2.8)

et verifie linegalite de Cauchy-Schwarz

Z
| uv d| kuk0, kvk0, u, v L2 (). (2.9)

14
Il est aussi rappele que lespace D() 2 , qui designe lespace des fonctions à valeurs reelles
indefiniment differentiables sur et à support compact dans , est dense dans L2 () . Cette
densite signifie que tout element de L2 () peut etre approche par une suite delements de D() :
u L2 () (un ) une suite dans D() / ku un k0, 0
Lespace L2 () est bien utile pour letude des problèmes aux limites mais il est insuffisant
pour principalement deux raisons. Dabord, il ny est pas possible de parler de conditions aux
limites. En effet, la norme de cet espace ne permet pas de distinguer deux fonctions qui ne
diffèrent que sur la frontière. Ensuite, les problèmes variationnels (voir par exemple (1.4)) font
souvent apparatre des integrants contenant des derivees de fonctions, or les derivees de fonctions
de L2 (), qui ne sont definies quau sens des distributions, ne sont pas en general des fonctions.
2.3.2 Rappels sur les distributions

Lespace D0 () des distributions sur est lespace des formes lineaires continues sur D().
D0 ()
est ainsi lespace dual de D() et le produit de dualite est note < , >. Ainsi, pour
T D0 () on a
T : D() R
< T, > .
La continuite dune distribution T est à considerer au sens suivant :
n dans D() = < T, n >< T, > dans R.
La convergence dans D() de la suite (n ) vers a lieu lorsque le support de n reste dans
un compact fixe de et lorsque toute derivee partielle (dordre quelconque k) de n converge
uniformement vers la derivee partielle (dordre k) de sur R.
Dans la theorie des distributions les deux exemples suivants sont fondamentaux :
Exemple 1. La masse de Dirac a au point a (a ) est la distribution definie par :
< a , >= (a). (2.10)
Exemple 2. Pour une fonction u L2 (), on definit la distribution Tu par :

Z
< Tu , >= u d . (2.11)

Lexemple 2 permet didentifier lespace L2 () à un sous-espace de D0 (). En effet, lapplication
L2 () D0 ()
u Tu
2
Un exemple classique de fonction D(RN ) est donne par

1 N !1/2

X 2
kxk2 1
e , pour kxk = xi <1
(x1 , x2 , ..., xN ) = i=1

0, pour kxk 1 .
15
est injective en vertu de la densite de D() dans L2 (). Ainsi, on pourra identifier u et Tu .
Enfin, et pour T D0 (), il est rappele que par definition de la derivation au sens des
T
distributions, la distribution est telle que :
xi
T
D() < , >= < T, >. (2.12)
xi xi
Cette definition conduit aisement au fait que toute distribution, et en particulier toute fonction
de L 2 (), est infiniment derivable au sens des distributions. Pour une fonction u dans L2 (), la
u Tu
derivee au sens des distributions (= ) nest pas en general dans L2 (). Considerons par
xi xi
exemple la fonction dHeaviside sur =] 1, 1[ definie par :

1 pour 0 < x < 1
H(x) =
0 pour 1 < x < 0.
H est bien dans L2 () et on a

Z 1 Z 1
dH d d d
< , > = < H, >= H(x) (x) dx = (x) dx
dx dx 1 dx 0 dx
= (0) =< 0 , > .
dH dH
Ainsi, = 0 et nest pas dans L2 ().
dx dx
Proposition 2.2 Si (vn ) est une suite convergente vers v dans L2 (), alors cette suite converge
vn v
vers v dans D0 () et la suite ( ) converge vers ( ) dans D0 ().
xi xi
Preuve Precisons dabord que la convergence dans D0 () dune suite (Tn ) vers T est à considerer
au sens suivant :
D() < Tn , > < T, > .
Et comme on a :
Z
| < vn v, > | = | (vn v) d| kvn vk0, kk0,

et Z
vn v
|< , > | = | < vn v, >|=| (vn v) d|
xi xi xi xi

kvn vk0, k k0, ,
xi
la proposition 2.2 est prouvee.
16
2.3.3 Lespace de Sobolev H 1 ()
Lespace de Sobolev dordre 1 sur ( RN ) est defini par :

1 2 v 2
H () = v L () / L (), 1 i N . (2.13)
xi
Cet espace est muni du produit scalaire suivant :

Z Z XN
u v
(u, v)1, = uv d + d . (2.14)
xi xi
i=1
La norme associee à ce produit scalaire est notee

1/2 1/2
kvk1, = (v, v)1, = kvk20, + |v|21, (2.15)
u | |1, est la semi-norme de H 1 () definie par :

o`
N
!1/2
X v 2
|v|1, = k k . (2.16)
xi 0,
i=1
Proposition 2.3 Lespace H 1 () est un espace de Hilbert pour le produit scalaire (2.14).
Preuve. Il est aise de voir que H 1 () est euclidien pour le produit scalaire (2.14) et il reste à
montrer quil est complet pour la norme (2.15). Considerons donc (vn ) une suite de Cauchy
dans H 1 (). La definition (2.15) de la norme de H 1 () implique alors que (vn ) est une suite
vn
de Cauchy dans L2 () et ( ) est une suite de Cauchy dans L2 () pour tout i {1, .., N }.
xi
La suite (vn ) converge donc vers un element v de L2 () et pour tout i {1, .., N } la suite
vn
( ) converge vers un element wi de L2 (). De la proposition 2.2 on deduit alors que pour
xi
vn v
tout i {1, .., N } la suite ( ) converge vers dans D0 () et on deduit aussi que cette
xi xi
v
meme suite converge vers wi dans D0 (). Ainsi, = wi dans D0 (). Et comme wi L2 (),
xi
v
on aboutit à est dans L2 () et la suite de Cauchy (vn ) converge vers v dans H 1 (). Lespace
xi
H 1 () est ainsi complet pour la norme (2.15).
Theorème 2.3 (Th eorème de trace dans H 1 ()) est un ouvert borne de RN de frontière
assez regulière 3 et est une partie de de mesure non nulle.
Lapplication4 : v D() (v) = v| C 0 (), se prolonge en une application lineaire
continue de H 1 () dans L2 ().
3
Il suffirait quelle soit C 1 par morceaux.
4
D() designe lespace des restrictions à des fonctions de D(RN )
17
Preuve. Conferer le chapitre 4 (volume 3) de ([4]) dans lequel il est aussi demontre que lespace
D() est dense dans H 1 ().
Lapplication de H 1 () dans L2 () definie à partir du theorème 2.3 est encore notee et est
appelee application trace. La continuite de se traduit par
cT > 0 / v H 1 () kvk0, cT kvk1, . (2.17)
Ainsi, pour u = v dans H 1 () on a necessairement u| = v| dans L2 (). Ceci donne un sens

aux conditions aux limites du type u = h sur (o` u h est une fonction donnee) pour une fonction
u appartenant à H 1 (). Par ailleurs, et en introduisant lespace

V = 1 ({0}) = v H 1 () / v = 0 sur , (2.18)
la continuite de loperateur entrane que V est un sous-espace ferme de H 1 () et est par

consequent un espace de Hilbert pour la norme k k1, . Lorsque = , lespace V est note
H01 () :
H01 () = v H 1 () / v = 0 sur . (2.19)
Th
eorème 2.4 (La formule de Green dans H 1 ()) est un ouvert borne de RN de frontière
assez regulière .
Pour tout u et v dans H 1 (), on a
Z Z Z
u v
v d = uvni d u d (2.20)
xi xi
o` a une base orthonormee (e~1 , e~2 , ..., e~N ) de RN

u xi est une coordonnee cartesienne par rapport `
(~x = xi e~i ) et ni est la composante selon e~i du vecteur ~n unitaire et normal exterieur ` a
(~n = ni e~i ).
Preuve. La formule (2.20) est vraie pour des fonctions u et v dans D() et se prolonge aux
fonctions de H 1 () grace à la densite de D() dans H 1 ().
Theor` eme 2.5 (Th eor` eme de compacite dans H 1 ()) est un ouvert borne de RN de
frontière assez regulière.
Linjection canonique de H 1 () dans L2 () est compacte.
Preuve. Conferer le chapitre 4 (volume 3) de ([4]).
Le theorème 2.5 entrane que de toute suite bornee de H 1 () on peut extraire une sous-suite
convergente dans L2 ().
18
Theor` eme 2.6 (In egalite de Poincar e-Friedrichs) est un ouvert borne, connexe de RN ,
et est une partie de de mesure non nulle.
Il existe une constante cp > 0, telle que
Z 2 !1/2
v H 1 (), N (v) = |v|21, + v d cp kvk1, . (2.21)

Preuve. Nous adoptons un raisonnement par labsurde et nous supposons que

1
n IN vn H 1 () / N (vn ) kvn k1, .
n
vn
Posons wn = . La suite de fonctions (wn ) verifie alors
kvn k1,
R 2 1/2
1
|wn |21, + wn d = N (wn )
n (2.22)

kwn k1, = 1.
En vertu du theorème de compacite de linjection canonique de H 1 () dans L2 (), et etant

donne que la suite (wn ) est bornee, on peut en extraire une sous-suite (wn0 ) convergente vers w
dans L2 (). De la proposition 2.2 on deduit alors que pour tout i {1, ..., N }, (wn0 ,i ) converge
vers w,i dans D0 (). Or linegalite ecrite dans (2.22) implique que (wn0 ,i ) converge vers 0 dans
L2 (). Ainsi, pour tout i {1, ..., N } on a w,i = 0. Et comme est suppose connexe alors
w = constante. La convergence de (wn0 ) vers w est donc dans H 1 ().
En outre, on a
R 0
2 R 2 R 2
| wn d w2 mes()2 | = | 0
wn d w d |
mes()2 kwn0 wk0, kwn0 + wk0,
c2T mes()2 kwn0 wk1, kwn0 + wk1, ,
o`
u cT est la constante introduite dans linegalite (2.17) du theorème de trace, et donc
Z 2
wn0 d w2 mes()2 .

Et comme (2.22) implique que

Z 2
wn0 d 0,

il sensuit que w = 0. Ainsi, la suite (wn0 ) converge vers 0 dans H 1 () alors que chacun de ses
termes a une norme egale à 1. Ceci est absurde et linegalite de Poincare-Friedrichs est ainsi
prouvee.
19
Remarques.
En utilisant linegalite de Cauchy-Schwarz et linegalite (2.17) decoulant du theorème de
trace dans H 1 (), on a
R 2 1/2 1/2
N (v) = |v|21, + v d kvk21, + mes()2 kvk20,
(2.23)
(1 + mes()2 c2T )1/2 kvk1, .
Les inegalites (2.21) et (2.23) montrent que la norme N est une norme sur H 1 () equivalente
à la norme k k1, .
En remarquant que
v H01 () N (v) = |v|1, ,
on deduit que | |1, et k k1, sont deux normes equivalentes sur H01 ().
Un raisonnement similaire à celui adopte dans la demonstration du theorème de linegalite
de Poincare-Friedrichs, permet de prouver que la norme
Z !1/2 2
M(v) = |v|21, + v d , (2.24)

est une norme sur H 1 () equivalente à la norme k k1, .
2.3.4 Lespace de Sobolev H 2 ()

Lespace de Sobolev dordre 2 sur est defini par :

2v
H 2 () = v H 1 () / L2 (), 1 i, j N . (2.25)
xi xj
Cet espace est muni du produit scalaire suivant :
Z X 2u 2v
(u, v)2, = (u, v)1, + d . (2.26)
1i,jN xi xj xi xj
La norme associee à ce produit scalaire est notee

1/2 1/2
kvk2, = (v, v)2, = kvk21, + |v|22, , (2.27)
u | |2, est la semi-norme de H 2 () definie par

o`
1/2
X 2
v 2
|v|2, = k k . (2.28)
xi xj 0,
1i,jN
Proposition 2.4 Lespace H 2 () est un espace de Hilbert pour le produit scalaire (2.26).
Preuve. Un raisonnement similaire à celui adopte dans la demonstration de la proposition 2.3,
conduit facilement à la preuve de la presente proposition.
Il est clair que la definition des espaces H 1 () (2.13) et H 2 () (2.25) peut etre generalisee
et conduire à la definition despaces de Sobolev dordre m, H m (), pour tout entier m 3.
20
Th eorème 2.7 (Th eorème de trace dans H 2 ()) est un ouvert borne de RN de frontière
assez regulière et est une partie de de mesure non nulle.
v
Lapplication ~ : v H 2 () ~ (v) = (v| , ) L2 ()xL2 () est une application
n |
lineaire et continue.
Preuve . Conferer le chapitre 4 (volume 3) de ([4]).
u
Le theorème de trace dans H 2 () donne un sens aux conditions aux limites du type =
n
g sur (o` 2
u g est une fonction donnee) pour une fonction u appartenant à H (). Une telle
condition aux limites na evidemment pas de sens pour une fonction qui nest que dans H 1 ().
Par ailleurs, en introduisant lespace W defini par :

1 2 v
W = ~ ({0}) = v H () / v = = 0 sur , (2.29)
n
la continuite de loperateur ~ entrane que W est un sous-espace ferme de H 2 () et est par

consequent un espace de Hilbert pour la norme k k2, . Lorsque = , lespace W est note
H02 ()
2 2 v
H0 () = v H () / v = = 0 sur . (2.30)
n
Th
eorème 2.8 (La formule de Green dans H 2 ()) est un ouvert borne de RN de frontière
assez regulière.
Pour tout u dans H 2 () et tout v dans H 1 (), on a
Z Z Z
u ~ v~ d
u v d = v d + u. (2.31)
n
Preuve Les derivees premières u,i et la fonction v etant dans H 1 (), ce theorème est une
consequence immediate de la formule de Green dans H 1 (). En effet, on a
R R R R
u v d = u,ii v d = u,i ni v d + u,i v,i d
Z
R u
= v d + ~ v
u. ~ d
n
Theor` eme 2.9 (Th eor` eme de compacite dans H 2 ()) est un ouvert borne de RN de
frontière assez regulière.
Linjection canonique de H 2 () dans H 1 () est alors compacte.
21
Preuve. Soit (vn ) une suite bornee de H 2 () et montrons quon peut en extraire une sous-suite
convergente dans H 1 (). La suite (vn ) est aussi bornee dans H 1 () et on peut, grace à la
compacite de linjection de H 1 () dans L2 () ( theorème 2.5), en extraire une sous-suite (vn0 )
v 0
convergente vers v dans L2 (). Pour tout i {1, .., N }, la suite ( n ) est aussi bornee dans
xi
1 vn00
H () et on peut donc en extraire une sous-suite ( ) convergente vers wi dans L2 (). Par
xi
v 00
ailleurs, de la convergence de la suite (vn00 ) vers v dans L2 (), on deduit la convergence de ( n )
xi
v v v
vers dans D0 (). Il sen suit alors que = wi et est dans L2 (). La suite (vn00 ) est
xi xi xi
ainsi une sous-suite de (vn ) convergente dans H 1 ().
Proposition 2.5 | |2, et k k2, sont deux normes equivalentes sur H02 ().
Preuve. Cette equivalence se demontre aisement en utilisant le theorème de compacite dans

H 2 (), et en procedant comme dans la demonstration du theorème de Poincare-Friedrichs.
2.3.5 Lespace (H 1 ())N

Pour tout entier N = 2 ou 3, lespace (H 1 ())N est un espace de fonctions à valeurs dans
RN et dont chacune des composantes (dans une base de RN qui sera consideree orthonormee
cartesienne) est dans H 1 (). Cet espace est un espace de Hilbert pour la norme definie par :
N
!1/2
X
k~v k(H 1 ())N = kvi k21, . (2.32)
i=1
Theor`
eme 2.10 (In egalit e de Korn) est un ouvert borne de RN , de frontière assez regulière.
En notant
1 t
1
(~v ) = ~v + ~v , ij (~v ) = (vi,j + vj,i ) (2.33)
2 2
on a
X
cK > 0 / ~v (H 1 ())N k~v k2(L2 ())N + kij (~v )k20, cK k~v k2(H 1 ())N . (2.34)
1i,jN
Preuve. Conferer le chapitre 7 (volume 4) de ([4]).
A partir du theorème de Korn il est immediat detablir que lapplication

1/2
X
~v k~v k2(L2 ())N + kij (~v )k20,
1i,jN
definit une norme sur (H 1 ())N equivalente à la norme k k(H 1 ())N .
22
Proposition 2.6 En considerant une partie de de mesure non nulle et en introduisant
lespace V defini par n o
V = ~v (H 1 ())N / ~v = ~0 sur ,
on a X
ck > 0 / ~v V M 2 (~v ) = kij (~v )k20, ck k~v k2(H 1 ())N , (2.35)
1i,jN
a la norme k k(H 1 ())N .

et M est une norme sur V equivalente `
Preuve. Nous commencons dabord par verifier que M definit bien une norme sur V . En effet,
si ~v (H 1 ())N et (~v ) = 0 alors ~v est de la forme

~v (~x) = ~a + ~b ~x, ~a, ~b R3 pour N = 3,

~v (~x) = (a1 + bx2 )~e1 + (a2 bx1 )~e2 , a1 , a2 , b R, ~e1 , ~e2 R2 pour N = 2.
Si en plus ~v est nul sur , qui est de mesure non nulle, alors ~v = ~0. Ainsi, M est bien une norme
sur V .
Pour demontrer linegalite (2.35) nous adoptons un raisonnement par labsurde et nous sup-
posons que
1
n IN ~vn V / M (~vn ) k~vn k(H 1 ())N .
n
~vn
Posons w ~n = . La suite de fonctions (w
~ n ) verifie ainsi
k~vn k(H 1 ())N
1

M (w~ n)
n
(2.36)

kw
~ n k(H 1 ())N = 1.
En vertu du theorème de compacite de linjection canonique de H 1 () dans L2 () (theorème

2.5), et etant donne que pour tout i = 1, ..., N la suite (wn i ) est bornee, on peut en extraire
une sous-suite (wn0 i ) convergente vers wi dans L2 (). De la proposition 2.2 on deduit que la
suite (wn0 i,j ) converge vers wi,j dans D0 () pour tout i et j {1, ..., N } et ((w~n0 )) converge
~ dans (D0 ())N N . Or linegalite ecrite dans (2.36) implique que (w~0 ) converge vers
vers (w) n
le tenseur 0 dans (L2 ())N N . Ainsi, (w) ~ = 0 et linegalite de Korn (2.34) implique que w ~ est
dans (H 1 ())N . La convergence de (w ~ 0 n ) vers w
~ est donc dans (H 1 ())N . w ~ est alors dans V et
comme (w) ~ = 0, alors M (w)
~ = 0 et w ~ = ~0. Ainsi, la suite (w ~ 0 n ) converge vers ~0 dans (H 1 ())N
alors que chacun de ses termes a une norme egale à 1. Ceci est absurde et linegalite (2.35) est
ainsi prouvee. Il est alors facile detablir que M est une norme sur V equivalente à la norme
k k(H 1 ())N .
Lespace (H 1 ())N et linegalite de Korn seront bien utiles pour letude du problème de
lequilibre en elasticite tridimensionnelle (cf. chapitre 3).
23
2.4 Exercices
Exercice II-1 Toutes les questions de cet exercice sont independantes.
1. Montrer quun espace vectoriel norme (respectivement de Banach) est euclidien (respecti-
vement de Hilbert) si et seulement si sa norme k k verifie :

kf + gk2 + kf gk2 = 2 kf k2 + kgk2 .
Montrer alors que lespace L1 (]0, 2[) nest pas un Hilbert pour la norme :
Z 2
kf k = |f | dx.
0
R1
2. Montrer que lespace C 0 (] 1, 1[), muni du produit scalaire : (f, g) = 1 f g dx , nest pas
complet. Utiliser pour cela la suite (n )nIN definie par :

1

1, pour 1 x

n

1 1
n (x) = nx, pour x

n n

1, pour 1 x 1 .

n
3. On note le disque ouvert de R2 de centre (0, 0) et de rayon 1/2 . Montrer que la fonction
u, definie sur par :
u(x, y) = Log(Log(x2 + y 2 )),
est dans H 1 () alors quelle nest ni continue ni bornee .
4. Montrer que la suite de fonctions (n )nIN , definies sur ] , [ par : n (x) = sin(nx),
est faiblement convergente dans L2 (] , [) et quelle nest pas (fortement) convergente
dans L2 (] , [).
R 1/2
5. est un ouvert borne de Rn . Montrer que lapplication A, definie par : A(v) = |v|21, + v 2 d ,
definit une norme sur H 1 () equivalente à la norme usuelle de H 1 ().
Exercice II-2 Une demonstration du theorème de trace sur H 1 (R2 ) est ici presentee. Cette
demonstration repose sur la densite de D() dans H 1 () lorsque = Rn . (Cette densite nest
pas toujours assuree pour des ouverts quelconques.)
1. On considère lapplication trace definie par :
: D(R2 ) L2 (R)
f f o`
u f (x) = f (x, 0)
Z 0
2 f
Montrer que : (f (x)) = 2 f (x, y) (x, y) dy.
y
2
2. Montrer que : f D(R ) kf k0,R kf k1,RR .
24
3. En utilisant la densite de D(R2 ) dans H 1 (R2 ), montrer que admet un unique prolonge-
ment continu : : H 1 (R2 ) L2 (R) .
Exercice II-3 Cet exercice a pour but de justifier un resultat rencontre dans la section 4 du
chapitre 1. Ce resultat concerne la concidence, aux nuds du maillage, entre la solution exacte
et celle par elements finis pour un problème elliptique unidimensionnel (cf. Figure 1.2).
1. Pour y ] 1, 1[, determiner la solution, quon notera E(., y), du problème aux limites
suivant :

d2 u
2 = y dans ] 1, 1[
dx

u(1) = u(1) = 0.
2. Pour f L2 (] 1, 1[), montrer que la solution, u, du problème

d2 u
2 =f dans ] 1, 1[
dx (2.37)

u(1) = u(1) = 0.
est telle que : Z 1

u(x) = E(x, y)f (y) dy. (2.38)
1

3. Ecrire une formulation variationnelle dans H01 (] 1, 1[) du problème (2.37). On associera
à ce problème variationnel, un problème variationnel discret utilisant un espace element
fini contenant les fonctions affines par maille et continues. En notant Si les sommets du
maillage, les fonctions E(Si , .) sont alors dans cet espace element fini. En utilisant (2.38),
la formulation variationnelle de (2.37) et le problème variationnel discret, montrer que la
solution exacte, u, et la solution elements finis, uEF , verifient : u(Si ) = uEF (Si ).
4. Reprendre les questions precedentes pour le problème aux limites suivant :

d4 u

=f dans ] 1, 1[

dx4

du du

(1) = (1) = 0

dx dx

u(1) = u(1) = 0.
Exercice II-4 Pour > 0, on considère le problème aux limites

u = u dans =]0, 1[]0, 1[
(2.39)

u = 0 sur .

1. Ecrire une formulation variationnelle de (2.39) et montrer que si u est une solution non
|u|21,
nulle de (2.39) alors : = .
kuk20,
25
2. Pour p et q deux entiers non nuls, on pose : upq (x, y) = sin(px)sin(qy). Determiner le
reel pq pour que upq soit une solution du problème (2.39) associe à pq .
3. On rappelle que linegalite de Poincare-Friedrichs secrit :
c > 0 v H01 () |v|1, c kvk1, .
En utilisant les questions precedentes, proposer un majorant de la constante c.
26
Chapitre 3
Etude de quelques probl`

emes aux
limites elliptiques
Letude de quelques problèmes aux limites elliptiques classiques en physique et en mecanique

est abordee dans ce chapitre. Il sagira principalement de la construction de formulations varia-
tionnelles de ces problèmes et de letude, basee sur le theorème de Lax-Milgram, de lexistence
et lunicite des solutions.
3.1 Probl`
emes du laplacien
Il sagit de problèmes aux limites dans lesquels la fonction inconnue, u, verifie lequation aux
derivees partielles suivante : u = f dans . Le domaine est un ouvert borne et connexe
de RN de frontière suffisamment regulière (par exemple C 1 par morceaux ). La fonction f
est supposee dans L2 (). Dans les conditions aux limites nous distinguerons les conditions de
u
Dirichlet qui portent sur u de celles de Neumann qui portent sur .
n
3.1.1 Le probl`
eme de Dirichlet homog`
ene
Ce problème aux limites consiste à trouver une fonction u telle que

u = f dans
(3.1)

u = 0 sur .
Ce problème est dit homogène en ce sens que la condition aux limites est homogène.
Formulation variationnelle du problème (3.1). En supposant que ce problème admet une solu-
tion u dans H 2 (), cette solution verifie necessairement
Z Z
u v d = f v d v H 1 (),

et la formule de Green dans H 2 ()

(2.31) conduit à
Z Z Z
u ~ ~
v d + u.v d = f v d v H 1 (). (3.2)
n
27
Et en se restreignant dans (3.2) à des fonctions v dans H01 () on obtient la formulation varia-
tionnelle suivante du problème de Dirichlet homogène :
R
Trouver u H01 () tel que ~ v
a(u, v) = u. ~ d
où R (3.3)

a(u, v) = L(v) v H01 () L(v) = f v d.
Existence et unicite des solutions du problème (3.3). En utilisant linegalite de Cauchy-Schwarz,

la forme lineaire L verifie
|L(v)| kf k0, kvk0, kf k0, kvk1, , (3.4)
et la forme bilineaire a verifie

Z XN N
X
u v u v
|a(u, v)| = | d| k k0, k k0, N kuk1, kvk1, . (3.5)
xi xi xi xi
i=1 i=1
Les inegalites (3.4) et (3.5) prouvent la continuite, sur H01 () muni de la norme k k1, , de L et
a, respectivement. En outre, linegalite de Poincare-Friedrichs (2.21) conduit à
N
Z X
v 2
v H01 () a(v, v) = d = |v|21, c2p kvk21, ,
i=1 xi
ce qui prouve la coercivite de a sur H01 () muni de la norme k k1, . Ainsi, le problème variationnel
(3.3) verifie les hypothèses du theorème de Lax-Milgram et sa solution u existe et est unique
dans H01 ().
Interpretation de la solution u en terme de solution du problème (3.1). La solution u de (3.3)

netant que dans H01 (), ses derivees secondes ne peuvent etre considerees quau sens des dis-
tributions et elles verifient
R
< u, > =< u,ii , >=< u,i , ,i >= u. ~ ~ d
R
= a(u, ) = L() = f d
(3.6)
=< f, > .
Ainsi, u = f dans D0 () et comme f est dans L2 () on obtient
u = f dans L2 ().
La condition aux limites u = 0 sur est ici immediate puisque u est dans H01 ().
28
3.1.2 Le probl`
eme de Dirichlet non homog`
ene

u = f dans
(3.7)

u = u0 sur .
u u0 est une fonction donnee dans H 1 (). En supposant que ce problème admet une solution
o`
u dans H 2 (), cette solution verifie necessairement
Z Z
u v d = f v d v H 1 (),

et la formule de Green dans H 2 () (2.31) conduit à

Z Z
~ ~
u.v d = f v d v H01 ().

En posant w = u u0 , on obtient la formulation variationnelle suivante

R
~ ~
Trouver w H01 () tel que a(w, v) = w.v d

o`
u (3.8)

a(w, v) = L(v) v H01 () L(v) = R f v u
~ 0 .v
~ d,

qui ne diffère de celle obtenue pour le problème de Dirichlet homogène que par la definition de
la forme lineaire L. Il est aise detablir la continuite de cette forme lineaire sur H01 () et de
conclure à lexistence et lunicite de la solution w de ce problème.
3.1.3 Le probl`
eme de Neumann homog`
ene

u = f dans

(3.9)

u = 0 sur .
n
Il est clair que si u est une solution du problème (3.9), alors u + constante est aussi une
solution. Reciproquement, supposons lexistence dans H 2 () de deux solutions, u1 et u2 , de
(3.9). Ces solutions verifient alors (u1 u2 ) = 0 et
Z
(u1 u2 ) (u1 u2 ) d = 0. (3.10)

Par application de la formule de Green (2.31) dans H 2 (), legalite (3.10) conduit à
Z
~ 1 u2 ).(u
(u ~ 1 u2 ) d = 0,

29
ce qui entrane que u1 u2 est une constante. Ainsi, en cas dexistence dune solution dans
H 2 () du problème (3.9), cette solution serait unique à une constante près. Par ailleurs, si u
est une solution de (3.9), alors lapplication de la formule de Green dans H 2 () entrane que u
verifie Z Z
~ ~
u.v d = f v d, v H 1 (). (3.11)

En prenant v 1 dans (3.11) on obtient
Z
f d = 0, (3.12)

ce qui constitue une condition necessaire sur la donnee f pour lexistence de solutions. Nous
supposerons dans la suite que la condition (3.12) est verifiee.
Formulation variationnelle du problème (3.9). Lunicite des solutions de (3.9) ne pouvant etre
assuree quà une constante près, nous sommes amenes à introduire lespace H 1 ()/R, quotient
de H 1 () par R . Ceci signifie que sur H 1 () nous definissons la relation dequivalence suivante :
deux fonctions de H 1 () sont equivalentes si et seulement si leur difference est une constante.
H 1 ()/R est lespace des classes dequivalence. Pour v H 1 (),

v = w H 1 () / w v = constante
designe la classe de v ( v H 1 ()/R). Une formulation variationnelle de (3.9) dans H 1 ()/R

secrit alors
R
Trouver u H 1 ()/R tel que a( ~ v
u, v) = u. ~ d
o`
u R (3.13)
1
a(
u, v) = L(
v ) v H ()/R L(v ) = f v d.
Existence et unicite des solutions du problème (3.13). Il est aise detablir que, muni de la norme
k
v kH 1 ()/R = Inf kv + ck1, ,
cR
lespace H 1 ()/R est un espace de Hilbert. Le produit scalaire associe à cette norme est defini
par
1
(
u, v)H 1 ()/R = u + vk2H 1 ()/R k
k uk2H 1 ()/R k
v k2H 1 ()/R
2
En vertu de la condition (3.12), la forme lineaire L verifie
Z
c R |L( v )| = | f (v + c) d| kf k0, kv + ck0, kf k0, kv + ck1, ,

do`
u
|L(
v )| kf k0, k
v kH 1 ()/R ,
et L est continue sur H 1 ()/R.
30
La forme bilineaire a verifie
R PN (u + c) (v + d)
c, d R |a(
u, v)| = | i=1 d|
xi xi
PN (u + c) (v + d)
i=1 k k0, k k0,
xi xi
N ku + ck1, kv + dk1, ,
do`
u
|a(
u, v)| N k
ukH 1 ()/R k
v kH 1 ()/R ,
et a est continue sur H 1 ()/R.
Pour etablir la coercivite de a sur H 1 ()/R nous rappelons que linegalite de Poincare-
Friedrichs (2.21) secrit
Z 2 !1/2
cp > 0 / v H 1 () N (v) = |v|21, + v d cp kvk1,

Cette inegalite permet alors decrire
Inf N 2 (v + c)
c2p k
v k2H 1 ()/R
cR
R 2
= Inf |v|21, + (v + c) d
cR
R 2
= |v|21, + Inf c mes() + v d
cR
= |v|21,
= a(
v , v)
ce qui prouve la coercivite de a sur H 1 ()/R muni de la norme k kH 1 ()/R . Ainsi, le problème
variationnel (3.13) verifie les hypothèses du theorème de Lax-Milgram et sa solution u existe et
est unique dans H 1 ()/R.
Interpretation de la solution u
en terme de solution du problème (3.9). Pour une fonction u
u
, un raisonnement analogue à celui adopte lors de letude du problème de Dirichlet homogène,
conduit à u = f dans L2 ().
En supposant que u est dans H 2 (), la formule de Green dans H 2 () (2.31) et le problème
(3.13) impliquent que Z
u
v d = 0 v H 1 (),
n
et en invoquant la densite dans L2 () de lespace des traces sur des fonctions de H 1 () on
R u u
obtient v d = 0 v L2 (), et = 0 sur .
n n
31
3.1.4 Probl`
eme m
el
e de Dirichlet-Neumann

u = f dans

u = 0 sur 0 (3.14)

u = g sur 1 .
n
u 0 est une partie de de mesure non nulle, 1 = \0 et g est une fonction dans L2 (1 ).
o`
Formulation variationnelle du problème (3.14). En supposant que ce problème admet une solu-
tion u dans H 2 (), alors cette solution verifie necessairement
Z Z
u v d = f v d v H 1 (),

ce qui, en utilisant la formule de Green dans H 2 () (2.31), entrane

Z Z Z
u ~ ~
v d + u.v d = f v d.
n
En se restreignant à des fonctions v nulles sur 0 et en tenant compte de la condition au limite

de Neumann, on obtient la formulation variationnelle suivante du problème mele

V0 = v H 1 () / v = 0 sur 0

Trouver u V0 tel que
R
où ~ v
a(u, v) = u. ~ d (3.15)

a(u, v) = L(v) v V0
R R

L(v) = f v d + 1 gv d.
Existence et unicite des solutions du problème (3.15). Lespace V0 est un sous-espace ferme de
H 1 () et est donc un espace de Hilbert pour la norme induite par celle de H 1 (). En utilisant
linegalite de Cauchy-Schwarz et linegalite (2.17) traduisant la continuite de loperateur trace
sur 1 , la forme lineaire L verifie
|L(v)| kf k0, kvk0, + cT kgk0,1 kvk1,
(kf k0, + cT kgk0,1 ) kvk1, ,
ce qui prouve la continuite de L sur V0 muni de la norme k k1, . La forme bilineaire a verifie
linegalite (3.5), ce qui prouve sa continuite sur V0 . En outre, linegalite de Poincare-Friedrichs
(2.21) conduit à
v V0 a(v, v) = |v|21, c2p kvk21, ,
ce qui prouve la coercivite de a sur V0 muni de la norme k k1, . Ainsi, le problème variationnel
(3.15) verifie les hypothèses du theorème de Lax-Milgram et sa solution u existe et est unique
dans V0 .
32
Interpretation de la solution u en terme de solution du problème (3.14). Un raisonnement ana-
logue à celui adopte lors de letude du problème de Dirichlet homogène, conduit immediatement
a u = f dans L2 ().
`
En supposant que u est dans H 2 (), la formule de Green dans H 2 () (2.31) et le problème
(3.15) impliquent que Z
u
g v d = 0 v V0 ,
1 n
u
do`
u = g sur 1 .
n
Il est à remarquer que dans les problèmes du laplacien la condition aux limites de Dirichlet
apparat explicitement dans la definition des espaces fonctionnels de la formulation variationnelle
alors quil nen est rien de la condition de Neumann. Les conditions de Dirichlet sont dites
essentielles alors que celles de Neumann sont dites naturelles.
3.2 Le probl`
eme de l
equilibre en
elasticit
e tridimensionnelle
On considère un milieu continu tridimensionnel occupant louvert borne et connexe . Ce
milieu est constitue dun materiau dont le comportement elastique lineaire est caracterise par
le champ de tenseur (dordre 4) R des modules elastiques. Les forces exterieures appliquees à
ce milieu sont definies par une densite volumique de force f~ agissant dans et une densite
surfacique de force ~g agissant sur une partie 1 de la frontière . Sur 0 = \1 , supposee
de mesure non nulle, le milieu est encastre dans un support fixe et rigide. Dans le cadre des
hypothèses des petites perturbations (les changements de geometrie sont negliges) et dune
evolution quasi-statique (les forces dinertie sont negligees), le champ de contrainte (tenseur
dordre 2 symetrique), et le champ de deplacement ~u verifient les equations du problème aux
limites suivant :
div + f~ = ~0 dans (3.16)

1
(~u) = (~u +t ~u) dans (3.17)
2
= R : (~u) dans (3.18)
.~n = ~g sur 1 (3.19)
~u = ~0 sur 0 . (3.20)
Une formulation variationnelle en deplacement. En supposant que le problème dequilibre ad-

met une solution dont toutes les composantes sont dans H 1 (), lequation dequilibre(3.16)
entrane alors Z
(div + f~).~v d = 0 ~v (H 1 ())3 , (3.21)

ce qui, en considerant les composantes des tenseurs dans une base orthonormee cartesienne,
conduit à Z
(ij,j vi + f~.~v ) d = 0 ~v (H 1 ())3 . (3.22)

33
En utilisant la formule de Green dans H 1 () (2.20) on obtient
Z Z Z
ij nj vi d ij vi,j d + f~.~v d = 0 ~v (H 1 ())3 , (3.23)

ce qui, en tenant compte de la symetrie de , devient

Z Z Z
: (~v ) d + (.~n).~v d + f~.~v d = 0 ~v (H 1 ())3 . (3.24)

| {z } | {z }
Wint (~v ) Wext (~v )
La relation (3.24) correspond en mecanique au theorème des travaux virtuels ([6], [5]), qui enonce
que pour une structure à lequilibre la somme du travail virtuel des efforts interieurs Wint (~v )
et du travail virtuel des efforts exterieurs Wext (~v ) est nulle pour tout champ de deplacement
virtuel ~v .
En tenant compte de la relation de comportement (3.18) et des conditions aux limites (3.19)
et (3.20), on obtient à partir de (3.24) la formulation variationnelle suivante pour le problème
de lequilibre
n o

V = ~v (H 1 ())3 / ~ v = ~
0 sur 0

0
Trouver ~u V0 tel que

R
o`
u a(~
u , ~
v ) = (3.25)
(~v ) : R : (~u) d
a(~u, ~v ) = L(~v ) ~v V0

R R

L(~v ) = f~.~v d +
~g .~v d.
1
Existence et unicite des solutions du problème (3.25). Lespace V0 est un sous-espace ferme de
(H 1 ())3 et est donc un espace de Hilbert pour la norme induite par celle de (H 1 ())3 . Dautre
part, il est clair que la forme lineaire L est continue sur V0 dès que f~ est dans (L2 ())3 et ~g
est dans (L2 (1 ))3 . De meme, la forme bilineaire et symetrique a est continue sur V0 si, par
exemple, les composantes du tenseur R sont dans L (). La coercivite de a est par contre non
triviale et decoule de linegalite (2.35) deduite du theorème de Korn. Dans V0 , cette inegalite
secrit X
ck > 0 / ~v V0 M 2 (~v ) = kij (~v )k20, ck k~v k2(H 1 ())3 ,
1i,j3
La forme bilineaire a est alors coercive dès que les composantes du tenseur des modules elastiques
verifient les proprietes dellipticite suivante :
X
cR > 0 / {Eij }1i,j3 Eij Rjikl Elk cR |Eij |2 . (3.26)
1i,j3
Ainsi, le problème variationnel (3.25) verifie les hypothèses du theorème de Lax-Milgram et sa

solution ~u existe et est unique dans V0 . Par ailleurs, la forme bilineaire a etant symetrique, la
solution ~u de (3.25) est telle que
1
J(~u) = M in J(~v ) o`
u J(~v ) = a(~v , ~v ) L(~v ).
2 (3.27)
~v V0
34
On retrouve ainsi le theorème, bien connu en mecanique ([6], [5]), du minimum de lenergie
potentielle. Lenergie potentielle pour un champ de deplacement ~v cinematiquement admissible
(cest à dire verifiant les conditions aux limites en deplacement) est la quantite J(~v ) definie par
(3.27) et (3.25).
3.3 Un probl`
eme elliptique du quatri`
eme ordre
Nous considerons le problème aux limites qui consiste à trouver une fonction u telle que

u = f dans

u = 0 sur (3.28)

u = 0 sur .
n
Ce problème aux limites correspond par exemple au problème dequilibre, dans le cadre des
hypothèses des petites perturbations, dune structure -(plaque de plan moyen dans le cas
bidimensionnel, et poutre de fibre moyenne dans le cas unidimensionnel ([7])- constituee
dun materiau elastique, homogène et isotrope, encastree sur son contour et soumise à des
forces perpendiculaires à . Le champ u designe dans ce cas le deplacement de flexion qui est
perpendiculaire à . Le second membre, f , correspond au rapport des forces de flexion par la
rigidite flexionnelle.
Une formulation variationnelle du problème (3.28). En supposant lexistence dune solution u

dans H 4 (), cette solution verifie necessairement
Z Z Z
u v d = u,iijj v d = f v d v H 2 ().

Une première integration par parties, utilisant la formule de Green dans H 1 () (2.20), conduit
a
` Z Z Z
u,iij nj v d u,iij v,j d = f v d.

En integrant une deuxième fois par parties on obtient
Z Z Z Z
u,iij nj v d u,ij ni v,j d + u,ij v,ij d = f v d. (3.29)

v
En se restreignant à des fonctions v dans H02 (), cest à dire qui verifient v = = 0 sur ,
n
la première integrale de frontière de (3.29) est nulle. La deuxième integrale de frontière est aussi
nulle dans les cas N = 1 et N = 2. Le cas unidimensionnel est trivial et le cas bidimensionnel
decoule de la propriete suivante :

v=0 sur

2
R , = v,i = 0 (i = 1, 2) sur .

v = 0 sur
n
35
En effet, en notant s une abscisse curviligne sur , la condition v(s) = 0 sur implique que
v ~ = v ~t + v ~n, o`
(s) = 0 sur . Et comme, sur , v u ~t est le vecteur tangent à , il
s s n
sensuit que v~ = ~0 et v,i = 0 pour i = 1, 2.
Ainsi, en se restreignant aux cas N = 1, 2 la relation (3.29), ecrite avec des fonctions v dans
H02 (), conduit à la formulation variationnelle suivante du problème (3.28) :
R
Trouver u H02 () tel que a(u, v) = u,ij v,ij d
o`
u R (3.30)

a(u, v) = L(v) v H02 () L(v) = f v d.
Existence et unicite des solutions du problème (3.30). La continuite de a et L sur H02 () muni
de la norme k k2, est aisee à etablir. La coercivite de a decoule du fait que a(v, v) = |v|22,
et du fait que la semi-norme | |2, est une norme sur H02 () equivalente à la norme k k2, . Le
theorème de Lax-Milgram permet alors de conclure à lexistence et lunicite de la solution u du
problème (3.30).
Linterpretation de cette solution u en terme de solution du problème aux limites (3.28) est
aussi immediate.
3.4 Exercices
Exercice III-1 est un ouvert borne de Rn , f L2 () , g L2 (), et et sont deux
reels strictement positifs. Donner une formulation variationnelle dans H 1 () du problème aux
limites suivant :
u + u = f dans

u + u = 0 sur .
n
Montrer que ce problème variationnel admet une solution unique et interpreter cette solution en
terme de solution dun problème dequations aux derivees partielles.
Exercice III-2 est un ouvert borne de R2 , et f L2 (). Donner une formulation varia-
tionnelle dans H 1 () du problème aux limites suivant :

2u 2u 2u
2+ 2 = f dans
x xy y

u = 0 sur .
Montrer que ce problème variationnel admet une solution unique u et interpreter cette solution
en terme de solution dun problème dequations aux derivees partielles. Enfin, etablir que :
c > 0 / kuk1, c kf k0,
36

Exercice III-3 Enoncer un problème variationnel equivalent au problème de minimisation sui-
vant :

Trouver u H 1 (]0, 1[) tel que

J(u) = M in J(v)
1
v H0 (]0, 1[)
u f est dans L2 (]0, 1[) et
o`
Z 1 Z 1 Z 1
1 0 2 2
J(v) = (v ) dx + (v) dx f v dx + v(0)
2 0 0 0
Montrer que ce problème variationnel admet une solution unique et interpreter cette solution
en terme de solution dun problème dequations aux derivees partielles.
Exercice III-4 est un ouvert borne de R2 , f L2 () , g L2 () et on sinteresse au

problème variationnel suivant :

Trouver u H 1 ()/R tel que
(3.31)

a( v ) v H 1 ()/R
u, v) = L(
o`
u
R R u v u v

a( ~ ~
u, v) = u.v d + d
x y y x

R R

L(
v ) = f v d + gv d.
Montrer quune condition necessaire pour lexistence de solutions de (3.31) est que :
Z Z
f d + g d = 0.

Montrer que dans ce cas le problème variationnel (3.31) admet une solution unique et interpreter
cette solution en terme de solution dun problème dequations aux derivees partielles.
Exercice III-5 On etudie dans cet exercice une methode de penalisation pour la prise en compte
de la condition aux limites de Dirichlet non homogène lors de la resolution du problème suivant :

u = f dans
(3.32)

u = g sur .
u est un ouvert borne de RN , f est dans L2 () et g est dans L2 (). Cette methode de
o`
penalisation permet la resolution par elements finis du problème de Dirichlet non homogène sans
avoir à utiliser le prolongement à de la fonction g comme il est fait dans le problème (3.8) de
la section 3.2.1.
On suppose que le problème (3.32) admet une solution u dans H 2 () et quil existe h dans
u
H 1 () tel que sur on a : h = .
n
37

1. Ecrire une formulation variationnelle dans H01 () du problème aux limites suivant :

w + w = 0 dans
(3.33)

w = h sur .
et montrer que ce problème variationnel admet une solution unique.

2. Pour > 0, on introduit le problème variationnel suivant :

Trouver u H 1 () tel que
(3.34)

b (u , v) = L (v) v H 1 ()
o`
u Z
R 1

~ ~
b (u, v) = u.v d + uv d

Z

R 1
L (v) =
f v d + gv d.

Montrer que ce problème variationnel admet une solution unique et interpreter cette so-
lution en terme de solution dun problème dequations aux derivees partielles.
3. On pose v = u u + w o` u u est la solution de (3.33), u est celle de (3.32) et w est
celle de (3.34). R
~ w
Montrer que : b (v , v) = v. ~ d v H 1 ().
Montrer quil existe une constante K independante de telle que : kv k1, K, et
en deduire que u tend vers u dans H 1 () lorsque tend vers zero.
Exercice III-6 Reprendre le problème de lequilibre en elasticite tridimensionnelle de la section

3.2, en remplacant la condition aux limites homogène sur 0 par une condition de contact
elastique ; cest à dire que sur 0 le milieu est considere lie à un support rigide et fixe par
lintermediaire de ressorts elastiques repartis sur 0 . Sur 0 la condition aux limites est alors :
.~n = k ~u, o`
u la constante strictement positive k designe la raideur des ressorts.

Ecrire une formulation variationnelle de ce problème dequilibre et montrer que le problème
variationnel ainsi obtenu admet une solution unique.
38
Chapitre 4
Quelques
el
ements finis usuels
4.1 D
efinition dun
el
ement fini
efinition 4.1 Un element fini de Rn est un triplet (K, , P ) o`

D u:

1. K est element geometrique de Rn dinterieur non vide (K 6= ).
2. P est un espace de fonctions (souvent polyn omiales) definies sur K.
3. = {1 , 2 , ..., N } est un ensemble de formes lineaires, i , definies sur P . Ces formes
lineaires sont appelees les degres de liberte (d.d.l) de lelement fini.
4. est P -unisolvant ; cest ` a dire que pour tout (1 , 2 , ..., N ) RN il existe un unique
p P tel que (1 (p), 2 (p), .., N (p)) = (1 , 2 , .., N ).
En dimension 1 (n = 1), les elements geometriques usuels sont les segments. Dans le plan
(n = 2), les triangles et les quadrangles sont couramment utilises. Pour n = 3, les elements
geometriques usuels sont les tetraèdres, les cubes et les prismes.
La propriete dunisolvance revient à dire que lapplication :
P RN
p (1 (p), .., N (p))
est bijective ; ce qui necessite que N (= card ) = dim P . Cette propriete signifie donc quune
fonction p de lespace P est complètement determinee par ses N d.d.l. Il est alors immediat
detablir les propositions suivantes :
N dim P et (pi )1iN P N / i (pj ) = ij est P -unisolvant. (4.1)
N dim P et p P (i (p) = 0 i = 1..N p 0) est P -unisolvant. (4.2)
Ces propositions sont bien utiles pour prouver lunisolvance des elements finis. Il est à noter
que dans ces propositions, la P unisolvance implique aussi que N = dim P . Dans (4.1),
les fonctions pi i = 1, ..N sont appelees les fonctions de base de lelement fini. Linteret de ces
fonctions de base apparat dans la propriete suivante :
N
X
p P p= i (p)pi
i=1
qui illustre bien le fait quun element de P est complètement determine par ses d.d.l.
39
4.2 Quelques
el
ements finis de Lagrange
Un element fini de Lagrange est un element (K, , P ) dont la definition des d.d.l ne fait
intervenir que des valeurs prises par les fonctions de P en des points de K. Pour de tels elements,
la verification de la propriete dunisolvance est generalement immediate car il y est facile dexhi-
ber les fonctions de base (pi ) definies dans (4.1). Pour des elements finis tels que P est lespace
des fonctions polynomiales de degre inferieur à k sur Rn , P = Pk [Rn ], ces fonctions de base
sexpriment aisement à partir des fonctions coordonnees barycentriques.
4.2.1 Rappels sur les coordonn

ees barycentriques
Definition 4.2 Une famille de n + 1 points, (Ai )1in+1 , est une base barycentrique de Rn

affine si et seulement si les n vecteurs (A1 Ai )2in+1 sont lineairement independants.
Ainsi, pour n = 1 deux points non confondus forment une base barycentrique de la droite des
reels. Dans le plan affine, n = 2, trois points non alignes forment une base barycentrique. Dans
lespace affine tridimensionnel, une base barycentrique est constituee de 4 points non coplanaires.
D a une base barycentrique (Ai )1in+1 de Rn affine, les coordonnees

efinition 4.3 Par rapport `
barycentriques dun point M sont les n+1 scalaires (i (M ))1in+1 solution du système lineaire
suivant : n+1

X i

i (M ) OA = OM

i=1
(4.3)

n+1

X

i (M ) = 1

i=1
u O est un point quelconque de Rn affine.

o`
Remarques
Dans la definition 4.2 les points Ai , i = 1..n + 1 ont le meme role. En effet, en remplacant
dans lenonce de cette definition A1 par tout autre point de Ai , on obtiendrait un enonce
equivalent au precedent.
La definition 4.3 est independante du choix du point O. En effet, en remplacant dans le
système lineaire 4.3 le point O par tout autre point de Rn affine, on obtient un système
lineaire equivalent au precedent.
Les coordonnees barycentriques, (i )1in+1 , sont bien definies par le système lineaire
(4.3). En effet, ce système lineaire est un système de Cramer puisque son determinant

nest autre que le determinant des vecteurs (A1 Ai )2in+1 . Ce dernier determinant est
par hypothèse non nul puisque (Ai )1in+1 est une base barycentrique.
Proposition 4.1 Par rapport ` a une base barycentrique (Ai )1in+1 de Rn affine, les fonctions
coordonnees barycentriques, i : M i (M ), i = 1..n + 1, verifient les proprietes suivantes :
i (Aj ) = ij , i, j = 1...n + 1 (4.4)
i P1 [Rn ], i = 1...n + 1. (4.5)
40
Preuve. Le resultat (4.4) est immediat à partir du système lineaire (4.3). Le fait que i (M ) est
affine en fonction de M est aussi immediat à partir de (4.3).
Une formule utile : Dans le plan, et pour un triangle K non degenere, les fonctions coordonnees
barycentriques verifient la formule suivante :
Z
2 k! l! m!
k1 l2 m
3 dS = aire(K) k, l et m entiers > 0 (4.6)
K (k + l + m + 2)!
4.2.2 Exemples d
el
ements finis unidimensionnels
Dans ces exemples lelement geometrique est un segment K = [A1 , A2 ] et A1 6= A2 .

1. P = P1 [R], = p(A1 ), p(A2 ) 1
Les fonctions de base de cet element sont :
x A2 x A1
p1 (x) = 1 (x) = 2 , p 2 (x) = 2 (x) = .
A A1 A2 A1
Cet element est schematise par : , et est denomme le segment P1 ou le segment de
Lagrange à 2 d.d.l.

1 2 A1 + A2
2. P = P2 [R], = p(A ), p(A ), p( )
2
(x A2 ) A1 + A2
p1 (x) = 1 (x)(21 (x) 1) = 2 2 (x )
(A A1 )2 2
(x A1 ) A1 + A2
p2 (x) = 2 (x)(22 (x) 1) = 2 (x )
(A2 A1 )2 2
(x A1 )(x A2 )
p12 (x) = 41 (x)2 (x) = 4 .
(A2 A1 )2
Cet element est schematise par : , et est denomme le segment P2 ou le segment
de Lagrange à 3 d.d.l.

2A1 + A2 A1 + 2A2
3. P = P3 [R], = p(A1 ), p(A2 ), p( ), p( )
3 3
1
p1 (x) = 1 (x)(31 (x) 1)(31 (x) 2)
2
1
p2 (x) = 2 (x)(32 (x) 1)(32 (x) 2)
2
9
p13 (x) = 1 (x)2 (x)(31 (x) 2)
2
9
p23 (x) = 1 (x)2 (x)(31 (x) 1).
2
1
La notation condensee = {p(A1 ), p(A2 )} signifie que lelement fini comporte 2 d.d.l definis par : i : p
i
p(A ) i = 1, 2.
41
Cet element est schematise par : , et est denomme le segment P3 ou le segment
de Lagrange à 4 d.d.l.
4.2.3 Exemples d
el
ements finis plans
ements triangulaires
El
Dans ces exemples, lelement geometrique, K, est un triangle non degenere de sommets :
A1 , A2 et A3 . Ces trois points etant non alignes, ils forment une base barycentrique du plan
affine.

1. P = P1 [R2 ], = p(Ai ), i = 1, 2, 3 .
pi (M ) = i (M ), i = 1, 2, 3.
Cet element est denomme le triangle P1 ou le triangle de Lagrange à 3 d.d.l.
Ak + Al
2. P = P2 [R2 ], = p(Ai ), i = 1, 2, 3; p(Akl ), 1 k < l 3 , Akl = .
2
pi (M ) = i (M )(2i (M ) 1), i = 1, 2, 3
pij (M ) = 4i (M )j (M ), 1 i < j 3.

3. P = P3 [R2 ], = p(Ai ), i = 1, 2, 3, 4; p(Akl ), k, l = 1, 2, 3, k 6= l ,
2Ak + Al A1 + A2 + A3
Akl = , A4 = .
3 3
1
pi (M ) = i (M )(3i (M ) 1)(3i (M ) 2), i = 1, 2, 3
2
p4 (M ) = 271 (M )2 (M )3 (M )
9
pij (M ) = i (M )j (M )(3i (M ) 1), i, j = 1, 2, 3, i 6= j.
2

Etant donne que : dim Pk [R2 ] = (k + 1)(k + 2)/2, la construction delements finis du type
triangle Pk conduira à des triangles de Lagrange à (k + 1)(k + 2)/2 d.d.l. Les premiers elements
de ce type sont schematises dans la figure 4.1.
ements quadrangulaires
El
Pour simplifier lecriture des fonctions de base, nous nous limiterons dans les exemples ci-
dessous au cas où K est un carre de cote 1 : K = [0, 1] [0, 1]. Les sommets A1 , A2 , A3 , A4 de
ce carre ont pour coordonnees respectives (0, 0), (1, 0), (1, 1) et (0, 1).
42

A A A A
A A A A
A A A A
A A A A
A A A
A
A A A A
P1 P2 P3 P4
Figure 4.1 Schematisation delements finis du type triangle Pk .
Dans ces elements, les espaces P sont des espaces du type Qk [R2 ]. Qk [R2 ] est lespace des
fonctions polynomiales de degres inferieur ou egal à k par rapport à chacune des variables. Ainsi,
Q1 [R2 ] = V ect{1, x, y, xy}
et
Q2 [R2 ] = V ect{1, x, y, xy, x2 , y 2 , xy 2 , x2 y, x2 y 2 }.
Et il est aise de voir que
dim Qk [Rn ] = (k + 1)n .

1. P = Q1 [R2 ], = p(Ai ), i = 1, 2, 3, 4 .
p1 (x, y) = (1 x) (1 y), p2 (x, y) = x (1 y)
p3 (x, y) = x y, p4 (x, y) = y (1 x)
Cet element est denomme le quadrangle Q1 ou le quadrangle de Lagrange à 4 d.d.l.

2. P = Q2 [R2 ], = p(Ai ), i = 1...9 . Les points (Ai )i=5..8 sont les milieux des aretes du
quadrangle et le point A9 est son centre.
p1 (x, y) = (1 x) (1 y) (1 2x) (1 2y), p2 (x, y) = x (1 y) (1 2x) (1 2y)
p3 (x, y) = x y (1 2x) (1 2y), p4 (x, y) = y (1 x) (1 2x) (1 2y)
p5 (x, y) = 4 x (1 x) (1 y) (1 2y), p6 (x, y) = 4 x y (1 y) (1 2x)
p7 (x, y) = 4 x y (1 x) (1 2y), p8 (x, y) = 4 y (1 y) (1 x) (1 2x)
p9 (x, y) = 16 x y (1 x) (1 y).
Cet element est denomme le quadrangle Q2 ou le quadrangle de Lagrange à 9 d.d.l.
43
( 4 8
)
X X
i i
3. P = Q02 [R2 ] = p Q2 [R2 ] / 4p(A9 ) + p(A ) 2 p(A ) = 0
i=1 i=5
= p(Ai ), i = 1...8 .
Cet element est construit en eliminant le nud central (A9 ) du quadrangle Q2 . Les fonc-
tions de base de cet element fini sont notees p0i , i = 1..8 et elles se deduisent aisement des
fonctions de base, pi , i = 1..9 du quadrangle Q2 . Ces fonctions sont :
p0i (x, y) = pi (x, y) 41 p9 (x, y) i = 1..4
p0j (x, y) = pj (x, y) + 21 p9 (x, y) j = 5..8.

La construction de ces fonctions de base prouve bien lunisolvance de cet element fini et
elle confirme aussi que la dimension de lespace Q02 , qui est un sous-espace stricte de Q2
et donc dim Q02 8, est exactement 8. Cet element est denomme le quadrangle Q02 ou le
quadrangle de Lagrange à 8 d.d.l.
Remarque
Le choix des coefficients 4,1 et (-2), qui apparaissent dans la relation lineaire verifiee par
les elements de Q02 [R2 ], fait que :
P2 [R2 ] Q02 [R2 ].

Q1 Q2 Q02
Figure 4.2 Schematisation delements finis du type quadrangle Qk .
4.2.4 Exemples d
el
ements finis tridimensionnels
ements tetraèdriques
El
Lelement geometrique, K, est ici un tetraèdre non degenere de sommets A1 , A2 , A3 et A4 .
Ces points etant non coplanaires, ils definissent une base barycentrique de R3 affine.

1. P = P1 [R3 ], = p(Ai ), i = 1, 2, 3, 4 .
pi (M ) = i (M ), i = 1, 2, 3, 4.
Cet element est denomme le tetraèdre P1 ou le tetraèdre de Lagrange à 4 d.d.l.
44
Ak + Al
2. P = P2 [R3 ], = p(Ai ), i = 1, 2, 3, 4; p(Akl ), 1 k < l 4 , Akl = .
2
pi (M ) = i (M )(2i (M ) 1), i = 1, 2, 3, 4
pij (M ) = 4i (M )j (M ), 1 i < j 4.

3. P = P3 [R3 ], = p(Ai ), i = 1, 2, 3, 4; p(Akl ), k, l = 1, 2, 3, k 6= l ,
2Ak + Al A1 + A2 + A3
Akl = , A4 = .
3 3
1
pi (M ) = i (M )(3i (M ) 1)(3i (M ) 2), i = 1, 2, 3
2
p4 (M ) = 271 (M )2 (M )3 (M )
9
pij (M ) = i (M )j (M )(3i (M ) 1), i, j = 1, 2, 3, i 6= j.
2
Elements prismatiques ` a base rectangulaire

Lelement geometrique est ici un prisme droit à base rectangulaire et les espaces P sont des
espaces du type Qk [R3 ]. Le premier element est le prisme Q1 ` a 8 d.d.l (appele cube 8) dans
lequel les nuds sont les sommets du prisme. Le deuxième element est le prisme Q2 ` a 27 d.d.l
(appele cube 27) dans lequel les nuds sont les 8 sommets du cube, les milieux de ses 12 aretes,
les centres de ses 6 faces et son centre. En eliminant le centre du prisme et les centres de ses 6
faces on obtient un element fini prismatique à 20 d.d.l (appele cube 20).
ements prismatiques `
El a base triangulaire
Lelement geometrique est ici un prisme droit à base triangulaire
45
4.3 Quelques
el
ements finis de Hermite
Un element fini de Hermite est un element (K, , P ) dont la definition des d.d.l fait intervenir
des valeurs prises par les derivees de fonctions de P en des points de K. Pour de tels elements, la
verification de la propriete dunisolvance est generalement menee en utilisant la proposition (4.2)
ce qui revient à montrer quune fonction de P dont tous les d.d.l sont nuls est necessairement
nulle.
4.3.1 Un exemple unidimensionnel

Dans cet exemple lelement geometrique est un segment non degenere, K = [A1 , A2 ]. Len-
semble des d.d.l est

= p(A1 ), p(A2 ), p0 (A1 ), p0 (A2 ) (p0 est la derivee de p)
et lespace des fonctions est P = P3 [R].
Lunisolvance de cet element fini est immediate. En effet, considerons un element p de P
dont les 4 d.d.l sont nuls. Ce polynome de 3e`me degres a alors 2 racines doubles (A1 et A2 ) et est
donc identiquement nul.
4.3.2 L
el
ement fini plan de Zienckiewich
Lelement geometrique est ici un triangle non degenere, K = [A1 , A2 , A3 ] et on notera A4
son isobarycentre.
Lensemble des d.d.l est

i p j p j
= p(A ), i = 1..4; (A ), (A ), j = 1..3
x1 x2
o`
u (x1 et x2 ) sont des coordonnees cartesiennes dans le plan.
Lespace des fonctions est
P = P3 [R2 ]
.
Preuve dunisolvance :
Considerons un polynome p de P dont tous les degres de liberte sont nuls et montrons que
ce polynome est necessairement nul.
Notons q la restriction de p à la droite [A1 , A2 ] et s une abscisse curviligne definie sur cette
droite. q est alors un polynome de degres inferieur ou egal à 3 en s nul en A1 et A2 et on a :
dq p dx1 p dx2
= + .
ds x1 ds x ds
dq
Ainsi, est aussi nul en A1 et A2 et ces points sont donc 2 racines double du polynome q. Ce
ds
dernier etant de degres inferieur ou egal à 3, il ne peut quetre nul. Il en decoule que le polynome
p est nul sur la droite [A1 , A2 ] et donc la fonction barycentrique 3 divise p. En raisonnant de
la meme facon sur les droites [A1 , A3 ] et [A2 , A3 ] on obtient :
R / p(x1 , x2 ) = 1 (x1 , x2 ) 2 (x1 , x2 ) 3 (x1 , x2 )
et comme p(A4 ) = 0 et i (A4 ) = 1/3, i = 1, 2, 3 il vient que = 0 et p = 0.
46
4.3.3 L
el
ement fini plan dArgyris
Lelement geometrique est ici un triangle non degenere, K = [A1 , A2 , A3 ]. Pour 1 i < j 3
on note Aij le milieu du segment [Ai , Aj ].
Lensemble des d.d.l est

j p j p j 2 p j 2 p j 2p j p ij
= p(A ), (A ), (A ), (A ), (A ), (A ), j = 1..3, (A ), 1 i < j 3
x1 x2 x21 x22 x1 x2 n
o`
u (x1 et x2 ) sont des coordonnees cartesiennes dans le plan.
Lespace des fonctions est
P = P5 [R2 ] (dimP = 21)
.
Preuve dunisolvance :
Considerons un polynome p de P dont tous les degres de liberte sont nuls et montrons que
ce polynome est necessairement nul.
Notons q la restriction de p à la droite [A1 , A2 ] et s une abscisse curviligne definie sur cette
droite. q est alors un polynome de degres inferieur ou egal à 5 en s nul en A1 et A2 et on a :
dq p dx1 p dx2
= + ,
ds x1 ds x2 ds
et, etant donne que x1 et x2 sont affines en s et donc d2 xi /ds2 = 0,

2 2
d2 q 2p dx1 2 p dx2 dx1 2p dx2
= +2 + 2 .
ds2 x21 ds x1 x2 ds ds x2 ds
dq d2 q
Ainsi, q, et 2 sont nulles en A1 et A2 et ces points sont donc 2 racines triple du polynome q.
ds ds
Ce polynome de degres 5 est par consequent nul. Par ailleurs, sur la droite [A1 , A2 ] le polynome
p
est un polynome de degres inferieur ou egal à 4 en s puisque :
n
p p dx2 p dx1
= + ,
n x1 ds x2 ds
et on en deduit aussi que :
2
d p p 2 p dx1 dx2 2p dx2 2 dx1 2
( )= 2 ( ) ( ) .
ds n x22 x1 ds ds x1 x2 ds ds
p
Ainsi, le polynome , de degre inferieur ou egal à 4 et nul en A12 , sannule aussi doublement
n
en A1 et A2 ; il est donc identiquement nul sur la droite [A1 , A2 ].

Finalement, en notant t le vecteur unitaire tangent à la droite [A1 , A2 ] et
n sa normale,
dp p
le polynome p et ses derivees = p. t = p. n sont nulles sur la droite [A1 , A2 ]. Il
ds n
sensuit que p et p sont nuls sur [A1 , A2 ]. La fonction coordonnee barycentrique 3 divise alors
le polynome p et divise son gradient. Ainsi, la fonction 23 divise p et il en est de meme des
fonctions 21 et 22 . Or, p est degres inferieur ou egal à 5, donc p est nul.
47
Bibliographie
[1] J. H. Argyris, Energy theorems and structural analysis, part I : General theory. Aircraft
enginneering. 26, pp 347-356, 383-387, 394 ; 27, pp 42-58, 80-94, 125-134, 1954-1955.
[2] R. Courant, Variational methods for the solution of problems of equilibrium and vibrations.
Bull. Amer. Math. Soc. 49, pp 1-23, 1943.
[3] P.G. Ciarlet, The finite element method for elliptical problems. Studies in mathemathics
and its applications. Volume 4. Editors : J. L. Lions, G. Papanicolaou, R. T. Rockafellar.
North-Holland Publishing Company, 1978.
[4] R. Dautray et J.L. Lions, Analyse mathematique et calcul numerique pour les sciences et
techniques. Volumes 1-9. Masson, 1987.
[5] C. Lanczos, The variational principles of mechanics. Forth edition. Dover publications,New
York,1986.
[6] J. Salencon, Mecanique des milieux continus. Tomes 1 et 2. Ellipses, 1988.
[7] S. Timoshenko et S. Woinowsky-Kreiger, Theorie des plaques et des coques. Dunod, 1961.
48

La Méthode Élément Finis

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

La Méthode Élément Finis

Загружено:

Авторское право:

Доступные форматы

ements Finis Appliquee aux Probl`emes

(Version incompl`ete) 23 mars 2005

1 Introduction ` a la m ethode des el

3 Etude de quelques probl` emes aux limites elliptiques 27

appele probl`eme de lequation de la chaleur (en regime stationnaire).

1.2 Formulation variationnelle du probl`

et comme T = T,ii 2 , lapplication de la formule de Green et la restriction de (1.7) aux champs

Fik = L(i ) i {1, 2, ..., k}. (1.11)

L et a etant des formes respectivement lineaire et bilineaire sur V , on obtient :

La determination de lapproximation T k de T revient `a calculer les scalaires Tik (i = 1, ..., k)

1.4 Illustration de lapproximation

Illustration pour un domaine unidimensionnel = ] 0, L [

Figure 1.1 Maillage et fonctions de base

et en prenant `a titre dexemple :

Illustration pour un domaine bidimensionnel = ] 0, L [] 0, L [

Figure 1.3 Maillage de par des elements triangulaires

nud S1 a pour expression :

En prenant, `a titre dexemple,

M >0 / v V | L(v) | M kvkV , (2.2)

la forme bilineaire a est continue sur V , cest-`

> 0 / u, v V | a(u, v) | kukV kvkV , (2.3)

Preuve. Conferer le premier chapitre de ([3]).

Preuve. En vertu de la linearite de L, de la bilinearite de a et de sa symetrie, on a

Preuve. Conferer le premier chapitre de ([3]).

2.3 Les espaces de Sobolev

et verifie linegalite de Cauchy-Schwarz

u L2 () (un ) une suite dans D() / ku un k0, 0

2.3.2 Rappels sur les distributions

n dans D() = < T, n >< T, > dans R.

< a , >= (a). (2.10)

Exemple 2. Pour une fonction u L2 (), on definit la distribution Tu par :

Lexemple 2 permet didentifier lespace L2 () `a un sous-espace de D0 (). En effet, lapplication

H est bien dans L2 () et on a

= (0) =< 0 , > .

Cet espace est muni du produit scalaire suivant :

La norme associee `a ce produit scalaire est notee

u | |1, est la semi-norme de H 1 () definie par :

cT > 0 / v H 1 () kvk0, cT kvk1, . (2.17)

Ainsi, pour u = v dans H 1 () on a necessairement u| = v| dans L2 (). Ceci donne un sens

la continuite de loperateur entrane que V est un sous-espace ferme de H 1 () et est par

o` a une base orthonormee (e~1 , e~2 , ..., e~N ) de RN

Preuve. Conferer le chapitre 4 (volume 3) de ([4]).

Preuve. Nous adoptons un raisonnement par labsurde et nous supposons que

En vertu du theor`eme de compacite de linjection canonique de H 1 () dans L2 (), et etant

mes()2 kwn0 wk0, kwn0 + wk0,

c2T mes()2 kwn0 wk1, kwn0 + wk1, ,

Et comme (2.22) implique que

est une norme sur H 1 () equivalente `a la norme k k1, .

2.3.4 Lespace de Sobolev H 2 ()

La norme associee `a ce produit scalaire est notee

u | |2, est la semi-norme de H 2 () definie par

Preuve . Conferer le chapitre 4 (volume 3) de ([4]).

la continuite de loperateur ~ entrane que W est un sous-espace ferme de H 2 () et est par

Preuve. Cette equivalence se demontre aisement en utilisant le theor`eme de compacite dans

2.3.5 Lespace (H 1 ())N

Preuve. Conferer le chapitre 7 (volume 4) de ([4]).

A partir du theor`eme de Korn il est immediat detablir que lapplication

definit une norme sur (H 1 ())N equivalente `a la norme k k(H 1 ())N .

a la norme k k(H 1 ())N .

En vertu du theor`eme de compacite de linjection canonique de H 1 () dans L2 () (theor`eme

2. Pour f L2 (] 1, 1[), montrer que la solution, u, du probl`eme

est telle que : Z 1

Exercice II-4 Pour > 0, on consid`ere le probl`eme aux limites

c > 0 v H01 () |v|1, c kvk1, .