Eigenfunctions for Hyperbolic Composition Operators--Redux

Abstract

The Invariant Subspace Problem ("ISP") for Hilbert space operators is known to be equivalent to a question that, on its surface, seems surprisingly concrete: For composition operators induced on the Hardy space H^2 by hyperbolic automorphisms of the unit disc, is every nontrivial minimal invariant subspace one dimensional (i.e., spanned by an eigenvector)? In the hope of reviving interest in the contribution this remarkable result might offer to the studies of both composition operators and the ISP, I revisit some known results, weaken their hypotheses and simplify their proofs. Sample results: If f is a hyperbolic disc automorphism with fixed points at a and b (both necessarily on the unit circle), and C_f the composition operator it induces on H^2, then for every function g in the subspace [{(z-a)(z-a)]^(1/2)H^2, the doubly C_f-cyclic subspace generated by g contains many independent eigenvectors; more precisely, the point spectrum of C_f's restriction to that subspace intersects the unit circle in a set of positive measure. Moreover, this restriction of C_f is hypercyclic (some forward orbit is dense).