Teilerprobleme. II. (Q572228)

Verf. knüpft an an seine Abhandlung ``Teilerprobleme'' [Math. Z. 26, 66--88 (1926; JFM 53.0153.01)), in der die Funktionen \[ \begin{aligned} T_0(x)&=\sum\limits_{n=1}^{[x]}\sigma(n)-\frac{\pi^2}6x+\frac12\log x,\\ T(x)&=\sum\limits_{n=1}^{[x]}n\sigma(n)-\frac{\pi^2}{12}x^2,\\ P_4(x)&=A_4(x)-\frac{\pi^2}2x^2 \end{aligned} \] abgeschätzt werden; dabei ist \(n\) eine natürliche Zahl, \[ \sigma(n)=\sum_{d\mid n}\frac1d, \] und \(A_4(x)\) zählt die Gitterpunkte \((u_1, u_2, u_3, u_4)\) mit \(u_1^2+u_2^2+u_3^2+u_4^2\leqq x\) ab. Da eine Verschärfung dieser Abschätzungen auf große Schwierigkeiten führt, betrachtet Verf. statt der Restglieder selbst die zugehörigen ``Fehlerquadratintegrale''. Er gelangt zu folgenden Ergebnissen: \[ \int_{0}^{x}T_0^2(u)\,du =\bigg\{\bigg(\frac{\gamma+\log2\pi}2\bigg)^2+ \frac{5\pi^2}{144}\bigg\}x+O(x^{\frac12}\log x), \tag{I} \] \[ \int_{0}^{x}T^2(u)\,du =\frac{36+5\pi^2}{432}x^3+O(x^{\frac52}\log x), \tag{II} \] \[ \int\limits_{0}^{x}P_4^2(u)\,du=\frac23\pi^2x^3+O(x^{\frac52}\log x). \tag{III} \] In der Richtung von (III) ergibt sich in einer Arbeit von \textit{V. Jarník} [Math. Z. 33, 62--84 (1931; JFM 57.0215.01) \[ \int\limits_{0}^{x}P_4^2(u)\,du=O(x^3) \] in allgemeinerer Form (für ein mehrdimensionales Ellipsoid). Die Methode der Arbeit verläuft durchweg im Reellen; sie spielt eine Rolle z. B. in der Arbeit von \textit{S. Chowla} ``Contributions to the analytic theory of numbers'' [Math. Z. 35, 279--299 (1932; JFM 58.0188.01)], wo sie zur Abschätzung eines mit der \textit{Euler}schen Funktion zusammenhängenden Fehlerquadratintegrals herangezogen wird. Der Beweis der drei Formeln verläuft so, daß zunächst für \(x \geqq1\) ein Zusammenhang hergestellt wird zwischen \(T_0 (x)\) und der Summe \[ \sum\limits_{1}^{\sqrt x}\frac1a\psi\left(\frac xa\right), \] wobei \(R (u) = u- [u]\) und \(\psi(u) = R (u) - \frac12\) gesetzt ist. Dabei wird die zu untersuchende Summe \[ \sum\limits_{n=1}^{x}\sum_{a|n}\frac1a \] passend aufgespalten, und die Bestandteile werden durch Logarithmen und durch \(R(\sqrt x)\) ausgedrückt. Der Zusammenhang wird dann auf das Quadratintegral umgerechnet. Identitäten für die unendlichen Summen \[ \sum_{mb=na}\frac1{mn}\text{ und }\sum_{(a,b)=1}\frac1{a^2b^2} \] werden darauf auf kompliziertere Summen dieser Art und auf mit diesen zusammenhängende trigonometrische Integrale angewendet, und so ergeben sich auf (I) führende Abschätzungen für Summen, die mit Integralen der Form \[ \int\limits_{\operatorname{Max}(a^2,b^2)}^{x} \psi\left(\frac ua\right)\psi\left(\frac ub\right)\,du \] zusammenhängen. (II) ergibt sich dann unter Benutzung des Vorhergehenden auf Grund einer Abschätzung der Differenz \(T (x) - xT_0 (x)\). Zum Beweis von (III) wird ein Zusammenhang zwischen den Integralen \[ \int\limits_{0}^{x}P_4^2(u)\,du\text{ und } \int\limits_{0}^{\tfrac x4}T(4u)T(u)\,du \] mit einem Rest, der von der Form \(Bx^{\frac52} \log x\) mit beschränktem \(B\) ist, herangezogen. Hierin kann das zweite Integral auf Grund des Vorhergehenden untersucht werden. Auf Grund der Tatsache, daß die über die ganzen \(a\), \(b\) mit \((a, b) = 1\) und \(b\equiv 1\pmod 2\) erstreckte \(\sum\dfrac1{a^2b^2}\) den Wert 2 hat, ergibt sich dann eine Abschätzung für die Summen \[ \begin{alignedat}{2} &\sum\nolimits^{(1)}\frac{x^3-\bigg\{\operatorname{Max}\bigg(\dfrac{a^2}4,b\bigg)\bigg\}^3} {ab},&&\sum\nolimits^{(2)}\frac1{mn},\\ &\sum\nolimits^{(1)}:1\leqq a\leqq2\sqrt x,\;1\leqq b\leqq\sqrt x;\quad &&\sum\nolimits^{(2)}:m,n=1,\dots,\infty;\;4mb=na, \end{alignedat} \] wobei Betrachtungen über in den Summationsbedingungen auftretende Kongruenzen eine Rolle spielen. Unter Hinzuziehung eines Satzes über Summen von der Form \[ \sum\nolimits^{(1)}\frac ba\sum\nolimits^{(2)}\frac1{mn} \] führt dies wiederum auf Abschätzungen für trigonometrische Integrale, die, ähnlich wie oben, (III) liefern.