Brunsche Konstante

Aus testwiki
Version vom 7. August 2023, 21:02 Uhr von imported>Vfb1893 (BKL Konvergenz aufgelöst)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Zur Navigation springen Zur Suche springen

Die Brunsche Konstante ist eine mathematische Konstante aus dem Bereich der Zahlentheorie. Benannt ist sie nach dem 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 B2 dieser Summe wird Brunsche Konstante für Primzahlzwillinge genannt:

B2=p,p+2prim(1p+1p+2)=(13+15)+(15+17)+(111+113)+(117+119)+(129+131)+

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 B2 divergent, hätte man einen Beweis für die bis heute offene Vermutung, dass es unendlich viele Primzahlzwillinge gibt (Alphonse de Polignac (1817–1890) 1849). Aus der Konvergenz lässt sich jedoch nicht auf das Gegenteil schließen.

Berechnung

Die Idee zur Berechnung besteht darin, dass die Summation zunächst möglichst weit durchgeführt wird und dann der fehlende Rest abgeschätzt wird. So haben Daniel Shanks und John William Wrench, Jr. (1911–2009) alle Primzahlzwillinge unterhalb 2·106 benutzt.

Eine Schätzung

B21,90216 05831 04 (Vorlage:OEIS)

stammt von Pascal Sebah aus dem Jahr 2002, der hierfür alle Primzahlzwillinge bis 1016 betrachtete. Die Berechnung von B2 ist allerdings außerordentlich schwierig, zum einen, da die Reihe sehr langsam konvergiert, zum anderen, da das Auffinden aller großen Primzahlzwillinge äußerst kompliziert ist (siehe auch: Primzahltests).

Die bislang genaueste Abschätzung ist (Stand 16. März 2010)[1]

B2=1,90216 05832 09±0,00000 00007 81.

Hierfür wurden die Kehrwerte aller 19.831.847.025.792 Primzahlzwillinge unterhalb 2·1016 summiert:

p,p+2prim<21016(1p+1p+2)=1,83180 80634 32379 01198 41239 12086 74712 537

und der Restterm abgeschätzt.

Brunsche Konstante für Primzahldrillinge

Neben B2 gibt es noch zwei weitere Brunsche Konstanten B3a und B3b für Primzahldrillinge.

Die ersten drei Primzahldrillinge der Form (p,p+2,p+6) sind (5, 7, 11), (11, 13, 17) und (17, 19, 23). Auch in diesem Fall konvergiert die Summe und es gilt (Stand 16. März 2010):[1]

B3a=(15+17+111)+(111+113+117)+(117+119+123)+1,09785 10396 79

Die ersten drei Primzahldrillinge der Form (p,p+4,p+6) sind (7, 11, 13), (13, 17, 19) und (37, 41, 43). Die Summe konvergiert ebenfalls und es gilt (Stand 16. März 2010):[1]

B3b=(17+111+113)+(113+117+119)+(137+141+143)+0,83711 32124 11

Brunsche Konstante für Primzahlvierlinge

Neben B2 gibt es noch die Brunsche Konstante B4 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 (5, 7, 11, 13), (11, 13, 17, 19) und (101, 103, 107, 109), also

B4=(15+17+111+113)+(111+113+117+119)+(1101+1103+1107+1109)+

Da alle Summanden von B4 auch in B2 vorkommen und bis auf 111 und 113 keine Summanden doppelt vorhanden sind, konvergiert auch diese Reihe. Sie hat den Wert (Stand 16. März 2010)[1]

B4=0,87058 83799 75±0,00000 00001 14 (Vorlage:OEIS).

Trivia

  • 1994 entdeckte Thomas R. Nicely bei einer Abschätzung von B2 über alle Primzahlzwillinge bis 1014 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 15+17+111+113+117+119+129+131+141+143+159+161+ 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)

Einzelnachweise

  1. 1,0 1,1 1,2 1,3 Thomas R. Nicely: Prime Constellations Research Project. 16. März 2010