9ae5703e4198e002.tex
1: \begin{abstract}
2: The aim of this paper is to analyze the robust convergence of a class of parareal algorithms for solving
3: parabolic problems. The coarse propagator is fixed to the backward Euler method
4: and the fine propagator is a high-order single step integrator.
5: Under some conditions on the fine propagator,
6: we show that there exists some critical $J_*$ such
7: that the parareal solver converges linearly with a convergence rate near $0.3$,
8: provided that the ratio between the coarse time step and fine
9: time step named $J$ satisfies $J \ge J_*$.
10: The convergence is robust even if the problem data is nonsmooth and incompatible with boundary conditions. The qualified methods include all absolutely stable single step methods,
11: %all absolutely stable Runge--Kutta integrators
12: whose stability function satisfies $|r(-\infty)|<1$,
13: and hence the fine propagator could be arbitrarily high-order. Moreover, we examine some popular high-order single step methods, e.g., two-, three- and four-stage Lobatto IIIC methods,
14: and verify that the corresponding parareal algorithms converge linearly with a factor $0.31$ and the threshold for these cases is $J_* = 2$.
15: Intensive numerical examples are presented to support and complete our theoretical predictions.
16: \end{abstract}
17: