O operador de Ruelle em espaços de estados compactos

Abstract

Recentemente o Teorema de Perron Fröbenius foi provado para potenciais Hölder definidos no espaço simbólico, onde o alfabeto é um espaço métrico compacto qualquer. Nesta tese estendemos este teorema para potenciais definidos no espaço de Walters , em alfabetos similares. No resultado acima seguimos de perto o trabalho original [48], as diferenças principais da demonstração moram em argumentos a respeito do suporte da medida a priori. Descrevemos em detalhes um procedimento abstrato para obter a analiticidade no sentido de Fréchet do operador de Ruelle sob condições bastantes gerais e usamos isso para obter a dependência analítica desse operador em ambos os espaços e. Este resultado é importante pois está intrinsecamente relacionado com a analiticidade da pressão. Para este fim foi necessário estabelecer em uma estrutura de álgebra de Banach, bem como sua invariância pelo operador de Ruelle. Esses resultados são novos tanto no contexto de espaço de estados compactos quanto no contexto de espaços de estados finitos. A regularidade do funcional pressão é de grande interesse pois tem relação indissociável com transição de fase. Neste trabalho estabelecemos a analiticidade do funcional pressão no espaço dos potenciais Hölder. Nesta demonstração é usado de modo fundamental que para potenciais Hölder o operador de Ruelle possui a propriedade do buraco espectral. Um decaimento exponencial de correlações é provado quando o operador de Ruelle tem a propriedade do buraco espectral. Uma nova (e natural) família de potenciais na classe de Walters (em um alfabeto finito derivada do modelo de Ising) não possuindo um decaimento exponencial de correlações é apresentada. A idéia por trás desse resultado é usar o dicionário estabelecido em [9] entre o formalismo termodinâmico e o modelo de Ising para usar fortemente as desigualdades de Griffiths-Kelly- Sherman, já estabelecidas no contexto da mecânica estatística para mostrar um exemplo, também conhecido pela comunidade da mecânica estatística, com decaimento superpolinomial de correlações. Devido à ausência de decaimento de exponencial de correlações temos por conseguinte a ausência do buraco espectral para o operador de Ruelle. A sistemática acima também fornece uma nova abordagem para a obtenção de exemplo de decaimento de correlações, que não pode ser recuperado pelos resultados apresentados em [42] a respeito de decaimentos de correlações subexponenciais nem do trabalho de Gouëzel em [25], que generaliza o anterior.