PHD Renggli

Rsolution numrique dquations de Navier-Stokes e e e parabolises par des mthodes dlments nis e e ee
Loris Renggli
Dpartement de Mathmatiques e e Ecole Polytechnique Fdrale de Lausanne e e CH-1015 Lausanne
C O L E PO L Y T E C H N IQ U E F DR ALE D E LA U SAN N E
Novembre 1993
a Typeset by AMS-L TEX
Remerciements
Je voudrais en premier lieu adresser toute ma reconnaissance au docteur Philippe Caussignac qui ma incit ` entreprendre ce travail et qui la dirig. ea e Je souhaite galement apporter mes plus vifs remerciements ` Madame le proe a fesseur L. Halpern, de lUniversit de Paris 13, ainsi qu` Messieurs les professeurs e a M. Deville, du Dpartement de Gnie Mcanique de lEcole Polytechnique Fdrale e e e e e de Lausanne, et P. Lesaint, de lUniversit de Besanon, pour mavoir fait lhonneur e c dtre membres du jury. e Jaimerais encore remercier tous mes coll`gues du Dpartement de Mathmae e e tiques qui ont contribu par les nombreuses et intressantes discussions que nous e e avons eues ` llaboration de cette th`se. a e e Je voudrais aussi tmoigner ma reconnaissance ` toutes les autres personnes qui, e a directement ou indirectement, mont permis de mener ` bien ce travail. a Enn, je suis reconnaissant au Fonds National Suisse pour la Recherche Scientique qui a nanc en partie ce travail. e
ii
Rsum e e
Nous nous intressons dans ce travail aux quations de Navier-Stokes parabolises e e e bidimensionnelles incompressibles et compressibles. Dans le cas incompressible, un rsultat dexistence dune solution est prsent e e e pour les quations linarises. La technique utilise sinspire de la thorie des syse e e e e t`mes symtriques positifs de Friedrichs, en particulier pour la dtermination des e e e conditions aux limites. Quelques rsultats sur une perturbation des quations sont e e en outre tablis. e Ensuite, nous proposons un schma numrique bas sur des lments nis dise e e ee continus pour lequel nous tablissons une majoration de lerreur. Ce schma inclut e e un terme de stabilisation sans lequel nous montrons que des instabilits peuvent ape para tre. Nous proposons galement un algorithme de rsolution pour les quations e e e non linaires. e La discrtisation utilise dans le cas incompressible est ensuite tendue au cas e e e compressible, et une mthode dadaptation de maillage avec un crit`re bas sur une e e e estimation de lerreur dinterpolation est mise en uvre. Des rsultats numriques sont prsents dans le cas incompressible pour lequel e e e e nous mettons en vidence les instabilits mentionnes plus haut. Dans le cas come e e pressible, des rsultats sans et avec adaptation de maillage sont prsents et permete e e tent de constater les avantages de la mthode avec adaptation. e
iii
iv
Abstract
In this work we deal with the 2-D Parabolized Navier-Stokes equations in both the incompressible and compressible cases. In tions. linear tions. the incompressible case, we give an existence result for the linearized equaWe use techniques inspired from Friedrichs theory of symmetric positive dierential systems, particularly for the determination of the boundary condiSome results concerning a perturbation of the equations are also presented.
Then, a numerical scheme based on discontinuous nite elements is proposed for which we establish error estimates. This scheme includes a stabilization procedure and we show that without it instabilities can occur. We also give an algorithm for the resolution of the non-linear equations. The discretization in the incompressible case is extended to the compressible case and an adaptive mesh method is added based on an estimation of the interpolation error. Numerical results are presented for the incompressible equations and we also show the above mentioned instabilities. Results in the compressible case are computed without the adaptive mesh method and with it showing its advantages.
vi
Table des mati`res e

Introduction 1 Prliminaires e 1.1 Le probl`me physique . . . . . . . . e 1.2 Notations . . . . . . . . . . . . . . 1.3 Parabolisation . . . . . . . . . . . . 1.3.1 Equations de Navier-Stokes 1.3.2 Equations PNS . . . . . . . 1 7 7 9 9 10 11 13 15 15 16 18 19 26 27 30 32 34 34 35 36 37 37 44 51 53 54 55 57 65
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
2 Le probl`me continu e 2.1 Reformulation des quations . . . . . . . . . . . e 2.1.1 Adimensionalisation . . . . . . . . . . . 2.1.2 Forme symtrique des quations . . . . . e e 2.1.3 Linarisation . . . . . . . . . . . . . . . e 2.2 Syst`mes de Friedrichs . . . . . . . . . . . . . . e 2.3 Exemples de conditions aux limites admissibles 2.3.1 Equations dEuler incompressibles . . . . 2.3.2 Equations dEuler isentropes . . . . . . . 2.3.3 Equations PNS incompressibles . . . . . 2.3.4 Equations PNS isentropes . . . . . . . . 2.3.5 Equations PNS compressibles . . . . . . 2.4 Rsultats dexistence et dunicit . . . . . . . . e e 2.4.1 Notations et dnitions . . . . . . . . . . e 2.4.2 Formulation faible . . . . . . . . . . . . 2.4.3 Rsultats . . . . . . . . . . . . . . . . . e 2.5 Les quations PNS pnalises . . . . . . . . . . e e e
. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .
3 Approximation numrique e 3.1 Une discrtisation pour les syst`mes de Friedrichs e e 3.2 Un schma avec estimation de lerreur . . . . . . e 3.2.1 Discrtisation . . . . . . . . . . . . . . . . e 3.2.2 Estimation de lerreur . . . . . . . . . . . 3.2.3 Instabilit de la pression . . . . . . . . . . e
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
vii
viii
3.3
Discrtisation dans le cas compressible e 3.3.1 Discrtisation . . . . . . . . . . e 3.3.2 Stabilisation . . . . . . . . . . . 3.3.3 Probl`me non linaire . . . . . e e
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
68 68 69 71 75 77 80 82 83 83 85 86 89 91 91 93 96 96 98 105 108 111 113 113 114 115 115 115 115 116 119 125
4 Adaptation de maillage 4.1 Mthode utilise . . . . . . . . . . . . . . e e 4.1.1 Calcul des estimateurs . . . . . . 4.1.2 Choix des fonctions n . . . . . . 4.2 Implantation . . . . . . . . . . . . . . . 4.2.1 Ranage des maillages . . . . . . 4.2.2 Structures de donnes . . . . . . e 4.2.3 Rsolution des syst`mes linaires e e e 5 Rsultats numriques e e 5.1 Cas incompressible . . . . . . . . . 5.1.1 Ordre de convergence . . . . 5.1.2 Instabilits . . . . . . . . . . e 5.2 Cas compressible . . . . . . . . . . 5.2.1 Couche limite . . . . . . . . 5.2.2 Plaque plane ` Mach 2 . . . a 5.2.3 Un cas ` Mach 5 . . . . . . a 5.2.4 Ecoulement dans un conduit 5.3 Commentaires nals . . . . . . . . A Dtails du schma numrique e e e A.1 Matrices lmentaires . . . . ee A.2 Intgration numrique . . . e e A.3 Calcul des matrices Mi . . . A.4 Conditions aux limites . . . A.5 Structures de donnes . . . e A.5.1 Stockage du maillage A.5.2 Utilisation de MA28 . Bibliographie Curriculum vit
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .
Table des illustrations

1.1 Corps mouss. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . e e 1.2 Plaque plane. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 8
2.1 Domaine . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 3.1 Notations sur une bande. . . . . . . . . . . . . . . . . . . . . . . . . . 55 3.2 Dcentrage amont. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70 e 4.1 4.2 4.3 4.4 5.1 5.2 5.3 5.4 5.5 5.6 5.7 5.8 5.9 5.10 5.11 5.12 5.13 5.14 5.15 5.16 5.17 5.18 5.19 5.20 5.21 5.22 5.23 5.24 Subdivision dun lment. . . . . . . . . ee Subdivision illicite. . . . . . . . . . . . . Nouveaux nuds lors dune subdivision. Arbre quaternaire et lments. . . . . . . ee . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83 84 84 85 92 94 94 95 95 97 97 98 99 99 100 102 102 102 102 102 102 103 104 104 106 106 106 107
Test de convergence. . . . . . . . . . . . . . Cas instable : pression. . . . . . . . . . . . . Cas instable : vitesse. . . . . . . . . . . . . . Stabilisation : pression. . . . . . . . . . . . . Stabilisation : vitesse. . . . . . . . . . . . . . Couche limite : vitesse. . . . . . . . . . . . . Couche limite : temprature. . . . . . . . . . e Maillage. . . . . . . . . . . . . . . . . . . . . Nombre de Mach. . . . . . . . . . . . . . . . Pression. . . . . . . . . . . . . . . . . . . . . Temprature . . . . . . . . . . . . . . . . . . e Itration 1. . . . . . . . . . . . . . . . . . . e Itration 2. . . . . . . . . . . . . . . . . . . e Itration 3. . . . . . . . . . . . . . . . . . . e Itration 5. . . . . . . . . . . . . . . . . . . e Itration 10. . . . . . . . . . . . . . . . . . . e Itration 15. . . . . . . . . . . . . . . . . . . e Nombre de Mach (itration 15). . . . . . . . e Pression (itration 15). . . . . . . . . . . . . e Temprature (itration 15). . . . . . . . . . e e Ecoulement avec incidence : maillage initial. Maillage apr`s 14 itrations. . . . . . . . . . e e Pression. . . . . . . . . . . . . . . . . . . . . Dtail du maillage. . . . . . . . . . . . . . . e
ix
5.25 5.26 5.27 5.28 5.29
Nombre de Mach dans la couche Conduit : maillage initial. . . . Maillage apr`s 28 itrations. . . e e Nombre de Mach. . . . . . . . . Pression. . . . . . . . . . . . . .
limite. . . . . . . . . . . . . . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
107 109 109 110 110
Introduction
Les quations de Navier-Stokes dites parabolises sont issues de la dynamique e e des uides lorsque lcoulement considr est hypersonique. La recherche dans ce e ee domaine a t particuli`rement active ` la n des annes 1950, dbut des annes ee e a e e e 1960, lorsque dbutait la conqute spatiale, puis ` nouveau, dans une moindre mee e a sure, au dbut des annes 1970. Il sagissait dtudier les vols ` tr`s haute altitude e e e a e et tr`s grande vitesse an de permettre le retour sur terre des engins spatiaux, et e plus rcemment de permettre la ralisation de navettes spatiales ainsi que davions e e hypersoniques. Les moyens informatiques ` disposition ` cette poque ntant de a a e e loin pas aussi puissants quaujourdhui, il tait indispensable si lon dsirait faire e e une simulation numrique dutiliser des quations plus simples que celles de Naviere e Stokes, mais qui permettaient nanmoins de tenir compte des phnom`nes appae e e raissant lors dcoulements ` tr`s grande vitesse. Et mme depuis lav`nement des e a e e e super-ordinateurs, les quations de Navier-Stokes restent de nos jours co teuses ` e u a simuler, particuli`rement pour des uides compressibles. e Le mot hypersonique a une dnition peu prcise; il est bien entendu quun e e coulement hypersonique est supersonique, mais certains auteurs consid`rent que e e le rgime hypersonique est atteint si la vitesse est suprieure ` trois fois celle du e e a son, alors que dautres le font dbuter lorsque ce facteur est cinq. Dautres encore e ne parlent dcoulement hypersonique que lorsque non seulement la dynamique des e uides est considre, mais galement les ractions chimiques dues aux tr`s hautes ee e e e tempratures apparaissant dans ces types dcoulements. e e Lorsquun uide scoule autour dun obstacle ` une vitesse susamment leve, e a e e les eets dus ` la viscosit sont concentrs dans un voisinage proche de lobstacle, a e e rgion appele couche limite, et en aval de celui-ci. Une approche frquemment utilie e e se pour simuler numriquement un tel coulement consiste ` considrer sparment e e e a e e e la couche limite de la rgion au-dessus de celle-ci o` lon nglige la viscosit de faon e u e e c
Introduction
` obtenir des quations plus simples. Ainsi, on est amen ` rsoudre les quations a e ea e e de la couche limite de Prandtl dune part, et les quations dEuler pour un uide e idal (i.e. sans viscosit) dautre part. En rgime hypersonique, cette approche nest e e e malheureusement plus praticable. En eet, lpaisseur de la couche limite est alors e proportionnelle au carr du nombre de Mach, et peut donc tre relativement grande, e e voire mme stendre jusquau choc. Il nest alors plus possible dappliquer la thoe e e rie habituelle de la couche limite qui permet le dcouplage mentionn ci-dessus. e e Dautres phnom`nes peuvent se produire interdisant cette mthode. Mentionnons e e e que cest entre 1960 et 1965 que sont parus les premiers (et les seuls) ouvrages traitant des coulements hypersoniques et qui sont aujourdhui encore considrs comme e ee des ouvrages de rfrence. Pour une br`ve introduction a la dynamique des uides ee e ` hypersoniques, voir [And84] ainsi que [Ber88]. On a alors recours ` des syst`mes dquations dont la complexit peut tre consia e e e e dre comme tant ` mi-chemin entre celle des quations de la couche limite et celle ee e a e des quations de Navier-Stokes, et qui sont valides aussi bien dans la couche limite e quen dehors de celle-ci. Un des premiers auteurs ` avoir propos de telles quations a e e a t Davis [Dav70]; elles sont connues sous le nom dquations de la couche de ee e choc mince, et elles ont lavantage dtre de type parabolique, donc de rsolution e e numrique relativement aise. e e Dautres approximations ont t proposes; les quations de Navier-Stokes paraee e e bolises (que nous abrgerons PNS dapr`s la dnomination anglaise Parabolized e e e e Navier-Stokes equations) en sont un exemple et on pourra consulter [ATP84] pour un expos plus complet. e Notons cependant quil existe plusieurs approximations dites parabolises. Celle ` e a laquelle nous allons nous intresser, et qui est attribue ` Lubard et Helliwell [LH74], e e a sobtient en supposant que les termes visqueux et de conduction thermique dans une direction considre comme privilgie de lcoulement sont ngligeables par ee e e e e rapport aux termes de mme nature dans les autres directions. Cest sur la base e dobservations de rsultats exprimentaux qua t fonde cette approximation qui e e ee e peut sobtenir galement de faon formelle en considrant les ordres de grandeurs e c e des dirents termes apparaissant dans les quations de Navier-Stokes, comme pour e e lobtention formelle des quations de la couche limite, mais il nest pas possible ` e a notre connaissance de rendre rigoureuse cette tude. Toutefois, Nataf [Nat89] donne e une justication ` ces quations dans le cas incompressible et apr`s linarisation a e e e
Introduction
en montrant quil est possible de les obtenir en considrant la limite dun certain e oprateur lorsque la viscosit devient petite. e e Contrairement ` ce que leur nom pourrait laisser supposer, les quations de a e Navier-Stokes parabolises ne sont pas de type parabolique. Cest pourquoi Vignee ron et al. [VRT78] ont propos une modication de ces quations an de les rendre e e paraboliques; insistons sur le fait que bien quil soit fait mention dans la littrature e dune mthode de Vigneron pour rsoudre les quations de Navier-Stokes parabolie e e ses, il sagit en ralit dautres quations. e e e e Les quations PNS ont fait lobjet dune abondante quantit de publications e e ces quinze derni`res annes. Nous allons, sans avoir la prtention dtre exhaustif, e e e e citer quelques articles an de cerner les dicults rencontres lors de la rsolution e e e numrique de ces quations. Toutefois, seul laspect numrique est abord, aucun e e e e auteur, ` notre connaissance, nayant abord ltude mathmatique, ` part Nataf a e e e a [Nat89] que nous avons dj` mentionn. ea e Toutes les mthodes numriques sont bases sur des schmas de dirences e e e e e nies, ` de rares exceptions pr`s pour lesquelles ce sont les volumes nis qui ont a e t utiliss. Nous avons dj` cit [LH74] qui ont propos une mthode de rsoluee e ea e e e e tion dans le cas compressible base sur une mthode de marche, i.e. les quations e e e sont rsolues en suivant la direction privilgie de lcoulement de faon explicite1 ; e e e e c par consquent, aucune condition aux limites ` laval nest impose. Cependant, e a e les auteurs ont constat des instabilits se manifestant sous la forme de solutions e e croissant exponentiellement qui ont reu le nom de departure solutions, car elles c apparaissent au dpart de la mthode de marche. Dans [VRT78], ce probl`me est e e e rsolu en faisant une analyse partielle des valeurs propres des matrices du syst`me e e dquations aux drives partielles ayant pour but didentier les termes respone e e sables de linuence provenant de lamont de lcoulement; cette analyse aboutit e ` ne prendre en compte quune fraction du gradient de pression dans la direction a privilgie, et de ce fait, modie les quations ` rsoudre. Tr`s utilise encore de nos e e e a e e e jours, cette approche poss`de le dfaut de ne pas fournir une bonne approximation e e lorsque la zone subsonique est grande. Rubin et Lin dans [RL80] sintressent au e cas incompressible. Ils reconnaissent dans les departure solutions la manifestation dun probl`me mal pos, puisque les mthodes de marche ne tiennent compte e e e
1
Cest une tentative pour exploiter le caract`re parabolique de celles-ci. e
Introduction
daucune condition aux limites ` laval qui sont pourtant requises pour les quaa e tions PNS; ils arment cependant que dans certains cas les solutions numriques e sont satisfaisantes. Une mthode de relaxation de la pression2 est introduite an de e pouvoir continuer ` utiliser malgr tout une mthode de marche pour la rsolution. a e e e Elle consiste ` rsoudre itrativement les quations en utilisant la pression calcule ` a e e e e a litration prcdente. Ceci nest pas pnalisant au niveau des co ts de calcul puisque e e e e u les quations non linaires sont gnralement rsolues de faon itrative. Nous avons e e e e e c e expriment cette mthode dans [CGLR90]. Chilukuri et Pletcher dans [CP80] traie e e tent galement le cas incompressible et utilisent un algorithme itratif o` la pression e e u est mise au second membre et, une fois le champ de vitesse calcul, la pression est e ` son tour calcule en rsolvant un probl`me de Poisson. Les rsultats numriques a e e e e e sont compars avec des solutions calcules pour les quations de Navier-Stokes pour e e e des nombres de Reynolds relativement petits (107500) montrant un cart de 5 pour e cent au plus. Schi et Steger dans [SS80] anihilent galement linuence de lamont e en supprimant les contributions des valeurs propres ngatives dans la dcomposition e e spectrale des matrices jacobiennes des vecteurs de ux; cest donc une technique assimilable ` celle de [VRT78]. Les conditions aux limites sont le sujet principal de a larticle [RS81] de Rudy et Strikwerda. Il sont en accord avec Oliger et Sundstrm o [OS78] pour armer quune condition aux limites est requise ` laval et utilisent une a mthode de rsolution qui ncessite en plus trois conditions aux limites numriques. e e e e La mthode GPR est utilise par Rubin et Reddy dans [RR83] avec la pression done e ne comme condition aux limites ` laval pour des coulements avec sparation. Le e a e e mauvais traitement des conditions aux limites par les mthodes de marche est galee e ment reconnu par Davis, Barnett et Rakich dans [DBR86] et ils font une analyse des departure solutions. De plus, une mthode de shock tting3 est propose dans e e laquelle le choc est trait comme pour un uide sans viscosit4 . Dans sa th`se, Lawe e e rence [Law87] propose lui une mthode originale base sur une variante des schmas e e e de Roe pour les probl`mes hyperboliques. La mthode des volumes nis est utilise e e e par Gielda et Agarwal dans [GA89] en conjonction avec la mthode de [VRT78]. e Mentionnons encore que les quations PNS sont galement utilises pour le calcul e e e dcoulement dans des conduits; voir par exemple [Asl91]. Finalement, Rubin et e
La dnomination anglaise est global pressure relaxation abrge aussi parfois GPR. e e e Le but de cette mthode est de restreindre le domaine de calcul ` la rgion situe entre lobstacle e a e e et le choc en dterminant la position de ce dernier en mme temps que les quations sont rsolues. e e e e 4 Sinon, le probl`me de shock tting serait mal pos; voir ` ce sujet [BC92]. e e a
3 2
Introduction
Tannehill [RT92] est une rfrence rcente faisant une revue des principales mthodes ee e e utilises. e Nous pouvons relever deux points dans cette numration. Le premier est que e e ce sont presque toujours des mthodes de dirences nies qui sont proposes; les e e e rsolutions numriques que nous allons dcrire sont donc originales puisquelles sont e e e bases sur des lments nis. Quant au second, le traitement des conditions aux e ee limites est parfois discutable et a longtemps t mal compris ou mal interprt (deee ee parture solutions); nous rpondrons partiellement ` cette question en tablissant e a e des conditions donnant lieu ` un probl`me bien pos dans le cas incompressible et a e e linaire. e Le dcoupage en chapitres de ce travail est le suivant. Nous rapellerons tout e dabord au chapitre 1 les quations de la dynamique des uides newtoniens et nous e indiquerons comment les quations PNS sont obtenues. Au chapitre 2, nous transfore merons ces quations an de les analyser en nous inspirant des syst`mes de Friedrichs e e et nous prsenterons des exemples de conditions aux limites obtenues pour les quae e tions dEuler et PNS en utilisant des notions empruntes ` cette thorie. Un rsultat e a e e dexistence dune solution faible sera dmontr pour les quations PNS linarises e e e e e dans le cas dun uide incompressible. Le chapitre 3 concerne lapproximation nume rique. Nous prsenterons la discrtisation et lalgorithme de rsolution utiliss, ainsi e e e e quune estimation de lerreur pour le cas incompressible. Ladaptation de maillage fera lobjet du chapitre 4, et des rsultats numriques seront prsents au chapitre 5. e e e e
Chapitre 1 Prliminaires e
1.1 Le probl`me physique e
Dans tout ce qui suit, nous nous limiterons ` des coulements stationnaires et a e bidimensionnels. Commenons tout dabord par examiner deux situations diffrentes dapplication c e des quations de Navier-Stokes parabolises. e e Considrons un corps dans un coulement hypersonique. Si le corps est mouss, e e e e un choc dtach se forme ` lavant du corps (cf. gure 1.1), et le domaine dans e e a
choc
Figure 1.1. Corps mouss. e e
1. Prliminaires e
lequel sont utilises les quations PNS est indiqu par D; celui-ci peut tre dlimit e e e e e e par le choc ou stendre au-del`. Dans cette conguration, la direction privilgie de e a e e lcoulement est gouverne par le prol du corps. e e Dans le cas dune plaque plane, la situation est plus complique (cf. gure 1.2). e
choc
couche limite
milieu continu
Figure 1.2. Plaque plane. Le choc nest pas dtach, et au dbut de la plaque le milieu nest pas un continuum, e e e donc les quations de Navier-Stokes ne sont mme pas valides. Ensuite, le milieu peut e e tre considr comme continu et une rgion (A) appara dans laquelle la couche de e ee e t choc (i.e. la rgion entre la plaque et le choc) est confondue avec la couche limite. e Le domaine o` peuvent tre utilises les quations PNS est dsign par D, et plus u e e e e e en aval, la situation peut ventuellement voluer de faon ` ce que les quations de e e c a e la couche limite conjointement avec les quations dEuler soient applicables (B). e
1.2. Notations
1.2
Notations
Avant de prsenter les quations PNS, introduisons les grandeurs physiques que e e nous utiliserons dans de ce chapitre :
u p T e E k
masse volumique vitesse, u = (u, v)t pression temprature e nergie interne par unit de masse e e
1 nergie totale, E = e + 2 u e 2
viscosit e conductivit thermique e
cp , cv chaleurs spciques e R d coecient adiabatique, = cp /cv constante du gaz particulier, R = cp cv tenseur dviateur du tenseur des contraintes e tenseur des taux de dformation e
1.3
Parabolisation
Nous allons faire lapproximation de parabolisation dcrite dans lintroduction; e ` cette n, nous allons tout dabord exprimer les quations de Navier-Stokes coma e pressibles dans un rep`re cartsien. Nous ferons galement quelques hypoth`ses sime e e e plicatrices en supposant que certaines quantits sont constantes. e
10
1. Prliminaires e
1.3.1
Equations de Navier-Stokes
Les quations de conservation suivantes rgissent lcoulement dun uide come e e pressible en labsence de forces extrieures (voir par exemple [Ryh85]); e conservation de la masse div(u) = 0 , conservation de la quantit de mouvement e (u)u + p div = 0 , conservation de lnergie e div (E + p)u div(k T ) = div( u) . (1.3) (1.2) (1.1)
De plus, nous supposerons que le uide considr est un gaz parfait rgi par les ee e quations dtat e e e = cv T , (1.4)
p = RT .
(1.5)
Lorsque le uide est suppos newtonien, et en faisant lhypoth`se de Stokes, on e e peut exprimer le tenseur selon 1 = 2 d I div u , 3 o` I dsigne le tenseur identit, et o` le tenseur d est u e e u dij = 1 2 ui uj + i xj x . (1.7) (1.6)
La substitution de lexpression pour dans (1.2) fournit les quations de Naviere Stokes. En liminant de (1.3) lnergie E au prot de la temprature T grce ` (1.4) e e e a a et en supposant cp , et k constantes, on obtient (u) + (v) = 0 , x y (1.8)
1.3. Parabolisation u p 4 2u 2u 1 2v u + v + + + x y x 3 x2 y 2 3 xy v v p 2v 4 2v 1 2u + v + + + x y y x2 3 y 2 3 xy T T +v x y p p +v x y 2T 2T + x2 y 2
11
= 0,
(1.9)
= 0,
(1.10)
cp u
= ,
(1.11)
o` nous avons introduit la fonction de dissipation = : d, u u = 2 x
v +2 y
2 3
u v + x y
u v + + y x
(1.12)
Bien que ce soient (1.9)-(1.10) que lon nomme quations de Navier-Stokes, nous e nous rfrerons au syst`me (1.8)-(1.11) en ces termes, parfois mme selon quations ee e e e de Navier-Stokes compl`tes, par opposition aux quations parabolises. e e e
1.3.2
Equations PNS
Nous supposerons que la direction privilgie de lcoulement est selon laxe e e e de coordonne Ox; le syst`me (1.8)(1.11) est alors transform en supprimant les e e e drives partielles par rapport ` x dans les termes de dissipation dus ` la viscosit e e a a e et ` la conduction thermique. Le nouveau syst`me est alors a e (u) + (v) = 0 , x y u p 2u u + v + 2 = 0, x y x y (1.13)
(1.14)
v p 4 2v v + v + = 0, u x y y 3 y 2 T T +v x y
(1.15)
cp u avec
p p +v x y
k
2
2T = , y 2
(1.16)
u = y
4 + 3
v y
(1.17)
12
1. Prliminaires e
Ce sont les quations de Navier-Stokes parabolises compressibles. Nous e e nous intresserons galement au cas o` le uide est suppos incompressible, i.e. = e e u e constante. Le syst`me se rduit alors ` trois quations ` trois inconnues, et sa forme e e a e a est notablement plus simple puisque le tenseur exprim en (1.6) devient e = 2d , do` u u v + = 0, x y u p 2u u + v + 2 = 0, x y x y v v p 2v + v + 2 = 0. x y y y (1.19) (1.18)
(1.20)
(1.21)
Mentionnons encore lapproximation pour un uide isentrope, cest-`-dire celle o` a u lquation dtat (1.5) est remplace par p = A , A > 0 constante, permettant ainsi e e e dliminer une des deux inconnues ou p et dcouplant lquation de conservation e e e le cas particulier dun uide idal ( = 0, quations dEuler). e e de lnergie. Nous reviendrons plus en dtail au 2.3.2 sur cette approximation dans e e Pour terminer ce chapitre, notons quil est bien entendu possible deectuer cette parabolisation dans un syst`me de coordonnes curvilignes, et cest gnralement e e e e sous cette forme que sont utilises les quations PNS dans les probl`mes pratiques. e e e Cependant, le fait dutiliser des coordonnes curvilignes ou cartsiennes naecte pas e e les proprits intrins`ques des quations. Cest pour cette raison que nous utiliserons ee e e uniquement des coordonnes cartsiennes. e e
Chapitre 2 Le probl`me continu e

An de pouvoir rsoudre les quations introduites au chapitre 1, il faut encore e e spcier un domaine du plan R2 dans lequel on dsire les rsoudre ainsi que des e e e conditions aux limites. Ce dernier point va tre tudi en sinspirant de la thorie e e e e des syst`mes symtriques positifs de Friedrichs rappels au 2.2. Mais auparavant e e e nous reformulerons certaines quations au 2.1 an de pouvoir appliquer (partiellee ment) cette thorie, et le 2.3 expose quelques exemples de conditions aux limites e
obtenues dans ce cadre. Ensuite, un rsultat dexistence dune solution faible pour les e
quations PNS incompressibles linarises est prsent au 2.4; un rsultat dunie e e e e e
cit est galement tabli, mais avec laide dune hypoth`se supplmentaire sur la e e e e e rgularit de la solution faible. Nous considrerons nalement un probl`me pnalis e e e e e e au 2.5 pour lequel nous avons aussi un rsultat dexistence et des rsultats de e e convergence.
13
14
2.1. Reformulation des quations e
15
2.1
Reformulation des quations e
Il sera plus commode dintroduire une notation matricielle pour tudier les syse t`mes prsents au 1.3; cest lobjet du 2.1.2, mais auparavant les quations e e e e sation des quations. e auront t adimensionalises au 2.1.1. Enn, le 2.1.3 sera consacr ` la linariee e ea e
2.1.1
Adimensionalisation
Les quations de la dynamique des uides peuvent tre exprimes en utilisant des e e e variables sans dimension au lieu des variables physiques. Ceci permet de caractriser des coulements similaires au moyen dun nombre restreint de param`tres. e e e Il est tr`s courant de sintresser notamment ` la similitude dynamique de deux e e a coulements. Notons quil y a plusieurs faons de procder ` ladimensionalisation e c e a des quations selon les phnom`nes que lon dsire tudier. e e e e e Considrons donc lcoulement dun uide autour dun obstacle et dsignons e e e par un indice la valeur des variables dans lcoulement non perturb par la e e prsence de lobstacle; nous introduisons alors les nouvelles variables sans dimension e suivantes : u = u/u , x = x/L, = / , y = y/L, T = T /T ,
p = p/( u2 ),
o` L est une longueur caractristique de lobstacle, par exemple son diam`tre ou sa u e e longueur. Les nombres sans dimension suivants seront en outre dun usage frquent : e
nombre de Reynolds Re = nombre de Prandtl P r =
u L
cp k u RT
nombre de Mach M =
16
2. Le probl`me continu e
En substituant les variables adimensionnelles dans le syst`me (1.13)(1.16) il vient e div( u ) = 0 , 1 2 u = 0, Re y 2 (2.1)
(u )u + p
(2.2)
u 1 2T T u p ( 2 ) = , 2 2 ( 1)M ( 1)M Re P r y devient quant ` elle a
(2.3)
o` nous avons pos u = (u , 4 v /3) et = y u y u /Re . Lquation dtat (1.5) u e e e p = T . 2 M (2.4)
Ainsi, nous caractriserons un coulement par la donne de quatre param`tres, ` e e e e a savoir , M , Re , P r . An de ne pas surcharger inutilement les notations, nous omettrons dornavant les astrisques pour distinguer les variables adimensionnelles; e e la prsence (o` labsence) des param`tres ci-dessus dans les quations indiqueront e u e e clairement quelles sont les variables utilises le cas chant. e e e
2.1.2
Forme symtrique des quations e e
Dans le cas dun uide idal (i.e. sans viscosit ni conductivit thermique), il est e e e connu que les lois de conservation rgissant son coulement peuvent se mettre sous e e la forme dun syst`me matriciel dquations aux drives partielles avec des matrices e e e e symtriques (cf. [Smo83, Har83]). Pour le syst`me (2.1)(2.3), cest encore possible. e e En eet, liminons tout dabord la masse volumique grce ` (2.4) dans (2.1) e a a (2.3); il vient
2 M
p 1 2u (u)u + p = 0, T Re y 2
(2.5)
pu u 2T 1 T p = , 2 2 1T T Re T y T
2 M
(2.6)
p T
div u +
u u p T p T
= 0,
(2.7)
2.1. Reformulation des quations e
17
avec
2 = ( 1)M P r 1
(2.8)
que lon crit sous la forme e Ax (w) o` w = (u, v, T, p)t, et u

w w 2w + Ay (w) D(w) 2 = F (w) , x y y
(2.9)
Ax =
2 M
pu T
0
2 M
0 pu T 0 pu 1 T2 u T
0 0 1
0 0
0 u T u
(2.10)
Ay =
2 M
pv T
0
2 M
0 pv T 0 pv 1 T2 v T
0 0
0 1
1 v T v
(2.11)
D=
1 4 diag 1, , , 0 , Re 3 T 1 , 0 . T
(2.12)
F = 0, 0,
(2.13)
Si nous procdons de mme dans le cas dun uide incompressible, nous obtenons e e un syst`me de la mme forme que (2.9), mais avec w = (u, v, p)t, F = 0, e e
Ax (w)
w w 2w + Ay (w) D 2 = 0, x y y
(2.14)
18
et avec les matrices

u 0 1
Ax = 0 u 0 , 1 0 0 D=
Ay = 0 v 1 , 0 1 0
v 0 0
(2.15)
1 diag (1, 1, 0) . Re
(2.16)
2.1.3
Linarisation e
Dans le cas incompressible, le syst`me (2.14) est linaris autour dun tat e e e e constant w 0 en remplaant w par w 0 + w + o() et en ngligeant les termes dordre c e suprieur ` . Comme la dpendance en w de Ax (w), Ay (w) donnes en (2.15) est e a e e linaire, nous obtenons e Ax (w 0 ) w w 2w + Ay (w 0 ) D 2 = 0. x y y (2.17)
La linarisation du syst`me (2.9) ne peut pas se justier de la mme mani`re e e e e puisque cette fois la dpendance en w de Ax (w), Ay (w) et D(w) donnes en (2.10) e e (2.12) nest plus linaire. Mais nous considrerons le syst`me de la forme analogue e e e ` (2.17), a
2 w 0 w 0 w Ax (w ) + Ay (w ) D(w ) 2 = F (w0 ) . x y y 0
(2.18)
Le syst`me (2.17) peut maintenant tre tudi en sinspirant des syst`mes de e e e e e Friedrichs.
2.2. Syst`mes de Friedrichs e
19
2.2
Syst`mes de Friedrichs e
Ce paragraphe a pour but de rappeler dans ses grandes lignes la thorie des e syst`mes dquations aux drives partielles symtriques du premier ordre expose e e e e e e dans [Fri58] 1 , ainsi que dintroduire des notations que nous utiliserons dans la suite. Les dmonstrations des rsultats que nous noncerons sans preuve se trouvent dans e e e larticle cit. e Une des caractristiques de cette thorie est la possibilit de ramener un probl`me e e e e danalyse, ` savoir existence et unicit de solutions, ` un probl`me algbrique. En a e a e e eet, il sagit de mettre tout dabord le syst`me ` rsoudre sous une certaine forme, e a e ce qui peut requrir des manipulations algbriques, puis de trouver des matrices e e ayant certaines proprits qui dniront des conditions aux limites ` prescrire de ee e a faon ` ce que le probl`me poss`de exactement une solution. c a e e Soit un ouvert de Rn de fronti`re , C 1 par morceaux, dont la normale exte e rieure unit sera note , de composantes i , i = 1, . . . , n. Soit encore L2 = L2 () e e muni du produit scalaire usuel, (u, v)L2 = (u, v) dx,
m
(u, v) tant le produit scalaire euclidien de Rm . Nous noterons lespace des applicae niment drivables et ` support compact sera not D(), et nous posons D = D()m ; e a e
m
tions linaires dun espace U dans lui-mme par L(U). Lespace des fonctions inde e e .
nous posons galement C 1 = C 1 e Loprateur A est dni par e e

n
Au =
i=1
Ai
u + Ku , xi
u C1 ,
(2.19)
appartenant ` C 1 (, L(Rm )), et o` K L (, L(Rm )). a u
o` Ai sont des matrices symtriques de L(Rm ) dpendant de x = (x1 , . . . , xn )t et u e e
Ladjoint de A au sens des distributions est dni par la relation e (A, )L2 = (, A )L2 , D ,
1 Cet article est dune lecture plutt ardue, les notations et les concepts ayant passablement o volu depuis sa parution; pour une rfrence plus rcente avec une prsentation sommaire mais e e ee e e avec des exemples, voir [DL88].
20
et son expression est

n
A u =
Ai
i=1
n u Ai u. + Kt xi i=1 xi
Comme pour le cas de la thorie variationnelle des probl`mes aux limites ellipe e tiques, la notion de coercivit joue ici un rle important. e o
Dnition 2.1 A est dit coercif sil existe une constante > 0 telle que e (Au, u)L2 u
2 L2
u C 1 .
(2.20)
Pour trouver des conditions susantes de coercivit de loprateur A, intgrons e e e par parties le membre de gauche de (2.20); comme Ai u , u dx = xi u , Ai u dx xi u, Ai u dx xi u, Ai u dx + xi
= + en posant
(u, i Ai u) d ,
C =K +K
n
Ai , i=1 xi
B=
i=1
i Ai
sur ,
nous obtenons une galit dnergie e e e 2(Au, u)L2 = (Cu, u) dx + (Bu, u) d u C 1 . (2.21)
Dnition 2.2 Loprateur A est dit positif si quel que soit x la matrice C e e est dnie positive. e
Remarque 2.1 Si A est positif, alors A lest aussi, et rciproquement. (Il sut de e constater que la matrice C est la mme pour les deux oprateurs). e e
21
Dnition 2.3 Une matrice M C 0 (, L(Rm)) telle que quel que soit x , e M + M t est semi-dnie positive , e est dite semi-admissible; des conditions aux limites homog`nes dnies par e e (B M)u = 0 sur sont dites galement semi-admissibles. e Ainsi, au vu de (2.21), un oprateur positif avec des conditions aux limites semie admissibles est coercif. Considrons le probl`me (P ) suivant. Etant donne f L2 et M semi-admissible, e e e
Au (B
trouver u telle que
=f
dans ,
M)u = 0 sur .
ci-dessus si elle satisfait
Dnition 2.4 Une fonction u L2 est dite solution faible du probl`me (P ) e e (u, A )L2 = (f , )L2 C 1 , Ker(B + M t ) sur . (2.22)
suivant. Nous intgrons par parties le terme Au apr`s lavoir multipli par une e e e fonction C 1 , (Au, )L2 = (u, A )L2 +
La condition Ker(B + M t ) apparaissant dans (2.22) provient du calcul
(Bu, ) d ;
(2.23)
or, si u vrie les conditions aux limites u Ker(B M) sur , e
(Bu, ) d =
1 2 1 = 2
((B M) u, ) d + u, (B + M t ) d ,
1 2
((B + M)u, ) d
Ainsi, lorsque Ker(B + M t ), lintgrale de bord dispara de (2.23). e t u telle que Nous dnissons encore le probl`me adjoint (P ). Etant donne f L2 trouver e e e
A u (B
=f
dans , sur .
+ M t )u = 0
22
pour lequel les conditions aux limites sont aussi semi-admissibles. En eet, si M est semi-admissible pour A, alors M t lest pour A . Enonons maintenant un rsultat dunicit lorsque la solution est susamment c e e rguli`re. e e Lemme 2.1 Les probl`mes (P ) et (P ) ont au plus une solution dans C 1 . e Friedrichs donne plusieurs rsultats dexistence de solutions. Pour ce qui est des e solutions faibles, on a le Thor`me 2.2 e e Si A est positif et M semi-admissible, alors le probl`me (P ) poss`de une solution e e faible u quelle que soit f L2 et cette solution vrie e u
L2
1 f
L2
Les autres rsultats que donne Friedrichs assurent lexistence de solutions faibles e plus ou moins rguli`res lorsque le second membre est lui aussi rgulier, mais moyene e e nant certaines hypoth`ses supplmentaires sur A. e e Lorsque lon obtient une solution faible dun probl`me, celle-ci ne vrie gne e e e ralement pas les conditions aux limites que lon stait donnes au sens classique, e e mais dans un certain sens ` prciser (par exemple au sens des traces). Dans le cas a e prsent, il faut exiger une condition supplmentaire pour quune telle interprtation e e e soit possible lorsque la solution est susamment rguli`re, ` savoir e e a Im(B M) Im(B + M) = {0} , qui est quivalente ` e a Ker(B M) + Ker(B + M) = Rm . (2.25) (2.24)
Dnition 2.5 Une matrice M semi-admissible vriant (2.24) ou (2.25) est dite e e admissible; par extension, des conditions aux limites donnes au moyen dune telle e matrice seront aussi dites admissibles.
23
Remarque 2.2 Il existe toujours au moins une matrice admissible, ` savoir la maa trice ayant les mmes vecteurs propres que B mais dont les valeurs propres sont les e valeurs absolues des valeurs propres de B, note B 2 . e Il ny a pas unicit de la solution faible en gnral. Cest pourquoi on introduit e e e la dnition suivante. e Dnition 2.6 Une solution u du probl`me (P ) est dite solution forte si elle est e e loprateur A, i.e. e limite dune suite {uk }kN , uk C 1 , uk Ker(B M) dans la norme du graphe de lim ( uk u + Auk f ) =0
L2
L2
En utilisant (2.21), il est facile de voir quune solution forte, lorsquelle existe, est unique. Friedrichs a dmontr des rsultats dexistence de solutions fortes sous cere e e taines hypoth`ses. Le rsultat suivant de Lax et Phillips [LP60] requiert moins dhye e poth`ses que les rsultats de Friedrichs. e e Thor`me 2.3 e e ; alors le probl`me (P ) poss`de exactement une solution forte pour toute f L2 . e e Pour terminer ce paragraphe, nous allons dmontrer un rsultat qui concerne e e le nombre de conditions aux limites ` prescrire sur le bord; ce rsultat est souvent a e utilis dans la littrature mais nous nen avons pas trouv de preuve. e e e Thor`me 2.4 e e Si les conditions aux limites sont admissibles, alors leur nombre est gal au nombre e de valeurs propres ngatives de la matrice B. e Dmonstration e Dcomposons lespace Rm selon les sous-espaces propres associs aux valeurs propres e e positives, ngatives et nulles de la matrice B (certains de ces sous-espaces peuvent e tre ventuellement rduits ` {0} ) : e e e a Rm = E + E E0 . Nous allons utiliser les deux lemmes suivants. Soit A positif, de classe C 2 , M admissible et Ker(B M) variant contin ment sur u
24 Lemme 2.5
Soit E un espace vectoriel de dimension nie et une forme bilinaire symtrique sur e e E. Soient E + , respectivement E , des sous-espaces de E de dimension maximale sur lesquels la forme est dnie positive, respectivement dnie ngative, et soit E0 e e e le sous-espace sur lequel la forme est dgnre. Alors, on a la dcomposition e e ee e E = E + E E0 , et les dimensions des sous-espaces sont indpendantes de la dcomposition obtenue. e e Lemme 2.6 Si M est admissible, alors le sous-espace N + = Ker(B M) est maximal pour la condition (Bu, u) 0. Ainsi E0 N + (puisque N + est maximal), et par le lemme 2.5 on a donc dim N + = dim E + + dim E0 , autrement dit codim N + = dim E , mais codim N + est justement le nombre de conditions aux limites, do` le rsultat. u e
Nous ne dmontrons que le lemme 2.6. Pour une dmonstration du lemme 2.5, e e voir [Gre67], chapitre IX. Dmonstration du lemme 2.6 e Le cas N + = Rm est trivial, nous supposerons donc N +
Rm . Par labsurde, soit un 0 sur

+
sous-espace N contenant strictement N + et tel que lon ait encore (Bu, u) Posons x = u0 + u+ , R, u+ N + ; donc x N et par hypoth`se e (Bx, x) = 2 Bu0 , u+ + 2 Bu+ , u+ ceci quel que soit . Comme u+ est quelconque, on en dduit e Bu0 , u+ = 0 u+ N + . 0,
N. Comme M est admissible, il existe u0 N N, u0 N o` N = Ker(B +M). / u
25
De faon analogue, en posant x = u0 + u on peut dmontrer que c e Bu0 , u = 0 u N . Puisque N + + N = Rm , on a donc (Bu0 , u) = 0 u Rm , u0 N + , contradiction. do` on en tire que Bu0 = 0. Mais on a aussi Mu0 = 0 (car u0 N ), donc u
Remarque 2.3 La notion de maximalit pour les conditions aux limites est attrie bue par Friedrichs ` Lax qui la utilise notamment dans ses tudes des syst`mes e a e e e hyperboliques. Friedrichs donne une dmonstration du lemme 2.6 dans son article, e ainsi que de sa rciproque, i.e. pour tout sous-espace maximal, il existe une matrice e M admissible. Remarque 2.4 Les rsultats dexistence de solutions fortes sobtiennent en consie drant la limite de solutions faibles rgularises, ce sont des rsultats diciles ` e e e e a tablir. Dautre part, il existe des preuves dexistence de solutions fortes ncessitant e e des hypoth`ses moins restrictives que celles du thor`me 2.3 (voir [PS66]). e e e
26
2.3
Exemples de conditions aux limites admissibles
La thorie du paragraphe prcdent peut sappliquer ` de nombreux syst`mes e e e a e dquations aux drives partielles et permet de dterminer des conditions aux lie e e e mites homog`nes donnant lieu ` un probl`me bien pos. Remarquons que pour e a e e imposer des conditions inhomog`nes, il sut de relever les conditions aux limites, e ce qui revient ` ajouter un second membre au syst`me dquations. a e e Nous allons prsenter quelques exemples de conditions aux limites admissibles e dcompos selon = + 1 2 o` e e u pour des probl`mes poss dans le domaine = (0, 1) (0, 1); le bord de est e e = {(x, y) : x = 0 , 0 < y < 1} , + = {(x, y) : x = 1 , 0 < y < 1} , 1 = {(x, y) : y = 0} , 2 = {(x, y) : y = 1} , et nous posons 0 = 1 2 , = + . Sur le bord de , la normale
y n 1 2 c c n + x
Figure 2.1. Domaine . extrieure unit sera note n = (nx , ny ). Nous supposerons donn un champ vectoriel e e e e c = (c, d) C 1 ()2 , tel que c n = 0 sur 0 , c n < 0 sur , c n > 0 sur + . (2.26) (2.27)
Remarque 2.5 Ladmissibilit des conditions aux limites est une notion indpene e dante de la positivit du syst`me. En eet, cest en considrant lgalit dnergie e e e e e e
2.3. Exemples de conditions aux limites admissibles
27
(2.21) que nous avons t amens ` requrir la positivit des deux intgrales au ee e a e e e membre de droite an que loprateur A de (2.19) soit coercif, mais ce ne sont e pas des conditions ncessaires. Aussi, nous prsenterons des conditions aux limites e e admissibles mme lorsque le syst`me nest pas positif 2 . e e Nous poserons les quations des paragraphes qui vont suivre dans un cadre infore mel; en particulier, il ne sera pas fait mention des espaces fonctionnels dans lesquels elles sont considres; lorsquil sera possible de les mettre sous forme de syst`mes ee e de Friedrichs, le cadre fonctionnel est celui du paragraphe prcdent. Dautre part, e e nous considrerons uniquement des quations linaires, et nous omettrons de mene e e tionner chaque fois que les quations traites sont obtenues apr`s linarisation le cas e e e e chant. e e
2.3.1
Equations dEuler incompressibles
Considrons le probl`me de trouver (u, p)t tel que, dans e e

(c)u + p
=f,
(2.28)
div u = h ,
pour (f , h)t donn. Nous allons tablir des conditions aux limites admissibles pour e e ces quations. En posant e

c 0 1
d 0 0
Ax = 0 c 0 , 1 0 0
Ay = 0 d 1 , 0 1 0
(2.29)
w = (u, v, p)t, F = (f , h)t , on rcrit alors (2.28), e Ax w w + Ay =F. x y
(2.30)
La matrice C pour les quations dEuler est ainsi e C = diag(div c, div c, 0) ,

2 Nous dmontrerons dailleurs au paragraphe 2.4 lexistence dune solution aux quations PNS e e incompressibles (qui ne forment pas un syst`me positif) avec des conditions aux limites admissibles. e
28
qui nest pas dnie positive. Comme dit dans la remarque 2.5, il est malgr tout e e possible de considrer les conditions admissibles de ce syst`me. Mais auparavant, e e mentionnons un probl`me pnalis qui peut tre utilis pour la rsolution numrique e e e e e e e de (2.28) et pour lequel la thorie sapplique. Nous considrons le probl`me perturb e e e e suivant. Trouver (u , p ) tel que
(c)u
+ p = f ,
div u + p = h ,
(2.31)
o` > 0. La matrice C pour ce syst`me est u e C = diag( div c, div c, 2), qui est dnie positive d`s que div c < 0. Il est cependant possible de saffranchir e e de cette derni`re condition sous certaines hypoth`ses en faisant le changement de e e variables w = wex , avec > 0 que nous allons dterminer. Le nouveau syst`me e e est alors Ax o` nous avons pos u e K = diag(0, 0, ) , et dont la matrice C correspondante est

w w + Ay + (K + Ax ) w = F , x y
(2.32)
C=
2c div c 0 2
0 2c div c 0
2 2
0.
On peut se convaincre que si div c = 0 et c > 0 dans , alors (2.32) est bien un syst`me de Friedrichs d`s que < c , et les conditions aux limites pour (2.31) seront e e dnies de la mme faon que pour (2.28), car les matrices B de ces deux syst`mes e e c e sont identiques. Remarque 2.6 Lintrt de cette pnalisation est donc de permettre daboutir ` ee e a un probl`me entrant dans le cadre de la thorie du paragraphe prcdent; dautre e e e e part, notons que la mme perturbation est utilise pour le probl`me de Stokes (voir e e e [BF91]) permettant dinclure lquation dincompressibilit dans une formulation e e mixte et rendant ainsi, dans une certaine mesure, son traitement numrique plus e ais. Nous reviendrons sur les quations PNS perturbes de la mme faon au 2.5. e e e e c
29
Reprenons notre investigation du syst`me (2.28) et donnons des conditions aux e limites admissibles. Sur (amont), la matrice B est
B= 0
0 c 0
1 0
0 ,
dont les valeurs propres sont les racines du polynme (c + )(2 + c 1), i.e. o 1 0 = c, = (c c2 + 4) ; 2 (2.33)
il y a donc deux valeurs propres ngatives (puisque c > 0 par (2.27)), et en vertu du e thor`me 2.4 il faut prescrire deux conditions aux limites. Une matrice admissible e e est

M = 0 c
c 0 1 0
1 0
0 .
(2.34)
En eet, M est semi-dnie positive, et comme e

BM = 0
2c 2
2c 0 , 0 0
B + M = 0 0 0 0
0 0 2 0
0 ,
on a bien Im (B M) Im (B + M) = {0}. Les conditions aux limites sont donc donnes par e
M) v
u p
(B
= 0,
i.e. u = v = 0.
Sur + (aval),
B = 0 c 0 , 1 0 0
c 0 1
30
ayant une seule valeur propre ngative, il faut donc spcier une condition aux e e limites. Une matrice admissible est

M = 0 c qui donne la condition aux limites p = 0. Sur 2 ,

c 0 1 0
1 0
0 ,
(2.35)
0 0 0
avec u n = 0 comme condition aux limites.
B = 0 0 1 , 0 1 0
M = 0
0 0
0 1 0
1 ,
Sur 1 on obtient la mme condition aux limites que sur 2 . e Dautres conditions aux limites peuvent tre obtenues, par exemple au moyen de la e matrice

0 1
qui fournit les conditions aux limites
M = 0
c 0 , 1 0 0
0
(2.36)
cu + p = v=0
sur ,
u = u n = 0 sur + .
2.3.2
Equations dEuler isentropes
Nous considrons ` nouveau le cas dun uide idal, mais cette fois avec lquation e a e e dtat e p = A , A > 0 constante (uide isentrope). La vitesse du son est alors donne par e a= p = A1
31
et le syst`me dquations ` considrer dduit des quations de conservation (1.1) e e a e e e (1.3) apr`s linarisation est e e

An de simplier lanalyse, posons 0 = 1 et supposons a constante. On obtient Ax avec

c 0
0 (c)u + p = f , div u + 1 cp = h . 0 a2 w w + Ay = F, x y

(2.37) 0

1 Ax = 0 c 0 , c 1 0 2 a
d 0
Ay = 0 d 0 1
1, d a2
et w, F donns par (2.30). Comme dans le cas incompressible, cest un syst`me e e de Friedrichs d`s que div c < 0; ou alors en faisant le changement de variables e w = wex , nous pouvons tablir que si e c > a, alors cest un syst`me de Friedrichs d`s que e e > 0 si div c = 0, > max div c 2(c a) sinon ;
c < a, alors cest un syst`me de Friedrichs d`s que e e max div c div c < < min 2(c + a) 2(c a) si div c < 0 et c > 0 .
Pour donner des conditions aux limites, nous aurons besoin de considrer les parties e du bord o` le champ c donn est suprieur, respectivement infrieur, ` la vitesse du u e e e a son a; nous posons donc s = {(x, y) : c(x, y) > a}, i = {(x, y) : c(x, y) < a}. La matrice B de (2.37) sur est 1 0 , B = 0 c c 1 0 2 a
c
32
ayant trois valeurs propres strictement ngatives si c > a, deux sinon. Donc il faut e spcier deux conditions aux limites sur i , et trois sur s . La matrice e M=

c 0
0
1 0 c 2 2 c a
1 0
donne les conditions aux limites cu + p = 0, v = 0 sur i . Sur + , la matrice B est 1 B = 0 c 0 , c 1 0 2 a

c 0
qui a trois valeurs propres positives ou nulles si c

a, seulement deux si c < a. Il

ne faut donc aucune condition sur + s et une sur + i . La matrice 0 M = 0 c 2 c 1 0 c a2 donne la condition aux limites p = 0 sur + i . Finalement, sur 0 on peut montrer que la condition u n = 0 est admissible. c 0 1
2.3.3
Equations PNS incompressibles

2 (c)u + p u
Les quations sont ici dans e y 2 =f, (2.38)
div u = h .
Pour se ramener ` un syst`me du premier ordre, nous introduisons les inconnues a e auxiliaires r = u/y, s = v/y et (2.38) devient w + Ay w + Kw = F , Ax x y avec les matrices

(2.39)

Ax 0 A At , Ay = y , At = 0 Ax = 0 0 A 0 0
0 0
33
o` Ax , Ay sont les matrices des quations dEuler donnes par (2.29), et avec u e e K = diag(0, 0, 0, , ), w = (u, v, p, r, s)t, F = (f , h, 0, 0)t . A nouveau, le syst`me (2.39) est positif d`s que div c < 0, et en ce qui concerne les e e conditions aux limites, il est vident que sur nous obtiendrons que les conditions e admissibles pour les quations dEuler incompressibles le sont galement dans le cas e e prsent. e Sur 0 , B = Ay , et la matrice
M=
0 0
0 0 0
0 1 0 0 0 0
1 0 0
0 0
(2.40)
fournit les conditions u = v = 0 sur 2 ; les mmes conditions sur 1 sobtiennent e et M sur 1 , on obtient les conditions par la matrice M. En changeant M et M, cest-`-dire en prenant M sur 2 e a u = 0, y v = 0. p + y La matrice M = elle fournit. A2 sur interviendra dans la discrtisation des quations e e x
(voir 3.2). Donnons son expression pour dterminer quelles conditions aux limites e
M=
A2 = x
c2 + 2 0 c
c 0 , 0 2
c2 + 4 ,
et, en utilisant les notations introduites en (2.33), 2
Ax M =
c+ 1 0 + 0 0 +
0 1
0,
Ax + M =
c + 1 0
0 c 0
0 .
34
Les conditions aux limites sont donc u p = v=0

0
sur ,
u+ p = 0 sur + .
2.3.4
Equations PNS isentropes
Mentionnons quil est possible dobtenir des rsultats similaires pour les quae e tions PNS isentropes puisque, ` nouveau, les conditions sur + et seront les a mmes que celles pour les quations dEuler isentropes (2.37), et quune matrice e e analogue ` (2.40) donne les mmes conditions sur 0 que ci-dessus, cest-`-dire a e a u = v = 0.
2.3.5
Equations PNS compressibles
Nous navons pas pu trouver de matrices admissibles pour les quations PNS e compressibles. Cependant, pour ce qui est des conditions aux limites sur et + , nous pouvons considrer la matrice Ax (2.10) et dterminer le nombre de conditions e e aux limites au moyen du thor`me 2.4. Il faudrait donc a priori calculer les valeurs e e propres de Ax et dterminer leur signe. Une faon simple de conna le signe de ces e c tre valeurs propres consiste ` remarquer que les trois premiers mineurs principaux de a Ax sont positifs; il sut alors de calculer le dterminant et de considrer son signe. e e Nous notons (abusivement) u, p, T , les fonctions provenant de la linarisation des e quations et apparaissant dans la matrice Ax ; nous avons e det(Ax ) =
2 2 M p2 u2 2 M u2 T . 1 T4
La vitesse du son locale a est donne (en variables adimensionnelles) par e a2 = RT T T = 2 . u2 M
Par consquent, le dterminant de Ax est e e det(Ax ) =

4 2 M p2 u2 2 u a2 , 1 T4
2.4. Rsultats dexistence et dunicit e e
35
et nous concluons donc que Ax na aucune valeur propre ngative si u > a, seulement e une si u < a. Ce qui donne les nombres de conditions aux limites rcapituls dans e e le tableau suivant. (amont) u<a u>a 3 4 + (aval) 1 0
Nous choisirons
A2 comme matrice M et sur 0 , il est possible de montrer que x
les conditions aux limites u = v = T = 0 sont semi-admissibles pour le syst`me e linaris (2.18) ramen ` un syst`me du premier ordre de la mme faon que pour e e ea e e c (2.38)(2.39).
2.4
Rsultats dexistence et dunicit e e
Bien que le syst`me des quations PNS incompressibles (2.38) ne soit pas positif e e au sens de Friedrichs, il est possible de dmontrer lexistence dune solution avec e certaines conditions aux limites admissibles. Cette dmonstration se fera en utilie Cependant, comme nous le verrons, la solution faible que lon obtient ne poss`de e ferons une hypoth`se supplmentaire de rgularit. e e e e Le syst`me que nous allons considrer dans le domaine dni au paragraphe e e e prcdent nest pas celui donn en (2.39) qui est du premier ordre, mais le syst`me e e e e (2.38) que lon crit sous la forme e Ax w w 2w + Ay D 2 = e, x y y (2.41) sant la mme dmarche quau 2.2 en posant un probl`me faible et son adjoint. e e e
que peu de rgularit a priori. Aussi, pour dmontrer un rsultat dunicit, nous e e e e e
avec les matrices Ax , Ay , dnies en (2.29), D dnie en (2.16) et w = (u, p)t , e e e = (f , h)t . Les conditions aux limites que nous imposerons sont les suivantes, u = 0 sur 0 , u n = 0 sur + .
36
2
En outre, nous supposerons que le champ donn c C 1 e div c = 0 dans , c n = 0 sur 0 , c > 0 sur .
vrie e
2.4.1
Notations et dnitions e
scalaire euclidien de Rm qui sera not par . Pour allger lcriture, les drivations e e e e partielles seront aussi notes x , y au lieu de /x, /y. Les notations usuelles e
Nous reprendrons les notations dj` introduites au 2.2, sauf pour le produit ea
pour lespace L2 () et les espaces de Sobolev H k () seront utilises; cependant nous e omettrons systmatiquement lindice pour noter les produits scalaires, normes et e semi-normes correspondantes comme .
0,
1,
ment la mme notation pour le produit scalaire et la norme dun espace que pour le e produit scalaire et la norme dune puissance de cet espace. Nous introduisons les espaces fonctionnels suivants : L2 () = f L2 () : 0 Y = L2 () L2 () , 0
2
| . |1 , et nous utiliserons abusive-
f dx = 0 ,
(2.42) (2.43) (2.44) (2.45) (2.46)
1 X = L2 (0, 1; H0 (0, 1))2 L2 () , 0
V = (u, p)t H 1 ()3 : u = 0 sur 0 , p L2 () , 0 VK = w V : w Ker(B + M t ) sur ,
o` B = nx Ax +ny Ay est la matrice associe aux quations (2.41) et M est la matrice u e e admissible donne par (2.34) sur et par (2.36) sur + . e Lespace X est muni du produit scalaire (w, w )X = (u u + y u y u + pp ) dx
o` w = (u, p)t , w = (u , p )t , et cest un espace de Hilbert dont la norme corresu pondante est w
2 X
= u
2 0
+ y u
2 0
+ p
2 0
37
2.4.2
Formulation faible
Nous procdons comme pour les syst`mes de Friedrichs; lquation (2.41) est e e e multiplie par une fonction test w D()3 puis est intgre par parties. Il vient e e e
2 w (Ax x w + Ay y w) u y u dx =
(w (Ax x w Ay y w ) + y u y u ) dx , (2.47)
avec = 1/Re . Aussi, nous dnissons la forme bilinaire e e a : X V R, a(w, w ) = =

(w (Ax x w Ay y w ) + y u y u ) dx (u ((c)u p ) + y u y u p div u ) dx ,
et nous sommes maintenant en mesure de poser le probl`me faible. e
Probl`me (P ). Etant donn e Y , trouver w X tel que e e a(w, w ) = (e, w )L2 w VK . (2.48)
La dmonstration de lexistence dune solution de (P ) fait appel au probl`me faible e e adjoint (P ).
Probl`me (P ). Etant donn e X, trouver w VK tel que e e a(w, w ) = (e , w)X w X . (2.49)
2.4.3
Rsultats e
Commenons par dmontrer le rsultat dunicit suivant pour le probl`me c e e e e adjoint. Lemme 2.7 Le probl`me (P ) poss`de au plus une solution. e e
38
Dmonstration e Dans (2.49), prenons w = w ; il vient au membre de gauche en intgrant par parties e a(w , w ) = = (w (Ax x w Ay y w ) + y u y u ) dx (w (Ax x w + Ay y w ) + y u y u ) dx +
(2.50)
donc
w Bw d ;
a(w , w ) = 1 = 2
1 2
w Bw d + y u
t
2 0
w M w d +
2 y u 0
(2.51) ,
puisque w Ker(B + M t ); on obtient

2 0
y u
1 2
w M t w d = (e , w )X .
(2.52)
Si maintenant w est solution de (P ) pour e = 0, alors, puisque M t est semi-dnie e positive, on a y u = 0, ce qui entra u = 0 car u sannule sur 0 . En substituant ne ce rsultat dans (2.49) il vient e a(w, w ) =
u p dx = 0 w X ,
et on en dduit que p = 0 donc p = 0 puisque p L2 (). e 0 Intressons-nous maintenant aux solutions de (P ). e Lemme 2.8 Tout w VK est solution de (P ) pour un second membre e X. Autrement dit, loprateur qui au second membre e du probl`me adjoint associe, e e lorsquelle existe, la solution w est surjectif. Dmonstration e Fixons w VK ; alors, a( , w ) dnit sur X une forme linaire continue. Le thoe e e r`me de reprsentation de Riesz permet darmer quil existe un unique e X e e
39
tel que a(w, w ) = (e , w)X w X.
Posons maintenant H = {e X : w VK solution de (P ) avec e au second membre } . H nest videmment pas trivial en vertu du lemme 2.8. Pour e Y x, dnissons e e e la forme linaire e L : H R
e L(e ) = (e, w )L2 ,
o` w est la solution de (P ) correspondant au second membre e ; L est bien dnie u e par le lemme 2.7. Nous allons exhiber une solution de (P ) dans X en prolongeant la forme L sur X et en utilisant ` nouveau le thor`me de reprsentation de Riesz; a e e e mais auparavant, il faut dmontrer la continuit de L. e e Lemme 2.9 La forme L est continue sur H muni de la norme de X. Dmonstration e Il faut dmontrer que la norme e L = sup |L(e )| e X
e H e X =0
est borne. En utilisant lingalit de Cauchy-Schwarz, on a que e e e |L(e )| = |(e, w )L2 | Il sut donc de dmontrer que e e Une premi`re majoration de p e avec u
1 H0 ()2 . X
+ h
(2.53)
majore u
et p 0 . Nous noterons par C1 ,
C2 , etc. les constantes apparaissant dans les majorations.

0
est obtenue en choisissant w = (u, 0) dans (2.49)
40
En intgrant par parties (2.49), il vient e a(w, w ) = =

(u ((c)u p ) + y u y u ) dx (u (c)u + p div u + y u y u ) dx (f u + y f y u) dx ,
= (e , w)X =
puis en utilisant les ingalits de Cauchy-Schwarz et de Poincar e e e
p div u dx
C1 u
+ y u
+ f
+ y f
Or, on sait que (cf. [GR79]) inf

pL2 0 p 0 =0
sup
1 uH0 u 1 =0
p div u dx p
0
> 0,
1
(2.54)
donc p
0
C2
+ y u
+ f
+ y f
(2.55)
Nous procdons maintenant ` une majoration de u 0 . e a

1 Pour u L2 (0, 1; H0 (0, 1))2, on a lingalit de Poincar e e e
C3 y u
(2.56)
En appliquant lingalit de Cauchy-Schwarz au second membre de lgalit (2.52) e e e e et en utilisant (2.55), (2.56) ainsi que ladmissibilit de M, on a e y u
2 0
(f u + y f y u + h p ) dx
0
0 0
+ y f f
0 0
y u
0
+ h
C4 y u
+ y f
+ C2 h donc y u
2 0
(C3 + ) y u
+ f
+ y f
C5 y u
0 0
+ y f
+ h
0
+ C6 h
0 + y f
(2.57)
41
On utilise maintenant plusieurs fois lingalit de Young; (2.57) est de la forme e e 2 C5 ( + ) + C6 1 2 1 2 2 1 + C5 + 2 + 2 + C6 2 + 2 , 2 2 2
donc 2 Autrement dit, y u et par (2.56), u

0 2 0 2 2C5 + C6
2 + 2 .
C7 e
2 X
(2.58)
C8 e
(2.59)
Donc nous avons tabli la premi`re des deux majorations cherches. e e e Reprenons la majoration (2.55); grce ` (2.56), (2.58), elle devient a a p 0 C2 (C3 + ) y u 0 + 2 e X C9 e
X.
(2.60)
En combinant (2.59), (2.60) dans (2.53) nous obtenons nalement |L(e )| ce qui termine la dmonstration. e C10 e
0
(2.61)
Nous sommes maintenant en mesure de dmontrer lexistence dune solution pour e le probl`me (P ). e Thor`me 2.10 e e Le probl`me (P ) poss`de au moins une solution dans X qui vrie e e e w o` C > 0 est une constante. u
X
C e
(2.62)
42
Dmonstration e L tant continue pour la norme de X, le thor`me de Hahn-Banach peut sappliquer e e e et permet de la prolonger sur X en une forme note L qui vrie e e L
H
= L
Par le thor`me de reprsentation de Riesz, il existe un unique w X tel que e e e L(e ) = (w, e )X Si e H X, on a L(e ) = L(e ) et L(e ) = (e, w )L2 , L(e ) = (e , w)X = a(w, w ) , donc, en vertu du lemme 2.8, a(w, w ) = (e, w )L2 w VK , e X .
ce qui montre que w est solution de (P ). Comme le thor`me de reprsentation de e e e Riesz dnit une isomtrie et grce ` lingalit (2.61), nous dduisons lingalit e e a a e e e e e w
X
= L
= L
C e
En supposant plus de rgularit pour la solution faible, nous pouvons montrer le e e rsultat suivant. e Thor`me 2.11 e e Si la solution faible de (P ) est dans V , alors elle vrie (2.41) au sens des distribue tions, les conditions aux limites au sens des traces, et elle est unique. Dmonstration e Posons w = (u , 0) avec u D()2 dans (2.48); nous obtenons a(w, w ) = =

(u ((c)u ) + y u y u p div u ) dx f u dx , u D()2 ,
43
donc
2 (c)u + p y u = f
en distribution .
(2.63)
De mme, en prenant w = (0, p ) avec p D(), on a e a(w, w ) = = = ce qui signie que div u = h en distribution . (2.64)

u p dx div u p dx h p dx , p D() ,
Pour ce qui est des conditions aux limites, on a dabord u = 0 au sens des traces sur 0 car w V . En utilisant maintenant f et h donns par (2.63), (2.64) au second e intgrant par parties, il vient e
2 membre de (2.48) (ce qui est licite puisque (2.63) montre que y u L2 () ), et en
w Bw d =
1 2
w (B M)w d = 0 w VK ,
(2.65)
bien vries puisque M est admissible. e e
car w Ker (B + M t ); ce qui signie que les conditions aux limites sur sont Lunicit se dmontre en tablissant une galit dnergie analogue ` (2.52). En e e e e e e a
multipliant (2.41) par w et en posant e = 0 au second membre, il vient en intgrant e par parties 1 2 Bw w d + (y u)2 dx = 1 2 (u u)(c n) d + y u
2 0
= 0,
ce qui implique que u = 0 car c n > 0 sur et u = 0 sur 0 . En substituant cette valeur pour u dans (2.48) on trouve p div u dx = p u dx = 0 u Vk ,
do` p = 0 puisque p L2 (). u 0
44
2.5
Les quations PNS pnalises e e e
lieu ` un syst`me de Friedrichs; nous allons maintenant considrer les quations PNS a e e e perturbes de la mme faon et leur appliquer les mthodes utilises au paragraphe e e c e e prcdent. Le probl`me obtenu peut tre utilis pour la rsolution numrique des e e e e e e e quations PNS, voir [BCR]. e En procdant comme au 2.4.2, nous dnissons la forme bilinaire e e e a (w, w ) = a(w, w ) + (p, p)L2 , avec > 0, et nous considrons le probl`me faible (P ) correspondant. e e Probl`me (P ). Etant donn e Y , trouver w X tel que e e a (w , w ) = (e, w )L2 w VK . a : X V R ,
Au 2.3.1 nous avons prsent une perturbation des quations dEuler donnant e e e
Le probl`me adjoint (P) se dnit ` partir du probl`me (P ) dune faon anae e a e c (P ), aussi nous ne lcrirons pas explicitement. En reprenant les raisonnements du e 2.4.3 et en les appliquant au probl`me (P ) on aboutit au rsultat suivant. e e Thor`me 2.12 e e Le probl`me (P ) poss`de au moins une solution w X qui vrie e e e w
X
logue ` celle utilise au 2.4.2 pour dnir le probl`me (P ) ` partir du probl`me a e e e a e
C e
(2.66)
o` C > 0 est une constante indpendante de . De plus, si w V , alors la solution u e est unique.
Dmonstration e Il sut de suivre le mme cheminement que pour la dmonstration du thor`me 2.10; e e e e il est immdiat dtablir les lemmes analogues aux lemmes 2.7 et 2.8 pour le probl`me e e e faible adjoint (P ). Ensuite, en examinant attentivement la dmonstration du lemme e 2.9, nous constatons que la majoration (2.55) est encore vraie pour le probl`me (P ) e car le terme p nintervient pas. La majoration (2.59) utilise essentiellement (2.52)
2.5. Les quations PNS pnalises e e e
45
dont la version pour le probl`me (P ) fait appara un terme positif au membre e tre de gauche, donc (2.59) reste vraie aussi. Nous concluons alors de la mme faon que e c pour le thor`me 2.10. e e
Il est naturel de se poser la question de savoir ce quil se passe lorsque tend vers zro. Une premi`re rponse est donne par le rsultat suivant. e e e e e Thor`me 2.13 e e Soit {w } une suite de solutions du probl`me (P ) pour tendant vers zro. Alors e e on peut extraire une sous-suite qui converge faiblement dans X vers une solution du probl`me (P ). e Dmonstration e en extraire une sous-suite qui converge faiblement vers un lment w0 X; nous ee sont linaires et continues, et e La suite {w } est borne indpendamment de en vertu de (2.66). On peut donc e e noterons {w k }kN cette sous-suite. Dautre part, pour w x, a( , w ) et a ( , w ) e a (w, w ) a(w, w ) = (p, p )L2 , donc |a (w, w ) a(w, w )| do` , lorsque 0, u sup
wX w X =0
a (w, w ) a(w, w ) w X
0,
0, comme w k w0 , on a (cf. [Bre83], prop. iii.5)
ce qui signie que a ( , w ) converge fortement dans X vers a( , w ). Lorsque k ak (w k , w ) a(w 0 , w ) w VK , ce qui dmontre que w 0 est solution faible du probl`me (P ). e e
46
Il est possible dobtenir une sous-suite de solutions du probl`me perturb (P ) qui e e converge fortement en introduisant la notion de solution forte analogue ` celle pour a les syst`mes de Friedrichs (dnition 2.6); nous posons dabord e e V0 = {w V : w Ker(B M) sur } et nous dnissons la forme bilinaire e e a : V0 X R , a (w, w ) =
(2.67)
(Ax x w + Ay y w) w + y u y u dx + (p, p )L2 .
La forme bilinaire correspondante pour le probl`me non perturb (i.e. = 0) sera e e e note a. e Nous posons ensuite la dnition suivante. e Dnition 2.7 Pour e 0, w X est dite solution forte du probl`me (P ) e
(respectivement (P ) lorsque = 0) sil existe une suite {wj }jN V0 telle que i) lim wj w
j X
= 0;
ii) lim
w X w X =0
sup
a (wj , w ) (e, w )L2 = 0. w X
Remarque 2.7 Il est immdiat de voir que toute solution forte est faible. e Une solution forte est unique. Plus prcisment, nous avons le thor`me suivant. e e e e Thor`me 2.14 e e Si w est solution forte de (P ), alors elle vrie e w et par consquent elle est unique. e Dmonstration e La majoration (2.68) sobtient en procdant comme dans les lemmes 2.7 et 2.9, mais e
1 en utilisant la forme a . Fixons w = (u , 0) avec u H0 () et posons X
(2.68)
a (wj , w ) (e, w )L2 . j = w X
47
En intgrant par parties a (w j , w ), il vient e a (wj , w ) (e, w )L2 =
uj (c)u pj div u + y u y u dx (e, w )L2

X
= j w Par consquent, e
pj div u dx
j + C1 uj
+ y uj
+ e
et en utilisant (2.54) nous trouvons (comparer avec (2.55)) pj

0
C2 j + uj
+ e
En passant ` la limite lorsque j , il vient a p puisque j 0 par hypoth`se. e Nous omettrons la suite de la dmonstration car elle se fait en continuant ` suivre e a celle du lemme 2.9 et aboutit ` (2.68). a
0
C3 ( u
+ e 0) ,
Moyennant lhypoth`se que le probl`me (P ) poss`de des solutions fortes, on a le e e e rsultat suivant. e Thor`me 2.15 e e Sil existe 0 tel que le probl`me (P ) poss`de une solution forte w pour tout e e de (P ); de plus, on a la majoration ]0, 0], alors w w 0 dans X lorsque 0 et w0 est solution forte w w0 C e , (2.69)
o` C > 0 est une constante indpendante de . u e Dmonstration e Considrons une suite {k }kN ]0, 0 ] telle que lim k = 0. e
k
a) Soient les solutions fortes w n , wm de (Pn ), (Pm ) respectivement. Puisque an (w j n w j m , w ) = an (w j n , w ) am (wj m , w ) + (m n ) pj m , p

L2
48
nous voyons que (w n w m ) est solution forte de (Pn ) mais avec le second membre (0, (m n )pm )t . La majoration (2.68) donne alors w n w m
X
C |m n | e 0 ,
ce qui montre que {w k }kN est une suite de Cauchy dans X. b) Par hypoth`se, le probl`me (P ) poss`de une solution forte pour tout ]0, 0], e e e
probl`me (Pk ), qui est une suite de Cauchy en vertu du point a) et dont la limite e est w0 = lim w k . Nous allons construire une suite dans V0 satisfaisant i) et ii) de
k
donc nous considrons la suite de solutions fortes {wk }kN , o` w k est solution du e u
la dnition 2.7 avec w0 ` la place de w et a ` la place de a dmontrant ainsi que e a a e w 0 est solution forte de (P ). Fixons > 0; on a K1 K2 tel que tel que k w k w 0 +C e 2
X
2 2
d`s que k e d`s que k e
K1 , K2 ,
et posons K = max(K1 , K2 ). Comme wk est solution forte, k, J(k) tel que et ak (wj k , w ) (e, w )L2 w j k w k w 2
X X
2 J(k) .
d`s que j e K
X
Donc la suite {w j k }kN V0 vrie pour j e wj k w0

X
J(k) avec k
X
w j k w k
+ w k w 0
, K et w x e
et i) est satisfait. Pour montrer que ii) lest aussi, on calcule pour k a(wJ(k) , w ) (e, w )L2 k a(wJ(k) , w ) ak (wJ(k) , w ) k k
+ ak (wJ(k) , w ) (e, w )L2 . k Or, dune part nous avons a(wJ(k) , w ) ak (wJ(k) , w ) = k pJ(k) , p k k k k w k w w 2
X L2 0
pJ(k) pk k +C e 2
0
+ p k
49
et, dautre part, ak (w J(k) , w ) (e, w )L2 k do` u a(wJ(k) , w ) (e, w )L2 k Comme w est quelconque, ii) est bien vri. e e c) Finalement, la majoration (2.69) sobtient comme au point a) en remarquant appliquant lingalit (2.66). e e que w 0 w est solution du probl`me (P ) pour le second membre (0, p) et en e w
X
w 2
quations dEuler pnalises, les quations PNS pnalises peuvent se mettre sous la e e e e e e forme dun syst`me de Friedrichs. Par consquent, il doit tre possible de dmontrer e e e e lexistence dune solution forte au probl`me (P ) et satisfaire ainsi les hypoth`ses du e e thor`me 2.15. e e
Remarque 2.8 En faisant le mme changement de variables quau 2.3.1 pour les e
50
Chapitre 3 Approximation numrique e

Les quations PNS incompressibles et compressibles vont tre rsolues numrie e e e quement au moyen dune mthode dlments nis discontinus; ces derniers sont pare ee ticuli`rement bien adapts ` la rsolution des probl`mes hyperboliques (voir [Les75], e e a e e [JP86]). Pour les quations PNS, la convection a lieu principalement dans la direction e privilgie de lcoulement, et les termes dissipatifs ne sont prsents que dans la e e e e direction perpendiculaire ` celle-ci. Cela sugg`re lutilisation dlments nis disa e ee continus dans la direction privilgie et continus dans la direction perpendiculaire. e e lerreur pour une discrtisation base sur ce type dlments. Le 3.3 prsente la e e ee e discrtisation pour le cas compressible; nous utiliserons les mmes lments, mais e e ee cette mthode de rsolution prsentant des instabilits lorsque la viscosit devient e e e e e petite, nous la modierons en eectuant un dcentrage an de la stabiliser. En outre, e nous utiliserons une mthode itrative pour rsoudre la non-linarit. e e e e e Les discrtisations que nous utilisons sont bases sur celle pour les syst`mes de e e e Friedrichs avec des lments nis discontinus aussi ce sujet sera tr`s bri`vement ee e e rappel au 3.1. e Mentionnons encore que les mthodes numriques de ce chapitre peuvent stene e e dre ` des situations plus gnrales; en particulier il est possible de les formuler dans a e e des coordonnes curvilignes pour pouvoir traiter des gomtries plus complexes, et e e e aussi de les adapter au cas tridimensionnel. Dans le cas incompressible et linaire, nous tablirons au 3.2 une estimation de e e
51
52
3.1. Une discrtisation pour les syst`mes de Friedrichs e e
53
3.1
Une discrtisation pour les syst`mes de e e Friedrichs
exposons la faon de poser le probl`me discret comme dans [Les75] pour un probl`me c e e pos dans = (0, 1) (0, 1). e Nous nous proposons de chercher une solution dans un sous-espace de dimension
Reprenons le cadre des syst`mes de Friedrichs avec les notations du 2.2, et e
nie Vh de H 1 () . Le probl`me approch (Ph ) sera dni en utilisant la formulation e e e aux limites adjointes dans lespace des fonctions tests, aussi, nous allons dabord la modier de faon ` pouvoir utiliser le mme espace pour les fonctions tests que pour c a e la solution. Si la solution faible u de (2.22) est susamment rguli`re, il est possible dinte e e grer par parties (2.22) et il vient (u, A )L2 = (Au, )L2 = (Au, )L2 = (Au, )L2 = (f , )L2
faible du probl`me (P ), 2.4.2. Cependant, cette derni`re prescrit des conditions e e
(u, B) d
1 2 1 2
u, (B M t ) d ((B M)u, ) d
m
(3.1)
C 1
, Ker(B + M t ) sur .
Au vu de (3.1), nous posons le probl`me discret suivant. e Etant donn f L2 , trouver uh Vh tel que e (Auh , v h )L2 1 2
((B M)uh , v h ) d = (f , v h )L2
v h Vh .
(3.2)
La formulation pour des lments nis discontinus consiste ` utiliser (3.2) lment ee a ee par lment. ee dnissons le sous-espace de L2 de dimension nie e Wh = u L2 : u|K Donnons-nous une triangulation T de , dont les lments sont nots K. Nous ee e est polynomiale .
Pour un lment K donn, posons uint = uh |K et dsignons par uext la valeur de uh ee e e h h aboutit au probl`me discret suivant. e
prise sur les lments adjacents ` K; lquation (3.2) applique lment par lment ee a e e ee ee
54
3. Approximation numrique e
Etant donn f L2 et des matrices MK = M |K , trouver uh Wh tel que e

KT
(Auh , v h )L2 (K)
1 2
(B MK )(uint uext ), v int d h h h = (f , v h )L2 v h Wh . (3.3)
Cest une discrtisation de ce type que nous allons adapter pour les quations PNS. e e
3.2
Un schma avec estimation de lerreur e
Lestimation derreur que nous allons prsenter a t tablie dans le cas ine ee e compressible. Le syst`me dont nous dsirons approcher une solution est le suivant e e (cf. (2.41)),
A w x x u
w 2w D 2 = e dans , y y (B M)w = 0 , M = B 2 sur , + Ay = 0 sur 0 ,
(3.4)
o` e = (f , h)t est donn, w = (u, p)t , Ax , Ay sont dnies en (2.29) et D est dnie u e e e en (2.16). Nous supposons que le champ c C 1
2
donn vrie e e
c > 0 sur , div c = 0 dans , c n = 0 sur 0 . Nous procdons comme au 2.4, avec les mmes dnitions et notations, except e e e e pour la matrice M sur du 2.4.1 dont la dnition est remplace par celle donne e e e en (3.4) ci-dessus, et en remplaant L2 () par L2 () dans les dnitions des espaces c e 0 de fonctions (2.43)(2.45). En eet, la matrice M = B 2 sur fait appara tre
donc plus dnie ` une constante pr`s comme ctait le cas au 2.4. e a e e Nous posons le probl`me faible suivant. e
explicitement la pression dans les conditions aux limites (voir 2.3.3), celle-ci nest
3.2. Un schma avec estimation de lerreur e
55
Probl`me (Pc ). Etant donn e Y , trouver w X tel que e e a(w, w ) = (e, w )L2 w VK . (3.5)
Lexistence dune solution faible ` ce probl`me est dmontre dans [CGLR90] et a e e e lorsque cette derni`re est susamment rguli`re1 , elle est unique. e e e
3.2.1
Discrtisation e
An de pouvoir dnir les espaces de discrtisation, nous considrons dabord e e e une subdivision de comme suit. Soient I et J deux entier positifs, et soient des nombres rels x0 < x1 < . . . < xI et y0 < y1 < . . . < yJ o` x0 = y0 = 0, xI = yJ = 1. e u Nous posons pour i = 1, . . . , I et j = 1, . . . , J, (cf. gure 3.1) Ki = [xi1 , xi ] [0, 1] , Ki = {xi1 } [0, 1] , Kij = [xi1 , xi ] [yj1, yj ] , Ki = Ki Ki+ .
Ki+ = {xi } [0, 1] ,
ext wh
int wh
ext wh
K i
Ki xi
K i
xi1
Figure 3.1. Notations sur une bande. Les lments sont bien s r Kij . Lespace des fonctions polynomiales ` une variable ee u a de degr infrieur ou gal ` k est not Pk , et nous allons approcher aussi bien la e e e a e vitesse que la pression dans lespace h , h = L2 () : |Ki C 0 (Ki ) , |Kij ( , y) P0 , |Kij (x, ) P1 . (3.6)
1
Plus exactement, si elle appartient ` H 1 () . a
56
Avec cette dnition, il y a deux nuds par lment. Nous adoptons la convention e ee quils sont situs sur le milieu des artes horizontales et ont donc les coordonnes e e e suivantes dans llment Kij , ee (xi1/2 , yj1) , (xi1/2 , yj ) , o` xi1/2 = (xi1 + xi )/2 . u
Soit Nn le nombre total de nuds; si ces derniers sont nots par am , m = 1, . . . , Nn , e une base usuelle de h est donne par les fonctions l dnies par la relation e e l (am ) = l,m , o` l,m est le symbole de Kronecker. u Lespace de dimension nie dans lequel nous allons chercher une solution est Vh = w h 3 : w h = (uh , ph ) , uh = 0 sur 0 . h Sur les bandes Ki , i = 1, . . . , I, nous dnissons e w int h = w h |K i sur Ki , w ext h =
w
h |Ki1 h |Ki+1
l, m
Nn ,
sur Ki , sur Ki+ , (3.7)
Bi = B |Ki et nous dnissons en outre e
et Mi =
Bi2
sur Ki ,
hij = diam(Kij ) ,
h = max hij .
i,j
Le probl`me discret sobtient en raisonnant comme pour (3.3) pour les drives e e e dordre 1, ` la dirence que la somme se fait bande par bande (puisque les fonctions a e de Vh sont continues dans la direction y), et en intgrant par parties les drives e e e dordre 2 comme pour lobtention du probl`me faible (3.5). e Nous posons le probl`me suivant. e Probl`me (Ph ). Etant donn e Y , trouver wh Vh tel que e e ah (w h , w h ) 1 I 2 i=1
Ki
(Bi Mi )(wint w ext ), wh h h

I J i=1 j=1 Kij
int
d + ch (w h , w h ) = (3.8)
(e, wh )L2 +
hij (f , p h ) dx w h Vh ,
57
avec
I
ah (w h , wh ) =
i=1 Ki I J
(Ax x wh + Ay y wh , wh ) + (Dy wh , y wh ) dx , (3.9)

2 hij (c)uh + ph y uh , p h dx .
ch (w h , wh ) =
i=1 j=1 Kij
(3.10)
Remarque 3.1 Il est possible de dnir dautres discrtisations en choisissant e e dautres matrices Mi que celles dnies en (3.7); si nous avons fait ce choix pare ticulier, cest an de pouvoir tablir une estimation de lerreur. e Remarque 3.2 Le terme ch (wh , wh ) dni en (3.10) stabilise la discrtisation (3.8). e e Nous stabiliserons ce type de discrtisation dune autre faon pour les quations e c e compressibles au 3.3.2. Remarque 3.3 Etant donne la discrtisation utilise, les drives partielles par e e e e e rapport ` x et les drives partielles secondes par rapport ` y sont nulles dans le a e e a probl`me (Ph ). Nous les conservons car on pourrait utiliser la mme formulation pour e e une approximation avec des polynmes Pk Pk+1 au lieu de P0 P1 dans lespace h . o Remarque 3.4 Pour les applications pratiques, des conditions aux limites inho mog`nes sont imposes dans (3.8) et les matrices M sur ne sont pas B 2 mais e e plutt celles donnes en (2.34), et (2.35) ou (2.36). o e tre Si ch (w h , w h ) 0, des oscillations peuvent appara sur la pression (voir 3.2.3).
3.2.2
Estimation de lerreur
Pour tablir une estimation de lerreur, nous devrons supposer que le probl`me e e continu (Pc ) poss`de une solution susamment rguli`re. Plus prcisment, nous e e e e e dnissons lespace e
2 X = w L2 ()3 : w |Ki H 1 (Ki )3 , y u|Ki L2 (Ki )2 ,
u|0 Ki = 0 pour i = 1, . . . , I .
58
3
Nous posons W 2, = W 2, () et nous supposerons dsormais que (Pc ) poss`de e e 2, une unique solution dans X W . Nous introduisons la forme Bh : X X R, Bh (w, w ) = ah (w, w ) 1 2
I i=1
Ki
(Bi Mi )(wint w ext ), w
int
d + ch (w, w ) , (3.11)
et nous dnissons encore quelques notations. Les bords verticaux des bandes Ki e seront aussi nots Si = {xi } [0, 1], et nous introduisons les notations suivantes o` e u i = 1, . . . , I, et j = 1, . . . , J, sauf mention contraire. w + = w |Ki+1 , w = w |Ki sur Si , w 0 = w I+1 = 0 , h h BSi = B |Si , MSi = M |Si pour i = 0, . . . , I , Bi+ = B |Ki sur Ki+ , Bi = B |Ki sur Ki . w i = w h |K i , h
e Nous remarquons que la matrice Ax varie contin ment sur et que par consquent u
Bi+ = Bi+1 pour i = 1, . . . , (I 1). Le saut (au sens des traces) dune fonction a w X ` travers Si sera not [w] = w+ w . e
Lestimation se fera dans la norme dpendant du maillage suivante, e w

2 h
= y u
2 0
+
i=1 j=1
hij p
2 0,Kij
+
i=1
[w]
2 0,Si
Remarquons que lexpression ci-dessus est bien une norme sur X puisque si w X et w
h
= 0, alors il est clair que u = 0 et p|Ki est constant; nous dduisons que e p = 0 puisque la norme [w] 2 i des sauts est nulle et en raison des conditions aux 0,S limites choisies sur qui font appara explicitement p. tre Finalement nous ferons lhypoth`se que le maillage est quasi-uniforme, i.e. il existe e une constante r > 0 indpendante de h telle que e rh hij h i, j . (3.12)
h.
Nous avons tout dabord une proprit de coercivit pour Bh dans la norme ee e
3.2. Un schma avec estimation de lerreur e Lemme 3.1 Il existe des constantes h0 > 0 et C > 0 telles que C wh d`s que h e h0 .
2 h
59
Bh (wh , wh ) w h Vh ,
(3.13)
Dmonstration e Intgrons par parties ah (wh , wh ) comme pour lobtention de (2.51); il vient e
I
a(w h , w h ) =
i=1
Ki
(y uh )2 dx +
1 2
Ki
Bi w int , w int d h h
Traitons en premier les intgrales de bord dans Bh (w h , w h ). Une partie de celles qui e apparaissent dans (3.11) compensent celles ci-dessus, et dautre part
I i=1
+ Ki
Bi+ w ext , wint d + h h

I1 i=1
Ki
Bi w ext , wint d = h h
I
+ Ki
Bi+ wi+1 , wi d + h h
i=2 B1 w 0 , w1 d + h h +
Ki
Bi w i1 , wi d h h
+ =0
+ BI w I+1 , wI d h h
puisque w0 = w I+1 = 0, Bi+1 = Bi+ et les matrices Bi sont symtriques. e h h
Les intgrales de bord restantes deviennent e

I i=1
Ki
Mi (w int h
w ext , wint h h
d = =
i=0 Si I i=0 Si
MSi (w i+1 wi ), wi+1 wi d h h h h (MSi [wh ], [w h ]) d
car
(Bi+1 )2 =
(Bi+ )2 = MSi pour i = 1, . . . , (I 1).
En utilisant le fait que les fonctions wh sont constantes dans la direction x sur chaque bande Ki et que les drives secondes sannulent, lexpression de Bh (w h , w h ) e e
60
se rsume ` e a Bh (w h , w h ) = y uh +
i,j 2 0
hij 1 I 2 i=0
Kij
d (y uh , ph ) dx + ph
2 0,Kij
Si
(MSi [w h ], [w h ]) d
:= B1 + B2 + B3 Or, en utilisant les ingalits de Cauchy-Schwarz et de Young nous obtenons e e

Kij
d (y uh , ph ) dx + ph
2 0,Kij
1 1 d y uh 2 ij + ph 2 ij 0,K 0,K 2 2 1 1 d 2 y uh 2 ij + ph 0, 0,K 2 2
2 0,Kij
et, en choisissant h et C qui vrient les relations suivantes, e 1 1 2 , 0 < C min( , h d 2 ) h< 2 0, 2 2 d 0, nous avons B1 + B2 1 h d 2 C y uh
2 0 2 0, 2 0
y uh
+
i,j
hij
2 0,Kij
1 ph 2 ,
2 0,Kij
+
i,j
hij ph
ce qui termine la dmonstration puisque la minoration de B3 est immdiate. e e
Ce lemme ` comme consquence immdiate le lemme suivant. a e e Lemme 3.2 Il existe une constante h0 > 0 telle que le probl`me (Ph ) poss`de une unique solution e e d`s que h e h0 .
Le rsultat suivant tablit un rsultat de consistance. e e e Lemme 3.3 alors Si w W 2, X et w h sont les solutions des probl`mes (Pc ) et (Ph ) respectivement, e Bh (w w h , wh ) = 0 w h Vh . (3.14)
3.2. Un schma avec estimation de lerreur e Dmonstration e Comme w h est solution de (Ph ), on a Bh (wh , w h ) = (e, wh )L2 +
i,j
61
Kij
hij (f , p h ) dx .
Dautre part, en intgrant par parties les drives dordre 2 dans (3.11) il vient e e e
I
Bh (w, wh )
i=1 Ki
2 Ax x w + Ay y w Dy w, wh
dx
int
1 I 2 i=1
i,j
Ki
(Bi Mi )(w int wext ), wh
Kij
hij (f , p h ) dx hij (f , p h ) dx ,
= (e, wh )L2 +
i,j 3
Kij
puisque w W 2, C 0 , (B M)w = 0 sur , et en vertu de (2.63)(2.65). Ainsi (3.14) est dmontre. e e
Nous aurons besoin dutiliser linterpolation par des fonctions de Vh ; aussi, nous dnissons loprateur dinterpolation de Lagrange aux nuds des lments e e ee h : C 0 h u h u , et nous utiliserons abusivement la mme notation h pour linterpolation de vecteurs e de C 0 . Lerreur dinterpolation interviendra dans les majorations derreur, nous nonons e c donc le lemme suivant. Lemme 3.4 Pour w W 2, , on a les majorations suivantes. w h w w h w
0,Ki 3
C h2 ,
0,Ki
(3.15)
3 2
y (w h w)
0,Si
Ch ,
(3.16) (3.17)
C h.
62
La dmonstration de ces majorations est base sur les rsultats classiques dinterpoe e e lation, voir par exemple [Cia78]. En particulier, la majoration (3.15) peut se dduire e de celle pour un lment que nous dmontrons au chapitre 4, lemme 4.1. ee e Le thor`me suivant concerne lestimation de lerreur proprement dite. e e Thor`me 3.5 e e Si w W 2, et w h sont les solutions des probl`mes (Pc ) et (Ph ) respectivement, e alors il existe une constante C > 0 telle que w wh Dmonstration e Nous noterons C1 , C2 , etc. les constantes intervenant dans les majorations. Appliquons lingalit triangulaire au membre de gauche de (3.18). e e w wh
h h
1
C h2 .
(3.18)
w wh
+ wh wh
w h Vh .
Une majoration du premier terme dans le membre de droite ci-dessus sobtient en posant w h = h w et en utilisant (3.15)(3.17). w h w
2 h
= y (w h w) +
i,j 2
2 0 2 0,Kij I
hij (p h p)
2 0
+
i=1
[w h w]
2 0
2 0,Si
C1 h + h x p
+ h y (w h w)
+h
C2 (h + h2 + h3 ) . Nous remarquons donc dj` quil ne sera pas possible dobtenir une estimation ea meilleure que O(h 2 ) en procdant ainsi. e Pour majorer le second terme, on a tout dabord grce ` (3.14), (3.13) a a C3 wh
2 h
1
Bh (wh , wh ) + Bh (w w h , wh )
= Bh (w wh + w h , wh ) w h Vh .
Nous posons ` nouveau w h = h w et en prenant wh = w h w h , il vient a C3 w h w h

2 h
Bh (w wh , wh wh ) .
63
majoration de Bh (q, q h ).
Nous noterons dsormais q = w w h , q h = wh wh et nous allons tablir une e e
Commenons par intgrer par parties ah dans lexpression de Bh . Apr`s avoir rarc e e e rang les intgrales de bord, il vient e e
I
Bh (q, q h ) =
i=1 Ki
{(q, Ax x q h Ay y q h ) + (Dy q, y q h )} dx (BSi + MSi )q , [q h ] + (BSi MSi )q + , [q h ] d
1 I 2 i=0
Si
+ ch (q, q h ) := B1 + B2 + B3 .
Pour majorer |B2 |, nous remarquons que quels que soient w, w R3 , |((B M)w, w )| En eet, M = 2 (Mw, w) 2 (Mw , w ) 2 .
1 1
(3.19)
B 2 , donc B et M ont les mmes vecteurs propres, et par conse e
quent en se plaant dans cette base de vecteurs propres (3.19) est une consquence c e immdiate de lingalit de Cauchy-Schwarz. e e e En utilisant (3.19) et lingalit de Cauchy-Schwarz nous avons la majoration suie e vante pour |B2 |.
I
|B2 |
i=0 Si I
MSi q , q
1 2
+ MSi q + , q +
1 2
1 2
(MSi [q h ], [q h ]) 2 d
1 2
I i=0 Si
C4 C5
i=0 Si I
(q )2 + (q + )2 d
2 0,Si
[q h ]2 d
q
i=0
1
+ q+
2 0,Si
1 2
qh
C6 h 2 q h
par la majoration (3.17). Les termes B1 et B3 vont tre regroups diremment avant e e e de procder ` leur majoration. Exprimons B1 en utilisant le fait que les fonctions e a
64
discr`tes sont dans h donc constantes dans la direction x, e B1 = u uh , d y (uh uh ) (ph ph ) (p ph )(y (vh vh )) + = 1 y (u uh ), y (uh uh ) Re dx
u uh , d y (uh uh ) (p ph )(y (vh vh )) + 1 y (u uh ), y (uh uh ) Re dx
u uh , (ph ph ) dx
:= B4 + B5 . |B4 | se majore aisment en utilisant (3.15) et (3.16), e |B4 | q

0
0, h
y q h
+ p ph
y q h
1 y q Re
y q h
C7 h q h
La majoration de |B3 + B5 | est un peu plus longue et sobtient comme suit. |B3 + B5 | hij
i,j
(c)(u uh )
0,Kij
0,Kij
1 u uh hij
0,Kij
0,Kij
+ (p ph ) =
i,j
2 + y (u uh )
(ph ph )
0,Kij
hij ij (ph ph )
2 hij ij
0,Kij
i,j
1
2
qh
Remarquons que lon a (c)(u uh )

2 0,Kij
Kij
c2 ((x u)2 + (x v))2 dx + x u

2 0,Kij
Kij
d2 (y (u uh ))2 dx .
C8
+ y (u uh )
2 0,Kij
Donc, en utilisant (3.12), (3.15), (3.16) et le fait que les drives par rapport ` x et e e a
3.2. Un schma avec estimation de lerreur e les drives secondes sont nulles, ainsi que w W 2, , e e
2 hij ij i,j
65
C9
i,j
hij
x u
2 0,Kij
+ y (u uh )
2 0,Kij
1 u uh h2 ij
2 0,Kij 2 0,Kij
C10 h +
+ (p ph ) hij
i,j
2 0,Kij
2 + 2 y (u uh )
y q
2 0,Kij
1 q h2 ij
2 0,Kij
C11 h + h3
Finalement, en regroupant ces direntes majorations nous obtenons e qh et (3.18) est dmontr. e e
h
1 (C6 + C7 )h 2 + C11 h + h3
Remarque 3.5 En utilisant des techniques plus nes, il est possible de majorer lerreur dans la norme de X au lieu de la norme lestimation obtenue reste du mme ordre O( h). e
h,
voir [BCR]. Cependant,
Remarque 3.6 Pour les probl`mes de convection-diusion stationnaire, auxquels e les quations PNS sont assimilables, il est possible de dmontrer un ordre de convere e gence suprieur, ` savoir O(hk+1) pour des lments nis discontinus avec une ape a ee proximation polynomiale de degr k. Il faut cependant admettre certaines hypoth`ses e e sur luniformit du maillage; voir ` ce sujet [Ric87] (cit dans [Pir88]). e a e Remarque 3.7 La majoration (3.18) nest probablement pas optimale. Nous verrons que lordre de convergence calcul numriquement sur un exemple (avec des e e maillages uniformes) au 5.1.1 est de O(h).
3.2.3
Instabilit de la pression e
Comme mentionn dans la remarque 3.2, la discrtisation (3.8) peut prsenter e e e des instabilits lorsque ch = 0. Celles-ci peuvent provenir de certains modes de la e pression, appels modes de pression parasites, comme lors de la discrtisation du e e probl`me de Stokes (voir [SGLG81, BF91]). Nous allons exhiber un de ces modes e
66
pour un choix particulier des matrices M sur , cest-`-dire des conditions aux a limites sur . Nous considrons une discrtisation uniforme de , i.e. xi xi1 = yj yj1 = h e e
pour i = 1, . . . , I et j = 1, . . . , J et I = J. Supposons que les inconnues sur les lee ments soient numrotes dans lordre croissant bande par bande et selon la direction e e
y. Nous prenons comme sous-espace de dimension nie Vh comme au paragraphe pre cdent et nous notons U, P , les vecteurs contenant les composantes des fonctions uh , e ph , exprimes dans la base usuelle de h . Le vecteur des inconnues est W = (U, P )t, e et nous considrons le syst`me linaire obtenu de (3.8) avec ch (wh , wh ) 0 sous la e e e forme U = F. AW = P B A
A Bt
(3.20)
Les modes de pression indsirables sont les vecteurs (0, P )t dans le noyau de e A, autrement dit, les vecteurs P satisfaisant B t P = 0 et A P = 0, ` lexception a du vecteur P1 = (1, . . . , 1) lorsque la pression nappara pas dans les conditions t aux limites sur puisque dans ce cas elle est dnie ` une constante pr`s. Pour e a e expliciter les matrices B t et A , il faut analyser, au vu de (3.8), les contributions des termes (Ay y w h , w h ) dx ,
int
Ki
Ki
(3.21) d . (3.22)
(Bi Mi )(w int w ext ), wh h h
Commenons par (3.21). Puisque la matrice Ay est c

d 0 0
Ay = 0 d 1 , 0 1 0 nous voyons que seul llment (Ay )23 = 1 contribuera ` B t . Sur un lment, la ee a ee matrice lmentaire correspondante est ee h 1 1 . 2 1 1

67
Avec la numrotation choisie pour les inconnues, nous obtiendrons apr`s assemblage e e la contribution suivante pour B t ,

0 1
0 0 0 1
0 1 0 0 0 1 .. .. .. . . .
h 2
et nous voyons que les vecteurs P1 = (1, 1, . . . , 1) , P2 = (1, 1, 1, 1 . . . ) , sont dans le noyau de cette matrice. Pour la contribution due ` (3.22), nous choia sissons des matrices M sur telles que (B M)(0, 0, 1)t = 0, comme par exemple (2.34) et (2.36). Remarquons maintenant que pour les fonctions dont les composantes sont W1 = (0, P1) et W2 = (0, P2 ), les sauts w int wext dans (3.22) sont nuls h h
sur Ki sauf peut-tre sur , donc ces termes nentrent pas en ligne de compte; et e sur , les intgrales sont galement nulles grce au choix des matrices M ci-dessus. e e a Finalement, la matrice A nest constitue que de contributions provenant de (3.22). e Par consquent, W1 et W2 sont bien dans le noyau de A, et P2 est un mode de e pression.
68
3.3
Discrtisation dans le cas compressible e
La discrtisation utilise pour la rsolution des quations PNS compressibles est e e e e semblable ` celle du paragraphe prcdent. a e e Le syst`me que nous allons rsoudre est le suivant (cf. (2.18)), e e
A (w 0 ) w x x u
2 w 0 w + Ay (w ) D(w ) 2 = F (w0 ) , y y (B M)w = w , M = B 2 sur , 0
(3.23)
= u0 , T = T0
sur 0 .
o` w0 , w , u0 et T0 sont donns. u e An de ne pas surcharger les notations, nous omettrons la dpendance en w 0 pour e les matrices puisque celle-ci ne sera pas indispensable.
3.3.1
Discrtisation e
Nous reprenons les notations introduites au paragraphe prcdent. Nous consie e drons la mme subdivision de que prcdemment et ` nouveau, nous allons e e e e a approcher la vitesse, la temprature et la pression dans lespace h dni en (3.6). e e Le sous-espace de dimension nie Vh dans lequel nous allons chercher une solution est Vh = w h 4 : w h = (uh , Th , ph )t , uh = u0 et Th = T0 sur 0 . h Lespace de dimension nie V0h pour les fonctions tests est simplement lespace Vh mais avec des conditions homog`nes sur 0 , e V0h = wh 4 : wh = (uh , Th , ph )t , uh = 0 et Th = 0 sur 0 . h Nous utilisons les mmes notations quau 3.2.1, et la mme dnition pour les e e e matrices Mi , ` savoir Mi = B 2 . Le probl`me discret sobtient alors de la mme a e e faon que pour (3.8) et est le suivant. c Probl`me (Ph ). Trouver w h Vh tel que e ah (w h , w h ) 1 I 2 i=1
Ki
(Bi Mi )(wint w ext ), wh h h
int
d w h V0h , (3.24)
= (e, wh )L2
3.3. Discrtisation dans le cas compressible e
69
avec
I
ah (w h , wh ) =
i=1 Ki
(Ax x w h + Ay y w h , wh ) + (D y wh , y wh ) + (y D y w h , wh ) dx . (3.25)
Les dtails de cette discrtisation (intgration numrique, calcul des matrices Mi , e e e e etc.) sont exposs dans lannexe A. e Nous discuterons la rsolution du syst`me linaire obtenu de (3.24) un peu plus e e e loin, mais auparavant nous allons modier cette discrtisation car elle prsente des e e instabilits et indiquer comment le probl`me physique non linaire est rsolu. e e e e
3.3.2
Stabilisation
La pression calcule en rsolvant le probl`me (Ph ) prsente des oscillations e e e e lorsque la viscosit est petite. Comme nous lavons vu au paragraphe prcdent, e e e il est possible de stabiliser le schma par adjonction de certains termes dans le cas e incompressible (voir le paragraphe prcdent et [BCR]). Nous avons opt pour une e e e autre solution, celle qui consiste ` dcentrer certains termes dans la direction y en a e utilisant une technique de dcomposition de ux (ux-splitting, voir [SW81]) que e nous appliquons de la faon suivante. La matrice Ay est dcompose selon c e e Ay = Ay + A0 (3.26)
o` A0 ne contient que les termes constants de Ay . Ensuite, nous diagonalisons A0 , u A0 = ODO t, et nous posons A+ = OD+ O t , A = OD O t ,
avec D+ , D les matrices diagonales ne contenant que les valeurs propres positives, respectivement ngatives, de A0 . Plus prcisment, e e e
0 0
0 0 0 0
A0 =
0 1 0 0
0 0 1 , 0 0 0
70


0 0 0 0
1 0 1 0 1 , A+ = 2 0 0 0 0 0 1 0 1
1 0 1 0 A = 2 0 0 0 0 1
0 1
1
0
Lide de la mthode consiste, en dirence nies, ` dcentrer amont les termes e e e a e pour A+ et aval ceux pour A ; cela peut se faire dans le schma lments nis en e ee modiant les fonctions tests pour les termes concerns. Si la discrtisation dans la e e direction y est uniforme avec yj yj1 = hy pour j = 1, . . . , J, alors nous prenons au lieu de w h , hy w h 2 y hy w h wh 2 y wh +
pour A+ , pour A .
Ces fonctions tests donnent plus de poids ` lamont ou ` laval produisant ainsi le a a dcentrage souhait2 . La gure 3.2 illustre cette modication dans le cas unidimene e sionnel. Dans le syst`me discret, cela consiste donc ` remplacer (Ay y wh , wh ) dans e a
hy l l + __ ___ 2 y
Figure 3.2. Dcentrage amont. e la dnition de ah (3.25) par e hy hy Ay y wh , wh + A+ y wh , w h + y w h + A y w h , w h y wh = 2 2 hy ((A+ A )y w h , y w h ) (3.27) (Ay y wh , wh ) + 2 Cette derni`re expression permet linterprtation suivante pour le probl`me continu; e e e
2 Cest le mme genre dide qui est exploite dans les mthodes SUPG (streamline upwinding e e e e Petrov-Galerkin). Voir par exemple [HB79], [JN81].
71
le dernier terme au membre de droite de (3.27) correspond aux termes hy 2 hy 2 2v y 2 2p y 2 dans la 2eme quation , e dans la 4eme quation , e
intgrs par parties pour autant que soit vrie lhypoth`se p = 0 sur 0 pour e e e e e annuler les intgrales de bord. Le dcentrage utilis est donc presque quivalent ` e e e e a rajouter de la diusion articielle dans la direction y au moyen des drives secondes e e ci-dessus.
3.3.3
Probl`me non linaire e e
Nous avons jusqu` prsent considr uniquement des probl`mes linariss. Or, a e ee e e e le probl`me physique que nous dsirons rsoudre est non linaire (cf. (2.9)); nous e e e e allons maintenant dcrire deux algorithmes dirents pour rsoudre le probl`me non e e e e linaire. e
Un premier algorithme Pour une fonction w h Vh , nous noterons W le vecteur de ses composantes
dans la base usuelle de Vh . Nous pouvons crire le syst`me linaire provenant de la e e e discrtisation (3.24) sous la forme e A(W 0 ) W = F(W 0 ) , (3.28)
o` W 0 est le vecteur correspondant ` une interpolation w0 de la donne w0 , et le u a e h probl`me non linaire scrit quant ` lui e e e a A(W ) W = F(W ) . (3.29)
Une mthode de style Picard est utilise pour rsoudre le probl`me non linaire. e e e e e Lalgorithme est le suivant.
72
Algorithme I. 1. Poser k = 1, et dterminer W 0 ` partir de w0 ; e a 2. rsoudre le syst`me linaire suivant pour W k , e e e A(W k1 ) W k = F(W k1 ) ; 3. pour une tolrance donne, si la condition e e
k1 wk wh h L2
(3.30)
wk h
(3.31)
L2
est satisfaite, alors n des itrations; e sinon, incrmenter k et recommencer au point 2. e Nous navons pas dmontr la convergence de cet algorithme, mais les rsultats e e e numriques obtenus sont satisfaisants. e Rsolution des syst`mes linaires. Indiquons comment sont rsolus les syse e e e t`mes (3.30). Supposons que les inconnues soient numrotes bande par bande; la e e e numrotation est donc contigu sur chaque bande, et considrons la solution discr`te e e e e sur une bande w i = w h |Ki dont le vecteur des composantes dans la base usuelle de Vh est not Wi . Il est facile de se convaincre que la matrice A du syst`me linaire est e e e tridiagonale par blocs. En eet, sur une bande interne Ki , la discrtisation (3.24) e ne fait intervenir que la solution sur Ki et sur les bandes adjacentes Ki1 , Ki+1 ; sur les deux bandes extrmes K1 et KI , ce sont la solution sur la bande et sur la bande e adjacente interne qui interviennent ainsi que les conditions aux limites sur et + (dans ce dernier cas, les termes correspondants contribueront au second membre). Dsignons par Li , Di et Ui les matrices blocs qui sont respectivement au-dessous e de, sur, et au-dessus de la diagonale bloc; lquation (3.30) devient ainsi e
k k Li (W k1)Wi1 + Di (W k1)Wik + Ui (W k1 )Wi+1 = Fi (W k1 ) ,
i = 1...I , (3.32)
k k avec la convention que W0 et WI+1 sont donns par les conditions aux limites sur e
quel que soit k. La rsolution de (3.32) peut seectuer de direntes faons, e e c en particulier en utilisant une mthode directe ou une mthode itrative qui prend e e e galement en compte la non linarit et permet ainsi de formuler une version modie e e e e de lalgorithme I.
73
Mthode directe. La rsolution de (3.32) seectue au moyen dune dcomposie e e tion LU de la matrice A, et celle-ci seectue par blocs an dexploiter la structure tridiagonale par blocs de A. Les blocs Li , Di et Ui ne sont assembls que lorsquils e interviennent dans la dcomposition (comme pour une mthode frontale). Dtaillons e e e quelque peu cette dcomposition, car en leectuant judicieusement, il est possible e de rduire la taille mmoire ncessaire ` la rsolution. e e e a e Une dcomposition LU peut scrire de deux faons; il est habituel de choisir la e e c matrice L de telle sorte que sa diagonale ne contienne que des 1. Ce choix nest pas indiqu ici. En eet, si nous procdons ainsi dans la dcomposition par blocs, alors il e e e est facile de voir quil faudra stocker en mmoire tous les blocs Di et Ui ; par contre, e en choisissant la dcomposition avec une matrice U ayant une diagonale unit, alors e e il sura de ne conserver en mmoire que les blocs Ui . e Un autre algorithme Nous noterons Wik le vecteur des inconnues sur la bande Ki ` litration k, et a e nous posons
k k W i,k1 = W1 , . . . , Wi1 , Wik1, . . . , WIk1 t
Lquation (3.32) sugg`re un nouvel algorithme qui est le suivant. e e Algorithme II. 1. Poser k = 1, et dterminer W 0 ` partir de w0 ; e a 2. pour i = 1, . . . , I, rsoudre les syst`mes linaires suivants pour Wik , e e e
k k1 Li (W i,k1)Wi1 + Di (W i,k1)Wik = Fi (W i,k1) Ui (W i,k1)Wi+1 ;
3. pour une tolrance donne, si la condition e e

k1 wk wh h L2
wk h
L2
est satisfaite, alors n des itrations; e sinon, incrmenter k et recommencer au point 2. e
74
Cet algorithme nest rien dautre en fait quune mthode de Gauss-Seidel par e blocs non linaire, qui est particuli`rement conomique en mmoire puisquelle ne e e e e requiert que le stockage des trois blocs ci-dessus. Elle correspond ` une mthode de a e marche consistant ` rsoudre le syst`me discret en progressant bande par bande. a e e Dapparence attractive, puisque tr`s conomique en mmoire et permettant de e e e rsoudre la non linarit, cette mthode nest pas praticable lorsque le nombre de e e e e Mach est grand et la viscosit petite; en eet, nous avons constat sur des essais e e numriques quelle ne converge que tr`s lentement, voire mme pas du tout selon la e e e donne initiale W 0 fournie. e
Chapitre 4 Adaptation de maillage

En rgime supersonique, les quations PNS compressibles donnent lieu ` un choc; e e a remarquons quil ne sagit pas dune discontinuit au sens mathmatique puisquil e e y a des termes de viscosit et de conductivit thermique dans les quations. An e e e dobtenir une bonne approximation de ce choc, nous allons mettre en uvre une mthode de maillage adaptatif. e Les mthodes dadaptation de maillage consistent ` trouver un maillage du doe a maine de calcul bien adapt au probl`me que lon cherche ` rsoudre. Ainsi, la e e a e solution numrique obtenue sera plus prcise et ceci pour un moindre co t. Lorsque e e u des estimations derreur existent pour le probl`me considr, ces derni`res permete ee e tent de quantier la qualit de la solution numrique et dutiliser cette information e e localement an de raner le maillage ` certains endroits, et de le rendre plus grossier a ` dautres. Cependant, les estimations derreur font gnralement appel ` une norme a e e a de la solution exacte qui nest elle pas connue. Il est toutefois possible dans certains cas dtablir des estimations derreur a posteriori, i.e. la majoration fait intervenir la e norme de la solution calcule. Si lon ne dispose pas destimations a posteriori, il peut e tre raisonnable de calculer la norme ncessaire en remplaant la solution exacte par e e c la solution approche. Dans notre cas, nous ne disposons daucune estimation, aussi e nous nous contenterons des majorations pour lerreur dinterpolation estime au e moyen de la solution approche. Cette approche est base sur lobservation que cest e e gnralement lerreur dinterpolation qui permet dtablir des estimations derreur. e e e Malgr ses avantages, ladaptation de maillage prsente linconvnient dune plus e e e grande complexit de mise en uvre informatique, particuli`rement en ce qui cone e cerne lorganisation et la gestion des donnes. e
75
76
4.1. Mthode utilise e e
77
4.1
Mthode utilise e e
Nous commenons par exposer les ides gnrales de certaines mthodes dadapc e e e e tation de maillage dont nous nous inspirerons pour formuler un algorithme. Supposons que nous dsirions calculer une approximation uh dune solution u e dun certain probl`me avec une tolrance donne dans la norme de H 1 (), e e e u uh
1,
(4.1)
Si nous disposons dune estimation de lerreur commise, par exemple u uh

2 1,
C2
KT
h2 |u|2 , K 2,K
alors (4.1) sera vrie sur un maillage T dont les lments sont nots K d`s que e e ee e e
KT
h2 |u|2 K 2,K
o` hK dsigne le diam`tre de llment K. u e e ee Nous allons procder comme suit pour construire un tel maillage. Partant dun e maillage T0 donn, nous calculons une solution approche uh . En supposant que e e lerreur commise en approchant |u|2,K par |uh |2,K est ngligeable, nous posons e K = hK |uh |2,K . Les nombres K sont traditionnellement appels estimateurs locaux (ou tout sime plement estimateurs) puisquils fournissent une estimation de lerreur commise par lment. Nous considrons ensuite les lments pour lesquels ee e ee
2 K >
1 N
o` N est le nombre total dlments. Ces lments sont alors subdiviss en lments u ee ee e ee que la condition plus petits formant ainsi un nouveau maillage T1 . Ce procd est rpt jusqu` ce e e e ee a
2 K KTk
soit vrie pour un certain indice k. e e
78
4. Adaptation de maillage
En procdant de cette faon, nous voyons que nous obtiendrons sur chaque le c ee ment une erreur qui sera sensiblement la mme, aussi parle-t-on dans ce cas dquire e e partition de lerreur. Dans la pratique, il se posera entre autres le probl`me destimer e numriquement la constante C. e Une analyse de ce type de mthode est donne dans [EJ88] pour des probl`mes e e e elliptiques linaires. e Nous allons concevoir un algorithme en nous basant sur les considrations qui e prc`dent. Soit N un sous-ensemble de {1, 2, 3, 4} et considrons les fonctions n e e e pour n N choisies parmi les fonctions u, v, p, T . fonctions n dans la norme de L2 (K), Etant donn un maillage T , nous estimons lerreur dinterpolation n,K pour les e n h n et nous posons n = 2 1 N
2 n,K KT
0,K
n,K ,
(4.2)
o` N est le nombre total dlments du maillage T . Le nouveau maillage sera u ee lment K sera subdivis si pour au moins un indice n la condition ee e n,K n n
construit ` partir de lancien en ranant certains lments. Plus prcisment, un a ee e e
(4.3)
est vrie, o` n sont des poids permettant, si besoin est, de contrler la slection e e u o e des lments; nous avons constat que des poids n = 1 donnent dj` de bons ee e ea rsultats. e
Remarque 4.1 En introduisant lcart-type sn des estimateurs n,K , (4.2) devient e n = 2 + s2 o` n est la moyenne des estimateurs n,K . Un crit`re parfois utilis en 2 e e n n u maillage adaptatif consiste ` raner les lments pour lesquels n,K a ee plus dlments seront rans. ee e Un algorithme possible est le suivant. n + s (voir par exemple [WC90]). Le crit`re (4.3) avec des poids n = 1 est moins restrictif, e
79
Algorithme dadaptation de maillage. 1. Poser k = 0 et se donner un maillage de dpart T0 ; e 2. calculer une solution sur le maillage Tk en rsolvant le probl`me (Ph ); e e 3. calculer les estimateurs n,K pour n N sur chaque lment; ee 4. si pour une tolrance donne on a e e n n N , (4.4)
ou si aucun lment ne vrie (4.3), ee e alors n des itrations; e sinon, subdiviser les lments satisfaisant la condition (4.3); ee incrmenter k et gnrer un nouveau maillage Tk ; e e e interpoler la solution calcule en 2. sur le maillage Tk ; e 5. recommencer au point 2. Remarque 4.2 Il peut eectivement se produire quaucun lment ne vrie (4.3); ee e cela dpend des poids n choisis. e Remarque 4.3 Si n = 1, il y aura toujours au moins un lment qui vriera (4.3) ee e car n max n,K .
K
Remarque 4.4 A la n de ltape 4. de lalgorithme, il faut interpoler la solution e sur le nouveau maillage, car cest cette solution qui est utilise dans le calcul des e matrices Ax , Ay et D de la discrtisation (3.24) pour litration suivante. e e Remarque 4.5 Le choix de dans lalgorithme ci-dessus pose probl`me, car il nest e pas vident a priori davoir une ide de lordre de grandeur de lerreur dinterpolae e tion (dautant plus que nous nutilisons quune estimation de celle-ci). Aussi, dans la pratique, nous remplacerons la condition exprime dans lingalit (4.4) par une e e e
80
limite sur les ressources informatiques. Plus prcisment, les itrations seront ine e e terrompues lorsque la mmoire disponible sera puise ou bien lorsque le temps de e e e calcul dpassera une limite donne. e e Cet algorithme peut tre amlior en incluant un crit`re de dranage, i.e. si e e e e e lerreur estime sur un groupe dlments adjacents devient trop petite au cours des e ee itrations, ceux-ci sont regroups en un seul lment. En eet, la solution approe e ee che volue lors des itrations et il peut se produire que lerreur estime diminue e e e e plus quil nest ncessaire. Cependant, ce crit`re de dranage devrait tre choisi e e e e judicieusement pour viter que lerreur estime naugmente trop ` nouveau, ce qui e e a conduirait ` des oscillations ranage dranage. Le dranage est particuli`rea e e e ment indiqu pour le calcul de solutions de probl`mes instationnaires. Nous nous e e sommes restreints ici au ranage seulement.
4.1.1
Calcul des estimateurs
Soit un lment K = Ix Iy o` nous avons dni ee u e Ix = [xi1 , xi ] , Iy = [yj1 , yj ] , hx = xi xi1 , hy = yj yj1 , i = 1, . . . , I , j = 1, . . . , J .
Soit en outre une fonction u W 2, (K), et soit h loprateur dinterpolation de e Lagrange usuel dj` introduit au 3.2.2. Etablissons une majoration de lerreur ea dinterpolation sur un lment. ee Lemme 4.1 Sur un lment K, nous avons la majoration ee u h u
2 0,K
C hx hy h2 x u x
2 0,,K
2 + h4 y u y
2 0,,K
(4.5)
o` C > 0 est une constante indpendante de hx et hy . u e Dmonstration e Soit x Ix x; nous avons e |u(x, y) h u(x, y)|2 3 |u(x, y) u(, y)|2 + |u(, y) h u(, y)|2 x x x +|h u(, y) h u(x, y)|2 . (4.6) x
81
Or, par le thor`me des accroissements nis, e e

K
|u(x, y) u(, y)|2 dx x
h2 x u x
2 0,,K
dx = h3 hy x u x
2 0,,K
En outre, on sait que (cf. [Cia78], thor`me 3.1.6), e e u(, ) h u(, ) x x donc
K 0,2,Iy
C0 |Iy | 2 h2 |u|2,,Iy , y
2 0,,K
|u(, y) h u(, y)|2 dx x x
2 C1 hx h5 y u y
Finalement, en choisissant x = (xi1 + xi )/2, le dernier terme de (4.6) est nul et nous obtenons bien (4.5).
Nous voudrions utiliser (4.5) avec la solution discr`te que nous avons calcule e e en lieu et place de la solution continue. Cependant, tant donne la discrtisation e e e utilise, les deux drives partielles dans la somme (4.5) sont nulles lorsque lon e e e remplace la solution continue par la solution calcule. Aussi, nous allons dnir des e e approximations
x n,K x n yy 2 n,K y n 0,,K 0,,K
, .
Ces approximations sont obtenues en ayant recours aux valeurs sur les lments ee
ext voisins et en utilisant des dirences nies. Dsignons par n la valeur de n prise e e
sur les lments voisins de llment considr ou donne par la valeur ` lextrieur ee ee ee e a e
x du domaine lorsque llment a une arte sur . Lapproximation n,K est pour ee e
i = 1, . . . , I,
x n,K = max yIy
1 ext ext ( (xi , y) n (xi1 , y)) . hx n
yy Lapproximation n,K sera calcule en x = (xi +xi1 )/2 et il faut faire une distinction e
de cas si llment est adjacent ou non ` un bord y = 0, y = 1. Nous dnissons ee a e pour l = 1, . . . , J 1, Dl (n ) = 1 hy x x n (, yl+1 ) n (, yl ) n (, yl ) n (, yl1 ) x x yl+1 yl yl yl1 .
Sur llment K = Ix Iy nous posons donc ee
82
pour j = 1, pour j = 2, . . . , J 1,
yy n,K = D1 (n ) ,
yy n,K = max ( Dj1 (n ) , Dj (n ) ) ,
pour j = J,
yy n,K = DJ (n ) .
Nous sommes maintenant en mesure de dnir les estimateurs locaux sur K par e
yy 2 x n,K = hx hy h2 (n,K )2 + h4 (n,K )2 . x y
Remarque 4.6 Une approximation analogue de lerreur dinterpolation est utilise e dans [EJ88] o` une justication en est donne dans un cadre particulier. u e
4.1.2
Choix des fonctions n
Nous allons indiquer quel est le sous-ensemble N que nous avons choisi. Il y a deux rgions o` la solution varie beaucoup dans les coulements que nous calculerons : e u e la couche limite et le choc. Aussi, nous choisirons N = {1, 4}, i.e. ladaptation de maillage sera guide par la premi`re composante u de la vitesse et par la pression e e p. Ce choix se base sur la constatation que u varie plus que les autres variables dans la couche limite, et p est la quantit qui varie le plus au choc. Les poids n e correspondants intervenant dans le crit`re de ranage (4.3) seront choisis sur la e base dessais numriques et seront prciss lors de la prsentation des rsultats. e e e e e
4.2. Implantation
83
4.2
Implantation
Lincorporation de ladaptation de maillage dans un schma numrique existant e e doit se faire de faon ecace an de ne pas augmenter inconsidrment les besoins en c ee temps de calcul et en mmoire. Il est galement souhaitable que cette incorporation e e se fasse avec le moins de modications possible. Une structure de donnes rpondant e e ` ces besoins de mani`re satisfaisante est expose au 4.2.2, et pour comprendre a e e sur le ranage des lments. ee quelles sont les dicults rencontres nous exposons en premier lieu quelques dtails e e e
4.2.1
Ranage des maillages
Les lments que nous utilisons sont des quadrilat`res et comme les solutions ee e discr`tes calcules sont constantes dans la direction x, linaires par morceaux dans la e e e direction y, il ny a que deux nuds par lment. Le ranage dun lment consiste ee ee ` subdiviser celui-ci en quatre nouveaux quadrilat`res (cf. gure 4.1). Llment a e ee
Figure 4.1. Subdivision dun lment. ee subdivis sera appel p`re et les quatre nouveaux lments sont les ls. Cela e e e ee produit des maillages non conformes et il faudra par consquent imposer certaines e contraintes que nous exposerons plus loin. A chaque lment est associ un entier ee e indiquant le niveau de ranage, les lments du maillage initial ayant le niveau 0, et ee chaque fois quun lment est subdivis, le niveau des ls est obtenu en incrmentant ee e e de 1 le niveau du p`re. Pour simplier la gestion des donnes et viter des transitions e e e trop abruptes dans les maillages crs, nous imposons la restriction quun lment ee ee ne peut tre subdivis qu` la condition que la dirence de niveau entre cet lment e e a e ee et ses voisins soit au plus de 1. La gure 4.2 donne un exemple de situation dans laquelle la subdivision en gris nest pas autorise. e e Cette restriction, habituelle pour ce genre de maillages, nest pas limitative puisque dune part il est peu probable quun estimateur devienne grand sur un
84
Figure 4.2. Subdivision illicite. lment sans le devenir sur ses voisins, et dautre part lorsquune subdivision nest ee pas autorise, il sut de raner les lments voisins1 pour que celle-ci devienne e ee possible. Dans le cas gnral, cette faon de procder doit tre formule de mani`re e e c e e e e rcursive puisque les subdivisions des lments voisins peuvent elles aussi ne pas tre e ee e possibles. Dans la pratique cependant, nous avons constat quil est tr`s rare quune e e subdivision ne soit pas possible. Indiquons maintenant les consquences de la non conformit du maillage. Lorse e quun lment est subdivis, quatre nouveaux lments apparaissent, llment subee e ee ee divis nest plus pris en compte, mais seulement deux nouveaux nuds o` il faudra e u calculer la solution apparaissent. En eet (cf. gure 4.3), la solution aux nuds n1 ,
n1
n2 n3
anciens noeuds nouveaux noeuds
m1 m2 m3
Figure 4.3. Nouveaux nuds lors dune subdivision. n2 , n3 est la mme, ainsi quaux nuds m1 , m2 , m3 , puisque lapproximation est e constante dans la direction x. Nous parlerons alors de contraintes pour les nuds n1 , n3 , et m1 , m3 . Cette situation peut tre traite de deux faons. La premi`re consiste simplement e e c e ` rajouter les quations dans le syst`me linaire exprimant lgalit des inconnues a e e e e e aux nuds ci-dessus. La seconde, qui est celle que nous avons retenue, consiste
1
Mme si ceux-ci ne vrient pas le crit`re (4.3). e e e
4.2. Implantation
85
` identier les nuds o` les inconnues sont gales avant dassembler le syst`me a u e e linaire et ore lavantage de ne pas augmenter la taille de celui-ci plus quil nest e ncessaire. La mise en uvre pratique de cette mthode se fait en gnrant une e e e e nouvelle numrotation des nuds qui associe ` chaque nud un nouveau numro et e a e les nuds auxquels les inconnues sont gales se verront attribuer le mme numro. e e e Au moment de lassemblage des matrices lmentaires, il sura de tenir compte de ee cette nouvelle numrotation. e
Remarque 4.7 Lorsquun lment est trait, la discrtisation que nous utilisons ee e e fait non seulement intervenir les valeurs aux nuds mais galement les valeurs aux e nuds sur les lments voisins. Cela a pour consquence quil faut distinguer huit ee e situations direntes pour calculer les contributions des intgrales de bord selon la e e position relative et la taille des lments voisins puisque ceux-ci peuvent avoir un ee niveau de subdivision dirent de llment concern. e ee e
4.2.2
Structures de donnes e
Nous avons mentionn dans lintroduction de ce chapitre que ladaptation de e maillage engendrait une plus grande complexit dans la mise en uvre informatique, e en particulier pour la gestion des donnes. Pour stocker de mani`re ecace toutes e e les informations ncessaires aux calculs, nous utilisons en premier lieu une structure e de donnes en arbre quaternaire2 ou quadtree selon la dnomination anglaise (voir e e par exemple [CSW88, E+ 91]). Une telle structure de donnes consiste ` stocker pour e a chaque lment du maillage initial ses descendants dans un arbre ayant pour racine ee cet lment (cf. gure 4.4). ee
0 1 2 3 5 4 6 7 8
8 7 4 5 6 1
3 0 2
Figure 4.4. Arbre quaternaire et lments. ee

2
Puisque le ranage dun lment produit quatre nouveaux lments. ee ee
86
Nous mmoriserons donc pour chaque lment des pointeurs sur son p`re et ses ls e ee e (sils existent) ainsi que les informations gomtriques (numro des sommets) et le e e e niveau de ranage. Les avantages vidents de cette structure de donnes sont la e e facilit avec laquelle un lment pourra tre subdivis puisque les coordonnes des e ee e e e sommets des lments sont aisment accessibles, le fait quelle ne ncessite que peu ee e e de mmoire et peut tre incorpore sans avoir ` apporter de grandes modications e e e a dans un code existant. Le parcours de la liste des lments, notamment pour le ee calcul des matrices lmentaires, se fera simplement en parcourant les arbres et en ee ne traitant que les lments sans descendants (feuilles de larbre). ee Nous avons vu quil fallait en outre conna tre les voisins dun lment pour ee pouvoir le raner et pour calculer la discrtisation. Avec la restriction impose sur e e les niveaux de ranage des lments, il ne pourra y avoir que huit voisins au plus ee par lment; ainsi, le nombre maximum de voisins est connu, ce qui est une autre ee caractristique ` lavantage de ce type de maillage qui fait quil ny a pas besoin e a denvisager des structures de donnes dynamiques. Le stockage des voisins se fera e donc dans un simple tableau indic par les lments. e ee Finalement, un tableau indic par les nuds est utilis pour mmoriser les e e e contraintes, la nouvelle numrotation et les autres informations relatives aux nuds e (par exemple, lappartenance ` un bord du domaine). a La description dtaille de ces structures est donne au A.5. e e e
4.2.3
Rsolution des syst`mes linaires e e e
La matrice du syst`me linaire obtenu sur des maillages adapts naura plus en e e e encore possible de numroter judicieusement les inconnues pour obtenir un matrice e tridiagonale par blocs, mais avec des blocs dont la taille varierait au cours des itrations dadaptation de maillage. Pour nous viter davoir ` grer ces probl`mes, e e a e e nous avons prfr changer de mthode de rsolution et nous utilisons la biblioth`que eee e e e MA28 (voir [DR79]). Cest un ensemble de sous-programmes implantant une mthode e de rsolution directe, cest-`-dire une mthode dlimination de Gauss, pour des e a e e matrices creuses, mais avec un stockage Morse, i.e. seuls les lments non nuls de ee la matrice du syst`me linaire sont stocks (voir [DER86, Zla91] pour un expos de e e e e ces mthodes). e gnral la structure tridiagonale par blocs dcrite au 3.3.3. Nanmoins, il serait e e e e
4.2. Implantation
87
Lalgorithme utilis dans MA28 se divise en deux parties bien distinctes. Dans e un premier temps, la structure de la matrice est analyse an de dterminer quels e e seront a priori les lments autres que ceux dj` stocks qui interviendront au cours ee ea e de la rsolution; cest galement lors de cette phase que les lignes et colonnes sont e e ventuellement rordonnes an dassurer la stabilit des calculs tout en essayant de e e e e rduire autant que possible la taille mmoire ncessaire. Ensuite, la rsolution proe e e e prement dite est eectue. Lorsque plusieurs syst`mes sont rsolus avec des matrices e e e ayant la mme structure, la phase danalyse nest pas rpte, et si nous mentione e ee nons ce point, cest parce que lanalyse est plus co teuse que la rsolution (dun u e facteur 5 environ pour les cas typiques que nous aurons ` traiter). a Dans notre cas, la structure de la matrice dpend du maillage, et nous rsolvons e e plusieurs syst`mes linaires sur le mme maillage pour rsoudre le probl`me non e e e e e linaire au moyen de lalgorithme I du 3.3.3. La phase danalyse nest donc eectue e e quune seule fois par maillage. Quelques dtails pratiques sur lutilisation de MA28 gurent dans le paragraphe e A.5.2.
88
Chapitre 5 Rsultats numriques e e

Nous prsentons dans ce chapitre les rsultats obtenus au moyen des mthodes e e e numriques prsentes dans les chapitres 3 et 4. Ce sont principalement les quations e e e e compressibles qui vont tre traites, hormis un test dans le cas incompressible destin e e e ` dterminer lordre de convergence de la discrtisation propose, et un autre cas a e e e pour exhiber les instabilits dont il a t question au 3.2.3. e ee Les rsolutions numriques avec et sans adaptation de maillage seront compares e e e et montreront, comme on pouvait sy attendre, les avantages de ladaptation. Tous les rsultats prsents dans ce chapitre ont t calculs sur un ordinateur e e e ee e Silicon Graphics 4D380.
89
90
5.1. Cas incompressible
91
5.1
5.1.1
Cas incompressible
Ordre de convergence
Pour calculer numriquement lordre de la discrtisation (3.8) du probl`me (Ph ), e e e nous avons besoin de conna une solution exacte des quations PNS non linaires. tre e e A cette n, nous allons rajouter un second membre au syst`me (2.14), et nous posons e w e = (u, v, p)t , o` u u = y2 + 1 2 x y, 4 (5.1)
1 v = x y2 , 4 p = x y2 , = 1/Re = 102 ; ainsi, w e est solution des quations PNS non linaires avec le second membre suivant, e e e = (f1 , f2 , g) , 1 f1 = x3 y 2 2 + y 2 , 16 1 1 1 f2 = x2 y 3 + 2 x y y 4 + x , 16 4 2 g = 0. Les quations PNS sont rsolues en utilisant la discrtisation (3.8) modie de faon e e e e c ` tenir compte des conditions aux limites inhomog`nes donnes par we et avec a e e w 0 = w e . Le probl`me ` rsoudre est donc linaire puisque w 0 est connu, et nous e a e e sommes ainsi dans le cadre des estimations derreur du 3.2.2. Les quations sont e rsolues pour 4 maillages uniformes de , et les rsultats obtenus sont rassembls e e e dans le tableau 5.1 avec les notations suivantes, Ni nombre dintervalles dans les directions x et y; hi pas de discrtisation; hi = 1/(Ni + 1); e Ei erreur commise, Ei = w h w e
L2 ;
92
5. Rsultats numriques e e
Oi ordre estim, Oi = log(Ei /Ei1 )/ log(hi /hi1 ) . e La gure 5.1 reprsente E en fonction de h avec une chelle logarithmique. e e
Ni 10 20 40 80
hi 0.1 0.05 0.025 0.0125
Ei 3.5151 102 1.7598 102 8.8903 103 4.4815 103
Oi 0.998 0.985 0.988
Tableau 5.1. Estimation de lordre de convergence.
0.04 0.03 0.02 E 0.01 0.005 0.01 0.02 0.03 h

Figure 5.1. Test de convergence.
0.05
0.1
93
5.1.2
Instabilits e
Nous allons montrer linuence de ch dans la discrtisation (3.8) en calculant e un coulement dabord sans ce terme, puis avec. La discrtisation utilise est celle e e e donne en (3.8) modie pour tenir compte de conditions aux limites inhomog`nes e e e et en utilisant les matrices (2.34), (2.36) sur respectivement , + , comme indiqu e dans la remarque 3.4. Lcoulement que nous allons calculer sera de type Poiseuille, e i.e. avec un prol de vitesse parabolique comme condition aux limites ` laval. a Les conditions aux limites sont donc u = 1, v = 0 sur , u = 6 y (y 1) , sur + ,
u = 0 sur 0 . La viscosit est = 102 , et lalgorithme I est utilis pour la rsolution du e e e probl`me non linaire avec = 104 sur un maillage uniforme 1010. Les gures e e 5.2 et 5.3 (page 94) montrent respectivement la pression et le champ de vitesse sur lorsque ch = 0. Il est ` noter que la vitesse nest pas aecte par les instabilits. a e e Lorsque ch est pris en compte, les instabilits disparaissent comme on peut le e constater sur la la gure 5.4 (page 95) qui montre la pression stabilise. La gure e 5.5 quant ` elle reprsente le champ de vitesse correspondant. a e
94
0 0.2 0.4 0 0.2 0.6 0.4 0.6 0.8
0.8
Figure 5.2. Cas instable : pression.
Figure 5.3. Cas instable : vitesse.
95
0 0.2 0.4 0 0.2 0.6 0.4 0.6 0.8
0.8
Figure 5.4. Stabilisation : pression.
Figure 5.5. Stabilisation : vitesse.
96
5.2
Cas compressible
Pour tous les cas que nous avons calculs, nous imposons comme conditions aux e limites u et T sur les bords horizontaux (0 ); sur les bords verticaux, les conditions aux limites sont donnes par la matrice B 2 ` lamont ( ) et ` laval (+ ) (voir e a a 2.3.5). Les valeurs pour lcoulement non perturb sont imposes sur , et sur e e e sont imposes (Navier-Stokes et couche limite compressibles). e Dans tous les rsultats que nous prsentons, les courbes de niveau dans les gures, e e lorsquil y en a, sont quidistantes. e + ce sont les valeurs fournies par les rsultats obtenus au moyen dautres codes qui e
5.2.1
Couche limite
Nous avons calcul lcoulement dans la couche limite sur une plaque plane avec e e les param`tres suivants (o` les units habituelles sont utilises pour les grandeurs e u e e avec dimension), = 4.563 102 , u = 5.967 102 , v = 0 , T = 2.216 102 , = 1.4 , M = 2 , Re = 1.65 106 , P r = 0.72 . Le domaine de calcul est [0, 1] [0, 6.1 103 ], et le maillage utilis est rgulier avec e e 40 intervalles dans chaque direction. Les rsultats sont compars avec les valeurs calcules par un programme de e e e rsolution pour la couche limite (CL) compressible. Les gures 5.6 et 5.7 (page 97) e reprsentent respectivement la premi`re composante de la vitesse et la temprature e e e ` labscisse x = 0.5. Les rsultats concordent pour la vitesse, mais sont lg`rement a e e e dirents pour la temprature. En particulier, la valeur maximale de la temprature e e e est moins leve pour les quations PNS. e e e
5.2. Cas compressible
97
0.007 0.006 0.005 0.004 0.003 0.002 0.001 0 0 100 200 300 400 500 600 PNS CL
Figure 5.6. Couche limite : vitesse.
0.007 0.006 0.005 0.004 0.003 0.002 0.001 0 220 225 230 235 240 245 250 255 260 PNS CL
Figure 5.7. Couche limite : temprature. e
98
5.2.2
Plaque plane ` Mach 2 a
Ce cas est calcul dans les variables sans dimension et les param`tres de lcoue e e lement sont = 1.4 , M = 2 , Re = 1000 , P r = 0.72 . Le domaine de calcul est [0, 0.87][0, 0.8] et la plaque dbute ` labscisse x = 0.2. Un e a maillage relativement n est utilis comportant 70 par 63 lments, uniforme dans e ee la direction x et en progression gomtrique avec une raison 1.025 dans la direction e e y. La gure 5.8 reprsente ce maillage. e
Figure 5.8. Maillage. Lalgorithme I du 3.3.3 a t utilis pour la rsolution avec = 5 103 ; quatre ee e e
itrations ont t ncessaires et ont demand 3617 secondes de calcul. Les gures e ee e e nombre de Mach, de la pression et de la temprature, et le choc est nettement visible. e Qualitativement, ces rsultats sont bien ceux auxquels on pouvait sattendre. e
5.95.11 aux pages 99100 reprsentent respectivement les courbes de niveau du e
99
Figure 5.9. Nombre de Mach.
Figure 5.10. Pression.
100
Figure 5.11. Temprature e
101
Adaptation de maillage Le mme cas que nous venons de prsenter est rsolu mais cette fois avec adape e e tation du maillage. Les fonctions choisies pour appliquer le crit`re (4.3) (page 78) e sont la premi`re composante de la vitesse u et la pression p comme mentionn au e e 4.1.2. Les poids correspondants sont 1 = 2 , 4 = 1 .
Lalgorithme I est utilis mais avec MA28 pour rsoudre les syst`mes linaires, et e e e e = 5 103 . Les gures 5.125.17 reprsentent le maillage ` direntes itrations et compore a e e tent les nombres dlments rsums dans le tableau suivant avec les temps de calcul ee e e en secondes pour la rsolution. La colonne temps CPU est le temps pour litrae e
itration lments e ee 1 2 3 5 10 15 110 269 422 818 1820 2744
temps CPU 1.74 4.55 8.73 21.4 95.5 278.4
temps CPU cumul e 1.78 6.35 15.1 55.5 429.3 1315
Tableau 5.2. Nombre dlments et temps de rsolution. ee e tion correspondante alors que temps CPU cumul est le temps total. Les gures e 5.18 ` 5.20 reprsentent les courbes de niveau du nombre de Mach, de la pression et a e de la temprature1 . e
Commentaires. On distingue nettement sur les gures 5.125.17 la rgion du e choc, et lon remarque galement que la rgion de la couche limite est elle aussi rafe e ne. Les estimateurs choisis fournissent donc de bonnes indications sur les endroits e o` le maillage doit tre ran. Nous remarquons que les rsultats prsents dans u e e e e e
1 La mauvaise qualit des courbes de niveau est due entre autres au logiciel de reprsentation e e graphique qui nest pas conu pour des maillages non conformes. c
102
Figure 5.12. Itration 1. e
103
les gures 5.185.20 sont pratiquement pareils ` ceux sans adaptation, mais avec a un temps de calcul qui ` t approximativement divis par trois. Ladaptation de aee e maillage se rv`le donc avantageuse pour ce cas. e e
Figure 5.18. Nombre de Mach (itration 15). e
104
Figure 5.19. Pression (itration 15). e
Figure 5.20. Temprature (itration 15). e e
105
5.2.3
Un cas ` Mach 5 a
Nous considrons un coulement avec incidence sur une plaque plane. L angle e e dattaque est de 10 , et les autres param`tres de lcoulement sont e e = 1.4 , M = 5 , Re = 4 106 , P r = 0.72 . Le domaine de calcul est [0, 1] [0, 0.38] et nous mettons en uvre ladaptation de 1 = 2 , 4 = 1.5 .
maillage avec des poids
Lalgorithme I est utilis avec MA28 pour rsoudre les syst`mes linaires et = 5 103. e e e e Les calculs ont ncessit 4347 secondes pour 14 itrations de maillage. e e e Les gures 5.215.23 reprsentent respectivement le maillage initial avec 156 e lments, le maillage apr`s 14 itrations comportant 3012 lments et les courbes ee e e ee de niveau pour la pression. Lallure de la solution pour le nombre de Mach et la temprature tant similaires, nous ne les prsentons pas. e e e La gure 5.24 reprsente le maillage au dbut de la plaque agrandi 160 fois dans e e la direction y pour observer lcoulement dans la couche limite, et la gure 5.25 e reprsente le nombre de Mach sur cet agrandissement. e Commentaires. A nouveau, ladaptation du maillage au choc est nettement visible, mais semble moins bonne que celle du cas prcdent. Cela nest gu`re surpree e e nant au vu du petit angle que forme le choc avec la plaque : ce cas est plus dicile ` calculer. En outre, le nombre de Reynolds est beaucoup plus grand que celui du a cas prcdent (106 contre 103 auparavant), ce qui accro encore la dicult. e e t e
106
Figure 5.21. Ecoulement avec incidence : maillage initial.
Figure 5.22. Maillage apr`s 14 itrations. e e
107
Figure 5.24. Dtail du maillage. e
Figure 5.25. Nombre de Mach dans la couche limite.
108
5.2.4
Ecoulement dans un conduit
Nous avons mentionn dans lintroduction que les quations PNS taient gae e e e lement utilises pour le calcul dcoulements dans des conduits. Nous prsentons e e e un tel coulement avec entre supersonique; plus prcisment, les param`tres de e e e e e lcoulement sont e = 1.4 , M = 2 , Re = 1000 , P r = 0.72 . Le domaine de calcul est [0, 1.25] [0, 1] et nous mettons en uvre ladaptation de 1 = 2 , 4 = 1 .
maillage avec des poids
Lalgorithme I est utilis avec MA28 pour rsoudre les syst`mes linaires et = 5 103 . e e e e Les calculs ont ncessit 4440 secondes pour 28 itrations de maillage. e e e Les gures 5.265.27 reprsentent respectivement le maillage initial avec 440 e lments et le maillage apr`s 28 itrations comportant 4187 lments. Les courbes ee e e ee de niveau pour le nombre de Mach sont reprsentes dans la gure 5.28, et celles e e pour la pression dans la gure 5.29. Commentaires. Ce cas pose plus de probl`mes pour sa rsolution puisque nous e e remarquons que peu dlments nont pas t rans. Cependant, et cela malgr ee ee e e un temps de calcul relativement long, les chocs semblent trop dius, mais il est vrai aussi que le nombre de Mach est modr et que le nombre de Reynolds nest pas tr`s ee e lev (i.e. la viscosit est grande). Nous remarquons galement quil aurait peut-tre e e e e e t judicieux de mailler plus nement la couche limite sur le maillage initial. ee
109
Figure 5.26. Conduit : maillage initial.
Figure 5.27. Maillage apr`s 28 itrations. e e
110
Figure 5.28. Nombre de Mach.
5.3. Commentaires nals
111
5.3
Commentaires nals
Dans lensemble, les rsultats que nous venons de prsenter sont satisfaisants. Les e e rsultats obtenus pour PNS sont en accord avec ceux obtenus pour la couche limite, e et ladaptation de maillage apporte une amlioration indniable tout en rduisant e e e les co ts de calcul. On remarquera en outre quil a t possible de calculer un cas ` u ee a nombre de Mach 5 et ` nombre de Reynolds lev (106 ) sans observer des probl`mes a e e e de stabilit ou de convergence. e Dans la mthode dadaptation de maillage, le choix des poids i ne pose pas e vraiment de dicults comme on aurait pu le supposer. De plus, nous avons fait e quelques essais numriques en variant ceux-ci et avons constat que lallure des e e solutions obtenues ne change pas normment. Leet le plus visible est celui auquel e e nous nous attendions, ` savoir quen donnant plus de poids a la pression, cest la a ` rgion du choc qui est la plus rane, alors quen donnant plus de poids ` la premi`re e e a e composante de la vitesse, cest dans la couche limite que les eets de ladaptation sont les plus visibles. Le code de rsolution peut bien entendu encore tre amlior. En premier lieu, e e e e pour pouvoir traiter des cas plus complexes et plus ralistes, les coordonnes cure e vilignes devraient tre introduites. Ensuite, il est certainement possible de tirer un e meilleur parti de ladaptation de maillage en choisissant au mieux les poids utiliss e dans le crit`re de ranage et en implantant galement le dranage; concernant ce e e e dernier point, relevons que la structure de donnes utilise (quadtree) est exactement e e celle quil faut.
112
Annexe A Dtails du schma numrique e e e

Nous allons exposer quelques dtails sur la discrtisation (3.24) des quations e e e PNS compressibles et sur la faon dont le programme de rsolution a t conu. c e ee c
A.1
Matrices lmentaires ee
Le syst`me linaire ` rsoudre est obtenu en assemblant les matrices lmentaires e e a e ee calcules sur chaque lment provenant de la discrtisation (3.24) qui est e ee e ah (wh , wh ) avec
I
1 I 2 i=1
Ki
(Bi Mi )(wint wext ), w h h h
int
d = (e, wh )L2 ,(A.1)
ah (w h , wh ) =
i=1 Ki
(Ay y wh , wh ) + (D y w h , y w h ) + (y D y wh , w h ) dx . (A.2)
Nous supposons que la linarisation (2.18) a t obtenue de telle faon que les coefe ee c bande Ki . Soit un coecient quelconque de lune de ces matrices; soit un lment ee Nous posons encore hx = xl xl1 . Au vu de (A.1), (A.2), les matrices lmentaires ee les formes suivantes avec 1 i, j 2, cients des matrices Ay , Bi Mi et D sont constants dans la direction x sur chaque Klm = [xl1 , xl ] [ym1 , ym ] et soient 1 , 2 les fonctions de forme sur cet lment. ee qui interviennent pour le calcul du syst`me linaire ont donc des coecients ayant e e
113
114
A. Dtails du schma numrique e e e

ym ym1 ym ym1
Sij = Rij = Mij =

Klm
Klm
y j i dx = hx
y j i dy , y j y i dy ,
ym ym1
Klm
y j y i dx = hx
ym ym1
j i d =
( j i )x=xl1 dy +
( j i )x=xl dy .
Pour tre tout ` fait rigoureux, il faudrait restreindre lexpression de Mij ci-dessus e a
aux bandes Ki internes et traiter les cas particuliers sur ; comme ces cas ne pre
sentent aucune dicult, nous ne les crirons pas explicitement. Au second membre, e e le calcul du vecteur lmentaire fait intervenir des intgrales de la forme ee e fi = i dx = hx
ym ym1
Klm
i dy .
pas ici.
De plus, nous avons utilis la stabilisation dcrite au 3.3.2 que nous ne rcrirons e e e
A.2
Intgration numrique e e
Toutes les intgrales ci-dessus peuvent tre approches par la mthode des trae e e e p`zes. Nous avons galement expriment une autre mthode dintgration nume e e e e e e rique qui consiste ` supposer la fonction constante sur chaque lment et ` valuer a ee ae les intgrales restantes exactement. En procdant ainsi, le calcul des matrices le e ee mentaires se fait une fois pour toutes (gain de temps), et nous avons constat sur e des essais numriques que cette faon doprer naectait pas la qualit de la soe c e e lution obtenue; aussi cest celle que nous avons utilise. De plus, il est ainsi facile e dexprimer les contributions que lon obtient pour une matrice. Par exemple, pour calculer les contributions dues ` la matrice Ay (cf. 3.26) dans (A.2), nous supposons a celle-ci constante (en fait, nous prenons sa valeur moyenne note Ay sur llment); e ee la matrice lmentaire correspondante pour = 1 est ee Sij = donc y j i dx ,
Klm
hx 1 1 S= , 2 1 1
A.3. Calcul des matrices Mi
115
et par consquent on en dduit que la contribution totale due ` Ay est la matrice e e a blocs hx Ay Ay . 2 Ay Ay Les autres contributions sont traites de faon analogue. e c

A.3
Calcul des matrices Mi

Bi2 qui interviennent dans le schma e
Lexpression algbrique des matrices Mi = e
est trop complexe pour pouvoir tre utilise (elle fait intervenir les racines de poe e lynmes de degr 3). Nous les avons donc calcules numriquement grce ` la bio e e e a a blioth`que EISPACK (voir [S+ 76, G+ 77]) en utilisant les sous-programmes TRED2 et e TQL2.
A.4
Conditions aux limites
Les conditions aux limites sur 0 ont t prises en compte par pnalisation dans ee e le syst`me linaire. e e
A.5
A.5.1
Structures de donnes e
Stockage du maillage
Nous explicitons dans ce paragraphe les structures de donnes dont il a t e ee lments dont la dclaration FORTRAN est INTEGER ELEM(16,MAXEL) o` MAXEL est ee e u question au 4.2.2. Larbre quaternaire est stock dans un tableau indic par les e e le nombre maximum dlments. Les 16 entiers par lment contiennent les inforee ee mations indiques dans le tableau A.1 Les informations relatives aux nuds sont e stockes dans un tableau indic par les nuds dont la dclaration FORTRAN est e e e INTEGER NOEUDS(2,MAXNOE) o` MAXNOE est le nombre maximum de nuds. Pour u chaque nud, la signication des deux entiers est donne dans le tableau A.2. e
116
A. Dtails du schma numrique e e e
indice 1 2 3 412 1316 niveau de ranage
contenu numro de lanctre au niveau 0 e e numro du p`re e e numros des sommets et des sommets au centre ou au e milieu des artes (lorsquils existent) e numros des ls e Tableau A.1. Champs du tableau ELEM.
indice 1 2 nud auquel il est li; e
contenu 0 si le nud na pas de contrainte; sinon, le numro du e 0 si le nud nest pas sur un bord du domaine; sinon, le numro du bord. e Tableau A.2. Champs du tableau NOEUDS.
A.5.2
Utilisation de MA28
Le stockage Morse est utilis pour la matrice du syst`me linaire rsolu au e e e e nombre maximum de coecients non nuls de la matrice, alors la matrice est stocke e dans les trois tableaux suivants donns par leur dclaration FORTRAN, e e DOUBLE PRECISION ANZ(NZMAX) les coecients de la matrice; INTEGER INZ(NZMAX) indices ligne des coecients; INTEGER JNZ(NZMAX) indices colonne des coecients. Remarque A.1 Cette faon de stocker la matrice pose un probl`me lors de lasc e semblage. En eet, connaissant les indices ligne et colonne dun coecient, il faut mmoriser celui-ci au bon endroit de la matrice si une contribution a dj` t stoe eaee cke pour cette paire dindices, ou ` la n du tableau ANZ sinon. Rechercher dans e a moyen de la biblioth`que MA28 (voir 4.2.3); plus prcisment, si NZMAX dsigne le e e e e
A.5. Structures de donnes e
117
les tableaux INZ et JNZ si la paire dindices y gure dj` est extrmement co teux; ea e u aussi, nous utilisons un tableau auxiliaire nomm IANZ contenant pour chaque ligne e les indices colonne des coecients et de cette faon il sut uniquement de tester si c lindice colonne gure dans la ligne concerne. e
118
Bibliographie
[And84] J.D. Anderson,Jr. A survey of modern research in hypersonic aerodynamics. AIAA paper 841578, New York, 1984. [Asl91] R. Aslan. Parabolized Navier-Stokes methods for ducted ows systems. VKI Lecture Series on Computational Fluid Dynamics 199101, Von Karmann Institute, Rhode Saint-Gen`se, Belgique, 1991. e [ATP84] D.A. Anderson, J.C. Tannehill, R.H. Pletcher. Computational Fluid Mechanics an Heat Transfer. Series in computational methods in mechanics and thermal science. Hemisphere Publishing, Washington, 1984. [BC92] Y. Bourgault, Ph. Caussignac. Illposedness of a shock tting problem for parabolized Navier-Stokes equations. Eur. J. Mech. B/Fluids, 11, (3), 309315, 1992. [BCR] Y. Bourgault, Ph. Caussignac, L. Renggli. Finite element methods for parabolized Navier-Stokes equations. A para dans Comput. Meth. tre Appl. Mech. and Engrg. [Ber88] John J. Bertin. General characterization of hypersonic ows. Report, The University of Texas at Austin, Austin, Texas, 1988. [BF91] F. Brezzi, M. Fortin. Mixed and hybrid nite element methods, volume 15 de Springer Series in Computational Mathematics. SpringerVerlag, New York [etc.], 1991. [Bre83] H. Brezis. Analyse fonctionnelle. Collection Mathmatiques appliques e e pour la ma trise. Masson, Paris [etc.], 1983. [CGLR90] Ph. Caussignac, S. Gerbi, P. Leyland, L. Renggli. Parabolized 2D Navier-Stokes equations: some results for linearized problems, numerical simulations in the incompressible case. Rapport interne, Dpartement de e Mathmatiques, Ecole Polytechnique Fdrale de Lausanne, Lausanne, e e e 1990.
119
120
Bibliographie
[Cia78] P.G. Ciarlet. The Finite element method. NorthHolland, Amsterdam, 1978. [CP80] R. Chilukuri, R.H. Pletcher. Numerical solution to the partially parabolized Navier-Stokes equations for developping ow in a channel. Numer. Heat Transfer, 3, 169188, 1980. [CSW88] G.F. Carey, M. Sharma, K.C. Wang. A class of data structures for 2-D and 3-D adaptative mesh renement. Internat. J. Numer. Methods Engrg., 26, 26072622, 1988. [Dav70] R.T. Davis. Numerical solution of the hypersonic viscous shock-layer equations. AIAA J., 8, 843851, 1970. [DBR86] R.T. Davis, M. Barnett, J.V. Rakich. The calculation of supersonic viscous ows using the parabolized Navier-Stokes equations. Comput. & Fluids, 14, (3), 197224, 1986. [DER86] I.S. Duff, A.M. Erisman, J.K. Reid. Direct methods for sparse matrices. Monographs on numerical analysis. Clarendon Press, Oxford, 1986. [DL88] R. Dautray, J.L. Lions. Analyse mathmatique et calcul numrique, voe e lume 8 de Commissariat ` lnergie atomique : srie scientique. Masson, a e e Paris [etc.], 19871988. [DR79] I.S. Duff, J.K. Reid. Some design features of a sparse matrix code. ACM Trans. Math. Software, 5, (1), 1835, 1979. [E+ 91] A. Evans, et al. Mesh adaptivity with the quadtree method. Dans A.S. Arcilla, et al., diteurs, Numerical Grid Generation in Computational e Fluid Dynamics and Related Fields : proceedings of the Third International Conference on Numerical Grid Generation in Computational Fluid Dynamics and Related Fields, Barcelona, Spain, 3-5 June, 1991, pages 6778, Amsterdam, 1991. NorthHolland. [EJ88] K. Eriksson, C. Johnson. An adaptative method for linear elliptic problems. Math. Comp., 50, 361383, 1988. [Fri58] K.O. Friedrichs. Symmetric positive linear dierential equations. Comm. Pure Appl. Math., 11, 333418, 1958. [G+ 77] B.S. Garbow, et al. Matrix eigensystem routines : EISPACK guide extension, volume 51 de Lecture Notes in Computer Science. SpringerVerlag, Berlin [etc.], 1977.
Bibliographie
121
[GA89] T.P. Gielda, R.K. Agarwal. Ecient nite volume parabolized NavierStokes solutions for three-dimensional, hypersonic, chemically reacting owelds. AIAA paper 890103, McDonnel Douglas Research Laboratories, St. Louis, Missouri, 1989. [GR79] V. Girault, P.A. Raviart. Finite element approximation of the NavierStokes equations. Springer-Verlag, Berlin [etc.], 1979. [Gre67] W.H. Greub. Linear Algebra. Springer-Verlag, Berlin [etc.], 1967. [Har83] A. Harten. On the symmetric form of systems of conservation laws with entropy. J. Comput. Phys., 49, 151164, 1983. [HB79] T.J. Hughes, A. Brooks. A multidimensional upwind scheme with no crosswind diusion. Dans T.J. Hughes, diteur, Finite element methods e for convection dominated ows. ASME, New York, 1979.
[JN81] C. Johnson, U. Navert. An analysis of some nite element methods for advection-diusion problems. Dans F. Axelsson, Van der Sluis, diteurs, e Analytical and numerical approaches to asymptotic problems in analysis. NorthHolland, Amsterdam, 1981. [JP86] C. Johnson, J. Pitkaranta. An analysis of the discontinuous Galerkin method for a scalar hyperbolic equation. Math. Comp., 46, 126, 1986.
[Law87] S.L. Lawrence. Application of an upwind algorithm to the parabolized Navier-Stokes equations. Ph.d., Iowa State University, Ames, Iowa, 1987. [Les75] P. Lesaint. Sur la rsolution des syst`mes hyperboliques du premier e e ordre par des mthodes dlments nis. Th`se de doctorat dtat, Univ. e ee e e Paris vi, Paris, 1975. [LH74] S.C. Lubard, W.S. Helliwell. Calculation of the ow on a cone at high angle of attack. AIAA J., 12, 965974, 1974. [LP60] P.D. Lax, R.S. Phillips. Local boundary conditions for dissipative symmetric linear dierential equations. Comm. Pure Appl. Math., 13, 427 455, 1960. [Nat89] F. Nataf. Approximation paraxiale pour les uides incompressibles. Th`se, Ecole Polytechnique, Paris, 1989. e
[OS78] J. Oliger, A. Sundstrom. Theoretical and practical aspects of some initial boundary value problems in uid dynamics. SIAM J. Appl. Math., 35, (3), 419446, 1978.
122
Bibliographie
[Pir88] O. Pironneau. Mthodes des lments nis pour les uides. Collection e ee Mathmatiques appliques pour la ma e e trise. Masson, Paris, 1988. [PS66] R.S. Phillips, L. Sarason. Singular symmetric positive rst order differential operators. J. Appl. Math. Mech., 15, (2), 255271, 1966. [Ric87] G. Richter. An optimal order error estimate for discontinuous Galerkin methods. Computer science report, Rutgers University, feb. 1987. [RL80] S.G. Rubin, A. Lin. Marching with the parabolized Navier-Stokes equations. Israel J. Tech., 18, 2131, 1980. [RR83] S.G. Rubin, D.R. Reddy. Analysis of global pressure relaxation for ows with strong interaction and separation. Comput. & Fluids, 11, (4), 281306, 1983. [RS81] D.H. Rudy, J.C. Strikwerda. Boundary conditions for subsonic compressible Navier-Stokes calculations. Comput. & Fluids, 9, 327338, 1981. [RT92] S.G. Rubin, J.C. Tannehill. Parabolized/reduced Navier-Stokes computational techniques. Annu. Rev. Fluid Mech., 24, 117144, 1992. [Ryh85] I. Ryhming. Dynamique des uides. Presses Polytechniques Romandes, Lausanne, 1985. [S+ 76] B.T. Smith, et al. Matrix eigensystem routines : EISPACK guide, volume 6 de Lecture Notes in Computer Science. Springer-Verlag, Berlin [etc.], 2nd dition, 1976. e [SGLG81] R.L. Sani, P.M. Gresho, R.L. Lee, D.F. Griffiths. The cause and cure (?) of the spurious pressures generated by certain FEM solutions of the incompressible Navier-Stokes equations. Internat. J. Numer. Methods Fluids, 1, 1744, 1981. [Smo83] J. Smoller. Shock Waves and Reaction-Diusion Equations. SpringerVerlag, New York [etc.], 1983. [SS80] L.B. Schiff, J.L. Steger. Numerical simulation of steady supersonic viscous ow. AIAA J., 18, (12), 14211430, 1980. [SW81] J.L. Steger, R.F. Warming. Flux vector splitting for the inviscid gas dynamic with applications to nite dierence methods. J. Comput. Phys., 40, 263295, 1981.
Bibliographie
123
[VRT78] Y.C. Vigneron, J.V. Rakich, J.C. Tannehill. Calculation of supersonic viscous ow over delta wings with sharp subsonic leading edges. AIAA paper 781137, Seattle, Washington, 1978. [WC90] K.C. Wang, G.F. Carey. Adaptative grids for coupled viscous ow and transport. Comput. Methods Appl. Mech. Engrg., 82, 365383, 1990. [Zla91] Z. Zlatev. Computational methods for general sparse matrices, volume 65 de Mathematics and its applications. Kluwer Academic Publishers, Dordrecht, 1991.
124
Curriculum vit
Je suis n le 4 juillet 1961. Apr`s avoir eectu ma scolarit obligatoire, jai frquent e e e e e e le gymnase franais de Bienne o` jai obtenu une maturit de type C en 1980. Entre c u e 1980 et 1982, puis entre 1983 et 1986, jai poursuivi mes tudes ` luniversit de e a e Neuchtel qui ont t sanctionnes par lobtention dune licence `s sciences, oriena ee e e tation mathmatiques. De mars 1986 ` juin 1988 jai t assistant du professeur J. e a ee Rappaz avec lequel jai travaill sur des probl`mes dlectro-magntisme, dabord ` e e e e a lUniversit de Neuchtel, puis ` lEcole Polytechnique Fdrale de Lausanne. Apr`s e a a e e e cela, jai travaill avec le docteur Ph. Caussignac jusquen juin 1992 sur les quations e e de Navier-Stokes parabolises. Finalement, entre octobre 1992 et septembre 1993, e jai t assistant du professeur P. Buser pour un projet de calcul des valeurs propres ee de loprateur de Laplace sur des surfaces de Riemann. e
125

PHD Renggli

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

PHD Renggli

Uploaded by

Copyright:

Available Formats

Rsolution numrique dquations de Navier-Stokes e e e parabolises par des mthodes dlments nis e e ee

a Typeset by AMS-L TEX

Table des mati`res e

Table des illustrations

5.25 5.26 5.27 5.28 5.29

107 109 109 110 110

Cest une tentative pour exploiter le caract`re parabolique de celles-ci. e

Figure 1.1. Corps mouss. e e

viscosit e conductivit thermique e

o` nous avons introduit la fonction de dissipation = : d, u u = 2 x

Chapitre 2 Le probl`me continu e

quations PNS incompressibles linarises est prsent au 2.4; un rsultat dunie e e e e e

2.1. Reformulation des quations e

Reformulation des quations e

nombre de Reynolds Re = nombre de Prandtl P r =

u 1 2T T u p ( 2 ) = , 2 2 ( 1)M ( 1)M Re P r y devient quant ` elle a

o` nous avons pos u = (u , 4 v /3) et = y u y u /Re . Lquation dtat (1.5) u e e e p = T . 2 M (2.4)

Forme symtrique des quations e e

2.1. Reformulation des quations e

que lon crit sous la forme e Ax (w) o` w = (u, v, T, p)t, et u

w w 2w + Ay (w) D(w) 2 = F (w) , x y y

et avec les matrices

2.2. Syst`mes de Friedrichs e

nous posons galement C 1 = C 1 e Loprateur A est dni par e e

appartenant ` C 1 (, L(Rm )), et o` K L (, L(Rm )). a u

o` Ai sont des matrices symtriques de L(Rm ) dpendant de x = (x1 , . . . , xn )t et u e e

et son expression est

2.2. Syst`mes de Friedrichs e

trouver u telle que

ci-dessus si elle satisfait

La condition Ker(B + M t ) apparaissant dans (2.22) provient du calcul

or, si u vrie les conditions aux limites u Ker(B M) sur , e

2.2. Syst`mes de Friedrichs e

Rm . Par labsurde, soit un 0 sur

N. Comme M est admissible, il existe u0 N N, u0 N o` N = Ker(B +M). / u

2.2. Syst`mes de Friedrichs e

Exemples de conditions aux limites admissibles

2.3. Exemples de conditions aux limites admissibles

Equations dEuler incompressibles

Considrons le probl`me de trouver (u, p)t tel que, dans e e

w = (u, v, p)t, F = (f , h)t , on rcrit alors (2.28), e Ax w w + Ay =F. x y

La matrice C pour les quations dEuler est ainsi e C = diag(div c, div c, 0) ,

2.3. Exemples de conditions aux limites admissibles

En eet, M est semi-dnie positive, et comme e

M = 0 c qui donne la condition aux limites p = 0. Sur 2 ,

avec u n = 0 comme condition aux limites.

qui fournit les conditions aux limites

Equations dEuler isentropes

2.3. Exemples de conditions aux limites admissibles

An de simplier lanalyse, posons 0 = 1 et supposons a constante. On obtient Ax avec

donne les conditions aux limites cu + p = 0, v = 0 sur i . Sur + , la matrice B est 1 B = 0 c 0 , c 1 0 2 a

qui a trois valeurs propres positives ou nulles si c

a, seulement deux si c < a. Il

Equations PNS incompressibles

Les quations sont ici dans e y 2 =f, (2.38)

2.3. Exemples de conditions aux limites admissibles

et, en utilisant les notations introduites en (2.33), 2

Les conditions aux limites sont donc u p = v=0

Equations PNS isentropes

Equations PNS compressibles

La vitesse du son locale a est donne (en variables adimensionnelles) par e a2 = RT T T = 2 . u2 M

Par consquent, le dterminant de Ax est e e det(Ax ) =

2.4. Rsultats dexistence et dunicit e e