On a generalization of a theorem of Popov

Jing-Jing Huang,Huixi Li
DOI: https://doi.org/10.48550/arXiv.1910.13715
2019-10-30
Abstract:In this paper, we obtain sharp estimates for the number of lattice points under and near the dilation of a general parabola, the former generalizing an old result of Popov. We apply Vaaler's lemma and the Erdős-Turan inequality to reduce the two underlying counting problems to mean values of a certain quadratic exponential sums, whose treatment is subject to classical analytic techniques.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is related to estimating the number of lattice points under the standard parabola \(P_0: y = x^2\) and its transformed forms. Specifically, the authors aim to improve Popov's early estimate of the lattice - point - counting error term and generalize it to the parabola \(P: y=\alpha x^2+\beta x +\gamma\) in general form. ### Specific problem description 1. **Lattice - point - counting problem**: - Popov's result indicates that, in the case where large real numbers \(a\) and \(b\) satisfy \(b\ll a\), the error term \(E_{P_0}(a, b)\) is: \[ E_{P_0}(a, b)=O\left(a^{1/2}\exp\left(\left(\frac{3}{4}\ln 2+\varepsilon\right)\frac{\log a}{\log\log a}\right)\right) \] - By introducing more refined analysis methods, the authors improved this result and obtained a better error estimate: \[ E_{P_0}(a, b)=O\left(a^{1/2}\log a + b a^{-1/2}\exp\left((2 +\varepsilon)(\log a)^{1/2}\log\log a\right)\right) \] 2. **Generalization to general parabola**: - The authors further generalized the above results to the parabola \(P: y = \alpha x^2+\beta x+\gamma\) in general form and gave the corresponding error estimate: \[ \sum_{1\leq x\leq b}\left\lfloor\alpha\frac{x^2}{a}+\beta x+\gamma a\right\rfloor=\sum_{1\leq x\leq b}\left(\alpha\frac{x^2}{a}+\beta x+\gamma a-\frac{1}{2}\right)+E_P(a, b) \] where \[ E_P(a, b)\ll\left(a^{1/2}+b a^{-1/2}\right)\exp\left(\left(\frac{1}{2}\ln 2+\varepsilon\right)\frac{\log\Delta}{\log\log\Delta}\right) \] and \[ \Delta=\max\left(\frac{b^2a^{1/2}}{a + b}, 3\right) \] 3. **The number of lattice points close to the parabola**: - The paper also studied the problem of the number of lattice points close to the parabola. For a given \(\delta\in\left(0,\frac{1}{2}\right)\), define: \[ A_P(a, b,\delta)=\sum_{1\leq x\leq b}\left\|\alpha\frac{x^2}{a}+\beta x+\gamma a\right\|<\delta \] where \(\|x\|=\min_{n\in\mathbb{Z}}|x - n|\) represents the distance from \(x\) to the nearest integer. - The authors proved that: