Über die asymptotische Darstellung der summatorischen Funktion von Dirichletreihen mit positiven Koeffizienten. (Q5922442)

Verf. beweist mit \textit{Wiener}schen Methoden (wie sie von \textit{Bochner, Landau, Heilbronn} und \textit{Ingham} vereinfacht worden sind) folgenden Satz: Es sei \(f(s) = \sum _{n=1}^\infty a_nn^{-s}\) \((s=\sigma +it)\) konvergent für \(\sigma >1\), und es sei \(a_n\geqq 0\). Weiter sei \[ f(s)=(s-1)^{-1-\varrho }\,\{ b_0+b_1(s-1) +b_2(s-1)^2+\cdots \}, \qquad 0< \varrho <1, \] wo die Potenzreihe einen positiven Konvergenzradius habe. Es sei noch \(f(s)\) für \[ 0<\alpha _1\leqq \sigma \leqq 1,\qquad 0<|t|\leqq T \] mit Ausnahme von \(s =1\) regulär, und für \(0 < t_0 \leqq t\) sei \[ |f(s)|\leqq c_1\,t^b\,\log ^\tau t,\qquad 0\leqq b\leqq \frac {2}{3}, \] wo \(c_1\) eine positive Konstante bedeutet. Falls man dann \[ \psi (x)=\sum _{1\leqq n\leqq x} a_n,\qquad H(u)=\psi (e^u)\,e^{-u}\,u^{-\varrho } \] setzt, so gilt \[ H(\omega )= \frac {b_0}{\varGamma (\varrho +1)} + \frac {b_1-b_0}{\varGamma (\varrho )} \cdot \frac {1}{\omega} +\frac {R}{\omega} \] mit der Restabschätzung \[ |R|\leqq c_2\,\omega \,T^{-\frac {1}{2}}+ c_3\,\omega ^{-1-\varrho }\,T^{-\frac {1}{2}}\log ^\tau\,T + e^{-\omega (1-\alpha )}\bigl\{ c_4 T^b\,\log ^\tau\,T +c_5 T^{1-\varrho }\bigr\}, \] wo \(\alpha _1\leqq \alpha \leqq 1\) und die \(c_n\) positive Konstanten bedeuten. Verf. gibt einige Anwendungen dieses Satzes. Speziell zeigt er z. B., wie man aus diesem Satz in Verbindung mit Sätzen über das Nichtverschwinden der Riemannschen Zetafunktion (z. B. mit den \textit{Tchudakoff}schen Sätzen in C. R. Acad. Sci. URSS 1936\(_{\text{I}}\), 201-204; Rec. math., Moscou, (2) 1 (1936), 591-602; JFM 62.0344.*) Primzahlformeln mit Restglied erhalten kann. (III 6.)