In mathematics, a Dirichlet L-series is a function of the form

L(s,\chi) = \sum_{n=1}^\infty \frac{\chi(n)}{n^s}.

Here ? is a Dirichlet character and s a complex variable with real part greater than 1. By analytic continuation, this function can be extended to a meromorphic function on the whole complex plane, and is then called a Dirichlet L-function and also denoted L(s, ?).

These functions are named after Johann Peter Gustav Lejeune Dirichlet who introduced them in to prove the theorem on primes in arithmetic progressions that also bears his name. In the course of the proof, Dirichlet shows that L(s, ?) is non-zero at s = 1. Moreover, if ? is principal, then the corresponding Dirichlet L-function has a simple pole at s = 1.

Zeros of the Dirichlet L-functions

If χ is a primitive character with χ(−1) = 1, then the only zeros of L(s,χ) with Re(s) < 0 are at the negative even integers. If χ is a primitive character with χ(−1) = −1, then the only zeros of L(s,χ) with Re(s) < 0 are at the negative odd integers.

Up to the possible existence of a Siegel zero, zero-free regions including and beyond the line Re(s) = 1 similar to that of the Riemann zeta function are known to exist for all Dirichlet L-functions.

Just as the Riemann zeta function is conjectured to obey the Riemann hypothesis, so the Dirichlet L-functions are conjectured to obey the generalized Riemann hypothesis.

Functional equation

Let us assume that χ is a primitive character to the modulus k. Defining

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

where Γ denotes the Gamma function and the symbol a is given by

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

one has the functional equation

\Lambda(1-s,\overline{\chi})=\frac{i^ak^{1/2}}{\tau(\chi)}\Lambda(s,\chi).

Here we wrote τ(χ) for the Gauss sum

\sum_{n=1}^k\chi(n)\exp(2\pi in/k).

Note that |τ(χ)|=k^1/2.

Relation to the Hurwitz zeta-function

The Dirichlet L-functions may be written as a linear combination of the Hurwitz zeta-function at rational values. Fixing an integer k ≥ 1, the Dirichlet L-functions for characters modulo k are linear combinations, with constant coefficients, of the ζ(s,q) where q = m/k and m = 1, 2, ..., k. This means that the Hurwitz zeta-function for rational q has analytic properties that are closely related to the Dirichlet L-functions. Specifically, let \chi be a character modulo k. Then we can write its Dirichlet L-function as

L(s,\chi) = \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).

In particular, the Dirichlet L-function of the trivial character modulo 1 yields the Riemann zeta-function:

\zeta(s) = \frac {1}{k^s} \sum_{m=1}^k \zeta \left(s,\frac{m}{k}\right).

See also

• Generalized Riemann hypothesis
• L-function
• Modularity theorem
• Artin conjecture
• Special values of L-functions

References

ca:Sèrie L de Dirchlet es:Función L de Dirichlet fr:Série L de Dirichlet it:Funzione L di Dirichlet nl:Dirichlet-L-functie pt:Função L de Dirichlet ru:L-??????? ??????? zh:????L??

---

Source: Wikipedia | The above article is available under the GNU FDL. | Edit this article