Asymptotics of the Bohr radius for polynomials of fixed degree (Q2473962): Difference between revisions

Let \(\mathbb D\) denote the unit disk \(\{z : |z| < 1\}\) of the complex plane \(\mathbb C\) and \(\mathcal H(\mathbb D)\) the vector space of functions analytic in \(\mathbb D\) endowed with the norm \(|f|_{\mathbb D}=\sup_{z\in\mathbb D}|f(z)|\). The Bohr radius \(R\) for \(\mathcal H(\mathbb D)\) is defined as \[ R=\sup_{0<r<1}\left\{r\mid \sum_{k=0}^\infty|a_k(f)|r^k\leq |f|_{\mathbb D}\text{ for all }f(z):=\sum_{k=0}^\infty a_k(f)z^k\in\mathcal H(\mathbb D)\right\} \] and it is a well-known result due to Harald Bohr (partly) and later M. Riesz, I. Schur, and F. Wiener that \(R = \frac13\). It is also true but less widely known that \(\sum_{k=0}^\infty|a_k(f)|(1/3)^k=|f|_{\mathbb D}\) iff \(f\) is a constant function. The author replaces the space \(\mathcal H(\mathbb D)\) by the subspace \(P_n\) of \(\mathcal H(\mathbb D)\) consisting of complex polynomials of degree \(\leq n\), characterizes this modified Bohr radius \(R_n\) as the smallest root in \((0, 1)\) of an explicit Toeplitz matrix, studies the asymptotics of this root \(R_n\) as \(n\to\infty\), and shows that this modified Bohr radius yields equality \[ \sum_{k=0}^n|a_k(p)|R_n^k=|p|_{\mathbb D} \] only for the constant polynomials \(p\). The proof is based on the notion of bound-preserving operators.