Stochastic homogenization for Hamilton-Jacobi-Bellman equations on continuum percolation clusters

技術要約：連続パーコレーション・クラスター上におけるハミルトン・ヤコビ・ベルマン方程式の確率論的ホモジナイゼーション

問題設定
本論文は、$\mathbb{R}^d$ ($d \geq 2$) における連続パーコレーション・モデルの無限連結成分（無限クラスター）上で定義された、ランダムなハミルトン・ヤコビ・ベルマン（HJB）方程式の確率論的ホモジナイゼーションを扱っている。著者らは、以下の式で表される $u^\varepsilon$ の $\varepsilon \to 0$ における漸近挙動を研究している：
$$\partial_t u^\varepsilon = \frac{\varepsilon}{2} \text{div}\left( a\left(\frac{x}{\varepsilon}, \omega\right) \nabla u^\varepsilon \right) + H\left(\frac{x}{\varepsilon}, \nabla u^\varepsilon, \omega\right),$$
これはドメイン $(0, T) \times \varepsilon C_\infty(\omega)$ 上にポーズされている（ここで $C_\infty(\omega)$ は原点を含む無限クラスターである）。

この環境は、古典的なホモジナイゼーションの設定とは異なる、以下のような重大な課題を提示している：

1. 退化性： 拡散係数 $a(x, \omega)$ は退化楕円型である。そのサポートは無限クラスターの閉包に限定されており、演算子は一様楕円的ではない。
2. 非定常性： 解析は条件付き確率測度 $P_0(\cdot) = P(\cdot \mid 0 \in C_\infty)$ の下で行われる。不変測度 $P$ とは異なり、$P_0$ は平行移動群 $\{\tau_x\}_{x \in \mathbb{R}^d}$ に対して不変ではなく、従来のホモジナイゼーション文献で使用されてきた標準的な定常性の仮定を破っている。
3. 長距離相関： 本モデルは有限範囲依存性（i.i.d. 構造）を仮定していない。パーコレーション・モデルは長距離相関を持つ可能性がある。

ハミルトニアン $H$ は、退化行列 $a$ によって誘導される半ノルムに関して凸かつ強圧的であるが、必ずしもユークリッド・ノルムに関して一様に強圧的ではない。

手法
証明戦略は、定常、エルゴディック、かつ一様楕円的な環境におけるHJB方程式のために元々開発された、Kosygina-Rezakhanlou-Varadhan [KRV06] の手法に着想を得ている。著者らは、非定常かつ退化的な設定へとこの枠組みを適応させるために、いくつかの主要な技術的革新を行っている：

1. 最適制御表現： 解 $u^\varepsilon$ は、パーコレーション・クラスター上の拡散に関する最適制御問題を含む変分公式を用いて表現される。著者らは、逐次的に可測な制御をサンプリングするための補助的な確率空間を利用することで、「粒子から見た環境」の厳密な取り扱いを可能にしている。
2. 非定常測度に対するエルゴード定理： 条件付き測度 $P_0$ の下での環境プロセスのエルゴード定理を確立することが極めて重要なステップである。$P_0$ は平行移動不変ではないため、著者らは座標軸に沿ったクラスターの連続的な到着によって定義される「誘導シフト」$\sigma_e$ を採用している。彼らは、これらの誘導シフトが $P_0$ を保存し、かつエルゴディックであることを証明し、これにより、拡散軌跡の強法則を導出するためにビルクホフのエルゴード定理を適用することを可能にしている。
3. 変分解析とミンマックス定理： 著者らは、有効ハミルトニアンの変分公式を導出している。有界領域に変分問題を制限することに依存する [KRV06] のアプローチ（これは非平行移動不変な $P_0$ とは互換性がない）とは異なり、本論文では以下を利用している：
   • 固有の強圧性： 退化行列 $a$ に関するハミルトニアンの強圧性を利用して、勾配の $L^{1+\delta}(P_0)$ における弱コンパクト性を確立する。
   • 相対エントロピー構造： 変分解析において減算的な相対エントロピー項を導入する。この項は、弱極限 $G$ の抽出を容易にするための必要な強圧性を、第二のミンマックス定理を適用するために提供する。
4. コレクターと劣線形成長： 「コレクター」$V_G$（弱極限 $G$ の経路積分）の存在が確立されている。著者らは、$V_G$ が $P_0$ に関してほとんど確実に劣線形成長（$o(|x|)$）を示すことを証明している。この結果は、離散的な設定で使用される組合せ論的な計数議論ではなく、連続パーコレーション・クラスターの特定の幾何学的特性（例：距離の指数関数的減衰や回帰性）に強く依存している。

主要な貢献と結果

• 主定理 (Theorem 2.1): 著者らは、$P_0$-ほとんど確実に、$u^\varepsilon$ がコンパクト集合上でホモジナイズドされた極限 $u_{\text{hom}}$ に一様に収束することを証明している。極限 $u_{\text{hom}}$ は以下の有効方程式を解く：
  $$\partial_t u_{\text{hom}} = \bar{H}(\nabla u_{\text{hom}}), \quad u_{\text{hom}}(0, x) = f(x),$$
  ここで $\bar{H}$ は有効ハミルトニアンである。
• 有効ハミルトニアンの変分公式: 有効ハミルトニアン $\bar{H}(\theta)$ は、以下の変分公式によって特徴付けられる：
  $$\bar{H}(\theta) = \inf_{G \in \mathcal{G}_\delta} \left( \text{ess sup}_{P_0} \left[ \frac{1}{2} \text{div}(a(G+\theta)) + H(G+\theta) \right] \right),$$
  ここで $\mathcal{G}_\delta$ は、$L^{1+\delta}$ 有界性、クラスター上のカールフリー特性、および非定常な測度に適応された洗練された「誘導平均ゼロ」特性を満たす関数のクラスである。
• 大偏差原理 (Corollary 2.2): 直接的な応用として、本論文は、連続パーコレーション・クラスター上でのランダムなドリフトを持つ退化拡散のクエンチド（quenched）大偏差原理を確立している。レート関数は、有効ハミルトニアンのルジャンドル・フェンシェル変換によって与えられる。
• 仮定の緩和： 本研究は、クラスター内部における一様楕円性の要求および有限範囲依存性（i.i.d.）の仮定を取り除き、長距離相関を持つモデルを可能にしている。

意義と主張
本論文は、パーコレーション・クラスター上でのHJB方程式の確率論的ホモジナイゼーションを研究した最初の事例であると主張している。著者らは、パーコレーションの本質的な特性（具体的には非平行移動不変性と非楕円性）が解析全体に浸透しており、新しい数学的ツールを必要としていることを強調している。

その意義は以下の通りである：

1. 枠組みの架け橋： 以前は定常かつ楕円的な設定に限定されていた [KRV06] の手法を、非定常で退化的な文脈へと成功的に適応させたこと。
2. 非定常性の処理： ランダムな媒体中で原点から始まるプロセスのほとんど確実な挙動を研究するために不可欠な、条件付き測度 $P_0$ の下でのホモジナイゼーションのための厳密な枠組みを開発したこと。
3. 変分的特徴付け： パーコレーション・クラスターの幾何学的制約（誘導平均ゼロ条件および特定の関数空間 $\mathcal{G}_\delta$ を通じて）を明示的に反映した、有効ハミルトニアンの変分表現を提供したこと。

著者らは、応用に関するトーンについては控えめであり、本手法が [So99, AT14] で用いられているような劣加法的なアプローチにも拡張できる可能性があるとしつつも、主な貢献は、一様楕円性やi.i.d. 構造を仮定せずに、この特定の困難な幾何学的設定における変分公式の確立とホモジナイゼーションの証明にあるとしている。