If T is a polynomially bounded operator, M is an invariant subspace of T, T| ₌ is a unilateral shift and T^*| ₌^ is subnormal, then T has a nontrivial hyperinvariant subspace. If an operator T is intertwined from both sides with two operators, one of which is hyponormal and other is the adjoint to hyponormal, then T has a nontrivial hyperinvariant subspace. The existence of nontrivial hyperinvariant subspaces for subnormal operators themselves is not studied here.
Maria F. Gamal' (Fri,) studied this question.