eventualmente se volverá periódica. Aquí, fn denota la iteración n veces mayor de f, es decir,
Esta imagen ilustra la dinámica de ; el conjunto de Fatou (que consta en su totalidad de dominios errantes) se muestra en blanco, mientras que el conjunto de Julia se muestra en tonos de gris.
El teorema no es válido para mapas arbitrarios; por ejemplo, el mapa trascendental tiene dominios errantes. Sin embargo, el resultado puede generalizarse a muchas situaciones en las que las funciones pertenecen naturalmente a un espacio de parámetros de dimensión finita, sobre todo a funciones trascendentales completas y meromórficas con un número finito de valores singulares.
Dennis Sullivan, Homeomorfismos y dinámicas cuasiconformales.I. Solución del problema Fatou-Julia sobre dominios errantes, Annals of Mathematics 122 (1985), no. 3, 401-18. MR 0819553