Converse theorems of summability for Dirichlet's series. (Q2607193)

Die \textit{Dirichlet}sche Reihe \[ F(t) = \sum_{\nu=1}^\infty c_\nu e^{-\lambda_\nu t},\quad 0 <\lambda_1 < \lambda_2 <\cdots,\;\lambda_n\to\infty, \tag{1} \] sei konvergent für \(t > 0\), und es sei \[ \lim_{t\to+0} F(t)=s. \tag{2} \] Aus (2) folgt nicht notwendig die Konvergenz von \(\sum c_\nu\). Es sind folgende zusätzliche Bedingungen bekannt, damit man aus (2) auf die Konvergenz von \(\sum c_\nu\) schließen kann (``Umkehrsätze'', ``Tauberian theorems''): \[ \begin{array}{lclr} \text{(I)} &c_n =O\left(\dfrac{\lambda_n-\lambda_{n-1}}{\lambda_n}\right) &&(\textit{Littlewood}); \\ \text{(II)} &\limsup_{m\to\infty}\operatorname{Max} _{\tfrac{\lambda_m}{1+\delta}\leqq\lambda_n\leqq\lambda_m(1+\delta)} |s_n-s_m| = \psi(\delta)\to0, &\text{falls }\delta\to0,\\ &\frac{\lambda_{n+1}}{\lambda_n}\to 1 &\text{falls }n\to\infty, \\ \quad\text{und} \\ &s_n = \sum_{\nu=1}^n c_\nu = O(1), &\text{falls }n\to\infty &(\textit{Landau}); \\ \text{(III)} &\limsup_{x\to\infty} \sum_{x\leqq\lambda_k\leqq(1+\delta)x} |c_k|= \eta(\delta)\to0, &\text{falls }\delta\to0, \\ &\frac{\lambda_{n+1}}{\lambda_n}\to 1 &\text{falls }n\to\infty, &(\textit{Neder}); \\ \text{(IV)} &\sum_{\nu=2}^n |c+\nu|^p\lambda_\nu^p(\lambda_\nu-\lambda_{\nu-1})^{1-p}= O(\lambda_n)\quad (p>0)\\ \quad\text{und}\\ &\frac{\lambda_{n+1}}{\lambda_n}\to1 &\text{falls }n\to\infty, &(\textit{Szász}); \\ \text{(V)} &\liminf_{x\to\infty}\operatorname{Min} _{x\leqq\lambda_\nu\leqq(1+\delta)x} \sum c_\nu = \varphi(\delta)\to\gamma\geqq 0, &\text{falls }\delta\to0 &(\textit{Szász}). \end{array} \] Verf. zeigt: 1. Man kann in (II), (III) und (IV) die Bedingung \(\dfrac{\lambda_{n+1}}{\lambda_n}\to1\) fallen lassen. Auch kann man in (II) die letzte Bedingung fortlassen. 2. Falls (1) für \(t > 0\) konvergiert und (2) gilt und wenn es eine positive Konstante \(K\) mit der Eigenschaft \[ \sum_{\nu=1}^n \lambda_\nu c_\nu \geqq K\lambda_n \qquad\text{für}\;n = 1, 2, 3,\ldots \tag{3} \] gibt, so ist die Reihe (1) summierbar durch die erste \textit{Riesz}sche Mittelbildung, und zwar mit der Summe s, d. h. es ist \[ \lim_{x\to\infty} \dfrac1x\sum_{\lambda_\nu<x} (x - \lambda_\nu) c_\nu = s. \] 3. Dafür, daß aus (2) die Konvergenz von \(\sum c_\nu\) gefolgert werden kann (mit der Summe \(s\)), ist hinreichend, daß \[ \sum_{\nu=1}^n (|c_\nu|-c_\nu)^p\lambda_\nu^p(\lambda_\nu-\lambda_{\nu-1})^{1-p}= O(\lambda_n)\qquad \text{für}\;n\to\infty\qquad (p>1) \] und \[ \liminf_{n\to\infty} c_n \geqq 0. \] 4. Falls (1) für \(t > 0\) konvergent ist, folgt die Konvergenz von \(\sum c_\nu\) mit der Summe \(s\) aus (2), (3) und \[ \limsup_{n\to\infty}\operatorname{Max} _{\lambda_n\leqq x\leqq(1+\delta)\lambda_n} |A(x)-A(\lambda_n)| = \psi(\delta)\to0,\;\text{falls}\;\delta\to0, \] wo \[ \lambda_0 = 0,\quad A(x) = s_n\quad\text{für}\quad \lambda_n\leqq x\leqq\lambda_{n+1}\quad (n=0,\,1,\,2,\ldots). \] Dieser Satz enthält die Bedingungen (I), (II), (III) und auch die Behauptung 3. (IV 4 D.)