Abstract
One of the beneficial properties of the discontinuous Galerkin method is the accurate wave propagation properties. That is, the semi-discrete error has dissipation errors of order \(2k+1\) (\(\le Ch^{2k+1}\)) and order \(2k+2\) for dispersion (\(\le Ch^{2k+2}\)). Previous studies have concentrated on the order of accuracy, and neglected the important role that the error constant, C, plays in these estimates. In this article, we show the important role of the error constant in the dispersion and dissipation error for discontinuous Galerkin approximation of polynomial degree k, where \(k=0,1,2,3.\) This gives insight into why one may want a more centred flux for a piecewise constant or quadratic approximation than for a piecewise linear or cubic approximation. We provide an explicit formula for these error constants. This is illustrated through one particular flux, the upwind-biased flux introduced by Meng et al., as it is a convex combination of the upwind and downwind fluxes. The studies of wave propagation are typically done through a Fourier ansatz. This higher order Fourier information can be extracted using the smoothness-increasing accuracy-conserving (SIAC) filter. The SIAC filter ties the higher order Fourier information to the negative-order norm in physical space. We show that both the proofs of the ability of the SIAC filter to extract extra accuracy and numerical results are unaffected by the choice of flux.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
There have been many studies on the accurate wave propagation properties for discontinuous Galerkin methods [3, 9, 10, 14, 19, 21, 24, 25]. These studies conclude that, in general, the semi-discrete error has dissipation errors of order \(2k+1\) (\(\le Ch^{2k+1}\)) and order \(2k+2\) (\(\le Ch^{2k+2}\)) for dispersion. These studies concentrate on the order of the error and ignore the role of the error constant. In this article, we give an explicit formula for how the error constant in the dispersion and dissipation error depends on the numerical flux as well as the polynomial degree. Specifically, when using a piecewise constant or quadratic approximation, the results suggest that one should use a more central flux to optimise the numerical wave propagation properties. For a piecewise linear or cubic approximation, the results confirm that an upwind flux is desirable. These results are illustrated through the use of the upwind-biased flux introduced by Meng et al. [15], which uses a convex combination of the upwind and downwind approximation values. In addition to this result, we introduce results for post-processing the numerical solution using the smoothness-increasing accuracy-conserving (SIAC) filter by Ryan and others [11,12,13, 18, 20]. This filter allows for extracting the higher order Fourier information that is used in the proof of the dissipation and dispersion errors and translates this information into physical space. To complete our discussion of superconvergence, we also review the pointwise superconvergence results for of Cao et al. [5] for the upwind-biased flux.
To summarize the contribution of this article, it is to (i) show the important role the error constant plays in the dissipation and dispersion error and its significance in tying the choice of flux to even versus odd polynomial degree approximations; (ii) show how this Fourier-type information can be extracted via SIAC filters; and (iii) tie the superconvergent information together through a review of pointwise superconvergent results.
The discontinuous Galerkin (DG) methods are one of the most extensively researched classes of numerical methods for solving partial differential equations that display convective or diffusive qualities and have been popularly adopted by the scientific and engineering communities as a method capable of achieving arbitrary orders of accuracy in space. The choice of the numerical flux function plays a pivotal role in the successful construction of DG methods and has an intrinsic effect on the superconvergence properties. The vast majority of theory for DG schemes for conservation laws has been developed with the (somewhat habituated) choice of a monotone numerical flux. Design and criteria for the selection of numerical flux functions is an area with a great deal of scope for further investigation. One approach is to not only explore the order of the dissipation and dispersion errors, but also the error constant to ensure that the errors from dispersion and dissipation are minimized.
For a Runge–Kutta (RK) DG solution to the linear advection equation, one can do better than the “natural” upwind flux. Recently, Meng et al. [15] introduced in the context of DG methods for linear hyperbolic equations a more general flux function: the upwind-biased flux. This function parametrises the ratio of information taken from the left compared to the right of cell interfaces. This choice avoids the requirement of exact knowledge of the eigenstructure of the Jacobian and may reduce numerical dissipation (yielding a better approximation in smooth regions) but it is made at the cost of the loss of monotonicity. These results provide the theoretical foundations for our investigations into the choice of flux function for RK–DG methods.
Recent interest [3, 9, 10, 14, 19, 21, 24, 25] in analysis via a Fourier approach of DG solutions to the linear advection equation offers an alternative means by which to explore superconvergence. This analysis is limited to linear equations with periodic boundary conditions and a uniform mesh. However, as is justified by numerical examples [9], the results provide a guide for the behaviour of solutions in a more general setting. Stability and \((k + 1)\)-th order accuracy can be established via this approach. Furthermore, this analysis is useful for exploring the time propagation of errors. In [9], it was shown that a kth-order DG solution to the linear advection equation has one physical mode and k spurious ones which are damped exponentially fast over time,
where \(C_1,\, C_2,\, C_3,\, C \in {\mathbb {R}}_+.\) The first term on the right-hand side of inequality (1), which dominates for \(T = {\mathscr {O}}(1/h^{\sigma -k-1}),\) is attributed to the dispersion and dissipation errors of the physically relevant eigenvalues and grows linearly in time. The expected order of accuracy is \(\sigma = k + 1;\) however, a judicious choice of the numerical flux function in the semi-discrete DG scheme can yield a superconvergent order of accuracy as high as \(\sigma = 2k+1.\) The third term, which decays exponentially fast over time with respect to h, accounts for dissipation of the spurious modes. The second term is due to projection of the initial condition and does not grow in time. Thus the error is on the order of \(2k + 1\) for long time integration but only \(k + 1\) over short time. At certain special points (the superconvergent points which change with the choice of numerical flux) the accuracy of inequality (1) can be increased to \({\mathscr {O}}(h^{p+2})\) by carefully interpolating the initial projection.
The above superconvergence results can be extracted from the underlying approximation to achieve \(2k+1\) in the \({\mathscr {L}}^2\)-norm. This involves convolving the approximation against a specially designed kernel comprising a linear combination of B-splines [7, 11, 12, 18, 20], effecting increased smoothness by damping the non-physical eigenmodes of the DG operator and exploiting information concealed in the unwelcome fluctuations that characterise the numerical solution. We are able to extend the analysis of the SIAC filtered error, which is facilitated by a dual analysis in a similar fashion to [12] for the case of the upwind-biased flux and is limited to a contribution to the constant attached to the post-processed error term.
The outline of this paper is as follows: in Sect. 2, we discuss the preliminaries needed to perform both the pointwise and negative-order norm error analysis as well as reviewing the upwind-biased DG scheme. This includes a review of the pointwise superconvergent results for the upwind-biased DG scheme. In Sect. 3 we discuss the dispersion analysis related to this scheme and how the constants depend on the choice of the upwind biasing in the flux. In Sect. 4 we extend the negative-order norm error analysis to upwind-biased DG schemes and show that this simply affects the constant in the error. We end by supporting this analysis with numerical examples in Sect. 5 and conclusions in Sect. 6.
2 Preliminaries
We begin with some definitions used in the error estimates for discontinuous Galerkin solutions and SIAC filtering and complete the prefatory construction of the DG scheme.
2.1 Notation and Definitions
We first treat the discretisation of a multi-dimensional spatial domain and define the associated approximation spaces.
Consider the linear hyperbolic system
for the conserved quantity \(u({\varvec{x}},t)\), where \({\varvec{x}} = (x_1,\cdots ,x_d)\in \Omega \subset {\mathbb {R}}^d\) and where we assume that we have real constant coefficients \(a_{i} \ge 0\). We adopt throughout this paper the assumptions of a smooth initial condition and of periodicity in the boundary conditions:
For much of the error analyses, it is required only that \(u_0({\varvec{x}})\in {\mathscr {H}}^{k+1}\left( \Omega \right)\) but for the proof of Theorem 2.3, we require infinite differentiability to write the DG solution as a Maclaurin series.
2.1.1 Tessellation
Let \(\Omega _h\) be a tessellation of a d-dimensional bounded domain \(\Omega\) into elements S of the regular quadrilateral-type shape. Denote by \(\partial \Omega _h = \bigcup\limits_{S\in \Omega _h}\partial S\) the union of boundary faces \(\partial S\) of the elements \(S \in \Omega _h\). A face e internal to the domain has associated with the “left” and “right” elements \(S_{\text{L}}\) and \(S_{\text{R}}\) and exterior-pointing normal vectors \(\mathbf{n }_{\text{L}} = (n^{\text{L}}_1,\cdots ,n^{\text{L}}_d)\) and \(\mathbf{n }_{\text{R}} = (n^{\text{R}}_1,\cdots ,n^{\text{R}}_d)\), respectively, as described in [12]. Given a function v defined on neighbouring elements \(S_{\text{L}}\) and \(S_{\text{R}}\) which share a face e, we refer to its restriction in \(S_{\text{L}}\) to the face e by writing \(v^{\text{L}} := (v|_{S_{\text{L}}})|_e\) and similarly for \(v^{\text{R}}\), the restriction of v to e in \(S_{\text{R}}\).
For clarity, we detail the discretisation of a two-dimensional domain \(\Omega = [-1,1]^2\) into \(N_x\cdot N_y\) rectangular cells. Elements take the form \(S = I_i \times J_j\) where \(I_i\) and \(J_j\) are intervals given by
for \(1\le i\le N_x\) and \(1\le j\le N_y\) respectively, where
and
Denoting by \(h_{x,i} = x_{i+\frac{1}{2}} - x_{i-\frac{1}{2}}\), \(1\le i\le N_x\), and \(h_{y,j} = y_{j+\frac{1}{2}} - y_{j-\frac{1}{2}}\), \(1\le j\le N_y\), we define
and require regularity: \(h_{x,i},h_{y,j} \ge ch,~c>0.\) For simplicity of the filtered error estimates in Sect. 4, and by necessity in Sect. 3, we will adopt constant element lengths
for all i and j. On an element \(S = I_i\times J_j\), evaluation of functions v at cell boundary points of the form \((x_{i+\frac{1}{2}},y)\), for example, is written as
2.1.2 Basis Polynomials
We use as basis functions the Legendre polynomials \(P_n(\xi )\), which can be defined by the Rodrigues formula
and which satisfy the orthogonality condition
where \(\delta _{nm}\) is the Kronecker-delta function. We can then define the right and left Radau polynomials as
respectively. It is known that the roots
of \(R^+_{k+1}(\xi )\) and the roots
of \(R^-_{k+1}(\xi )\) are real, distinct and lie in the interval \([-1,1]\).
2.1.3 Function Spaces
Due to the tensor product nature of the post-processing kernel, we will require the function space of tensor product polynomials \({\mathscr {Q}}^k(S)\) of degree at most k in each variable. Thus, we base the proofs in this paper on the following finite element spaces:
where \({\mathscr {L}}^2(\Omega )\) is the space of square-integrable functions on \(\Omega\). Nevertheless, we mention here that it has been observed ( [18]) that the filter also works for the standard polynomial space \({\mathscr {P}}^k(S)\). Note that for a one-dimensional domain \(\Omega\), these function spaces \({\mathscr {Q}}^k(S)\) and \({\mathscr {P}}^k(S)\) agree.
2.1.4 Operators on the Function Spaces
We list the following standard notations. The inner-product over \(\Omega\) of two functions is defined as
depending on whether the functions take scalar or vector values. We denote by \({\mathbb {P}}_hv\) and by \(\Pi _h {\varvec{p}}\) the usual \({\mathscr {L}}^2\)-projections of scalar and vector valued functions v and \({\varvec{p}}\), respectively.
The \({\mathscr {L}}^2\)-norm on the domain \(\Omega\) and on the boundary \(\partial \Omega\) is defined as
and the \(\ell\)-norm and semi-norm of the Sobolev space \(H^{\ell }(\Omega )\) are defined, respectively, as
where \(\alpha\) is a d-dimensional multi-index of order \(|\alpha |\) and where \(D^{\alpha }\) denotes multi-dimensional partial derivatives. The definitions for the above norms for vector-valued functions are analogous to the scalar case.
In Sect. 4, we will utilise the negative-order Sobolev norm, defined as
as a means of obtaining \({\mathscr {L}}^2\)-error estimates for the filtered solution. Note that for all \(\ell \ge 1\), we have
The negative order norm can be used to detect oscillations of a function [7] and is connected to the SIAC filter which smooths oscillations in the error.
Finally, the difference quotients \(\partial _{h,j}v\) are given by
where \(\mathbf{e }_j\) is the jth component unit normal vector. For any multi-index \(\alpha = (\alpha _1,\cdots ,\alpha _d)\), we define the \(\alpha\)th-order difference quotient by
2.2 Discontinuous Galerkin Discretisation of the Linear Hyperbolic Conservation Law in Multiple Dimensions
2.2.1 Construction of the DG Scheme
Given a tessellation \(\Omega _h\) of the domain \(\Omega\), the method is facilitated by multiplying Eq. (2) by a test function v and integrating by parts over an arbitrary element \(S\in \Omega _h\) to obtain
Next, we define the piecewise polynomial approximation space as
Note that functions \(v \in V_h^k\) are allowed to be discontinuous across element boundaries. This is the distinguishing feature of DG schemes amongst finite element methods.
By replacing in Eq. (3) the solution \(u({\varvec{x}},t)\) by a numerical approximation \(u_h({\varvec{x}},t)\) such that \(u_h(\cdot ,t)\in V_h^k\), we obtain the DG method: find, for any \(v \in V_h^k\) and for all elements S, the unique function \(u_h(\cdot ,t) \in V^k_h\) which satisfies
where \({\hat{f}}\) is a single-valued numerical flux function used to enforce weak continuity at the cell interfaces.
The initial condition \(u_h({\varvec{x}},0) \in V^k_h\) is usually taken to be the \({\mathscr {L}}^2\)-projection \({\mathbb {P}}_hu_0\), although the analysis in Sect. 2.3 favours a function which interpolates \(u({\varvec{x}},0)\) at the superconvergent points.
Summing Eq. (4) over the elements S, we get a compact expression for the global scheme:
where we define for future use
Remark 2.1
We note that although this article considers the semi-discrete form of the DG method, the results of this article extend to fully discrete schemes such as the Lax–Wendroff DG method, provided the higher order derivatives of the fluxes are discretized using the LDG formulation as in.
2.2.2 Flux Function
To ensure stability of the scheme (4), it remains to define the numerical flux functions \({\hat{f}}\) featured in the cell boundary terms. In general, \({\hat{f}}\left( u_h^{\text{L}},u_h^{\text{R}}\right)\) depends on values of the numerical solution from both sides of the cell interface. Traditionally [8], this function is chosen to be a so-called monotone flux, such as the Lax–Friedrichs flux, which satisfies the Lipschitz continuity, consistency (\({\hat{f}}(u,u) = f(u)\)) and monotonicity (\({\hat{f}}(\uparrow ,\downarrow )\)). For our test Eq. (2), where the linear flux \(f(u) = au\) determines a single wind direction, the usual choice in the literature is to satisfy the upwinding condition. In this paper, where \({\hat{f}}(u_h) = a{\widehat{u}}_h\), we choose instead the upwind-biased flux
defined here in the one-dimensional case with periodic boundary conditions, which was recently described in the context of DG methods by Meng et al. [15]. More information is taken from the left than from the right of cell boundaries and, when \(\theta = 1\), the upwind-biased flux reduces to the purely upwind flux \(u^-_h\). We do not allow \(\theta = \frac{1}{2}\), which gives a central flux, since then the scheme becomes unstable.
For clarity, we particularise the evaluation of this flux at cell boundary points. In two dimensions, the upwind-biased flux
takes the form
where \(\theta _1 > \frac{1}{2}\), and, similarly for \(\theta _2 > \frac{1}{2}\),
Choosing, over the upwinding principle, the upwind biased flux offers several rewards [15]: a possibly reduced numerical viscosity and easier construction, for example. However, as a price paid for introducing the parameter \(\theta\), we sacrifice the established property of monotonicity of the flux function. In this paper, we consider in terms of superconvergence the severity of this loss of monotonicity.
2.3 Pointwise Superconvergence
In this subsection, we review current literature for the upwind-biased flux for DG methods [5]. In this case, the leading order term in the error is proportional to a sum, dependent upon \(\theta\), of left and right Radau polynomials. The main result, Theorem 2.3, is an extension of the observation, for example of Adjerid et al. [1, 2], that the superconvergent points for the purely upwind DG scheme are generated by roots of right Radau polynomials. To be able to illustrate this idea, a “special” Radau polynomial can be defined as
The main idea is that the roots of \(R_{k+1}^{\star }(\xi )\), which change with the value of \(\theta\), generating superconvergent points on the order of \(h^{k+2}\) in the element interior for the upwind-biased scheme.
Remark 2.2
For odd polynomial degree k, one of these “superconvergent points” lies outside the element \([-1,1]\) when \(\theta < 1\). The Legendre polynomials, which are used to construct the Radau polynomials, are defined only on the interval \([-1,1]\). To determine the number of roots of \(R^{\star }_{k+1}(\xi )\) which lie within the canonical element, the definition of Legendre polynomials are extended beyond the element boundaries. Of course, any root that we find to be outside \([-1,1]\) will not directly manifest itself as a superconvergent point of the DG solution.
The following Lemma describing the roots of \(R^{\star }_{k+1}(\xi )\) is given. For this argument, it is necessary to temporarily relax the domain of definition of Legendre polynomials. That is, consider the polynomials \(P_n(\xi )\) arising from the Rodrigues formula and then extend their domain of definition to \([-M,M]\) for some fixed, sufficiently large \(M>0\).
Lemma 2.1
Let\(k \in {\mathbb {N}}\)and consider
with\(\theta \in \left( \frac{1}{2},1\right) .\)Whenkis even, all\(k+1\)roots lie in the interval\([-1,1]\). Whenkis odd, exactly one root of\(R^{\star }_{k+1}(\xi )\)is greater than 1 while all other roots lie in the interval\([-1,1]\).
Remark 2.3
Recall that when \(\theta = 1\), one of the superconvergent points is the downwind end \(\xi ^{\star }_{k+1} = \xi ^+_{k+1} = 1\). When k is even, the superconvergent points shift to the left with decreasing values of \(\theta < 1\). On the other hand, when k is odd, the points shift to the right and \(\xi ^{\star }_{k+1} > 1\). For example, when \(k = 1\), the roots of \(R^{\star }_{k+1}(\xi )\) are given by
Shown in Table 1 are approximate values of the roots of \(R^{\star }_{k+1}(\xi )\) for two values of \(\theta\). One can observe that for the lower value of \(\theta\), the roots shift to the left or right depending on k and that, for \(k = 1\) and \(k = 3\), one of the roots is indeed greater than 1.
Following the lines of [1, 5] interpolates the initial condition at roots of \(R^{\star }_{k+1}(\xi )\), where k is even. Lemma 2.1 dictates that it is not possible to obtain in the same way a kth degree polynomial interpolating u at all \(k+1\) roots of \(R^{\star }_{k+1}(\xi )\) when k is odd; there are only k roots inside \([-1,1]\). Instead, one can needs to define a global projection. Here, we provide a restatement of Lemma 3.5 in [5].
Lemma 2.2
Let\(u \in {\mathscr {C}}^{k+1}([0,h])\). Let\(\xi ^{\star }_j\in [-1,1]~ (j=1,\cdots ,k+1)\)be the roots of
Denote by
where
thekth degree Lagrange polynomial interpolatinguat the (distinct) roots\(x_{j}^{\star } = \frac{h}{2}(\xi _j^{\star } + 1) (j=1,\cdots ,k+1)\)of the shifted special Radau polynomial\(R^{\star }_{k+1}(x)\)on [0, h]. Then, the interpolation error satisfies
where\(Q_{\ell }(\xi )\)is a polynomial of degree at most\(\ell\).
The interpolatory polynomials described in Lemma 2.2 are used as initial conditions in the proof of Theorem 2.3. Numerical results in Sect. 5 confirm that, in general, there are only k superconvergent points in each element when k is odd.
Here, we provide a restatement of Lemma 3.8 in [5] and Theorem 3.12.
Theorem 2.3
Consider the approximate solution\(u_h\)to the one-dimensional linear hyperbolic conservation law (2) with\(d = 1\)obtained by a DG scheme (4) usingkth order basis functions, a uniform mesh and the upwind-biased flux\({\widehat{u}}_h\). Let the numerical initial condition be the interpolating polynomial\(\pi ^{\star }u(x,0)\)described in Lemma 2.2.
Let\(\xi = \frac{2}{h}x - \frac{1}{h}(x_{j+\frac{1}{2}}+x_{j-\frac{1}{2}})\)bethe scaling between the cell\(I_j\)and the canonical element\([-1,1]\). Then, the error\(e = u - u_h\)satisfies
with
where\(c_{k+1}\)depends onu, h, kandt.
Remark 2.4
When \(u_h(x,0) = \pi ^{\star }u_0(x)\) interpolates \(u_0(x)\) at the roots of \(R^{\star }_{k+1}(x)\), the coefficient of the term on the order of \(h^{k+1}\) in the series for the initial error satisfies
In the proof of Theorem 2.3, this relation was extended to \(t > 0\). For odd k,
In the next section, we will compliment the pointwise observations we have made with an analysis of the constants in the dispersion and dissipation error. As shown in the literature, these are of order \(2k+\) and \(2k+1\), respectively. We can then extract the full \({\mathscr {O}}(h^{2k+1})\) superconvergence rate using the SIAC filtering. First, we review the construction of SIAC filtering kernels.
2.4 Smoothness-Increasing Accuracy-Conserving (SIAC) Post-processing
The hidden local accuracy of the DG solution, discussed in the previous section, may be extracted to a global measure by applying the SIAC filter introduced by [20]. In this section, we show that superconvergent accuracy on the order of \(h^{2k+1}\) in the negative order norm, as is observed [11] for the upwind flux, still occurs when the upwind-biased DG method is used to solve linear hyperbolic conservation laws. To begin with, we observe that an error bound in the \({\mathscr {L}}^2\)-norm follows from a negative order norm error estimate.
Here, we detail the component parts of the SIAC filter as defined in, for example, [11]. A B-spline \(\psi ^{(\ell )}\) of order \(\ell\) is defined recursively by
where \(\chi _{[-\frac{1}{2},\frac{1}{2}]}\) is the characteristic function on the interval \([-\frac{1}{2},\frac{1}{2}]\) and where the operator \(\star\) denotes convolution:
For a multi-index \(\alpha\), we define
and, given a point \({\varvec{x}} = (x_1,\cdots ,x_d) \in {\mathbb {R}}^d\), we set
In this way, we construct a convolution kernel
which comprises a linear combination of \(r+1\) B-splines \(\psi ^{(\ell )} \in {\mathscr {C}}^{\ell -2}\) of order \(\ell\) such that \({\mathscr {K}}_h^{(r+1,\ell )}(x) = \frac{1}{h}{\mathscr {K}}\left( \frac{x}{h}\right)\) has compact support and reproduces (by convolution) polynomials of degree strictly less than r. Typically, \(r = 2k\) and \(\ell = k+1\), where k is the degree of the polynomial basis. In Fourier space, the kernel can be written as
as given in [13]. A further order of accuracy in Fourier space can be gained by requiring that the kernel is symmetric. This extra order of accuracy will only reveal itself in physical space if the negative-order norm estimates are of the same order. Notice, that the \(r+1\) order accuracy does not rely on the smoothness, \(\ell ,\) of the B-spline. The coefficients \({\varvec{c}}_{\gamma }\) are tensor products of the coefficients \(c_{\gamma }\) found by requiring the reproduction of polynomials property \({\mathscr {K}}_h^{(r+1,\ell )}\star x^p = x^p,~p<r,\) in the one-dimensional case. It is important to note that derivatives of a convolution with this kernel maybe written in terms of difference quotients:
where \(\psi _h^{(\beta )}(x) = \psi _h^{(\beta /h)}/h^d\). Further properties of the kernel may be found in [12].
The SIAC filtered solution can be written as
where the kernel has been applied by convolution at the final time. The filtered solution \(u_h^{\star }(x, t)\) displays increased accuracy and oscillations in the error are reduced. The results in this paper treat only the symmetric kernel where the nodes \(\gamma\) are uniformly spaced. Extension to the one-sided filter given in [11] and [20] is a straight-forward task.
3 Dispersion Analysis
A further approach to the analysis of these methods which has proved fruitful [6, 9, 25] in recent years involves computing the eigenstructure of the amplification matrix. The choice of initial condition and set of basis functions can be crucial in obtaining optimal results. Recent work that demonstrates the importance of this choice includes [4, 6, 23]. In what follows, we analyse the eigenvalues, which are independent of the choice of basis.
Consider the local DG solution
to Eq. (2) with \(d = 1\), periodic boundary conditions and a uniform mesh and let
be the coefficient vector for basis polynomials \(\phi ^{\ell }_j(x)\) on cell \(I_j\) of degree at most k. Then, the DG scheme can be written as the following semi-discrete system of ODEs:
where \(A = A_1+\theta A_2, B\) and C are \((k+1)\times (k+1)\) matrices. Note that the term \(C{\varvec{u}}_{j+1}\) from the right neighbour cell is a new contribution when \(\theta < 1\).
Continuing to follow the lines of [9, 25], the coefficient vectors can be transformed to Fourier space via the assumption
where \(\omega\) is the wave number, \(\text{i} = \sqrt{-1}\) and \(x_j = \frac{1}{2}(x_{j+\frac{1}{2}}+x_{j-\frac{1}{2}})\) is the element center, to obtain a global coefficient vector \(\hat{{\varvec{u}}}_{\omega }\). Substitution of the ansatz (13) into the scheme (12) gives a new ODE:
where
is called the amplification matrix. If G is diagonalisable, then it has a full set of eigenvalues \(\lambda _1, \cdots , \lambda _{k+1}\) and corresponding eigenvectors \(\Lambda _1, \cdots , \Lambda _{k+1}\) and the general solution of (14) takes the form
where the constants \(C_j, j=1,\cdots ,k+1\) depend on the initial condition. Via this approach one can inspect the size of the error and its behaviour over time as in [9, 25]. In this paper, we limit ourselves to an asymptotic expansion of the eigenvalues.
Using Mathematica to computationally perform an asymptotic analysis on \(\zeta = \omega h = 0\), we can obtain the following sets of eigenvalues \(\lambda _j\) of the amplification matrices G for the cases \(k = 0, 1, 2, 3.\) For
For the case \(k = 3\), the algebra involved in computing the roots of \(R^{\star }_{k+1}\) and in computing the eigenvalues of the amplification matrix becomes prohibitively substantial and the need to evaluate components numerically makes it particularly difficult to obtain tidy closed expressions for the coefficients. For \(k = 3\), we have found that one eigenvalue satisfies
while the leading order term of the other eigenvalues has a negative real part on the order of \(\frac{1}{h}\).
For each value of k, the eigenvalue \(\lambda _1\) has physical relevance, approximating \(-\text{i}\omega\) with dispersion error on the order of \(h^{2k+1}\) and dissipation error on the order of \(h^{2k+2}\). This is consistent with the previous findings of [3, 9, 10, 19, 21, 25]. The coefficient of the leading order real term of the physically relevant eigenvalues \(\lambda _1\) is negative. While for even k this coefficient vanishes in the limit \(\theta \rightarrow \frac{1}{2}\), for odd k, due to the factor \((2\theta -1)^{-1}\), it grows without bound with reducing values of \(\theta\). This (blow-up) behaviour is amplified in the coefficient of \(h^{2k+2}\). Note that such differences between odd and even k do not manifest when \(\theta = 1\) since then \(2\theta -1 = 1\).
The remaining eigenvalues are non-physically relevant but have negative real part on the order of \(\frac{1}{h}\) so that the corresponding eigenvectors in the solution (15) are sufficiently damped over time. This dampening is observed to be slower in the cases \(k=1,2\) for lower values of \(\theta\) [6].
Remark 3.1
While the eigenvalues are independent of the choice of basis functions, one must make an appropriate choice of the interpolating initial condition and basis functions to extract superconvergent accuracy in the eigenvectors. If one uses a Lagrange–Radau basis on roots of \(R^+_{k+1}(\xi ),\) the appropriate choice when \(\theta = 1\), in the case \(k = 1\) the physically relevant eigenvector satisfies
while similarly the non-physically relevant eigenvector satisfies
The leading order terms vanish only when \(\theta = 1\) when the interpolation points coincide with the superconvergent points of the scheme. Numerical results suggest that for \(k = 2\), when we have \(k+1\) roots of \(R^{\star }_{k+1}(\xi )\), we are able to obtain the optimal \({\mathscr {O}}\left( h^{2k+1}\right)\) accuracy using \(u_h(x,0) = \pi ^{\star }_{k+1}u_0(x)\).
4 Extracting Superconvergence
To investigate the SIAC filtered error, denote by \(e_h = u - u_h\) the usual DG error and let
be the DG solution to Eq. (2) post-processed by convolution kernel. We have the following estimate:
Theorem 4.1
Let\(u_h\)be the numerical solution to the linear hyperbolic conservation law (2) with the smooth initial condition obtained via a DG scheme (4) with upwind-biased flux. Then,
for\(r=2k\)and\(\ell =k+1.\)
The first term on the right-hand side of (16) is bounded by \(Ch^{r+1}\) from the integral form of Taylor’s theorem and from the reproduction of polynomials property of the convolution (Lemma 5.1, [11]). Thus we need only to consider the second term for which
by kernel properties of the \(\alpha\)th derivative \(D^{\alpha }\), the kernel’s relation to the divided difference \(\partial ^{\alpha }\) and by Young’s inequality for convolutions. The tilde on \(\tilde{{\mathscr {K}}}_h\) in inequality (17) signals that the kernel uses \(\psi ^{(\ell -\alpha )}\), which is a result of the property \(D^{\alpha }\psi ^{(\ell )} = \partial _h^{\alpha }\psi ^{(\ell -\alpha )}\).
Note that \(||\tilde{{\mathscr {K}}}_h||_{\ell } = \sum _{i=0}^r|c_{i}|\) is just the sum of the kernel coefficients so we only need to show that \(||\partial ^{\alpha }_he_h||_{-\ell } \le Ch^{2k+1}\). Furthermore, the formulation of the DG scheme for the solution is similar to that for the divided differences and, as speculated in [7],
This allows us to only have to consider the negative order norm of the solution itself; superconvergent accuracy in the negative order norm gives superconvergent accuracy in the \({\mathscr {L}}^2\)-norm for the post-processed solution. The following result provides the required negative order norm error estimate.
Remark 4.1
Notice that the superconvergent points for the upwind-biased scheme, as described in the one-dimensional case in Lemma 2.2, change with the value of \(\theta\). However, the global superconvergence in the negative-order norm occurs regardless of the value of \(\theta\).
Theorem 4.2
Let\(u_h\)be the numerical solution to the linear hyperbolic conservation law (2) with the smooth initial condition obtained via a DG scheme (4) with the upwind-biased flux. Then,
Proof
For simplicity, we consider the case when \(\alpha = 0\). The case for \(\alpha > 0\) is similar [22]. To extract information about the error at the final time, we work with the dual equation: find a continuous and analytic \(\phi ({\varvec{x}},t)\) such that
If we test Eq. (20) against the solution u to the original system (2) and, similarly, multiply the original system by \(\phi\) and integrate over the domain, integrating by parts and adding the two new equations yields
A periodicity relation is obtained by integrating with respect to t and appealing to the Fundamental Theorem of Calculus:
On the other hand, we can write instead
Thus, we can estimate the term appearing in the definition of the negative order norm:
Information about the model problem and the method can be incorporated into the second term on the right-hand side of Eq. (21) using the DG formulation and the dual equation:
Hence we can rewrite Eq. (21) as
where
with
where this last equality follows by using the properties of the dual equation and the single-valued flux, together with \(\phi\) being continuous. Notice that the terms on the right-hand side of Eq. (23) can be estimated individually and are similar to those presented in [7, 11], here we only elaborate on contribution of the flux, \(\Theta _2.\)
In contrast to \(\Theta _1\) and \(\Theta _3\), estimation of the \(\Theta _2\) term is affected by the choice of the flux parameter \(\theta\). Let \({\mathbb {P}}_h\phi\) be the projection onto the approximation space. Then since the projection error \(\phi - {\mathbb {P}}_h\phi\) is orthogonal to the approximation space, we can write
where the constant \(C_2 = C^{+}_{2} + (1-\theta )C^-_{2}\) depends on \(\theta\).
Combining the estimates and using the periodicity of the boundary conditions, we conclude with a bound on the numerator in the definition of the negative order norm:
Inserting the inequality into the definition of the negative order norm completes the proof of Theorem 4.2. \(\square\)
Remark 4.2
The effect of the introduction in the flux function of the parameter \(\theta\) is limited to a contribution to the constant attached to the order term in the negative order norm error estimate. This is in contrast to the changing local behaviour seen in the pointwise analysis in Sect. 2.3. Despite the observations of Remark 2.4 regarding the local behaviour when k is odd, we can extract the same global order of accuracy, \({\mathscr {O}}(h^{2k+1})\), for any polynomial degree k.
5 Numerical Experiments
We present a numerical discussion for the test equation
Figures 1, 2 and 3 show the DG discretisation errors on a grid of \(N = 10\) elements for various values of \(\theta\) and for polynomial degrees \(k = 1,2,3,4.\) Marked by the red crosses are the theoretical superconvergent points which are roots of \(R^{\star }_{k+1}(\xi )\) and which change with the value of \(\theta \in (\frac{1}{2},1]\). The error curves cross the zero axis near these roots. In [2], Adjerid et al. commented that the intersection points align more closely as k increases and we observe that here as well.
For \(k=2\) we observe \(k+1\) superconvergent points while for \(k=1\) and \(k=3\), in general, the error curves cross the zero axis only k times. Furthermore, as the value of \(\theta\) reduces, we see an overall reduction in the magnitude of the errors for \(k=2\). On the other hand, when \(k=1\) or \(k=3\) the magnitude of the errors in general increases for smaller values of \(\theta\).
Inside certain anomalous elements, for example the fifth and tenth elements in Fig. 2, the curves miss the crosses or, as in the sixth element in Fig. 3, we observe an additional intersection and this may be due to the initial condition \(\sin (x)\).
Tables 2, 3 and 4 illustrate the order \(h^{k+1}\) accuracy of the DG solution in the \({\mathscr {L}}^2\)- and \({\mathscr {L}}^{\infty }\)-norms. After post-processing by the SIAC filter, we observe the \({\mathscr {O}}\left( h^{2k+1}\right)\) accuracy in the \({\mathscr {L}}^2\)-norm described in Sect. 4 and we also see \({\mathscr {O}}\left( h^{2k+1}\right)\) accuracy in the \({\mathscr {L}}^{\infty }\)-norm.
For odd k, convergence to the expected orders is slower for lower values of \(\theta\) but is eventually achieved. Furthermore, if one compares the same degrees of mesh refinement for decreasing values of \(\theta\), one observes increasing errors for \(k=1,\, 3\) and reducing errors for \(k=2\). For the post-processed solution, this is due in large part to the contribution of \(\theta\) to the constant attached to the order term in the error estimate of Theorem 4.2.
The highly oscillatory nature of the DG solution, indicating the existence of the hidden superconvergent points, can be seen in Figs. 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14 and 15 alongside the post-processed solutions which have increased smoothness and improved accuracy. The reduced numerical viscocity enforced by the upwind-biased flux is evident when comparing plots for \(\theta = 1\) and \(\theta = 0.55\).
Remark 5.1
For one-dimensional nonlinear hyperbolic scalar equations and systems, results using the Lax–Friedrichs flux can be found in [16, 17]. The theoretical extension to multi-dimensional nonlinear hyperbolic equations is quite difficult to obtain as they rely on divided difference estimates.
6 Conclusions
In this article, we have discussed the effect of the choice of the flux on three types of superconvergence: pointwise, wave propagation properties, and the negative-order norm. We specifically provide an explict formula for the form of the error constant for the dispersion and dissipation errors. We illustrated this effect through the use of the upwind-biased flux which takes a convex combination of left and right approximation values. By exploring the error constant in the dissipation and dispersion errors, we are able to better understand why it is important to take a more central flux for even degree polynomial degree approximations and a more upwind flux for odd degree polynomial approximations. We also proved that the superconvergent extraction capabilities of the SIAC filter are uneffected. Numerical results were presented to confirm our findings.
References
Adjerid, S., Baccouch, M.: A superconvergent local discontinuous Galerkin method for elliptic problems. J. Sci. Comput. 52(1), 113–152 (2012)
Adjerid, S., Devine, K.D., Flaherty, J.E., Krivodonova, L.: A posteriori error estimation for discontinuous Galerkin solutions of hyperbolic problems. Comput. Methods Appl. Mech. Eng. 191(11), 1097–1112 (2002)
Ainsworth, M.: Dispersive and dissipative behaviour of high order discontinuous Galerkin finite element methods. J. Comput. Phys. 198(1), 106–130 (2004)
Cao, W., Zhang, Z., Zou, Q.: Superconvergence of discontinuous Galerkin methods for linear hyperbolic equations. SIAM J. Numer. Anal. 52(5), 2555–2573 (2014)
Cao, W., Li, D., Yang, Y., Zhang, Z.: Superconvergence of discontinuous Galerkin methods based on upwind-biased fluxes for 1D linear hyperbolic equations. ESAIM Math. Model. Numer. Anal. 51(2), 467–486 (2017)
Cheng, Y., Chou, C.-S., Li, F., Xing, Y.: \({\cal{L}}^2\) stable discontinuous Galerkin methods for one-dimensional two-way wave equations. Math. Comput. 86, 121–155 (2014)
Cockburn, B., Luskin, M., Shu, C.-W., Süli, E.: Enhanced accuracy by post-processing for finite element methods for hyperbolic equations. Math. Comput. 72(242), 577–606 (2003)
Cockburn, B., Shu, C.-W.: TVB Runge–Kutta local projection discontinuous Galerkin finite element method for conservation laws. ii. General framework. Math. Comput. 52(186), 411–435 (1989)
Guo, W., Zhong, X., Qiu, J.-M.: Superconvergence of discontinuous Galerkin and local discontinuous Galerkin methods: eigen-structure analysis based on Fourier approach. J. Comput. Phys. 235, 458–485 (2013)
Hu, F.Q., Atkins, H.L.: Eigensolution analysis of the discontinuous Galerkin method with nonuniform grids: I. One space dimension. J. Comput. Phys. 182(2), 516–545 (2002)
Ji, L., van Slingerland, P., Ryan, J., Vuik, K.: Superconvergent error estimates for position-dependent smoothness-increasing accuracy-conserving (SIAC) post-processing of discontinuous Galerkin solutions. Math. Comput. 83(289), 2239–2262 (2014)
Ji, L., Xu, Y., Ryan, J.K.: Accuracy-enhancement of discontinuous Galerkin solutions for convection–diffusion equations in multiple-dimensions. Math. Comput. 81(280), 1929–1950 (2012)
Ji, L., Ryan, J.K.: Smoothness-increasing accuracy-conserving (SIAC) filters in Fourier space. In: Kirby, R.M., Berzins, M., Hesthaven, J.S. (eds.) Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2014, pp. 415–423. Springer, Cham (2015)
Krivodonova, L., Qin, R.: An analysis of the spectrum of the discontinuous Galerkin method. Appl. Numer. Mathematics 64, 1–18 (2013)
Meng, X., Shu, C.-W., Wu, B.: Optimal error estimates for discontinuous Galerkin methods based on upwind-biased fluxes for linear hyperbolic equations. Math. Comput. 85, 1225–1261 (2016)
Meng, X., Ryan, J.K.: Discontinuous Galerkin methods for nonlinear scalar hyperbolic conservation laws: divided difference estimates and accuracy enhancement. Numer. Math. 136(1), 27–73 (2017)
Meng, X., Ryan, J.K.: Divided difference estimates and accuracy enhancement of discontinuous Galerkin methods for nonlinear symmetric systems of hyperbolic conservation laws. IMA J. Numer. Anal. 38(1), 125–155 (2017)
Ryan, J.K., Shu, C.-W., Atkins, H.: Extension of a post processing technique for the discontinuous Galerkin method for hyperbolic equations with application to an aeroacoustic problem. SIAM J. Sci. Comput. 26(3), 821–843 (2005)
Sherwin, S.: Dispersion analysis of the continuous and discontinuous Galerkin formulations. In: Cockburn B., Karniadakis G.E., Shu C.-W. (eds) Discontinuous Galerkin Methods, pp. 425–431. Springer, Berlin (2000)
Van Slingerland, P., Ryan, J.K., Vuik, C.: Position-dependent smoothness-increasing accuracy-conserving (SIAC) filtering for improving discontinuous Galerkin solutions. SIAM J. Sci. Comput. 33(2), 802–825 (2011)
Yang, H., Li, F., Qiu, J.: Dispersion and dissipation errors of two fully discrete discontinuous Galerkin methods. J. Sci. Comput. 55(3), 552–574 (2013)
Yang, Y., Shu, C.-W.: Discontinuous Galerkin method for hyperbolic equations involving \(\delta\)-singularities: negative-order norm error estimates and applications. Numer. Math. 124(4), 753–781 (2013)
Yang, Y., Shu, C.-W.: Analysis of optimal superconvergence of discontinuous Galerkin method for linear hyperbolic equations. SIAM J. Numer. Anal. 50(6), 3110–3133 (2012)
Zhang, M., Shu, C.-W.: An analysis of three different formulations of the discontinuous Galerkin method for diffusion equations. Math. Models Methods Appl. Sci. 13(03), 395–413 (2003)
Zhong, X., Shu, C.-W.: Numerical resolution of discontinuous Galerkin methods for time dependent wave equations. Comput. Methods Appl. Mech. Eng. 200(41), 2814–2827 (2011)
Acknowledgements
This work was sponsored by the Air Force Office of Scientific Research (AFOSR), Air Force Material Command, USAF, under grant number FA8655-09-1-3017. The U.S. Government is authorized to reproduce and distribute reprints for Governmental purposes notwithstanding any copyright notation thereon.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the Jennifer K. Ryan states that there is no conflict of interest.
Additional information
Daniel J. Frean and Jennifer K. Ryan: Supported by the Air Force Office of Scientific Research (AFOSR), Air Force Material Command, USAF, under Grant number FA8655-13-1-3017.
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
Frean, D.J., Ryan, J.K. Superconvergence and the Numerical Flux: a Study Using the Upwind-Biased Flux in Discontinuous Galerkin Methods. Commun. Appl. Math. Comput. 2, 461–486 (2020). https://doi.org/10.1007/s42967-019-00049-2
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s42967-019-00049-2