Complex bounds for real maps (Q2406103): Difference between revisions

Let \(M\) be a compact interval of reals and let \(f:M \rightarrow M\) be real analytic with no critical points in \(\partial M\). Also suppose that \(f\) has a critical point \(c\) such that \(f\) is persistently recurrent on \(\omega(c)\). The authors prove that there are small neighborhoods \(N \subset M\) of the set of critical points in \(\omega(c)\) such that the first return map to \(N\) has an associated complex box mapping with complex bounds. An analogous result is proven if \(f\) is a \(C^3\) map. Their approach partially relies on methods of \textit{O. Kozlovski} et al. [Ann. Math. (2) 165, No. 3, 749--841 (2007; Zbl 1129.37020)]. Applications are given. For example, if \(f\) is a real polynomial with real critical points, then the Julia set of \(f\) is locally connected and \(f\) supports no measurable invariant line field on its Julia set. Complex bounds were first proved by \textit{D. Sullivan} [in: Mathematics into the twenty-first century. Proceedings of the AMS centennial symposium, Providence, RI, USA, August 8--12, 1988. Providence, RI: American Mathematical Society. 417--466 (1992; Zbl 0936.37016)] for a particular class of unimodal maps. Complex bounds for certain multimodal maps were proved by \textit{D. Smania} [Nonlinearity 14, No. 5, 1311--1330 (2001; Zbl 1067.37053)], \textit{W. Shen} [Invent. Math. 156, No. 2, 301--403 (2004; Zbl 1057.37039)] and others.