Weak solutions for the stationary anisotropic and nonlocal compressible Navier-Stokes system
Introduction
The stationary Navier-Stokes system for a barotropic compressible viscous fluid reads where μ and λ are given positive constants representing the shear respectively the bulk viscosities, are given exterior forces acting on the fluid, is the density, represents the pressure, where and are given constants while is the velocity field. The total mass of the fluid is given i.e. the above system should be considered along with the equation where M is given.
It is important to point out that all the known mathematical results regarding the existence of weak solutions for the stationary Navier-Stokes system strongly use the isotropic and local structure of the viscous stress tensor owing to the nice algebraic properties it induces for the so-called effective flux. Extending these results such as to take in account anisotropic or nonlocal viscous stress-tensors remained an open problem until now.
As explained in [16], one cannot expect that (1.1)-(1.2) with periodic boundary conditions to have a solution for any because of the compatibility condition which comes from integrating the momentum equation. Thus, if f and g have positive components this would imply that which clearly violates the total mass condition. One way to bypass this structural defect of the periodic case is to proceed as in [5] and consider forces f that posses a certain symmetry which ensures the validity of (1.3). Another way to bypass this problem was suggested by P.L. Lions in [16] and consists in introducing the term with a non-constant function in the momentum equation which can be interpreted as the effect of a magnetic field on the fluid. We claim that the ideas presented in the present paper can be adapted to handle both situations but in order to avoid extra technical difficulties we choose to treat the case where . We propose here to investigate the problem of existence of weak solutions for the following system: with where the viscous diffusion operator is given by We will assume the following hypothesis (H):
- •
A given total mass of the fluid.
- •
An adiabatic constant and a positive constant .
- •
A forcing term g such that
- •
The constant μ, λ and θ such that
- •
The functions η and ξ satisfying and
The main objective of the paper is to prove existence of a weak solution à la Leray for the steady compressible barotropic Navier-Stokes system with anisotropic and nonlocal diffusion. Anisotropic diffusion is present for instance in geophysical flows, see [22], while nonlocal diffusion is considered when studying confined fluids or in microfluidics where fluids flow thought narrow vessels. In order to achieve this goal, one key ingredient is the identity that we proposed in [2] which allowed us to give a simple proof for the existence of global weak-solutions for the anisotropic quasi-stationary Stokes system (compressible Brinkman equations).
More precisely, in this paper, we prove the following existence result
Theorem 1 Let us assume Hypothesis (H) be satisfied. There exists a constant such that if then there exists a pair which is a weak-solution of the stationary Navier-Stokes system (1.4)–(1.5).
Remark 1.1 Motivated by physically relevant phenomena like anisotropy or thermodynamically unstable pressure state laws, D. Bresch and P.E. Jabin introduced in [3], see also [4], a new method for the identification of the pressure in the study of stability of solutions for the non-stationary compressible Navier-Stokes system. More precisely, if one considers a sequence of solutions generated by a sequence of initial data for which the corresponding sequence of initial densities is compact in , then one is able to propagate this information for latter times via a nonlocal compactness criterion modulated with appropriate nonlinear weights. The idea in [3], propagation of compactness, is intimately related to the non-stationary transport equation and it does not seem to adapt to the stationary case.
Remark 1.2 The proof of Theorem 1 can be adapted to accommodate more general diffusion operators than (1.6). In particular, our method adapts to viscous stress tensors that include space-dependent coefficients or different convolution kernels for each component of u. In the opinion of the authors, the particular form of proposed in (1.6), besides being physically relevant, see for instance [7] or [8], is also relatively easier to manipulate in computations.
To the authors's knowledge this is the first existence result of weak solutions taking in consideration anisotropic and nonlocal diffusion for the steady Navier-Stokes system. The first steps of the proof of Theorem 1 follow a rather well-known path: we consider an elliptic regularization for the system (1.4) to which classical theory can be applied and therefore we may construct a sequence of solutions parametrized by the regularization parameter. Of course, the more delicate part is to recover uniform estimates with respect to the regularization parameter and to show that the limiting object is a solution of the stationary Navier-Stokes system. The first key ingredient in the proof of stability is the new identity discovered by the authors in [2] in the context of the compressible Brinkman system. As it turns out, the -integrability of the velocity field obtained via the basic energy estimate is not enough, better integrability is needed in order to justify rigorously the aforementioned identity. This is achieved by showing that it is possible to estimate the pressure in a better space than : the smallness Condition (1.7) is required at this level. We point out that a similar condition is imposed in [3] in order to treat the non-stationary compressible Navier-Stokes system. In particular, one can consider an arbitrary anisotropic amplitude if the bulk viscosity is large enough.
The rest of the paper is organized in the following way: in Section 2, we recall existing results concerning weak solutions for the steady compressible Navier–Stokes equations and we discuss energy dissipation properties for the diffusion operator (1.6). In Section 3 we prove a nonlinear weak stability result, see Theorem 2 bellow, for the stationary compressible Navier-Stokes equation with anisotropic and nonlocal diffusion operator. In particular, we show that it is possible to recover strong convergence of the sequence of the gradients of the velocities and we show how to combine this fact with the compactness properties of the anisotropic viscous flux in order to identify the pressure. This is the main idea in the paper. In Section 4, we propose an approximate system and prove the existence of solutions to such system. Such approximate system is based on two layers of regularization: one ensuring ellipticity while the other one providing positivity of the density. In the last Section 5, we prove our main result, Theorem 1 first by establishing uniform estimates with respect to the two parameter and secondly using the non-linear stability results established in Section 3.
Section snippets
Existing results for the steady compressible Navier-Stokes system and energy dissipation properties for the diffusion operator
Existing results. The problem of constructing solutions for the above system has been intensively studied and consequently there is a rather rich literature. We propose below a quick overview of the most recent results. First of all, we distinguish two types of solutions: strong respectively weak-solutions. Roughly speaking, a pair is a strong solution as soon as it verifies (1.1)–(1.2) almost everywhere on the domain of study, see the works of [1], [21], [27]. The existence theory of
Nonlinear Weak stability
This part of the paper concerns the nonlinear weak stability of the steady compressible Navier-Stokes system with anisotropic coefficients and nonlocal terms in the stress tensor. More precisely, we prove
Theorem 2 Let Hypothesis (H) with an external force be uniformly satisfied with respect to ε. Let be a sequence of weak solutions of satisfying where is a constant independent of
Construction of approximate solutions
A weak solution for system (1.4)–(1.6) will be obtained as the limit of solutions of the following regularized system when the regularization parameters tend to 0. Above, with a smooth, non-negative, even function which is compactly supported in the unit ball centered at the origin and with integral 1. The fact that we can solve the above system is a
Proof of Theorem 1
To obtain Theorem 1 from the approximate system (4.1), it remains to pass to the limit first with respect to δ and secondly with respect to ε. As usually, in order to use the nonlinear weak stability obtained in a previous section, one important step will be to obtain estimates uniformly with respect to ε.
Acknowledgements
D. Bresch and C. Burtea are supported by the SingFlows project, grant ANR-18-CE40-0027 and D. Bresch is also supported by the Fraise project, grant ANR-16-CE06-0011 of the French National Research Agency (ANR).
References (27)
- et al.
Existence of strong solutions to the steady Navier–Stokes equations for a compressible heat-conductive fluid with large forces
J. Math. Pures Appl.
(2015) On nonlocal fluid mechanics
Int. J. Eng. Sci.
(1972)- et al.
The Dirichlet problem for steady viscous compressible flow in three dimensions
J. Math. Pures Appl.
(2012) - et al.
Existence of weak solutions to the three-dimensional steady compressible Navier-Stokes equations
Ann. Inst. Henri Poincaré, Anal. Non Linéaire
(2011) - et al.
Steady 3D viscous compressible flows with adiabatic exponent
J. Math. Pures Appl.
(2015) Variations de grande amplitude pour la densité d'un fluide visqueux compressible
Physica D
(1991)An -theory for the n-dimensional, stationary, compressible Navier-Stokes equations, and the incompressible limit for compressible fluids. The equilibrium solutions
Commun. Math. Phys.
(1987)- et al.
Global existence of weak solutions for the anisotropic compressible Stokes system
Ann. Inst. Henri Poincaré, Anal. Non Linéaire
(2020) - et al.
Global existence of weak solutions for compresssible Navier–Stokes equations: thermodynamically unstable pressure and anisotropic viscous stress tensor
Ann. Math.
(2018) - et al.
Global weak solutions of PDEs for compressible media: a compactness criterion to cover new physical situations
On weak solutions of steady Navier-Stokes equations for mono-atomicgas
Comment. Math. Univ. Carol.
Nonlocal Continuum Field Theories
On compactness of solutions to the compressible isentropic Navier-Stokes equations when the density is not square integrable
Comment. Math. Univ. Carol.
Cited by (5)
Weak Solutions to the Stationary Cahn–Hilliard/Navier–Stokes Equations for Compressible Fluids
2022, Journal of Nonlinear ScienceAnisotropy and stratification effects in the dynamics of fast rotating compressible fluids
2022, Annales de l'Institut Henri Poincare (C) Analyse Non Lineaire