Properties of Sobolev-type metrics in the space of curves (Q998911): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claims
Created claim: Wikidata QID (P12): Q125933023, #quickstatements; #temporary_batch_1719358096763
 
(3 intermediate revisions by 3 users not shown)
Property / author
 
Property / author: Andrea C. G. Mennucci / rank
 
Normal rank
Property / author
 
Property / author: Anthony J. Yezzi / rank
 
Normal rank
Property / author
 
Property / author: Ganesh Sundaramoorthi / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: math/0605017 / rank
 
Normal rank
Property / Wikidata QID
 
Property / Wikidata QID: Q125933023 / rank
 
Normal rank

Latest revision as of 00:29, 26 June 2024

scientific article
Language Label Description Also known as
English
Properties of Sobolev-type metrics in the space of curves
scientific article

    Statements

    Properties of Sobolev-type metrics in the space of curves (English)
    0 references
    30 January 2009
    0 references
    The authors are interested to study the differential geometry of \(B_i\equiv \text{Imm}(S^1;{\mathbb R}^n)/ \text{Diff}(S^1)\), \(n\geq 2\), where \(\text{Imm}(S^1;{\mathbb R}^n)\) is the space of immersions of the unit circle \(S^1\subset{\mathbb R}^2\) in \({\mathbb R}^n\). In particular they aim to identify a ``good metric distance function'' \(d:B_i\to{\mathbb R}\). In fact, the usual distance used in a Riemannian manifold \((M,g)\), i.e., \(d(a,b)=\text{inf}\int_{[0,1]}\sqrt{g(\dot\gamma(t),\dot\gamma(t))}\,dt\), \(\gamma\in C^1([0,1],M)\), with \(\gamma(0)=a\), and \(\gamma(1)=b\), trivially degenerates in quotient spaces like \(B_e\equiv \text{Emb}(S^1;{\mathbb R}^n)/ \text{Diff}(S^1)\), when one considers on \(M\equiv \text{Emb}(S^1;{\mathbb R}^n)\) the usual Riemannian metric \(g(c)(h,k)=\int_{S^1}\gamma\circ c(h,k)\,dt\), with \(h,k\in C^\infty(S^1,{\mathbb R}^n)\). (Here, \(M\) is an affine manifold with space of free vectors \({\mathbf M}\equiv C^\infty(S^1,{\mathbb R}^n)\), hence for the tangent space \(T_cM\), one has the canonical isomorphism \(T_cM\cong {\mathbf M}\). Furthermore, \(\gamma:{\mathbb R}^n\to S^0_2({\mathbb R}^n)\) is the standard Riemannian metric on \({\mathbb R}^n\).) For immersions \(S^1\to {\mathbb R}^n\), the situation is more complex, even if the philosophy is the same. In fact, \(B_e\equiv \text{Emb}(S^1;{\mathbb R}^n)/ \text{Diff}(S^1)\) is a Fréchet manifold, and \(\text{Emb}(S^1;{\mathbb R}^n)\to B_e\) is a principal bundle with a canonical principal connection. But \(B_i\equiv \text{Imm}(S^1;{\mathbb R}^n)/ \text{Diff}(S^1)\) is not. It is an Hausdorff orbit space with singularities. The projection \(\text{Imm}(S^1;{\mathbb R}^n)\to B_i\) is not a principal fiber bundle. The solution proposed by Michor and Mumford in some previous works for \(B_e\) is to define a new family of Riemannian metrics on \(B_e\) that depends on the curvature and on a parameter \(A\). Then the corresponding metric distances regularize, in some sense, the usual one. In this paper, the authors propose a similar regularization for immersions. In fact, they introduce Sobolev-type Riemannian metrics \(H^j\). For \(j=1,2\), they characterize the completion of the space of smooth curves and get existence of geodesics with respect to these metrics. Then the Fréchet distance of curves coincides with the one induced by the ``Finsler \(L^\infty\) metric'' previously considered by the first two authors. (In the references related previous papers are quoted.) Reviewer's remark. Let us emphasize that embeddings and immersions can be characterized in the framework of the geometric theory of PDE's. Then one can see, for example, that embeddings or immersions \(S^1\to\mathbb R^n\), can be encoded by means of equations of first order on the trivial fiber bundle \(\pi:W\equiv S^1\times\mathbb R^n\to S^1\). Formal properties, besides symmetry properties, allow to understand the relations between the original equations and their prolonged ones, as well as the corresponding reduced ones by means of symmetries. Then, for example, one can understand that Sobolev-type metrics are naturally originate in this PDE's geometric framework. [For related subjects about this see, e.g., \textit{A. Prástaro}, Boll. Unione Mat. Ital., VII. Ser., B 5, No.~4, 977--1001 (1991; Zbl 0746.57015)].
    0 references
    geodesics
    0 references
    embeddings
    0 references
    immersions
    0 references
    Sobolev-spaces
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references