Brownian representation of half-plane capacity
= Brownian representation of half-plane capacity
{c}
If $\tau$ is the first exit time of planar <Brownian motion> from $\mathbb H\setminus A$, then
$$
\operatorname{hcap}(A)=\lim_{y\to\infty}y\,\mathbb E_{iy}[\operatorname{Im}B_\tau].
$$
It follows by applying the <optional sampling theorem for a supermartingale> to the harmonic function $\operatorname{Im}(z-g_A(z))$.