Convergence of a finite volume scheme for the compressible Navier--Stokes system

We study convergence of a finite volume scheme for the compressible (barotropic) Navier--Stokes system. First we prove the energy stability and consistency of the scheme and show that the numerical solutions generate a dissipative measure-valued solution of the system. Then by the dissipative measure-valued-strong uniqueness principle, we conclude the convergence of the numerical solution to the strong solution as long as the latter exists. Numerical experiments for standard benchmark tests support our theoretical results.