Integrators on homogeneous spaces: isotropy choice and connections

DOI10.1007/S10208-015-9267-7MaRDI QIDQ330098zbMATH OpenOpenAlexFDO

Authors Olivier Verdier, Hans Munthe-Kaas

Publication date 24 October 2016

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

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

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)

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.

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

Cites work

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

Cited in

(7)

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

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)