Initiation aux Eléments Finis Applications aux Calculs Intensifs

Compléments sur les éléments finis sur le web :

cours d’A. Fortin (Québec) :

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++/

L’équation d’advection-diffusion

pour T un scalaire et v une vitesse :

∂ T

_{∂ t} +

v .∇ T

=

Terme de Transport

∇. (κ∇ T )

+

Terme de Diffusion

s

Terme Source

Nombre de Péclet : Pe = ^VL

κ

Pe equation Elliptique ; Parabolique puis Hyperbolique Adaptation de la méthode de résolution au type de l’équation et à la physique.

Exemples

Ecoulement de Poiseuille + température fluide T = 200 et κ = 1 ; Solution stationnaire

L’équation de Navier Stokes

Pour la vitesse v , ρ la densité et η la viscosité

ρ

^∂ v

∂

t

+

v .∇ v

Dérivée particulaire

=

L’incompréssibilité

∇. v = 0

−∇ p + η∆ v + f

∇.σ

la pression p ∼ multiplicateur de Lagrange Le tenseur des contrainte σ :

σ = 2η ( u ) − p I

avec le tenseur des vitesses de déformation :

( u ) = ¹ ₂ ∇ u + ∇ u

T

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 ) ;

- intégration par parties ( n normale sortante).

(Réaction)-diffusion

Ω

∂

T

∂

t

d Ω = − Ω κ(∇ T .∇ w ) d Ω+ Ω s

w d Ω+ ∂Ω κ(∇ T . n )w d Γ

La formulation forte ⇐⇒ la formulation faible (2)

(Navier)-Stokes

Ω 2 η ∇ ( u ) : ( w ) d Ω − Ω p ∇. w d Ω				=	Ω f . w d Ω
				+	∂Ω (σ. n ). w d Γ
		Ω q ∇. u	d Ω	=	0

: = produit dyadique

Les conditions aux limites «naturelles»

CL Dirichlet sur Γ _D :

T = T ⁰ ou u = u

0

Pour le problème faible =⇒ w (Γ _D ) = 0

^R _∂Ω κ(∇ T . n ) w d Γ = 0 ou ^R _∂Ω (σ. n ). w d Γ = 0

CL de Neumann Γ _N :

∇ T . n = q ⁰ ou σ. n = f

0

Pour le problème faible =⇒ rajoute un second membre

^R _∂Ω κ q ⁰ w d Γ ou ^R _∂Ω f ⁰ . w d Γ

Formulation faible ⇐⇒ Problème discret

On exprime les inconnues sur n fonctions d’interpolation N _i :

T =

n

i = 1

T i N i

et la formulation faible doit être vérifiée pour les fonctions tests

˜

w = N _i (Galerkin) ou w = N _i (Petrov-Galerkin).

On obtient un système matriciel







A 



T

1

T

.

.

.

T

2

n









_

= F

Un peu de math

T , u , w appartiennent à des espace fonctionnels où les intégrales ont un sens et où on peut intégrer par parties.

L ² (Ω) = q , _Ω q ² d Ω < ∞

U = H ¹ (Ω) = u

∈

L ² (Ω), ∇ u

∈ L ² (Ω) ^d

∈ H ¹ (Ω), q

existence et unicité de la formulation faible quand l’opérateur elliptique ;

Pour les éléments finis l’espace discret est construit à partir d’un maillage _k K avec

1

H ₀ (Ω) = q

= 0

sur ∂Ω

U _h = u _h ∈ C ⁰ (Ω) ; u _h | _K

∈ P ₁ (K )

et

U _h ⊂ U

où P ₁ (K ) est l’espace des polynômes de degré inférieur ou égal à 1 sur l’élément K

Formulation faible ⇐⇒ Problème de minimization

Problème de minimum pour la formulation faible

avec

_{v ∈T 2} a (v , v ) − b (v )

1

L(T ) = min

v

_∈T L(v ) = min

a (T , w ) = Ω ∇ T .∇ w d Ω

et

b (v ) = Ω s w d Ω + CL

(1)

Problème discret, A matrice définie positive ; b , T vecteurs

A T = b

⇔

min

v

1

2 v T Av − v T b

Minimisation sous contrainte (1)

min L(v )

v ∈U

avec

G (v ) = 0

Multiplicateurs de Lagrange, λ

min max L _L (v , λ) avec

v

λ

L _L (v , λ) = L(v ) + λ G (v )

Pour Stokes

∂L _L

∂

v

= 0

et ^∂L ∂λ ^L = 0

L( v ) = Ω η ( u ) : ( w ) d Ω − Ω f . w d Ω

et L’incompressibilité avec λ = −p

λ G (v ) = Ω

λ∇. v d Ω

Minimisation sous contrainte (1)

Pénalisation, r

min L _p (v ) avec

v

∂L _p

∂ v Lagrangien augmenté

= 0

min max L _a (v , λ) avec

v

λ

r

L _p (v ) = L(v ) + ₂ [G (v )] ²

;

lim

r →∞ ^{u r = u}

r

L _a (v , λ) = L(v )+ ₂ [G (v )] ² +λ G (v )

pour l’imcompressibilité

[G (v )] ² = Ω

∇.v ∇.v d Ω

Minimisation sous contrainte- Cas discret

A définie positive, kerB ^T = 0

Au = b

avec

Bu = c

Lagrangien augmenté : le calcul de l’extremum revient à

résoudre le système linéaire

A + rB ^T B B

B ^T

0

u ₌ b + rB ^T c

λ

c

- Multiplicateurs de Lagrange augmente la taille du système à résoudre

- La pénalisation améliore les ptes de la matrice A car B ^T B est symètrique

- la condition kerB ^T = 0 ⇐⇒ condition inf-sup des éléments mixtes

Exemple de maillage : simplex dimension 2

L’élément P ₁

Sur l’élément K : u _K = ³

i = 1 ^u K ^N i

i

L’assemblage

Formulation variationnelle sur K =⇒ matrice de raideur locale A _{| K} et le vecteur b _{| K} . Pour l’équation de Poisson :

A _{| K ij} = K κ∇ N _i .∇ N _j d Ω ; b _{| K i} = K s N _i d Ω

L’assemblage : construire la matrice globale à partir de ces matrices locales ; on rassemble toutes les contributions des éléments qui contiennent le même noeud Rqs :

- parrallélisable car le calcul est distribué sur les éléments.

- taille de A _{| K} = 3x3 en P ₁ ; 6x6 en P ₂ .

- méthode de Gauss pour le calcul de l’intégrale (nbre de point avec degré du polynômes)

1

Ng

1−ξ

g (ξ, η) d η d ξ

=

p i g (ξ i , η i )

0

0

i = 1

+

L’élément mixte P /P ₁

1

La condition inf-sup ou kerB ^T = 0 (B ^T injectif) avec B = _Ω q ∇. u d Ω : discrétisation plus riche pour u que pour p .

- P ₁ / P ₁ =⇒ pression en damier p _i = ±1

- P ₁ / P ₀ : ∇. u _h = 0 dans chaque élément =⇒ plus d’éléments que de sommets (plus d’équations que d’inconnues).

+

- P / P ₁ : on enrichie la vitesse par un terme de bulle.

1

Bulle (1)

u _K = ³

i = 1 ^u

_K i N _i + u _β N _β avec la fonction bulle N _β :

- N _β est nulle sur la frontère de l’élément ∂ K

- N _β (G _K ) = 1 au barycentre de l’élément.

- N _β vérifie la propriété d’orthogonalité

K ∇ N _i .∇ N _β d Ω = 0

ˆ

β polynomiale sur K :

∀N _i ∈ P ₁ (K )

β = 27 (1 − ξ − η) ξ η

mais augmente le coût de l’intégration numérique.

Bulle (2)

Si N _β linéaire sur les sous-triangles de K −→ même ordre d’intégration,

avec

β =

 dans K ₁ dans K ₂

K ₃

3ξ

  3(1 − η − ξ) dans

3η

La condensation

La matrice de raideur locale sur K




On élimine U _β

A

0

B ^T

0

A _β

B

T

β

B

B _β

0

   

U

U β

P



 = 



F

F β

0




A

B ^T

T

−B

β

B

A

−

β

1

B β

U

P

=

T

−B

β

F

A

−

β

1

F β

=⇒ pas d’augmentation du système linéaire global =⇒ Formulation stabilisé pour P ₁ / P ₁

=⇒ Augmenter la stabilisation α −B

T A

β

− 1

β B β

Dicrétisation temporelle

Problème discret spatial

_M ∂ U ∂ t

Les schémas à deux pas de temps : θ ?schémas [Raviart-Thomas 1998]

+KU = S ⇒ M ^{U n + 1 − U n}

∆

t

θ

S ^{n + 1} − KU ^{n + 1} +(1−θ) [S ⁿ − K

=

- Euler explicite (θ = 0)

- Euler implicite (θ = 1)

- Crank-Nicholson (θ = 1/ 2)

Stabilisation - la méthode RFB (Residual Free Bubbles)

Equation de transport :



















∂α

+

u .∇α = 0

∂ t α(x , 0) = α ₀

α(x , t ) = g

dans

sur

Γ ⁻

Ω

Formulation faible discrétisée avec un schéma implicite en temps :

−

h

α _h − α

∆

t

, α ∗ + u _h .∇α _h , α ∗ = 0

∀ α ∗ ∈ A ⁰

h

Stabilisation - la méthode RFB (2)

La solution α

RFB

h

α

RFB

h

= α _h + α _b avec α _b =

c K ϕ K

K

α _h définie sur les nœuds du maillage ϕ _K fonction bulle définie sur chaque élément

On a la propriété suivante sur chaque élément K :

( u .∇α, ϕ K ) K = −(α, u .∇ϕ K ) K + ∂ K ( u . n ) α ϕ K d Γ = −(α, u .∇ϕ K ) K

= 0

Stabilisation - la méthode RFB (3)

−

h

α _h − α

∆

t

+ u _h .∇α _h , α ^∗

=

α

b

∆

_t

+ u _h .∇α _b , α

b

∗

Si l’on prend α _b = ϕ _K ^∗ sur K :

∗

⁼

c _K = − ¹

β

α _h − α

∆

t

−

h

K

−

α

b

∆

_t

+ u _h .∇α _b , α ^∗

−

− α h − α

h

+ u h .∇α h , α

b ∗

∆

t

+ u h .∇α h , ϕ ∗

K K

Stabilisation - la méthode RFB (4)

Formulation stabilisée [Brezzi et al.-1998]

avec

−

h

α _h − α

∆

t

+ u _h .∇α _h , α˜ ^∗

= 0

α˜ ^∗ | _K = α ^∗ | _K + C ₁ (h _K , | u _{| K} , ∆ t ) ^α ∗

|

K

∆

t

+ C ₁ (h _K , | u _{| K} , ∆ t ) u _h .∇α ^∗

|

K

=⇒ C ₁ , C ₂ fonction de h _K et de || u _{| K} || (vitesse moyenne) =⇒ méthode SUPG (Streamline Upwind Petrov Galerkin) [Brooks et al.-1992]

Exemple

Exemple Elie Hachem, κ = 10 ^{− 6} , v en entrée = 1 ; T = 200 ^o C

A Compléter

exemple dans les autres présentations.

extension des méthode de stabilisation aux équation de réaction-diffusion, Navier-Stokes (haut Reynolds), méthode LES

méthode Galerkin discontinue ( ∼ Volume fini ) [Cockburn et al.-2001]

résolution de grand système linéaire :