Théorème de Fatou
Apparence
En mathématiques, le théorème de Fatou est un résultat d'analyse complexe dû au mathématicien français Pierre Fatou (1878 – 1929), qui énonce l'existence d'au moins un point fixe complexe pour toute composée d'une fonction entière (hors translation) avec elle-même.
Énoncé
[modifier | modifier le code]- Soit f une fonction entière, c'est-à-dire une fonction holomorphe définie sur tout le plan complexe. Si f n'est pas une translation, autrement dit si elle ne s'écrit pas sous la forme f(z)=z+c avec c constante, alors la composée f ∘ f admet au moins un point fixe : il existe un nombre complexe z0 tel que f(f(z0))=z0.
Ce résultat n'a pas d'équivalent pour les fonctions d'une variable réelle, même développables en série entière. En effet, la fonction exponentielle réelle n'est pas une translation et sa composée avec elle-même est sans point fixe sur la droite réelle.