The sharp estimates of all homogeneous expansions for a class of quasi-convex mappings on the unit polydisk in \(\mathbb C^{n}\) (Q545405)

``In this paper, sharp estimates of all expansions by homogeneous polynomials for \(f\) are established, where \(f(z) = \big(f_{1}(z), f_{2}(z), \dots , f_{n}(z)\big)\) is a \(k\)-fold symmetric quasi-convex (holomorphic) mapping defined on the unit polydisk in \(\mathbb C^{n}\) and \[ \begin{multlined}\frac{D^{tk+1} f_p \left( 0 \right)\left( {z^{tk+1}} \right)}{\left( {tk + 1} \right)!} =\\ \sum\limits_{l_1 ,l_2 ,\dots,l_{tk + 1} = 1}^{n} \left| {a^{}_{p l_1 l_2 \cdots l_{tk + 1}}} \right| e_{}^{\text{i} \frac{\theta_{p l_1} + \theta_{p l_2} + \cdots + \theta_{p l_{tk + 1}}}{tk + 1}} z_{l_1} z_{l_2} \cdots z_{l_{tk + 1}}, \quad p = 1,2, \ldots ,n.\end{multlined} \] Here \(\text{i} = \sqrt {-1}\) , \(\theta_{pl_q} \in (- \pi , \pi ] \), (\(q = 1, 2, \ldots , tk + 1\)), \(l_{1}, l_{2}, \cdots , l_{tk+1} = 1, 2, \ldots, n\), \(t = 1, 2, \ldots \). Moreover, as corollaries, sharp upper bounds for a growth theorem and a distortion theorem for \(k\)-fold symmetric quasi-convex mappings are established. These results show that in the case of quasi-convex mappings, the Bieberbach conjecture in several complex variables is partly proved, and many known results are generalized.'' The paper begins with a motivation and links to the Bieberbach conjecture. Afterwards, the definitions of quasi-convex mappings, quasi-convex mappings of type A, and quasi-convex mappings of type B are given. These technical definitions of classes of normalized locally biholomorphic mappings are considered to be already standard in the field. \(k\)-fold symmetry means that \[ e^{\frac{-2\pi i}{k}}f\Big(e^{\frac{-2\pi i}{k}}x\Big)=f(x) \] for all \(x\) in the domain of definition. The main theorem says that, provided the mapping \(f\) belongs to one of the studied classes, the following estimate holds: \[ \frac{\|D^{m} f ( 0 )\left( {z^{m}} \right)\|}{ {m} !}\leq\frac{2}{m(m-1)}\bigg(1+\sum_{s=2}^{m-1}s\max_{1\leq p\leq n}\bigg\{ \sum_{l_1,l_2,...,l_{s}=1}^{n}|a_{pl_1l_2...l_s}|\bigg\}\bigg)\|{z}\|^{m} \] for \(m=3,4, \ldots\). The proofs are expectedly technical and the paper provides many corrollaries to the main estimate.