Über eine trigonometrische Summe. (Q5907436)

Verf. untersucht die Summen \[ (1)\quad S=\sum_{\nu=1}^m e^{2\pi i \alpha_\nu}, \] für die \textit{Kuzmin} (1927; F. d. M. 53, 326 (JFM 53.0326.*)) insbesondere \[ (2)\quad | S|<\frac 4\theta \] gezeigt hat (wegen der Bezeichnungen vgl. das vorstehende Referat). Verf. verschärft (2) zu \[ (3)\quad | S| \leqq \text{cotg} \frac{\pi \theta}{2} \] und zeigt zugleich für \(\theta=\frac 12\) und für alle positiven rationalen Zahlen \(\theta<\frac 12\) mit ungeradem Zähler und Nenner die Existenz einer Summe (1) mit \[ (4)\quad | S|=\text{cotg} \frac{\pi \theta}{2}. \] Ferner beweist er, daß\ für jedes diese Eigenschaft nicht besitzende, der Ungleichung \(0< \theta < \frac 12\) genügende \(\theta\) stets \[ (5)\quad | S|<\text{cotg}\frac{\pi \theta}{2} \] ist, und schließlich, daß\ zu jedem \(\theta\) mit \(0<\theta \leqq \frac 12\) und zu jedem \(\varepsilon>0\) eine Summe (1) mit \[ (6)\quad | S|>\text{cotg} \frac{\pi \theta}{2}-\varepsilon \] existiert. Diese Resultate zeigen insbesondere, das \(\text{cotg} \frac{\pi \theta}{2}\) die ``wahre Schranke'' für \(| S|\) ist. (IV 6 A.)