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

From MaRDI portal
scientific article
Language Label Description Also known as
English
Converse theorems of summability for Dirichlet's series.
scientific article

    Statements

    Converse theorems of summability for Dirichlet's series. (English)
    0 references
    1936
    0 references
    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.)
    0 references
    0 references

    Identifiers