Sem dúvida a questão central em Dinâmica Holomorfa é aquela sobre a densidade de hiperbolicidade. Temos a seguinte conjectura devida a Pierre Fatou: No espaço das aplicações racionais de grau d o conjunto das aplicações racionais hiperbólicas neste espaço formam um subconjunto aberto e denso. Nem mesmo para a família dos polinômios quadráticos esta questão foi respondida. Para a família quadrática este problema é equivalente a mostrar a não existência de polinômios quadráticos que suportam sobre o seu conjunto de Julia um campo de linhas invariante. Devido a resultados de Jean-Christophe Yoccoz sabemos da não existência de campos de linhas invariante para polinômios quadráticos no máximo finitamente renormalizáveis. Nesta dissertação é mostrado que um polinômio quadrático infinitamente renormalizável satisfazendo certa hipótese geométrica, denominada robustez, não suporta sobre o seu Julia um campo de linhas invariante. Esta prova foi obtida por Curtis T. McMullen e publicada em [McM1]. Os avanços na teoria de renormalização e quanto ao problema da densidade de hiperbolicidade e problemas relacionados tem contado com a colaboração de inúmeros renomados matemáticos como Mikhail M. Lyubich, Artur Ávila, Mitsuhiro Shishikura, Curtis T. McMullen, Jean-Christophe Yoccoz, Sebastien van Strien, Hiroyuki Inou, dentre outros / Undoubtedly one of the central open questions in Holomorphic Dynamics is about proving the density of hyperbolicity. That question was first raised by Pierre Fatou: In the space of rational functions of degree d the set of hyperbolic rational functions form a open and dense subset. Not even for the family of quadratic polynomials this question been answered. For this particular quadratic family the problem is equivalent to showing the non-existence of quadratic polynomial with a Julia set supporting an invariant line field. Due to results by Jean-Christophe Yoccoz we already know the non-existence of invariant line fields for the quadratic polynomials that are at most finitely renormalizable. In this dissertation it is shown that an infinitely renormalizable quadratic polynomial satisfying a certain geometric hypotesis, called robustness, does not have an invariant line field supported on its Julia set. This proof was obtained by Curtis T. McMullen and published in [McM1]. Many advances on the theory of renormalization and on the problem of density of hyperbolicity have been already accomplished through the collective work of several renowned mathematicians such as Mikhail M. Lyubich, Artur Ávila, Mitsuhiro Shishikura, Curtis T. McMullen, Jean-Christophe Yoccoz, Sebastien van Strien, Hiroyuki Inou among others.

Sem dúvida a questão central em Dinâmica Holomorfa é aquela sobre a densidade de hiperbolicidade. Temos a seguinte conjectura devida a Pierre Fatou: No espaço das aplicações racionais de grau d o conjunto das aplicações racionais hiperbólicas neste espaço formam um subconjunto aberto e denso. Nem mesmo para a família dos polinômios quadráticos esta questão foi respondida. Para a família quadrática este problema é equivalente a mostrar a não existência de polinômios quadráticos que suportam sobre o seu conjunto de Julia um campo de linhas invariante. Devido a resultados de Jean-Christophe Yoccoz sabemos da não existência de campos de linhas invariante para polinômios quadráticos no máximo finitamente renormalizáveis. Nesta dissertação é mostrado que um polinômio quadrático infinitamente renormalizável satisfazendo certa hipótese geométrica, denominada robustez, não suporta sobre o seu Julia um campo de linhas invariante. Esta prova foi obtida por Curtis T. McMullen e publicada em [McM1]. Os avanços na teoria de renormalização e quanto ao problema da densidade de hiperbolicidade e problemas relacionados tem contado com a colaboração de inúmeros renomados matemáticos como Mikhail M. Lyubich, Artur Ávila, Mitsuhiro Shishikura, Curtis T. McMullen, Jean-Christophe Yoccoz, Sebastien van Strien, Hiroyuki Inou, dentre outros / Undoubtedly one of the central open questions in Holomorphic Dynamics is about proving the density of hyperbolicity. That question was first raised by Pierre Fatou: In the space of rational functions of degree d the set of hyperbolic rational functions form a open and dense subset. Not even for the family of quadratic polynomials this question been answered. For this particular quadratic family the problem is equivalent to showing the non-existence of quadratic polynomial with a Julia set supporting an invariant line field. Due to results by Jean-Christophe Yoccoz we already know the non-existence of invariant line fields for the quadratic polynomials that are at most finitely renormalizable. In this dissertation it is shown that an infinitely renormalizable quadratic polynomial satisfying a certain geometric hypotesis, called robustness, does not have an invariant line field supported on its Julia set. This proof was obtained by Curtis T. McMullen and published in [McM1]. Many advances on the theory of renormalization and on the problem of density of hyperbolicity have been already accomplished through the collective work of several renowned mathematicians such as Mikhail M. Lyubich, Artur Ávila, Mitsuhiro Shishikura, Curtis T. McMullen, Jean-Christophe Yoccoz, Sebastien van Strien, Hiroyuki Inou among others.

Made available in DSpace on 2014-06-11T19:26:56Z (GMT). No. of bitstreams: 0 Previous issue date: 2001-12-11Bitstream added on 2014-06-13T20:47:37Z : No. of bitstreams: 1 pereira_wf_me_sjrp.pdf: 614166 bytes, checksum: 6df9d771c65c6fa8d098e4e0aba88fb5 (MD5) / Neste trabalho estudamos os sistemas dinâmicos caóticos através da definição apresentada por Devaney, composta basicamente de três condições. Investigamos todas as implicações possíveis entre essas condições. Por fim, analisamos o estudo apresentando uma definição mais sucinta e provamos a sua equivalência com a apresentada por Devaney. / In this work we study the chaotic dynamic systems through the definition presented by Devaney, basically composed of three conditions. We investigate all the possible implications among these conditions. Finally, we finish the study presenting briefer definition and prove its equivalence to the one presented by Devaney.

Orientador: Adalberto Spezamiglio / Banca: Heloísa Helena Marino Silva / Banca: Luiz Augusto da Costa Ladeira / Resumo: Neste trabalho estudamos os sistemas dinâmicos caóticos através da definição apresentada por Devaney, composta basicamente de três condições. Investigamos todas as implicações possíveis entre essas condições. Por fim, analisamos o estudo apresentando uma definição mais sucinta e provamos a sua equivalência com a apresentada por Devaney. / Abstract: In this work we study the chaotic dynamic systems through the definition presented by Devaney, basically composed of three conditions. We investigate all the possible implications among these conditions. Finally, we finish the study presenting briefer definition and prove its equivalence to the one presented by Devaney. / Mestre

[pt] O teorema de Benedicks e Carleson afirma que para a família quadrática existe um conjunto de parâmetros, com medida positiva, para os quais o expoente de Lyapunov é positivo no ponto crítico. Nesta dissertação apresentamos uma demonstração rigorosa e detalhada desse célebre resultado. Uma parte importante da demonstração é o estudo do comportamento quase periódico de um conjunto de órbitas. Além disso, um argumento de grandes desvios é utilizado para mostrar que os parâmetros que não satisfazem a propriedade desejada formam um conjunto pequeno. Tais técnicas apresentam um interesse intrínseco, já que têm se mostrado muito proveitosas para o estudo de outros problemas em sistemas dinâmicos. Combinando o teorema de Benedicks e Carleson ao teorema de Singer, conclui-se que para um conjunto de parâmetros com medida positiva, a função quadrática correspondente não admite atratores periódicos, indicando um comportamento caótico. Neste trabalho, também são estudados critérios para a positividade do expoente de Lyapunov de cociclos quase periódicos de Schrodinger, como o teorema de Herman. O estudo de cociclos de Schrodinger representa um importante tópico na área de física matemática. Mais ainda, algumas das generalizações de tais critérios utilizam as técnicas de Benedicks-Carleson. / [en] The Benedicks and Carleson theorem states that for the quadratic family there exists a set of parameters, with positive measure, for which the Lyapunov exponent is positive at the critical point. In this dissertation we present a rigorous and detailed proof of this famous result. An important part of the proof is the study of the quasi periodic behavior of a set of orbits. In addition, a large deviation argument is used to show that parameters which do not satisfy the desired property form a small set. Such techniques have an intrinsic interest, as they have proven fruitful in the study of other problems in dynamical systems. Combining Benedicks-Carlesons theorem with Singers theorem, we conclude that for a set of parameters with positive measure, the corresponding quadratic function does not admit periodic attractors, indicating its chaotic behavior. In this work we also study criteria for the positivity of the Lyapunov exponent of quasi-periodic Schrodinger cocycles, such as Hermans theorem. The study of the Schrodinger cocycles represents an important topic in mathematical physics. Moreover, some of the generalizations of such criteria use the techniques of Benedicks-Carleson.