arxiv: v2 [math.nt] 28 Jun 2012

Transcription

1 ON THE DIFFERENCES BETWEEN CONSECUTIVE PRIME NUMBERS I D. A. GOLDSTON AND A. H. LEDOAN arxiv:.3380v [math.nt] 8 Jun 0 Abstract. We show by an inclusion-eclusion argument that the prime k-tuple conjecture of Hardy and Littlewood provides an asymptotic formula for the number of consecutive prime numbers which are a specified distance apart. This refines one aspect of a theorem of Gallagher that the prime k-tuple conjecture implies that the prime numbers are distributed in a Poisson distribution around their average spacing.. Introduction and statement of results In 976 Gallagher [5] [6] showed that a uniform version of the prime k-tuple conjecture of Hardy and Littlewood implies that the prime numbers are distributed in a Poisson distribution around their average spacing. Specifically let P r hn denote the number of positive integers n less than or equal to N such that the interval n n + h] contains eactly r prime numbers. Gallagher then proved that an appropriate form of the prime k-tuple conjecture implies for any positive constant λ and h λlogn as N that P r hn e λλr r! N. In particular if r = 0 then we obtain by an argument using the prime number theorem that as N p n+ N p n+ p n λlogn e λ N logn. Here p n is used to denote the nth prime number. The purpose of the present paper is to obtain a refinement of which shows that the Poisson distribution of the prime numbers in short intervals etends down to the individual differences between consecutive prime numbers. To obtain this result we employ a version of the prime k-tuple conjecture formulated as Conjecture H in Section which is equivalent to the form of the conjecture used by Gallagher. Theorem. Assume Conjecture H. Let d be any positive integer and let p be a prime number. Let further p C if d is even; p Sd = p d p> 0 if d is odd; and define C = p> p = Nd = p n+ p n+ p n=d 000 Mathematics Subject Classification. Primary N05; Secondary P3 N36. Key words and phrases. Hardy-Littlewood prime k-tuple conjecture; prime numbers; singular series. During the preparation of this work the first author received support from the National Science Foundation Grant DMS

2 D. A. GOLDSTON AND A. H. LEDOAN p n denotes the nth prime number. Then for any positive constant λ and d even with d λlog as we have Nd e λ Sd log. Here we note that Sd is the singular series in the conjectured asymptotic formula for the number of prime pairs differing by d. Our theorem shows that for consecutive prime numbers the Poisson density is superimposed onto this formula for prime pairs. Our theorem as well as its proof are implicitly contained in the 999 paper of Odlyzko Rubinstein and Wolf [] on jumping champions. Without claiming any originality we think it is worthwhile to eplicitly state and prove. More precise results when d/log 0 will be addressed in a second paper.. The Hardy-Littlewood prime k-tuple conjectures Let H = {h...h k } be a set of k distinct integers. Let π;h denote the number of positive integers n less than or equal to for which n+h...n+h k are simultaneously prime numbers. Then the prime k-tuple conjecture of Hardy and Littlewood [8] is that for 3 π;h SHli k SH = p k ν Hp p p ν H p denotes the number of distinct residue classes modulo p occupied by the elements of H and 4 li k = dt logt k. Note in particular that if ν H p = p for some prime number p then SH = 0. However if ν H p < p for all prime numbers p then SH 0 in which case the set H is called admissible. In 3 H is assumed to be admissible since otherwise π;h is equal to 0 or. The prime k-tuple conjecture has been verified only for the prime number theorem. That is to say for the case of k =. It has been asserted that in its strongest form the conjecture holds true for any fied integer k with an error term that is O k /+ε at most and uniformly for H []. See Montgomery and Soundararajan [9] [0]. However we do not need such strong conjectures here. Using 5 li k = log k +O k log k+ obtained from integration by parts we replace li k by its main term and make the following conjecture. Conjecture H. For each fied integer k and admissible set H we have π;h = SH log k+o k uniformly for H [h] h λlog as and λ is a positive constant. 3. Inclusion-eclusion for consecutive prime numbers The prime k-tuple conjecture for the case when k = provides an asymptotic formula for the number of prime numbers with a given difference d. We need to find a corresponding formula we restrict the count to prime numbers that are consecutive and for this one can use the prime k-tuple conjecture with k = and inclusion-eclusion to obtain upper and lower bounds for the number of consecutive prime numbers with difference d. This method has appeared in a series of papers of Brent [] [] [3] and was used by Erdős and Strauss [4] and Odlyzko Rubinstein and Wolf [] in their study of jumping champions. An integer d is called a jumping champion for a given if d is the most frequently occurring difference between consecutive prime numbers up to.

3 ON THE DIFFERENCES BETWEEN CONSECUTIVE PRIME NUMBERS I 3 We consider a special type of tuple D k for which and for k 3 D = {0d} D k = {0d...d k d}. Here we require that d is even. We want to count the number of consecutive prime numbers which do not eceed and have difference d namely Nd and for this we do inclusion-eclusion with p is also a prime number and for k 3 π d = p p p =d π k d...d k d = Inserting the epected main term we obtain p p p =d p p j=d j j k 6 π d = Sdli +R d and for k 3 7 π k d...d k d = SD k li k +R k D k. We now carry out the inclusion-eclusion. We trivially have Nd π d. The consecutive prime numbers that differ by d are those prime numbers p and p satisfying p p = d such that there is no third prime number p with p < p < p. We can eclude these non-consecutive prime numbers differing by d by removing all triples of this form although this will eclude the same non-consecutive pair of prime numbers more than once if there are quadruples of prime numbers such that p < p < p < p. Hence writing p p = d we obtain the lower bound Nd π d π 3 d d. d <d We net obtain an upper bound by including the quadruples eliminated in the previous step and continue in this fashion to get for R 8 Q R+ d Nd Q R d for N Q N d = π d+ N k d <...<d k <d. π k d...d k d. We use the convention here that an empty sum has the value zero. To evaluate Q N d we require a special type of singular series average considered by Odlyzko Rubinstein and Wolf. Let for k 3 9 A k d = SD k. d <...<d k <d Odlyzko Rubinstein and Wolf [] proved that for k 3 0 A k d = Sd dk k! +E kd E k d = O k d k loglogd.

4 4 D. A. GOLDSTON AND A. H. LEDOAN See also Goldston and Ledoan [7]. Thus on substituting and 0 we find that for N Q N d = Sdli + + = Sd N k N k A k dli k +R d d <...<d k <d [ N +R d+ k=0 k! d logt N k k ] R k D k dt logt + d <...<d k <d N k dt E k d logt k R k D k we used 4 in the second line. We can etract a main term independent of N out of the first term on the far right-hand side above by using Taylor s theorem. With the remainder epressed in Lagrange s form we have that for M 0 and > 0 e = M k=0 k! k + e ξ M +! M+ ξ lies in the open interval joining 0 and. Hence we have [ N k=0 by the Stirling formula ] k d k! logt dt logt = Therefore we have proved the following lemma. Lemma. For N we have d ep logt dt logt +O N! d dt = ep logt logt 3d +O N N log M! = ] πm M / e [+O M. M Q N d = SdId+ + N k N d dt logt logt N log N k dt E k d logt k +R d d <...<d k <d R k D k N 3d +O N N log log Id = d dt ep logt logt.

5 ON THE DIFFERENCES BETWEEN CONSECUTIVE PRIME NUMBERS I 5 4. Proof of the theorem If we had imposed the additional condition that n+h j is less than or equal to for j {...k} in the definition of π;h in Section we would have that π nd = π;d and for k 3 π k d...d k d = π;d k. However this condition has no effect on Conjecture H since with H [h] the condition removes at most h tuples which are absorbed into the error term. Thus assuming that Conjecture H holds true for k N we have that R d = osd/log R k D k = o k SD k /log k and by E k d = o k d k. Then by the lemma and since Sd for d even we have for and d λlog Q N d = SdId+o N e λ log +o Sd log N + o k SD k log k d <...<d k <d N 3λ +O N N log = SdId+o N e λ Sd log 4λ N +O N log. Finally on letting N tend to infinity sufficiently slowly the theorem follows from the estimate Id e λ log and 8. To prove this last estimate we let d = d/log and apply 5 to obtain the upper bound [ ] Id e d dt logt = e d log +O log 3 and the lower bound d dt Id ep log loglog /log logt [ ][ ] loglog ep d +O li li log log [ ] e d dloglog log +O. log Hence we have Id = e d log [ +O dloglog and the required estimate now follows since if d λlog d λ as. Hence the proof of the theorem is completed. Acknowledgment. The authors would like to epress their sincere gratitude to the referee for his comments on the earlier version of this paper. References [] R. P. Brent The distribution of small gaps between successive primes Math. Comp [] R. P. Brent Irregularities in the distribution of primes and twin primes in Collection of articles dedicated to Derrick Henry Lehmer on the occasion of his seventieth birthday Math. Comp [3] R. P. Brent Correction to: Irregularities in the distribution of primes and twin primes Math. Comp Math. Comput no [4] P. Erdős and E. G. Straus Remarks on the differences between consecutive primes Elem. Math no log ]

6 6 D. A. GOLDSTON AND A. H. LEDOAN [5] P. X. Gallagher On the distribution of primes in short intervals Mathematika [6] P. X. Gallagher Corrigendum: On the distribution of primes in short intervals Mathematika Mathematika 8 98 no. 86. [7] D. A. Goldston and A. H. Ledoan The jumping champion conjecture submitted for publication 0 available at [8] G. H. Hardy and J. E. Littlewood Some problems of Partitio numerorum ; III: On the epression of a number as a sum of primes Acta Math no. 70. Reprinted as pp in Collected Papers of G. H. Hardy Vol. I including joint papers with J. E. Littlewood and others; edited by a committee appointed by the London Mathematical Society Clarendon Press Oford University Press Oford 966. [9] H. L. Montgomery and K. Soundararajan Beyond pair correlation in: Erdős and his mathematics I Budapest ; Bolyai Soc. Math. Stud. János Bolyai Math. Soc. Budapest 00. [0] H. L. Montgomery and K. Soundararajan Primes in short intervals Comm. Math. Phys no [] A. Odlyzko M. Rubinstein and M. Wolf Jumping champions Eperiment. Math no Department of Mathematics San José State University 35 MacQuarrie Hall One Washington Square San José California United States of America address: daniel.goldston@sjsu.edu Department of Mathematics University of Tennessee at Chattanooga 47F EMCS Building Department McCallie Avenue Chattanooga Tennessee United States of America address: andrew-ledoan@utc.edu