Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2012/iii/paper-34/3/a/solution

For away from the origin,
The Itô formula for planar Brownian motion therefore has no drift term before the radius reaches . Since the initial logarithm is zero,
The integrand's squared norm is on this stopped interval, so this is a square-integrable martingale on every finite horizon, in particular a local martingale. One may first stop in an outer annulus to apply the formula on a compact smooth domain and then remove that localization.

New to topics? Read the docs here!