[論文レビュー] Deformation Minimal Bending of Compact Manifolds: Case of Simple Closed Curves

Oksana Bihun, Carmen Chicone|ArXiv.org|Jan 31, 2007

Advanced Numerical Analysis Techniques参考文献 8被引用数 3

ひとこと要約

本稿は、コンpactで埋め込まれ、境界のないリーマン多様体間の曲げ歪みを最小化するための変形エネルギー関数 Φ を定式化し、平面上の単純閉曲線に焦点を当てる。オイラー＝ラグランジュ方程式を導出し、長さ比 L(N)/L(M) < 1/√3 の場合、最小化子は存在しないことが証明される。一方、最小化子は |du/dt|² ≥ 1/3 を満たさねばならず、これにより最適微分同相写像における歪みが有界であることが保証される。

ABSTRACT

The problem of minimal distortion bending of smooth compact embedded connected Riemannian $n$-manifolds $M$ and $N$ without boundary is made precise by defining a deformation energy functional $Φ$ on the set of diffeomorphisms $\diff(M,N)$. We derive the Euler-Lagrange equation for $Φ$ and determine smooth minimizers of $Φ$ in case $M$ and $N$ are simple closed curves.

研究の動機と目的

• 微分同相なコンパクト多様体間の曲げ歪みを定量化する幾何的エネルギー関数 Φ を定義すること。
• R^{n+1} に埋め込まれた超曲面の一般の場合における Φ のオイラー＝ラグランジュ方程式を導出すること。
• 平面上の1次元コンパクト多様体（単純閉曲線）に対して、最小歪み問題を明示的に解くこと。
• Φ の最小化子に必要な条件を特定し、幾何的制約に基づいて存在または非存在を確立すること。

提案手法

• 変換後の目的度量のプルバックと元の度量の差として、ひずみテンソル S = h* g_N - g_M を定義する。
• 変形エネルギー関数 Φ(h) = ∫_M G(S, S) dω_M を構成する。ここで G はテンソルバンドルに誘導されたリーマン計量である。
• 滑らかな微分同相写像の変種を用い、一次変分を計算することでオイラー＝ラグランジュ方程式を導出する。
• リー微分の形式的記法を用いて二次変分を計算し、最小化子の必要条件を導出する。
• 周期的「ジグザグ」テスト関数と ε → 0 における漸近的解析を用い、局所パラメトライゼーションの微分の点ごとの下界を導出する。
• 部分積分とバッファ関数の議論を用い、二次変分の不等式を微分同相写像の微分に関する点ごとの条件に還元する。

実験結果

リサーチクエスチョン

• RQ1 変形エネルギー関数 Φ が、2つのコンパクト多様体間の微分同相写像の空間上で最小値をとる条件は何か？
• RQ2 一般のコンパクト埋め込み超曲面に対して、Φ の最小化子を支配するオイラー＝ラグランジュ方程式は何か？
• RQ3 M と N が単純閉曲線であるとき、最小化子が満たすべき幾何的制約は何か？
• RQ4 長さ比 L(N)/L(M) に基づいて、最小化子の存在を除外できるか？

主な発見

• 単純閉曲線 M と N に対して、Φ の任意の最小化子 h は、弧長座標における h の局所表現 u に対して、ほとんど everywhere で |du/dt|² ≥ 1/3 を満たす必要がある。
• 長さ比 L(N)/L(M) < 1/√3 ≈ 0.577 の場合、関数 Φ に対して最小化子は存在しない。
• 必要条件 |du/dt|² ≥ 1/3 は、周期的テストベクトル場と漸近的極限を用いた二次変分解析から生じる。
• 関数 Φ は環境空間 R² の等長変換に関して不変であり、剛体運動の下でもエネルギーが保存される。
• 一般のコンパクト多様体に対する最小化問題は未解決のままであるが、1次元の場合については完全に解決されている。
• 臨界閾値 1/√3 は鋭い：L(N)/L(M) ≥ 1/√3 の場合、最小化子が存在する可能性はあり得るが、その際は微分条件を満たしている必要がある。