If , then is -measurable. Independence and centring of the future Brownian increment make the desired left side zero; the time multiplier on the right is zero as well.
Suppose . Conditional on , write and . The pair is jointly normal and independent of , with
Apply the supplied Gaussian integration by parts formula to , treating the known as its parameter. This gives
Multiply by the bounded -measurable and use the defining property of conditional expectation. Thus the required expectation identity holds for every , including intervals crossing or lying after .
First take a bounded elementary predictable process , with each bounded and -measurable and with finite time support. The Itô integral is the corresponding finite sum . Applying part (a) term by term gives
Such elementary predictable processes are dense among predictable processes in . The Itô isometry makes the left functional continuous, with bound
The Cauchy-Schwarz inequality makes the right functional continuous, with bound . Approximation therefore proves the same identity for every allowed predictable . The integral over the infinite time interval is the limit of its finite-horizon Itô integrals.
The terminal variable is bounded and hence square-integrable. In the completed natural Brownian filtration, the Brownian martingale representation theorem says that any square-integrable -measurable variable admits a representation
with predictable and . Extend by zero after . Thus the requested constant and integrability are
Expectation determines uniquely. If two integrands give the same representation, the Itô isometry gives . Consequently is unique up to -almost everywhere equality, rather than pointwise equality at every time. The corresponding integral martingales are indistinguishable.
Multiply the representation in part (c) by and take expectations. This Itô integral has mean zero, and the bilinear form of the Itô isometry gives
Equating this with part (b), and writing both ordinary integrals with the same time variable, yields
All terms are integrable by the Cauchy-Schwarz inequality, the assumed square integrability of , and boundedness of . This is an orthogonality statement against predictable processes; its second term need not itself be predictable.
Set . The Brownian martingale representation theorem applied to the bounded terminal variable supplies a continuous adapted version of , so it is predictable. Hence
is predictable and satisfies . For every square-integrable predictable process , conditioning at each deterministic time and using Fubini theorem gives
Thus part (d) says . Taking , which is an allowed predictable square-integrable process, makes its squared norm zero. We conclude
This is the Clark-Ocone formula for a smooth Brownian terminal payoff, with exactly the uniqueness established in part (c).

Articles by others on the same topic (0)

There are currently no matching articles.