arxiv: v1 [physics.comp-ph] 11 Dec 2017

Transcription

1 A Compact Fourth-order Gas-kinetic Scheme for the Euler and Navier-Stokes Solutions Xing Ji a, Liang Pan c, Wei Sh b, Kun Xu a,b, arxiv:72.363v [phsics.comp-ph] Dec 27 a Department of Mathematics, Hong Kong Universit of Science and Technolog, Clear Water Ba, Kowloon, Hong Kong b Department of Mechanical and Aerospace Engineering, Hong Kong Universit of Science and Technolog, Clear Water Ba, Kowloon, Hong Kong c Institute of Applied Phsics and Computational Mathematics, Beijing, 88, China Abstract In this paper, a fourth-order compact gas-kinetic scheme (GKS) is developed for the compressible Euler and Navier-Stokes equations under the framework of two-stage fourth-order temporal discretization and Hermite WENO (HWENO) reconstruction. Due to the highorder gas evolution model, the GKS provides a time dependent gas distribution function at a cell interface. This time evolution solution can be used not onl for the flu evaluation across a cell interface and its time derivative, but also time accurate evolution solution at a cell interface. As a result, besides updating the conservative flow variables inside each control volume, the GKS can get the cell averaged slopes inside each control volume as well through the differences of flow variables at the cell interfaces. So, with the updated flow variables and their slopes inside each cell, the HWENO reconstruction can be naturall implemented for the compact high-order reconstruction at the beginning of net step. Therefore, a compact higher-order GKS, such as the two-stages fourth-order compact scheme can be constructed. This scheme is as robust as second-order one, but more accurate solution can be obtained. In comparison with compact fourth-order DG method, the current scheme has onl two stages instead of four within each time step for the fourth-order temporal accurac, and the CFL number used here can be on the order of.5 instead of. for the DG method. Through this research, it concludes that the use of high-order time evolution model rather than the first order Riemann solution is etremel important for the design of robust, accurate, and efficient higher-order schemes for the compressible flows. Kewords: two-stage fourth-order discretization, compact gas-kinetic scheme, high-order evolution model, Hermite WENO reconstruction. Corresponding author addresses: jiad@connect.ust.hk (Xing Ji), panliangjlu@sina.com (Liang Pan), weish@ust.hk (Wei Sh), maku@ust.hk (Kun Xu) Preprint submitted to Elsevier December 2, 27

2 . Introduction In past decades, there have been tremendous efforts on the development of higher-order numerical methods for hperbolic conservation laws, and great success has been achieved. There are man review papers and monographs about the current status of higher-order schemes, which include essentiall non-oscillator scheme (ENO) [6, 38, 39], weighted essentiall non-oscillator scheme (WENO) [25, 8], Hermite weighted essentiall non-oscillator scheme (HWENO) [34, 35, 36], and discontinuous Galerkin scheme (DG) [8, 9], etc. For the WENO and DG methods, two common ingredients are the use of Riemann solver for the interface flu evaluation [4] and the Runge-Kutta time-stepping for the high-order temporal accurac [3]. In terms of spatial accurac, the WENO approach is based on large stencil and man cells are involved in the reconstruction, which makes the scheme complicated in the application to comple geometr with unstructured mesh. For the DG methods, the most attractive propert is its compactness. Even with second order scheme stencil, higher-order spatial accurac can be achieved through the time evolution or direct update of higher-order spatial derivatives of flow variables. However, in the flow simulations with strong shocks, the DG methods seem lack of robustness. Great effort has been paid to limit the updated slopes or to find out the trouble cells beforehand. Still, the development of WENO and DG methods is the main research direction for higher-order schemes. In the above approaches, the first-order Riemann flu plas a ke role for the flow evolution. Recentl, instead of Riemann solver, man schemes have been developed based on the time-dependent flu function, such as the generalized Riemann problem (GRP) solver [, 2, 3] and AEDR framework [4]. An outstanding method is the two-stage fourth order scheme for the Euler equations [2], where both the flu and time derivative of flu function are used in the construction of higher-order scheme. A compact fourth order scheme can be also constructed under the GRP framework for the hperbolic equations []. Certainl, the 4th-order 2-stages discretization has been used under other framework as well [37, 7]. In the past ears, the gas-kinetic scheme (GKS) has been developed sstematicall [45, 46, 48]. The flu evaluation in GKS is based on the kinetic model equation and its time evolution solution from non-equilibrium towards to an equilibrium one. In GKS, the spatial and temporal evolution of a gas distribution function are full coupled nonlinearl. The comparison between GRP and GKS has been presented in [22] and the main difference is that GKS intrinsicall provides a NS flu instead of inviscid one in GRP. The third-order and fourth-order GKS can be developed as well without using Runge-Kutta time stepping technique, but their flu formulations become etremel complicated [26, 24], especiall for multidimensional flow. Under the framework of multiple stages and multiple derivatives (MSMD) technique for numerical solution of ordinar differential equations [4], a twostage fourth-order GKS with second-order flu function was constructed for the Euler and Navier-Stokes equations [33]. In comparison with the formal one-stage time-stepping thirdorder gas-kinetic solver [23, 26], the fourth-order scheme not onl reduces the compleit of the flu function, but also improves the accurac of the scheme, although the third-order and fourth-order schemes take similar computational cost. The robustness of the two-stage fourth-order GKS is as good as the second-order shock capturing scheme. B combining 2

3 the second-order or third-order GKS flues with the multi-stage multi-derivative technique again, a famil of high order gas-kinetic methods has been constructed [7]. The above higher-order GKS uses the higher-order WENO reconstruction for spatial accurac. These schemes are not compact and have room for further improvement. The GKS time dependent gas-distribution function at a cell interface provides not onl the flu evaluation and its time derivative, but also time accurate flow variables at a cell interface. The design of compact GKS based on the cell averaged and cell interface values has been conducted before [44, 3, 32]. In the previous approach, the cell interface values are strictl enforced in the reconstruction, which ma not be an appropriate approach. In this paper, inspired b the Hermite WENO (HWENO) reconstruction and compact fourth order GRP scheme [], instead of using the interface values we are going to get the slopes inside each control volume first, then based on the cell averaged values and slopes inside each control volume the HWENO reconstruction is implemented for the compact highorder reconstruction. The higher-order compact GKS developed in this paper is basicall a unified combination of three ingredients, which are the two-stage fourth-order framework for temporal discretization [33], the higher-order gas evolution model for interface values and flues evaluations, and the HWENO reconstruction. In comparison with the GRP based fourth-order compact scheme, the current GKS provides the time evolution of cell interface values one order higher in time than that in the GRP formulation. This fact makes the GKS more fleible to be etended to unstructured mesh, especiall for the Navier-Stokes solutions. The similarit and difference between the current compact 4th-order GKS and the 4thorder DG method include the followings. Both schemes are time eplicit, have the same order of accurac, and use the identical compact stencil with the same HWENO reconstruction. The standard Runge-Kutta DG scheme needs four stages within each time step to get a 4th-order temporal accurac, and the time step is on the order of CFL number. from stabilit consideration. For the 4th-order compact GKS, 2-stages are used for the same accurac due to the use of both flu and its time derivative, and the time step used in almost all calculations are on the order of CFL number.5. The updated slope in GKS comes from the eplicit evolution solution of flow variables at the cell interfaces, and the slope is obtained through the Gauss s theorem. The slope in DG method evolves through weak DG formulation. The dnamic difference in slope update deviates the GKS and the DG method. For the 4th-order compact GKS, the HWENO is full implemented without using an additional trouble cell or limiting technique. At end, the 4th-order compact GKS solves the NS equations naturall, it has the same robustness as the 2nd-order shock capturing scheme, and it is much more efficient and robust than the same order DG method. This paper is organized as follows. The brief review of the gas-kinetic flu solver is presented in Section 2. In Section 3, the general formulation for the two-stage temporal discretization is introduced. In Section 4, the compact gas-kinetic scheme with Hermite WENO reconstruction is given. Section 5 includes inviscid and viscous test cases to validate the current algorithm. The last section is the conclusion. 3

4 2. Gas-kinetic evolution model The two-dimensional gas-kinetic BGK equation [4] can be written as f t + u f = g f, () τ where f is the gas distribution function, g is the corresponding equilibrium state, and τ is the collision time. The collision term satisfies the following compatibilit condition g f ψdξ =, (2) τ where ψ = (, u, v, 2 (u2 + v 2 + ξ 2 )), dξ = dudvdξ...dξ K, K is the number of internal degree of freedom, i.e. K = (4 2γ)/(γ ) for two-dimensional flows, and γ is the specific heat ratio. Based on the Chapman-Enskog epansion for BGK equation [45], the gas distribution function in the continuum regime can be epanded as f = g τd u g + τd u (τd u )g τd u [τd u (τd u )g] +..., where D u = / t + u. B truncating on different orders of τ, the corresponding macroscopic equations can be derived. For the Euler equations, the zeroth order truncation is taken, i.e. f = g. For the Navier-Stokes equations, the first order truncated distribution function is f = g τ(ug + vg + g t ). (3) Based on the higher order truncations, the Burnett and super-burnett eqautions can be also derived [29, 47]. Taking moments of the BGK equation Eq.() and integrating with respect to space, the semi-discrete finite volume scheme can be written as dw ij dt = (F i+/2,j(t) F i /2,j (t)) (G i,j+/2(t) G i,j /2 (t)), (4) where W ij is the cell averaged value of conservative variables, F i+/2,j (t) and G i,j+/2 (t) are the time dependent numerical flues at cell interfaces in and directions. The Gaussian quadrature is used to achieve the accurac in space, such that F i+/2,j (t) = j+/2 F i+/2 (, t)d = j /2 2 ω l F i+/2,jl (t), (5) where ω = ω 2 = /2 are weights for the Gaussian quadrature point jl = j + ( )l 2 3, 4 l=

5 l =, 2, for a fourth-order accurac. F i+/2,jl (t) are numerical flues and can be obtained as follows F i+/2,jl (t) = ψuf( i+/2, l, t, u, v, ξ)dudvdξ, where f( i+/2, l, t, u, v, ξ) is the gas distribution function at the cell interface. In order to construct the numerical flues, the integral solution of BGK equation Eq.() is used f( i+/2, l, t, u, v, ξ) = τ t g(,, t, u, v, ξ)e (t t )/τ dt + e t/τ f ( ut, vt, u, v, ξ), (6) where ( i+/2, l ) = (, ) is the location of cell interface, and = + u(t t ) and = + v(t t ) are the trajector of particles. f is the initial gas distribution function representing the kinetic scale phsics, g is the corresponding equilibrium state related to the hdrodnamic scale phsics. The flow behavior at cell interface depends on the ratio of time step to the local particle collision time t/τ. To construct time evolution solution of a gas distribution function at a cell interface, the following notations are introduced first a =( g/ )/g, a 2 = ( g/ )/g, A = ( g/ t)/g, B = ( A/ t), d = ( a / ), d 2 = ( a / ) = ( a 2 / ), d 22 = ( a 2 / ), b = ( a / t) = ( A/ ), b 2 = ( a 2 / t) = ( A/ ), where g is an equilibrium state, and the dependence on particle velocit for each variable above, denoted as ω, can be epanded as follows [46] ω = ω + ω 2 u + ω 3 v + ω 4 2 (u2 + v 2 + ξ 2 ). For the kinetic part of the integral solution Eq.(6), the initial gas distribution function can be constructed as f = f l (,, u, v)h() + f r (,, u, v)( H()), where H() is the Heaviside function, f l and f r are the initial gas distribution functions on both sides of a cell interface, which have one to one correspondence with the initiall reconstructed macroscopic variables. For the third-order scheme, the Talor epansion for the gas distribution function in space at (, ) = (, ) is epressed as f k (, ) = fg(, k ) + f G k + f G k + 2 fg k fg k + 2 fg k 2 2 2, (7) 5

6 where k = l, r. According to the Cpapman-Enskog epansion, fg k can be written as f k G = g k τ(a k u + a 2k v + A k )g k, (8) where g l, g r are the equilibrium states corresponding to the reconstructed macroscopic variables W l, W r. Substituting Eq.(7) and Eq.(8) into Eq.(6), the kinetic part for the integral solution can be written as e t/τ f k ( ut, vt, u, v, ξ) =C 7 g k [ τ(a k u + a 2k v + A k )] +C 8 g k [a k u τ((a 2 k + d k )u 2 + (a k a 2k + d 2k )uv + (A k a k + b k )u)] +C 8 g k [a 2k v τ((a k a 2k + d 2k )uv + (a 2 2k + d 22k )v 2 + (A k a 2k + b 2k )v)] (9) + 2 C 9[g k (a 2 k + d k )u 2 + 2(a k a 2k + d 2k )uv + (a 2 2k + d 22k )v 2 ], where the coefficients a k,..., A k, k = l, r are defined according to the epansion of g k. After determining the kinetic part f, the equilibrium state g in the integral solution Eq.(6) can be epanded in space and time as follows g = g + g + g + g g g + 2 g t t g t 2 t2 + 2 g t t + 2 g t, () t where g is the equilibrium state located at interface, which can be determined through the compatibilit condition Eq.(2) ψg dξ = W = ψg l dξ + ψg r dξ, () u> u< where W are the macroscopic variables corresponding the equilibrium state g. Substituting Eq.() into Eq.(6), the hdrodnamic part for the integral solution can be written as τ t g(,, t, u, v, ξ)e (t t )/τ dt =C g + C 2 g a u + C 2 g a 2 v + C 3 g A + 2 C 5g (A 2 + B) + 2 C 4[g (a 2 + d )u 2 + 2(a a 2 + d 2 )uv + (a d 22 )v 2 ] (2) +C 6 g [(Aa + b )u + (Aa 2 + b 2 )v], where the coefficients a, a 2,..., A, B are defined from the epansion of equilibrium state g. 6

7 The coefficients C i, i =,..., 9 in Eq.(9) and Eq.(2) are given b C = e t/τ, C 2 = (t + τ)e t/τ τ, C 3 = t τ + τe t/τ, C 4 = (t 2 + 2tτ)e t/τ, C 5 =t 2 2tτ, C 6 = tτ( + e t/τ ), C 7 = e t/τ, C 8 = te t/τ, C 9 = t 2 e t/τ. The coefficients in Eq.(9) and Eq.(2) can be determined b the spatial derivatives of macroscopic flow variables and the compatibilit condition as follows a = W, a 2 = W, A + a u + a 2 v =, a 2 + d = 2 W, 2 a2 2 + d 22 = 2 W, a a d 2 = 2 W, (3) (a 2 + d )u + (a a 2 + d 2 )v + (Aa + b ) =, (a 2 a + d 2 )u + (a d 22 )v + (Aa 2 + b 2 ) =, (Aa + b )u + (Aa 2 + b 2 )v + (A 2 + B) =, where the superscripts or subscripts of these coefficients a,..., A, B are omitted for simplicit, more details about the determination of coefficient can be found in [23, 26]. For the noncompact two stages fourth-order scheme [33], theoreticall a second-order gas-kinetic solver is enough for accurac requirement, where the above third-order evolution solution reduces to the second-order one [46], f( i+/2,jl, t, u, v, ξ) =( e t/τ )g + ((t + τ)e t/τ τ)(a u + a 2 v)g +(t τ + τe t/τ )Āg +e t/τ g r [ (τ + t)(a r u + a 2r v) τa r )]H(u) +e t/τ g l [ (τ + t)(a l u + a 2l v) τa l )]( H(u)). (4) In this paper we will develop a compact scheme. In order to make consistenc between the flu evaluation and the interface value update, a simplified 3rd-order gas distribution function will be used [5]. With the introduction of the coefficients a = a = g /g, a = a 2 = g /g, a t = A = g t /g, a = g /g, a = g /g, a = g /g, a t = g t /g, a t = g t /g, a tt = g tt /g, (5) 7

8 the determination of these coefficients in Eq.(3) is simplified to a = W, a = W, a t + a u + a v =, a = 2 W, a = 2 W 2, a = 2 W, 2 a u + a v + a t =, a u + a v + a t =, a t u + a t v + a tt =, (6) and the final simplified distribution function from Eq.(6), (9) and (2) becomes f( i+/2,jl,, t, u, v, ξ) =g + 2ḡ 2 + ḡ t t + 2ḡttt 2 τ[(ḡ t + uḡ + vḡ ) + (ḡ tt + uḡ t + vḡ t )t] e t/τn [g (uḡ + vḡ )t] + e t/τn [g l (ug l + vg l )t]h(u) + e t/τn [g r (ug r + vg r )t]( H(u)). (7) Both time-dependent interface flow variables and flu evaluations will be obtained from the about Eq.(7). With the same 3rd-order accurac, the above simplified distribution function can speed up the flu calculation 4 times in comparison to the complete distribution function in 2-D case. 3. Two-stage fourth-order temporal discretization Recentl, the two-stage fourth-order temporal discretization was developed for the generalized Riemann problem solver (GRP) [2] and gas-kinetic scheme (GKS) [33]. For conservation laws, the semi-discrete finite volume scheme is written as W ij t = (F i+/2,j(t) F i /2,j (t)) (G i,j+/2(t) G i,j /2 (t)) := L ij (W ), where L ij (W ) is the numerical operator for spatial derivative of flu. With the following proposition, the two-stage fourth-order scheme can be developed. Proposition. Consider the following time-dependent equation with the initial condition at t n, i.e., W t = L(W ), (8) W (t = t n ) = W n, (9) 8

9 where L is an operator for spatial derivative of flu. A fourth-order temporal accurate solution for W (t) at t = t n + t can be provided b W = W n + 2 tl(w n ) + 8 t2 t L(W n ), W n+ = W n + tl(w n ) + 6 t2( t L(W n ) + 2 t L(W ) ). where the time derivatives are obtained b the Cauch-Kovalevskaa method (2) W n = L(W n ), t W = L(W ), t The details of proof can be found in [2]. t L(W n ) = t L(W ) = W L(W n )L(W n ), W L(W )L(W ). In order to utilize the two-stage fourth-order temporal discretization in the gas-kinetic scheme, the temporal derivatives of the flu function need to be determined. While in order to obtain the temporal derivatives at t n and t = t n + t/2 with the correct phsics, the flu function should be approimated as a linear function of time within the time interval. Let s first introduce the following notation, F i+/2,j (W n, δ) = tn+δ t n F i+/2,j (W n, t)dt = 2 tn+δ ω l l= t n uψf( i+/2,jl, t, u, v, ξ)dudξdt, where the gas distribution function f is provided in Eq.(7). For convenience, assume t n =, the flu in the time interval [t n, t n + t] is epanded as the following linear form The coefficients F n i+/2,j and tf n i+/2,j F i+/2,j (W n, t) = F n i+/2,j + t t F n i+/2,j. (2) can be full determined as follows F i+/2,j (W n, t n ) t + 2 tf i+/2,j (W n, t n ) t 2 = F i+/2,j (W n, t), 2 F i+/2,j(w n, t n ) t + 8 tf i+/2,j (W n, t n ) t 2 = F i+/2,j (W n, t/2). B solving the linear sstem, we have F i+/2,j (W n, t n ) = (4F i+/2,j (W n, t/2) F i+/2,j (W n, t))/ t, t F i+/2,j (W n, t n ) = 4(F i+/2,j (W n, t) 2F i+/2,j (W n, t/2))/ t 2. (22) 9

10 The flu for updating the intermediate state W ij is F i+/2,j = 2 F i+/2,j(w n, t n ) + t 8 tf i+/2,j (W n, t n ), and the final epression of flu in unit time for updating the state W n+ ij can be written as i+/2,j = F i+/2,j (W n, t n ) + t [ t F i+/2,j (W n, t n ) + 2 t F i+/2,j (W, t ) ]. 6 F n Similarl, (G i,j+/2 (W n, t n ) can be constructed as well. In the fourth-order scheme, the first order time derivative of the gas-distribution function is needed, which requires a higher order gas evolution than the Riemann problem. Different from the Riemann problem with a constant state at a cell interface, the gaskinetic scheme provides a time evolution solution. Taking moments of the time-dependent distribution function in Eq.(7), the pointwise values at a cell interface can be obtained W i+/2,jl (t) = ψf( i+/2,jl, t, u, v, ξ)dudvdξ. (23) Similar to the proposition for the two-stage temporal discretization, we have the following proposition for the time dependent gas distribution function at a cell interface Proposition 2. With the introduction of an intermediate state at t = t n + A t, the state f n+ is updated with the following formula f = f n + A tf n t + 2 A2 t 2 f n tt, (24) f n+ = f n + t(b f n t + B f t ) + 2 t2( C f n tt + C f tt), (25) and the solution f n+ at (t = t n + t) has fourth-order accurac with the following coefficients The proposition can be proved using the epansion A = 2, B =, B =, C = 3, C = 2 3. (26) f n+ = f n + tf n t + t2 2 f n tt + t3 6 f n ttt + t4 24 f n tttt + O( t 5 ).

11 According to the definition of the intermediate state, the above epansion becomes f n+ f n = t(b + B )f n t + t2 2 (C + C + 2B A)f n tt + t3 2 (B A 2 + C A)f n ttt + t4 4 C A 2 f n tttt + O( t 5 ). To have a fourth-order accurac for the interface value at t n+, the coefficients are uniquel determined b Eq.(26). Therefore, the macroscopic variables W n+ i+/2 at a cell interface can be obtained b taking moments of f n+ and the cell interface values can be used for the reconstruction at the beginning of net time step. In order to utilize the two-stage fourth-order temporal discretization for the gas distribution function, the third-order gas-kinetic solver is needed. To construct the first and second order derivative of the gas distribution function, the distribution function in Eq.(7) is approimated b the quadratic function f(t) = f( i+/2,jl, t, u, v, ξ) = f n + f n t (t t n ) + 2 f n tt(t t n ) 2. According to the gas-distribution function at t =, t/2, and t f n = f(), f n + 2 f n t t + 8 f n tt t 2 = f( t/2), f n + f n t t + f n tt t 2 = f( t), the coefficients f n, f n t and f n tt can be determined f n = f(), f n t = (4f( t/2) 3f() f( t))/ t, ftt n = 4(f( t) + f() 2f( t/2))/ t 2. Thus, f and f n+ are full determined at the cell interface. Remark. For smooth flow, the third-order evolution in Eq.(7) reduces to f( i+/2,jl,, t, u, v, ξ) =g + ḡ t t + 2 2ḡttt The coefficients in Eq.(24)and Eq.(25) can be simplified as f n = g n, ft n = ḡt n, ftt n = ḡtt, n and f = g, ft = ḡt, ftt = ḡtt,

12 and the cell interface values W n+ i+/2 become W n+ i+/2 = ψf n+ dξ, where the gas distribution function f n+ has the form f n+ =g n + tḡ n t + 6 t2 (ḡ n tt + 2ḡ tt). Remark 2. For the scheme based on GRP in [], the temporal evolution for the interface value is equivalent to f = f n + 2 tf n t, f n+ = f n + tf t, (27) where a second-order evolution model is used at the cell interface. This is the two step Runge-Kutta method with second order time accurac for the updated cell interface values at time step t n+. The order for the interface values is lower than that of GKS method. The method in [] ma have difficult to get a compact 4th-order scheme in irregular mesh, such as unstructured one. 4. HWENO Reconstruction With the cell averaged values and pointwise values at cell interfaces, the Hermite WENO (HWENO) reconstruction can be used for the gas-kinetic scheme. The original HWENO reconstruction [34, 35, 36] was developed for the hperbolic conservation laws W t + F (W ) =. (28) In order to construct the Hermite polnomials, the corresponding equations for spatial derivative are used (W ) t + G(W, W ) =, (29) where G(W, W ) = F (W )W = F (W )(W ). Therefore, in the previous HWENO approaches, the cell averaged values W i and spatial derivative (W ) i are updated b the following semi-discrete finite volume scheme dw i dt d(w ) i dt = ( F i+/2 F i /2 ), = (Ĝi+/2 Ĝi /2), where F i+/2 and Ĝi+/2 are the corresponding numerical flues. The above evolution solution for W is different from the update of W in the gas-kinetic scheme, which is shown in the 2

13 following. In the gas-kinetic scheme, the above equation for evolving the spatial derivative (W ) i is not needed, and the spatial derivatives for all flow variables are updated b the cell interface values with the help of the Newton-Leibniz formula (W ) i = I i W d = (W i+/2 W i /2 ), where W i+/2 is provided b taking moments of the gas distribution function at the cell interface according to Eq.(25). With the cell averaged values W i and the cell averaged spatial derivatives (W ) i, the HWENO method can be directl applied for the spatial higher-order reconstruction. 4.. One-dimensional reconstruction Based on the cells I i, I i, I i+ and I i+2, the compact HWENO reconstruction gives the reconstructed variables Wi+/2 r and W i+/2 l at both sides of the cell interface i+/2 [34]. For cell i, with the reconstructed values of Wi /2 r, W i+/2 l and cell averaged W i, a parabolic distribution of W inside cell i can be obtained, from which the initial condition for f in cell i are full determined. Then, the equilibrium state g() at the cell interface is determined from macroscopic variables W () from the collision of left and right states Wi+/2 r and W i+/2 l according to Eq.(). To full determine the slopes of the equilibrium state across the cell interface, the conservative variables across the cell interface is epanded as W () = W + S ( i+/2 ) + 2 S 2( i+/2 ) S 3( i+/2 ) S 4( i+/2 ) 4. With the following conditions, I i+k W () = W i+k, k =,..., 2, the derivatives are given b W = S = [ 2 (W i+2 W i ) (W i+ W i ) ] /, W = S 2 = [ 8 (W i+2 + W i ) (W i+ + W i ) 5 2 W ] / 2. Thus, the reconstruction for the initial data and the equilibrium part are full given in the one-dimensional case Two dimensional reconstruction The direction b direction reconstruction strateg is applied on rectangular meshes [5]. The HWENO reconstruction can be etended to 2-D straightforward. 3 (3)

14 Before introducing the reconstruction procedure, let s denote W as cell averaged, Ŵ as line averaged, and W as pointwise values. Here W l,r represent the reconstructed quantities on the left and right sides, which correspond to the non-equilibrium initial part in GKS framework. Then, W e is the reconstructed equilibrium state. At t n step, for cell (i, j) the cell average quantities W n i,j, W n,i,j, W n,i,j are stored. For a fourth order scheme, two Gaussian points in each interface are needed for numerical flu integration. Our target is to construct W l,r, W l,r, W l,r, W l,r, W l,r, W l,r and W e, W, e W, e W e, W, e W e at each Gaussian point. To obtain these quantities, four line averaged sloped Ŵ,i,j n l, Ŵ,i n l,j are additionall evaluated, where l =, 2 represents the location Gaussian quadrature points in the corresponding direction. For a better illustration, a schematic is plotted in Fig. and the reconstruction procedure for the Gaussian point (i /2, j ) is summarized as follows. Here the time level n is omitted.,,,,,,,,,,,,,, Figure : The schematic for 2-D HWENO-GKS reconstruction. Left: Initial data for compact reconstruction at Gaussian points (in red color). Right: Reconstruction stencils for current compact HWENO GKS (red bo) and non-compact WENO GKS (blue bo). Step. To obtain the line average values, i.e. Ŵ i,jl, we perform HWENO reconstruction in tangential direction b using W i,j, W i,j, W i,j+, and W,i,j, W,i,j+. See Appendi for details. Step 2. With the reconstructed line average values i.e. Ŵ i,j, Ŵi,j, Ŵi+,j and original Ŵ,i,j, Ŵ,i+,j, the one dimensional HWENO reconstruction is conducted and Wi /2,j r, Wi+/2,j l are obtained. With the same derivative reconstruction method in [26], W,i /2,j r, W,i+/2,j l and W,i /2,j r, W,i+/2,j l are constructed. Step 3. To obtain the macro variables representing equilibrium state for each Gaussian point i.e. W i /2,j with Ŵ,i /2,j l, Ŵ,i /2,j r b using Eq.(). W,i /2,j e,w,i /2,j e are calculated b Eq. (3). Step 4. For the tangential derivatives, i.e. W,i /2,j r, W,i /2,j r, a WENO-tpe reconstruction is adopted b using Wi /2,(j ) r 2, Wi /2,j r, Wi /2,j r 2, Wi /2,(j+) r, see in Appendi 2. And W,i /2,j r could be obtained in the same wa with corresponding W. r 4

15 Step 5. For the equilibrium state, a smooth third-order polnomial is constructed b Wi /2,(j ) e 2, Wi /2,j e and the tangential derivatives, i.e. W,i /2,j e, W,i /2,j e are also obtained. Then, W,i /2,j e can be determined in the same wa as for the corresponding W. e Similar procedure can be performed to obtain all needed values at each Gaussian point. After gas evolution process, the updated cell interface values are obtained, i.e. at time t = t Wi±/2,j l,wi l,j±/2, as well as the the cell averaged slopes W,i,j = W,i,j = 2 l= 2 l= (W i+/2,j l W i /2,j l ), (3) (W i l,j+/2 W i l,j /2), (32) according to the Gauss s theorem. The cell averaged values are computed through conservation laws W i,j = W n i,j 2 l= (F i+/2,j l F i /2,j l ) 2 l= (F i l,j+/2 F i l,j /2), (33) where F and G are corresponding flues in and direction. Lastl, in the rectangular case, the line averaged slopes are approimated b 5. Numerical eamples Ŵ,i,j l = (W i+/2,j l W i /2,j l ), (34) Ŵ,i l,j = (W i l,j+/2 W i l,j /2). (35) In this section, numerical tests will be presented to validate the compact 4th-order GKS. For the inviscid flow, the collision time τ is τ = ɛ t + C p l p r p l + p r t, where ε =. and C =. For the viscous flow, the collision time is related to the viscosit coefficient, τ = ν p + C p l p r p l + p r t, where p l and p r denote the pressure on the left and right sides of the cell interface, ν is the dnamic viscous coefficient, and p is the pressure at the cell interface. In smooth flow regions, it will reduce to τ = ν/p. The ratio of specific heats takes γ =.4. The reason for 5

16 including pressure jump term in the particle collision time is to add artificial dissipation in the discontinuous region, where the numerical cell size is not enough to resolve the shock structure, and to keep the non-equilibrium in the kinetic formulation to mimic the real phsical mechanism in the shock laer. Same as man other higher-order schemes, all reconstructions will be done on the characteristic variables. Denote F (W ) = (ρu, ρu 2 + p, ρuv, U(ρE + p)) in the local coordinate. The Jacobian matri F/ W can be diagonalized b the right eigenmatri R. For a specific cell interface, R is the right eigenmatri of F/ W, and W are the averaged conservative flow variables from both sided of the cell interface. The characteristic variables for reconstruction are defined as U = R W. The current compact 4th-order GKS is compared with the non-compact 4th-order WENO- GKS in [33, 3]. Both schemes take the same two Gaussian points at each cell interface in 2D case, and two stage fourth order time marching strateg for flu evaluation. The reconstruction is based on characteristic variables for both schemes and uses the same tpe non-linear weights of WENO-JS [8] in most cases. The main difference between them is on the initial data for reconstruction, where the large stencils used in the normal WENO-GKS are replaced b the local interface values in the compact HWENO-GKS. 5.. Accurac tests The advection of densit perturbation is tested, and the initial condition is given as follows ρ() = + sin(π), U() =, p() =, [, 2]. The periodic boundar condition is adopted, and the analtic solution is ρ(, t) = + sin(π( t)), U(, t) =, p(, t) =. In the computation, a uniform mesh with N points is used. The time step t = is fied. Before the full scheme using HWENO is tested, the order of accurac for the cell interface values will be validated firstl. Here instead of using HWENO, we are going to use the cell interface values directl in the reconstruction for the compact GKS scheme. Based on the compact stencil, S = {W i, W i /2, W i, W i+/2, W i+ } with three cell averaged values and two cell interface values, a fourth-order polnomial W () can be constructed according to the following constrains I i+l W ()d = W i+l, l =,,, W ( i+m /2 ) = W i+m /2, m =,, where the cell interface value W ( i+/2 ) is equal to W i+/2 eactl. Based on the above reconstruction, the compact scheme is epected to present a fifth-order spatial accurac 6

17 and a fourth-order temporal accurac. The L and L 2 errors and orders at t = 2 are given in Table.. This test shows that the cell interface updated values have the the epected accurac, which can be used in the spatial reconstruction. Nest, the full compact GKS is tested using the HWENO reconstruction, where the interface values are transferred into the cell averaged slopes. For the HWENO compact GKS, the L and L 2 errors and order of accurac at t = 2 are shown in Table.2. With the mesh refinement, the epected order of accurac is obtained as well. mesh L error convergence order L 2 error convergence order.2797e E E E E E E E E E E E E E Table : Advection of densit perturbation: accurac test for the cell interface values in reconstructions. mesh L error convergence order L 2 error convergence order e e e e e e e e e e e e e e Table 2: Advection of densit perturbation: accurac test for HWENO compact GKS method at smooth reconstruction One dimensional Riemann problems The first case is the Woodward-Colella blast wave problem [43], and the initial conditions are given as follows (,, ), <, (ρ, U, p) = (,,.), < 9, (,, ), 9. The computational domain is [, ], and the reflected boundar conditions are imposed on both ends. The computed densit profile and local enlargement with 4 mesh points 7

18 6 eact solution non compact gks 4 cells compact gks 4 cells 6 eact solution non compact gks 4 cells compact gks 4 cells 5 densit 4 3 densit Figure 2: Blast wave problem: the densit distribution and local enlargement at t = 3.8 with 4 cells. and the eact solution at t = 3.8 are shown in Fig.2. The numerical results agree well with the eact solutions. The scheme can resolve the wave profiles well, particularl for the local etreme values. The second one is the Shu-Osher problem [39], and the initial conditions are { ( , ,.33333), 5 < 4, (ρ, U, p) = ( + sin(5),, ), 4 < < 5. As an etension of the Shu-Osher problem, the Titarev-Toro problem [4] is tested as well, and the initial condition in this case is the following { (.55695, ,.85), 5 < 4.5, (ρ, U, p) = ( +. sin(2π),, ), 4.5 < < 5. In these two cases, the computational domain is [ 5, 5]. The non-reflecting boundar condition is imposed on left end, and the fied wave profile is given on the right end. Both compact GKS with HWENO and non-compact GKS with fifth-order WENO are tested for these two cases. The computed densit profiles, local enlargements, and the eact solutions for the Shu-Osher problem with 4 mesh points at t =.8 and the Titarev-Toro problem with mesh points at t = 5 are shown in Fig.3 and Fig.4, respectivel. Titarev-Toro problem is sensitive to reconstruction scheme [5, ]. Instead of WENO-JS used above for non-linear weights, the WENO-Z weights can keep the same order of accurac in etreme points. Combing the HWENO-Z reconstruction and the compact GKS, the result is shown in Fig.5, which can be compared with the solution from the GRP method []. 8

19 densit 3 densit eact solution non compact GKS 4 cells compact GKS 4 cells 3 eact solution non compact GKS 4 cells compact GKS 4 cells Figure 3: Shu-Osher problem: the densit distributions and local enlargement at t =.8 with 4 cells..6.7 eact solution non compact GKS cells compact GKS cells.4.6 densit.2 densit.5 eact solution non compact GKS cells compact GKS cells Figure 4: Titarev-Toro problem: the densit distributions and local enlargement at t = 5 with cells Two-dimensional Riemann problems In the following, two eamples of two-dimensional Riemann problems are considered [27], which involve the interactions of shocks and the interaction of contact continuities. The computational domain [, ] [, ] is covered b 5 5 uniform mesh points, where non-reflecting boundar conditions are used in all boundaries. The initial conditions for the 9

20 .6.7 eact solution HWENO5 Z compact GKS cells.4.6 densit.2 densit.5 eact solution HWENO5 Z compact GKS cells Figure 5: Titarev-Toro problem: the results b using HWENO-Z reconstruction. first problem are (.5,,,.5), >.7, >.7, (.5323,.26,,.3), <.7, >.7, (ρ, U, V, p) = (.38,.26,.26,.29), <.7, <.7, (.5323,,.26,.3), >.7, <.7. Four initial shock waves interact with each other and result in a complicated flow pattern. The densit distributions calculated b compact and non-compact GKS with HWENO and WENO reconstructions are presented at t =.6 in Fig. 6. From the analsis in [27], the initial shock wave S23 bifurcates at the trip point into a reflected shock wave, a Mach stem, and a slip line. The reflecting shock wave interacts with the shock wave S2 to produce a new shock. The small scale flow structures are well resolved b the current scheme. The initial conditions for the second 2-D Riemann problem are (,.,., ), >.5, >.5, (.597,.6259,.,.4), <.5, >.5, (ρ, U, V, p) = (.8,.,.,.4), <.5, <.5, (.597,.,.6259,.4), >.5, <.5. This case is to simulate the shear instabilities among four initial contact discontinuities. The densit distributions calculated b compact and non-compact GKS with HWENO and WENO reconstructions are presented at t =.8 in Fig.7. The results indicate that the current HWENO compact GKS resolves the Kelvin-Helmholtz instabilities better. 2

21 non compact GKS compact GKS Figure 6: Two-dimensional Riemann problem: the densit distribution of four shock-interaction at t =.6. non compact GKS compact GKS Figure 7: Two-dimensional Riemann problem: the densit distribution of four contact discontinuitiesinteraction at t = Double Mach reflection problem This problem was etensivel studied b Woodward and Colella [43] for the inviscid flow. The computational domain is [, 4] [, ], and a solid wall lies at the bottom of the computational domain starting from = /6. Initiall a right-moving Mach shock is positioned at (, ) = (/6, ), and makes a 6 angle with the -ais. The initial pre-shock 2

22 .8 non compact GKS compact GKS non compact GKS.6 compact GKS Figure 8: Double Mach reflection: densit contours from compact and non-compact GKS with HWENO and WENO reconstructions and mesh points. and post-shock conditions are (ρ, U, V, p) = (8, , 4.25, 6.5), (ρ, U, V, p) = (.4,,, ). The reflecting boundar condition is used at the wall, while for the rest of bottom boundar, the eact post-shock condition is imposed. At the top boundar, the flow variables are set to follow the motion of the Mach shock. The densit distributions and local enlargement with and uniform mesh points at t = with HWENO reconstructions 22

23 .8 non compact GKS compact GKS non compact GKS.6 compact GKS Figure 9: Double Mach reflection: local enlargement of densit contours from compact and non-compact GKS with HWENO and WENO reconstructions and mesh points. are shown in Fig.8 and Fig.9. The robustness of the compact GKS is validated, and the flow structure around the slip line from the triple Mach point is resolved better b the compact scheme Viscous shock tube problem This problem was introduced to test the performances of different schemes for viscous flows []. In this case, an ideal gas is at rest in a two-dimensional unit bo [, ] [, ]. A membrane located at =.5 separates two different states of the gas and the dimensionless 23

24 Scheme AUSMPW+ [9] M-AUSMPW+ [9] WENO-GKS HWENO-GKS Height Table 3: Viscous shock tube problem: comparison of the primar vorte heights among different schemes with 5 25 uniform mesh points for Re = 2 case. initial states are (ρ, U, p) = { (2,, 2/γ), < <.5, (.2,,.2/γ),.5 < <, where γ =.4 and Prandtl number P r =.73. The membrane is removed at time zero and wave interaction occurs. A shock wave, followed b a contact discontinuit, moves to the right with Mach number Ma = 2.37 and reflects at the right end wall. After the reflection, it interacts with the contact discontinuit. The contact discontinuit and shock wave interact with the horizontal wall and create a thin boundar laer during their propagation. The solution will develop comple two-dimensional shock/shear/boundar-laer interactions. This case is tested in the computational domain [, ] [,.5], a smmetric boundar condition is used on the top boundar [, ], =.5. Non-slip boundar condition, and adiabatic condition for temperature are imposed at solid wall. Firstl, the Renolds number Re = 2 case is tested. For this case with Re = 2, the densit distributions with 5 25 uniform mesh points at t =. from non-compact and compact GKS with HWENO and WENO reconstructions are shown in Fig.. The densit profiles along the lower wall for this case are presented in Fig.. As a comparison, the results from WENO reconstruction with 5 uniform mesh points is given as well, which agrees well with the densit profiles provided b compact GKS with HWENO method and 5 25 mesh points. As shown in Table.3, the height of primar vorte predicted b the current compact scheme agrees well with the reference data [9]. Secondl, the Re = case is computed with different girds. For the case with 5 coarse mesh points vorte shedding could be observed clearl at the wedgeshaped area defined in [2], seen in Fig.2. Also, the densit distribution along the wall at t =. is plotted in Fig.4. In comparison with the reference result of two stage fourth order GKS [33], both the overall densit contours, seen in Fig.3 and densit distribution along the wall agree well with traditional non-compact WENO GKS Lid-driven cavit flow In order to further test the scheme in the capturing of viscous flow solution, the liddriven cavit problem is one of the most important benchmarks for validating incompressible Navier-Stokes flow solvers. The fluid is bounded b a unit square and is driven b a uniform translation of the top boundar. In this case, the flow is simulated with Mach number M a =.5 and all boundaries are isothermal and nonslip. The computational domain [, ] [, ] is covered with mesh points. Numerical simulations are conducted for two different Renolds numbers, i.e., Re = 4 and. The streamlines in Fig.5, the U- velocities along the center vertical line, and V -velocities along the center horizontal line, are 24

25 .3 Re=2 non compact GKS. H Re=2 compact GKS Figure : Viscous shock tube problem: densit contours with 5 25 uniform mesh points at t = for Re = 2 case. non compact GKS = =/ non compact GKS = =/5 compact GKS = =/5 densit Figure : Viscous shock tube problem: densit profiles along the lower wall at t = for Re = 2 case. shown in Fig.6. The benchmark data [2] for Re = 4 and are also presented, and the simulation results match well with these benchmark data. The cavit case full validates the higher-order accurac of the compact GKS. With mesh points, second-order schemes cannot get such accurate solutions. 6. Conclusion In this paper, a fourth-order compact gas-kinetic scheme based on Hermite WENO reconstruction is presented. The construction of such a compact higher-order scheme is solel due to the use of the updated cell interface values, from which the averaged slopes inside each 25

26 .3 Re= compact GKS = =/ Figure 2: Viscous shock tube problem: densit contours with 5 uniform mesh points at t = for Re = case..3 Re= compact GKS = =/ Figure 3: Viscous shock tube problem: densit contours with 2 uniform mesh points at t = for Re = case. 2 non compact GKS = =/2 compact GKS = =/ compact GKS = =/2 densit Figure 4: Viscous shock tube problem: densit profiles along the lower surface at t = for Re = case. cell can be obtained. Therefore, the HWENO reconstruction can be naturall implemented here. There are similarit and differences between the current GKS and the compact 4thorder DG method. Both schemes have the same order accurac and use the same HWENO reconstruction with the same compactness of the stencil. The main difference between these 26

27 two methods is that for the DG method the slope at time step t n+ is obtained through time evolution of the slope directl. However, for the GKS the cell interface values are evolved first, then the slope at t n+ is derived using Gauss s law through the interface values. More specificall, in the DG method the cell averaged values through flues and their slopes are evolved separatel with individual discretized governing equations, while in the GKS the updates of both cell averaged values and their slopes are coming from the same interface time-dependent gas distribution function, which is an analticall evolution solution of the kinetic relaation model. The DG is based on the weak formulation with the involvement of test function, the GKS is based on the strong solution, which is unique from the kinetic model equation and the initial reconstruction. As a result, for the 4th-order accurac, the DG uses the Runge-Kutta time stepping scheme with four stages within each time step and has a CFL number limitation of. from the stabilit consideration. For the same order GKS, onl two stages are involved and the CFL number for the time step can be on the order of.5. Even with the epensive GKS flu function targeting on the Navier-Stokes solutions, the computational efficienc of the GKS is much higher than that of the DG method for the Euler equations alone. Based on the test cases in this paper and man others not presented here, the 4th-order compact GKS has the same robustness as the 2nd-order shock capturing schemes, where there are no trouble cells and an other special limiting process involved in the GKS calculations. For the high speed compressible flow it is still an active research subject in the DG formulation to improve its robustness to ver complicated flow interactions, such as the computation of viscous shock tube case at Renolds number, and there is no an clear direction for its further improvement. Man numerical eamples are presented to validate the higher-order compact GKS. The current paper onl presents the compact scheme on structured rectangular mesh. Following the approach of the 3rd-order compact GKS on unstructured mesh [3], the current 4th-order compact GKS is being etended there as well. The present research clearl indicates that the dnamics of the st-order Riemann solver is not enough for the construction of trul higher-order compact scheme. To keep the compactness is necessar for an scheme with correct phsical modeling because the evolution of gas dnamics in an scale from the kinetic particle transport to the hdrodnamic wave propagation does onl involve neighboring flow field with limited propagating speed [49], where the CFL condition is not onl a stabilit requirement, but also quantifies the relative phsical domain of dependence. Ideall, the numerical domain of dependence should be the same as the phsical domain of dependence, rather than the large disparit between them in the current eisting schemes, such as the ver large numerical domain of dependence (large stencils) in the WENO approach and the severel confined CFL number in the DG method. Due to the local high-order gas evolution model in GKS, both numerical and phsical domains of dependence are getting closer in the current compact GKS for the Euler and NS solutions. The unified gas kinetic scheme (UGKS) makes these two domains of dependence even closer than that of GKS [45, 49], such as in the low Renolds number viscous flow computations, where the UGKS can use a much larger CFL number than that of GKS. 27

28 Acknowledgement The authors would like to than Prof. J.Q. Li and J.X. Qiu for helpful discussion. The current research was supported b Hong Kong research grant council (62667,62775,624) and NSFC (95339,77228). Appendi : HWENO Reconstruction at Gaussian points For the interface values reconstruction, starting from the same stencils as in [34], the pointwise values for three sub-stencils at Gaussian point i+/2 3 are p ( i+/2 3 ) = W i W i (W ) i, p ( i+/2 3 ) = 3 3 W i + W i (W ) i+, p 2 ( i+/2 3 ) = 4 3 W i + W i W i+. The pointwise value for the large stencil at the Gaussian point i+/2 3 is q( i+/2 3 ) = 72 [(2 95 3)W i + ( )W i+ + 76W i + ( 35 3)(W ) i ( )(W ) i+ )]. In order to satisf the following equations q( i+/2 3 ) = 2 ˆγ k p k ( i+/2 3 ), k= the linear weights become ˆγ = 5 3, ˆγ = 5 + 3, ˆγ 2 = 5. The smoothness indicators and non-linear weights take the identical forms as that in [34]. The pointwise values and linear weights at another Gaussian point i /2 3 can be obtained similarl using smmetrical propert. Appendi 2: Reconstruction for slope at Gaussian points The slope at Gaussian points is reconstructed as follows. Denote that P i /2,jl, l =, as the Gaussian quadrature points of the interface (i /2, j). For simplicit, the suffi i /2 is omitted net without confusion. Two sub-stencils are defined as S = {P (j )2, P j, P j2 }, S = {P j, P j2, P (j+) }, 28

29 where j = j /2 3, j 2 = j + /2 3. A quadratic polnomial p i () can be constructed corresponding to S i, i =,. For the large stencil T = {S, S }, a cubic polnomial q() can be constructed as well. The first-order derivative of q() can be written as a linear combination of all first-order derivatives of p i () corresponding to stencils S i at Gaussian point j+/2 3 q ( j+/2 3 ) = k= ( p ) ˇγ k ( j+/2 3 ), k where the linear weights takes ˇγ = 5 3, ˇγ = 6 + 3, and ( p ) ( j+/2 3 ) = ( 3 ) (W (j ) 2 3W j + 2W j2 ), ( p ) ( j+/2 3 ) = ( 3 ) [( 2 + 3)W j + (3 2 3)W j2 + W (j+) ]. where W jl are the pointwise values at the Gaussian quadrature points P jl. The smoothness indicators for ˇβ k, k =, are defined b ˇβ k = 3 j+/2 j /2 and the detailed formulae are given as follows ( 2 d d p i() ) 2 d, 2 4 ˇβ = ( 3 ) [ 3W 2 (j )2 3W j + (3 3)W j2 ] 2, 4 ˇβ = ( 3 ) [(3 3)W 2 j 3W j2 + 3W (j+) ] 2. Finall, the non-normalized nonlinear weights ˇω k, k =, are ˇω k = ˇγ k ( ˇβ k + ɛ) 2. The pointwise values and linear weights at Gaussian point j /2 3 can be obtained similarl using the smmetrical propert. 29