Upper estimates for hyperbolic metrics on subdomains (Q420967)

For a hyperbolic planar domain \(D\), we denote by \(\rho_D\) the density of the hyperbolic metric in \(D\). Suppose that \(D\) is a subdomain of the unit disk \(\Delta\). Then for \(z\in D\), \(\rho_\Delta(z)\leq \rho_D(z)\). The author uses the Schwarz-Pick lemma to prove, for \(z\in D\), the estimate \[ \rho_D(z)\leq \frac{1}{\delta_D(z)}\;\rho_\Delta(z), \] where \(\delta_D(z)\) is the positive function on \(D\) determined by the equation \[ d_\Delta(z,\partial D)=\log\frac{1+\delta_D(z)}{1-\delta_D(z)}, \] and \(d_\Delta(z,\partial D)\) is the distance of \(z\) from \(\partial D\) (in the hyperbolic geometry of \(\Delta\)). The author generalizes this estimate for Riemann surfaces of the form \(\Delta/\Gamma\), where \(\Gamma\) is a Fuchsian group.