Skorokhod embedding
[9/0%]Without some supplemental conditions on , the problem of Skorokhod embedding is trivial. Suppose is a Brownian motion with respect to a filtration satisfying the usual conditions. Suppose is a finite random variable and suppose is a real-valued function such that has the same law as .
Show that if , then and have the same law.
Give an example of a mean zero random variable with finite variance such that if is defined as in (1), then .
Show that the triple integral on the right-hand side of (15.10) is equal to the expression in .
A sketch was given for the proof of Corollary 15.5. Provide a detailed proof.
Corollary 15.5: Let be a Brownian motion and let be the minimal augmented filtration for . Let be a random variable with and . There exists a stopping time with respect to such that has the same law as .
Here is another approach to proving Corollary 15.5. Let , and be as in the proof of Theorem 15.4 .
Theorem 15.4: Suppose is a random variable with and . There exists a Brownian motion and a stopping time with respect to the minimal augmented filtration of such that is equal in law to . Moreover .
Show that there is a random variable that is measurable with respect to such that , a.s.
Show there is a Borel measurable map such that .
If is a Brownian motion, define . Show is a stopping time with respect to the minimal augmented filtration generated by such that has the same law as .
Suppose and is a random variable such that and . Let be a Brownian motion. Let and let . Determine such that and have the same law.
Suppose is a mean zero random variable and there exists a real number such that , a.s. Let be a Brownian motion and let be a stopping time with such that and have the same law. (We do not necessarily assume that was constructed by the method of Section 15.2.) Let . Prove that , a.s.
Let be a sequence of i.i.d. random variables with , and let is called a simple symmetric random walk. Let and be as in Section 15.3.
Prove that for all .
Prove that if ,
Hint: Use Doob's inequalities to estimate
Show that
tends to zero in probability as .
Let , and be as in Exercise 15.7. Prove that
Let be a simple symmetric random walk; see Exercise 15.7. Let be a bounded symmetric random variable that takes values only in . ( being symmetric means that and have the same law.) Does there necessarily exist a stopping time such that and have the same law? Why or why not?