MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let F be meromorphic function,with what properties may it expanded as power series with coefficients of integers in such a form:

$$F=\sum_0^{\infty}a_i x^i,a_i\in \mathcal{N} \bigcup 0,\exists M \space a_i \leq M^i$$.

and when the coefficients consist of a sequence of computably enumerable relation.

If the question is ambiguous ,please tell me but please do not downvote it.

When may Function (meromorphic) be expanded as power series with coefficients of integers

share|cite|improve this question
Without specifying what kind of properties you are asking for, this seems too open-ended for me. How about "F has the property that it may be expanded as a power series with integer coefficients"? Perfectly well-defined property. – Yemon Choi Aug 24 '11 at 10:08
I assume you mean on the whole complex plane. The power series coefficients come from C, so there are very few meromorphic functions with integer coefficients. Certainly 1/z^k * f(z) for f(z) = e(z), sin(z), cos(z), but it's hard to say something specific. Can you expound on your question? – Robert K Aug 24 '11 at 10:12
@Robert: A power series with integer coefficients can never converge on the whole complex plane, unless it is a polynomial. Indeed, the Cauchy–Hadamard theorem implies that a series with integer coefficients, infinitely many of which are nonzero, has radius of convergence at most $1$. – Emil Jeřábek Aug 24 '11 at 10:31
A sufficient condition is: Write the meromorphic function as quotient $f/g$ of homolomorphic functions. If the powerseries of $f$ and $g$ (around the origin) have integral coefficients and $g(0) = 1$ holds, than the powerseries of the meromorphic function will also have integral coefficients. – Ralph Aug 24 '11 at 10:52
@Robert: Can you please clarify what $1/z^k*f(z) ...$ means.For instance, $z^{-1}\cdot sin(z)$ doesn't epand with integral coefficients. – Ralph Aug 24 '11 at 11:04
up vote 8 down vote accepted

This was a large research subject in 1930-s. The key authors are G. Polya, Ch. Pisot and Raphael Robinson. The book of Bieberbach, Analytische Fortsetzung (in German, there is a Russian translation) contains a chapter with a survey of these results.

The general spirit of these results is the following: if you have a Taylor series with integer coefficients which has an analytic or meromorphic continuation in sufficiently large region, then the function must be rational, and in certain cases all such functions can be explicitly described. But there are too many results to mention them here.

By the way, the question is equivalent, via Borel-Laplace transform to a question about entire functions which take integer values at positive integers. So "Integer-values entire functions" is just another name of the same topic.

share|cite|improve this answer
@Alexandre Thank you,but I don't know German nor do I know Russian.The results are so interesting. – XL _at_China Aug 6 '12 at 5:24
Pisot's papers are in French and Robinson in English. – Alexandre Eremenko Aug 6 '12 at 8:02
@Alexandre,Thank you ,I highly appreciate your answer – XL _at_China Aug 6 '12 at 15:05

Your Answer


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.