C ONTRIBUTION

L TUDE DES MLANGES DE FLUIDES VISCO - LASTIQUES

Laurent CHUPIN

Remerciements

Mes premiers remerciements sont, bien entendu, destins Pierre Fabrie qui a encadr mon travail pendant trois ans et ma fait proter de son exprience, de ses comptences mathmatiques et de ses nombreux conseils. Ses trs nombreuses sollicitations ne lont pas empch dtre dune grande disponibilit. Par lintrt du sujet propos et par la diversit de ses applications il a largement contribu au bon droulement de cette thse. Je remercie Franck Boyer dont la prsence dans ce jury a naturellement une importance particulire pour moi puisque ses travaux sont lorigine de cette thse. Un ennui de dernire minute layant empch dtre prsent lors de la soutenance, je voudrais lui exprimer ici ma reconnaissance pour son attention, sa gentillesse et ses conseils durant ces annes. Stphane Cordier et Jean-Claude Saut mont fait lhonneur de bien vouloir consacrer du temps la lecture de ce manuscrit. Je les remercie pour lintrt quils ont port tous les aspects de mes travaux ainsi que pour avoir accept dtre rapporteur de ce travail. Charles-Henri Bruneau a bien voulu prsider le jury ; je lui en suis trs reconnaissant. Jadresse mes plus vifs remerciements Sylvie Benzoni pour lintrt quelle porte ce travail ainsi que pour sa participation au jury. La disponibilit dAnnie Colin a aussi t une chance pour moi. Je suis trs heureux de sa prsence et je la remercie pour les discussions que nous avons eues au cours de ces trois dernires annes. Je remercie Didier Jamet de me faire lhonneur de participer ce jury. Jadresse galement des remerciements particuliers Laurent Desvillettes pour mavoir donn lexcellent conseil daller Bordeaux faire une thse. Thierry Colin a su me trouver une place au sein du MAB. Son enthousiasme fut aussi un lment dcisif de ma progression. Je suis trs heureux de pouvoir lui exprimer ici toute ma reconnaissance. Jai pu bncier, au cours des trois dernires annes, dexcellentes conditions au sein de lIMB. Jen remercie ses membres, en particulier ceux du laboratoire de Mathmatiques Appliques, ainsi que les personnels des secrtariats, de limprimerie et de la bibliothque, pour avoir rpondu mes demandes avec la gentillesse et lefcacit dont ils sont coutumiers. Enn, je tiens remercier Jessica de mavoir encourag et support pendant ces trois annes. Sa prsence mes cts ma permis de surmonter bien des difcults.

Table des matires

Table des matires

Introduction 5

Partie I Modlisation dun coulement diphasique visco-lastique

1

19

Modlisation dun mlange 23 1 Mlange diphasique interface diffuse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 2 Hydrodynamique et quations en vitesses . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 De la visco-lasticit... 29 1 Modles visco-lastiques classiques dans le cas monophasique . . . . . . . . . . . . . . . . . 29 2 Modle diphasique visco-lastique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 3 Bilan - Systme adimensionn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36

Partie II Rsultats mathmatiques

3 Prsence dun terme diffusif en contrainte 1 Hypothses et principaux rsultats . . 2 Quelques rsultats prliminaires . . . 3 Preuves des rsultats dexistence . . . 4 Unicit de la solution . . . . . . . . . 5 Le cas particulier . . . . . . . .

41
45 45 49 53 67 71 79 79 82 102 103 110

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

Rsultats sans le terme diffusif en contrainte 1 Notations, hypothses et noncs des rsultats . 2 Existence locale dune solution forte . . . . . . 3 Preuve de lunicit . . . . . . . . . . . . . . . 4 Preuve de lexistence globale donnes petites 5 Rsultats de rgularit . . . . . . . . . . . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

Un phnomne de couches limites 115 1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115 2 Enonc des rsultats . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117

4 3 4 5

Table des matires Construction des prols . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118 Etude des prols . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121 Estimation du reste . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127

Partie III Etude numrique du modle

6

129

Schmas numriques 133 1 Discrtisation en temps . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133 2 Discrtisation en espace et stabilit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137 Applications et rsultats 145 1 Canal sous cisaillement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145 2 Etirements de bres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155 3 Remplissage de cuve . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 159

Conclusion et perspectives

163

Bibliographie

169

Introduction

Introduction

Introduction

- Premire partie Modlisation dun coulement diphasique visco-lastique

La drivation dun modle pour les mlanges de uides visco-lastiques que lon prsente dans la premire partie est une extension dun modle diphasique propos par Franck Boyer au cours de sa thse [11]. Dans le premier chapitre de ce mmoire, on tablit un modle pour ltude des coulements diphasiques bas sur la thorie de Cahn et Hilliard et sur les principes fondamentaux de la mcanique. Le second chapitre est alors essentiellement consacr la prise en compte du comportement non newtonien que lon cherche modliser.

Chapitre 1 - Modlisation dun mlange

Au cours de cette thse, on se place dans le cas o les deux phases sont incompressibles et on suppose la temprature constante. On utilise un modle interface diffuse, ce qui est caractris par lintroduction dun paramtre dordre
quantiant la proportion de lun des uides au point  . On verra assez rapidement (grce aux quations de conservation de la masse dans chacune des phases) que lvolution de ce paramtre dordre est dcrite par une quation comportant un terme de transport et un terme de diffusion :

   



div

     

(1)

Cette quation traduit le fait dune part que linterface (cest--dire lendroit o varie) est transporte la  vitesse moyenne du mlange et dautre part quune diffusion seffectue travers cette interface. Le ux de cette diffusion est proportionnel la vitesse relative des deux phases, note ici  . On verra aussi que le choix de la vitesse moyenne du mlange est essentiel. On a privilgi une moyenne volumique des vitesses de chaque phase. Un tel choix permet de conserver la relation diso-volume (qui est traditionnellement associe lincompressibilit) : div

 

Ainsi, mme si le mlange nest pas incompressible (les deux phases peuvent avoir des densits diffrentes) il est trs important, aussi bien du point de vue mathmatique que du point de vue numrique, davoir une telle relation. Ltape suivante consiste dterminer des lois dvolution pour les vitesses et  . Les lois de conservation de la quantit de mouvement pour chacune des deux phases donnent aprs combinaisons linaires les deux quations dvolution voulues. Elles font bien sr intervenir les forces extrieures appliques chaque phase (gravit, frottement et potentiel chimique) ainsi que les forces intrieures. On ! considrera #"%$ '& que ces dernires sont des forces de surface et quelles peuvent donc scrire sous la forme div , tant la pression & hydrostatique et le tenseur des contraintes. Aprs simplications (justies dans [11]), on a

 ( 

div

- ( +*' , )

 &  (/  .102 4 (3 div   ( 5(  .   % (8  (

(  

05 

    . 0     .1 ( 6 (   7

(2)

Introduction

La premire quation nest rien dautre quune quation de conservation de la quantit de mouvement pour . le mlange. En particulier, elle fait apparatre des forces moyennes agissant comme le potentiel chimique dont une expression en fonction de a t donne par A. Onuki dans [69]. Ce potentiel est dni comme la diffrentielle dune nergie libre par rapport au paramtre dordre. Dans le cadre de notre tude, on considre une nergie libre de type Cahn-Hilliard :

   
!


ce qui fournit lexpression suivante pour le potentiel chimique :

 
 

Le type dnergie considr fait apparatre le potentiel de Cahn-Hilliard ayant la forme dun double puits, les deux puits correspondant aux deux tats stables o il ny a quune seule phase dans le mlange, voir la gure 1. Lavantage dune telle nergie libre est den connatre une approximation de type polynomial assez 6 simple (de degr ) du potentiel frquemment utilise dans la littrature [84].

0.30

0.30

F IG . 1: Exemple de potentiel

Pour ce qui est de la deuxime quation obtenue (2), elle montre que, modulo les approximations effectues, on peut exprimer la vitesse relative entre les deux phases  en fonction de . Cette uctuation en vitesse est directement relie au coefcient de frottement 8 entre les deux phases ainsi quau gradient du potentiel de Cahn-Hilliard. Cette expression de la vitesse relative nous permettra de substituer  dans lquation dvolution du paramtre dordre (1) an dobtenir une quation de type Cahn-Hilliard [30] couple la vitesse par un terme de transport :    Il faudra garder en mmoire que les quantits ( , et 8 dpendent en fait de la composition du mlange,  cest--dire du paramtre dordre . Notons par exemple que la quantit     8 est appele coefcient de mobilit et joue un rle trs important dans le traitement mathmatique de ce type dquations.

 #  ( 05 ( 0 ' 

div

   8(

 (  

Les seules inconnues sur lesquelles on na pour linstant aucune information sont les termes ! "%$ caractrisant  & . En ce la contrainte intrieure au mlange. Nous avons vu que cette contrainte est de la forme qui concerne la pression , elle peut tre vue comme un multiplicateur de Lagrange associ la contrainte  div Pour fermer le systme, il nous faut donc une quation dvolution sur le tenseur des contraintes & . Cest ici. quapparat la diffrence entre le cas dun mlange de uides newtoniens et celui dun mlange de uides visco-lastiques.

Introduction

Chapitre 2 - De la visco-lasticit...
Un uide newtonien est un milieu dans lequel le tenseur des contraintes est une fonction linaire du tenseur des taux de dformations (ce tenseur des taux de dformations est la partie symtrique du gradient de  vitesse, il est not ). Notons pour information que des uides dont le tenseur des contraintes est constant par rapport au tenseur des taux de dformations sont dits parfaits, voir [36] p.125. Dans le cas newtonien, le tenseur des contraintes scrit sous la forme suivante :

& 

 

Le coefcient est appel viscosit du uide. Dans le cas diphasique ce coefcient dpend de de sorte  que ) on lorsque seul lun des deux uides est prsent linstant et en un point (par exemple si  retrouve pour , la valeur de la viscosit de ce uide.

Notre objectif est de modliser un mlange de uides dits visco-lastiques dont les polymres en sont les exemples les plus connus. Il convient de prciser quil existe de nombreuses familles de uides non newtoniens. Il est dusage de les classer selon leur loi de comportement (lois ayant pour but dexprimer les efforts intrieurs, cest dire la contrainte, en fonction des dformations subies par le systme). Un uide visco-lastique est un uide non newtonien ayant une mmoire continue dans le comportement du milieu, ceci se traduit par des lois constitutives o le tenseur des contraintes sexprime comme une intgrale du tenseur des taux de dformations. On verra que la plupart de ces lois intgrales ont une forme diffrentielle quivalente, et compte tenu de notre approche il sera plus ais de travailler avec de telles lois. Mais l aussi, il ny a pas unicit des lois de comportement dcrivant un uide visco-lastique et la slection dune telle loi est videmment un pas critique dans la modlisation dun uide visco-lastique (et donc a fortiori dun mlange de deux uides visco-lastiques). Un trs grand nombre de lois a t propos (et lest encore !) pour dcrire le comportement rhologique des polymres. On peut citer ds prsent les travaux de H. Giesekus [37], R.G. Larson et T.C.B McLeish [54], G. Marrucci [61], J.G. Oldroyd [67] et H.C. ttinger [70]. An que la procdure de modlisation soit raliste, lquation constitutive doit satisfaire au moins les prdictions des nombreux tests rhomtriques effectus en laboratoires. Dun autre ct, le modle doit permettre un traitement numrique et une tude mathmatique. Un choix raisonnable est le modle dOldroyd [67] et cest ce modle que lon a intgr aux quations dcrivant le mlange diphasique.
Plus prcisment, tant une drive en temps objective, cest--dire indpendante du repre choisi, le modle scrit sous la forme suivante :  &    
    

Ce modle dOldroyd peut tre vu comme la gnralisation multi-dimensionnel du comportement dun complexe masse-ressort appel cellule de Jeffrey (voir la gure 2).

1

F IG . 2: Cellule de Jeffrey

10

Introduction

Plusieurs choses sont remarquer dans la faon choisie pour crire ce modle. Tout dabord on a spar    &  la contrainte en deux composantes, la premire correspond la partie newtonienne de la contrainte (on retrouve en effet un tenseur dpendant linairement du tenseur des taux de dformations) et la la partie purement lastique de la contrainte. seconde caractrise Le coefcient est appel paramtre de retard et permet de  distribuer la partie lastique et la partie visqueuse du uide : il est compris entre et , si est proche de alors le uide est trs lastique et inversement si est proche de alors le uide est plutt newtonien.  Les coefcients et ont des rles symtriques, ils mesurent pour le premier la viscosit (comme dans  le cas newtonien) et pour le second, llasticit. Notons que si alors on retrouve le comportement dun uide newtonien. Pour ce qui est du cas , le modle est connu et tudi sous le nom de modle de Maxwell [49]. Il est, en de nombreux points, trs diffrent du cas prsent. Dans la suite des travaux, lexception de quelques remarques, on supposera .

Dans le cas dun mlange diphasique, formulation de la loi constitutive sera utilise. La diff la mme  rence est la dpendance des paramtres , et par rapport au paramtre dordre de sorte que, comme pour la viscosit dans le cas newtonien, on ait une bonne dgnrescence des coefcients aux endroits o une seule phase est prsente. Ainsi, on pourra tout aussi bien considrer des mlanges de deux phases visco-lastiques que des mlanges ou lune des deux phases (ou mme les deux !) est newtonienne. La dernire tape de la modlisation consiste rassembler les quations trouves et les adimensionner , le nombre de Reynolds , le laide de grandeurs caractrisant lcoulement : le nombre de Peclet et le nombre de Weissenberg . Les nombres et reprsentant le contraste de nombre capillaire densit et la taille de linterface, le systme scrit :

       ( !    .   '#   div  !    ( (   .   

       '/    !     , -  (   div

 

        

div

(  
div
-



6 1 

 .

 

  (

.   7

% !

 ! !
% !

 

Avant toute tude mathmatique ou numrique, il faut sassurer que lon a bien rempli un des points importants du cahier des charges, savoir que le systme dgnre convenablement dans les cas suivants : Lorsquun seul uide est prsent (cas monophasique), le modle se comporte exactement  comme  les  modles de type Oldroyd [67]. En effet, il suft de remarquer que les constantes ou sont solutions de lquation de Cahn-Hilliard (1), et que les autres quations dcrivent exactement le  . cas monophasique (les paramtres , , , et ( tant ceux de la phase considre). Lorsque les deux phases sont newtoniennes alors on retrouve le modle propos par Franck Boyer [11].

Introduction

11

- Seconde partie Etude mathmatique du modle

Dans cette seconde partie, on dcrit les rsultats thoriques obtenus. Laccent est mis sur le caractre non newtonien. En particulier, on tudie un modle simpli dans lequel la densit des deux phases est la mme et la mobilit  ! ne dgnre pas. Dans les cas plus gnraux, par exemple lorsque les deux phases ont des densits diffrentes, on pourra consulter les travaux de F. Boyer [11] traitant du cas newtonien. Dans une premire approche (chapitre 3), on a travaill avec un modle de uide visco-lastique propos  par A.W. El-Kareh et L.G. Leal [29] contenant un terme additif diffusif en contrainte , .

Nanmoins, la plupart des travaux concernant les uides visco-lastiques, aussi bien du point de vue physique [36, 49] que du point de vue mathmatique [33, 43, 50], sont effectus sans tenir compte de ce terme additif. Il est donc important dobtenir des rsultats thoriques dans le cas . Cette tude fait lobjet du chapitre 4.

Au vu des chapitres 3 et 4, il est naturel de se demander ce quil se passe lorsque le paramtre tend vers zro. Dans le chapitre 5, on tudie le comportement des solutions pour petit, faisant apparaitre une couche limite en espace.

Chapitre 3 - Prsence dun terme diffusif en contrainte

Du point de vue mathmatique, le domaine dtude est un ouvert born de lespace (en dimension ou ). Le bord de ce domaine est not alors que dsigne la normale sortante ce bord. On se place dans le   cas o les deux uides ont mme densit (( ! ). En tenant compte du terme supplmentaire dans la loi constitutive, le modle considr scrit :

        

  #/   '  div

div

- !  ,

div

   7

         

.       

   div   .  .   
 !    -
 ' 0   0

 !      
  0 

(3)

!  

avec

 

12 Dans la loi constitutive, on peut reconnatre la drive objective du -tenseur    '  3 

Introduction

est donne par (4)

3
 

-tenseur

Sous des hypothses de mobilit non dgnre ( ) et de potentiel "presque polynomial", on prouve au cours du chapitre$ 3 lexistence locale et lunicit dune solution forte au problme (3) aussi bien dans le  que de la dimension $ cas de la dimension :

     -tenseur    

  -

 -tenseur 
    


  

Thorme 1 Pour toutes donnes 40 telle que div , unique solution 7

  telle que 5  (vitesse impose au bord du domaine),  0    # 0 0   et  vriant les conditions aux limites, il existe ! et une

du systme (3) tels que

 # " '   5  "   $ &% (   "     ) % " '   5  "  "  '    & %   

Comme dans le cas des quations de Navier-Stokes, on sattend obtenir de meilleurs rsultats en dimen sion . Malheureusement les non linarits de la loi constitutive empchent de tels rsultats. Nanmoins, dans le cas particulier , on arrive contourner ces difcults :

) Thorme 2 ( Le cas ! telle que  Pour toutes donnes , 0   vriant les conditions aux limites, et si systme (3) telle que

1"

+  *, .  - /0


40 "  telle que div 40 , 0  et dans (4) alors il existe une solution 7  du 5 " 2435 6 85 7 )% "92:' 3/5 6   " 2435 6  5 &% " 24' 35 6 "   " 2:3/5 6  &% "92:' 35 6 "  
5 ;  telle que div 40 , 0 <  = dans (4) alors il existe une unique solution

Corollaire 1 ( Le cas en dimension )  40 5 Pour toutes donnes telle que , 0 et vriant les conditions aux limites, et si  7 du systme (3) telle que

>

* < , + - /0  <

" 24 35 6  " 24 35 6 " 2: 3/5 6

  

# )%  &%  &%

" 2:' 3/5 6 "(24' 35 6 " 2:' 35 6

  

5  5  

Chapitre 4 - Rsultats sans le terme diffusif en contrainte

A lexception des rsultats obtenus pour , les mthodes mises en place dans le chapitre prcdent ne  sont plus concluantes lorsque le terme diffusif nest plus prsent. On sest donc inspir des travaux de C. Guillop et J.C. Saut concernant les coulements monophasiques visco-lastiques pour obtenir nos rsultats. Une mthode de point xe permet de contrler les termes non linaires au prix dune forte rgularit sur les donnes initiales :

Introduction Thorme 3 ( Le cas ) Pour toutes donnes 0 les conditions aux limites et avec tels que

13

 + 

- / 

 , 40    telle que div 40 , 0  # vriant , telle que   , il existe  et une unique solution 7  du systme (3)
"    "  

"   " "

'   '  ' 

 # &%   & %   

   7  " '  

" '  "  "      & % 5   "  )   " '  "    %  5 

Pour ce qui est de lexistence globale, on ne peut pas esprer obtenir de solutions fortes en dimension compte tenu du fait que le problme nest lheure actuelle pas rsolu pour le seul problme de Navier Stokes ! Dans le cas de la dimension , lquation de Navier-Stokes nest plus un obstacle (voir par exemple [25, 83, 85] mais aucun rsultat de type existence globale (avec donnes quelconques) nest connu pour les modles monophasiques visco-lastiques. On va donc se restreindre ici au cas o les donnes sont petites. Dans ce cadre, les rsultats connus actuellement sont plus nombreux non seulement concernant lexistence dune solution forte globale pour lquation de Navier-Stokes mais aussi pour un systme couplant lquation de Navier-Stokes et la loi constitutive dOldroyd (voir par exemple [32, 44]). Dans [44], C. Guillop et J.C. Saut prouvent lexistence globale donnes petites en supposant en outre que le uide est peu visco-lastique (ce qui revient pour nous imposer petit, et ce qui physiquement ne semble pas raisonnable). Dans [32], E.F. Cara, F. Guillen et R.R. Ortega saffranchissent de cette hypothse mais prouvent seulement une existence sur pour tout (pour des donnes plus petites que + , o tend vers lorsque augmente...). On va dans cette partie prouver que cette hypothse de uide faiblement visco-lastique peut tre supprime. Par ailleurs, on se place toujours dans le cas diphasique et il faut donc supposer que les donnes en sont 0 petites. Plus prcisment, lorsque lon parlera de donnes petites, on supposera que est proche dune
 constante telle que (cette hypothse est classique, on dit que est un tat mtastable pour le
potentiel ).



Thorme 4
Soit  un point mtastable pour . Sous les mmes hypothses que pour le thorme prcdent, si en outre ,  0 ,# 0 0 sont petits dans leur espace alors le rsultat est vrai sur . De plus, , et  et restent petits.

  

         

Le dernier rsultat de ce chapitre concerne la rgularit tous ordres des solutions du systme (3). Dans le chapitre suivant, on va mettre en place une mthode (mthode B.K.W.) ncessitant beaucoup de rgularit sur les solutions du systme (3). De plus, le chapitre suivant ne concernant que les uides monophasiques, nous nous sommes restreint ici un tel cas bien quil semble fort probable que le rsultat de rgularit tous ordres soit encore valable pour des uides diphasiques. Plus prcisment, on a Thorme 5  . Si 0
0 0 Soit est divergence nulle et ,  si (3), admette une solution du type telle 5 que





$"('    )% "              "9'            "('




et

alors il existe

 tel que le problme "('    

5

De plus, la solution satisfait les estimations sur les drives en temps suivantes :

          &% "     !        

14

Introduction

En toute rigueur, les donnes initiales doivent vrier des conditions de compatibilit. Ces relations sont en fait des conditions ncessaires lexistence dune solution et sont dtailles dans le chapitre 4 (voir les quations (IV.5.2)).

Chapitre 5 - Un phnomne de couches limites

 Dans le chapitre 3, on a tudi un modle comportant un terme diffusif , . Le chapitre 4 a trait le cas . Il est alors naturel de se demander si les solutions du chapitre 3 convergent vers celles du chapitre 4 lorsque tend vers .

Ce problme est indpendant du caractre  diphasique et on se restreint dans ce chapitre au cas monophasique. Il suft par exemple de choisir dans les systmes prcdents. Plus prcisement, on sintresse au problme     , div

       

div



 3  

avec conditions aux limites de type Neumann pour la contrainte et Dirichlet pour la vitesse :

La seule obstruction une convergence de lorsque le paramtre de viscosit tend vers peut venir aux limites , conditions qui nont pas de raison dtre vries par la solution 0 des 0 conditions 0 . correspondant au cas

Suite aux travaux dO. Gus [42] et dE. Grenier [39], on sait que lon doit chercher un dveloppement asymptotique de la solution sous la forme solution o

solution

reprsente la distance du point

prol

5 

au bord . Le thorme obtenu snonce ainsi :

  

prol

     1  

Thorme 6 Si est telle 5 que div  fonctions sur , on ait

 # " '    

si   #  % "  et    

alors il existe un temps  et 

" '  

et deux  tels que,

  

 

0
  
  $        
0      $        &
#0    

Introduction

15

Les fonctions

 ,

et

&

vrient :

 " '   " '  & " '  

 &% "    5   "  5 &% "      et & "     

Remarque 1 Comme pour le thorme de rgularit tous ordres, pour obtenir un tel dveloppement on a besoin de donnes initiales  et  vriant des relations de compatibilit. Les fonctions et  introduites ci-dessus sont des prols de couche limite. Plus prcisemment, ils sont signicatifs uniquement du bord, cest dire quils sont dcroissance rapide en la troisime $ prs variable (variable rapide
 ).

- Troisime partie Etude numrique du modle

Les exemples de uides non newtoniens abondent dans la nature et lindustrie. La plupart des liquides des corps vivants tel que le sang et les mucus sont non newtoniens et quantit de produits alimentaires le sont aussi : blancs doeuf, fromages fondus et chocolats fondus en sont des exemples. La pte utilise pour la fabrication du papier est non newtonienne, ainsi que le plastique fondu et dautres produits industriels qui entrent dans la composition de nombreux textiles travers des processus dextrusion, moulage, soufage, lage... Lindustrie des dtergents ajoute des polymres aux shampooings, gels, agents nettoyants pour amliorer leurs proprits rhologiques. Lindustrie automobile est aussi concerne par les uides non newtoniens : les huiles multigrades ont des polymres comme additifs pour modier le comportement de leur viscosit sous des contraintes de pression et de temprature extrmes. Il est donc ncessaire de connatre le comportement des matires non newtoniennes non seulement du point de vue exprimental, mais aussi du point de vue numrique. En effet, grce aux dveloppements rcents de linformatique et de lanalyse numrique, la mcanique des uides numriques est en passe de devenir un outil de mise au point aussi important que les essais exprimentaux. Plus souple, plus facile raliser et surtout plus conomique, elle permet daborder des expriences dlicates, voire impossible reproduire en laboratoire. Cette troisime partie va donc dans ce sens. On a mis en oeuvre un schma numrique bidimensionnel par diffrences nies qui permet de raliser de nombreux tests proches des expriences ralises en laboratoire.

Chapitre 6 - Schmas numriques

Le schma numrique propos a t ralis en collaboration avec F. Boyer. La base de ce code correspond celui dvelopp par F. Boyer au cours de sa thse [11] au sujet des coulements diphasiques newtoniens. L encore, laccent est donc mis sur le caractre non newtonien et par consquent sur la discrtisation de la loi constitutive dOldroyd.

16

Introduction

Dans la premire partie de ce chapitre, on dcrit la discrtisation en temps. Une mthode pas fractionnaire permet de dcoupler lquation de Cahn-Hilliard, celles de Navier-Stokes et la loi constitutive dOldroyd. Au cours de chacune de ces trois tapes, les termes diffusifs sont traits sparment. Lquation de Cahn-Hilliard est discrtise en temps laide dun -schma. On choisit lgrement  (typiquement  ), dun part pour assurer la stabilit (en effet, on na pas de condition de suprieur    type C.F.L. ds que ), dautre part pour avoir une mthode dordre presque (la mthode serait   dordre si ). Le systme ainsi obtenu par cette mthode semi-implicite est alors rsolu par un point xe qui converge gnralement assez vite.

Les quations de Stokes sont approches de faon implicite pour les termes de pression de sorte que lon est ramen la rsolution dun problme de Stokes gnralis. Il est rsolu par une mthode de lagrangien augment. La loi constitutive dOldroyd est une quation linaire en contrainte. On connait donc une expression de la solution sous forme intgrale et on propose un schma de type exponential-tting (voir [31], chapitre pour un exemple dapplication dun tel schma). Pour justier ce type de schma, nous nous sommes attachs dmontrer des rsultats de stabilit ; ces rsultats sont obtenus par des mthodes de type mthode dnergie. Les termes de transport : An dviter une trop grande diffusion due ces termes, on a implment des mthodes plus performantes que le schma dcentr amont. F. Boyer a tudi au cours de sa thse les avantages dun schma anti-diffusif propos par P. Rasetarinera [15]. Ce schma a t utilis pour le terme de # ) et apporte effectivement une amlioration relle des rsultats. transport de linterface ( Linconvnient majeur de ce type de schma est que son stencil est assez large. Ainsi, il est assez fastidieux   . On propose dans le chapitre 6, un schma de type Runge-Kutta de limplmenter sur les termes dinertie dordre permettant de retrouver des rsultats similaires ceux obtenus avec le schma de P. Rasetarinera tout en ayant un stencil assez n. Cette mthode a donc t utilise aussi bien pour le transport en vitesse que pour le transport de la contrainte. Du point de vue qualitatif, le schma doit tre conservatif et -stable pour prserver, par exemple, les proprits de lquation de Cahn-Hilliard et assurer que les valeurs de restent dans lintervalle de valeurs    ). Pour cela, en crivant la mthode de Runge-Kutta dordre , physiquement admissibles (cest--dire on distingue les termes diffusifs des termes anti-diffusifs et on utilise des limiteurs de ux.

" '

Chapitre 7 - Applications et rsultats

On peut distinguer deux classes dessais numriques qui ont t ralises avec ce code aux cours de ces travaux. Ceux permettant de conrmer la pertinence du modle en comparant les rsultats avec ceux raliss en laboratoire. Et les essais numriques ne pouvant pas tre raliss facilement en laboratoire pour cause de cot trop important, gros volume... Quelques exemples de ces diffrentes applications font lobjet de ce dernier chapitre : Comparaison avec les expriences relles Toute cette tude a t motive par une forte collaboration entre le laboratoire du Centre de Recherche Paul Pascal (C.R.P.P.) de Bordeaux et lquipe mca. u. du laboratoire de Mathmatiques Appliques de Bordeaux. Lun des objectifs tait dobtenir des modles pertinents pouvant reproduire numriquement les expriences physiques. On a donc effectu en parallle des tests dtirements de bres. La concordance des

Introduction

17

rsultats permet dune part de valider le modle choisi, dautre part denvisager numriquement des tests difcilement ralisables en laboratoire. Applications industrielles ... En effet, pouvoir raliser des tests numriques avant de se lancer dans des expriences coteuses est un challenge important pour lensemble de la communaut scientique, que ce soit dans le milieu mdical, ou dans les milieux plus industriels. Nous prsentons donc, en dernier lieu, des tests de remplissage de cuve ayant pour but de voir travers les pices sans les dcouper !.

18

Introduction

19

Premire partie

Modlisation dun coulement diphasique visco-lastique

21

Introduction
Le sujet de cette premire partie est de construire un modle pour ltude thorique et numrique des coulements de mlanges de deux uides visco-lastiques. Trois thmes se dgagent naturellement : dune part la modlisation de lcoulement, dautre part la prise en compte du mlange de deux uides et enn le caractre visco-lastique. La modlisation de lcoulement : cette tape permet de prendre en compte les phnomnes hydrodynamiques et le modle de Navier-Stokes incompressible est tout fait adapt ce type de problme. Un mlange de deux uides : la difcult ici est de caractriser linterface entre les deux phases. Suite aux travaux de F. Boyer [11], on a opt pour un modle interface diffuse (en opposition aux modles interface ponctuelle [82]). Cest donc un modle de type Cahn-Hilliard qui permet de prendre en compte les phnomnes dinterface. Linterface est modlise via le choix dun paramtre dordre (correspondant par exemple la fraction volumique de lune des phases) et dune nergie libre. Cette nergie, dite de Cahn-Hilliard, rend compte de lexcs dnergie linterface d aux fortes variations de la composition du mlange dans cette zone [20, 69]. Pour ce qui est du caractre visco-lastique, il existe la fois des lois intgrales et des lois diffrentielles (voir [26, 51]). Pour des questions de cot de calcul, nous avons opt pour un modle diffrentiel. A. Colin (Centre de Recherche Paul Pascal) a collabor au choix des modles de type Oldroyd ou Maxwell [49, 67] : les uides complexes quelle tudie en laboratoire ont des proprits qui sont gnralement bien prises en compte par ce type de loi. Lobjet de cette partie est de coupler ces trois classes de modles an dobtenir un ensemble dquations dcrivant des coulements diphasiques visco-lastiques ou non. Notons que de nombreux travaux ont dj t raliss concernant des uides visco-lastiques (monophasiques) associant ainsi le modle de Navier-Stokes incompressible celui dOldroyd [44, 49, 50]. Dautre part, quelques modles dcrivent des coulements diphasiques (non visco-lastiques) [11, 20, 69]. Les travaux prsents dans la suite regroupent les trois phnomnes. De nombreuses applications physiques sont en jeu. Par exemple, lors de la mise en forme de matriaux polymres, des instabilits dcoulement peuvent limiter le taux de production ou altrer la qualit dun produit. Le recours des quipes de physiciens et de chimistes est donc essentiel dans le choix dun modle cohrent. Des expriences menes en parallle avec nos simulations numriques (voir le chapitre 7) ont permis de sassurer de la pertinence du modle propos et justient a posteriori la validit des simplications effectues.

22

23

Chapitre 1

Modlisation dun mlange

Il sagit dans ce chapitre dintroduire un modle dcoulement diphasique. On se consacre tout dabord la description de linterface puis lhydrodynamique sans tenir compte du caractre non newtonien. Ce point prcis faisant lobjet du chapitre suivant.

1 Mlange diphasique interface diffuse

Le but de ce premier paragraphe est principalement dintroduire des notations qui seront utilises par la suite. Nanmoins, il est important de noter que les choix qui vont tre faits ne sont pas les seuls possibles et on essayera de mettre en avant les avantages et inconvnients des diffrentes options.

Notations et grandeurs moyennes

Le modle que lon met en place est un modle de uide diphasique, cest--dire comportant deux phases. Pour plus de clart, on distingue les deux phases (ainsi que toutes les quantits qui sont rattaches chacune  toute cette thse, on suppose que chacun des deux delles) en les appelant phase et phase 05 . Durant 0 constituants est incompressible et on note ( et ( leurs densits respectives. Bien que chaque phase soit in compressible, il est essentiel de noter que le mlange ne lest pas. Dans la littrature, de tels coulemenents sont parfois appel quasi-incompressibles (voir par exemple [59]). Une autre hypothse qui sera implicite pendant toute la suite est le fait que la temprature est suppose constante. On verra quelle intervient comme paramtre lorsque lon dnit les potentiels chimiques lis chaque phase mais gnralement on ne tiendra pas compte de ces variations bien quil est clair que dun point de vue physique les effets thermo-mcaniques ne sont pas ngligeables :par exemple, une barre chauffe sallonge et inversement si on allonge une barre, elle schauffe ! An de dcrire un prol dinterface continu en espace et en temps, on dnit la fraction volumique dune des phases dans le mlange. Posons par exemple

5  suppose o est le volume occup par la phase$ dans le volume lmentaire (voir gure $ I.1.1). $ On $ implicitement que le volume lmentaire ne contient pas de vide, cest--dire que  de sorte que la quantit prend ses valeurs dans .

$ 5

$ 5
$

24

Chapitre 1. Modlisation dun mlange

dV1

dV2

F IG . I.1.1: Volume lmentaire

Il est alors intressant dintroduire la densit de chaque phase au sein du mlange en posant

auparavant, elle nest pas constante au sein du mlange.

0 (   5  On note alors que la densit totale du uide peut tre dnie par ( ( ( (

05 (

 (

et que, comme on la signal

En ce qui concerne la vitesse, plusieurs choix peuvent tre faits. Si on se donne les vitesses et  de chacune des deux phases alors on peut dnir la vitesse moyenne soit comme une moyenne massique des 5 5 deux vitesses :

 5

( (   (

soit comme une moyenne volumique :

 5  

  

Il est clair que le choix que lon fait ici aura une trs grande inuence sur la suite des travaux. Certains auteurs comme J.S. Lowengrub et L. Truskinovsky [59] ont travaill avec une moyenne massique et ont pu tablir certains rsultats concernant les transitions topologiques (en traitant comme exemple lannihilation dune goutte immerge dans un autre uide). Lavantage dun tel choix est de pouvoir traiter de faon assez similaire les cas o les deux phases sont elles-mmes compressibles. Dans le cas qui nous intresse, les deux phases sont incompressibles (cest ce que J.S. Lowengrub et L. Truskinovsky appellent le cas quasi-incompressible)  et une moyenne volumique de la vitesse a lavantage de conserver la condition diso-volume div . On va voir que cette relation est en effet directement lie au choix de la vitesse moyenne et sera trs utile dans les utilisations ultrieures du modle.

Avant de dcrire des lois de comportement sur les grandeurs introduites, on dnit la vitesse relative entre 5  les deux phases :

 

  

On montrera que cette grandeur peut sexprimer directement laide de la fraction volumique approximations que lon justiera) et disparait des quations nales.

(modulo des

Finalement, comme le font de nombreux auteurs [9, 20, 30], le paramtre dordre utilis ne sera pas mais une renormalisation dnie par  

de telle sorte que varie entre et , valant aux points o seule la phase est prsente, aux points  o seule la phase est prsente. Remarquons que ceci ne change en rien les rsultats obtenus et que certains auteurs travaillent avec la variable (voir par exemple les travaux de M. Doi [27]).

 

 

La loi de conservation de la masse

Pour dcrire lvolution du paramtre dordre , on utilise les lois de conservation de la physique. Tout dabord la loi de conservation de la masse qui scrit pour chacune des deux phases sous la forme suivante :

2. Hydrodynamique et quations en vitesses

25

En divisant chaque quation par ( puis en additionnant les deux quations obtenues, on en dduit, en utilisant la dnition de la vitesse par moyenne volumique div

( 

div

( 

 

   5

(I.1.1)

Cest--dire, comme annonc plus haut, que le champ de vitesse moyen tel quil a t dni, satisfait la contrainte de divergence nulle trs usuelle dans le cadre incompressible monophasique. En utilisant cette proprit et le fait que lon peut exprimer (par exemple) laide de et  par la  5   , lquation de conservation de la masse pour relation la phase se rcrit sous la forme  suivante :

   

 
div

     

(I.1.2)

Lquation dvolution obtenue sur le paramtre dordre contient deux termes essentiels qui dcrivent les deux phnomnes participant au mouvement de linterface. Le premier est le fait que le mlange est  soumis un coulement caractris par le champ de vitesse moyen , ce qui justie pleinement le terme de # . Quant au second, il sagit dun phnomne 5   de diffusion travers linterface, dont le ux transport  est proportionnel la perturbation en vitesse   . On sattend ce que le ux de diffusion soit proportionnel au gradient du potentiel chimique du mlange et cest effectivement ce que lon va retrouver par la suite.

Remarque I.1.1 Ainsi dnie, la densit ( ne satisfait pas une quation de conservation de la masse classique. Plus prcisement, on a 0  05

( 

div

(  (  6 (

div



 

Cette relation a une inuence importante dans loptique du traitement mathmatique et numrique des quations.

2 Hydrodynamique et quations en vitesses

Les phnomnes hydrodynamiques dont on veut rendre compte vont tre dcrits par lquation dvolution de la vitesse moyenne du mlange. Dans cette optique, on va utiliser les quations de conservation de la quantit de mouvement associes chaque phase et essayer den dduire des quations moyennes sur les  vitesses et  . Dans chaque phase, lquation de conservation de la quantit de mouvement scrit :

5 * o  et correspondent respectivement aux tenseurs des contraintes et aux forces extrieures appliques dsignant le produit tensoriel de deux vecteurs). la phase (

(  

div 

div

(  *'



(I.2.1)

26

Chapitre 1. Modlisation dun mlange

Le tenseur des contraintes

Gnralement, on dcompose le tenseur des contraintes de Cauchy (not ici  ) en une somme de deux " $ & termes, dune part la pression hydrostatique , dautre part le tenseur des contraintes .

! "%$ & 

Dans le cadre de cette thse, on envisage uniquement les cas o les efforts intrieurs sont des efforts de contact. En consquence, le tenseur des contraintes est symtrique (voir [36], p. 63). Dans la suite, on suppose que lon peut dnir la pression totale & totales par les relations suivantes : ainsi que le tenseur des contraintes

  

On peut dores  et remarquer que la 5contrainte #"dj %$ ' $ ' $ ,& est gale la somme des contraintes agissant & ! 5 "% &  ! " globale sur chaque phase : .

 

 

 & 5  & 

& 

  

&

Les forces extrieures

Les forces extrieures agissant sur une phase sont de trois types. Tout dabord il y a la force de gravit qui sexerce sur les deux phases de la mme manire, proportionnellement leur densit (le vecteur dsignant la gravit est not 3 ). Plus gnralement de telles forces pourront dcrire des forces volumiques extrieures quelconques. Ensuite, des termes de frottements entre les deux phases doivent tre considrs. Ceux-ci doivent naturellement tre proportionnels la vitesse relative entre les deux phases (rappelons que cette vitesse est note  ) et dans des directions opposes selon que lon se trouve dans une phase ou dans lautre. Ces types de forces nont lieu quaux interfaces entre les deux phases. On crit alors cette force 8 !  o 8 est appel le coefcient de friction et doit sannuler quand une seule phase est prsente.

Les dernires forces que lon considre sont celles dues aux interactions chimiques entre les deux phases. . En effet, chaque phase possde son propre potentiel chimique qui peut tre dtermin en se basant sur les travaux de J.W. Cahn et J.E. Hilliard ([16, 17]) et ceux de A. Onuki ([69] p. 6138 et 6146) :

Le potentiel ! est le potentiel chimique du mlange uniforme thorique de composition . Les autres termes sont les termes dchange qui caractrisent la non uniformit du mlange, celle-ci tant dcrite par lnergie libre de type Cahn-Hilliard [20, 46, 69] :

.10

     . 5 . 0    . . 0      ( (

de sorte que

   
! 
 

et tant deux paramtres physiques dcrivant linteraction entre les deux phases. On verra lors de ladi  mesure lpaiseur de linterface alors que le mensionnement (partie 3, chapitre 2) que la quantit

(I.2.2)

2. Hydrodynamique et quations en vitesses

27

produit est li la tension de surface d lexcs dnergie linterface. Les termes dchange apparaissant dans les potentiels chimiques sont en fait issus de la dnition usuelle des potentiels chimiques en thermodynamique comme la diffrentielle de lnergie libre par rapport la densit ( de chaque constituant (voir [69]). La fonction qui intervient dans lnergie libre, est appele potentiel de Cahn-Hilliard. Un choix physi
quement raisonnable pour ce potentiel est donn par une expression de type logarithmique [27, 46] :

5      
  !   !  ! (I.2.3) dans laquelle est la temprature du mlange dans les conditions de lexprience et 5 sa temprature critique. 5 ce qui, dun Pour que les deux phases soient spares (cest le cas intressant), il faut bien sr que

point de vue mathmatique, est quivalent dire que le potentiel

nest pas convexe.

Remarque I.2.1
En dveloppant en srie entire, pour tout

  , on a    5  5   5        

et on dduit ainsi une expression approche polynomiale pour le potentiel de la forme :

On a retranch la constante mais ceci ne change en rien la valeur des potentiels chimiques o seule la drive du potentiel de Cahn-Hilliard apparait. Dautre part, les valeurs de et sont donnes par

 #

(I.2.4)

et

Enn, il est bon de remarquer que le dveloppement tronqu que lon a effectu donne une approximation du potentiel logarithmique. Cest cette forme du potentiel de Cahn-Hilliard qui est la plus frquemment utilise dans la littrature, voir par exemple [83].

1.50

0.75

0.00

0.75

1.50

F IG . I.2.1: Le potentiel logarithmique (en gras) et le potentiel polynomial Pour rsumer, on a donc montr que les forces agissant sur chaque phase se mettent sous la forme

 ( 5 /. 5  ( 5 3  8 

 ( /.  ( 3  8      

28

Chapitre 1. Modlisation dun mlange

Equation en vitesse
Lide est maintenant dobtenir, partir des deux quations de conservation de la quantit de mouvement,  deux quations rgissant la vitesse moyenne et la vitesse relative  . En additionnant les deux quations de conservation de la quantit de mouvement (I.2.1), on a

5 5    ( ( 

div 

5    

div

5 5 5 (  *  (    *         

5 
 

Il suft alors de remarquer que lon peut crire

    5 +  

et

Les diffrentes sommes sexpriment en fonction des valeurs globales du mlange (voir par exemple [9]). On en dduit lquation dvolution suivante :

 05  0     !#"   (
div ( ( 6       05  0   div (
 *'  ( (  ( ! 6  ( ! /. 07 ( ! 3 

$ '&

05  0    *  '  *   ( (  6   *   05  0          ( ( 6 ( !  

(I.2.5)

Equation en perturbation
Puisque les deux phases sont supposes incompressibles, on peut crire les quations de conservation de la quantit de mouvement sous forme non conservative :

   (I.2.6) (  (  / div 

  5  5 En effectuant la combinaison linaire ( (I.2.6) ( (I.2.6)  on dtermine une quation dvolution sur  la vitesse  . Comme prcdemment, on utilise le fait que toutes les grandeurs caractrisant chaque phase

peuvent sexprimer en fonction des grandeurs caractrisant le mlange. On en dduit

5      ( (  ( (                ( 05  ( 0 6  div &   ( 5( 5

         #" $  ( &  #"%$         ( ! 8 !    (

(I.2.7)

Rsumons
Au cours de ce chapitre, on a dtermin trois quations dvolution, la premire portant sur le paramtre  dordre (quation (I.1.2)), les deux autres sur les vitesses et  (quations (I.2.5) et (I.2.7)). De plus, on a obtenu une quation dincompressibilit (I.1.1) qui permet de dterminer la pression hydrostatique une constante additive prs.

&

De faon clore le systme, il ne reste plus qu dterminer une loi dcrivant lvolution de la contrainte . Le chapitre suivant va donc prciser cette loi dans le cas dun mlange diphasique.

29

Chapitre 2

De la visco-lasticit...
Jusqu prsent, nous sommes rests trs vagues sur le tenseur des contraintes. Dans ce chapitre, on va sefforcer de mettre en place une loi constitutive pour ce tenseur permettant de modliser une certaine classe de uides non newtoniens.

1 Modles visco-lastiques classiques dans le cas monophasique

Les effets visco-lastiques sont trs importants dans de nombreuses applications industrielles. Ils correspondent tous les phnomnes dont les comportements purement visqueux ou linaires ne peuvent pas rendre compte. Ils peuvent tre responsables de recirculations complexes qui ont un impact signicatif sur la production, voir par exemple [51, 78, 86]. Un exemple classique est le procd de renforcement de bres par des matriaux polymres o la distribution et lorientation des bres dterminent les proprits mcaniques du produit nal.

Rhologie : une explication du temps de relaxation

Daprs lEncyclopdia Universalis, la rhologie est la science qui rend compte de lcoulement et de la dformation des matriaux soumis des forces mcaniques quelconques (( signiant courant). Pour avoir une ide plus prcise de ce quest la rhologie, on peut lire dans lancien testament, verset des Juges , Les montagnes se sont coules devant Dieu.

De ce verset, adopt comme devise par la Socit de Rhologie [73], on peut dduire deux faits essentiels. Le premier tant que les montagnes se sont coules. Ce qui peut tre surprenant car on est habitu voir des uides tel leau scouler mais certainement pas des montagnes. Lexplication se trouve dans la deuxime partie de lexgse. Les montagnes se sont coules devant Dieu. Lchelle du temps de Dieu nest pas la ntre. La dure de vie de ltre humain nest pas assez tendue pour voir les montagnes scouler, et pourtant elles scoulent. On peut en dduire que la distinction entre solide et uide nest pas si nette quon peut le croire. On peut caractriser la solidit ou uidit dun matriau grce ce que lon appelera le nombre de Weissenberg (ou nombre de Deborah). Ce nombre est le rapport entre le temps de relaxation du matriau et le temps caractristique dobservation. Il est inni pour un solide hooken et nul pour un uide newtonien. Mais il est clair par dnition que les matriaux nont pas de nombre de Weissenberg associ : un matriau avec un temps de relaxation non nul peut se comporter comme un solide si le temps caractristique du processus est petit, et rciproquement. Un exemple de matriau dont le comportement peut ressembler un uide ou un solide est donn dans [4]. Cest un matriau base de silicone qui, sil est laiss dans un rcipient pendant un

30

Chapitre 2. De la visco-lasticit...

temps assez long va retrouver sa position de repos alors que si on jette violement ce matriau terre, il peut aussi rebondir. Une montagne a incontestablement un temps de relaxation trs long, mais si vous tes prts attendre, vous la verrez scouler. Bien videmment, le comportement mcanique de nombreux uides est bien dcrit par la loi constitutive dun uide dit newtonien. Cette loi correspond au cas o le temps de relaxation est trs petit devant celui de lexprience. Nanmoins, dautres uides ont des comportements qui ne sont pas pris en compte par de telles lois. Parmi de tels uides, on peut citer les solutions de polymres comme les peintures, les dentifrices, les argiles... Par la suite, on sintressera aux uides ayant des proprits rhologiques diffrentes de celles des uides newtoniens et en particulier la classe des uides visco-lastiques. De telles lois ont t valides ds que le uide contient des macro-molcules (mme en petite quantit). Leur dynamique non linaire est fondamentalement diffrente de celles des uides newtoniens. Deux proprits sont principalement responsables de ce fait : la premire est tout simplement le changement de viscosit, et la seconde correspond aux divers temps de relaxations qui sont associs aux polymres. Ces temps sont en gnral du mme ordre de grandeur que les temps dchelle du ot et permettent aux polymres de donner une rponse observable. Il ny a pas de loi de comportement universelle et la recherche de lois raisonnables est encore lobjet de travaux nombreux (voir par exemple [54]). On distingue deux classes de lois de comportement, les lois de type intgral et les lois de type diffrentiel, obtenues par des considrations molculaires ou de mcanique des milieux continus [26]. Les lois sous forme intgrale permettent de bien comprendre que les uides viscolastiques sont des uides mmoire : la valeur de la contrainte au temps prsent dpend directement de lhistoire des dformations. Nanmoins, les modles intgraux sont trs coteux en temps de calcul pour la simulation numrique car ils ncessitent le calcul des trajectoires. Cest pourquoi on leur prfre les modles diffrentiels. Nous allons voir par la suite comment on peut construire de tels modles. Une des premires ides qui fut dveloppe pour schmatiser un uide est de considrer chaque cellule de uide comme un complexe de masses et de ressorts [49].

( ) 1

(G)
( 1 )

( ) 1

(G)
( ) 2

(G)

F IG . II.1.1: De gauche droite, les cellules de Maxwell, Voigt et Jeffrey

Exemples de cellule

5 (voir gure II.1.1) est constitue dun ressort (de constante 5 dlongation La cellule de Maxwell ) et dune masse (de viscosit ), les deux constituants tant monts en srie. Les forces et  appliques respectivement au ressort et la masse vrient

5  

1. Modles visco-lastiques classiques dans le cas monophasique

31

et tant les dformations respectives des extrmits du ressort et de la masse. Le montage tant en srie,  les deux forces sont gales (notes ) et on peut donc dire que la dformation totale vrie les galits suivantes :  5 5    5 soit, en introduisant


5


(temps de relaxation),


5 

Mais ce modle est trop lastique pour rendre compte des phnomnes des uides (par exemple, dans le cas dune dformation constante non nulle , il est facile den dduire que la contrainte associe est donne par )

La cellule de Voigt propose de considrer le mme couplage mais en parallle. La force totale scrit alors :

 5  5


Contrairement au modle de Maxwell, ce modle nest pas assez lastique (une dformation constante non ) et il est utilis en gnral pour modliser des solides visco-lastiques. nulle entrane

Finalement, pour les uides, on utilise la cellule de Jeffrey (1929) qui est un montage en srie dune cellule de Voigt et dune masse (de viscosit ). Le taux de cisaillement total scrit

 5  

5 5     5 5 5    Par combinaisons on peut liminer les dformations et pour obtenir, en posant    de relaxation) et    (temps de retard), lquation suivante 5
5          
alors que la force totale devient Remarque II.1.1 Lvolution de la dformation tant lie au champs de vitesse par la relation

(temps

  

En effet, la dformation ainsi que la vitesse dune cellule lmentaire peuvent tre dnies laide de la fonction 8 1 donnant, au temps , la position de llment qui tait initialement en position (voir [49]). On a clairement les relations

32

Chapitre 2. De la visco-lasticit...

 





 


"! $#

et

" ! 


  
 
  





Le modle de Jeffrey monodimensionnel se met alors sous la forme suivante



 5        

Remarque II.1.2  On retrouve le modle de Maxwell lorsque le temps de retard est nul : .  5 Pour les uides newtoniens, on considre un modle de Jeffrey o les temps de relaxation et de retard   sont gaux (  ) et petits, voir [49]. Cest la gnralisation de ce modle monodimensionnel aux tenseurs qui est appel modle dOldroyd [67].

Gnralisation aux tenseurs

An dtendre ces lois aux cas multi-dimensionels, on introduit les tenseurs de dformation vorticit comme les parties symtriques et anti-symtriques du gradient de vitesse :

et de

  

&

  

On gnralise le modle de Jeffrey aux tenseurs

de la faon suivante (voir [49], p.6 et 41) :

 &   & 

&%

 

Ici reprsente une drive invariante par toutes transformations euclidiennes de faon ce quelle ne soit pas lie au repre. Ceci repose sur une proprit essentielle : laxiome dobjectivit des efforts intrieurs. Selon cet axiome, les efforts intrieurs sont indpendants du rfrentiel dans lequel le mouvement est observ ([36], p.67). Les modles ne sont l non plus pas uniques et on va voir dans la section suivante quelques exemples classiques de telles drives.

  . Il peut tre & Rappelons que dans le cas dun uide Newtonien, la loi constitutive scrit intressant de faire apparatre cette contribution dans lexpression dune loi constitutive plus gnrale. On ( '  et de la dcompose donc le tenseur des contraintes en la somme de la contrainte newtonienne contrainte purement lastique, note que lon nomme extra-contrainte. En introduisant le paramtre de  ' retard , la loi constitutive devient

    &

 

(II.1.1)

1. Modles visco-lastiques classiques dans le cas monophasique

33

Drives objectives
Plusieurs approches sont possibles pour comprendre la notion de drives objectives et leur non unicit. Le point de vue de D. D. Joseph (voir [49], p.10) consiste dcrire un vecteur (resp. un tenseur) le long dune trajectoire en le dcomposant dans des coordonnes locales de lespace tangent $ ! (resp. de lespace des *  ) la trajectoire. Quitte changer de base, par exemple en prenant les bases duales, il tenseurs   ! $! obtient plusieurs drives invariantes. Le point de vue que lon expose ici utilise des mthodes trs courantes en mcanique des milieux continus.

champ de vecteur le long dune trajectoire, on peut introduire la drive particulaire $ Pour driver   ).un ( Cette drive nest plus objective pour les tenseurs, voir par exemple [49, 36]. En fait, la drive particulaire exprime une drive obtenue par transport parallle.

Le plus naturel pour driver un champ de vecteurs de du taux daccroissement $ 

$ 
0

7 par rapport au temps consiste regarder la limite    



Mais cette limite nest pas caractristique de la variation du champ de vecteurs au sein du milieu continu. En effet, si on veut suivre une particule qui se dplace sur une varit (une courbe dans notre cas) au cours et que  et on du temps, est alors dni le long de , ce qui signie que ne peut pas, a priori, additionner de tels vecteurs. Il faut donc introduire une connexion entre les diffrents espaces tangents.

  

1.0.1

La drive convective

Pour comparer les congurations du systme deux instants et , il faut faire intervenir une application passant dune conguration lautre. Dans un repre orthonorm x, on dnit lapplication donnant les   coordonnes du point de , position linstant de la particule qui linstant se trouve en :

Si maintenant on xe le couple . Supposons que soit diffrentiable en alors on peut associer une
 application linaire tangente entre les voisinages de et dans . Cette application, appele transport  par convection, dpend du couple et vrie de nombreuses proprits (issue des proprits de ) qui scrivent, au sens matriciel :

  

"%$

"$  
   
 
 Cette dernire relation montre que si dsigne linverse de alors on a 

 

    
0    - An dvaluer on effectue dabord un dveloppement "%$ limit de la & -ime composante du produit   cette   quantit, &
& . En drivant la relation par rapport , puis en lvaluant au point
cet outil, il est naturel dintroduire la notion de drive convective suivante

  . Avec

, on dduit tout dabord


&  & 

Or, il est clair que lon peut crire les composantes du vecteur vitesse    . Par suite, 

directement laide de la fonction


 1   & 1 & 1 

34
 ce qui fournit lexpression suivante  voisinage du point :

Chapitre 2. De la visco-lasticit...

    . On a ainsi les dveloppements limits suivants au

$     $             /       

do nalement

$ $  /  $ $  /    

Remarque II.1.3 Le mme raisonnement sapplique un tenseur du second ordre :



 -

 /    

avec

ce qui donne

$   
    $  /

1.0.2

La drive en rotation propre

Une autre manire dintroduire une drivation par rapport au temps lie la dformation du milieu consiste
remplacer le transport par convection par un transport par rotation. Dans ce cas, les expressions pour la drive en rotation dun vecteur et dun tenseur scrivent (voir [36] pour plus de dtails)

$    
   $ -

$     $ -

1.0.3

Autres modles de drives objectives

Dautres modles de drives objectives pour un tenseur peuvent tre construits. Les plus connus, dcrits par exemple par D.D. Joseph dans [49], sont les suivants :

valeurs de . On peut ds prsent noter que ainsi dnie, la drive dun tenseur symtrique reste symtrique. On verra aussi que le cas , qui correspond la drive de Jaumann, est quelques fois utilis et permet de simplier le modle (par exemple dans [58]).

$ 0 $      drive de Jaumann, - $ $           - Cest cette dernire que lon prend par la suite. En fait, elle contient toutes les prcdentes selon les   dnition 

$ $        - 5  $ $      

drive convecte suprieure, drive convecte infrieure,

2. Modle diphasique visco-lastique

35

Extension des modles de types diffrentiels

Le modle dOldroyd ainsi que celui de Maxwell peuvent aussi tre drivs partir dun modle molculaire considrant un ensemble de dumbells (modle avec haltres) hookennes en suspension dans un solvant newtonien (voir par exemple [51, 61, 70]). En suivant cette dmarche, on verrait que lon ne peut pas attendre du modle que lon propose quil restitue beaucoup de caractristiques de uides rhologiques existant dans la ralit. En particulier le modle dOldroyd possde une viscosit de cisaillement constante ([78], p. 125). Ceci induit une viscosit longationnelle qui devient innie pour un taux dlongation ni ([78], p. 127). Une forme plus sophistique de la loi donnant la force de liaison due aux ressorts correspond au modle avec haltres dit de FENE (pour Finitely Extensible Non linear Elastic, voir [52]), lui-mme pouvant conduire dautres modles comme FENE-P et FENE-CR qui possdent des viscosits longationnelles bornes. Par exemple, dans le cas du modle FENE-P, la viscosit de cisaillement est une fonction monotone dcroissante du taux de cisaillement. Signalons quil est possible dtendre plus simplement les modles dOldroyd ou de Maxwell. En effet, de nombreux travaux consistent tendre le modle dOldroyd en lui ajoutant des termes. Plus prcisment, le modle de Giesekus [37] scrit ( comparer (II.1.1)) :         -

o est un paramtre constant. Pour la valeur  , ce modle est plus connu sous le nom de modle de Leonov. Le modle de Phan-Thien et Tanner [72] est donn par        -  Le modle que lon va tudier comporte un seul temps de relaxation (not ). Des modles plus ralistes possdant plusieurs temps de relaxation peuvent tre obtenus facilement en considrant par exemple

 

 

Enn, A.W. El-Kareh et L.G. Leal ont driv un terme additionnel diffusif en contrainte en analysant un modle microscopique avec haltres [29] :         (II.1.2)

Ce modle a lavantage de possder beaucoup plus de souplesse du point de vue thorique et cest celui-ci qui sera tudi dans une premire approche.

2 Modle diphasique visco-lastique

Revenons notre problme qui est de modliser un mlange de deux uides (newtonien ou visco-lastique). On vient de voir (au travers de lquation (II.1.1)) que pour chaque phase on dispose dune loi constitutive  faisant intervenir les paramtres , et (respectivement le temps de relaxation, le paramtre de retard et la viscosit de la phase ). Aprs de nombreuses discussion avec Annie Colin [24], il parait raisonnable de supposer que le mlange admet lui aussi une loi constitutive du mme type :  &    
     (II.2.1)

36

Chapitre 2. De la visco-lasticit...

o les paramtres introduits pour moyenner ceux prsents dans chaque phase sont dnis par les relations


          5    5             5  ! !  ! !  

Remarque II.2.1 Dans lquation (II.2.1), pour ne pas alourdir les notations, on a volontairement omis la dpendance en de tous ses paramtres. Il va sans dire que cette dpendance est importante (voir la dnition des paramtres ci-dessus). Par exemple, il est naturel de considrer que chacune de ces viscosits dpend de la composition locale du mlange, cest--dire de . En fait, ! est la viscosit du mlange uniforme thorique de composition (voir [11, 69])

Il est aussi important de remarquer que la loi  constitutive ainsi construite pour le mlange dgnre bien  dans le cas monophasique (par exemple si alors on retrouve exactement la loi constitutive du uide ). Lintrt de cette mthode est quelle permet de traiter la fois des mlanges visco-lastiques et des mlanges newtoniens/visco-lastiques. En effet de tels mlanges sont trs courants dans les applications industrielles : mlanges polymres/solvants, injection dun uide dans de lair...

3 Bilan - Systme adimensionn

On est donc en mesure de prsenter un modle dquations aux drives partielles pour un mlange de uides visco-lastiques. Si on runit les quations trouves prcdemment (I.1.1), (I.1.2), (I.2.5), (I.2.7) et  (II.2.1), on en dduit un systme ferm o les inconnues sont le paramtre dordre, la vitesse moyenne du mlange,  la vitesse relative entre les deux phases, la pression hydrostatique et la partie purement lastique du tenseur des contraintes. Ltape suivante va permettre la fois de mettre en vidence les termes signicatifs et la fois dintroduire quatre grandeurs caractristiques. Ainsi, si on note la taille caractristique du domaine, la vitesse caractristique de lcoulement alors on peut en dduire un temps caractristique dcoulement lchelle du domaine :

"

 "  #

On verra dans les chapitres suivants que pour effectuer des simulations numriques, une fois les termes signicatifs dtermins, il est naturel dadimensionner les longueurs par . Mais ici, on souhaite voir apparaitre dans les quations prcdentes, les termes signicatifs issus de la prsence dune interface. Pour estimer lordre de grandeur de ces termes lchelle de linterface, il est naturel de choisir non pas comme taille caractristique mais la taille caractristique de linterface. Des travaux dus D. Guton [46] ont montr que lon peut trouver cette valeur en calculant, par exemple, le prol dune interface plane innie dans  un tat dquilibre. Dans ce cas
 vrie une quation diffrentiel ordinaire avec . Dans le cas du poten
 tiel ! , la solution est explicite et lordre de grandeur de linterface est donn en fonction des  coefcient et apparaissant dans la dnition de lnergie libre de Cahn-Hilliard (I.2.2) :

"

"

Le rapport entre ses deux chelles despace nous dni un premier paramtre sans dimension, rapport entre la largeur de linterface et la taille du domaine dtude :

 "

3. Bilan - Systme adimensionn

37

Pour ce qui est0 5 de la densit, une grandeur caractristique peut tre donne par une des deux densit ( , par exemple ( ( . Le contraste entre les deux densits sera alors mesur par la valeur

Enn, si on note 8 la grandeur caractristique du coefcient de frottement (il est gnralement connu pour 5 5 les classiques, par exemple pour un coulement standard eau/polymre, sa valeur est de lordre de  uides    3 ) alors on peut dnir une grandeur caractristique pour la vitesse relative entre les deux phases et ainsi le rapport entre les deux vitesses caractristiques

0  05   (  (  (

7 

 

8 

On introduit nalement les nombres sans dimension suivants le nombre de Reynolds caractrisant lcoulement et les forces visqueuses

( 

le nombre capillaire qui permet de pondrer les forces capillaires mises en jeu

" ( 

le nombre de Peclet mesurant linuence de la diffusion travers linterface


 
% !  !    Il peut tre intressant de remarquer que a la forme dun nombre mesurant le rapport entre  les forces visqueuses ( ) et la tension de surface ( ).
Une tude prcise de chaque dans le cas dun coulement standard (mlange eau-polymre  coefcient  une temprature telle que , voir [11, 69]) montre que certains termes peuvent tre ngligs.  Par exemple, la vitesse relative  peut tre suppose ngligeable devant la vitesse moyenne . En particulier, lquation dvolution en  (quation (I.2.7)) se rduit et de faon rendre compte du caractre lastique du mlange, on introduit le nombre de Weissenberg comme le quotient du temps de relaxation du uide et du temps caractristique du ot : 

    ( 5(   (
!  ( ! 8 ! 

de sorte que la vitesse relative  peut sexprimer directement laide de . Cette vitesse est proportionnelle au gradient du potentiel chimique du mlange. Ce rsultat nest pas une surprise. En effet, dans lquation dvolution du paramtre dordre (I.1.2) on a vu que le terme faisant apparatre  correspondait un phnomne de diffusion travers linterface. Il est donc naturel que ce ux soit proportionnel au gradient du potentiel chimique du mlange.

38

Chapitre 2. De la visco-lasticit...

Bien que ces simplications soient justies uniquement dans un cas physique particulier, on considrera par la suite une trs large gamme de paramtres et ce nest que la concordance qualitative des rsultats obtenus avec les rsultats exprimentaux qui justiera les approximations. Finalement, le systme ainsi adimensionn peut se mettre sous la forme suivante :

       ( !      '#   div  !  .    ( (  .     

       '/    !     ,   (   div

 

        

div

(II.3.1)

(   
div
-



6  

 .

 

  (

.   7

o 

   !  8 !
quations

% !

 ! !
% !

 

est appel le coefcient de mobilit.

de

 En  se souvenant   que le tenseur des contraintes est un deux-tenseur symtrique, ce systme est un systme
inconnues en dimension , et de

quations

inconnues en dimension .

Ltude qui va suivre va donc porter sur ce modle. Soulignons tout de mme que le systme tudi est un couplage de trois quations dj connues dans la littrature. En effet lquation dvolution du paramtre dordre est connue sous le nom dquation de Cahn-Hilliard (sans le terme de transport). Celle dvolution de la vitesse est un quation de type Navier-Stokes et enn celle dvolution sur le tenseur des contraintes est la loi constitutive dOldroyd. Quant aux couplages, celui entre lquation de Cahn-Hilliard et lquation de Navier-Stokes (sans terme dextra-contrainte div ) a t tudi par Franck Boyer dans sa thse [11], ce couplage correspond en fait au mlange de deux uides newtoniens. Le couplage entre les quations de NavierStokes et dOldroyd a dj fait lobjet de nombreux travaux de recherches [32, 44, 45, 50, 55, 58, 74, 78]...

3. Bilan - Systme adimensionn Tableau rcapitulatif des notations : symbole

39

.


( 3

dsignation paramtre dordre vitesse tenseur des extra-contraintes contraste de densit nombre de Peclet taille de linterface nombre de Reynolds nombre capillaire nombre de Weissenberg viscosit paramtre de retard densit potentiel chimique coefcient de mobilit potentiel de Cahn-Hilliard gravit

premire apparition p. 22 p. 22 p. 30 p. 35 p. 35 p. 34 p. 35 p. 35 p. 35 p. 30 p. 30 p. 22 p. 24 p. 36 p. 24 p. 24

40

Chapitre 2. De la visco-lasticit...

41

Deuxime partie

Rsultats mathmatiques

43

Introduction
Dans cette seconde partie, nous nous intressons ltude thorique du modle (II.3.1) labor dans les 6 deux premiers chapitres. La plupart des rsultats des chapitres et sont exposs respectivement dans [22] et [23]. Dans certaines expriences, des physiciens ont mis en vidence lexistence dun terme diffusif au sein de lquation dcrivant lvolution de la contrainte (voir [29]). Comme le montre lquation (II.1.2), ceci se traduit par un terme additif au sein de la loi constitutive. Du point de vue mathmatique, un tel terme simplie la rsolution et cest pour cette raison que les premiers rsultats obtenus ont pris en compte ce terme additif. On verra dailleurs au cours des dmonstrations limportance de ce dernier. Pour ltude mathmatique, on suppose que les densits des deux uides sont gales. Il serait bien sr intressant dobtenir des rsultats similaires dans un cadre plus gnral. Dans [10], des rsultats dexistence sont montrs dans le cas newtonien et faiblement non homogne (cest dire lorsque les deux densits sont proches). Le coup de pouce de la diffusion : Les rsultats dexistence avec le terme diffusif de la contrainte sont au nombre de trois : du cas le plus gnral o lon prouve lexistence locale (en temps) dune solution dans $ une certaine classe de fonctions, au  ) o lon obtient une existence cas plus particulier (celui du coefcient rhologique en dimension globale de solution forte.

Bien sr, tous ces rsultats sont limits par ceux issus de lquation de Navier-Stokes. Il apparat mme des difcults supplmentaires dues aux non linarits empchant dobtenir des solutions fortes globales en  dimension dans le cadre gnral (des problmes similaires sont dcrits dans [44]). Dans certaines situations, des rsultats dunicit ont t prouvs et compltent ainsi ces thormes dexistence.

Les dmonstrations du chapitre 3 sont bases sur des mthodes de type Fadeo-Galerkin [56]. Ce sont gnralement des extensions des preuves faites par F. Boyer [8] au cas visco-lastique. La difcult supplmentaire rsidant dans le fait que lquation constitutive inhrente aux problmes visco-lastiques est fortement non linaire. Et sans la diffusion : Au vue des nombreux travaux raliss rcemment dans le domaine des uides non newtoniens [26, 32, 44, 49, 50, 55, 58, 77], il apparat nanmoins important de traiter le cas sans diffusion de contrainte (cas ). On sapercoit trs rapidement de deux choses : la premire est que les estimations obtenues prcdemment lorsque le coefcient rhologique, not , est nul sont encore valables dans le cas . La seconde est que, au contraire, lorsque ce coefcient est non nul, la mthode gnrale ayant permis de prouver les thormes dans le cas ne donne plus de rsultats intressants. Il va donc falloir mettre en place une autre stratgie.

44 Contrairement aux premires preuves qui utilisaient comme approche celle de F. Boyer [8] pour prouver lexistence dans les cas diphasiques newtoniens, on va plutt essayer de reprendre les ides dveloppes communment pour dmontrer des thormes dexistence dans les cas monophasiques visco-lastiques. La mthode, qui est base sur un thorme de point xe dans un espace adquat, va tre adapte au cas diphasique. La difcult essentielle est que cette mthode demande beaucoup de rgularit en vitesse et va donc nous obliger obtenir beaucoup de rgularit sur le paramtre dordre. On obtient ainsi un rsultat dexistence (et dunicit) locale de solution forte. Suite ces rsultats dexistence locale, un rsultat global en temps donnerait un sens plus physique aux solutions obtenues. On montre ensuite un tel rsultat en supposant les donnes initiales petites. Un point xe mettant en avant les complmentarits des termes linaires coupls permet davoir une existence pour tout temps lorsque initialement la vitesse et la contrainte sont petites et lorsque la composition du mlange est proche dun tat mtastable. Lorsque la diffusion svanouit : Le chapitre 5 a pour but ltude du comportement des solutions du chapitre 3 (cas ) lorsque le coefcient de diffusion tend vers zro ( ). Mme si on ne sait pas actuellement quantier le coefcient de diffusion, on montre que lorsquil est assez petit la solution se comporte comme lorsquil est nul lexception du bord) o elle varie fortement an des zones proches du bord du domaine ( une distance infrieure de vrier les conditions aux limites de type Neumann imposes sur la contrainte.

45

Chapitre 3

Prsence dun terme diffusif en contrainte

Comme annonc dans lintroduction de cette partie, ce chapitre est ddi au cas o le terme diffusif est prsent dans la loi constitutive dOldroyd. Nanmoins, tant donn que ce chapitre concide avec les premiers rsultats mathmatiques de cette thse, les notations introduites ici seront valables tout au long de ces trois chapitres. De mme, on prsente des rsultats classiques (lemmes prliminaires) qui seront utiliss aussi bien dans ce chapitre que dans les chapitres 4 et 5. Plus exactement, au cours de ce chapitre, on commence par prsenter les hypothses (mobilit non dgnre, potentiel "presque polynomial" ...), on dnit ensuite le contexte mathmatique puis on expose le rsultat principal : lexistence locale et lunicit dune solution forte. Deux cas assez diffrents apparaissent selon la drive covariante choisie dans le modle de Jeffreys. Une fois rappel quelques rsultats prliminaires sur le paramtre dordre (dont la moyenne est conserve le long du temps), sur lalgbre tensoriel, sur le terme classique du transport dans lquation de Navier-Stokes et sur divers rsultats de compacit, la partie principale du chapitre est consacre la preuve des rsultats dexistence. Les deux dernires parties expliquent respectivement la preuve de lunicit et la preuve du cas de la drive covariante corotationnelle.

1 Hypothses et principaux rsultats

dans le On considre donc des coulements de deux uides visco-lastiques de mme densit ( modle (II.3.1)). En utilisant la loi constitutive dA.W. El-Kareh et L.G. Leal pour la contrainte ([29], voir aussi lquation (II.1.2)), le modle (II.3.1) scrit :

        

         

    div  ! /. .    
 ! '    , - div     7  /  div !  div

0   0 0  .  avec          

' 

 3
  ! 

!  

(III.1.1)

46 o lapplication  -tenseurs :

Chapitre 3. Prsence dun terme diffusif en contrainte

   3 (  ) est dnie comme une application bilinaire valeurs dans lensemble des
-tenseur

3
 

     -tenseur     

  -tenseur    -
    
  

Remarque III.1.1 Signalons dune part que pour simplier notations, nous avons not la viscosit de lquation de   les Navier-Stokes alors quelle dans le modle (II.3.1). Etant donn que lon ne considre  valait que les cas o , cette viscosit restera positive. De mme, on a not la grandeur positive   du systme (II.3.1). Dautre part, le coefcient introduit ici devrait, en toute rigueur, dpendre de la composition du mlange, par exemple de faon linaire :

et tant les deux coefcients additifs strictement positifs de chaque constituant du mlange. Pour  simplier (mais cela ne change en rien les rsultats obtenus) on suppose que ne dpend pas de et que tout au cours de ce chapitre . Enn, le terme de forces dues aux  potentiels chimiques dans les quations de Navier-Stokes (terme .1 dans (II.3.1)) a t rduit en    . Le reste (
 !  ) tant insr dans le gradient de  . pression

    5    

1.1 Hypothses

On suppose que les fonctions  , , , et sont assez rgulires (de classe bornes avec des drives bornes par exemple). Bien que lquation de Cahn-Hilliard ait t intensivement tudie, il existe peu de rsultats mathmatiques dans lesquels la mobilit diffusive  dpend de . Cette mobilit vue comme fonction de la concentration, est apparue dans la drivation originale de lquation de Cahn-Hilliard (voir [17]). On suppose ici que la mobilit est non dgnre :

'

 

(III.1.2)

Ltude mathmatique du cas dgnr de lquation Cahn-Hilliard est raconte dans [30]. Il est essentiel  de pouvoir le faire dans le cas dgnr puisque physiquement, la mobilit sannule lorsque vaut (en  gnral, la mobilit qui est choisie est du type  ! , voir par exemple (II.3.1)). Bien que  ltude du cas dgnr soit plus difcile, F. Boyer [11] a montr que dans le cas newtonien, certains rsultats dexistence (plus faibles) taient aussi valables. En outre, on suppose que la viscosit , llasticit et la fonction mesurant le retard du mlange restent strictement positives et bornes en ce sens quelles satisfont, par exemple pour la viscosit : 5 5  (III.1.3)

Il reste faire des hypothses sur le potentiel de Cahn-Hilliard . Un potentiel physique est toujours born infrieurement et par ailleurs, laddition dune constante au potentiel ne change pas les quations. On peut donc supposer que
 (III.1.4)

On peut facilement voir que la convexit du potentiel Cahn-Hilliard a un effet important sur le comportement
de linterface : si est non convexe, le mlange est instable (la diffusion est ngative dans lquation CahnHilliard) et les liquides sont seulement partiellement miscibles. Des potentiels habituels, comme les potentiels dcrits auparavant peuvent contenir des rgions la fois stables et instables (voir (I.2.3) et (I.2.4) ainsi que

1. Hypothses et principaux rsultats

47

la gure (I.2.1)). Dans la perspective de manipuler de tels cas, on ne supposera pas la convexit du potentiel mais seulement 


  (III.1.5)

Pour obtenir lexistence de solutions,  on ajoutera   des hypothses plus gnrales sur la croissance du potentiel et . dans le voisinage des points



 6

6 

(III.1.6)

An dobtenir des solutions globales, on aura besoin de lhypothse supplmentaire

  

si

et

si

$ 

(III.1.7)

Il est clair que nimporte quelle fonction polynomiale (de petit degr en dimension trois, voir par exemple (I.2.3)) avec un coefcient dominant positif satisfait de telles hypothses. Lquation de Cahn-Hilliard est dhabitude tudie avec de telles non linarits. Finalement, la dernire hypothse est une gnralisation de la convexit :


7

# 

(III.1.8)

Cette hypothse est satisfaite par exemple par nimporte quelle fonction convexe en utilisant

. Cependant, sous la temprature critique les potentiels de Cahn-Hilliard considrs ont et typiquement une structure en double-puits et ne sont videmment pas convexes. Ils vrient nanmoins cette proprit.

Remarque III.1.2 Comme pour ce qui concerne la mobilit,    dans certains cas physiques, le potentiel est singulier de type logarithmique [5, 11] et dni que sur . L aussi, des rsultats dexistence sont connus pour des uides newtoniens et sobtiennent en approchant le potentiel logarithmique par des potentiels plus rguliers, puis en passant la limite. Dans les deux cas (potentiel singulier ou mobilit dgnre), on peut vrier que la solution obtenue vrie   pour presque tout

1.2 Notations et espaces fonctionels

Dans tout ce qui concerne la partie mathmatique de cette thse, la mme lettre symbolise une constante qui prendra des valeurs diffrentes selon les cas considrs. $  Soit un domaine born lisse dans , ou . On note son bord et le vecteur normal unitaire sortant.

On utilise les espaces suivants : les espaces de Lebesgue (ou simplement ), 1  son produit scalaire sera not ) ; les espaces de Sobolev , munis des normes habituelles (pour et de produits scalaires . Pour simplier on notera (ou simplement ), , avec leurs normes
,
 ,
 ... leurs normes tant notes de la mme aussi et les espaces vectoriels
, manire que celle du cas monodimensionnel.

"

    

"  

"

 6

"

     "

 

Si

 6

"

est un intervalle de et un espace Banach, on utilisera aussi lespace de fonction , qui consiste en lensemble des fonctions -intgrables valeurs dans .

" " ,

48

Chapitre 3. Prsence dun terme diffusif en contrainte Prsentons maintenant les espaces naturellement lis avec le problme :

 muni de la norme    et      div  et   muni de la norme    (pour    )   &  &    et     muni de la norme         Ces espaces tant bien dnis pour des rels  , pour , on utilise aussi les notations 
, 
et  

en tant  quespaces duals de ,  
et   
respectivement. Finalement, on note loprateur de Stokes :  ,   0 

).

Une fois ces notations prcises, on peut introduire la dernire hypothse qui nous sera utile : cest une hypothse de rgularit sur la fonction imposant la vitesse au bord du domaine . Elle doit naturellement tre tangente au bord (condition de glissement) et sufsamment rgulire :

 

$   

et

 

(III.1.9)

Dans le cas tridimensionnel, on ajoute une hypothse correspondant, par exemple, au cas physique dcoulement dans un canal o les vitesses sur chaque bord sont imposes et constantes, voir la remarque III.3.1.

1.3 Enonc des rsultats

Cette dernire hypothse (III.1.9), permet de prolonger , dni sur et vriant    div sur $

en un champ de vecteurs, que lon notera encore

et

sur

La preuve de lexistence dun tel relvement de la condition au bord est classique. Elle est expose dans [53]. A laide de ce rsultats, on peut noncer les thormes suivants : Thorme III.1.1 (Le cas gnral) 5 (III.1.2), (III.1.3), (III.1.4), (III.1.5), (III.1.6)  , (III.1.8) Supposons et (III.1.9). Si 0   alors il existe et une unique solution 2 de (III.1.1) sur

"      "  "   

  

% 5 " '  # & %   )% " '   %

  "9'  5  5   



0   ,  0
telle que

5
et

Thorme III.1.2 ( Le cas ) Si on suppose en plus (III.1.7), et si dans (III.1.1),  solution globale 7 de (III.1.1) telle que

* +-

0  5 ,  0

 5  0

et

0

 0

alors il existe une

" 24 35 6   $ " 2:35 " 2: 3/5 6

 &% 7   6 5  &%

"(' 6  5 2435 6 &% " 2:' 3/5 " 24' 35 6 

2. Quelques rsultats prliminaires Corollaire III.1.1 cas en dimension ) $ ( Le  5 avec les hypothses du premier thorme III.1.1, si Dans le cas et 0  5 o 0 # et  alors il existe une unique solution solution globale 7

49

*,+-

 6  " 2435     $ " 2:3/5 6 "  6  2: 3/5 

" :2' 35 6 # % 5 9 %   &% " " ' 6  % 2435

  '2435  5 6 5   

dans (III.1.1), de (III.1.1) telle que

0 

,

Remarque III.1.3
Dans le second thorme, on peut supposer que est seulement de classe  (voir lhypothse (III.1.4)).  Dans la littrature, la valeur correspond la drive corotationnelle convecte (les valeurs  et correspondant respectivement aux drives convectes suprieure et infrieure). Dans le cas gnral, on montre lexistence et le rsultat dunicit pour une solution locale. Dans le cas  , on obtient une solution globale faible (forte en dimension ) pour une condition initiale gnrale.

2 Quelques rsultats prliminaires

2.1 Analyse tensorielle
Pour obtenir des bornes dnergie, on rappelle ici quelques rsultats concernant lanalyse tensorielle et on prouve un rsultat gnral dintgration par parties sur les tenseurs. La n de ce paragraphe est consacre la preuve de deux galits sur lapplication 3 qui nous seront utiles par la suite.

Dnition III.2.1 Le produit contract dordre dun -tenseur et dun  -tenseur  tenseur dni par :

(pour

 

 

) est le

     -




 

       

 





Remarque III.2.1 On dira quun -tenseur   est symtrique si   pour tout lment du groupe symtrique  (ainsi, un -tenseur est symtrique lorsque sa matrice associe lest 5 au sens classique). 0

Pour plus de simplications, on notera  Loprateur reprsente le -tenseur

Le produit est une forme bilinaire symtrique sur lensemble des -tenseurs (par exemple, si et  sont deux matrices alors on a   ). Avec ces notations, lorsque et  sont deux -tenseurs, on peut dnir directement le produit scalaire dans

 


      ,    et         . , div   et on a

  

 

 .

" 

par



 

Proposition III.2.1  Pour symtrique (ou si

  

     , soit un ) alors :      

-tenseur de classe

'


et 

un  -tenseur de classe

'

. Si

est

  5 


  5 


50

Chapitre 3. Prsence dun terme diffusif en contrainte

Preuve : Dans un premier temps, on utilise la dnition du produit du produit dordre par :

 dordre et, dans un second temps



 

Aprs une classique intgration par parties sur chaque terme de la somme, on utilise la symtrie (ou le fait que ) pour obtenir :



           
  

 

                               5         5                             



 

  

   



Exemple 2.1 Dans la pratique, on utilisera frquemment les cas suivants :   ,  , et avec les notations usuelles ( est un vecteur ( -tenseur) et ( -tenseur)) :    div   

un scalaire

 ,  ,  ,  ,

et si

est un -tenseur symtrique :

 
&

et si, de plus,

 & 7  

est un -tenseur symtrique :

div

 


  

 div & ( -

   & 

Remarque III.2.2 Dans le dernier exemple, on peut prendre particulier, on utilise le rsultat pour

7 

bien que ce dernier ne soit pas symtrique ! Dans ce cas  , on obtient :

&  

  (


(III.2.1)

Dans le cas tensoriel, les ingalits de Cauchy-Schwarz et de Hlder sont encore vraies. On les montre 5 en appliquant  les ingalits classiques sur chaque composante puis en utilisant la convexit de lapplication   ,  . On a donc : , cest dire

 



  

2. Quelques rsultats prliminaires Proposition III.2.2 Si et  sont deux -tenseurs alors il existe une constante

51

telle que

Proposition III.2.3 Si est un -tenseur et 

 

, pour


 



un  -tenseur alors il existe une constante

  , pour    Rappelons que, pour deux -tenseurs et  , on a par dnition    , et dans le cas   , on obtient :     . Cette remarque nous (cas matriciel), puisque    permet



telle que

dobtenir deux galits intressantes dans lesquelles on voit clairement le rle particulier du cas

Lemme III.2.1  Si 3 est dni comme dans (III.1.1) avec et de classe

'

  3% 
 / 

et

3
% 

  /# 

, alors on a les deux galits :

, /    

Preuve : En crivant la dnition de 3 , un calcul direct nous donne le rsultat (lhypothse de symtrie sur est trs importante ici) :

   
     -
       
 
    3!     
 -
    3     
  /#
 -, 
  
     3 ! 
    3

La preuve de la deuxime galit est trs semblable : on emploie le fait que

est, tout comme , symtrique.

2.2 Rsultats concernant les termes de transport

Dnition III.2.2 Soit un champ de vecteurs de

divergence nulle. On dnit, pour et & deux -tenseurs :

&

 &

 

Remarque III.2.3  Pour deux vecteurs et  , on retrouve la dnition classique (introduite par exemple dans [25]) :

  

 

Plus gnralement on a :

&

 

 

 & 

52

Chapitre 3. Prsence dun terme diffusif en contrainte

La forme trilinaire , tout comme , a de nombreuses proprits de continuit (voir [25], [83]). Par la suite, on utilisera surtout les suivantes : Lemme III.2.2 5 Si ,


 

& et  5
et 

Si



5
,

 & & , en particulier & & 5 5 5 5 5           5      alors     

alors

2.3 Ingalits fondamentales

Tout dabord, pour toute fonction "

, on dnit sa moyenne par  

Cette quantit joue un rle important dans la thorie des quations de Cahn-Hilliard. En particulier, lorsque vrie lquation de Cahn-Hilliard (avec un champ de vitesse rgulier pour le transport) et les conditions au bord de type Neumann, sa moyenne est conserve au cours du temps. De plus, on a le lemme suivant, prouv dans [84] :

Lemme III.2.3 Pour tout 

et pour tout

on a

  ,  


on a

 A partir $ de ce lemme, si on utilise linclusion lorsque , o lingalit de Agmon (voir [2]) , et linterpolation entre  et , on obtient dans tous les cas lorsque

"

 7 " '  7

!   ! 




$ 

Lemme III.2.4 Pour tout  ,

La mthode de Galerkin que lon va appliquer dans les preuves est base sur des estimations dans des espaces . On emploiera les lemmes suivants qui sont des consquences des injections de Sobolev (voir [14]) et des thormes dinterpolation (voir [57]) : Lemme III.2.5 $  Si et

 
$

'



Si

 5 alors #  et   alors 7 

   

 5     

  .  et 

  

 .

Le systme tudi tant non linaire, il est naturel dnoncer le lemme suivant, dont une preuve se trouve dans [48] : Lemme III.2.6 Lapplication

       dans   5      5   5    5  $   $  5 On peut choisir ds que  ,  et 

est continue de

 

 $       5    $    $    

lorsque

3. Preuves des rsultats dexistence Lemme III.2.7 (ingalit de Korn, voir [47])  Pour un champ de vecteurs donn dans 0 alors classique.

53

    avec galit si lon suppose div .   Rappellons que louvert est rgulier et born dans . On peut donc y appliquer lingalit de Poincar


5 Lemme (ingalit de Poincar, voir [1]) III.2.8 Si alors il existe une constante telle que  5 En dautres termes, ceci montre que lapplication . la norme

 5  


 5  est une norme sur

qui est quivalente

, !   0 5 5 5  %   . De plus, 5 Loprateur de Stokes est un oprateur non born dans de domaine    une  il existe  $  %  on ait     . telle que pour tout constante  ,    et  Les rsultats classiques suivants peuvent tre trouvs dans [81] ; , et tant des espaces de Banach. De  

plus, on suppose que

Lemme III.2.9 (Rgularit 5 du problme de Stokes, voir [83])  , il existe un unique couple Pour toute fonction

% 

0  

5


tel que

avec injection compacte

Lemme III.2.10 

5 Si est une partie borne de et si o
alors  . borne de est relativement dans compacte

Si est une partie borne de et une partie borne de  . est relativement compacte dans  alors  Si est telle que

" 

" 

 "  " '   " 

 est une partie "  "  avec  alors
 5 .
6

3 Preuves des rsultats dexistence

Toutes ces preuves sont bases sur des approximations de Galerkin associes des estimations dnergie  [56], [83]. Dans la section 3.1, on rduit le problme non homogne de Navier-Stokes pour la vitesse un  problme homogne pour une nouvelle vitesse . Dans un deuxime temps, on construit des solutions approches du problme (III.1.1) par la mthode de Galerkin. Dans les sections 3.3 et 3.4, on donne certaines estimations pour 7 et leurs drives. Ces estimations nous permettent de passer la limite dans les termes non linaires en utilisant des mthodes de compacit.

3.1 Relvement des conditions aux bords

Tout dabord, rappelons lhypothse III.1.9 :

$ 

$   

et

On a dj vu (partie 1.3) que ces hypothses permettent de relever en un champ de vecteur sur louvert qui soit rgulier (ici  ) et divergence nulle. Pour des besoins techniques, on aura en fait besoin de plus, en particulier, on demandera ce que soit petit en norme . Dans le cas tri-dimensionnel, cette condition ncessite une hypothse supplmentaire :

 

" #

div

o est la projection sur la frontire . Cette supposition est vrie dans le cas dun canal o la vitesse est constante sur chaque bord (voir la remarque III.3.1). Pour les dmonstrations, on aura besoin dune telle extension. Plus prcisment on a le lemme suivant

au voisinage de

(III.3.1)

54

Chapitre 3. Prsence dun terme diffusif en contrainte

Lemme III.3.1 Sous les hypothses (III.1.9) et (III.3.1), pour tout satisfaisant

Ce rsultat (sans la condition ) est un rsultat connu pour le problme non homogne de Stokes [57], [83]. On verra au cours de la dmonstration de ce lemme que la seconde hypothse (III.3.1) nest pas ncessaire dans le cas bidimensionel. Remarque III.3.1    avec la vitesse Si on considre la gure III.3.1, cest dire un canal au    bord choisie    telle que # sur le bord suprieur et sur le bord infrieur alors pour #
toute valeur de , on a une fonction explicite qui vrie les proprits du lemme III.3.1 (voir [63], [8]).

   div sur  sur5 2   5 # 5       

 , il existe un champ de vecteurs sur

not

5  

 

       
F IG . III.3.1: Conditions au bord dans le cas dun canal Preuve du lemme III.3.1 : Premirement, puisque le bord de louvert est rgulier (en fait, lhypothse de classe  suft) il existe un voisinage tubulaire de dans lequel la projection sur est bien dnie (voir par exemple [6], p.106). Soit Tub  ce voisinage tubulaire de , la projection de Tub  sur et (

la distance de  Tub (on a ( 

Tub  ).


Tub 

 !   

& "

#%$ '

F IG . III.3.2: Le voisinage tubulaire du bord

F IG . III.3.3: La fonction

Suivant A. Miranville (dans le cas du canal [63]) on introduit la fonction

)( #* ( #  +     si  + 6 

+ *

si

 +

(III.3.2)

3. Preuves des rsultats dexistence Cette fonction est de classe

55

'

sur

, toutes ses drives sont bornes et elle vrie (voir [63])

 $ #

 
+

6 #

(III.3.3)

( 
 bien dni sur . De plus, il est clair que  Ce champ de vecteurs est
Puisque les fonctions III.1.9), on dduit

Suivant la dimension, on va procder diffremment. Dans le cas tri-dimensionnel, posons

,(

et

sont de classe

Dautre part, en utilisant la dnition de

, on a div  Lhypothse div

 div

 , en utilisant la rgularit de     

sur .

(voir lhypothse

( 
 (  

permet dannuler le premier terme. Pour annuler le dernier terme, il   # . Cette dernire puis de montrer que (  est ncessaire dutiliser lhypothse galit rsulte de deux remarques. Tout dabord, lgalit est vraie pour un point de la frontire (la  frontire est une ligne de niveau de ( et donc ( est orthogonal la frontire). En drivant lgalit  ## ## on en dduit le rsultat. (

   et en utilisant #

 

Sachant que

born. On dduit en utilisant le rsultat (III.3.3) que

 # $    (

#  # $  #   # $  #'   (  # $  #  +  , $ (


On effectue le changement de variables Tub 

" '



on a

  

dont le Jacobien est

$ 
#

#'

$ ( # (

 #

 #       # Dans le cas bidimensionnel, on va voir que lon peut se passer de lhypothse (III.3.1). Les travaux de tel que se prolonge en un champ O. Ladyzhenskaya [53] prouve lexistence dune fonction 8

Finalement, la dernire relation est directement obtenue en utilisant le fait que 5 (voir [63]) : 5

# 

5
pour

de vecteurs sur du type lon peut choisir 8 tel que

rot 8 . De plus, la construction de

(voir [53], p. 26) nous montre que

8  +

pour (

lapplication

 +
8

soit un diffomorphisme de Tub 

Comme dans le cas tridimensionnel, on introduit la fonction

8
0
 Ce champ de vecteurs est bien dni sur . De plus on a clairement 

sur

 + 

(voir III.3.2) et on pose

sur .

56

Chapitre 3. Prsence dun terme diffusif en contrainte

Puisque les fonctions dduit

et

sont de classe

De part la dnition de

Puisque ) on annule le premier terme. Pour annuler le second, on remarque  8 rot. 8 (lorsque que rot 8 La n de la preuve est faite exactement de la mme manire que dans le cas tridimensionnel.

div

 , en utilisant des rsultats de rgularit (voir [53]), on    

, on a

$ 

8  div 0 

8
0
 8  

Lide de la preuve du thorme III.1.1 est demployer le lemme prcdent pour une valeur xe de (son   pour que les conditions de frontire choix sera dtermine plus prcisement par  la suite) 5 : on pose  sur soient homognes. Ainsi, puisque  le thorme III.1.1 sera prouv si lon montre que pour un appropri il existe une solution unique 7 de (III.1.1) sur telle que

"     5# 8"   "    

% 

&% " '  %   % " ' % "('  &

   5 5   



Bien entendu, on a une formulation similaire pour le thorme III.1.2.

3.2 Approximations de Galerkin

On emploie la mthode Fadeo-Galerkin 5 qui5 consiste construire des solutions approches par rduction  la dimension nie.5 Sachant 5 que 5 des 5 espaces de Hilbert sparables, il existe des bases  , 5 et  sont 5 5 on peut supposer que hilbertiennes
, 
et &
de   ,   et  respectivement. De plus, 
sont des fonctions 5 domaine  , 
les fonctions propres propres de loprateur avec de 5   et &
les fonctions propres de loprateur  avec loprateur de Stokes avec domaine domaine  . On cherche trois fonctions de la forme

5 5  5 & 5 5 respectivement 5 o , et sont des fonctions de classe , 5 , et tant les projections 0 0 0 sur orthogonales de , et ,   et & satisfaisant les quations diffrentielles ordinaires suivantes : et & , Pour tout , 

% 

 

/. 

(III.3.4)

   

 

     (   (  /.     

(III.3.5)

3. Preuves des rsultats dexistence

57

& 

&  &  3  &  3

(

9 &

9 & 

& 

9 & 5
(III.3.7)

  &

(III.3.6)

5 5 Ce5 systme est un ensemble dquations diffrentielles ordinaires en les inconnues ,

 et . Les fonctions  , , , et tant localement de classe , le thorme de Cauchy-Lipschitz assure lexistence dune unique solution maximale sur un intervalle .
3.3 Estimations

.   

. . Dans cette partie, pour simplier, on note simplement , , et la place de , , et . Premirement, on rappelle un rsultat essentiel sur lquation de Cahn-Hilliard qui permet dutiliser le lemme III.2.4 :
Lemme III.3.2 Toute solution  de vitesse donn

 5

de 0 lquation de Cahn-Hilliard (premire ligne du systme (III.1.1)), avec un champ , vrie !

et ainsi, la moyenne du paramtre dordre sera conserve au cours du temps (tant que la solution existe bien entendu !) :

0 

Preuve : Cette proprit est vidente du point de vue physique (les deux uides restent dans les mmes proportions au cours du temps lorsque il ny a pas de ux travers les parois). Du point de  vue mathmatique, cest une application directe de la formulation faible en prenant pour fonction test dans (III.3.4).

Estimations

pour

En prenant

comme fonction test dans lquation (III.3.4), celle ci devient

. En utilisant la dnition du potentiel (voir (III.1.1)) et le fait que permet dcrire le premier terme sous la forme 
Lhypothse 

.  

 ! /. /.

/.

 . 

 , une intgration par parties

5 $

 .  

$   $    $ $  !  

! 

$ 

 (III.1.2) implique la majoration suivante :



   

!  


5  .  

. 

 /.

58

Chapitre 3. Prsence dun terme diffusif en contrainte

na pas besoin dtre minor car il est compens par un Il est essentiel de voir que le terme coupl  terme analogue issu de lquation de Navier-Stokes. Pour ce qui est du dernier terme, remarquons que, grce aux conditions au bord

/.

/.

div

et on peut donc crire :

 /.  /.

  /.   5   

" #

.   

Ainsi, les applications successives de linjection

et des lemmes III.2.3 et III.3.1 permettent davoir

/.  ! # 5  # 5    /.           /.  apparaisant gauche est trs riche. Cette tape a permis de contrler tous les termes de droite. Le terme  En effet, comme dans les travaux de F. Boyer [8], sous les hypothses (III.1.6) et (III.1.7), on peut prouver
que ce terme vrie

et

/.  




5   5
 0    7 

 $

ne dpendent que de ,

$ 



 

0   #

et

   

!   %

. Ainsi, la nouvelle estimation devient



Dans la suite, on devra donc choisir

$ 

  

 

 5   %  . Avec une telle relation, on obtient  %   

!  !      5    /.     5    /.    

5  /   
  .   !     5 /.      



tel que

(III.3.8)

Estimation pour A prsent, on choisit 

 

comme fonction test dans lquation (III.3.5) :

 

Ici, on utilise le fait que et sont des champs de vecteurs divergence nulle, et que termes et    ,  0 les sont nuls (daprs 5 lantisymtrie de lapplication bilinaire , voir le lemme III.2.2. Dautre part, lhypothse (III.1.3) et lingalit de Korn impliquent

 

/. 

5 

3. Preuves des rsultats dexistence On utilise dune part le lemme III.3.1 avec

 #   #   /. Bien sr, on ne touche pas au terme coupl

59

lingalit de Poincar : et dautre part 5 5   5       

qui va sannuler en ajoutant lestimation (III.3.8) et celle trouve dans ce paragraphe. Pour le reste des termes, il suft dutiliser des estimations classiques en veillant toujours contrler la norme  du gradient de vitesse : 5

 #   #       9          !     5         
$ $ 

"

 5 

  

et lon dduit donc

     

 
 

/. 

 

(III.3.9)

Estimation On prend

&

pour comme fonction test dans (III.3.6) qui devient alors :

 

Les quantits , tant divergence nulle et tangentes au bord du domaine :

utiliser le rsultat du lemme III.2.2 pour obtenir la majoration suivante :

!  

3
 

3
9 

 

 ! 9 

sur , on peut

         !  3
9   ! 9  Le dernier terme est estim, en utilisant le fait que  et que et sont bornes (hypothse (III.1.3)) :         5   5           ! 9   

De mme, on a :

$ 

5    

 

       3 (   5

5


Les termes restant sont les termes les plus difciles traiter car ils sont non linaires (et gnralement non nuls contrairement aux termes du type   ). Nanmoins, laide du lemme III.2.1 et de la proposition III.2.2 on peut crire : 5     
 

   3 ( 

 

7 

60

Chapitre 3. Prsence dun terme diffusif en contrainte

o ne dpend pas du coefcient rhologique . Le fait que ne dpende pas de est essentiel pour la preuve du thorme III.1.2 correspondant au cas . Cest ici que se trouve la source de la non rsolution  du problme global (mme en dimension ! voir par exemple [33, 44]). Pour le terme semblable avec la place de , on a la mme estimation. Il ne reste plus que le terme   qui, estim laide dingalits de Sobolev (nonces dans le lemme III.2.5), se majore par :

7  7

 

#           

 

 7

Regroupant toutes ces estimations, on en dduit :

$ 

  

6 

  

5  #

 

(III.3.10)

Les trois estimations que nous avons obtenues ne permettent pas de conclure. En effet, les termes non du tenseur linaires de la loi constitutive dOldroyd font apparatre dans le membre de droite la norme . Celle-ci ntant pas controle, nous sommes donc obligs de pousser les 5 estimations lordre suivant. , il est clair que lon aura des Par contre, puisque le coefcient est en facteur du seul terme gnant estimations satisfaisantes ds cette tape dans le cas . On y reviendra au cours de la preuve du thorme III.1.2.

Estimation

Utilisant

pour

dans lquation (III.3.4) on a :

   

2  ! 


 !

div 

 .   

A laide dune intgration par parties le premier terme (les termes de bord sannulant car  ) et  sur  .  
    ! sur le dernier terme, on peut crire les (in)galits de la dnition du potentiel suivantes

$ 

   


$ 

    7   ! 7  ! 

 

   

       '   ' 


!
 

!  


!   .
   '

 7


  

 ! 

  

 /. 

  

Lingalit de Young permet de regrouper les termes en alors une ingalit du type :

 

de faon garder le contrle sur eux ; il reste

$ 

   




 

  '  #'   # 

 !     .  
#

  

Il faut maintenant contrler tous les termes de droite. Le premier, grce au lemme III.2.4 se majore facilement :

  '

  

 




  

   

3. Preuves des rsultats dexistence Pour le terme

61

la fois lhypothse (III.1.6) (ce type de calcul est similaire ceux prsent dans [8] et [84]) :

    7


 !  , on drive deux fois puis on estime le rsultat en utilisant la fois lingalit 5   se montre comme celle du mme type sur , voir le paragraphe prcdent), et 
 # (qui

 ! 

  

 



Par dnition du potentiel , le dernier terme donne

'    7 
5   ! '       !  ! 
 #   ' 5    ! 
#       

! '




 /.  

 

Pour

5
, on utilise lingalit de Agmon

       
 !    '        7
  ! ' 

    !  '    '5   !!   !!     !!   !! 7 

puis le lemme III.2.3 qui stipule que :

  ' 
 

et enn une intgration par parties Ceci donne au nal :

 ' 

 

 

 
 

   

 7     




5 

Pour le terme

En regroupant toutes les estimations obtenues, on en dduit lexistence dune fonction polynomiale que

 " ' permet de montrer que : 5  , lhypotse (III.1.6) et linjection    

  !      ! 
 # 5   7 '  

 

50

telle

$ 

    
pour

 

  
 5

 5   -
  

  #' 

(III.3.11)

Estimation

Pour cette estimation, on utilise comme fonction test dans lquation (III.3.5) (cette possibilit est justie par le fait que lon a dcompos dans une base particulire, celle de vecteurs propres de loprateur de Stokes ) :

     div !

    div !

div

.1

62 Le terme

Chapitre 3. Prsence dun terme diffusif en contrainte

5
se majore en utilisant les ingalits de Sobolev (lemme III.2.5) :

5 

 7 5        5     5     7 5  7          #5    5  

 

 

A laide de lingalit de Agmon on a aussi la majoration suivante :



 '  
5

 5   7  

    

les autres termes du mme type sestimant facilement5 :

7

     5       # 

     ' 

#   '

#


Le terme suivant se dcompose en deux puis trois parties :

  

div

!   !   !  

est minor par  . Cest ce terme qui Lhypothse (III.1.3) sur implique alors que  va permettre dabsorber tous les autres termes du type les  . Par exemple, en utilisant successivement lemmes III.2.4 et III.2.9 on va montrer que lon a une estimation dont toutes les puissances de  et de     sont strictement infrieures . On pourra donc grce lingalit de Young obtenir lingalit voulue (voir lquation (III.3.12) par la suite) :

!   5

Dun cot, aprs intgration par parties (en se souvenant que div , et que , sous ensemble de lensemble des valeurs propres de loprateur ) on a :

est un lment de

!  

  

     ' ' 5     5 '  5         6 

5

     5
 

5  #

Dun autre cot, en utilisant encore le lemme III.2.4 :

  


  '

' 


 6 

     

# 


3. Preuves des rsultats dexistence On crit le terme identique avec

63

  

div

de la manire suivante :

 

    5 '             

! 

Pour le terme , lingalit de Cauchy-Schwarz donne

! 

alors que le terme est plus subtil estimer : on utilise la dnition du potentiel

:             1 .   
      !        '   
!    5 5         6        #        
Il est intressant de remarquer que le terme  !  est nul. En effet,  est une combinaison linaire de vecteurs propres de loprateur . Il est donc, comme5 , divergence nulle.


div

5 


 

 .

Les estimations que nous venons dobtenir pour les termes 5 5 $   5

     

 


Estimation

spciale pour ) :   

 & On pose 

5 5     
         
   7  #               ' '     
  

,..., se rsument :

(III.3.12)

pour

dans lquation (III.3.6) (l aussi ceci est rendu possible car on a choisi une base

3
  

9  


Avec une premire intgration par parties, on trouve : $        

 

 3    


 3
 

 

 ! 

     ! ( 
 ! 9

7 

En utilisant les rsultats du lemme III.2.1, on peut estimer chaque terme du membre de droite an dobtenir : $   5         $

 '
   

       7 # #                                    

'

64

Chapitre 3. Prsence dun terme diffusif en contrainte

   et )  pouvaient tre controles par   On a vu (proposition III.2.2) que  (on utilisera ces mmes estimations pour les termes similaires faisant intervenir ). Une ingalit de Young classique fournit :

$   5 $     

   5

  '

   #

 '

 #

 

5 trois termes  ,   ,  et  : Il reste tudier les Le terme  se traite laide du lemme III.2.4 permettant de contrler la norme innie du gradient du paramtre dordre : 5


    6  

   7

 

7 


 '




  

5 

         #

Quant au terme  , les ingalits de Sobolev (lemme III.2.5), puis lingalit de Young permettent de  le majorer ainsi :


  
7

7

 6

  

                                 7          

 

Avec des arguments similaires, 5 il nest pas difcile de prouver le mme type de rsultats pour           


7 


Enn, pour le terme

# , lingalit de Sobolev (lemme III.2.5) permet nouveau de conclure # #  #         





7 

En regroupant ces dernires ingalits, on en dduit : 5 5 $           $

linaires dans le systme, on sait quune convergence faible de chaque terme ne va pas sufre pour passer la limite. Il va donc falloir obtenir de la convergence forte sur certains dentre eux. Un moyen habituel dy parvenir est davoir des estimations sur les drives en temps.

   5    5      (III.3.13) 5        5    5   
    7 #    #  On a donc maintenant obtenu des estimations sur , et dans des espaces adapts et ainsi des convergences faibles (ou faible- ) pour des sous-suites de  ,  et  . Puisque lon a des termes non  


3.4 Estimations des drives

Le principe est disoler, dans les quations (III.3.4), (III.3.5), (III.3.6) et (III.3.7), les termes de drives temporelles. Il suft pour cela de dnir les projecteurs :

5     5 5 

3. Preuves des rsultats dexistence

65

En notant le dual dun oprateur, les quations (III.3.4), (III.3.5), (III.3.6) et (III.3.7) peuvent aussi scrire sous la forme suivante :

5 

5 & 

     

$   $ div  $      $  $   $ div  7    

/.  

div

 
div

 .   /   
3     

 

o lon a pos

!  

 .

Le fait que tous les projecteurs soient orthogonaux dans  implique que leur norme soit majore par 5 tant (en quoprateurs linaires). Plus prcisement, , et sont les projecteurs respectivement dans , et  pour tout . Ainsi, on a

 

"

               



 

 

      

     



 

Il suft alors dvaluer les termes auxquels on a appliqu les projecteurs. Estimation

 On montre tout dabord que si et sont assez rguliers, par exemple en supposant


pour  



 

"    " borne dans  

borne dans

 ) % " '     # 5 %    "     0

alors la suite

En effet, a la mme rgularit que div  et puisque   div 

(les autres termes tant clairement plus rguliers)         on obtient une borne sur ce terme en utilisant les rsultats dinterpolation, voir partie 2.3 :  est borne "  dans #  7 ce qui implique en particulier   borne dans " #    et    borne dans " #    0
Ensuite, il suft de remarquer quen dimension deux ou trois, le produit dune fonction  est dans  (voir le lemme III.2.6) pour en dduire

est borne dans

(III.3.14)

"

"

 

par une fonction

 

borne dans

"     0

66 Estimation

Chapitre 3. Prsence dun terme diffusif en contrainte

pour  

L encore, pour obtenir une estimation sur ce terme driv, on suppose tout dabord que lon a

 "  " '  9    borne dans "   5 # &%  "  '     borne dans   5 %  % 
 borne dans "   

Par des produits classiques despace de Lebesgue (par exemple en utilisant, en dimension infrieure stricte6  , voir lemme III.2.6), on obtient directement une borne pour ment , le produit envoie  / , .  ,  / et  dans  , et donc on en dduit que dans 

"  " div     /   


est borne dans

 

 

"

est borne dans

"    " 

Les estimations prcdentes sont sufssantes pour afrmer que

"    0

(III.3.15)

Estimation pour 

Pour cette dernire estimation de drive, on suppose que

5  5 " " ' est borne dans    %  %  5   " 9 " '  est borne dans     %     "  
 . Les autres termes sont clairement 0
(III.3.16)

  est borne dans "      est borne dans "    "   " et plus gnralement, la suite est borne dans 3  borns dans " 4  "  et on en conclu que : est borne dans "   

3.5 Passage la limite

On est maintenant en mesure de conclure pour ce qui est du cas systme par 

alors, avec des arguments similaires aux cas prcdents (lemme III.2.6), 5 on a

: si on dnit lnergie totale du

5       

5      

alors on peut remarquer quen effectuant la somme des ingalits trouves lors des estimations a priori : (III.3.8), (III.3.9), (III.3.10), (III.3.11), (III.3.12) et (III.3.13), on obtient une inquation diffrentielle ( tant un polynme dune variable relle) : 5 5        (III.3.17)         

On en dduit tout dabord (utiliser ) quil existe un temps pour tout , puis ensuite en intgrant (III.3.17) que sur

 =

  ,

tel que la solution soit borne et demeurent respectivement

4. Unicit de la solution dans un born de  pour tout :

67 . Plus prcisement, on a

5 %   et "    pour tout  > "    # , " 4      est borne dans "    5 # % " '     5   est borne dans "   %   &% "9' 5    est borne dans "     &% " '     


Par ailleurs, en utilisant les ingalits obtenues sur les drives temporelles (III.3.14), (III.3.15) et (III.3.16) on a aussi, pour tout :

"    est borne dans "  

est borne dans

0 0  est borne dans "     

 0 

On applique alors le lemme III.2.10 qui permet dextraire des sous-suites de  : notes , et , vriant, pour tout

" '   faible- 4 "    #  faiblement " 4   0 fortement et presque partout "    0 faiblement     dans " '  5 5 faible- 4   dans " 4  %   faiblement    dans "   0 fortement et presque partout 0 faiblement   dans "     5 dans " '   faible- 4 dans "    faiblement  0  dans "    fortement et presque partout  0 faiblement    dans "     5 0 0    . Puisque converge faiblement vers dans lespace # On sait alors que    0 5 converge fortement vers lidentit, on a bien . Le principe est identique pour la vitesse ( 5 faiblement vers  dans ) et le tenseur des contraintes ( converge faiblement vers converge

dans dans dans  in 
 

 

,  

et

 , encore

dans 

).

Finalement, la convergence forte de la (sous-)suite permet de passer la limite dans les termes non /  / . Ceci prouve le linaires de (III.1.1), en particulier dans les termes quadratiques du type ou premier thorme.

 

4 Unicit de la solution
Dans ce paragraphe, on montre que la solution obtenue III.1.1 est unique. 5 dans 5 5le premier thorme  Comme habituellement dans ce cas, on considre et deux solutions du systme

 

68 (III.1.1) qui sont dans la classe du thorme III.1.1

Chapitre 3. Prsence dun terme diffusif en contrainte

5 2  "    5 # % "9'     5    "   %   % " ' 5   5   "     % "9'    0  0 #0 . La fonction scalaire 5  , la fonction vectorielle   5   5 et ayant mme valeur initiale    et le tenseur  satisfont les relations suivantes (on a juste fait la diffrence des quations pour chaque 5 solution) : 5 &   , Pour tout    7   5        7 5  5      (III.4.1)           5  5 
 
  
            5       
     div    5   5 9       (III.4.2)       5      !    5  & &    &    &   5 5 5     &     &   (III.4.3) 3 3    &  5   5 ( &    &  

avec des conditions initiales nulles.

Les fonctions de  tant continues (en dimension infrieure ou gale   trois), les rsultats de rgularit sur les solutions prouvent que,  par exemple, , et donc plus gnralement, il  on ait tel que pour existe +

 '  + pour 5 tout

 5   !   +  !  +  !  +

 

pour presque tout

1  

4.1 Estimation de la diffrence  

Prenons mobilit  (

$ 

5 

comme fonction test dans lquation (III.4.1). On utilise lhypothse (III.1.2) sur la

   #

 ) pour crire directement

  
  '

#


5 


5       !  5   
     '


   7  ! 5    



'

 


4. Unicit de la solution Lingalit de Hlder permet alors dobtenir :

69

 #  5        5         7 7      5 5  #         
       
      ' ' ' 7 '      La borne + sur les solutions impliquent lexistence dune constante telle que lon puisse majorer le second $   
terme de la faon suivante :

$ 

$ 

  

  

#  5 


 5

ce qui montre que le terme la forme suivante :

   5  5     5  avec                      #   7 #  et donc, on a 5    5   5    5   # 7 #   5         7       #   7 #       Dans le troisime terme 7 , une intgration par parties donne directement 5 5 5   5   5    5   +   5      et successivement, lingalit de Agmon 5 5 5  
  
  ' 5  et le lemme III.2.3 (avec la proprit remarquable ! 5 ) donne :   7#    #  '  5 ce qui se rsume 5   7 +  7 #     #     5 5 Dautres parts, on a :   
   !!     7
Dans les deux premiers termes

 7  7

et

, on : 5 peut utiliser 5 les ingalits de Sobolev 5 (lemme III.2.5) 5

     7     7    5           '   7     

est du mme type que

. Finalement, ces estimations peuvent se mettre sous

$ 

1  

  

#  5 




5         7      7 #   5 

5    #   7 # 5          # 7 # 5      #           

Lingalit de Young permet de rduire cette estimation dnergie la suivante :

# $         

$ 



     

5  # 7   

(III.4.4)

70

Chapitre 3. Prsence dun terme diffusif en contrainte

4.2 Estimation de la diffrence

De la mme faon, prenons  comme une fonction test dans (III.4.2). En employant lhypothse sur    , le fait que (lemme III.2.2) et lingalit de Korn (lemme III.2.7) on obtient :

$   $    

5 /  

5   /      ' 5      !     7   

5 

Puis utilisant une nouvelle fois lingalit de Hlder (proprit III.2.3) on peut obtenir la majoration :

$       

5 /  

Comme dans la partie prcdente, on commence par rduire cette quation en majorant les solutions et  par la constante + . Les ingalits de Sobolev (lemme III.2.5) vont permettre de majorer les normes   restantes laide de norme . Par exemple le terme se dcompose 5 5 ainsi :
     /    7  /         7   Le lemme III.2.3 avec la relation ! permet alors dcrire lingalit :      '  Alors en suivant les mme techniques prsentes dans lestimation de , on peut en dduire 5 $   5   /     /   7  /  $   5      5         5 7   5     5 7 #   # /                #   7  #          

5   /    7    5  

7 

/

  


     ' 

'

  5

 '

/

 

"

 
(III.4.5)

A nouveau laide de lingalit de Young, on a

$ ( $   * 

5 /  

     

  

# 

 

4.3 Estimation de la diffrence

Pour cette estimation, substituons $  5 $    

 

 Les termes qui vont sans doute nous poser le plus de sont les termes trilinaires du type 3  .  problmes   Nous sommes ici dans le cas gnral, donc et on peut, comme dans la preuve du lemme III.2.1, montrer assez facilement les deux galits suivantes :

  '

&

dans (III.4.3), on arrive assez rapidement

5   5      3 3
   5        '

5  / 5 
  3       3      /#   

 
   / 

5. Le cas particulier

71

Il suft ensuite dutiliser bon escient lingalit de Hlder (proprit III.2.3) aussi bien dans ces termes que dans les autres : $       5 $

 

  /  5    /  

A partir dici, la technique est la mme que celle applique pour avoir des estimations sur ou sur . On utilise les lemmes de Sobolev et la borne + lie aux solutions de sorte que lon peut crire (chaque terme tant trait lun aprs lautre en respectant lordre de lestimation prcdente) :

7    /   5 7 5 7        ' 7  ' 7  /     

 7

$ 

  

    

  

  

/ 

   /   

 

    /5    5 /          7 5   5     7      / 5    5   5 5                     

Finalement, lingalit de Young permet la fois dabsorber tous les terme de type /  de ne pas tre trop nombreuses : dimposer aux quantits 5 $ (         / 

 par

 , et

 * 





(III.4.6)

4.4 Conclusion
Pour conclure, il suft dajouter les estimations (III.4.4), (III.4.5) et (III.4.6) an dobtenir une ingalit du type





et

est intgrable sur (car la solution peut appliquer le lemme de Gronwall. La condition initiale tant nulle ( pour tout temps, ce qui prouve lunicit.

En remarquant que lapplication

       

5  # 7  5 

vrie  ), la quantit

" 4  0 ), on
restera nulle

5 Le cas particulier

Dans cette partie, on tudie le cas o le coefcient rhologique est nul. Le rsultat (voir le thorme III.1.2) montre que lon a besoin de moins de rgularit sur les conditions initiales an dobtenir un rsultat dexistence. La raison pour laquelle il ne faut pas monter si haut en rgularit pour trouver des solutions r side dans le fait que les termes quadratiques de lquation constitutive en sannulent (voir le lemme III.2.1). Ce modle pour lvolution du tenseur des contraintes (cest dire lorsque est nul) a t tudi dans le cas monophasique par P.L. Lions et N. Masmoudi [58].

72

Chapitre 3. Prsence dun terme diffusif en contrainte

5.1 Estimations a priori

En fait, il suft de reprendre ce qui a t fait au dbut de la preuve du thorme III.1.1. 5 On avait remarqu apparaissait dans les que les premires estimations ntaient pas sufssantes car 5 un terme du type  membres de droite alors que lon ne contrlait que  (voir (III.3.10)). Cette fois i, le coefcient tant nul, le problme na plus lieu dtre. On a les mmes estimations pour (III.3.8), (III.3.9) alors que (III.3.10) 5 devient maintenant : $   $       6       (III.5.1)

Ainsi, en additionnant les rsultats (III.3.8), (III.3.9), (III.5.1) on dduit (en utilisant lingalit de Poincar, lemme III.2.8) : 5 $   5   
$ 1           /.              

Dans ce cas, on peut crire o

      . Cette estimation montre que les suites  ,    temps   , respectivement dans  sont bornes pour nimporte quel " '   5 pour 4 "9'   0 pour  4 " '    0 pour  

  

5 

(III.5.2)

et

En utilisant ces bornes puis en intgrant en temps lingalit (III.5.2), on en dduit que

.      

"    est borne dans "   est borne dans "  

est borne dans

 5  5

5  

On doit maintenant, comme lors de la preuve du premier thorme, obtenir des bornes sur les drives en temps (ceci an dobtenir de la convergence forte pour passer la limite dans les termes non linaires). Le travail qui a dj t fait sur les drives (partie 3.4) nest plus valable maintenant car il supposait plus de rgularit  sur les suites , et que lon en dispose prsent. Dans le cas tudi actuellement, pour avoir de  . Ce bonnes valuations sur les drives, on va tre oblig de prouver que est borne dans  rsultat peut tre obtenu en utilisant lhypothse (III.1.7) supplmentaire. En effet, la dnition du potentiel . conduit

"  7

/.  5 5 On vient de voir que la suite  (III.1.7), les injections et bidimensionnel. On en dduit :

"


# 

De plus, concernant le dernier terme, puisque  satisfait  7   est " 7 borne. sont vraies la fois dans le cas tridimensionnel et dans le cas



 /.     

 

 

             7  7            

et on a nalement que :

est borne dans

"     7

5. Le cas particulier

73

 5 rguliers que dans la Drive du paramtre dordre : On peut alors montrer que si et sont moins  partie 3.4 alors on a des estimations de la drive seulement dans  . En effet, supposons que 5  soit borne dans   5  

5.2 Estimations des drives

"   "  7 &% " '     5  soit borne dans "   " #, On peut crire, puisque  5  5  5     div !  # #    

est de norme infrieure ) et ainsi, les deux estimations prcdentes montrent que

De la mme manire, en utilisant cette fois ci lhypothse de non dgnrescence de la mobilit  (hypothse (III.1.2)), /. 5  /.   div     Comme dans la partie 3.4, on isole la drive laide de lquation (III.3.4) et du projecteur (qui

!  

5  5    

En intgrant en temps le carr de cette estimation (utiliser

 0  

 Drive de la vitesse : De mme, pour lestimation de , on prouve ici un rsultat comparable (III.3.15) dans lequel on a moins de rgularit. On suppose seulement que 0      et on obtient clairement les bornes suivantes, loprateur 2 5    5 dans la partie 3.4 :   !  5     div !    5 5  /.    # /.       7  On sait (daprs le lemme III.2.2) que pour  5  , on a 5 5 5 5             5                  dans    : Ceci permet donc destimer loprateur    5     !      5 On utilise alors linjection      , ce qui permet dcrire       5     5        5  7     

 

 7      


 ) on en dduit
(III.5.3)

       0       0       0      

  est borne dans "    7 % " '   5  5     est borne dans "   % " '  0 

est borne dans

"   

ayant t introduit

(III.5.4)

74

Chapitre 3. Prsence dun terme diffusif en contrainte

Drive du tenseur des contraintes : Finalement, pour on a un rsultat similaire : supposons que


Les hypothses sur les fonctions et

5 "    5  soit borne dans "     

soit borne dans

(qui sont bornes) permettent davoir directement 5

 $     . Les ingalits de Sobolev permettent dafrmer que, si Pour simplier la suite, 5 xons un rel &   alors  &    " ' . Cette rgularit va nous tre utile deux reprises, dun part  &  div    & ' pour tout &  

ce qui implique

 5  5      5 5  !         

  

 
5

div

 ! 

et dautre part,

3   &

 
3 !       En utilisant nalement     (puisque  ) on peut estimer la drive dans   5 5 5                     

/ &   '

ce qui implique l aussi

  &        5  

pour tout

&  

Et enn, comme dans le cas de la drive en vitesse, on intgre en temps :   0

 0   0

  0


  0

            0
    




    0    

0


(III.5.5)

5.3 Passage la limite

Il ne reste plus qu regrouper toutes les estimations obtenues : les ingalits (III.5.3), (III.5.4) et (III.5.5) permettant davoir des bornes sur les drives :

"    est borne dans "  

est borne dans est borne dans

 5  

"      

Comme prcdemment (dans la partie 3.5), le lemme III.2.10 permet de terminer la preuve dans le cas En particulier, le dernier point du lemme III.2.10 assure les convergences suivantes :

 

  5 faiblement  0 dans 0     5   # faiblement,         faiblement  dans

dans

5. Le cas particulier

75

Remarque III.5.1 Les dmonstrations que lon vient dexposer sont du mme type que celles faites par F. Boyer dans [11] concernant des mlanges diphasiques newtoniens. Les techniques permettant davoir de tels rsultats dans les cas monophasiques visco-lastiques sont souvent assez diffrentes. Nanmoins, la preuve du thorme   III.1.2  ). En dgnre bien dans le cas o lon a un seul uide (cest dire lorsque est constante gale ou effet, on peut obtenir facilement une borne uniforme en temps. Si on reprend les dmonstrations, on remarque que le seul obstacle cette borne uniforme est le fait que linquation dnergie est du type

est issu des termes  (dans lestimation  pour ) et  (dans lestimation pour ). Lorsque est constante, une combinaison linaire des deux estimations (celle pour et celle  pour ) permet de compenser ces deux termes et davoir lestimation dnergie suivante :

Le terme

 5

" 

"

 5

On retrouve alors les rsultats du type de ceux noncs dans [58].

Preuve du corollaire
La preuve de ce corollaire se rsume en deux points : premirement en dimension deux, les injections de Sobolev permettent davoir de meilleures estimations (le cas de la dimension nest pas envisageable tant donn la mconnaissance de lexistence forte globale au seul problme de Navier-Stokes !), deuximement , on a dj obtenu une solution faible globale. lorsque Reprenons donc les estimations effectues dans la preuve du thorme III.1.1. Le fait que lon soit dans 5  pour le cas bidimensionnel permet dobtenir de meilleures estimations. Tout dabord, dans lestimation (voir la partie 3.3) on peut se servir de deux rsultats dus F. Boyer bass sur le fait que pour tout (en dimension deux seulement, nanmoins en dimension trois cette premire difcult peut tre contourne, voir [8]) :

  " '

 !     /.     6       

6 5


5      # 7             /.        /.  


Lestimation (III.3.11) scrit alors plus simplement :

$ 



 

Pour lestimation de dans (voir la partie 3.3), comme pour rsoudre lquation de Navier-Stokes, le terme qui pose problme est le terme quadratique qui en dimension deux peut se majorer de la faon suivante :

 #   

  .    

7      

  /.           # 

(III.5.6)

# 5 5  5             

    

        #      7   

# 


76 Ainsi, lestimation (III.3.12) devient :

Chapitre 3. Prsence dun terme diffusif en contrainte

5 $     $   

 





Et pour lestimation de , on reprend les calculs fait dans la partie 3.3 de ce mme chapitre. Dans le cas o , ils scrivent :

  

        

    #               #    #    

(III.5.7)

        '   # #  # #                                 On contrle les termes du type par la quantit #  #   an dobtenir : $   $         '  '     #  #    #  #               # #  # #        

$   $    

  '

Pour traiter le premier terme, on utilise le lemme III.2.4, ainsi que lingalit de Young deux reprises :

 '

 


$   $     

5     5          5       

 

  7 # 7  # 7             

Pour ce qui est des autres termes, les ingalits de Sobolev (lemme III.2.5) et celle de Young permettent darriver nalement une expression du type (les termes tant ordonns comme dans lestimation prcdente) :

5                  5                   
 

  5  5    5     



  6

(III.5.8)

Par exemple, le second terme a t major ainsi :

   

#     

 

 

 

        #   # # 5  5        

Remarquons que cette dernire estimation serait encore valable dans le cas gnral (dimension et ). Lestimation que lon avait trouve dans la partie 3.3 ntait donc pas optimale, mais elle tait sufsante pour avoir des solutions locales.

5. Le cas particulier

 

77

5           3           o lon a pos    5 On na volontairement pas dtaill les expressions de 3 et mais on peut remarquer quavec les rsultats obtenus sur les solutions faibles (voir le thorme III.1.2), ces deux fonctions demeurent dans " 2435  + .

Finalement, en ajoutant les quations (III.5.6), (III.5.7) et (III.5.8) on obtient une estimation du type

Avec le lemme de Gronwall, il est maintenant direct de dduire lexistence globale de solution forte dans le cas bidimensionnel, ce qui conclut la preuve.

78

Chapitre 3. Prsence dun terme diffusif en contrainte

79

Chapitre 4

Rsultats sans le terme diffusif en contrainte

Comme on la expliqu dans lintroduction de la seconde partie, le systme tel quil a t tudi dans le chapitre prcdent nest pas celui qui est attendu pour des modles de uides visco-lastiques. Habituellement, le modle dOldroyd ne suppose pas quil existe de la diffusion en contrainte. Cest dans ce cadre plus classique que lon va maintenant obtenir des rsultats. Plus prcisement, on prsente des rsultats dexistence (et unicit) de solution forte locale en temps (globale pour des donnes petites) pour les mlanges de uides non newtoniens de type Oldroyd en dimension .

1 Notations, hypothses et noncs des rsultats

1.1 Notations
Avant de se lancer $ dans les calculs et les estimations, rappelons le modle considr. On se place sur un  , ouvert born dont le bord est not et la normale extrieure . Le systme scrit :

         

    / 

div

div

- !  , ! /.

div

   7

          
o lapplication

   ' .  1    ' 0

 
div 


 !  3   !  !     0

(IV.1.1)

.       

avec

  -tenseur    

3
 

est dnie comme une application bilinaire valeurs dans lensemble des -tenseurs :

-tenseur

  !   -tenseur     

  -

 

80

Chapitre 4. Rsultats sans le terme diffusif en contrainte

Comme au cours du chapitre prcdent, on travaille avec des espaces prenant en compte les conditions aux bord du domaine :

et   muni de la norme         div  muni de la norme     pour           et    , les espaces 

et 
dsigneront les espaces duaux de  
et  
. On utilisera aussi la Pour 

projection orthogonale

de

" 

sur

et loprateur de Stokes

de domaine

0 %  .

1.2 Hypothses
Concernant les hypothses, ce sont globalement les mmes que pour le chapitre prcdent ceci prs que lon doit supposer plus de rgularit pour obtenir des rsultats satisfaisants. Plus prcisement, on supposera : La viscosit , le paramtre de retard et la mobilit  sont des fonctions rgulires, positives et bornes. Plus gnralement, on dira quune fonction satisfait lhypothse5 (IV.1.2) si : 5

'

drives bornes et il existe

Concernant le potentiel de Cahn-Hilliard

tels que

 

(IV.1.2)

5 
0    
0 il existe tel que

0        $    6 si $   o  si et   6 5
  5 
 

     

 


 7  
 7

, on fait les hypothses suivantes :


 
 

(IV.1.3)

(IV.1.4)

(IV.1.5)

La dernire hypothse, au sujet de la vitesse impose au bord du domaine, peut scrire de la faon suivante :  sur et div (IV.1.6)  

87

En fait, cette vitesse peut tre donne seulement sur mais on sait que si elle est y assez rgulire, on peut la prolonger en un champ sur , divergence nulle. La rgularit de ce prolongement dpend uniquement de la rgularit sur le bord (voir la partie 1.3 du chapitre 3 ou [53]).

1.3 Rsultats
Le premier rsultat que lon nonce est un rsultat dexistence (et dunicit) locale de solution forte. Ce thorme est exactement le mme rsultat que celui obtenu par C. Guillop et J.C. Saut dans [44] ceci prs que le uide possde ici deux phases dont linterface est gre par une quation de type Cahn-Hilliard. Thorme IV.1.1 5 0  , 0  , #0  , ,  , et Supposons (IV.1.5) et satisfait (IV.1.6). Alors il existe un temps problme (IV.1.1) tels que :

% 



(IV.1.2), vrie (IV.1.3), (IV.1.4), satisfont  7 au et une unique solution

8" '  5 % 

 % "    % "     " '   # ) " '      " ' 

0& 5  7 %  " '   % "   % "     5 " '   0 &   

1. Notations, hypothses et noncs des rsultats

81

Ensuite, nous nous sommes intresss lexistence globale en temps des solutions. Un tel rsultat a t prouv dans le cas de donnes petites. Pour ce qui est du paramtre dordre cette hypothse de petitesse 0
scrit est proche dun point mtastable (cest dire proche dun point o est convexe, voir gure IV.1.1). On obtient

0.30

0.30

metastable region

F IG . IV.1.1: Exemple dun potentiel de Cahn-Hilliard avec ses zones mtastables. Thorme IV.1.2
Soit  un point mtastable pour . Sous les mmes hypothses que pour le prcdent thorme, si en outre 0 #0 0 , , et  sont petits dans leur espace alors le rsultat du thorme IV.1.1 est vrai sur . De plus, , et restent petits.

        7

Remarque IV.1.1
Pour ce thorme, les hypothses concernant la mobilit  et le potentiel ne sont pas optimales. En effet, on peut seulement supposer que ces hypothses sont vraies dans un voisinage de . En particulier, ce thorme est vrai dans le cas suivant (trs usuel lors de considrations physiques) : 

pour

       
      log 

log
          .


Dans le cas dune drive en rotation propre (drive de Jaumann, cas ), le thorme III.1.2 ainsi que son corollaire sont encore valables dans le cadre de ce chapitre. Par contre on peut remarquer que  , la prsence du terme est indispensable pour le dans la preuve du thorme III.1.2 lorsque  contrle des termes non linaires du type .

On termine ce chapitre en dmontrant un rsultat de rgularit tous ordres. Un tel rsultat est prouv seulement dans le cas monophasique, mais il est fort probable quune dmonstration du mme type (mais nettement plus difcile comprendre !) fournirait un mme rsultat pour le modle diphasique que lon a tudi au dbut de cette partie. On sait quun tel rsultat ncessite des conditions de compatibilit. Celles-i sont entirement dcrites  , on obtient alors : dans la partie 5 (quation (IV.5.2)). Pour tout entier

 

Thorme IV.1.3 5 0 #0 Si et problme (IV.1.1) avec

  %

$ $" ' 



  % 5 % "   5   % 

vrient les relations de compatibilit (IV.5.2) alors il existe admette une solution vriant 5 et

tel que le

" '    

82

Chapitre 4. Rsultats sans le terme diffusif en contrainte

De plus, la solution satisfait les estimations sur les drives en temps suivantes :

     

 

       

5          % 0 )% "       %  " '   ! 5      " '    

2 Existence locale dune solution forte

Lors de la remarque IV.1.1, on a not que la mthode utilise dans la preuve du thorme III.1.2 (chapitre  prcdent) utilisait fortement la prsence du terme diffusif . On va donc tre oblig de changer de mthode. Pour cela, on sest aid de nombreux travaux qui ont t ralis dans ce cadre sans diffusion.

Dans [43, 44], C. Guillop et J.C. Saut  tablissent   lexistence dune solution forte unique du systme ou ), dnie pour au voisinage de (et dnie pour monophasique (cest dire lorsque tout temps lorsque les donnes sont petites). Dans ce chapitre, on prsente des versions diphasiques de ces rsultats. Leur raisonnement est le suivant : on introduit un problme linaris, laide de celui-ci on rcrit le systme (IV.1.1) comme une quation de point xe et puis on applique le thorme de Schauder dans un convexe compact appropri.

Notre dmarche va tre semblable, on rcrit le systme sous la forme suivante :

        

 %   
div

% 
,

div

         

 /. div  !   - 3  % 0

   %  % 
 % % 

div

 %  %  

div

div

.    
 !   0   .     % 

% %  %  %  !

0 

et il sufra de prouver que lapplication, qui la donne un point xe dans un espace bien choisit.

% %

associe la solution

7 , admet

Dans un premier temps, on va prouver trois lemmes distincts. Lun considrant uniquement le problme de Navier-Stokes, un autre concernant le problme de Cahn-Hilliard et le dernier au sujet de la loi de type Oldroyd.

2.1 Problme de Stokes viscosit variable

Pour ce premier lemme, on considre uniquement une quation de Stokes viscosit variable. On tudie ici le cas homogne (vitesse nulle au bord du domaine) et le relvement seffectuera dans la partie point xe

2. Existence locale dune solution forte (partie 2.4) :

83

 



0 
div
%

 

div

,

5
(IV.2.1)

Les hypothses qui vont tre introduites sur la viscosit par la suite. Lemme IV.2.1 Supposons que  %

5 ainsi que sur le terme de source

seront justies

Alors il existe une unique solution

5 5 "  5 "     ,  5   " '     , % "   " ' , 0 % 

et que de (IV.2.1) telle que

5 5 5 5 5 " " 5  , , " ,  

%

satisfait

.

    0

        0     

  5  

   0  5 0    5     0      0   5    %  

  0  5 

%   0        0  

5  0     

5 Remarque IV.2.1 Il sera important pour la suite dobserver au cours de la preuve que la fonction est croissante en 5 5 chaque variable. De plus, toutes les estimations seront indpendantes du temps . 5 5 5 5  peut paratre  Lhypothse superue tant donn que lon sait5 que si 5 5  5  et alors est continue valeurs dans . Nanmoins, cette  5 une dpendance 5 5 impliquerait donc de par rapport au temps. estimation nest pas indpendante de et 5 5 5 5 5 5  et  nimpliquent pas Il 5 est aussi de noter que 5 intressant ne sinjecte pas dans . car le produit

" "   
"  " 

"      

  

" "    "

"  

2.1.1

Preuve du lemme IV.2.1

La preuve de ce lemme se fait en plusieurs tapes. Puisque la rgularit demande sur la vitesse est assez leve, on ne va pas pouvoir obtenir des estimations directement aussi fortes. On va donc commencer par avoir des estimations plus faibles sur ainsi que sur sa drive en temps, puis par rgularit du problme de Stokes (voir par exemple [19]), on pourra monter en rgularit.

Estimation de dans 
 
 On utilise la mthode dapproximation de Galerkin-Fadeo et on nexpose ici que les calculs formels. On multiplie lquation par o est loprateur de Stokes (rappelons quil est dni pour tout   de Stokes ,  0 ). En dveloppant div 2 % , il vient par
  

% %

 

  5 


 

5  

Aprs intgrations par parties,

$      

tant borne, on a la majoration suivante

    

 

 !

84

Chapitre 4. Rsultats sans le terme diffusif en contrainte

Pour le dernier terme, le lemme de rgularit du problme de Stokes (lemme III.2.9) ainsi que celui de Poincar (lemme III.2.8) permettent dcrire :

 !

       %     
% 

6


' 

 

  

Les autres termes sont traits plus facilement et on obtient lingalit suivante : 5 $   5   %    %

 

 


 

 

Le lemme de Gronwall nous permet alors dobtenir la premire estimation

     0
puis en intgrant en temps



 5

0    5      0   

      

(IV.2.2)

     0



Estimation de la drive   dans En drivant lquation de Stokes (IV.2.1) par rapport au temps, on obtient une nouvelle quation de Stokes : vrie par   %  5   %   ,   div  div 

0   

     0

     %     0         0   - 
   - 
 

(IV.2.3)

     

    
div

0  

div

En multipliant formellement cette quation par  galit de Korn (lemme III.2.7) permet dcrire :

on va en dduire les estimations dnergie dsires. Lin-

$ 

    

5    

 5 5 5     

 %    '

 

  

et nalement laide du lemme de Poincar et de lingalit de Young, on obtient

$ 

 

       

 5  5  

 %     '

 

Aprs intgration en temps,

     0




       0



     %

5    0      0    

   0

  

(IV.2.4)

2. Existence locale dune solution forte

85

Estimation de la pression dans
An dutiliser la rgularit du problme de Stokes, la premire tape consiste obtenir de la rgularit sur le terme en pression. An disoler ce terme, rcrivons lquation de Stokes (IV.2.1) sous la forme suivante :
  

aurait

5   div %    5 5 5 5 5 5 5 5 5 5 ,"     assurent que ," ' 5     . ,"    5 et que Le fait que "  , prouv dans [57] p. 80, montre que " '  "  . Le rsultat dinterpolation     Linconvnient dune telle procdure est que lestimation obtenue dpend du temps  . Plus exactement, on


5  5   0    +  5    0       0       5 5 5 5 "   " va nous permettre Lhypothse supplmentaire une estimation o la dpen dobtenir

dance de la constante sera explicite. On crit, pour tout

puis en intgrant sur , en prenant la borne suprieure pour


5
 5     5   0
5   0  

Cette criture permet de voir que la constante apparaissant dans cette estimation est indpendante du temps . On verra que ce point est essentiel pour la suite.

5    5 

  , on a directement
5   0   

5  $ 

Les rsultats prcdents concernant la rgularit de

"    "  &% " '    



et  permettent 5 alors de prouver que

Daprs des ingalits de type Poincar-Wirtinger (voir [83], p. 14-15), on en dduit directement

    0

        0   

o la constante

5 5 5       0        0    %     0         0          0          0         0     

(IV.2.5)

est indpendante du temps .

Estimation de dans 
 
 On rcrit nouveau lquation de Stokes (IV.2.1) sous une forme diffrente :
    

,

5    %   %


%

 

 

Si on note + le second membre de cette galit alors cette criture nous permet dutiliser les proprits 5 Stokes (voir [19]) connues sur loprateur de 5 et en particulier de montrer que le champ de vitesse est   rgulier : avec les estimations suivantes :

" '  8  

%  &% "  %  7  0      +   0       0     +   0      

86

Chapitre 4. Rsultats sans le terme diffusif en contrainte

 . En notant que 5 ,  , "   +  Il ne reste plus qu valuer la norme de et dans  et sont dans " '  "  , le fait de les multiplier par les fonctions % , % qui sont elles mmes trs " " ' rgulires naltre donc pas leur rgularit. Il en rsulte que + est bien dans   . 5 Pour ce qui est de la rgularit "    de + , on peut montrer que le gradient de + est dans "   "  par des techniques semblables aux prcdentes. On dduit :   0 5               0     5   5   5     0         0         0       0      %    0        0          0        %  #  0         0      %    0        0        0        %  #  0          0       "  dans " ' 
(IV.2.6) Les estimations (IV.2.2), (IV.2.3), (IV.2.4), (IV.2.5) et (IV.2.6) permettent de conclure la preuve du lemme IV.2.1. Pour ce qui 5est de lunicit, lquation tant linaire, il suft de remarquer que si les conditions initiales alors les ingalits prcdentes prouvent que est identiquement nulle. sont nulles, et si

2.2 Equation de Cahn-Hilliard

Dans ce deuxime lemme, on va considrer une quation de type Cahn-Hilliard avec second membre :

  

 

 . 

! /. div     
 !  .  0      
div 

(IV.2.7)

L aussi, les hypothses sur le second membre seront justies par la suite. Lemme IV.2.2 Supposons que  0    , div , que 5  Alors il existe un temps dernire vriant

"

"  , "  "  , div "     ,  sur , div "      

# satisfait (IV.1.2) et que vrie (IV.1.3), (IV.1.4) et (IV.1.5). tel que le problme (IV.2.7) ait une solution unique sur  5 . Cette 

    0         0      0      0         0    div     0         0   div   #  0    

De plus, le temps

     div  

est donn par

 

avec

 0  0  #  

div

 0       

Remarque IV.2.2 5 L aussi, il faut remarquer que les fonctions part indpendantes du temps dexistence .




et

 0

sont dune part croissantes en chaque variable, dautre

2. Existence locale dune solution forte 2.2.1 Preuve du lemme IV.2.2

87

Exactement comme dans la preuve du lemme prcdent, la forte rgularit que ce lemme demande va nous obliger agir en plusieurs tapes. Les estimations que lon effectue sont en fait des estimations a priori et ne sont que formelles. Estimation de dans 

. On choisit comme fonction test dans la formulation faible habituelle du problme et on a directement
 

Par dnition de , en intgrant par parties et en utilisant lhypothse 

 .

div 

! /. . !  


div

. 



$


$  5

 

   

 /. 

 on a

   

On utilise alors le rsultats suivant (voir [8]) : sous les hypothses de presque convexit (IV.1.5) on a

 /. 




6 /.  

o lon rappelle que la moyenne ! prcdent). Lestimation obtenue scrit

 



   

! 

0   

est conserve au cours du temps (voir la partie 2.3 au chapitre

$ 



   

 5    !    .

! 

  /.    5  
 0     


(IV.2.8)

La rgularit que lon a obtenue sur indique que lon doit avoir aussi plus de rgularit sur (car mo . ). Ce rsultat ralement, intuitif ncessite lhypothse supplmentaire (IV.1.4) (croissance sous
polynomiale pour le potentiel ). Sous cette condition, on peut montrer que :

Estimation de dans 

 On choisit maintenant  comme fonction test dans lquation de Cahn-Hilliard. Ce choix est entirement justi dans le cas dune mthode dapproximation de type Galerkin, en ayant pris soin de choisir comme base de lespace , une base de vecteurs propres pour le laplacien. Aprs intgrations par parties du  mme type que celle faites dans le paragraphe prcdent, on obtient :
 



/.          

 

(IV.2.9)

      /  . $   div  ! div   . Daprs la dnition du potentiel , on a :  /.   !       !       !  

   
  (IV.2.10) div  ! 5  On fait apparaitre la quantit !    dans le membre de gauche et lingalit de Young permet alors la  majoration suivante : 5 $   5        div        $            '         
 !   
 !   '   

$ 

88 Concernant les estimations du potentiel

Chapitre 4. Rsultats sans le terme diffusif en contrainte

, on crit : et



! 

!
'



  
  !  7

et daprs lhypothse (IV.1.4), on en dduit :

!  !

 

 

 

   ! '  5  5      # 
 
 ! 


 

Lestimation dnergie sur

$
o

$ 

  

 5 

5      5   
         
      

devient alors :

 

 7 
 

 

div

  



   
 



(IV.2.11)

est une fonction croissante, continue et nulle en zro.

Estimation de dans

Dans ce paragraphe, on obtient une estimation lordre suivant. Prenant dduit tout dabord :

pour fonction test, on en

$    $    

 

/.  div  !

div 

div

5   Comme prcdemment, on dveloppe   : sorbtion      /  . div  !

! /. !     !     !  
 

 


 

(voir (IV.2.10)) an de faire apparaitre le terme dab-

  ! 

    
 

      !            !      
 !    !   
  
 !    !  
   





! 

En utilisant lingalit de Young, on trouve :

$    $    

 

 

On se sert alors de linjection de Sobolev  . Exactement comme ltape prcdente, on dveloppe le potentiel puis on utilise lhypothse (IV.1.4). Le dernier terme est le seul portant un lment linaire. On lestime de la faon suivante :

 div      '    
 5      

    '  

" '

'

    #'       5  '       #' 

 
 !!    '  
 !   !    
 !  


 
 


! ! 

# 

!    #  ! '  ' 
   !  '


 
   !    
   !   
   !       ' '     
   !      ' '  


 

! 


Les mmes arguments que ceux utiliss auparavant induisent lestimation :

$ 

  

5  

 

 # 

  

div

  

   7  
 

(IV.2.12)

2. Existence locale dune solution forte o

89

est une autre fonction croissante, positive et nulle en zro. Estimation de dans 
 Pour obtenir encore plus de rgularit, on choisit


    div  ! /.   7  div   7      /. : On dveloppe div  !   /.    7     !          !     div  !     !        7  !   !    !               !   !           !          !             !   1               !  7 !    

 !     
    !        
 !     !   !   
 !     
       ! !  !    
 !    !   
    
     
   ! !  !  !  
 !  $

On peut, pour y comprendre quelque chose, ne garder que les termes signicatifs, les autres tant dordre infrieur. On obtient :

$ 

pour fonction test :

div 

! /.

  !  7 

Aprs intgration, le premier terme donne daprs lingalit de Young, on trouve




$ 

 !       
     (IV.2.13) 7  dans le membre de gauche de lestimation. Encore 


       

7   

div

    ' 
 

  


!     

On ne dtaille ici que les termes signicatifs, les autres tant plus rguliers. Par exemple, pour le second on effectue une intgration par parties :

  '
 

 


 

 




7   

 
 #7

alors que le dernier est estim par

 !   !   6
# !    6
   !     
   !      
 !  
! '  
  
# ! '

 

   
# !     
   !  !      
   ! '  
div

   ! 
  !   7  # 
  ! '

  
(IV.2.14)

Les mmes types darguments quaux paragraphes prcdents prouvent lestimation

$
o

$ 

   

7   

     


est une fonction croissante, positive et telle que

Estimation de   dans 
Il est maintenant ais dobtenir une estimation de la drive en temps de . On crit

  

 
 7  
 7

div




div 

 . 

90

Chapitre 4. Rsultats sans le terme diffusif en contrainte

Un rsultat classique sur les quations de Cahn-Hilliard montre que la moyenne en espace de (voir paragraphe 2.3). Avec lingalit de Poincar et en utilisant lquation (IV.2.13), on trouve :

est nulle

   

  7
(

 

  

div

  

 
 7  
 7 

(IV.2.15)

Un premier bilan des estimations obtenues. Ajoutant les six estimations sur

 et en remarquant que les normes  et  sont quivalentes respectivement     la  rgularit                     (utiliser pour le montrer du   et         laplacien, lemme III.2.3) on obtient nalement :


 # 
 

     5   5  (IV.2.8) *  7   (IV.2.9)      5  ( (IV.2.11)     (IV.2.12) #     5  (IV.2.14)  #  5   (IV.2.15)

 

 div  !  

0   

(IV.2.16)

   
 ! et 
   5   5 ( i.e.  5  Le lemme qui 5 suit fournit lexistence dun temps tel que pour tout dans " '   # ). De plus, et  sont donnes par : 5 (  
0 0  div !          *  5  min   
o

   
 7 

est borne

Lemme IV.2.3 Soit une fonction de classe

, dnie sur



et vriant

Supposons que

soit une fonction rgulire et croissante, et que


"  "

pour tout

5  5  5 5 et 

soit intgrable sur

 , alors

min

 

Preuve du lemme IV.2.3 : An de prouver ce rsultat, considrons lensemble

Puisque a

 , il est clair que . Supposons quil existe  et comme est croissante, on dduit :    

  


tel que


"

. Pour tout

 , on

2. Existence locale dune solution forte Utilisant le lemme de Gronwall, on obtient :

91

5      5 5 " " Par continuit, il rsulte que est ouvert dans  . Il y est clairement ferm, donc on a  . "   5  5 Maintenant, en intgrant en temps lingalit (IV.2.16), on dduit une estimation de dans ainsi quune estimation de dans "    .   - /
 Estimation de   dans ." ' 5  0  . Puisque div  .   ! , les estimations prcdentes prouvent que

Daprs (IV.2.10), on a :

! /.     
 7   
    
   "   "  et que div "    "  on obtient une borne pour En utilisant le fait que div   " ' " div  dans   . Pour cela, on crit  div   $      div div div 0     : puis on intgre sur et on prend la borne suprieure pour      0 0          div    div    div    div   0    " ' 5  0 Finalement, on a  avec la relation suivante (en utilisant la monotonie de )      0    div   0   div     div     0   (IV.2.17)   
   0        0    
   0    

div 

     

div    div   

o la constante

est indpendante de .

Cette ingalit conclue la preuve de lexistence de solutions rgulires au problme de Cahn-Hilliard (IV.2.7). Il ne reste plus qu prouver lunicit dune telle solution :

5 5  Unicit Considrons et deux solutions du  , on effectue la diffrence   systme (IV.2.7). On note  . Aprs des calculs similaires aux prcdents, on a : des deux quations puis on multiplie par

$   $       5  

5  



 

5  '

 



5    5  


5  

 

 






  


On peut alors utiliser les bornes sur 

$      

ainsi que celles sur ses drives (hypothse (IV.1.2)) :

5     ' 

    

 

92

Chapitre 4. Rsultats sans le terme diffusif en contrainte

Pour ce qui est des deux premiers termes du membre de droite, on peut utiliser lingalit dAgmon [2] :

'

 7 #  

# 


    

5 $   5 $     1                 5   5  5 Pour conclure, il suft de remarquer que    "  et dappliquer le lemme de Gronwall ; les  conditions initiales sur tant nulles, est identiquement nulle.
2.3 Loi constitutive de type Oldroyd
Ce troisime lemme concerne lquation de la loi constitutive de type Oldroyd. Cest une quation de type transport et sa rsolution se fait laide de la mthode des caractristiques. Lquation scrit :

Les majorations tant videntes pour les autres termes ( laide de lingalit de Young), on en dduit :

 

 %   0 

 3  % 

 % 7

(IV.2.18)

On montre le rsultat suivant : Lemme IV.2.4 Si on suppose que

5 5 5 5 5 "  "  "  "  7 , ' ' %  ,  (%    5  %  (%  % 7  % " '  # 0    ,   , satisfait (IV.1.6) et que satisfait , alors le problme (IV.2.18) admet une unique solution telle que :

   0   

  0   

  7   #0    7    0    7    0       7     %    0      %     0      %    0    

(IV.2.19)

Remarque IV.2.3 5 On peut observer que la solution nest pas seulement 5 lhypothse sur le champ de vitesse %

 "  $   $   %     sur est continue en les deux premire variables, et  7

solution du type (voir [7]) :

" '     mais aussi    . En effet, %  7 permet dafrmer que la solution du systme :   sur 

en espace. On a alors une reprsentation intgrale de la

      $ 0  
0 7 3 % %  5 5 les hypothses    . Par ailleurs, Cette formulation nous permet den dduire que en ajoutant $ %    et 7   , il est aussi facile de montrer que   .

2. Existence locale dune solution forte 2.3.1 Preuve du lemme IV.2.4

93

Pour simplier les notations, on note, au cours de cette preuve, % vecteur dni sur louvert , divergence nulle et tangent au bord.

% 

de sorte que % est un champ de

Lexistence et lunicit dune solution au systme (IV.2.18) rsultent de la mthode des caractristiques. 5 5 Il faut tout de mme remarquer que cette mthode est gnralement utilise lorsque le champ de vitesse est    5 converge de classe 5 . On considre donc une suite % telle que % vers % dans lespace
0 0 dlments de convergeant vers dans . On considre aussi une suite  . Pour chaque entier , la mthode classique des caractristiques fournit lexistence dune unique so lution vriant lquation (IV.2.18). Il suft donc de prouver les estimations (IV.2.19) (lindice tant ici pour indiquer que les estimations considres sont celles concernant ), puis de passer la limite lorsque  . tend vers

"  

%  7

 7


Estimation de  dans Au cours de ce paragraphe, on note le produit scalaire dans  et le produit scalaire dans  de lquation (IV.2.18) par , on obtient :  %    %  

"

celui dans

  . En effectuant
 7

  en commencant par le dvelopper   %    %       %   %       , les Puisque % est divergence nulle et tangent au bord, le lemme III.2.2 permet dannuler %
On traite le terme
%

3

 %   %  2 %  2  %  2  %   %    et ainsi, puisque % est divergence nulle et tangent au bord, le lemme III.2.2 implique  %     %  

autres termes scrivent de la manire suivante. Pour le second terme (dans ce calcul, on utilise la notation dEinstein sur les sommations et on oublie momentanment lindice ) :

 %  '
%

    

De mme, le dernier terme scrit   %    %   

  %       %       %  

On en dduit lestimation

 

%       %     

       %  

'

% 

 On va ensuite obtenir une estimation du mme type pour 3 %  . Pour cela, on va montrer le   , les autres termes se traitant de la mme faon. On a % rsultat pour le terme

 7    


 %

 % '

  %     %     %     % 7    % '  

 

94

Chapitre 4. Rsultats sans le terme diffusif en contrainte

   %       %  

o lexposant dsigne des permutations sur les indices du tenseur en question. En remarquant quune telle permutation sur les indices ne change pas la norme dun tenseur, on en dduit

     %     %     %       '    7    % ' 

"

    %      

3

En ce qui concerne le terme

! %

%   2 % 5       %  % 
  %   %

% 

% 

 7    
     %  

, , il suft de le dcomposer en trois parties :

     %   %  %       %   %

On majore les quatre derniers termes en valeur absolue. Par exemple, en utilisant successivement linjection  et les ingalits de Sobolev (lemme III.2.5) le deuxime de ces termes scrit :

" '

  % 

%    !

  '   

 %   7 '   % % 7     %   %     !   

On peut regrouper toutes ces estimations sous la forme suivante :

  %      %   !     7       5 Lhypothse sur 7 ne nous permet pas de traiter le terme  7    comme lhabitude, cest--dire en "  utilisant lingalit de Young. En effet, puisque  7   nest pas en temps, on ne pourrait pas utiliser le  lemme de Gronwall. Par contre, en divisant par    , on en dduit une ingalit du type $  $    5     %  7    %     %   !    7  
$

$ 

    

 5

   

 %  7 

Une application du lemme de Gronwall nous donne alors directement le rsultat concernant lestimation du tenseur :


Estimation de    dans Pour ce qui est de lestimation de la drive temporelle, il suft disoler cette drive de lquation (IV.2.18) :    %  % %  3 

    0      #0     7    0   

       

      

       

puis de remarquer, en utilisant le lemma III.2.6, que lon a :

  0      %   0        0    3  % !  0       %   0        0     %   0        %   0   !   0     %


2. Existence locale dune solution forte

95

an dobtenir lestimation voulue sur :  

 0   

%   0 

        %   0            0  7 "('   " '   "  

 

  0   

(IV.2.20)

Passage la limite Les estimations (IV.2.19) prouvent que, quitte extraire des sous-suites, on a lexistence de telle que  faibledans 5 4 dans 5 faible- 4  p.p.  dans   dans (IV.2.18) ce qui prouve que est solution de (IV.2.18). On peut alors passer la limite An dobtenir les estimations, il suft de passer la limite infrieure dans (IV.2.19) en utilisant la continuit infrieure des normes avec les topologies faible et faible- . Quant lunicit, elle dcoule directement du fait que (IV.2.18) est linaire en .

2.4 Preuve de lexistence dans le thorme IV.1.1

Cest dans ce paragraphe que lon va rellement prouver le thorme IV.1.1. On se donne donc des donnes initiales rgulires : 5

0 0  #0 

0 

On dnit lespace de Banach et , introduisons lensemble

   "  

%    7



"    "  . Pour tout  , 5 ,

" '      0     0     

$"('  5 %   &% "   " '   # &% "    

 7

 5

  " '   0 0      0          0   0      

   0   
    0    0      0     0        0    7  

87  "('  0 )% " '   0 % "    5

tel que

5 "    
 

On considre lapplication

 7  % % %  

96 o ,

Chapitre 4. Rsultats sans le terme diffusif en contrainte

et

sont les uniques solutions des problmes (IV.2.1), (IV.2.7) et (IV.2.18) respectivement, avec
%

 %  %  div % %   %    div %    %     7 de lapplication sera solution du problme initial (IV.1.1), En remarquant quun point xe

%  5    % %   % 7
5

il ne reste plus qu trouver un point xe ! On va appliquer le thorme de Schauder lapplication cela, on va montrer successivement (i) dabord que +

. Pour

 7

(ii) puis lexistence dun temps

est non vide pour

 , 7 assez grands et pour tout  , assez petit pour que + 5 7 + 5 7 ,  

(iii) et enn, que est localement convexe, que + est convexe compact (ces deux points sont justis par les dnitions de et + ) et que est une application continue.

5 donc trouver un lment qui soit dans + La premire tape consiste

quitte choisir les rels

et

grands.

 7

pour tout

 ,

Etape (i) Considrons

et

les solutions sur

des problmes suivants div

    0     


,

En sappuyant sur les dmonstrations des lemmes IV.2.1 et IV.2.2, on prouve facilement quil existe une constante telle que pour tout temps on ait :

           0   0       0         0      0     0     5  0 5   ,    0  # et 7  5  0   alors   #0 Ainsi, si lon choisit pour tout  Donc, pour ,  et 7 sufsamment grands on a +  7

    0

 

    0

  0 

0  #
+

 7 .

Etape (ii) Cette tape dcompose en deux parties. Dans la premire, on obtient des estimations sur les termes 5 , se et de sorte que lon puisse appliquer les lemmes IV.2.1, IV.2.2 et IV.2.4. En fait, on va sources  montrer que les termes sources sont un peu plus rguliers en temps que ce que lon demande 5 dans chaque 5 de mettre en place la deuxime partie de ltape qui consiste trouver ,  , et lemme. Ceci permettra + tels que soit stable par .

2. Existence locale dune solution forte Estimation de : La rgularit qui est demande sur

97

5 5 5 5 "     5 "      5 5 5 "  " et 5 "   5 est un peu plus rgulier en temps. Rappelons tout Comme on vient de lexpliquer, on va montrer que
dabord sa dnition :

dans le lemme IV.2.1 est la suivante :

5    %  % 
%  % % + %  %     0   

Si lon suppose que

 
div
%

%  2   alors en utilisant le lemme III.2.6, le produit % %    %    0      %    0        

div

% 

 % 

 

div

vrie

La mme mthode nous permet de vrier que les autres termes sont aussi rguliers :

   0      7  %   %  !    0       %   #  0        % !    0 % !   div 2       2  0      7

5     #        7    %   

Remarquons que pour la dernire ingalit, on a utiliser la relation suivante :

%    %  %     %  %  %    % 2      %        % #       % ' ' # '     '    5 5 "   On trouve nalement que   avec : 5 5   0          /     7    #    7  % !   2  

(IV.2.21)



  7 

Pour ce qui est de la rgularit de la drive en temps, on a par dnition

5  De nombreux termes sont beaucoup plus rguliers que ce qui est demand. Si on crit 3 o correspond aux termes de la premire ligne de (IV.2.22) et 3 ceux de la seconde ligne :    %  %    %  %  div %   div  % %  % %    %  %    3 5 vont tre non seulement   en espace mais aussi "  , ce qui facilitera lestimation du 5 de Les termes . Commenons par lestimation de dans "  . On utilise comme prcdemment des rsultats produit

5  % %   %  %      div  ! % %   div  %   %   %    % 

(IV.2.22)

98

Chapitre 4. Rsultats sans le terme diffusif en contrainte

dinterpolation et de produits despaces de Sobolev (lemme III.2.6) qui permettent dafrmer que

%   %  0   %  %   0   % div  0   



 

En dveloppant le terme div

Pour , on a donc obtenu une estimation du type (on indique ici la dpendance de chaque constante car il est essentiel dobserver que celle devant  ne dpend ni du temps , ni des constantes ...) :

div

%  % , on a de la mme manire  %       7    %   0   

0     %  0    
   %      7  0   


%

 0  

  0    %      







  7 

    0

 

Les termes de 3 se majorent alors de la faon suivante :

5      +  7

 7
5

 %     0    %      0   

 

  % 

  0   %

 0 


5

On trouve donc

En ajoutant les estimations de

5  0   

Quant au produit 5 est clair que

5 3 Pour ce qui est du produit

le lemme III.2.2) :

"  

55

5 5 "     4  avec lingalit : celle de 3 , on obtient       5 7  7  (IV.2.23)    5 5 5  5 5 5 3 . Puisque "     et "    "  , il " , il scrit avec lestimation : 5 5    0      0      0   

3     0     

5 

  0       0    

5 

5 

  

   

5

   

Puisque % et % sont tangents au bord du domaine et divergence nulle, on utilise lantisymtrie de par rapport aux deux dernires variables (lemme III.2.2) :

5 3

, il suft de remarquer quil scrit laide de lapplication trilinaire (voir

% % 

5   

% 

% 5  

 5 3  % 5 % 

% 

5 5 5 %  " "    

2. Existence locale dune solution forte Il en dcoule lestimation suivante :

99

 5   0   %   0    5  0       0     5 5  3 , on a : En additionnant lestimation de ainsi que celle de 5 5   5   0          0    0       5  3    0  

5 lestimation de 5  , on pourrait lcrire comme un consquence directe des estimations Concernant   de dans  et de dans . Une telle estimation serait dpendante de , ce que lon ne souhaite pas ici (voir la remarque IV.2.1). On prfre crire :

"  
5  

"   

 0  #7 

5 5 5  #0     0  #    #      0         0  7    

domaine). Plus prcisemment, on a les estimations suivantes :

"       sur 7 " "      div    "  " "    et div   div   % %  donc div  %  % % . Il est clair que si %  % % + Rappelons que   alors toutes ces estimations sont bien vries (en utilisant en particulier le fait que sur le bord du
5   %    0    %    0       5  div     0       %    0      %    0       % 5   %    0 %  %  0         0         % %  5      0 % %       0      0         0  0    !  7 div 

Estimation de : Pour le terme source de lquation de type Cahn-Hilliard, les hypothses du lemme IV.2.2 requirent :

     0

 

Estimation de : Enn, pour le troisime terme source, apparaissant dans le lemme IV.2.4 :

on a, pour

  6  7    0  

ou

 

   , lingalit  % !   0     5 % !   0     % !   0       7 

7  % %  

 % !   0     ! 

An de contrler la norme de (IV.2.21)). On obtient

dans

 

 % !  

on utilise la mme mthode que pour

 

(voir lestimation

 

100

Chapitre 4. Rsultats sans le terme diffusif en contrainte

 On en dduit que, si %

% +   % "      avec 7 " '  5  7    0      7    0            7 

%

alors

Deux autres remarques sont ncessaires avant de pouvoir appliquer les trois lemmes. Tout dabord, il faut  % % + alors  %  et %  vrier que si % : ce sont les hypothses % est assez rgulier. On a qui sont ncessaires dans le lemme IV.2.1 pour montrer que % 2

" '  

 %    
 0   

"  " '

et pour la seconde estimation, grce des rsultats dinterpolation

"   5 " '  "('    0    # " 7  9 on en dduit que % "   " ' avec 5 5 5 % % 7   # %     # %    0  0 0 0           

 # 

La seconde remarque provient du lemme IV.2.2 dans lequel on a vu que mme5 si la fonction source  tait dnie sur alors la solution nexiste coup sr, que jusqu un temps . Pour contourner cet handicap, il suft de choisir assez petit. En effet, si vrie

    0  0    5 # 5    0  0   alors, en utilisant lingalit  div       et la croissance de   variables, ceci implique       0  0 0         #  div    

  

(IV.2.24) en chacune de ses

Dornavant, on prendra assez petit pour vrier cette condition (IV.2.24) et on pourra donc appliquer les rsultats du lemme IV.2.2 sur .



5 pour On a donc maintenant tout en main appliquer les trois lemmes IV.2.1, IV.2.2 et IV.2.4. En utilisant les estimations des termes sources , et , et le fait que toutes les fonctions sont croissantes en chaque   + ds que variable, on peut afrmer que 2

 

 

 

 0   ) %      +  %   0    %  %   + % div  #   5    #0   7   7     

5 

   

 + % 5  

# %    

5  

  7 


5 

  7



7
5

Dans ces estimations, on a introduit deux notations. Les constantes notes % % ou alors que les constantes ne dpendent pas du temps :

5 ne dpendent ni de , ni de .

 7  7

2. Existence locale dune solution forte

101

5 En utilisant encore une fois la croissance des fonctions en chaque variable ainsi que la non dpendance de ces fonctions par rapport au temps , il est clair quil suft de choisir trois constantes positives ,  et vriant les ingalits strictes pour :



 

5  

    0  #    7  0    


 0  

5  

div

   
5  5
,

 

5 



  7 

 

Ainsi, on choisit successivement dun temps tel que +

 + et 7 .



  7 

  7



7

vriant ces estimations, et enn on en dduit lexistence

Etape (iii) + est convexe et ferm dans . De plus, daprs le thorme dAscoli, + est relativement Clairement compact dans , voir [81].

0 . Les fonctions  et sont dnies par    , 5  % % %  div div %   5 %   ,  % % %  div  div 2  En effectuant la diffrence, en posant et en multipliant lquation obtenue par , on en dduit : $  5 5 5  5 % % %  5 % % % $          '  %  %        5 $  5 5 5  5 % % % %     % % % $          % 
  !  5 5 5 % % %   % % % Il 5suft alors de prouver que est dni dans notre cas par : converge vers 7 dans . Pour ceci, on rappelle que 5 7      div       div !   et " '     Daprs la rgularit de % , les suites % et % sont bornes dans " '       respectivement. Daprs les rsultats dus J. Simon [81], on en dduit que % admet une limite dans   , qui   %    par identication est gale % . De mme, % converge vers % dans  7 , , et ainsi le produit %   % dans   . Les autres termes converge vers % se traitent de la mme manire, en remarquant en particulier " % converge vers % dans % % que  et que div converge vers div dans  . 0 On prouve ensuite que converge vers dans  . Les fonctions et sont dnies par :   % %   div  /. div     . div % ! %  div  
On montre dabord que  converge vers dans

+ dans : supposons que Montrons maintenant la continuit squentielle de lapplication de   % % % % % % vers  soit une suite de + convergeant dans . Si on note   et    7 les images % % et % % % respectivement alors il suft de montrer par de %    converge vers 7 dans . que

102

Chapitre 4. Rsultats sans le terme diffusif en contrainte

, comme dans le cas de lunicit En effectuant la diffrence puis en multipliant par du lemme IV.2.2 % % converge (except le membre de droite qui diffre dans les deux quations), il suft de prouver que % % dans  . En revenant la dnition !   , il est clair que  la mthode utilise vers   prcdemment fournit le rsultat.

"

Pour ce qui est de la convergence de vers dans  , le principe est identique : les quations dnissant % % converge vers % % dans et tant linaire, on peut remarquer quil sut de prouver que  , ce qui rsulte encore une fois des injections dues J. Simon [81].

"

"

3 Preuve de lunicit
Dans cette partie, on montre que la solution obtenue prcdemment est unique dans la classe des fonctions rgulires. Plus prcisment, on prouve le rsultat : Thorme IV.3.1 Soit . Le problme (IV.1.1) admet au plus une solution

 " '  5 %   &% "   5 %  7  " '  0 % "   " '   0 % "     " '   # % "     5   5

dans la classe

" '    

" '    

5 5 Preuve : Comme consiste effectuer la diffrence entre les quations vries par  5 dhabitude, la mthode 5  Un 5 5  le thorme. deux solutions  et  vivant dans la classe spcie par calcul similaire        5 a t men dans le chapitre On a vu que les diffrences , 5 prcdent.  et  & vrient pour tout  ,  et tout ,

7     / 
 

5    /  
 div     5  5   9            5      !  

5       ! 5  5                5 
 5  
 
           5 &    9 &   &  &    5 5 5     &  3 /  3     & 5 &   5    ( &   ( 

4. Preuve de lexistence globale donnes petites

103

&   2 En prenant   chapitre prcdent : section 3.4) : $ $ (   *  

comme fonctions tests, on en dduit (voir la preuve de lunicit dans le

5          #  /      5 $      #            $ 1        $ ( 5 5   $  *                            
En ajoutant ces trois quations, on obtient lingalit dnergie suivante :



 # 7   5   5  5 /     7     

$ ( $        *  # (        *       5 5 5 5 5     # 7             7      est dans "  o # + . Comme les valeurs initiales       , et sont nulles, le lemme de Gronwall permet de conclure.

4 Preuve de lexistence globale donnes petites

Pour ce qui est de lexistence globale, on ne peut pas esprer obtenir de solutions fortes en dimension compte tenu du fait que le problme nest lheure actuelle pas rsolu pour le seul problme de Navier Stokes ! Dans le cas de la dimension , lquation de Navier-Stokes nest plus un obstacle, voir par exemple [25, 83] mais aucun rsultat de type existence globale (avec donnes quelconques) nest connu pour les modles monophasiques. On va donc se restreindre ici au cas o les donnes sont petites. Dans ce cadre, les rsultats connus actuellement sont plus nombreux non seulement concernant lexistence de solution forte globale pour lquation de Navier-Stokes mais aussi pour un systme couplant lquation de Navier-Stokes et la loi constitutive dOldroyd (voir par exemple [33, 44]). Dans [44], C. Guillop et J.C. Saut prouve lexistence globale donnes petites en supposant en outre que le uide est peu visco-lastique (ce qui revient pour nous imposer petit). Dans [33], E.F. Cara, F. Guillen et R.R. Ortega saffranchissent de cette hypothse mais prouvent seulement une existence sur pour tout (pour des donnes plus petites que + , o tend vers lorsque augmente...).



On va dans cette partie prouver que cette hypothse de uide faiblement visco-lastique peut tre supprime. Dautres travaux trs rcents [64] montrent (dans le cas monophasique seulement) par des mthodes diffrentes de celles proposes ici, que cette hypothse est effectivement superue. Par ailleurs, on se place toujours dans le cas diphasique et il faut donc supposer que les donnes en sont petites. Plus prcisem0 ment, lorsque lon parlera de donnes petites, on supposera que est proche dune constante telle que

(cette hypothse est classique, on dit que est un tat mtastable pour le potentiel ). On prouve alors (voir le thorme IV.1.2) :

Thorme IV.4.1 5 0  , 0  , 0  , ,  , et satisfait (IV.1.2)

,
satisfait (IV.1.3), (IV.1.4), Supposons que (IV.1.5) et que satisfait (IV.1.6). Soit  un point mtastable pour le potentiel . 0 # 0 0  sont assez petits dans leur espace alors le rsultat du thorme IV.1.1 est vrai pour Si , , et  , et restent petit. tout temps. De plus,

% 



    

 7

104 Preuve : Par dnition de , on a suppos que rgulires, on sait donc quil existe un voisinage
telles que considrer des fonctions ,
1 2 3 4

Chapitre 4. Rsultats sans le terme diffusif en contrainte



de


ainsi que  . Les fonctions et  tant

 dans sur lequel et  . On peut donc



#    

est convexe et toutes ses drives sont bornes sur



et

sur

Il est alors clair que  satisfait (IV.1.2) et que vrie les hypothses (IV.1.3), (IV.1.4) et (IV.1.5). De plus,
la convexit de implique que lon peut choisir dans lhypothse (IV.1.5),

et

  

Dans la suite de la preuve, on va travailler avec le problme modi, cest dire en remplaant  et par
 et . Puisque lon va montrer a posteriori que reste proche de (et plus prcisement dans le voisinage ), la solution obtenue pour le problme modi sera aussi solution du problme initial (voir un argument analogue dans [8]).

On sait trs bien que pour montrer une estimation donnes petites, les termes non linaires ne sont pas gnants (  tant contrl par au voisinage de zro !). Cest pour cette raison que lon rcrit le systme (IV.1.1) sous la forme suivante :

 

div

 

   - !  !   7      div  ! /. div    .    

 !

 

div

! ,

div

  5

(IV.4.1)

(IV.4.2)

(IV.4.3)

avec les conditions :

et o lon a dni :

 5      /      7  7 3
/  ! 

 #0    .
div

On va commencer par dmontrer des estimations dnergie sur les solutions de (IV.4.1), (IV.4.2) et (IV.4.3) :

5 la vitesse. 5 Etape 1 : Une premire ingalit denergie sur  Reprenons lestimation de dans le produit scalaire de (IV.4.1) par . Elle scrit dans notre cas : 5 $   5

   

" '  &% " 

%  

(partie 2.1.1) obtenue en effectuant

   

    '   

div 

(IV.4.4)

4. Preuve de lexistence globale donnes petites Etape 2 : A propos du modle diphasique. En fait, on peut voir quen utilisant les termes coupls div dans (IV.4.2) et (IV.4.1) peut mieux faire : en effectuant les produits scalaires dans  : les ajoutant :

105

"

! dans (IV.4.1), et (IV.4.2) , puis on en

$ 

  

   

5 

 5  



 5   7 div 

A laide dune intgration par parties, les termes coupls scrivent :

div 

! 

! 

 (

En utilisant le fait que (voir le lemme III.2.3) :

'  


! '   !!        0 '

0   0 

on obtient :

$ 

  

    

  5    

 5      0   7   

 '  

(IV.4.5)

De la mme manire, en drivant par rapport au temps les deux quations (IV.4.1) et (IV.4.2), on montre un rsultat similaire concernant et . La seule diffrence venant essentiellement des termes

div

et

apparaissant respectivement lorsque lon drive les quations de Stokes et la loi dOldroyd. Multipliant le premier terme par puis intgrant sur , on trouve

          div   !           !          !             5   
    5  !    5                   
     5       7    5                Concernant le second terme, on le multiplie par puis on intgre sur :                ! (       7            7    



 

 
 

106 On obtient ainsi

Chapitre 4. Rsultats sans le terme diffusif en contrainte

$ 

              

 7 5  5

     5               7                  5          5    5        5   5  
       7 

   7     0 '   


        5  


(IV.4.6)

 

Etape 3.1 : Contrle de div . 0 Rappelons que est le projecteur orthogonal de  sur . Nous allons maintenant obtenir une estimation sur div . Dans ce but, on commence par appliquer loprateur div lquation (IV.4.2). On applique ensuite la projection de Leray pour en dduire :

"

div

-

 

div

div

 !

Dautres parts, on estime

 !     ! 

div

div

 7  

 !    

en projetant lquation (IV.4.1) :

! 

div

 5    !    

Lquation en

div

devient alors div

div

  

 

 !  

 ! div   div      div 7  !          5      ! ! 

(IV.4.7)

Lemme IV.4.1   div Dans le membre de gauche, on a volontairement laiss le terme bilinaire   & & dcrite dans le lemme III.2.2. On crit : la relation dorthoganilit

 

en esprant utiliser

div

 

div

 + 

On va montrer dans ce lemme que lon peut majorer le reste de la faon suivante (voir [74] p.42)

Preuve du lemme : On dcompose div que div . On a alors

 

  

+ 

 o  est divergence nulle et tangent au bord de sorte

   / '

div

   

 "$     4   

  + 

   4

avec les relations :

        4 /  

donc

    4

/  4  

4. Preuve de lexistence globale donnes petites

107

      

On en dduit :

donc

"%$ 

"$    +

   

 

div

 "$         "%$ 

    div  

/  4    /#  

div

div

Lestimation du reste est alors immdiate. On multiplie (IV.4.7) par

$ 

div

puis on intgre. On trouve ainsi :

div

 %   

div 

      0     7

5  

'

5    

Etape 3.2 : Contrle de Puisque lon a

     5       div 7      

  

(IV.4.8)

une estimation sur div permet den avoir une sur  (lemme III.2.9), une borne sur :

 

div

-

 5    !   

(IV.4.9)

   

  


    0  

 


 et donc par rgularit de loprateur de Stokes

' !  
 

div

5      

       


5 

(IV.4.10)

Etape 3.3 : Contrle de . On fait lopration suivante :

$ $ 

$   5      

(IV.4.2)

de faon trouver :

/ ' 

Mais en utilisant lestimation concernant

5           

  


/ ' 

    

On peut alors absorber le terme estimation du type :

$ 

  

div

   

         7  '  (IV.4.11) 5   0   !     5    
       div  '     (IV.4.8)  % (IV.4.11). On obtient une div  en faisant la somme          5     5   5    div   7 7     (IV.4.12)  5   
   0                '     


 


   '


    '

     7 

   

(ingalit (IV.4.10)), on a aussi :

   '

108

Chapitre 4. Rsultats sans le terme diffusif en contrainte Etape 4 : Et on refait un tour... Avec des arguments similaires ceux prsents dans les tapes prcdentes, on commence par appliquer  (IV.4.1) on trouve : div lquation (IV.4.2). Daprs

$  

div 

 

        div   5       #   
       7    

 0 

'       7       5         div 7
   

Remarque IV.4.1 Au cours de ce ce calcul, on sait seulement que  . Il ne nous est pas autoris a priori deffectuer  div  . En fait, ceci est justi par rgularisation lopration comme nous lavons fait au cours de la preuve du lemme dOldroyd, partie 2.3.1. Lexistence de solution rgulire tant prouve par la mthode des caractristiques.

$" ' 

Ensuite, on peut obtenir une estimation pour (IV.4.9), on trouve :

par rgularit du problme de Stokes. Daprs lgalit

  7 
En calculant

$ 

 

  5    

 

(IV.4.2)

5   div          0   ! '  

 

 7

, on a :

   5   


 #

5    

(IV.4.13)

 

/ 

'

  5 

5    '


  

  #            7  '  ' 7 5 5  7       #'       div 



ce qui combin lestimation de

$ 

 

   

      div      div    5 5 5   7            7      
 #        
   0            5  ' 7  

div

 donne :

(IV.4.14)

Ainsi, en ajoutant (IV.4.12) et (IV.4.14) on obtient :

$ 

5  

5    5  5 div    #     div     5 5   7            7         
   0        '  

 #  7 

  

  5 

(IV.4.15)

Etape 5 : Estimation sur lquation de Cahn-Hilliard. Cette quation (IV.4.3) a t tudie lors de la preuve du thorme dexistence locale (thorme IV.1.1), plus prcisement dans la partie 2.2. Dans le cas prsent, on peut utiliser le fait que le potentiel est convexe,

4. Preuve de lexistence globale donnes petites cest dire que  (IV.2.16) scrit :

109

 0

. De plus, ce potentiel ainsi que toutes ses drives tant borns, lestimation

$ 
 7 

$ 

 

 

 
  

  !     
 #7   
  7 

 div     
   7

(IV.4.16)

5 Etape 6 : Estimation des termes source. Avant de regrouper toutes les ingalits obtenues, il faut estimer les termes ,  et . Un calcul assez rapide (utilisant essentiellement des produits despaces de Sobolev, lemme III.2.6 comme lors de la preuve du thorme dexistence locale) montre que : 5       7   
 #           #    div           
       
   5    7         7       7    
 # !  7  et pour ce qui est des drives en temps :  5     5         5  
   5         7                       7     7 5      

5 5   

 
 # !  7 

 5   5  5      

Etape 7 : Bilan et conclusion. En effectuant la somme des estimations trouves lors des 5 premires tapes :

 #5 

 (IV.4.4)

 (IV.4.5)

# 

 (IV.4.6)   # 0  

(IV.4.13)

(IV.4.15)

(IV.4.16)

ainsi quen utilisant les bornes ci-dessus pour les termes

, on obtient une inquation diffrentielle du type 5 5  5    

avec (en oubliant les constantes !)

faut noter que les constantes utilises dans les estimations ne dpendent pas de sur tout intervalle , , on prouve que :

5   
   div  
7 ! 5    
 div   
  
     7    #  La fonction est continue et nulle en zro (en fait, le produit contient tous les termes non linaires). . 55 5 !  Le lemme suivant prouve que si , et sont assez petits alors reste petit sur lintervalle    (il Par consquent,  est petit et on peut nouveau utiliser le thorme dexistence IV.1.1 sur  

  5         7       55   7  0 

     5     5   ' et 

$" " "

  ' 5 &% '  # &% '   

 ). En rptant cet argument

" 24 35 " 2435

5  7 %  " " 24 35    " ' "  

5 ' 0 & % " 2:35  



110 Il suft alors pour conclure de montrer que :

Chapitre 4. Rsultats sans le terme diffusif en contrainte

8" ' 5 %    " '  0 et " '   5 %   , on procde comme dans la preuve du lemme IV.2.1 : on crit Pour prouver que " ' dabord       div   /+  div !    " " ' ce qui implique que  . Ensuite, rcrivant la mme quation en faisant apparaitre lopra
teur de Stokes , on obtient le rsultat dsir (voir la dernire partie du paragraphe 2.1.1). Daprs lestimation (IV.2.17) avec div  quantit . De mme, lestimation (IV.2.20) avec la drive . Lemme IV.4.2 Soient et deux fonctions de classe

  , il est trs facile de conclure en ce qui concerne la !  permet dobtenir le rsultat au sujet de 7

Supposons que soit continue et    . Si  alors : que

, dnies sur

et



et vriant :

tant deux constantes positives. Soit

un rel positif tel

sur

 

Preuve du lemme IV.4.2 : Raisonnons par labsurde en supposant que  . On a alors + et On pose linquation diffrentielle en , on trouve :

  


 ne soit pas vraie.   . De plus, en valuant

sur

Puisque

+

+
on a

et daprs le choix de

+

! 

. Ce qui fournit une contradiction.

5 Rsultats de rgularit
Dans ce paragraphe, on sintresse aux proprits de forte rgularit des solutions, en supposant au pralable que les donnes initiales ainsi que louvert sont sufsamment rgulires. On  dmontre ici lexistence de solutions trs rgulires dans le cas monophasique en prenant par exemple dans (IV.1.1). Il y a deux raisons pour le faire ici : dun part, les preuves dun tel rsultat sont essentiellement identiques la preuve du thorme dexistence locale IV.1.1. Dautre part, de tels rsultats seront utiliss au cours du chapitre suivant, concernant uniquement le problme monophasique. On tudie donc le problme ( dans (IV.1.1)) suivant :   ,   div div (IV.5.1)    3    0 0 

  

  Au cours de cette partie, on notera la drive  . Par ailleurs, pour   ,        , 0 #0 donnes sont compatibles si, pour tout 0   sur 2

on dira que les

(IV.5.2)

5. Rsultats de rgularit o

111

0  
  

    0

est dni par rcurrence sur :

5 5 5   5                     0 0 0  div 0 0  0   5  0        0     0        0       0     0   0   3

5

0     

On est ainsi en position dnoncer le thorme de rgularit : Thorme IV.5.1 5 0  . Si 0 Soit , et vrient les relations de compatibilit (IV.5.2) alors il existe tel que le problme (IV.5.1) admette une solution vriant :

 

  

 %



$" '    %


% "    

 %

et

" '    

De plus, la solution satisfait les estimations sur les drives en temps suivantes :

5          0  " '      % 5 &% "       % 0     " '  !            La dmarche est exactement identique la preuve du thorme dans le cas . On commence par noncer

     

deux lemmes concernant deux problmes linaires lis au systme. Le premier, pour lequel on ne donnera pas la preuve, est montr dans [13] ainsi que dans [85]. Lemme IV.5.1  . Si on suppose que Soit

  ,    , 5 5 5                       0 , sur pour tout  ,  o 0 est dni par 0 alors il existe une unique solution au problme de Stokes suivant       5 div 0       , Cette solution vrie, pour tout  , 5          0          0   0     0      0     

pour tout

  5    "     5  0 % , 0 



5 5 et

vrient les hypothses suivantes :

Lemme IV.5.2  . Si Soit 5

, % et 0 vrient      " '   "     ,  5 5   5 8  "    % , % " ' % #0   ,

      pour   ,    ,   0 %     pour   ,   

112

Chapitre 4. Rsultats sans le terme diffusif en contrainte

alors le problme



admet une unique solution

Concernant lestimation des drives en temps, on a aussi, pour tout

  ,      ,    0    0       3            0    %    0         0        %   0      %   0     

   0     0         0  

" '   

% 
0

 3 

(IV.5.3)

avec lestimation

        

(IV.5.4)

Preuve : Exactement comme dans le lemme IV.2.4, partie 2.3, lexistence et lunicit dune solution rgulire dcoule de la mthode des caractristiques. On prouve ici seulement les estimations en commenant par celle concernant . Etape 1 : Estimation de . En prenant le produit scalaire dans

              
$

 

: (IV.5.3)

 6 

% 

on a

On utilise ensuite le fait que en dimension (lemme III.2.6). On en dduit :

, lespace

 

3

est une algbre multiplicative ds que

 

3

   

    %        


5

Les proprits de continuit et dorthogonalit de lapplication trilinaire montrent que : 5 %  %

  

(voir le lemme III.2.2)

On peut alors tablir que :

$
Aprs avoir divis par

   et utilis le lemme de Gronwall, on trouve lestimation voulue :        0     0         0          Pour les estimations sur les drives pour  , on procde par rcurrence sur lentier .

              

    %  

5

  

Etape 2 : Initialisation de la rcurrence ( ).  Lorsque , en crivant la loi constitutive sous la forme : 5    % 



le lemme III.2.6 5 concernant les produits despaces de Sobolev permet dcrire :  0 0  % 0



                     0        0     %   0       0    

5. Rsultats de rgularit Lestimation sur

113

ralise lors de la premire tape permet de conclure le cas




Etape 3 : La rcurrence.  . Ltape suivante consiste prouver Supposons maintenant lestimation vraie pour tout   (IV.5.4)     ). Par drivation successive de (IV.5.3) par rapport au temps, on lestimation pour (tant que 5 trouve :   %    % 

5 que    " '       . Par hypothse de rcurrence, on sait aussi Par hypothse gnrale, on sait    " ' que     . Pour ce qui est des autres termes,   on utilise    nouveau les proprits de

    

 

 

   

   



     

produits despaces de Sobolev (lemme III.2.6). Les termes du type %

       %     0       %    0

  

      0    

scrivent :

   %      0       0   %     0 ! 5  5  5  5                      est born  On en dduit donc que dans    et que cette borne dpend continue   dans    pour . Le raisonnement par rcurrence permet alors ment des donnes et des normes de 3

et de la mme manire, le dernier terme se majore ainsi :

de conclure la preuve. Preuve du thorme de rgularit IV.5.1 : Cette preuve est trs proche de celle ralise dans le cas moins rgulier, voir le thorme IV.1.1. On considre le systme (IV.5.1) comme un point xe :

  



 %  %  5 la o div % et qui % % associe  solution des quations ci-dessus est solution du problme initial (IV.5.1). Considrons donc   0  dni par : le sous-espace de


 (  " 5   0 (  "  tel que 5          "9'  0 %  !   % "   5 %      5      " '    et         " '       0 0              0           0     5               et    0        0      

 

%   3
 % 
 0 0   % . Ainsi, un point xe de lapplication

div

5 les deux lemmes 5  prcdents. Ltape essentielle est de montrer que lon peut appliquer En ce qui concerne le %   % % % premier, on doit montrer que si et sont dans  alors div % est assez rgulier.   %  (y compris pour Pour ce qui est du terme div on a clairement, pour tout ),

div



  0     

  

(IV.5.5)

114 Pour lautre terme, on crit :

Chapitre 4. Rsultats sans le terme diffusif en contrainte

        %  % 0  %  %  5          " '  0 %  !  et  %  " #  0 %        , ce dernier rsultat se avec % dduisant par interpolation. Daprs le lemme III.2.6, on montre alors que le produit vrie : 5   (IV.5.6)  %  %   0           : On en dduit alors, grce aux ingalits (IV.5.5) et (IV.5.6) que pour tout 5 5      0            % 5 satisfait les hypothses requises, que 5 lemme, on doit montrer Pour appliquer le second dune part que      "  avec " '  !   . En ce qui concerne ce dernier point, dautre part  est dans   5 on a       0       0      

5 On est donc en mesure dappliquer les deux lemmes IV.5.1 et IV.5.2 : si assez petit ds que image par est dans  pour un temps

  0  

5

En choisissant successivement puis on trouve un temps pour lequel  est stable par .   Les autres hypothses utiles pour appliquer le thorme du point xe de Schauder se dmontrent exactement comme dans le thorme (thorme IV.1.1).

3  #0


5

% %

5 5

5 


alors son

pour

   
5



115

Chapitre 5

Un phnomne de couches limites

1 Introduction
On tudie dans ce chapitre le comportement asymptotique des solutions des quations de Navier-Stokes couples la loi constitutive dOldroyd lorsque le coefcient de diffusion en contrainte tend vers zro. Comme $  au$ cours des deux prcdents chapitres, le problme est pos sur un ouvert born de lespace ( ou ) dont le bord est not . An de mettre en vidence la dpendance en des inconnues, on crit le problme qui nous intresse sous la forme :

       

,

div

div

 3 

(V.1.1)

avec conditions aux limites de type Neumann pour la contrainte et Dirichlet pour la vitesse :

Suite au chapitre 3, on sait quun tel systme admet une solution. Nanmoins, ce chapitre permettra den redonner indirectement une preuve (preuve qui a linconvnient de demander beaucoup de rgularit sur les donnes initiales). Plus exactement, notre but est de dcrire le comportement de la solution lorsque le paramtre de viscosit tend vers zro. On sattend ce que la solution converge fortement dans  (et 0 0  0 en fait dans tout espace qui ne voit pas la condition aux limites ) vers , solution du systme sans le terme diffusif en contrainte :

"

       

0 
div

0 

0 


07, 0

div

0

0  0  02 0  #0

#0

0
 0

0  

(V.1.2)

116

Chapitre 5. Un phnomne de couches limites

L aussi, on a dj montr quun tel systme admet une solution. On sait mme (voir chapitre 4) que, quitte prendre des donnes initiales trs rgulires, la solution de (V.1.2) est aussi rgulire que voulue.
Pour rcuprer la condition aux limites sur , la solution de (V.1.1) se met osciller trs rapidement prs du bord . Une couche limite se forme alors au bord du domaine et on se propose de la dcrire. De nombreuses tudes ont dj t menes sur de tels phnomnes, voir par exemple les travaux de G. Carbou, P. Fabrie et O. Gus [18], O. Gus et E. Grenier [39], O. Gus [42] et D. Sanchez [76]. On sait en particulier que dans  le cas prsent, cest dire lorsque le bord du domaine est caractristique ( ), la taille de la couche . Plus prcisement, le rsultat principal afrme que , et admettent limite ainsi forme est dordre sur un dveloppement du type : 0  

 

Dans cette formule, corresponde lensemble

$ ' $ 


 0
  1   0
   1

 

 

  

correspond la distance au $ bord. Cette fonction est telle que le domaine , le bord lensemble .

Pour comprendre ce phnomne, il peut tre intressant de regarder ce qui se passe lorsque lon tudie lquation diffrentielle ordinaire suivante :

      pour tout    et  

La solution, dessine la gure V.1.1, est proche de la droite qui est solution du cas (voir g. V.1.2). La seule diffrence ayant lieu au bord du domaine, l o la condition de type Neumann nest pas vrie par la solution . Plus exactement, la solution scrit   

    





Elle admet pour dveloppement asymptotique mme type que pour le problme (V.1.1).
1

 


0.05

 

, on retrouve un comportement du

0.04
0.8

0.03
0.6

0.02
0.4

0.01
0.2

0
0 0.2 0.4 x 0.6 0.8 1

0.2

0.4 x

0.6

0.8

F IG . V.1.1: Solution


pour  6

F IG . V.1.2: Diffrence entre

et la droite  6  lorsque , cest--dire pour

2. Enonc des rsultats

117

2 Enonc des rsultats

Le rsultat principal de ce chapitre est le suivant Thorme V.2.1 5 Si  et et deux fonctions que, sur , on ait

5  # %  # vrient les relations de compatibilit (V.4.2) alors il existe un temps  " '     % "    %   et  " '      tels     

 

0
 
  $  
0   1    
  $   1  
 &
0 
 

Les fonctions

 ,

et

&

vrient :

 " '   " '  & " '  

Remarque V.2.1 Les fonctions

 &% "    5   "  5 &% "      et & "     

et  introduites ci-dessus sont des prols de couche limite qui satisfont

'

et

'

 

On en dduit que la solution maximale du problme (V.1.1) converge effectivement vers celle de (V.1.2) lorsque tend vers .

Il est intressant de noter quil ne se forme pas de couche limite, au premier ordre sur le champ de vitesse. En fait, on verra au cours de la dmonstration de ce thorme V.2.1 que la condition de divergence nulle implique automatiquement au champ de vitesse de ne pas avoir de couche limite dans sa composante normale au bord. Par contre, on verra aussi quune couche limite en la composante tangentielle de la vitesse existe lordre suivant.
La dmonstration de ce rsultat comporte essentiellement trois tapes. La premire consiste construire des prols de manire ce que les sommes partielles forment une solution approche : on effectue un dveloppement asymptotique formel de la solution en utilisant une mthode de type B.K.W. (Brillouin, Kramers,Wentzel). Dans un second temps, on doit rsoudre deux quations de prol, lune correspondant aux  , lautre tant une quation de type hyperbolique-parabolique dans laquations initiales sans le terme quelle il faut contrler la dcroissance rapide linni en la variable rapide. La troisime tape consiste montrer que le reste du dveloppement en puissance de est effectivement born dans un espace adquat.

118

Chapitre 5. Un phnomne de couches limites

3 Construction des prols

Suivant les travaux de O. Gus [42], on cherche un dveloppement asymptotique de , et sous la forme :  $ $ 5 

0  1
   $  0 
   $  0    

        $ 5      $ 5  1
    

Dans ce type de mthode, il est commode dintroduire les notations suivantes. Pour toute fonction de , et , on crit :

dpendant

On suppose que toutes les fonctions sont dcroissance rapide linni en . En fait, les termes du type % correspondent aux termes intrieurs tandis que ceux du type sont des termes de couche limite.

% 1

avec

1  '

Remarque V.3.1 Le dveloppement, sil existe, nest pas unique ! En fait, les termes principaux sont uniques car ils correspondent aux limites lorsque tend vers zro (unicit de la limite). En cherchant des prols non plus sous la  % alors on aurait unicit
 % 1 mais sous la forme 
forme  (voir par exemple [62]). Nanmoins, la valeur exacte des prols quand est grand nest pas fondamentale tant donn que lessentiel de linformation qui nous est utile est contenue au voisinage du bord . On remplace alors formellement par son dveloppement asymptotique dans les quations (V.1.1) et on ordonne en puissance de . On cherche alors dterminer les prols en identiant tous les termes de mme ordre en .

3.1 Ordre

Le terme  est le seul succeptible dapporter un terme en  dans les quations. Ceci se produit en $ 0 par rapport . Sa seule contribution   0 est donc effet lorsque lon drive deux fois 1
 0 ne dpend pas de , cette condition scrit aussi   0 nulle. Puisque . En outre, la condition de 0 dcroissance linni de toutes les drives de implique ncessairement :

cest dire

0   5
issus

3.2 Ordre

Sachant dsormais que ne dpend pas de , il est facile de voir que les seuls termes dordre de lquation de Navier-Stokes scrivent :

 5  $ % 0  $  #0   (V.3.1) 5 On va voir que cest la seule relation obtenue  cet ordre. En effet, concernant la loi constitutive, on pourrait sattendre voir apparaitre un terme dordre du type :   0  $ 0 

3. Construction des prols

119

Une observation attentive de ce terme montre quil est en fait dordre . Pour mettre ceci en vidence, appli quons la formule de Taylor une fonction rgulire en un point prs du bord :

$ 
 


 

tant la projection de sur et une fonction rgulire borne. En choisissant , 0 . En utilisant ensuite le fait que puisque par hypothse (donc ) est tangent au bord on a 
$  , on peut crire :

0 

0  $
3.3 Ordre

 $ 0    

0 

 $  0    

A lordre , la condition de divergence nulle scrit div on en dduit : 0 div Et par diffrence, il reste :

0   $ 

5 . En faisant tendre

vers

6


$ 
scrivent dune part (lorsque

(V.3.2)

De mme, les termes dordre dans lquation en pondant lintrieur du domaine) :

5 

tend vers

6

(V.3.3) , corres-

#02
dautre part (partie oscillante) :

0 

#07

3 0 

0  # 0

(V.3.4)

$ (V.3.5) 0  07 3 #0  0  0  0 On peut alors dterminer les premiers $ prols. En effet, est lunique solution de (V.3.5). Prenant ensuite  0 le produit scalaire de (V.3.1) avec , et en utilisant lquation (V.3.3) on montre que % . Lquation 5 . On a donc obtenu : (V.3.1) se rcrit donc  5 0  % 0  07
02

0 

Ce constat permet dcrire assez simplement lquation issue de Navier-Stokes lordre

0 

0 

0 


$ 0   0    ,

div

02,

$ 

5

En sparant nouveau la partie lente de la partie oscillante, on obtient :

0 

0 

0 


0 , 0
%

div

 , $  

 $  5 

(V.3.6)

On reporte ces rsultats dans les quations concernant les parties non oscillantes (V.3.2), (V.3.4), (V.3.6) et on 0 0 #0 sont solutions du problme initial (V.1.1) sans le terme de viscosit  . en dduit que , et

120

Chapitre 5. Un phnomne de couches limites

3.4 Ordre

On itre les calculs lordre suivant : la condition de divergence nulle scrit div

faisant tendre

6 vers

5   $ 

. En


, on en dduit succesivement : div

En ce qui concerne lquation en , on a aussi :

$    5 5 3  0  0  $  5      , elle scrit : 5

5 

Cette fois i la condition aux limites nest plus nulle lordre

5  5  02 0  5  0  5  3
0  5  0  $ 5  3 5  0 
3 

 $ 

 #0

Cest cette condition qui va induire une couche limite. En effet,

  

 

 , $    $ 5   0  5 5  0 

#  0  $  0   

 $ 
0

et

5
sont solutions de :

 3
5 

0  3 #0  $

 

5  5  $ 

(V.3.7)

Daprs la seconde quation de (V.3.7), la $ composante normale de est nulle. En prenant le produit scalaire   , on en dduit donc le premier de la premire quation de (V.3.7) avec prol oscillant en pression :
%

 $   $  5 

En reportant ce rsultat, on a alors

5 linaire par rapport  , expression la dernire quation de (V.3.7) : on en dduit que est solution de

 On en dduit la valeur du

 $ tenseur

 $  $   $  5   $  5 

5
, que lon peut injecter dans

 
o



5  5

0 
0

"

5  0  $ #0    

5  5 5  ." 

" &  $  $  $   $  &   $  $  &  &  3 &  0  3 0  $  $  $   $  &   $  $  & 

" & ." & 

est une application linaire, dont les coefcients dpendent uniquement des variables et :

Pour la preuve de lexistence dun premier prol, on utilisera les deux faits suivants :

 " & "  & 

& 

(V.3.8)

est un oprateur linaire (dont les coefcients sont les drives en de ceux de ).

"

4. Etude des prols

121

4 Etude des prols

4.1 Terme principal du dveloppement
Dans ltude que lon vient de mener, on a obtenu les termes principaux du dveloppement  comme solutions du systme (V.1.1) sans le terme :

       

0 
div

0 

0 

0, 0

et

07, 0

div

0

0 
(V.4.1)

#0  0  02 3 #0 0  0 

0
 0

0

Ce systme a t tudi dans le chapitre prcdent. Rappelons le rsultat qui nous sera utile ici : On avait tout dabord dni des conditions de compatibilit pour lexistence de solution. Ici, tant donn au chapitre la rgularit qui va nous tre ncessaire, ces conditions se rsument (voir la dnition de 5 prcdent, quation (IV.5.2))    et sur (V.4.2)





 

Sous de telles conditions, on a montr le rsultat suivant Thorme V.4.1 5 Si  et vrient les relations de compatibilit (V.4.2) alors il existe un temps 0 0 tel que le problme (V.4.1) admette une solution vriant

 # %

 #

0  " '   # %

5 "   %   %

et

#0

" '   # 


De plus, la solution satisfait les estimations suivantes sur les drives en temps :

0 "9'  0  " ' 

    % 0&  %

 7 % 0 &% "    $ 5  "   

0 "('  #0 " '   

   

87 
5

Remarque V.4.1 Dans le cas o les donnes ne sont pas bien prpares, cest dire lorsquelles ne vrient pas (V.4.2), on sattend observer une couche limite en temps. J.Y. Chemin, B. Desjardins, I. Gallagher et E.Grenier [21] ont prouv (dans un cadre physique diffrent) que la solution dpend aussi des variables  , pour . Pour un temps assez long, mme pour des donnes mal prpares, le prol que lon a trouv sapproche effectivement du prol exact : le uide se prpare lui mme ! Autrement dit, on peut considrer notre dvelopement correct si lon suppose que lquation tourne depuis quelque temps.

 

4.2 Premier prol oscillant

On a vu dans la partie 3 que le terme oscillant en pression et le second prol en vitesse se dduisent immdiatement du terme oscillant en contrainte via les relations :
%

 $   $  5 

(V.4.3)

122

Chapitre 5. Un phnomne de couches limites

 $  $   $  5   $  5  5  0  $ #0    

La seule quation de prol que lon va tre amen rsoudre est celle concernant . On cherche solution de lquation linaire suivante (loprateur linaire tant dni la n de la partie 3) :

  

 

5 1

5  5

0 
0

"

(V.4.4)

5  5 5  ." 

(V.4.5)

dcroissance rapide en la variable

On prouve alors un thorme dexistence de solutions rgulires : Thorme V.4.2 0 # 0 Si et vrient :

0 " '   7 %

alors il existe une solution

0

"     #

et

0  7 "    5

" '  5 "9'  

au systme 5 (V.4.5) telle que :

  

*   &% "   * "  % "   

 *  5 7    *  

Remarque V.4.2 La rgularit que lon prouve dans ce thorme implique en particulier :

5 " '     5     " '     &% "      

On remarquera que les hypothses faites sur obtenue dans le thorme V.4.1.

et

#0

sont des consquences directes de la rgularit

La preuve sarticule autour de trois points. On effectue dabord un relvement de la condition au bord an dobtenir un systme quivalent avec des conditions aux limites homognes. On montre ensuite par une mthode de type Galerkin que ce nouveau systme admet des solutions faibles. Dans une dernire tape, on met en place une mthode permettant daugmenter la rgularit de la solution jusqu obtenir la rgularit souhaite. Preuve du thorme V.4.2 Etape 1 : le relvement.  . Pour La premire tape consiste se ramener un problme homogne au bord du domaine ceci, on effectue un relvement de la au bord. Plus prcisement, on dnit la fonction  condition de Neumann  telle que  . On note alors et Supp

'

et on cherche sous la forme quivalence entre les conditions

$ 1 
 0
5   0  $   #0 . Puisque
concide avec 

 6

sur le bord , on a

 0

4. Etude des prols

123

0 Il est dusage (voir [18, 42]) de rechercher une solution telle que . Cette galit nest a priori vraie que pour mais on ltend sur tout louvert . Ce choix, quelque peu arbitraire, est justi par la suite en montrant la validit dun tel dveloppement asymptotique.

On cherche le tenseur , solution de

   0    0  $    ."       0      dcroissance rapide en la variable

(V.4.6)

0 

 0  $

 " .

La rgularit obtenue sur les termes principaux du dveloppement (thorme V.4.1) implique que

"    

* 80 '

Etape 2 : Existence de solution. Bien entendu, lunicit dune telle solution rsulte de la linarit de lquation (V.4.6). Grce des approximations de type Galerkin sur un espace bien choisi, on construit tout dabord des solutions faibles du problme sur des intervalles du type en la variable . En obtenant une borne dnergie indpendante de . , on en dduit une solution faible pour

Etape 2-1 Soit . On commence par rsoudre le problme pour Dirichlet homogne en . Plus exactement, on considre le problme (V.4.6) pour conditions aux limites suivantes :  pour z=0

<

avec condition de avec les

>

pour z=M

On utilise une approximation de Galerkin. On commence par considrer 

une base de lespace , par 5 exemple la famille des fonctions propres de loprateur de Stokes . Ensuite, on construit ensuite une base de & & & lespace et en posant, pour ,  



&

 (  cos 

Cette famille est orthogonale aussi bien dans  0*  et de est une base orthogonale de 0 notera
cette base.

 Pour tout  , on cherche une fonction 4 telle que pour tout 0   $   0    0  $    # # #  $  #  "   #  #  

"

5 dans  . Ainsi, la famille  * &

0 " 5 que *  . En identiant    lensemble  , on

   * 5

124 Le produit scalaire

Chapitre 5. Un phnomne de couches limites

est dni sur lespace

07* " 

par :

3 #

3


La norme associe est note # En choisissant

"    0    0  $      0 0   (  (voir le lemme III.2.2). En intgrant par parties en la variable , on montre que en utilisant le fait que 0 4 $ est Pour le dernier terme, on intgre par parties en la variable
#

pour fonction test, on en dduit :

#

indpendant de cette variable. On obtient lestimation suivante :

        0  $      0     0 $   # 0 $  #           '   $ (V.4.7) # # # # #  Le lemme de Gronwall fournit alors la borne " ' en temps (rappelons ici que ) :    0  $ pour tout  (V.4.8) # # '  permet davoir une estimation plus rgulire en : alors que le terme 
$
#

    

"  ( 


5

#

 

Sup

#

#

$ ' 

(V.4.9)

  ainsi Etape 2-2 On vient de dmontrer que la suite est borne dans * 4 . Elle converge faiblement (ou faiblement-*) dans ces espaces et on que dans 4 note sa limite. Puisque les bornes obtenues dans (V.4.8) et (V.4.9) sont indpendantes de , on peut ensuite  . Lquation tant linaire, on a ainsi lexistence dune solution telle que : passer la limite 5

"  "

 

" '  " * "

6  " '  " 

* " 

&% "   "  

* 

Etape 3 : Rgularit. Les approximations de Galerkin ne permettent pas dobtenir plus de rgularit en sur les solutions. $ En 0 %  effet, si on multiplie formellement lquation dvolution de par  , le terme issu de ne pourra pas tre contrl sur (apparition de termes de bord non nul lors dune ventuelle intgration par parties en ). Il faut donc oprer autrement.

La mthode est la suivante : on applique un oprateur diffrentiel lquation (V.4.6). La fonction

vrie alors une quation du mme type que (V.4.6) o le second membre contient non seulement 0  , etc. En choisissant diffrents oprateurs dans un ordre mais aussi tous les commutateurs , bien prcis, on pourra chaque tape contrler le second membre et montrer que est aussi rgulier que .

4. Etude des prols

125

Le choix de loprateur est limit par le fait que doit aussi vrier les conditions aux limites du problme (V.4.6). On va donc distinguer les drives conormales (celle du type , # ...) pour lesquelles on peut appliquer cette mthode,  et les drives normale ( ) qui seront traites en dernier lieu en utilisant la . rgularisation de loprateur

Etape 3-1 en dduit que 

Soit  . En drivant lquation (V.4.6) par rapport est solution de :

puis en multipliant par , on

  

 

0  0  0  0  $ 0   0 " 0  0  0 0 1 0 dcroissance rapide en la variable 

 

   

 

Notons ici que lon a utilis le fait que les coefcients de lapplication linaire sont indpendant de la variable (voir lquation (V.3.8)). Exactement comme pour ltape 2, on effectue une approximation de Galerkin en se restreignant avec condition de Dirichlet homogne en . On multiplie formellement lquation ci-dessus par 0 et on intgre sur  , on retrouve une estimation similaire (V.4.7) modulo le fait que le second membre fournit un terme supplmentaire :

"

terme additif

   0  

En intgrant par parties en , il est important de remarquer que les termes de bord sannulent (car  0 et ). On obtient :

terme additif

Quitte choisir assez petit, le terme  # Lestimation de ltape 2 prouvant que # le lemme de Gronwall puis passer la limite

"  '  6 0  " '   "  * "  &% "    "  *  

0  #

est5 absorb par le terme  # du membre de gauche. est + , on peut, comme au cours de ltape 2, appliquer  : 5

 
#

' 

5
Etape 3-2

  

 

De mme, 

5  5

0 

 

0 5 
5


5  0  $ 5  5  ." 5   ,

 

est solution de :


 

0  
5 

  0  $

dcroissance rapide en la variable

 , galit issue de lquation Remarquons que dans ce cas, on a utilis le fait que 5 (V.3.8). L encore, on peut mener les mmes calculs. En utilisant en particulier ltape prcdente (  ), on obtient : 5 5 5

 "

 "

 " '  

* " 

&% "   

* 

126 Etape 3-3  puis  commutateur

Chapitre 5. Un phnomne de couches limites

Pour avoir encore plus de rgularit en la variable , on doit dabord estimer   . En appliquant loprateur deux fois au systme (V.4.6) et en utilisant le fait que le   scrit :

     

on montre que

"          multipliant par 0   En puis en intgrant sur , il suft de contrler les quantits   0   9  de la faon suivante (pour tout ) :             0      0       #  # '
 

est solution dun systme de type (V.4.6) o le second membre vaut :

et

Quitte choisir assez petit, les termes  # sont absorbs par les termes similaires du membre de   (V.4.6). La rgularit des deux termes restant a t prouve au cours des tapes antgauche issus de  rieures. Comme prcdemment, on passe la limite : 5

 9    


 9

   

#

 

 
#

' 

"  *  "('   

6 "  &% "   " 

* 

Remarque V.4.3 Puisque la fonction est trs rgulire en la variable (elle est est aussi rgulire que  (qui correspond au cas que



La fonction vaut :


  0  $      L encore, les rsultats prcdent permettent 5 de contrler tous les termes 5 facilement. 5 On en dduit :  "9'  * "   &% "     *  

" 7 

 7 

 

 0'

), on peut montrer par rcurrence sur  0 alors que  correspond au cas ).

est solution dune quation du mme type que 

 

 

0 

0, 5


et 

o le second membre

Etape 3-4 Exactement comme au cours de ltape 3-2, en prenant deux fois le gradient de (V.4.6), et en utilisant les estimations prcdentes, on montre que : 5

Etape 3-5  loprateur

&% "     *    Il reste estimer les drives normales  . Il suft pour cela dutiliser la rgularit de
* " 

 "9'   

et dcrire lquation (V.4.6) sous la forme :

  .  "  

0  

$ 0 



Les tapes prcdentes montrent que le second membre 5 de cette 5 quation est dans

"     *  

On en dduit donc facilement que :

 "('  

 7  *   &% "     * $

5. Estimation du reste

127

5 Estimation du reste
5.1 Equation vrie par le reste

Les calculs mens $ au cours de la partie 3 ne sont valables quau voisinage du bord (il faut que la fonction distance au bord soit bien dnie et rgulire). Pour justier rigoureusement les calculs non seulement au 0 dont le bord du domaine mais sur tout entier, on introduit une fonction de troncature 5 5 support est contenu dans un voisinage du bord, et valant sur un voisinage plus restreint de ce bord. Pour 1 , on introduit aussi  telle que  et relever la condition 5 au bord 
 sur . On cherche nalement sous la forme

  

 

  $ 5    
%  1

$ 5     
  #0

  

0    0
 

" ' 

' " 

&


En injectant ces prols dans les quations (V.1.1) et en utilisant les quations vries par les prols (quations (V.4.1), (V.4.3), (V.4.4) et (V.4.5)) on en dduit :

        

         

5  07 5   ,     &        %  div   div  & 5   &   0  5   #0    &   5   0   $ 5       3 5   &  0  #0  3 3   3 0   0  &    &  3
   3
     #0    5   5&           $ 5   5    $  5   $ 5       0   & & 0 &    

(V.5.1)

Remarque V.5.1 Pour utiliser rigoureusement les estimations (V.4.4) et (V.4.5), on doit poser

Les termes supplmentaires   qui apparaisent dans les quations vries par le reste (ceux issus de tous dordre au moins  en et donc facilement contrls.

 $ 0   
   +
 1   

 ) seront

5.2 Estimation du reste

On multiplie ensuite lquation dvolution pour  par

$ 

 

 

 0        


&  div

       

5     

   0    

0 

  

128 On a :

Chapitre 5. Un phnomne de couches limites

 &   5    0 5 5 5  5   &  div          '          0     0              0 '      0       '          7     75          0    0              0 ' 

    5

Do nalement 5

$ 



 

    

5  &    &  &  ,  



  

5 

Pour simplier ltude mene sur lquation en , on crit cette quation sous la forme

&

'

5 5 5       

     &

0 '

    0   '

On multiplie cette quation par

& "

 &
&

"  

0 
"

puis par

alors que ceux du type

 &

 " ...  &

. Les termes du type

 "  &      

se traitent de la faon suivante

scrivent

en utilisant la relation dorthogonalit (lemme III.2.2) :  scrit     0  & 9  &    0  & ...  &    5 0  7  &   5 5 0 0 "  5   , "    % " #  , "   On en dduit alors, puisque "   7 , Enn, le terme

0 

&

 &


    

 &        5 5
et

"    % " #  $  & 5

$

"  

 

 

5 &  

&  

         &    5   0    5  5     5  5    5 5    5     &        5  5    5  0     &  5  0   7 7   0    &  5    5  # 5    5    # 5    5   &  # 5    5   0        0   &  5        5   &  # 5    5 7    5       #0         5     5  5   &       

(V.5.2)

 5  5  &      & 5     &        5 o le polynme est indpendant de . De faon classique on en dduit quil existe un temps dexistence  & & "  "  '  . indpendant de tel que  et soient bornes dans   ,  et etant bornes dans   
En regroupant les deux estimations, on trouve une estimation de la forme

Pour ce qui est de la rgularit du reste en pression  , il suft dutiliser le lemme de rgularit du problme de Stokes sur la vitesse  .

129

Troisime partie

Etude numrique du modle

131

Introduction
On prsente dans cette partie, une tude numrique des quations introduites dans la premire partie (quations (II.3.1)). Les rsultats de ces deux chapitres sont en partie exposs dans [12]. Ils ont pour but douvrir un large ventail dapplications pour le modle dcrit dans les chapitres 1 et 2. Lintrt du monde scientique pour la comprhension des phnomnes physiques que lon tente de dcrire est immense : depuis la premire   mention sur la formation de gouttes dans la littrature scientique, due semble-t-il E. Mariotte (Trait du mouvement des eaux et des autres corps uides E. Michallet, Paris) jusqu de rcents en   Quand les gouttes ne articles de vulgarisation accessibles au plus grand nombre (La recherche, Mars rebondissent plus D. Bonn, V. Bergeron et L. Vovelle).

La motivation du chapitre 6 rside dans la mise en place dun schma numrique prcis et adapt. Un domaine rectangulaire avec maillage rgulier est utilis mais cette gomtrie peut tre gnralise grce une mthode de domaine ctif, ce qui permet, avec un cot raisonnable, de considrer des tests physiques trs varis. Pour ce qui est de la prcision, on sest efforc dinstaller des mthodes correspondant nos besoins. Une attention toute particulire a t rserve aux termes convectifs, dont on sait quils sont sources de diffusion numrique pouvant masquer les phnomnes physiques que lon veut observer. De mme, pour ce qui est de lquation de transport correspondant la loi constitutive, les proprits lies la visco-lasticit ont induit le choix dune mthode originale de type exponential tting, dgnrant correctement dans le cas des uides newtoniens. Dans ces deux cas, des thormes de stabilit viennent complter notre tude. Ensuite, on sest attach montrer la pertinence du modle prsent pour des applications physiques diverses : Les exemples des shampooings, de la mayonnaise, des lessives liquides sont autant de uides qui, soumis un coulement de cisaillement laminaire, ont un comportement beaucoup plus riche que les uides newtoniens. Un des objectifs de ce dernier chapitre est de mettre laccent sur limportance des effets non newtoniens dans le cas dun coulement sous cisaillement et de retrouver des instabilits dues llasticit de certains uides [40, 41, 65, 80]. Les tudes passes ont mis en vidence un fort couplage entre la structure du uide et lcoulement : fragmentation dune mulsion, transitions de texture dans une phase lamellaire, etc. Il est intressant dtendre ces tudes des coulements instables voire turbulents. En effet, laction dun mcanisme dstabilisant sur lcoulement dun uide complexe et sur sa structure reste un problme ouvert. On propose au cours du chapitre 7, une tude mene conjointement avec une quipe du C.R.P.P. [24, 75] permettant doberver numriquement un tel phnomne. Lintrt de comprendre comment scoulent de tels uides et de caractriser leur dynamique est bien videmment trs important du point de vue industriel, que ce soit concernant lindustrie agricole (amlioration des pulvrisations de pesticide), lindustrie mdicale (dveloppement de technique microuidique permettant de trier des molcules) ou bien dautres encore. Le dernier test va dans ces directions : il a pour but dobserver les diffrences de structure dans le remplissage dune cuve avec un uide newtonien ou visco-lastique.

132

133

Chapitre 6

Schmas numriques
1 Discrtisation en temps
La discrtisation en temps est effectue avec un pas de temps (variable chaque itration) grce une mthode pas fractionnaires. Les trois tapes principales correspondent naturellement aux trois quations du systme : Cahn-Hilliard, Navier-Stokes et la loi constitutive dOldroyd. Chacune de ces trois tapes sera elle-mme dcompose en plusieurs pas, en particulier pour traiter les termes de convection.

1.1 Discrtisation en temps de lquation de Cahn-Hilliard 5 5 les valeurs , . et  linstant , la premire tape consiste dterminer la solution Connaissant .

est proche de ,  plus la mthode sera prcise. Dans tous les essais numriques, la valeur choisie sera . Enn, une mthode de point xe est utilise pour rsoudre le systme non linaire ainsi obtenu. Dans les rares cas o cette mthode ne converge pas assez rapidement, une mthode de Newton est utilise pour rsoudre le systme non linaire (voir [11]).

  .    (
 5 5    
    et on sait que plus De faon assurer la stabilit asymptotique on doit choisir  div 5 (
   .   .  


4  du problme de Cahn-Hilliard sans le terme de transport. Pour ceci, la mthode utilise est une -mthode. Plus 5 prcisment, on crit 5



 .

Il faut dans un second temps tenir compte du terme de transport. Il est bien connu quun tel terme, sil nest pas correctement discrtis peut engendrer un surplus de diffusion numrique pouvant masquer lessentiel des phnomnes physiques mis en jeu. Pour limiter cet effet, F. Boyer [11] a implment un schma numrique du second ordre en temps et en espace issu des travaux de P. Rasetarinera [15]. On a donc, dans une premire approche utilis ce schma pour discrtiser lquation

 2 

Un des inconvnients de cette mthode est que le stencil de ce schma est assez large. Son implmentation est donc parfois dlicate. Dans loptique de traiter de la mme manire les termes de transport en vitesse et en contrainte on a donc prfr utiliser un schma de type Runge-Kutta dordre trois en temps que lon va anti-diffuser en espace. partir du 5 Il est obtenu 5 5 schma de base suivant 5 5

    7 7            

134 o

Chapitre 6. Schmas numriques . Une discrtisation spatiale de cet oprateur est propose dans le paragraphe 2.2.

2

. Dans tous les cas,

est obtenu partir de 5

de 5 la manire suivante 5

1.2 Discrtisation en temps de lquation en vitesse

Puisque lon considrera par la suite des tests vitesse relativement petite, le problme nest pas raide et les termes non linaires ne gnrent pas de problme. La mthode utilise est donc implicite pour la pression et les termes visqueux, explicite pour les termes coupls : 5

  



(

5 

 div



div

 (

 

, et en ( o lon a simpli (
2 , on peut le discrtiser soit de faon explicite :

5 5  ,   5 div ( 5 2 5 5 0  05   ( (   . 5  .    ( (  5 5 5

et

. Concernant le terme dinertie

2



soit en utilisant le schma de Runge-Kutta qui est dordre plus lev :

o . Cette discrtisation est donc trs lie la discrtisation en espace. On utilisera une mthode anti-diffuse propose dans le paragraphe 2.2. Finalement, une mthode de lagrangien augment permet de rsoudre ce problme de Stokes [11, 35].

2

2

   

  7

1.3 Discrtisation en temps de la loi constitutive

La dernire tape de la mthode pas fractionnaires en temps consiste dterminer linstant connaissant la vitesse et le paramtre dordre en . Comme pour la discrtisation de lquation de CahnHilliard, le terme de transport de la loi constitutive est dcoupl et trait par une mthode de type Runge-Kutta. Il reste alors lquation suivante   ! !           (VI.1.1) 

% !


% !

La discrtisation que lon a choisie ici a t guide par trois ides. La premire est que lon veut que le modle prserve la symtrie du tenseur des contraintes car cette proprit physique est essentielle (voir le chapitre 1). Ensuite, comme on dsire effectuer des essais avec des uides visco-lastiques, mais aussi avec des uides newtoniens, il faut que le modle est une bonne dgnrescence lorsque le nombre de Weissenberg tend vers zro (ce qui correspond au cas dun uide newtonien). Enn, laspect physique de ce modle nous a amen prfrer un schma tenant compte de la linarit de lquation en . Un schma de type exponentialtting (voir [31]) est bien adapt notre cas.

1. Discrtisation en temps

135

An de prsenter plus simplement les calculs, on crit cette quation matricielle (VI.1.1) comme une  quation vectorielle. En effectuant lidentication entre les matrices carres de taille et lespace laide 55 de lapplication

 55 5  5   

5  


lquation (VI.1.1) devient

o la matrice

 #     

% !



 

 ! !


       

est dnie par

 

 

 
(
 

 

     


      

Sous cette forme, il est ais de dterminer la valeur exacte de la solution linstant

      ( 
             *    $   0
%  5 on approche lintgrale du second 5 membre 5 5 ) en supposant que , et
 sont constants sur Ensuite, (note , gaux respectivement , et
 : 5 5 5 5    (  $ 
5 5  
     5 0 *   5   5  5   5 (  

  
     0 *    

 

 *       0

et en utilisant le dveloppement limit 5 de la 5 fonction exponentielle, on a :  5 ( 

    *

      0  
 5 : 5 5 Ceci permet de dduire lexpression pour 5 ( 
     5            ( 
    *  *     

5

(VI.1.2)

La dernire tape de cette discrtisation consiste exprimer lexponentielle de la matrice simple montre que le polynme caractristique de est donn par : det



   6 

. Un calcul

Plusieurs cas vont donc apparatre selon le signe de .

      

136

Chapitre 6. Schmas numriques

tout dabord le cas : Les valeurs propres de sont (valeur propre double),   Considrons et . Les espaces propres associs sont donns par : 5 5 0 Vect  4 Vect  7  et   Vect  # 4 avec        5       # # 7     #  # #              #     #    #
   

Si on note la projection sur lespace paralllement aux autres espaces propres de

Dans le cas , les valeurs propres de sont (valeur propre double),  mmes rsultats sont encore valides en remplaant par .

 

0 

5 

, alors on a :
et

sion

Lorsque   "$

, la matrice     .


 

  

. Les

est nilpotente dordre au plus

7 ) et on a directement lexpres-

Finalement, en exprimant les projecteurs

, la rsolvante scrit :

o lon rappelle que : et

 

 #          ch # sh    cos # sin   ch   # sh   cos # sin   sh     sin      sh   sin 



    

   


si   si si  
si

  si  
si si si

Remarque VI.1.1 Lorsque , on a

 

  et une expression de la rsolvante plus simple est : cos  sin  cos sin    cos     sin    cos sin cos sin cos  sin         sin   cos  sin   cos  sin   cos   cos  sin  cos  sin  sin   cos  


2. Discrtisation en espace et stabilit

137

Il est important de remarquer que le schma que lon vient de dcrire prserve la symtrie du tenseur des contraintes. En effet, cette proprit est vrie pour le modle continu (VI.1.1) puisque aussi bien ,     que    sont des tenseurs symtriques. Pour le modle discret, ceci sera dit symtrique lorsque sa deuxime et sa rsulte de lidentication matrice-vecteur : un vecteur de 5 5 troisime seront gales. Ainsi, il est facile de vrier que si est symtrique, il en est de mme 5   composantes     est symtrique, le produit lest aussi, pour . De la mme manire, puisque et donc est symtrique (voir (VI.1.2)).

Rappelons quune autre condition du cahier des charges est que le modle dgnre bien pour un uide newtonien (cest dire lorsque tend vers zro). On peut vrier que la faon choisie pour discrtiser lintgrale implique la convergence
0 .

2 Discrtisation en espace et stabilit

2.1 Traitement des conditions au bord
Le domaine est suppos rectangulaire et on utilise la mthode des diffrences nies. Le maillage est form cellules uniformes o les inconnues sont prises soit au centre de la cellule (pour la dune grille de pression, les termes de contrainte et le paramtre dordre) soit sur les milieux des cots (pour la vitesse), voir la gure VI.2.1.



  



 
 


F IG . VI.2.1: Cellule




: position des inconnues

  ou 5 articielles 5 autour du domaine on introduit des inconnues Par exemple, pour le paramtre dordre     physique.  0     0  , , pour (voir aussi la gure VI.2.2). , on dnit , et

De plus, pour adapter trs facilement la mthode aux nombreuses conditions au bord envisages (voir le chapitre 7) .

Enn, pour prendre en compte la prsence dventuels obstacles (pile de pont...), on a utilis une mthode de domaine ctif et de pnalisation tudie dans [11, 3].

...
Domaine rel Inconnues relles

Domaine fictif Inconnues artificielles

. . .

F IG . VI.2.2: Positions des inconnues relles et ctives pour le paramtre dordre

138

Chapitre 6. Schmas numriques

2.2 Schma pour les termes de transport

En ce qui concerne les termes de convection (aussi bien sur que sur ou ) on a implment une discrtisation en temps de type Runge-Kutta (voir la partie 1 de ce chapitre). Une discrtisation spatiale de  est ncessaire. De plus il est important que cette discrtisation soit -stable et loprateur    positive car physiquement, le paramtre dordre doit toujours rester entre et . On utilise donc un schma centr en espace muni de limiteur de ux de faon vrier de telles proprits. Plus prcisment, on prouve la proposition suivante :

" '

Proposition VI.2.1 Sous la condition C.F.L. (Courant-Friedrich-Levy) suivante

le schma dni par (VI.2.2) et (VI.2.3) discrtise lquation

Remarque VI.2.1 Comme consquence, on sait que pour tout

 (


(   5    5    *




7

et est positif.

o dnote la norme discrte usuelle dans

"

   6 

, on a

Sous une condition un peu plus restrictive :

on construit aussi un schma positif pour lquation de transport

 *

(   5    5    *

 2  .

(VI.2.1)

Preuve de la proposition  VI.2.1 : On va dabord commencer par construire le schma dans le cas du transport de en dimension . Ensuite, on verra comment passer facilement au transport de par un champ de vitesse bidimensionnel. A la suite de cette dmonstration, on se propose dadapter la mme mthode au transport de la vitesse .

           7 7  "%$   de sorte que le schma devienne o # . On prfre dnir loprateur " 5    "   " 7  

Transport unidirectionnel de : On se place dans le cas de la dimension et on considre lquation  de transport dune fonction par un champ de vecteur rel : . La mthode de Runge-Kutta # est utilise ici lordre et sous sa forme explicite. Elle scrit ainsi :

En effet, sous cette forme une discrtisation spatiale de le schma (VI.2.2).

"

(VI.2.2)

est une combinaison convexe de , et . Il suft donc de trouver qui soit positive pour que cette proprit de positivit soit aussi vrie pour

"

" 7

2. Discrtisation en espace et stabilit

139

Bien videmment, cette discrtisation nest pas -stable. Pour y remdier (voir par exemple [38]), on limite leffet d aux termes anti-diffusifs en considrant le schma suivant :  5 5 5 5 5 5

discrtisation centre par diffrence nie de loprateur . En utilisant la notation usuelle   une On crit ,  , on crit le schma sous la forme :  5  5  5  5 ("  ! *  5  5   5   5                5   5   5   5        5    5  . o    et reprsente ici loprateur aux diffrences discrtes. Par exemple,  " '
cen

"

("

Les quantits

et

         ! *       5  5 5 5  5 5  (VI.2.3)              5  5  5 5              5   sont dnies comme fonction du rapport de deux gradients conscutifs :  5 5 5 5  5 5   5   5    5    5                   

Il est connu quil existe de nombreux limiteurs

(voir [38]). Dans toutes les applications, on utilise

  

 





 

(VI.2.4)

sa proprit essentielle tant quil vrie

 7


 

 

 

 


Pour tudier la stabilit dun tel schma, on lcrit sous forme incrmentale :

5 5           5           5       5 5   5  5   5  5             " Une condition sufssante pour que le schma soit stable est que ! soit une combinaison convexe de  .
en dnissant ici

" ! 
5

5  5   


Les conditions de positivit du schma scrivent :

Les deux premires ingalits sont toujours vries grce (VI.2.4) et la dernire lest ds que, pour tout   , 5 5   

et

5 

 




 

140

Chapitre 6. Schmas numriques

Transport multidimensionnel de : Lorsque le champ de vitesse est bidimensionnel, la mthode est similaire. Loprateur associ se discrtise dans les deux directions ainsi :  5 5 5 5 5 5

 o # . Une mise sous forme incrmentale permet en utilisant la proprit (VI.2.4) du limiteur de montrer, exactement comme dans le cas monodimensionnel, la proposition VI.2.1.

         ! *   #       #  5  5  5   5  5  5        5    5    5   5   #   5  5 5     5  5   5    5  5  5   5   5   5                    5     5   5    5            ,     . Les autres notations prolongeant naturellement celles introduites dans le cas

("

"

Transport de : La difcult nouvelle vient du fait que les composantes de la vitesse ne sont pas dnies aux mmes points (voir gure VI.2.1). Il faut donc adapter la mthode dcrite prcdemment. En particulier,  il sera ncessaire dinterpoler les valeurs de et .

Comme dans le cas du transport de , il suft de dterminer un schma positif pour loprateur ici par :  Si  on note

("

5

" #  
5

 2 2


"

dni

la premire composante de

alors on discrtise "

au point

* 

par :

5  # 5         5

  
o lon a dni :

5 5 5      5  #      5  5     5      5    5   #      5  5  5 5  5 5  5 5   5  5  5  5 5  5  5  5                 5    5 5   5 5    5     5              5  #     5 5 5           5 5 5 5 5   5  5               5     5     5 5     

5

 

5 

 

 5 

2. Discrtisation en espace et stabilit Les diffrences

141

tant donnes par :




 5   5  5   

et les termes interpols en vitesse de faon linaire, par exemple

 5 

 5 '   5 5       


Comme dans la dmonstration de la proposition VI.2.1, on va tout dabord crire le schma sous forme incrmentale : 5

("

* 

 5   

  

5  %

5  

On a pos :

        

 

%
%

  5     5     #          5  5     #        5    5 5     5 5                5     5   5 5 5 5 #             5     


 

 

  

    

Par construction du limiteur (VI.2.4) implique

les coefcients

#

, ,

et

sont clairement positifs. De plus la proprit

 % 

 

  5 5   5   5 5        

Une condition sufssante pour montrer la positivit du schma (du moins en ce qui concerne la premire composante du schma) est donc

#

( 5

(  

   5 

   

On retrouve la mme condition C.F.L. que dans la proposition VI.2.1 ceci prs que lon a  dans le membre de droite. Ceci est d au fait que lon a interpol les valeurs de la vitesse. Il est aussi facile de montrer le mme rsultat concernant la seconde composante de .

2.3 Proprit de stabilit du schma exponentiel

On montre dans ce paragraphe que le schma introduit pour discrtiser la loi constitutive (paragraphe 1.3) est stable sous certaines conditions. An de se concentrer sur ltude du schma exponentiel, on se place dans  le cas monophasique ( ) et on prouve donc le rsultat pour un couplage de la loi constitutive avec les quations de Navier-Stokes.

Rappelons tout dabord que pour le modle continu, notre connaissance, aucune preuve ne justie lexistence globale dune solution dans le cas gnral. Nanmoins, un cas intressant est celui o le coefcient rhologique est nul ; il correspond au choix de la drive corotationnelle en temps. Cas pour lequel on sait que le problme continu admet des solutions globales en temps, voir par exemple le thorme III.1.2 au chapitre

142

Chapitre 6. Schmas numriques

3 ou les articles [22, 23, 58]. On montre donc un rsultat du mme type concernant le modle discret. On va 0 voir que lhypothse est essentielle puisquelle implique lantisymtrie de , la matrice  tant alors unitaire...

Le systme continu tudi scrit sous la forme suivante :     2 div

   

div 7

, 

div

 

 0  

(VI.2.5)

Au cours du paragraphe 1, on a propos un schma de type exponentiel. On se consacre ici ltude de la stabilit du schma semi-discrtis suivant :

   ( 2  *  5   5 5        , div 5 5 div    div sur     ( 2 *  5  5     

   
   



(VI.2.6)

Dans ce systme, les symboles * et * dsignent la discrtisation spatiales qui ont t dcrites dans la partie prcdente. On nexplicite pas la discrtisation spatiale naturelle des autres termes.

( 2

( 2

Proposition VI.2.2 Le schma dni par (VI.2.6) est

"  -stable sous les conditions (VI.2.1) et



6  

 


(VI.2.7)

Preuve : Premirement, la remarque VI.2.1 permet dafrmer que la condition (VI.2.1) implique en particulier :  5 (VI.2.8)

Ensuite, on effectue le produit scalaire discret dans "  de la seconde quation de (VI.2.6) par 5 5            5  5      

 


  

. Il vient :

Linqualit de Young fournit lestimation :

et on a donc

 

5 5             5           

(VI.2.9)

2. Discrtisation en espace et stabilit

143

5 (VI.2.6), celle concernant prsent la dernire quation du systme Considrons 

puis en effectuant le produit scalaire avec

 

 


 

5
. En lui retranchant

 


, on obtient lidentit suivante :



 5  9

5 

En ralit, les termes intgrales sont des intgrales discrtes sur le maillage (somme sur toutes les mailles). Par soucis de simplications et surtout puisque ce nest pas ncessaire, on nexplicite pas ici de tels termes. Pour estimer la premire intgrale, on utilise le fait que



  



 




5 5  5

 
Daprs linqualit de Young, on a : 


 

 

   #  
           
  
           
 
      

est une matrice unitaire :

                      

  


   



     

    

et on trouve 5 donc lestimation suivante :

 

 
 

  

 

   


    

    

(VI.2.10)

Rassemblant les estimations (VI.2.9) et (VI.2.10), on obtient :

 

 

    

   

 


                  5     
  5           
 

(VI.2.11)

  

Ainsi, en supposant (VI.2.7), o ce qui revient au mme :   

(VI.2.12)

144 on en dduit

Chapitre 6. Schmas numriques

5 si En effet,

   

   , il6 suft tout simplement de remarquer que lon a ajout lestimation (VI.2.9) le terme    qui est ngatif.

 5 


 


 

 

6 

  

 

   

 

 

  

le rsultat est immdiat daprs (VI.2.11) et (VI.2.12), et si au contraire

Finalement, on utilise (VI.2.8), pour 5 en dduire :

 

 

6 

En utilisant un lemme de Gronwall discret, on obtient une borne aussi bien sur dante du pas de temps. Remarque VI.2.2 Avec des paramtres usuels comme par exemple (VI.2.7) scrit ce qui nest pas contraignant.

 que sur

 , indpen-

 ,


et

  , la seconde condition

De plus, il est essentiel de remarquer que pour un uide newtonien, cette condition disparait. En effet, le paramtre de retard est dni par (voir chapitre 2) :




 est le temps de retard (

 tant le temps de relaxation). On dit quun uide est newtonien [49] lorsque
 
. Ainsi, dans cette situation, on a bien :  6
  6 


145

Chapitre 7

Applications et rsultats
1 Canal sous cisaillement
1.1 Cas monophasique
Cette application numrique a pour but de conrmer la diffrence de comportement entre les uides viscolastiques et les uides newtoniens. Le test est issu dun processus exprimental trs courant en physique. Il est gnralement utilis pour mesurer des grandeurs physiques telles que la viscosit, le temps de relaxation... Il existe dailleurs de nombreux types de rhomtres (ou viscomtres) : cne, plaques parallles, cylindres concentriques... (voir [71]). Cest ce dernier appareil, appel aussi cellule de Couette, qui va nous intresser.

FLUIDE

y 1


v=(u(y),0)



F IG . VII.1.1: Cellule de Couette : dispositif exprimentale

F IG . VII.1.2: Conditions au bord pour la vitesse dans une cellule de Couette plane

On considre lcoulement dun uide (compos pour le moment dune seule phase) conn entre deux cylindres concentriques comme prsent 5la gure  VII.1.1. On impose ici le taux de cisaillement, plus prcisment, on xe les vitesses angulaires et  des cylindres intrieurs et extrieurs. Il faut savoir que dans les expriences de rhologie, on peut soit xer ce taux de cisaillement, soit imposer la contrainte sur les deux cylindres, ce qui bien sr peut fournir de nombreux autres rsultats. En pratique, lespace entre les deux cylindres est trs petit devant les rayons des cylindres de sorte quil est raisonnable de ngliger la courbure et de se ramener un modle bidimensionnel de type canal (gure VII.1.2).

146

Chapitre 7. Applications et rsultats

La thorie des uides newtoniens montre que asymptotiquement en temps, la solution converge vers une solution stationnaire. Cette solution stationnaire tant donne par un prol de vitesse linaire ne dpendant que de la variable transverse (voir gure VII.1.2 et lessai numrique reprsent gure VII.1.5). Pour un uide visco-lastique, on va voir quil existe une plage de paramtres pour lesquels le comportement asymptotique est trs diffrent. 1.1.1 Cadre thorique

Plus prcisment, dans le cas monophasique stationnaire ( scrivent   div % 7  div ,

), les quations que lon a driv  et

  div 
 ( 2 

 

   

 * 

(VII.1.1)

Elles correspondent un uide visco-lastique obissant la loi de Jeffrey en Rappelons    position stationnaire.  que le coefcient varie entre et alors que le paramtre de retard varie entre et . Le cas  correspond un uide newtonien alors que le cas correspond au modle de Maxwell (dans ce cas, voir la remarque la n de ce paragraphe).

La gomtrie dune cellule de Couette plane nous incite chercher des solutions stationnaires invariantes par translations le long de laxe  (voir gure VII.1.2). Il est donc naturel de chercher des solutions au problme (VII.1.1) ne dpendant que de la variable . Plus exactement on a Proposition VII.1.1   alors le problme (VII.1.1) admet une unique solution ne dpendant que Si de . En outre, est linaire en .   alors il existe des paramtres physiques et pour lesquels on a une innit de Si  solutions ne dpendant que de . Dans le premier cas la solution linaire en vitesse (qui est lunique solution !) est linairement stable, dans le second cas il existe des paramtres physiques et pour lesquels elle ne lest pas.

Preuve : Puisque lon cherche des solutions ne dpendant que de la variable , la relation dincompressibilit sur le champ de vitesse montre que dans ce cas on peut prendre  sous la forme

 

 
(VII.1.2a) (VII.1.2b)

En rcrivant le systme (VII.1.1), on obtient

  

 
(      
%

%

 0

      * 

(VII.1.2c) (VII.1.2d) (VII.1.2e)

Les deux premires quations doivent tre interprtes comme des relations de continuit de la contrainte totale verticale :                

1. Canal sous cisaillement Ce systme est complt par les conditions aux bords

147

 

et

  

A laide de ces conditions, on peut dterminer plus prcisment la constante de saut  5 (VII.1.2a) sur on a 0    

. En effet, en intgrant (VII.1.3)

A laide des quations (VII.1.2c) et (VII.1.2e), on dtermine

%     o  
      Puis en utilisant (VII.1.2a) on exprime en fonction de , ce qui nous permet (avec (VII.1.2d)) davoir une 0  seule quation en la drive (dpendant nanmoins de la constante ) :      0    7  0   
  





et

en fonction de

et de

An de simplier les calculs, on va rcrire ce trinme du troisime degr sous une forme plus simple. En 0  alors on a (voir [45, 55] pour des calculs effet, si on le multiplie par , et si on pose et similaires) :       (VII.1.4)  

 7


De plus, ds que lon connait les valeurs de , cest dire de en dduire toutes les composantes du tenseur des contraintes : 

, alors daprs (VII.1.2) on peut facilement

 

 

% 

  



Il nous suft donc de connaitre les racines du trinome . Comme le font C. Guillop et J.C. Saut dans [45], si on trace la fonction     

alors les racines relles de sont les intersections de la courbe reprsentative de et de la droite horizontale dordonne (voir la gure VII.1.3). Toutes les racines relles de ont le mme signe (qui correspond au signe de ), on peut supposer . En effet, dans le cas contraire,   aurait  toutes  ses racines relles ngatives et la vitesse serait dcroissante, ce qui contredit et . Lquation (VII.1.4)   et admet alors trois racines distinctes relles si et seulement si , tant donnes par (voir gure VII.1.3) :          o  (VII.1.5) 



  . La drive  est Etude du cas dune seule solution relle : Cest en particulier le cas lorsque   constante sur et les conditions aux limites lui impose la valeur . On en dduit toutes les autres composantes de la contrainte : ,

   6  6 
    6  
%    6 6   

148

Chapitre 7. Applications et rsultats




F IG . VII.1.3: fonction

pour diffrentes valeurs du paramtre

Dans ce cas, on retrouve la solution stationnaire en vitesse correspondant au uide newtonien (i.e. premier point de la proposition VII.1.1 est donc dmontr.

). Le

Etude du cas de plusieurs solutions relles distinctes : On montre que dans ce cas, quitte bien choisir 5 , il peut exister des solutions stationnaires dont la vitesse nest plus linaire mais les valeurs de et de afne par morceaux. Plus prcisment, on prouve que si   sont les trois distinctes racines du . alors il existe une partition de trinme en trois ensembles (non forcment connexes !) de mesure    ( ) telle que sur chacun de ces ensembles, (voir la gure VII.1.4).

Pour construire une telle solution, supposons que la vitesse du type :

soit donne par un prol afne par morceaux

 . '.  . 5 . 5 '.  7 sur . 5 '. . 5 ' 7      5 .    Cette vitesse est solution du problme stationnaire sil existe 7   7 tel que   . 5 '. '.  7  . 5 5   55  .    '. 7  7   (VII.1.6)    . '. '.   7 7       , la seconde   . La premire quation imposant aux trois ensembles de recouvrir o   correspondant et la dernire tant quivalente (VII.1.3).

  

 

sur

. 5   

sur






F IG . VII.1.4: exemple dun prol de vitesse stationnaire Il nous suft donc de prouver que le systme (VII.1.6) admet des solutions relles positives. On va procder en trois tapes. Tout dabord (VII.1.6) tant un systme linaire, il est naturel de calculer son dterminant. On va voir quil est nul. Ainsi, lexistence de solution dpend du second membre du systme. Une fois assur

1. Canal sous cisaillement que des solutions relles existent, on montre quil y en a dont toutes les composantes sont positives. Dterminant nul : En crivant le systme linaire sous la forme calculer le dterminant de la matrice : det

149

, la premire chose faire est de

 


5 5

 

 


En otant la premire colonne aux deux suivantes, et en remarquant que


on en dduit det

  

 

 5

(idem pour

     

  5  7   5 5  5   5  7    7   7

  5   7     5    7    5    5   7   7

Or, la somme des trois racines est gale leur produit (daprs les relations entre racines et coefcients du polynme ). On a donc  det

Second membre dans limage : Un vecteur de est dans limage de si et seulement sil est orthogonal au noyau de ladjoint de . On va donc dans un premier temps, dterminer le noyau de :

7


Mais comme les en identiant les coefcients, on en dduit que le noyau de ker

  7      pour        7    sont exactement les trois racines (distinctes) du polynme 



ker

pour

est de dimension


Vect

     

Ce vecteur est toujours orthogonal au second membre du systme (VII.1.6). Une remarque importante est que ceci  est vrai mme si on impose des vitesses diffrentes aux bords du domaine. En effet, en imposant  et , seul le second  membre   (VII.1.6) aurait t modi. Sa deuxime composante   de . Ce second membre est encore orthogonal au noyau scrit et sa dernire composante ker . Dans tous les cas, ceci montre que le systme admet une droite de comme ensemble de solution.

Solutions positives ? Bien que lon ait toutes les solutions du systme, il faut vrier quil existe toujours une solution dont toutes ses composantes sont positives. Pour cela, il suft de prouver que la droite solution passe dans le huitime despace  . On remarque facilement que cette condition quivaut au fait que la . droite coupe lun des quarts de plan .

7  % 7

150

Chapitre 7. Applications et rsultats

Or, il est trs facile de trouver lintersection de la droite solution avec le plan . 5 rsoudre le systme (VII.1.6) lorsque :

5 . 

: il suft de

 .

. 

'.  7. '   7 7  

En faisant la mme tude sur lintersection avec les deux autres plans

       5      

5


5  On remarque alors que lune de ces solutions a toutes 5 ses comsont trois solutions particulires de (VII.1.6). posantes positives si et seulement si (rappelons que lon a ordonn les racines : ).  On vient de voir que lorsque le polynme  a trois racines relles distinctes, alors en choisissant entre les racines, il existe une partition de en trois sous-ensembles telle que sur chacun de ces sous   et ensembles, soit constante, gale lune des trois racines. Par ailleurs, on a montr avant que si si alors il y a effectivement trois racines relles distinctes. On peut donc noncer :

 7     5   

7 7


5 5

   7

 , on en dduit que : .    et  7    7      7 


Lemme VII.1.1  Si

alors il existe

tel que :

Le5 polynme admet racines distinctes

Les valeurs de

(correspondant aux racines simples de , voir gure VII.1.3) tant donnes par   

   7

Ce lemme permet donc de conclure la preuve du second point de la proposition VII.1.1. Remarque VII.1.1  Notons tout dabord que pour , on a obtenu une solution stationnaire dont le prol de vitesse nest pas linaire, ce qui nest pas le cas pour un uide newtonien, mais aussi quil est trs facile de construire maintenant une innit de telles solutions.

En effet, considrons et une solution positive non triviale du systme prcdent. Soit  . une runion dintervalles de mesure totale et tels que :

. 5 .

Alors on peut dnir la fonction

 5  7  

par

. 

si

ce qui fournit une autre solution stationnaire linaire par morceaux.

Le dernier point de la proposition VII.1.1 concerne la stabilit de la solution particulire qui est linaire en vitesse. On vient de montrer que la solution attendue (linaire en vitesse) ntait pas la seule solution stationnaire monodimensionnelle. Plusieurs auteurs ont tudi sa stabilit et on a dans cette partie vri numriquement leurs rsultats de (in-)stabilit. Tout dabord rappelons le rsultat principal ce sujet (C. Guillop et J.C. Saut [45], p.396) :

1. Canal sous cisaillement Proposition VII.1.2   est linairement stable.  alors Si la solution    Si  alors est linairement stable si et seulement si . Les valeurs de tant donnes par (VII.1.5), voir aussi la gure VII.1.3.

151

 

ou

Il faut aussi remarquer que dautres rsultats de stabilit sont prouvs dans [45], concernant en particulier la stabilit au sens de Lyapounov. Les noncs sont du mme type : stabilit de la solution linaire seulement pour ou petit.

Remarque VII.1.2  Dans le cas dun uide de Maxwell (cest dire lorsque ), il est facile de vrier que lon a un compor  tement semblable. En effet, dans ce cas on trouve un polynme de degr dont doit tre solution (comparer ce polynme au polynme , quation (VII.1.4)) :

. '  .  5 5 .   . 5 5 '    . '.         et o est dni par   . Ce o les sont deux racines du polynme / 5 trois quations 5 systme de et deux inconnues nest en fait pas surdtermin. En effet, puisque le produit des    racines vaut et que la somme   vaut  , la dernire quation5 du systme est en fait quivalente 5 les la premire. On montre donc facilement que, ds que deux racines et sont distinctes (cest--dire    . . lorsque  ), le systme admet une solution donne par      5 . 5   5 .   5       est situ entre les deux Cette solution est positive, ou plus exactement a ses deux composantes dans si 

 . Si on cherche des solutions constantes par Ce polynme nadmet des solutions (relles) que pour  morceaux (pour ), il faut donc rsoudre dans le systme suivant :




 

racines. On retrouve donc un rsultat semblable au cas pour le prol de la vitesse.

1.1.2 Validation numrique

, si ce nest quil ny a que deux pentes possibles

On illustre dans ce paragraphe les trois rsultats nonc dans la proposition VII.1.1. Les deux premiers tests prsents (gure VII.1.5) conrment le premier point. On considre un uide initialement au repos. Et on montre comment volue le prol de vitesse au cours du temps. Les nombres  de Reynolds, de Peclet ainsi que le nombre capillaire sont identiques pour les deux uides ( ,   ). exemple est newtonien ( ) alors que le second est visco-lastique Le premier   et  . avec , cest dire

Dans les deux cas, la solution converge vers lunique solution stationnaire thorique. Nanmoins, la diff rence de vitesse de convergence est notable. On va voir par la suite que si dpasse la valeur critique de  alors il ny a plus obligatoirement cette convergence numrique.

152 t=1
1 1

Chapitre 7. Applications et rsultats t=2

1

t=3
1

t=5
1

t=10

0 1 1

0 1 1

0 1 1

0 1 1

0 1 1

0 1 1

0 1 1

0 1 1

0 1 1

0 1 1

F IG . VII.1.5: Evolution en temps du prol de vitesse : cas newtonien (haut), faiblement lastique (bas) Concernant la seconde assertion de la proposition VII.1.1, il faut donc tout dabord prendre un uide  6    trs lastique, par exemple . Et ensuite choisir tel que (ce qui correspond   ). lorsque On a donc ralis un essai numrique correspondant cette plage de paramtres :      

  

Les autres paramtres sont choisis comme ceux prsents dans le test prcdent. La gure VII.1.6 conrme la thorie, savoir que le prol des vitesses ne converge pas vers un prol linaire. Il est aussi trs facile dobserver les sauts de pression et de contrainte qui ont lieu aux mmes endroits que les changements de pentes du prol des vitesses. Contrainte non newtonienne
. .

Prol de vitesse
1

Pression

t=10
0 1 1
. .

t=200
0 1 1
. .

F IG . VII.1.6: Cisaillement dun uide visco-lastique Il est aussi intressant de se demander si les solutions stationnaires bidimensionnelles obtenues en thorie sont vritablement atteintes numriquement. On a vu que dans le cas dun prol linaire, ce rgime stationnaire  la solution obtenue est loin dtre bidimensionnelle. tait trs rapidement atteint. Ici, il est clair qu  . Pour avoir Le prol de la pression par exemple montre que ne dpend pas que de au temps

1. Canal sous cisaillement

153

conrmation quun rgime stationnaire nest pas atteint, on prsente la gure VII.1.7 lvolution en temps long du prol des vitesses. Ce prol reste linaire par morceaux mais ne converge pas. t=10
1 1

t=50
1

t=100
1

t=150
1

t=200

0 1 1

0 1 1

0 1 1

0 1 1

0 1 1

t=250
1 1

t=300
1

t=350
1

t=400
1

t=450

0 1 1

0 1 1

0 1 1

0 1 1

0 1 1

F IG . VII.1.7: Evolution en temps long du prol de vitesse dans le cas visco-lastique Il faut noter que ce type dinstabilit lastique ne correspond pas une instabilit due au shear banding dj connue (voir par exemple [34, 68]). En effet, dans le cas de notre tude, on a montr que lexistence de prols non linaires en la vitesse peut avoir lieu aussi bien des petites vitesses de cisaillement qu de grandes vitesses alors que le phnomne de shear banding existe seulement pour des vitesses moyennes. On a enn essay de vrier numriquement le dernier point de la proposition VII.1.1. Pour tester une   et on laisse voluer le systme. Lorsque  , instabilit, on initialise les donnes  , cette solution ne change pas au cours du temps. Par contre, en choisissant les paramtres rhologiques  et on se trouve alors dans le cas o la solution est thoriquement instable. Ce fait est conrm 6 , gure VII.1.8. par le rsultat au temps

Lignes de courant
.

Prol de vitesse
1

Contrainte non newtonienne

.

t=0
.

0 1 1

t=40
.

0 1 1

F IG . VII.1.8: Instabilit du prol de vitesse linaire La dstabilisation du prol de vitesse est clairement mise en vidence. Une instabilit lastique (cration de contrainte non newtonienne) dstabilise le champ de vitesse. En particulier, le prol de vitesse devient  linaire par morceaux. Il est noter que seules trois pentes diffrentes apparaissent et que possde de

154

Chapitre 7. Applications et rsultats

trs nombreux points de discontinuit. Ce phnomne est d lvolution relativement lente du milieu : ltude analytique du systme (VII.1.6) nest ainsi pas trs loigne du problme dvolution.

1.2 Cas diphasique et la dcomposition spinodale

Mlange newtonien : An davoir une base de comparaison, on va brivement rappeler ce qui se passe dans le cas de la dcomposition spinodale sous cisaillement de deux uides newtoniens. Exprimentalement, le mlange est initialement vitesse nulle dans un systme de Couette-Taylor (gure VII.1.1) et la temprature est porte sous la temprature critique (dbut du cisaillement). Cette chute de temprature va contraindre les deux phases se sparer. Sous laction des vitesses imposes aux bords, chaque phase a ensuite tendance se structurer en bandes (voir [11, 24, 69] pour les diverses expriences physiques). De plus, on sait qu faible vitesse de cisaillement, de tels structures lamellaires sont stables en temps long ; on se restreindra ici de telles vitesses (voir [11] pour une tude numrique plus complte du cas newtonien vitesse de cisaillement lev). Mlange visco-lastique : Au vue des rsultats monophasiques, il est naturel de penser que la viscolasticit des deux phases, ou mme dune seule des deux phases, peut normment inuencer le comportement du mlange sous cisaillement.

5 Dans cette partie, on effectue deux uides visco-lastiques dif 5 donc des tests de cisaillement en prenant et frents (de temps de retard et et de nombre de Weissenberg   ). Quelques rsultats mathmatiques dans ce cadre ont t dmontrs par H. Le Meur [55]. Il tablit aussi bien des thormes dexistence de solutions stationnaires, que des rsultats linaire. En particulier, il prouve que 5 concernant leur stabilit  lorsque les deux paramtres de retard et sont plus petits que  , le comportement est semblable au cas  newtonien : il y a unicit de la solution, qui est linaire par morceaux en la vitesse (le tenseur des contraintes sexprimant directement laide de la vitesse). Chaque bande de uide ayant sa propre valeur de contrainte.  Par contre, dans le cas o lun des paramtres de retard est suprieur  , il montre quil ny a pas toujours unicit (ceci est bien sr rapprocher du rsultat monophasique !).

Applications numriques : La condition initiale est choisie au hasard autour de de sorte que lon
# # ne soit pas dans une zone de mtastabilit du potentiel (ici on a choisi
comme potentiel).  An de permettre une comparaison, dans tous les essais qui suivent, cette condition initiale sera toujours la mme.

On prsente en parallle les rsultats dun mlange de deux uides newtoniens et ceux dun mlange newtonien/visco-lastique. Les paramtres rhologiques du uide visco-lastique (en fonc sur le bas de la   gure VII.1.9) sont , et .

Mme si en temps long, le phnomne de structuration par bandes persiste, plusieurs diffrences sont notables. Tout dabord le temps caractristique dapparition des bandes est plus long dans le cas non newtonien. Dautre part, les bandes sont beaucoup plus larges dans le cas visco-lastique. Bien entendu, les vitesses de cisaillement sont les mmes dans les deux tests : la topologie et le nombre de bandes dpendent donc fortement de llasticit et de la viscosit.

2. Etirements de bres t=1

.

155 t=2
.

t=4
.

t=10
.

t=100
.

F IG . VII.1.9: Dcomposition spinodale sous cisaillement : mlange newtonien (haut), viscolastique/newtonien (bas) Pour ce qui est des prols de vitesse, l encore, comme dans le cas monophasique, ils sont non linaires pour des uides visco-lastiques. Nanmoins, on remarque une correspondance entre les discontinuits de pente et les changements de phase (gure VII.1.10). Une tude de ce phnomne est dtaille dans [55].
.

0 1 1

F IG . VII.1.10:  Composition et prol de vitesse pour un mlange newtonien/visco-lastique en cisaillement au temps

2 Etirements de bres
Les exprimentations physiques de cette partie ont t ralises par A. Colin et O. Grefer au Centre de Recherche Paul Pascal (Bordeaux). Lexprience physique consiste injecter un uide dans un autre laide dune buse tout en tirant cette buse vers larrire (voir gure VII.2.1).

FLUID 2

FLUID 1

F IG . VII.2.1: Processus exprimental

156

Chapitre 7. Applications et rsultats

Lexprience a lieu essentiellement dans le plan horizontal de dplacement de la buse (la profondeur du bassin tant ngligeable devant les autres tailles caractristiques). En particulier, les deux uides ayant des densits voisines, on ngligera la gravit. Par ailleurs, il est clair que deux vitesses caractrisent lcoulement, dune part la vitesse laquelle est inject le uide, dautre part la vitesse de dplacement de la buse.

F IG . VII.2.2: Dispositif exprimental, photo : C.R.P.P., voir [24]

Dans cette situation, les viscosits des uides en prsence ont une grande inuence sur lcoulement : taille des gouttes, largeur  des laments, etc. Dans les situations physiques rencontres [24, 28], le uide inject est gnralement fois plus visqueux que lautre uide. Cest donc ce rapport de viscosit que nous avons choisi dans les simulations numriques prsentes ici.

Dcrivons tout dabord ce qui est observ exprimentalement. Les tests ont t raliss au C.R.P.P. par A. Colin et O. Grefer avec des uides newtoniens. Deux cas de gure se sont dgags : soit le jet se brise en gouttelettes, soit le jet produit un long lament. Les deux modes obtenus dpendent uniquement des deux   vitesses imposes, la vitesse dinjection note inj et la vitesse de dplacement de la buse, dis . Lapparition de ces deux rgimes peut tre rsum dans un diagramme de phase. Plus prcisment, ils ont montr exprimen  talement lexistence dune droite dans le plan des vitesses inj dis sparant les deux modes (g. VII.2.3).

2. Etirements de bres

157

F IG . VII.2.3: Diagramme de phase obtenu exprimentalement, voir [24]

Pour simuler cette exprience, on se place dans le rfrentiel de la buse de sorte que lon peut imposer les conditions aux bords dcrites par la gure ci-contre. Les paramtres physiques ont t choisis en accord avec A. Colin [24] :

      pour les uides non newtoniens.



En ce qui concerne le cas newtonien (lorsque les deux uides sont newtoniens) le diagramme de phase que nous avons trouv est similaire celui dtermin par les exprimentations physiques (schma de gauche de la gure VII.2.5). On distingue nettement le mode par exemple pour le jeu de vitesse   continu  obtenu      et le mode pointill obtenu pour inj , dis (gure VII.2.4). inj dis

t=1
.

t=2
.

t=4
.

t=1
.

t=2
.

t=4
.

F IG . VII.2.4: Exemple des deux modes obtenus dans le cas newtonien : continu gauche et pointill droite

158

Chapitre 7. Applications et rsultats

Nous comparons ici ce diagramme de phase avec celui obtenu numriquement pour des uides viscolastiques (gure VII.2.5). Bien que lon retrouve les deux modes attendus (continu et pointill), de nombreuses diffrences sont visibles : en particulier la droite sparant les deux modes na pas la mme pente   dans le cas newtonien, et proche de  dans le cas visco-lastique). (proche de

Fluides newtoniens
injection velocity injection velocity

Fluides visco-lastiques

1.5

1.5

0.5

continuous mode dotted mode

0.5

continuous mode dotted mode

0 0 1 2 3 dislacement velocity

0 0 1 2 3 dislacement velocity

F IG . VII.2.5: Diagrammes de phase obtenus numriquement : newtonien (gauche) et visco-lastique (droite) Si le diagramme de phase reprsente bien la situation globale, il est aussi intressant dobserver les diffrences tolologiques entre les injections de uides newtoniens et celles de uides visco-lastiques. Autant dans le cas newtonien, lorsque le jet se brise en goutelettes, les gouttes sont rgulires, autant ce nest plus du tout le cas pour un jet visco-lastique. Lexemple de la gure VII.2.6 illustre ceci ( comparer avec la gure VII.2.4). t=1
.

t=1.4
.

t=1.8
.

t=2.2
.

t=2.5
.

F IG . VII.2.6: Comportement dun jet pour

inj

 dis 

: cas visco-lastique

Lapparition dinstabilits de Rayleigh des vitesses relativement petites : de telles instabilits ont t   observes plus facilement lorsque la taille de la buse tait plus grande. A vitesse dinjection xe inj ,  cette instabilit a lieu pour des uides visco-lastiques ds que dis dpasse alors que dans le cas newto nien, il faut que dis soit suprieure (gure VII.2.7). Ceci peut sexpliquer de la faon suivante : on sait que de telles instabilits ont lieu pour des grands nombres de Reynolds et relativement grande vitesse. Ici, bien entendu le nombre de Reynolds est le mme dans les deux tests en imposant un uide dtre + mais non newtonien, on change aussi sa viscosit (elle est multiplie par ). On change donc articiellement  (  .

"

3. Remplissage de cuve

159

Fluides newtoniens t=0.5

.

Injection visco-lastique dans un uide newtonien t=0.5

. .

t=2

t=2
.

F IG . VII.2.7: Instabilit grande vitesse :

inj

 et  dis 6 

Dautres aspects dus aux effets visco-lastiques ont t observs, par exemple la diffrence de forme du jet la sortie de la buse dans le cas newtonien et dans le cas visco-lastique. Une tude complte de cette  ) est ralise dans [49]. Schmatiquement, les sorties de diffrence dans le cas dinjection simple ( dis jet peuvent tre trs diffrentes selon la visco-lasticit (et la vitesse dinjection) du uide, voir les schmas VII.2.8. Des diffrences du mme type sont nettement visibles sur les essais prcdents, gure VII.2.7.

 F IG . VII.2.8: Trois exemples de sortie de jet simple (

 )

3 Remplissage de cuve
Dans lindustrie du moulage, les polymres utiliss ont frquemment des proprits visco-lastiques. Il est donc important de connatre leur comportement et en particulier de savoir si aprs avoir effectu un moulage, il reste des bulles dair dans la pice obtenue. Lintrt des simulations qui suivent est de pouvoir observer les inuences a priori de tel ou tel paramtre sur lventuelle formation de cavits. Un uide (en noir dans les tests prsents) est inject dans  une cuve contenant initialement lautre uide fois plus dense que lautre uide (rapport (blanc). La gravit est ici prise en compte et le uide inject est eau/air). On remplit la cuve jusquau trois cinquimes avant darrter linjection et dobserver la stabilisation.

Plusieurs tests ont t raliss : newtonien ou visco-lastique. Les premiers rsultats que lon prsente ici (gures VII.3.1 et VII.3.2) correspondent respectivement au cas newtonien et totalement visco-lastique

160

Chapitre 7. Applications et rsultats

(dans ce dernier cas, les deux uides ont des proprits dlasticits), la vitesse dinjection est gale (nous stoppons donc le jet au temps ). Dans le cas non newtonien, de plus nombreuses bulles sont formes ce qui perturbe la stabilisation. Ce phnomne est bien connu des physisiens et est la cause de trs nombreux problmes dans lindustrie. t=1
.

t=3
.

t=6
.

t=7
.

t=9
.

t=12
.

F IG . VII.3.1: Remplissage de cuve : cas newtonien t=1

.

t=3
.

t=6
.

t=7
.

t=9
.

t=12
.

F IG . VII.3.2: Remplissage de cuve : cas visco-lastique Lorsque la vitesse dinjection est plus faible ( inj ), on a mis en vidence linfuence du nombre de Weissenberg sur le remplissage dune cuve. On remplit une cuve contenant initialement un uide newtonien (en blanc sur les gures page suivante) laide dun uide plus ou moins lastique. Cette lasticit tant dtermine par le nombre de Weissenberg. Dans les quatre tests que lon expose ici, le premier est newtonien et sert de base de comparaison, les trois suivants sont visco-lastiques avec les paramtres dlasticit suivants test



test

Dans les trois cas visco-lastiques, on a choisit adopts (voir [78]). Le paramtre de retard vaut identiques dans toutes les expriences :

  ce qui correspond aux comportements gnralement   . Pour ce qui est des autres paramtres, ils sont

test



5        (  ( 

  

De nombreuses diffrences de comportement sont remarquables : tout dabord la diffrence du comportement de linjection elle-mme (paiseur du jet dautant plus grande que le uide est visco-lastique). Ensuite on peut noter que le remplissage proprement dit se rapproche de plus en plus dun comportement solide lorsque  le nombre de Weissenberg devient grand (forme dun tas de sable). Et enn, le jet tant stopp au temps et la stabilisation observe au temps met en vidence lexistence ou non de bulles au sein du mlange.

3. Remplissage de cuve t=1.33

.

161 t=5
.

t=10
.

t=18
.

t=36
.

Newtonien



F IG . VII.3.3: Remplissage de cuve : comportement topologique en fonction du nombre de Weissenberg

162

Chapitre 7. Applications et rsultats

163

Conclusion et perspectives

Conclusion et perspectives

165

Conclusion
Au cours de ces travaux on a propos un modle physique dcrivant lvolution des mlanges de deux uides non newtoniens. On a ensuite effectu une tude thorique, numrique et qualitative de ce modle. Les exprimentations numriques effectues attestent de la pertinence du modle.

Au cours de la premire partie, on sest intress la mise en place dun modle pour ltude des coulements diphasiques visco-lastiques. Au del des quations de Navier-Stokes grant les proprits hydrodynamiques dun uide, on a exprim dune part le caractre diphasique du milieu en faisant intervenir un paramtre dordre (fraction volumique dune phase dans le mlange) et en prenant en compte les thories de Cahn et Hilliard sur les interactions thermodynamiques entre les deux phases, dautre part leffet visco-lastique grce une loi comportementale de type Oldroyd. Ces trois phnomnes (coulement, diphasique et viscolastique) sont fortement coupls. Tout dabord, la vitesse moyenne du mlange agit sur linterface par lintermdaire du transport du paramtre dordre. La thermodynamique de linterface engendre un terme de force de tension de surface dans les quations de NavierStokes via les lois fondamentales de la mcanique. Ensuite, la prise en compte du caractre non-newtonien engendre elle aussi lapparition dun terme supplmentaire aux lois de conservation de la quantit de mouvement : leffet visco-lastique revient ajouter des forces intrieures de contrainte. Ces forces de contrainte vrient une loi dOldroyd exprimant le fait que le uide possde une mmoire. Enn, les temps caractristiques mesurant cet effet mmoire dpendent de la composition du mlange et sont eux mme naturellement coupls la loi dvolution du paramtre dordre.

Au cours de la seconde partie, on a tudi les proprites mathmatiques du modle. An de se concentrer sur le caractre visco-lastique, on sest plac dans le cas o la mobilit est non dgnre, le potentiel non singulier et o les deux phases ont mme densit. On a commenc par montrer des rsultats dexistence et dunicit en prsence de diffusion en contrainte. Dans ce premier cas, les mthodes sont proches de celles utilises dans le cadre newtonien. Suivant le choix  de la drive objective et de la dimension de ltude ( ou ), on a obtenu des rsultats dexistence faible ou forte, locale ou globale. On a ensuite obtenu certains rsultats pour un modle sans diffusion de la contrainte. La dmarche a t diffrente et les techniques fondes sur les travaux concernant les modles monophasiques. Au cours de ses travaux, des estimations dnergie originales ont permis dobtenir un rsultat dexistence globale donnes petites, sans supposer que le uide soit peu visco-lastique. Ce dernier rsultat ntait jusqualors pas connu, mme dans le cas monophasique. Enn, il a paru intressant de savoir si la prsence ou non de viscosit en contrainte, aussi petite soit-elle, avait une inuence sur le rsultat. On montre que lorsque la diffusion en contrainte devient petite, il se cre une couche limite au bord du domaine, mais qu lintrieur du domaine dtude, la solution converge bien vers la solution sans diffusion en contrainte. Plus exactement, on a montr quune couche limite se cre au premier ordre sur la contrainte alors quelle napparait quau second ordre sur la vitesse. De plus, concernant cette couche limite en vitesse, elle nest prsente que sur la composante tangentielle de la vitesse.

166

Conclusion et perspectives

Dans la dernire partie, on a valid qualitativement le modle via la mise en place dun schma numrique. On a apport un soin particulier la discrtisation des termes de transport, aussi bien dans lquation sur le paramtre dordre que dans les quations de Navier-Stokes et la loi dOldroyd. Le schma choisi pour discrtiser ce terme est un schma de Runge-Kutta en temps, antidiffus en espace de faon garder une proprit de positivit (an dassurer la conservation de la composition du mlange au cours du temps par exemple). Une discrtisation originale de la loi de type Oldroyd permet de suivre correctement lvolution du tenseur des contraintes. Cette discrtisation a t ralise de faon pouvoir tre utilise dans des situations physiques varies. Ainsi, on peut traiter aussi bien les cas o les deux phases sont visco-lastiques, que les cas o lune des deux phases est newtonienne. Aprs avoir montr des proprits de stabilit du schma numrique, on a ralis plusieurs applications proches de contextes physiques bien prcis. On a tout dabord observ le comportement des uides complexes sous cisaillement. Dans le cas monophasique, des diffrences comportementales entre uides newtoniens et visco-lastiques ont t clairement mises en vidence. Des instabilits, mme faible cisaillement, ont t observes. Dans le cas diphasique, on a compar les dcompositions spinodales obtenues avec des uides newtoniens et celles obtenues avec des uides non newtoniens. Le caractre visco-lastique rduit la formation de bande lors du cisaillement au point de ne plus observer aucune stratication, mme en temps long. Ensuite, des tirements de bres ont t raliss la fois numriquement et exprimentalement. Ces tests ont permi de comparer le code numrique et les comportements rels des uides, et ainsi de valider le modle. Enn, on a ralis des tests de remplissage de cuve mettant encore une fois laccent sur les proprits dinstabilit des uides complexes dont font partie les uides visco-lastiques. Des diffrences de formation de bulles au sein du mlange ont ainsi t mises en vidence.

Perspectives
A la suite de cette tude, de nombreuses questions peuvent tre poses. Tout dabord au sujet du modle considr. Peut-on ltendre des situations plus gnrales ?

On peut dores et dj penser des modles triphasiques visco-lastiques en tendant lnergie de CahnHilliard aux cas des systmes (voir [60, 66]). Il va sans dire que de tels travaux pourraient aboutir de nombreuses applications. Concernant la loi constitutive pour la contrainte, il existe de nombreux autres modles pour des uides visco-lastiques qui peuvent tre facilement adapts (modles de Giesekus, Phan-Thien et Tanner... dcrits dans le second chapitre). Dautres modles sont aussi connus pour tre plus proche de certains uides complexes. Cest le cas des modles de type F.E.N.E. tudis par R. Keunings [51, 52], H.C. ttinger [70]... mais ils sont assez diffrents du modle tudi au cours de ces travaux.

Concernant la partie thorique de cette thse, il serait videmment trs intressant de pouvoir montrer des rsultats mathmatiques pour des mlanges non homognes. On a dj signal que des travaux existaient ce sujet (voir [11]) mais ces rsultats ne couvrent pas les cas o les deux phases ont des densits loignes, ). comme cest souvent le cas physiquement (le rapport des densits dans un mlange eau/air est de

Bien entendu, du point de vue thorique, de nombreuses questions restent encore ouvertes au sujet des uides visco-lastiques, ne serait-ce monophasiques. Des cas simplis mais rpondant nanmoins des besoins physiques peuvent tre envisags. On peut par exemple penser tout ce qui touche la micro-uidique, la

Conclusion et perspectives

167

mdecine et la circulation sanguine : en se plaant dans des domaines minces (micro-canaux ou artres), les quations peuvent dgnrer et on peut alors esprer obtenir plus de rsultats. Des travaux en collaboration avec Thierry Colin et Iraj Mortazavi sont actuellement en cours sur ce sujet.

Enn, concernant ltude numrique qui a t mene, il est vident quun passage un code tridimensionnel permettrait dobserver une varit plus large de phnomnes physiques, en particulier pour des remplissage de cuve avec coins, des crations de rouleaux dans une cellule de Couette...

168

Conclusion et perspectives

169

Bibliographie

Bibliographie

171

Bibliographie
[1] R.A. Adams, Sobolev spaces, Pure and Applied Mathematics, Vol. 65, Academic Press, New York (1975) [2] S. Agmon, Lectures on elliptic boundary value problems, Van Nostrand mathematical studies 2 (1965) [3] P. Angot, C.H. Bruneau, P. Fabrie, A penalisation method to take into account obstacles in incompressible viscous ows, Numer. Math., 81, pp 497-520 (1999) [4] H.A. Barnes, J.F. Hutton, K. Walters, An introduction to Rheology, Elsevier Science Publishers B.V., Amsterdam (1989) [5] H.W. Barrett, J.F. Blowey, Finite elements approximation of the Cahn-Hilliard equation with concentration dependent mobility, Mathematics of Computation, 68, pp 487-517 (1999) [6] M. Berger, B. Gostiaux, Gomtrie diffrentielle : varits, courbes et surfaces, PUF (1987) [7] J.P. Bourgignon, H. Brezis, Remarks on the Euler Equation, J. Funct. Anal. 15, pp 341-363 (1974) [8] F. Boyer, Mathematical study of multiphase ow under shear through order parameter formulation, Asymptotic Analysis, Vol. 20 n.2, pp 175-212 (1999) [9] F. Boyer, A theoretical and numerical model for the study of incompressible mixture ows, Computers and Fluids Vol. 31 no 1 (2002) [10] F. Boyer, Nonhomogeneous Cahn-Hilliard uids, paraitre dans Annales de lIMP : Analyse nonlinaire (1999) [11] F. Boyer, Ecoulements diphasiques de type Cahn-Hilliard, Thse de Doctorat, MAB, Universit Bordeaux 1 (2001) [12] F. Boyer, L. Chupin, P. Fabrie, Numerical study of viscoelastic mixtures through a Cahn-Hilliard ow model, soumis European Journal of Mechanics, B-uids. [13] F. Boyer, P. Fabrie, Elments danalyse pour ltude de quelques modles dcoulements de uides visqueux incompressibles, en prparation [14] H. Brezis, Analyse fonctionnelle, thorie et applications, Masson (1983) [15] C.H. Bruneau, P. Fabrie, P. Rasetarinera, An accurate nite difference scheme for solving convectiondominated diffusion equations, Internat. J. Num. Methods Fluids, Vol 24, pp 169-183 (1997) [16] J.W. Cahn, On spinodal decomposition, Acta. Metall., 9, pp 795-801 (1961) [17] J.W. Cahn, J.E. Hilliard, Free energy of non-uniform system. I. Interfacial free energy, J. Chem. Phys. 28, pp 258-267 (1958) [18] G. Carbou, P. Fabrie, O. Gus, Couche limite dans un modle de ferromagntisme, Commun. Partial Differ. Equations, vol. 27, 7-8, pp 1467-1495 (2002) [19] L. Cattabriga, Su un problema al contorno relativo al sistema di equazioni di Stokes, Rend. Sem. Mat. Univ. Padova 31, pp 308-340 (1961) [20] R. Chella, J. Vinals, Mixing of two-phase uids by a cavity ow, Physical Review E 53, pp 3832-3840 (1996)

172

Bibliographie

[21] J.Y. Chemin, B. Desjardins, I. Gallagher, E.Grenier, Ekman boundary layers in rotating uids, A tribute to J. L. Lions, ESAIM Control Optim. Calc. Var. 8, pp 441-466 (2002) [22] L. Chupin, Existence result for a mixture of non Newtonian ows with stress diffusion using the CahnHilliard formulation, Discrete and Continuous Dynamical Systems B, vol. 3, 1 , pp 45-68 (2003) [23] L. Chupin, Some theoritical results concerning diphasic viscoelastic ows of the Oldroyd kind, en prparation [24] A. Colin (Centre de Recherche Paul Pascal), Communications personnelles [25] P. Constantin, C. Foias, Navier-Stokes Equations, University of Chicago Press (1989) [26] Y. Demay, C. Jouron, J.C. Saut, Calculs dcoulements visco-lastiques pour la mise en forme des polymres, Optimisation et controle (Sophia-Antipolis) Cpadus Toulouse, pp 113-131 (1992) [27] M. Doi, Dynamics of domains and textures, Theoretical Challenges in the dynamics of complex uids, pp 293-314 (1997) [28] J. Eggers, Nonlinear dynamics and breakup of free-surface ows, Rev. of Mod. Physics, Vol.60, No.3, pp 865-929 (1997) [29] A.W. El-Kareh, L.G. Leal, Existence of solutions for all Deborah numbers for a non-Newtonian model modied to include diffusion, J. Non-Newtonian Fluid Mech. 33, No.3, pp 257-287 (1989) [30] C. M. Elliott, H. Garcke, On the Cahn-Hilliard Equation with degenerate mobility, Siam J. Math. Anal. 27, n 1 , pp 404-423 (1996) [31] P. Fabrie, Contribution ltude de la convection naturelle en milieu poreux, Thse dtat, Universit Bordeaux 1 (1987) [32] E. Fernandez-Cara, F. Guillen, R.R. Ortega, Some Theoritical Results Concerning Non Newtonian Fluids of the Oldroyd Kind, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4), vol XXVI, pp 1-29 (1998) [33] E. Fernandez-Cara, F. Guillen, R.R. Ortega, Existence et unicit de solution forte locale en temps pour - ), C.R. Acad. Sci. Paris, t. 319, I, pp 411-416 des uides non newtoniens de type Oldroyd (version (1994) [34] S.M. Fielding, P.D. Olmsted, Flow phase diagrams for concentration-coupled shear banding, Eur. Phys. J. E 11, pp 65-83 (2003) [35] M. Fortin, R. Glowinski, Augmented lagrangian methods : applications to the numerical solution of boundary-value problems, Vol 15 of Studies in Mathematics and its applications. North-Holland Publishing Comp. (1983) [36] P. Germain, Cours de mcanique des milieux continus, Tome 1, Masson (1973) [37] H. Giesekus, A simple constitutive equation for polymer uids based on the concept of deformationdependent tensorial mobility, J. non-Newtonian Fluid Mech., 11, pp 69-109 (1982) [38] E. Godlewski, P.A. Raviart, Hyperbolic systems of conservation laws, Marketing Editions (1991) [39] E. Grenier, O. Gus, Boundary layers for viscous perturbations of noncharacteristic quasilinear hyperbolic problems, Journal of Differential Equations, 143, pp 110-146 (1998) [40] A. Groisman, V.Steinberg, Phys. Fluids 10, pp 2451 (1998) [41] A.Groisman, V.Steinberg, Nature, Vol. 405, pp 53-55 (2000) [42] O. Gus, Perturbations visqueuses de problmes hyperboliques et couches limites, Ann. Inst. Fourier, Grenoble, 45, 4, pp 973-1006 (1995) [43] C. Guillop, J.C. Saut, Rsultats dexistence pour des uides viscolastiques la loi de comportement de type diffrentiel, C. R. Acad. Sci. Paris, t.305, Srie I, pp 489-492 (1987)

"  "

Bibliographie

173

[44] C. Guillop, J.C. Saut, Existence Results for the Flow of viscoelastic Fluids with a differential, Nonlinear Analysis, Vol. 15 n.9, pp 849-869 (1990) [45] C. Guillop, J.C. Saut, Global existence and one-dimensional nonlinear stability of shearing motions of viscoelastic uids of Oldroyd type, Rairo model Math. Anal. Num., Vol. 24 n.3, pp 369-401 (1990) [46] J.D. Guton, M. San Miguel, P.S. Sahni, Phase transitions and critical phenomena, Vol. 8, ed. by Domb and Lebowitz (Academic, London) (1983) [47] C.O. Horgan, Korns inequalities and their applications in continuum mechanics, SIAM Review 37 No. 4, pp 491-511 (1995) [48] L. Hrmander, Progress in Nonlinear Differential Equation and their Applications, 21, Birkhauser Boston Inc., Boston, MA (1996) [49] D. D. Joseph, Fluid Dynamics of Viscoelastic Liquids, Springer (1990) [50] D. D. Joseph, M. Renardy, J.C. Saut , Arch. Rat. Mech. Anal., 87, pp 213-251 (1985) [51] R. Keunings, Computer Modeling for Polymer Processing, C.L.Tucker III, Hanser Publishers (1989) [52] R. Keunings, Macroscopic Simulations with Differential Constitutive Equations, Ecole CEA-EDFINRIA, Modlisation numrique de polymres lchelle msoscopique, INRIA Rocquencourt, 13-16 novembre (2000) [53] O. Ladyzhenskaya, The Mathematical Theory of Viscous Incompressible Flow, Gordon and Breach (1969) [54] R.G. Larson, T.C.B. McLeish, J. Rheol., 42, pp 81-110 (1998) [55] H. Le Meur, Non-uniqueness and linear stability of the one-dimensional ow of multiple viscoelastic uids, Math. Model. and Num. Anal., Vol. 31, 2, pp 185-212 (1997) [56] J.L. Lions, Quelques mthodes de rsolution des problmes aux limites non linaires, Dunod (1969) [57] J.L. Lions, E. Magenes, Problmes aux limites non homognes et applications, Dunod (1968) [58] P.L. Lions, N. Masmoudi, Global solutions for some Oldroyd models of non Newtonian ows, Chin. Ann. Math., Ser. B 21, 2, pp 131-146 (2000) [59] J.S. Lowengrub, L. Truskinovsky, Quasi-incompressible Cahn-Hilliard uids and topological transitions, Proc. Royal Soc. of London, Serie A, vol. 454, pp 2617-2654 (1998) [60] S. Maier-Paape, B. Stoth, T. Wanner, Spinodal decomposition for multicomponent Cahn-Hilliard systems, J. Statist. Phys. 98 , no. 3-4, pp 871-896 (2000) [61] G. Marrucci, Dynamics of entanglements : A nonlinear model consistent with the Cox-Merz rule, J. non-Newtonian Fluid Mech., 62, pp 279-289 (1996) [62] Guy Mtivier, Cours de D.E.A. 2002/2003, Universit Bordeaux I. [63] A. Miranville, Upper bound on the dimension of the attractor for the shear-layer ow in space dimension , In Dynamical Systems (Stockholm, 1992), pp 61-74. World Sci. Publishing, River Edge, NJ (1993) [64] L. Molinet, R. Talhouk, On the global and periodic regular ows of viscoelastic uids with a differential constitutive law, paraitre dans Nonlinear Differential Equations and Applications. [65] S.J.Muller, R.G Larson, E.S.G Shaqfed, Rheol. Acta. 28, pp 499 (1989) [66] A. Novick-Cohen, Triple-junction motion for an Allen-Cahn/Cahn-Hilliard system, Phys. D 137, no. 1-2, pp 1-24 (2000) [67] J.G. Oldroyd, On the formation of rheological equations of state, Proc. R. Soc. Lond. A200, pp 523-541 (1950) [68] P.D. Olmsted, Two-state shear diagrams for complex uids in shear ow, Europhys. Letter, 48, 3, pp 339-345 (1999)

174

Bibliographie

[69] A. Onuki, Phase transitions of uids in shear ow, J. Phys. Condens. Matter 9, pp 6119-6157 (1997) [70] H.C. ttinger, Nonequilibrium thermodynamics - a tool for applied rheologists, Appl. Rheol., 9, pp 17-26 (1999) [71] R.G. Owens, Une introduction la mcanique de uides non-newtoniens, Notes de cours (2002) [72] N. Phan-Thien, R. Tanner, A new constitutive equation derived from network theory, J. non-Newtonian Fluid Mech., 2, pp 353-365 (1977) [73] M. Reiner, The Deborah number, Physics Today, pp 17-62 (1964) [74] M. Renardy, Nonlinear stability of ows of Jeffreys uids at low Weissenberg numbers, Arch. Rational Mech. Anal. 132, pp 37-48 (1995) [75] J.B. Salmon, A. Colin, S. Manneville, Velocity proles in shear-banding wormlike micelles, J. Phys. Rev. Lett., 90, pp 228303-228307 (2003) [76] D. Sanchez, Boundary layer on a high-conductivity domain, Commun. on Pure and Applied Analysis, vol. 1, 4, pp 547-564 (2002) [77] D. Sandri, Numerical study of a new nite element method for the approximation of viscoelastic uid ow problem, Preprint Lyon1 (2003) [78] P. Saramito, Simulation numrique dcoulements de uides viscolastiques par lments nis incompressibles et une mthode de directions alternes-applications, Thesis, I.N.P.Grenoble (1990) [79] L. Schwartz, Distributions valeurs vectorielles, I, Annales Inst. Fourier, 7, pp 1-141 (1957) [80] E.S.G. shaqfed, Annu. Rev. Fluid. Mech. 28 pp 129 (1996) [81] J. Simon, Compact sets in the space

"    , Ann. Mat. Pura Appl. (4) 146, pp 65-96 (1987)

[82] M. Sussman, A.S. Almgren, J.B. Bell, P. Colella, L.H. Howell, M.L. Welcome, An adaptative level set approach for incompressible two-phase ows, Journal of Computational Physics, 148, pp 81-124 (1999) [83] R. Temam, Navier Stokes Equations, North-Holland (1977) [84] R. Temam, Innite-dimensional dynamical systems in mechanics and physics, Applied Mathematial Science 68, Springer-Verlag (1997) [85] R. Temam, Navier Stokes Equations and Nonlinear Functional Analysis, Regional Conference Series in Applied Mathematics (1983) [86] K. Walters, Overview of macroscopic viscoelastic ow, Viscoelasticity and Rheology, Academic Press, pp 47-79 (1976)

Rsum Au cours de la premire partie, on sintresse la mise en place dun modle pour ltude des coulements diphasiques visco-lastiques. Au del des quations de Navier-Stokes grant les proprits hydrodynamiques dun uide, on exprime dune part le caractre diphasique du milieu en faisant intervenir un paramtre dordre (fraction volumique dune phase dans le mlange) et en prenant en compte les thories de Cahn et Hilliard sur les interactions thermodynamiques entre les deux phases, dautre part leffet visco-lastique grce une loi comportementale de type Oldroyd. Au cours de la seconde partie, on tudie les proprits mathmatiques du modle. On montre des rsultats dexistence et dunicit en prsence de diffusion en la contrainte. Des rsultats pour un modle sans cette diffusion sont ensuite obtenus, compltant ainsi les travaux concernant les modles monophasiques. Enn, on montre que lorsque la diffusion en contrainte devient petite, il se cre un phnomne de couche limite au bord du domaine. Dans la dernire partie, on valide qualitativement le modle via la mise en place dun schma numrique. Plusieurs applications proches de contextes physiques bien prcis sont ralises. On observe tout dabord le comportement des uides complexes sous cisaillement dans le cas monophasique ainsi que dans le cas diphasique (dcomposition spinodale). Des diffrences comportementales entre uides newtoniens et viscolastiques sont ainsi clairement mises en vidence. Ensuite, on compare des tirements de bres raliss numriquement avec des expriences relles. Enn, on ralise des tests de remplissage de cuve mettant encore une fois laccent sur les proprits dinstabilit des uides complexes. Mots-Cls Ecoulement diphasique, Fluides visco-lastiques, Equations de Navier-Stokes, Equation de Cahn-Hilliard, Modle dOldroyd, Couches limites, Cisaillement, Dcomposition spinodale.

Abstract In the rst part of this thesis, we are interested in the derivation of a model for the study of the viscoelastic diphasic ows. Beyond the Navier-Stokes equations describing the hydrodynamic properties of a uid, we express on the one hand the diphasic character while using an order parameter (volumic fraction of one phase in the mixture) and by taking of account the theories of Cahn and Hilliard on the thermodynamic interactions between the two phases, on the other hand the viscoelastic effect thanks to a behavioral law of Oldroyd type. In a second part, we study the mathematical properties of the model. We show existence and unicity results in the presence of stress diffusion. Results for a model without this diffusion are then obtained, thus supplementing work relating to the monophasic models. Lastly, it is shown that when the stress diffusion becomes small, a phenomenon of boundary layer at the edge of the domain appears. In the last part, we validate qualitatively the model via the installation of a numerical scheme. Several applications close to physical contexts precise good are carried out. We rst of all observe the behavior of the complex uids under shearing in the monophasic case like in the diphasic case (spinodal decomposition). Behavioral differences between Newtonian and viscoelastic uids are thus clearly highlighted. Then, we compare bre stretchings realized numerically with real experiments. Lastly, we carry out tests of lling of tank once again stressing the properties of instability of the complex uids. Keywords Diphasic ow, Viscoelastic uids, Navier-Stokes equations, Cahn-Hilliard equation, Oldroyd model, Boundary layer, Shear ow, Spinodal decomposition.