Chapter 6

Brownian motion as a Markov process

[17/100%]
Show
LaTeX
Problem 6.1

Let (Bt,Ft)t⩾0\left(B_{t}, \mathscr {F}_{t}\right)_{t \geqslant 0} be a BM1\mathrm{BM}^{1}.

?
(a)

Show that Xt:=∣Bt∣,t⩾0X_{t}: = \left|B_{t}\right|, t \geqslant 0, is also a Markov process for the filtration (Ft)t⩾0\left(\mathscr {F}_{t}\right)_{t \geqslant 0}, i.e. for all s,t⩾0s, t \geqslant 0 and u∈Bb(R)u \in \mathcal{B}_{b}(\mathbb {R})

E[u(Xt+s)∣Fs]=E[u(Xt+s)∣Xs]. \mathbb {E}\left[u\left(X_{t+s}\right) \mid \mathscr {F}_{s}\right] = \mathbb {E}\left[u\left(X_{t+s}\right) \mid X_{s}\right] .
(b)

Find in a) the function gu,s,t+s(x)g_{u, s, t+s}(x) with E[u(Xt+s)∣Xs]=gu,s,t+s(Xs)\mathbb {E}\left[u\left(X_{t+s}\right) \mid X_{s}\right] = g_{u, s, t+s}\left(X_{s}\right).

(c)

Solve a) and b) for the process Yt:=sup⁡s⩽tBs−Bt,t⩾0Y_{t}: = \sup_{s \leqslant t} B_{s} - B_{t}, t \geqslant 0.

(d)

Compare the transition functions from b) and c) for XX and YY, respectively.

Problem 6.2

Compare the (last part of the) first ("pedestrian") proof of Theorem 6.5 with the characterization of a BM by Lemma 5.4. Can you think of a way to use this lemma instead of the direct calculation?

?
Problem 6.3

Assume that (Xt)t⩾0\left(X_{t}\right)_{t \geqslant 0} is a uniformly bounded stochastic process with exclusively continuous sample paths, (Ft)t⩾0\left(\mathscr {F}_{t}\right)_{t \geqslant 0} is some filtration, and σ\sigma is an everywhere finite stopping time.

?
(a)

Show that σ∧n+t\sigma \wedge n+t are again stopping times.

(b)

Show that Fσ=σ(⋃n⩾1Fσ∧n)\mathscr {F}_{\sigma } = \sigma \left(\bigcup_{n \geqslant 1} \mathscr {F}_{\sigma \wedge n}\right). This remains true for σ<∞\sigma < \infty almost surely if F0\mathscr {F}_{0} contains all measurable null sets.

(c)

Use Lévy's upwards martingale convergence theorem and the (conditional) dominated convergence theorem to show that E[Xσ∧n∣Fσ∧n]→E[Xσ∣Fσ]\mathbb {E}\left[X_{\sigma \wedge n} \mid \mathscr {F}_{\sigma \wedge n}\right] \rightarrow \mathbb {E}\left[X_{\sigma } \mid \mathscr {F}_{\sigma }\right] a.s. and in L1L^{1}.

Problem 6.4

Let (Bt)t⩾0\left(B_{t}\right)_{t \geqslant 0} be a Brownian motion on the space (C,B(C),P0)\left(\mathcal{C}, \mathscr {B}(\mathcal{C}), \mathbb {P}^{0}\right). The (canonical) shift operator is the map θh:C→C,θhw(⋅)=w(⋅+h)\theta_{h}: \mathcal{C} \rightarrow \mathcal{C}, \theta_{h} w(\cdot ) = w(\cdot +h), i.e. (θhw)(t)=w(t+h)\left(\theta_{h} w\right)(t) = w(t+h). Moreover, define Ft=F[0,t]=σ(Bs,s∈[0,t])\mathscr {F}_{t} = \mathscr {F}_{[0, t]} = \sigma \left(B_{s}, s \in [0, t]\right) and F[t,∞)=σ(Bs,s⩾t),t∈[0,∞]\mathscr {F}_{[t, \infty )} = \sigma \left(B_{s}, s \geqslant t\right), \quad t \in [0, \infty ].

If σ\sigma is a stopping time for (Ft)t⩾0\left(\mathscr {F}_{t}\right)_{t \geqslant 0} which is finite for all ww, the random shift is defined as (θσw)(t):=(θσ(w)w)(t)=w(t+σ(w))\left(\theta_{\sigma } w\right)(t): = \left(\theta_{\sigma (w)} w\right)(t) = w(t+\sigma (w)).

?
(a)

Show that Bt∘θσ(w)=Bt+σ(w)(w)B_{t} \circ \theta_{\sigma }(w) = B_{t+\sigma (w)}(w). Let F={Bt∈C}F = \left\{ B_{t} \in C\right\}. Find θσ−1F\theta_{\sigma }^{ - 1} F.

(b)

Show that θσ:C(o)→C(o)\theta_{\sigma }: \mathcal{C}_{(\mathrm{o})} \rightarrow \mathcal{C}_{(\mathrm{o})} is Ft+σ/Ft\mathscr {F}_{t+\sigma } / \mathscr {F}_{t} and F[t+σ,∞)/F[t,∞)\mathscr {F}_{[t+\sigma , \infty )} / \mathscr {F}_{[t, \infty )} measurable.

(c)

Let τ\tau be a further stopping time such that τ(w)<∞\tau (w) < \infty for all ww. Show that σ+τ∘θσ\sigma +\tau \circ \theta_{\sigma } is a Ft+\mathscr {F}_{t+} stopping time. What does σ+τ∘θσ\sigma +\tau \circ \theta_{\sigma } mean at the level of paths?

Problem 6.5

Let (Bt,Ft)t⩾0\left(B_{t}, \mathscr {F}_{t}\right)_{t \geqslant 0} be a BM1\mathrm{BM}^{1} and set Mt:=sup⁡s⩽tBsM_{t}: = \sup_{s \leqslant t} B_{s} and It=∫0tBsdsI_{t} = \int_{0}^{t} B_{s} d s.

?
(a)

Show that the two - dimensional process (Bt,Mt)t⩾0\left(B_{t}, M_{t}\right)_{t \geqslant 0} is a Markov process for (Ft)t⩾0\left(\mathscr {F}_{t}\right)_{t \geqslant 0}.

(b)

Show that the two - dimensional process (Bt,It)t⩾0\left(B_{t}, I_{t}\right)_{t \geqslant 0} is a Markov process for (Ft)t⩾0\left(\mathscr {F}_{t}\right)_{t \geqslant 0}.

(c)

Are (Mt)t⩾0\left(M_{t}\right)_{t \geqslant 0} and (It)t⩾0\left(I_{t}\right)_{t \geqslant 0} Markov processes for (Ft)t⩾0\left(\mathscr {F}_{t}\right)_{t \geqslant 0} ?

Problem 6.6

Let (B(t))t⩾0(B(t))_{t \geqslant 0} be a BMd\mathrm{BM}^{d} and let ZZ be a bounded F∞B\mathscr {F}_{\infty }^{B} measurable random variable. Then x↦ExZx \mapsto \mathbb {E}^{x} Z is in Bb(Rd)\mathcal{B}_{b}\left(\mathbb {R}^{d}\right).

?
Problem 6.7

Let (Bt,Ft)t⩾0\left(B_{t}, \mathscr {F}_{t}\right)_{t \geqslant 0} be a BM1\mathrm{BM}^{1} such that F0\mathscr {F}_{0} contains all measurable null sets and let τ\tau be a stopping time. Show that BτB_{\tau } is measurable with respect to Fτ+\mathscr {F}_{\tau +}.

?
Problem 6.8

Let (Bt)t⩾0\left(B_{t}\right)_{t \geqslant 0} be a BM1\mathrm{BM}^{1}. Show that P(sup⁡s⩽t∣Bs∣⩾x)⩽2P(∣Bt∣⩾x),x,t⩾0\mathbb {P}\left(\sup_{s \leqslant t}\left|B_{s}\right| \geqslant x\right) \leqslant 2 \mathbb {P}\left(\left|B_{t}\right| \geqslant x\right), x, t \geqslant 0.

?
Problem 6.9

Let (Bt)t⩾0\left(B_{t}\right)_{t \geqslant 0} be a BM1\mathrm{BM}^{1} and denote by τb=inf⁡{s⩾0:Bs=b}\tau_{b} = \inf \left\{ s \geqslant 0: B_{s} = b\right\} the first time when BtB_{t} reaches b∈Rb \in \mathbb {R}. Show that

?
(a)

τb∼τ−b\tau_{b} \sim \tau_{ - b};

(b)

τcb∼c2τb,c∈R\tau_{c b} \sim c^{2} \tau_{b}, c \in \mathbb {R};

(c)

if 0<a<b0 < a < b, then τb−τa  ⊥ ⁣ ⁣ ⁣⊥  {τα:α∈[0,a]}\tau_{b} - \tau_{a} \; \perp \! \! \! \perp \; \left\{ \tau_{\alpha }: \alpha \in [0, a]\right\}.

Problem 6.10

Let τ=τ(a,b)c∘\tau = \tau_{(a, b)^{c}}^{\circ } be the first exit time of a Brownian motion from the interval (a,b)(a, b).

?
(a)

Find Exe−λτ\mathbb {E}^{x} e^{ - \lambda \tau } for all x∈(a,b)x \in (a, b) and λ>0\lambda > 0.

(b)

Find Ex(e−λτ  1{Bτ=a})\mathbb {E}^{x}\left(e^{ - \lambda \tau } \; \mathbb {1}_{\left\{ B_{\tau } = a\right\} }\right) for all x∈(a,b)x \in (a, b) and λ>0\lambda > 0.

Problem 6.11

Let W=(Wt)t⩾0W = \left(W_{t}\right)_{t \geqslant 0} be a BM2\mathrm{BM}^{2} such that W0=(a,b)W_{0} = (a, b) with a,b>0a, b > 0. What is the probability that WtW_{t} hits first the positive part of the xx - axis before it hits the negative part?

?
Problem 6.12

Let (Bt)t⩾0\left(B_{t}\right)_{t \geqslant 0} be a BM1\mathrm{BM}^{1} and set Mt:=sup⁡s⩽tBsM_{t}: = \sup_{s \leqslant t} B_{s}. Find the distribution of (Mt,Bt)\left(M_{t}, B_{t}\right).

?
Problem 6.13

Let (Bt)t⩾0\left(B_{t}\right)_{t \geqslant 0} be a BM1\mathrm{BM}^{1} and let τ0\tau_{0} be the first hitting time of 0. Find the "density" of Px(Bt∈dz,τ0>t)\mathbb {P}^{x}\left(B_{t} \in d z, \tau_{0} > t\right), i.e. find the function ft,x(z)f_{t, x}(z) such that

Px(Bt∈A,τ0>t)=∫Aft,x(z)dz for all A∈B(R) \mathbb {P}^{x}\left(B_{t} \in A, \tau _{0} > t\right) = \int _{A} f_{t, x}(z) d z \quad \text{ for all } A \in \mathscr {B}(\mathbb {R})
?
Problem 6.14

Let K⊂RdK \subset \mathbb {R}^{d} be a compact set. Show that there is a decreasing sequence of continuous functions ϕn(x)\phi_{n}(x) such that   1K=inf⁡nϕn\; \mathbb {1}_{K} = \inf_{n} \phi_{n}.

?
Problem 6.15

Let (Bt)t⩾0\left(B_{t}\right)_{t \geqslant 0} be a BM1\mathrm{BM}^{1}. Find the distribution of ξ~t:=inf⁡{s⩾t:Bs=0}\widetilde{\xi }_{t}: = \inf \left\{ s \geqslant t: B_{s} = 0\right\}.

?
Problem 6.16

Let (Bt)t⩾0\left(B_{t}\right)_{t \geqslant 0} be a BM1\mathrm{BM}^{1} and set Mt=sup⁡s⩽tBsM_{t} = \sup_{s \leqslant t} B_{s}. Denote by ξt\xi_{t} the largest zero of BsB_{s} before time tt and by ηt\eta_{t} the largest zero of YS=Ms−BsY_{S} = M_{s} - B_{s} before time tt. Show that ξt∼ηt\xi_{t} \sim \eta_{t}.

?
Problem 6.17

Let (Bt)t⩾0\left(B_{t}\right)_{t \geqslant 0} be a BM1\mathrm{BM}^{1} and 0<u<v<w<∞0 < u < v < w < \infty. Find the following probabilities:

?
(a)

P(Bt=0\mathbb {P}\left(B_{t} = 0\right. for some t∈(u,v))\left.t \in (u, v)\right);

(b)

P(Bt≠0∀t∈(u,w)∣Bt≠0∀t∈(u,v))\mathbb {P}\left(B_{t} \neq 0 \forall t \in (u, w) \mid B_{t} \neq 0 \forall t \in (u, v)\right);

(c)

P(Bt≠0∀t∈(0,w)∣Bt≠0∀t∈(0,v))\mathbb {P}\left(B_{t} \neq 0 \forall t \in (0, w) \mid B_{t} \neq 0 \forall t \in (0, v)\right).