Numerical analysis of a model of two phase compressible fluid flow (Q1983567)

A model is given, for the flow of a mixture of two immiscible \textit{compressible} fluids, based on the Navier-Stokes-Allen-Cahn equations. The corresponding system is solved by using a numerical method. The point is to use the so called ``dissipative weak solutions'', studied in section 2. A differential inequality satisfied by the relative energy is given in section 3, by using the Bergman distance. The authors show that any sequence of numerical solutions that is stable and consistent converges to a dissipative weak solution. The weak-strong uniqueness principle is used to prove unconditional convergence. A combined discontinuous Galerkin-finite element method is given in section 5 - the main part of the paper. Here the Stability, Consistency and Convergence properties are obtained. Some new interesting and very useful elements are given, to accelerate the convergence of the numerical scheme. Important tools are the Closed Graph Lemma 5.2, the Compactness Lemma 5.3 and the Poincare-Sobolev type inequality (5.10). Some results of [\textit{D. Kay} et al., SIAM J. Numer. Anal. 47, No. 4, 2660--2685 (2009; Zbl 1197.65136)] are adapted to the considered equations. The existence of a solution and positivity of density are obtained in Appendix A2, by using some elements of the topological degree theory given in [\textit{T. Gallouët} et al., Numer. Math. 141, No. 2, 495--567 (2019; Zbl 1412.35253)]. The whole study is very interesting, with detailed calculations, and related to the latest results in the field.