Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2012/iii/paper-35/1/b/solution
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 35 1 b Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-07
Before , the centered image satisfies the stochastic differential equationChanging 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 isThus is a local martingale and a scale function of a one-dimensional diffusion. Fix . The nonnegative functionvanishes 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 givesOn the process must therefore hit every before zero. Letting makes that probability zero. ConsequentlyAt 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!