[論文レビュー] Poincar\'e inequality, and central limit theorems for parabolic stochastic partial differential equations

Le Chen, Davar Khoshnevisan+2 more|arXiv (Cornell University)|Dec 3, 2019

Stochastic processes and financial applications参考文献 12被引用数 9

ひとこと要約

この論文は、空間-時間ガウスノイズによって駆動されるd次元非線形確率的熱方程式の解の占有場に対する関数的中心極限定理を確立する。Poincaré不等式、Malliavin微積分、およびLévyの特徴付けを用いて、解のリップシッツ関数への空間平均の正規化がブラウン運動に収束することを証明し、線形ケースや指示関数関数への一般化を含む先行研究を拡張する。

ABSTRACT

Let $\{u(t\,,x)\}_{t\ge 0, x\in \mathbb{R}^d}$ denote the solution of a $d$-dimensional nonlinear stochastic heat equation that is driven by a Gaussian noise, white in time with a homogeneous spatial covariance that is a finite Borel measure $f$ and satisfies Dalang's condition. We prove two general functional central limit theorems for occupation fields of the form $N^{-d} \int_{\mathbb{R}^d} g(u(t\,,x)) \psi(x/N)\, \mathrm{d} x$ as $N ightarrow \infty$, where $g$ runs over the class of Lipschitz functions on $\mathbb{R}^d$ and $\psi\in L^2(\mathbb{R}^d)$. The proof uses Poincare-type inequalities, Malliavin calculus, compactness arguments, and Paul Levy's classical characterization of Brownian motion as the only mean zero, continuous Levy process. Our result generalizes central limit theorems of Huang et al \cite{HuangNualartViitasaari2018,HuangNualartViitasaariZheng2019} valid when $g(u)=u$ and $\psi = \mathbf{1}_{[0,1]^d}$.

研究の動機と目的

• 確率的熱方程式の解の空間平均に対する中心極限定理を、線形ケースを超えて拡張すること。
• ノイズおよびテスト関数に関する一般的な条件下で、正規化された占有場の弱収束をブラウン運動に確立すること。
• Huangたちは線形関数および指示関数テスト関数に限定された先行結果を一般化すること。
• Poincaré不等式とMalliavin微積分を用いた統一的枠組みを構築し、SPDEにおける漸近的ガウス性を証明すること。
• Lévyの基準による極限過程の特徴付けにより、極限が標準ブラウン運動であることを保証すること。

提案手法

• 解の分布に対するPoincaré型不等式を導出し、分散を制御し、収束性のためのタイトネスの議論を可能にする。
• Malliavin微積分を用いて解の分布の正則性を分析し、部分積分の技法に適した勾配を計算する。
• 連続関数空間におけるコンパクトネスの議論を用いて、占有場の収束する部分列を抽出する。
• Paul Lévyによるブラウン運動の特徴付け（二次変動がtである連続局所マルティンゲールとしての唯一性）を用いる。
• 解の存在性と正則性を保証するため、空間共分散測度fに対してDalangの条件を課す。
• gがリップシッツで、ψ ∈ L²(ℝ^d)であるような形 $ N^{-d} \bigint_{\mathbb{R}^d} g(u(t,x)) \psi(x/N) \, dx $ の正規化空間平均を検討する。

実験結果

リサーチクエスチョン

• RQ1 系のサイズが大きくなる際、確率的熱方程式の解の非線形関数の正規化空間平均はブラウン運動に収束するか？
• RQ2 中心極限定理は、線形関数および指示関数テスト関数に限定されず、一般のリップシッツ関数へ拡張可能か？
• RQ3 Poincaré不等式とMalliavin微積分は、SPDEにおける漸近的ガウス性の証明において果たす役割は何か？
• RQ4 与えられた条件下で、極限過程はブラウン運動として一意に特徴付けられるか？
• RQ5 ノイズ共分散の構造は、収束速度および極限の性質にどのように影響するか？

主な発見

• 任意のリップシッツ関数gおよびψ ∈ L²(ℝ^d)に対して、正規化占有場 $ N^{-d} \int_{\mathbb{R}^d} g(u(t,x)) \psi(x/N) \, dx $ は $ N \to \infty $ のとき弱収束して標準ブラウン運動に収束する。
• タイトネスと有限次元収束を保証するため、Poincaré不等式、Malliavin微積分、およびコンパクトネスの組み合わせにより収束が確立される。
• Lévyの特徴付けを用いて、極限過程が連続マルティンゲールおよび二次変動の性質に依拠して標準ブラウン運動として同定される。
• Huangたちはg(u) = uおよびψ = 𝕀_{[0,1]^d}に限定された先行結果を一般化する。
• gの非線形性がリップシッツ条件を満たす限り、証明フレームワークは頑健であり、Dalangの条件を満たす広範な空間共分散測度のクラスに適用可能である。
• この手法は、乗法的ノイズを有する広範なクラスの確率的PDEに対する関数的中心極限定理を証明する体系的かつ一貫したアプローチを提供する。