Use . Applying the Itô formula and the Itô product rule gives
The finite-variation terms cancel in the prescribed combination, leaving
Thus is initially a continuous local martingale. It is a true martingale, not merely local. On each fixed horizon ,
Part (a) with , the assumed bracket moments and Cauchy-Schwarz inequality make this bound integrable. The integrable-supremum martingale criterion now applies, by localization and dominated conditional expectations. The same reasoning makes a martingale, so .
The zero covariance now means . Since and ,
This is the fourth-moment deficit and bracket variance identity. If equality holds for every , then almost surely for each . Take a single probability-one event for all rational times and use continuity to obtain simultaneously for all times. The Lévy characterization of Brownian motion then proves is Brownian motion in its given filtration. A proof of that characterization by conditional characteristic functions is included in Question 2(a).

Articles by others on the same topic (0)

There are currently no matching articles.