Sur certaines limites rattachées aux intégrales de Stieltjes. (Q1450307)

\(a_{\nu, n}\) sei das allgemeine Glied einer Zahlenfolge (\(\nu = 1, 2,\ldots, n\); \(n = 1, 2,\ldots \)), \(r_n(x)\) bei festem \(n\) die Zahl \(a_{\nu, n}\leqq x\). Wenn \(\alpha (x) = \lim\limits_{n\to\infty}\dfrac{r_n(x)}{n}\) existiert, so stellt \(\alpha (x)\) eine monoton wachsende Funktion dar; sie wird \textit{Verteilungsfunktion} der Folge \((a_{\nu,n})\) genannt. Es wird bewiesen: Dafür, daß \[ A(f) = \lim\limits_{n\to\infty}\dfrac{1}{n}\sum\limits_{\nu =1}^n f(a_{\nu, n}) \] für alle in \(<a, b>\) stetigen Funktionen \(f(x)\) existiert, ist notwendig und hinreichend, daß die Verteilungsfunktion \(\alpha (x)\) der Folge \((a_{\nu, n})\) für alle Punkte von \(<a, b>\) existiert, eine höchstens abzählbare Menge ausgenommen. Und zwar ist \[ A(f) = \int\limits_a^b f(x)d(\alpha (x)). \] Daraus ergibt sich dann einfach folgende Verallgemeinerung eines \textit{Hadamard}schen Satzes: Wenn \(\alpha (x)\) eine Funktion von beschränkter Schwankung und \(b_\nu = \int\limits_0^1x^v d(\alpha (x))\) ist, so ist die durch \[ F(z) = \sum\limits_{\nu =0}^\infty a_\nu b_\nu z^\nu \] dargestellte Funktion analytisch im \textit{Mittag-Leffler}schen Stern der durch \[ f(z) = \sum\limits_{\nu = 0}^\infty a_\nu z^\nu \] gegebenen Funktion. (IV 2, 4.)