Skip to content

SDE 的强解与弱解

Strong solution of SDE · Weak solution of SDE

区分在给定噪声上构造解与连同概率空间一起构造解,并分开路径唯一性和分布唯一性。

条目类型
定义

形式陈述

考虑

dXt=b(t,Xt)dt+σ(t,Xt)dWt,X0=ξ.

一个强解从给定滤过概率空间、给定 Brownian 运动 W 与给定初值 ξ 出发,要求 X 适应于由 (ξ,W) 生成并通常增广的滤过,满足SDE 积分等式与相应局部可积条件。等价的标准表述是存在不依赖具体概率空间的可测非预见泛函 F,使 X=F(ξ,W) 几乎处处;解不能借用驱动噪声之外的额外随机性。

弱解允许概率空间、滤过、Brownian 运动和过程 X 都作为未知对象一起构造,只要求在构造后的系统中 W 确为相对于该滤过的 Brownian 运动,X 适应且积分等式成立。这里“弱”指构造方式,不指收敛口径、路径正则性或方程近似。

路径唯一性是:在同一滤过概率空间上,若 X,Y 使用同一个 W 和同一个初值,都是解,则

P(Xt=Yt 对所有 t0)=1,

即二者不可分辨。分布唯一性是:对同一规定初始分布,任意两个弱解的 X 路径律在 C([0,),Rd) 上相同;有些文献把“联合唯一性”定义为 (X,W) 的联合律唯一,应明确版本。路径唯一比较同噪声下逐样本结果,分布唯一只比较跨概率空间的律,二者不能从名称相似就互换。

经典 Yamada–Watanabe 定理在有限维 Brownian SDE、Borel 系数与标准路径空间等常规条件下断言:弱存在加路径唯一性推出强存在,并同时得到分布唯一性。引用到随机偏微分方程、非标准噪声或非 Polish 状态空间时,需要相应推广,不能省略可测选择与路径空间假设。

直觉

强解回答“给我这一条噪声和初值,能否按因果规则算出唯一轨迹”;弱解只回答“能否制造一个联合系统,使某个过程和某个 Brownian 运动满足方程”。弱构造可以重新安排二者的耦合,也能引入解中可见而驱动噪声中不可恢复的随机选择。

路径唯一性固定输入后比较输出,接近确定性方程的唯一性。分布唯一性忽略样本配对,只要求所有合法构造产生同一统计规律。一个模型可以完全确定解的律,却无法从给定噪声中选择每条轨迹;这正是强弱之分最有信息的情形。

例子与边界

Ornstein–Uhlenbeck 方程的显式式

Xt=θ+(ξθ)eκt+η0teκ(ts)dWs

(ξ,W) 的非预见可测泛函,所以给出强解。若 X,Y 用同一输入,则 Dt=XtYt 满足 Dt=κ0tDsds;Gronwall 不等式给 D0,故路径唯一。强构造加路径唯一在此也使弱解的律唯一。

Tanaka 方程

dXt=sgn(Xt)dWt,X0=0,

sgn(0)=1。任一解都有 [X]t=t,Lévy 刻画说明 X 本身是 Brownian 运动,因而分布唯一。反过来,从 Brownian 运动 X 定义 Wt=0tsgn(Xs)dXs,则 W 也是 Brownian 运动并给出弱解。但 W 只确定反射过程 |X|,每次离开零点的 excursion 符号需要额外随机选择,不能从 W 的滤过恢复;因此没有强解,路径唯一性也失败。这是“唯一律但无强解”的结构例子。

非 Lipschitz 漂移甚至会产生多个强解。无噪声方程

dXt=2|Xt|dt,X0=0

对每个 c0 都有 Xt(c)=(tc)+2。它们在同一退化噪声与同一初值上不同,所以路径唯一和分布唯一都失败;区别并非只在随机方程中才出现。

推论与应用

存在性证明常先通过紧性、鞅问题或测度变换构造弱解,再单独证明路径唯一。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。
关系图谱4 个相邻概念 · 1 类关系

拖动节点调整位置。

显示关系

显示:依赖

  1. 前置三跳
  2. 前置二跳
  3. 前置一跳
  4. 当前条目
  5. 后续一跳
  6. 后续二跳
  7. 后续三跳
文字版关系按与当前条目的最短距离分组