A sufficient condition of the convergence of an exotic formal series (a kind of power series with complex exponents) solution to an ODE of a general form is proposed.
We propose a sufficient condition of the convergence of a Dulac series formally satisfying an algebraic ordinary differential equation (ODE). Such formal solutions of algebraic ODEs appear rather often, in particular, the third, fifth, and sixth Pain
leve equations possess formal Dulac series solutions, whose convergence follows from the proposed sufficient condition.
We propose a sufficient condition of the convergence of a complex power type formal series of the form $varphi=sum_{k=1}^{infty}alpha_k(x^{{rm i}gamma}),x^k$, where $alpha_k$ are functions meromorphic at the origin and $gammain{mathbb R}setminus{0}$,
that satisfies an analytic ordinary differential equation (ODE) of a general type. An example of a such type formal solution of the third Painleve equation is presented and the proposed sufficient condition is applied to check its convergence.
We propose a sufficient condition of the convergence of a generalized power series formally satisfying an algebraic (polynomial) ordinary differential equation. The proof is based on the majorant method.
We propose an analytic proof of the Malgrange-Sibuya theorem concerning a sufficient condition of the convergence of a formal power series satisfying an ordinary differential equation. The proof is based on the majorant method and allows to estimate the radius of convergence of such a series.
Here we present some compliments to theorems of Gerard and Sibuya, on the convergence of multivariate formal power series solutions of nonlinear meromorphic Pfaffian systems. Their the most known results concern completely integrable systems with non
degenerate linear parts, whereas we consider some cases of non-integrability and degeneracy.