Set and use the branch with argument in . This is a conformal map from the wedge to the right half-plane, fixes the starting point , and sends the outer circle of radius to that of radius
The two wedge sides map to the imaginary axis.
By conformal invariance of planar Brownian motion, the image of the stopped path is planar Brownian motion after the increasing conformal Brownian clock . This clock does not change which boundary portion is reached first. Localization away from the vertex justifies the map even when its derivative is unbounded there; the vertex is a polar point for planar Brownian motion and has zero hitting probability from .
Consequently
where the probability on the right is for the right half-plane. The power-map reduction for Brownian exit from a wedge also works at , when the wedge is the plane slit along the negative real axis.
No such conformal bijection exists. A prescribed point is a polar point for planar Brownian motion: a planar Brownian motion started away from zero hits zero with probability zero. For example, inside an annulus the probability of reaching radius before radius is
by the harmonic function and the optional stopping theorem. For fixed this tends to zero as . Any finite-time visit to zero would occur before leaving some sufficiently large disc; the countable union over integer still has probability zero.
The exit time from is therefore infinite almost surely, contradicting part (b) if this were the image of a bounded domain. Equivalently, a hypothetical inverse would be bounded and holomorphic. The Riemann removable singularity theorem extends it over zero, and the Liouville theorem makes it constant, contradicting bijectivity.
The map takes a wedge of opening to a half-plane and the circular boundary of radius to radius . Conformal invariance of planar Brownian motion preserves which boundary part is reached first, although it changes the clock. Use the branch defined by the wedge argument; the origin is a polar point for planar Brownian motion, so localization handles the vertex.