[论文解读] 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的刻画方法，证明了Lipschitz泛函的解的归一化空间平均收敛于布朗运动，推广了先前针对线性情形和指示函数泛函的结果。

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条件，以确保解的存在性和正则性。
• 考虑形如 $ N^{-d} \bigint_{\mathbb{R}^d} g(u(t,x)) \psi(x/N) \, dx $ 的归一化空间平均，其中 $ g $ 为Lipschitz函数，$ \psi \in L^2(\mathbb{R}^d) $。

实验结果

研究问题

• RQ1 当系统规模增大时，随机热方程解的非线性泛函的归一化空间平均是否收敛于布朗运动？
• RQ2 中心极限定理能否从线性泛函和指示函数测试函数推广至一般的Lipschitz函数？
• RQ3 Poincaré不等式和Malliavin微积分在证明SPDE中渐近高斯性方面起什么作用？
• RQ4 在给定条件下，极限过程是否唯一地刻画为布朗运动？
• RQ5 噪声协方差的结构如何影响收敛速度和极限的性质？

主要发现

• 对于任意Lipschitz函数 $ g $ 和 $ \psi \in L^2(\mathbb{R}^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 $ 和 $ \psi = \mathbf{1}_{[0,1]^d} $ 的情形。
• 该证明框架对 $ g $ 的非线性性具有鲁棒性，只要 $ g $ 是Lipschitz的，且适用于满足Dalang条件的广泛类空间协方差测度。
• 该方法为证明具有乘性噪声的广泛类SPDE的函数中心极限定理提供了系统性方法。