Analytischer Beweis des Satzes über die Verteilung der Bruchteile eines Polynoms. (Q1445008)

Der Hauptsatz der Arbeit lautet: Es sei \(f (x) = \alpha x^n + \alpha_1 x^{n-1} + \cdots + \alpha_n\) ein reelles Polynom, \(n > 1\), \(P\) eine ganze positive Zahl, \((a, h) = 1\), \[ \begin{matrix} \l & \quad \l \\ \alpha = \dfrac{a}{h} + \dfrac{\theta}{h^2}, & |\theta| < 1, \quad 1 < h < P^n, \\ \{z\} = z - [z]. & 0 < \nu \leqq 1. \end{matrix} \] Wenn \(T_\nu\) die Anzahl der Zahlen \(\{f(x)\}\) ist, welche kleiner sind als \(\nu\) und wenn \(x = 0, 1, 2, \dots, P - 1\) ist, so besteht die asymptotische Gleichung: \[ T_\nu = \nu P + 0(P^{1+\varepsilon}) \cdot (P^{-1} + h^{-1} + hP^{-n})^\sigma. \] Die Zahl \(\sigma\) ist gleich \(2^{-n+1}\). Aus diesem Satz folgt: Bei gegebenen positiven \(\varepsilon\), reellen \(\alpha\), ganzen \(n > 0\) gibt es eine Konstante \(C = C (n, \varepsilon)\) derart, daß für beliebige \(P > 1\) die Ungleichungen: \[ |\alpha x^n - y| < \frac{C}{P^\rho}, \quad \varrho = \frac{n}{n2^{n-1} + 1} - \varepsilon, \quad 0 < x < P \] durch ganze Zahlen \(x\) und \(y\) befriedigt sind; z. B. kann man die ganzen Zahlen \(x\) und \(y\) so angeben, daß: \[ |\alpha x^2 - y| < \frac{C}{P^{\tfrac 25 - \varepsilon}}, \quad 0 < x < P. \] Die Hilfsmittel des Verf. sind: die Weilsche Ungleichung und spezielle trigonometrische Reihen.