“存在唯一强解;“唯一”是路径唯一,即同一 $(\xi,W)$ 上的任意两解不可分辨。解适应、路径连续,并满足”
形式陈述 ​
考虑
一个强解从给定滤过概率空间、给定 Brownian 运动
弱解允许概率空间、滤过、Brownian 运动和过程
路径唯一性是:在同一滤过概率空间上,若
即二者不可分辨。分布唯一性是:对同一规定初始分布,任意两个弱解的
经典 Yamada–Watanabe 定理在有限维 Brownian SDE、Borel 系数与标准路径空间等常规条件下断言:弱存在加路径唯一性推出强存在,并同时得到分布唯一性。引用到随机偏微分方程、非标准噪声或非 Polish 状态空间时,需要相应推广,不能省略可测选择与路径空间假设。
直觉
强解回答“给我这一条噪声和初值,能否按因果规则算出唯一轨迹”;弱解只回答“能否制造一个联合系统,使某个过程和某个 Brownian 运动满足方程”。弱构造可以重新安排二者的耦合,也能引入解中可见而驱动噪声中不可恢复的随机选择。
路径唯一性固定输入后比较输出,接近确定性方程的唯一性。分布唯一性忽略样本配对,只要求所有合法构造产生同一统计规律。一个模型可以完全确定解的律,却无法从给定噪声中选择每条轨迹;这正是强弱之分最有信息的情形。
例子与边界
Ornstein–Uhlenbeck 方程的显式式
是
Tanaka 方程
取
非 Lipschitz 漂移甚至会产生多个强解。无噪声方程
对每个
推论与应用
存在性证明常先通过紧性、鞅问题或测度变换构造弱解,再单独证明路径唯一。Yamada–Watanabe 把这两条证据合并成强解,省去直接构造可测泛函的工作。反之,只有某一个给定空间上的解公式不够;若未证明所有同输入解一致,仍不能宣称路径唯一。
分布层面的目标,如转移概率、期权期望或 Fokker–Planck 方程,往往只需弱存在与分布唯一。逐路径模拟、与观测噪声耦合、强误差数值分析则需要强解,因为算法必须用同一随机增量生成近似与真解。选择所需唯一性概念可避免把过强假设塞进只关心分布的问题,也避免在路径任务中误用仅有的弱唯一结论。
参考资料
- Toshio Yamada and Shinzo Watanabe, “On the Uniqueness of Solutions of Stochastic Differential Equations,” Journal of Mathematics of Kyoto University, Vol. 11, No. 1, 1971, pp. 155–167。
- Ioannis Karatzas and Steven E. Shreve, Brownian Motion and Stochastic Calculus, 2nd ed., Springer, 1991, Ch. 5, §§5.2–5.3, strong and weak solutions, uniqueness in law。
- Daniel W. Stroock and S. R. Srinivasa Varadhan, Multidimensional Diffusion Processes, Springer, 1979, Ch. 6, weak solutions and martingale problems。