Lösung des ablosuten Konvergenzproblems einer allgemeinen Klasse \textit{Dirichlet}scher Reihen. (Q1480134)

Ist \(\sum a_n e^{-\lambda_{n^s}}\) (mit \(0 < \lambda_1 < \lambda_2 < \cdots < \lambda_n \cdots \to +\infty\)) eine weder überall, noch nirgends konvergente \textit{Dirichlet}sche Reihe, so gibt es bekanntlich eine bestimmte endliche reelle Zahl \(A\), so daß die Reihe für \(\mathfrak R(s) > A\) konvergiert, für \(\mathfrak R(s) < A\) divergiert. Ebenso gibt es eine bestimmte reelle Zahl \(B\), so daß die Reihe für \(\mathfrak R(s) > B\) absolut konvergiert, für \(\mathfrak R(s) < B\) dagegen nicht. Auch wenn, wie eben angenommen, \(A\) endlich ist, kann \(B = +\infty\) sein, d. h. die Reihe nirgends absolut konvergieren. Das Problem, die Zahlen \(A\) und \(B\) aus den Koeffizienten \(a_n\) und den Exponenten \(\lambda_n\) der \textit{Reihe} durch eine geschlossene Formel zu bestimmen, ist sehr einfach und längst gelöst. Sehr viel tiefer gelegen ist die Frage, durch welche analytischen Eigenschaften der \textit{Funktion} \(f(s)\) diese Zahlen bestimmt sind. Die in diesem Sinne verstandene Frage nach der Zahl \(A\) wird das ``Konvergenzproblem'' der \textit{Dirichlet}schen Reihen, die nach der Zahl \(B\) das ``absolute Konvergenzproblem'' genannt. Über das erste sind von \textit{Landau} und \textit{Schnee} wichtige Sätze bewiesen worden (F. d. M. 39, 243 (JFM 39.0243.*) und 268, 1908), dem zweiten ist die vorliegende Arbeit gewidmet. Dabei wird über die Exponenten \(\lambda_n\) die einschränkende Voraussetzung gemacht, daß sie linear unabhängig sind, daß also \[ g_1 \lambda_1 + g_2 \lambda_2 + \cdots + g_m \lambda_m = 0 \] für kein \(m\) bei ganzzahligen nicht sämtlich verschwindenden \(g_\nu\) bestehen kann. Dann wird bewiesen: \textit{Hauptsatz}: Besitzt die Reihe \(\sum a_n e^{-\lambda_{n^s}}\) ein Konvergenzgebiet, so ist es eine für ihre absolute Konvergenz im Gebiete \(\mathfrak R(s) \geqq \sigma_0\) notwendige und hinreichende Bedingung, daß die durch die Reihe definierte analytische Funktion \(f(s)\) für \(\sigma > \sigma_0\) regulär und beschränkt ist. Zu diesem ziemlich tief gelegenen Satze führt ein längerer Weg, auf dem auch anderweitig interessante Resultate erhalten werden. Im Schlußparagraphen wird gezeigt, daß die Bedingung der linearen Unabhängigkeit der \(\lambda_n\) nicht entbehrt werden kann: es gibt \textit{Dirichlet}sche Reihen, die in einer gewissen Halbebene konvergieren, eine für \(\sigma \geqq 0\) reguläre und beschränkte Funktion darstellen, und die doch nirgends absolut konvergieren.