Construction of an ordinary Dirichlet series with convergence beyond the Bohr strip (Q387417)

A Dirichlet series is a series of the form NEWLINE\[NEWLINE \sum_{n = 1}^\infty a_n \, n^{-s} NEWLINE\]NEWLINE for given sequence \((a_n)_n\) of complex numbers. Several abscissae and right half-planes are associated to this Dirichlet series: NEWLINE\[NEWLINE \begin{aligned} \sigma_a &:= \inf \left\{ \sigma; \; \sum_{n = 1}^\infty a_n \, n^{-s} \text{ converges absolutely for all \(s\) with \(\Re(s) > \sigma\)} \right\} \\ \sigma_b &:= \inf \left\{ \sigma; \; \sum_{n = 1}^\infty a_n \, n^{-s} \text{ converges to a bounded function on \(\{s;\;\Re(s) > \sigma\}\)} \right\} \\ \sigma_c &:= \inf \left\{ \sigma; \; \sum_{n = 1}^\infty a_n \, n^{-s} \text{ converges (conditionally) for all \(s\) with \(\Re(s) > \sigma\)} \right\}. \end{aligned} NEWLINE\]NEWLINE We have obviously \(\sigma_c \leq \sigma_b \leq \sigma_a\). The question is, whether these numbers numbers coincide and how large the difference can be, and goes back to \textit{Harald Bohr} [Nachr. Ges. Wiss. Göttingen, Math.-Phys. Kl. 1913, 441--488 (1913; JFM 44.0306.01)]. He showed \(\sigma_a - \sigma_b \leq \frac{1}{2}\). (The strip \(\{s;\; \sigma_b < \Re(s) < \sigma_a\}\) is known as the ``Bohr strip'' of the Dirichlet series). The authors give more (historic) results in the introduction of the article.NEWLINENEWLINEThe main result of the paper is an explicit construction of a Dirichlet series, depending on a parameter \(M \in \mathbb{N}\) and following the method of Walsh matrices introduced in [\textit{B.\ Maurizi, H.\ Queffélec}, J.\ Fourier Anal.\ Appl. 16, No.\ 5, 676--692 (2010; Zbl 1223.11107)], with the goal of estimating (and maximizing) the differences \(\sigma_a - \sigma_b\) and \(\sigma_b - \sigma_c\). The author proves the following estimates for the constructed Dirichlet series: {\parindent=6mm \begin{itemize}\item[(1)] For \(M=2\) there exists a Dirichlet series with \(\sigma_a-\sigma_b = \frac{1}{4}\) and \(\sigma_b-\sigma_c \geq \frac{1}{4}\). \item[(2)] For \(M=3\) and given \(\rho_1 \in (0,1)\) there exists a Dirichlet series with \(\sigma_a-\sigma_b \geq \frac{1 + \rho_1}{6}\) and \(\sigma_b - \sigma_c \geq \frac{1-\rho_1}{9}\). \item[(3)] Each constructed Dirichlet series satisfies \(\sigma_b \geq 0\).NEWLINENEWLINE\end{itemize}}