MathLabs
定理已证明

布朗运动具有正的二次变差且处处不可微

命题陈述

对标准维纳过程 WW 与任意 t>0t>0,∑i(Wti+1−Wti)2→t\sum_{i}(W_{t_{i+1}}-W_{t_i})^2 \to t,其中求和取遍网格趋于 00 的 [0,t][0,t] 分划,该极限依概率成立(事实上沿二进分划几乎必然成立)。因此,几乎每条样本路径 s↦Wss\mapsto W_s 在 s∈[0,t]s\in[0,t] 的任何一点都不可微。

为什么成立?

这正是使随机分析成为必要的定理:它排除了像古典微积分处理 dtdt 那样把 dWtdW_t 当作普通无穷小来处理,并证明了驱动下文伊藤引理的启发式规则 (dWt)2=dt(dW_t)^2=dt 是合理的。

证明思路

二次变差。将 [0,t][0,t] 分成 nn 个长度为 t/nt/n 的等分,令 Qn=∑i=1n(Wit/n−W(i−1)t/n)2Q_n=\sum_{i=1}^n(W_{it/n}-W_{(i-1)t/n})^2。每一项 (Wit/n−W(i−1)t/n)2(W_{it/n}-W_{(i-1)t/n})^2 的均值为 t/nt/n(因为增量为 N(0,t/n)N(0,t/n)),利用正态变量的四阶矩,其方差为 2(t/n)22(t/n)^2。将 nn 个这样独立的项求和,精确地有 E[Qn]=tE[Q_n]=t,且当 n→∞n\to\infty 时 Var(Qn)=2t2/n→0\mathrm{Var}(Q_n)=2t^2/n\to0,故 Qn→tQ_n\to t 依概率(以及均方)成立——这就证明了二次变差的等式。

处处不可微。反证法:假设 WW 在某点 ss 处可微,导数为有限值 W′(s)=LW'(s)=L。那么对很小的 hh,Ws+h−Ws≈LhW_{s+h}-W_s\approx Lh,故在长度为 hh 的微小区间上,平方增量应为 h2h^2 量级——但上面的二次变差计算表明,长度为 hh 的区间上典型平方增量是 hh 量级(对很小的 hh 而言远大于 h2h^2),而将这些 hh 量级的项在 t/ht/h 个区间上求和,恰好产生一个收敛到有限正数 tt 而非 00 的总和。

这种矛盾——可微性将迫使二次变差为 00,但它被证明为 t>0t>0——是不可调和的,因此不存在任何可微点;一个完整的测度论论证(1933年由佩利、维纳与齐格蒙德给出)通过直接界定任意点附近差商保持有界的概率,使这一点变得严格,表明该概率对路径上的每一点同时恰好为零。

用到此定理的主题

分步证明

该定理暂无分步证明。

参考文献

  1. Ioannis Karatzas, Steven E. Shreve (1991). Brownian Motion and Stochastic Calculus
  2. Kiyosi Itô (1944). Stochastic Integral
  3. Fischer Black, Myron Scholes (1973). The Pricing of Options and Corporate Liabilities