Random models for singular SPDEs

技術要約：特異SPDEのためのランダムモデル

問題設定
本論文は、1次元トーラス上の一般化（KPZ）方程式に関連するBHZ（Bruned-Hairer-Zambotti）繰り込みモデルの収束性について扱っている。方程式は以下のように与えられる：
$$(\partial_t - \partial_x^2)u = f(u)\zeta + g(u)(\partial_x u)^2$$
ここで、$\zeta$ は放物型Hölder正則度 $-3/2 - \kappa$ を持つ時空ホワイトノイズである。この方程式は、非線形項が分布の積（例：$f(u)\zeta$ および $(\partial_x u)^2$）を含んでおり、古典的な意味では定義不可能であるため、「特異」である。

核心的な困難は、正則化されたノイズ $\zeta_\epsilon$ から構築されたモデルの列が、$\epsilon \to 0$ の際に極限モデルへと収束することを証明することにある。ChandraとHairer [13] によって開発されたフル強度のBPHZ繰り込み手法のような標準的なアプローチは、ノイズの累積量（cumulants）に関する複雑な帰納的議論に依存している。著者らは、一般化KPZ方程式に対して、これらの一般的なBPHZ手法の「フル強度」を回避した収束の証明を提供することを目指している。

手法
著者らは、カオス展開（Stroockの公式）と、精緻化されたファインマン図（具体的には「ミラーグラフ」）の解析に基づく戦略を採用している。

1. カオス展開:
   著者らは、BPHZの完全な代数的メカニズムに頼る代わりに、Stroockの公式を用いて、繰り込みられたモデルの差の $L^2(\Omega)$ ノルムを分解する。ノイズの記号数を $|\tau|_\zeta$ とする記号 $\tau$ に対して、ノルムは以下の期待値の和によって抑えられる：
   $$\|\langle \Pi^\epsilon_z \tau - \Pi^{\epsilon'}_z \tau, \phi^\lambda_z \rangle\|_{L^2(\Omega)} \lesssim \sum_{n=0}^{|\tau|_\zeta-1} \| \mathbb{E}[\langle d^n(\Pi^\epsilon_z \tau - \Pi^{\epsilon'}_z \tau), \phi^\lambda_z \rangle] \| + \| \langle d^{|\tau|_\zeta}(\Pi^\epsilon_z \tau - \Pi^{\epsilon'}_z \tau), \phi^\lambda_z \rangle \|$$
   重要な観察として、一般化KPZ方程式の場合、レギュラリティ構造には最大で4つのノイズ記号を持つ木が含まれる。これにより、必要な微分の次数が制限され、解析が簡略化される。

2. ミラーグラフとテイラー剰余:
   Malliavin微分の期待値は、「ミラーグラフ」上の積分として表現される。これらのグラフは、ノイズとその微分を含む反復積分の構造を符号化している。

   • 著者らは、HairerとQuastel [21] によるファインマン図の収束定理の一般化を用い、これをBrunedとNadeem [11] によって精緻化したものである。
   • 元のHairer-Quastelの基準とは異なり、すべてのエッジに対して単一の点の周りでテイラー展開を行うことを要求するのではなく、Bruned-Nadeemの精緻化では、エッジに依存する点の周りでの展開を許容している。
   • この柔軟性は不可欠である。なぜなら、KPZ解析において生じる特定のグラフ（具体的には、部分発散（subdivergent）を持つ図において2つの入力エッジを持つもの）は、元の基準の範囲外となるからである。

3. 初等的な変化と安定性:
   証明は「初等的な変化（elementary changes）」の概念に依拠している。著者らは、テイラー展開の基点をシフトしたり、展開の順序を変更したりすることで、収束条件を満たすグラフを、一連の有限のステップを経て対象となるグラフへと変換できることを示している。彼らは、これらの局所的な変化が、収束に必要な2つの条件を保持することを証明している：

   • 可積分性／べき数カウント（条件3.2）: 積分が定義可能であることを保証する。
   • 中心化（条件3.3）: テスト関数のパラメータ $\lambda$ に対する正しいスケーリング挙動を保証する。

主要な貢献

• 直接的な収束証明: 本論文は、完全な帰納的BPHZ繰り込みの枠組みを必要としない、一般化KPZ方程式のためのBHZ繰り込みモデルの収束証明を提供している。
• 低ノイズ数の活用: 著者らは、レギュラリティ構造の木が最大4つのノイズ記号しか持たないという、一般化KPZ方程式の組合せ論的な特性を利用している。これにより、カオス展開の複雑さが大幅に軽減される。
• 精緻化された図形的基準の適用: 本研究は、以前は標準的な基準では困難であったグラフのトポロジー（2つの入力エッジを持つ部分発散を含むもの）を扱うために、Bruned-Nadeemによるファインマン図の精緻化された基準を成功裏に適用している。
• 入れ子状和による繰り込み: 著者らは、繰り込みの手順（部分木の抽出・縮退）が、ミラーグラフにおけるテイラー剰余の入れ子状和（telescoping sums）に対応することを明示的に示し、代数的な繰り込み写像と解析的な評価との間の直接的な繋がりを確立している。

結果
主要な結果は系8であり、これはBHZモデル $\Pi^\epsilon$ に関する一様評価を確立するものである：
$$\|\langle \Pi^\epsilon_z \tau, \phi^\lambda_z \rangle\|_{L^2(\Omega)} \lesssim \lambda^{|\tau|}$$
これは、負の次数を持つすべての記号 $\tau$ に対して、$\epsilon$ に関して一様に成り立つ。さらに、本論文はモデルの列の収束を確立している：
$$\|\langle \Pi^\epsilon_z \tau - \Pi^{\epsilon'}_z \tau, \phi^\lambda_z \rangle\|_{L^2(\Omega)} \lesssim o_{\epsilon \vee \epsilon'}(1) \lambda^{|\tau|}$$
これにより、一般化KPZ方程式に対する極限モデルの存在が確認された。

意義と主張
著者らは、彼らのアプローチが、ノイズの数が少ない特定の式に対して、一般的なBPHZメカニズムに代わる「便利な」そして潜在的により単純な代替案を提供すると主張している。

• 適用範囲: この手法は、図が単一の部分発散のみを含む方程式（一般化KPZ方程式や、おそらく2D/3Dのストキャスティック・ヤン・ミルズ動力学など）に適用されることが明示されている。
• 限界: 著者らは謙虚に、もし「厄介な、あるいは重複する部分発散」に直面しなければならない場合、このアプローチを拡張する必要があると述べており、それは「達成可能ではあるが、決して容易ではない」としている。
• 理論への貢献: 本研究は、抽象的な代数的繰り込み（BPHZ）と具体的な解析的評価の間の架け橋として機能しており、ノイズ構造の組合せ論的な制約を利用すれば、特定のクラスの方程式においては、BPHZのフルメカニズムは必ずしも厳密に必要ではないことを示している。

本論文は、任意のノイズ構造や重複する発散を持つ一般的な特異SPDEの問題を解決しようとしているのではなく、カオス展開と精緻化された図形的評価を用いることで、一般化KPZ方程式という特定のケースに対して合理化された証明を提供している。