Erweiterung eines Konvergenzsatzes von M. Riesz für Dirichletsche Reihen. (Q2604698)

Es sei \(f(s) = \sum a_ne^{2\pi i\lambda_n}\) eine in der Form eines \textit{Stieltjes}integrals \[ f(s) = \int\limits_0^{\infty} e^{-us}\,dA(u),\quad A(0)=0,\;A(\omega)=\sum_{\lambda_n\leqq\omega} a_n \] (\(\lambda_1<\lambda_2<\ldots,\lambda_n\to\infty\), \(s=\sigma+it\)) geschriebene \textit{Dirichlet}sche Reihe. Verf. beweist dann die Konvergenz der \textit{Dirichlet}schen Reihe für \(s = 0\): \[ A(\omega)-f(0) \to 0 \quad \text{ für } \quad \omega \to\infty, \] falls die folgenden Bedingungen erfüllt sind: \(0< \varrho < 1\) und \[ \begin{gathered} \left| \omega^{1-\varrho}e^{-\omega}\int\limits_0^{\omega} e^u\,dA(u)\right|\leqq \theta \quad \text{ endlich für } \quad \omega\to\infty; \tag{1}\\ s^{\varrho-1} (f(s)-f(0)) = \varPsi(s) \quad \text{ stetig für } \quad |t| \leqq T,\;\sigma\geqq0; \tag{2}\\ t^{-\varrho} (\varPsi(it)-\varPsi(0)) \quad \text{ stetig für } \quad |t| \leqq T. \tag{3} \end{gathered} \] Ersetzt man überdies (3) durch \hfil \(\varPsi(it)\) ist für \(|t|\leqq T\) von beschränkter Schwankung, \hfil \noindent dann ist sogar \[ A(\omega)-f(0)=O(\omega^{\varrho-1}) \quad \text{ für } \quad \omega >\omega_0. \] Ist in (1) überdies \(\theta\) beliebig klein und ersetzt man (3) durch: \hfil \(t^{-\varrho}(\varPsi(it)-\varPsi(0))\) ist für \(|t|\leqq T\) von beschränkter Schwankung, \hfil \noindent dann gilt sogar \[ A(\omega)-f(0)=(\varOmega+o(1))\omega^{\varrho-1} \quad \text{ für } \quad \omega \to \infty. \] Aus dem zuletztgenannten Satze läßt sich, wie Verf. zeigt, herleiten, daß die \textit{Dirichlet}sche Reihe von \[ \zeta^{\varrho}(s)-\varGamma^{-1}(\varrho) \sum_{n=1}^{\infty} n^{-s}\log^{\varrho-1}n \qquad (0<\varrho<1) \] für \(s = 1\) konvergiert, und überdies läßt sich der Reihenrest abschätzen.