Meromorphic functions with two completely invariant domains

Abstract

We show that if a meromorphic function has two completely invariant Fatou components and only finitely many critical and asymptotic values, then its Julia set is a Jordan curve. However, even if both domains are attracting basins, the Julia set need not be a quasicircle. We also show that all critical and asymptotic values are contained in the two completely invariant components. This need not be the case for functions with infinitely many critical and asymptotic values.