Every nonprincipal Dirichlet character modulo the prime is primitive, so its finite Fourier coefficients have modulus one off zero; the coefficient at zero is zero by character orthogonality. Fourier inversion theorem givesThe finite geometric series givesThe printed hint omits from the exponential; its literal constant summand would not obey the bound for arbitrary . The geometric-series calculation proves the needed estimate independently. Pairing with givesThe last sum is a harmonic number. This proves the Pólya–Vinogradov inequality uniformly in and ; complete blocks of length also vanish by Orthogonality of Dirichlet characters.
Articles by others on the same topic
There are currently no matching articles.