Characteristic function under conditionally symmetric martingale increments

ID: characteristic-function-under-conditionally-symmetric-martingale-increments

Suppose is a continuous local martingale starting at zero, with conditionally symmetric increments, and terminal conditional expectations have continuous martingale versions. Then
To prove this, set . Symmetry makes a martingale, and the Itô product rule gives . Consequently is a bounded local martingale, hence a martingale. Evaluating at the endpoints proves the formula. If also for all , the values of the bracket Laplace transform at and force almost surely. Continuity and the Lévy characterization of Brownian motion then identify as Brownian motion.

New to topics? Read the docs here!