Toward verification of the Riemann hypothesis: Application of the Li criterion Mark W. Coffey Department of Physics Colorado School of Mines Golden, CO 80401 (Received 2004) August 10, 2004 Abstract We substantially apply the Li criterion for the Riemann hypothesis to hold. Based upon a series representation for the sequence λk , which are certain logarithmic derivatives of the Riemann xi function evaluat{ }ed at unity, we de- termine new bounds for relevant Riemann zeta function sums and the sequence itself. We find that the Riemann hypothesis holds if certain conjectured prop- erties of a sequence ηj are valid. The constants ηj enter the Laurent expansion of the logarithmic derivative of the zeta function about s = 1 and appear to have remarkable characteristics. On our conjecture, not only does the Riemann hypothesis follow, but an inequality governing the values λn and inequalities for the sums of reciprocal powers of the nontrivial zeros of the zeta function. arXiv:math-ph/0505052v1 19 May 2005 Key words and phrases Riemann zeta function, Riemann xi function, logarithmic derivatives, Riemann hy- pothesis, Li criterion, Stieltjes constants, Laurent expansion, L function, Dirichlet series, Hecke L function, Dedekind zeta function, extended Riemann hypothesis 1 Introduction In this paper, we reduce the verification of the Riemann hypothesis to a conjec- ture concerning the behavior of certain coefficients ηk which appear in the Laurent expansion of the logarithmic derivative of the zeta function about s = 1. Moreover, should the conjectured property hold, we would then derive a result stronger than the Riemann hypothesis itself. Namely, we would have obtained an explicit lower bound for a sequence λ of certain logarithmic derivatives of the xi function evaluated at { j} unit argument. Since the coefficients ηj can be written as particular limits involving the von Mangoldt function Λ, these quantities seem to encapsulate both number the- oretic and analytic information. Such information is expected to be encountered in any rigorous denial or verification of the Riemann hypothesis. We first present an overview of our approach. We shall use the Li equivalence for the Riemann hypothesis to hold [25]. This equivalence results from a necessary and sufficient condition that the logarithmic derivative of the function ξ[1/(1 z)] − be analytic in the unit disk. The function ξ is determined from the Riemann zeta function ζ by way of the relation ξ(s)=(s/2)(s 1)π−s/2Γ(s/2)ζ(s), where Γ is the − Gamma function [13, 20, 22, 38, 37]. Then the xi function satisfies the functional equation ξ(s) = ξ(1 s). The Li equivalence states that a necessary and sufficient − condition for the nontrivial zeros of the Riemann zeta function to lie on the critical line Re s =1/2 is that a sequence of real numbers λk is nonnegative for every integer k. In this paper, we investigate the behavior of this sequence, based upon a series 2 representation previously derived [9]. Of this representation, we are able to bound one finite sum and make progress in bounding the other. We find that indeed the sequence λ has only nonnegative numbers, subject to the conjectured properties { k} of the sequence ηj. Among other connections, the ηj can be readily related to the Stieltjes constants γk. This gives one of several avenues for further investigation of the ηj expansion coefficients. This paper includes a series of appendices A–L which con- tain various extensions of our summation estimations, occasional alternative proofs, series representations analogous to that for λn relevant to other L-functions, tabu- lated numerical values, derivative relations of the Riemann zeta function, alternative expansions of the logarithmic derivative of the Riemann zeta and xi functions, re- marks on the integer-order derivatives of the Dedekind zeta and xi functions, and other reference material. We stress that we do not just conjecture as to the nature of the ηj’s, but provide a perhaps strong plausibility argument in favor. In addition, current numerical evidence [29] seems to fully support our conjecture. The sequence λ ∞ is defined by { n}n=1 1 dn λ = [sn−1 ln ξ(s)] . (1) n (n 1)! dsn s=1 − Then Li’s criterion for the Riemann hypothesis to hold is that all λ ∞ are non- { n}n=1 negative [25]. We note that Li’s convention for the xi function has a factor of two difference: ξLi(s)=2ξ(s), although this is immaterial in logarithmic derivatives such 3 as λj. We also have ( 1)n dn λ = − [(1 s)n−1 ln ξ(s)] , (2) n (n 1)! dsn − s=0 − and ξ(0) = ζ(0) = 1/2. (Hence ξ (0) = 1.) The approximate numerical values − Li for the first few λ ’s are: λ 0.0230957, λ 0.0923457, and λ 0.207639 (see j 1 ≃ 2 ≃ 3 ≃ Appendix D). In fact, we have λ = B, where B ln 2 + (1/2) ln π 1 γ/2 1 − ≡ − − ≃ 0.0230957, and γ 0.5772156649 is the Euler constant. This follows from the − ≃ logarithmic derivative [20] ξ′(s) 1 1 = B + + , (3) ξ(s) ρ s ρ ρ! X − where ρ runs over all the nontrivial zeros of the zeta function. Thus ξ′(s)/ξ(s) = (s ρ)−1, which is consistent with ξ (s) = (1 s/ρ). In general, the λ ’s are ρ − Li ρ − j connectedP to sums over the nontrivial zeros of ζQ(s) by way of [25] 1 n λn = 1 1 . (4) ρ " − − ρ! # X By using the Laurent expansion of the zeta function about s = 1, 1 ∞ ( 1)n ζ(s)= + − γ (s 1)n, (5) s 1 n! n − − nX=0 where the γk are the Stieltjes constants [20, 19], it is possible to write a closed form for the λj’s. The Stieltjes constants can be evaluated from the expression N k+1 1 k ln N γk = lim ln m , (6) N→∞ m − k +1 ! mX=1 4 and several other forms have been given [19]. For instance, we have λ =1+ γ γ2 + π2/8 2 ln 2 ln π 2γ , (7) 2 − − − − 1 and 1 3 2 7 λ3 = 2+ π 6 ln 2 3 ln π 12γ1 + γ[3 + 2(γ 3)γ +6γ1]+3γ2 ζ(3) . 2 4 − − − − − 4 (8) It is not difficult to determine that λ contains the term ( 1)j [j/(j 1)!]γ . The j − − − j−1 successive λj’s can be related in several different ways, including simply n ′ 1 d n ξ (s) λn+1 = λn + n s . (9) n! " ds ξ(s) #s=1 Alternatively, in the particular case of λ , one can write λ =2λ λ2+lim sξ′′(s)/ξ(s). 2 2 1− 1 s→1 Elsewhere, we have very recently obtained a general explicit relation for λk in terms of the Stieltjes constants [11]. Alternative representation of Li’s λj’s Of particular importance for the purposes of this paper is an alternative formula for the particular sequence of logarithmic derivatives of the Riemann xi function given in Eq. (1). Due to the centrality of this result, we briefly review the derivation [9] of the following representation, Theorem 1 n n n m n −m n λn = ηm−1 + ( 1) (1 2 )ζ(m)+1 (γ +ln π +2 ln 2), (10) − m! − m! − − 2 mX=1 mX=2 5 where the constants ηj can be written as k N k+1 ( 1) 1 k ln N ηk = − lim Λ(m) ln m , (11) k! N→∞ m − k +1 ! mX=1 and Λ is the von Mangoldt function [13, 20, 22, 38, 37, 21]. From the expansion around s = 1 of the logarithmic derivative of the zeta function, ζ′(s) ∞ = (s 1)−1 η (s 1)p, (12) ζ(s) − − − p − pX=0 we have ∞ η ln ζ(s)= ln(s 1) p−1 (s 1)p, (13) − − − p − pX=1 giving s ∞ η ln ξ(s)= ln 2 + ln s ln π + ln Γ(s/2) p−1 (s 1)p. (14) − − 2 − p − pX=1 The radius of convergence of the expansion (12) is 3, as the first singularity encoun- tered is the trivial zero of ζ(s) at s = 2. We then evaluate − n n−1 n−j d n−1 n 1 d [s ln ξ(s)]s=1 =(n 1)! ln ξ(s) , (15) dsn − j !(n j 1)! " dsn−j # jX=0 − − s=1 using in particular the special values ψ(1/2) = γ 2 ln 2 and ψ(n)(1/2)=( 1)n+1n!(2n+1 − − − − 1)ζ(n + 1) for n 1, where ψ = Γ′/Γ is the digamma function and ψ(j) is the ≥ polygamma function. Finally, the sum in Eq. (15) over j can be converted to a sum over m = n j and the simple result n ( 1)m n = 1 used, yielding Eq. (10). − − m=1 − m ′ P The Laurent expansion of ζ /ζ with the form of the constants ηj in Eq. (11) can be developed by applying Theorem 1 of Ref. [21]. In this case, the counting function A(x) = Λ(n) = ψ(x), where ψ is the Chebyshev function, and the error − n≤x − P 6 term is given by u(x) = x ψ(x). Equation (10) has been derived alternatively in − Ref. [6] by a method connected with A. Weil’s explicit formula. Our approach is independent, and we believe, more direct. In Appendix G we present an extension of Theorem 1 which accounts explicitly for the presence of the first six trivial zeros of the zeta function.