arxiv: v1 [math.nt] 5 Sep 2014

Transcription

1 O the um of the firt prime umber Chritia Aler September 8, 014 arxiv: v1 [math.nt] 5 Sep 014 Abtract I thi paper we etablih a geeral aymptotic formula for the um of the firt prime umber, which lead to a geeralizatio of the mot accurate aymptotic formula give by Maia ad Robi i Itroductio At the begiig of the 0th cetury, Ladau [] howed that p k log. The curretly mot accurate aymptotic formula wa proved by Maia ad Robi [4] i 1996, amely p k = logloglog loglog 5/ loglog log log. 1 A aymptotic formula for p k I thi paper we derive a geeral aymptotic formula for the um of the firt prime umber. To prove thi aymptotic formula, we itroduce the followig defiitio. Defiitio. Let,i,j,r N 0 with j r. We defie the iteger b,i,j,r Z a follow: If j = r = 0, the If j 1, the If j 1, the b,i,0,0 = 1. b,i,j,j = b,i,j 1,j 1 i j 1. b,i,j,0 = b,i,j 1,0 j 1. 4 If j > r 1, the b,i,j,r = b,i,j 1,r j 1b,i,j 1,r 1 i r 1. 5 Propoitio.1. If r > i, the Proof. Let r > i. From, it follow that b,i,j,r = 0. b,i,i1,i1 = 0 6 ad hece b,i,k,k = 0 7 1

2 for every k i1. We ue 5 repeatedly ad 6 to get b,i,k,i1 = b,i,i1,i1 k 1...i 1 = 0 for every k i. By uig 6, it follow that for every k i1. Net, we prove by iductio that b,i,k,i1 = 0 8 b,i,k,i = 0 9 for every N ad every k i. If k = i, the b,i,k,i = 0 by 7. So, it uffice to prove 9 for every N ad every k i1. If = 1, the claim follow from 8. Now we write k = it with a arbitrary t N. By 5 ad the iductio hypothei, we obtai b,i,ti,i = b,i,i,i ti 1... i1 1. Sice b,i,i,i = 0 by 7, we get b,i,k,i = 0 ad the reult follow. Let m N. By [1], there eit uique Q, where a = 1 for all 1 m, uch that m 1 1 p = logloglog 1 log loglog c i m, 10 where We et c m = loglogm1 log m1. ad g = logloglog h m = m j=1 j 1! j log j. The logarithmic itegral li i defied for every real a li = Lemma.. We have Proof. Itegratio by part. 0 { dt 1 ε logt = lim ε 0 0 li = j=1 dt logt 1ε j 1! log j Lemma.. Let,a R be uch that a. The Proof. See Duart []. a } dt logt log 1 tdt logt = li lia.. dt logt Lemma.4. Let m,m 0 N be uch that m m 0 ad let f be a cotiuou fuctio o [m 0, which i o-egativ ad icreaig o [m,. The k=m 0 fk = m 0 fdf.

3 Proof. We etimate the itegral by upper ad lower um. The followig theorem yield a geeral aymptotic formula for the um of the firt prime. Theorem.5. For every N, m p k = g h m Proof. We et By 10, we obtai τ = 1 1 log logloglog 1 m mi{i,j} 1 1 log p k = τkc m k. Uig τ log a ad Lemma.4, we get p k = τkc m = k= Firt, we itegrate the firt three term of τ. We have log d = log b,i,j,r loglog i r c j log j m. loglog i. τdc m Net, uig itegratio by part, Lemma. ad Lemma., we get loglogd = loglog h m Hece, by 11, log m1. p k = g h m m 1 1 loglog i log dc m. 1 Now let 1 m ad 0 i. We prove by iductio that for every t N 0, Itegratio by part give loglog i log d = t mi{i,j} b,i,j,r loglog i r mi{i,t1} j1 log j b,i,t1,r loglog i r t1 log t1 d1. 1 loglog i log d = loglog i log i loglog i 1 log 1 d loglog i log 1 d1, o 1 hold for t = 0. By iductio hypothei, we get loglog i t 1 log d = mi{i,j} b,i,j,r loglog i r j1 log j mi{i,t} b,i,t,r loglog i r t log t d1.

4 Uig itegratio by part of the itegral o the right had ide, we obtai Sice mi{i,t} loglog i log d = t mi{i,j} b,i,j,r loglog i r mi{i,t} j1 log j b,i,t,r tloglog i r i rloglog i r 1 t1 log t1 d b,i,t,r tloglog i r i rloglog i r 1 = mi{i,t} r=1 we ca ue 4 ad 5 to get mi{i,t} b,i,t,r t b,i,t,r 1 i r 1loglog i r b,i,t,0 tloglog i b,i,t,mi{i,t} i mi{i,t}loglog i mi{i,t}1, b,i,t,r tloglog i r i rloglog i r 1 = mi{i,t} b,i,t1,r loglog i r b,i,t,mi{i,t} i mi{i,t}loglog i mi{i,t}1. 15 It i eay to ee that Hece by 15 we obtai b,i,t,mi{i,t} i mi{i,t} = b,i,t1,mi{i,t}1. mi{i,t} b,i,t,r tloglog i r i rloglog i r 1 = Sice b,i,t1,i1 = 0 for t i by Propoitio.1, it follow that mi{i,t} b,i,t,r tloglog i r i rloglog i r 1 = mi{i,t}1 mi{i,t1} Uig 14, we obtai 1. Now we chooe t = i 1 ad we get b,i,t1,r loglog i r. b,i,t1,r loglog i r. loglog i log d = mi{i,j} b,i,j,r loglog i r j1 log j loglog i log m1. We ubtitute thi i 1 to obtai ad our theorem i proved. p k = g h m m 1 1 m 1 1 loglog i log m1 mi{i,j} c m, b,i,j,r loglog i r j1 log j 4

5 The followig corollary geeralize the aymptotic formula 1. Corollary.6. Let m N. The there eit uique moic polyomial T Q[], where 1 m ad degt =, uch that p k = logloglog m 1 1 T loglog log c m. The polyomial T ca be computed eplicitly. I particular, T 1 = 5/ ad T = 79/. Proof. Sice a = 1 ad b,,0,0 = 1, the firt claim follow from Theorem.5. By uig [1] ad ettig m = i Theorem.5, we obtai the polyomial T 1 ad T. Remark. The firt part of Corollary.6 wa already proved by Siha [5] i 010. Due to a calculatio error, he gave the polyomial T 1 = ad T = 77/. Referece [1] Cipolla, M., La determiazioe aitotica dell imo umero primo, Red. Accad. Sci. Fi-Mat. Napoli 8 190, [] Duart, P., Autour de la foctio qui compte le ombre de ombre premier, Diertatio, Uiverité de Limoge, [] Ladau, E., Hadbuch der Lehre vo der Verteilug der Primzahle, Vol. 1, Teuber, Leipzig ud Berli, [4] Maia, J.-P., Robi, G., Bore effective pour certaie foctio cocerat le ombre premier, Joural Th. Nombre de Bordeau, Vol , 1 8. [5] Siha, N. K., O the aymptotic epaio of the um of the firt prime, arxiv: v