arxiv: v1 [math.nt] 27 Nov 2017

Transcription

1 ariv: v [math.nt] 27 Nov 207 ON CERTAIN INTEGRALS INVOLVING THE DIRICHLET DIVISOR PROBLEM Abstract. We prove that Aleksandar Ivić and Wenguang Zhai (x) 3 (x)dx 3/9 log 0/3, (x) 4 (x)dx ε 25/6+ε, where k (x) is the error term in the asymptotic formulafor the summatory function of d k (n), generated by ζ k (s) ( 2 (x) (x)). These bounds are sharper than the ones which follow by the Cauchy-Schwarz inequality and mean square results for k (x). We also obtain the analogues of the above bounds when (x) is replaced by E(x), the error term in the mean square formula for ζ( 2 +it).. Introduction and statement of results Let d k (n) denote the number of ways n can be written as a product of k factors, where k N is given. Thus d k (n) is generated by ζ k (s) (Rs > ), where ζ(s) denotes the familiar zeta-function of Riemann. It is seen that d (n) and d 2 (n) d(n) is the number of divisors of n. The error term in the asymptotic formula for sums of d k (n) is commonly denoted by k (x), namely (.) k (x) = n xd k (n) xp k (logx), wherep k (t)isasuitablepolynomialofdegreek int,whosecoefficientsdepend onk. Usuallyonewrites 2 (x) (x),andtheestimationofthisfunctioniscalled the Dirichlet divisor problem, while the estimation of k (x) for k 3 is known as the general (or generalized) divisor problem, or the Piltz divisor problem. A comprehensive account on k (x) is to be found in Chapter 2 of E.C. Titchmarsh 99 Mathematics Subject Classification. N36, M06. Key words and phrases. (General) Dirichlet divisor problem, moments, Riemann zeta-function. Typeset by AMS-TE

2 2 A. Ivić and W. Zhai [Tit] or Chapter 3 of A. Ivić [Iv]. The coefficients of P k (t) may be evaluated by using the formula and the fact that P k (logx) = Res s= xs ζ k (s)s, ζ(s) = s +γ + γ k (s ) k in a neighborhood of s =, where γ = Γ () = is Euler s constant. In this way one finds that and so on. P (t) = t+(2γ ), k= P 2 (t) = 2 t2 +(3γ )t+(3γ 2 3γ +3γ +), Following standard notation one defines α k and β k as the infima of numbers a k and b k, respectively, for which (.2) k (x) x a k, x 2 k(y)dy x +2b k. It is obvious that β k α k ( k). It is known that β k (k )/(2k), and it is conjectured that (.3) α k = β k = k 2k (k > ). This is not yet proved for any α k, and for β k (.3) is known to hold only for k = 2,3,4. Currently the best known upper bounds for α 2,α 3 and α 4 are α = , α = , α 4 2. The bound for α 2 is a recent result of J. Bourgain and N. Watt [BW], the bound for α 3 was proved in 98 by G. Kolesnik [Kol], and the bound for α 4 follows easily by the Perron inversion formula. It is not only that β 2 = /2,β 3 = /3 is known, but actually one has the asymptotic formulas (.4) 2 (x)dx = A 2 3/2 +O(log 3 loglog) (A 2 = (6π 2 ) d 2 (n)n 3/2), n=

3 On some integrals involving the divisor problem 3 and (.5) 2 3 (x)dx = A 3 5/3 +O ε ( 4/9+ε ) (A 3 = (0π 2 ) d 2 3 (n)n 4/3). n= The asymptotic formula (.4) is due to Y.-K. Lau and K.-M. Tsang [LT], while (.5) was proved in 956 by K.-C. Tong [Ton]. On the other hand, k (x) takes large positive and small negative values. Indeed, Theorem 2 of A. Ivić [Iv2] states that, for k 2 fixed, there exist constants B,C > 0 such that for T T 0 the interval [T,T +CT (k )/k ] contains two points t,t 2 for which k (t ) > Bt (k )/(2k), k (t 2 ) < Bt (k )/(2k) 2. Therefore it seems reasonable to expect a lot of cancellation in the integral of k (x) l (x) (k l; k,l > ). In other words, the integral of this function should be of a smaller order of magnitude than what one expects is the order of the integral of k (x) l (x). We are able to establish two results in this direction when k = 2. We shall prove THEOREM. We have (.6) (x) 3 (x)dx 3/9 (log) 0/3. THEOREM 2. We have (.7) (x) 4 (x)dx ε 25/6+ε. Here and later ε denotes arbitrarily small positive constants, not necessarily the same ones at each occurrence. The symbol a ε b means that the implied -constant depends only on ε. To assess the strength of the bounds in (.6) and (.7) note that, using (.4), (.5) and the Cauchy-Schwarz inequality for integrals, it follows that ( (x) 3 (x)dx Similarly, from (.4) and β 4 = 3/8 we have ) /2 2 (x)dx 2 3 (x)dx 9/2. (x) 4 (x)dx ε 3/8+ε.

4 4 A. Ivić and W. Zhai Since 3/9 =. 4 < 9/2 =.58 3, 25/6 =.5625 < 3/8 =.625, we show that there is a substantial cancellation in the integrals in (.6) and (.7). However, the true order of these integrals remains elusive and represents a difficult problem. We note that the estimation of the integral of (x) l (x) when l 5 seems difficult, and that β l = (l )/(2l) is not known yet for any l 5; for l = 5 the sharpest bound is β 5 9/20, due to W.-P. Zhang [Zh], while it is conjectured that β 5 = 2/5. We note that in [IvZh] it was proved that (.8) T 0 (t) ζ( 2 +it) 2 dt T(logT) 4, but we remarked that obtaining an asymptotic formula for the integral in (.8) seems difficult. The method of proof of Theorem is of a fairly general nature, and works if (x) is replaced by a number-theoretic error term which, broadly speaking, has a structure similar to (x). Perhaps the most interesting case is when (x) is replaced by (.9) E(x) := x 0 ( ζ( 2 +it) 2 dt x log ( x ) ) +2γ, 2π the error term in the mean square formula for ζ( +it). This is a fundamental 2 function in the theory of ζ(s), and the reader is referred to Chapter 5 of [Iv] and Chapter 3 of [Iv3] for an account of E(x). We shall prove THEOREM 3. We have (.0) E(x) 3 (x)dx 3/2 log 3/2, E(x) 4 (x)dx ε 25/6+ε. There are also several other ways to generalize Theorem and Theorem 2, namely by replacing (x) with another suitable number-theoretic error term. These possibilities were already analyzed in detail in [Iv6], where the functions P(x) and A(x) were mentioned. One has P(x) := r(n) πx, r(n) = n x n=a 2 +b 2, and A(x) := n xa(n),

5 On some integrals involving the divisor problem 5 where a(n) is the n-th Fourier coefficient of ϕ(z), and ϕ(z) is a holomorphic cusp form of weight κ with respect to the full modular group SL(2,Z). However, correlating these functions with k (x) seems a little artificial, while the integrals of (x) k (x) seemed much more natural to investigate. Acknowledgement. W. Zhai is supported by the National Key Basic Research Program of China (Grant No. 203CB83420). 2. The necessary lemmas In this section we formulate the lemmas needed for the proof of our results. The first lemma gives a good expression for (x) and a mean square estimate involving the tails of this expression. It is the lack of such a result for k (x) when k 3 that thwarts the efforts to obtain satisfactory bounds for the integral of k (x) l (x) when 3 k < l. Lemma. We have, for N x, (2.) (x) = π 2 x 4 where d(n)n 3 4 cos(4π nx 4 π)+r(x), (2.2) R(x) = R(x,N) = O ε (x 2 +ε N 2 ). If N log 4, then (2.3) 2 R 2 (x,n)dx 3/2 N /2 log 3. Proof. The formulas (2.) (2.2) are the classical truncated Voronoï formula for (x). For this see e.g., Chapter 3 of A. Ivić [Iv] for a proof. To obtain (2.3), note that by a result of T. Meurman [Meu] one has, for Q x, (2.4) (x) = π 2 x 4 n Q d(n)n 3 4 cos(4π nx 4 π)+f(x), where F(x) x /4 if x x 5/2 Q /2, and we always have F(x) ε x ε. Here, as usual, x is the distance of the real number x to the nearest integer. In (2.4) we take Q = 7, x 2. Then, for N, R(x) in (2.) can be written as R(x) = π 2 x 4 N<n Q d(n)n 3 4 cos(4π nx 4 π)+f(x),

6 6 A. Ivić and W. Zhai where in our case (2.4) shows that F(x) ε x ε always, and F(x) x /4 if x. Then the integral in (2.3) is We have 2 /2 2 F 2 (x)dx = N<n Q 2 d(n)n 3/4 e 4πi nx 2 dx+, x F 2 (x)dx+ 2 2 x /2 dx+ 2ε /2. Now squaring out and integrating it follows that 2 N<n Q n>nd 2 (n)n 3/2 + d(n)n 3/4 e 4πi nx 2 dx N<m n Q 2 F 2 (x)dx., x F 2 (x)dx d(m)d(n) (mn) 3/4 m n. Note that n yd 2 (n) ylog 3 y for y 3. Thus partial summation gives n>n d 2 (n)n 3/2 N /2 log 3. The second sum above does not exceed S +S 2, where S j = j d(m)d(n) (mn) 3/4 m n (j =,2), and (SC(A) means: summation conditions for A) The sum S 2 is bounded by SC(S ) : N < m n Q, m n (mn) /4 /0, SC(S 2 ) : N < m n Q, m n (mn) /4 /0. m,n Q d(m)d(n) mn log 4

7 On some integrals involving the divisor problem 7 by using the well-known estimate n yd(n) ylogy. In S we have m n. By d(m)d(n) 2 (d2 (m)+d 2 (n)) we have S 2 /2 N<m Q /2 log d 2 (m) m N<n Q N<n Q,n m n m d 2 (m) m /2 log 5. Collecting the above estimates we get the bound in (2.3), since log 5 3/2 N /2 log 3 ( N log 4 ). Lemma 2. Let /6 σ 0 < /2 be a constant. Then, for k = 3 and k = 4, we have (2.5) k (x) = 2πi σ0 +it σ 0 it ζ k (s) x s ds+o ε ( +ε T )+O(x σ 0 T k(/2 σ0) ), s where x 2, T. Proof. From the Perron inversion formula (see e.g., (A.0) of [Iv]) we have, for x 2, T and sufficiently small ε > 0, k (x) = ε+it 2πi ε it ζ k (s) x s ds+o ε ( +ε T ). s By Cauchy s theorem we replace the segment of integration [ ε it, ε+it] by the segment [σ 0 it,σ 0 +it]. In this process we are making an error which is J (T)+J 2 (T), where J (T) := /2 σ 0 x σ T ζ(σ x σ +it) k dσ, J 2 (T) := /2 T ζ(σ +it) k dσ. Then (2.6) 2T T J (t)dt = /2 x σ σ 0 /2 σ 0 /2 ( ) 2T ζ(σ +it) k dt dσ T t ( ) 2T x σ T k(/2 σ) ζ( σ +it) k dt dσ t T σ 0 x σ T k(/2 σ) dσ /2 + σ 0 T k(/2 σ 0).

8 8 A. Ivić and W. Zhai Here we used the functional equation (2.7) ζ(s) = χ(s)ζ( s), χ(s) = and the bound (follows from Lemma 5) (2.8) 2T T Γ( 2 ( s)) Γ( 2 s) π s /2 t /2 σ, ζ(α+it) k dt T (/2 < α ; k = 3,4). Note that (2.8) is not known to hold in the whole range /2 < α when α is a constant, and k > 4 is an integer, which is one of the reasons why obtaining the analogue of Theorem and 2 for the integral of (x) k (x) when k > 4 is difficult. Similarly to (2.6) we obtain 2T ( ) 2T J 2 (t)dt x σ ζ(σ +it) k dt dσ t It follows that T /2 2T T /2 x σ dσ. T (J (t)+j 2 (t))dt + σ 0 T k(/2 σ 0). This means that there exists T 0 [T,2T] such that J (T 0 )+J 2 (T 0 ) /T 0 + σ 0 T k(/2 σ 0) 0. If instead of the initial T we take this T 0 and call it again T, we obtain (2.5). Lemma 3. Let f(x),ϕ(x) be real-valued functions on [a,b] which satisfy. f (4) (x) and ϕ (2) (x) are continuous; 2. there exist numbers H,U,A,0< H,A < U,0 < b a U such that A f (2) (x) A,f (3) (x) A U,f (4) (x) A U 2, ϕ(x) H,ϕ () (x) HU,ϕ (2) (x) HU 2 ; 3. for some c, a c b, f (c) = 0. Then (2.9) b ϕ(x)exp ( 2πif(x) ) dx = +i ϕ(c)exp(2πic) +O(HAU ) a 2 f (c ( +O Hmin( f (a), ) ( A) +O H min( f (b), ) A).

9 On some integrals involving the divisor problem 9 This is a version of the classical result on exponential integrals with a saddle point c (see e.g., [Iv] and [Tit]). The particular version embodied in (2.9) is Lemma 2 on p. 7 of the monograph of A.A. Karatsuba and S.M. Voronin [KV]. The proof actually shows that there is no main term in (2.9) if c (a,b). If c = a or c = b, then the respective main term is to be halved. Lemma 4. For 2 σ < fixed, x,y tk,s = σ +it,xy = ( t 2π) k, t t0 and k a fixed integer, we have (2.0) ζ k (s) = ρ(m/x)d k (m)m s +χ k (s) ρ(m/y)d k (m)m s m= m= +O(t k( σ)/3 +O(t k(/2 σ) 2 y σ log k t). Here χ(s) is given by (2.7), and ρ(u) ( 0) is a smooth function such that ρ(0) =,ρ(u) = 0 for u 2. This is Theorem 4.2 of A. Ivić [Iv3]. The explicit construction of ρ(u) is given by Lemma 4.3 therein. The point of smoothing is to have much better error terms than those which can be at present obtained without it; see e.g., Theorem 4.3 of [Iv]. Lemma 5. For fixed σ such that 2 < σ, we have (2.) T ζ(σ +it) 4 dt = ζ2 (2σ) ζ(4σ) T +O(T2 2σ log 3 T). This is Theorem 2 of A. Ivić [Iv4]. 3. Proof of Theorem We may consider, both in the proof of Theorem and Theorem 2, that the integration is over [,2]. Namely if we obtain the bounds in (.6) and (.7) for such an integral, then replacing by 2 j, summing over j and adding all the results we easily obtain the assertions of (.6) and (.7), respectively. We begin by noting that the contribution of R(x) in (2.) to (3.) I() := 2 (x) 3 (x)dx is, by the Cauchy-Schwarz inequality, (.5) and (2.3), (3.2) ( 2 ) /2 2 R 2 (x)dx 2 3 (x)dx 9/2 N /4 log 3/2,

10 0 A. Ivić and W. Zhai if N log 4. By (2.) and (2.2) there remains a multiple of (3.3) 2 x 4 d(n)n 3 4 cos(4π nx 4 π) 3(x)dx. For 3 (x) we use (2.5) of Lemma 2 with k = 3. The contribution of the error terms to (3.3) will be ε /4 ( +ε T + σ 0 T /2 3σ 0 ) Henceforth we assume that 2 (3.4) T =, σ 0 = 4, d(n)n 3/4 e 4πi nx dx. so that +ε T + σ 0 T /2 3σ 0 ε ε. By the method of proof of Lemma it is seen that the sum over n in (3.3) is in mean square, if N. This means that the contribution of the error terms to (3.3) is (3.5) ε 5/4+ε if (3.4) holds. Since z + z = 2Rz, we are left with (3.6) d(n)n 3/4 ζ 3 ( 4 +it) 2 4 +it x /2+it cos(4π nx 4 π)dxdt = 2 d(n)n { 3/4 ζ 3 ( 4 R +it) it x /2+it cos(4π } nx 4 π)dxdt. It transpires that integration over x leads to exponential integrals of the form (3.7) 2 x /2 e if(x) dx, where henceforth t > 0 and F(x) = F(x;t,n) := 4π nx±tlogx. We first consider the case of the plus sign. In this case the derivative F (x) = 2π n/x+t/x

11 On some integrals involving the divisor problem is positive. Thus we can apply the first derivative test (Lemma 2. of [Iv]) to the integral in (3.7). The contribution of (3.7) for t < n is n /2, and its contribution to (3.6) is d(n)n 5/4 n 0 t 3/4 ζ( 3 4 +it) 3 4 +it dt d(n)n 5/4 (n) 3/8 /8 N /8 log, where we used (2.7) and (2.8). Similarly, for t > n, one may use again the first derivative test to obtain a contribution which is 3/2 d(n)n 3/4 n t 3/4 ζ(3 4 +it) 3 t 3/2 d(n)n 3/4 (n) /8 /8 N /8 log. dt From now on we consider in detail the case of the minus sign. We have F(x) = 4π nx tlogx, F (x) = 2πn /2 x /2 tx, F (x) = tx 2 πn /2 x 3/2. For t < c 2 n (cj denotes positive constants) we have F (x) n /2 /2, and as in the previous case the contribution will be (3.8) /8 N /8 log. The bound in (3.8) will also hold for the contribution of t satisfying t > c n, when F (x) t/. Actually we can take c 2 = 2π( ε),c = 2 2π(+ε). The integral in (3.7) may have a saddle point (a solution of F (x) = 0) if 2πn /2 x /2 0 t/x 0 = 0, hence when (3.9) x 0 = t2 4π 2 n. It is readily checked that x 0 2 for 2π n t 2π 2n. The integral in (3.7) is evaluated by Lemma 4, where one can take a =,b = 2,U =,ϕ(x) = x /2,H = /2,f(x) = F(x) 2π,A = 3/2 n /2,

12 2 A. Ivić and W. Zhai and the conditions on f (3) (x) and f (4) (x) hold. The total contribution of the error term O(HAU ) is c2 n d(n)n 5/4 c n t /4 ζ( 3 4 +it) 3 dt d(n)n 5/4 (n) 3/8 /8 N /8 log, which is similar to (3.8). We consider now the contribution of the error terms { ( O /2 3/4 min n, t /4 2π n )} + { ( O /2 3/4 min n, t /4 2 2π n )}. 2 They are treated analogously, so only the second one will be considered in detail. Let I := [ c n, c2 n ] be the remaining interval in the t-integral. Let further { ( 3/4 I 0 := (t I) n t /4 2 2π n )}, 2 and for j =,2,... { ( 2 j n /4 I j := (t I) t 2 2π n 2 j n /4 )}, 2 3/4 so that j log. It is easy to see I = j 0 I j and I 0 (n) /4, I j 2 j+ (n) /4 (j ), where A denotes the cardinality of the set A. The contribution of I 0 to the integral over t in (3.6) is d(n)n 3/4 ζ( 4 +it) 3 5/4 dt I 0 t n/4 5/4 d(n)n I 0 t /4 ζ( 3 4 +it) 3 dt 3/4 5/4 d(n)n (n) /8 I 0 ζ( 3 4 +it) 3 dt.

13 On some integrals involving the divisor problem 3 Now we invoke Lemma 5 (with σ = 3/4) and use Hölder s inequality for integrals to obtain ( ) 3/4 ζ( 3 4 +it) 3 dt ζ( 3 4 +it) 4 dt I 0 /4 I 0 I 0 ( 3/4(n) (n) /4 +(n) /4 log ) 3 /6 (n) /4 (log) 9/4. Thus we finally see that the contribution is /8 d(n)n 7/8 (log) 9/4 /8 N /8 (log) 3/4. In a similar vein it is shown that the above bound also holds for the contribution of j I j, only with an additional log-factor since j log. We turn now to the contribution of the saddle points. By Lemma 3 the main contribution is a multiple of We have, since x 0 = t 2 /(4π 2 n), Thus x /2 0 F (x 0 ) /2 e if(x 0). F (x 0 ) = πn /2 t 3 8π 3 n 3/2 +t 3 6π 4 n 2 = 8π 4 t 3 n 2. F (x 0 ) /2 = (8π 4 ) /2 t 3/2 n 3/4 n /4, since t n (a b means that a b a). We also have ( ) nt 2 t 2 (3.0) F(x 0 ) = 4π 4π 2 n tlog = 2t 2tlogt+tlog(4π 2 n). 4π 2 n With this in mind, we are left with a multiple of (3.) 2π d(n)n 3/4 2n 2π n x /2 0 e if(x 0) F (x 0 ) ζ3 ( 4 +it) since x 0 (,2) exactly for 2π n < t < 2π 2n. 4 +it dt, At this point we use the approximate functional equation for ζ 3 (s), writing first ζ(s) = χ(s)ζ( s) with s = /4+it, noting that χ(s)χ( s) and that in Lemma 4 one has t = Is > 0. Thus by (2.0) with k = 3 we obtain (3.2) ζ 3 (s) = χ 3 (s)ζ 3 ( s) = χ 3 (s)ζ 3 ( s) = χ 3 (s) ρ(m/x)d 3 (m)m s + ρ(m/y)d 3 (m)m s m= m= +O()+O(t 2 y 3/4 log 2 ),

14 4 A. Ivić and W. Zhai where ρ(u) ( 0) is a smooth function such that ρ(0) =,ρ(u) = 0 for u 2, and (3.3) xy = ( ) 3 t (x,y ). 2π We choose x = y = (t/(2π)) 3/2 in (3.3). Then t 2 y 3/4 log 2, so that the contribution of the error terms in (3.2) to (3.) will be /2 2π 2n d(n)n 3/4 3/4 n /4 2π n dt t 5/4 log 2. There remains (3.4) d(n)n 3/4 (I +I ), say, where we put (s = /4+it) I := I := 2π 2n 2π n 2π 2n 2π n x /2 0 e if(x 0) F (x 0 ) /2 χ 3 (s)s x /2 0 e if(x 0) F (x 0 ) /2 s m 2x m 2x ρ(m/x)d 3 (m)m s dt, ρ(m/x)d 3 (m)m s dt. Since, by (2.7), χ(s) is essentially a quotient of two gamma-factors, it admits by Stirling s formula a full asymptotic expansion in term of negative powers of t. Thus the main contribution coming from χ 3 (s) with s = /4+it will be (see e.g., (.9) of [Iv3]) ( ) 3( /4+it) 2π e 3i(t+π/4). t Consequently the dominating terms in I and I will be a multiple of (we set M = max(2π n,2πm 2/3 2 2/3 ) for shortness) (3.5) and (3.6) m 2(n) 3/4 d 3 (m)m 3/4 2π 2n M m 2(n) 3/4 d 3 (m)m /4 x /2 0 2π 2n M ( ) 3/4 t ( m ) ρ 2π x ( x /2 m ) 0 ρ x e ih (t) s F (x 0 ) dt e ih 2(t) s F (x 0 ) dt,

15 On some integrals involving the divisor problem 5 respectively, where ( ) 2πe H (t) := 3tlog +tlogm+f(x 0 ), t H 2 (t) := tlogm+f(x 0 ). We see that (recall (3.0)) H (t) = 5logt 3+3log(2πe)+log(4π 2 mn) = 5logt+log(2π) 5 mn, ( 4π H 2 2 ) (t) = 2logt+log n, m so that, in our range of m,n and t, H (t) logt, H 2(t) logt. Therefore we can estimate the integrals in (3.5) and (3.6) by the first derivative test to obtain I and I m 2(n) 3/4 d 3 (m)m 3/4 /2 3/4 n /4 (n) /8 (log) (n) 3/6 9/8 n 3/8 log = 2/6 n 3/6 log, m 2(n) 3/4 d 3 (m)m /4 /2 3/4 n /4 (n) /2 (log) (n) 9/6 3/4 n 3/4 log = 2/6 n 3/6 log. This gives for the expression in (3.4) d(n)n 3/4 (I +I ) 2/6 N /6 log 2. Collecting all the estimates we have I() 9/2 N /4 log 3/2 + /8 N /8 log 7/4 + 2/6 N /6 log 2. So with the choice it follows that which finishes the proof of Theorem. N = 5/9 (log) 22/3 I() 3/9 (log) 0/3,

16 6 A. Ivić and W. Zhai 4. Proof of Theorem 2 The proof of Theorem 2 is on the same lines as the proof of Theorem, so we shall indicate only the salient points in the proof. This seemed preferable than considering the general integral of (x) k (x), and then distinguishing between the cases k = 3 and k = 4. Whenever possible we shall retain the same notation as in the proof of Theorem. We recall first that W.-P. Zhang [Zh] proved that β 4 = 3/8, in other words that (4.) (x)dx ε 7/4+ε. An asymptotic formula for the integral in (4.), analogous to (.4) and (.5), is not known to hold yet. From (.4), (4.) and the Cauchy-Schwarz inequality we have (4.2) I() := and similarly 2 (x) 4 (x)dx ε 3/8+ε, (4.3) 2 4 (x)r(x)dx ε 3/8+ε N /4, where R(x) is as in (2.) (2.2). By using (2.) it is seen that there remains a multiple of (4.4) 2 x /4 d(n)n 3/4 cos(4π nx π/4) 4 (x)dx. For 4 (x) we use Lemma 2 with k = 4,σ 0 = /4,T =. The error terms in (2.5) are ε /4 log 4, and their contribution to (4.4) is (4.5) 3/2 log 5. Thus we are left with (4.6) d(n)n 3/4 ζ 4 ( 4 +it) 4 +it 2 x /2+it cos(4π nx π/4)dx dt. We are led again to exponential integrals of the form 2 x /2 e if(x) dx, F(x) = 4π nx±tlogx.

17 On some integrals involving the divisor problem 7 As in the case of Theorem, one should take care only of the case of the minus sign in F(x). Namely, in case of the plus sign we use the first derivative test and see that the total contribution is (4.7) 3/2 N /4 log, and the relevant contribution of the t-integral is for t n, as in Theorem. The saddle point is again x 0 = t2 4π 2 n. Lemma 3 is used again. The contribution of the error term O(HA/U) is 3/2 N /4 log, c2 n d(n)n 5/4 c n ζ( 3 4 +it) 4 dt like in (4.7). For the other two error terms in (2.9) we again define the sets I j (j 0) as in the proof of Theorem. The contribution of I 0 is d(n)n 3/4 I 0 ζ( 3 4 +it) 4 /2 3/4 n /4 dt 5/4 d(n)n ( I 0 +(n) /4 log 3 ) 3/2 N /4 log 4. This is actually simpler than the analogous portion of the proof in Theorem, as there is no need for Hölder s inequality for integrals, and Lemma 5 can be used directly. The same bound is found to hold for j I j, with an additional log-factor. The main contribution is a multiple of (4.8) 2π 2n d(n)n 3/4 2π n x /2 0 e if(x0) F (x 0 ) /2 ζ4 ( 4 +it) 4 +it dt. With k = 4,s = 4 +it Lemma 4 gives ζ 4 (s) = χ 4 (s)ζ 4 ( s) = χ 4 (s) ρ(m/x)d 4 (m)m s + ρ(m/y)d 4 (m)m s m= m= +O(t /3 )+O(t 2 y 3/4 log 3 ).

18 8 A. Ivić and W. Zhai Here xy = (t/(2π)) 4, and we choose x = y = (t/(2π)) 2. The error terms are t /3 +t /2 log 3 t /3, and the contribution to (4.8) is /2 d(n)n 3/4 3/4 n /4 (n) /6 7/2 N /6 log. There remains the contribution of d(n)n 3/4 (I +I ), where (s = 4 +it) I := I := 2π 2n 2π n 2π 2n 2π n x /2 0 x /2 0 e if(x 0) F (x 0 ) e if(x 0) s F (x 0 ) χ 4 (s) s m 2x m 2x ρ(m/x)d 4 (m)m s dt ρ(m/x)d 4 (m)m s dt. Estimating, similarly as in the proof of Theorem, both I and I by the first derivative test we obtain This gives I /2 3/4 n /4 (n) /4 log 2 3/2 log 2, I /2 3/4 n /4 (n) /2 (n) 3/4 log 2 3/2 log 2. d(n)n 3/4 (I +I ) Collecting all the estimates we infer that d(n)n 3/4 3/2 log 2 3/2 N /4 log 3. I() ε 3/8+ε N /4 + 3/2 N /4 log 3 + 3/2+ε + 7/2 N /6 log. We have 3/2 N /4 = 3/8 N /4 for N = /4, which finally gives as asserted in (.7) of Theorem 2. I() ε 25/6+ε,

19 On some integrals involving the divisor problem 9 5. Proof of Theorem 3 Note that, by (.), one has (5.) (x) = n xd(n) x(logx+2γ ), so that a comparison with (.9) shows that the expression for E(x) has a factor of 2π in the logarithm, which (5.) does not. It was observed first by M. Jutila [Jut], that the analogy between (x) and E(x) becomes more exact if, instead of (x), one introduces the function (5.2) (x) := (x)+2 (2x) 2 (4x) = 2 ( ) n d(n) x(logx+2γ ), Namely, then the function n 4x ( t ) (5.3) E (t) := E(t) 2π 2π is smaller in mean square than either (x) or E(x). Namely Jutila [Jut] proved that T+H T (E (t)) 2 dt ε HT /3 log 3 T +T +ε (2 H T), while E(x) satisfies an asymptotic formula analogous to (.4). The first author [Iv5] obtained the asymptotic formula (5.4) T 0 (E (t)) 2 dt = T 4/3 P 3 (logt)+o ε (T 7/6+ε ). A comparison with (.4) shows that in (5.4) the main term has the exponent smaller by /6. Note that the analogue of Lemma will hold with (x) in place of (x) (see e.g., (5.68) of [Iv] for the analogue of (2.)). Further, on using (5.4) we have E (x) 3 (x)dx 3/2 log 3/2. { } /2 (E (x)) 2 dx 2 3 (x)dx Here we have 3/9 < 3/2, where 3/9 was the exponent in Theorem. Similarly it is found that E (x) 4 (x)dx ε 37/24+ε,

20 20 A. Ivić and W. Zhai but here 37/24 < 25/6, where the latter is the exponent in our Theorem 2. Therefore, by (5.4), it remains to check that the integrals 2 ( x ) 3 (x)dx, 2π 2 ( x ) 4 (x)dx 2π satisfy the same bounds as the integrals in Theorem and Theorem 2, respectively. This is analogous as the previous reasoning, with the only real difference that now the saddle point x 0 (we retain the same notation) will be different. Indeed, instead of (3.6) we shall have 2 ( ) { n d(n)n 3/4 R 0 2 ( x ) /2+itcos ( 4π 2π ζ 3 ( 4 +it) 4 +it nx 2π π 4 ) } dxdt. The factor ( ) n in the sum over n is unimportant. Then we obtain, instead of F(x), the function F (x) : = 8πnx tlogx, 2πn The new saddle point is Then (F (x)) = (F (x)) = t x 2 x 0 = t2 2πn. x t x, πn 2x 3. F (x 0 ) = 2t 2tlogt+tlog(2πn). Instead of the functions H,H 2, we shall have now the functions H,H 2 satisfying ( 2πe ) H (t) = 3tlog +tlogm+f (x 0 ), t (H(t)) = 5logt+log(2π) 5 mn, H 2 (t) = tlogm+f (x 0 ), (H 2 (t)) = log2π n m 2logt. In the relevant range for m,n,t we then obviously have (H (t)) logt, (H 2(t)) logt, similarly as we had for H (t),h 2 (t). Thus the proof goes through as before and finally one ends up with the bounds (.0), as asserted.

21 On some integrals involving the divisor problem 2 References [BW] J. Bourgain and N. Watt, Mean square of zeta function, circle problem and divisor problem revisited, preprint available at ariv: [Iv] A. Ivić, The Riemann zeta-function, John Wiley & Sons, New York 985 (reissue, Dover, Mineola, New York, 2003). [Iv2] A. Ivić, Large values of certain number-theoretic error terms, Acta Arith. 56(990), [Iv3] A. Ivić, Mean values of the Riemann zeta function, Tata Institute of Fund. Research, LN s 82, (distributed by Springer Verlag, Berlin etc.), Bombay, 99. To be found online at publ/ln/tifr82.pdf [Iv4] A. Ivić, Some problems on mean values of the Riemann zeta-function, Journal de Théorie des Nombres Bordeaux 8(996), [Iv5] A. Ivić, On the mean square of the zeta-function and the divisor problem, Annales Acad. Scien. Fennicae Math. 32(2007), -9. [Iv6] A. Ivić, On the divisor function and the Riemann zeta-function in short intervals, The Ramanujan Journal 9(2009), [IvZh] A. Ivić and W. Zhai, On some mean value results for the zeta-function and a divisor problem II, Indagationes Mathematicae, Volume 26, Issue 5, 205, pp [Jut] M. Jutila, Riemann s zeta-function and the divisor problem, Arkiv Mat. 2(983), and II, ibid. 3(993), [KV] A.A. Karatsuba and S.M. Voronin, The Riemann zeta-function, Walter de Gruyter, Berlin New York, 992. [Kol] G. Kolesnik, On the estimation of multiple exponential sums. Recent progress in analytic number theory, Vol. (Durham, 979), pp , Academic Press, London-New York, 98. [LT] Y.-K. Lau and K.-M. Tsang, Mean square of the remainder term in the Dirichlet divisor problem, Journal de Théorie des Nombres de Bordeaux 7(995), [Meu] T. Meurman, On the mean square of the Riemann zeta-function, Quarterly J. Math., Oxford II. Ser. 38(987), [Tit] E.C. Titchmarsh, The theory of the Riemann zeta-function (2nd edition), Oxford University Press, Oxford, 986. [Ton] K.-C. Tong, On divisor problems III, Acta Math. Sinica 6(956), [Zh] W.-P. Zhang, On the divisor problem, Kexue Tongbao (English Ed.) 33(988), no. 7, Aleksandar Ivić, Serbian Academy of Sciences and Arts, Knez Mihailova 35, 000 Beograd, Serbia. Wenguang Zhai, Department of Mathematics, China University of Mining and Technology, Beijing 00083, China. address: aleksandar.ivic@rgf.bg.ac.rs, aivic 2000@yahoo.com; zhaiwg@hotmail.com