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'm trying to understand a proof in Chandrasekharan's Introduction to Analytic Number Theory. Specifically, the proof of the lemma on p.118 before Dirichlet's theorem on primes in arithmetic progressions.

Define

$$ Q(s) = \log P(s) $$

for some particular branch of the logarithm for $\sigma > 1$. If

$$ Q(s) = \sum_{n=1}^{\infty} \frac{a_n}{n^s}, $$

which converges absolutely for $\sigma > 1$ and such that the coefficients $a_n$ are nonnegative, how can I conclude that

$$ P(s) = e^{Q(s)} = 1 + Q(s) + \frac{Q^2(s)}{2!} + \cdots $$

can be written as a Dirichlet series which is convergent for $\sigma > 1$ and whose coefficients are nonnegative?

I know that a product of Dirichlet series with nonnegative coefficients is again a Dirichlet series of nonnegative coefficients which converges on the intersection of the two half-planes of convergence, and hence each of the terms here is a Dirichlet series, but I don't see why an infinite sum of Dirichlet series is necessarily itself a Dirichlet series.

Also, how do I show that, if the Dirichlet series of $Q(s)$ converges, so does the Dirichlet series of $P(s)$, and vice versa?

share|improve this question

1 Answer 1

up vote 2 down vote accepted

The result evidently follows only from absolute convergence of $Q(s)$. As I mentioned in the question, any product of two absolutely convergent Dirichlet series is an absolutely convergent Dirichlet series, so let

$$ \frac{Q^k(s)}{k!} = \sum_{n=1}^{\infty} \frac{a_{k,n}}{n^s}. $$

Then

$$ e^{Q(s)} = \sum_{k=0}^{\infty} \frac{Q^k(s)}{k!} = \sum_{k=0}^{\infty} \sum_{n=1}^{\infty} \frac{a_{k,n}}{n^s}. $$

If we assume $Q(s)$ converges absolutely, then the inner sum converges asbolutely (after which the outer sum clearly does too), so we may swap the order of summation to get

$$ e^{Q(s)} = \sum_{n=1}^{\infty} \sum_{k=0}^{\infty} \frac{a_{k,n}}{n^s} = \sum_{n=1}^{\infty} \frac{b_n}{n^s}, $$

where

$$ b_n = \sum_{k=0}^{\infty} a_{k,n}. $$

Conversely, if $\sum_n \frac{b_n}{n^s}$ converges absolutely, then, since the $a_{k,n}$ are all nonnegative, the double sum $\sum_n \sum_k \frac{a_{k,n}}{n^s}$ converges absolutely, and hence switching the order of summation allows us to conclude that each $\sum_n \frac{a_{k,n}}{n^s}$ converges absolutely. In particular, $Q(s)$ converges absolutely, as desired.

share|improve this answer

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.