Brunsche Konstante

Die Brunsche Konstante ist eine mathematische Konstante aus dem Bereich der Analytischen Zahlentheorie. Benannt ist sie nach dem norwegischen Mathematiker Viggo Brun, welcher ihre Existenz durch Verwendung des nach ihm benannten Siebes bewiesen hat.

Brunsche Konstante für Primzahlzwillinge

Im Jahr 1919 zeigte der Mathematiker Viggo Brun, dass die Summe der Kehrwerte aller Primzahlzwillinge (Paare von Primzahlen, deren Differenz 2 beträgt) konvergiert. Der Grenzwert <math>B_2</math> dieser Summe wird Brunsche Konstante für Primzahlzwillinge genannt:

<math> B_2 = \!\!\! \sum\limits_{p,\, p+2 \,\in\, \mathbb{P} }\! \left(\tfrac1{p} \!+\! \tfrac1{p+2}\right)

= \left(\tfrac1{3} \!+\! \tfrac1{5}\right) + \left(\tfrac1{5} \!+\! \tfrac1{7}\right) + \left(\tfrac1{11} \!+\! \tfrac1{13}\right) + \left(\tfrac1{17} \!+\! \tfrac1{19}\right) + \left(\tfrac1{29} \!+\! \tfrac1{31}\right) + \dotsb </math>

Dieses Ergebnis der analytischen Zahlentheorie ist auf den ersten Blick überraschend, da die Summe der Kehrwerte aller Primzahlen divergiert, wie bereits im 18. Jahrhundert von Leonhard Euler bewiesen wurde. Wäre auch <math>B_2</math> divergent, hätte man einen Beweis für die bis heute offene Vermutung, dass es unendlich viele Primzahlzwillinge gibt (1849 von Alphonse de Polignac (1817–1890)). Aus der Konvergenz lässt sich jedoch nicht auf das Gegenteil schließen.

Abschätzung

Jahr	<math>B_2</math>	<math>p \leq </math>	Autor
1966	1,90216	1 · 10⁹	T. R. Nicely
1976	1,902160540	1 · 10¹¹	R. P. Brent
1996	1,902160578	1 · 10¹⁴	T. R. Nicely
2002	1,902160583104	1 · 10¹⁶	P. Sebah, P. Demichel
2010	1,902160583209	2 · 10¹⁶	T. R. Nicely

Die Idee zur Abschätzung besteht darin, die Summation zunächst so weit wie möglich durchzuführen und dann den fehlenden Rest abzugeschätzen. So haben Daniel Shanks (1917–1996) und John William Wrench, Jr. (1911–2009) alle Primzahlzwillinge unterhalb <math>2 \cdot 10^6</math> benutzt.

Eine Schätzung

<math> B_2 \approx 1{,}90216\ 05831\ 04 \qquad </math> (Folge A065421 in OEIS)

stammt von Pascal Sebah und Patrick Demichel aus dem Jahr 2002, der hierfür alle Primzahlzwillinge bis <math>10^{16}</math> betrachtete. Die Berechnung von <math>B_2</math> ist allerdings außerordentlich schwierig, zum einen, da die Reihe sehr langsam konvergiert, zum anderen, da das Auffinden aller großen Primzahlzwillinge äußerst aufwändig ist (siehe auch: Primzahltests).

Die bislang genaueste Abschätzung ist (Stand 16. März 2010)<ref name="nicely">Thomas R. Nicely: Prime Constellations Research Project. 16. März 2010</ref>

Es wurde die Summe der Kehrwerte aller 19.831.847.025.792 Primzahlzwillinge <math>(p, p+2)</math> mit <math>p+2 < 2 \cdot 10^{16}</math> berechnet:

<math> \sum\limits_{p,\,p+2 \,\in\,\mathbb{P} \atop p \,<\, 2\cdot 10^{16}} \left(\tfrac1{p} \!+\! \tfrac1{p+2}\right)

= 1{,}83180\ 80634\ 32379\ 01198\ 41239\ 12086\ 74712\ 537\ldots</math>

und der Restterm abgeschätzt.

(Nichtnumerische) Berechnung

Deutlich schlechter sehen die Ergebnisse der (nichtnumerischen) Berechnung der Brunschen Konstante aus. 2025 gelang es Lachlan Dunn, aber nur unter Annahme der nicht bewiesenen Verallgemeinerten Riemannschen Vermutung

abzuschätzen.<ref>Improved Upper Bound on Brun's Constant Under GRH</ref>

Brunsche Konstante für Primzahldrillinge

Neben <math>B_2</math> gibt es noch zwei weitere Brunsche Konstanten <math>B_{3a}</math> und <math>B_{3b}</math> für Primzahldrillinge.

Die ersten drei Primzahldrillinge der Form <math>(p, p+2, p+6)</math> sind <math>(5, 7, 11)</math>, <math>(11, 13, 17)</math> und <math>(17, 19, 23)</math>. Auch in diesem Fall konvergiert die Summe und es gilt (Stand 16. März 2010):<ref name="nicely" />

<math>B_{3a}

= \left(\tfrac1{5} \!+\! \tfrac1{7} \!+\! \tfrac1{11}\right) + \left(\tfrac1{11} \!+\! \tfrac1{13} \!+\! \tfrac1{17}\right) + \left(\tfrac1{17} \!+\! \tfrac1{19} \!+\! \tfrac1{23}\right) + \dotsb \;\;\approx 1{,}09785\ 10396\ 79 </math>

Die ersten drei Primzahldrillinge der Form <math>(p, p+4, p+6)</math> sind <math>(7, 11, 13)</math>, <math>(13, 17, 19)</math> und <math>(37, 41, 43)</math>. Die Summe konvergiert ebenfalls und es gilt (Stand 16. März 2010):<ref name="nicely" />

<math>B_{3b}

= \left(\tfrac1{7} \!+\! \tfrac1{11} \!+\! \tfrac1{13}\right) + \left(\tfrac1{13} \!+\! \tfrac1{17} \!+\! \tfrac1{19}\right) + \left(\tfrac1{37} \!+\! \tfrac1{41} \!+\! \tfrac1{43}\right) + \dotsb \;\;\approx 0{,}83711\ 32124\ 11 </math>

Brunsche Konstante für Primzahlvierlinge

Neben <math>B_2</math> gibt es noch die Brunsche Konstante <math>B_4</math> für Primzahlvierlinge, Paare von Primzahlzwillingen, die einen Abstand von 4 haben (dies ist der kleinstmögliche Abstand zweier Primzahlzwillinge zueinander). Die ersten drei Primzahlvierlinge sind <math>(5, 7, 11, 13)</math>, <math>(11, 13, 17, 19)</math> und <math>(101, 103, 107, 109)</math>, also

<math> B_4

= \left(\tfrac1{5} \!+\! \tfrac1{7} \!+\! \tfrac1{11} \!+\! \tfrac1{13}\right) + \left(\tfrac1{11} \!+\! \tfrac1{13} \!+\! \tfrac1{17} \!+\! \tfrac1{19}\right) + \left(\tfrac1{101} \!+\! \tfrac1{103} \!+\! \tfrac1{107} \!+\! \tfrac1{109}\right) + \dotsb </math>

Da alle Summanden von <math>B_4</math> auch in <math>B_2</math> vorkommen und bis auf <math>\tfrac1{11}</math> und <math>\tfrac1{13}</math> keine Summanden doppelt vorhanden sind, konvergiert auch diese Reihe. Sie hat den Wert (Stand 16. März 2010)<ref name="nicely" />

<math> B_4 = 0{,}87058\ 83799\ 75 \pm 0{,}00000\ 00001\ 14 \qquad </math> (Folge A213007 in OEIS).

Trivia

1994 entdeckte Thomas R. Nicely bei einer Abschätzung von <math>B_2</math> über alle Primzahlzwillinge bis 10¹⁴ den sogenannten Pentium-FDIV-Bug.
Gelegentlich wird die Aussage über die Konvergenz der Summe der Reziproken aller Primzahlzwillinge (also die Existenz und Berechenbarkeit der Brunschen Konstanten) als Brunscher Witz bezeichnet. Der mathematische Witz liegt darin, dass trotz des präzisen Ergebnisses von Brun die eigentlich interessierende Frage, ob es unendlich viele Primzahlzwillinge gibt, offenbleibt (und die bejahende Vermutung bis heute nicht bewiesen werden konnte).

Literatur

Viggo Brun: La série <math>\textstyle\frac1{5} \!+\! \frac1{7} \!+\! \frac1{11} \!+\! \frac1{13} \!+\! \frac1{17} \!+\! \frac1{19} \!+\! \frac1{29} \!+\! \frac1{31} \!+\! \frac1{41} \!+\! \frac1{43} \!+\! \frac1{59} \!+\! \frac1{61} \!+\! \dotsb\;</math> où les dénominateurs sont «nombres premiers jumeaux» est convergente ou finie, Bulletin des Sciences Mathématiques 43, 1919, S. 100–104, 124–128 (französisch; bei Gallica: gallica.bnf.fr)

Siehe auch

Zwillingssätze von Brun

Weblinks

{{#if: | {{{author}}} | Eric W. Weisstein }}: Brun’s Constant. In: MathWorld (englisch). {{#if: BrunsConstant | {{#ifeq: {{#property:P2812}} | BrunsConstant | | {{#if: {{#property:P2812}} | {{#ifeq: 0 | 0 | }} | {{#ifeq: 0 | 0 | }} }} }} }}
Thomas R. Nicely: Prime Constellations Research Project.

Einzelnachweise