Abstract
We introduce variable step size commutator free Lie group integrators, where the error control is achieved using embedded Runge–Kutta pairs. These are schemes for the integration of initial value problems posed on homogeneous spaces by means of Lie group actions. The focus is on commutator free methods, in which the approximation evolves by composing flows generated by Lie group exponentials. Such methods are encoded by a generalization of Butcher’s Runge–Kutta tableaux, but it is known that more order conditions must be satisfied to obtain a scheme of a given order than are required for classical RK schemes. These extra considerations complicate the task of designing embedded pairs. Moreover, whilst the computational cost of RK schemes is typically dominated by function evaluations, in most situations, the dominant cost of commutator free Lie group integrators comes from computing Lie group exponentials. We therefore give Butcher tableaux for several families of methods of order 3(2) and 4(3), designed with a view to minimizing the number of Lie group exponentials required at each time step, and briefly discuss practical error control mechanisms. The methods are then applied to a selection of examples illustrating the expected behaviour.
Similar content being viewed by others
References
Berland, H., Owren, B., Skaflestad, B.: B-series and order conditions for exponential integrators. SIAM J. Numer. Anal. 43(4), 1715–1727 (2005)
Celledoni, E., Marthinsen, A., Owren, B.: Commutator-free Lie group methods. Futur. Gener. Comput. Syst. 19(3), 341–352 (2003)
Celledoni, E., Marthinsen, H., Owren, B.: An introduction to Lie group integrators—basics, new developments and applications. J. Comput. Phys. 257(part B), 1040–1061 (2014)
Crouch, P.E., Grossman, R.: Numerical integration of ordinary differential equations on manifolds. J. Nonlinear Sci. 3(1), 1–33 (1993)
Curry, C., Schmeding, S.: Convergence of Lie group integrators. arXiv:1807.11829 (2018)
Dormand, J.R., Prince, P.J.: A family of embedded Runge-Kutta formulae. J. Comput. Appl. Math. 6(1), 19–26 (1980)
Faltinsen, S.: Backward error analysis for Lie-group methods. BIT 40(4), 652–670 (2000)
Hairer, E., Lubich, Ch., Wanner, G.: Geometric Numerical Integration, volume 31 of Springer Series in Computational Mathematics. Springer, Heidelberg (2010). Structure-preserving algorithms for ordinary differential equations, Reprint of the second (2006) edition
Hairer, E., Nørsett, S.P., Wanner, G.: Solving Ordinary Differential Equations. I, Volume 8 of Springer Series in Computational Mathematics, 2nd edn. Springer-Verlag, Berlin (1993). Nonstiff problems
Holm, D.D.: Geometric Mechanics. Part II. Rotating, translating and rolling, 2nd edn. Imperial College Press, London (2011)
Iserles, A., Munthe-Kaas, H.Z., Nrsett, S.P., Zanna, A.: Lie-group methods. In: Acta Numerica, 2000, Volume 9 of Acta Numer., pp. 215–365. Cambridge University Press, Cambridge (2000)
Lundervold, A., Munthe-Kaas, H.Z.: On algebraic structures of numerical integration on vector spaces and manifolds. In: Faà Di Bruno Hopf Algebras, Dyson-Schwinger Equations, and Lie-Butcher Series, volume 21 of IRMA Lect. Math. Theor. Phys., pp. 219–263. Eur. Math. Soc., Zürich (2015)
Marsden, J.E., Ratiu, T.S.: Introduction to Mechanics and Symmetry, volume 17 of Texts in Applied Mathematics, 2nd edn. Springer-Verlag, New York (1999). A basic exposition of classical mechanical systems
Marthinsen, A., Munthe-Kaas, H.Z., Owren, B.: Simulation of ordinary differential equations on manifolds: some numerical experiments and verifications. Model. Identif. Control 18(1), 75–88 (1997)
Owren, B.: Order conditions for commutator-free Lie group methods. J. Phys. A 39(19), 5585–5599 (2006)
Owren, B., Marthinsen, A.: Runge-Kutta methods adapted to manifolds and based on rigid frames. BIT 39(1), 116–142 (1999)
Shampine, L.F., Reichelt, M.W.: The MATLAB ODE suite. SIAM J. Sci. Comput. 18(1), 1–22 (1997). Dedicated to C. William Gear on the occasion of his 60th birthday
Wensch, J.: Extrapolation methods in Lie groups. Numer. Math. 89(3), 591–604 (2001)
Acknowledgements
This work has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement no. 691070, and from The Research Council of Norway (project 231632).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Curry, C., Owren, B. Variable step size commutator free Lie group integrators. Numer Algor 82, 1359–1376 (2019). https://doi.org/10.1007/s11075-019-00659-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11075-019-00659-0