Numerische Mathematik

Transcription

1 Numer. Math. ) : DOI.7/s Numerische Mathematik A minimum entropy principle of high order schemes for gas dynamics equations iangxiong Zhang Chi-Wang Shu Received: 7 July / Revised: 5 September / Published online: December Springer-Verlag Abstract The entropy solutions of the compressible Euler equations satisfy a minimum principle for the specific entropy Tadmor in Appl Numer Math : 9, 986). First order schemes such as Godunov-type and Lax-Friedrichs schemes and the second order kinetic schemes Khobalatte and Perthame in Math Comput 6:9 3, 994) also satisfy a discrete minimum entropy principle. In this paper, we show an extension of the positivity-preserving high order schemes for the compressible Euler equations in Zhang and Shu J Comput Phys 9: , ) and Zhang et al. J Scientific Comput, in press), to enforce the minimum entropy principle for high order finite volume and discontinuous Galerkin DG) schemes. Mathematics Subect Classification ) 65M6 76N5 Introduction The one dimensional version of the compressible Euler equations for the perfect gas in gas dynamics is given by Research supported by AFOSR grant FA and NSF grant DMS-7.. Zhang C.-W. Shu B) Division of Applied Mathematics, Brown University, Providence, RI 9, USA shu@dam.brown.edu Present Address:. Zhang Department of Mathematics, MIT, Cambridge, MA 39, USA zhangxx@dam.brown.edu 3

2 546. Zhang, C.-W. Shu with w t + fw) x =, t, x R,.) ρ m w = m, fw) = ρu + p E E + p)u m = ρu, E = ρu + p γ, where ρ is the density, u is the velocity, m is the momentum, E is the total energy and p is the pressure. We consider the initial value problem for system.) with the initial data w x). It is well known that entropy inequalities should be considered for general hyperbolic conservation laws. The generalized entropy function for.) is a smooth convex function Uw) with an entropy flux Fw) such that the following relation holds: U T w f w = F w. Entropy solutions of.) are weak solutions which in addition satisfy Uw) t + Fw) x in the sense of distributions for all the entropy pairs U, F). In [], a minimum principle of the specific entropy Sx, t) = ln p ρ γ was proved for the entropy solutions: Sx, t + h) min{sy, t) : y x u h}. The first order schemes including Godunov and Lax-Friedrichs schemes preserve a similar discrete property []. In [6], a first order kinetic scheme for multi-dimensional cases on a general mesh and a second order kinetic scheme satisfying the same property were discussed. However, it seems difficult to construct higher order minimumentropy-principle-satisfying schemes. The minimum principle of specific entropy in [] is so far the best pointwise estimate of entropy for gas dynamics equations, which is different from any estimate of total entropy. In particular, it was reported in [6] that enforcing this minimum entropy principle numerically might damp oscillations in numerical solutions. In this paper, we will discuss the minimum entropy principle of an arbitrarily high order scheme on a rectangular or unstructured triangular mesh. To have the specific entropy well-defined, the very first step is to guarantee the positivity of density and pressure of the numerical solution, which can be done for a high order finite volume or a discontinuous Galerkin DG) scheme following [7,4 6]. The main idea of positivity-preserving techniques for high order schemes in [4] is to find a sufficient condition to preserve the positivity of the cell averages by repeated convex combinations, namely,. Use strong stability preserving SSP) high order time discretizations which are convex combinations of forward Euler. For more details, see [3,4,8,9]. Then it 3

3 A minimum entropy principle of high order schemes 547 suffices to find a way to preserve the positivity for the forward Euler time discretization since the set of states with positive density and positive pressure is convex.. Use first order schemes which can keep the positivity of density and pressure as building blocks. High order spatial discretization with forward Euler is equivalent to a convex combination of formal first order schemes, thus will keep the positivity provided a certain sufficient condition is satisfied. 3. A simple conservative limiter can enforce the sufficient condition without destroying accuracy for smooth solutions. In fact, the methodology above can be used to enforce any property for high order schemes as long as the states satisfying this property form a convex set. In particular, we will show in Sect. that the specific entropy function is quasi-concave, thus the following set is convex, ρ G = w = m E ρ>, p >, and S S = min Sw x)) x..) Therefore, we can easily derive a sufficient condition for a high order scheme to keep numerical solutions lie in G, i.e., the minimum of the specific entropy at any later time will be bounded from below by the initial minimum. Then a straightforward extension of the limiter in [4] can enforce this condition without destroying conservation. This limiter will not destroy accuracy for generic smooth solutions, to be explained in Sect.. The conclusion of this paper is, by adding a simple limiter which will be specified later to a high order accurate finite volume scheme, e.g., the essentially non-oscillatory ENO) and the weighted ENO WENO) finite volume schemes, or a discontinuous Galerkin scheme solving one or multi-dimensional Euler equations, with the time evolution by a SSP Runge Kutta or multi-step method, the final scheme satisfies the minimum entropy principle and remains high order accurate for generic smooth solutions. The paper is organized as follows. We first describe the one-dimensional case in Sect.. Then we discuss the two-dimensional cases in Sect. 3. In Sect. 4, we show the numerical tests for high order DG schemes. Concluding remarks are given in Sect. 5. The one-dimensional case. Preliminaries Lemma. Sw) = ln p ρ γ inequality holds, is a quasi-concave function, namely, the following Sλ w + λ w )>min{sw ), Sw )}, if ρ,ρ >, where w = w λ,λ > and λ + λ =. 3

4 548. Zhang, C.-W. Shu Proof Let Uw) = ρhsw)), then U ww is positive definite if and only if ρh S) γ h S)) > and h S) >, see [5]. In particular, we can take hs) = S. Let w = λ w + λ w and S = min{sw ), Sw )}. U ww > implies U w) <λ Uw ) + λ Uw ).So ρs w) < λ ρ Sw ) λ ρ Sw ) λ ρ S λ ρ S = ρs. Thus we have S w) >S = min{sw ), Sw )}. Lemma. For a vector valued function wx) = ρx), mx), Ex)) T defined on an interval I =[x, x + ] satisfying ρx) > for all x I, we have S wx) dx min Swx)), x x I I where x = x + x. Proof Define Uw) = ρsthen U is a convex function. Let ρ = x I ρx)dx and w = x I wx)dx. Jensen s inequality implies ρs w) = U wx) dx U wx)) dx x x = I I ρx)swx)) dx ρ min Swx)). x x I Therefore, G defined in.) is a convex set by the concavity of pressure and Lemma.. The entropy solutions are in the set G, see[]. Consider a first order scheme for.) w n+ = w n λ[ fw n, wn + ) fw n, wn )],.) where f, ) is a numerical flux, n refers to the time step and to the spatial cell we assume uniform mesh size only for simplicity), and λ = x t is the ratio of time and space mesh sizes. w n is the approximation to the cell average of the exact solution vx, t) in the cell I =[x, x + ], or the point value of the exact solution vx, t) at x,attimeleveln. For Godunov, Lax Friedrichs and kinetic type fluxes [6], the scheme.) satisfies that w n being in the set G for all implies the solution w n+ being also in the set G. This is usually achieved under a standard CFL condition where α is a constant depending on the flux. 3 I λ u +c) α,.)

5 A minimum entropy principle of high order schemes 549 Recall that the numerical solutions of Godunov scheme are the cell averages of the exact solution if λ u +c). Thus Lemma. implies α = for the Godunov flux. Following the same proof as that in the Appendix of [7], it is straightforward to check that α = for the Lax Friedrichs flux.. High order schemes We now consider a general high order finite volume scheme, or the scheme satisfied by the cell averages of a DG method solving.), with forward Euler time discretization, which has the following form w n+ [ ) )] = w n λ f w, w + f w, w +,.3) + + where f is Godunov, Lax Friedrichs or kinetic type flux, w n is the approximation to the cell average of the exact solution vx, t) in the cell I = [x, x + ] at time level n, and w, w + are the high order approximations of the point values + + vx +, t n ) within the cells I and I + respectively. These values are either reconstructed from the cell averages w n in a finite volume method or read directly from the evolved polynomials in a DG method. We assume that there is a polynomial vector q x) = ρ x), m x), E x)) T either reconstructed in a finite volume method or evolved in a DG method) with degree k, where k, defined on I such that w n is the cell average of q x) on I, w + = q x ) and w = q + x + ). We need the N-point Legendre Gauss Lobatto quadrature rule on the interval I = [x, x + ], which is exact for the integral of polynomials of degree up to N 3. We would need to choose N such that N 3 k. Denote these quadrature points on I as { } x = x, x N,..., x, x N = x +..4) Let ŵ α be the quadrature weights for the interval [, ] such that N α= ŵ α =. Theorem.3 The high order scheme.3) satisfies a minimum entropy principle, i.e., assuming the numerical solution at time level n has positive density and positive pressure, then w n+ has positive density and positive pressure, and { } Sw n+ ) min min Sq x α α )), Sw+ ), Sw ), + under the CFL condition λ u +c) ŵ α..5) In particular, if q x α ) G for all and α, then wn+ G. 3

6 55. Zhang, C.-W. Shu Proof The positivity of density and pressure of w n+ was proved in Theorem. of [4]. Thus Sw n+ ) is well-defined. The exactness of the quadrature rule for polynomials of degree k implies By adding and subtracting f w n+ = N ŵ α q x α [ f ) λ α= + f N = = α= w n = q x) dx = x I ) w +, w f + ŵ α q x α )+ŵ N +ŵ w + λ [ f ŵ N α= N ŵ α q x α ). α= ) w +, w, the scheme.3) becomes + ) ) w, w f w +, w + )] w, w + w λ + ŵ N [ f w +, w + ŵ α q x α ) + ŵ N H N + ŵ H, w, w ) f ) )]) f w +, w + )]) w, w + where H = w + H N = w + λ ŵ [ f λ ŵ N [ f w + ), w f + ) f w, w w )], w + w +, w +.6) )]..7) Notice that.6) and.7) are both of the type.), and ŵ = ŵ N, therefore H and H N satisfy the minimum entropy principle under the CFL condition.5). Since w n+ is a convex combination of H, H N and q x α ), by Lemma., we get the minimum entropy principle for w n+. The high order SSP time discretizations will keep the validity of Theorem.3 since they are convex combinations of forward Euler. Theorem.3 implies that, to have the minimum principle for w n+ G, we need to enforce q x α ) G. The positivity of density and pressure of q x α ) G was discussed in [4]. Thus here we only show how to enforce the entropy part. At time level n, givenw n G, assume q x α ) α =,...,N) have positive density and pressure. Define G ={w : ρ, p >, S = S = min x Sw x))}, and 3 Lt) = t)w n + tq x), t..8)

7 A minimum entropy principle of high order schemes 55 G is a surface and Lt) is the line segment connecting the two points w n and q x), where t is a parameter. If Sq x)) < S, then the line segment Lt) t [, ]) intersects with the surface G at one and only one point since G is a convex set. If Sq x)) < S,lettx) denote the parameter in.8) corresponding to the intersection point; otherwise let tx) =. In practice, we can find tx) by using Newton iteration to solve SLtx))) = S. Now we define q x) = θ q x) w n ) + wn, θ = min tx)..9) x { x,..., x N } The limiter.9) should be used for each stage in a SSP Runge Kutta method or each step in a SSP multi-step method. It is easy to check that the cell average of q x) over I is w n. Lemma.4 q x) defined in.9) satisfies q x α ) G for all α. Proof First notice that q x) is a convex combination of q x) and w n, thus q x α ) still have positive density and pressure since pressure is a concave function. We only need to prove S q x α )) S for the case that Sq x α )) < S. If Sq x α )) < S, then SLt x α ))) = S and q x α ) = θ q x α ) wn ) + wn = θ t x α)[t xα ) q x α ) wn ) + wn ]+ θ ) t x α ) ) = θ t x α )Lt xα )) + θ t x α ) w n, w n So q x α ) is a convex combination of Lt xα )) and wn, thus S q x α )) S. We refer to a generic smooth solution as a smooth solution vx, t n ) G satisfying min Svx, t n )) = S and the second order derivative of Svx, t n )) with respect to x does not vanish at the global minimum. For such generic smooth solutions, the limiter.9) does not affect the high order accuracy of the original scheme. Assume q x) is a k + )-th order accurate approximation q x) vx, t n ) = O x k+ ). Without loss of generality, assume θ = t x β ) for some β. Since q x β ), Lt xβ )) and wn lie on the same line, we have θ = q x β ) Lt xβ )). Thus, q x β ) wn q x) q x) = θ q x) w n ) + wn q x) = θ )q x) w n ) = q x β ) Lt xβ )) q x β ) wn q x) w n ). 3

8 55. Zhang, C.-W. Shu Define dz, G) = min w G z w. Since S is the minimum of Svx, t n )), there is at least one x α such that S Sv x α, tn )) C x where C is a nonzero constant depending on the derivatives of Svx, t n )). This implies dv x α, tn ), G) O x ), thus dq x α ), G) O x ). w n is the cell average of q x) implies w n = N α= ŵ α q x α ).Sodwn, G) O x ). On the other hand, θ = t x β ) implies Sq x β )) / G, so q x β ) wn > dw n, G) O x ). The overshoot is small q x β ) Lt xβ )) = O xk+ ) since q x) is an accurate approximation to vx, t n ) G. Finally, notice that q x) w n = O x), we get that q x) q x) = O x k ), x I. We remark that for the non-generic situation that the second derivative of Svx, t n )) with respect to x does vanish at the global minimum, it seems difficult to design a conservative limiter which can be proved not to destroy accuracy. On the other hand, the fact that our limiter is easy to implement also for multi-dimensional cases see next section) and that it maintains high order accuracy for generic smooth solutions makes it a good technique to adopt for high order schemes. 3 The two-dimensional cases In this section we extend our result to finite volume or DG schemes of k + )-th order accuracy solving two-dimensional Euler equations with initial data w x, y) w t + fw) x + gw) y =, t,x, y) R, 3.) ρ m n w = m n, fw) = ρu + p ρuv, gw) = ρuv ρv + p E E + p)u E + p)v where m = ρu, n = ρv, E = ρu + ρv + ρe, p = γ )ρe, and u,v is the velocity. The eigenvalues of the Jacobian f w) are u c, u, u and u + c and the eigenvalues of the Jacobian g w) are v c,v,v and v + c. The specific entropy S = ln p ρ γ is quasi-concave with respect to w if ρ>and the set of admissible states G ={w ρ>, p >, S S = min x,y Sw x, y))} is still convex. 3. Rectangular meshes For simplicity we assume we have a uniform rectangular mesh. At time level n, we have an approximation polynomial q i x, y) of degree k with the cell average wi n on the i, ) cell [x i, x i+ ] [y, y + ].Letw + i, y), w y), i+, w+ x), i, w x) denote the traces of q i, + i x, y) on the four edges respectively. A finite volume scheme or the scheme satisfied by the cell averages of a DG method on a rectangular mesh can be written as 3

9 A minimum entropy principle of high order schemes 553 wi n+ = wi n t x y y + y f ] ] [w i+, y), w+i+, y) f [w i, y), w+i, y) dy t x y x i+ x i [ ] [ ] ĝ w x), w + x) ĝ w x), w + x) dx, i, + i, + i, i, where f, ),ĝ, ) are one dimensional fluxes. The integrals can be approximated by quadratures with sufficient accuracy. Let us assume that we use a Gauss quadrature with L points, which is exact for single variable polynomials of degree k. We assume Si x ={x β i : β =,...,L} denote the Gauss quadrature points on [x i, x i+ ], and S y ={y β : β =,...,L} denote the Gauss quadrature points on [y, y + ]. For instance, x i, y β ) β =,...,L) are the Gauss quadrature points on the left edge of the i, ) cell. The subscript β will denote the values at the Gauss quadrature points, for instance, w + = i,β w+ i, yβ ).Also,w β denotes the corresponding quadrature weight on interval [, ], so that L β= w β =. We will still need to use the N-point Gauss Lobatto quadrature rule where N is the smallest integer satisfying N 3 k, and we distinguish the two quadrature rules by adding hats to the Gauss Lobatto points, i.e., Ŝi x ={ x i α : α =,...,N} will denote the Gauss Lobatto quadrature points on [x i, x i+ ], and Ŝ y = {ŷ α : α =,...,N} will denote the Gauss Lobatto quadrature points on [y, y + ]. Subscripts or superscripts β will be used only for Gauss quadrature points and α only for Gauss Lobatto points. Let λ = x t and λ = y t, then the scheme becomes w n+ i = w n i λ λ L β= L w β [ f β= ) )] w i+,β, w+i+ f w i,β,β, w+i,β ) )] w β [ĝ w, w + ĝ w, w +. 3.) β,+ β,+ β, β, We use to denote the tensor product, for instance, S x i S y ={x, y) : x S x i, y Sy }. Define the set S i as S i = Si x Ŝ y ) Ŝx i S y ). 3.3) For simplicity, let μ = λ a λ a +λ a and μ = λ a λ a +λ a where a = u +c), a = v +c). Notice that ŵ = ŵ N,wehave 3

10 554. Zhang, C.-W. Shu wi n = μ x y x i+ x i y + μ q i x, y) dydx + x y y y + x i+ y x i q i x, y) dxdy = μ L = L β= α= N β= α= + L β= N w β ŵ α q i x i α, yβ ) + μ L β= α= w β ŵ α [ μ q i x α i, yβ ) + μ q i x β i, ŷα ) ] N w β ŵ α q i x β i, ŷα ) [ w β ŵ μ w + μ i+ w + + μ,β i w + μ,β β,+ w + β, ] 3.4) Theorem 3. Consider a two-dimensional finite volume scheme or the scheme satisfied by the cell averages of the DG method on rectangular meshes 3.), associated with the approximation polynomials q i x, y) of degree k either reconstruction or DG polynomials). If w ±, w ± G and q β,± i± ix, y) G for any x, y) S,β i ), then w n+ G under the CFL condition Proof Plugging 3.4) in,3.) can be written as w n+ i = L N β= α= +μ L β= λ a + λ a ŵ α. 3.5) w β ŵ α [ μ q i x α i, yβ ) + μ q i x β i, ŷα ) ] [ w β ŵ w λ i+,β μ ŵ + w + i,β λ μ ŵ +μ L β= + w + β, fw i+,β, w+i+,β) fw +i,β, w i+,β) ) fw +i,β, w i+,β) fw i,β, w+i,β) )] [ w β ŵ N w λ β,+ μ ŵ ) ĝw, w + ) ĝw +, w β,+ β,+ β, β,+ )] λ ĝw +, w ) ĝw, w + ) μ ŵ β, β,+ β, β, Following the same arguments as in Theorem.3, we conclude w n+ G. The limiter in the previous section can be extended easily to two-dimensional cases. At time level n, givenwi n G, do the following modification 3 q i x, y) = θ i q i x, y) w n i ) + wn i, θ i = min x,y) S i tx, y), 3.6)

11 A minimum entropy principle of high order schemes 555 where tx, y) is the parameter corresponding to the intersection point of the surface G and the line segment Lt) = t)w n i + tq ix, y) if q i x, y) / G; tx, y) = otherwise. 3. Triangular meshes For simplicity, we only discuss DG schemes in this subsection. All the conclusions will also hold for a high order finite volume scheme. For each triangle K we denote by l i K i =,, 3) the length of its three edges ei K i =,, 3), with outward unit normal vector ν i i =,, 3). K i) denotes the neighboring triangle along e i K and K is the area of the triangle K.Let Fw, v,ν)be a one dimensional monotone flux in the ν direction satisfying Fw, v, ν) = Fv, w, ν) conservation), and Fw, w, ν) = Fw) ν consistency), with Fw) = fw), gw). For example, the Lax-Friedrichs flux is defined as Fw, v,ν)= Fw) ν + Fv) ν av w)), a = u,v + c. A high order finite volume scheme or a scheme satisfied by the cell averages of a DG method, with first order forward Euler time discretization, can be written as w n+ K = w n K t K 3 i= e i K Fw intk ) i, w extk ) i,ν i ) ds, where w n ) K is the cell average over K of the numerical solution, and wintk i, w extk ) i are the approximations to the values on the edge e i K obtained from the interior and the exterior of K. Assume the DG polynomial on the triangle K is q K x, y) of degree k, then in the DG method, the edge integral should be approximated by the k + )-point Gauss quadrature. The scheme becomes w n+ K = w n K t K 3 k+ i= β= Fw intk ) i,β, w extk ) i,β,ν i )w β l i K, 3.7) where w β denote the k + )-point Gauss quadrature weights on the interval [, ], so that k+ β= w β =, and w intk ) i,β and w extk ) i,β denote the values of w evaluated at the β-th Gauss quadrature point on the i-th edge from the interior and exterior of the element K respectively. We need the quadrature rule introduced in [5] forq K x, y) on K. In the barycentric coordinates, the set SK k of quadrature points for polynomials of degree k on a triangle K can be written as 3

12 556. Zhang, C.-W. Shu Fig. Points in 3.8)fork = { ) ) ) )) SK k = + vβ, + ûα vβ, ûα vβ, ) ) ûα vβ, ) )) + vβ, + ûα vβ, ) ) ) ) + ûα vβ, ûα vβ, )} + vβ 3.8) where û α α =,...,N) and v β β =,...,k +) are the Gauss Lobatto and Gauss quadrature points on the interval [, ] respectively. See Fig. for an illustration of SK Ḟollowing Theorem 5. in [5] and the same arguments as in Theorem.3,wehave Theorem 3. For the scheme 3.7) with the polynomial q K x, y) of degree k, if w extk ) i,β G and q K x, y) G, x, y) SK k where Sk K is defined in 3.8), then w n+ K G under the CFL condition a K t 3i= l i K 3ŵα. The the same limiter can be used to enforce the sufficient condition. At time level n, givenw n K G, do the following modification q K x, y) = θ K qk x, y) w n K ) + w n K, θ K = min x,y) S K tx, y), 3.9) where tx, y) is the parameter corresponding to the intersection point of the surface G and the line segment Lt) = t)w n K + tq K x, y) if q K x, y) / G; tx, y) = otherwise. 4 Numerical tests In this section, γ =.4 for all the examples. Example 4. Accuracy tests. We first test the accuracy of the entropy limiter.9). The initial condition is ρ x, y) = + sinπ x), u x) =, p x) =. The domain is [, ] and the boundary condition is periodic. The exact solution is ρx, y, t) = + sinπx t)), ux, t) = 3

13 A minimum entropy principle of high order schemes 557, px, t) =. The numerical schemes are the third order and fourth order DG schemes with Lax Friedrichs flux [] and the third order SSP time discretizations with the entropy limiter.9) used at each time stage or each time step. The third order SSP Runge Kutta method in [9] with the CFL coefficient c = ) is u ) = u n + tfu n ) u ) = 3 4 un + 4 u) + tfu ) ) u n+ = 3 un + 3 u) + tfu ) )) where Fu) is the spatial operator, and the third order SSP multi-step method in [8] with the CFL coefficient c = 3 )is u n+ = 6 7 un + 3 tfu n )) + u n 3 + ) 7 tfun 3 ). Here, the CFL coefficient c for a SSP time discretization refers to the fact that, if we assume the forward Euler time discretization for solving the equation u t = Fu) is stable in a norm or a semi-norm under a time step restriction t t, then the high order SSP time discretization is also stable in the same norm or semi-norm under the time step restriction t c t. For k = and k = 3, ŵ = 6 and α =, thus the time step.5) forp DG with Runge Kutta is taken as t = x u +c). Since the CFL coefficient c = 3 for x u +c). the third order SSP multi-step method, the time step is taken as t = 36 For the fourth order scheme, in order to make the error from spatial discretizations dominant, we replace x by x 4 3. The accuracy result is listed in Table. We observe that, for Runge Kutta, the accuracy degenerates when the mesh is fine enough. This is due to the lower order accuracy in the intermediate stages of the Runge Kutta method. In particular, recall that the limiter.9) does not destroy accuracy for generic smooth solutions only if the polynomial q x) is a k + )th accurate approximation to the exact solution. The DG polynomials q x) in the intermediate stages of a Runge Kutta methods are in general not k + )th order accurate, therefore the limiter.9) may kill the accuracy when it is imposed in the intermediate stages. The same phenomenon exists for the high order maximum-principle-satisfying schemes, see [3]. A similar phenomenon of the Runge Kutta method in the context of boundary conditions was pointed out in []. The full accuracy order is observed for the multi-step time discretization, which ustifies that the limiter itself does not kill accuracy. Since accuracy degeneracy is usually only observed on very fine meshes for Runge Kutta methods, in applications it is often acceptable to use the Runge Kutta methods, similar to the conclusions in [,3]. Example 4. The Lax shock tube problem. For high order DG schemes solving the compressible Euler equations, even though the characteristicwise TVB limiter in [] can kill oscillations, it is not sufficient to 3

14 558. Zhang, C.-W. Shu Table Third order SSP time discretizations and high order DG spatial discretizations with the entropy limiter.9), x = N, t =. N SSP Runge Kutta SSP multi-step L error Order L error Order L error Order L error Order P DG t = x u +c) t = 36 x u +c) 8.49E 3 5.3E 3.58E E E E E E E E E E E E E E E E E E E E E E E E E E 8 3.,4 6.6E.98.E E 3..88E 9 3. P 3 DG t = x 4 3 u +c) t = x u +c) 4 5.E 4 4.5E 3 5.9E 4.9E E E E E E E E E E E E E E E E E E E E 4..4E E E 9.43.E 4. 9.E E E.59.6E E 4. stabilize the scheme for problems with low densities or low pressures. In [4], it was reported that high order RKDG scheme with both the positivity-preserving limiter and the TVB limiter worked fine for a lot of demanding problems. Recent study reveals that the third order RKDG scheme with only the positivity-preserving limiter is stable even for strong shocks, see [], which is not surprising since a conservative positivity-preserving scheme is L stable [6]. However, the positivity-preserving limiter alone can not kill oscillations for high order DG schemes, and the oscillations are much more prominent in the fourth order DG scheme than in the third order scheme. See Fig. for the result of the fourth order DG scheme with P 3 element for the Lax shock tube problem. We can see that the result with only the positivity-preserving limiter is oscillatory and the result with the positivity-preserving limiter and.9) has much less oscillations. In other words, enforcing the minimum entropy principle will damp the oscillations in high order schemes, which was pointed out in [6]. Example 4.3 Double rarefactions with low densities and low pressures. Consider the following one-dimensional Riemann problem with initial data 3 ρ L = ρ R = p L = p R =, u R = u L = v.

15 A minimum entropy principle of high order schemes 559 DENSITY DENSITY.5.5 a) b) VELOCITY VELOCITY c) -4-4 d) PRESSURE PRESSURE e) Fig. Lax shock tube problem. P 3 element DG with the positivity-preserving limiter without any TVD or TVB limiter cells. The solid lines are the exact solutions. The symbols are the numerical solutions f) We first test the entropy limiter for the case v = 4, in which the lowest pressure of the exact solution is around.34. In Fig. 3, we can see that the DG method with only the positivity limiter works well and adding the entropy limiter does not destroy the good performance. Then we test the entropy limiter for the case v =, in which vacuum is present. In Fig. 4, we observe that the entropy limiter indeed damps the overshoots near x =±4. 3

16 56. Zhang, C.-W. Shu DENSITY DENSITY a) -4-4 b) -4-4 PRESSURE PRESSURE c) -4-4 d) -4-4 Fig. 3 Example 4.3 with v = 4. P 3 element DG with the positivity-preserving limiter without any TVD or TVB limiter. The solid lines are the exact solutions. The symbols are the numerical solutions on cells at time T =.7 For this particular problem, the exact solution is isentropic. We plot the history of minimum and maximum specific entropy values of the numerical solutions in Fig. 5 for the P 3 element DG scheme with the positivity-preserving limiter and the entropy limiter. We observe that the minimum stays the same, which means the entropy limiter does its ob to keep the minimum principle. On the other hand, the maximum is not in control, which however does not affect the performance of the scheme as Figs. 3 and 4 show. Example 4.4 The Shu Osher problem. We consider the problem of shock wave interacting with sine waves in density, proposed in []. Initially, ρ = , u =.69369, p =.33333, if x < 4; ρ = +.sin5x, u =, p =, if x 4. See Fig. 6 for the good performance of the entropy limiter. 3

17 A minimum entropy principle of high order schemes 56 DENSITY DENSITY a) -4-4 b) -4-4 PRESSURE PRESSURE c) -4-4 d) -4-4 Fig. 4 Example 4.3 with v =. P 3 element DG with the positivity-preserving limiter without any TVD or TVB limiter. The solid lines are the reference solutions obtained by the P 3 element DG with only the positivity-preserving limiter on, cells. The symbols are the numerical solutions on 8 cells at time T =.3 ENTROPY 3 Min Max ENTROPY 4 3 Min Max a) TIME...3 TIME b) Fig. 5 The minimum and maximum values of specific entropy in the solutions of the P 3 element DG scheme with the positivity-preserving limiter and the entropy limiter 3

18 56. Zhang, C.-W. Shu 4 4 DENSITY 3 DENSITY 3 a) b) Min Max x c) d) TIME Fig. 6 The Shu Osher problem. P 3 element DG with the positivity-preserving limiter without any TVD or TVB limiter. The solid lines are the reference solutions obtained by the P 3 element DG with only the positivity-preserving limiter on, cells. The symbols are the numerical solutions on cells at time T =.8 5 Concluding remarks In this paper, we have discussed the minimum entropy principle for high order schemes solving the compressible Euler equations in gas dynamics. An extension of positivity-preserving limiter in [4] can be used to enforce the minimum entropy principle. The generalizations to higher dimension are straightforward. Numerical tests imply that enforcing the minimum entropy principle may damp the oscillations in high order schemes. Acknowledgments The authors would like to thank Eitan Tadmor for helpful discussions about the minimum entropy principle for gas dynamics equations. References. Carpenter, M.H., Gottlieb, D., Abarbanel, S., Don, W.-S.: The theoretical accuracy of Runge Kutta time discretizations for the initial boundary value problem: a study of the boundary error. SIAM J. Scientific Comput. 6, ). Cockburn, B., Lin, S.-Y., Shu, C.-W.: TVB Runge Kutta local proection discontinuous Galerkin finite element method for conservation laws III: one dimensional systems. J. Comput. Phys. 84, ) 3

19 A minimum entropy principle of high order schemes Gottlieb, S., Ketcheson, D.I., Shu, C.-W.: High order strong stability preserving time discretizations. J. Scientific Comput. 38, ) 4. Gottlieb, S., Shu, C.-W., Tadmor, E.: Strong stability preserving high order time discretization methods. SIAM Rev. 43, 89 ) 5. Harten, A.: On the symmetric form of systems of conservation laws with entropy. J. Comput. Phys. 49, ) 6. Khobalatte, B., Perthame, B.: Maximum principle on the entropy and second-order kinetic schemes. Math. Comput. 6, ) 7. Perthame, B., Shu, C.-W.: On positivity preserving finite volume schemes for Euler equations. Numerische Mathematik 73, ) 8. Shu, C.-W.: Total-variation-diminishing time discretizations. SIAM J. Scientific Stat. Comput. 9, ) 9. Shu, C.-W., Osher, S.: Efficient implementation of essentially non-oscillatory shock-capturing schemes. J. Comput. Phys. 77, ). Shu, C.-W., Osher, S.: Efficient implementation of essentially non-oscillatory shock-capturing schemes, II. J. Comput. Phys. 83, ). Tadmor, E.: A minimum entropy principle in the gas dynamics equations. Appl. Numer. Math., 9 986). Wang, C., Zhang,., Shu, C.-W., Ning, J.: Robust high order discontinuous Galerkin schemes for two-dimensional gaseous detonations. J. Comput. Phys. 3, ) 3. Zhang,., Shu, C.-W.: On maximum-principle-satisfying high order schemes for scalar conservation laws. J. Comput. Phys. 9, 39 3 ) 4. Zhang,., Shu, C.-W.: On positivity preserving high order discontinuous Galerkin schemes for compressible Euler equations on rectangular meshes. J. Comput. Phys. 9, ) 5. Zhang,., ia, Y., Shu, C.-W.: Maximum-principle-satisfying and positivity-preserving high order discontinuous Galerkin schemes for conservation laws on triangular meshes. J. Scientific Comput. in press) 6. Zhang,., Shu, C.-W.: Maximum-principle-satisfying and positivity-preserving high order schemes for conservation laws: survey and new developments. Proc Royal Soc. A 467, ) 3