stochastic calculus
Ito's Formula
You should know: stochastic differential equations, brownian motion
Overview
Ito's formula is the chain rule of stochastic calculus. For a smooth function f applied to an Ito process X_t, it provides the stochastic differential of f(X_t). Unlike the classical chain rule, Ito's formula contains a second-order correction term involving the quadratic variation of X -- because Brownian motion has (dB_t)^2 = dt in the infinitesimal sense. Ito's formula is used to derive stochastic differential equations for functions of processes, to compute SDEs for financial instruments, and to identify martingales.
Intuition
If X_t changes by dX_t, then f(X_t) changes by f'(X_t) dX_t in classical calculus. But Brownian motion is 'rougher than usual': its quadratic variation is dt, not (dt)^2. So the Taylor expansion must include the (dX_t)^2 term, which gives f''(X_t)/2 * dt. This second-order correction is the hallmark of Ito calculus and distinguishes it from ordinary calculus.
Formal Definition
Let X_t be an Ito process: dX_t = mu_t dt + sigma_t dB_t, and let f(t, x) be C^{1,2} (once in t, twice in x). Then the stochastic differential of Y_t = f(t, X_t) is given by Ito's formula.
Notation
| Notation | Meaning |
|---|---|
| Stochastic differential of the process X | |
| Partial derivatives of f with respect to t, x, and xx | |
| Quadratic variation of X up to time t; for X_t = B_t, [X]_t = t |
Theorems
Worked Examples
- 1
Let f(x) = x^2. Then f'(x) = 2x and f''(x) = 2. Apply Ito's formula with dX_t = dB_t (so mu_t = 0, sigma_t = 1).
- 2
Integrating from 0 to T: B_T^2 - B_0^2 = 2 int_0^T B_t dB_t + T, confirming int_0^T B_t dB_t = (B_T^2 - T)/2.
✓ Answer
d(B_t^2) = 2B_t dB_t + dt. The +dt term is the Ito correction from (dB_t)^2 = dt.
Practice Problems
Find the SDE satisfied by Y_t = e^{B_t} using Ito's formula.
Let X_t satisfy dX_t = r X_t dt + sigma X_t dB_t (GBM). Compute d(log X_t) and identify the drift.
Common Mistakes
Forgetting the (1/2) f''(B_t) dt correction term
The Ito correction (1/2) sigma^2 f_{xx} dt is essential. Omitting it gives the wrong answer. This term has no classical analogue.
Writing the GBM solution as S_t = S_0 exp(mu t + sigma B_t)
The correct solution is S_t = S_0 exp((mu - sigma^2/2)t + sigma B_t). The -sigma^2/2 in the exponent compensates for the Ito correction.
Quiz
Summary
- Ito's formula: d(f(t, X_t)) = f_t dt + f_x dX_t + (1/2) f_{xx} sigma_t^2 dt for dX_t = mu_t dt + sigma_t dB_t.
- Key rule: (dB_t)^2 = dt; all other products involving dt are zero.
- GBM: S_t = S_0 exp((mu - sigma^2/2)t + sigma B_t) satisfies dS_t = mu S_t dt + sigma S_t dB_t.
- d(log S_t) = (mu - sigma^2/2) dt + sigma dB_t -- the drift of log S is mu - sigma^2/2, not mu.
- Ito's formula is the cornerstone of stochastic calculus and the Black-Scholes derivation.
References
- BookOksendal, B. -- Stochastic Differential Equations, Chapter 4
- BookKaratzas, I. and Shreve, S. -- Brownian Motion and Stochastic Calculus, Chapter 3
- WebsiteWikipedia -- Ito's lemma
Mathematics