Integrators on homogeneous spaces: isotropy choice and connections

DOI10.1007/S10208-015-9267-7zbMATH Open1351.22011arXiv1402.6981OpenAlexW3098745588MaRDI QIDQ330098FDOQ330098

Authors: Olivier Verdier, Hans Munthe-Kaas 

Publication date: 24 October 2016

Published in: Foundations of Computational Mathematics (Search for Journal in Brave)

Abstract: We consider numerical integrators of ODEs on homogeneous spaces (spheres, affine spaces, hyperbolic spaces). Homogeneous spaces are equipped with a built-in symmetry. A numerical integrator respects this symmetry if it is equivariant. One obtains homogeneous space integrators by combining a Lie group integrator with an isotropy choice. We show that equivariant isotropy choices combined with equivariant Lie group integrators produce equivariant homogeneous space integrators. Moreover, we show that the RKMK, Crouch--Grossman or commutator-free methods are equivariant. To show this, we give a novel description of Lie group integrators in terms of stage trees and motion maps, which unifies the known Lie group integrators. We then proceed to study the equivariant isotropy maps of order zero, which we call connections, and show that they can be identified with reductive structures and invariant principal connections. We give concrete formulas for connections in standard homogeneous spaces of interest, such as Stiefel, Grassmannian, isospectral, and polar decomposition manifolds. Finally, we show that the space of matrices of fixed rank possesses no connection.

Full work available at URL: https://arxiv.org/abs/1402.6981

Recommendations

• Geometric integration algorithms on homogeneous manifolds
• scientific article; zbMATH DE number 1008370
• On the construction of geometric integrators in the RKMK class
• Invariant connections, Lie algebra actions, and foundations of numerical integration on manifolds
• High-order integrators for Lagrangian systems on homogeneous spaces via nonholonomic mechanics

zbMATH Keywords

Stiefel manifoldpolar decompositionhomogeneous spacesRunge-Kuttaprojective spaceskeletonsymmetric spacesconnectionLax pairGrassmannianconstant rank matricesLie group integrators

Mathematics Subject Classification ID

Grassmannians, Schubert varieties, flag manifolds (14M15) Differential geometry of homogeneous manifolds (53C30) Multistep, Runge-Kutta and extrapolation methods for ordinary differential equations (65L06) Approximation methods and numerical treatment of dynamical systems (37Mxx) Homogeneous spaces (22F30) Numerical problems in dynamical systems (65Pxx)

Cites Work

• The Geometry of Algorithms with Orthogonality Constraints
• Manifolds, tensor analysis, and applications.
• Geometric Numerical Integration
• Title not available (Why is that?)
• Title not available (Why is that?)
• High order Runge-Kutta methods on manifolds
• A Riemannian framework for tensor computing
• An introduction to Lie groups and Lie algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Invariant Affine Connections on Homogeneous Spaces
• On the implementation of Lie group methods on the Stiefel manifold
• Geometric integration algorithms on homogeneous manifolds
• Six lectures on the geometric integration of ODEs
• A student's guide to symplectic spaces, Grassmannians and Maslov index
• Numerical solution of isospectral flows
• Connections on Semisimple Lie Groups
• Adjoint and selfadjoint Lie-group methods
• Aromatic Butcher series
• B-series methods are exactly the affine equivariant methods

Cited In (7)

• A numerical algorithm for \(C^2\)-splines on symmetric spaces
• Numerical accuracy of ladder schemes for parallel transport on manifolds
• Invariant connections, Lie algebra actions, and foundations of numerical integration on manifolds
• High-Order Retractions on Matrix Manifolds Using Projected Polynomials
• Geometric integration algorithms on homogeneous manifolds
• Geometric integration on symmetric spaces
• High-order integrators for Lagrangian systems on homogeneous spaces via nonholonomic mechanics

This page was built for publication: Integrators on homogeneous spaces: isotropy choice and connections

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q330098)