Ito's Lemma

Itô's Lemma is the chain rule for stochastic processes. It's essential for differentiating a function f(t,Wt) where Wt is a Brownian motion, because classical calculus fails.

The core problem is that a Wiener process is "rough." Its quadratic variation is non-zero. The key Itô rule is:

(dWt)2=dt

This contrasts with classical calculus, where (dx)2 would be considered 0.


Derivation from Taylor Expansion

To find df, we start with a Taylor expansion for f(t,Wt):

df=ftdt+fWdWt+122ft2(dt)2+122fW2(dWt)2+2ftWdtdWt+

We use the Itô multiplication rules to simplify the higher-order terms:

Substituting these rules, all terms except three vanish:

df=ftdt+fWdWt+122fW2(dt)

The Formula (1D)

By grouping the dt terms from the derivation, we get the standard form of Itô's Lemma for a function f(t,Wt):

df=(ft+122fW2)dt+fWdWt

Example: Geometric Brownian Motion

Let’s find the SDE for S(t)=f(t,W(t)), which is the solution to Geometric Brownian Motion.

S(t)=exp((μσ22)t+σW(t))

Let A=μσ22. Our function is f=exp(At+σWt).

We need the partial derivatives:

Now plug these into the two components of the Itô formula:

  1. The dt term:

    (ft+122fW2)=(Af+12σ2f)=f(A+12σ2)

    Substitute A=μσ22:

    f((μσ22)+12σ2)=f(μ)=μf
  2. The dWt term:

    fW=σf

Combining them gives the differential dS:

dS=(μf)dt+(σf)dWt

Replacing f with S(t), we get the familiar SDE:

dS(t)=μS(t)dt+σS(t)dWt