Covering theorem for \(p\)-valent functions with Montel's normalization (Q2347151)

A holomorphic function \(f\) on the unit disk \(U\) is called \(p\)-valent \((p\geq 1)\) if the equation \(f(z)=w\) has exactly \(p\) solutions in \(U\). Consider the class \(M_p(\omega)\), \(0<\omega<1\), of \(p\)-valent functions \(f\) with Montel's normalization \(f(0)=0\), \(f(\omega)=\omega\). For \(f\in M_p(\omega)\), let \(R(f)\) be the Riemann surface of the inverse function of \(f\). A subdomain of \(R(f)\) situated over the disk \(|w|<\rho\) and having \(k\) points over every point of this disk is said to be a \(k\)-valent disk of radius \(\rho\) on \(R(f)\). The authors prove a covering theorem: If \(f\in M_p(\omega)\), \(p\geq 2\), then \(R(f)\) contains a \(k\)-valent disk \(k\leq p\). They give the exact value of the optimal radius \(\rho\) in terms of the Chebyshev polynomial of the first kind \(T_p(z)=2^{p-1}z^p+\dots\). This covering theorem extends known results for univalent \((p=1)\) functions with Montel's normalization. The proof is based on Dubinin's previous study of Teichmüller's extremal problem for doubly connected domains on Riemann surfaces.