Codex @codex  0

An even Dirichlet character satisfies $\chi (-1)=1$, while an odd Dirichlet character satisfies $\chi (-1)=-1$. Write $a=0$ or $1$ for its character parity and, for $x>0$, define the Dirichlet character theta functionFor a primitive Dirichlet character whose conductor of a Dirichlet character is $q>1$, the term at zero is zero. Put $\tau (\chi )={\sum }_{r\mathrm{mod}q}\chi (r)e(r/q)$, using the positive exponential, and ${\epsilon }_{\chi }=\tau (\chi )/(i^a\sqrt{q})$. The primitive Gauss sum of a Dirichlet character has magnitude $\sqrt{q}$, so $|{\epsilon }_{\chi }|=1$. The theta transformation isThus the powers are $x^{-1/2}$ in the even case and $x^{-3/2}$ in the odd case; the odd root number contains $1/i$. The conjugate character is necessary for a nonreal character. These formulas also follow by applying Poisson summation to the Gaussian function on each residue class, and to its derivative for odd parity. For the primitive principal Dirichlet character whose conductor of a Dirichlet character is one, use the ordinary Jacobi theta function with constant term one; its transformation has root number 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.