Universite de Nice Sophia Antipolis Laboratoire J A Dieudonne

Sophia Antipolis

Description

Niveau: Supérieur
Universite de Nice-Sophia Antipolis Laboratoire J.-A. Dieudonne UMR CNRS 6621 HABILITATION A DIRIGER DES RECHERCHES EN MATHEMATIQUES presentee et soutenue publiquement par Florent BERTHELIN le Jeudi 3 Decembre 2009 Titre : QUELQUES EQUATIONS CINETIQUES ET HYPERBOLIQUES : LIMITES HYDRODYNAMIQUES, MODELES AVEC CONTRAINTES ET METHODES NUMERIQUES Apres avis de : M. Thierry Gallouet (Universite d'Aix-Marseille), M. Franc¸ois Golse (Ecole Polytechnique), M. Eitan Tadmor (Universite du Maryland, USA). Devant le jury compose de : M. Franc¸ois Bouchut (CNRS), M. Pierre Charrier (Universite de Bordeaux), M. Thierry Gallouet (Universite d'Aix-Marseille), M. Franc¸ois Golse (Ecole Polytechnique), M. Gilles Lebeau (Universite de Nice), M. Benoıt Perthame (Universite de Paris VI).

• dissipation d'entropie


• flux-splitting pour modeles avec contraintes


• modele de boltzmann discret


• schema


• controle du flux relatif par l'entropie relative


• limites hydrodynamiques

Sujets

• Lebeau
• Antipolis
• École polytechnique
• Charrier
• Benoît
• Schéma

Informations

• Publié par: profil-nechor-2012
• Publié le: 01 décembre 2009
• Nombre de lectures: 35

Extrait

Universit´edeNice-SophiaAntipolis LaboratoireJ.-A.Dieudonne´ UMR CNRS 6621

HABILITATION A DIRIGER DES RECHERCHES EN MATHEMATIQUES

pre´sente´eetsoutenuepubliquementpar Florent BERTHELIN leJeudi3D´ecembre2009 Titre :

QUELQUES EQUATIONS CINETIQUES ET HYPERBOLIQUES : LIMITES HYDRODYNAMIQUES, MODELES AVEC CONTRAINTES ET METHODES NUMERIQUES

Apr`esavisde: M.ThierryGallou¨et(Universite´d’Aix-Marseille), M. ¸ s Gol ( cole Polytechnique), Francoi se E M.EitanTadmor(Universite´duMaryland,USA).

Devantlejurycompose´de: M. Francois Bouchut (CNRS), ¸ M.PierreCharrier(Universit´edeBordeaux), M.ThierryGalloue¨t(Universite´d’Aix-Marseille), M.Fran¸coisGolse(EcolePolytechnique), M.GillesLebeau(Universite´deNice), M.BenoˆıtPerthame(Universite´deParisVI).

Tabledesmati`eres

Introduction

5

I Limites hydrodynamiques 7 1 Contexte des limites hydrodynamiques . . . . . . . . . . . . . . . . . . . . 8 1.1 Lois de conservation . . . . . . . . . . . . . . . . . . . . . . . . . . 8 1.2 Equations de Boltzmann et limites hydrodynamiques . . . . . . . . 9 1.3Mode`lesBGK..............................10 2R´esum´esuccintdestravauxdethe`serelatifsauxlimiteshydrodynamiques12 2.1 Limite hydrodynamique vers les gaz isentropiques avec toutes les ine´galit´esd’entropie...........................12 2.2 Gaz isentropiques avec condition de bord . . . . . . . . . . . . . . . 14 3 Limite hydrodynamique avec une seule entropie compatible . . . . . . . . . 16 3.1Lemod`eleBGKavecuneseuleentropieayantuneextensioncine´tique16 3.2Unlemmedemoyenneadapt´eauxe´quationsBGK.........18 3.3 Estimation du gradient et convergence . . . . . . . . . . . . . . . . 19 4Me´thoded’entropierelativeparcontroˆledufluxrelatif...........20 4.1Limitehydrodynamiquesanshypothe`sedesupportenvitesse...20 4.2Unem´ethodeg´ene´raledepreuve....................22 4.3Applicationdelam´ethodepourlesgazisentropiques........25 5 Boltzmann discret vers Euler . . . . . . . . . . . . . . . . . . . . . . . . . . 26 5.1Mode`ledeBoltzmanndiscret.....................26 5.2 Estimation de la dissipation d’entropie et limite vers Euler . . . . . 28 6 Limite en champ fort . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 6.1 Limites de relaxation BGK avec champ fort . . . . . . . . . . . . . 30 6.2LimiteformelleetMaxwelliennemodifie´e...............31 6.3 TechniqueBVocpmtee´apcati........33.nspeomrc..n.ioat 7Lemmesdemoyennepourune´equationdetransportcompl`ete.......34 7.1 Rappel sur les lemmes de moyenne . . . . . . . . . . . . . . . . . . 34 7.2Re´sultatsavectermedeforce.....................35

IIMod´elisationsmathe´matiques37 8Rappelsuccintdelathe`sesurlesmod`elesaveccontraintes.........38 8.1Mode`leaveccontraintesurladensit´e.................38 8.2Mod`eledecontrainteavecpertedemasse..............39 9Mod´elisationentraficroutier.........................40 9.1Brefhistoriquedequelquesmod´elisationsentraficroutier.....40

3

9.2Mode`lesaveccontrainteentraficroutier...............41 9.3Solutionsparticuli`eresetth´eor`emesd’existence...........42 10Mod´elisationcin´etiquenon-collisionnelle...................45

IIIEtudesnum´eriques47 11Flux-splittingpourmod`elesaveccontraintes.................48 11.1Mod`eleshyperboliquesg´ene´rauxaveccontraintes..........48 11.2Sch´emadeFlux-splittingaveccontraintes..............50 11.3Convergencedusche´mapourlesgazisentropiques..........50 12Flux-splittingpourlemode`leavecuneseuleentropie............53 12.1Pre´sentationdusche´maetthe´or`emedeconvergence.........53 12.2ηissid-´tivitapimstteeeugndioatne.tarid..........55.... 12.3Formulationcin´etiqueavectroisvitessesetdissipationd’entropie.56 12.4 Bornes sur les entropies et convergence . . . . . . . . . . . . . . . . 58

Annexes 59 Travauxdepuislafindelath`ese........................59 Travauxissusdelathe`se............................60 Bibliographie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61

4

Introduction

Cem´emoireestconsacre´a`desprobl`emesd’´equationsauxd´erive´espartielleshyperbo- liquesetcin´etiquesquiinterviennentdansdiffe´rentesmode´lisationsphysiques. Danslapremi`erepartie,nousnouss’inte´ressons`adesprobl`emesdelimiteshydrody- namiquesd’´equationscine´tiquesversdessyst`emesdeloisdeconversationhyperboliques. Apr`esunbrefrappeldestravauxobtenussurcesujetdurantlathe`se,nouspr´esentonsune amelioration de ceux-ci par une limite hydrodynamique avec une seule entropie compa-´ tible.Cecisefaitenestimantlad´eriv´eedessolutionsapprochees,estimationquisecom-´ penseavecladissipationd’entropiecequipermetdejustifierlalimite.Nouspr´esentons ensuiteuneautredirectiondepreuvespourcetypedeprobl`emes.Latechniquepropose´e estdetypeentropierelativeetestge´n´eralea`partirdumomentou`lesyste`mee´tudie´ posse`deuncontrˆoledufluxrelatifparl’entropierelative.Cettetechniquepermetdebien se´parerleseffetsdeladissipationcine´tiqueducontrˆoledesnon-line´arite´s.Nousillustrons ensuitecettetechniquesurdeuxexemplessignificatifs,celuiou`lesyste`melimiteestla dynamiquedesgazisentropiques,etceluidel’e´quationdeBoltzmanndiscr`eteversles ´ ations d’Euler. Cette partie se poursuit par une autre relaxation qui fait intervenir equ untermedechampfortdansl’´equationcine´tiqueetnous´etudionscommentcecimodifie l’e´quationlimite.Lapartieseconclutparl’obtentiondelemmesdemoyennequidans lecaspr´esentam´eliorentlare´gularite´obtenuepourunee´quationdetransportavecun terme de force. Lasecondeparties’inte´ressea`desproble`mesdemode´lisationshyperboliquesetcin´e- tiques.Apre`slerappeldesre´sultatsobtenusdurantlathe`sesurlesmode`lesaveccontraintes, nousinvestissonscesid´eesafinded´efinirdesmode`lesentraficroutierquipermettent d’ame´liorerlesmode`lesexistantsenrajoutantuncontrˆolesurlavaleurmaximaledela densit´edevoituresdansunezonedebouchon.Nousenproposonsdeuxmode`lesselon quelacontrainted´ependounondelavitesselocale,cequirevienta`avoirunevitesse de propagation finie ou infinie de l’information dans une zone de trafic. Nous montrons l’existencedesolutionssurcesdeuxmod`eles.Cettepartieseterminepardesmod`eles cinetiquesdetypewater-bagpourl’e´quationdeVlasov. ´ Dansladerni`partie,nousnousint´eressonsa`laconvergencedesch´emasnum´eriques ere pourdesmod`elesassocie´sauxdeuxpartiespr´ec´edentes.Toutd’abordpourunsche´ma quipuisseconserverdesmod`elesaveccontraintes.Ils’agitalorsderajouterune´etapede projectionaunmodeledeFlux-splitting.Laconvergencedusch´emane´cessitelecontroˆle ` ` demesuresafindejustifierunetechniquedecompacit´eparcompensation.Ensuitenous e´tudionsunsch´emaavecuneseuleentropiecompatible.Ils’agitalorscommeauniveau the´oriqued’obteniruneestimationdesde´rive´esdessolutionsapproche´es.Afindejustifier laconvergencedusche´ma,ilestne´cessaireenplusd’´ecrireuneformulationcine´tiquedu sch´emadeFlux-splitting.

5