Abstract
We first derive necessary and sufficient stiff order conditions, up to order four, for exponential splitting schemes applied to semilinear evolution equations. The main idea is to identify the local splitting error as a sum of quadrature errors. The order conditions of the quadrature rules then yield the stiff order conditions in an explicit fashion, similarly to that of Runge–Kutta schemes. Furthermore, the derived stiff conditions coincide with the classical non-stiff conditions. Secondly, we propose an abstract convergence analysis, where the linear part of the vector field is assumed to generate a group or a semigroup and the nonlinear part is assumed to be smooth and to satisfy a set of compatibility requirements. Concrete applications include nonlinear wave equations and diffusion-reaction processes. The convergence analysis also extends to the case where the nonlinear flows in the exponential splitting scheme are approximated by a sufficiently accurate one-step method.
Similar content being viewed by others
References
Besse, C., Bidégaray, B., Descombes, S.: Order estimates in time of splitting methods for the nonlinear Schrödinger equation. SIAM J. Numer. Anal. 40, 26–40 (2002)
Blanes, S., Casas, F., Chartier, P., Murua, A.: Optimized high-order splitting methods for some classes of parabolic equations. Math. Comput. 82, 1559–1576 (2013)
Castella, F., Chartier, P., Descombes, S., Vilmart, G.: Splitting methods with complex times for parabolic equations. BIT 49, 487–508 (2009)
Faou, E.: Analysis of splitting methods for reaction-diffusion problems using stochastic calculus. Math. Comput. 78, 1467–1483 (2009)
Goldman, D., Kaper, T.: \(N\)th-order operator splitting schemes and nonreversible systems. SIAM J. Numer. Anal. 33, 349–367 (1996)
Hairer, E., Lubich, C., Wanner, G.: Geometric Numerical Integration. Springer, Berlin (2006)
Hansen, E., Kramer, F., Ostermann, A.: A second-order positivity preserving scheme for semilinear parabolic problems. Appl. Numer. Math. 62, 1428–1435 (2012)
Hansen, E., Ostermann, A.: Exponential splitting for unbounded operators. Math. Comput. 78, 1485–1496 (2009)
Hansen, E., Ostermann, A.: High order splitting methods for analytic semigroups exist. BIT 49, 527–542 (2009)
Holden, H., Lubich, C., Risebro, N.H.: Operator splitting for partial differential equations with Burgers nonlinearity. Math. Comput. 82, 173–185 (2013)
Hundsdorfer, W., Verwer, J.: Numerical Solution of Time-Dependent Advection-Diffusion-Reaction Equations. Springer, Berlin (2003)
Jahnke, T., Lubich, C.: Error bounds for exponential operator splittings. BIT 40, 735–744 (2000)
Lubich, C.: On splitting methods for Schrödinger-Poisson and cubic nonlinear Schrödinger equations. Math. Comput. 77, 2141–2153 (2008)
Murua, A., Sanz-Serna, J.: Order conditions for numerical integrators obtained by composing simpler integrators. Philos. Trans. R. Soc. Lond. A 357, 1079–1100 (1999)
Pazy, A.: Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer, New York (1983)
Renardy, M., Rogers, R.: An Introduction to Partial Differential Equations. Springer, New York (2004)
Suzuki, M.: Fractal decomposition of exponential operators with applications to many-body theories and Monte Carlo simulations. Phys. Lett. A 146, 319–323 (1990)
Temam, R.: Infinite-Dimensional Dynamical Systems in Mechanics and Physics. Springer, New York (1997)
Thalhammer, M.: High-order exponential operator splitting methods for time-dependent Schrödinger equations. SIAM J. Numer. Anal. 46, 2022–2038 (2008)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Christian Lubich.
The work of E. Hansen was supported by the Swedish Research Council under Grant 621-2011-5588.
Rights and permissions
About this article
Cite this article
Hansen, E., Ostermann, A. High-order splitting schemes for semilinear evolution equations. Bit Numer Math 56, 1303–1316 (2016). https://doi.org/10.1007/s10543-016-0604-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10543-016-0604-2
Keywords
- Splitting schemes
- Exponential splitting
- Semilinear evolution equations
- High-order methods
- Stiff orders
- Convergence