Convergence of a mixed finite element-finite volume scheme for the isentropic Navier-Stokes system via dissipative measure-valued solutions (Q1656377)

The authors study convergence of solutions to a numerical scheme proposed recently by Karlsen and Karper to solve the Navier-Stokes equation arising from a study of time evolution of the density and the velocity of a compressible barotropic viscous fluid, confined to a bounded physical domain in the three-dimensional Euclidean space, where the velocity is assumed to satisfy the no-slip boundary conditions. The proposed scheme is implicit and of mixed type, where upwind operators are employed to approximate convective terms, whereas the viscous stress is managed by the Crouzeix-Raviart finite element method. The stability of the numerical method is proved using energy estimates. A consistency formulation of the problem is obtained. This involves numerical solutions and error terms vanishing with the time step and the spatial discretization parameter approaching zero. The family of numerical solutions is shown to generate a dissipative measure-valued solution of the problem under consideration. Using the weak-strong uniqueness principle, it is inferred that the numerical solutions converge pointwise to the smooth solution of the limiting problem, if it exists.