• CoefficientsA i,j andb j must satisfy the classical order conditions. This is done by picking the coefficients of any classical RK scheme of the given order.
• We must construct functions to correct for certain non-commutative effects to the given order.
These tasks are completely independent, so once correction functions are found to the given order, we can turn any classical RK scheme into an RK method of the same order on any Lie group.
The theory in this paper shows the tight connections between the algebraic structure of the order conditions of RK methods and the algebraic structure of the so called ‘universal enveloping algebra’ of Lie algebras. This may give important insight also into the classical RK theory.
KeywordsManifold Correction Function Iterate Commutator Tensor Product Basis Correct Manifold
Unable to display preview. Download preview PDF.
- 1.R. Abraham, J. E. Marsden, and T. Ratiu,Manifolds, Tensor Analysis, and Applications. AMS 75, Springer-Verlag, second edition, 1988.Google Scholar
- 2.R. L. Bryant,An introduction to Lie groups and symplectic geometry, in Geometry and Quantum Field Theory, D. S. Freed and K. K. Uhlenbeck, editors., Volume 1 of IAS/Park City Mathematics Series, AMS, second edition, 1995.Google Scholar
- 5.M. P. Calvo, A. Iserles, and A. Zanna,Runge-Kutta methods on manifolds, in A. R. Mitchell's 75th Birthday Volume, D. F. Griffiths and G. A. Watson, editors, World Scientific, Singapore pp. 57–70, 1996.Google Scholar
- 9.A. Iserles,Numerical methods on (and off) manifolds, in F. Cucker, editor, Foundation of Computational Mathematics, pp. 180–189. Springer-Verlag, 1997.Google Scholar
- 10.A. Iserles and S. P. Nørsett,On the solution of linear differential equations in Lie groups, Technical Report 1997/NA3, Department of Applied Mathematics and Theoretical Physics, University of Cambridge, England, 1997.Google Scholar
- 11.A. Iserles,Multistep methods on manifolds, Technical Report 1997/NA13, Department of Applied Mathematics and Theoretical Physics, University of Cambridge, England, 1997.Google Scholar
- 14.H. Munthe-Kaas,High order Runge-Kutta methods on manifolds, Technical Report 1997/NA14, Department of Applied Mathematics and Theoretical Physics, University of Cambridge, England, 1997.Google Scholar
- 15.H. Munthe-Kaas and A. Zanna,Numerical integration of differential equations on homogeneous manifolds, in Foundations of Computational Mathematics, F. Cucker, ed., Springer Verlag, pp. 305–315, 1997.Google Scholar
- 16.B. Owren and A. Marthinsen,Integration methods based on rigid frames, Technical Report Numerics No. 1/1997, Department of Mathematical Sciences, The Norwegian University of Science and Technology, 1997.Google Scholar
- 18.J. M. Sanz-Serna and M. P. Calvo,Numerical Hamiltonian Problems, AMMC 7, Chapman & Hall, 1994.Google Scholar
- 19.V. S. Varadarajan,Lie Groups, Lie Algebras, and Their Representation. GTM 102, Springer-Verlag, 1984.Google Scholar
- 20.F. W. Warner,Foundations of Differentiable Manifolds and Lie Groups, GTM 94, Springer-Verlag, 1983.Google Scholar
- 21.A. Zanna,The method of iterated commutators for ordinary differential equations on Lie groups, Technical Report 1996/NA12, Department of Applied Mathematics and Theoretical Physics, University of Cambridge, England, 1996.Google Scholar
- 22.A. Zanna and H. Munthe-Kaas,Iterated commutators, Lie's reduction method and ordinary differential equations on matrix Lie groups, in Foundation of Computational Mathematics, F. Cucker, ed., Springer-Verlag, pp. 434–441, 1997.Google Scholar