Solution

ID: past-exam-of-the-stochastic-differential-equations-course-of-the-university-of-oxford/2011/1/b/solution

For a twice continuously differentiable function, Itô's formula in this stopped diffusion reads
For ,
Setting eliminates the drift. Moreover is bounded on , so the stochastic integral is square-integrable on each finite horizon by the Itô isometry. Hence is a true martingale, not merely a local one. The process itself is bounded on the stopped interval. For , this particular function is the constant one; the logarithmic scale function will supply the nontrivial hitting identity.

New to topics? Read the docs here!