Optimized high-order splitting methods for some classes of parabolic equations
HTML articles powered by AMS MathViewer
- by S. Blanes, F. Casas, P. Chartier and A. Murua;
- Math. Comp. 82 (2013), 1559-1576
- DOI: https://doi.org/10.1090/S0025-5718-2012-02657-3
- Published electronically: December 10, 2012
- PDF | Request permission
Abstract:
We are concerned with the numerical solution obtained by splitting methods of certain parabolic partial differential equations. Splitting schemes of order higher than two with real coefficients necessarily involve negative coefficients. It has been demonstrated that this second-order barrier can be overcome by using splitting methods with complex-valued coefficients (with positive real parts). In this way, methods of orders $3$ to $14$ by using the Suzuki–Yoshida triple (and quadruple) jump composition procedure have been explicitly built. Here we reconsider this technique and show that it is inherently bounded to order $14$ and clearly sub-optimal with respect to error constants. As an alternative, we solve directly the algebraic equations arising from the order conditions and construct methods of orders $6$ and $8$ that are the most accurate ones available at present time, even when low accuracies are desired. We also show that, in the general case, 14 is not an order barrier for splitting methods with complex coefficients with positive real part by building explicitly a method of order $16$ as a composition of methods of order 8.References
- Sergio Blanes and Fernando Casas, On the necessity of negative coefficients for operator splitting schemes of order higher than two, Appl. Numer. Math. 54 (2005), no. 1, 23–37. MR 2134093, DOI 10.1016/j.apnum.2004.10.005
- Sergio Blanes, Fernando Casas, and Ander Murua, Splitting and composition methods in the numerical integration of differential equations, Bol. Soc. Esp. Mat. Apl. SeMA 45 (2008), 89–145. MR 2477860
- Sergio Blanes, Fernando Casas, and Ander Murua, Splitting methods with complex coefficients, Bol. Soc. Esp. Mat. Apl. SeMA 50 (2010), 47–60. MR 2664321, DOI 10.1007/bf03322541
- F. Castella, P. Chartier, S. Descombes, and G. Vilmart, Splitting methods with complex times for parabolic equations, BIT 49 (2009), no. 3, 487–508. MR 2545817, DOI 10.1007/s10543-009-0235-y
- Michael Creutz and Andreas Gocksch, Higher-order hybrid Monte Carlo algorithms, Phys. Rev. Lett. 63 (1989), no. 1, 9–12. MR 1001905, DOI 10.1103/PhysRevLett.63.9
- J. E. Chambers. Symplectic integrators with complex time steps. Astron. J., 126:1119–1126, 2003.
- Philippe Chartier and Ander Murua, An algebraic theory of order, M2AN Math. Model. Numer. Anal. 43 (2009), no. 4, 607–630. MR 2542867, DOI 10.1051/m2an/2009029
- Stéphane Descombes and Michelle Schatzman, Strang’s formula for holomorphic semi-groups, J. Math. Pures Appl. (9) 81 (2002), no. 1, 93–114. MR 1994884, DOI 10.1016/S0021-7824(01)01216-8
- E. Forest. Canonical integrators as tracking codes. AIP Conference Proceedings, 184:1106–1136, 1989.
- S. Fauve and O. Thual. Localized structures generated by subcritical instabilities. J. Phys. France, 49:1829–1833, 1988.
- Daniel Goldman and Tasso J. Kaper, $N$th-order operator splitting schemes and nonreversible systems, SIAM J. Numer. Anal. 33 (1996), no. 1, 349–367. MR 1377257, DOI 10.1137/0733018
- Ernst Hairer, Christian Lubich, and Gerhard Wanner, Geometric numerical integration, 2nd ed., Springer Series in Computational Mathematics, vol. 31, Springer-Verlag, Berlin, 2006. Structure-preserving algorithms for ordinary differential equations. MR 2221614
- Eskil Hansen and Alexander Ostermann, Exponential splitting for unbounded operators, Math. Comp. 78 (2009), no. 267, 1485–1496. MR 2501059, DOI 10.1090/S0025-5718-09-02213-3
- Eskil Hansen and Alexander Ostermann, High order splitting methods for analytic semigroups exist, BIT 49 (2009), no. 3, 527–542. MR 2545819, DOI 10.1007/s10543-009-0236-x
- Helge Holden, Kenneth H. Karlsen, Knut-Andreas Lie, and Nils Henrik Risebro, Splitting methods for partial differential equations with rough solutions, EMS Series of Lectures in Mathematics, European Mathematical Society (EMS), Zürich, 2010. Analysis and MATLAB programs. MR 2662342, DOI 10.4171/078
- Willem Hundsdorfer and Jan Verwer, Numerical solution of time-dependent advection-diffusion-reaction equations, Springer Series in Computational Mathematics, vol. 33, Springer-Verlag, Berlin, 2003. MR 2002152, DOI 10.1007/978-3-662-09017-6
- Tobias Jahnke and Christian Lubich, Error bounds for exponential operator splittings, BIT 40 (2000), no. 4, 735–744. MR 1799313, DOI 10.1023/A:1022396519656
- Christian Lubich, On splitting methods for Schrödinger-Poisson and cubic nonlinear Schrödinger equations, Math. Comp. 77 (2008), no. 264, 2141–2153. MR 2429878, DOI 10.1090/S0025-5718-08-02101-7
- A. Murua and J. M. Sanz-Serna, Order conditions for numerical integrators obtained by composing simpler integrators, R. Soc. Lond. Philos. Trans. Ser. A Math. Phys. Eng. Sci. 357 (1999), no. 1754, 1079–1100. MR 1694703, DOI 10.1098/rsta.1999.0365
- H. H. Rosenbrock, Some general implicit processes for the numerical solution of differential equations, Comput. J. 5 (1962/63), 329–330. MR 155434, DOI 10.1093/comjnl/5.4.329
- Q. Sheng, Solving linear partial differential equations by exponential splitting, IMA J. Numer. Anal. 9 (1989), no. 2, 199–212. MR 1000457, DOI 10.1093/imanum/9.2.199
- Masuo Suzuki, Fractal decomposition of exponential operators with applications to many-body theories and Monte Carlo simulations, Phys. Lett. A 146 (1990), no. 6, 319–323. MR 1059400, DOI 10.1016/0375-9601(90)90962-N
- Masuo Suzuki, General theory of fractal path integrals with applications to many-body theories and statistical physics, J. Math. Phys. 32 (1991), no. 2, 400–407. MR 1088360, DOI 10.1063/1.529425
- T. Tang and Zhen Huan Teng, Error bounds for fractional step methods for conservation laws with source terms, SIAM J. Numer. Anal. 32 (1995), no. 1, 110–127. MR 1313707, DOI 10.1137/0732004
- T. Tang, Convergence analysis for operator-splitting methods applied to conservation laws with stiff source terms, SIAM J. Numer. Anal. 35 (1998), no. 5, 1939–1968. MR 1639974, DOI 10.1137/S0036142996308927
- Mechthild Thalhammer, High-order exponential operator splitting methods for time-dependent Schrödinger equations, SIAM J. Numer. Anal. 46 (2008), no. 4, 2022–2038. MR 2399406, DOI 10.1137/060674636
- Haruo Yoshida, Construction of higher order symplectic integrators, Phys. Lett. A 150 (1990), no. 5-7, 262–268. MR 1078768, DOI 10.1016/0375-9601(90)90092-3
Bibliographic Information
- S. Blanes
- Affiliation: Instituto de Matemática Multidisciplinar, Universitat Politècnica de València, 46022 Valencia, Spain
- Email: serblaza@imm.upv.es
- F. Casas
- Affiliation: Departament de Matemàtiques and IMAC, Universitat Jaume I, 12071 Castellón, Spain
- Email: Fernando.Casas@mat.uji.es
- P. Chartier
- Affiliation: INRIA Rennes and Ecole Normale Supérieure de Cachan, Antenne de Bretagne, Avenue Robert Schumann, 35170 Bruz, France
- MR Author ID: 335517
- Email: Philippe.Chartier@inria.fr
- A. Murua
- Affiliation: EHU/UPV, Konputazio Zientziak eta A.A. saila, Informatika Fakultatea, 12071 Donostia/San Sebastián, Spain
- Email: Ander.Murua@ehu.es
- Received by editor(s): February 1, 2011
- Received by editor(s) in revised form: October 13, 2011, and December 2, 2011
- Published electronically: December 10, 2012
- Additional Notes: The work of the first, second and fourth authors was partially supported by Ministerio de Ciencia e Innovación (Spain) under the coordinated project MTM2010-18246-C03 (co-financed by FEDER Funds of the European Union). Financial support from the “Acción Integrada entre España y Francia” HF2008-0105 was also acknowledged
The fourth author was additionally funded by project EHU08/43 (Universidad del País Vasco/Euskal Herriko Unibertsitatea). - © Copyright 2012
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Math. Comp. 82 (2013), 1559-1576
- MSC (2010): Primary 65L05, 65P10, 37M15
- DOI: https://doi.org/10.1090/S0025-5718-2012-02657-3
- MathSciNet review: 3042575