Sobolev metrics on spaces of manifold valued curves
type: Item
instance of: scholarly article
title: Sobolev metrics on spaces of manifold valued curves
zbMATH Open document ID: 1546.58004
DOI: 10.2422/2036-2145.202010_016
author: Martin Bauer
author: Cy Maor
author: Peter W. Michor
published in: Annali della Scuola Normale Superiore di Pisa. Classe di Scienze. Serie V
publication date: 2024-05-21T00:00:00Z
review text: The paper studies metric and geodesic completeness of reparametrization-invariant Sobolev metrics on the spaces of open and closed immersed curves in a Riemannian manifold. For \(D = [0,2\pi]\) or \(D=S^1\) and \((\mathcal N,g)\) a complete Riemannian manifold with bounded geometry, the space of Sobolev immersions\N\[\N\mathcal I^n(D,\mathcal N) = \{c \in H^n(D,\mathcal N) : c'(\theta)\ne 0 \text{ for all } \theta \in D\}\N\]\Nis endowed with a certain class of reparametrization-invariant Sobolev metrics \(G\) of order \(n\ge 2\) (so that \(H^n(D,\mathcal N) \subset C^1(D,\mathcal N)\)). It is proved that \((\mathcal I^n(D,\mathcal N),\operatorname{dist}^G)\) is a complete metric space, \((\mathcal I^n(D,\mathcal N),G)\) is geodesically complete, and any two elements in the same connected component of \((\mathcal I^n(D,\mathcal N),G)\) can be joined by a minimizing geodesic. The results extend previous work of [\textit{M. Bruveris}, J. Geom. Mech. 7, 125--150 (2015; Zbl 1328.58007)] for closed immersed curves in Euclidean space. The more complicated structure of \(\mathcal I^n(D,\mathcal N)\) and the effects of the curvature of \(\mathcal N\) are the main differences to the Euclidean situation. For open curves, an additional challenge is posed by the presence of boundary terms in the geodesic equation.\N\NFurther related results are obtained. For instance, it was known [\textit{M. Bauer} et al., ESAIM Control Optim. Calc. Var. 25, Paper No. 72, 24 p. (2019; Zbl 07194611)] that the space of open immersed curves with respect to constant-coefficient Sobolev metrics is metrically incomplete. Here it is shown that the only way a path of immersed curves can leave this space in finite time is vanishing of the entire curve.\N\NUsing a no-loss-no-gain result of Ebin-Marsden-type, some of the results are extended to the space of \(C^\infty\) immersed curves; for open curves, regularity is only obtained in the interior.
reviewed by: Armin Rainer
Mathematics Subject Classification ID: 58B20
Mathematics Subject Classification ID: 58D10
Mathematics Subject Classification ID: 53C42
Mathematics Subject Classification ID: 35G55
Mathematics Subject Classification ID: 35G60
zbMATH DE Number: 7851376
zbMATH Keywords: Sobolev metrics
zbMATH Keywords: spaces of immersed curves in a manifold
zbMATH Keywords: completeness properties
MaRDI profile type: Publication
cites work: Sur la géométrie différentielle des groupes de Lie de dimension infinite et ses applications à l'hydrodynamique des fluides parfaits
cites work: Topological methods in hydrodynamics
cites work: The Hopf-Rinow Theorem is false in infinite Dimensions
cites work: A relaxed approach for curve matching with elastic metrics
cites work: Well-posedness of the EPDiff equation with a pseudo-differential inertia operator
cites work: Fractional Sobolev metrics on spaces of immersed curves
cites work: Overview of the geometries of shape spaces and diffeomorphism groups
cites work: Metrics on spaces of immersions where horizontality equals normality
cites work: Sobolev metrics on shape space of surfaces
cites work: Fractional Sobolev metrics on spaces of immersions
cites work: Mathematical tools for the study of the incompressible Navier-Stokes equations and related models
cites work: Completeness properties of Sobolev metrics on the space of curves
cites work: Regularity of maps between Sobolev spaces
cites work: Geodesic completeness for Sobolev metrics on the space of immersed plane curves
cites work: On completeness of groups of diffeomorphisms
cites work: Shape analysis on Lie groups with applications in computer animation
cites work: Groups of diffeomorphisms and the motion of an incompressible fluid
cites work: The Hopf-Rinow theorem in infinite dimension
cites work: On the regularity of the composition of diffeomorphisms
cites work: Local well-posedness of the EPDiff equation: a survey
cites work: Q4226699
cites work: A First Course in Sobolev Spaces
cites work: Sobolev metrics on diffeomorphism groups and the derived geometry of spaces of submanifolds
cites work: Manifolds of Mappings for Continuum Mechanics
cites work: An overview of the Riemannian metrics on spaces of curves using the Hamiltonian approach
cites work: Fredholm properties of Riemannian exponential maps on diffeomorphism groups
cites work: On Euler's equation and `EPDiff'
cites work: Riemannian Geometry
cites work: Functional and shape data analysis
cites work: Statistical analysis of trajectories on Riemannian manifolds: bird migration, hurricane tracking and video surveillance
cites work: Comparing curves in homogeneous spaces
cites work: Geodesic equations on diffeomorphism groups
cites work: Uhlenbeck compactness
cites work: Computable Elastic Distances Between Shapes
cites work: Shapes and diffeomorphisms
description: scientific article; zbMATH DE number 7851376