1
$\begingroup$

In what sets are these functions analytic? $$\begin{align} 1. \qquad & \int_0^z \exp(\zeta^2)\,d\zeta \\ 2.\qquad & \int_0^\infty t^{z-1}\exp(-t)\, dt\\ 3. \qquad& \sum_{n=1}^ \infty n^{-z} \end{align}$$

For number 2 I think it is analytic at all of the complex numbers except the integers, but that is just random guess. No idea for number 1. Any suggestion would help. Thanks.

  • 2
    What do you mean exactly by $z>1$?2012-12-28
  • 0
    I mean for $z=1$ you will have harmonic series which diverges, but when you have $z>1$, then by p-test, #3 converges.2012-12-28
  • 0
    But when do you have "$z>1$"? What does $z>1$ mean for a complex number $z$? Is $63i$ greater than $1$?2012-12-28
  • 0
    @JonasMeyer, Oops, you are right, so my thinking is still wrong. Thanks for the correction. I may need to throw the stuff about my thinking.2012-12-29
  • 1
    The first one can be related to the [error function](http://en.wikipedia.org/wiki/Error_function), the second one is the [Gamma function $\Gamma(z)$](http://functions.wolfram.com/GammaBetaErf/Gamma/introductions/Gamma/ShowAll.html), and the third one is the [Riemann zeta function $\zeta(z)$](http://en.wikipedia.org/wiki/Riemann_zeta_function).2012-12-29
  • 1
    Use Morera's theorem for the first. Consider the integral of that function over an arbitrary curve, switch the order of integration, and show it vanishes. The others are standard functions whose properties you can look up: the Gamma and Zeta functions respectively.2012-12-29
  • 1
    See [here](http://math.stackexchange.com/questions/203902/how-to-prove-error-function-mboxerf-is-entire-i-e-analytic-everywhere/203920#203920) for proving the first function is entire.2012-12-29

1 Answers 1