# An Analysis of Solution Point Coordinates for Flux Reconstruction Schemes on Tetrahedral Elements

- 1.6k Downloads
- 2 Citations

## Abstract

The flux reconstruction (FR) approach offers an efficient route to high-order accuracy on unstructured grids. In this work we study the effect of solution point placement on the stability and accuracy of FR schemes on tetrahedral grids. To accomplish this we generate a large number of solution point candidates that satisfy various criteria at polynomial orders \(\wp = 3,4,5\). We then proceed to assess their properties by using them to solve the non-linear Euler equations on both structured and unstructured meshes. The results demonstrate that the location of the solution points is important in terms of both the stability and accuracy. Across a range of cases it is possible to outperform the solution points of Shunn and Ham for specific problems. However, there appears to be a degree of problem-dependence with regards to the optimal point set, and hence overall it is concluded that the Shunn and Ham points offer a good compromise in terms of practical utility.

## Keywords

Flux reconstruction High-order methods Discontinuous galerkin## 1 Introduction

Theoretical studies and numerical experiments suggest that unstructured high-order methods can provide solutions to otherwise intractable fluid flow problems within the vicinity of complex geometries. In 2007 Huynh proposed the flux reconstruction (FR) approach [1], a unifying framework for high-order schemes that encompasses several existing methods while simultaneously admitting an efficient implementation. Using FR it is possible to recover nodal discontinuous Galerkin (DG) methods of the type described by Hesthaven and Warburton [2], and the spectral difference schemes, original proposed by Kopriva and Kolias [3] and later popularised by Sun et al. [4]. Unlike traditional DG methods, which are based on a weak formulation, and hence require integration, the FR approach is based on the differential form of the governing system. As a consequence, implementations of FR forego having to perform numerical quadrature within each element. This not only reduces complexity, but can also lead to decreased computational cost.

One problem with the FR approach is that for a non-linear flux function aliasing driven instabilities may develop. The severity of these instabilities depends upon the degree to which the flux is under-resolved within each element. For large scale-resolving flow simulations it is often the case that features are under-resolved due to resource constraints or modelling approaches. For example when undertaking an implicit large-eddy simulation of a turbulent flow the numerics do not resolve all of the physical scales of the problem. Hence, there is a degree of underesolution. Given that there is an increasing desire amongst practitioners to undertake such scale-resolving simulations in an industrial context it is important to address these aliasing phenomena effectively.

It has been demonstrated, both theoretically [5] and empirically [6, 7, 8] that the degree of aliasing driven instabilities depends upon the location of the solution points inside each element. Specifically, it has been found that placing points at the abscissa of strong Gaussian quadrature rules has a positive impact on their performance.

In this paper we will assess the performance of a variety of symmetric quadrature rules when used as solution points inside of tetrahedra. In Sect. 2 we outline the requirements that a set of points must satisfy in order to be used as solution points. Empirical and theoretical motivations for wanting solution points to be at the abscissa of quadrature rules is also presented. Our candidate point sets at polynomial orders \(\wp = 3,4,5\) are presented in Sect. 3. Two numerical test cases, both based around solving the non-linear Euler equations, are introduced in Sect. 4. These test cases are then used to evaluate the performance of the candidate points with the results being presented in Sect. 5. Numerical stability across the two test cases is assessed in Sect. 6. Finally, in Sect. 7, conclusions are drawn.

## 2 Solution Point Requirements

In FR and nodal DG solution points are not just used for representing the discontinuous solution within each element; they are also used to construct a polynomial representation of the flux. However, should the flux function be non-linear then the construction of this polynomial gives rise to an implicit collocation projection from the space of the flux, which may be non-polynomial, into the space of the solution. The development of aliasing driven instabilities is closely related to how this projected polynomial compares to the \(L^2\) optimal polynomial obtained via a full \(L^2\) projection of the flux [5]. The differences between these two polynomials in both FR and nodal DG can be significant [2] and hence have a significant impact on the non-linear stability of these schemes.

Hence, an additional fourth requirement for solution points is that they also minimise the \(L^2\) error arising from performing a collocation projection of non-linear functionals.

### 2.1 Polynomial Interpolation and Unisolvency

*unisolvency*[9, 10]. To illustrate this take \(\{\varvec{\mathrm {r}}_i\}\) to be a set of distinct points with a non-singular Vandermonde matrix and consider arbitrarily relabelling a pair of points. The effect of this relabelling is to interchange two columns in the Vandermonde matrix. From the properties of the determinant this will cause the sign of the determinant to flip. If this interchange is performed continuously, with the two points following different non-intersecting paths as shown in Fig. 2, it is evident from the intermediate value theorem that there must be an intermediate arrangement where the determinant is zero. Hence, while the points are all distinct they can not be used to construct a nodal basis set.

### 2.2 Quadrature Rules

In 2011 Castonguay et al. [6] used the FR approach to solve the Euler equations on triangular grids. As a starting point they employed the \(\alpha \)-optimised points of Hesthaven and Warburton [2] as the set of solution points. These points are constructed with the goal of minimising the Lebesgue constant which serves as a quantification of how good a set of points are for the purposes of polynomial interpolation. However, while evaluating the performance of these points on a isentropic Euler vortex test problem the reference point set poor performance, in terms of both accuracy and stability, was observed. Noting this, and motivated by the results of Jameson et al. [5], the authors proceeded to use the abscissa of the (mildly asymmetric) quadrature rules presented in [11] as the solution points. This change gave rise to a marked improvement in both stability and accuracy. These results were subsequently confirmed by Witherden and Vincent [8] in 2014 who analysed the performance triangular quadrature rules when used as solution points. Inside of tetrahedra Williams [7] compared the three dimensional \(\alpha \)-optimised points against the tetrahedral quadrature rules of Shunn and Ham [12]. Once again the quadrature points were found to greatly outperform the \(\alpha \)-optimised points with regards to both stability and accuracy. A visual comparison of the third order \(\alpha \)-optimised and Shunn–Ham points can be seen in Fig. 3. A major difference between the two sets is that the \(\alpha \)-optimised points are constrained to have points along the edges of the tetrahedron. The effect of this is clearly visible in the figure.

## 3 Candidate Point Sets

A popular approach for identifying quadrature rules inside of two- and three-dimensional domains is based around expressing Eq. 6 as a system of non-linear equations. Given a suitable set of polynomials \(\{p_i(\varvec{\mathrm {x}})\} \in \mathcal {T}\) it is possible to analytically evaluate the integrals on the left hand side of Eq. 6. This can then be approached as a least squares optimisation problem which is non-linear with respect to the abscissa and linear with respect to the weights. By seeding the non-linear least squares problem with a random initial condition it is capable of identifying a large number of distinct quadrature rules.

Number of rules \(N_r\) identified by Polyquad at each polynomial order \(\wp \) along with the point counts \(N_p\) and the associated quadrature strengths \(\varphi \)

\(\wp \) | 3 | 4 | 5 |

\(\varphi \) | 5 | 6 | 8 |

\(N_p\) | 20 | 35 | 56 |

\(N_r\) | 270 | 281 | 48 |

\(N_r(\det \mathcal {V} \ne 0)\) | 193 | 275 | 25 |

We note here that our candidate point sets have the same quadrature strengths as those of Shunn and Ham [12].

## 4 Numerical Experiments

### 4.1 Euler Equations

*E*is the total energy per unit volume, and

*p*is the pressure. For a perfect gas the pressure and total energy are related by

### 4.2 Test Cases

For the purposes of evaluating the performance of our point sets two test cases with analytical solutions are considered.

*Manufactured Sinusoidal Solution*Through the introduction of a source term it is possible for the non-linear Euler equations to admit a sinusoidal solution. Specifically, by taking

*N*at polynomial order \(\wp \) as

Meshes employed for solution point evaluation at each polynomial order for the manufactured sinusoidal solution test case

\(\wp \) | Meshes | |||||
---|---|---|---|---|---|---|

\(N = 4\) | \(N = 5\) | \(N = 6\) | \(N = 8\) | \(N = 12\) | \(N = 16\) | |

3 | \(\bigstar \) | \(\bigstar \) | \(\bigstar \) | \(\bigstar \) | ||

4 | \(\bigstar \) | \(\bigstar \) | \(\bigstar \) | \(\bigstar \) | ||

5 | \(\bigstar \) | \(\bigstar \) | \(\bigstar \) | \(\bigstar \) |

*Isentropic Euler Vortex*Following [6, 7, 14] we also consider the propagation of an isentropic Euler vortex in a free-stream. The initial conditions for this numerical experiment, in primitive form, are given by

*S*is the strength of the vortex,

*M*is the free-stream Mach number and

*R*is the radius of the vortex. These conditions give rise to a vortex that is translating in the

*y*-direction with a velocity of one. In a domain \(\varvec{\mathrm {\Omega }} = [-10,10] \times [-10, 10] \times [-2.5, 2.5]\) we chose to take \(S = 13.5\), \(M = 0.4\), and \(R = 1.5\). To complete the system we will apply periodic boundary conditions in the

*y*- and

*z*-directions and a characteristic boundary conditions in the

*x*-direction. These conditions, however, result in the modelling of an infinite grid of coupled vortices [14]. The impact of this is mitigated by the observation that the exponentially-decaying vortex has a radius which is far smaller than the extent of the domain. Neglecting these effects the analytic solution of the system at a time

*t*is simply a translation of the initial conditions.

A series of four unstructured tetrahedral meshes were generated with \(N_E = 837, 2165, 5076, 9571\) elements, respectively. A cutaway of the coarsest \(N_E = 837\) mesh can be seen in Fig. 5. All four grids were employed at each of the three polynomial orders.

### 4.3 Error Estimation

*i*with \(J_i({\tilde{\varvec{\mathrm {x}}}})\) being the associated Jacobian determinant. In the third step each integral has been approximated by using a quadrature rule with abscissa \(\{\tilde{\varvec{\mathrm {x}}}_{j}\}\) and weights \(\{w_{j}\}\). So long as the rule used—which need not be symmetric or consist of a tetrahedral number of points—is of adequate strength then this will be a very accurate approximation of the true \(L^2\) error. For the purposes of our experiments a 59-point rule of quadrature strength 9 was employed. To assess the error for the manufactured sinusoidal solution test case the quantity was taken to be the energy \(E(\varvec{\mathrm {x}},t)\) whereas for the isentropic Euler vortex test case the density \(\rho (\varvec{\mathrm {x}},t)\) was chosen.

*i*at polynomial order \(\wp \) as \(\{\sigma ^{(\wp )}_{ij}\}\) where

*j*runs over the four meshes employed at this polynomial order for the test case in question. Point sets where one or more of the simulations diverged are considered to have an infinite error. Taking the geometric mean of these numbers we find

### 4.4 Other Details

To completely define the proposed numerical experiment it is also necessary to specify the time marching algorithm, the correction functions, the approximate Riemann solver, and the choice of flux points along each edge. In this study a TVD-RK3 scheme of Gottlieb [15] is chosen for time marching. When performing the simulations it is important that the time step \(\Delta t\) is chosen such that the temporal error is negligible when compared to the spatial error. Correction functions were chosen to recover the nodal DG scheme described in Hesthaven and Warburton [2]. For computing the numerical fluxes at element interfaces a Rusanov type Riemann solver, as presented in Sun et al. [4], is employed. Finally, on the faces of the tetrahedra the flux points are taken to be the Williams Shunn points of [16].

## 5 Results

For each polynomial order all derived point sets were used to solve the test problem define in Sect. 4 with a modified version of the PyFR solver v0.2.3 [17]. Differences between the reference version of PyFR v0.2.3 and the one employed here can be found in the electronic supplementary material.

### 5.1 Manufactured Sinusoidal Solution

### 5.2 Isentropic Euler vortex

### 5.3 Comparisons

A cross comparison between the top-ranked point sets for each of the two test cases can be seen in Table 3. For both \(\wp = 3\) and \(\wp = 4\) the top-ranked point set is different between the two test cases. However, at \(\wp = 3\) it is observed that the top-ranked Euler vortex point set represents an improvement over the Shunn–Ham points on both of the test cases. In the case of \(\wp = 5\) the top-ranked set is identical for both cases with a similar overall reduction in error being observed for both of the problems.

Errors, normalised against the Shunn–Ham points, for the top-ranked point sets

Order | Set | Error | |
---|---|---|---|

M | V | ||

\(\wp = 3\) | Top M | 0.73 | 1.22 |

Top V | 0.88 | 0.78 | |

\(\wp = 4\) | Top M | 0.90 | 1.10 |

Top V | 0.97 | 1.01 | |

\(\wp = 5\) | Top M | 0.64 | 0.68 |

Top V | 0.64 | 0.68 |

## 6 Stability

Number of rules that completed and diverged for each of the test cases

Case | Order | |||
---|---|---|---|---|

M | V | \(\wp = 3\) | \(\wp = 4\) | \(\wp = 5\) |

\(\bigstar \) | \(\bigstar \) | 180 | 50 | 5 |

\(\bigstar \) | \(\varnothing \) | 12 | 176 | 11 |

\(\varnothing \) | \(\bigstar \) | 0 | 1 | 0 |

\(\varnothing \) | \(\varnothing \) | 1 | 48 | 9 |

## 7 Conclusion

In this paper we have investigated how solution point placement contributes towards the accuracy and stability of FR schemes on tetrahedral elements. The performance of these points has been assessed with two test cases at three different polynomial orders on both structured and unstructured grids.

At all three orders of accuracy the top-ranked point set is observed to differ between the two test cases. This suggests that, for a given polynomial order, there is no set of solution points that are universally optimal across both test cases.

For the manufactured sinusoidal solution test case when \(\wp = 3, 5\) we have identified point sets which outperforms the equivalent Shunn–Ham points on all four grids. At order \(\wp = 4\) a point set has been identified which outperform the Shunn–Ham points on three out of the four grids. For the isentropic Euler vortex case when \(\wp = 5\) the top-ranked point set outperforms the equivalent Shunn–Ham points on all four grids. At order \(\wp = 3\) the top-ranked rule outperforms the Shunn–Ham points on three out of the four grids for an overall improvement across all four grids. At order \(\wp = 4\) the top-ranked point set only outperforms the Shunn–Ham points on two out of the four grids with no overall improvement.

From this we conclude that while it is indeed possible to outperform the solution points of Shunn–Ham it is not possible to do so consistently. As such the Shunn–Ham points should be considered a good compromise in terms of practical utility when using FR schemes on both structured and unstructured tetrahedral grids.

## 8 Data Statement

Data relating to the results in this manuscript can be downloaded as Electronic Supplementary Material under a CC-BY-NC-ND 4.0 license.

## Notes

### Acknowledgments

The authors would like to thank the Engineering and Physical Sciences Research Council for their support via an Early Career Fellowship (EP/K027379/1) and the Hyper Flux project (EP/M50676X/1).

## Supplementary material

## References

- 1.Huynh, H.T.: A flux reconstruction approach to high-order schemes including discontinuous galerkin methods. AIAA Pap.
**4079**, 2007 (2007)Google Scholar - 2.Hesthaven, J.S., Warburton, T.: Nodal Discontinuous Galerkin Methods: Algorithms, Analysis, and Applications, vol. 54. Springer, New York (2008)zbMATHGoogle Scholar
- 3.Kopriva, D.A., Kolias, J.H.: A conservative staggered-grid chebyshev multidomain method for compressible flows. J. Comput. Phys.
**125**(1), 244–261 (1996)MathSciNetCrossRefzbMATHGoogle Scholar - 4.Sun, Yuzhi, Wang, Zhi Jian, Liu, Yen: High-order multidomain spectral difference method for the Navier–Stokes equations on unstructured hexahedral grids. Commun. Comput. Phys.
**2**(2), 310–333 (2007)MathSciNetzbMATHGoogle Scholar - 5.Jameson, Antony, Vincent, Peter E., Castonguay, Patrice: On the non-linear stability of flux reconstruction schemes. J. Sci. Comput.
**50**(2), 434–445 (2011)MathSciNetCrossRefzbMATHGoogle Scholar - 6.Castonguay, P., Vincent, P.E., Jameson, A.: Application of high-order energy stable flux reconstruction schemes to the euler equations. In: 49th AIAA Aerospace Sciences Meeting, vol. 686 (2011)Google Scholar
- 7.Williams, D.M., Jameson, A.: Nodal points and the nonlinear stability of high-order methods for unsteady flow problems on tetrahedral meshes. In:
*AIAA Paper*, vol. 2830 (2013)Google Scholar - 8.Witherden, F.D., Vincent, P.E.: An analysis of solution point coordinates for flux reconstruction schemes on triangular elements. J. Sci. Comput.
**61**(2), 398–423 (2014)MathSciNetCrossRefzbMATHGoogle Scholar - 9.Bos, L.: On certain configurations of points in \(\mathbb{R}^n\) which are unisolvent for polynomial interpolation. J. Approx. Theory
**64**(3), 271–280 (1991)MathSciNetCrossRefzbMATHGoogle Scholar - 10.Solin, P., Segeth, K., Dolezel, I.: Higher-Order Finite Element Methods. CRC Press, Boca Raton (2003)Google Scholar
- 11.Taylor, M.A., Wingate, B.A., Bos, L.P.: Several new quadrature formulas for polynomial integration in the triangle. ArXiv Mathematics e-prints, Jan 2005Google Scholar
- 12.Shunn, L., Ham, F.: Symmetric quadrature rules for tetrahedra based on a cubic close-packed lattice arrangement. J. Comput. Appl. Math.
**236**(17), 4348–4364 (2012)MathSciNetCrossRefzbMATHGoogle Scholar - 13.Witherden, F.D., Vincent, P.E.: On the identification of symmetric quadrature rules for finite element methods. Comput. Math. Appl.
**69**(10), 1232–1241 (2015)MathSciNetCrossRefGoogle Scholar - 14.Vincent, P.E., Castonguay, P., Jameson, A.: Insights from von neumann analysis of high-order flux reconstruction schemes. J. Comput. Phys.
**230**(22), 8134–8154 (2011)MathSciNetCrossRefzbMATHGoogle Scholar - 15.Gottlieb, S., Shu, C.-W.: Total variation diminishing Runge–Kutta schemes. Math. Comput. Am. Math. Soc.
**67**(221), 73–85 (1998)MathSciNetCrossRefzbMATHGoogle Scholar - 16.Williams, D.M., Shunn, L., Jameson, A.: Symmetric quadrature rules for simplexes based on sphere close packed lattice arrangements. J. Comput. Appl. Math.
**266**, 18–38 (2014)MathSciNetCrossRefzbMATHGoogle Scholar - 17.Witherden, F.D., Farrington, A.M., Vincent, P.E.: PyFR: an open source framework for solving advection-diffusion type problems on streaming architectures using the flux reconstruction approach. Comput. Phys. Commun.
**185**(11), 3028–3040 (2014)CrossRefGoogle Scholar

## Copyright information

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.