A constructive existence proof for first level formal solutions of meromorphic differential equations (Q1070403): Difference between revisions

In earlier papers the author has introduced and studied a generalized type of formal solutions (formal fundamental solutions of first level) for meromorphic differential equations. Compared to the usual kind of formal solutions, firt level formal solutions have the advantage of always being ''summable'' in terms of Laplace integrals or, equivalently, generalized factorial series and in this way generating a family of (proper) solutions of the differential equation with natural asymptotic properties in certain sectors. On the other hand, the existence proof for first level formal solutions made use of the Asymptotic Existence Theorem as well as a theorem on the existence of differential equations with a prescribed Stokes' phenomenon. In the present paper we give a completely different proof for the existence of first level formal fundamental solutions which is much more elementary than the original one, since it only uses some results from the formal theory of meromorphic differential equations and Banach's Fixed Point Theorem. At the same time the proof is completely constructive and may therefore be made a basis for actually calculating such formal solutions, although it is very likely that there may be more effective ways for calculating them than following all the steps of the proof.