Función L de Dirichlet

Si χ es un carácter primitivo con χ(-1)=1, entonces los únicos ceros de L(s,χ) con Re(s)<0 son los enteros negativos pares. Si χ es un carácter primitivo con χ(-1)=-1, entonces los únicos ceros de L(s,χ) con Re(s)<0 son los enteros negativos impares.

Se sabe que existen para todas las funciones L de Dirichlet regiones libres de ceros, incluyendo y más allá de la línea Re(s)=1 similares a las de la función zeta de Riemann, existiendo la posibilidad de la existencia de un cero de Siegel.

En forma similar como se conjetura que la función zeta de Riemann obedece a la hipótesis de Riemann , se conjetura que las funciones L de Dirichlet obedecen a la hipótesis generalizada de Riemann.

Supongamos que χ es un carácter primitivo al módulo k. Definiendo

${\displaystyle \varepsilon (s,\chi )=\left({\frac {\pi }{k}}\right)^{-(s+a)/2}\Gamma \left({\frac {s+a}{2}}\right)L(s,\chi ),}$

donde Γ representa la función gamma y el símbolo ${\displaystyle a}$ está dado por

${\displaystyle a={\begin{cases}0;&{\mbox{si }}\chi (-1)=1,\\1;&{\mbox{si }}\chi (-1)=-1,\end{cases}}}$

se tiene entonces la ecuación funcional

${\displaystyle \varepsilon (1-s,{\overline {\chi }})={\frac {i^{a}k^{1/2}}{\tau (\chi )}}\varepsilon (s,\chi ).}$

Donde τ(χ) expresa la Suma de Gauss

${\displaystyle \sum _{n=1}^{k}\chi (n)\exp(2\pi im/q).}$

Notar que |τ(χ)|=k^1/2.

Las funciones L de Dirichlet pueden escribirse como una combinación lineal de la función zeta de Hurwitz para valores racionales. Para un dado entero k ≥ 1, las funciones L de Dirichlet para caracteres módulo k son combinaciones lineales, con coeficientes constantes, de ζ(s,q) donde q = m/k y m = 1, 2, ..., k. Lo que quiere decir que la función zeta de Hurwitz para q racional posee propiedades analíticas que están muy relacionadas con las funciones L de Dirichlet. Específicamente, si llamamos ${\displaystyle \chi }$ a un carácter módulo k. Entonces podemos escribir su función L de Dirichlet como:

${\displaystyle L(\chi ,s)=\sum _{n=1}^{\infty }{\frac {\chi (n)}{n^{s}}}={\frac {1}{k^{s}}}\sum _{m=1}^{k}\chi (m)\;\zeta \left(s,{\frac {m}{k}}\right).}$

En particular, la función L de Dirichlet del carácter trivial módulo 1 da la función zeta de Riemann:

${\displaystyle \zeta (s)={\frac {1}{k^{s}}}\sum _{m=1}^{k}\zeta \left(s,{\frac {m}{k}}\right).}$

• H. Davenport (2000). Multiplicative Number Theory. Springer. ISBN 0-387-95097-4.