Über einige neuere Grenzwertsätze. (Q1479979)

Beweis des neuen Grenzwertsatzes: Es sei eine unendliche Menge positiver Zahlen \(q\) ohne endliche Häufungsstelle gegeben: \(0 < q_1 \leqq q_2 \leqq \cdots \leqq q_n \cdots\). Es bedeute \(x (x)\) die Anzahl der \(q_n \leqq x\). Es sei die (reelle oder komplexe) Funktion \(U(x)\) für \(x\leqq 1\) definiert und bei jedem festen \(t > 1\) in \(1 \leqq x < t\) von beschränkter Variation. Es gebe ferner eine Funktion \(\omega(x)\), die von einem \(x = \xi\) an positiv ist, nicht abnimmt und so beschaffen ist, daß \[ U(x) = O(\omega(x)) \] ist, und daß für jede Funktion \(X= o (x)\) die Relation \[ \sum_{q_n\leqq x} \omega \biggl(\dfrac{x}{q_n}\biggr) = o(x(x)) \] erfüllt ist. Dann gilt für jede zahlentheoretische Funktion \(f(n)\), welche die Eigenschaften \[ F (x) = \sum_{q_n\leqq x} f(n) = o (x (x)), \] \[ G(x) = \sum_{q_n\leqq x}|f(n)|= O(x(x)) \] besitzt, zugleich \[ S(x)=\sum_{q_n\leqq x}f(n)U\biggl(\dfrac{x}{q_n}\biggr)= o(x(x)). \] Mit Hülfe dieses Satzes kann der Verf. verschiedene von ihm und \textit{Axer} erhaltene Resultate einheitlich beherrschen. Siehe F. d. M. 42, 222 (JFM 42.0222.*)-224, 1911; 41, 240-241, 1910.