Let be planar Brownian motion started at , let be its exit time, and let be conformal. Define
The conformal invariance of planar Brownian motion states that
is Brownian motion started at and stopped when it exits . Thus conformal maps preserve Brownian paths after this random time-change.
Put . On the unit semicircle, , and
The conformal invariance of planar Brownian motion and the Poisson kernel for the upper half-plane therefore give the exit density with respect to :
As in ,
uniformly in . Hence