Abstract

Integral equalities involving integrals of the logarithm of the Riemann -function with exponential weight functions are introduced, and it is shown that an infinite number of them are equivalent to the Riemann hypothesis. Some of these equalities are tested numerically. The possible contribution of the Riemann function zeroes nonlying on the critical line is rigorously estimated and shown to be extremely small, in particular, smaller than nine milliards of decimals for the maximal possible weight function exp(). We also show how certain Fourier transforms of the logarithm of the Riemann zeta-function taken along the real (demi)axis are expressible via elementary functions plus logarithm of the gamma-function and definite integrals thereof, as well as certain sums over trivial and nontrivial Riemann function zeroes.

1. Introduction

In recent papers [1, 2] we analyzed certain contour integrals involving the logarithm of the Riemann zeta-function and have established an infinite number of equalities of the type which were proven to be equivalent to the Riemann hypothesis (RH; is the Riemann zeta-function; see, e.g., [3] for definitions and discussion of the general properties of this function). In particular, it was shown that all earlier known equalities of this type, that is, those of Wang [4], Volchkov [5], Balazard et al. [6], and one of us [7], are certain particular cases of our general approach elaborated in [1].

In this paper we establish new integral equalities equivalent to RH. We use exponential weight functions, and, in our opinion, the resulting equations are especially interesting. In particular, we were able to rigorously estimate the possible contribution of the Riemann function zeroes nonlying on the critical line which were shown to be extremely small, for example, smalle8r than nine milliards of decimals for the “maximal possible”; in a sense (see below), weight function .

2. Integral Equalities with Exponential Weight Function Equivalent to the Riemann Hypothesis

The main tool for our work here is the following generalized Littlewood theorem about contour integrals involving logarithm of an analytical function.

Theorem 1 (the generalized Littlewood theorem). Let denote the rectangle bounded by the lines where and let be analytic and nonzero on and meromorphic inside it; let also be analytic on and meromorphic inside it. Let be the logarithm defined as follows: one starts with a particular determination on and obtains the value at other points by continuous variation along = const from . If, however, this path would cross a zero or pole of , one takes to be accordingly as one approaches the path from above or below. Let also be the logarithm defined by continuous variation along any smooth curve fully lying inside the contour which avoids all poles and zeroes of and starts from the same particular determination on . Suppose also that the poles and zeroes of the functions , do not coincide.
Then , where the sum is over all which are poles of the function lying inside , all which are zeroes of the function counted taking into account their multiplicities (i.e., the corresponding term is multiplied by for a zero of the order ) and which lie inside , and all which are poles of the function counted taking into account their multiplicities and which lie inside . The assumption is that all relevant integrals in the right-hand side of the equality exist.

Proof. Our proof closely follows the well-known proof of the Littlewood theorem (or lemma) given, for example, in [8, p. 133]. Consider first the function where is a point of the rectangle. Let be the contour obtained by describing in the positive direction from (, ) as far as (), then the straight line as far as , then a circle of radius about , and then returning along and the rest of to the starting point; see Figure 1. The only poles of in are those of the function , so that . The integral round the small circle tends to zero with the radius; thus we have , where and are the values of on the two paths joining to . Hence we obtain from by passing in the negative direction round a simple zero of at ; we have and, correspondingly, , where we introduce a notation to distinguish this function from . The general case now easily follows by addition of terms corresponding to the various poles and zeroes of .

From the proof of Theorem 1, illustrated in Figure 1, it follows that the function , occurring in its formulation, is not a continuous function along the left border of the contour, namely, along the line connecting the points and : its value jumps on when we pass a point such that there is an th order zero or pole of the function lying inside the contour (and not on the integration line) and having an ordinate . This function is only piecewise continuous. This circumstance is present, of course, also in the original Littlewood theorem given for (and is well recognized in its formulation; see [8]). The value of is a continuous function along the left border of the contour provided, of course, that there are no poles or zeroes of the function lying exactly on this same border.

Now let us consider a rectangular contour with the vertices with real (with this choice we avoid the trivial Riemann zeroes) and real , introduce the function , where is real positive, and apply the above theorem to the contour integral . Along the line we have an integral and along the line we have an integral . Due to the known asymptotic behaviour of the Riemann zeta-function [3], in particular for large positive , these integrals converge while integrals over lines and vanish in the limit of large .

If , on the border of the contour, we have the pole of the Riemann function at and in the interior of the contour we also might have a number of zeroes of the Riemann function. We definitely have an infinite number of zeroes if . The order zero of the Riemann function , for , according to Theorem 1, contributes = to the contour integral value, so finally the aforementioned generalized Littlewood theorem results in the following equality:In the last term here we took into account that the pole lies exactly onto the contour border whence the coefficient is instead of .

Now we should remind the reader that the function is not continuous; see above (and this is the reason why we put an asterisk sign here). If we want to use a continuous logarithm function instead (which we will denote simply ), the following straightforward modification is to be done. If real functions , are continuous on the segment and function coincides with on and is equal to on ( is a constant, ), we have , and this is trivially generalized for complex numbers and improper integrals having counting number of discontinuities. For our particular case we have, considering one , discontinuity at : , and the aforementioned generalization gives

Using (2), we get instead of (1)where separation of real and imaginary parts readily gives equalitiesHere the argument is a continuous function along the contour (of course, provided there are no Riemann zeroes lying exactly on it) and the following initial values of the argument should be taken: since we have the simple pole at on the contour, we select for real    and for    where real positive .

Equations (4) and (5) are our starting point, and their first application is the following theorem.

Theorem 2. Equalitieswhere , are real positive numbers such that , for (6) and for (7), hold true for some if and only if there are no Riemann function zeroes with . For these equalities are equivalent to the Riemann hypothesis.

Proof. For all possible Riemann -function zeroes with and hence lying inside the contour, from our choice of and the known properties of the Riemann function zeroes, we have . Then the imposed conditions and guaranty the same signs of all possible contributions and from (4) and (5) and also prevent them from being equal to zero.
In (6), it is interesting for to take thus eliminating any problem with the integration over real axis (pole of the Riemann function coincides with zero of sine):Similarly, for (7), the choice is useful:Equalities , are equivalent to the Riemann hypothesis. They have been tested numerically using the standard procedure Integrate in Mathematica. Because the first integrand here decays very fast, we can limit the integration interval of the variable to . We need also to reduce the working precision (set to 50) and maximal recursion (set to 70). For the second integral in and we set the integration interval for the variable to and set the working precision and maximal recursion to 50. After 1.5 hours of CPU time we obtained for the result of and for after more than 8 hours . So in both cases we have a correspondence for at least the first 30 figures.

Next, two similar theorems can be proved when we select left contour border line lying to the left to the critical line.

Theorem 2a. Equalitywhere , are real positive numbers such that and , where is a positive integer such that , holds true for some if and only if there are no Riemann function zeroes with .

Proof. In conditions of the theorem, all contributions of the Riemann function zeroes lying on the critical line, , to the contour integral value are equal to zero. If there are a pair of Riemann function zeroes , with , both of them lie inside the contour and their contributions exactly compensate each other thus contributing nothing to the contour integral value. If there is a zero with , it lies outside the contour or on its border and hence contributes nothing while its partner zero lies inside the contour and contributes . In the conditions of the theorem, contributions of all such zeroes are nonzero and have the same sign.

Quite similarly, we have Theorem 2b whose proof one-to-one follows that of Theorem 2a.

Theorem 2b. Equalitywhere , are real positive numbers such that and , where is a positive integer or zero such that , holds true for some if and only if there are no Riemann function zeroes with .

Unfortunately, similar theorems cannot be formulated for because no one value of can ensure the same sign of all Riemann zeroes nonlying on the critical line contributions for such a case.

3. Rigorous Bound for the Contribution of Riemann Zeroes Not Lying on the Critical Line

Exponential weight function appearing in the integrals considered in the previous section makes the problem of estimation of the maximal possible contribution of remaining Riemann function zeroes nonlying on the critical line a rather simple one. For example, for the real part, we know ((4) for ) that where the sum is over all zeroes nonlying on the critical line and having . How large the r.h.s. here can be? First, we have that . This last sum is given by Stieltjes integral , where is a discontinuous counting function which counts the number of Riemann zeroes having the real part and taking into account the order of zeroes. The integration by parts readily gives . About the function we know that it is equal to zero when [9]. Further, when it cannot exceed the function , where is a usual zero counting function which counts zeroes in the strip , ( is equal to if all zeroes with do not lie on the critical line). Thus the contribution at question cannot exceed Now for the function we use the known formula with the estimation of the reminder given by Backlund in 1916 [10]: Then integration in (11) with (12) and (13) is trivial and we obtain thatOf course, , and thusThus for, say, we obtain , and taking the maximal possible value of , , we get , that is, a precision with at least 1.43 milliard decimals in the first case and of 9 milliards of decimals in the second case.

To summarize, we may say that, combining a rigorous analytical treatment with the known numerical results on the Riemann function zeros on the critical line, we have found an equation of the form , where is equivalent to the RH. We were able to set a bound to of the order 1 over the nine milliardth power of 10; in this tiny factor lies the truth of the RH. In a numerical experiment we verified the equation up to 30 decimals.

Remark 3. There is a more recent calculation of Gourdon where it is reported that the first Riemann zeroes are located on the critical line, but we were unable to get an exact value of from the corresponding reference [11]. See also quite recent Platt paper [12] and references cited therein for a short review of the problem.

It is also worthwhile to note that if we put the question what is the attainable precision of equalities pertinent to check up whether there are no Riemann function zeroes with , such a precision can be much larger because for such case in the conditions of Theorems 2, 2a, and 2b much larger values of can be taken; for example, for , we are able to use the weight function .

4. On Some Fourier Transforms of Logarithm of the Riemann Zeta-Function Taken along the Real Axis and Their Relation with the Riemann Hypothesis

We now discuss what is the situation with , that is, if we move the left border of the contour further to the left. Let for a moment still . First, we select in such a manner that , . In doing so, when speaking about integral equalities involving , we set all contributions of the Riemann function zeroes lying on the critical line to the “maximal by modulus” value . If we somehow know all ordinates of the Riemann function zeroes , we are in a position to calculate the value and then we would be able to formulate a criterion equivalent to the Riemann hypothesis of the type “RH holds true if and only if the integral equality holds” (evident changes taking into account an appearance of trivial zeroes on the contour border are to be made if ; see below). This is clear because, from the formula expressing the contribution of zeroes to the contour integral value and our choice of , , it immediately follows that, for zeroes with , all contributions have the same sign and the module of contribution is smaller than it would be for zeroes with the same ordinates but with , . Similar situation takes place for an integral involving an argument of the Riemann function if we select , .

Unfortunately, we do not see how the constant can be efficiently calculated.

The other way around, we can select in such a manner that the condition holds. Then for all such values of we obtain unconditionally (i.e., independent on the RH) true equalities: all terms in (5) vanish; they are either equal to zero, if , or mutually compensate each other for a pair of zeroes having . Similar unconditional integral equalities can be obtained, starting from (4), for integrals involving logarithm of the module of the Riemann function if we select . For completeness, we present these results as the following simple theorem.

Theorem 4. For any real positive and any real such that , one has an integral equality if , and integral equality if .

If we move the left border of the contour further to the left, then, contrary to the case , on the lower border of the contour we have a number of trivial zeroes at the points and (4) is to be modified asCorrespondingly, (5) now readsIn this last equality we start from the following initial value of an argument function: , where real positive . (As usual, means the whole part of positive − number.) Evident corresponding modifications should be done in Theorem 4.

One of such unconditionally true equalities, namely, that obtained from (5) putting and , that is, , has also been checked up numerically. (Note that here .) In this case, we calculated the first integral with the same parameters as discussed above. For the second integral we extended the integration’s interval to and the maximal recursion to 100. The result is similar to two previously mentioned cases. Note that here and the contribution of the pole exactly compensates that of the first trivial zero; hence in fact the two integrals, when summing, compensate each other up to 30 digits as found in the computations.

Interesting new possibilities appear if we take certain value of and introduce a sequence in such a manner that the condition holds for any . Below we illustrate such approach for a particular case , ( is a positive integer). We have the following particular case of (19):where is independent on .

Let us now analyze both integrals of (20) starting from . All estimations below are done with the precision because and smaller terms tend to zero for large . To begin with, we should include the contribution of an initial value of an argument of the Riemann function, which is equal to , to (20). This contributes to the integral value. Now let us change function to function using functional equation [3]: Factor in (21) contributes to the integral value. For sine factor, taking odd, we have = = . Its argument is ; hence we need to handle an integral . Integrating by parts we see that this contribution is equal to ; with the variable transform this is easily calculated to be equal to .

Integral involving an argument of Riemann -function tends to zero when , so next we evaluate the contribution of the gamma-function. We use Stirling formula [13]where [13], and have Further, . Factor is real and contributes nothing. It is not difficult to see that integral involving tends to zero with tending to infinity.

Now we need to analyze second integral in (20), that is, the integral . With a variable change it is equal to which we divide into . For the first integral we use the variable transform to write that it is equal to and then use the same functional equation (21) again, so we need to estimate

First, . For an integral involving logarithm of gamma-function we again use the Stirling formula [13] and get

To finish the consideration of the contribution of the logarithm of gamma-function we need to add the contribution of which is . Using we can perform integration over : , and thus the contribution at question is .

Finally we need to analyze the contribution of the sine factor in (24) which is = . Integration is to be applied with caution here due to the presence of the module. To avoid errors, it is reasonable to consider separately integrals , , and ; the latter is an integral along the period. Integrating by parts, we haveand further Similarly, while integral over the period is equal to (use the same approach as above, or entry number 4.384.3 of [14] with evident variable changes), so the total contribution of the sine factor in (24) to (20) is equal to .

Collecting everything together we see the cancelling of and terms. Thus, considering the limit , we have established the following relation expressing certain particular value of Fourier transform of the logarithm of the Riemann zeta-function:Here we used standard notation , [14]. Of course, similar equalities can be established for many other such Fourier transforms.

Repeating what has been said above about the “maximality” of the sum , we again could formulate a statement of the type “RH holds true if and only if the integral equality (28) with holds.” Numerical calculation taking into account first 100 zeroes of the Riemann function gives the value . Equality (28) has been tested numerically and shown to be true: without the term both sides coincide up to 39 figures after decimal and are equal to 0.5620211964552684935093570395449423344. Then, of course, they start to differ.

5. Conclusions

In this paper we have established a number of new criteria involving the integrals of the logarithm of the Riemann -function and equivalent to the Riemann hypothesis, this time with the exponential weight functions. Exponential weight functions lead to rather simple expressions for the contribution of the Riemann function zeroes not lying on the critical line to the contour integral value. This enabled obtaining a rigorous estimation of the possible error which was shown to be extremely small.

We also show how certain Fourier transforms of the logarithm of the Riemann zeta-function taken along the real (demi)axis are expressible via elementary functions plus logarithm of the gamma-function and definite integrals thereof, as well as certain sums over trivial and nontrivial Riemann function zeroes. In our opinion, further study of similar Fourier transforms is interesting and might be useful in the Riemann researches.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.