Chapter 2

Brownian motion

[8/0%]
LaTeX
Problem 2.1

Suppose WW is a Brownian motion on [0,1][0,1]. Let

Yt=W1−t−W1. Y_{t}=W_{1-t}-W_{1} .

Show that YtY_{t} is a Brownian motion on [0,1][0,1].

?
Problem 2.2

This exercise shows that the projection of a dd-dimensional Brownian motion onto a hyperplane yields a one-dimensional Brownian motion. Suppose (Wt(1),…,Wt(d))\left(W_{t}^{(1)}, \ldots , W_{t}^{(d)}\right) is a dd-dimensional Brownian motion started from 0 and λ1,…,λd∈R\lambda_{1}, \ldots , \lambda_{d} \in \mathbb {R} with ∑i=1dλi2=1\sum_{i=1}^{d} \lambda_{i}^{2}=1. Show that Xt=∑i=1dλiWt(i)X_{t}=\sum_{i=1}^{d} \lambda_{i} W_{t}^{(i)} is a one-dimensional Brownian motion started from 0.

?
Problem 2.3

This exercise shows that rotating a Brownian motion about the origin yields another Brownian motion. Let WW be a dd-dimensional Brownian motion started at 0 and let AA be a d×dd \times d orthogonal matrix, that is, A−1=ATA^{-1}=A^{\mathrm{T}}. Show that Yt=AWtY_{t}=A W_{t} is again a dd-dimensional Brownian motion.

?
Problem 2.4

Here is a converse to Exercise 2.2: roughly speaking, if all the projections of a dd-dimensional process XX onto hyperplanes are one-dimensional Brownian motions, then XX is a dd-dimensional Brownian motion.

Suppose (Xt1,…,Xtd)\left(X_{t}^{1}, \ldots , X_{t}^{d}\right) is a dd-dimensional continuous process, i.e., one taking values in Rd\mathbb {R}^{d}. Let {Ft}\left\{ \mathcal{F}_{t}\right\} be the minimal augmented filtration generated by XX. Suppose that whenever λ1,…,λd∈R\lambda_{1}, \ldots , \lambda_{d} \in \mathbb {R} with ∑i=1dλi2=1\sum_{i=1}^{d} \lambda_{i}^{2}=1, then ∑i=1dλiXti\sum_{i=1}^{d} \lambda_{i} X_{t}^{i} is a one-dimensional Brownian motion started at 0 with respect to the filtration {Ft}\left\{ \mathcal{F}_{t}\right\}.

?
(1)

If u=(u1,…,ud)u=\left(u_{1}, \ldots , u_{d}\right), let ∥u∥=(∑uj2)1/2\| u\| =\left(\sum u_{j}^{2}\right)^{1 / 2} and let λj=uj/∥u∥\lambda_{j}=u_{j} /\| u\|. Calculate

E[exp(i∑j=1dujXtj)]=E[exp(i∥u∥∑j=1dλjXtj)] \mathbb {E}\left[\mathrm{exp}\left(i \sum _{j=1}^{d} u_{j} X_{t}^{j}\right)\right]=\mathbb {E}\left[\mathrm{exp}\left(i\| u\| \sum _{j=1}^{d} \lambda _{j} X_{t}^{j}\right)\right]

the joint characteristic function of XtX_{t}.

(2)

If t0<t1<⋯<tnt_{0}<t_{1}<\cdots <t_{n}, use independence and (1) to calculate

E[exp(i∑k=0n−1∑j=1dujk(Xtk+1j−Xtkj))] \mathbb {E}\left[\mathrm{exp}\left(i \sum _{k=0}^{n-1} \sum _{j=1}^{d} u_{j}^{k}\left(X_{t_{k+1}}^{j}-X_{t_{k}}^{j}\right)\right)\right]
(3)

Prove that (Xt1,…,Xtd)\left(X_{t}^{1}, \ldots , X_{t}^{d}\right) is a dd-dimensional Brownian motion started from 0 .

(Some care is needed with the filtrations. If we only know that Yλ=∑iλiXiY^{\lambda }=\sum_{i} \lambda_{i} X^{i} is a Brownian motion with respect to the filtration generated by YλY^{\lambda } for each λ=(λ1,…,λd)\lambda =\left(\lambda_{1}, \ldots , \lambda_{d}\right), the assertion is not true. See Revuz and Yor (1999), Exercise I.1.19.)

Problem 2.5

Let WtW_{t} be a Brownian motion and suppose

lim⁡t→∞Wt/t=0,  a.s. (2.5) \lim _{t \rightarrow \infty } W_{t} / t=0 \text{, } \quad \text{ a.s. } \tag {2.5}

Let Zt=tW1/tZ_{t}=t W_{1 / t} if t>0t>0 and set Z0=0Z_{0}=0. (This is called time inversion.) Show that ZZ is a Brownian motion. (We will see later that the assumption (2.5) is superfluous; see Theorem 7.2.)

?
Problem 2.6

Let XX and YY be two independent Brownian motions started at 0 and let t0>0t_{0}>0. Let

Zt={Xt,t≤t0,Xt0+Yt−t0,t>t0. Z_{t}= \begin{cases} X_{t}, & t \leq t_{0}, \\ X_{t_{0}}+Y_{t-t_{0}}, & t>t_{0} .\end{cases}

Prove that ZZ is also a Brownian motion.

?
Problem 2.7

Let Ft00\mathcal{F}_{t}^{00} and Ft0\mathcal{F}_{t}^{0} be defined as in (1.1) and (1.2). Prove that if XX is Ft0\mathcal{F}_{t}^{0} measurable, there exists ZZ such that ZZ is Ft00\mathcal{F}_{t}^{00} measurable and Y=ZY=Z, a.s.

?
Problem 2.8

Let Ft00\mathcal{F}_{t}^{00} and Ft0\mathcal{F}_{t}^{0} be defined as in (1.1) and (1.2). The symmetric difference of two sets AA and BB is defined by A△B=(A\B)∪(B\A)A \bigtriangleup B=(A \backslash B) \cup (B \backslash A). Prove that

Ft0={A⊂Ω:A△B∈N for some B∈Ft00}. \mathcal{F}_{t}^{0}=\left\{ A \subset \Omega : A \bigtriangleup B \in \mathcal{N} \text{ for some } B \in \mathcal{F}_{t}^{00}\right\} .
?