Abstract
In the hyperbolic community, discontinuous Galerkin (DG) approaches are mainly applied when finite element methods are considered. As the name suggested, the DG framework allows a discontinuity at the element interfaces, which seems for many researchers a favorable property in case of hyperbolic balance laws. On the contrary, continuous Galerkin methods appear to be unsuitable for hyperbolic problems and there exists still the perception that continuous Galerkin methods are notoriously unstable. To remedy this issue, stabilization terms are usually added and various formulations can be found in the literature. However, this perception is not true and the stabilization terms are unnecessary, in general. In this paper, we deal with this problem, but present a different approach. We use the boundary conditions to stabilize the scheme following a procedure that are frequently used in the finite difference community. Here, the main idea is to impose the boundary conditions weakly and specific boundary operators are constructed such that they guarantee stability. This approach has already been used in the discontinuous Galerkin framework, but here we apply it with a continuous Galerkin scheme. No internal dissipation is needed even if unstructured grids are used. Further, we point out that we do not need exact integration, it suffices if the quadrature rule and the norm in the differential operator are the same, such that the summation-by-parts property is fulfilled meaning that a discrete Gauss Theorem is valid. This contradicts the perception in the hyperbolic community that stability issues for pure Galerkin scheme exist. In numerical simulations, we verify our theoretical analysis.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In recent years, significant efforts have been made to construct and develop high-order methods for hyperbolic balance laws, and most of the methods are either based on finite difference (FD) or finite element (FE) approaches. In the FE framework, one favorable, if not the most favorable scheme, seems to be the discontinuous Galerkin (DG) method introduced by Reed and Hill [1] because of its stability properties [2,3,4,5]. Many modern DG formulations are based on summation-by-parts (SBP) operators and the recent stability proofs rely on the SBP property [5,6,7,8,9,10]. Even, if the SBP operators where originally defined in the FE framework, they have been transferred to FD methods [11] and have been further developed in the FD setting where they are now commonly used. They lead to stability following the steps of the continuous energy analysis [12,13,14]. Together with SBP operators, Simultaneous Approximation Terms (SATs) that impose the boundary conditions weakly are applied. The SBP-SAT technique is powerful and universally applicable as we will show in this paper. Another reason for the popularity of DG is that the numerical solution is allowed to have a discontinuity at the element boundaries, and, since non-linear hyperbolic problems are supporting shocks, this property is believed to be desirable. In addition and maybe most important, the DG methods leads to block diagonal mass matrices which are easy to invert. The difference between a DG approach and continuous Galerkin (CG), besides the structure of the mass matrix, is that in CG the approximated solution is forced to be continuous also over the element boundaries. This restriction is perceived to be quite strong also in terms of stability where the erroneous (as we will show) belief in the hyperbolic research community exists, that a pure CG scheme is unstable,Footnote 1 and stabilization terms have to be applied to remedy this issue [15,16,17].
One may only speculate where this erroneous perception come from? In our opinion, one major reason could be that if one considers a pure Galerkin method using a linear Lagrange polynomial basis of order one, it can be shown that the method is equivalent to the 3-point central difference scheme. This scheme is not von Neumann stable [18] when periodic boundary conditions are considered. By switching the basis functions for instance to splines and / or some lumping technique, von Neumann stability can be proven, see [19, 20]. We want to point out that with the lumping technique as described in [20], one is able to re-write the Galerkin method to well-known finite difference schemes like Lax-Friedrichs or Lax-Wendroff schemes and at the end, a stable finite difference scheme.Footnote 2 In addition, if one considers initial-boundary value problems, there also exist some preliminary stability results [21,22,23]. Here, the main idea is to switch the norms of the trial space and include the procedure at the boundary. However, these results seems forgotten in the hyperbolic community.
In this paper, we focus on the stability property of a pure Galerkin scheme, but follow a different approach. Our preliminary idea/thought is: If one considers the DG method with one element, the method is stable. There is nothing that says that the approximation space must be a broken polynomial space, the only thing that is needed is that the trial and test function must have some kind of regularity within the elements, so that the divergence theorem (or SBP techniques) can be applied. Continuity at the boundaries and regularity inside the elements due to the polynomial space are enough. No internal artificial dissipation is required and no special conditions on the grid structure, for instance cartesian grids, have to be assumed. Thus, for example unstructured triangular meshes can be applied. Hence, one can see a CG method as a DG one, with only one element (the union of the simplices) with an approximation space made of polynomials with continuity requirement between the simplices. Hence, what is the difference between these two approaches? The answer to this question points to the procedure at the boundary. In the stability proofs, the use of SATs is essential. In [13] diagonal norm stable CG SBP-SAT discretizations have previously been presented and further extended in [24, 25] where local projection stabilizations are applied to obtain entropy stable discretizations. The focus lies especially on the construction and investigation of diagonal norm SBP operators. Contrarily, in this work we focus on SAT and apply Galerkin schemes which fulfill the SBP property meaning that a discrete Gauss theorem is valid. We apply them with pure CG discretizations with dense norms and this is the topic of this paper where we show that no internal dissipation is needed in CG methods. We divide the paper as follows: In the second section, we shorty introduce the continuous Galerkin scheme which is used and investigated in the following. Next, we introduce and repeat the main idea of the SAT procedure from the FD framework and extend it to the Galerkin approach. We show that the determination of the boundary operators is essential. In Sect. 4, we focus on the eigenvalue analysis of the spatial operators and derive conditions from the continuous setting to build adequate boundary operators in the discrete framework. We give some recipes which will be used in Sect. 5 to support our analysis in numerical experiments. Finally, we conclude and discuss future work.
2 Continuous Galerkin Scheme
In this section, we shortly introduce the pure continuous Galerkin scheme (CG) as it is also known in the literature [11, 16, 26]. We are interested in the numerical approximation of a hyperbolic problem
with suitable initial and boundary conditions. The domain \(\Omega \) is split into subdomains \(\Omega _h\) (e.g triangles/quads in two dimensions, tetrahedrons/hex in 3D). We denote by K the generic element of the mesh and by h the characteristic mesh size. Then, the degrees of freedom (DoFs) \(\sigma \) are defined in each K: we have a set of linear forms acting on the set \({\mathbb {P}}^k\) of polynomials of degree k such that the linear mapping \(q\in {\mathbb {P}}^k\longmapsto (\sigma _1(q),\ldots , \sigma _{|\sum _K|}(q))\) is one-to-one, where \(|\sum _K|\) denotes the total number of DoFs in K. The set \({\mathcal {S}}\) denote the set of degrees of freedom in all elements. The solution U will be approximated by some element from the space \({\mathcal {V}}^h\) defined by
A linear combination of basis functions \(\varphi _\sigma \in {\mathcal {V}}^h\) will be used to describe the numerical solution
As basis functions we are working either with Lagrange interpolation where the degrees of freedom are associated to points in K or Bézier polynomials.
To start the discretisation, we apply a Galerkin approach and multiply with a test function \(V^h\) and integrate over the domain. This gives
Using the divergence theorem, we get
By choosing \(V^h=\varphi _{\sigma }\) for any \(\sigma \in {\mathcal {S}}\), where we further assume for simplicity that our basis functions vanishes at the physical boundaries, we obtain with (3) a system of equations:
Our approach makes (6) fully explicit with special focus on the basis functions. The contributions from the boundary integral are removed due to the assumption that \(\varphi |_{\partial \Omega }=0\). Our motivation for this simplification is driven by the fact that we want to avoid a discussion about boundary conditions in this part which will be the content of the followings sections. The internal contributions cancel out through the different signs in the normals. In practice, we compute (6) with a quadrature rule:
where \(\oint \) represents the quadrature rules for the volume and surface integrals.
In this paper, we are considering linear problems, i.e. the flux is linear in U, but may depend on the spatial coordinate. In all the numerical experiences, we will make the spatial dependency simple enough (i.e. typically polynomial in x), so that it will always be possible to find a standard quadrature formula and obtain accurate approximations for the integrals. Note, if the quadrature rule is accurate enough, (6) can be exactly reproduced for linear problems with constant coefficients.
Using a matrix formulation, we obtain the classical FE formulation:
where \(\underline{U}^h\) denotes the vector of degrees of freedom, \({\underline{\underline{{\mathbf {F}}}}}\,\) is the approximation of \({\text {div}}\,f\) and \({\underline{\underline{M}}}\,\) is a mass matrix.Footnote 3 For continuous elements, this matrix is sparse but not block diagonal, contrary to the situation for the discontinuous Galerkin methods. Due to the rumor/perception in the hyperbolic community that a pure Galerkin scheme suffers from stability issues for hyperbolic problems, it is common to add stabilization terms to the scheme as for example in [17]. However, as previously mentioned we take a different approach in this paper and will renounce these classical stabilization techniques. In order to do this, we need more known results from the literature, which we will briefly repeat here.
3 Weak Boundary Conditions
To preserve the structure of the SBP operators, and facilitate proofs of stability, weak boundary conditions are preferable over strong one’s.
3.1 SATs in SBP-FD Framework
To implement the boundary conditions weakly using simultaneous approximation terms (SATs) is nowadays standard in the FD community and has been developed there. Together with summation-by-parts (SBP) operators it provides a powerful tool for proofs of semidiscrete (\(L_2\)) stability of linear problems by the energy method, see [12, 14, 28] for details.
Here, we present a short introductory example of the SBP-SAT technique as it is presented in [14, 27]. Consider the linear advection equation
where \(u_{in} \in \) is the initial condition and b is the known boundary data that is only defined on the inflow part of \(\partial [0,1]=\{0,1\}\). In other words, if \(a>0\), then b is only set for \(x=0\), and if \(a<0\), this will be for \(x=1\) only.
To explain the semi-discretisation of (8), we consider the discrete grid \(\underline{x}=(x_0, \ldots , x_N)^T\), with the ordering of nodes \(x_0=0<\cdots <x_N=1\). Furthermore, the spatial derivative of a function \(\phi \) is approximated through a discrete derivate matrix \({\underline{\underline{D}}}\,\), i.e. \(\phi _x\approx {\underline{\underline{D}}}\, \underline{\phi }\) with \(\underline{\phi }=(\phi (x_0),\; u_1,\;, \ldots , \phi (x_N))^T\). It is defined by
Definition 3.1
(SBP operators) An operator \({\underline{\underline{D}}}\,\) is a p-th order accurate approximation of the first derivative on SBP form if
-
1.
\({\underline{\underline{D}}}\,\underline{x}^j={\underline{\underline{M}}}\,^{-1}{\underline{\underline{Q}}}\, \underline{x}^j= j \underline{x}^{j-1}, \; j \in [0,p] \) with \(\underline{x}^j= (x_0^j, \ldots , x_N^j)^T\),
-
2.
\({\underline{\underline{M}}}\,\) is a symmetric positive definite matrix,
-
3.
\({\underline{\underline{Q}}}\,+ {\underline{\underline{Q}}}\,^T={\underline{\underline{B}}}\,=\mathop {{\mathrm {diag}}}(-1,0, \ldots ,0,1)\) holds.
Now, a semi-discretisation of (8) is given in terms of SBP operators as
where \(\underline{u}=(u_0,\; u_1,\;, \ldots , u_N(t))^T\) are the coefficients of u and similarly for \(\underline{u}_{in}\). The coefficients are evaluated on the nodal values, i.e. the grid points, and are used to express the numerical solution (3). Translating this into the FE framework, they correspond to the coefficients for the degrees of freedoms. The symmetric positive definite matrix \({\underline{\underline{M}}}\,\) approximates the usual \(L^2\) scalar product. Together with condition 3. from Definition 3.1, we mimic integration by parts discretely, i.e.
In (10), we have for smooth functions u
Instead of having an extra equation on the boundary like in (8), the boundary condition is enforced weakly by the term \(\underline{{\mathbb {S}}}=({\mathbb {S}}_0,0,\ldots , {\mathbb {S}}_N)^T\) which is called the SAT. We demonstrate how it should be selected to guarantee stability for (9).
Definition 3.2
The scheme (9) is called strongly energy stable if
holds. The term K(t) is bounded for any finite t and independent from \(u_{in}\), b and the mesh.
Remark 3.3
The Definition 3.2 is formulated in terms of the initial value problem (8) where only one boundary term is fixed. If an additional forcing function is considered at the right hand side of (8), we include the maximum of this function in (12) in the spirit of b, for details see [14].
As established in [29], we can prove the following:
Proposition 3.4
Let \({\underline{\underline{D}}}\,={\underline{\underline{M}}}\,^{-1}{\underline{\underline{Q}}}\,\) be an SBP operator defined in 3.1 with \({\underline{\underline{Q}}}\,\) fulfilling
Let \(a^+=\max \{a,0\}\) and \(a^-=\min \{a,0\}\), \(b_0=b(0,t)\) and \(b_N=b(1,t)\). If \({\mathbb {S}}_0=\tau _0 a^+ (u_0-b_0)\) and \({\mathbb {S}}_N=\tau a_N^- (u_N-b_N)\) with \( \tau _0, \tau _N < - \frac{1}{2}\), then the scheme (9) is strongly energy stable.
Proof
Multiplying (9) with \(\underline{u}^T{\underline{\underline{M}}}\,\) yields
Transposing (14) and adding both equations together leads to
Further, we obtain from (13)
If \(\tau _0, \tau _N<- \frac{1}{2}\), we find
\(\square \)
This shows that the boundary operator \({\mathbb {S}}\) can be chosen in such way that it guarantees stability for the SBP-SAT approximation of (8). Next, we will apply this technique in the Galerkin framework.
3.2 SATs in the Galerkin-Framework
Instead of working with SBP-FD framework we consider now a Galerkin approach for the approximation of (8). In [5, 6], it is shown that the specific DG schemes satisfies a discrete summation-by-parts (SBP) property and can be interpreted as SBP-SAT schemes with a diagonal mass matrix. In this context, one speaks about the discontinuous Galerkin spectral element method (DGSEM). Here, we consider nodal continuous Galerkin methods and focus on stability conditions in this context. As we described already in Sect. 2, the difference between the continuous and discontinuous Galerkin approach is the solution space (2) and the structure of the mass matrix (7) which is not block diagonal in CG. However, in the following we consider only Galerkin approaches which fulfill the SBP property meaning that a discrete Gauss theorem is valid. The approach with SAT terms can still be used to ensure stability also in case of CG but one has to be precise, as we will explain in the following. Let us step back to the proof of Proposition 3.4 and have a closer look. Essential in the proof is condition (13). Let us focus on this condition for a Galerkin discretisation of (8) as described also in [27]. We approximate equation (8) now with \(u^h(x, t)=\sum \nolimits _{j=0}^N u^h_j(t)\varphi _j(x)\) where \(\varphi _j\) are basis functions and \(u^h_j\) are the coefficients. First, we consider the problem without including the boundary conditions. Let us assume that \(\varphi _j\) are Lagrange polynomials where the degrees of freedoms are associated to points in the interval. Introducing the scalar product
let us consider the variational formulation of the advection equation (8) with test function \(\varphi _i\). We insert the approximation and get
i.e.
Finally, we get
with
In matrix formulation (15) can be written
as described in [27]. Let us check (13). We consider
If the boundaries are included in the set of degrees of freedom, then we obtain
Up to this point exact integrals are considered but the same steps are valid if a quadrature rule is applied such that (13) is satisfied and (17) is mimicked on the discrete level. This is ensured if the SBP property is fulfilled. Note that in this paper we only consider Galerkin schemes which guarantee this property. However, if we include a weak boundary condition similar to (9), we obtain the semidiscrete scheme
with the SAT term given by
By following the steps from the proof of Proposition 3.4, we can prove:
Proposition 3.5
If the Galerkin method (18) is applied to solve (8) with \({\mathbb {S}}\) given by (19) and \(\tau {<} - \frac{1}{2}\), it is strongly energy stable.
Proof
The weak formulation of the problem reads:
for all \(i=0,\ldots , N\), where for simplicity, we consider the case \(a>0\). The SAT techniques adds a penalty term into the approximation (18) on the right side. We focus now on the energy. Therefore, we multiply also with \(u^h\) instead of \(\varphi _i\) and rearrange the terms. We obtain for the semi-discretization (18):
where we used the fact that \(u^h(t,0)=\sum _{i=0}^N u_i^h(t)\varphi _i(0)=u_0^h(t) \) is valid. By following the steps of the proof of Proposition 3.4 and using (17) we get the final result. \(\square \)
In the derivation above, we restricted ourselves to one-dimensional problems using Lagrange interpolations. Nevertheless, this shows that a continuous Galerkin method is stable if the boundary condition is enforced by a proper penalty term. For the general FE semi-discretization of (7), the procedure is similar and straightforward. Without loss of generality, it is enough to consider homogeneous boundary conditions and for a general linear problem (scalar or systems) the formulation (7) can be written with penalty terms as
where \( {\Pi } \) is the boundary operator which includes the boundary conditions. This operator can be expressed in the discretization by a matrix vector multiplication. With a slight of abuse of notation, we denote this boundary matrix with \({\underline{\underline{\Pi }}}\,\) and it is usually sparse. Further, \({\underline{\underline{Q_1}}}\,\) represent the spatial operator and \({\underline{\underline{Q_1}}}\, +{\underline{\underline{Q_1}}}\,^T \) has only contributions on the boundaries. Then, we can prove.
Theorem 3.6
Apply the general FE semidiscretisation (20) together with the SAT approach to a linear equation and let the mass matrix \({\underline{\underline{M}}}\,\) of (20) be symmetric and positive definite. If the boundary operator \({\underline{\underline{\Pi }}}\,\) together with the discretization \({\underline{\underline{Q_1}}}\,\) can be chosen such that
is negative semi-definite, then the scheme is energy stable.
Proof
We use the energy approach and multiply our discretization with \({\mathbf {U}}^h\) instead of \(\varphi _i\) and add the transposed equation using \({\underline{\underline{M}}}\,^T={\underline{\underline{M}}}\,\). We obtain
\(\square \)
Remark 3.7
This theorem yields directly conditions when a FE method is stable, or not. If the matrix (21) has positive eigenvalues \(\{\lambda _i\} \), stabilization terms have to be added. However, no internal stabilization terms are necessary when (21) is negative semi-definite. Therefore, a number of requirements are needed. The distribution of the residuals attached to the degrees of freedom should be done in an “intelligent” way e.g. if we consider triangle elements and polynomial order \(p=1\), we set the DoFs in every edge and not all of them on one face. Further, the chosen quadrature rule in the numerical integration has to be the same as in the differential operators. This means that the applied quadrature rule to calculate the mass matrix should be the same as the used one to determine the differential operators, such that SBP property is fulfilled meaning that a discrete Gauss Theorem is valid. In the numerical test, we will present an example of what happens if the chosen quadrature rules disregard this. Furthermore, in case of a non-conservative formulation of the hyperbolic problem or in case of variable coefficients a skew-symmetric/split formulation should be applied in the way described in [27, 30, 31]. In the one-dimensional setting, we obtain in the continuous case
with \(\alpha =0.5\) and the implementation has to mimic this behavior.
If the implementation of the continuous Galerkin method is done in such way that the matrix (21) is negative semi-definite, then the method is stable only through our boundary procedure. In our opinion, this is contrary to common belief about continuous Galerkin methods for hyperbolic problems. The only stabilizing factor needed is a proper implementation of boundary conditions. For the linear scalar case, the proof is given in Proposition 3.5. In the following, we will extend this theory to more general cases.
Remark 3.8
(Weak Boundary Conditions in Galerkin Methods for Hyperbolic Problems) The weak formulation of the boundary condition is not done for the first time to analyze stability properties in continuous Galerkin methods. As already mentioned in the introduction, in [21,22,23] the authors have included the procedure at the boundary in their stability analysis where the main idea is to switch the norm of the trial space to prove stability.
Further, in [32] the authors have compared weak and strong implementation of the boundary conditions for incompressible Navier Stokes when the boundary condition is discontinuous and \(C^0\) approximations are used. Here, non-physical oscillations are arising and by switching to the weak implementation, the authors have been able solve this issue. However, as a baseline schemes they have always supposed a stabilized Galerkin methods like SUPG in their theoretical considerations and applied it in their numerical examples. They have not imposed the weak boundary condition to stabilize their baseline scheme, but to cancel out these oscillations. In Nitsche’s method [33] for elliptic and parabolic problems, the boundary conditions are also imposed weakly. Here, the theoretical analysis is based on the bilinear from. However, further extensions of this method can be found and also a comparison to several DG methods. For an introduction and some historical remark, we strongly recommend [2] for more details. Finally, in DG methods it is common to impose boundary conditions weakly in hyperbolic problems and a detailed analysis for Friedrichs’ system [34] can be found in [35] which is oriented more on the variational formulation.
Finally, we want to point out again that the purpose of this paper is to demonstrate that no further internal dissipation is needed if the boundary conditions are implemented correctly. In addition, our analysis holds also if we apply unstructured grids as demonstrated in the numerics section below.
4 Estimation of the SAT-Boundary Operator
As described before, a proper implementation of the boundary condition is essential for stability. Here, we give a recipe for how these SAT boundary operators can be chosen to get a stable CG scheme for different types of problems. First, we consider a scalar equation in 2D and transfer the eigenvalue analysis for the spatial operator from the continuous to the discrete setting. Then, we extend our investigation to two dimensional systems. Using again the continuous setting, we develop estimates for \(\Pi \) and transfer the results to the finite element framework. We apply them later in the numerical section.
4.1 Eigenvalue Analysis
We derive conditions on the boundary operators and perform an eigenvalue analysis to get an energy estimate in the continuous setting. Next, the results are transformed to the discrete framework to guarantee stability of the discrete scheme.
4.1.1 The Scalar Case
4.1.2 Continuous Setting
Consider the initial boundary value problem
in the spatial domain \(\Omega \subset {\mathbb {R}}^2\). Further, \(a,b \in {\mathbb {R}}\), the function f describes the initial condition, B represents the boundary operator and the function g the boundary data. Without loss of generality, it is enough to consider homogeneous boundary conditions and we consider the spatial operator
considered in the subspace of functions for which \(Bu=0\). This operator will be dissipative if \(\left\langle u,Du\right\rangle >0\). Using the Gauss-Green theorem, we obtain
The operator is hence dissipative if \( \int _{\partial \Omega } a_n u^2{\mathrm {d}{s}}>0. \) The question rises: How do we guarantee this condition? This is the role of the boundary conditions, i.e. when \(a_n\le 0\), we need to impose \(u=0\). For outflow, i.e. \(\partial \Omega _{out} \) we have \(a_n>0\) and using this information, we directly obtain
and we have an energy estimate. We do not discuss well posedness, but we recommend [28, 36] for details regarding that. Now, we transfer our analysis to the discrete framework and imitate this behavior discretely.
4.1.3 Discrete Setting
We have to approximate the spatial operator D and the boundary condition (B.C), i.e. \(Du+B.C\) by an operator of the form \({\underline{\underline{M}}}\,^{-1}( {\underline{\underline{Q}}}\,-{\underline{\underline{\Pi }}}\,) \underline{u}\) where we apply SBP operators as defined in Definition 3.1. The term \({\underline{\underline{M}}}\,^{-1}{\underline{\underline{Q}}}\,\underline{u}\) approximates Du and \({\underline{\underline{\Pi }}}\, \underline{u}\) is used to describe Bu weakly. Here, the projection operator \({\underline{\underline{\Pi }}}\,\) works only at the boundary points. Note that we must have a \({\underline{\underline{Q}}}\,\) such that \({\underline{\underline{Q}}}\,+{\underline{\underline{Q}}}\,^T\) only contain boundary terms. Looking at the dissipative nature of \({\underline{\underline{M}}}\,^{-1}{\underline{\underline{Q}}}\,\underline{u}\) amounts to study its spectrum. The related eigenvalue problem is
We denote by \(\underline{{\tilde{u}}}^{*,T}\), the adjoint of \({\tilde{u}}\) and multiply (26) with \(\underline{{\tilde{u}}}^{*,T}{\underline{\underline{M}}}\,\) to obtain
We transpose (27) and add both equations together. This results in
The boundary terms (BT) correspond to \(\int _{\partial \Omega _{out}} a_n u^2 {\mathrm {d}{s}}\) with a properly chosen \({\underline{\underline{\Pi }}}\,\). Hence, the matrix
is positive semi-definite, i.e. the eigenvalues for the spatial operator have a strictly positive real parts only. Note that condition (29) and (21) are the same. Next, we estimate the boundary operators for a linear system such that the conditions in Theorem 3.6 are fulfilled and the pure CG scheme is stable. We start with the continuous energy analysis and derive the estimate above. Afterwards, we translate the result to the discrete FE framework as done for the scalar one-dimensional case, but before, we give the following remark:
Remark 4.1
(Periodic Boundary Conditions) As already described in the Introduction 1, periodic boundary conditions for hyperbolic problems together with a pure Galerkin scheme yields stability issues (von Neumann instability). If we consider a Galerkin scheme with the described operators where the used quadrature rule in the numerical integration is the same as the one in the differential operator and periodic boundary conditions in a hyperbolic problem, we have the eigenvalues on the imaginary axis, cf. [27]. Therefore, explicit time-integration schemes of order one or two like Euler method or SSPRK22 lead to instability since they do not include parts of the imaginary axis in their stability regions. In such a case, we have to add stabilization terms (diffusion) to the equation. Further, we want to point out that even with a stable discretization for a linear hyperbolic problem, an unbounded error growth is observed if periodic boundary conditions are imposed [37].
4.1.4 Systems of Equations
Next, we will extend our investigation to the general hyperbolic system
where \(A,B\in {\mathbb {R}}^{m\times m}\) are the Jacobian matrices of the system, the matrix \(L_{{\mathbf {n}}}\in {\mathbb {R}}^{q\times m}\) and the vector \(G_{{\mathbf {n}}}\in {\mathbb {R}}^q\) are known, \({{\mathbf {n}}}\) is the local outward unit vector, q is the number of boundary conditions to satisfy. We assume that A, B are constant and that the system (30) is symmetrizable. There exists a symmetric and positive definite matrix P such that for any vector \({{\mathbf {n}}}=(n_x,n_y)^T\) the matrix
is symmetric with \(A_{{\mathbf {n}}}=An_x+Bn_y\). For arbitrary \(n_x\), \(n_y\) this implies that both AP and BP are symmetric.
Using the matrix P, one can introduce new variables \(V=P^{-1}U\). The original variable can be expressed as \(U=PV\) and the original system (30) will become
The system (30) admits an energy: if we multiply (30) by \(V^T\), we first get
i.e. setting \(E=\frac{1}{2}\int _\Omega V^T U \; {\mathrm {d}{\Omega }}\), we have
To understand the role of the boundary conditions, we follow what is usually done for conservation laws, we consider the weak form of (30): let \(\varphi \) be a regular vector function in space and time. We multiply the equation by \(\varphi ^T\), integrate and get:
In order to enforce the boundary conditions weakly, we modify this relation by (note that \(C_{{\mathbf {n}}}V=A_{{\mathbf {n}}}U\)):
The operator \(\Pi _{{\mathbf {n}}}\) depends on \({\mathbf {x}}=(x,y)\in \partial \Omega \) and \({{\mathbf {n}}}\) the outward unit normal at \({\mathbf {x}}\in \partial \Omega \). It is chosen in such a way that:
-
1.
For any t, the image of the boundary operator \(L_{{\mathbf {n}}}(U) \) is the same as the image of \(\Pi _{{\mathbf {n}}}L_{{\mathbf {n}}}(U)\) in the weak formulation, i.e. there is no loss of boundary information,
-
2.
If \(\varphi =V\), then \(\dfrac{{\mathrm {d}{E}}}{ {\mathrm {d}{t}}}< 0\) follows.
A solution to this problem is given by the following: First, let \(C_{{\mathbf {n}}}=X_{{\mathbf {n}}}\Lambda _{{\mathbf {n}}}X_{{\mathbf {n}}}^T\) where \(\Lambda _{{\mathbf {n}}}\) is a the diagonal matrix containing the eigenvalues of \(C_{{\mathbf {n}}}\) and \(X_{{\mathbf {n}}}\) is the matrix which rows are the right eigenvectors of \(C_{{\mathbf {n}}}\). We have \(X_{{\mathbf {n}}}^TX_{{\mathbf {n}}}={\mathbb {I}}\) and choose:
where \(\Lambda _{{\mathbf {n}}}^-\) are the negative eigenvalues only and n denotes the number of unknowns for the system. Here we have introduced the operator \(R_{{\mathbf {n}}}\) which is \(L_{{\mathbf {n}}}\) written using characteristic variables.
In the following, we explain the implementation steps. To a large content we refer to [28]. To compute \(\Pi \) we first consider again the strong implementation of the problem. We have
Using \(C_{{\mathbf {n}}}=X_{{\mathbf {n}}}\Lambda _{{\mathbf {n}}}X_{{\mathbf {n}}}^T\), we obtain
with \(W_{{\mathbf {n}}}^+=\left( X_{{\mathbf {n}}}^TV \right) ^+\) are the ingoing waves and they have the size of the positive eigenvalues \(\Lambda _{{\mathbf {n}}}^+\). Analogously, \(W_{{\mathbf {n}}}^-=\left( X_{{\mathbf {n}}}^TV \right) ^-\) are the outgoing waves with size of \(\Lambda _{{\mathbf {n}}}^-\). A general homogeneous boundary condition is \({W_{{\mathbf {n}}}^-=R_{{\mathbf {n}}}W_{{\mathbf {n}}}^+}\), since with that, and a proper choice of \(R_{{\mathbf {n}}}\), we get
and so the decrease of energy in (34) if the matrix in the bracket is positive semidefinite.
Next, we will impose the boundary conditions weakly. Assume now that we have chosen an \(R_{{\mathbf {n}}}\) such that
Here, the existence of such \(R_{{\mathbf {n}}}\) is ensured through our assumption that our boundary value problem (30) is well posed, c.f. [28]. The energy is given
We add the transpose of (38) to itself and consider
We define \(\tilde{\Pi }_{{\mathbf {n}}}\) such that \(V^T \Pi _{{\mathbf {n}}}=(W_{{\mathbf {n}}}^-)^T\tilde{\Pi }_{{\mathbf {n}}}\) and get for the integrands
Collecting the terms, we obtain
We must select \(\tilde{\Pi }_{{\mathbf {n}}}\) such that the matrix WB is negative definite. Now, let us use the strong condition (37). By adding and subtracting, we obtain
By rearranging and choosing \(\tilde{\Pi }_{{\mathbf {n}}}=\Lambda _{{\mathbf {n}}}^-\), we get
Since \(G_{{\mathbf {n}}}\) has the eigenvalues 0 and 2 and we obtain stability
thanks to (42) and (36). We will give a concrete example in Sect. 5.3.
5 Numerical Simulations
Here, we demonstrate that a pure Galerkin scheme is stable if we impose the boundary conditions weakly and use an adequate boundary operator as described in Sect. 4. We consider several different examples and analyze different properties in this context (error behavior, eigenvalues, etc.). As basis functions, we use Bernstein or Lagrange polynomials of different orders resulting in Galerkin schemes of second to fourth order on triangular meshes. We denote with \(B1,\;B2,\;B3\) the Galerkin method using Bernstein polynomials with polynomial order 1, 2 or 3 similar denoting \(P1,\;P2,\;P3\) by applying a Lagrange basis. The basic implementation is done in the RD framework, see [38]. The two approaches only differ slightly. The time integration is done via strong stability preserving Runge-Kutta methods of second to fourth order, see [39] for details. We use always the same order for space and time discretization.
5.1 Two-Dimensional Scalar Equations
We consider a two-dimensional scalar hyperbolic equation of the form
where \({\mathbf {a}}= (a,b)\) is the advection speed and \(\Omega \) the domain. In this subsection, the initial condition is given by
It is a small bump with height one located at \((x_0,y_0)\). We consider homogeneous boundary conditions \(G_{{\mathbf {n}}}\equiv 0\) and further let the boundary matrix \(L_{{\mathbf {n}}}\) be the identity matrix at the inflow part of \(\partial \Omega \) (i.e. \(\partial \Omega ^-)\). The boundary conditions reads \(L_{{\mathbf {n}}}U=U=0\) for \((x,y)\in \partial \Omega ^-, \;t >0\) which means that the incoming waves are set to zero.
5.1.1 Linear Advection
In our first test, we are considering the linear advection equation in \(\Omega =[0,1]^2\). The advection speed is assumed to be constant. The components of the speed vector \({\mathbf {a}}\) are given by \((a,b)^T=(1,0)\) and so the flux is given by \({{\mathbf {f}}}(U)=\varvec{a}U\) with \(\varvec{a}=(1,0)\). We have inflow / outflow conditions on the left / right boundaries and periodic boundary condition on the horizontal boundaries. In our first test, we use Bernstein polynomials and a fourth order C.G. scheme. The boundary operators are computed using the technique developed in Sect. 4 where the positive eigenvalues are set to zero and the negative ones are used in the construction of \(\Pi \). For the time discretization we apply strong stability preserving Runge–Kutta (SSPRK) scheme with 5 stages and fourth order with CFL \(=\) 0.3. We use 1048 triangles. In Fig. (), we plot the results at three times. Clearly, the scheme is stable, also at the outflow boundary. The maximum value is at the end 1.001 and the minimum is \(-\,0.0199\) where the starting values are 1.000 and 0.000 (Fig. 1).
Next, we check the real parts of the eigenvalues of our problem using formula (21) for different orders, different bases (Bernstein and Lagrange) and different meshes. For the calculation of the eigenvalues of (21), we use a Petsc routine [40, 41] which can calculate up to 500 eigenvalues.Footnote 4 Have in mind that in contrast to DG and multi-block FD setting, the mass matrix in the pure Galerkin scheme is not block diagonal. Therefore, we can not split the eigenvalue calculation to each block matrix and have to consider the whole matrix \({\underline{\underline{M}}}\,\) and therefore \({\underline{\underline{Q}}}\,\). Different from before, we consider the complete skew-symmetric spatial operator \({\underline{\underline{Q}}}\,+{\underline{\underline{Q}}}\,^T\) in the whole domain and not in one element only, where it is equal to \({\underline{\underline{B}}}\,\). Every coefficient of the numerical approximation belongs to one degree of freedom and we obtain the same number of eigenvalues as number of DoFs are used. However, for the coefficients which belong to DoFs inside the domain, in all calculations we obtain zero up to machine precision. To get useful results, we decrease the number of elements in the following calculations and provide only the most negative and positive ones in Tables 1, 2 and 3 where we give results with and without the application of the SAT boundary operators.
We see from Tables 1, 2 and 3 that the the boundary operator decreases the negative eigenvalues and forces the positive ones to zero (up to machine precision). For third and fourth order, we print only the case using Bernstein polynomials. The applications of Lagrange polynomials lead only to slightly bigger amounts of positive and negative eigenvalues of the \({\underline{\underline{Q}}}\,+{\underline{\underline{Q}}}\,^T\) operator (i.e maximum eigenvalue is 0.11713334374388217 for P3). However, the results are similar after applying the SAT procedure, we obtain only negative or zero eigenvalues.
We also mention that for higher degrees and more DoFs, we may strengthen the SAT terms to guarantee that the eigenvalues are negative and /or forced to zero. All of our investigations are in accordance with the analysis done in Sect. 4.1 and all of our calculations demonstrate that a pure Galerkin scheme is stable if a proper boundary procedure is used.
Remark 5.1
Finally, we did a couple of additional simulations changing both, the domain \(\Omega \) (circles, pentagons, etc.) and the speed vector including also some horizontal movement. All of our calculations remained stable if the boundary approach from Sect. 4 was used.
This is in contradiction of a common belief in the hyperbolic research community about continuous Galerkin schemes.
But what are the reasons for this belief? In our opinion, one of the major issues is that the chosen quadrature rule in the numerical integration differs from the the one used in the differential operators and without artificial stabilization terms the continuous Galerkin scheme collapses, and the corresponding \({\underline{\underline{Q}}}\,\) matrix does not become almost skew-symmetric.
5.1.2 Inexactness of the Quadrature Rule
To support our statement, we provide the following example. We consider the same problem as before, but in the Galerkin scheme we lower the accuracy of our quadrature rule to calculate the mass matrix and the conditions at the boundary procedure. Before, we used always a quadrature rule which is accurate up to sixth order. Then, we lower the quadrature rule for the surface integral to five, the rest remain the same. Please be aware that in the Galerkin approach, we apply integration by parts before formulating the variation formulation. We decrease the CFL number to 0.01 for stability reasons. However, as it is shown in Fig. 2 the scheme crashes after some time even with this super low CFL number. In Fig. 2c, the structure of the bump can still be seen, but, simultaneously, the minimum value is \(\approx -\,2.996\) and the maximum value is around 2.7 (Fig. 2).
Additional time steps will lead to a complete crash of the test. At 400 steps the maximum value is 74.45 and the minimum is at \(-\,82.15\). Here, again nothing has changed from the calculations before except that the quadrature rules are changed which leads to an error in the interior of the spatial matrix \({\underline{\underline{Q}}}\,\), which cannot be stabilized with the SAT boundary treatment. We will focus on this test again in the second part of the paper series [42] to demonstrate the entropy correction term as presented in [38] and applied in [43, 44] can also be seen as a stabilization factor for linear problems.
5.1.3 Linear Rotation
In the next test we consider an advection problem with variable coefficients. The speed vector has components
The initial and boundary conditions are given by
The problem is defined on the unit disk \({\mathbb {D}}=\{(x,y)\in {\mathbb {R}}^2| \sqrt{x^2+y^2}<1 \}\). The small bump rotates in the clockwise direction in a circle around zero. In Fig. 3a the initial state is presented where Fig. 3b shows the used mesh (Fig. 3).
We apply an unstructured triangular mesh with 932 triangles. In the second calculation 5382 triangles are used. The time integration is again done via a SSPRK54 scheme with CFL=0.2. A pure continuous Galerkin scheme with Bernstein polynomials is used for the space discretization. Due to the variable coefficient problem, we apply the splitting technique as described in [27, 31] and see 3.7. The volume term is split into a symmetric and anti-symmetric part, see for details the mentioned literature. The boundary operator is estimated via the approach presented in 4.1.2. In Fig. 4, the results are presented after two rotations of the bump. Using 932 triangles, we obtain a maximum value of 0.993 and a minimum value fo \(-\,0.012\). Increasing the number of triangles, the maximum value after two rotations is 9.997 where the minimum value is \(-\,0.001\). This test again verifies that our scheme remains stable only through our boundary procedure (Fig. 4).
We compute this problem up to ten rotations for different orders. We observe that all of our calculation remain stable both using Lagrange or Bernstein polynomials as can be seen for example in Fig. 5. In the captions, we mentioned the respective maximum and minimum values and applied 10 contour lines to to divide the different value regions. Especially, in Fig. 5a one can imagine some stability issues. However, this is not the case. Here, the calculations demonstrated some numerical inaccuracies, but the calculation remains stable as can be read of the absolute maximum and minimum values. We recognize also that compared to the others the hight of the bump is decreasing. This behavior suggest a certain amount of artificial dissipation. We obtain the most accurate results using the fourth order scheme which is not surprising (Fig. 5).
Finally, we analyze the error behavior and calculate the order. We use again the SSPRK schemes of the same order (Fig. 6).
We recognize a slight decrease of the order similar to the observation made in [45] which was up to our knowledge the first ones who described it. The investigation of the decreased order of accuracy is not the main focus of this paper, where we focus on the stability properties of the pure continuous Galerkin scheme.
5.2 One-Dimensional Wave Equation
As a first example for systems with non-homogeneous boundary condition, we consider the linear wave equation
By applying a change of variables \( {\tilde{u}}:= \partial _x u\) and \({\tilde{v}}=-\,\partial _t u\), the wave equation can be rewritten as a first order hyperbolic system of conservation laws
which is sometimes referred to as the one-dimensional acoustic problem. The system (45) can also be expressed through the linear system
which we consider in the following. We assume the sinusoidal boundary conditions:
To determine the boundary operators, we calculate the eigenvalues and the eigenvectors of A following the ideas of Sect. 4.1.2. We obtain the eigenvalues \(\lambda _{1/2}= \pm 1\) and
where the rows are the eigenvectors. It is \(X^TX={\mathbb {I}}\). We assume that (the subscripts “0” and “1” refers to the end points of [0, 1])
with \(|R_0|,\;|R_1|<1\). Described in [28], the problem is well posed in \(L^2([0,1])\). For the time integration, we apply the SSPRK method of third order given in [39] and the space discretization is done via a pure Galerkin scheme of third order using Lagrange polynomials. The CFL condition is set to 0.4. For 100 cells and a regular mesh, we have the results displayed in Fig. 7. We tested it up to \(t=50\) without any stability problems. The Galerkin scheme gives us numerical approximations in a way as expected and determined from the theory (Fig. 7).
Under the same terms and conditions, we ran the test again now with a random mesh. Figure 8 demonstrates the results at \(t=2\) with a zoom in in Fig. 8b to highlight the mesh points. Indeed, no visible difference can be seen between Figs. 7b and 8a (Fig. 8).
5.3 R13 Sub-model for Heat Conduction
In our last simulation, we consider the steady R13 sub-model for heat conduction investigated in [46, 47]. It reads
in \(\Omega =\{(x,y)|\frac{1}{2}\le \sqrt{x^2+y^2}\le 1\}\in {\mathbb {R}}^2\). The outer boundary will be denoted by \(\Gamma _1\) and the inner circle is \(\Gamma _0\). The process includes a scalar temperature \(\theta \in {\mathbb {R}}\), a vector values heat flux \(s\in {\mathbb {R}}^2\), and a symmetric tensorial variable \({\mathbf {R}}\) represented by a symmetric \(2\times 2\) matrix. \(\tau \) is a constant relaxation time.
We set
If \(U=(\theta , s, {\mathbf {R}})\) with \({\mathbf {R}}=(R_{xx},R_{xy},R_{yy})\) the system (47) can be rewritten as:
In the following applications, we will consider the unsteady version of (47)
with boundary conditions that will be detailed in the next part of this section. The aim is to look for a steady solution of this system, and hence to develop a time marching approach. With \(\alpha \in {\mathbb {R}}\), the matrix \(\cos \alpha A+\sin \alpha B\) reads
and we notice that the system (47) is symmetrizable. The symmetrizer is \(P=\mathop {{\mathrm {diag}}}(1,1,1,1,\frac{1}{2},1)\) and together, we obtain
\(B_\alpha \) is symmetric and to estimate the boundary operator, we need the eigenvalues and eigenvectors of \(A_{{\mathbf {n}}}\). The eigenvectors are
associated to the eigenvalues \(\lambda =(\sqrt{2},-\,\sqrt{2},\frac{\sqrt{2}}{2},-\,\frac{\sqrt{2}}{2},0,0)\). Through P, we can calculate \(P^{-1},\;P^{1/2}\) and \(P^{-1/2}\) without problems.
Remark 5.2
Since the system is symmetrizable, the eigenvectors are orthogonal for the quadratic form associated to P, i.e. for eigenvectors \(r_i\ne r_j\) hold \(\langle Pr_i,r_j\rangle =0\), where \(\langle \cdot , \cdot \rangle \) denotes the scalar product.
5.3.1 The Boundary Conditions
The physical boundary condition follows from Maxwell’s kinetic accommodation model. We have
with normal components \((n_x,n_y)=(\cos \gamma , \sin \gamma )\) and tangential components \((t_x,t_y)= (-\,\sin \gamma ,\; \cos \gamma ) \) where \(\gamma \) is the angle between the x-axis and the outward unit normal on \(\partial \Omega \). The accommodation coefficients are given by \(\alpha \) and \(\beta \). We have further \(R_{{{\mathbf {n}}}{{\mathbf {n}}}}= R_{xx}\cos ^2 \gamma +R_{yy} \sin ^2 (\gamma ) +2R_{xy}\cos ( \gamma ) \sin (\gamma ) \) and together this gives
Thanks to this, the boundary conditions on \(\Gamma _0\) on \(\Gamma _1\) reads
where \(\theta _0\) and \(\theta _1\) are the prescribed temperatures on the cylinders (boundaries of \(\Omega \)) and \(u_x, u_y\) denote the prescribed slip velocity. To simplify notations, we introduce G as
We follow the investigation in Sect. 4.1.2 and get to the energy balance (43)
In our practical implementation, we look for \(\Pi \) to get energy stability in the homogeneous case. Instead of working with the variable transformation \(U=PV\), we select \(U=P^{1/2}V\) for convenience reasons later in the implementation. Then the condition reads:
One way to achieve this is to assume that \(\frac{1}{2} A_{{\mathbf {n}}}-\Pi {L_{{\mathbf {n}}}}\) has the same eigenvectors as \(\frac{1}{2}A_{{\mathbf {n}}}\) and that the eigenvalues are positive, i.e. \(\Pi {L_{{\mathbf {n}}}} - \frac{1}{2} A_{{\mathbf {n}}}^-\) and \(\Pi {L_{{\mathbf {n}}}}\) and \(\frac{1}{2} A_{{\mathbf {n}}}^-\) have the same eigenvalues.Footnote 5 The idea behind this is that \((\frac{1}{2}A_{{\mathbf {n}}}- \Pi {L_{{\mathbf {n}}}})P^{1/2}\) is positive definite. However, this is well-defined under the condition that \({L_{{\mathbf {n}}}}P{L_{{\mathbf {n}}}}^T\) is invertible, and we obtain
This matrix is always invertible since its determinant is always positive. A solution to the problem is \(\Pi {L_{{\mathbf {n}}}} P {L_{{\mathbf {n}}}}^T=R D L P^{1/2}{L_{{\mathbf {n}}}}^T\) with \(D\le \frac{1}{2}\Lambda ^-\) so \(\Pi = R DL P^{1/2} {L_{{\mathbf {n}}}}^T ({L_{{\mathbf {n}}}}P{L_{{\mathbf {n}}}}^T)^{-1}\) with \(D\le \frac{1}{2}\Lambda ^-\) and using the transformation with \(P^{1/2}\), we obtain:
i.e.
that is
Using U instead of V in the implementation, we have to multiply \(\Pi \) with \(P^{-1/2}\).
Remark 5.3
Another way to determine \(\Pi \), we choose \(\delta <0\) such that \(\Pi {L_{{\mathbf {n}}}}P^{1/2}-\frac{1}{2} A_{{\mathbf {n}}}P^{1/2} =\delta \text {Id}\), and thus yields
However, this is well-defined under the condition that \({L_{{\mathbf {n}}}}{L_{{\mathbf {n}}}}^T\) is invertible. We obtain
The matrix is always invertible since elementary calculations yield to an estimation of the determinate which can be shown to be bigger than 0.5.
5.3.2 Concrete Example
We have explained how we estimate the boundary operator in the above Eq. (51). In the test, we have set the accommodation coefficients \(\alpha =3.0\) and \(\beta = -\,0.5\). The temperature at the boundaries are given by \(\theta _0=0\) and \(\theta _1=1\). Further, we have \(u_x=1\) and \(u_y=0\). The relaxation time is set to 0.15. Again, we use a continuous Galerkin scheme together with the above developed boundary procedure. The term \(\delta \) is set to \(-\,2\) and the CFL number is 0.1. We ran the problem up to steady state with a RK scheme. In Fig. 9 we show the mesh and also the result at steady state using a coarse grid. The number of triangles is 400. The problem is elliptic and smooth which cannot be seen in this first picture since the mesh is too coarse (Fig. 9).
In the second test, we increase the number of elements in the mesh. Now, we are using 5824 elements and also Bernstein polynomials of second order. The mesh and the result are presented in Fig. 10. Here, we recognize the smooth behavior and the scheme remains stable only through the above described boundary procedure (Fig. 10).
6 Conclusion and Outlook
In this paper, we have demonstrated that a pure continuous Galerkin scheme is stable only through the applied boundary conditions. No further stabilizations terms are needed. This contradicts the erroneous perception in the hyperbolic community about pure continuous Galerkin schemes to be unstable without additional stabilizations terms. In our approach, the application of the SAT technique is essential where we impose the boundary conditions weakly. Using this approach, we derive a suitable boundary operator from the continuous setting to guarantee that the discrete energy inequality is always fulfilled. We present a recipe on how these operators can be constructed, in detail, for scalar two-dimensional problems and two-dimensional systems. In numerical experiments, we verify our theoretical analysis. Furthermore, in one test, we demonstrate the importance of the used quadrature rule. The chosen quadrature rule in the numerical integration has to be the same as in the differential operators such that the SBP property of our Galerkin scheme is valued. If not, the Galerkin scheme suffers from stability issues. If stability can be reached only by enforcing the proper dissipative boundary conditions, there is no free meal: this procedure is very sensitive to any numerical error, like roundoff error or quadrature error. We think and hope that through our results the common opinion about continuous Galerkin and its application in CFD problems changes, modulo the restriction we have already described. This result is also interesting from a theoretical point of view, and emphasizes the positive role that the boundary conditions may have. In the companion paper [42], we consider and analyze non-linear (e.g. entropy) stability of continuous Galerkin schemes. Here, the SAT approach will also be important and some approximation for the boundary operators will be developed.
Notes
We like to mention that also parts of the authors had this belief before starting the project.
Actually, the opposite is also true: Everything is a finite element scheme with a suitable quadrature rule.
We have used simple, double and quadruple precision, the results remain the same upto machine precision.
Here, we denote again by − the negative eigenvalues.
References
Reed, William H., Hill, T.R.: Triangular mesh methods for the neutron transport equation. Technical Report, Los Alamos Scientific Lab., N. Mex. (USA) (1973)
Cockburn, B., Karniadakis, G.E., Shu, C.-W.: Discontinuous Galerkin Methods: Theory, Computation and Applications, vol. 11. Springer, Berlin (2012)
Hesthaven, J.S., Warburton, T.: Nodal high-order methods on unstructured grids: I. Time-domain solution of Maxwell’s equations. J. Comput. Phys. 181(1), 186–221 (2002)
Chen, T., Shu, C.-W.: Review of entropy stable discontinuous Galerkin methods for systems of conservation laws on unstructured simplex meshes. CSIAM Trans. Appl. Math. 1, 1–52 (2020)
Gassner, G.J.: 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)
Carpenter, M.H., Fisher, T.C., Nielsen, E.J., Frankel, S.H.: Entropy stable spectral collocation schemes for the Navier–Stokes equations: discontinuous interfaces. SIAM J. Sci. Comput. 36(5), B835–B867 (2014)
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)
Chan, J.: On discretely entropy conservative and entropy stable discontinuous Galerkin methods. J. Comput. Phys. 362, 346–374 (2018)
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)
Ranocha, H., Öffner, P., Sonar, T.: Summation-by-parts operators for correction procedure via reconstruction. J. Comput. Phys. 311, 299–328 (2016)
Kreiss, H.-O., Scherer, G.: Finite element and finite difference methods for hyperbolic partial differential equations. Math. Asp. Finite Elem. Partial Differ. Equ. 33, 195–212 (1974)
Del Rey Fernández, D.C., Hicken, J.E., Zingg, D.W.: Review of summation-by-parts operators with simultaneous approximation terms for the numerical solution of partial differential equations. Comput. Fluids 95, 171–196 (2014)
Hicken, J.E., Del Rey Fernaández, D.C., Zingg, D.W.: Multidimensional summation-by-parts operators: general theory and application to simplex elements. SIAM J. Sci. Comput. 38(4), A1935–A1958 (2016)
Svärd, M., Nordström, J.: Review of summation-by-parts schemes for initial-boundary-value problems. J. Comput. Phys. 268, 17–38 (2014)
Abgrall, R., Bacigaluppi, P., Tokareva, S.: High-order residual distribution scheme for the time-dependent Euler equations of fluid dynamics. Comput. Math. Appl. 78(2), 274–297 (2019)
Burman, E., Ern, A., Fernández, M.A.: Explicit Runge–Kutta schemes and finite elements with symmetric stabilization for first-order linear pde systems. SIAM J. Numer. Anal. 48(6), 2019–2042 (2010)
Burman, E., Hansbo, P.: Edge stabilization for Galerkin approximations of convection–diffusion–reaction problems. Comput. Methods Appl. Mech. Eng. 193(15–16), 1437–1453 (2004)
Gustafsson, B., Kreiss, H.-O., Oliger, J.: Time Dependent Problems and Difference Methods, 2nd edn. Wiley, Hoboken (2013)
Thomée, V., Wendroff, B.: Convergence estimates for galerkin methods for variable coefficient initial value problems. SIAM J. Numer. Anal. 11(5), 1059–1068 (1974)
Mock, M.S.: Explicit finite element schemes for first order symmetric hyperbolic systems. Numer. Math. 26(4), 367–378 (1976)
Layton, W.J.: Stable Galerkin methods for hyperbolic systems. SIAM J. Numer. Anal. 20(2), 221–233 (1983)
Layton, W.J.: Stable and unstable numerical boundary conditions for Galerkin approximations to hyperbolic systems. In: Hyperbolic Partial Differential Equations, Elsevier, pp. 559–566 (1983)
Gunzburger, M.D.: On the stability of Galerkin methods for initial-boundary value problems for hyperbolic systems. Math. Comput. 31(139), 661–675 (1977)
Hicken, J.E: Entropy-stable, high-order discretizations using continuous summation-by-parts operators. In: AIAA Aviation 2019 Forum, p. 3206 (2019)
Hicken, J.E.: Entropy-stable, high-order summation-by-parts discretizations without interface penalties. J. Sci. Comput. 82(2), 50 (2020)
Hughes, T.J.R., Franca, L.P., Mallet, M.: A new finite element formulation for CFD: I. Symmetric forms of the compressible Euler and Navier–Stokes equations and the second law of thermodynamics. Comput. Methods Appl. Mech. Eng. 54, 223–234 (1986)
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. 71(1), 365–385 (2017)
Carpenter, M.H., Gottlieb, D., Abarbanel, S.: Time-stable boundary conditions for finite-difference schemes solving hyperbolic systems methodology and application to high-order compact schemes. J. Comput. Phys. 111(2), 220–236 (1994)
Ranocha, H., Öffner, P., Sonar, T.: Extended skew-symmetric form for summation-by-parts operators and varying Jacobians. J. Comput. Phys. 342, 13–28 (2017)
Öffner, P., Ranocha, H.: Error boundedness of discontinuous Galerkin methods with variable coefficients. J. Sci. Comput. 2019, 1–36 (2019)
Bazilevs, Y., Hughes, T.J.R.: Weak imposition of dirichlet boundary conditions in fluid mechanics. Comput. Fluids 36(1), 12–26 (2007)
Nitsche, J.: Über ein Variationsprinzip zur Lösung von Dirichlet-Problemen bei Verwendung von Teilräumen, die keinen Randbedingungen unterworfen sind. In: Abhandlungen aus dem mathematischen Seminar der Universität Hamburg, vol. 36, Springer, pp. 9–15 (1971)
Kurt, Otto F.: Symmetric positive linear differential equations. Commun. Pure Appl. Math. 11(3), 333–418 (1958)
Ern, A., Guermond, J.-L.: Discontinuous Galerkin methods for Friedrichs’ systems. I. General theory. SIAM J. Numer. Anal. 44(2), 753–778 (2006)
Nordström, J., La Cognata, C.: Energy stable boundary conditions for the nonlinear incompressible Navier–Stokes equations. Math. Comput. 88(316), 665–690 (2019)
Nordström, J.: Error bounded schemes for time-dependent hyperbolic problems. SIAM J. Sci. Comput. 30(1), 46–59 (2007)
Abgrall, R.: A general framework to construct schemes satisfying additional conservation relations. Application to entropy conservative and entropy dissipative schemes. J. Comput. Phys. 372, 640–666 (2018)
Gottlieb, S., Ketcheson, D.I., Shu, C.-W.: Strong Stability Preserving Runge–Kutta and Multistep Time discretizations. World Scientific, Singapore (2011)
Balay, S., Abhyankar, S., Adams, M.F., Brown, J., Brune, P., Buschelman, K., Dalcin, L., Dener, A., Eijkhout, V., Gropp, W. D., Karpeyev, D., Kaushik, D., Knepley, M. G., May, D. A., McInnes, L. C., Mills, R. T., Munson, T., Rupp, K., Sanan, P., Smith, B. F., Zampini, S., Zhang, H., Zhang, H.: PETSc Web page. https://www.mcs.anl.gov/petsc (2019)
Satish B., Shrirang A., Mark, F.A., Jed, B., Peter, B., Kris, B., Lisandro, D., Alp, D., Victor, E., William, D.G., Dmitry, K., Dinesh, K., Matthew, G.K., Dave, A.M., McInnes, L.C., , Mills, R.T., Munson, T., Rupp, K., Sanan, P., Smith, B.F., Stefano, Z., Hong, Z., Hong, Z.: PETSc users manual. Technical Report ANL-95/11 - Revision 3.11, Argonne National Laboratory (2019)
Abgrall, R., Nordström, J., Öffner, P., Tokareva, S.: Analysis of the SBP-SAT stabilization for finite element methods part II: entropy stability. In: Communications on Applied Mathematics and Computation (accepted) (2020)
Abgrall, R., Meledo, E., Oeffner, P.: On the connection between residual distribution schemes and flux reconstruction. arXiv preprint arXiv:1807.01261 (2018)
Abgrall, R., Öffner, P., Ranocha, H.: Reinterpretation and extension of entropy correction terms for residual distribution and discontinuous Galerkin schemes (Submitted). arXiv preprint (2019)
Johnson, C., Nävert, U., Pitkäranta, J.: Finite element methods for linear hyperbolic problems. Comput. Methods Appl. Mech. Eng. 45, 285–312 (1984)
Torrilhon, M.: Modeling nonequilibrium gas flow based on moment equations. Annu. Rev. Fluid Mech. 48, 429–458 (2016)
Rana, A., Torrilhon, M., Struchtrup, H.: A robust numerical method for the R13 equations of rarefied gas dynamics: application to lid driven cavity. J. Comput. Phys. 236, 169–186 (2013)
Acknowledgements
PÖ has been funded by the the SNF Grant (Number 200021_175784) and by the UZH Postdoc Grant (Number FK-19-104). This research was initiated by a first visit of JN at UZH, and really started during ST postdoc at UZH. This postdoc was funded by an SNF Grant 200021_153604. The Los Alamos unlimited release number is LA-UR-19-32410. PÖ likes also to thank Barbara Re (University of Zurich) for the helpful discussions about the usage of Petsc. Finally, all authors thank the anonymous referees whose comments and criticisms have improved the original version of the paper.
Funding
Open access funding provided by University of Zurich.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, 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 licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence 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. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Abgrall, R., Nordström, J., Öffner, P. et al. Analysis of the SBP-SAT Stabilization for Finite Element Methods Part I: Linear Problems. J Sci Comput 85, 43 (2020). https://doi.org/10.1007/s10915-020-01349-z
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10915-020-01349-z