技術的要約：未知関数に依存する部分リーマン・ラグランジアンに対する弱KAM定理

問題設定

本論文は、部分リーマン多様体 $(M, D, \langle \cdot, \cdot \rangle)$ 上の特定のクラスの変分問題に対して、弱KAM（コルモゴロフ・アーノルド・モス）理論を拡張することを目的としている。核心となる課題は、古典的な設定に対する二つの同時並行的な一般化にある：

1. 幾何学的制約： ラグランジアンが、全接束 $TM$ではなく、部分リーマン多様体の水平分布$D$上でのみ定義されている。これにより、許容される曲線は「水平」なもの（ほとんど至る所で$D$ に接するもの）に制限される。
2. 関数依存性： ラグランジアン $L(v, u)$ が、速度 $v$ に加えて、未知の関数 $u$（関連するハミルトン・ヤコビ方程式の解）に明示的に依存している。このことは、標準的な自律型ラグランジアンの手法を直接適用することを妨げる非線形性を導入する。

著者らは、これらの制約の下で、関連するコーシー問題に対する粘性解の存在と一意性を確立し、ラックス・オレインク・セミグループの定常解への収束（弱KAM定理）を証明することを目指している。

手法

1. 変分フレームワークと定義

著者らは、水平な絶対連続曲線の空間 $W^{1,1}_D([a, b])$ と部分リーマン長を定義する。そして、ラグランジアンのルジャンドル・フェンチェル変換を通じて、部分リーマン・接触ハミルトニアン $H: T^*M \times \mathbb{R} \to \mathbb{R}$ を次のように導入する：
$$H(p, u) = \max \{ p(v) - L(v, u) : v \in D, \pi(v) = \pi^*(p) \}$$
ラグランジアン $L \in C^2(D \times \mathbb{R})$ は、以下の3つの決定的な条件を満たすと仮定される：

• 一様超線形性： すべての $k \geq 0$ に対して $L(v, 0) \geq k\|v\| + C(k)$。
• 有界単調性： $-\lambda \leq \partial_u L(v, u) < 0$。これは、$u$ への依存性が厳密に減少であるが有界であることを保証する。
• 厳密凸性： $\partial^2_{vv} L(v, u)(w, w) \geq \kappa \|w\|^2$。

2. 非自律型ラグランジアンに対するトネリの定理

手法の大部分は、作用汎 $A_L(\gamma) = \int L(t, \dot{\gamma}(t)) dt$ に関するトネリ型の定理を部分リーマンの設定で証明することに充てられている。

• 一様可積分性： 著者らは、有界な作用を持つ曲線の族が、一様可積分な速度を持つことを証明している（補題1）。これは、$W^{1,1}$ におけるコンパクト性議論を適用するために極めて重要である。
• 下半連続性： 作用汎が一様収束に関して下半連続であることを確立している（定理4）。その証明は、水平分布が自明な局所チャートへ問題を還元し、かつ $L$ の厳密凸性を利用することを含む。
• 最小化子の存在： アルツェラ・アスキの定理と作用の下半連続性を用いて、任意の2点間の作用の最小化子の存在を証明している（系3）。

3. ラックス・セミグループと不動点議論

著者らは、連続関数 $\phi \in C(M)$ に作用するラックス・オレインク・セミグループ $T_t$ を以下のように定義する：
$$T_t[\phi](x) = \inf \left\{ \phi(\gamma(0)) + \int_0^t L(\dot{\gamma}(s), u(s, \gamma(s))) ds : \gamma \in W^{1,1}_D([0, t]), \gamma(t) = x \right\}$$
ここで $u$ は求められている解である。

• 不動点の構成： 空間 $C([0, T] \times M)$ 上の作用素 $A_\phi$ を定義し、それが広義の意味で縮小写像であることを証明する（補題3）。この作用素を反復することにより、コーシー問題の粘性解に対応する一意の不動点 $u$ を確立する。
• セミグループの性質： セミグループの性質 $T_{s+t} = T_s \circ T_t$ を証明し（系4）、単調性と非拡大性を確立する（命題3および4）。

4. 定常解への収束

弱KAM定理を証明するために、著者らは $T_t[\phi]$ の漸近挙動を分析する。

• 一様有界性と一様リプシッツ連続性： リプシッツ連続な初期データ $\phi$ に対して、族 $T_t[\phi] + c_0 t$ は一様有界であり、かつ一様リプシッツ連続であることを示す（補題4および補題5）。ここで $c_0$ はマーネ臨界値に関連する決定的な定数である。
• 極限の存在： ハミルトニアンの空間微分に関する追加の仮定（仮定1）の下で、数列 $T_t[\phi] + c_0 t$ が $t \to \infty$ として関数 $\psi$ に一様収束することを証明する。この極限 $\psi$ は、定常ハミルトン・ヤコビ方程式 $H(x, D_x \psi, \psi) = c_0$ の粘性解となる。

主要な結果

1. 存在と一意性（定理1）： 任意の連続な初期条件 $\phi$ に対して、コーシー問題：
   $$\begin{cases} u_t + H(x, D_x u, u) = 0 \\ u(0, x) = \phi(x) \end{cases}$$
   の粘性解 $u \in C([0, \infty) \times M)$ が一意に存在する。この解は、ラックス・オレインク公式によって変分的に表現される。

2. 弱KAM定理（定理2）：

   • 決定的な定数 $c_0 \in \mathbb{R}$ が存在し、リプシッツ連続な $\phi$ に対して族 $T_t[\phi] + c_0 t$ は一様有界かつ一様リプシッツ連続である。
   • $H(x, D_x \psi, \psi) = c_0$ を満たす定常解 $\psi \in \text{Lip}(M, d)$ が存在する。
   • 仮定1の下で、極限 $\lim_{t \to \infty} (T_t[\phi] + c_0 t)$ は一様に存在し、定常解を与える。

3. トネリ最小化子： 本論文は、未知関数 $u$ に依存する部分リーマン・ラグランジアンに対して、任意の2点間に作用を最小化する曲線が存在することを確立しており、古典的なトネリの結果を、この制約のある非自律的な設定へと拡張している。

意義と主張

本論文は、ラグランジアンが未知関数に依存するという条件下で、部分リーマン幾何学の文脈へと弱KAM理論の基礎的な結果を拡張することに成功したと主張している。

• 幾何学的拡張： 著者らは、分布 $D$ に対するブラケット生成条件が、誘導されたカルノー・カロテオドリー距離が多様体の位相を生成するのに十分であることを示し、これにより粘性解の定義および部分リーマンの文脈におけるコンパクト性議論（アルツェラ・アスキ）の適用を可能にしている。
• 関数依存性： $u$ への依存性（特に単調性条件 $-\lambda \leq \partial_u L < 0$）を扱うことで、ラグランジアンが自律的ではないという困難を克服している。これにより、ハミルトニアンが解自身に依存するハミルトン・ヤコビ方程式（制御理論や平均場ゲームにおいて一般的であるが、部分リーマンの設定ではこれまであまり探索されてこなかったシナリオ）の取り扱いを可能にしている。
• 変分法の堅牢性： 本研究は、基礎となる幾何学が非可積分（部分リーマン）であり、かつダイナミクスが非自律的であっても、変分的アプローチ（ラックス・オレインク・セミグループ）が、解の存在、一意性、および収束を証明するための強力なツールであり続けることを裏付けている。

著者らは、リプシッツ連続性を超えた解の正則性に関する未解決問題を解決したり、新しい実験的な応用を提案したりすることはしていない。その貢献は純粋に理論的なものであり、この特定のクラスのハミルトン・ヤコビ方程式を扱うために必要な解析的枠組みを提供している。