On the convergence of formal power-log series solutions of an algebraic ODE
arXiv:2111.07159
Abstract
We propose a sufficient condition of the convergence of a power-log series that formally satisfies an algebraic ordinary differential equation (ODE) of arbitrary order. A general form and properties of the functional coefficients of such a series are established.
16 pages