Hyperbolic distortion of conformal maps at corners (Q836094)

Let \(\Delta\) be the unit disk and let \(f:\Delta\to\Delta\) be a conformal mapping. The hyperbolic derivative of \(f\) is the function \[ f^*(z):=f^\prime(z)\;\frac{1-|z|^2}{1-|f(z)|^2},\quad z\in\Delta. \] Note that \[ |f^*(z)|=\lim_{w\to z}\frac{\rho(f(z),f(w))}{\rho(z,w)}, \] where \(\rho\) denotes the hyperbolic metric in \(\Delta\). Let \(\zeta\in\partial \Delta\) and suppose that \(f\) extends continuously in an arc of \(\partial \Delta\) containing \(\zeta\) and that \(|f(\zeta)|=1\). Suppose also that \(\partial f(\Delta)\) has a corner at \(f(\zeta)\) of opening \(\alpha\) (\(0\leq \alpha\leq 2\pi\)). Let \(\Gamma\) be a curve in \(\Delta\) ending at \(\zeta\) non-tangentially. The author proves that \(|f^*|\) tends to a limit along the curve \(\Gamma\) and she gives an explicit formula for this limit. The formula involves the angle \(\alpha\) and the angle of approach of \(\Gamma\) to \(\zeta\).