4
$\begingroup$

Consider an ordinary Dirichlet series which is absolutely converge in some half plane Re s>c.

Question:Suppose it can be extended meromorphically to the whole complex plane with finite many poles.is it of finite order?If not,is it possible to construct a counterexample?

$\endgroup$

1 Answer 1

7
$\begingroup$

Well, a simple counter example is $$A(s)=\sum_{n=1}^\infty a_n n^{-s}= e^{\eta(s)},$$ where $$\eta(s)=\sum_{n=1}^\infty (-1)^{n-1} n^{-s}=(1-2^{1-s})\zeta(s).$$ This Dirichlet series is obviously meromorphic since it is in fact entire and it is also absolutely convergent on some half plane Re$(s)>c$. This entire function is not of finite order by the functional equation of the Riemann zeta-function and Stirling's formula.

Update: An even simpler example along the same lines is $$B(s)=\sum_{k=0}^\infty \frac{2^{-ks}}{k!} =e^{2^{-s}}.$$ This Dirichlet series is an entire function that is absolutely convergent in the full complex plane, so it is absolutely convergent for any half plane Re$(s)>c$. However we have that $B(-x)= e^{2^x}$, and thus it does not fulfill $B(-x)\ll e^{x^c}$ for any $c>0$ and it is not an entire function of finite order. If we would like to have a meromorphic function with some pole that has some abscissa of convergence we can consider $C(s)=\zeta(s)+B(s)$. This function is an ordinary Dirichlet series that is absolutely convergent if and only if Re$(s)>1$, has a pole at Re$(s)=1$ and meromorphic continuation to the entire complex plane, but it does not have finite order.

$\endgroup$
5
  • 2
    $\begingroup$ well an entire function is of finite order if $f(s) \ll e^{|s|^c}$ for some $c>0$. I am not quite sure about the meromorphic analogue, but in case the meromorphic function is entire they should surely coincide. Of course even if $f(s) \ll e^{|s|^c}$ is of finite order the exponential $e^{f(s)}$ of this function should not in general be of finite order (unless $f(s)$ is a polynomial). $\endgroup$ Nov 3, 2011 at 18:41
  • 1
    $\begingroup$ @Paul: He considers $\exp(\eta(s))$, not $\eta(s)$. $\endgroup$
    – GH from MO
    Nov 3, 2011 at 18:42
  • $\begingroup$ @GH Thanks for helping me out! Sorry for the inattention... :) I removed my silly question-comment. $\endgroup$ Nov 3, 2011 at 18:46
  • $\begingroup$ @Paul: I had a similar comment that I deleted! $\endgroup$
    – GH from MO
    Nov 3, 2011 at 19:42
  • $\begingroup$ @Johan Andersson:Thank you so much!It is a clear and useful counterexample. $\endgroup$
    – Y. Zhao
    Nov 4, 2011 at 2:14

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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