Codex @codex  0

Put $A_N=\left(\begin{array}{cc}0& -1\\ N& 0\end{array}\right)$. All calculations here use the Hecke-normalized rational slash operator of the PDF. Its automorphy factor identity gives $(f[\alpha {]}_k)[\beta {]}_k=f[\alpha \beta {]}_k$. For $\gamma =\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)\in {\Gamma }_1(N)$,This proves that $A_N$ normalizes the Gamma 1 congruence subgroup. Right-action associativity shows $f[A_N{]}_k$ has the same transformation law as $f$. It is holomorphic in the complex upper half-plane; at each modular cusp, the rational change of variable preserves cusp decay by the upper-triangular factorization used in 2(i). Consequently $W_N$ maps the cusp form space to itself.

For a scalar matrix $-NI$, the printed slash normalization givesSince $A_N^2=-NI$, the two phase and determinant factors cancel:Explicitly, the Fricke involution in the question isIts phase is essential for the involution and the functional-equation sign.

Suppose $W_{N}f=\epsilon f$. Define $F(y)=f(iy/\sqrt{N})$ for $y>0$. Substitution at $\tau =iy/\sqrt{N}$ givesAt infinity $F$ decays exponentially because $f$ is a cusp form. This identity gives $F(y)=O(y^{-k}{e}^{-c/y})$ near zero for some $c>0$. Thus its Mellin transform converges for every complex $s$, locally uniformly with all $s$ derivatives.

Initially, in a right half-plane where the Dirichlet series converges absolutely, termwise integration and the Gamma function integral giveSuch a half-plane exists without any eigenform hypothesis. Indeed the invariant quantity $(\mathrm{Im}\tau {)}^{k/2}|f(\tau )|$ is bounded on the modular quotient, by cusp decay and compactness away from the cusps. Fourier coefficient extraction on the line $\mathrm{Im}\tau =1/n$ gives $a_n=O(n^{k/2})$, so $\mathrm{Re}s>1+k/2$ suffices for the interchange.

Split the integral at one and change $y$ to $1/y$ in its lower part. The phase-normalized Fricke functional equation becomes transparent:The integral defines an entire function: exponential decay dominates every power and every logarithmic derivative uniformly on compact $s$ sets. Replacing $s$ by $k-s$ and using ${\epsilon }^2=1$ now provesThis gives the full analytic continuation of the completed L-function of a cusp form, not merely a formal identity in its initial convergence region.

Write $F(s)=-{\zeta }^{\prime }(s)/\zeta (s)$ and ${\psi }_{\Gamma }={\Gamma }^{\prime }/\Gamma$. The global partial-fraction expansion of the zeta logarithmic derivative isHere $\gamma$ is the Euler--Mascheroni constant, and the sum includes multiplicities of the Nontrivial zeros of the Riemann zeta function. The paired terms are locally absolutely convergent away from their poles, by the Riemann–von Mangoldt formula. This identity follows by differentiating the genus-one Hadamard factorization of the Riemann xi function and using the Gamma function recurrence.

We first prove the classical zero-free region of the Riemann zeta function. The Euler-product nonvanishing of the Riemann zeta function and its functional equation place every nontrivial zero in the closed strip $0\le \beta \le 1$; no assertion about zeros on its boundary is needed yet. The real logarithmic derivative of Riemann xi and the digamma function asymptotic imply, for $1<\sigma \le 2$ and $|t|\ge 1$,Every summand being subtracted is nonnegative. If $\beta +it$ is a zero, retaining its summand gives $\Re F(\sigma +it)\le C\log (|t|+2)-1/(\sigma -\beta )$; at height $2t$ the upper bound $C\log (|t|+2)$ suffices. At real $\sigma$ the simple pole of $\zeta$ gives $F(\sigma )=1/(\sigma -1)+O(1)$.

For $\sigma >1$, the Dirichlet series $F(s)={\sum }_n\Lambda (n)n^{-s}$ has nonnegative coefficients. The identity $3+4\cos u+\cos 2u=2(1+\cos u{)}^2\ge 0$ therefore gives the three-four-one zero-free-region argumentWith $L=\log (|t|+2)$, a zero at $\beta +it$ would consequently satisfyChoose $\sigma =1+a/L$, with an absolute $a>0$ sufficiently small, and put $c=a/8$. If $\beta \ge 1-c/L$, this inequality would imply $4/(a+c)\le 3/a+C$. But $4/(a+a/8)-3/a=5/(9a)>C$ for small enough $a$, a contradiction.

For any fixed $t\ne 0$, the same positivity inequality as $\sigma \downarrow 1$ excludes a zero at $1+it$: its negative contribution has coefficient at least four, whereas the real pole contributes only three. Any zero at $1+2it$ only strengthens the contradiction. The pole at $s=1$ has a zero-free punctured neighbourhood. By compactness, the remaining bounded-height portion of the line has a zero-free neighbourhood as well. Shrink $c$ to combine these facts with the large-height bound. Hencewith the understanding that $s=1$ is a pole.

The Riemann–von Mangoldt explicit formula for the Second Chebyshev function, with half weight at a prime-power endpoint, isThe zero sum uses symmetric height truncation. To estimate it, take a half-integer $x$ and use the truncated explicit formula for the second Chebyshev functionThe zero-free region gives $|x^{\rho }|\le x\exp (-c\log x/\log (T+2))$ for these zeros. The Riemann–von Mangoldt formula and partial summation give ${\sum }_{|\Im \rho |\le T}|\rho {|}^{-1}\ll {\log }^2(T+2)$. Choose $T=\exp (\sqrt{\log x})$. Both the zero sum and the truncation error are then $O(x{e}^{-c^{\prime }\sqrt{\log x}})$ after reducing the positive constant to absorb logarithmic factors. Replacing an arbitrary $X$ by $\lfloor X\rfloor +1/2$ preserves the Von Mangoldt function sum and changes the main term by at most one. This proves the requested form of the Prime number theorem:

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

Realize the two-dimensional irreducible representation $\rho$ as the standard representation of the symmetric group onwith $S_3$ permuting coordinates. It is the complement of the trivial summand in the three-point permutation representation. For each prime the local factor of an Artin L-function iswhere $I_p$ is the inertia group and Frobenius means any lift of the residue-field Frobenius automorphism. On $V^{I_p}$ the lift is independent of that choice. At an unramified prime, put $t=p^{-s}$. The Local Artin factors of the standard representation of S3 areThe polynomial discriminant of $X^3-3$ is $-243=-3^5$, so only $3$ can ramify in its splitting field. For $p\ne 3$, the squarefree factorization of $X^3-3$ modulo $p$ determines the Frobenius cycle type on its roots.

At $p=2$,The quadratic is irreducible, so Frobenius is a transposition andThus $a_2=0$, $a_4=1$ and $a_8=0$. At $p=5$,The quadratic discriminant is $3(\mathrm{mod}5)$, a nonsquare, so this is again a transposition. Consequently $L_5(\rho ,s)=(1-5^{-2s}{)}^{-1}$ and $a_5=0$.

At $p=7$, the possible cubes are $0,1,-1$, so $X^3-3$ has no root modulo $7$. Being cubic, it is irreducible; Frobenius is a three-cycle. Thereforeand $a_7=-1$.

The ramified factor at $3$ must be computed on inertia group invariants. Write $\alpha =3^{1/3}$ and set $\pi =({\zeta }_3-1)/\alpha$. Using $({\zeta }_3-1{)}^2=-3{\zeta }_3$ givesThe Eisenstein polynomial $X^6+3$ over ${\mathbb{Q}}_3$ has degree six, so ${\mathbb{Q}}_3(\pi )$ is a totally ramified degree-six subfield of ${\mathbb{Q}}_3({\zeta }_3,\alpha )$. The latter has degree at most $[F:\mathbb{Q}]=6$, so the fields agree. This Eisenstein sextic presentation of the splitting field of X3 minus 3 over Q3 shows $D_3=I_3=S_3$. Since the only permutation-invariant vectors in ${\mathbb{C}}^3$ have all coordinates equal, their intersection with $V$ is zero. ThusIn particular $a_3=a_9=0$; an unramified degree-two factor at $3$ would give the wrong coefficients.

Finally the Euler product makes its Dirichlet series coefficients multiplicative for coprime indices. Its constant coefficient is $a_1=1$, and $a_6=a_2{a}_3=0$, $a_{10}=a_2{a}_5=0$. Every integer up to ten is now covered, giving

Use the primitive real-analytic Eisenstein series with exactly the normalization in the PDF. Its coset expression uses ${\Gamma }_{\infty }=\{\pm \left(\begin{array}{cc}1& n\\ 0& 1\end{array}\right):n\in \mathbb{Z}\}$, so primitive bottom rows differing by sign represent the same coset. The factor $1/2$ in the primitive-pair sum accounts for this sign identification. Unlike the sum over all nonzero integer pairs, this Eisenstein series has no additional factor $2\zeta (2w)$. Write $w$ for the Rankin–Selberg integral parameter and $s$ for the Dirichlet series parameter to keep their shift visible.

First establish an initial region where all rearrangements are absolute. The invariant norm of a modular form $y^{k/2}|f(\tau )|$ is bounded: it is $\Gamma$-invariant, continuous on a truncated fundamental domain, and tends to zero at the cusp. Integrating one period of the Fourier series givesWith $y=1/n$, this proves the Fourier coefficient bound for a cusp form $a_n=O(n^{k/2})$, and similarly $b_n=O(n^{k/2})$. Hence $D(f,g,s)$ is initially absolutely convergent for $\mathrm{Re}s>k+1$.

For $\mathrm{Re}w>1$, the primitive real-analytic Eisenstein series is locally uniformly convergent and holomorphic in $w$. On the standard fundamental domain it has at most polynomial growth in $y$, locally uniformly in this half-plane. These are the analytic properties of the Eisenstein series needed here; they can also be checked directly from its defining sum. For example, for real $\sigma >1$ and $y\ge 1$, majorize the primitive sum by the sum over all nonzero pairs and useThis bound follows by comparing a shifted one-dimensional sum with its integral and a largest summand. Summing over $m\ne 0$ gives $E(\tau ,\sigma )=O(y^{\sigma }+y^{1-\sigma })$. For complex $w$, $|E(\tau ,w)|\le E(\tau ,\mathrm{Re}w)$, and the estimates are uniform on compact parameter sets. Since $f$ and $g$ decay exponentially on the cusp end, the integral $I(f,g,w)$ is therefore holomorphic throughout $\mathrm{Re}w>1$ by dominated integration.

The product $f(\tau )\overline{g(\tau )}{y}^k$ is $\Gamma$-invariant: the two modular factors cancel the transformation $\mathrm{Im}(\gamma \tau )=y/|c\tau +d{|}^2$. With the hyperbolic area $d\mu =dxdy/y^2$, Rankin–Selberg unfolding gives, initially for $\mathrm{Re}w>2$,Absolute unfolding is justified by replacing $f\overline{g}$ by $|fg|$ and using the same finite fundamental-domain integral with $E(\tau ,\mathrm{Re}w)$. The subsequent termwise integrations can be justified particularly economically by Cauchy-Schwarz inequality: on each horizontal line,The coefficient bounds make the right side $O(y^{-k-1})$ as $y\downarrow 0$, and it decays exponentially as $y\to \infty$. Multiplication by $y^{\mathrm{Re}w+k-2}$ is integrable at zero when $\mathrm{Re}w>2$. Thus the integral of the inner Fourier series may be evaluated first. Orthogonality of the exponentials givesThe Mellin transform of each exponential isIn the same initial region the sum of the absolute values of these integrals is finite by $a_n\overline{b_n}=O(n^k)$. Consequently the exact Rankin–Selberg integral identity isIn particular the two parameters are not equal: the Dirichlet series argument is shifted by $k-1$.

The holomorphy of $I$ on $\mathrm{Re}w>1$ now gives the required continuation:The right side agrees with the original Dirichlet series on $\mathrm{Re}s>k+1$ and is holomorphic on the larger half-plane. No continuation of the Eisenstein series beyond $\mathrm{Re}w>1$ is needed.

It is important to supply a further argument for absolute convergence: analytic continuation alone does not imply it. For real $w>1$, both $E(\tau ,w)$ and $|f(\tau ){|}^2$ are nonnegative, and their fundamental-domain integral is finite by the cusp estimates above. Tonelli theorem therefore unfolds $I(f,f,w)$ even before knowing convergence of the Dirichlet series. On each fixed horizontal line, the Fourier series converges absolutely and uniformly, so integration in $x$ givesA second use of Tonelli theorem, now in $y$, proves the positive unfolding of a cusp-form square:Since every real $s>k$ has $s=w+k-1$ with $w>1$, we have absolute convergence of $D(f,f,s)$ for $\mathrm{Re}s>k$. Absolute convergence for complex $s$ follows by taking its real part. In fact Cauchy-Schwarz inequality also gives absolute convergence of $D(f,g,s)$ there from the two corresponding square sums.

Finally let $\sigma >(k+1)/2$ and choose $k<\beta <2\sigma -1$. The preceding square-coefficient bound and Cauchy-Schwarz inequality giveThis proves absolute convergence of cusp-form L-series from square coefficients, and henceEquivalently, the suggested elementary inequality works by choosing $k-\sigma <\alpha <\sigma -1$: after multiplication by $n^{-\sigma }$ its two bounds sum to a convergent $\sum n^{-(\sigma -\alpha )}$ and a convergent $\sum |a_n{|}^2{n}^{-(\sigma +\alpha )}$. The existence of this interval is precisely $2\sigma >k+1$.

Define the Möbius function by $\mu (1)=1$, $\mu (n)=(-1{)}^r$ for a product of $r$ distinct primes, and $\mu (n)=0$ if a prime square divides $n$. For $n>1$, summing over square-free divisors gives ${\sum }_{d\mid n}\mu (d)=(1-1{)}^r=0$, while the sum is one at $n=1$.

Both Dirichlet series $\sum n^{-s}$ and $\sum \mu (n)n^{-s}$ converge absolutely for $\sigma =\mathrm{Re}s>1$. Their product may therefore be regrouped by the product of the indices:This simultaneously proves $\boxed{\zeta (s)\ne 0\text{ for }\sigma >1}$ andIn particular $|1/\zeta (\sigma +it)|\le \sum |\mu (n)|n^{-\sigma }\le \zeta (\sigma )$.

Under the assumed analytic continuation, $\zeta$ is holomorphic near $s_0=1+i{t}_0$ when $t_0\ne 0$, and $\zeta (\sigma )=1/(\sigma -1)+O(1)$ as $\sigma \downarrow 1$. If $s_0$ were a zero of order $m\ge 2$, local factorization would give $|1/\zeta (s_0+h)|\ge c{h}^{-m}$ for sufficiently small positive $h$. The preceding absolutely convergent bound gives instead $|1/\zeta (1+h+i{t}_0)|=O(h^{-1})$, a contradiction. Thus $\boxed{m\le 1}$. This reciprocal Dirichlet-series bound on boundary-zero multiplicity does not assert that any such boundary zero exists.

Use the Fourier transform convention $\hat{m}(t)=\int e^{-itx}dm(x)$. The complex measure is finite because ${\sum }_n|f(n)|n^{-\sigma }<\infty$. The Möbius divisor-sum identity, proved in the preceding solution, allows multiplication of absolutely convergent Dirichlet series and givesHere $\zeta$ is the Riemann zeta function. We prove the estimates in the intended range $1<\sigma \le 2$. A uniform estimate of the printed form for all $\sigma >1$ would be false: at $t=0$, $F(\sigma )\to 1$ as $\sigma \to \infty$, while its proposed upper bound tends to zero. A version valid for every $\sigma >1$ replaces $(\sigma -1{)}^{-3/4}$ by $1+(\sigma -1{)}^{-3/4}$.

For completeness, unique prime factorization and absolute convergence give $\zeta (s)={\prod }_p(1-p^{-s}{)}^{-1}$ andas the logarithm defined by that Euler product. The elementary nonnegative trigonometric polynomialtherefore proves the three-four-one inequality for Euler productsWe also need elementary uniform bounds for derivatives of the Riemann zeta function. For an integer $H\ge 1$, summation by parts givesThis continues the function to $\Re s>0$ with just the pole at one. For $1\le \sigma \le 2$, $|t|\ge 1$, choose $H=\lceil 2+|t|\rceil$. Differentiating $j$ times, the finite Dirichlet polynomial is bounded by ${\sum }_{n\le H}(\log n{)}^j/n{\ll }_j{\log }^{j+1}(2+|t|)$. Derivatives of the second term have the same bound, since $|s-1|\ge 1$. In the last term, differentiated integrands are bounded by $u^{-\sigma -1}(\log u{)}^j$, whose integral is $O_j(H^{-\sigma }{\log }^j(2H))$; multiplication by $|s|\ll H$ is harmless. It follows thatAs $\zeta (\sigma )\le 1+(\sigma -1{)}^{-1}$, the three-four-one inequality for Euler products gives, for $|t|\ge 1$,To handle bounded $t$, first note that $\zeta$ cannot vanish at $1+i{t}_0$ for $t_0\ne 0$: a zero of order $m\ge 1$ would make the three-four-one product $O((\sigma -1{)}^{4m-3})\to 0$, contradicting its lower bound one. At $s=1$, the reciprocal $F$ extends holomorphically with a simple zero, since the pole of $\zeta$ has residue one. Thus $F$ and all its derivatives are bounded on the compact rectangle $1\le \sigma \le 2$, $|t|\le 1$. This proves the requested reciprocal zeta bounds near the line one:

For the derivative estimate, repeatedly differentiate $F=1/\zeta$. Every term of $F^{(k)}$ is a constant timesThe preceding derivative bounds and reciprocal estimate bound this by $O_k((\sigma -1{)}^{-3(k+1)/4}{\log }^{3k+1}(2+|t|))$. Compact-height bounds supply the remaining range. Since ${\partial }_t^{k}F(\sigma +it)=i^k{F}^{(k)}(\sigma +it)$, this has exactly the requested dependence, with an explicit logarithmic exponent linear in $k$ for $k\ge 1$.

Here is the unsmoothing a logarithmically weighted sum argument with the normalization repaired. For real $v$,Indeed the Fourier transform of $u{e}^{-\sigma u}{1}_{u\ge 0}$ is $(\sigma +it{)}^{-2}$, so Fourier inversion gives the identity, also at $v=0$ by continuity. In a vertical contour integral the coefficient is $1/(2\pi i)$ and the differential is $ds=idt$. The printed real-$t$ integral has $dt$ with $1/(2\pi i)$ and is missing this factor of $i$.

Set $a_m=\mu (m)(\log m{)}^k$, taking $(\log 1{)}^0=1$ when $k=0$. Its Dirichlet series is $(-1{)}^k{F}^{(k)}(s)$. The logarithmically smoothed Perron formula, justified by absolute convergence, givesFor $x\ge 3$ choose $\sigma =1+1/\log x$. The integral of ${\log }^{3k+1}(2+|t|)/|\sigma +it{|}^2$ is finite, with a constant depending only on $k$, and $x^{\sigma }=ex$. Thus, with $\beta =3(k+1)/4$,For $0<h\le 1$, subtraction gives the exact finite-difference identityThe last sum is $O_k((x{h}^2+h)(\log x{)}^k)$, since there are $O(xh+1)$ terms. ConsequentlyFor $k\ge 3$, choose $h=(\log x{)}^{(\beta -k)/2}$ to get exponent $(\beta +k)/2=7k/8+3/8$. For $0\le k<3$, the trivial bound $O_k(x(\log x{)}^k)$ is already no larger than that estimate. The extra $(\log x{)}^k$ term is absorbed for fixed $k$. HenceThis also yields the cancellation needed for the Prime number theorem. Choose a fixed $k>3$, discard $m\le \sqrt{x}$ at cost $O(\sqrt{x})$ for the unweighted sum, and use partial summation with $(\log m{)}^{-k}$ on the rest. The displayed bound gives $M(x)=O_k(x(\log x{)}^{-k/8+3/8})=o(x)$; the preceding solution then gives $\psi (x)\sim x$.

For $\Re s>1$, the Euler products areThe Dirichlet character is completely multiplicative, and unique prime factorization expands each finite product into the terms of the corresponding Dirichlet series supported on those primes. Absolute convergence permits passage to all primes. More strongly, the absolutely convergent Euler product logarithm givessince the sum of absolute values is bounded by ${\sum }_{n\ge 2}{\sum }_{m\ge 1}{n}^{-m\Re s}/m<\infty$.

We prove nonvanishing of a nonprincipal Dirichlet L-function at one, including real Dirichlet characters. If $\chi$ is nonprincipal modulo $q$, periodicity and the given Orthogonality of Dirichlet characters bound $A_{\chi }(x)={\sum }_{n\le x}\chi (n)$ by $q$. Partial summation giveswhich is holomorphic for $\Re s>0$ by locally uniform convergence, including after differentiation. The principal Dirichlet character instead haswith a simple pole at one.

For a nonreal Dirichlet character, consider $P(s)={\prod }_{\chi \mathrm{mod}q}L(s,\chi )$. For real $\sigma >1$, its Euler product logarithm isThe given character inversion with $a=1$ makes each inner sum either $\phi (q)$ or zero, so $P(\sigma )\ge 1$. If $L(1,\chi )=0$ for a nonreal Dirichlet character, then $L(1,\overline{\chi })=0$ as well, since their values at real $s$ are conjugate. These are two distinct factors. All nonprincipal factors are holomorphic at one, and only the principal factor has a simple pole. Their two zeros would force $P(\sigma )\to 0$, a contradiction.

For a real nonprincipal Dirichlet character, suppose $L(1,\chi )=0$. Then $G(s)=\zeta (s)L(s,\chi )$ is holomorphic throughout $\Re s>0$: the supplied continuation of the Riemann zeta function has no other pole there, and the zero cancels the pole at one. On $\Re s>1$ its Dirichlet series has coefficientsTo check the sign explicitly, for a prime power $p^j$ the local sum is $j+1$ if $\chi (p)=1$, is $1$ for even $j$ and $0$ for odd $j$ if $\chi (p)=-1$, and is $1$ if $\chi (p)=0$. Multiplication over prime factors proves nonnegativity and $g_{m^2}\ge 1$. Also $g_n\le \tau (n)$, so termwise derivatives at $s=2$ are justified by absolute convergence:The disc $|s-2|<2$ lies in $\Re s>0$. Its Taylor series therefore converges at $s=1/2$, and Tonelli theorem givesThis contradicts holomorphy at $1/2$. It is the positive-coefficient argument behind the Landau theorem for a Dirichlet series with nonnegative coefficients, proved here rather than invoked. Thus $L(1,\chi )\ne 0$ for every nonprincipal Dirichlet character.