Chapter 15

Skorokhod embedding

[9/0%]
LaTeX
Problem 15.1

Without some supplemental conditions on TT, the problem of Skorokhod embedding is trivial. Suppose WW is a Brownian motion with respect to a filtration {Ft}\left\{ \mathcal{F}_{t}\right\} satisfying the usual conditions. Suppose YY is a finite random variable and suppose hh is a real-valued function such that h(W1)h\left(W_{1}\right) has the same law as YY.

?
(1)

Show that if T=inf⁡{t>1:Wt=h(W1)}T=\inf \left\{ t>1: W_{t}=h\left(W_{1}\right)\right\}, then WTW_{T} and YY have the same law.

(2)

Give an example of a mean zero random variable YY with finite variance such that if TT is defined as in (1), then E[T]=∞\mathbb {E}\left[T\right]=\infty.

Problem 15.2

Show that the triple integral on the right-hand side of (15.10) is equal to the expression in (15.11)(15.11).

?
Problem 15.3

A sketch was given for the proof of Corollary 15.5. Provide a detailed proof.

Corollary 15.5: Let WW be a Brownian motion and let {Ft}\left\{ \mathcal{F}_{t}\right\} be the minimal augmented filtration for WW. Let YY be a random variable with E[Y]=0\mathbb {E}\left[Y\right]=0 and Var⁡[Y]<∞\operatorname {Var}\left[Y\right]<\infty. There exists a stopping time VV with respect to {Ft}\left\{ \mathcal{F}_{t}\right\} such that WVW_{V} has the same law as YY.

?
Problem 15.4

Here is another approach to proving Corollary 15.5. Let Y,N,TY, N, T, and {Gt}\left\{ \mathcal{G}_{t}\right\} be as in the proof of Theorem 15.4 .

Theorem 15.4: Suppose YY is a random variable with E[Y]=0\mathbb {E}\left[Y\right]=0 and E[Y2]<∞\mathbb {E}\left[Y^{2}\right]<\infty. There exists a Brownian motion NN and a stopping time TT with respect to the minimal augmented filtration {Gt}\left\{ \mathcal{G}_{t}\right\} of NN such that NTN_{T} is equal in law to YY. Moreover E[T]=E[Y2]\mathbb {E}\left[T\right]=\mathbb {E}\left[Y^{2}\right].

?
(1)

Show that there is a random variable UU that is measurable with respect to σ(Ns:0≤s<∞)\sigma \left(N_{s}: 0 \leq s<\infty \right) such that U=TU=T, a.s.

(2)

Show there is a Borel measurable map H:C[0,∞)→[0,∞)H: C[0, \infty ) \rightarrow [0, \infty ) such that U=H(N)U=H(N).

(3)

If WW is a Brownian motion, define V=H(W)V=H(W). Show VV is a stopping time with respect to the minimal augmented filtration generated by WW such that WVW_{V} has the same law as YY.

Problem 15.5

Suppose p∈(0,1/2)p \in (0,1 / 2) and YY is a random variable such that P(Y=1)=P(Y=−1)=p\mathbb {P}\left(Y=1\right)=\mathbb {P}\left(Y=-1\right)=p and P(Y=0)=1−2p\mathbb {P}\left(Y=0\right)=1-2 p. Let WW be a Brownian motion. Let Sx=inf⁡{t>0:Wt=x}S_{x}=\inf \left\{ t>0: W_{t}=x\right\} and let T=inf⁡{t>Sx∧S−x:Wt∈{−1,0,1}}T=\inf \left\{ t>S_{x} \wedge S_{-x}: W_{t} \in \left\{ -1,0,1\right\} \right\}. Determine xx such that WTW_{T} and YY have the same law.

?
Problem 15.6

Suppose YY is a mean zero random variable and there exists a real number K>0K>0 such that ∣Y∣≤K\left|Y\right| \leq K, a.s. Let WW be a Brownian motion and let TT be a stopping time with E[T]<∞\mathbb {E}\left[T\right]<\infty such that WTW_{T} and YY have the same law. (We do not necessarily assume that TT was constructed by the method of Section 15.2.) Let SK=inf⁡{t:∣Wt∣≥K}S_{K}=\inf \left\{ t:\left|W_{t}\right| \geq K\right\}. Prove that T≤SKT \leq S_{K}, a.s.

?
Problem 15.7

Let YiY_{i} be a sequence of i.i.d. random variables with P(Yi=1)=P(Yi=−1)=12\mathbb {P}\left(Y_{i}=1\right)=\mathbb {P}\left(Y_{i}=-1\right)=\frac{1}{2}, and let Sn=∑i=1nYi.SnS_{n}=\sum_{i=1}^{n} Y_{i} . S_{n} is called a simple symmetric random walk. Let T1,T2,…T_{1}, T_{2}, \ldots and U1,U2,…U_{1}, U_{2}, \ldots be as in Section 15.3.

?
(1)

Prove that E[T1p]<∞\mathbb {E}\left[T_{1}^{p}\right]<\infty for all p≥1p \geq 1.

(2)

Prove that if ε>0\varepsilon >0,

lim⁡n→∞sup⁡k≤n∣Uk−k∣n(1/2)+ε=0, a.s.  \lim _{n \rightarrow \infty } \frac{\sup _{k \leq n}\left|U_{k}-k\right|}{n^{(1 / 2)+\varepsilon }}=0, \quad \text{ a.s. }

Hint: Use Doob's inequalities to estimate

P(sup⁡k≤n∣Uk−k∣≥δn(1/2)+ε) \mathbb {P}\left(\sup _{k \leq n}\left|U_{k}-k\right| \geq \delta n^{(1 / 2)+\varepsilon }\right)
(3)

Show that

sup⁡i≤n∣WUi−Wi∣/n(1/4)+(ε/2) \sup _{i \leq n}\left|W_{U_{i}}-W_{i}\right| / n^{(1 / 4)+(\varepsilon / 2)}

tends to zero in probability as n→∞n \rightarrow \infty.

Problem 15.8

Let Sn,TiS_{n}, T_{i}, and UiU_{i} be as in Exercise 15.7. Prove that

lim⁡n→∞sup⁡i≤n∣WUi−Wi∣n=0, a.s.  \lim _{n \rightarrow \infty } \frac{\sup _{i \leq n}\left|W_{U_{i}}-W_{i}\right|}{\sqrt{n}}=0, \quad \text{ a.s. }
?
Problem 15.9

Let SnS_{n} be a simple symmetric random walk; see Exercise 15.7. Let YY be a bounded symmetric random variable that takes values only in Z\mathbb {Z}. ( YY being symmetric means that YY and −Y-Y have the same law.) Does there necessarily exist a stopping time NN such that SNS_{N} and YY have the same law? Why or why not?

?