Abstract
We perform a linear and entropy stability analysis for wall boundary condition procedures for discontinuous Galerkin spectral element approximations of the compressible Euler equations. Two types of boundary procedures are examined. The first defines a special wall boundary flux that incorporates the boundary condition. The other is the commonly used reflection condition where an external state is specified that has an equal and opposite normal velocity. The internal and external states are then combined through an approximate Riemann solver to weakly impose the boundary condition. We show that with the exact upwind and Lax-Friedrichs solvers the approximations are energy dissipative, with the amount of dissipation proportional to the square of the normal Mach number. Standard approximate Riemann solvers, namely Lax-Friedrichs, HLL, HLLC are entropy stable. The Roe flux is entropy stable under certain conditions. An entropy conserving flux with an entropy stable dissipation term (EC-ES) is also presented. The analysis gives insight into why these boundary conditions are robust in that they introduce large amounts of energy or entropy dissipation when the boundary condition is not accurately satisfied, e.g. due to an impulsive start or under resolution.
You have full access to this open access chapter, Download conference paper PDF
1 Introduction
The ingredients for a reliable numerical method for the approximation of partial differential equations, e.g. one that will not blow up, include stable inter-element and physical boundary condition implementations. The recognition that the discontinuous Galerkin spectral element method (DGSEM) with Gauss-Lobatto quadratures satisfies a summation-by-parts (SBP) operators [4, 7] has allowed for the analysis of these schemes and to connect them with penalty collocation and SBP finite difference schemes. For instance, in [5], we showed that a split form approximation of the compressible Navier–Stokes equations was both linearly and entropy stable provided that the boundary conditions were properly imposed.
The importance of stable boundary condition procedures for hyperbolic equations has long been studied, especially in relation to finite difference methods, e.g. [3, 9, 10]. Only recently have they been studied for discontinuous Galerkin approximations. In [12], the authors showed that the reflection approach is stable when using an entropy conserving flux and an additional entropy stable dissipation term (EC-ES). In [2], the authors show that the reflection condition is stable if the numerical flux is either the Godunov or HLL flux.
In this paper, we analyze both the linear and entropy stability of two types of commonly used wall boundary condition procedures used with the DGSEM applied to the compressible Euler equations. In both cases, wall boundary conditions are implemented through a numerical flux. The boundary condition might be implemented through a special wall numerical flux that includes the boundary condition, or a fictitious external state applied to a Riemann solver approximation. We show how to construct special wall numerical fluxes that are stable, and study the behavior of the approximations. In particular, we show that the use of Riemann solvers at the boundaries introduce numerical dissipation in an amount that depends on the size of the normal Mach number at the wall.
2 The Compressible Euler Equations and the Wall Boundary Condition
We write the Euler equations as
The state vector contains the conservative variables
In standard form, the components of the advective fluxes are
Here, \(\varrho ,\,\vec {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 a compact notation that simplifies the analysis, we define block vectors (with the double arrow)
so that the system of equations can be written in the compact form
The linear Euler equations are derived by linearizing about a constant mean state \((\bar {\varrho },\bar {v}_1,\bar {v}_2,\bar {v}_3,\bar {p})\). We follow [11] for the symmetrization of the linearized equations, with the constants
where \(\bar c\) is the sound speed of the constant mean state. The state variables become
where \(\vec {v}\) is the velocity perturbation from the mean state, and we introduce
which depend on the density and pressure perturbations \(\tilde {\varrho },\tilde {p}\). The flux vectors are
where [11]
are constant symmetric matrices.
The linear equations have the property that the L 2 norm of the solution over a domain Ω is bounded by terms of the boundary data on ∂ Ω, only. Let
represent the L 2 inner product of two state vectors v and w and two block vectors \(\overset {\,\leftrightarrow }{{\mathbf f}}\) and \(\overset {\,\leftrightarrow }{{\mathbf g}}\), respectively. Since the coefficient matrices are constant the product rule and symmetry of \(\vec {\underline {A}}\) implies
Then it follows from Gauss’ law (integration by parts) that
where \(\vec n\) is the outward normal to the surface of Ω. The norm of the solution therefore satisfies
Replacing the boundary terms by boundary conditions leads to a bound on the solution in terms of the boundary data. The argument of the boundary integral on the right of (15) is
where v n is the wall normal velocity, \(v_{n}=\vec v \cdot \vec n\). Note that here, the mean flow must be chosen such that the normal flow vanishes at the wall boundary \(\vec {\bar {v}}\cdot \vec {n}=0\), so that the boundary condition makes physical sense.
Therefore, with the no penetration wall condition v n = 0 applied,
and the (energy) norm of the solution is bounded for all time by its initial value.
The nonlinear equations, on the other hand, satisfy a bound on the entropy that depends only on the boundary data. For what follows, we assume that the solution is smooth so that we don’t have to consider entropy generated at shock waves. We introduce the entropy density (scaled with (γ − 1) for convenience) as
where \(\varsigma =\ln (p)-\gamma \ln (\varrho )\) is the physical entropy. (The minus sign is conventional in the theory of hyperbolic conservation laws to ensure a decreasing entropy function.) The entropy flux for the Euler equations is
Finally the entropy variables are
The entropy pair contracts the solution and fluxes, meaning that it satisfies the relations
When we multiply (6) with the entropy variables and integrate over the domain,
Next we use the properties of the entropy pair to contract (22) and use integration by parts to get
showing that, in the continuous case, the total entropy in the domain can only change via the boundary conditions.
In the case of a zero-mass flux boundary condition, with \(v_n=\vec v \cdot \vec n=0\), the entropy is not changed by the slip-wall boundary condition, since
3 Stability Bounds for the DGSEM
The DGSEM is described in detail in [5] and elsewhere [1, 6]. We will only quickly summarize the approximation here. The domain, Ω is subdivided into non-overlapping, conforming, hexahedral elements. Each element is mapped to the reference element E = [−1, 1]3. Associated with the transformation from the reference element is a set of contravariant coordinate vectors, \(\vec a^{i}\), and transformation Jacobian, \(\mathcal J\). Equation (6) transform to another conservation law on the reference element as
where \(\overset {\,\leftrightarrow }{\tilde {\mathbf f}}\) is the contravariant flux vector with components \(\tilde { \mathbf f}^{i} = \mathcal J \vec a^{i}\cdot \overset {\,\leftrightarrow }{{\mathbf f}}\).
The approximation of (25) proceeds as follows: A weak form is created by taking the inner product of the equation with a test function. The Gauss law is applied to the divergence term to separate the boundary from the interior contributions. The resulting weak form is then approximated: The solution vector is approximated by a polynomial of degree N interpolated at the Legendre–Gauss–Lobatto points. In the following, we will represent the true continuous solutions by lower case letter. Upper case letters will denote their polynomial approximations, except for the density, where the approximation is denoted by ρ. The volume fluxes are replaced by two-point numerical fluxes. In the linear case, the two point fluxes are immediately relatable to a split form of the equations. Integrals are replaced by Legendre–Gauss–Lobatto quadratures. Finally, the boundary fluxes are replaced by a numerical flux. See [5] and [8] for details.
The result is an approximation that is energy stable for the linearized equations if at every quadrature point along a physical boundary the numerical flux \(\tilde {\mathbf F}^{*}\) satisfies the bound [5]
where \(\overset {\,\leftrightarrow }{\tilde {\mathbf F}}\) is the polynomial interpolation of the contravariant flux from the interior, \(\hat n\) is the reference space outward normal direction, and U is the approximation of the state vector. Since the contravariant fluxes are proportional to the normal fluxes [6], we can change the condition (26) to
For entropy stability of the nonlinear equations, the boundary stability condition shown in [5] is proportional to
where \(\vec {F}^{\,\varsigma }\) is the polynomial interpolation of the entropy flux, \(\vec f^{{\,\varsigma }}\), and W is the interpolation of the entropy variables.
3.1 Linear Stability of Wall Boundary Condition Approximations
To find linearly stable implementations of the wall condition v n = 0, one needs only find a numerical flux that satisfies it and the condition (27). For the linear equations, the approximation of the state vector is \(\mathbf U= [\rho '\;\; \vec V \;\; P']^T\) and the normal contravariant flux is proportional to
where V n is the approximation of the normal velocity at the wall computed from the interior, Q = bρ′ + aP′, and (n 1, n 1, n 3) are the three components of the physical space normal vector, \(\vec n\). The numerical flux can be expressed as
It then remains only to find Q ∗ so that (27) is satisfied when the normal wall condition \(V^{*}_{n}=0\) is applied. When we substitute the fluxes (29) and (30) into (27),
Substituting the wall boundary condition \(V^{*}_{n}=0\) yields the condition on Q ∗ for stability
Neutral stability is thus ensured if ρ ∗ and P ∗ are computed from the interior, i.e. ρ ∗ = ρ′, P ∗ = P′ so that Q ∗ = Q.
In practice, the boundary condition is also implemented through the use of a Riemann solver and external state designed to imply the physical boundary condition to construct the numerical boundary flux. The exact upwind (ε = 1) normal Riemann flux and the central flux (ε = 0) for the linear system of equations is
where \({{\underline {A}}_{\,n}}\equiv {\vec {\underline {A}}}\cdot \vec n\) is the normal coefficient matrix. The external state is set by using the interior values of the density and pressure and the negative of the value of the normal velocity,
For ε = 0, using the central (averaged) numerical flux, the interior flux contribution cancels and condition (27) reduces to
which is neutrally stable, having no additional stabilizing dissipation. We note again, that the mean state for the linearization is chosen such that the normal mean velocity components are zero, resulting in the zeros on the diagonal of A̲n.
Substituting the exact upwind flux where ε = 1 into (27) and rearranging,
where \({\underline {A}}_{\,n}^{-}=\frac {1}{2}\left ({\underline {A}}_{\,n} - \left |{\underline {A}}_{\,n}\right |\right )\) is negative semidefinite. The second term is non-negative, depends only on the interior state, and adds stabilizing dissipation. From the matrix absolute value, the dissipation term is
where \({\operatorname {Ma}}_n=V_n/\bar {c}\) is the normal Mach number. Stability depends, then, on the value of the first term, which is where the boundary conditions are incorporated through the external state U ext written in (34). Then
Therefore, using the upwind numerical flux, (36) becomes
as required. The amount of dissipation depends on how far the interior computed normal velocity deviates from zero.
The combination of the reflective state and local Lax-Friedrichs flux is also linearly stable. In that case the exact matrix absolute value is replaced by a diagonal matrix, \(\left |\underline {A}_{n}\right |\approx \left |\lambda \right |{ }_{\mathrm {max}}\underline {I}\). The jump term is added to the central (averaged) flux so
Finally, a dissipative version of the direct numerical flux (30) can be formed by looking at the reflective state approach. For instance, the equivalent to using the Lax-Friedrichs flux is to choose ρ ∗ = ρ′ and
Then \(Q^{*} = Q + \bar c^{3}{\left |\lambda \right |{ }_{\mathrm {max}}}{\operatorname {Ma}}_{n}\) and
A similar, though more complicated, modified P ∗ can be made to be equivalent to the exact upwind flux.
3.2 Entropy Stability of Wall Boundary Condition Approximations
As in the linear approximation, the wall boundary condition can be imposed for the nonlinear equations either by directly specifying the numerical flux or by computing it through a Riemann solver using a reflection external state that enforces the normal wall condition implicitly. Note that in this section, the discrete variables \((\rho ,\vec {V},P)\) describe the full nonlinear state.
For the nonlinear equations, we construct the numerical flux for a slip-wall as
where we imposed V n = 0 leading to a flux with no mass or energy transfer, and we introduce a wall pressure P ∗, whose value will be chosen to ensure consistency and stability.
After some manipulations, the discrete entropy stability condition (28) becomes
Therefore if we choose P ∗ = P, to be the internal pressure, the boundary flux does not contribute to the total entropy, independent of the inner normal velocity V n. A value of P ∗ that leads to a dissipative boundary condition can be found either through exact solution of the Riemann problem at the boundary, or through the use of an external state and an approximate Riemann solver.
3.2.1 Exact Solution of the Riemann Problem
In [14] a symmetric 1D Riemann problem is exactly solved following Toro [13], to get the wall pressure P ∗, accounting for the fact that V n never vanishes discretely and therefore the wall pressure should be different from the interior pressure. The exact solution of the 1D Riemann problem reads as
with the normal Mach number, \({\operatorname {Ma}}_n=\frac {V_n}{c}\), and the sound speed \(c=\sqrt {\gamma \frac {P}{\rho }}\).
As shown by Toro [13], the solution for the rarefaction has a limiting vacuum solution for \({\operatorname {Ma}}_n \leq -2(\gamma -1)^{-1}.\) We will restrict our analysis to normal Mach numbers yielding strictly positive pressure solutions only (\({\operatorname {Ma}}_n>\,-5\) for \(\gamma =\frac {7}{5}\)).
It is easy to see that using P ∗ from (45), the entropy inequality (44) is still satisfied for |V n|≠ 0, and the added entropy scales with the discrete value of V n at the boundary. Hence, for h → 0, the discrete boundary condition converges to its physical counterpart, since V n → 0. The choice of P ∗ from (45) appears to stabilize under-resolved simulations, which can be now explained by the fact that the boundary flux always adds entropy for |V n|≠ 0.
3.2.2 Using Approximate Riemann Solvers for the Boundary Flux
A well known strategy in finite volume methods is to mirror only the velocity of the internal state and solve an approximate Riemann problem to get the boundary flux, mostly just because of a simpler implementation, since an approximate Riemann solver is already available and used for the fluxes between the elements. For DG methods, see also, for example, [2] and [12] where reflection conditions are proved to be entropy stable.
The mirror state is set so that the mass and energy flux are zero. Let the inner state be labeled L and the outer R. then the inner and outer states that satisfy the mirror condition are
We show below under what conditions on the normal velocity V n that the reflection condition is entropy stable for the Lax-Friedrichs, HLL and HLLC, Roe and EC-ES fluxes.
3.2.2.1 Lax-Friedrichs Flux
We start with the simplest approximate Riemann solver, the Lax-Friedrichs or Rusanov flux, which reads as
Inserting the states from (46), we get
The maximum wave speed is normally approximated from the largest leftgoing and rightgoing wave speed,
and thus gives a definition of P ∗
which shows that the Lax-Friedrichs flux satisfies the entropy inequality (44).
3.2.2.2 HLL and HLLC Flux
The HLL flux [13] is written as
The leftgoing and rightgoing wave speeds are \(S^L=V_n^L -c^L= -V_n^R-c^R= -S^R\) and the HLL flux reduces to
If we would choose S R to be the maximum wave speed, the HLL flux would reduce to the Lax-Friedrichs flux. However, with \(S^R=V_n^R+c^R =-V_n+c\), an even simpler relation for P ∗ is found, which also satisfies the entropy inequality
For the HLLC flux [13], one can show that since the Riemann problem is symmetric, the approximate wave speed of the contact discontinuity is λ ∗ = 0 and, choosing S R = −V n + c, HLLC reduces to the HLL flux.
3.2.2.3 Roe Flux
For the original Roe method without entropy fix [13], the mean values are
After some manipulations,
with \(\tilde {\lambda _1}=\tilde {V}_n-\tilde {c}=-\tilde {c}\), \(\alpha _1=\rho V_n /\tilde {c}\) and \(\tilde {\mathbf K}^{1}\) from [13]. This leads again to a definition of P ∗
which fulfills the entropy inequality as long as
Thus, the Roe flux is entropy stable for shocks, but not for supersonic rarefactions.
3.2.2.4 EC-ES Fluxes
We can also apply an entropy conservative (EC) flux that is used for interior element interfaces and add an entropy stable dissipation term (ES) to compute the boundary flux via the mirrored states (46). This is exactly the strategy proposed in Parsani et al. [12] to get the boundary flux. Such an EC-ES flux is presented in Winters et al. [15]
where D̲ is a dissipation matrix and the matrix \(\underline {H} \left [\![ \mathbf w\right ]\!] \simeq \left [\![ \mathbf {u}\right ]\!] \) is carefully derived from the left and right states. Details are given in [15], where two approaches for the dissipation are distinguished. One is a Lax-Friedrichs-type dissipation, scaling with the maximum eigenvalue λ max = |V n| + c (referred to as ‘EC-LF’). The other is a Roe-type dissipation computed via the eigenstructure of the matrix (D̲ H̲) (referred to as ‘EC-Roe’).
If we carefully insert the two mirrored boundary states into (59), we again get an equation for the modified pressure
for the Lax-Friedrichs-type dissipation and
for the Roe-type dissipation. Both approaches lead to an entropy stable boundary flux when using a mirrored state. Note that the modified pressure of the EC-Roe flux (61) exactly matches the one of the HLL flux (53).
4 Discussion
In the previous section we have shown conditions under which a specified wall flux is stable. In the linear analysis, the central numerical flux adds no dissipation and is neutrally stable. In the nonlinear analysis, entropy is not generated if the numerical wall pressure is equal to the internal pressure, P ∗ = P′. For upwinded approximations, the amount of energy or entropy dissipation depends on the normal Mach number. Since the boundary condition is only imposed weakly through the numerical flux, the normal Mach number will not be exactly zero except in the convergence limit. In fact, flow computations (especially steady state ones) are usually initiated with an impulsive start, where the initial state is a uniform flow, and the normal Mach number is not zero. This has proved over time to be very robust in practice. The analysis above gives an explanation why.
In the linear analysis the dissipation due to imposing the boundary condition is proportional to the square of the normal Mach number. With an impulsive start initialization, this dissipation will be large. As the flow develops and the boundary condition is better enforced, the dissipation reduces, going away only as the approximate solution converges.
A similar effect is observed for the use of the different approximate Riemann solvers in the nonlinear analysis. In Fig. 1, we compare the entropy contribution
for the different wall boundary fluxes, over a range of normal Mach numbers for (ρc) = 1 and γ = 7∕5. When the boundary condition is exactly fulfilled (\({\operatorname {Ma}}_n=0\)), the entropy contribution is zero. For low normal Mach numbers, all fluxes have the same behavior. Compared to the exact Riemann problem (RP), the Lax-Friedrichs flux and the EC-LF flux always produce more entropy whereas the HLL flux produces less entropy for impinging velocities \({\operatorname {Ma}}_n>0\). The results of HLLC and EC-Roe fluxes are not plotted, as they coincide with the HLL flux. As shown in the analysis, the Roe flux produces a negative entropy change for supersonic rarefactions, implying that it is not suitable for all flow configurations.
References
Black, K.: A conservative spectral element method for the approximation of compressible fluid flow. Kybernetika 35(1), 133–146 (1999)
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)
Fisher, T., Carpenter, M.H., Nordström, J., Yamaleev, N.K., Swanson, C.: Discretely conservative finite-difference formulations for nonlinear conservation laws in split form: theory and boundary conditions. J. Comput. Phys. 234, 353–375 (2013)
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. (2018)
Kopriva, D.A.: Implementing Spectral Methods for Partial Differential Equations. Scientific Computation. Springer, Berlin (2009)
Kopriva, D.A., Gassner, G.: On the quadrature and weak form choices in collocation type discontinuous Galerkin spectral element methods. J. Sci. Comput. 44(2), 136–155 (2010)
Kopriva, D.A., Gassner, G.J.: An energy stable discontinuous Galerkin spectral element discretization for variable coefficient advection problems. SIAM J. Sci. Comput. 36(4), A2076–A2099 (2014)
Nordström, J.: Conservative finite difference formulations, variable coefficients, energy estimates and artificial dissipation. J. Sci. Comput. 29(3), 375–404 (2006)
Nordström, J.: A roadmap to well posed and stable problems in computational physics. J. Sci. Comput. (2016). https://doi.org/10.1007/s10915-016-0303-9
Nordström, J., Svard, M.: Well-posed boundary conditions for the Navier–Stokes equations. SIAM J. Numer. Anal. 43(3), 1231–1255 (2005)
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.F.: Riemann Solvers and Numerical Methods for Fluid Dynamics. Springer, Berlin (2009)
van der Vegt, J.J.W., van der Ven, H.: Slip flow boundary conditions in discontinuous Galerkin discretizations of the Euler equations of gas dynamics. In Mang, H.A., Rammenstorfer, F.G. (eds.) Proceedings of the 5th World Congress on Computational Mechanics (WCCM V), number NLR-TP in Technical Publications, pp. 1–16. National Aerospace Laboratory, NLR (2002)
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)
Acknowledgements
This work was supported by a grant from the Simons Foundation (#426393, David Kopriva). Gregor J. Gassner has been supported by the European Research Council (ERC) under the European Union’s Eights Framework Program Horizon 2020 with the research project 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.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
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., Kopriva, D.A. (2020). Stability of Wall Boundary Condition Procedures for Discontinuous Galerkin Spectral Element Approximations of 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_1
Download citation
DOI: https://doi.org/10.1007/978-3-030-39647-3_1
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)