Brownian Motion and Stochastic Calculus
Xiongzhi Chen University of Hawaii at Manoa Department of Mathematics September 20, 2008
Abstract This note is about Doob decomposition and the basics of Square integrable martingales
Contents
1 Doob-Meyer Decomposition 1
2 Square Integrable Martingales 4
Brownian Motion and Stochastic Calculus Continuout Time Submartingales
Usually it’ssu¢ ce to only discuss submartingales by symmetry in de…nition and techniques are the same.
1 Doob-Meyer Decomposition
Doob-meyer decomposition clears the obstable for de…ning stochastic integral (in the isometry strategy) wrt square integrable martingales and hence is of foundamental importance
De…nition 1 An increasing process A is called natural if for every bounded, right continuous martingale Mt; t : 0 t < we have f F 1g E MsdAs = E MsdAs (1) Z(0;t] Z(0;t] for every 0 < t < 1
Problem 2 Suppose X = Xt; t : 0 t < is a right continuous submartingale. Show that under any one of the following conditions,f XF is of class1g DL a) Xt 0;a.s for every t 0 b) X has the special form Xt = Mt + At; t 0 suggested by Doob decomposition.
Show also that if X is a uniformly integrable martingale, the it is of class D.
1 Proof. By optional sampling theorem for bounded stopping times (in note 4), we have
XT Xa XT > XT > Zf g Zf g Also we have E (XT ) E (Xa) P (XT > )
for all a > 0; > 0;T a: Therefore 2 I
lim sup XT dP = 0 T a XT > 2I Zf g
For the second part. It su¢ ces to show that Mt in the decomposition is uniformly integrable (since f g At is uniformly integrable for all T a). Again from optional sampling theorem f g 2 I
XT = E (Xa T ) jF
for all T a which established the needed uniformly integrability. If X is2 uniformly I integrable, then X closes X and hence X is in D 1
Problem 3 Let X = Xt; t : 0 t < be a continuous, non-negative process with X0 = 0 a.s. and f F 1g A = At; t : 0 t < any continuous, increasing process for which f F 1g
E (XT ) E (AT )
holds for every bounded stopping time T of t . Introduce the process fF g
Vt = max Xs 0 s t consider a continuous, increasing function F on [0; ) with F (0) = 0 and de…ne 1
1 1 G (x) = 2F (x) + x u dF (u) Zx for 0 < x < : Establish the inequalities 1 E (AT ) P [VT "] ; " > 0 (2) " 8 and E ( AT ) P [VT "; AT < ] ^ ; "; > 0 (3) " 8 and E (F (VT )) E (G (AT )) (4) for any stopping time T of t fF g Proof. De…ne the stopping times
H" = inf t 0 : Xt " ;S = inf t 0 : At (5) f g f g and Tn = T n H" ^ ^
2 (Notice that H" T if VT < " is not true for arbitrary …nite T; i.e., if VT " for some …nite T then f g H" T ; otherwise, the left side is zero since VT " is empty for …nite T and the inquality holds naturally) we have f g
"P (VTn ") E XTn 1 VT " E (XTn ) E (ATn ) E (AT ) f n g Now by the continuity of probability measure we take a limit on both sides
"P (VT ") "P (VT H" ") E (AT ) ^
(since (VT H" ") (VT ") since Vt = max0 s t Xt is monotonic non-decreasing on t: ) On the other hand, we have^ E (AT S) E ( AT ) P (VT "; AT < ) P (VT S ") ^ = ^ (6) ^ " "
(since AT < implies T S ) Then we have
P (VT ") = P (VT "; AT < ) + P (VT "; AT ) E ( AT ) ^ + P (AT ) " which is the …rst inequality in the corollary that follows
Denote the cdf of VT by FVT (VT ) : By the assumption on F we have
1 F (x) = 1 x u dF (u) f g Z0 and
1 1 1 E (F (VT )) = F (VT ) dFVT (VT ) = 1 VT u dF (u) dFVT (VT ) (7) f g Z0 Z0 Z0 1 1 1 = dF (u) 1 VT u dFVT (VT ) = P (VT u) dF (u) f g Z0 Z0 Z0 1 E (u AT ) ^ + P (AT u) dF (u) u Z0
1 E AT 1 AT