On a family of convex polynomials (Q1193071)

Let \(P_ n(z) = \sum^{n}_{k=0} ((1+z)^ k /k!)\) be the \(n\)-th partial sum of the series \(e^{(1+z)} = \sum^\infty_{k=0} ((1+k)^ k/k!)\); note \(P_{n-1}(z) = P'_ n(z)\). The author proves \(P_ n(D)\) is convex, where \(D = \left\{| z| < 1 \right\}, n \geq 1\). Hence, \(C_ n(z) = (P_ n (z) - P_ n(0))/P'_ n(0)\), \(n = 1,2,\cdots\) maps \(D\) onto a convex domain. Here \[ C_ n(z) = \sum^ n_{k=1} \left (\sum^{n-k}_{\ell=0} {1\over \ell !}\big / \sum^{n-1}_{\ell=0} {1\over \ell !} \right ) {z^ k\over k!}. \] \noindent Let \(K = K_ 0 = \{f: f\) is analytic in \(D\), \(f(0) = 0 = f'(0) - 1\) and \(f(D)\) is convex \(\}\), \(K_{n+1} = \{f \in K_ n: f^{n+1} (D)\) is convex or constant \(\}\) and \(K_ \infty = \displaystyle\cap^ \infty_{n=1} K_ n\). In [\textit{S. M. Shah} and \textit{S. Y. Trimble}, J. Math. Anal. Appl. 33, 220-229 (1971)] and [\textit{T. J. Suffridge}, Ann. Univ. Mariae Curie-Skłodowska, Sect. 36/37, 143-148 (1983; Zbl 0592.30018)]it is conjectured that \(\lim_{n\to \infty} C_ n(z) = e^ z - 1\) is extremal in \(K_ \infty\), i.e. if \(f \in K_ \infty\), \(f(z) = \sum^ \infty_{k=1} a_ kz^ k\), then \(| a_ k| \leq 1/k!\) and \(1-e^{-| z|} \leq | f(z) | \leq e^{| z|} - 1\). Let \(F_ n = \{f \in K_ n: f\) is a polynomial of degree \(\leq n\}\). The author proves: Let \(n = 2,3 \) or 4 and \(P_ n(z) = z + \sum^ n_{k=2} a_ kz^ k \in F_ n\). Then \[ | a_ k| \leq {1\over k!} \left (\sum^{n-k}_{\ell=0} {1\over \ell !} \big / \sum^{n-1}_{\ell=0} {1\over \ell !}\right),\qquad 2 \leq k \leq n \] \noindent with equality iff \(P = C_ n\). He conjectures this is true for all \(n\).