Stochastic Homogenization of Non-local Hamilton-Jacobi-Bellman equations

技術要約：非局所ハミルトン・ヤコビ・ベルマン方程式の確率的ホモジナイゼーション

問題設定
本論文は、定常エルゴード的なランダム媒体における非局所ハミルトン・ヤコビ・ベルマン（HJB）方程式の確率的ホモジナイゼーションを扱う。対象となる具体的な方程式は以下の通りである：
$$\begin{cases} \partial_t u^\epsilon(t, x) = \epsilon^{\alpha-1} \mathcal{L} u^\epsilon(t, x) + H\left(\nabla u^\epsilon(t, x), \frac{x}{\epsilon}, \omega\right), & (t, x) \in [0, \infty) \times \mathbb{R}^n, \\ u^\epsilon(0, x) = u_0(x), & x \in \mathbb{R}^n, \end{cases}$$
ここで $\alpha \in (1, 2)$ であり、$\omega$ は確率空間 $(\Omega, \mathcal{F}, P)$ の要素を表し、$H$ は急速なランダム振動を伴う凸かつ超線形成長のハミルトニアンである。作用素 $\mathcal{L}$ は、単位球面上で滑らかで非負かつ一様非退化な関数 $K$ を持つレヴィ・メジャー $K(\hat{y})|y|^{-n-\alpha}dy$ によって定義される非局所的な積分微分作用素である。この作用符は、$\alpha$ 安定型型のジャンプ拡散過程の無限小生成器として機能する。

目的は、$\epsilon \to 0$ のとき、$u^\epsilon$ が以下の決定論的なホモジナイズド方程式の解 $u$ に局所一様に（ほとんど確実に）収束することを証明することである：
$$\begin{cases} \partial_t u(t, x) = \bar{H}(\nabla u(t, x)), \\ u(0, x) = u_0(x), \end{cases}$$
ここで $\bar{H}$ は、空間変数 $x$ およびランダムパラメータ $\omega$ に依存しない、決定論的な凸有効ハミルトニアンである。

手法
著者らは、消失するラプラシアン項を伴う局所HJB方程式に対して開発されたKosygina, Rezakhanlou, and Varadhan (CPAM 2006) による手法を、ジャンプ拡散を含む非局所的な設定へと適応させている。その手法は、主に以下の3つの柱に基づいている：

1. 確率的最適制御表現： $u^\epsilon$ は、ジャンプ拡散過程によって駆動される確率的制御問題を通じて表現される。著者らは、非局所作用素 $\mathcal{L}$ が「発散形式」 $\mathcal{L}u = \nabla \cdot (\mathcal{R}\nabla u)$ （ここで $\mathcal{R}$ は正則な積分作用素）として書き換えられることを確立している。この構造的特徴付けは、ホモジナイゼーションの過程において非局所項を扱うために極めて重要である。

2. 環境過程と有効ハミルトニアン： [24] の手法に従い、著者らは物理空間 $\mathbb{R}^n$ から確率空間 $\Omega$ へジャンプ拡散過程をリフトアップし、「環境過程」 $\theta_t$ を定義する。この過程のエルゴード性を用いて、有効ラグランジアン $\bar{L}$ を導出し、次いで、環境過程の不変測量を伴う変分公式を通じて有効ハミルトニアン $\bar{H}$ を定義する。

3. 近似超解（Approximate Super-Correctors）： 収束の上界（困難な方向）を確立するために、著者らは近似超解（super-correctors）を構成する。これには、非局所発散作用素 $J$ とハミルトニアンに関する特定の不等式を満たすランダムなベクトル場 $v$ を見つけることが含まれる：
   $$Jv(\omega) + H(p + v(\omega), \omega) \leq \bar{H}(p).$$
   これらの補正器（correctors）の構成は主要な技術的独創性であり、非局所作用素の特異性と標準的な楕円型正則性の欠如を処理する必要がある。

主要な貢献と結果

• 主定理 (Theorem 1.1): 標準的な定常エルゴード仮定および凸性・超線形成長条件（仮定A）の下で、本論文は $u^\epsilon$ が $u$ にほとんど確実に局所一様に収束することを証明している。この結果は、以下の2つの追加的な技術的仮定のいずれかの下で成立する：

  • 仮定 (B): ハミルトニアン $H$ に関する特定の凸性・連続性条件（変数分離に関連するもの）。
  • 仮定 (C): ハミルトニアンの成長指数 $\beta$ が $\beta > n$ を満たすことを要求する条件。これにより、ソボレフ埋め込み定理の適用が可能となる。

• 発散形式による特徴付け： 本論文は、非局所作用素 $\mathcal{L}$ を勾配に作用する正則な積分作用素の発散として明示的に特徴付けている（セクション2.2）。この表現 $\mathcal{L} = J \circ \nabla = \nabla \cdot \mathcal{R} \circ \nabla$ は、ランダム環境における補正器を定義するために不可欠である。

• 正則性評価： 著者らは、解 $u^\epsilon$ に関する空間および時間に関する明示的な正則性評価を導出し、それが $\epsilon$ に依存することを示している（定理4.1）。これらの評価は、点収束から局所一様収束へと格上げするために使用される。

• 近似超解の構成： 本論文では、非局所的なケースにおける近似超解の構成を詳述している。補正器がしばしばPDE的手法によって構成される局所的なケースとは異なり、ここでは著者らは非局所作用素 $J$ を扱うために、ランダム変数の空間における凸解析とモルフィケーション（滑化）の手法を用いている。

意義と主張
本論文は、定常なランダム環境における、消失する非局所項を伴う非局所HJB方程式の確率的ホモジナイゼーションを扱う最初の研究であると主張している。

• 既存理論の拡張： 本研究は、Kosygina, Rezakhanlou, and Varadhan [24] による局所的（拡散）設定からの成果を、非局所的（ジャンプ拡散）設定へと拡張するものである。
• 手法の適応： 消失するラプラシアンを伴うケースのために設計された制御表現および環境過程の手法が、ジャンプ過程に対しても成功裏に適応できることを示している。著者らは、非局所HJB方程式の粘性解理論が近年研究されている（例：[6, 17, 13]）一方で、彼らのアプローチは主に確率的制御表現と抽象的な環境過程に依拠していることを指摘している。
• 範囲と限界： 著者らは、定性的なホモジナイゼーションに焦点を当てることで、控えめな範囲を維持している。彼らは、収束率（局所的な場合でも困難であることが知られている）や、動的なランダム環境（時間依存係数）のケースについては扱わないことを明言しているが、これらは将来の研究への自然な方向性であると示唆している。結果は、非局所項（$\epsilon^{\alpha-1} \mathcal{L}$）が $\epsilon \to 0$ のとき消失する場合に限定されている。

要約すると、本論文は、ジャンプ拡散によって駆動される非局所HJB方程式のホモジナイゼーションのための厳密な基礎を確立しており、ジャンプ過程の確率的制御理論とランダム媒体におけるホモジナイゼーション理論の間の溝を埋めるものである。