Chapter 11

Itô's formula

[7/0%]
LaTeX
Problem 11.1

Suppose WtW_{t} is a Brownian motion and a∈Ra \in \mathbb {R}. Show that the amount of time Brownian motion spends at the point aa is zero, i.e., that

∫0t  1{a}(Ws)ds=0, a.s.  \int _{0}^{t} \; \mathbb {1}_{\left\{ a\right\} }\left(W_{s}\right) d s=0, \quad \text{ a.s. }

for all t>0t>0.

?
Problem 11.2

Let a<ba<b and let fa,bf_{a, b} be the C1C^{1} function such that fa,b(0)=fa,b′(0)=0f_{a, b}(0)=f_{a, b}^{\prime }(0)=0 and

fa,b′(x)=∫0x  1[a,b](y)dy,x∈R f_{a, b}^{\prime }(x)=\int _{0}^{x} \; \mathbb {1}_{[a, b]}(y) d y, \quad x \in \mathbb {R}

In other words, fa,bf_{a, b} is the function whose second derivative is   1[a,b]\; \mathbb {1}_{[a, b]}, except that the second derivative is not defined at aa and bb. Show Itô's formula holds for fa,bf_{a, b} :

fa,b(Wt)=∫0tfa,b′(Ws)dWs+12∫0t  1[a,b](Ws)ds f_{a, b}\left(W_{t}\right)=\int _{0}^{t} f_{a, b}^{\prime }\left(W_{s}\right) d W_{s}+\frac{1}{2} \int _{0}^{t} \; \mathbb {1}_{[a, b]}\left(W_{s}\right) d s
?
Problem 11.3

If WtW_{t} is a Brownian motion, a>0a>0, and T=inf⁡{t>0:∣Wt∣=a}T=\inf \left\{ t>0:\left|W_{t}\right|=a\right\}, calculate E[∫0T(Ws)kds]\mathbb {E}\left[\int_{0}^{T}\left(W_{s}\right)^{k} d s\right] for each non-negative integer kk. Also calculate

E[∫0T  1[b1,b2](Ws)ds] \mathbb {E}\left[\int _{0}^{T} \; \mathbb {1}_{\left[b_{1}, b_{2}\right]}\left(W_{s}\right) d s\right]

if [b1,b2]⊂[−a,a]\left[b_{1}, b_{2}\right] \subset [-a, a].

?
Problem 11.4

Let WW be a Brownian motion, let t0<t1<⋯<tn=1t_{0}<t_{1}<\cdots <t_{n}=1, and let

Bi=(Wti−Wti−1)2−(ti−ti−1). B_{i}=\left(W_{t_{i}}-W_{t_{i-1}}\right)^{2}-\left(t_{i}-t_{i-1}\right) .

Show there exists a constant c1c_{1} not depending on {t0,…,tn}\left\{ t_{0}, \ldots , t_{n}\right\} such that

E[∑i=1nBi]2≤c1max⁡1≤i≤n∣ti−ti−1∣ \mathbb {E}\left[\sum _{i=1}^{n} B_{i}\right]^{2} \leq c_{1} \max _{1 \leq i \leq n}\left|t_{i}-t_{i-1}\right|
?
Problem 11.5

Use Exercise 11.4 and the Borel-Cantelli lemma to prove that if WW is a Brownian motion, then

lim⁡n→∞∑k=12n(Wk/2n−W(k−1)/2n)2=1, a.s.  \lim _{n \rightarrow \infty } \sum _{k=1}^{2^{n}}\left(W_{k / 2^{n}}-W_{(k-1) / 2^{n}}\right)^{2}=1, \quad \text{ a.s. }
?
Problem 11.6

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 MM is a bounded continuous martingale, AA is a continuous process whose paths have total variation bounded by N>0N>0, a.s., and Xt=Mt+AtX_{t}=M_{t}+A_{t}.

?
(1)

Writing [x][x] for the integer part of xx, prove that for each tt,

∑i=1[2nt]+1(X(i+1)/2n−Xi/2n)2 \sum _{i=1}^{\left[2^{n} t\right]+1}\left(X_{(i+1) / 2^{n}}-X_{i / 2^{n}}\right)^{2}

converges in probability to ⟨X⟩t\langle X\rangle_{t}.

(2)

Prove that if ff is a C2C^{2} function whose second derivative is bounded, then

∑i=1[2nt]+1f′′(Xi/2n)(X(i+1)/2n−Xi/2n)2 \sum _{i=1}^{\left[2^{n} t\right]+1} f^{\prime \prime }\left(X_{i / 2^{n}}\right)\left(X_{(i+1) / 2^{n}}-X_{i / 2^{n}}\right)^{2}

converges in probability to

∫0tf′′(Xs)d⟨Xs⟩ \int _{0}^{t} f^{\prime \prime }\left(X_{s}\right) d\left\langle X_{s}\right\rangle

Since the increments of MM and AA are not uniformly bounded by something small, this is much harder than the proof of Theorem 11.1 given in this chapter.

Problem 11.7

Here is an alternate way to prove Itô's formula.

?
(1)

Suppose X=M+AX=M+A, where MM and AA are as in Exercise 11.6. Write

Xt2−X02=∑i=0[t2n]−1(X(i+1)/2n2−Xi/2n2)=∑i=0[t2n]−12Xi/2n(X(i+1)/2n−Xi/2n)+∑i=0[t2n]−1(X(i+1)/2n−Xi/2n)2 \begin{aligned} X_{t}^{2}-X_{0}^{2} & =\sum _{i=0}^{\left[t 2^{n}\right]-1}\left(X_{(i+1) / 2^{n}}^{2}-X_{i / 2^{n}}^{2}\right) \\ & =\sum _{i=0}^{\left[t 2^{n}\right]-1} 2 X_{i / 2^{n}}\left(X_{(i+1) / 2^{n}}-X_{i / 2^{n}}\right)+\sum _{i=0}^{\left[t 2^{n}\right]-1}\left(X_{(i+1) / 2^{n}}-X_{i / 2^{n}}\right)^{2} \end{aligned}

Use Exercise 11.6 to show that Itô's formula holds when f(x)=x2f(x)=x^{2}.

(2)

Derive the Itô product formula. Then use induction to show that Itô's formula holds when f(x)=xn,nf(x)=x^{n}, n a positive integer.

(3)

Given f∈C2f \in C^{2}, find polynomials PmP_{m} such that Pm,Pm′,Pm′′P_{m}, P_{m}^{\prime }, P_{m}^{\prime \prime } converge uniformly to f,f′,f′′f, f^{\prime }, f^{\prime \prime }, respectively, on a compact interval as m→∞m \rightarrow \infty. Apply Itô's formula for PmP_{m} and show that one can take limits to derive Itô's formula for ff.