Statistical properties of unimodal maps (Q2388278)

Let \(f\) be a smooth unimodal map, i.e., \(f:I\to I\), where \(I\subset\mathbb R\) is an interval, which has a unique critical point \(c\in\text{int}\, I\) which is a maximum. The paper considers typical (in a measure-theoretical sense) analytic unimodal maps which possess a chaotic attractor, so-called nonregular unimodal maps. By now it is known that a typical nonregular unimodal map \(f\) possesses a unique transitive finite union of intervals, \(A_f\) (nontrivial attractor), and a unique invariant probability measure absolutely continuous with respect to the Lebesgue measure \(\mu_f\) (nontrivial physical measure). In addition, \(A_f\) is the support of \(\mu_f\) and periodic points are dense in \(A_f\). The aim of the paper is to establish much finer properties of \(A_f\). It is shown how topological invariants of \(f\) can be used to determine (and compute) a complete set of smooth invariants of \(A_f\). The paper presents an explicit combinatorial formula for the exponents of periodic orbits. Since the exponents of periodic orbits form a complete set of smooth invariants, the smooth structure is completely determined by purely topological data. In particular, this result implies that the lamination structure of spaces of analytic unimodal maps (obtained by the partition into topological conjugacy classes) is not transversely absolutely continuous. As a step in the proof of the formula, it is shown that the distribution of the critical orbit is described by the physical measure \(\mu_f\) supported in the chaotic attractor \(A_f\). The main paper results are the following three theorems. Theorem 1: Let \(f_{\lambda}\) be a nontrivial analytic family of unimodal maps. Then, for almost every nonregular parameter \(\lambda\), and for every periodic orbit \(p\) in the nontrivial attractor \(A_{f_{\lambda}}\), the exponent of \(p\) is determined by an explicit combinatorial formula involving the kneading sequence of \(f_{\lambda}\) and the itinerary of \(p\). Theorem 2: Let \(f_{\lambda}\) be a nontrivial analytic family of quasiquadratic maps. Then, for almost every nonregular parameter \(\lambda\), the critical point belongs to the basin of \(\mu_{f_{\lambda}}\). Theorem 3: Let \(f_{\lambda}\) be a nontrivial analytic family of unimodal maps. For almost every nonregular parameter \(\lambda\) and any hyperbolic set \(K\subset I\), \(d\mu^K_{f_{\lambda}}\in L^p\) holds for every \(1\leq p< \infty\).