本文从连续时间随机微分方程的角度介绍扩散模型。
1. 维纳过程(Wiener Process) 和 布朗运动(Brownian Motion)
如果从连续时间角度看,扩散模型的加噪过程实际上就是在扩散的常微分方程基础上增加了一个布朗运动漂移的过程
布朗运动/维纳过程 Wt 需要满足以下性质:
- W0=0
- 独立增量:
P(Wt+u−Wt)=P(Wt+u−Wt∣Wt)
- 增量满足正态分布 :
(Wt+u−Wt)∼N(0,u)
- Wt 随时间t几乎一定连续 (almost surely)。
有了布朗运动的性质,为了后面证明需要需要用到下面三条引理:
- 噪声微元的分布:
dWtdWt=dtεdtε=dtε2,whereε∼N(0,1)
- 噪声微元的二阶原点矩等于时间微元, 方差则是时间微元的无穷小量
E[dWtdWt]=dtD[dWtdWt]∝dtdt≡o(dt)
- 由第二条引理可以推出一下性质几乎一定满足(因为期望是定值,方差满足无穷小量):
dWtdWt=dt