Local critical perturbations of unimodal maps (Q1028575)

Let \({\mathcal {V}_r}\) denote the space of unimodal \(C^{r}\)-maps of a compact interval \(K\) into itself. If \(\varphi:K \rightarrow \mathbb {R}\) is a \(C^{r}\)-map, let \(\| \varphi \|_{r,K}\) denote the \(C^r\)-sup norm of \(\varphi\). For \(f,g \in {\mathcal {V}_r}\), let \(\text{{Di}}(f,g)\) be the open set of all points \(x \in K\) such that \(f(x)\neq g(x)\). Let \(I(f,g)\) be the smallest closed subinterval of \(K\) containing \(\text{{Di}}(f,g)\) and the turning points of \(f\) and \(g\). The authors introduce a new complete metric \(\rho_r\) for \({\mathcal {V}_r}\) defined by \[ \rho_r (f,g)= | I(f,g) | + \| f-g \|_{r,K}, \] where \( | I(f,g) | \) is the length of \( I(f,g) \). Therefore two maps are close in the \(\rho_r\)-metric if they are close in the \(C^{r}\)-metric and differ only on a small interval containing their turning points. The main result is that the set of all maps in \({\mathcal {V}_2}\) which are structurally stable with respect to the \(\rho_2\)-metric is found and shown to be an open dense subset of \({\mathcal {V}_2}\). Therefore the generalized Fatou conjecture is verified for \({\mathcal {V}_2}\) under \(\rho_2\). Part of the proof uses a result of \textit{O. S. Kozlovski} [Ann. Math. (2) 157, No. 1, 1--43 (2003; Zbl 1215.37022)] in which the generalized Fatou conjecture is verified for unimodal maps.