Using Itô’s Lemma to Construct Martingales from Brownian Motion
Summary
The document shows how Itô’s lemma can establish that a function of time and squared Brownian motion has zero drift. For the example f(t, W_t²) = W_t² − t, applying Itô’s lemma to Brownian motion directly gives a differential with a stochastic term and no drift. The key identity is that the squared Brownian increment contributes a term proportional to elapsed time, which cancels the function’s time derivative.
It also presents the more general approach: first treat X_t = W_t² as an Itô process, then apply the formula for f(t, X_t). This yields a partial differential equation that functions must satisfy to eliminate drift, along with another polynomial example. Zero drift is the local condition highlighted here; the discussion does not address the additional conditions needed to ensure a process is a true martingale rather than a local martingale.
Key ideas
- Itô’s lemma applied to W_t² − t gives a stochastic differential with zero drift.
- The squared Brownian increment contributes the time term that cancels the explicit time derivative.
- For a general function of t and W_t², zero drift requires a partial differential equation involving its time and spatial derivatives.
- Zero drift alone does not establish all conditions for a true martingale.
Tags
Full text
# Ito's lemma $f(t,W_t^2)$
# Ito's lemma $f(t,W_t^2)$
Let $f$ be a function of $t$ and $W_t^2$.
a)Find a function $f$ such that $f(t,W_t^2)$ is a $F_{t^-}$ martingale, with $F$ the Brownian filtration.
b)Use Ito's lemma to show that $f(t,W_t^2)$ is a process with zero drift.
My attempt for first part, I got $f(t,W_t^2)=W_t^2-t$.
For the second part I know I'm supposed to use $$df(t,W_t)=(a\frac{\delta f}{\delta W_t}+\frac{1}{2}b^2\frac{\delta^2f}{\delta W_t^2}+\frac{\delta f}{\delta t})dt+b\frac{\delta f}{\delta W_t}dW_t $$
May I know how to determine the $a$ and $b$? From the marking scheme I see that it's $a=0$ and $b=1$. But how? Thank you in advance.
## Answer by ir7 (score 5, accepted)
https://quant.stackexchange.com/a/65987
As stated here, for $f = f(t, x) ∈ C^{1,2}(\mathbb{R}^2)$ a deterministic function and Ito process $$X_t = W_t^2,$$ the stochastic process $$Y_t = f(t,X_t)$$ is an Ito process and we have $$df (t,X_t) = \partial_tf(t,X_t)\,dt + \partial_xf(t,X_t)\,dX_t + \frac{1}{2} \partial_{xx}^2f(t,X_t)(dX_t)^2. $$
Since $$ dX_t = 2W_t dW_t + dt $$ and $$ (dX_t)^2 = 4X_t dt, $$ we have
$$ df (t,X_t) = \left(\partial_tf(t,X_t) + 2X_t \partial_{xx}^2f(t,X_t) +\partial_xf(t,X_t) \right)\,dt +2\partial_xf(t,X_t)W_t dW_t $$
So, to make $f(t,X_t) = f(t,W_t^2)$ martingale, all we need is deterministic functions $f=f(t,x)$ such that $$ \partial_tf(t,x) + 2x\partial_{xx}^2f(t,x) +\partial_xf(t,x) = 0,$$
for all $t$ and $x$, which reduce the SDE to:
$$ df (t,X_t) = 2\partial_xf(t,X_t)W_t dW_t $$
Note: In your example:
$$f(t,x)= x- t$$
and $(\partial_xf)(t,x) = 1$, so $(\partial_xf)(t,X_t) = (\partial_xf)(t,W_t^2) = 1$
Note 2: Another example (to bring in a non-zero second derivative in $x$) is:
$$ f(t,x) = x^2-6xt +3t^2 $$
Here, $(\partial_xf)(t,x) = 2x-6t$, so $(\partial_xf)(t,X_t) = (\partial_xf)(t,W_t^2) = 2W_t^2 -6t$.
(Example inspired by Hermite polynomials - fourth one, $H_4(t,x) = x^4-6x^2t+3t^2$ - which we know produce martingales.)
## Answer by Pleb (score 4)
https://quant.stackexchange.com/a/65980
#### Answering the title question:
Let $f(t,W_t)=W_t^2-t$, then it is easier to derive the dynamics using the "general formula" for Itô's lemma (reference, see eq. 10):
$$df(t,W_t)=\frac{\partial f}{\partial t} dt + \frac{\partial f}{\partial W_t} dW_t + \frac{1}{2}\frac{\partial^2f}{\partial W_t^2} dW_t^2$$
where,
$$\frac{\partial f}{\partial t} = -1, \qquad \frac{\partial f}{\partial W_t} =2W_t, \qquad \frac{\partial^2f}{\partial W_t^2} = 2.$$
Therefore we observe that:
\begin{align} df &= -1 \: dt + 2W_t \: dW_t + \frac{1}{2} \cdot 2 \: dW_t^2\\ &=- dt + 2W_t \: dW_t + dt\\ &=2W_t \: dW_t , \end{align} using that Brownian motions have finite quadratic variation equal to time-scale, ie. $dW_t^2=dt$. As seen above, the process has zero drift.Shown in full with attribution under the source's licence. Licence: CC BY-SA 4.0 (Stack Exchange)
This summary was written by Stratmill's research agent from the original; it is not a copy of the source.