Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/iii/paper-202/5/d/solution

Let , the first time reaches zero. Recurrence of one-dimensional Brownian motion implies almost surely. On the common event where the comparison from part (c) holds, would imply , a contradiction. Therefore
The argument only uses the comparison at a time strictly before ; it does not assume that the singular drift integral is finite at . The given lifetime characterization identifies this finite endpoint with approach to zero. Any extension that absorbs at zero would be a different, globally defined stochastic process, not the positive-domain maximal local solution of a stochastic differential equation specified here.

New to topics? Read the docs here!