In developing the stochastic integral, much of our motivation has come from considering integrals with respect to Brownian Motion. In this section, we develop some results which justify that Brownian Motion is the canonical stochastic process with non-zero quadratic variation (which is related, but not directly equivalent to the property of infinite total variation). In particular, we shall observe the Dubins-Schwarz theorem, which shows that martingales with unbounded (as time ) quadratic variation ARE Brownian Motion, up to a (stochastic) time change.
Recall Levy’s characterisation of a d-dimensional BM, which allows us to avoid considering independent normal increments. Given :
a BM iff
Obviously, one direction has been shown as part of the construction and properties of quadratic variation. For the other direction,, because laws are precisely defined by characteristic functions, it suffices to show that
We set , and deduce and , and furthermore is bounded on compact [0,t], hence is a true martingale. So which is pretty much what was required.
Now, Dubins-Schwarz states
Theorem: Given almost surely, if we set , then is a -BM, with .
This final result is clear if is almost surely strictly increasing in t: just take in the definition.
We know B is cadlag: we first show B as defined is almost surely continuous. It remains to show , noting that (by continuity) is a stopping time also.
The only interesting case is if , for which need to show [M] is constant. This is intuitively obvious, but formally, we must appeal to which is UI, since . Now may apply OST to obtain which implies M is almost surely constant on . We need to lift this to the case where it holds for all s simultaneously almost surely. Note that cadlag almost surely plus almost surely continuous at each point does not implies almost surely continuous everywhere (eg consider H(U(0,1)) with H the Heaviside function and U a uniform distribution). Instead, we record intervals of constancy of both . That is, we set
Then these are cadlag, and by above a.s. therefore almost surely. Thus M, [M] are constant on the same intervals.
We also check B is adapted to . STP is -measurable for X cadlag adapted. Approximating T discretely from above gives the result, exploiting that the result is clear if T has countable support. Now, obtain , so UI by Doob, so by OST, get , to get B a martingale. The finally:
And so we can apply Levy’s characterisation to finish the result.