Variable step size commutator free Lie group integrators

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.