Itô's formula
[7/0%]Suppose is a Brownian motion and . Show that the amount of time Brownian motion spends at the point is zero, i.e., that
for all .
Let and let be the function such that and
In other words, is the function whose second derivative is , except that the second derivative is not defined at and . Show Itô's formula holds for :
If is a Brownian motion, , and , calculate for each non-negative integer . Also calculate
if .
Let be a Brownian motion, let , and let
Show there exists a constant not depending on such that
Use Exercise 11.4 and the Borel-Cantelli lemma to prove that if is a Brownian motion, then
In our proof of Itô's formula, the use of stopping times simplifies the proof considerably. This exercise considers a proof of Itô's formula using fixed times. Suppose is a bounded continuous martingale, is a continuous process whose paths have total variation bounded by , a.s., and .
Writing for the integer part of , prove that for each ,
converges in probability to .
Prove that if is a function whose second derivative is bounded, then
converges in probability to
Since the increments of and are not uniformly bounded by something small, this is much harder than the proof of Theorem 11.1 given in this chapter.
Here is an alternate way to prove Itô's formula.
Suppose , where and are as in Exercise 11.6. Write
Use Exercise 11.6 to show that Itô's formula holds when .
Derive the Itô product formula. Then use induction to show that Itô's formula holds when a positive integer.
Given , find polynomials such that converge uniformly to , respectively, on a compact interval as . Apply Itô's formula for and show that one can take limits to derive Itô's formula for .