Una cota superior analítica que controla el tamaño máximo de una suma parcial de un carácter de Dirichlet no principal módulo q, expresada típicamente como S(χ;N):=|∑_{n=1}^N χ(n)| = O(√q log q) de forma uniforme en N para cualquier carácter no principal χ (constantes implícitas según convenciones).

Principio

Aprovechar la ortogonalidad y técnicas de completación para convertir sumas de caracteres en expresiones manejables y extraer cancelación hasta la barrera de la raíz cuadrada, con una pérdida logarítmica debida a la suma discreta y al suavizado.

Demostración

Para un carácter primitivo no principal χ módulo q, completar la suma por inversión de Fourier o sumación por partes conduce a max_{1≤N≤q} |∑_{n≤N} χ(n)| ≪ √q log q, mostrando que ninguna suma parcial puede sostenerse en el orden trivial q.

Aplicación incorrecta

Aplicar la desigualdad al carácter principal (cuyas sumas parciales son del orden N) o tomar la cota O(√q log q) como igualdad típica; otra mala aplicación es usarla sin más en sumas muy cortas, donde estimaciones tipo Burgess son superiores.

Consecuencia

Proporciona una cota no trivial y uniforme para sumas de caracteres que alimenta estimaciones de funciones L, resultados sobre primos en progresiones aritméticas y otras aplicaciones donde se requiere control sobre sumas de caracteres en intervalos largos.

Inversión

Si un carácter no mostrara cancelación alguna, sus sumas parciales podrían crecer linealmente con N hasta aproximadamente q; la desigualdad de Pólya–Vinogradov impide tal crecimiento sostenido para caracteres no principales imponiendo un techo en √q log q.

Límite

Se aplica únicamente a caracteres de Dirichlet no principales módulo q y trata las sumas parciales de longitud hasta el orden de q; las constantes y el factor logarítmico exacto dependen de la normalización y de si χ es primitivo.

Tensión semántica

Compite con otras cotas para sumas de caracteres: la desigualdad de Pólya–Vinogradov es simple y uniforme pero más débil que las cotas de Burgess para sumas cortas y distinta de fórmulas asintóticas válidas bajo hipótesis analíticas fuertes.

Síntesis

Una cota general y robusta que afirma que los caracteres de Dirichlet no principales no pueden sostener sumas parciales de gran amplitud: combinando ortogonalidad y suavizado se obtiene una obstrucción a escala √q con una pérdida logarítmica moderada, útil cuando faltan herramientas más finas.