[论文解读] Metrics in the space of curves

Anthony Yezzi, Andrea Mennucci|ArXiv.org|Dec 22, 2004

Advanced Differential Geometry Research参考文献 15被引用 42

一句话总结

本文研究了曲线上无穷维流形上的黎曼几何与芬斯ler几何，聚焦于由法向形变的 $L^2$ 范数定义的 $H^0$ 度量。研究表明，由于缺乏下半连续性，$H^0$ 度量导致曲线间距离为零，但证明了在曲率约束下最小测地线的存在性。为解决此问题，作者提出了一种 $H^0$ 的共形版本，该版本保持了二阶动力学特性，实现了与水平集方法的兼容性与数值稳定性，同时维持了几何一致性。

ABSTRACT

In this paper we study geometries on the manifold of curves. We define a manifold $M$ where objects $c\in M$ are curves, which we parameterize as $c:S^1 o eal^n$ ($n\ge 2$, $S^1$ is the circle). Given a curve $c$, we define the tangent space $T_cM$ of $M$ at $c$ including in it all deformations $h:S^1 o eal^n$ of $c$. We discuss Riemannian and Finsler metrics $F(c,h)$ on this manifold $M$, and in particular the case of the geometric $H^0$ metric $F(c,h)=\int |h|^2ds$ of normal deformations $h$ of $c$; we study the existence of minimal geodesics of $H^0$ under constraints; we moreover propose a conformal version of the $H^0$ metric.

研究动机与目标

• 建立曲线上形状分析与优化所需的稳定黎曼几何。
• 解决标准 $H^0$ 度量因缺乏下半连续性而导致曲线间距离为零的根本问题。
• 开发一种共形度量，保留梯度流结构的同时确保正定距离与数值可处理性。
• 通过保持二阶演化方程，使水平集方法可用于形状优化。
• 提供与形状分析及活动轮廓模型均兼容的几何框架。

提出的方法

• 定义了 $S^1 \to \mathbb{R}^n$ 曲线的流形 $M$，并为其配备法向形变 $h$ 的切空间。
• 引入 $H^0$ 度量 $F(c,h) = \int |h|^2 ds$，表明其因存在稠密的零能量方向而无法诱导出恰当度量。
• 分析 $H^0$ 能量的下半连续松弛，证明其恒为零，从而否定距离计算的有效性。
• 在曲率有界约束下建立最小测地线的存在性，定义了具有正距离的受限形状空间。
• 提出共形度量 $\tilde{F}(c,h) = \phi(c) \cdot F(c,h)$，其中 $\phi$ 为稳定共形因子，以正则化几何结构。
• 推导出共形 $H^0$ 流，作为原始 $H^0$ 流的时间重参数化版本，保持二阶动力学特性并支持水平集方法的应用。

实验结果

研究问题

• RQ1 为何标准 $H^0$ 度量在曲线上无法诱导出正定距离？
• RQ2 在何种几何约束下，尽管 $H^0$ 度量退化，最小测地线仍可存在？
• RQ3 能否通过对 $H^0$ 度量进行共形修正，在不改变梯度流定性行为的前提下恢复适当的黎曼结构？
• RQ4 如何使所得流兼容水平集方法，后者要求使用二阶偏微分方程？
• RQ5 在共形流推导中，几何参数 $s$（弧长）与 $v_*$（曲率归一化参数）之间存在何种关系？

主要发现

• 由于存在稠密的零能量形变，$H^0$ 度量导致任意两条曲线之间的距离为零，使其作为黎曼度量无效。
• 对 $H^0$ 能量泛函的下确界连续松弛恒为零，证实了该度量的退化性。
• 当曲线被限制为曲率有界时，$H^0$ 度量中存在最小测地线，从而定义了一个具有正距离的可行形状空间。
• 所提出的共形度量保持了 $H^0$ 梯度流的结构，但通过时间重参数化进行修正，确保了二阶偏微分方程的形式。
• 共形流具有数值稳定性，并与水平集方法兼容，因其仅涉及空间与时间的二阶导数。
• 第5.3节的数值实现验证了在曲率约束下，共形流可收敛至最小测地线，从而证实了理论框架的有效性。