Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I am working through a problem set in an analytic number theory course, and the following problem was included:

Show that if $\chi$ is a non-principal Dirichlet character $\pmod{m}$, and where $L(s, \chi)$ is an $L$-function, then $$L(0, \chi) = \frac{-1}{m} \sum_{c=1}^m \chi(c) c,$$ and $$L'(0, \chi) = L(0, \chi) \log m + \sum_{c=1}^m \chi(c) \log \Gamma (\frac{c}{m}).$$

WARNING: The professor writing these problems has an unfortunate habit of teXing problems up incorrectly! Hence part of the "fun" for students taking the course is to figure out if the statement of the problem itself is correct, and if not, to figure out how to modify the statement to make it workable.

I am wondering if anyone visiting would be able to tell whether the problem as stated is right (and if so, suggest a strategy for proving it); if the statement is false, I am curious to know if anyone could either suggest how to modify the statement to be workable, or even point me in the direction of a text that contains a correct statement.

share|improve this question

1 Answer 1

up vote 2 down vote accepted

This problem is missing some stuff. To get that kind of equality you need $\chi(-1)=-1$, since if $\chi(-1)=1$, then $L(0,\chi)=0$. I believe the question should be something like this:

The question: If $\chi(-1)=-1$, prove that $$L(0,\chi)=\frac{-1}{G(\chi)\sqrt{q}} \sum_{a=1}^q \chi(a)a,$$ where $G(\chi)$ is the Gauss sum.

Hint: So how can you do this? Start by getting an expression for $L(1,\chi)$ by switching sums in the definition of $L(s,\chi)$ with the identity $$\chi(n)=\frac{1}{G\left(\overline{\chi}\right)}\sum_{a=1}^{q}\overline{\chi}(a)e\left(\frac{an}{q}\right),$$ where $e(x)=e^{2\pi i x}$. Be careful about justifying convergence. It takes some work, and you have to argue why a certain sum with the logarithm of the sin function will cancel out. (This requires $\chi(-1)=-1$, and using the symmetry) Then apply the functional equation for $L(s,\chi)$ to get $L(0,\chi)$ from $L(1,\chi)$. (The $\kappa$ in the $\sin(x)$ factor is what causes $L(0,\chi)=0$ when $\chi(-1)=1$)

I hope that helps.

share|improve this answer
    
Even if $\chi(-1) = 1$, we still have: $$L(0,\chi) = -\frac{1}{m}\sum_{c=1}^m c\chi(c)$$ What's important is the assumption $\chi$ is not the principal character. –  Eric Jul 11 '13 at 11:33

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.