[论文解读] Completeness of Length-Weighted Sobolev Metrics on the Space of Curves

Martins Bruveris, Jakob Møller-Andersen|arXiv (Cornell University)|May 22, 2017

Geometric Analysis and Curvature Flows参考文献 25被引用 6

一句话总结

本文建立了在 ℝᵈ 中浸入曲线空间上长度加权 Sobolev 度量度量完备性的充分条件。通过在度量系数上引入渐近衰减条件 (I₀) 和 (I∞)，作者证明了此类度量是测地完备的，且任意位于同一连通分支内的两条曲线之间均存在最小测地线，将先前关于常系数度量的结果推广至尺度不变、长度依赖的场合。

ABSTRACT

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.

研究动机与目标

• 将 Sobolev 度量在浸入曲线空间上的完备性结果推广至非恒定、长度依赖的系数情形。
• 确定系数函数 aₖ(ℓ_c) 的必要与充分条件，使得所诱导的黎曼度量在度量和测地意义上均完备。
• 构造不完备度量的显式例子，以证明所提条件的紧致性。
• 解决尺度不变 Sobolev 度量的完备性这一开放问题，此类度量在形状分析中自然出现。
• 研究无限维曲线黎曼流形中度量完备性与测地完备性之间的关系。

提出的方法

• 在曲线长度 ℓ_c → 0 和 ℓ_c → ∞ 时，对系数函数 aₖ(ℓ_c) 的衰减速率引入渐近条件 (I₀) 和 (I∞)。
• 证明若至少一个系数 aₖ 满足 k ∈ {1, ..., n} 时的 (I₀) 和 (I∞)，则该度量在有界测地球上等价于 Hⁿ(S¹, ℝᵈ) 范数。
• 利用此等价性控制度量球内曲线的长度，并证明柯西序列在测地距离下收敛。
• 构造一列曲线 (cₙ)，其长度 ℓ_cₙ → 0 或 → ∞，以检验度量在极端缩放下的行为。
• 通过三角多项式 L¹ 范数的比较估计，界定所构造序列中曲线之间的测地距离。
• 证明当系数衰减违反 (I₀) 或 (I∞) 时，所得度量将不满足完备性，通过显式反例予以说明。

实验结果

研究问题

• RQ1 在长度依赖系数 aₖ(ℓ_c) 满足何种条件时，浸入曲线空间上的 Sobolev 度量是度量完备的？
• RQ2 渐近衰减条件 (I₀) 和 (I∞) 对于完备性是否为必要条件？或完备性可在更弱假设下成立？
• RQ3 即使度量不完备，长度加权 Sobolev 度量的测地线是否仍可存在所有时间？
• RQ4 在曲线空间上，尺度不变 Sobolev 度量是否在同一个连通分支内的任意两条曲线之间均存在最小测地线？
• RQ5 是否可通过长度发散或趋于零的曲线序列行为来检测度量的不完备性？

主要发现

• 条件 (I₀) 和 (I∞) 要求至少一个系数 aₖ(ℓ) 在 ℓ → 0 或 ℓ → ∞ 时不衰减过快，这些条件足以保证 ℐⁿ(S¹, ℝᵈ) 上所诱导的测地距离完备。
• 对于任意满足 (I₀) 和 (I∞) 的 n ≥ 2 阶长度加权 Sobolev 度量，空间 ℐⁿ(S¹, ℝᵈ) 是测地完备的，即所有测地线均存在所有时间。
• 在相同条件下，ℐⁿ(S¹, ℝᵈ) 中同一连通分支内的任意两条曲线均可通过最小测地线连接。
• 作者构造了显式例子，表明某些长度加权 Sobolev 度量违反 (I₀) 或 (I∞)，因而度量不完备，证明了这些条件的紧致性。
• 这些条件不能放宽至包含 k = 0（即 L² 项）在 k 的最大值中，因为存在反例：(I₀) 和 (I∞) 对 k = 0 成立，但度量仍不完备。
• 本文未解决所有同时违反 (I₀) 和 (I∞) 的度量是否必然不完备的问题，提示必要条件刻画中可能存在间隙。