18.445 Introduction To Stochastic Processes: Lecture 16: Optional Stopping Theorem
18.445 Introduction To Stochastic Processes: Lecture 16: Optional Stopping Theorem
18.445 Introduction To Stochastic Processes: Lecture 16: Optional Stopping Theorem
Hao Wu
MIT
13 April 2015
Pn
Example 1 Let (ξi )i≥1 be i.i.d with E[ξ1 ] = 0. Then Xn = 1 ξi is a
martingale.
Example 2 Let (ξi )i≥1 be i.i.d with E[ξ1 ] = 1. Then Xn = Πn1 ξi is a
martingale.
Example 3 Consider biased gambler’s ruin : at each step, the gambler
gains one dollar with probability p and losses one dollar with
probability (1 − p). Let Xn be the money in purse at time n.
If p = 1/2, then (Xn ) is a martingale.
If p < 1/2, then (Xn ) is a supermartingale.
If p > 1/2, then (Xn ) is a submartingale.
Lemma
If (Xn )n≥0 is a martingale, and ϕ is a convex function,then (ϕ(Xn ))n≥0
is a submartingale.
Hao Wu (MIT) 18.445 13 April 2015 4 / 15
Examples
Lemma
Set µ = 2p − 1, and set
Xn = Yn − µn.
Then (Xn ) is a martingale.
Definition
A stopping time T : Ω → N = 0, 1, 2, ..., ∞ is a random variable such
that
[T = n] ∈ Fn , ∀n.
Lemma Lemma
The following are equivalent. If S, T , Tj are stopping times. The
[T = n] ∈ Fn for all n. following are also stopping times.
[T ≤ n] ∈ Fn for all n. S ∨ T and S ∧ T
[T > n] ∈ Fn for all n. infj Tj and supj Tj
[T ≥ n] ∈ Fn−1 for all n. lim infj Tj and lim supj Tj
FT = σ{A ∈ F : A ∩ [T ≤ n] ∈ Fn , ∀n}.
Theorem
Assume that X0 = k for some 0 ≤ k ≤ N. Then
k
P[Xτ = N] = , E[τ ] = k (N − k ).
N
Theorem
Let X = (Xn )n≥0 be a martingale.
1 If T is a stopping time, then X T is also a martingale.
In particular, E[XT ∧n ] = E[X0 ].
2 If S ≤ T are bounded stopping times, then E[XT | FS ] = XS , a.s.
In particular, E[XT ] = E[XS ].
3 If there exists an integrable random variable Y such that |Xn | ≤ Y
for all n, and T is a stopping time which is finite a.s., then
E[XT ] = E[X0 ].
4 If X has bounded increments, i.e. ∃M > 0 such that
|Xn+1 − Xn | ≤ M for all n, and T is a stopping time with E[T ] < ∞,
then E[XT ] = E[X0 ].
For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.
Optional Stopping Theorem
Theorem
Let X = (Xn )n≥0 be a supermartingale.
1 If T is a stopping time, then X T is also a supermartingale.
In particular, E[XT ∧n ]≤E[X0 ].
2 If S ≤ T are bounded stopping times, then E[XT | FS ]≤XS , a.s.
In particular, E[XT ]≤E[XS ].
3 If there exists an integrable random variable Y such that |Xn | ≤ Y
for all n, and T is a stopping time which is finite a.s., then
E[XT ]≤E[X0 ].
4 If X has bounded increments, i.e. ∃M > 0 such that
|Xn+1 − Xn | ≤ M for all n, and T is a stopping time with E[T ] < ∞,
then E[XT ]≤E[X0 ].
5 Suppose that X is a non-negative supermartingale. Then for any
stopping time T which is finite a.s., we have E[XT ]≤E[X0 ].
Hao Wu (MIT) 18.445 13 April 2015 11 / 15