C

H
U
P
I
N
M
a
x
i
m
e

1
1
n
o
v
e
m
b
r
e
2
0
0
9
1 QUATIONS ELLIPTIQUES
La mthodes des lments nis
Cours MA 201 ENSTA ParisTech
FichesRsum
1 quations elliptiques
1.1 Le problme
Soit un ouvert born de
n
de frontire note quon suppose sufsamment rgulire. Soit f
une fonction donne sur .
On considre lquation de LAPLACE-POISSON :
u = f dans .
Classiquement, on considre trois types de conditions aux limites :
u = g sur , cest la condition de DIRICHLET ;

u
n
= g sur sur , cest la condition de NEUMANN ;

u
n
+u = g sur sur , cest la condition de FOURIER ;
o n dsigne le vecteur normal unitaire sortant ,
u
n
= u n, et g est une fonction
donne sur . On note respectivement ces trois problme (P
D
), (P
N
) et (P
F
).
1.2 Solutions classiques au problme de LAPLACE
Dnition : Solution classique
_
_
_
_
_
_
_
_
On appelle solution classique du problme de DIRICHLET (P
D
) toute fonction u (
2
()
(
0
() qui vrie (P
D
).
On appelle solution classique du problme de NEUMANN [resp. FOURIER] toute fonction
u (
2
() (
1
() qui vrie (P
N
) [resp. (P
F
)].
1.2.1 Formules de GREEN dans le cas classique
Proprit : Formules de Green
Soient u (
2
() (
1
() et v (
1
() (
0
(), on a :
_

u v d =
_

u v d+
_

u
n
v d (1)
Soient u, v (
2
() (
1
(), on a :
_

u v d =
_

uv d+
_

_
u
n
v
v
n
u
_
d (2)
1.2.2 Principe de maximum
Proprit : Principe de maximum
Soit u (
2
() (
0
() une fonction harmonique dans un ouvert born connexe (i.e. vri-
ant u = 0 dans ). Si la fonction u nest pas constante dans alors on a :
x , inf

u < u(x) < sup

u

1
C
H
U
P
I
N
M
a
x
i
m
e

1
1
n
o
v
e
m
b
r
e
2
0
0
9
1.3 Formulation variationnelle 1 QUATIONS ELLIPTIQUES
Thorme : Unicit de la solution classique
Le problme de DIRICHLET admet au plus une solution classique dans (
2
() (
0
().
1.3 Formulation variationnelle
claircissons la notion de frontire sufssament rgulire.
Dnition : Frontire lipschitzienne
_
_
_
_
_
_
_
_
_
_
Soit un ouvert born de
n
. Sa frontire est lipschitzienne si
en tout point x de , il existe une application lipschitzienne (dnie sur un hypercube
de
n1
valeur dans ), dont le graphe reprsente localement dans un voisinage
de x ;
en tout point x de , est localement dun seul cot de .
On se place souvent dans
n
, ceci nous permet dtablir des rsultats de densit trs utiles.
Dnition :
_
_
_
On appelle (

() lespace compos des restrictions des fonctions de (

(
n
) support
compact dans
n
.
Proprit :
Soit m . Dans tout ouvert born frontire lipschitzienne, (

() est dense dans H

m
().
1.3.1 Existence de trace
On considre lensemble L
2
( ) = |w mesurable sur /
_

w
2
d|. Cest un espace de HILBERT
muni du produit scalaire usuel.
Thorme : Existence de trace
Soit un ouvert born de
n
, frontire sufsamment rgulire . Alors lapplication trace

0
:
(

() L
2
()
x
0
x = x
[
se pronlonge par continuit en application linaire continue, note encore
0
, de H
1
() dans
L
2
( ) et il existe une constante C indpendante de x telle que
_
_

0
x
_
_
L
2

C |x|
H
1
()
.
Attention : lapplication trace
0
nest pas surjective de H
1
() dans L
2
( ). Par contre, elle est
surjective sur H
1/2
( ).

2
C
H
U
P
I
N
M
a
x
i
m
e

1
1
n
o
v
e
m
b
r
e
2
0
0
9
1.3 Formulation variationnelle 1 QUATIONS ELLIPTIQUES
Proprit :
H
1/2
( ) est lespace de SOBOLEV dindice fractionnaire 1/2. On a :
H
1
( ) H
1/2
( ) L
2
( )

H
1/2
( ) =
_
w L
2
( )
_
v H
1
(), w =
0
v
_
Lespace des traces est un espace de BANACH. Qui plus est, on peut munir H
1/2
( ) de la
norme :
|w|
H
1/2
( )
= inf
vH
1
(),
0
v=w
|v|
H
1
()
H
1/2
( ) est dense dans L
2
( )
Dnition : H
1
0
()
_
_
_
_
_
_
_
_
_
:() est dense dans L
2
() mais pas dans H
1
(). On introduit alors :
H
1
0
() = :()
H
1
()
Cest un espace de HILBERT comme sous-espace ferm dun espace de HILBERT.
Thorme : Caractrisation de H
1
0
()
Si est un ouvert born de
n
frontire sufsamment , alors :
H
1
0
() =
_
v H
1
()
_

0
v = 0
_
On peut alors gnraliser la formule de GREEN.
Proprit : Formule de Green
Soient u et v de H
1
(), on a :
_

u
x
i
v d =
_

u
v
x
i
d+
_

uvn
i
d

3
C
H
U
P
I
N
M
a
x
i
m
e

1
1
n
o
v
e
m
b
r
e
2
0
0
9
1.3 Formulation variationnelle 1 QUATIONS ELLIPTIQUES
Thorme : Trace de la drive
Lapplication trace de la drive normale :

1
:
(

() L
2
( )
x
1
x =
_
x
n
_
[
se prolonge par continuit en une application linaire continue, note encore
1
, de H
2
()
dans L
2
( ) et on a lingalit :
_
_

1
v
_
_
L
2
( )
C |v|
H
2
()
Proprit : Formule de Green
Soient u H
2
() et v H
1
[), on a :
_

u v d =
_

u v d+
_

u
n
v d
Dnition :
_
_
_
_
_
_
_
_
On dnit lensemble :
=
_
v H
1
()
_
v L
2
()
_
muni du produit scalaire :
vw

= vw
H1()
+vw

2
()
Proprit : Formule de Green
On peut gnraliser la formule de GREEN :
w , v H
1
()
_

w v d+
_

w v d =
_
w
n
_
_
_
_

,
0
v
_
H
1/2
( )
Rappel : Une forme linaire est continue si
C

> 0, v H, [(v)[ C

|v|
H
,
une forme a biliniare est continue si
C
a
> 0, v, u H, [a(u, v)[ C
a
|v|
H
|u|
H
,
elle est coersive si
> 0, v H, a(v, v) |v|
H

4
C
H
U
P
I
N
M
a
x
i
m
e

1
1
n
o
v
e
m
b
r
e
2
0
0
9
2 INTRODUCTION LA MTHODE DES LMENTS FINIS
Thorme : Lax-Milgram
Soit H un espace de ilbert, a(, ) une forme bilinaire continue et coersive sur H, () une
forme linaire continue sur H. ALors il existe une unique solution u H au problme
v H, a(u, v) = (v).
En outre la solution dpend continment de la forme linaire :
|u|
H
C ||
H
/ .
Proprit : Ingalit de Poincar
Soit un ouvert born de
n
, il existe une constante C
p
, dpendante seulement de telle
que :
v H
1
0
(),
_

v
2
d C
p
_

[v[
2
d
2 Introduction la mthode des lments nis
2.1 Formulation
Les problme elliptiques sont tous de la forme :
Trouver u V tel que
v V, a(u, v) = (v)
(3)
avec V un Hilbert, a est une forme bilinaire continue et coersive et une forme linaire continue.
2.2 Approximationde GALERKIN
Considrons V
h
un sous-espace de V de dimension nie n = n(h) o h est un paramtre positif
destin tendre vers 0, avec lim
h0
n(h) = .
On introduit le problme variationnel approch suivant :
Trouver u
h
V
h
tel que
v
h
V
h
, a(u
h
, v
h
) = (v
h
)
(4)
On remarque quon peut toujours appliquer le thorme de LAX-MILGRAM car V
h
est encore un HIL-
BERT comme sous-espace ferm dun HILBERT.
Proprit : xistence et unicit
Ce ce qui prcde, on en dduit que le problme variationnel approch admet une unique
solution.

5
C
H
U
P
I
N
M
a
x
i
m
e

1
1
n
o
v
e
m
b
r
e
2
0
0
9
2.3 Convergence 2 INTRODUCTION LA MTHODE DES LMENTS FINIS
Proprit : Systme linaire
Soit (
1
, . . . ,
n
) une base de lespace vectoriel V
h
. Alors le problme approch (4) est qui-
valent au systme linaire pos dans
n
:
A = L
o, (i, j) 1, n
2
, A
i j
= a(
i
,
j
) et L
i
= l(
i
). Et on a :
u
h
=
n

j=1

j
.
Attention : Il est important de remarquer que :
a coersive A dnie-positive
2.3 Convergence
Lemme : de Cea
Il existe une constante C >, indpendante de V
h
telle que :
_
_
u u
h
_
_
V
C inf
v
h
V
h
_
_
u v
h
_
_
V
Thorme : Convergence de lapproximation
On suppose quil existe un sous-espace W dense dans V et, pour chaque h, une application
r
h
de W dans V
h
tels que :
v W lim
h0
_
_
v r
h
v
_
_
V
= 0.
Alors, on a :
lim
h0
_
_
u u
h
_
_
V
= 0
2.4 La mthode des lments nis
Dnition : lments nis de Lagrange P
1
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
On considre un maillage de louvert , par exemple une partition de L triangles (en dimension
2).
Nous supposons que cette partition vrie les proprits suivantes :
Tout triangle T

est dintrieur non vide ;

/ = si ,=
/
;

= ;
toute arte dun triangle est soit une arte dun autre triangle, soit une arte porte par
la frontire .
On peut construire ainsi V
h
:
V
h
=
_
v
h
(
0
()
_
1, L, v
h
_
_
T

est afne
_

6
C
H
U
P
I
N
M
a
x
i
m
e

1
1
n
o
v
e
m
b
r
e
2
0
0
9
2.4 La mthode des lments nis 2 INTRODUCTION LA MTHODE DES LMENTS FINIS
Proprit :
Lespace V
h
est un espace vectoriel de dimension N dont une base est donne par les fonctions
continues et afnes par morceaux (w
j
)
j
qui satisfont aux relations :
(i, j) 1, N
2
, w
j
(M
i
) =
i j
Dnition : lments nis de Lagrange dordre k
_
_
_
_
_
_
_
_
_
On appelle lment ni de LAGRANGE dordre k un triplet (K, , P) o K est un ferm born non
vide de
n
, un ensembme de n
K
point (M
K
i
)
i
appartenant K et P un espace vectoriel de
polynmes contenant P
k
(K) (espace de polynme de degr au plus k sur K) tels que :
(
1
, . . . ,
n
K
)
n
K
, !p P tel que i 1, n
K
, p(M
K
i
) =
i

7