Une majoration analytique qui contrôle la taille maximale d'une somme partielle d'un caractère de Dirichlet non principal modulo q, énoncée classiquement comme S(χ;N):=|∑_{n=1}^N χ(n)| = O(√q log q) uniformément en N pour tout caractère non principal χ (constantes implicites selon les conventions).

Principe

Exploiter l'orthogonalité des caractères et des techniques de complétion pour transformer les sommes de caractères en expressions maniables et extraire de l'annulation jusqu'à la barrière de la racine carrée, la perte logarithmique venant de la sommation discrète et du lissage.

Démonstration

Pour un caractère primitif non principal χ modulo q, compléter la somme par inversion de Fourier ou sommation par parties ; l'inégalité de Pólya–Vinogradov donne max_{1≤N≤q} |∑_{n≤N} χ(n)| ≪ √q log q, montrant qu'aucune somme partielle ne peut atteindre de façon soutenue l'ordre trivial q.

Mauvaise application

Appliquer l'inégalité au caractère principal (dont les sommes partielles sont d'ordre N) ou traiter la borne O(√q log q) comme une égalité typique ; autre mauvaise utilisation : l'appliquer aveuglément à des sommes très courtes où des estimations de type Burgess sont plus fortes.

Conséquence

Fournit une majoration non triviale, uniforme et aisée à énoncer pour les sommes de caractères qui alimente des bornes pour les fonctions L, les nombres premiers dans les progressions arithmétiques et d'autres résultats analytiques nécessitant le contrôle de sommes de caractères sur de grands intervalles.

Inversion

Si un caractère n'affichait aucune annulation, ses sommes partielles pourraient croître linéairement en N jusqu'à environ q ; l'inégalité de Pólya–Vinogradov exclut une telle croissance soutenue pour les caractères non principaux en imposant un plafond en √q log q.

Limite

Ne s'applique qu'aux caractères de Dirichlet non principaux modulo q et concerne les sommes partielles de longueur jusqu'à l'ordre de q ; les constantes et le facteur logarithmique exact dépendent de la normalisation et de la primitivité du caractère.

Tension sémantique

Se confronte à d'autres bornes pour les sommes de caractères : l'inégalité est simple et uniforme mais plus faible que les estimations de Burgess pour les sommes courtes et diffère des formules asymptotiques valables sous des hypothèses analytiques profondes comme la GRH.

Synthèse

Une borne générale et robuste affirmant que les caractères de Dirichlet non principaux ne peuvent pas maintenir des sommes partielles de grande amplitude : en combinant orthogonalité et lissage on obtient une obstruction à l'échelle √q avec une inefficacité logarithmique modérée, utile quand des outils plus fins font défaut.