[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.

[pt] Os expoentes de Lyapunov são uma ferramenta bastante utilizada quando busca-se entender o comportamento de sistemas dinâmicos, em particular de cociclos lineares. De fato, concentramo-nos no expoente maximal, pois este determina o comportamento geral do sistema, de modo que sua positividade pode ser um indicativo de que estamos lidando com um sistema caótico. Nesse sentido estudamos um teorema provado por Michael Herman, que fornece uma cota inferior para o expoente de Lyapunov maximal de uma classe de cociclos lineares definidos por rotações no círculo. A prova deste resultado utiliza um processo de complexificação do cociclo e um argumento de subharmonicidade. Surpreendentemente, essa cota inferior é na verdade uma identidade, o que foi provado posteriormente por Avila e Bochi. Como será mostrado nesta dissertação, o argumento para obter a identidade depende crucialmente da harmonicidade, e não da mera subharmonicidade de certas funções associadas às iterações do cociclo. / [en] Lyapunov exponents are a widely used tool when trying to understand the behavior of dynamical systems in general, and in particular that of linear cocycles. We focus on the maximal exponent, as it determines the general behavior of the system, in that its positivity can be an indication that we are dealing with a chaotic system. In this sense, we study a theorem obtained by Michael Herman, providing a lower bound on the maximal Lyapunov exponent of a class of linear cocycles defined by circle rotations. The proof of this result employs the complexification of the cocycle and an argument based on subharmonicity. Surprisingly, this lower bound is in fact an identity, which was proven later by Avila and Bochi. As it will be shown in this dissertation, the argument for obtaining this identity depends crucially on the harmonicity, as opposed to the mere subharmonicity of certain functions associated with the iterates of the cocycle.