Ungleichungen zwischen Mittelwerten von Zahlenfolgen und Funktionen.
Der bekannte Satz, daß bei \(r > - 1\) aus der \(C_r\)-Limitierbarkeit einer Folge \((s_n)\) ihre \(A\)-Limitierbarkeit folgt, legt die Frage nach den Beziehungen nahe, die zwischen den Häufungsgrenzen der \(C_r\)-Transformation der reellen Folge \((s_n)\) und denjenigen der \(A\)-Transformation von \((s_n)\) bestehen. Diese Frage wird von den Verfassern in abschließender Weise wie folgt beantwortet: Es sei \(r > - 1\), und für die Folge \((s_n)\) sei \(c_n^{(r)} \geqq0\), wo \[ c_n^{(p)} = \dfrac{1}{{n+p\choose n}} \sum_{\nu=0}^{n} {n+p-\nu-1\choose n-\nu} s_{\nu} \] das \(n\)-te \textit{Cesàro}sche Mittel \(p\)-ter Ordnung von \((s_n)\) bedeutet. Für \(l > k \geqq 1\) gilt dann \[ C_{r+k} \leqq \dfrac{\gamma_l^{(r)}}{\gamma_k^{(r)}} C_{r+l}, \] wenn zur Abkürzung \[ \gamma_k^{(r)} = \dfrac{\varGamma(k)}{\varGamma(r+k+1)}\cdot\dfrac{(r+k)^{r+k}}{(k-1)^{k-1}} \quad \text{ für } \quad k>1 \quad \text{ und } \quad \gamma_1^{(r)} = \dfrac{(r+1)^{r+1}}{\varGamma(r+2)} \] gesetzt ist und \(C_r\) den oberen Limes von \(C_n^{(r)}\) für \(n \to\infty\) bedeutet. Ein entsprechender Satz wird für die unteren Häufungsgrenzen der \(C\)-Mittel bewiesen. Weiter wird unter denselben Voraussetzungen für den oberen Limes der \(A\)-Transformation von \((s_n)\), also für \(A = \underset{x\to1-0} {\lim \sup} (1 - x) \sum\limits_{0}^{\infty} s_{\nu}x^{\nu}\), die Beziehung \[ C_{r+k} \leqq \dfrac{e^{r+1}}{\gamma_k^{(r)}} A \] entwickelt. Auch zeigen die Verf., daß sich in all diesen Beziehungen die Einschränkungen über \(k\) und \(l\) nicht mildern und daß sich die Abschätzungen nicht verschärfen lassen. Aus den gegebenen Resultaten werden unmittelbar einige kürzlich von \textit{Ramaswami} (J. London Math. Soc, 10 (1935), 294-308; JFM 61.0219.*) bewiesene Sätze gefolgert, z. B: Wenn \((c_n^{(r)})\) für irgend ein \(r > -1\) nach links beschränkt ist, gilt \[ C_{\infty} =\lim\limits_{k\to\infty} C_k =A. \] Die hierbei für die \(C\)- und das \(A\)-Verfahren entwickelten Methoden werden auf die \textit{Euler}schen und das \textit{Borel}sche Verfahren, auf die \textit{Riesz}schen und die \textit{Hölder}schen Integralmittel sowie auf die \textit{Laplace}-Transformation angewandt und liefern dafür entsprechende Resultate. Bei der Betrachtung der gewöhnlichen \textit{Hölder}schen Mittel stellt sich die unerwartete Tatsache heraus, daß der \(A\)-Kern einer Folge \((s_n)\) nicht im \(H_k\)-Kern von \((s_n)\) zu liegen braucht; unerwartet deswegen, weil nach \textit{Hölder} jede \(H_k\)-limitierbare Folge (bei endlichem \(k\)) auch \(A\)-limitierbar ist. Es wird nämlich eine Folge gegeben, die zwar \(H_{\infty}\)-limitierbar zum Werte 0, die aber nicht \(C_{\infty}\)-limitierbar ist, d. h. für die \[ h_{\infty} = \lim\limits_{k\to\infty} h_k=0 \quad \text{ und } \quad H_{\infty} = \lim\limits_{k\to \infty} H_k =0 \] (\(h_k\) und \(H_k\) die Häufungsgrenzen der \(H_k\)-Transformation von \((s_n)\)), jedoch \[ c_{\infty}= \lim\limits_{k\to\infty} c_k = 0 \quad \text{ und } \quad C_{\infty} = \lim\limits_{k\to\infty} C_k = \dfrac{1}{e} =A \] ist. Somit läßt sich der genannte \textit{Hölder}sche Satz nicht auf den Index \(\infty\) ausdehnen, und vom \textit{Knopp-Schnee}schen Äquivalenzsatz bleibt bei der Erweiterung auf den Index \(\infty\) nur der eine Teil richtig, daß eine \(C_{\infty}\)-limitierbare Folge auch \(H_{\infty}\)-limitierbar ist, während die Umkehrung nicht zu halten ist.
This page was built for publication: Ungleichungen zwischen Mittelwerten von Zahlenfolgen und Funktionen.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2602134)
