# Brun's theorem

Brun's theorem The convergence to Brun's constant.

In number theory, Brun's theorem states that the sum of the reciprocals of the twin primes (pairs of prime numbers which differ by 2) converges to a finite value known as Brun's constant, usually denoted by B2 (sequence A065421 in the OEIS). Brun's theorem was proved by Viggo Brun in 1919, and it has historical importance in the introduction of sieve methods.

Contents 1 Asymptotic bounds on twin primes 2 Numerical estimates 3 Further results 3.1 In popular culture 4 See also 5 Notes 6 References 7 External links Asymptotic bounds on twin primes The convergence of the sum of reciprocals of twin primes follows from bounds on the density of the sequence of twin primes. Let {displaystyle pi _{2}(x)} denote the number of primes p ≤ x for which p + 2 is also prime (i.e. {displaystyle pi _{2}(x)} is the number of twin primes with the smaller at most x). Then, for x ≥ 3, we have {displaystyle pi _{2}(x)=Oleft({frac {x(log log x)^{2}}{(log x)^{2}}}right).} That is, twin primes are less frequent than prime numbers by nearly a logarithmic factor. It follows from this bound that the sum of the reciprocals of the twin primes converges, or stated in other words, the twin primes form a small set. In explicit terms the sum {displaystyle sum limits _{p,:,p+2in mathbb {P} }{left({{frac {1}{p}}+{frac {1}{p+2}}}right)}=left({{frac {1}{3}}+{frac {1}{5}}}right)+left({{frac {1}{5}}+{frac {1}{7}}}right)+left({{frac {1}{11}}+{frac {1}{13}}}right)+cdots } either has finitely many terms or has infinitely many terms but is convergent: its value is known as Brun's constant.

If it were the case that the sum diverged, then that fact would imply that there are infinitely many twin prime numbers. Because the sum of the reciprocals of the twin primes instead converges, it is not possible to conclude from this result that there are finitely many or infinitely many twin primes. Brun's constant could be an irrational number only if there are infinitely many twin primes.

Numerical estimates The series converges extremely slowly. Thomas Nicely remarks that after summing the first one billion (109) terms, the relative error is still more than 5%.[1] By calculating the twin primes up to 1014 (and discovering the Pentium FDIV bug along the way), Nicely heuristically estimated Brun's constant to be 1.902160578.[1] Nicely has extended his computation to 1.6×1015 as of 18 January 2010 but this is not the largest computation of its type.

In 2002, Pascal Sebah and Patrick Demichel used all twin primes up to 1016 to give the estimate[2] that B2 ≈ 1.902160583104. Hence, Year B2 set of twin primes below # by 1976 1.902160540 1×1011 Brent 1996 1.902160578 1×1014 Nicely 2002 1.902160583104 1×1016 Sebah and Demichel The last is based on extrapolation from the sum 1.830484424658... for the twin primes below 1016. Dominic Klyve showed conditionally (in an unpublished thesis) that B2 < 2.1754 (assuming the extended Riemann hypothesis). It has been shown unconditionally that B2 < 2.347.[3] There is also a Brun's constant for prime quadruplets. A prime quadruplet is a pair of two twin prime pairs, separated by a distance of 4 (the smallest possible distance). The first prime quadruplets are (5, 7, 11, 13), (11, 13, 17, 19), (101, 103, 107, 109). Brun's constant for prime quadruplets, denoted by B4, is the sum of the reciprocals of all prime quadruplets: {displaystyle B_{4}=left({frac {1}{5}}+{frac {1}{7}}+{frac {1}{11}}+{frac {1}{13}}right)+left({frac {1}{11}}+{frac {1}{13}}+{frac {1}{17}}+{frac {1}{19}}right)+left({frac {1}{101}}+{frac {1}{103}}+{frac {1}{107}}+{frac {1}{109}}right)+cdots } with value: B4 = 0.87058 83800 ± 0.00000 00005, the error range having a 99% confidence level according to Nicely.[1] This constant should not be confused with the Brun's constant for cousin primes, as prime pairs of the form (p, p + 4), which is also written as B4. Wolf derived an estimate for the Brun-type sums Bn of 4/n. Further results Let {displaystyle C_{2}=0.6601ldots } (sequence A005597 in the OEIS) be the twin prime constant. Then it is conjectured that {displaystyle pi _{2}(x)sim 2C_{2}{frac {x}{(log x)^{2}}}.} In particular, {displaystyle pi _{2}(x)<(2C_{2}+varepsilon ){frac {x}{(log x)^{2}}}} for every {displaystyle varepsilon >0} and all sufficiently large x.

Many special cases of the above have been proved. Most recently, Jie Wu proved that for sufficiently large x, {displaystyle pi _{2}(x)<4.5{frac {x}{(log x)^{2}}}} where 4.5 corresponds to {displaystyle varepsilon approx 3.18} in the above. In popular culture The digits of Brun's constant were used in a bid of \$1,902,160,540 in the Nortel patent auction. The bid was posted by Google and was one of three Google bids based on mathematical constants.[4] Furthermore, academic research on the constant ultimately resulted in the Pentium FDIV bug becoming a notable public relations fiasco for Intel.[5][6] See also Divergence of the sum of the reciprocals of the primes Meissel–Mertens constant Notes ^ Jump up to: a b c Nicely, Thomas R. (18 January 2010). "Enumeration to 1.6*10^15 of the twin primes and Brun's constant". Some Results of Computational Research in Prime Numbers (Computational Number Theory). Archived from the original on 8 December 2013. Retrieved 16 February 2010. ^ Sebah, Pascal; Gourdon, Xavier. "Introduction to twin primes and Brun's constant computation". CiteSeerX 10.1.1.464.1118. ^ Klyve, Dominic. "Explicit bounds on twin primes and Brun's Constant". Retrieved 24 May 2021. ^ Damouni, Nadia (1 July 2011). "Dealtalk: Google bid "pi" for Nortel patents and lost". Reuters. Archived from the original on 3 July 2011. Retrieved 6 July 2011. ^ "Archived copy". www.trnicely.net. Archived from the original on 18 June 2019. Retrieved 22 February 2022. ^ Price, D. (1995). "Pentium FDIV flaw-lessons learned". IEEE Micro. 15 (2): 86–88. doi:10.1109/40.372360. References Brun, Viggo (1915). "Über das Goldbachsche Gesetz und die Anzahl der Primzahlpaare". Archiv for Mathematik og Naturvidenskab. B34 (8). Brun, Viggo (1919). "La série 1/5+1/7+1/11+1/13+1/17+1/19+1/29+1/31+1/41+1/43+1/59+1/61+..., où les dénominateurs sont nombres premiers jumeaux est convergente ou finie". Bulletin des Sciences Mathématiques (in French). 43: 100–104, 124–128. Cojocaru, Alina Carmen; Murty, M. Ram (2005). An introduction to sieve methods and their applications. London Mathematical Society Student Texts. Vol. 66. Cambridge University Press. pp. 73–74. ISBN 0-521-61275-6. Landau, E. (1927). Elementare Zahlentheorie. Leipzig, Germany: Hirzel. Reprinted Providence, RI: Amer. Math. Soc., 1990. LeVeque, William Judson (1996). Fundamentals of Number Theory. New York City: Dover Publishing. pp. 1–288. ISBN 0-486-68906-9. Contains a more modern proof. Wu, J. (2004) [24 Sep 2007]. "Chen's double sieve, Goldbach's conjecture and the twin prime problem". Acta Arithmetica. 114 (3): 215–273. arXiv:0705.1652. Bibcode:2004AcAri.114..215W. doi:10.4064/aa114-3-2. External links Weisstein, Eric W. "Brun's Constant". MathWorld. Weisstein, Eric W. "Brun's Theorem". MathWorld. Brun's constant at PlanetMath. Sebah, Pascal and Xavier Gourdon, Introduction to twin primes and Brun's constant computation, 2002. A modern detailed examination. Wolf's article on Brun-type sums Categories: Sieve theoryTheorems about prime numbers

Si quieres conocer otros artículos parecidos a Brun's theorem puedes visitar la categoría Sieve theory.

Subir

Utilizamos cookies propias y de terceros para mejorar la experiencia de usuario Más información