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 Petrovics results are discussed in detail.
Download