[论文解读] A Theory of Hypoellipticity and Unique Ergodicity for Semilinear Stochastic PDEs

Martin Hairer, Jonathan C. Mattingly|arXiv (Cornell University)|Aug 9, 2008

Stochastic processes and financial applications参考文献 32被引用 11

一句话总结

本文建立了一套通用框架，用于证明具有多项式非线性的随机半线性PDE中的一致椭圆性与唯一遍历性，且噪声为加法噪声。通过在Hörmander括号条件成立下，对Malliavin协方差算子导出一个一致的下界，本文建立了渐近强Feller性质，从而使得2D随机Navier-Stokes方程与反应-扩散系统等方程的遍历性得以成立。

ABSTRACT

We present a theory of hypoellipticity and unique ergodicity for semilinear parabolic stochastic PDEs with "polynomial" nonlinearities and additive noise, considered as abstract evolution equations in some Hilbert space. It is shown that if Hormander's bracket condition holds at every point of this Hilbert space, then a lower bound on the Malliavin covariance operator $M_t$ can be obtained. Informally, this bound can be read as "Fix any finite-dimensional projection $Π$ on a subspace of sufficiently regular functions. Then the eigenfunctions of $M_t$ with small eigenvalues have only a very small component in the image of $Π$". We also show how to use a priori bounds on the solutions to the equation to obtain good control on the dependency of the bounds on the Malliavin matrix on the initial condition. These bounds are sufficient in many cases to obtain the asymptotic strong Feller property introduced in [HairerMattingly06]. One of the main novel technical tools is an almost sure bound from below on the size of "Wiener polynomials", where the coefficients are possibly non-adapted stochastic processes satisfying a Lipschitz condition. By exploiting the polynomial structure of the equations, this result can be used to replace Norris' lemma, which is unavailable in the present context. We conclude by showing that the two-dimensional stochastic Navier-Stokes equations and a large class of reaction-diffusion equations fit the framework of our theory.

研究动机与目标

• 为具有多项式非线性和加法噪声的半线性随机PDE，发展一致椭圆性与唯一遍历性的通用理论。
• 将Hörmander的平方和一致椭圆性定理推广至无限维随机PDE。
• 将渐近强Feller性质作为证明唯一遍历性的关键步骤加以建立。
• 提供一个适用于广泛SPDE类的框架，包括2D随机Navier-Stokes方程与反应-扩散方程。
• 通过先验解估计，控制Malliavin矩阵界对初值的依赖性。

提出的方法

• 在Hörmander括号条件成立下，对Malliavin协方差算子 $\mathcal{M}_t$ 导出一个下界，确保小特征值对应于在正则函数子空间上投影可忽略的分量。
• 利用解的先验界，控制Malliavin矩阵界对初值的敏感性。
• 引入具有非自适应、Lipschitz连续系数的Wiener多项式的几乎必然下界，以在非马氏、非Malliavin设定下替代Norris引理。
• 将抽象框架应用于具体SPDE，验证2D随机Navier-Stokes方程与反应-扩散方程满足条件。
• 利用非线性项的多项式结构，导出Malliavin矩阵的定量估计。
• 通过所导出的界建立渐近强Feller性质，该性质在适当条件下蕴含唯一遍历性。

实验结果

研究问题

• RQ1 在何种条件下，具有加法噪声与多项式非线性的半线性SPDE会存在唯一的不变测度？
• RQ2 Hörmander括号条件如何用于确保无限维SPDE中的一致椭圆性？
• RQ3 Malliavin协方差算子的何种界是保证渐近强Feller性质的必要且充分条件？
• RQ4 在缺乏马氏性或适应性假设的情况下，如何控制Malliavin矩阵界对初值的依赖性？
• RQ5 这些抽象条件在多大程度上适用于具体SPDE，如2D随机Navier-Stokes方程与反应-扩散方程？

主要发现

• 在初值所在希尔伯特空间上，Hörmander括号条件蕴含Malliavin协方差算子 $\mathcal{M}_t$ 的一致下界，确保小特征值对应于在正则函数有限维子空间上投影可忽略的分量。
• 解的先验界使得对Malliavin矩阵界依赖初值的控制成为可能，从而在状态空间上实现一致估计。
• 建立了具有非自适应、Lipschitz系数的Wiener多项式的几乎必然下界，替代了非马氏情境下的Norris引理。
• 在所导出的界下，实现了渐近强Feller性质，这是证明唯一遍历性的关键步骤。
• 2D随机Navier-Stokes方程满足该理论的条件，因此在给定框架下蕴含其唯一遍历性。
• 一大类具有多项式非线性和加法噪声的反应-扩散方程也满足该框架，证实了其唯一遍历性。