2094 CHAPTER 62. STOCHASTIC PROCESSES

Lemma 62.8.3 Let X (t) be a submartingale adapted to a filtration Ft . Let {rk} ⊆ [s, t) bea decreasing sequence converging to s. Then

{X (r j)

}∞

j=1 is uniformly integrable.

Proof: First I will show the sequence is equiintegrable. I need to show that for all ε > 0there exists λ large enough that for all n∫

[|X(rn)|≥λ ]|X (rn)|dP < ε.

Let ε > 0 be given. Since {X (r)}r≥0 is a submartingale, E (X (rn)) is a decreasing sequencebounded below by E (X (s)). This is because for rn < rk,

E (X (rn))≤ E (E (X (rk) |Fn)) = E (X (rk))

Pick k such that

E (X (rk))− limn→∞

E (X (rn))

=∣∣∣E (X (rk))− lim

n→∞E (X (rn))

∣∣∣< ε/2.

Then for n > k,∫[|X(rn)|≥λ ]

|X (rn)|dP =∫[X(rn)≥λ ]

X (rn)dP+∫[X(rn)≤−λ ]

−X (rn)dP

=∫[X(rn)≥λ ]

X (rn)dP+∫[X(rn)>−λ ]

X (rn)dP−∫

X (rn)dP

≤∫[X(rn)≥λ ]

X (rn)dP+∫[X(rn)>−λ ]

E (X (rk) |Fn)dP−∫

X (rn)dP

≤∫[X(rn)≥λ ]

X (rk)dP+∫[X(rn)>−λ ]

X (rk)dP−∫

X (rk)dP+ ε/2

=∫[X(rn)≥λ ]

X (rk)dP+∫[X(rn)≤−λ ]

(−X (rk))dP+ ε/2

=∫[|X(rn)|≥λ ]

|X (rk)|dP+ ε/2

≤∫[

sup{|X(r)|≥λ :r∈{r j}∞

j=1

}] |X (rk)|dP+ ε/2 (62.8.29)

From maximal inequalities of Theorem 60.6.4

P

([sup

r∈{rn,rn−1,··· ,r1}|X (r)| ≥ λ

])≤ 2E (|X (t)|+ |X (0)|)

λ≡ C

λ

and so, letting n→ ∞,

P

([sup

r∈{rn}∞n=1

|X (r)| ≥ λ

])≤ C

λ.

2094 CHAPTER 62. STOCHASTIC PROCESSESLemma 62.8.3 Let X (t) be a submartingale adapted to a filtration F;. Let {rg} C |s,t) bea decreasing sequence converging to s. Then {X (rj) ba is uniformly integrable.Proof: First I will show the sequence is equiintegrable. I need to show that for all € > 0there exists A large enough that for all n| IX (r)|dP < €.[X(ra) >A]Let € > 0 be given. Since {X (r) },9 is a submartingale, E (X (rn)) is a decreasing sequencebounded below by E (X (s)). This is because for ry < rg,E(X (tn)) < E(E (X (re) | Fn)) = E (X (rx)Pick k such thatE(X (rg)) — lim E (X (rn)n—yoo= E(x (r)) — lim E(X (rm) <e/2.Then for n > k,| X(m)ldP= | X (rn) dP + —X (rq) dP[X (ra) >A EX (rn) >] EX (rn) <—Al- Freneas Xe? + Feape at linda [,X(rn)aP. | Lies (rs) |Fn)dP— f X (rm) dP. Irseai® (nd? fo aX rx) dP [x (rx) dP + €/27 | ae (—X (rg))dP+e/2~ Denon |X (r,)|dP+€/2I eofxieysavetene.) IX (")|aP + €/2 (62.8.29)From maximal inequalities of Theorem 60.6.4|and so, letting n + ,sup Mle a < ENON x (0))) =¢re{tatn—-1y st|S10sup |X (r)| >1]) <ré{tn}n=l