Uniformly bounded maximal $\varphi$-disks, Bers space and harmonic maps (Q4501083)

Associated to any holomorphic function \(\varphi\) defined in the unit disc \(\Delta\) and any point \(z_0\) in \(\Delta\) at which \(\varphi(z_0)\neq 0\), a natural parameter \(w\) is defined by \[ w=\Phi(z)= \int^z_{z_0} \sqrt{\varphi (z)}dz. \] \(R_{z_0}(\varphi)\) is defined to be the largest Euclidean radius of a disc \(U\) in the \(w\)-plane such that a continuation of \(\Phi^{-1}\) is a homeomorphism from \(U\) onto a domain in \(\Delta\), and \(R_\infty(\varphi)\) is defined to be \(\sup_{z_0 \in\Delta} \{R_{z_0} (\varphi)\}\). Finally, the Bers' norm of \(\varphi\) is defined by \[ \|\varphi \|_B=\sup_{z\in \Delta}\bigl( 1-|z|^2 \bigr)^2\bigl|\varphi(z) \bigr|. \] If \(\varphi\) is not identically zero, by using the Koebe \({1\over 4}\)-theorem the authors show that \(R_\infty (\varphi)^2\leq 16\|\varphi\|_B\), and by using Bloch's theorem they show \(\|\varphi \|_B\leq({16\over C})^2R_\infty (\varphi)^2\), where \(C\) is Bloch's constant. They use this result to show that Hopf differentials \(\varphi\) associated to harmonic \(k\)-quasiregular maps between certain hyperbolic surfaces satisfy \(\|\varphi \|_B<\infty\).