[論文レビュー] Conservative stochastic PDE and fluctuations of the symmetric simple exclusion process

Nicolas Dirr, Benjamin Fehrman+1 more|arXiv (Cornell University)|Dec 3, 2020

Stochastic processes and statistical mechanics参考文献 41被引用数 5

ひとこと要約

本稿では、対称的単純排除過程（SSEP）の揺らぎをモデル化するため、空間的に相関するノイズを有する非線形で保存的な確率偏微分方程式（SPDE）を導入する。このSPDEが中央極限定理による揺らぎとレアイベントの両方を正しく捉え、ノイズがゼロに近づくときの大偏差原理が粒子系の正確なレート関数と一致することを証明している。

ABSTRACT

In this paper, we provide a continuum model for the fluctuations of the symmetric simple exclusion process about its hydrodynamic limit. The model is based on an approximating sequence of stochastic PDEs with nonlinear, conservative noise. In the small-noise limit, we show that the fluctuations of the solutions are to first-order the same as the fluctuations of the particle system. Furthermore, the SPDEs correctly simulate the rare events in the particle process. We prove that the solutions satisfy a zero-noise large deviations principle with rate function equal to the rate function describing the deviations of the symmetric simple exclusion process from its hydrodynamic limit.

研究の動機と目的

• 対称的単純排除過程（SSEP）における典型揺らぎとまれな出来事の両方を正確に捉える連続的モデルを開発すること。
• 中央極限定理による揺らぎは正しくモデル化できるが、まれな出来事は正しく記述できない線形化モデルの限界を克服すること。
• 粒子系の物理的・確率的構造を保存する非線形で乗法的ノイズを有する保存的SPDEを構築すること。
• SPDEの解が、元の粒子系と同一のレート関数を持つ大偏差原理を満たすことを確立すること。
• 空間時間白色ノイズのスペクトル近似を用いて、関数値をとる解を得つつ、正しい揺らぎ統計を保持するSPDEを定式化すること。

提案手法

• 空間時間白色ノイズのスペクトル近似 $ \xi^{K(N)} $ を用いた非線形確率偏微分方程式 $\partial_t \rho_N = \Delta \rho_N - \frac{1}{\sqrt{N}} \nabla \cdot \left( \sqrt{\rho_N(1 - \rho_N)} \circ \xi^{K(N)} \right) $ を提案する。
• 非線形性とSPDE解の正則性の欠如に対処するため、粘性型正則化と運動論的定式化を用いる。
• 非線形性と解の不安定性を扱うために、確率的粘性解の方法と運動論的定式化を適用し、近似解の収束性と安定性を証明する。
• Aubin–Lions–Simonsの補題と制御の $ L^2 $-有界性の一様性を用いて、解集合のコンパクト性を確立する。
• 初期データの弱コン pact 部分集合上で、一様ラプラス原理と大偏差原理の同値性を応用し、大偏差結果を証明する。
• 事前推定と弱収束技術を用いて、正則化されたSPDEの極限を取る際の収束を示し、極限における運動論的測度を同定する。

実験結果

リサーチクエスチョン

• RQ1 非線形的で保存的なSPDEを構築することで、対称的単純排除過程における典型揺らぎとまれな揺らぎの両方をモデル化できるか？
• RQ2 提案されたSPDEは、特にまれな出来事において、粒子系の正確な大偏差レート関数を正しく再現するか？
• RQ3 空間的に相関するノイズを用いてSPDEを定式化することで、関数値をとる解を得つつ、正しい揺らぎ統計を保持できるか？
• RQ4 SPDE解の大偏差原理は、元の粒子系と等価か？
• RQ5 ノイズ近似の選択（スペクトル截断）が、解の収束性と大偏差挙動にどのように影響するか？

主な発見

• 非線形的で保存的なノイズを有する提案されたSPDEは、SSEPの1次揺らぎを正しくモデル化しており、一般化されたオーナシュ＝ウーレンバック過程が記述する中央極限定理による揺らぎと一致する。
• SPDEの解は、ゼロノイズにおける大偏差原理を満たし、そのレート関数は対称的単純排除過程と同一であり、まれな出来事の統計が正しく再現されていることを確認する。
• SPDEのレート関数 $ I_{\rho_0}(\mu) $ は、$ \partial_t \rho = \Delta \rho - \nabla \cdot (\sqrt{\rho(1 - \rho)} g) $ を満たす経路の下で $ \frac{1}{2} \inf \|g\|^2_{L^2} $ として与えられ、粒子系の正確なレート関数と一致する。
• 正則化されたSPDEの解 $ \rho^\varepsilon $ は、$ \varepsilon K(\varepsilon)^{d+2} \to 0 $ かつ $ K(\varepsilon) \to \infty $ のスケーリングの下で、$ L^2(\mathbb{T}^d \times [0,T]) $ 上で良好なレート関数 $ I_{\rho_0} $ を持つ大偏差原理を満たす。
• 初期データが $ L^2(\mathbb{T}^d; [0,1]) $ の弱コン pact 部分集合にあるとき、解集合は $ L^2(\mathbb{T}^d \times [0,T]) $ でコンパクトであり、安定性と収束性が保証される。
• 非線形的で保存的なノイズを組み込むことで、SPDEモデルは典型揺らぎとまれな出来事の両方を正しく捉えることができ、線形化モデルとは異なりまれな出来事に対しても正しく機能する。