Accelero-summation of the formal solutions of nonlinear difference equations
G.K. Immink · Annales de l’institut Fourier · 2011
In 1996, Braaksma and Faber established the multi-summability, on suitable multi-intervals, of formal power series solutions of locally analytic, nonlinear difference equations, in the absence of “level 1 + ”. Combining their approach, which is based on the study of corresponding convolution equations, with recent results on the existence of flat (quasi-function) solutions in a particular type of domains, we prove that, under very general conditions, the formal solution is accelero-summable. Its sum is an analytic solution of the equation, represented asymptotically by the formal solution in a certain unbounded domain.