[论文解读] Correction to the paper "Some remarks on Davie's uniqueness theorem"

A. V. Shaposhnikov|arXiv (Cornell University)|Mar 20, 2017

Navier-Stokes equation solutions参考文献 10被引用 8

一句话总结

本文修正了Shaposhnikov（2017）在随机微分方程不规则漂移情形下路径唯一性证明中的技术漏洞。通过以改进的柯尔莫哥洛夫连续性定理替代原有 flawed 的一致霍尔德连续性假设，作者恢复了主要结果的有效性：对于满足临界可积性条件（$rac{d}{p} + rac{2}{q} < 1$）的有界、博雷尔可测漂移，几乎所有布朗运动路径下路径唯一性成立。

ABSTRACT

The property 4 in Proposition 2.3 from the paper "Some remarks on Davie's uniqueness theorem" is replaced with a weaker assertion which is sufficient for the proof of the main results. Technical details and improvements are given.

研究动机与目标

• 修正Shaposhnikov（2017）中关于流一致霍尔德连续性的技术漏洞，特别是命题2.3的性质4。
• 恢复有界、博雷尔可测漂移SDE路径唯一性的主要结果的有效性。
• 在原始论文相同的可积性条件下，提供解流霍尔德连续性的更正、严谨证明。
• 确保尽管初始连续性论证存在缺陷，路径唯一性对几乎所有布朗路径的结论依然成立。

提出的方法

• 以适用于离散时间网格的柯尔莫哥洛夫连续性定理的改进版本，替代原始的统一霍尔德连续性断言。
• 对变换后的SDE解差值应用改进的矩估计，证明 $\sup_{s} \mathbb{E} \sup_{t} |X_{s,t}^x - X_{s,t}^y|^a \leq C(|x-y|^a + |x-y|^{a-1})$。
• 使用序列 $S_n$ 的概率覆盖论证，其中 $|S_n| \leq 2^{\eta n}$，以控制 dyadic 时间上的霍尔德范数。
• 应用引理2.1（柯尔莫哥洛夫连续性定理的概率版本）推导出在集合 $S_n$ 上流的几乎必然霍尔德连续性。
• 施加局部化条件 $|x| < N$，并使用截断论证处理有界漂移情形。
• 将更正后的流正则性与Borel–Cantelli论证及引理3.6中的扰动估计结合，证明路径唯一性。

实验结果

研究问题

• RQ1 Shaposhnikov（2017）中关于不规则漂移SDE路径唯一性的原始证明，在所述条件下（特别是关于流的一致霍尔德连续性）是否成立？
• RQ2 能否用更弱但可证明的条件替代命题2.3中性质4的有缺陷的统一霍尔德连续性假设，同时仍支持主要结果？
• RQ3 当通过柯尔莫哥洛夫连续性定理的更正应用建立流的连续性时，有界、博雷尔可测漂移SDE的路径唯一性结果是否仍然有效？
• RQ4 能否仅通过矩估计和概率覆盖论证使证明严谨化，而无需更强的先验正则性？
• RQ5 漂移 $b$ 的最小正则性条件是什么，仍能保证几乎所有布朗路径下路径唯一性？

主要发现

• 原始论文中关于解流一致霍尔德连续性的断言（命题2.3的性质4）被替换为使用改进柯尔莫哥洛夫连续性定理的更弱但可证明的陈述。
• 更正后的证明表明：对任意 $\alpha \in (0,1)$ 和 $\eta > 0$，存在一个概率为1的集合 $\Omega'$，使得流满足 $|\varphi_{s,t}(x) - \varphi_{s,t}(y)| \leq C|x-y|^\alpha$，其中 $s \in S_n$，$|x-y| \leq 2^{-n}$，且 $x,y$ 有界。
• 矩估计 $\sup_s \mathbb{E} \sup_t |X_{s,t}^x - X_{s,t}^y|^a \leq C(|x-y|^a + |x-y|^{a-1})$ 足够支持在离散时间网格 $S_n$ 上的所需霍尔德连续性。
• 满足 $\frac{d}{p} + \frac{2}{q} < 1$ 的有界、博雷尔可测漂移SDE的路径唯一性结果已恢复，并得到严谨证明。
• 证明依赖于 dyadic 划分上的 Borel–Cantelli 论证及引理3.6中的扰动估计，后者将解的差值控制在 $C l^{4/3}$ 内，其中 $l$ 为区间长度。
• 最终论证表明，随着 dyadic 网格的细化，两解之间的差值趋于零，通过连续性及 $M^{-1/15}$ 衰减界，可推出唯一性。