On the Construction of Geometric Integrators in the RKMK Class

We consider the construction of geometric integrators in the class of RKMK methods. Any differential equation in the form of an infinitesimal generator on a homogeneous space is shown to be locally equivalent to a differential equation on the Lie algebra corresponding to the Lie group acting on the homogeneous space. This way we obtain a distinction between the coordinate-free phrasing of the differential equation and the local coordinates used. In this paper we study methods based on arbitrary local coordinates on the Lie group manifold. By choosing the coordinates to be canonical coordinates of the first kind we obtain the original method of Munthe-Kaas [16]. Methods similar to the RKMK method are developed based on the different coordinatizations of the Lie group manifold, given by the Cayley transform, diagonal Padé approximants of the exponential map, canonical coordinates of the second kind, etc. Some numerical experiments are also given.

[1]  P. Channell,et al.  Integrators for Lie-Poisson or dynamical systems , 1991 .

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

[3]  Antonella Zanna,et al.  Numerical integration of differential equations on homogeneous manifolds , 1997 .

[4]  James Wei,et al.  Lie Algebraic Solution of Linear Differential Equations , 1963 .

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

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

[7]  R. Palais.  A Global Formulation of the Lie Theory of Transformation Groups , 1957 .

[8]  P. Lancaster.  Explicit Solutions of Linear Matrix Equations , 1970 .

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

[10]  E. Norman,et al.  ON GLOBAL REPRESENTATIONS OF THE SOLUTIONS OF LINEAR DIFFERENTIAL EQUATIONS AS A PRODUCT OF EXPONENTIALS , 1964 .

[11]  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.

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

[13]  J. C. Simo,et al.  Conserving algorithms for the dynamics of Hamiltonian systems on lie groups , 1994 .

[14]  Antonella Zanna,et al.  Numerical solution of isospectral flows , 1997, Math. Comput..

[15]  Arne Marthinsen,et al.  Norges Teknisk-naturvitenskapelige Universitet Integration Methods Based on Canonical Coordinates of the Second Kind Integration Methods Based on Canonical Coordinates of the Second Kind , 2022 .

[16]  R. Abraham,et al.  Manifolds, Tensor Analysis, and Applications , 1983 .

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

[18]  Luciano Lopez,et al.  The Cayley transform in the numerical solution of unitary differential systems , 1998, Adv. Comput. Math..

[19]  P J Fox,et al.  THE FOUNDATIONS OF MECHANICS. , 1918, Science.

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

[21]  Fasma Diele,et al.  One step semi-explicit methods based on the Cayley transform for solving isospectral flows , 1998 .

[22]  Gene H. Golub,et al.  Matrix computations , 1983 .