On the solution of linear differential equations in Lie groups

The subject matter of this paper is the solution of the linear differential equation y′ = a(t)y, y(0) = y0, where y0 ∈ G, a(.): R+ → g and g is a Lie algebra of the Lie group G. By building upon an earlier work of Wilhelm Magnus, we represent the solution as an infinite series whose terms are indexed by binary trees. This relationship between the infinite series and binary trees leads both to a convergence proof and to a constructive computational algorithm. This numerical method requires the evaluation of a large number of multivariate integrals, but this can be accomplished in a tractable manner by using quadrature schemes in a novel manner and by exploiting the structure of the Lie algebra.

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

[2]  H. Munthe-Kaas.  Runge{kutta Methods on Manifolds , 1995 .

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

[4]  Richard M. Wilson,et al.  A course in combinatorics , 1992 .

[5]  Ronald Cools,et al.  Constructing cubature formulae: the science behind the art , 1997, Acta Numerica.

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

[7]  G. S. Turner,et al.  Discrete gradient methods for solving ODEs numerically while preserving a first integral , 1996 .

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

[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]  P. Crouch,et al.  Numerical integration of ordinary differential equations on manifolds , 1993 .

[11]  Bounds for approximate solutions to the operator differential equation Ẏ(t) = M(t)Y(t); applications to Magnus expansion and to ü + [1 + ƒ(t)]u = 0☆ , 1972 .

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

[13]  A. L. Onishchik,et al.  Lie Groups and Lie Algebras III , 1993 .

[14]  Antonella Zanna,et al.  Iterated commutators, Lie's reduction method and ordinary differential equations on matrix Lie groups , 1997 .

[15]  P. Olver.  Equivalence, Invariants, and Symmetry: References , 1995 .

[16]  N. Bourbaki.  Lie groups and Lie algebras , 1998 .

[17]  F. Casas.  Solution of linear partial differential equations by Lie algebraic methods , 1996 .

[18]  RUNGE{KUTTA METHODS ON MANIFOLDS , 1999 .

[19]  Frank Harary,et al.  Graph Theory , 2016 .

[20]  F. Hausdorff,et al.  Die symbolische Exponentialformel in der Gruppentheorie , 2001 .

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

[22]  R. Bellman.  Stability theory of differential equations , 1953 .

[23]  Roger W. Brockett.  Volterra series and geometric control theory , 1976, Autom..

[24]  Louis Comtet,et al.  Analyse combinatoire avancée , 2015, Mathématiques.

[25]  R. Otter.  The Number of Trees , 1948 .

[26]  Numerical methods on (and off) manifolds , 1997 .

[27]  Irene A. Stegun,et al.  Handbook of Mathematical Functions. , 1966 .