In Chapter v of his Les Méthodes Nouvelles de la Mécanique Céleste Poincaré proves a theorem which he calls The non-existence of Uniform Integrals. This theorem is as follows:
Let
be a system of equations in which the characteristic function F is expanded in a series
convergent for sufficiently small values of | μ |, for all real values of y1, … yn, and for values of x1, … xn within certain finite real intervals; while F0, F1; … are analytic functions of x1, … xn, y1, … yn, of which F0 is independent of y1, … yn and Fl, F2, … are periodic with respect to these variables with period 2π.