Abstract:
We consider a large class of nonlinear ordinary differential equations of arbitrary order with coefficients in the form of power series that converge in a neighborhood of the origin. There are known power-geometry methods and algorithms based on them for the computation of
power-logarithmic series (Dulac series) that formally satisfy such equations. We prove a sufficient condition for the convergence of such formal solutions.
References
