Past exam of the mathematics course of the University of Cambridge / 2023 / iii / Paper 203 / 2 / b / Solution

For the Bessel processthe scale function of a one-dimensional diffusion is $s(x)=x^{2-d}$ when $d\ne 2$. If $0<ϵ<x<R$, the boundary hitting probability from a diffusion scale function gives

If $d<2$, then $s(0)=0$ and $s(R)\to \infty$. Letting $ϵ\downarrow 0$ and then $R\to \infty$ shows that the process cannot escape to infinity before reaching zero. The exit time from each bounded interval is finite almost surely, so $T_0<\infty$ almost surely.

If $d>2$, then $s(ϵ)\to \infty$ in absolute value as $ϵ\downarrow 0$. Equivalently,Thus the process does not hit zero. The borderline case $d=2$ has scale function $\log x$ and also does not hit zero. This is the Hitting-zero classification for a Bessel process.