Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2012/iii/paper-35/1/b/solution

Before , the centered image satisfies the stochastic differential equation
Changing the sign of the Brownian motion shows that is a Bessel process of dimension . Here is a direct proof of the relevant hitting property, including finite lifetime.
Put . By the Itô formula, the drift of is
Thus is a local martingale and a scale function of a one-dimensional diffusion. Fix . The nonnegative function
vanishes at both endpoints and satisfies , for . Stop first on , and also at a deterministic time. The Itô formula gives . Let and then . It follows that the first exit is finite almost surely, not merely that the path approaches a boundary at infinite time.
Optional stopping applied to on this bounded interval gives
On the process must therefore hit every before zero. Letting makes that probability zero. Consequently
At the dimension is two; zero is not hit from a positive starting point. This endpoint must not be included in the finite-swallowing assertion.

New to topics? Read the docs here!