Brownian motion has positive quadratic variation and is nowhere differentiable
Statement
For a standard Wiener process and any , where the sum is over a partition of whose mesh tends to , the limit holding in probability (in fact almost surely along dyadic partitions). Consequently, almost every sample path is differentiable at no point .
Why is it true?
This is the theorem that makes stochastic calculus necessary in the first place: it rules out treating as an ordinary infinitesimal the way is treated in classical calculus, and it justifies the heuristic rule that drives Itô's lemma below.
Proof sketch
Quadratic variation. Partition into equal pieces of length and let . Each term has mean (since the increment is ) and, using the fourth moment of a normal variable, variance . Summing independent such terms, exactly and as , so in probability (and mean square) — this proves the quadratic variation identity.
Nowhere differentiability. Suppose, for contradiction, that were differentiable at some point with derivative finite. Then for small , , so the squared increment over a tiny interval of length would be of order — but the quadratic variation computation above shows the typical squared increment over an interval of length is of order (much larger than for small ), and summing these order- terms over intervals is exactly what produces a total that converges to the finite, positive number rather than to .
This mismatch — differentiability would force quadratic variation to be , but it is provably — 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
- Ioannis Karatzas, Steven E. Shreve (1991). Brownian Motion and Stochastic Calculus
- Kiyosi Itô (1944). Stochastic Integral
- Fischer Black, Myron Scholes (1973). The Pricing of Options and Corporate Liabilities