An analytic proof of the Malgrange theorem on the convergence of formal solutions of an ODE (Q5963669)

Consider a differential equation \(F(z,u,u',\dots ,u^{(n)})=0\), where \(F\) is a holomorphic function. A theorem of Malgrange gives sufficient conditions for the convergence of the formal power series solutions. It speaks also about the Gevrey type of the solutions. The authors propose an analytic proof of the theorem based on majorants which allows to estimate the radius of convergence of such a series.