Setting
L 2 ( Ω ) L^2(\Omega) L 2 ( Ω ) is a Hilbert space with ⟨ X , Y ⟩ = E [ X Y ] \langle X, Y \rangle = E[XY] ⟨ X , Y ⟩ = E [ X Y ] . A process f ( t , ω ) f(t, \omega) f ( t , ω ) on [ 0 , ∞ ) × Ω [0, \infty) \times \Omega [ 0 , ∞ ) × Ω is progressively measurable if for every t ≥ 0 t \ge 0 t ≥ 0 the map ( s , ω ) ↦ f ( s , ω ) (s, \omega) \mapsto f(s, \omega) ( s , ω ) ↦ f ( s , ω ) on [ 0 , t ] × Ω [0, t] \times \Omega [ 0 , t ] × Ω is B ( [ 0 , t ] ) ⊗ F t \mathcal{B}([0,t]) \otimes \mathcal{F}_t B ([ 0 , t ]) ⊗ F t -measurable. Adapted processes with left- or right-continuous paths are progressively measurable. L p r o g 2 ( [ 0 , T ] × Ω ) L^2_{prog}([0,T] \times \Omega) L p ro g 2 ([ 0 , T ] × Ω ) is the space of progressively measurable f f f with E ∫ 0 T f 2 d t < ∞ E\int_0^T f^2\, dt < \infty E ∫ 0 T f 2 d t < ∞ .
The Itô Integral
For a simple adapted process, constant Δ ( t j ) \Delta(t_j) Δ ( t j ) on each [ t j , t j + 1 ) [t_j, t_{j+1}) [ t j , t j + 1 ) , and t k ≤ t < t k + 1 t_k \le t < t_{k+1} t k ≤ t < t k + 1 ,
I ( t ) = ∫ 0 t Δ ( u ) d W ( u ) = ∑ j = 0 k − 1 Δ ( t j ) [ W ( t j + 1 ) − W ( t j ) ] + Δ ( t k ) [ W ( t ) − W ( t k ) ] I(t) = \int_0^t \Delta(u)\, dW(u) = \sum_{j=0}^{k-1} \Delta(t_j)\big[W(t_{j+1}) - W(t_j)\big] + \Delta(t_k)\big[W(t) - W(t_k)\big] I ( t ) = ∫ 0 t Δ ( u ) d W ( u ) = j = 0 ∑ k − 1 Δ ( t j ) [ W ( t j + 1 ) − W ( t j ) ] + Δ ( t k ) [ W ( t ) − W ( t k ) ]
For general Δ ∈ L p r o g 2 \Delta \in L^2_{prog} Δ ∈ L p ro g 2 , choose simple Δ n \Delta_n Δ n with lim n → ∞ E ∫ 0 T ∣ Δ n ( t ) − Δ ( t ) ∣ 2 d t = 0 \lim_{n \to \infty} E\int_0^T |\Delta_n(t) - \Delta(t)|^2\, dt = 0 lim n → ∞ E ∫ 0 T ∣ Δ n ( t ) − Δ ( t ) ∣ 2 d t = 0 (simple, then bounded continuous, then bounded, then general), and define ∫ 0 T Δ d W \int_0^T \Delta\, dW ∫ 0 T Δ d W as the L 2 L^2 L 2 limit of ∫ 0 T Δ n d W \int_0^T \Delta_n\, dW ∫ 0 T Δ n d W .
Properties
I ( t ) I(t) I ( t ) has continuous paths and is F t \mathcal{F}_t F t -measurable.
It is linear in the integrand.
It is a martingale, E [ I ( t ) ∣ F s ] = I ( s ) E[I(t)|\mathcal{F}_s] = I(s) E [ I ( t ) ∣ F s ] = I ( s ) , so E [ I ( t ) ] = 0 E[I(t)] = 0 E [ I ( t )] = 0 .
Itô isometry E [ I ( t ) 2 ] = E ∫ 0 t Δ 2 ( u ) d u = V a r ( I ( t ) ) E[I(t)^2] = E\int_0^t \Delta^2(u)\, du = \mathrm{Var}(I(t)) E [ I ( t ) 2 ] = E ∫ 0 t Δ 2 ( u ) d u = Var ( I ( t )) , i.e. the integral is an isometry from L p r o g 2 L^2_{prog} L p ro g 2 into L 2 ( Ω ) L^2(\Omega) L 2 ( Ω ) .
[ I , I ] ( t ) = ∫ 0 t Δ 2 ( u ) d u [I, I](t) = \int_0^t \Delta^2(u)\, du [ I , I ] ( t ) = ∫ 0 t Δ 2 ( u ) d u , i.e. d I d I = Δ 2 d t dI\, dI = \Delta^2\, dt d I d I = Δ 2 d t , and [ I , J ] ( t ) = ∫ 0 t Δ Γ d u [I, J](t) = \int_0^t \Delta\Gamma\, du [ I , J ] ( t ) = ∫ 0 t ΔΓ d u for J = ∫ Γ d W J = \int \Gamma\, dW J = ∫ Γ d W .
If Δ \Delta Δ is deterministic, ∫ 0 t Δ d W ∼ N ( 0 , ∫ 0 t Δ 2 ( s ) d s ) \int_0^t \Delta\, dW \sim \mathcal{N}\big(0, \int_0^t \Delta^2(s)\, ds\big) ∫ 0 t Δ d W ∼ N ( 0 , ∫ 0 t Δ 2 ( s ) d s ) .
Itô Processes
X ( t ) = X ( 0 ) + ∫ 0 t Δ ( u ) d W ( u ) + ∫ 0 t Θ ( u ) d u , d X = Δ d W ⏟ diffusion + Θ d t ⏟ drift X(t) = X(0) + \int_0^t \Delta(u)\, dW(u) + \int_0^t \Theta(u)\, du, \qquad dX = \underbrace{\Delta\, dW}_{\text{diffusion}} + \underbrace{\Theta\, dt}_{\text{drift}} X ( t ) = X ( 0 ) + ∫ 0 t Δ ( u ) d W ( u ) + ∫ 0 t Θ ( u ) d u , d X = diffusion Δ d W + drift Θ d t
with Δ , Θ \Delta, \Theta Δ , Θ adapted. Its quadratic variation is [ X , X ] ( t ) = ∫ 0 t Δ 2 ( u ) d u [X, X](t) = \int_0^t \Delta^2(u)\, du [ X , X ] ( t ) = ∫ 0 t Δ 2 ( u ) d u , i.e. d X d X = Δ 2 d t dX\, dX = \Delta^2\, dt d X d X = Δ 2 d t , since d W d W = d t dW\, dW = dt d W d W = d t and d W d t = d t d t = 0 dW\, dt = dt\, dt = 0 d W d t = d t d t = 0 .
Itô's Lemma
If f ( t , x ) f(t, x) f ( t , x ) has continuous f t f_t f t , f x f_x f x , f x x f_{xx} f xx , then
f ( T , X ( T ) ) = f ( 0 , X ( 0 ) ) + ∫ 0 T f t d t + ∫ 0 T f x d X + 1 2 ∫ 0 T f x x d [ X , X ] ( t ) f(T, X(T)) = f(0, X(0)) + \int_0^T f_t\, dt + \int_0^T f_x\, dX + \frac{1}{2}\int_0^T f_{xx}\, d[X, X](t) f ( T , X ( T )) = f ( 0 , X ( 0 )) + ∫ 0 T f t d t + ∫ 0 T f x d X + 2 1 ∫ 0 T f xx d [ X , X ] ( t )
or in differential form
d f = f t d t + f x d X + 1 2 f x x d X d X = ( f t + Θ f x + 1 2 Δ 2 f x x ) d t + Δ f x d W df = f_t\, dt + f_x\, dX + \frac{1}{2} f_{xx}\, dX\, dX = \Big(f_t + \Theta f_x + \frac{1}{2}\Delta^2 f_{xx}\Big)\, dt + \Delta f_x\, dW df = f t d t + f x d X + 2 1 f xx d X d X = ( f t + Θ f x + 2 1 Δ 2 f xx ) d t + Δ f x d W
For X = W X = W X = W this is d f = f t d t + f x d W + 1 2 f x x d t df = f_t\, dt + f_x\, dW + \frac{1}{2} f_{xx}\, dt df = f t d t + f x d W + 2 1 f xx d t .
Multidimensional d f = f t d t + ∇ f ⋅ d X + 1 2 d X T H f d X df = f_t\, dt + \nabla f \cdot dX + \frac{1}{2}\, dX^T H_f\, dX df = f t d t + ∇ f ⋅ d X + 2 1 d X T H f d X , with H f H_f H f the Hessian in x x x .
Product rule d ( X Y ) = X d Y + Y d X + d X d Y d(XY) = X\, dY + Y\, dX + dX\, dY d ( X Y ) = X d Y + Y d X + d X d Y .
Examples
∫ 0 T W d W \int_0^T W\, dW ∫ 0 T W d W Approximate W W W by the simple process Δ n ( t ) = W ( j T / n ) \Delta_n(t) = W(jT/n) Δ n ( t ) = W ( j T / n ) on [ j T / n , ( j + 1 ) T / n ) [jT/n, (j+1)T/n) [ j T / n , ( j + 1 ) T / n ) . Writing W j = W ( j T / n ) W_j = W(jT/n) W j = W ( j T / n ) ,
∑ j = 0 n − 1 W j ( W j + 1 − W j ) = 1 2 W n 2 − 1 2 ∑ j = 0 n − 1 ( W j + 1 − W j ) 2 ⟶ 1 2 W ( T ) 2 − 1 2 T \sum_{j=0}^{n-1} W_j (W_{j+1} - W_j) = \frac{1}{2}W_n^2 - \frac{1}{2}\sum_{j=0}^{n-1} (W_{j+1} - W_j)^2 \;\longrightarrow\; \frac{1}{2}W(T)^2 - \frac{1}{2}T j = 0 ∑ n − 1 W j ( W j + 1 − W j ) = 2 1 W n 2 − 2 1 j = 0 ∑ n − 1 ( W j + 1 − W j ) 2 ⟶ 2 1 W ( T ) 2 − 2 1 T
since the sum of squared increments converges to [ W , W ] ( T ) = T [W, W](T) = T [ W , W ] ( T ) = T .
Others
∫ 0 T t d W = T W ( T ) − ∫ 0 T W ( t ) d t , ∫ 0 T W 2 d W = 1 3 W ( T ) 3 − ∫ 0 T W ( t ) d t \int_0^T t\, dW = TW(T) - \int_0^T W(t)\, dt, \qquad \int_0^T W^2\, dW = \frac{1}{3}W(T)^3 - \int_0^T W(t)\, dt ∫ 0 T t d W = T W ( T ) − ∫ 0 T W ( t ) d t , ∫ 0 T W 2 d W = 3 1 W ( T ) 3 − ∫ 0 T W ( t ) d t
from the product rule and from Itô's lemma with f ( x ) = x 3 / 3 f(x) = x^3/3 f ( x ) = x 3 /3 .
Geometric Brownian motion For d S = μ S d t + σ S d W dS = \mu S\, dt + \sigma S\, dW d S = μ S d t + σ S d W and f ( x ) = ln x f(x) = \ln x f ( x ) = ln x ,
d ( log S ) = d S S − 1 2 S 2 d S d S = μ d t + σ d W − 1 2 σ 2 d t = ( μ − 1 2 σ 2 ) d t + σ d W d(\log S) = \frac{dS}{S} - \frac{1}{2S^2} dS\, dS = \mu\, dt + \sigma\, dW - \frac{1}{2}\sigma^2\, dt = \Big(\mu - \frac{1}{2}\sigma^2\Big) dt + \sigma\, dW d ( log S ) = S d S − 2 S 2 1 d S d S = μ d t + σ d W − 2 1 σ 2 d t = ( μ − 2 1 σ 2 ) d t + σ d W
Ornstein-Uhlenbeck For d Y = − a Y d t + σ d W dY = -aY\, dt + \sigma\, dW d Y = − aY d t + σ d W , let Z = Y e a t Z = Ye^{at} Z = Y e a t . Then d Z = σ e a t d W dZ = \sigma e^{at}\, dW d Z = σ e a t d W , so
Y ( t ) = e − a t Y ( 0 ) + σ ∫ 0 t e − a ( t − s ) d W ( s ) Y(t) = e^{-at}Y(0) + \sigma\int_0^t e^{-a(t-s)}\, dW(s) Y ( t ) = e − a t Y ( 0 ) + σ ∫ 0 t e − a ( t − s ) d W ( s )