Sur certains ``Tauberian theorems'' de M. M. Hardy et Littlewood. (Q1833444)

Als Verschärfung eines von \textit{G. H. Hardy} und \textit{J. E. Littlewood} stammenden Satzes [Tauberian theorems concerning power series and Dirichlet's series whose coefficients are positive. Proc. Lond. Math. Soc. (2) 13, 174--191 (1914; JFM 45.0389.02)] wird bewiesen: Wenn \(P_n = \sum\limits_{\nu=0}^n p_\nu\) eine monotone, regulär wachsende Folge ist, d. h. wenn für \(n \to \infty\) \[ P \cong n^{\sigma -1} \, L(n) \tag{1} \] gilt, wo \(\lim\limits_{n\to\infty} \dfrac{L(cn)}{L(n)} = 1\) für jedes \(c > 0\) ist, dann ist für \(r \to 1 - 0\) \[ p(r) = \sum_{\nu = 0}^\infty p_\nu r^\nu \cong \Gamma(\sigma) \left(\frac{1}{1-r}\right)^{\sigma -1} L\left(\frac{1}{1-r}\right); \tag{2} \] und umgekehrt folgt bei derselben Bedeutung von \(L(x)\) aus (2) die Beziehung (1). Unter der Voraussetzung, daß \(P_n\) eine regulär wachsende Folge positiver Werte ist (man vergleiche zu diesem Begriff besonders die vorstehend besprochene Arbeit), werden weiter das Abelsche und das Cesàrosche Limitierungsverfahren wie folgt verallgemeinert: Die Folge \((s_n)\) heißt \(A(p)\)-limitierbar bzw. \(C(p)\)-limitierbar zum Werte \(s\), wenn \[ \lim_{r\to 1-0} \frac{\sum_{\nu=0}^\infty s_\nu p_\nu r^\nu} {\sum_{\nu=0}^\infty p_\nu r^\nu} = s \tag{3} \] bzw. \[ \lim_{n\to\infty} \frac{\sum_{\nu=0}^n s_\nu p_\nu} {\sum_{\nu=0}^n p_\nu} = s \tag{4} \] ist. Es wird gezeigt, daß diese beiden Verfahren für Folgen mit positiven Gliedern und auch für eine noch weitere Folgenklasse äquivalent sind, und daß bei geeigneten Voraussetzungen über \(g(x)\) aus (3) bzw. (4) auf \[ \lim_{n\to\infty} \frac{\sum_{\nu=0}^\infty s_\nu p_\nu g\left(\dfrac{\nu}{n}\right) e^{-\tfrac{\nu}{n}}} {\sum_{\nu=0}^\infty p_\nu g\left(\dfrac{\nu}{n}\right) e^{-\tfrac{\nu}{n}}} = s \quad \text{ bzw. } \quad \lim_{n\to\infty} \frac{\sum_{\nu=0}^n s_\nu p_\nu g\left(\dfrac{\nu}{n}\right)} {\sum_{\nu=0}^n p_\nu g\left(\dfrac{\nu}{n}\right)} = s \] geschlossen werden kann.