Solenoidal attractors with bounded combinatorics are shy

From MaRDI portal
Publication:2287644



Abstract: We show that in a generic finite-dimensional real-analytic family of real-analytic multimodal maps, the subset of parameters on which the corresponding map has a solenoidal attractor with bounded combinatorics is a set with zero Lebesgue measure.


In this paper the author considers problems related to the measure-theoretic critical behavior of families of multimodal maps. A multimodal map \(f\) on an interval \(I\) is a smooth map with a finite number of critical points, each of them a local maximum or local minimum, such that the image of the boundary of \(I\) under \(f\) is contained in the boundary of \(I\). One outstanding question -- partially answered in this paper -- is: how often maps with solenoidal attractors do appear in families of multimodal maps? The author's main result is as follows. For a generic real-analytic finite-dimensional family of real-analytic multimodal maps with quadratic critical points and negative Schwarzian derivative, the set of parameters whose corresponding maps have a solenoidal attractor with bounded combinatorics has Lebesgue measure zero. The author notes that if a map \(f\) has a solenoidal attractor with bounded combinatorics, then one can find an induced map \(F\) of \(f\) that is a composition of unimodal maps, and it is infinitely renormalizable. So the iterations of the normalization operator \(R\) for multimodal maps are well defined for \(F\). Using the universality property described by the author in a previous paper, it can be shown that \(F\) belongs to the stable lamination of the omega limit set \(\Omega\) of \(R\). The author's main technical result relates to \(R\): if the renormalization operator \(R\) acting on real-analytic multimodal maps that are renormalizable with combinatorics bounded by some \(p > 0\), then the omega limit set \(\Omega\) of \(R\) is a hyperbolic set. A note for readers who might wonder about the word ``shy in the paper's title. It appears nowhere else in the paper, but ``shy is defined as follows: in a normed linear space \(V\) a Borel set \(S\) is called shy if there is a compactly supported probability measure \(\mu\) on \(V\) such that \(\mu(S + v)\) = 0 for all \(v\) in \(V\). In Euclidean space shy is equivalent to having Lebesgue measure zero.











This page was built for publication: Solenoidal attractors with bounded combinatorics are shy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2287644)