[论文解读] Existence of the Fomin derivative of the invariant measure of a stochastic reaction--diffusion equation

Giuseppe Da Prato, Arnaud Debussche|arXiv (Cornell University)|Feb 26, 2015

Advanced Mathematical Modeling in Engineering参考文献 13被引用 4

一句话总结

本文通过基于 $\|\varphi\|_{L^2(H,\nu)}$ 的过渡半群 $P_t D\varphi$ 的新估计，建立了具有非白噪声的随机反应-扩散方程的不变测度的 Fomin 导数的存在性。关键贡献在于证明了不变测度在 $A^{-1}h$ 方向上的 Fomin 可微性，从而为无限维 SDE 中的 Malliavin 微积分提供了关键的分部积分公式。

ABSTRACT

We consider a reaction--diffusion equation perturbed by noise (not necessarily white). We prove existence of the Fomin derivative of the corresponding transition semigroup $P_t$. The main tool is a new estimate for $P_tDφ$ in terms of $\|φ\|_{L^2(H,ν)}$, where $ν$ is the invariant measure of $P_t$.

研究动机与目标

• 建立具有乘法噪声的随机反应-扩散方程的不变测度的 Fomin 导数存在的条件。
• 将分部积分和 Malliavin 微积分理论推广至无限维 SDE 中的非梯度、非白噪声情形。
• 为噪声非白且系统非梯度时不变测度的正则性提供严格的理论基础。
• 在比以往更弱的噪声和非线性假设下，通过证明 Fomin 可微性，推广了关于不变测度密度的先前结果。
• 弥合了当噪声为色噪声且漂移为多项式时，对不变测度结构理解的空白。

提出的方法

• 以 $\|\varphi\|_{L^2(H,\nu)}$ 表达 $P_t D\varphi$ 的新估计作为核心技术工具，其中 $\nu$ 为不变测度。
• 利用 Bismut-Elworthy-Li 公式表示近似半群 $P_t^\alpha$ 的导数，将其表示为涉及 Malliavin 导数的随机积分。
• 应用非线性漂移 $p$ 的 Yosida 近似 $p_\alpha$，以保证逼近 SDE 的 Lipschitz 正则性和解的存在性。
• 通过一致的矩界证明逼近不变测度 $\nu_\alpha$ 弱收敛于真实不变测度 $\nu$。
• 通过证明算子 $(-A)^{-1}D$ 的伴随映射有界向量场至 $L^2(H,\nu)$，确立 Fomin 导数的存在性，从而支持分部积分。
• 依赖于噪声算子 $B = (-A)^{-\gamma/2}$ 的条件 $\frac{n}{2}-1 < \gamma < 1$，以确保空间正则性和强 Feller 性质。

实验结果

研究问题

• RQ1 具有非白噪声的随机反应-扩散方程的不变测度是否在 $A^{-1}h$ 方向（$h \in H$）上存在 Fomin 导数？
• RQ2 当噪声非白且系统非梯度时，能否建立 Fomin 导数，从而扩展基于高斯测度的先前结果？
• RQ3 对 $P_t D\varphi$ 的何种估计足以确保不变测度的 Fomin 导数存在？
• RQ4 逼近测度 $\nu_\alpha$ 收敛于 $\nu$ 如何支持 Fomin 导数的存在性？
• RQ5 在何种噪声与漂移条件下，不变测度的分部积分公式成立？

主要发现

• 对于所有 $h \in H$，不变测度 $\nu$ 在 $A^{-1}h$ 方向上的 Fomin 导数存在，这意味着 $\nu$ 存在分部积分公式。
• 推导出新的估计 $\|P_t D\varphi\|_{L^2(H,\nu)} \leq C \|\varphi\|_{L^2(H,\nu)}$，作为证明 Fomin 可微性的关键技术工具。
• 即使 $B$ 不为单位算子且 $p$ 不为梯度时，也证明了不变测度 $\nu$ 的 Fomin 可微性，从而推广了高斯情形下的结果。
• 建立了 $\nu_\alpha \to \nu$ 的弱收敛性，且 $\mathbb{E}|X_\alpha(t,x)|$ 的一致界确保了矩的稳定性。
• 在条件 $\frac{n}{2}-1 < \gamma < 1$ 下结果成立，该条件确保了随机卷积有定义且 Bismut-Elworthy-Li 公式适用。
• 证明了分部积分公式 $\int_H \langle (-A)^{-1}D\varphi(x), h \rangle \, \nu(dx) = \int_H \varphi(x) v^h(x) \, \nu(dx)$，其中 $v^h \in L^2(H,\nu)$，从而确认了 Fomin 可微性。