Dirichlet expression for \(L(1,\chi)\) with general Dirichlet character (Q968052)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Dirichlet expression for \(L(1,\chi)\) with general Dirichlet character |
scientific article |
Statements
Dirichlet expression for \(L(1,\chi)\) with general Dirichlet character (English)
0 references
3 May 2010
0 references
Let \(L(s,\chi)\) denote the Dirichlet \(L\)-series of a real Dirichlet character. In Dirichlet's famous work on the class number formula, the value of the \(L\)-series at \(s = 1\) is expressed as a finite sum as follows: \[ L(1,\chi) = \begin{cases} -\frac{\pi}{|d|^{3/2}} \sum_{1\leq a \leq |d|} a \left(\frac{d}{a}\right), &\text{if \(d < 0\);} \\ -\frac{1}{d^{1/2}} \sum_{1\leq a \leq d} \left(\frac{d}{a}\right) \log\sin \frac{\pi a}{d}, &\text{if \(d > 0\).} \end{cases} \] Here Kronecker's symbol \((d/a)\) is used to denote the real primitive character. It is natural to ask whether the corresponding expression for \(L(1, \chi)\) holds for any general primitive Dirichlet character \(\chi \pmod{q}\), where \(q\) is an integer greater than or equal to 2. \quad In this short note, the author provides a simple and elegant argument which demonstrates that the above expressions for \(L(1, \chi)\), with obvious modifications, are valid for the general primitive Dirichlet character \(\chi\). His theorem can be summarized as follows: For any primitive Dirichlet character \(\chi \pmod{q}\), where \(q\) is an integer greater than or equal to 2, one has \[ L(1, \chi) = \begin{cases} -\frac{1}{\tau(\overline{\chi})} \sum_{1 \leq a \leq q} \overline{\chi}(a) \log\sin \frac{\pi a}{q}, &\text{if \(\chi\pmod{q}\) is even;} \\ -\frac{\pi i}{\tau(\overline{\chi})} \sum_{1 \leq a \leq q} \frac{a}{q} \overline{\chi}(a), &\text{if \(\chi\pmod{q}\) is odd.} \end{cases} \] Here \(\tau(\chi) = \sum_{1 \leq a \leq q} \chi(a) e^{2\pi i a / q}\).
0 references
Hurwitz zeta function
0 references
Dirichlet character
0 references
Dirichlet \(L\)-series
0 references