The Newton Iteration on Lie Groups

We define the Newton iteration for solving the equation f(y) = 0, where f is a map from a Lie group to its corresponding Lie algebra. Two versions are presented, which are formulated independently of any metric on the Lie group. Both formulations reduce to the standard method in the Euclidean case, and are related to existing algorithms on certain Riemannian manifolds. In particular, we show that, under classical assumptions on f, the proposed method converges quadratically. We illustrate the techniques by solving a fixed-point problem arising from the numerical integration of a Lie-type initial value problem via implicit Euler.

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

[2]  F. W. Warner.  Foundations of Differentiable Manifolds and Lie Groups , 1971 .

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

[4]  V. Arnold.  Mathematical Methods of Classical Mechanics , 1974 .

[5]  S. Helgason.  Differential Geometry, Lie Groups, and Symmetric Spaces , 1978 .

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

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

[8]  Arieh Iserles,et al.  Solving linear ordinary differential equations by exponentials of iterated commutators , 1984 .

[9]  P. Olver.  Applications of Lie Groups to Differential Equations , 1986 .

[10]  J A Oteo,et al.  The Baker-Campbell-Hausdorff formula and the convergence of the Magnus expansion , 1989 .

[11]  Yung-Ya Lin,et al.  Efficient Computation of the Matrix Exponential Using Padé Approximation , 1992, Comput. Chem..

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

[13]  R. Mahony.  Optimization algorithms on homogeneous spaces: with application in linear systems theory , 1995, Journal and proceedings of the Royal Society of New South Wales.

[14]  R. Bryant.  An introduction to Lie groups and symplectic geometry , 1995 .

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

[16]  Timothy F. Havel,et al.  Derivatives of the Matrix Exponential and Their Computation , 1995 .

[17]  Antonella Zanna,et al.  Numerical Integration of Di erential Equations on Homoge-neous Manifolds , 1996 .

[18]  R. Mahony.  The constrained newton method on a Lie group and the symmetric eigenvalue problem , 1996 .

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

[20]  Alan Edelman,et al.  The Geometry of Algorithms with Orthogonality Constraints , 1998, SIAM J. Matrix Anal. Appl..

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

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

[23]  Integration Methods Based on Rigid Frames , 1999 .

[24]  Antonella Zanna,et al.  Adjoint and Selfadjoint Lie-group Methods , 2001 .

[25]  University of Cambridge the Method of Iterated Commutators for Ordinary Diierential Equations on Lie Groups the Method of Iterated Commutators for Ordinary Diierential Equations on Lie Groups , 2007 .