Initiation aux Elments Finis

Applications aux Calculs Intensifs

Complments sur les lments finis sur le web :

cours dA. Fortin (Qubec) :
http ://www.giref.ulaval.ca/ afortin/elfin/elfind.pdf
cours de V. Legat (Belgique) :
http ://www.giref.ulaval.ca/ afortin/elfin/elfind.pdf
TD en scilab (PL) :
http ://math.unice.fr/ laure/EF/presentation.html
Logiciel EF FreeFem++ : http ://www.freefem.org/ff++/
Lquation dadvection-diffusion

pour T un scalaire et ~v une vitesse :

T
+ ~|v .T = . (T ) + s
t {z } | {z } |{z}
Terme de Transport Terme de Diffusion Terme Source

VL
Nombre de Pclet : Pe =

Pe % equation Elliptique ; Parabolique puis Hyperbolique

Adaptation de la mthode de rsolution au type de lquation et
la physique.
Exemples
Ecoulement de Poiseuille + temprature fluide T = 200 et
= 1 ; Solution stationnaire
Lquation de Navier Stokes
Pour la vitesse ~v , la densit et la viscosit

~v
 
= p + ~v +~f


~
+ v . v ~
t | {z }
| {z } .
Drive particulaire

Lincomprssibilit
.~v = 0
la pression p multiplicateur de Lagrange
Le tenseur des contrainte :

= 2(~u ) pI

avec le tenseur des vitesses de dformation :

1
~u + ~u T


(~u ) =
2
La formulation forte la formulation faible (1)

Solution sur un domaine + conditions aux limites sur

La forme faible (ou variationnelle) :
- multiplication par une fonction test scalaire (w) ou
~ );
vectorielle (w
- intgration par parties ( ~n normale sortante).
 (Raction)-diffusion
Z Z Z Z
T
d = (T .w) d+ s w d+ (T .~n)w d
t
La formulation forte la formulation faible (2)

 (Navier)-Stokes
Z   Z Z
~ ~
2 (u ) :(w ) d ~
p .w d = ~f .w
~ d

Z
+ (.~n).w
~ d

Z
q .~u d = 0

: = produit dyadique
Les conditions aux limites naturelles

 CL Dirichlet sur D :

T = T 0 ou ~u = ~u 0

Pour le problme faible = w(D ) = 0

R R
(T .~n)w d = 0 ou ~ ~ d = 0
(.n).w

 CL de Neumann N :

T .~n = q 0 ou .~n = ~f 0

Pour le problme faible = rajoute un second membre

q 0 w d ou ~f 0 .w
R R

~ d
Formulation faible Problme discret

On exprime les inconnues sur n fonctions dinterpolation Ni :

n
X
T = Ti Ni
i=1

et la formulation faible doit tre vrifie pour les fonctions tests

w = Ni (Galerkin) ou w = Ni (Petrov-Galerkin).
On obtient un systme matriciel

T1
T2
A . = F

..
Tn
Un peu de math

T , ~u , w appartiennent des espace fonctionnels o les

intgrales ont un sens et o on peut intgrer par parties.
L2 () = q, q 2 d <
 R

n
d o
U = H1 () = u L2 (), u L2 ()

H01 () = q H1 (), q = 0 sur



existence et unicit de la formulation faible quand

loprateur elliptique ;
Pour les lments finis
S lespace discret est construit
partir dun maillage k K avec
n o
Uh = uh C 0 () ; uh |K P1 (K ) et Uh U

o P1 (K ) est lespace des polynmes de degr infrieur

ou gal 1 sur llment K
Formulation faible Problme de minimization

 Problme de minimum pour la formulation faible

 
1
L(T ) = min L(v ) = min a(v , v ) b(v ) (1)
v T v T 2
avec
Z Z
a(T , w) = T .w d et b(v ) = s w d + CL

 Problme discret, A matrice dfinie positive ; b, T vecteurs

 
1 T T
AT =b min v Av v b
v 2
Minimisation sous contrainte (1)

min L(v ) avec G(v ) = 0

v U

 Multiplicateurs de Lagrange,

min max LL (v , ) avec LL (v , ) = L(v ) + G(v )

v

LL LL
=0 et =0
v
Pour Stokes
Z Z
L(~v ) = (~u ) : (w
~ ) d ~f .w
~ d

et Lincompressibilit avec = p
Z
G(v ) = .~v d

Minimisation sous contrainte (1)

 Pnalisation, r
r
min Lp (v ) avec Lp (v ) = L(v ) + [G(v )]2
v 2
Lp
=0 ; lim ur = u
v r

 Lagrangien augment
r
min max La (v , ) avec La (v , ) = L(v )+ [G(v )]2 +G(v )
v 2
pour limcompressibilit
Z
2
[G(v )] = .v .v d

Minimisation sous contrainte- Cas discret

A dfinie positive, kerB T = 0

Au = b avec Bu = c

 Lagrangien augment : le calcul de lextremum revient

rsoudre le systme linaire

A + rB T B BT b + rB T c
     
u
=
B 0 c

- Multiplicateurs de Lagrange augmente la taille du systme

rsoudre
- La pnalisation amliore les ptes de la matrice A car B T B
est symtrique
- la condition kerB T = 0 condition inf-sup des lments
mixtes
Exemple de maillage : simplex dimension 2
Llment P1
P3 i
Sur llment K : uK = i=1 uK Ni
Lassemblage
Formulation variationnelle sur K = matrice de raideur locale
A|K et le vecteur b|K . Pour lquation de Poisson :
Z Z



A|K ij = Ni .Nj d ; b|K i = s Ni d
K K

Lassemblage : construire la matrice globale partir de ces

matrices locales ; on rassemble toutes les contributions des
lments qui contiennent le mme noeud
Rqs :
- parralllisable car le calcul est distribu sur les lments.
- taille de A|K = 3x3 en P1 ; 6x6 en P2 .
- mthode de Gauss pour le calcul de lintgrale (nbre de
point % avec degr du polynmes)
Z 1 Z 1 Ng
X
g(, ) d d =' pi g(i , i )
0 0 i=1
Llment mixte P1+ /P1

La condition
R inf-sup ou kerB T = 0 (B T injectif) avec
B = q.~u d : discrtisation plus riche pour ~u que pour p.
- P1 /P1 = pression en damier pi = 1
- P1 /P0 : .~uh = 0 dans chaque lment = plus
dlments que de sommets (plus dquations que
dinconnues).
- P1+ /P1 : on enrichie la vitesse par un terme de bulle.
Bulle (1)

P3 i
uK = i=1 uK Ni + u N avec la fonction bulle N :
- N est nulle sur la frontre de llment K
- N (GK ) = 1 au barycentre de llment.
- N vrifie la proprit dorthogonalit
Z
Ni .N d = 0 Ni P1 (K )
K

polynomiale sur K :

= 27 (1 )

mais augmente le cot de lintgration numrique.

Bulle (2)

Si N linaire sur les sous-triangles de K mme ordre

dintgration,

avec
3 dans K1
= 3 dans K2
3(1 ) dans K3

La condensation

La matrice de raideur locale sur K

A 0 B U F
0 A B U = F
B T BT 0 P 0

On limine U
    
A B U F
=
BT B A1
T
B P B A1
T
F

= pas daugmentation du systme linaire global

= Formulation stabilis pour P1/P1 
= Augmenter la stabilisation BT A1
B
Dicrtisation temporelle

Problme discret spatial

U U n+1 U n h i
M +KU = S M = S n+1 KU n+1 +(1) [S n KU
t t
Les schmas deux pas de temps : ?schmas
[Raviart-Thomas 1998]
- Euler explicite ( = 0)
- Euler implicite ( = 1)
- Crank-Nicholson ( = 1/2)
Stabilisation - la mthode RFB (Residual Free
Bubbles)

Equation de transport :


t + ~u . = 0

(x, 0) = 0 dans

(x, t) = g sur

Formulation faible discrtise avec un schma implicite en

temps :

h h
~ A0h



, + ~uh .h , = 0
t
Stabilisation - la mthode RFB (2)

La solution hRFB
X
hRFB = h + b avec b = cK K
K

h dfinie sur les nuds du maillage

K fonction bulle dfinie sur chaque lment

On a la proprit suivante sur chaque lment K :

Z
~ ~
(u ., K )K = (, u .K )K + (~u .~n) K d = (, ~u .K )K
K
| {z }
=0
Stabilisation - la mthode RFB (3)

h h b
+ ~uh .h , = + ~uh .b ,



t t
b h h
+ ~uh .b , b = + ~uh .h , b



t t
Si lon prend b = K sur K :

1 h h
+ ~uh .h , K K


cK =
K t
Stabilisation - la mthode RFB (4)

Formulation stabilise [Brezzi et al.-1998]

h h
+ ~uh .h , = 0


t
avec
|K
|K = |K + C1 (hK , |~u|K , t) + C1 (hK , |~u|K , t) ~uh .|K
t
= C1 , C2 fonction de hK et de ||~u|K || (vitesse moyenne)
= mthode SUPG (Streamline Upwind Petrov Galerkin)
[Brooks et al.-1992]
Exemple

Exemple Elie Hachem, = 106 , ~v en entre = 1 ; T = 200o C

A Complter

exemple dans les autres prsentations.

extension des mthode de stabilisation aux quation de
raction-diffusion, Navier-Stokes (haut Reynolds),
mthode LES
mthode Galerkin discontinue ( Volume fini ) [Cockburn
et al.-2001]
rsolution de grand systme linaire :