On the Riesz and Báez-Duarte criteria for the Riemann Hypothesis arxiv: v1 [math.nt] 18 Jul 2008

Transcription

1 On the Riesz and Báez-Duarte criteria for the Riemann Hypothesis arxiv: v [math.nt] 8 Jul 008 Jerzy Cis lo, Marek Wolf Institute of Theoretical Physics University of Wroc law pl. M.Borna 9, Wroc law, Poland cislo@ift.uni.wroc.pl, mwolf@ift.uni.wroc.pl October 8, 08 Abstract We investigate the relation between the Riesz and the Báez-Duarte criterion for the Riemann Hypothesis. In particular we present the relation between the function Rx) appearing in the Riesz criterion and the sequence c k appearing in the Báez-Duarte formulation. It is shown that Rx) can be expressed by c k, and, vice versa, the sequence c k can be obtained from the values of Rx) at integer arguments. Also, we give some relations involving c k and Rx), and value of the alternating sum of c k. Dedicated to Prof. Luis Báez-Duarte on the occasion of his 70th birthday Introduction The Riemann Hypothesis RH) states that the nontrivial zeros of the function ζs) = s ) n n= n s, ) where Rs) > 0 and s have the real part equal Rs) =. Although Riemann did not request it, today it is often demanded additionally that zeros on the critical line should be simple. The function ζs) defined by ) can be continued analytically to

2 J. Cis lo, M. Wolf the whole complex plane without s = where ζs) has the simple pole []. There are probably over 00 statements equivalent to RH, see eg. [], [], [3]. At the beginning of the 0th century M. Riesz [4] considered the function Rx) = x ) k x k k!ζk+). ) We present the plot of Rx) in the Fig.. In [4] Riesz stated the following condition for the Riemann Hypothesis Riesz Criterion: RH Rx) = O x /4+ǫ) for each ǫ > 0. 3) A few years ago L. Báez-Duarte [5], [6] considered the sequence of numbers c k defined as the forward differences of /ζj +): k ) k c k = ) j j ζj +). 4) j=0 The plot of c k is shown on the Fig.. Báez-Duarte proved Báez-Duarte Criterion: RH c k = Ok 3 4 +ǫ ) for each ǫ > 0. 5) Also, Baez-Duarteprovedin[6]thatitisnotpossibletoreplace 3 4 bylargerexponent, and that ǫ = 0 implies that the zeros of ζs) are simple. Next in [7] Báez-Duarte has considered replacing continuous criteria with sequential criteria in more general setting. Although the title of the Baez-Duarte paper [6] was A sequential Riesz-like criterion for the Riemann Hypothesis he did not pursue further relation between c k and Rx) to prove his criterion he has used the Mellin transform). In this paper we will present direct proofof the equivalence ofthe Riesz Criterion and Báez-Duarte Criterion. Besides, we will write some properties of Rx) and of c k, of two-parameter generalizations of Rx) and of c k introduced in [], [6],[3] and []. We calculate also the alternating sum of c k and state the conjecture about the special sum of the Möbius function. Proof of equivalence of the Riesz and Báez- Duarte Criteria In this section we will show that for large arguments function Rx)/x and the sequence c k behave in a similar way.

3 Riesz and Báez-Duarte criteria for RH 3 Let E denote the shift operator With this notation we can rewrite 4) as We have the formal identity Consequently we have the identity Efn) = fn+). 6) c k = E) k f0), where fj) = x k k! k j=0 ζj +). 7) e x E) = e x e xe. 8) ) k ) j fj) = e x j After substitution fk) = /ζk+) we get x) k fk). 9) k! x k k! c k = ex Rx). 0) x We may also observe the above relation while comparing discrete and continuous physical models of diffusion. For both models we expect similar properties of the solutions. Relation 0) appears also in the Exercises 67-7 in part IV of the book Polya and Szegö [5]. The formulae in the further part of this paper will involve the Möbius function if n = µn) = 0 if n is divisible by a square of a prime ) ) k if n is a product of k different primes Using the formula ζs) = n= we can rewrite Rx) and c k in the suitable for us form Rx) = x c k = k j=0 x) k k!ζk+) = x µn) n s ) n= µn) n exp x/n ), 3) ) k ) j j ζj +) = µn) ) k. 4) n n n=

4 4 J. Cis lo, M. Wolf We will also consider two two-parameter generalizations introduced in[], [3], [6]: R ab x) = x c ab k) = k j=0 x) k k!ζak +b) = n= µn) n b exp x/n a ), 5) ) k ) j j ζaj +b) = µn) ) k. 6) n b n a n= The original Riesz function Rx) as well as the Báez-Duarte sequence c k correspond to the choice of parameters a = b =. The generalization of the original Riesz criterion to the family R ab x) was given by A. Chaudhry [3] ) RH R ab x) = O x a b )+ǫ for each ǫ > 0. 7) For a =, b = it reproduces the Hardy Littlewood criterion [4] for RH. We start from following simple lemma: Lemma. If the function f is nondecreasing for x x 0 and nonincreasing for x x 0 then fn) fx) dx +fx 0 ). 8) n= Proof. If f) f) fk) and fk) fk+), then f)+f)+ +fk ) k fk +)+fk +)+fk +3) fk) fx 0 ). fx)dx, 9) k fx)dx, where Corollary. For b >, a > 0, and x > 0, we have n= In particular we have n b exp x/na ) J ab x b)/a + J ab = 0 t b exp /ta ) dt = a Γ b ea ) b/a x b/a, 0) ) b a ) J, = /) π, J,4 = /4) π, J,6 = 3/8) π, J,8 = 5/6) π. )

5 Riesz and Báez-Duarte criteria for RH 5 Corollary. We have R ab x) = Ox +a b)/a ), 3) c ab k) = Ok b)/a.) 4) In particular, for a = b = we have: Rx) /) πx / +/e. 5) The relation 4) follows from the next lemma. Lemma. We have R ab k) k = c ab k)+ok a b)/a ). 6) Proof. For x 0,, we have two inequalities: The first iequality implies exp x) x, expx) +x+x /. 7) The second inequality and Bernouli s inequality imply 0 exp kx) x) k. 8) x) k expkx) x / x 3 /) k kx / kx 3 /. 9) After some manipulations we get exp kx) x) k k/)x +x 3 )exp kx). 30) The inequalities 8) and 30) give us estimation R ab k) k k n= c ab k) exp k/n a ) /n a ) k 3) n b n= n a+b exp k/na )+ k n= n 3a+b exp k/na ). Here we used the triangle inequality, the inequality µn), and the substitution x = /n a. Now the thesis of Lemma follows from Corollary.

6 6 J. Cis lo, M. Wolf The substitution a = b = in inequality 3), and Corollary give Lemma 3. Rk) k c k 3 π 6 k 3/ +Ok ). 3) More explicitly we have Rk) c k 3 πk 3/ + 7 k 6 e 3 k + 5 πk 5/ +8e 4 k 3. 33) 3 Actually for k > 6 we have Rk)/k c k 3/6) πk 3/. Another proof of 33) can be found in [8], see also [7]. The fact that approximately c k Rk)/k was observed previously by S. Beltraminelli and D. Merlini [6]. The Fig.3 shows depends on k of Rk)/k c k obtained on the computer. Here the fit was obtained by the least square method from the data with k > 0000 to avoid transient regime and it is given by the equation y = 0.075x.57. Lemma 4. There is a real number A such that for 0 < x < y Rx) x Ry) y Ay x)x 3/. 34) Proof. We have Rx) x Ry) y n= exp x/n ) exp y/n ) n. 35) From Mean-Value Theorem we conclude that there exists z x,y) such that exp x/n ) exp y/n ) = y x n exp z/n ) < y x n exp x/n ). 36) Finally it follows from Corollary that Rx) x Ry) π y y x) 4 x 3/ + 4 ). 37) e x In paper [9], the following equivalence had already been anticipated: Theorem. For any real number δ > 3/ we have Rx) = Ox δ+ ) c k = Ok δ ). 38)

7 Riesz and Báez-Duarte criteria for RH 7 Proof. For integer x 38) follows immediately from Lemma 3. For noninteger x, we take Lemma 4 putting y = x + and use 3). Remark. Putting δ = 3/4+ǫ, we see that the Riesz criterion is equivalent to the Báez-Duarte criterion. 3 The values of c k for large k For large negative x function Rx) tends to xe x. For positive x, the behaviour of Rx) is much more difficult to reveal because the series ) is very slowly convergent. Having applied Kummer s acceleration convergence method, we get Rx) = x 6 π + n= µn) n e x n ) ). 39) Using thisformulawewereabletoproducetheplotofrx)forxupto0 7, seefig.. The first nontrivial zero of Rx) is x 0 = It is a reflection of the fact, that c 0 > 0 while c < 0. Riesz in [4] has noticed the existence of at least one positive real zero of Rx), while in [7] Báez-Duarte has proved existence of infintely many zeros of Rx). The envelopes on the Fig. are given by the equations yx) = ±Ax 4, A = ) It is very time consuming to calculate values of the sequence c k directly from the definition 4), see [8], [9]. The point is that for large j, ζj) is practically, and to distinguish it from high precision calculations are needed. The experience shows that to calculate c k from 4) roughly klog 0 ) digits of accuracy is needed [9]. However in [6] Báez-Duarte gave the explicit formula for c k valid for large k: c k = k ρ Γ ρ ) +o/k), 4) k ζ ρ) ρ where thesum runsover nontrivial zerosρof ζs): ζρ) = 0andIρ) 0. Maślanka in [8] gives the similar formula which contains the term hidden in o/k) in 4). Let us introduce the notation Γ ρ i ) ζ ρ i ) = A i +ib i. 4) Assuming that ρ i = +iγ i, it can be shown that A i and B i very quickly decrease to zero [], [9]: Γ ρ i ) ζ ρ i ) e πγ i/4. 43)

8 8 J. Cis lo, M. Wolf Finally, for large k, we obtain : c k = k 3 4 { ) )} γi logk) γi logk) A i cos B i sin. 44) i= The above formula explains oscillations on the plots of c k published in [6] and [8], see Fig.. Because these curves are perfect cosine-like graphs on the plots versus logk) it means that in fact in the above formula 44) it suffices to maintain only the first zero γ = , A = , B = and skip all remaining terms in the sum. It is justified by the very fast decrease of A i and B i following from 43). 4 The sums of c k Let us perform the formal calculation t k E) k = = t + t t E = t t E) t t ) k E k. 45) Acting with both sides on the function j /ζj +) we get c k t k = t t ) k t ζk+). 46) Of course instead of /ζj +) we can take an arbitrary function. The above calculation was formal and we need to know what is the domain of convergence. We will get 46) in another way. Let us consider following identity n n ) k t k = t+ t)n = t t ) k t nk+. 47) The first sum is convergent for t while the second one is convergent for < t < /. Thus the common domain of convergence is the interval,/). Hence n= µn) n n ) k t k = t n= µn) t ) k. 48) n k+ t The sums 48) are absolutely convergent and we can change the order of summation obtaining 46).

9 Riesz and Báez-Duarte criteria for RH 9 Substituting t = in the equation 48), we get ) k c k = k= = ) k ζk) This number probably can not be expressed by other known constants, because the Simon Plouffe inverter failed to find any relation [9]. Applying Abel s summation, we can write the r.h.s. of 49) as: k= k ζk) = + = + k= More detailed considerations gives ) ) k ζk) ζk+) ) ζ x) x/ ζ x) dx. 50) k ) j c j = j=0 k ζk) )k c k +Ok 3/ ). 5) k= Now we turn to the sum i=0 c i. The partial sum can be expressed in the following way: k S k = c i = i=0 µn) n ) ) k = n= k j= ) k ) j j ζj). 5) Computer calculations show that the partial sums initially tend from above to -, but for k 9000 the partial sum crosses - and around k the partial sum starts to increase. These oscillations begins to repeat with growing amplitude around -, see Fig. 4. The value - was informally derived in [8]. For large k the oscillations are described by the integral of 44) { ) )} k /4 γi logk) γi logk) A /4+γ i +B i γ i )cos B i A i γ i )sin i= i ) = O k 4. 53) It is interesting that the amplitude is very small, e.g. at k 0 8 the amplitude is of the order By combining 5) and 53) we get that µn) n ) ) k 54) n= oscillates around - with the amplitude growing like k /4. We generalize the last statement in the form of the following

10 0 J. Cis lo, M. Wolf Conjecture : Let b a > 0. Then the sum µn) n ) ) k n b a a n= 55) oscillate around /ζb a) 56) withtheamplitudegiven unconditionally byk b+a a and with the amplitude growing like k a b+/ a under the assumption of the Riemann Hypothesis. It seems to be mysterious that the sum i=0 c i oscillates around -, while the alternating sum i=0 )i c i gives probably transcendent number. Acknowledgement We would like to thank Prof. L. Báez-Duarte, Prof. M. Coffey and Prof. K. Maślanka for exchange. To prepare data for some figures we used the free computer algebra system PARI/GP [0]. References [] E. C. Titchmarsh The Theory of the Riemann Zeta Function, nd ed. New York: Clarendon Press, 987. [] [3] [4] M. Riesz Sur l hypothe se de Riemann, Acta Math ), [5] L. Báez-Duarte, A new necessary and sufficient condition for the Riemann Hypothesis, 003, math.nt/03075 [6] L. Báez-Duarte, A sequential Riesz-like criterion for the Riemann Hypothesis, International Journal of Mathematics and Mathematical Sciences 005) pp [7] L. Báez-Duarte, Möbius convolution and the Riemann Hypothesis, International Journal of Mathematics and Mathematical Sciences 005) pp [8] K. Maślanka, Báez-Duartes Criterion for the Riemann Hypothesis and Rices Integrals, math.nt/ v Apr 006 [9] M. Wolf Evidence in favor of the Báez-Duarte criterion for the Riemann Hypothesis math.nt/ May 006

11 Riesz and Báez-Duarte criteria for RH [0] Ronald L. Graham, Donald E. Knuth, Oren Patashnik, Concrete Mathematics: A Foundation for Computer Science nd Edition) Reading, MA: Addison- Wesley, 994. [] M.W. Coffey, On the coefficients of the Báez-Duarte criterion for the Riemann hypothesis and their extensions, arxiv:math-ph/ v [] R.B. Paris, A note on the evaluation of the Riesz function, technical report MS 04:03), University Abertay Dundee, March 004 [3] A. Chaudhry, The unification of the Hardy-Littlewood and Riesz conjectures preprint, presented at the ICM Madryt, 006) as a poster [4] G.H. Hardy and J.E. Littlewood Contributions to the theory of the Riemann zeta function and the theory of prime distribution, Acta Mathematica 4 98) p.9 [5] G.Polya, G.Szegö, Problems and Theorems in Analysis. Volume II Springer, Berlin, Heidelberg, New York 976, 998) [6] S. Beltraminelli, D. Merlini, The criteria of Riesz, Hardy-Littlewood et al. for the Riemann Hypothesis revisited using similar functions, arxiv:math.nt/ Jan 006 [7] S. Beltraminelli, D. Merlini, Riemann Hypothesis: a special case of the Riesz and Hardy-Littlewood wave and a numerical treatment of the Báez-Duarte coefficients up to some billions in the k-variable, arxiv:math/ v [8] J. Cis lo, M. Wolf, Equivalence of Riesz and Báez-Duarte criterion for the Riemann Hypothesis, math.nt/ [9] Plouffe s inverter and private exchange with Simon Plouffe [0] PARI/GP, version.., Bordeaux, 005, [] E. C. Titchmarsh The Theory of Functions, nd ed. Oxford, England: Oxford University Press, 960.

12 Fig. The plot of c for k,400000). J. Cis lo, M. Wolf Rx) Rx) x0 0 x0 x 6 4x0 6 6x0 6 8x0 6 x0 7 x Fig. The plot of Rx) for x 0,800000) and for x 0,0 7 ) in the inset. The part of Rx) smaller than is skipped. x 4.0x x0 0 c k -4.0x x k

13 Riesz and Báez-Duarte criteria for RH Rk) k - c k 3 p 6 k -3/ least square fit Fig. 3 The log-log plot of Rk)/k c k for k 0,0 6 ) k k 0.00 c i=0 i k Fig. 4 The distance from - of the partial sums n c k for n =,