Hardy-Littlewood-Vermutung - LinkFang.de





Hardy-Littlewood-Vermutung


Die beiden Hardy-Littlewood-Vermutungen sind unbewiesene mathematische Vermutungen aus dem Bereich der Zahlentheorie. Sie wurden von den beiden englischen Mathematikern Godfrey Harold Hardy und John Edensor Littlewood aufgestellt und im Jahre 1923 im Werk "Some Problems of 'Partitio Numerorum.' III. On the Expression of a Number as a Sum of Primes." veröffentlicht.[1]

Im Jahre 1974 gelang es Ian Richards aufzuzeigen, dass die beiden Hardy-Littlewood-Vermutungen inkompatibel zueinander sind. Das bedeutet, sie können nicht beide korrekt sein, sondern höchstens eine.[2]

Erste Hardy-Littlewood-Vermutung

Die erste Hardy-Littlewood-Vermutung wird auch k-Tupel-Vermutung oder starke Primzahlzwillingsvermutung genannt. Letzteres hat den Grund, dass durch das Beweisen der ersten Hardy-Littlewood-Vermutung unter anderem auch die Primzahlzwillingsvermutung – nach der unendlich viele Primzahlzwillinge existieren – bewiesen wird. Sie besagt, es existieren unendlich viele Primzahltupel zu allen korrekten (und nicht notwendigerweise dichtesten) Konfigurationen und gibt eine explizite Funktion für die Dichte dieser an.[3][4] Mit einer Konfiguration eines Primzahltupels werden die Differenzen zwischen den Tupelelementen beschrieben. So ist beispielsweise [math](0, 2)[/math] eine mögliche korrekte Konfiguration eines primen 2-Tupels (auch bekannt als Primzahlzwilling). Damit eine Konfiguration als korrekt gilt, dürfen nicht alle möglichen Reste bezüglich jeder Primzahl [math]\leq k[/math] im Tupel vorkommen (→ Primzahltupel). Die dichtesten Konfigurationen werden auch Konstellationen genannt.

Sei im Weiteren [math]P[/math] die Funktion, die zu einer beliebigen Zahl die Menge aller Primzahlen kleinergleich dieser Zahl angibt. Formal:

[math]P: \mathbb{R} \rightarrow \mathcal{P}(\mathbb{P}), x \mapsto [0, x] \cap \mathbb{P}[/math]

Wobei die eckigen Klammern [math][ \cdot, \cdot][/math] für ein abgeschlossenes Intervall stehen und wobei [math]\mathbb{P}[/math] für die Menge aller Primzahlen steht. Sei [math]\pi[/math] die Primzahlfunktion, sie gibt also die Anzahl der Primzahlen an, die kleiner oder gleich sind wie ihr Funktionsargument. Diese lässt sich dank der Definition der Funktion [math]P[/math] einfach formalisieren:

[math]\pi: \mathbb{R} \rightarrow \mathbb{N}, x \mapsto \left | P(x) \right |[/math]

Nun kann für beliebige korrekte Konfigurationen [math](p, p+2m_1, \dots , p+2m_k)[/math] der Größe [math]k+1[/math] eine Konstante [math]C_{m_1, \dots , m_k}[/math] eingeführt werden, die durch das folgende konvergente unendliche Produkt definiert ist:

[math]C_{m_1, \dots , m_k} = 2^k \cdot \prod_{p \in \mathbb{P} \setminus \{ 2 \} } \frac{1 - \frac{w(p;m_1, \dots ,m_k)}{p}}{\left (1-\frac{1}{p}\right )^{k+1}}[/math]

Wobei [math]w(p;m_1, \dots ,m_k)[/math] die Anzahl unterschiedlicher Reste von [math]0, m_1, \dots m_k[/math] bezüglich dem Teiler [math]p[/math] bezeichnet. Formal:

[math]w(p;m_1, \dots ,m_k) = \left | \left \{ n \in \mathbb{N} \mid \exists i \in \mathbb{N} : n = m_i \mod p \right \} \right |[/math]

Die Zahl [math]C_2 \approx 0.66016\dots[/math] wird auch Primzahlzwillingskonstante bezeichnet. (Folge A005597 in OEIS )

[math]C_2 = \left ( \prod_{p \in \mathbb{P} \setminus \{ 2 \} } \frac{p\cdot(p-2)}{(p-1)^2} \right ) = \left ( \prod_{p \in \mathbb{P} \setminus \{ 2 \} } 1-\frac{1}{(p-1)^2} \right ) \approx 0.66016\dots[/math]

Für Primzahlpaare ([math]k=1[/math]) mit beliebiger Differenz [math]m[/math] existiert für die Konstante [math]C_m[/math] die folgende Formel:

[math]C_m=2\prod_{p\in\mathbb{P}}\frac{p\cdot(p-2)}{(p-1)^2}\prod_{p\in\left \{n\in\mathbb{P}\mid n\mid m\right \}}\frac{p-1}{p-2}[/math]

Wobei [math]n \mid m[/math] für die Teilbarkeitsrelation steht.

Für [math]C_2[/math] hat sich der oben erwähnte Wert von etwa 0.66016 etabliert. Es ist hierbei zu unterscheiden, dass [math]C_m[/math] mit [math]m=2[/math] und folglich [math]k=1[/math] doppelt so groß ist wie [math]C_2[/math], weswegen es für die Vermutung zum asymptotischen Verhalten auch zwei unterschiedliche Formeln gibt.

Interessanterweise ist die Konstante [math]C[/math] für unterschiedliche Konfigurationenen gleicher Größe nicht notwendigerweise gleich. Das kleinste Gegenbeispiel ist eine Konstellation der Größe 8.[5]

Es lässt sich nun auch die Primzahlfunktion [math]\pi[/math] um den Index [math](m_1, \dots, m_k)[/math] erweitern, sodass [math]\pi_{m_1, \dots, m_k}[/math] die Anzahl aller Prizmahltupel bezeichnet, die von der Form [math](p, p+2m_1, \dots , p+2m_k)[/math] sind und deren Komponenten nicht größer als das Funktionsargument sind. Als Beispiel sei [math]\pi_2(9) = 2[/math] genannt, denn bis 9 gibt es die Primzahlzwillinge [math](3,5)[/math] und [math](5, 7)[/math].

Mit der ersten Hardy-Littlewood-Vermutung wird nun behauptet, es gälte das asymptotische Verhalten

[math]\pi_2(n) \sim 2 C_2 \int_2^n \frac{\mathrm{d}t}{(\ln t)^2} [/math]

was sich auch wie folgt als Grenzwert formalisieren lässt:

[math]\lim_{ n \rightarrow \infty} \frac{\pi_2(n)}{2 C_2 \int_2^n {dt \over (\ln t)^2}} = 1[/math]

Auf beliebige Konfigurationen verallgemeinert lautet die Vermutung

[math]\pi_{m_1, \dots, m_k}(n) \sim C_{m_1, \dots, m_k} \int_2^n \frac{\mathrm{d}t}{\mathrm{d}\ln^{k+1}t}[/math]

was sich auf analoge Weise zu einem Grenzwert umformen lässt.

Da die Anzahl der Primzahlen [math]\pi[/math] laut dem Primzahlsatz asymptotisch äquivalent zu [math]\frac{x}{\ln x}[/math] ist – es gilt also [math]\pi(x) \sim \frac{x}{\ln x}[/math] –, so scheint die Vermutung durchaus plausibel, und auch numerisch lässt sich die asymptotische Form gut bestätigen, was jedoch nicht hinreichend für einen Beweis ist.

Zweite Hardy-Littlewood-Vermutung

Die zweite Hardy-Littlewood-Vermutung trifft die Aussage über die Anzahl der Primzahlen in einem Intervall. Genauer geht es um die folgende Ungleichung:

[math]\forall x,y \in \left \{ n \in \mathbb{N} \mid n \geq 2 \right \}: \pi(x + y) \leq \pi(x) + \pi(y)[/math]

Wobei [math]\pi[/math] erneut die Primzahlfunktion ist, also die Anzahl der Primzahlen angibt.

Im Allgemeinen wird davon ausgegangen, dass diese Vermutung falsch ist, da sie – wie anfangs erwähnt – nicht kompatibel zur plausibleren ersten Hardy-Littlewood-Vermutung ist.[1]

Der Fall für [math]x=y[/math] ist trivial. Die Primzahlfunktion wächst langsamer als linear, formal lässt sich also sagen, dass [math]\pi \in \hbox{o}(\operatorname{id}_{\mathbb{R}})[/math] gilt, wobei [math]\operatorname{id}_{\mathbb{R}}[/math] die identische Abbildung ist. Siehe Landau-Symbole für die o-Notation. Folglich muss also die Ungleichung [math]\pi (2 \cdot x) \le 2 \cdot \pi (x)[/math] für [math]x \ge 2[/math] gelten.

Als Beispielwerte für [math]x,y \in \left \{ n \in \mathbb{N} \mid n \geq 2 \right \}[/math], für welche die Gleichung [math]\pi(x + y) = \pi(x) + \pi(y)[/math] gilt, seien konkret [math](2, 3)[/math] genannt. Allgemein erfüllen alle Paare [math](x, y) = (2, p)[/math] bzw. [math](p, 2)[/math] die Gleichung, bei welchen [math]p[/math] das kleinere Element eines Primzahlzwillingspaares ist. [math](3, 5)[/math] sind zusammengehörige Primzahlzwillinge.

Analog dazu gilt die Ungleichung [math]\pi(x + y) \lt \pi(x) + \pi(y)[/math] für alle [math](2, p)[/math] bzw. [math](p, 2)[/math], bei denen [math]p[/math] nicht das kleinere Element eines Primzahlzwillingspaares ist. Ein Beispiel ist [math]p=7[/math], denn [math](7, 9)[/math] ist kein Primzahlzwillingspaar, da 9 nicht prim ist.

Weblinks

Einzelnachweise

  1. 1,0 1,1 "Hardy-Littlewood Conjectures -- from Wolfram MathWorld ". Abgerufen am 12. Juni 2014.
  2. "On the incompatibility of two conjectures concerning primes; a discussion of the use of computers in attacking a theoretical problem ". Abgerufen am 12. Juni 2014.
  3. "k-Tuple Conjecture -- from Wolfram MathWorld ". Abgerufen am 12. Juni 2014.
  4. "The Prime Glossary: prime k-tuple conjecture ". Abgerufen am 12. Juni 2014.
  5. "Hardy-Littlewood constants ". Abgerufen am 12. Juni 2014.

Kategorien: Vermutung (Mathematik) | Analytische Zahlentheorie

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Hardy-Littlewood-Vermutung (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.