\betagin{document}

\tildetle{Boundary behaviour of some conformal invariants on planar domains}

\author{Amar Deep Sarkar and Kaushal Verma}

\address{ADS: Department of Mathematics, Indian Institute of Science, Bangalore 560012, India}
\email{amarsarkar@iisc.ac.in}

\address{KV: Department of Mathematics, Indian Institute of Science, Bangalore 560 012, India}
\email{kverma@iisc.ac.in}

\keywords{Higher order curvature, Carath\'{e}odory metric, Aumann-Carath\'{e}odory constant, Hurwitz metric, quadratic differential}

\subjclass{32F45, 32A07, 32A25}

\betagin{abstract}
The purpose of this note is to use the scaling principle to study the boundary behaviour of some conformal invariants on planar domains. The focus is on the Aumann--Carath\'{e}odory rigidity constant, the higher order curvatures of the Carath\'{e}odory metric and two conformal metrics that have been recently defined.
\end{abstract}

\title{Boundary behaviour of some conformal invariants on planar domains}

\section{Introduction}

The scaling principle in several complex variables provides a unified paradigm to address a broad array of questions ranging from the boundary behaviour of biholomorphic invariants to the classification of domains with non-compact automorphism group. In brief, the idea is to blow up a small neighbourhood of a smooth boundary point, say $p$ of a given domain $D \subset \mathbb C^n$ by a family of non-isotropic dilations to obtain a limit domain which is usually easier to deal with. The choice of the dilations is dictated by the Levi geometry of the boundary near $p$ and the interesting point here is that the limit domain is not necessarily unique. For planar domains, this method is particularly simple and the limit domain always turns out to be a half space if $p$ is a smooth boundary point. 

The purpose of this note is to use the scaling principle to understand the boundary behaviour of some conformal invariants associated to a planar domain. We will focus on the Aumann--Carath\'{e}odory rigidity constant \cite{MainAumannCaratheodory}, the higher order curvatures of the Carath\'{e}odory metric \cite{BurbeaPaper}, a conformal metric arising from holomorphic quadratic differentials \cite{SugawaMetric} and finally, the Hurwitz metric \cite{TheHurwitzMetric}. These analytic objects have nothing to do with one another, except of course that they are all conformal invariants, and it is precisely this disparity that makes them particularly useful to emphasize the broad utility of the scaling principle as a technique even on planar domains.

While each of these invariants requires a different set of conditions on $D$ to be defined in general, we will assume that $D \subset \mathbb C$ is bounded -- all the invariants are well defined in this case and so is $\lambdambda_D(z) \vert dz \vert$, the hyperbolic metric on $D$. Assuming this will not entail any great loss of generality but will instead assist in conveying the spirit of what is intended with a certain degree of uniformity. Any additional hypotheses on $D$ that are required will be explicitly mentioned. Let $\psi$ be a $C^2$-smooth local defining function for $\partialrtial D$ near $p \in \partialrtial D$ and let $ \lambdambda_D(z) \vert dz \vert $ denotes the hyperbolic metric on $ D $. In what follows, $\mathbb D \subset \mathbb C$ will denote the unit disc. The question is to determine the asymptotic behaviour of these invariants near $p$. Each of the subsequent paragraphs contain a brief description of these invariants followed by the corresponding results and the proofs will follow in subsequent sections after a description of the scaling principle for planar domains.

\subsection{\textit{Higher order curvatures of the Carath\'{e}odory metric}:} Suita \cite{SuitaI} showed that the density $c_D(z)$ of the Carath\'{e}odory metric is real analytic and that its curvature
\[
\kappa(z) = - c_D^{-2}(z) \mathbb{D}eltalta \log c_D(z) 
\]
is at most $-4$ for all $z \in D$. In higher dimensions, this metric is not smooth in general. 

For $j, k \gammae 0$, let $\partialrtial^{j \overlineerline k} c_D$ denote the partial derivatives $\partialrtial^{j+k} c_D/\partialrtial z_j \partialrtial \overlineerline z_k$. Write $((a_{jk}))_{j, k \gammae 0}^n$ for the $(n+1) \tildemes (n+1)$ matrix whose $(j, k)$-th entry is $a_{jk}$. For $n \gammae 1$, Burbea \cite{BurbeaPaper} defined the $n$-th order curvature of the Carath\'{e}odory metric $c_D(z) \vert dz \vert$ by
\[
\kappa_n(z: D) = -4c_D(z)^{-(n+1)^2} J^D_n(z)
\]
where $J^D_n(z) = \deltat ((\partialrtial^{j \overlineerline k} c_D))_{j, k \gammae 0}^n$. Note that
\[
\kappa(z) = \kappa_1(z : D)
\]
which can be seen by expanding $J_1(z)$. Furthermore, if $f : D \rightarrow D'$ is a conformal equivalence between planar domains $D, D'$, then the equality
\[
c_D(z) = c_{D'}(f(z)) \vert f'(z) \vert
\]
upon repeated differentiation shows that the mixed partials of $c_D(z)$ can be expressed as a combination of the mixed partials of $c_{D'}(f(z))$ where the coefficients are rational functions of the derivatives of $f$ -- the denominators of these rational functions only involve $f'(z)$ which is non-vanishing in $D$. By using elementary row and column operations, it follows that
\[
J^D_n(z) = J^{D'}_n(f(z)) \vert f'(z) \vert^{n+1}
\]
and this implies that $\kappa_n(z: D)$ is a conformal invariant for every 
$n \gammae 1$. If $D$ is equivalent to $\mathbb D$, a calculation shows that
\[
\kappa_n(z: D) = -4 \left( \prod_{k=1}^n k ! \right)^2
\]
for each $z \in D$. For a smoothly bounded (and hence of finite connectivity) $D$, Burbea \cite{BurbeaPaper} showed, among other things, that
\[
\kappa_n(z: D) \le -4 \left( \prod_{k=1}^n k ! \right)^2
\]
for each $z \in D$. This can be strengthened as follows:

\betagin{thm}\lambdabel{T:HigherCurvature}
	Let $D \subset \mathbb C$ be a smoothly bounded domain. For every $p \in \partialrtial D$
	\[
	\kappa_n(z: D) \rightarrow -4 \left( \prod_{k=1}^n k ! \right)^2
	\]
	as $z \rightarrow p$.
\end{thm}

\subsection{\textit{The Aumann--Carath\'{e}odory rigidity constant}:} Recall that the Carath\'{e}odory metric $c_D(z) \vert dz \vert$ is defined by
\[
c_D(z) = \sup \left\{ \vert f'(z) \vert : f : D \rightarrow \mathbb D \; \text{holomorphic and} \; f(z) = 0 \right\}.
\]
Let $D$ be non-simply connected and fix $a \in D$. Aumann--Carath\'{e}odory \cite{MainAumannCaratheodory} showed that there is a constant $\Omegaega(D, a)$, $0\le \Omegaega(D, a) < 1$, such that if $f$ is any holomorphic self-mapping of $D$ fixing $a$ and $f$ is 
{\it not} an automorphism of $D$, then $\vert f'(a) \vert \le \Omegaega(D, a)$. For an annulus $\mathcal A$, this constant was explicitly computed by Minda \cite{AumannCaratheodoryRigidityConstant} and a key ingredient was to realize that
\[
\Omegaega(\mathcal A, a) = c_{\mathcal A}(a)/\lambdambda_{\mathcal A}(a).
\]
The explicit formula for $\Omegaega(\mathcal A, a)$ also showed that 
$\Omegaega(\mathcal A, a) \rightarrow 1$ as $a \rightarrow \partialrtial \mathcal A$. For non-simply connected domains $D$ with higher connectivity, \cite{AumannCaratheodoryRigidityConstant} also shows that
\[
c_{D}(a)/\lambdambda_{D}(a) \le \Omegaega(D, a) < 1.
\]
Continuing this line of thought further, Minda in \cite{HyperbolicMetricCoveringAumannCaratheodoryConstant} considers a pair of bounded domains $D, D'$ with base points $a \in D, b \in D'$ and the associated ratio
\[
\Omegaega(a, b) = \sup \{ \left(f^{\ast}(\lambdambda_{D'})/\lambdambda_D\right)(a): f \in \mathcal N(D, D'), f(a) = b \}
\]
where $\mathcal N(D, D')$ is the class of holomorphic maps $f : D \rightarrow D'$ that are {\it not} coverings. Note that
\[
\left(f^{\ast}(\lambdambda_{D'})/\lambdambda_D\right)(a) = \left( \lambdambda_{D'}(b) \;\vert f'(a) \vert \right) / \lambdambda_D(a).
\]
Among other things, Theorems 6  and 7 of \cite{HyperbolicMetricCoveringAumannCaratheodoryConstant} respectively show that 
\[
c_D(a)/\lambdambda_D(a) \le \Omegaega(a, b) < 1
\]
and 
\[
\limsup_{a \rightarrow \partialrtial D} \Omegaega(a, b) = 1.
\]
Note that the first result shows that the lower bound for $\Omegaega(a, b)$ is independent of $b$ while the second one, which requires $\partialrtial D$ to satisfy an additional geometric condition, is a statement about the boundary behaviour of 
$\Omegaega(a, b)$.  Here is a result that supplements these statements and emphasizes their local nature:

\betagin{thm}\lambdabel{T:AumannCaratheodoryConstant}
	Let $D, D' \subset \mathbb C$ be a bounded domains and $p \in \partialrtial D$ a $C^2$-smooth boundary point. Then $\Omegaega(D, z) \rightarrow 1$ as $z \rightarrow p$. Furthermore, for every fixed $w \in D'$,  $\Omegaega(z, w) \rightarrow 1$ as $z \rightarrow p$.
\end{thm} 

\subsection{\textit{Holomorphic quadratic differentials and a conformal metric}:} We begin by recalling a construction due to Sugawa \cite{SugawaMetric}. Let $R$ be a Riemann surface and $\phi$ a holomorphic $(m, n)$ form on it. In local coordinates $(U_{\alphapha}, z_{\alphapha})$, $\phi = \phi_{\alphapha}(z_{\alpha}) dz^2_{\alpha}$ where  $\phi_{\alphapha} : U_{\alphapha} \rightarrow \mathbb C$ is a family of holomorphic functions satisfying
\[
\phi_{\alphapha}(z_{\alphapha}) = \phi_{\betata} (z_{\betata}) \left(\frac{d z_{\betata}}{d z_{\alphapha}}\right)^m \left(\frac{d \overlineerline z_{\betata}}{d \overlineerline z_{\alphapha}}\right)^n
\]
on the intersection $U_{\alphapha} \cap U_{\betata}$. For holomorphic $(2,0)$ forms, this reduces to
\[
\phi_{\alphapha}(z_{\alphapha}) = \phi_{\betata} (z_{\betata}) \left(\frac{d z_{\betata}}{d z_{\alphapha}}\right)^2
\]
and this in turn implies that
\[
\Vert \phi \Vert_1 = \int_R \vert \phi \vert 
\]
is well defined. Consider the space
\[
A(R) = \left\lbrace \phi = \phi(z) \;dz^2 \; \text{a holomorphic}\; (2,0)\; \text{form on}\; R \; \text{with} \; \Vert \phi \Vert_1 < \infty \right \rbrace 
\]
of integrable holomorphic $(2,0)$ forms on $R$. Fix $z \in R$ and for each local coordinate $(U_{\alpha}, \phi_{\alpha})$ containing it, let
\[
q_{R, \alpha}(z) = \sup \left\lbrace \vert \phi_{\alpha}(z) \vert^{1/2} : \phi \in A(R) \; \text{with} \; \Vert \phi \Vert_1 \le \pi \right\rbrace.
\]
Theorem 2.1 of \cite{SugawaMetric} shows that if $R$ is non-exceptional, then for each $z_0 \in U_{\alpha}$ there is a unique extremal differential $\phi \in A(R)$ ($\phi = \phi_{\alpha}(z_{\alpha}) dz^2_{\alpha}$ in $U_{\alpha}$) with $\Vert \phi \Vert_1 = \pi$ such that
\[
q_{R, \alpha}(z_0) = \vert \phi_{\alpha}(z_0) \vert^{1/2}.
\]
If $(U_{\betata}, \phi_{\betata})$ is another coordinate system around $z$, then the corresponding extremal differential $\phi_{\betata}$ is related to $\phi_{\alphapha}$ as
\[
\overlineerline{w'(z_0)} \;\phi_{\betata} = w'(z_0) \; \phi_{\alphapha}
\]
where $w = \phi_{\betata} \circ \phi_{\alpha}^{-1}$. Hence $\vert \phi_{\alpha} \vert$ is intrinsically defined and this leads to the conformal metric $q_R(z) \vert dz \vert$ with $q_R(z) = q_{\alpha}(z)$ for some (and hence every) chart $U_{\alpha}$ containing $z$.

It is also shown in \cite{SugawaMetric} that the density $q_R(z)$ is continuous, $\log q_R$ is subharmonic (or identically $-\infty$ on $R$) and $q_{\mathbb D}(z) = 1/(1 - \vert z \vert^2)$ -- therefore, this reduces to the hyperbolic metric on the unit disc. In addition, \cite{SugawaMetric} provides an estimate for this metric on an annulus. We will focus on the case of bounded domains.

\betagin{thm}\lambdabel{T:SugawaMetric}
Let $D \subset \mathbb C$ be a bounded domain and $p \in \partialrtial D$ a $C^2$-smooth boundary point. Then
\[
q_D(z) \approx 1/{\rm dist} (z, \partialrtial D)
\]
for $z$ close to $p$.
\end{thm}
Here and in what follows, we use the standard convention that $A \approx B$ means that there is a constant $C > 1$ such that $A/B, B/A$ are both bounded 
above by $C$. In particular, this statement shows that the metric 
$q_D(z) \vert dz \vert$ is comparable to the quasi-hyperbolic metric near $C^2$-smooth points. Thus, if $D$ is globally $C^2$-smooth, then $q_D(z) \vert dz \vert$ is comparable to the quasi-hyperbolic metric everywhere on $D$.

\subsection{\textit{The Hurwitz metric}:}
The other conformal metric that we will discuss here is the Hurwitz metric that has been recently defined by Minda \cite{TheHurwitzMetric}. We begin by recalling its construction which is reminiscent of that for the Kobayashi metric but differs from it in the choice of holomorphic maps which are considered: for a domain $D \subset \mathbb C$ and $a \in D$, let $\mathcal{O}(a, D)$ be the collection of all holomorphic maps $f : \mathbb{D} \rightarrow D$ such that $f(0) = a$ and $f'(0) > 0$. Let $\mathcal{O}^{\ast}(a, D) \subset \mathcal{O}(a, D)$ be the subset of all those $f \in \mathcal{O}(a, D)$ such that $f(z) \not= a$ for all $z$ in the punctured disc $\mathbb{D}^{\ast}$. Set
\[
r_D(a) = \sup \left\lbrace f'(0) : f \in \mathcal{O}^{\ast}(a, D) \right\rbrace.
\]
The Hurwitz metric on $D$ is $\eta_D(z) \vert dz \vert$ where
\[
\eta_D(a) = 1/r_D(a).
\]
Of the several basic properties of this conformal metric that were explored in \cite{TheHurwitzMetric}, we recall the following two: first, for a given $a \in D$, let $\gammaammamma \subset D^{\ast} = D\setminus \{a\}$ be a small positively oriented loop that goes around $a$ once. This loop generates an infinite cyclic subgroup of
$\pi_1(D^{\ast})$ to which there is an associated holomorphic covering $G : \mathbb{D}^{\ast} \rightarrow D^{\ast}$. This map $G$ extends holomorphically to $G : \mathbb{D} \rightarrow D$ with $G(0) = a$ and $G'(0) \not= 0$. This covering depends only on the free homotopy class of $\gammaammamma$ and is unique up to precomposition of a rotation around the origin. Hence, it is possible to arrange $G'(0) > 0$. Minda calls this the Hurwitz covering associated with $a \in D$. Using this it follows that every $f \in  \mathcal{O}^{\ast}(a, D)$ lifts to $\tildelde f : \mathbb{D}^{\ast} \rightarrow \mathbb{D}^{\ast}$. This map extends to a self map of $\mathbb{D}$ and the Schwarz lemma shows that $\vert f'(0) \vert \le G'(0)$. The conclusion is that the extremals for this metric can be described in terms of the Hurwitz coverings. 

\betagin{thm}\lambdabel{T:TheHurwitzMetric}
Let $D \subset \mathbb{C}$ be bounded. Then $\eta_D(z)$ is continuous. Furthermore, if $p \in \partialrtial D$ is a $C^2$-smooth boundary point, then
\[
\eta_D(z) \approx 1/{\rm dist} (z, \partialrtial D)
\]
for $z$ close to $p$.
\end{thm}

A consequence of Theorem 1.3 and 1.4 is that both $q_D(z) \vert dz \vert$ and $\eta_D(z) \vert dz \vert$ are equivalent metrics near smooth boundary points.

Finally, in section~7, we provide some estimates for the generalized curvatures of $ q_D(z) \vert dz \vert $ and $ \eta_D(z)\vert dz \vert $.

\section{Scaling of planar domains}
\noindent
The scaling principle for planar domains has been described in detail in \cite{ScalingInHigherDimensionKrantzKimGreen}. A simplified version which suffices for the applications presented later can be described as follows:

 
\\
Let $ D $ be a domain in $ \mathbb{C} $ and $ p \in \partialrtial D $ a $ C^2 $-smooth boundary point. This means that there is a neighborhood $ U $ of $ p $ and a $ C^2 $-smooth real function $ \psi $ such that  
\[
U \cap D = \{\psi < 0\}, \quad U \cap \partialrtial D = \{\psi = 0\} 
\]  
and 
\[
d \psi \neq 0 \quad \text{on} \quad U \cap \partialrtial D.
\]
Let $ p_j $ be a sequence of points in $ D $ converging to $ p $. Suppose $ \tau(z)\vert dz \vert $ is a conformal metric on $ D $ whose behaviour near $ p $ is to be studied. The affine maps 

\betagin{equation}\lambdabel{Eq:ScalingMap}
T_j(z) = \frac{z - p_j}{-\psi(p_j)}
\end{equation}
satisfy $ T_j(p_j) = 0 $ for all $ j $ and since $ \psi(p_j) \to 0$, it follows that the $ T_j $'s expand a fixed neighborhood of $ p $. To make this precise write
\[
\psi(z) = \psi(p) + 2Re\left( \frac{\partialrtial \psi}{\partialrtial z}(p)(z - p)\right)  +  o(\vert z - p\vert)
\] 
in a neighborhood of $ p $. Let $ K $ be a compact set in $ \mathbb{C} $. Since $ \psi(p_j) \to 0 $, it follows that $ T_j(U) $ is an increasing family of open sets that exhaust $ \mathbb{C} $ and hence $ K \subset T_j(U) $ for all large $ j $. The functions, by taking their Taylor series expansion at $ z = p_j $, 
\[
\psi \circ T^{-1}_{j}(z) = \psi \left( p_j + z\left( -\psi(p_j)\right) \right) 
= \psi(p_j) + 2Re\left( \frac{\partialrtial \psi}{\partialrtial z}(p_j)z \right) (-\psi(p_j)) + \psi(p_j)^2 o(1) 
\] 
are therefore well defined on $ K $ and the domains $ D_j' = T_j(U \cap D) $ are defined by 
\[
\psi_j(z) = \frac{1}{-\psi(p_j)}\psi \circ T_j^{-1}(z) = -1 + 2Re\left( \frac{\partialrtial \psi}{\partialrtial z}(p_j)z \right) + (-\psi(p_j))o(1).  
\]
It can be seen that $ \psi_j(z) $ converges to 
\[
\psi_{\infty}(z) = -1 + 2Re\left( \frac{\partialrtial \psi}{\partialrtial z}(p)z \right) 
\]
uniformly on $ K $ as $ j \to \infty $. At this stage, let us recall the Hausdorff metric on subsets of a metric space.

Given a set $ S \subseteq \mathbb{C}^n $, let $ S_{\epsilonsilon} $ denote the $ \epsilonsilon $-neighborhood of $ S $ with respect to the standard Euclidean distance on $ \mathbb{C}^n $. The Hausdorff distance between compact sets $ X, Y \subset \mathbb{C}^n $ is given by 
\[
d_H(X,Y) = \inf\{\epsilonsilon > 0 : X \subset Y_{\epsilonsilon}\,\, \text{and} \,\, Y \subset X_{\epsilonsilon}\}. 
\]
It is known that this is a complete metric space on the space of compact subsets of $ \mathbb{C}^n $. To deal with non-compact but closed sets there is a topology arising from a family of local Hausdorff semi-norms. It is defined as follows: fix an $ R > 0 $ and for a closed set $ A \subset \mathbb{C}^n $, let $ A^R = A \cap \overlineerline B(0, R)$ where $ B(0, R) $ is the ball centred at the origin with radius $ R $. Then, for $ A, B \subset \mathbb{C}^n$, set
\[
d_H^{(R)}(A, B) = d_H\left(A^R, B^R\right).
\]
We will say that a sequence of closed sets $ A_n $ converges to a closed set $ A $ if there exists $ R_0 $ such that 
\[
\lim_{n \to \infty}d_H\left(A_n^R, A^R\right) = 0
\]
for all $ R \gammaeq R_0 $. Since $ \psi_j \to \psi_{\infty} $ uniformly on every compact subset in $ \mathbb{C} $, it follows that the closed sets $ \overlineerline{D_j'} = T_j(\overlineerline{U \cap D})$  converge to  the closure of the half-space 
\[
\mathcal{H} = \{z : -1 +  2Re\left( \frac{\partialrtial \psi}{\partialrtial z}(p)z \right) < 0 \} = \{z: Re(\overlineerline{\omegaega}z-1)<0\}
\]
where $\omegaega = (\partialrtial\psi/\partialrtial x)(p) + i(\partialrtial\psi/\partialrtial y)(p)$, in the Hausdorff sense as described above. As a consequence, every compact $ K \subset \mathcal{H} $ is eventually contained in $ D_j' $. Similarly, every compact $ K \subset \mathbb{C} \setminus \overlineerline{\mathcal{H}} $ eventually has no intersection with $ \overlineerline{D_j'} $. 

It can be seen that the same property holds for the domains $ D_j = T_j(D) $, i.e, they converge to the half-space $ \mathcal{H} $ in the Hausdorff sense.

Now coming back to the metric $ \tau(z)\vert dz \vert $, the pull-backs
\[
\tau_j(z) \vert dz \vert = \tau_D(T_j^{-1}(z)) \vert (T_j^{-1})^{\prime}(z)\vert \vert dz \vert
\]
are well-defined conformal metrics on $ D_j $ which satisfy 
\[
\tau_j(0) \vert dz \vert = \tau_D(p_j)(-\psi(p_j))\vert dz \vert.
\]
Therefore, to study $ \tau(p_j) $, it is enough to study $ \tau_j(0) $. This is exactly what will be done in the sequel.

\section{Proof of Theorem~\ref{T:HigherCurvature}}

It is known (see \cite[section~19.3]{InvariantMetricJarnicki} for example) that if $ D \subset \mathbb{C} $ is bounded and $ p \in \partialrtial D $ is a $ C^2 $-smooth boundary point, then 
\[
\lim_{z \to p}\frac{c_{U \cap D}(z)}{c_D(z)} = 1
\]
where $ U $ is a neighborhood of $ p $ such that $ U \cap D $ is simply connected. Here is a version of this statement that we will need:
\betagin{prop}
	Let $ D \subset \mathbb{C} $ be a bounded domain and $ p \in \partialrtial D $ a $ C^2 $-smooth boundary point. Let $ U $ be a neighborhood of $ p $ such that $ U \cap D $ is simply connected. Let $ \psi $ be a defining function of $\partialrtial D $ near the point $ p $. Then 
	\[
	\lim_{z \to p}c_{D}(z)(-\psi(z)) = c_{\mathcal{H}}(0).
	\]
\end{prop}
\betagin{proof}
	Let $ \{p_j\} $ be a sequence in $ D $ which converges to $ p $. Consider the affine map  
	\[
	T_j(z) = \frac{z - p_j}{-\psi(p_j)}
	\]
	whose inverse is given by
	\[
	T_j^{-1}(z) = -\psi(p_j)z + p_j.
	\]
	Let $D_j = T_j(D)$ and $ D'_j = T_j(U \cap D) $. 
	Note that $ \{D_j\} $ and $ D'_j $ converge to the half-space $ \mathcal{H} $ both in the Hausdorff and Carath\'eodory kernel sense. 
	

	
	Let $z \in \mathcal{H}$. Then $z \in D'_j$ for $j $ large.  Since $D'_j$ is a simply connected, there is a biholomorphic map $f_j : \mathbb{D} \longrightarrow D'_j$ with $f_j(0) = z$ and $f_j^{\prime}(0) > 0$. The domain $  D'_j $ converges to the half-space $ \mathcal{H} $ and therefore the Carath\'eodory kernel convergence theorem (see \cite{CaratheodoryKernelConvergence} for example), shows that $f_j$ admits a holomorphic limit $f : \mathbb{D} \longrightarrow \mathcal{H}$ which is a biholomorphism. Note that $f(0) = z$ and $f'(0) > 0$. We know that in the case of  simply connected domains, the Carath\'eodory and hyperbolic metric coincide and so 
	\[
	c_{D'_j}(z) = \lambdambda_{D'_j}(z) 
	\]
	for all large $ j $ and hence
	\[
	c_{\mathcal{H}}(z) = \lambdambda_{\mathcal{H}}(z).
	\]
	It is known that 
	\[
	\lambdambda_{D'_j}(z) = \frac{1}{f_j^{\prime}(0)} \,\, \mbox{and} \,\, \lambdambda_{\mathcal{H}}(z) = \frac{1}{f^{\prime}(0)}.
	\]
	From this we conclude that $c_{D'_j}(z)$ converges to $c_{\mathcal{H}}(z)$ as $j \to \infty$.
	

	
	Under the biholomorphism $ T_j^{-1} $, the pull back metric
	\[
	(T_j^{-1})^*(c_{U \cap D})(z) = c_{D'_j}(z)
	\]
	for all $ z \in D_j$. That is
	\[
	c_{U \cap D}(T_j^{-1}(z))\vert (T_j^{-1})^{\prime}(z)\vert  = c_{D'_j}(z).
	\]
	Putting $ z = 0 $, we obtain
	\[
	c_{U \cap D}(p_j)(-\psi(p_j)) = c_{D'_j}(0).
	\]
	As we have seen above $ c_{D'_j}(z) $ converges to $ c_{\mathcal{H}}(z) $, for all $ z \in \mathcal{H} $, as $ j \to \infty $. Therefore, $ c_{U \cap D}(p_j)(-\psi(p_j)) $, which is equal to $ c_{D_j}(0) $,  converges to $ c_{\mathcal{H}}(0) $ as $ j \to \infty $. Since $ \{p_j\} $ is an arbitrary sequence, we conclude that
	\[
	\lim_{z \to p}c_{U \cap D}(z)(-\psi(z)) = c_{\mathcal{H}}(0).
	\]
	Since
	\[
	\lim_{z \to p}\frac{c_{U \cap D}(z)}{c_D(z)} = 1,
	\]
	we get
	\[
	\lim_{z \to p}c_{D}(z)(-\psi(z)) = c_{\mathcal{H}}(0).
	\]
\end{proof}  

The Ahlfors map, the Szeg\"o kernel and the Garabedian kernel of the half space 
 
\[
\mathcal{H} = \{z : Re(\bar \omegaega z - 1) < 0\} 
\]
at $ a \in \mathcal{H} $

are given by
\[
f_{\mathcal{H}}(z, a) = \vert \omegaega \vert\frac{z - a}{2 - \omegaega \bar a - \bar \omegaega z},
\]
\[
S_{\mathcal{H}}(z, a) = \frac{1}{2 \pi}\frac{\vert \omegaega \vert}{2 - \omegaega \bar a - \bar \omegaega z}
\]
and
\[
L_{\mathcal{H}}(z, a) = \frac{1}{2 \pi}\frac{1}{z - a}
\]
respectively.

Let $ D $ be a $ C^{\infty} $-smooth bounded domain. Choose $ p \in \partialrtial D $ and a sequence $ p_j $ in $ D $ that converges to $ p $. The sequence of scaled domains $ D_j = T_j(D) $, where $ T_j $ are as in \ref{Eq:ScalingMap}, converges to the half-space $ \mathcal{H} $ as before.

Fix $ a \in \mathcal{H} $ and note that $ a \in D_j $ for $ j $ large. Note that $ 0 \in D_j $ for $ j \gammaeq 1 $. Let $ f_j(z, a) $ be the Ahlfors map such that $ f_j(a, a) = 0 $, $ f_j^{\prime}(a, a) > 0 $ and suppose that $ S_j(z, a) $ and $ L_j(z, a) $ are the Szeg\"o and Garabedian kernels for $ D_j $ respectively.
\betagin{prop}\lambdabel{Prop:ConvergenceAhlforsSzegoGarabeidian}
	In this situation, the sequence of Ahlfors maps $ f_j(z, a) $ converges to $ f_{\mathcal{H}}(z, a) $ uniformly on compact subsets of $ \mathcal{H} $. The Szeg\H{o} kernels $ S_j(z, a) $ converge to $ S_{\mathcal{H}}(z, a) $ uniformly on compact subsets of $ \mathcal{H} $. Moreover, $ S_j(z, w) $ converges to the  $ S_{\mathcal{H}}(z, w) $ uniformly on every compact subset of $ \mathcal{H} \tildemes \mathcal{H} $. Finally, the Garabedian kernels $ L_j(z, a) $ converges to $ L_{\mathcal{H}}(z, a) $ uniformly on compact subsets of $ \mathcal{H} \setminus \{a\} $.
\end{prop}
\betagin{proof}
	In the proof of the previous proposition we have seen that $ c_{D_j}(a) $ converges $ c_{\mathcal{H}}(a) $ as $ j \to \infty $. By definition $f_j^{\prime}(a, a) = c_{D_j}(a)$ and $ f_{\mathcal{H}}^{\prime}(a, a) = c_{\mathcal{H}}(a) $. Therefore,  $f_j^{\prime}(a, a)$ converges to $f_{\mathcal{H}}^{\prime}(a, a)$ as $ j \to \infty $.
	

	
	Now, we shall show that $ f_j(z, a) $ converges to $f_{\mathcal{H}}(z, a)$ uniformly on compact subsets of $\mathcal{H}$. Since the sequence of the Ahlfors maps $\{f_j(z, a)\}$ forms a normal family of holomorphic functions and $ f_j(a, a) = 0 $, there exists a subsequence $\{f_{k_j}(z, a)\}$ of $\{f_j(z, a)\}$ that converges to a holomorphic function $f$ uniformly on every compact subset of the half-space $\mathcal{H}$. Then $f(a) = 0$ and, as $f_j^{\prime}(a)$ converges to $f_{\mathcal{H}}^{\prime}(a, a)$, so we have $f^{\prime}(a) = f_{\mathcal{H}}^{\prime}(a, a)$. Thus, we have $f: \mathcal{H} \longrightarrow \mathbb{D}$ such that $f(a) = 0$ and $f^{\prime}(a) = f_{\mathcal{H}}^{\prime}(a, a)$. By the uniqueness of the Ahlfors map, we conclude that $f(z) = f_{\mathcal{H}}(z, a)$ for all $ z \in \mathcal{H} $. Thus, from above, we see that every limiting function of the sequence $\{f_j(z, a)\}$ is equal to $f_{\mathcal{H}}(z, a)$. Hence, we conclude that $\{f_j(z, a)\}$ converges to $f_{\mathcal{H}}(z, a)$ uniformly on every compact subset of $ \mathcal{H} $. 

	  
	
	Next, we shall show that $ S_j(\zetaeta, z) $ converge to $ S_{\mathcal{H}}(\zetaeta, z) $ uniformly on compact subsets of $\mathcal{H} \tildemes \mathcal{H}$. First, we show that $S_j(\zetaeta, z)$ is locally uniformly bounded. Let $z_0, \,\zetaeta_0 \in \mathcal{H}$ and choose $ r_0 > 0 $ such that the closed balls $ \overlineerline{B}(z_0, r_0) $, $ \overlineerline{B}(\zetaeta_0, r_0) \subset \mathcal{H} $. Since $ D_j $ converges to $ \mathcal{H} $, $ \overlineerline{B}(z_0, r_0) $, $ \overlineerline{B}(\zetaeta_0, r_0) \subset D_j $ for $ j $ large. By the monotonicity of the Carath\'eodory metric
	\[
	c_{D_j}(z) \leq \frac{r_0}{r_0^2 - |z|^2}
	\]
	for all $ z \in B(z_0,r_0)$, and 
	\[
	c_{D_j}(\zetaeta) \leq \frac{r_0}{r_0^2 - |\zetaeta|^2}
	\] 
	for all  $ \zetaeta \in  B(\zetaeta_0,r_0) $ and for $j$ large. Therefore, if $ 0 < r < r_0 $ and $ (z, \zetaeta)  \in \overlineerline{B}(z_0, r_0) \tildemes \overlineerline{B}(\zetaeta_0, r_0) $, it follows that
	\[
	c_{D_j}(z) \leq \frac{r_0}{r_0^2 - r^2}
	\]
	and 
	\[
	c_{D_j}(\zetaeta) \leq \frac{r_0}{r_0^2 - r^2}
	\] 
	for $j$ large. Using the fact that $c_{D_j}(z) = 2\piS_j(z,z)$, we have
	\[
	S_j(z, z) \leq \frac{1}{2 \pi} \frac{r_0}{r_0^2 - r^2}
	\]
	for all $ z \in \overlineerline{B}(z_0,r) $ and 
	\[
	S_j(\zetaeta, \zetaeta) \leq \frac{1}{2 \pi} \frac{r_0}{r_0^2 - r^2}
	\]
	for all $ \zetaeta \in \overlineerline{B}(\zetaeta_0,r) $ and for $j$ large. By the Cauchy-Schwarz inequality,
	\[
	| S_j(\zetaeta, z) |^2 \leq | S_j(\zetaeta, \zetaeta)| | S_j(z, z)|
	\]
	which implies
	\[
	| S_j(\zetaeta, z) | \leq \frac{1}{2 \pi} \frac{r_0}{r_0^2 - r^2}
	\]
	for all  $ (\zetaeta, z) \in \overlineerline{B}(\zetaeta_0,r) \tildemes \overlineerline{B}(z_0,r) $, and for all $ j \gammaeq 1 $. 
	This shows that $S_j(\zetaeta, z)$ is locally uniformly bounded. Hence the sequence $\{S_j(\zetaeta,z)\}$, as a holomorphic function in the two variables $\zetaeta, \overlineerline{z}$ is a normal family. Now, we claim that the sequence $\{S_j(\zetaeta,z)\}$ converges to a unique limit. Let $S$ be a limiting function of $\{S_j(\zetaeta,z)\}$. Since $S$ is holomorphic in $\zetaeta, \overlineerline{z}$, the power series expansion of the difference $S - S_{\mathcal{H}}$ around the point $0$ has the form
	\[ 
	S(\zetaeta, z) - S_{\mathcal{H}}(\zetaeta, z) = \sum_{l,k =0}^{\infty}a_{l,k}\zetaeta^l\overlineerline{z}^k. 
	\]   
	Recall that $2\pi S_{j}(z,z) = c_{D_j}(z)$ converges to $c_{\mathcal{H}}(z)$ as $ j \to \infty $ and $2\pi S_{\mathcal{H}}(z,z) = c_{\mathcal{H}}(z)$. From this we infer that $S(z, z) = S_{\mathcal{H}}(z, z)$ for all $ z \in \mathcal{H} $ and hence
	\[
	\sum_{l,k =0}^{\infty}a_{l,k}z^l\overlineerline{z}^k = 0.
	\]
	By substituting $z = |z|e^{i\theta}$ in the above equation, we get
	\[
	\sum_{l,k =0}^{\infty}a_{l,k}|z|^{(l + k)}e^{i(l - k)\theta} = 0.
	\]
    and hence 
	\[
	\sum_{l +k = n}a_{l,k}e^{i(l - k)\theta} = 0 
	\]
	for all $ n \gammaeq 1$. It follows that  $a_{l,k} = 0$ for all $l, k \gammaeq 1 $. Hence we have 
	\[ 
	S(\zetaeta, z) = S_{\mathcal{H}}(\zetaeta, z)
	\] 
	for all $ \zetaeta, z \in \mathcal{H} $. So any limiting function of $\{S_j(\zetaeta,z)\}$ is equal to $ S_{\mathcal{H}}(\zetaeta,z) $. This shows that $\{S_j(\zetaeta,z)\}$ converges to $ S_{\mathcal{H}}(\zetaeta,z) $ uniformly on compact subsets of $ \mathcal{H} \tildemes \mathcal{H} $.
	

	
	Finally, we show that the sequence of the Garabedian kernel functions $\{L_j(z, a)\}$ also converges to the Garabedian kernel function $ L_{\mathcal{H}}(z, a) $ of the half-space $ \mathcal{H} $ uniformly on every compact subset of $\mathcal{H} \setminus \{a\}$. This will be done by showing that $\{L_j(z, a)\}$ is a normal family and has a unique limiting function. To show that $\{L_j(z, a)\}$ is a normal family, it is enough to show that $L_j(z, a)$ is locally uniformly bounded on $ \mathcal{H} \setminus \{a\} $.
	

	 
	Since $ z = a $ is a zero of $ f_{\mathcal{H}}(z, a) $, it follows that for an arbitrary compact set $ K \subset \mathcal{H} \setminus \{a\} $, the infimum of $ \vert f_{\mathcal{H}}(z, a) \vert $ on $ K $ is positive. Let $ m > 0 $ be this infimum. As $ f_j(z, a) \to f_{\mathcal{H}}(z, a)$ uniformly on $ K $, 
	\[
	\vert f_j(z, a) \vert > \frac{m}{2}
	\] and hence 
	\[
	\frac{1}{\vert f_j(z, a) \vert} < \frac{2}{m} 
	\]
	for all $ z \in K $ and $ j $ large. Since $ S_j(z, a) $ converges to $ S_{\mathcal{H}}(z, a) $ uniformly on $ K $, there exists an $ M > 0 $ such that $ \vert S_j(z, a) \vert \leq M $ for $ j $ large.
	As
	\[
	L_j(z, a) = \frac{S_j(z, a)}{f_j(z, a)}
	\]
	for all $z \in D_j \setminus \{a\}$, we obtain  
	\[
	|L_j(\zetaeta, a)| \leq \frac{2M}{m}
	\]
	for all $\zetaeta \in  K$ and for $j$ large.
	This shows that $L_j(z, a)$ is locally uniformly bounded on $ \mathcal{H} \setminus \{a\} $, and hence a normal family. 
	

	
	Finally, any limit of $ L_j(z, a) $ must be $ S_{\mathcal{H}}\big/ f_{\mathcal{H}}(z,a) $ on $ \mathcal{H} \setminus \{a\} $ and hence $ L_j(z, a) $ converges to $ L_{\mathcal{H}}(z, a) $ uniformly on compact subsets of $ \mathcal{H} \setminus \{a\} $.  
\end{proof}

\betagin{rem}
	This generalizes the main result of \cite{SuitaI} to the case of a sequence of domains $ D_j $ that converges to $ \mathcal{H} $ as described above.
\end{rem}
\betagin{prop}\lambdabel{Pr:UniformConvergenceOfCaraParDerCara}
	Let $\{D_j\}$ be the sequence of domains that converge to the half-space $\mathcal{H}$ in the Hausdorff sense as in the previous proposition. Then the sequence of Carath\'eodory metrics $c_{D_j}$ of the domains $D_j$ converges to the Carath\'eodory metric $c_{\mathcal{H}}$ of the half-space $ \mathcal{H} $ uniformly on every compact subset of $\mathcal{H}$. Moreover, all the partial derivatives of $c_{D_j}$ converge to the corresponding partial derivatives of $c_{\mathcal{H}}$, and the sequence of curvatures $ \kappa(z : D_j) $ converges to $  \kappa(z : \mathcal{H}) = -4 $, which is the curvature of the half-space $ \mathcal{H} $, uniformly on every compact subset of $ \mathcal{H} $.   	
\end{prop}
\betagin{proof}
	Since 
	\[
	c_{D_j}(z) = 2 \pi S_j(z, z)
	\]
	and $ S_j(z, z) $ converges to $ S_{\mathcal{H}}(z, z) $ uniformly on compact subsets of $ \mathcal{H} $, we conclude that the sequence of Carath\'eodory metrics $c_{D_j}$ of the domains $D_j$ also converges to the Carath\'eodory metric $c_{\mathcal{H}}$ of the half-space $ \mathcal{H} $ uniformly on every compact subset of $\mathcal{H}$.
	

	
	To show that the derivatives of $ c_{D_j} $ converge to the corresponding derivatives of  $ c_{\mathcal{H}} $, it is enough to show the convergence in a neighborhood of a point in $\mathcal{H}$. 
	

	
	Let $ D^2 = D^2((z_0, \zetaeta_0); (r_1, r_2)) $ be a bidisk around the point $ (z_0, \zetaeta_0) \in \mathcal{H} \tildemes \mathcal{H}$ which is relatively compact in $\mathcal{H} \tildemes \mathcal{H}$. Then $ D^2 $ is relatively compact in $D_j \tildemes D_j$ for all large $j$. Let $C_1 = \{z : |z -z_0| = r_1\}$ and  $C_2 = \{\zetaeta : |\zetaeta -\zetaeta_0| = r_2\}$.  
	

	
	Since $S_j(z, \zetaeta)$ is holomorphic in $z$ and antiholomorphic in $\zetaeta$, the Cauchy integral yields
	\[
	\frac{\partialrtial^{m +n}S_j(z, \zetaeta)}{\partialrtial z^m\partialrtial \bar{z}^n } = \frac{m!n!}{(2\pi i)^2} \int_{C_1} \int_{C_2}\frac{S_j(\xi_1, \xi_2)}{(\xi - z)^{m + 1}(\overlineerline{\xi - \zetaeta})^{n + 1}}d\xi_1 d\xi_2 
	\]
	and an application of the maximum modulus principle shows that
	\[
	\left|\frac{\partialrtial^{m +n}S_j(z, \zetaeta)}{\partialrtial z^m\partialrtial \bar{z}^n }\right| \leq
	\frac{m!n!}{4\pi^2}\sup_{(\xi_1, \xi_2) \in D^2} |S_j(\xi_1, \xi_2)|\frac{1}{r_1^m r_2^n}.  
	\] 
	Now applying the above inequality for the function $S_j - S_{\mathcal{H}}$, we get
	\[
	\left|\frac{\partialrtial^{m +n}}{\partialrtial z^m\partialrtial \bar{z}^n }( S_j - S_{\mathcal{H}} )(z, \zetaeta)\right| 
	\leq
	\frac{m!n!}{4\pi^2}\sup_{(\xi_1, \xi_2) \in D^2} |     S_j(\xi_1, \xi_2) - S_{\mathcal{H}}(\xi_1, \xi_2) |\frac{1}{r_1^m r_2^n}.
	\]
	Since $S_j(z, z) \to S_{\mathcal{H}}(z, z)$ uniformly on $ D^2 $, all the partial derivatives of $S_j(z, z)$ converge to the corresponding partial derivatives of $S_{\mathcal{H}}(z, z)$ uniformly on every compact subset of $D^2$.
	

	
	Recall that the curvature of the Carath\'eodory metric $ c_{D_j} $ is given by
	\[
	\kappa(z : c_{D_j}) = -c_{D_j}(z)^{-2}\mathbb{D}eltalta \log c_{D_j}(z)
 	\]
	which upon simplification gives
	\[
	-\mathbb{D}eltalta \log c_{D_j} = 4c_{D_j}^{-4}\left( \partialrtial^{0\bar{1}}c_{D_j}\partialrtial^{1\bar{0}}c_{D_j} - c_{D_j}\partialrtial^{1\bar{1}}c_{D_j} \right)		
	\]
	where $ \partialrtial^{i \bar j}c_{D_j} = \partialrtial^{i + j}c_D\big/\partialrtial^iz  \partialrtial^j \bar z $ for $ i, j = 0, 1 $.
	Since all the partial derivatives of $ c_{D_j} $ converge uniformly to the corresponding partial derivatives of $ c_{\mathcal{H}} $,
	\[
	-\mathbb{D}eltalta \log c_{D_j} = 4c_{D_j}^{-4}\left( \partialrtial^{0\bar{1}}c_{D_j}\partialrtial^{1\bar{0}}c_{D_j} - c_{D_j}\partialrtial^{1\bar{1}}c_{D_j} \right)		
	\]
	converges to 
	\[
	-\mathbb{D}eltalta \log c_{\mathcal{H}} = 4c_{\mathcal{H}}^{-4}\left( \partialrtial^{0\bar{1}}c_{\mathcal{H}}\partialrtial^{1\bar{0}}c_{\mathcal{H}} - c_{\mathcal{H}}\partialrtial^{1\bar{1}}c_{\mathcal{H}} \right)		
	\]
	as $ j \to \infty $.
	

	
	Hence the sequence of curvatures 
	\[
	\kappa(z : c_{D_j}) = 4c_{D_j}^{-4}\left( \partialrtial^{0\bar{1}}c_{D_j}\partialrtial^{1\bar{0}}c_{D_j} - c_{D_j}\partialrtial^{1\bar{1}}c_{D_j} \right)
	\]
	converges to $ \kappa(z,c_{\mathcal{H}}) = -4$ as $ j \to \infty $. 
\end{proof}

\betagin{proof}[Proof of Theorem~\ref*{T:HigherCurvature}]
	Note that the higher order curvatures of the Carath\'eodory metrics of the domains $ D_j $ are given by
	\[
	\kappa_n(z : c_{D_j}) =c_{D_j}(z)^{-(n + 1)^2}\big/ J^{D_j}_n(z).
	\]
	By appealing to the convergence $c_{D_j}$ and its partial derivatives to $c_{\mathcal{H}}$ and its corresponding partial derivatives uniformly on every compact  subset of $ \mathcal{H} $, we infer that  $\kappa_n(z, c_{D_j})$  converges to $\kappa_n(z : c_{\mathcal{H}}) = - 4 \left(\prod_{k = 1}^n k!\right)^2$ uniformly on every compact subset of $\mathcal{H}$. The fact that 
	\[
	\kappa_n(z : c_{\mathcal{H}}) = - 4 \left(\prod_{k = 1}^n k!\right)^2
	\]
	is a calculation using the Carath\'eodory metric on $ \mathcal{H} $.

\end{proof}

\section{Proof of Theorem~\ref{T:AumannCaratheodoryConstant}}

\betagin{proof} 
	Scale $ D $ near $ p $ as explained earlier along a sequence $ p_j \rightarrow p $. Let $ D_j = T_j(D) $ as before and let $ \Omegaega_j $ be Aumann-Carath\'eodory constant of $ D_j $ and $ D' $. Then $ \Omegaega_j(0, w) = \Omegaega(p_j, w) $ for all $ j $. So, it suffices to study the behaviour of $ \Omegaega_j(0, w) $ as $ j \rightarrow \infty $.
	

	
	Let $ z \in D_j $ and $ \Omegaega_{j}(z, w) $ be Aumann-Carath\'eodory constant at $ z $ and $ w $. We shall show that $ \Omegaega_{j}(z, w) $ converges to $1$ as $ j \to \infty $.
	Let $ c_{D_j}$ and $ \lambdambda_{D_j}$ be Carath\'eodory and hyperbolic metric  on $D_j$ respectively, for all $j\gammaeq 1$. Using the following inequality
	\[
	\Omegaega_{0} \leq \Omegaega \leq 1,
	\]
	we have 
	\betagin{equation}\lambdabel{Eq:RatioCaraHyper}
	\frac{ c_{D_j}(z) }{ \lambdambda_{D_j}(z) }\leq \Omegaega_{j}(z, w) \leq 1.
	\end{equation}
	By Proposition~\ref{Pr:UniformConvergenceOfCaraParDerCara},
    $c_{D_j}(z)$ converges to $c_{\mathcal{H}}(z)$ uniformly on every compact subset of $\mathcal{H}$ as $ j \to \infty $. Again, using the scaling technique, we also have that the hyperbolic metric $\lambdambda_{D_j}(z) $ converges to $ \lambdambda_{\mathcal{H}}(z)$ on  uniformly every compact subsets of $\mathcal{H}$ as $ j \to \infty $. In case of simply connected domains, in particular for the half-space $ \mathcal{H} $, the hyperbolic metric and Carath\'eodory metric coincide, so we have $ c_{\mathcal{H}}(z) =  \lambdambda_{\mathcal{H}}(z) $.  Consequently, by (\ref{Eq:RatioCaraHyper}), we conclude that $ \Omegaega_{j}(z, w) $ converges to $1$, as $ j \to \infty $, uniformly on every compact subset of $ \mathcal{H} $. In particular, we have $ \Omegaega_{j}(0, w) \to 1 $ as  $ j \to \infty $. This completes the proof.  
\end{proof}
\betagin{cor}
	Let $D \subset \mathbb{C} $ be a domain and  $ p \in \partialrtial D $ is a $ C^2 $-smooth boundary point. Then the Aumann-Carath\'eodory rigidity constant
	\[
	\Omegaega_D(z) \rightarrow 1
	\]
	as $ z \rightarrow p $.
\end{cor}

\section{Proof of Theorem~\ref{T:SugawaMetric}}
\noindent
For a fixed $ p \in D $, let $ \phi_D(\zetaeta, p) $ be the extremal holomorphic differential for the metric $ q_D(z) \vert dz \vert $. Recall Lemma~2.2 from \cite{SugawaMetric} that relates how $ \phi_D(\zetaeta, p) $ is transformed by a biholomorphic map. Let $ F : D \longrightarrow D' $ be a biholomorphic map. Then 
\[
\phi_{D'}(F(\zetaeta), F(p)) \left(F^{\prime}(\zetaeta)\right)\frac{\overlineerline{F^{\prime
}(p)}}{F^{\prime}(p)} = \phi_D(\zetaeta, p).
\]
\betagin{lem}\lambdabel{L:ExtremalFunctionSugawaMetricHalfSpace}
	Let $\mathcal{H} = \{z \in \mathbb{C} : Re(\overlineerline{\omegaega}z -1) < 0\}$ be a half-space, and let $\omegaega_0 \in \mathcal{H}$. Then the extremal function of $ q_{\mathcal{H}}(z) \vert dz \vert $ of $\mathcal{H}$ at $\omegaega_0 \in \mathcal{H}$ is
	\[
	\phi_{\mathcal{H}}(z, \omegaega_0) = |\omegaega|^2 \frac{(2 - \omegaega\overlineerline{\omegaega_0} - \overlineerline{\omegaega}\omegaega_0)^2}{(2 - \omegaega\overlineerline{\omegaega_0} - \overlineerline{\omegaega}z)^4}
	\]
	for all $z \in \mathcal{H}$.
\end{lem}
\betagin{proof}
	The extremal function for $q_{\mathbb{D}}$ at the point $z = 0$ is 
	\betagin{equation}\lambdabel{Eq: HurAtZeroDisk}
	\phi_{\mathbb{D}}(\zetaeta, 0) = 1.
	\end{equation}
	for all $\zetaeta \in \mathbb{D}$. Also
	\[
	f(z) = \frac{|\omegaega|(z - \omegaega_0)}{2 - \omegaega\overlineerline{\omegaega_0} - \overlineerline{\omegaega}z}
	\] 
	is the Riemann map between $ \mathcal{H} $ and the unit disk $ \mathbb{D} $. 

	By computing the derivative of the map $ f $ , we get
	\betagin{equation}
	f^{\prime}(z) = |\omegaega| \frac{(2 - \omegaega\overlineerline{\omegaega_0} - \overlineerline{\omegaega}\omegaega_0)}{(2 - \omegaega\overlineerline{\omegaega_0} - \overlineerline{\omegaega}z)^2} 
	\end{equation}
	for all $ z \in \mathcal{H} $.
	By substituting the value of $f^{\prime}(z)$, $f^{\prime}(0)$ and $\overlineerline{f^{\prime}(0)}$ in the transformation formula, we get
	\betagin{equation}\lambdabel{Eq:TansForwithPhiD}
	\phi_{\mathcal{H}}(z, \omegaega) = |\omegaega|^2 \frac{(2 - \omegaega\overlineerline{\omegaega_0} - \overlineerline{\omegaega}\omegaega_0)^2}{(2 - \omegaega\overlineerline{\omegaega_0} - \overlineerline{\omegaega}z_0)^4}\phi_{\mathbb{D}}(f(z), f(\omegaega_0)).
	\end{equation}
	Note that $f(\omegaega_0) = 0$, therefore by (\ref{Eq: HurAtZeroDisk}), we have $\phi_{\mathbb{D}}(f(z), f(\omegaega_0)) = 1$. So from (\ref{Eq:TansForwithPhiD})  
	\betagin{equation}
	\phi_{\mathcal{H}}(z, \omegaega_0) = |\omegaega|^2 \frac{(2 - \omegaega\overlineerline{\omegaega_0} - \overlineerline{\omegaega}\omegaega_0)^2}{(2 - \omegaega\overlineerline{\omegaega_0} - \overlineerline{\omegaega}z)^4}
	\end{equation}
	for all $z \in \mathcal{H}$.
\end{proof}

\betagin{lem}\lambdabel{L:ConvergenceOfIntegral}
	Let the sequence of domains $ D_j $ converges to $ \mathcal{H} $ as before. Let $ z_j $ be a sequence in $ \mathcal{H} $ that converges to $ z_0 \in \mathcal{H} $. Let $ \phi_{\mathcal{H},j} $ be the extremal function of $ q_{\mathcal{H}}(z)\vert dz \vert $ at $ z_j $ for all $ j $ and $ \phi_{\mathcal{H}} $ be the extremal function for $ q_{\mathcal{H}}(z)\vert dz \vert $ at $ z_0 $. Then  
	\[ 
	\int_{D_j}|\phi_j| \to \int_{\mathcal{H}}\vert \phi_{\mathcal{H}}\vert  = \pi 
	\]
	as $j \to \infty$.
\end{lem}
\betagin{proof}
	By Lemma~\ref{L:ExtremalFunctionSugawaMetricHalfSpace}, we see that the extremal functions of $ q_{\mathcal{H}}(z) \vert dz \vert $ of the half-space $\mathcal{H}$ at the points $z_j$ and $z_0$ are given by
	\betagin{equation}
	\phi_{\mathcal{H}, j}(z, z_j) = |\omegaega|^2 \frac{(2 - \omegaega\overlineerline{z_j} - \overlineerline{\omegaega}z_j)^2}{(2 - \omegaega\overlineerline{z_j} - \overlineerline{\omegaega}z)^4}
	\end{equation}
	and 
	\betagin{equation}
	\phi_{\mathcal{H}}(z, z_0) = |\omegaega|^2 \frac{(2 - \omegaega\overlineerline{z_0} - \overlineerline{\omegaega}z_0)^2}{(2 - \omegaega\overlineerline{z_0} - \overlineerline{\omegaega}z)^4}
	\end{equation}
	respectively, for all $z \in \mathcal{H}$ and for all $j \gammaeq 1$. By substituting $Z_j = \frac{2 - \omegaega\overlineerline{z_j}}{\overlineerline{\omegaega}}$ and $Z_0 = \frac{2 - \omegaega\overlineerline{z_0}}{\overlineerline{\omegaega}}$ in the above equations, we can rewrite the above equations as 
	\[
	\phi_{\mathcal{H}, j}(z,z_j) = \frac{|\omegaega|^2}{\overlineerline{\omegaega}^4}\frac{(2 - \omegaega\overlineerline{z_j} - \overlineerline{\omegaega}z_j )^2}{(Z_j - z)^4}
	\]
	and 
	\[
	\phi_{\mathcal{H}}(z,z_0) = \frac{|\omegaega|^2}{\overlineerline{\omegaega}^4}\frac{(2 - \omegaega\overlineerline{z_0} - \overlineerline{\omegaega}z_0 )^2}{(Z_0 - z)^4}.
	\]
	respectively, for all $z \in \mathcal{H}$ and for all $j \gammaeq 1$. 
	

    

    Note that $ Z_0 \notin \mathcal{H} $ and hence $ Z_j \notin \mathcal{H} $ for $ j $ large.	
	Define 
	\[
	\phi_j(z) =  \chi_{D_j}(z)|\phi_{\mathcal{H},j}(z, z_j)|  
	\]
	and 
	\[
	\phi(z) =  \chi_{\mathcal{H}}(z) |\phi_{\mathcal{H}}(z, z_0)|
	\]
	Here, $\chi_{A}$, for $A \subset \mathbb{C}$, its characteristic function.
	Note that $\phi_j$ and $ \phi $ are measurable functions on $ \mathbb{C} $ and $ \phi_j \to \phi $ point-wise almost everywhere on $\mathbb{C}$.
	

	
	Next, we shall show that there exists a measurable function $g$ on $\mathbb{C}$ satisfying
	\[
	\vert \phi_j \vert \leq g
	\]
	for all $j\gammaeq 1$ and 
	\[
	\int_{\mathbb{C}}|g| < \infty.
	\]
	

	
	First, we note that 
	\[
	|Z_j - z| \gammaeq \frac{R}{2}
	\]
	for all $j \gammaeq 1$. Again, by the triangle inequality, we have  
	\[
	\left|\frac{|Z_0 - z|}{|Z_j - z|} - 1 \right| \leq \frac{|Z_0 - Z_j|}{|Z_j - z|} \leq 1
	\]
	for all $j \gammaeq 1$ and for all $z \in \mathbb{C} \setminus B(Z_0, R)$. Therefore
	\[
	\frac{1}{|Z_j - z|} \leq \frac{2}{|Z_0 - z|}
	\]
	for all $z \in \mathbb{C} \setminus B(Z_0, R)$ and for all $j \gammaeq 1$ and this implies that
	\[
	\frac{1}{|\omegaega^2|} \frac{|2 - \omegaega\overlineerline{z_j} - \overlineerline{\omegaega}z_j |^2}{|Z_j - z|^4} \leq \frac{16}{|\omegaega^2|}\frac{|2 - \omegaega\overlineerline{z_j} - \overlineerline{\omegaega}z_j |^2}{|Z_0 - z|^4}
	\] 
	for all $z \in \mathbb{C} \setminus B(Z_0, R)$ and for all $j \gammaeq 1$.
	

	Note that there exists $ K > 0 $ such that  
	\[
	|2 - \omegaega\overlineerline{z_j} - \overlineerline{\omegaega}z_j |^2 \leq K
	\] 
	for all $j \gammaeq 1$ since $ \{z_j \} $ converges. Hence
	\[
	|\phi_j(z)| \leq \frac{16 K}{|\omegaega^2|}\frac{1}{|Z_0 - z|^4}
	\]
	for all $z \in \mathbb{C} \setminus B(Z_0, R)$ and for all $j \gammaeq 1$. If we set
	\[
	g(z) = \betagin{cases} \frac{16 K}{|\omegaega^2|}\frac{1}{|Z_0 - z|^4}, &\mbox{if} \,\, z \in \mathbb{C} \setminus B(Z_0, R)\\
	0  & \mbox{if}\,\, z \in \bar{B}(Z_0, R)
	\end{cases}
	\]
	we get that 
	\[
	|\phi_j(z)| \leq g(z)
	\]
	for all $z \in \mathbb{C}$ and for all $j \gammaeq 1$. 
	

	
	Now note that 
	\betagin{equation*}
	\betagin{split}
	\int_{\mathbb{C}}g       &= \int_{\mathbb{C} \setminus B(Z_0, R)} \frac{16K}{|\omegaega|^2}\frac{1}{|Z_0 - z|^4}
	=  \frac{16K}{|\overlineerline{\omegaega}^2|}\int_{\mathbb{C} \setminus \cdzor} \left|\frac{1}{(Z_0 - \zetaeta)^4}\right| \\
	&=  \frac{16K}{|\overlineerline{\omegaega}^2|} \int_{R}^{\infty} \int_0^{2\pi} \frac{1}{r^3}  
	=  \frac{16K}{|\overlineerline{\omegaega}^2|} \frac{1}{R^2} < \infty.
	\end{split}
	\end{equation*}
	The dominated convergence theorem shows that 
	\[
	\int_{\mathbb{C}}\phi_j
	\to
	\int_{\mathbb{C}}\phi_{\mathcal{H}} 
	\]
	as $ j \to \infty $. 
	However, by construction
	\[
	\int_{\mathbb{C}}\phi_j  = \int_{D_j}\phi_{\mathcal{H}, j}(z,z_j)
	\]
	and
	\[
	\int_{\mathbb{C}}\phi  = \int_{\mathcal{H}}\phi_{\mathcal{H}}(z, z_0)
	\]
	and by definition. Hence
	\[
	\int_{\mathcal{H}}\phi_{\mathcal{H}}(z, z_0) = \pi
	\]
	 and this completes the proof.
\end{proof}

\betagin{prop}\lambdabel{Pr:ConvergenceOfTheSugawaMetricUnderScaling}
	Let $\{D_j\}$ be the sequence of domains that converges to the half-space $\mathcal{H}$ as in Proposition~\ref{Prop:ConvergenceAhlforsSzegoGarabeidian}. Then $q_{D_j}$ converges to $q_{\mathcal{H}}$ uniformly on compact subsets of $ \mathcal{H} $.  
\end{prop}

\betagin{proof}
	If possible, assume that $q_{D_j}$ does not converge to $q_{\mathcal{H}}$ uniformly on every compact subset of $\mathcal{H}$. 
	Then there exists a compact subset $K$ of $\mathcal{H}$ -- without loss of generality, we may assume that $K \subset D_j$ for all $j \gammaeq 1$ --  $\epsilonsilon_{0} >0 $, a sequence of integers $\{ k_j \}$ and points $\{ z_{k_j}\}\subset K$ such that
	\[
	|q_{D_{k_j}}(z_{k_j})- q_{\mathcal{H}}(z_{k_j})|>\epsilonsilon_0.
	\]      
	Since $K$ is compact, we assume that $z_{k_j}$ converges to a point $z_0 \in K$.
	Using the continuity of $ q_{\mathcal{H}}(z) \vert dz \vert $, we have 
	\[
	|q_{\mathcal{H}}(z_{k_j})- q_{\mathcal{H}}(z_0)|< \epsilonsilon_0\big/2
	\] 
	for $j$ large, which implies 
	\[
	|q_{D_{k_j}}(z_{k_j})- q_{\mathcal{H}}(z_0)|> \epsilonsilon_0\big/2
	\]
	by the triangle inequality.
	There exist extremal functions $\phi_{k_j} \in A(D_{k_j})$ with $ \Vert \phi_{k_j} \Vert \leq \pi $ such that 
	\[
	q_{D_{k_j}}^2 = \phi_{k_j}(z_{k_j}).
	\] 
	We claim that the collection $\{\phi_{k_j}\}$ is a normal family. To show this, it is enough to show $\{\phi_{k_j}\}$ is locally uniformly bounded.
	

	
	Let $\zetaeta_0 \in \mathcal{H}$ and $R>0$ such that $\overlineerline{B}(\zetaeta_0, 2R) \subset \mathcal{H}$. Then $\overlineerline{B}(\zetaeta_0, 2R) \subset D_j$ for all $j$ large. By the mean value theorem, we have      
	\betagin{equation*}
	\betagin{split}
	|\phi_{k_j}(\zetaeta)| = \frac{1}{2\pi} \left|\int_{0}^{2\pi}\phi_{k_j}(\zetaeta + re^{\theta})d\theta\right| 
	\leq \frac{1}{2\pi} \int_{0}^{2\pi}|\phi_{k_j}(\zetaeta + re^{\theta})|d\theta
	\end{split}
	\end{equation*}
	for $ 0 < r < R $.
	This implies
	\betagin{equation*}
	\betagin{split}
	\int_0^R|\phi_{k_j}(\zetaeta)|rdr &\leq \frac{1}{2\pi} \int_0^R\int_{0}^{2\pi}|\phi_{k_j}(\zetaeta + re^{\theta})|r d\theta dr 
	\leq \frac{1}{ 2\pi } \int_0^R\int_{0}^{2\pi}|\phi_{k_j}(\zetaeta + re^{\theta})|r d\theta dr,
	\end{split}
	\end{equation*}
	that is, 
	\betagin{equation*}
	\betagin{split}
	|\phi_{k_j}(\zetaeta)|
	&= \frac{1}{\pi R^2} \int\int_{B(\zetaeta, R)}|\phi_{k_j}(z)| 
	\leq \frac{1}{\pi R^2} \int\int_{D_j}|\phi_{k_j}(z)|
	= \frac{\pi}{\pi R^2} = \frac{1}{R^2}
	\end{split}
	\end{equation*} 
	for all $\zetaeta \in B(\zetaeta_0, R)$. This proves that the family $\{\phi_{k_j}\}$ is locally uniformly bounded on $B(\zetaeta_0, R)$ and hence a normal family. 
	

	
	Next, we shall show that
	\[
	\limsup_j q_{D_j}(z_j) \leq q_{\mathcal{H}}(z_0).
	\] 

	First, we note that the finiteness of the integral $\int_{D_j}|\phi_{k_j}| = \pi$ implies that no limiting function of the sequence $\{\phi_{k_j}\}$ diverges to infinity uniformly on any compact subset of $\mathcal{H}$.
	

	
	Now, by definition, we see that there exists a subsequence $\{\phi_{l_{k_j}}\}$ of the sequence $\{\phi_{k_j}\}$ such that $|\phi_{l_{k_j}}(z_0)|$ converges to $\limsup_{j}|\phi_{k_j}(z_0)|$ as $ j \to \infty$. Let $\phi$ be a limiting function of $\{\phi_{l_{k_j}}\}$. For simplicity, we may assume that $\{\phi_{l_{k_j}}\}$ converges to $\phi$ uniformly on every compact subset of $\mathcal{H}$. We claim that $\phi \in A(\mathcal{H})$ and $ \Vert \phi \Vert \leq \pi $. That is, we need to show 
	\[
	\int_{\mathcal{H}}|\phi| \leq \pi.
	\]
	To show this we take an arbitrary compact subset $K$ of $\mathcal{H}$. Then $K \subset D_j$ and, by the triangle inequality,
	\[
	\int_{K}|\phi| \leq \int_{K} |\phi - \phi_{l_{k_j}}| + \int_{K}|\phi_{l_{k_j}}|
	\]
	for $j $ large. 
	This implies,
	\[
	\int_{K}|\phi| \leq \int_{K} |\phi - \phi_{l_{k_j}}| + \int_{D_j}|\phi_{l_{k_j}}|
	\]
	for $j$ large.
    Since $\int_{D_j}|\phi_{l_{k_j}}| = \pi$ and $\{\phi_{l_{k_j}}\}$ converges to $\phi$ uniformly on $K$, $\int_{K} |\phi - \phi_{l_{k_j}}|$ converges to $0$ as $ j \to \infty$. Hence
	\[
	\int_{\mathcal{H}}|\phi| \leq \pi.
	\]
	This shows that $\phi(z)  $ is a candidate in the family that defines $ q_{\mathcal{H}}(z) $.    
	

	
	By definition of $ q_{\mathcal{H}}(z) \vert dz \vert $, we have 
	\[
	\phi(z_0) \leq q_{\mathcal{H}}^2(z_0)
	\]  
	which implies 
	\[
	\limsup_j\phi_{k_j}(z_j) \leq q_{\mathcal{H}}^2(z_0).
	\]
	Now, by substituting $q_{D_j}^2(z_j)$ in place of $\phi_{k_j}(z_j)$ above, we obtain  
	\[
	\limsup_j q_{D_j}^2(z_j) \leq q_{\mathcal{H}}^2(z_0)
	\]
	or
	\betagin{equation}\lambdabel{Eqn: Eqsup}
	\limsup_j q_{D_j}(z_j) \leq q_{\mathcal{H}}(z_0).
	\end{equation}
	

	
	Next, we show
	\[
	q_{\mathcal{H}}(z_0) \leq \liminf_j q_{D_j}(z_0),
	\]
	and this will lead to a contradiction to our assumption.
	

	
	As we have seen in  Lemma~\ref{L:ExtremalFunctionSugawaMetricHalfSpace}, the extremal functions of $ q_{\mathcal{H}}(z) \vert dz \vert $ at the points $z_j$ and $z_0$ of the half-space $\mathcal{H}$ are given by rational functions with poles at $Z_j = (2 - \omegaega\overlineerline{z_j})\big/\overlineerline{\omegaega}$ and $Z_0 = (2 - \omegaega\overlineerline{z_0})\big/\overlineerline{\omegaega}$ respectively. The Hausdorff convergence of $ D_j $ to $ \mathcal{H} $ as $ j \to \infty $ implies that there exists $R>0$ such that 
	$Z_j \in B(Z_0, R\big/2)$ and $\overlineerline{B}(Z_0, R) \subset \mathbb{C} \setminus \overlineerline{D_j}$  for $j$ large. This ensures
	\[
	\psi_j(z) = \pi \phi_j(z)\big / M_j
	\]
	is a well-defined holomorphic function on $ D_j $,
	where $ \phi_j $ is an extremal function of $ q_{\mathcal{H}}(z) \vert dz \vert $ at $ z_j $ and
	\[
	M_j = \int_{D_j} |\phi_j|.
	\]
	By Lemma~\ref{L:ConvergenceOfIntegral}, $ M_j < \infty $ for $j$ large. From the definition of the function $\psi_j$ it follows that $\int_{D_j} |\psi_{\mathcal{H}}| = \pi$ for all $j \gammaeq 1$. Therefore, 
	\[
	\psi_j \in A_0(D_j) = \left\{ |\phi(z)|^2 : \phi \in A(D_j) \, \text{with} \, ||\phi||_1 \leq \pi \right \}
	\]
	and hence 
	\[
	\pi \psi_{\mathcal{H}}(z_j)\big/ M_j = \psi_j(z_j) \leq q_{D_j}^2(z_j).
	\]
    

                  
	Since $M_j$ converges to $\pi$ as $ j \to \infty$, Lemma~\ref{L:ConvergenceOfIntegral} and by the formulae of the extremal functions of $ \mathcal{H} $, it is seen that $\phi_j(z_j)$ converges to $\phi(z_0)$, the extremal function of the half-space at the point $ z_0 $, as $j \to \infty$. Therefore, taking liminf both sides,
	\[
	q_{\mathcal{H}}^2(z_0) \leq \liminf_j q_{D_j}^2(z_j).
	\]
	That is,
	\betagin{equation}\lambdabel{Eqn: Eqinf}
	q_{\mathcal{H}}(z_0) \leq \liminf_j q_{D_j}(z_j).
	\end{equation}
	
	By (\ref{Eqn: Eqsup}) and (\ref{Eqn: Eqinf}), we conclude that 
	\[
	\lim_{j \to \infty} q_{D_j}(z_j) = q_{\mathcal{H}}(z_0)
	\]
	which contradicts the assumption that
	\[
	|q_{D_{k_j}}(z_{k_j})- q_{\mathcal{H}}(z_0)|> \epsilonsilon_0\big /2.
	\]
\end{proof}

\betagin{cor}\lambdabel{C:AsymptoticqD}
	Let $ D \subset \mathbb{C}$ be a bounded domain. Suppose $ p \in \partialrtial D $ is a $ C^2 $-smooth boundary point. Then 
	\[
	\lim_{z \to p}q_D(z)(-\psi(z)) = q_{\mathcal{H}}(0) = \vert \omegaega \vert \big/2.
	\]
\end{cor}
\betagin{proof}
Let $ D_j = T_j(D) $ where $ T_j(z) = (z - p_j)\big/(-\psi(p_j)) $. By Proposition~\ref{Pr:ConvergenceOfTheSugawaMetricUnderScaling}  $ q_{D_j} \to q_{\mathcal{H}} $ on compact subsets of $ \mathcal{H} $. In particular, $q_{D_j}(0) \to q_{\mathcal{H}}(0) $ as $ j \to \infty $. But $ q_{D_j}(0) = q_{D}(p_j) (-\psi(p_j)) $ and hence $ q_{D_j}(0) = q_{D}(p_j) (-\psi(p_j)) \to q_{\mathcal{H}}(0) $. Since $ p_j $ is an arbitrary sequence converging to $ p $, hence it follows that
	\[
	\lim_{z \to p}q_D(z)(-\psi(z)) = q_{\mathcal{H}}(0) = \vert \omegaega \vert \big / 2.
	\]

	
\end{proof}

\betagin{proof}[Proof of Theorem~\ref{T:SugawaMetric}]
As a consequence of the Corollary~\ref{C:AsymptoticqD}, we have
\[
q_D(z) \approx 1\big /{\rm dist}(z, \partialrtial D).
\]
\end{proof}

\section{Proof of Theorem~\ref{T:TheHurwitzMetric}}
\noindent
The continuity of $ \eta_D $ is a consequence of the following observation.

\betagin{thm}\lambdabel{T:contHurM}
	Let $D \subset \mathbb{C}$ be a domain. Fix $a\in D$ and let $\{a_n\}$ be a sequence in $ D$ converging to $a$. Let $G_n,\, G$ be the normalized Hurwitz coverings at $a_n$ and $a$ respectively.Then $G_n$ converges to $G$ uniformly on compact subsets of $\mathbb{D}$. 
\end{thm}

\noindent
The proof of this requires the following lemmas.
\betagin{lem}\lambdabel{L:PiPosCon}
	Let $ y_0 \in \mathbb{D}^* $ and $ \{y_n\} $ a sequence in $ \mathbb{D}^* $ converging to $ y_0 $. 
	Let $\pi_n : \mathbb{D} \longrightarrow \mathbb{D}^{*}$ and $\pi_0 : \mathbb{D} \longrightarrow \mathbb{D}^{*}$ be the unique normalized coverings satisfying $\pi_n(0) = y_n$, $\pi_0(0) = y_0$   and $\pi^{\prime}_n(0) > 0$, $\pi^{\prime}_0(0) > 0$. Then  $\{\pi_n \}$ converges to $\pi_0$ uniformly on compact subsets of $ \mathbb{D} $. 
\end{lem}

\betagin{proof}
	Note that the hyperbolic density $\lambdambda_{\mathbb{D}^{*}}$ is continuous and hence $\lambdambda_{\mathbb{D}^{*}}(y_n) \to \lambdambda_{\mathbb{D}^{*}}(y)$. Also $\lambdambda_{\mathbb{D}^{*}} > 0 $ and satisfies
	\[
	 \lambdambda_{\mathbb{D}^{*}}(y_n) = 1 \big/ \pi^{\prime}_n(0),
	\]
	\[
	\lambdambda_{\mathbb{D}^{*}}(y_0) = 1\big/\pi^{\prime}_0(0).
	\]
	Let $ \pi_{\infty}$ be the limit point of the family $\{\pi_n\}$ which is a normal. Then $ \pi_{\infty} : \mathbb{D} \longrightarrow \mathbb{D}^*$ and $ \pi_{\infty } (0) =y_0 \in \mathbb{D}^* $. If the image $ \pi_{\infty}(\mathbb{D}^*) $ intersects $ \partialrtial \mathbb{D} $ then $ \pi_{\infty} $ must be constant, i.e., $ \pi_{\infty}(z) = e^{i \theta_0} $ for some $ \theta_0 $. This can not happen since $ \pi_{\infty}(0) = y_0 \in \mathbb{D}^* $. If the image $ \pi_{\infty}(\mathbb{D}^*) $ contains the origin, Hurwitz's theorem shows that $ \pi_n $ must also contains the origin for $ n $ large. Again this is not possible since $ \pi_n(\mathbb{D}) = \mathbb{D}^* $. It follows that $ \pi_{\infty} : \mathbb{D} \longrightarrow \mathbb{D}^* $ with $ \pi_{\infty}(0) = y_0 $.  
    

    
	Let $ \tildelde\pi_{\infty} : \mathbb{D} \longrightarrow \mathbb{D} $ be the lift of $ \pi_{\infty} $ such that $ \tildelde\pi_{\infty}(0) =  0 $. By differentiating the identity,
	\[
	\pi_0 \circ \tildelde\pi_{\infty} = \pi_{\infty},
	\]
		we obtain
		\[
		\pi_0^{\prime}(\tildelde\pi_{\infty}(z)) \tildelde\pi_{\infty}^{\prime}(z) = \pi_{\infty}^{\prime}(z)
		\]  
		and evaluating at $ z = 0 $ gives 
		\[
		\pi^{\prime}(0) \tildelde \pi_{\infty}^{\prime}(0) = \pi_{\infty}^{\prime}(0).
		\]
		Now observe that $ \pi_n^{\prime}(0) \to \pi_{\infty}^{\prime}(0) $ and since $1 \big/ \pi_{n}^{\prime} (0) = \lambdambda_{\mathbb{D}^{*}}(y_n) \to \lambdambda_{\mathbb{D}^{*}}(y_0) $ it follows $ \pi_{\infty}^{\prime}(0) = 1 \big/ \lambdambda_{\mathbb{D}^{*}}(y_0) = \pi_0^{\prime}(0) > 0 $. Therefore, $ \tildelde \pi_{\infty}^{\prime}(0) = 1  $ and hence $ \pi_{\infty}^{\prime}(z) = z $ by the Schwarz lemma. As a result, $ \pi_{\infty} = \pi_0 $ on $ \mathbb{D} $. If follows that $ \{ \pi_n \} $ has unique limit, namely $ \pi_0 $.         
\end{proof}

\betagin{lem}\lambdabel{L:UniformConvergenceOfPunCoveringMpas}
	Let $\pi_n : \mathbb{D} \longrightarrow \mathbb{D}^{*}$  be a sequence of holomorphic coverings. Let $\pi$ be a non-constant limit point of the family  $\{\pi_n\}$. Then $\pi : \mathbb{D} \longrightarrow \mathbb{D}^{*}$ is a covering.
\end{lem}

\betagin{proof}
	Suppose that $ \pi_{n_k} \to \pi $ uniformly on compact subsets of $ \mathbb{D} $. As in the previous lemma, $ \pi : \mathbb{D} \longrightarrow \mathbb{D}^* $ since $ \pi $ is assumed to be non-constant. In particular, $ \pi_{n_k}(0) \to \pi(0)  \in \mathbb{D}^*$. Let 
	\[
	\phi_n(z) = e^{i \theta_n}z
	\]
	where $ \theta_n = Arg(\pi_{k_n}^{\prime}(0)) $ and consider the compositions
	\[
	\tildelde \pi_{k_n} = \pi_{k_n} \circ \phi_n
	\]
	which are holomorphic covering of $ \mathbb{D}^* $ satisfying $ \tildelde \pi_{k_n}^{\prime}(0) > 0$ and $ \tildelde \pi_{k_n}(0) = \pi_{k_n}(0) \to  \pi(0) \in \mathbb{D}^* $. By Lemma~\ref{L:PiPosCon}, $  \tildelde \pi_{k_n} \to \tildelde \pi  $ where $ \tildelde \pi : \mathbb{D} \longrightarrow \mathbb{D}^* $ is a holomorphic covering with $ \tildelde \pi(0) = \pi(0)  $ and $ \tildelde \pi^{\prime}(0) > 0 $. By passing to a subsequence, $ \phi_n(z) \to \phi(z) $ whree $ \phi(z) = e^{i\theta_0}z  $ for some $ \theta_0 $. As a result, 
	\[
	\tildelde \pi = \pi \circ \phi
	\]
	and this shows that $ \pi : \mathbb{D} \longrightarrow \mathbb{D}^* $ is a holomorphic covering.
\end{proof}

\betagin{lem}\lambdabel{L:HyperbolicCoveringConvergenc}
	Let $D \subset \mathbb{C}$ be bounded. Fix $ a \in D $ and let $\{a_n\}$ be a sequence in $ D $ converging to $a$. Set $ D_n = D\setminus \{x_n\}$ and $ D_0 = D\setminus \{a\} $. Fix a base point $p \in D \setminus \{a, a_1, a_2, \dots \}$. Let $\pi_n : \mathbb{D} \longrightarrow D_n $ and $\pi_0 : \mathbb{D} \longrightarrow D_0 $ be the unique normalized coverings such that $\pi_n(0) = \pi_0(0) = p $ and $\pi^{\prime}_n(0), \, \pi^{\prime}_0(0) > 0$. Then $\pi_n \to \pi_{0}$ uniformly on compact subsets of $\mathbb{D}$. 
\end{lem}
\betagin{proof}
	Move $ p $ to $ \infty $ by $ T(z) = 1\big/(z - p) $ and let $\tilde D_n = T(D_n)$, $\tildelde D_0 = T(D_0)$. Then 
	\[
	\pi_nt = T \circ \pi_n : \mathbb{D} \longrightarrow \tilde D_n 
	\]
	and 
	\[\tilde \pi = T \circ \pi : \mathbb{D} \longrightarrow \tildelde D_0 
	\]
	are coverings that satisfy
	\[
	\lim_{z \to 0} z\pi_nt(z) = \lim_{z \to 0} \frac{z}{\pi_n(z) - \pi_n(0)} = \frac{1}{\pi_n^{\prime}(0)} > 0 
	\]
	and 
	\[
	\lim_{z \to 0} z\tilde \pi(z) = \lim_{z \to 0} \frac{z}{\pi(z) - \pi(0)} = \frac{1}{\pi^{\prime}(0)} > 0. 
	\]
	It is evident that the domains $ \tilde D_n $ converge to $ \tildelde D_0 $ in the Carath\'eodory kernel sense and Hejhal's result \cite{Hejhal} shows that
	\[
	\tilde \pi_n \to \tildelde \pi_0
	\] uniformly on compact subsets of $ \mathbb{D} $. This completes the proof.   
	
\end{proof}

\betagin{proof}[Proof of the Theorem~\ref{T:contHurM}]
	Fix a point $a \in D$ and let $ a_n \to a $. Let $ G_n, \, G$ be the normalized Hurwitz coverings at $ a_n, a $ respectively. Since $ D $ is bounded, $ \{ G_n \} $ is a normal family. Assume that $ G_n \to \tildelde G $ uniformly on compact subsets of $ \mathbb{D} $. 
	

	
	By Theorem~6.4 of \cite{TheHurwitzMetric},

	\betagin{equation}\lambdabel{Eq:bilipchitzCondition}
	1\big/8 \deltalta_D(z) \leq \eta_D(z) \leq 2\big/ \deltalta_D(z)
	\end{equation}
	where $ \deltalta_D(z) = {\rm dist}(z, \partialrtial D) $. By definition, $ \eta_D(a_n) = 1\big/G_n^{\prime}(0) $ which gives
	\[
	2 \deltalta_D(a_n) \leq G_n^{\prime}(0) \leq 8 \deltalta_D(a_n)
	\]
	
	for all $ n $ and hence
	\[
	2 \deltalta_D(a) \leq \tildelde G^{\prime}(0) \leq 8 \deltalta_D(a).
	\]
	Since $ \deltalta_D(a_n),\, \deltalta_D(a) $ have uniform positive lower and upper bounds, it follows that $ G_n^{\prime}(0)  $ and $ \tildelde G^{\prime}(0) $ admits uniform lower and upper bounds as well. We will now use the following fact which is a consequence of the inverse function theorem. 
	

	
	{\bf \textit{Claim}}: Let $ f : \Omegaega \longrightarrow \mathbb{C} $ be holomorphic and suppose that $ f^{\prime}(z_0) \neq 0 $ for some $ z_0 \in 
	\Omegaega $. Then there exists $ \deltalta > 0 $ such that $ f : B(z_0, \deltalta) \longrightarrow G_n^{\prime}(0) $ is biholomorphic and $ B(f(z_0), \deltalta \vert f^{\prime}(z_0) \vert \big/2) \subset f(B(z_0, \deltalta))$. 
	

	
	To indicate a short proof of this claim, let $ \deltalta > 0 $ be such that 
	\betagin{equation*}\lambdabel{Eq:DerIneq}
	\vert f^{\prime}(z) - f^{\prime}(z_0) \vert < \vert f^{\prime
	}(z_0) \vert\big/2
	\end{equation*}
	for all $ \vert z - z_0 \vert < \deltalta $. Then
	$ g(z) = f(z) - f^{\prime}(z_0)z $ satisfies 
	\[
	\vert g^{\prime}(z) \vert \leq 1\big/2 \vert f^{\prime}(z_0) \vert 
	\]
	and hence
	\betagin{equation*}\lambdabel{Eq:LipCon}
	\vert f(z_2) - f(z_1) - f^{\prime}(z_0)z(z_2 - z_1) = 
	\vert g(z_2) - g(z_1)  \vert \leq  \vert f^{\prime}(z_0)\vert \vert z_2 - z_1 \vert \big/2.
    \end{equation*}
	This shows that $ f $ is injective on $ B(z_0, \deltalta) $. Finally, if $ w \in B(f(z_0), \deltalta \vert f^{\prime}(z_0)\vert \big/2) $, then 
	\[
	z_k = z_{k - 1} - \frac{w - f^{\prime}(z_{k - 1})}{f^{\prime}(z_0)}
	\]
	defines a Cauchy sequence which is compactly contained in $ B(z_0, \deltalta) $. It converges to $ \tildelde z \in B(z_0, \deltalta)  $ such that $ f(\tildelde z) = w $. This shows that $ B(f(z_0), \deltalta \vert f^{\prime}(z_0) \vert \big/2) \subset f(B(z_0, \deltalta))$.
	

	
	Let $ m, \deltalta > 0 $ be such that
	\[
	\vert \tildelde G^{\prime}(z) - \tildelde G^{\prime}(0) \vert < m \big/2 < m \leq \frac{\vert \tildelde G^{\prime}(0) \vert}{2}
	\] 
	for $ \vert z \vert < \deltalta $. Since $ G_n $ converges to $ \tildelde G $ uniformly on compact subsets of $ \mathbb{D} $,
	\[
	\vert G_n^{\prime}(0) \vert\big/2 \gammaeq \vert \tildelde G^{\prime}(0) \vert\big/2 - \vert G_n^{\prime}(0) - \tildelde G^{\prime}(0) \vert\big/2 \gammaeq m - \tau
	\]
	for $ n $ large. Here $ 0 < \tau < m $. On the other hand,
	\[
	\vert G_n^{\prime}(z) - G_n^{\prime}(0) \vert 
	\leq 
	\vert  \tildelde G^{\prime}(z) - \tildelde  G^{\prime}(0) \vert 
	+ \vert G_n^{\prime}(z) - \tildelde G^{\prime}(z) \vert 
	+ \vert G_n^{\prime}(0) - \tildelde  G^{\prime}(0) \vert \leq m \big/2 + \epsilonsilon + \epsilonsilon
	\]
	for $ \vert z \vert < \deltalta $
	and $ n $ large enough. Therefore, if $ 2 \epsilonsilon + \tau < m\big/2 $, then 
	\[
	\left\vert G_n^{\prime}(z) - G_n^{\prime}(0) \right \vert \leq m \big/2 + 2 \epsilonsilon < m - \tau < \vert G_n^{\prime}(0) \vert \big/2
	\]
	for $ \vert z \vert < \deltalta $ and $ n $ large enough. It follows from the claim that there is a ball of uniform radius, say $ \eta > 0 $ which is contained in the images $ G_n(B(0, \deltalta)) $. Choose $ p \in B(0, \eta) $. This will serve as a base point in the following way. Let $ \pi_n : \mathbb{D} \longrightarrow D_n = D \setminus \{
    a_n	\} $ be holomorphic coverings such $ \pi_n(0) = p $. Then there exist holomorphic coverings $ \tildelde \pi_n : \mathbb{D} \longrightarrow \mathbb{D}^* $ such that    
	\[
	\betagin{tikzcd}
	\mathbb{D} \arrow{r}{\tildelde \pi_n} \arrow[swap]{dr}{\pi_n} & \mathbb{D}   ^{*} \arrow{d}{G_n} \\
	& D_n
	\end{tikzcd}
	\]
	commutes, i.e., $ G_n \circ \tildelde \pi_n = \pi_n $. By locally inverting $ G_n $ near the origin,
	\[
	\tildelde \pi_n(0) = G_n^{-1} \circ \pi_n(0) = G_n^{-1}(p).
	\]
	The family $ \{\tildelde \pi_n\} $ is normal and admits a convergent subsequence. Let $ \tildelde \pi_0 $ be a limit of $ \tildelde \pi_{k_n} $. The image $ \tildelde \pi_0(\mathbb{D})  $ can not intersect $ \partialrtial \mathbb{D} $ as otherwise $ \tildelde \pi_0(z) = e^{i \theta_0} $ for some $ \theta_0 $. This contradicts the fact that $ \tildelde \pi_{k_n}(0) = G_{k_n}^{-1}(p)$ is compactly contained in $ \mathbb{D} $. If $ \tildelde \pi_0(\mathbb{D}) $ were to contain the origin, then $ \tildelde \pi_0(z) \equiv 0 $ as otherwise $ \tildelde \pi_n(\mathbb{D}) $ would also contain the origin by Hurwitz's theorem. The conclusion of all this is that $ \tildelde \pi_0 : \mathbb{D} \longrightarrow \mathbb{D}^* $ is non-constant and hence a covering by Lemma~\ref{L:UniformConvergenceOfPunCoveringMpas}. By Lemma~\ref{L:HyperbolicCoveringConvergenc}, $ \pi_n \to \pi_0 $ where $ \pi_0 : \mathbb{D} \longrightarrow \mathbb{D}_a = D \setminus \{a  \}$ is a covering and hence by passing to the limits in 
	\[
	G_n \circ \tildelde \pi_n = \pi_n
	\] 
	we get
	\[
	\tildelde G \circ \tildelde \pi_n = \pi_0.
	\] 
	This shows that $ \tildelde G : \mathbb{D}^* \longrightarrow D_a$ is a covering. As noted earlier $ \tildelde G^{\prime}(0) > 0 $ and this means that $ \tildelde G = G $, the normalized Hurwitz covering at a.    
\end{proof}

\betagin{lem}\lambdabel{L:HurCoverScalingConvergence}
	Let $ D_j $ be the sequence of domains that converges to $ \mathcal{H} $ as in Proposition~\ref{Prop:ConvergenceAhlforsSzegoGarabeidian}. Let $ z_j $ be a sequence converging to $ a \in \mathcal{H} $ satisfying $ z_j \in D_j $ for all $ j $ and let $ G_j $ be the normalized Hurwitz covering of $ D_j$ at the point $ z_j $ and $ G $ be the normalized Hurwitz covering of $ \mathcal{H}$ at $ a $. Then $ G_j $ converges to $ G $ uniformly on compact subsets of $ \mathbb{D} $. 
\end{lem}
\betagin{proof}
	Since $ D_j $ converges to $ \mathcal{H} $ in the Hausdorff sense  and $ z_j \to a $, there exist $ r > 0 $ and a point $ p \in \mathcal{H} $ such that $p \in  B(z_j, r) \subset D_j $ for all large $ j $ -- for simplicity we may assume for all $ j $ -- and $p \in  B(a, r) \subset \mathcal{H} $ satisfying $ p \neq z_j $ and $ p \neq a $ and $ G_j $ is locally invertible in a common neighborhood containing $ p $ for all $ j $. Let $ \pi_j  : \mathbb{D} \longrightarrow D_j \setminus \{z_j\}$ be the holomorphic coverings such that $ \pi_j(0) = p$ and $ \pi^{\prime}(0) > 0 $. Let $ \pi_{0 j} : \mathbb{D} \longrightarrow \mathbb{D}^* $ be holomorphic coverings such that $ \pi_j = G_j \circ \pi_{0 j} $. Since $ D_j \setminus \{z_j\} $ converges to $ \mathcal{H}\setminus \{a\} $ in the Carath\'eodory kernel sense, by Hejhal's result \cite{Hejhal}, $ \pi_j $ converges to $ \pi $ uniformly on compact subsets of $ \mathbb{D} $, where $ \pi : \mathbb{D} \longrightarrow \mathcal{H}\setminus \{a\}  $ is the holomorphic covering such that $ \pi(0) = p $ and $ \pi^{\prime}(0) > 0 $. 
	

	
	Since $ D_j \to \mathcal{H} $ in the Hausdorff sense, any compact set $ K $ with empty intersection with $ \overlineerline \mathcal{H} $ will have no intersection with $ D_j $ for $ j $ large and as a result the family $ \{G_j\} $ is normal. Also note that $ \pi_{0 j}(\mathbb{D}) = \mathbb{D}^* $ for all $ j $, and this implies that $ \{\pi_{0 j}\}$ is a normal family. Let $ G_0 $ and $ \pi_0 $ limits of  $ \{G_j\} $ and $ \{\pi_j\} $ respectively. Now, together with the fact that $ \pi_0 $ is non-constant -- guaranteed by its construction   -- and the identity $ \pi_j  = G_j \circ \pi_{0 j}$, we have $ \pi = G_0 \circ \pi_0 $. This implies that $ G_0 : \mathbb{D}^* \longrightarrow \mathcal{H}_a = \mathcal{H} \setminus \{a \} $ is a covering since $ \pi_0 $ is a covering which follows by Lemma~\ref{L:UniformConvergenceOfPunCoveringMpas}. Since $ G_j(0) = z_j $ and $ G_j^{\prime}(0) > m > 0 $ -- for some constant $ m > 0 $ which can be obtained using the bilipschitz condition of the Hurwitz metric, for instance, see inequality~ (\ref{Eq:bilipchitzCondition}) -- it follows $ G_0(0) = a $  and $ G_0^{\prime}(0) \gammaeq m $. This shows that $ G_0 $ is the normalized Hurwitz covering, in other words $ G_0 = G $. Thus, we showed that any limit of $ G_j $ is equal to $ G $ and this proves that $ G_j $ converges to $ G $ uniformly on compact subsets of $ \mathbb{D} $.
\end{proof}
\betagin{lem}\lambdabel{L:ConvergenceOfTheHurwitzMetricScaling}
	Let $\{D_j\}$ be the sequence of domains that converges to the half-space $\mathcal{H}$ as in Proposition~\ref{Prop:ConvergenceAhlforsSzegoGarabeidian}. Then $\eta_{D_j}$ converges to $\eta_{\mathcal{H}}$ uniformly on compact subsets of $\mathcal{H}$.  
\end{lem}
\betagin{proof}
	Let $K \subset \mathcal{H}$ be a compact subset. Without loss of generality, we may assume that $K \subset D_j$ for all $j$. 
	

	
	If possible assume that $\eta_{D_j}$ does not converges to $\eta_{\mathcal{H} }$ uniformly on $K$. 
	Then there exist $\epsilonsilon_{0} >0 $, a sequence of integers $\{ k_j \}$ and sequence of points $\{ z_{k_j}\}\subset K \subset D_{k_j}$ such that
	\[
	\vert \eta_{D_{k_j}}(z_{k_j})- \eta_{\mathcal{H}}(z_{k_j}) \vert >\epsilonsilon_0.
	\]      
	Since $K$ is compact, for simplicity, we assume $z_{k_j}$ converges to a point $z_0 \in K$.
	Using the continuity of the Hurwitz metric, we have 
	\[
	\vert \eta_{\mathcal{H}}(z_{k_j})- \eta_{\mathcal{H}}(z_0) \vert < \epsilonsilon_0\big/2
	\] 
	for $j$ large. 
	By the triangle inequality 
	\[
	\vert \eta_{D_{k_j}}(z_{k_j})- \eta_{\mathcal{H}}(z_0) \vert > \epsilonsilon_0\big/2.
	\]
	Since the domains $D_{k_j}$ are bounded there exist normalized Hurwitz coverings $ G_{k_j} $ of $ D_{k_j} $ at $ z_{k_j} $. Using the convergence of $ D_{k_j}\setminus \{z_{k_j}\} $ to $ \mathcal{H} \setminus \{z_0\}  $ in the Carath\'eodory kernel sense we have by Lemma~\ref{L:HurCoverScalingConvergence}, $ G_{k_j} $ converges to the normalized Hurwitz covering map $ G $ of $ \mathcal{H} $ at the point $ z_0 $ uniformly on every compact subset of $ \mathcal{H} $ as $ j \to \infty $. But we have 
	\[
	\eta_{\mathcal{H}}(z_0) = 1\big/G^{\prime}(0).
	\]
	From above we obtain that $ \eta_{D_{k_j}}(z_{k_j}) $ converges to $ \eta_{\mathcal{H}}(z_0) $ as $ j \to \infty $. But from our assumption, we have 
	\[
	\vert \eta_{D_{k_j}}(z_{k_j})- \eta_{\mathcal{H}}(z_0) \vert  > \epsilonsilon_0\big/2
	\]
	and this is a contradiction. Therefore, $ \eta_{D_{k_j}}$ converges to $\eta_{\mathcal{H}}$ uniformly on compact subsets of $\mathcal{H}$. 
\end{proof}

\betagin{cor}\lambdabel{C:AsymptoticHurwitzMetric}
	Let $ D \subset \mathbb{C}$ be a bounded domain. Suppose $ p \in \partialrtial D $ is a $ C^2 $-smooth boundary point. Then 
	\[
	\lim_{z \to p}\eta_D(z)(-\psi(z)) = \eta_{\mathcal{H}}(0)= \vert \omegaega \vert \big/2.
	\]
\end{cor}
\betagin{proof}
	By Proposition~\ref{Pr:ConvergenceOfTheSugawaMetricUnderScaling}, if $ D_j $ is the sequence of scaled domains of $ D $ under the affine transformation $ T_j(z) = (z - p_j)\big/(-\psi(p_j)) $, for all $ z \in D $, where $ \psi $ is a local defining function of $ \partialrtial D $ at $ z = p $ and $ p_j $ is a sequence of points in $ D $ converging to $ p $, then the corresponding sequence of Hurwitz metrics $ \eta_{D_j}  $ of $ D_j $ converges to $ \eta_{\mathcal{H}} $ uniformly on every compact subset of $ \mathcal{H} $ as $ j \to \infty $. In particular, $\eta_{D_j}(0) $ converges to $ \eta_{\mathcal{H}}(0) $ as $ j \to \infty $. Again, we know that $ \eta_{D_j}(z) = \eta_{D}(T_j^{-1}(z)) \vert (T_j^{-1})^{\prime}(z)\vert $. From this it follows that  $ \eta_{D_j}(0) = \eta_{D}(p_j) (-\psi(p_j)) $, and consequently, $ \eta_{D}(p_j) (-\psi(p_j)) $ converges to $ \eta_{\mathcal{H}}(0) $ as $ j \to \infty $. Since $ p_j $ is an arbitrary sequence converging to $ p $, hence we have the following
	\[
	\lim_{z \to p}\eta_D(z)(-\psi(z)) = \eta_{\mathcal{H}}(0) = \vert \omegaega \vert \big/2.
	\]

	
\end{proof}

\betagin{proof}[Proof of Theorem~\ref{T:TheHurwitzMetric}]
From Theorem~\ref{T:contHurM}, it follows that the Hurwitz metric is continuous and as a consequence of Corollary~\ref{C:AsymptoticHurwitzMetric}, we have
\[
\eta_D(z) \approx 1\big/{\rm dist}(z, \partialrtial D).
\]
\end{proof}

\section{A curvature calculation}
\noindent
For a smooth conformal metric $ \rho(z)\vert dz \vert $ on a planar domain $ D $, the curvature 
\[
K_{\rho} = -\rho^{-2} \mathbb{D}eltalta \log \rho
\]
is a well defined conformal invariant. It $ \rho $ is only continuous, Heins \cite{Heins} introduced the notion of generalized curvatures as follows:

For $ a \in D $ and $ r > 0 $, let
\[
T(\rho, a, r) = \left. -\frac{4}{r^2}\left\{\frac{1}{2 \pi}\int_0^{2\pi} \log \rho(a + r e^{i \theta})d\theta - \log \rho(a)\right\}\right/ \rho^2(a).
\]
The $ \liminf_{r \to 0} T(\rho, a , r)$ and $ \limsup_{r \to 0} T(\rho, a , r)$ are called generalized upper and lower curvature of $ \rho(z)\vert dz \vert $. Our aim is to give some estimates for the quantities $ T(\rho, a , r) $ for $ r > 0 $ and $ \rho = q_D $ or $ \eta_D $. 
\betagin{lem}
	Let $ T_j : D \longrightarrow D_j $ be given by 
	\[
	T_j(z) = \frac{z - p_j}{- \psi(p_j)}
	\]
	where $ D $ and $ p_j \to p $ as before. Then 
	\[
	T\left(\rho, p_j , r\vert \psi(p_j) \vert \right) = T\left((T_j)_*\rho, 0 , r\right)
	\]
	for $ r > 0 $ small enough. Here $ (T_j)_*\rho $ is the push-forward of the metric $ \rho $.
\end{lem} 
\betagin{proof}

	Computing,
	\betagin{align*}
	&T\left((T_j)_*\rho, 0 , r\right)\\
	 &=  \left. -\frac{4}{r^2} \left\{\frac{1}{2 \pi}\int_0^{2\pi} \log((T_j)_*\rho)( re^{i\theta}d) d\theta - \log((T_j)_*\rho)(0)\right\}\right/((T_j)_*\rho)^2(0)\\
	&= \left.-\frac{4}{r^2} \left\{\frac{1}{2 \pi}\int_0^{2\pi} \log\rho (T_j^{-1}(re^{i\theta}))\vert (T_j^{-1})^{\prime}(re^{i\theta}) \vert d\theta - \log\rho ((T_j^{-1})(0))\vert (T_j^{-1})^{\prime}(0) \vert\right\}\right/\rho ((T_j^{-1})(0))^2\vert (T_j^{-1})^{\prime}(0) \vert^2.
	\end{align*}
	Since $ (T_j^{-1})^{\prime}(z) = -\psi(p_j) $ for all $ z \in D $, we have
	\[
	T\left((T_j)_*\rho, 0 , r\right) = \left. -\frac{4}{r^2\vert \psi(p_j) \vert^2} \left\{\frac{1}{2 \pi}\int_0^{2\pi} \log\rho (p_j + r\vert \psi(p_j) \vert e^{i\theta}) d\theta - \log\rho(p_j )\right\}\right/\rho^2(p_j ).
	\]
	This implies
	\[
	T\left(\rho, p_j , r\vert \psi(p_j) \vert \right) = T\left((T_j)_*\rho, 0 , r\right).
	\]
\end{proof}
\betagin{lem}
	Fix $ r_0 $ small enough and let $ \epsilonsilon > 0 $ arbitrary. Then
	\[
	-4 - \epsilonsilon < T\left(\rho, p_j , r_0\vert \psi(p_j) \vert \right) < -4 + \epsilonsilon.
	\]
	for $ j $ large. Consequently, for a fixed $ r $ with $ 0 < r < r_0 $,
	\[
	\lim_{j \to \infty}T(\rho, p_j, \vert \psi(p_j) \vert r) = -4
	\]
	
\end{lem}
\betagin{proof}
	From the lemma above, it is enough to show the inequality for $ T\left((T_j)_*\rho, 0 , r_0\right) $. Recall that the scaled Sugawa metric and Hurwitz metric, i.e., $ q_{D_j} $ and $ \eta_{D_j} $ converge to $ q_{\mathcal{H}} $ and $ \eta_{\mathcal{H}} $ respectively. The convergence is uniform on compact subsets of $ \mathcal{H} $ and note that $ q_{\mathcal{H}} = \eta_{\mathcal{H}} $. By writing $ \rho_j $ for $ q_{D_j} $ or $ \eta_{D_j} $, and $ \rho_{\mathcal{H}} $ for $ q_{\mathcal{H}} = \eta_{\mathcal{H}} $, we get
	\[
	T(\rho_{D_j}, 0, r) \to T(\rho_{\mathcal{H}}, 0, r)  
	\]
	for a fixed $ r $ as $ j \to \infty $. That is
	\[
	T(\rho_{\mathcal{H}}, 0, r) - \epsilonsilon\big/2 < T(\rho_{D_j}, 0, r) < T(\rho_{\mathcal{H}}, 0, r) + \epsilonsilon\big/2
	\]
	for $ j $ large. Also recall that since the curvature of $ \rho_{\mathcal{H}} $ is equal to $ -4 $, there exists $ r_1 > 0 $ such that 
	\[
	-4 - \epsilonsilon\big/2 < T(\rho_{\mathcal{H}}, 0, r) < -4 + \epsilonsilon\big/2
	\]
	whenever $ r < r_1 $. Now, choose $ r_0 = r_1/2 $, then 
	there exists $ j_0 $ depending on $ r_0 $ such that
	\[
	-4 - \epsilonsilon < T\left(\rho_{D_j}, 0 , r_0\right) < -4 + \epsilonsilon.
	\]
	for all $ j \gammaeq j_0 $.
	This completes the proof.
\end{proof}

\betagin{bibdiv}
	\betagin{biblist}
		
		\bib{MainAumannCaratheodory}{article}{
			author={Aumann, G.},
			author={C, Carath\'eodory},
			title={Ein satz iiber die konf orme abbildung mehrfach zusammenhangender
				gebiete},
			date={1934},
			journal={Math. Ann.},
			volume={109},
			number={4},
			pages={756\ndash 763},
		}
		
		\bib{BurbeaPaper}{article}{
			author={Burbea, Jacob},
			title={The curvatures of the analytic capacity},
			date={1977},
			ISSN={0025-5645},
			journal={J. Math. Soc. Japan},
			volume={29},
			number={4},
			pages={755\ndash 761},
			url={https://doi.org/10.2969/jmsj/02940755},
			review={\MR{0460624}},
		}
		
		\bib{ScalingInHigherDimensionKrantzKimGreen}{book}{
			author={Greene, Robert~E.},
			author={Kim, Kang-Tae},
			author={Krantz, Steven~G.},
			title={The geometry of complex domains},
			series={Progress in Mathematics},
			publisher={Birkh\"auser Boston, Inc., Boston, MA},
			date={2011},
			volume={291},
			ISBN={978-0-8176-4139-9},
			url={https://doi.org/10.1007/978-0-8176-4622-6},
			review={\MR{2799296}},
		}
		
		\bib{Heins}{article}{
			author={Heins, Maurice},
			title={On a class of conformal metrics},
			date={1962},
			ISSN={0027-7630},
			journal={Nagoya Math. J.},
			volume={21},
			pages={1\ndash 60},
			url={http://projecteuclid.org/euclid.nmj/1118801041},
			review={\MR{0143901}},
		}
		
		\bib{Hejhal}{article}{
			author={Hejhal, Dennis~A.},
			title={Universal covering maps for variable regions},
			date={1974},
			ISSN={0025-5874},
			journal={Math. Z.},
			volume={137},
			pages={7\ndash 20},
			url={https://doi.org/10.1007/BF01213931},
			review={\MR{0349989}},
		}
		
		\bib{InvariantMetricJarnicki}{book}{
			author={Jarnicki, Marek},
			author={Pflug, Peter},
			title={Invariant distances and metrics in complex analysis},
			edition={extended},
			series={De Gruyter Expositions in Mathematics},
			publisher={Walter de Gruyter GmbH \& Co. KG, Berlin},
			date={2013},
			volume={9},
			ISBN={978-3-11-025043-5; 978-3-11-025386-3},
			url={https://doi.org/10.1515/9783110253863},
			review={\MR{3114789}},
		}
		
		\bib{AumannCaratheodoryRigidityConstant}{article}{
			author={Minda, David},
			title={The {A}umann-{C}arath\'eodory rigidity constant for doubly
				connected regions},
			date={1979},
			ISSN={0386-5991},
			journal={Kodai Math. J.},
			volume={2},
			number={3},
			pages={420\ndash 426},
			url={http://projecteuclid.org/euclid.kmj/1138036071},
			review={\MR{553246}},
		}
		
		\bib{HyperbolicMetricCoveringAumannCaratheodoryConstant}{article}{
			author={Minda, David},
			title={The hyperbolic metric and coverings of {R}iemann surfaces},
			date={1979},
			ISSN={0030-8730},
			journal={Pacific J. Math.},
			volume={84},
			number={1},
			pages={171\ndash 182},
			url={http://projecteuclid.org/euclid.pjm/1102784353},
			review={\MR{559634}},
		}
		
		\bib{TheHurwitzMetric}{article}{
			author={Minda, David},
			title={The {H}urwitz metric},
			date={2016},
			ISSN={1661-8254},
			journal={Complex Anal. Oper. Theory},
			volume={10},
			number={1},
			pages={13\ndash 27},
			url={https://doi.org/10.1007/s11785-015-0446-y},
			review={\MR{3441465}},
		}
		
		\bib{CaratheodoryKernelConvergence}{book}{
			author={Segal, Sanford~L.},
			title={Nine introductions in complex analysis},
			edition={Revised},
			series={North-Holland Mathematics Studies},
			publisher={Elsevier Science B.V., Amsterdam},
			date={2008},
			volume={208},
			ISBN={978-0-444-51831-6},
			review={\MR{2376066}},
		}
		
		\bib{SugawaMetric}{article}{
			author={Sugawa, Toshiyuki},
			title={A conformally invariant metric on {R}iemann surfaces associated
				with integrable holomorphic quadratic differentials},
			date={2010},
			ISSN={0025-5874},
			journal={Math. Z.},
			volume={266},
			number={3},
			pages={645\ndash 664},
			url={https://doi.org/10.1007/s00209-009-0590-z},
			review={\MR{2719424}},
		}
		
		\bib{SuitaI}{article}{
			author={Suita, Nobuyuki},
			title={On a metric induced by analytic capacity},
			date={1973},
			journal={K\=odai Math. Sem. Rep.},
			volume={25},
			pages={215\ndash 218},
		}
		
	\end{biblist}
\end{bibdiv}

\end{document}