Quelques résultats mathématiques en thermodynamique des fluides compressibles
Dans cette thèse, nous étudions les écoulements de fluides compressibles décrits par les équations de Navier-Stokes-Fourier dans les cas stationnaire et instationnaire et avec des conditions de bord assurant l'isolation thermique et mécanique du fluide. On commence par le cas stationnaire barot...
Main Author: | |
---|---|
Language: | FRE |
Published: |
2013
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00860854 http://tel.archives-ouvertes.fr/docs/00/86/08/54/PDF/ThA_se_-_Jessle.pdf |
Summary: | Dans cette thèse, nous étudions les écoulements de fluides compressibles décrits par les équations de Navier-Stokes-Fourier dans les cas stationnaire et instationnaire et avec des conditions de bord assurant l'isolation thermique et mécanique du fluide. On commence par le cas stationnaire barotrope et des conditions de Navier à la frontière du domaine. La pression est donc de la forme p(%) = % où est appelé coefficient adiabatique et nous arrivons à montrer l'existence de solutions faibles pour > 1.On généralise ensuite ce résultat aux équations de Navier-Stokes-Fourier avec conduction de la chaleur et glissement (partiel ou total) au bord, toujours dans le cas stationnaire. On montre cette fois-ci l'existence de solutions faibles particulières appelées solutions entropiques variationnelles respectant l'inégalité d'entropie pour > 1 et l'existence de solutions faibles respectant le bilan de l'énergie totale au sens faible pour > 5/4. On travaille ensuite sur les écoulements instationnaires décrits par les équations de Navier-Stokes-Fourier sur une large variété de domaines non bornés, tout d'abord pour des conditions de bord d'adhérence puis pour des conditions de Navier à la frontière (ce qui restreintquelque peu la diversité des domaines non bornés admissibles). On arrive à montrer l'existence de solutions faibles particulières respectant l'inégalité d'entropie et une inégalité de dissipation remplaçant l'égalité de conservation d'énergie totale dans le volume qui n'a plus de sens dans les domaines non bornés. Par après, on met en place une inégalité dite d'entropie relative dont on montre qu'elle est respectée par certaines des solutions faibles exhibées auparavant. Ces solutions sont appelées solutions dissipatives. On parvient à prouver que pour chaque donnée initiale, il existe au moins une solution dissipative. Cette inégalité d'entropie relative nous permet de démontrer le principe d'unicité forte-faiblepour nos solutions dissipatives. Précisément, cela signifie qu'une solution dissipative et une solution forte issues des mêmes données initiales coïncident sur le temps maximal d'existence de la solution forte. La propriété d'unicité forte-faible donne un fondement à la notion de solution dissipative pour les domaines non bornés. |
---|