Metric properties of non-renormalizableS-unimodal maps. Part I: Induced expansion and invariant measures
AbstractFor an arbitrary non-renormalizable unimodal map of the interval,f:I→I, with negative Schwarzian derivative, we construct a related mapFdefined on a countable union of intervals Δ. For each interval Δ,Frestricted to Δ is a diffeomorphism which coincides with some iterate offand whose range is a fixed subinterval ofI. IfFsatisfies conditions of the Folklore Theorem, we callfexpansion inducing. Letcbe a critical point off. Forfsatisfyingf″(c) ≠ 0, we give sufficient conditions for expansion inducing. One of the consequences of expansion inducing is that Milnor's conjecture holds forf: the ω-limit set of Lebesgue almost every point is the interval [f2,f(c)]. An important step in the proof is a starting condition in the box case: if for initial boxes the ratio of their sizes is small enough, then subsequent ratios decrease at least exponentially fast and expansion inducing follows.