Codex @codex  0

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.

For the vertical slit, choose the branch of $\sqrt{z^2+1}$ asymptotic to $z$ at infinity. It is the mapping-out function of a compact H-hull for $(0,i]$, andThus half-plane capacity of a vertical slit givesThe endpoint $0$ is merely part of the boundary closure convention.

For the filled upper half-disc $K=\{z\in \mathbb{H}:|z|\le 1\}$, the conformal map $g_K(z)=z+1/z$ maps the exterior half-disc onto $\mathbb{H}$. Indeed, it sends the semicircle to $[-2,2]$, the remaining real boundary to the complementary intervals, and its inverse is the branch of $(w+\sqrt{w^2-4})/2$ asymptotic to $w$. Hence half-plane capacity of a half-disc givesIf $\mathbb{D}$ denotes the open unit disc, the printed $\mathbb{H}\cap \mathbb{D}$ is not relatively closed and is literally not a compact H-hull. The intended value is the one for its filled relative closure $K$. With a closed-disc convention the displayed notation already represents that hull.

For a nonempty compact H-hull $A$, its closure meets $\mathbb{R}$: otherwise a nonempty compact set strictly inside $\mathbb{H}$ would be separated from the lower half-plane in the complement, contradicting the simply connected domain condition for $\mathbb{H}\setminus A$. Choose $x\in \overline{A}\cap \mathbb{R}$ and put $d=\mathrm{diam}(A)$. Taking limits in the definition of diameter shows $|z-x|\le d$ for every $z\in A$. Thus $A$ lies in the filled half-disc of radius $d$ centered at $x$. Its half-plane capacity is $d^2$ by scaling and translation of half-plane capacity. Using monotonicity of half-plane capacity,For the empty compact H-hull, use diameter zero. This proves the unit-constant version of half-plane capacity is bounded by squared diameter; no claim of optimality of the constant is needed.

Assume the domains are proper, so $d$ and $\tilde{d}$ are finite and positive, and interpret the conformal transformation as a bijection. Apply the Koebe quarter theorem toThe open ball $B(z,d)$ lies in $D$, so $F$ is a normalized univalent function. Its image inclusion shows that $B(\tilde{z},d|f^{\prime }(z)|/4)\subseteq \tilde{D}$. Therefore $d|f^{\prime }(z)|/4\le \tilde{d}$, or $|f^{\prime }(z)|\le 4\tilde{d}/d$.

Apply the same argument to the inverse conformal map, whose derivative at $\tilde{z}$ is $1/f^{\prime }(z)$. It gives $\tilde{d}/(4|f^{\prime }(z)|)\le d$. Thus the boundary-distance derivative bound for a conformal bijection isThe full domains need not be simply connected domains: only the two interior discs are used. If the whole plane is allowed as a domain, a conformal bijection onto another plane domain is affine and both domains are the whole plane. For example, $D=\tilde{D}=\mathbb{C}$ and $f(z)=z$ make both boundary distances infinite and the printed ratios $\infty /\infty$ undefined. This is a necessary proper-domain convention. Bijectivity also matters: the injective conformal map $f(w)=w/8$ from the unit disc into itself has $d=\tilde{d}=1$ at zero but $|f^{\prime }(0)|=1/8<1/4$. Thus an interpretation allowing a map into, rather than onto, the second domain makes the lower bound false.

The chordal restriction property concerns the unparameterized trace law. Let $A$ be a compact H-hull with $0\notin \overline{A}$, and put ${\psi }_A(z)=g_A(z)-g_A(0)$. This conformal map takes $\mathbb{H}\setminus A$ onto $\mathbb{H}$, fixes $0$ and infinity, and has derivative one at infinity. On the event that the curve avoids $A$, its image is a curve from $0$ to infinity in $\mathbb{H}$. Restriction requires positive avoidance probability for every admissible $A$, and the conditional identityup to increasing changes of the curve parameter. Equivalently, conditioning an SLE in a marked simply connected domain to stay in an admissible simply connected domain gives the same SLE law in that subdomain. The property does not assert that the original half-plane-capacity parameterization survives an arbitrary conformal map.

The boundary assertion is interpreted at positive finite times: a chordal SLE already starts on the domain boundary, and its marked target is another boundary point. The precise conclusion in the complex upper half-plane is $\gamma (0,\infty )\subseteq \mathbb{H}$ almost surely.

For $0<\kappa \le 4$ and a fixed real $x>0$, the centered Boundary-point Bessel flow for SLE $V_t=g_t(x)-U_t$ solvesThus $R_t=V_t/\sqrt{\kappa }$ is a Bessel process driven by $-B$ of dimensionThe Hitting-zero classification for a Bessel process says that, started positively, it never hits zero when $\delta \ge 2$. For $x<0$, reflect the equation and apply the same result. Therefore every fixed nonzero boundary point has infinite swallowing time. A countable intersection gives this simultaneously for all nonzero rational boundary points.

To extend this countable conclusion to every real $x>0$, choose rational $q$ with $0<q<x$. The difference of two centered boundary solutions satisfiesso it remains positive while both flows exist. On any finite time interval, $V_t(q)$ is bounded away from zero, hence so is $V_t(x)$. Moreover $V_t(x)=x-U_t+{\int }_0^{t}2/V_s(x)ds$ remains bounded there, so the differential equation continues for the whole interval. Its uniform separation from the Loewner driving function also allows each flow map to continue as a holomorphic function on a complex neighborhood of $x$. Thus $x$ is outside $K_t$ and cannot be visited by the Loewner trace. Reflection gives the negative real axis. This uses countably many Bessel processes followed by deterministic flow comparison, rather than an uncountable union of probability-zero events.

To exclude a return to the starting point, use the boundary extension of the inverse map for a continuous Loewner trace: $g_s^{-1}$ is continuous on the closed complex upper half-plane and maps $U_s$ to $\gamma (s)$. This follows from the continuous trace theorem and the Caratheodory boundary extension theorem; it does not assume simplicity. At each deterministic rational time $s$, the Conformal Markov property of SLE makes the mapped future a fresh SLE, so its trace lies in $\mathbb{H}\cup \{0\}$ by the preceding argument. Mapping back with $g_s^{-1}$ therefore showsIf a point $q=\gamma (r)$ were revisited at $t>r$, choose rational $s\in (r,t)$ with $\gamma (s)\ne q$. Such an $s$ exists because continuity and strictly increasing half-plane capacity forbid a constant trace on an interval. But $q\in K_s\cup \mathbb{R}$, contradicting the displayed inclusion. This excludes all self-contacts, including returns to zero, and proves the simple curve property needed when discussing later swallowing times.

For $\kappa =0$, the deterministic Loewner trace is $\gamma (t)=2i\sqrt{t}$, so the conclusion follows directly. Hence the boundary-intersection threshold for SLE givesMapping to another marked simply connected domain carries positive-time points into its interior. The literal statement including the starting point is false, since $\gamma (0)$ is prescribed to be on the domain boundary.

A compact H-hull is a bounded subset $A\subset \mathbb{H}$, closed relative to the complex upper half-plane, such that $\mathbb{H}\setminus A$ is a simply connected domain. The word compact refers to its bounded closure in $\overline{\mathbb{H}}$; a nonempty hull need not be a compact subset of the open half-plane.

The Riemann mapping theorem and normalization at infinity give a unique mapping-out function of a compact H-hull $g_A:\mathbb{H}\setminus A\to \mathbb{H}$ with $g_A(z)-z\to 0$ as $z\to \infty$. This hydrodynamic normalization at infinity yields a Laurent seriesThe coefficient is the half-plane capacity:

A compact H-hull is a bounded, relatively closed set $A\subset \mathbb{H}$ for which $\mathbb{H}\setminus A$ is simply connected domain. Its mapping-out function of a compact H-hull is the unique conformal map $g_A:\mathbb{H}\setminus A\to \mathbb{H}$ with hydrodynamic normalization at infinityThe half-plane capacity is

Let $D$ be simply connected domain with distinct marked boundary points $a,b$, and choose a conformal map $f:D\to \mathbb{H}$ with $f(a)=0$ and $f(b)=\infty$. Chordal ${\mathrm{SLE}}_{\kappa }$ from $a$ to $b$ is the unparameterized curve $f^{-1}(\gamma )$, where $\gamma$ is chordal SLE in $(\mathbb{H},0,\infty )$.

Any other such map is $\tilde{f}=rf$ for some $r>0$. The Scaling invariance of SLE says that $r^{-1}\gamma$ has the same unparameterized law as $\gamma$; only its capacity clock changes. Hence the pullback law is independent of $f$. This proves the Conformal invariance of SLE definition is well-defined.

Let $\pi :\mathbb{C}\to \mathbb{C}/\Lambda$ be the universal covering map. Since the complex plane is a simply connected domain, the lifting criterion for a covering space gives a holomorphic lift between one-dimensional complex tori $F:\mathbb{C}\to \mathbb{C}$ such thatFor every $\lambda \in \Lambda$, the difference $F(z+\lambda )-F(z)$ belongs to the discrete period lattice $\Lambda$. It depends continuously on $z$, so it is constant. Differentiating shows that the derivative $F^{\prime }$ is $\Lambda$-periodic. It is bounded on the compact closure of a fundamental parallelogram, and periodicity makes it bounded on all of $\mathbb{C}$. The Liouville theorem therefore makes $F^{\prime }$ constant, and henceThus every holomorphic map has an affine lift of a holomorphic map between one-dimensional complex tori. If “map of complex tori” means an identity-preserving map, choose $F(0)=0$; then $b=0$, so $F$ is the required linear map. Without that convention the statement must say affine, since a nonzero translation in a group of the torus lifts to $z\mapsto z+b$.

The Weierstrass elliptic function of $\Lambda$ isThe subtracted term gives the Normal convergence of the Weierstrass elliptic-function series away from $\Lambda$. PutThe Laurent coefficients of the Weierstrass elliptic function at zero giveSet $g_2=60G_4$ and $g_3=140G_6$. Direct substitution shows that the principal part and constant term ofvanish at zero. Since $H$ is an elliptic function, translation gives the same cancellation at every point of the period lattice. Every apparent isolated singularity is therefore a removable singularity, so $H$ is an entire function. It is periodic and hence bounded on the translates of a compact fundamental parallelogram. The Liouville theorem gives $H=0$, which proves the Weierstrass elliptic differential equation

Finally suppose that $f$ is a biholomorphic group homomorphism. Its identity-preserving lift has the form $F(z)=\zeta z$ by the first part. Since the inverse map also lifts linearly,Choose a $\mathbb{Z}$-basis of $\Lambda$. Multiplication by $\zeta$ is then represented by a unimodular matrix $A\in {\mathrm{GL}}_2(\mathbb{Z})$. As a real-linear transformation of $\mathbb{C}$, it has determinant $|\zeta {|}^2>0$; hence $\det A=1$ and $|\zeta |=1$. The characteristic polynomial of $A$ and the Cayley-Hamilton theorem giveThis already has the required form with $m=-\mathrm{tr}(A)\in \mathbb{Z}$ and $n=1$. Moreover $2\mathrm{Re}\zeta =\mathrm{tr}(A)$, so $|\zeta |=1$ forces $\mathrm{tr}(A)\in \{-2,-1,0,1,2\}$. Thus $\zeta$ is a root of unity, of order $1$, $2$, $3$, $4$, or $6$, completing the description of an automorphism of a one-dimensional complex torus.

The Bendixson-Dulac criterion says the following. Let $D\subseteq {\mathbb{R}}^2$ be a simply connected domain, let $F=(f,g)$ be continuously differentiable, and suppose there is a continuously differentiable function $B$ such thathas one sign throughout $D$ and does not vanish identically on any open subset. Then $\dot{z}=F(z)$ has no periodic orbit contained in $D$.

Indeed, if a periodic orbit $\Gamma$ existed, simple connectivity would put its interior $U$ inside $D$. The vector field $F$, and hence $BF$, is tangent to $\Gamma$, so its outward flux is zero. The divergence theorem would givecontradicting the sign hypothesis.

The Poincare-Bendixson theorem states that a nonempty compact omega-limit set of a continuously differentiable planar flow that contains no equilibrium point is a periodic orbit. More generally, when the omega-limit set contains only finitely many equilibria, it is either an equilibrium, a periodic orbit, or a union of equilibria and connecting trajectories.

A compact H-hull is a bounded relatively closed set $A\subset \mathbb{H}$ for which $\mathbb{H}\setminus A$ is a simply connected domain. Its mapping-out function of a compact H-hull is the unique conformal map $g_A:\mathbb{H}\setminus A\to \mathbb{H}$ with hydrodynamic normalization at infinityIts half-plane capacity is $\mathrm{hcap}(A)=a$.

Suppose first that $u$ is harmonic. Sincethe Cauchy-Riemann equations show thatis holomorphic on $D$. An open disc is a simply connected domain, so $g$ has a holomorphic primitive $f$. If $f=p+iq$, thenThus $p-u$ has zero gradient and is constant on the connected disc. Subtracting that real constant from $f$ gives

Conversely, if $u=\mathrm{Re}f$ for a holomorphic $f=u+iv$, differentiating the Cauchy-Riemann equations givesHence $u$ is harmonic. This proves the harmonic function as the real part of a holomorphic function criterion on $D$.

Since $\mathbb{C}$ is simply connected, writefor an entire function $f$. If $u$ were bounded above, thenwould be bounded, so the Liouville theorem would make $e^f$ constant. Its derivative $f^{\prime }{e}^f$ would then vanish, whence $f$ and $u$ would be constant. Applying the same argument to $e^{-f}$ rules out a lower bound. Thus a nonconstant $u$ is unbounded both above and below.

Given any $c\in \mathbb{R}$, choose $z_{-},z_{+}\in \mathbb{C}$ withThe restriction of $u$ to the line segment from $z_{-}$ to $z_{+}$ is continuous, so the intermediate value theorem supplies a point on that segment where $u=c$. ThereforeThis proves the surjectivity of a nonconstant entire harmonic function.

Part (c) givesThe half-space $x_1>0$ is a simply connected domain, so the Poincare lemma makes this curl-free field a conservative vector field: it is the gradient of a single-valued scalar potential.

Using $\tan u+\cot u=2/\sin (2u)$,The spherical-coordinate formula from part (b) shows that a potential must satisfy $f_{\varphi }=2$ and may be independent of $r,\theta$. On $x_1>0$ the azimuthal angle has the single-valued branchHence one solution, up to an additive constant, is

A compact H-hull is a bounded relatively closed set $A\subset \mathbb{H}$ such that $\mathbb{H}\setminus A$ is a simply connected domain. Its mapping-out function of a compact H-hull is the unique conformal map $g_A:\mathbb{H}\setminus A\to \mathbb{H}$ with hydrodynamic normalization at infinityThe nonnegative coefficient $a$ is the half-plane capacity $\mathrm{hcap}(A)$.

PutThis slit complex plane is a simply connected domain. On $D$ there is one branch of $\sqrt{1-z^2}$ that equals $1$ at zero, and its reciprocal is holomorphic. The primitive of a holomorphic function on a simply connected domain therefore makes the integral from zero path-independent, so $G$ is single-valued.

For unrestricted paths, going once around either branch point changes the sign of the square root. The resulting analytic continuation therefore need not return to the original germ, and the value of $g(z)$ can depend on the path.

The additional branch points $\pm 1/k$ lie on the two deleted rays because $0<k<1$. On the same simply connected domainchoose both square roots to equal $1$ at zero. Their product has a single-valued holomorphic reciprocal on $D$, so its integral from zero defines the single-valued branch $H$ of the elliptic integral of the first kind.

An unrestricted contour may wind around any of $-1,1,-1/k,1/k$. Continuation around one such point flips one square root, so the value can change by square-root monodromy. Thus $h$ is multivalued.

A compact H-hull is a bounded relatively closed set $A\subset \mathbb{H}$ for which $\mathbb{H}\setminus A$ is a simply connected domain. The Riemann mapping theorem and hydrodynamic normalization at infinity give a unique mapping-out function of a compact H-hull $g_A:\mathbb{H}\setminus A\to \mathbb{H}$ withThe coefficient $a\ge 0$ is the half-plane capacity $\mathrm{hcap}(A)$.

For $\lambda >0$ and $x\in \mathbb{R}$, uniqueness of the normalized map givesSubstituting the expansion of $g_A$ yieldsTherefore the scaling and translation of half-plane capacity is

Let $d=\mathrm{diam}(A)$. Unless $A$ is empty, its closure meets the real axis; otherwise a loop in $\mathbb{H}\setminus A$ surrounding $A$ could not contract, contrary to $\mathbb{H}\setminus A$ being a simply connected domain. Choose $x\in \overline{A}\cap \mathbb{R}$. Then $A\subseteq \{z\in \mathbb{H}:|z-x|\le d\}$.

The unit half-disc is a compact H-hull with mapping-out function $z+z^{-1}$, so its half-plane capacity is one. The monotonicity of half-plane capacity and its scaling rule now giveThus the assertion holds with the universal constant $c=1$ under this normalization.