Advertisement

BIT Numerical Mathematics

, Volume 38, Issue 1, pp 92–111 | Cite as

Runge-Kutta methods on Lie groups

  • Hans Munthe-Kaas
Article

Abstract

We construct generalized Runge-Kutta methods for integration of differential equations evolving on a Lie group. The methods are using intrinsic operations on the group, and we are hence guaranteed that the numerical solution will evolve on the correct manifold. Our methods must satisfy two different criteria to achieve a given order.
  • • 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.

Keywords

Manifold Correction Function Iterate Commutator Tensor Product Basis Correct Manifold 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    R. Abraham, J. E. Marsden, and T. Ratiu,Manifolds, Tensor Analysis, and Applications. AMS 75, Springer-Verlag, second edition, 1988.Google Scholar
  2. 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
  3. 3.
    J. C. Butcher,Coefficients for the study of Runge-Kutta integration processes, J. Austral. Math. Soc., 3 (1963), pp. 185–201.zbMATHMathSciNetCrossRefGoogle Scholar
  4. 4.
    J. C. Butcher,An algebraic theory of integration methods, Math. Comput., 26 (1972), pp. 79–106.zbMATHMathSciNetCrossRefGoogle Scholar
  5. 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
  6. 6.
    P. E. Crouch and R. Grossman,Numerical integration of ordinay differential equations on manifolds, J. Nonlinear Sci., 3 (1993), pp. 1–33.zbMATHMathSciNetCrossRefGoogle Scholar
  7. 7.
    E. Hairer, S. P. Nørsett, and G. Wanner,Solving Ordinary Differential Equations I, Volume 8 of SCM. Springer-Verlag, Berlin, 1987.zbMATHGoogle Scholar
  8. 8.
    A. Iserles,Solving linear ordinary differential equations by exponentials of iterated commutators, Numer. Math., 45:183–199, 1984.zbMATHMathSciNetCrossRefGoogle Scholar
  9. 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. 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. 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
  12. 12.
    A. Marthinsen, H. Munthe-Kaas, and B. Owren,Simulation of ordinary differential equations on manifolds—some numerical experiments and verifications, Modeling, Identification and Control, 18 (1997), pp. 75–88.zbMATHCrossRefGoogle Scholar
  13. 13.
    H. Munthe-Kaas,Lie-Butcher theory for Runge-Kutta methods, BIT, 35 (1995), pp. 572–587.zbMATHMathSciNetCrossRefGoogle Scholar
  14. 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. 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. 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
  17. 17.
    R. D. Russel, L. Dieci, and E. S. van Vleck,Unitary integrators and applications to continuous orthonormalization techniques, SIAM J. Numer. Anal., 31:1 (1994), pp. 261–281.MathSciNetCrossRefGoogle Scholar
  18. 18.
    J. M. Sanz-Serna and M. P. Calvo,Numerical Hamiltonian Problems, AMMC 7, Chapman & Hall, 1994.Google Scholar
  19. 19.
    V. S. Varadarajan,Lie Groups, Lie Algebras, and Their Representation. GTM 102, Springer-Verlag, 1984.Google Scholar
  20. 20.
    F. W. Warner,Foundations of Differentiable Manifolds and Lie Groups, GTM 94, Springer-Verlag, 1983.Google Scholar
  21. 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. 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

Copyright information

© Swets & Zeitlinger 1998

Authors and Affiliations

  • Hans Munthe-Kaas
    • 1
  1. 1.Department of InformaticsUniversity of BergenBergenNorway

Personalised recommendations