Einige Sätze über iterierte Mittelbildungen. (Q2594202)

\(p_n\) sei eine Zahlenfolge mit positiven Teilsummen \(P_n = \sum _1^n p_\nu \). Eine Funktion \(f(x)\) heißt \(M(p_1,\ldots,p_k)\)-summierbar mit der Summe \(s\), wenn bei \(x\to\infty \) die Funktionenfolge \[ S_k(x)= \frac {P_1\cdots P_k}{x^{ P_k}}\,\int\limits _0^x t_k^{ p_k-1}\,dt_k\,\int\limits _0^{t_k} \cdots \int\limits _0^{t_3} t_2^{ p_2-1}\,dt_2\,\int\limits _0^{t_2}t_1^{ p_1-1}\,f(t_1)\,dt_1 \] nach \(s\) strebt. \ \(k\) heißt die Ordnung dieser Mittelbildung. Eine \(M(p_1,\ldots,p_k)\)-summierbare Funktion ist auch \(M(p_1',\ldots,p_k')\)-summierbar, wenn nur \(k'\geqq k\). Auch bei einer unendlichen Folge \(p_n\) hat man \(M(p_1,\ldots )\)-Summierbarkeit (von unendlicher Ordnung), falls nämlich die Folgen inf \(S_k(x)\) und sup \(S_k(x)\) den Grenzwert \(s\) besitzen, wenn \(k\to\infty \).