Méthode Des Éléments Finis Mixtes - Application Aux Équations de Stokes Stationnaires - Khalid Elghazi

DÉPARTEMENT DES MATHÉMATIQUES
MASTER SCIENCES ET TECHNIQUES :

MATHÉMATIQUE ET APPLICATIONS
AUX CALCULS SCIENTIFIQUES
Rapport de projet de fin d’études

Pour l’obtention du Diplôme de Master Sciences et Techniques
Sous thème :
Méthode des éléments finis mixtes :

application aux équations de Stokes
stationnaires
Réalisé par : Encadré par :
Khalid Elghazi Pr. Rachid El khaoulani El idrissi
Soutenu le 12 juillet 2021 :
. Devant le jury composé de :

• Pr. Abdelhadi El hakimi
• Pr. Abdelhamid Touache
• Pr. Fatima Ezzaki
• Pr. Mohamed Ettaouil
• Pr. Rachid El khaoulani El idrissi
Année universitaire : 2020/2021
FACULTÉ DES SCIENCES ET TECHNIQUES FES-SAISS

B.P. 2202 - Route d’Imouzzer
MST : MACS.
Table des matières
Remerciements 3
Dédicaces 3
Introduction générale 3
1 Rappel de la méthode des éléments finis 8

1.1 Formulation variationnelle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.1.1 Maillage triangulaire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.1.2 Espace d’approximation . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.1.3 Élément de référence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.1.4 Passage à un triangle K quelconque non dégénéré . . . . . . . . . . . . . 11
1.2 Éléments finis P1 en dimension 2 . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.2.1 Écriture du problème approché en éléments finis P1 . . . . . . . . . . . 13
1.2.2 Calcul de la matrice de raideur élémentaire P1 . . . . . . . . . . . . . . 14
1.2.3 Calcul du second membre élémentaire . . . . . . . . . . . . . . . . . . . . 14
1.2.4 Assemblage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2 Les équations de Navier-Stokes 16

2.1 Adimensionalisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.2 Réductions des équations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3 Équations de Stokes 20
3.1 Formulation mixte du problème de Stokes . . . . . . . . . . . . . . . . . . . . . 20
3.2 Condition "inf-sup" continue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3.2.1 Un résultat abstrait pour les problèmes mixtes. . . . . . . . . . . . . . . 22
Méthode des éléments nis mixtes :application aux équations de Stokes stationnaires.
TABLE DES MATIÈRES
3.2.2 Condition "inf-sup" pour le problème de Stokes. . . . . . . . . . . . . . . 23

3.3 Approximation par éléments finis mixte et condition "inf-sup" discrète . . . . . . 24
3.3.1 Forme algébrique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
3.4 Éléments Finis mixte pour le problème de Stokes. . . . . . . . . . . . . . . . . . 26
3.4.1 Des exemples de discrétisations compatibles et non compatibles. . . . . . 27
3.4.2 Éléments P1 /P1 : mode parasite (Exemples de discrétisations non com-
patibles) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
3.4.3 Éléments Finis P1 − bulle/P1 (Élément Mini). . . . . . . . . . . . . . . . 30
4 Résultats numériques 41
4.0.1 Application dans un écoulement de Poiseuille . . . . . . . . . . . . . . . 47
4.1 Calcul des erreurs d’interpolation . . . . . . . . . . . . . . . . . . . . . . . . . . 49
4.1.1 Estimation de l’erreur numérique . . . . . . . . . . . . . . . . . . . . . . 49
Conclusion et perspectives 53
Bibliographie 55
3
Remerciements
Je tiens à remercier en premier lieu Rachid El khaoulani El idrissi qui a encadré ce

travail de mémoire . Par sa compétence et sa maturité scientifique, il a su me guider de façon
pertinente dans mes recherches. Sa disponibilité, son écoute et ses qualités humaines m’ont
permis d’avancer. Je lui suis infiniment reconnaissant d’avoir permis que cette période me soit
agréable et d’avoir ainsi renforcé ma motivation à poursuivre dans la recherche.
Mes vifs remerciements vont également aux membres du jury pour l’intérêt qu’ils ont porté
à ma recherche en acceptant d’examiner mon travail et de l’enrichir par leurs propositions.
MST : MACS.
Dédicaces
Je dédie ce travail A ma petite famille, A celui qui m’a indiqué la bonne voie en me rappelant
que la volonté fait toujours les grands hommes :mon père.
A celle qu’a attendu avec la patience les fruits de leur bonne éducation : ma mère.
A mes sœurs et frères,

A ma grande famille,
A mes chers enseignants,
A mes amis,
Et toute personne qui a aidé de près ou de loin dans la réalisation de ce projet.
MST : MACS.
Introduction générale
La résolution des équations aux dérivées partielles occupe une place importante en ingénierie
et en mathématiques appliquées. Chacune de ces disciplines apporte une contribution différente
mais complémentaire à la compréhension et à la résolution de tels problèmes.
Il existe plusieurs techniques permettant de résoudre numériquement les problèmes relatifs aux
équations aux dérivées partielles. On pense par exemple aux méthodes de différences finies, de
volumes finis, aux méthodes spectrales, etc. On peut sans aucun doute affirmer qu’aujourd’hui
la plus largement répandue est la méthode des éléments finis.
Les origines de la méthode des éléments finis remontent aux années 1950 lorsque des ingé-
nieurs l’utilisèrent afin de simuler des problèmes de mécanique des milieux continus déformables.
Depuis, le champ d’applications s’est considérablement étendu et les fondements théoriques de
la méthode se sont amplement consolidés. Il existe de nos jours un nombre important de logi-
ciels commerciaux et académiques qui utilisent la méthode des éléments finis comme un outil
de simulation robuste pour des problèmes de mécanique des milieux continus, de mécanique
des fluides, de thermique, d’électromagnétisme...
La méthode des éléments finis est très générale et possède une base mathématique rigoureuse
qui est fort utile, même sur le plan très pratique. En effet, cette base mathématique permet de
prévoir jusqu’à un certain point la précision de notre approximation et même d’améliorer cette
précision par l’utilisation de maillages adaptés.
Ainsi, en mécanique des fluides, par exemple, les mathématiciens et les physiciens ont effec-
tué beaucoup de recherches pour tenter de modéliser des écoulements de différents fluides dans
différents contextes. Ils ont, entre autres, modélisé par ordinateur l’écoulement de l’air autour
des ailes d’avions pour augmenter l’aérodynamisme de celles-ci, tout en évitant les coûts élevés
des tests en soufflerie. Toujours en mécanique des fluides, ils ont également essayé de simuler
l’écoulement de fluides newtoniens et non newtoniens dans différents conduits. On parle de
TABLE DES MATIÈRES
fluide newtonien lorsque la viscosité de celui-ci est constante, dans le cas contraire, on parle
d’un fluide non newtonien.
Plusieurs écoulements peuvent être modélisés à l’aide des équations de Navier-Stokes ou,
dans notre cas, des équations de Stokes. Dans la majorité des cas, comme on ne peut obtenir des
solutions exactes à ces équations aux dérivées partielles, on utilise des méthodes numériques
comme celle qui fait l’objet de ce mémoire, la méthode des des éléments finis mixte. Cette
méthode permet la résolution numérique des équations aux dérivées partiales définies sur des
domaines assez général. Avec les ordinateurs de plus en plus puissants que l’on dispose de nos
jours, il est maintenant possible de résoudre des problèmes d’une telle ampleur, notamment sur
des géométries très complexes.
Les travaux que nous avons mené lors de ce projet de fin d’étude ont porté essentiellement
en premier lieu sur les aspects théoriques de la méthodes des éléments finis mixtes, l’adaptation
de cette dernière à la résolution du problème de Stokes pour un fluide incompressible qui se
présente sous la forme d’un système d’équations dont les inconnues sont la vitesse et la pression.
Le deuxième volet de ces travaux a été consacré au développement et à l’implémentation d’un
code Matlab basé sur la méthode des éléments finis mixtes pour approcher les équations de
Stokes, ce code a été réalisé en partant d’un code éléments finis pour la résolution d’un problème
du Laplacien. Une étude de l’erreur d’interpolation a été faite, elle montre que l’ordre obtenu
par notre code est identique à l’ordre théorique. Par ailleurs, plusieurs tests numériques de
validation ont été réalisé et présenté dans ce rapport.
7
MST : MACS.
Chapitre 1: Rappel de la méthode des éléments finis
1.1 Formulation variationnelle
La méthode des éléments finis repose sur la formulation variationnelle d’une équation aux
dérivées partielles. Pour se fixer les idées nous prendrons pour exemple le problème du laplacien
dans un domaine Ω de frontière ∂Ω, avec condition de bord de Dirichlet homogène :
(
−∆u = f dans Ω
(P)
u|r = 0 sur ∂Ω
Avec Ω un ouvert borné de R2
On peut donc définir la formulation variationnelle du problème (P) comme suit :
Trouver uZ∈ H01 (Ω) tel que



(Q)
Z
 ∇u∇v = fv ∀v ∈ H01 (Ω)
Ω Ω
Cette formulation peut être vue comme le cas particulier d’un problème du type suivant :

 Trouver u ∈ V tel que
 a(u, v) = l(v) ∀v ∈ V.
Avec a(·, ·) une forme bilinéaire symétrique, et l(·) une forme linéaire.
Rappelons que le théorème fondamental de Lax-Milgram nous donne l’existence et l’unicité de
la solution d’un tel problème sous certaines conditions de régularité sur a et l.
Dans tout ce qui suit nous supposerons que le domaine Ω est polygonal, afin que nous
puissions le mailler exactement.
1.1.1 Maillage triangulaire
En dimension 2 une triangulation d’un domaine Ω est une subdivision de Ω en triangle

(Ki )1≤i≤n qui vérifient
1.1. FORMULATION VARIATIONNELLE
1) Ki ⊂ Ω̄ et Ω̄ = ∪ni=1 Ki
2) en dimension N = 2, l’intersection Ki ∩ Kj de deux triangles distincts est soit vide, soit
réduite à un sommet commun, soit à une arête commune entière. Les sommets (ou noeuds) du
maillage Th sont les sommets des N -triangle Ki qui le composent. Par convention, le paramètre
h désigne le maximum des diamètres des N -triangle Ki .
En dimension 2, on pose a1 = (a11 , a12 ), a2 = (a21 , a22 ), a3 = (a31 , a32 ) trois point non alignés, K
est le triangle passant par ces trois sommets.
a2
a3 a1
Figure 1.1 – Élément finis triangulaire.
Voici un exemple de maillage triangulaire en dimension deux
Figure 1.2 – Exemple de maillage Th triangulaire en 2D.
9
1.1.2 Espace d’approximation
Les espaces d’approximations Vh sont définis de la même façons qu’en dimension un, en choi-
sissant des fonctions qui sont globalement continue sur Ω̄ et qui sont polynomiale sur chaque
triangle du maillage. Pour l’approximation P1 on a :
n o
Vh = v ∈ C(Ω̄) tel que v|Ki ∈ P1 pour tout Ki ∈ Th
Avec Ki est un triangle.

On définit aussi le sous-espace V0h par
V0h = {v ∈ Vh tel que v = 0 sur ∂Ω}
1.1.3 Élément de référence
Les calculs des fonctions de forme et des matrices et second-membres élémentaires peuvent
s’effectuer en se ramenant à un élément de référence simple. Dans le cas d’éléments triangulaires
on choisit le triangle rectangle isocèle unité de sommets : â1 = (1, 0), â2 = (0, 1), â3 = (0, 0)
ŷ
ac2
K̂
ac3 ac1
x̂
Figure 1.3 – Élément de référence K̂
Soit K un triangle de R2 de sommets a1 , a2 , a3 . On appelle coordonnées barycentriques de

K les fonctions affines λ1 , λ2 , λ3 de K dans R définies par :
λj (ai ) = δij , 1 ≤ i, j ≤ 3
10
Dans ce triangle de référence les coordonnées barycentriques admettent les expressions sui-
vantes en fonction des coordonnées cartésiennes notées x̂ et ŷ :



 λ̂1 = x̂
 λ̂2 = ŷ

λ̂3 = 1 − x̂ − ŷ

Par transformation affine inversible on fait correspondre à ce triangle de référence un élément

triangulaire quelconque K de sommet a1 = (a11 , a12 ), a2 = (a21 , a22 ), a3 = (a31 , a32 )
Pour cela il suffit de construire une transformation affine FK qui associe respectivement les
sommets â1 , â2 , â3 du triangle de référence aux sommets a1 , a2 , a3 du triangle quelconque.
1.1.4 Passage à un triangle K quelconque non dégénéré
Le triangle de référence K̂ a pour sommets les points :

â1 = (1, 0), â2 = (0, 1), â3 = (0, 0)
Donc on veut se ramener par un changement de variable affine d’un triangle K vers K̂
Soit K un triangle de sommets a1 , a2 , a3 alors il existe une seul matrice inversible BK ∈ M2 (R)
et un seul vecteur bK ∈ R2 tels que
ai = BK âi + bK ∀ 1 ≤ i ≤ 3
Soit la transformation affine Fk qui transforme le triangle de référence K̂ en un triangle K

i.e Fk (K̂) = K
La transformation FK est définie par FK (x̂) = BK x̂ + bK avec

! !
x2 − x1 x3 − x1 x1
BK = , bK =
y2 − y1 y3 − y1 y1
où les (xi , yi ) sont les coordonnées des sommets ai .

FK est inversible car Bk l’est et on a :
∀x ∈ R2 x̂ = FK−1 (x) = BK
−1
(x − bk )
Le jacobien de la transformation FK est égal à deux fois l’aire algébrique du triangle K.
11
1.2. ÉLÉMENTS FINIS P1 EN DIMENSION 2
a2
Fk
FK−1
K
ac2 a3 a1
K̂
ac3 ac1
Figure 1.4 – Transformation affine entre l’élément de référence et un triangle quelconque.
On ramène alors simplement le calcul des intégrales sur un K quelconque au calcul homo-
logue sur le triangule de référence K̂ selon :
Z Z
g(x, y)dxdy = 2Aire(K) goFK (x̂, ŷ)dx̂dŷ.
K K̂
Lorsque l’on dispose d’un maillage où toute les mailles sont identiques à une transformation
affine près. Tout les calculs d’intégrales pourrons se ramener à des calculs sur une seul maille
"de référence" par un simple changement de variable.
1.2 Éléments finis P1 en dimension 2
Proposition 1.2.1
Une fonction quelconque de Vh prenant les valeurs v1 , v2 , v3 aux sommets a1 , a2 , a3 du

triangle K s’écrit dans K sous la forme
vh (x, y) = v1 λ1 (x, y) + v2 λ2 (x, y) + v3 λ3 (x, y)
Preuve
Voir (Grégoire ALLAIRE-François ALOUGES [3] )
Grâce à cette caractérisation les coordonnées barycentrique λ1 , λ2 , λ3 forment une base de P1
sur K.
12
1.2.1 Écriture du problème approché en éléments finis P1
Proposition 1.2.2
L’espace Vh , défini précédemment, est un sous-espace de H 1 (Ω) dont la dimension est

finie, égale au nombre de degrés de liberté. De plus, il existe une base de Vh (φi )1<i<ndl
définie par
φi (aj ) = δij 1 ≤ i, j ≤ ndl
Telle que
ndl
X
v(x) = v (ai ) φi (x)
i=1
Preuve
Voir (Grégoire ALLAIRE-François ALOUGES [3])
Remarque 1.2.1. On obtient un résultat semblable pour le sous-espace V0h , défini précédem-
ment, qui est un sous-espace de H01 (Ω) de dimension finie égale au nombre de degrés de liberté
intérieurs (on ne compte pas les nœuds sur le bord ∂Ω ).
Considérons maintenant la formulation variationnelle de dirichlet homogène sur le domaine

Ω
Trouver uZ∈ H01 (Ω) tel que



(Q)
Z
 ∇u∇v = fv ∀v ∈ H01 (Ω)
Ω Ω
2
Où f ∈ L (Ω).
On approche cette formulation variationnelle par :
Trouver uZh ∈ V0h tel que


 Z
 ∇uh ∇vh = f vh ∀v ∈ H01 (Ω)
Ω Ω
On décompose uh sur la base des (φj )1≤j≤ndl et on prend vh = φi ce qui donne :

ndl
X Z Z
uh (aj ) ∇φj · ∇φi dx = f φi dx
j=1 Ω Ω
Z
En notant Uh = (uh (aj ))1≤j≤ndl , bh = f φi dx , et en introduisant la matrice de
Ω 1≤i≤ndl
rigidité
Z
Kh = ∇φj · ∇φi dx
Ω 1≤i,j≤ndl
13
1.2.2 Calcul de la matrice de raideur élémentaire P1
Dans chaque élément triangulaire K de sommets a1 , a2 , a3 correspondants aux nœuds XI , XJ , XK ,

les seules fonctions de base non nulles sont les fonctions φI , φJ , φK . Leurs restrictions dans le
triangle sont respectivement les trois coordonnées barycentriques λ1 , λ2 , λ3 calculées précédem-
ment. La matrice élémentaire relative au triangle K est donc une matrice 3 × 3 de coefficients :
Z
elemK i,j = ∇λj ∇λi dx ∀i, j = 1, 2, 3
k
Ce petit jeu d’écriture a pour conséquence de ne plus calculer d’intégrale sur le domaine
Ω tout entier mais sur chaque élément de la triangulation, sur lequel chaque fonction λ est
soit nulle soit entièrement déterminée en fonction d’une des fonctions λ̂ associée à l’élément de
référence K̂ et de la transformation affine transportant cet élément vers l’élément K, de sorte
que la matrice K est entièrement déterminée à partir d’une matrice dite matrice élémentaire
calculée sur l’élément de référence.
1.2.3 Calcul du second membre élémentaire
Chaque composante (bh )i du vecteur second-membre global donnée par :

Z
(bh )i = f (x)φi dx
Ω
est calculée également par assemblage de contributions élémentaires.
X Z
(bh )i = f (x)φi dx
K∈Ω K
Sur l’élément K, il n’y a que trois fonctions de base non nulles : φI , φJ , φK , Ainsi les seules
composantes non nulles sont bI , bJ , bK . On utilise les formules d’intégration numérique, pour les
calculs.
1.2.4 Assemblage
L’étape de l’assemblage consiste à prendre en compte les contributions de tous les systèmes
élémentaires pour construire un système linéaire global que l’on devra résoudre. Supposons un
maillage en N éléments K. Notons Kh la matrice globale ( matrice de raideur ) à assembler et bh
le second membre et Kelem les matrices élémentaires correspondantes relatives à chaque élément
K. L’algorithme d’assemblage est très simple, dès lors que l’on dispose d’un tableau numéro
associant les sommets d’un élément K et les nœuds du maillage global. Dans ce cas simple
14
d’élément triangulaires P1 , chaque élément K comprend trois nœuds XI ; XJ ; XK correspondants

aux sommets a1 ; a2 ; a3 du triangle K. D’où :
l’algorithme D’assemblage :
la matrice globale
Kh = 0 { Initialisation des éléments de Kh la matrice globale }
l = 1, N { Boucle sur les éléments Kelem }
calcul de Kelem
ilocal = 1, 2, 3 { Boucle sur les lignes de la matrice élémentaire }
Gi = l’indice globale i correspondant au point d’indice i local sur Kh
jlocal = 1, 2, 3, { Boucle sur les colonnes de la matrice élémentaire }
Gj = l’indice globale j correspondant au point d’indice j local sur Kh
K (Gi , Gj ) = K (Gi , Gj ) + Kelem (i, j) { Assemblage }
fin des trois boucles.
Le second membre
bh = 0 { Initialisation des éléments de bh }
l = 1, N { Boucle sur les éléments belem }
calcul de belem
ilocal = 1, 2, 3 { Boucle sur le second membre élémentaire }
Gi = l’indice globale i correspondant au point d’indice i local sur bh
b (Gi ) = b (Gi ) + belem (i) { Assemblage }
fin des deux boucles.
15
MST : MACS.
Chapitre 2: Les équations de Navier-Stokes
Soit Ω ⊂ RN (N ≤ 3) (Dans notre cas N = 2 ) un domaine représentant une région de l’es-

pace. Le domaine Ω sera toujours supposé borné et régulier. La dynamique d’un fluide visqueux
incompressible peut être décrite par les équations de Navier-Stokes où les inconnues sont
-u = u(x, t) le champ de vitesse de l’écoulement.
- p = p(x, t) la pression du fluide au point x = (x1 , · · · , xN ) ∈ Ω et à l’instant t.
La vitesse est une fonction vectorielle u = (u1 , · · · , uN ) ∈ RN avec ui = ui (x1 , · · · , xN , t)

et la pression p est une fonction scalaire. Les équations de Navier-Stokes sont :
+ (u · ∇)u) − µ∆u + ∇p = f dans Ω × R+


 ρ (ut (2.1a)
div u = 0 dans Ω × R+ (2.1b)


La densité ρ > 0 du fluide est choisie constante et µ > 0 désigne la viscosité dynamique du
fluide. Enfin, f = (f1 , ..., fN ) représente une densité massique de forces extérieures (la gravité
par exemple). Les différents opérateurs différentiels intervenant dans les équations de Navier-
Stokes sont définis de la façon suivante :
PN
∂
∇= ∂x1
, · · · , ∂x∂N , (u · ∇)u = ∂u N
i=1 ui ∂xi ∈ R ,
∂2u
∆u = N N PN ∂ui
i=1 ∂x2 ∈ R , div u = i=1 ∂xi ∈ R.
P
i
Aux équations de Navier-Stokes (2.1a), (2.1b), on ajoute une condition limite de type Dirichlet
sur le bord ∂Ω, c’est-à-dire
u(x, t) = g(x, t) pour x ∈ ∂Ω et t > 0.
Dans la plupart des cas, on choisira la condition de non-glissement u = 0 sur ∂Ω.

Enfin, on ajoute une condition initiale sur la vitesse :
u(x, 0) = u0 (x) pour x ∈ ∂Ω
2.1. ADIMENSIONALISATION
où u0 est une fonction donnée.
2.1 Adimensionalisation
Adimensionnaliser des équations, c’est travailler avec des variables sans dimension (unité
physique) au lieu de variables physiques. Pour cela on va introduire des échelles de grandeur
du problème. Par exemple, pour l’abscisse x
x
|{z} = L∗ × X
|{z}
|{z}
variable dimensionnelle facteur d’échelle variable sans dimension
Où X désigne une variable sans dimension d’espace, L∗ est une échelle de longueur telle
qu’on ait X de l’ordre de 1 : X = O(1). Grâce à ce changement de variable, l’unité physique
et l’ordre de grandeur sont portés par l’échelle L∗ tandis que X ne représente que la variation
relative de x.
L’adimensionalisation des équations du mouvement est une étape importante :
1. Elle peut permettre de simplifier les équations en supprimant les termes " petits" par
rapport à d’autres.
2. Elle permet de trouver les nombres sans dimension qui sont utiles pour proposer des
critères de similitude.
3. Elle permet également de substituer les inconnues du problèmes, qui sont généralement
la vitesse est la pression, par des inconnues ayant le même ordre de grandeur, de ce qui
est très utile d’un point de vue numérique.
Le problème délicat est le choix des échelles caractéristiques du problème étudié. Pour les équa-
tions de Navier-Stokes, on introduit un jeu de variables sans dimension :
Soit U ∈ R2 une vitesse caractéristique de l’écoulement étudié (par exemple liée à une
condition limite non-homogène) et L une longueur caractéristique (par exemple le diamètre de
Ω). On considère le temps caractéristique T = L/U et on pose
x t u(x, t) p(x, t)
x̃ = , t̃ = , ũ(x̃, t̃) = , p̃(x̃, t̃) =
L T U ρU 2
Les nouvelles vitesse et pression ũ et p̃ vérifient alors

!
U2 U2 U ρU 2
ρ ũt̃ + (ũ · ∇)ũ − µ 2 ∆ũ + ∇p̃ = f dans Ω̃ × R+
L L L L
17
2.2. RÉDUCTIONS DES ÉQUATIONS
Les (nouveaux) opérateurs différentiels ∇ et ∆ ci-dessus sont relatifs à la (nouvelle) variable

x̃. On obtient ainsi :
1

 ũt

+ (ũ · ∇)ũ − ∆ũ + ∇p̃ = f̃ dans Ω̃ × R+ (2.2a)
Re

div ũ = 0 dans Ω̃ × R+ . (2.2b)

L
avec f̃ = ρU 2
f et Re est le nombre de Reynolds défini par :
LU
Re = ρ
µ
Le nombre de Reynolds caractérise le type d’écoulement étudié. Mathématiquement, il prend

en compte le terme de viscosité du laplacien de la vitesse.
2.2 Réductions des équations
Les équations de Navier-Stokes se réduisent aux équations de Stokes ou d’Euler selon que
le nombre de Reynolds Re est petit ou grand.
0
Pour Re << 1, les effets dus à la viscosité sont dominants. Si on pose p = LU pp̃ = µRep̃
0
et f = µRef˜, l’équation (2.2a) devient
1 1 1 0
ut + (u · ∇)u − ∆u + ∇p0 = f
Re µRe µRe
En faisant tendre Re vers 0, on obtient alors les équations de Stokes stationnaires (on oublie
les primes) :
 −µ∆u + ∇p =f

dans Ω. (2.3a)
div u = 0 dans Ω. (2.3b)


Pour Re 1, le terme de convection non linéaire (u · ∇)u est dominant ; dans ce cas, en
faisant tendre Re vers +∞ dans l’équation (2.2a) (ou bien en prenant directement µ = 0 dans
(2.1a) , on obtient les équations d’Euler (sans les tildes) :
+ (u · ∇)u + ∇p = f dans Ω × R+

 ut (2.4a)
div u = 0 dans Ω × R+ . (2.4b)


18
2.2. RÉDUCTIONS DES ÉQUATIONS
Les principales difficultés pour étudier et résoudre les équations de Navier-Stokes (2.1a),
(2.1b) sont d’une part le couplage vitesse/pression et d’autre part la présence du terme de
convection non-linéaire (u · ∇)u.
Dans cette étude, on traite uniquement la difficulté due à la mixité de la formulation en
vitesse pression du problème du Navier-Stokes. Pour ce faire, on va ignorer le terme d’advection
et on va donc se concentrer sur l’approximation par la méthode des éléments finis mixtes du
problème de Stokes.
19
MST : MACS.
Chapitre 3: Équations de Stokes
Le problème de « Stokes » est au cœur de la simulation numérique en mécanique des fluides.

Une bonne compréhension des difficultés reliées à sa discrétisation par la méthode des éléments
finis ouvre la voie à toute une panoplie d’applications. Cela va des écoulements de fluides forte-
ment visqueux avec des applications notamment à la mise en forme des polymères, aux fluides
peu visqueux que nous modéliserons à l’aide des équations de Navier-Stokes pour étudier des
applications en hydraulique par exemple, introduisons maintenant le problème de Stokes.
Soit Ω ⊂ RN (N = 2) un domaine borné et régulier. On considère le problème de Stokes

sous la forme suivante, avec µ > 0 :
 −µ∆u + ∇p =f dans Ω (3.1a)







div u = 0 dans Ω (3.1b)



u=g

sur ∂Ω (3.1c)
3.1 Formulation mixte du problème de Stokes
Comme nous l’avons déjà mentionné, l’une des étapes fondamentales du processus de réso-
lution consiste à construire les équations discrètes à partir des équations continues à résoudre,
dans notre cas les équations de Stokes. Pour ce faire, on se donne la formulation variationnelle
(ou formulation faible) des équations de Stokes.
Pour éviter d’alourdir le texte, nous ne considèrerons, dans un premier temps, que le cas de
conditions aux limites de type Dirichlet. De plus, on supposera que l’on a des conditions limites
homogènes, c’est-à-dire que u=0 sur ∂Ω.
On va établir une formulation variationnelle mixte du problème de Stokes (3.1a), (3.1b).
Pour ça, on multiplie l’équation (3.1a) par une fonction test v qui s’annule sur le bord ∂Ω et
3.1. FORMULATION MIXTE DU PROBLÈME DE STOKES
on intègre sur Ω :
Z Z Z
−µ ∆u · vdx + ∇p · vdx = f · vdx
Ω Ω Ω
En utilisant la formule de Green, en intégrant par parties le terme de pression et enfin en tenant
compte du fait que la fonction test v s’annule sur le bord du domaine, on obtient :
Z Z Z
µ ∇u : ∇vdx − p div vdx = f · vdx
Ω Ω Ω
n o
Avec v ∈ H01 (Ω)N = v ∈ H 1 (Ω)N , v|∂Ω = 0
On introduit alors les formes bilinéaires suivantes :
a : H01 (Ω)N × H01 (Ω)N → R Z

( u , v ) 7→ a(u, v) = µ ∇u : ∇vdx (2.2.1)
Ω
b : H01 (Ω)N × L2 (Ω) → R Z

( u , q ) 7→ b(u, q) = − (div u)qdx (2.2.2)
Ω
On a besoin également d’introduire l’espace
Z
L20 (Ω) = q ∈ L2 (Ω), qdx = 0 (3.2)
Ω
l’espace des fonctions de L2 (Ω) à moyenne nulle . La formulation variationnelle mixte du pro-
blème de Stokes s’écrit alors :



 Trouver (u, p) ∈ H01 (Ω)N × L20 (Ω) tels que :

 Z Z Z

f · vdx ∀v ∈ H01 (Ω)N

µ ∇u : ∇vdx − p div vdx = (3.3a)


 ZΩ Ω Ω
(div u)qdx = 0 ∀q ∈ L20 (Ω)




 (3.3b)
Ω
Remarque 3.1.1. Dans le cas particulier où X = H01 (Ω)N la relation (3.3b), il est équivalent
de prendre des fonctions test dans L2 (Ω) (c’est-à-dire non nécessairement à moyenne nulle).
En effet, supposons que (3.3b) soit satisfaite. Pour r ∈ L2 (Ω), on note r̄ sa valeur moyenne
1 R
i.e. r̄ = |Ω| Ω
rdx et on a
Z Z Z
(div u)rdx = (div u)(r − r̄)dx + r̄ (div u)dx
Ω ZΩ ZΩ
= (div u)(r − r̄)dx + r̄ u · ndx
Ω ∂Ω
Or, r − r̄ ∈ L20 (Ω) et par conséquent pour u ∈ H01 (Ω)N satisfaisant (3.3b), on obtient :
Z
(div u)rdx = 0
Ω
21
3.2. CONDITION "INF-SUP" CONTINUE
Avec les notations précédentes, la formulation mixte du problème de Stokes s’écrit :



 Trouver (u, p) ∈ H01 (Ω)N × L20 (Ω) tels que




a(u, v) + b(v, p) = (f , v) ∀v ∈ H01 (Ω)N (3.4a)



b(u, q) = 0 ∀q ∈ L20 (Ω)


(3.4b)
Remarque 3.1.2. Il est important de chercher la pression p à moyenne nulle. En effet, si p
vérifie l’équation (3.1b) de Stokes alors il en est de même pour p + C où C est une constante
quelconque. Comme on le verra, l’espace L20 (Ω) des fonctions à moyenne nulle assure l’unicité
de la pression.
3.2 Condition "inf-sup" continue

3.2.1 Un résultat abstrait pour les problèmes mixtes.
Soient X et Y deux espaces de Hilbert et deux formes bilinéaires
a:X ×X →R
b:X ×Y →R
On note k · kX (resp. k · kY ) la norme sur X (resp. sur Y ). Les formes a et b sont supposées
continues. Étant donné f ∈ X 0 , on cherche (u, p) ∈ X × Y tels que :
∀v ∈ X

 a(u, v) + b(v, p) =< f, v >X 0 ,X (3.5a)
b(u, q) = 0 ∀q ∈ Y (3.5b)

Remarque 3.2.1. Les théorèmes qui suivent, et que nous ne démontreront pas, sont d’une
grande importance théorique.
Théorème 3.2.1: Existence et unicité du problème continue
On fait les hypothèses suivantes :

1) La forme a est coercive sur X
Il existe α > 0 tel que a(v, v) ≥ αkvk2X ∀v ∈ X.
2) La forme b satisfait la condition ’inf-sup’ :
Il existe β > 0 tel que sup v∈X b(v,q)
kvkX
≥ βkqkY ∀q ∈ Y .
v6=0
Alors le problème 3.5a, 3.5b admet une unique solution (u, p) ∈ X × Y .
22
3.2. CONDITION "INF-SUP" CONTINUE
Démonstration
Voir Brezzi-Fortin [8] .
Remarque 3.2.2. La condition (2) du théorème précédent implique :
b(v, q)
inf sup ≥β
q∈Y v∈X
q6=0 v6=0
kvkX kqkY
3.2.2 Condition "inf-sup" pour le problème de Stokes.
On souhait présent vérifier les hypothèses du Théorème 3.2.1 pour le problème de Stokes
N
avec X = [H01 (Ω)] , Y = L20 (Ω) et les formes a et b définies précédemment
N N
z z La forme a est continue et coercive sur [H01 (Ω)] × [H01 (Ω)] . En effet, pour tout u
N
et v dans [H01 (Ω)] , on a
Z N Z
X
a(u, v) = µ ∇u : ∇vdx = µ ∇ui · ∇vi dx
Ω i=1 Ω
Par inégalité d’Hölder, il vient

N
X
a(u, v) ≤ µ k∇ui kL(Ω) k∇vi kL(Ω)
i=1
≤ µk∇ukL2 (Ω)N k∇vkL(Ω)N
h iN
≤ µkukH 1 (Ω)N kvkH 1 (Ω)N ∀u, v ∈ H01 (Ω)
ce qui établit la continuité de a.

Par ailleurs, l’inégalité de Poincaré
kukH 1 (Ω)N ≤ Ck∇ukL2 (Ω)N ∀u ∈ H01 (Ω)N
entraine la coercivité de a car
0
a(u, u) = µk∇uk2L2 (Ω)N ≥ C kuk2H 1 (Ω)N ∀u ∈ H01 (Ω)N
N
z z La forme b est continue sur [H01 (Ω)] × L2 (Ω) :
Z
b(v, q) = − (div v)qdx ≤ kvkH 1 (Ω)N kqkL2 (Ω) ∀v ∈ H 1 (Ω)N , ∀q ∈ L2 (Ω)
Ω
Pour établir que la forme b du problème de Stokes vérifie la condition ’inf-sup’, on a besoin du
résultat préliminaire suivant :
23
3.3. APPROXIMATION PAR ÉLÉMENTS FINIS MIXTE ET CONDITION "INF-SUP"
DISCRÈTE
Lemme 3.2.1
Il existe une constante C > 0 telle que pour tout p ∈ L2 (Ω) il existe v ∈ H 1 (Ω)N tel
que
divv = p et kvkH 1 (Ω)N ≤ CkpkL2 (Ω)
Z
N
De plus, si p vérifie pdx = 0 alors on peut prendre v ∈ [H01 (Ω)] .
Ω
Démonstration
Voir S.C. Brenner, L.R. Scott [6]
Pour établir les conditions ’inf-sup’ pour le problème de Stokes, on procède de la façon
suivante.
N
Soit q ∈ L20 (Ω). D’après le Lemme précédent 3.2.2 il existe w ∈ [H01 (Ω)] tel que q = − div w
et kwkH 1 (Ω)N ≤ CkqkL2 (Ω) . On a alors b(w, q) = − = kqk2L2 (Ω) et par conséquent
R
Ω (div w)qdx
b(w, q) 1 b(w, q) 1
≥ = kqkL2 (Ω)
kwkH 1 (Ω)N C kqkL2 (Ω) C
Par conséquent, b vérifie la condition ’inf-sup’ avec β = 1/C > 0 où C est la constante du
Lemme précédent.
Conclusion
N
Le problème de Stokes continue admet une unique solution (u, p) ∈ [H01 (Ω)] × L20 (Ω)
3.3 Approximation par éléments finis mixte et condition

"inf-sup" discrète
On rappelle qu’on se place toujours en dimension N = 2.

2
Soit Xh ⊂ X = [H01 (Ω)] et Yh ⊂ Y = L20 (Ω), deux sous-espaces de dimension finie. La formu-
lation mixte approchée s’écrit de façon abstraite :
Trouver uh ∈ Xh , ph ∈ Yh tels que :







a (uh , vh ) + b (vh , ph ) = (fh , vh ) ∀vh ∈ Xh (3.6a)




b (uh , qh ) = 0 ∀qh ∈ Yh (3.6b)

On suppose que les espaces Xh et Yh sont tels que la forme b vérifie la condition ’inf-sup’
discrète suivante sur Xh × Yh :
24
3.3. APPROXIMATION PAR ÉLÉMENTS FINIS MIXTE ET CONDITION "INF-SUP"
DISCRÈTE
Il existe β ∗ > 0 indépendante de h tel que ∀qh ∈ Yh , ∃vh ∈ Xh , vh 6= 0 tel que :
b (vh , qh ) ≥ β ∗ kvh kX kqh kY
Théorème 3.3.1: Existence et unicité du problème discret
Sous les conditions suivantes :

- la forme bilinéaire a est coercive sur Xh :
a (wh , wh ) ≥ α kwh k2V ∀wh ∈ Xh
- la forme bilinéaire b vérifie :

b (wh , qh )
inf sup ≥ βh
qh ∈Yh wh ∈Xh kqh kY kwh kX
alors la solution (uh , ph ) du problème de Stokes discret est unique dans Xh × Yh .
Démonstration
voir S.C. Brenner, L.R. Scott [6]
3.3.1 Forme algébrique
On désigne par
{ϕi , i = 1, · · · , NXh }
{ψi , i = 1, · · · , NYh }
des bases de Xh et Yh respectivement. On substitue dans la formulation mixte approchée
(3.6a),(3.6a), les développements suivants :
NXh
X
uh (x) = ui ϕi (x)
i=1
NYh
X
ph (x) = pi ψi (x)
i=1
Le problème approché s’écrit :



 Chercher u1 , u2 ..., uNXh p1 , p2 ..., pNYh tels que

N Xh NYh



 X Z X Z Z
∇ϕj (x)∇ϕi (x)dx −


 µ uj pj ψj div ϕi dx = f (x)ϕi dx
j=1 Ω j=1 Ω Ω




 N Xh Z
 X



 u j div ϕi ψj dx = 0.

j=1 Ω
Posons :
25
3.4. ÉLÉMENTS FINIS MIXTE POUR LE PROBLÈME DE STOKES.
Z
Fi = f (x)ϕi dx; F ∈ RNXh , Fi = (f , ϕi )
Ω
Z
Aij = µ ∇ϕj (x)∇ϕi (x)dx; A ∈ MNXh ×NXh , Aij = a (ϕi , ϕj )
Ω
Z
Bij = − ψj div ϕi dx; B ∈ MNYh ×NXh , Bji = b (ϕi , ψj )
Ω
Alors on a :
j=NXh j=NYh
BijT pj = Fi
X X
Aij uj + ∀i = 1, . . . , NXh
j=1 j=1
j=NXh
X
Bij uj = 0 ∀i = 1, . . . , NYh
j=1
On a ainsi obtenu un système linéaire de NXh + NYh équations à NXh + NYh inconnues, qui
peut s’écrire sous la forme matricielle suivante :
! ! !
A BT U F
=
B 0 P 0
où les inconnues sont T
U = u1 , · · · , uNXh ∈ RNXh
T
P = p1 , · · · , pNYh ∈ RNYh
Remarque 3.3.1. Il faut faire attention au choix des espaces d’approximation Xh et Yh pour
la vitesse et la pression, ils doivent être choisis de telles sorte que la condition ’inf-sup’ discrète
3.3 soit satisfaite.
3.4 Éléments Finis mixte pour le problème de Stokes.
Il nous faut maintenant définir les espaces Xh et Yh de telle façon que le problème variationnel
(3.6a), (3.6b) soit bien posé. Le choix le plus simple consiste à choisir une approximation P1
pour uh et ph , ce qui nous permet d’utiliser la même triangulation pour Xh et Yh et fixer les
inconnues sur les points de discrétisation de Xh et Yh . Malheureusement, un tel choix nous
donne un problème mal posé (contre exemple).
26
3.4.1 Des exemples de discrétisations compatibles et non compa-

tibles.
Vitesse Pression
Figure 3.1 – Éléments incompatible P1 /P1 .
Vitesse Pression
Figure 3.2 – Éléments Finis P1 − bulle/P1 .
Vitesse Pression
Figure 3.3 – Élément de Taylor-Hood P2 /P1 .
27
Vitesse Pression
Figure 3.4 – Élément incompatible à pression discontinue Q1 /Q0 .
Remarque 3.4.1. La condition ’inf-sup’ pour les éléments finis Pk /Pk n’est pas satisfaite en
général.
Les espaces Pk+1 /Pk satisfont la condition ’inf-sup’ pour tout k > 1.
3.4.2 Éléments P1 /P1 : mode parasite (Exemples de discrétisations

non compatibles)
On cherche la vitesse discrète dans l’espace Xh construit avec l’élément fini de Lagrange P1
et la pression dans l’espace Yh construit également avec cet élément fini.
Sur le carré unité maillé avec une triangulation structurée et uniforme, on peut construire
facilement un mode de pression parasite : il s’agit de la fonction p∗h qui vaut alternativement
+1,0 et -1 sur les sommets du maillage.
1 0 -1 1
1
0 -1 0
1 0
-1 -1
1 1
0 -1
Figure 3.5 – Exemple P1 /P1 : non unicité de la pression.
28
On vérifie que :
Z
∀vh ∈ Xh , p∗h ∇ · vh = 0
Ω
Z
On a bien p∗h ∈ Yh car p∗h dx = 0.
Ω
En effet, on a :
3
Z XZ |K| X
p∗h dx = p∗h dx = p∗h aiK
X
Ω K K K 3 i=1

Où aiK désigne les sommets du triangle K. Or, par construction de p∗h , on a
P3 ∗ K
i=1 ph ai =0
Z
et donc on a bien p∗h dx = 0. De plus,
Ω
XZ Z
(div vh , p∗h ) (div vh ) p∗h dx p∗h dx
X
= = (div vh )|K
K K K K
Z
Par construction de p∗h , on a encore p∗h dx = 0 et donc (div vh , p∗h ) = 0 (2.4.2.1).
K
Condition ’inf-sup’ non satisfaite
On peut également montrer qu’avec cet exemple, il n’y a pas unicité de la pression ph . En effet,
pour la fonction p∗h on a (div vh , p∗h ) = 0 ∀vh ∈ Xh .
Dans ce cas on a :
(div vh , qh + cp∗h ) = (div vh , vh ) ∀vh ∈ Xh ∀qh ∈ Yh ∀c ∈ R
Par conséquent, si ph est solution alors ph + cp∗h est encore solution. Il n’y a donc pas unicité
de la pression.
L’existence d’un p∗h vérifiant (2.4.2.1) montre que la condition ’inf-sup’ discrète n’est pas
vérifiée par les éléments P1 /P1 . Si bien que les espaces Xh et Yh ne satisfont pas la condition
de compatibilité (’inf-sup’).
On peut montrer de la même façon que la condition ’inf-sup’ discrète n’est pas non plus
vérifiée par les éléments P1 /P0 où l’espace d’approximation Xh pour la vitesse est le même que
précédemment mais où l’espace approché pour la pression est donné par :
n o
Yh = qh ∈ L20 (Ω) | qh|K ∈ P0 , ∀K ∈ Th
29
3.4.3 Éléments Finis P1 − bulle/P1 (Élément Mini).
La raison pour, laquelle l’élément P1 /P1 ne conduit pas à la condition ’inf-sup’ discrète 3.3
est que l’espace d’approximation des vitesses n’est pas assez riche. L’idée de la construction
de l’élément mini est de conserver une approximation de la pression basée sur l’élément fini de
Lagrange P1 et d’enrichir l’espace d’approximation des vitesses afin qu’il existe un champ de
vitesse discret vh∗ tel que (div vh∗ , p∗h ) 6= 0 où p∗h est le mode de pression parasite illustré dans la
figure (3.5).
Soient λK K K K
1 , λ2 , λ3 les coordonnées barycentriques par rapport à un triangle K. On note λb
la fonction "bulle" associée au triangle K et définie par :
(
(d + 1)d+1 λK K K
1 λ2 λ3 sur K
(3.4.1) λK
b =
0 ailleurs.
On a λb K K
|K ∈ P3 (d’où le terme de fonction "bulle") et λb ≡ 0 sur le bord ∂K.
2
La fonction "bulle" λK 1
b est continue sur Ω̄. On considère alors le sous-espace Xh de [H0 (Ω)]
défini par
3
Xh = {vh ∈ C 0 (Ω̄)2 | vh (x) = αiK λK K K
X
i (x) + β λb (x)
i=1
avec αiK , βiK 2
∈ R , ∀x ∈ K, ∀K ∈ Th et vh = 0 sur ∂Ω} (3.4.2)
L’espace Xh est composé des fonctions continues sur Ω̄, nulles sur le bord et somme d’une
fonction affine par morceaux et d’une combinaison linéaire de fonctions “bulles” (les fonctions
λK
b sont nulles en dehors de K).
Pour la pression, on choisit

n o
(3.4.3) Yh = qh ∈ C 0 (Ω̄) | qh|K ∈ P1 , ∀K ∈ Th ∩ L20 (Ω)
Vérification de la condition "inf-sup" discrète pour P1-bulle/P1.

On doit montrer qu’il existe β ∗ > 0 tel que ∀qh ∈ Yh , ∃uh ∈ Xh , uh 6= 0 tel que
(3.4.4) b (uh , qh ) ≥ β ∗ kuh kH 1 (Ω)2 kqh kL2 (Ω)
On suppose que la triangulation Th est uniformément régulière. Soit qh ∈ Yh fixé. Puisque

2
Yh ⊂ Y et que b vérifie la condition ’inf-sup’ continue sur X × Y, il existe un u ∈ X = [H01 (Ω)]
tel que
(3.4.5) b (u, qh ) ≥ βkukH 1 (Ω)2 kqh kL2 (Ω) ,
30
Avec β > 0 indépendant de qh (en revanche u dépend bien sur de qh ). Pour établir (3.4.4), il
suffit alors de montrer l’existence de uh ∈ Xh tel que
(3.4.6) b (uh , qh ) = b (u, qh )
(3.4.7) kuh kH 1 (Ω)2 ≤ CkukH 1 (Ω)2 ,
Où C > 0 est indépendante de qh et h. En effet, si (3.4.6) et (3.4.7) sont vérifiées alors

on obtient (2.4.4) avec β ∗ = β/C > 0. De plus, puisque Yh ⊂ H 1 (Ω), la relation (3.4.6) est
équivalente à
Z Z
uh · ∇qh dx = u · ∇qh dx.
Ω Ω
Or ∇qh est constant sur chaque triangle donc il suffit de trouver uh ∈ Xh tel que
Z Z
(3.4.8) uh dx = udx ∀K ∈ Th
K K
(3.4.9) kuh kH 1 (Ω)2 ≤ CkukH 1 (Ω)2
où C > 0 est indépendante de h.

Cherchons donc uh ∈ Xh vérifiant (3.4.8), (3.4.9). Toute fonction vh ∈ Xh est déterminée
de façon unique par ses valeurs aux sommets des triangles n’appartenant pas au bord ∂Ω (i.e.
les valeurs vh (ai ), ∀ai sommet ∈
R
/ ∂Ω) et ses valeurs moyennes K uh dx sur les triangles K. En
effet, pour vh ∈ Xh , on a, pour tout K ∈ Th :
3
vh aiK λi (x) + β K λK
X
vh (x) = b (x) ∀x ∈ K
i=1
K
et β est déterminé par la relation
Z 3 Z Z
vh aiK λK K
λK
X
vh dx = i dx + β b dx
K i=1 K K
On choisit alors uh ∈ Xh tel que
(3.4.10) uh (ai ) = Rh u (ai ) ∀ai sommets de Th ,

Z Z
(3.4.11) uh dx = udx ∀K ∈ Th
K K
Où Rh u ∈ Xh et l’opérateur Rh est défini à partir de la Proposition 2.4 de ([6] ) On a besoin

2
du projecteur Rh car u ∈ [H01 (Ω)] n’est pas nécessairement continue et cela n’aurait pas de
31
sens de parler de u (ai ) . . . Il reste à établir l’estimation (3.4.5).

On a
3
Rh u aiK λK K K
X
uh|K = i + β λb
i=1
soit encore
(3.4.12) uh|K = Rh u|K + β K λK

b
On a donc
kuh k2H 1 (Ω)2 = kuh k2H 1 (K)2
X
K∈Th
X 2
≤ kRh ukH 1 (K)2 + β K λK

b H 1 (K)
K∈Th
X 2 2
≤2 kRh uk2H 1 (K)2 + β K λK

b H 1 (K)
K∈Th
X 2 2
= 2 kRh uk2H 1 (Ω)2 + 2 β K λK

b H 1 (K)
K∈Th
X 2 2
≤ Ckuk2H 1 (Ω)2 + 2 β K λK d’après la proposition 2.4([6])

b H 1 (K)
K∈Th
où C > 0 est indépendante de u et de h. Par ailleurs, d’après (2.4.12) et (2.4.9), on a

Z Z Z Z
K
udx = uh dx = Rh udx + β λK
b dx
K K K K
d’où Z
(u − Rh u) dx
K K
(3.4.13) β = Z
λK
b dx
K
D’après la formule d’intégration suivante .
Pour tout k1 , k2 , k3 ≥ 0,
Z
k1 !k2 !k3 !
λk11 λk22 λk33 dx = 2|K|
K (2 + k1 + k2 + k3 )!
on obtient
Z Z
27|K|
(3.4.14) λK
b dx = 27λK K K
1 λ2 λ3 dx =
K K 60
Par Cauchy-Schwarz, l’expression (3.4.13) de β K conduit à

K ku − Rh ukL2 (K)2
β ≤ 60
27|K|1/2
Or |K| ≥ π4 ρ2K (l’aire d’un triangle est plus grande que celle du cercle inscrit) et par conséquent
1 0 1 00 1
≤ C ≤ C
|K|1/2 ρK h
32
car la triangulation est supposée uniformément régulière. On obtient donc

K C
β ≤ ku − Rh ukL2 (K)2
h
où C > 0 est indépendant de h et K. Par ailleurs, d’après la Proposition 2.1 de ([6]) on a

!

K hK
λ ≤ C hK +
H 1 (K)2 ρK
0
≤C
Où C 0 est indépendant de K et h
On obtient donc,
C
kuh k2H 1 (Ω)2 ≤ Ckuk2H 1 (Ω)2 + kRh u − uk2L2 (Ω)2
h2
On conclut en utilisant la Proposition 2.4 de ([6]) que
kuh k2H 1 (Ω)2 ≤ Ckuk2H 1 (Ω)2
On a ainsi montré que l’élément P1 -bulle /P1 vérifie la condition ’inf-sup’ discrète.
Écriture du problème approché :
Pour chaque triangle K, le champ de vitesse uh et la pression ph sont approximés par une
combinaisons linéaires des fonctions de base sous la forme :
3
X
u(x) = ui λi (x) + ub λb (x),
i=1
X3
p(x) = pi λi (x)
i=1
Où ui et pi sont des valeurs de uh et ph en nœud i tandis que ub est le terme associé à la bulle.
On pose " #
ui
ūi = , i = 1, 2
uib
" #
¯ fi
fi = , i = 1, 2
fib
Or le champs bulle possède la propriété que son gradient est orthogonal à tout tenseur constant
par élément, ce qui donne :
Z
∇λi : ∇λb dx = 0 [9]
K
Ce qui amène localement au système algébrique suivant :
33
   
−B̄1t f¯1 

Ā 0 ū
 1 
f¯2 
 
t
(3.4.14)  0
 Ā −B̄2   ū2  = 

 
−B̄1 −B̄2 0 p 0
Avec Ā est La matrice de rigidité, et B̄i est la sous matrice de divergence correspond à la dérivée
partielle i.
¯
Z
(K)
Aij = µ∇λi · ∇λj dx
ZK Z
(K)
B̄ij = ∂1 λi λj dx + ∂2 λi λj dx
ZK K
(K)
f¯i = f λi dx
K
Ensuite, les opérations d’assemblage consistent à additionner directement les matrices élémen-

taires sur Ω pour obtenir les matrices globales : Ā = Āij , B̄ = B̄ij et f¯ = f¯i
X (K)
Āij = Āij
K∈Th
X (K)
B̄ij = B̄ij
K∈Th
(K)
f¯i = f¯i
X
K∈Th
Calcul des coefficients de matrice élémentaire A.

Soient {(xi , yi )}i=1,2,3 les coordonnées des sommets de triangle K, alors les seules fonctions
de base non nulles sont les fonctions φ1 , φ2 , φ3 . Leurs restrictions dans le triangle K, sont
respectivement les trois coordonnées barycentriques λ1 , λ2 , λ3 .
Alors les gradients de λi sont donnés par :
−1 
∇λt1
     
1 1 1 0 0 y − y 3 x3 − x2
1  2
 ∇λt2  =  x1 x2 x3   1 0 =  y 3 − y 1 x1 − x3 
      
2|K|
∇λt3 y1 y2 y3 0 1 y 1 − y 2 x2 − x1
Où |K| est l’aire de K donné par :
" #
x2 − x1 x3 − x1
2|K| = det = (x2 − x1 ) (y3 − y1 ) − (x3 − x1 ) (y2 − y1 )
y2 − y1 y3 − y1
Soient les notations suivantes :
xij = xi − xj , yij = yi − yj , i, j = 1, 2, 3
Et    
x32 y23
x(K) =  x13 

, y (K) =  y31 


x21 y12
Donc le sous matrice élémentaire A, qui n’est pas associé à la fonctions bulle est donné par :
Pour tout 1 ≤ i, j ≤ 3, on a :
34
Z
µ (K) (K) (K) (K)

Aij = µ∇λi · ∇λj dx = yi yj + xi xj
K 4|K|
µ
t t
A= y (K) y (K) + x(K) x(K)
4|K|
Puisque Ā est symétrique, donc il suffit de calculer Ābj , for j = 1, 2, 3, b.
On sait que :
3
9 X
Ābj = |K| ∇λi = 0, j = 1, 2, 3
4 i=1
Alors il nous reste de calculer Ābb , en effet

Z
Ābb = µ 272 ∇ (λ1 λ2 λ3 ) · ∇ (λ1 λ2 λ3 ) dx
K
81
= µ|K| |∇λ1 |2 + |∇λ2 |2 + |∇λ3 |2 + ∇λ1 ∇λ2 + ∇λ1 ∇λ3 + ∇λ2 ∇λ3
10
81
= µ|K| |∇λ1 |2 + |∇λ2 |2 + ∇λ1 · ∇λ2
10
81µ (K) 2 (K) 2 (K) 2 (K) 2

(K) (K) (K) (K)
= x1 + y1 + x2 + y2 + x1 x2 + y1 y2 =: ωR
40|K|
D’où la matrice élémentaire Ā : !

A 0
Ā =
0 ωR
Calcul des coefficients de matrice de divergence B
Une intégration directe donne la matrice de divergence élémentaire
h i
−B̄ = −B̄1 − B̄2 , où B̄i = [Bi − Bib ]
Avec  
∂λ ∂λ ∂λ
|K|  i 1 i 2 i 3 
Bi =  ∂i λ1 ∂i λ2 ∂i λ3  , i = 1, 2
3
∂i λ1 ∂i λ2 ∂i λ3
et  
∂λ
9|K|  i 1 
Bib =  ∂ i λ2  , i = 1, 2
20
∂ i λ3
En utilisant les notations précédentes on a trouvé
 t 
(K)
 y 
1  t 
B1 =  y (K)
 

6 
 t


y (K)
 t 
(K)
 x 
1  t 
B2 =  x(K)
 

6 
 t


x(K)
35
9 (K) 9 (K)
B1b = y , B2b = x
40 40
Calcul des composantes du second membre F
Pour le terme fi qui n’est pas associe à la bulle est donné par :
(K) |K|
fi = fiK , i = 1, 2, 3
3
où fiK est la moyenne de fi en K. c-à-d
1
fiK = (fi (x1 ) + fi (x2 ) + fi (x3 ))
3
Les termes associé aux bulle sont donnés par :
(K)
Z
9
fib = fi λb dx = |K|fiK , i = 1, 2
K 20
Élimination des d.d.l. associés aux bulles
Les fonction bulle sont associées à des nœuds internes sur chaque élément du maillage de
plus les fonctions de forme associées aux nœuds internes ont un support qui se limite à un
élément, et sont donc nulles sur le bord de chaque élément. les degré de liberté correspondant
ne sont liés à aucun autre degré de liberté que ceux de l’élément considéré. Cela nous permet
donc d’éliminer par condensation les degré de liberté de la bulle au niveau élémentaire avant
l’assemblage.
Alors le système matricielle global peut s’écrire sous la forme suivante :
0 −B1t
    
A 0 0 u1 f1
t
0 ωR 0 0 B1b   u1b  f1b
    
  
t 
     

 0 0 A 0 −B2   u2  = 

 f2 

t
0 0 0 ωR B2b   u2b  f2b
    
  
−B1 B1b −B2 B2b 0 p 0
On permute la ligne 3 de la matrice avec la ligne 2 et on obtient :
0 −B1t
    
A 0 0 u1 f1
0 A 0 0 −B2t   u2 f2
    
   
t
    
 0 0 ωR 0 B1b   u1b  =  f1b .
    
t
0 0 0 ωR B2b    u2b f2b
    
   
−B1 −B2 B1b B2b 0 p 0
36
Alors on peut éliminer les inconnues u1b , u2b qui sont associés à la bulle.
De la ligne 3 et 4 on en déduit :

t
u1b = f1b − B1b p /ωR

t
u2b = f2b − B2b p /ωR ,
Maintenant on remplace ces équations dans la ligne 5 et on obtient le système linière suivant :
−B1t
    
A 0 u1 f1
t

 0 A −B 2

u
 2 

= 
 f2 

−B1 −B2 −ωR−1 (B1b B1b
t t
+ B2b B2b ) p −ωR−1 (B1b f1b + B2b f2b )
Posons :

E = −ωR−1 B1b B1b
t t
+ B2b B2b
Alors on a
81
t t
E=− x(K) x(K) + y (K) y (K)
1600ω
La matrice global devient :
−B1t
    
A 0 u1 f1
t 
 0 A −B2   u2  =  f2
   

−1
−B1 −B2 E p −ωR (B1b f1b + B2b f2b )
Les degrés de liberté associés au terme de la bulle sont totalement éliminés du système algé-
brique global. la contribution dans le problème global de la bulle est évaluée localement par
condensation. on obtient alors une formulation mixte en vitesse/pression avec seulement des
inconnues nodales, les trois composantes du vitesse et celle de la pression.
Élément P1 + /P1 :
Un autre exemple pour l’élément P1 + /P1 , consiste à construire (d+1) simplexes dans K̂
en reliant le barycentre de K̂ aux (d + 1) sommets de K̂, puis à prendre pour λb la fonction
continue et affine par morceaux dans K̂ qui s’annule aux (d + 1) sommets de K̂ et qui vaut un
en son barycentre.
Arnold et al. en 1984 montrent que la fonction hiérarchique égale à la partie inférieure des
fonctions de formes du triangle linéaire donne rapidement d’excellents résultats. c’est-à-dire
λb = 3M in(λ1 , λ2 , λ3 ) Cette fonction présente l’avantage de fournir le même ordre d’intégration
pour les fonctions bulle que pour les vitesses et les pressions (voir figure 3.7-b).
37
ŷ
λ1 (x̂, ŷ) = 1 − x̂ − ŷ
pression
λ2 (x̂, ŷ) = x̂
vitesse
λ3 (x̂, ŷ) = ŷ
λb (x̂, ŷ) = 3M in(λ1 , λ2 , λ3 ) pour P 1 + /P 1

K
d
1
λb (x̂, ŷ) = 27λ1 λ2 λ3 pour P 1 − bulle /P 1
K
d
2
x̂
K
d
3
Figure 3.6 – Discrétisation d’élément P1 + /P1 .
Lorsque des fonction hiérarchiques sont utilisées, la fonction de forme associée au nœud
bulle n’est pas dérivable sur l’ensemble de l’élément comme le montre la figure 3-7 (b). Dans le
cas d’un élément 2D triangle, les quantités élémentaires ne peuvent donc pas être intégrées à
partir d’un seul point de gauss situé au centre de l’élément comme c’est habituellement le cas
pour les éléments triangles à approximation linéaire.
Figure 3.7 – Choix de la fonction d’interpolation pour le degré bulle dans le cas d’un élément
triangle 2D - (a) polynôme de degré 3, (b) fonctions hiérarchique.
38
Dans le cas du triangle cette fonction est continue et dérivable sur 3 sous-domaines K̂1 ,K̂2
,K̂3 et de surface égale sur lesquels :
λb = 3λ1 sur K̂1
λb = 3λ2 sur K̂2
λb = 3λ3 sur K̂3
L’intégration peut donc être menée à partir d’un schéma à 1 point de Gauss sur chacun des
sous domaines. Dans le cas du triangle, nous pouvons écrire les dérivées dans le cas de fonctions
hiérarchiques :
3 Z 3 3
Z
∂λb X ∂λb X ∂λb K̂ X 3∂λj
∀m ∈ [1, 2] dv = dv = K̂j =
K̂ ∂xm j=1 K̂j ∂xm j=1 ∂xm 3 j=1 ∂xm
Donc les matrices et le seconde membre restent les même que avec la fonction bulle sauf :
Z
Abb = µ∇λb · ∇λb dx
K
3 Z
X
= µ∇λb · ∇λb dx
j=1 Kj
3 Z
X
= 9µ∇λj · ∇λj dx
j=1 Kj
3
X
= 3µ|K|∇λj · ∇λj
j=1
3
X µ (T ) (K) (K) (K)

= yj yj + xj xj
j=1 4|K|
 
∂ i λ1
Bib = |K|  ∂i λ2  , i = 1, 2
 
∂ i λ3
Z
(K)
fib = fi λb dx = |K|fiT , i = 1, 2
K
Remarque 3.4.2. Bien souvent le calcul d’intégrales dans le cas bidimensionnel peut s’avérer
très difficile. C’est pourquoi dans la pratique, on utilise des méthodes numériques pour appro-
cher de telles intégrales. Parmi ces méthodes on cite la méthode de quadrature de Gauss et la
méthode que nous avons utilisé dans ce projet (la formule barycentrique).
Nous avons montré que le problème de Stokes peut être ramené aux problème suivant Ax = b
39
Ce n’est rien d’autre qu’une résolution d’un système linéaire, où la matrice est symétrique et
inversible si nos espaces vérifient la condition de l’inf-sup. Nous pouvons donc appliquer les
algorithmes connus de résolution de systèmes linéaires pour résoudre ce problème.
Après avoir résolu le système 3.4.14 on obtient une solution en chaque nœud de calcul du
maillage triangulaire. Plus précisément, on obtient les composantes 2 de la vitesse et la compo-
sante de la pression sur chacun des nœuds. Il ne reste plus qu’à visualiser les résultats.
40
MST : MACS.
Chapitre 4: Résultats numériques
On considère le domaine bidimensionnel Ω = (0, 1) × (0, 1). On a discrétisé Ω, d’abord par

un premier maillage grossier ( 140 noeuds et 246 éléments). Avec les conditions aux limites de
Dirichlet pour u sur le bord du domaine :
!
4x(1 − x)y
u|∂Ω =
0
On impose également la pression en un point quelconque du domaine. En effet, la pression est
définie à une constante près car nous sommes en domaine fermé.
Figure 4.1 – Maillage, pas h=1/8, nbTriangles =246, nbNoeuds=140.
Champ de vitesse
1.2
0.8
0.6
0.4
0.2
0
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
Figure 4.2 – Champ de vitesse dans le domaine Ω
On visualise le champ de vitesse u à l’aide de la fonction Matlab quiver (Figure 4.2).

On peut également visualiser les isobares dans le domaine Ω
1.2
0.8
0.6
0.4
0.2
0
0 0.2 0.4 0.6 0.8 1 1.2
Figure 4.3 – Isobares dans le domaine Ω
Voici maintenant les résultats obtenus sur un maillage plus fin.
42
Champ de vitesse
1.2
0.8
0.6
0.4
0.2
0
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
Figure 4.4 – Champ de vitesse dans le domaine Ω
1.2
0.8
0.6
0.4
0.2
0
0 0.2 0.4 0.6 0.8 1 1.2
Figure 4.5 – Isobares dans le domaine Ω
Pour pouvoir apprécier la stabilité apportée par l’élément P1 − bulle/P1 , on fait un test en
utilisant des éléments de type P1 /P1 qui ne respectent pas la conditions inf − sup ( Théorème
2.3.1 )
43
Les tests réalisés avec l’élément P1 /P1 , donnent des solutions satisfaisantes pour le champ de
vitesse (voir figure 2.6) mais un champ de pression instable (voir Figure.2.14)
1.2
0.8
0.6
0.4
0.2
0
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
Figure 4.6 – Champ de vitesse dans le domaine Ω en utilisant P1 /P1
Des isobares en utlisant P1/P1

1.2
0.8
0.6
0.4
0.2
0
0 0.2 0.4 0.6 0.8 1 1.2
Figure 4.7 – Isobares dans le domaine Ω en utilisant P1 /P1
44
On observe que le champ de vitesses a l’air correct mais la solution en pression est polluée par
la présence de pressions parasites. Dans ce cas, il s’agit de la fonction qh qui vaut alternativement
+1 ; 0 et -1 sur les sommets du maillage, comme la théorie le prévoyait.
Pour vérifier la validité des résultats obtenus, on a comparé nos résultats avec celles obtenue à
partir des logiciels Gibianes ([13])
Figure 4.8 – Solution numérique du problème de Stokes avec le logiciel Gibianes .
On observe que les résultats obtenus sont assez proches, ce qui confirme la validité de nous
programme réalisé avec Matlab.
Nous allons maintenant procéder à la validation de nos développements, en comparant la
solution exacte avec notre solution approchée sur des cas particuliers où la solution exacte est
connue.
Cas test-1
On considère les données suivantes :

f1 (x, y) = 2x + 16µπ 2 sin(2πx)cos(2πy)
f2 (x, y) = 2y − 16µπ 2 cos(2πx)sin(2πy)
Pour lesquelles la solution exacte du problème de Stokes est
u1 (x, y) = 2sin(2πx)cos(2πy) u2 (x, y) = −2cos(2πx)sin(2πy) p(x, y) = x2 + y 2
Après avoir créé le maillage en créant N = 8 noeuds sur chaque côté du triangle, le logiciel
Matlab nous donne l’illustration suivante :
45
Figure 4.9 – Les solutions exactes et approchées .
Cas test-2
On considère les données suivantes :

f1 (x, y) = −4µπ 2 sin(2πy)(2cos(2πx) − 1) + 4π 2 sin(2πx)
f2 (x, y) = 4µπ 2 sin(2πx)(2cos(2πy) − 1) − 4π 2 sin(2πx)
Pour lesquelles la solution exacte du problème de Stokes est

u1 (x, y) = −cos(2πx)sin(2πy) + sin(2πy) u2 (x, y) = sin(2πx)cos(2πy) − sin(2πx)
p(x, y) = 2π(cos(2πy) − cos(2πx))
Le logiciel Matlab nous donne l’illustration suivante :
46
Figure 4.10 – Les solutions exactes et approchées .
4.0.1 Application dans un écoulement de Poiseuille
Lorsqu’un fluide parcourt un tube infiniment long de section circulaire de rayon constant R
ou s’écoule entre deux plaques parallèles distante de h, on parle alors d’écoulement de Poiseuille.
Solution exacte d’un écoulement de Poiseuille
Proposition 4.0.1
La vitesse du fluide u dans le cas d’un tube d’axe orienté selon z et de section circulaire
est donnée par :
!
1 dp 2
u(r, θ, z) = u(r) = 0, 0, R − r2
4µ dz
Où R et le rayon de la section du tube, µ est le coefficient de viscosité du fluide et p

est la pression agissant à l’intérieur du tube. La vitesse est parallèle à l’axe du tube.
Démonstration
voir Jonathan Rochat [17]
Soit Ω un ouvert de R2 dont le bord est le rectangle de sommet (0, −1/2), (2.5, −1/2), (2.5, 1/2)
et (0, 1/2) :
47
Figure 4.11 – Maillage
On considère le problème de Stokes : trouver u : Ω → R2 et p : Ω → R tel que
  

 2(µ − 1) 
−µ∆u + ∇p = dans Ω



0





 div u = 0 dans Ω

u = (0, 0) sur 1, 3






u = (1/4 − y 2 , 0) sur 2, 4.


Ce problème admet la solution exacte u(x, y) = (1/4 − y 2 , 0) et p = −2x du moment que

l’on impose la condition initiale p(0, 0) = 0. On peut voir ce problème comme un tube de
Poiseuille dans R3 d’axe selon x et de rayon 2.5 que l’on aurait coupé avec un plan contenant
l’axe du cylindre. Cela signifie que l’on a fixé l’angle θ dans la partie théorique précédente,
ce qui nous a ramené à un problème en 2 dimensions. Sa résolution sur Matlab est similaire
exemples précédents. Pour le maillage de Ω, nous divisons les côtés 2 et 4 du rectangles en N
parties et les côtés 1 et 3 en 25 N parties. On obtient l’illustration suivante :
48
4.1. CALCUL DES ERREURS D’INTERPOLATION
Figure 4.12 – Isobares de p et champs de vitesse u
Cela nous montre que la vitesse sera maximale lorsque le fluide se trouve au centre du tube
et nulle sur les bords, comme la théorie le prévoyait.
4.1 Calcul des erreurs d’interpolation
Lorsque nous calculerons des problèmes avec solution exacte, nous vérifierons le résultat en
calculant les erreurs relatives entre les solutions exactes u et p et leur approximation sur Matlab
uh et ph .
4.1.1 Estimation de l’erreur numérique
On rappelle que l’erreur dans une certaine norme ku − uh k entre la solution exacte u et la
solution calculée uh est majorée par :
ku − uh k ≤ ku − rh (u)k + krh (u) − uh k
La première à droite est l’erreur d’interpolation ;

On va se restreindre ici au calcul de krh (u) − uh k et à le considérer comme erreur numérique.
h
On considère les données suivantes : Ω =]0, 1[×]0, 1 , f = (f1 , f2 )t , uD = (g1 , g2 )t , avec
f1 (x, y) = 2µ sin(π(x + y)) + π1 cos(π(x + y)), g1 (x, y) = π12 sin(π(x + y))

|
f2 (x, y) = −2µ sin(π(x + y)) + π1 cos(π(x + y)), g2 (x, y) = − π12 sin(π(x + y))
49
Pour lesquelles la solution exacte est
1 1 1
u1 (x, y) = sin(π(x + y)), u2 (x, y) = − sin(π(x + y)), p(x, y) = sin(π(x + y)).
π2 π2 π2
On se propose de calculer les erreurs en norme L2 .

1
krh (u1 ) − u1h kL2 (Ω) , krh u2 − u2h kL2 (Ω) , rh (p) − ph

L2 (Ω)
où rh est l’opérateur d’interpolation P 1 -Lagrange, (u1h , u2h ) sont les composantes de la

vitesse calculée, et ph est la pression calculée. Ces erreurs peuvent être calculées au moyen des
Z
matrice Mij = ϕi · ϕj
Ω
En effet dans le cas particulier de la pression, si on désigne par la pression Pe le vecteur

valeur de la pression exacte p aux positions des degrés de liberté, on peut écrire :
rh p − ph = [ϕ1 ...ϕndl ] (Pe − P ) d’où
Z
krh p − ph k2L2 (Ω) = (Pe − P )t [ϕ1 ...ϕndl ]t [ϕ1 ...ϕndl ] (Pe − P )
Ω
| {z }
Matrice de masse
Z
= (Pe − P )t ϕj ϕi (Pe − P ) pour tout 0 ≤ i, j ≤ ndl
Ω
= (Pe − P )t M (Pe − P )
Avec M est la matrice de masse
De même on a
krh ui − uih k2L2 (Ω) = (Uie − Ui )t M (Uie − Ui ) pour tout 1 ≤ i ≤ 2
Taille de maille krh p − ph k2L2 (Ω) krh u1 − u1h k2L2 (Ω) krh u2 − u2h k2L2 (Ω) CPU
8×8 5.4205e-07 5.4707e-06 4.1303e-06 0.233855
16×16 3.5598e-08 1.4070e-07 1.3461e-07 0.711692
32×32 2.0599e-09 3.1494e-09 3.0869e-09 1.751763
64×64 1.3576e-10 2.4320e-10 2.7382e-10 14.754207
Voici le graphe d’erreurs produites par la méthode des éléments finis mixte, pour N allant de 4
(h = 14 ) à 64 (h = 1
64
)
50
Erreur en norme L2
10-2
rhU1-U1h
rhU2-U2h
rhP-Ph
10-3
Erreur
10-4
10-5
0 10 20 30 40 50 60 70
Le pas N=1/h
Figure 4.13 – Erreur sur les composantes de la vitesse et la pression dans Ω en échelle log/log.
Remarque 4.1.1. Une méthode pratique pour estimer l’ordre de convergence pour une méthode
de discrétisation est de déterminer la pente de la droite d’équation suivante :
log (err) = c + k log (h)
51
10
Erreur calculée
Droite de régression
8
log(err)
4
1 1.5 2 2.5 3 3.5
log(h)
Figure 4.14 – La droite de régression linéaire d’erreur pour la 1ère composante de la vitesse
dans Ω en échelle log/log.
10
Erreur calculée
Droite de régression
9
8
log(err)
4
1 1.5 2 2.5 3 3.5
log(h)
Figure 4.15 – La droite de régression linéaire d’erreur pour la 2ème composante de la vitesse
dans Ω en échelle log/log.
52
10.5
Erreur calculée
10 Droite de régression
9.5
8.5
log(err)
7.5
6.5
5.5
1 1.5 2 2.5 3 3.5
log(h)
Figure 4.16 – La droite de régression linéaire d’erreur pour la pression dans Ω en échelle
log/log.
Pratiquement l’ordre de convergence en norme L2 est 0.93 pour la vitesse et d’ordre 0.89
pour la pression.
53
MST : MACS.
Conclusion
Le problème de stokes s’écrit sous la forme d’un système d’EDPs dont les inconnues sont la
vitesse et la pression, cette mixité de la formulation en vitesse-pression nécessite une discrétisa-
tion compatible entre les deux espaces d’approximations de ces deux inconnues, ils doivent être
choisis de telles sorte que la condition inf-sup discrète ou la condition de Babuška-Brezzi soit
satisfaite. C’est pour satisfaire cette condition que nous avons utilisé des éléments finis mixte
de type P1 − bulle /P1 et P1 + /P1 . Ces deux derniers sont un élément P1 /P1 dont on enrichit
l’interpolation de la vitesse par l’ajout d’un degré de liberté associé au centre de gravité sur
chaque élément du maillage et il diffèrent par le choix de la fonction de forme associée à ce
centre. Ces deux choix d’espaces de discrétisation compatibles présente l’avantage d’avoir une
approximation linéaire pour les deux champs inconnues mais également le fait que les fonctions
bulles sont associées à des nœuds internes sur chaque élément du maillage, ces fonctions d’enri-
chissement de l’interpolation de la vitesse pour garantir des espaces d’interpolation compatibles,
ont un support qui se limite à un élément, et sont donc nulles sur le bord de chaque élément.
Les degrés de liberté correspondants ne sont liés à aucun autre degré de liberté que ceux de
l’élément considéré. Cela nous permet donc d’éliminer par condensation les degrés de liberté
de la bulle au niveau élémentaire avant l’assemblage. Enfin, la taille du problèmes discrets
obtenue par ces deux discrétisations est la même qu’on aurait obtenue avec une discrétisation
non-enrichi P1 /P1 .
Nous avons réalisé plusieurs simulations numériques, les résultats obtenus ont montré l’ap-
port de l’enrichissement de l’espace d’interpolation de la vitesse pour stabiliser la discrétisation
P1 /P1 . La comparaison de ces résultats numérique à la fois avec des résultats de la littéra-
ture ou avec des solutions exactes a montré que nos développements donnent des résultats très
satisfaisants. Dans le but de validation de notre code, nous avons également étudié l’erreur
d’interpolation, un ordre de convergence proche de l’ordre théorique a été obtenu.
MST : MACS.
Bibliographie
[1] Alberty J., Carstensen C. and Funken S.A. Remarks around 50 lines of matlab : short
finite element implementation. Numer. Algorithms, 20 :117-137, 1999.
[2] Alberty J., Carstensen C., Funken S.A. and Klose R. Matlab implementatio of the
finite element method in elasticity. Computing, 69 :239-263, 2002.
[3] ALLAIRE G, ALOUGES F Analyse variationnelle des équations aux dérivées partielles.
[4] Arnold D, Brezzo F et Fortin F, A stable finite element for the Stokes equations, Calcolo,
vol. 21,p. 337–344, 1984.
[5] Babuska I. Error bounds for finite element method. Numer. Math., 16 :322-333,1971.
[6] Brenner S.C, Scott L.R, The mathematical theory of finite element methods. Texts in
Applied Mathematics, 15. Springer-Verlag, 1994.
[7] Brezis H, Analyse fonctionnelle. Théorie et applications. Collection Mathématiques Appli-

quées pour la Maîtrise. Masson, Paris, 1983.
[8] Brezzi F. On the existence, uniqueness and approximation of saddle-point problems arising
from Lagrange multipliers. RAIRO, 8 :129 -151, 1974.
[9] El khaoulani El idrissi R. Prédiction fiable de l’endommagement ductile par la méthode

des éléments finis mixtes : endommagement non local et adaptation de maillage p35.
[10] Ern A, Guermond J.-L. Éléments finis : théorie, applications, mise en œuvre, volume 36
of SMAI Mathématiques et Applications. Springer, 2002.
[11] Glowinski R, Le Tallec P. Augmented Lagrangian an Operator-splitting Methods in Non-

linear Mechanics. Studies in Applied Mathematics. SIAM, Philadel-phia, 1989.
[12] Glowinski R. Numerical methods for fluids (part 3). In Ciarlet P.G. and Lions J.L., editors,
Numerical Methods for Fluids (Part 3), volume IX of Handbook of Numerical Analysis,
pages 3-1074. North-Holland, Amsterdam, 2003.
BIBLIOGRAPHIE
[13] Gounand S Introduction à la méthode des éléments finis en mécanique des fluides incom-
pressibles 26 septembre 2012 p. 83 − 91
[14] Koko J. Vectorized Matlab codes for two-dimensional linear elasticity. Scientific Program-
ming, 2007. To appear.
[15] Kwon Y.W, Bang H. The Finite Element Method Using MATLAB. CRC Press, New York,
2000.
[16] Persson P.O, Strang G. A simple mesh generator in Matlab. SIAM Rev., 42 :329-345, 2004.
[17] Rochat J. Résolution numérique du problème de Stokes en 3D avec l’élément fini P2 - P1

January 2010.
56

Méthode Des Éléments Finis Mixtes - Application Aux Équations de Stokes Stationnaires - Khalid Elghazi

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Méthode Des Éléments Finis Mixtes - Application Aux Équations de Stokes Stationnaires - Khalid Elghazi

Transféré par

Droits d'auteur :

Formats disponibles

DÉPARTEMENT DES MATHÉMATIQUES

MASTER SCIENCES ET TECHNIQUES :

Rapport de projet de fin d’études

Méthode des éléments finis mixtes :

Soutenu le 12 juillet 2021 :

. Devant le jury composé de :

Année universitaire : 2020/2021

FACULTÉ DES SCIENCES ET TECHNIQUES FES-SAISS

Table des matières

1 Rappel de la méthode des éléments finis 8

2 Les équations de Navier-Stokes 16

3.2.2 Condition "inf-sup" pour le problème de Stokes. . . . . . . . . . . . . . . 23

Je tiens à remercier en premier lieu Rachid El khaoulani El idrissi qui a encadré ce

A mes sœurs et frères,

Et toute personne qui a aidé de près ou de loin dans la réalisation de ce projet.

Chapitre 1: Rappel de la méthode des éléments finis

1.1 Formulation variationnelle

Trouver uZ∈ H01 (Ω) tel que

1.1.1 Maillage triangulaire

En dimension 2 une triangulation d’un domaine Ω est une subdivision de Ω en triangle

Voici un exemple de maillage triangulaire en dimension deux

Figure 1.2 – Exemple de maillage Th triangulaire en 2D.

1.1.2 Espace d’approximation

Avec Ki est un triangle.

V0h = {v ∈ Vh tel que v = 0 sur ∂Ω}

1.1.3 Élément de référence

Figure 1.3 – Élément de référence K̂

Soit K un triangle de R2 de sommets a1 , a2 , a3 . On appelle coordonnées barycentriques de

Par transformation affine inversible on fait correspondre à ce triangle de référence un élément

1.1.4 Passage à un triangle K quelconque non dégénéré

Le triangle de référence K̂ a pour sommets les points :

Soit la transformation affine Fk qui transforme le triangle de référence K̂ en un triangle K

La transformation FK est définie par FK (x̂) = BK x̂ + bK avec

où les (xi , yi ) sont les coordonnées des sommets ai .

Le jacobien de la transformation FK est égal à deux fois l’aire algébrique du triangle K.

Figure 1.4 – Transformation affine entre l’élément de référence et un triangle quelconque.

1.2 Éléments finis P1 en dimension 2

Une fonction quelconque de Vh prenant les valeurs v1 , v2 , v3 aux sommets a1 , a2 , a3 du

vh (x, y) = v1 λ1 (x, y) + v2 λ2 (x, y) + v3 λ3 (x, y)

1.2.1 Écriture du problème approché en éléments finis P1

L’espace Vh , défini précédemment, est un sous-espace de H 1 (Ω) dont la dimension est

Considérons maintenant la formulation variationnelle de dirichlet homogène sur le domaine

Trouver uZ∈ H01 (Ω) tel que

Trouver uZh ∈ V0h tel que

On décompose uh sur la base des (φj )1≤j≤ndl et on prend vh = φi ce qui donne :

1.2.2 Calcul de la matrice de raideur élémentaire P1

Dans chaque élément triangulaire K de sommets a1 , a2 , a3 correspondants aux nœuds XI , XJ , XK ,

1.2.3 Calcul du second membre élémentaire

Chaque composante (bh )i du vecteur second-membre global donnée par :

est calculée également par assemblage de contributions élémentaires.

d’élément triangulaires P1 , chaque élément K comprend trois nœuds XI ; XJ ; XK correspondants

Chapitre 2: Les équations de Navier-Stokes

Soit Ω ⊂ RN (N ≤ 3) (Dans notre cas N = 2 ) un domaine représentant une région de l’es-

La vitesse est une fonction vectorielle u = (u1 , · · · , uN ) ∈ RN avec ui = ui (x1 , · · · , xN , t)

+ (u · ∇)u) − µ∆u + ∇p = f dans Ω × R+

div u = 0 dans Ω × R+ (2.1b)

u(x, t) = g(x, t) pour x ∈ ∂Ω et t > 0.

Dans la plupart des cas, on choisira la condition de non-glissement u = 0 sur ∂Ω.

u(x, 0) = u0 (x) pour x ∈ ∂Ω

où u0 est une fonction donnée.

Les nouvelles vitesse et pression ũ et p̃ vérifient alors

Les (nouveaux) opérateurs différentiels ∇ et ∆ ci-dessus sont relatifs à la (nouvelle) variable

Le nombre de Reynolds caractérise le type d’écoulement étudié. Mathématiquement, il prend