An adaptive parareal algorithm☆

Abstract In this paper, we consider the problem of accelerating the numerical simulation of time dependent problems by time domain decomposition. The available algorithms enabling such decompositions present severe efficiency limitations and are an obstacle for the solution of large scale and high dimensional problems. Our main contribution is the improvement of the parallel efficiency of the parareal in time method. The parareal method is based on combining predictions made by a numerically inexpensive solver (with coarse physics and/or coarse resolution) with corrections coming from an expensive solver (with high-fidelity physics and high resolution). At convergence, the algorithm provides a solution that has the fine solver’s high-fidelity physics and high resolution. In the classical version, the fine solver has a fixed high accuracy which is the major obstacle to achieve a competitive parallel efficiency. In this paper, we develop an adaptive variant that overcomes this obstacle by dynamically increasing the accuracy of the fine solver across the parareal iterations. We theoretically show that the parallel efficiency becomes very competitive in the ideal case where the cost of the coarse solver is small, thus proving that the only remaining factors impeding full scalability become the cost of the coarse solver and communication time. The developed theory has also the merit of setting a general framework to understand the success of several extensions of parareal based on iteratively improving the quality of the fine solver and re-using information from previous parareal steps. We illustrate the actual performance of the method in stiff ODEs, which are a challenging family of problems since the only mechanism for adaptivity is time and efficiency is affected by the cost of the coarse solver.

[1]  Matthias Bolten,et al.  Interweaving PFASST and Parallel Multigrid , 2015, SIAM J. Sci. Comput..

[2]  M. Carbonaro,et al.  von Karman Institute for Fluid Dynamics , 2004 .

[3]  Xiaoying Dai,et al.  Stable Parareal in Time Method for First- and Second-Order Hyperbolic Systems , 2012, SIAM J. Sci. Comput..

[4]  Thomas A. Manteuffel,et al.  Multigrid Reduction in Time for Nonlinear Parabolic Problems: A Case Study , 2017, SIAM J. Sci. Comput..

[5]  L. Greengard,et al.  Spectral Deferred Correction Methods for Ordinary Differential Equations , 2000 .

[6]  Andrea Toselli,et al.  Domain decomposition methods : algorithms and theory , 2005 .

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

[8]  Michael L. Minion,et al.  Parareal and Spectral Deferred Corrections , 2008 .

[9]  Olga Mula Hernandez,et al.  Some contributions towards the parallel simulation of time dependent neutron transport and the integration of observed data in real time , 2014 .

[10]  Robert D. Falgout,et al.  Parallel time integration with multigrid , 2013, SIAM J. Sci. Comput..

[11]  Michael L. Minion,et al.  TOWARD AN EFFICIENT PARALLEL IN TIME METHOD FOR PARTIAL DIFFERENTIAL EQUATIONS , 2012 .

[12]  Guillaume Bal,et al.  PARALLELIZATION IN TIME OF ( STOCHASTIC ) ORDINARY DIFFERENTIAL EQUATIONS , 2006 .

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

[14]  Yongli Cai,et al.  A conceptual model for the coronavirus disease 2019 (COVID-19) outbreak in Wuhan, China with individual reaction and governmental action , 2020, International Journal of Infectious Diseases.

[15]  E. Hairer,et al.  Stiff differential equations solved by Radau methods , 1999 .

[16]  Yvon Maday,et al.  The Parareal in Time Iterative Solver: a Further Direction to Parallel Implementation , 2005 .

[17]  Yvon Maday,et al.  Monotonic Parareal Control for Quantum Systems , 2007, SIAM J. Numer. Anal..

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

[19]  Charbel Farhat,et al.  Time‐decomposed parallel time‐integrators: theory and feasibility studies for fluid, structure, and fluid–structure applications , 2003 .

[20]  Jürg Nievergelt,et al.  Parallel methods for integrating ordinary differential equations , 1964, CACM.

[21]  L. Petzold Automatic Selection of Methods for Solving Stiff and Nonstiff Systems of Ordinary Differential Equations , 1983 .

[22]  Y Maday,et al.  Parallel-in-time molecular-dynamics simulations. , 2002, Physical review. E, Statistical, nonlinear, and soft matter physics.

[23]  J. Dormand,et al.  A family of embedded Runge-Kutta formulae , 1980 .

[24]  M. Gaja,et al.  Parallel in time algorithms for nonlinear iterative methods , 2017 .

[25]  Y. Maday,et al.  A “Parareal” Time Discretization for Non-Linear PDE’s with Application to the Pricing of an American Put , 2002 .

[26]  Y. Maday,et al.  Symmetric parareal algorithms for Hamiltonian systems , 2010, 1011.6222.

[27]  Martin J. Gander,et al.  50 Years of Time Parallel Time Integration , 2015 .

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

[29]  Ulrich Langer,et al.  Domain decomposition methods in science and engineering XVII , 2008 .

[30]  Guillaume Bal,et al.  Symplectic parareal , 2006 .

[31]  Bernard Haasdonk,et al.  Data-driven time parallelism via forecasting , 2016, SIAM J. Sci. Comput..

[32]  Karline Soetaert,et al.  Solving Ordinary Differential Equations in R , 2012 .

[33]  Rim Guetat Méthode de parallélisation en temps : application aux méthodes de décomposition de domaine , 2011 .

[34]  Barry Smith,et al.  Domain Decomposition Methods for Partial Differential Equations , 1997 .

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