[论文解读] Uniqueness of solutions of stochastic differential equations

A. M. Davie|ArXiv.org|Sep 26, 2007

Stochastic processes and financial applications参考文献 2被引用 5

一句话总结

该论文证明，对于d维布朗运动的几乎所有样本路径，带局部可积Borel漂移 $ f $ 的随机微分方程 $ dx(t) = dW(t) + f(t,x(t))dt $ 存在唯一的连续解。通过使用Girsanov变换和对布朗运动泛函增量的新型矩估计，作者在不假设 $ f $ 满足Lipschitz连续性条件下证明了路径唯一性，从而解决了Krylov提出的关于不规则系数SDE路径唯一性的问题。

ABSTRACT

We consider a d-dimensional stochastic differential equation with additive noise and a drift coefficient which is assumed only to be a bounded Borel function. We show that, for almost all choices of the driving Brownian path, the equation has a unique solution.

研究动机与目标

• 解决N. V. Krylov提出的问题：当 $ f $ 仅为有界且Borel可测时，SDE $ dx = dW + f(t,x)dt $ 是否对几乎所有布朗运动路径 $ W $ 都存在唯一解。
• 在不依赖漂移 $ f $ 的Lipschitz连续性假设下，建立具有不规则系数的SDE的路径唯一性，这在经典强解理论中通常是必需的。
• 提出一种基于矩估计与测度变换技术的新分析框架，用于在漂移无正则性假设下处理路径唯一性问题。
• 证明欧拉逼近在任意变步长下收敛于唯一解，且无需对划分点施加停时条件。

提出的方法

• 应用Girsanov定理将原SDE转化为形如 $ du/dt = f(t,W(t)+u(t)) - f(t,W(t)) $ 的随机常微分方程，从而将路径唯一性问题转化为证明该常微分方程解的平凡性。
• 推导一个关键的矩估计（命题2.1），用于时间积分中 $ f $ 差值的 $ p $ 阶矩，表明其在 $ L^p $-范数下的增量衰减与 $ |x|^{p} $ 成比例，作为Lipschitz条件的替代。
• 采用二进制划分与迭代估计技术，控制候选解的变差，证明若存在非零解，将违反由矩估计导出的最小增长界。
• 利用基于对数增量的递归序列 $ \beta_j $ 控制在二进制点处潜在解偏差的大小，最终证明其在极限下趋于零。
• 应用Ascoli-Arzelà定理从离散欧拉逼近中提取连续极限，并利用路径唯一性结论证明其收敛于真实解。
• 利用变换测度 $ \mu $ 关于Wiener测度 $ P_W $ 绝对连续的性质，证明在 $ \mu $-几乎处处成立的性质即可推出其在 $ P_W $-几乎处处成立。

实验结果

研究问题

• RQ1 当 $ f $ 仅为有界且Borel可测时，SDE $ dx(t) = dW(t) + f(t,x(t))dt $ 是否对几乎所有布朗运动样本路径 $ W $ 都存在唯一解？
• RQ2 在不假设Lipschitz连续性条件下，能否为具有不规则漂移的SDE建立路径唯一性？
• RQ3 对于此类SDE，能否保证欧拉格式在任意变步长下收敛，且无需要求划分点为停时？
• RQ4 能否通过布朗运动泛函的矩估计构造Lipschitz条件的替代形式？

主要发现

• 对几乎所有布朗运动路径 $ W $，SDE $ x(t) = W(t) + \int_0^t f(s,x(s))ds $ 存在唯一的连续解 $ x(t) $，即使 $ f $ 仅为有界且Borel可测。
• 关键技术结果为一个矩估计：对有界Borel函数 $ g $，有 $ \mathbb{E}\left| \int_0^1 \{g(t,W(t)+x) - g(t,W(t))\} dt \right|^p \leq C^p (p/2)! |x|^p $，该估计可作为Lipschitz连续性的替代。
• 证明表明，对 $ P_W $-几乎处处所有 $ W $，常微分方程 $ u(t) = \int_0^t \{f(s,W(s)+u(s)) - f(s,W(s))\} ds $ 不可能存在非平凡解，从而蕴含路径唯一性。
• 作者证明了在任意变步长下，欧拉格式路径收敛于唯一解，且无需对划分点施加停时条件。
• 由递推关系 $ \beta_{j+1} = \beta_j(1 + K2^{-m}\log(1/\beta_j)) $ 定义的递归序列 $ \beta_j $ 满足：当 $ m $ 足够大时，有 $ \beta_j \leq 2^{-2^{2m/3}} $，从而强制任何解在所有二进制点处为零，故在 $[0,1]$ 上恒为零。
• 该结果表明，存在多个解的布朗运动路径集合的Wiener测度为零，即使漂移 $ f $ 未假设连续或Lipschitz连续。