给定 dXt=θ(t)dt+dWt(θ 有界),定义
Dt=exp(−∫0tθ(s)dWs−21∫0tθ(s)2ds).
对 Yt=−∫0tθ(s)dWs−21∫0tθ(s)2ds 用 Itô 作用于 eYt,得到
dDt=−θ(t)DtdWt,
无漂移,故 Dt 为鞅。
再用二维 Itô(积公式)对 Zt=XtDt:
d(XtDt)=XtdDt+DtdXt+d⟨X,D⟩t,
其中交叉变差项恰好抵消漂移,最终得到无漂移形式,故 Zt 亦为鞅。
取特例 θ≡1,则 Xt=Wt+t,对应
(Wt+t)e−Wt−21t 是鞅.