Past exam of the mathematics course of the University of Cambridge / 2017 / iii / Paper 201 / 5 / a

Let ${\tau }_r=\inf \{t\ge 0:|B_t|=r\}$, ${\tau }_R=\inf \{t\ge 0:|B_t|=R\}$, and $\tau ={\tau }_r\wedge {\tau }_R$. The function $u(y)=|y{|}^{-1}$ is harmonic away from the origin: its radial Laplacian in dimension three isThe Itô formula therefore makes $u(B_{t\wedge \tau })$ a local martingale, bounded between $1/R$ and $1/r$, 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 $t\wedge \tau$, followed by the dominated convergence theorem, gives $\mathbb{E}u(B_{\tau })=u(x)$. By continuity, there is no radial overshoot and the two exit spheres cannot be hit simultaneously. Writing $p={\mathbb{P}}_x({\tau }_r<{\tau }_R)$ givesAll harmonicity and boundedness statements apply only in the annulus, which stays away from the singularity at zero.