Ungleichungen zwischen den Hauptlimites der von Herrn Karamata untersuchten iterierten Mittelbildungen bei drei aufeinanderfolgenden Ordnungen. (Q2590888)

Dem elementaren, direkten Satz, daß aus der \(H_k\)-Limitierbarkeit von \((s_n)\) zum Werte \(s\) die \(H_{k+1}\)-Limitierbarkeit von \((s_n)\) zum Werte \(s\) folgt, entspricht der nicht mehr elementare Umkehrsatz: Aus der \(H_{k+1}\)-Limitierbarkeit von \((s_n)\) zum Werte \(s\) und der Beschränktheit der \(H_{k-1}\)-Mittel von \((s_n)\) folgt die \(H_k\)-Limitierbarkeit von \((s_n)\) zum Werte \(s\). Analoge Sätze gelten nach dem Knopp-Schneeschen Äquivalenzsatz auch für die Cesàroschen Mittelungen. Für allgemeinere Mittel hat \textit{C. E. Winn} (C. R. Acad. Sci., Paris, 194 (1932), 1057-1060; JFM 58.0218.*) ähnliche Resultate gegeben, und Verf. untersucht nun entsprechend die kürzlich von Karamata eingeführten Integralmittel, welche die Hölderschen und die Cesàroschen Mittelungen als Sonderfälle enthalten. \(s(t)\) sei eine über jedes Intervall \((0, x)\) integrierbare Funktion; die Karamataschen Mittel dieser Funktion werden durch die Rekursionsformel \[ \displaylines{\rlap{\qquad\!(1)} \hfill \sigma ^{(k)} (x)=\begin{cases} s(x)& \text{für}\;\;k=0,\\ \dfrac{P_k}{x^{P_k}}\int\limits_{0}^{x}t^Pk^{-1}\sigma ^{(k-1)}(t)\,dt &\text{für}\;\;k=1, 2,\dots \end{cases}\hfill} \] mit \(P_k-P_{k-1}=p_k\geqq 0\), \(P_0=0\), \(P_1=p_1>0\) definiert und enthalten für \(p_1=1\), \(p_{k+1}=0\) (\(k = 1\), 2,\dots ) die Hölderschen Integralmittel, für \(p_k=1\) (\(k = 1\), 2,\dots ) die Rieszschen Mittel, also die den Cesàroschen entsprechenden Integralmittel. Hierfür wird bewiesen: Für die durch die Formel (1) eingeführten Mittel wird \[ \varlimsup_{x\to\infty }\sigma ^{(k)}(x)=S_k;\;\;\varliminf_{x\to\infty }\sigma ^{(k)}(x)=s_k;\;\;S_k-s_k=\varOmega _{k-1}, \] weiter \[ \begin{gathered} \varPsi _0(t)=(S_{k-1}-t)\,\log\frac{S_{k-1}-t}{S_{k-1}-s_{k+1}}+(t-s_{k-1})\, \log\frac{t-s_{k-1}}{S_{k+1}-s_{k-1}}\\ \varPsi _1(t)=\frac{(S_{k-1}-t)^\tfrac{P_{k+1}}{P_k}}{(S_{k-1} s_{k+1})^\tfrac{p_{k+1}}{P_k}}+\frac{(t-s_{k-1})^\tfrac{P_{k+ 1}}{P_k}}{(S_{k+1}-s_{k-1})^\tfrac{p_{k+1}}{P_k}}\end{gathered} \] sowie \[ \varPsi (t)=\begin{cases} \varPsi _1(t)-\varOmega _{k-1}\;&\text{für}\;\;p_{k+1}\neq0,\\ \varPsi _0(t)&\text{für}\;\;p_{k+1}=0\end{cases} \] gesetzt. Dann gilt stets \[ \varPsi (S_k)\leqq 0,\;\;\varPsi (s_k)\leqq 0 \] und insbesondere \[ \varPsi _1(S_k)\leqq \varOmega _{k-1},\;\;\varPsi _1(s_k)\leqq \varOmega _{k-1}. \] Weiter ist \[ t_k\leqq s_k\leqq S_k\leqq T_k, \] wobei \[ t_k=t_k(s_{k-1}, S_{k-1};\;s_{k+1}, S_{k+1});\;\;T_k=T_k(s_{k-1}, S_{k-1};\;\;s_{k+1}, S_{k+1}) \] die beiden in \(s_{k-1}\leqq t\leqq S_{k-1}\) gelegenen Wurzeln der Gleichung \[ \varPsi (t)=0 \] bedeuten. Hieraus werden Ungleichungen für die Karamataschen Mittel hergeleitet, die analog zu den Resultaten sind, die \textit{Knopp} und Verf. unlängst für die \(C\)- und \(H\)-Mittel auf anderem Wege gewonnen haben (Math. Z. 42 (1937), 365-388; JFM 63.0168.*).