Comparison of implicit and explicit hybridizable discontinuous Galerkin methods for the acoustic wave equation

We describe implicit and explicit formulations of the hybridizable discontinuous Galerkin method for the acoustic wave equation based on state-of-the-art numerical software and quantify their efficiency for realistic application settings. In the explicit scheme, the trace of the acoustic pressure is computed from the solution on the two elements adjacent to the face at the old time step. Tensor product shape functions for quadrilaterals and hexahedra evaluated with sum factorization are used to ensure low operation counts. For applying the inverse mass matrix of Lagrangian shape functions with full Gaussian quadrature, a new tensorial technique is proposed. As time propagators, diagonally implicit and explicit Runge–Kutta methods are used, respectively. We find that the computing time per time step is 25 to 200 times lower for the explicit scheme, with an increasing gap in three spatial dimensions and for higher element degrees. Our experiments on realistic 3D wave propagation with variable material parameters in a photoacoustic imaging setting show an improvement of two orders of magnitude in terms of time to solution, despite stability restrictions on the time step of the explicit scheme. Operation counts and a performance model to predict performance on other computer systems accompany our results.

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

[2]  J. Peraire,et al.  Efficiency of high‐order elements for continuous and discontinuous Galerkin methods , 2013 .

[3]  Robert Michael Kirby,et al.  To CG or to HDG: A Comparative Study , 2012, J. Sci. Comput..

[4]  Jens Markus Melenk,et al.  Fully discrete hp-finite elements: fast quadrature , 2001 .

[5]  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 .

[6]  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 .

[7]  Katharina Kormann,et al.  Parallel Finite Element Operator Application: Graph Partitioning and Coloring , 2011, 2011 IEEE Seventh International Conference on eScience.

[8]  Jan-Philipp Weiss,et al.  Enhanced Parallel ILU(p)-based Preconditioners for Multi-core CPUs and GPUs -- The Power(q)-pattern Method , 2011 .

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

[10]  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..

[11]  Luca Heltai,et al.  The deal.II Library, Version 8.1 , 2013, ArXiv.

[12]  David A. Kopriva,et al.  Implementing Spectral Methods for Partial Differential Equations , 2009 .

[13]  S. Sherwin,et al.  From h to p efficiently: Strategy selection for operator evaluation on hexahedral and tetrahedral elements , 2011 .

[14]  Stefan Turek,et al.  EXA-DUNE: Flexible PDE Solvers, Numerical Methods and Applications , 2014, Euro-Par Workshops.

[15]  Timothy C. Warburton,et al.  Nodal discontinuous Galerkin methods on graphics processors , 2009, J. Comput. Phys..

[16]  Terje O. Espelid,et al.  Algorithm 706: DCUTRI: an algorithm for adaptive cubature over a collection of triangles , 1992, TOMS.

[17]  Marcus J. Grote,et al.  High-order explicit local time-stepping methods for damped wave equations , 2011, J. Comput. Appl. Math..

[18]  A. Huerta,et al.  High‐order continuous and discontinuous Galerkin methods for wave problems , 2013 .

[19]  R. Alexander Diagonally implicit runge-kutta methods for stiff odes , 1977 .

[20]  Samuel Williams,et al.  Optimization of sparse matrix-vector multiplication on emerging multicore platforms , 2007, Proceedings of the 2007 ACM/IEEE Conference on Supercomputing (SC '07).

[21]  Michael A. Heroux,et al.  ROBUST ALGEBRAIC PRECONDITIONERS USING IFPACK 3.0. , 2005 .

[22]  Andrew R. Winters,et al.  High-Order Local Time Stepping on Moving DG Spectral Element Meshes , 2014, J. Sci. Comput..

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

[24]  A. Huerta,et al.  NURBS-Enhanced Finite Element Method (NEFEM) , 2011 .

[25]  Bernardo Cockburn,et al.  High-order implicit hybridizable discontinuous Galerkin methods for acoustics and elastodynamics , 2011, J. Comput. Phys..

[26]  Jeff Cash,et al.  On the Design of a Variable Order, Variable Step Diagonally Implicit Runge-Kutta Algorithm , 1980 .

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

[28]  David I. Ketcheson,et al.  Optimal Strong-Stability-Preserving Runge–Kutta Time Discretizations for Discontinuous Galerkin Methods , 2014, J. Sci. Comput..

[29]  Tamara G. Kolda,et al.  An overview of the Trilinos project , 2005, TOMS.

[30]  Rainald Löhner,et al.  Improved error and work estimates for high‐order elements , 2013 .