[論文レビュー] A Lagrangian Approach to Weakly Coupled Hamilton-Jacobi Systems

Hiroyoshi Mitake, Antonio Siconolfi+2 more|arXiv (Cornell University)|Mar 2, 2015

Quantum chaos and dynamical systems被引用数 3

ひとこと要約

本稿では、ハミルトニアンから双対性を用いて作用関数を構成することにより、トーラス上における弱く結合されたハミルトン・ジャコビ系のラグランジュ的枠組みを導入する。部分解の特徴付けには変分的推定を用い、最大性を最適化した部分解を明示的に構成することで、弱KAM理論を系へと拡張する。ランダムスイッチングフレームワークを用い、右連続左極限（cadlag）経路と可測な力学系を導入する。

ABSTRACT

We study a class of weakly coupled Hamilton-Jacobi systems with a specific aim to perform a qualitative analysis in the spirit of weak KAM theory. Our main achievement is the definition of a family of related action functionals containing the Lagrangians obtained by duality from the Hamiltonians of the system. We use them to characterize, by means of a suitable estimate, all the subsolutions of the system, and to explicitly represent some subsolutions enjoying an additional maximality property. A crucial step for our analysis is to put the problem in a suitable random frame. Only some basic knowledge of measure theory is required, and the presentation is accessible to readers without background in probability.

研究の動機と目的

• 弱く結合されたハミルトン・ジャコビ系へ弱KAM理論を拡張するため、変分的・ラグランジュ的定式化を構築すること。
• 双対作用関数を含む変分的推定を用いて、系のすべての部分解を特徴付けること。
• 構築された作用関数を用いて、最大性の性質を持つ部分解を明示的に表現すること。
• 右連続左極限（cadlag）経路を用いたランダムスイッチングフレームワークに埋め込むことで、PDEの結果に対する幾何学的・力学的双対を確立すること。
• 高度な確率論の知識を必要としない測度論的道具を用い、確率論的ではあるがアクセス可能な枠組みを提供すること。

提案手法

• ハミルトニアン $ H_i $ からLegendre-Fenchel双対性を用いて導かれる作用関数の族を定義し、ラグランジュ的アプローチの核を形成する。
• 系の力学を $ \mathcal{D}(0,\infty; \mathbb{R}^N) $、すなわち $ \{1,\dots,M\} $-値の右連続左極限（cadlag）経路の空間とし、Skorohod距離を用いる。
• 結合行列 $ \Lambda $ によって制御されるランダムスイッチング機構を導入し、これは確率的行列の生成子として機能する。
• 時間積分と射影を介して、cadlag経路からトーラス $ \mathbb{T}^N $ 内の連続経路への写像 $ \mathcal{I} $ を連続的に構成する。
• $ \mathcal{D} $ 上の可測なシフトフロー $ \phi_h $ を用い、時間平行移動不変性を分析し、力学的演算の可測性を確立する。
• 優越収束定理とArzelà-Ascoliの定理を適用して、作用関数および写像 $ \mathcal{I} $ の連続性を証明し、変分的安定性を保証する。

実験結果

リサーチクエスチョン

• RQ1 弱く結合されたハミルトン・ジャコビ系に対して、弱KAM理論を拡張するためのラグランジュ的定式化をどのように構築できるか。
• RQ2 双対作用関数を含む変分的推定を用いて、系のすべての部分解をどのように特徴付けることができるか。
• RQ3 この枠組み内で、最大性の性質を持つ部分解を明示的に表現できるか。
• RQ4 右連続左極限（cadlag）経路と結合行列 $ \Lambda $ を用いてモデル化されたランダムスイッチング機構は、変分的解析をどのように支援するか。
• RQ5 シフトフロー $ \phi_h $ と可測構造は、作用関数の整合性と連続性を保証するために果たす役割は何か。

主な発見

• ハミルトニアンから双対性を用いて作用関数の族が定義され、すべての部分解の変分的特徴付けが可能になる。
• 系のすべての部分解は、構築された作用関数を含む特定の変分的推定によって特徴付けられる。
• アブリ集合内の任意の点で与えられた値を達成するという最大性の性質を持つ、特徴的な部分解が作用関数を用いて明示的に表現される。
• 優越収束定理と経路空間上の等連続性の議論を用いて、作用関数の連続性が確立される。
• cadlag経路を $ \mathbb{T}^N $ 内の連続経路へと持ち上げる写像 $ \mathcal{I} $ は、Arzelà-Ascoliの定理と優越収束定理を用いて連続であることが示される。
• シフトフロー $ \phi_h $ は可測であることが証明され、フレームワークの時間不変性と力学的整合性を支持する。