Some problems of diophantine approximation. I. (Q572265)

Verf. knüpft an an Ergebnisse von \textit{Hardy} und \textit{Littlewood} (Acta Math. 37 (1914); 155-191, 193-239; F. d. M. 45, 305 (JFM 45.0305.*)-308), \textit{A. Oppenheim} (Proceedings L. M. S. (2) 28 (1928), 476-483; F. d. M. 54, 411 (JFM 54.0411.*)), sich selbst (Journal L. M. S. 5 (1930), 176-178; F. d. M. \(56_{\text{I}}\), 178) und aus der nachstehend besprochenen Arbeit von \textit{A. Walfisz}. Es handelt sich um mit einer Irrationalität \[ \vartheta=a_1+\frac1{a_2}{ \atop\,+\,\dfrac1{a_3}}{ \atop{ \atop\,+\,{ \atop\ddots}}} \tag{\(*\)} \] gebildete trigonometrische Summen. Die genannten Autoren betrachten insbesondere Summen der Form \[ \begin{alignedat}{2} &\sum_{n\leqq x}e^{2\pi in^2\vartheta}&&=O(x^{\frac12})\\ \text{und} &\sum_{n\leqq x}r_k(n)e^{\pi in\vartheta}&&=O(x^{\frac12}\log x)\\ \end{alignedat} \] mit \(k \geqq 2\) und \[ r_k(n)=\sum_{n_1^2+\cdots+n_k^2=n}1 \] in ganzen \(n_1\),\dots, \(n_k\) in dem Fall, daß \(\vartheta\) beschränkte Kettenbruchnenner hat, also in (*) \(a_n = O(1)\) gut. In der vorliegenden Arbeit behandelt Verf. den Fall \(k = 4\). Er gelangt zu folgenden Ergebnissen: (1) Ist \(a_n = O (1)\), so gilt \[ \sum_{n\leqq x}r_4(n)e^{\pi i n\vartheta}=O(x\log^2x). \] (2) Sind \(a\), \(b\), \(c\), \(d\) positiv und ganz, und ist \(A (n)\) der Koeffizient von \(\dfrac1{n^s}\) im \textit{Dirichlet}schen Produkt der Reihen \[ \sum a_nn^{-s}=a^{-s}+(a+b)^{-s}+(a+2b)^{-s}+\cdots \] und \[ \sum c_nn^{-s}=c^{-s}+(c+d)^{-s}+(c+2d)^{-s}+\cdots, \] sind ferner \(u\) und \(v\) positiv und ganz, und ist wieder \(a_n=O(1)\), so gilt \[ \sum_{n\leqq x}A(n)e^{n\pi i\tfrac uv\vartheta}=O(x^{\frac12}\log x). \] Aus diesem Satz folgt unter ändern eins der Ergebnisse von \textit{A. Oppenheim} aus der oben angeführten Arbeit. Mit \[ d(n)=\sum_{d|n}1\text{ und }\sigma_a(n)=\sum_{d|n}d^a \] zeigt Verf. ferner für positive \(a\) und beliebig irrationales \(\vartheta\): \[ \sum_{n\leqq x}\sigma_a(n)e^{2\pi i n\vartheta}=o(x^{a+1}) \] und \[ \sum_{n\leqq x}d(n)e^{2\pi i n\vartheta}=o(x\log x). \]