Embedding-based interpolation on the special orthogonal group

DOI10.1137/17M1129416zbMATH Open1384.65017arXiv1608.05738OpenAlexW2964029910WikidataQ130127120 ScholiaQ130127120MaRDI QIDQ4607641FDOQ4607641

Evan S. Gawlik, Melvin Leok

Publication date: 14 March 2018

Published in: SIAM Journal on Scientific Computing (Search for Journal in Brave)

Abstract: We study schemes for interpolating functions that take values in the special orthogonal group $SO(n)$. Our focus is on interpolation schemes obtained by embedding $SO(n)$ in a linear space, interpolating in the linear space, and mapping the result onto $SO(n)$ via the closest point projection. The resulting interpolants inherit both the order of accuracy and the regularity of the underlying interpolants on the linear space. The values and derivatives of the interpolants admit efficient evaluation via either explicit formulas or iterative algorithms, which we detail for two choices of embeddings: the embedding of $SO(n)$ in the space of $nimesn$ matrices and, when $n=3$, the identification of $SO(3)$ with the set of unit quaternions. Along the way, we point out a connection between these interpolation schemes and geodesic finite elements. We illustrate the utility of these interpolation schemes by numerically computing minimum acceleration curves on $SO(n)$, a task which is handled naturally with $SO(n)$-valued finite elements having $C^1$-continuity.

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

Recommendations

• Interpolation in special orthogonal groups
• Spherical splines and orientation interpolation
• Fast closest logarithm algorithm in the special orthogonal group
• On the geometry of rolling and interpolation curves on \(S^n\), \(\mathrm{SO}_n\), and Grassmann manifolds
• Interpolation schemes for rigid body motions

zbMATH Keywords

iterative algorithmoptimal controlLie groupspecial orthogonal groupmanifold-valued functionRiemannian cubicrotation interpolationgeodesic finite elementminimum acceleration curves

Mathematics Subject Classification ID

Numerical interpolation (65D05) Computer-aided design (modeling of curves and surfaces) (65D17) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30)

Cites Work

• Algorithm 432 [C2]: Solution of the matrix equation AX + XB = C [F4]
• Functions of Matrices
• Numerical Optimization
• Manifolds, tensor analysis, and applications.
• Theory and practice of finite elements.
• Discrete mechanics and variational integrators
• A Hessenberg-Schur method for the problem AX + XB= C
• Consensus Optimization on Manifolds
• Some Metric Inequalities in the Space of Matrices
• Title not available (Why is that?)
• Geodesic finite elements for Cosserat rods
• Optimal a priori discretization error bounds for geodesic finite elements
• Hamilton-Pontryagin integrators on Lie groups. I: Introduction and structure-preserving properties
• Title not available (Why is that?)
• Convergence and \(C^1\) analysis of subdivision schemes on manifolds by proximity
• Geodesic finite elements of higher order
• Geodesic finite elements on simplicial grids
• Rotation averaging
• Invariant higher-order variational problems
• The dynamic interpolation problem: on Riemannian manifolds, Lie groups, and symmetric spaces
• Cubic Splines on Curved Spaces
• Three-dimensional nonlinear dynamics of slender structures: Cosserat rod element approach
• Means and Averaging in the Group of Rotations
• Smoothness Equivalence Properties of Manifold‐Valued Data Subdivision Schemes Based on the Projection Approach
• Smoothness equivalence properties of univariate subdivision schemes and their projection analogues
• Approximation order equivalence properties of manifold-valued data subdivision schemes
• Real time motion fairing with unit quaternions
• Derivatives of the stretch and rotation tensors
• \(L^{2}\)-discretization error bounds for maps into Riemannian manifolds
• On averaging rotations
• High-Order Retractions on Matrix Manifolds Using Projected Polynomials
• Iterative Computation of the Fréchet Derivative of the Polar Decomposition

Cited In (13)

• Galerkin Lie-group variational integrators based on unit quaternion interpolation
• On the global interpolation of motion
• Approximating the derivative of manifold-valued functions
• Interpolation in special orthogonal groups
• A geometrically nonlinear Cosserat shell model for orientable and non-orientable surfaces: discretization with geometric finite elements
• Projection-Based Finite Elements for Nonlinear Function Spaces
• Locally isometric embeddings of quotients of the rotation group modulo finite symmetries
• High-Order Retractions on Matrix Manifolds Using Projected Polynomials
• Geometric Finite Elements
• Spectral collocation methods for the periodic solution of flexible multibody dynamics
• A projection-based quaternion discretization of the geometrically exact beam model
• A projection-based characteristic mapping method for tracer transport on the sphere
• Iterative Computation of the Fréchet Derivative of the Polar Decomposition

Uses Software

• mftoolbox

This page was built for publication: Embedding-based interpolation on the special orthogonal group

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