[論文レビュー] The Lojasiewicz-Simon inequality for the elastic flow

Carlo Mantegazza, Marco Pozzetta|arXiv (Cornell University)|Jul 31, 2020

Geometric Analysis and Curvature Flows参考文献 11被引用数 8

ひとこと要約

本稿では、滑らかな曲線のエネルギー関数の勾配流が、$\mathbb{R}^n$ 内の閉曲線に対して、完全な滑らかな収束を示す。そのために、Łojasiewicz–Simon 勾配不等式の洗練された応用が用いられ、流れの収束が再パrametrization を除き、すべての $m \in \mathbb{N}$ に対して $C^m$ 位相で成立することを示した。これは、部分収束が完全収束に拡張可能かどうかという長年の未解決問題を解決するものである。

ABSTRACT

We define the elastic energy of smooth immersed closed curves in $\mathbb{R}^n$ as the sum of the length and the $L^2$-norm of the curvature, with respect to the length measure. We prove that the $L^2$-gradient flow of this energy smoothly converges asymptotically to a critical point. One of our aims was to the present the application of a Lojasiewicz-Simon inequality, which is at the core of the proof, in a quite concise and versatile way.

研究の動機と目的

• 閉曲線のエネルギー勾配流が、既知の部分収束を超えて完全な滑らかな収束を示すこと。
• 時間に沿った $L^2$-推定を $L^1$-in-time の流れ速度の制御に高めるために、Łojasiewicz–Simon 不等式が果たす本質的役割を示すこと。
• 微分幾何的流れ理論における Łojasiewicz–Simon 不等式の簡潔で汎用性の高い応用を提供すること。
• 結果を $\mathbb{S}^2$ や $\mathbb{H}^2$ などのより一般的な設定、および正の定数を含む修正された汎関数に拡張すること。

提案手法

• 曲率ベクトル $k$ と弧長測度 $ds$ を用いて、$\mathscr{E}(\gamma) = \int_{\mathbb{S}^1} \left(1 + \frac{1}{2}|k|^2\right) ds$ として、エネルギーを定式化する。
• エネルギー $\mathscr{E}$ の $L^2$-勾配流として、$\partial_t \gamma = -\nabla^\perp \nabla^\perp k - \frac{1}{2}|k|^2 k + k$ を導出する。
• 抽象的な Łojasiewicz–Simon 勾配不等式を適用し、エネルギー差 $\mathscr{E}(\widetilde{\gamma}_t) - \mathscr{E}(\gamma_\infty)$ の減衰を流れ速度の $L^2$ ノルムで制御する。
• 補間不等式とSobolev埋め込みを用いて、$H^m$ からの収束をすべての $m \in \mathbb{N}$ に対して $C^m$ に高める。
• 剛体運動に対するエネルギーの不変性に対処するため、再パラメトライゼーションと平行移動不変正規化を導入する。
• Łojasiewicz–Simon 不等式を用いて、$\|\partial_t \widetilde{\gamma}\|_{L^2(d\theta)}$ の時間に沿った $L^1$-推定を確立し、これが完全収束に不可欠である。

実験結果

リサーチクエスチョン

• RQ1 エネルギー勾配流の部分収束が、再パラメトライゼーションを除き、完全な滑らかな収束に拡張可能か？
• RQ2 Łojasiewicz–Simon 不等式が微分幾何的勾配流の収束を保証するために果たす正確な役割は何か？
• RQ3 なぜ時間に沿った $L^1$-推定が必要で、$L^2$-推定では不十分なのか？
• RQ4 この収束結果は、$\mathbb{S}^2$ や $\mathbb{H}^2$ などの他のリーマン多様体におけるエネルギー勾配流に拡張可能か？
• RQ5 初期曲線のエネルギーまたは幾何的性質で、流れの軌道のコンパクトネスを定量的に記述できるか？

主な発見

• すべての $m \in \mathbb{N}$ に対して、$\mathbb{R}^n$ 内のエネルギー勾配流は、再パラメトライゼーションおよび平行移動を除き、$C^m$ 位相で滑らかに収束し、エネルギーの臨界点に到達する。
• Łojasiewicz–Simon 不等式により、時間に沿った $L^1$-推定が得られ、これは標準的なエネルギー散逸法だけでは得られない。
• 時間に沿った $\|\partial_t \widetilde{\gamma}\|_{L^2(d\theta)}$ の $L^1$-制御は、流れの軌道の全 Variation が有限であることを示し、収束を保証する。
• エネルギー関数の摂動、例えばエネルギー密度に正の定数 $\lambda > 0$ を加えた場合でも、収束性は安定に保たれる。
• 結果は $\mathbb{S}^2$ や $\mathbb{H}^2$ におけるエネルギー勾配流に拡張可能であり、任意の完備かつ一様なリーマン多様体に対しても同様に成り立つと予想される。
• 流れはすべての時間において、初期曲線に依存するコンパクト集合 $K \subset \mathbb{R}^n$ 内に一様に有界であるが、そのサイズは初期曲線に依存し、未だ定量化されていない。