Skip to main content


Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

Compact higher-order gas-kinetic schemes with spectral-like resolution for compressible flow simulations


In this paper, a class of compact higher-order gas-kinetic schemes (GKS) with spectral-like resolution will be presented. Based on the high-order gas evolution model, both the flux function and conservative flow variables in GKS can be evaluated explicitly from the time-accurate gas distribution function at a cell interface. As a result, inside each control volume both the cell-averaged flow variables and their cell-averaged gradients can be updated within each time step. The flow variable update and slope update are coming from the same physical solution at the cell interface. This strategy needs time accurate solution at a cell interface, which cannot be achieved by the Riemann problem based flow solvers, even though they can also provide the interface flux functions and interface flow variables. Instead, in order to update the slopes in the Riemann-solver based schemes, such as HWENO, there are additional governing equations for slopes or equivalent degrees of freedom inside each cell. In GKS, only a single time accurate gas evolution model is needed at the cell interface for updating cell averaged flow variables through interface fluxes and updating the cell averaged slopes through the interface flow variables. Based on both cell averaged values and their slopes, compact 6th-order and 8th-order linear and nonlinear reconstructions can be developed. As analyzed in this paper, the local linear compact reconstruction without limiter can achieve a spectral-like resolution at large wavenumber than the well-established compact scheme of Lele with globally coupled flow variables and their derivatives. For nonlinear gas dynamic evolution, in order to avoid spurious oscillation in discontinuous region, the above compact linear reconstruction from the symmetric stencil can be divided into sub-stencils and apply a biased nonlinear WENO-Z reconstruction. Consequently discontinuous solutions can be captured through the 6th-order and 8th-order compact WENO-type nonlinear reconstruction. In GKS, the time evolution solution of the gas distribution function at a cell interface is based on an integral solution of the kinetic model equation, which covers a physical process from an initial non-equilibrium state to a final equilibrium one. Since the initial non-equilibrium state is obtained based on the nonlinear WENO-Z reconstruction, and the equilibrium state is basically constructed from the linear symmetric reconstruction, the GKS evolution models unifies the nonlinear and linear reconstructions in a gas relaxation process in the determination of a time-dependent gas distribution function. This property gives GKS great advantages in capturing both discontinuous shock waves and the linear aero-acoustic waves in a single computation due to its dynamical adaptation of non-equilibrium and equilibrium states in different flow regions. This dynamically adaptive model helps to solve a long lasting problem in the development of high-order schemes about the choices of the linear and nonlinear reconstructions. Compared with discontinuous Galerkin (DG) scheme, the current compact GKS uses the same local and compact stencil, achieves the 6th-order and 8th-order accuracy, uses a much larger time step with CFL number ≥ 0.3, has the robustness as a 2nd-order scheme, and gets accurate solutions in both shock and smooth regions without introducing trouble cell and additional limiting process. The nonlinear reconstruction in the compact GKS is solely based on the WENO-Z technique. At the same time, the current scheme solves the Navier-Stokes equations automatically due to combined inviscid and viscous flux terms from a single time evolution gas distribution function at a cell interface. Due to the use of multi-stage multi-derivative (MSMD) time-stepping technique, for achieving a 4th-order time accuracy, the current scheme uses only two stages instead of four in the traditional Runge-Kutta method. As a result, the current GKS becomes much more efficient than the corresponding same order DG method. A variety of numerical tests are presented to validate the compact 6th and 8th-order GKS. The current scheme presents a state-of-art numerical solutions under a wide range of flow conditions, i.e., strong shock discontinuity, shear instability, aero-acoustic wave propagation, and NS solutions. It promotes the development of high-order scheme to a new level of maturity. The success of the current scheme crucially depends on the high-order gas evolution model, which cannot be achieved by any other approach once the 1st-order Riemann flux function is still used in the development of high-order numerical algorithms.


High-order methods with spectral resolutions and shock capturing capability are needed in many engineering applications, such as turbulent flows, aeroacoustics, and various complex flows with shock and boundary layer interactions. With the great potentials of the high-order methods in solution accuracy and computational efficiency, extensive effort has been paid on the development of high-order schemes in the past decades. However, the spectral accuracy and shock capturing seem to be contradictory in the current CFD algorithms, where the linear schemes for the smooth flow and nonlinear schemes for discontinuous flow play different roles under different flow conditions [1]. It seems hard to possess both properties in a single high-order method.

For smooth flows, the compact schemes [24] and discontinuous Galerkin methods (DG) or flux reconstruction (FR) [58] are very attractive. The compact finite difference scheme constructs implicit relation between flow variables and their derivatives from a compact stencil. Dispersion and dissipation properties of the scheme have been fully analyzed [2], and the scheme influences greatly on the development of linear schemes. The reason for designing compact scheme is its flexibility in complex geometries and effective parallelization. The DG has a second-order scheme stencil, but achieves high accuracy by using high-order piecewise polynomials within elements and evolving the multiple degrees of freedom (DOFs). Each element in DG only interacts with its neighboring elements and the scheme becomes very efficient for parallel computation [9]. Both compact and DG methods work successfully for smooth flows, and problems are still remained for flow simulation with shock discontinuity. Theoretically, compact scheme is physically sounded because under the CFL condition, the domain of dependence is indeed only related to the neighboring cells. All non-compact schemes must be associated with dynamical weakness because they seek for help from the cells far away which may not have any physical connection in terms of the wave propagating speed.

Nonlinear schemes have been designed for the flows with discontinuous shocks. The successful nonlinear schemes include total variation diminishing (TVD) [10], essentially non-oscillation (ENO) [11], and weighted ENO (WENO) [12, 13]. In past twenty years, the WENO-based methods have received the most attention among nonlinear schemes. The central ingredients in WENO scheme is to construct several low order polynomials and to design smoothness indicators to adaptively assemble them to get a higher one. Most current effort is about the selection of optimal stencil and the design of weighting functions. WENO scheme can achieve very high-order accuracy in the smooth region and maintain non-oscillatory property across shock waves [14]. But, their numerical dissipation is still very higher than the linear schemes [15, 16], and the modified WENO schemes, such as WENO-M and WENO-Z [17, 18], have been proposed recently. The hybrid linear and nonlinear schemes have been investigated as well [1921].

In the existing DG and WENO methods, the first-order Riemann flux plays a key role for the flow evolution of compressible flow. Recently, beyond the first-order Riemann solver, many schemes based on the time-dependent high-order (more than first-order) flux functions have been developed, such as the Lax-Wendroff method [22], the generalized Riemann problem (GRP) [2325], and ADER framework [26, 27]. An outstanding method is the two-stage fourth-order scheme for the Euler equations [28, 29], where both the flux and its time derivative are used in the construction of high-order scheme. Similar to the GRP method, the gas-kinetic scheme (GKS) is also based on the time accurate flux function at a cell interface [3032]. The flux evaluation in GKS is based on a time evolution solution of the kinetic model equation, which provides a physical process for the gas evolution from the initial non-equilibrium state to an equilibrium one. The comparison between GRP and GKS has been presented in [33]. Under the same the multi-stage multi-derivative (MSMD) framework, based on the WENO reconstruction a two-stage fourth-order (S2O4) GKS has been successfully developed for the Euler and Navier-Stokes equations [34, 35]. The robustness of the S2O4 GKS is as good as the second-order shock capturing scheme [36]. Due to the use of only two reconstructions in the 4th-order scheme, the GKS becomes very efficient in comparison with schemes based on the Runge-Kutta time stepping technique. Actually, the two-stage fourth-order method belongs to the MSMD framework in ODE region [37]. And it has been applied to the finite difference method and the DG method [38, 39] through the direct Lax-Wendroff procedure. By combining the second-order or third-order GKS fluxes and MSMD technique again, a family of higher-order gas-kinetic methods has been constructed [40].

The time dependent gas-distribution function in GKS at the cell interface provides not only the flux and its time derivative, but also time accurate flow variables at the cell interface. The design of compact GKS based on the cell averaged and cell interface values has been conducted [4144]. In this paper, we are going to develop a 6th-order and a 8th-order compact GKS in rectangular mesh for compressible flow simulations. The construction of the compact high-order schemes is based on the following ingredients. Firstly, the high-order gas evolution model at cell interface is used for the flux and flow variable evaluation. Consequently, the cell averaged flow variables and cell averaged slopes can be updated. Secondly, based on the time-dependent flux and its time derivative, the two-stage fourth-order MSMD technique is used for the 4th-order temporal accuracy. Thirdly, based on the flow variables and their slopes within each cell, compact nonlinear and linear 6th-order and 8th-order spatial reconstructions will be designed for the determination of the initial non-equilibrium state and the evolved equilibrium one. Based on the GKS evolution model, in the smooth flow region the linear reconstruction will be achieved quickly in the determination of interface gas distribution function, and the spectral-like resolution can be obtained. At the same time, in the discontinuous region the nonlinear reconstruction will persist in the determination of gas evolution due to the persistence of the non-equilibrium state, and the scheme becomes robust in capturing shock and discontinuous solutions. Since the gas evolution model in GKS is based on the physical process from the initial non-equilibrium state to the final equilibrium one, the nonlinear and linear reconstructions are naturally unified in a time evolution process with automatically identified non-equilibrium and equilibrium regions. As a result, both discontinuous shocks and smooth aeroacoustic waves can be accurately captured by the current compact 6th-order and 8th-order GKS in a single computation. The compact GKS provides the Navier-Stokes solutions directly. Even for the 6th-order and 8th-order accuracy, the current compact scheme can use a time step determined by the CFL condition with a large CFL number (≥0.5) in all test cases in this paper. The current 6th-order and 8th-order compact GKS take advantages of both nonlinear WENO-Z reconstruction for the introduction of numerical dissipation in discontinuous region and linear reconstruction with much reduced dissipation in resolving small amplitude waves. The current compact GKS are ideal schemes for the study of multiscale and complex flow interactions, such as the flow transition and turbulence.

The idea of using flow variables and their gradients has been investigated in finite volume or finite difference methods. The finite volume Hermite WENO (HWENO) schemes update both flow variables and their first derivative [4547]. The HWENO approach is also used in the hybrid schemes [48], and a monotonicity preserving strategy for detecting troubled zones is proposed. The HWENO schemes on unstructured grids have been extensively investigated [4951]. The HWENO approach needs additional limiters, same as the DG and reconstructed DG methods. The major advantage of these HWENO approaches is the compactness of stencils in the reconstructions. The current compact GKS is different from the HWENO approach is mainly on the update of gradients. In GKS, there is no explicit evolution equation for the gradients and the gradients are obtained rigorously from the evolution solutions at cell interfaces. Therefore, the gradients in GKS are not introduced as additional degrees of freedom with their own evolution equations. The cell-averaged gradients in GKS, similar to the cell averaged conservative variables, are obtained from the same gas distribution functions at cell interfaces. The robustness and improved resolution in GKS is due to the physically reliable gradients from the strong evolution solution of the original governing equation. In other words, the updated gradients in GKS are not coming from the “equations” by taking additional derivatives to the original ones, such as the HWENO and multi-layer compact (MLC) schemes [1]. In the HWENO and MLC, the gradients have their own evolution equations which are only reliable for the smooth flow, where new governing equations can be continuously created by taking spatial derivatives to the original equations.

This paper is organized as follows. The GKS and MSMD method will be introduced in Section 2. In Section 3, the compact linear and nonlinear 6th-order and 8th-order reconstructions will be presented. The dissipation and dispersion will be analyzed as well. In Section 4, the compact GKS will be tested in a wide range of flow problems from the strong shock interaction to the linear acoustic wave propagation. The last section is the conclusion.

Gas-kinetic scheme and multi-stage multi-derivative method

In the past years, the gas-kinetic scheme (GKS) has been developed systematically [30, 31]. The gas evolution model used in this paper for the flux and interface flow variable evaluation is almost identical to that of the fourth-order compact scheme [44]. Therefore, only a brief introduction about GKS will be presented in this section.

Gas-kinetic scheme

The gas kinetic evolution model in GKS is based on the BGK equation [52],

$$ f_{t}+\mathbf{u}\cdot\nabla f=\frac{g-f}{\tau}, $$

where f is the gas distribution function, g is the corresponding equilibrium state that f approaches, and τ is defined as the collision time. In two-dimensional case, the equilibrium state is the Maxwellian distribution

$$g=\rho\left(\frac{\lambda}{\pi}\right)^{\frac{K+2}{2}}e^{\lambda\left((u-U)^{2}+(v-V)^{2}+\xi^{2}\right)}, $$

where λ=m/2kT, and m,k,T represent the molecular mass, the Boltzmann constant, and temperature, K is the number of internal degrees of freedom, i.e. K=(4−2γ)/(γ−1) for two-dimensional flow, and γ is the specific heat ratio. ξ is the internal variable with \(\xi ^{2}=\xi ^{2}_{1}+\xi ^{2}_{2}+...+\xi ^{2}_{K}\). The collision term satisfies the following compatibility condition

$$ \int \frac{g-f}{\tau}\pmb{\psi} \mathrm{d}\Xi=0, $$

where \(\pmb {\psi }=(\psi _{1},\psi _{2},\psi _{3},\psi _{4})^{T}=\left (1,u,v,\frac {1}{2}\left (u^{2}+v^{2}+\xi ^{2}\right)\right)\), dΞ=dudvdξ1...dξK.

The macroscopic mass ρ, momentum (ρU,ρV), and energy ρE at a cell interface can be evaluated from the gas distribution function,

$$ {\mathbf{W}} = \left(\begin{array}{c} \rho\\ \rho U\\ \rho V\\ \rho E\\ \end{array} \right) =\int \pmb{\psi} f d\Xi, $$

and the flux in the x direction can be evaluated as well,

$$ {\mathbf{F}} =\int uf \pmb{\psi} d\Xi. $$

Therefore, the central point in GKS is to evaluate the time-dependent gas distribution function f at a cell interface.

By direct modeling on the mesh size scale [30], the conservations of mass, momentum and energy in a control volume become

$$ \frac{\mathrm{d}\mathbf{W}_{ij}}{\mathrm{d}t}=-\frac{1}{\Delta x} (\mathbf{F}_{i+1/2,j}(t)-\mathbf{F}_{i-1/2,j}(t))-\frac{1}{\Delta y} (\mathbf{G}_{i,j+1/2}(t)-\mathbf{G}_{i,j-1/2}(t)), $$

where Wij is the cell averaged conservative variables, Fi±1/2,j(t) and Gi,j±1/2(t) are the time dependent fluxes at cell interfaces in x and y directions. Like the traditional high-order finite volume scheme, the Gaussian quadrature points are used to get a high accuracy in the discretization of line integration of the flux. In this paper, three-points Gaussian quadrature will be used on each cell interface in the 2D case.

To model the interface gas distribution function, the integral solution of BGK Eq. 1 is used

$$ \begin{aligned} f(x_{i+1/2},y_{j_{\ell}},t,u,v,\xi)=&\frac{1}{\tau}\int_{0}^{t} g(x^{\prime},y^{\prime},t^{\prime},u,v,\xi)e^{-(t-t^{\prime})/\tau}dt^{\prime} \\ &+e^{-t/\tau}f_{0}(-ut,-vt,u,v,\xi), \end{aligned} $$

where \(\phantom {\dot {i}\!}(x_{i+1/2}, y_{j_{\ell }})=(0,0)\) is the location at cell interface for flux evaluation, and xi+1/2=x+u(tt) and \(y_{j_{\ell }}=y^{\prime }+v(t-t^{\prime })\) are the trajectory of particles. Here f0 is the initial gas distribution function and g is the equilibrium state in space and time. The integral solution basically states a physical process from the particle free transport in f0 in the kinetic scale to the hydrodynamic flow evolution in the integral term of g. The contributions from f0 and g in the determination of f at the cell interface depend on the ratio of time step to the local particle collision time, i.e., exp(−t/τ), and the modeling of f0 and g in space and time is needed to evaluate the solution f from Eq. (6). For the continuum flow simulation, such as the NS solutions, the determination of f0 and g depend only on the macroscopic flow variables and their initial reconstructions. In this paper, the WENO-Z method will be used as a nonlinear reconstruction in the determination of f0, and the linear reconstruction is adopted in the determination of g. Therefore, the above integral solution not only incorporates a physical evolution process from non-equilibrium to an equilibrium state, but alo from a nonlinear reconstruction to a linear one. This fact is crucially important for the current scheme to capture both nonlinear shock and linear acoustic wave accurately in a single computation.

Based on the integral solution, a simplified third-order gas distribution function can be obtained as [53]

$$\begin{array}{*{20}l} f(x_{i+1/2},y_{j_{\ell}},t,u,v,\xi)&=g_{0}+{\overline{A}} g_{0}t+\frac{1}{2}\overline{a}_{tt}g_{0}t^{2}\\ &-\tau[(\overline{a}_{1}u+\overline{a}_{2}v+\overline{A})g_{0}+(\overline{a}_{xt}u+\overline{a}_{yt}v+\overline{a}_{tt})g_{0}t]\\ &-e^{-t/\tau}g_{0}[1-(\overline{a}_{1}u+\overline{a}_{2}v)t]\\ &+e^{-t/\tau}g_{l}[1-(a_{1l}u+a_{2l}v)t]H(u)\\ &+e^{-t/\tau}g_{r}[1-(a_{1r}u+a_{2r}v)t](1-H(u)), \end{array} $$

where the terms related to g0 are from the integral of the equilibrium state and the terms related to gl and gr are from the initial term f0 in the Eq.(6). All other terms, such as \(\overline {A}, \overline {a}_{tt}, \overline {a},...\), are coming from the derivatives of a Maxwellian distribution. All these coefficient in the above equation can be determined from the initially reconstructed macroscopic flow variables.

Multi-stage multi-derivative time stepping method

We choose the two-stage fourth-order method [28, 38] in the current work to achieve a fourth-order temporal accuracy. The scheme is both efficient and robust. Since the above time accurate gas distribution function at a cell interface is a complicated function of time in the non-smooth region, the treatment proposed in [28, 34] is used to extract the linearized flux function in time. The same idea could be used to obtain the numerical time derivative of the interface value [44] and is again used here. Theoretically, the higher-order MSMD methods could be chosen to achieve higher-order temporal accuracy [54], while the fourth-order method in time seems accurate enough in the present study.

For conservation laws, the semi-discrete finite volume scheme Eq.(5) is rewritten as

$$\begin{array}{*{20}l} \frac{\mathrm{d} \mathbf{W}_{ij}}{\mathrm{d} t}:=\mathcal{L}(\mathbf{W}_{ij}), \end{array} $$

where \(\mathcal {L}(\mathbf {W}_{ij})\) is the numerical operator for spatial derivative of flux.

A fourth-order temporal accurate solution for W(t) at t=tn+Δt can be obtained by

$$ \begin{aligned} \mathbf{W}^{*}&=\mathbf{W}^{n}+\frac{1}{2}\Delta t\mathcal {L}(\mathbf{W}^{n})+\frac{1}{8}\Delta t^{2}\frac{\partial}{\partial t}\mathcal{L}(\mathbf{W}^{n}),\\ \mathbf{W}^{n+1}&=\mathbf{W}^{n}+\Delta t\mathcal {L}(\mathbf{W}^{n})+\frac{1}{6}\Delta t^{2}\left(\frac{\partial}{\partial t}\mathcal{L}(\mathbf{W}^{n})+2\frac{\partial}{\partial t}\mathcal{L}(\mathbf{W}^{*})\right), \end{aligned} $$

where \(\mathcal {L} \) and \(\frac {\partial }{\partial t}\mathcal {L} \) are related to the fluxes and the time derivatives of the fluxes evaluated from the time-dependent gas distribution function f(t) at cell interfaces. And the middle state W is obtained at time t=tn+Δt/2. Again, with the time accurate gas distribution function f(t), along the same line with MSMD technique the gas distribution function f at a cell interface at tn+1 becomes

$$\begin{array}{*{20}l} f^{n+1}=& f^{n} +\Delta t f_{t}^{n} + \frac{1}{6}\Delta t^{2}\left(f_{tt}^{n} + 2 f_{tt}^{*}\right), \end{array} $$

where f is for the middle state at time t=tn+Δt/2,

$$f^{*} = f^{n} + \frac{1}{2} \Delta t f_{t}^{n} + \frac{1}{8} (\Delta t)^{2} f_{tt}^{n}.$$

Therefore, based on the cell interface \( f_{i+1/2}^{n+1} \), the flow variables \(\mathbf {W}_{i+1/2}^{n+1}\) can be explicitly obtained, i.e., \(\mathbf {W}_{i+1/2}^{n+1} = \int \pmb {\psi } f_{i+1/2}^{n+1} d \Xi \), from which the slope inside each cell, such as in the 1D case, can be updated as

$$(\mathbf{W}_{x})_{i}^{n+1} = \left(\mathbf{W}_{i+1/2}^{n+1} - \mathbf{W}_{i-1/2}^{n+1}\right)/(x_{i+1/2}-x_{i-1/2}).$$

More detailed formulation for the above GKS part can be found in [44].

Compact WENO reconstruction

In the classical high-order finite volume method [11, 12], the pointwise value is reconstructed based on cell averages, and the Riemann solver is used for the flux evaluation at the interface. However, for the gas kinetic scheme, as presented in the Section 2 the cell-averaged conservative flow variables and cell-averaged slopes inside each cell can be updated. Based on these updated data, a 6th-order and a 8th-order compact linear and nonlinear reconstruction will be designed consistently in this section, which can be subsequently used in the determination of equilibrium state and initial non-equilibrium one in the gas kinetic scheme.

Compact linear reconstruction

In the Section 2, the conservative variables Wi+1/2 is provided by taking moments of the gas distribution function at the cell interface. The averaged slope in the cell Ii can be obtained by the Gaussian formula

$$\begin{array}{*{20}l} \mathbf{W}^{\prime}_{i}=\frac{1}{\Delta x}\int_{I_{i}}\frac{\partial \mathbf{W}}{\partial x}\mathrm{d}x=\frac{1}{\Delta x}(\mathbf{W}_{i+1/2}-\mathbf{W}_{i-1/2}), \end{array} $$

where \(\mathbf {W}^{\prime }_{i}\) is the cell averaged slope in the cell Ii.

By taking advantage of the cell averaged variables and their slopes, the compact stencil Si+1/2={Ii−1,Ii,Ii+1,Ii+2} shown in Fig. 1 will be used for the reconstruction of the value at the cell interface xi+1/2. On each cell Ii, the components (i.e. components of conservative or characteristic variables) of cell averages and their slopes are denoted as Qi and \(Q^{\prime }_{i}\). Based on the large stencil Si+1/2, a series of high-order polynomials can be constructed as

$$\begin{array}{*{20}l} P^{n}(x)\equiv\sum_{k=0}^{n} c_{k}x^{k}, \end{array} $$
Fig. 1

The large stencil for compact reconstruction of the value at the interface xi+1/2. The circles represent cell averages, and the gradients represent averaged slopes

where n is the order of the polynomial and n=5,7 correspond to the 6th-order and 8th-order schemes, respectively.

The polynomial P7(x) can be uniquely determined with the condition

$$ \begin{aligned} &\frac{1}{\Delta x}\int_{I_{k}}P^{7}(x)\mathrm{d}x=Q_{k}, \\ &\frac{1}{\Delta x}\int_{I_{k}}\left(dP^{7}(x)/dx\right)\mathrm{d}x=Q^{\prime}_{k}, I_{k}\in S_{i+1/2}, k=i-1,\cdots,i+2. \end{aligned} $$

In order to determine the P5(x), the above condition has to be modified. For the cells Ii and Ii+1, the following equations are strictly enforced

$$ \begin{aligned} &\frac{1}{\Delta x}\int_{I_{k}}P^{5}(x)\mathrm{d}x=Q_{k}, \\ &\frac{1}{\Delta x}\int_{I_{k}}(dP^{5}(x)/dx)\mathrm{d}x=Q^{\prime}_{k}, I_{k}\in S_{i+1/2}, k=i,i+1, \end{aligned} $$

and for the cells Ii−1 and Ii+2 the following conditions are satisfied in the sense of the least square

$$ \begin{aligned} &\frac{1}{\Delta x}\int_{I_{k}}P^{5}(x)\mathrm{d}x = Q_{k}, \\ & \frac{1}{\Delta x} \int_{I_{k}}(dP^{5}(x)/dx)\mathrm{d}x = Q^{\prime}_{k}, I_{k}\in S_{i+1/2}, k=i-1,i+2. \end{aligned} $$

Thus the linear reconstruction Pn(xi+1/2) at the cell interface x=xi+1/2 can be written as

$$ \begin{aligned} P^{5}(x_{i+1/2})=\frac{1}{600}(&Q_{i-1}+299Q_{i}+299Q_{i+1}+Q_{i+2}- \\ &3\Delta xQ^{\prime}_{i-1}+111\Delta xQ^{\prime}_{i}-111\Delta xQ^{\prime}_{i+1}+3\Delta xQ^{\prime}_{i+2}), \end{aligned} $$
$$ \begin{aligned} P^{7}(x_{i+1/2})=\frac{1}{420}(&25Q_{i-1}+185Q_{i}+185Q_{i+1}+25Q_{i+2}+ \\ &6\Delta xQ^{\prime}_{i-1}+102\Delta xQ^{\prime}_{i}-102\Delta xQ^{\prime}_{i+1}-6\Delta xQ^{\prime}_{i+2}), \end{aligned} $$

where Pn(xi+1/2) has the truncation error of O(Δxn+1). The first-order and second-order derivatives of the linear reconstruction at the cell interface can be obtained from Pn(x),

$$ \begin{aligned} P^{5}_{x}(x_{i+1/2}) =\frac{1}{1560\Delta x}(&-3Q_{i-1}-3411Q_{i}+3411Q_{i+1}+3Q_{i+2}+ \\ &11\Delta xQ^{\prime}_{i-1}-941\Delta xQ^{\prime}_{i}-941\Delta xQ^{\prime}_{i+1}+11\Delta xQ^{\prime}_{i+2}), \\ P^{5}_{xx}(x_{i+1/2})=\frac{1}{40\Delta x^{2}}(&-Q_{i-1}+Q_{i}+Q_{i+1}-Q_{i+2}+ \\ &3\Delta xQ^{\prime}_{i-1}-51\Delta xQ^{\prime}_{i}+51\Delta xQ^{\prime}_{i+1}-3\Delta xQ^{\prime}_{i+2}), \end{aligned} $$
$$ \begin{aligned} P^{7}_{x}(x_{i+1/2}) =\frac{1}{108\Delta x}(&-14Q_{i-1}-270Q_{i}+270Q_{i+1}+14Q_{i+2}- \\ &3\Delta xQ^{\prime}_{i-1}-99\Delta xQ^{\prime}_{i}-99\Delta xQ^{\prime}_{i+1}-3\Delta xQ^{\prime}_{i+2}),\\ P^{7}_{xx}(x_{i+1/2})=\frac{1}{4\Delta x^{2}}(&-4Q_{i-1}+4Q_{i}+4Q_{i+1}-4Q_{i+2}- \\ &\Delta xQ^{\prime}_{i-1}-9\Delta xQ^{\prime}_{i}+9\Delta xQ^{\prime}_{i+1}+\Delta xQ^{\prime}_{i+2}). \end{aligned} $$

In order to eliminate the spurious oscillation and improve the stability, the above reconstruction is based on the characteristic variables. The dimension-by-dimension strategy is applied for the reconstruction in the two-dimensional case. The above compact reconstruction is mainly used to determine the equilibrium state in the normal direction in the gas kinetic scheme. Due to multi-dimensionality in the GKS evolution model, in the tangential direction a linear 5th-order reconstruction is used in both 6th-order and 8th-order schemes. The above linear reconstruction is used to determine the equilibrium state in GKS. In the reconstruction of the initial non-equilibrium state, the WENO-based compact nonlinear reconstruction will be designed in later subsection.

Resolution analysis

In this section, the resolution analysis of the above compact spatial reconstruction will be presented. The linear scalar advection equation is used for the resolution analysis,

$$\begin{array}{*{20}l} Q_{t}=-{CQ}_{x}, \end{array} $$

where C is a constant. The integral form on the cell Ii becomes

$$\begin{array}{*{20}l} (Q_{i})_{t}=-C(Q_{i})_{x}, \end{array} $$

where Qi is the cell averaged Q(x) in the cell Ii.

Remark 1

In order to make Fourier expansion for the cell averages Qi, a continuous function \(\overline {Q}(x)\) is introduced [11] as follows.

$$ \overline{Q}(x)=\frac{1}{\Delta x}\int_{x-\Delta x/2}^{x+\Delta x/2}Q(x+y)dy. $$

Thus the cell average Qi becomes the value of the continuous function \(\overline Q(x)\) at cell center xi.

In order to analyse the resolution of spatial discretization in the current compact schemes, we can compare the Fourier coefficients of the derivative given by the spatial discretization with the Fourier coefficients of exact derivative. Using the reconstructed value at the cell interface, the spatial discretization of (Qi)x in Eq. (19) becomes

$$ \begin{aligned} (Q_{i})_{x}^{6th}=\frac{1}{600\Delta x}(&298(Q_{i+1}-Q_{i-1})+(Q_{i+2}-Q_{i-2})- \\ &114\Delta x\left(Q^{\prime}_{i+1}+Q^{\prime}_{i-1}\right)+3\Delta x\left(Q^{\prime}_{i+2}+Q^{\prime}_{i-2}\right)+222\Delta xQ^{\prime}_{i}), \end{aligned} $$
$$ \begin{aligned} (Q_{i})_{x}^{8th}=\frac{1}{420\Delta x}(&160(Q_{i+1}-Q_{i-1})+25(Q_{i+2}-Q_{i-2})- \\ &96\Delta x\left(Q^{\prime}_{i+1}+Q^{\prime}_{i-1}\right)-6\Delta x\left(Q^{\prime}_{i+2}+Q^{\prime}_{i-2}\right)+204\Delta xQ^{\prime}_{i}). \end{aligned} $$

For the purpose of Fourier analysis, the function \(\overline Q(x)\) is assumed to be periodic over the domain [0,L], and \(\overline Q(x)\) can be decomposed into its Fourier coefficients

$$\overline{Q}(x)=\sum_{k=0}^{k=N/2}c_{k} e^{\left(\frac{2\pi ikx}{L}\right)}. $$

It is convenient to introduce new variables ω=2πkΔx/L=2πk/N and s=x/Δx [2]. Then the Fourier expansion can be written as

$$ \overline{Q}(x)=\sum_{k=0}^{k=N/2}c_{k} e^{i\omega(k)s}, $$

and the first-order derivative of \(\overline {Q}(x)\) is

$$ \overline{Q}^{\prime}(x)=\sum_{k=0}^{k=N/2}c_{k}\frac{i\omega}{\Delta x} e^{iw(k)s}=\sum_{k=0}^{k=N/2}c^{\prime}_{k} e^{i\omega(k)s}, $$

where \(c^{\prime }_{k}=c_{k}\frac {i\omega }{\Delta x}\). Here we have two further remarks for Eq. (24). Firstly, \(Q^{\prime }_{i}\) is the value of the function \(\overline {Q}^{\prime }(x)\) at cell center xi. Secondly, in the compact GKS, the derivative \(Q^{\prime }_{i}\) in the RHS of Eqs. (21) and (22) is the independent variables explicitly evaluated from the time-accurate gas distribution function, which is essentially different from some other compact schemes, such as the compact schemes in [2, 4, 55]. Thus the Fourier expansion of \(\overline {Q}^{\prime }(x)\) can be given theoretically if Eq. (23) is defined for the analytical solution. Suppose the numerical solution given by the compact schemes can be written as

$$\overline{Q}_{h}(x)=\sum_{k=0}^{k=N/2}\hat{c}_{k} e^{i\omega(k)s}, \quad \overline{Q}_{h}^{\prime}(x)=\sum_{k=0}^{k=N/2}\hat{c}^{\prime}_{k} e^{i\omega(k)s}. $$

Substituting the average value in Eqs. (21) and (22) with the form of Fourier expansion, we get \(\hat {c}^{\prime }_{k}=i\omega ^{\prime,rth}c_{k}\), and the ω′,rth is

$$ \omega^{\prime,6th}(\omega)=\frac{1}{300}(298 \sin(\omega) + \sin(2\omega)- 114 \omega \cos(\omega) + 3 \omega \cos(2\omega) + 111\omega), $$
$$ \omega^{\prime,8th}(\omega)=\frac{1}{210}(160 \sin(\omega) + 25 \sin(2\omega)-96 \omega \cos(\omega) -6 \omega \cos(2\omega)+102\omega), $$

where ω′,rth is the modified wavenumber corresponding to the rth-order spatial discretization. In addition to the modified wavenumber, the error in the phase speed can be alternatively used to evaluate the dispersive error. For the linear advection equation, the phase speed for a wavenumber ω is given by the current spatial discretization (exact time advancement is assumed) as

$$ (c_{p})_{h}=\omega^{\prime}(\omega)/\omega. $$

The comparison of the dispersion characteristics of the current compact GKS with the compact schemes by Lele [2] is shown in Fig. 2. The traditional compact schemes use only the node values [2] or cell averages [55] as independent values in spatial discretization, and the curves of modified wavenumber and phase speed in the range ω(π/2,π) deviate greatly from the curves corresponding to the analytical solution. Therefore, these schemes have poor resolution for the wave with ω(π/2,π), because the wavenumber range (π>ω>π/2) corresponds to the wavelength (2Δx,4Δx), and such wave cannot be well determined by the cell averages (or point values) alone with less than four points in a wavelength. However, the compact GKS can retain a good resolution because of the use of slopes in each cell, and these slopes are evaluated from the gas evolution solutions at the cell interfaces which are independent from the cell averaged values. In the traditional compact schemes by Lele, the node values and derivatives are not fully independent. The coupling increases the error since the node values cannot resolve high wavenumber solution at all. As an example, we test the schemes for the initial condition (ρ,U,p)=(1+0.2 sin(2πx),1,1) in a computational domain [0,2]. The results of linear density wave at t=1 with meshes Δx=1/2 and Δx=1/4 are shown in Fig. 3. These results demonstrate that the current compact schemes have favorable resolution in comparison with the non-compact WENO-7th-order scheme with linear reconstruction and GKS flux.

Fig. 2

Plots of modified wavenumber and phase speed vs wavenumber for different schemes. cs-6th is the compact 6th-order tridiagonal scheme studied by Lele [2], and the scheme has the best resolution in the series of 6th-order scheme; cs-8th is the compact 8th-order pentadiagonal scheme [2], and the cs-8th uses the same formula Eq. (22) in spatial discretization as the compact 8th-order GKS

Fig. 3

Limit resolution for linear wave: Results of WENO-7th scheme with linear reconstruction and GKS flux, linear compact 6th-order and 8th-order schemes on the meshes with Δx=1/2 and Δx=1/4 at t=1. Since there are only two points for each wavelength on the left figure, the real "exact" solution should be averaged over half wave length as well

WENO reconstruction

In gas dynamics, shock and contact discontinuities can appear. To deal with discontinuities, WENO reconstruction [12, 13] can be used. In Section 3.1, the linear reconstruction gives a unique reconstructed value and its slope at the cell interface. However, in order to capture the possible discontinuity at a cell interface, the values at the left and right sides of the cell interface have to be valuated separately. Therefore, for the nonlinear reconstruction the sub-stencils have to be defined first. For simplicity, the WENO reconstruction procedure is given in detail for the construction of the left side value of the cell interface x=xi+1/2. The procedure for the right side value can be obtained similarly according to the symmetric property, which will be omitted here. The left side value by WENO reconstruction is given by the candidate polynomials as follows

$$\begin{array}{*{20}l} Q^{n}_{i+1/2}=\sum_{k=0}^{l_{n}}\delta^{n}_{k}q^{n}_{k,i+1/2},~n=6,8, \end{array} $$

where \(Q^{n}_{i+1/2}\) is the nth−order WENO reconstruction for the left value of the cell interface xi+1/2, ln is the number of candidate polynomials, \(\delta ^{n}_{k}\) is the WENO weight, and \(q^{n}_{k,i+1/2}\) is the point value of the candidate polynomial \(q^{n}_{k}(x)\) at xi+1/2. In the later presentation, the sets of candidate polynomials \(q^{n}_{k}(x)\) are the same for different nth−order scheme, such as n=6 and 8, so the superscript is omitted for simplicity.

In the current compact WENO reconstruction, three principles are considered. Firstly, if a discontinuity is located at one of the cell interfaces, theoretically the point-wise value at the interface cannot be reliable to determine the cell averaged slope on the left and right side cells. Secondly, because the smooth sub-stencils can play a dominant role in dealing with discontinuities appearing in the large stencil, the averaged slope used in the sub-stencil should be possibly away from the interface for the data reconstruction in order to make the sub-stencil sufficiently smooth. Thirdly, the order of the candidate polynomial can be higher without increasing the spatial size of sub-stencils in the compact schemes, and such higher-order candidate polynomials can achieve better resolution to solve discontinuities without spurious oscillation. Based on the above principles, the following sub-stencils are designed (Fig. 4), where the 6th-order and 8th-order reconstructions are based on the same sub-stencils,

$$\begin{array}{*{20}l} S_{0}&=\left\{Q_{i-1},Q_{i},Q^{\prime}_{i-1}\right\} \leftrightarrow q_{0}(x), \\ S_{1}&=\left\{Q_{i-1},Q_{i},Q_{i+1}\right\} \leftrightarrow q_{1}(x), \\ S_{2}&=\left\{Q_{i},Q_{i+1},Q_{i+2},Q^{\prime}_{i+2}\right\} \leftrightarrow q_{2}(x), \\ S_{3}&=\left\{Q_{i-1},Q_{i},Q_{i+1}\right\} \leftrightarrow q_{3}(x), \\ S_{4}&=\left\{Q_{i},Q_{i+1},Q_{i+2}\right\} \leftrightarrow q_{4}(x), \\ S_{5}&=\left\{Q_{i-1},Q_{i},Q_{i+1},Q^{\prime}_{i-1},Q^{\prime}_{i}\right\} \leftrightarrow q_{5}(x), \\ S_{6}&=\left\{Q_{i},Q_{i+1},Q_{i+2},Q^{\prime}_{i+1},Q^{\prime}_{i+2}\right\} \leftrightarrow q_{6}(x). \end{array} $$
Fig. 4

Sub-stencils in the reconstruction for left side value of the cell interface xi+1/2 in the compact 6th-order and 8th-order reconstruction: the circles represent cell averages, and the gradients represent cell averaged slopes

q2(x) is a cubic polynomial, q5(x) and q6(x) are fourth-order polynomials, and others are quadratic polynomials. According to the similar reconstruction conditions in Eq. (11), qk,i+1/2 can be obtained as

$$ \left\{\begin{aligned} q_{0,i+1/2}&=\frac{1}{6}\left(-7Q_{i-1}+13Q_{i}-4hQ^{\prime}_{i-1}\right), \\ q_{1,i+1/2}&=\frac{1}{6}\left(-Q_{i-1}+5Q_{i}+2Q_{i+1}\right), \\ q_{2,i+1/2}&=\frac{1}{24}\left(5Q_{i}+32Q_{i+1}-13Q_{i+2}+6hQ^{\prime}_{i+2}\right), \\ q_{3,i+1/2}&=\frac{1}{6}\left(-Q_{i-1}+5Q_{i}+2Q_{i+1}\right),\\ q_{4,i+1/2}&=\frac{1}{6}\left(2Q_{i}+5Q_{i+1}-Q_{i+2}\right),\\ q_{5,i+1/2}&=\frac{1}{30}\left(10Q_{i-1}+19Q_{i}+Q_{i+1}+3hQ^{\prime}_{i-1}+21hQ^{\prime}_{i}\right),\\ q_{6,i+1/2}&=\frac{1}{30}\left(Q_{i}+19Q_{i+1}+10Q_{i+2}-21hQ^{\prime}_{i+1}-3hQ^{\prime}_{i+2}\right). \end{aligned}\right. $$

In the smooth region, the convex combination with \(\delta ^{n}_{k}=d^{n}_{k}\) recovers the reconstruction in Eqs. (14) and (15), which can be the condition to get the linear weights [13]. The linear weight \(d^{6}_{k}\) of the 6th-order reconstruction can be obtained as

$$\begin{array}{*{20}l} d^{6}_{0}&=\frac{33}{700},~d^{6}_{1}=\frac{11}{140},~d^{6}_{2}=\frac{22}{175},~d^{6}_{3}=\frac{11}{100}, ~d^{6}_{4}=\frac{11}{100},~d^{6}_{5}=\frac{37}{140},~d^{6}_{6}=\frac{37}{140}, \end{array} $$

and the \(d^{8}_{k}\) of 8th-order reconstruction are

$$\begin{array}{*{20}l} d^{8}_{0}&=\frac{3}{98},~d^{8}_{1}=\frac{5}{98},~d^{8}_{2}=\frac{4}{49},~d^{8}_{3}=\frac{7}{98}~d^{8}_{4} =\frac{7}{98},~d^{8}_{5}=\frac{17}{49},~d^{8}_{6}=\frac{17}{49}. \end{array} $$

The WENO-Z nonlinear weights are used in the current compact schemes and they are defined as [18]

$$ \delta^{n}_{k}=\frac{\alpha^{n}_{k}}{\sum_{m=0}^{l_{n}}\alpha^{n}_{m}}, ~~\alpha^{n}_{k}=d^{n}_{k}\left[1+\left(\frac{Z_{ref}^{n}}{\beta_{k}+\epsilon}\right)\right],~~k=0,...,l_{n}, $$

where \(Z_{ref}^{n}\) is the local higher-order reference value, which is related to the accuracy of the scheme and is given in detail later. Here βk is the smooth indicator and defined as [13]

$$ \beta_{k}=\sum_{r=1}^{r_{k}}\Delta x^{2r-1}\int_{x_{i-1/2}}^{x_{i}+1/2}\left(\frac{\mathrm{d}^{r}}{\mathrm{d}x^{r}}q_{k}(x)\right)^{2}dx, $$

where rk is the order of qk(x).

In smooth region, the first two candidate polynomial q0(x) and q1(x) can be combined into a cubic polynomial which is symmetric counterpart of q2(x). Then, current sub-stencils can become basically symmetric for interface xi+1/2. In order to maintain the symmetry for the nonlinear schemes, the smooth indicator β1 of q1(x) corresponding to S1 is replaced by the indicator of the cubic polynomial \(\widetilde {q}_{1}(x)\) on \(\widetilde {S}_{1}=\{Q_{i-1},Q_{i},Q_{i+1},Q^{\prime }_{i-1}\}\). Even without showing in this paper, some tests demonstrate that the current choice β1 can present a better resolution in the numerical results with excellent robustness. The detailed formulae for all βk, k=0,...,ln are given in Appendix.

Accuracy of the compact reconstruction

In this subsection, the accuracy of the compact reconstruction is analysed. The nonlinear reconstruction in Eq. (28) can be rewritten as

$$\begin{array}{*{20}l} Q^{n}_{i+1/2}=&\sum_{k=0}^{l_{n}}d^{n}_{k}q_{k,i+1/2}+ \sum_{k=0}^{l_{n}}\left(\delta^{n}_{k}-d^{n}_{k}\right)q_{k,i+1/2}. \end{array} $$

The reconstruction can be split into two terms [17], i.e., the linear term and nonlinear term. For the linear part \(Q^{n,opt}_{i+1/2}\equiv \sum _{k=0}^{l_{n}}d^{n}_{k}q_{k,i+1/2}\), the error can be given as

$$\begin{array}{*{20}l} Q^{n,opt}_{i+1/2}-Q(x_{i+1/2})=B^{n}(x_{i+1/2})\Delta x^{n}+O\left(\Delta x^{n+1}\right), \end{array} $$

where Q(xi+1/2) is the exact value at x=xi+1/2. In the second term in Eq. (32), the point value qk,i+1/2 approximates Q(xi+1/2) as follows

$$\begin{array}{*{20}l} q_{k,i+1/2}=Q(x_{i+1/2})+B_{k}(x_{i+1/2})\Delta x^{r_{k}}+O\left(\Delta x^{r_{k}+1}\right). \end{array} $$

Substituting qk,i+1/2 into Eq. (32) and taking \(\sum _{k=0}^{l_{n}}\delta ^{n}_{k}=\sum _{k=0}^{l_{n}}d^{n}_{k}=1\) into account, we have

$$\begin{array}{*{20}l} Q^{n}_{i+1/2}&=Q^{n,opt}_{i+1/2} + \sum_{k=0}^{l_{n}}\left(\delta^{n}_{k}-d^{n}_{k}\right)\left(Q(x_{i+1/2})+B_{k}(x_{i+1/2})\Delta x^{r_{k}}+O\left(\Delta x^{r_{k}+1}\right)\right) \\ &=Q^{n,opt}_{i+1/2}+\sum_{k=0}^{l_{n}}B_{k}(x_{i+1/2})\left(\delta^{n}_{k}-d^{n}_{k}\right)\Delta x^{r_{k}} +\sum_{k=0}^{l_{n}}\left(\delta^{n}_{k}-d^{n}_{k}\right)O\left(\Delta x^{r_{k}+1}\right). \end{array} $$

To achieve the formal order of accuracy for the 6th-order and 8th-order reconstructions, the following sufficient condition is proposed.

$$\begin{array}{*{20}l} \delta^{n}_{k}-d^{n}_{k}=O\left(\Delta x^{n-3+n{\prime}}\right),~ n^{\prime}\geq 0. \end{array} $$

For the current nonlinear weights with WENO-Z weighting functions, with the following formulation of the local higher-order reference value \(Z_{ref}^{n}\), the sufficient condition Eq. (33) can be satisfied when

$$\begin{array}{*{20}l} Z_{ref}^{n}=\left|3(\beta_{0}-\beta_{4}) + (\beta_{4}-\beta_{3})\right|. \end{array} $$

In order to prove that the sufficient condition can be met, according to the Taylor series of βk, k=0,3,4,

$${}\begin{aligned} \beta_{0}=&\left(\left(Q_{i}^{(1)}\right)^{2} + \frac{13}{12}\left(Q^{(2)}_{i}\Delta x\right)^{2}\right)\Delta x^{2} - \frac{1}{3}Q_{i}^{(1)}Q_{i}^{(3)}\Delta x^{4} + J_{0}\left(Q_{i}^{(l)},\Delta x\right)\Delta x^{5}, \\ \beta_{3}=&\left(\left(Q_{i}^{(1)}\right)^{2} + \frac{13}{12}\left(Q^{(2)}_{i}\Delta x\right)^{2}\right)\Delta x^{2} + \frac{1}{3}Q_{i}^{(1)}Q_{i}^{(3)}\Delta x^{4} + J_{3}\left(Q_{i}^{(l)},\Delta x\right)\Delta x^{5}, \\ \beta_{4}=&\left(\left(Q_{i}^{(1)}\right)^{2} + \frac{13}{12}\left(Q^{(2)}_{i}\Delta x\right)^{2}\right)\Delta x^{2} - \frac{2}{3}Q_{i}^{(1)}Q_{i}^{(3)}\Delta x^{4} + J_{4}\left(Q_{i}^{(l)},\Delta x\right)\Delta x^{5}, l=1,2,\cdots\\ \end{aligned} $$

we have

$$\begin{array}{*{20}l} Z_{ref}^{n}=\left| 3J_{0} -J_{3} - 2J_{4} \right|\Delta x^{5}, \end{array} $$

where J0,J3 and J4 are the functions of the Taylor expanded terms of \(\overline {Q}(x)\) as \(\overline {Q}(x)\) is always continuous. Suppose O(Jk)O(1), the sufficient condition Eq. (33) is satisfied by

$$\begin{array}{*{20}l} \alpha^{n}_{k}=&d^{n}_{k}\left[1+\left(\frac{Z_{ref}^{n}}{\beta_{k}+\epsilon}\right)\right]=d^{n}_{k}\left[C + O\left(\Delta x^{5}\right)\right],~~k=0,...,l_{n},\\ \delta^{n}_{k}=&\frac{\alpha^{n}_{k}}{\sum_{m=0}^{l_{n}}\alpha^{r}_{m}}=d^{n}_{k}+O\left(\Delta x^{5}\right), \end{array} $$

where C≥1 is a positive constant.

Numerical tests

In this section, we are going to test the 6th-order and 8th-order compact gas kinetic schemes. The cases include linear acoustic waves, blast wave, shock-shock interactions, shock acoustic wave interaction, as well as viscous flow computations. The mesh used in this paper is rectangular one and the time step is determined by the CFL condition with a CFL number (≥ 0.3) in all test cases. In all tests, the same linear reconstruction is used for the equilibrium state and the nonlinear reconstruction for the non-equilibrium state. There is no any additional "trouble cell" detection or any additional limiter designed for specific test. The gas kinetic evolution model basically presents a dynamical process from the nonlinear to linear one, and the convergence rate exp(−Δt/τ) depends on the flow condition. The collision time τ for inviscid flow at a cell interface is defined by

$$\begin{array}{*{20}l} \tau=\epsilon \Delta t+C|\frac{p_{l}-p_{r}}{p_{l}+p_{r}}|\Delta t, \end{array} $$

where ε=0.01, C=1, and pl and pr are the pressures at the left and right sides of a cell interface. For the viscous flow, the collision time is related to the viscosity coefficient,

$$\begin{array}{*{20}l} \tau=\frac{\mu}{p}+C |\frac{p_{l}-p_{r}}{p_{l}+p_{r}}|\Delta t, \end{array} $$

where μ is the dynamic viscosity coefficient and p is the pressure at the cell interface. In smooth flow regions, it will reduce to τ=μ/p. The reason for including pressure jump term in the particle collision time is to add artificial dissipation in the discontinuous region to keep the non-equilibrium dynamics in the shock layer.

Accuracy tests

The one-dimensional advection of density perturbation is tested first, and the initial conditions are given as follows

$$\begin{array}{*{20}l} \rho(x)=1+0.2\sin(\pi x),\ \ U(x)=1,\ \ \ p(x)=1, x\in[0,2]. \end{array} $$

The periodic boundary condition is adopted, and the analytic solutions are

$$\begin{array}{*{20}l} \rho(x,t)=1+0.2\sin(\pi(x-t)),\ \ \ U(x,t)=1,\ \ \ p(x,t)=1. \end{array} $$

With the rth-order spatial reconstruction and 2-stage 4th-order temporal discretization, the leading term of the truncation error is O(Δxr+Δt4). To keep the rth-order accuracy in the test, Δt=CΔxr/4 needs to be used for the rth-order scheme. In the computation, the uniform meshes with N mesh points are used. The L1,L2 and L errors and convergence orders at t=2 for the 6th-order and 8th-order compact GKS are presented in Tables 1, 2, 3 and 4, respectively. For the 8th-order scheme, the errors reduce quickly, and the order of accuracy does not attain 8 with N=80 due to the limited round-off error.

Table 1 1-D accuracy test: errors and convergence orders of 6th-order compact linear scheme with Δt=0.3Δx3/2
Table 2 1-D accuracy test: errors and convergence orders of 8th-order compact linear scheme with Δt=0.3Δx2
Table 3 1-D accuracy test: errors and convergence orders of 6th-order compact nonlinear schemes with Δt=0.3Δx3/2
Table 4 1-D accuracy test: errors and convergence orders of 8th-order compact nonlinear scheme with Δt=0.3Δx2

One-dimensional Riemann problems

To test the performance of the schemes for capturing high frequency waves, the Shu-Osher problem for density-wave shock interaction is tested [56]. The initial condition is given by

$$(\rho,U,p)=\left\{\begin{array}{ll} (3.857134, 2.629369, 10.33333), \ \ \ \ & x \leq 1,\\ (1 + 0.2\sin (5x), 0, 1), & 1 < x \leq 10. \end{array} \right. $$

The computational domain is [0,10] and 200 uniform mesh points are used. The non-reflecting boundary condition is used at both ends. The computed density profile and local enlargement at t=1.8 from different schemes are shown in Fig. 5. Current compact 6th-order and 8th-order schemes perform well with such a coarse mesh. Due to the improvement of order of accuracy, the 8th-order scheme performs better then the 6th-order one.

Fig. 5

Shu-Osher problem: the density distribution and local enlargement by 6th-order and 8th-order compact GKS at t=1.8 with 200 mesh points

As an extension of the Shu-Osher problem, the Titarev-Toro problem is tested as well [57], and the initial condition in this case is the following

$$\begin{array}{*{20}l} (\rho,U,p) =\left\{\begin{array}{ll} (1.515695,0.523346,1.805), & -5< x \leq -4.5,\\ (1 + 0.1\sin (20\pi x), 0, 1), & -4.5 < x <5. \end{array}\right. \end{array} $$

The computational domain is [−5,5]. The non-reflecting boundary condition is imposed on left end, and the fixed wave profile is given on the right end. Both compact 6th-order and 8th-order schemes are tested for this case. The computed density profile with 1000 mesh points at t=5, local enlargement, and the exact solution for the Titarev-Toro problem are shown in Fig. 6. In order to show the importance and accuracy of the 6th-order and 8th-order compact reconstructions, the results from the non-compact 7th-order WENO-JS reconstruction based GKS, which uses the cell-averaged flow variables only, are included as well. As shown in Fig. 6, even with 7th-order WENO reconstruction the dissipation and dispersion errors are much larger than those from the current 6th-order compact GKS. Based on this observation, it clearly indicates that the use of high-order evolution model for the update of slope is favorable in the design of high-order schemes. The compactness of the scheme is also physically sounded because the CFL condition constrains the signal propagation locally to the neighboring cells only within a time step. To design a reliable compact scheme depends on the high-order gas evolution model at the cell interface. Any scheme based on the first order Riemann solver cannot achieve such a goal for a scheme with the properties of compactness, large CFL number, robustness, and high efficiency.

Fig. 6

Titarev-Toro problem: the density distribution and local enlargement by 6th-order and 8th-order compact GKS at t=5 with 1000 mesh points

The third test is the Woodward-Colella blast wave problem [58], and the initial conditions are given as follows

$$(\rho,U,p) =\left\{\begin{array}{ll} (1, 0, 1000), \ \ \ \ & 0\leq x<10,\\ (1, 0, 0.01), & 10\leq x<90,\\ (1, 0, 100), & 90\leq x\leq 100. \end{array} \right. $$

The computational domain is [0,100]. The reflecting boundary conditions are imposed on both ends. The density distributions and local enlargement from the 6th-order and 8th-order compact GKS are presented in Fig. 7 at t=3.8 with 200 and 400 mesh points.

Fig. 7

Blast wave problem: the density distributions from 6th-order and 8th-order compact GKS at t=3.8 with 200 (up) and 400 (down) mesh points

One-dimensional acoustic wave

The one-dimensional acoustic wave propagation in x-direction was proposed by Bai et al. in [1]. The test demonstrates the high order and high resolution of the compact GKS to compute acoustic wave propagating through a long-distance. The initial conditions are given as follows

$$\begin{array}{*{20}l} &U=U_{\infty}+\delta U, \delta U=\epsilon a_{\infty} \cos(\omega x), U_{\infty}=0\\ &\rho= \rho_{\infty}+\delta \rho,\delta \rho=\epsilon \rho_{\infty} \cos(2\omega x), \rho_{\infty}=1.1771\\ &\frac{p}{p_{\infty}}=\left(\frac{\rho}{\rho_{\infty}}\right)^{r}, p_{\infty}=101325.0\\ &a_{\infty}=\sqrt{\gamma\frac{p_{\infty}}{\rho_{\infty}}}, \end{array} $$

where ε=10−5 is the magnitude of initial perturbation, and ω=6π is the wavenumber of initial perturbations in velocity. The specific heat ratio is γ=1.4. The acoustic wave given above is approximately linear because of the very small ε, and an analytical solution [1] is given from the approximate acoustic wave equation,

$$\begin{array}{*{20}l} \rho (x,t)=& \rho_{\infty}+ \frac{1}{2}\epsilon \rho_{\infty} [ \cos(2\omega(x-a_{\infty}t))+ \cos(2\omega(x+a_{\infty}t)) + \\ & \cos(\omega(x-a_{\infty}t))- \cos(\omega(x+a_{\infty}t))], \\ U (x,t)=& \frac{1}{2}\epsilon a_{\infty} [ \cos(2\omega(x-a_{\infty}t))- \cos(2\omega(x+a_{\infty}t)) + \\ & \cos(\omega(x-a_{\infty}t))+ \cos(\omega(x+a_{\infty}t))], \\ p (x,t)=& p_{\infty}+ \frac{1}{2}\gamma\epsilon p_{\infty} [ \cos(2\omega(x-a_{\infty}t))+ \cos(2\omega(x+a_{\infty}t)) + \\ & \cos(\omega(x-a_{\infty}t))- \cos(\omega(x+a_{\infty}t))]. \end{array} $$

The computational domain is [0,1/3]. Periodic boundary conditions on both sides are adopted.

When giving the initial conditions in the computation, we first obtain the cell average of the primitive variables, i.e. \( \overline {Q}^{pr}_{i} =\int _{i-1/2}^{i+1/2} Q^{pr}(x)dx\) exactly, where Qpr=(ρ,U,p). Then convert them to the conservative variables. Similarly, we could obtain the cell average of the derivatives, i.e. \(\overline {Q}^{pr}_{x,i} =\int _{i-1/2}^{i+1/2} Q^{pr}_{x}(x)dx\) exactly, from which the derivatives of conservative variables can be obtained by the chain rules. Theoretically, this has a 2nd-order accuracy in space. However, it is enough for the comparison since the analytical solution in Eq. (35) is also an approximate solution. Besides the 6th-order and 8th-order compact GKS, a compact linear GKS, where the initial reconstruction for f0 is from the linear reconstruction and has no shock capturing property, will be tested as well.

Figures 8 and 9 show the density distributions at t=0.01 (left) and t=1.0 (right) with 20 and 40 uniform mesh points. The computational time is greatly larger than \(\lambda _{\rho _{0}}/a_{\infty }=4.8\times 10^{-4}\), where \(\lambda _{\rho _{0}}\) is the initial wavelength of density perturbation. Thus the distance of acoustic wave propagation is greatly larger than the initial wavelength of density perturbation. The results from GKS with linear and nonlinear reconstructions are in good agreement. The results with 40 mesh points agree well with the analytical solution, where the small deviation near the extreme point is caused by the approximate analytical solution [1]. This case also shows that the 6th-order GKS cannot give the accurate solution with 20 mesh points after a long time wave propagation (100 periods) due to the relative large numerical error in comparison with the 8th-order scheme. The results indicate that the current GKS, even with shock capturing property, has no much difference in performance in comparison with the purely linear scheme in the acoustic wave case.

Fig. 8

One-dimensional acoustic problem: the distributions of density perturbation obtained by compact GKS at t=0.01 (left, 1 period) and t=1.0 (right, 100 periods) with 20 mesh points. The ratio of non-dimensional initial density wavelength to sound speed is \(\lambda _{\rho _{0}}/a_{\infty }=4.8\times 10^{-4}\)

Fig. 9

One-dimensional acoustic problem: the distributions of density perturbation obtained by compact GKS at t=0.01 (left, 1 period) and t=1.0 (right, 100 periods) with 40 mesh points

One-dimensional shock-velocity variation interaction

The interaction between strong shock wave and turbulence is an important flow problem in gas dynamics, where the shock passes across a local wave packet with a large variation of flow velocity. To validate the current schemes for this kind of problems, we propose a test of shock with a Mach number Ma=10 crossing a velocity variation. The initial condition is given as follows

$$(\rho,U,p)=\left\{\begin{array}{ll} (8, 8.25, 116.5), \ \ \ \ & x \leq 1,\\ (1.4, 0.2\sin (2\pi(x-1)), 1), & 1 < x \leq 10. \end{array} \right. $$

The computational domain is [0,10]. In order to compare the resolution for capturing the multi-scale structure from different schemes, a relative coarse mesh with 400 points is used in the computation. The non-reflecting boundary condition is used at both ends. The computed density profiles and the local enlargement from different schemes at t=0.8 are shown in Fig. 10, and the distributions of velocity and its local enlargement are shown in Fig. 11. The current compact 6th-order and 8th-order schemes perform well for resolving the multi-scale flow structures, where the non-compact WENO-7JS GKS has a relative large error. The compactness seems a preferred choice for a scheme with a better wave resolving power under strong shock condition.

Fig. 10

One-dimensional shock crossing velocity perturbation: the density distribution and local enlargement from WENO-7JS non-compact GKS, 6th-order and 8th-order compact GKS at t=0.8 with 400 mesh points

Fig. 11

One-dimensional shock crossing velocity perturbation: the velocity distribution and local enlargement from WENO-7JS non-compact GKS, 6th-order and 8th-order compact GKS at t=0.8 with 400 mesh points

Double Mach reflection problem

In this subsection, the double Mach reflection problem is tested. The test was extensively studied by Woodward and Colella [58] for the inviscid flow. The computational domain is [0,4]×[0,1], and a solid wall lies at the bottom of the computational domain starting from x=1/6. Initially a right-moving Mach 10 shock is positioned at (x,y)=(1/6,0), which has a 60 angle with the x-axis. The initial pre-shock and post-shock conditions are

$$\begin{array}{*{20}l} (\rho, U, V, p)&=\left(8, 4.125\sqrt{3}, -4.125, 116.5\right),\\ (\rho, U, V, p)&=(1.4, 0, 0, 1). \end{array} $$

The reflecting boundary condition is used at the wall, and the exact post-shock condition is imposed for the rest of bottom boundary. At the top boundary, the flow variables are set to describe the exact motion of the Mach 10 shock. In this case, the compact 6th-order and 8th-order compact GKS are tested. The density distributions with 960×240 and 1920×480 uniform mesh points at t=0.2 are shown in Figs. 12 and 13, and the corresponding local density enlargements are shown in Fig. 14. The 6th-order and 8th-order schemes resolve the flow structure under the triple Mach stem very well.

Fig. 12

Double Mach reflection: the density contours of 6th-order and 8th-order compact GKS with 960×240 mesh points

Fig. 13

Double Mach reflection: the density contours of 6th-order and 8th-order compact GKS with 1920×480 mesh points

Fig. 14

Double Mach reflection: the local enlarged density distributions around the triple point of the 6th-order (up) and 8th-order (down) compact GKS with 960×240 (left) and 1920×480 (right) mesh points

Two-dimensional Riemann problems

In the following, the two-dimensional Riemann problems are considered. The first one is the interaction of four shocks \(\overleftarrow {S_{21}}~ \overleftarrow {S_{32}}~ \overleftarrow {S_{41}}~ \overleftarrow {S_{34}}\) [59, 60], where the backward shock waves connecting the areas Ωl and Ωr are denoted by \(\overleftarrow {S_{lr}}\). The initial conditions are given as follows

$$(\rho,U,V,p)= \left\{\begin{aligned} &(1.5,0,0,1.5), &\Omega_{1}: x>0.7,y>0.7,\\ &(0.5323,1.206,0,0.3), &\Omega_{2}: x<0.7,y>0.7,\\ &(0.138,1.206,1.206,0.029), &\Omega_{3}: x<0.7,y<0.7,\\ &(0.5323,0,1.206,0.3), &\Omega_{4}: x>0.7,y<0.7. \end{aligned} \right. $$

This case is just the mathematical formation of the double Mach problem [58] and the symmetric line x=y can be regarded as the rigid wall. The computational domain is [0,1]×[0,1], and the non-reflecting boundary conditions are used in all boundaries. The 6th-order and 8th-order compact GKS are used, and the numerical results are given in Fig. 15 at t=0.4 with Δx=Δy=1/500.

Fig. 15

2D Riemann problem: the density distributions by 6th-order and 8th-order compact GKS for the interaction of four shock waves at t=0.4 with 500×500 mesh points

In the second case, the two-dimensional Riemann problem with four contact discontinuities \(J_{21}^{-}J_{32}^{-} J_{41}^{-} J_{34}^{-}\) is tested [59, 60], where the backward contact discontinuities connecting the areas Ωl and Ωr are denoted as \(J_{lr}^{-}\). The initial conditions are given as follows

$$(\rho,U,V,p)=\left\{\begin{aligned} &(1,0.75,-0.5,1), &\Omega_{1}: x>0.5,y>0.5,\\ &(2,0.75,0.5,1), &\Omega_{2}: x<0.5,y>0.5,\\ &(1,-0.75,0.5,1), &\Omega_{3}: x<0.5,y<0.5,\\ &(3,-0.75,-0.5,1), & \Omega_{4}: x>0.5,y<0.5. \end{aligned} \right. $$

The computational domain is [0,1]×[0,1], and the non-reflecting boundary conditions are also used in all boundaries. The instantaneous interaction of the contact discontinuities results in entropy wave and vortex sheets. To obtain the detailed flow structure, the uniform mesh with Δx=Δy=1/500 are used. The numerical results from compact GKS are given in Fig. 16 at t=0.5.

Fig. 16

2D Riemann problem: the density distributions from 6th-order and 8th-order compact GKS for the interactions of four contact discontinuities at t=0.5 with 500×500 mesh points

Lid-driven cavity flow

Here we test the performance of the compact GKS for the capturing of viscous flow solutions. The lid-driven cavity problem is one of the most important benchmarks for validating incompressible Navier-Stokes flow solvers. The fluid is bounded by a unit square and is driven by a uniform translation of the top boundary. In this case, the flow is simulated with Mach number Ma=0.15 and all boundaries are isothermal and nonslip. The computational domain [0,1]×[0,1] is covered with 65×65 mesh points. Numerical simulations are conducted for two different Reynolds numbers, i.e., Re=1000 and Re=3200. The streamlines corresponding to Re=1000 are shown in Fig. 17. The U-velocities along the center vertical line and V-velocities along the center horizontal line are shown in Fig. 18. The benchmark data [61] for Re=1000 and Re=3200 are also presented, and the simulation results match well with these benchmark data. The results from 8th-order compact GKS are almost identical to the reference solutions even for Re=3200 case. The cavity case fully validates the higher-order accuracy of compact GKS for viscous flow.

Fig. 17

Lid-driven cavity flow: streamlines with 65×65 uniform mesh points for Re=1000 by 6th-order and 8th-order compact GKS

Fig. 18

Lid-driven cavity flow: U-velocity along vertical centerline and V-velocity along horizontal center-line with 65×65 uniform mesh points at Re=1000 and 3200

Two-dimensional acoustic wave

The case is an interaction of a shock wave with a single vortex as studied by Inoue and Hattori [62], where the fluid is viscous. The computational domain is [−20,8]×[−12,12]. The initial counterclockwise vortex (the case C in [62]) is set as follows

$$\begin{array}{*{20}l} U_{\theta}(r)&=M_{v} r e^{\left(1-r^{2}\right)/2},~~U_{r}=0, \end{array} $$

and the distribution of pressure and density upstream of shock are

$$\begin{array}{*{20}l} p(r)&=\frac{1}{\gamma}\left[1-\frac{\gamma-1}{2}M_{v}^{2}e^{\left(1-r^{2}\right)}\right]^{\gamma/(\gamma-1)},\\ \rho(r)&=\left[1-\frac{\gamma-1}{2}M_{v}^{2}e^{\left(1-r^{2}\right)}\right]^{1/(\gamma-1)}, \end{array} $$

where Uθ and Ur are the tangential and radial velocity respectively. Mach number Mv of the vortex is Mv=0.25. The Mach number of shock wave is Ms=1.2. The Reynolds number is Re=800 defined by Re=ρa/μ, where the subscript denotes the quantity downstream of the shock wave. The initial location of vortex is (xv,yv)=(2,0), and the stationary shock is at x=0. In the computation, the supersonic inflow boundary conditions at x=8 as well as the periodic boundary conditions at y=±12 are imposed. The non-reflecting boundary conditions are adopted at x=−20.

In the case, the compact 6th-order and 8th-order GKS are tested on the uniform mesh with 700×600 cells. The sound pressure at t=6 are shown in Fig. 19, where the sound pressure is defined as p=(pp)/p. The pressure distribution in Fig. 19 clearly shows that the incident shock wave and two reflected shock waves are connected at the triple point, and the reflected shock waves emanate from the compression region of the incident shock wave. In addition, both the first and second sound waves have the clear quadruple nature with opposite sign, which is similar with the result in [62]. Both the 6th-order and 8th-order GKS perform well to resolve the shock wave and density wave, and the solution is sufficiently smooth to resolve small amplitude waves. The radial distribution of the sound pressure p obtained by 6th-order and 8th-order compact GKS at t=6 with 700×600 mesh points are shown in Fig. 20. The radial distribution of the sound pressure is subtracted from the vortex center with the angle θ=135 degree with the positive x direction. The vortex center at t=6 is approximately located at (−3.9,0.0). The results are concordant well with the results in [62], where the reference solution in [62] is obtained with 1044×1170 normal mesh points and a local mesh refinement with approximate 1/10 of normal cell size at the shock region.

Fig. 19

Two-dimensional acoustic problem: sound pressure contours obtained by 6th-order and 8th-order compact GKS at t=6 with 700×600 mesh points. Shock and vortex Mach numbers are Ms=1.2 and Mv=1. Here 150 equal-spaced sound pressure contours from − 0.5 to 0.05 are plotted. The dash line represents rarefaction region, and the solid line represents the compression region

Fig. 20

Two-dimensional acoustic problem: radial distribution of the sound pressure p obtained by 6th-order and 8th-order compact GKS at t=6 with 700×600 mesh points. The vortex center at t=6 is approximately located at (−3.9,0.0)

Double shear flow

The double shear flow is a canonical test problem for a scheme’s accuracy and resolution in incompressible flows. Brown and Minion [63] performed a systematic comparison in this test using a number of flow parameters, focusing on the solution from the effect of cell resolution. The initial flow is set as

$$U(x,y)=\left\{\begin{array}{ll} \tanh(k(y-0.25)), \ \ y \leq 0.5,\\ \tanh(k(0.75-y)), \ \ y>0.5, \end{array} \right. $$
$$V(x,y)=\delta \sin(2\pi x) $$

and the distributions of pressure and density are

$$\rho(x,y)=1, p(x,y)=\frac{\rho U^{2}}{M_{a}^{2} \gamma}, $$

where k=100 and δ=0.05. Ma is the Mach number, and Ma=0.15 is used in the following tests. The kinetic viscosity is ν=5.0×10−5. The computational domain is [0,1]×[0,1], and the periodic boundary condition is adopted in both x and y directions.

The vorticity contours of linear and nonlinear compact GKS are shown in Figs. 21 and 22 respectively, where the linear and nonlinear WENO-5Z GKS is compared as well. Because of the high-order accuracy and high resolution of the compact GKS, the double shear layer can be exactly calculated on the coarse meshes used in [63]. In addition, the test with dynamic instability demonstrates the good stability of the compact GKS. Compared with the nonlinear 6th-order and 8th-order compact GKS, the linear compact GKS has better resolution. When refining the mesh, non-compact and compact GKS can give the same results in Fig. 23. The vorticity distribution and local enlargement at the line x=0.5 are shown in Fig. 24. The results obtained by linear WENO-5Z and linear compact GKS with 256×256 mesh points are presented in Fig. 24. The reference solution is obtained by linear 8th-order compact GKS with 512×512 mesh points. The linear compact GKS has better resolution than the linear non-compact WENO-5Z GKS. Besides, because of the compact reconstruction, the numerical solution of compact GKS has almost no spurious oscillation near the location with large variation of flow variable, such as at the location y=0.13 and y=0.16 in Fig. 24.

Fig. 21

Double shear flow: vorticity contours at t = 0.8, obtained by non-compact linear reconstruction-based WENO-5th (GKS flux), and the linear 6th-order and 8th-order compact GKS with 256×256 mesh points

Fig. 22

Double shear flow: vorticity contours at t = 0.8, obtained by non-compact nonlinear reconstruction-based WENO-5th(GKS flux), and the 6th-order and 8th-order compact GKS with 256×256 mesh points

Fig. 23

Double shear flow: vorticity contours at t = 0.8, obtained by non-compact nonlinear reconstruction-based WENO-5th(GKS flux), the 6th-order and 8th-order compact GKS with 384×384 mesh points

Fig. 24

Double shear flow: vorticity distribution and local enlargement at the line x=0.5 obtained by 5th-order upwind scheme, linear 6th-order and 8th-order compact GKS at t=0.8 with 256×256 mesh points. The reference solution is obtained by linear 8th-order compact GKS with 512×512 mesh points


In this paper, a class of compact high-order gas-kinetic scheme with WENO reconstruction has been proposed for the compressible Euler and Navier-Stokes solutions. Based on the gas-kinetic theory, the current scheme depends solely on the time-accurate solution of a gas distribution function at a cell interface for the flux and conservative flow variable evaluation. With the update of pointwise values at cell interfaces, besides the cell-averaged conservative flow variables, their cell-averaged gradients can be updated as well. Therefore, the compact linear and nonlinear reconstructions can be obtained from the local cell averaged flow variables and their slopes. With symmetrical stencils, the 6th-order and 8th-order compact linear reconstructions are given and used in the 1-D Fourier analysis. The analysis elucidates spectral resolution of the current spatial discretization, even for very large wave number. The GKS flux makes the scheme be stable even for the initial reconstruction from symmetrical stencils. In order to capture shock and other discontinuities, the nonlinear compact WENO reconstruction has been constructed as well. Compared with other compact schemes, the current compact GKS is fully local and has explicit high-order discretization, without using any formulation for the globally connected flow variable and their slopes. Equipped with both linear and nonlinear compact reconstruction, the GKS gas evolution model can make a smooth transition dynamically from the initial nonlinear reconstruction for the non-equilibrium state to the final linear reconstruction for the equilibrium state. The transition rate depends on the local flow conditions. As a result, the current compact high-order scheme can naturally capture both shock discontinuities and small amplitude acoustic waves in a single computation without using any trouble cell detection and additional limiters. Due to the existence of the time-derivative of the flux function, the multi-stage and multi-derivative time stepping technique has been applied here for achieving high-order temporal accuracy of the scheme. More specifically, the fourth-order time accuracy has been achieved through two stages. Both GKS and DG methods have the same compact stencils. But, the GKS uses a much large CFL number (≥ 0.3) for the 6th- and 8th-order schemes, and it is much more robust in capturing shock discontinuity and is much more efficient in simulating NS equations than the DG method. The extensive tests in this paper clearly demonstrate that the current 6th-order and 8th-order compact schemes advance the development of high-order CFD methods to a new level of maturity. The success of the current compact schemes depends solely on the high-order gas evolution model at a cell interface, which keeps and traces flow dynamics as close as possible to a real physical time evolution process. Any scheme based on the first order Riemann solver, which gives a time-independent gas evolution at a cell interface from two constant states whatever the high-order initial reconstruction is, may have difficulty to possess all these good properties of the current high-order GKS, such as the compactness, large CFL number, Navier-Stokes solutions, robustness, high efficiency, and the dynamic unification of linear and nonlinear reconstructions.


For the WENO reconstruction, with the definition of smooth indicator in Eq. (31), the reconstructed polynomials from the sub-stencils for the determination of the left state of the cell interface xi+1/2 are presented. Assume the candidate polynomial on a specific sub-stencil as

$$\begin{array}{*{20}l} w^{n}(x)\equiv\sum_{k=0}^{n} a^{n}_{k}x^{k}/k!, \end{array} $$

where n is the order of the polynomial and takes the values n=2,3,4 for the current 6th-order and 8th-order reconstruction schemes. Substituting wn(x) into the smooth indicator β in Eq. (31), the result can be expressed by the coefficient \(a^{n}_{k}\) as

$$\begin{array}{*{20}l} \beta =&\left(a^{n}_{1}\cdot \Delta x\right)^{2}+\frac{13}{12}\left(a^{n}_{2} \cdot \Delta x^{2}\right)^{2}+\frac{1043}{960}\left(a^{n}_{3} \cdot \Delta x^{3}\right)^{2}+ \\ &\frac{35045}{32256}\left(a^{n}_{4} \cdot \Delta x^{4}\right)^{2}+\frac{1}{12}\left(a^{n}_{1} \cdot \Delta x\right)\cdot\left(a^{n}_{3} \cdot \Delta x^{3}\right)+\frac{7}{80}\left(a^{n}_{2} \cdot \Delta x^{2}\right)\cdot\left(a^{n}_{4} \cdot \Delta x^{4}\right). \end{array} $$

For \(n=2, a^{n}_{3}=a^{n}_{4}=0\), and for \(n=3, a^{n}_{4}=0\). Therefore, once the candidate polynomial is given, the smoothing indicator can be fully determined.

The polynomials of the sub-stencils for the 6th-order and 8th-order schemes are listed below,

$${}{\begin{aligned} w_{0}(x)=&\frac{1}{12}\left(W_{i-1} + 11W_{i} + \Delta x W^{\prime}_{i-1}\right) + \frac{1}{\Delta x}\left(-2W_{i-1} + 2W_{i} - \Delta x W^{\prime}_{i-1}\right)\cdot x - \frac{2}{\Delta x^{2}}\left(W_{i-1} - W_{i} + \Delta x W^{\prime}_{i-1}\right)\cdot\frac{x^{2}}{2}, \\ \widetilde{w}_{1}(x)=&\frac{1}{24}\left(-W_{i-1} + 26W_{i} -W_{i+1}\right) + \frac{1}{16\Delta x}\left(-23W_{i-1} + 20W_{i} + 3W_{i+1} - 10\Delta x W^{\prime}_{i-1}\right)\cdot x + \\ &\frac{1}{\Delta x^{2}}\left(W_{i-1} - 2W_{i} + W_{i+1}\right)\cdot\frac{x^{2}}{2} + \frac{3}{2\Delta x^{3}}\left(3W_{i-1} - 4W_{i} + W_{i+1} + 2\Delta x W^{\prime}_{i-1}\right)\cdot\frac{x^{3}}{6}, \\ w_{2}(x)=&\frac{1}{48}\left(43W_{i} + 16W_{i+1} -11W_{i+2} + 6\Delta x W^{\prime}_{i+2}\right) + \frac{1}{16\Delta x}\left(-31W_{i} + 60W_{i+1} -29W_{i+2} + 14\Delta x W^{\prime}_{i+2}\right)\cdot x + \\ &\frac{1}{2\Delta x^{2}}\left(5W_{i} - 16W_{i+1} + 11W_{i+2} - 6\Delta x W^{\prime}_{i+2}\right)\cdot\frac{x^{2}}{2} + \frac{3}{2\Delta x^{3}}\left(-W_{i} + 4W_{i+1} - 3W_{i+2} + 2\Delta x W^{\prime}_{i+2}\right)\cdot\frac{x^{3}}{6}, \\ w_{3}(x)=&\frac{1}{24}\left(-W_{i-1} + 26W_{i} - W_{i+1}\right) + \frac{1}{2\Delta x}\left(-W_{i-1} + W_{i+1}\right)\cdot x + \frac{1}{\Delta x^{2}}\left(W_{i-1} - 2W_{i} + W_{i+1}\right)\cdot\frac{x^{2}}{2}, \\ w_{4}(x)=&\frac{1}{24}\left(23W_{i} + 2W_{i+1} - W_{i+2}\right) + \frac{1}{2\Delta x}\left(-3W_{i} + 4W_{i+1} - W_{i+2}\right)\cdot x + \frac{1}{\Delta x^{2}}\left(W_{i} - 2W_{i+1} + W_{i+2}\right)\cdot\frac{x^{2}}{2}, \\ w_{5}(x)=&\frac{1}{960}\left(-175W_{i-1} + 1148W_{i} -13W_{i+1} - 54\Delta x W^{\prime}_{i-1} - 108\Delta x W^{\prime}_{i}\right) + \frac{1}{8\Delta x}\left(W_{i-1} - W_{i+1} + 10\Delta x W^{\prime}_{i}\right)\cdot x + \\ &\frac{1}{4\Delta x^{2}}\left(19W_{i-1} - 20W_{i} + W_{i+1} + 6\Delta x W^{\prime}_{i-1} + 12\Delta x W^{\prime}_{i}\right)\cdot\frac{x^{2}}{2} - \frac{3}{\Delta x^{3}}\left(W_{i-1} - W_{i+1} + 2\Delta x W^{\prime}_{i}\right)\cdot\frac{x^{3}}{6}- \\ &\frac{6}{\Delta x^{4}}\left(5W_{i-1} - 4W_{i} - W_{i+1} + 2\Delta x W^{\prime}_{i-1} + 4\Delta x W^{\prime}_{i}\right)\cdot\frac{x^{4}}{24}, \\ w_{6}(x)=&\frac{1}{960}\left(707W_{i} - 292W_{i+1} + 545W_{i+2} - 612\Delta x W^{\prime}_{i+1} - 186\Delta x W^{\prime}_{i+2}\right) + \\ &\frac{1}{8\Delta x}\left(-21W_{i} + 8W_{i+1} + 13W_{i+2} - 22\Delta x W^{\prime}_{i+1} - 4\Delta x W^{\prime}_{i+2}\right)\cdot x + \\ &\frac{1}{4\Delta x^{2}}\left(25W_{i} + 28W_{i+1} - 53W_{i+2} + 60\Delta x W^{\prime}_{i+1} + 18\Delta x W^{\prime}_{i+2}\right)\cdot\frac{x^{2}}{2} - \\ &\frac{3}{\Delta x^{3}}\left(3W_{i} + 8W_{i+1} - 11W_{i+2} + 10\Delta x W^{\prime}_{i+1} + 4\Delta x W^{\prime}_{i+2}\right)\cdot\frac{x^{3}}{6} \\ &\frac{6}{\Delta x^{4}}\left(W_{i} + 4W_{i+1} - 5W_{i+2} + 4\Delta x W^{\prime}_{i+1} + 2\Delta x W^{\prime}_{i+2}\right)\cdot\frac{x^{4}}{24}. \\ \end{aligned}} $$

Availability of data and materials

All data and materials are available upon request.


  1. 1

    Bai Z, Zhong X (2019) New very high-order upwind multi-layer compact (MLC) schemes with spectral-like resolution for flow simulations. J Comput Phys 378:63–109.

  2. 2

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

  3. 3

    Mahesh K (1998) A family of high order finite difference schemes with good spectral resolution. J Comput Phys 145(1):332–358.

  4. 4

    Wang Q, Ren Y-X, Pan J, Li W (2017) Compact high order finite volume method on unstructured grids III: Variational reconstruction. J Comput Phys 337:1–26.

  5. 5

    Reed WH, Hill T (1973) Triangular mesh methods for the neutron transport equation. Los Alamos National Laboratory Report LA-UR-73-479.

  6. 6

    Cockburn B, Shu C-W (1989) TVB Runge-Kutta local projection discontinuous Galerkin finite element method for conservation laws. II. General framework. Math Comput 52(186):411–435.

  7. 7

    Cockburn B, Shu C-W (1998) The Runge–Kutta discontinuous Galerkin method for conservation laws V: Multidimensional systems. J Comput Phys 141(2):199–224.

  8. 8

    Huynh HTA flux reconstruction approach to high-order schemes including discontinuous Galerkin methods, 18th AIAA Computational Fluid Dynamics Conference, AIAA 2007-4079.

  9. 9

    Shu C-W (2016) High order WENO and DG methods for time-dependent convection-dominated PDEs: A brief survey of several recent developments. J Comput Phys 316:598–613.

  10. 10

    Harten A (1997) High resolution schemes for hyperbolic conservation laws. J Comput Phys 135(2):260–278.

  11. 11

    Harten A, Engquist B, Osher S, Chakravarthy SR (1987) Uniformly high order accurate essentially non-oscillatory schemes, III. J Comput Phys 71(2):231–303.

  12. 12

    Liu X-D, Osher S, Chan T (1994) Weighted essentially non-oscillatory schemes. J Comput Phys 115(1):200–212.

  13. 13

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

  14. 14

    Shu C-W (2009) High order weighted essentially nonoscillatory schemes for convection dominated problems. SIAM Rev 51(1):82–126.

  15. 15

    Hill DJ, Pullin DI (2004) Hybrid tuned center-difference-WENO method for large eddy simulations in the presence of strong shocks. J Comput Phys 194(2):435–450.

  16. 16

    Taylor EM, Wu M, Mart MP (2007) Optimization of nonlinear error for weighted essentially non-oscillatory methods in direct numerical simulations of compressible turbulence. J Comput Phys 223(1):384–397.

  17. 17

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

  18. 18

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

  19. 19

    Ren Y-X, Zhang H, et al (2003) A characteristic-wise hybrid compact-WENO scheme for solving hyperbolic conservation laws. J Comput Phys 192(2):365–386.

  20. 20

    Zhang L, Wei L, Lixin H, Xiaogang D, Hanxin Z (2012) A class of hybrid DG/FV methods for conservation laws I: Basic formulation and one-dimensional systems. J Comput Phys 231(4):1081–1103.

  21. 21

    Choi JJ (2015) Hybrid spectral difference/embedded finite volume method for conservation laws. J Comput Phys 295:285–306.

  22. 22

    Lax P, Wendroff B (1960) Systems of conservation laws. Commun Pure Appl Math 13(2):217–237.

  23. 23

    Ben-Artzi M, Falcovitz J (1984) A second-order Godunov-type scheme for compressible fluid dynamics. J Comput Phys 55(1):1–32.

  24. 24

    Ben-Artzi M, Li J, Warnecke G (2006) A direct Eulerian GRP scheme for compressible fluid flows. J Comput Phys 218(1):19–43.

  25. 25

    Ben-Artzi M, Li J (2007) Hyperbolic balance laws: Riemann invariants and the generalized Riemann problem. Numer Math 106(3):369–425.

  26. 26

    Toro EF (2013) Riemann solvers and numerical methods for fluid dynamics: a practical introduction. Springer-Verlag.

  27. 27

    Dumbser M, Balsara DS, Toro EF, Munz C-D (2008) A unified framework for the construction of one-step finite volume and discontinuous Galerkin schemes on unstructured meshes. J Comput Phys 227(18):8209–8253.

  28. 28

    Li J, Du Z (2016) A Two-Stage Fourth Order Time-Accurate Discretization for Lax–Wendroff Type Flow Solvers Hyperbolic, I., Conservation Laws. SIAM J Sci Comput 38(5):A3046—A3069.

  29. 29

    Li J (2019) Two-stage fourth order: temporal-spatial coupling in computational fluid dynamics (CFD). Adv Aerodyn. 1:3.

  30. 30

    Xu K (2015) Direct modeling for computational fluid dynamics: construction and application of unified gas-kinetic schemes. World Scientific, Singapore.

  31. 31

    Xu K (2001) A gas-kinetic BGK scheme for the Navier–Stokes equations and its connection with artificial dissipation and Godunov method. J Comput Phys 171(1):289–335.

  32. 32

    Xu K, Huang J-C (2010) A unified gas-kinetic scheme for continuum and rarefied flows. J Comput Phys 229(20):7747–7764.

  33. 33

    Li J, Li Q, Xu K (2011) Comparison of the generalized Riemann solver and the gas-kinetic scheme for inviscid compressible flow simulations. J Comput Phys 230(12):5080–5099.

  34. 34

    Pan L, Xu K, Li Q, Li J (2016) An efficient and accurate two-stage fourth-order gas-kinetic scheme for the Euler and Navier–Stokes equations. J Comput Phys 326:197–221.

  35. 35

    Pan L, Cheng J, Wang S, Xu K (2017) A two-stage fourth-order gas-kinetic scheme for compressible multicomponent flows. Commun Comput Phys 22(4):1123–1149.

  36. 36

    Pan L, Li J, Xu K (2017) A few benchmark test cases for higher-order Euler solvers. Numer Math Theory Methods Appl 10(4):711–736.

  37. 37

    Hairer E, Wanner G (1973) Multistep-multistage-multiderivative methods for ordinary differential equations. Computing 11(3):287–303.

  38. 38

    Seal DC, Güċlü Y, Christlieb AJ (2014) High-order multiderivative time integrators for hyperbolic conservation laws. J Sci Comput 60(1):101–140.

  39. 39

    Christlieb AJ, Gottlieb S, Grant Z, Seal DC (2016) Explicit strong stability preserving multistage two-derivative time-stepping schemes. J Sci Comput 68(3):914–942.

  40. 40

    Ji X, Zhao F, Shyy W, Xu K (2018) A family of high-order gas-kinetic schemes and its comparison with Riemann solver based high-order methods. J Comput Phys 356:150–173.

  41. 41

    Xu K (2002) A slope-update scheme for compressible flow simulation. J Comput Phys 178(1):252–259.

  42. 42

    Pan L, Xu K (2015) A compact third-order gas-kinetic scheme for compressible Euler and Navier-Stokes equations. Commun Comput Phys 18(4):985–1011.

  43. 43

    Pan L, Xu K (2016) A third-order compact gas-kinetic scheme on unstructured meshes for compressible Navier–Stokes solutions. J Comput Phys 318:327–348.

  44. 44

    Ji X, Pan L, Shyy W, Xu K (2018) A compact fourth-order gas-kinetic scheme for the Euler and Navier–Stokes equations. J Comput Phys 372:446–472.

  45. 45

    Qiu J, Shu C-W (2004) Hermite WENO schemes and their application as limiters for Runge–Kutta discontinuous Galerkin method: one-dimensional case. J Comput Phys 193(1):115–135.

  46. 46

    Qiu J, Shu C-W (2005) Hermite WENO schemes and their application as limiters for Runge–Kutta discontinuous Galerkin method II: Two dimensional case. Comput Fluids 34(6):642–663.

  47. 47

    Zhu J, Qiu J (2009) Hermite WENO schemes and their application as limiters for Runge-Kutta discontinuous Galerkin method, III: Unstructured meshes. J Sci Comput 39(2):293–321.

  48. 48

    Balsara DS, Altmann C, Munz C-D, Dumbser M (2007) A sub-cell based indicator for troubled zones in RKDG schemes and a novel class of hybrid RKDG+HWENO schemes. J Comput Phys 226(1):586–620.

  49. 49

    Luo H, Baum JD, Löhner R (2007) A Hermite WENO-based limiter for discontinuous Galerkin method on unstructured grids. J Comput Phys 225(1):686–713.

  50. 50

    Luo H, Xia Y, Li S, Nourgaliev R, Cai C (2012) A Hermite WENO reconstruction-based discontinuous Galerkin method for the Euler equations on tetrahedral grids. J Comput Phys 231(16):5489–5503.

  51. 51

    Luo H, Xia Y, Spiegel S, Nourgaliev R, Jiang Z (2013) A reconstructed discontinuous Galerkin method based on a hierarchical WENO reconstruction for compressible flows on tetrahedral grids. J Comput Phys 236:477–492.

  52. 52

    Bhatnagar PL, Gross EP, Krook M (1954) A model for collision processes in gases. I. Small amplitude processes in charged and neutral one-component systems. Phys Rev 94(3):511.

  53. 53

    Zhou G, Xu K, Liu F (2017) Simplification of the flux function for a high-order gas-kinetic evolution model. J Comput Phys 339:146–162.

  54. 54

    Chan RP, Tsai AY (2010) On explicit two-derivative Runge-Kutta methods. Numer Algoritm 53(2-3):171–194.

  55. 55

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

  56. 56

    Shu C-W, Osher S (1989) Efficient implementation of essentially non-oscillatory shock-capturing schemes, II. J Comput Phys 83(1):32–78.

  57. 57

    Titarev VA, Toro EF (2004) Finite-volume WENO schemes for three-dimensional conservation laws. J Comput Phys 201(1):238–260.

  58. 58

    Woodward P, Colella P (1984) The numerical simulation of two-dimensional fluid flow with strong shocks. J Comput Phys 54(1):115–173.

  59. 59

    Lax PD, Liu X-D (1998) Solution of two-dimensional Riemann problems of gas dynamics by positive schemes. SIAM J Sci Comput 19(2):319–340.

  60. 60

    Zhang T, Zheng YX (1990) Conjecture on the structure of solutions of the Riemann problem for two-dimensional gas dynamics systems. SIAM J Math Anal 21(3):593–630.

  61. 61

    Ghia U, Ghia KN, Shin C (1982) High-Re solutions for incompressible flow using the Navier-Stokes equations and a multigrid method. J Comput Phys 48(3):387–411.

  62. 62

    Inoue O, Hattori Y (1999) Sound generation by shock–vortex interactions. J Fluid Mech 380:81–116.

  63. 63

    Brown DL (1995) Performance of under-resolved two-dimensional incompressible flow simulations. J Comput Phys 122(1):165–183.

Download references


The authors would like to thank our collaborators on the development of high-order gas-kinetic schemes in the past many years.


The current research is supported by Hong Kong research grant council (16206617) and National Science Foundation of China (11772281, 91852114, 11701038).

Author information

Our group has been working on the topic for a long time. The research output is coming from our joint effort. All authors read and approved the final manuscript.

Correspondence to Kun Xu.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Zhao, F., Ji, X., Shyy, W. et al. Compact higher-order gas-kinetic schemes with spectral-like resolution for compressible flow simulations. Adv. Aerodyn. 1, 13 (2019).

Download citation


  • Gas-kinetic scheme
  • WENO reconstruction
  • Linear reconstruction
  • Compact scheme