On the error terms in some asymptotic formulae in the theory of numbers. I. (Q1830775)

\(\varphi (n)\) sei die Anzahl der zu \(n\) teilerfremden ganzen Zahlen \(< n\). Dann ist bekanntlich \[ \sum\limits_1^x \varphi (n) = \dfrac{3}{\pi^2}\cdot x^2+E(x), \] wo \(E(x) = O(x\log x)\) ist. Die Verf. beschäftigen sich mit der genaueren Abschätzung dieses Restgliedes \(E(x)\). Erstens wird bewiesen: \[ \sum\limits_1^R E(x)\sim\dfrac{3}{2\pi^2}R^2. \] Zum Beweise wird der folgende dem \textit{Axer}schen Satze ähnliche Hilfssatz benutzt: Wenn \(\sum\limits_{n=1}^xa_n = o(x)\) und \(|a_n|<K<\infty\) ist, so ist auch \[ \sum\limits_{n=1}^xa_n \left\{f\left(\dfrac{x}{n}\right)\right\}^2 = o(x), \] wobei \(f(x) = x - [x]\) bedeutet. Zweitens wird bewiesen: \[ E(x)\neq o(x \log \log \log x). \] Hierzu wird zu jedem ganzzahligen \(k\) ein \(x_0\) konstruiert, so daß \[ k=O(\log\log x_0) \] und \[ E(x_0+2k) - E(x_0) > H_3x_0\log\log\log x_0+O(x_0) \] ist, woraus sich Satz 2 durch indirekten Beweis ergibt.