[論文レビュー] On the regularity of abnormal minimizers for rank $2$ sub-Riemannian structures

Davide Barilari, Yacine Chitour+3 more|arXiv (Cornell University)|Apr 3, 2018

Analytic and geometric function theory参考文献 29被引用数 40

ひとこと要約

Rank-2 サブ-Riemannian 構造における異常長さ最小化のクラスの C1 正規性を証明する。ステップ ≤ 4 のすべてのこのような最小化に対して C1 を導出し、生成 Lie アルジェブラの nilpotent 条件下でさらなる滑らかさの可能性を示唆する。

ABSTRACT

We prove the $C^{1}$ regularity for a class of abnormal length-minimizers in rank $2$ sub-Riemannian structures. As a consequence of our result, all length-minimizers for rank $2$ sub-Riemannian structures of step up to $4$ are of class $C^{1}$.

研究の動機と目的

• サブ-Riemannian ジオメトリにおける長さ最小化問題の正規性を動機づけ、厳密に異常曲線が占めるギャップを特定する。
• Rank-2 構造における異常最小化が C1 正規性を達成する条件を確立する。
• Rank-2 構造でステップが最大 4 の場合、すべての長さ最小化が C1 であることを示す。
• 生成 Lie アルジェブラに対する nilpotency 仮定の下で、より高い正規性（C∞）へ向けた道筋を提供する。
• 異常極値の動的（ハミルトン）構造を、幾何的正規性の結果と結びつける。

提案手法

• 異常極値をそれらのハミルトニアン動力学と対応する dual 変数 h_i および h_{i1...im} を通して研究する。
• 問題をデシリアライズし、nilpotent化して等規則的な Carnot 的モデルへ還元する。
• u ∈ S^1 で進化する h=(-h_{212}, h_{112}) に対する 2×2 系を導出・解析し、跡首での跡を取る A(t) を用いて跡和を取る。
• 関連する関数 h ≠ 0 の区間で最適制御が A の固有ベクトルに整列することを示し、潜在的な特異点でのリスケーリングを用いて極値点の極限を研究する。
• 行列式 A の端点での非正性結果を用い、特定の条件下でコーナー型の minimizers を排除する。

実験結果

リサーチクエスチョン

• RQ1 Rank-2 サブ-Riemannian 構造において abnormal lifting が (D^4)⊥ を避けるとき、すべての長さ最小化が C1 正規性を持つか。
• RQ2 Rank-2 サブ-Riemannian 多様体で、構造的仮定（例：ステップ ≤ 4）によりすべての長さ最小化が C1 になる条件は何か。
• RQ3 C1 を越えた C∞ 正規性をもたらす追加条件は何か。
• RQ4 デシリアライズと nilpotent 近似は abnormal minimizers の正規性にどのように影響するか。
• RQ5 Rank-2, ステップ有界の場合、ハミ Hamiltonian 動力学を通じてコーナーを長さ最小化として排除できるか。

主な発見

• Rank-2 構造の異常 minimizer が λ(t) ∉ (D^4)⊥ をすべての t で持つ場合、それは C1 である。
• 系の corollary: Rank-2 サブ-Riemannian 構造のステップ ≤ 4 の場合、すべての長さ最小化は C1 である。
• nilpotent 生成条件（Lie{X1,X2} のステップ ≤ 4）の下で、長さ最小化は実際には C∞。
• 一般の場合、異常極値の動力学は非滑らかさがコーナー状の特異性を意味する二分法を生じさせるが、前述の仮定の下で排除できる。
• 分析は Goh 条件（h1 = h2 = h12 = 0）と dh/dt = u1 h1 + u2 h2 の進化、A(t) の跡がゼロであることに依存している。
• Desingularisation は非等規則なケースを等規則モデルへ還元し、核心となる正規性の結論を保持する。