A martingale representation theorem identifies driving martingales from which every martingale in a specified filtration can be reconstructed by stochastic integrals. The filtration and the class of integrable martingales are part of the assertion.
For the completed natural Brownian filtration, the Brownian martingale representation theorem gives for every square-integrable martingale, with a predictable integrand unique up to time-probability null sets. For example, . In a filtration generated by independent Rademacher random variables, predictable representation in a Rademacher filtration gives the discrete analogue. Adding an independent source of randomness to a Brownian filtration may require another driving martingale; it does not preserve representation by the original Brownian motion alone.
The conditional expectation of at time is , by independent Brownian increment. Itô's formula cancels its time derivative against its second spatial derivative and leaves the displayed stochastic integral. The integrand is bounded, so Itô isometry verifies its square integrability.
Let be the usual augmentation of the natural filtration of a standard Brownian motion . On a finite horizon , every has the representationfor a predictable process . Consequently every square-integrable martingale on has . The Itô isometry makes unique up to -almost everywhere equality. A proof first represents deterministic Gaussian exponentials, whose linear span is dense in L2 space, then uses the Itô isometry to close the class of represented terminal values.[ref]
Itō's representation theorem by Fabrice Baudoin. 2012 lecture, theorem and proof by density of stochastic exponentials
The natural-filtration qualification matters. In the filtration generated by independent Brownian motions , both are martingales, but cannot be an Itô integral against : its quadratic covariation with is zero, which would force the proposed integrand to vanish. A general Brownian filtration may therefore be too large.
In the completed natural Brownian filtration, a bounded continuously differentiable with bounded derivative satisfiesThe integrand is unique up to -almost everywhere equality. Gaussian integration by parts first gives the duality between the payoff and every square-integrable Itô integral. The Brownian martingale representation theorem then identifies the integrand as the projection of onto the predictable processes in the product space. This explains the conditional expectation in the formula, rather than a nonadapted terminal derivative.