Theorems associated with the Riesz and the Dirichlet's series methods of summation. (Q2590865)

Das Rieszsche Summierungsverfahren \(R(\lambda _n, 1)\) und das Dirichletsche \(D(\mu _n)\) werden wie üblich durch \[ \displaylines{\rlap{\qquad\!(1)} \hfill \qquad\quad \textstyle \sum\limits_{\nu =0}^{n} \biggl(1-\dfrac{\lambda _\nu }{\lambda _n}\biggr)a_\nu \to A\;\;\text{für}\;\;n\to\infty \;\;\text{bzw.}\;\;(2)\;\;\sum\limits_{\nu =0}^{\infty }a_\nu e^{-\mu _\nu s}\to A\;\;\text{für}\;\;s\to 0\hfill} \] definiert. \textit{G. H. Hardy} hatte schon 1910 (Proc. London math. Soc. (2)8 (1910), 277-294; F. d. M. 41, 291 (JFM 41.0291.*)) den Permanenzsatz erster Art bewiesen: Aus (1) folgt (2), wenn \(\mu _n\equiv \lambda _n\). Hier werden zwei Permanenzsätze zweiter Art bewiesen: I. Aus (1) folgt (2), falls \(s_ne^{-\mu _ns}\to 0\) bei \(s > 0\) für \(n\to\infty \) \((s_n=a_0+a_1+\ldots+a_n)\) und falls \(\mu _n\) eine (im Sinne Hardys) logarithmico-exponentielle Funktion von \(\lambda _n\) ist, deren Wachstum nach oben durch \(\mu _n=O\bigl(\lambda _n^\varDelta \bigr)\), \(\varDelta >0\), eingeschränkt ist. -- Im II. Satz wird \(s_ne^{-\mu _ns}\to 0\) durch \(\log \,n=o(\mu _n)\) ersetzt. Der Beweis stützt sich auf ältere Sätze von \textit{Hardy-Riesz} (The general theory of Dirichlet's series (1915; F. d. M. 45, 387 (JFM 45.0387.*)) und vom Verf. (Ann. Math., Princeton, (2) 32 (1931), 83-106; JFM 57.0256.*), ohne neuer Beweisgedanken zu bedürfen.