R. Herbin

R. Herbin, J. -C Latché, Khaled Saleh

In this paper, we study the behaviour at low Mach number of numerical schemes based on staggered discretizations for the barotropic Navier-Stokes equations. Three time discretizations are considered: the implicit-in-time scheme and two non-iterative pressure correction schemes. The last two schemes differ by the discretization of the convection term: linearly implicit for the first one, so the resulting scheme is unconditionnally stable, and explicit for the second one, so the scheme is stable under a CFL condition involving the material velocity only. We rigorously prove that these three variants are asymptotic preserving in the following sense: for a given mesh and a given time step, a sequence of solutions obtained with a sequence of vanishing Mach numbers tend to a solution of a standard scheme for incompressible flows. This convergence result is obtained by mimicking the proof already known in the continuous case.

Jérôme Droniou, Robert Eymard, T. Gallouët et al.

We design an abstract setting for the approximation in Banach spaces of operators acting in duality. A typical example are the gradient and divergence operators in Lebesgue--Sobolev spaces on a bounded domain. We apply this abstract setting to the numerical approximation of Leray-Lions type problems, which include in particular linear diffusion. The main interest of the abstract setting is to provide a unified convergence analysis that simultaneously covers (i) all usual boundary conditions, (ii) several approximation methods. The considered approximations can be conforming, or not (that is, the approximation functions can belong to the energy space of the problem, or not), and include classical as well as recent numerical schemes. Convergence results and error estimates are given. We finally briefly show how the abstract setting can also be applied to other models, including flows in fractured medium, elasticity equations and diffusion equations on manifolds. A by-product of the analysis is an apparently novel result on the equivalence between general Poincar{é} inequalities and the surjectivity of the divergence operator in appropriate spaces.