Abstract
In this paper, we develop an entropy-conservative discontinuous Galerkin (DG) method for the shallow water (SW) equation with random inputs. One of the most popular methods for uncertainty quantification is the generalized Polynomial Chaos (gPC) approach which we consider in the following manuscript. We apply the stochastic Galerkin (SG) method to the stochastic SW equations. Using the SG approach in the stochastic hyperbolic SW system yields a purely deterministic system that is not necessarily hyperbolic anymore. The lack of the hyperbolicity leads to ill-posedness and stability issues in numerical simulations. By transforming the system using Roe variables, the hyperbolicity can be ensured and an entropy-entropy flux pair is known from a recent investigation by Gerster and Herty (Commun. Comput. Phys. 27(3): 639–671, 2020). We use this pair and determine a corresponding entropy flux potential. Then, we construct entropy conservative numerical two-point fluxes for this augmented system. By applying these new numerical fluxes in a nodal DG spectral element method (DGSEM) with flux differencing ansatz, we obtain a provable entropy conservative (dissipative) scheme. In numerical experiments, we validate our theoretical findings.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Many problems in natural sciences and engineering are modelled by hyperbolic balance laws. One such system is the shallow water (SW) equations used in many geophysical processes such as river flows or coastal areas but can be also applied to atmospheric flows. The application of the SW is widespread and the development of effective and accurate numerical methods for the SW equations has received much interest in the last decades, and it is still ongoing, cf. [9, 10, 31, 32, 43, 56] and references therein. In particular, the construction of entropy (energy) conservative (dissipative) methods has been of great interest [10, 17, 21, 30, 51]. Contrarily, in many real applications and models real data are applied which come with uncertainties due to empirical approximations or measuring errors resulting in a stochastic partial differential system. In the context of hyperbolic conservation/balance laws, uncertainties can appear in the source terms, initial or boundary data or even the fluxes and different approaches exist to solve such stochastic PDE systems. Classical techniques are either stochastic collocation (SC), Monte Carlo (MC) algorithms, or the generalized Polynomial Chaos (gPC) approach (using a stochastic Galerkin (SG) ansatz), cf. [14, 33, 37, 39, 46, 50, 58, 57]. All of them (SC, MC, or SG) come with some advantages and disadvantages, and a nice summary in the context of hyperbolic equations can be found in [2]. In this manuscript, we focus on the gPC (SG) approach in the context of the SW equations with uncertainties. The SG ansatz applied to stochastic hyperbolic equations yields an augmented purely deterministic system, denoted as the SG system in the following, where classical solvers (MUSCL, FV, DG) can be used. However, a drawback of this approach is that one may lose the hyperbolicity of the SG system [14] and classical solvers in general fail to solve the extended system due to its ill-posedness. Further, the question rises about what kind of underlying structures we want to preserve, like what kind of entropies we have. To overcome the loss of the hyperbolicity, different techniques have been already proposed. Inspired by the kinetic theory, the entropy closure methods [40] or filtering procedures to ensure the hyperbolicity [15, 44] have been developed. Alternatively, it was demonstrated in [59] that by a pseudo-spectral approach with suitable quadrature rules, one can rewrite the SG scheme as an SC scheme on a set of specific nodes. The collocation scheme preserves the hyperbolicity of the original hyperbolic system. Also, recently, it has been demonstrated in [12, 13] that only a finite collection of positivity conditions on the stochastic water height at selected quadrature points in the parameter space is enough to preserve the hyperbolicity in the SG system. Alternatively, by introducing Roe variables directly inside the Galerkin projections one can as well ensure the hyperbolicity of the SG system [38, 39] but the question about the definition and existence of entropies rises. In recent works [22, 23], the authors were finally able to determine entropies for several hyperbolic SG systems, in particular the SW system (SG-SW). In the following manuscript, we use this new development and construct a high-order entropy conservative discontinuous Galerkin (DG) method for the SG-SW system. Different from the recent paper [59], our approach is truly intrusive, by which we mean that all integrals of the Galerkin ansatz are exactly computed in a pre-computation step and not during a simulation. We apply the flux differencing [7, 21, 41] ansatz in our DG formulation. The main idea is to use a split formulation inside the discretization, where the splitting is determined by entropy conservative numerical fluxes (in the sense of Tadmor [48]). To determine entropy conservative numerical fluxes, the flux potential is needed, and we derive for our entropy-entropy flux pair from [22] a flux potential. We use this potential finally to develop, in an analogous manner as in [35], an entropy conservative, numerical flux for our SG-SW system. Our result yields a new reliable numerical method for SW equations with uncertainties.
The paper is organized as follows. In Sect. 2, the numerical framework is introduced. We focus on the discontinuous Galerkin spectral element method (DGSEM) using a flux differencing approach. If entropy conservative fluxes are applied inside the discretization, we obtain a provable entropy conservative (dissipative) scheme. We also introduce in this section the gPC approach. Afterwards, in Sect. 3 the SW equation with uncertainty is introduced together with the Roe variable transformation, and the SG approach is used to determine the augmented system and derive the entropy-entropy flux pair following [22]. In Sect. 4, we derive first the entropy flux potential for the entropy-entropy flux pair and use it to develop entropy conservative numerical fluxes for the augmented SG-SW system. In numerical simulations in Sect. 5, we give a proof of concept that the application of such fluxes inside the DGSEM-flux differencing method results in an entropy conservative high-order scheme. A summary with an outlook finishes the main part of the manuscript where in Appendix A the concrete formulas of the flux potentials and numerical fluxes can be found up to the second-order series expansion of the SG approach together with some basic properties of the Haar wavelet expansions. By slide modifications, we explain also how to include bottom topography inside our study, and we specify an entropy conservative numerical flux with bottom topography for completeness.
2 Numerical Framework
In the following section, we shortly repeat the numerical framework which we use inside the manuscript. In particular, we introduce the DGSEM and explain how we can ensure entropy conservation (dissipation) for the scheme. Afterwards, we shortly introduce the gPC approach. This framework is used to extend the SW equations in the next section for which we will finally construct an entropy conservative (dissipative) method.
2.1 Discontinuous Galerkin Spectral Element Method (DGSEM)
There exist various approaches to construct entropy conservative (dissipative) numerical methods for hyperbolic conservation/balance laws, cf. [1, 3, 4, 8, 16,17,18,19, 28, 29, 34, 36] and references therein. In our work, we focus on the DG method with flux differencing ansatz as described in [7, 20] and used in the SW context in [21, 41, 51, 53, 54]. To clarify the method we start with a nodal DG scheme using summation-by-parts (SBP) operators and consider for simplicity the hyperbolic conservation law:
As usual in finite elements, we make a domain decomposition \(x_{1/2}<x_{3/2}<\cdots < x_{N+1/2},\; \Omega _i=[x_{i-1/2},x_{i+1/2}], \Delta x_i=x_{i+1/2}-x_{i-1/2}\). Instead of calculating everything in \(\Omega _i\), every element is mapped into the standard element \([-1,1]\) where all the calculations are done.
In classical DG, we multiply with a test function \(v^h \in \mathcal {V}^{h}\) where \(\mathcal {V}^{h}\) is our solution space (broken polynomial space) and integrate in space. Then, we seek \(u^h \in \mathcal {V}^h\) such that for each \(v^h\in \mathcal {V}^h\) and \(1\leqslant i\leqslant N\):
where we used integration-by-parts once to shift the derivative from the flux function to the test function. The right side corresponds to the boundary values. Since the flux functions at the boundaries are not unique, numerical fluxes have to be applied. Further, the test function \(v^h\) is evaluated also at the boundary where the superscript ± denotes the left or right value between two neighbouring elements specifying which approximations have to be used.
Instead of working with (1), we use integration-by-parts again and obtain the strong form
Focusing now on the reference element, instead of evaluating the integrals exactly, we apply the Gauss-Lobatto quadrature \(-1=\xi _0<\xi _1<\cdots <\xi _p=1\) with corresponding quadrature weights \(\{\omega _j\}_{j=0}^p\). Further, we use a Lagrangian nodal basis for these quadrature points, i.e., \(L_j(\xi _l)=\delta _{jl}\), and define the discrete inner \(\left\langle u,v\right\rangle _{\omega }=\sum \nolimits _{j=0}^p \omega _j u(\xi _j) v(\xi _j)\). To make the connection to the SBP operators, we have
-
difference matrix \(\underline{\underline{D}}\) with \(\underline{\underline{D}}_{jl} =L_l'(\xi _j);\)
-
mass matrix \(\underline{\underline{M}}_{jl}=\left\langle L_j,L_l\right\rangle _{\omega } =\omega _j \delta _{jl}\), so that \(\underline{\underline{M}} = \mathop {\textrm{diag}}\{\omega _0, \cdots , \omega _p\};\)
-
stiffness matrix \(\underline{\underline{Q}}_{jl}=\left\langle L_j',L_l\right\rangle _{\omega } =\left\langle L_j,L_l'\right\rangle _{\omega }\), boundary matrix \(\underline{\underline{B}}=\mathop {\textrm{diag}}(-1,0,\cdots ,0,1).\)
The above operators fulfil the SBP property as shown for instance in [7, Theorem 3.1]. In our nodal DG formulation, we approximate the flux function as well by a polynomial and since \(v^h\) has been arbitrary, we get the strong DG scheme for one node
where \(\tau _j \in \{-1,0,1\}\) depending which node is considered. Finally, a system of equations is obtained. Method (2) is referred to as the DGSEM. However, in general, this method is not entropy conservative (dissipative). To ensure the entropy conservation, we have to modify the scheme and use suitable numerical fluxes. Therefore, we assume that the entropy function \(\eta\) is strictly convex, defining the entropy variable \(v=\eta '(u)=: \partial _u \eta (u)\). Due to the strictly convex entropy function \(\eta\), there exists as well a potential \(\psi '(v)= f(u(v))\). A consistent, symmetric two-point numerical flux \(f^\textrm{num}(u_{ {l}}, u_{ {r}})\) is called entropy conservative (dissipative) (in the sense of Tadmor) if it satisfies
Here, \(v_l, v_r\) and \(\psi _l, \psi _r\) are the entropy variables and potential at the left and right states, whereas \([[\cdot ]]\) denotes the jump, cf. [48, 49] for more details. Combing back to the DG formulation to balance the internal entropy, we use a split formulation. The scheme reads than
where \(f^\textrm{num}_S\) are numerical two-point fluxes. Finally, the properties of the scheme depend highly on the selected fluxes as the following theorem describes, cf. [7, Sect. 3].
Theorem 1
(Flux differencing theorem) If \(f^\textrm{num}_S(u_j,u_l)\) is consistent and symmetric, then (4) is conservative and high-order accurate. If we further assume that \(f^\textrm{num}_S(u_j,u_l)\) is entropy conservative (3), then (4) is also entropy conservative within a single element. If \(f^\textrm{num}\) is further entropy conservative (dissipative), then the resulting scheme is entropy conservative (dissipative) in general.
Because of this theorem, it is enough to construct consistent, symmetric, and entropy-conservative fluxes to develop a high-order entropy-conservative scheme. This will be the major part in Sect. 4.
Remark 1
The considerations can be extended to multi-dimensional space dimensions using a tensor-product strategy. Additionally, it is possible to get diagonal operators for triangle grids if enough nodes are added at the boundaries.
To obtain an entropy dissipative scheme, an entropy dissipative flux has to be used at the element interfaces. By adding artificial dissipation (in the local Lax-Friedrich sense) to our entropy conservative flux, we would obtain an entropy dissipative flux and use it for \(f^\textrm{num}\) an entropy dissipative scheme, cf. [35].
2.2 Polynomial Chaos for Hyperbolic System
We introduce the gPC expansion referring to [22, 35, 38], which aims to express the stochastic problem in a deterministic surrounding and use classical numerical schemes. Therefore, let \((\Omega ,\mathbb {F},\mathbb {P})\) be a probability space with the event space \(\Omega\), and the probability measure \(\mathbb {P}\) defined on the \(\sigma\)-field \(\mathbb {F}\). We consider \(\xi = \{\xi _k(\omega )\}^N_{j=0}\) the set of N independent and identically distributed random variables for \(\omega \in \Omega\). Based on that, we introduce the function space
with the scalar product
We denote by \(\{\phi _k(\xi ) \}_{k=0}^\infty\) for \(\mathbb {L}^2 (\Omega ,\mathbb {P})\) a set of orthogonal basis functions. Focusing on our conservation law, we are interested in quantities u which now are not only dependent on the space x and the time t but also influenced by the random variable \(\xi\), i.e., \(u(t,x,\xi )\) is searched. We proceed analogously to the deterministic case and expand the weak formulation by \(u(t,x;\,{\xi })\). This leads us to
where the expected value with corresponding \(\phi _k\) contains the integration over \(\xi,\) i.e.,
Here, \(\rho\) denotes the probability density function. As mentioned in [2, 52], the foundation of gPC is to use the spectral expansion
for a random field. The set of coefficients \(\{u_k(x,t)\}\) is purely deterministic and has to be calculated using our favourite numerical method. Now the gPC is introduced as a set of orthogonal subspaces \(\hat{S} _k \subset \mathbb {L}^2(\Omega ,\mathbb {P})\) with \(S _K:= \bigoplus \limits _{k=0}^K \hat{S} _k \rightarrow \mathbb {L}^2(\Omega ,\mathbb {P}) \quad \textrm{for} \quad K \rightarrow \infty .\) We consider now the projection operator onto the gPC basis of the degree \(K \in \mathbb {N}_0\). It is
which approximates for any fixed (t, x) the solution. The convergence of \(G_K\) to u for \(K \rightarrow \infty\) is ensured by the Cameron-Martin theorem [6], i.e., it guarantees, that the truncated series expansion (7) converges to the spectral expansion (6). Later, we calculate \(\hat{u}_k\) using our spectral Galerkin ansatz. Through straightforward calculations, we have for the first two moments using an orthogonal basis:
-
expected value
$$\begin{aligned} \begin{aligned} \mathbb {E}\left[ G _K[u]\right] (t,x)&= \hat{u}_0(x,t) \int _{\mathbb {R}} \phi _0(y)\rho (y)\textrm{d}y + \int _{\mathbb {R}} \sum _{k=1}^K \hat{u}_k(x,t)\phi _k(y)\rho (y)\textrm{d}y=\hat{u}_0(x,t); \end{aligned} \end{aligned}$$ -
variance
$$\begin{aligned} \begin{aligned} \textrm{Var}\left[ G _K[u]\right] (t,x)&= \mathbb {E}[\hat{u}^2(x,t;\,\cdot )]-\mathbb {E}^2[\hat{u}(x,t;\,\cdot )] \sum _{k=1}^K \hat{u}_k^2(x,t) \mathbb {E}[\phi ^2_k] = \sum _{k=1}^K \hat{u}_k^2(x,t). \end{aligned} \end{aligned}$$
Additionally, we assume for simplicity normed basis functions, i.e., \(\Vert \phi _k\Vert =1\). For our later considerations, we need the following operator, called the Galerkin product. It is given by
with \((\hat{y}*\hat{z})_k(t,x):= \sum _{i,j=0}^K\hat{y}_i(t,x)\hat{z}_j(t,x)\langle \phi _i \phi _j \phi _k \rangle\). This can be reformulated using the symmetric matrix \(\mathcal {P}(\hat{y}):= \sum _{l=0}^{K} \hat{y}_{l} M_l^K \quad \textrm{with} \quad M_l^K:= \left( \langle \phi _l \phi _i \phi _j \rangle \right) _{i,j = 0, \cdots , K}.\) We obtain \(\hat{y}*\hat{z} = \mathcal {P}(\hat{y})\hat{z}\) and \(\mathcal {P} \in \mathbb {R}^{(K+1)\times (K+1)}\). The product in M is derived from the scalar product (5) and reads as \(\langle \phi _l \phi _i \phi _j \rangle = \int _\Omega \phi _l(\xi )\phi _i(\xi )\phi _j(\xi ) \textrm{d}\mathbb {P}.\) In our further computations, we reduce the set
This condition is fulfilled if we have a positive expansion [25, 47]. We will not introduce that technically, but explain what it means for our model in Sect. 3. We need to make an additional note on some properties of the matrix \(\mathcal {P}({\hat{\alpha }})\) from [22].
Lemma 1
The following properties are equivalent for the matrix \(\mathcal {P}(\alpha )\), which is defined as above:
-
i.
the precomputed matrices \(\mathcal {M}_l\) and \(\mathcal {M}_k\) commute for all \(l,k = 0, \cdots ,K;\)
-
ii.
the matrices \(\mathcal {P}({\hat{\alpha }})\) and \(\mathcal {P}({\hat{\beta }})\) commute for all \({\hat{\alpha }}, {\hat{\beta }} \in \mathbb {R}^{K+1};\)
-
iii.
there is an eigenvalue decomposition \(\mathcal {P}({\hat{\alpha }})=VD_{\mathcal {P}}({\hat{\alpha }})V^{\text {T}}\) with constant eigenvectors.
These properties are important but not universal. We call bases that satisfy Lemma 1 Haar type bases. Those are rare and have to be well-chosen. The Haar-wavelets used later are such a basis, whereas classical orthogonal polynomials are not. Finally, we fix the following property of \(\mathcal {P}({\hat{\alpha }})\) which is needed later.
Lemma 2
Property of \(\mathcal {P}({\hat{\alpha }})\). For any \({\hat{\alpha }},{\hat{\beta }},{\hat{\gamma }} \in \mathbb {R}^{K+1}\), it holds \({\hat{\alpha }}^{\text {T}} \mathcal {P}({\hat{\gamma }}){\hat{\beta }} = {\hat{\beta }}^{\text {T}}\mathcal {P}({\hat{\gamma }}){\hat{\alpha }}.\)
Proof
We consider the transposition \(\left( {\hat{\alpha }}^{\text {T}} \mathcal {P}({\hat{\gamma }}){\hat{\beta }}\right) ^{\text {T}} = {\hat{\beta }}^{\text {T}} \mathcal {P}({\hat{\gamma }})^{\text {T}}{\hat{\alpha }} = {\hat{\beta }}^{\text {T}} \mathcal {P}({\hat{\gamma }}){\hat{\alpha }}.\) The last equality holds due to the symmetry of \(\mathcal {P}({\hat{\gamma }})\). The assertion follows because \({\hat{\alpha }}^{\text {T}} \mathcal {P}({\hat{\gamma }}){\hat{\beta }}\) is a scalar.
3 Shallow Water (SW) Equations with Uncertainties
In the following section, we shortly repeat the SW model with uncertainty together with Roe variable transformation and introduce the entropy-entropy flux pair from [22]. The SW system can be derived from the Navier-Stokes equations and is defined in the one-dimensional case via
where h denotes the water height, \(\textsf {v}\) the velocity, g the gravitational constant, and b the bottom topography. The first equation describes the balance of mass and the second one the balance of momentum \(q=h\textsf {v}\). The conserved vector is \(u=(h, q)^{\text {T}}\). The right-hand side denotes the source terms (here only bottom topography) but could also include Coriolis force and friction. For simplicity, we assume flat bathymetry (\(b\equiv 0\)) in the following. Instead of having a purely deterministic system (10), we have an additional random input \(\xi\) and the stochastic SW reads
As demonstrated in [14], using an SG extension of (11) we lose the hyperbolicity of the system. Therefore, we introduce first the Roe variable transformation for the SWE.
Definition 1
(Roe variables) With the velocity \(\textsf {v}(u):=\frac{q}{h}\) as auxiliary variables the Roe variables are defined as \(\omega :=(\alpha ,\beta ):= \left( \sqrt{h},\sqrt{h}\textsf {v}(y)\right)\) and the gPC modes as \({\hat{\omega }}:=({\hat{\alpha }},{\hat{\beta }})\) for \({\hat{\alpha }} \in \mathbb {H}^+\) defined on the set
The mapping between Roe and conserved variables is
Therefore, all predefinitions are set to apply the SG formulation with the Roe variable transformation on the SW equations. A formulation of SW in terms of Roe variables is given through
The SG expansion leads us to
where \(\mathcal {G}\) denotes the Galerkin product (8). We need the Roe variable formulation to ensure the hyperbolicity. We work with the gPC modes of (12) and obtain
with the flux function \(\hat{f} (\hat{u}):= \hat{f}_1 (\hat{u}) + \hat{f}_2(\hat{u})\) formulated in conservative variables \(\hat{u} = \hat{\mathcal {Y}}({\hat{\omega }})\) for
To express the entropy-entropy flux pair and to derive later the potential and the numerical fluxes, we introduce some additional variables to express the expanded system similar to the original one in conservative variables. Further, we introduce matrices to simplify the notation which will be useful due to some technical parts in the proofs later.
Definition 2
Similar to the velocity in the deterministic case, we define \({\hat{\textsf {v}}}({\hat{\omega }}):= \mathcal {P}^{-1}({\hat{\alpha }}){\hat{\beta }}, \; {\hat{\textsf {v}}}^2({\hat{\omega }}):= \mathcal {P}_2({\hat{\omega }}){\hat{\beta }}\) with the matrices representation \(\mathcal {P}_1({\hat{\omega }}):=\mathcal {P}({\hat{\beta }})\mathcal {P}^{-1}({\hat{\alpha }}) \quad \textrm{and} \quad \mathcal {P}_2({\hat{\omega }}):=\mathcal {P}({\hat{\beta }})\mathcal {P}^{-2}({\hat{\alpha }}).\)
Finally, we have all the ingredients to repeat the main result of [22] the definition of an entropy-entropy flux pair for SW equations.
Theorem 2
(SW equations [22]) Let a Haar type expansion be given, and let states in the open, admissible set
be given. Then, the Jacobian of the flux function (13) is
for \({\hat{\omega }}=({\hat{\alpha }}, {\hat{\beta }})\) and \(\mathcal {P}_1({\hat{\omega }}) = \mathcal {P}({\hat{\beta }})\mathcal {P}^{-1}({\hat{\alpha }}).\) The eigenvalue decomposition
reads as
while \(D_{\mathcal {P}}\) results of the eigenvalue decomposition of \(\mathcal {P}\) in Lemma 1. As the entropy-entropy flux pair we obtain \((\eta ,\mu ):= \left( \eta _1 + \eta _2, \mu _1 + \mu _2 \right) (\hat{u})\) with
4 Construction of Entropy Conservative Numerical Fluxes
This is the main part of this current work. We will construct symmetric, consistent, entropy-conservative numerical two-point fluxes according to [48, 49]. Therefore, we need to remind the flux function (13) to compute the flux potential. We denote again by v the entropy variable and \(\mu\) is the entropy flux. Then, the flux potential is defined through
To construct the numerical flux, we have to express the above expression in terms according to the used variables. Therefore, we need the entropy variable \(\textrm{D}_{\hat{u}}\eta (\hat{u})\) expressed in conservative variables. We recall Definition 2 and get
which leads us to
Note that \(v_1, v_2\) are vectors and by a slide abuse of notation we denote \(v_2^2\) to express as well a vector. Then, the sum is well-defined. This definition helps us to treat the vector-valued expression similar to the deterministic case in a component-wise sense. For further computations, we need to put the following property down on \(v_2^2\).
Lemma 3
It holds for the introduced velocity in Definition 2\(v_2 = {\hat{\textsf {v}}} = \mathcal {P}^{-1}({\hat{\alpha }}){\hat{\beta }}\) with its particularly defined square \(v_2^2 = {\hat{\textsf {v}}}^2 = \mathcal {P}_2({\hat{\omega }}){\hat{\beta }}\) for every \(\gamma \in \mathbb {R}^{K+1}\): \((v_2^2)^{\text {T}} \mathcal {P}(\gamma )v_2 = v_2^{\text {T}} \mathcal {P}(\gamma )v_2^2.\)
Proof
The proof is simply calling the definitions and applying the property iii of Lemma 1. We get
We insert now this formulation of \(\hat{h}\) (16) into the flux function. So we have the flux function in terms of the entropy variables. This allows us to go on with the construction. Thus, we receive
and
We apply the variable v from (15) on our entropy flux \(\mu\) (14) and by reformulation, we get
For \(*\), we apply for the first term that \({\hat{\textsf {v}}}^{\text {T}}({\hat{\omega }})\mathcal {P}(\hat{h}) = ({\hat{\alpha }} * {\hat{\beta }})^{\text {T}}\) holds and for the second one, we use just the definition of \(\mathcal {P}_1({\hat{\omega }})\). The next line follows from Definition 2. The last follows from this short computation
Therefore we apply the expression of \(\hat{h}\) in entropy variables (16), and receive the entropy flux \(\mu\) in entropy variables. It is given through
For further simplification, we use that the argument appears linear in every entry of \(\mathcal {P}\)
Following this scheme, we get
4.1 Flux Potential
Due to our considerations before, we are now able to construct an explicit formula for the flux potential in component-wise formulations. This leads to the foundation of our flux construction later. We first derive a general formula for the flux potential. From the condition \(\psi = {{\textbf {v}}^{\text {T}} \hat{{\textbf {f}}}}-\mu\), we obtain by simple calculations
Now we can formulate the following theorem which gives us an explicit expression of the flux potential.
Theorem 3
The potential \(\psi\) for different dimensions K can be explicitly written as
Proof
We remind the matrix formulation of the Galerkin product (8). Then we consider the penultimate expression of (17), take the first summand and apply a basic matrix-vector or rather a vector-vector multiplication
Analogous calculations for the remaining summands lead us to the desired result.
Having the flux potential, we can now follow [35] to obtain an entropy-conservative numerical flux. We denote with \(\overline{v}:= \frac{v(+)\,+\,v(-)}{2}\) the mean value and \([[v]]:= v(+)-v(-)\) the jump between two states. To receive an entropy conservative numerical flux, it needs to fulfil the equality in (3), i.e.,
Therefore, we need to identify \([[\psi ]]\), which is not unique here. To derive a formulation, we use the discrete analogue of the product rule \([[v_i v_j]] = \overline{v_i}[[v_j]]+[[v_i]]\overline{v_j}.\) Applying our choice of averaging to \(\psi\), we obtain
Remark 2
In Appendix A.1 an explicit representation for \(K \in \{0,1,2\}\) determined with a straightforward calculation compared to the results obtained by use of Theorem 3 and expression (19) is given. Here, we like to point out that for \(K=0\), we end up with the purely determined flux potential as described and used in [41]. Therefore, our calculation is obviously in accordance with the purely deterministic case.
4.2 Numerical Fluxes
Finally, we can construct entropy conservative numerical fluxes from condition (3). We reformulate (3) to \([[{v_1, v_2}]] \cdot \begin{pmatrix} f_1^{\textrm{num}} \\ f_2^{\textrm{num}} \end{pmatrix} = [[{\psi }]]\) and search for the two parts.
There are many possibilities to choose such a numerical flux. We require the condition in a way where we split \([[{\psi }]]\) in summands depending on \([[{v_1}]]\) and \([[{v_2}]]\). We get for the part depending on \([[{v_1}]]\)
An indices transformation leads us to
Additionally to that, we have vectors \(v_1,v_2 \in \mathbb {R}^{K+1}\), so we get through the definition of the scalar product the sum \([[{v_1}]] \cdot f^{\text {num}}_1 = \sum _{n=0}^K v_{1_n} f_{1_n}^{\text {num}}.\) For simplicity, we choose the approach where we consider every single \(f_{1_n}^{\textrm{num}}\). Thus, we have the first component of our flux
For the second part including \([[{v_2}]]\), we have
which leads through variable transformation to
With this, we have finally constructed our entropy-conservative numerical flux and can formulate the following theorem.
Theorem 4
Under the above considerations, a numerical entropy conservative flux for the SG-SW system is given in a close formula for each component via \(f^{\textrm{num}} = \left( f_{1_0}^{\textrm{num}},\cdots ,f_{1_K}^{\textrm{num}},f_{2_0}^{\textrm{num}},\cdots ,f_{2_K}^{\textrm{num}}\right) ^{\text {T}}\) with
To get finally an explicit expression, we insert the mean value in (8) and get for \(f^{\textrm{num}}_1\):
where we obtain for the second part
Before we apply this flux in our numerical scheme, we give the following example for explanation.
Example 1
If \(K=0\), we are again in the purely deterministic case. By direct calculations, we obtain
This is exactly the flux described in [41] with parameters \(a_1=a_2=1\). This can be also seen with the explicit representation, where we obtain
for the first part and
for the second one. Again this is the same one as in [41] with the selection of \(a_1=a_2=1\).
By selecting another averaging procedure, we would have delivered another parameter form. Our study is, therefore, consistent with the purely deterministic case. For \(K\in \{1,2\}\), explicit formulas can be found in Appendix A.2.
In the following section, we have finally constructed entropy-conservative two-point fluxes for our SG-SW system. The idea is based on the development of an entropy flux potential and using condition (3). However, we have not included bottom topography in our investigation up to this point. A possible way including it is described in Appendix C.
5 Numerical Results
For the numerical experiments, we use Julia [5] with the numerical simulation framework Trixi [42, 45]. Several entropy conservative/dissipative high-order schemes can be found in Trixi.jl, in particular the DGSEM with flux differencing introduced in Sect. 2.1. We apply for the time discretization always the strong-stability preserving Runge-Kutta methods SSPRK33 [11]. In this work, we focus on purely academic test cases as a proof of concept, where we demonstrate the entropy conservation and the high-order accuracy of our approach. For the Haar type expansion, we select the Haar wavelets as our basis for the probability space. Therefore, we assume a uniform distribution of the random variable. Due to a new close formula for Haar wavelets [24], we can avoid solving a minimization problem in every step which has normally been done to obtain the Galerkin square root [38]. This also increases the efficiency of our approach. We shortly repeat the definition of the Haar wavelets and some of their main properties.
Definition 3
(Haar wavelets [38]) The wavelet system is defined by
with
This yields through a lexicographical order to basis functions
We can develop according to [24] a closed formulation for every gPC mode based on the orthogonal eigenvalue decomposition \(\mathcal {P}_J(\hat{u}) = \mathcal {H}_J \textrm{D}_J(\hat{u})\mathcal {H}^{\text {T}}_J\) with the classical Haar matrices
Theorem 5
The gPC modes \({\hat{\alpha }},{\hat{\beta }}\), and \({\hat{\textsf {v}}}\) are for a gPC expansion with Haar wavelets, given through the closed formulas
with the classical Haar matrices (21).
The proof can be found in Appendix B for completeness and was given first up-to-our knowledge in [24].
We are now able to construct numerical test cases. Again, we focus in this paper on purely basic simulations and consider some generic test cases to give a first proof of concept. More realistic experiments, a comparison, and numerical analysis will be done in future work. We give here only results for selecting \(K=3\) which denotes the four term series expansion. For simplification, we consider always in our test the gravitational constant \(g=1\). We fix a few further parameters which will not be changed in our experiments. The mesh on our simulation domain \([-1,1]\) is built with an initial refinement of 5, which means the original mesh, consisting of 2 cells, is \(2^5\) times refined, and we obtain a grid of \(2^{5+1}=64\) cells. We choose for our solver the DGSEM with polynomials of degree 2 and our entropy-conservative numerical flux as the surface flux and also as the volume flux. Therefore, we test here only for entropy conservation. The initial conditions change for every experiment, but we use periodic boundary conditions always. We test if our numerical fluxes preserve the lake at rest state, study convergence and entropy-conserving properties on the model of a simple wave. Consider first the lake-at-rest stateFootnote 1. Lake-at-rest means that in the case of a flat, not moving water surface no velocity will occur over time.
Experiment 1
Lake at rest. We consider the initial conditions
without any velocity, observed until \(T=0.5\) with the time step \(\Delta t = 10^{-3}\). The initial conditions are chosen according to the uniform distribution \(\mathcal {U}(4,8)\) following [22]. They are given in conservative variables by
So \(h_0\) describes the expected value and the sum over the squares of the higher coefficients, the variance.
Experiment 1
We observe in Fig. 1 that neither in the velocity (up to errors in machine precision \(\approx 10^{-16}\) ) nor the water heights any movements can be recognized during our simulations. Thus, Experiment 1 confirms our result. The here developed method preserves the steady state.
In the next tests, we consider some variations in the water height and momentum. These tests are, in particular, academic test cases and are constructed to validate entropy conservation and high-order accuracy. Therefore, we give directly the initial conditions in terms of the developed coefficients.
Experiment 2
We start with a flat water surface and model a sinus wave on it, represented through the following initial conditions:
Again, the initial conditions are derived from a uniform distribution \(\mathcal {U}(4,8)\) following [22]. The water starts moving over time, which can be observed in Fig. 2 but no discontinuous are built.
Experiment 2
We take a look at the entropy. We aimed for an entropy conservative method which means we expect no change in entropy over time. We integrate the time derivative of the entropy over the domain \(\Omega\) in every time step and give the plot in Fig. 3. We recognize that the change of entropy is in machine precision. This verifies numerically that our method is indeed entropy conservative.
Finally, in our last test, we want to investigate the high-order accuracy of our DGSEM approach in space. Here, we simulate a sinus wave on an already nonflat water surface.
Experiment 3
which is shown in Fig. 4.
Experiment 3
We consider the errors, referring to the solution of the finest mesh \(h_{\textrm{ref}}\), in \(L^2\)- and \(L^{\infty }\)-norms on our computational domain \(\Omega = [-1,1]\), where N denotes the original number of grid cells and 2N the next higher refinement.
The convergence analysis runs for initial conditions from Experiment 3 with the additional quantities time step size \(\Delta t = 10^{-9}\) and final time \(T=10^{-8}\). So, we observe 100 time steps. The initial mesh refinement is 2, which means the mesh contains 8 cells, and we go over 4 iterations/refinements. The time step is chosen this small to guarantee the error of the solver of the time-dependent ODE will not mask the error of our DGSEM for the spatial discretization.
The convergence Fig. 5 confirms a third-order experimental order of convergence (EOC). This behaviour has been expected and also verified. Similar results can be observed while changing the polynomial degree in the solver which gives us always the desired order.
6 Summary and Outlook
In this paper, we have developed an entropy-conservative DG method for the SW equations with uncertainties. We used the SG approach in the context of UQ and by applying the Roe variable transformation, we could rewrite our stochastic system in a purely deterministic hyperbolic one. Due to recent investigations by Herty and Gerster [22], an entropy flux pair is known for this augmented system and we derived from this pair a corresponding entropy flux potential in the closed form. We use this entropy flux potential in the following to construct for the first time entropy conservative numerical fluxes for the SG-SW system. By applying these fluxes in the DGSEM with flux differencing, we finally obtain an entropy conservative scheme. In our first academic numerical experiments, we have considered lake-at-rest, convergence in space, and entropy behaviours. Our scheme preserves lake-at-rest and is high-order accurate in space and entropy conservative which was of particular interest. Up to this point, we have considered only academic test cases to give proof of concept. In future work, we will extend our investigation. First, we will consider also nonzero bottom topography and test our scheme for well-balancing and entropy conservation. The next aspect which is already under investigation is the consideration of more advanced tests and realistic experiments including discontinuities like in stochastic damn-break. Here, we have to use an entropy dissipative scheme which can be obtained using entropy dissipative numerical surface fluxes (local Lax-Friedrich, etc.) together with the EC fluxes. However, additional limiting strategies are further needed to handle strong shocks. Additionally, the convergence analysis concerning the Galerkin expansion has to be studied and comparison analysis to other techniques [26, 27, 39, 55, 59] will be as well considered in future work. Especially the non-intrusive approach from [59] is of particular interest. In our intrusive method, all stochastic integrals are calculated exactly before the calculations where in [59] a pseudo-spectral ansatz is used with suitable quadrature rules in the stochastic space where the underlying deterministic solver in this paper and the one in [59] is the same.
In this manuscript, we have only considered the lake-at-rest state without any bottom topography. Other generalized approaches to ensure equilibria are also of interest and are already investigated in the context of SW with uncertainty in [12, 13].
Data Availability
The data are not public since they will be further extended but are available from the corresponding author on reasonable request.
Notes
For numerical methods of SW equations, it is important to preserve the steady state solutions which is referred to as the well-balancing property. Lake at rest is one equilibria and is of particular interest if nonzero bottom topography is considered. We refer to [10, 30] and references therein for more information about well-balancing and capturing further equilibria.
References
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). https://doi.org/10.1016/j.jcp.2018.06.031
Abgrall, R., Mishra, S.: Uncertainty qualification for hyperbolic systems of conservation laws. In: Handbook on Numerical Methods for Hyperbolic Problems. Applied and Modern Issues, pp. 507–544. Elsevier/North Holland, Amsterdam (2017). https://doi.org/10.1016/bs.hna.2016.11.003
Abgrall, R., Nordström, J., Öffner, P., Tokareva, S.: Analysis of the SBP-SAT stabilization for finite element methods. II: entropy stability. Commun. Appl. Math. Comput. 5(2), 573–595 (2023). https://doi.org/10.1007/s42967-020-00086-2
Abgrall, R., Öffner, P., Ranocha, H.: Reinterpretation and extension of entropy correction terms for residual distribution and discontinuous Galerkin schemes: application to structure preserving discretization. J. Comput. Phys. 453, 24 (2022). https://doi.org/10.1016/j.jcp.2022.110955
Bezanson, J., Edelman, A., Karpinski, S., Shah, V.B.: Julia: a fresh approach to numerical computing. SIAM Rev. 59(1), 65–98 (2017). https://doi.org/10.1137/141000671
Cameron, R.H., Martin, W.T.: The orthogonal development of non-linear functionals in series of Fourier-Hermite functionals. Ann. Math. 2(48), 385–392 (1947). https://doi.org/10.2307/1969178
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). https://doi.org/10.1016/j.jcp.2017.05.025
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)
Ciallella, M., Micalizzi, L., Öffner, P., Torlo, D.: An arbitrary high order and positivity preserving method for the shallow water equations. Comput. Fluids 247, 21 (2022). https://doi.org/10.1016/j.compfluid.2022.105630
Ciallella, M., Torlo, D., Ricchiuto, M.: Arbitrary high order WENO finite volume scheme with flux globalization for moving equilibria preservation. J. Sci. Comput. 96(2), 28 (2023). https://doi.org/10.1007/s10915-023-02280-9
Cockburn, B., Karniadakis, G.E., Shu, C.-W.: Discontinuous Galerkin Methods. Theory, Computation and Applications. In: Lecture Notes in Computational Science and Engineering, vol. 11. Springer, Berlin (2000)
Dai, D., Epshteyn, Y., Narayan, A.: Hyperbolicity-preserving and well-balanced stochastic Galerkin method for shallow water equations. SIAM J. Sci. Comput. 43(2), 929–952 (2021). https://doi.org/10.1137/20M1360736
Dai, D., Epshteyn, Y., Narayan, A.: Hyperbolicity-preserving and well-balanced stochastic Galerkin method for two-dimensional shallow water equations. J. Comput. Phys. 452, 28 (2022). https://doi.org/10.1016/j.jcp.2021.110901
Després, B., Poëtte, G., Lucor, D.: Robust uncertainty propagation in systems of conservation laws with the entropy closure method. In: Uncertainty Quantification in Computational Fluid Dynamics, pp. 105–149. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-319-00885-1_3
Dürrwächter, J., Kuhn, T., Meyer, F., Schlachter, L., Schneider, F.: A hyperbolicity-preserving discontinuous stochastic Galerkin scheme for uncertain hyperbolic systems of equations. J. Comput. Appl. Math. 370, 22 (2020). https://doi.org/10.1016/j.cam.2019.112602
Fisher, T.C., 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). https://doi.org/10.1016/j.jcp.2012.09.026
Fjordholm, U.S., Mishra, S., Tadmor, E.: Well-balanced and energy stable schemes for the shallow water equations with discontinuous topography. J. Comput. Phys. 230(14), 5587–5609 (2011). https://doi.org/10.1016/j.jcp.2011.03.042
Gaburro, E., Öffner, P., Ricchiuto, M., Torlo, D.: High order entropy preserving ADER-DG schemes. Appl. Math. Comput. 440, 21 (2023). https://doi.org/10.1016/j.amc.2022.127644
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), 1233–1253 (2013). https://doi.org/10.1137/120890144
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). https://doi.org/10.1016/j.jcp.2016.09.013
Gassner, G.J., Winters, A.R., Kopriva, D.A.: A well balanced and entropy conservative discontinuous Galerkin spectral element method for the shallow water equations. Appl. Math. Comput. 272, 291–308 (2016). https://doi.org/10.1016/j.amc.2015.07.014
Gerster, S., Herty, M.: Entropies and symmetrization of hyperbolic stochastic Galerkin formulations. Commun. Comput. Phys. 27(3), 639–671 (2020). https://doi.org/10.4208/cicp.OA-2019-0047
Gerster, S., Herty, M., Sikstel, A.: Hyperbolic stochastic Galerkin formulation for the \(p\)-system. J. Comput. Phys. 395, 186–204 (2019). https://doi.org/10.1016/j.jcp.2019.05.049
Gerster, S., Sikstel, A., Visconti, G.: Haar-type stochastic Galerkin formulations for hyperbolic systems with Lipschitz continuous flux function. arXiv:2022-03 (2022)
Gottlieb, D., Xiu, D.: Galerkin method for wave equations with uncertain coefficients. Commun. Comput. Phys. 3(2), 505–518 (2008)
Herty, M., Kolb, A., Müller, S.: Higher-Dimensional Deterministic Formulation of Hyperbolic Conservation Laws with Uncertain Initial Data. Institut für Geometrie und Praktische Mathematik, RWTH Aachen (2021)
Herty, M., Kolb, A., Müller, S.: Multiresolution analysis for stochastic hyperbolic conservation laws. IMA J. Numer. Anal. 44, 536–575 (2023). https://doi.org/10.1093/imanum/drad010
Kuzmin, D., Hajduk, H., Rupp, A.: Limiter-based entropy stabilization of semi-discrete and fully discrete schemes for nonlinear hyperbolic problems. Comput. Methods Appl. Mech. Eng. 389, 28 (2022). https://doi.org/10.1016/j.cma.2021.114428
LeFloch, P.G., Mercier, J.M., Rohde, C.: Fully discrete, entropy conservative schemes of arbitrary order. SIAM J. Numer. Anal. 40(5), 1968–1992 (2002). https://doi.org/10.1137/S003614290240069X
Mantri, Y., Öffner, P., Ricchiuto, M.: Fully well balanced entropy controlled DGSEM for shallow water flows: global flux quadrature and cell entropy correction. arXiv:2212.11931 (2022)
Meister, A., Ortleb, S.: On unconditionally positive implicit time integration for the DG scheme applied to shallow water flows. Int. J. Numer. Methods Fluids 76(2), 69–94 (2014). https://doi.org/10.1002/fld.3921
Michel, S., Torlo, D., Ricchiuto, M., Abgrall, R.: Spectral analysis of high order continuous FEM for hyperbolic PDEs on triangular meshes: influence of approximation, stabilization, and time-stepping. J. Sci. Comput. 94, 49 (2023). https://doi.org/10.1007/s10915-022-02087-0
Mishra, S., Risebro, N.H., Schwab, C., Tokareva, S.: Numerical solution of scalar conservation laws with random flux functions. SIAM/ASA J. Uncertain. Quantif. 4, 552–591 (2016). https://doi.org/10.1137/120896967
Öffner, P.: Approximation and Stability Properties of Numerical Methods for Hyperbolic Conservation Laws. Springer, London (2023)
Öffner, P., Glaubitz, J., Ranocha, H.: Stability of correction procedure via reconstruction with summation-by-parts operators for Burgers’ equation using a polynomial chaos approach. ESAIM Math. Model. Numer. Anal. 52(6), 2215–2245 (2018). https://doi.org/10.1051/m2an/2018072
Öffner, P., Ranocha, H., Sonar, T.: Correction procedure via reconstruction using summation-by-parts operators. In: Theory, Numerics and Applications of Hyperbolic Problems II, Aachen, Germany, August 2016, pp. 491–501. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-91548-7_37
Petrella, M., Tokareva, S., Toro, E.F.: Uncertainty quantification methodology for hyperbolic systems with application to blood flow in arteries. J. Comput. Phys. 386, 405–427 (2019). https://doi.org/10.1016/j.jcp.2019.02.013
Pettersson, M.P., Iaccarino, G., Nordström, J.: Polynomial chaos methods for hyperbolic partial differential equations: numerical techniques for fluid dynamics problems in the presence of uncertainties. In: Math. Eng. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-10714-1
Pettersson, P., Iaccarino, G., Nordström, J.: A stochastic Galerkin method for the Euler equations with Roe variable transformation. J. Comput. Phys. 257, 481–500 (2014). https://doi.org/10.1016/j.jcp.2013.10.011
Poëtte, G., Després, B., Lucor, D.: Uncertainty quantification for systems of conservation laws. J. Comput. Phys. 228(7), 2443–2467 (2009). https://doi.org/10.1016/j.jcp.2008.12.018
Ranocha, H.: Shallow water equations: split-form, entropy stable, well-balanced, and positivity preserving numerical methods. GEM. Int. J. Geomath. 8(1), 85–133 (2017). https://doi.org/10.1007/s13137-016-0089-9
Ranocha, H., Schlottke-Lakemper, M., Winters, A.R., Faulhaber, E., Chan, J., Gassner, G.: Adaptive numerical simulations with Trixi.jl: a case study of Julia for scientific computing. Proc. JuliaCon Conf. 1(1), 77 (2022). arXiv:2108.06476
Ricchiuto, M., Abgrall, R., Deconinck, H.: Application of conservative residual distribution schemes to the solution of the shallow water equations on unstructured meshes. J. Comput. Phys. 222(1), 287–331 (2007). https://doi.org/10.1016/j.jcp.2006.06.024
Schlachter, L., Schneider, F.: A hyperbolicity-preserving stochastic Galerkin approximation for uncertain hyperbolic systems of equations. J. Comput. Phys. 375, 80–98 (2018). https://doi.org/10.1016/j.jcp.2018.07.026
Schlottke-Lakemper, M., Gassner, G.J., Ranocha, H., Winters, A.R., Chan, J.: Trixi.jl: adaptive high-order numerical simulations of hyperbolic PDEs in Julia. https://github.com/trixi-framework/Trixi.jl (2021)
Schwab, C., Tokareva, S.: High order approximation of probabilistic shock profiles in hyperbolic conservation laws with uncertain initial data. ESAIM Math. Model. Numer. Anal. 47(3), 807–835 (2013). https://doi.org/10.1051/m2an/2012060
Sonday, B.E., Berry, R.D., Najm, H.N., Debusschere, B.J.: Eigenvalues of the Jacobian of a Galerkin-projected uncertain ODE system. SIAM J. Sci. Comput. 33(3), 1212–1233 (2011). https://doi.org/10.1137/100785922
Tadmor, E.: The numerical viscosity of entropy stable schemes for systems of conservation laws. I. Math. Comput. 49, 91–103 (1987). https://doi.org/10.2307/2008251
Tadmor, E.: Entropy stability theory for difference approximations of nonlinear conservation laws and related time-dependent problems. Acta Numer. 12, 451–512 (2003). https://doi.org/10.1017/S0962492902000156
Tokareva, S., Schwab, C., Mishra, S.: High order SFV and mixed SDG/FV methods for the uncertainty quantification in multidimensional conservation laws. In: Lecture Notes in Computational Science and Engineering, vol. 99. Springer, Switzerland (2014). https://doi.org/10.1007/978-3-319-05455-1_7
Wen, X., Don, W.S., Gao, Z., Xing, Y.: Entropy stable and well-balanced discontinuous Galerkin methods for the nonlinear shallow water equations. J. Sci. Comput. 83(3), 32 (2020). https://doi.org/10.1007/s10915-020-01248-3
Wiener, N.: The homogeneous chaos. Am. J. Math. 60, 897–936 (1938). https://doi.org/10.2307/2371268
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). https://doi.org/10.1016/j.jcp.2015.08.034
Wu, X., Kubatko, E.J., Chan, J.: High-order entropy stable discontinuous Galerkin methods for the shallow water equations: curved triangular meshes and GPU acceleration. Comput. Math. Appl. 82, 179–199 (2021). https://doi.org/10.1016/j.camwa.2020.11.006
Xiao, T., Kusch, J., Koellermeier, J., Frank, M.: A flux reconstruction stochastic Galerkin scheme for hyperbolic conservation laws. J. Sci. Comput. (2023). https://doi.org/10.1007/s10915-023-02143-3
Xing, Y., Shu, C.-W.: A survey of high order schemes for the shallow water equations. J. Math. Study 47(3), 221–249 (2014). https://doi.org/10.4208/jms.v47n3.14.01
Xiu, D., Hesthaven, J.S.: High-order collocation methods for differential equations with random inputs. SIAM J. Sci. Comput. 27(3), 1118–1139 (2005). https://doi.org/10.1137/040615201
Xiu, D., Karniadakis, G.E.: The Wiener-Askey polynomial chaos for stochastic differential equations. SIAM J. Sci. Comput. 24(2), 619–644 (2002). https://doi.org/10.1137/S1064827501387826
Zhong, X., Shu, C.-W.: Entropy stable Galerkin methods with suitable quadrature rules for hyperbolic systems with random inputs. J. Sci. Comput. 92(1), 30 (2022). https://doi.org/10.1007/s10915-022-01866-z
Acknowledgements
The authors like to thank Stephan Gerster for some discussion about entropy-entropy flux pairs and Haar wavelet expansion. P.Ö. also gratefully acknowledge support of the Gutenberg Research College, JGU Mainz.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of Interest
All authors have no conflict of interest.
Appendices
Appendix A Explicit Representations
In the following, we give, for completeness and a better comprehension, some examples for the first expansions of the flux potential and numerical flux functions. In particular, the numerical flux functions are explicitly constructed. In that way, we understand that the formula from Theorem 3 indeed delivers the same results as obtained through straight forward calculations.
1.1 A.1 Flux Potential
We will give in the following an explicit representation of the flux potential (19) for \(K \in \{0,1,2\}\) determined with a straight forward calculation compared to the formula from Theorem 3. Then we do the averaging for these results and compare them to the one obtained by use of (19).
In the deterministic case we have no more a vector v but a scalar. We need it as a control case to prove if our calculations are consistent with existing results. It leads us to
for the flux and
which are the same as in [41].
We remind for \(K=1\) the original formulation
and begin with the straight forward calculations. We precompute for the first summand of \([[{\psi }]]\)
which is indeed the same as formula (19) delivers. The next step is to carry out the averaging
For greater clarity, we will do it for the different parts
For the remaining summands we proceed similar to the first one
with an averaging as follows:
It lasts the part
with an averaging of
given through
Finally, we have
which is the same as we get through formula (19).
We do the same straight forward calculations for \(K=2\) and compute
There are six terms which are the same as in case \(K=1\) completed by twelve additional terms. The averaging could be done analogous to \(K=1\).
The next summand leads to
We obtain for the last one
Through an averaging we get
with
1.2 A.2 Numerical Flux
We will give again some examples of an explicit formulation for the numerical flux through Theorem 4.
-
If we set \(K=1\) we get for \(f_1^{\textrm{num}}\)
$$\begin{aligned} \begin{aligned} f_{1_0}^{\textrm{num}}&= \frac{1}{2g}\Big(2\overline{v_{1_0}}\ \overline{v_{2_0}}+ \overline{v_{2_0}^3}\Big){\langle \phi _0^3\rangle }, \\ f_{1_1}^{\textrm{num}}&= \frac{1}{2g} \biggl (\Big(2\overline{v_{1_0}}\ \overline{v_{2_0}}+ \overline{v_{2_0}^3} + 2 \overline{v_{1_0}}\ \overline{v_{2_1}}+ \overline{v_{2_1}v_{2_0}^2} +2 \overline{v_{1_1}}\ \overline{v_{2_0}}+ \overline{v_{2_0}v_{2_1}^2} \Big){\langle \phi _0^2\phi _1\rangle } \\&\quad + \Big(2\overline{v_{1_1}}\ \overline{v_{2_1}}+ \overline{v_{2_1}^3} + 2 \overline{v_{1_1}}\ \overline{v_{2_0}}+ \overline{v_{2_0}v_{2_1}^2} +2 \overline{v_{1_0}}\ \overline{v_{2_1}}+ \overline{v_{2_1}v_{2_0}^2} \Big) {\langle \phi _1^2\phi _0\rangle } \\&\quad +\Big(2 \overline{v_{1_1}}\ \overline{v_{2_1}}+ \overline{v_{2_1}^3} \Big){\langle \phi _1^3\rangle }\biggr ), \end{aligned} \end{aligned}$$and
$$\begin{aligned} \begin{aligned} f_{2_0}^{\textrm{num}}&=\frac{1}{2g} \Big(\overline{v_{1_0}^2}+\overline{v_{1_0}}\overline{v_{1_0}^2} + \frac{1}{4}\overline{v_{2_0}^4} + 2\overline{v_{1_0}}\ \overline{v_{2_0}}^2+ \overline{v_{2_0}}^2\overline{v_{2_0}^2}\Big){\langle \phi _0^3\rangle }, \\ f_{2_1}^{\textrm{num}}&= \frac{1}{2g} \biggl (\overline{v_{1_0}^2}+\overline{v_{1_0}}\ \overline{v_{1_0}^2}+\frac{1}{4}\overline{v_{2_0}^4}+4\overline{v_{1_0}}\ \overline{v_{2_0}}\ \overline{v_{2_1}}+2 \overline{v_{2_0}}\ \overline{v_{2_1}}\ \overline{v_{2_0}^2} + 2 \overline{v_{1_0}v_{1_1}}+\overline{v_{1_0}}\ \overline{v_{2_1}^2} \\&\quad +\frac{1}{2}\overline{v_{2_0}^2v_{2_1}^2} + \overline{v_{1_1}}\ \overline{v_{2_0}^2}+2{\overline{v_{1_1}}} \ \overline{v_{2_0}}^2 + \overline{v_{2_0}}^2 \overline{v_{2_1}^2}\Big) {\langle \phi _0^2\phi _1\rangle }\\&\quad + \Big(\overline{v_{1_1}^2}+\overline{v_{1_1}}\ \overline{v_{1_1}^2}+\frac{1}{4}\overline{v_{2_1}^4}+4\overline{v_{1_1}}\ \overline{v_{2_1}}\ \overline{v_{2_0}}+2 \overline{v_{2_1}}\ \overline{v_{2_0}}\ \overline{v_{2_1}^2} + 2 \overline{v_{1_0}v_{1_1}}+\overline{v_{1_1}}\ \overline{v_{2_0}^2}\\&\quad +\frac{1}{2}\overline{v_{2_1}^2v_{2_0}^2} + \overline{v_{1_0}}\ \overline{v_{2_1}^2}+2{\overline{v_{1_0}}} \ \overline{v_{2_1}}^2 + \overline{v_{2_1}}^2 \overline{v_{2_0}^2}\Big) {\langle \phi _1^2\phi _0\rangle } \\&\quad +\Big(\overline{v_{1_1}^2} + \overline{v_{1_1}}\ \overline{v_{1_1}^2} + \frac{1}{4}\overline{v_{2_1}^4} + 2\overline{v_{1_1}}\ \overline{v_{2_1}}^2+ \overline{v_{2_1}}^2\overline{v_{2_1}^2}\Big){\langle \phi _1^3\rangle } \biggr ) \end{aligned} \end{aligned}$$for the second part of the flux.
-
For \(K=2\) we get again all entries of \(K=1\) but the following ones in addition:
$$\begin{aligned} \begin{aligned} f_{1_2}^{\textrm{num}}&= \frac{1}{2g} \biggl ( \Big(2\overline{v_{1_0}}\ \overline{v_{2_0}}+ \overline{v_{2_0}^3} + 2 \overline{v_{1_0}}\ \overline{v_{2_2}}+ \overline{v_{2_2}v_{2_0}^2} +2 \overline{v_{1_2}}\ \overline{v_{2_0}}+ \overline{v_{2_0}v_{2_2}^2} {\langle \phi _0^2\phi _2\rangle } \\&\quad +\Big(2\overline{v_{1_1}}\ \overline{v_{2_1}}+ \overline{v_{2_1}^3} + 2 \overline{v_{1_1}}\ \overline{v_{2_2}}+ \overline{v_{2_2}v_{2_1}^2} +2 \overline{v_{1_2}}\ \overline{v_{2_1}}+ \overline{v_{2_1}v_{2_2}^2} \Big){\langle \phi _1^2\phi _2\rangle } \\&\quad +\Big(2\overline{v_{1_2}}\ \overline{v_{2_2}}+ \overline{v_{2_2}^3} + 2 \overline{v_{1_2}}\ \overline{v_{2_0}}+ \overline{v_{2_0}v_{2_2}^2} +2 \overline{v_{1_0}}\ \overline{v_{2_2}}+ \overline{v_{2_2}v_{2_0}^2} \Big){\langle \phi _2^2\phi _0\rangle } \\&\quad +\Big(2 \overline{v_{1_2}}\ \overline{v_{2_2}}+ \overline{v_{2_2}^3} \Big) {\langle \phi _2^3\rangle } \\&\quad +\Big(2\overline{v_{1_1}}\ \overline{v_{2_0}}+ \overline{v_{2_0}v_{2_1}^2} + 2\overline{v_{1_2}}\ \overline{v_{2_1}}+ \overline{v_{2_1}v_{2_2}^2}+ 2\overline{v_{1_0}}\ \overline{v_{2_2}}+ \overline{v_{2_2}v_{2_0}^2}\\&\quad + 2\overline{v_{1_1}}\ \overline{v_{2_2}}+ \overline{v_{2_2}v_{2_1}^2} + 2 \overline{v_{1_2}}\overline{v_{2_0}}+ \overline{v_{2_0}v_{2_2}^2}+2\overline{v_{1_0}}\ \overline{v_{2_1}}+ \overline{v_{2_1}v_{2_0}^2}\Big){\langle \phi _0\phi _1\phi _2\rangle } \biggr ) \end{aligned} \end{aligned}$$and
$$\begin{aligned} \begin{aligned} f_{2_2}^{\textrm{num}}&= \frac{1}{2g} \biggl ( \bigl (\overline{v_{1_0}^2}+\overline{v_{1_0}}\ \overline{v_{1_0}^2}+\frac{1}{4}\overline{v_{2_0}^4}+4\overline{v_{1_0}}\ \overline{v_{2_0}}\ \overline{v_{2_2}}+2 \overline{v_{2_0}}\ \overline{v_{2_2}}\ \overline{v_{2_0}^2} + 2 \overline{v_{1_0}v_{1_2}}+\overline{v_{1_0}}\ \overline{v_{2_2}^2}\\&\quad +\frac{1}{2}\overline{v_{2_0}^2v_{2_2}^2} + \overline{v_{1_2}}\ \overline{v_{2_0}^2}+2{\overline{v_{1_2}}} \ \overline{v_{2_0}}^2 + \overline{v_{2_0}}^2 \overline{v_{2_0}^2}\bigr ){\langle \phi _0^2\phi _2\rangle } \\&\quad + \bigl (\overline{v_{1_1}^2}+\overline{v_{1_1}}\ \overline{v_{1_1}^2}+\frac{1}{4}\overline{v_{2_1}^4}+4\overline{v_{1_1}}\ \overline{v_{2_1}}\ \overline{v_{2_2}}+2 \overline{v_{2_1}}\ \overline{v_{2_2}}\ \overline{v_{2_1}^2} + 2 \overline{v_{1_2}v_{1_1}}+\overline{v_{1_1}}\ \overline{v_{2_2}^2} \\&\quad +\frac{1}{2}\overline{v_{2_1}^2v_{2_2}^2}+ \overline{v_{1_2}}\ \overline{v_{2_1}^2}+2{\overline{v_{1_2}}} \ \overline{v_{2_1}}^2 + \overline{v_{2_1}}^2 \overline{v_{2_1}^2}\bigr ) {\langle \phi _1^2\phi _2\rangle } \\&\quad + \bigl (\overline{v_{1_2}^2}+\overline{v_{1_2}}\ \overline{v_{1_2}^2}+\frac{1}{4}\overline{v_{2_2}^4}+4\overline{v_{1_2}}\ \overline{v_{2_2}}\ \overline{v_{2_0}}+2 \overline{v_{2_2}}\ \overline{v_{2_0}}\ \overline{v_{2_2}^2} + 2 \overline{v_{1_0}v_{1_2}}+\overline{v_{1_2}}\ \overline{v_{2_0}^2} \\&\quad +\frac{1}{2}\overline{v_{2_2}^2v_{2_0}^2}+ \overline{v_{1_0}}\ \overline{v_{2_2}^2}+2{\overline{v_{1_0}}} \ \overline{v_{2_2}}^2 + \overline{v_{2_2}}^2 \overline{v_{2_0}^2}\bigr ) {\langle \phi _2^2\phi _0\rangle } \\&\quad + \bigl (\overline{v_{1_2}^2}+\overline{v_{1_2}}\ \overline{v_{1_2}^2}+\frac{1}{4}\overline{v_{2_2}^4}+4\overline{v_{1_2}}\ \overline{v_{2_2}}\ \overline{v_{2_1}}+2 \overline{v_{2_2}}\ \overline{v_{2_1}}\ \overline{v_{2_2}^2} + 2 \overline{v_{1_2}v_{1_1}}+\overline{v_{1_2}}\ \overline{v_{2_1}^2}\\&\quad +\frac{1}{2}\overline{v_{2_2}^2v_{2_1}^2} + \overline{v_{1_1}}\ \overline{v_{2_2}^2}+2{\overline{v_{1_1}}} \ \overline{v_{2_2}}^2 + \overline{v_{2_2}}^2 \overline{v_{2_1}^2}\Big){\langle \phi _2^2\phi _1\rangle } \\&\quad + \bigl (\overline{v_{1_2}^2} + \overline{v_{1_2}}\ \overline{v_{1_2}^2} + \frac{1}{4}\overline{v_{2_2}^4} + 2\overline{v_{1_2}}\ \overline{v_{2_2}}^2+ \overline{v_{2_2}}^2\overline{v_{2_2}^2}\bigr ) {\langle \phi _2^3\rangle } \\&\quad + \bigl (2\overline{v_{1_1}}\overline{v_{1_0}}+ 2\overline{v_{1_2}}\overline{v_{1_1}}+2\overline{v_{1_0}}\overline{v_{1_2}}+\overline{v_{1_1}}\ \overline{v_{2_0}^2} + \overline{v_{1_2}}\ \overline{v_{2_1}^2} + \overline{v_{1_0}}\ \overline{v_{2_2}^2} \\&\quad + \overline{v_{1_1}}\ \overline{v_{2_2}^2}+\overline{v_{1_2}}\ \overline{v_{2_0}^2}+\overline{v_{1_0}}\ \overline{v_{2_1}^2} + \frac{1}{2}\Big(\overline{v_{2_1}^2v_{2_0}^2} + \overline{v_{2_0}^2v_{2_2}^2}+\overline{v_{2_2}^2v_{2_1}^2}\Big) \\&\quad + 4\Big(\overline{v_{1_1}}\ \overline{v_{2_0}}\ \overline{v_{2_2}}+ \overline{v_{1_2}}\ \overline{v_{2_1}}\ \overline{v_{2_0}}+ \overline{v_{1_0}}\ \overline{v_{2_2}}\ \overline{v_{2_1}}\Big) \\&\quad + 2\Big(\overline{v_{2_0}}\ \overline{v_{2_2}}\overline{v_{2_1}^2} + \overline{v_{2_1}}\ \overline{v_{2_0}}\ \overline{v_{2_2}^2}+\overline{v_{2_2}}\ \overline{v_{2_1}}\ \overline{v_{2_0}^2}\Big)\bigr ) {\langle \phi _0\phi _1\phi _2\rangle } \biggr ). \end{aligned} \end{aligned}$$
Appendix B Haar Wavelets
We first need to repeat some properties of the Haar wavelets to give the proof of Theorem 5. By considering the property ii from Lemma 1, it was demonstrated in [24].
Lemma B1
[24] A Haar wavelet basis fulfills:
-
i.
for all \(\hat{u},\hat{w} \in \mathbb {R}^{K+1}\), \(\mathcal {P}(\mathcal {P}(\hat{u})\hat{w})=\mathcal {P}(\hat{u})\mathcal {P}(\hat{w})\) holds;
-
ii.
the mapping \(\mathcal {T}_{n}{:} \, \mathbb {H}^+_0 \rightarrow \mathbb {H}_0^+, \quad \hat{u}\rightarrow \hat{u}^{*n} = \mathcal {P}^n(\hat{u})\hat{e}_1\) is bijective for all \(n \in \mathbb {N}\) with the inverse mapping \(\mathcal {T}_{n}^{-1} (\hat{u})= \mathcal {H} \textrm{D}^{1/n} (\hat{u})\mathcal {H}^{\text T} \hat{e}_1\) and \(\hat{e}_1:= (1,0, \cdots , 0, 0)^{ {\text {T}}} \in \mathbb {R}^{K+1}.\)
It is shown in [47, Theorem 2.1] and [25, Theorem 2.1] that the condition (9) guarantees positive eigenvalues \(\textrm{D}(\hat{h})\) and thus the invertibility of \(\mathcal {P}\).
Proof
(Theorem 5) The equation for \({\hat{\alpha }}\) is obtained from Lemma 4. Therefore, we consider
with the belonging inverse mapping \(\mathcal {T}_{2}^{-1}(\hat{h}) = \mathcal {H}\textrm{D}^{\frac{1}{2}}(\hat{h})\mathcal {H}^{\text {T}}\hat{e}_1.\) We proceed with
This results lead us to
Appendix C Expansion to Nonconstant Bottom Topographies
In the following, we explain shortly how to include the bottom topography b inside the investigation and how to expand the numerical fluxes in this case. A straightforward way would be to extend as well b in the Galerkin product. The entropy/entropy variables change afterwards similar to the purely deterministic case. In the purely deterministic case, we have for the entropy variables \(v_1=g(h+b)-\frac{1}{2}\textsf {v}^2\) and \(v_2= \textsf {v}\). Inserting the SG extension of b yields similar to (15), the entropy variables
where \(\hat{b}\) is defined through the Galerkin expansion. By following [41], we can directly adapt the approach for our SG-system. Therefore, an additional term containing the water height h and the bottom topography b needs to be added to the second numerical flux. By direct element-wise long calculations, we obtain in our case the numerical flux from Theorem 4
where the additional term delivers (C2) which reads with filled-in mean and jumps as
It should be stressed out that this approach yields a consistent approximation to the deterministic case again. Testing these fluxes will be left for future work when more realistic benchmark tests will be considered and a comparison to other existing methods will be done. Additionally, the modelling aspect has also been considered in this case as well as the analytical properties similar to [22].
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
Bender, J., Öffner, P. Entropy-Conservative Discontinuous Galerkin Methods for the Shallow Water Equations with Uncertainty. Commun. Appl. Math. Comput. 6, 1978–2010 (2024). https://doi.org/10.1007/s42967-024-00369-y
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s42967-024-00369-y
Keywords
- Shallow water (SW) equations
- Entropy conservation/dissipation
- Uncertainty quantification
- Discontinuous Galerkin (DG)
- Generalized Polynomial Chaos (gPC)