Deriving a Brownian Motion Integral Identity with Itô's Lemma
Summary
The document proves that the Itô integral of the deterministic weight T minus time against Brownian motion equals the time integral of Brownian motion. It applies Itô's lemma to the product of Brownian motion and the remaining time to maturity, yielding a differential with one stochastic-integral term and one ordinary-integral term. Integrating that differential from zero to T reduces its left side to endpoint values.
Since the product vanishes at T and Brownian motion starts at zero, the endpoint difference is zero, so rearranging gives the stated identity. An additional answer expands the argument using an informal Taylor-series explanation, though the concise endpoint calculation supplies the core proof. The result relies on the specified initial condition and concerns standard Brownian motion; the discussion does not generalize it to other processes or initial values.
Key ideas
- Apply Itô's lemma to the product of Brownian motion and the remaining time to maturity.
- Integrating the differential from zero to T evaluates the product at the endpoints.
- The terminal product is zero, and the initial product is zero when Brownian motion starts at zero.
- Rearranging the resulting equality proves the identity between the stochastic and ordinary integrals.
Tags
Full text
# Show that $\int_0^T(T-t)dW_t=\int_0^TW_t \ dt$
# Show that $\int_0^T(T-t)dW_t=\int_0^TW_t \ dt$
I want to show that $$\int_0^T(T-t)dW_t=\int_0^TW_t \ dt \tag1$$
By Ito's lemma we can write $$d((T-t)W_t)=(T-t)dW_t-W_t \ dt.\tag{2}$$
Now If I integrate this expression and use that $W_0=0$ I should be able to show that the integrals in $(1)$ are equivalent according to Wikipedia. Am I supposed to integrate both sides in $(2)$? I don't see how I should integrate the LHS of $(2)$ to show that it's zero. This should be easy, but my brain has really frozen.
## Answer by artemidorus (score 4, accepted)
https://quant.stackexchange.com/a/61043
The integral of the LHS is just
$$\int_0^T d\left(\left(T - t\right)W_t\right) = \left[\left(T - t\right)W_t\right]_0^T = \left(T - T\right)W_T - \left(T - 0\right)W_0 = 0$$.
You need $W_0 = 0$ to obtain the last equality.
## Answer by Jan Stuller (score 1)
https://quant.stackexchange.com/a/61145
I personally find it hard to work with short-hand notation in Stochastic calculus, so for my own record, and for anyone who has similar issues with the short-hand notation, I add the following answer.
On the wikipedia link provided, they start the argument you are referring to by stating:
> ...note that: $$d\left[(T-t)W_t\right]=(T-t)dW_t-W_tdt$$
How I like to rewrite the above is to define $F(t,W_t):=(T-t)W_t$ (for some $0<t\leq T$), and apply Taylor expansion around zero as follows:
$$F(\delta t,\delta W_t)=F(0,W_0)+\frac{\partial F}{\partial t}\delta t+\frac{\partial F}{\partial W_t}\delta W_t+\frac{1}{2}\frac{\partial^2 F}{\partial W_t^2}\delta W_t^2+...$$
From the above, we get:
$$F(\delta t,\delta W_t)=-W_t\delta t+(T-t)\delta W_t+0$$
As usual in the "heuristic" Ito's Lemma derivation, taking $\delta t \rightarrow dt$ and $\delta t \rightarrow dt \longleftrightarrow \delta W_t \rightarrow dW_t$, we get:
$$F(t,W_t)=\int_{h=0}^{h=t}-W_hdh+\int_{h=0}^{h=t}\left(T-h\right)dW_h$$
And we know the above is equal to $F(t,W_t)=(T-t)W_t$ (that's how we defined $F$ at the very beginning before applying Ito's lemma).
The final step is then to simply set $t=T$ to get:
$$F(T,W_T)=(T-T)W_T=0=\int_{h=0}^{h=T}-W_hdh+\int_{h=0}^{h=T}\left(T-h\right)dW_h$$
Therefore:
$$\int_{h=0}^{h=T}W_hdh=\int_{h=0}^{h=T}\left(T-h\right)dW_h$$
As required. A bit longer, one could even say "cumbersome", but for me using the long-hand notation reveals all the different steps, whilst the short-hand notation just seems "mechanical", and I often catch myself realizing that "I don't really understand the underlying mechanics" when using the short-hand (again, might be just me...).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.