Medidas de Gibbs e o Teorema de Aizenman-Higuchi

Abstract

Na primeira parte deste trabalho, apresentamos a teoria geral das medidas de Gibbs. A abordagem é baseada nas equações DLR e no formalismo termodinâmico. Em seguida, estudamos o modelo de Ising ferromagnético bidimensional. Mostramos que este modelo possui a propriedade forte de Markov e também algumas desigualdades de correlação, por exemplo a desigualdade de FKG. Por último provamos o Teorema de Aizenman-Higuchi o principal resultado desta dissertação. Este teorema sobre decomposição extremal foi provado independentemente, no inícios dos anos oitenta, por Michael Aizenman e Atsushi Higuchi, ambos baseados nos trabalhos de Lucio Russo. A prova dada aqui, devido a Aizenman, se baseia na investigação das simetrias dos espaços de configurações duplas e na aplicação sistemática da desigualdade de FKG e das equações DLR. _______________________________________________________________________________________ ABSTRACT

In the first part of this work, we present the general Gibbs measure theory. The approach is based on the DLR equations and the Thermodynamical Formalism. Next we study the ferromagnetic Ising model on the square lattice. We prove that this model satisfy the strong Markov property and also prove some correlation inequalities, as for example FKG. In the end we prove the Aizenman-Higuchi's theorem which is the main result of this master thesis. This theorem is about extremal decomposition and it was proved independently by Michael Aizenman and Atsushi Higuchi, both based on the work of Lucio Russo. The proof given here is due to Aizenman and is made by the investigation of the double configuration space symetries and systematic application of the FKG inequality and the DLR equations.