The Bohr inequality for Dirichlet series (Q2583802)

In 1914, H.~Bohr proved a well known inequality for Taylor series;\ namely, if \(f(z) = \sum_{n=0}^\infty a_n z^n\) belongs to the space of bounded analytic functions in the open unit disc \(D\) and \(\| f\| _\infty := \sup_{z \in D} | f(z)| \), then \(\sum_{n=0}^\infty | a_n| (1/3)^n \leq \| f\| _\infty\) (this complements the trivial fact that, for all \(r \in (0,1)\), \(\sum_{n=0}^\infty | a_n| r^n \leq C_r \| f\| _\infty\), where for instance \(C_r = (1-r^2)^{-1/2}\)). This inequality has been extended to several variables by Aizenberg, Boas and Khavison. The main aim of the present paper is to extend the Bohr inequality to the setting of Dirichlet series. \vskip 1pt For \(1 \leq p < \infty\), let \(H^p\) be the space of Dirichlet series \(f(z) = \sum_{n=0}^\infty a_n n^{-z}\) \((z \in C_+ := \{s: \,\)Re\(\, s > 0\})\) corresponding to the Hardy space of order \(p\), and let \(H^\infty\) be the space of Dirichlet series as above with \(\| f\| _\infty := \sup_{z \in C_+} | f(z)| < \infty\). If \(E\) is a space of Dirichlet series, the isometric Bohr abscise and the isomorphic Bohr abscise are respectively defined as \(\rho_1(E) = \min \{\sigma \geq 0: \, \sum_{n=0}^\infty | a_n| n^{-\sigma} \leq \| f\| \, \,\, \forall f \in E\}\) and \(\rho (E) = \inf \{\sigma \geq 0: \, \exists C_\sigma \in (0,+\infty )\) such that \(\sum_{n=0}^\infty | a_n| n^{-\sigma} \leq C_\sigma \| f\| \,\,\, \forall f \in E\}\). By using a number of recent statements due to Bayart, Konyagin, Paulsen, Popescu and Singh, the authors state the following results, among others: (1) If \(1 \leq p < \infty\), \(\rho (H^p) = 1/2\), but this value is not reached. (2) \(\rho (H^\infty ) = 1/2\), and this value is reached, so \(\sum_{n=0}^\infty | a_n| n^{-1/2} \leq C \| f\| _\infty\) for some absolute constant \(C\). (3) \(\log 3 / \log 2 \leq \rho_1 (H^\infty ) \leq 1.8155\). In particular, \(\sum_{n=0}^\infty | a_n| n^{-2} \leq \| f\|\).