Multigrid preconditioners for the hybridized Discontinuous Galerkin discretisation of the shallow water equations

Numerical climate- and weather-prediction requires the fast solution of the equations of fluid dynamics. Discontinuous Galerkin (DG) discretisations have several advantageous properties. They can be used for arbitrary domains and support a structured data layout, which is important on modern chip architectures. For smooth solutions, higher order approximations can be particularly efficient since errors decrease exponentially in the polynomial degree. Due to the wide separation of timescales in atmospheric dynamics, semi-implicit time integrators are highly efficient, since the implicit treatment of fast waves avoids tight constraints on the time step size, and can therefore improve overall efficiency. However, if implicit-explicit (IMEX) integrators are used, a large linear system of equations has to be solved in every time step. A particular problem for DG discretisations of velocity-pressure systems is that the normal Schur-complement reduction to an elliptic system for the pressure is not possible since the numerical fluxes introduce artificial diffusion terms. For the shallow water equations, which form an important model system, hybridised DG methods have been shown to overcome this issue. However, no attention has been paid to the efficient solution of the resulting linear system of equations. In this paper we address this issue and show that the elliptic system for the flux unknowns can be solved efficiently with a non-nested multigrid algorithm. The method is implemented in the Firedrake library and we demonstrate the excellent performance of the algorithm both for an idealised stationary flow problem in a flat domain and for non-stationary setups in spherical geometry from the Williamson et al. testsuite. In the latter case the performance of our bespoke multigrid preconditioner (although itself not highly optimised) is comparable to that of a highly optimised direct solver.

[1]  Francis X. Giraldo,et al.  IMEX HDG-DG: a coupled implicit hybridized discontinuous Galerkin (HDG) and explicit discontinuous Galerkin (DG) approach for shallow water systems , 2017, J. Comput. Phys..

[2]  Jack Betteridge Efficient elliptic solvers for higher order DG discretisations on modern architectures and applications in atmospheric modelling , 2020 .

[3]  John Thuburn,et al.  Horizontal grids for global weather and climate prediction models: a review , 2012 .

[4]  M. Duda,et al.  A Semi-Implicit Version of the MPAS-Atmosphere Dynamical Core , 2015 .

[5]  Patrick R. Amestoy,et al.  Performance and Scalability of the Block Low-Rank Multifrontal Factorization on Multicore Architectures , 2019, ACM Trans. Math. Softw..

[6]  Steffen Müthing,et al.  Matrix-free multigrid block-preconditioners for higher order Discontinuous Galerkin discretisations , 2018, J. Comput. Phys..

[7]  Jean-François Remacle,et al.  High-order discontinuous Galerkin schemes on general 2D manifolds applied to the shallow water equations , 2009, J. Comput. Phys..

[8]  P. Swarztrauber,et al.  A standard test set for numerical approximations to the shallow water equations in spherical geometry , 1992 .

[9]  Thomas H. Gibson,et al.  A domain-specific language for the hybridization and static condensation of finite element methods , 2018, ArXiv.

[10]  Guillaume Houzeaux,et al.  A Review of Element-Based Galerkin Methods for Numerical Weather Prediction: Finite Elements, Spectral Elements, and Discontinuous Galerkin , 2015 .

[11]  H. Langtangen,et al.  Mixed Finite Elements , 2003 .

[12]  M. Diamantakis,et al.  An inherently mass‐conserving semi‐implicit semi‐Lagrangian discretization of the deep‐atmosphere global non‐hydrostatic equations , 2014 .

[13]  G. Russo,et al.  Implicit-explicit Runge-Kutta schemes for stiff systems of differential equations , 2000 .

[14]  Chi-Wang Shu,et al.  Runge–Kutta Discontinuous Galerkin Methods for Convection-Dominated Problems , 2001, J. Sci. Comput..

[15]  Colin J. Cotter,et al.  A mixed finite‐element, finite‐volume, semi‐implicit discretization for atmospheric dynamics: Cartesian geometry , 2019, Quarterly Journal of the Royal Meteorological Society.

[16]  M. Carpenter,et al.  Additive Runge-Kutta Schemes for Convection-Diffusion-Reaction Equations , 2003 .

[17]  John N. Shadid,et al.  A Multilevel Approach for Trace System in HDG Discretizations , 2019, J. Comput. Phys..

[18]  Tsuyoshi Murata,et al.  {m , 1934, ACML.

[19]  Andrew T. T. McRae,et al.  Firedrake: automating the finite element method by composing abstractions , 2015, ACM Trans. Math. Softw..

[20]  Lawrence Mitchell,et al.  Solver Composition Across the PDE/Linear Algebra Barrier , 2017, SIAM J. Sci. Comput..

[21]  Steffen Müthing,et al.  High-performance Implementation of Matrix-free High-order Discontinuous Galerkin Methods , 2017, ArXiv.

[22]  Lawrence Mitchell,et al.  An Augmented Lagrangian Preconditioner for the 3D Stationary Incompressible Navier-Stokes Equations at High Reynolds Number , 2018, SIAM J. Sci. Comput..

[23]  M. Hestenes,et al.  Methods of conjugate gradients for solving linear systems , 1952 .

[24]  P. Raviart,et al.  A mixed finite element method for 2-nd order elliptic problems , 1977 .

[25]  Bernardo Cockburn,et al.  The Runge-Kutta local projection discontinous Galerkin finite element method for conservation laws , 1990 .

[26]  I. Duff,et al.  Direct Methods for Sparse Matrices , 1987 .

[27]  Tim Wildey,et al.  Unified Geometric Multigrid Algorithm for Hybridized High-Order Finite Element Methods , 2018, SIAM J. Sci. Comput..

[28]  Bo Dong,et al.  A Hybridizable Discontinuous Galerkin Method for Steady-State Convection-Diffusion-Reaction Problems , 2009, SIAM J. Sci. Comput..

[29]  Herbert Egger,et al.  A hybrid mixed discontinuous Galerkin finite-element method for convection–diffusion problems , 2010 .

[30]  Bernardo Cockburn,et al.  An implicit high-order hybridizable discontinuous Galerkin method for linear convection-diffusion equations , 2009, Journal of Computational Physics.

[31]  Y. Saad,et al.  GMRES: a generalized minimal residual algorithm for solving nonsymmetric linear systems , 1986 .

[32]  Anders Logg,et al.  Unified form language: A domain-specific language for weak formulations of partial differential equations , 2012, TOMS.

[33]  Chi-Wang Shu,et al.  The Runge-Kutta local projection discontinuous Galerkin finite element method for conservation laws. IV. The multidimensional case , 1990 .

[34]  Tan Bui-Thanh,et al.  Construction and Analysis of HDG Methods for Linearized Shallow Water Equations , 2016, SIAM J. Sci. Comput..

[35]  J. Crank,et al.  A practical method for numerical evaluation of solutions of partial differential equations of the heat-conduction type , 1947, Mathematical Proceedings of the Cambridge Philosophical Society.

[36]  Tan Bui-Thanh,et al.  From Godunov to a unified hybridized discontinuous Galerkin framework for partial differential equations , 2015, J. Comput. Phys..

[37]  Thomas H. Gibson,et al.  Slate: extending Firedrake's domain-specific abstraction to hybridized solvers for geoscience and beyond , 2018 .

[38]  S. Osher,et al.  Efficient implementation of essentially non-oscillatory shock-capturing schemes,II , 1989 .

[39]  Patrick Amestoy,et al.  A Fully Asynchronous Multifrontal Solver Using Distributed Dynamic Scheduling , 2001, SIAM J. Matrix Anal. Appl..

[40]  Jayadeep Gopalakrishnan,et al.  A convergent multigrid cycle for the hybridized mixed method , 2009, Numer. Linear Algebra Appl..

[41]  Lawrence Mitchell,et al.  High level implementation of geometric multigrid solvers for finite element problems: Applications in atmospheric modelling , 2016, J. Comput. Phys..

[42]  William Gropp,et al.  Efficient Management of Parallelism in Object-Oriented Numerical Software Libraries , 1997, SciTools.

[43]  Steven J. Ruuth,et al.  Implicit-explicit Runge-Kutta methods for time-dependent partial differential equations , 1997 .

[44]  Steven J. Ruuth,et al.  Implicit-explicit methods for time-dependent partial differential equations , 1995 .

[45]  Bernardo Cockburn,et al.  Multigrid for an HDG method , 2013, IMA Journal of Numerical Analysis.

[46]  Nigel Wood,et al.  Runge-Kutta IMEX schemes for the Horizontally Explicit/Vertically Implicit (HEVI) solution of wave equations , 2013, J. Comput. Phys..

[47]  Bernardo Cockburn,et al.  A Hybridizable Discontinuous Galerkin Method for the Compressible Euler and Navier-Stokes Equations , 2010, 48th AIAA Aerospace Sciences Meeting Including the New Horizons Forum and Aerospace Exposition.

[48]  Lorenzo Pareschi,et al.  Implicit-explicit runge-kutta schemes and applications to hyperbolic systems with relaxation , 2010, 1009.2757.

[49]  Bernardo Cockburn,et al.  An implicit high-order hybridizable discontinuous Galerkin method for nonlinear convection-diffusion equations , 2009, J. Comput. Phys..

[50]  Chi-Wang Shu,et al.  The Runge-Kutta Discontinuous Galerkin Method for Conservation Laws V , 1998 .

[51]  R. LeVeque Finite Volume Methods for Hyperbolic Problems: Characteristics and Riemann Problems for Linear Hyperbolic Equations , 2002 .

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