Thick attractors of step skew products (Q618208): Difference between revisions

From the text: ``Consider a homeomorphism \(F\) of a measure metric space \(X\) into itself. The maximal attractor of \(F\) is given by \(A_{\max}=\bigcap_{n>0} F^n X\). The Milnor attractor \(A_M\) of \(F\) is the minimal closed set that contains \(\omega\)-limit sets for almost all points of \(X\). A diffeomorphism is said to have a thick attractor provided its Milnor attractor has positive but not full Lebesgue measure. Let \(X=\Sigma^2 \times [0,1]\) be the phase space, where \(\Sigma^2\) is the space of all bi-infinite sequences of zeros and ones. Consider a space \(S\) of skew products \[ F: X \to X, \;(w, x) \mapsto (\sigma w, f_{w_0} x), \] where \(\sigma\) is the Bernoulli shift, \(f_0, \;f_1: [0,1] \to [0,1]\) are \(C^2\)-diffeomorphisms with the endpoints fixed; these diffeomorphisms are called fiber maps.'' Using the \(C^1\) norm of the fiber maps one can induce a metric on \(S\) and this allows one to speak of open sets in \(S\). The main result of the paper under review states that there exists an open set in \(S\) such that any diffeomorphism from this set has a thick Milnor attractor. This result follows from a more general result where the author has given sufficient conditions for a skew product \(F\) to have a thick attractor. The approach to prove this theorem ``is motivated by an example of \textit{I. Kan} [Bull. Am. Math. Soc., New Ser. 31, No. 1, 68--74 (1994; Zbl 0853.58077)] which was further developed by \textit{A. Bonifant} and \textit{J. Milnor} [Fields Institute Communications 53, 1--21 (2008; Zbl 1161.37027)], \textit{Yu. S. Ilyashenko} [Funct. Anal. Appl. 42, No. 4, 298--307 (2008); translation from Funkts. Anal. Prilozh. 42, No. 4, 60--71 (2008; Zbl 1157.37007)] and \textit{Yu. S. Ilyashenko}, \textit{V. A. Kleptsyn} and \textit{P. Saltykov} [J. Fixed Point Theory Appl. 3, No. 2, 449--463 (2008; Zbl 1151.37028)].''