Efficient Explicit Time Stepping of High Order Discontinuous Galerkin Schemes for Waves

This work presents algorithms for the efficient implementation of discontinuous Galerkin methods with explicit time stepping for acoustic wave propagation on unstructured meshes of quadrilaterals or hexahedra. A crucial step towards efficiency is to evaluate operators in a matrix-free way with sum-factorization kernels. The method allows for general curved geometries and variable coefficients. Temporal discretization is carried out by low-storage explicit Runge-Kutta schemes and the arbitrary derivative (ADER) method. For ADER, we propose a flexible basis change approach that combines cheap face integrals with cell evaluation using collocated nodes and quadrature points. Additionally, a degree reduction for the optimized cell evaluation is presented to decrease the computational cost when evaluating higher order spatial derivatives as required in ADER time stepping. We analyze and compare the performance of state-of-the-art Runge-Kutta schemes and ADER time stepping with the proposed optimizations. ADER involves fewer operations and additionally reaches higher throughput by higher arithmetic intensities and hence decreases the required computational time significantly. Comparison of Runge-Kutta and ADER at their respective CFL stability limit renders ADER especially beneficial for higher orders when the Butcher barrier implies an overproportional amount of stages. Moreover, vector updates in explicit Runge--Kutta schemes are shown to take a substantial amount of the computational time due to their memory intensity.

[1]  R. Lewis,et al.  Low-storage, Explicit Runge-Kutta Schemes for the Compressible Navier-Stokes Equations , 2000 .

[2]  Alice-Agnes Gabriel,et al.  Sustained Petascale Performance of Seismic Simulations with SeisSol on SuperMUC , 2014, ISC.

[3]  L. R. Scott,et al.  The Mathematical Theory of Finite Element Methods , 1994 .

[4]  J. Hesthaven,et al.  Nodal Discontinuous Galerkin Methods: Algorithms, Analysis, and Applications , 2007 .

[5]  Claus-Dieter Munz,et al.  Explicit Discontinuous Galerkin methods for unsteady problems , 2012 .

[6]  David A. Kopriva,et al.  Implementing Spectral Methods for Partial Differential Equations: Algorithms for Scientists and Engineers , 2009 .

[7]  Patrick Joly,et al.  Influence of Gauss and Gauss‐Lobatto quadrature rules on the accuracy of a quadrilateral finite element method in the time domain , 2009 .

[8]  P. Fischer,et al.  High-Order Methods for Incompressible Fluid Flow , 2002 .

[9]  R. Courant,et al.  Über die partiellen Differenzengleichungen der mathematischen Physik , 1928 .

[10]  Martin Kronbichler,et al.  Arbitrary High-Order Explicit Hybridizable Discontinuous Galerkin Methods for the Acoustic Wave Equation , 2018, J. Sci. Comput..

[11]  E. Toro,et al.  An arbitrary high-order Discontinuous Galerkin method for elastic waves on unstructured meshes - V. Local time stepping and p-adaptivity , 2007 .

[12]  Katharina Kormann,et al.  Fast Matrix-Free Evaluation of Discontinuous Galerkin Finite Element Operators , 2017, ACM Trans. Math. Softw..

[13]  Raytcho D. Lazarov,et al.  Unified Hybridization of Discontinuous Galerkin, Mixed, and Continuous Galerkin Methods for Second Order Elliptic Problems , 2009, SIAM J. Numer. Anal..

[14]  Katharina Kormann,et al.  Fast Matrix-Free Discontinuous Galerkin Kernels on Modern Computer Architectures , 2017, ISC.

[15]  Martin Kronbichler,et al.  A Performance Comparison of Continuous and Discontinuous Galerkin Methods with Fast Multigrid Solvers , 2016, SIAM J. Sci. Comput..

[16]  Chi-Wang Shu Discontinuous Galerkin Methods , 2010 .

[17]  David Wells,et al.  The deal.II library, version 8.5 , 2013, J. Num. Math..

[18]  Jed Brown,et al.  Efficient Nonlinear Solvers for Nodal High-Order Finite Elements in 3D , 2010, J. Sci. Comput..

[19]  Michael Dumbser,et al.  High order ADER schemes for a unified first order hyperbolic formulation of continuum mechanics: Viscous heat-conducting fluids and elastic solids , 2015, J. Comput. Phys..

[20]  Michael Dumbser,et al.  Fast high order ADER schemes for linear hyperbolic equations , 2004 .

[21]  Wim Desmet,et al.  Optimal Runge-Kutta schemes for discontinuous Galerkin space discretizations applied to wave propagation problems , 2012, J. Comput. Phys..

[22]  William Gropp,et al.  Scalable Non-blocking Preconditioned Conjugate Gradient Methods , 2016, SC16: International Conference for High Performance Computing, Networking, Storage and Analysis.

[23]  Gerhard Wellein,et al.  LIKWID: Lightweight Performance Tools , 2011, CHPC.

[24]  G. Karniadakis,et al.  Spectral/hp Element Methods for Computational Fluid Dynamics , 2005 .

[25]  Saul A. Teukolsky,et al.  Short note on the mass matrix for Gauss-Lobatto grid points , 2014, J. Comput. Phys..

[26]  M. Dumbser,et al.  An arbitrary high-order discontinuous Galerkin method for elastic waves on unstructured meshes — II. The three-dimensional isotropic case , 2006 .

[27]  Katharina Kormann,et al.  A generic interface for parallel cell-based finite element operator application , 2012 .

[28]  Samuel Williams,et al.  Roofline: an insightful visual performance model for multicore architectures , 2009, CACM.

[29]  S. Orszag Spectral methods for problems in complex geometries , 1980 .

[30]  Wolfgang A. Wall,et al.  Comparison of implicit and explicit hybridizable discontinuous Galerkin methods for the acoustic wave equation , 2016 .