[論文レビュー] 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

ひとこと要約

本稿は、ℝᵈ 内の滑らかに埋め込まれた曲線の空間における長さ重み付きソボレフ計量の計量的完全性の十分条件を確立する。著者らは、計量の係数における漸近的減衰条件 (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.

研究の動機と目的

• 滑らかに埋め込まれた曲線の空間におけるソボレフ計量の完全性結果を、非定数で長さに依存する係数の状況にまで拡張すること。
• 誘導されたリーマン計量が計量的および測地的に完全であるための係数関数 aₖ(ℓ_c) に対する必要十分条件を特定すること。
• 提案された条件の鋭さを示すために、不完全な計量の明示的例を構成すること。
• 形状解析において自然に生じるスケール不変性を持つソボレフ計量の完全性という未解決問題に取り組むこと。
• 無限次元のリーマン多様体としての曲線空間における計量的完全性と測地的完全性の関係を調査すること。

提案手法

• 曲線の長さ ℓ_c → 0 および ℓ_c → ∞ のときの係数関数 aₖ(ℓ_c) の減衰率に関する漸近的条件 (I₀) および (I∞) を導入する。
• k ∈ {1, ..., n} に対して、少なくとも一つの係数 aₖ が (I₀) および (I∞) を満たすならば、計量が有界な測地的球上で Hⁿ(S¹, ℝᵈ) のノルムと同値であることを証明する。
• この同値性を用いて、計量球内の曲線の長さを制御し、コーシー列が測地的距離において収束することを確立する。
• 極端なスケーリング下での計量の挙動をテストするために、長さ ℓ_cₙ → 0 または → ∞ となる曲線の族 (cₙ) を構成する。
• 三角多項式の L¹ 範囲を用いた比較推定を適用し、構成された系列内の曲線間の測地的距離を評価する。
• 係数の減衰が (I₀) や (I∞) を満たさない場合、結果として得られる計量は不完全であることを、明示的な反例により示す。

実験結果

リサーチクエスチョン

• RQ1 長さに依存する係数 aₖ(ℓ_c) に対して、どのような条件下で、滑らかに埋め込まれた曲線の空間におけるソボレフ計量が計量的に完全になるか？
• RQ2 漸近的減衰条件 (I₀) および (I∞) は完全性にとって必要であるのか、それともより弱い仮定のもとでも完全性が保証されるのか？
• RQ3 計量が不完全であっても、長さ重み付きソボレフ計量の測地線が常にすべての時間にわたり存在する可能性はあるか？
• RQ4 曲線空間におけるスケール不変性を持つソボレフ計量は、同じ連結成分に属する任意の二つの曲線の間に最小化測地線をもつのか？
• RQ5 計量の不完全性は、長さが発散または消えるような曲線の族の挙動によって検出可能か？

主な発見

• ℓ → 0 または ℓ → ∞ のとき、少なくとも一つの係数 aₖ(ℓ) が速すぎず減衰するよう要請する条件 (I₀) および (I∞) は、ℐⁿ(S¹, ℝᵈ) 上の誘導される測地的距離が完全であるための十分条件である。
• n ≥ 2 の任意の長さ重み付きソボレフ計量が (I₀) および (I∞) を満たす場合、空間 ℐⁿ(S¹, ℝᵈ) は測地的に完全である。つまり、すべての測地線がすべての時間にわたり存在する。
• 同じ連結成分に属する ℐⁿ(S¹, ℝᵈ) 内の任意の二つの曲線は、同じ条件下で最小化測地線で結ばれる。
• 著者らは、(I₀) や (I∞) を満たさない長さ重み付きソボレフ計量の明示的例を構成し、それらが計量的に不完全であることを示した。これにより、条件の鋭さが裏付けられた。
• max over k において k = 0（すなわち L² 項）を含めることはできない。なぜなら、k = 0 に対して (I₀) および (I∞) が成り立つが計量が不完全である反例が存在するからである。
• 両方の条件 (I₀) および (I∞) を満たさない計量がすべて不完全であるかどうかは、まだ未解決であり、必要条件の特徴づけに潜在的なギャップがある可能性を示唆している。