Vous êtes sur la page 1sur 85

MTHODES ITRATIVES POUR LA RSOLUTION,PAR

JEAN-PHILIPPE MARCOTTE DPARTEMENT DE MATHMATIQUES ET DE GNIE INDUSTRIEL COLE POLYTECHNIQUE DE MONTRAL

MMOIRE PRSENT EN VUE DE L'OBTENTION DU DIPLME DE M-ATRLSE s SCIENCES APPLIQUES (MATHMATIQUES APPLIQUES) JUIN 2000

@Jean-PhiLippe Marcotte, 2000.

191

National tibrary ,canada

Bibliothque nationale du Canada


Acquisitions et services bibliographiques
395, rue Wellington Ottawa O N K IA O N 4

Acquisitions and Bibliographic Services


395 Wellington Street Ottawa ON KIA O N 4

Canada

Canada

The autbor has granted a nonexclusive licence allowing the National Library of Canada to reproduce, loan, distriIbute or sell copies of this thesis i n microform, paper or electronic formats.

L'auteur a accord une licence non exclusive permettant la Bibliothque nationale du Canada de reproduire, prter, distribuer ou vendre des copies de cette thse sous la forme de rnicrofiche/nlm, de reproduction sur papier ou sur format lectronique.
L'auteur conserve la proprit du droit d'auteur qui protge cette thse. Ni la thse ni des extraits substantiels de celle-ci ne doivent tre imprims ou autrement reproduits sans son autorisation.

The author retains ownership of the copyright i nt hthesis. Neither the thesis nor substantial extracts from it may be printed or otherwise reproduced without the author' s
permission.

ECOLE POLYTECHNIQUE DE MONTREAL

Ce mmoire intitul:

prsent par:

MARCOTTE Jean-Philippe
Matrise s sciences appliques

en vue de l'obtention du diplme de:

a t dment accept par le jury d'examen constitu de:

M. LAFLEUR Pierre , Ph.D-, prsident M FORTIN Andr , Ph-D., membre et directeur de recherche Mme HEUZEY Marie-Claude , Ph-D., membre

mes parents, Ccile

e t Franois.

Remerciements
Je tiens remercier tout particulirement mon directeur de recherche, Andr Fortin pour son intrt et son soutien tant technique qu'intellectuel et qui m'a permis d'accomplir cette maitrse. galement7je remercie Robert Guenette, pour son aide trs prcieuse. Je remercie M. Pierre Lafleur et Mme Marie-Claude Heuzey d'avoir accept de faire partie de mon jury. J'en profite pour remercier mes collgues qui ont su agrmenter mon sjour lors de mon passage l'cole Polytechnique: Steven et Antoine pour leur aide avec LaTeX, Bass, Donatien, Mitra, Grardo, Jean-Luc, Alain Lioret et -4lain Beliveau. Je veux aussi souligner l'aide des membres du GIREF. Plus particulirement, Cari Robitaille pour ses nombreux conseils propos de MEF++. Finalement, je voudrais exprimer toute ma gratitude envers mes parents pour leur amour et leur soutien qui m'ont t si chers.

Rsum
Ce mmoire est consacr l'tude d'coulements stationnaires de fluides netvtoniens gnraliss incompressibles. Les fluides newtoniens gnraliss: contrairement aux fluides newtoniens, ont une viscosit qui dpend du taux de cisaillement auquel ils sont soumis. On prsente donc deux modles pour reprsenter cette dpendance: soit la loi d70stwald-De Waele, aussi connue sous le nom de loi de puissance et la loi de Carreau. Nous nous proposons donc de rsoudre les quations de Stokes pour les fluides incompressibles avec la viscosit modlise l'aide des modles prcdents. tant donne cette dpendance entre la viscosit et le taux de cisaillement: les quations de Stokes sont, dans le cas de fluides newtoniens gnraliss, non linaires. Xous utilisons la mthode de Newton pour contourner ce problme de non-linarit.

La discrtisation des quations de Stokes est faite l'aide de la mthode des lments finis. On prsente d'ailleurs une revue assez exhaustive de la mthode des lments finis spcifiquement applique la rsolution du problme de Stokes. On essaie de prsenter la mthode d'un point de vue assez informatique pour qu'il soit facile de faire le lien entre le dveloppement thorique et ce qui est programm dans un ordinateur. La rsolution des systmes d'quations provenant de la discrtisation par lments finis est faite l'aide de la mthode d7Uzawa qui permet de rsoudre les problmes en vitesse et en pression sparment. La rsolution de ces deux sousproblmes est effectue par la mthode itrative d u gradient conjugu. Toujours dans le but de lier la thorie et l'informatique, on discute de la notion de Matriz-Free qui est utilise en pratique pour rsoudre des systmes d'quations sans connatre explicitement la matrice du systme. On pourra ainsi rsoudre un systme du type B -4-1 BT X = G sans avoir calculer l'inverse de la matrice A.
L'accent, dans ce mmoire, a donc t mis sur la rsolution de problmes tridi-

mensionnels. D'ailleurs tous les problmes que nous axons rsolus, l'ont t sur des gomtries en trois dimensions. On prsente deux problmes tests d'coulement sur des gomtries trs simples, dont un coulement de Poiseuille dans un tube, ce qui permet de comparer notre solution la solution analytique qui est connue et ainsi valider notre code. On donne galement quelques solutions sur des gomtries plus complexes. Finalement, on tente d'appliquer notre mthode un problme d'coulement directement tir de l'industrie des polymres. On introduit brivement un problme d'estrusion pour ensuite dcrire l'coulement d'un fluide dans des vis d'extrusion. Bien que le problme prsent dans le mmoire n'ait pas rellement de signification physique, il permet tout de mme de voir le comportement de nos mthodes face des maillages plus compliqus.

En annexe, on retrouve quelques rappels sur les matrices definies positives puisque
la mthode du gradient conjugu exige d'avoir de telles matrices. Ensuite, on trouve un rappel de la mthode d u gradient conjugu pour rsoudre des systmes d'quations. O n retrouve galement une description complte d u code d'lments finis qui nous a permis de rsoudre notre problme de Stokes, code que nous avons labor avec I'aide des membres du Groupe interdisciplinaire de recherche en lments finis.

Abstract
This master's thesis is dedicated to the study of incompressible generalized Newtonian fluids. Generalized Newtonian fluids have a viscosity that depends on the strain rate. We present two models to express this relation, the Ostwald-De Waele 's law. also known as the power law and Carreau's model. We tried to solve Stokes' equations for incompressible fluids with viscosity modelized with the previous two models. Due to the dependence between viscosity and strain rate, Stokes' equations are; for generalized Newtonian fluids, non linear. So we use Newton's method to resolve t his problem. Discretization of Stokes' equations will be done with the finite element method. We give a complete review of this method specialy applied to solve Stokes' equations. We use the Uzawa's method, combined with the conjugate gradient method, to solve the equations systems provided by finite element method. We focus on tridimensionnal applications, which are now tractable due to the improvement of cornputers in the recent years. First, we present a PoiseuilleS Bow in a tube and compare the numerical solution to the analytic solution which is known in order to validate Our code. Next, we soIved Stoke's equations on a cavity. We also give some solutions on more complex geometries, such a s the contraction . Finally, we applied our method to the flow in a extruder screw. Even if this Bow does not have a quite real signification, it helps to see the cornportment of our methods on more complex meshes.

Table des matires


DDICACE. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

iv
v

REIMERCIElkECNTS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
RSUM . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

vi viii

ABSTRACT . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

LISTE DES FIGURES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . LISTE DES TABLEAUX . . . . . . . . . . . . . . . . . . . . . . . . . . .

xi
xm
a .

. . . . . . . . . . . . . . . . xiv LISTE DES SIGLES ET ABRVIATIONS


LISTE DES NOTATIONS . . . . . . . . . . . . . . . . . . . . . . . . . . . xv

LISTE DES ANNEXES . . . . . . . . . . . . . . . . . . . . . . . . . . . . xviii INTRODUCTION.. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .


1

CHAPITRE 1 QUATIONS DE LA PHYSIQUE . . . . . . . . . . .


1.1 Equa1;ions de la mcanique des fluides . . . . . . . . . . . . . . . . . .
,

4
4

1.2

Modles pour la viscosit . . . . . . . . . . . . . . . . . . . . . . . . .

CHAPITRE 2 MTHODEDES LMENTS FINIS . . . . . . . . .


2.1 Formulation variationnelle des quations de Stokes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Linarisation (mthode de Newton) . . . . . . . . . . . . . . . . . . .

11

12

2.2

14

2.4

Assemblage de la matrice globale . . . . . . . . . . . . . . . . . . . .

24
26

CHAPITRE 3 RSOLUTION DU SYSTME GLOBAL . . . . . . .


3.1 3.2 Mthode d7Uzawa .

............................

26
32
32

Autres approches de rsolution . . . . . . . . . . . . . . . . . . . . . . 3.2.1


3.2.2

Pnalisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . Stabilisation . . . . . . . . . . . . . . . . . . . . . . . . . . . .

32

3.3

Visualisation des rsultats . . . . . . . . . . . . . . . . . . . . . . . .

33

4.1

Validation des rsultats . . . . . . . . . . . . . . . . . . . . . . . . . .


4.1.1

34
34

coulement de Poiseuille dans un tube . . . . . . . . . . . . . coulement dans une cavit cubique

4.1.2
4.2 4.3

..............

38
42
44

Autre gomtrie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Problmes rencontrs en industrie . . . . . . . . . . . . . . . . . . . .

CONCLUSION . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

50

ANNEXES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

54

Liste des figures


1.1 Exemple d'un domaine Q en 3D

.....................

1.2 2.1 2.2 2.3


2.4

Viscosit en fonction du cisaillement pour diffrents fluides . . . . . . Exemple d'un maillage du domaine 0 en 3D . . . . . . . . . . . . . . Passage d'un lment K l'lment de rfrence Passage d'un lment K l'lment de rfrence lment triangulaire P2-Pl en 2D

8
1 1

......
......

21

en 3D

21 22 22 23 23
35

.......................

2.5
2.6
2.7

lmentttrahdriqueP2-Pl
lment triangulaire Mini

......................

........................

lment ttrahdrique Mini . . . . . . . . . . . . . . . . . . . . . . . Maillage d'un tube avec 6000 lments (tubex2) . . . . . . . . . . . . Solution numrique d'un coulement de Poiseuille sur le tube

4.1 4.2 4.3


4.4

....

36
36

Solution dans le plan z = O de l'coulement de P o i s e d l e sur le tube .

Solutions numriques et solution analytique d'un coulement de Poiseuil le 37 Maillage d'une cavit avec 384 lments

4.5

.................

38

4.6 Solution numrique d'un coulement induit dans la cavit (solution obtenue avec 3072 lments) . . . . . . . . . . . . . . . . . . . . . . .
4.7

39

Solution numrique d'un coulement induit dans la cavit (solution obtenue avec 24576 lments) . . . . . . . . . . . . . . . . . . . . . .

40

4.8

Isovaleurs de la composante x de la vitesse. dans la cavit . . . . . . . Norme infinie du rsidu en fonction des itrations dans le cas linaire

4.9

4.10 Maillage d'une contraction avec 30720 lments . . . . . . . . . . . .


4.11 Solution numrique d'un coulement dans la contraction . . . . . . .
4.12 Isovaleurs de la pression, dans la contraction . . . . . . . . . . . . . . 4.13 Schma d'une extrudeuse avec une monovis . . . . . . . . . . . . . . .

4.14 Maillage entre les dents d'une vis extrusion - Vue de face . . . . . .
4.15 Maillage entre les dents d'une vis extrusion - Vue de biais . . . . . . 4.16 Solution de l'coulement dans la vis, dans diffrents plans . . . . . . . 4.17 Solution de l'coulement dans la vis, dans diffrents plans (suite) 4.18 Solution de l'coulement dans la vis

...

...................

Liste des tableaux


4 . 1 Informations propos des maillages tube, tubex2 et tubex4 . . . . . .
4.2

37
39
42
46

Informations propos des maillages cube, cubex2 et cubex4

.-

...

4 . 3 Informations propos du maillage Contraction

.......- ...- .........

4 . 4 Informations propos du maillage Vis . . . . . . .

Liste des sigles et abrviations


CERCA GIREF GMRES MIN'RES
Centre de recherche en calcul appliqu Groupe interdisciplinaire de recherche en lments finis Generalized minimal residual Minimal residual

Liste des notations


Caractres usuels
matrice des contributions linaires en vitesse matrice des contributions en vitesse provenant de la harisation matrice de toutes les contributions en vitesse matrice pour l'algorithme d'Uzawa matrice des contributions de l'oprateur de divergence matrice des contributions de l'oprateur gradient constante pour l'criture des modles de viscosit dimension dans laquelle se situe le problme forces prescrites sur le domaine physique matrice des contributions relatives aux forces f fonction relative aux conditions aux limites de Dirichlet vecteur pour 17algorit hme d'Uzawa fonction relative aux conditions aux limites de Neumann tenseur identit matrice de prconditionnement de Jacobi un lment l'lment de rfrence longueur matrice masse vecteur normal extrieur nombre de degrs de libert en vitesse nombre de degrs de libert en pression nombre de noeuds de calcul en vitesse sur l'lment K nombre de noeuds de calcul en pression sur l'lment K

indice de pseudoplasticit pression vecteur pression l'itration k fonction test pour l'quation de conservation de la masse position en coordonnes polaires rayon l'ensemble des rels rsidu pour l'quation de conservation de la quantit de mouvement rsidu pour l'quation de conservation de la masse rsidu vectoriel pour l'quation de conservation de la quantit de mouvement rsidu vectoriel pour l'quation de conservation de la masse matrice des contributions relatives aux conditions aux limites de Neumann variable temps un lment K transformation de l'lment de rfrence vitesse (vectorielle) vecteur vitesse l'itration k fonction test pour l'quation de conservation de la quantit de mouvement vecteur de correction en vitesse pour l'algorithme d7Uzawa variable d'espace point en coordonnes cartsiennes frontire de l'lment K infini

Caractres grecs
6u 6U
6~

vecteur correction en vitesse vecteur des degrs de libert de correction en vitesse vecteur correction en pression vecteur des degrs de libert de correction en pression variation de pression critre d'arrt

bP
AP
E

viscosit pour un fluide newtonien viscosit cisaillement nul viscosit pour un fluide newtonien gnralis tenseur du taux de dformation deuxime invariant du tenseur du taux de dformation frontire du domaine physique partie de la kontire du domaine physique partie de la frontire du domaine physique valeur du conditionnement de la matrice A temps de retard domaine physique fonction d'interpolation en vitesse fonction d'interpolation en pression vecteur des fonctions d'interpolation en vitesse vecteur des fonctions d'interpolation en pression densit tenseur de Cauchy points en coordonnes cartsiennes pour le passage l'lment de rference

Autres symboles
V
'7-

oprateur gradient oprateur divergence norme vectorielle

II II Indices
K

le sur-indice K indique la restriction l'lment K (lmentaire)

Liste des annexes


ANNEXE A Matrice symtrique et matrice dfinie positive . . . . .
54

ANNEXE B Mthode du gradient conjugu . . . . . . . . . . . . . . .


ANNEXE C Approche informatique . . . . . . . . . . . . . . . . . . . .

57 59

Introduction
Depuis ses premires applications, la fin des annes soixante, la mthode des lments finzs a connu un essor remarquable et elle est maintenant utilise dans divers domaines de l'ingnierie tels que la mcanique des solides et la mcanique des fluides. Ainsi, en mcanique des fluides, par exemple, on a effectu beaucoup de recherches pour tenter de modliser des coulements de diffrents fluides dans diffrents contextes. On a, entre autres, modlis par ordinateur l'coulement de l'air autour des ailes d'avions pour augmenter l'arodynamisme de celles-ci, tout en vitant les cots levs des tests en soufflerie. Toujours en mcanique des fluides, on a galement essay de simuler l'coulement de fluides newtoniens et non newtoniens dans diffrents conduits. On parle de fluide newtonien lorsque la viscosit de celui-ci est constante, dans le cas contraire, on parle d'un fluide non newtonien. Dans la c a t g o ~ e des fluides non newtoniens, on retrouve les polymres qui sont largement utiliss de nos jours et les technologies qui y sont rattaches sont parfois trs complexes. Pour produire bon nombre d'objets que l'on rencontre tous les jours, il a souvent fallu appliquer des procds tels que la plastification de granules de plastique, souvent par extrusion, et le moulage par injection pour la mise en forme du polymre. Il est donc utile de pouvoir prdire le comportement de ces fluides afin de bien planifier les installations requises de tels procds. Ces polymres fondus sont des fluides dits viscolastiques et viscoplastiques et leur viscosit diminue en fonction du cisaillement. Il existe plusieurs modles servant modliser la viscosit des polymres (et des fluides non newtoniens en gnral) et il s'agit de trouver quel modle s'applique le mieux au fluide dont on veut dcrire l'coulement. Toutefois, une difficult majeure surgit avec de tels modles; on obtient des problmes non linaires

qu'il est souvent difficile de rsoudre. On verra, dans ce mmoire, comment on peut rgler ces problmes de non-linarit. Plusieurs coulements peuvent tre modliss l'aide des quations de NavierStokes ou, dans des cas plus simples, des quations de Stokes. Dans la majorit des cas, comme on ne peut obtenir des solutions exactes ces quations aux drives partielles, on utilise des mthodes numriques comme celle qui fait l'objet de ce mmoire, la mthode des dments finis. Cette mthode conduit, on pourra le constater, L a rsolution de systmes d'quations linaires de trs grande taille. Avec les ordinateurs de plus en plus puissants que l'on dispose de nos jours, il est maintenant possible de rsoudre des problmes d'une telle ampleur, notamment sur des gomtries trs complexes. Dans les dernires annes on a beaucoup travaill sur les problmes en 2D (deux dimensions). I l reste du travail faire en ce qui concerne les problmes en 3D (trois dimensions). Dans ce mmoire les rsultats ont ts tablis dans la perspective de pouvoir rsoudre des problmes en 2D et en 3D. Cependant, on y prsente des stratgies de rsolution qui permettent de rsoudre des problmes de grande taille que l'on retrouve gnralement dans les problmes tridimensionnels. Pour pouvoir tirer le maximum de la mmoire de l'ordinateur, on doit tirer profit de la structure des matrices obtenues lors de la discrtisation. Souvent on ne pourra pas utiliser des mthodes directes telles que la dcomposition LU (voir par exemple Fortin (1995)), qui sont trs coteuses en terme de mmoire et il faut plutt utiliser des mthodes itratives (exemple: gradient conjugu, MINRES ou GMRES pour ne nommer que celles-l). L'article de Carey et al. (1989) prsente des mthodes itratives, avec pnalisation, appliques aux coulements de 0uides newtoniens et newtoniens gnraliss. Pour une rfrence plus gnrale sur les mthodes itratives, on pourra consulter Greenbaurn (1997). Par la modlisation en mcanique des fluides, on cherche gnralement trouver une solution numrique (lorsque c'est impossible de le faire de faon analytique) pour deux variables: la vitesse et la pression. ce propos, la mthode d'Uzawa permet de dcoupler la rsolution des systmes linaires. On rsoud d'une part les quations d u problme en vitesse et d'autre part celles en pression. Ainsi on peut utiliser toute la mmoire disponible pour rsoudre d'abord en vitesse et ensuite utiliser la solution en vitesse pour rsoudre le problme en pression. On tire donc profit de la structure de la matrice globale en vitesse-pression et on utilise des solveurs spcialiss chaque

tape de la rsolution. Mentionnons ici les travaux de Robichaud et al. (1990) sur la mthode d'Uzawa pour la rsolution des quations de Navier-Stokes. Dans ce mmoire, on essaie donc de modliser, via un modle newtonien gnralis, l'coulement de fluides newtoniens et non newtoniens l'aide des quations de Stokes. On y prsentera diffrents modles pour la viscosit. On discutera de la mthode dYUzawa ainsi qu'une variante de cette mthode, o on a tent d'ajouter une pnalisation. Les rsultats ont t obtenus l'aide du code d'lments finis MEF++ du GIREF, le Groupe Interdisciplinaire de Recherche e n lments Finis de l'universit Laval. Plusieurs travaux ont t faits concernant les coulements de fluides newtoniens gnraliss. L'article de Gartling (1986) fait une vaste couverture de la mthode des lments finis applique aux coulements de fluides non newtoniens. Il faut attendre aux annes 1980 avant de voir les premiers travaux concernant les coulements de ces types de fluides sur des gomtries tridimensionnelles. Notons l'article de Tanguy et al. (1988), ce sujet. Au niveau des applications, on retrouve diffrents articles dcrivant la mthode des lments finis applique la rsolution de problmes d'coulement dans des domaines bien prcis. Mentionnons les articles de Crochet et al. (1984)' qui couvre diffrentes applications dans le domaine des fluides non-newtoniens, de Bravo et al. (1998), propos d'coulements dans des vis d'extrusion et de Bertrand et al. (1999) sur des procds de mlange.

Chapitre 1
Equations de l a physique
1.1 quations de l a mcanique des fluides

Situons-nous dans le contexte de la mcanique des fluides. Nous voulons dcrire l'coulement de divers types de fluides, dans diverses gomtries donnes que nous appelerons R et leur frontire . On pourrait penser n'importe quel type de domaine comme par exemple un tube:

Figure 1.1: Exemple d'un domaine R en 3D

On voudra donc dcrire le champ de vitesse et la pression l'intrieur de la gomtrie a.Un trs grand nombre de problmes de ce genre peuvent tre rsolus par les quations de Navier-Stokes. On peut se rfrer Pironneau (1988) en ce qui concerne la provenance des quations de Navier-Stokes.

Les quations de Navier-Stokes s'crivent, pour des fluides incompressib~es,sous forme tensorielle comme suit : quations de Navier-St okes - Fluides incompressibles

( Conservation de la quantit de mouvement:

Conservation de la masse (incompressibilit): V-u=O avec des conditions aux limites sur

sur Q

Prcisons un peu les diffrentes parties qui constituent les quations de NavierStokes. Comme nous l'avons dj mentionn, les deux variables tudies dans les problmes de la mcanique des fluides sont la vitesse et la pression qui sont respectivement reprsentes par u, un vecteur de dimension deux ou trois selon que le problme est en deux ou trois dimensions et p un scalaire.
p ( u . V)u, reprsente L e Le premier terme &, qui peut se dcomposer en terme d'inertie. Le terme -V (2 g j ( u ) ) constitue quant lui le terme visqueux du fluide dans l'coulement. Le terme 77 est le coefficient de viscosit, qui peut tre constant si le fluide est newtonien ou non constant si le fluide est non newtonien. On y reviendra la section 1.2, alors qu'on discutera des diffrents modles pour la viscosit.

pg+

On retrouve galement le terme i(u),le tenseur du taux de dformation qui s'crit, dans le cas tridimensionnel, comme suit:

Pour que le problme soit bien pos, on se doit d'imposer le comportement du fluide, soit L a vitesse ou encore la pression, sur la frontire (ou sur une partie de

celle-ci), l'aide des conditions aux Limites. On impose gnralement u = O sur les parois solides de r; puisque le fluide adhre aux parois, la vitesse y est nulle. On peut imposer une vitesse quelconque sur une partie de la h-ontire, disons via les conditions aux Limites de type Dirichlet. On le verra, il est galement possible d'imposer le terme de pression (-PI + 2yj.(u)) n sur une partie de la frontire, r2, via les conditions aux limites de type Neumann. I l est aussi possible de combiner les deux types de conditions, sans toutefois imposer les deux types de conditions sur une mme partie de la frontire.

Les quations de Navier-Stokes sont trs gnrales et on peut rsoudre un tas de problmes avec celles-ci. Il est cependant possible de les simplifier dans certains cas particuliers. Dans le cas d'coulements lents par exemple, on peut ngliger le terme d'inertie par rapport aux autres termes des quations de conservation de la quantit de mouvement des quations de Navier-Stokes.
Avec cette simplification, on amve aux quations de Stokes pour les fluides incompressibles. quations de Stokes - Fluides incompressibles
'

Conservation de la quantit de mouvement: sur 0 -V - (2 77 ?(u)) + V p = f Conservation de la masse (incompressibilit): V-u=O sur R Conditions aux limites:
Dirichlet: Neumann: u=g

(-PI

+2qY(u)) n = h

rl sur r2
sur

o g et h sont des fonctions connues sur la frontire de R, I est le tenseur identit et n est un vecteur normal extrieur r. Dans ce mmoire, nous allons nous attarder ces quations de Stokes et nous allons montrer comment les rsoudre l'aide de mthodes numriques.

1 . 2

Modles pour l a viscosit

Lorsqu70n applique une contrainte de cisaillement un fluide quelconque, il en rsulte une dformation de celui-ci. La viscosit 77 d'un fluide est en quelque sorte la capacit de ce dernier rsister plus ou moins cette dformation. Pour les fluides newtoniens, on pense ici de l'eau ou de l'air, la viscosit est constante. Ainsi la dformation est proportionnelle la contrainte qu'on applique au fluide. Dans les quations de Stokes (ou plus gnralement dans celles de Navier-Stokes), on posera alors tout simplement 77 = m, une constante. En revanche, les fluides non newtoniens tels que le sang, le ptrole et les polymres fondus possdent une viscosit non constante qui diminue gnralement lorsque le taux de cisaillement augmente. On remarque qu' l'chelle logarithmique, la viscosit dcrot de faon linaire en fonction du cisaillement (voir figure 1.2 la page 8). Il faut donc se doter de modles rhologiques pour dfinir la viscosit en fonction du tenseur i ( u ) , ou plus prcisment en fonction de 1j(u)1, le deuxime invariant du tenseur d u taux de dformation, dfini par:

Plusieurs modles qui ont t proposs ont donc la forme suivante q = q(Iq(u)1). Ce sont les modles pour les fluides dits newtoniens gnraliss. Dans le cas des polymres fondus, des fluides aussi non newtoniens, on observe la prsence de ce qu'on appelle le plateau newtonien. Ce plateau est prsent de faibles taux de cisaillement. Pour des cisaillements plus levs, on retrouve un comportement semblable ceux des autres fluides non newtoniens. O n le verra, certains modles tiennent compte de ce phnomne alors que d'autres n'y amvent pas. Sur la figure 1.2, de la page suivante, on prsente les diffrentes situations possibles en chelle logarithmique. La courbe (qui est un droite) horizontale reprsente le cas de fluides newtoniens alors que les deux autres courbes reprsentent le cas de fluides non newtoniens, qu'on appelle aussi fluides newtoniens gnraliss. On prsente aussi le plateau newtonien.

I
I

1
1

L 1

lI

I I

Taux de cisaillement ?
-.

Figure 1.2: Viscosit en fonction du cisaillement pour diffrents fluides

Un premier modle pour la viscosit des fluides viscoplastiques est celui d'OstwaldDe WaeEe, aussi connu sous le nom de loi de puissance.

IN-l
Bien que ce modle s'applique plusieurs fluides non newtoniens dont les mta l'tat fondu, il ne permet pas de simuler la prsence des plateaux newtoniens dont nous avons discut auparavant. Il n'en demeure pas moins que ce modle est largement utilis.

Pour pallier ce dfaut du modle d' Ostwald-De Waele, on peut utiliser le modle de Carreau.

Modle de Carreau

o les diffrents paramtres des deux modles prcdents sont donns par: La viscosit cisaillement nul X : Un temps de retard N : L'indice de pseudoplasticit (O I N 2 1)
:

On peut gnraliser l'criture de ces diffrents modles l'aide du modle suivant:

o:

a, X et N ont t dfinis avec le modle de Carreau.

Ainsi on retrouve les diffrents modles prsents en fixant les diffrents paramtres de faon approprie:
Modle pour un fluide newtonien:

N =1

Modle loi de puissance: C=O et X = 1 Modle de Carreau: C=l Pour calculer les paramtres 1 7 0 , X et N dans les modles ci-haut, on procde de faon empirique. On mesure, pour un fluide donn, un certain nombre de valeurs de viscosit en fonction du taux de cisaillement l'aide d'un rhomtre. On applique une mthode de moindres carrs afin d'obtenir les constantes recherches pour le fluide en question. (On retrouve dans Fortin (1995) deux exemples concrets de ce procd pour les modles de loi de puissance et de Carreau).

D'autres modles peuvent aussi tre utiliss, notamment les modles de Ellis, de Cross,de De Kee et de Carreau-Yasuda pour ne nommer que ceux-ci. On peut consulter Carreau et al. (1997) pour une description complte de ces diffrents modles. On introduit donc ce modle newtonien gnralis dans les quations de Stokes, pour obtenir: quations de Stokes - Fluides newtoniens gnraliss, incompressibles Conservation de la quantit de mouvement:

-v

(2

il(l?(u)l) I(4)+ VP = f

sur 0

Conservation de la masse (incompressibilit): V-u=O sur Conditions aux limites:


Dirichlet: Neumann:

u=g

sur

(-PI + 217([+(u)l) +(u)) - n = h

rL s u r r2

o:

Notons que si on veut imposer la vitesse, on utilise les conditions aux limites de Dirichlet. L'imposition de la pression se fait, quant elle, via l'imposition de

o o est connu sous le nom de tenseur de Cauchy.


En gnral, on ne peut pas rsoudre les quations de Stokes, prsents ci-haut, de faon analytique, il faut donc utiliser des mthodes numriques. Nous allons voir au prochain chapitre comment on peut rsoudre ces quations l'aide de la mthode des lments finis.

Chapitre 2

Mthode des lments finis


La mthode des lments finis (voir par exemple Reddy (1993)) est un outil trs puissant de discrtisation pour la rsolution numrique d'quations aux drives partielles, telles que les quations de Stokes. Comme son nom l'indique, cette mthode consiste dcouper le domaine R en un nombre finis d'lments K, le plus souvent des triangles en 2D et des ttradres en 3D (voir figure 2.1). Bien que cette tape soit cruciale, nous n'entrerons pas plus dans le sujet complexe (surtout en 3D) de la fabrication de maillages. Il existe plusieurs logiciels pour crer de tels maillages en 2D et en 3D.

Figure 2.1: Exemple d'un maillage du domaine i2 en 3D Ensuite on construit des quations discrtes qui approchent les quations rsoudre. Les inconnues de ces quations discrtes sont les valeurs de la solution sur les noeuds

de calcul (souvent les sommets des lments ou encore le milieu des artes). On obtient donc un grand systme d'quations linaires et parfois non linaires q u ' i l faut rsoudre l'aide de mthodes d'analyse numrique. Une fois le systme rsolu, on obtient la solution seulement aux noeuds de calcul des lments. Ainsi plus le mailIage contient d'lments, plus on obtient une solution prcise.

2.1

Formulation variationnelle des quations de

Stokes
Comme nous l'avons djA mentionn, l'une des tapes fondamentales du processus de rsolution consiste construire les quations discrtes partir des quations continues rsoudre, 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 considrerons, 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 homognes, c'est--dire que u=O sur . Dans le cas de conditions aux limites non homognes, on devrait procder un relvement des conditions limites, voir Fortin et Garon (2000). Nous allons tout d'abord dfinir les espaces fonctionnels ncessaires l'application de la mthode des lments finis. tant donn que l'on considre seulement le cas des conditions aux limites de type Dirichlet homognes, nous aurons besoin des espaces fonctionnels suivants.

V
et

(~,'(n))~ (cl = 2 ou 3 selon la dimension de a)

Q = ~ ~ ( 0 )
o:

&(a)

= {u E

L ' ( a ) 1

au

E L2(R)avec u = O sur r)

Les conditions aux limites de type Neumann se traiteraient de faon assez similaire, avec un travail supplmentaire, en choisissant cependant les espaces fonctionnels appropris (voir Fortin et Garon (2000)). On multiplie donc l'quation de consemation de la quantit de mouvement par une fonction dite test v E V et l'quation de la conservation de la masse par une autre fonction test q E Q puis on intgre sur a:

Si on utilise le thorme de l a divergence, l'quation 2.1 devient:

c'est--dire:

n tant X e vecteur unitaire normal extrieur . ' I


Notons qu'en intgrant l'aide du thorme de la divergence, nous avons fait apparatre le terme ( - p l + 2 q ( [j ( u ) 1) j ( u ) ) . n relatif aux conditions aux limites de Neumann que nous avons vues au chapitre 1. Ce terme est aussi souvent appel la condition naturelle du problme de Stokes. tant donn que nous considrons le cas des conditions aux limites de Dirichlet homognes, on aura vlr = O, on obtient donc la formulation variationnelle du problme de Stokes de la page suivante.

Formulation variationnelle (Conditions limites de Dirichlet)

On cherche u f V et p E Q tels que:

2.2

Linarisation (mthode de Newton)

La formulation variationnelle telle que prsente ci-haut est non linaire en raison d u terme v(Iq(u)l), qui, dans le cas d'un fluide non newtonien, dpend de u (voir l'quation 1.2) . Il faut procder une linarisation de la formulation. Pour ce faire,
on utilise une mthode classique de l'analyse numrique, la mthode de Newton (voir par exemple Fortin (19%)). On pose:

Le problme non linaire prcdent devient alors quivalent celui de:


Trouver (u,p) E V x Q tels que

pour tout v E V et q E Q

Pour ce faire, on se donne des solutions initiales u o et po, puis on cherche des corrections appropries 6u et 6p telles que:

Ce qui, en utilisant le dveloppement de Taylor, est quivalent :

En ngligeant les termes d'ordre suprieur ou gal 2 , on obtient le systme linaire suivant:

On utilise la notion de drive d'une fonctionnelle (ou drive de Gteaux), ainsi que la dfinition de ~ ] ( l i ( u1)) (voir l'quation 1.2) pour calculer les quatre drives prsentes dans le systme prcdent:

2 rio

-(c 2

+~~(Ij(u l2 0 +)4 c j(u0) :+(au)+ <2[5(6u) I2)}iN-L

.. .

On introduit le rsultat des calculs des quatre drives dans le systme linaire
prcdent, pour obtenir la formulation variationelle linarise du problme de Stokes non linaire. Formulation variationnelle linarise

On cherche b u E V et 6 p E Q tels que:

tant donn qu'on utilise la mthode de Newton, on commet une erreur de troncature. Il faut donc itrer pour converger vers la solution. On passe d'une itration la suivante en posant:

jusqu' la convergence de la solution en vitesse et en pression. La prochaine tape, qui est le fondement de la mthode des lments finis, sera de construire le problme discret reli au problme de Stokes.

2.3

Discrtisation du problme de Stokes

Pour procder la discrtisation, on doit se donner la formulation variationnelle lmentaire, c'est--dire la formulation variationnelle linarise prsente ci-haut mais sur chaque lment. Pour ce faire, on n'intgre plus sur ! 2 mais bien sur chacun des lments K. En utilisant la dfinition de RI ((u,p) ,v) et de 7Z2((u, p), p) (voir (2.2)(2.3)), en se rappelant que (-pI+2q(l+(u) I)j.(u) = h sur aK et en introduisant hK et fK, respectivement la restriction de h et f l'lment K, on obtient la formulation variationnelle de la page suivante:
a n

Formulation variationnelle linarise lmentaire Chercher 6u e t 6 p tels que:

, " , ( x ) pour approxiNous utilisons ensuite des fonctions d'interpolation @$(x) et + mer respectivement 6u et 6p. On reviendra sur le choix de ces fonctions d'interpolation un peu plus loin, aprs avoir discut du choix d u type d'lments qu'on utilisera. On posera:

le nombre de degrs de libert en vitesse et en pression de l'lment K. On prendra ensuite successivement v = !PEi ,i=l,. . .,nkK et q = +,Ki i = l , , n K Ce processus nous conduit un systme de plusieurs quations en U : ( m = 1,. . . ,nkK)e t 6Pn ( n = 1,. . . ,nPK)termes des inconnues 6
oY

ngK e t nLK dnotent

Plus prcisment, on obtiendra le systme d'quations lmentaire suivant:

o on note le vecteur 6uK contenant les n~~degrs de libert en vitesse de l'lment

K de la faon suivante:

Le sous-indice k des 6UF, se rapporte chacune des composantes (x,you 2). L'indice
n : , quant lui, dnote le nombre de noeuds de calcul en vitesse sur chacun des

lments.

@&

Pour complter cette notation, on utilisera les fonctions d'interpolation vectorielles exprimes sous la forme:

Pour ce qui est de la notation en pression, c'est beaucoup plus simple tant donn que la pression est un scalaire. On dfinit le vecteur contenant tous les degrs de ' a qu'une composante, il y a libert en pression de l'lment K. Comme la pression n autant de degr de libert en pression sur un lment qu'il y a de noeuds de calcul. On notera donc le vecteur 6PK comme suit:

et on prendra les fonctions d'interpolation suivantes:

L'indice nz, dnotant le nombre de noeuds de calcul en pression sur chacun des lments. Les diffrents termes du systme 2.4 sont donns par:

I l est noter qu'on effectue le calcd des intgrales prcdentes sur chacun des
lments via un changement de variables pour permettre de faire tous les calculs sur un lment de rfrence K (voir figures (2.2)-(2.3)). On se donne donc une transformation T K : K -t K qui envoie l'lment de rfrence K sur l'lment K.

. .

Figure 2.2: Passage d'un lment K l'lment de rfrence

en 2D

Figure 2.3: Passage d'un lment K l'lment de rfrence k en 3D Ainsi on effectue toutes les intgrales seulement sur l'lment rfrentiel ce qui permet entre autres de pouvoir utiliser les quadratures de Gauss pour intgrer numriquement chacun des termes de formulation. Voir par exemple Fortin et Garon (2000) pour Les transformations TK ainsi que les quadratures de Gauss.

Le choix des fonctions d'interpolation dpend du choix du type d'lments. Un choix populaire est l'lment de Taylor-Hood aussi connu sous le nom de P2-Pl (voir Les figures 2 . 4 2 5 ) . Cet lment vrifie la condition de Brezzi, aussi connue sous le nom de condition inf-sup qui assure l'existence et l'unicit de la solution en vitesse et en pression du problme de Stokes (voir Brezzi et Fortin (1991)).

Vitesse

Pression

Figure 2.4: lment triangulaire P2-Pl

Vitesse

Pression

Figure 2.5: lment ttrahdrique P2-Pl Avec cet lment PS-Pl, on a donc n U , = 6 noeuds de calcul en vitesse et n C =3 noeuds de calcul en pression dans le cas bidimensionnel et n: = 10 noeuds de calcul g = 4 noeuds de calcul en pression dans le cas tridimensionnel. en vitesse et n Comme son nom l'indique, avec l'lment P2-Pl on utilise des approximations quadratiques en vitesse et linaires en pression. Par exemple, en deux dimensions, on prendrait les 6 fonctions quadratiques suivantes en vitesse:

et les 3 fonctions linaires suivantes en pression:

De faon similaire, on pourrait se donner dix fonctions d'interpolation en vitesse et quatre en pression pour l'lment P2-Pl, dans le cas tridimensionnel.

Un autre type d'lment qui est trs souvent utilis en raison du peu de noeuds i n i prsent aux figures 2.6-2.7. de calcul qu'il comporte est l'lment M

Vitesse

Pression

Figure 2.6: lment triangulaire

M i n i

Vitesse

Pression

Figure 2.7: lment ttrahdrique Mini L'lment Mini est aussi appel lment P l bulle-Pl tant donn le noeud, en vitesse, au centre de l'lment qui amne la construction d'une fonction d'interpolation

qui s'annule sur tous les noeuds de l'lment sauf sur le noeud situ au barycentreCette fonction a donc un peu l'aspect d'une bulle. Il existe plusieurs autres choix possibles d'lments (voir Carey et Oden (1986)), mais nous nous contenterons de prsenter les lments PZ-Pl et Mini. Notons que l'lment Mini est d'ordre 1 alors que celui de Taylor-Hood est d'ordre 2. Pour cette raison, nous avons dcid de ne travailler qu'avec ce dernier lment. Par notre processus, nous avons donc construit autant de systmes lmentaires qu'il y a d'lments dans le maillage. Il faut maintenant regrouper toute l'information concernant ces systmes dans une matrice globale, afin de rsoudre ces systmes globalement.

2.4

Assemblage de l a matrice globale

Pour rsoudre globalement les systmes lmentaires, on assemble les contributions de chacun de ces systmes dans une matrice globale. Il faut galement fixer chacun des degrs de libert en vitesse et en pression qui sont sur les parties de la frontire sur lesquelles on a impos des conditions aux limites. Il y a des algorithmes simples qui permettent d'assembler la matrice globale en tenant compte de la connectivit entre chaque lment (voir Fortin et Garon (2000)). On est donc amen rsoudre le systme global suivant:

En effet, lors de I'assemblage, toutes les contributions provenant des termes du vecteur SKs'annulent deux deux. Puisqu'entre deux lments adjacents les vecteurs normaux sont opposs, ces contributions la frontire des lments sont donc les mmes avec des signes opposs et s'annulent identiquement les uns avec les autres. Notons que la matrice + 2 est de dimension nU, x n; alors que la matrice B est de dimension n; x nk, nU, et n; reprsentant le nombre total de degrs de libert respectivement en vitesse et en pression sur tout le maillage.

On cnra le systme 2.5 sous forme plus simple comme:

[a 01 EL] I,,[
=

Ri(Uo1 Po)

en introduisant les rsidus vectoriels:

et en posant:

Notons que nous avons ajout un indice O A . pour indiquer que A dpend de Uo, ce qui sera important lors de la rsolution du systme par des mthodes itratives. En effet, chaque itration, il faudra reconstruire la matrice puisque celle-ci dpend de la vitesse l'itration prcdente. On verra au chapitre 3 comment on peut tirer profit de la stucture de la matrice du systme global 2.6, en dcouplant le calcul de dU de celui de W .

Chapitre 3

Rsolut ion du systme global


3 . 1

Mthode d7Uzawa

La mthode d'Uzawa consiste dcoupler la rsolution du systme 2.6 en deux tapes: en vitesse puis en pression.
Soit le systme 2.6, rcrit sous la forme plus compacte suivante:

en notant les rsidus

R1 (Uo, Po) et R2(Uo, Po) plus simplement comme R 1 . o et

&,O.

Dans un premier temps, on isole 6U de l'quation (3.1). On trouve:

On l'introduit ensuite dans l'quation (3.2). Le systme d'quations (3.1)-(3.2) devient alors quivalent rsoudre le systme:

avec

b U

= Ail[Rip - BT bP]

M n de simplifier la notation, nous. allons poser:

On est donc amen rsoudre le systme:


&6P=Go
avec

C ~ U = A ; ' [ R- ~ BT ,~ bP]

En pratique, il est trs coteux d e calculer l'inverse d'une matrice. Il faut donc on retrouve la viter tout prix ce genre d'opration. Or dans les membres &J et Go, matrice A;'. 11 est cependant possible -decontourner ces deux calculs problmatiques. D'une part, on remarque que le membre Go s'crit comme suit:

Pour viter de calculer le terme A ; ' R ~ ,,~on effectue plutt I'opration quivalente C'est donc dire que: qui consiste rsoudre le systme A. VV =

o W est solution de AoW = Rlto

Il est intressant de remarquer que W + U o n'est rien d'autre qu'une approximation de la vitesse que nous noterons U;, approximation qu'on obtient l'aide de la pression initiale Po. ventuellement, on pourra refaire le mme calcul avec la pression corrige Pl, afin d'obtenir la vitesse corrige.

En effet:

ce qui est bien une approximation de Ulobtenue l'aide de la pression initiale, puisque le systme 2.6 peut aussi s'crire:

puisque 6U = Ul- Uoet 6P = Pl - PO. On a ainsi:

OU

encore,

donc,

finalement, en isolant quivalent rsoudre:

Ui de (3.4) et en l'insrant dans (3.5), le systme 2.6 est

B
avec

B~ pi = B A;~(F

+ uo)

Ul=~;l[~+~o-BTP~]

Tout ceci pour dire que le calcul de Go revient simplement au calcul suivant:

c'est--dire que Go s'crit comme -R2(U;, Pl). Notons qu'aprs avoir obtenu une nouvelle pression Pl (en rsolvant A. bP = Go), obtenu il est ncessaire de rsoudre le systme A. W = RlY1 avec le bon rsidu l'aide de Pl, pour obtenir une vitesse Ul. D'autre part, il reste encore un problme caus par le calcul de la matrice A;' . est qu'on retrouve dans la matrice Ao. Notons tout d'abord que la matrice A -1 T symtrique et dfinie positive, ce qui nous assure que la matrice do= BA, B est aussi symtrique et dfinie positive (voir l'annexe A), puisque lorsqu'on utilise une discrtisation vrifiant la condition de Brezzi, la matrice BT possde des colonnes Linairement indpendantes. Il est donc possible d'utiliser la mthode du gradient conjugu (voir annexe B) pour rsoudre le systme (3.3). Notons que l'algorithme de la mthode ncessite l'utilisation de la matrice du systme uniquement pour faire un produit de celle-ci avec diffrents vecteurs (voir l'algorithme en page 58).

On peut donc contourner efficacement le problme d la matrice A. du systme do GP = Go en utilisant la mthode du gradient conjugu et en faisant ce qu'on appelle du matrix-free. Le principe d u matriz-free est simple, on ne connat pas explicitement la matrice do, par contre on connat son effet lors d'un produit de la matrice par un vecteur.
Il s'agit donc de dfinir le produit de la matrice A. par un vecteur quelconque u. u, c'est--dire le produit BA,-1 B T u , on procde donc Pour effectuer le produit en trois tapes comme suit: Calculer BTu + mettre dans le vecteur v Rsoudre A . w = v + on obtient w (w = A; 1 BT u) Calculer B w + on obtient B A ~ ' B u ~ On n'a donc qu' adapter l'algorithme du gradient conjugu en utilisant les trois tapes prcdentes pour faire les produits matrice-vecteur que l'on retrouve dans l'algorithme. On vite ainsi le calcul de l'inverse de la matrice Ao.

On peut montrer que la rapidit de la convergence des mthodes itratives comme la mthode du gradient conjugu pour rsoudre le systme A x = b dpend du conditionnement K ( A )de la matrice A. Plus le conditionnement de l a matrice est petit, plus la mthode itrative convergera rapidement (voir Lascaux et Thodor (1987)). ce sujet, il est souvent utile de prconditionner un tel systme avant de le rsoudre. Le principe consiste rsoudre le systme:

qui possde la mme solution que le systme:

si la matrice M est inversible.

La matrice de prconditionnement est choisie de telle sorte que K ( M - l A) < K ( A ) et ainsi que le conditionnement du systme soit amlior (en effet plus &(A)est prs
de 1, meilleur est le conditionnement de la matrice). Un choix possible, selon Carey et Oden (1986) pour la matrice de prconditionnement du systme A. 6P = Go est la matrice masse M dfinie par:

pour i, j = 1,... ,n; (le nombre total de degr de libert en pression), la matrice do tant de dimension nP, x nP,. 11 est galement possible de prendre seulement la diagonale de la matrice M pour prconditionner le systme. On obtient finalement l'algorithme d9Uzawa de la page suivante pour rsoudre le systme global 2.6. Notons que puisque la matrice Ai, dpend de la vitesse Uk l'itration k, il est ncessaire d'assembler cette matrice chaque itration, c'est--dire chaque fois qu'on modifie la solution en vitesse.

Algorithme dYUzawa pour rsoudre le systme 2 . 6

O Initialisations I Choisir un critre dY.rrt et un nombre maximum d'itrations 2 Se donner 3 Assembler


POLIT i = 0,1? 2, ...,Nmu 1 Calcd de Gi 1 Assembler 2 Rsoudre (gradient conjugu) 3 Mettre jour 4 Calculer 2 Rsoudre en pression 1 Rsoudre (matrix-free) 2 Mettre jour

Nmm Uoet Po A,!! et B

Ai et J-' Ai W = J-' RiSi U&, = W +Ui Gi = BUGl m R2.i

3 Rsoudre en vitesse I Assembler 2 Rsoudre (gradient conjugu) 3 Mettre jour


si IIR2,ill = II - BUill < e , arrt sinon retour l'tape 1.1

Rl,i+l J-' AiW = J-' RITiti Uitl = Ui +W

Les systmes J-' AiW = J-' fi,. sont rsolus l'aide du prconditionnement de Jacobi, d'o le nom de la matrice J (voir Lascaux et Thodor (1987) pour plus d'informations concernant le prconditionnement de Jacobi), alors que les systmes M-' J & bP = M-' Gi sont prconditionns par la matrice masse prsente page prcdente.

3.2
3 . 2 . 1

Autres approches de rsolution


Pnalisation

Nous avons investi un certain temps pour tenter d'apporter des amliorations l'algorithme d'uzawa prcdent. Nous avons tent d'ajouter un terme de pnalisation ~ B dans ~ la B matrice globale du systme 2.6 comme suit:

Le coefficient de pnalisation r tant choisi prs de 1. La solution de ce systme est la mme que celle du systme sans pnalisation puisque B 6U = O. Le but de '= cet ajout tait d'amliorer le conditionnement de la matrice A. La matrice q B(A~+~B~B BT ) - qui ' apparatrait dans l'algorithme d7Uzawapnalis tant mieux = B A;' BT. conditionne que la matrice Cependant, aprs plusieurs essais et vrifications, il semble que l'ajout d'une telle pnalisation n'a pas donn les rsultats escompts. Le choix optimal, en terme de rapidit de convergence, pour le coefficient r tant 0, c'est--dire lorsqu'il n'y a pas de pnalisation.

3 . 2 . 2

Stabilisation

Si on utilise l'lment Mini, il est possible de stabiliser la matrice globale en liminant les degrs de liberts associs la fonction bulle dont nous avons parl prcdemment. C'est ce qu'on appelle faire une condensation de la fonction bulle. Cette condensation mne l'ajout d'une matrice dans la matrice globale et on doit rsoudre le systme suivant:

o la matrice C provient de la condensation.

ce sujet, on peut se rfrer l'article de Fortin et al. (2000) ainsi qu'aux articles de Wathen et Silvester (1993, 1994) qui prsentent une vaste discussion sur diffrents prconditionneurs qu'on peut utiliser avec une telle stabilisation.

3.3

Visualisation des rsultats

Aprs avoir rsolu le systme 2.6 par l'algorithme d7Uzawa7 on obtient une solution en chaque noeud de calcul du maillage. Plus prcisement, on obtient les composantes (2 ou 3 selon le cas) de la vitesse et la composante de la pression sur chacun des noeuds. Il ne reste plus qu' visualiser les rsultats. Pour ce faire, on peut utiliser des logiciels tel que Vu, un outil de visualisation trs puissant dvelopp par le CERCA, le Centre de recherche en calcul appliqu. Les rsultats prsents au chapitre suivant ont d'ailleurs t obtenus l'aide du logiciel vu.

Chapitre 4

Rsultats numriques
Il existe plusieurs logiciels commerciaux et non commerciaux programms pour rsoudre, l'aide de la mthode des lments finis, diffrents problmes d'quations diffrentielles. Le GIREF, le Groupe Interdisciplinaire de Recherche en lments Finzs, un groupe de recherche de l'universit Laval, travaille depuis quelques annes mettre a u point le code MEF++, un code d'lments finis capable de rsoudre des problmes provenant de divers domaines de la physique. Le code MEF++, son nom l'indique, est programm en language Cf+. Nous avons donc utilis ce code pour rsoudre le problme dcrit dans les trois premiers chapitres de ce mmoire.
Dans ce chapitre, nous prsentons quelques rsultats obtenus l'aide de MEF++. On pourra se rfrer l'annexe C pour une description de chacune des tapes du code calcvlStokesGenNenUzawa qui a permis de rsoudre, par la mthode d7Uzawa, le problme de Stokes pour les fluides newtoniens gnraliss. Les rsultats graphiques ont ts obtenus l'aide du logiciel Vu du CERCA. Concernant Vu nous rfrons le lecteur Ozell et Pic (1998).

4.1
4.1.1

Validation des rsultats


coulement de Poiseuille dans un tube

Dans im premier temps, il est important de valider les rsultats que nous obtenons avec le code. Pour ce faire, on se donne une gomtrie trs simple sur laquelle on

connat la solution analytique pour un coulement donn. On comparera ensuite la solution obtenue numriquement avec la solution analytique. O n peut montrer (voir Agassant et al. (1996)) que, pour un coulement dit de Poiseuille avec viscosit modlise l'aide de la loi de puissance, c'est--dire un ) = ~0 1+(u)1N-') coulement d'un fluide pseudoplastique (la viscosit tant q (li.(u) 1 dans un tube de rayon R et de longueur L sur lequel on impose une diffrence de pression A P entre l'entre et la sortie du tube, la solution analytique est donne par:

o r correspond la position en coordonnes polaires.

Prenons donc un tube de longueur L = 20 et de rayon R = 1, suivant l'axe des x. Donnons-nous un maillage de ce tube comme suit:

Figure 4.1: Maillage d'un tube avec 6000 lments (tubex2)

Il est possible de montrer (voir Fortin (1995)) que les paramtres du modle de la
loi de puissance pour une solution de 2% de polyisobutylne dans du primo1 335 sont q o = 228,34, N = 0,38. La viscosit s'crit donc:

On rsoud donc le problme de Stokes sur ce tube avec = 228,34, N = 0,38, (avec C = O, X = 1 et f = O). On impose les composantes u2 et u 3 de la vitesse O en entre et en sortie et la vitesse nulle sur la paroi latrale du tube, l'aide des conditions aux limites de Dirichlet. On impose les conditions limites de type Neumann l'entre et la sortie du tube de telle sorte que l'on ait A p = 10000. Plus prcisement, on ) en entre (le vecteur normal est donc pose (-PI 2q(l j ( u ) I ) +(u)) n = (10000,0, O n = (-1,0,O)), ce qui implique qu'on impose une pression de 10000 en entre, puisque = 7x3 = O. En sortie, on impose (-pI+2q(l j(u) 1) I(u)) -n= (0,0, O), qu'on a impos UL> (en sortie n = (1,0,0)) , c'est--dire une pression nulle.

On obtient la solution dcrite la figure 4.2. On peut observer le profil parabolode de la vitesse en diffrents endroits dans le tube. La pression, quant elle, obit la pression qu'on a impos, soit de 10000 en entre et O en sortie. En effet, on obtient des pressions respectives de 10007.2 et -1.2373.

c h e l l e de p r e s s i o n

-1.2

5t

-y,

2e+03

4e-i-03

6e+03

8eS03

le+04

Figure 4.2: Solution numrique d'un coulement de Poiseuille sur le tube

A h de mieux apprcier le profil des vecteurs vitesse, on voit sur la figure 4.3 une
coupe de la solution dans le plan z = 0.

E c h e l l e de p r e s s i o n
. &
.-y.
l

-1-2

2e+03

4e+03

6e+03

8e+03

le+04

Figure 4.3: Solution dans le plan z = O de l'coulement de Poiseuille sur le tube Comparons le profil de la solution analytique donne l'quation 4.1 avec celui de la solution numrique de la figure 4.2, obtenue sur le maillage compos de 6000 lments. tant donn les paramtres que nous avons choisis, la vitesse analytique suivant l'axe des x s'crit, selon l'quation 4.1:

o, dans ce cas, T =

On peut voir sur la figure 4.4 le profil de la solution analytique (en trait plein) ainsi
que celui de la solution numrique (avec les O) sur le maillage avec 6000 lments. Nous avons galement effectu les calculs sur deux autres maillages; un maillage comprenant 750 lments (avec les *) et un autre plus raffin de 48000 moins r& lments (avec les +). Pour raffiner le maillage, on a dcoup en deux chacune des artes de chacun des lments (il y a donc huit fois plus de ttradres sur un maillage rafIin). Le tableau suivant rsume les informations concernant les trois maillages.

Figure 4.4: Solutions numriques et solution analytique d'un coulement de Poisseuille

I l est intressant de remarquer que plus le maillage est raifin, plus la solution se
rapproche de la solution analytique. Tableau 4.1: Informations propos des maillages tube, tubex2 et tubex4 Maillages tube, tubex2 et tubex4 Maillage II Nombre 1 Nombre 1 Nombre 1 n", 1 6 11 d'lments ( de sommet 1 d'artes 1 1 - J1 1035 tube 3663 750 186 186 tubex2 1221 6000 26523 1221 7620 tubex4 58440 201843 8841 8841 48000 n k n% : Nombre de degi-s de libert en vitesse et ~ression
1 1

Il est important de remarquer que, mme avec le maillage compos de 48000 lments, on obtient une lgre diffrence entre la solution analytique et les solutions obtenues par lments finis. Cette erreur est due principalement deux causes.

Premirement, tant donn que nous utilisons des ttradres pour faire le maillage, le tube n'est en fait qu'une approximation d'un tube. On compare donc la solution d'un coulement sur un vritable tube avec un coulement sur un tube polygonal. C'est d'ailleurs pourquoi en raffinant le maillage du tube, la solution est amliore. L'autre source d'erreur provient du fait qu'on utilise des interpolants quadratiques en vitesse (nous utilisons l'lment P2-Pl), ce qui nous permet d'obtenir exactement des solutions de type quadratiques (et de degrs moins levs) en vitesse. Cependant, dans notre cas, la vitesse analytique comporte le terme r3v6337. En fait, il est impossible de capter la bonne solution pour des valeurs de N infrieures 1 puisque dans ce cas l'exposant de r devient suprieur 2. C'est donc dire qu'on ne peut obtenir la solution exacte I'coulement de Poiseuille dans le cas des fluides non newtoniens avec l'lment P2-P 1.

4.1.2

coulement dans une cavit cubique

Un autre problme trs classique est celui de la cavit cubique. On prend le domaine cubique [O, 113 comme la figure 4.5. On prend les paramtres q0 = 1,0, N = 1,O (donc C et X quelconques) et on choisit f = O. On impose une vitesse nulle sur toute la frontire sauf sur la paroi suprieure (dans le plan z = 1) o on pose u = (1,0,0) ( l'aide des conditions aux limites de Dirichlet),ce qui aura pour effet d'induire une circulation du fluide dans la cavit.

Figure 4.5: Maillage d'une cavit avec 384 lments

Tableau 4.2: Informations propos des maillages cube, cubex2 et cubex4 Maillages cube, cubex2 et cubex4 n", Maillage - II Nombre 1 Nombre 1 Nombre d'lments de sommet d'artes 384 1 125 604 2187 cube

1 4
125

cubex4 24576 4913 31024 1107811 14913 n " , nn : Nombre de degrs de libert en vitesse et pression

On obtient la solution prsente la figure 4.7 qui t obtenue l'aide du


maillage cubex2. On observe une zone de recirculation l'intrieur de la cavit.

Nonne du vecteur (U-x,U_y,U-z)

O. 214

O. 427

O. 641

O. 854

Figure 4.6: Solution numrique d'un coulement induit dans la cavit (solution obtenue avec 3072 lments) Nous avons galement effectu les calculs sur un maillage plus raffin, la maillage cubex4. Afin de pouvoir mieux visualiser la solution, on prsente la figure 4 . 7 1 seulement une coupe de la solution dans le plan y = 2 . On peut voir sur la figure 4.8 les isovaleurs de la composante en x de la vitesse dans le plan y = 1

~ o m e du vecteur (u-x,U~nu-z)

- ? C C

O. 217

O. 434

O .'651

O. 868

1-08

Figure 4.7: Solution numrique d'un coulement induit dans la cavit (solution obtenue avec 24576 Iments)

Isovaleurs de IJ-x

Figure 4.8: Isovaleurs de la composante x de la vitesse, dans la cavit


Nous allons utiliser la cavit afin de montrer le comportement de la mthode du gradient conjugu lors de la rsolution du systme AabP = Go (tape 2.1 de l'algorithme d7Uzawa). tant donn que nous avons choisi N = 1, le problme

rsoudre est linaire et une seule itration de la mthode de Newton est sufEsante pour atteindre la convergence (nous avons choisi E = 1 x 10-~). Nous prsentons sur le graphique de la figure 4.9, la valeur de la norme infinie du rsidu prconditionn, IIR2,i[lca7 en fonction des itrations de la mthode du gradient conjugu. Il a fallu

Figure 4.9: Norme infinie du rsidu en fonction des itrations dans le cas linaire environs 30 itrations pour atteindre la convergence et ce nombre d'itrations est indpendant du raffinement du maillage. Terminons cette section en parlant de la stratgie qui nous a permis de bien rsoudre le problme de Stokes. La valeur de l'indice de pseudoplasticit iV joue un rle important quant la complexit du problme qu'il faut rsoudre. Quand N = 1: le problme est linaire et il est relativement simple rsoudre. Par contre, plus N est petit plus le problme est difficile rsoudre, en raison de la non-linarit. Par exemple, pour rsoudre l'coulement de Poiseuille sur le tube, avec N = 0,38, nous n'avons pas lanc Les calculs directement avec N = 0,38 car la convergence est difficile atteindre. Nous avons plutt rsolu le problme avec N = 1, pour ensuite abaisser la valeur de N graduellement, par exemple en prenant successivement N = 0; 8; 0: 6; 0,45 et 0,38, en prenant comme solutions initiales, pour chacun des calculs, la solution obtenue avec le N prcdent. Cette stratgie semble tre la meilleure solution pour traiter le problme de non-linarit prsent dans la rsolution du problme de Stokes pour les fluides newtoniens gnraliss avec un indice de pseudoplasticit assez petit.

4.2

Autre gomtrie

Dans cette section, nous allons considrer des coulements de fluides sur une gomtrie un peu plus complexe. En effet, il est important de s'assurer que notre code est capable de rsoudre les quations de Stokes sur des gomtries moins simples qu'un tube ou une cavit cubique. Parfois un code d'lments finis rend de bons rsultats sur des gomtries simples mais a des difficults le faire sur des gomtries complexes. Nous allons maintenent considrer une contraction, une gomtrie qui permettra de tester le code utilis face une gomtrie un peu plus complexe. Donnons-nous le maillage d'une contraction tel qu'illustr la figure suivante.

Figure 4.10: Maillage d'une contraction avec 30720 lments

Tableau 4.3: Informations propos du maillage Contraction Maillage Contraction Nombre Nombre Nombre hl aillage ne d'lments de sommet d'artes 135555 6209 38976 6209 30720 Contraction nk. nt : Nombre de d e a s de libert en vitesse et mession

Nous allons tenter de modliser nouveau l'coulement d'une solution de 2% de polyisobutylne dans d u primo1 335, mais cette fois l'aide de la loi de Carreau. On peut montrer (voir Fortin (1995)) que les paramtres du modle de Carreau pour ce fluide pseudoplastique sont 70 = 4926,08, N = 0,331, X = 116,922 (C = 1). La

viscosit s'crit donc:

Rsolvons donc les quations de Stokes sur cette contraction, avec les paramtres ci-hauts pour modliser la viscosit du fluide considr. Nous prendrons encore f = O Nous imposons la vitesse nuHe sur chacune des faces sauf l'entre et la sortie ou on impose plutt respectivement des pressions de 10000 et de O. On obtient le solution dcrite la figure 4.11 (dans le plan x = 0).

Figure 4.11: Solution numrique d'un coulement dans Ia contraction La figure 4.12 prsente les isovaleurs de la pression.

Figure 4.12: Isovaleurs de la pression, dans la contraction

4.3

Problmes rencontrs en industrie

Voyons maintenant un problme plus prs de ceux qu'on rencontre en industrie. tous les jours, on utilise un tas d'objets fabriqus partir de matires plastiques, par mise en forme de polymres. Pour produire la plupart de ces objets, on utilise diffrents procds tels le calandrage, le soufflage, l'extrusion et l'injection. Selon -4gassant et al. (l996), l'extrusion est l'un des procds les plus importants. Son principe consiste transformer, l'aide d'une vis extrusion, de la matire plastique solide en un polymre fondu qui pourra ensuite tre moul. La vis estrusion telle qu'illustre la figure 4.13, qui a t tire du livre d7Agassant et al. (1996); permet donc de faire fondre, de mlanger et de donner une pression a u polymre fondu permettant celui-ci d'tre inject sous pression dans un moule, en un produit final.

Granules de plastique
/

Figure 4.13: Schma d'une extrudeuse avec une monovis Encore une fois, nous allons rfrer le lecteur Agassant et al. (1996) pour plus de dtails sur les procds d'extrusion et autres procds de mise en forme de matires plastiques. L'article de Bravo et al. (1998) prsente des simulations d'coulement dans diffrents types de vis extrusion, principalement des bi-vis extrusion. Il est noter qu'ils ont utilis des mthodes directes pour rsoudre les systmes d'quations provenant de la discrtisation. Nous allons donc tenter d'tudier l'coulement d'un fluide pseudoplastique l'intrieur d'une vis extrusion, avec notre mthode.

Mentionnons immdiatement que nous ne prtendrons pas faire une vrai simulation d'un coulement dans un vis d'extrusion. D'une part, nous avons considr que la vis tait fixe, alors qu'il faudrait imposer une vitesse de rotation la vis (il faudrait tout simplement imposer des vitesses correspondantes sur les parois intrieures de la vis, l'aide des conditions aux limites). D'autre part, comme nous le verrons, nous n'avons pas choisi un fluide qu'il serait raliste de retrouver dans un procd d'extrusion- Nous allons tout de mme modliser I'coulement d'un fluide l'intrieur d'une telle vis (sans rotation) de manire s'assurer que notre mthode fonctionne bien sur un maillage d'assez grande complexitPour ce faire, on maille l'intrieur d'une section de la vis comme on peut le voir aux figures 4.14 et 4.15. Il faut bien comprendre que le maillage est fait entre les dents de la vis, l o le fluide circule. If faut aussi imaginer que cette vis est enferme dans un fourreau (le tube qui entoure la vis).

Figure 4.14: Maillage entre les dents d'une vis extrusion - Vue de face Considrons, cette fois-ci, une solution d'oxyde polythylne dans une autre solution de 50% d'eau et 50% de glycrine. Selon Carreau et al. (1997) les paramtres pour la loi de Carreau d'une telle solution sont: 110 = 102'0, N = 0,375, X = 4'36.

Figure 4.15: Maillage entre les dents d'une vis extrusion - Vue de biais Tableau 4.4: Informations propos du maillage Vis Maillage Vis Maillage II Nombre 1 Nombre 1 Nombre 1 nU, 1 n; 11 d'lments 1 de sommet 1 d'artes 1 1 1 Vis 11 3769 1008 1 5419 119281 11008 ] nU,, nP, : Nombre de degrs de libert en vites
II
I l
1 1 II
1
1

1I

Nous allons donc rsoudre les quations de Stokes avec ces paramtres et f = O en imposant une vitesse nulle sur la vis et sur le fourreau. Pour qu'il y ait un coulement? on impose une diffrence de de pression 4P = 100 entre la partie avant et la partie arrire de la vis.

On obtient la solution dcrite aux figures 4.16 et 4.17 des pages suivantes. Nous
avons donn les vecteurs vitesses dans dans diffrents plans. Sur la figure 4.18, on peut observer la solution sur toute la vis.

Figure 4.16: Solution de l'coulement dans la vis, dans diffrents plans

Figure 4.17: Solution de l'coulement dans la vis, dans diffrents plans (suite)

Figure 4.18: Solution de l'coulement dans l a vis Bien que nous n'ayons pas la solution analytique d'un tel coulement dans une vis, on peut quand mme a h e r que la solution semble visuellement correcte. En effet, on peut aisment imaginer qu'un fluide puisse avoir un comportement comme celui dcrit aux figures prcdentes. Suite aux rsultats que nous avons prsents dans ce chapitre, nous pouvons conclure que la mthode des lments finis permet de bien rsoudre le problme de Stokes. Nous avons su bien traiter la non-Linarit dcoulant de l'utilisation des modles Loi de puissance et de Carreau pour d c ~ r la e viscosit. Finalement la mthode d7Uzawa s'est avre une mthode efficace pour la rsolution des systmes d'quations.

Conclusion
Dans ce mmoire, nous avons tent de simuler des coulements de fluides incompressibles newtoniens et non newtoniens. Pour ce faire, nous avons rsolu les quations de Stokes en utilisant deux modles (loi de puissance et modle de Carreau) pour dcrire le comportement de la viscosit des fluides. Nous avons prsent la mthode des lments finis spcifiquement applique la rsolution des quations (non linaires) de Stokes pour les fluides non newtoniens ainsi que la mthode d'Uzawa pour rsoudre les systmes d'quations provenant de cette dernire mthode. Aprs avoir valid la mthode que nous avons utilise, en rsolvant le problme de Stokes sur des gomtries simples, dont on connat la solution analytique, nous avons rsolu les quations de Stokes sur des gomtries d'une plus grande complexit: afin de voir si le code tait robuste face des maillages complexes. Par la suite, nous avons assay de rsoudre un problme du type de ceux que l'on pourrait rencontrer en industrie. Nous avons fait une brve incursion du ct des procds d'extrusion pour tenter d'appliquer notre mthode de vrais problmes. On a donc fait la simulation d'coulements de polymres et d'autres fluides non newtoniens dans une vis extrusion. Il s'est donc avr qu'il tait possible grce la mthode des lments finis combine la mthode d7Uzawa,de bien rsoudre les quations de Stokes pour des fluides newtoniens gnraliss, en utilisant les modles loi de paissance et modle de Carreau pour dcrire la viscosit de ces fluides. Chose intressante avec la mthode dYUzawa, c'est qu'on est amen rsoudre un systme d'quations linaires dont la matrice est symtrique et dfinie positive. Ainsi, nous avons pu utiliser la mthode du gradient conjugu ce qui nous a permis de rsoudre des systmes de grandes tailles que l'on obtient lorsqu'on rsoud des problmes tridimensionnels sur des maillages contenant

beaucoup d'lments. Comme nous en avons fait mention dans le chapitre 3, il semble qu'une pnalisation du type A + rBTB n'a pas donn les rsultats voulus quant la rsolution, par la mthode d7Uzawa, des systmes d'quations provenant de la discrtisation des quations de Stokes par la mthode des lments finis. Nous pensions qu'une telle pnalisation de la matrice du systme global amliorerait la convergence, mais on a d constater que la convergence tait meilleure sans cette pnalisation. Suite aux travaux concernant ce mmoire, en ce qui concerne les perspectives d'avenir dans le domaine de la mcanique des fluides et pour donner suite aux rsultats prsents dans ce mmoire, il faudrait simuler des coulements plus ralistes sur les vis d'extrusion en rotation. galement, il serait possible de faire des simulation sur des doubles vis d'extrusion. Dans un autre ordre d'ides, il serait envisageable de tenter de rsoudre les quations de Navier-Stokes pour les fluides newtoniens gnraliss. Il y a galement tout le concept de l'adaptation de maillage, que nous n'avons pas trait ici.

Rfrences
AGASSANT, J.-F-, AVENAS,P., SERGENT,J.-P., VERGNES,B. et VINCENT,M. (1996). La mise en forme des matires plastiques. Techniques & Documentation Lavoisier, Paris. BERTRAND,F.,TANGUY,P. A.: BRITO DE LA FUENTE, E. et CARREAU,P. (1999). Numerical modeling of the rnixing flow of second-order fluids with helical ribbon impellers. Comput. Methods Appl. Mech. Engrg, 180, 267-280.

BRAVO, V. L., HRYMAK,A. N. et WRIGHT, J. D. (1998). Numerical simulation


of pressure and velocity profiles in rnising elements of a CO-rotating twin screw extruder. Polymer Engineering & Science, 25 pages. Article accept en mars 1999.

BREZZI, F. et FORTIN, M. (1991). Mixed and Hybride Finite Element Methods. Springer-Verlag, New-York. CAREY, G. F. et ODEW, J. T. (1986). Finite Elements - Fluid Mechanics, vol. VI. Prentice-Hall, Englewood Cliffs. CAREY,G. F., WANG,K. C . et JOUBERT, W. D. (1989). Performance of iterative methods for Newtonian and generalized Newtonian flows. [nt. J. Numer, Meth. Fluids, 9, 127-150.

P. J., DE KEE, D. et CHHABRA, R. P. (1997). Rheology of Pdyme% CARREAU, Systerns: Principles and Applications. Hanser, Cincinnati.
CROCHET,M. J., DAVIES,A. R. et WALTERS,K. (1984). Numerical Simulation of Non-Newtonian Flou. Elsevier, Amsterdam. FORTIN, A. (1995). Analyse numrique pour ingnieurs. ditions de l'cole Polytechnique de Montral, Montral.

FORTIN, A. et GARON, A. (2000). Les lments m i s r de la thorie la pratique. parratre.

FORTIN, A., G U N E T T E , R., LABB, J. et MARCOTTE, J.-P. (2000). Iterative solvers for quadratic discretisation of the stokes problem. parratre.

GARTLING, D . K . (1986). Finite Element Methods for Non-Newtonian Flows. Sandia Report SAND85-1704.

GREENBAUM, A. (l997). Iterative Methods for Solvzng Linear Systems. SIA4M, Philadelphia.
LASCAUX, P . et THODOR, R. (1987). Analyse numrique matricielle applique l'art de l'ingnieur, vol. 2. Masson, Paris.

OZELL, B. et PIC, C. (1998). Manuel d'utilisation du logiciel configurable de visualisation scientifique VU. CERC-4.

PIRONNEAU, 0. (1988). Mthode des lments finis pour les jluzdes. L4asson, Paris.
REDDY, J. N. (1993). An introduction t o the Fznite Element Method. McGraw Hill:
New York, seconde dition.

ROBICHAUD, M . P., TANGUY, P. A. et FORTIN, M. (1990). An iterative implementation of the Uzawa algorithm for 3d Buidflow problems. Int. J. Numer. Meth.
Fluids, 1O, 429-443.

TANGUY, P . A., F O R T I N , A. et BERTRAND, F. (1988). A Three-dimensional Finite Element Model for Polymer Melt Flow. Adv. Polym. Tech., 8, 99-1 13.

WATHEN, A. J . et SILVESTER, D. J. (1993). Fast iterative solution of stabilised stokes systems. part i: Using simple diagonal preconditioners. SIAM J. N u m e r Anal, 30, pp. 630-649.

WATHEN, A. J. et S I L V E S T E R ,D. J. (1994). Fast iterative solution of stabilised stokes systems. part ii: Using general block preconditioners. SIAM J. N v m e r Anal,
31, pp. 1352-1367.

Annexe A

Mat rice symtrique et matrice dfinie positive


Dans ce qui suit A = An,, est une matrice de dimension n par n et B = B,,, est une matrice de dimension m par n (avec m n).

<

Dfinition 1 Une matrice A est dite symtrique si AT = A.


Thorme 1 Si A est une matrice inversible et symtrique, alors la matrice A-' est aussi une matrice symtrique. Preuve

On a:

cof(4 det ( A )

I
det ( A )bof (

4IT

puisque la matrice des cofacteurs,

CO f (A),

est symtrique si A est symtrique. O

Thorme 2 Si A est une matrice inversible et symtrique et B est une matrice quelconque, alors la matrice B A-' BT est aussi une matrice symtrique.
Preuve

On a:

puisque (A-')= = A-' lorsque A est symtrique. O

Dfinition 2 Une matrice A est dite dfinie positive si

< A x , x > > O pour tout x # O


avec < A x ,x > = O seulement si x = 0. (< , > signifit le produit scalaire < x:y > = x - yT)

Thorme 3 S i A est une matrice dfinie positive (donc inversible), alors la matrice A-' est aussi une matrice dfinie positive. Preuve
On a:

puisque -4 est dfinie positive. De plus, < A y, y > sera gale O seulement si y = 0, c'est--dire si A-' x = O, donc seulement si 3; = 0. O

Thorme 4 Si A est une matrice inversible et dfinie positive et B est une matrice telle que BT a des colonnes linairement indpendantes, alors la matrice B A-' BT est aussi u n e matrice dfinie positive.

Preuve

On a: <BA-'B~X,Z> = <A-~B*z,B~x>
=

< A-'

Z,z

>

(en posant z = B~ Z)

> O
puisque -4 est dfinie positive, en utilisant le thorme 3. De plus, < A-' Z,z > sera gale O seulement si r = 0, c'est--dire si B* x = O, donc seulement si x = O, puisque les colonnes de BT sont linairement indpendantes. O

Thorme 5 Si A est u n e matrice symtrique et dfinie positive et B est une matrice telle que BT a des colonnes linairement indpendantes, alors la matrice BA-' est aussi u n e matrice symtrique d j n i e positivePreuve On n'a qu' utiliser les thormes 1 4. O

Annexe B

Mthode du gradient conjugu


La mthode du gradient conjugu est une mthode itrative pour la rsolution de systmes d'quations linaires tel le systme A x = G.
Princi~e de la mthode:

11 faut que la matrice A soit symtrique et dfinie positive.


Trouver la solution du systme A x = G est quivalent trouver le point x qui minimise la fonctionnelle J ( x ) dfinie par:

o < , > signifie le produit scalaire < x, y > = x s'agit de partir d'une solution initiale z(O) et de passer du vecteur

dk) au vecteur

x(~+') par la relation:

u(~ tant ) une direction conjugue de u(l), rendre J ( x ( ~ ) minimum. )

. . . , u ( ~ -et ~P)( k ) tant choisi de faon

L'algorithme de la mthode du gradient conjugu est dcrit la page suivante.

Algorithme de L a mthode du gradient conjugu: Initialisations:

On se donne

do):

un critre d'arrt
~ (- 0 G) et u ( 0 )

et un nombre maximum d'itrations

N , , , .

On pose r(O)= ~
Itrations:

= -r(0)

Pour k = 0,1:2, . ..

si < r k ,r k

> <

OU

si k = N , , ,

arrt

sinon retour (1)

Pour plus de dtails sur la mthode du gradient conjugu, on peut se rfrer Lascaux et Thodor (1987)

Annexe
Approche informatique
Dans cette annexe, nous nous proposons de faire un survol des diffrentes parties du code calculStokesNewGenUzava programm avec MEF++ qui ont permis de rsoudre le problme de Stokes pour les fluides newtoniens gnraliss, l'aide de la mthode d7Uzawa. Nous allons dcrire les classes (notion de programmation orient objet en Cf+) qui constitue le code caZculStokesNewGenUzawa qui nous ont permis d'arriver notre but. Une des premires tapes que l'on retrouve dans le code est la dclaration des constantes pour les diffrents paramtres du modle viscosit des fluides newtoniens gnraliss: 70, C, X et N et de leur assigner des valeurs (voir l'quation 1.2 de la page 9).

i n t main(int argc , char *argv

>

On se donne ensuite des objets de classe Maillage, classe qui contiendra toute l'information sur le maillage puis on lit les donnes concernant le maillage. Le paramtre inom fait rfrence un fichier contenant le maillage (exemple: tubeR.mai1).

Maillage IMail ; 1Msg = lMail.importe(1Nom);

On dclare le type de frontire des lments. Dans le cas linaire, (ChampGeoLin) les lments sont droits mais on pourrait aussi avoir des lments avec des Gontires constitues de courbes.
ChampGeoLin 1ChampGeo ClMail) ;

O n se donne un objet de classe Geometrie qui contient l'information de la gomtrie qui constitue le maillage (exemple: tubeR-geom).
Geometrie 1Geo ; lMsg = 1Geo - importe (lNom) ;

Chacune des entits qui constitue le maillage, par exemple l'entre, la sortie et les bords d'un tube, sont contenus dans un fichier (exemple: tubeR.enti) qu'il faut lire. On assigne ensuite chacune des entits au maillage. Ces entits permettrons de fiver les conditions limites sur la frontire de la gomtrie du maillage.
ListEntitesGeometrique IListeEntite; Chainecar 1NomFichierEntites = lNom + ".entiH; ifstream 1FichierEntites(l~orn~ichies~ntites.~~str~~~; lMsg = lListeEntite.importe(1Fichie~Ehtites); 1ListeEntite.asgnMaillage (lMail) ;

Ensuite, on dclare le type d'lment qu'on utilise. Dans le cas de l'lment P2-Pl, dcrit a u chapitre 2, on prendrait un champ vectoriel 3D avec des fonctions d'interpolation quadratique (ChampVectJ~Quad) pour le champ de vitesse 1U et un champ scalaire avec des fonctions d'interpolation linaires (~hampScal~in) pour le champ de pression 1P.
ChampVect3DQuad lU(1Mail) ; ChampScalLin 1P (1Mail) ; 1 1faut aussi dclarer une classe grant le traitement des conditions aux limites. On fait la lecture du fichier (exemple tubeR.CL) contenant les fonctions qui dfinissent

les conditions sur chacune des entits du maillage.

ListeConditionsLimites lListeCondLimCIChampGeo, 1ListeEntite); Chainecar lNomCL = 1Nom; lNomCL += " .CL" ; ifstream l F i c h i e r C L ( 1 N o m C L . ~ , s t r ~ ) ) ; 1Msg = lListeCondLirn.analyse(1FichierCL); 1ListeCondLim.appliqueChamp~); On dclare maintenant des objets de type Form permettant de calculer chacun des termes de la formulation vaxiationnelle telle que dcrite la page 17. Les classes FormStokesNumVitesseNewGen, FormDivDiscrete et FormMatriceMasseLin permettront donc de calculer les diffrents termes qui formeront respectivement les b f telles que dcrites a u chapitre 2 (la matrice M servant matrices Ai,B et i prconditionner les systmes M-' 4 bP = M-l Gi) .
FormStokesNumVitesseNewGen

FormDivDiscrete FormMatriceMasseLin

1FormVitesse; 1FormDiv ; 1FormMasse ;

Pour calculer les diffrentes intgrales de la formulation variationnelle, on utilise les quadratures de Gauss sur des triangles ou des tetradres. On passe en paramtre soit le nombre de points de Gauss (ex: DouzePts Internes), soit le degr de prcision du schma d'intgration (ex: 2).

On assigne les paramtres, le schma d'intgration ainsi que les champs ncessaires
dans chacun des termes de formulation.

Nous aurons besoin de diffrentes matrices et vecteurs. Pour ce faire, on dclare des objets de type MatriceGlobale et VecteurGlobal.
MatriceGlobale 1MatriceVitesse (MatriceGlobale : :CSR) ; MatriceGlobale lMatriceDiv(MatriceGloba1e::CSR); MatriceGlobale 1MatriceMasse (MatriceGlobale : :CONDENSEE) ; VecteurGlobal VecteurGlobal VecteurGlobal VecteurGlobal 1VectResiduVitesse; 1VectResiduPression; 1VectCorrectionVitesse; 1VectCorrectionPress~on;

et on leur assigne leur dimension respective.

P E T S c ( T h e Portable, Extensible Toolkit for Scientific Computation) est une librairie d'algbre linaire numrique qui permet entre autres de rsoudre des systmes d'quations linaires. Puisque tout est dj programm, il suffit d'affecter les fonctionnalits de PETSc notre tche. Pour ce faire, on conserve des rfrences de type P E W c sur nos diffrents objets de type MatriceGlobale et VecteurGlobal.

On utilise les solveurs de PETSc. Notamment le solveur gradient conjugu avec prconditionneur de Jacobi pour rsoudre les systmes J-' iliW = J-' RiTi(voir l'algorithme d7Uzawa, la page 31),

et un solveur direct (par dcomposition LU) pour rsoudre le problme intermdiaire A. w = v prsent lors du calcul de l a matrice A-en faisant du matrix-free.

On assemble la matrice masse M

Puis on dclare la matrice de classe MatricePETScUzawa, classe spcialement conue pour grer la rsolution ( l'aide du matex-free) des systmes concernant la matrice A-= BA-1 Bt selon les trois tapes dcrites la page 29.
MatricePETScUzawa lMatriceUzawa(1P. reqNbTotalDDLs (1 , 1P.reqNbTotalDDLs0) ; 1MatriceUzawa.asgnSolveurC1SolveurVitesse); 1MatriceUzawa.asgnMatricesVecteurs(lMatriceVitesse,lMatriceDiv, 1VectResiduVitesse,IVectC~rrectionVitesse, 1ListeCondLim);

On prconditionne le systme M-'6P = M-'Gi

On entre maintenant dans le coeur de l'algorithme d'Uzawa, dcrit la page 31.


Entier lNbIter = 0; while (lNbIter < 1MaxIterations) (

On assemble la matrice Ai et Ie vecteur rsidu RLVi

On impose les conditions limites dans la matrice Ai et dans le vecteur rsidu Ri;i

On rsoud L e systme J-1 AiW = J-'

et on met jour la correction W dans le champ 1U

On assemble la matrice B (seulement la premire itration) et le vecteur rsidu


R2.i

if(1NormeResiduPression C 1Tolerance)
break;

On peut maintenant rsoudre le systme M-'

A- 6P = M-' Gi -M-' R 2 (UT, Pi).

puis mettre la pression jour

(Pi+, = Pi+ 6P)

1 1 ne reste qu' incrmenter le compteur 1NbIter.

On crit les solutions en vitesse et en pression dans des fichiers (exemples: tubeR.sol. U e t tubeR.so1.P)
1NomFichierChamp = lNom + ".sol.U"; c-str (1 ) ; of stream 1~ichier~olution~(1NomFichierChamp. lMsg = lu.exporte (1FichierSolutionU) ; 1NomFichierChamp = lNom + ".sol.PU; ofstream 1~ichiex~olutionP(1NomFichierChamp.c,str~)); lMsg = lP.exporte(lFichierSolutionP);

On exporte les rsultats dans u n fichier (exemple: tobeR.pie) dans un format propre au logiciel de visualisation Vu.
ExportVU fExportVU; 1ExportVU.asgnChampGeometrique (1ChampGeo) ; 1ExportW.ajouteChampVect3DContinu (lu, "U") ; 1ExportW.ajouteChampScalContinu (1P, "P") ; 1ExportW.asgn~egreInterpolation(Exportation::MAILLAGE~LINEAIRE) ; 1ExportW.exporteInfO (1Nom+ " .StokesNewGen-Uzawa") ;

Vous aimerez peut-être aussi