[论文解读] Malliavin calculus and ergodic properties of highly degenerate 2D stochastic Navier--Stokes equation

Martin Hairer, Jonathan C. Mattingly+1 more|ArXiv.org|Sep 3, 2004

Stochastic processes and financial applications参考文献 18被引用 3

一句话总结

本文证明了在退化四维白噪声驱动下，二维随机纳维-斯托克斯方程解的有限维投影存在光滑且严格正的密度，并证明该系统是遍历的，具有唯一的不变测度。通过使用马利avin微积分和一种新颖的渐近强弗勒尔性质，该研究在最小噪声假设下将霍尔曼德型次椭圆性理论推广至无穷维SPDE。

ABSTRACT

The objective of this note is to present the results from the two recent papers. We study the Navier--Stokes equation on the two--dimensional torus when forced by a finite dimensional white Gaussian noise. We give conditions under which both the law of the solution at any time t>0, projected on a finite dimensional subspace, has a smooth density with respect to Lebesgue measure and the solution itself is ergodic. In particular, our results hold for specific choices of four dimensional white Gaussian noise. Under additional assumptions, we show that the preceding density is everywhere strictly positive.

研究动机与目标

• 在退化噪声条件下，建立二维随机纳维-斯托克斯方程解的有限维投影存在光滑勒贝格密度。
• 在最小噪声条件下，证明解过程是遍历的，且具有唯一的不变测度。
• 通过马利avin微积分，将霍尔曼德型次椭圆性理论推广至无穷维SPDE。
• 提出一种基于渐近强弗勒尔性质的新框架，用于证明退化SPDE的遍历性。
• 证明不变测度是唯一的，且在噪声条件达到最优时系统呈指数混合。

提出的方法

• 应用马利avin微积分，证明解的转移核在有限维子空间上具有$C^\infty$密度。
• 引入渐近强弗勒尔性质，作为马尔可夫过程强弗勒尔条件的推广。
• 在马利avin微积分框架下，使用近似分部积分公式来验证渐近强弗勒尔性质。
• 构造一个非马尔可夫性、非适应性的过程$v_t$，以实现所需的分部积分，从而证明渐近强弗勒尔性质。
• 将光滑密度结果与渐近强弗勒尔性质相结合，建立不变测度的唯一性。
• 将该框架应用于具有四维加法噪声驱动的二维随机纳维-斯托克斯方程。

实验结果

研究问题

• RQ1 在何种条件下，二维随机纳维-斯托克斯方程解的有限维投影具有光滑勒贝格密度？
• RQ2 解过程在何时是遍历的？在何种条件下不变测度是唯一的？
• RQ3 渐近强弗勒尔性质能否用于证明最小噪声下退化SPDE的遍历性？
• RQ4 在二维随机纳维-斯托克斯方程中，实现次椭圆性与遍历性所需的最小噪声维数是多少？
• RQ5 马利avin微积分如何被调整以证明非椭圆性、退化噪声下无穷维SPDE的遍历性？

主要发现

• 在任意时间$t > 0$，解在任一有限维子空间上的投影，相对于勒贝格测度具有$C^\infty$密度。
• 在附加假设下，该密度在有限维子空间上处处严格为正。
• 当噪声为四维且满足指定条件时，解过程是遍历的，且具有唯一的不变测度。
• 渐近强弗勒尔性质表明，任意不可约的、渐近强弗勒尔的马尔可夫过程至多有一个不变测度。
• 该框架为具有加法退化噪声的非线性SPDE提供了证明遍历性的通用方法。
• 通过所开发的工具可建立系统的指数混合性，如作者相关工作中所示。