[论文解读] On $L^1$-estimates for probability solutions to Fokker-Planck-Kolmogorov equations

В. И. Богачев, S. N. Popova+1 more|arXiv (Cornell University)|Mar 12, 2018

Advanced Mathematical Physics Problems参考文献 19被引用 4

一句话总结

本文通过证明：对于与解可积的漂移项，Fokker-Planck-Kolmogorov方程的概率密度解不必然属于Sobolev空间 $W^{1,1}$，从而解决了长期悬而未决的开放问题。此外，本文进一步证明此类密度属于某些分数阶Sobolev空间，尽管经典 $W^{1,1}$-界不成立，但仍提供了正的 $L^1$-型正则性估计。

ABSTRACT

We prove two new results connected with elliptic Fokker-Planck-Kolmogorov equations with drifts integrable with respect to solutions. The first result answers negatively a long-standing question and shows that a density of a probability measure satisfying the Fokker-Planck-Kolmogorov equation with a drift integrable with respect to this density can fail to belong to the Sobolev class~$W^{1,1}(\mathbb{R}^d)$. There is also a version of this result for densities with respect to Gaussian measures. The second new result gives some positive information about properties of such solutions: the solution density is proved to belong to certain fractional Sobolev classes.

研究动机与目标

• 解决关于具有 $L^1$-漂移项的Fokker-Planck-Kolmogorov方程的概率解是否必须属于 $W^{1,1}$ 的长期悬而未决问题。
• 在漂移项满足最小可积性假设的前提下，研究Fokker-Planck-Kolmogorov方程密度的正则性。
• 通过证明此类密度属于分数阶Sobolev空间，建立正的 $L^1$-型估计。
• 阐明在 $p=1$ 情况下，对于二阶椭圆算子，经典 $L^p$-估计在Fokker-Planck-Kolmogorov方程背景下的局限性。

提出的方法

• 在 $\mathbb{R}^2$ 中构造显式反例，使用光滑概率密度 $\varrho_n$ 和漂移项 $b_n$，使得 $\|\nabla \varrho_n\|_{L^1} \geq n \|b_n\|_{L^1(\varrho_n)}$，从而证明 $W^{1,1}$-正则性不成立。
• 利用闭图像定理，基于Ornstein反例的缩放论证，证明无法在 $\|f\|_{\infty}$、$\|\nabla f\|_{\infty}$ 和 $\|\Delta f\|_1$ 的表达下建立 $\partial_x^2 f$ 的统一 $L^1$-界。
• 应用分布导数和泛函分析工具，分析弱Sobolev空间与分数阶Sobolev空间中解的正则性。
• 证明在 $L^2$-漂移可积条件下，对数梯度 $\nabla \varrho / \varrho$ 属于 $L^2(\varrho dx)$，并进一步将此结果推广至 $L^1$-漂移下的分数阶Sobolev正则性。
• 利用Fokker-Planck-Kolmogorov方程 $\Delta \varrho - \mathrm{div}(\varrho b) = 0$ 在分布意义下的结构，推导 $\varrho$ 梯度的估计。
• 利用 $\varrho \in W^{1,1}_{\text{loc}}$ 在 $L^1$-漂移下不成立，但通过紧致性与分布估计，$\varrho$ 仍获得分数阶Sobolev正则性的事实。

实验结果

研究问题

• RQ1 对于满足 $\int |b| \, d\mu < \infty$ 的漂移项 $b$，Fokker-Planck-Kolmogorov方程的概率密度解是否可能不属于 $W^{1,1}(\mathbb{R}^d)$？
• RQ2 对于此类解，是否存在关于 $\|b\|_{L^1(\varrho dx)}$ 的统一 $L^1$-估计，用于 $\|\nabla \varrho\|_{L^1}$？
• RQ3 尽管 $W^{1,1}$-界失效，具有 $L^1$-漂移的解是否仍具有某种弱或分数阶Sobolev正则性？
• RQ4 第二阶椭圆算子的 $L^1$-估计失效是否能在Fokker-Planck-Kolmogorov方程与概率测度的背景下实现？
• RQ5 是否存在类似于 $L^2$-情形的、与维度无关的 $L^1$-型正则性估计，用于对数导数 $\nabla \varrho / \varrho$？

主要发现

• 在 $\mathbb{R}^2$ 上存在一个光滑概率密度 $\varrho$ 和一个光滑漂移项 $b$，使得 $|b|\varrho \in L^1(\mathbb{R}^2)$，但 $|\nabla \varrho| \notin L^1(\mathbb{R}^2)$，因此 $\varrho \notin W^{1,1}(\mathbb{R}^2)$，从而以否定方式回答了一个长期悬而未决的问题。
• 对任意 $n$，存在 $\mathbb{R}^2$ 上的一系列光滑概率密度 $\varrho_n$ 和漂移项 $b_n$，使得 $\|\nabla \varrho_n\|_{L^1} \geq n \|b_n\|_{L^1(\varrho_n)}$，表明梯度不存在 $L^1$-界。
• 具有 $L^1$-漂移的Fokker-Planck-Kolmogorov方程解密度 $\varrho$ 属于某些分数阶Sobolev空间，表明即使在 $W^{1,1}$ 失效的情况下，仍具有部分正则性。
• 第二阶椭圆算子的 $L^1$-估计失效现象可延伸至Fokker-Planck-Kolmogorov设定，反例表明对二阶导数的统一 $L^1$-界不成立。
• 经典 $L^2$-估计 $\|\nabla \varrho / \varrho\|_{L^2(\varrho dx)} \leq \|b\|_{L^2(\varrho dx)}$ 无法推广至 $p=1$ 情况，因为不存在此类 $L^1$-界。
• 利用闭图像定理与基于Ornstein反例的缩放论证，证明了无法在 $\|f\|_{\infty}$、$\|\nabla f\|_{\infty}$ 和 $\|\Delta f\|_1$ 的表达下建立 $\partial_x^2 f$ 的 $L^1$-估计，这一结果构成了主要反例的理论基础。