Basic Prerequisites: Probability & Measure Theory. (these are the folder-level prerequisites for pages 02–06; page 01 states its own, smaller, entry requirements)
1. Intuition & Practical Objective
Stochastic calculus is the calculus whose “clock” ticks randomly. Ordinary calculus assumes because carries no randomness and . But the driving process of financial prices - Brownian motion - has nonzero quadratic variation: over every interval it accumulates squared increments at rate 1, i.e. . That single fact forces the correction term with the in every formula, changes how you integrate, and is the deep reason the drift of a stock never enters the option price.
This folder is the mathematical engine room of the whole Atlas. It is a hub: the Theorem Lookup below (job #1) and six sub-pages taking you from zero intuition through Brownian motion, the Itô integral & Itô–Doeblin lemma, SDEs and simulation, Girsanov / risk-neutral measure, and the advanced bridges (Feynman–Kac, martingale representation, Fundamental Theorems). Everything the Black–Scholes–Merton pillar needs to derive rather than quote lives here.
The one-sentence essence. “A calculus where the second-order term survives - because Brownian motion moves fast enough that its squares add up deterministically (); every Itô result is the consequence of that bookkeeping.”
2. Mathematical Ground Truth & Theorem Lookup
All formulas below are transcribed from Shreve Vol II (Ch 3–5), Shreve Vol I (Ch 13–18), Björk (Ch 4–5, 10–14) and Glasserman (Ch 1–3), all cross-checked in the verified corpus; the numeric checks in §3 reproduce them exactly.
Brownian Motion - , , continuous, independent increments , is an -martingale (Shreve II Def 3.3.1, Thm 3.3.4). Covariance ; finite-dimensional laws jointly normal with (Shreve I §13.6–13.7). Quadratic variation , so (Shreve II §3.4; Def 3.4.1, Thm 3.4.3).
Exponential martingale - is a martingale (Shreve II Thm 3.6.1). First-passage Laplace transform: , and (Shreve II Thm 3.6.2, Remark 3.6.3).
| Object | Formula | Where |
|---|---|---|
| BM martingale | Shreve II 3.3.4 | |
| QV of BM | Shreve II 3.4 | |
| Exp. martingale | Shreve II 3.6.1 | |
| First-passage | Shreve II 3.6.2 |
Itô integral - , built for simple adapted then extended to . It is a martingale, mean , with Itô isometry and quadratic variation (Shreve II Thm 4.2.1–4.2.3).
Itô–Doeblin - for and (Shreve II Thm 4.4.6):
GBM - has solution ; (Shreve I 15.1, Thm 15.3; Björk 5.2). The is the Itô correction.
Short-rate SDEs (Shreve II Ex 4.4.10/11; Glasserman §3.3–3.4):
- Vasicek: ⇒ , Gaussian, can go negative.
- CIR: - no closed form, nonnegative, Feller condition for strict positivity (Glasserman §3.4).
Girsanov (Shreve II Thm 5.2.3) - with , the RN derivative
makes a BM under (). Market price of risk ; it changes the drift () but not the volatility or the paths (Shreve II 5.2.22–23).
Martingale Representation (Shreve II Thm 5.3.1) - w.r.t. the filtration generated by a single , every martingale .
Risk-neutral pricing (Shreve II 5.2.30/31): .
Feynman–Kac (Björk 5.5/5.6) - , ⇔ for .
Fundamental Theorems (Shreve II 5.4.7/5.4.9; Harrison–Pliska) - FTA-1: no arbitrage ⇔ a risk-neutral (martingale) measure exists. FTA-2: market complete ⇔ the risk-neutral measure is unique.
3. Computational Implementation
A stdlib-only sanity sweep that reproduces the headline numbers of this folder end-to-end (each sub-page has a fuller example):
4. Failure Modes & First-Principles Breakdowns
Hub signposts - the folder’s failure analysis lives in each sub-page. In one line each:
- (classical calculus bleed-through). Treating the SDE with ordinary calculus drops the Itô term; every pricing formula, every hedge, every simulation is then wrong by the variance term. See 03 · Itô Integral & Doeblin.
- Drift under the wrong measure. Pricing requires expectation under (drift ), not (drift ). Discounting a -expectation misprices by the unhedgeable drift. See 05 · Girsanov & Risk-Neutral.
- Discretization error in simulation. Exact lognormal transitions for GBM differ from Euler–Maruyama; coarse biases every statistic (Glasserman Ch 6). Simulate the exact transition whenever one exists.
- Feller condition ignored. Below a CIR Euler scheme crosses below zero; Milstein or exact noncentral- sampling is required. See 04 · SDEs & Simulation.
- MRT needs the BM filtration. Martingale representation and market completeness both require the filtration generated by the Brownian motion - extra randomness (jumps, an untraded factor) breaks them. See 06 · Advanced Extensions.
5. References
- Shreve, Steven E.: Stochastic Calculus for Finance II
- Shreve, Steven E.: Stochastic Calculus for Finance I
- Björk, Tomas: Arbitrage Theory in Continuous Time (3rd ed.)
- Glasserman, Paul: Monte Carlo Methods in Financial Engineering
6. Connected Graph Bridges
- Foundational base: Probability & Measure Theory (martingales, RN derivative, conditional expectation)
- Sub-pages (in-folder): 01 From Zero · 02 Brownian Motion & Martingales · 03 Itô Integral & Doeblin · 04 SDEs & Simulation · 05 Girsanov & Risk-Neutral · 06 Advanced Extensions