[論文レビュー] Cycle Chacterization of the Aubry Set for Weakly Coupled Hamilton-Jacobi Systems

Hassan Ibrahim, Antonio Siconolfi+1 more|arXiv (Cornell University)|Apr 27, 2016

Advanced Differential Equations and Dynamical Systems参考文献 5被引用数 4

ひとこと要約

本稿は、平坦トーラス上の弱く結合されたハミルトニアン・ジャコビ系に対して、確率的フレームワークを用いて、Aubry集合のサイクルに基づく力学的特徴付けを確立する。停止時刻を厳密に正の閾値（$\tau \gg \epsilon$）で導入することで、点がAubry集合に属するための必要十分条件として、無限小作用を持つ$\tau$-サイクルの列が存在することを証明し、スカラーの場合の結果をベクトル値設定に一般化する。

ABSTRACT

We study a class of weakly coupled systems of Hamilton-acobi equations using the random frame introduced in a previous paper of Mitake-Siconolfi-Tran-Yamada. We provide a cycle condition characterizing the points of Aubry set. This generalizes a property already known in the scalar case.

研究の動機と目的

• 弱く結合された系におけるAubry集合の力学的・幾何的特徴付けを提供すること。これは、既に知られている構造的性質とは対照的に、これまでのところ欠落していたものである。
• スカラーの場合のサイクル特徴付け（Aubry集合が無限小作用を持つサイクル上で特定される）を、行列$A$を伴うベクトル値設定に拡張すること。
• 作用関数を介して、粘性副解、許容値集合$F_\beta(y)$、および基礎となる確率的力学系との関係を確立すること。
• 高度な確率論を避けるために、行列$-A$を遷移行列とするマルコフ連鎖を用いた自己完備な確率的枠組みを構築すること。
• Aubry集合上では1次元であるが、$\mathcal{A}$の外部では空でない内部を持つ許容値の構造的二分法を、サイクル行動と結びつけること。

提案手法

• 著者たちは[9]で導入された確率的フレームワークを用い、行列$-A$を遷移行列とするマルコフ連鎖に基づき、$\mathcal{D}$（右連続で左極限を持つ経路の空間）上の経路に対して確率的作用関数を定義する。
• 彼らは、$\mathcal{I}(\Xi)(\tau) = 0$ almost surely を満たす制御$\Xi \in \mathcal{K}(\tau, 0)$として、$\tau$-サイクルを定義する。これは、停止時刻$\tau$を伴うトーラス上のループを表す。
• 主な技術的革新は、$\tau \gg \epsilon$ を満たす停止時刻の導入であり、これにより$\epsilon$-境界が自明性を防ぎ、非自明なサイクル解析を可能にする。
• 彼らは、$\tau \gg \epsilon$ に対して$e^{-\tau A}$ が正定値であることを証明し、これは遷移確率の正値性およびサイクルの存在に不可欠である。
• 作用が減少する$\tau$-サイクルの列を生成するためのサイクル反復技法を発展させ、無限小作用を持つサイクルの構成を可能にする。
• 主な特徴付けは、定理5.3および5.4に基づくもので、$y \in \mathcal{A}$ であるための必要十分条件が、$y$ を出発点とする$\tau$-サイクルの列で作用が0に近づくことであると示している。

実験結果

リサーチクエスチョン

• RQ1 弱く結合されたハミルトニアン・ジャコビ系におけるAubry集合への属するための力学的条件は何か？
• RQ2 スカラーの場合のサイクル特徴付け（無限小作用を持つサイクル上で特定される）を、行列$A$を伴う系に一般化するにはどうすればよいか？
• RQ3 停止時刻$\tau \gg \epsilon$ が非自明なサイクル行動を保証し、自明な解を避けるために果たす役割は何か？
• RQ4 Aubry集合上では1次元であるが、外部では空でない内部を持つ許容値$F_\beta(y)$の構造は、このようなサイクルの存在とどのように関連するか？
• RQ5 $\tau \gg \epsilon$ を満たす$\tau$-サイクル上で計算された作用関数は、臨界副解を完全に特徴づけることができるか？

主な発見

• 点$y \in \mathbb{T}^N$ がAubry集合$\mathcal{A}$ に属するための必要十分条件は、$\tau \gg \epsilon$ かつ作用が0に近づく$y$ を出発点とする$\tau$-サイクルの列が存在することである。
• このようなサイクルの存在は、$\tau \gg \epsilon$ に対して$e^{-\tau A}$ が正定値であることによって保証され、これは命題3.6で証明されている。
• 定理5.1で示される強化されたサイクル特徴付けにより、$\tau \gg \epsilon$ を満たす$\tau$-サイクルが、臨界副解のすべての許容値を特徴づけるのに十分であることが示された。
• 本稿は、$\mathcal{A}$ 上で$F_\beta(y)$ が1次元であるという構造と、無限小作用を持つサイクルの存在との間の直接的な関係を確立し、重要な構造的二分法を解消した。
• 第4節で開発されたサイクル反復技法により、作用が減少するサイクルの列の構成が可能となり、主要定理の証明の核となる。
• 本稿の結果は、スカラーのAubry集合のサイクル特徴付けを、ベクトル値設定に一般化し、弱く結合された系におけるAubry集合の力学的解釈を提供する。