Here 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.
W.Balser, B.L.J.Braaksma, J.-P.Ramis and Y.Sibuya, Multisummability of formal power series solutions of linear ordinary differential equations, Asympt. Anal.5 (1991), 27–45.
2.
B.L.J.Braaksma, Multisummability of formal power series solutions of nonlinear meromorphic differential equations, Ann. Inst. Fourier42(3) (1992), 517–540.
3.
A.D.Bruno, Asymptotic behaviour and expansions of solutions of an ordinary differential equation, Russian Math. Surv.59(3) (2004), 429–480.
4.
A.D.Bruno and I.V.Goryuchkina, Asymptotic expansions of the solutions of the sixth Painlevé equation, Trans. Moscow Math. Soc. (2010), 1–104.
5.
J.Cano, On the series defined by differential equations, with an extension of the Puiseux polygon construction to these equations, Analysis13 (1993), 103–119.
6.
R.R.Gontsov and I.V.Goryuchkina, An analytic proof of the Malgrange theorem on the convergence of formal solutions of an ODE, J. Dynam. Control Syst.21(4) (2015), to appear.
7.
A.V.Gridnev, Power expansions of solutions to the modified third Painlevé equation in a neighborhood of zero, J. Math. Sci.145(5) (2007), 5180–5187.
8.
D.Yu.Grigor’ev and M.F.Singer, Solving ordinary differential equations in terms of series with real exponents, Trans. Amer. Math. Soc.327(1) (1991), 329–351.
9.
E.Maillet, Sur les séries divergentes et les équations différentielles, Ann. Sci. Ecole Norm. Sup.3 (1903), 487–518.
10.
B.Malgrange, Sur le théorème de Maillet, Asympt. Anal.2 (1989), 1–4.
J.-P.Ramis and Y.Sibuya, Hukuhara’s domains and fundamental existence and uniqueness theorems for asymptotic solutions of Gevrey type, Asympt. Anal.2 (1989), 39–94.
13.
J.-P.Ramis and Y.Sibuya, A new proof of multisummability of formal solutions of nonlinear meromorphic differential equations, Ann. Inst. Fourier44 (1994), 811–848.
14.
S.Shimomura, Series expansions of Painlevé transcendents in the neighbourhood of a fixed singular point, Funk. Ekvac.25 (1982), 185–197.
15.
Y.Sibuya, Linear Differential Equations in the Complex Domain: Problems of Analytic Continuation, Transl. Math. Monographs, Vol. 82, AMS, 1990.