On the convergence and summability of Dirichlet's series. (Q563849)

Es sei \(l_1,l_2,\cdots \) eine monoton ins Unendliche wachsende Folge und \(l_1\geqq 1; c_1+c_2+\cdots \) eine unendliche Reihe, \[ C^{\chi }(\omega )=\underset {l_n\leqq \omega } {\sum } c_n(\omega -l_n)^{\chi }\qquad (\omega \quad \text{eine Variable}>0, \chi =\text{const}\geqq 0). \tag{1} \] Dann heißt \(\sum c_n\) bekanntlich \((l,\chi )\)-summierbar, wenn \[ \omega ^{-\chi }C^{\chi }(\omega )\to s \quad \text{mit} \quad \omega \to \infty. \] Es sei nun \(b_n=c_n l_n^{\beta }\), wo \(\beta \) eine positive Konstante bedeutet, und \[ B^{\chi }(\omega )=\underset {l_n\leqq \omega } {\sum } b_n(\omega -l_n)^{\chi }. \tag{2} \] Dann wird bewiesen: Aus \[ C^{\chi }(\omega )=o(\omega ^{\gamma }) \quad (\gamma \geqq \chi ) \quad \text{folgt}\quad B^{\chi }(\omega )=o(\omega ^{\gamma +\beta }). \] Ist \(\beta \) eine positive \textit{ganze} Zahl \(p\), so läßt sich noch aussagen, daß \[ B^{\chi }(\omega )=\sum _{m=0}^{p}(-1)^m \binom {p}{m} \omega ^{p-m}C^{\chi +m}(\omega ), \] und daß\ \(\sum c_n\), welches \((l,\chi +1)\)-summierbar sei, dann und nur dann \((l,\chi )\)-summier\-bar ist, wenn \(B^{\chi }(\omega )=o(\omega ^{\chi +p})\). Auf Grund dieser Überlegungen lassen sich dann zwei Sätze beweisen, von denen der zweite angeführt sei: \(A^{\chi }(\omega )\) sei entsprechend wie \(B^{\chi }(\omega )\) in (2) definiert. Dann gilt der Satz: Ist \(A^{\chi }(\omega )=o(\omega ^{\chi +\beta }) \quad (\chi \geqq 0,\beta >0)\), dann ist \(\sum a_nl_n^{-\beta }\) entweder \((l,\chi )\)-summierbar, oder für kein noch so großes \(r\) \((l,r)\)-summierbar. Der folgende Abschnitt handelt von Sätzen \textit{Tauberscher} Art, die teils bekannt sind und nur um des Zusammenhangs willen zitiert werden, teils Erweiterungen von Sätzen von \textit{Hardy} und \textit{Littlewood} und dem Verf. darstellen. Im nächsten Abschnitt werden Sätze über Konvergenz und Summierbarkeit bewiesen. Satz 9 stellt insofern eine Verallgemeinerung des \textit{Schnee-Landau}schen Satzes dar, als sich letzterer durch Hinzufügung weiterer Votaussetzungen über die \(l_{\gamma }\) zu denen von Satz 9 aus diesem ableiten laßt. Ferner gibt Satz 9 noch eine im \textit{Schnee-Landau}schen Satz nicht enthaltene Aussage über die Summierbarkeit von \(\sum a_nl_n^{-s}\). In den folgenden Sätzen legt jedoch Verf. ebenfalls die \textit{Schnee-Landau}schen Voraussetzungen zugrunde, um seine Aussagen zu präzisieren. Erwähnt sei noch Satz 13: Wenn für jedes \(\delta >0\) \[ \frac {l_{n+1}}{l_{n+1}-l_n}=O(l_n^{\delta }) \] ist und die Reihe \(\sum a_n l_n^{-s}\) ein Gebiet der Summabilität im typischen Mittelbesitzt, dann fallen die Abszissen der Konvergenz, der absoluten Konvergenz und alle Summabilitätsabszissen zusammen. Zum Schluß\ stellt Verf. einen Satz auf, der unter gewissen Voraussetzungen die Berechnung der Abszisse für die Summierbarkeit \(\chi \)-ter Ordnung gestattet. Aus ihm ergibt sich zum Beispiel als Abszisse der \((n,\chi )\)-Summierbarkeit für die Reihe \[ L(s,\chi )=\sum _{1}^{\infty }\frac {\chi (n)}{n^s}, \] wo \(\chi (n)\) nicht der Hauptcharakter (mod \(k\)) ist, der Wert \(-\chi \) für alle \(\chi \geqq 0\).