Estimations of trigonometrical sums. (Q2598786)

Beweis zweier Sätze über Abschätzungen trigonometrischer Summen. Teilresultat von Satz 1: Es seien \(n\), \(m\), \(a\), \(q\), \(P\), \(Q\) ganze Zahlen, \(n\geqq 13\), \(q > 0\), \((a, q)=1\), \(P> 0\), \(1\leqq q \leqq P\), \(m\leqq q^{(n+1)^{-3}}\). Es seien ferner \(a_1, a_2,\ldots, a_{n+1}\) und \(\theta\) reelle Zahlen mit \(|\theta| < 1\), \(a_{n+1} =\dfrac aq+\dfrac\theta{q^2}\) und \(F(z)=a_1z+\cdots + a_{n+1}z^{n+1}\). Dann gilt für die trigonometrischen Summen \(S=\sum\limits_{z=Q+1}^{Q+P} e^{2\pi imF(z)}\) die Abschätzung \(|S|<16nPq^{-\varrho}\) mit \(\varrho=1/(n+1)^3\log (n+1)\). -Satz 2: Sei \(n\geqq 14\), \(P\) und \(Q\) wie oben und \(F(z)\) eine reelle Funktion, welche im Intervall \(Q < z\leqq Q+P\) den Ungleichungen \[ \frac 1A\leqq\frac{F^n(z)}{n!}\leqq\frac lA,\qquad \left|\frac{F^{(n+1)}(z)}{(n+1)!}\right|\leqq\frac h{AP^{\frac 23}} \] mit \(P\leqq A\leqq P^2\), \(l\leqq 2^n\), \(h\leqq 2^n\) genügt. Dann gilt für die Summe \(S=\sum\limits_{z=Q+1}^{Q+P} e^{2\pi iF(z)}\) die Ungleichung \[ |S|\leqq 8nP^{1-\varrho}\qquad \text{mit} \qquad \varrho=1/(n+1)^3\log(n+1). \] (Nach dem Auszug referiert.)