Past exam of the mathematics course of the University of Cambridge / 2018 / iii / Paper 202 / 4 / ii / Solution

Let $U_t=(1,0,0)+(B_t^1,B_t^2,B_t^3)$, with three independent standard Brownian motions, and set $R_t=|U_t|$ and $M_t=R_t^{-1}$. The radial stochastic process $R$ is a three-dimensional Bessel process, which never hits zero by the Hitting-zero classification for a Bessel process. In three dimensions $u\mapsto |u{|}^{-1}$ is a harmonic function away from zero: direct differentiation gives $\Delta (|u{|}^{-1})=0$.

For the stopping times $T_n=\inf \{t:R_t\notin (1/n,n)\}$, $n\ge 2$, the Itô formula givesThe coefficients are bounded by $n^2$, so each stopped Itô integral is a true martingale on every finite horizon. The stopping times form a localizing sequence; as permitted, its divergence need not be proved here. Thus $M$ is a nonnegative continuous local martingale.

To see that $M$ is not a true martingale, integrate the three-dimensional multivariate normal density of $U_t$ in spherical coordinates. The angular integral yieldswhere $\Phi$ is the standard normal distribution function. Therefore the reciprocal of a three-dimensional Bessel process is a strict local martingale.