[论文解读] An analytic approach to infinite-dimensional continuity and Fokker-Planck-Kolmogorov equations

В. И. Богачев, Giuseppe Da Prato+2 more|arXiv (Cornell University)|May 31, 2013

Stochastic processes and financial applications参考文献 14被引用 4

一句话总结

本文提出了一种新颖的解析方法，用于求解具有非恒定、可能退化的扩散系数的无穷维福克-普朗克-柯尔莫哥洛夫（FPK）方程。通过引入一种近似霍尔姆格伦方法，该方法在广泛条件下（包括非退化和完全退化情形）建立了关于概率解的新唯一性与存在性结果，其应用涵盖随机偏微分方程（SPDEs），如有界区域上的随机纳维-斯托克斯方程和伯吉斯方程。

ABSTRACT

We prove a new uniqueness result for solutions to Fokker-Planck-Kolmogorov (FPK) equations for probability measures on infinite-dimensional spaces. We consider infinite-dimensional drifts that admit certain finite-dimensional approximations. In contrast to most of the previous work on FPK-equations in infinite dimensions, we include cases with non-constant coefficients in the second order part and also include degenerate cases where these coefficients can even be zero. Also a new existence result is proved. Some applications to Fokker-Planck-Kolmogorov equations associated with SPDEs are presented.

研究动机与目标

• 建立具有非恒定且退化扩散系数的无穷维福克-普朗克-柯尔莫哥洛夫方程的概率解的唯一性。
• 发展一种纯粹的解析方法——区别于概率方法——以在无穷维设定下证明存在性与唯一性。
• 通过放宽对系数全局可积性的要求，并允许漂移项的有限维近似，扩展先前结果。
• 为与SPDE（如随机反应-扩散方程和二维纳维-斯托克斯方程）相关的FPK方程提供存在性结果。
• 在广义早期结果的基础上，证明唯一性，特别是针对包括二维纳维-斯托克斯方程所导出的连续性方程在内的退化情形。

提出的方法

• 提出一种基于近似霍尔姆格伦方法的新解析框架，其中伴随方程被近似而非精确求解。
• 通过使用近似伴随方程的解进行分部积分，推导出估计式，以替代经典霍尔姆格伦方法中的精确恒等式。
• 将该方法应用于在漂移分量满足统一近似条件时证明唯一性，即使在退化情形下亦成立。
• 在广泛假设下通过定理3.1建立解的存在性，包括所有维度下的随机纳维-斯托克斯方程。
• 在存在性证明中使用李雅普诺夫型函数 $V$ 和权函数 $\Theta$，以控制增长并确保可积性。
• 考虑在 $\mathbb{R}^\infty$ 上带有乘积拓扑的方程，聚焦于在有限个变量的光滑函数上定义的算子 $L$。

实验结果

研究问题

• RQ1 当扩散矩阵为非恒定且可能退化时，无穷维FPK方程的解在何种条件下具有唯一性？
• RQ2 对于源自随机偏微分方程（如随机伯吉斯方程或纳维-斯托克斯方程）的FPK方程，能否保证存在概率解？
• RQ3 如何通过纯粹的解析方法替代概率技术，以证明无穷维FPK方程的唯一性与存在性？
• RQ4 对漂移与扩散系数施加何种条件，可确保解类 $\mathcal{P}_\nu$ 恰好包含一个元素？
• RQ5 近似霍尔姆格伦方法在多大程度上可推广至处理无穷维中具有退化与非恒定系数的FPK方程？

主要发现

• 在漂移满足统一近似条件的非退化FPK方程中，建立了新的唯一性结果（定理2.3），其扩散系数为非恒定。
• 第二个唯一性结果（定理2.5）扩展至退化情形，包括完全退化的连续性方程，如与二维纳维-斯托克斯方程相关的方程。
• 通过定理3.1，为一大类SPDE（包括所有维度 $d$ 的随机纳维-斯托克斯方程）证明了概率解的存在性。
• 对于二维纳维-斯托克斯方程，在适当的矩条件成立下，存在解 $\mu$ 满足 $\int_0^{T_0} \int_H (1 + \|\Delta u\|_2^2) e^{\delta\|u\|_{V_2}^2} \, \mu_t(du) \, dt < \infty$。
• 推论3.6在漂移分解为有界部分与仅依赖于有限个坐标的部分的条件下，建立了唯一性，且要求 $V \in L^k(\nu)$ 对所有 $k \geq 1$ 成立。
• 例3.7为奥恩斯坦-乌伦贝克型漂移提供了 $F$ 和 $\beta_n$ 的显式条件，确保唯一性，其中 $\sum \alpha_n \gamma_n < \infty$ 且 $\sum \beta_n \gamma_n x_n^2$ 作为控制权函数。