Solution

ID: past-exam-of-the-stochastic-differential-equations-and-brownian-motion-in-complex-analysis-course-of-the-university-of-oxford/2009/a/3/b/solution

Write the integral with an explicit dummy time:
On every compact time interval, strict positivity and continuity of make its reciprocal locally bounded; the covariation has locally finite variation. Thus is a well-defined continuous semimartingale.
Apply the Itô product rule. Subtracting a finite-variation process does not change covariation, so . The finite-variation terms cancel:
Thus is a local martingale under .
For the transfer step, choose stopping times increasing to the horizon that bound , , reciprocal , and the brackets needed for the stochastic integrals. For each such time , the same product calculation with shows that is a true martingale. The part after is simply the bounded held value times the density martingale. By the Bayes formula for conditional expectation, for ,
The stopping times exhaust the horizon also under . Hence is a continuous local martingale, proving this form of the Girsanov theorem without assuming a positive terminal density everywhere.

New to topics? Read the docs here!