From formal to actual Puiseux series solutions of algebraic differential equations of first order

Abstract

The existence and uniqueness of formal Puiseux series solutions of non-autonomous algebraic differential equations of the first order at a nonsingular point of the equation is proven. The convergence of those Puiseux series is established. Several new examples are provided. Relationships to the celebrated Painleve theorem and lesser-known Petrovic's results are discussed in detail.