Finite exit from a conformal image of a bounded planar domain
ID: finite-exit-from-a-conformal-image-of-a-bounded-planar-domain
A planar Brownian motion exits a conformal image of a bounded planar domain in finite time almost surely. If the image lifetime were infinite, the inverse derivative is bounded away from zero on a small interior disc. Recurrence of planar Brownian motion and the Strong Markov property give infinite Brownian occupation time there, forcing the inverse conformal Brownian clock to diverge. It cannot exceed the finite original exit time. The expected image exit time can nevertheless be infinite.
New to topics? Read the docs here!