Satz von Bombieri und Winogradow
# Satz von Bombieri und Winogradow

Der Satz von Bombieri und Winogradow ist ein 1965 bewiesener Satz der analytischen Zahlentheorie von Enrico Bombieri und Askold Iwanowitsch Winogradow (manchmal wird er auch nur nach Bombieri benannt).

Er macht Aussagen über den Fehlerterm in der im dirichletschen Primzahlsatz gemachten Aussage zur Verteilung der Primzahlen kleiner gleich $x$ in arithmetischen Progressionen. Dabei wird eine Mittelung über den Modulus der Progressionen vorgenommen (Moduli $q\leq Q$ mit einer natürlichen Zahl $Q$). Für Werte von $Q$ nahe $x$ ist der Fehlerterm bis auf logarithmische Faktoren von der Größenordnung ${\sqrt {x}}$. Ohne die Mittelung über die Moduli wäre die Aussage des Satzes ähnlich mächtig wie die verallgemeinerte riemannsche Vermutung.

Der Beweis ist eine Anwendung des großen Siebes, wobei Mittelwerte von Dirichlet-Charakteren abgeschätzt wurden.

Er stellt eine erhebliche Verbesserung des Satzes von Siegel-Walfisz dar. Der Satz entspricht der Vermutung von Elliott und Halberstam für den Fall $0<\theta <{\tfrac {1}{2}}$ (für die Definition des Parameters $\theta$ siehe dort), die damit den Satz in gewisser Weise verallgemeinert (die volle Vermutung betrifft den Fall $0<\theta <1$) .

Yōichi Motohashi zeigte 1976, dass das Analogon des Satzes von Bombieri und Winogradow auch für arithmetische Funktionen gilt, die als Linearkombinationen von Dirichlet-Faltungen zweier Folgen komplexer Zahlen mit bestimmten Zusatzeigenschaften dargestellt werden können. Der ursprüngliche Satz von Bombieri und Winogradow ist der Spezialfall der Mangoldt-Funktion.

## Formulierung

Sei

    $E(x;q)=\max _{{\text{gcd}}(a,q)=1}\left|\psi (x;q,a)-{\frac {x}{\varphi (q)}}\right|$

mit

    $\psi (x;q,a)=\sum _{n\leq x \atop n\equiv a{\bmod {q}}}\Lambda (n),$

mit der Mangoldt-Funktion $\Lambda$ und der eulerschen Phi-Funktion $\varphi$.

Dann gilt nach Bombieri und Winogradow:

    ${\frac {1}{Q}}\sum _{q\leq Q}\max _{y<x}\ E(y;q)={\frac {1}{Q}}\sum _{q\leq Q}\max _{y<x}\max _{1\leq a\leq q \atop (a,q)=1}\left|\psi (y;q,a)-{y \over \varphi (q)}\right|=O\left(x^{1/2}(\log x)^{5}\right).$

für festes $A>0$ mit

    $x^{1/2}\log ^{-A}x\leq Q\leq x^{1/2}.$

$O$ bezeichnet das Landau-Symbol für den Vergleich des Wachstums zweier Funktionen.

