Use the following form of the Girsanov theorem. If is Brownian motion, is predictable, and
is a uniformly integrable martingale with , then the probability measure with terminal density makes a Brownian motion. The analogous finite-horizon statement uses the terminal density at that horizon.
Here take and . Before , , so the stochastic integral is well-defined. The assumed uniform integrability of the stopped stochastic exponential gives
Thus the proposed weighting really defines a probability measure, and the Girsanov theorem gives the Brownian motion
under that measure. In particular
All calculations are first made on this compact stopped interval. The integral involving is naturally defined on ; at its quadratic variation may diverge. The density will have a zero limiting extension there, as established below, rather than a finite stochastic logarithm at the hitting time.

Articles by others on the same topic (0)

There are currently no matching articles.