Neste trabalho, introduzimos a noção de desenvolvimento assintótico em classes de Gevrey e mostramos como o conceito clássico de convergência de séries de potências pode ser generalizado para englobar o caso em que o raio de convergência é nulo. Essa técnica pode ser útil em situações em que é necessário trabalhar com séries formais, como no estudo de Equações Diferenciais. Caracterizamos o conjunto das funções holomorfas que admitem desenvolvimento assintótico e, em cada classe de Gevrey, definimos uma aplicação que associa uma função a uma série formal. Determinamos sob quais condições tal aplicação é sobrejetora e sob quais ela é injetora, possibilitando a ampliação do conceito de convergência e as aplicações da teoria. Além disso, mostramos como essa técnica pode ser usada para obter resultados em equações diferenciais. Para isso, fazemos uma breve introdução de Equações Diferenciais com uma variável complexa e introduzimos o conceito de Polígono de Newton, ferramenta que permite obter a classe de Gevrey de uma solução formal. Finalmente, encontramos condições para que a soma de uma solução formal de uma equação diferencial seja uma solução clássica. / 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.
Identifer | oai:union.ndltd.org:usp.br/oai:teses.usp.br:tde-07022014-205830 |
Date | 04 October 2013 |
Creators | Jahnke, Max Reinhold |
Contributors | Cordaro, Paulo Domingos |
Publisher | Biblioteca Digitais de Teses e Dissertações da USP |
Source Sets | Universidade de São Paulo |
Language | Portuguese |
Detected Language | Portuguese |
Type | Dissertação de Mestrado |
Format | application/pdf |
Rights | Liberar o conteúdo para acesso público. |
Page generated in 0.0013 seconds