一个维纳过程(也称为标准布朗运动) 可以用三个性质刻画[1]:§7.1
-
- 映射 在正实数轴上几乎处处连续
- 是独立增量函数,并且对所有 ,
第三条中, 表示期望为 ,方差为 的正态分布随机变量。独立增量函数的定义是,如果随机抽取两段不重叠的时间段
, 和 是互相独立的随机变量,并且对更多的不重叠时间段的情况也是如此
另一个等价的刻画方式是以法国数学家保罗·利维命名的“利维刻画”:维纳过程是几乎处处路径连续的零期望连续鞅,并且满足二次变差: ,也就是说 仍然是连续鞅。
1923年,维纳首次证明维纳过程存在[2]:9。维纳过程可以用随机漫步或任意拥有平稳独立增量的离散随机过程的尺度极限来构造。这个构造方法基于Donsker定理。与随机漫步一样,一维和二维的维纳过程是常返的,也就是说几乎一定会回到起始的原点,或者说几乎一定会无限次跌入原点附近的任意邻域。当维度高于或等于三维时,维纳过程不再是常返的。与随机漫步不同的是,维纳过程拥有尺度不变性。如果 是一个随机过程,那么对所有的正实数 ,
-
也是一个维纳过程[2]:12。
维纳测度是满足 的连续函数空间上的概率分布。关于维纳测度的积分称为 维纳积分.
基本性质
对任意的正实数 ,一维维纳过程在 时刻是一个随机变量,它的概率密度函数是:
这是因为按照维纳过程的定义,当 时,可以推出 的分布:
-
它的数学期望是零:
它的方差是 :
在维纳过程的独立增量定义中,令 , , ,那么 和 是相互独立的随机变量,并且
-
所以两个不同时刻 , 与 的协方差和相关系数是:
-
即时最值
维纳过程中的即时最大值 与 的联合概率分布是:
-
而即时最大值的分布 是对 的积分:
-
即时最大值的数学期望是[3]:114:
-
由于维纳过程上下对称,即时最小值显然是即时最大值的相反数。
对称性质
将一个维纳过程不断按比例展开,它的一部分就会呈现另一个维纳过程的样子
- 尺度不变性:对任意的正实数 ,随机过程 都仍然是一个维纳过程。
- 时间反转:对任意的正实数 ,随机过程 和 性质相同。
- 空间对称:随机过程 也是一个维纳过程。
- 时间反演:随机过程 也是一个维纳过程。
参考资料:[2]:13、[4]:44
时间平移不变性和马尔可夫性质
维纳过程具有马尔可夫性质,也就是说,在任意一点之后的走势仅仅和这一点的取值相关,而与之前的取值无关。也就是说,对任何的有界连续函数 ,
-
因此维纳过程具有时间平移不变性:随机过程 也是一个维纳过程。不仅如此,维纳过程还满足强马尔可夫性质:对任意的有限停时 ,随机变量 独立于滤波 。也就是说,对任何的有界连续函数 ,
-
维纳过程的强马尔可夫性质,说明即便给定的时间不是定时而是一个停时,维纳过程在停时之后的走势仍然与之前无关。所以,将停时之后的维纳过程上下反转,仍然会是一个维纳过程。用数学语言来说,就是:给定一个停时 之后,随机变量: 也是一个维纳过程。这个性质也称为维纳过程的反射原理。
作为推论,可以建立即时最大值 与 的另一种关系。设有正实数 停时 ,那么 。运用反射原理可以证明, 。更一般地,设有 ,则 。