Teichmüller spaces and coefficient problems for univalent holomorphic functions (Q2204966)

The author proposes the features of Teichmüller spaces to create a powerful tool for solving coefficient problems in geometric function theory. The canonical class \(S\) is formed by univalent functions \(f\), \(f(z)=z+\sum_{n=2}^{\infty}a_nz^n\), on the unit disk \(\mathbb D=\{z\in\mathbb C:|z|<1\}\). The goal of the author is to estimate on \(S\) and other related classes the general nonconstant homogeneous polynomial coefficient functionals \(J(f)=J(a_{m_1},\dots,a_{m_s})\), \(J({\mathbf 0})=0\), where \(2<m_1<\dots<m_s\) and \(\{{\mathbf 0}\}=(0,\dots,0)\). Many distortion functionals on \(S\) are maximized by the so-called Koebe function \(\kappa_0(z)=z(1-z)^{-2}=\sum_{n=1}^{\infty}nz^n\) and rotations \(\kappa_{\theta}(z)=e^{-i\theta}\kappa_0(e^{i\theta}z)\). Denote by \(\hat S(1)\) the completion in the topology of locally uniform convergence on \(\mathbb D\) of the set of univalent functions \(f(z)=\sum_{n=1}^{\infty}a_nz^n\), \(|a_1|=1\), having quasiconformal extensions across \(\mathbb S^1=\partial\mathbb D\) to the sphere \(\hat{\mathbb C}=\mathbb C\cup\{\infty\}\) which satisfy \(f(1)=1\). The following main theorem shows the important role of two sets: the zero set \(\mathcal Z_J=\{f\in\hat S(1):J(f)=0\}\) and the set \(\mathcal K=\{\kappa_{\tau,\theta}(z)=e^{-i\theta}\kappa_0(e^{i\tau}z)\}\). Theorem 1. Any homogeneous polynomial functional \(J(f)\), whose zero set \(\mathcal Z_J\) is separated from \(\mathcal K\), is maximized on \(\hat S(1)\) only by the functions \(f_0\in\mathcal K\). Corollary 1. If a functional \(J(f)\) on \(S\) satisfies \[ \max_{S}|J(f)|=\max_{\hat S(1)}|J(f)|\ \text{ and }\ |J(\kappa_0)|>0, \] then every extremal of \(J(f)\) is a rotated Koebe function \(\kappa_{\theta}\) with some \(\theta\in[-\pi,\pi)\). For a homogeneous \(J\), any function \(\kappa_{\theta}\) is extremal for \(J\).