Abstract
B-series are a powerful tool in the analysis of Runge–Kutta numerical integrators and some of their generalizations (“B-series methods”). A general goal is to understand what structure-preservation can be achieved with B-series and to design practical numerical methods that preserve such structures. B-series of Hamiltonian vector fields have a rich algebraic structure that arises naturally in the study of symplectic or energy-preserving B-series methods and is developed in detail here. We study the linear subspaces of energy-preserving and Hamiltonian modified vector fields which admit a B-series, their finite-dimensional truncations, and their annihilators. We characterize the manifolds of B-series that are conjugate to Hamiltonian and conjugate to energy-preserving and describe the relationships of all these spaces.
Similar content being viewed by others
References
J.C. Butcher, Numerical Methods for Ordinary Differential Equations, 2nd edn. (Wiley, New York, 2008).
M.P. Calvo, J.M. Sanz-Serna, Canonical B-series, Numer. Math. 67, 161–175 (1994).
E. Celledoni, R.I. McLachlan, D.I. McLaren, B. Owren, G.R.W. Quispel, W.M. Wright, Energy-preserving Runge–Kutta methods, Math. Model. Numer. Anal. 43, 645–649 (2009).
P. Chartier, A. Murua, Preserving first integrals and volume forms of additively split systems, IMA J. Numer. Anal. 27, 381–405 (2007).
P. Chartier, E. Faou, A. Murua, An algebraic approach to invariant preserving integrators: the case of quadratic and Hamiltonian invariants, Numer. Math. 103, 575–590 (2006).
G.J. Cooper, Stability of Runge–Kutta methods for trajectory problems, IMA J. Numer. Anal. 7, 1–13 (1987).
B.A. Davey, H.A. Priestley, Introduction to Lattices and Order (Cambridge University Press, Cambridge, 2002).
K. Ebrahimi-Fard, D. Manchon, A Magnus- and Fer-type formula in dendriform algebras, Found. Comput. Math. 9, 295–316 (2009).
E. Faou, E. Hairer, T.-L. Pham, Energy conservation with non-symplectic methods: examples and counter-examples, BIT Numer. Math. 44, 699–709 (2004).
Z. Ge, J.E. Marsden, Lie-Poisson Hamilton-Jacobi theory and Lie-Poisson integrators, Phys. Lett. A 133, 134–139 (1988).
E. Hairer, S.P. Nørsett, G. Wanner, Solving Ordinary Differential Equations: I. Nonstiff Problems, 2nd edn. (Springer, Berlin, 1993).
E. Hairer, C. Lubich, G. Wanner, Geometric Numerical Integration: Structure-Preserving Algorithms for Ordinary Differential Equations, 2nd edn. (Springer, Berlin, 2006).
E. Hairer, R.I. McLachlan, R.D. Skeel, On energy conservation of the simplified Takahashi–Imada method, Math. Model. Numer. Anal. 43, 631–644 (2009).
F. Iavernaro, B. Pace, s-Stage trapezoidal methods for the conservation of Hamiltonian functions of polynomial type, AIP Conf. Proc. 936, 603–606 (2007).
F. Iavernaro, D. Trigiante, High-order symmetric schemes for energy conservation of polynomial Hamiltonian problems, J. Numer. Anal. Ind. Appl. Math. 4, 87–101 (2009).
A. Iserles, G.R.W. Quispel, P.S.P. Tse, B-series methods cannot be volume-preserving, BIT Numer. Math. 47, 351–378 (2007).
R.I. McLachlan, The structure of a set of vector fields on Poisson manifolds, J. Phys. A 42, 142001 (2009), 3 pp.
R.I. McLachlan, G.R.W. Quispel, G.S. Turner, Numerical integrators that preserve symmetries and reversing symmetries, SIAM J. Numer. Anal. 35, 586–599 (1998).
R.I. McLachlan, G.R.W. Quispel, N. Robidoux, Geometric integration using discrete gradients, Philos. Trans. R. Soc. A 357, 1021–1046 (1999).
R.I. McLachlan, G.R.W. Quispel, P.S.P. Tse, Linearization-preserving self-adjoint and symplectic integrators, BIT Numer. Math. 49, 177–197 (2009).
A. Murua, Formal series and numerical integrators, part I: Systems of ODEs and symplectic integrators, Appl. Numer. Math. 29, 221–251 (1999).
A. Murua, The Hopf algebra of rooted trees, free Lie algebras, and Lie series, Found. Comput. Math. 6, 387–426 (2006).
R. Otter, The number of trees, Ann. Math. 49(3), 583–599 (1948).
G.R.W. Quispel, D.I. McLaren, A new class of energy-preserving numerical integration methods. J. Phys. A 41, 045206 (2008), 7 pp.
J.E. Scully, A search for improved numerical integration methods using rooted trees and splitting. M.Sc. Thesis, La Trobe University, 2002.
L.F. Shampine, Conservation laws and the numerical solution of ODEs, Comput. Math. Appl. B 12, 1287–1296 (1986).
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Arieh Iserles.
Rights and permissions
About this article
Cite this article
Celledoni, E., McLachlan, R.I., Owren, B. et al. Energy-Preserving Integrators and the Structure of B-series. Found Comput Math 10, 673–693 (2010). https://doi.org/10.1007/s10208-010-9073-1
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10208-010-9073-1