60.6. SUBMARTINGALE CONVERGENCE THEOREM 1967

upcrossings, consider the following:

τ0 ≡ min(inf{k : X (k)≤ a} ,M) ,

τ1 ≡ min(inf{

k : (X (k∨ τ0)−X (τ0))+ ≥ b−a},M),

τ2 ≡ min(inf{

k : (X (τ1)−X (k∨ τ1))+ ≥ b−a},M),

τ3 ≡ min(inf{

k : (X (k∨ τ2)−X (τ2))+ ≥ b−a},M),

τ4 ≡ min(inf{

k : (X (τ3)−X (k∨ τ3))+ ≥ b−a},M),

...

As usual, inf( /0)≡ ∞. Are the above stopping times? If α ≥ 0, and τ is a stopping time, isk→ (X (τ)−X (k∨ τ))+ adapted?[

(X (τ)−X (k∨ τ))+ > α]=[(X (τ)−X (k))+ > α

]∩ [τ ≤ k]

Now [(X (τ)−X (k))+ > α

]∩ [τ ≤ k] = ∪k

i=0[(X (i)−X (k))+ > α

]∩ [τ ≤ k] ∈Fk

If α < 0, then [(X (τ1)−X (k∨ τ1))+ > α

]= Ω

and so k→ (X (τ)−X (k∨ τ))+ is adapted. Similarly k→ (X (k∨ τ)−X (τ))+ is adapted.Therefore, all those τk are stopping times.

Now consider the following random variable for odd M, 2n+1 = M

U [a,b]M ≡ lim

ε→0

n

∑k=0

X (τ2k+1)−X (τ2k)

ε +X (τ2k+1)−X (τ2k)≤ 1

b−a

n

∑k=0

X (τ2k+1)−X (τ2k)

Now suppose {X (k)} is a nonnegative submartingale. Then since E (X (2τ) |F2τ−1)≥X (τ2k−1)

E

(n

∑k=1

X (τ2k)−X (τ2k−1)

)≥ 0

Hence

E(

U [a,b]M

)≤ 1

b−a

n

∑k=0

E (X (τ2k+1)−X (τ2k))

≤ 1b−a

n

∑k=0

E (X (τ2k+1)−X (τ2k))+1

b−a

n

∑k=1

E (X (τ2k)−X (τ2k−1))

=1

b−a

n

∑k=0

E (X (τk)−X (τk−1))≤1

b−aE (X (τk))

Now by the optional sampling theorem X (0) ,X (τk) ,X (M) is a submartingale. Therefore,the above is no larger than

1b−a

E (|X (M)|)

60.6. SUBMARTINGALE CONVERGENCE THEOREM 1967upcrossings, consider the following:T = min(inf{k:X(k) <a},M),tT = min(inf{k: (X (kV) —X(t)), >b—a},M),T = min(inf{k:(X(t1)—X(kV71)), >b—a},M),7 = min(inf{k: (X (kV t2)—X(t2)), >b—a},M),tT = min (int (k: (X (13) —X (kV 73)), >b—a},M),As usual, inf (0) =o. Are the above stopping times? If @ > 0, and 7 is a stopping time, isk — (X(t) —X (kV T)), adapted?[(X (t) —X (kV T)), > @] = [(X (t)—X (k)), > a] N[t <ANow[(X (t) —X (k)), > a] N[t < k] = Ug [(X (I) —X(k)), > ala[r<kheH%If a < 0, then[(X (41) —X(kV%%)), > at] =0and so k — (X(t) —X (kV T))., is adapted. Similarly k — (X (kV T) —X (T)), is adapted.Therefore, all those tT, are stopping times.Now consider the following random variable for odd M, 2n+ 1=MX (Te41) —X (Tox) in.<5-y * (Tax+1) —X (2x)[a] .U,,”' = limM £90 5 E+X (Te41) —X (Tx)Now suppose {X (k)} is a nonnegative submartingale. Then since E (X (27) |.For-1) =>X (T24-1)EB (Ex teu -x(e0.0)] >0k=lHenceE(uy”) < ! YE (X (toes) —X (tx)<—— PE(X (txe11) —X (Tax)) + —b-a b-a ja__1 YE (X(t) X (te-1)) < p= B(X (tH)=0the above is no larger than