×

Regular or stochastic dynamics in real analytic families of unimodal maps. (English) Zbl 1050.37018

Arguably, the most remarkable achievement in interval dynamics during the last quarter of 20th century has been the unravelling of the “a.e. point-a.e. parameter” dynamical structure of the quadratic family \(q_\tau(x)=\tau-1-\tau x^2\), \(\tau\in [1/2,2]\). This fruitful trend of work starts with J. Guckenheimer [Commun. Math. Phys. 70, 133–160 (1979; Zbl 0429.58012)] and M. V. Jakobson [Commun. Math. Phys. 81, 39–88 (1981; Zbl 0497.58017)] and culminates with M. Lyubich [Acta Math. 178, 185–297 (1997; Zbl 0908.58053)], J. Graczyk and G. Swiątek [Ann. Math. (2) 146, 1–52 (1997; Zbl 0936.37015)] and M. Lyubich [Ann. Math. (2) 156, 1–78 (2002; Zbl 1160.37356)], and has succeeded in proving that the set of parameters \(\tau\) such that \(q_\tau\) is regular (this means that all periodic orbits of the map are hyperbolic and there is a periodic orbit attracting Lebesgue almost all \(x\in [-1,1]\)) is open and dense in \([1/2,2]\), and the set of parameters \(\tau\) such that \(q_\tau\) is stochastic (which means that the map admits an invariant measure absolutely continuous with respect to the Lebesgue measure) has positive Lebesgue measure and, moreover, full measure in the complementary of regular parameters. Hence, in particular, almost every quadratic map is either regular or stochastic.
In the paper under review, the latter result is extended to many analytic families of analytic unimodal maps (including all nontrivial analytic families of unimodal maps with negative Schwarzian derivative). To this aim the space of analytic maps is foliated by codimension-one analytic submanifolds (so-called “hybrid classes”), each containing one quadratic map \(q_\tau\), which enables the authors to export the regular-stochastic dichotomy of the quadratic family to other analytic families.
In order to state precisely this result, we need a number of definitions.
Let \(\widetilde{\mathcal{U}}^3\) denote the family of \(C^3\)-unimodal maps \(f:[-1,1]\rightarrow [-1,1]\) satisfying \(f(-1)=f(1)=-1\), \(f'(-1)\geq 1\) and \(f''(c)<0\), with \(c\) being the turning point of \(f\). A map \(f\in\widetilde{\mathcal{U}}^3\) is said to be quasi-quadratic if any nearby map \(g\in \widetilde{\mathcal{U}}^3\) is topologically conjugate to some map of the quadratic family. It must be emphasized that the set \(\widetilde{\mathcal{U}}\) of quasi-quadratic maps includes all maps from \(\widetilde{\mathcal{U}}^3\) having negative Schwarzian derivative. If \(a>0\) and \(\Omega_a=\{z\in \mathbb{C}: \text{dist}(z,I)<a\}\) (\(I=\{(x,0):x\in [-1,1]\}\)) then \(\widetilde{\mathcal{U}}_a\) denotes the family of quasi-quadratic real analytic maps which can be analytically and continuously extended as complex maps to, respectively, \(\Omega_a\) and \(\text{Cl}\,\Omega_a\).
We say that two quasi-quadratic maps belong to the same hybrid class if they have the same kneading invariant and the multipliers of corresponding nonrepelling periodic points are the same for both maps (if \(p\) is a periodic point of \(f\) of period \(r\) then its multiplier is \((f^r)'(p)\)). We say that a family of quasi-quadratic maps is nontrivial if it is not contained in a single hybrid class.
Theorem: Let \(\{f_\lambda\}_{\lambda\in \Lambda} \subset \widetilde{\mathcal{U}}_a\) be a nontrivial one-parameter real analytic family of quasiquadratic maps. Then for Lebesgue almost all parameters \(\lambda\), the map \(f_\lambda\) is either regular or stochastic.
This impressive paper has been further generalized by A. Avila and C. G. Moreira [Phase-parameter relation and sharp statistical properties for general families of unimodal maps (preprint)].

MSC:

37E05 Dynamical systems involving maps of the interval
37C20 Generic properties, structural stability of dynamical systems
37C40 Smooth ergodic theory, invariant measures for smooth dynamical systems
37D05 Dynamical systems with hyperbolic orbits and sets
37F45 Holomorphic families of dynamical systems; the Mandelbrot set; bifurcations (MSC2010)
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Ahlfors, L.: Lectures on quasi-conformal maps. Van Nostrand Co 1966 · Zbl 0138.06002
[2] Ahlfors, L., Bers, L.: Riemann mapping theorem for variable metrics. Ann. Math. 72, 385–404 (1960) · Zbl 0104.29902
[3] Avila, A.: Bifurcations of unimodal maps: the topologic and metric picture. IMPA Thesis (2001) (http://www.math.sunysb.edu/rtur/)
[4] Avila, A., Moreira, C.G.: Statistical properties of unimodal maps: the quadratic family. Preprint (http://www.arXiv.org). To appear in Ann. Math. · Zbl 1078.37029
[5] Avila, A., Moreira, C.G.: Statistical properties of unimodal maps: smooth families with negative Schwarzian derivative. Preprint (http://www.arXiv.org). To appear in Astérisque · Zbl 1046.37021
[6] Avila, A., Moreira, C.G.: Statistical properties of unimodal maps: periodic orbits, physical measures and pathological laminations. Preprint (http://www.arXiv.org)
[7] Benedicks, M., Carleson, L.: On iterations of 1-ax 2 on (-1,1). Ann. Math. 122, 1–25 (1985) · Zbl 0597.58016
[8] Bers, L.: The moduli of Kleinian groups. Russ. Math. Surv. 29, 86–102 (1974) · Zbl 0304.30013
[9] Bers, L., Royden, H.L.: Holomorphic families of injections. Acta Math. 157, 259–286 (1986) · Zbl 0619.30027
[10] Branner, B., Hubbard, J.H.: The iteration of cubic polynomials. II: Patterns and parapatterns. Acta Math. 169, 229–325 (1992) · Zbl 0812.30008
[11] Collet, P., Eckmann, J.-P.: Positive Liapunov exponents and absolute continuity for maps of the interval. Ergodic Theory Dyn. Syst. 3, 13–46 (1983) · Zbl 0532.28014
[12] Douady, A.: Prolongement de mouvements holomorphes (d’après Slodkowski et autres). Astérisque 227, 7–20 (1995) · Zbl 0832.30016
[13] Douady, A.: Systèmes dynamiques holomorphes. Bourbaki seminar, Vol. 1982/83, 39–63, Astérisque 105–106 (1983) · Zbl 0532.30019
[14] Douady, A., Hubbard, J.H.: On the dynamics of polynomial-like maps. Ann. Sci. Éc. Norm. Supér., IV. Sér. 18, 287–343 (1985) · Zbl 0587.30028
[15] Douady, A., Hubbard, J.H.: Étude dynamique des polynômes complexes. Parties I et II. Publ. Math. Orsay 84–2 (1984) & 85–4 (1985) · Zbl 0552.30018
[16] Earle, C., McMullen, C.: Quasiconformal isotopies. In: Holomorphic Functions and Moduli I. Springer MSRI publications volume 10, 143–154 (1988)
[17] Fatou, P.: Sur les équations fonctionnelles. Bull. Soc. Math. Fr. 47 (1919) · JFM 47.0921.02
[18] Guckenheimer, J.: Sensitive dependence to initial conditions for one-dimensional maps. Commun. Math. Phys. 70, 133–160 (1979) · Zbl 0429.58012
[19] Graczyk, J., Swiatek, G.: Induced expansion for quadratic polynomials. Ann. Sci. Éc. Norm. Supér., IV. Sér. 29, 399–482 (1996) · Zbl 0867.58048
[20] Graczyk, J., Swiatek, G.: Generic hyperbolicity in the logistic family. Ann. Math. 146, 1–52 (1997) · Zbl 0936.37015
[21] Hayashi, S.: Connecting invariant manifolds and the solution of the C 1 stability and {\(\Omega\)}-stability conjectures for flows. Ann. Math. 145, 81–137 (1997) · Zbl 0871.58067
[22] Hubbard, J.H.: Local connectivity of Julia sets and bifurcation loci: three theorems of J.-C. Yoccoz. In: Topological Methods in Modern Mathematics, A Symposium in Honor of John Milnor’s 60th Birthday, 467–511. Publish or Perish 1993 · Zbl 0797.58049
[23] Jakobson, M.: Absolutely continuous invariant measures for one-parameter families of one-dimensional maps. Commun. Math. Phys. 81, 39–88 (1981) · Zbl 0497.58017
[24] Kozlovski, O.S.: Axiom A maps are dense in the space of unimodal maps in the C k topology. Ann. Math. 157, 1–43 (2003) · Zbl 1215.37022
[25] Kozlovski, O.S.: Getting rid of the negative Schwarzian derivative condition. Ann. Math. 152, 743–762 (2000) · Zbl 0988.37044
[26] Lehto, O., Virtanen K.I.: Quasiconformal mappings in the plane. Springer 1973 · Zbl 0267.30016
[27] Levin, G., van Strien, S.: Local connectivity of Julia sets of real polynomials. Ann. Math. 147, 471–541 (1998) · Zbl 0941.37031
[28] Levin, G., van Strien, S.: Bounds for maps of an interval with one critical point of inflection type II. IHES/M/99/82. Invent. Math. 141, 399–465 (2000) · Zbl 0986.37027
[29] Lyubich, M.: Some typical properties of the dynamics of rational maps. Russ. Math. Surv. 38, 154–155 (1983) · Zbl 0598.58028
[30] Lyubich, M.: On the Lebesgue measure of the Julia set of a quadratic polynomial. Preprint IMS at Stony Brook, # 1991/10
[31] Lyubich, M.: Combinatorics, geometry and attractors of quasi-quadratic maps. Ann. Math. 140, 347–404 (1994). Note on the geometry of generalized parabolic towers. Manuscript 2000 (available at http://www.arXiv.org) · Zbl 0821.58014
[32] Lyubich, M.: Dynamics of quadratic polynomials, I–II. Acta Math. 178, 185–297 (1997) · Zbl 0908.58053
[33] Lyubich, M.: Dynamics of quadratic polynomials, III. Parapuzzle and SBR measures. Astérisque 261, 173–200 (2000) · Zbl 1044.37038
[34] Lyubich, M.: Feigenbaum-Coullet-Tresser Universality and Milnor’s Hairiness Conjecture. Ann. Math. 149, 319–420 (1999) · Zbl 0945.37012
[35] Lyubich, M.: Almost every real quadratic map is either regular or stochastic. Ann. Math. 156, 1–78 (2002) · Zbl 1160.37356
[36] Lyubich, M., Yampolsky, M.: Dynamics of quadratic polynomials: Complex bounds for real maps. Ann. Inst. Fourier 47, 1219–1255 (1997) · Zbl 0881.58053
[37] Mañé, R.: Hyperbolicity, sinks and measures for one-dimensional dynamics. Commun. Math. Phys. 100, 495–524 (1985) · Zbl 0583.58016
[38] Martens, M.: Distortion results and invariant Cantor sets for unimodal maps. Ergodic Theory Dyn. Syst. 14, 331–349 (1994) · Zbl 0809.58026
[39] Martens, M., de Melo, W., van Strien, S.: Julia-Fatou-Sullivan theory for real one-dimensional dynamics. Acta Math. 168, 273–318 (1992) · Zbl 0761.58007
[40] Martens, M., Nowicki, T.: Invariant measures for Lebesgue typical quadratic maps. Astérisque 261, 239–252 (2000) · Zbl 0939.37020
[41] May, R.M.: Simple mathematical models with very complicated dynamics. Nature 261, 459–466 (1976) · Zbl 1369.37088
[42] McMullen, C.: Complex dynamics and renormalization. Ann. Math. Stud. 135 (1994) · Zbl 0807.30013
[43] McMullen, C.: Renormalization and 3-manifolds which fiber over the circle. Ann. Math. Stud. 142 (1996) · Zbl 0860.58002
[44] Misiurewicz, M.: Absolutely continuous measures for certain maps of an interval. Publ. Math., Inst. Hautes Étud. Sci. 53, 17–51 (1981) · Zbl 0477.58020
[45] Mañé, R., Sad, P., Sullivan, D.: On the dynamics of rational maps. Ann. Sci. Éc. Norm. Supér., IV. Sér. 16, 193–217 (1983) · Zbl 0524.58025
[46] de Melo W., van Strien S.: One-dimensional dynamics. Springer 1993 · Zbl 0791.58003
[47] Milnor, J., Thurston, W.: On iterated maps of the interval. Dynamical Systems. Proc. U. Md., 1986–87, ed. J. Alexander. Lect. Notes Math. 1342, 465–563 (1988) · Zbl 0664.58015
[48] Newhouse, S., Palis, J., Takens, F.: Bifurcation and stability of families of diffeomorphisms. Publ. Math., Inst. Hautes Étud. Sci. 57, 5–71 (1983) · Zbl 0518.58031
[49] Nowicki, T.: A positive Liapunov exponent for the critical value of an S-unimodal mapping implies uniform hyperbolicity. Ergodic Theory Dyn. Syst. 8, 425–435 (1988) · Zbl 0638.58021
[50] Nowicki, T., van Strien, S.: Invariant measures exist under a summability condition for unimodal maps. Invent. Math. 105, 123–136 (1991) · Zbl 0736.58030
[51] Palis, J.: A global view of dynamics and a conjecture of the denseness of finitude of attractors. Astérisque 261, 335–347 (2000) · Zbl 1044.37014
[52] Pugh, C.: The closing lemma. Am. J. Math. 89, 956–1009 (1967) · Zbl 0167.21803
[53] Rudin, W.: Real and complex analysis, second edition. McGraw-Hill 1974 · Zbl 0278.26001
[54] Sario, L., Nakai, M.: Classification theory of Riemann surfaces. Springer 1970 · Zbl 0199.40603
[55] Shishikura, M.: Topological, geometric and complex analytic properties of Julia sets. In: Proceedings of the International Congress of Mathematicians (Zürich, 1994), pp. 886–895. Basel: Birkhäuser 1995 · Zbl 0843.30026
[56] Singer, D.: Stable orbites and bifurcations of maps of the interval. SIAM J. Appl. Math. 35, 260–267 (1978) · Zbl 0391.58014
[57] Sullivan, D., Thurston, W.: Extending holomorphic motions. Acta Math. 157, 243–257 (1986) · Zbl 0619.30026
[58] Slodkowski, Z.: Holomorphic motions and polynomial hulls. Proc. Am. Math. Soc. 111, 347–355 (1991) · Zbl 0741.32009
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.