Dissipative solutions to compressible Navier-Stokes equations with general inflow-outflow data: existence, stability and weak strong uniqueness (Q1995036): Difference between revisions

This work deals with a problem of the flow of the Newtonian compressible fluid in a 3D domain with inflow-outflow boundary conditions -- these data are supposed to be arbitrarily large. The authors provide fundamental results for such a system. Namely, they show the existence of a dissipative weak solution, roughly speaking a weak solution satisfying the relative entropy inequality. This particular notion of solution was chosen because of its admissibility for further analysis. As an example, the authors use the advantage of the relative entropy inequality to show the weak (dissipative)-strong uniqueness property. The proof of existence relies on ideas of the Feireisl-Lions theory, nevertheless, the choice of the boundary conditions requires novelties. One of them is a different approach to the pressure limit where one needs to construct appropriate test functions near the boundary in order to get uniform integrability of pressure. The weak-strong uniqueness property itself relies on rather standard use of the relative entropy inequality. Throughout the whole paper, the authors assumed that \(\Omega\) is a \(C^2\) domain. This particular assumption is weakened in the last section of the article where the authors admit domains which are piecewise \(C^2\) and Lipschitz. This generalization allows to handle many practical situations -- a typical example is a finite cylinder with inflow and outflow boundaries being lower and upper discs of the boundary of the cylinder.