Past exam of the mathematics course of the University of Cambridge / 2003 / iii / Paper 22 / 5 / Solution

Fix a modulus $q$ and a residue class $a$ with $(a,q)=1$. The Dirichlet characters modulo $q$ are the one-dimensional characters of a representation of $(\mathbb{Z}/q\mathbb{Z}{)}^{\times }$, extended by zero on nonunits. Let ${\chi }_0$ be the principal Dirichlet character.

For every nonprincipal Dirichlet character the partial sums ${\sum }_{n\le u}\chi (n)$ are bounded: the sum over a full period is zero, and a remaining incomplete period has bounded length. Partial summation therefore continues its Dirichlet L-function holomorphically to $\Re s>0$ byThis shows in particular that it has no pole at one. By contrasthas a simple pole there. We use the stipulated nonvanishing $L(1,\chi )\ne 0$ for every real nonprincipal Dirichlet character, and establish the remaining nonvanishing as follows.

For real $\sigma >1$, take the product over all Dirichlet characters. The Euler product logarithms and Orthogonality of Dirichlet characters giveThus this product is real and at least one. If a nonreal Dirichlet character had $L(1,\chi )=0$, complex conjugation would also give $L(1,\overline{\chi })=0$. These are distinct factors. Two zeros and only one possible simple pole force the whole product to tend to zero as $\sigma \downarrow 1$, contradicting the lower bound. Hence all nonprincipal Dirichlet characters have $L(1,\chi )\ne 0$, under the given real-character assumption.

For $\sigma >1$, absolute convergence of each Euler product giveswith bounded remainder as $\sigma \downarrow 1$: the terms of prime-power exponent at least two have total modulus at most ${\sum }_{n\ge 2}1/(n(n-1))$. Since a nonprincipal $L$ defines a holomorphic function that is nonzero near one, its Euler-product logarithm differs from a local holomorphic logarithm by a fixed integer multiple of $2\pi i$ on a short real interval. It is therefore bounded there. For the principal Dirichlet character the pole instead givesApply the Dirichlet character orthogonality relation at each prime. The prime-character sum near one yieldsThis tends to infinity. A finite set of primes would have a bounded sum as $\sigma \downarrow 1$, so every coprime residue class contains infinitely many primes. This proves the Dirichlet theorem on primes in arithmetic progressions from the specified assumption. In fact it proves divergence of the corresponding reciprocal-prime series and gives Dirichlet density $1/\phi (q)$.

Finally, for real $s>1$ each prime satisfiesThe integrands are nonnegative, so Tonelli theorem permits summation inside the integral. At a fixed $t$, exactly $\pi (t,q,a)$ primes from the residue class have entered. ThereforeBoth sides are finite, since they are bounded respectively by ${\sum }_{n\ge 2}{n}^{-s}$ and $s{\int }_1^{\infty }{t}^{-s}dt$. The values of a counting function at its isolated jump endpoints do not change this integral.