On convergence of numerical solutions for the compressible MHD system with weakly divergence-free magnetic field

Abstract

Abstract We study a general convergence theory for the analysis of numerical solutions to a magnetohydrodynamic system describing the time evolution of compressible, viscous, electrically conducting fluids in space dimension $d$$(=2,3)$. First, we introduce the concept of dissipative weak (DW) solutions and prove the weak–strong uniqueness property for DW solutions, meaning a DW solution coincides with a classical solution emanating from the same initial data on the lifespan of the latter. Next, we introduce the concept of consistent approximations and prove the convergence of consistent approximations towards the DW solution, as well as the classical solution. Interpreting the consistent approximation as the energy stability and consistency of numerical solutions, we have built a nonlinear variant of the celebrated Lax equivalence theorem. Finally, as an application of this theory, we show the convergence analysis of two numerical methods.