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

Feireisl, Eduard; Hošek, Radim; Maltese, David; Novotný, Antonín

ESAIM: Mathematical Modelling and Numerical Analysis , Tome 51 (2017) no. 1, pp. 279-319.

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. Gallouët, 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].

R.A. Adams, Sobolev spaces. Academic Press, New York (1975).

F. Brezzi and M. Fortin, Mixed and hybrid finite elements methods. In vol. 15 of Springer series in computational mathematics (1991). | MR | Zbl

C. Cancès, H. Mathis and N. Seguin, Relative entropy for the finite volume approximation of strong solutions to systems of conservation laws. (2013). | HAL

Y. Cho, H.J. Choe and H. Kim, Unique solvability of the initial boundary value problems for compressible viscous fluids. J. Math. Pures. Appl. 83 (2004) 243–275. | DOI | MR | Zbl

R. Denk, M. Hieber and J. Prüss. Optimal $L^p-L^q$-estimates for parabolic boundary value problems with inhomogenous data. Math. Z. 257 (2007) 193–224. | DOI | MR | Zbl

M. Crouzeix and P. Raviart, Conforming and nonconforming finite element methods for solving the stationary Stokes equations. RAIRO: Anal. Numer. 7 (1973) 33–75. | Numdam | MR | Zbl

C. Dafermos, The second law of thermodynamics and stability. Arch. Rational Mech. Anal. 70 (1979) 167–179. | DOI | MR | Zbl

R. Danchin, On the solvability of the compressible Navier–Stokes system in bounded domains. Nonlinearity 23 (2010) 383–407. | DOI | MR | Zbl

L.C. Evans and R.F. Gariepy, Measure theory and fine properties of functions. CRC Press (1992) | MR | Zbl

R. Eymard, T. Gallouët, M. Ghilani and R. Herbin, Error estimates for the approximate solutions of a non-linear hyperbolic equation given by a finite volume scheme, IMA J. Numer. Anal. 18 (1998) 563–594. | DOI | MR | Zbl

E. Feireisl and A. Novotný, Weak-strong uniqueness property for the full Navier–Stokes-Fourier system. Arch. Rational Mech. Anal. 204 (2012) 683–706. | DOI | MR | Zbl

E. Feireisl, A. Novotný and H. Petzeltová, On the existence of globally defined weak solutions to the Navier–Stokes equations. J. Math. Fluid Mech. 3 (2001) 358–392. | DOI | MR | Zbl

E. Feireisl, B.J. Jin and A. Novotný, Relative entropies, suitable weak solutions and weak-strong uniqueness for the compressible Navier-Stokes system. J. Math. Fluid Mech. 14 (2012) 717–730. | DOI | MR | Zbl

E. Feireisl, A. Novotný and Y. Sun, Suitable weak solutions to the Navier-Stokes equations of compressible viscous fluids. Indiana Univ. Math. J. 60 (2011) 611–631. | DOI | MR | Zbl

E. Feireisl, M. Michálek and T.K. Karper, Convergence of a numerical method for the compressible Navier–Stokes system on general domains. Inst. Math. Cz. Acad. Sci. 57 (2014). | MR

M. Feistauer, Analysis in compressible fluid mechanics. ZAMM 78 (1998) 579–596. | DOI | MR | Zbl

M. Feistauer, J. Felcman and V. Dolejší, Numerical simulation of compressible viscous flow through cascades of profiles. ZAMM 76 (1996) 297–300. | Zbl

M. Feistauer, J. Felcman and M. Lukáčová-Medviďova, Combined finite element – finite volume solution of compressible flow. J. Comput. Appl. Math. 63 (1995) 179–199. | DOI | MR | Zbl

M. Feistauer, J. Felcman and I. Straškraba, Mathematical and Computational Methods for Compressible Flow. Clarendon Press, Oxford (2003) | MR | Zbl

T. Gallouët, L. Gastaldo, R. Herbin and J.-C. Latché, An unconditionally stable pressure correction scheme for the compressible barotropic Navier-Stokes equations. ESAIM: M2AN 42 (2008) 303–331. | DOI | Numdam | MR | Zbl

T. Gallouët, R. Herbin and J.-C. Latché, A convergent finite element-finite volume scheme for the compressible Stokes problem. I. The isothermal case. Math. Comp. 78 (2009) 1333–1352. | DOI | MR | Zbl

T. Gallouët, R. Herbin, D. Maltese and A. Novotný, Error estimate for a numerical approximation to the compressible barotropic Navier–Stokes equations. IMA J. Numer. Anal. 36 (2016) 543–592. | DOI | MR | Zbl

L. Gastaldo, R. Herbin, W. Kheriji, C. Lapuerta and J.C. Latché, Staggered discretizations, pressure correction schemes and all speed barotropic flows, Finite volumes for complex applications. VI. Problems and perspectives, Vols. 1, 2. Vol. 4 of Springer Proc. Math. Springer, Heidelberg (2011) 839–855. | MR | Zbl

L. Gastaldo, R. Herbin, J.-C. Latché and N. Therme, Consistency result of an explicit staggered scheme for the Euler equations. Preprint (2014).

R. Herbin, W. Kheriji and J.C. Latché, On some implicit and semi-implicit staggered schemes for the shallow water and Euler equations. ESAIM: M2AN 48 (2014) 1807–1857. | DOI | MR | Zbl

R. Hošek, Strongly regular families of boundary-fitted tetrahedral meshes of bounded $C^2$ domains. Preprint Inst. Math. Cz. Acad. Sci. 3 (2016). | MR | Zbl

C. Johnson and J.C. Nedelec, On the coupling of boundary integral and finite element methods. Math. Comp. 35 (1980) 1063–1079. | DOI | MR | Zbl

V. Jovanović, An error estimate for a numerical scheme for the compressible Navier–Stokes system. Kragujevac J. Math. 30 (2007) 263–275. | MR | Zbl

V. Jovanović And C. Rohde, Finite volume schemes for Friedrichs systems in multiple space dimensions: a priori and a posteriori estimates. Numer. Methods Partial Differ. Equ. 21 (2005) 104–131. | DOI | MR | Zbl

K.H. Karlsen and T.K. Karper, A convergent nonconforming finite element method for compressible Stokes flow. SIAM J. Numer. Anal. 48 (2010) 1846–1876. | DOI | MR | Zbl

T.K. Karper, A convergent FEM-DG method for the compressible Navier–Stokes equations. Numer. Math. 125 (2013) 441–510 | DOI | MR | Zbl

D. Kröner, Directionally adapted upwind schemes in 2-D for the Euler equations. Finite approximations in fluid mechanics. Vol. 25 of Notes Numer. Fluid Mech. Friedr. Vieweg, Braunschweig (1989) 249–263. | MR | Zbl

D. Kröner, Numerical schemes for the Euler equations in two space dimensions without dimensional splitting. Nonlinear hyperbolic equations – theory, computation methods, and applications (Aachen, 1988). Vol. 24 of Notes Numer. Fluid Mech. Friedr. Vieweg, Braunschweig (1989) 342–352. | MR | Zbl

D. Kröner, M. Rokyta and M. Wierse, A Lax - Wendroff type theorem for upwind finite volume schemes in $2$-D. East-West J. Numer. Math. 4 (1996) 279–292. | MR | Zbl

D. Kröner and M. Ohlberger, A posteriori error estimates for upwind finite volume schemes for nonlinear conservation laws in multidimensions. Math. Comp. 69 (2000) 25–39. | DOI | MR | Zbl

N.V. Krylov, Parabolic equations with VMO coefficients in Sobolev spaces with mixed norms. J. Funct. Anal. 250 (2007) 521–558. | DOI | MR | Zbl

O.A. Ladyzhenskaya, V.A. Solonnikov and N.N. Uralceva, Linear and qusilinear equations of parabolic type. Vol. 23 of AMS, Trans. Math. Monograph. Providence (1968). | MR | Zbl

P.-L. Lions, Mathematical topics in fluid mechanics. Vol. 2, Compressible models, Oxford Science Publications. Vol. 10 of Oxford Lect. Ser. Math. Appl. The Clarendon Press, Oxford University Press, New York (1998). | MR

B. Liu, The analysis of a finite element method with streamline diffusion for the compressible Navier–Stokes equations. SIAM J. Numer. Anal. 38 (2000) 1–16. | DOI | MR | Zbl

B. Liu, On a finite element method for three-dimensional unsteady compressible viscous flows. Numer. Methods Partial Differ. Eq. 20 (2004) 432–449. | DOI | MR | Zbl

Y. Sun, C. Wang and Z. Zhang, A Beale-Kato-Majda blow-up criterion for the 3-D compressible Navier–Stokes equations J. Math. Pures Appl. 95 (2011) 36–47. | DOI | MR | Zbl

R. Temam, Navier-Stokes equations, Theory and numerical analysis, With an appendix by F. Thomasset. Vol. 2 of Stud. Math. Appl. North-Holland Publishing Co., Amsterdam, 3rd edition (1984). | MR | Zbl

A. Valli and M. Zajaczkowski, Navier–Stokes equations for compressible fluids: Global existence and qualitative properties of the solutions in the general case. Commun. Math. Phys. 103 (1986) 259–296. | DOI | MR | Zbl

J.P. Villa and P. Villedieu, Convergence of an explicite finite volume scheme for first order symmetric systems. Numer. Math. 94 (2003) 573–602. | DOI | MR | Zbl