arxiv:math/ v2 [math.nt] 6 May 2001

Transcription

1 A Elemetary Problem Equivalet to the Riema Hypothesis Jeffrey C. Lagarias (May 5, 200 versio) arxiv:math/000877v2 [math.nt] 6 May 200 ABSTRACT. The problem is: Let H =, that with equality oly for =. j= j d H + exp(h )log(h ), d AMS Subject Classificatio (2000): Primary M26, Secodary A25 Keywords: Riema hypothesis, colossally abudat umbers. Itroductio We cosider the followig problem. Problem E. Let H = j= with equality oly for =. j. Show that, for each, be the -th harmoic umber. Show, for each d H + exp(h )log(h ), (.) d The fuctio σ() = d d is the sum of divisors fuctio, so for example σ(6) = 2. The umber H is called the -th harmoic umber by Kuth, Graham ad Patashik [9, Sect. 6.3], who detail various properties of harmoic umbers. The E i Problem E might stad for either easy or elemetary. Perhaps H for hard would be a better letter to use, sice our object is to show the followig equivalece. Theorem. Problem E is equivalet to the Riema hypothesis. The Riema hypothesis, stated by Riema [7] i 859, cocers the complex zeros of the Riema zeta fuctio. The Riema zeta fuctio ζ(s) is defied by the Dirichlet series ζ(s) = s, = which coverges for R(s) >, ad it has a aalytic cotiuatio to the complex plae with oe sigularity, a simple pole with residue at s =. The Riema hypothesis states that the oreal zeros of the Riema zeta fuctio ζ(s) all lie o the lie R(s) = 2. Oe reaso for the great iterest i the Riema hypothesis, regarded by may as the most importat usolved problem

2 i pure mathematics, is its coectio with the distributio of prime umbers, described below. More sigificatly, the Riema hypothesis is a special case of questios cocerig geeralizatios of the zeta fuctio (L-fuctios) ad their coectios with problems i umber theory, algebraic geometry, topology, represetatio theory ad perhaps eve physics, see Berry ad Keatig [3], Katz ad Sarak [8] ad Murty[]. The coectio of the Riema hypothesis with prime umbers was the origial questio studied by Riema [7]. Let π(x) cout the umber of primes p with < p x. C. F. Gauss oted empirically that π(x) is well approximated by the logarithmic itegral which itself satisfies Li(x) = x 2 dt log t, Li(x) = x log x + O( x (log x) 2). The Riema hypothesis is equivalet to the assertio that for each ǫ > 0 there is a positive costat C ǫ such that π(x) Li(x) C ǫ x /2+ǫ for all x 2, see Edwards [5, p. 90]. The force of the Riema hypothesis lies i the small size of the error term. The strogest form kow of the Prime Number Theorem with error term asserts that π(x) Li(x) C x exp( C 2 (log x) 3/5 ǫ ), for ay positive ǫ, for certai positive costats C ad C 2 depedig o ǫ; this result is due to Viogradov ad Korobov i 958. Problem E ecodes a modificatio of a criterio of Guy Robi [8] for the Riema hypothesis. Robi s criterio states that the Riema hypothesis is true if ad oly if σ() < e γ log log for all 504, (.2) where γ is Euler s costat. This criterio is related to the desity of primes, as explaied i 2. Our aim was to obtai a problem statemet as elemetary as possible, cotaiig o udefied costats. However the hard work uderlyig the equivalece resides i the results of Robi stated i 3, where we give a proof of Theorem.. Before comig to the proof, i the ext sectio we describe how the Riema hypothesis is related to the sum of divisors fuctio. The coectio traces back to Ramauja s work o highly composite umbers, ad ivolves several results of Erdős with coauthors. 2. Colossally Abudat Numbers The Riema hypothesis is ecoded i the criterio of Theorem. i terms of the very thi set of values of σ() that are large. The sum of divisors fuctio is give by σ() = ( + p + p p a ) = ( + p pa), (2.) p a where the product is take over all primes p dividig ad the otatio p a, meas p a divides but p a+ does ot divide. Most values of σ() are o the order of C. The average size of σ() was essetially foud by Dirichlet i 849, ad is give by the followig result of Bachma, cf. Hardy ad Wright [7, Theorem 324]. p a 2

3 Theorem 2. (Bachma) The average order of σ() is π2 6. More precisely, as. j= σ(j) = π O( log ) The maximal order of σ() is somewhat larger, ad was determied by Growall i 93, see Hardy ad Wright [7, Theorem 323, Sect. 8.3 ad 22.9]. Theorem 2.2 (Growall) The asymptotic maximal size of σ() satisfies where γ is Euler s costat. lim sup σ() log log = eγ, This result ca be deduced from Mertes theorem, which asserts that ( p ) eγ log x. p x as x. A much more refied versio of the asymptotic upper boud, due to Robi [8, Theorem 2], asserts (ucoditioally) that for all 3, I 3 we will show that σ() < e γ log log log log. (2.2) H + exp(h )log(h ) e γ log log + 7 log, the right side of which is oly slightly smaller tha that of (2.2). Comparig this boud with (2.2) shows that the iequality (.), if ever false, caot be false by very much. The study of extremal values of fuctios of the divisors of is a brach of umber theory with a log history. Let d() cout the umber of divisors of (icludig ad itself). Highly composite umbers are those positive itegers such that d() > d(k) for k. Superior highly composite umbers are those positive itegers for which there is a positive expoet ǫ such that d() ǫ d(k) k ǫ for all k >, so that they maximize d() over all ; these form a subset of the highly composite umbers. The ǫ study of these umbers was iitiated by Ramauja. Oe ca formulate similar extrema for the sum of divisors fuctio. Superabudat umbers are those positive itegers such that σ() > σ(k) k for k. 3

4 σ() Factorizatio of Table : Colossally abudat umbers up to 0 8. Colossally abudat umbers are those umbers for which there is a positive expoet ǫ such that σ() σ(k) +ǫ k +ǫ for all k >. so that attais the maximum value of σ(k) k +ǫ over all k. The set of colossally abudat umbers is ifiite. They form a subset of the superabudat umbers, a fact which ca be deduced from the defiitio. Table gives the colossally abudat umbers up to 0 8, as give i []. Robi showed that if the Riema hypothesis is false, there will ecessarily exist a couterexample to the iequality (.2) which is a colossally abudat umber, cf. [8, Propositio of Sectio 3]; the same property ca be established for couterexamples to (.). (There could potetially exist other couterexamples as well.) Superabudat ad colossally abudat umbers were studied i detail by Alaoglu ad Erdős [] i 944. As evideced i the table, colossally abudat umbers cosist of a product of all the small primes up to some boud, with expoets which are oicreasig as the prime icreases. The values of these expoets have a characteristic smooth shape which ca be almost completely described (see (2.3) below). I fact these classes of umbers had bee studied earlier, by Ramauja, i his 95 work o highly composite umbers [4]. The otes i Ramajua s Collected Papers report: The Lodo Mathematical Society was i some fiacial difficulty at the time, ad Ramauja suppressed part of what he had writte i order to save expese. [4, p. 339]. Oly the first 52 of 75 sectios were prited. The mauscript of the upublished part was evetually rediscovered amog the papers of G. N. Watso, i Ramauja s Lost Notebook (see Adrews [2] Alaoglu ad Erdős [] use a slightly stroger defiitio of colossally abudat umber; they impose the additioal requiremet that σ() > σ(k) must hold for k <. With their defiitio the colossally abudat umbers are +ǫ k +ǫ exactly those give by (2.3) below. 4

5 ad Ramauja [5, pp ]) ad fially published i 997, i [6]. I it superabudat ad colossally abudat umbers are cosidered i Sectio 59, as special cases of the cocepts of geeralised highly composite umbers ad superior geeralised highly composite umbers, for the parameter value s =. Ramauja derived upper ad lower bouds for the maximal order of geeralised highly composite umbers i Sectio 7, assumig the Riema hypothesis. (The Riema hypothesis was assumed from Sectio 40 oward i his paper.) His bouds imply, assumig the Riema hypothesis, that (.2) holds for all sufficietly large. The results of Alaoglu ad Erdős i their 944 paper are ucoditioal, ad maily cocered the expoets of primes occurrig i highly composite ad superabudat umbers. I cosiderig the expoets of primes appearig i colossally abudat umbers, they raised the followig questio, which is still usolved. Cojecture. (Alaoglu ad Erdős) If p ad q are both primes, is it true that p x ad q x are both ratioal oly if x is a iteger? This cojecture would follow as a cosequece 2 of the four expoetials cojecture i trascedetal umber theory, which asserts that if a,a 2 form a pair of complex umbers, liearly idepedet over the ratioals Q, ad b,b 2 is aother such pair, also liearly idepedet over the ratioals, the at least oe of the four expoetials {e a ib j : i,j = or 2} is trascedetal, see Lag [0, pp. 8-]. Alaoglu ad Erdős [, Theorem 0] showed that for geeric values of ǫ there is exactly oe maximizig iteger, ad the expoet a p (ǫ) of each prime p i it is a p (ǫ) = log(p+ǫ ) log(p ǫ ) ; (2.3) log p furthermore for all ǫ > 0 this value of is maximizig. However for a discrete set of ǫ there will be more tha oe maximizig iteger. Erdős ad Nicolas [6, p. 70] later showed that for a give value of ǫ there will be exactly oe, two or four itegers that attai the maximum value of σ(k). If k +ǫ the cojecture of Alaoglu ad Erdős above has a positive aswer, the o values of ǫ will have four extremal itegers. This would imply that the ratio of two cosecutive colossally abudat umbers, the larger divided by the smaller, will always be a prime, ad that every colossally abudat umber has a factorizatio (2.3) for some oempty ope iterval of geeric values of ǫ. Now we ca explai the relevace of the Riema hypothesis to the extremal size of σ(). Colossally abudat umbers are products of all the small primes raised to powers that are a smoothly decreasig fuctio of their size. Fluctuatios i the distributio of primes will be reflected i fluctuatios i the growth rate of σ() take over the set of colossally abudat umbers. Recall that the Riema hypothesis is equivalet to the assertio that for each ǫ > 0, π(x) Li(x) < x /2+ǫ holds for all sufficietly large x. It is also kow that if the Riema hypothesis is false, the there will exist a specific positive costat δ such that the oe-sided iequality π(x) > Li(x) + x /2+δ is true for a ifiite set of values with x. Heuristically, if we choose a value of x where such a excess of primes over Li(x) occurs, ad the take a product of all primes up to this boud, choosig 2 For o-ratioal x cosider a = log p, a 2 = log q, b = ad b 2 = x i the four expoetials cojecture. For o-iteger ratioal x a direct argumet is used. 5

6 appropriate expoets, oe may hope to costruct umbers with σ() exceedig e γ log log by a small amout. If the Riema hypothesis holds, there is a smaller upper boud for excess of the umber of primes above Li(x), ad from this oe ca deduce a slighly better upper boud for σ(). The aalysis of Robi [8] gives a quatitative versio of this, as formulated i Propositios 3. ad 3.2 below. Oe ca prove ucoditioally that the iequality (.) holds for early all itegers. Eve if the Riema hypothesis is false, the set of exceptios to the iequality (.) will form a very sparse set. Furthermore, if there exists ay couterexample to (.), the value of will be very large. 3. Proofs The proof of Theorem. is based o the followig two results of Robi [8]. Propositio 3. (Robi) If the Riema hypothesis is true, the for each 504, d e γ log log, (3.) where γ is Euler s costat. d Proof. This is Theorem of Robi [8]. Propositio 3.2 (Robi) If the Riema hypothesis is false, the there exist costats 0 < β < 2 ad C > 0 such that d e γ C log log log log + (log ) β (3.2) holds for ifiitely may. d Proof. This appears i Propositio of Sectio 4 of Robi [8]. The costat β ca be chose to take ay value b < β < 2, where b = R(ρ) for some zero ρ of ζ(s) with R(ρ) > 2, ad C > 0 must be chose sufficietly small, depedig o ρ. The proof uses ideas from a result of Nicolas [2], [3, Propositio 3], which itself uses a method of Ladau. We prove two prelimiary lemmas. Lemma 3. For 3, exp(h )log(h ) e γ log log. (3.3) Proof. Lettig t deote the iteger part of t ad {t} the fractioal part of t, we have t t 2 dt = r t dt t 2 = ( r ) = H. r= Thus H = + t {t} t 2 dt = log + {t} dt. (3.4) t2 6

7 From this we obtai H = log + γ + where we have set {t} γ := t 2 dt. This is Euler s costat γ = , sice lettig yields which is its usual defiitio. Now (3.5) gives which o expoetiatig yields γ = lim (H log ), H > log + γ, {t} dt, (3.5) t2 exp(h ) e γ. (3.6) Fially H log so log(h ) log log > 0 for 3. Combiig this with (3.6) yields (3.3). Lemma 3.2 For 20, Proof. The formula (3.4) implies, for 3, H + exp(h )log(h ) e γ log log + 7 log. (3.7) log H log(log + ) log log + log( + ). (3.8) Next, (3.5) yields Sice we obtai from (3.9) that ( exp(h ) = exp log + γ + ( e γ exp ( = e γ exp dt t 2 exp(x) + 2x for 0 x, ) ( exp(h ) e γ + 2 ) ) {t} t 2 dt ). (3.9). (3.0) Combiig this boud with (3.8) yields exp(h )log(h ) e γ e γ log log + log( + ) + 2eγ (log log + ) e r log log + 6 log for 0. Usig H log + ad log log + for 20 yields (3.7). 7

8 Proof of Theorem. Suppose the Riema hypothesis is true. The Propositio 3. ad Lemma 3. together give, for 504, d e γ log log < H + exp(h )log H. d For 5040 oe verifies (.) directly by computer, the oly case of equality beig =. Suppose (.) holds for all. We argue by cotradictio, ad suppose that the Riema hypothesis is false. The Propositio 3.2 applies. However its lower boud, valid for ifiitely may, cotradicts the upper boud of Lemma 3.2 for sufficietly large. We coclude that the Riema hypothesis must be true. Ackowledgemets. I thak Michel Balazard for brigig Robi s criterio to my attetio, ad J.-L. Nicolas for refereces, particularly cocerig Ramauja, Eric Rais for checkig (.) for 5040 o the computer, ad Jim Reeds for correctios. I thak the reviewers for simplificatios of the proofs of Lemmas 3. ad 3.2. Refereces [] L. Alaoglu ad P. Erdős, O Highly Composite ad Similar Numbers, Tras. Amer. Math. Soc. 56 (944), [2] G. E. Adrews, A Itroductio to Ramauja s Lost Notebook, Amer. Math. Mothly 86 (979), [3] M. V. Berry ad J. P. Keatig, The Riema zeros ad eigevalue asymptotics, SIAM Review 4 (999), [4] M. Davis, Hilbert s Teth Problem: Aspects of a egative solutio, i: Mathematical Developmets arisig from Hilbert Problems, Proc. Symp. Pure Math. No. XXVIII, America Math. Society: Providece 976, pp [5] H. E. Edwards, Riema s Zeta Fuctio, Academic Press: New York 974. [6] P. Erdős ad J.-L. Nicolas, Répartitio des ombres superabodats, Bull. Math. Soc. Frace 03 (975), [7] G. H. Hardy ad E. M. Wright, A Itroductio to the Theory of Numbers. Fifth Editio. Oxford Uiv. Press: Oxford 979. [8] N. Katz ad P. Sarak, Zeros of zeta fuctios ad symmetry, Bull. Amer. Math. Soc. 36 (999), 26. [9] D. Kuth, R. L. Graham ad O. Patashik, Cocrete Mathematics (Secod Editio), Addiso- Wesley: Readig, MA 994. [0] S. Lag, Trascedetal Number Theory, Addiso-Wesley: Readig, Mass [] M. R. Murty, A motivated itroductio to the Laglads program, i: Advaces i Number Theory, Oxford U. Press: New York 993, pp

9 [2] J. L. Nicolas, Petites valeurs de la foctio d Euler et hypothèse de Riema, Semiar o umber theory, Paris (Parius 98/982), Birkhäuser, Bosto 983, pp [3] J. L. Nicolas, Petites valeurs de la foctio d Euler, J. Number Theory 7 (983), [4] S. Ramauja, Highly composite umbers, Proc. Lodo Math. Soc. 4 (95), (Also, S. Ramauja, Collected Papers,, Chelsea 962, pp , otes pp ) [5] S. Ramauja, The Lost otebook ad other upublished papers. With a itroductio by George E. Adrews, Narosa: New Delhi ad Spriger-Verlag: Berli-New York 988. [6] S. Ramauja, Highly composite umbers. Aotated ad with a foreword by J.-L. Nicholas ad G. Robi, Ramauja J. (997), [7] G. F. B. Riema, Ueber die Azahl der Primzahle uter eier gegebee Grösse, Moatsber. Akad. Berli (859), (Also i: G. F. B. Riema, Gesammelte Mathematische Werke (Ed. H. Weber), Dover reprit 953.) [Eglish traslatio i: Edwards (974), pp ] [8] G. Robi, Grades valeurs de la foctio somme des diviseurs et hypothèse de Riema, J. Math. Pures Appl. 63 (984), AT&T Labs Research, Florham Park, NJ , USA address: jcl@research.att.com 9