[論文レビュー] Stochastic homogenization of nonconvex Hamilton-Jacobi equations in one space dimension

Scott N. Armstrong, Hung V. Tran+1 more|arXiv (Cornell University)|Oct 26, 2014

Advanced Mathematical Modeling in Engineering参考文献 12被引用数 6

ひとこと要約

本稿は、1次元空間における強 coercive的で非凸なハミルトニアン・ジャコビ方程式の一般クラスに対して、衝撃構造とポテンシャルおよびハミルトニアンのバッテンの非局所的相互作用を分析するための新しい帰納的議論を用いて、確率的均質化を確立する。主な結果は、擬凸化されたハミルトニアンを持つ決定的効果的方程式への解の収束であり、凸性の設定を超えた均質化理論の拡張を実現する。

ABSTRACT

We prove stochastic homogenization for a general class of coercive, nonconvex Hamilton-Jacobi equations in one space dimension. Some properties of the effective Hamiltonian arising in the nonconvex case are also discussed.

研究の動機と目的

• 分野における主要な未解決問題である、非凸ハミルトニアン・ジャコビ方程式への確率的均質化理論の拡張。
• ハミルトニアンが非凸であるが coercive である場合に、確率的かつ定常・エルゴード的ポテンシャル下での解の挙動の分析。
• 解が明確に定義された効果的ハミルトニアンを持つ決定的効果的方程式に収束することの証明。
• 特に、大きなポテンシャルの振幅下での効果的ハミルトニアンの構造、特にその擬凸化の特徴の特定。
• ポテンシャルと非凸ハミルトニアンのバッテンの非局所的相互作用を、帰納的議論によって克服すること。

提案手法

• ランダムなポテンシャルを伴うハミルトニアン・ジャコビ方程式に対して、粘性解の枠組みを用いる。
• 解における衝撃構造を分析することで、ハミルトニアン内の非凸的「バッテン」を段階的に除去する帰納的手続きを導入する。
• 勾配が制御されたサブ・スーパーソリューションを含むメトリック問題の定式化に依存する証明。
• 粘性解を特徴付けるために、関数族 $ \mathcal{A}(H,V,\mu) $ を定義し、比較原理を用いる。
• レベル集合におけるクラスターポイントを避けるために、$ V $ の滑らかで解析的関数 $ V_\varepsilon $ による近似を用いる。
• エルゴード理論を適用し、無限区間内でポテンシャル値が本質的範囲全体をほとんど確実に密に覆うことを示す。

実験結果

リサーチクエスチョン

• RQ1 1次元空間における一般クラスの非凸ハミルトニアン・ジャコビ方程式に対して、確率的均質化を確立できるか？
• RQ2 元のハミルトニアン $ H $ が非凸的だが coercive であるとき、効果的ハミルトニアン $ \overline{H} $ はどのように振る舞うか？
• RQ3 確率的ポテンシャル $ V $ の振幅は、効果的ハミルトニアンの構造にどのような役割を果たすか？
• RQ4 ポテンシャルがハミルトニアンの非凸的特徴と非局所的に相互作用する場合、解の衝撃構造はどのように分析できるか？
• RQ5 効果的ハミルトニアンが擬凸化する条件は何か？

主な発見

• 効果的ハミルトニアン $ \overline{H} $ は連続的であり、$ |p| \to \infty $ のとき $ \overline{H}(p) \to +\infty $ を満たし、これにより強 coercivity が保証される。
• ほとんど確実に均質化が成立する：任意の有界で一様連続な初期データ $ g $ に対して、$ \lim_{\varepsilon \to 0} \sup_{(x,t) \in B_k \times [0,k]} |u^\varepsilon(x,t,g) - u(x,t,g)| = 0 $。
• ポテンシャルの振幅 $ \overline{m} $ が大きい場合、効果的ハミルトニアン $ \overline{H} $ は擬凸化する。
• 証明は、粘性解の比較原理とメトリック問題技術に依拠した、ハミルトニアン内の非凸バッテンの帰納的除去に基礎を置く。
• 近似されたポテンシャル $ V_\varepsilon $ のレベル集合にはクラスターポイントが存在せず、これが帰納的議論にとって不可欠である。
• ほとんど確実に、$ V $ の本質的範囲内のすべての値が、すべての無限区間内で密に到達される。これはエルゴード定理の結果である。