Implicit Parallel Time Integrators

In this work, we discuss a family of parallel implicit time integrators for multi-core and potentially multi-node or multi-gpgpu systems. The method is an extension of Revisionist Integral Deferred Correction (RIDC) by Christlieb, Macdonald and Ong (SISC-2010) which constructed parallel explicit time integrators. The key idea is to re-write the defect correction framework so that, after initial startup costs, each correction loop can be lagged behind the previous correction loop in a manner that facilitates running the predictor and correctors in parallel.In this paper, we show that RIDC provides a framework to use p cores to generate a pth-order implicit solution to an initial value problem (IVP) in approximately the same wall clock time as a single core, backward Euler implementation (p≤12). The construction, convergence and stability of the schemes are presented, along with supporting numerical evidence.

[1]  J. Lions,et al.  Résolution d'EDP par un schéma en temps « pararéel » , 2001 .

[2]  G. Horton,et al.  A Space-time Multigrid Method for Parabolic Pdes , 1993 .

[3]  Graham Horton,et al.  A Space-Time Multigrid Method for Parabolic Partial Differential Equations , 1995, SIAM J. Sci. Comput..

[4]  Anita T. Layton,et al.  On the choice of correctors for semi-implicit Picard deferred correction methods , 2008 .

[5]  Barry F. Smith,et al.  Domain Decomposition: Parallel Multilevel Methods for Elliptic Partial Differential Equations , 1996 .

[6]  E. Hairer,et al.  Solving Ordinary Differential Equations II , 2010 .

[7]  E. Hairer,et al.  Solving Ordinary Differential Equations II: Stiff and Differential-Algebraic Problems , 2010 .

[8]  Michael L. Minion,et al.  Implications of the choice of predictors for semi-implicit Picard integral deferred correction methods , 2007 .

[9]  William Gropp,et al.  A Parallel Version of the Fast Multipole Method-Invited Talk , 1987, PPSC.

[10]  Michael L. Minion,et al.  A HYBRID PARAREAL SPECTRAL DEFERRED CORRECTIONS METHOD , 2010 .

[11]  Jingfang Huang,et al.  Accelerating the convergence of spectral deferred correction methods , 2006, J. Comput. Phys..

[12]  Ben P. Sommeijer,et al.  Embedded diagonally implicit Runge-Kutta algorithms on parallel computers , 1989 .

[13]  Martin J. Gander,et al.  Analysis of the Parareal Time-Parallel Time-Integration Method , 2007, SIAM J. Sci. Comput..

[14]  Thomas Hagstrom,et al.  On the spectral deferred correction of splitting methods for initial value problems , 2006 .

[15]  Benjamin W. Ong,et al.  COMMENTS ON HIGH-ORDER INTEGRATORS EMBEDDED WITHIN INTEGRAL DEFERRED CORRECTION METHODS , 2009 .

[16]  Y. Maday,et al.  A parareal in time procedure for the control of partial differential equations , 2002 .

[17]  Colin B. Macdonald,et al.  Parallel High-Order Integrators , 2010, SIAM J. Sci. Comput..

[18]  Martin J. Gander,et al.  Nonlinear Convergence Analysis for the Parareal Algorithm , 2008 .

[19]  E. Hairer,et al.  Stiff and differential-algebraic problems , 1991 .

[20]  Martin J. Gander,et al.  On the Superlinear and Linear Convergence of the Parareal Algorithm , 2007, CSE 2007.

[21]  Winfried Auzinger,et al.  Modified Defect Correction Algorithms for ODEs. Part I: General Theory , 2004, Numerical Algorithms.

[22]  M. Aurada,et al.  Convergence of adaptive BEM for some mixed boundary value problem , 2012, Applied numerical mathematics : transactions of IMACS.

[23]  Jingfang Huang,et al.  Arbitrary order Krylov deferred correction methods for differential algebraic equations , 2007, J. Comput. Phys..

[24]  Michael L. Minion,et al.  Implications of the Choice of Quadrature Nodes for Picard Integral Deferred Corrections Methods for Ordinary Differential Equations , 2005 .

[25]  M. Minion.  Semi-implicit spectral deferred correction methods for ordinary differential equations , 2003 .

[26]  Michael S. Warren,et al.  A portable parallel particle program , 1995 .

[27]  Erik Brakkee,et al.  A parallel domain decomposition algorithm for the incompressible Navier-Stokes equations , 1995, Simul. Pract. Theory.

[28]  Andrew J. Christlieb,et al.  Integral deferred correction methods constructed with high order Runge-Kutta integrators , 2009, Math. Comput..