Verallgemeinerung und neuer Beweis einiger Sätze Tauberscher Art. (Q1439373)

\textit{Hardy} und \textit{Littlewood} haben (1914; F. d. M. 45, 390 (JFM 45.0390.*)-391) den wichtigen Satz bewiesen: I. Wenn die \textit{Dirichlet}sche Reihe \[ \begin{gathered} f(s)=\textstyle \sum\limits_{1}^{\infty } \displaystyle a_\nu e^{-\lambda _\nu s},\;\text{bei der}\;0<\lambda _1<\lambda _2<\cdots \;\text{ist und}\\ \lambda _n\to +\infty,\;\frac{\lambda _{n+1}}{\lambda _n}\to 1 \end{gathered} \] strebt, für \(s>0\) konvergiert, und wenn für \(s\to 0\) \[ f(s)\sim As^{-\alpha },\;\;(A>0, \alpha \geqq 0), \] ist, so ist \[ A_n=a_1+a_2+\dots +a_n\sim \frac{A}{\varGamma (1+\alpha )}\cdot \lambda _n^\alpha . \] \textit{Szász} zeigt nun, daß hier die Voraussetzung \(\dfrac{\lambda _{n+1}}{\lambda _n}\to1\) einfach weggelassen werden kann. Er beweist also -- statt \textit{Dirichlet}scher Reihen sogleich \textit{Laplace}-Integrale benutzend -- den \textit{Satz II}. Es sei \(A(x)\geqq 0\) nicht abnehmend und das Integral \[ f(s)=s\textstyle \int\limits_{0}^{\infty } \displaystyle A(u)\,e^{-us}\,du \] für \(s > 0\) konvergent; ferner sei für \(s\to+0\) \[ f(s)\sim As^{-\alpha },\;\;(A>0,\;\alpha \geqq 0); \] dann ist für \(x\to+\infty \) \[ A(x)\sim\frac{A}{\varGamma (1+\alpha )}\cdot x^\alpha . \] Aus diesem Satze ergibt sich dann weiterhin ein allgemeines ``Umkehrtheorem'', welches besagt, daß es im Falle \(\alpha =0\) genügt, wenn man, statt \(A(x)\) nicht abnehmend vorauszusetzen, nur annimmt, daß \[ \varliminf\bigl(A(y)-A(x)\bigr)\geqq 0\;\;\text{ist für}\;\; y>x\to+\infty,\;\;\frac{y}{x}\to1. \] Spezialisiert man diesen allgemeinen Satz wieder auf \textit{Dirichlet}sche Reihen, so entspricht der letzten Forderung die Bedingung \[ \varliminf_{\mu >\nu }(A_\mu -A_\nu )\geqq 0,\;\;\frac{\lambda _\mu }{\lambda _\nu }\to1. \] Anwendung der \textit{Hölder}schen Ungleichung zeigt, daß diese Bedingung sicher erfüllt ist, wenn für ein \(p > 0\) \[ \textstyle \sum\limits_{\nu =2}^{n} \displaystyle \frac{\lambda _\nu ^{p+1}|\,a_\nu \,|^{p+1}}{(\lambda _\nu \lambda _{\nu -1})^p}=O(\lambda _n) \] ist. Für den so sich ergebenden Satz hatte \textit{Szász} schon 1928 in einem Vortrag auf dem Kongreß in Bologna einen einfachen Beweis mitgeteilt. Dieser Beweis erschien 1930 (F. d. M. \(56_{\text{I}}\), 211). (IV 4.)