Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2013/iii/paper-25/6/c/solution

Continuity and adaptedness make the first boundary hit a stopping time. A continuous path starting in the open domain cannot leave it before meeting its boundary. Thus , with the usual interpretation when . If on this set, then
The stopped process is a bounded local martingale; the bounded local martingale criterion makes it a martingale and, in fact, a uniformly integrable martingale. The Martingale convergence theorem gives almost sure and convergence as .
Its limit can also be identified pathwise. On the stopped process is eventually constant at . On its absolute value is at most and hence tends to zero. Thus the limit is .

New to topics? Read the docs here!