Satz von Friedlander-Iwaniec

Der Satz von Friedlander-Iwaniec ist ein mathematisches Resultat aus der analytischen Zahlentheorie. Das Theorem besagt, dass es unendlich viele Primzahlen $p$ gibt, die sich in der Form $a^{2}+b^{4}$ schreiben lassen, wobei $a,b\in \mathbb {N}$. Der Satz wurde 1997 von John Friedlander und Henryk Iwaniec bewiesen. Der Satz gilt als bedeutend, weil er das erste Resultat ist, welches unendlich viele Primzahlen in einer sehr dünnen Folge nachweist.

Für den Satz und andere Arbeiten bekamen beide angesehene Mathematik-Preise. 1999 wurde Friedlander mit dem Jeffery-Williams-Preis ausgezeichnet und 2001 erhielt Iwaniec den Ostrowski-Preis.

Die Anzahl ganzer Zahlen in der Menge $\{1,\dots ,N\}$, welche sich als $a^{2}+b^{4}$ darstellen lassen, ist ungefähr $N^{3/4}$ (für $N$ sehr groß).

Das Theorem

Einführung in die Problemstellung

Die zugrundeliegende Fragestellung ist:

Besitzt ein Polynom $P(x_{1},\dots ,x_{n})$ mit $x_{1},\dots ,x_{n}\in \mathbb {N}$ und Koeffizienten $a_{1},\dots ,a_{n}\in \mathbb {Z}$ unendlich viele Primzahlen, die sich in der Form des Polynoms darstellen lassen?

Man vermutet, dass dies für alle vernünftigen Polynome der Fall ist. Mit vernünftig meinen wir alle Polynome (aus einer Klasse) die ein paar lokale Bedingungen erfüllen, damit solche Beispiele wie $P(x)=x^{2}+x+2$, welches immer eine gerade Zahl $P(x)$ produziert, ausgeschlossen sind.

Betrachtet man nur Polynome in einer Variable $P(x)$, dann heißt diese Vermutung Bunjakowski-Vermutung.

Dünne Teilfolgen

Für ein Polynom $P(x_{1},\dots ,x_{n})$ untersucht man häufig zuerst, wie viele Zahlen in der Menge $\{1,\dots ,N\}$ sich durch das $P(x_{1},\dots ,x_{n})$ darstellen lassen, bevor man die Primzahlen betrachtet. Falls der Anteil ungefähr $N^{\theta }$ mit $\theta <1$ ist, so nennt man die vom Polynom erzeugte Folge dünn.

Beispielsweise erzeugt $P(x)=x$ trivialerweise alle $N$ Zahlen durch einsetzen der Element aus $\{1,\dots ,N\}$ und deshalb ist die Folge nicht dünn in $\{1,\dots ,N\}$. Je dünner die Folge, desto weniger Primzahlen sind in der Menge $\{1,\dots ,N\}$. Im Fall $P(a,b)=a^{2}+b^{4}$ ist $\theta =3/4$ und die Folge ist somit dünn.

Historische Entwicklungen

Eines der ersten Resultate hierzu ist der Zwei-Quadrate-Satz, der von Pierre de Fermat formuliert und später im Jahr 1749 von Leonhard Euler bewiesen wurde. Dieser sagt, dass eine ungerade Primzahl genau dann als Polynom $P(x,y)=x^{2}+y^{2}$ für $x,y\in \mathbb {Z}$ dargestellt werden kann, wenn $p\equiv 1{\pmod {4}}$. Oder anders ausgedrückt, es gibt unendlich viele Primzahlen der Form $p=4n+1$, die sich als $p=x^{2}+y^{2}$ schreiben lassen.

Ein weiteres wichtiges Resultat ist der dirichletsche Primzahlsatz. Dieser sagt, dass das Polynom $P(x)=ax+b$ mit $x,a,b\in \mathbb {N}$ genau dann unendlich viele Primzahlen in der Form besitzt, wenn $a$ und $b$ teilerfremd sind.

Die Frage, ob es unendlich viele Primzahlen gibt, die sich als $P(x)=x^{2}+1$ schreiben lassen, ist die sogenannte Landau-Vermutung und eines der vier bis heute ungelösten Landau-Probleme.

1997 wurde schließlich der Satz von Friedlander-Iwaniec für $P(x,y)=x^{2}+y^{4}$ bewiesen, welcher als ein Meilenstein gilt. 2001 bewies Roger Heath-Brown, dass es unendlich viele Primzahlen der Form $x^{3}+2y^{3}$ gibt.

Die Arbeit von Friedlander und Iwaniec

Friedlander und Iwaniec untersuchten das Polynom $P(a,b)=a^{2}+b^{4}$. Fixiert man $b:=1$, dann erhält man das Polynom Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a^2 + 1} der ungelösten Landau-Vermutung.

Die ersten Lösungen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p_i=P(a_i,b_i)} für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a^2 + b^4} sind

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 2=P(1,1),\quad 5=P(2,1),\quad 17=P(1,2),\quad 37=P(6,1). }

Die ersten Glieder der Primzahlfolge (Folge A028916 in OEIS) lauten

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 2, 5, 17, 37, 41, 97, 101, 137, 181, 197, 241, 257, 277, 281, 337, 401, 457, 577, 617, 641, 661, 677, 757, 769, 821, 857, 881, 977, \dots}

Satz von Friedlander-Iwaniec

Sie bewiesen folgende Hauptaussage

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathop{\sum\sum\limits}_{\begin{array}{c} a>0\;b>0 \\ a^2+b^2\leq x \end{array}}\Lambda(a^2+b^4)=\frac{4}{\pi}\kappa x^{\frac{3}{4}}\left(1+\mathcal{O}\left(\frac{\log \log x}{\log x}\right)\right)}

wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a, b} über die positiven Ganzzahlen laufen, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Lambda} die Mangoldt-Funktion ist und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \kappa:=\Gamma(\tfrac{1}{4})^2/6\sqrt{2\pi}} .

Der Beweis des Satzes erfolgte mittels einer Modifikation einer Siebmethode von Enrico Bombieri, durch die Modifikation wurde das Paritätsproblem des Bombieri-Siebs gelöst. Das resultierende Sieb ermöglicht asymptotische Formeln für Primzahlen in dünnen Folgen.

Verschärfungen

Roger Heath-Brown und Li Xiannan zeigten, dass die Aussage sogar dann gilt, wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b} eine Primzahl sein muss. Konkret zeigten sie, dass es unendlich viele Primzahlen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p} gibt, die sich in der Form Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p=a^2 + b^4} schreiben lassen, wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a\in \mathbb{N}} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b} eine Primzahl ist.