On the Moments of the Function E*(t)
Let denote the error term in the Dirichlet divisor problem, and the error term in the asymptotic formula for the mean square of If with then we discuss bounds for third, fourth and fifth power moment of We also prove that always changes sign in for and obtain (conditionally) the existence of its large positive, or small negative values.
Keywords: Riemann zeta-function, moments of the function E*(t), large values
Turkish Journal of Analysis and Number Theory, 2014 2 (3),
Received June 19, 2014; Revised July 02, 2014; Accepted July 14, 2014Copyright © 2013 Science and Education Publishing. All Rights Reserved.
Cite this article:
- Ivić, Aleksandar. "On the Moments of the Function E*(t)." Turkish Journal of Analysis and Number Theory 2.3 (2014): 102-109.
- Ivić, A. (2014). On the Moments of the Function E*(t). Turkish Journal of Analysis and Number Theory, 2(3), 102-109.
- Ivić, Aleksandar. "On the Moments of the Function E*(t)." Turkish Journal of Analysis and Number Theory 2, no. 3 (2014): 102-109.
|Import into BibTeX||Import into EndNote||Import into RefMan||Import into RefWorks|
This paper is the continuation of the author’s works [6, 7, 8], where the analogy between the Riemann zeta-function and the divisor problem was investigated. As usual, let the error term in the classical Dirichlet divisor problem be
where is the number of divisors of is the Riemann zeta-function, and is Euler’s constant. In view of F.V. Atkinson’s classical explicit formula for E(T) (see , [, Chapter 15] and [, Chapter 2]) it was known long ago that there are analogies between and E(T). However, instead of the error-term function it is more exact to work with the modified function (see M. Jutila ,  and T. Meurman ), where
which is a better analogue of E(T) than . M. Jutila (op. cit.) investigated both the local and global behaviour of the difference
where p3(y) is a polynomial of degree three in y with positive leading coefficient, and all the coefficients may be explicitly evaluated. Here and later, as usual, denotes arbitrarily small positive constants, not necessarily the same ones at each occurrence. Moreover (same as ) means that for some and . Besides (1.5), the author had proved in [, Part IV] that
and in [, Part II] that
It turns out that the results (1.5)-(1.7) are independent of each other, that is, neither two of them imply the third one. Note that we have odd moments in (1.6) and (1.7), and it seems plausible that the respective moments without absolute value signs are smaller, since a lot of cancellation will probably happen. For example, one expects that the bound
holds for some constant such that , but this seems difficult to prove.
The first aim of this note is to provide unified, simplified and rigorous proofs of (1.6), (1.7) and a result that, by the Cauchy–Schwarz inequality for integrals, follows from (1.6) and (1.7), namely
Namely in previous work I used a lemma from M. Jutila [, Part II]. This was
LEMMA 1. For a constant we have
for and some constants and d.
This lemma, useful in its own right, seems insufficient in itself to deal with the case when the exponential integrals that come into play have a saddle point. It can be avoided altogether, and the complete proofs of (1.6)–(1.9) will be given in Sections 4 and 5, while the necessary lemmas are given in Section 2. Actually we shall first prove (1.9), and then use it to derive (1.6) and (1.7).
The second aim of this paper is to provide some new results on the distribution of values of . We have
THEOREM 1. If , then the function changes sign in every interval [T, T + H] for .
It should be remarked that in  the author proved the mean value bound
From (1.10) one deduces that, under the hypotheses of Theorem 1, the interval [T, T + H] contains a point such that
The inequality (1.11) shows the existence of large values of in [T, T + H]. Note that is discontinuous at the integers, but E(t) is continuous and ε. Hence by the defining relation (1.4) of and Theorem 1 it follows that every interval [T, T +H] contains a point t1 such that It would be interesting to see what is the smallest H such that the function changes sign in every interval [T, T + H] for . It would be also interesting to obtain (1.11) without absolute values, namely to find large positive values of and small negative values of in [T, T + H]. This, at present, does not seem possible unconditionally. However, we have
THEOREM 2. Suppose (1.8) holds. Then for any there exist constants such that, for , every interval contains points T1, T2 for which
The plan of the paper is as follows. In Section 2 the necessary lemmas will be given. Technical preparation is carried out in Section 3, while Section 4 contains the proofs of (1.9). The proofs (1.6) and (1.7) will be given in Section 5. Section 6 contains the proof of Theorem 1, and Section 7 that of Theorem 2.
2. The Necessary Lemmas
In this section we shall present the lemmas needed in the proofs of our results. We begin with the technical
LEMMA 2. If and is a suitable constant, then we have
Proof. From the defining relations (1.2)–(1.4) one easily obtains
By integration this gives, for
we have the first inequality in (2.1), and the second one is derived analogously.
LEMMA 3. Let be any two fixed constants such that , and let . Then
The next lemma is the Voronoï-type formula for , which is the analogue of the classical truncated Voronoï formula for , only the formula for has the factor in the sum, while that for does not (see e.g., [, Chapter 15]).
LEMMA 4. We have, for ,
We shall also need an arithmetic lemma on the number of small values of four square roots of integers. The was proved, in the general case of k-th roots, by Robert–Sargos .
LEMMA 5. Let be a fixed integer and be given. Then , the number of integers n1, n2, n3, n4 such that and
satisfies, for any given ε > 0,
3. The Technical Preparation for the Proofs
It is clear that we may prove the bounds in (1.6)–(1.9) for the integrals over [T, 2T], and then replace T by and sum the resulting bounds for j = 1, ... . As is customary in this field, we shall bound the occurrence of large values of E(t) by considering the set of well-spaced points for which
If the analysis is similar, and therefore will not be carried out in detail. Namely when we shall use the first inequality in (2.1), and in the case when when the second one. We use Lemma 3 and Lemma 4 (with N = T) to derive the explicit expression for in the integral (L = log T) on the right-hand side of (2.1). To truncate the sums that occur in these explicit expressions we use Taylor’s formula and
This procedure is similar to the one used in  in the proof of Lemma 7.2. In this manner it is seen that the terms with (cf. (3.5)) make a negligible contribution (that is, one which is for any given ). The integral can be also truncated at with a negligible error. We take then in each of the upper bounds provided by (2.1)
with a suitable . Therefore we obtain
We can suppose that V satisfies the bounds
Namely if , then all our results follow trivially from the mean square formula (1.5), while the upper bound in (3.4) follows from the trivial bound (see e.g.,  and ). Furthermore by picking a suitable subsequence of and calling it again , with a slight abuse of notation, we may assume that all the intervals , for the satisfying (3.3), are non-overlapping. In (3.3) we have set
with , where we have simplified the function e(T, n) (see (2.6)) by Taylor’s formula. Here and later +. . . will mean that in the relevant formula there are more expressions of a similar nature (structure) present, but they are of a lower order of magnitude than the expressions that are explicitly stated.
4. The Bound for the Fourth Moment
There are two natural ways to bound the quantity R appearing in (3.3): by the mean square or the mean fourth power of the function in (3.5). In this section we want to prove the bound (1.9), which is equivalent (by (2.1)) to the bound
provided that (3.1), (3.2) and (3.4) hold. In Section 5 we shall use this result to derive (1.6) and (1.7). From (3.3) and (3.5), on squaring and using the Cauchy-Schwarz inequality for integrals, we have
The mean square of both S1(t) and S2(t) is estimated similarly (see e.g., [, Chapter 15]). The former is technically a little simpler. As usual, we split into O(logT) subsums where the range of summation for n is
since . Here we estimated trivially the “diagonal” terms m = n (using ) and used the first derivative test (i.e., Lemma 2.1 of ) for the terms . The same bound holds for the mean square of . If RK is the number of in (3.3) pertaining to , then we have shown that
There is a possibility for another type of large values estimate involving the technique developed by the author in  and [, Chapter 13] to estimate the occurrence of large values of . The present problem is similar, with standing in place of in S2, which is not problematic in the present situation. We can use (13.65) of  with and the number of points counted by which lie in interval of length . Then we obtain
and suitable , we obtain
If we use the standard exponent pair , then from (4.5) and (4.6) we obtain
valid also for the whole range . The condition on V may be dropped, since we certainly assume to hold. Also note that since , hence we obtain
Multiplying (4.4) and (4.7) and then taking square roots we infer that
If K ≥ T1/2−ε we see that (4.8) gives the desired bound
Suppose now that K ≥ T1/2−ε fails, namely that
Analogously to (4.2) we shall obtain, by raising (3.3) to the fourth power,
where we have set
In other words, we consider separately the cases and . It is in the former case that we can take advantage of the “closeness” of the functions and . In the other case we treat the sums coming from and separately, or even “trivially”. In we use (2.5) to replace exp(if (t, n)) by
plus terms of a lower order of magnitude (in view of (4.10)). Hence we obtain
Here is a smooth function supported in [T/4, 4T] that equals unity in [T, 3T], which implies that for r = 0, 1, 2, .... We set
and note that integration by parts gives
This is the same type of exponential integral as the original one, only its integrandis decreased by a factor which is . Thus, after sufficiently manyintegrations by parts, it is seen that the contribution of J is negligible if
If , then by Lemma 5 (with ) and trivial estimation we obtain
The contribution to (4.1) is then , which is more than sufficient.
The integrals in (4.11) with S4 and S5 are estimated analogously, only the latter is more difficult and thus will be considered in detail. In S5(t) we replace exp(if (t, n)) by plus terms of a lower order of magnitude. We obtain
Thus with Δ given by (4.14) and
we see that the integral of is equal to
If , we apply again Lemma 5 as in the case of S3(t). We obtain that in this case
since . Again, this makes a contribution of to R in (4.1).
If , suppose that (the case is analogous). We may also suppose that , for if , then all the derivatives of are of the same sign. Thus by repeated integration by parts the integral in (4.16) makes again a negligible contribution in view of .
If we have with a sufficiently large , then in[T, 3T]. Hence by the first derivative test and Lemma 5 (with ) we have, supposing that ,
since and there are possible values of j. Here we used the notation which means that .
If and with a sufficiently small , then . Hence
and by the preceding argument we have again
Finally if and , then there may exist a saddle point (root of ) in [T, 3T] if . Hence by the saddle-point method (see [, Chapter 2] or by the use the second derivative test, making first the change of variable we obtain
plus the contribution of the error terms which is of a lower order of magnitude. Here denotes summation with the conditions
However, the estimation of the sum in (4.19) with the summation condition (4.20) is complicated, and we shall use another approach which avoids the use of higher dimensional exponential sums. Suppose now that
where , which will be determined later, does not depend on . Further suppose that
Since , it follows from (4.19) by trivial estimation and Lemma 5 that
if , since There remains the case when , but we shall show that this is impossible, which will complete the proof of (4.1)
To this end note that by the elementary identity
With we obtain
In the critical case when holds this gives
Thus if , (4.22) gives
since holds in S4 and S5. But trivially
which yields , and this is a contradiction by (4.10), if , say.
5. The Fifth and the Third Moment
Having at our disposal (4.1) we shall use it to obtain (1.7) and then (1.6). The bound (1.7) follows from the large values estimate
under the spacing conditions (3.1), (3.2) and (3.4). For we have, from the fourth moment bound (4.1),
In the case when we have (see the discussion after (4.3))
In this case we follow the discussion that was made in (4.11)–(4.18). The contribution of S3(t) will be, like in (4.13), The contribution of S4(t) and S5(t) will be (by the first bound in (4.17) and (4.18)),
since by (5.3) and . We remark that (5.4) also incorporates the bound O(K2) corresponding to the cases m = n and in Section 4. Hence we have proved (5.1).
Likewise the bound (1.6) follows from
We have, by (5.1),
for V ≥ T1/4−ε. If V < T1/4−ε, then by (4.4)
for . If , then we have , hence (5.5) holds for .
It remains to deal with the case
Namely for the bound (5.5) easily follows from (1.5). As in the case of the proof of (5.1) we note that the contribution of is
in view of . But in the remaining case of and we have the bound in (5.4). Thus if dominates in size then, since ,
If dominates in (5.4), then by (4.4) and (5.)
and the proof of (5.5) is finished. Thus the proof of the bounds (1.6)–(1.9) is complete.
6. Proof of Theorem 1
Suppose, contrary to the assertion of Theorem 1, that the function does not change sign in some interval [T, T+H] for some and .
The cases and are analogous, so only the former will be considered. On one hand we have the lower bound (1.10). On the other hand, since in [T, T+H],
In  it was proved that, if , then holds. It was conjectured that is permissible, but unconditionally it was proved that holds. Hence (6.1) yields
It follows, since and ,
which contradicts our choice . Therefore Theorem 1 is proved.
7. Proof of Theorem 2
We shall use a technique similar to the one employed by K.-M. Tsang in his work on the results in the sphere problem (see [, Lemma 1]). For any function f define
so that is the positive, and f− is the negative part of f. Then , and therefore the binomial theorem yields
From (1.8) and (7.1) it follows that
On the other hand, from the mean square formula (1.5) we obtain, for (this is why we had the restriction in the formulation of Theorem 1),
by Hölder’s inequality for integrals. By raising both sides to the power 3/2 one obtains
In deriving (7.3), instead of using (1.5), we could have used the lower bound in (1.10).
Take now , so that for any constant and we have
Then (7.2) and (7.3) imply that
and the assertion of Theorem 2 follows. It would be interesting to ascertain what is the lower bound for the integral in (1.8).
The author wishes to thank Prof. Kai-Man Tsang for valuable remarks.
|||F.V. Atkinson, The mean value of the Riemann zeta-function, Acta Math. 81(1949), 353-376.|
|||S.W. Graham and G. Kolesnik, Van der Corput’s method of exponential sums, London Mathematical Society Lecture Note Series 126, Cambridge University Press, Cambridge, 1991. vi+120 pp.|
|||A. Ivić, Large values of the error term in the divisor problem, Inventiones Math. 71(1983), 513-520.|
|||A. Ivić, The Riemann zeta-function, John Wiley & Sons, New York, 1985 (2nd ed. Dover, Mineola, New York, 2003).|
|||A. Ivić, The mean values of the Riemann zeta-function, LNs 82, Tata Inst. of Fundamental Research, Bombay (distr. by Springer Verlag, Berlin etc.), 1991.|
|||A. Ivić, On the Riemann zeta-function and the divisor problem, Central European J. Math. (2)(4) (2004), 1-15; II, ibid. (3)(2) (2005), 203-214; III, Annales Univ. Sci. Budapest, Sect. Comp. 29(2008), 3-23.; IV, Uniform Distribution Theory 1(2006), 125-135.|
|||A. Ivić, On the mean square of the zeta-function and the divisor problem, Annales Acad. Scien. Fennicae Mathematica 23(2007), 1-9.|
|||A. Ivić, Some remarks on the moments of |(ζ(1/2+ it)| in short intervals, Acta Math. Hung. 119(2008), 15-24.|
|||A. Ivić, On some mean square estimates for the zeta-function in short intervals, Annales Univ. Sci. Budapest., Sect. Comp. 40(2013), 321-335.|
|||A. Ivić, On some mean value results for the zeta-function in short intervals, Acta Arith. 162.2(2014), 141-158.|
|||M. Jutila, Riemann’s zeta-function and the divisor problem, Arkiv Mat. 21(1983), 75-96 and II, ibid. 31(1993), 61-70.|
|||M. Jutila, On a formula of Atkinson, in “Coll. Math. Sci. J´anos Bolyai 34, Topics in classical Number Theory, Budapest 1981”, North-Holland, Amsterdam, 1984, pp. 807-823.|
|||T. Meurman, A generalization of Atkinson’s formula to L-functions, Acta Arith. 47(1986), 351-370.|
|||O. Robert and P. Sargos, Three-dimensional exponential sums with monomials, J. reine angew. Math. 591(2006), 1-20.|
|||K.-M. Tsang, Counting lattice points in the sphere, Bull. London Math. Soc. 32(2000), 679-688.|