MA201.

Mthode des lments finis (2014-2015)

Sance 1 : Outils et manipulations lmentaires

Exercice 1 Formules dintgration par parties

Soit un ouvert born de R3 , dont la frontire est rgulire. On note n la
normale unitaire extrieure la frontire. On dmontre ci-dessous des formules dintgration par parties pour des fonctions rgulires. Lintrt est le suivant : si on doit
ensuite manipuler des lments despaces de Sobolev, on utilisera les mmes formules
sous rserve de pouvoir approcher tout lment de ces espaces par des fonctions
rgulires ; en dautres termes, sous rserve de disposer de rsultats de densit des
espaces de fonctions rgulires dans les espaces de Sobolev.
Q1. Equivalence entre les relations (1) et (2)
Z
Z
u
v
;
+
v) d =
uvni d (1 i 3), u, v C ()
(u
xi xi

Z
Z
v C ()
3.
u(v n) d, u C (),
(u div v + u v) d =

(1)
(2)

Rappels :

3
3
v1
X
X
vi
3

v = v2 C () , div v =
, vn =
vi ni ;
x
i
i=1
i=1
v3

u =
u C (),

u
x1
u
x2
u
x3

Supposons la relation (1) vrifie alors en particulier pour les composantes vi de v, elle
donne
Z
Z
vi
u
1 i 3,
(u
+
vi ) d =
uvi ni d (1 i 3), u, vi C ()
x
x
i
i

soit en sommant sur i

3 Z
3 Z
X
X
vi
u
(u
+
vi ) d =
uvi ni d,
xi xi
i=1
i=1

u, v1 , v2 , v3 C ()

do
Z
3
3
3
X
X
vi X u
(u
+
vi ) d =
u
vi ni d,
xi i=1 xi

i=1
i=1

On en dduit par dfinition

Z
Z
(u div v + u v) d =

u(v n) d,

u, v1 , v2 , v3 C ().

v C ()
3.
u C (),

MA201. Mthode des lments finis (2014-2015)

Rciproquement si on suppose la relation (2) vrifie alors par dfinition

Z
Z
3
3
3
v1
X
X
X
vi
u
v = v2 C ()
3.
(u
+
vi ) d =
u
vi ni d, u C (),
x
x
i
i

i=1
i=1
i=1
v3

v

En particulier pour v = 0 on trouve

0
Z
Z
u
v
uvn1 d ,
+
v) d =
(u
x1 x1

0
soit (1) pour i = 1. De la mme faon, avec v = v on obtient (1) pour i = 2 et avec
0

0
v = 0 on obtient (1) pour i = 3.
v
3 . montrons que
Q2. Soient u, v C ()
Z
Z
(u rot v rot u v) d =
(u n) v d.

Rappels :

v3
v2

x2 x3
u
v

u
v
2
3
3
2
v1
v
v3

1
3 , rot v =
v = v2 C ()

, u v = u3 v1 v3 u1
x3 x1
v3
v2
u1 v2 v1 u2
v1

x1 x2
Z
Z X
3

u rot v d
=
ui (rot v)i d

Z i=1
 v
 v
 v
v2 
v3 
v1 
1
2
3

+ u2

+ u3

.
=
u1
x2 x3
x3 x1
x1 x2
Z 
u1
u1   u2
u2   u3
u3 
=

v3 +
v2 +
v1 +
v3 +
v2 +
v1 .
(I.P.P.)
x2
x3
x3
x1
x1
x2
Z


+
u1 (v3 n2 v2 n3 ) + u2 (v1 n3 v3 n1 ) + u3 (v2 n1 v1 n2 ) d
Z 
 u
 u
u3 
u1 
u3 u2 
1
2
=
v1

+ v2

+ v3

.
x2 x3
x3 x1
x1 x2
Z


+
v1 (u2 n3 u3 n2 ) + v2 (u3 n1 u1 n3 ) + v3 (u1 n2 u2 n1 ) d
Z
Z
=
(rot u v) d +
(u n) v d

MA201. Mthode des lments finis (2014-2015)

Exercice 2 Exemples dlments de H 1

Q1. Ici on doit driver au sens des distributions, et vrifier que le rsultat appartient
L2 (]0, 2[).
Pour la fonction v, pour toute fonction D(]0, 2[) :
D v
x

E
,

D0 (]0,2[),D(]0,2[)

D E
= v,
Z x D0 (]0,2[),D(]0,2[)
Z
Z

v
=
dx =
v
dx
v
dx
]0,1[ x
]1,2[ x
Z
Z
Z]0,2[ x
h
i

dx
(2 x)
dx = (1) + (1)
dx
=
(I.P.P.)
x
]1,2[
]1,2[
Z]0,1[ x
=
]1,2[ dx
]0,2[

avec

]1,2[ la fonction indicatrice de ]1, 2[ qui appartient bien L2(]0, 2[).

Pour la fonction w, pour toute fonction D(]0, 2[) :

D w
x

E
,

D0 (]0,2[),D(]0,2[)

D E
= w,
Z x D0 (]0,2[),D(]0,2[)
Z
Z

w
=
dx =
w
dx
w
dx
x
]1,2[
Z ]0,1[ x
Z]0,2[ x

dx
b
dx = a(1) + b(1)
=
a
(I.P.P.)
x
x
]1,2[
]0,1[
D
E
= (b a)x=1 ,
D0 (]0,2[),D(]0,2[)

Si b = a alors de manire vidente w H 1 (]0, 2[). Sinon, comme une masse de Dirac
nest pas mesurable, w
/ H 1 (]0, 2[).
Pour la fonction z. Elle est de carr intgrable si et seulement si x2p est intz
grable cest--dire si et seulement si p > 1/2. De mme, sa drive x
= pxp1 est
intgrable si et seulement si p > 1/2. On en dduit
z H 1 (]0, 2[)

p > 1/2

=
1
2 , o 1 et 2 sont
Q2. Soit un ouvert born de RN : on le partitionne en
0
1
deux ouverts disjoints. On considre v C (), telle que v|i C (i ), pour i = 1, 2.
On cherche montrer que v H 1 ().
On note pour commencer que v L2 (). On va calculer v au sens faible. On

MA201. Mthode des lments finis (2014-2015)

pose vi = v|i puis on drive au sens des distributions. Pour toute fonction D()N
D

v,

E
D0 ()N ,D()N

N D
X
v

N D
X

i E
, i
=
v,
xi
xi D0 (),D()
D0 (),D()
i=1
i=1
D
E
= v, div
D0 (),D()Z
Z
Z
= v div d =
v1 div d1
v2 div d2
=

En intgrant par parties et en isolant les intgrales sur le bord, pour toute fonction
D()N
Z
Z
Z
Z
D
E
=
v1 d1 +
v2 d2
v1 n1 d1
v2 n2 d2
v,
D0 ()N ,D()N

o n1 (respectivement n2 ) est la normale extrieure 1 (respectivement 2 ). Comme

est support compacte elle sannule sur la frontire et donc
Z
Z
Z

v1 n1 d1
v2 n2 d2 =
v1 n1 + v2 n2 ) d12
1

12

o 12 = 1 2 . Enfin comme n1 = n2 en tout point de 12 et comme v et

sont continues la traverse de 12 , on a
Z
Z

v1 n1 d1
v2 n2 d2 = 0
1

et donc
D

v,

E
D0 ()N ,D()N

Z
v1 d1 +

=
1

v2 d2
2

Au sens des distributions, le gradient de v est donn par

v1 sur 1
v =
v sur
2
2
Par hypothse (sur v1 = v|1 et v2 = v|2 ), on en conclut que ce gradient pris au sens
des distributions appartient L2 ()N , cest--dire que v H 1 ().

Exercice 3 Thorme de trace

Q1. On raisonne en plusieurs tapes (simples) :

Rappel : dfinition du prolongement par continuit `.

Soit h H. Par densit, il existe une suite dlments de V , note (vk )k , telle que

MA201. Mthode des lments finis (2014-2015)

limk kvk hkH = 0. Soit (zk )k la suite de rels dfinie par zk = `(vk ) pour tout
k. Etudions (zk )k :
` lin.
|zk zm | = |`(vk ) `(vm )| = |`(vk vm )| C` kvk vm kH .
Comme (vk )k converge (vers h) dans H, cest en particulier une suite de Cauchy,
cest--dire que limk,m kvk vm kH = 0. Ainsi, (zk )k est une suite de Cauchy
dans R. Or, R est complet : (zk )k est donc convergente. A partir de l, on dfinit
le prolongement par continuit de ` en h comme tant gal la limite de (zk )k :
= lim `(vk ).
`(h)
k

Bien sr, on peut effectuer le mme raisonnement pour tout lment h de H, ce

qui permet de construire ` : H R.

Unicit du prolongement `.
Reprenons le processus prcdent de construction... Pour h H, soient deux
suites dlments de V , (vk )k et (vk0 )k , convergeant vers h. Vrifions maintenant

que la dfinition de `(h)

est indpendante de la suite choisie, ce qui prouvera
lunicit :
` lin.
| lim `(vk ) lim `(vk0 )| = | lim{`(vk ) `(vk0 )}| = | lim `(vk vk0 )|.
k

Or, |`(vk vk0 )| C` kvk vk0 kH , et limk kvk vk0 kH = 0 par ingalit triangulaire
(kvk vk0 kH kvk hkH + kh vk0 kH ). On en conclut que limk `(vk ) = limk `(vk0 ).

Linarit du prolongement `.
On obtient la linarit en passant la limite. Soient h1 , h2 H, 1 , 2 R :
par densit, il existe (vk1 )k et (vk2 )k deux suites dlments de V , qui convergent
respectivement vers h1 et h2 dans H, et
1 h1 + 2 h2 )
`(

lim `(1 vk1 + 2 vk2 )

k

` lin.
1 ) + 2 `(h
2 ).
=
lim{1 `(vk1 ) + 2 `(vk2 )} = 1 `(h
k

Continuit du prolongement ` de H dans R.

On veut prouver : C > 0, h H, |`(h)|

CkhkH . Pour cela, h H tant
donn, soit (vk )k une suite dlments de V qui converge vers h dans H. On crit

|`(h)|
= | lim `(vk )| = lim |`(vk )| ;
k

or, pour tout k, |`(vk )| C` kvk kH . Comme limk kvk kH = khkH , on en conclut que

|`(h)|
C` khkH .

NB. Le module de continuit est identique pour ` et pour son prolongement `.

NB(bis). On a le mme rsultat pour des espaces de Banach dfinis sur C...

MA201. Mthode des lments finis (2014-2015)

Q2. Ici, on choisit respectivement :

Z

H = H (]0, 1[), muni de la norme kvkH 1 (]0,1[) :=

1
0 2

(v ) dx

v dx +

1/2
,

V = C 1 ([0, 1]) ;
en effet, C 1 ([0, 1]) est dense dans H 1 (]0, 1[) daprs la proposition 1.7 p. 16 du poly.
Soit maintenant v C 1 ([0, 1]) : on crit comme indiqu
Z x

Z x


v 0 (t) dt = |v(0)| |v(x)| + 
v 0 (t) dt .
v(0) = v(x)
0

On commence par majorer le second terme, laide de lingalit de Cauchy-Schwarz :

Z x

Z x
1/2 Z x
1/2
Z x


0
0
0
2


v (t) dt
|v (t)| dt
1 dt
|v (t)| dt

0
0
0
0
1/2
Z 1
1/2
Z x

0
2
0
2

.
|v (t)| dt
1
|v (t)| dt
x
0

Pour faire de mme pour le premier terme (|v(x)|), on utilise une "astuce" qui permet
de passer une intgrale :
Z 1
|v(0)| dx !
|v(0)| =
0

La majoration du premier terme "intgr" donne alors

1/2
Z 1
Z 1
2
.
|v(x)| dx
|v(x)| dx 1
0

On en conclut que, pour tout lment v de C 1 ([0, 1]), on a la majoration

1/2
Z 1
1/2
Z 1

0
2
2
2kvkH 1 (]0,1[) .
|v(x)| dx
+1
|v (t)| dt
|v(0)|
0

NB. Pour la dernire lingalit, on a utilis (a+b)2 2a2 +2b2 , valable pour tous a, b R.
Conclusion : daprs la question prcdente, on peut prolonger lapplication trace ? :
v 7 v(0) de faon unique en une application linaire et continue de H 1 (]0, 1[) dans R.
Q3. La rponse est non...
Pour sen convaincre, soit (vm )m1 la suite dlments de L2 (]0, 1[) dfinie par vm (x) =
emx . Par un calcul direct :

1
Z 1
Z 1
1 2mx
1
2
2mx
vm dx =
e
dx =
e
=
(1 e2m ).
2m
2m
0
0
0
Ainsi limm kvm kL2 (]0,1[) = 0, alors que vm (0) = 1 pour tout m 1. On ne peut donc pas
trouver de constante C > 0 telle que, pour tout m 1, on ait |vm (0)| C kvm kL2 (]0,1[) .

MA201. Mthode des lments finis (2014-2015)

Exercice 4 Solutions classiques du Laplacien

Soit un ouvert born de R3 , dont la frontire est rgulire. On considre le
problme aux limites
Trouver u telle que

u u = f dans (3)
u
= g sur
n
et .
o f et g sont continues respectivement sur

(4)

En multipliant (3) par

Q1. On suppose que la solution u appartient C 2 () C 1 ().

v C () et en intgrant sur , on obtient facilement
Z
Z
Z

uv d u v d =
f v d,
v C ()

Une intgration par parties sur la deuxime intgrale donne

Z
Z
Z
Z
u
f v d +
uv d + u v d =
v d,
n

soit en utilisant la relation (4)

Z
Z
Z
Z
f v d +
uv d + u v d =

v C ()

gv d,

v C ()

et g C (), la formulation variationnelle obtenue est

Ainsi, pour f C ()
0

telle que
Trouver u C 1 ()
Z
Z
Z
Z
uv d + u v d =
f v d +

gv d,

v C 1 ()

(F.V.)

est
La norme sur C 1 ()
kuk = sup |u(x)| +

3
X

sup |

i=1 x

u
(x)|.
xi

(5)

vrifie (3)-(4) alors u vrifie (F.V.) puisque les formules

En rsum, si u C 2 () C 1 ()
de Green classiques sont valides.
deux solutions de (F.V.), on a alors w = u1 u2 C 1 ()

Q2. Soient u1 et u2 dans C 1 ()

qui vrifie
Z
Z

wv d + w v d = 0,
v C 1 ()

soit en particulier pour v = w

Z

|w| d +

|w|2 d = 0.

On en dduit que w = 0 : la solution de lquation, si elle existe, est bien unique.

MA201. Mthode des lments finis (2014-2015)

Q3. En ce qui concerne lexistence dune solution "classique", il nexiste pas de

rsultat de porte gnrale... En particulier, il peut arriver quil nexiste pas de solution
muni de sa norme (5) nest
"classique" ! Enfin, il est facile de voir que lespace C 1 ()
pas un espace de Hilbert : le thorme de Lax-Milgram ne sapplique pas !
Si maintenant on examine la formulation variationnelle (F.V.), on constate que la
forme bilinaire associe est
Z
Z
(u, v) 7
uv d + u v d

cest--dire le produit scalaire canonique , H 1 () . Il est donc naturel de se placer dans
cet espace fonctionnel H 1 (). On obtient alors une nouvelle formulation variationnelle
Trouver u H 1 () telle que
Z
Z
Z
Z
uv d + u v d =
f v d +

v H 1 ()

gv d,

(F.V.bis)

Or lespace H 1 () muni du produit scalaire , H 1 () est un espace de Hilbert, ce qui
permet dappliquer le thorme de Riesz (ou de Lax-Milgram) pour tablir lexistence et
lunicit de la solution. A posteriori, nous mesurons la solution selon la norme de H 1 () :
Z

1/2  Z
1/2
2
2
kukH 1 () = (u, u)H 1 ()
=
|u| d + |u| d

Exercice 5  Drivation au sens des distributions

Quelques rappels pour commencer :
Soit v L2 ().
Z
Par identification, savoir en crivant hv, i =

v d pour tout lment de

D(), on considre que v D0 () (et plus gnralement, que L2 () D0 ()).

Par ailleurs, par dfinition de la drivation au sens des distributions, on a
D(), hv 0 , i = hv, 0 i.
0

Par dfinition de H 1 () := (H01 ()) , on a


` : v 7 `(v) est linaire, valeurs dans R
1
;
` H ()
C` 0, v H01 (), |`(v)| C` kvkH 1 ()
enfin, le module de continuit de ` (ie. sa norme dans H 1 ()), vaut
k`kH 1 () :=

|`(v)|
.
vH01 ()\{0} kvkH 1 ()
sup

MA201. Mthode des lments finis (2014-2015)

Q1. = I, un intervalle de R. Soit v L2 (I).

Pour prouver que v 0 appartient H 1 (I), on va utiliser Ex3Q1. On sait que, dans
lespace H 1 (I) muni de la norme k kH 1 (I) , D(I) est dense dans H01 (I). A laide de
lingalit de Cauchy-Schwarz, on a pour D(I) :
Z



0
0
0
|hv , i| = |hv, i| =  v dx kvkL2 (I) k0 kL2 (I) kvkL2 (I) kkH 1 (I) .
I

Ainsi, ` : 7 hv 0 , i est une forme linaire sur D(I), continue pour la norme k kH 1 (I) .
Daprs Ex3Q1, on peut prolonger ` par densit en une forme linaire et continue sur
H01 (I) : en dautres termes, v 0 H 1 (I).
On a aussi montr que kv 0 kH 1 (I) kvkL2 (I) . On en conclut que loprateur drive
v 7 v 0 cest une application linaire est continu de L2 (I) dans H 1 (I).
0
NB. Pourquoi ne peut-on pas dire que v 0 (H 1 (I)) (pour v L2 (I)) ? Le problme est
que lon raisonne par densit, en partant de D(I)... Or, sauf si I = R tout entier, D(I)
nest pas dense dans H 1 (I) !
Q2. un ouvert de RN . Soit v L2 ().
En raisonnant comme la question prcdente, on vrifie facilement que, pour D() :
|h

v
, i| kvkL2 () ki kL2 () kvkL2 () kkH 1 () .
xi

On en conclut donc que i v H 1 (), puis que loprateur ie`me drive partielle est
continu de L2 () dans H 1 ().
Q3. un ouvert de R3 . Soit v L2 ()3 .
Au sens des distributions, on a
div v =

v2
v3
v1
+
+
.
x1 x2 x3

Comme v1 , v2 , v3 appartiennent L2 (), on dduit de la Q2 que div v H 1 ().

NB. Pour construire la divergence au sens des distributions, on utilise, pour D(),
la suite dgalits (que vous pouvez toutes justifier !) :
hv, i :=

hvi ,

i=1,3

X vi
X vi

i=
h
, i = h
, i =: hdiv v, i.
xi
xi
xi
i=1,3
i=1,3

De mme, on vrifie que chacune des trois composantes du rotationnel de v appartient

H 1 () : on crit cette fois que rot v H 1 ()3 .
NB. Pour construire le rotationnel au sens des distributions on crit, pour D()3 :
hv, rot i = = hrot v, i.

MA201. Mthode des lments finis (2014-2015)

10

Exercice 6  Prolongement et restriction

Q1. Cest Ex2Q2 avec quelques modifications mineures sur les hypothses.
Q2. Cest encore une variante de la question prcdente et de Ex2Q2.
on a par construction v L2 (RN ).
En effet, si note v le prolongement de v par 0 RN \ ,
et
Par ailleurs, les deux ouverts sont dune part + = , et dautre part = RN \ ,
N
1
tels que R = + . Or, la restriction de v + gale v appartient H (+ ),
et de mme la restriction de v gale 0 appartient H 1 ( ). Enfin, linterface
entre + et est gale et, les traces des deux restrictions concident sur :
elles valent 0, en tant que trace dun lment de H01 (+ ), et bien sr comme trace de la
fonction nulle sur .
Q3. Comme la frontire est rgulire, on suffit de prouver que v = 0 sur .
Par hypothse, v H 1 (RN ) donc, pour tout D(RN )N :
Z
Z
v div dx =

v dx.
RN

(6)

RN

Montrons que la restriction de

v , note (
v )| , est gale v.
2
N
On veut obtenir ce rsultat dans L () , et on raisonne par densit. Soit
: par construction,
D()N . On note le prolongement de par 0 RN \
N N
D(R ) . A partir de cette remarque, on crit successivement :
Z
Z
Z
Z
Z
(6)
v d.
v div dx = v div d =

v dx =
(
v )| d =
RN

RN

La dernire galit utilise le fait que v H 1 ().

note (
De la mme faon, la restriction de
v RN \ ,
v )|RN \ , est nulle.
Daprs ce qui prcde, on a trouv, pour tout D(RN )N :
Z
Z
Z
Z
(6)
v div d =
v div dx =

v dx = v d.
RN

RN

Par ailleurs, daprs la formule de Green, on sait que

Z
Z
{v div + v } d =
v( n) d.

On a donc tabli, pour tout D(RN )N ,

Z
v( n) d = 0.

Comme par ailleurs la trace dun lment de H 1 () appartient automatiquement

L2 (), le rsultat donn dans lnonc permet de conclure que la trace de v
est bien nulle sur , et que v H01 ().