Covering of radial segments under a conformal map of a circle (Q2639192): Difference between revisions

The problem of covering radial segments under conformal maps in various times was treated by G. Pólya and G. Szegö, M. A. Lavrent'ev, G. M. Goluzin, J. Jenkins, P. M. Tamrazov and others. One of this purposes of the present paper is to prove the following theorem. Theorem 3.2. \(\forall w=f(z)\in {\mathfrak M}_ 0:| f(z)| \leq M\), \(z\in U\) \((1<M\leq \infty)\) and \(\forall \theta,r\), \(0<r\leq 1\) one has the next inequality: \[ (I)\quad \prod^{n}_{k=1}\frac{\Lambda_ f(r,\theta +2\pi k/n)}{(1+(\Lambda_ f(r,\theta +2\pi k/n)/M)^ n)^{2/n}}\geq r^ n(1+r^ n)^{-2}, \] with the exception, possibly, of this case, when \(n=1\), \(M=\infty\), and the domain f(U) covers the ray (w: \(w=-\rho e^{i\theta}\), \(0\leq \rho \leq \infty)\). The equality in (I) holds only for the functions of the class \({\mathfrak M}_ 0\), which map the circle U on the circle \(| W| <M\) with the cuts by the segments \(\{\) w: \(w^ n=\rho e^{i\theta n}\), \((1+\sqrt{1-M^{-n}})^{-2}\leq \rho \leq M^ n\}\). Here \({\mathfrak M}_ 0\) is the class of functions \(w=f(z)\), which are meromorphic and schlicht in the circle \(U=\{z:| z| \leq 1\}\), with the condition \(f(0)=0\), \(f'(0)=1\), \(\Lambda_ f(r,\phi)\), \(f\in {\mathfrak M}_ 0\) is the distance from the origin of the coordinates to the nearest boundary point of the set f(\(\{\) z: \(| z| <r\})\), which is lying on the ray arg w\(=\phi\), \(0<| w| <\infty\).