In analytic number theory, they denote a complex variable by . Its an unfortunate choice of notation but has become too banal to be able to change it. In this post, we shall study the important notion of a Dirichlet series and its convergence in the complex plane. One important tool in analytic number theory is that by defining various meromorphic functions, we look at the residue at their poles. This residue gives a lot of number-theoretic information. We define the Dirichlet series to be of the form

The `prime’ example of a Dirichlet series is the famous Riemann -function defined by

Finding its zeros (roots) is a central open problem in number theory, called the Riemann Hypothesis and may be one of the toughest ways to be a millionaire!

There are other generalizations like Dedekind’s -function given by

where the sum is taken over all proper ideals of the ring of integers of the number field and denotes the norm of the ideal. There are also the Dirichlet -series and Hecke -series which further generalize this but we won’t define them now. We shall see the convergence of all these in the complex plane follow by using a lemma whose proof uses only basic complex analysis. Interested readers can look up for a proof in Janusz’s Algebraic Number Fields, Ch. IV Prop. 2.1.

**Lemma 1** Let be the Dirichlet series as defined above and let . Suppose there exist positive constants and such that for all . Then the series is uniformly convergent in with any positive , where

In particular, is analytic in the half plane .

We use this lemma to prove interesting stuff about poles at the Riemann- function. The proof involves a smart trick.

**Proposition 2**

- is analytic for .
- extends to a meromorphic function for .
- has only one pole in ; its located at and is a simple pole.

*Proof:*

1. This follows from the lemma since .

2. Here is a cool trick: define

and observe that

so that

Since for , it follows by the lemma that is analytic on . Since the other fraction in equation (1)above is meromorphic, it follows that too is meromorphic. This settles (2).

3. By (1), the poles of must be poles of the function , which are precisely the points .

Now similar to , define

Conclude that

so the possible poles of are . Since the only common pole of and is , it must be the only pole of ! Further, the order of the pole of at must equal the order of which is 1. The pole is hence, simple.

As I said earlier, the residue at this pole for various Dirichlet series gives number-theoretic information but I will discuss that after learning further.

## 1 comment

Comments feed for this article

February 6, 2012 at 14:34

Fourteenth Linkfest[…] Abhishek Parab: The Riemann zeta function […]