32.2. MARTINGALES AND TOTAL VARIATION 863

Note the bounded stopping time is τ∧t and the other one is σ = s in this theorem. Then Mτ

is a continuous martingale which is also uniformly bounded. It equals Aτ −Bτ . The stop-ping time ensures Aτ and Bτ are uniformly bounded by C. Thus all of |Mτ (t)| ,Bτ (t) ,Aτ (t)are bounded by C on [0, l] . Now let Pn≡{tk}n

k=1 be a uniform partition of [0, l] and letMτ (Pn) denote

Mτ (Pn)≡max{|Mτ (ti+1)−Mτ (ti)|}ni=1 .

Then

E(

Mτ (l)2)= E

(n−1

∑k=0

Mτ (tk+1)−Mτ (tk)

)2

Now consider a mixed term in the sum where j < k.

E((Mτ (tk+1)−Mτ (tk))

(Mτ(t j+1

)−Mτ (t j)

))= E

(E((Mτ (tk+1)−Mτ (tk))

(Mτ(t j+1

)−Mτ (t j)

)|Ftk

))= E

((Mτ(t j+1

)−Mτ (t j)

)E((Mτ (tk+1)−Mτ (tk)) |Ftk

))= E

((Mτ(t j+1

)−Mτ (t j)

)(Mτ (tk)−Mτ (tk))

)= 0

It follows

E(

Mτ (l)2)

= E

(n−1

∑k=0

(Mτ (tk+1)−Mτ (tk))2

)

≤ E

(n−1

∑k=0

Mτ (Pn) |Mτ (tk+1)−Mτ (tk)|)

≤ E

(n−1

∑k=0

Mτ (Pn)(|Aτ (tk+1)−Aτ (tk)|+ |Bτ (tk+1)−Bτ (tk)|)

)

≤ E

(Mτ (Pn)

n−1

∑k=0

(|Aτ (tk+1)−Aτ (tk)|+ |Bτ (tk+1)−Bτ (tk)|)

)≤ E (Mτ (Pn)2C)

the last step holding because A and B are increasing. Now letting n→∞, the right side con-verges to 0 by the dominated convergence theorem and limn→∞ Mτ (Pn)(ω) = 0 becauseof continuity of M. Thus for τ = τC given above, M (l∧ τC) = 0 a.e. Now let C ∈ N andlet NC be the exceptional set off which M (l∧ τC) = 0. Then letting Nl denote the unionof all these exceptional sets for C ∈ N, it is also a set of measure zero and for ω not inthis set, M (l∧ τC) = 0 for all C. Since the martingale is continuous, it follows for eachsuch ω, eventually τC > l and so M (l) = 0. Thus for ω /∈ Nl ,M (l)(ω) = 0. Now letN =∪l∈Q∩[0,∞)Nl . Then for ω /∈N,M (l)(ω) = 0 for all l ∈Q∩ [0,∞) and so by continuity,this is true for all positive l. ■

Note this shows a continuous martingale is not of bounded variation unless it is aconstant.

If you had a continuous bounded variation function f (t) , you might want to do some-thing like

∫ T0

12 ( f ′ (t) , f (t))dt =

∫ T0

12 ( f (t) ,d f ) = | f (T )|2. We do this all the time when

32.2. MARTINGALES AND TOTAL VARIATION 863Note the bounded stopping time is T At and the other one is o = s in this theorem. Then M*is a continuous martingale which is also uniformly bounded. It equals At — B*. The stop-ping time ensures A* and B* are uniformly bounded by C. Thus all of |M* (t)| ,B? (t) ,A* (¢)are bounded by C on [0,/]. Now let Y,= {t,}¢_, be a uniform partition of {0,/] and letM* (Y,) denoteM* (Py) = max {|M" (41) —M" (IYE (MF (I) *)=E (Eu (t41) mw)Now consider a mixed term in the sum where j < k.E ((M* (tey1) —M® (te) (M* (tj41) —M* (t;)))Then= E(E ((M* (te41) —M* (te) (ME ee M*(t;))= E((M* (ti) —M*(t; ))E (Me M* (tk)= E((M* (th41) — MP (tj) (M*(Ear (+41) -wy(Eu Pry) |M* (th+1) — waIt followsE (u (1)”)IAn—1< (Eww, )(A* (tey1) — a" +18" on) 2°60)n—1SE G (Pr) Y (A (that) —A (t)| + |B" (test) —B* oh)k=0< E(M*(Pn)2C)the last step holding because A and B are increasing. Now letting n — 9, the right side con-verges to 0 by the dominated convergence theorem and limy_,..M* (Y,) (@) = 0 becauseof continuity of M. Thus for t = Tc given above, M (1 \ Tc) =0 a.e. Now let C € N andlet Nc be the exceptional set off which M (1A tc) = 0. Then letting N; denote the unionof all these exceptional sets for C € N, it is also a set of measure zero and for @ not inthis set, M (1A tc) = 0 for all C. Since the martingale is continuous, it follows for eachsuch @, eventually tc > / and so M(/) = 0. Thus for a ¢ N;,M(1)(@) =0. Now letN = Ujegn|o,0)N7- Then for @ ¢ N,M (1) (@) =0 for all 7 € QM [0, ex) and so by continuity,this is true for all positive /. HiNote this shows a continuous martingale is not of bounded variation unless it is aconstant.If you had a continuous bounded variation function f(t), you might want to do some-thing like {J 4(f'(t), f(t))dt = fo 4(f (0),4f) =|F (7). We do this all the time when