[论文解读] Brownian motion with general drift

Damir Kinzebulatov, Yu. A. Semënov|arXiv (Cornell University)|Oct 18, 2017

Stochastic processes and financial applications被引用 3

一句话总结

本文证明了当 $ d \geq 3 $ 时，对于属于弱形式有界向量场类 $ \mathbf{F}^{1/2}_{\delta} $ 的漂移项 $ b $，随机微分方程 $ dX(t) = -b(X(t))dt + \sqrt{2}dW(t) $ 存在唯一弱解。该类包括次临界和临界类，如 $ L^d + L^\infty $、Kato 类以及弱 $ L^d $。关键贡献在于证明了相应 Feller 过程的路径几乎必然连续且有限，从而在广泛漂移条件下确保了路径正则性。

ABSTRACT

We construct and study the weak solution to stochastic differential equation $dX(t)=-b(X(t))dt+\sqrt{2}dW(t)$, $X_0=x$, for every $x \in \mathbb R^d$, $d \geq 3$, with $b$ in the class of weakly form-bounded vector fields, containing, as proper subclasses, a sub-critical class $[L^d+L^\infty]^d$, as well as critical classes such as weak $L^d$ class, Kato class, Campanato-Morrey class, Chang-Wilson-T. Wolff class.

研究动机与目标

• 将弱解的存在性与唯一性结果从经典的 $ L^p $，$ p > d $ 或 Kato 类假设，推广至更一般的漂移项情形。
• 在更广泛的漂移类下，建立解过程的路径正则性（即几乎必然连续性与有限性），包括临界与次临界向量场。
• 通过正则化漂移项 $ b_n $ 的极限过程构造 Feller 过程，确保相关半群在 $ C_\infty $ 上关于强算子拓扑收敛。
• 通过引入类 $ \mathbf{F}^{1/2}_{\delta} $，统一并推广先前关于奇异漂移 SDE 的结果，该类包含 $ L^d + L^\infty $、Kato、Campanato-Morrey 及 Chang-Wilson-T. Wolff 类。
• 证明在测度 $ \mathbb{P}_x $ 下，所得马尔可夫过程的路径属于 $ C([0,\infty[, \mathbb{R}^d) $，从而保证路径连续性与非爆破性。

提出的方法

• 作者通过涉及预解算子 $ (\lambda - \Delta)^{-1/4} $ 的弱形式有界性条件定义类 $ \mathbf{F}^{1/2}_{\delta} $，以确保漂移项的可积性与正则性。
• 他们利用 Friedrichs 混合子构造光滑且紧支集的逼近序列 $ b_n = \gamma_{\varepsilon_n} * (\mathbf{1}_n b) $，对漂移项进行正则化。
• 基于 $ b_n \to b $ 在 $ L^1_{\text{loc}} $ 中的收敛性，证明了半群 $ e^{-t\Lambda_{C_\infty}(b_n)} $ 强收敛于极限 $ e^{-t\Lambda_{C_\infty}(b)} $，形成 Feller 半群。
• 解过程被构造为与该 Feller 半群相关联的强马尔可夫过程，其路径取值于 $ D([0,\infty[, \bar{\mathbb{R}}^d) $。
• 关键技术工具是涉及预解算子 $ (\mu - \Delta)^{-1} $ 的扰动估计，其界通过算子范数估计与插值技巧导出。
• 他们推导出算子范数 $ \| |b_n|^{1/p} \nabla (\mu - \Delta)^{-1} \|_{p \to p} $ 的一致有界性，表明其受控于 $ m_d c_p \delta $，且在条件 $ m_d \delta < 4(d-2)/(d-1)^2 $ 下小于 1。

实验结果

研究问题

• RQ1 当 $ b $ 属于弱形式有界类 $ \mathbf{F}^{1/2}_{\delta} $，即使 $ b \notin L^p $ 对于 $ p > d $，SDE $ dX(t) = -b(X(t))dt + \sqrt{2}dW(t) $ 是否存在弱解？
• RQ2 当 $ b $ 为奇异或临界时，是否可证明解过程在 $ d \geq 3 $ 下具有几乎必然连续且有限的轨迹？
• RQ3 对于 $ b \in \mathbf{F}^{1/2}_{\delta} $，由 $ -\Delta + b \cdot \nabla $ 生成的 Feller 半群是否在 $ C_\infty(\mathbb{R}^d) $ 上良好定义且强连续？
• RQ4 使得 $ b \cdot \nabla $ 对拉普拉斯算子的扰动仍为 Feller 生成元的最优 $ \delta $ 条件是什么？
• RQ5 是否可建立正则化半群 $ e^{-t\Lambda_{C_\infty}(b_n)} $ 在 $ t \in [0,1] $ 上的一致收敛性，以确保极限为 Feller 半群？

主要发现

• 当 $ b \in \mathbf{F}^{1/2}_{\delta} $ 且 $ m_d \delta < 4(d-2)/(d-1)^2 $ 时，对所有 $ x \in \mathbb{R}^d $，$ d \geq 3 $，SDE 的弱解存在且在分布意义下唯一。
• 解过程在 $ [0, \infty) $ 上具有几乎必然连续且有限的轨迹，即 $ \mathbb{P}_x $-a.s. $ X \in C([0,\infty[, \mathbb{R}^d) $。
• 半群 $ e^{-t\Lambda_{C_\infty}(b)} $ 是 Feller $ C_0 $-半群，保持正性且为 $ L^\infty $-压缩的，其生成元为 $ -\Delta + b \cdot \nabla $。
• 算子范数 $ \| |b_n|^{1/p} \nabla (\mu - \Delta)^{-1} \|_{p \to p} $ 有界于 $ (1+\varepsilon) m_d c_p \delta $，且通过选择足够小的 $ \varepsilon $ 和 $ \delta $ 可使其严格小于 1。
• 在 $ t \in [0,1] $ 上，收敛性 $ e^{-t\Lambda_{C_\infty}(b_n)} \to e^{-t\Lambda_{C_\infty}(b)} $ 一致成立，确保极限半群在 $ C_\infty(\mathbb{R}^d) $ 上强连续。
• 类 $ \mathbf{F}^{1/2}_{\delta} $ 严格包含临界类，如 Kato 类 $ \mathbf{K}^{d+1}_0 $、弱 $ L^d $、Campanato-Morrey 及 Chang-Wilson-T. Wolff 类。