Interpolation in Lie Groups

We consider interpolation in Lie groups. Based on points on the manifold together with tangent vectors at (some of) these points, we construct Hermite interpolation polynomials. If the points and tangent vectors are produced in the process of integrating an ordinary differential equation in terms of Lie-algebra actions, we use the truncated inverse of the differential of the exponential mapping and the truncated Baker--Campbell--Hausdorff formula to relatively cheaply construct an interpolation polynomial. Much effort has lately been put into research on geometric integration, i.e., the process of integrating differential equations in such a way that the configuration space of the true solution is respected by the numerical solution. Some of these methods may be viewed as generalizations of classical methods, and we investigate the construction of intrinsic dense output devices as generalizations of the continuous Runge--Kutta methods.

[1]  A. Marthinsen,et al.  Modeling and Solution of Some Mechanical Problems on Lie Groups , 1998 .

[2]  Antonella Zanna.  The method of iterated commutators for ordinary differential equations on Lie groups , 1996 .

[3]  J. H. Verner,et al.  Differentiable interpolants for high-order Runge-Kutta methods , 1993 .

[4]  P. Crouch,et al.  The De Casteljau Algorithm on Lie Groups and Spheres , 1999 .

[5]  A. Iserles,et al.  On the Implementation of the Method of Magnus Series for Linear Differential Equations , 1999 .

[6]  A. Iserles,et al.  On the solution of linear differential equations in Lie groups , 1999, Philosophical Transactions of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

[7]  W. Magnus.  On the exponential solution of differential equations for a linear operator , 1954 .

[8]  Antonella Zanna,et al.  Collocation and Relaxed Collocation for the Fer and the Magnus Expansions , 1999 .

[9]  H. Munthe-Kaas,et al.  Computations in a free Lie algebra , 1999, Philosophical Transactions of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

[10]  Arne Marthinsen,et al.  Simulation of ordinary differential equations on manifolds : some numerical experiments and verifications , 1997 .

[11]  H. Munthe-Kaas.  High order Runge-Kutta methods on manifolds , 1999 .

[12]  Marino Zennaro,et al.  Order barriers for continuous explicit Runge-Kutta methods , 1991 .

[13]  Marino Zennaro,et al.  Derivation of Efficient, Continuous, Explicit Runge-Kutta Methods , 1992, SIAM J. Sci. Comput..

[14]  V. Varadarajan.  Lie groups, Lie algebras, and their representations , 1974 .

[15]  B. Leimkuhler,et al.  Stabilization and projection methods for multibody dynamics , 1990 .

[16]  Marino Zennaro,et al.  The orders of embedded continuous explicit Runge-Kutta methods , 1995 .

[17]  H. Munthe-Kaas.  Runge-Kutta methods on Lie groups , 1998 .

[18]  F. Park,et al.  Bézier Curves on Riemannian Manifolds and Lie Groups with Kinematics Applications , 1995 .

[19]  R. Russell,et al.  Unitary integrators and applications to continuous orthonormalization techniques , 1994 .

[20]  H. Munthe-Kaas.  Lie-Butcher theory for Runge-Kutta methods , 1995 .

[21]  Ernst Hairer,et al.  Solving Ordinary Differential Equations I: Nonstiff Problems , 2009 .

[22]  I. Duff,et al.  The state of the art in numerical analysis , 1997 .

[23]  F. Krogh,et al.  Solving Ordinary Differential Equations , 2019, Programming for Computations - Python.

[24]  M. Powell,et al.  Approximation theory and methods , 1984 .

[25]  Arne Marthinsen,et al.  Runge-Kutta Methods Adapted to Manifolds and Based on Rigid Frames , 1999 .

[26]  Benedict Leimkuhler,et al.  A symplectic integrator for riemannian manifolds , 1996 .

[27]  B. Owren,et al.  The Newton Iteration on Lie Groups , 2000 .

[28]  P. Crouch,et al.  Numerical integration of ordinary differential equations on manifolds , 1993 .

[29]  J. Marsden,et al.  Introduction to mechanics and symmetry , 1994 .

[30]  G. Wanner,et al.  Perturbed collocation and Runge-Kutta methods , 1981 .

[31]  J. M. Sanz-Serna,et al.  Numerical Hamiltonian Problems , 1994 .

[32]  Elena Celledoni,et al.  Approximating the exponential from a Lie algebra to a Lie group , 2000, Math. Comput..

[33]  Arne Marthinsen,et al.  Multistep methods integrating ordinary differential equations on manifolds , 2001 .

[34]  R. Carter.  Lie Groups , 1970, Nature.