Past exam of the mathematics course of the University of Cambridge / 2017 / iii / Paper 203 / 1 / c

For $x\in \mathbb{R}$, the conformal mapmaps $\mathbb{H}\setminus (A+x)$ onto $\mathbb{H}$ and has hydrodynamic normalization at infinity. Its Laurent series is $h(z)=z+a/z+O(z^{-2})$. Uniqueness of the mapping-out function of a compact H-hull therefore givesThis is the translation part of scaling and translation of half-plane capacity.

For $r>0$, the conformal map $h(z)=r{g}_A(z/r)$ maps $\mathbb{H}\setminus rA$ onto $\mathbb{H}$ and has Laurent series $h(z)=z+r^{2}a/z+O(z^{-2})$. The uniqueness in hydrodynamic normalization at infinity givesAt $r=0$ the scaled closure is contained in $\mathbb{R}$, so the interior compact H-hull is empty and both sides are zero. This is the scaling part of scaling and translation of half-plane capacity.

Suppose $A\subseteq B$. Map out $A$ and let $C$ be the relatively closed image hull corresponding to $g_A(B\setminus A)$, with bounded complementary components filled if needed. Then $g_A$ maps $\mathbb{H}\setminus B$ onto $\mathbb{H}\setminus C$. Uniqueness of the mapping-out function of a compact H-hull gives $g_B=g_C\circ g_A$. Comparing their Laurent series yields the half-plane-capacity composition ruleThe Brownian representation of half-plane capacity makes the last term nonnegative, proving monotonicity of half-plane capacity: