Error estimates for a numerical method for the compressible Navier–Stokes system on sufficiently smooth domains

Abstract

We derive an a priori error estimate for the numerical solution obtained by time and space discretization by the finite volume/finite element method of the barotropic Navier–Stokes equations. The numerical solution on a convenient polyhedral domain approximating a sufficiently smooth bounded domain is compared with an exact solution of the barotropic Navier–Stokes equations with a bounded density. The result is unconditional in the sense that there are no assumed bounds on the numerical solution. It is obtained by the combination of discrete relative energy inequality derived in [T. Gallouet, R. Herbin, D. Maltese and A. Novotný, IMA J. Numer. Anal. 36 (2016) 543–592.] and several recent results in the theory of compressible Navier–Stokes equations concerning blow up criterion established in [Y. Sun, C. Wang and Z. Zhang, J. Math. Pures Appl. 95 (2011) 36–47] and weak strong uniqueness principle established in [E. Feireisl, B.J. Jin and A. Novotný, J. Math. Fluid Mech. 14 (2012) 717–730].