Published online by Cambridge University Press: 19 September 2008
We prove an infinite-area lemma for maps which are area non-contracting on the boundaries of certain domains; the maps are required to be smooth to the extent that their Jacobians are twice differentiable (see Main Lemma below). It will follow that a hyperbolic rational map has no wandering simply connected domains. As a more direct corollary, a C3 diffeomorphism f of a compact smooth 2-manifold cannot have a wandering domain Δ if f is area non-contracting on the boundary of each forward image of Δ.