[论文解读] An integral inequality for the invariant measure of a stochastic reaction--diffusion equation

Giuseppe Da Prato, Arnaud Debussche|arXiv (Cornell University)|Nov 23, 2015

Advanced Mathematical Modeling in Engineering参考文献 16被引用 7

一句话总结

该论文为具有非白噪声的随机反应-扩散方程的不变测度 ν 建立了新颖的积分不等式，将马利万微积分的分部积分法推广至非高斯测度。关键结果证明了 ν 的福明可微性，以及希尔伯特空间 H 中球与半空间上的表面测度的存在性。

ABSTRACT

We consider a reaction--diffusion equation perturbed by noise (not necessarily white). We prove an integral inequality for the invariant measure $\ u$ of a stochastic reaction--diffusion equation. Then we discuss some consequences as an integration by parts formula which extends to $\ u$ a basic identity of the Malliavin Calculus. Finally, we prove the existence of a surface measure for a ball and a half-space of $H$.

研究动机与目标

• 将分部积分公式从高斯测度推广至随机偏微分方程中出现的非高斯不变测度 ν。
• 在索伯列夫空间 H^{1+δ+γ}(O) 的方向上证明 ν 的福明可微性，其中 δ > 0。
• 证明在希尔伯特空间 H 中，相对于 ν，球与半空间上的表面测度存在。
• 将比斯马克-艾尔沃思利公式推广至非白噪声情形，并推导转移半群梯度的估计。
• 为非高斯不变测度下的无限维空间中的曲面积分与几何测度论提供严格的框架。

提出的方法

• 在索伯列夫空间 H^{1+δ+γ}(O) 中推导随机反应-扩散方程解的梯度 DX(t,x) 的先验估计。
• 对近似方程 (1.8) 应用比斯马克-艾尔沃思利公式，并令 ε → 0 取极限，以推导主要积分不等式。
• 利用插值不等式与索伯列夫嵌入定理，控制 L^p(H,ν) 中 (−A)^{−α}Dφ 的范数。
• 采用约沙达逼近 p_ε 来逼近非线性项 p，以保证正则性并应用随机分析工具。
• 应用赫尔德不等式与杨不等式，控制分部积分公式中的各项，并证明一致有界性。
• 通过集合特征函数的逼近构造表面测度，并证明表面密度在 L^p 中有界。

实验结果

研究问题

• RQ1 能否将分部积分公式从高斯测度推广至随机偏微分方程中的非高斯不变测度 ν？
• RQ2 在何种条件下，随机反应-扩散方程的不变测度 ν 在索伯列夫方向上是福明可微的？
• RQ3 在希尔伯特空间 H 中，相对于 ν，球与半空间等集合是否存在表面测度？
• RQ4 如何将比斯马克-艾尔沃思利公式适配至非白噪声情形，并用于推导梯度估计？
• RQ5 噪声与非线性项需满足何种充分条件，才能保证在无限维水平集上存在表面测度？

主要发现

• 对所有 φ ∈ L^p(H,ν)（p > 1）与 h ∈ H^{1+δ+γ}(O)，有不等式 ∫_H ⟨Dφ(x), h⟩ dν(x) ≤ C_p ‖φ‖_{L^p(H,ν)} |h|_{1+δ+γ} 成立，其中 C_p 与 φ 无关。
• 不变测度 ν 在 D((-A)^{α/2}) 的所有方向上均为福明可微，其中 α > 1，将经典马利万微积分推广至非高斯情形。
• 当 ∑_j α_j^{-1} b_j < ∞ 时，半空间 {x ∈ H : ⟨x, b⟩ = r} 上的表面测度 σ_r 存在，确保表面密度的可积性。
• 对于 H 中的球，表面测度作为逼近测度的极限存在，且当 ε → 0 时，表面密度具有统一的 L^k 有界性。
• 在条件 ∑_j α_j^{-1} b_j < ∞ 下，半空间的表面密度属于 L^2(H,ν)，确认了存在定义良好的表面测度。
• 证明依赖于逼近问题中表面密度的统一 L^p 有界性，该有界性通过在比斯马克-艾尔沃思利公式上应用赫尔德与杨不等式建立。