An extension of Pólya’s theorem on power series with integer coefficients

Abstract

This was proved first by Polya [4] for the case in which G is simply connected. A general proof was given later by Polya [5, p. 703]. (It is understood that f(z) is single valued in G.) A more precise conclusion is that f(z) can be expressed in the form P(z)/ Q(z), where P(z) and Q(z) are relatively prime polynomials with integer coefficients, and Q(z) has its leading coefficient equal to 1. Thus the poles off(z) can occur only at sets of conjugate algebraic integers lying in E. By a theorem of Fekete [2], there are only a finite number of such algebraic integers when the transfinite diameter of E is less than 1. Polya's theorem is an extension of a theorem of Carlson [1], according to which a functionf(z) of the same form which is regular for lzl > 1 must either be rational or have the unit circle as a natural boundary. (This was stated originally for power series regular inside the unit circle.) In [4], Polya also proved the converse for the case in which G is simply connected. That is, if the transfinite diameter of E is at least 1, then there exist nonrational functions f(z) whose expansions at x have integer coefficients; indeed, there are a nondenumerable infinity of such functions. I have not seen a proof of the converse in general. One will be given in this paper as part of our discussion of the extended Polya theorem. Fekete [2] proved that the transfinite diameter of E is less than 1 if and only if there exists a polynomial