ترغب بنشر مسار تعليمي؟ اضغط هنا

Metric completion of $Diff([0,1])$ with the $H1$ right-invariant metric

35   0   0.0 ( 0 )
 نشر من قبل Francois-Xavier Vialard
 تاريخ النشر 2019
  مجال البحث
والبحث باللغة English




اسأل ChatGPT حول البحث

We consider the group of smooth increasing diffeomorphisms Diff on the unit interval endowed with the right-invariant $H^1$ metric. We compute the metric completion of this space which appears to be the space of increasing maps of the unit interval with boundary conditions at $0$ and $1$. We compute the lower-semicontinuous envelope associated with the length minimizing geodesic variational problem. We discuss the Eulerian and Lagrangian formulation of this relaxation and we show that smooth solutions of the EPDiff equation are length minimizing for short times.

قيم البحث

اقرأ أيضاً

316 - Cheng Hao 2011
In this article, the author proposes another way to define the completion of a metric space, which is different from the classical one via the dense property, and prove the equivalence between two definitions. This definition is based on consideratio ns from category theory, and can be generalized to arbitrary categories.
128 - Amine Hadjar , Paola Piu 2015
We show that $phi$-invariant submanifolds of metric contact pairs with orthogonal characteristic foliations make constant angles with the Reeb vector fields. Our main result is that for the normal case such submanifolds of dimension at least $2$ are all minimal. We prove that an odd-dimensional $phi$-invariant submanifold of a metric contact pair with orthogonal characteristic foliations inherits a contact form with an almost contact metric structure, and this induced structure is contact metric if and only if the submanifold is tangent to one Reeb vector field and orthogonal to the other one. Furthermore we show that the leaves of the two characteristic foliations of the differentials of the contact pair are minimal. We also prove that when one Reeb vector field is Killing and spans one characteristic foliation, the metric contact pair is a product of a contact metric manifold with $mathbb{R}$.
This paper studies a specific metric on plane curves that has the property of being isometric to classical manifold (sphere, complex projective, Stiefel, Grassmann) modulo change of parametrization, each of these classical manifolds being associated to specific qualifications of the space of curves (closed-open, modulo rotation etc...) Using these isometries, we are able to explicitely describe the geodesics, first in the parametric case, then by modding out the paremetrization and considering horizontal vectors. We also compute the sectional curvature for these spaces, and show, in particular, that the space of closed curves modulo rotation and change of parameter has positive curvature. Experimental results that explicitly compute minimizing geodesics between two closed curves are finally provided
60 - Gendi Wang , Xiaoxue Xu , 2019
We study the geometry of the scale invariant Cassinian metric and prove sharp comparison inequalities between this metric and the hyperbolic metric in the case when the domain is either the unit ball or the upper half space. We also prove sharp disto rtion inequalities for the scale invariant Cassinian metric under Mobius transformations.
This paper focuses on the study of open curves in a manifold M, and proposes a reparameterization invariant metric on the space of such paths. We use the square root velocity function (SRVF) introduced by Srivastava et al. in [11] to define a reparam eterization invariant metric on the space of immersions M = Imm([0,1], M) by pullback of a metric on the tangent bundle TM derived from the Sasaki metric. We observe that such a natural choice of Riemannian metric on TM induces a first-order Sobolev metric on M with an extra term involving the origins, and leads to a distance which takes into account the distance between the origins and the distance between the SRV representations of the curves. The geodesic equations for this metric are given, as well as an idea of how to compute the exponential map for observed trajectories in applications. This provides a generalized theoretical SRV framework for curves lying in a general manifold M .
التعليقات
جاري جلب التعليقات جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
mircosoft-partner

هل ترغب بارسال اشعارات عن اخر التحديثات في شمرا-اكاديميا