A Numerical Framework for Sobolev Metrics on the Space of Curves
Florida State University（佛罗里达州立大学）；TU Wien（维也纳工业大学）；Brunel University London（布鲁内尔伦敦大学）；Freiburg University（弗赖堡大学）；Technical University of Denmark（丹麦技术大学）
Martin Bauer, Martins Bruveris, Philipp Harms, Jakob Møller-Andersen
Statistical shape analysis can be done in a Riemannian framework by endowing the set of shapes with a Riemannian metric. Sobolev metrics of order two and higher on shape spaces of parametrized or unparametrized curves have several desirable properties not present in lower order metrics, but their discretization is still largely missing. In this paper, we present algorithms to numerically solve the geodesic initial and boundary value problems for these metrics. The combination of these algorithms enables one to compute Karcher means in a Riemannian gradient-based optimization scheme and perform principal component analysis and clustering. Our framework is sufficiently general to be applicable to a wide class of metrics. We demonstrate the effectiveness of our approach by analyzing a collection of shapes representing HeLa cell nuclei.
In this article we prove completeness results for Sobolev metrics with nonconstant coefficients on the space of immersed curves and on the space of unparametrized curves. We provide necessary as well as sufficient conditions for the coefficients of the Riemannian metric for the metric to be metrically complete and we construct examples of incomplete metrics. This work is an extension of previous work on completeness of Sobolev metrics with constant coefficients.
We find maximal representatives within equivalence classes of metric spheres. For Ahlfors regular spheres these are uniquely characterized by satisfying the seemingly unrelated notions of Sobolev-to-Lipschitz property, or volume rigidity. We also apply our construction to solutions of the Plateau problem in metric spaces and obtain a variant of the associated intrinsic disc studied by Lytchak--Wenger, which satisfies a related maximality condition.
Aiming at optimizing the shape of closed embedded curves within prescribed isotopy classes, we use a gradient-based approach to approximate stationary points of the Möbius energy. The gradients are computed with respect to Sobolev inner products similar to the $W^{3/2,2}$-inner product. This leads to optimization methods that are significantly more efficient and robust than standard techniques based on $L^2$-gradients.
Motivated by applications in the field of shape analysis, we study reparametrization invariant, fractional order Sobolev-type metrics on the space of smooth regular curves $\operatorname{Imm}(S^1,\mathbb{R}^d)$ and on its Sobolev completions $\mathcal{I}^{q}(S^1,\mathbb{R}^{d})$. We prove local well-posedness of the geodesic equations both on the Banach manifold $\mathcal{I}^{q}(S^1,\mathbb{R}^{d})$ and on the Fréchet-manifold $\operatorname{Imm}(S^1,\mathbb{R}^d)$ provided the order of the metric is greater or equal to one. In addition we show that the $H^s$-metric induces a strong Riemannian…
For a closed symplectic manifold $(M,ω)$ with compatible Riemannian metric $g$ we study the Sobolev $H^1$ geometry of the group of all $H^s$ diffeomorphisms on $M$ which preserve the symplectic structure. We show that, for sufficiently large $s$, the $H^1$ metric admits globally defined geodesics and the corresponding exponential map is a non-linear Fredholm map of index zero. Finally, we show that the $H^1$ metric carries conjugate points via some simple examples.
We consider a bounded domain $Ω$ of $\mathbb{R}^N$, $N\geq 3$, and $h$ a continuous function on $Ω$. Let $Γ$ be a closed curve contained in $Ω$. We study existence of positive solutions $u\in H^1_0(Ω)$ to the equation $$ -Δu+h u=ρ^{-σ}_Γu^{2^*_σ-1} \qquad \textrm{ in } Ω$$ where $2^*_σ:=\frac{2(N-σ)}{N-2}$, $σ\in (0,2)$, and $ρ_Γ$ is the distance function to $Γ$. For $N\geq 4$, we find a sufficient condition, given by the local geometry of the curve, for the existence of a ground-state solution. In the case $N=3$, we obtain existence of ground-state solution provided the trace of the regular p…
We study the geodesic distance induced by right-invariant metrics on the group $\operatorname{Diff}_c(M)$ of compactly supported diffeomorphisms of a manifold $M$, and show that it vanishes for the critical Sobolev norms $W^{s,n/s}$, where $n$ is the dimension of $M$ and $s\in(0,1)$. This completes the proof that the geodesic distance induced by $W^{s,p}$ vanishes if $sp\le n$ and $s<1$, and is positive otherwise. The proof is achieved by combining the techniques of two recent papers --- [JM19] by the authors, which treated the sub-critical case, and [BHP18] of Bauer, Harms and Preston, which …
We consider asymptotically hyperbolic manifolds whose metrics have Sobolev-class regularity, and introduce several technical tools for studying PDEs on such manifolds. Our results employ two novel families of function spaces suitable for metrics potentially having a large amount of interior differentiability, but whose Sobolev regularity implies only a Hölder continuous conformal structure at infinity. We establish Fredholm theorems for elliptic operators arising from metrics in these families. To demonstrate the utility of our methods, we solve the Yamabe problem in this category. As a specia…
We study the geodesic distance induced by right-invariant metrics on the group $\operatorname{Diff}_\text{c}(M)$ of compactly supported diffeomorphisms, for various Sobolev norms $W^{s,p}$. Our main result is that the geodesic distance vanishes identically on every connected component whenever $s<\min\{n/p,1\}$, where $n$ is the dimension of $M$. We also show that previous results imply that whenever $s > n/p$ or $s \ge 1$, the geodesic distance is always positive. In particular, when $n\ge 2$, the geodesic distance vanishes if and only if $s<1$ in the Riemannian case $p=2$, contrary to a conj…
We prove that the set of closed finite gap curves in hyperbolic 3-space $\mathbb{H}^3$ is $W^{2,2}$-dense in the Sobolev space of all closed $W^{2,2}$-curves in $\mathbb{H}^3$. We also show that the set of closed finite gap curves in any 2-dimensional space form $\mathbb{E}^2$ is $W^{2,2}$-dense in the Sobolev space of all closed $W^{2,2}$-curves in $\mathbb{E}^2$.
Given a probability measure $μ$ supported on a convex subset $Ω$ of Euclidean space $(\mathbb{R}^d,g_0)$, we are interested in obtaining Poincaré and log-Sobolev type inequalities on $(Ω,g_0,μ)$. To this end, we change the metric $g_0$ to a more general Riemannian one $g$, adapted in a certain sense to $μ$, and perform our analysis on $(Ω,g,μ)$. The types of metrics we consider are Hessian metrics (intimately related to associated optimal-transport problems), product metrics (which are very useful when $μ$ is unconditional, i.e. invariant under reflection with respect to the principle hyperpla…
The group $\text{Diff}(\mathcal{M})$ of diffeomorphisms of a closed manifold $\mathcal{M}$ is naturally equipped with various right-invariant Sobolev norms $W^{s,p}$. Recent work showed that for sufficiently weak norms, the geodesic distance collapses completely (namely, when $sp\le \text{dim}\mathcal{M}$ and $s<1$). But when there is no collapse, what kind of metric space is obtained? In particular, does it have a finite or infinite diameter? This is the question we study in this paper. We show that the diameter is infinite for strong enough norms, when $(s-1)p\ge \text{dim}\mathcal{M}$, and …
Geodesic distance for right invariant Sobolev metrics of fractional order on the diffeomorphism group
研究了流形$M$的紧支撑同构群$\Diff_c(M)$上的分数阶$s\geq0$的Sobolev型度量.我们证明了对于重要的特殊情况$M=S^1$的测地线距离为零的$\Diff_c(S^1)$当且仅当$s\leq\frac12$。对于其他流形，我们得到了一个部分特征：$\Diff_c(M)$上的测地距离为零$M=\R\times N, s<\frac12$和$M=S^1\times N, s\leq\frac12$，$N$是一个紧凑的黎曼流形。另一方面，$\Diff_c(M)$上的测地距离对于$\dim(M)=1, s>\frac12$和$\dim(M)\geq2, s\geq1$是正的。对于$M=\R^n$，我们讨论了这些度量的测地线方程。对于$n=1$，我们得到了一些著名的流体动力学偏微分方程：$s=0$的Burgers方程，$s=\frac 12$的修正Constantin-Lax-Majda方程和$s=1$的Camassa-Holm方程。
We obtain a compact Sobolev embedding for $H$-invariant functions in compact metric-measure spaces, where $H$ is a subgroup of the measure preserving bijections. In Riemannian manifolds, $H$ is a subgroup of the volume preserving diffeomorphisms: a compact embedding for the critical exponents follows. The results can be viewed as an extension of Sobolev embeddings of functions invariant under isometries in compact manifolds.
In this article we investigate a first order reparametrization-invariant Sobolev metric on the space of immersed curves. Motivated by applications in shape analysis where discretizations of this infinite-dimensional space are needed, we extend this metric to the space of Lipschitz curves, establish the wellposedness of the geodesic equation thereon, and show that the space of piecewise linear curves is a totally geodesic submanifold. Thus, piecewise linear curves are natural finite elements for the discretization of the geodesic equation. Interestingly, geodesics in this space can be seen as s…
We consider the results of combining two approaches developed for the design of Riemannian metrics on curves and surfaces, namely parametrization-invariant metrics of the Sobolev type on spaces of immersions, and metrics derived through Riemannian submersions from right-invariant Sobolev metrics on groups of diffeomorphisms (the latter leading to the "large deformation diffeomorphic metric mapping" framework). We show that this quite simple approach inherits the advantages of both methods, both on the theoretical and experimental levels, and provide additional flexibility and modeling power, e…
Let $F : H^q \to H^q$ be a $C^k$-map between Sobolev spaces, either on $\mathbb R^d$ or on a compact manifold. We show that equivariance of $F$ under the diffeomorphism group allows to trade regularity of $F$ as a nonlinear map for regularity in the image space: for $0 \leq l \leq k$, the map $F: H^{q+l} \to H^{q+l}$ is well-defined and of class $C^{k-l}$. This result is used to study the regularity of the geodesic boundary value problem for Sobolev metrics on the diffeomorphism group and the space of curves.
