Computations in a free Lie algebra
Open Access
- 15 April 1999
- journal article
- Published by The Royal Society in Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
- Vol. 357 (1754) , 957-981
- https://doi.org/10.1098/rsta.1999.0361
Abstract
Many numerical algorithms involve computations in Lie algebras, like composition and splitting methods, methods involving the Baker–Campbell–Hausdorff formula and the recently developed Lie group methods for integration of differential equations on manifolds. This paper is concerned with complexity and optimization of such computations in the general case where the Lie algebra is free, i.e. no specific assumptions are made about its structure. It is shown how transformations applied to the original variables of a problem yield elements of a graded free Lie algebra whose homogeneous subspaces are of much smaller dimension than the original ungraded one. This can lead to substantial reduction of the number of commutator computations. Witt's formula for counting commutators in a free Lie algebra is generalized to the case of a general grading. This provides good bounds on the complexity. The interplay between symbolic and numerical computations is also discussed, exemplified by the new MATLAB toolbox ‘DIFFMAN’Keywords
This publication has 18 references indexed in Scilit:
- Construction of higher order symplectic integratorsPublished by Elsevier ,2002
- High order Runge-Kutta methods on manifoldsApplied Numerical Mathematics, 1999
- Runge-Kutta methods on Lie groupsBIT Numerical Mathematics, 1998
- On the Numerical Integration of Ordinary Differential Equations by Symmetric Composition MethodsSIAM Journal on Scientific Computing, 1995
- Numerical integration of ordinary differential equations on manifoldsJournal of Nonlinear Science, 1993
- Maximal reductions in the Baker–Hausdorff formulaJournal of Mathematical Physics, 1993
- Order barriers for continuous explicit Runge-Kutta methodsMathematics of Computation, 1991
- Solving linear ordinary differential equations by exponentials of iterated commutatorsNumerische Mathematik, 1984
- On the Construction and Comparison of Difference SchemesSIAM Journal on Numerical Analysis, 1968
- On the exponential solution of differential equations for a linear operatorCommunications on Pure and Applied Mathematics, 1954