Verifying That a Given Time Is a Stopping Time

[8/75%]
Show
LaTeX

Construct an example of a real-valued process X={X(t),t⩾0}X = \left\{ X(t), t \geqslant 0\right\} of càdlàg type (but not continuous) and a closed set F⊂RF \subset \mathbb {R} such that τ∞<τF\tau_{\infty } < \tau_{F} a.s., where τ∞\tau_{\infty } and τF\tau_{F} are defined in the proof of Theorem 3.

Theorem 3. Let X={X(t),t⩾0}X = \left\{ X(t), t \geqslant 0\right\} be a random function taking values (for each t⩾0t \geqslant 0) in a metric space (S,ρ)(\mathrm{S}, \rho ). Suppose the sample paths of XX are almost surely continuous. Then for every closed set F⊂SF \subset \mathrm{S} the time

τF(ω)=inf⁡{t⩾0:X(t,ω)∈F}(7) \tau _{F}(\omega ) = \inf \left\{ t \geqslant 0: X(t, \omega ) \in F\right\} \tag {7}

is a Markov time with respect to the natural filtration FX\mathbb {F}^{X} of the process XX (it is assumed that τF(ω)=∞\tau_{F}(\omega ) = \infty if X(t,ω)∉FX(t, \omega ) \notin F for all t⩾0t \geqslant 0).

In the proof of Theorem 3 one sets τn:=τGn=inf⁡{t⩾0:X(t,ω)∈Gn}\tau_{n} := \tau_{G_{n}} = \inf \left\{ t \geqslant 0: X(t, \omega ) \in G_{n}\right\}, where the open sets Gn={x∈S:ρ(x,F)<1/n}G_{n} = \left\{ x \in \mathrm{S}: \rho (x, F) < 1 / n\right\} form, as nn grows, shrinking neighborhoods of FF. Clearly, F⊂Gn+1⊂GnF \subset G_{n+1} \subset G_{n}, whence τn(ω)⩽τn+1(ω)⩽τF(ω)\tau_{n}(\omega ) \leqslant \tau_{n+1}(\omega ) \leqslant \tau_{F}(\omega ) for all n∈Nn \in \mathbb {N}, ω∈Ω\omega \in \Omega. Therefore for each ω\omega there exists

lim⁡n→∞τn(ω)=τ∞(ω)⩽τF(ω)∈[0,∞]. \lim _{n \rightarrow \infty } \tau _{n}(\omega ) = \tau _{\infty }(\omega ) \leqslant \tau _{F}(\omega ) \in [0, \infty ].
?

Let X={Xn,n∈N}X = \left\{ X_{n}, n \in \mathbb {N}\right\} be a sequence of real-valued random variables and let a set B∈B(R)B \in \mathscr {B}(\mathbb {R}) be given. Let τ=τ(ω)\tau = \tau (\omega ) be the first hitting time of the set BB, defined by formula (I.49).

Formula (I.49):

τ(ω)=inf⁡{n∈N:Xn(ω)∈B}(I.49) \tau (\omega ) = \inf \left\{ n \in \mathbb {N}: X_{n}(\omega ) \in B\right\} \tag {I.49}

(τ(ω):=∞\tau (\omega ) := \infty if Xn(ω)∉BX_{n}(\omega ) \notin B for all n∈Nn \in \mathbb {N}).

We have already seen (see §3) that τ\tau is a Markov time with respect to the natural filtration of the process XX. Now introduce

σ(ω)=inf⁡{n∈N:Xn(ω)∉B} — the time of the first exit from B,γ(ω)=sup⁡{n∈N:Xn(ω)∈B} — the time of the last stay in B \begin{aligned} & \sigma (\omega ) = \inf \left\{ n \in \mathbb {N}: X_{n}(\omega ) \notin B\right\} \text{ — the time of the first exit from } B, \\ & \gamma (\omega ) = \sup \left\{ n \in \mathbb {N}: X_{n}(\omega ) \in B\right\} \text{ — the time of the last stay in } B \end{aligned}

(in the definition of the times τ\tau and σ\sigma it is assumed that if the set in curly braces is empty for some point ω\omega, then the value of the quantity under consideration at this point is taken to be +∞+\infty ). Prove that σ\sigma is a Markov time with respect to the natural filtration of the process XX. Construct an example of a sequence XX and a set BB for which the time γ\gamma is a Markov time with respect to the natural filtration, and also an example of XX and BB for which γ\gamma is not such a time.

?

Let X1,X2,…X_{1}, X_{2}, \ldots be a sequence of non-negative independent random variables and let N(t)=max⁡{n:X1+X2+⋯+Xn≤t}N(t) = \max \left\{ n: X_{1}+X_{2}+\cdots +X_{n} \leq t\right\}. Show that N(t)+1N(t)+1 is a stopping time with respect to a suitable filtration to be specified.

?

Let {Sn:n≥0}\left\{ S_{n}: n \geq 0\right\} be a simple symmetric random walk on the positive and negative integers, with S0=0S_{0} = 0. For each of the following random variables, determine whether or not it is a stopping time and find its mean:

?
(a)

U=min⁡{n≥5:Sn=Sn−5+5}U = \min \left\{ n \geq 5: S_{n} = S_{n-5}+5\right\},

(b)

V=U−5V = U-5,

(c)

W=min⁡{n:Sn=1}W = \min \left\{ n: S_{n} = 1\right\}.

Let (Xt,Ft)t⩾0\left(X_{t}, \mathscr {F}_{t}\right)_{t \geqslant 0} be a dd - dimensional stochastic process and A,An,C∈B(Rd),n⩾1A, A_{n}, C \in \mathscr {B}\left(\mathbb {R}^{d}\right), n \geqslant 1. Then

?
(a)

A⊂CA \subset C implies τA∘⩾τC∘\tau_{A}^{\circ } \geqslant \tau_{C}^{\circ } and τA⩾τC\tau_{A} \geqslant \tau_{C};

(b)

τA∪C∘=min⁡{τA∘,τC∘}\tau_{A \cup C}^{\circ } = \min \left\{ \tau_{A}^{\circ }, \tau_{C}^{\circ }\right\} and τA∪C=min⁡{τA,τC}\tau_{A \cup C} = \min \left\{ \tau_{A}, \tau_{C}\right\};

(c)

τA∩C∘⩾max⁡{τA∘,τC∘}\tau_{A \cap C}^{\circ } \geqslant \max \left\{ \tau_{A}^{\circ }, \tau_{C}^{\circ }\right\} and τA∩C⩾max⁡{τA,τC}\tau_{A \cap C} \geqslant \max \left\{ \tau_{A}, \tau_{C}\right\};

(d)

A=⋃n⩾1AnA = \bigcup_{n \geqslant 1} A_{n}, then τA∘=inf⁡n⩾1τAn∘\tau_{A}^{\circ } = \inf_{n \geqslant 1} \tau_{A_{n}}^{\circ } and τA=inf⁡n⩾1τAn\tau_{A} = \inf_{n \geqslant 1} \tau_{A_{n}};

(e)

τA=inf⁡n⩾1(1n+τn∘)\tau_{A} = \inf_{n \geqslant 1}\left(\frac{1}{n}+\tau_{n}^{\circ }\right) where τn∘=inf⁡{s⩾0:XS+1/n∈A}\tau_{n}^{\circ } = \inf \left\{ s \geqslant 0: X_{S+1 / n} \in A\right\};

(f)

find an example of a set AA such that τA∘<τA\tau_{A}^{\circ } < \tau_{A}.

Let U⊂RdU \subset \mathbb {R}^{d} be an open set and assume that (Xt)t⩾0\left(X_{t}\right)_{t \geqslant 0} is a stochastic process with continuous paths. Show that τU=τU∘\tau_{U} = \tau_{U}^{\circ }.

?

Let (It,Ft)t⩾0\left(I_{t}, \mathscr {F}_{t}\right)_{t \geqslant 0} be a continuous adapted process with values in [0,∞)[0, \infty ) and a.s. increasing sample paths. Set for u⩾0u \geqslant 0

σu(ω):=inf⁡{t⩾0:It(ω)>u} and τu(ω):=inf⁡{t⩾0:It(ω)⩾u} \sigma _{u}(\omega ): = \inf \left\{ t \geqslant 0: I_{t}(\omega ) > u\right\} \quad \text{ and } \quad \tau _{u}(\omega ): = \inf \left\{ t \geqslant 0: I_{t}(\omega ) \geqslant u\right\}

Show that

?
(a)

σu⩾t⟺It⩽u\sigma_{u} \geqslant t \Longleftrightarrow I_{t} \leqslant u and τu>t⟺It<u\tau_{u} > t \Longleftrightarrow I_{t} < u.

(b)

τu\tau_{u} is an Ft\mathscr {F}_{t} stopping time and σu\sigma_{u} is an Ft+\mathscr {F}_{t+} stopping time.

(c)

u↦σuu \mapsto \sigma_{u} is right continuous and u↦τuu \mapsto \tau_{u} is left continuous.

(d)

τu=σu−=lim⁡ϵ↓0σu−ϵ\tau_{u} = \sigma_{u - } = \lim_{\epsilon \downarrow 0} \sigma_{u - \epsilon }.

(e)

u↦τu,u↦σuu \mapsto \tau_{u}, u \mapsto \sigma_{u} are continuous, if t↦Itt \mapsto I_{t} is strictly increasing.

Show that, in Theorem 19.17, the quadratic variation ⟨M⟩t\left\langle M\right\rangle_{t} is a Gt\mathscr {G}_{t} stopping time.

?

References

[БуШи05] Булинский А.В., Ширяев А.Н. Теория случайных процессов. ФИЗМАТЛИТ, 2005.
[GrSt20] Grimmett G.R., Stirzaker D.R. Probability and Random Processes. 4th ed., Oxford University Press, 2020.
[Sch21] Schilling R.L. Brownian Motion: A Guide to Random Processes and Stochastic Calculus. 3rd ed., De Gruyter, 2021.