# High order semi-implicit weighted compact nonlinear scheme for the all-Mach isentropic Euler system

## Abstract

The computation of compressible flows at all Mach numbers is a very challenging problem. An efficient numerical method for solving this problem needs to have shock-capturing capability in the high Mach number regime, while it can deal with stiffness and accuracy in the low Mach number regime. This paper designs a high order semi-implicit weighted compact nonlinear scheme (WCNS) for the all-Mach isentropic Euler system of compressible gas dynamics. To avoid severe Courant-Friedrichs-Levy (CFL) restrictions for low Mach flows, the nonlinear fluxes in the Euler equations are split into stiff and non-stiff components. A third-order implicit-explicit (IMEX) method is used for the time discretization of the split components and a fifth-order WCNS is used for the spatial discretization of flux derivatives. The high order IMEX method is asymptotic preserving and asymptotically accurate in the zero Mach number limit. One- and two-dimensional numerical examples in both compressible and incompressible regimes are given to demonstrate the advantages of the designed IMEX WCNS.

## Introduction

Low-Mach number flows in fluid dynamics that are slow compared with the speed of sound can be described by the following scaled isentropic Euler equations.

$$\begin{array}{@{}rcl@{}} \left\{\begin{array}{rcc} \rho_{t}+\nabla \cdot (\rho \mathbf{u}) &=& 0, \\ (\rho \mathbf{u})_{t}+\nabla \cdot (\rho \mathbf{u} \otimes \mathbf{u})+\frac{1}{\varepsilon^{2}} \nabla p&=& 0, \end{array}\right. \end{array}$$
(1)

where ρ(x,t)>0,u(x,t)=(u(x,t),v(x,t)) and q=ρu(x,t) are the density, velocity and momentum of the fluid, respectively, and ε>0 is the scaled Mach number that is a measure of compressibility of the fluid. For example, ε=1 corresponds to the fully compressible regime. The operators ,· and are the gradient, divergence and tensor product operators, respectively. The pressure p in Eq. (1) is given by the equation of state

$${\kern4.2cm}p(\rho)=\Lambda \rho^{\gamma},$$
(2)

where Λ>0 and γ≥1 are constants. Equation (1) are hyperbolic with wave speeds in direction n

$${\kern3.5cm}\lambda_{1,3}=\mathbf{u}\cdot\mathbf{n}\pm c,\lambda_{2}=\mathbf{u}\cdot\mathbf{n},$$
(3)

and the sound speed $$c=\sqrt {p'(\rho)}/\varepsilon$$.

Klainerman and Majda [1, 2] proved that the solution of Eq. (1) converges to the incompressible counterpart when ε0. The asymptotic nature of the solution to Eq. (1) can be studied by plugging-in the ansatz

$${\kern2.9cm}f(\mathbf{x},t)= f_{0}(\mathbf{x},t)+\varepsilon^{2} f_{2}(\mathbf{x},t)+O(\varepsilon^{3}),$$
(4)

for variables ρ, p and u. After performing a scale analysis, we obtain an incompressible Euler system for the velocity

$$\begin{array}{@{}rcl@{}} \left\{\begin{array}{rcc} (\mathbf{u}_{0})_{t}+\nabla \cdot (\mathbf{u}_{0} \otimes \mathbf{u}_{0}) +\frac{\nabla p_{2}}{\rho_{0}} &=& 0, \\ \nabla \cdot \mathbf{u}_{0} &=& 0, \end{array}\right. \end{array}$$
(5)

based on well-prepared initial data, i.e.,

$${\kern2.5cm}\rho(\mathbf{x},0)=const + O(\varepsilon^{2}), \nabla \cdot \mathbf{u}(\mathbf{x},0)=O(\varepsilon),$$
(6)

and appropriate boundary conditions , e.g., periodic, wall or homogeneous Neumann boundary conditions. Taking the divergence of the first equation in (5) and using the incompressibility, we obtain

$${\kern3.3cm}\triangle p_{2}=- \nabla \cdot(\nabla \cdot (\rho_{0} \mathbf{u}_{0} \otimes \mathbf{u}_{0})).$$
(7)

In low Mach number flows, the challenge faced by standard hyperbolic numerical methods for Eq. (1) is that the system becomes stiff. The stiffness is caused by the stringent Courant-Friedrichs-Levy (CFL) restriction , i.e. $$\Delta t\le \Delta x/\underset {i}{max}|\lambda _{i}|=\mathcal {O}(\varepsilon \Delta x)$$ with the spatial and temporal grid sizes Δx and Δt. The restriction results in an increasingly large computational time for ε→0. Moreover, the strong stability requirement for ε→0 results in the excessive numerical viscosity of the standard hyperbolic solvers that is proportional to $$\underset {i}{max}|\lambda _{i}|=\mathcal {O}(\varepsilon ^{-1})$$. This makes the standard hyperbolic solvers suffer from severe loss of accuracy due to the creation of spurious waves. Therefore, the stability and accuracy of the standard hyperbolic numerical methods highly depend on ε .

In the literature, some all-speed schemes  have been derived for the compressible-incompressible limit problems based on the idea of the asymptotic-preserving (AP) methodology introduced by Jin [17, 18] for relaxation systems. The AP all-speed schemes are uniformly consistent with the low-Mach number limit and are uniformly stable. Although a robust AP scheme should allow both explicit and implicit time-marching techniques, the explicit strategies suffer from the CFL stability conditions and thus affect the efficiency of the method for small Mach numbers. The implicit strategies avoid the CFL restriction, but they need to solve highly nonlinear equations and add an excessive numerical dissipation to the slow wave, degrading the accuracy of the method . To overcome the drawbacks, the semi-implicit or implicit-explicit (IMEX) time discretization strategies are widely applied based on the acoustic/advection splitting of the Euler equations into the stiff/non-stiff parts (or fast and slow fluxes) [35, 10]. These strategies treat with the stiff part implicitly and the non-stiff part explicitly to solve the isentropic Euler equations effectively and efficiently. The IMEX time discretization combined with the shock-capturing schemes, e.g., the first-order local Lax-Friedrichs (or Rusanov) scheme , the second-order finite volume method [3, 19], the arbitrary high order accurate discontinuous Galerkin method  and the fifth-order finite difference weighted essentially non-oscillatory (WENO) scheme , has shown its good performances in compressible and incompressible regimes.

Recently a class of weighted compact nonlinear schemes (WCNS’s) as high order accurate shock-capturing schemes have been widely adopted to investigate compressible flows with shock waves and discontinuities . The WCNS’s are first proposed by Deng and Zhang  based on the cell-centered compact scheme of Lele  and are developed in [2224, 29]. The expression of the classical cell-centered compact scheme is that a linear combination of the unknown approximations of the first derivative of a function at the grid points in a stencil is equal to another linear combination of the function itself at the grid points in the same stencil. Compared to noncompact schemes, e.g., the classical WENO scheme , the stencil can be more compact in the compact scheme for the same order of accuracy . WCNS’s that integrate WENO interpolation into the cell-centered compact scheme for the first derivative of a function are variants of the WENO schemes and have the good performance in terms of accuracy, robustness and efficiency for compressible flows. Compared to the classical WENO schemes, the WCNS’s feature a better spectral resolution at the same order of accuracy [21, 22]. They are more flexible in the choice of flux splitting methods, e.g., Roe’s flux difference splitting method, van Leer’s flux vector splitting and Liou’s advection upstream splitting method, and flux derivatives can be computed by different explicit or implicit compact finite difference methods [23, 29]. In this work, in view of the good performance of the IMEX time discretization method and the WCNS’s, we design a high order IMEX WCNS for the all-Mach isentropic Euler system based on the acoustic/advection splitting strategy . The stiff part governing fast acoustic and the non-stiff part modeling slow nonlinear advection effects are solved by the high order implicit and explicit time discretization methods, respectively. In the zero Mach number limit, the high order IMEX scheme has the AP property and is asymptotically stable under a convective CFL condition independent of the Mach number ε. One- and two-dimensional numerical examples are given to demonstrate good performance of the designed IMEX WCNS in both compressible and incompressible regimes.

## WCNS method

In this section, a fifth-order WCNS is considered for the spatial discretization of flux derivatives. The WCNS procedure consists of three components, i.e., midpoint-to-node differencing, flux evaluation at the midpoint and node-to-midpoint weighted averaging interpolation of fluxes. Here, we briefly describe the framework of WCNS discretization for the first derivative, fx, in the one-dimensional scalar case ut+f(u)x=0. For simplicity, we take a uniform grid defined by xi=iΔx=ih,i=0,...,N, where h is the uniform grid spacing and N is the number of cells.

The classical cell-centered compact scheme for the first derivatives  has no dissipation, but the dispersive errors dominate the scheme, which may destroy the numerical solutions. A class of hybrid cell-node and cell-edge WCNS’s proposed in  overcome the disadvantages and are written as

$${\kern-.4cm}f'_{i}+\sum^{q}_{k=1} \varrho_{k} \big(f'_{i+k}+f'_{i-k}\big) = \frac{1}{h} \sum^{r}_{m=1} \zeta_{m} \big(f_{i+(m-1/2)}+f_{i-(m-1/2)}\big) + \frac{1}{h} \sum^{w}_{l=1} \eta_{l} \big(f_{i+l}+f_{i-l}\big),$$
(8)

which introduce dissipation by approximating the cell-edge fluxes fi±(m−1/2) based on nonlinear weighted averaging interpolation of fluxes. The coefficients ϱk,ηl and ζm in Eq. (8) can be acquired by matching the Taylor series coefficients of various orders. If the coefficients ϱk=0, a class of explicit WCNS’s can be derived. The explicit WCNS’s are preferred because of their low cost and simplicity for parallelization and vectorization, compared to the implicit WCNS’s with a certain coefficient $$\phantom {\dot {i}\!}\varrho _{k^{*}}\neq 0$$. Here, we consider one of explicit WCNS’s and use a sixth-order explicit central-type scheme obtained from Eq. (8) to approximate fx, i.e.,

$${\kern1cm}f'_{i}=\frac{64}{45h}(\hat{f}_{i+1/2}-\hat{f}_{i-1/2})-\frac{2}{9h}(f_{i+1}-f_{i-1})+\frac{1}{180h}(f_{i+2}-f_{i-2}).$$
(9)

By the Taylor series expansion of (9), we obtain

$${\kern2cm}f'_{i}=(f_{x})_{i}-\frac{1}{5040}h^{6} (\frac{ \partial^{7} f}{\partial x^{7}})_{i}+O(h^{8})+O(h^{r}),$$
(10)

where the truncation term O(hr) comes from the numerical approximations of the cell-edge fluxes fi±1/2, denoted by $$\hat {f}_{i\pm 1/2}$$. The accuracy of the scheme (9) is min(6,r). Here, the numerical fluxes $$\hat {f}_{i\pm 1/2}$$ approximate fi±1/2 to the fifth order and thus a fifth-order WCNS is designed for the spatial discretization.

Various flux splitting methods  can be used in WCNS to introduce correct upwinding. For simplicity, we use the Lax-Friedrichs flux splitting, i.e., the flux is split into positive and negative parts:

$${\kern3.2cm}f=f^{+}+f^{-}, ~~f^{\pm}=\frac{1}{2}(f \pm \alpha u),$$
(11)

where $$\alpha =\underset {u}{max} |f'_{u}|$$ is the maximum characteristic wave speed. The numerical fluxes $$\hat {f}_{i\pm 1/2}$$ at the cell centers in (9) are calculated as

$${\kern3.8cm}\hat{f}_{i\pm1/2}=\hat{f}^{+}_{i\pm1/2}\pm \hat{f}^{-}_{i\pm1/2}.$$
(12)

A fifth-order WENO interpolation technique is considered to obtain the positive numerical flux $$\hat {f}^{+}_{i+1/2}$$. The interpolation process of the negative numerical flux $$\hat {f}^{-}_{i+1/2}$$ is symmetric with respect to xi+1/2 and will not be shown here. For simplicity, the “+” sign in the superscript is removed.

The numerical flux $$\hat {f}_{i+1/2}$$ on a cell center can be interpolated locally from the values on a five-point upwind-biased stencil S={xi±2,xi±1,xi}. The stencil S can be divided into three sub-stencils Sk={xi+k−2,xi+k−1,xi+k},k=0,1,2. On each sub-stencil a third-order linear interpolation of f at cell center xi+1/2 can be derived, i.e.,

$$\begin{array}{*{20}l} \hat{f}_{i + 1/2}^{0} &= \frac{1}{8}(3{f_{i - 2}} - 10f_{i - 1} + 15{f_{i}}), \end{array}$$
(13)
$$\begin{array}{*{20}l} \hat{f}_{i + 1/2}^{1} &= \frac{1}{8}({{ - }}{f_{i - 1}} + 6f_{i} + 3{f_{i + 1}}), \end{array}$$
(14)
$$\begin{array}{*{20}l} \hat{f}_{i + 1/2}^{2} &= \frac{1}{8}(3{f_{i}}{{ + }}6f_{i + 1}{{ - }}{f_{i + 2}}), \end{array}$$
(15)

where $$\hat {f}_{i + 1/2}^{k}, k=0,1,2,$$ are the approximated values at cell center xi+1/2 on Sk,k=0,1,2, respectively. On the stencil S a fifth-order upwind-biased linear interpolation of f at cell center xi+1/2 can be derived, i.e.,

$${\kern1.7cm}{\hat{f}^{upwind}_{i + 1/2}}=\frac{1}{128}(3f_{i-2}-20f_{i-1}+90f_{i}+60f_{i+1}-5f_{i+2}),$$
(16)

which can also be constructed linearly from the three third-order interpolations $$\hat {f}_{i + 1/2}^{k}$$:

$${\kern3.7cm}{\hat{f}^{upwind}_{i + 1/2}}= \sum^{2}_{k=0} d_{k} \hat{f}_{i + 1/2}^{k},$$
(17)

with the linear weights

$${\kern3.2cm}d_{0}=\frac{1}{16},~~d_{1}=\frac{10}{16},~~d_{2}=\frac{5}{16}.$$
(18)

The central-type scheme (9) with the upwind-biased linear interpolation (16) or (17) will generate oscillations around shock waves and discontinuities. To capture shock waves and discontinuities, the numerical flux $$\hat {f}_{i + 1/2}$$ should be computed by using the nonlinear combination of upwind-biased interpolations, i.e.,

$${\kern3.8cm}\hat{f}_{i+1/2}=\sum^{2}_{k=0}\omega_{k}\hat{f}^{k}_{i+1/2},$$
(19)

where ωk,k=0,1,2, are the upwind-biased nonlinear weights that are associated with the relative smoothness of f on each sub-stencil. In smooth areas the nonlinear weights ωk should be close to the linear weights dk to achieve the designed order and be close to zero near discontinuities to suppress spurious numerical oscillations near discontinuities.

There are several types of nonlinear weights ωk in the literature, e.g., the WENO-JS , WENO-M  and WENO-Z  weights. The WENO-Z weights place a larger weight to the less smooth sub-stencil, and thus they are less dissipative than the WENO-JS weights and more efficient than the WENO-M weights. Here, the WENO-Z weights ωk proposed by Borges et al.  are chosen.

$${\kern2.5cm}\omega_{k}=\frac{\alpha_{k}}{\sum^{2}_{k=0}\alpha_{k}}, ~~~\alpha_{k}=d_{k}\left(1+\frac{\tau}{\beta_{k}+\delta}\right),$$
(20)

where the second-order smoothness indicators βk,k=0,1,2, derived by Hu  are adopted to measure the smoothness of f on the sub-stencils Sk.

$${\kern2.9cm}\beta_{k}= \frac{1}{4}{(a_{k})^{2}} + \frac{{13}}{{12}}{(b_{k})^{2}}-|a_{k}b_{k}|,$$
(21)

with

$$\begin{array}{@{}rcl@{}} a_{0}= {f_{i - 2}} - 4{f_{i - 1}} + 3{f_{i}},~~~a_{1}= {f_{i - 1}} - {f_{i + 1}},~~~a_{2}= 3{f_{i}} - 4{f_{i + 1}} + {f_{i + 2}},\\ b_{0}={f_{i - 2}} - 2{f_{i - 1}} + {f_{i}},~~~b_{1}= {f_{i - 1}} - 2{f_{i}} + {f_{i + 1}},~~~b_{2}= {f_{i}} - 2{f_{i + 1}} + {f_{i + 2}}. \end{array}$$

In (20), the global higher order smoothness indicator τ=|β0β2| and the parameter δ is a small constant to avoid denominators becoming zero.

### Remark 1

The value of δ in (20) will influence the convergence, accuracy and stability of the schemes. Here, a parameter-free algorithm proposed by Zheng et al.  is used to calculate the value of δ as follows.

$${\kern4.2cm}\delta= \frac{\beta_{ave}\beta_{min}}{\beta_{std}},$$
(22)

where $$\beta _{ave}=\frac {1}{3}\sum ^{2}_{k=0}\beta _{k},~\beta _{min}=min\{\beta _{0}, \beta _{1},\beta _{2}\},~\beta _{std}=\sqrt {\frac {1}{3}\sum ^{2}_{k=0}(\beta _{ave}-\beta _{k})^{2}}$$. To avoid denominators becoming zero in (20) and (22), βk+δ in (20) and βstd in (22) are replaced with max(βk+δ,err) and max(βstd,err), respectively. Here, err is the square root of the smallest positive number allowed for a machine.

## IMEX method

In this section, we briefly describe the framework of IMEX time discretization designed for the numerical integration of the stiff ordinary differential equation (ODE) as follows.

$${\kern4.3cm}y_{t}= \bar{f}(y)+\bar{g}(y),$$
(23)

where $$\bar {f}$$ and $$\bar {g}$$ are the non-stiff and stiff parts of the ODE, respectively. The IMEX time discretization treats the non-stiff part explicitly and the stiff part implicitly in order to overcome the stringent time-step restriction for stability. There are many IMEX methods designed for various problems in the literature . Among them, the IMEX Runge-Kutta (IMEX-RK) schemes as combinations of diagonally implicit A- or L-stable RK (DIRK) methods and explicit RK methods offer a precise and robust approach to define high order AP schemes. The computational cost per time step is proportional to the number of stages in the IMEX-RK schemes and the accuracy is proportional to the time-step size and the order of accuracy.

The IMEX-RK p(s,σ,p) scheme is characterized by the s×s matrices $$\mathbf {A}=(a_{ij}), \tilde {\mathbf {A}}=(\tilde {a}_{ij})$$, the vectors $$\mathbf {b}, \tilde {\mathbf {b}} \in \mathbb {R}^{s}$$, and the vectors $$\mathbf {c}, \tilde {\mathbf {c}} \in \mathbb {R}^{s}$$. This scheme with s stages of the implicit scheme for the stiff term and σ(=s+1) stages of the explicit scheme for the non-stiff term has pth-order temporal accuracy. Applying this scheme to solve Eq. (23) from tn to tn+1 yields

$$\begin{array}{*{20}l} y^{(k)}&= y^{n} + \Delta t \sum^{k-1}_{j=1} \tilde{a}_{kj} \bar{f}(y^{(j)}) +\Delta t \sum^{k}_{j=1} a_{kj} \bar{g}(y^{(j)}), k=1,...,s, \end{array}$$
(24)
$$\begin{array}{*{20}l} y^{n+1}&= y^{n}+ \Delta t \sum^{s}_{k=1} \tilde{b}_{k} \bar{f}(y^{(k)})+\Delta t \sum^{s}_{k=1} b_{k} \bar{g}(y^{(k)}). \end{array}$$
(25)

### Definition 1

The IMEX-RK p(s,σ,p)scheme is of type ARS, i.e., the matrices $$\mathbf {A}, \tilde {\mathbf {A}}$$ for the implicit and explicit schemes are described respectively as

$${\kern2.8cm}\mathbf{A}=\left(\begin{array}{cc} 0 & 0 \\ 0 & A_{22} \\ \end{array} \right), \tilde{\mathbf{A}}=\left(\begin{array}{cc} 0 & 0 \\ \tilde{A}_{21} & \tilde{A}_{22} \\ \end{array} \right),$$
(26)

with the submatrices $$(\tilde {A}_{21})_{(s-1) \times 1}, (\tilde {A}_{22})_{(s-1) \times (s-1)}$$ and the invertible submatrix (A22)(s−1)×(s−1).

### Definition 2

The IMEX-ARSp scheme is globally stiffly accurate (GSA) (see [10,40]), i.e., the matrices $$\mathbf {A}, \tilde {\mathbf {A}}$$ and the vectors $$\mathbf {b}^{T}, \tilde {\mathbf {b}}^{T}$$ satisfy

$${\kern2.7cm}\mathbf{e}^{T}_{s} \mathbf{A}=\mathbf{b}^{T}, ~~\mathbf{e}^{T}_{s} \tilde{\mathbf{A}}=\tilde{\mathbf{b}}^{T},~~ c_{s}=\tilde{c}_{s}=1,$$
(27)

where es=(0,...,0,1)T. The IMEX-ARSp scheme that satisfies the condition $$\mathbf {e}^{T}_{s} \mathbf {A}=\mathbf {b}^{T}$$ is called stiffly accurate (SA).

### Remark 2

For the GSA IMEX-ARSp scheme, yn+1=y(s) in Eq. (25).

## IMEX-ARSp wCNS

In this section, we design the IMEX-ARSp WCNS scheme for the isentropic Euler system. Here, the fifth-order WCNS described in the previous section is used for the spatial discretization and the pth-order IMEX-ARSp method is used for the time discretization. We first split the Euler system into two parts based on the acoustic/advection splitting strategy  and obtain

$${\kern4.5cm}\mathbf{U}_{t}=\mathbf{F} + \mathbf{G},$$
(28)

where $$\mathbf {U}=(\rho, \mathbf {q}), \mathbf {F}=-(0, \nabla \cdot \frac {\mathbf {q} \otimes \mathbf {q}}{\rho })$$ is the non-stiff nonlinear term and $$\mathbf {G}=-(\nabla \cdot \mathbf {q}, \frac {1}{\varepsilon ^{2}} \nabla p)$$ is the stiff linear term.

The pth-order IMEX-ARSp scheme that consists of (24) and (25) is applied to each component of (28). The intermediate stages are described as

$$\begin{array}{*{20}l} \rho^{(k)}&= \rho^{n} -\Delta t \sum^{k}_{j=1} a_{kj} \nabla \cdot \mathbf{q}^{(j)}, \end{array}$$
(29)
$$\begin{array}{*{20}l} \mathbf{q}^{(k)}&= \mathbf{q}^{n} - \Delta t \sum^{k-1}_{j=1} \tilde{a}_{kj} \left(\nabla \cdot \frac{\mathbf{q} \otimes \mathbf{q}}{\rho} \right)^{(j)} - \Delta t \sum^{k}_{j=1} a_{kj}\frac{1}{\varepsilon^{2}}\nabla p^{(j)}, \end{array}$$
(30)

where k=1,2,...,s, and the numerical solutions at time tn+1 are described as

$$\begin{array}{*{20}l} \rho^{n+1}&=\rho^{n}- \Delta t \sum^{s}_{k=1} b_{k} \nabla \cdot \mathbf{q}^{(k)}, \end{array}$$
(31)
$$\begin{array}{*{20}l} \mathbf{q}^{n+1}&=\mathbf{q}^{n}- \Delta t \sum^{s}_{k=1} \tilde{b}_{k} \left(\nabla \cdot \frac{\mathbf{q} \otimes \mathbf{q}}{\rho} \right)^{(k)} - \Delta t \sum^{s}_{k=1} b_{k}\frac{1}{\varepsilon^{2}}\nabla p^{(k)}. \end{array}$$
(32)

The intermediate stages (29) and (30) consist of two implicit steps and can be simplified by eliminating q(k) between (29) and (30) , and obtain a nonlinear elliptic equation for ρ(k):

$${\kern1.5cm}-\frac{(\Delta t a_{kk})^{2}}{\varepsilon^{2}} \triangle p(\rho^{(k)}) +\rho^{(k)} = \hat{\rho}^{(k)}-\Delta t a_{kk} \nabla \cdot \hat{\mathbf{q}}^{(k)},$$
(33)

where

$$\begin{array}{*{20}l} \hat{\rho}^{(k)}&= \rho^{n} -\Delta t \sum^{k-1}_{j=1} a_{kj} \nabla \cdot \mathbf{q}^{(j)}, \end{array}$$
(34)
$$\begin{array}{*{20}l} \hat{\mathbf{q}}^{(k)}&= \mathbf{q}^{n} -\Delta t \sum^{k-1}_{j=1} \tilde{a}_{kj} \left(\nabla \cdot \frac{\mathbf{q} \otimes \mathbf{q}}{\rho} \right)^{(j)} -\Delta t \sum^{k-1}_{j=1} a_{kj}\frac{1}{\varepsilon^{2}}\nabla p^{(j)}. \end{array}$$
(35)

Based on (30) and (35), q(k) can be calculated as

$${\kern3cm}\mathbf{q}^{(k)}= \hat{\mathbf{q}}^{(k)}-\Delta t a_{kk} \frac{1}{\varepsilon^{2}}\nabla p^{(k)}.$$
(36)

### Remark 3

To update the solutions from tn to tn+1 by the pth-order IMEX-ARSp WCNS, we first solve the elliptic equation (33) to obtain ρ(k) and then calculate explicitly q(k) using (36). Here, (33) is a nonlinear equation for ρ(k), which is solved by inexact Newton-generalized minimum residual (Newton-GMRES) algorithms. Refer to [42,43] for the detailed description of the algorithms. Finally, the updates ρn+1 and qn+1 are calculated explicitly using (31) and (32) with the intermediate values ρ(k) and q(k). For the GSA IMEX-ARSp scheme, ρn+1=ρ(s) and qn+1=q(s).

### Remark 4

The spatial discretization of both convective terms in (33)-(35) and the gradient terms in (34) and (35) are solved by the fifth-order WCNS in the component-by-component and dimension-by-dimension forms. Here, in the interpolation process of the cell-edge pressures, the Lax-Friedrichs flux with zero numerical viscosity is considered, i.e., $$p=\frac {1}{2}p+\frac {1}{2}p$$, otherwise the numerical diffusion will become large when ε→0 .

### Remark 5

For the explicit time discretization, the CFL stability condition is described as

$${\kern1.6cm}\Delta t\le CFL \cdot h/\underset{\mathbf{u}\cdot \mathbf{n},\rho}{max} (|\mathbf{u}\cdot \mathbf{n} |+\sqrt{p'(\rho)}/\varepsilon)=O(\varepsilon)\xrightarrow{\varepsilon\to 0}0,$$
(37)

which leads to unaffordable computational costs in the low Mach number regime. For the IMEX-ARSp time discretization, the convective CFL stability condition is obtained as

$${\kern3.2cm}\Delta t\le CFL \cdot h/\underset{\mathbf{u}\cdot \mathbf{n}} {max} \{2|\mathbf{u}\cdot \mathbf{n} |\},$$
(38)

due to semi-implicit nature of the acoustic/advection splitting strategy. In order to avoid an excessively large time-step sizes when the velocity of the fluid is too small, Boscarino et al.  recommended the following stability restriction

$${\kern2cm}\Delta t\le CFL \cdot h/\underset{\mathbf{u}\cdot \mathbf{n},\rho}{max} (|\mathbf{u}\cdot \mathbf{n} |+min(1,1/\varepsilon)\sqrt{p'(\rho)}).$$
(39)

The stability conditions (38) and (39) of the IMEX-ARSp method are independent of the Mach number ε and thus are less restrictive contrary to a standard explicit method. Therefore, the IMEX-ARSp method is more efficient than the explicit method for low-Mach number flows.

### Remark 6

For one-dimensional case, the term p=pxx in (33) is approximated by a fourth-order central-type difference scheme:

$$p^{\prime\prime}_{i}=\frac{-p_{i-2}+16 p_{i-1}-30 p_{i} +16 p_{i+1}-p_{i+2}}{12h^{2}}.$$
(40)

For two-dimensional case, this central-type difference scheme in a dimension-by-dimension form is applied to p=pxx+pyy.

## AP property

### Definition 3

A scheme for the low Mach number limit of the Euler equations is asymptotic preserving, if it serves as a consistent and stable discretisation, independent of the Mach number ε.

### Proposition 1

Consider the system (1) subject to well-prepared initial data (i.e., $$\rho ^{0}_{0}=const, \nabla \cdot \mathbf {u}^{0}_{0}(\mathbf {x})=0$$) and periodic, wall or homogeneous Neumann boundary conditions. The spatial derivatives are assumed to be continuous. The GSA IMEX-ARSp scheme ((29)-(32)) (see Definitions 1 and 2) is used for the time discretization of the system (1) from t=t0 to t1 with the time-step size Δt=t1t0 given by the stability conditions (38) or (39) independent of ε, and we then have

$${\kern2.5cm}\rho^{1}(\mathbf{x},t^{1}) \xrightarrow{\varepsilon\to 0} \rho^{0}_{0},~~ \nabla \cdot \mathbf{u}^{1}(\mathbf{x},t^{1}) \xrightarrow{\varepsilon\to 0}0,$$
(41)

and

$${\kern2.7cm}\mathbf{u}^{1}(\mathbf{x},t^{1}) \xrightarrow{\varepsilon\to 0}\mathbf{u}_{e}(\mathbf{x},t^{1})+O(\Delta t^{p+1}).$$
(42)

Here, ue is the exact solution of Eq. (5) with initial data $$\mathbf {u}_{e}(\mathbf {x},0)= \mathbf {u}^{0}_{0}(\mathbf {x})$$.

Let $$\mathbf {f}=\nabla \cdot \frac {\mathbf {q} \otimes \mathbf {q}}{\rho }, \vec {r}=(r^{(1)},...,r^{(s)})^{T}$$ for r=ρ or p, and $$\vec {\mathbf {v}}=(\mathbf {v}^{(1)},...,\mathbf {v}^{(s)})^{T}$$ for v=f or q generated at the IMEX-ARSp intermediate stages tk=t0+ckΔt. Following , we give the proof process of Proposition 1.

### Proof

Based on (29)-(32), we obtain from t=t0 to t1

$$\begin{array}{*{20}l} \vec{\rho}&= \rho^{0} \mathbf{e} -\Delta t \mathbf{A} \nabla \cdot \vec{\mathbf{q}}, \end{array}$$
(43)
$$\begin{array}{*{20}l} \vec{\mathbf{q}}&= \mathbf{q}^{0} \mathbf{e} -\Delta t \tilde{\mathbf{A}} \nabla \cdot \vec{\mathbf{f}} -\frac{\Delta t}{\varepsilon^{2}} \mathbf{A} \nabla \vec{p}, \end{array}$$
(44)

and

$$\begin{array}{*{20}l} \rho^{1}&=\rho^{0}- \Delta t \mathbf{b}^{T} \nabla \cdot \vec{\mathbf{q}}, \end{array}$$
(45)
$$\begin{array}{*{20}l} \mathbf{q}^{1}&=\mathbf{q}^{0}- \Delta t \tilde{\mathbf{b}}^{T} \nabla \cdot \vec{\mathbf{f}} - \frac{\Delta t}{\varepsilon^{2}} \mathbf{b}^{T} \nabla \vec{p}, \end{array}$$
(46)

where $$\mathbf {e}=(1,...,1)^{T}\in \mathbb {R}^{s}$$. □

Taking the divergence of both sides of (44) and substituting $$\nabla \cdot \vec {\mathbf {q}}$$ into (43) yields a pressure Poisson equation

$${\kern1.5cm}\frac{\Delta t^{2}}{\varepsilon^{2}} \mathbf{A}^{2} \triangle \vec{p}=(\vec{\rho}-\rho^{0} \mathbf{e})+ \Delta t \mathbf{A} \nabla \cdot \mathbf{q}^{0} \mathbf{e} -\Delta t^{2} \mathbf{A} \tilde{\mathbf{A}} \nabla \cdot (\nabla \cdot \vec{\mathbf{f}}).$$
(47)

In order to study the asymptotic behavior of the solutions, we plug the ε-asymptotic expansions f(x)=f0(x)+ε2f2(x)+O(ε3) for variables $$\vec {\rho }, \rho ^{1}, \vec {p}, p^{1}$$ and g(x)=g0(x)+O(ε2) for variables $$\vec {\mathbf {q}},\mathbf {q}^{1}$$ into (43)-(47). Note that the term O(ε) does not appear in Eq. (1). At the leading order O(ε−2) terms in (44), we obtain $$\nabla \vec {p}_{0}=\nabla \vec {p}(\vec {\rho }_{0})=0$$. Therefore, $$\vec {p}_{0}$$ and $$\vec {\rho }_{0}$$ are independent of x. Collecting the order O(1) terms in ε generates

$$\begin{array}{*{20}l} \vec{\rho}_{0}-\rho^{0}_{0} \mathbf{e}&=-\Delta t \mathbf{A} \nabla \cdot \vec{\mathbf{q}}_{0}, \end{array}$$
(48)
$$\begin{array}{*{20}l} \vec{\mathbf{q}}_{0}-\mathbf{q}^{0}_{0} \mathbf{e}&=-\Delta t \tilde{\mathbf{A}} \nabla \cdot \vec{\mathbf{f}}_{0} -\Delta t \mathbf{A} \nabla \vec{p}_{2}, \end{array}$$
(49)
$$\begin{array}{*{20}l} \rho^{1}_{0}-\rho^{0}_{0}&=-\Delta t \mathbf{b}^{T} \nabla \cdot \vec{\mathbf{q}}_{0}, \end{array}$$
(50)
$$\begin{array}{*{20}l} \mathbf{q}^{1}_{0}-\mathbf{q}^{0}_{0}&=-\Delta t \tilde{\mathbf{b}}^{T} \nabla \cdot \vec{\mathbf{f}}_{0} - \Delta t \mathbf{b}^{T} \nabla \vec{p}_{2}, \end{array}$$
(51)
$$\begin{array}{*{20}l} \Delta t^{2} \mathbf{A}^{2} \triangle \vec{p}_{2}&= \vec{\rho}_{0}-\rho^{0}_{0} \mathbf{e}+ \Delta t \mathbf{A} \nabla \cdot \mathbf{q}^{0}_{0} \mathbf{e}-\Delta t^{2} \mathbf{A}\tilde{\mathbf{A}} \nabla \cdot (\nabla \cdot \vec{\mathbf{f}}_{0}), \end{array}$$
(52)

where $$\mathbf {q}^{0}_{0}=\rho ^{0}_{0} \mathbf {u}^{0}_{0}$$ and $$\vec {\mathbf {f}}_{0}=\vec {\mathbf {q}}_{0} \otimes \vec {\mathbf {q}}_{0}/\vec {\rho }_{0}$$.

Integrating (48) over the whole computational domain and applying periodic, wall or homogeneous Neumann boundary conditions yields $$\vec {\rho }_{0}=\rho ^{0}_{0} \mathbf {e}$$, i.e., $$\vec {\rho }_{0}$$ is independent of t. Since $$\vec {\rho }_{0}=\rho ^{0}_{0} \mathbf {e}$$ and $$\nabla \cdot \mathbf {q}^{0}_{0} =\rho ^{0}_{0} \nabla \cdot \mathbf {u}^{0}_{0}=0$$, (52) becomes

$${\kern3.4cm}\mathbf{A}^{2} \triangle \vec{p}_{2}=- \mathbf{A} \tilde{\mathbf{A}} \nabla \cdot (\nabla \cdot \vec{\mathbf{f}}_{0}).$$
(53)

Based on Definition 1, (53) can be simplified as

$${\kern2.2cm}\triangle \vec{p}'_{2}=- A^{-1}_{22} (\tilde{A}_{21} \nabla \cdot (\nabla \cdot \vec{\mathbf{f}}^{(1)}_{0})+\tilde{A}_{22} \nabla \cdot (\nabla \cdot \vec{\mathbf{f}}'_{0})),$$
(54)

where $$\vec {p}'=(p^{(2)},...,p^{(s)})^{T}$$ and $$\vec {\mathbf {f}}'_{0}=(\mathbf {f}^{(2)},...,\mathbf {f}^{(s)})^{T}$$.

Taking the divergence of both sides of (49) and applying Definition 1 and (54) yields

$${\kern3.7cm}\nabla \cdot \vec{\mathbf{q}}_{0}=0,~~\nabla \cdot \vec{\mathbf{u}}_{0}=0.$$
(55)

Based on (50) and (55), we have $$\rho ^{1}_{0}=\rho ^{0}_{0}$$, i.e., $$\rho ^{1}(\mathbf {x},t^{1}) \xrightarrow {\varepsilon \to 0} \rho ^{0}_{0}$$. Taking the divergence of both sides of (51) and applying Definition 2 generates

$${\kern2.7cm}\nabla \cdot\mathbf{q}^{1}_{0}=-\Delta t \mathbf{e}^{T}_{s} (\tilde{\mathbf{A}} \nabla \cdot (\nabla \cdot \vec{\mathbf{f}}_{0}) + \mathbf{A} \triangle \vec{p}_{2}).$$
(56)

By applying Definition 1 and (54), (56) is simplified as $$\nabla \cdot \mathbf {q}^{1}_{0}=\rho ^{1} \nabla \cdot \mathbf {u}^{1}_{0}=0$$. Since $$\rho ^{1}_{0}=\rho ^{0}_{0}$$, we have $$\nabla \cdot \mathbf {u}^{1}_{0}=0$$, i.e., $$\nabla \cdot \mathbf {u}^{1}(\mathbf {x},t^{1}) \xrightarrow {\varepsilon \to 0}0$$.

Both sides of (49) and (51) are divided by the constant density $$\rho ^{0}_{0}$$ and we obtain the asymptotic limit of scheme for the incompressible Euler system (5):

$$\begin{array}{*{20}l} \vec{\mathbf{u}}_{0}&=\mathbf{u}^{0}_{0} \mathbf{e}-\Delta t \tilde{\mathbf{A}} \frac{1}{\rho^{0}_{0}} \nabla \cdot \vec{\mathbf{f}}_{0} -\Delta t \mathbf{A} \frac{1}{\rho^{0}_{0}} \nabla \vec{p}_{2}, \end{array}$$
(57)
$$\begin{array}{*{20}l} \mathbf{u}^{1}_{0} &=\mathbf{u}^{0}_{0}-\Delta t \tilde{\mathbf{b}}^{T} \frac{1}{\rho^{0}_{0}} \nabla \cdot \vec{\mathbf{f}}_{0} - \Delta t \mathbf{b}^{T} \frac{1}{\rho^{0}_{0}} \nabla \vec{p}_{2}, \end{array}$$
(58)

where $$\vec {p}_{2}$$ is given by (53). If the IMEX-ARSp scheme that has pth-order temporal accuracy is adopted to solve the system (5) subject to initial data $$\mathbf {u}_{e}(\mathbf {x},0)= \mathbf {u}^{0}_{0}$$, the asymptotic accuracy can be attained, i.e., (42) is proved.

### Remark 7

A similar procedure can be adopted when going from tn to tn+1 to prove that the limiting IMEX-ARSp scheme is a consistent discretization of the limiting equation for fixed h and Δt. The IMEX-ARSp scheme is also asymptotically stable with the time-step restrictions (38) or (39) independent of the Mach number ε.

### Remark 8

The AP property of the GSA IMEX-ARSp scheme is proved based on the assumption that the Euler equations are subject to well-prepared initial data. For the SA IMEX-ARSp scheme, the AP property can also be proved using a similar procedure under the same assumption. The proof of the AP property of the GSA IMEX-ARSp scheme combined with the fifth-order WCNS is relatively complex and has not been performed. In the next section, we will verify numerically the AP property of the IMEX-ARSp WCNS. In addition, the IMEX-ARSp scheme combined some other shock capturing schemes, e.g., the MUSCL (monotone upstream-centered scheme for conservation laws) type finite volume scheme proposed in , can also maintain numerically the AP property.

## Numerical examples

The third-order GSA IMEX-ARS3 WCNS is applied to solve the following numerical examples. In some convergence tests, the third-order SA IMEX-ARS3 WCNS is also tested. See Appendix for the characteristics of the GSA and SA IMEX-ARS3 scheme. In addition, the third-order explicit total variation diminishing Runge-Kutta time-stepping method  coupled with the fifth-order WCNS (TVD-RK3 WCNS) and the third-order GAS IMEX-ARS3 scheme coupled with the third-order MUSCL type finite volume scheme (IMEX-ARS3 MUSCL) are used to solve some examples for comparisons.

The order of temporal accuracy is numerically calculated as

$${\kern4cm}p=\log_{2}(E_{\Delta t_{1}}/E_{\Delta t_{2}}),$$
(59)

where $$E_{\Delta t_{1}}$$ obtained with Δt1=O(h) and $$E_{\Delta t_{2}}$$ obtained with Δt2=Δt1/2 are the global errors in the L and L1 norms, respectively. The space-step size h deceases with the time-step size Δt. In the convergence tests, to test the temporal order of accuracy the time-step size is taken as Δt=CFL·h (CFL=0.1), while it is set as Δt=CFL·h2 (CFL=0.1) to test the spatial order of accuracy. In the other tests, the time-step sizes of the IMEX-ARS3 WCNS and the IMEX-ARS3 MUSCL are computed by the stability conditions (38) or (39), while the time-step size of the TVD-RK3 WCNS is calculated by the stability condition (37).

### Example 1

Convergence test for one-dimensional case 

This example is adopted to test the temporal order of accuracy of the GSA and SA IMEX-ARS3 WCNS for one-dimensional case. The computational domain is [−2.5,2.5] with periodic boundary conditions. The initial data for one-dimensional isentropic Euler equations (1) is given by

$${\kern.8cm}u(x,0) =sin\left(\frac{2\pi x}{L}\right),~~\rho(x,0)= \left(1+\frac{(\gamma-1)u(x,0)}{c}\right)^{2},~~ p=\rho^{\gamma},$$
(60)

where $$\gamma =2,c=2\sqrt {\gamma }/\varepsilon,L=5$$ and the final time is fixed to Tf=0.1. To measure the temporal convergence of the GSA and SA IMEX-ARS3 WCNS, the solution computed on a fine mesh with N=2560 cells is used as a reference (“exact”) solution since the exact solution of this problem is unknown. Tables 1 and 2 report the numerical L and L1-norm errors and orders of accuracy in time for the density obtained with the GSA IMEX-ARS3 WCNS at different Mach numbers, while Tables 3 and 4 show the corresponding results obtained with the SA IMEX-ARS3 WCNS. It is observed that both methods show a third-order temporal convergence, as expected, for different values of the Mach number, from compressible to incompressible regimes. In the following examples, we only investigate the performance of the GSA IMEX-ARS scheme. Here, we also test the spatial accuracy of the GSA IMEX-ARS3 WCNS. The numerical L and L1-norm errors are computed by comparing the numerical solutions of the density on third consecutive mesh sizes . Tables 5 and 6 report the corresponding results at t=0.05, which demonstrate a fifth-order spatial convergence of the GSA IMEX-ARS3 WCNS at different Mach numbers.

### Example 2

One-dimensional Riemann problem [4,6,10]

This example that consists in several interacting Riemann problems is used to validate the asymptotic stability of the IMEX-ARS3 WCNS. The computational domain is [0,1] with periodic boundary conditions. The initial data is described as

$$\begin{array}{@{}rcl@{}} \left\{\begin{array}{lll} \rho(x,0) &=& 1,~~~~~~~q(x,t)=1-0.5\varepsilon^{2},~~ x\in[0,0.2]\cup[0.8,1], \\ \rho(x,0)&=& 1+\varepsilon^{2},~ q(x,t)=1, ~~~~~~~~~~~~ x\in[0.2,0.3], \\ \rho(x,0)&=& 1, ~~~~~~~q(x,t)=1+0.5\varepsilon^{2},~~ x\in[0.3,0.7], \\ \rho(x,0)&=& 1-\varepsilon^{2}, ~q(x,t)=1, ~~~~~~~~~~~~ x\in[0.7,0.8], \end{array}\right. \end{array}$$
(61)

and the pressure is p(ρ)=ρ2. The time-step size is computed by (38) with CFL=0.3 and the final time is fixed to Tf=0.05. The values of the Mach number are chosen as $$\varepsilon =\sqrt {0.99}, 0.3$$ and 0.01 corresponding to the compressible, intermediate and incompressible regimes, respectively. The numerical solutions calculated by the GSA IMEX-ARS3 WCNS and the GSA IMEX-ARS3 MUSCL with N=200 cells are compared to a reference solution computed by the explicit TVD-RK3 WCNS with N=2000 cells. Figure 1 illustrates the solutions for the density and momentum at different Mach numbers. From this figure, we observe the IMEX-ARS3 WCNS and the TVD-RK3 WCNS can capture shocks and contact discontinuities that are stronger when ε is bigger, while the IMEX-ARS3 MUSCL suffers from excessive numerical diffusion. Spurious oscillations are observed with the TVD-RK3 WCNS when $$\varepsilon =\sqrt {0.99}$$ (see Fig. 1a and b). The utilization of WENO interpolation based on the characteristic variables instead of the flux functions can effectively suppress spurious oscillations near discontinuities. Compared to the TVD-RK3 WCNS, the IMEX-ARS3 WCNS and the IMEX-ARS3 MUSCL capture the limit incompressible solution faster when ε is small. When ε approaches 0, the TVD-RK3 WCNS can not capture the correct solution, due to the excessive numerical viscosity.

### Example 3

Sod shock tube problem 

This problem with non-well prepared initial data is used to investigate the performance of the GSA IMEX-ARS3 WCNS in the intermediate and incompressible regimes. The computational domain is [0,1] with zero Neumann boundary conditions. The pressure is p(ρ)=ρ. The non-well prepared initial data including discontinuity is

$$\begin{array}{@{}rcl@{}} (\rho,u)= \left\{\begin{array}{lll}(1.000, 0.000),~~ x\le0.5, \\ (0.125,0.000),~~otherwise.\\ \end{array}\right. \end{array}$$
(62)

The time-step size is computed by (39) with CFL=0.1. The values of the Mach number are chosen as ε=0.3 and 0.03 corresponding to the intermediate and incompressible regimes, respectively. For both ε=0.3 and ε=0.03, reference solutions are generated using the GSA IMEX-ARS3 MUSCL with N=2000 cells. Figure 2 depicts the density and momentum calculated by the GSA IMEX-ARS3 WCNS with N=200 cells at time Tf=0.05 for ε=0.3 and at time Tf=0.005 for ε=0.03. From this figure, the density and momentum are not close to the solutions of the incompressible Euler equations. The solutions include the rarefaction waves moving to the left and shock waves moving to the right for both ε=0.3 and ε=0.03. From Fig. 2a and b, it is observed that when ε=0.3, the numerical solution obtained with the IMEX-ARS3 WCNS has a good agreement with the reference solution. When ε=0.03 in the incompressible regime, nonphysical oscillations arise near discontinuities based on the IMEX-ARS3 WCNS (see Fig. 2c and d). Nonphysical oscillations are a common phenomenon when shocks develop in the low Mach number regime [4,5] and can be eliminated by decreasing Δt and taking a smaller CFL=0.01.

### Example 4

Convergence test for two-dimensional case 

This example is used to test the temporal order of accuracy of the GSA IMEX-ARS3 WCNS for two-dimensional case. The computational domain is [0,1]×[0,1] with periodic boundary conditions. The pressure is $$p(\rho)=\frac {1}{2}\rho ^{2}$$. The final time is Tf=0.02. The initial data is given by the following exact solution

$$\begin{array}{@{}rcl@{}} \left\{\begin{array}{lll} \rho(\mathbf{x},t) &=& 1+\varepsilon^{2}\frac{1.5^{2}}{16\pi^{2}}\delta(r)(k(r)-k(\pi)),\\ u(\mathbf{x},t)&=& 0.6+1.5(1+\cos(r))\delta(r)(0.5-y), \\ v(\mathbf{x},t)&=& 1.5(1+\cos(r))\delta(r)(x-0.6t-0.5), \end{array}\right. \end{array}$$
(63)

where $$r=4\pi \sqrt {(x-0.6t-0.5)^{2}+(y-0.5)^{2}}, k(r)=2\cos (r)+2r\sin (r)+0.125\cos (2r)+0.25r\sin (2r)+0.75r^{2}$$ and

$$\begin{array}{@{}rcl@{}} \delta(r) = \left\{\begin{array}{lll} 1,~~ r<\pi, \\ 0, ~~otherwise. \end{array}\right. \end{array}$$
(64)

Tables 7 and 8 show the numerical L and L1-norm errors and orders of accuracy in time for the momentum ρu based on different values of the Mach number, from compressible to incompressible regimes, which validates the GSA IMEX-ARS3 WCNS for two-dimensional case can attain the designed temporal accuracy. In addition, the L1-norm convergence is better than the L-norm convergence under the same conditions.

### Example 5

Two-dimensional Riemann problem [8,10]

This example is used to test the performance of the GSA IMEX-ARS3 WCNS at a high Mach number for two-dimensional case. The computational domain is [0,1]×[0,1] with zero Neumann boundary conditions. The pressure is p(ρ)=ρ1.4. This initial data includes four shock waves and is described as

$$\begin{array}{@{}rcl@{}} (\rho,u,v)= \left\{\begin{array}{lll}(0.1308, 1.206, 1.206),~~ x<0.5,y<0.5, \\ (0.5323, 0.000, 1.206), ~~ x\ge 0.5,y<0.5, \\ (0.5323, 1.206, 0.000),~~ x<0.5,y\ge0.5, \\ (1.5000, 0.000,0.000),~~ otherwise.\\ \end{array}\right. \end{array}$$
(65)

The time-step size is computed by (38) with CFL=0.4. The values of the Mach number are chosen as ε=1 and 2 to test the robust shock-capturing capability of the IMEX-ARS3 WCNS in the compressible regime. Figure 3 plots the surfaces of the density profile obtained with the IMEX-ARS3 WCNS and the IMEX-ARS3 MUSCL on a mesh 50×50 at Tf=0.1. From this figure, we see that the IMEX-ARS3 WCNS has a higher resolution, compared to the IMEX-ARS3 MUSCL.

### Example 6

Cylindrical explosion problem [6,11]

The computational domain is [−1,1]×[−1,1] with periodic boundary conditions and the pressure is given by p(ρ)=ρ2. The initial density of the fluid is given by

$$\begin{array}{@{}rcl@{}} \left\{\begin{array}{lll} \rho(\mathbf{x},0) = 1+\varepsilon^{2},~~ if ~r<0.5, \\ \rho(\mathbf{x},0)= 1, ~~~~~~~~ otherwise, \end{array}\right. \end{array}$$
(66)

where $$r=\sqrt {x^{2}+y^{2}}$$ is the distance to the center (0,0) of the domain. The initial velocity of the fluid is given by

$$\begin{array}{@{}rcl@{}} \left\{\begin{array}{lll} u(\mathbf{x},0) = -\frac{x}{r}\frac{\beta}{\rho(\mathbf{x},0)}, \\ v(\mathbf{x},0) = -\frac{y}{r}\frac{\beta}{\rho(\mathbf{x},0)}, \end{array}\right. \end{array}$$
(67)

where $$\beta =max(0,1-r)e^{-16r^{2}}$$ and (u,v)=(0,0), if r≤10−15. The computational domain is divided into 50×50 cells. The values of the Mach number are chosen as ε=1 and 0.001. The time-step sizes are computed by (38) with CFL=0.4 for ε=1 and by (39) with CFL=0.03 for ε=0.001, respectively. Figure 4 plots the surfaces of the density profile and the velocity fields for ε=1 obtained with the GSA IMEX-ARS3 WCNS at different times. Figure 5 shows the density profile and the discrete divergence of the velocity ·u at time t=0.05 for a small value of ε=0.001. It is observed that when ε=0.001, the density converges to the constant value 1 and the divergence ·u is close to 0.

### Example 7

Shear flow problem [3,10,16]

This example is used to verify numerically the AP property of the IMEX-ARS3 WCNS in the low Mach number limit. The computational domain is [0,2π]×[0,2π] with periodic boundary conditions and the pressure is set to p(ρ)=ρ1.4. Initially, a constant density and an incompressible velocity field are given by ρ(x,0)=π/15 and

$$\begin{array}{@{}rcl@{}} u(\mathbf{x},0)= \left\{\begin{array}{lll} \tanh((y-0.5\pi)/\rho),~~ y \le \pi, \\ \tanh((1.5\pi-y)/\rho),~~ otherwise, \end{array}\right. v(\mathbf{x},0)=0.05\sin(x). \end{array}$$
(68)

The time-step size is computed by (39) with CFL=0.2. The Mach number is ε=10−4 and the final time is Tf=10. Figure 6 demonstrates the discrete vorticity ω=vxuy on a mesh 50×50 at different times. From this figure, we see the vorticity quickly develops into roll-ups with smaller and smaller scales with the time evolution. Figure 7 shows the time history of the L1-norm error of the discrete divergence of the velocity ·u. It is observed that the L1-norm error increases with time, which is in agreement with the phenomenon in  and is caused by the appearance of the smaller and smaller scale structures in the shear flow. The maximum error is smaller than that obtained with a finer mesh in .

### Example 8

Kelvin-Helmholtz instability problem 

This problem is solved in the domain [0,2π]×[0,4π] with periodic boundary conditions. The pressure is p(ρ)=ρ2 and the initial data reads

$$\rho(\mathbf{x},0) =1,~~u(\mathbf{x},0)=\cos(y),~~v(\mathbf{x},0)=0.03\sin(0.5x).$$
(69)

The time-step size is computed by (39) with CFL=0.2. The Mach number is ε=10−3 and the final time is Tf=40. The discrete vorticity ω=vxuy on a mesh 50×50 at different times is depicted in Fig. 8, which shows the emergence and subsequent evolution of small scale flow features. The time history of the L1-norm error of the discrete divergence of the velocity ·u is shown in Fig. 9, from which we also observe that the L1-norm error increases with time and the maximum error is smaller than that obtained with a finer mesh in .

## Conclusions

In this work, we have designed a high order IMEX WCNS for the compressible-incompressible limit problems described as scaled isentropic Euler equations. Based on the acoustic/advection splitting strategy, the semi-implicit method combines the third-order IMEX-ARS3 scheme for the time integration with the fifth-order WCNS for the spatial discretization. The GSA IMEX-ARS3 scheme has been proven to be asymptotic preserving, i.e., it converges to a consistent scheme in the zero Mach number limit, and asymptotically stable under a convective CFL condition. The IMEX-ARS3 WCNS has been verified numerically that it can achieve a third-order temporal accuracy for different values of the Mach number, from compressible to incompressible regimes. Numerical results show that the IMEX-ARS3 WCNS with the AP property can capture shocks and contact discontinuities with high resolution in the compressible regime, while it can capture incompressible features in the imcompressible regime. The future work will focus on the implementation of the proof of the AP property of the fully discrete scheme and the extension to compressible Navier-Stokes flows at any Mach number.

## \thelikesection Appendix

This appendix is used to characterize the GSA and SA IMEX-ARSp schemes adopted in this paper.

The third-order GSA IMEX-RK3 scheme is characterized by

$$\mathbf{A}=\left[ \begin{array}{ccccc} 0 & 0 & 0 & 0 & 0 \\ 0 & 0.5 & 0 & 0 & 0 \\ 0 & 0.1666666666 & 0.5 & 0 & 0 \\ 0 & -0.5 & 0.5 & 0.5& 0 \\ 0 & 1.5 & -1.5 & 0.5& 0.5 \\ \end{array} \right],$$
$$\tilde{\mathbf{A}}=\left[ \begin{array}{ccccc} 0 & 0 & 0 & 0 & 0 \\ 0.5 & 0 & 0 & 0 & 0 \\ 0.6111111111 & 0.0555555555 & 0 & 0 & 0 \\ 0.8333333333 & -0.8333333333 & 0.5 & 0 & 0 \\ 0.25 & 1.75 & 0.75 & -1.75 & 0 \\ \end{array} \right],$$

and $$\mathbf {b}^{T}=(0, 1.5, -1.5, 0.5, 0.5), \tilde {\mathbf {b}}^{T}=(0.25, 1.75, 0.75, -1.75,0)$$. The third-order SA IMEX-RK3 scheme is characterized by

$$\mathbf{A}=\left[ \begin{array}{cccc} 0 & 0 & 0 & 0 \\ 0 &0.4358665215 & 0 & 0 \\ 0 & 0.2820667392 & 0.4358665215 & 0 \\ 0 & 1.2084966491 &-0.644363171 & 0.4358665215 \\ \end{array} \right],$$
$$\tilde{\mathbf{A}}=\left[ \begin{array}{cccc} 0 & 0 & 0 & 0 \\ 0.4358665215 &0 & 0 & 0 \\ 0.3212788860 &0.3966543747 & 0 & 0 \\ -0.1058582961 & 0.5529291480 & 0.5529291480 & 0 \\ \end{array} \right],$$

and $$\mathbf {b}^{T}=\tilde {\mathbf {b}}^{T}=(0,1.208496649,-0.644363171,0.4358665215)$$.

## Availability of data and materials

All data generated or analysed during this study are included in this published article.

## Abbreviations

WCNS:

Weighted compact nonlinear scheme

IMEX:

Implicit-explicit

CFL:

Courant-Friedrichs-Levy

AP:

Asymptotic-preserving

WENO:

Weighted essentially non-oscillatory

ODE:

Ordinary differential equation

RK:

Runge-Kutta

DIRK:

Diagonally implicit Runge-Kutta

GSA:

Globally stiffly accurate

SA:

Stiffly accurate

Newton-GMRES:

Newton-generalized minimum residual

MUSCL:

Monotone upstream-centered scheme for conservation laws

TVD-RK3:

Third-order total variation diminishing Runge-Kutta

## References

1. 1

Klainerman S, Majda A (1981) Singular limits of quasilinear hyperbolic systems with large parameters and the incompressible limit of compressible fluids. Commun Pure Appl Math 34:481–524.

2. 2

Klainerman S, Majda A (1982) Compressible and incompressible fluids. Commun Pure Appl Math 35:629–653.

3. 3

Boscarino S, Russo G, Scandurra L (2018) All Mach number second order semi-implicit scheme for the Euler equations of gas dynamics. J Sci Comput 77:850–884.

4. 4

Degond P, Tang M (2011) All speed scheme for the low Mach number limit of the isentropic Euler equations. Commun Comput Phys 10:1–31.

5. 5

Tang M (2012) Second order all speed method for the isentropic euler equations. Kinet Relat Models 5:155–184.

6. 6

Dimarco G, Vignal MH, Loubère R (2017) Study of a new asymptotic preserving scheme for the Euler system in the low Mach number limit. SIAM J Sci Comput 39:2099–2128.

7. 7

Li XS, Gu CW (2008) An all-speed roe-type scheme and its asymptotic analysis of low Mach number behaviour. J Comput Phys 227:5144–5159.

8. 8

Haack J, Jin S, Liu JG (2012) An all-speed asymptotic-preserving method for the isentropic Euler and Navier-Stokes equations. Commun Comput Phys 12:955–980.

9. 9

Cordier F, Degond P, Kumbaro A (2012) An asymptotic-preserving all speed scheme for the Euler and Navier-Stokes equations. J Comput Phys 231:5685–5704.

10. 10

Boscarino S, Qiu JM, Russo G, Xiong T (2019) A high order semi-implicit IMEX WENO scheme for the all-Mach isentropic Euler system. J Comput Phys 392:594–618.

11. 11

Goudon T, Llobell J, Minjeaud S (2020) An asymptotic preserving scheme on staggered grids for the barotropic Euler system in low Mach regimes. Numer Meth Part D E 36:1098–1128.

12. 12

Klein R (1995) Semi-implicit extension of a Godunov-type scheme based on low Mach number asymptotics I, One-dimensional flow. J Comput Phys 121:213–237.

13. 13

Noelle S, Bispen G, Arun KR, Lukacova-Medvidova M, Munz C-D (2014) A weakly asymptotic preserving low Mach number scheme for the Euler equations of gas dynamics. SIAM J Sci Comput 36:989–1024.

14. 14

Bispen G, Lukacova-Medvidova M, Yelash L (2017) Asymptotic preserving IMEX finite volume schemes for low Mach number Euler equations with gravitation. J Comput Phys 335:222–248.

15. 15

Zakerzadeh H, Noelle S (2018) A note on the stability of implicit-explicit flux-splittings for stiff systems of hyperbolic conservation laws. Commun Math Sci 16:1–15.

16. 16

Dimarco G, Loubere R, D. VM, Vignal MH (2018) Second order implicit-explicit total variation diminishing schemes for the Euler system in the low Mach regime. J Comput Phys 372:178–201.

17. 17

Jin S (1999) Efficient asymptotic-preserving (AP) schemes for some multiscale kinetic equations. SIAM J Sci Comput 21:441–454.

18. 18

Jin S (2012) Asymptotic preserving (AP) schemes for multiscale kinetic and hyperbolic equations: A review. Riv Mat Univ Parma 3:177–216.

19. 19

Arun KR, Samantaray S (2019) Asymptotic preserving and low Mach number accurate IMEX finite volume schemes for the Euler Equations. J Sci Comput 82:35–66.

20. 20

Tavelli M, Dumbser M (2017) A pressure-based semi-implicit space-time discontinuous Galerkin method on staggered unstructured meshes for the solution of the compressible Navier-Stokes equations at all Mach numbers. J Comput Phys 341:341–376.

21. 21

Deng XG, Zhang HX (2000) Developing high-order weighted compact nonlinear schemes. J Comput Phys 165:22–44.

22. 22

Zhang SH, Jiang S, Shu C-W (2008) Development of nonlinear weighted compact schemes with increasingly higher order accuracy. J Comput Phys 227:7294–7321.

23. 23

Nonomura T, Fujii K (2013) Robust explicit formulation of weighted compact nonlinear scheme. Comput Fluids 85:8–18.

24. 24

Liu XL, Zhang SH, Zhang HX, Shu C-W (2015) A new class of central compact schemes with spectral-like resolution II: hybrid weighted nonlinear schemes. J Comput Phys 284:133–154.

25. 25

Deng XG, Mao ML, Jiang Y, Liu HY (2011) New high-order hybrid cell-edge and cell-node weighted compact nonlinear schemes. AIAA 2011–3857:1–10.

26. 26

Yan Z-G, Liu HY, Ma YK, Mao ML, Deng XG (2017) Further improvement of weighted compact nonlinear scheme using compact nonlinear interpolation. Comput Fluids 156:135–145.

27. 27

Wong ML, Lele SK (2017) High-order localized dissipation weighted compact nonlinear scheme for shock- and interface-capturing in compressible flows. J Comput Phys 339:179–209.

28. 28

Lele SK (1992) Compact finite difference schemes with spectral-like resolution. J Comput Phys 103:16–42.

29. 29

Deng XG, Jiang Y, Mao ML, Liu HY, Li S, Tu GH (2015) A family of hybrid cell-edge and cell-node dissipative compact schemes satisfying geometric conservation law. Comput Fluids 116:29–45.

30. 30

Jiang GS, Shu C-W (1996) Efficient implementation of weighted ENO schemes. J Comput Phys 126:202–228.

31. 31

Henrick AK, Aslam TD, Powers JM (2005) Mapped weighted essentially nonoscillatory schemes: achieving optimal order near critical points. J Comput Phys 207:542–567.

32. 32

Borges R, Carmona M, Costa B, Don WS (2008) An improved weighted essentially non-oscillatory scheme for hyperbolic conservation laws. J Comput Phys 227:3191–3211.

33. 33

Liu SP, Shen YQ, Zeng FJ, Yu M (2018) A new weighting method for improving the WENO-Z scheme. Int J Numer Meth Fluids 87:271–291.

34. 34

Luo X, Wu SP (2019) An improved fifth-order WENO-Z+ scheme. Chinese J Theor App Mech 51:1927–1939.

35. 35

Hu FX (2017) The weighted ENO scheme based on the modified smoothness indicator. Comput Fluids 150:1–7.

36. 36

Zheng SC, Deng XG, Wang DF, Xie CH (2019) A parameter-free ε-adaptive algorithm for improving weighted compact nonlinear schemes. Int J Numer Meth Fluids 90:247–266.

37. 37

Ascher UM, Ruuth SJ, Spiteri RJ (1997) Implicit-explicit Runge-Kutta methods for time-dependent partial differential equations. Appl Numer Math 25:151–167.

38. 38

Kennedy CA, Carpenter MH (2003) Additive Runge-Kutta schemes for convection-diffusion-reaction equations. Appl Numer Math 44:139–181.

39. 39

Pareschi L, Russo G (2005) Implicit-explicit Runge-Kutta schemes and applications to hyperbolic systems with relaxation. J Sci Comput 25:129–155.

40. 40

Boscarino S (2007) Error analysis of IMEX Runge-Kutta methods derived from differential-algebraic systems. SIAM J Numer Anal 45:1600–1621.

41. 41

Boscarino S, Pareschi L, Russo G (2013) Implicit-explicit Runge-Kutta schemes for hyperbolic systems and kinetic equations in the diffusion limit. SIAM J Sci Comput 35:22–51.

42. 42

Kelley C (1995) Iterative methods for linear and nonlinear equations. Society for Industrial and Applied Mathematics, New Haven.

43. 43

Botti L (2015) A choice of forcing terms in inexact Newton iterations with application to pseudo-transient continuation for incompressible fluid flow computations. Appl Math Comput 266:713–737.

44. 44

van Leer B (1985) Upwind-difference methods for aerodynamic problems governed by the Euler equations. Lect Appl Math 22:327–335.

Not applicable.

## Funding

The present study is supported by the National Numerical Wind Tunnel Project (No. NNW2018-ZT4A08), the National Natural Science Foundation of China (Nos. 11872323 and 11971025) and the Natural Science Foundation of Fujian Province (No. 2019J06002)

## Author information

Authors

### Contributions

These authors contributed equally to this work. The author(s) read and approved the final manuscript.

### Corresponding author

Correspondence to Yanqun Jiang.

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests. 