As we know that there are three important properties about the Riemann -function: infinite product expression, analytic continuation and the functional equation.
One natural generalization of the Riemann -function is the Dirichlet L-function. And indeed these L-functions share the three properties mentioned above.
First let’s introduce the Dirichlet character. Given a positive integer , then consider the group homomorphisms from the multiplicative group to the multiplicative group . We extend this map to all of by setting the values at those missing points to be . We call one such map a Dirichlet character of conductor . If is a divisor of , then we have a natural map from to , i.e. the restriction map. So all the characters of conductor can be extended to characters of conductor . But the inverse doesn’t hold, that is to say, there is some character of conductor which is not the extension of any character of conductor for (we call this character the primitive character of , this is a consequence of the Euler formula ). This simple fact can be deduced from the structure theorem of finite abelian groups, and we omit the proof.
Now we define the Gauss sum of a character .
Note we can make an analogy between the group and the group . Recall the function, . Note that is a character for the multiplicative group . It is easy to show that all the continuous characters of are of the form for some complex number . This is just like on . Moreover, the exponential function is a character of the additive group , just like on . So, in some sense, we can also define . An easy calculation shows that . We will show that there is a similar relation for the functions on :
There are two cases, the first is that . Then we have that . So, the first case is easily done. As for the second case, we suppose that . We can find such that with (if not, then for all with , we have that . This means that can be defined on . in other words, is an extension of some character of , which contradicts the fact that is not any extension). Then note that . Then . Since , we have that this sum is zero, and so . So, the result is proved.
Now we can define the Dirichlet -function for the primitive character , . Using the multiplicity of , we have that . As for , there are two possibilities for . We define that if and if . And we define the complete Dirichlet -function to be . Then we have the corresponding result for this -function:
can be extended to the whole complex plane for any non-trivial character on . And if is a primitive character, then we have the functional equation .
Note that we have used the same letter to refer to both the -function on and those on . When the variables of the function are , we refer to the first kind, and when the variables are , we refer to the second. Not too confusing.
First of all, let’s look at what is(we first consider the case ). where we denote (for the lastidentity we have to pose the condition that ). The form of reminds us of the Poisson summation formula. If there is no term , then we can exactly apply this formula. Recall that there is a formula . In other words, . Thus we have that . If we define , then we got that . So, now we can use the Poisson summation formula to , and we get . So, there is . Note that for any character. Moreover, the whole sum runs through the whole once and only once, so the last term becomes . As a result, we get that . Or, equivalently, . So the next step is to express in a form more symmetric. In the function, we split the integral into two parts, here we want to try something formal. In fact, . After a change of variables , we get that (we have to say that this process is purely formal, it doesn’t consider any convergence. The legal process should still split the integral into two parts, , and then use the following identity to get show the symmetry of ). So we have really finished our proof except the last identity
The proof is a bit tricky. We note that . So, there is .Summing over , we get that (where is the Euler function). Note that, if , then , and if , we have that . So, at last we get that . And this is . Note also that (our first assumption), thus, plugging all this into the above equation, we have that .
As for the case , we can note write directly is a symmetric form as above. But let’s try anyway. We have that . Thus we denote . Using the same technique as above, we have that . So we define (which depends on , of course). And applying the Poisson summation formula, we get that . Thus we get that . So, we have that . This time, we prove the symmetry of the -function rigorously. where we have used several times the following identities proved above and its conjugate .
In the above proofs, we have used substantially the identity
for a primitive character . Note that, we really should understand this identity in this way , which is a perfect analogy of the real number case, .
The fact that can be analytically continued to the whole complex plane for non-trivial characters is just a consequence of the fact that and the Abel’s summation theorem. And we omit the proof here.