Über das Konvergenzgebiet einer mit der Riemannschen Zetafunktion zusammenhängenden Reihe. (Q1450044)

Verf. geht aus von der Betrachtung der ganzen Funktion \[ \zeta^2(s) + \zeta '(s)-2C\zeta (s), \] wo \(C\) die \textit{Euler}sche Konstante bezeichnet, die für \(\sigma >1\) durch die dort absolut konvergente \textit{Dirichlet}sche Reihe \[ \sum _{n=1}^\infty \frac {T(n)-\log n-2C}{n^s} \text{ \;mit \;} T(n)=\sum _d\,1, \] wo die Summe über die positiven Teiler \(d\) der positiven ganzen Zahl \(n\) zu erstrecken ist, definiert ist. Er betrachtet ihre Konvergenzabszisse \(\vartheta \), für die a fortiori \[ 0\leqq \vartheta \leqq 1 \] gilt, für die \textit{Dirichlet} 1849 \[ \vartheta \leqq \frac {1}{2} \] bewies, und die nach klassischen Sätzen die untere Grenze der \(\theta \) mit \[ \varDelta (x)=O(x^\theta ) \] ist, wo für \(x > 0\) \[ \varDelta (x)= \sum _{n\leqq x} T(n)-x\log x -(2C-1)x \] gesetzt ist. \textit{G. Voronoï} bewies 1903 (F. d. M. 34, 231 (JFM 34.0231.03)) \(\vartheta \leqq \frac {1}{3}\), indem er \[ \varDelta (x)= O(x^\frac {1}{3}\cdot \log x) \tag{1} \] zeigte; den \textit{Voronoï}schen Beweis ersetzte Verf. durch einen bedeutend einfacheren auf Grund der von \textit{Voronoï} 1904 entdeckten Identität. \[ \begin{aligned} \varDelta _1(x)=&-\frac {1}{4\pi ^4}\sum _{n=1}^\infty \frac {T(n)}{n^2}F(4\pi ^2nx) \text{ \;mit \;} \varDelta _1(x)=\int _0^x (\varDelta (y)-\frac {1}{4})\,dy \tag{2} \\ &\\ \noalign{\noindent und\vskip -\baselineskip } &F(\omega )=\int _0^\infty t\cos t\Bigl(\cos \frac {\omega }{t}-1\Bigr)\,dt \end{aligned} \] für \(x > 0\) und \(\omega > 0\). Verf. gibt zunächst einen neuen Beweis für (2) und im Anschluß daran seinen alten sehr kurzen Weg von (2) zu (1). Beim Beweis von (2) wird die \textit{Rogosinski}sche Dissertation (1922; F. d. M. 48, 183 (JFM 48.0183.01)) herangezogen, in der die sich aus (2) durch formales Differenzieren ergebende für \(x> 0\) gültige Identität \[ \frac {\varDelta (x-0) +\varDelta (x+0)}{2}-\frac {1}{4}= -\frac {1}{\pi ^2}\sum _{n=1}^\infty \frac {T(n)}{n}F'(4\pi ^2nx) \tag{3} \] bewiesen wird. Verf. gibt im Anschluß an seine Arbeit ``Bemerkungen zu der Arbeit des Herrn \textit{Walfisz}: Über das \textit{Piltz}sche Teilerproblem in algebraischen Zahlkörpern'' (1925; F. d. M. 51, 153 (JFM 51.0153.02)) einen neuen Beweis von (3). Auf die Untersuchung von \(\vartheta \), die das eigentliche Ziel der Arbeit bildet, läßt dies folgende Anwendungen zu: Verf. beweist auf neuem wesentlich einfacherem Wege das \textit{van der Corput}sche Resultat \[ \vartheta <\frac {1}{3} \] und sogar \[ \vartheta \leqq \frac {37}{112} \] unter Benutzung von (2) in Analogie zu der Note zu der Arbeit von \textit{Littlewood} und \textit{Walfisz} ``The lattice points of a circle'' (1924; F. d. M. 51, 150 (JFM 51.0150.01)); \textit{van der Corput} gelangte vermittels seines schwierigeren Ansatzes zu noch Schärferem. Ferner gibt Verf. in engem Anschluß an seine Abhandlung ``Über die Anzahl der Gitterpunkte in gewissen Bereichen'' IV (1924; F. d. M. 50, 115 (JFM 50.0115.01)) einen neuen kurzen Beweis für die 1915 von ihm und \textit{Hardy} bewiesene untere Abschätzung \[ \vartheta \geqq \frac {1}{5}. \] Die Arbeit hat das Ziel, die ``wichtigsten über \(\vartheta \) bekannten Dinge möglichst elementar zu begründen, ohne aus der umfangreichen Literatur irgendetwas vorauszusetzen''. Der vom Verf. benutzte Ansatz knüpft an seine vorstehend besprochene Arbeit an.