Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/iii/paper-201/5/a/solution

Let , , and . The function is harmonic away from the origin: its radial Laplacian in dimension three is
The Itô formula therefore makes a local martingale, bounded between and , hence a true martingale. The annulus exit time is finite almost surely. For instance, exit from the containing open ball is finite because from every point in the open ball a sufficiently large Gaussian vector increment has a uniform positive probability of leaving it in unit time; iterate the geometric tail bound from a uniform escape probability.
The optional stopping theorem at , followed by the dominated convergence theorem, gives . By continuity, there is no radial overshoot and the two exit spheres cannot be hit simultaneously. Writing gives
All harmonicity and boundedness statements apply only in the annulus, which stays away from the singularity at zero.

New to topics? Read the docs here!