The dynamics and geometry of the Fatou functions

Previous Article
One dimensional Dirac equation with quadratic nonlinearities
DCDS Home
This Issue
Next Article
Structure of a class of traveling waves in delayed cellular neural networks

February 2005, 13(2): 291-338. doi: 10.3934/dcds.2005.13.291

The dynamics and geometry of the Fatou functions

Janina Kotus ^1, and Mariusz Urbański ^2,

1.	Faculty of Mathematics & Information Sciences, Warsaw University of Technology, Plac Politechnki 1, Warsaw 00-661, Poland
2.	Department of Mathematics, University of North Texas, P.O. Box 311430, Denton, TX 76203-1430

Received May 2004 Revised March 2005 Published April 2005

Abstract
Related Papers

We deal with the Fatou functions $f_\lambda(z)=z+e^{-z}+\lambda$, Re$\lambda\ge 1$. We consider the set $J_r(f_\lambda)$ consisting of those points of the Julia set of $f_\lambda$ whose real parts do not escape to infinity under positive iterates of $f_\lambda$. Our ultimate result is that the function $\lambda\mapsto$HD$(J_r(f_\lambda))$ is real-analytic. In order to prove it we develop the thermodynamic formalism of potentials of the form $-t$log$|F_\lambda'|$, where $F_\lambda$ is the projection of $f_\lambda$ to the infinite cylinder. It includes appropriately defined topological pressure, Perron-Frobenius operators, geometric and invariant generalized conformal measures (Gibbs states). We show that our Perron-Frobenius operators are quasicompact, that they embed into a family of operators depending holomorphically on an appropriate parameter and we obtain several other properties of these operators. We prove an appropriate version of Bowen's formula that the Hausdorff dimension of the set $J_r(f_\lambda)$ is equal to the unique zero of the pressure function. Since the formula for the topological pressure is independent of the set $J_r(f_\lambda)$, Bowen's formula also indicates that $J_r(f_\lambda)$ is the right set to deal with. What concerns geometry of the set $J_r(f_\lambda)$ we also prove that the HD$(J_r(f_\lambda))$-dimensional Hausdorff measure of the set $J_r(F_\lambda)$ is positive and finite whereas its HD$(J_r(f_\lambda))$-dimensional packing measure is locally infinite. This last property allows us to conclude that HD$(J_r(f_\lambda))<2$. We also study in detail the properties of quasiconformal conjugations between the maps $f_\lambda$. As a byproduct of our main course of reasoning we prove stochastic properties of the dynamical system generated by $F_\lambda$ and the invariant Gibbs states $\mu_t$ such as the Central Limit Theorem and the exponential decay of correlations.

Keywords: Fatou functions, Julia set, conformal measures, Hausdorff and packing measures, Perron-Frobenius operator, topological pressure, real analyticity of Hausdorff dimension., Hausdorff dimension.

Mathematics Subject Classification: Primary: 37F35; Secondary: 37F10, 30D0.

Citation: Janina Kotus, Mariusz Urbański. The dynamics and geometry of the Fatou functions. Discrete & Continuous Dynamical Systems - A, 2005, 13 (2) : 291-338. doi: 10.3934/dcds.2005.13.291

[1]	Jon Chaika. Hausdorff dimension for ergodic measures of interval exchange transformations. Journal of Modern Dynamics, 2008, 2 (3) : 457-464. doi: 10.3934/jmd.2008.2.457
[2]	Thomas Jordan, Mark Pollicott. The Hausdorff dimension of measures for iterated function systems which contract on average. Discrete & Continuous Dynamical Systems - A, 2008, 22 (1&2) : 235-246. doi: 10.3934/dcds.2008.22.235
[3]	Krzysztof Barański, Michał Wardal. On the Hausdorff dimension of the Sierpiński Julia sets. Discrete & Continuous Dynamical Systems - A, 2015, 35 (8) : 3293-3313. doi: 10.3934/dcds.2015.35.3293
[4]	Sabyasachi Mukherjee. Parabolic arcs of the multicorns: Real-analyticity of Hausdorff dimension, and singularities of $\mathrm{Per}_n(1)$ curves. Discrete & Continuous Dynamical Systems - A, 2017, 37 (5) : 2565-2588. doi: 10.3934/dcds.2017110
[5]	Paul Wright. Differentiability of Hausdorff dimension of the non-wandering set in a planar open billiard. Discrete & Continuous Dynamical Systems - A, 2016, 36 (7) : 3993-4014. doi: 10.3934/dcds.2016.36.3993
[6]	Hiroki Sumi, Mariusz Urbański. Bowen parameter and Hausdorff dimension for expanding rational semigroups. Discrete & Continuous Dynamical Systems - A, 2012, 32 (7) : 2591-2606. doi: 10.3934/dcds.2012.32.2591
[7]	Shmuel Friedland, Gunter Ochs. Hausdorff dimension, strong hyperbolicity and complex dynamics. Discrete & Continuous Dynamical Systems - A, 1998, 4 (3) : 405-430. doi: 10.3934/dcds.1998.4.405
[8]	Sara Munday. On Hausdorff dimension and cusp excursions for Fuchsian groups. Discrete & Continuous Dynamical Systems - A, 2012, 32 (7) : 2503-2520. doi: 10.3934/dcds.2012.32.2503
[9]	Luis Barreira and Jorg Schmeling. Invariant sets with zero measure and full Hausdorff dimension. Electronic Research Announcements, 1997, 3: 114-118.
[10]	Stefan Klus, Péter Koltai, Christof Schütte. On the numerical approximation of the Perron-Frobenius and Koopman operator. Journal of Computational Dynamics, 2016, 3 (1) : 51-79. doi: 10.3934/jcd.2016003
[11]	Manuel Fernández-Martínez, Miguel Ángel López Guerrero. Generating pre-fractals to approach real IFS-attractors with a fixed Hausdorff dimension. Discrete & Continuous Dynamical Systems - S, 2015, 8 (6) : 1129-1137. doi: 10.3934/dcdss.2015.8.1129
[12]	Yan Huang. On Hausdorff dimension of the set of non-ergodic directions of two-genus double cover of tori. Discrete & Continuous Dynamical Systems - A, 2018, 38 (5) : 2395-2409. doi: 10.3934/dcds.2018099
[13]	Lulu Fang, Min Wu. Hausdorff dimension of certain sets arising in Engel continued fractions. Discrete & Continuous Dynamical Systems - A, 2018, 38 (5) : 2375-2393. doi: 10.3934/dcds.2018098
[14]	Vanderlei Horita, Marcelo Viana. Hausdorff dimension for non-hyperbolic repellers II: DA diffeomorphisms. Discrete & Continuous Dynamical Systems - A, 2005, 13 (5) : 1125-1152. doi: 10.3934/dcds.2005.13.1125
[15]	Krzysztof Barański. Hausdorff dimension of self-affine limit sets with an invariant direction. Discrete & Continuous Dynamical Systems - A, 2008, 21 (4) : 1015-1023. doi: 10.3934/dcds.2008.21.1015
[16]	Doug Hensley. Continued fractions, Cantor sets, Hausdorff dimension, and transfer operators and their analytic extension. Discrete & Continuous Dynamical Systems - A, 2012, 32 (7) : 2417-2436. doi: 10.3934/dcds.2012.32.2417
[17]	Carlos Matheus, Jacob Palis. An estimate on the Hausdorff dimension of stable sets of non-uniformly hyperbolic horseshoes. Discrete & Continuous Dynamical Systems - A, 2018, 38 (2) : 431-448. doi: 10.3934/dcds.2018020
[18]	Cristina Lizana, Leonardo Mora. Lower bounds for the Hausdorff dimension of the geometric Lorenz attractor: The homoclinic case. Discrete & Continuous Dynamical Systems - A, 2008, 22 (3) : 699-709. doi: 10.3934/dcds.2008.22.699
[19]	Aline Cerqueira, Carlos Matheus, Carlos Gustavo Moreira. Continuity of Hausdorff dimension across generic dynamical Lagrange and Markov spectra. Journal of Modern Dynamics, 2018, 12: 151-174. doi: 10.3934/jmd.2018006
[20]	Tomasz Szarek, Mariusz Urbański, Anna Zdunik. Continuity of Hausdorff measure for conformal dynamical systems. Discrete & Continuous Dynamical Systems - A, 2013, 33 (10) : 4647-4692. doi: 10.3934/dcds.2013.33.4647

2018 Impact Factor: 1.143

American Institute of Mathematical Sciences