Runge-Kutta discontinuous Galerkin method with a simple and compact Hermite WENO limiter Jun Zhu, inghui Zhong, Chi-Wang Shu 3 and Jianxian Qiu, College of Science, Nanjing University of Aeronautics and Astronautics, Nanjing, Jiangsu 6, P.R. China. Department of Mathematics, Michigan State University, East Lansing, MI 88, USA. 3 Division of Applied Mathematics, Brown University, Providence, RI 9, USA. School of Mathematical Sciences and Fujian Provincial Key Laboratory of Mathematical Modeling and High-Performance Scientific Computation, iamen University, iamen, Fujian 365, P.R. China. Abstract. In this paper, we propose a new type of weighted essentially non-oscillatory (WENO) limiter, which belongs to the class of Hermite WENO (HWENO) limiters, for the Runge-Kutta discontinuous Galerkin (RKDG) methods solving hyperbolic conservation laws. his new HWENO limiter is a modification of the simple WENO limiter proposed recently by Zhong and Shu [9]. Both limiters use information of the DG solutions only from the target cell and its immediate neighboring cells, thus maintaining the original compactness of the DG scheme. he goal of both limiters is to obtain high order accuracy and non-oscillatory properties simultaneously. he main novelty of the new HWENO limiter in this paper is to reconstruct the polynomial on the target cell in a least square fashion [8] while the simple WENO limiter [9] is to use the entire polynomial of the original DG solutions in the neighboring cells with an addition of a constant for conservation. he modification in this paper improves the robustness in the computation of problems with strong shocks or contact discontinuities, without changing the compact stencil of the DG scheme. Numerical results for both one and two dimensional equations including Euler equations of compressible gas dynamics are provided to illustrate the viability of this modified limiter. AMS subject classifications: 65M6, 35L65 Key words: Runge-Kutta discontinuous Galerkin method; HWENO limiter; conservation law. Corresponding author. Email addresses: zhujun@nuaa.edu.cn (J. Zhu), zhongxh@math.msu.edu (. Zhong), shu@dam.brown.edu (C.-W. Shu), jxqiu@xmu.edu.cn (J. Qiu) http://www.global-sci.com/ Global Science Preprint
Introduction In this paper, we are interested in solving the hyperbolic conservation law { ut + f(u) x =, u(x,)=u (x), (.) and its two-dimensional version { ut + f(u) x +g(u) y =, u(x,y,)=u (x,y), (.) using the Runge-Kutta discontinuous Galerkin (RKDG) methods [ 7], where u, f(u) and g(u) can be either scalars or vectors. It is not an easy task to solve (.) and (.) since solutions may contain discontinuities even if the initial conditions are smooth. Discontinuous Galerkin (DG) methods can capture weak shocks and other discontinuities without further modification. However, for problems with strong discontinuous solutions, the numerical solution has significant oscillations near discontinuities, especially for high order methods. A common strategy to control these spurious oscillations is to apply a nonlinear limiter. One type of limiters is based on the slope methodology, such as the minmod type limiters [ 7], the moment based limiter [] and an improved moment limiter [3]. hese limiters do control the oscillations well, however they may degrade accuracy when mistakenly used in smooth regions of the solution. Another type of limiters is based on the weighted essentially nonoscillatory (WENO) methodology [ 3,7], which can achieve both high order accuracy and non-oscillatory properties. he WENO limiters introduced in [8,, 3] and the Hermite WENO limiters in [9, ] belong to this type. hese limiters are designed based on the WENO finite volume methodology which require a wider stencil for higher order schemes. herefore, it is difficult to implement them for multi-dimensional problems, especially on unstructured meshes. An alternative family of DG limiters which serves at the same time as a new PDE-based limiter, as well as a troubled cells indicator, was introduced by Dumbser et al. []. More recently, a particularly simple and compact WENO limiter, which utilizes fully the advantage of DG schemes in that a complete polynomial is available in each cell without the need of reconstruction, is designed for RKDG schemes in [9]. he two major advantages of this simple WENO limiter are the compactness of its stencil, which contains only immediate neighboring cells, and the simplicity in implementation, especially for unstructured meshes [3]. However, it was observed in [9] that the limiter might not be robust enough for problems containing very strong shocks or low pressure problem, especially for higher order polynomials, for example the blast wave problems [3,8] and the double rarefaction wave problem [6], making it necessary to apply additional positivity-preserving limiters [7] in such situation. In order to overcome this difficulty, without compromising the advantages of compact stencil and simplicity of linear weights, we present a modification of the limiter in the step of preprocessing the
3 polynomials in the immediate neighboring cells before applying the WENO reconstruction procedure. his preprocessing is necessary to maintain strict conservation, and is designed in [9] to be a simple addition of a constant to make the cell average of the preprocessed neighboring cell polynomial in the target cell matching the original cell average. In this paper, a more involved least square process [8] is used in this step. he objective is to achieve strict conservation while maintaining more information of the original neighboring cell polynomial before applying the WENO procedure. Numerical experiments indicate that this modification does improve the robustness of the limiter. his paper is organized as follows: In Section, we provide a brief review of RKDG for one dimensional and two dimensional cases. In Section 3, we provide the details of the new HWENO limiter for one dimensional scalar and system cases. In Section, we provide the details of the HWENO limiter for two dimensional scalar and system cases. We demonstrate the performance of our HWENO limiter with one and two dimensional numerical examples including Euler equations of compressible gas dynamics in Section 5. Concluding remarks are given in Section 6. Review of RKDG methods In this subsection, we give a brief review of the RKDG methods for solving one and two dimensional conservation laws. One dimensional case. Given a partition of the computational domain consisting of cells I j =[x j,x j+ ], j=,,n, denote the cell center by x j = (x j +x j+ ), and the cell size by x j = x j+ x j. he DG method has its solution as well as the test function space given by Vh k={v(x):v(x) I j P k (I j )}, where P k (I j ) denotes the set of polynomials of degree at most k defined on I j. he semi-discrete DG method for solving (.) is defined as follows: find the unique function u h (,t) Vh k such that for j=,,n, (u h ) t vdx f(u h )v x dx+ ˆf j+ v(x I j I j+ j ) ˆf j v(x + )= (.) j holds for all test functions v Vh k, where u± = u j+ h (x ±,t) are the left and right limits of j+ the discontinuous solution u h at the interface x j+ and ˆf j+ = ˆf(u,u + is a monotone j+ j+ ) flux for the scalar case and an exact or approximate Riemann solver for the system case. wo dimensional case. Given a partition of the computational domain consisting of rectangular mesh consisting of cells I ij =[x i,x i+ ] [y j,y j+ ], for i=,,n x and j=,,n y with the cell sizes x i+ x i = x i, y j+ y j = y j and cell centers(x i,y j )= ( (x i+ +x i ), (y j+ +y j )). We now give the new test function space W k h ={p : p I ij P k (I ij )} as the polynomial spaces of degree of at most k on the cell I ij. he semi-discrete DG method for solving (.) is defined as follows: find the unique function u W k h such
that, for all i N x and j N y, (u h ) t vdxdy= I i,j f(u h )v x dxdy I i,j + g(u h )v y dxdy I i,j,y)dy+ ˆfi I j ˆfi+ I j (y)v(x i+ ĝ j+ (x)v(x,y )dx+ I j+ i (y)v(x +,y)dy i ĝ i (x)v(x,y + )dx, I j i (.) hold for all the test function v Wh k, where the hat terms are again numerical fluxes. he semi-discrete schemes (.) and (.) can be written as u t = L(u) where L(u) is the spatial discretization operator. hey can be discretized in time by a non-linearly stable Runge-Kutta time discretization [5], e.g. the third-order version: u () = u n + tl(u n ), u () = 3 un + u() + tl(u() ), (.3) u n+ = 3 un + 3 u() + 3 tl(u() ). As in [9], to apply a nonlinear limiter for the RKDG methods, for simplicity, we take the forward Euler time discretization of the semi-discrete scheme (.) as an example. Starting from a solution u n h Vk h at time level n (u h is taken as the L projection of the analytical initial condition into Vh k ). We would like to limit it to obtain a new function u n,new before advancing it to next time level. hat is: find u n+ h Vh k, such that, for j=,,n, Ij u n+ h u n,new h t vdx f(u n,new h )v x dx+ I j n,new ˆf v(x ) j+ j+ n,new ˆf v(x + (.) j j )= holds for all test functions v Vh k. he limiting procedure to go from un h discussed in the following sections. to un,new h will be 3 New HWENO limiter in one dimension In this section, we describe the details of the modified HWENO reconstruction procedure as a limiter for the RKDG method in the one dimensional scalar and system cases.
5 3. he troubled cell indicator in one dimension An important component of the simple WENO limiter in [9] is the identification of troubled cells, which are cells that may contain discontinuities and in which the WENO limiter is applied. We will use the KRCF shock detection technique developed in [5] to detect troubled cells. We divide the boundary of the target cell I j into two parts: I j and I + j, where the flow is into (v n<, n is the normal vector to I j and v is the velocity) and out of (v n>) I j, respectively. Here, we define v, taking its value from inside the cell I j as f (u) and take u as the indicator variable for the scalar case. he target cell I j is identified as a troubled cell when I (u h (x,t) Ij u h (x,t) Il )ds j > C x k+ k, (3.) j I j u h (x,t) Ij where C k is a constant, usually, we take C k = as in [5]. Here I l, for l = j or j+, denotes the neighboring cell sharing the end point I j with I j. u h is the numerical solution corresponding to the indicator variable(s) and u h (x,t) Ij is the standard L norm in the cell I j. 3. HWENO limiting procedure in one dimension: scalar case In this subsection, we present the details of the HWENO limiting procedure for the scalar case. he idea of this new HWENO limiter is to reconstruct a new polynomial on the troubled cell I j which is a convex combination of three polynomials: the DG solution polynomial on this cell and the modified DG solution polynomials on its two immediate neighboring cells. he modification procedure is in a least square fashion [8]. he construction of the nonlinear weights in the convex combination coefficients follows the classical WENO procedure. Assume I j is a troubled cell. Step.. Denote the DG solution polynomials of u h on I j,i j+,i j as polynomials p (x), p (x) and p (x), respectively. Now we want to find the modified version of p (x), denoted as p (x) on the cell I j in a least square fashion [8]. he modification procedure is defined as follows: p (x) is the solution of the minimization problem { } min (φ(x) p (x)) dx, (3.) φ(x) P k (I j ) I j subject to φ= p, where φ= φ(x)dx, p = p (x)dx. x j I j x j I j Here and below denotes the cell average of the function on the target cell.
6 Similarly, p (x) is the solution of the minimization problem { } min (φ(x) p (x)) dx φ(x) P k (I j+ ) I j+ (3.3) subject to φ= p. For notational consistency we denote p (x)= p (x). he final nonlinear HWENO reconstruction polynomial p new (x) is now defined by a convex combination of these modified polynomials: p new (x)=ω p (x)+ω p (x)+ω p (x). (3.) According to the modification procedure, it is easy to prove that p new has the same cell average and order of accuracy as p if the weights satisfy ω +ω +ω =. he convex combination coefficients ω l,l=,, follow the classical WENO procedure [,, 3]. We discuss it in the following steps. Step.. We choose the linear weights denoted by γ,γ,γ. As in [9], we have used complete information of the three polynomials p (x), p (x), p (x) in the three cells I j, I j+, I j, hence we do not have extra requirements on the linear weights in order to maintain the original high order accuracy. he linear weights can be chosen to be any set of positive numbers adding up to one. he choice of these linear weights is then solely based on the consideration of a balance between accuracy and ability to achieve essentially nonoscillatory shock transitions. In all of our numerical tests, following the practice in [9, 9], we take γ =.998 and γ = γ =.. Step.3. We compute the smoothness indicators, denoted by β l, l=,,, which measure how smooth the functions p l (x), l=,,, are on the target cell I j. he smaller these smoothness indicators are, the smoother the functions are on the target cell. We use the similar recipe for the smoothness indicators as in [3]: β l = k l= ( x l j I j l! d l ) dx l p l(x) dx, l=,,. (3.5) Step.. We compute the non-linear weights based on the smoothness indicators: ω ω i = i l= ω, ω l = γ l l (ε+β l ). (3.6) Here ε is a small positive number to avoid the denominator to become zero. We take ε= 6 in our computation. Step.5. he final nonlinear HWENO reconstruction polynomial is given by (3.), i.e. u new h Ij = p new (x)=ω p (x)+ω p (x)+ω p (x). It is easy to verify that p new (x) has the same cell average and order of accuracy as the original one p (x), on the condition that l= ω l=.
7 3.3 HWENO limiting procedure in one dimension: system case In this subsection, we present the details of the HWENO limiting procedure for one dimensional systems. Consider equation (.) where u and f(u) are vectors with m components. In order to achieve better non-oscillatory qualities, the HWENO reconstruction limiter is used with a local characteristic field decomposition. In this paper, we consider the following Euler system with m=3. t ρ ρµ E + x ρµ ρµ + p µ(e+ p) =, (3.7) where ρ is the density, µ is the x-direction velocity, E is the total energy, p is the pressure and γ=. in our test cases. We denote the Jacobian matrix as f (u), where u=(ρ,ρµ,e). We then give the left and right eigenvector matrices of such Jacobian matrix as: and L j (u)= R j (u)= B +µ/c B µ+/c B B B µ B B µ/c B µ /c µ c µ µ+c H cµ µ / H+cµ B, (3.8), (3.9) where c= γp/ρ, B =(γ )/c, B = B µ / and H=(E+ p)/ρ. Assume the troubled cell I j is detected by the KRCF technique [5] by using (3.), where v=µ is the velocity and again v takes its value from inside the cell I j. We take both the density ρ and the total energy E as the indicator variables. Denote p, p, p to be the DG polynomial vectors, corresponding to I j s two immediate neighbors and itself. hen we perform the characteristic-wise HWENO limiting procedure as follows: Step. Compute L j = L j (ū j ) and R j = R j (ū j ) as defined in (3.8) and (3.9), where ū j is the cell average of u on the cell I j. Step.. Project the polynomial vectors p, p, p into the characteristic fields p l = L j p l, l=,,, each of them being a 3-component vector and each component of the vector is a k-th degree polynomial. Step.3. Perform Step. to Step.5 of the HWENO limiting procedure that has been specified for the scalar case, to obtain a new 3-component vector on the troubled cell I j as p new. Step... Project p new back into the physical space to get the reconstruction polyno- Ij = R j p new mial, i.e. u new h.
8 New HWENO limiter in two dimension. he troubled cell indicator in two dimension We use the KRCF shock detection technique developed in [5] to detect troubled cells in two dimensions. We divide the boundary of the target cell I ij into two parts: I ij and I + ij, where the flow is into (v n<, n is the normal vector to I ij) and out of (v n> ) I ij, respectively. Here we define v, taking its value from inside the cell I ij, as the vector ( f (u),g (u)) and take u as the indicator variable for the scalar case. For the Euler system (.), v, again taking its value from inside the cell I ij, is (µ,ν) where µ is the x-direction velocity and ν is the y-direction velocity, and we take both the density ρ and the total energy E as the indicator variables. he target cell I ij is identified as a troubled cell when I (u h (x,y,t) Iij u h (x,y,t) Il )ds ij > C h k+ k, (.) ij I ij u h(x,y,t) Iij where C k is a constant, usually, we take C k = as in [5]. Here we choose h ij as the radius of the circumscribed circle in I ij, and I l,l=(i,j ); (i,j); (i+,j); (i,j+), denote the neighboring cells sharing the edge(s) in I ij. u h is the numerical solution corresponding to the indicator variable(s) and u h (x,y,t) Iij is the standard L norm in the cell I ij.. HWENO limiting procedure in two dimensions: scalar case In this subsection, we give details of the HWENO limiter for the two dimensional scalar case. he idea is similar to the one dimensional case, i.e. to reconstruct a new polynomial on the troubled cell I ij which is a convex combination of the following polynomials: DG solution polynomial on this cell and the modified DG solution polynomials on its immediate neighboring cells. he nonlinear weights in the convex combination coefficients follow the classical WENO procedure. o achieve better non-oscillatory property, the modification procedure now is in a least square fashion [8] with necessary adjustment. Assume I ij is a troubled cell. Step 3.. We select the HWENO reconstruction stencil as S={I i,j, I i,j, I i+,j, I i,j+, I ij }, for simplicity, we renumber these cells as I l,l=,,, and denote the DG solutions on these five cells to be p l (x,y), respectively. Now we want to find the modified version of p l (x,y), denoted as p l (x,y), in a least square fashion [8] with necessary adjustment. he modification procedure not only use the complete information of the polynomial p l (x,y), but also use the cell averages of the polynomials from its other neighbors. For p (x,y), the modification procedure is defined as follows: p (x,y) is the solution
9 of the minimization problem { ( min φ(x,y) P k (I ) subject to φ= p and ) ( ) } (φ(x,y) p (x,y)) dxdy + (φ(x,y) p l (x,y))dxdy, I l L I l L ={,,3} {l : p l p <max( p p, p p, p 3 p )}, where p l = p I l l (x,y)dxdy is the cell average of the polynomial p l (x,y) on the cell I l I l and I l is the area of I l. Here and below denotes the cell average of the function on its own associated cell. For this modification, we try to find the polynomial p, which has the same cell average as the polynomial on the troubled cell p, to optimize the distance to p (x,y) and to the cell averages of those useful polynomials on the other neighboring cells. By comparing the distance between the cell averages of the polynomials on the other neighboring cells and the cell average of p on the target cell, if one is not the farthest, then this polynomial is considered useful. Remark: he one dimensional algorithm is consistent with the two dimensional one, because in one dimension we only have two immediate neighbors and hence L= is the empty set. In the extreme case (for example, if p p = p p = p 3 p ), this two dimensional algorithm could degenerate to the one dimensional case and L could also be. Similarly, p (x,y) is the solution of the minimization problem { ( ) ( ) } min (φ(x,y) p (x,y)) dxdy + (φ(x,y) p l (x,y))dxdy, φ(x,y) P k (I ) I l L I l subject to φ= p, where L ={,,3} {l : p l p <max( p p, p p, p 3 p )}. p (x,y) is the solution of the minimization problem { ( min φ(x,y) P k (I ) subject to φ= p, where ) ( ) } (φ(x,y) p (x,y)) dxdy + (φ(x,y) p l (x,y))dxdy, I l L I l L ={,,3} {l : p l p <max( p p, p p, p 3 p )}. p 3 (x,y) is the solution of the minimization problem { ( min φ(x,y) P k (I 3 ) ) ( ) } (φ(x,y) p 3 (x,y)) dxdy + (φ(x,y) p l (x,y))dxdy, I 3 l L I 3 l
subject to φ= p, where L 3 ={,,} {l : p l p <max( p p, p p, p p )}. We also define p (x,y)= p (x,y). Step 3.. We choose the linear weights denoted by γ,γ,γ,γ 3,γ. Similar as in the one dimensional case, we put a larger linear weight on the troubled cell and the neighboring cells get smaller linear weights. In all of our numerical tests, following the practice in [9, 9], we take γ =.996 and γ = γ = γ = γ 3 =.. Step 3.3. We compute the smoothness indicators, denoted by β l, l=,...,, which measure how smooth the functions p l (x,y), l=,...,, are on the target cell I ij. We use the similar recipe for the smoothness indicators as in [, 3, ]: β l = k α = I ij α I ij ( ) α α! x α p y α l (x,y) dxdy, l=,,, (.) where α=(α,α ) and α =α +α. Step 3.. We compute the nonlinear weights based on the smoothness indicators. Step 3.5. he final nonlinear HWENO reconstruction polynomial p new (x,y) is defined by a convex combination of the (modified) polynomials in the stencil: u new h Ii,j = p new (x,y) = l= ω l p l (x,y). (.3) It is easy to verify that p new (x,y) has the same cell average and order of accuracy as the original one p (x,y) on the condition that l= ω l=..3 HWENO limiting procedure in two dimensions: system case In this subsection, we present the details of the HWENO limiting procedure for two dimensional systems. Consider equation (.) where u, f(u) and g(u) are vectors with m components. In order to achieve better non-oscillatory qualities, the HWENO reconstruction limiter is used with a local characteristic field decomposition. In this paper, we only consider the following Euler system with m =. t ρ ρµ ρν E + x ρµ ρµ + p ρµν µ(e+ p) + y ρν ρµν ρν + p ν(e+ p) = (.) where ρ is the density, µ is the x-direction velocity, ν is the y-direction velocity, E is the total energy, p is the pressure and γ =. in our test cases. We then give the left and right
eigenvector matrices of Jacobian matrices f (u) and g (u) as: B +µ/c B µ+/c B ν Lij x (u)= B ν B B µ B ν B B µ/c B µ /c B ν B, (.5) µ c µ µ+c Rij x (u)= ν ν ν, (.6) µ +ν H cµ ν H+cµ L y ij (u)= B +ν/c B µ B ν+/c B µ B B µ B ν B B ν/c B µ B ν /c B, (.7) µ µ µ R y ij (u)= ν c ν ν+c, (.8) H cν µ µ +ν H+cν where c= γp/ρ, B =(γ )/c, B =B (µ +ν )/ and H=(E+p)/ρ. he troubled cell I ij is detected by the KRCF technique [5] using (.). Denote p l, l=,,, to be the DG polynomial vectors, corresponding to I ij s four immediate neighbors and itself. he HWENO limiting procedure is then performed as follows: Step.. We reconstruct the new polynomial vectors p x,new and p y,new by using the characteristic-wise HWENO limiting procedure: Step.. Compute Lij x = Lx ij (ū ij), L y ij = Ly ij (ū ij), Rij x = Rx ij (ū ij) and R y ij = Rx ij (ū ij) as defined in (.5)-(.8), where again ū ij is the cell average of u on the cell I ij.
Step... Project the polynomial vectors p l, l=,,, into the characteristic fields p l x= Lx ij p l and p y l = Ly ij p l, l=,,, each of them being a -component vector and each component of the vector is a k-th degree polynomial. Step..3. Perform Step 3. to Step 3.5 of the HWENO limiting procedure that has been specified for the scalar case, to obtain the new -component vectors on the troubled cell I ij such as p x,new and p y,new. Step... Project p x,new and p y,new into the physical space p x,new = Rij x p x,new and p y,new = R y ij p y,new, respectively. Step.. he final new -component vector on the troubled cell I ij is defined as u new h Iij = px,new + p y,new. 5 Numerical results In this section, we provide numerical results to demonstrate the performance of the HWENO reconstruction limiters for the RKDG methods described in previous sections. We would like to remark that, for some cases with fourth order RKDG methods, the usage of the WENO limiters in [9] might not work well or might even break down, while the new HWENO limiters in this paper could obtain good resolutions. he simple Lax-Friedrichs flux is used in all of our numerical tests. We first test the accuracy of the schemes in one and two dimensional problems. We adjust the constant C k in (3.) or (.) to be a small number. from Example 5. to Example 5., for the purpose of artificially generating a larger percentage of troubled cells in order to test accuracy when the HWENO reconstruction procedure is enacted in more cells. In such test cases, we assume the coarse mesh as Γ h, which has cell size h, and then divide each cell into two (in D) or four (in D) equal smaller cells and denote the associated fine mesh as Γ h, which has smaller mesh size h. he error in the target cell I i is set as e h i. he L and L convergence errors in the computational field are defined as: e h L = N N i= eh i and e h L = max i N e h i, where N is the number of cells in the computational domain. he numerical order of accuracy are given by: O L = log ( eh L ), O L = log ( eh L ). e h L e h L he CFL number is set to be.3 for the second order (P ),.8 for the third order (P ) and. for the fourth order (P 3 ) RKDG methods both in one and two dimensions. Example 5.. We solve the following scalar Burgers equation: ( ) µ µ t + =, x [,], (5.) x with the initial condition µ(x,) =.5+sin(πx) and periodic boundary conditions. We compute the solution up to t=.5/π, when the solution is still smooth. he errors and numerical orders of accuracy for the RKDG method with the HWENO limiter comparing
3 ( ) µ able : µ t + =. µ(x,)=.5+sin(πx). Periodic boundary condition. t=.5/π. x L and L errors. RKDG with the HWENO limiter compared to RKDG without limiter. DG with HWENO limiter DG without limiter cells L error order L error order L error order L error order.e-.3e-.38e-.e- 5.6E-3.83 5.E-.33 3.5E-3.97 3.6E-.67 P.E-3..6E-.5 8.59E-.3 9.E-3.8 8.3E-..5E-3.3.E-..53E-3.85 6 5.7E-5.8 6.7E-.9 5.6E-5. 6.7E-.9 3.3E-5..69E-.99.3E-5..68E-.99.7E-3.83E-.7E-3.8E-.6E- 3.7.3E-3.7.E- 3.9.8E-3.7 P.73E-5.9 6.9E-.63.67E-5.93 6.78E-.66 8 3.3E-6.99.5E-.6 3.3E-6 3..3E-.5 6.3E-7.99.6E-5.98.5E-7.99.53E-5 3. 3 5.E-8.98.35E-6.76 5.7E-8.98.7E-6.76.8E-.E-3.76E-.35E-3.69E-5 3..5E-.3.66E-5 3..7E-.5 P 3 9.6E-7. 3.83E-5 3.56 8.93E-7. 3.67E-5 3.5 8 6.5E-8 3.88.85E-6 3.75 5.E-8..E-6.5 6.E-9 3.99.E-7 3.73 3.3E-9..3E-7 3.95 3.8E-.3 9.E-9.55.8E-. 9.E-9 3.97 with the original RKDG method without a limiter are shown in able. We can see that the HWENO limiter keeps the designed order of accuracy, even when a large percentage of good cells are artificially identified as troubled cells. Example 5.. We solve the D Euler equations (3.7). he initial conditions are: ρ(x,) = +.sin(πx), µ(x,)=. and p(x,)=. he computing domain is x [,]. Periodic boundary conditions are applied in this test. he exact solution is ρ(x,t)=+.sin(π(x t)). We compute the solution up to t=. he errors and numerical orders of accuracy of the density for the RKDG method with the HWENO limiter comparing with the original RKDG method without a limiter are shown in able. Similar to the previous example, we can see that the HWENO limiter keeps the designed order of accuracy. Example 5.3. We solve the following scalar Burgers equation in two dimensions: ( ) ( ) µ µ µ t + + =, (x,y) [,] [,], (5.) x y with the initial condition µ(x,y,) =.5+sin(π(x+y)/) and periodic boundary condi-
able : D-Euler equations: initial data ρ(x,)=+.sin(πx), µ(x,)=. and p(x,)=. Periodic boundary condition. t=.. L and L errors. RKDG with the HWENO limiter compared to RKDG without limiter. DG with HWENO limiter DG without limiter cells L error order L error order L error order L error order.55e- 3.53E- 3.6E-3 8.9E-3.73E-3.5 9.9E-3.89 7.6E-.5.68E-3.63 P 3.8E- 3.6.77E-3..73E-. 7.5E-.8 8.9E-5.87.57E-.78.3E-5.7.96E-.93 6.3E-5. 5.6E-5.9.E-5.3 5.3E-5.97 3.56E-6..3E-5..9E-6..7E-5.98.68E- 8.E-.3E- 7.86E-.77E-5 3.5.3E-.99.6E-5 3..E-.9 P.9E-6 3.7.8E-5 3..99E-6 3..8E-5.99 8.6E-7 3..3E-6.65.9E-7 3..6E-6 3. 6 3.E-8 3.7.E-7 3.33 3.E-8 3..E-7 3. 3 3.89E-9 3..5E-8 3. 3.89E-9 3..5E-8 3. 5.E-5.83E- 5.E-6 3.6E-5.7E-6..63E-5 3.9 3.E-7..9E-6 3.99 P 3.9E-8 7..E-7 6.8.9E-8..E-7 3.99 8.E-9. 9.5E-9..E-9. 9.5E-9. 6 7.57E-. 5.66E-. 7.57E-. 5.66E-. 3.73E-. 3.53E-..73E-. 3.5E-.
5 ( ( ) µ able 3: µ t + )x + µ =. µ(x,y,)=.5+sin(π(x+y)/). Periodic boundary condition. t=.5/π. L y and L errors. RKDG with the HWENO limiter compared to RKDG without limiter. DG with HWENO limiter DG without limiter cells L error order L error order L error order L error order 3.99E- 3.7E- 3.9E- 3.E- 9.78E-3.3.E-. 7.88E-3..5E-.68 P.3E-3.8 3.8E-.87.98E-3.99 3.6E-.69 8 8 5.3E-. 9.E-3.85.9E-. 9.6E-3.83 6 6.3E-..38E-3.93.3E-..E-3.93 5.E-3.77E- 5.E-3.8E- 8.6E-.6.3E-.9 8.9E-.6.5E-. P.E-.86 6.8E-3.77.E-.88 6.3E-3.78 8 8.E-5.96.E-3.6.E-5.96.E-3.59 6 6.8E-6.98.37E-.86.8E-6.98.37E-.86.9E-3 8.E-.9E-3 8.9E-.5E- 3.93 9.6E-3 3.6.9E- 3.89 9.E-3 3.7 P 3 8.97E-6 3.8 7.57E- 3.6 9.E-6 3.8 7.5E- 3.6 8 8 5.8E-7 3.95 5.93E-5 3.67 5.76E-7 3.98 6.3E-5 3.6 6 6 3.65E-8 3.99 3.97E-6 3.9 3.65E-8 3.98 3.97E-6 3.9 tions in both directions. We compute the solution up to t=.5/π, when the solution is still smooth. he errors and numerical orders of accuracy for the RKDG method with the HWENO limiter comparing with the original RKDG method without limiter are shown in able 3. We again observe good results as in the one-dimensional case. Example 5.. We solve the Euler equations (.). he initial conditions are: ρ(x,y,) = +.sin(π(x+y)), µ(x,y,)=.7, ν(x,y,)=.3, p(x,y,)=. he computational domain is (x,y) [,] [,]. Periodic boundary conditions are applied in both directions. he exact solution is ρ(x,y,t) = +.sin(π(x+y t)). We compute the solution up to t =. he errors and numerical orders of accuracy of the density for the RKDG method with the HWENO limiter comparing with the original RKDG method without a limiter are shown in able. he proposed HWENO limiter again keeps the designed order of accuracy. We now test the performance of the RKDG method with the HWENO limiters for problems containing shocks. From now on, we reset the constant to C k =. For comparison with the RKDG method using the minmod VB limiter, we refer to the results in [,7]. For comparison with the RKDG method using the previous versions of HWENO type limiters, we refer to the results in [8, 3]. Example 5.5. We consider the D Euler equations (3.7) with a Riemann initial con-
6 able : D-Euler equations: initial data ρ(x,y,) = +.sin(π(x+y)), µ(x,y,) =.7, ν(x,y,) =.3, and p(x,y,)=. Periodic boundarycondition. t=.. L and L errors. RKDG with the HWENO limiter compared to RKDG without limiter. DG with HWENO limiter DG without limiter cells L error order L error order L error order L error order.6e- 7.98E-.55E-.E- 5.6E-3.89.8E-.3 3.7E-3.78 7.7E-3.5 P 7.83E-.8 3.8E-3.5 5.9E-.8.5E-3.35 8 8.7E-.73 7.E-. 9.E-5.53.73E-.67 6 6.9E-5..63E-..89E-5.7.3E-.86 7.9E- 5.7E-3 7.95E- 5.5E-3.6E-.9 9.3E-.63.E-.95 8.78E-.65 P.3E-5.98.3E-.69.5E-5 3.3.8E-.77 8 8.8E-6 3.7.7E-5 3.7.9E-6 3.7.7E-5.9 6 6.8E-7 3..7E-6.97.8E-7 3..7E-6.97.E- 9.86E-.86E-5 6.7E-.85E-6 7.6.E-5.6.85E-6.8.E-5.5 P 3.75E-7..9E-6..75E-7.3.9E-6. 8 8.8E-8..55E-7..8E-8..55E-7. 6 6 6.76E-. 9.7E-9. 6.76E-. 9.7E-9.
7 dition for the Lax problem: (ρ,µ,p) =(.5,.698,3.58) for x [ 5,); (ρ,µ,p) = (.5,,.57) for x [,5]. he computed density ρ is plotted at t =.3 against the exact solution in Figure and the time history of the troubled cells is shown in Figure........8.8.8.6.6.6.... -5 - -3 - - 3 5. -5 - -3 - - 3 5. -5 - -3 - - 3 5 Figure : he Lax problem. RKDG with the HWENO limiter. Solid line: the exact solution; squares: numerical solution. Left: second order (P ); middle: third order (P ); right: fourth order (P 3 ). Cells:..3...9.8.3...9.8.3...9.8.7.6.7.6.7.6.5..3.. -5 - -3 - - 3 5.5..3.. -5 - -3 - - 3 5.5..3.. -5 - -3 - - 3 5 Figure : he Lax problem. RKDG with the HWENO limiter. roubled cells. Squares denote cells which are identified as troubled cells subject to the HWENO limiting. Left: second order (P ); middle: third order (P ); right: fourth order (P 3 ). Cells:. Example 5.6. A higher order scheme would show its advantage when the solution contains both shocks and complex smooth region structures. A typical example for this is the problem of shock interaction with entropy waves [6]. We solve the Euler equations (3.7) with a moving Mach = 3 shock interacting with sine waves in density: (ρ,µ,p) = (3.8573,.69369,.333333) for x [ 5, ); (ρ,µ,p) =(+.sin(5x),,) for x [,5]. he computed density ρ is plotted at t =.8 against the referenced exact solution which is a converged solution computed by the fifth order finite difference WENO scheme [3] with grid points in Figure 3 and the time history of the troubled cells is shown in Figure.
8.5.5.5 3.5 3.5 3.5 3.5 3.5 3.5.5.5.5.5-5 - -3 - - 3 5.5-5 - -3 - - 3 5.5-5 - -3 - - 3 5 Figure 3: he shock density wave interaction problem. RKDG with the HWENO limiter. Solid line: the exact solution; squares: numerical solution. Left: second order (P ); middle: third order (P ); right: fourth order (P 3 ). Cells:..8.7.6.5..3...9.8.7.6.5..3.. -5 - -3 - - 3 5.8.7.6.5..3...9.8.7.6.5..3.. -5 - -3 - - 3 5.8.7.6.5..3...9.8.7.6.5..3.. -5 - -3 - - 3 5 Figure : he shock density wave interaction problem. RKDG with the HWENO limiter. roubled cells. Squares denote cells which are identified as troubled cells subject to the HWENO limiting. Left: second order (P ); middle: third order (P ); right: fourth order (P 3 ). Cells:.
9 Example 5.7. We consider the interaction of blast waves of Euler equation (3.7) with the initial conditions: (ρ,µ,p) =(,,) for x [,.); (ρ,µ,p) =(,,.) for x [.,.9); (ρ,µ,p) =(,,) for x [.9,.]. he computed density ρ is plotted at t =.38 against the reference exact solution which is a converged solution computed by the fifth order finite difference WENO scheme [3] with grid points in Figure 5 and the time history of the troubled cells is shown in Figure 6. We observe that the new RKDG methods do a better job than that in [9]. 7 7 7 6 6 6 5 5 5 3 3 3...6.8...6.8...6.8 Figure 5: he blast wave problem. RKDG with the HWENO limiter. Solid line: the exact solution; squares: numerical solution. Left: second order (P ); middle: third order (P ); right: fourth order (P 3 ). Cells:..3.3.3.........6.8...6.8...6.8 Figure 6: he blast wave problem. RKDG with the HWENO limiter. roubled cells. Squares denote cells which are identified as troubled cells subject to the HWENO limiting. Left: second order (P ); middle: third order (P ); right: fourth order (P 3 ). Cells:. Remark. For the P 3 case, the RKDG methods with the WENO limiters specified in [9] used the positivity-preserving limiter to avoid negative density or negative pressure during the time evolution, but the resolution was affected, especially for the smearing of contact discontinuities. he RKDG methods with the new HWENO limiters in this paper can work well without the help from the positivity-preserving limiter.
Example 5.8. he Sedov blast wave problem. his problem contains very low density with strong shocks. he exact solution is specified in detail in [, 3]. he computational domain is [,] and initial conditions are: ρ=, µ= and E= everywhere except that the energy in the center cell is the constant 3 x (emulating a δ-function at the center). he final computational time is t =.. he computational results including the density, velocity and pressure pictures are shown in Figure 7 to Figure 9. he time history of the troubled cells is shown in Figure. he RKDG methods with the original WENO limiters in [9] would break down for this problem without the help of positivitypreserving limiters, yet the new limiter in this paper works well. 7 7 7 6 6 6 5 5 5 3 3 3 - - - - - - Figure 7: he Sedov blast wave problem. RKDG with the HWENO limiter.. Solid line: the exact solution; squares: numerical solution. Left: second order (P ); middle: third order (P ); right: fourth order (P 3 ). Cells:. 5 5 5 Velocity Velocity Velocity -5-5 -5 - - - - - - - - - Figure 8: he Sedov blast wave problem. RKDG with the HWENO limiter. Velocity. Solid line: the exact solution; squares: numerical solution. Left: second order (P ); middle: third order (P ); right: fourth order (P 3 ). Cells:. Example 5.9. he double rarefaction wave problem [6]. his test case has low pressure and low density regions and is difficult to simulate. he initial conditions are: (ρ,µ,p) =
8 8 8 6 6 6 Pressure Pressure Pressure - - - - - - Figure 9: he Sedov blast wave problem. RKDG with the HWENO limiter. Pressure. Solid line: the exact solution; squares: numerical solution. Left: second order (P ); middle: third order (P ); right: fourth order (P 3 ). Cells:.....8.8.8.6.6.6...... - - - - - - Figure : he Sedov blast wave problem. RKDG with the HWENO limiter. roubled cells. Squares denote cells which are identified as troubled cells subject to the HWENO limiting. Left: second order (P ); middle: third order (P ); right: fourth order (P 3 ). Cells:.
(7,,.) for x [,); (ρ,µ,p) =(7,,.) for x [,]. he final computational time is t =.6. he computational results including the density, velocity and pressure pictures are shown in Figure to Figure 3. he time history of the troubled cells is shown in Figure. For the P 3 case, the RKDG methods with the WENO limiters in [9] do not work for this problem without the help of positivity-preserving limiters, however the same RKDG methods with the new HWENO limiters in this paper produce good results. 7 7 7 6 6 6 5 5 5 3 3 3 - -.5.5 - -.5.5 - -.5.5 Figure : he double rarefaction wave problem. RKDG with the HWENO limiter.. Solid line: the exact solution; squares: numerical solution. Left: second order (P ); middle: third order (P ); right: fourth order (P 3 ). Cells:..5.5.5 Velocity Velocity Velocity -.5 -.5 -.5 - - - - -.5.5 - -.5.5 - -.5.5 Figure : he double rarefaction wave problem. RKDG with the HWENO limiter. Velocity. Solid line: the exact solution; squares: numerical solution. Left: second order (P ); middle: third order (P ); right: fourth order (P 3 ). Cells:. Example 5.. Double Mach reflection problem. his model problem is originally from [8]. We solve the Euler equations (.) in a computational domain of [,] [,]. he reflection boundary condition is used at the wall, which for the rest of the bottom boundary (the part from x= to x= 6 ), the exact post-shock condition is imposed. At the top
3....5.5.5 Pressure. Pressure. Pressure..5.5.5 - -.5.5 - -.5.5 - -.5.5 Figure 3: he double rarefaction wave problem. RKDG with the HWENO limiter. Pressure. Solid line: the exact solution; squares: numerical solution. Left: second order (P ); middle: third order (P ); right: fourth order (P 3 ). Cells:..6.6.6.5.5.5....3.3.3...... - -.5.5 - -.5.5 - -.5.5 Figure : he double rarefaction wave problem. RKDG with the HWENO limiter. roubled cells. Squares denote cells which are identified as troubled cells subject to the HWENO limiting. Left: second order (P ); middle: third order (P ); right: fourth order (P 3 ). Cells:.
boundary is the exact motion of the Mach shock. he results shown are at t=.. hree different orders of accuracy for the RKDG with HWENO limiters, k=, k= and k=3 (second order, third order and fourth order), are used in the numerical experiments. he simulation results are shown in Figure 5. he zoomed-in pictures around the double Mach stem to show more details are given in Figure 6. he troubled cells identified at the last time step are shown in Figure 7. Clearly, the resolution improves with an increasing k on the same mesh. Y.5 3 Y.5 3 Y.5 3 Figure 5: Double Mach refection problem. RKDG with the HWENO limiter. 3 equally spaced density contours from.5 to.5. op: second order (P ); middle: third order (P ); bottom: fourth order (P 3 ). Cells: 8.
5.5.5 Y Y.5.5.5.5.5 Y.5.5 Figure 6: Double Mach refection problem. RKDG with HWENO limiter. Zoom-in pictures around the Mach stem. 3 equally spaced density contours from.5 to.5. Left: second order (P ); right: third order (P ); bottom: fourth order (P 3 ). Cells: 8.
6 Y.5 3 Y.5 3 Y.5 3 Figure 7: Double Mach refection problem. RKDG with the HWENO limiter. roubled cells. Squares denote cells which are identified as troubled cells subject to the HWENO limiting. op: second order (P ); middle: third order (P ); bottom: fourth order (P 3 ). Cells: 8.
7 6 Concluding remarks We have constructed a class of Hermite weighted essentially non-oscillatory (WENO) limiters, based on the procedure of [9], for the Runge-Kutta discontinuous Galerkin (RKDG) methods. he general framework of such HWENO limiters for RKDG methods, namely first identifying troubled cells subject to the HWENO limiting, then reconstructing the polynomial solution inside the troubled cell by the freedoms of the solutions of the DG method on the target cell and its adjacent neighboring cells by a HWENO procedure in a least square sense [8], is followed in this paper. he main novelty of this paper is the HWENO reconstruction procedure, which uses only the information from the troubled cell and its immediate neighbors (two cells in D and four cells in D), without any other extensive usage of geometric information of the meshes, and with simple positive linear weights in the reconstruction procedure. he methodology in this paper is more sophisticated than the original one specified in [9], but it leads to better resolutions for some examples for the P 3 case, such as those in Example 5.7 to Example 5., without the help of positivity-preserving limiters, in one and two dimensions. Numerical results are provided to demonstrate good results, both in accuracy and in non-oscillatory performance, comparable with those in earlier literature with more complicated WENO [, ] or HWENO [8, 9, ] limiters. In the future we will extend this limiter to unstructured meshes and to higher order polynomials (p-version DG methods). Acknowledgments he research was partially supported by NSFC grant 375, 93 and 38 and DOE grant DE-FG-8ER5863 and NSF grant DMS-875. References [] D. S. Balsara and C.-W. Shu, Monotonicity preserving weighted essentially non-oscillatory schemes with increasingly high order of accuracy, Journal of Computational Physics, 6 (), 5-5. [] R. Biswas, K.D. Devine and J. Flaherty, Parallel, adaptive finite element methods for conservation laws, Applied Numerical Mathematics, (99), 55-83. [3] A. Burbeau, P. Sagaut and C.H. Bruneau, A problem-independent limiter for high-order Runge- Kutta discontinuous Galerkin methods, Journal of Computational Physics, 69 (), -5. [] B. Cockburn, S. Hou and C.-W. Shu, he Runge-Kutta local projection discontinuous Galerkin finite element method for conservation laws IV: the multidimensional case, Mathematics of Computation, 5 (99), 55-58. [5] B. Cockburn, S.-Y. Lin and C.-W. Shu, VB Runge-Kutta local projection discontinuous Galerkin finite element method for conservation laws III: one dimensional systems, Journal of Computational Physics, 8 (989), 9-3. [6] B. Cockburn and C.-W. Shu, VB Runge-Kutta local projection discontinuous Galerkin finite element method for conservation laws II: general framework, Mathematics of Computation, 5 (989), -35.
8 [7] B. Cockburn and C.-W. Shu, he Runge-Kutta discontinuous Galerkin method for conservation laws V: multidimensional systems, Journal of Computational Physics, (998), 99-. [8] M. Dumbser, D.S. Balsara, E.F. oro and C.D. Munz, A unified framework for the construction of one-step finite-volume and discontinuous Galerkin schemes on unstructured meshes, Journal of Computational Physics, 7 (8), 89-853. [9] M. Dumbser and M. Käser, Arbitrary high order non-oscillatory finite volume schemes on unstructured meshes for linear hyperbolic systems, Journal of Computational Physics, (7), 693-73. [] M. Dumbser, O. Zanotti, R. Loubère and S. Diot, A posteriori subcell limiting of the discontinuous Galerkin finite element method for hyperbolic conservation laws, Journal of Computational Physics, 78 (), 7-75. [] O. Friedrichs, Weighted essentially non-oscillatory schemes for the interpolation of mean values on unstructured grids, Journal of Computational Physics, (998), 9-. [] C. Hu and C.-W. Shu, Weighted essentially non-oscillatory schemes on triangular meshes, Journal of Computational Physics, 5 (999), 97-7. [3] G. Jiang and C.-W. Shu, Efficient implementation of weighted ENO schemes, Journal of Computational Physics, 6 (996), -8. [] V.P. Korobeinikov, Problems of Point-Blast heory, American Institute of Physics, 99. [5] L. Krivodonova, J. in, J.-F. Remacle, N. Chevaugeon and J.E. Flaherty, Shock detection and limiting with discontinuous Galerkin methods for hyperbolic conservation laws, Applied Numerical Mathematics, 8 (), 33-338. [6]. Linde, P.L. Roe, Robust Euler codes, in: 3th Computational Fluid Dynamics Conference, AIAA Paper-97-98. [7]. Liu, S. Osher and. Chan, Weighted essentially non-oscillatory schemes, Journal of Computational Physics, 5 (99), -. [8] H. Luo, J.D. Baum and R. Lohner, A Hermite WENO-based limiter for discontinuous Galerkin method on unstructured grids, Journal of Computational Physics, 5 (7), 686-73. [9] J. Qiu and C.-W. Shu, Hermite WENO schemes and their application as limiters for Runge-Kutta discontinuous Galerkin method: one dimensional case, Journal of Computational Physics, 93 (3), 5-35. [] J. Qiu and C.-W. Shu, Runge-Kutta discontinuous Galerkin method using WENO limiters, SIAM Journal on Scientific Computing, 6 (5), 97-99. [] J. Qiu and C.-W. Shu, A comparison of troubled-cell indicators for Runge-Kutta discontinuous Galerkin methods using weighted essentially nonoscillatory limiters, SIAM Journal on Scientific Computing, 7 (5), 995-3. [] J. Qiu and C.-W. Shu, Hermite WENO schemes and their application as limiters for Runge-Kutta discontinuous Galerkin method II: two dimensional case, Computers and Fluids, 3 (5), 6-663. [3] L.I. Sedov, Similarity and Dimensional Methods in Mechanics, Academic Press, New York, 959. [] C.-W. Shu, Essentially non-oscillatory and weighted essentially non-oscillatory schemes for hyperbolic conservation laws, In Advanced Numerical Approximation of Nonlinear Hyperbolic Equations, B. Cockburn, C. Johnson, C.-W. Shu and E. admor (Editor: A. Quarteroni), Lecture Notes in Mathematics, volume 697, Springer, 998, 35-3. [5] C.-W. Shu and S. Osher, Efficient implementation of essentially non-oscillatory shock-capturing schemes, Journal of Computational Physics, 77 (988), 39-7. [6] C.-W. Shu and S. Osher, Efficient implementation of essentially non-oscillatory shock capturing
schemes II, Journal of Computational Physics, 83 (989), 3-78. [7] C. Wang,. Zhang, C.-W. Shu and J. Ning, Robust high order discontinuous Galerkin schemes for two-dimensional gaseous detonations, Journal of Computational Physics, 3 (), 653-665. [8] P. Woodward and P. Colella, he numerical simulation of two-dimensional fluid flow with strong shocks, Journal of Computational Physics, 5 (98), 5-73. [9]. Zhong and C.-W. Shu, A simple weighted essentially nonoscillatory limiter for Runge-Kutta discontinuous Galerkin methods, Journal of Computational Physics, 3 (3), 397-5. [3] J. Zhu, J. Qiu, C.-W. Shu and M. Dumbser, Runge-Kutta discontinuous Galerkin method using WENO limiters II: Unstructured meshes, Journal of Computational Physics, 7 (8), 33-353. [3] J. Zhu,. Zhong, C.-W. Shu and J.. Qiu, Runge-Kutta discontinuous Galerkin method using a new type of WENO limiters on unstructured meshes, Journal of Computational Physics, 8 (3), -. 9