arxiv: v1 [math.nt] 24 Mar 2009

Transcription

1 A NOTE ON THE FOURTH MOMENT OF DIRICHLET L-FUNCTIONS H. M. BUI AND D. R. HEATH-BROWN arxiv:93.48v [math.nt] 4 Mar 9 Abstract. We prove an asymptotic formula for the fourth power mean of Dirichlet L-functions averaged over primitive characters to modulus over t [,T] which is particularly effective when T. In this range the correct order of magnitude was not previously known.. Introduction For χ a Dirichlet character mod ), the moments of Ls,χ) have many applications, for example to the distribution of primes in the arithmetic progressions to modulus. The asymptotic formula of the fourth power moment in the -aspect has been obtained by Heath-Brown [], for prime, more recently by Soundararajan [5] for general. Following Soundararajan s work, Young [7] pushed the result much further by computing the fourth moment for prime moduli with a power saving in the error term. The problem essentially reduces to the analysis of a particular divisor sum. To this end, Young used various techniues to estimate the off-diagonal terms. In the case that the t-aspect is also included, a result of Montgomery [] states that L +it,χ) 4 dt ϕ)tlogt) 4 for,t, where indicates that the sum is restricted to the primitive characters modulo. As we shall see, the upper bound is toolarge by a factor /ϕ)) 5. A second result of relevance is due to Rane [4]. After correcting a misprint it states that T L +it,χ) 4 dt T = ϕ )T π p p ) 3 +p ) logt)4 +O ω) ϕ )TlogT) 3 loglog3) 5 ), where ϕ ) is the number of primitive characters modulo ω) is the number of distinct prime factors of. This can only give an asymptotic relation when ω) log, which holds for some values of, but not others. Finally we mention the work of Wang [6], where an asymptotic formula is proved for T δ, for any fixed δ >. The goal of the present note is to establish an asymptotic formula, valid for all,t, as soon as.

2 H. M. BUI AND D. R. HEATH-BROWN Theorem. For,T we have, in the notation above, L +it,χ) 4 dt = +O ω) log )) ϕ )T ϕ) π p p ) 3 +p ) logt)4 +OTlogT) 7 ). Our proof uses ideas from the works of Heath-Brown [] Soundararajan [5], but there is extra work to do to hle the integration over t. Remark. It is possible, with only a little more effort, to extend the range to cover all T >. In this case the term ϕ )T in the main term remains the same, as does the factor T in the error term, but one must replace logt by logt +) both in the main term in the error term. Remark. One may readily verify that our result provides an asymptotic formula, as soon as, with an error term which saves at least a factor Ologlog) / ). Remark 3. The literature appears not to contain a precise analogue of this for the second moment. However Motohashi [3] has considered a uniform mean value in t- aspect. He proved that if χ is a primitive character modulo a prime, then T L +it,χ) dt = ϕ)t log T π +γ + p logp p ) +O 3 T 3 + )logt) 4 ), for T. This provides an asymptotic formula when T δ, for any fixed δ >. Our theorem does not give a power saving in the error term, but it yields an asymptotic formula without any restrictions on T.. Auxiliary lemmas Lemma. Let χ be a primitive character mod ) such that χ ) = ) a with a = or. Then we have L +it,χ) = ) it ) χa)χb) a πab W a a,b ab b ;t, where Proof. Let where W a x;t) = πi ) I := πi ) Γ 4 + it + z + a )Γ 4 it + z + a ) Γ 4 + it + a ) Λ it+z,χ) +it+z,χ)λ Γ + it + a e zdz 4 ) z, s/ Λ +s,χ) = Γ π) We recall the functional euation Λ 4 + s + a +s,χ) = τχ) i a Λ s,χ). ) L +s,χ). e z x zdz z.

3 A NOTE ON THE FOURTH MOMENT OF DIRICHLET L-FUNCTIONS 3 Hence, moving the line of integration to Rz = applying Cauchy s Theorem, we obtain L +it,χ) = I. Finally, exping L it+z,χ) in a +it+z,χ)l Dirichlet series integrating termwise we obtain the lemma. We decompose L +it,χ) as At,χ)+Bt,χ)), where At,χ) = ) it ) χa)χb) a πab W a ab Z ab b ;t, Bt,χ) = ab>z ) it ) χa)χb) a πab W a ab b ;t, with Z = T/ ω). In the next two sections, we evaluate the second moments of At,χ) Bt,χ) after which our theorem will be an easy conseuence. The function W a x;t) approximates the characteristic function of the interval [, t ]. Indeed, we have the following. Lemma. The function W a x;t) satisfies { Oτ/x) W a x;t) = ) for x τ, +Ox/τ) /4 ) for < x < τ, where τ = t +. { τ t W ax;t) τ/x) for x τ, τ x/τ) /4 for < x < τ, Proof. The first estimate is a direct conseuence of Stirling s formula, while for the second one merely shifts the line of integration to Rz = /4 before employing Stirling s formula. To hle the derivative one proceeds as before, differentiates under the integral sign uses the estimate which holds for /8 Rw Γ w) Γw) = logw +O w ), The next lemma concerns the orthogonality of primitive Dirichlet characters. Lemma 3. For mn,) =, we have χm)χn) = Moreover χm)χn) = χ )= ) a k,m n) Proof. This follows from [; page 7]. k,m n) ϕk)µ/k). ϕk)µ/k)+ )a k,m+n) To hle the off-diagonal term we shall use the following bounds. ϕk)µ/k).

4 4 H. M. BUI AND D. R. HEATH-BROWN Lemma 4. Let k be a positive integer Z,Z. If Z Z k 9 then E := Z ab<z Z cd<z ac ±bdmod k) ac bd abcd,k)= for any fixed ε >, while if Z Z > k 9 then log ac Z Z )+ε k bd E Z Z k logz Z ) 3. ) Proof. We note that in each case the contribution of the terms with logac/bd > log is satisfactory, by the corresponding lemma of Soundararajan [5; Lemma 3]. Thus, by symmetry, it is enough to consider the terms with bd < ac bd. We shall show how to hle the terms in which ac bdmod k), the alternative case being dealt with similarly. We write n = bd ac = kl+bd observe that kl bd. We deduce that n Z Z l Z Z /k. Since logac/bd kl/n the contribution of these terms to E is k l Z Z /k l n Z Z n,k)= ndn)dkl+n). We estimate the sum over n using a bound from Heath-Brown s paper [; 7)]. This shows that the above expression is Z Z logz Z ) k l Z Z /k l d l d Z Z k logz Z ) 3. This suffices to complete the proof. The reader will observe that when Z Z k 9 it is only the terms with logac/bd > log which prevent us from achieving the bound ). Finally we shall reuire the following two lemmas [5; Lemmas 4 5]. Lemma 5. For we have n x n,)= n = ϕ) Lemma 6. For x we have n x n,)= ωn) n logx+o +logω) )) +O ω) logx x n x n,)= ) ϕ) n logx), ωn) log n) x )) +logω) logx) 4 /p = +O log ζ) +/p. p ).

5 A NOTE ON THE FOURTH MOMENT OF DIRICHLET L-FUNCTIONS 5 3. The main term Applying Lemma 3 we have At,χ) dt = M +E, where M = ϕ ) a=, ab,cd Z ac=bd abcd,)= E = k T abcd ) ) πab πcd W a ;t W a ;t dt, ϕk)µ/k)ek), with Ek) = a=, ab,cd Z ac ±bdmod k) ac bd abcd,)= T abcd ) it ) ) ac πab πcd W a bd ;t W a ;t dt. We first estimate the error term E. We integrate by parts, using Lemma. This produces Ek) abcd log ac. bd ab,cd Z ac ±bdmod k) ac bd abcd,)= We divide the terms ab,cd Z into dyadic blocks Z ab < Z Z cd < Z. From Lemma 4, the contribution of this range to Ek) is Z Z Z Z k logz Z ) 3 Z Z = logz Z ) 3, k if Z Z > k 9, is OZ Z ) +ε k ) if Z Z k. 9 Summing over all such dyadic blocks we have Thus Ek) Z k logz)3 +k +ε. E Z ω) logz) 3 TlogT) 3. ) We now turn to the main term M. Since ac = bd, we can write a = gr, b = gs, c = hs d = hr, where r,s) =. We put n = rs. Hence M = ϕ ) ωn) T ) ) πg n πh n W a ;t W a ;t dt. n gh a=, n Z n,)= g,h Z/n gh,)=

6 6 H. M. BUI AND D. R. HEATH-BROWN From Lemma we have W a πg n/;t) = +Og / n/t) 4), whence M = ϕ )T ωn) ) n g +O). n Z n,)= g Z/n g,)= We split the terms n Z into the cases n Z Z < n Z, where Z = Z/9 ω). In the first case, from Lemma 5 the sum over g is = ϕ) log Z n +O+logω)), since the first error term in Lemma 5 dominates the second. Hence the contribution of such values of n to M is ) ϕ) ϕ ωn) )T log Z ) +Oω)logZ)). n n n Z n,)= Here we use the fact that /ϕ) + log ω). This estimate will be employed a number of times in what follows, without further comment. In view of Lemma 6 the contribution from terms with n Z is now seen to be ϕ )T 8π p /p) 3 +/p) logz ) 4 ω) +O log )). 3) For Z n Z, we extend the sum over g to all g 3 ω) that are coprime to. By Lemma 5, this sum is ω)ϕ)/. Hence the contribution of these terms to M is ϕ )T ω) ϕ) ) ) ωn) 4 ϕ) n ϕ )T ω) logz). Z n Z Combining this with ) 3) we obtain )) ω) ϕ At,χ) )T dt = +O log 8π We have Bt,χ) dt = ϕ) a=, ab,cd>z ac ±bdmod ) abcd,)= 4. The error term T T abcd Bt,χ) dt Using Lemma integration by parts, the integral over t is log ac + ab ) + cd ) T T bd p /p) 3 +/p) logt)4. 4) ) it ) ) ac πab πcd W a bd ;t W a ;t dt. 5)

7 if ac bd, is A NOTE ON THE FOURTH MOMENT OF DIRICHLET L-FUNCTIONS 7 T + ab ) + cd ) T T if ac = bd. Hence the right h side of 5) is OR +R ), where R = ϕ)t + ab ) + cd ), abcd T T R = ϕ) ab,cd>z ac=bd abcd,)= ab,cd>z ac ±bdmod ) ac bd abcd,)= abcd log ac + ab ) + cd ). T T bd To estimate R, we again break the terms into dyadic ranges Z ab < Z Z cd < Z, where Z,Z > Z. By Lemma 4, the contribution of each such block is ϕ) + Z ) + Z ) Z Z logz Z ) 3. Z Z T T Summing over all the dyadic ranges we obtain R ϕ)tlogt) 3. 6) To hle R we argue as in the previous section. We write a = gr, b = gs, c = hs d = hr, where r,s) =, we put n = rs. Then R ϕ)t ωn) ) ) + g n. 7) n g T n,)= g> Z/n g,)= We split the sum over n into the ranges n T n > T. In the first case, the sum over g is + g. Z/n g T/n When n Z this is ϕ) g,)= ω). by Lemma 5. In the alternative case n > Z we extend the sum over g to include all g 3 ω) that are coprime to. Lemma 5 then gives the same bound as before. Thus the contribution of the terms n T to 7), using Lemma 6, is ϕ)t ϕ) ω) ) n T n,)= ) 5 ϕ) n T ω) logt). 8) ωn)

8 8 H. M. BUI AND D. R. HEATH-BROWN In the remaining case n > T, the sum over g in 7) is O T /n ). Hence the contribution of such terms is ϕ)t ωn) 4 T 4 ϕ)t logt. n n 4 n>t In view of 6) 8) we now have ) 5 ϕ) Bt,χ) dt T ω) logt) +ϕ)tlogt) 3. 9) 5. Deduction of Theorem From Lemma we have L +it,χ) 4 dt = 4 At,χ) +At,χ)Bt,χ)+Bt,χ) ) dt. The first third terms on the right h side are hled by 4) 9). Also, by Cauchy s ineuality we have At,χ)Bt,χ)dt ) T At,χ) dt ) T Bt,χ) dt. Hence 4) 9) also yield an estimate for the cross term. Combining these results leads to the theorem. References [] D. R. Heath-Brown, The fourth power mean of Dirichlet s L-functions, Analysis 98), 5 3. [] H. Montgomery, Topics in multiplicative number theory, Lecture Notes in Mathematics, Vol. 7, Springer-Verlag, Berlin-New York, 97). [3] Y. Motohashi, A note on the mean value of the zeta L-functions. II., Proc. Japan Acad. Ser. A Math. Sci ), [4] V. V. Rane, A note on the mean value of L-series, Proc. Indian Acad. Sci. Math. Sci. 9 98), [5] K. Soundararajan, The fourth moment of Dirichlet L-functions, Analytic Number Theory: A Tribute to Gauss Dirichlet, 7. [6] W. Wang, Fourth power mean value of Dirichlet s L-functions, International Symposium in Memory of Hua Loo Keng, Vol. I Beijing, 988), 93 3, Springer, Berlin, 99). [7] M. Young, The fourth moment of Dirichlet L-functions, Mathematical Institute, University of Oxford, OXFORD, OX 3LB address: hung.bui@maths.ox.ac.uk Mathematical Institute, University of Oxford, OXFORD, OX 3LB address: rhb@maths.ox.ac.uk