Chapter 3.4

Gaussian Processes. The Wiener Process

[9/89%]
Show
LaTeX
Problem 3.4.1

Let (Wt,t⩾0)\left(W_{t}, t \geqslant 0\right) be a Wiener process. Prove that the following processes are also Wiener processes:

?
(a)

the Wiener process reflected about the abscissa axis: Xt:=−WtX_{t}:=-W_{t};

(b)

the rescaled Wiener process: Xt:=cWt/c,c>0X_{t}:=\sqrt{c} W_{t / c}, c>0;

(c)

the Wiener process started at the point t0>0t_0 > 0: Xt:=Wt+t0−Wt0X_{t}:=W_{t+t_0}-W_{t_0}, where t0>0t_0 > 0 is an arbitrary fixed moment in time;

(d)

the Wiener process reflected at the point t0>0t_0 > 0:

Xt:={Wt,t<t02Wt0−Wt,t⩾t0, X_t := \begin{cases} W_t, & t < t_0 \\ 2W_{t_0} - W_t, & t \geqslant t_0 \end{cases},

where t0>0t_0 > 0 is an arbitrary fixed moment in time.

Problem 3.4.2

Let (Bt,t∈[0,1])\left(B_{t}, t \in [0,1]\right) be a Gaussian process with zero mean function and covariance function r(s,t)=min⁡(t1,t2)−t1t2r(s, t)=\min (t_1, t_2)-t_1 t_2.

?
(a)

Prove that such a process exists;

(b)

Prove that the process

W~s:=(s+1)Bss+1,  s≥0 \tilde{W}_s := (s+1)B_{\frac{s}{s+1}}, \; s \geq 0

is a Wiener process.

(c)

Is BtB_t a process with independent increments?

Remark.
?

The process (Bt)(B_t) is called a Brownian bridge, since its largest variance is attained at the point 12\frac{1}{2}, and at the endpoints of the interval [0,1][0,1] it is a.s. equal to zero.

Problem 3.4.3

Let Wt1,…,WtdW_{t}^{1}, \ldots , W_{t}^{d} be independent Wiener processes. Prove that with probability 1 the process Wt=(Wt1,…,Wtd)W_{t}=\left(W_{t}^{1}, \ldots , W_{t}^{d}\right) (a multidimensional Wiener process) will leave the ball of an arbitrary fixed radius rr centered at the origin of the space Rd\mathbb {R}^{d}.

?
Problem 3.4.4

Prove that there exists a Gaussian process X=(Xt,t∈R+d)X=\left(X_{t}, t \in \mathbb {R}_{+}^{d}\right) with zero mean function and covariance function

r(s,t)=∏k=1dmin⁡(sk,tk), r(s, t)=\prod _{k=1}^{d} \min (s_k, t_k),

where s=(s1,…,sd)∈R+d,t=(t1,…,td)∈R+ds=\left(s_{1}, \ldots , s_{d}\right) \in \mathbb {R}_{+}^{d}, t=\left(t_{1}, \ldots , t_{d}\right) \in \mathbb {R}_{+}^{d}.

?
Problem 3.4.5

Let (Wt,t⩾0)\left(W_{t}, t \geqslant 0\right) be a Wiener process. Prove that with probability 1 its trajectory has unbounded variation on an arbitrary interval [a,b]⊂R+[a, b] \subset \mathbb {R}_{+}, i.e., that

sup⁡T∑i=1n∣Wti+1−Wti∣=+∞ a.s.,  \sup _{T} \sum _{i=1}^{n}\left|W_{t_{i+1}}-W_{t_{i}}\right|=+\infty \text{ a.s., }

where T={a=t0<…<tn=b}T=\left\{ a=t_{0}<\ldots <t_{n}=b\right\} is a partition of the interval [a,b][a, b].

?
Problem 3.4.6

Let (Wt,t≥0)\left(W_{t}, t \geq 0\right) be a Wiener process. For each n∈Nn \in \mathbb {N} consider partitions of the interval [a;b][a ; b] with points

a=tn;0<tn;1<…<tn;N(n)=b,where N(n)∈N a=t_{n ; 0}<t_{n ; 1}<\ldots <t_{n ; N(n)}=b, \quad \text{where } N(n) \in \mathbb {N}

and

ΔT(n):=max⁡k=0;…;N(n)(tn;k+1−tn;k)→n→+∞0 \Delta T(n):=\max _{k=0 ; \ldots ; N(n)}\left(t_{n ; k+1}-t_{n ; k}\right) \xrightarrow [n \to +\infty ]{} 0

Set

Un:=∑k=0N(n)−1(Wtn;k+1−Wtn;k)2 U_{n}:=\sum _{k=0}^{N(n)-1}\left(W_{t_{n ; k+1}}-W_{t_{n ; k}}\right)^{2}

Find the mean-square (i.e., L2L^2) limit of the quantities UnU_{n} as n→+∞n \rightarrow +\infty.

?
Problem 3.4.7

Let the sequence of positive numbers {tn,n∈N}\left\{ t_{n}, n \in \mathbb {N}\right\} be such that ∑n=1∞tn−1/2<∞\sum_{n=1}^{\infty } t_{n}^{-1 / 2}<\infty. Prove that then ∣Wtn∣→+∞\left|W_{t_{n}}\right| \rightarrow +\infty a.s. as nn increases. Here (Wt,t≥0)\left(W_{t}, t \geq 0\right) is a Wiener process.

?
Problem 3.4.8

Let (Xt,t≥0)\left(X_{t}, t \geq 0\right) be a Gaussian process with stationary independent increments. Prove that there exist constants a,b∈Ra, b \in \mathbb {R} such that the process

Yt=Xt−atb Y_{t}= \frac{X_{t}-a t}{b}

is a Wiener process.

?
Problem 3.4.9

Let {ξn,n∈Z+}\left\{ \xi_n, n \in \mathbb {Z}_+\right\} be independent N(0,1)N(0,1) random variables. Prove that the process

Xt=ξ0tπ+2π∑k=1∞sin⁡(kt)kξk X_{t} = \frac{\xi _{0} t}{\sqrt{\pi }} + \sqrt{\frac{2}{\pi }} \sum _{k=1}^{\infty } \frac{\sin (kt)}{k} \xi _{k}

is a Wiener process on the interval [0,π][0, \pi ] (the series is understood as the limit of its partial sums in L2L^2).

?