0
$\begingroup$

Show that the series defines and entire function, $$\sum_{n=1}^\infty {{z(z+1)\cdots (z+n-1)}\over n^n}.$$

I that that an entire function is one that is analytic at every point in the plane. This series looks like it is an infinite sum of polynomials where each polynomial is entire. I'm not really sure how to expand this because of the numerator or how to simplify it so that I can see how it is an entire function. Any solutions or hints are greatly appreciated.

$\endgroup$
2
$\begingroup$

Remember the following criterion

If $f_n$ is a sequence of entire functions such that $\sum_{n=1}^{+\infty} f_n$ is uniformly convergent on each compact, then $\sum_{n=1}^{+\infty} f_n$ is entire.

So, the only think you have to do is to prove the uniform-convergence of your series. For example you can prove that the series is Cauchy uniform on each disk $D(0,r)$ (It is clear that every compact is included in such a disk). We have $$\sup_{|z|<r}\left|\sum_{n=p}^q {{z(z+1)\cdots (z+n-1)}\over n^n}\right| \leq \sum_{n=p}^q{{r(r+1)\cdots (r+n-1)}\over n^n} \to 0$$ if $p,q \to +\infty,$ since $$\sum_{n=1}^{+\infty}{{r(r+1)\cdots (r+n-1)}\over n^n}$$ is absolutely convergent by the quotient criterion.

$\endgroup$
  • $\begingroup$ Thank you! I haven't seen this criterion before. Is it in any standard complex textbooks? Is it common? $\endgroup$ – Happy Apr 24 '16 at 0:01
  • $\begingroup$ Yes, it is normaly one of the first criterion we see in complex analysis. It is often called the Weierstrass theorem. See here for example : encyclopediaofmath.org/index.php/… $\endgroup$ – C. Dubussy Apr 24 '16 at 0:06

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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