Sur une suite également répartie. (Q2589773)

Nach einem, scit 1936 bekannten Satz von \textit{Raikoff} (Rec. math., Moscou, (2) 1, 377-384; F. d. M. \(62_{\text{I}}\), 254) streben die arithmetischen Mittel \(\varPhi_{n+1}(x)\) der Werte \(f(x), f(ax), \dots, f(a^nx)\) einer auf \((0,1)\) summierbaren Funktion mit der Periode Eins bei \(a = 2, 3, \dots\) außerhalb einer Menge vom Maße Null gegen \(I = \int\limits_0^1 f(x)\, dx\). Unter der schärferen Bedingung, daß \(f(x)\) einer Lipschitzschen Bedingung der Ordnung \(0 < \alpha \leqq 1\) genügt, gibt Verf. folgende Verschärfungen: 1) die mittlere quadratische Abweichung zwischen \(\varPhi_{n+1}(x)\) und \(I\) ist \[ \frac{\sigma^2}{n + 1} + \frac{A(n)}{(n + 1)^2}, \] wo \(A(n)\) beschränkt und \(\sigma \geqq 0\) nur für \(f(x) = g(x) - g(ax) + c\) mit \(g(x + 1) = g(x)\) gleich Null ist; 2) bei \(\sigma > 0\) strebt das Maß der Menge, innerhalb deren \[ a < \sqrt{n +1} | \varPhi_{n+1} (x) - I | < b \] ist, für \(n \to \infty\) gegen \(\dfrac{1}{\sigma \sqrt{2\pi}} \int\limits_a^b e^{-\tfrac{u^2}{2\sigma^2}}\,du\); 3) bei \(\sigma > 0\) ist das Maß jener Menge, innerhalb deren \[ \varlimsup_{n\to\infty} \frac{\sqrt{n+1} \,| \varPhi_{n+1}(x) - I |} {\sqrt{2\sigma^2 [\log \log (n+1) + c \log \log \log (n+1)]}} > 1 \] ist, gleich 1 bzw. 0, je nachdem \(c < \frac 12\) bzw. \(> \frac 32\) ist. Auch für den Mittelwert von \(f(a^{l_1}x), \dots, f(a^{l_n} x)\) bei ganzen Zahlen \(0 \leqq l_1 < \cdots < l_n\) lassen sich entsprechende Resultate erzielen.