Vous êtes sur la page 1sur 7

La mthodes des lments finis

1 QUATIONS ELLIPTIQUES
Cours MA 201 ENSTA ParisTech
FichesRsum
1

quations elliptiques

1.1

Le problme

Soit un ouvert born de Rn de frontire note quon suppose suffisamment 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 ;


un = 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 , un = u n, R et g est une fonction


donne sur . On note respectivement ces trois problme (PD ), (PN ) et (PF ).

1.2

Solutions classiques au problme de LAPLACE

Dfinition : Solution classique


On appelle solution classique du problme de DIRICHLET (PD ) toute fonction u C 2 ()
C 0 () qui vrifie (PD ).

On appelle solution classique du problme de NEUMANN [resp. FOURIER] toute fonction


u C 2 () C 1 () qui vrifie (PN ) [resp. (PF )].

CHUPIN Maxime 11 novembre 2009

1.2.1

Formules de GREEN dans le cas classique

Proprit : Formules de Green


Soient u C 2 () C 1 () et v C 1 () C 0 (), on a :
Z
Z
Z
u v d =

u v d +

Soient u, v C 2 () C 1 (), on a :
Z
Z
u v d =

1.2.2

uv d +

Z 

u
n

v d

v
n


u d

(1)

(2)

Principe de maximum

Proprit : Principe de maximum


Soit u C 2 () C 0 () une fonction harmonique dans un ouvert born connexe (i.e. vrifiant u = 0 dans ). Si la fonction u nest pas constante dans alors on a :
x ,

inf u < u(x) < sup u

1.3

Formulation variationnelle

QUATIONS ELLIPTIQUES

Thorme : Unicit de la solution classique


Le problme de DIRICHLET admet au plus une solution classique dans C 2 () C 0 ().

1.3

Formulation variationnelle

claircissons la notion de frontire suffissament rgulire.

Dfinition : Frontire lipschitzienne

Soit un ouvert born de Rn . Sa frontire est lipschitzienne si

en tout point x de , il existe une application lipschitzienne (dfinie sur un hypercube

de Rn1 valeur dans R), 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 Rn , ceci nous permet dtablir des rsultats de densit trs utiles.

Dfinition :

On appelle C () lespace compos des restrictions des fonctions de C (Rn ) support

compact dans Rn .

Proprit :
Soit m N. Dans tout ouvert born frontire lipschitzienne, C () est dense dans H m ().

1.3.1

Existence de trace

CHUPIN Maxime 11 novembre 2009

On considre lensemble L 2 ( ) = {w mesurable sur /


muni du produit scalaire usuel.

w 2 d}. Cest un espace de HILBERT

Thorme : Existence de trace


Soit un ouvert born de Rn , frontire suffisamment rgulire . Alors lapplication trace
0 :

C ()
x 7

L 2 ()
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


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

1.3

Formulation variationnelle

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 :
kwkH 1/2 ( ) =
inf
kvkH 1 ()
vH 1 (), 0 v=w

H 1/2 ( ) est dense dans L 2 ( )

Dfinition : H 1 ()

D() est dense dans L 2 () mais pas dans H 1 (). On introduit alors :

H 1 ()
1

()
=
D()
H
0

Cest un espace de HILBERT comme sous-espace ferm dun espace de HILBERT.

Thorme : Caractrisation de H01 ()


Si est un ouvert born de Rn frontire suffisamment , alors :

H01 () = v H 1 () 0 v = 0
On peut alors gnraliser la formule de GREEN.

CHUPIN Maxime 11 novembre 2009

Proprit : Formule de Green


Soient u et v de H 1 (), on a :
Z
u

xi

v d =

Z
u

v
xi

d +

Z
uvni d

1.3

Formulation variationnelle

QUATIONS ELLIPTIQUES

Thorme : Trace de la drive


Lapplication trace de la drive normale :
C ()
1 :
x 7

L 2 ( )
1 x = nx |

se prolonge par continuit en une application linaire continue, note encore 1 , de H 2 ()


dans L 2 ( ) et on a lingalit :


v 2
C kvkH 2 ()
1
L ( )

Proprit : Formule de Green


Soient u H 2 () et v H 1 [), on a :
Z

u v d =

u v d +

u
n

v d

Dfinition :

On dfinit lensemble :

muni du produit scalaire :

= v H 1 () v L 2 ()
vw = vw H1() + vw2 ()

Proprit : Formule de Green


On peut gnraliser la formule de GREEN :
Z
Z
1

w , v H ()

w v d +

CHUPIN Maxime 11 novembre 2009

w v d =


w

n

, 0 v
H 1/2 ( )

Rappel : Une forme ` linaire est continue si


C` > 0, v H,

|`(v)| C` kvkH ,

une forme a biliniare est continue si


Ca > 0, v, u H,

|a(u, v)| Ca kvkH kukH ,

elle est coersive si


> 0, v H,

a(v, v) kvkH

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 ` :
kukH C k`kH 0 .

Proprit : Ingalit de Poincar


Soit un ouvert born de Rn , il existe une constante C p , dpendante seulement de telle
que :
Z
Z
v H01 (),

2
2.1

v 2 d C p

|v|2 d

Introduction la mthode des lments finis


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.

CHUPIN Maxime 11 novembre 2009

2.2

Approximationde GALERKIN

Considrons Vh un sous-espace de V de dimension finie n = n(h) o h est un paramtre positif


destin tendre vers 0, avec limh0 n(h) = .
On introduit le problme variationnel approch suivant :
Trouver uh Vh tel que
vh Vh, a(uh, vh) = `(vh)

(4)

On remarque quon peut toujours appliquer le thorme de LAX-MILGRAM car Vh est encore un HILBERT comme sous-espace ferm dun H ILBERT .

Proprit : xistence et unicit


Ce ce qui prcde, on en dduit que le problme variationnel approch admet une unique
solution.

2.3

Convergence

INTRODUCTION LA MTHODE DES LMENTS FINIS

Proprit : Systme linaire


Soit (1 , . . . , n ) une base de lespace vectoriel Vh. Alors le problme approch (4) est quivalent au systme linaire pos dans Rn :
A = L
o, (i, j) J1, nK2 , Ai j = a(i , j ) et Li = l(i ). Et on a :
uh =

n
X

jj.

j=1

Attention : Il est important de remarquer que :


a coersive A dfinie-positive

2.3

Convergence

Lemme : de Cea
Il existe une constante C >, indpendante de Vh telle que :




u u C inf u v
h V
h V
vh Vh

Thorme : Convergence de lapproximation


On suppose quil existe un sous-espace W dense dans V et, pour chaque h, une application
rh de W dans Vh tels que :


v W lim v rh v V = 0.
h0

CHUPIN Maxime 11 novembre 2009

Alors, on a :


lim u uh V = 0

h0

2.4

La mthode des lments finis

Dfinition : lments finis 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 vrifie les proprits suivantes :

Tout triangle T` est dintrieur non vide ;


T` T`0 = ; si ` 6= `0 ;
S
` T` = ;
toute arte dun triangle est soit une arte dun autre triangle, soit une arte porte par
la frontire .
On peut construire ainsi Vh :
n
.
o

Vh = vh C 0 () ` J1, L K, vh T est affine
`

2.4

La mthode des lments finis

INTRODUCTION LA MTHODE DES LMENTS FINIS

Proprit :
Lespace Vh est un espace vectoriel de dimension N dont une base est donne par les fonctions
continues et affines par morceaux (w j ) j qui satisfont aux relations :
(i, j) J1, N K2 ,

w j (Mi ) = i j

Dfinition : lments finis de Lagrange dordre k

On appelle lment fini de LAGRANGE dordre k un triplet (K, , P) o K est un ferm born non

vide de Rn , un ensembme de nK point (MiK )i appartenant K et P un espace vectoriel de

polynmes contenant Pk (K) (espace de polynme de degr au plus k sur K) tels que :

( , . . . , ) RnK , !p P tel que i J1, n K, p(M K ) =

CHUPIN Maxime 11 novembre 2009

nK

Vous aimerez peut-être aussi