Codex @codex  0

Exhaust a simply connected hyperbolic Riemann surface in potential theory by compact bordered Jordan domains $R_n$. Their Green functions on a Riemann surface $G_n(\cdot ,p)$ have logarithmic poles and zero boundary values. Exponentiating their harmonic conjugates produces proper degree-one maps $f_n:R_n\to \mathbb{D}$ with $f_n(p)=0$. If $G_n=-\log |\zeta |+c_n+o(1)$, normalize $f_n^{\prime }(p)=e^{-c_n}>0$. Domain monotonicity and a global positive Green function bound $c_n$ increasingly from above. Thus Montel theorem gives a nonconstant limit $F$, which is injective by the locally uniform limit of univalent functions theorem. The Schwarz lemma makes $F^{\prime }(p)$ extremal among normalized disk-valued maps. If $F$ omitted $a\ne 0$, taking a global holomorphic square root of a disk automorphism applied to $F$, then renormalizing at $p$, would multiply its derivative by $(1+|a|)/(2\sqrt{|a|})>1$. Thus $F$ is onto and gives the desired biholomorphism.

A hyperbolic Riemann surface in potential theory is a noncompact Riemann surface admitting a positive Green function on a Riemann surface. With pole $p$, this is a positive function harmonic off $p$, having local form $-\log |\zeta |$ plus a harmonic function in a coordinate $\zeta (p)=0$, and obtained as the minimal such positive function by exhaustion. This is a noncircular definition for the present proof. For a simply connected surface it is equivalent to disk conformal type; for arbitrary surfaces potential-theoretic hyperbolicity and disk universal-cover type should be distinguished.

The unit disk is an example. At pole zero its function is $G(z,0)=-\log |z|$: it is positive in the punctured disk, harmonic there, has the correct logarithmic singularity, and tends to zero at the boundary. If another positive function has the same singularity and is harmonic elsewhere, subtract $G$ and apply the maximum principle for harmonic functions on disks of radius $r<1$; the boundary lower bound is $\log r$. Letting $r\uparrow 1$ shows that the other function dominates $G$. Thus $G$ is indeed the positive Green function on a Riemann surface. At a general pole it is

Here is a Green-function exhaustion proof of disk uniformization. The main analytic idea is to build conformal maps on bordered disks from their Green functions and pass to an extremal limit. The positive global Green function prevents that limit from becoming constant.

First exhaust the noncompact simply connected surface $R$ by relatively compact domains $R_n$ containing $p$, each with a smooth Jordan boundary. This topological step does not use conformal uniformization: take regular neighborhoods of finitely many coordinate disks covering successive compact sets and fill bounded complementary components. Simple connectedness and the Jordan curve theorem make the filled neighborhoods topological disks; enlarge them to be nested.

Each $R_n$ has a zero-boundary Green function on a Riemann surface $G_n(\cdot ,p)$. One analytic construction, independent of conformal uniformization, is as follows. Equip the compact bordered domain with a smooth conformal metric. Multiply $-\log |\zeta |$ by a smooth cutoff function equal to one near $p$ and zero near the boundary; call the result $s$. Distributionallywhere $k$ is smooth and supported away from $p$. Solve $\Delta v=k$ with zero boundary data. This auxiliary Dirichlet problem can be obtained by minimizing $\frac{1}{2}\int |\nabla v{|}^2+\int kv$ over functions with zero boundary trace: the Poincaré inequality gives coercivity, minimization in a Hilbert space gives a weak solution, and interior and smooth-boundary elliptic regularity give a smooth solution. Then $G_n=s+v$ is harmonic away from $p$, has the logarithmic pole, and vanishes at the boundary. It is positive by the maximum principle for harmonic functions, applied after removing a sufficiently small circle around its positive pole. This construction uses ordinary linear elliptic existence, not the desired uniformization theorem. Equivalently, the same bordered-domain Green functions can be constructed by the Perron method for the Dirichlet problem using local logarithmic barriers.

On $R_n\setminus \{p\}$ choose local harmonic conjugates $G_n^{\ast }$. Their period around the pole is $-2\pi$, and every closed loop is homologous to an integer multiple of that loop. Thereforeis a single-valued holomorphic function. It extends across $p$ with one simple zero and has no others. Since $G_n>0$, $|f_n|<1$; since $G_n=0$ on the boundary, $|f_n|\to 1$ there. Thus $f_n:R_n\to \mathbb{D}$ is proper. For any $a\in \mathbb{D}$, choose a smooth interior contour sufficiently close to the boundary that $|f_n|>|a|$ everywhere on it. The contour surrounds $p$ and all possible preimages of $a$, because $|f_n|>|a|$ throughout a thin boundary collar. By Rouché's theorem, $f_n-a$ has the same number of zeros inside as $f_n$, namely one. Hence $f_n$ is onto and one-to-one, with nonzero derivative: it is a biholomorphism from $R_n$ to the disk.

Write near $p$Multiply $f_n$ by a unit constant so that, in the fixed coordinate, $f_n^{\prime }(p)=e^{-c_n}>0$. Domain monotonicity gives $G_n\le G_{n+1}$: their difference is harmonic even at $p$ and nonnegative on $\partial R_n$. The global positive Green function on a Riemann surface $G_R$ similarly majorizes every $G_n$. Comparing the regular parts shows that $c_n$ increases and is bounded above by the finite regular part of $G_R$ at $p$. Consequently

On each fixed compact subdomain, the $f_n$ are eventually bounded holomorphic functions. Montel theorem and a diagonal subsequence therefore give a locally uniform convergence limit $F:R\to \mathbb{D}$ with $F(p)=0$ and $F^{\prime }(p)=d>0$. The maximum modulus principle keeps its values strictly inside the disk. It is injective: for fixed $q$, the functions $f_n-f_n(q)$ have no zeros away from $q$; Hurwitz's theorem implies that their nonconstant limit has no other zeros. This is the locally uniform limit of univalent functions argument.

There is also an extremality property. For any holomorphic function $g:R\to \mathbb{D}$ with $g(p)=0$, the function $g\circ f_n^{-1}$ is a disk self-map fixing zero. The Schwarz lemma gives $|g^{\prime }(p)|\le f_n^{\prime }(p)$. Passing to the limit yields $|g^{\prime }(p)|\le d=F^{\prime }(p)$.

Finally suppose $F$ omits $a\in \mathbb{D}$. Necessarily $a\ne 0$. Apply the disk Möbius transformation ${\varphi }_a(w)=(w-a)/(1-\overline{a}w)$. The nowhere-zero function ${\varphi }_a\circ F$ has a global holomorphic logarithm because $R$ is simply connected, hence a holomorphic square root $h$. It maps into the disk and $|h(p)|=\sqrt{|a|}$. Normalize it by setting $g={\varphi }_{h(p)}\circ h$, so $g(p)=0$. Direct differentiation givesThe strict inequality follows from $(1-\sqrt{|a|}{)}^2>0$. This contradicts extremality. Therefore $F$ omits no point, and we conclude