1 Introduction and main results
Let
$D$
be a non-square positive integer. The Pell equation is usually referred to as
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn1.gif?pub-status=live)
to which the solution can be written in the usual form
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU1.gif?pub-status=live)
The classical Dirichlet’s unit theorem asserts that the set of solutions to (1.1) is non-trivial and has the form
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU2.gif?pub-status=live)
where
$\unicode[STIX]{x1D700}_{D}$
is called the fundamental solution of (1.1) and is given by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU3.gif?pub-status=live)
Writing
$\unicode[STIX]{x1D700}_{D}:=t_{0}+u_{0}\sqrt{D}$
, we have
$t_{0},u_{0}\geqslant 1$
, from which we deduce that
$t_{0}=\sqrt{1+u_{0}^{2}D}>\sqrt{D}$
and finally
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU4.gif?pub-status=live)
We are interested in counting the integers
$D$
for which
$\unicode[STIX]{x1D700}_{D}$
or
$\unicode[STIX]{x1D702}_{D}$
is less than a fixed power of
$D$
.
For
$\unicode[STIX]{x1D6FC}>0$
and
$x\geqslant 2$
, define
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU5.gif?pub-status=live)
In his pioneer work, Hooley [Reference HooleyHoo84] proved the following theorem.
Theorem A (Hooley).
Let
$\unicode[STIX]{x1D700}_{0}$
satisfy
$0<\unicode[STIX]{x1D700}_{0}<\frac{1}{2}$
. As
$x\rightarrow +\infty$
, one has
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU6.gif?pub-status=live)
uniformly for
$\unicode[STIX]{x1D700}_{0}\leqslant \unicode[STIX]{x1D6FC}\leqslant \frac{1}{2}.$
In the same paper, Hooley [Reference HooleyHoo84, p. 110] also made the following conjecture.
Conjecture 1.1 (Hooley).
For any given
$\unicode[STIX]{x1D6FC}>\frac{1}{2}$
, we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU7.gif?pub-status=live)
where
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU8.gif?pub-status=live)
Fouvry [Reference FouvryFou16] made a first significant step towards Hooley’s conjecture in the case
$\unicode[STIX]{x1D6FC}\in ]\!\frac{1}{2},1\!]\!.$
In fact, he proved the following theorem.
Theorem B (Fouvry).
As
$x\rightarrow +\infty$
, one has
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn2.gif?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn3.gif?pub-status=live)
uniformly for
$\unicode[STIX]{x1D6FC}\in [\frac{1}{2},1].$
Moreover, Fouvry [Reference FouvryFou16] considered a conjectural estimation for short exponential sums.
Conjecture 1.2. There exists an absolute
$\unicode[STIX]{x1D717}\in \! [\frac{1}{2},1\![$
, such that for any integer
$k\geqslant 0,$
one has the inequality
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU9.gif?pub-status=live)
uniformly for any integers
$a,h,m$
satisfying
$h\neq 0,m\geqslant 1$
and
$2\nmid am$
, for any real number
$N$
satisfying
$m\leqslant N\leqslant m^{2}$
and
$N<N_{1}\leqslant 2N.$
Assuming Conjecture 1.2, Fouvry [Reference FouvryFou16] derived the following stronger lower bounds.
Theorem C (Fouvry).
Assume that Conjecture 1.2 is true for some
$\unicode[STIX]{x1D717}\in \! [\!\frac{1}{2},1\![$
. As
$x\rightarrow +\infty$
, one has
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU10.gif?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU11.gif?pub-status=live)
uniformly for
$\unicode[STIX]{x1D6FC}\in [{\textstyle \frac{1}{2}},{\textstyle \frac{1}{1+\unicode[STIX]{x1D717}}}].$
The first inequality coincides with Hooley’s Conjecture 1.1 when
$\unicode[STIX]{x1D6FC}$
is slightly larger than
$\frac{1}{2}.$
On the other hand, Bourgain [Reference BourgainBou15] considered Conjecture 1.2 itself. In particular, he succeeded in saving a power of
$\log N$
in the trivial bound for the sum involved. This allows him to improve the lower bound (1.2) by replacing the term
$-4(\unicode[STIX]{x1D6FC}-\frac{1}{2})^{2}$
with the term
$O((\unicode[STIX]{x1D6FC}-\frac{1}{2})^{2+c})$
, where
$c$
is some positive constant.
Bourgain’s improvement is of interest only if
$\unicode[STIX]{x1D6FC}$
is quite close to
$\frac{1}{2}$
and one should pay much more attention if every parameter is to be made effective. The aim of this paper is to give another improvement to Theorem B towards Conjecture 1.1.
Theorem 1.1. Let
$x\rightarrow +\infty$
. For any fixed
$\unicode[STIX]{x1D703}\in \, ]\!0,\frac{1}{2}\! [,$
we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn4.gif?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn5.gif?pub-status=live)
uniformly in
$\unicode[STIX]{x1D6FC}\in [\frac{1}{2},1]$
, where
$\unicode[STIX]{x1D70C}$
is the Dickman function given by (A.1) and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn6.gif?pub-status=live)
Fix
$\unicode[STIX]{x1D703}\in \, ]\!0,\frac{1}{2}\! [$
. One may check that
$F_{\unicode[STIX]{x1D703}}(\unicode[STIX]{x1D6FC})$
is always positive for
$\unicode[STIX]{x1D6FC}\in \, ]\!\frac{1}{2},1]$
and monotonically increasing in
$\unicode[STIX]{x1D6FC}\in [\frac{1}{2},{\textstyle \frac{6}{11+2\unicode[STIX]{x1D703}}}]$
. In particular, for
$\unicode[STIX]{x1D6FC}\in \, ]\!\frac{1}{2},\frac{6}{11}\! [,$
we take
$\unicode[STIX]{x1D703}=3/\unicode[STIX]{x1D6FC}-\frac{11}{2}$
such that
$\unicode[STIX]{x1D6FC}={\textstyle \frac{6}{11+2\unicode[STIX]{x1D703}}}$
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU12.gif?pub-status=live)
Moreover,
$\unicode[STIX]{x1D70C}(2\unicode[STIX]{x1D6FC}/(6-11\unicode[STIX]{x1D6FC}))/\unicode[STIX]{x1D6FC}>0.3008$
for
$\unicode[STIX]{x1D6FC}\in \, ]\!\frac{1}{2},\frac{35}{69} ].$
Hence we may conclude the following consequence.
Corollary 1.1. Let
$x\rightarrow +\infty$
. Uniformly for
$\unicode[STIX]{x1D6FC}\in \, ]\!\frac{1}{2},\frac{35}{69}\! ],$
we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU13.gif?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU14.gif?pub-status=live)
The framework of the proof is based on [Reference FouvryFou16]. To make the paper clear, we will present the proof as complete as possible, but also with omitting some details that are not quite essential to understand the underlying ideas.
The key point of proving Theorem 1.1 is a variant of Conjecture 1.2 that can be proved unconditionally. More precisely, if one allows the moduli
$m^{2}$
to be smooth numbers (integers free of large prime factors), it is possible to prove the existence of
$\unicode[STIX]{x1D717}$
in Conjecture 1.2 as long as
$N$
is not too small. The details can be referred to Theorem 3.1 and § 4. We will adopt the
$q$
-analogue of van der Corput method, which can be at least dated back to Heath-Brown [Reference Heath-BrownHea78] on the proof of Weyl-type subconvex bounds for Dirichlet
$L$
-functions to well-factorable moduli. Instead of the
$AB$
-process in [Reference Heath-BrownHea78], we apply the
$BAB$
-process by introducing a completion in the initial step. It is expected that one can do better on the exponential sums in Conjecture 1.2 if better factorizations of the moduli are imposed; see [Reference Wu and XiWX16] for instance in the case of squarefree moduli. However, the improvements to Theorem 1.1 would be rather slight, since the density of smooth numbers decays rapidly when the size of their prime factors decreases.
As an extension to Theorem 1.1, one may consider
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU15.gif?pub-status=live)
for
$\unicode[STIX]{x1D6FC}>\unicode[STIX]{x1D6FD}\geqslant 0.$
Conjecture 1.1 would yield asymptotics for
$S(x;\unicode[STIX]{x1D6FC},\unicode[STIX]{x1D6FD})$
while
$\unicode[STIX]{x1D6FC},\unicode[STIX]{x1D6FD}$
are of different prescribed sizes. A weaker statement would assert that, for any
$\unicode[STIX]{x1D6FC}>\unicode[STIX]{x1D6FD}\geqslant 0,$
there exists a positive constant
$c=c(\unicode[STIX]{x1D6FC},\unicode[STIX]{x1D6FD})$
, such that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU16.gif?pub-status=live)
for all large
$x>x_{0}(\unicode[STIX]{x1D6FC},\unicode[STIX]{x1D6FD})$
. This weaker statement was made unconditionally by Fouvry and Jouve [Reference Fouvry and JouveFJ12] whenever
$\unicode[STIX]{x1D6FD}<\frac{3}{2}$
. It is expected that the arguments in this paper can enlarge the admissible range of
$\unicode[STIX]{x1D6FD}$
.
Notation and convention
As usual,
$e(x)=e^{2\unicode[STIX]{x1D70B}ix}$
,
$\unicode[STIX]{x1D711}$
denotes the Euler function and
$\unicode[STIX]{x1D714}(q)$
counts the number of distinct prime factors of
$q$
. The variable
$p$
is reserved for prime numbers. Denote by
$q^{\flat }$
and
$q^{\sharp }$
the squarefree and squarefull parts of
$q$
, respectively; namely,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU17.gif?pub-status=live)
For a real number
$x,$
denote by
$[x]$
its integral part and
$\Vert x\Vert =\min _{n\in \mathbf{Z}}|x-n|$
. From time to time, we use
$(m,n)$
to denote the greatest common divisor of
$m,n$
, and also to denote a tuple given by two coordinates; these will not cause confusions as one will see later. The symbol
$\ast$
in summation reminds us to sum over primitive elements such that poles of the summand are avoided. For a function
$f\in L^{1}(\mathbf{R})$
, its Fourier transform is defined as
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU18.gif?pub-status=live)
We use
$\unicode[STIX]{x1D700}$
to denote a very small positive number, which might be different at each occurrence; we also write
$X^{\unicode[STIX]{x1D700}}\log X\ll X^{\unicode[STIX]{x1D700}}.$
The convention
$n\sim N$
means
$N<n\leqslant 2N$
.
2 Fundamental transformations: after Hooley and Fouvry
We first make some fundamental transformations following the arguments of Hooley and Fouvry. For some conclusions, we omit the proof and the detailed arguments can be found in [Reference HooleyHoo84] and [Reference FouvryFou16].
2.1 An initial transformation
First, we write
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn7.gif?pub-status=live)
where
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn8.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn9.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn10.gif?pub-status=live)
Here,
$Y_{1}(u,\unicode[STIX]{x1D6FC})$
is a function in
$u$
, implicitly defined by the equation
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU19.gif?pub-status=live)
We have the following asymptotic characterization for
$Y_{2}(u,\unicode[STIX]{x1D6FC}).$
The proof can be found in [Reference FouvryFou16, Lemma 2.1] and the subsequent remark.
Lemma 2.1. Let
$\unicode[STIX]{x1D6FC}>0.$
The function
$u\mapsto Y_{2}(u,\unicode[STIX]{x1D6FC})$
is of
$\mathscr{C}^{\infty }$
-class and satisfies the inequalities
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn11.gif?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn12.gif?pub-status=live)
as
$u\rightarrow +\infty .$
2.2 A first dissection of
$S(x,\unicode[STIX]{x1D6FC})$
We truncate the
$u$
-sum in (2.1) at
$X_{1/2}$
, and the contributions from
$u\leqslant X_{1/2}$
and
$u>X_{1/2}$
are respectively denoted by
$A(x,\unicode[STIX]{x1D6FC})$
and
$B(x,\unicode[STIX]{x1D6FC}).$
Therefore,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn13.gif?pub-status=live)
Accordingly, we may define
$A^{\text{f}}(x,\unicode[STIX]{x1D6FC})$
and
$B^{\text{f}}(x,\unicode[STIX]{x1D6FC})$
by introducing the extra restriction
$t+u\sqrt{D}=\unicode[STIX]{x1D700}_{D}$
to the equation
$t^{2}-Du^{2}=1.$
As stated by Fouvry [Reference FouvryFou16, Formula (4.5)], we have the following.
Lemma 2.2. Let
$\unicode[STIX]{x1D6FC}\in [\frac{1}{2},1].$
As
$x\rightarrow +\infty ,$
we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn14.gif?pub-status=live)
Our task thus reduces to proving a lower bound for
$B(x,\unicode[STIX]{x1D6FC}).$
Put
${\mathcal{R}}(u):=\{\unicode[STIX]{x1D6FA}\,(\operatorname{mod}u^{2}):\unicode[STIX]{x1D6FA}^{2}\equiv 1\,(\operatorname{mod}u^{2})\}.$
We then have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn15.gif?pub-status=live)
Put
$\unicode[STIX]{x1D6FE}(u)=|{\mathcal{R}}(u)|$
. Thus
$u\mapsto \unicode[STIX]{x1D6FE}(u)$
is multiplicative and satisfies
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn16.gif?pub-status=live)
2.3 Analysis of
${\mathcal{R}}(u)$
For
$u\geqslant 1$
, write
$u=2^{k}u_{0}$
, where
$u_{0}$
is an odd integer. The choice of
$(k,u_{0})$
is unique for each
$u\geqslant 1$
. The Chinese remainder theorem implies
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn17.gif?pub-status=live)
In this way, one can establish a bijection between
${\mathcal{R}}(u)$
and
${\mathcal{R}}(2^{k})\times {\mathcal{R}}(u_{0}).$
Starting from (2.9), we decompose
$B(x,\unicode[STIX]{x1D6FC})$
by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn18.gif?pub-status=live)
where
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU20.gif?pub-status=live)
The task will be evaluating
$B(x,\unicode[STIX]{x1D6FC};\unicode[STIX]{x1D709},k)$
for all
$k\geqslant 0$
and
$\unicode[STIX]{x1D709}\in {\mathcal{R}}(2^{k}).$
This would require the following description of
${\mathcal{R}}(u)$
that allows us to create one more variable. This is Lemma 4.1 in [Reference FouvryFou16].
Lemma 2.3. Let
$u$
be a positive odd integer. Then there is a bijection
$\unicode[STIX]{x1D6F7}$
between the set of coprime decompositions of
$u$
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU21.gif?pub-status=live)
and the set of roots of congruence
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU22.gif?pub-status=live)
Such a bijection can be defined by
$\unicode[STIX]{x1D6F7}(u_{1},u_{2})\,=\,\unicode[STIX]{x1D6FA}$
, where
$\unicode[STIX]{x1D6FA}$
is uniquely determined by the congruences
$\unicode[STIX]{x1D6FA}\equiv 1\,(\operatorname{mod}u_{1}^{2})$
and
$\unicode[STIX]{x1D6FA}\equiv -1\,(\operatorname{mod}u_{2}^{2})$
. In an equivalent manner, we have the congruence
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn19.gif?pub-status=live)
Here
$\overline{u}_{1}u_{1}\equiv 1\,(\operatorname{mod}u_{2})$
and
$\overline{u}_{2}u_{2}\equiv 1\,(\operatorname{mod}u_{1})$
.
With the help of Lemma 2.3, we may rewrite
$B(x,\unicode[STIX]{x1D6FC};k,\unicode[STIX]{x1D709})$
as
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU23.gif?pub-status=live)
where
$B^{{>}}(x,\unicode[STIX]{x1D6FC};\unicode[STIX]{x1D709},k)$
and
$B^{{<}}(x,\unicode[STIX]{x1D6FC};\unicode[STIX]{x1D709},k)$
correspond to the restrictions
$u_{1}>u_{2}$
and
$u_{1}<u_{2}$
, respectively. Since the treatments of
$B^{{>}}(x,\unicode[STIX]{x1D6FC};\unicode[STIX]{x1D709},k)$
and
$B^{{<}}(x,\unicode[STIX]{x1D6FC};\unicode[STIX]{x1D709},k)$
are similar, it suffices to study
$B^{{<}}(x,\unicode[STIX]{x1D6FC};\unicode[STIX]{x1D709},k)$
as presented in the next section.
We close this section with the trivial equality
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn20.gif?pub-status=live)
which is a consequence of the equivalence
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU24.gif?pub-status=live)
This allows us to transfer between
$S^{\text{f}}(x,\unicode[STIX]{x1D6FC})$
and
$S(x,\unicode[STIX]{x1D6FC})$
.
3 Lower bound for
$B(x,\unicode[STIX]{x1D6FC})$
In order to conclude the lower bound for
$B(x,\unicode[STIX]{x1D6FC})$
, we now start the study of
$B^{{<}}(x,\unicode[STIX]{x1D6FC};\unicode[STIX]{x1D709},k)$
. Recall that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU25.gif?pub-status=live)
We would like to drop the multiplicative constraints
$2^{-k}X_{1/2}<u_{1}u_{2}\leqslant 2^{-k}X_{\unicode[STIX]{x1D6FC}}$
and sum over
$u_{1},u_{2}$
separately. To do so, we may introduce the following inequality
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn21.gif?pub-status=live)
where we have the following.
∙ The summation is over all
$\mathbf{U}=(U_{1},U_{2})$ satisfying
$$\begin{eqnarray}U_{1}<U_{2},\quad X_{1/2}<2^{k}U_{1}U_{2}\leqslant \frac{X_{\unicode[STIX]{x1D6FC}}}{8},\end{eqnarray}$$
$U_{1},U_{2}$ being powers of
$2$ .
∙ The summation is over all
$\unicode[STIX]{x1D709}_{1},\unicode[STIX]{x1D709}_{2}\,(\operatorname{mod}4^{k})$ satisfying
$(\unicode[STIX]{x1D709}_{1}\unicode[STIX]{x1D709}_{2},4^{k})=1$ .
∙ We have defined
$$\begin{eqnarray}B(x,\unicode[STIX]{x1D6FC};\boldsymbol{ U},\unicode[STIX]{x1D709},\unicode[STIX]{x1D709}_{1},\unicode[STIX]{x1D709}_{2},k):=\sum _{\substack{ u_{1}\sim U_{1},u_{2}\sim U_{2} \\ u_{1}\equiv \unicode[STIX]{x1D709}_{1},u_{2}\equiv \unicode[STIX]{x1D709}_{2}\,(\operatorname{mod}4^{k}) \\ (2,u_{1}u_{2})=(u_{1},u_{2})=1}}~\mathop{\sum }_{\substack{ Y_{2}(2^{k}u_{1}u_{2},\unicode[STIX]{x1D6FC})\leqslant t\leqslant Y_{3}(2^{k}u_{1}u_{2}) \\ t\equiv \unicode[STIX]{x1D6F7}(u_{1},u_{2})\,(\operatorname{mod}u_{1}^{2}u_{2}^{2}) \\ t\equiv \unicode[STIX]{x1D709}\,(\operatorname{mod}4^{k})}}1.\end{eqnarray}$$
Of course the condition
$(2,u_{1}u_{2})=1$
can be dropped when
$k\geqslant 1$
. The parameter
$\unicode[STIX]{x1D6FC}$
is supposed to be fixed and the congruence conditions modulo
$4^{k}$
are harmless. So to shorten the notation, we write
$B(x,\mathbf{U}):=B(x,\unicode[STIX]{x1D6FC};\mathbf{U},\unicode[STIX]{x1D709},\unicode[STIX]{x1D709}_{1},\unicode[STIX]{x1D709}_{2},k)$
. Finally we shall not make precise the dependence on
$k$
of some
$O$
-symbols, since we shall work with a finite number of values of
$k$
. The case
$k=0$
is typical and really reflects the difficulties of the method.
3.1 Reduction to exponential sums: after Fouvry
The congruence condition
$t\equiv \unicode[STIX]{x1D6F7}(u_{1},u_{2})\,(\operatorname{mod}u_{1}^{2}u_{2}^{2})$
implies that
$t\equiv -1\,(\operatorname{mod}u_{2}^{2})$
, i.e.,
$t=-1+\ell u_{2}^{2}$
for some
$\ell \in \mathbf{Z}.$
Since
$Y_{2}(2^{k}u_{1}u_{2},\unicode[STIX]{x1D6FC})\leqslant t\leqslant Y_{3}(2^{k}u_{1}u_{2})$
, then there is no such
$t$
if
$u_{2}$
is too large, for instance when
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU28.gif?pub-status=live)
Hence we can suppose
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn22.gif?pub-status=live)
otherwise
$B(x,\mathbf{U})=0.$
Since
$u_{1}u_{2}$
is odd, we deduce from (2.13) the equivalence
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU29.gif?pub-status=live)
with
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU30.gif?pub-status=live)
where
$u_{1}^{2}u_{2}^{2}\cdot \overline{(u_{1}^{2}u_{2}^{2})}\equiv 1\,(\operatorname{mod}4^{k}),u_{2}^{2}\overline{u_{2}^{2}}\equiv 1\,(\operatorname{mod}u_{1}^{2})$
and
$4^{k}\overline{4^{k}}\equiv 1\,(\operatorname{mod}u_{1}^{2}u_{2}^{2}).$
It follows that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU31.gif?pub-status=live)
with
$\unicode[STIX]{x1D705}:=(\unicode[STIX]{x1D709}+1)\overline{\unicode[STIX]{x1D709}_{1}^{2}\unicode[STIX]{x1D709}_{2}^{2}}/4^{k}.$
The three terms on the right-hand side have completely different structures: the first one is constant, the second one changes very slowly when
$u_{1}$
and
$u_{2}$
vary, the third one oscillates a lot when
$u_{2}$
varies with
$u_{1}$
fixed.
For each fixed
$k$
, we rewrite the sum
$B(x,\mathbf{U})$
as
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU32.gif?pub-status=live)
where
$Y_{2}:=Y_{2}(2^{k}u_{1}u_{2},\unicode[STIX]{x1D6FC})$
and
$Y_{3}:=Y_{3}(2^{k}u_{1}u_{2})$
. As in [Reference FouvryFou16], we smooth the
$t$
-sum via the following lemma.
Lemma 3.1. For every
$\unicode[STIX]{x1D6FF}>0$
there exists a smooth function
$g:\mathbf{R}\rightarrow \mathbf{R}$
which has the two properties
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU33.gif?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU34.gif?pub-status=live)
Let
$g$
be a smooth function given as in Lemma 3.1. Hence
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn23.gif?pub-status=live)
By Poisson summation, the
$t$
-sum becomes
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU35.gif?pub-status=live)
From integration by parts, we have
$\widehat{g}(y)\ll (1+|y|)^{-A}$
for any
$A\geqslant 0$
. Note that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU36.gif?pub-status=live)
The above sum over
$h$
can be truncated to
$0\leqslant |h|\leqslant H$
with
$H=U_{1}U_{2}x^{-1/2+\unicode[STIX]{x1D700}}$
, and the remaining contribution is at most
$O(x^{-2017}).$
Therefore,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU37.gif?pub-status=live)
where
$B_{1}(x,\mathbf{U})$
and
$B_{2}(x,\mathbf{U})$
are used to denote contributions from
$h=0$
and
$h\neq 0$
, respectively.
First,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU38.gif?pub-status=live)
which is
$\asymp \sqrt{x}$
. It is also desirable to show that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn24.gif?pub-status=live)
for some
$\unicode[STIX]{x1D700}_{0}>0$
. By standard tools from analysis (see [Reference FouvryFou16] for details), it suffices to prove that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn25.gif?pub-status=live)
where
$U_{j}<U_{j}^{\ast }\leqslant 2U_{j}$
,
$j=1,2$
. After transforming the
$u_{2}$
-sum to a complete sum
$T(\cdot ,u_{1}^{2})$
, where
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU39.gif?pub-status=live)
Fouvry [Reference FouvryFou16] evaluated
$T(\cdot ,u_{1}^{2})$
in terms of classical Gauss sums and Jacobi symbols. He then arrived at a bilinear form involving Jacobi symbols, for which a celebrated estimate due to Heath-Brown [Reference Heath-BrownHea95] was applied. Amongst some other delicate arguments, Fouvry was able to prove (3.4) under the conditions
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn26.gif?pub-status=live)
in which case he obtained the lower bound
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn27.gif?pub-status=live)
To obtain a better lower bound for
$B(x,\unicode[STIX]{x1D6FC})$
and thus for
$S(x,\unicode[STIX]{x1D6FC})$
, it is natural to expect that (3.4) and (3.7) can hold in larger ranges of
$U_{1},U_{2}$
. However, it seems rather difficult when
$U_{1}$
is quite close to
$U_{2}$
since the
$u_{2}$
-sum is too short in the sense of the Pólya–Vinogradov barrier. In fact, Bourgain [Reference BourgainBou15] managed to control the left-hand side in (3.5), but with a saving of a small power of
$\log x$
rather than that of
$x$
. This allows him to improve upon Fouvry when
$\unicode[STIX]{x1D6FC}$
is rather close to
$\frac{1}{2}$
in Theorem B.
In our subsequent argument, we will specialize
$u_{1}$
with special structures in the original sum (3.3) before Poisson summation. More precisely, we will consider those
$u_{1}$
consisting of only small prime factors, so that
$u_{1}$
has good factorizations, which enable us to control the exponential sums in (3.5) even though
$U_{1}$
is quite close to
$U_{2}$
.
3.2 Lower bound of
$B(x,\mathbf{U})$
: smooth approach
A positive integer
$n$
is said to be
$y$
-smooth (or friable) if all prime factors of
$n$
do not exceed
$y$
. Let
$\unicode[STIX]{x1D703}\in \, ]\!0,\frac{1}{2}\! [$
be a fixed number. If
$n$
is
$n^{\unicode[STIX]{x1D703}}$
-smooth, the inclusion–exclusion principle yields the existence of the divisor
$d\mid n$
such that
$n^{\unicode[STIX]{x1D703}_{0}}\leqslant d\leqslant n^{\unicode[STIX]{x1D703}_{0}+\unicode[STIX]{x1D703}}$
for any
$\unicode[STIX]{x1D703}_{0}\in [0,1-\unicode[STIX]{x1D703}].$
We now restrict these
$u_{1}$
in the right-hand side of (3.3) to
$U_{1}^{\unicode[STIX]{x1D703}}$
-smooth numbers and put
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn28.gif?pub-status=live)
where
$g_{1}(y)=g(y-\frac{3}{2})$
with
$g$
given as in Lemma 3.1. Following the similar arguments of Fouvry, we may derive that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU40.gif?pub-status=live)
where
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU41.gif?pub-status=live)
and we expect to show that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn29.gif?pub-status=live)
for some
$\unicode[STIX]{x1D700}_{0}>0$
, for which it suffices to prove, for all
$U_{1}^{\ast }\in \, ]\!U_{1},2U_{1} ]$
, that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn30.gif?pub-status=live)
We will prove the following.
Theorem 3.1. There exists some
$\unicode[STIX]{x1D700}_{0}\in \, ]\!0,10^{-2017}\! [$
such that (3.10) holds, provided that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn31.gif?pub-status=live)
Put
$U_{1}=x^{\unicode[STIX]{x1D6FE}_{1}}$
and
$U_{2}=x^{\unicode[STIX]{x1D6FE}_{2}}$
. In addition to the restrictions
$\unicode[STIX]{x1D6FE}_{2}<\unicode[STIX]{x1D6FE}_{1}+\frac{1}{2},\frac{1}{2}<\unicode[STIX]{x1D6FE}_{1}+\unicode[STIX]{x1D6FE}_{2}<\unicode[STIX]{x1D6FC}$
, (3.6) requires
$\unicode[STIX]{x1D6FE}_{1}<\frac{1}{4}$
, and we require
$\unicode[STIX]{x1D6FE}_{2}<1-\frac{26}{9}\unicode[STIX]{x1D6FE}_{1}$
in the particular case
$\unicode[STIX]{x1D703}=\frac{1}{36}$
. In Figure 1, the shaded area shows what we can gain more than the previous approach (we are gaining relatively more as
$\unicode[STIX]{x1D6FC}$
becomes closer to
$\frac{1}{2}$
).
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_fig1g.gif?pub-status=live)
Figure 1. Admissible values of
$(\unicode[STIX]{x1D6FE}_{1},\unicode[STIX]{x1D6FE}_{2})$
.
The proof of Theorem 3.1 will be given in the next section. To see the advantage of our approach, one may consider the particular case
$U_{1}=U_{2}$
, and our first restriction will reduce to
$U_{1}\leqslant x^{3/(11+2\unicode[STIX]{x1D703})-\unicode[STIX]{x1D700}_{0}}$
; however, the stronger restriction
$U_{1}\leqslant x^{1/4-5\unicode[STIX]{x1D700}_{0}}$
in (3.6) is required.
Therefore, we may obtain the lower bound
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn32.gif?pub-status=live)
subject to the restrictions in (3.11).
3.3 A weakened form of Theorem 1.1
Up to now, we have two lower bounds for
$B(x,\mathbf{U})$
, i.e., (3.7) and (3.12), subject to the restrictions in (3.6) and (3.11), respectively. In what follows, we will take into account all such admissible tuples
$(k,\unicode[STIX]{x1D709},\unicode[STIX]{x1D709}_{1},\unicode[STIX]{x1D709}_{2},U_{1},U_{2})$
, for which we appeal to (3.7) if (3.6) is satisfied, and appeal to (3.12) if (3.6) is not satisfied but (3.11) is valid. To this end, we define two sets of tuples
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU42.gif?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU43.gif?pub-status=live)
where
$\unicode[STIX]{x1D702}$
is a sufficiently small positive number.
First, we may derive a lower bound for
$B^{{<}}(x,\unicode[STIX]{x1D6FC};\unicode[STIX]{x1D709},k)$
by inserting the inequality (3.7) or (3.12) into (3.1). A similar lower bound also holds for
$B^{{>}}(x,\unicode[STIX]{x1D6FC};\unicode[STIX]{x1D709},k)$
by symmetry. Therefore, we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU44.gif?pub-status=live)
where
$U_{1},U_{2}$
are also restricted to be powers of 2. Recall that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU45.gif?pub-status=live)
We then obtain the lower bound
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU46.gif?pub-status=live)
where
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU47.gif?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU48.gif?pub-status=live)
Taking
$k_{0}=k_{0}(\unicode[STIX]{x1D6FF})$
very large,
$\unicode[STIX]{x1D702}=\unicode[STIX]{x1D702}(\unicode[STIX]{x1D6FF})$
very small, and letting
$\unicode[STIX]{x1D6FF}$
tend to zero, we conclude from Lemma A.1 that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn33.gif?pub-status=live)
uniformly for
$\unicode[STIX]{x1D6FC}\in [\frac{1}{2},1],$
where
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU49.gif?pub-status=live)
Note that
$B^{\prime }(x,\unicode[STIX]{x1D6FC})$
is what we have gained more than Fouvry [Reference FouvryFou16]. From Lemma A.3, we arrive at
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU50.gif?pub-status=live)
with
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU51.gif?pub-status=live)
One may check that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU52.gif?pub-status=live)
as given in Theorem 1.1. Combining this asymptotic evaluation for
$B^{\prime }(x,\unicode[STIX]{x1D6FC})$
with (3.13), we may conclude a lower bound for
$B(x,\unicode[STIX]{x1D6FC})$
, from which and (2.8), (2.7), we get
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn34.gif?pub-status=live)
uniformly for
$\unicode[STIX]{x1D6FC}\in [\frac{1}{2},1].$
3.4 Concluding Theorem 1.1
To pass from a lower bound of
$S(x,\unicode[STIX]{x1D6FC})$
to that of
$S^{\text{f}}(x,\unicode[STIX]{x1D6FC})$
, it is natural to invoke the identity (2.14) and Theorem A. In fact, one can do a bit better following the arguments of Fouvry [Reference FouvryFou16] and show that the above lower bound (3.14) also hold for
$S^{\text{f}}(x,\unicode[STIX]{x1D6FC}).$
This will depend on a more elaborate study of the contribution from non-fundamental solutions. In other words, we would like to show that the non-fundamental solutions create negligible contributions to
$A(x,\unicode[STIX]{x1D6FC})$
and
$B(x,\unicode[STIX]{x1D6FC}).$
The following lemma is borrowed directly from [Reference FouvryFou16, Lemma 9.1].
Lemma 3.2. Uniformly for
$\unicode[STIX]{x1D6FC}\in [\frac{1}{2},1]$
and
$x\geqslant 2$
, one has
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU53.gif?pub-status=live)
To deal with the contribution of the non-fundamental solutions to
$B(x,\unicode[STIX]{x1D6FC})$
, we also follow Fouvry. The above arguments which lead to (3.14) are essentially counting the number
$\mathscr{N}(x,\unicode[STIX]{x1D6FC};\unicode[STIX]{x1D700},k_{0})$
of 5-tuples of integers
$(k,t,u_{1},u_{2},D)$
satisfying
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU54.gif?pub-status=live)
as well as one of the following restrictions:
∙
$u_{1}\leqslant u_{2}\leqslant u_{1}x^{1/2-\unicode[STIX]{x1D702}},~u_{1}\leqslant x^{1/4-\unicode[STIX]{x1D702}}$ ;
∙
$u_{2}\leqslant u_{1}\leqslant u_{2}x^{1/2-\unicode[STIX]{x1D702}},~u_{2}\leqslant x^{1/4-\unicode[STIX]{x1D702}}$ ;
∙
$u_{1}\leqslant u_{2}\leqslant u_{1}x^{1/2-\unicode[STIX]{x1D702}},~u_{1}^{(8+2\unicode[STIX]{x1D703})/3}u_{2}\leqslant x^{1-\unicode[STIX]{x1D702}}$ ;
∙
$u_{2}\leqslant u_{1}\leqslant u_{2}x^{1/2-\unicode[STIX]{x1D702}},~u_{1}u_{2}^{(8+2\unicode[STIX]{x1D703})/3}\leqslant x^{1-\unicode[STIX]{x1D702}}$ .
By introducing the extra constraint
$t+2^{k}u_{1}u_{2}\sqrt{D}=\unicode[STIX]{x1D700}_{D}$
, we may also define
$\mathscr{N}^{\text{f}}(x,\unicode[STIX]{x1D6FC};\unicode[STIX]{x1D700},k_{0})$
. In fact, the above arguments yield
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn35.gif?pub-status=live)
which are true for every positive
$\unicode[STIX]{x1D700}>0$
and for every
$k_{0}\geqslant 0.$
More precisely, we have proved for every
$\unicode[STIX]{x1D6FF}$
,
$0<\unicode[STIX]{x1D700}<\unicode[STIX]{x1D700}_{0}(\unicode[STIX]{x1D6FF}),k_{0}>k_{0}(\unicode[STIX]{x1D6FF})$
and
$x>x_{0}(\unicode[STIX]{x1D6FF})$
that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn36.gif?pub-status=live)
with
$\unicode[STIX]{x1D6FC}\in [\frac{1}{2},1].$
Following the approach of Fouvry [Reference FouvryFou16], we can state the following without proof.
Lemma 3.3. For every
$k_{0}\geqslant 0$
and every
$\unicode[STIX]{x1D700}>0$
, one has
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU55.gif?pub-status=live)
uniformly for
$\unicode[STIX]{x1D6FC}\in [\frac{1}{2},1]$
and
$x\geqslant 2.$
We are now ready to complete the proof of Theorem 1.1. In view of (3.15), we may write
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU56.gif?pub-status=live)
which are true for every
$\unicode[STIX]{x1D700}>0$
and
$k_{0}\geqslant 0$
. From Lemmas 3.2 and 3.3, we obtain
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU57.gif?pub-status=live)
By (2.8), (3.16), and by choosing
$k_{0}=k_{0}(\unicode[STIX]{x1D6FF})$
sufficiently large,
$\unicode[STIX]{x1D702}=\unicode[STIX]{x1D702}(\unicode[STIX]{x1D6FF})$
sufficiently small, and letting
$\unicode[STIX]{x1D6FF}$
tend to zero, we find the lower bound (3.14) holds definitely for
$S^{\text{f}}(x,\unicode[STIX]{x1D6FC}).$
This establishes (1.4).
The lower bounds for
$S(x,\unicode[STIX]{x1D6FC})$
in Theorem 1.1 can be deduced from (1.2) by adding the contribution of the non-fundamental solutions, as it is shown by (2.14).
4 Estimate for triple exponential sums
We now prove Theorem 3.1. For the economy of the presentation, we only focus on the case
$k=0$
and define
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn37.gif?pub-status=live)
We would like to show that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn38.gif?pub-status=live)
for some
$\unicode[STIX]{x1D700}_{0}\in \, ]\!0,10^{-2017}\! [$
while
$U_{1},U_{2}$
fall into the ranges in (3.11).
By Poisson summation, the
$u_{2}$
-sum in (4.1) becomes
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU58.gif?pub-status=live)
From the Chinese remainder theorem, the sum over
$z$
can be rewritten as
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU59.gif?pub-status=live)
where
$K$
is an analogue of Kloosterman sums:
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU60.gif?pub-status=live)
Hence we may conclude that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU61.gif?pub-status=live)
Note that
$K(0,h;q)=T(h,q)$
and if
$q$
is odd, we have
$T(\overline{4}h,q)=T(h,q)$
. According to
$r=0$
and
$r\neq 0$
, we split
$\mathfrak{S}(U_{1},U_{2},H)$
by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU62.gif?pub-status=live)
where
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU63.gif?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU64.gif?pub-status=live)
Following the approach of Fouvry, one may express
$T(h,u_{1}^{2})$
in terms of Jacobi symbols (see [Reference FouvryFou16, Lemma 6.2]) and then appeal to the bilinear estimate of Heath-Brown [Reference Heath-BrownHea95], getting
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn39.gif?pub-status=live)
which produces the second restriction in (3.6). Moreover, Fouvry proved that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU65.gif?pub-status=live)
which produces the first restriction in (3.6).
Our task will be proving a stronger estimate for
$\mathfrak{S}_{2}(U_{1},U_{2},H)$
by virtue of the special structure of
$u_{1}$
. More precisely, we shall prove that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU66.gif?pub-status=live)
where
$Q$
will be chosen at our demand. This would at least require the following inequality as proved by Fouvry [Reference FouvryFou16]. In fact, Fouvry only considered those
$q$
that are perfect squares, and his argument also applies to more general
$q$
.
Lemma 4.1. Let
$q$
be an odd positive integer. Then we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU67.gif?pub-status=live)
As an extension to
$K(m,n;q)$
, we define another exponential sum
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn40.gif?pub-status=live)
where
$\ast$
in summation reminds us to sum over primitive elements, i.e.,
$(a(a+u),q)=1.$
We will need the following inequality.
Lemma 4.2. For each odd
$q\geqslant 1$
, we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU68.gif?pub-status=live)
where
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU69.gif?pub-status=live)
The proof of Lemma 4.2 will be given in Appendix B.
We now start to prove Theorem 3.1. Due to the decay of
$\widehat{g}_{1}$
, we may truncate the
$r$
-sum in
$\mathfrak{S}_{2}(U_{1},U_{2},H)$
by
$R=U_{1}^{2+\unicode[STIX]{x1D700}}U_{2}^{-1},$
so that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn41.gif?pub-status=live)
Our project will be controlling the cancellations while summing over
$r$
with
$1\leqslant |r|\leqslant R$
. More precisely, we would like to estimate
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU70.gif?pub-status=live)
The contributions from negative
$r$
and positive
$r$
can be treated similarly, it thus suffices to consider
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU71.gif?pub-status=live)
which can be rewritten as
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU72.gif?pub-status=live)
Clearly,
$K(2r,\overline{4}h;u_{1}^{2})=K(r,h;u_{1}^{2})$
. By partial summation, it suffices to consider
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU73.gif?pub-status=live)
For each
$u_{0}\mid u_{1}$
, we define
$d,q_{1},q_{2}$
by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU74.gif?pub-status=live)
It follows that
$u_{1}^{2}=q_{1}q_{2}$
and
$(q_{1},q_{2})=1$
. By virtue of the
$q$
-analogue of van der Corput method, we will prove the following.
Lemma 4.3. With the above notation, we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU75.gif?pub-status=live)
Proof. Lemma 4.3 is a trivial consequence of Lemma 4.1 if
$R\leqslant u_{0}^{2}.$
We now assume
$R>u_{0}^{2}.$
Denote by
$I_{R}$
the characteristic function of the interval
$[1,R].$
Thus,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU76.gif?pub-status=live)
for any
$\ell \in \mathbf{Z}.$
From the Chinese remainder theorem, we may write
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU77.gif?pub-status=live)
where we have used the fact that
$q_{1}\mid u_{0}^{2}.$
For
$L=[R/u_{0}^{2}]$
, we sum over
$\ell$
, getting
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU78.gif?pub-status=live)
From Lemma 4.1 we find
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU79.gif?pub-status=live)
In view of the support of
$I_{R}$
, the sum over
$r$
is in fact restricted to
$[-R,R].$
By Cauchy inequality, we derive that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU80.gif?pub-status=live)
Squaring out and switching summations, we get
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn42.gif?pub-status=live)
where
$I_{\ell }$
is an interval, depending on
$\ell$
, of length at most
$R$
. For
$\ell =0$
, we appeal to Lemma 4.1 to estimate the
$r$
-sum trivially. For
$1\leqslant |\ell |\leqslant L$
, reasonable cancellations in the
$r$
-sum are expected. In fact, by completion, we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU81.gif?pub-status=live)
where
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU82.gif?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU83.gif?pub-status=live)
Firstly,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU84.gif?pub-status=live)
Opening each
$K$
by definition, the orthogonality of additive characters gives
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU85.gif?pub-status=live)
For
$y=0$
, we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU86.gif?pub-status=live)
For
$y\neq 0$
, we would like to appeal to Lemma 4.2. To do so, we first derive from Lemma 4.2 that (we have
$q_{2}^{\flat }=1$
since
$q_{2}$
is a perfect square)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU87.gif?pub-status=live)
This yields
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU88.gif?pub-status=live)
from which and (4.6) we obtain
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU89.gif?pub-status=live)
Note that
$q_{2}=(u_{1}d/u_{0})^{2}=\{u_{1}(u_{0},(u_{1}/u_{0})^{\infty })/u_{0}\}^{2}.$
Thus,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU90.gif?pub-status=live)
We then conclude that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU91.gif?pub-status=live)
which gives Lemma 4.3 immediately. ◻
In view of Lemma 4.3 and the discussions before it, we may derive from (4.5) that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU92.gif?pub-status=live)
where
$U_{1}^{\unicode[STIX]{x1D703}_{0}}\leqslant Q\leqslant U_{1}^{\unicode[STIX]{x1D703}_{0}+\unicode[STIX]{x1D703}}$
. In view of the choice
$R=U_{1}^{2+\unicode[STIX]{x1D700}}U_{2}^{-1}$
, Lemma A.5 yields
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU93.gif?pub-status=live)
from which and (4.3) we conclude that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU94.gif?pub-status=live)
Choosing
$\unicode[STIX]{x1D703}_{0}=(1-2\unicode[STIX]{x1D703})/3$
, we then have
$U_{1}^{(1-2\unicode[STIX]{x1D703})/3}\leqslant Q\leqslant U_{1}^{(1+\unicode[STIX]{x1D703})/3}$
. Recalling the choice of
$H$
, we then arrive at the expected estimate (4.2), provided that (3.11) holds.
Acknowledgements
I am very grateful to the referee for the valuable comments and suggestions. The work is supported in part by NSFC (No. 11601413) and NSBRP (No. 2017JQ1016) of Shaanxi Province.
Appendix A Mean values of arithmetic functions
A.1 Some basic asymptotics
The first part of the appendix is devoted to state several basic asymptotics.
Recall that
$\unicode[STIX]{x1D6FE}(u)$
denotes the number of solutions to the congruence equation
$x^{2}\equiv 1\,(\operatorname{mod}u^{2}).$
As a multiplicative function,
$\unicode[STIX]{x1D6FE}$
satisfies the evaluation (2.10). We are now ready to state the following averages.
Lemma A.1. As
$N\rightarrow +\infty$
, we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU95.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU96.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU97.gif?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU98.gif?pub-status=live)
Proof. The first one can be derived from the evaluations of
$\unicode[STIX]{x1D6FE}(2^{n})$
as given in (2.10). The other three asymptotics can be found in Fouvry [Reference FouvryFou16, Lemma 8.1, Lemma 8.2].◻
A.2 Smooth numbers
Denote by
${\mathcal{S}}(x,y)$
the set of
$y$
-smooth numbers not exceeding
$x$
. Write
$\unicode[STIX]{x1D6F9}(x,y)=|{\mathcal{S}}(x,y)|.$
We now introduce the Dickman function
$\unicode[STIX]{x1D70C}(u)$
by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn43.gif?pub-status=live)
In the first several intervals, we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU99.gif?pub-status=live)
The following lemma is classical and shows
$\unicode[STIX]{x1D70C}$
is the density function of smooth numbers.
Lemma A.2. Uniformly for
$x\geqslant y\geqslant 2$
, we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU100.gif?pub-status=live)
Proof. See [Reference TenenbaumTen95, p. 367, Theorem 6]. ◻
Lemma A.3. Let
$\unicode[STIX]{x1D703}\in \, ]\!0,1\![$
be fixed. As
$N\rightarrow +\infty$
, we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU101.gif?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU102.gif?pub-status=live)
Proof. One can refer to [Reference Tenenbaum and WuTW03], for instance, for some general theorems on the mean values of multiplicative functions over smooth numbers. In particular, one has
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU103.gif?pub-status=live)
The lemma then follows from the partial summation. ◻
Lemma A.4. For all
$q\geqslant 1$
, we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU104.gif?pub-status=live)
Proof. Note that
$n\mapsto (n^{\sharp })^{1/4}(n,q)^{1/2}$
is multiplicative. For
$\Re s>1$
, we consider the Dirichlet series
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU105.gif?pub-status=live)
By the Euler product formula, we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU106.gif?pub-status=live)
where
$\mathscr{D}_{1}(s)$
is holomorphic for
$\Re s>3/4$
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU107.gif?pub-status=live)
The lemma then follows from a routine application of Perron’s formula. ◻
The following inequality is a consequence of Rankin’s method, which is a stronger version of [Reference FouvryFou16, Lemma 7.2].
Lemma A.5. For any
$\unicode[STIX]{x1D700}>0$
, one has
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU108.gif?pub-status=live)
Proof. Denote by
$S$
the sum in question. First, we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU109.gif?pub-status=live)
Note that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU110.gif?pub-status=live)
giving
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU111.gif?pub-status=live)
from which and Lemma A.4 it follows that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU112.gif?pub-status=live)
By Rankin’s method, the last sum over
$d$
is, for any
$\unicode[STIX]{x1D700}>0$
,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU113.gif?pub-status=live)
by re-defining
$\unicode[STIX]{x1D700}$
. We now get
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU114.gif?pub-status=live)
where the last step follows from Lemma A.4 together with partial summation and taking
$q=1$
therein.◻
Appendix B Estimate for
$\mathscr{B}(m,n,\ell ,u;q)$
While invoking the ideas of the
$q$
-analogue of the van der Corput method, we have transformed the original algebraic exponential sum
$K(m,n,q)$
to a new sum
$\mathscr{B}(m,n,\ell ,u;q)$
as given by (4.4). This appendix will be devoted to present an estimation for
$\mathscr{B}(m,n,\ell ,u;q)$
that suits well in our applications to Theorem 1.1. In fact, the job can be done for the general complete exponential sum
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU115.gif?pub-status=live)
Here
$\unicode[STIX]{x1D706}=\unicode[STIX]{x1D706}_{1}/\unicode[STIX]{x1D706}_{2}$
with
$\unicode[STIX]{x1D706}_{1},\unicode[STIX]{x1D706}_{2}\in \mathbf{Z}[X]$
and
$\unicode[STIX]{x1D706}_{1},\unicode[STIX]{x1D706}_{2}$
being coprime in
$\mathbf{Z}[X]$
. The values of
$a$
such that
$(\unicode[STIX]{x1D706}_{2}(a),q)\neq 1$
are excluded from summation. We define the degree of
$\unicode[STIX]{x1D706}$
by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU116.gif?pub-status=live)
If
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU117.gif?pub-status=live)
we then adopt the convention that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn44.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn45.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqn46.gif?pub-status=live)
for all
$c\mid q.$
There are many known estimates for complete exponential sums in the literature. In [Reference Wu and XiWX16, Theorem B.1], we obtained the following estimate for
$\unicode[STIX]{x1D6F4}(\unicode[STIX]{x1D706},q)$
.
Theorem B.1. Let
$d=d(\unicode[STIX]{x1D706})\geqslant 1.$
For
$q\geqslant 1,$
we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU118.gif?pub-status=live)
where
$q^{\ddagger }$
and
$\unicode[STIX]{x1D6EF}(q)$
are given as in Lemma 4.2.
In fact, the case of
$q$
being a prime is essentially due to Weil [Reference WeilWei48], and one can refer to [Reference BombieriBom66] for a complete proof that suits quite well in our situation. Thanks to the Chinese remainder theorem, the evaluation of
$\unicode[STIX]{x1D6F4}(\unicode[STIX]{x1D706},q)$
can be reduced to the case of prime power moduli
$p^{\unicode[STIX]{x1D6FC}}(\unicode[STIX]{x1D6FC}\geqslant 2)$
, which can usually be treated following an elementary device; see [Reference Iwaniec and KowalskiIK04, §12.3] for details. This is in fact the line of the proof in [Reference Wu and XiWX16].
The upper bound in Theorem B.1 is complicated at first glance and it even gives a worse bound than the trivial one if
$\unicode[STIX]{x1D706}$
is a constant function modulo
$q$
. However, it provides an essentially optimal bound if we have an extra average over
$q$
, since
$(\unicode[STIX]{x1D706},q^{\flat })^{1/2}(\unicode[STIX]{x1D706},q^{\flat })_{\ast }^{1/2}(\unicode[STIX]{x1D706}^{\prime },q^{\ddagger })\unicode[STIX]{x1D6EF}(q)^{1/2}$
does not oscillate too much on average.
Given
$m,n,u,\ell \in \mathbf{Z},$
we take
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU119.gif?pub-status=live)
with
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU120.gif?pub-status=live)
Moreover, we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU121.gif?pub-status=live)
Thus, for odd
$c\mid q$
, we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU122.gif?pub-status=live)
and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU123.gif?pub-status=live)
Note that
$d(\unicode[STIX]{x1D706})=\deg (\unicode[STIX]{x1D706}_{1})+\deg (\unicode[STIX]{x1D706}_{2})=5+4=9.$
From Theorem B.1, we may conclude the following estimate as given in Lemma 4.2.
Theorem B.2. For each odd
$q\geqslant 1$
, we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20181031115110389-0407:S0010437X18007480:S0010437X18007480_eqnU124.gif?pub-status=live)