MathLabs
TheoremProved

Brownian motion has positive quadratic variation and is nowhere differentiable

Statement

For a standard Wiener process WW and any t>0t>0, ∑i(Wti+1−Wti)2→t\sum_{i}(W_{t_{i+1}}-W_{t_i})^2 \to t where the sum is over a partition of [0,t][0,t] whose mesh tends to 00, the limit holding in probability (in fact almost surely along dyadic partitions). Consequently, almost every sample path s↦Wss\mapsto W_s is differentiable at no point s∈[0,t]s\in[0,t].

Why is it true?

This is the theorem that makes stochastic calculus necessary in the first place: it rules out treating dWtdW_t as an ordinary infinitesimal the way dtdt is treated in classical calculus, and it justifies the heuristic rule (dWt)2=dt(dW_t)^2=dt that drives Itô's lemma below.

Proof sketch

Quadratic variation. Partition [0,t][0,t] into nn equal pieces of length t/nt/n and let 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. Each term (Wit/n−W(i−1)t/n)2(W_{it/n}-W_{(i-1)t/n})^2 has mean t/nt/n (since the increment is N(0,t/n)N(0,t/n)) and, using the fourth moment of a normal variable, variance 2(t/n)22(t/n)^2. Summing nn independent such terms, E[Qn]=tE[Q_n]=t exactly and Var(Qn)=2t2/n→0\mathrm{Var}(Q_n)=2t^2/n\to0 as n→∞n\to\infty, so Qn→tQ_n\to t in probability (and mean square) — this proves the quadratic variation identity.

Nowhere differentiability. Suppose, for contradiction, that WW were differentiable at some point ss with derivative W′(s)=LW'(s)=L finite. Then for small hh, Ws+h−Ws≈LhW_{s+h}-W_s\approx Lh, so the squared increment over a tiny interval of length hh would be of order h2h^2 — but the quadratic variation computation above shows the typical squared increment over an interval of length hh is of order hh (much larger than h2h^2 for small hh), and summing these order-hh terms over t/ht/h intervals is exactly what produces a total that converges to the finite, positive number tt rather than to 00.

This mismatch — differentiability would force quadratic variation to be 00, but it is provably t>0t>0 — is irreconcilable, so no point of differentiability can exist; a full measure-theoretic argument (due to Paley, Wiener and Zygmund in 1933) makes this rigorous by directly bounding the probability that any difference quotient stays bounded near any point, showing this probability is exactly zero simultaneously for every point on the path.

Topics that use this theorem

Step-by-step proofs

No step-by-step proof yet for this theorem.

References

  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