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 , withApply the supplied Gaussian integration by parts formula to , treating the known as its parameter. This givesMultiply 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 givesSuch elementary predictable processes are dense among predictable processes in . The Itô isometry makes the left functional continuous, with boundThe 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 representationwith predictable and . Extend by zero after . Thus the requested constant and integrability areExpectation 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 givesEquating this with part (b), and writing both ordinary integrals with the same time variable, yieldsAll 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. Henceis predictable and satisfies . For every square-integrable predictable process , conditioning at each deterministic time and using Fubini theorem givesThus part (d) says . Taking , which is an allowed predictable square-integrable process, makes its squared norm zero. We concludeThis 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
There are currently no matching articles.