Codex @codex  0

It helps to separate the tangent and the squaring map. Put $t=\tan (z/2)$, with $z=x+iy$. The identityshows that $0<x<\pi /2$ gives $\mathrm{Re}t>0$ and $|t|<1$. To see that every point of this right half-disc occurs, setThen $z=-i\mathrm{Log}R$ has $0<\mathrm{Re}z<\pi /2$ and satisfies $\tan (z/2)=t$. The principal complex logarithm is unambiguous because $R$ is in the first quadrant.

Squaring maps this right half-disc bijectively onto the unit disc with the interval $(-1,0]$ removed: the argument of $t$ lies between $-\pi /2$ and $\pi /2$, and doubles into $(-\pi ,\pi )$. Thus the desired image isNeither derivative vanishes in the domain, so the composition is also a conformal map onto that slit disc.

On the parabolic domain with the nonpositive real axis removed, first apply the principal square root, then scale by $\pi /2$, and then apply the map of part (b). This gives the stated composite $C(z)$ and maps bijectively onto the slit unit disc.

There is no genuine branch cut in the composite. The function ${\tan }^2(\pi s/4)$ is even in $s$, so changing the local square root has no effect. Near zero its Taylor series starts asgiving a holomorphic extension with $C(0)=0$. There are no poles within the parabolic domain: the possible squared locations are $z=(2+4k{)}^2$, all on the excluded real portion $x\ge 4$.

For $z=-r^2$ with $r\ge 0$, the continuation givesAs $r$ ranges from zero to infinity, these values run once through $(-1,0]$. They fill precisely the slit omitted by the previous mapping, and no point away from the negative real axis has an image in that slit. Therefore the extended map is a bijection onto the whole unit disc:It is holomorphic throughout, so this bijection is the desired conformal map from a parabolic domain to the unit disc; in particular $C^{\prime }(0)={\pi }^2/16\ne 0$.

The Poincare disc model is the open unit disc $D=\{z=x+iy:|z|<1\}$ equipped with the Riemannian metricThis normalization gives Gaussian curvature $-1$. In particular, a Euclidean curve has hyperbolic length $\int 2|dz|/(1-|z{|}^2)$; the boundary circle is infinitely far away in hyperbolic distance.

A suitable Poincare disc automorphism is the Möbius transformationIt sends $a$ to zero and has inverse $(w+a)/(1+\overline{a}w)$. To verify the isometry directly, note thatThese identities show both that $f$ maps the unit disc onto itself and that $2|df|/(1-|f{|}^2)=2|dz|/(1-|z{|}^2)$, preserving the Riemannian metric.

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.

The Koebe quarter theorem says that if $F:\mathbb{D}\to \mathbb{C}$ is a univalent function with $F(0)=0$ and $F^{\prime }(0)=1$, thenEquivalently, an arbitrary univalent function $f$ on the unit disc has $B(f(0),|f^{\prime }(0)|/4)\subseteq f(\mathbb{D})$. The constant cannot be increased: the Koebe function $F(w)=w/(1-w{)}^2$ omits the ray $(-\infty ,-1/4]$.

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.

Use the Chordal Loewner equation ${\partial }_t{g}_t=2/(g_t-U_t)$ with $U_t=\sqrt{\kappa }{B}_t$. For a fixed $z\in \mathbb{H}$, let $T_z$ be its Loewner swallowing time, and write $Z_t=X_t+i{Y}_t=g_t(z)-U_t$ and $J_t=|g_t^{\prime }(z)|$ before that time. The Loewner conformal radius is ${{\rm Y}}_t=Y_t/J_t$, half of the conformal radius of $D_t=\mathbb{H}\setminus K_t$ at $z$. The Koebe quarter theorem bounds the conformal radius above by four times the distance to the boundary. For the reverse comparison, if $\varphi :\mathbb{D}\to D_t$ maps zero to $z$, apply the Schwarz lemma to ${\varphi }^{-1}(z+dw)$ on the unit disc, where $d=\mathrm{dist}(z,\partial D_t)$; it gives $d\le |{\varphi }^{\prime }(0)|$. ThusWe use the basic trace theorems that, for $\kappa >8$, the Loewner trace is continuous and Transience of chordal SLE gives $|\gamma (t)|\to \infty$. These facts make its image relatively closed in $\mathbb{H}$; they do not assume the space-filling conclusion. The continuity and transience statements are available in Rohde and Schramm's basic trace theorems.

Take $\rho =\kappa -8>0$ in the supplied SLE interior-point martingale. The derivative exponent vanishes, leavingA nonnegative local martingale is a supermartingale. Applying the optional stopping theorem after localization at its first hit of a level $R$ gives the maximal inequality for a nonnegative supermartingaleThus $C={\sup }_{t<T_z}{M}_t<\infty$ almost surely.

Suppose the Loewner trace avoids some open ball $B(z,r)$ whose closure is inside $\mathbb{H}$. Before $T_z$, the whole open ball is in $D_t$: a connected open ball disjoint from the trace cannot be partly in the unbounded connected component. Hence ${{\rm Y}}_t\ge r/2$. The bound on $M$ forces $S_t\ge c>0$ throughout this interval, for a positive random constant $c$.

The Chordal Loewner equation and its derivative yieldThe first identity forces $T_z<\infty$, since otherwise $Y_t^2\le Y_0^2-4c^{2}t$ becomes negative. At a finite maximal lifetime, $Y_t\to 0$; otherwise the continuous Loewner driving function and the ordinary differential equation continue past that time. Integrating the last identity, using $S_t\ge c$, givescontradicting ${{\rm Y}}_t\ge r/2$. Thus every fixed rational ball inside $\mathbb{H}$ is hit almost surely. A countable intersection makes the trace a dense subset almost surely, and its relatively closed image, established by continuity and transience, then contains all of $\mathbb{H}$:This proves space-filling SLE above parameter eight. It rules out unvisited open regions, rather than inferring visits merely from membership in the filled compact H-hulls. The choice $\rho =\kappa -8$ does not address the critical value eight.

There is a small closure issue in the printed set: the unit disc is open, so its half-disc is not relatively closed in $\mathbb{H}$. As written, the set is not a compact H-hull. We compute the intended half-plane capacity after taking its relative closure in $\mathbb{H}$.

First remove the closed unit half-disc $K$. Its mapping-out function of a compact H-hull is the Joukowski mapFor $z=iy$ on the remaining portion of the vertical slit, $1<y\le 2$,Thus the image of the remaining slit is $(0,3i/2]$. By the half-plane capacity of a vertical slit, its capacity is $(3/2{)}^2/2=9/8$. The half-plane-capacity composition rule givesAs a direct check, composing with the slit map gives $g_A(z)=\sqrt{(z+z^{-1}{)}^2+9/4}$, with the branch asymptotic to $z$. Its $z^{-1}$ coefficient is $17/8$.

The convention used for planar Gaussian free field theory is the Dirichlet energy space:It is a real Hilbert space with the extended Dirichlet inner product. A conformal map from the unit disc onto $D$ identifies the two energy completions, so local representatives can be understood through the disc's zero-boundary space.

For an arbitrary unbounded domain this is the homogeneous energy completion; it should be distinguished from completion in the inhomogeneous norm $\Vert f{\Vert }_{L^2}+\Vert \nabla f{\Vert }_{L^2}$ used in another standard definition of the zero-boundary Sobolev space. On bounded domains with a Poincare inequality, the two norms are equivalent.

The expression is a Test-function pairing with a Gaussian free field, rather than the pointwise integral of an ordinary random function. For a real test function $\varphi$, take the Dirichlet solutionusing the Green-kernel identity allowed in the original PDF. In particular, $-\Delta f_{\varphi }=2\pi \varphi$. Integration by parts gives, initially for smooth compactly supported $u$ and then by continuity in the Dirichlet energy space,The integral functional is continuous in the energy norm: pull back to the unit disc, where the transformed test function has compact support, and use the Poincare inequality. Hence $f_{\varphi }$ is its energy-space representer. DefineBy the isonormal Gaussian process definition, it has mean zero and varianceThe logarithmic singularity is locally integrable, so this variance is finite for smooth compactly supported test functions. ThusThe local TeX corrupted the double integral and the bracketed Green-kernel identity; the PDF supplies the identity above and does not assert an infinite variance.

The canonical Dirichlet Green function on the unit disc with its pole at zero is $-\log |w|$. Conformal invariance of the planar Green kernel therefore givesComparing with $G_D(z,y)=-\log |z-y|-G_z(y)$ yieldsThis also explains the boundary data: when $|w|=1$, the correction is $-\log |\varphi (w)-z|$. The composition with ${\varphi }^{-1}$ is harmonic by conformal invariance of harmonicity. Its apparent singularity at $z$ is removable because the quotient defining $\psi$ extends to ${\varphi }^{\prime }(0)$.

Evaluating there proves the regular part of the planar Dirichlet Green function formulaOn an unbounded domain, boundary values alone need not specify a unique harmonic function. Here $G_z$ is the correction belonging to the canonical Dirichlet Green kernel, which fixes that ambiguity.

The uniformization theorem states that every simply connected Riemann surface is biholomorphic to exactly one of the Riemann sphere $\hat{\mathbb{C}}$, the complex plane $\mathbb{C}$, or the unit disc $\mathbb{D}$. A surface is uniformized by one of these when that surface is its universal cover. The only surface uniformized by $\hat{\mathbb{C}}$ is the sphere itself, because every nonidentity Möbius transformation has a fixed point and therefore cannot act as a deck transformation. The Riemann surfaces uniformized by the complex plane are

Let $U\subseteq \mathbb{C}$ have a complement containing at least two points. Its universal cover cannot be the sphere because $U$ is noncompact. If it were the plane, the covering map $\mathbb{C}\to U\hookrightarrow \mathbb{C}$ would be a nonconstant entire function omitting two values, contrary to the Little Picard theorem. The plane domain with two omitted points is hyperbolic, so

Now put $S=R\setminus \{P_1,\dots ,P_n\}$. The spherical possibility occurs only for $(g,n)=(0,0)$. By the preceding list, the plane-uniformized possibilities arewhich give respectively $2g-2+n=-1,0,0$. Every remaining pair has $2g-2+n>0$ and must have disc universal cover. Thus the uniformization of a punctured compact Riemann surface gives

For the complex torus $X=\mathbb{C}/\Lambda$, any analytic map $f:\mathbb{C}\to X$ lifts through the universal covering map to an entire function $F:\mathbb{C}\to \mathbb{C}$. If $F$ is constant, so is $f$. Otherwise Little Picard says that $F$ omits at most one complex number. For every $x\in X$, its lifts form an infinite coset $z+\Lambda$, so at least one lift is attained by $F$. Hence the holomorphic map from the complex plane to a one-dimensional complex torus satisfies

Finally, $\mathbb{C}$ and $\mathbb{D}$ are homeomorphic byThey are not conformally equivalent: a biholomorphism $\mathbb{C}\to \mathbb{D}$ would be a nonconstant bounded entire function, contradicting the Liouville theorem. This proves the claimed example of complex plane and unit disc are homeomorphic but not conformally equivalent.

Let $v_1,v_2\ne 0$ be tangent vectors to the two smooth curves at $p$. complex differentiability at a point givesWhen $f^{\prime }(p)\ne 0$, its real derivative is multiplication by a nonzero complex number, which is a rotation followed by a positive scaling. It therefore preserves the angle between $v_1$ and $v_2$, so $f$ is conformal at $p$. The condition is essential: $f(z)=z^2$ has $f^{\prime }(0)=0$ and sends rays making angle $\pi /4$ at zero to rays making angle $\pi /2$.

For $J(z)=z+z^{-1}$,If $z,w$ both satisfy $|z|>1$, or both satisfy $0<|z|<1$, the alternative $zw=1$ is impossible unless the points lie on the omitted unit circle. Hence $J$ is one-to-one on each region. Also $J^{\prime }(z)=1-z^{-2}$ has no zero there, so the restrictions are conformal. Solving $z^2-wz+1=0$ shows that $w\in [-2,2]$ exactly when both roots lie on the unit circle; otherwise one root is inside and the other outside. Thus each region has image

Taking the reciprocal of the interior restriction and filling its removable value at zero givesThe reciprocal sends $\mathbb{C}\setminus [-2,2]$ ontoand $g(0)=0$. Therefore $g$ is the required one-to-one conformal map from the unit disc.

The Möbius transformationmaps the unit disc conformally onto the upper half-plane. On the upper semicircle of its boundary, $w$ approaches the positive real axis; on the lower semicircle it approaches the negative real axis. If $0<\arg w<\pi$, the harmonic functionhas the required boundary limits.

For $z=x+iy$,Since the imaginary part is positive inside the disc,Therefore the solution of the Dirichlet problem isThe exceptional boundary endpoints are precisely the jump points of the prescribed data.

The uniformization theorem says that every simply connected Riemann surface is conformally equivalent to exactly one of the Riemann sphere, the complex plane, and the unit disc. A proper simply connected plane domain is noncompact, so it is not the sphere. It cannot be uniformized by the plane: after choosing a point outside the domain, a branch of a square root and then a Möbius transformation would produce a nonconstant bounded entire function, contradicting the Liouville theorem. It is therefore conformally equivalent to the disc, which is the Riemann mapping theorem.

Every nonempty simply connected proper open subset of the complex plane is conformally equivalent to the unit disc.

Let $R$ be a compact Riemann surface of genus $g$, and remove $n$ distinct points. The punctured surface is uniformized by the unit disc exactly when $2g-2+n>0$. It is uniformized by the complex plane exactly when $2g-2+n$ is $-1$ or $0$, corresponding respectively to $\mathbb{C}$, and to ${\mathbb{C}}^{\ast }$ or a complex torus. The sole spherical case is $g=n=0$.