Definition of Itos Lemma

Ito's Lemma is a key component in the Ito Calculus, used to determine the derivative of a time-dependent function of a stochastic process. It performs the role of the chain rule in a stochastic setting, analogous to the chain rule in ordinary differential calculus. Ito's Lemma is a cornerstone of quantitative finance and it is intrinsic to the derivation of the Black-Scholes equation for contingent claims (options) pricing.

It is necessary to understand the concepts of Brownian motion, stochastic differential equations and geometric Brownian motion before proceeding.

The Chain Rule

One of the most fundamental tools from ordinary calculus is the chain rule. It allows the calculation of the derivative of chained functional composition. Formally, if W(t) is a continuous function, and:

$$\begin{array}{r}dW(t)=\mu (W(t),t)dt\end{array}$$

Then the chain rule states:

$$\begin{array}{r}d(f(W(t)))=f^{\prime }(W(t))\mu (W(t),t)dt\end{array}$$

When f has t as a direct dependent parameter also, we require additional terms and partial derivatives. In this instance, the chain rule is given by:

$$\begin{array}{r}d(f(W(t),t))=(\frac{\partial f}{\partial w}(W(t),t)\mu (W(t),t)+\frac{\partial f}{\partial t}(W(t),t))dt\end{array}$$

In order to model an asset price distribution correctly in a log-normal fashion, a stochastic version of the chain rule will be used to solve a stochastic differential equation representing geometric Brownian motion.

The primary task is now to correctly extend the ordinary calculus version of the chain rule to be able to cope with random variables.

Ito's Lemma

Theorem (Ito's Lemma)

Let B(t) be a Brownian motion and W(t) be an Ito drift-diffusion process which satisfies the stochastic differential equation:

$$\begin{array}{r}dW(t)=\mu (W(t),t)dt+\sigma (W(t),t)dB(t)\end{array}$$

If $f(w,t)\in C^2({\mathbb{R}}^2,\mathbb{R})$ then f(W(t),t) is also an Ito drift-diffusion process, with its differential given by:

$$\begin{array}{r}d(f(W(t),t))=\frac{\partial f}{\partial t}(W(t),t)dt+f^{\prime }(W(t),t)dW+\frac{1}{2}{f}^{″}(W(t),t)dW(t{)}^2\end{array}$$

With $dW(t{)}^2$ given by: $d{t}^2=0$, $dtdB(t)=0$ and $dB(t{)}^2=dt$

Reference: Ito's Lemma

From https://www.quantstart.com/articles/Itos-Lemma/