The Dispersion Method in Binary Additive Problems
The Dispersion Method in Binary Additive Problems
by
Ju. V. linnik
IO. B. JIHHHHK
H3,z:r;aTem.crao Jiemrnrpa.z:r;cKoro
YHHBepcHTeTa
JleHHHrpa.z:r; 1961
extended Riemann hypothesis, while the results of Chapter VIII would follow
from this hypothesis.
Chapter VI treats in detail several analogues of a Hardy-Littlewood equation.
Chapter IX outlines the solution of the generalized Hardy-Littlewood equation,
n = <p(x, y) + p, where <p(x, y) is a binary quadratic form. Chapter X contains
supplementary remarks and various conditional theorems, following from the
dispersion method.
In preparing the manuscript for publication I received a great deal of help
from B. M. Bredihin, 0. I. Rumyanceva, V. V. Vifoyakova and M. E. I'ina, and
find it a pleasant duty to express my gratitude to them.
NOTATION
v
TABLE OF CONTENTS
PREFACE iii
NOTATION v
5. Determination of A(n, D) 99
6. The dispersion of the number of solutions. Calculation of V1 102
7. Calculation of the product over primes in V1 106
8. Calculation of V3 107
9. Calculation of the products over primes in V3 109
10. Calculation of V2 112
11. Calculation of the product over primes in V2 115
12. Application of the Cebysev inequality 116
13. Derivation of the asymptotic expression for the solutions 117
CHAPTER X. SUPPLEMENT
BIBLIOGRAPHY 183
INTRODUCTION*
Divide the interval [O, 1] into two sets, 11 and its complement / 2, where 11
consists of those 1} which can be exceptionally well approximated by rational
fractions, and forms a set of intervals of small total measure, which can easily be
described explicitly. Then, with an obvious notation,
Q(N) = r +r .
J11 J1.
(0.1.3)
* Translator's note: For advice and assistance with the final version of this Introduction
the translator expresses her grateful acknowledgment to Professor H. Davenport. She also
wishes to thank the author, Professor Ju. V. Linnik, for his encouragement of the project
and for certain slight corrections of his original text.
1
2 INTRODUCTION
f12
IS(&)l 3 d& .::;;; sup IS(&)I
~el2 Jof IS(&)l
1
2 d&
does not make a ternary problem, because it is not possible to combine the terms
so as to satisfy (0.1.9) for ex and f3 and have a third term y.
Problems such as this, where it is impossible to distinguish three terms which
run independently through three sequences, at least two of which are sufficiently
dense, will be called binary problems.
The exact formula for the number of solutions of (0.1.10) was found over a
century ago by Jacobi, with the help of the theory of theta-functions. For this,
certain special properties of squares are essential. In 1926, by combining the
theory of the transformation of the theta-functions with the Hardy-Littlewood-
Vinogradov method, Kloosterman obtained an asymptotic expression for the
number of solutions of the equation
ax 2 + by2 + cz2 + dt 2 = N, (0.1.11)
where a, b, c, dare given positive integers (cf. [46]).
The more general problem of the equation
Q(x, y, z, t) = N, (0.1.12)
where Q is a positive definite quaternary quadratic form, was solved by Tarta-
kovskii [24] in 1929, in the sense that an asymptotic expression was found for the
number of solutions. Eichler [33] in 1954 used an entirely different method, and
obtained an error term in the asymptotic formula which is essentially best
possible. (The solvability of (0.1.12) for sufficiently large N, when the appropri-
ate necessary conditions are satisfied, can be proved by elementary methods.)
Quadratic forms in four variables or in three variables (as regards the latter,
see several papers by Malysev, e.g. [18; 19]) furnish us with a few examples of
binary problems for which an asymptotic expression can be found for the number
of solutions. As a well-known example of a binary problem for which only an
upper bound and a lower bound for the number of solutions have been found, we
may mention the equation
(0.1.13)
with "almost prime" numbers P 1 , P 2 • The path to the solution of this problem
was opened up by Viggo Brun [30] in 1919. The best result so far known is that
(0.1.13) is solvable for all large even N with the condition that P 1 , P 2 each have
at most three prime factors [3; 4].
In 1948 Renyi [50] established the solvability of the equation
p + P = N, (0.1.14)
where pis prime and P "almost prime," and N is sufficiently large.
Special methods are needed for the solution of all the binary problems
mentioned above, even if one does not aim at obtaining an asymptotic formula
for the number of solutions. 1
1 It may be noted that the discovery of the appropriate asymptotic formula for (0.1.13)
The simplest subject for the application of the dispersion method is the
binary problem presented by the equation
n = <p + D'y (0.2.1)
We shall seek conditions under which we can derive an asymptotic formula for
the number of solutions of the equation or congruence (abbreviated to n.s.e.)
(0.2.1).
Let U(m) = ,Lqi=m 1. Then n.s.e. (0.2.1) is given by
_L _L U(n - D'Y). (0.2.2)
D'e(D) ve(v)
Let DE (D) be a given integer, not necessarily in the set D', and consider the
equation
n = <p +DY. (0.2.3)
Suppose we have some heuristic reason for expecting that the n.s.e. (0.2.3)
may be given asymptotically by an expression
A(n, D) (0.2.4)
formed from elementary functions, in order to permit certain simple calculations
which will be described later. Such a heuristic reason might result from an
application of the Hardy-Littlewood-Vinogradov method without an estimate
for the error term, or from a similar application of the sieve of Eratosthenes, or
from the method of least squares (see below).
The fundamental concept of the dispersion method is to consider the dis-
persion, or variance, of the n.s.e. (0.2.1) relative to the assumed asymptotic
value A(n, D). By this is meant the expression
V' "' V = _L
D1 ,,;;;D.;;;D1+D2
( _L
ve(vl
U(n - DY) - A(n, D)) 2
• (0.2.6)
6 INTRODUCTION
(0.2.7)
where
2
Vi = L ( 1 U(n - Dv) ) , (0.2.8)
D1 .;;;D.;;;D1+D2 ve(v)
Va = L
D1.;;;D.;;;D1+D2
(A(n, D)) 2 • (0.2.10)
Now we must seek asymptotic expressions for Vi, V2, Va which may allow us to
deduce a nontrivial upper bound for V.
It should be possible to calculate the sum Va asymptotically in a straight-
forward way. If the numbers v are not too large and the numbers D are not too
small, for instance if v0 + v0 ~ n112--" and D 2 > n112+' (where e is a positive
constant), we can approximate asymptotically to V2 as follows. We write
V2 = ! L
ve(v) D1 .;;;D.;;;D1+D2
A(n, D)U(n - Dv). (0.2.11)
for which a crude upper bound can be taken; there remains the sum
! L U(n - Dv 1 )U(n - Dv 2 ). (0.2.12)
D1 .;;;D.;;;D1+D2 vi. v2e(v)
v1 :iCv2
To compute (0.2.12), we need to take in turn each pair v1 , v2 and consider the
total number of solutions of the system of equations
(0.2.13)
Here <p1 and <p 2 run independently through the sequence {cp} and (n - <p 2)/v1 =
= D, any integer in (D).
(n - <p1)/v 2
Sec. 2] DISPERSION METHOD IN THE SIMPLEST CASE 7
We divide the pairs vi, v2 into classes according to the value of their g.c.d.
(vi, v2)= o. We shall show that for each given pair with divisor o equations
(0.2.13) are equivalent to the single equation
(0.2.14)
subject to the conditions
n - 'Pi n - 'Pi
is an integer, -- E (D). (0.2.15)
'J12
Note that when o = 1 the first of the conditions (0.2.15) is always satisfied as
a consequence of (0.2.14); this will emerge from what follows. It is obvious that
if Cfli, cp 2 satisfy (0.2.13) for some D, then they satisfy (0.2.14) and (0.2.15), and
the numbers of solutions (counting Cfli and cp 2 with repetitions if necessary) are
the same. Conversely, suppose Cfli, cp 2 satisfy (0.2.14) and (0.2.15). Putting
'Vi = ov1, 'V2 = ov2, we have (vi, v2) = l and
(0.2.16)
Hence (n - <fJi)vi = (n - cp 2)v2, whence n - Cfli = 0 (mod v2) and n - cp 2 = 0
(mod vi). If o= 1, this in itself implies that (n - Cfli)/v 2 is an integer. If o > 1,
the condition (0.2.16) and the factthat (n - Cfli)/v 2 = (n - cp 2)/vi give a unique D
for which (0.2.13) holds. The mapping (<pi, cp 2) ___.. (D, Cfli, <p 2) is single-valued,
and our assertion is proved. Equation (0.2.14) and the conditions (0.2.15) can of
course be written in the more symmetric form
(0.2.17)
(0.2.18)
Because of the density of the set D' assumed above, this will contradict (0.2.19) if
A(n, D) is a function of D which changes sufficiently slowly. Hence the result.
Furthermore (0.2.19) makes it possible to obtain an asymptotic formula for
the number of solutions of (0.2.1). To do this, it is enough to appeal to the
classical argument of Cebysev, which is used to deduce the law of large numbers
from an estimate of the dispersion of a sum of independent random variables.
We can, for example, pick out from the numbers D' occurring in the sum (0.2.5)
those for which
I L U(n -
ve(vl
D'Y) - A(n, D') I~ A(n~ D').
ln n
(0.2.21)
The estimate (0.2.19) implies that the number of such D' is comparatively
small. For these values of D', it suffices to determine a crude upper bound,
uniform with respect to D', for the sum I:.e<•> U(n - D'Y). After this, it is not
difficult to deduce that the n.s.e. (0.2.1), which is
L L
D'e(D) ve(v)
U(n - D'Y),
in the numbers D' on condition that the mean square of the number of repeti-
tions is not too large, and we can also permit repetitions in the numbers v.
We proceed to outline the application of the dispersion method under such
conditions. Let T 0(D') denote the number of repetitions of D', and suppose, to
be specific, that
L h(D'))2 < D 2(ln n)K•. (0.3.3)
D'e(D)
Divide the numbers D' into two sets A and B, putting in A those for which
T0 (D') < (In n)< 213>Ka, (0.3.4)
and in B those for which
To(D') > (In n)<2/3)K,_
By (0.3.3) the number of numbers D' in B is less than
D2(ln n)<-112>Ka, (0.3.5)
so if K 3 is sufficiently large there are few such numbers. We can expect that their
contribution to the sum (0.2.2), namely
V' L (L
= D'eA ve(v}
U(n - D'v) - A(n, D')) 2
Here D" runs through the set of numbers A, but without repetition, so we can
apply the arguments of § 1.
Repetitions in the numbers v are also permissible, as is clear from the argu-
ments of§ 1.
We obtained the fundamental inequality (0.2.6) by replacing the set ofnumbers
D' by the set of all positive integers in the interval [D1 , D 1 + D 2]. Sometimes it is
advantageous to construct instead an inequality in which the set D' is replaced by
all the numbers of some reasonably simple system in [D1 , D 1 + D 2]. For example,
ifthe numbers D' are contained in some arithmetic progression (e.g. if they are
all odd), then in forming the inequality (0.2.6) we can allow D to range over all
terms of this progression in the interval [D1 , D 1 + D 2]. The effect will be that in
the conditions (0.2.15), under which the equation (0.2.14) is to be solved, we
must require in addition that (n - <p1)/v2 (and therefore also (n - cp 2)/v1) lies in
the arithmetic progression. In some problems, in which the numbers D' are
10 INTRODUCTION
primes and the inequality (0.2.6) is too crude, it is useful to construct a similar
inequality, replacing the primes by quasiprimes-an "almost prime shell" (this
concept will be defined in § 5 of Chapter I).
Note that the dispersion method is of course applicable also to equations of
the type
n = <p - D'v, (0.3.8)
e.g., the equation <p - D' v = 1 or 2. In the formulas (0.2.2), (0.2.5) and later,
one replaces U(n - D'v) by U(n + D'v). The n.s.e. (0.3.8) is finite because of
the finiteness of the sets of numbers D' and v.
It is also possible to treat certain generalizations of the basic equation (0.2.1 ).
Let {3(v) be a function defined on a set of numbers v, which assumes only positive
integral values. We consider the equation
n = <p + D'v + {3(v) (0.3.9)
and outline the application of the dispersion method to it. The n.s.e. (0.3.9) is
given by
L L U(n - D'v - {3(v)).
D'e(D) ve(v)
V' = L (L
D'e(D) ve(v)
U(n - D'v - {3(v)) - A(n, D')) 2
• (0.3.11)
Again we construct the fundamental inequality of the type (0.2.6), replacing the
set of numbers D' by all numbers of the interval (D):
for which it suffices to have an upper bound. There remains the sum
z z
Di .;;D.;;D1 +D2 •1.V2E(•)
U(n - Dv 1 - /3(v 1)) U(n - Dv 2 - /3(v2)), (0.3.15)
Vl ¢vz
pairs <pi, <p 2 which satisfy (0.3.20) with the conditions (0.3.18), (0.3.19). We shall
prove that it is also not less than this number. Put Yi = ov1, v2 = ov2, so that
(v:[, v2) = 1 ; then from (0.3.20) we have, for each solution <pi, <p 2 ,
where D' runs through a given set of numbers in the interval [Di, Di + D 2], v
runs through a set of numbers in the interval [v0 , v0 + v0] and <p, 'If run through
certain sequences of positive integers. Sometimes it is necessary to compare the
numbers of solutions of (0.3.21) and (0.3.22) in a situation where there is reason
to expect that their difference is relatively small, and where we are not interested
in asymptotic approximations to the numbers themselves. For an example of
such a situation, see § 4 of Chapter III.
Let Ui(m) = Lqi=m 1, U2(m) = L>p=m 1. Construct the dispersion of the
difference between the numbers of solutions:
We have
(0.3.25)
Sec. 3] DIFFERENT VERSIONS OF THE DISPERSION METHOD 13
where
(0.3.26)
(0.3.27)
(0.3.28)
for which it suffices to give a crude upper bound, there remains the sum
z z
Di ,,;;;;D,,;;;;D1+D2 v,,v2e(v)
U1(n - Dv1)U 2(n - Dv 2), (0.3.29)
We see, as before, that for given vl> v2 (v1 ~ v2) this number of solutions is
equal to the number of solutions (<p, tp) of the equation
(0.3.32)
subject to the conditions
n - <p = 0 (mod v1), (0.3.33)
Let D.' and D." be any integers of the interval [D1 , D1 + D 2]; for given D.', D." we
consider the system of equations
n' = r:pg + D.'v',
n" = r:p'i + D."v",
and we suppose that an expression A(n', n", D.', D.") has been found, by heuristic
considerations, for the expected number of solutions of the system. We write the
dispersion of the number of solutions of the system of equations (0.3.37) in the
form
V' = L ( L U(n' - D'v', n" - D"v") - A(n', n", D.', /J.")) 2 • (0.3.38)
D',D" v',v"
Then
V' ~ V = L ( L U(n' -D.'v', n" -D."v")-A(n', n",/J.',/J.")) 2• (0.3.39)
D1~.6.'~D1+D2 v',v"
Di.;;;&" .;;;D1+D2
Sec. 4] COHERENT NUMBERS 15
Here, too, the main problem in finding an upper bound for V' lies in determining
the behavior of the sum
V1 = !
D1<.6.'~D1+D2
(v',v"
! U(n' - !:J..'v', n" - !:J.."v")) 2 • (0.3.40)
D1 .;;a".;;D,+D2
By arguments similar to those given above, we see that after removing from
(0.3.40) the terms for which it is enough to give a crude upper bound, we shall
arrive at the system of equations
(vi. - v~)n' = vi.<pi.s - v~<p;q
(0.3.41)
(v~
- v~)n" = v~ <p~s -
v~ <p~s'
where vi :;f v2, and v1, v2 are numbers. of the set {v'}, and similarly for v'{, v2, and
<J?is' <t>2s run independently through the sequence {<p£} and similarly for <p'{;, <t>2s'
and the following conditions are satisfied:
n' - <t>is = 0 (mod v;); n" - <p~s = 0 (mod v~),
(0.3.42)
the dispersion of the difference between the numbers of solutions of (0.4.1) and
(0.4.2). As usual, we replace V' by V ~ V', where
V = L
D1 .;;D.;;D1+D 2
( ve(v)
L U(n1 - Dv) - L
ve(v)
U(n 2 - Dv)) •
2
(0.4.4)
16 INTRODUCTION
V2 = L
Di .;;D.;;Di+D2
(L ve(v)
U(n1 - Dv) L
ve(v)
U(n 2 - Dv)). (0.4.7)
for coherent n 1 and n 2 , the dispersion of the difference between the numbers of
solutions behaves in the manner just stated, we observe that V' will be com-
paratively small. Hence, using considerations related to Cebysev's inequality
like those described earlier, we can conclude in many cases that asymptotically
the numbers of solutions of (0.4.1) and (0.4.2) will be nearly equal. If this
conclusion holds for any pair of coherent numbers, we consider the equation
<p + D'v - n' = 0, (0.4.15)
in which n' runs through some sufficiently large set M of numbers which are
coherent in pairs. Then (0.4.15) represents in effect a ternary problem, which
can be solved easily enough by Vinogradov's method [7], since this equation in-
volves the product D 111, which gives rise to the exponential sum~ D',v exp 2TTirxD' v.
Having found an asymptotic expression for the n.s.e. (0.4.15), on dividing it by M
we obtain an approximation to the number of solutions of (0.4.1) or (0.4.2). Such
an approach has the advantage of avoiding the need to compute an approxima-
tion A(n, D) for the expected number of solutions, and thus avoiding the rather
cumbersome calculations which so arise.
The same arguments can, of course, be applied to the equation <p - D' v = n.
Note that, for the equation <p - D'v = 1, the corresponding equations with
coherent numbers will be, for example, <p - D'v = p, where pis a sufficiently
large prime.
Ci being suitably chosen. But iflln > n', then we represent the number D' E (D)
in equations (0.4.1) and (0.4.2) in the form
D'=Q'D", (0.5.3)
where Q' consists of the powers of primes p,.;;; g(n) and D" has no prime factors
,.;;; g(n). If
Q' ~ exp (ln ln n) 2 , (0.5.4)
and the set of numbers D' E (D) is sufficiently dense (contains at leastD 2/(ln nfs
numbers) then those solutions for which D' is of the form (0.5.3) can in many
cases be neglected. Therefore we shall suppose that
Q' < exp (ln In n) 2• (0.5.5)
Let n" run through the set of integers of the interval
We examine the numbers Q' satisfying (0.5.5) and for each of them the numbers
of the form (0.5.3). If we consider
we can expect that for each D' = Q' D", this will be approximately of the form
A(n", Q' D") = p(n", Q')A 0(n, Di, D 2), (0.5.8)
where p(n", Q') consists of "arithmetic" factors, determined by n" and Q', and
A 0(n, Di, D 2 ) depends on "dimensional" or "geometrical" factors, determined
only by the size of n and the dimensions of the interval (D) = [Di, Di + D 2 ].
This suggests an examination of the dispersion of the difference between the
numbers of solutions in the form
V~. = ! (p(n", Q') ! U(n - Q' D"v) - p(n, Q') ! U(n" - Q' D"v))
2
•
Q'D"e(D) ve(v) ve(v)
(0.5.9)
Let D run through numbers which have no prime factor p < g(n). Replacing
the numbers D" by the numbers D, we obtain
Vi;/·,.;;; VQ' = !
Q'l>e(D>
(p(n", Q') !
ve(v)
U(n - Q' Dv) - p(n, Q') !
ve(v)
U(n" - Q' Dv)) •
2
(0.5.10)
We have VQ' = ViQ' - 2V2Q' + v3Q'• where
ViQ' = (p(n", Q'))2 ! (! U(n - Q' Dv))2 (0.5.11)
D1~Q'l>~D1+D2 ve(v)
Sec. 6] APPLICATION OF THE DISPERSION METHOD 19
with similar expressions for V30 , and V20 , (cf. (0.4.5) and (0.4.6)). As earlier,
the asymptotic evaluation of these quantities leads to the consideration of three
equations:
v1 cp 1 - v2 cp 2 = n(v1 - v2), n - cp1 = 0 (mod v2),
(0.5.12)
n - cp 1 =
0 (mod Q') ( n = l, ~'(/Ji, Ilg)
where we have put Ilg = Ilp.;:;;g<n>P•
v1 cp 1 - v 2 <p 2 = v1 n - v2 n", n - cp 1 = 0 (mod v2),
n - <fJ1 = 0 (mod Q') (n Q'<J?l' rrg) = l,
(0.5.13)
is approximately equal to
L - p(n", Q') L U(n - Q' D"v).
Q'D"e(D) ve(v)
Hereµ denotes the Mo bi us function, and v runs through all integers < n/u. If u
<
is not too large, say u n'X, where ot is a suitable positive constant, we can obtain
Sec. 6] APPLICATION OF THE DISPERSION METHOD 21
All prime factors of u are < ,J-;;. Denote the smallest prime factor of u by v.
Then uv = D'v, where D' is the complementary factor to v, and (0.6.7) becomes
the sum
± .2 N(n = <p + D'v). (0.6.8)
D',v
The numbers D', v in this sum are not entirely independent, since D' < n/v
and D' must be of the form uv/v, where all prime factors of u are greater than v.
These difficulties, however, are easily eliminated, and the equation n = <p + D' v
can be reduced to a form which can be treated by the dispersion method.
In this treatment, however, the numbers v appearing in the fundamental
equation of the dispersion method, namely
(0.6.9)
may turn out to be so large as to make the determination of the asymptotic
number of solutions too difficult. In view of this, we shall examine the equation
n = <p +p (0.6.10)
and reduce it to an equation of the type (0.2.1) by another method.
LetP = P(n) be some suitably chosen function of n and let QP denote the set
of all integers whose prime factors are all greater than P. Put
'p(s) =TI (1 - P-T 1 (s > 1); 'p(s) = 1 + T(s).
'P>P
Here T(s) = ~m'enp (m')-•. Whens> s0 , we have jT(s)J < 1, and we have the
expansion
In 'p(s) = T(s) - (T(s))2 + (T(s))s + ... + (-1?-1 (T(s)t + .... (0.6.11)
2 3 k
Let
(0.6.12)
so that Tfc(m) is the n.s.e. x1x2 ... xfc = m, Xi E QP (i < k). Since
where A 1(n) = 1 when n =pm and 0 otherwise, it follows from (0.6.11) that,
form> P,
22 INTRODUCTION
! T(Dm+l)x~ln~IJ(1-.!). (1.1.3)
Dm+i~o: D D PID , P
A proof can be found in paper [6] of Vinogradov and Linnik.
LEMMA 1.1.4 (GENERALIZATION OF LEMMA 1.1.3). Under the same conditions
as before, if k is a constant, then
! (T(Dm + l))kx-x ( ln-x II ( 1 - 1))2k-l.
- (1.1.4)
Dm+i~o: D D PID P
1 Here and in what follows B is a bounded number, but not always the same one.
23
24 DIVISORS, PRIME NUMBERS AND TRIGONOMETRIC SUMS [CHAP. I
x-x
L T(Dm + l) = B - -1 lnx. (1.1.7)
z1,;;;;Dm+i<;;x D
The proof is similar to that of (1.1.5).
Lemmas on numbers with small prime divisors play an important part in
what follows.
LEMMA 1.1.6. Denote by F(x, z, q) the number of numbers <x which are
relatively prime to q (q <
x) and have no prime divisors > z.
1°. Let xll• < z < x; then
Thus, replacing n1 by ni1 2 , one can suppose that n is square free. Let
n = n0 = Pib ... Pt; let qi be the ith prime (so that q1 = 2, q2 = 3, ...).
Put n2 = q1q2 ••• qt= 2 · 3 · 5 · 7 ... qt,;,;;; n0 • Clearly
(1.1.13)
(1.1.14)
The numbers Oare the prime divisors qi ,;,;;; 2 Inn = 2ni/lnlnn ,;,;;; 2Nfilnlnn. To
estimate the sum in(l.1.12), apply Lemma 1.1.6, puttingx = 2N1 , z = 2Nf_flnlnn.
Here £X = In z/In x < 3/ln Inn. By (1.1.9) we obtain the estimate
B exp -l(ln In n)(ln In Inn)= B(In n)-(I/ 5)lrilnlnn (1.1.15)
for (1.1.4). Summing over the intervals [N1 , 2N1 ] (obviously B In n is an estimate
for the number of these), we obtain (1.1.11).
LEMMA 1.1.8.
,L Tio) = B exp -(In In n) 2 , (1.1.16)
oln 0
o> exp (In lnn) 4
.L 'Tk(o) . (1.1.17)
oln 0 0
o>nl'"
26 DIVISORS, PRIME NUMBERS AND TRIGONOMETRIC SUMS [CHAP. I
Divide the interval [ni' 2, n0 ] into intervals of the form [N1 , 2Ni]. For one of
these intervals we have
112 112
= .!!...(
Ni
L
ms;;.2N1
('rk(m)) 2) ( L
olno
1) . (1.1.18)
6e[N"2N 1 ]
PROOF. The numbers in question are of the form q1q2 , where .J~J Mn <
q1 < .J~, because all their prime factors are less than or equal to q1 . For given q1
the number of such numbers in I' does not exceed
B mes (J').
ql '
none of the prime factors of q 1 are greater than M,.. Applying Lemma 1.1.6, we
obtain (1.1.20).
We shall need one more elementary lemma on the number of divisors. Let
r~(m) = ~"'i···"k=m;zi>I 1, i.e., the number of ways that the number m can be
written as a product of k factors, none of which is equal to 1. Thus if m has
fewer thank prime factors, then r~(m) = 0.
LEMMA 1.1.10. Let m be square free, and suppose that it has at least k prime
divisors; suppose p -r m. Then
and
.L
m.;,y
-m1 = B(ln y)YP, (1.2.2)
Cl(m);;.pinlny-1
where
Ye= c - c Inc (1.2.3)
and ~ 1 = ~ 1 (~ 0)---+ 0 as ~o---+ 0.
This lemma is a trivial modification of Lemma 7 of Hooley's paper [43, pp.
200-201] and is proved in the same fashion.
LEMMA 1.2.2.
m.;,y
L l=B_:!'._.
ln 2 y
(1.2.4)
Q(m)>10Inlny
B .!!_ ( 1 + 1 2
) (In In n) 2 (in In _!!_) • (1.3.3)
rd (In (n/rd)) 2 ({3 In n) 2 rd
This generalizes a theorem of Erdos [34]. For a proof, see paper [5] of
Vinogradov.
The next lemmas have to do with the quadratic form x 2 + y 2 • As is well
known,
I 1=4Ixip). (1.3.4)
x 2+u 2=m plm
Consider the equation
n = ~2 + 'Y/2 + Q, (1.3.5)
where all prime divisors of Qare greater than n/3 ({3 > 0 is a constant). To get an
upper bound for the number of its solutions, we eliminate from the numbers
n - ~ 2 - 'YJ 2 those which are divisible by primes p < nY, where y > 0, y ~ f3 is a
suitable constant. In this connection we use the following table of the numbers
of solutions of
~ 2 + 'YJ 2 = n (mod p•), (1.3.6)
where ~, 'YJ run through c-omplete residue systems (mod p); p is odd and p" II n,
p > 0:
For p >- s
p = 1(mod4) p = -1 (mod4)
Q(n, p = p•(s + 1 -
8) ;) Q(n, p8 ) = p•-l (s odd),
2) s odd
p even
(p + l)pP ( 1 - ;) pP(l + ;),
3) seven
p odd
(p + l)pP ( 1 - ;) 0,
4) seven
p even (p + l)pP(l - ; ) pP(l + ;).
Sec. 4] CERTAIN SUMS CONTAINING DIRICHLET CHARACTERS 29
The eliminating is accomplished by the standard sieve method (see [5; 6]).
In this connection it is necessary to take into account those values of p for which
(1.3.6) is not solvable. We cite the final result.
LEMMA 1.3.3. An estimate for the number of solutions of equation (1.3.5) is
B ~II (p :-- l)(p - xlP)). (1.3.7)
Inn i:>ln P - P - XiP)
In Chapter VI we shall need to estimate the number of solutions of
~2 + 'Y/2 + Q = n, (1.3.8)
where all prime divisors p I Q obey one of the conditions:
exp (In In n) < p <exp (In n)"
2 p > nP,0; (1.3.9)
where f3 > 0 is a constant; oc 0 > 0 is a small constant. To find an upper bound
for the n.s.e. (1.3.8) we eliminate from the numbers n - ~ 2 - ri 2 those divisible
by primes p <exp (In In n) 2 and also by primes p under the condition:
exp (In n)"o < p < nY; y > 0 is a constant. Using the above table and Lemma
l.1.7, after a standard application of the sieve method we arrive at the following
result:
LEMMA 1.3.4. An estimate for the number of solutions of equation (1.3.8)
under the given conditions is
B n OCo In Inn II (p - l)(p - xip))
2 . (1.3.10)
Inn Pin p - p + xlp)
! x!(d)xll1)~ll2), (1.4.3)
<p(dl1l2b-)
where the summation is over 11 , 12 , d under the above conditions.
LEMMA 1.4.1. An estimate for (1.4.3) is
Bb(ln n1) 6 • (I.4.4)
This lemma is a trivial modification of the estimate (54) in Hooley's paper [43].
30 DIVISORS, PRIME NUMBERS AND TRIGONOMETRIC SUMS [CHAP. I
5. Quasiprime Numbers
Numbers which have only a restricted number of prime factors are sometimes
called almost prime; such numbers will be encountered often in the following
chapters. Also, we shall often use the term "quasiprime numbers." Consider
the sequence of intervals [I, n] where n ~ oo. Let Mn be a monotone function
of n such that
Mn= O(n') (1.5.1)
for any e > 0. Then the quasiprimes of [I, n] with exclusion up to Mn are those
numbers whose prime divisors are all greater than Mn.
In the following chapters we shall use quasiprime numbers with exclusion up
to Mn= exp (In In n) 3 12 ; while in Chapter VII, when using ideas of Hooley
(see [43]) we take quasiprimes with Mn= nl/(lnln n>2.
Let Ln = LiMn) be the number of quasiprimes in [I, n]. A standard
application of the sieve of Eratosthenes gives
LEMMA 1.5.1.
LnX_n__ (1.5.2)
lnMn
Next, an immediate consequence of Lemma 1.1.6 is
LEMMA 1.5.2. For Mn = exp (In In n)312 ,
Ln =n .L µ(m) + B 0 n(ln n)- 0 , (1.5.3)
m..;;exp(lnlnn) 4 m
me An
where An is the set of numbers whose prime divisors are all less than Mn·
As Hooley observed [43], quasiprime numbers with exclusion up to Mn ~
n1/(ln In n>2 are "well-distributed" in arithmetic progressions having a very large
e
common difference D: D = O(n6 ) for any constant < 1. For prime numbers,
which, roughly speaking, can be considered as quasiprimes with Mn = ,,J-;;,, it is
not possible to derive anything of this kind for e ;;.i. t, even from the extended
Riemann hypothesis. We state Hooley's basic lemma [43] on this property of
quasiprime numbers.
Let x = nl/(ln In n) 2 '• p = TI p~x p . Let the positive integer t = npa (the
canonical factorization). Define a function/(m) = fn(m) as follows:
f(m) = g(m) + h(m),
where
{~
if mis a prime ~ x,
g(m) =
otherwise,
if(m,P) =I,
h(m) = G otherwise.
Sec. 6] LEMMAS ON THE DISTRIBUTION OF PRIMES 31
Let y <n; D = O(n 6) (0 < () < 1; () is a constant), 0 < l < D; /Ul and /(2)
are defined with the aid of (1.5.4).
LEMMA 1.5.3.
- 1-L(n)y + B-n- if(lu>, D) = 1,
<:p(D) D Ins n
I f(m) = {
m=s;;;;y n
m==l(modD) B--- if(l(l), D) > 1,
D Ins n
where
L (n) = B (In In n)2
Inn
and depends only on n. We remark that by (1.5.3), L(n) X (In In n) 2/ln n.
The proof of this lemma is given in Hooley's paper [43, pp. 197-198].
Quasiprime numbers are very useful for the solution of the problem of Hardy
and Littlewood (see Chapter VII). They are also useful for the solution of binary
problems of the form (0.2.3) where the D' are prime numbers and the sequence of
11 is very sparse, for example, of equations of the form n = i:p(x, y) + Pi2m, where
<
p 1 n1-"', 2m < n"'; ex: < 0 (cf. the author's paper [11]). Here in forming the
dispersion V' of type (0.2.5) it is expedient to apply, in place of the crude in-
equality (0.2.6), one in which D runs through only a "quasiprime shell D'"
(quasiprime numbers with exclusion, e.g., up to M,. = n1 /(lnin n> 2) instead of
through all numbers of the interval [D1 , D 1 + D 2 ]. Then we need to solve the
basic equations (0.2.13) for quasiprime D. This can be accomplished by putting
such conditions on n - <:p1 and n - <:p 2 as are necessary for carrying out an ele-
mentary sieve operation consistent with the determination of an asymptotic
approximation to (0.2.14). However, the computation becomes very cumber-
some.
that only real characters can be exceptional, and that there can only be one
exceptional zero f3 for given q.
Let 7T(x, q, I) be the number of primes in the indicated segment of the
progression; Ea= 0 if q does not have an exceptional character; Ea= I if it
does; in this case let i be the exceptional character and f3 the exceptional zero.
Then the following lemma holds:
LEMMA 1.6.1.
7T(X, q, l) = -1 f"'-dt + Ea L-(l) f"' -xP-1 dx + Bx exp -(a .Jln x). 1 (1.6.1)
cp(q) 2ln t cp(q) In x 2
This lemma is proved by interchanging the summations over s and t and then
directly calculating the right-hand side. If T is the interval [q1 , q2], where
[q1, q2] c [O, q], then it follows immediately from (1.7.3) and (1.7.4) that
I L
t e[q,, qz]
exp 27Ti
-f(t)
q
I= B IF/ In q, (1.7.5)
where
IF/ = max IF.I. (1.7.6)
s
Of the estimates for trigonometric sums we shall need most of all Andre
Weil's very recent estimates for Kloosterman sums.
LEMMA 1.7.3. Let q > 1, xx' = 1 (mod q) for (x, q) = 1; let a and b be
integers. Then
L exp 27Ti (ax + bx') = Bq112T(q) min ((a, q)112, (b, q)112). (1.7.7)
(:c,q)=l q
For a proof see A. V. Malysev's paper [19].
The combination of (1.7.7) and (1.7.5) leads immediately to the lemma:
LEMMA 1.7.4. In the notation of Lemma 1.7.3,for 0 < q1 ~ q we have
L exp 27Tibx' = Bq112T(q) In q(b, q)112. (1.7.8)
z.;;;q, q
CHAPTER II
(2.1.5)
where
(2.1.6)
(2.1.7)
where
(2.1.8)
[ v0 , v0 + Vo K
(In n) 1
J = (v 0 ). (2.1.9)
36
LEMMA ON THE FUNDAMENTAL EQUATIONS 37
Here
(2.1.10)
We shall fix the constant K 1 later. We assume that the interval (D) is of the
form
(2.1.11)
where
K < K1 . (2.1.12)
0 1000
The conditions xy ~ n and zt ~ n are not taken into account here.
(2.2.4)
(and of course, with conditions (2.2.6), to within an error of (2.2.5)). From now
on we shall assume conditions (2.2.6).
In what follows the value of
b = g.c.d. (x, z) (2.2.7)
will be important.
Clearly b JM. First we suppose b = 1. Then v1 ':;!= z. For if v1 J z, then
111 J v2n2 ; by the conditions on 111 and v2, 111 J n2, which is impossible in view of
(2.1.2) and (2.1.1). Since v1 is prime, (v1 , z) = 1. Now from (2.2.3) we find
y = Mv~x'(mod v2z), (2.2.8)
where v:tx' is the inverse of v1x mod v2z.
Further, from (2.2.4), (xy - n1)/v2 E [D1, D 1 + D 2 ];
or
(2.2.9)
(2.2.12)
where
(2.2.18)
by (2.1.9) and (2.1.12).
Let us estimate the number of solutions of (2.2.3) under the conditions:
xy < <
2n, zt 2n; z is given by formula (2.2.17); g.c.d. (x, z) = <5 = 1. In this
case, if lz is suitably chosen,
B Dv 2 In n = B D 2 In n . (2.2.21)
z
Summing this estimate over values of z satisfying conditions (2.2.17) and (2.2.18)
we obtain the expression
(2.2.22)
Thus with accuracy to within such an error we can replace condition (2.2.12) by
the simpler condition (2.2.15).
40 ANALYTIC THEORY OF QUADRATIC FORMS [CHAP. II
(2.2.23)
(2.2.24)
[ n12
YE -, n12 + v2D2]
x x (2.2.27)
z < (D 1v1) 112 , x < (D 1v2) 112 , g.c.d. (x, z) = 1
instead of the original equation.
In what follows we shall refer to (2.2.8) as the fundamental congruence.
For the number of solutions of (2.2.8) under conditions (2.2.27) we have the
obvious expression
D2 + B, (2.3.2)
xz
Sec. 3] ANALYSIS OF THE FUNDAMENTAL CONGRUENCE 41
the set of which we denote by Uc 2 . 3. 3» we sum (2.3.2) over all permissible x and z,
and obtain the expression
D2 _L _!_ + BD n-••, 2 (2.3.4)
U12.a.a1 XZ
where e4 = !e3 •
Now consider the case when xz < D 2n-• 3 is violated, so that the following
conditions hold:
z < (D1111)1'2, x < (D1P2)112,
(2.3.5)
g.c.d. (x, z) = 1, xz D 2n-•3• >
From this we have x > D2n-• 3 /z >
tD2n-112-• 3 provided n is large enough
(which we shall assume).
Turning to (2.1.12) and (2.1.10) we see that D1 > !n 51s+•i1 2, so that x >
!nsts-112+•1-•3 (ln n)-K•. If we suppose that e3 has been chosen so that
(2.3.6)
then we have
x > !n1/s+•,. (2.3.7)
For each given x under condition (2.3.5) and given z, y must vary in the
interval (2.2.27). Here x is in the interval
If it happens that the left number in brackets is larger than the right one, the
interval is considered empty.
Let x 0 be any value of x in the interval (2.3.8); consider the interval
(2.3.9)
where e5 will be determined later on. For each x of (2.3.8), the interval of varia-
tion of y, given by (2.2.27), will not differ from the interval
We shall show that the number of solutions for which y is in the indicated
intervals Gf length (2.3.11) is negligible. In equation (2.2.3), let x be in (2.3.9);
and suppose that y, for given x, is in the indicated intervals. For prescribed x, y
belongs to a definite residue class mod 112 (it is easily seen that (x,11 2) = 1), soy
receives
(2.3.12)
values. To each such value corresponds B,n' values of zt. Choosing e = le5 , we
obtain
B ~ x-ca12l•s
0
_ BD x-o.4•sx•s
- 2 0 0 (2.3.14)
112
solutions. As we shall see later, such an error can be neglected, and for x in
(2.3.9) we can suppose that y is in the interval (2.3.10), which we denote by lv,xo.
Turning to the fundamental congruence (2.2.8), denote by Ev,xo that part of lv,xo
into which the length 112x fits the maximal integral number ex 0 ~ 0 of times (if
there is such a part); call the remaining interval Fv,xo' so that
(2.3.15)
Put
mes Fy xo
--~·-" =µ (2.3.16)
1l2Z
(whereµ depends on x and z). If
µ < - n- n-•• , (2.3.17)
1l2ZX0
where c; 6 > 0 is some constant (which we shall fix later on), then solutions for
which y is in FY,xo and x is in the interval (2.3.9) can be neglected. Indeed, an
estimate for the number of pairs (x, y) corresponding to fixed z is
B -n x-•s
0 n
-•• ,
1l2Z
For a given pair x,y, the pair z, t cannot have more than B,n• values; putting
e = -le6 , we find the total estimate
(2.3.18)
Sec. 4] APPLICATION OF THE METHOD OF VINOGRADOV 43
(2.3.19)
o~ {L} ~µ.
V2Z
(2.4.1)
where/(x) = Mv]_x' (mod v2z) and (x) denotes the interval (2.3.9). Consider the
behavior of 'Y(u) (th~ upper function 'P(u) is treated analogously). We have
(cf. Lemma 1.7.1)
Mµ
!'(k) = µ + ! L (am + ibm) exp 21Timk
m=l
Mµ
+ i L (am - ibm) exp (-27Timk) + Bµn-• 6• (2.4.3)
m=l
Here
(2.4.4)
and when m ~ Mw
(2.4.5)
Finding an asymptotic approximation for "2:.'Y(f (x)/v2z) reduces to estimating
the sums: -
Here x runs through the incomplete residue system (2.3.9), (x, v2z) = 1. By
(1.7.8) (Lemma 1.7.4) we have
(2.4.6)
44 ANALYTIC THEORY OF QUADRATIC FORMS (CHAP. II
We have M = Y1n1 - Y2n2. By definition of Yi and ni, g.c.d. (M, Y1) = (M, Y2) =
(Y1 n1 , Y2) = 1. Furthermore, as is easily seen,
(Mm, Y2Z) ~ (M, Y2z)(m, Y2Z) = (M, z)(m, Y2Z). (2.4.7)
In view of this,
L (Mm, Y2z)112 ~ (M, z)112 L (m, Y2Z)112_ (2.4.8)
m~Mµ m~M 1,
Then
L
m,,;;Mµ
(m, Y2z)112 = B L
61-.z
15 112 L
m==O(mod 6)
1 =BMµ L 15112 =
61-.z
BMµr(Y 2 z). (2.4.9)
m:::;;;;,Mµ
Using (2.4.6), (2.4.8), (2.4.9) and (2.4.5) in (2.4.3), we find that for given z,
,L ~
(x)
(!(x)) (.L 1)µ(1 + Bn-••) + R.,
Y2Z
=
(x)
(2.4.10)
where
Rz = B(Y 2z)112(M, z)11 2(r(Y2z)) 2 ln nn 2•• = B(Y 2z)112(M, z)112 n 3" 6 (2.4.11)
(cf. Lemma 1.1.1).
There is a similar relation for the upper function 'P(u). Using (2.4.2) we find
that
We shall suppose that e5 + es < e1 /10; then, comparing (2.4.15) and (2.4.16)
we obtain
(2.4.17)
Taking this into account in (2.4.12) and observing that es< e1/10, we find that
Q(z) = µ(1 + Bn-••(M, z)112) ,L 1, (2.4.18)
x eiz
(x,z)=l
where I., is the interval in which x varies (2.3.9) (previously x E (x) meant that
x EI., and (x, z) = 1).
The quantity Q(z) corresponded to fixed z, x EI.,, (x, z) = I,y E Fy,., 0 If
under the same conditions on x and z, y E EY,"'o' then clearly to each value x EI.,
correspond exactly e., 0 values of y, so that for y E IY,"'o for all permissible values
x EI., we find that the number of pairs (x, y) is
D2
e.,. +µ = - . (2.4.20)
XoZ
Thus the number of pairs (x, y) of the indicated type is expressed by the
formula
(2.4.21)
where X = 111xy/a. ~ 2v0n/a; Y = 112zt/a ~ 2v0 n/a, and X and Y each run
through B.n• values. Clearly
! 1) (D 2 + Bµ(z, x 0)n-•1) ,
( a:eiz e7 = 0.9e6 (2.4.25)
X 0Z
(a:,•)=1
D2 ! _!_ + BD n-••
2 12 (2.5.1)
u, .. a.si xz
from (2.3.2).
Next, when x > D 2n-•a/z, we divide up the interval of variation of x,
obtained from (2.3.9), in the following manner:
Let x 0 denote its left end point; consider the interval I., = [x0 , x 0 + x5-•s].
If it fits entirely into the interval of variation of x, then, putting x 0 = x0 + x5-•s,
we consider the following interval I., = [x 0, x 0 + (x0)1-•s], and so on. If an
interval is obtained whose right end falls outside of the prescribed region for x,
then, as we shall show later, the number of solutions corresponding to it can be
neglected. For those intervals I., which fit entirely into the interval of variation
of x, we have for given 111 , 112 , by (2.4.25),
! 1) (D 2 + Bµ(z, x 0 )n-•
( a:eiz 1) (2.5.2)
x 0z
(a:,z)=l
solutions. Then expressions (2.5.1) and (2.5.2) are summed over 111 , 112 •
Sec. 5] AN ASYMPTOTIC FORMULA 47
Now let us consider the errors in the combined formula. We assume that
K1 > 100 K0 •The error (2.2.5) gives
(2.5.3)
in the combined formula. The error (2.2.5), after summing over v1 and v2 , gives
(2.5.4)
In view of the fact that x 0 > tn1 13 (cf. (2.3.7)), the error (2.3.13), after summing
over v1 and v2 , gives
(2.5.5)
solutions. (2.3.18) introduces a similar error. The error (2.4.24) is already given
for the total number of solutions. It has the form
(2.5.6)
Consider also the behavior of the error terms (2.5.1) and (2.5.2) in the com-
bined formula. Summing the error in (2.5.1) over v1 and v2 we find an error of
(2.5.7)
Finally, consider the error term in (2.5.2) (which is valid only for z E A1).
For given x 0 , sum the error first over z E A 1 ; zx0 < D 2 ; v1 , v2 ; this gives an
error of
Bx~-·· D2 n-•1v~2.
Xo
Summing over x 0 , vl> v2 , and z we again obtain the result (2.5.8). Note that
if an interval of the form [x0 , x 0 + x/j-•s] does not fit into I., then the number of
solutions corresponding to it can be neglected. We shall obtain a rough com-
bined estimate for the number of such solutions of (2.2.3): considering that for
48 ANALYTIC THEORY OF QUADRATIC FORMS (CHAP. II
Here XiY < 2n/c'J; z 1 t < 2n/c'J; (xl> z1) = 1, x 1 < y; z1 < t.
We first examine the case
(2.6.2)
For this case it is sufficient to give a rough estimate of the total number of
solutions of (2.6.1). Note that (v1, v2 , M 1) = l. For given v1 , v2 we replace
(2.6.l) by
(2.6.3)
By Lemma 1.1.4 (cf. Lemma 1.1.5) and the inequality labl ~ !(a2 + b2), an
estimate for the last expression is
B D2 (In n)a<2,2>.
b
Summing over all values v1 ¥:- v2 such that v1 n1 - v2n2 = 0 (mod b) we obtain
the combined estimate
D 12
B 2:0 (In n )a<2,2>. (2.6.4)
b
Assuming
K5 > 10a(3.2)
and summing over b >(In n)K•, we obtain the combined estimate
(2.6.5)
in the total number of solutions, which will be a permissible error. Now we
shall suppose that
(2.6.6)
and analyze equation (2.6.1) under these conditions.
Here (xl> z1) = 1; therefore there is nothing essentially djfferent in the
treatment of this equation by the methods of the preceding paragraphs. Now
n/b takes the place of the parameter n, and M 1 the place of M. Condition (2.2.4)
becomes
Thus D2 /b takes the place of the number D 2 ; D1 /b, that of D 1 ; nJ./b takes the
place of n1 • As is easily seen, the errors (2.2.22) and (2.2.24) are changed so
that n/b takes the place of the factor n. Then in the computations of§ 3 we need
to put D2/b and D1 /b in place of D 2 and D 1 everywhere, and n/b in place of n.
In § 4 we spoke of the importance of the fact that vi < n1 16-• 1 (e1 > 0). Re-
placing n by n/b, we have
It is easy to check that this does not violate the important relation (2.4.17).
The classes A1 and A2 of numbers z can be left unchanged for numbers z1 ; the
corresponding conclusions are preserved. The conclusions of § 5 are preserved
50 ANALYTIC THEORY OF QUADRATIC FORMS [CHAP. II
u<2.6.10>:
X1 < (D01 v2 2 '• r (X1, Z1) = 1, x z ~
1 1 ?
D2
0
n-•s.
' (2.6.10)
u<2.6.11>:
a= (M1, Z1) < n' 6, Z1 ~ r
(D01 '111 2. (2.6.11)
o
Then for given under condition (2.6.6) we obtain the following expression for
the total n.s.e. (2.6.1):
4 D2 !' !
0 "1."2 z1
( !
o: 1
_l_
X 1Z 1
+!
I, 1
! _l_) +
o: 1eI, 1 XoZ1
B D2v~2 (In n)-K'.
0
(2.6.12)
U12.&.11> U12.s.10> U12.s.1•>
Here x 0 is chosen in the interval I., 1 as it was chosen before in I.,. The accent (')
in the outer sum in (2.6.12) denotes that the summation is over only those for o
which
(2.6.13)
Formula (2.5.13) is a particular case of that given for = 1. To obtain the o
total combined n.s.e. (2.2..3) we need to sum over all ~ (ln n)K•. In doing this o
all constants K1 , • . . , Ks must be chosen sufficiently large; in particular,
Ks > 10a(3.2) (cf. (2.6.4)). Furthermore, we shall assume that K 4 > 100K1 •
Uc2.1.2>:
X1 < (D Yor2'-t (X1, Z1) = 1, X1Z1 ;;;., D2n-•s' (2.7.2)
Uc2.1.a>:
a= (M1 , z 1) < n•&; Z1 ~ (D
~Yo
1 2• r (2.7.3)
Sec. 7] COMPARISON OF THE RESULTS FOR COHERENT NUMBERS 51
in view of (2.1.9).
The corresponding difference for the other sums in (2.6.12) also gives an
error of (2.7.4).
Summing over v1 and v2 , taking condition (2.1.9) into consideration, we
obtain the error in the total number of solutions (for given CJ). Recalling that
v0 = v0/(ln n)K 1 (cf. (2.1.1)) we get an error of
(2.7.5)
Therefore we can write
(2.7.7)
This circumstance enables us to carry out the summation with respect to "'i. v2 •
The numbers v1 and v2 run through the interval (2.1.9). By Lemma 1.6.3, the
number of them in this interval is
Note that it is important here that b < (In n)Ks and v ;;.,, exp .Jinn. Putting
this into (2.7.6), we obtain
It is very important that the main term of (2.7.10), containing sums over x1
and z1 , no longer depends on the pair n1, n2 of coherent numbers. For all three
pairs of coherent numbers given in § 2, with b fixed, the main term of (2.7.10)
has the same value.
Let W(n 1, n2) be the total number of solutions of the fundamental equation
(2.2.3) for one of the three pairs of coherent numbers given in § 2, and let
W(ni, nz.) be the same thing for another of these three pairs. Then we have
(2.7.11)
Lemma 2.2.1 of§ 2 follows immediately.
where
(2.8.6)
(2.8.9)
where tis an integer. We do not require here that y > x, z > t, but the following
conditions must be satisfied:
(2.8.11)
zt ~ n; 1 < t ~ -n
z
(of course, z =;if. 0, for z is odd). Thus it must be that
l ~ n - v1D1 ~ ~ . (2.8.13)
z z
The second inequality is trivially satisfied, and the first gives
54 ANALYTIC THEORY OF QUADRATIC FORMS [CHAP. II
which is also satisfied along with conditions (2.8.11), assumed earlier, because
of the conditions on Di. In view of (2.8.6), arguing as in § 2 after formula
(2.2.11), we see that with an error of (2.8. 7) in the total number of solutions, we
can replace (2.8.12) by (2.8.13), i.e., put no conditions besides (2.8.11) on z, t.
!( !
4 XElzo
1) (DXoZ
2 + Bµ(z, x )n-••).
0 (2.9.4)
(x,z)=l
If we replace (Ti. T2) by (T{, T2) and subtract the corresponding formulas
(2.9.4), then we obtain the difference
Bµ(z, x 0 )n-•• ! 1. (2.9.5)
xelz 0
The summation of (2.9.5) over z and x 0 , according to what was said in§ 5,
gives an error of form (2.8.7).
The case (x, z) > 1 is treated as in § 6.
In Chapter VIII we shall need one more lemma, which is entirely analogous
to Lemma 2.8.1. Let the pair of numbers (ni, n2) run through the values (1, I);
(p', p'); (1, p'), where p' ~ ni-• 1 is a quasi prime number with exclusion up to
Sec. 10] LEMMA ON A CERTAIN INDEFINITE QUATERNARY FORM 55
Mn= exp (In In n)at 2 (see§ 5, Chapter I). Let vi obey condition (2.8.5); xy, zt
run independently through identical systems of values under condition (2.8.2).
Consider three equations YI> Y2 , Ya of the form
(2.9.6)
with
(2.9.7)
(2.10.5)
56 ANALYTIC THEORY OF QUADRATIC FORMS [CHAP. II
LEMMA 2.10.1. The total number of solutions of equation (2.10.3) under the
above conditions is given by
(2.10.6)
(2.10.7)
Puttirig
U(m) = L 1=4Lxip) = 4 L xix), (2.10.8)
g2 +~ 2 =m p Im XY=m
we see that the number of solutions of (2.10. 7) is equal to the sum of the quanti-
ties U(mJU(m 2) over all solutions of the equation
n(v1 - v 2)
V1 m1 - v2m2 :::;::: ;. = Mi (2.10.9)
2
under the conditions
(2.10.10)
We see from (2.10.8) that it is necessary to find
16 L xix)xiz) (2.10.11)
over all solutions of the equation
V1XY - V2Zt = M1, (2.10.12)
n12 < 2"xy < n12 + v2D2; n12 ·= n - v2D1 - v2 D 2 • (2.10.13)
Here xy and zt are odd. We can suppose that
otherwise U(m 1)U(m2) = 0. Note that ·because of our conditions, n(v1 - v2) =
0 (mod 4) and from xy =
1 (mod 4) it follows automatically that zt 1 (mod 4). =
Order the numbers x, y, z and tin (2.10.11) as follows:
The number of solutions where the equal sign is encountered in (2.10.15) and
the sum (2.10.11) over them is small: the trivial estimate of the number of such
solutions is
B(e)n11 2+• (2.10.16)
(see§ 2).
In the remaining solutions the equal sign does not occur; assuming condition
(2.10.15), we shall later only have to quadruple the sum obtained (2.10.11). For
by (2.10.14), xix)xiz) does not change when x is replaced by y and z by t.
In what follows, the value of
c5 = g.c.d. (x, z) (2.10.17)
is important. Clearly, <5 j n(v1 - v2). We suppose first ofall that c5 = 1. Further-
more, we suppose v1 1 z; otherwise the total number of corresponding solutions
is estimated by (2.8.7) (see § 8)
y = M1 v~x' (mod v2 z), (2.10.18)
where v~x' is the inverse of v1x (mod v2z). Then
(2.10.19)
by (2.10.9). Let e1 > 0 be given and suppose that the following is satisfied:
,,,;~2 > v2z exp (In n)113 ; xz < D 2 exp -(In n)113T"'. (2.10.20)
(2.11.1)
values. Here
(2.11.2)
~~ 2 2 xix)xiz) + BD r,,.-
2
2 exp -Hin n)113 • (2.11.3)
2 zz.;;;2-?.D 2 exp -clnn) 1 / 3 XZ
cz;z)
then it is not difficult to show that at the expense of a permissible error we can
discard a solution where y runs through intervals Fv,xo with such a small µ, and z
ranges over permissible values (cf. § 3). Therefore we shall assume that
µ ....._
,,,,_ -n- exp - 1
1- 0
(I n n )112 .
Xo'V2Z
where we have puty2 = f(x 1) = M1(4v1)'(4x1 + l)' - 4' (mod v2z); { } denotes
the fractional part. In order to estimate the number of y 2 as x runs through its
interval, we proceed exactly as in § 4: we construct upper and lower Vinogradov
functions o/ and 'f to count the fractional parts falling in the interval [O, µ]. If
Q(z) is the desired quantity, then
(2.12.2)
T(x) = µ' + -} L (am + ibm) exp 21Timx + -} L (am - ibm) exp (21Timx).
m=l m=l
Here
+ Bµ exp -l-5 (ln n) 112•
µ' = µ (2.12.4)
The series can be broken off form > µ- 1 exp -(l/20)(ln n)11 2 with a permissible
error; here we can suppose that
lam ± ibml = Bµ. (2.12.5)
The problem reduces to finding an estimate for
We now sum the expression xix)xiz) for given z and x E /,,: (x, z) = 1, x
odd. Here xiz) is fixed, and by the above, the sum over xix) gives the value
(2.12.8). Then for y E lv,zo the corresponding sum is
Be,,0 ( L
(z.z)=l
1) exp -(In n) 112, (2.12.9)
:xelz
We then argue as in§ 5 in summing the error term in (2.5.2); summing over z
and vi, we easily obtain the total error
BD 2v~2 exp -a 3(ln n)112 . (2.12.11)
!
(z,z) xz
(2.13.2)
zz.;;2-i.D 2 exp -(lnn)l/3
Now let b > I, b <exp (In In n)2 • By the above, we have the expression
where
(2.14.6)
S 2(a, q) ""
= ..:.. exp - -27Tia V2<p(~, ri). (2.14.7)
~.'lmodq q
The proof of Lemma 2.14.1 can be accomplished by Kloosterman's method
(cf. [46]) but since it is rather cumbersome we shall not give it here. A complete
proof is given in [20].
LEMMA 2.14.2. Let <p = ax2 + bxy + cy2 be a positive primitive binary form
with discriminant -d < 0. Let m > 0, (m, d) = 1; then the number of repre-
sentations of m by primitive forms of the same discriminant is
w)d
h = - L(l, Xd). (2.14.9)
27T
For a proof see, for example, [47].
CHAPTER III
where the xi are positive integers. In particular, T2(m) = T(m) is the number of
divisors of m.
In what follows, a > 0 is a fixed number and n is an integer -Ho.
This problem has been investigated by a number of mathematicians, princi-
pally by the British. It was first studied by A. Ingham [44) in 1927 for the case
k1 = 2, k 2 = 2, i.e., for the number of divisors. He established the formulas
6
L T(m)T(n - m},....., 2 0'1(n)(ln n) 2 , (3.1.4)
m<n 7T
We see that here the right-hand side contains a factor of(ln n)3 i.nstead of(ln n) 2 •
This is proof of the sharp distinction between the case a = 0 and the general
case a> 0.
64
STATEMENT OF THE PROBLEM AND SEVERAL RESULTS 65
In 1930 Ingham's result was improved by T. Estermann [36; 37] who obtained
asymptotic series in place of the right-hand sides of (3.1.3) and (3.1.4). For the
case (3.1.4), Estermann's result is
2 2-r
L T(m)T(n - m) = n L (In nY.Lar,;a~Un) + Bn718(1n n)2314a_ 31in). (3.1.5)
m<n -o ~O
By the above, we shall have a satisfactory lower bound for the number of solu-
tions for at least one n1 . On the other hand, it is easy to give an upper bound for
the number of solutions having X; > p• or Y; > p• for at least one indexj.
If n is sufficiently large in comparison with s, then the number of such solu-
tions makes up a comparatively small part of the total. Having a satisfactory
estimate of the latter, we see that there exist solutions for which X; < p•, Y; < p•
for all j < k. Take one such solution and form the corresponding Legendre
symbols (XiXz~· ·xk) and (YtYz;· ·Yk). By our equation and the fact that
p = -1 (mod 4), we see that at least one of these symbols has the value -1,
whence it follows immediately that the least positive nonresidue mod p does not
exceed p•.
2. Application of the Dispersion Method
The author has applied the dispersion method to the additive divisor problem
in papers [12] and [13]. Only the results and a short outline of the computations
were given in these papers. In this chapter a detailed exposition will be given of
the much simpler scheme of computations resulting when the concept of
covariance is applied.
The dispersion method enables us to find an asymptotic expression for
(3.1.1) and (3.1.2) and to derive an asymptotic series of type (3.1.5) for the cases:
k1 = 2, k 2 is any positive integer;
(3.2.1)
k1 is any positive integer, k 2 = 2.
Sec. 3] PREPARATORY TRANSFORMATIONS OF THE EQUATION 67
Here, however, the error term is worse than in the particular case (3.1.5);
namely, it is of the form B,n(ln n)'. At the end of this chapter we shall also
consider the application of the dispersion method in the general case-that of
any values of k1 and k 2 •
Since the resulting formulas are very cumbersome, we shall give a detailed
discussion only for the simplest particular case of equation (3.1.1): k 2 = 2,
k1 = k > 2 is arbitrary, a = 1; and we shall limit ourselves to the derivation
of an asymptotic formula, without derivation of an asymptotic series. We shall
only give a general outline of the derivation of the latter and of the general case
of equations (3.1.1) and (3.1.2) with k1 and k 2 as in (3.2.1). Close examination
of this outline shows that there are no essential difficulties in obtaining the
corresponding general result; it is just that much cumbersome computation is
required. Here we derive the following result in detail (cf. the author's papers
[10-12]). 1
THEOREM 3.2.1. For any k ~ 2,
,L T(m + l)Tk(m) = k! AkSkn(ln n)k + Bn(ln n)k- (1n In nl,
1 (3.2.2)
m::s;;;;n
where
(3.2.3)
S = lim 1 (3.2.4)
k Y-+co (In Yt- 1
For those solutions where XE A,«n), we have Tixy - 1) > (ln n)'<k>, so that,
by (3.3.4),
( 2_ 2' Tk(xy - l))(ln n)'<k>+i = Bn(ln n)'<k>,
x~ V' n+l xy~n-Fl.
where the accent denotes that the summation is taken over X = xy - 1 E Ain).
Hence Lemma 3.3.1. We can now suppose that in equation (3.3.2), XE Ain).
Now we subdivide the numbers XE Ain) into classes n<u and n< 2 >. The
class n< 1 > will consist of numbers X having a prime divisor 11 such' that
exp .Jln n < < n11
11 &-• 1 ; (3.3.5)
the remaining XE Ain) go into n< 2 >. We now prove that solutions for which
XE n< 2> can be neglected.
LEMMA 3.3.2. An estimate for the number of solutions of (3.3.2) for which
XE n< 2 > is
B,n(ln n)'. (3.3.6)
All the prime divisors 11 of XE are either< exp (ln
n< 2> or> n1 t&-•1. n)11 2
Consider first the latter case. In this case X has no more than 6 prime factors,
so X = Pis "almost prime" and TiX) = B. Hence the number of correspond-
ing solutions of (3.3.2) is
B 2 2' 1, (3.3.7)
:r<:;;vn+l X=l(rnod:r)
X:s;;;n
Sec. 3] PREPARATORY TRANSFORMATIONS OF THE EQUATION 69
where the accent indicates that almost prime X =Pare taken. By Lemma 1.3.1
we have ~~=l(modz);X.;;;n 1 = Bn/cp(x) ln n. Summing over x we obtain
(3.3.6). -
Now consider those X, all prime divisors of which are less than exp .Jin n.
First of all let us estimate
1' T(X + 1) = 1 T(m + l)p(m), (3.3.8)
m~n
B Ct,;+1(T(m))2r2 c~/(m)r2.
By Lemma 1.1.6, where we need to take x = n, z =exp .Jinn, ex= (ln n)-112,
we find, cf. (1.1.9): ~m.;;;n p(m) = Bn exp -(.Jln n); by Lemma 1.1.2,
~m.;;;n+i(T(m)) 2 = Bn(ln n) 3. In view of this,
Since exp 2.J1n n ~ v2 ~ n11s-2e1, then by Lemma 1.1.3, an estimate for (3.3.11)
is
n -
B(ln nrk+l 12 = Bn exp (-t.Jln n), (3.3.12)
(v) 'V
and we can neglect such solutions. Thus we can suppose that there are no
repeated factors v in the numbers vD'. Obviously, the number of such factors in
X = v D' does not exceed
r =.Jinn. (3.3.13)
70 THE ADDITIVE DIVISOR PROBLEM [CHAP. III
where the accent on the inner sum means that D' is subject to condition (3.3.19).
Sec. 3) PREPARATORY TRANSFORMATIONS OF THE EQUATION 71
D _ Di (3.3.23)
2 - (In n)K2'
(3.3.24)
Now let Y E (Y) and D' < n/Y0(ln n)K0 , D' E DI.a, then the corresponding
number of solutions is estimated as in formulas (3.3.20) and (3.3.21) with 2K1
replaced by K1 + K 0 ; the final result is
under the same conditions (3.3.26), where n2 is one of the numbers (2.1.1).
Recalling that D' E D~a' so that TiD') < (ln nYk/k, we obtain for this dispersion,
comparing (0.4.2),
II
ve(vl
U(ni + D'v) - I
ve(v)
U(n 2 + D'v) I~ (ln v~n) K
3
, (3.5.2)
II
ve(v)
U(n 1 + D'v) - I
ve(v)
U(n 2 + D'v) I> (ln v~ n)
K
3
, (3.5.3)
where
(3.5.4)
(We assume that Ki > 160.)
Now divide the numbers D' E E 2 into subsets E 21 (t = 1, 2, ... ) such that
D' E E21 if
I
D'eE 21
II ve(v)
U(n 1 + D'v) - I ve(v)
U(n 2 + D'v) I· (3.5.7)
Here we take into account the fact that each D' is repeated -rk(D') times.
Summing over t ~ B,n•, we obtain the estimate
(3.5.9)
for the sum
I z U(n
ve(v)
1 2 U(n2 + D'v) I·
+ D'v) - ve(v) (3.5.10)
2
D'eE1
I2 ve(v)
U(n1 + D'v) - ve(v) I
2 U(n2 + D'v) = BD2v~(ln nrK• 12. (3.5.11)
2
D1<;;;D'<;;;D'1+D2
-rk(D') I2
ve(v)
U(n1 2 U(n 2 +
+ D'v) - ve(v) D'v) I= BD 2v~(ln n)-K"12.
D'eD1a
(3.5.12)
Note that the information supplied by (3.5.12) for a given value of a may be
trivial; for example, when a = 1 the set D~a contains relatively few elements D'
and (3.5.12) can be obtained from these considerations. But for a = 1, 2, ... , r
(3.5.12) becomes deeper. Taking into account (3.3.15), (3.3.14) and (3.3.13), we
obtain from (3.5.12)
2 -rk(D'v)-r(D'v + 1) - 2 -rk(D'v)-r(D'v +n 2)
D1<;;;D'<;;;D1+D2 D1.;;;D'<;;;D1+D2
vD'eD('); ve(v) vD'eD('); ve(v)
= BD 2v~(ln nrKal3. (3.5.13)
We remark that the function B has a uniform estimate IBI < C0 for all n2 = p
given by (2.1.1).
Let v E (v); our intervals [D1, D 1 + D 2] were parts of the interval [1, n/v0 ].
Writing (3.5.13) for all such intervals, taking (3.3.24) into consideration, and
combining, we find
Z -riD'v)-r(D'v + 1) - Z -riD'v)'r(D'v + n 2)
D'<;;;n/vo D'~nlvo
vD'eD('); ve(v) vD'eD('); ve(v)
= BD 1 v~(ln nrKal 3• (3.5.14)
The interval (3.3.5) of variation of v contains B(v0/v0) Inn intervals of type (v).
Next, we can extend the summation over D', taking 1 ~ D' ~ n/v for given v.
The total error arising from such a replacement is given by (3.3.21) and (3.3.22).
If we replace equation (3.3.17) by a similar equation in which n2 stands in the
place of 1 on the right-hand side, the estimates of the errors are obviously
preserved. Granting this, we find, with the help of (3.5.14),
2 -riX)-r(X + 1) - 2 -rk(X)-r(X + n 2 ) = Bn(ln n)-2 • (3.5.15)
XeD(') XeD(')
Sec. 6] REDUCTION OF THE ADDITIVE DIVISOR PROBLEM 75
Now we apply Lemmas 3.3.1 and 3.3.2 which, of course, are also valid when
(3.3.2) is replaced by a similar equation with n 2 on the right-hand side instead
of 1. Putting (3.3.3) and (3.3.6) together with (3.5.15) we find the fundamental
result
L
Tk(X}r(X + 1) -
x::s;;;;n
L
Tk(X)T(X + n2) = Bn,
X::s;;;;n
(3.5.16)
of solutions. We can also do this in the first equation (3.6.2). Divide the interval
[I, n] into H = [n 2 ' 0 ] intervals oflength n/H; call these / 1 , / 2, ••• , IH. Of these
intervals let the intervals I H 1 , I H 1+1, ••• , / 2H 1 differ in sum by not more than
2n/H from interval (3.6.3); !"will denote the system of those intervals.
Now we shall consider only those solutions of (3.6.2) for which
xy E Ia, x1x 2 ••• xk E /b; p' E /",
a - b = c, (3.6.6)
where c is one of the numbers H 1 - 3, H 1 - I, ... , 2H1 + 3.
We shall prove that with a permissible error we can restrict ourselves to these
solutions. To see this, consider first of all the condition: p' E 10 c /". If it is
violated, then the number of values of p' does not exceed 2n/Hand in that case
the number of solutions of (3.6.2) is obviously
n2
B - n•
•H
= Bnnon" 012' n0 = n 1-• 0, (3.6.7)
which is negligible. Thus, let p' E !"; let xy E Ia, x 1x 2 .•• xk E /b and suppose
that (3.6.4) is not satisfied. Then we have
Ixy - x 1x 2 ••• xk I> n1-•o + -n ,
H
or
lxy - X1X2 .•• xkl < !nl-•o - _!: '
H
which contradicts equation (3.6.2) with conditions (3.6.3).
Thus we shall consider values of xy which are in Ia, and x 1x 2 ••• xk in-
dependently running through the system of numbers of lb under condition
(3.6.4); if we collect all such solutions and restrict ourselves to them, then the
permissible error in the total number is
(3.6.8)
Let Q(Ia, lb) be the number of solutions of equation (3.6.2) when xy E Ia,
x1x 2 ••• xk E lb. Then we have (cf. (3.6.5)),
(3.6.9)
where the accent means that it is necessary to sum in Ia, lb. First of all we need
to terminate the summation in (3.6.5) and (3.6.9)
n1 = exp (In In n)4 (3.6.10)
at the expense of a permissible error in the number of solutions. In fact, at the
expense of an error of Bn(ln n)- 1 k 12 in the total number of solutions of (3.6.2)
Sec. 6] REDUCTION OF THE ADDITIVE DIVISOR PROBLEM 77
we can suppose that each of xy and x 1 x 2 ... xk is repeated not more than
(In n)'k times. Under these conditions we estimate
2
n1 <<t~2no
2 N(xy -
a,b
x1x 2 ••• xk = q~), (3.6.11)
qeO,.
where a and b run through numbers under condition (3.6.6.). This number of
solutions does not exceed
(In n)2rk 2
n1 <a:s;;2n 0
2 N(X - Y= 0 (modq) IX - YI< 2n 0 ) I
qeOn
1 q-1
= - 2 S 1(a', q)Sz(-a', q). (3.6.16)
q a'=O
Now note that for q1 q, (al> q1) I = 1,
S1(a1, q1) =22 exp 27Ti a 1 xy + Bn112. (3.6.17)
ll:'VEla q1
:c<11
Next, the sum S 2(a1 , q1) can obviously be represented in the form
S2(a 1 , q1 ) = k! 2 exp 27Ti ai x 1 •.. xk
"'1···"'kElo ql
~1< •.. <Zk
where k 1 runs through B values, Ck 1 = B, and there are k 1 equal signs in the
relations x1 ~ . • . ~ xk. lfin each such sum x 1 . • . xk-l :;5 0 (mod q1), then,
clearly, an estimate for the corresponding sum is B'J:,x 1 .:;;••• ~xk_ 1 l, where it is neces-
sary to take the appropriate number of equal signs among the X;. The last esti-
mate is of the form B,n1 - 1tk+•. Thus we have
(3.6.18)
where in summing the appropriate number of equal signs among the X; is taken.
Further, we find without difficulty, since µ(q) = 0,
+B -riq1) L 1, (3.6.19)
q 1 ln n x1~ ••• ~"'k
(3.6.22)
(3.6.23)
+ BS1(0, l)S2(0, 1) - 1-
2
,L ! ,L 7 k(qi)T(qi) In q 1 • (3.7.1)
(Inn) q,,,;n1 q q1Jq q1
(3.7.3)
Now let us examine the sum
(3.7.4)
It can be rewritten as
= .L µ(q 1~eq1 II
q1,,,;n1 ql :1>!'11
(1 - ~) P
.L µ(~').
(q',q1)=l q
(3.7.5)
0'1enn q'q1~n1
We have
I I µ(;'tJ) = !' µ(m), (3.7.6)
olql q'o,,;;;nl q (J m,,;;;nl m
(q' ,ql)=l
where the accent (') indicates that the summation is over elements of Qn.
Further, it is clear that for fJ I q1 ,
An estimate for the last sum, by (3.6.10), (3.7.6) and Lemma 1.1.6, is
B(ln n)-10 • (3.7.8)
Thus from .(3.7.7) we find
(3.7.10)
The inner series in (3.7.10) can be extended to oo and taken over all q; by
Lemma 1.1.6, this gives
(3.7.11)
Put
Ak = ~ µ(q;eq > 'YJk > 0. (3.7.12)
q=I q
After this (3.7.3) gives
where as before I' is the interval (3.6.3). The second term in (3.8.2) is easily
estimated as
(3.8.3)
and can be thrown out with a permissible error in the number of solutions.
Finally,
0:11-0:1
xy<.n
~. o:i.el'
1 = no/2.;;;o:y-t •.. °'k.;;;no 1 =
z.y~n
cl. ·~k.;;;n )On 1 n + B)no. <3·8.4)
Turning to (3. 7.13) and substituting into it the expressions we have obtained,
we observe further that by Lemma 1.5.2,
where the pair (ni. n2) of coherent numbers takes the values (1, 1), (n1 , n1), (ni. 1),
and the following condition is satisfied:
(3.9.4)
where <p1(x, y) = ax2 + by2 and <p2(z, t) = cz 2 + dt 2 are positive binary quad-
ratic forms. Then one can consider arbitrary binary forms, <p1(x, y) and <p2(x, y),
with determinants (-ab) and (-cd) respectively, which, of course, leads to a
generalization of the preceding type.
Let ab and cdbe square-free: µ(ab) '16 0, µ(cd) '16 0. Consider the quadratic
fields k(.J -ab) and k(.J - cd), and classes of ideals 11 and 12 in them, such that
<p1(x,y) runs through the values of the norms of integer elements of k(.J-ab)
which are in 11 , and <p2(x, y) runs through the values of the norms of integer
elements of the field k(J-cd) which are in 12 • Then equation (4.1.3) can be
rewritten in the form
N(ii) + N(b) = n, (4.1.4)
not have small prime divisors. In that case, an asymptotic approximation for
(4.1.4) is
(ln In n) 2
Q(n) = G(kl> k 2 , n)n + Bn ,
In n
where G(k1 , k 2, n) is the singular series of the problem. For each given pair
(kl> k 2), where k 1 is quadratic and k 2 is any algebraic number field, one can
ascertain in a finite number of steps whether the main term is larger than the
error term; in the general case, though, it is even difficult to determine whether
G(k1 , k 2 , n) is bounded away from 0. In view of the fact that the result is so in-
complete and the computations so unwieldy, we shall not give the corresponding
asymptotic formula. However, we shall discuss the reduction of the fundamental
equation ( 4.1.4) to a form convenient for the dispersion method, since this is not
trivial. We suppose that k 1 is the imaginary quadratic field, and write the
fundamental equation in the form
cp(x, y) + N(ii) = n, (4.1.5)
where <p(x, y) is a positive primitive quadratic form of discriminant d, and N(ii)
is the norm of a number of the ideal of a given class of a given field k 2 •
Let the prime p0 exactly divide the number N(ii) (p0 II N(ii), cf. section on
notation). Then p 0 = N(TT0 ), where TT0 is an ideal of degree 1. This ideal is not
uniquely defined; there can be several different ideals with this property:
<
TT01 , TT02 , • • • , TTog (g a 0). The ideal TT0 exactly divides ii. In counting the num-
ber of repetitions of a given N(ii), we must take all these ideals into consideration.
Let N(ii) = p0 m 0 , (p0 , m0) = I; then if p = N(TT0 ), m 0 = N(ij), where ij is an
ideal and TT0ij E /.
Here if ii E /,then q- E //;1, 0
where/"'0 is the class of TT0 • Let an interval (v) be
given; consider the primes v E (v), ii E /,and the numbers N(ii) = vm0 < x such
that (v, m0) = 1. In order to count these N(ii) with the proper number of
Sec. 2] PREPARATORY TRANSFORMATIONS '87
repetitions, consider all classes of ideals / 1 , / 2, ••• , lh. Let P. be the system of
primes P E (P); P = N(TT .) ; 7T s E / 8 • For each one of these P, we take an ideal ij,
relatively prime to P, belonging to the class 11; 1 , such that N(ij) < x/p0 (if 7T s and
ij exist). Taking in turn all s, 'V E (P), and ij, we obtain all numbers N(ii) = Pm0
of the required form with the proper number of repetitions.
Let X run through the set of numbers of the form X = N(ii), ii E /, with the
proper number of repetitions; rewrite equation (4.1.5) as
<p(x,y) + X = n. (4.2.3)
Here X < n; each value of Xis counted BTk(X)times, in accordance with (4.2.1).
As in§ 3, Chapter III, we introduce the set Ak(n) of numbers X < n for which
(4.2.4)
Now note that
~ 1 = BT(m) = B ~ 1. (4.2.5)
'l'(:t,?l)=m :t11=m
n
B-(ln ln n) 2 • (4.2.8)
ln n
All the prime divisors of XE D< 2 > are either< exp (ln n/Kln ln n) or> nY.
Consider first of all the numbers of the first type. For them we can argue as in
the derivation of formula (3.3.9), using Lemma 1.1.6, (4.2.4), and (4.2.5). We
find that the corresponding number of solutions of (4.1.5) is
B-n-.
(ln n) 2
For numbers of the second type, TiX) = B; for these we need more precise
estimates than in § 3 of Chapter III. The number of corresponding solutions
will be
BN(<p(x,y) + P = n), (4.2.9)
88 APPLICATION OF THE DISPERSION METHOD [CHAP. IV
where P is an "almost prime" number, all prime divisors of which are greater
than nY. An analogue of Lemma 1.3.2 gives the estimate
B ..!.:__(In In n) 2 (4.2.10)
In n
for expression (4.2.9). This proves Lemma4.2.1. We now suppose that XE D<ll,
so that X = vD'. Let p(X) be the number ofrepetitions of the numberX = N(ii).
If v 1 D', then p(vD') = p(v)p(D'). Arguing as in the derivation of formula
(3.3.12), we see that one can neglect those solutions X which have a repeated
factor v of the type we are considering.
Plainly, the number of divisors of type v of the number X does not exceed
r < 10 In Inn. (4.2.11)
Each divisor v = N(TT,), where TT sis a prime ideal of degree 1 ; as we already have
seen, TT 8 is not determined uniquely, so vis counted the appropriate number of
times. Let a be the number of divisors of type v of the number X; a< r. Thus
X = v1 v2 ••• vaD", where D" has no divisor of this kind; here vi= N(TT 8 .),
where si is the index of the class of ideals I •. to which TT•· belongs. Write a as' a
sum of numbers ' '
(4.2.12)
Here a 1 , a2 , ••• , ah are the numbers of numbers v; for which v; = N(TT), TT EI;;
(of course, repetitions of the same v; are possible for different subdivisions
(4.2.12)). With each such subdivision (4.2.12) we associate a class of numbers X
(4.2.13)
Here, as was mentioned, the same X can belong to different classes (4.2.13);
it will be repeated exactly the necessary number of times. Obviously, the number
of classes ( 4.2.13) does not exceed ha and, by (4.2.10), does not exceed
(4.2.14)
Consider XE D~~>, ... ,ah• where a 1 + ... + ah = a > 0. We have the repre-
sentation
X=vD', (4.2.16)
Sec. 2] PREPARATORY TRANSFORMATIONS 89
where v = N(TT;i) (for a1 > 0) is counted once, and D' is obtained from (4.2.15)
when the factors v are separated off. Then each needed representation (4.2.16)
is repeated a times. Hence the n.s.e. (4.2.3) is equal to
L -1 ""
(l)k
N(ip(x, y) + vD' = n), (4.2.17)
ai. ... ,a11, a X eDa1,a2 .... ,a11.
where D' < n/v; D' is of the form described above and is repeated N(ij) times,
where ij is the ideal obtained in the manner described earlier. We see that the
boundaries of the variation of D' depend on v; v must not divide D'; the
composition of D' is determined by the class 11 such that v = N(TTu). We are
interested in making D' as much as possible independent of v. We shall keep the
condition D' < n/v; the condition v -r D' can be dropped with a permissible
error in the number of solutions, as was made clear above. Next we divide up
the v = N(TT;i) according to the value of j (with a1 > O); let v<i> denote the
numbers v with identical j (of course, there can·be equalities among the numbers
v<fl for different classes (4.2.13)). Then for fixedj, only the boundary of variation
of D' will depend on v<fl. Separate the equations
ip(x,y) + vD' = n (4.2.18)
where D' is a number of the described form, D' < nf'llU>, but the values of the D'
and the number of them do not otherwise depend on v< 1>.
Now we proceed as in § 3 of Chapter III after the derivation of formula
(3.3.15). We divide the interval (4.2.7) into intervals of variation of v< 1> of the
form
(v)=[v0 ,v0 +v~]; v~= VoK· (4.2.20)
(Inn) 1
with a sufficiently large value of K1• Consider v<i> E (v) in (4.2.19). Using
(4.2.20), (4.2.4), and (4.2.14), and arguing as in § 3 of Chapter III after the
derivation of (3.3.15), we find that in an equation of form (4.2.19), when v E (v)
we can suppose that D' <
n/v0 , that is, the boundary of its variation does not
depend on v<i>; the error in the total number of solutions produced thereby will
be permissible.
Further, as in § 3 of Chapter III after (3.3.27), we find that the last incomplete
interval of the form (v) can be discarded with a permissible error in the number
of solutions. Thus we come to equations of form (4.2.19), where D' is a number
of the form described above with the indicated number of repetitions, and
D' < n/v0 ; D' does not depend on v<i>. We can now apply the dispersion
90 APPLICATION OF THE DISPERSION METHOD
(5.1.3)
of them in the interval [I, n1-Y). Without loss of generality we can suppose that
K1 ~ 1000. If p(D') is the number of repetitions of D',
II. 2
D'::g(modq)
1= ~(
<p(q)
2
D'e(D)
1) (1 + (In Bn)K2), (5.1.6)
D'e(DJ
where E~ = 1 if(~, q) = I, and = 0 otherwise.
91
92 A BINARY EQUATION INVOLVING A QUADRATIC FORM [CHAP. V
~2 2 .xio), (5.2.5)
h r•> oln-2dD•
o
Note that may take on values ~ n. For the construction of A(n, D), we shall
o
assume at first that the of (5.2.6) is less than or equal to (ln n)c, because then
the distribution of the numbers v ~ nY1 2 in progressions is well known. Let
o = p~ip~· . .. p~· ~ (ln n)°. For C < K 4 the congruence
2dDv 2 = n(mod p~i) (5.2.7)
is solvable if and only if
(p;, 2dD) = 1 (5.2.8)
and
is
2dDe =n(mod p~i) (5.2.10)
1 + (2d:n). (5.2.11)
If in (5.2.7) v runs through the primes ~ nY12, the number of which we denote by
L2 = L 2(n), (5.2.12)
then the main term of the number of solutions of (5.2.7) is
1 TI (1 xiP)) IT (1 xiP))
L(l, Xa) ii12aD p i>f2aD p
(see Chapter VI, wher:e detailed computations are carried out for the case
q:i = x 2 + y2, g = 1 and n of general form).
(5.3.1)
where
Aa = rr(1 +
p
xa(p) )
p(p - 1)
(5.3.2)
P =exp ( In n In In In n) , (6.1.2)
K In Inn
where K ~ 100 is a sufficiently large number. Let QP be the set of all numbers
whose prime divisors are all greater than P. Consider the equation Y;
n = x~x; . .. X~ + e + r/; x; E Qp, (6.1.3)
where k ~ 6. Clearly,
6 ~ k ~
[K In In n].
71 = (6.1.4)
ln In Inn
The purpose of this chapter is to prove the following two theorems.
THEOREM 6.1.1. The number Q1(n) of solutions of equation (6.1.1) has the
asymptotic expression
( ) "-'TT A on In Inn
Q in IT (p - l)(p - X4(p))
(6.1.5)
2 '
Inn Pin p - p + xiP)
1 This condition was mistakenly omitted in the author's paper [14].
95
96 ANALOGUES OF A HARDY-LITTLEWOOD EQUATION [CHAP. VI
where
II = B In In n; (II)-1 = B In In n, (6.1.7)
Pin Pin
Now consider the minimal prime divisor 11 of each X'. The obvious inequalities
p < 11 ~ nl!k ~ nits (6.2.4)
will be very important in what follows. Thus, each of our numbers X' is
repr~sentable in the form
X' = 11D'; D' ~ ~. (6.2.5)
'II
Now let us see what the D' are for given 11 and how many times they are
repeated. We see that each prime factor of D' must be greater than 11; D' E Op;
µ(D') ':;/= O; D' must have at least (k - 1) prime divisors. Let -r'fc(D') be the
number of repetitions of the number D'. Then -r'fc(D') = -rfc(D'v), but it does not
depend on 11. That is, by Lemma 1.1.10,
-r~(D'11) = k{-r~(D') + Tk_ 1 (D')) = -r;(D'). (6.2.6)
Thus the dependence of D' on 11 consists only in that D' ~ n/11 and that all
prime divisors of D' are larger than 11. To do away with this dependence with a
permissible error in the number of solutions, we divide the interval (6.2.4) of 11
into subintervals
(11): (110 - 'II~, 110]; 'II~= 'llo K (6.2.7)
(Inn) 1
(the constant Ki will be fixed later on), beginning the division from the right end
of interval (6.2.4).
We shall begin with the case k > 7, and then consider the special case k = 6.
When k > 7, 11 ~ n11 7 • Note that here the extreme left interval (6.2.7) is in-
complete. We shall prove that it can be thrown out with a permissible error in
thenumberofsolutions. Considertheequationn = 11D' + g2 +17 2,whereD'is
repeated -r'fc(D') times, v E [P, P/(ln n)K1-i]; let us estimate the number of its
solutions. An estimate for this (cf. (1.1.7)) is
B(ln n) 2K 2 -r(n - vD) = B(ln n) 2K+ 2 2 ~, (6.2.8)
D<nlv (v) 'II
qD<n ~
98 ANALOGUES OF A HARDY-LITTLEWOOD EQUATION [CHAP. VI
Summing this estimate over all intervals (11), the number of which is obviously
B(ln n)Ki+i, we obtain the total estimate
Bn(ln n)-<112>K1. (6.2.10)
We can replace the condition D' <
n/11 by D' <
n/110 in the same fashion.
That is, if n/11 ~ D' ~ n/110 , then we have the following estimate for the number
of solutions with 11 E (11):
12
B(ln n) 2K 1 T(n - 11D) = Bn(ln n)2K+l ~.
n/(v 0 -v 0>;;.n•;;.nf•o 11~
3. The Case k = 6
In the case k = 6 we need to separate from the interval of values of 11,
p < 11 <nits, (6.3.1)
one part which hinders subsequent calculations. This part is
n116 exp -(ln n )112 < 11 < n116. (6.3.2)
Consider the class A' of numbers X' of the form (6.2.5), where 11 belongs
to the interval (6.3.2). All the other prime divisors of X' are at least as large
as 11, so X' has < 6 prime divisors, one of which obeys (6.3.2), and Ti(X') =
T6(X') = B. Let us calculate the n.s.e. (6.2.1) for such numbers. This reduces
to finding the n.s.e.
;z + 'Y/2 + vy = n, (6.3.3)
where y has <5 prime divisors. By Lemma 1.3.2, we obtain the number of
solutions B(n/11)(ln In n) 2/ln n for a given prime 11 under condition (6.3.2).
Summing over 11 under condition (6.3.2), we obtain the total estimate
(6.3.4)
5. Determination of A(n, D)
Let us now turn to equation (6.1.3); then the examination of(6.1.1) will not
differ substantially, but we shall still return to it. On the basis of the results of
§§ 2 and 3, we have reduced the problem to the study of
n = ~2 + r; 2 +'PD', (6.5.1)
where
odd. We begin with the case n even. Let D be a prescribed odd number,
D ~ n/v0 • Consider the equation
n = e + 'Y} + vD,
2 2 (6.5.3)
where e + 'YJ
2 2 is odd. The n.s.e. (6.5.3), as is well known, is
4 !xiq)
g,,;n n-Dv=O(modg)
2 L (6.5.4)
For the heuristic determination of A(n, D), we terminate the summation over q
with q > p 1 ' 3 , and for q ~ p 1 ' 3 we proceed as if we knew that the number of v
e
such that v E (v), v = (mod q), (e, q) = 1, were given by a formula with main
term
~ (6.5.5)
cp(q)
It may be observed that in doing this we are acting as if we were certain of the
truth of the extended Riemann hypothesis. But in finding A(n, D) any heuristic
means are applicable, since a choice of A(n, D) will be justified only if the dis-
persion V' (cf. (0.2.6)) is small, permitting us to proceed with the dispersion
method.
Next we formally extend to infinity the series obtained, containing q, and
take the resulting expression as A(n, D). Let us examine the construction of
A(n, D) more closely. Let
n = 2"pf•p:• ... pf' (µ > 0) (6.5.6)
be the canonical factorization of n. For each Pi (i ~ t), let tl.i ~ 0 be such that
p~iii D. (6.5.7)
The set of numbers {tl.1, tl. 2, ••• , tl.t} enters into the definition of D. Consider
the congruences
n - Dv = 0 (modqP) (p > 0); qP < p 113 (6.5.8)
for prime q. We can suppose q is odd, because n - Dv is. If (Dn, q) = 1, then
compare the expression
(6.5.9)
with (6.5.8).
I
Ifq D, q -r n, then (6.5.8) has no solutions. Ifq D, q I
then, in accordance In,
with (6.5.6) and (6.5.7), let q =pi, tl.i > 0.
Let tl.i < pi; then when p ~ tl.i, compare (6.5.8) with the number Li_; if
p > tl.i, the congruence has no solutions.
If tl.i > Pi• then when p ~ Pi• compare the congruence with Li; for p > Pi
there will be no solutions.
Sec. 5] DETERMINATION OF A(n, D) 101
For example, let Pi= Ai. For p ~ Pi• compare our congruence with the
number L1, and for p > Pi• with the number
Li - Li (6.5.10)
<p(qP-Pi) - qp-p;-i(q _ 1) .
Li(1-xiq))-i(1
q
+ xiq) ).
q(q - 1)
(6.5.11)
I
For the case q D, q -r n, only the term L1 will be involved in the formation of
A(n, D); it is convenient to write L 1 in the form
L
i
= Li (1 - xiq))-i(1
q
+ xiq) 1))<1 + ~)
q q - ( q '
(6.5.12)
where
1 + ~ = (q - l)(q - xiq)) = 1_ qxiq) (6.5.13)
q q 2 - q + xiq) q2 - q + xiq)
Next, for Ai < p, in accordance with the above remarks, the number q is
compared to the expression
(6.5.14)
for Ai > Pi it is compared to
1= (1 - x4(q))-i(1
q
+ xiq) )<1 + ~q),
q(q - 1)
where 1 + ~q is defined in (6.5.13).
Now observe that
:: =
4
rr(1 -
q>2
xiq))-i,
q
Ao=
P>2
IT (1 + X4(q) )
q(q - 1)
(6.5.17)
102 ANALOGUES OF A HARDY-LITTLEWOOD EQUATION [CHAP. VI
(cf. (6.1.6)). To obtain the expression for A(n, D), we multiply together Li and
the coefficients of Li in (6.5.11), (6.5.12), (6.5.14)-(6.5.16), depending on the type
of prime q, over all primes. Thus we suppose
A(n, D) = 7TAcL1 II (1 + ~ 1,) II (1 + ~P)(l + 17(pi, Ai)), (6.5.18)
PID p;ln
p-f'n
where
I+n<pi,ai)
1 + x4(pi) + ... + xNPi) for A; < p;,
= { 1 + xiP;) + ... + xNP;) for A;> p;, (6.5.19)
. P·XP;+l(p-)
1 + xiP;) + ... + x~;(p;) + ' 4 ' for A; = P;·
(p; - l)(p; - XiP;))
Thus the construction of A(n, D) for even n is complete. We see that it is rather
unwieldy even for the present case of the simplest kind of quadratic form,
<p = x2 + y2.
Now we consider the case n odd. In this case ~2 + 'YJ 2 in (6.5.1) must be even.
For prescribed A = 1, 2, 3, consider
n = (e + 'Y] )2;,. + vD, e + 'Y]
2 2 odd, (6.5.20)
instead of (6.5.3); here Dis odd; v and D satisfy the conditions introduced
earlier. For this case we introduce
Al(n' D) = A(n,;,.
2 D)
(6.5.21)
which will be a permissible error term in the estimate for the dispersion. The
fundamental equation of the dispersion method (cf. (0.2.14)) for vi -:;6 v2,
(viv2, n) = 1,
vi(x2 + y 2) - v2(z 2 + t 2) = n('1'i - v2);
x2 + y 2 = z 2 + t 2 = 1 (mod 2) (6.6.2)
automatically guarantees that (n - (x2 + y 2))/v2 is an integer which, obviously,
is odd; it must belong to (D).
Note that since x 2 + y 2 and z 2 + t 2 are odd, the left-hand side of (6.6.2) is
= vi - v2 (mod 4), whence (n - l)(vi - v2) = 0 (mod 4), and since n is even,
vi - v2 = 0 (mod 4). By § 3, vi ~ n116 exp -(ln n)112 . In view of this, by
Lemma 2.10.1 of Chapter II, the number of solutions of (6.6.2) is equal to
(6.6.5)
(6.6.6)
the number of solutions of(6.6.5) can be neglected with a permissible error in the
number of solutions. For given vh v2, the n.s.e. (6.6.5) is estimated by
B~ T(X}r(Y), where viX - v2 Y = n(vi - v2)/2A; (n - 2AX)/v2 E (D). Here Xis
in an arithmetic progression with common difference v2. Further,
B~ T(X)T(Y) = B~ T 2(X) + B~ T 2(Y).
I
Apply Lemma 1.1.5, taking into account the fact that 2A vi - v2, Yi -:;6 v2, so
that 2A < nits. Hence we obtain
B D 2 (In n)4< 2, 2 > (6.6.7)
2-<
104 ANALOGUES OF A HARDY-LITTLEWOOD EQUATION (CHAP. VI
as an estimate for the required number of solutions. Summing this estimate over
all v1 , v2 such that 'I'; E (v), v1 ":/:- v2, v1 - v2 = 0 (mod 2;.), we obtain
Summing this expression over all A under condition (6.6.6), we obtain the total
estimate
(6.6.8)
If
2;. .,;;; (ln n) 0 (6.6.9)
(the opposite of (6.6.6)), then we again apply Lemma 2.10.1 to equation (6.6.5),
taking into consideration the fact that v;.s;;; n116 exp -(ln n)11 2. The number of
solutions of(6.6.5) under the relevant conditions, in particular, for (vi. v2 , n) = 1,
is
(6.6.10)
Now we need to sum (6.6.3) and (6.6.10) over the relevant values ofv1 and v2 •
We begin with (6.6.3) (son will be even). Let the canonical factorization of n be
given by (6.5.6). Formulas (6.6.3) and (6.6.10) are not valid for 1 v In v In;
or 2
since v; > exp (ln n)"o (cf. (6.5.2) and (6.4.4)), there will be B ln n such values of
"';· When we sum over v; in (6.6.3) and (6.6.10), these values contribute a total
error of the form (6.6.8), as is easily seen. On the other hand, when v; In,
the
number of solutions of (6.6.2) under the corresponding conditions, by Lemma
1.1.4, does not exceed BD2(ln n)a<2.2>, and the total number of solutions over all
v; In, on the basis of the above, does not exceed
(6.6.11)
an analogous estimate holds in the case of equation (6.6.5). Thus in (6.6.3) and
(6.6.10) we can sum over all v1 , v2 ; v1 ":/:- v2, v; E (v), v1 - v2 = 0 (mod 4) in the
case (6.6.3), and v1 - v2 = 0 (mod 2.i.+ 2) in the general case.
Put M = (v1 - v2 )n. By Lemma 1.1.7,
Therefore (6.6.10) (for A~ 0, i.e., including (6.6.3)) can be written in the form
(6.6.13)
Sec. 6] DISPERSION OF THE NUMBER OF SOLUTIONS 105
Let <\ <exp (In ln n)3 be an odd number. Consider the number of pairs
v1 , v2 such that vi E (v); v1 -:;if. v2 ;
(6.6.14)
If Cl1 < (ln n)°1 (C1 is an arbitrary constant), then the number of pairs (6.6.14) is
to the sum (6.6.13). Hence we see that if we-extend to oo the series arising from
the main terms of (6.6.17), and replace the sum in (6.6.13) by this series, an error
of
(6.6.18)
8D 2 L~ ( 00
1 ) 00
1 (6.6.19)
22Hl L Pm <p( Pm) II P(=O
II m=O
'.l>fn
L Pia·'<p ( Pi'a)' '.l>iln
p>2
where <Ji = max (0, Pi - p;). This form is more convenient for computation.
106 ANALOGUES OF A HARDY-LITTLEWOOD EQUATION (CHAP. VI
(6.7.2)
(6.7.3)
Further
Thus,
(1 - 1)- Pi'=O
p~
! ' 1 = 1- 1/pf!i+l(
co
pf' <p(p'f')
• 1 - 1)
1 - 1/pi
- +---
1
Pi'+ (pi - 1) p~ 1
= (pf•+l - 1)(pl - 1) + .1
pf'+ 2(Pi - 1) pf'+ (Pi - 1)
1
8. Calculation of V 3
Now we need to obtain an asymptotic approximation for V3 and show that
(6.8.1)
We have
(6.8.2)
Here A(n, D) is given by (6.5.18) for the case A = 0, and by (6.5.21) for general
A ;;;;,: 0. Redenoting A1(n, D) in (6.5.21) as A(n, D), we obtain
We need to sum (6.8.4) over the odd values DE (D) = [D1 , D1 + D 2]. Before
doing this, divide these D into categories {~1 , ~ 2 , ••• , ~ 1 } (cf. (6.5.7)); here
pt• II D, pP• II n. From (6.8.4) it is evident that in each category {~i. ~ 2 , ••• , ~ 1 },
only ITPID; P-tnC 1 + 2$i> + $!) depends on D; therefore we consider
(6.8.5)
D
__!
2
1
IT -.
i=1 pt•
1(1 - -1) + Pi
BT(n). (6.8.9)
we deduce from (6.8.8), (6.8.9) and (6.8.10) that summation of (6.8.4) over
DE {~ 1 , ••• , ~t} gives the result
(6.8.12)
Summing (6.8.12) over the categories {~ 1 , ••• , ~t}, the number of which,
clearly, does not exceed T(D) = B.n•, we obtain the estimate
B L2 D2 n-so/3 (6.8.13)
so 1 22.1. •
!
(q); q,,;;;n
Eq
D =O(mod q)
! 1. (6.8.16)
De{a., ... , a,}
This last sum is equal to
!
(q);q..;;;n
(D
Eq ~II-
t
2q
1( P;1) + BT(n)).
1- -
Pt' i=1
(6.8.17)
D2 IT -4.(1 - .!.)Pi
2 i=l Pi '
!
(q); n,,;;; (Inn)
o Eq .
q
(6.8.20)
Sec.9] CALCULATION OF THE PRODUCT OVER PRIMES IN V3 109
By (6.8.15),
(6.8.21)
Next
L Eq = IT (1 + 2 ~" + ~).
q
(q) pfn p p
p>2
D22 IT Pi:,(1 -
i=l
l) IT (1 + 2 ~" + ~;) + BcD2 (~~ n)-c1:
Pi 21-tn P P Pi · · · Pt
1
• (6.8.22)
,,>2
Here condition {6.8.14) was assumed. Ifwe negate this hypothesis, then (6.8.22)
has the trivial bound
BD 2 4
1 4
.
,
IT Pi4, > n~o . (6.8.23)
P1 1 ···Pt'
Now put (6.8.22) in (6.8.2), add up the errors (6.8.12), (6.8.13), (6.8.18),
(6.8.19) and (6.8.23), and sum over all systems {~ 1 , . . . , ~ 1 }. We obtain
V:3 = ""
,(...,
(A(n ' D))
•
2 1T2A~ D 2L12 IT
= 22.<+1 (1 + 2 ~" + ~!) IT (1 + ~"•.)2
D1<;;;D,.;;D1+D2 pfn p p P;ln
Dodd p>2
Thus the first term on the right-hand side of (6.8.24) can be rewritten in the
form
2 + 1
D 12 II p - p IIl>
2 3
7T
(6.9.2)
22.Hl 21'0 i»2 p2( p - 1)
where
II1 =II c1 + ~'/);)2 2 (1 - ~ ..!..A; c1 + 'YJ cp.,. ~-))2
..!.)
£.., • . (6.9.3)
'Piln 1 + 2~'/))Pi + ~'IJ;/P, Pi 11,=o Pi
To simplify the notation, we shall drop the index i from the term of II 1 which
corresponds to the prime pi, and also from ~i (and from Pi in formula (6.5.19)).
By (6.9.1) and (6.5.13) we have
(1 + ~'/))2(1 - (1/p)) = p2(p - 1) (p - 1)2(p - xiP)) 2( 1 _ .!)
1 + U'IJ/p + ~!IP Pa - P2 + 1 p2(p - 1)2 P
_ (p - 1)2(p - x4(p)) 2
(6.9.4)
- p(p3 - p2 + 1)
We need to multiply this expression by the sum
00 1 2
!
A=O
&(1
p
+ 'YJ(p,~)). (6.9.5)
II
In studying this sum, we take into consideration the fact that pP n, p > 0, and
distinguish three cases: 1°. xip) = -1, p odd; 2°. xip) = -1, p even;
3°. xip) = +I. Let us begin with case 1°. By definition (cf. (6.5.19)), we have:
When~< p,
o when ~ is odd,
1+11(p, ~) ={
I when~ is even.
When~> p, 1 + 11(p, ~) = 0 (p odd). When~= p, 1 + 11(p, ~) = p/(p2 - 1).
Therefore, in case 1°, (6.9.5) is equal to
d=O
10. Calculation of V2
We now need to calculate V2 and show that
V2 = V1 + Ba1D 2v~2(ln n)-a1. (6.10.1)
For equation (6.5.20),
L U(n - Dv)A(n, D). (6.10.2)
De<Dl
Dodd
We seek an asymptotic approximation for the inner sum in (6.10.3) for a given
category {~ 1 , ••• , ~t} of values of D.
For q square-free and relatively prime to n, put gq = IlP!a gp· By (6.8.6),
(6.10.4)
If (q) is the totality of these numbers, then the inner double sum in (6.10.3)
can be rewritten as
L L gq L U(n - Dv). (6.10.5)
v e(v) q e(q);q,,.;n De {&1, •.• ,4tl
D= O(modq)
~ T ( n - d p 141
B £.. ... ~ 1 -- B ,n•
Pt41 qv) -- B ,n• £.. 4
D2 4 (6.10.8)
de(d) dE(d) P1 1 ·Pt 'q
• •
If q > n< 0 , then because of(6.10.4), summing in (6.10.5) over all suchq, we obtain
the estimate BD2 Li_n-< 0 t 2/p~ 1 ... pf•, which gives the estimate BLiD2 n-< 013p~1
... pf• in (6.10.3) and, summing over all categories {d1, . . . , dt}, taking into
account the coefficients (1 + 'YJ(p, d)), we get B(D2/2")Lin-<o1 4 _ If p~ 1 . .. pf• >
n<o, then, summing (6.10.8) with coefficients of(l + 'YJ(p, d)), we find the estimate
BD2n-<onLi_, and then, summing over v, we again arrive at the previous estimate:
B D; L~n-se/4. (6.10.9)
2
Thus we can assume condition (6.10.7). Let us consider the sum (6.10.6).
Here at first put d 2 = d 3 = ... = dt = 0. We have, for DE {d1 },
L U(n - dpt 1qv) = L U(n - xpt 1qv) - L U(n - x 1 pt 1 +1qv), (6.10.10)
dE(d) (z) (z1)
where D1 < xp~ 1 qv < D 1 + D 2 ; D 1 < XiP~ 1+Iqv < D1 + D 2 ; x, x1 run through
the integers.
Consider the corresponding equation:
~T
B £., (n- - xv4 1q ) D 2 lnn
= B-4-1 - . (6.10.12)
(o:) V V1 q
<
Summing overq n<o and over v in (6.10.5), we obtain the result: BD2(ln n)2/v~ 1 .
Summing over d 1 ~ 1 in (6.10.3), we obtain the error
(6.10.14)
Since p~ 1 , q, 'II are odd and relatively prime, the total number of solutions of this
congruence is equal to
Q(n, p~ 1 ) IT Q(n, p),
Plqv
where Q(n, r) is the total number of solutions of $2 + rJ2 = n (mod r) (cf. the
table of § 3, Chapter I).
Similar arguments may be applied to the second term on the right side of
(6.10.10). Because of (6.10.7) and the fact that v ~ n1 16, we find, after an ele-
mentary calculation, that
D D -s.
! U(n - xpt 1qv) = .i. ; 2
2 24 Q(n, p~ 1 ) IT Q(n, p) + B 2 "+1 2q~p 24 '11 . (6.10.15)
(z) 2+qp 1 '11 p]qv 1
D -h
+B 2n . (6.10.16)
2-'+1q2piA1 ... p~At'JJ
7T D2 IT
2.t+l q plqv
(1 - xiP))
4
ITt
.
i=l
[-1
Pi
2A;
Q(n
'
~')
Pi
- _1_
Pi
2A;+2
Q(n
'
A;+l)J
Pi
(6.10.17)
for (6.10.16). Then 1 - xiv)/v can be replaced by 1 with the permissible error
B/v = B exp - (ln n)<Y. 0 • Taking (6.10.4) into account, we see that, after multi-
plying (6.10.17) by $q and summing over q and v, we obtain the error
! ~(1
(q) q
- xiq)).
q
(6.11.1)
where (q) is a set of numbers which are square-free and relatively prime to 2n.
By (6.5.13) (where q is assumed to be prime) (6.11.1) is equal to
X [ _1
2•.
Q( n, Pi4;) - _1 _ Q( n, Pi4;+1)]
2•. 2
+ B C1 D 2Vo'2(In n)-0 ' 1 (6.11.3)
Pia, Pia,+
and by the definition of A 0 , the product over primes on the right side of (6.11.3)
can be rewritten as
x I [(Pi!
4;=o
4; Q(n, Ph - 2~;+ 2 Q(n, Pt;+l))J.
Pi
(6.11.4)
p3 _ p2 +1 (pP+l _ 1)(p2 _ 1) +p
II
1'>2 p2(p - 1) II
1JPJln pP(p3 - p2 + 1) · (6.11.5)
116 ANALOGUES OF A HARDY-LITTLEWOOD EQUATION [CHAP. VI
where v and D' run through the values described in § 3, has the form
V' = Ba1D2L: (In n)-a1+2K. (6.12.2)
L~ (r + l)(ln n)-2°K ~ I !
2 ve(vl
U(n - D'v) - A(n, D') I
(6.12.3)
Clearly
(6.12.4)
Here each value of D' is repeated B(ln n) 2K times (cf. § 2). From (6.12.2),
(6.12.5)
!'
D'e(D)
I! ve(v)
U(n - D'v) - A(n, D') I· (6.12.6)
where the accent on the outer sum indicates that it is over D' which correspond
to the given r. By (6.12.3) and (6.12.5), it does not exceed
IL
ve(v)
U(n - D'v) - A(n, D') I= BL~ (ln 2
n)- 2°K. (6.12.8)
L L U(n -
D'e(D) ve(v)
D'v) = L
D'e(D)
A(n, D')
+ B( L
D'e!D>
1) L1 (ln
2'-
nr20K + BD2 Li (ln nrsoK.
2'-
(6.13.1)
Here all prime divisors of q are greater than v0 • If 17(p, ~) = 0, then IYPI < 2/p
by (6.8.6); if 17(p, ~) =;6 0, then p Jn; ~ = I,p > v0 • Taking this into con-
sideration, with the help of Lemma 1.1.8 we easily obtain
B D2(ln n)-ioK
L
D'e!D)
1= 2'" . (6.13.7)
D'"'Ocmodq)
Thus (6.13.3) gives
L 1 + B~2 (In n)-10K. (6.13.8)
D'e(D) 2
118 ANALOGUES OF A HARDY-LITTLEWOOD EQUATION (CHAP. VI
Hence
1 1
D'eW) VE(v)
U(n - D'v) = 71" A; II (p 2-
2 nl 1'
l)(p - xip))
p - p + xiP)
L D'e(D)
1( 1 1)
For even n, such a form for the number of solutions is obtained without summa-
tion over A.. Taking into account the errors determined in § 2, and summing over
the intervals (v) and (D), we obtain
for the number of solutions, where 'II runs through that interval. With
errors of (6.4.2) and (6.4.3), we can replace L(v;p);vp=n 1by2Lp1 p2 .;;n;p 1 .;;-v;i 1,..._,
n In ln n/ln n here.
Since cx0 is arbitrarily small, we obtain formula (6.1.5). We remark that the
asymptotic expression (6.1.5) has a poor error term. As will be seen in Chapter
VII, it is possible to obtain the error term Bn(ln n)-i.028 •
CHAPTER VII
119
120 A PROBLEM OF HARDY AND LITTLEWOOD [CHAP. VII
Note that TI'.Pln = B In Inn; (II'.P 1n)-1 = B In Inn in formula (7.1.4). In this
chapter we shall essentially reproduce papers [16] and [15] in a slightly different
form.
The numbers of solutions Q~(n), Q;(n), ... , Q;Jn) of equations Y~, Y;, ... , Y;,
were considered in Chapter VI. From (6.1.9), (6.1.10) and (7.2.3), keeping the
notation of (6.1.8), we get
Put q1 ••• qk = d. For given k < 5, we separate equations (7.3.4) into two
classes:
CLASS I. A1: d < nr, where = 0.001,T
CLASS II. An: nr < d < n.
We shall show that the equations of class An can be neglected. We shall
prove the lemma:
LEMMA 7.3.1.
(7.3.6)
Let (d) denote the totality of numbers d satisfying the above conditions.
Then (7.3.7) cannot exceed
(7.3.8)
By Lemma 1.1.2,
2 h(x)) 2 = B(ln n)a 1 2 ~ = B(ln nt n 2 Tim) = Bn(ln n)a 1 2• (7.3.9)
dxo;;;n dE(d) d m,,;;n m
de(d)
Put S = S 1 + S2 , where
S1 = 2
n-r :s;;,;;d~n0.98
; S2 = 2
n0.98::;:;;;d~n
(7.3.11)
dE(d) dE(d)
In the last sum di d2 is taken without repetitions; the repetitions are accounted
for by the factor Tidid2 ). Further, Tidid2) = BTk(di)Tid2 ).
Therefore, (7.3.12) does not exceed
2
d 1 m~n
T(n - dimMdi)Tim). (7.3.13)
d 1 E(d)
(7.3.14)
Next,
1
2 (Tim)) 2 = Bn(In nt 3 2-. (7.3.15)
dim.;;n di d
Thus it is sufficient to study only q1 ••. qk .;;;;; nT = n°· 001 in the formula (7.3.5)
for Qfc(n).
We are interested in the sum
(7.4.1)
Let Q12>(n) denote the part of the sum (7.4.1) which corresponds to numbers
q1q2 ••• qk such that
(7.4.2)
and denote the part of (7.4.1) for which q1q2 ••• qk < d0 by Q1°>(n). We have
(7.4.3)
The study of Q1°>(n) is the more difficult, and we shall postpone it. We now
examine Q12 >(n) with the help of the dispersion method.
Divide Q12>(n) into two sums: Q12·+>(n) where µ(q 1)µ(q 2) ••• µ(qk) = +l,
and Qk2·-l(n), where µ(q1)µ(q2) . .. µ(qk) = -1. We shall seek asymptotic
approximations for Qk2 .+>(n) and Qk2 ·->(n) separately, beginning with Q12·+>(n);
Q12 ·->(n) will be investigated in a completely analogous fashion. Qf·+>(n) is the
n.s.e.
(7.4.4)
< <
where d0 q1q2 ••• qk nT; µ(q 1)µ(qJ ... µ(qk) = + 1, qi E Ap.
Divide the basic interval [d0 , nT] into parts of the form I 0 : [tn0 , n0 ] (combining
the extreme left parts). We know that q1 •.. qk E Ap, and therefore when n0 is
large (for example, when it is close to n the number of q1 . . . qk E I 0 is small.
7
),
Separate off those segments I 0 where the number of these numbers is >
n0 /(ln n)K•. In the remaining-"irregular"-intervals I~, the number of q1q2
... qk is Bn/(ln n)K•. Let us estimate the n.s.e. (7.4.4) for q1q2 ••• qk EI~.
For given I~, it has the bound
where K7 > K 6 /2 provided K 6 was chosen larger than 2a4 • Summing (7.4.5) over
all the bad intervals I~, we obtain an error of
Bn(ln nrK• (7.4.6)
in the corresponding n.s.e.
Sec. 5] THE NONIRREGULAR INTERVALS 125
through the integers; q runs through only those numbers q E Ap which have
exactly r - I prime factors satisfying condition (7.5.1), and which are further-
more such that in the representation vq1 ••• qk, µ(q 1) ••• µ(qk) = I. As v varies
in (v0), the boundaries of variation of the q can change, but none of their other
properties change.
The numbers v run through all primes in (v0).
We shall apply the dispersion method to the equation
n = g2 + 'Yj 2 + D'v; D' E (D 0 ); v E (v) 0 • (7.5.7)
For given D' we get (cf. (6.5.18)),
A(n, D') = 7TL1A 0 II (1 + gP) II (1 + gP)(l + 'YJ(P;, ~;)), (7.5.8)
P/D' p;jn
where Li is the number of primes in (v0), and the symbols gPi and 'YJ(p;, ~;) are
explained in (6.5.13) and (6.5.19). Here n is assumed even; for odd n, as in
Chapter VI, we need to study
n = (g2 + 'Y/2)2" + D'v; g2 + 'YJ 2 odd (7.5.9)
<
instead of (7.5.7) (here 2" (ln n) 0 ). Then we must multiply (7.5.8) by 2". For
the time being we shall consider even n.
The dispersion method can be applied to (7.5.7) just as it was in Chapter VI
for the analogous equation. The only difference is that here there may be
considerably more repetitions of the odd numbers D'. Because of this we need to
apply the method of§ 2, Chapter IV. Let p(D') be the number of repetitions of
D' in equation (7.5.7). Let p(D') > (ln n)Kio. On the basis of Lemma 1.1.5, we
deduce that an estimate for the number of solutions of (7.5.7) corresponding to
such D' is
(7.5.10)
Here we can suppose that K9 > 100K10 • For the remaining solutions, p(D') <
(ln n)Kio. The dispersion method can be applied to them as in Chapter VI. Then
we find that the number of solutions of (7.5.7) is
I A(n, D') + BD 2L1(ln n)-K 2, 1 (7.5.11)
D'e<Do>
where A(n, D') is given by formula (7.5.8). For even n this is obtained by
applying the dispersion method to equation (7 .5.7), and for odd n, by applying
it to (7.5.9) and summing over .il such that 2" (ln n)°. <
6. Transformation of the Number of Solutions
Expanding (7.5.8) with respect to all primes, putting A 0 =
IIP (1 + xip)/p(p - I)), 7T = 4(7T/4) = 4IIP (1 - xip)/p)-1, we obtain
00
where y(r, n, D') results from the multiplication together of all quantities in
(7.5.8) which correspond to powers of primes dividing r.
Let
r0 = exp (ln ln n) 4 • (7.6.2)
Consider
! ! y(r, n, D'). (7.6.3)
D'e(Do> r>ro
Now Mus turn to § 5 of Chapter VI, where the quantity A(n, D) was intro-
duced. From the discussion there it is clear that when r < (ln n}°, the expression
£iy(r, n, D'), obtained from the expansion of the products over primes in
A(n, D'), is the product of 4xir) by the main term of the number of solutions of
the congruence n - D'v = 0 (mod r) for fixed D' and v E (v0). Note that here
v0 >exp (ln n)"'•'10 ; ln v0 > (ln n)"'•' 10 • By Lemma 1.6.3, for any C > 0 and r <
(ln n)°, the n.s.e. n - D'v = 0 (mod r), v E (v0), has the main term £iy(r, n, D')
and an error term of the form
(7.6.6)
Hence
y'
L 1 y(r, n, D') = xh)N(vD' = n (mod r); v E (v0)) + B .....!! (ln n)K s,
1 (7.6.7)
r
if r < (ln n)Ku.
For the purposes of later computations we should like to obtain formulas
similar to (7.6.7) for
(ln n)Ku < r < r0 = exp (ln ln n) 4 • (7.6.8)
Under condition (7.6.8), the main term, as before, has the form £iy(r, n, D');
the error term, however, has the form B(v0/r)(ln n)-K1s only when among the
I
primitive real characters xP(m) for p r there are no exceptional characters, the
corresponding Dirichlet series L(s, xp) of which have exceptional (Siegel) real
zeros aP,
<Ip > 1 - .!l.L . (7.6.9)
ln p
128 A PROBLEM OF HARDY AND LITTLEWOOD [CHAP. VII
Here
do< q1 · · · qk < n'; µ(q1)µ(q2) • · · µ(qk) = -1. (7.6.18)
Thus, returning to (7.4.3), we find that
Q~2 >(n) = 4 ! xk) ! µ(q1)µ(q2). · · µ(qk).
r~ro do<l'11 ... qk~n-r
N(q1 ... qkxl ... xk = n (mod r); ql . .. qkxl .. . xk < n) + Bn(In nrK 18 •
(7.6.19)
N(q1 ... qkx1 . .. xk = n (mod r); q1 ... qkx1 .. . xk < n) = Bn(ln n)-K 19 •
(7.7.1)
Here it is assumed that q1q2 ... qk E Ap.
When n' < q1 . . . qk < n, we have
N(q1 ... qkx 1 ... xk = n (mod r); q1 ... qkx1 ... xk < n)
B Tk(q)Tk(x). (7.7.2)
qx=n(modr)
qx~n,qEAp
For any q E Ap, q > n', one can obtain the factorization q = q1q2, where
n'l2/p < < ..rrzP.
q1 Further,
Tk(q) = Tiq1q2) < Tk(q1)Tiq2),
Tiq)Tix) < Tk(q1)Tiq2), TiX) < Tiq1)T!(q2x).
Put q2 x = y; then for given r the right-hand side of (7.7.2) can be written as
(7.7.3)
<
Here r r0 • Let (q, r) = c5; then the sum in (7.7.3) has the estimate (see
Lemma 1.1.4)
(7.7.4)
130 A PROBLEM OF HARDY AND LITTLEWOOD [CHAP. VII
Let q1 = q~ <5; since <5 J r, r ~ r0 , and q1 > nT 12 , q~ > nT 14• Further, Tk(q1) ~
Tk(q;)Tk(b), and for given b, (7.7.4) can be written as
Qk >(n) = 4 !
2
r:s;;;ro
X4(r) L
do<Q1 ... O'k:s;;;n
µ(q1)µ(q2) · · · µ(qk) ·
8. Investigation of Qk0>(n)
Let us return to formula (7.4.3). We were able to obtain an asymptotic
expression for Qk2>(n); now we shall study
(7.8.6)
LB= 4 ! µ(q1)µ(q2) .. . µ(qk) ! xlP) 1;
q1 ••• qk.;;;d0 v';;-n1 1 .;;;p.;;;v'nn1
(7.8.7)
!c=4 ! µ(q1)µ(q2) ... µ(qk) ! x4(p) ! 1.
v';n 1<p<n
(7.8.8)
We need to put the sum ~c in a more convenient form. Putting
q1 · · · qkxl · .. xk = n - pl..,
we get
!c=4
1- !
q, .•. q,.o:, . ··"°k,,;;n-.i.v'nn1
- 1) ·
(7.8.9)
q 1 . . . q,.o: 1 .•• zk=n+.<(mod4?.)
Qo
X=-- n-1..(mod4--
- (Q, A.)
A. )
(Q, A.) '
(7.8.12)
n+A.( A. ) (7.8.13)
Q0 X = (Q, A.) mod 4 (Q, A.) .
132 A PROBLEM OF HARDY AND LITTLEWOOD {CHAP. VII
( (Q,
~ 4 __J:__)
A.) ' (Q, A.)
-- (~
(Q, A.) '
4-A. )
(Q, A.) .
(7.8.16)
Since (n - A.)/(Q, A.) and (n + A.)/(Q, A.) are odd, this is immediately verified.
(7.8.14) and (7.8.15) are to be solved with the restriction that
(7.8.19)
by a lemma of Chapter I.
Hence we can suppose
9. Investigation of !B
We shall leave ~..t and ~c for the time being and work on ~B· This sum will
be treated by a combination of the dispersion method and the remarkable ideas
of Hooley (see [43]).
We shall need the following lemma.
LEMMA 7.9.1.
"" -B n (7.9.1)
£..B - (In n )I+ro '
where
To> 0.028. (7.9.2)
Sec. 9] INVESTIGATION OF :l:B 133
(7.9.9)
where oc2 < 10-10 •
CLASS II. Au: all prime factors of X are either <d1 or >n1 f 6--eo.
We shall apply a slightly modified version of the dispersion method to the
case XE Ar. Subdivide the numbers XE Ar into s ~ Inn systems A•>, having
exactly s prime factors of the form (7.9.9). Then X in A•> can be written in
exactly s ways in the form
X= vq, (7.9.10)
where v satisfies (7.9.9) and q is to be counted sTiq) times. When XE A•>,
equations (7.9.5) and (7.9.7) can be written in the form
xy + D'v = n, (7.9.11)
134 A PROBLEM OF HARDY AND LITTLEWOOD (CHAP. VII
where D' = q1 ••• qkq is counted the appropriate number of times, D' runs
through the system of numbers established above (with repetitions), and
D' ~ n/v.
Furthermore, x and q1 ••• qk satisfy conditions (7.9.6). An analogous equa-
tion replaces (7.9.7). Next, by finding the usual upper bounds, we see that we can
neglect the solutions of (7.9.11) furnished by D' for which -rk(D') > (In n)K26,
and keep only those D' which are counted no more than
B(ln n)K 26 (7.9.12)
times in equation (7.9.11).
Let us make further preparations for the application of the dispersion method
to equation (7.9.11) and the equation analogous to it. Divide the interval of
variation of v into intervals (v0): [v0 , v0 + v0(ln n)-K21]; correspondingly, divide
theintervalofvariationof D'intointervals(D0): [D0 , D0 + D 0(lnn)-K21]; with
the usual error in the total number of solutions, we can limit ourselves to these
intervals, and consider v E (v0) and D' E (D0) independent.
U 2(m) = 2 1. (7.10.2)
m=:i:11
ze(X); 11e(Y),,
:r=-l(mod4)
The dispersion method will be applied here in the form described in § 3 of the
Introduction, where the concept of the covai-iance of the number of solutions is
applied (cf. (0.3.26)-(0.3.36)). Form the dispersion of the difference between the
numbers of solutions (cf. (0.3.26))
V= L (ve(vo>
<Do>
L U 1(n - Dv) - U 2(n - Dv)) 2
,
(7.10.3)
where D runs through all odd numbers of the interval (D 0 ), once each; v runs
through the primes of (v0). We have
V= L (ve(vol
(D 0 l
L U1(n - Dv))
2
L (ve(vol
+ <Do> L U 2(n - Dv))
2
-2 2 (ve<vol
<Do>
2 U1(n - Dv)) ( 2
ve<vol
U 2(n - Dv)). (7.10.4)
Sec. 10] SOLUTIONS OF THE AUXILIARY EQUATIONS 135
Designate the three sums appearing in(7.10.4) as Vi, V3 , and -2V2, respec-
tively. In§ 3 of the Introduction, V2 was called the covariance of the numbers of
solutions of two equations of the form (7.9.11). By the usual arguments of the
dispersion method, we establish that with an error of
B 2 2 [(U1(n - Dv)) 2 + (U2(n - Dv)) 2] = Bv~D 2(1n n)a•
ve(vol <Do> (7.10.5)
we can equate V1 to the n.s.e.
(7.10.6)
under the conditions
XE(X); ZE(X); yE(Y).,; !E(Y)z;
x =1 (mod4); z =1 (mod4), (7.10.7)
where the pairs (x,y) and (z, t) vary independently; (n - xy)/v 2 E (D).
Next, with the same error, V3 is the number of solutions of (7 .10.6) under the
conditions
x E (X); z E (X); y E (Y).,; t E (Y)z;
x =-1 (mod 4); z =-1 (mod 4), (7.10.8)
and the pairs (x, y) and (z, t) vary independently.
With the same error, V2 is the n.s.e. (7.10.6) when
XE(X); ZE(X); yE(Y).,; !E(Y)z;
x = 1 (mod 4); z = -1 (mod 4). (7.10.9)
The last n.s.e. must be doubled and subtracted from the sum of the preceding
ones. By Lemma 2.8.1, we get as a result
V = BD 2 LWn nrK 28 • (7.10.10)
Here D 2 = D 0(1n n)-K2•; L 1 = ~ve<vo> 1; K28 can be made arbitrarily large if K 27
is sufficiently large. Applying the Cebysev inequality in the usual way (see§ 12,
Chapter VI), we find that
_2 U1(n - D'v) - _2 U 2(n - D'v) = BD 2L1(1n n)-K 29 . (7.10.11)
(v,D') (v,D')
Such is the estimate of the difference between the n.s.e. of two equations of the
form (7.9.11). Adding over As>, s <; ~n n, and the intervals (v0) and (D0), we
obtain the estimate
Bn(ln nrKso (7.10.12)
for the difference between the n.s.e. (7.9.5) and (7.9.7) under conditions (7.9.6)
and (7.9.8). This gives the estimate (7.10.12) for the part ~~+>, where X =
x 1x 2 ••• xk E A1 •
136 A PROBLEM OF HARDY AND LITTLEWOOD [CHAP. VII
Here u runs through all numbers <d2 (not only those whose prime divisors <d1);
while p' runs through those numbers, each of them exactly once, whose prime
divisors are all >n1 16-'o.
Put
(7.11.7)
Sec. 12] ESTIMATION OF :EE 137
By (7.11.6),
thus
(7.11.11)
12. Estimation of LE
First of all, we shall seek an estimate for :EE; we use Hooley's method.
Put nu= n/u, and introduce the following parameters for each u.,;;;; d3 :
Let x U = n1ton1nnuJ2.
U '
p U = II P~Xu P.
For each integer t = IIp"', put t = 1< 1 >1< 2 >, where
t(l) =II pa; 1( 2 ) =II pa; Pu= II P·
Pl t pit p<;;"'"
2'::s;;;xu 2'>Xu
- 1-A(n )y + B~ if (a(l), h) = 1,
""'
£.,
'u(Yu)
J•
= { <p(h) u n In• n
(7.12.1)
Vu~11 n
v,.=a(modk) B--u- if (a(l), h) > l.
h ln 5 n
Here A(nu) depends only on nu and has the estimate
A(nu) = B (ln In n)2 (7.12.2)
In n
138 A PROBLEM OF HARDY AND LITTLEWOOD (CHAP. VII
We can use Lemma 1.5.3 under these conditions. Consider the progression
uvu = n (mod d/1/2). Let (u, d/1/2) = b for given d/1/2. We have
11 = (L1), (L,l,
L <H> x!Cd)xil1)xil2) Uvu =n
L
(mod d~ 1 I,)
!uCvu).
'
(7.12.6)
d~nU 2 uvu::::;;;n
If b 1 n, then the inner slim is empty. If b J n, and (d/1 12 /b, nU>/b) = 1, a
condition which we shall denote by (K6), then the inner sum is equal to
A(nu)(n/u)(l/cp(d/1/2b-1)) + B(n/u ln5 n)(b/d/1/2). Hence
La = L x!(d)xil1)xil2) (7.12.9)
(£1),(L,),(K),(Ki;> <p(dl1l2b-1)
nl/8 < d<nll•n1 -1
1 if (ll, 12) = 1,
rt~/.t(t) =
{
0 if (ll, 12) > 1.
•f=!2
L
!2 = rst2dm=n-uv 11
µ(t)x!(t)x!(d)xir)xis)fu(vu) = L,18 + t;;;;;,:nL,18 •
t<n
(7.13.1)
(R),(8),(D)
Ls = <Rl,(S>.W>
L µ(t)x!(t)x!(d)xir)xis)fu(vu)· (7.13.3)
t';:!;m 118 ,rst2 dm=m-uvu
140 A PROBLEM OF HARDY AND LITTLEWOOD [CHAP. VII
In 1:5,
(7.13.4)
Hence
!s = ! µ(t)x!Ct)x!Cd)xir) ! xis)fuC'Pu)
rt 2 dm<n 314 n1 uvu=n-rst 2dm
CR);(DT) CS)
= Brt dm<!.,.
2
n ni
(R),(DTJ
I L
U\lu=n-rst dm
2
111<:;;vu<112
xis)/uC'Pu)I, (7.13.5)
where
Y2 =max [
n - n 112rtmn-1 1
, 1 ,
J (7.13.6)
u
_
Yi-max [
n - n1/2rtmn 2 + 1, 1J. (7.13.7)
u
If we put A= rt 2 dm, then U'Pu = n - AS, and the inner sum in (7.13.5)
becomes
L fu('Pu) - L fu('Pu). (7.13.8)
u•u =n-l(mod 4l) uv. =n+l(mod 4l)
h<:;;~<~ h<:;;~<~
!s = Bno.9. (7.13.15)
Thus, from (7.13.14) and (7.13.15) we obtain
14. Estimation of !D
Now let us seek an estimate for ~D (cf. (7.11.9)}
kn= !
up'~n
1. (7.14.1)
u..;;d3
D(n-up')*O
Put p" = up'. Then
Denote the first of the sums in (7.14.2) by ~D,• the second by ~n 2 ; il(m) is
the number of prime divisors of m; rx E [l, U will be fixed later.
Introduce the region of summation
1/2
(L) !!__ < I < n112 n1,
n1
n112
(M) - - < m < n 112n1'
A 1 ln 2 n
(P) Im= n - p".
142 A PROBLEM OF HARDY AND LITTLEWOOD [CHAP. VII
If we have (P), then in I: D l , either 0.(/) < (rx/2) In Inn, or O.(m) < (rx/2) In Inn,
or both.
1+ 1·
'
(7.14.3)
(L),(Pl (L),(p)
n(l)<;;(o:/2) ln lnn Q(m)<;;(o:/2) ln ln n
in the second sum Im= n - p" < n; I> n112/n 1 ; m < n1 ' 2n1 • Thus
2D1 < 2
!L),(p)
1+ 2.
!Ml,!Pl
2
l <n112 n 1
1. (7.14.4)
O(l)<;;(o:/2)lnlnn O(m)<;;(o:/2)ln Inn m<;;n112 /n 1 ln2 n
Let these three sums be denoted by I: 1 , I: 2 and L 3 • Then I: 1 = O(I: 2). Further,
23 = o(+).
In n
(7.14.5)
Consider I: 2 •
22= (M) P"=n(modm)
1=
(Ml up•=n(modm)
1. (7.14.6)
O(m)<;;(o:/2)lnlnn p"<;;n O(m) <;;(0:/2) In Inn up' <;;n
Next we examine
1. (7.14.7)
up' =n(mod m)
up'~n
(7.14.11)
By Lemma 1.2.1,
2 _!_ = B(ln n)1'°'12 -1+"'5, (7.14.12)
<M'o> m1
0(m 1 )<;;(o:/2) In Inn
where rx 5 = rx 5( rx0, a 2) ---+ 0 with a 0 and a 2, and y"' = a - a In a.
Sec. 14] ESTIMATION OF L,D 143
1 = B !
!- T(u) = B(ln n)"•. (7.14.13)
U1c5 U< da U
Let R,, be the set of numbers m, all prime factors of which are less than
n 1t2oinlnn. Then, puttingp" =up',
1+ l. (7.14.19)
meRn n-v"ERn.
O(m).;;lOlnlnn O(n-p") >a. In Inn
Hence
!1 <r<:.n1-1/2oin1nn
! !
p"'<n
i. (7.14.22)
O(r) >In In n-1 n-1!=r1!
L 1 = B .!!. (In In n)
3 = B _.!!. (In In n)3 (7.14.23)
n-uP'=rP ru ln (n/ru)
2 ru ln 2 n ·
Summing over u, we obtain the estimate
n (Inn)«'
B---. (7.14.24)
r ln 2 n
Hence
1
!
r~n r
O(r) >ex In In n-1
Comparing this with (7.14.15) and choosing a= e/2, so that Ycx = Ycx/ 2 =
!e ln 2,
(7.14.27)
where
e
y = 1 - - In 2 > 0.0570, ix8 = max (ix6 , ix 7). (7.14.28)
2
Thus, y/2 > 0.0285.
From (7.14.27), (7.13.18), and (7.11.11), we obtain
Entirely analogously,
X1 ••• xk =- z<ll
D
(mod D(l))., X1 ••• Xk ./
~ X. (7.15.5)
(ID, D)
In the particular case (ID, D) = pµ (a prime power;µ> 0). Letp8 ; II xi;xi = p8'X:;
p { x: (i = 1, 2, ... 'k). By (7.15.3), S1 + ... + sk ~ µ; put (J = S1 + ... +
sk - µ ~ O;
p• 1+ ... +sk-µx~ ... x~ = z_g> (mod v< ».1 (7.15.6)
I
If p Dm, then, clearly, s 1 + ... + sk = µ. Let p 1' nm; (J ~ 0. The congru-
ence (7.15.6) is equivalent to
(7.15.7)
For functions of two variables M(~, 'Y)), we introduce the ring of operators Lq,
depending on a positive integral parameter q, such that Lq Lq = Lq q ;
LqM(~, 'I")= M(~q-1, 'Y)q- 1 ). Put!~>:= /l}>p-P(mod DUl); X= xp-µ; 1M(X, /'};>)1:!::
N(x1 . . xk = /<_J> (mod D< 1l); x 1 ... xk ~ X). If (q, DUl) = 1, then LqM(X, i'J>) =
M(Xq- 1 , /';)lq-1), where q-1 is taken mod D(l). Then the n.s.e. (7 .15. 7) is
For the case p -r D(l), the total number of solutions of (7 .15.6) for any s1, ... , sk
such that s 1 + ... + sk > µ, is
For fixed D and (ID, D) = pt1 ... Pi' (cf. (7.15.3)) suppose that we have
P1 1' D (l) , P2 1' D(l) , · · · , Pti 1' v< , Pt1+1 ID(l) , · · · , Pt ID(l) ·
0
(7.15.12)
Let Lp,µ denote the operator
LP,µ = L Lpsi+ ... +sk-µ(l - LP)k. (7.15.13)
s1+ .. . +sk~P.
Then the n.s.e. (7.15.5) with fixed Dis
(7.15.16)
Sec. 15] PREPARATION FOR THE ESTIMATION OF ~O 147
Now let us turn to the basic lemma, Lemma 1.6.5. We consider those of the
moduli D satisfying (7.15.2) for which
Therefore, for given (ID, D) = pt1 ... p/t, the fundamental lemma can be
applied in the form
M(P µl
x
pµt'
D(l)) ~
1 • • • t
= -1
2TTi
"" - -
£.. 1-
m<11 l_ ip( D c1>)
f (Pi1 ....
c Po
· x
p~t
)s -1 c·L (s, X m) )k d s
s
(0)
D
(7.16.4)
and
(7.16.5)
Heren - A.andn +A.are odd(because Q0 Xis); A.1 = A.j(Q, A.). Then(Q 0 , 4.A.1) = 1.
Multiplying through by Q0 1 (mod 4.A.1), we obtain
(7.16.6)
and
(7.16.7)
X ,,.;; n - A.J~ n1 .
(7.16.10)
(Q, A.)Qo
Note too that
I
U1, 4.A.1) n - A. and
whence
U1, 4.A.1) I n; (7.16.11)
Sec. 17] EXA.MINAJ'ION OF THE FUNDAMENTAL CONGRUENCES 149
l '1
I
wherep"' 1 A.1 , ••• ,p"' 1 A.1 ;p; A.1 (j7Jf cx1 ; i = 1, ... , t 1), i.e. numbers of the
form ).(1)
a:l, 0 a:tl
""'
E D(l)
CXl" • "a:tl
(cf. § 15).
The n.s.e. (7.16.8) under condition (7.16.10) is
II Ii )
Niµ;)M ((l 4i ) '(l 4i ) .
X;. (7.17.3)
L1'cx1µ"'1 ••• LJJcx, µex, .
1 1 1 #-ai 1' Jl..1 b Al
Putting
_1_1__ 1 .
- 2• (7.17.13)
(ll, 4A.1)
we obtain the expressions
(7.17.14)
and
(7.17.15)
for (7.17.3) and (7.17.4).
Write the operator iri (7.17.14) and (7.17.15) in the form 'I:. a(q)Lq. Following
the usual arguments, and applying Lemma 1.1.8, we find that we can throw out
q ~ q< 0 > =exp (ln ln n) 4 with a permissible error; that is, (7.17.14) and (7.17.15)
become
L a(q)LqM(xu, 12) + Bxu
q<;;q(O) 4A
(T(A.')r exp - !(In ln n) 2 (7.17.16)
1
and
where
a(q) = B(T(q))aaa~-t1. (7.17.18)
Here
(1 2 , 4A.') = (I~, 4A.') = 1, (7.17.19)
a;-t 1 ..;;; (T(A'))a10 • (7.17.20)
The congruences X =/ 2 (mod 4A') and X =
I~ (mod 4-A') automatically require
that Xbe odd, for (/2 /~, 4A.') = 1. We can apply the fundamental Lemma 1.6.5,
considering that q ..;;; q< 0 l = exp (ln ln n) 4 in formulas (7 .17. lti) and (7 .17 .17), and
assuming that
r ~~ (7.17.21)
':>O-.... 100.
and not by the remaining p;. Separate off those of the numbers (7.17.22) for
which
ITai, ... ,a,, ~ exp (ln ln n)5 (7.17.23)
(if there are any), and leave those for which
Ila,,. .. ,a,, <exp (In In n) 5• (7.17.24)
Sec. 18] EXAMINATION OF THE FUNDAMENTAL CONGRUENCES 151
where /2q-1 is taken mod 4A'. Since the values of q are comparatively small,
Lemma 1.6.5 is applicable. In (7.17.16), for given (Q, A.) and Q, we sum over
A.1 = A.~~~ .... a, in the interval of values of Ai. which we shall denote by Im:
1
m = 0, 1, 2, ... (7.18.3)
J.1=J.(l)
z LqM(x;.;., 12)
Elm
a:1, ... 'a:tl
(7.18.4)
and
(7.18.7)
152 A PROBLEM OF HARDY AND LITTLEWOOD [CHAP. VII
for A' = /..1 /pr 1 ••• p/ must be divisible by TI" 1, . . . , "t1 . Therefore, in (7.18.5)
1
we have
n (In n) Kz
= B x_.1.=.1.'-'--~--
2 4
B
(Q, /..)QoPi1 · · · Pf'q q
(7.18.8)
Here Q and ( Q, /..) were fixed. As can be seen from formulas (7 .17 .16) and
(7.18.4), we need to multiply this estimate by a(q) = B(r(q))as(T(/..'W 1 • (cf.
(7.17.18)-(7.17.20)), and sum over q < qco>. For given Q and (Q, /..),we obtain
the estimate
B exp - !(In In n)50 Xu (T(A')r 11 . (7.18.11)
4/..'
Summing over all Q = q1 ... qk < d0 and /.., we easily obtain the estimate
Bn exp - !(In In n)5°. (7.18.12)
19. Estimation of Le
We have summed (7.18.5) and obtained the estimate (7.18.12) under the
condition (7.17.24). With condition (7.17.23) our arguments do not go through,
because the factor n"1· ... '"t1 in (7 .18.8) may be too large. In that case we
replace LqM(x;..1., 12) by the trivial estimate
B X;.;.(ln n)a1
(7.19.1)
qA'
which can be derived from an estimate of the n.s.e.
X1 ••• Xk =: [Cl) (mod 4/..1), X1 ... Xk < X;.. (7.19.2)
Sec. 19] ESTIMATION OF ~a 153
Multiplying (7.19.1) by a(q) and summing over q..:;; q< 0 >, we obtain, as before, in
the derivation of (7.18.11), the estimate
(7.19.3)
Summing over A., (Q, A.), Q, and taking into account the fact that A.' =0
(mod Ilcx 1, ... , "'t ), we easily obtain
1
!
din
(7.19.6)
d>exp (ln lnn)s
B 0 (1n nr 0 , (7.19.7)
where C is arbitrarily large; as usual, Ba is bounded by a constant which depends
only on C. Taking C sufficiently large in comparison with a 13 and a 14 , we obtain
the estimate
Bn(ln n)-K31 (7.19.8)
for (7.19.5).
Thus by (7.19.8) and (7.8.12), summation of (7.19.5) gives
Bn(ln n)-K••. (7.19.9)
Returning to (7.17.16), we sum the second terms over Q, (Q, A.) and A.. By
the usual methods, we obtain as a result
as an estimate for the sum of the absolute values of the differences between
(7.17.17) and (7.17.16). Hence, returning to (7.8.9), we obtain
(7.19.13)
20. Investigation of LA
Returning to (7.8.6), we now seek an asymptotic expression for ~A·
Put
r 0 = exp (In ln n) 4 , (7.20.1)
(7.20.3)
L xiP) L 1 (7.20.5)
r0 <p,,;;,v-;./n 1 n-Q:i:1. ··"'k"' O(modp)
Q:C1 • • · Xk::::;;;n
---
ni - n.
2, (7.20.10)
(n1, Pi)
Then (7.20.9) is equivalent to
We can apply the results of§ 15 here (cf. (7.15.14)). Observe that p can be
assumed odd, in view of the presence of x4(p) in (7 .20.5); p2 j p is also odd.
The numbers x 1 , ••• , xk were assumed to be odd. Hence we need to multiply
the operator in (7.15.14) by a factor of (1 - L 2)k. Following§ 15, we put
(7.20.12)
where
(7.20.13)
(7.20.16)
Since
p~ .Jn nl 1 = .Jn exp -(In n)"1, (7.20.17)
and because of(7.17.21), Lemma 1.6.5 is applicable. Here, just as in§ 17, we can
suppose that in the expansion of the operator product in (7.20.14) in terms of the
operators Lm, it is sufficient to consider only the values
m ~ m< 0 > =exp (In ln n) 4 , (7.20.19)
the error, for given Q and p, being
((Q,V~n-1
~~~l=---
v~n-1]
p)2Hl' (Q, p) 2g
l ' (7.20.22)
156 A PROBLEM OF HARDY AND LITTLEWOOD [CHAP. VII
Fix (ni, Pi) = pf1 ... Pi' (cf. (7.20.12)), and denote the Pi with given (ni, Pi) by
p~~>, ... , ex, if they obey condition (7.20.19) (p 2 = Pi/(ni, Pi)). As in§ 17, we
i
observe that when Pi = p~~>, . __ , ex, , (7.20.14) equals
1
(7.20.24)
where
(7.20.25)
Here
(7.20.26)
and
(7.20.28)
P1=P(i)
L xiP)LmM
elg
(nQi
2 ' n2 )
Qi
«1, ••. ,«t1
First sum the first term on the right-hand side of (7.20.29) with respect to
cxl> ... , cx 11 and lg. We obtain, for fixed Q, (Q, p) and (ni, Pi),
(7.20.30)
(7.21.1)
Further, (ni. Pi) = pt 1 ••• pf', and the subdivision cx1 , ••• , cx 11 , which gen-
erates the number Ilcx 1 , ••• , "'n' is fixed; p 2 = 0 (mod Ilcx 1 , ••• , cx,J
Thus for given (Q, p), all the prime factors of m divide (ni, Pi) = (n/(Q, p),
p/(Q, p)). Therefore with (Q, p) we also need to fix (ni, Pi), i.e., consider p such
that (Q, p) = QP and (ni, p1 ) = nP are fixed.
Suppose this is the case; then m consists only of primes dividing (ni, Pi),
n2 = n/(Q, p)(ni, Pi); Qi = Q/(Q, p) is constant; in (7.20.30) only (xip)/9:{p2))
=
x (L(s, x0))1' varies for Is - 11 ~ p 0 ; p 2 0 (mod Ilcx 1 , . . . , "'• 1) ; P; 1' P2 (j :;C ct;).
Further L(s, Xo) = ~(s)IIPIP 2 (l - 1/p'); (L(s, Xo))k = ({(s))kIJPIP.(1 - ljp•)k.
Thus we need to sum
xiP) II
cp(p/(n, p)) :i>l(p/(n,p))
(i - l)k = xiP) (n, p) II (1 - 1/p't
p8 p :i>l(p/(n,p)) 1 - ljp
(7.21.2)
over p; (Q, p)(n/(Q, p), p/(Q, p)) = (n, p), (Q, p) fixed, (n/(Q, p), p/(Q, p)) fixed,
with the indicated conditions for p 2 • If (Q, p) and (n/(Q, p), p/(Q, p)) are fixed,
then so is their product (n, p).
First of all let (Q, p) = 1, (n, p) = 1, (p, Qn) = 1, m = 1; sECp0 , p0 = 1/lnn;
there are no additional conditions on p 2 • Consider
II
p-f"Qn
(i + xiP)
p"
+ xip + ... )<1 -
2
p 2"
) 1/p•)k.
1 - ljp
(7.21.4)
158 A PROBLEM OF HARDY AND LITTLEWOOD [CHAP. Vil
To compute (7.21.3), let PI> p 2 , ••• , Pt denote the primes dividing Qn, and
take
L x4(p) II<1 - p-•)
Vn/n 1 ~p~r0 p PIP 1- p -l
(7.21.6)
If Pcx1Pcx2 • • • Pcx, < r612 , then, by (7.21.6), the corresponding terms of (7.21.5)
have the estimate Br0°· 001 /p"' 1 ... Pcxs ; if, on the other hand, Pcx 1 ... Pcxs >
exp t(ln In n)4 , then the same terms are estimated as B/p"' 1 • • • Pcx.- The sum of
these last terms, which divide Qn and are greater than exp i(ln In n) 4 =r6' 2 , gives
B exp - Hin In n) 2 , and the preceding terms give in total Br0 °· 0005 ; altogether
the sum is B exp - t(In In n)2. The estimate (7.21.6) follows easily from the fact
that
II (1 + X4(;) + xi;,2) + ... )<~ - P~t = U(z)L(z, x4),
p p p - p
where U(z) is regular and bounded both above and below in the region a > 0.9.
Thus, for the case (p, Qn) = 1, (7.21.3) has the estimate
B exp - t(In In n) 2 • (7.21.7)
Now let (Q, p) and Q0 be fixed; (Q, p) Jn; and let (n/(Q, p), p/(Q, p)) = '51
be given. Then
n1 n1
n2= - - =
(n1, P1)
(n/(Q, p), p/(Q, p))
n n n2 n
= --- ; --=---- (7.21.11)
(Q, p)(n/(Q, p), p/(Q, p)) (n, p) mQ 1 (n, p)mQ 1
Sec. 21] ESTIMATION OF THE AUXILIARY SUM 159
Since on Cp0 , Res= 1 + 2/ln n, this term introduces a factor of Bn/(n, p)mQ 1
into the sum. This must be taken into account in summing (7.21.2). In this
summation, we divide the terms in the following manner: (n, p) >exp t(ln ln n) 4
and (n, p) ~ exp !(ln ln n) 4 • In the first case, consider the sum of the series
(7.21.2) when r0 ~ p ~ .J-;;/n1 • Here the term
is singled out. Here r0 ~ p ~ .J-;;/n1; p > (n, p) = (Q, p)(n1, p1) (both num-
bers are fixed, which determines the region of values of p).
First let
(7.21.13)
(7.21.12) always gives the estimate B In n/(n, p), and counting the contribution
of Bn/mQ1 [from (7.21.11), from the number of subdivisions ix1 , • • • , ixt 1 ,
which does not exceed T((n 1, p1)), and from the fact that Q1 = Q/(Q, p)], we
obtain
Bn Inn T(n1, P1) = Bn In nT((n1, P1)). (7.21.14)
mQ 1(n, p) mQ(n1, Pi)
B n In n(T(m))417T((n1 , p 1 ))4 2 •
(7.21.15)
mQ(n1, P1)
over m for fixed (Q, p); over (n 1 , p1 ) >exp t(ln ln n) 4 ; and then over (Q, p).
Then (7.21.15) obtains the estimate
(7.21.16)
(cf. Lemma 1.1.8).
Now let (n 1 , p1 ) ~ exp -!(ln ln n) 4, so that
If (Q, p) ~ exp !(ln ln n) 4 , then the sum of the series (7.21.12) under such
conditions gives, summing over p1 ,
B
--ro -o.ooos/4. (7.21.17)
(n, p)
160 A PROBLEM OF HARDY AND LITTLEWOOD [CHAP. VII
(7.22.2)
Summing over Qi< d0 , (Q, p) < d0 , (n1' Pi) In, we obtain the error
Bn exp - t(ln In n) 2 • (7.22.3)
Sec. 23] FINAL CALCULATION OF Q~(n) 161
We still need to obtain an estimate for the sum of the second terms on the
right-hand side of (7.20.29), after multiplying it by a(m), which has the estimate
(7.20.6). As in § 17, we distinguish the two cases
~~n n~n
B - - exp - !(In ln n) 50 = B exp - !(In ln n) 50 . (7.22.6)
mQ1 mQ1(Q, p)(n1, Pi)
Furthermore, by (7.4.3),
+B n (7.23.6)
(In n)l+ro
Here q1 •.• qkx1 .•. xk is odd, qi E Ap., Then from (7.23.6) we find that
then (7.23.9) holds, provided r is not divisible by any of the exceptional moduli
r 1, r2 , ••• , rt (cf. § 6); if r is divisible by any of them, we need to take the
trivial bound
B!!. (7.23.11)
r
for (7.23.8).
Summing (7.23.11) over r, divisible by ri. r2 , ••• or rt, we obtain, as in§ 6,
the total estimate
Bn(ln n)-K34 • (7.23.12)
If (r, n) > l, then the left-hand side of (7.23.8) is equal to 0. In view of
what was said above, (7.23.7) can be rewritten as
Q~(n) = 4L~(n) I
r=l cp(r)
xh) + B n
(ln n)l+ro
(7.23.14)
(r,n)=l
This sum immediately reduces to the form
p~n
! r(p - 1) (8.1.1)
can be derived without difficulty from theorems of the "large sieve" (Ju. V.
Linnik [9]) type, developed by Renyi [50-52).
However, application of the dispersion method allows us to find exact
asymptotic formulas for (8.1.1) and (8.1.2).
Obviously, (8.1.1) is the n.s.e.
p - xy = l; xy <n - I, (8.1.4)
164
APPLICATION OF THE DISPERSION METHOD 165
Hence it is clear that (8.1.1) and (8.1.2) are analogues of.the Hardy-Littlewood
equation, and an asymptotic expression for them can be found by means of the
dispersion method. In this connection, the computation is, on the whole,
substantially simpler than the corresponding computation of Chapter VII.
In this chapter we shall consider only the case I= 1 of formula (8.1.1):
in that case there exists a convenient system of coherent numbers (see § 6 of
Chapter Ill), permitting considerable simplification of the computation. The
calculation of an asymptotic formula for (8.1.1) and (8.1.2) in the general case is
essentially the same, but it is more unwieldy.
p - xy = 1; xy < n. (8.2.1)
THEOREM 8.2.1. As n ~ oo,
x~ ... x~ - xy = 1; xy < n.
Taking the system of coherent numbers p" defined below (cf. § 4, formula
(8.4.3)) and letting n~ denote 1 or p", form the equation
Dz = D1 ; v~ = Vo
(ln n)K1 (ln n)K1
Here the number of repetitions of D' in (8.2.6) is B(ln n) 2x, where K is the
<:onstant in the definition of P(cf. (6.1.2) and (6.2.21)). Now form the dispersion
of the difference of the solutions
r1 ( -1)"-1 n
L (Q~(n, ni.) - Q~(n, n~)) =B 312 (In ln n)4. (8.2.13)
k=6 k (ln n)
Sec. 3] THE EQUATIONS Y~ FOR <5
k 167
Thus it is sufficient to study only that part of the formula for Q~(n) where
q1 qk
••• < nT = n°· 001, i.e., the sum
(8.3.3)
Introducing the numbers cx:0 = 10-10 and d0 = exp (ln n)"- 0, we let
Qk0 >(n) = qi .. 2
• qk,;;;.do
; Qk2>(n) = do <qi ..2• qk,;;;.nT '
so that
(8.3.4)
The sum Q~2 > may be studied with the help of the dispersion method.
Following § 4 of Chapter VII, we isolate the "bad" (irregular) intervals 10 =
[!n0 ,n0],where the number of q1 , ••• , qk is less than n0/(ln n)K•, and discard them.
Then we consider the intervals which are not irregular (cf. § 5 of Chapter VII);
with an error of (7.5.2), which gives rise to a permissible error in the asymptotic
expression for the total number of solutions, we reduce the problem of calcu-
lating Qf>(n) (following § 5 of Chapter VII and keeping the same notation) to
two equations, corresponding to the two possible signs of µ(q 1 ) ••• µ(qk), of the
form
D'v - xy = 1; D' E (D 0); v E (v0). (8.3.5)
V' L (ve(vL
= D'e(D U(D'v - nD - !
•E(v 0 )
U(D'v - n~))2 •
0) 0)
Here it can be assumed, with a permissible error in the number of solutions, that
an estimate for the number _of repetitions of D' is
(8.3.7)
(see § 9 of Chapter VII). In accordance with § 4 of the Introduction and § 2 of
Chapter II, we arrive at three fundamental equations of the form (8.2.3). Then
we repeat the arguments of§ 2 and obtain the following estimate for the corre-
sponding difference between the number of solutions:
xy < n;
(8.3.9)
so that
(8.3.10)
we get
(8.3.11)
Qk<o>(n) = °""
£.. µ (q1) · · · µ (qk)W( n, q1 · · · qk) ' (8.4.1)
qi· · · qk.;;ao
q;EAp
We need to put the sum ~a in a more convenient form (cf. (7.8.9)). Put
q1 ... q~1••• xk = n - pJ... Then
By definition of then~, which are either equal to 1 or top", it is easy to see that,
with an error in the number of solutions of
Bnl-so (8.4.9)
we can assume that the limits of summation over q1 ••• qkx1 ... x,. in (8.4.5) and
(8.4.6) are independent of n~ and equal to n; so that
q1 ••• qkx1 ... xk ~ n, (8.4.10)
5. Investigation of LB
First of all let us take up I:B; we follow§ 9 of Chapter VII. By analogy with
formulas (7.9.4)-(7.9.8), we put
~ - ~(+) ~(-)
,,t.,B- ,,t.,B - ,,t.,B ' (8.5.1)
where I;~+> is n.s.e.
(8.5.2)
with conditions
here we can assume, with a permissible error in the number of solutions, that an
estimate for the number of repetitions of D' is
(8.5.5)
(see § 9, Chapter VII).
As in § 4 of the Introduction and § 2, Chapter II, we come to three funda-
mental equations of the form (2.2.3), where xy is subject to conditions (8.5.3),
and zt runs independently through the same values. Here the terms of the
dispersion, obtained when v1 = v2, are easily found to have the estimate
BD 2 v~2(ln n)-K 12 , (8.5.6)
where K12 is an arbitrarily large constant; D 2 , v~, as usual, are the lengths of the
intervals of variation of D' and v, respectively.
By Lemma 2.9.1 of Chapter II, we conclude that
(8.5.7)
where K13 can be made as large as wewanttogetherwith(l/lnlnn)ln(D1 /D 2).
Sec. 5] INVESTIGATION OF l;B 171
From (8.5.7), applying the Cebysev inequality, which can be done by following
§ 5, Chapter III, almost word for word, we find that the difference between the
n.s.e. (8.5.4) with coherent numbers ni and n; on the right-hand side is
BD 2 v~(ln n)-K". (8.5.8)
Summing over the intervals (D 0) and (v0), we find that the difference between
the numbers of solutions of (8.5.2) with two coherent right sides ni and n; is
Bn(ln n)-K 15 • (8.5.9)
We have the very same result for the equations associated with 1:~->.
Next we come to the case of XE Au in equation (8.5.2). Following § 11 of
Chapter VII, we put Au = AP + AW, observing that the solutions where
XE AW are negligible (cf. (7.11.2)). But if XE AHl, then X has the form
(7 .11.1 ), where k < d2 , and all the prime divisors of p' are greater than n116-" 0 •
Then equation (8.5.2) takes the form
q 1 • . . qkup' - xy = n~ (8.5.10)
with conditions (8.5.3).
Here q1 ... qkup' < d0d2 <exp (ln n)"'o+4"'2
o
Leto = (q1 ••• qkup', x). If > 1, then In~, so that o o> Mn. Instead of
(8.5.10), we obtain the equation
q1 · · · qkup' n~
at (8 5 11)
0 -by=b, ..
where q1 •.• qkup' < 2n. By Lemma 1.1.5, the n.s.e. (8.5.11) for given x =0
(mod o) is
n n
B(ln nr- = B(ln n)a 1 - • (8.5.12)
X X10
B(ln n)a1+1 ~.
0
Then summing over fJ ni. I o> Mm by Lemma 1.1.8, we obtain the estimate
Bn exp - i(ln ln n)413 (8.5.13)
o
for the number of solutions of (8.5.11) with > 1. With such an error we can
suppose that (q1 ••• qkup', x) = 1. In that case, according to Lemma 1.3.1 (the
Brun-Titchmarsh Theorem), the n.s.e. (8.5.10) has the estimate
B----n_ __ (8.5.14)
q 1 . • . qkucp(x) ln n
for given x.
172 A PROBLEM OF TITCHMARSH (CHAP. VIII
Summing (8.5.14) under the conditions on x (8.5.3), Vfe obtain the estimate
B n In n1 (8.5.15)
q1 ... qku Inn
Considering (7.8.4) and summing this estimate over q1 ••. qk, u, we obtain
the estimate
Bn- (In n)o.001. (8.5.16)
In n
The same estimate is obtained for the n.s.e. of the equation associated with L)i"'")
for XE Au.
By (8.5.9), (8.5.13), 'and (8.5.16), the difference between the expressions LB
(cf. (8.4.6)) for two values of the coherent numbers n~, in particular, for n~ = 1
and n~ = p", has the form
Bn- (In n)o.001. (8.5.17)
In n
where
Rq =B n exp - (In In n) 25 L~. (8.6.3)
ql ... qk (.l.) <p(A.)
For any pair of coherent numbers n~, n; the main terms of (8.6.2) coincide, so
that the differences between the sums on the left-hand side of (8.6.2) have the
estimate (8.6.3). Summing this estimate over Jl, q1 ••• qk we find that the
difference be~ween the values of ~c for two coherent numbers n~ and n; is
Bn exp - (In In n) 2 • (8.6.4)
An entirely analogous statement can be made regarding the difference
between two values of ~A.
Thus for any two coherent numbers n~, n;,
(In n)o.001
Qi0\n, n1) - Qi0 l(n, n2) = Bn (8.6.5)
In n
Ifwe replace W(n, q1 ••• qk) by W(n, n~, q1 • • • qk) in (8.3.2), then, as is easily
seen, the right-hand side of (8.3.2) remains unchanged. Therefore it follows
from (8.7.1) that when k,.;;; 5,
I I I I (In n)0.001
Qk(n, n 1) - Qin, n 2) = Bn (8.7.2)
In n
Together with (8.2.13), this gives
where the accent indicates that the summation is only over q E Qn· We introduce
the trigonometric sums (cf. (3.6.14))
S1(a, q) = ""
£.. exp 21Tia
- - xy, (8.8.4)
XYElb q
(8.8.13)
so that for q1 < (ln n)c,
eq 1 = µ(q 1)q1 + BT(q1) In q1 In In n , (8.8.14)
<p(q1) In n
<
while when (ln n)° < q1 n 2, eq 1 is estimated with the help of (8.8.12).
Following § 9 of Chapter IV (cf. (4.9.2)-(4.9.6)) we obtain
Go= L (µ(q)) 2
= 315s(3),
q<p(q) 27T4
so that
Q(Ia, lb)= S1(0, l)S2(0, l)G 0 + BS1(0, l)S2(0, l)(ln n)-0 · 999
(where the function Bis uniformly bounded for all Ia, lb).
Summing over all intervals Ia, lb (cf. § 8, Chapter III), we obtain finally
315s(3)
L T(p -
p,;;;;n
1) - - - n
21T4
+ Bn(ln n)_0 · 999, (8.8.17)
(cf. [1]). These are the genus conditions for <p(x, y).
Let the number m satisfy the genus conditions
Si = (cxi Pi) ,
Yi <5i
where cxi<5i - f3iYi = 1 and cxi, ... , <5i are rational.
Let Si= TJri, where Ti is an integral matrix with det(Ti) = ri; ri is an
integer. It is known (see [45]) that it is possible to choose these ri so that they are
prime to any previously specified number.
Suppose that we are given m satisfying condition (9.1.4) and genus conditions
(9.1.3). Then
m = <pi(x,y) (9.1.6)
holds for some i ~ 1. Further, let <piSi = <po, so that
m = <p0(cxix + {3iy, YiX + <5iy).
Put r = r1 r2 ••• r1• Obviously, the number
mr 2 = <po(cxir2x + {3ir 2y, yir2x + <5ir2y) (9.1.7)
is representable by the form <po(x, y). Note that with mr 2 , any number of the
form mr 2u2 (u any integer) is representable by <po(x, y).
(9.2.4)
where m is counted 'l"(m) times.
When 6 k < < r1 we apply the dispersion method to (9.2.4). By the usual
methods the equation is reduced to equations of the form
n = u 2r 2m + D'v; v E (v0); D' E (D 0 ); (9.2.5)
D'v E (U). (9.2.6)
We need to subdivide this last condition into conditions v E (U1), D' E (U2),
where (U1 ), (U2) are the sets of numbers of the corresponding arithmetic
progressions.
The conditions on m reduce to the requirement that m lie in a certain set of
arithmetic progressions, which we denote as
m E(M). (9.2.7)
The expression (9.2.2) is obtained as follows: take all possible factorizations
of mas a product of two factors, m = xy, and consider w ~.,11 =m xix).
An expression for A(n, D) may be found without difficulty. The fundamental
equation of the dispersion method takes the form
u 2r 2(v 1 xy - v2zt) = n(v1 - v2); v2 <n 116 exp - .../Inn, (9.2.8)
where xy E (M); zt E (M). We need to sum the expression
!xaCx)xa(z) (9.2.9)
over all solutions of (9.2.8).
The determination of an asymptotic approximation is completely analogous
to the derivation of Lemma 2.10.1.
One can study the equations Yi in this way when 6 k < <
r 1 . When k 5, <
the method of Chapter VII (§§ 3-24) can be applied to the Yi. Examination of
the work of that chapter shows that the central point of the calculation is the
application of the Fundamental Lemma 1.6.5. It plays the same role here. Here,
in sums of the type ~A' ~B' ~c (cf. (7.8.6), (7.8.7) and (7.8.8)), xa(p) appears in
place of xip); and also the conditions n - q1 ••• qkx1 ... xk
2 2
=
0 (mod u2r 2);
(n - q1 ••• qkx1 . .. xk)/u r E (M) appear; the rest is essentially unchanged. Of
course, the computation indicated here is quite unwieldy.
If n, the number to be represented, has no small prime divisor or has only a
limited number of them, the investigation can be made considerably easier by
introducing coherent numbers.
Note that the above arguments also permit us to deduce the solvability of
equation (9.1.1) for large n from the extended Riemann hypothesis, on the basis
of Hooley's method. But such a result is conditional, while the derivation
proposed here involves no unproven hypothesis.
CHAPTER X
SUPPLEMENT
where in the latter case Pi ~ n1-"'; p 2 ~ n"'; ct. > 0; and p 1 , p 2 are independent.
Putting {'P} = {x2}, we can apply the dispersion method to our equations; how-
ever, it does not lead to final results. Let us consider its application to equation
(10.3.1).
Since {'P} = {x2 } forms a sparse sequence, we need to take D < n1 12-• in the
calculation of A(n, D), the expected value of the expression L:(v);n-Dv=z• 1.
Put JJ = p 2 ~ n"'; v = p 1 ~ n1-"'; ct.< t. Then one can obtain a heuristic
expression A(n, D) and find an asymptotic approximation for V2 and V3 • The
asymptotic evaluation of V1 reduces to the calculation of the n.s.e.
(10.3.3)
to which the problem of an asymptotic approximation for the number of solu-
tions of equation (10.3.2) reduces.
BIBLIOGRAPHY