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. / In this thesis, we study the Navier-Stokes-Fourier system describing the flow of compressible fluids both in the steady and unsteady case and we suppose that the fluid is thermally and mechanically isolated. We start with the case of a steady barotropic fluid and Navier boundary conditions. In this situation, the pressure law considered is of the form p(%) = %, where is called the adiabatic constant. We show the existence of weak solutions for > 1. We then extend this result to the complete Navier-Stokes-Fourier system with heat conductivity and slip or partially slip boundary conditions, once again in thesteady case. In this setup, we prove the existence of a specific type of weak solutions, called variationnal entropy solutions, which satisfy the entropy inequality for > 1 and the existence of weak solutions satisfying the conservation of total energy in its weak formulation for > 5/4. We then treat the unsteady flows described by the complete Navier-Stokes-Fourier system on a large class of unbouded domains, first with no-slip boundary conditions and then with the Navier boundary conditions which reduce the class of the admissible unbounded domains. We manage to prove the existence of a specific type of weak solutions verifying the entropy inequality and a dissipation inequality instead of the global conservation of total energy which is no more relevant in the unbounded domains. Afterwards, we establish a new inequality called relative entropy inequality and we show that it is satisfied by some of the weak solutions presented previously. These are called dissipative solutions. Next we show that for any given initial data there exists at least one dissipative solution. This observation allows us toperform the proof of the weak-strong uniqueness principle in the class of dissipative solutions. Precisely, it means that a dissipative solution and a classical one emanating from the same initial data coincide as long as the latter exists. The weak-strong uniqueness property justifies the concept of dissipative solutions in the situation of unbounded domains.

Nous présentons une théorie d'existence complète pour le système physique composé de fluides visqueux et des corps rigides plongés dedans. Nous considérons un domaine borné et les conditions aux limites de Dirichlet homogènes pour la vélocité. Le fluide et les corps sont conducteurs thermiques et ils échangent la chaleur. L'existence de la solution variationnelle globale dans le temps est démontrée par la méthode de pénalisation par la viscosité due à Conca, San Martin et Tucsnak. Dans les approximations ainsi que dans la dernière limite nous employons la théorie d'existence pour un fluide visqueux compressible développé par Feireisl. Le deuxième sujet est une amélioration dans la théorie d'existence pour un écoulement barotropique stationnaire. Nous utilisons les estimations potentielles pour la pression proposées par Plotnikov, Sokolowski, Frehse, Goj et Steinhauer. En utilisant ces estimations avec la théorie potentielle non-linéaire nous en concluons les estimations à priori et nous prouvons l'existence des solutions faibles

Title: Mathematical analysis of equations describing the flow of compressible heat conducting fluids Author: Šimon Axmann Department: Mathematical Institute of Charles University Supervisor: doc. Mgr. Milan Pokorný, Ph.D., Mathematical Institute of Charles University Abstract: The present thesis is devoted to the mathematical analysis of equa- tions describing the flow of viscous compressible newtonian fluid in various time regimes. In particular, we present existence results for three problems arising as special cases of a general model derived in the introductory part. The first chap- ter deals with time-periodic solutions to the full Navier-Stokes-Fourier system for heat-conducting fluid. The second chapter contains the proof of existence of steady solutions to a system arising from phase field model for two-phase com- pressible fluid. Finally, in the last section we study steady strong solutions to the Navier-Stokes equations under the additional assumption that the fluid is suffi- ciently dense. For each problem a different concept of the solution is considered, on the other hand in all cases an essential role is played by the crucial quantity effective viscous flux. Keywords: compressible Navier-Stokes system; weak solution; entropy variational solution; large data

In the present thesis we study the compressible Navier-Stokes-Fourier sys- tem. This is a system of partial differential equations describing the evolutionary problem for an adiabatic flow of a heat conducting compressible viscous fluid in a bounded domain. Here we consider the problem in two dimensions with zero Dirichlet boundary conditions for velocity. The cold pressure term in the pressure law for the momentum equation is here considered in the form pC(ϱ) ∼ ϱ logα (1+ϱ) for some α > 0, for which we need to work on the scale of Orlicz spaces in order to obtain useful estimates and in those space we formulate the problem weakly and also establish the weak compactness of the solution. The main result of this thesis is Theorem 6.1 where we show the existence of a weak solution with no assumptions on the size of the data and on arbitrary large time intervals. 1

Title: Incompressible fluids with temperature dependent visco- sity, numerical analysis and computational simulations Author: RNDr. Oldřich Ulrych Department: Mathematical Institute of Charles University Supervisor: prof. RNDr. Josef Málek, CSc., DSc. Abstract: Flows of incompressible fluids connected with significant exchange of ther- mal and mechanical energy and with material moduli varying with the temperature and the shear rate, are described by the balance equations for linear momentum and energy, complemented by suitable constitution equations for the Cauchy stress and the heat flux. Assuming sufficient smoothness of quantities involved, the energy balance equation exhibits several equivalent formulations. However, within the context of weak solution, these formulations are, in general, not equivalent. This thesis is based on the existence theory for the generalized Navier-Stokes-Fourier system describing planar flow of fluids with a shear and temperature dependent vis- cosity. We specify parameters of a generalized power-law model under which weak formulations of balance equations are meaningful and both considered formulations of the energy balance equation are equivalent. Supported by the existence theory, we propose and numerically solve several problems pursuing the aim to systematically compare the...