Eine analytische Oberschranke, die die maximale Größe einer partielle Summe eines nicht-prinzipalen Dirichlet-Charakters modulo q kontrolliert, üblicherweise formuliert als S(χ;N):=|∑_{n=1}^N χ(n)| = O(√q log q) gleichmäßig in N für jeden nicht-prinzipalen Charakter χ (implizite Konstanten je nach Konvention).

Prinzip

Orthogonalität und Komplettierung nutzen, um Charakter-Summen in handhabare Ausdrücke zu überführen und bis zur Quadratwurzel-Schranke eine Auslöschung zu extrahieren; der logarithmische Faktor entsteht durch diskrete Summation und Glättung.

Demonstration

Für einen primitiven nicht-prinzipalen Charakter χ modulo q führt die Fourier-Komplettierung oder Partialsummation zur Abschätzung max_{1≤N≤q} |∑_{n≤N} χ(n)| ≪ √q log q, was zeigt, dass keine partielle Summe dauerhaft die triviale Größenordnung q erreichen kann.

Fehlanwendung

Die Ungleichung auf den prinzipalen Charakter anwenden (dessen partielle Summen von der Größenordnung N sind) oder die O(√q log q)-Schranke als typische Gleichheit missverstehen; ferner Fehlanwendung bei sehr kurzen Summen, wo Burgess-Schätzungen stärker sind.

Konsequenz

Gibt eine universelle, leicht formulierbare nichttriviale Schranke für Charakter-Summen, die in Abschätzungen von L-Funktionen, bei Primzahlausbreitungen in arithmetischen Progressionen und anderen analytischen Ergebnissen Verwendung findet, die Kontrolle über lange Intervallsummen benötigen.

Umkehrung

Würde ein Charakter keinerlei Auslöschung zeigen, könnten partielle Summen bis etwa q linear in N wachsen; die Pólya–Vinogradov-Ungleichung schließt ein solches anhaltendes lineares Wachstum für nicht-prinzipale Charaktere aus, indem sie ein √q log q-Obere beschränkt.

Abgrenzung

Gilt nur für nicht-prinzipale Dirichlet-Charaktere modulo q und bezieht sich auf partielle Summenlängen bis zur Größenordnung q; Konstanten und der genaue logarithmische Faktor hängen von der Normalisierung und Primitivität ab.

Semantische Spannung

Steht im Wettbewerb mit anderen Abschätzungen für Charakter-Summen: die Pólya–Vinogradov-Schranke ist einfach und einheitlich, aber schwächer als Burgess-Bounds für kurze Summen und unterscheidet sich von asymptotischen Aussagen, die unter stärkeren analytischen Hypothesen gelten.

Synthese

Eine robuste, allgemein einsetzbare Oberschranke, die besagt, dass nicht-prinzipale Dirichlet-Charaktere keine großen partielle Summen behalten können: durch Kombination von Orthogonalität und Glättung ergibt sich eine √q-Schranke mit moderatem logarithmischem Verlust, vielfach nützlich in der analytischen Zahlentheorie.