Fix . Part (b)(i) makes a probability measure on , equivalent to since . Its density process on is . The Girsanov theorem, applied to the stochastic exponential with integrand , says thatis standard Brownian motion under . The required local square-integrability follows from path continuity, and the true martingale property was proved in part (b)(i).
By part (b)(ii), under the process is therefore the zero-started Ornstein-Uhlenbeck process:This identifies its full law on continuous path space, rather than just its one-time marginal. It is a centered Gaussian process, since it consists of deterministic Itô integrals against Brownian motion. For , the Itô isometry gives its covariance function:In particular, its Ornstein-Uhlenbeck transition distribution at the terminal time is
Put . The change of measure and part (a)(iii) yieldFor a centered normal random variable of variance , a Gaussian integral gives the Gaussian quadratic exponential momentHere and for finite positive , so the required positivity holds, including when . ThusExpanding the two exponentials in terms of hyperbolic functions givesAt this is one. As , the denominator tends to , recovering part (a)(i). At it gives the Laplace transform of the integrated square of Brownian motion. The joint terminal-and-integral transform is the Joint Laplace transform of Brownian square and its time integral.
Articles by others on the same topic
There are currently no matching articles.