Bergweiler, Walter; Drasin, David; Langley, James K.
Baker domains for Newton’s method  [ Domaines de Baker et la méthode de Newton ]
Annales de l'institut Fourier, Tome 57 (2007) no. 3 , p. 803-814
MR 2336830 | Zbl 1122.30019
doi : 10.5802/aif.2277
URL stable : http://www.numdam.org/item?id=AIF_2007__57_3_803_0

Classification:  30D05,  37F10,  65H05
Mots clés: domaine de Baker, méthode de Newton, itération, ensemble de Julia, ensemble de Fatou, valeur asymptotique
Pour une fonction entière f soit N(z)=z-f(z)/f (z) la fonction de Newton associée à f. Chaque zéro ξ de f est un point fixe attractif de N et appartient à une composante invariante de l’ensemble de Fatou de la fonction méromorphe N dans laquelle les itérées de N convergent vers ξ. Si f a une représentation asymptotique f(z)exp(-z n ),n, dans un secteur |argz|<ε, alors il existe une composante invariante de l’ensemble de Fatou de N dans laquelle les itérées de N tendent vers l’infini. Une composante avec cette proprieté est appelée un domaine invariant de Baker. Une question dans la direction réciproque a été posée par A. Douady : si N a un domaine invariant de Baker, est-ce que 0 doit être une valeur asymptotique de f ? X. Buff et J. Rückert ont démontré que la réponse est affirmative dans beaucoup de cas. En utilisant des résultats de Balašov et Hayman, on prouve que la réponse est négative en général : il existe une fonction entière f, d’ordre arbitraire entre 1 2 et 1, et sans valeurs finies asymptotiques, pour laquelle il existe un domaine invariant de Baker de la fonction de Newton N.
For an entire function f let N(z)=z-f(z)/f (z) be the Newton function associated to f. Each zero ξ of f is an attractive fixed point of N and is contained in an invariant component of the Fatou set of the meromorphic function N in which the iterates of N converge to ξ. If f has an asymptotic representation f(z)exp(-z n ),n, in a sector |argz|<ε, then there exists an invariant component of the Fatou set where the iterates of N tend to infinity. Such a component is called an invariant Baker domain. A question in the opposite direction was asked by A. Douady: if N has an invariant Baker domain, must 0 be an asymptotic value of f? X. Buff and J. Rückert have shown that the answer is positive in many cases. Using results of Balašov and Hayman, it is shown that the answer is negative in general: there exists an entire function f, of any order between 1 2 and 1, and without finite asymptotic values, for which the Newton function N has an invariant Baker domain.

Bibliographie

[1] Balašov, S. K. On entire functions of finite order with zeros on curves of regular rotation, Math. USSR Izvestija (1973) no. 7, p. 601-627 (translation form Izv. Akad. Nauk. SSSR, Ser. Mat. 37 (1973) no 3) Article  Zbl 0283.30028

[2] Bergweiler, W. Iteration of meromorphic functions, Bull. Amer. Math. Soc. (1993) no. 29, p. 151-188 Article  MR 1216719 | Zbl 0791.30018

[3] Bergweiler, W.; Haeseler, F. V.; Kriete, H.; Meier, H. G.; Terglane, N.; Yang, C. C.; Wen, G. C.; Li, K. Y.; Chiang, Y. M. Newton’s method for meromorphic functions, Complex Analysis and its Applications, Pitman Res. (Notes Math. Ser.) 305 (1994), p. 147-158 Zbl 0810.30017

[4] Buff, X.; Rückert, J. Virtual immediate basins of Newton maps and asymptotic values, Int. Math. Res. Not. (2006) no. 65498, p. 1-18 MR 2211149 | Zbl 05039691

[5] Hayman, W. K. On integral functions with distinct asymptotic values, Proc. Cambridge Philos. Soc. (1969) no. 66, p. 301-315 MR 244487 | Zbl 0179.10902

[6] Hayman, W. K. Subharmonic functions, Academic Press, London, London Math. Soc. Monographs, 2 (1989) no. 20 MR 1049148 | Zbl 0699.31001

[7] Nevanlinna, R. Eindeutige analytische Funktionen, Springer, Göttingen, Heidelberg (1953) MR 57330 | Zbl 0050.30302

[8] Tsuji, M. Potential theory in modern function theory, Maruzen, reprint by Chelsea (1959) MR 114894 | Zbl 0087.28401