Chapter 32

The space C[0, 1]

[5/0%]
LaTeX
Problem 32.1

The support of a measure λ\lambda is the smallest closed set FF such that λ(Fc)=0\lambda \left(F^{c}\right)=0. Let P\mathbb {P} be a Wiener measure on C[0,1]C[0,1], i.e., the law of a Brownian motion on [0,1][0,1]. Use Exercise 13.4 to prove that the support of P\mathbb {P} is all of C[0,1]C[0,1].

?
Problem 32.2

Let (S,d)(\mathcal{S}, d) be a complete separable metric space and let R\mathcal{R} be a subset of S\mathcal{S}. Then (R,d)(\mathcal{R}, d) is also a metric space. If XnX_{n} converges weakly to XX with respect to the topology of (S,d)(\mathcal{S}, d) and each XnX_{n} and XX take values in R\mathcal{R}, does XnX_{n} converge weakly to XX with respect to the topology of (R,d)(\mathcal{R}, d) ? Does the answer change if R\mathcal{R} is a closed subset of S\mathcal{S} ?

If XnX_{n} and XX take values in R\mathcal{R} and XnX_{n} converges weakly to XX with respect to the topology of ( R,d\mathcal{R}, d ), does XnX_{n} converge weakly to XX with respect to the topology of (S,d)(\mathcal{S}, d) ? What if R\mathcal{R} is a closed subset of S\mathcal{S} ?

?
Problem 32.3

Give a proof of Theorem 32.2 using (32.7) in place of Theorem 8.1.

?
Problem 32.4

Suppose (X,W,P)(X, W, \mathbb {P}) is a weak solution to

dXt=σ(Xt)dWt+b(Xt)dt,X0=x(32.8) d X_{t}=\sigma \left(X_{t}\right) d W_{t}+b\left(X_{t}\right) d t, \quad X_{0}=x \tag {32.8}

where WW is a one-dimensional Brownian motion and σ\sigma and bb are bounded and continuous, but we do not assume that σ\sigma is bounded below by a positive constant. Suppose the solution to (32.8) is unique in law.

Suppose σn\sigma_{n} and bnb_{n} are Lipschitz functions which are uniformly bounded and which converge uniformly to σ\sigma and bb, respectively. Let Xt(n)X_{t}(n) be the unique pathwise solution to

dYt=σn(Yt)dWt+bn(Yt)dt,Y0=x d Y_{t}=\sigma _{n}\left(Y_{t}\right) d W_{t}+b_{n}\left(Y_{t}\right) d t, \quad Y_{0}=x

the probability measure here is P\mathbb {P}. Prove that X(n)X(n) converges weakly to XX with respect to C[0,1]C[0,1].

?
Problem 32.5

Let WW be a dd-dimensional Brownian motion and let {Xt,t∈[0,1]}\left\{ X_{t}, t \in [0,1]\right\} be the solution to (24.22). If x∈Rdx \in \mathbb {R}^{d}, prove that the support of P[x]\mathbb {P}[x] is all of C[0,1]C[0,1].

?