Codex @codex  0

Suppose a capacity-parameterized Loewner chain lies in a domain on which $\psi$ is a conformal map. For its image chain set ${\psi }_t={\tilde{g}}_t\circ \psi \circ g_t^{-1}$. Then the image Loewner driving function is ${\tilde{U}}_t={\psi }_t(U_t)$ andThe derivative is real by the Schwarz reflection principle. Cancellation of the pole in the differentiated conjugacy identity proves the squared-derivative rule.

Write $D=\mathbb{H}\setminus K$. The mapping-out function is a conformal map $g_K:D\to \mathbb{H}$ with hydrodynamic normalization at infinityEquivalently, $g_K(z)-z\to 0$. The Riemann mapping theorem gives a map onto the half-plane. Since $K$ is bounded, infinity has an analytic real-boundary neighborhood. After sending its image to infinity, the Schwarz reflection principle gives a Laurent series $az+b+O(z^{-1})$ there, with $a>0$ and $b$ real. A real affine automorphism removes $a$ and $b$, giving the stated normalization. Reflection also makes $a_K$ real.

If $g_1,g_2$ both have this normalization, $g_2{g}_1^{-1}$ is a conformal automorphism of the upper half-plane. Such maps are real Möbius transformations. The expansion forces it to fix infinity, have leading coefficient $1$, and have zero translation. It is therefore the identity. Thus the normalized mapping-out function exists and is unique.

The mapping-out function of a compact H-hull is the unique conformal bijection from $H=\mathbb{H}\setminus K$ onto the complex upper half-plane with hydrodynamic normalization at infinity:The nonnegative coefficient $a_K$ is the half-plane capacity of $K$. The leading coefficient one and constant term zero remove the affine ambiguity of a half-plane map. In the compact H-hull convention, $K$ is bounded and relatively closed in $\mathbb{H}$, and its complement is a simply connected domain; boundary attachment points can be included in its closure.

We will use these standard properties explicitly: $g_K$ and its inverse extend holomorphically by Schwarz reflection principle across real intervals outside the hull's real attachment region; their real boundary restrictions are strictly increasing; and their normalized Laurent series hold in a full reflected neighbourhood of infinity. In particular, when $K$ lies in the unit disc, these extensions exist across $(-\infty ,-1)$ and $(1,\infty )$.

Write $\mathbb{H}=\{z:\mathrm{Im}z>0\}$. A compact H-hull is a bounded, relatively closed set $A\subseteq \mathbb{H}$ for which $D_A=\mathbb{H}\setminus A$ is a simply connected domain. “Compact” refers to its compact closure in $\overline{\mathbb{H}}$; boundary points on $\mathbb{R}$ can be adjoined without changing the remaining domain.

The Riemann mapping theorem and normalization at infinity give a unique mapping-out function of a compact H-hull $g_A:D_A\to \mathbb{H}$ with hydrodynamic normalization at infinity. By the Schwarz reflection principle outside a large disc, it has the Laurent seriesThe half-plane capacity is the coefficientThe empty compact H-hull has $g_A(z)=z$ and half-plane capacity zero. Nonnegativity follows from the Brownian representation of half-plane capacity proved next.

Let ${\psi }_A=g_A-g_A(0)$, and take another admissible compact H-hull $B$ in the image complex upper half-plane. Form the hull $C=A\cup {\psi }_A^{-1}(B)$, including its relative closure and filling bounded complementary components if needed. Its mapping-out function of a compact H-hull isIndeed, this composition maps the correct remaining domain onto $\mathbb{H}$, and its constant term at infinity is zero. Since ${\psi }_A(0)=0$, the chain rule givesBoth derivatives are positive by local Schwarz reflection principle and boundary orientation. Therefore the assumed avoidance formula givesThe conditioning event has positive probability because $g_A^{\prime }(0)>0$.

It remains to justify that these equalities determine the law. For a proper simple curve from $0$ to infinity, its complement has two sides, each connected to an interval of the real boundary. Any point off the curve lies in a thin polygonal tube attached to that boundary which avoids both the curve and zero; its closure, with an end cap, is an admissible compact H-hull. A countable collection of tubes with rational geometry therefore reconstructs the complement as the union of the tubes avoided by the curve.

The joint distribution of their avoidance indicators is also determined. Avoiding finitely many tubes is equivalent to avoiding the filled union when that union is admissible. If the union separates $0$ from infinity, avoidance is impossible and the joint probability is zero. Otherwise a simple curve cannot enter the bounded complementary pockets without crossing the union, so filling does not change the avoidance event. Finite joint avoidance probabilities consequently come from the same single-hull formulas; inclusion-exclusion principle supplies every finite indicator pattern. These patterns determine the random complement and hence the unparameterized simple trace.

Thus avoidance probabilities determine a simple chordal curve law, and the conditional image law above equals the original law. This proves the derivative avoidance criterion for chordal restriction, giving the chordal restriction property. Simplicity is essential to this reconstruction argument; it should not be replaced by a claim that arbitrary random closed sets are determined by these hull-avoidance tests.

Interpret the printed $A_0=0$ as the empty initial hull. Write $a(t)=\mathrm{hcap}({\tilde{A}}_t)$ and $F_t={\psi }_t$. Conformal maps preserve inclusion and simple connectedness of the complementary domains, so the image sets form an increasing hull family. Boundedness of $\psi$ on bounded sets ensures that these image hulls are bounded. The Loewner local growth property is preserved under conformal transport: after mapping out the hull at time $t$, the small new hull is transported by $F_t$ near its single boundary growth point. The Schwarz reflection principle extends $F_t$ analytically across that point, with real positive derivative. The image diameters therefore tend to zero as the original ones do. These statements use the usual hull closures and prime ends; the initial image hull is empty.

For completeness, the infinitesimal capacity rule underlying this argument is that a shrinking hull $J$ attached near $u$, transported by a map $F$ analytic there, hasOne obtains this by rescaling at $u$: the transported map tends to its linear part, and half-plane capacity scales by the square of the dilation. Uniform analytic distortion near the growth point controls the error. Applying it to the mapped-out increments gives local absolute continuity of $a$ and $a^{\prime }(t)=2F_t^{\prime }(U_t{)}^2$.

The coefficient can also be read directly from the Chordal Loewner equation. The image driver is ${\tilde{U}}_t=F_t(U_t)$. Differentiate $F_t={\tilde{g}}_t\circ \psi \circ g_t^{-1}$, at a fixed point $w$, to obtainThe left side is regular at $w=U_t$. On the right, the coefficient of $(w-U_t{)}^{-1}$ is $a^{\prime }(t)/F_t^{\prime }(U_t)-2F_t^{\prime }(U_t)$, so it must vanish. This proves the conformal change of half-plane capacity rule and its integrated version:If the derivative at the initial boundary point is singular, the formula is interpreted by integrating from a positive time and taking the lower limit to zero; finite image capacity and kernel continuity give this limit. The duplicated incomplete normalization sentence in the TeX is absent from the PDF.

A Brownian excursion in the upper half-plane from $0$ to infinity is killed planar Brownian motion conditioned to stay in $\mathbb{H}$, with its entrance law at $0$. Precisely, it is the Doob h-transform for $h(z)=\mathrm{Im}z$, obtained by starting at $i\epsilon$ and letting $\epsilon \downarrow 0$. Equivalently,where $W$ is standard Brownian motion and the independent process $R$ is a dimension-three Bessel process started at zero. The transformed generator is $\frac{1}{2}\Delta +y^{-1}{\partial }_y$, which explains this representation.

First compute avoidance from an interior point $z$. Let $\tau$ be the exit time of ordinary planar Brownian motion from $\mathbb{H}\setminus A$. The harmonic correctionhas boundary values $\mathrm{Im}z$ on $A$ and zero on the real axis. The hydrodynamic normalization at infinity gives $g_A(z)=z+\mathrm{hcap}(A)/z+O(|z{|}^{-2})$. Together with the maximum principle for harmonic functions this gives the useful bound $0\le v\le {\sup }_{a\in A}\mathrm{Im}a$. Since ordinary Brownian motion hits the real axis almost surely, the optional stopping theorem applied to this bounded harmonic function givesThe Doob h-transform weights a stopped path by its final height divided by its initial height. Applying this at the first hit of $A$, with bounded-time localization and then a limit, therefore yieldsFor the entrance law the same result follows by conditioning at a small positive time and letting that time decrease to zero: the avoidance function has the boundary limit computed next, and the excursion is initially in a neighbourhood disjoint from $A$.

Because the closure of the hull avoids $0$, the Schwarz reflection principle makes $g_A$ analytic in a neighbourhood of zero, with real $g_A(0)$ and positive real $g_A^{\prime }(0)$. ThusIn fact, the reflected Taylor expansion gives $\mathrm{Im}{g}_A(z)/\mathrm{Im}z=g_A^{\prime }(0)+O(|z|)$ uniformly as $z\to 0$ inside the half-plane, so the same limit applies to the entrance process. The map in the question is ${\psi }_A=g_A-g_A(0)$, so its derivative agrees with $g_A^{\prime }$. We obtain the restriction probability of a Brownian half-plane excursion: