The Strong Markov Property is the most important result to demonstrate for any Markov process, such as Brownian Motion. It is also probably the most widely requested item of bookwork on the Part III Advanced Probability exam. I feel it is therefore worth practising writing as quickly as possible.
Theorem (SMP): Take a standard -BM, and T an a.s. finite stopping time. Then is a standard BM independent of .
Proof: We write for ease of notation. We will show that for any and F bounded, measurable:
This will suffice to establish independence, and taking shows that is a standard BM since (Levy), BM is uniquely characterised by its finite joint distributions.
To prove the result, we approximate T discretely, and apply the Markov property.
by bounded convergence, using continuity of F, right-continuity of B, and that a.s. (so that )
which is exactly what we required.
Remarks: 1) We only used right-continuity of the process, and characterisation by joint marginals, so the proof works equally well for Levy processes.
2) We can in fact show that it is independent of , by considering which is still a stopping time, then taking a limit in this n as well in the above proof. For details of a similar result, see my post on Blumenthal’s 0-1 Law.
- Feller Processes and the Strong Markov Property (eventuallyalmosteverywhere.wordpress.com)
- Remarkable fact about Brownian Motion #2: Blumenthal’s 0-1 Law and its Consequences (eventuallyalmosteverywhere.wordpress.com)