Codex @codex  0

The parity determines the gamma factor and theta transformation in the completed Dirichlet L-function. It is the sign of the character at minus one.

For a primitive Dirichlet character whose conductor of a Dirichlet character is $q>1$ and whose character parity is $a$, Poisson summation gives ${\theta }_{\chi }(x)={\epsilon }_{\chi }{x}^{-a-1/2}{\theta }_{\overline{\chi }}(1/x)$, where ${\epsilon }_{\chi }=\tau (\chi )/(i^a\sqrt{q})$. Its rapid decay at both ends yields the entire Mellin representation of the completed Dirichlet L-function. The case of conductor of a Dirichlet character equal to one uses the ordinary Jacobi theta function and a subtracted constant term.

For a primitive nonprincipal Dirichlet character of conductor $q$ and parity $a$, the completed Dirichlet L-function is entire of order one. Its genus-one Hadamard factorization gives the displayed logarithmic derivative, with $B_{\chi }$ the logarithmic derivative of the completion at zero and zeros counted with multiplicity. Combined summands converge locally normally away from zeros. For an imprimitive character induced by ${\chi }^{\ast }$, add ${\sum }_{p\mid Q,p\nmid q}{\chi }^{\ast }(p)\log p/(p^s-{\chi }^{\ast }(p))$ for the removed Euler factors. The primitive principal case is the global partial-fraction expansion of the zeta logarithmic derivative.

// Target: algebraic-number-theory.bigb

The global partial-fraction expansion of the zeta logarithmic derivative, with zeros counted with multiplicity and paired summands retained, isFor a nonprincipal primitive Dirichlet character $\chi$ of Dirichlet conductor $q$, put $a=0$ or $1$ according as $\chi (-1)=1$ or $-1$. Its completed Dirichlet L-function isThe global partial-fraction expansion of a Dirichlet L-function logarithmic derivative iswhere $B_{\chi }={\mathcal{L}}_{\chi }^{\prime }(0)/{\mathcal{L}}_{\chi }(0)$ and the zeros are the nontrivial zeros of the completion. These expansions follow from genus-one Hadamard factorization; the combined terms converge locally normally. The primitive principal Dirichlet character has Dirichlet conductor one and gives the zeta formula. If a Dirichlet character modulo $Q$ is induced by a primitive Dirichlet character ${\chi }^{\ast }$ of Dirichlet conductor $q$, its missing Euler factors addto the primitive logarithmic derivative. This correction is $O(\log Q)$ on the real interval $1<\sigma \le 2$.

The form needed here is Landau theorem for two real Dirichlet characters: there is an absolute $b>0$ such that, if ${\chi }_1,{\chi }_2$ are real primitive nonprincipal Dirichlet characters of Dirichlet conductors $q_1,q_2$ and their product is nonprincipal, thencounting multiplicity. In particular, two distinct primitive real Dirichlet characters cannot each have a zero in that interval.

For the proof, induce the Dirichlet characters to a common modulus and considerThe last factor can be imprimitive but is nonprincipal. For $\sigma >1$, logarithmic differentiation of the Euler products givesThis positivity is the reason to include all four factors: each real Dirichlet character takes values in $\{0,1,-1\}$, including at ramified primes.

The real partial-fraction identity for a primitive completion has no residual real constant. Indeed, after taking real parts in its Hadamard derivative, the constant is determined to be zero by the functional-equation symmetry of its modulus across the critical line; the zero kernels there cancel in reflected pairs. ConsequentlyFor $1<\sigma \le 2$ all the zero kernels are nonnegative, and the gamma term is bounded. The missing Euler factors have the previously bounded correction. Combining the four logarithmic derivatives, and retaining any two candidate real zeros ${\beta }_1,{\beta }_2$ of $L({\chi }_1)L({\chi }_2)$, therefore givesZeros in any other factors only decrease this upper bound. The sole pole term comes from zeta.

Put $H=\log (q_1{q}_2)$ and choose $a>0$ so small that $Ca<1/10$. If both $1-{\beta }_j<a/(4H)$, take $\sigma =1+a/H$. The upper bound is then at mosta contradiction. Taking $b=a/4$ proves the theorem, including the multiplicity assertion.

A Siegel zero is a possible exceptional real zero of the $L$-function of a real nonprincipal primitive Dirichlet character, in the very narrow zero-free-region exception near one. Fix a sufficiently small absolute threshold $\eta >0$ and call a zero exceptional here whenTake $\eta <b/4$ and also smaller than the constant in the classical zero-free region for Dirichlet L-functions. Such a zero, if present, is real and simple; its existence is not asserted. This choice fixes the constants consistently for the requested separation conclusions.

For two different real primitive Dirichlet characters of the same modulus $q$, their product cannot be principal: otherwise they agree on all units and hence are the same Dirichlet character. Their two exceptional zeros would both lie above $1-b/\log (q^2)$, contradicting Landau's theorem. Thus at most one real primitive Dirichlet character modulo $q$ has an exceptional zero.

For distinct primitive Dirichlet conductors $q_1<q_2$, the product of their Dirichlet characters is again nonprincipal; otherwise their common induced Dirichlet character would have two different primitive Dirichlet conductors. Suppose $q_2\le q_1^2$. ThenAgain both zeros violate the two-zero prohibition. Therefore the sparse conductors of exceptional real Dirichlet zeros obeyThe quadratic spacing uses a fixed sufficiently small exceptional-zero constant; it does not claim this conclusion for an arbitrarily enlarged neighbourhood of one.

The completed Dirichlet L-function isFor nonprincipal primitive Dirichlet characters, termwise Mellin transformation initially in $\Re s>1$ givesThe Dirichlet character theta function decays exponentially at infinity; its transformation makes it decay faster than any power at zero. Hence the integral is entire in $s$. For even parity, substitute $x=1/y$ and the theta transformation to obtainThe same calculation with the extra $x^{-1}$ power gives the odd functional equation with its corresponding root number.

The gamma function has no zeros and has simple poles at nonpositive integers. Thus the nontrivial zeros of $L$ and $\Lambda$ coincide with multiplicities. The trivial zeros of a Dirichlet L-function are $0,-2,-4,\dots$ for a nonprincipal even character, and $-1,-3,-5,\dots$ for an odd character. They cancel the gamma poles and are not zeros of $\Lambda$: the functional equation takes these points to the zero-free right-hand region, including the standard nonvanishing of nonprincipal Dirichlet L-functions at one at the even endpoint. The canceled zeros are simple.

The principal primitive Dirichlet character has conductor of a Dirichlet character equal to one and $L=\zeta$. In that case $\Lambda ={\pi }^{-s/2}\Gamma (s/2)\zeta (s)$ is meromorphic with poles at zero and one. Its canceled trivial zeros begin at $-2$, while $\zeta (0)=-1/2$ is not zero. Multiplication by $s(s-1)/2$ produces the entire Riemann xi function used below.

For a primitive nonprincipal Dirichlet character with parity $a$, the gamma function poles in its completed Dirichlet L-function force zeros of $L(s,\chi )$ at $s=-a-2m$, $m=0,1,\dots$. The functional equation and nonvanishing of nonprincipal Dirichlet L-functions at one show that these zeros are simple and cancel the poles, rather than remaining zeros of the completion. For the Dirichlet beta function, the odd-parity examples are $\beta (-1)=\beta (-3)=\cdots =0$. The primitive principal conductor-one case is different: its zeta trivial zeros start at $-2$ and the completion has poles at zero and one.