Basic Prerequisites: Elementary probability only (a random variable, expectation, the normal distribution) - no measure theory required at this entry point; the measure-theoretic machinery is developed from 02 onward.
1. Intuition & Practical Objective
The entire subject is one sentence: Brownian motion accumulates squared increments at rate 1 - that is, - so the “calculus” that describes prices is not the calculus you learned in school. Classical works because is negligible. For , is not negligible; instead, over any interval, (elapsed time) deterministically. This is the single mechanism behind every surprise in quantitative finance (the in geometric-Brownian drift, the martingale measure, the Itô correction).
Build it in three “aha”s, from the discrete to the continuous:
-
A random walk is a martingale in disguise. Flip fair coins: , . It has zero drift, so - a fair game. Scale steps down () and speed up ( steps per unit time): looks Gaussian (CLT), and as the interpolated process converges to Brownian motion (Shreve I §13.4; a functional CLT / Donsker).
-
The size of the step determines the smoothness. Because the scaled step is (not ), squared steps are and don’t vanish when summed over steps: of (square) per unit time. That is exactly why BM has unbounded first-order variation but finite quadratic variation . A function (step ) would have ; a BM path moves too fast.
-
” with a ” is a different beast. You cannot interpret as a Riemann–Stieltjes integral, because classical calculus yields , but the true (Itô) value is . The subtraction is the quadratic-variation correction. The beginner must unlearn the classical answer before learning the Itô one.
2. Mathematical Ground Truth & Derivations
From random walk to BM (Shreve I §13.3–13.5). Let be the symmetric random walk and define the scaled process
The CLT (via MGFs, Shreve I Thm 3.39) gives ; by independence of increments the whole interpolated trajectory converges weakly to BM. BM is defined (Shreve II Def 3.3.1) by
Key structural facts: covariance (Shreve I §13.6), and is both a martingale and a Markov process (Shreve II Thm 3.3.4, §3.5).
Quadratic variation - the heart. For any partition of ,
Why: each squared increment has mean and variance ; by a law-of-large-numbers the sum collapses to (Shreve II Thm 3.4.3). The informal bookkeeping is then
Consequence for the drift of a log-price. For geometric Brownian motion (Shreve I Thm 15.3), applying Itô’s lemma recovers . The is forced: exponentiate the differential form and the rule generates the correction backwards - the answer is consistent only if the exponent carries . Missing it would make grow with , a pure artifact of nonzero quadratic variation, not a real drift.
3. Computational Implementation - see the quadratic variation
Simulate BM and watch regardless of path; then check that a pushed () version has quadratic variation - the direct, quantitative meaning of "". Stdlib only.
4. Failure Modes & First-Principles Breakdowns
- Treating as negligible. This is the single most common and most damaging error. Ordinary calculus drops all second-order terms; for the second-order term is the leading stochastic one. Symptom: your Itô expansions disagree with simulation.
- Confusing quadratic variation with total variation. BM has infinite first-order variation (), but finite quadratic variation. The “infinite” part is why you cannot treat as a classical differential, and why the Itô integral needs its own construction (Shreve II §4.2–4.3).
- Random-walk intuition with wrong scaling. A symmetric walk with step (not ) has quadratic variation and does not converge to BM. The correct scaling that produces finite quadratic variation is the essence of the construction.
- Believing is differentiable. BM is nowhere differentiable; it has no Riemann–Stieltjes derivative. Any “chain rule” for must go through Itô–Doeblin, not the classical chain rule - see 03 · Itô Integral & Doeblin.
5. References
- Shreve, Stochastic Calculus for Finance I
- Shreve, Stochastic Calculus for Finance II
- Glasserman, Monte Carlo Methods in Financial Engineering
6. Connected Graph Bridges
- Base: Probability & Measure Theory
- Continue: 02 · Brownian Motion & Martingales · Index Hub