Über einige trigonometrische Summen. (Q572266)

Die Arbeit besteht aus zwei Teilen. Im ersten handelt es sich um trigonometrische Summen, die mit der die Darstellungen des Arguments als Summe einer gegebenen Anzahl \(k\) (\(\geqq 2\)) von ganzen Quadraten abzählenden zahlentheoretischen Funktion \(r_k(n)\) zusammenhängen, im zweiten um Summen, die mittels der Teilerfunktion \[ d(n)=\sum_{d|n}1 \] gebildet sind. Verf. knüpft an an die Arbeiten von \textit{A. Oppenheim} (Proceedings L. M. S. (2) 28 (1928), 476-483; F. d. M. 54, 411 (JFM 54.0411.*)) und \textit{S. D. Chowla} (Journal L. M. S. 5 (1930), 176-178; F. d. M. \(56_{\text{I}}\), 178; M. Z. 34 (1931), 544-563; F. d. M. \(57_{\text{I}}\), vorangehendes Referat). Verf. gelangt, über die genannten Arbeiten hinausgehend, zu folgenden beiden Gruppen von Ergebnissen: A. Es werde mit nicht negativem ganzem \(n\) und ganzem \(k\geqq 2\) \[ r_k(n)=\sum_{n_1^2+\cdots+n_k^2=n}1,\qquad R_k(x)=\sum_{0\leqq n\leqq x}r_k(n)e^{2\pi in\vartheta} \] gesetzt. Dann ist \[ \begin{array}{ll} (1)\quad R_2(x)=O(x^{\tfrac12}\log^{2+\varepsilon}x), &(2)\quad R_3(x)=O(x^{\tfrac34}\log x),\\ (3)\quad R_3(x)=O(x^{\tfrac34}\log^{2+\varepsilon}x), &(4)\quad R_4(x)=O(x\log^{3+\varepsilon}x),\\ (5)\quad R_k(x)=O(x^{\tfrac k2-1})\text{ für }k\geqq5,\qquad\qquad &(6)\quad R_k(x)=\varOmega(x^{\tfrac k4}),\\ (7)\quad R_k(x)=\varOmega(x^{\tfrac k4}\log^{\tfrac k4}x), &(8)\quad R_k(x)=\varOmega(x\log\log x). \end{array} \] B. Mit einer für \(x > 0\) positiv definierten, mit unbegrenzt wachsendem \(x\) monoton gegen Null abnehmenden Funktion \(\varphi(x)\) ist: \begin{align*} \sum d(n)e^{2\pi i n\vartheta}&=O(x^{\tfrac12}\log^{2+\varepsilon} x),\tag{9}\\ \sum d(n)e^{2\pi i n\vartheta} &=\varOmega(x^{\frac12}\log^{\frac12}x\log\log x),\tag{10}\\ \sum d(n)\sin{2\pi n\vartheta} &=\varOmega_{\substack{R\\ L}}(\varphi(x)x\log x),\tag{11}\\ \sum \frac{d(n)}n\sin{2\pi n\vartheta} &=\varOmega_{\substack{R\\ L}}(\varphi(x)\log x),\tag{12}\\ \sum \frac{d(n)}n\sin{2\pi n\vartheta} &=O(\log x),\tag{13}\\ \sum \frac{d(n)}n\sin{2\pi n\vartheta} &=o(\log x);\tag{14} \end{align*} ferner ist \[ \sum\limits_{1}^{\infty}\frac{d(n)}n e^{2\pi i n\vartheta} \tag{15} \] konvergent. Dabei ist in (9) bis (14) über \(n\) von 1 bis \([x]\) zu summieren. In (2) und (5) ist \(\vartheta\) irrational mit beschränkten Kettenbruchnennern, in (1), (3), (4), (7), (9) und (10) eine geeignete Teilmenge aller Zahlen mit Ausnahme einer Menge vom \textit{Lebesgue}schen Maß Null durchlaufend, in (6) und (14) beliebig irrational, in (15) irrational algebraisch, in (11) und (12) einer von \(\varphi (x)\) abhängenden Menge irrationaler Zahlen angehörig und in (8) und (13) beliebig vorausgesetzt. Zunächst werden (1), (4) und (9) auf Grund des Zusammenhangs zwischen \(r_k(n)\) und Teilerfunktionen in gewissen Restklassen im Anschluß an \textit{Jacobi} und \textit{Chowla} bewiesen, wobei ein Satz von \textit{Khintchine} (1924; F. d. M. 50, 125 (JFM 50.0125.*); vgl. ferner \textit{V. Jarník}, 1929; F. d. M. \(55_{\text{II}}\), 718) sowie ein Satz von \textit{Behnke} (1924; F. d. M. 50, 124 (JFM 50.0124.*)-125) herangezogen werden. Dann werden (2) und (3) auf Grund funktionentheoretischer Betrachtungen in zum Teil engem Anschluß an \textit{Jarník} (Math. Ann. 100 (1928), 699-721; F. d. M. 54, 203 (JFM 54.0203.*)) und unter Benutzung der \textit{Farey}zerschneidung bewiesen, wobei noch umfangreiche arithmetische Betrachtungen über diophantische Approximationen hinzukommen. Es folgen die Beweise von (5), (6) und (7). Dem Beweis von (5) liegt eine \textit{Hardy}sche Identität zwischen \(r_5(n)\) und einer mit den trigonometrischen Summen \[ \sum_{m=0}^{q-1}e^{2\pi i m^2\tfrac pq} \] behafteten Reihe zugrunde (Spezialfall der \textit{Hardy-Littlewood}schen ``singular series'' ohne Restglied). (6) ergibt sich einfach aus einem \textit{Hardy-Littlewood}schen Satze, der eine untere Größenordnungsabschätzung für die mit dem Problem eng verknüpfte Thetareihe \[ \varTheta(s)=\sum\limits_{m=-\infty}^{\infty}\alpha_ne^{-\lambda_ns} \] an der Stelle \(\varrho-2\pi i \vartheta\) bei \(\varrho > 0\) und \(\varrho\to 0\) angibt. Der Beweis von (7) erfordert eine in derselben Richtung liegende Abschätzung des Verf. (1930; F. d. M. \(56_{\text{II}}\), 896). Im zweiten Teil der Arbeit ergeben sich zunächst auf Grund von Betrachtungen, die denen in der Richtung des erwähnten \textit{Jacobi}schen Zusammenhanges analog sind, die Abschätzungen (13), (14) und (15). Dabei finden ein Satz von \(Behnke\) (1924; F. d. M. 50, 124 (JFM 50.0124.*)), der \textit{Liouville}sche Satz über die Approximierbarkeit algebraischer Zahlen und ein Satz von \textit{H. Weyl} über die Summe \[ \sum\limits_{n=1}^{[x]}n\vartheta-[n\vartheta]-\frac12 \] Anwendung. Schließlich werden (10), (11) und (12) bewiesen unter Benutzung eines Satzes von \textit{Khintchine} aus der oben angeführten Arbeit und insbesondere des folgenden Satzes von \textit{T. Estermann} (1929; F. d. M. \(55_{\text{I}}\), 107): Es seien \(p\) und \(q\) ganz, \(q > 0\), \((p,q) = 1\); \[ \begin{gathered} \mathfrak R(y)>0,\quad q(y)<8\sqrt{\mathfrak R(y)};\\ z=e^{2\pi i\tfrac pq-y},\quad f(s)=\sum\limits_{r=1}^{\infty}d(r)s^r\text{ für }|s|<1; \end{gathered} \] \(\gamma\) die \textit{Euler}sche Konstante. Dann gilt, wenn \(\log y\) den Hauptzweig bedeutet : \[ \left|f(z)-\frac{\gamma-\log y-2\log q}{qy}\right|< A\frac{|y|q\log2q}{\mathfrak R(y)}. \]