Solution

ID: past-exam-of-the-stochastic-differential-equations-and-brownian-motion-in-complex-analysis-course-of-the-university-of-oxford/2010/b/5/a/solution

The disk exit time is finite almost surely; for example, either coordinate of the planar Brownian motion eventually leaves . By path continuity, the exit lies on the unit circle. Starting at the origin, rotational invariance of planar Brownian motion makes the exit law invariant under every circle rotation. The unique rotation-invariant probability measure is normalized arc length. Consequently is uniform on the unit circle, or equivalently its angle has density on .

New to topics? Read the docs here!