論文「Additive-Noise Approximation to Keller–Segel–Dean–Kawasaki Dynamics: Local Well-Posedness of Paracontrolled Solutions」の技術的サマリー

この論文は、2 次元トーラス上のケラー・セゲル（Keller–Segel）モデルの揺らぎ流体力学（fluctuating hydrodynamics）に対する加法的ノイズ近似の局所解の存在と一意性（局所適切性）を証明するものです。著者らは、パラ制御分布（paracontrolled distributions）の手法を用いて、特異な確率偏微分方程式（singular SPDE）の解析を行いました。

以下に、問題設定、手法、主要な貢献、結果、および意義について詳細を記述します。

1. 問題設定

1.1 背景

ケラー・セゲルモデルは、化学走性（chemotaxis）を記述する古典的なモデルです。これに揺らぎ流体力学の理論を適用し、ノイズ項を $\sqrt{\rho}$（密度の平方根）としたものがディーン・カワサキ（Dean–Kawasaki）方程式となります。しかし、滑らかなドリフト項を持つ場合でも、この方程式の解は基本的に粒子系の経験測度（empirical measures）に限定され、非原子（non-atomic）な解は存在しないことが示されています。

1.2 対象とする方程式

本研究では、決定論的な解 $\rho_{\text{det}}$ を用いてノイズ強度を定義する「加法的ノイズ近似」を扱います。具体的には、以下の方程式（1.1）を研究対象とします。

$$\begin{cases} (\partial_t - \Delta)\rho = \nabla \cdot (\rho \nabla \Phi_\rho) + \nabla \cdot (\sigma \xi), & \text{in } (0, T] \times \mathbb{T}^2, \\ -\Delta \Phi_\rho = \rho - \langle \rho, 1 \rangle_{L^2(\mathbb{T}^2)}, & \text{in } (0, T] \times \mathbb{T}^2, \\ \rho|_{t=0} = \rho_0, & \text{on } \mathbb{T}^2. \end{cases}$$

ここで、$\xi$ は 2 次元の空間・時間ホワイトノイズ、$\sigma$ は空間的な不均一性（heterogeneity）を持つ関数です。ノイズ項 $\nabla \cdot (\sigma \xi)$ は非常に特異（irregular）であり、通常の積の定義が成り立たないため、この方程式は「特異な確率偏微分方程式」として扱われます。

2. 手法：パラ制御分布と再正規化

2.1 パラ制御分布の枠組み

特異な SPDE を解くために、著者らは Gubinelli, Imkeller, Perkowski によって開発された「パラ制御分布（paracontrolled distributions）」の手法を採用しました。この手法の核心は、解がノイズの構造を「引き継ぐ（inherit）」というアイデアに基づいており、解をノイズ項とそれより滑らかな残差項の和として分解することです。

解 $\rho$ を以下のように分解します：
$$\rho = \mathcal{X} + \mathcal{Y} + w$$
ここで $\mathcal{X}, \mathcal{Y}$ はノイズから構成される特異な項（エンハンスメント）であり、$w$ はより滑らかな残差です。この分解により、積 $\rho \nabla \Phi_\rho$ の中で定義できない部分を、パラ制御構造を用いて再定義します。

2.2 ノイズのエンハンスメントと再正規化

ホワイトノイズの非正則性により、方程式の各項を定義するには「再正規化（renormalisation）」が必要です。これは、発散する項を引くことで有限な極限を得る操作です。
著者らは、ノイズの近似列 $\xi_\delta$（モリフィアによる平滑化）に対して、以下の「エンハンスメント（enhancement）」と呼ばれる確率変数の組を構成しました：
$$X_\delta = (\mathcal{X}_\delta, \mathcal{Y}_\delta, \mathcal{Z}_\delta, \mathcal{W}_\delta)$$
これらは、ノイズから導かれる特定の確率積分（Feynman ダイアグラム）の極限として定義されます。特に、$\mathcal{Y}_\delta$ などの項は、$\delta \to 0$ の極限で発散する可能性があります。

3. 主要な貢献と発見

3.1 対数発散の証明（Logarithmic Divergence）

従来のべき則（power counting）による見積もりでは、特異な積 $\rho_\delta \nabla \Phi_{\rho_\delta}$ は $\delta^{-1}$ のオーダーで発散すると予想されていました。しかし、この論文では以下の重要な発見がなされました。

• 楕円型グリーン関数の対称性の利用: 非局所項 $\nabla \Phi_\rho$ に現れる楕円型方程式のグリーン関数の対称性を利用することで、発散が大幅に抑制されることが示されました。
• 結果: 発散は線形（$\delta^{-1}$）ではなく、対数的（$\log(\delta^{-1})$） であることが証明されました。
• 定数係数の場合: $\sigma$ が定数の場合、この対称性による相殺が完全に働き、発散項自体がゼロとなり、明示的な再正規化項が不要になることが示されました。

3.2 発散項の数の削減

対称性による相殺効果は、必要な発散するカウンター項（counterterms）の数を減らすことにも寄与しました。これは、より複雑な非局所項を含む方程式の解析において、計算の複雑さを大幅に軽減する重要な点です。

3.3 異方性正則性の扱い

この方程式は、時間方向と空間方向で正則性が異なる（異方性）特徴を持っています（熱方程式は時間と空間の両方を平滑化しますが、楕円型部分 $\Phi_\rho$ は空間のみを平滑化します）。

• 正則構造（Regularity Structures）の理論は時空間を同時に扱う傾向がありますが、パラ制御分布の手法は空間と時間を分離して扱うのに適しており、この異方性の問題に対してより自然的に適用できることを示しました。

4. 主な結果

4.1 局所適切性（Local Well-Posedness）

定理 1.2 において、適切な初期値 $\rho_0$ とノイズのエンハンスメント $X$ が与えられたとき、パラ制御解の存在と一意性が証明されました。

• 解は、エンハンスメント $X$ に依存して定義されます。
• 解の存在時間は $T_{\max}$ であり、$T_{\max} = T$ または $\| \rho(t) \| \to \infty$ となることが示されました。

4.2 近似解の収束

平滑化されたノイズ $\xi_\delta$ に対する方程式の解 $\rho_\delta$ が、$\delta \to 0$ のとき、再正規化された解 $\rho$ に確率収束することが示されました（定理 3.22）。

• 再正規化項 $f_\delta$ は、$\mathbb{E}[\nabla \cdot I[\mathcal{X}_\delta \nabla \Phi_{\mathcal{X}_\delta}]]$ として具体的に構成されます。
• この収束は、揺らぎ流体力学の法則（大数の法則、中心極限定理、大偏差原理）を導くための基礎となります。

5. 意義と今後の展望

• 理論的意義: 不均一なノイズ（$\sigma$ が定数でない場合）を持つケラー・セゲル・ディーン・カワサキ型の方程式に対して、パラ制御分布の手法が有効であることを示しました。特に、楕円型部分の対称性が発散を抑制するメカニズムを明確にしました。
• 応用: この結果は、著者らの次の論文 [MM24] で、ケラー・セゲルモデルに対する粒子系近似との比較や、揺らぎ流体力学の法則（大数の法則、中心極限定理、大偏差原理）の導出に直接応用されます。
• 手法の汎用性: 異方性を持つ特異な SPDE に対して、正則構造ではなくパラ制御分布が有効な選択肢となり得ることを示唆しており、他の同様のモデルへの応用可能性を広げました。

要約すると、この論文は、特異なノイズを持つ非局所な非線形確率偏微分方程式に対して、パラ制御分布の手法を用いて局所解の存在を証明し、楕円型グリーン関数の対称性を利用して発散のオーダーを線形から対数へと改善した画期的な研究です。