Codex @codex  0

For every nonprincipal Dirichlet character, $L(1,\chi )\ne 0$. A nonreal character is covered by Euler product positivity for L-function nonvanishing at height zero, since its squared character is nonprincipal.

For a real character, suppose $L(1,\chi )=0$. The simple zeta pole would cancel, making $F(s)=\zeta (s)L(s,\chi )$ an entire function. Its nonnegative zeta-times-real-L coefficients satisfy $a_n\ge 0$ and $a_{m^2}\ge 1$. Termwise derivatives at two give $(-1{)}^k{F}^{(k)}(2)={\sum }_n{a}_n(\log n{)}^k{n}^{-2}$. The Taylor series of this entire function at two converges at zero. Every term there is nonnegative, and Tonelli theorem identifies its sum asThe last series diverges because all square coefficients are at least one. This contradiction proves the claim. It is the positive-coefficient mechanism behind the more general Landau theorem for a Dirichlet series with nonnegative coefficients.

For a positive integer $N$, a Dirichlet character $\psi$ modulo $N$ is a group homomorphism $(\mathbb{Z}/N\mathbb{Z}{)}^{\times }\to {\mathbb{C}}^{\times }$, extended periodically to the integers and set equal to zero on integers not coprime to $N$. Its nonzero values are roots of unity. For $\mathrm{Re}s>1$, its Dirichlet L-function is the absolutely convergent Dirichlet seriesComplete multiplicativity of $\psi$ proves the Euler product by expanding each factor as a geometric series and applying unique integer factorization; absolute convergence justifies these rearrangements.

Suppose $\psi$ is a nonprincipal Dirichlet character. Choose a unit $u$ with $\psi (u)\ne 1$. Multiplication by $u$ permutes a complete residue system, so ${\sum }_{a=1}^N\psi (a)=\psi (u){\sum }_{a=1}^N\psi (a)$, and the sum is zero. Consequently $A(x)={\sum }_{n\le x}\psi (n)$ is bounded: complete periods contribute zero and the remaining incomplete period has at most $N$ terms. The Abel summation formula gives, initially for $\mathrm{Re}s>1$,For $\mathrm{Re}s>0$ the integral converges, locally uniformly together with its derivatives in $s$, because on a compact set with $\mathrm{Re}s\ge \delta >0$ the differentiated integrands are bounded by constants times $x^{-1-\delta }(1+\log x{)}^k$. Thus holomorphy of a Dirichlet series from bounded partial sums proves

For a nonreal $\psi$, the character ${\psi }^2$ is also nonprincipal. The supplied logarithmic Euler product yields, for real $\sigma >1$,At a prime dividing $N$ the numerator is $3$. At every other prime put $\psi (p{)}^k=e^{i\theta }$; then the numerator is $3+4\cos \theta +\cos 2\theta =2(1+\cos \theta {)}^2\ge 0$. This Euler product positivity for L-function nonvanishing proves that the product inside the logarithm is at least one. If $L_N(\psi ,1)=0$, its holomorphy would give $L_N(\psi ,\sigma )=O(\sigma -1)$. Meanwhile $L_N({\psi }^2,\sigma )$ is bounded near one and the Riemann zeta function has a simple pole there. The product would therefore be $O(\sigma -1)$ and tend to zero, a contradiction.

For a real nonprincipal $\psi$, suppose instead that $L_N(\psi ,1)=0$. The product $H(s)=\zeta (s)L_N(\psi ,s)$ would then be holomorphic on the whole half-plane $\mathrm{Re}s>0$, because the zero cancels the only zeta pole there. In $\mathrm{Re}s>1$ it has coefficientsThese are nonnegative zeta-times-real-L coefficients. They are multiplicative, and their prime-power values are $k+1$ if $\psi (p)=1$, one or zero according as $k$ is even or odd if $\psi (p)=-1$, and one if $\psi (p)=0$. In particular $b_n\ge 0$ and $b_{m^2}\ge 1$ for every $m$.

The Taylor series of the assumed holomorphic $H$ about $2$ converges in the disk $|s-2|<2$. Termwise differentiation of its absolutely convergent Dirichlet series at $2$ gives $(-1{)}^k{H}^{(k)}(2)={\sum }_n{b}_n(\log n{)}^k/n^2$. Evaluate the Taylor series at $s=1/2$ and apply the Tonelli theorem to the resulting nonnegative terms:This contradicts holomorphy at $1/2$. The argument is the positive-coefficient mechanism of the Landau theorem for a Dirichlet series with nonnegative coefficients, with the needed step proved explicitly. Combining the real and nonreal cases gives the nonvanishing of a nonprincipal Dirichlet L-function at one:

Now let $a$ be coprime to $N$. The Dirichlet theorem on primes in arithmetic progressions asserts that infinitely many prime numbers satisfy $p\equiv a(\mathrm{mod}N)$. To prove it, separate the first-power terms in the given logarithmic Euler product:For $\sigma \ge 1$, the remainder is bounded uniformly byFor a nonprincipal character, holomorphy and nonvanishing near one give a local holomorphic logarithm. Along a short real interval to the right of one, this logarithm and the supplied continuous logarithm differ by a fixed integer multiple of $2\pi i$. Hence the prime-character sum near one is bounded:For the principal Dirichlet character ${\psi }_0$,The latter follows from the simple zeta pole and the bounded remainder. Finally Orthogonality of Dirichlet characters givesHere $\phi$ is the Euler totient function. The right-hand side tends to infinity as $\sigma \downarrow 1$, whereas a finite set of primes would give a bounded left-hand side. Therefore

The Dirichlet-series coefficients areThey are multiplicative. At a prime power, their values are $k+1$ if ${\chi }_D(p)=1$, one for even $k$ and zero for odd $k$ if ${\chi }_D(p)=-1$, and one if ${\chi }_D(p)=0$. Thus every $a_n$ is nonnegative. In particular $a_{m^2}\ge 1$. This is the nonnegative zeta-times-real-L coefficients identity. The same Euler expansion gives $-{\zeta }^{\prime }/\zeta (\sigma )-L^{\prime }/L(\sigma ,{\chi }_D)\ge 0$ for $\sigma >1$, with coefficients $\Lambda (n)(1+{\chi }_D(n))\ge 0$.