Maximal coefficient functionals on univalent functions (Q2246232)

The paper extends the author's approach to solving coefficient problems for holomorphic functions to a broad class of plurisubharmonic coefficient functionals. Let \(S\) denote the class of univalent functions \[f(z)=z+\sum_{n=2}^{\infty}a_nz^n\] on the unit disk \(\mathbb D=\{z\in\mathbb C:|z|<1\}\). The author considers general plurisubharmonic functionals of the form \[J(f)=\max_{-\pi\leq\vartheta_1,\dots,\vartheta_m\leq\pi}\left|\sum_{|n|=2}^N\alpha_{n_1,\dots,n_m}a_{n_1}\dots a_{n_m}e^{i(n_1\vartheta_1+\dots+n_m\vartheta_m)}\right|,\] \(J(f)=J(\alpha_{n_1,\dots,n_m})\), where \(|n|=n_1+\dots+n_m\) and the factors \(\alpha_{n_1,\dots,n_m}\) do not depend on the coefficients \(a_j\). The author proves the following general distortion theorem. Theorem. Any nonconstant plurisubharmonic coefficient functional \(J(f)\) is maximized on the class \(S\) only by rotations \(w_{\tau,\theta}(z)=e^{-i\theta}w(e^{i\tau}z)\) of the Koebe function \[\kappa(z)=\frac{z}{(1-z)^2}=\sum_{n=1}^{\infty}nz^n.\] Corollary. The Koebe function (and its rotations) maximizes every trigonometric polynomial \[\sum_{|n|=2}^Na_{n_1}\dots a_{n_m}e^{i(n_1\vartheta_1+\dots+n_m\vartheta_m)}\] of degree \(N\geq2\) generated by the coefficients of functions \(f\in S\). The proof is based on lifting the functionals onto the Bers fiber space over the universal Teichmüller space.