Anwendungen der N. Wienerschen Methode. (Q2622973)

Die Verf. benutzen den folgenden Satz vom \textit{M. Riesz} (Acta Math. 40 (1916), 249-361; F. d. M. 46, 489 (JFM 46.0489.*)): In \[ g(s) = \sum \limits _{n=1}^\infty b_n e^{\lambda _n s} \] sei \[ \lambda _1<\lambda _2<\cdots <\lambda _n<\cdots, \quad \lambda _n\to \infty \] und \[ B(y) = \sum \limits _{\lambda _n\leq y} b_n = O(e^y). \] Ferner sei \(g(s)\) in \(s=1\) regulär. Dann ist \[ \sum _{\lambda _n\leq y}b_ne^{-\lambda _n}=O(1).\tag{1} \] Ist überdies \(B(y) = o(e^y)\), so ist \[ \sum \limits _{n=1}^\infty b_n e^{-\lambda _n}\tag{2} \] konvergent. Dieser Satz führt dazu, aus dem folgenden Teilergebnis der vorstehend besprochenen Arbeit Folgerungen zu ziehen: Die \textit{Dirichlet}sche Reihe \[ f(s) = \sum \limits _{n=1}^\infty a_ne^{-\lambda _ns} \] konvergiere für \(\sigma >1\); die \(a_n\) seien \(\geq 0\). Es sei \(f(s) - \dfrac 1{s-1}\) für \(s=1\) regulär. Dann ist \[ A(y) = \sum \limits _{\lambda _n\leq y} a_n = O(e^y). \] Dies ist wesentlich einfacher zugänglich als das volle Ergebnis der Arbeit. In Verbindung mit diesem Satz liefert der erste Teil des \textit{Riesz}schen Satzes, daß unter denselben Voraussetzungen wie eben \[ \sum \limits _{\lambda _n\leq y} a_n e^{-\lambda _n} = O(y)\tag{\(^*\)} \] gilt, während der zweite liefert, daß unter der weiteren Voraussetzung der Regularität von \(f(s) - \dfrac 1{s-1}\) für \(\sigma =1\) \[ \lim \limits _{y\to \infty }\biggl (\sum \limits _{\lambda _n\leq y} a_ne^{-\lambda _n} - y\biggr ) \] existiert; hierzu ist nur der schon von \textit{Ikehara} bewiesene Spezialfall des obigen Satzes erforderlich. Die Verf. zeigen in einem Anhang ferner, daß der erste Teil des \textit{Riesz}schen Satzes sich auf demselben Wege wesentlich einfacher ergibt, als \textit{Riesz} den zweiten Teil des Satzes a. a. O. bewiesen hat. In der Richtung von (\(^*\)) ergibt sich aus dem Satz der Verf. ohne Heranziehung des \textit{Riesz}schen Satzes nur \[ \sum \limits _{\lambda _n\leq y} a_n e^{-\lambda _n}= O(y). \]