Davenport's theorem in short intervals (Q5905533)

It was shown by \textit{H. Davenport} [Q. J. Math., Oxf. II. Ser. 8, 313-320 (1937; Zbl 0017.39101)] that \[ \sum_{n\leq x}\mu(n)e(n\alpha) \ll_ A x(\log x)^{-A} \] for any \(A>0\), uniformly in \(\alpha\). The present paper proves a corresponding bound \(y(\log y)^{-A}\) for a sum over a short interval \(x\leq n\leq x+y\), for \(y\geq x^{2/3+\varepsilon}\) with any \(\varepsilon > 0\). The proof begins with a division of the range for \(\alpha\) into major and minor arcs. In the major arc case zero density estimates are used. For the minor arcs the sum is decomposed via the generalized Vaughan identity, and mean value estimates for \(L\)-functions and Dirichlet polynomials are then applied.