Estudaremos sistemas dinâmicos complexos da esfera de Riemann, e empregaremos técnicas do Formalismo Termodinâmico incluindo a fórmula de Bowen para provar que a dimensão de Hausdorff \'dim IND. H\' J( \'f IND. lâmbda\' ) do conjunto de Julia J( \'f IND. lâmbda\' ) de uma família holomorfa de funções racionais hiperbólicas f \'lambda\' define uma função real analítica do parâmetro \'lambda\' . Este resultado foi provado por Ruelle [44] em 1981. Daremos uma prova alternativa usando movimentos holomorfos. Trata-se de uma técnica inovadora, originalmente desenvolvida por Mañé, Sad e Sullivan no trabalho [31] sobre estabilidade estrutural de sistemas dinâmicos complexos / We shall study complex dynamical systems in the Riemann sphere and prove that the Hausdorff dimension \'dim IND. H\' J( \'f IND. Lãmbda\' ) of the Julia set J( \'f IND. lâmbda\' ) of an holomorphic family of hyperbolic rational maps \'f IND. lâmbda\' defines a real analytic map of the parameter \'lâmbda\': This result was proved in 1981 by D. Ruelle (see [44]). We give an alternative proof using holomorphic motions (see [31]), which was originally developed to study the structural stability problem of complex dynamical systems. Throughout this work, we shall use several tools of Thermodynamic Formalism, including Bowens formula

Estudaremos sistemas dinâmicos complexos da esfera de Riemann, e empregaremos técnicas do Formalismo Termodinâmico incluindo a fórmula de Bowen para provar que a dimensão de Hausdorff \'dim IND. H\' J( \'f IND. lâmbda\' ) do conjunto de Julia J( \'f IND. lâmbda\' ) de uma família holomorfa de funções racionais hiperbólicas f \'lambda\' define uma função real analítica do parâmetro \'lambda\' . Este resultado foi provado por Ruelle [44] em 1981. Daremos uma prova alternativa usando movimentos holomorfos. Trata-se de uma técnica inovadora, originalmente desenvolvida por Mañé, Sad e Sullivan no trabalho [31] sobre estabilidade estrutural de sistemas dinâmicos complexos / We shall study complex dynamical systems in the Riemann sphere and prove that the Hausdorff dimension \'dim IND. H\' J( \'f IND. Lãmbda\' ) of the Julia set J( \'f IND. lâmbda\' ) of an holomorphic family of hyperbolic rational maps \'f IND. lâmbda\' defines a real analytic map of the parameter \'lâmbda\': This result was proved in 1981 by D. Ruelle (see [44]). We give an alternative proof using holomorphic motions (see [31]), which was originally developed to study the structural stability problem of complex dynamical systems. Throughout this work, we shall use several tools of Thermodynamic Formalism, including Bowens formula

Nous associons à tout polydisque compact B [appartenant à] Rn une algèbre CB de fonctions réelles de classe C∞ définies au voisinage de B. La collection des algèbres CB est supposée stable par certaines opérations, dont la composition et la dérivation partielle. Nous supposons de plus que, lorsque B est centrée à l’origine, l’algèbre des germes à l’origine des éléments de CB est quasianalytique (c’est à dire qu’elle ne contient pas de germe plat). A l’aide de ces fonctions, nous définissons des ensembles C-semi- analytiques et C-sous-analytiques comme on le fait traditionnellement en géométrie analytique réelle. Notre résultat principal est un théorème du type Tarski-Seidenberg pour ces ensembles. Son énoncé dit essentiellement que les ensembles sous-C-analytiques peuvent être définis par des égalités et des inégalités satisfaites par des termes obtenus en composant des fonctionsdes algèbres C_B , les fonctions x → x1/n , et la fonction x → 1/x. Sa preuve se fait en exprimant les solutions de sytèmes d’équations quasianalytiques au moyen d’un théorème de préparation issu de la théorie des modèles / We associate to every compact polydisk B [belonging to ] Rn an algebra CB of real functions defined in a neighborhood of B. The collection of these algebras is supposed to be closed under several operations, such as composition and partial derivatives. Moreover, if the center of B is the origin, we assume that the algebra of germs at the origin of elements of CB is quasianalytic (it does not contain any flat germ). We define with these functions the collection of C-semianalytic and C-subanalytic sets according to the classical process in real analytic geometry. Our main result is an analogue of Tarski-Seidenberg's usual result for these sets. It says that the sub-C-subanalytic sets may be described by means of equalities and inequalities by terms obtained by composition of elements of the algebras CB, the functions x->^{1/n} and the function x->1/x. It is proved via a model theoretic preparation theorem

O objetivo principal deste trabalho é o estudo da regularidade anallítica global de certos operadores diferenciais definidos no toro. Uma ferramenta fundamental utilizada neste estudo são as séries parciais de Fourier, que nos permitem caracterizar tanto as distribuições periódicas quanto as funções anallíticas reais periódicas através do comportamento assintótico de seus coeficientes parciais de Fourier. Neste sentido, apresentamos também um estudo detalhado das relações destes objetos com seus coeficientes parciais de Fourier / The main goal of this work is to study global analytic regularity properties of certain differential operators acting in the torus. A main tool that will be used to achieve our goals are the partial Fourier series, which allow us to characterize objects such as periodic distributions or periodic real analytic functions in terms of the growth of their partial Fourier coefficients

O objetivo principal deste trabalho é o estudo da regularidade anallítica global de certos operadores diferenciais definidos no toro. Uma ferramenta fundamental utilizada neste estudo são as séries parciais de Fourier, que nos permitem caracterizar tanto as distribuições periódicas quanto as funções anallíticas reais periódicas através do comportamento assintótico de seus coeficientes parciais de Fourier. Neste sentido, apresentamos também um estudo detalhado das relações destes objetos com seus coeficientes parciais de Fourier / The main goal of this work is to study global analytic regularity properties of certain differential operators acting in the torus. A main tool that will be used to achieve our goals are the partial Fourier series, which allow us to characterize objects such as periodic distributions or periodic real analytic functions in terms of the growth of their partial Fourier coefficients