Abstract
The main purpose of the Fatou-Julia theory is to study the global behaviour of the sequence (f n) of iterates of a rational function f. In this survey article we consider generalized iteration which means that the iterated function f may vary from step to step. More precisely, let (fn) be a sequence of rational functions, and let \( F_{n}: = f_{n}\circ \cdots \circ f_{1}\) be the sequence of forward compositions, and let the Fatou set and Julia set of (F n) be defined as usual. Then, in general, most of the results of the Fatou-Julia theory fail to hold. On the other hand, under appropriate restrictions on the sequence (f n) many results can be carried over to this more general situation, but the proofs are often completely different.
We also consider compositions of holomorphic self-maps fn of the unit disk. In this case there is no need to deal with Fatou and Julia sets, and the main interest lies in the dynamics of (F n). It also makes sense to consider the sequence of backward compositions \(\Phi_{n}:=f_{1}\circ \cdots \circ f_{n}\), because such sequences arise, for example, in continued fraction expansions.
Similar content being viewed by others
References
K. B. Athreya and P. E. Ney, Branching Processes, Springer-Verlag, Berlin, 1972.
I. N. Baker, Iteration of entire functions: an introductory survey, Lectures on Complex Analysis 1987 (Xian), World Scientific Pub. Co., Singapore, 1988, 1–17.
I. N. Baker and R. N. Maalouf, Convergence of a modified iteration process, in: R. M. Ali, St. Ruscheweyh and E. B. Saff (eds.), Computational Methods and Function Theory 1994 (Penang), Ser. Approx. Decompos., 5, World Scientific Pub. Co., River Edge, NJ, 1995, 49–55.
I. N. Baker and Ch. Pommerenke, On the iteration of analytic functions in a halfplane II, J. London Math. Soc. (2) 20 (1979), 255–258.
I. N. Baker and P. J. Rippon, Convergence of infinite exponentials, Ann. Acad. Sci. Fenn. Ser. A. I. Math. 8 (1983), 179–186.
I. N. Baker and P. J. Rippon, A note on infinite exponentials, Fibonacci Quart. 23 (1985), 106–112.
I. N. Baker and P. J. Rippon, Iterating exponential functions with cyclic exponents, Math. Proc. Camb. Phil. Soc. 105 (1989), 357–375.
I. N. Baker and P. J. Rippon, Towers of exponents and other composite maps, Complex Variables Theory Appl. 12 (1989), 181–200.
I. N. Baker and P. J. Rippon, On compositions of analytic self-mappings of a convex domain, Arch. Math. (Basel) 55 (1990), 380–386.
D. F. Barrow, Infinite exponentials, Amer. Math. Monthly 43 (1936), 150–160.
H. Bauer, Probability Theory and Elements of Measure Theory, Holt, Rinehart and Winston, New York, 1972.
A. F. Beardon, Iteration of Rational Functions, Springer-Verlag, New York, 1991.
A. F. Beardon, Iteration of contractions and analytic maps, J. London Math. Soc. (2) 41 (1990), 141–150.
A. F. Beardon, Iteration of analytic Euclidean contractions, in: R. M. Ali, St. Ruscheweyh, and E. B. Saff (eds.), Computational Methods and Function Theory 1994 (Penang), Ser. Approx. Decompos., 5, World Scientific Pub. Co., River Edge, NJ, 1995, 57–74.
A. F. Beardon, Analytic contractions of the unit disc, Bull. Hong Kong Math. Soc. 1 (1997), 209–218.
A. F. Beardon, The dynamics of contractions, Ergod. Th. & Dynam. Sys. 17 (1997), 1257–1266.
A. F. Beardon, The Klein, Hilbert and Poincare metrics of a domain, J. Comput. Appl. Math. 104 (1999), 155–162.
A. F. Beardon, The geometry of Pringsheim’s continued fractions, Geom. Dedicata 84 (2001), 125–134.
A. F. Beardon, Repeated compositions of analytic maps, Comput. Methods Funct. Theory 1 (2001), 235–248.
A. F. Beardon, Semi-groups of analytic maps, Comput. Methods Funct. Theory 1 (2001), 249–258.
A. F. Beardon, Continued fractions, Möbius transformations and Clifford algebras, Bull. London Math. Soc. (N.S.) 35 (2003), 302–308.
A. F. Beardon, T. K. Carne, D. Minda and T. W. Ng, Random iteration of analytic maps, Ergod. Th. & Dyn. Sys., to appear.
W. Bergweiler, Iteration of meromorphic functions, Bull. Amer. Math. Soc. (N.S.) 29 (1993), 151–188.
P. Blanchard, Complex analytic dynamics on the Riemann sphere, Bull. Amer. Math. Soc. (N.S.) 11 (1984), 85–141.
R. Brück, Connectedness and stability of Julia sets of the composition of polynomials of the form z 2 + c n, J. London Math. Soc. (2) 61 (2000), 462–470.
R. Brück, Geometric properties of Julia sets of the composition of polynomials of the form z 2 + c n, Pacific J. Math. 198 (2001), 347–372.
R. Brück, M. Büger and St. Reitz, Random iterations of polynomials of the form z 2+ c n: connectedness of Julia sets, Ergod. Th. & Dyn. Sys. 19 (1999), 1221–1231.
M. Büger, Eine Verallgemeinerung der Iterationstheorie ganzer und meromorpher Funktionen, Thesis, Giessen, 1995.
M. Büger, Eine Verallgemeinerung der klassischen Iterationstheorie, Mitt. Math. Sem. Giessen 224 (1995), 1–54.
M. Büger, On the Julia set of the composition of meromorphic functions, Analysis 16 (1996), 385–397.
M. Büger, Self-similarity of Julia sets of the composition of polynomials, Ergod. Th. & Dyn. Sys. 17 (1997), 1289–1297.
M. Büger, On the composition of polynomials of the form z 2 + c n, Math. Ann. 310 (1998), 661–683.
R. B. Burckel, Iterating analytic self-maps of discs, Amer. Math. Monthly 88 (1981), 396–407.
N. Busse, Dynamische Eigenschaften rekursiv definierter Polynomfolgen, Thesis, Dortmund, 1994.
L. Carleson, Removable singularities of continuous harmonic functions in R m, Math. Scand. 12 (1963), 15–18.
L. Carleson and T. W. Gamelin, Complex Dynamics, Springer-Verlag, New York, 1993.
A. Carlsson, Om itererade funktioner, Thesis, Uppsala, 1907.
M. Comerford, Infinitely many grand orbits, Michigan Math. J. 51 (2003), 47–57.
C. C. Cowen, Iteration and solution of functional equations for functions analytic in the unit disc, Trans. Amer. Math. Soc. 265 (1981), 69–95.
C. C. Cowen, Composition operators on H2, J. Operator Theory 9 (1983), 77–106.
A. Denjoy, Sur l’itération des fonctions analytiques, C.R. Acad. Sci. Paris 182 (1926), 255–257.
A. E. Eremenko and M. Yu. Lyubich, The dynamics of analytic transformations, Algebra i Analiz 1 (1989), 1–70; English transl. in Leningrad Math. J. 1 (1990), 563–634.
L. Euler, De formulis exponentialibus replicatis, Opera Omnia, Series Prima XV (1927), 268–297; Acta Acad. Petropolitanae 1 (1777), 38–60.
P. Fatou, Sur les équations fonctionelles, Bull. Soc. Math. France 47 (1919), 161–271; 48 (1920), 33–94, 208–314.
P. Fatou, Sur l’itération des fonctions transcendantes entières, Acta Math. 47 (1926), 337–360.
J. E. Fornæss and N. Sibony, Random iterations of rational functions, Ergod. Th. & Dyn. Sys. 11 (1991), 687–708.
F. W. Gehring and J. Väisälä, Hausdorff dimension and quasiconformal mappings, J. London Math. Soc. (2) 6 (1973), 504–512
J. Gill, Compositions of analytic functions of the form \(F_{n}(z)=F_{n-1}(f_{n}(z)),f_{n}(z)\rightarrow f(z)\), J. Comput. Appl. Math. 23 (1988), 179–184.
W. B. Jones and W. J. Thron, Continued Fractions, Addison-Wesley, Reading, MA, 1980.
G. Julia, Sur l’itération des fonctions rationelles, J. Math. Pures Appl. (7) 4 (1918), 47–245.
L. Lorentzen, Compositions of contractions, J. Comput. Appl. Math. 32 (1990), 169–178.
L. Lorentzen, A convergence property for sequences of linear fractional transformations, Continued Fractions and Orthogonal Functions, Loen, 1992, Lecture Notes in Pure and Appl. Math. 154, Dekker, New York, 1994, 281–304.
L. Lorentzen, A convergence question inspired by Stieltjes and by value sets in continued fraction theory, J. Comput. Appl. Math. 65 (1995), 233–251.
L. Lorentzen, Convergence of compositions of self-mappings, Ann. Univ. Marie Curie Sklodowska A (13) 53 (1999), 121–145.
M. Yu. Lyubich, The dynamics of rational transforms: the topological picture, Uspekhi Mat. Nauk 41 (1986), 35–95; English transl. in Russian Math. Surveys 41 (1986), 43–117.
R. N. Maalouf, On the composition of analytic functions, Thesis, Imperial College, London, 1994.
R. N. Maalouf, Julia sets of inner compositions, Arch. Math. (Basel) 67 (1996), 138–141.
R. N. Maalouf, Julia sets and non-constant limits in the composition of entire functions, Complex Variables Theory Appl. 30 (1996), 97–112.
M. Marden, Geometry of Polynomials, American Mathematical Society, Providence, R.I., 1966.
J. Milnor, Dynamics in One Complex Variable, Vieweg Verlag, Braunschweig, 1999.
R. Näkki and J. Väisälä, John disks, Exposition. Math. 9 (1991), 3–43.
P. Poggi-Corradini, Norm convergence of normalized iterates and the growth of Kœnigs maps, Ark. Mat. 37 (1999), 171–182.
Ch. Pommerenke, On the iteration of analytic functions in a halfplane I, J. London Math. Soc. (2) 19 (1979), 439–447.
P. Poggi-Corradini, Uniformly perfect sets and the Poincaré metric, Arch. Math. (Basel) 32 (1979), 192–199.
P. Poggi-Corradini, On asymptotic iteration of analytic functions in the disk, Analysis 1 (1981), 45–61.
P. Poggi-Corradini, Boundary Behaviour of Conformal Maps, Springer-Verlag, Berlin, 1992.
P. Poggi-Corradini, On composition sequences in the unit disk, Michigan Math. J. 41 (1994), 407–414.
St. Reitz, Asymptotische Iteration, Mitt. Math. Sem. Giessen 225, (1996), 1–79.
P. J. Rippon, A generalization of a theorem of Beardon on analytic contraction mappings, J. Math. Anal. Appl. 199 (1996), 157–161.
St. Rohde, Compositions of random rational functions, Complex Variables Theory Appl. 29 (1996), 1–7.
J. L. Shapiro, Composition Operators and Classical Function Theory, Springer-Verlag, New York, 1993.
M. Shishikura, The Hausdorff dimension of the boundary of the Mandelbrot set and Julia sets, Ann. of Math. (2) 147 (1998), 225–267.
N. Steinmetz, Rational Iteration (Complex Analytic Dynamical Systems), Walter de Gruyter, Berlin, 1993.
D. Sullivan, Conformal dynamical systems, Geometric Dynamics, J. Palis (ed.), Lecture Notes in Math., 1007, Springer-Verlag, New York, 1983, 725–752
W. J. Thron, Convergence of infinite exponentials with complex elements, Proc. Amer. Math. Soc. 8 (1957), 1040–1043.
W. J. Thron, Convergence of sequences of linear fractional transformations and of continued fractions, J. Indian Math. Soc. 27 (1963), 103–127.
J. Wolff, Sur l’itération des fonctions bornées, C.R. Acad. Sci. Paris 182 (1926), 200–201.
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to the memory of Dieter Gaier
Rights and permissions
About this article
Cite this article
Brück, R., Büger, M. Generalized Iteration. Comput. Methods Funct. Theory 3, 201–252 (2004). https://doi.org/10.1007/BF03321035
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/BF03321035