A Equação de Euler e a Análise Assintótica de Gevrey

Abstract

In this work, we introduce the notion of Gevrey asymptotic expansion and we show how the classical concept of a convergent power series can be generalized to include the case in which the radius of convergence is zero. This technique can be useful in situations where it is necessary to work with formal power series, as in the study of Differential Equations. We characterize the set of holomorphic functions which admit Gevrey asymptotic expansion and we define in each Gevrey class a map that associates to function in the class a formal series. We determine under which conditions such a map is surjective and under which it is injective, allowing the extension of the concept of convergence and applications of the theory. Furthermore, we show how this technique can be used to obtain results in Differential Equations. For this, we briefly recall the theory of Differential Equations in one complex variable and we introduce the concept of the Newton Polygon, a tool that allows us to find the Gevrey class of a formal solution. Finally, we find suficient conditions for the sum of a formal solution of a differential equation to be a classical solution.