Foundations of Computational Mathematics

, Volume 10, Issue 6, pp 673–693

Energy-Preserving Integrators and the Structure of B-series

  • Elena Celledoni
  • Robert I. McLachlan
  • Brynjulf Owren
  • G. R. W. Quispel
Article

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.

Keywords

B-series methods Symplectic integration Energy preservation Trees Conjugate methods 

Mathematics Subject Classification (2000)

65P10 65D30 05C05 37M15 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    J.C. Butcher, Numerical Methods for Ordinary Differential Equations, 2nd edn. (Wiley, New York, 2008). MATHGoogle Scholar
  2. 2.
    M.P. Calvo, J.M. Sanz-Serna, Canonical B-series, Numer. Math. 67, 161–175 (1994). MATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    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). MATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    P. Chartier, A. Murua, Preserving first integrals and volume forms of additively split systems, IMA J. Numer. Anal. 27, 381–405 (2007). MATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    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). MATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    G.J. Cooper, Stability of Runge–Kutta methods for trajectory problems, IMA J. Numer. Anal. 7, 1–13 (1987). MATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    B.A. Davey, H.A. Priestley, Introduction to Lattices and Order (Cambridge University Press, Cambridge, 2002). MATHGoogle Scholar
  8. 8.
    K. Ebrahimi-Fard, D. Manchon, A Magnus- and Fer-type formula in dendriform algebras, Found. Comput. Math. 9, 295–316 (2009). MATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    E. Faou, E. Hairer, T.-L. Pham, Energy conservation with non-symplectic methods: examples and counter-examples, BIT Numer. Math. 44, 699–709 (2004). MATHCrossRefMathSciNetGoogle Scholar
  10. 10.
    Z. Ge, J.E. Marsden, Lie-Poisson Hamilton-Jacobi theory and Lie-Poisson integrators, Phys. Lett. A 133, 134–139 (1988). CrossRefMathSciNetGoogle Scholar
  11. 11.
    E. Hairer, S.P. Nørsett, G. Wanner, Solving Ordinary Differential Equations: I. Nonstiff Problems, 2nd edn. (Springer, Berlin, 1993). MATHGoogle Scholar
  12. 12.
    E. Hairer, C. Lubich, G. Wanner, Geometric Numerical Integration: Structure-Preserving Algorithms for Ordinary Differential Equations, 2nd edn. (Springer, Berlin, 2006). MATHGoogle Scholar
  13. 13.
    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). MATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    F. Iavernaro, B. Pace, s-Stage trapezoidal methods for the conservation of Hamiltonian functions of polynomial type, AIP Conf. Proc. 936, 603–606 (2007). CrossRefGoogle Scholar
  15. 15.
    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). MATHMathSciNetGoogle Scholar
  16. 16.
    A. Iserles, G.R.W. Quispel, P.S.P. Tse, B-series methods cannot be volume-preserving, BIT Numer. Math. 47, 351–378 (2007). MATHCrossRefMathSciNetGoogle Scholar
  17. 17.
    R.I. McLachlan, The structure of a set of vector fields on Poisson manifolds, J. Phys. A 42, 142001 (2009), 3 pp. CrossRefMathSciNetGoogle Scholar
  18. 18.
    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). MATHCrossRefMathSciNetGoogle Scholar
  19. 19.
    R.I. McLachlan, G.R.W. Quispel, N. Robidoux, Geometric integration using discrete gradients, Philos. Trans. R. Soc. A 357, 1021–1046 (1999). MATHCrossRefMathSciNetGoogle Scholar
  20. 20.
    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). MATHCrossRefMathSciNetGoogle Scholar
  21. 21.
    A. Murua, Formal series and numerical integrators, part I: Systems of ODEs and symplectic integrators, Appl. Numer. Math. 29, 221–251 (1999). MATHCrossRefMathSciNetGoogle Scholar
  22. 22.
    A. Murua, The Hopf algebra of rooted trees, free Lie algebras, and Lie series, Found. Comput. Math. 6, 387–426 (2006). MATHCrossRefMathSciNetGoogle Scholar
  23. 23.
    R. Otter, The number of trees, Ann. Math. 49(3), 583–599 (1948). CrossRefMathSciNetGoogle Scholar
  24. 24.
    G.R.W. Quispel, D.I. McLaren, A new class of energy-preserving numerical integration methods. J. Phys. A 41, 045206 (2008), 7 pp. CrossRefMathSciNetGoogle Scholar
  25. 25.
    J.E. Scully, A search for improved numerical integration methods using rooted trees and splitting. M.Sc. Thesis, La Trobe University, 2002. Google Scholar
  26. 26.
    L.F. Shampine, Conservation laws and the numerical solution of ODEs, Comput. Math. Appl. B 12, 1287–1296 (1986). MATHCrossRefMathSciNetGoogle Scholar

Copyright information

© SFoCM 2010

Authors and Affiliations

  • Elena Celledoni
    • 1
  • Robert I. McLachlan
    • 2
  • Brynjulf Owren
    • 1
  • G. R. W. Quispel
    • 3
  1. 1.Department of Mathematical SciencesNTNUTrondheimNorway
  2. 2.Institute of Fundamental SciencesMassey UniversityPalmerston NorthNew Zealand
  3. 3.Mathematics DepartmentLa Trobe UniversityVICAustralia

Personalised recommendations