Applications of Mathematics, Vol. 65, No. 2, pp. 173-190, 2020
Domain decomposition methods coupled with parareal for the transient heat equation in 1 and 2 spatial dimensions
Ladislav Foltyn, Dalibor Lukáš, Ivo Peterek
Received August 8, 2019. Published online February 26, 2020.
Abstract: We present a parallel solution algorithm for the transient heat equation in one and two spatial dimensions. The problem is discretized in space by the lowest-order conforming finite element method. Further, a one-step time integration scheme is used for the numerical solution of the arising system of ordinary differential equations. For the latter, the parareal method decomposing the time interval into subintervals is employed. It leads to parallel solution of smaller time-dependent problems. At each time slice a pseudo-stationary elliptic heat equation is solved by means of a domain decomposition method (DDM). In the $2d$, case we employ a nonoverlapping Schur complement method, while in the $1d$ case an overlapping Schwarz DDM is employed. We document computational efficiency, as well as theoretical convergence rates of FEM semi-discretization schemes on numerical examples.
References: [1] J. H. Bramble, J. E. Pasciak, A. H. Schatz: The construction of preconditioners for elliptic problems by substructuring. I. Math. Comput. 47 (1986), 103-134. DOI 10.2307/2008084 | MR 0842125 | Zbl 0615.65112
[2] X. Dai, Y. Maday: Stable parareal in time method for first- and second-order hyperbolic systems. SIAM J. Sci. Comput. 35 (2013), A52-A78. DOI 10.1137/110861002 | MR 3033060 | Zbl 1264.65136
[3] R. D. Falgout, S. Friedhoff, T. V. Kolev, S. P. MacLachlan, J. B. Schroder: Parallel time integration with multigrid. SIAM J. Sci. Comput. 36 (2014), C635-C661. DOI 10.1137/130944230 | MR 3499068 | Zbl 1310.65115
[4] C. Farhat, M. Chandesris: Time-decomposed parallel time-integrators: theory and feasibility studies for fluid, structure, and fluid-structure applications. Int. J. Numer. Methods Eng. 58 (2003), 1397-1434. DOI 10.1002/nme.860 | MR 2012613 | Zbl 1032.74701
[5] C. Farhat, F.-X. Roux: A method of finite element tearing and interconnecting and its parallel solution algorithm. Int. J. Numer. Methods Eng. 32 (1991), 1205-1227. DOI 10.1002/nme.1620320604 | MR 3618550 | Zbl 0758.65075
[6] M. J. Gander: 50 years of time parallel time integration. Multiple Shooting and Time Domain Decomposition Methods (T. Carraro et al., eds.). Contribibutions Mathematical and Computational Sciences 9, Springer, Cham (2015), 69-113. DOI 10.1007/978-3-319-23321-5_3 | MR 3676210 | Zbl 1337.65127
[7] M. J. Gander, L. Halpern, F. Nataf: Optimal Schwarz waveform relaxation for the one dimensional wave equation. SIAM J. Numer. Anal. 41 (2003), 1643-1681. DOI 10.1137/S003614290139559X | MR 2035001 | Zbl 1085.65077
[8] M. J. Gander, Y.-L. Jiang, R.-J. Li: Parareal Schwarz waveform relaxation methods. Domain Decomposition Methods in Science and Engineering XX (R. Bank et al., eds.). Lectures Notes in Computational Science and Engineering 91, Springer, Berlin (2013), 451-458. DOI 10.1007/978-3-642-35275-1_53 | MR 3243021 | Zbl 1416.65007
[9] M. J. Gander, F. Kwok, B. C. Mandal: Dirichlet-Neumann and Neumann-Neumann waveform relaxation algorithms for parabolic problems. ETNA, Electron. Trans. Numer. Anal. 45 (2016), 424-456. MR 3582894 | Zbl 1355.65128
[10] M. J. Gander, M. Neumüller: Analysis of a new space-time parallel multigrid algorithm for parabolic problems. SIAM J. Sci. Comput. 38 (2016), A2173-A2208. DOI 10.1137/15M1046605 | MR 3521549 | Zbl 1342.65225
[11] M. J. Gander, S. Vandewalle: Analysis of the parareal time-parallel time-integration method. SIAM J. Sci. Comput. 29 (2007), 556-578. DOI 10.1137/05064607X | MR 2306258 | Zbl 1141.65064
[12] M. J. Gander, S. Vandewalle: On the superlinear and linear convergence of the parareal algorithm. Domain Decomposition Methods in Science and Engineering XVI (O. B. Widlund et al., eds.). Lectures Notes in Computational Science and Engineering 55, Springer, Berlin (2007), 291-298. DOI 10.1007/978-3-540-34469-8_34 | MR 2334115 | Zbl 1104.74004
[13] J.-L. Lions, Y. Maday, G. Turinici: Résolution d'EDP par un schéma en temps "pararéel". C. R. Acad. Sci., Paris, Sér. I, Math. 332 (2001), 661-668. (In French.) DOI 10.1016/S0764-4442(00)01793-6 | MR 1842465 | Zbl 0984.65085
[14] D. Lukáš, J. Bouchala, P. Vodstrčil, L. Malý: 2-dimensional primal domain decomposition theory in detail. Appl. Math., Praha 60 (2015), 265-283. DOI 10.1007/s10492-015-0095-5 | MR 3419962 | Zbl 1363.65215
[15] Y. Maday: The `parareal in time' algorithm. Substructuring Techniques and Domain Decomposition Methods (F. Magoulès, ed.). Computational Science, Engineering and Technology Series 24, Saxe-Coburg Publications, Stirling (2010), 19-44. DOI 10.4203/csets.24.2
[16] Y. Maday, G. Turinici: The parareal in time iterative solver: a further direction to parallel implementation. Domain Decomposition Methods in Science and Engineering (T. J. Barth et al., eds.). Lectures Notes in Computational Science and Engineering 40, Springer, Berlin (2005), 441-448. DOI 10.1007/3-540-26825-1_45 | MR 2235771 | Zbl 1067.65102
[17] J. Mandel, M. Brezina: Balancing domain decomposition for problems with large jumps in coefficients. Math. Comput. 65 (1996), 1387-1401. DOI 10.1090/S0025-5718-96-00757-0 | MR 1351204 | Zbl 0853.65129
[18] D. Mercerat, L. Guillot, J.-P. Vilotte: Application of the parareal algorithm for acoustic wave propagation. AIP Conf. Proc. 1168 (2009), 1521-1524. DOI 10.1063/1.3241388
[19] M. Neumüller: Space-Time Methods: Fast Solvers and Applications. Monographic Series, Graz University of Technology, Graz (2013).
[20] S. Schöps, I. Niyonzima, M. Clemens: Parallel-in-time simulation of eddy current problems using parareal. IEEE Trans. Magn. 54 (2018), Article No. 7200604, 1-4. DOI 10.1109/tmag.2017.2763090
[21] B. F. Smith, P. E. Bjørstad, W. D. Gropp: Domain Decomposition. Parallel Multilevel Methods for Elliptic Partial Differential Equations. Cambridge University Press, Cambridge (1996). MR 1410757 | Zbl 0857.65126
[22] V. Thomée: Galerkin Finite Element Methods for Parabolic Problems. Springer Series in Computational Mathematics 25, Springer, Berlin (2006). DOI 10.1007/3-540-33122-0 | MR 2249024 | Zbl 1105.65102
[23] A. Toselli, O. Widlund: Domain Decomposition Methods - Algorithms and Theory. Springer Series in Computational Mathematics 34, Springer, Berlin (2005). DOI 10.1007/b137868 | MR 2104179 | Zbl 1069.65138
[24] E. Zeidler: Nonlinear Functional Analysis and Its Applications. II/A: Linear Monotone Operators. Springer, New York (1990). DOI 10.1007/978-1-4612-0985-0 | MR 1033497 | Zbl 0684.47028
Affiliations: Ladislav Foltyn, Dalibor Lukáš (corresponding author), Ivo Peterek, Department of Applied Mathematics, Faculty of Electrical Engineering and Computer Science & IT4Innovations, VŠB-Technical University of Ostrava, 17. listopadu 15, 708 00 Ostrava-Poruba, Czech Republic, e-mail: ladislav.foltyn@vsb.cz, dalibor.lukas@vsb.cz, ivo.peterek@vsb.cz
