## 1 Introduction

Popularity of high-order compact discretisations using spectral/hp element spatial approximations is rising rapidly and their deployment to industrial-type problems is becoming a real possibility. Spectral/hp methods can achieve an arbitrary order of accuracy and they are significantly less dissipative than the more traditional low-order methods making them a key tool in some areas of computational fluid dynamics, such as in the numerical simulation of unsteady flows. On the other hand, spectral/hp element discretisations are still affected by a lack of numerical stability which makes them not highly reliable unlike low-order methods. One of the most popular approaches to discretise hyperbolic conservation laws is based on the discontinuous Galerkin (DG) method firstly introduced by Reed and Hill [1]. Usually, the DG method is formulated in a weak form where the domain is divided into non-overlapping elements and on each of these elements a basis of polynomials and a set of quadrature points are chosen to calculate the integrals arising from the weak formulation of the problem. Some of the most efficient and ubiquitous forms of the DG method are the so-called nodal DG schemes, whereby Lagrange interpolants are combined with a set of nodal solution points on a given element  [2]. We note that in a general nodal DG scheme, given an expansion on each element in terms of P Lagrange interpolants, we may perform quadrature on a separate set of Q quadrature points. If $$P=Q$$ and the distribution of solution and quadrature points is identical, then we recover the so-called discontinuous Galerkin spectral element method (DG$$_{\text {SEM}}$$) which diagonalises the mass matrix, allowing for further computational optimisation [3, 4].

In contrast to the DG method which makes use of a weak representation of the equations, a set of schemes based upon the differential formulation have been recently introduced. They offer another route which avoids the need for calculating integrals and therefore defining quadrature rules, making these schemes attractive from an implementation point of view. The first of these, namely the spectral-difference scheme, was introduced by Kopriva and Kolias [5] in 1996 and was extended to quadrilateral and triangular elements by Liu et al. [6] in 2006. Most recently, the flux reconstruction (FR) method was presented by Huynh [7].

The FR approach encapsulates various energy stable discretisations where the particular scheme recovered is dictated by a single real-valued parameter and is referred as Vincent–Castonguay–Jameson–Huynh (VCJH) scheme [8]. The FR approach allows one to recover not only differential-type schemes such as a particular SD method, but also integral-type schemes such as nodal DG schemes.

A general connection between FR and nodal DG schemes has already been examined in other works [79]. A more detailed inspection of the connections between these two schemes was carried out in [10] where it has been shown how for linear and nonlinear advection equations various equivalences exist between DG and FR schemes on regular grids. However, the extension to irregular meshes and the associated aliasing issues have not yet been explored. We consider a nodal DG scheme with $$Q > P$$ and two DG$$_{\text {SEM}}$$ schemes. In the following with the subscript SEMFootnote 1 we mean that a collocation quadrature rule is used for the inner product of the advection term of the conservation law equation.

The relationships found in this paper are summarized in Table 1. In particular, we demonstrate that the equivalences found in [10] between the DG$$_{\text {SEM}}$$ scheme with lumped mass matrix (LMM) and the FR$$_{\text {HU}}$$ scheme introduced in [7] (also referred to as FR$$_{\text {g2}}$$) as well as the equivalences between the DG$$_{\text {SEM}}$$ scheme with exact mass matrix (EMM)Footnote 2 and the FR$$_{\text {DG}}$$ scheme (also presented in [7]) hold true for irregular tensor-product meshes (i.e. deformed/curved tensor-product grids). These equivalences are complemented with some numerical experiments on regular (used as a baseline) and irregular grids for linear and nonlinear problems.

We also show numerically that, using $$Q>P$$, where Q is the number of quadrature points and P are the Lagrange interpolants inside each element, further extends the equivalences between DG and FR$$_{\text {DG}}$$. Specifically, we found that DG$$_{(\text {Q}\,>\,\text {P})}$$ and FR$$_{\text {DG}(\text {Q}\,>\,\text {P})}$$ are identical when using $$Q>P$$ for linear and nonlinear flux functions as well as for regular and irregular tensor-product meshesFootnote 3. This indicates that polynomial aliasing sources for these two schemes are identical and can therefore be addressed using equivalent strategies, such as the consistent integration (through additional quadrature points) of the nonlinearities arising either from the equations themselves or from the geometry [11, 12].

We finally present some results related to the computational time required by the FR and DG schemes.

This paper is organised as follows. In Sect. 2 we prove theoretically the connections in the first four columns of Table 1, in Sect. 3 we further assess the theoretical work with some numerical experiments for both linear and nonlinear problems and we show numerically how DG$$_{(\text {Q}\,>\,\text {P})}$$ and FR$$_{\text {DG}(\text {Q}\,>\,\text {P})}$$ are identical and, finally, in Sect. 4 we draw the conclusions.

## 2 Theory

We describe the DG and FR schemes in the context of a 2D scalar conservation law. We assume that the quadrilateral elements are deformed/curved (i.e. possess spatially varying Jacobians) and we prove that the FR$$_{\text {DG}}$$ scheme and DG$$_{\text {SEM}}$$ method with an exact mass matrix evaluation are equivalent on irregular grids (i.e. spatially varying Jacobians) when the same polynomial approximation of the geometry is employed. We also demonstrate that the FR$$_{\text {HU}}$$ scheme and the DG$$_{\text {SEM}}$$ method with lumped mass matrix are equivalent on irregular quadrilateral grids.

### 2.1 2D Scalar Conservation Law on Irregular Quadrilateral Grids

Consider the following 2D conservation law

\begin{aligned} \frac{\partial u}{\partial t} + \nabla _{xy} \cdot \varvec{f} = 0 \end{aligned}
(1)

within a domain $$\Omega \in \mathbb {R}^{2}$$, with $$\varvec{f} = (f,g)$$, where $$f = f(u)$$ and $$g = g(u)$$ are the advection fluxes in the x and y directions respectively. The domain $$\Omega$$ is partitioned into N non-overlapping, quadrilateral elements $$\Omega _{n}$$ which can be deformed or curved

\begin{aligned} \Omega = \bigcup _{n=1}^{N}\Omega _{n}. \end{aligned}
(2)

Each quadrilateral element $$\Omega _{n}$$ can be mapped into a reference quadrilateral $$\Omega _{s} = [-1,1]^2$$ in the transformed space $${\widehat{\varvec{x}}} = (\xi , \eta )$$ using the generic mapping

\begin{aligned} \varvec{x} = \Theta ({\widehat{\varvec{x}}}). \end{aligned}
(3)

In the case of curvilinear elements we can use the standard isoparametric mapping which, for an arbitrary-shaped curved-sided two-dimensional element, is:

\begin{aligned} \begin{array}{l} \displaystyle \Theta ({\widehat{\varvec{x}}}) = \sum \limits _{p,q = 0}^{Q_P} {\hat{\varvec{x}}}_{p,q} \phi _p(\xi ) \phi _q(\eta ) , \end{array} \end{aligned}
(4)

where $$\phi _p$$ and $$\phi _q$$ are the same basis functions used for representing the solution. Analogous mappings can be adopted for three-dimensional curvilinear elements. For additional details the interested reader can refer to [13].

### 2.2 FR$$_{\text {DG}}$$ Scheme as DG$$_{\text {SEM}}$$ Method with EMM

To demonstrate that the DG method is identical to FR$$_{\text {DG}}$$ in the case of irregular grids we start multiplying Eq. (1) by a two-dimensional Lagrange polynomial $$\ell (\varvec{x})$$ and integrating the equation over a local element $$\Omega _{n}$$

\begin{aligned} \iint _{\Omega _{n}} \bigg [\frac{\partial u_{n}^{\delta } }{\partial t} + \nabla _{xy}\cdot \varvec{f}^{\delta }_{n}\bigg ] \ell (\varvec{x})\,\text {d}\varvec{x} = 0, \end{aligned}
(5)

where $$\varvec{f}^{\delta }_{n}$$ is the elemental polynomial flux function and $$u_{n}^{\delta }$$ is the elemental polynomial solution. We successively perform an integration by parts, substitute the boundary terms by the numerical interface fluxes and integrate by parts once more in order to derive the strong form of the DG method

\begin{aligned} \iint _{\Omega _{n}} \bigg [\frac{\partial u_{n}^{\delta } }{\partial t} + \bigg (\frac{\partial f_{n}^{\delta D}}{\partial x} + \frac{\partial g_{n}^{\delta D}}{\partial y}\bigg )\bigg ] \ell (\varvec{x})\,\text {d}\varvec{x} + \int _{\partial \Omega _{n}}\varvec{n}\cdot \bigg [\varvec{f}^{\delta I}_{n} - \varvec{f}^{\delta D}_{n}\bigg ]\ell (\varvec{x})\,\text {d}s = 0, \end{aligned}
(6)

where $$\varvec{n}$$ is the normal, $$\varvec{f}^{\delta I}_{n}$$ is the numerical interface flux and the superscript D indicates discontinuous polynomial flux functions which are directly evaluated at the solution points. We now substitute the operations on the local element $$\Omega _{n}$$ onto the reference element $$\Omega _{s}$$ in order to highlight the metric terms

\begin{aligned} \begin{array}{c} \displaystyle \iint _{\Omega _{s}} \frac{\partial u^{\delta }_{n}}{\partial t} \ell (\varvec{\xi })\,J_{2D_{n}}\,\text {d}\varvec{\xi } + \iint _{\Omega _{s}} \bigg [ \Big (\frac{\partial f^{\delta D}_{n}}{\partial \xi }\Big )\Big (\frac{\partial \xi }{\partial x}\Big ) + \Big (\frac{\partial f^{\delta D}_{n}}{\partial \eta }\Big )\Big (\frac{\partial \eta }{\partial x}\Big ) + \\ \displaystyle +\Big (\frac{\partial g^{\delta D}_{n}}{\partial \xi }\Big )\Big (\frac{\partial \xi }{\partial y}\Big ) + \Big (\frac{\partial g^{\delta D}_{n}}{\partial \eta }\Big )\Big (\frac{\partial \eta }{\partial y}\Big ) \bigg ] \ell (\varvec{\xi })\,J_{2D_{n}}\,\text {d}\varvec{\xi } + {\widehat{\varvec{b}}}_{DG_{n}}= 0 \end{array} \end{aligned}
(7)

where $${\widehat{\varvec{b}}}_{DG_{n}}$$ is the boundary term which couples the elements of the spatial discretisation together. We can re-express Eq. (7) in a form more amenable to implementation and which keeps all the geometric terms as standard polynomials as:

\begin{aligned}&\displaystyle \iint _{\Omega _{s}} \frac{\partial u^{\delta }_{n}}{\partial t} \ell (\varvec{\xi })\,J_{2D_{n}}\,\text {d}\varvec{\xi } + \iint _{\Omega _{s}} \bigg [ \Big (\frac{\partial f^{\delta D}_{n}}{\partial \xi }\Big )\Big (\frac{\partial y}{\partial \eta }\Big ) - \Big (\frac{\partial f^{\delta D}_{n}}{\partial \eta }\Big )\Big (\frac{\partial y}{\partial \xi }\Big ) + \nonumber \\&\quad \displaystyle -\Big (\frac{\partial g^{\delta D}_{n}}{\partial \xi }\Big )\Big (\frac{\partial x}{\partial \eta }\Big ) + \Big (\frac{\partial g^{\delta D}_{n}}{\partial \eta }\Big )\Big (\frac{\partial x}{\partial \xi }\Big ) \bigg ]\ell (\varvec{\xi })\,\,\text {d}\varvec{\xi } + {\widehat{\varvec{b}}}_{DG_{n}} = 0 . \end{aligned}
(8)

where we used the following relationships

\begin{aligned} \varvec{G}^{-1} = \left( \begin{array}{cc} \displaystyle \frac{\partial \xi }{\partial x} &{} \displaystyle \frac{\partial \xi }{\partial y} \\ \displaystyle \frac{\partial \eta }{\partial x} &{} \displaystyle \frac{\partial \eta }{\partial y} \end{array} \right) = \frac{1}{J_{2D_{n}}} \left( \begin{array}{cc} \displaystyle \frac{\partial y}{\partial \eta } &{} \displaystyle - \frac{\partial x}{\partial \eta } \\ \displaystyle - \frac{\partial y}{\partial \xi } &{} \displaystyle \frac{\partial x}{\partial \xi } , \end{array} \right) , \quad J_{2D_{n}} = \frac{\partial x}{\partial \xi }\frac{\partial y}{\partial \eta } - \frac{\partial x}{\partial \eta }\frac{\partial y}{\partial \xi }. \end{aligned}
(9)

The expression of $${\widehat{\varvec{b}}}_{DG_{n}}$$ on the reference element $$\Omega _{s}$$ depends on the edge considered and for the bottom edge is

\begin{aligned} \displaystyle {\widehat{\varvec{b}}}_{DG_{n,0}}= & {} \int _{\partial \Omega _{s,0}}\varvec{n}_{0}\cdot \bigg [\varvec{f}^{\delta I}_{n,0} - \varvec{f}^{\delta D}_{n,0}\bigg ]\ell (\varvec{x})\, J_{1D_{n,0}}\,\text {d}{\widehat{s}} \nonumber \\ \displaystyle= & {} \int _{\partial \Omega _{s,0}}\bigg [ \Big (f_{n,0}^{\delta I} - f_{n,0}^{\delta D}\Big )\frac{\partial y}{\partial \xi } - \Big (g_{n,0}^{\delta I} - g_{n,0}^{\delta D}\Big )\frac{\partial x}{\partial \xi }\bigg ] \ell _{i}(\xi )\ell _{j}(-1)\text {d}\xi \nonumber \\ \displaystyle= & {} \int _{\partial \Omega _{s,0}}\bigg [ \Delta f_{n,0}\frac{\partial y}{\partial \xi } - \Delta g_{n,0}\frac{\partial x}{\partial \xi }\bigg ] \ell _{i}(\xi )\ell _{j}(-1)\text {d}\xi \, ; \end{aligned}
(10)

where

\begin{aligned} J_{1D_{n,0}} = \sqrt{\Big (\frac{\partial y}{\partial \xi }\Big )^2 + \Big (\frac{\partial x}{\partial \xi }\Big )^2}, \quad n_{x_{0}} = \frac{\partial y}{\partial \xi } / J_{1D_{n,0}}, \quad n_{y_{0}} = -\frac{\partial x}{\partial \xi } / J_{1D_{n,0}} \end{aligned}
(11)

Using similar relations for the other three edges of $$\Omega _{s}$$, Eq. (12) becomes

\begin{aligned}&\displaystyle \iint _{\Omega _{s}} \frac{\partial u^{\delta }_{n}}{\partial t} \ell (\varvec{\xi })\,J_{2D_{n}}\,\text {d}\varvec{\xi } + \iint _{\Omega _{s}} \left[ \left( \frac{\partial f^{\delta D}_{n}}{\partial \xi }\right) \left( \frac{\partial y}{\partial \eta }\right) - \left( \frac{\partial f^{\delta D}_{n}}{\partial \eta }\right) \left( \frac{\partial y}{\partial \xi }\right) \right. \nonumber \\&\left. \qquad \displaystyle -\left( \frac{\partial g^{\delta D}_{n}}{\partial \xi }\right) \left( \frac{\partial x}{\partial \eta }\right) + \left( \frac{\partial g^{\delta D}_{n}}{\partial \eta }\right) \left( \frac{\partial x}{\partial \xi }\right) \right] \ell (\varvec{\xi })\,\text {d}\varvec{\xi } \nonumber \\&\qquad + \displaystyle \int _{\partial \Omega _{s,0}}\bigg [ \Delta f_{n,0}\frac{\partial y}{\partial \xi } - \Delta g_{n,0}\frac{\partial x}{\partial \xi }\bigg ] \ell _{i}(\xi )\ell _{j}(-1)\text {d}\xi \nonumber \\&\qquad + \displaystyle \int _{\partial \Omega _{s,1}}\bigg [ \Delta f_{n,1}\frac{\partial y}{\partial \eta } - \Delta g_{n,1}\frac{\partial x}{\partial \eta }\bigg ] \ell _{i}(1)\ell _{j}(\eta )\text {d}\eta \nonumber \\&\qquad + \displaystyle \int _{\partial \Omega _{s,2}}\bigg [ - \Delta f_{n,2}\frac{\partial y}{\partial \xi } + \Delta g_{n,2}\frac{\partial x}{\partial \xi }\bigg ] \ell _{i}(\xi )\ell _{j}(1)\text {d}\xi \nonumber \\&\qquad + \displaystyle \int _{\partial \Omega _{s,3}}\bigg [ - \Delta f_{n,3}\frac{\partial y}{\partial \eta } + \Delta g_{n,3}\frac{\partial x}{\partial \eta }\bigg ] \ell _{i}(-1)\ell _{j}(\eta )\text {d}\eta = 0 . \end{aligned}
(12)

We now consider the FR$$_{\text {DG}}$$ approach where we define the following transformations between the local element $$\Omega _{n}$$ and the reference element $$\Omega _{s}$$:

\begin{aligned} {\widehat{u}}_n^{\delta }= & {} {\widehat{u}}_n^{\delta } (\varvec{\xi }, t) = J_{2D_{n}} u_n^{\delta } (\Theta ^{-1}(\varvec{\xi }, t)), \\ {\widehat{\varvec{f}}}_n^{\delta }= & {} {\widehat{\varvec{f}}}_n^{\delta } (\varvec{\xi }, t) = \left( {\widehat{f}}_n^{\delta }, {\widehat{g}}_n^{\delta }\right) = \left( \frac{\partial y}{\partial \eta } f_n^{\delta } -\frac{\partial x}{\partial \eta } g_n^{\delta }, - \frac{\partial y}{\partial \xi } f_n^{\delta } + \frac{\partial x}{\partial \xi } g_n^{\delta } \right) , \end{aligned}

where the polynomial metric terms $$J_{2D_{n}}, \frac{\partial x}{\partial \xi }, \frac{\partial x}{\partial \eta }, \frac{\partial y}{\partial \xi }, \frac{\partial y}{\partial \eta }$$ can be evaluated, for instance, from Eq. (4). The FR approach in a reference element can be written as

\begin{aligned} \begin{array}{l} \displaystyle \frac{\partial {\widehat{u}}^{\delta }}{\partial t} + \frac{\partial {\widehat{f}}^{\delta D}}{\partial \xi } + \frac{\partial {\widehat{g}}^{\delta D}}{\partial \eta } + {\widehat{\varvec{b}}}_{FR_{n}} = 0. \end{array} \end{aligned}
(13)

We now expand Eq. (13) as follows

\begin{aligned} \begin{array}{l} \displaystyle J_{2D_{n}}\left( \frac{\partial u^{\delta }}{\partial t}\right) + \frac{f_{n}^{\delta D}}{\partial \xi }\frac{\partial y}{\partial \eta } - \frac{\partial f_{n}^{\delta D}}{\partial \eta }\frac{\partial y}{\partial \xi } - \frac{\partial g_{n}^{\delta D}}{\partial \xi }\frac{\partial x}{\partial \eta } + \frac{\partial g_{n}^{\delta D}}{\partial \eta }\frac{\partial x}{\partial \xi } + {\widehat{\varvec{b}}}_{FR_{n}} = 0, \end{array} \end{aligned}
(14)

where $${\widehat{\varvec{b}}}_{FR_{n}}$$ is defined as

\begin{aligned} {\widehat{\varvec{b}}}_{FR_{n}} = \widehat{\Delta g}_{n,0}\Psi _{0}^{\prime }(\eta ) + \widehat{\Delta f}_{n,1}\Psi _{1}^{\prime }(\xi ) + \widehat{\Delta g}_{n,2}\Psi _{2}^{\prime }(\eta ) + \widehat{\Delta f}_{n,3}\Psi _{3}^{\prime }(\xi ), \end{aligned}
(15)

with $$\Psi _{i}^{\prime }$$ being the derivatives of the correction functions which will be defined later. For the bottom edge of the reference quadrilateral element we can write

\begin{aligned} \begin{array}{c} \displaystyle {\widehat{\Delta g}}_{n,0} = \left( \varvec{f}^{\delta I}_{n,0} - \varvec{f}^{\delta D}_{n,0}\right) \cdot \left( J_{2D_{n}}\varvec{G}^{-T}{\widehat{\varvec{n}}}_{0}\right) \end{array} \end{aligned}
(16)

where $${\widehat{\varvec{n}}}_{0}= (0, 1)$$ and $$\varvec{G}^{-1}$$ and $$J_{2D_{n}}$$ are defined in Eq. (9). Note that the relation in Eq. (16) is necessary to transform the flux jump from the physical space to the reference element (for additional details see [14]). As final form we obtain

\begin{aligned} \displaystyle {\widehat{\Delta g}}_{n,0}= & {} \bigg [ \Big (-f_{n,0}^{\delta I} - f_{n,0}^{\delta D}\Big )\bigg (\frac{\partial y}{\partial \xi }\bigg ) + \Big (g_{n,0}^{\delta I} - g_{n,0}^{\delta D}\Big )\bigg (\frac{\partial x}{\partial \xi }\bigg ) \bigg ] \nonumber \\ \displaystyle= & {} \bigg [ -\Delta f_{n,0}^{\delta }\bigg (\frac{\partial y}{\partial \xi }\bigg ) + \Delta g_{n,0}^{\delta }\bigg (\frac{\partial x}{\partial \xi }\bigg ) \bigg ] . \end{aligned}
(17)

Using similar relations for the other edges of the reference quadrilateral element, Eq. (14) becomes

\begin{aligned}&\displaystyle J_{2D_{n}}\left( \frac{\partial u^{\delta }}{\partial t}\right) + \frac{f_{n}^{\delta D}}{\partial \xi }\frac{\partial y}{\partial \eta } - \frac{\partial f_{n}^{\delta D}}{\partial \eta }\frac{\partial y}{\partial \xi } - \frac{\partial g_{n}^{\delta D}}{\partial \xi }\frac{\partial x}{\partial \eta } + \frac{\partial g_{n}^{\delta D}}{\partial \eta }\frac{\partial x}{\partial \xi } \nonumber \\&\quad \displaystyle + \bigg [ -\Delta f_{n,0}^{\delta }\bigg (\frac{\partial y}{\partial \xi }\bigg ) + \Delta g_{n,0}^{\delta }\bigg (\frac{\partial x}{\partial \xi }\bigg ) \bigg ] \Psi _{0}^{\prime }(\eta ) \nonumber \\&\quad \displaystyle + \bigg [ \Delta f_{n,1}^{\delta }\bigg (\frac{\partial y}{\partial \eta }\bigg ) - \Delta g_{n,1}^{\delta }\bigg (\frac{\partial x}{\partial \eta }\bigg ) \bigg ] \Psi _{1}^{\prime }(\xi ) \nonumber \\&\quad \displaystyle + \bigg [ - \Delta f_{n,2}^{\delta }\bigg (\frac{\partial y}{\partial \xi }\bigg ) + \Delta g_{n,2}^{\delta }\bigg (\frac{\partial x}{\partial \xi }\bigg ) \bigg ] \Psi _{2}^{\prime }(\eta ) \nonumber \\&\quad \displaystyle + \bigg [ \Delta f_{n,3}^{\delta }\bigg (\frac{\partial y}{\partial \eta }\bigg ) - \Delta g_{n,3}^{\delta }\bigg (\frac{\partial x}{\partial \eta }\bigg ) \bigg ] \Psi _{3}^{\prime }(\xi ) = 0 . \end{aligned}
(18)

Now we require the residual to be orthogonal to a set of smooth functions

(19)

where we used the relation $$\ell (\varvec{\xi }) = \ell _{i}(\xi )\ell _{j}(\eta )$$. As shown by Huynh [7]:

\begin{aligned} \int _{-1}^{1} \Psi _{3}^{\prime }(\xi ) \ell (\xi )\; d\xi = \int _{-1}^{1} \Psi _{0}^{\prime } (\eta ) \ell (\eta )\; d\eta = -\ell (-1), \end{aligned}
(20)

where $$\Psi _{3}$$ and $$\Psi _{0}$$ are the right Radau polynomials of order $$P + 1$$ on $$[-1, 1]$$ which vanish at the right and top edges $$\xi = \eta = 1$$. This is due to the orthogonality of the right Radau polynomial of order $$P + 1$$ to all polynomials of order up to $$P - 1$$. Analogously, we can write

\begin{aligned} \int _{-1}^{1} \Psi _{1}^{\prime } (\xi ) \ell (\xi )\; d\xi = \int _{-1}^{1} \Psi _{2}^{\prime } (\eta ) \ell (\eta )\; d\eta = \ell (1), \end{aligned}
(21)

where $$\Psi _{1}$$ and $$\Psi _{2}$$ are the left Radau polynomials of order $$P + 1$$ on $$[-1, 1]$$ which vanish at the left and bottom edges $$\xi = \eta = -1$$. Substituting Eqs. (20) and (21) in Eq. (19) we obtain

(22)

which is identical to Eq. (12) and proves the statement.

### Remark

The equivalence above holds true for any point distribution used for defining the Lagrange basis.

### 2.3 FR$$_{\text {HU}}$$ Scheme as DG$$_{\text {SEM}}$$ Method with LMM

Consider Eq. (12) with solution coefficients represented by Lagrange polynomials at $$(P + 1)\times (P + 1)$$ GLL points. If we additionally choose a GLL quadrature for the DG$$_{\text {SEM}}$$ scheme, it is well known that only polynomials up to order $$2P - 1$$ are exactly integrated (to machine precision). The associated elemental mass matrix

\begin{aligned} M_{i,j} = \iint _{\Omega _s}\big [\ell _i(\xi ) \ell _m(\xi ) \ell _j(\eta )\ell _n(\eta )\big ]\,J_{2D_{n}}\, \text {d}\varvec{\xi } , \end{aligned}
(23)

will contain a numerical quadrature error since each integrand is a polynomial of order 2P. However, because the Lagrangian basis possesses the property that $$\ell _{m}(\xi _{n}) = \delta _{m,n}$$ where $$\delta _{m,n}$$ represents the Kronecker delta function, this quadrature rule gives a diagonal mass matrix, $$\mathbf {M} = diag(w_{i,j} J_{2D_{n_{i,j}}})$$, where $$w_{i,j}$$ are the weights of the GLL quadrature rule. With this quadrature rule the boundary integrals simplify and each flux jump modifies only its own boundary (edge) solution point. Equation (19) can therefore be written as

(24)

If we now consider a collocation quadrature rule with solution values located at GLL points we obtain the same diagonal mass matrix as before, $$\mathbf {M} = diag(w_{i,j} J_{2D_{n_{i,j}}})$$. The volumetric integrals associated to Eqs. (12) and  (19) are evaluated in the same way and, therefore, in order for the two schemes to be the same we need to find a correction function which transforms the FR boundary term into the DG one. Specifically, if we use as correction functions those recovering the FR$$_{\text {HU}}$$ scheme, which can be found in [8], their derivatives vanish at all solution points except at the left/bottom edges if evaluating $$\Psi _{3}^{\prime }(\xi ) \, / \, \Psi _{0}^{\prime }(\eta )$$ or at the right/top edges if evaluating $$\Psi _{1}^{\prime }(\xi ) \, / \, \Psi _{2}^{\prime }(\eta )$$ (the zeros of $$\Psi ^{\prime }$$ are at GLL points). Thus, in the FR$$_{\text {HU}}$$ scheme the corrective flux modifies only the edge points. We can adopt the following transformation:

\begin{aligned} \displaystyle \int _{-1}^{+1}\Psi _{0}^{\prime }(\eta )\ell _{j}(\eta )\,\text {d}\eta= & {} \sum \limits _{k=0}^P \big [ w_k \Psi _{0}^{\prime }(\eta _k)\ell _{j}(\eta _k)\big ] = -\ell _{j}(-1) \nonumber \\ \displaystyle \int _{-1}^{+1} \Psi _{1}^{\prime }(\xi )\ell _{i}(\xi )\,\text {d}\xi= & {} \sum \limits _{k=0}^P \big [ w_k \Psi _{1}^{\prime }(\xi _k)\ell _{i}(\xi _k)\big ] = \ell _{i}(1) \nonumber \\ \displaystyle \int _{-1}^{+1} \Psi _{2}^{\prime }(\eta )\ell _{j}(\eta )\,\text {d}{\eta }= & {} \sum \limits _{k=0}^P \big [ w_k \Psi _{2}^{\prime }(\eta _k)\ell _{j}(\eta _k)\big ] = \ell _{j}(1) \nonumber \\ \displaystyle \int _{-1}^{+1}\Psi _{3}^{\prime }(\xi )\ell _{i}(\xi )\,\text {d}\xi= & {} \sum \limits _{k=0}^P \big [ w_k \Psi _{3}^{\prime }(\xi _k)\ell _{i}(\xi _k)\big ] = -\ell _{i}(-1) \end{aligned}
(25)

because the derivatives of the correction functions in vector form evaluated at the $$(P+1)\times (P+1)$$ GLL points are the following:

\begin{aligned} {\varvec{\Psi }}_{0}^{\prime }(\eta ) = {\varvec{\Psi }}_{3}^{\prime }(\xi ) = \left[ -\frac{1}{w_0}, 0,\ldots , 0 \right] , \quad {\varvec{\Psi }}_{1}^{\prime }(\xi ) = {\varvec{\Psi }}_{2}^{\prime }(\eta ) = \left[ 0,\ldots , 0, \frac{1}{w_P}\right] . \end{aligned}
(26)

The boundary term of FR$$_{\text {HU}}$$ scheme is equal to the boundary term of the DG$$_{\text {SEM}}$$ scheme with lumped mass matrix and therefore the two schemes are equivalent.

### Remark

Note that this equivalence holds true only for GLL points.

## 3 Numerical Experiments

In this section we present the numerical results obtained for both linear and nonlinear problems. We used two different mesh configurations: a single-element mesh (also referred as Mesh A) whose Jacobian determinant is shown in Fig. 1 and a multi-element mesh (also referred as Mesh B) whose Jacobian determinants are depicted in Fig. 2. The curved edges in Mesh A are described through a parabolic function $$f_{1}$$, which, defined within a one-dimensional reference element, is

(27)

where $$A_{1}$$ is a constant which determines the amplitude of the deformation and was set to zero for the mesh in Fig. 1a (i.e. we obtained a regular mesh), while for the meshes in Fig. 1b, c $$A_{1}$$ was equal to 0.2 and 0.4 respectively.

Mesh B was generated using a sinusoidal function $$f_{2}$$

(28)

where $$A_{2}$$ is a constant which set the deformation amplitude and was set to zero for the mesh in Fig. 2a (i.e. we obtained a regular mesh), while for the meshes in Fig. 2b, c $$A_{2}$$ was equal to 0.1 and 0.2 respectively. Note that similar meshes were used in [15] for studying the accuracy and efficiency of several discontinuous high-order formulations on curved quadrilateral elements.

For both mesh configurations we tested the linear advection equation and the nonlinear compressible Euler equations. The test cases considered span all the possible combinations in Table 1.

We tested two different set of points, Gauss–Lobatto–Legendre (GLL) and Gauss–Legendre (GL) where the interpolations required at the boundaries for GL points were performed in a consistent manner for the various DG and FR schemes considered. Note that we show the results for the regular and most deformed grids on GLL points only for the sake of brevity. The conclusions we can draw from the results obtained on GL points and on the grids in the Figs. 1b and 2b are identical to those which can be drawn from the results presented here. Some additional results concerning GL points and the two grids in the Figs. 1b and 2b are reported in the “Appendix”.

Throughout the numerical results we will make extensive use of relative L$$^{2}$$ errors defined as

\begin{aligned} \text {L}^{2} = \sqrt{\sum _{i=0}^{N}(u_{i} - u_{i,exact})^2w_{i}}, \end{aligned}
(29)

where $$u_{i}$$ is the numerical solution calculated at each quadrature point, $$u_{i,exact}$$ is the exact solution and N is the total number of quadrature points and $$w_{i}$$ are the weights.

### 3.1 Linear Problem

The first series of numerical experiments was carried out on the two-dimensional linear advection equation

\begin{aligned} \frac{\partial u}{\partial t} + \varvec{a}\cdot \nabla u = 0, \qquad \varvec{a} = [1, 1], \qquad u(\Omega , t = 0) = \sin (\tau _{x} x) \cos (\tau _{y} y), \end{aligned}
(30)

where $$\tau _{x} = \tau _{y} = 2$$ for Mesh A in Fig. 1 and $$\tau _{x} = \tau _{y} = 0.5$$ for Mesh B in Fig. 2. The initial conditions were applied using a collocation projection for FR$$_{\text {HU}}$$, DG$$_{\text {SEM}}$$, FR$$_{\text {DG}}$$ while we used a higher order projection (employing an additional quadrature point) for FR$$_{\text {DG}(\text {Q}\,>\,\text {P})}$$ and DG$$_{(\text {Q}\,>\,\text {P})}$$. For both mesh configurations, we applied exact boundary conditions and an explicit 4th-order Runge–Kutta scheme for the time-integration with a final time $$T = 2s$$ and a time-step sufficiently small to consider the temporal error negligible. We employed four different polynomial orders to discretise the solution. Specifically, for the meshes in Fig. 1 we used $$P = 10, 11, 12$$ and 13, whilst, for the meshes in Fig. 2, we applied $$P = 5, 6, 7$$ and 8. The main parameters used are summarized in Table 2.

#### 3.1.1 Mesh A

Figure 3 represents the L$$^{2}$$ error vs the polynomial order obtained using GLL points for the various schemes tested where Fig. 3a refers to the regular mesh represented in Figs. 1a and 3b refers to the mesh depicted in Fig. 1c. Table 4 in the “Appendix” quantifies up to sixteen digits the results obtained for $$P=10$$, for both GLL and GL points and all the three grids in Fig. 1. The results for the other polynomial orders are not tabulated for the sake of compactness and because they provide the same information as those which can be obtained from Table 4.

The following equivalences hold true for all the polynomial orders considered:

• FR$$_{\text {HU}}$$ and DG$$_{\text {SEM}}$$ with lumped mass matrix on GLL points;

• FR$$_{\text {DG}}$$ and DG$$_{\text {SEM}}$$ with exact mass matrix on any point distribution;

• FR$$_{\text {DG}(\text {Q}\,>\,\text {P})}$$ and DG$$_{(\text {Q}\,>\,\text {P})}$$ on any point distribution.

The first two results confirm the demonstrations presented in the previous section. In addition, the last result indicates that these connections are valid also when using additional quadrature points than a standard collocated spectral/hp element method. Also, the equivalences are up to machine precision for all the deformation levels considered as shown in Table 4.

From a polynomial aliasing perspective, where the polynomial aliasing is introduced by the curved geometry, it is interesting to note how the magnitude of the error increases as the deformation level of the mesh increases. Specifically, we can see that using either FR$$_{\text {DG}(\text {Q}\,>\,\text {P})}$$ or DG$$_{(\text {Q}\,>\,\text {P})}$$ provides a different result (generally a better L$$^{2}$$ error) for the deformed meshes.Footnote 4

#### 3.1.2 Mesh B

Figure 4 represents the L$$^{2}$$ error vs the polynomial order obtained using GLL points for the various schemes tested, where Fig. 4a refers to the regular mesh represented in Figs. 2a and 4b refers to the mesh in Fig. 2c. Table 5 in the “Appendix” quantifies up to sixteen digits the results obtained for both GLL and GL points for $$P=5$$ and all the three grids in Fig. 2. The connections presented for the single-element mesh configuration in the previous subsection hold true also for the multi-element mesh configuration.

From a polynomial aliasing point of view it is possible to note how the differences between the pairs FR$$_{\text {DG}}$$, DG$$_{\text {SEM}}$$ with exact mass matrix and FR$$_{\text {DG}(\text {Q}\,>\,\text {P})}$$, DG$$_{(\text {Q}\,>\,\text {P})}$$ are still present although less marked.

### 3.2 Nonlinear Problem

The second series of numerical experiments were undertaken using the two-dimensional compressible Euler equations which can be written as follows

\begin{aligned} \frac{\partial \varvec{q} }{\partial t} + \frac{\partial \varvec{f}^{i}_{1}}{\partial x} + \frac{\partial \varvec{f}^{i}_{2}}{\partial y} = 0, \end{aligned}

where $$\varvec{q} = (\rho , \rho u, \rho v, E)^\top$$ is the vector of the conserved variables and $$\varvec{f}^{i}_{1} = \varvec{f}^{i}_{1}(\varvec{q})$$ and $$\varvec{f}^{i}_{2} = \varvec{f}^{i}_{2} (\varvec{q})$$ are the vectors of the inviscid fluxes,

\begin{aligned} \varvec{f}^{i}_{1} =\left\{ \begin{array}{c} \rho u \\ p + \rho u^2 \\ \rho u v \\ u (E + p) \end{array} \right\} , \quad \varvec{f}^{i}_{2} =\left\{ \begin{array}{c} \rho v \\ \rho u v \\ p + \rho v^2 \\ v (E + p) \end{array} \right\} . \end{aligned}
(31)

In the above, $$\rho$$ is the density, u and v are the velocity components in the x- and y-direction respectively, p is the pressure and E is the total energy

\begin{aligned} E = \frac{p}{\gamma - 1} + \frac{1}{2} \rho (u^2 + v^2), \end{aligned}

for which we assumed the perfect gas law. Note that $$\gamma$$ denotes the constant ratio of specific heats of the gas.

As test case we considered the isentropic vortex problem whose initial conditions on a two-dimensional grid can be written as follows

\begin{aligned} \rho= & {} \left( 1 - \frac{\beta ^2 (\gamma -1) e^{2 f} }{16 \gamma \pi ^2}\right) ^{\frac{1}{\gamma -1}},\quad u = \left( u_0 - \frac{\beta e^f (y - y_0)}{2 \pi R} \right) , \nonumber \\ v= & {} \left( v_0 +\frac{\beta e^f (x - x_0)}{2 \pi R} \right) , \quad E = \frac{\rho ^{\gamma }}{\gamma - 1} + \frac{1}{2} \rho \left( u^2 + v^2 \right) , \end{aligned}
(32)

where

\begin{aligned} f = 1 - r^2, \qquad r = \sqrt{(x - x_0)^2 + (y - y_0)^2}. \end{aligned}

with $$\beta = 5$$, $$R = 1$$ and $$\gamma = 1.4$$. For both mesh configurations, we used an explicit 4th-order Runge–Kutta scheme for the time-integration with a final time $$T = 2s$$ and a time-step sufficiently small to consider the temporal error negligible. We employed four different polynomial orders to discretise the solution. Specifically, for the meshes in Fig. 1 we used $$P = 10, 11, 12$$ and 13, while, for the meshes in Fig. 2, we applied $$P = 5, 6, 7$$ and 8. The main parameters used are summarized in Table 3.

#### 3.2.1 Mesh A

Figure 5 represents the L$$^{2}$$ error associated to the density ($$\rho$$) vs the polynomial order obtained using GLL points for the various schemes tested where Fig. 5a refers to the regular mesh represented in Figs. 1a and 5b refers to the mesh in Fig. 1c. Table 6 in the “Appendix” quantifies up to sixteen digits the results obtained for both GLL and GL points for $$P=10$$ and all the three grids in Fig. 1. Also in the case of a nonlinear problem the same equivalences presented before maintain their validity up to machine precision as shown in Table 6.

However, considerations on polynomial aliasing are different because in this case the aliasing sources arise both from the equations themselves, which are nonlinear, and from the geometry. Significant, in particular, is the gap between the pair FR$$_{\text {DG}}$$, DG$$_{\text {SEM}}$$ and the pair FR$$_{\text {DG}(\text {Q}\,>\,\text {P})}$$, DG$$_{(\text {Q}\,>\,\text {P})}$$.

#### 3.2.2 Mesh B

Figure 6 represents the L$$^{2}$$ error associated to the density ($$\rho$$) versus the polynomial order obtained using GLL points for the various schemes tested where Fig. 6a refers to the regular mesh represented in Figs. 2a and 6b refers to the mesh in Fig. 2c. Table 7 in the “Appendix” quantifies up to sixteen digits the results obtained for both GLL and GL points for $$P=5$$ and all the three grids in Fig. 2. Identical considerations can be made for both connections and polynomial aliasing issues as in the previous subsection.

### 3.3 Comparison of Computational Time

In this subsection we present the comparison between the various schemes considered in terms of computational time. In particular, we show the results for the linear problem on the multi-element mesh (mesh B) for both the regular case (A$$_{2}$$ = 0.0) and for the deformed case (A$$_{2}$$ = 0.2). Note also that we show the results for both GLL and GL points. The results on the single element mesh (mesh A) as well as the results for the nonlinear case are not presented since the conclusions we can draw are identical to the one we can obtain from the results presented.

Figure 7 shows the CPU-time required to perform a time-step for both GLL and GL point distributions and for four different schemes on the regular mesh (A$$_{2}$$ = 0.0). We can note that the FR$$_{\text {HU}}$$ scheme provides a similar computational time per time-step if compared to the DG$$_{\text {SEM}}$$-LMM scheme and that the FR$$_{\text {DG}(\text {Q}\,>\,\text {P})}$$ scheme has a similar computational cost if compared to the DG$$_{(\text {Q}\,>\,\text {P})}$$ scheme. Given that the DG and FR pair of schemes considered are mathematically identical one expects similar if not equal computational times per time-step. The differences observed are mainly due to the implementation of the two approaches and in particular to their different data structures. In fact, the FR approach has been implemented in the standard element space while the DG approach has been implemented in the local element space. We can also observe that the collocated schemes, FR$$_{\text {HU}}$$ and DG$$_{\text {SEM}}$$-LMM, provides more efficient algorithms, while using the non-collocated counterparts, FR$$_{\text {DG}(\text {Q}\,>\,\text {P})}$$ and DG$$_{(\text {Q}\,>\,\text {P})}$$, gives a higher computational time per time-step. This is due to the lower number of operations required per time-step when adopting a collocation projection than using a higher quadrature. Also, it can be seen how the use of GL points (Fig. 7b) provides a higher computational time per time-step than the use of GLL points (Fig. 7a). When using GL points, in fact, it is necessary to interpolate the solution and the fluxes at the boundaries of the element. This additional step increases the operation count thus the overall computational costs of a given time-step.

Figure 8 shows the same results as Fig. 7, with the only difference that in this case the mesh considered is the deformed one (A$$_{2}$$ = 0.2). We can see that the overall cost of a given time-step is higher than the regular-mesh case. In this case in fact the operation count is larger due to the point-wise nature of the geometric factors. Also in this case it is possible to observe a higher computational costs per time-step for the case of GL points (Fig. 8b) if compared to GLL points (Fig. 8a) and the collocated schemes (FR$$_{\text {HU}}$$ and DG$$_{\text {SEM}}$$-LMM) perform better than the non-collocated ones (FR$$_{\text {DG}(\text {Q}\,>\,\text {P})}$$ and DG$$_{(\text {Q}\,>\,\text {P})}$$).

### 3.4 Summary

In this section we presented several numerical experiments for both a linear and a nonlinear problem on two mesh configurations. For each mesh configuration we applied three different deformation levels, the first was a regular mesh, which was used as a baseline, while the other two were meshes with incremental deformation levels. In particular we showed how the identities shown in Table 1 and proved in Sect. 2 are further assessed (up to machine precision) across all the tests performed. An additional result shown in this section is the equivalence of FR$$_{\text {DG}(\text {Q}\,>\,\text {P})}$$ and DG$$_{(\text {Q}\,>\,\text {P})}$$ schemes which implies that the aliasing issues arising in FR$$_{\text {DG}}$$ and DG$$_{\text {SEM}}$$ are numerically the same and can be alleviated using a higher quadrature $$Q > P$$, i.e. consistent integration of the nonlinearities arising in the problem (although the concept of integration could be seen as out of context for an FR scheme because there are no integrals present in the formulation of this approach). Note that the use of a better point distribution with a more powerful quadrature, such as the GL points, can also alleviate aliasing issues. However, when the nonlinearity cannot be fully described by the GL quadrature, then also in this case one could use additional quadrature points for consistently integrate the nonlinearity sources. In addition, we showed the computational costs associated to the FR and DG schemes for both the GLL and GL point distributions on the linear advection problem. Although no attempt was made to optimise the underlying algorithms of the two numerical approaches, it can be seen that both provide similar computational costs as expected. The differences observed can be imputed to the different data structures between the FR and the DG approach. Specifically, the first was implemented in the standard element space ($$\xi$$, $$\eta$$), while the second on the local element space (x, y).

## 4 Conclusions

In this paper we established that the connections between various discontinuous Galerkin methods and high-order FR schemes are also valid on quadrilateral irregular/curved meshes. In addition, we found that the polynomial aliasing sources for the FR and DG schemes considered are identical and can be addressed using the same techniques. Specifically, we established that the FR and DG schemes taken into account are identical when a higher-order quadrature rule, usually adopted when applying over-integration-based (also referred to as consistent-integration) dealiasing strategies, is employed.

The schemes considered for the DG approach are the DG$$_{\text {SEM}}$$ with a lumped mass matrix (LMM) and a collocation projection of the solution and of the inner product, the DG$$_{\text {SEM}}$$ with an exact mass matrix (EMM) and a collocation projection of the solution and of the inner product and the DG$$_{(\text {Q}\,>\,\text {P})}$$ with exact mass matrix (EMM) and an additional quadrature point for representing the solution and performing the inner product (i.e. using a Galerkin projection of the solution and of the inner product). For what concerns the FR schemes we took into account the FR$$_{\text {HU}}$$ scheme, the FR$$_{\text {DG}}$$ scheme and FR$$_{\text {DG}(\text {Q}\,>\,\text {P})}$$ scheme which used an additional quadrature point to represent the solution (i.e. using a Galerkin projection of the solution).

We found that the connections between discontinuous Galerkin methods and high-order flux reconstruction schemes explored in [10] for regular grids hold true also for irregular/curvilinear meshes. In particular we mathematically proved the equivalences between FR$$_{\text {HU}}$$ and DG$$_{\text {SEM}}$$ with lumped mass matrix and the connections between FR$$_{\text {DG}}$$ and DG$$_{\text {SEM}}$$ with exact mass matrix. Both demonstrations were further assessed by numerical experiments on two different mesh configurations at different grid deformation levels and for both linear and nonlinear problems. In addition, we showed numerically how these connections are valid when applying a higher quadrature $$Q>P$$ (i.e. using more quadrature points than a collocation projection: FR$$_{\text {DG}(\text {Q}\,>\,\text {P})}$$ and DG$$_{(\text {Q}\,>\,\text {P})}$$) whose use can be crucial for stabilising problems with significant polynomial aliasing issues such as under- or marginally-resolved problems (e.g. high Reynolds number simulations). This result indicates that the aliasing sources for FR$$_{\text {DG}}$$ and DG$$_{\text {SEM}}$$ are identical and can be addressed using identical strategies.

The latter result is particularly significant because it shows how the machinery for the DG method for tackling aliasing issues and improving the numerical stability of this class of schemes can be directly deployed to the FR schemes.

Finally, we showed that, in our current code-base, the computational costs are similar when considering a pair of identical FR and DG schemes. The differences observed are mainly imputable to the different implementation—related to the data structures—of the two approaches.