arxiv:math/ v1 [math.nt] 24 Oct 2006

Transcription

1 Small Prime Solutions to Cubic Diophantine Equations arxiv:math/ v1 [math.nt] 24 Oct 2006 by Desmond Leung B.A., Wilfrid Laurier University, 2004 a thesis submitted in partial fulfillment of the requirements for the degree of Master of Science in the Department of Mathematics c Desmond Leung 2008 SIMON FRASER UNIVERSITY Summer 2006 All rights reserved. This work may not be reproduced in whole or in part, by photocopy or other means, without the permission of the author.

2 APPROVAL Name: Degree: Title of thesis: Desmond Leung Master of Science Small Prime Solutions to Cubic Diophantine Equations Examining Committee: Dr. Petr Lisonek Chair Dr. Stephen Kwok-Kwong Choi Senior Supervisor Dr. Jason Bell Supervisory Committee Dr. Yoonin Lee Supervisory Committee Dr. Nils Bruin Internal/External Examiner Date Approved: ii

3 Abstract Let a 1,...,a 9 be non-zero integers and n any integer. Suppose that a a 9 n mod 2) and a i,a ) = 1 for 1 i < 9. In this thesis we will prove that i) if each of the a s are not all of the same sign, then the cubic equation a 1 p a 9 p 3 9 = n has prime solutions satisfying p n 1/3 + max{ a } 20+ǫ ; and ii) if all a are positive and n max{ a } 61+ǫ, then the cubic equation is soluble in primes p. This result is motivated from the 2002 result for k = 2 by S.K.K. Choi and J. Liu. To prove the results we will use the well-known Hardy-Littlewood Circle method, which we will outline in the thesis. Lastly, we will make a note on possible generalizations of this particular problem. Keywords: Circle method, Number Theory, Goldbach s Conecture, Waring s Problem, Diophantine Equations iii

4 Dedication To truth and beauty. iv

5 Acknowledgments The author would like to thank his supervisor, Dr. Stephen Kwok-Kwong Choi, for all the invaluable support he has provided over the years. One cannot ask for a better supervisor and mentor than him. The author would also like to thank his committee members: Dr. Nils Bruin, Dr. Yoonin Lee, Dr. Jason Bell, as well as the committee chair Dr. Petr Lisonek for sitting in the committee and for the suggestions on the revision of the thesis. The author would also like to thank his former professor and friend, Dr. Edward Wang, for his mentorship, even up to this day. Lastly, the author would like to thank his Vancity colleagues and friends: Courtney Loo, Craig Cowan, Brett Hemenway, Alana McKenzie, Terry Soo, Daniel Soo, Chris Coulter, Mark Fenwick, Sarah Prien, and Ada Lam for the studying, eating, and chillaxing sessions. Their presence and companionship made this hard knock life enduring. v

6 Contents Approval ii Abstract iii Dedication iv Acknowledgments v Contents vi 1 Introduction The Goldbach-Waring Problem Goldbach s Conecture Waring s Problem The Waring-Goldbach Problem Our Specific Problem The Hardy-Littlewood Circle Method Applying the Circle Method to our Problem Preamble Treatment of the Maor Arcs Some Preliminary Lemmas Estimation of the Character Sums Building the Asymptotic Formula The Singular Series and Singular Integrals The proof of Lemma Treatment of the Minor Arcs Proofs of Theorems 3 and Remarks and Future Directions Bibliography vi

7 Chapter 1 Introduction 1.1 The Goldbach-Waring Problem Goldbach s Conecture The first known instance of the Goldbach s problem appeared in 1742 in the correspondence between Goldbach and Euler. It is stated as follows: Goldbach s Conecture. Every even number n 4 is the sum of two primes, and every odd integer n 7 is the sum of three primes. The even and odd numbers of prime numbers required are respectively referred to as the binary and the ternary Goldbach s conecture. Several authors took a variety of approaches to tackle the binary Goldbach s conecture. Although none of the results have been able to prove the binary case completely, the closest to date was obtained by J. R. Chen [5] in 1973, using ideas from sieve methods with careful analysis and treatment of the error terms. Theorem 1 Chen, 1973 [5]). Every sufficiently large even integer n can be represented 1

8 CHAPTER 1. INTRODUCTION 2 in the form n = p + P 2, where P 2 is a positive integer with at most two distinct prime factors. In the case of the ternary Goldbach s conecture, the first significant contribution was due to Hardy and Littlewood in 1923 [13][14], by using what is now known as the Hardy- Littlewood method, or the Circle method, which we will discuss in the next chapter. Their result depended on the Generalized Riemann Hypothesis GRH). In 1937, I. M. Vinogradov used an improved version of the Circle method to remove the dependence on GRH. Theorem 2 Vinogradov, 1937 [30]). Every sufficiently large odd integer is the sum of three primes. It is noted that this result holds only for sufficiently large value of n. One needs to check up to a given n 0 either numerically or by other methods for the proof to hold for all n 7. During this writing, the most current improvement is due to Liu and Wang [24], which says the Ternary Goldbach holds for n However, at the time of this writing, to check up to is still far from realistic to be verified by computation. It is important to note that under GRH, Theorem 2 will hold for n Waring s Problem The motivation for Waring s problem stems from Lagrange s four squares theorem in 1770, which states that every positive integer is the sum of four squares. Also in 1770, Waring proposed a generalized version of the four squares problem, which is referred to as Waring s problem. Waring s Problem. For every integer k 2, there exists an integer s = sk), which depends on k, such that every natural number n is the sum of at most s k-th powers of natural numbers.

9 CHAPTER 1. INTRODUCTION 3 A question was naturally raised: for any given k, if such an s exists, what would be the least positive integer s? It was conectured to be s 2 k +1, and was first proven by Hilbert using a very intricate combinatorial argument. Later, Hardy and Littlewood gave a much simpler proof for all powers k using their newly developed circle method. If Waring s problem was rephrased so to allow it to be true only when n is sufficiently large, it turns out we can decrease the number of terms decrease s) for Waring s problem to hold. One can find the most recent results in Kumchev and Tolev s expository paper [20] The Waring-Goldbach Problem Given the two problems listed above, for a given k 1 a natural question to ask would be, for sufficiently large n what would be the least s = sk) such that the equation n = p k 1 + p k p k s holds for primes p 1,...,p s. This is known as the Waring-Goldbach Problem and was first settled by Vinogradov [29] and Hua [17]. Over the years various authors proposed different variants of the problem, and some were solved while others are still open. One particular question was raised by Baker [2], which asked: if we have a s fixed integers a 1,...,a s, for sufficiently large n n 0 with n,a 1,...,a s ) = 1, is the equation n = a 1 p k a sp k s soluble in primes p 1,...,p s? Tsang and Liu made progress for the linear case k = 1 with s = 3 [22] and the quadratic case k = 2 with s = 5 [21]. Later, Choi and Liu [7] and Choi, Liu, and Tsang [8] studied the same problem but with the addition of a technical condition that requires the integers a 1,...,a s to be pairwise co-prime. In other words, a i,a ) = 1, 1 i < s.

10 CHAPTER 1. INTRODUCTION 4 With this condition much of the numerical computations can be reduced significantly. In particular, we avoid the use of Siegel zeros and the Deuring-Heilbronn phenomenon the interested reader may refer to [7]). Choi and Kumchev also studied the linear case k = 1 by taking a different approach, finding mean-value estimates to Dirichlet polynomials [6], which can improve the estimates for the maor arc. 1.2 Our Specific Problem For any integer n we will consider the cubic equation a 1 p a 2p a 9p 3 9 = n, 1.1) where p are prime variables and the coefficients a are non-zero integers. Either p = 2 for some or a a 9 n mod 2). 1.2) We also suppose a i,a ) = 1, n,a 1,...,a 9 ) = 1, 1.3) and denote D = max{2, a,1 9}. Our two main results are: Theorem 3. Suppose 1.2) and 1.3) holds. If a 1,...,a 9 are not all of the same sign, then 1.1) has solutions in primes p, satisfying p n 1/3 + D 20+ǫ, where the implied constant depends only on ǫ. Theorem 4. Suppose 1.2) and 1.3) hold. If a 1,...,a 9 are all positive, then 1.1) is soluble whenever n D 61+ǫ,

11 CHAPTER 1. INTRODUCTION 5 where the implied constant depends only on ǫ. We will prove these theorems using the circle method. The idea will be elaborated in Chapter 2. We will reiterate that similar to the paper [7], by imposing a stronger condition 1.3) than ust the natural condition 1.2) we need not deal with the possible existence of the Siegel zero and so the Deuring-Heilbronn phenomenon can be avoided, thus in contrast to [21] or [22] we can avoid much of the heavy numerical computations. 1.3 The Hardy-Littlewood Circle Method The following were excerpted from several sources, most notably from Heath-Brown [11], and from Vaughan [28]. The idea started when Hardy and Ramanuan were working on problems involving partition functions and sums of squares ca. 1919). Later, Hardy and Littlewood used these same ideas to prove Waring s problem. In 1937, Vinogradov refined the arguments Hardy and Littlewood used by introducing exponential sums to replace the need to count points on the arc of the unit circle. To put more in rigorous terms, let rn) be the number of solutions to the given Diophantine equation. Consider the generating function Fα) = r rn)eαn), where ex) := exp2πix). By the Fourier coefficient formula, we have r0) = 1 0 Fα)dα. If the coefficient rn) satisfy some arithmetic conditions the behaviour of Fn) will be determined by an appropriate rational approximation a/q to α, with small values of q usually producing large values of Fα). When α lies in an interval [a/q α,a/q + α] with q small, a maor arc, one hopes to estimate Fα) asymptoticly, while if the corresponding q is large, for the minor arcs, one hopes that Fα) will be small, at least on average.

12 CHAPTER 1. INTRODUCTION 6 To use this method, one uses the circle method by means of various mean-value estimates. Inequalities from Hua and Weyl both are in Vaughan [28]) give very good estimates for the minor arc, while the maor arc uses information given from zeros of Dirichlet L-functions to break the problem into the singular series and the singular integral. We would show that the singular series has a constant contribution, while we can derive an asymptotic formula from the singular integral, and that it dominates the minor arc.

13 Chapter 2 Applying the Circle Method to our Problem 2.1 Preamble We consider the prime solutions of the cubic diophantine equation 1.1), a 1 p a 2 p a 9 p 3 9 = n with integers a 1,...,a 9 and n satisfying conditions 1.2) and 1.3). We let N be a large parameter and set M so that CN M N, for some fixed constant 0 < C < 1. Let rn) be the weighted number of prime solutions of 1.1), rn) := n=a 1 p a 9p 3 9 M< a p 3 N log p 1 ) log p 9 ). Thus, rn) is a weighted count of the number of representations of n as a sum of the form 1.1) but in a restricted range. 7

14 CHAPTER 2. APPLYING THE CIRCLE METHOD TO OUR PROBLEM 8 Our aim is to ultimately show that rn) > 0, but we can do better in the sense that we can derive an asymptotic formula. We begin by defining a cubic exponential sum over primes, S α) := M< a p 3 N Our method utilizes the orthogonality of the exponential integral if α = 0, eαx)dx = 0 if α 0, log p)ea p 3 α). 2.1) which is an important tool to count the number of solutions to any given additive equation. Let Sα) = S 1 α) S 9 α). Since S α) is a trigonometric polynomial, we can calculate rn) by the Fourier coefficient formula, and so 1 0 Sα)e αn)dα = = = 1 0 =1 e αn) 9 =1 M< a p 3 N log p )ea p 3 α)dα 1 9 log p ) ea 1 p a 9p 3 9 n)α)dα M< a p 3 N 0 log p 1 ) log p 9 ), n=a 1 p a 9p 3 9 M< a p 3 N rn) = Let ǫ > 0 be any fixed real number and 1 0 Sα)e nα)dα. 2.2) L := log N, P := N/D) 1/10 ǫ. 2.3) We pick c > 0 such that Q = N PL c satisfies 2P < Q. Here, D = max{2, a 1,..., a 9 }. We need Dirichlet s Theorem on rational approximation as in Hardy and Wright [15]).

15 CHAPTER 2. APPLYING THE CIRCLE METHOD TO OUR PROBLEM 9 Theorem Dirichlet). Given any real number α and any positive integer Q, there exist integers a and q with 0 < q Q such that qα a 1 Q. Then from Theorem 2.1.1, each α [1/Q,1 + 1/Q] may be re-written in the form α = a/q + λ, λ 1/qQ), 2.4) for some integers a and q, with 1 a q Q and a,q) = 1. We denote Mq,a) to be the set of α satisfying 2.4) and define the maor arcs M and the minor arc m as follows: M := q [ 1 Mq,a), m := Q,1 + 1 ] \M. 2.5) Q q P a=1 a,q)=1 Proposition The maor arcs Mq,a) are mutually disoint. Proof. If a/q a /q, it follows from 2P < Q that q + q 2P < Q. Then a q a q = aq a q qq 1 1 qq > q + 1 ) ) 1 q. Q Hence, Mq,a) and Mq,a ) are disoint. In view of Proposition 2.1.1, we can split rn) into its maor and minor arcs, 1+1/Q rn) = Sα)e nα)dα = Sα)e nα)dα + Sα)e nα)dα. 2.6) 1/Q M As mentioned in Chapter 2, we expect that the contribution of the maor arc would be dominant and that of the minor arc is negligible. Definition A Dirichlet character mod q is a complex function χ q n) : Z C such that χ q 1) = 1 χ q n) = χ q n + q) χ q m)χ q n) = χ q mn) for all m,n if q,n) = 1, and χ q n) = 0 if q,n) 1. m

16 CHAPTER 2. APPLYING THE CIRCLE METHOD TO OUR PROBLEM 10 From the definition, for any Dirichlet character χ mod q, we define the cubic character sum to be C χ a) := q ak 3) χk)e, C q a) := C χ0 a), q k=1 where χ 0 is the principal character modulo q. If χ 1,...,χ 9 are Dirichlet character modulo q, we write and Bq,χ 1,...,χ 9 ) := q k=1 k,q)=1 e kn q ) 9 C χ a k), 2.7) =1 Aq) := Bq,χ 0,...,χ 0 ) φ ) q) Note that the functions Bq,χ 0,...,χ 0 ) and Aq) depend on a 1,...,a 9 and n which is fixed throughout, but for the sake of conciseness, we suppress this fact in our notation. We also define Fq,χ 1,...,χ 9 ) to be a summation similar to Bq,χ 1,...,χ 9 ), Define Fq,χ 1,...,χ 9 ) := q k=1 e kn q ) 9 C χ a k). 2.9) =1 SSn,x) = q x Aq), 2.10) and later we will show that SSn, ) exists and it is called the singular series. Denote Nq) := #{n 1,...,n 9 ) Z 9 : 1 n i q, a 1 n a 9 n 3 9 = n}, 2.11) Nq) := #{n 1,...,n 9 ) Z 9 : 1 n i q, n,q) = 1, a 1 n a 9n 3 9 n mod q)}. 2.12) By convention, we will denote the Euler Totient by φn), the number of divisors by dn), and the number of distinct prime factors to be ωn). p,p 1,p 2,... be always denote prime numbers, and c 1,c 2,... will always denote some unspecified but computable positive constants.

17 CHAPTER 2. APPLYING THE CIRCLE METHOD TO OUR PROBLEM Treatment of the Maor Arcs Some Preliminary Lemmas For each χ 1,...,χ 9 mod q), re-write Fq,χ 1,...,χ 9 ) as q k=1 e kn q ) 9 C χ a k) = =1 1 h q h,q)=1 =1,...,9 χ 1 h 1 ) χ 9 h 9 ) q ka1 h 3 1 e + + a 9h 3 9 n) ). q Note that q ka1 h 3 1 e + + a 9h 3 9 n) ) q if a 1 h 3 1 = + + a 9h 3 9 n mod q), q 0 otherwise. Thus k=1 k=1 Fq;χ 1,...,χ 9 ) = q q) χ 1 h 1 ) χ 9 h 9 ), 2.13) where q) denotes the sum over h 1,...,h 9 satisfying 1 h 1,...,h 9 q,h,q) = 1 and 9 a h 3 nmod q). In the case where χ 1 = = χ 9 = χ 0 mod q), we get =1 Fq;χ 0,...,χ 0 ) = qnq). 2.14) In other words, we have Nq) = q 1 q k=1 e nk ) 9 C χ0 a k). 2.15) q =1 For any prime p, let sp) := 1 + Ap). Notice that φp) 9 p k=1 k p k>1 e kn p ) 9 9 C p a k) = φp) 9 =1 =1 p 1 h =1 9 = φp) 9 p 1) =1 = φp) 9 φp) 9 = 1. ea h 3 p) )

18 CHAPTER 2. APPLYING THE CIRCLE METHOD TO OUR PROBLEM 12 We have an analogous result for Fq,χ 1,...,χ 9 ), sp) = 1 + φp) 9 1 h 1,...,h 9 p 1 p k=1 k,p)=1 e kn p ) 9 C p a k), 2.16) =1 p 1 p ) 9 kn = φp) 9 e p k=1 =1 p = φp) 9 e k=1 h =1 k p a h 3 e k ) ) p ) ) a h 3 n 9 =1 = φp) 9 Np)p. 2.17) Lemma Both Aq) and Fq) are multiplicative functions of q. Proof. Let q 1,q 2 ) = 1 and q = q 1 q 2. We write k = k 1 q 2 + k 2 q 1. Then Aq 1 q 2 ) = q 1 q 2 k,q 1 q 2 )=1 e kn ) 9 C q a k). q 1 q 2 =1 When k 1,k 2 run over the reduced residue systems modulo q 1 and q 2 respectively, k will run over the reduced residue system modulo q. So Aq 1 q 2 ) = = q 1 q 2 k 1,q 1 )=1 n 2,q 2 )=1 q 1 e k 1 =1 k 1,q 1 )=1 = Aq 1 )Aq 2 ). k 1n q 1 e nk 1q 2 + k 2 q 1 ) q 1 q 2 q1 q 2 ) 9 a h 3 ) ) k 1 q 2 + k 2 q 1 ) e q =1 1 q 2 h=1 ) 9 q1 a k 1 h 3 ) ) q 2 e e k ) 9 2n q2 a k 2 h 3 ) ) e q 1 q 2 q 2 =1 h=1 k 2 =1 k 2,q 2 )=1 =1 h=1 For Fq), in view of 2.15), the argument for Nq) is essentially the same as the one for Aq) Estimation of the Character Sums Lemma Let χ mod p α ) be any non-principal character and α 0, we have the following

19 CHAPTER 2. APPLYING THE CIRCLE METHOD TO OUR PROBLEM 13 a) If χ is primitive, α 1 and p a, then C χ a) = 0. b) If χ is principal mod p t ), p a, and t θ + max{θ,α}, where θ = 1 if p = 3, and θ = 2 if p 3, then C χχ0 a) = 0. c) C χ a) 33,p)a,p α ) 1/2 p α/2. Proof. a) Let a = a/p. Write k = u + vp α 1 for 1 u p α 1 and 1 v p. Then C χ a) = = p α k=1 p α 1 u=1 a k 3 ) p α 1 χk)e p α 1 = u=1 v=1 a u 3 ) p e p α 1 χu + vp α 1 ). v=1 p a χu + vp α 1 u + vp α 1 ) 3 ) )e Since the inner-sum over v is exactly zero, we have that C χ a) = 0. p α 1 b) For 1 h p t, write h = u + vp t θ, where 1 u p t θ,1 v p θ. Since t θ max{θ,α}, we have h 3 u 3 + 3u 2 vp t θ mod p t ) and h u mod p α ). Then we get p t θ au 3 C χχ0 a) = χχ 0 u)e u=1 p t 3au 2 ) v e. If u,p) > 1, then χχ 0 u) = 0. On the other hand, if u,p) = 1, then the inner-sum over v ) p θ v=1 will equal to zero. In either case, C χχ0 a) = 0, as required. p θ c) If χ is primitive and p a, then C χ a) = 0 from part a). If p a, we have p α a=1 C χ a) 2 = p α k,h=1 χk)χh) p α a=1 ak 3 h 3 ) ) e p α = p α χk)χh). 2.18) k 3 h 3 mod p α ) If X 3 1 mod p α ) and p 2, then X 1)X 2 + X + 1) 0 mod p α ). Completing the square on the above quadratic polynomial yields X + 2) mod p α ),

20 CHAPTER 2. APPLYING THE CIRCLE METHOD TO OUR PROBLEM 14 where mod p α ). This is equivalent to On the other hand, if 2.18) will give 2X + 1) 2 3 mod p α ). ) 3 1, there is only one solution to x 3 1 mod p α ). Hence, p If p α a=1 C χ a) 2 = p α k 3 h 3 mod p α ) χk)χh) = p α pα k=1 k, p α )=1 ) 3 = 1, we will get two incongruent solutions, namely p X 21 ± b) mod p), χk)χk) = φp α )p α. where b 2 3 mod p). Denote α 1 = 21 + b) mod p), and α 2 = 21 b) mod p). If n 3 m 3 mod p), then n m, α 1 m, or α 2 m mod p). Thus from 2.18), p C χ a) 2 = p1 + χα 1 ) + χα 2 )) a=1 p n=1 n,p)=1 χn) 2 3φp)p. If p 3 and α 1, denote fx) := X 3 1. Then we have f X) = 3X 2. The solutions to f X) = 3X 2 0 mod p), or X 0 mod p) is clearly different from the solutions to X mod p). It follows that f X) 0 mod p) and fx) 0 mod p) share no common root. We need a Theorem of Hensel s pg. 33 of Hua [16] or in Apostol [1]) and another theorem regarding the number of solutions to polynomial congruences pg. 32 of Hua [16]). Theorem Hensel). Let fx) = a n X n + + a 1 X + a 0 and f X) = na n X n a 2 X + a 1. If fx) 0 and f X) 0 mod p) have no common solution, then the two congruences, fx) 0 mod p α ) and fx) 0 mod p) have the same number of solutions.

21 CHAPTER 2. APPLYING THE CIRCLE METHOD TO OUR PROBLEM 15 Theorem Let p be a prime number. The number of solutions including repeated ones) to the congruence fx) = a n X n + + a 0 0 mod p) does not exceed n. We will continue proving Lemma c). In view of Theorem 2.2.1, the number of solutions to fx) X mod p α ) is the same as fx) X mod p). So by Theorem 2.2.2, the number of solutions is at most 3. By the same argument as above and from 2.18) we have p α a=1 C χ a) 2 = p α n 3 m 3 mod p α ) χn)χm) 3φp α )p α. ) 3 Now, we know that if p 1 mod 3), ie., when = 1, there are p 1 cubes that is, p 3 ) 3 there are at most 3 solutions to X 3 a mod p)), and if p 2 mod 3), ie., = 1, p there are p 1 cubes there is exactly one solution to x 3 a mod p)). The cubic residues have the form of 1 3,2 3,...,p 1) 3, and the two possible forms of a cubic nonresidues are b 1 3,b 2 3,...,b p 1) 3 and b 2 1 3,b 2 2 3,...,b 2 p 1) 3, and b is not a cubic residue with b,p) = 1. For the cubic residues, after substituting n an we have C χ a 3 ) = p α n=1 a 3 n 3 ) χn)e = p α p α n=1 ) n 3 χan)e = χa)c χ 1), p α and so C χ a 3 ) = C χ 1). Similarly, for the first type of cubic non-residues ie. of the form ba 3 ), after substituting n an we have C χ ba 3 ) = p α n=1 ba 3 n 3 ) χn)e = p α p α n=1 ) bn 3 χan)e = χa)c χ b), p α

22 CHAPTER 2. APPLYING THE CIRCLE METHOD TO OUR PROBLEM 16 so we have C χ ba 2 ) = C χ b) and C χ b 2 a 3 ) = C χ b 2 ). Therefore, we can rewrite 2.18) into its cubic residues and nonresidues as p α a=1 C χ a) 2 = φpα ) C χ a 3 ) 2 + C χ ba 3 ) 2 + C χ b 2 a 3 ) 2 ) 2.19) 3 3φp α )p α. For the first term, φp α ) C χ a 3 ) 2 /3 3φp α )p α, ie., C χ a 3 ) 2 9p α, ie., C χ a 3 ) 3p α/2. The other two terms can be shown similarly, C χ ba 3 ) 3p α/2 and C χ b 2 a 3 ) 3p α/2. Hence, C χ a) 3p α/2 = 3a,p α ) 1/2 p α/2. Now, consider the case when p α a. Write k = a/p α. Then C χ a) = On the other hand, p α h=1 χh)ekh 3 pα ) = χh) = 0 if χ χ 0, φp α ) if χ = χ 0. h=1 3a,p α ) 1/2 p α/2 = 3kp α,p α ) 1/2 p α/2 = 3p α φp α ), and so C χ a) 3a,p α ) 1/2 p α/2. Lastly, consider the case when p ω a, with 0 < ω < α, and a = a p ω. For 1 n p α, write k = u + vp α ω, where 0 < u p α ω and 0 < v p ω. Then k runs through the

23 CHAPTER 2. APPLYING THE CIRCLE METHOD TO OUR PROBLEM 17 complete reduced residue system mod p α. So after the substitution we get C χ a) = = = = p α k=1 p α ω ) ak 3 χk)e = p ω u=1 v=1 p α ω u=1 v=1 p α ω u=1 p ω p α p α ω k=1 a k 3 ) χk)e p α ω a χu + vp α ω u + vp α ω ) 3 ) )e χu + vp α ω )e a u 3 e p α ω ) p ω p α ω χu + vp α ω ). v=1 a u 3 + 3u 2 vp α ω + 3uv 2 p 2α ω) + v 3 p 3α ω) ) p α ω Let χ mod p η ) be a primitive character which induces χ. If η > α ω then p ω v=1 χu + vp α ω ) = and so C χ a) = 0. and so If η α ω then C χ a) = p α ω u=1 p ω v=1 a u 3 ) p ω e p α ω v=1 χ u + vp α ω ) = p p ω v=1 α η pω α+η v=1 χu + vp α ω ) = p ω χ u)χ 0 u), pα ω χu + vp α ω ) = p ω u=1 ) χ u + vp α ω ) = p α η 0 = 0, a u 3 ) e p α ω χ u)χ 0 u) = p ω C χ χ 0 a ), with χ 0 mod p α ω ). Since p a, we can use the bound proven in the first case and obtain C χ χ 0 a ) 3p α ω)/2. Hence, C χ a) p ω 3p α ω)/2 = 3a,p α ) 1/2 p α/2. This completes the proof of Lemma c).

24 CHAPTER 2. APPLYING THE CIRCLE METHOD TO OUR PROBLEM 18 Lemma Let χ mod r ) with = 1,...,9 be primitive characters, χ 0 be the principal character mod q), and r 0 = lcm[r 1,...,r 9 ]. Then q x r 0 q 1 φ 9 q) Bq,χ 1χ 0,...,χ 9 χ 0 ) r 3+ǫ 0. Proof. Lemma c) asserts that for any character χmod p α ) with α 0, we have C χ a) 33,p)a,p α ) 1/2 p α/2. Therefore, for character χ 1,...,χ 9 mod p α ) and from 2.8) 9 Bp α,χ 1,...,χ 9 ) p α 33,p)p α/2 ) 9 a,p α ) 1/ p 6α, where in the last inequality we have used the condition 1.3) that a i,a ) = 1; in fact, =1 9 a,p α ) 1/2 p α/2. =1 Since Bq,χ 1,...,χ 9 ) is multiplicative, Bq,χ 1,...,χ 9 ) = p α q Bp α,χ,...,χ 9 ) q ωq) q 6 d 18 q), where we used the fact that 3 ωq) dq) from Hardy and Wright [15]. Thus, we have Since k taking q = r 0 k obtains q x r 0 q φk) = p k q x r 0 q 1 φ 9 q) Bq,χ 1χ 0,...,χ 9 χ 0 ) q 6 d 18 q) φ 9 q). q x r 0 q 1 1 p q 6 d 18 q) φ 9 q) because dq) q ǫ, for some ǫ > 0. ) 1 q x r 0 q d27 r 0 ) r 3 0 p k ) p d k 1 d dk), d 27 q) q 3 d27 kr 0 ) kr 0 ) 3 1 k x/r 0 d27 k) k 3 k x/r 0 r 3+ǫ 0,

25 CHAPTER 2. APPLYING THE CIRCLE METHOD TO OUR PROBLEM Building the Asymptotic Formula Lemma Let M be the maor arcs defined in 2.5). Then we have M S 1 α) S 9 α)e nα)dα 1 3 9SSn,P)Jn) N 2 where A > 0 is some constant and Proof. For = 1,...,9, set and Jn) := m 1 m 9 ) a 1 m 1 + +a 9 m 9 =n M< a m 3 N 2/3. N := N/ a, M := M/ a, V λ) := a 1 a 9 1/3 L A, M< a m 3 N ea m 3 λ), W χ,λ) := log p)χp)ea p 3 λ) δ χ ea m 3 λ), 2.20) M< a p 3 N M< a m 3 N where 1 if χ = χ 0, δ χ := 0 otherwise. Note that when q P and M < a p 3 N, we have q,p) = 1, and so W χ χ 0,λ) = W χ,λ) for primitive characters χ. By introducing Dirichlet characters, we can rewrite the exponential sum S α) as S h q + λ ) = C χ 0 a h) V λ) + 1 φq) φq) χmod q) C χ b h)w χ,λ) =: T + U, see for example, 2) 26, [9]) where T and U is to denote the first and second term, respectively. The first and second term can be re-interpreted as the explicit formula for finding zeros of the Dirichlet L-functions over the principal and primitive characters, respectively.

26 CHAPTER 2. APPLYING THE CIRCLE METHOD TO OUR PROBLEM 20 Substituting into the maor arc integral gives S 1 α) S 9 α)e nα)dα M = q P q h=1 h,q)=1 e hn ) ) h h S 1 q Ma,q) q + λ S 9 )dλ q + λ = I I 9, 2.21) where I ν is the contribution from those products with ν pieces of U and 9 ν pieces of T, I ν := q e hn ) ) 1/qQ) U i T )e nλ)dλ. 2.22) q q P 1/qQ) i I h=1 h,q)=1 I {1,2,...,9} I =ν {1,...,9}\I We expect that T will contribute to the main term while U will be negligible. In fact, we will show that I 0 gives the main term while I 1,...,I 9 will contribute to the error term. In view of 2.22), we can reduce the characters in I 9 into primitive characters, I 9 = Bq,χ 1,...,χ 9 ) 1/qQ) φ 9 W 1 χ 1,λ) W 9 χ 9,λ)e nλ)dλ q) q P χ 1 mod q) χ 9 mod q) 1/qQ) Bq,χ 1 χ 0,...,χ 9 χ 0 ) φ 9 q) r 1 P r 9 P χ 1 mod r 1 ) χ 9 mod r 9 ) q P r 0 q 1/qQ) W 1 χ 1 χ 0,λ) W 9 χ 9 χ 0,λ) dλ, 1/qQ) where χ 0 is the principal character modulo q and r 0 = lcm[r 1,...,r 9 ]. As mentioned previously, since q P and M < a p 3 N, we have q,p) = 1, and so W χ χ 0,λ) = W χ,λ) for the primitive characters χ above. Consequently, by Lemma we obtain I 9 r 1 P q P r 0 q r 1 P 1/r 0 Q) r 9 P χ 1 mod r 1 ) χ 9 mod r 9 ) 1/r 0 Q) Bq,χ 1 χ 0,...,χ 9 χ 0 ) φ 9 q) r 3+ǫ 1/r 0 Q) 0 r 9 P χ 1 mod r 1 ) χ 9 mod r 9 ) 1/r 0 Q) W 1 χ 1,λ) W 9 χ 9,λ) dλ W 1 χ 1,λ) W 9 χ 9,λ) dλ.

27 CHAPTER 2. APPLYING THE CIRCLE METHOD TO OUR PROBLEM 21 We have the bound r 3+ǫ 0 = lcm[r 1,...,r 9 ] 3+ǫ r 1/3+ǫ 1 r 1/3+ǫ 9, which can be shown by elementary means. and We define the L 2 norm and sup-norm estimates for W. where K := r P r 1/3+ǫ J := r P 1/2 1/rQ) W χ,λ) dλ) 2, 2.23) χ mod r) r 1/3+ǫ χmod r) 1/rQ) max W λ,χ), 2.24) λ 1/rQ) χmod r) is over all the primitive characters modulo r. We expect K will be considerably smaller than J due to the cancellation in the integral. Lemma i) For any fixed A > 0, we have ii) For any fixed A > 0, we have The proof of Lemma will be given in section K A a 1/3 N 1/6 L A. 2.25) Using these estimates and Cauchy s inequality, we obtain I 9 K 1 K 2 9 =3 2 =1 J r P 9 =3 r P r 1/3+ǫ N7/3 N 1/3 a 1 a 9 1/3 L A r 1/3+ǫ J A N 1/3 L A. 2.26) ) 1/2 1/r Q) W 1 χ,λ) 2 dλ 1/r Q) max W χ,λ) λ 1/r Q) χ mod r ) χ mod r ) N 2 a 1 a 9 1/3 LA. 2.27)

28 CHAPTER 2. APPLYING THE CIRCLE METHOD TO OUR PROBLEM 22 For the other I ν, we need an estimate for V. Lemma We have V λ) = <m N 1/3 ea m 3 λ) N 1/3, 2.28) and { 1/2 1/Q H := V λ) dλ} 2 N 1/6 a 1/ ) 1/Q Proof. The proof for 2.28) is trivial. For 2.29), we have V λ) = <m N 1/3 1/3 N = ea λm 3 ) = ea λt 3 )dt N 1/3 N 1/3 ea λt 3 )d[t] ea λt 3 )d{t}, 2.30) where t = [t] + {t}, [t] and {t} is the integral and fractional parts of t, respectively. The second term of the right-hand side of 2.30) can be bounded by using integration by parts, N 1/3 ea λt 3 )d{t} = {t}ea λt 3 ) N 1/3 N 1/3 {t}dea λt 3 ). 2.31) The first term of the right-hand side of 2.31) is 1, while the second term can be bounded, N 1/3 {t}dea λt 3 ) = 3a λ a λ N 1/3 1/3 N {t}t 2 ea λt 3 )dt t 2 dt a λ N = N λ. For the first term of the right-hand side of 2.30), after substitution becomes N 1/3 N ea λt 3 )dt = 1 ea λt) 3 M t 2/3 dt = 1 ea λm) 3 m 2/3. M <m N

29 CHAPTER 2. APPLYING THE CIRCLE METHOD TO OUR PROBLEM 23 Hence, V λ) = 1 3 We also have the elementary bound M <m N ea λm) m 2/3 + O1 + λ N). 2.32) M <m N ea λm) m 2/3 min{n 1/3,M 2/3 a λ 1 } a 1/3 min{n 1/3,M 2/3 λ 1 }. Therefore, in view of 2.32) and 2.33), We can substitute V λ) into H, 1/Q H 2 = V λ) 2 dλ 1/Q 1/N 1/N { } V λ) N 1/3 1 min 1, λ N). N λ N 2/3 dλ + 1/Q 1/N N 2/3 1 N λ ) 2dλ + a 2/3 N 1/3 + a 2/3 N 1/3 + P 3 a 2/3 N 1/3, N 1/Q 1/Q 1 + λ N) 2 dλ 2.33) provided that N P 4.5. For ν = 8,...,1, we use Cauchy s inequality and Lemma to obtain I ν ) a m 1/3 N 7/3 Therefore, it follows that I {1,...,9} I =2 L={1,...,9}\I i I K i) m L N 2 a 1 a 9 1/3 LA. 2.34) I 1,..., I 9 N 2 a 1 a 9 1/3 LA. 2.35)

30 CHAPTER 2. APPLYING THE CIRCLE METHOD TO OUR PROBLEM 24 yields In view of 3.20), it remains to compute the main term I 0. Substituting 2.30) into I 0 I 0 = O q P Bn, q) φ 9 q) q P Bn, q) φ 9 q) 1/qQ) { 9 1/qQ) =1 1/qQ) 1/qQ) M< a m N L {1,2,...,9} L =8 } ea λm) e nλ)dλ m 2/3 { L M< a m N ea λm) m 2/3 } ) 1 + λ N) dλ. For the error term, by 2.32) and Lemma with r 0 = 1 because χ here are principal), we have q P Bn, q) φ 9 q) 1 a 8/3 1 a 4/3 q P 1/qQ) 1/qQ Bn, q) φ 9 q) { N 4/3 λ So by Hölder s inequality, q P q P q P Bn, q) φ 9 q) Bn, q) φ 9 q) Bn, q) φ 9 q) L {1,2,...,9} L =8 1/qQ) M< a m N { 1/M 2/3 N 1/3 ) 0 1/M 2/3 N 1/3 ) 0 1/qQ) 1/qQ) L {1,2,...,9} L =8 1/qQ) L {1,2,...,9} L =8 L {1,2,...,9} L L =8 L q P ea λm) m 2/3 + N 1 M 8/3 λ 2 L L 1/qQ) Bn, q) φ 9 q) Using 2.36) the last bound becomes 1/qQ) 1/qQ) 1/qQ) 8 ) 1 + λ N) dλ 1/Q N 8/3 dλ + M 8/3 λ 3 dλ 1/M 2/3 N 1/3 ) } 1/Q M< a m N 1/M 2/3 N 1/3 ) M< a m N M< a m N M< a m N N1/3 a 1 a 8 1/3. ea λm) m 2/3 ea λm) m 2/3 } N1/3 a 4/ ) ) 1 + λ N) dλ ) 1 + λ N) dλ ea λm) 8 1/8 m 2/3 1 + λ N)) dλ ea λm) 8 1/8 m 2/3 1 + λ N)) dλ.

31 CHAPTER 2. APPLYING THE CIRCLE METHOD TO OUR PROBLEM 25 The other error terms in 2.36) can be treated similarly and they are a 1 a 9 1/3 N 2/3. We can extend the integral in the main term of 2.36) to [ 1/2,1/2]; by Lemma and 2.32), the resulting error is 1 1/2 a 1 a 9 1/3 M 6 λ 9 dλ 1/PQ) where we have used 2.3). Thus 2.36) becomes I 0 = 1 3 9SSn,P)Jn) + O PQ) 8 a 1 a 9 1/3 M 6 N 2 a 1 a 9 1/3 L c, N 2 a 1 a 9 1/3 L A Therefore, Lemma follows from 2.21), 2.34), and 2.37). This completes the proof of Lemma ). 2.37) The Singular Series and Singular Integrals In this section, we study the singular series and singular integrals. Lemma For = 1,...,9, let χ mod p α ) be primitive characters and take α = max{α 1,...,α 9 }. For any t α and for the function Bp t,χ 1 χ 0,...,χ 9 χ 0 ) with χ 0 is modulo p t, we have the following: a) Bp α,χ 1 χ 0,...,χ 9 χ 0 ) = Fp α,χ 1 χ 0,...,χ 9 χ 0 ), b) Bp t ) = 0 if t θ + max{θ,α}, where θ = 1 if p 3 and θ = 2 if p = 3, η c) φp ν ) 9 Bp ν ) = φp η ) 9 Fp η ) for any η α. ν=α Proof. a) Without loss of generality, assume α = α 1 1. By comparing 2.7) and 2.9) it 5 suffices to show that C χ χ 0 a h) = 0 for each h divisible by p. However, since χ 1 mod =1 p α ) is primitive, Lemma a) asserts that C χ1 χ 0 a 1 h) = 0. This proves a). b) This follows directly from 2.4) with q = p t and Lemma b), since by 1.3), p does not divide some a h.

32 CHAPTER 2. APPLYING THE CIRCLE METHOD TO OUR PROBLEM 26 c) Rewrite the sum in Bp ν ) as p ν h=1 p ν h=1 p h. The first sum is exactly Fp ν ). When we set h = ph, we can factor p out of each C χ and so the second sum is precisely p 9 Fp ν 1 ) when v max{α + 1,2}. So φp ν ) 9 Bp ν ) = φp ν ) 9 Fp ν ) φp ν 1 ) 9 Fp ν 1 ), for ν α + 1. The validity of this relation for ν = 1,α = 0 can be verified directly. By summing both sides for ν = α + 1,...,η and using a) we obtain c). Corollary a) Ap α ) = 0 for primes p 3,α 2 and A3 α ) = 0 for α 4. b) p η φp η ) 9 Np η ) = pφp) 9 Np) for primes p 3,η 1. c) 3 η φ3 η ) 9 N3 η ) = 3 3 φ3 3 ) 9 N3 3 ) for η 3. Proof. To prove a), take χ 1 = = χ 9 = χ 0 and α = 0, as in Lemma Then by 2.14) and 2.8), we see that Ap ν ) = φp ν ) 9 Bp ν ) and Np ν ) = p ν Fp ν ). The corollary follows from Lemma 3.4 b) and c) since θ = 1 if p 3 and θ = 3 if p = 3. Lemma We have An,p) < c 1 p 9/2 for all p a 1 a 9, and p 3, for some constant c 1. Proof. From Lemma c), with k = 1,...,p 1, for each character sum with the principal character, C χ0 a k) 33,p)a k,p) 1/2 p 1/2 p 1/2. Then p 9 An,p) φp) 9 C χ0 a k) k=1 =1 p 9 p 9/2 = p 9/2.

33 CHAPTER 2. APPLYING THE CIRCLE METHOD TO OUR PROBLEM 27 Lemma i) For x > 0 and some constant c 2 > 0, An,q) x 1 log c x + 2). q>x So the singular series SSn) := SSn, ) is absolutely convergent. ii) We have SSn) log log D) c for some constant c > 0. Proof. i) Let σ = logx + 2)) 1. From Lemma and Corollary a), we have An,q) q>x q=1 q ) 1 σ An,q) = x 1+σ q 1 σ An,q) x x p 1 σ An,p) ), 2.38) p q=1 because x σ 1. From Lemma 2.2.8, p a 1 a p 1 σ An,p) ) x 1 p a 1 a c ) 1 p 4+σ p 1 p 4 σ ) c 1 = ζ1 + σ) c 1 σ c 1 = log c 1 x + 2), 2.39) for some constant c 1 > 0. Similarly, for p a 1 a 9, by 1.3), p a 1 a p 1 σ An,p) ) x 1 p a 1 a c ) 2 p 3+σ log c 2 x + 2), 2.40) for some constant c 2 > 0. i) then follows from 2.38), 2.39) and 2.40). ii) From 2.15) and 1.3), we have Np) = p 8 + Op 7 ). It follows from Lemma that

34 CHAPTER 2. APPLYING THE CIRCLE METHOD TO OUR PROBLEM 28 for some large constant c > c 1, SSn) = p 1 + An,p)) p a 1 a 9 p>c 1 c ) p p a 1 a 9 p>c Therefore, ii) follows from the well-known estimate 1 c ) 1 c ) 1 p p 4 p a 1 a 9 p>c p a 1 a p 1 ) 1+c). 1 + p 1 ) log log x. p x Lemma Suppose 1.3) and either i) a s are not all of the same sign and N C n, for some constant C; or ii) all a s are positive and n = N. Then we have Jn) = m 1 m 9 ) a 1 m 1 + +a 9 m 9 =n M< a m 3 N 2/3 N 2 a 1 a 9 1/ ) Proof. We derive the following inequalities: a 1 m 1 + +a 9 m 9 =n M< a m N where a 8 a 8 1 mod a 9 ). 1 = n a 1 m 1 + +a 8 m 8 ) 0 mod a 9 ) M< a m N,=1,...,8 M <m N =1,,7 1 m 8 a 8 n a 1 m 1 + +a 7 m 7 )) mod a 9 ) M 8 <m 8 N 8 N 1 N 2 N 7 N 8 a 9 N8 a 1 a 9, To establish inequalities in the other direction, we first consider case ii) in which all a s are positive and n = N. If M < a m N/9 for = 1,...,8, then M < N/9 = N 8N/9) N a 1 m a 8 m 8 ) = a 9 m 9 < N. 1 )

35 CHAPTER 2. APPLYING THE CIRCLE METHOD TO OUR PROBLEM 29 It follows that a 1 m 1 + +a 9 m 9 =n M<a m N, =1,...,9 1 Case i) can be treated similarly, and so we have Therefore, a 1 m 1 + +a 9 m 9 =n M< a m N n a 1 m 1 + +a 8 m 8 ) 0 mod a 9 ) M<a m N/9, =1,...,8 a 1 m 1 + +a 9 m 9 =n M< a m N m 1 m 9 ) 2/3 from which the desired result follows. = 1 N 8 a 1 a 9, a 1 m 1 + +a 9 m 9 =n M< a m N N 9 a 1 a 9 ) a 1 a 9 2/3 = N 6 N 2 a 1 a 9 1/3, 1 N8 a 1 a 9. N 1 N 9 ) 2/3 ) 2/3 a 1 m 1 + +a 9 m 9 =n M< a m N N 8 a 1 a 9 ) The proof of Lemma In this section, we prove the estimates to K and J in Lemma Proof of Lemma Define Note that Ŵ χ,λ) := M< a n 3 N W χ,λ) Ŵχ,λ) = m 2 Λn)χn)ea n 3 λ) δ χ M< a p 3m N M< a m 3 N ea m 3 λ). log p)χp)ea p 3m λ) N 1/ )

36 CHAPTER 2. APPLYING THE CIRCLE METHOD TO OUR PROBLEM 30 By a dyadic argument: For 1 R P, if then gr) = 1/2 1/rQ) W χ,λ) dλ) 2, χ mod r) r 1/3+ǫ gr) = r P 1/rQ) 0 m log P log 2 0 m log P log 2 gr)p r P 2 m gr) r P 2 m log P r 1/3+ǫ gr) 2 m ) 1/3+ǫ P P 2m+1 r P 2 m 1/3+ǫ 0 m log P log 2 r P 2 m gr). It follows that by the definition of K in 2.25), we have K Lmax R P Lmax R P Lmax R P r R r R r R r 1/3+ǫ r 1/3+ǫ r 1/3+ǫ r P 0 m log P log 2 1/rQ) W χ,λ) 2 dλ χ mod r) 1/rQ) 1 2 m gr) ) 1/2 2 m1/3 ǫ) ) 1/2 1/rQ) Ŵχ,λ) 2 dλ + R7/6+ǫ L c/2 P 1/2 a 1/6 N 1/3 χ mod r) 1/rQ) 1/2 1/rQ) Ŵχ,λ) dλ) 2 + a 1/3 N 1/6 L A, χ mod r) because N P 10+ǫ a and by 2.42). 1/rQ) Thus to establish 2.25) it suffices to show that for any fixed A > 0, 1/2 1/rQ) Ŵχ,λ) dλ) 2 A a 1/3 R 1/3 ǫ N 1/6 L A 2.43) r R χmod r) holds for R P. 1/rQ) We will need Gallagher s lemma Lemma 1 in [10]).

37 CHAPTER 2. APPLYING THE CIRCLE METHOD TO OUR PROBLEM 31 Lemma Gallagher). Let St) = cν)eνt) 2.44) be an absolutely convergent exponential sum, and cν) be arbitrary complex numbers. Also, let δ = θ/t, with 0 < θ < 1. Then T T St) 2 dt θ In view of Gallagher s Lemma, we have 1/rQ) 1/rQ) Ŵχ,λ) 2 dλ 1 RQ) 2 δ 1 1 N RQ) 2 M rq x+δ 2 cν) dx. x t< a m 3 t+rq M< a m 3 N X<m 3 Y where X = maxt,m)/ a, and Y = mint + rq,n)/ a. Let D 1,...,D 10 be positive numbers such that 2 Λm)χm) δ χ ) dt 2 Λm)χm) δ χ ) dt, 2.45) D 1 D 2 D 10 N 1/3, and D ν N 1/5, for ν = 6,...,10. We also let log n if ν = 1, a ν n) := 1 if 1 < ν 5, µn) if 6 ν 10. We define the following functions of a complex variable s: f s,χ) := a ν n)χn) n s, Fs,χ) := n D i 10 ν=1 f s,χ). We will state Heath-Brown s identity see 4 of Choi [7]) for k = 5, which says that ζ 5 5 ) 1) ζ s) = ν 1 ζ s)ζ ν 1 s) + ζ ν ζ s)1 ζs)gs))5, ν=1

38 CHAPTER 2. APPLYING THE CIRCLE METHOD TO OUR PROBLEM 32 where ζs) is the Riemann zeta-function, and Gs) = m N 1/15 µm)m s. The reason why we choose k = 5 is that the identity with k 4 will give weaker results, and when k 6 it produces the same estimate as the case k = 5. Equating coefficients of the Dirichlet series on both sides provides an identity for Λm). Also, for m N 1/3 coefficient of m s in ζ /ζ)s)1 ζs)gs)) 5 is zero. Thus, 5 ) 5 Λm) = 1) ν 1 log m 1 )µm ν+1 ) µm 2ν ). ν ν=1 m 1 m 2ν =m m ν+1 m 2ν N 1/3 Applying this identity to the inner sum in 2.45), X<m 3 Y the Λm)χm) δ χ ), 2.46) by the dyadic argument again, we find that 2.46) is a linear combination of OL 10 ) terms, each of which is of the form σt;d) = m 1 D 1 m 10 D 10 <m 1 m 10 N 1/3 a 1 m 1 )χm 1 ) a 10 m 10 )χm 10 ), where D denotes the vector D 1,...,D 10 ). We need Perron s summation formula see Lemma 3.12 in [27] for example). a n Theorem Perron s formula). Let fs) = be a Dirichlet series that is absolutely convergent for Res) > 1. For x not an integer and σ > 1, we have ns n=1 a n = 1 σ+it fs) xs 2πi s ds + O x ) )) σ 1 an min 1,. n T logx/n) n x σ it n=1 By using Perron s formula and then shifting the contour to the left, the above σu; D) is = 1 1+1/L+iT 2πi 1+1/L it { 1/2 it = 1 2πi 1+1/L it Fs,χ) Y s X s ds + O s 1/2+iT + + 1/2 it 1+1/L+iT 1/2+iT N 1/3 L 2 } T + O ) 1/3 ) N L 2, T

39 CHAPTER 2. APPLYING THE CIRCLE METHOD TO OUR PROBLEM 33 where T is a parameter satisfying 2 T N 1/3. The integral on the two horizontal segments above can be easily estimated as max Fσ ± it,χ) uσ 1/2 σ 1+1/L T on using the trivial estimate Thus, Fσ ± it,χ) 10 ν=1 max 1/2 σ 1+1/L N1 σ)/3 f ν σ ± it,χ) D 1 σ 1 L) 10 ν=2 D 1 σ ν σt;d) = 1 T ) 1 1 Y 3 1 +iu) F 2πi T 2 + iu,χ 2 X iu) iu du + O Note that for any 0 < β < 1, Y β X β t + rq)β t β a β = tβ {1 + rq/t) β 1} a β 1/3 L Y σ T N T L, N 1 σ)/3 L. N 1/3 L 2 T ). 2.47) rq a β, 2.48) M1 β where in the last step we used M rq t N and rq 2RQ 2PQ ML c, and the fact that t β {1 + rq/t) β 1} t β {1 + rq/t) 1} = t β rq/t) = rq For χ = χ 0 mod 1), 2.46) becomes rq rq = M rq) 1 β M 1 β Y 1/3 X 1/3 a 1/3 M 2/3 Q by 2.48) with r = 1. This contributes to 2.45) acceptably. t 1 β 1 + rqm )) rq 2 + O For χ χ 0 mod 1), we have δ χ = 0 in 2.46). Then one can see that Y iu) X iu) iu = 1 3 Y X t 5/6+iu/3 dt = 1 3 Y X M 2 rq M 1 β. u ) t 5/6 e 6π log t dt Y 1/6 X 1/6. The integral can be easily estimated by 2.48) as Y 1/6 X 1/6 a 1/6 M 5/6 RQ. On the other hand, one has trivially Y iu) 2 X iu) iu Y 1/6 u N1/6. u

40 CHAPTER 2. APPLYING THE CIRCLE METHOD TO OUR PROBLEM 34 Together with the two upper bounds yields Y iu) 2 X iu) 2 RQ iu min M 5/6 a 1/6, N u Taking T = N 1/3 and T 0 = N/QR, we see that σt;d) RQ a 1/6 N 5/6 + N1/6 a 1/6 Consequently, from 2.46), X<m 3 Y Hence from 2.45), 1/rQ) 1/rQ) u T 0 T 0 < u T Λm)χm) δ χ ) RQL10 a 1/6 N + max D Ŵχ,λ) 2 dλ max D + max D 5/6 max D N 1/6 L 10 a 1/6 u T 0 1/6 ) ) 1 RQ N1/6 min a 1/6 N5/6,. u ) 1 F 2 + iu,χ du ) 1 F 2 + iu,χ dt u + L ) u T 0 T 0 < u T ) 1 F 2 + iu,χ du ) 1 F 2 + iu,χ dt u + L12. ) ) 1 2 F 2 + iu,χ du ) ) 1 F 2 + iu,χ du 2 u ) ) 1 2 F u T iu,χ ) 1 F 2 + iu,χ du u T 0 < u T L 20 a 1/3 max N2/3 D + L20 N 4/3 a 1/3 RQ) 2 max D + Lc N RQ) 2. T 0 < u T Taking square-root, and summing over primitive characters χmod r) and then summing ) 2

41 CHAPTER 2. APPLYING THE CIRCLE METHOD TO OUR PROBLEM 35 over r R, r R χ mod r) 1/rQ) 1/rQ) L 10 a 1/6 N 1/3 + L10 N 2/3 a 1/6 RQ) + Lc/2 N 1/2 R. Q ) 1/2 Ŵχ,λ) 2 dλ max D r R χ mod r) max D r R χ mod r) u T 0 T 0 < u T ) ) 1 F 2 + iu,χ ) ) 1 F 2 + iu,χ du u Thus to prove 2.43) it suffices to show that the estimate 2T 1 ) 1 F 2 + iu,χ du R 1/3 ǫ N 1/6 2.50) r R χ mod r) T 1 holds for R P and 0 < T 1 T 0, and the estimate 2T 2 ) 1 F 2 + iu,χ du R 1/3 ǫ RQ N 5/6 a 1/6 r R χ mod r) T 2 holds for R P and T 0 < T 2 T. To prove 2.50) and 2.51) we need the following two lemmas. Lemma For any P 1, T 1, and k = 0,1, T ) 1 4dt Lk) 2 + it,χ P 2 Tlog PT) 4k+1). r P χmod r) T Lemma For any P 1, T 1 and any complex numbers a n, T r P χ mod r) T M+N n=m a n χn)n it 2dt M+N n=m P 2 T + n) a n 2. ) T 2 L c 2.51) The proofs for Lemma and Lemma can be found in [25], Chapters 2 and 3, respectively. Proposition If there exist natural numbers D k,d l, with 1 k,l 5, such that their product D k D l P 4/3, then the estimate 2.50) holds.

42 CHAPTER 2. APPLYING THE CIRCLE METHOD TO OUR PROBLEM 36 Proof. Without loss of generality, suppose that l = 1, D 1 = log n and k = 2, D 2 = 1. Arguing exactly as in the proof of Proposition 1 in Zhan [31], we find for f 1, and so ) 1/3 1 N f it,χ L N 1/3 2T 1 r R χ mod r) T 1 1/3 N L 4 L 5 N 1/3 max P N 1/3 f 1 du 1 + u P P/2 ) it,χ dt ) 1 4 L 2 + it + iu,χ T 1 +u r R χ mod r) u du 1 + u ) du 1/4 + L, 1 + u ) 1 4 L 2 + it,χ dt + T 1 R 2 L 4 T 1 +u r R χmod r) u ) 1 4 L 2 + it,χ dt + T 1 R 2 L 4. Interchanging order of summation and using Lemma , 2T1 L 4 max P 1 P+t ) 1 4 L 2 + iu,χ du dt + T 1 R 2 L 4 P N 1/3 R 2 T 0 L c, T 1 r R χ mod r) P/2)+t since 0 T 1 T 0. The inequality holds for f 2 as well, with an extra power of log N. Using and Hölder s inequality, we obtain 2T 1 ) 1 F 2 + it,χ dt r R χ mod r) T 1 2T 1 r R χ mod r) T 1 2T 1 r R χ mod r) T 1 2T 1 r R χ mod r) T 1 f 1 f 2 10 k=3 ) R 2 T 0 ) 1/2 R 2 T 0 + N1/3 1/2 L c D 1 D 2 N 1/6 R 1/3 ǫ L A, ) 1 4 ) 1/4 2 + it,χ dt ) 1 4 ) 1/4 2 + it,χ dt ) 2 1 ) 1/2 f k 2 + it,χ dt

43 CHAPTER 2. APPLYING THE CIRCLE METHOD TO OUR PROBLEM 37 by the definition of T 0 and the condition of the proposition. Proposition Let V = {1,2,...,10}. If V can be divided into two disoint subsets V 1 and V 2 such that then the estimate 2.50) holds. { } max D i, D i N 1/3 P 4/3 ǫ, i V 1 i V 2 Proof. Denote Also, for k = 1,2, let S k := i V k D i, k = 1,2. F k s,χ) = i V k f i s,χ) = n S k b k n)χn)n s, where b k n) is a convolution of the coefficients a k n), with the property that b k n) d c n), for some constant c > 0. Applying Lemma and the fact that we have 2T 0 r R χmod r) T 0 d k n) xlog x) kc), n x ) 1 F 2 + it,χ dt 2 If S 1,S 2 N 1/3 P 4/3 ǫ, then the above becomes 2T 0 k=1 r R χ mod r) T 0 F k R 2 T 0 + S 1 ) 1/2 R 2 T 0 + S 2 ) 1/2. ) it,χ dt 2.52) R 2 T 0 + RT 1/2 0 N 1/6 P 2/3 ǫ + N 1/6 L C. 2.53) From the proof of the proposition an estimate P N 1/10 ǫ would suffice.

44 CHAPTER 2. APPLYING THE CIRCLE METHOD TO OUR PROBLEM 38 Now we can finish proving 2.50). In view of Proposition we may assume N 1/15 D k D l P 4/3+ǫ N 2/15, 1 k,l 5, with k l. Therefore, by the pigeon-hole principle, there exists at most one D k, with 1 k 10 such that D k N 1/15. If exists, denote it by D k0, otherwise, take D k0 = 1. Reorder the remaining D k as follows: D k1 D k2 D kb, where B = 9 or 10. Find an integer 1 l B 1 such that Denote We therefore have l 1 h=0 D kh N 2/15, but S 1 := l h=0 l D kh, and S 2 := h=0 D kh N 2/15. B D kh. h=0 S 1 N 2/15 D kl N 1/5, and S 2 N 1/15 S 1 1 N 1/5. The two sets S 1 and S 2 satisfy the conditions of Proposition. Hence 2.50) is proved. We can now prove 3.26). We have J Lmax R P J R), where J R) is defined similarly to J except that the sum is over r R. The estimation of J R) falls naturally into two cases depending on R is small or large. For R > L C, where C is some positive constant, one can use the machinery that was already developed for K in Lemma We will prove this in Lemma While for R L C, one uses the classical zero-density estimate and zero-free region of the Dirichlet L-functions, as we will show in Lemma We first establish the following result for large R.

45 CHAPTER 2. APPLYING THE CIRCLE METHOD TO OUR PROBLEM 39 Lemma There exists a constant c = ca) > 0 such that when L C < R P, J R) N 1/3 L A, for all A > 0, where the implied constant depends at most on A. Proof. To prove this result, it suffices to show that r R χmod r) max W χ,λ) R 1/3 ǫ N 1/3 L A, 2.54) λ 1rQ) holds for L c < R P and arbitrary A. From 2.42), it is more convenient to use Ŵχ,λ) in place of Wχ,λ) with difference ON 1/6 ). Following the proof of 2.25), recall 2.47), σt;d) = 1 T ) 1 1 t 3 1 +iu) F 2πi T 2 + iu,χ 2 X iu) iu du + O N 1/3 L 2 Using Riemann-Stieles integration, integration by parts on Ŵχ,λ), and then re-arranging the terms, Ŵ χ,λ) will be a linear combination of OL 10 ) terms, each of which is of the form Ŵ χ,λ) = M< a m 3 N = 1 T 1 F 2π T 2 + it,χ By taking T = N 1/3 above that Ŵχ,λ) L 10 max D Λm)χm)ea m 3 λ) = ) N 1/3 N 1/3 ea u 3 λ)d u 1/2+it ea u 3 λ)du dt + O { T <m u N 1/3 ). Λm)χm) } L λ N) T and changing variables in the inner integral, we deduce from the T T ) 1 N F 2 + it,χ v 5/6 e t log v ) M 6π + a vλ dv dt + PLc, where the maximum is taken over all D = D 1,...,D 10 ). Since ) d t dv 6π + a λv = t 6πv + a d 2 ) t λ, dv 2 6π log v + a λv = t 6πv 2, ). 2.55)

46 CHAPTER 2. APPLYING THE CIRCLE METHOD TO OUR PROBLEM 40 by Lemma 4.4 and Lemma 4.3 in [27], the inner integral in 2.55) can be estimated as { M 5/6 min N t + 1) 1/2, N min M <v N t + 6πa λv } N 1/6 t + 1) 1/2 if t T 0, N 1/6 t 1 if T 0 < t T, 2.56) where T 0 = 8πN/RQ). Here, the choice of T 0 is to ensure that t+4πa λu > t /2 whenever t > T 0. In fact, t + 4πa λv t 4π a v /rq) > t /2 + T 0 /2 4πN/RQ) = t /2. It therefore follows from 2.55) and 2.56) that the lemma more precisely, 2.54)) is a consequence of the following two estimates: For 0 < T 1 T 0, we have 2T 1 r R χ mod r) T 1 while for T 0 < T 2 T, we have ) 1 F 2 + it,χ dt R 1/3 ǫ N 1/6 T 2 + 1) 1/2 L A, 2.57) 2T 2 r R χmod r) T 2 ) 1 F 2 + it,χ dt R 1/3 ǫ N 1/6 T 2 L A. 2.58) Both 2.57) and 2.58) are be deduced from the left-hand side of 2.53). For example, by taking T 0 = T 1 we can see from 2.52) that R 2 T 1 + RT 1/2 1 N 1/6 P 2/3 ǫ + N 1/6 L c R 1/3 ǫ N 1/6 T 1 + 1) 1/2 L A, provided L c < R P = N/D) 1/10 ǫ with a sufficiently large c. Here, L c < R guarantees that the L c in 2.53) is dominated by the quantity on the right-hand side. This establishes 2.57). Similarly, we can prove 2.58) by taking T 0 = T 2. Lemma now follows. Lemma Let c > 0 be arbitrary. For R L c and for any fixed A > 0, we have J R) N 1/3 L A, where the implied constant depends at most on c.

47 CHAPTER 2. APPLYING THE CIRCLE METHOD TO OUR PROBLEM 41 Proof. We use the explicit formula see pg. 109, 17 and pg. 120, 19 in [9]) Λm)χm) = δ χ u m u γ T u ρ u ) ) ρ + O T + 1 log 2 qut), 2.59) where β + iγ is a non-trivial zero of the function Ls,χ), and 2 T u is a parameter. Taking T = N 1/6 in 2.59) and inserting it into Ŵχ,λ), by < u N 1/3, M = CN, and 2.20) we have Ŵ χ,λ) = N 1/3 ea u 3 λ)d Λm)χm) δ χ ) n u 1/3 N = ea u 3 λ) u ρ 1 du + O γ T = N 1/3 = N 1/3 γ T γ N 1/6 N β 1)/3 + O 1/3 ) N T PLc N β 1)/3 + ON 1/6 PL c ). Now we need Satz VIII.6.2 in Prachar [26], which states that 1/3 ) N 1 + λ N)L2 T χmod q) Ls,χ) is zero-free in the region σ 1 ηt), t T except for the possible Siegel zero, where ηt) = c 3 log 4/5 T. But by Siegel s theorem see for example [9], 21) the Siegel zero does not exist in the present situation, because r L C. We also need the zero-density estimate see e.g. Huxley [18]): N α,q,t) qt) 121 α)/5 log c qt), where N α,q,t) denotes the number of zeros of Ims) T. Thus, Ls,χ) in the region Res) α, χmod q) γ N 1/6 N β 1)/3 1/6 1 ηn L c ) 0 exp c 4 L 1/5 ). N 1/6 ) 121 α)/5 N α 1)/3 dα L c N ηn1/6 )/10

48 CHAPTER 2. APPLYING THE CIRCLE METHOD TO OUR PROBLEM 42 Consequently, r R χmod r) max Ŵχ,λ) N 1/3 L A, 2.60) λ 1/rQ) where R L C, and A > 0 arbitrary. Lemma now follows from 2.60) and 2.42). 2.3 Treatment of the Minor Arcs This minor arc can be treated by standard methods such as Hua s and Weyl s inequality, which the detailed treatments can be found in Vaughan [28]. We first derive m ) 1 S 1 α) S 9 α) dα sup S 9 α) S 1 α) S 8 α) dα. 2.61) m 0 We can treat the integral with an eighth-power mean-value estimate for each of the S α), 1 0 S α) 8 dα = = = 1 0 <n N 1/3 <n i N 1/3 i=1,...,8 1 0 <n N 1/3 Λn)ea n 3 α) 8 dα Λn 1 ) Λn 8 ) ea n n n n 3 4 n 3 5 n 3 6 n 3 7 n 3 8)α)dα <n N 1/3 N 4/3 L 7 N 5/3 L 7, n N 1/3 [Λn)] 8 Λ 8 n)n 4/3 Λn) n 3 1 +n3 2 +n3 3 +n3 4 =n 3 5 +n3 6 +n3 7 +n3 8 <n k N 1/3, k=1,...,8 where the last bound is from the Prime Number Theorem. 1

49 CHAPTER 2. APPLYING THE CIRCLE METHOD TO OUR PROBLEM 43 In combination with Hölder s inequality gives 1 0 S 1 α) S 8 α) dα 8 1 =1 0 ) 1/8 S α) 8 dα N5/3 L ) a 1 a 8 5/24 For the remaining bound for S 9 α), we have from summation by parts, where 9 <p N 1/3 9 ea 9 p 3 α) = R 9 α,t) = Hence, by Theorem 1 in Kumchev [19], N 1/3 9 9 = R 9α,t) log t 1 log t dr 9α,t) N 1/3 9 9 = S 9α) log N 1/ <p t 1/3 N 9 R 9 α,t) + tlog t) 2 dt 9 N 1/3 9 9 log p)ea 9 p 3 α). R 9 α,t) tlog t) 2 dt, S 9 α) LN 1/3)1 1/14)+ǫ 9 + N 1/3+ǫ 9 q 1/6 ) LN 13/42+ǫ 9 + N 1/3+ǫ 9 P 1/6 ). By 2.3), we derive m S 9 α) LN 13/42+ǫ 9 + N 1/3+ǫ 9 N 1/60 ǫ ) LN 19/ ) Combining 2.62) and 2.63), 2.61) becomes ) L c N 5/3+19/60 S 1 α) S 9 α)e nα)dα = O a 1 a 8 5/24 a 9 19/ )