Abstract
Is the experimental order of convergence lower when using the entropy stable DGSEM-LGL variant? Recently, a debate on the question of the convergence behavior of the entropy stable nodal collocation discontinuous Galerkin spectral element method (DGSEM) with Legendre-Gauss-Lobatto nodes has emerged. Whereas it is well documented that the entropy conservative variant with no additional interface dissipation shows an odd-even behavior when testing its experimental convergence order, the results in the literature are less clear regarding the entropy stable version of the DGSEM-LGL, where explicit Riemann solver type dissipation is added at the element interfaces. We contribute to the ongoing discussion and present numerical experiments for the compressible Euler equations, where we investigate the effect of the choice of the numerical surface flux function. In our experiments, it turns out that the choice of the numerical surface flux has an impact on the convergence order. Penalty type numerical fluxes with high dissipation in all waves, such as the LLF and the HLL flux, appear to affect the convergence order negatively for odd polynomial degrees N, in contrast to the entropy conserving variant, where even polynomial degrees N are negatively affected. This behavior is more pronounced in low Mach number settings. In contrast, for numerical surface fluxes with less dissipative behavior in the contact wave such as e.g. Roe’s flux, the HLLC flux and the entropy conservative flux augmented with 5-wave matrix dissipation, optimal convergence rate of N + 1 independent of the Mach number is observed.
You have full access to this open access chapter, Download conference paper PDF
Similar content being viewed by others
Keywords
- Entropy stability
- Discontinuous Galerkin spectral element method
- Summation-by-parts
- Order reduction
- Compressible Euler equations
1 Introduction
Discontinuous Galerkin spectral element collocation method (DGSEM) with either Legendre-Gauss or Legendre-Gauss-Lobatto (LGL) nodes (see e.g. [14]) are among the most efficient variants in the class of element based high order methods, such as e.g. discontinuous Galerkin, flux reconstruction, or summation-by-parts (SBP) finite differences. In particular, the LGL variant, starting in [9], turned out to be similar to a SBP finite difference approximation with simultaneous-approximate-term technique (SAT). This relationship allowed to construct conservative skew-symmetric approximations, e.g. [9, 10, 21], and later enabled DGSEM-LGL approximations that are discretely entropy stable, e.g. [1, 3, 6, 8, 13, 17, 19, 20], and/or kinetic energy preserving [12]. These novel variants of nodal split form DG methods feature drastically increased non-linear robustness towards aliasing induced instabilities and favourable properties regarding the simulation of unresolved turbulence, e.g. [7, 23].
In addition to the very robust dissipative entropy stable versions, it is also possible to construct virtually dissipation free variants by choosing appropriate element interface numerical fluxes. These entropy conserving variants all show an odd-even behavior when experimentally testing the order of convergence, e.g. [9, 21], where the observed convergence order for even polynomial degrees N is N and for odd N is N + 1. Lately, a discussion emerged in the community, with interesting debates during the recent ICOSAHOM conference in London, where researchers reported non-optimal convergence behavior of the entropy stable DGSEM-LGL even with dissipative numerical surface fluxes, e.g. [6].
This paper contributes to this discussion and presents results of an experimental convergence order study for the compressible Euler equations with (1) the standard DGSEM with either Gauss and LGL nodes, (2) the entropy stable DGSEM with LGL nodes. For these nodal schemes, we test the convergence order with different numerical surface fluxes and report the results depending on the Mach number of the test case. The remainder of the paper is organized as follows: in the next section we describe the numerical model for our numerical experiments, in Sect. 3 we present our observed experimental convergence orders for different configurations and draw our conclusion in Sect. 4.
2 Numerical Model
We consider the compressible Euler equations defined in the domain \(\Omega \subset \mathbb {R}^3\)
The state vector contains the conservative variables and the advective flux components are
Here, \(\varrho ,\,\ accentset {\,\rightarrow }{v}=(v_1,v_2,v_3)^T,\,p,\,E\) are the mass density, fluid velocities, pressure and total energy. We close the system with the ideal gas assumption, which relates the total energy and pressure
where γ denotes the adiabatic coefficient.
For our discretization, we subdivide the domain into non-overlapping hexahedral elements. For each element, we define a transfinite mapping to a unit reference space and use this mapping to transform the Eq. (1) from physical to reference space. A weak form is created by taking the inner product of the transformed equation with a test function. We use integration-by-parts for the flux term and approximate the resulting weak form as follows: the conservative variables are approximated by a polynomial in reference space with degree N, interpolated at the Gauss or LGL nodes. The volume fluxes are replaced by a standard interpolation of the non-linear flux function at the same Gauss/LGL nodes (standard DGSEM-Gauss or DGSEM-LGL), see e.g. [14]. For the LGL variant, we are also able to introduce the split form volume integral based on entropy conserving and kinetic energy preserving numerical volume fluxes (Split-DGSEM), e.g. [12] and [22], resulting in either the entropy conserving or entropy stable DGSEM variants, depending on the choice of numerical surface flux.
3 Convergence Results
In this section, we compare the convergence of the standard DGSEM and the entropy conservative and entropy stable discretization for different choices of the numerical flux and polynomial degrees N = 2, 3, 4, 5.
We choose the test case of a two-dimensional density wave, with a constant pressure and transported with a constant velocity, which was proposed for one-dimensional convergence tests in [4]. The density evolves as
with a prescribed velocity (v 1, v 2). The pressure is chosen as p = 1∕γ with γ = 1.4, so that the sound speed ranges between c = 0.95…1.05. Thus, by changing the velocity, we change the Mach number of the flow \(\mathrm {Ma}=|\ accentset {\,\rightarrow }{v}| / c\). Three Mach numbers are chosen: Ma ≈ 0.2 with (v 1, v 2) = (0.1, 0.15), Ma ≈ 1.0 with (v 1, v 2) = (0.7, 0.65) and Ma ≈ 3.5 with (v 1, v 2) = (2.5, 2.4). The experimental order of convergence (EOC) is computed with the L 2 error of the density at t = 1.
The convergence study is performed with the open source, three-dimensional curvilinear split-form DG framework FLUXO (www.github.com/project-fluxo). As the test case is two-dimensional, we use fully periodic cartesian meshes of the domain [−1, 1]3 with an equal number of elements in x- and y-directions and always 1 element in z-direction. Note that h 0 in the convergence tables refers to the coarsest mesh level, which is 42 elements for N = 2, 3 (h 0 = 1∕2) and 22 elements for N = 4, 5 (h 0 = 1).
All simulation results are obtained with an explicit five stage, fourth order accurate low storage Runge–Kutta scheme [2], where a stable time step is computed according to the adjustable coefficient CFL∈ (0, 1], the local maximum wave speed, and the relative grid size, e.g. [11]. We made sure that the time integrator did not influence the spatial convergence order, by adjusting the CFL number accordingly.
3.1 Standard DGSEM
The convergence of the standard DGSEM with Gauss-Legendre nodes (DGSEM-Gauss) and with Legendre-Gauss-Lobatto (DGSEM-LGL) is shown in Tables 1 and 2, for the three Mach numbers and two choices of the numerical flux, namely the HLL (Harten, Lax, van Leer) flux and the Roe flux. The results of the LLF (local Lax-Friedrichs) flux and the HLLC flux (HLL variant with three waves, C for ‘contact’ wave) are reported in the Appendix, as the HLL results are similar to LLF, and HLLC behaves exactly the same as Roe, see Tables 4 and 5. Details on the properties and the implementation of the LLF, HLL, HLLC, and Roe fluxes are found in the book of Toro [18] and the references therein.
For the HLL flux and the low Mach number Ma = 0.2, we observe an odd-even behavior with an order reduction for even polynomial degrees N = 2, 4. Also for Ma = 1.0, the convergence for even degrees is slightly affected, whereas for the high Mach number, all fluxes converge with full order. Comparing the L 2 errors of the finest mesh for HLL and Roe for the low Mach number, HLL is less accurate for N = 2, 4 and more accurate for N = 3, 5.
All numerical fluxes are approximate Riemann solvers, but the LLF and HLL only use the maximum wave speeds, whereas the HLLC and Roe also take the contact wave into account, and therefore keep the full order of the scheme for all Mach numbers for this test case.
3.2 Entropy Conservative and Entropy Stable DGSEM
Now, we investigate the order reduction of the entropy conservative and entropy stable discretizations. Here, the standard DGSEM volume integral is replaced by split-form formulation (Split-DGSEM) using a two-point entropy conservative and kinetic energy preserving flux (ECKEP). If we choose the ECKEP flux at the surface, we get an entropy-conserving scheme. For entropy stability, we can use the LLF or HLL flux directly at the surface, or use the ECKEP flux and add a dissipation term, which must still satisfy the entropy inequality condition. In Winters et al. [22], such dissipation terms are carefully derived, using either only the maximum wave speed (LLF-type) or incorporating all waves (Roe-type), which we will refer to as ECKEP-LLF and ECKEP-Roe fluxes.
In Table 3, we summarize the convergence of the dissipation-free ECKEP flux, the HLL and ECKEP-Roe flux. The results for LLF and ECKEP-LLF fluxes are found in the Appendix in Table 6, as they have the same convergence and error levels as the HLL flux. As expected, the dissipation-free surface flux (ECKEP) produces an order reduction for all Mach numbers for N = 3, 5, and for N = 2 full order is not kept in the last refinement step.
If we simply use the HLL flux, we have an entropy stable scheme, but an order reduction for N = 2, 4 can be observed for the low Mach number flow, analogously to the standard DGSEM-LGL scheme. Interestingly, the odd-even behavior switches between entropy conserving and entropy stable fluxes.
The ECKEP-Roe entropy stable flux accounts for all waves of the Riemann problem and adjusts the dissipation for each wave accordingly, which gives full order convergence for all Mach numbers.
4 Conclusions
In this work, we report the convergence of standard DGSEM Gauss and Gauss-Lobatto schemes to entropy conservative (EC) and entropy stable (ES) DGSEM schemes for the Euler equations, as there have been findings of order reduction for EC and ES schemes. We choose a simple density transport test case on a periodic domain and investigate the influence of the Mach number of the transport velocity.
The EC scheme is dissipation free and an order reduction is observed by the convergence study presented here, confirming many similar observations found in literature. We also confirm that the ES scheme can have an order reduction for low Mach numbers, but only if the entropy stable numerical flux relies on simple approximate Riemann solvers such as local Lax-Friedrichs or HLL. If all waves are accounted for in the dissipation term of the entropy stable flux as presented in [22], the full order is observed for all Mach numbers. In addition, we reproduce the same behavior for the standard DGSEM Gauss and Gauss-Lobatto schemes, where the LLF and HLL fluxes suffer from order reduction at low Mach number, and HLLC and Roe fluxes have full order for all Mach numbers.
We want to emphasize that the present convergence study should be seen merely as an observation, confirming that the numerical flux can have strong influence on the convergence order for both the standard DGSEM and the entropy stable DGSEM. Also, we stress that in our tests the order reduction is related to the form of the dissipation term in the numerical surface flux and is not related to the insufficient integration precision of the LGL-quadrature.
Based on the observations presented in this work, a possible explanation for the loss of convergence for the density transport at low Mach numbers when using LLF and HLL fluxes is the form of dissipation from the approximate Riemann solver. In the case of the density transport, the exact solution follows the characteristic with velocity \(\ accentset {\,\rightarrow }{v}\). However, the approximate Riemann solver LLF and HLL consider only two waves with maximum velocity \(\sim (|\ accentset {\,\rightarrow }{v}|+c)\) and do not consider the contact wave with velocity \(\ accentset {\,\rightarrow }{v}\). Thus, the contact wave is dissipated proportional to \(\sim (|\ accentset {\,\rightarrow }{v}|+c)\) and not to \(|\ accentset {\,\rightarrow }{v}|\). For low Mach numbers, where \(c > \ accentset {\,\rightarrow }{v}\), this causes over-upwinding. Over-upwinding was discussed in [5, 15]. It is not intuitive at first, but over-upwinding (over-penalization) can lead to a reduction of the in-built dissipation of the DG scheme, getting wave-propagation characteristics similar to a continuous Galerkin method [16]. This loss of in-built dissipation could be an explanation for the even-odd behavior we observed. However, it is still unclear why numerical surface fluxes with no in-built dissipation that are symmetric, e.g. EC flux, lead to an odd-even behavior in the convergence order and why numerical surface fluxes with over-upwinding, i.e. reduced dissipation due to over-penalization, cause an opposite even-odd behavior. What supports the explanation is the recovery of full convergence order for LLF and HLL when the difference in wave speed becomes smaller for higher Mach numbers, i.e. no over-upwinding. In contrast to LLF and HLL, the HLLC and Roe solvers take specifically the contact wave into account and adjust the dissipation accordingly and thus avoid strong over-upwinding by construction. In our tests, we always observe full convergence order for all Mach numbers for HLLC and Roe.
Lastly we note that a convergence study using a manufactured solution technique can be misleading, as full convergence order is found independent of the choice of numerical flux. Hence, the introduction of a source term to balance the prescribed solution overcomes possible deficiencies of the surface fluxes, showing the limit of the manufactured solution technique in this context. In the Appendix, the convergence results of a manufactured solution are reported.
References
Bohm, M., Winters, A.R., Gassner, G.J., Derigs, D., Hindenlang, F., Saur, J.: An entropy stable nodal discontinuous Galerkin method for the resistive MHD equations. part I: theory and numerical verification. J. Comput. Phys. (2018)
Carpenter, M., Kennedy, C.: Fourth-order 2N-storage Runge-Kutta schemes. Technical Report NASA TM 109111 (1994)
Carpenter, M., Fisher, T., Nielsen, E., Frankel, S.: Entropy stable spectral collocation schemes for the Navier–Stokes equations: discontinuous interfaces. SIAM J. Sci. Comput. 36(5), B835–B867 (2014)
Chan, J.: On discretely entropy conservative and entropy stable discontinuous Galerkin methods. J. Comput. Phys. 362, 346–374 (2018)
Chan, J., Warburton, T.: On the penalty stabilization mechanism for upwind discontinuous Galerkin formulations of first order hyperbolic systems. Comput. Math. Appl. 74(12), 3099–3110 (2017)
Chen, T., Shu, C.-W.: Entropy stable high order discontinuous Galerkin methods with suitable quadrature rules for hyperbolic conservation laws. J. Comput. Phys. 345, 427–461 (2017)
Flad, D., Gassner, G.: On the use of kinetic energy preserving DG-schemes for large eddy simulation. J. Comput. Phys. 350, 782–795 (2017)
Friedrich, L., Winters, A.R., Del Rey Fernández, D.C., Gassner, G.J., Parsani, M., Carpenter, M.H.: An entropy stable h∕p non-conforming discontinuous Galerkin method with the summation-by-parts property. J. Sci. Comput. 77, 689–725 (2018)
Gassner, G.: A skew-symmetric discontinuous Galerkin spectral element discretization and its relation to SBP-SAT finite difference methods. SIAM J. Sci. Comput. 35(3), A1233–A1253 (2013)
Gassner, G.J.: A kinetic energy preserving nodal discontinuous Galerkin spectral element method. Int. J. Numer. Methods Fluids 76(1), 28–50 (2014)
Gassner, G., Kopriva, D.A.: A comparison of the dispersion and dissipation errors of Gauss and Gauss–Lobatto discontinuous Galerkin spectral element methods. SIAM J. Sci. Comput. 33, 2560–2579 (2011)
Gassner, G.J., Winters, A.R., Kopriva, D.A.: Split form nodal discontinuous Galerkin schemes with summation-by-parts property for the compressible Euler equations. J. Comput. Phys. 327, 39–66 (2016)
Gassner, G.J., Winters, A.R., Hindenlang, F.J., Kopriva, D.A.: The BR1 scheme is stable for the compressible Navier–Stokes equations. J. Sci. Comput. 77, 154–200 (2018)
Kopriva, D.A.: Implementing Spectral Methods for Partial Differential Equations. Scientific Computation. Springer, Berlin (2009)
Manzanero, J., Ferrer, E., Rubio, G., Valero, E.: On the role of numerical dissipation in stabilising under-resolved turbulent simulations using discontinuous Galerkin methods. Preprint arXiv:1805.10519 (2018)
Moura, R., Sherwin, S., Peirò, J.: Eigensolution analysis of spectral/hp continuous Galerkin approximations to advection-diffusion problems: insights into spectral vanishing viscosity. J. Comput. Phys. 307, 401–422 (2016)
Parsani, M., Carpenter, M.H., Nielsen, E.J.: Entropy stable wall boundary conditions for the three-dimensional compressible Navier–Stokes equations. J. Comput. Phys. 292, 88–113 (2015)
Toro, E.: Riemann Solvers and Numerical Methods for Fluid Dynamics. Springer, Berlin (2009)
Wintermeyer, N., Winters, A.R., Gassner, G.J., Kopriva, D.A.: An entropy stable nodal discontinuous Galerkin method for the two dimensional shallow water equations on unstructured curvilinear meshes with discontinuous bathymetry. J. Comput. Phys. (2016, submitted). arXiv:1509.07096 [math.NA]
Wintermeyer, N., Winters, A.R., Gassner, G.J., Warburton, T.: An entropy stable discontinuous Galerkin method for the shallow water equations on curvilinear meshes with wet/dry fronts accelerated by GPUs. J. Comput. Phys. 375, 447–480 (2018)
Winters, A.R., Gassner, G.J.: A comparison of two entropy stable discontinuous Galerkin spectral element approximations for the shallow water equations with non-constant topography. J. Comput. Phys. 301, 357–376 (2015)
Winters, A.R., Derigs, D., Gassner, G.J., Walch, S.: A uniquely defined entropy stable matrix dissipation operator for high Mach number ideal MHD and compressible Euler simulations. J. Comput. Phys. 332, 274–289 (2017)
Winters, A.R., Moura, R.C., Mengaldo, G., Gassner, G.J., Walch, S., Peiro, J., Sherwin, S.J.: A comparative study on polynomial dealiasing and split form discontinuous Galerkin schemes for under-resolved turbulence computations. J. Comput. Phys. 372, 1–21 (2018)
Acknowledgements
Gregor Gassner thanks the European Research Council for funding through the ERC Starting Grant “An Exascale aware and Un-crashable Space-Time-Adaptive Discontinuous Spectral Element Solver for Non-Linear Conservation Laws” (Extreme), ERC grant agreement no. 714487. Florian Hindenlang thanks Eric Sonnendrücker and the Max-Planck Institute for Plasma Physics in Garching for their constant support. We would also like all participants of the ICOSAHOM 2018 for the valuable discussions on the topic of entropy stable schemes, which motivated this work.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Appendix
Appendix
1.1 5 Additional Convergence Results
In this section, we present additional convergence results of the density wave test case for the DGSEM-Gauss and DGSEM-LGL with LLF and HLLC fluxes in Table 4 and Table 5, and also the entropy stable schemes with LLF and ECKEP-LLF fluxes in Table 6. The results for LLF-type fluxes behave like the HLL flux, and for the HLLC flux like the Roe-type fluxes presented in Table 3.
1.2 5 Manufactured Solution with Source Term
Here, we run a convergence test with the method of manufactured solutions. To do so, we assume a two-dimensional solution of the form
Note that the average Mach number in the domain is Ma = 0.8. Inserting (5) into the Euler equations, and using the fact that spatial and time derivatives are \(g'=\partial _{x_1} g=\partial _{x_2}g=-\partial _t g\), we get an additional residual
To solve the inhomogeneous problem, we subtract the residual from the approximate solution in each Runge–Kutta step. Moreover, we run the test case up to the final time \(t\!=\!1.0\).
In the convergence results for the standard DGSEM Gauss and Gauss-Lobatto, we see that the LLF flux still leads to an order reduction for N = 2, 4, whereas full order is found for the HLL, HLLC and Roe fluxes, see Tables 7 and 8.
In Table 9 the entropy conservative scheme shows again an order reduction for N = 3, 5, and the LLF-Type dissipation too, for N = 2, 4, and for this test case, all entropy stable schemes exhibit full order.
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
Copyright information
© 2020 The Author(s)
About this paper
Cite this paper
Hindenlang, F.J., Gassner, G.J. (2020). On the Order Reduction of Entropy Stable DGSEM for the Compressible Euler Equations. In: Sherwin, S.J., Moxey, D., Peiró, J., Vincent, P.E., Schwab, C. (eds) Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2018. Lecture Notes in Computational Science and Engineering, vol 134. Springer, Cham. https://doi.org/10.1007/978-3-030-39647-3_2
Download citation
DOI: https://doi.org/10.1007/978-3-030-39647-3_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-39646-6
Online ISBN: 978-3-030-39647-3
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)