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:

  1. 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).

  2. 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.

  3. ” 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

  1. 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.
  2. 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).
  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.
  4. 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