SOME COUNTEREXAMPLES IN DYNAMICS OF RATIONAL SEMIGROUPS. 1. Introduction
|
|
- Alfred Lawrence
- 5 years ago
- Views:
Transcription
1 SOME COUNTEREXAMPLES IN DYNAMICS OF RATIONAL SEMIGROUPS RICH STANKEWITZ, TOSHIYUKI SUGAWA, AND HIROKI SUMI Abstract. We give an example of two rational functions with non-equal Julia sets that generate a rational semigroup whose completely invariant Julia set is a closed line segment. We also give an example of polynomials with unequal Julia sets that generate a non nearly Abelian polynomial semigroup with the property that the Julia set of one generator is equal to the Julia set of the semigroup. These examples show that certain conjectures in the field of dynamics of rational semigroups do not hold as stated and therefore require modification. 1. Introduction In [3], Hinkkanen and Martin develop a theory of dynamics of rational semigroups as a generalization of the classical theory of the dynamics of the iteration of a rational function defined on the complex sphere C. In that paper and in subsequent communications, they put forth several conjectures, some of which will be addressed here. In particular we provide counterexamples to Conjectures 1.1, 1.2 and 1.4. In light of these examples the conjectures are then suitably modified and as such remain open questions. We begin by developing the necessary background to state these questions. In what follows all notions of convergence will be with respect to the spherical metric on the Riemann sphere C. A rational semigroup G is a semigroup of rational functions of degree at least two defined on the Riemann sphere C with the semigroup operation being functional composition. (One may wish to allow some or all of the maps in G to be Möbius, for example, when one is considering Kleinian groups as in [8], but since the examples constructed here all contain maps of degree two or more, we will use our simplified definition to avoid any technical complications which are not pertinent to this paper.) When a semigroup G is generated by the functions {f 1, f 2,..., f n,... }, we write this as (1.1) G = f 1, f 2,..., f n,.... On p. 360 of [3], the definitions of the set of normality, often called the Fatou set, and the Julia set of a rational semigroup are as follows: The second author was partially supported by the Ministry of Education, Grant-in-Aid for Encouragement of Young Scientists, Mathematics Subject Classification: Primary 37F10, 37F50, 30D05. Key words and phrases. Complex dynamics, Julia sets. 1
2 2 RICH STANKEWITZ, TOSHIYUKI SUGAWA, AND HIROKI SUMI Definition 1.1. For a rational semigroup G we define the set of normality of G, N(G), by N(G) = {z C : a neighborhood of z on which G is a normal family} and define the Julia set of G, J(G), by J(G) = C \ N(G). Clearly from these definitions we see that N(G) is an open set and therefore its complement J(G) is a compact set. These definitions generalize the case of iteration of a single rational function and we write N( h ) = N h and J( h ) = J h. Note that J(G) contains the Julia set of each element of G. For research on (semi-)hyperbolicity and Hausdorff dimension of Julia sets of rational semigroups, see [9, 10, 11, 12]. Definition 1.2. If h is a map of a set Y into itself, a subset X of Y is: i) forward invariant under h if h(x) X; ii) backward invariant under h if h 1 (X) X; iii) completely invariant under h if h(x) X and h 1 (X) X. It is well known that for a rational function h, the set of normality of h and the Julia set of h are completely invariant under h (see [2], p. 54), i.e., (1.2) h(n h ) = N h = h 1 (N h ) and h(j h ) = J h = h 1 (J h ). In fact, the following property holds. Property 1.1. For a rational map h of degree at least two the set J h is the smallest closed completely invariant (under h) set which contains three or more points (see [2], p. 67). From Definition 1.1, it follows that N(G) is forward invariant under each element of G and J(G) is backward invariant under each element of G (see [3], p. 360). The sets N(G) and J(G) are, however, not necessarily completely invariant under the elements of G. This is in contrast to the case of single function dynamics as noted in (1.2). However, we could have generalized the classical notion of the Julia set of a single function in such a way as to force the Julia set of a rational semigroup to be completely invariant under each element of the semigroup. Thus we give the following definition. Definition 1.3. For a rational semigroup G we define the completely invariant Julia set of G E(G) = {S : S is closed, completely invariant under each g G, #(S) 3} where #(S) denotes the cardinality of S. We note that E(G) exists, is closed, is completely invariant under each element of G and contains the Julia set of each element of G by Property 1.1.
3 SOME COUNTEREXAMPLES IN DYNAMICS OF RATIONAL SEMIGROUPS 3 Definition 1.4. For a rational semigroup G we define the completely invariant set of normality of G, W (G), to be the complement of E(G), i.e., W (G) = C \ E(G). Note that W (G) is open and it is also completely invariant under each element of G. We state the following conjectures which are due to A. Hinkkanen and G. Martin (see [7]). Conjecture 1.1. If G is a rational semigroup which contains two maps f and g such that J f J g and E(G) C, then W (G) has exactly two components, each of which is simply connected, and E(G) is equal to the boundary of each of these components. Conjecture 1.2. If G is a rational semigroup which contains two maps f and g such that J f J g and E(G) = C, then E(G) is a simple closed curve in C. In section 2 we give a method for constructing functions (as well as providing concrete functions) whose Julia sets are unequal, but which generate a semigroup whose completely invariant Julia set is a line segment. Hence the above conjectures do not hold. But since the only completely invariant Julia sets of rational semigroups which are known at this time (when the semigroup contains two maps with unequal Julia sets) are C (see [6] and [7]) or sets which are Möbius equivalent to a line segment or circle, the authors put forth the following conjecture, which is currently unresolved. Conjecture 1.3. If G is a rational semigroup which contains two maps f and g such that J f J g and E(G) is not the whole Riemann sphere, then E(G) is Möbius equivalent to a line segment or a circle. Remark 1.1. We briefly explain some evidence that compels us to pose Conjecture 1.3 the way we did. Our example of a rational semigroup G with E(G) being a line segment is rigid since G contains a Tchebycheff polynomial, which is known to be postcritically finite (and hence, rigid). On the other hand, an example of a rational semigroup G with E(G) being a (unit) circle generated by rational functions f 1,..., f n with non-equal Julia sets is easily constructed by choosing finite Blaschke products as the f j s. However, it seems difficult to quasiconformally deform f 1,..., f n simultaneously so that the completely invariant Julia set of the resulting rational semigroup is not a circle. In section 3 we provide a counterexample to the following conjecture also due to Hinkkanen and Martin [4]. Conjecture 1.4. Let G be a polynomial semigroup such that J h = J(G) for some h G. Then J f = J g for all f, g G (and hence G is nearly abelian by Theorem 3.2). In our counterexample J(G) is a closed line segment. Since no other types of counterexamples are known, we modify this conjecture as follows and note that it remains unresolved.
4 4 RICH STANKEWITZ, TOSHIYUKI SUGAWA, AND HIROKI SUMI Conjecture 1.5. Let G be a polynomial semigroup such that J h = J(G) for some h G where J(G) is not a line segment. Then J f = J g for all f, g G (and hence G is nearly abelian by Corollary 3.2). 2. Counterexamples to Conjectures 1.1 and 1.2 We begin this section with some notation and lemmas. Let φ(z) = z2 1 z 2 +1 and denote the upper half plane as U = {z : Iz > 0}. Then φ maps U one-to-one onto Ω = C \ [ 1, 1] and φ maps R two-to-one onto I = [ 1, 1]. We call a map f odd if f( z) = f(z) and we call a map f even if f( z) = f(z). Lemma 2.1. A function f is an odd rational map such that f(u) = U if and only if it has the form (2.1) f(z) = az b z N where a, b, A j, B j 0. j=1 B j z z 2 A j Proof. Let f be an odd rational map such that f(u) = U. Then any preimage of infinity must be real (else there would exist a preimage of infinity in U) and simple (else there would be points in U that map outside of U). Again, since f(u) = U, it follows that f must be of the form az b z k j=1 where a, b, c j 0 and a j R. Since f(r) = R and f( z) = f(z) we conclude that the poles other than the one which might possibly exist at the origin must come in pairs of real numbers symmetric about the origin. algebraically reduced to (2.1). Hence f(z) = az b z N j=1 b j z a j c j z a j N b j j=1 z+a j where b j > 0, which can be Let f be a map of the form (2.1). Hence f is odd, rational, maps U into U (since each term in the sum does), and maps R into R (since the coefficients are all real). From this it easily follows that f(u) = U. Lemma 2.2. Let f be a rational map. Then [f(z)] 2 is even if and only if f is even or odd. Proof. Suppose [f(z)] 2 = [f( z)] 2. Then an analytic square root of [f( z)] 2 (defined locally away from the zeroes and poles of f) is either f(z) or f(z). The identity theorem can then be used to show that f( z) is either f(z) or f(z) globally, i.e., f is either even or odd. The reverse implication is immediate. Lemma 2.3. Let f be a rational map. Then φ f is even if and only if [f(z)] 2 is even. Proof. Since φ(z) = ψ(z 2 ) for ψ(z) = z 1 z+1 we see that [f(z)]2 = ψ 1 φ(f(z)) and ψ 1 φ(f( z)) = [f( z)] 2. The lemma easily follows. Lemma 2.4. If g is an even rational function, then g(z) = h(z 2 ) for some rational map h.
5 SOME COUNTEREXAMPLES IN DYNAMICS OF RATIONAL SEMIGROUPS 5 Proof. For z 0 or we define h(z) = g(± z) and note that h is well defined since g is even. Since h is analytic on C \ {0} and can be extended in the obvious way to be continuous on C, h is rational and satisfies h(z 2 ) = g(z). Lemma 2.5. Let f be a rational map such that f(u) = U. Then there exists a rational map f such that φ f = f φ if and only if f is odd (and therefore of the form in Lemma 2.1). Proof. Let f be odd. Since f(z) = f( z) we see that [f(z)] 2 is an even rational function and therefore by Lemma 2.4 [f(z)] 2 = h(z 2 ) for some rational map h. Define f(z) = f is a rational map as it is a composition of rational maps). Let w = φ(z) = z2 1 z 2 = 1+w 1 w. Hence ( f φ)(z) = f(w) 1+w h( = 1 w ) 1 [f(z)] = 2 1 )+1 [f(z)] 2 +1 h( 1+w 1 w = (φ f)(z). z z h( 1 z ) 1 h( 1+z 1 z )+1 (hence and note that Suppose there exists a rational map f such that φ f = f φ. Then f φ is even since φ is even. The semi-conjugacy implies φ f is also even, which by Lemmas 2.3 and 2.2 gives that f is either even or odd. If f were even, then f(c \ U) = f(u) = U and the preimage of the lower half plane would be empty. This contradicts the fact that the image of C under a rational map is always C. Hence we conclude that f must be odd. Lemma 2.6. If f is a rational map such that Ω = f 1 (Ω), then there exists an odd rational map f such that U = f 1 (U) and φ f = f φ. Proof. Let h denote the branch of the inverse of φ which maps Ω onto U. Then f = h f φ maps U onto U properly and is therefore a rational map (Blaschke product of the upper half plane). Clearly, φ f = f φ on U and so by the identity Theorem this semi-conjugacy holds on all of C. By Lemma 2.5 f is odd. Remark 2.1. Lemmas 2.5 and 2.6 classify those rational functions that can be semi-conjugated by φ. Lemma 2.7. For rational semigroups G = g j : j I and H = h j : j I where there exists a rational function k satisfying the semi-conjugacy relation k h j = g j k for each j I, we have J(G) = k(j(h)) and N(G) = k(n(h)). Proof. We first note that the semi-conjugacy relation on the generators translates to a semi-conjugacy relation between corresponding elements of the semigroups. More precisely, if h = h j1 h jn H, then for g = g j1 g jn we have k h = g k since k h j1 h jn = g j1 k h j2 h jn = g j1 g j2 k h j3 h jn =... = g j1 g j2 g jn k. Let z 0 be a point in N(H) and let be a small open set in N(H) containing z 0 such that h( ) has spherical diameter less than ɛ for all h H. Denoting the Lipschitz constant of k by C (see [2], p. 32), we see that for any g = g j1 g jn G the diameter of g(k( )) = k(h j1 h jn ( )) = k(h( )) is less than Cɛ. Hence k(z 0 ) N(G) and so we conclude that k(n(h)) N(G).
6 6 RICH STANKEWITZ, TOSHIYUKI SUGAWA, AND HIROKI SUMI Let z 0 be a repelling fixed point for some h = h j1 h jn H, but which is not a critical point of k. Then for g = g j1 g jn we have g k = k h and hence g has a fixed point at k(z 0 ) with the same multiplier as that of h at z 0 (using the chain rule and the fact that g = k h k 1 for the branch of k 1 which maps k(z 0 ) to z 0 ). Hence we have shown that the repelling fixed points of the maps in H, which are not any of the finite number of critical points of k, map under k to repelling fixed points of maps in G. Since the Julia set of a rational semigroup is a perfect set equal to the the closure of the set of repelling fixed points of the elements of the semigroup (see [3], Theorem 3.1 and Corollary 3.1), it then follows that k(j(h)) J(G). Since J(H) = C \ N(H) and J(G) = C \ N(G) the lemma now follows from the fact that k(c) = C. One might expect that a result similar to Lemma 2.7 would hold for completely invariant Julia sets, however, we require an additional hypothesis as noted in the following lemmas. Lemma 2.8. Suppose rational functions g, h, k satisfy the semi-conjugacy relation k h = g k. If S is completely invariant under g, then k 1 ( S) is completely invariant under h. Also, if S is completely invariant under h and k 1 (k(s)) = S, then k(s) is completely invariant under g. The proof of Lemma 2.8 follows readily from the semi-conjugacy and will therefore be omitted. Lemma 2.9. For rational semigroups G = g j : j I and H = h j : j I where there exists a rational function k satisfying the semi-conjugacy relation k h j = g j k for each j I, we have k(e(h)) E(G) (and thus W (G) k(w (H))). If we also have that k 1 (k(e(h)) = E(H), then k(e(h)) = E(G) and W (G) = k(w (H)). Remark 2.2. The hypothesis k 1 (k(e(h))) = E(H) stated above would automatically follow from the other assumptions if, in addition, k is a (branched) Galois covering. We, however, do not require that form of the statement because one can easily check that this hypothesis holds in the situations we consider below. Proof. Let h = h j1 h jn H and consider the corresponding g = g j1 g jn G. Since E(G) is completely invariant under g and k h = g k, Lemma 2.8 shows that the closed set k 1 (E(G)) is completely invariant under h. Since h H was arbitrary, we conclude that E(H) k 1 (E(G)). Thus k(e(h)) E(G). Similarly one can use Lemma 2.8 to show that k 1 (k(e(h)) = E(H) implies E(G) k(e(h)) and so E(G) = k(e(h)). When k 1 (k(e(h)) = E(H), k maps E(H) in a deg(k)-to-one fashion onto k(e(h)) = E(G). Since k is a rational map of global degree deg(k), it must then map W (H) = C \ E(H) onto W (G) = C \ E(G) (also in a deg(k)-to-one fashion). Example 2.1 (Counterexamples to Conjectures 1.1 and 1.2 ). Let f be an odd rational map such that f(u) = U. Then by Lemma 2.5 there exists a rational function f satisfying the semi-conjugacy relation φ f = f φ. Similarly we let g be an odd rational map with g(u) = U and so there exists a rational map g with φ g = g φ. By choosing f and g such that J f = R and J g = R, we have
7 SOME COUNTEREXAMPLES IN DYNAMICS OF RATIONAL SEMIGROUPS 7 that J f = I and J g = I by Lemma 2.7. Since R is completely invariant under both f and g we have E(G) R where G = f, g. Since E(G) J g = R, we conclude that E(G) = R. For G = f, g we see that since φ 1 (φ(e(g))) = φ 1 (φ(r)) = R = E(G), we must have E( G) = φ(r) = I. Since J f J g, G is a counterexample to Conjectures 1.1 and 1.2. Specifically we may select f(z) = 2z 1 z and g(z) = z2 1 2z. Hence J f is a Cantor subset of I (see [2], p.21). Since g is the conjugate of z z 2 under z i 1+z 1 z we see that J g = R. In this case one can calculate (via the proof of Lemma 2.5) that f(z) = 3z+5z2 1+3z+4z and g(z) = 2z In the next example, we construct a semigroup G that provides a counterexample to Conjectures 1.1 and 1.2 with the additional property that J(G) E(G). Example 2.2. Consider f(z) = 2z 1/z as in Example 2.1. Let ϕ(z) = 2z, and set g(z) = (ϕ f ϕ 1 )(z) = 2z 4/z. Note that J g = ϕ(j f ) = 2J f and that R is completely invariant under g. Hence for G = f, g, we have E(G) R. Suppose that E(G) R. Since R is completely invariant under both f and g, it follows from Lemma in [5] that if E(G) contains a non-degenerate interval in the real line, then E(G) = R. Hence we may select an open interval L = (x, y) in R \ E(G) with both x, y large. Since the length of the intervals f n (L) tends to +, we may assume that y x is large. By expanding the interval we may also assume that x, y E(G) (note that we used here that is a non-isolated point in E(G) which follows since 2 J g E(G) and f n (2) ). Since x is large, we can use the fact that f(x) is slightly greater than g(x) to see that g 1 ({f(x)}) contains a point slightly larger than x (and hence less than y). But by the complete invariance of the set E(G) under f and g, we get g 1 ({f(x)}) E(G). This is a contradiction since the interval (x, y) does not meet E(G). We conclude that E(G) = R. Since is an attracting fixed point under both f and g, we see that small neighborhoods of map inside themselves under each map in G. Hence N(G) and so J(G) = R. As in Example 2.1 we may semi-conjugate the odd rational maps f and g by φ to get maps f(z) = 3z+5z 2 1+3z+4z 2 and g(z) = 5z2 +40z 29 3z 2 +40z 27. Hence for G = f, g we have J( G) = φ(j(g)) φ(r) = I and E( G) = φ(e(g)) = φ(r) = I. Since J f = J g (otherwise one would have E( G) = J( G) = J f = J g ), we see that G is a counterexample to Conjectures 1.1 and Counterexamples to Conjecture 1.4 In [3], p. 366 Hinkkanen and Martin give the following definition. Definition 3.1. A rational semigroup G is nearly abelian if there is a compact family of Möbius transformations Φ = {φ} with the following properties: (i) φ(n(g)) = N(G) for all φ Φ, and (ii) for all f, g G there is a φ Φ such that f g = φ g f. Theorem 3.1 ([3], Theorem 4.1). Let G be a nearly abelian semigroup. Then for each g G we have J g = J(G).
8 8 RICH STANKEWITZ, TOSHIYUKI SUGAWA, AND HIROKI SUMI A natural question is to what extent does the converse to Theorem 3.1 hold. Using a result of A. Beardon (see [1], Theorem 1) Hinkkanen and Martin have proved the following result for polynomial semigroups. Theorem 3.2 ([3], Corollary 4.1). Let F be a family of polynomials of degree at least 2, and suppose that there is a set J such that J g = J for all g F. Then G = F is a nearly abelian semigroup. Note that under the hypotheses of Theorem 3.2 we have J h = J(G) for each generator h F. So we see that Conjecture 1.4 is suggesting that if J h = J(G) for just one h G, then G is still nearly abelian. However, this is not the case as we see by the following counterexample. Example 3.1 (Counterexample to Conjecture 1.4). Let f(z) = z 2 2, g(z) = 4z 2 2 and G = f, g. It is well known that f is a conjugate of 2z 2 1 by z 2z and so J f = [ 2, 2] (see [2], p. 9). It can easily be seen that g maps [ 1, 1] onto [ 2, 2] in a two-to-one fashion. Since g 1 ([ 1, 1]) g 1 ([ 2, 2]) = [ 1, 1] it follows that J g [ 1, 1]. In particular J g J f. We also note that C\[ 2, 2] is forward invariant under both f and g and as such must lie in N(G) by Montel s Theorem. It follows that J(G) = [ 2, 2] = J f, yet J f = J g. We remark that any map g that maps a proper sub-interval of [ 2, 2] onto [ 2, 2] in a deg(g)- to-one fashion would suffice in the above example and such functions can easily be obtained by constructing real polynomials with appropriate graphs. Also, f may be replaced by any Tchebycheff polynomial (see section 1.4 of [2]), normalized so that J f = [ 2, 2]. Acknowledgements: The authors would like to thank Aimo Hinkkanen for his advice given during the preparation of this manuscript. References [1] Alan F. Beardon. Symmetries of Julia sets. Bull. London Math. Soc., 22: , [2] Alan F. Beardon. Iterations of Rational Functions. Springer-Verlag, New York, [3] A. Hinkkanen and G.J. Martin. The dynamics of semigroups of rational functions I. Proc. London Math. Soc., 3: , [4] A. Hinkkanen and G.J. Martin. Personal communication [5] Rich Stankewitz. Completely invariant Julia sets of rational semigroups. PhD thesis, University of Illinois, [6] Rich Stankewitz. Completely invariant Julia sets of polynomial semigroups. Proc. Amer. Math. Soc., 127(10): , [7] Rich Stankewitz. Completely invariant sets of normality for rational semigroups. Complex Variables Theory Appl., 40(3): , [8] Rich Stankewitz. Uniformly perfect sets, rational semigroups, Kleinian groups and IFS s. Proc. Amer. Math. Soc., 128(9): , [9] Hiroki Sumi. On hausdorff dimension of julia sets of hyperbolic rational semigroups. Kodai. Math.J., 21(1):10 28, [10] Hiroki Sumi. Skew product maps related to finitely generated rational semigroups. Nonlinearity, 13: , [11] Hiroki Sumi. Dynamics of sub-hyperbolic and semi-hyperbolic rational semigroups and skew products. Ergod.Th.& Dynam. Sys., 21: , 2001.
9 SOME COUNTEREXAMPLES IN DYNAMICS OF RATIONAL SEMIGROUPS 9 [12] Hiroki Sumi. Semi-hyperbolic fibered rational maps and rational semigroups. preprint. (Rich Stankewitz) School of Science, Penn State University at Erie, Station Road, Erie, PA 16563, USA address: rls42@psu.edu (Toshiyuki Sugawa) Department of Mathematics, Kyoto University, Kyoto, Japan Current address: Department of Mathematics, University of Helsinki, P.O.Box 4 (Yliopistonkatu 5), FIN-00014, Helsinki, Finland address: sugawa@kusm.kyoto-u.ac.jp (Hiroki Sumi) Department of Mathematics, Tokyo Institute of Technology , O-Okayama, Meguroku, Tokyo, , Japan address: sumi@math.titech.ac.jp
COMPLETELY INVARIANT JULIA SETS OF POLYNOMIAL SEMIGROUPS
Series Logo Volume 00, Number 00, Xxxx 19xx COMPLETELY INVARIANT JULIA SETS OF POLYNOMIAL SEMIGROUPS RICH STANKEWITZ Abstract. Let G be a semigroup of rational functions of degree at least two, under composition
More informationDYNAMICS OF RATIONAL SEMIGROUPS
DYNAMICS OF RATIONAL SEMIGROUPS DAVID BOYD AND RICH STANKEWITZ Contents 1. Introduction 2 1.1. The expanding property of the Julia set 4 2. Uniformly Perfect Sets 7 2.1. Logarithmic capacity 9 2.2. Julia
More informationUNIFORMLY PERFECT ANALYTIC AND CONFORMAL ATTRACTOR SETS. 1. Introduction and results
UNIFORMLY PERFECT ANALYTIC AND CONFORMAL ATTRACTOR SETS RICH STANKEWITZ Abstract. Conditions are given which imply that analytic iterated function systems (IFS s) in the complex plane C have uniformly
More informationDYNAMICAL PROPERTIES AND STRUCTURE OF JULIA SETS OF POSTCRITICALLY BOUNDED POLYNOMIAL SEMIGROUPS
DYNAMICAL PROPERTIES AND STRUCTURE OF JULIA SETS OF POSTCRITICALLY BOUNDED POLYNOMIAL SEMIGROUPS RICH STANKEWITZ AND HIROKI SUMI Abstract. We discuss the dynamic and structural properties of polynomial
More informationFinding Roots of Any Polynomial by Random Relaxed Newton s Methods. Hiroki Sumi
Finding Roots of Any Polynomial by Random Relaxed Newton s Methods Hiroki Sumi Graduate School of Human and Environmental Studies, Kyoto University, Japan E-mail: sumi@math.h.kyoto-u.ac.jp http://www.math.h.kyoto-u.ac.jp/
More informationSemigroups of transcendental entire functions and their dynamics
Proc. Indian Acad. Sci. (Math. Sci.) Vol. 127, No. 2, April 2017, pp. 349 360. DOI 10.1007/s12044-016-0298-z Semigroups of transcendental entire functions and their dynamics DINESH KUMAR 1, and SANJAY
More informationWeak Mean Stability in Random Holomorphic Dynamical Systems Hiroki Sumi Graduate School of Human and Environmental Studies Kyoto University Japan
Weak Mean Stability in Random Holomorphic Dynamical Systems Hiroki Sumi Graduate School of Human and Environmental Studies Kyoto University Japan E-mail: sumi@math.h.kyoto-u.ac.jp http://www.math.h.kyoto-u.ac.jp/
More informationThe Dynamics of Two and Three Circle Inversion Daniel M. Look Indiana University of Pennsylvania
The Dynamics of Two and Three Circle Inversion Daniel M. Look Indiana University of Pennsylvania AMS Subject Classification: Primary: 37F10 Secondary: 51N05, 54D70 Key Words: Julia Set, Complex Dynamics,
More informationRANDOM HOLOMORPHIC ITERATIONS AND DEGENERATE SUBDOMAINS OF THE UNIT DISK
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 RANDOM HOLOMORPHIC ITERATIONS AND DEGENERATE SUBDOMAINS OF THE UNIT DISK LINDA KEEN AND NIKOLA
More informationRANDOM BACKWARD ITERATION ALGORITHM FOR JULIA SETS OF RATIONAL SEMIGROUPS
RANDOM BACKWARD ITERATION ALGORITHM FOR JULIA SETS OF RATIONAL SEMIGROUPS RICH STANKEWITZ AND HIROKI SUMI Abstract. We provide proof that a random backward iteration algorithm for approximating Julia sets
More informationAlternate Locations of Equilibrium Points and Poles in Complex Rational Differential Equations
International Mathematical Forum, Vol. 9, 2014, no. 35, 1725-1739 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/imf.2014.410170 Alternate Locations of Equilibrium Points and Poles in Complex
More informationRANDOM BACKWARD ITERATION ALGORITHM FOR JULIA SETS OF RATIONAL SEMIGROUPS
RANDOM BACKWARD ITERATION ALGORITHM FOR JULIA SETS OF RATIONAL SEMIGROUPS RICH STANKEWITZ AND HIROKI SUMI Abstract. We provide proof that a random backward iteration algorithm, previously proven to work
More informationb 0 + b 1 z b d z d
I. Introduction Definition 1. For z C, a rational function of degree d is any with a d, b d not both equal to 0. R(z) = P (z) Q(z) = a 0 + a 1 z +... + a d z d b 0 + b 1 z +... + b d z d It is exactly
More informationMCMULLEN S ROOT-FINDING ALGORITHM FOR CUBIC POLYNOMIALS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 130, Number 9, Pages 2583 2592 S 0002-9939(02)06659-5 Article electronically published on April 22, 2002 MCMULLEN S ROOT-FINDING ALGORITHM FOR CUBIC
More informationA CRITERION FOR POTENTIALLY GOOD REDUCTION IN NON-ARCHIMEDEAN DYNAMICS
A CRITERION FOR POTENTIALLY GOOD REDUCTION IN NON-ARCHIMEDEAN DYNAMICS ROBERT L. BENEDETTO Abstract. Let K be a non-archimedean field, and let φ K(z) be a polynomial or rational function of degree at least
More informationAccumulation constants of iterated function systems with Bloch target domains
Accumulation constants of iterated function systems with Bloch target domains September 29, 2005 1 Introduction Linda Keen and Nikola Lakic 1 Suppose that we are given a random sequence of holomorphic
More informationTHE CONLEY ATTRACTORS OF AN ITERATED FUNCTION SYSTEM
Bull. Aust. Math. Soc. 88 (2013), 267 279 doi:10.1017/s0004972713000348 THE CONLEY ATTRACTORS OF AN ITERATED FUNCTION SYSTEM MICHAEL F. BARNSLEY and ANDREW VINCE (Received 15 August 2012; accepted 21 February
More informationUniversität Dortmund, Institut für Mathematik, D Dortmund (
Jordan and Julia Norbert Steinmetz Universität Dortmund, Institut für Mathematik, D 44221 Dortmund (e-mail: stein@math.uni-dortmund.de) Received: 8 November 1995 / Revised version: Mathematics Subject
More informationQualitative Theory of Differential Equations and Dynamics of Quadratic Rational Functions
Nonl. Analysis and Differential Equations, Vol. 2, 2014, no. 1, 45-59 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/nade.2014.3819 Qualitative Theory of Differential Equations and Dynamics of
More informationOn the regular leaf space of the cauliflower
On the regular leaf space of the cauliflower Tomoki Kawahira Department of Mathematics Graduate School of Science Kyoto University Email: kawahira@math.kyoto-u.ac.jp June 4, 2003 Abstract We construct
More informationTOPOLOGICAL DYNAMICS OF DIANALYTIC MAPS ON KLEIN SURFACES
Submitted to Topology Proceedings TOPOLOGICAL DYNAMICS OF DIANALYTIC MAPS ON KLEIN SURFACES JANE HAWKINS Abstract. We study analytic maps of the sphere, the torus and the punctured plane with extra symmetries;
More informationOn the local connectivity of limit sets of Kleinian groups
On the local connectivity of limit sets of Kleinian groups James W. Anderson and Bernard Maskit Department of Mathematics, Rice University, Houston, TX 77251 Department of Mathematics, SUNY at Stony Brook,
More informationMATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5
MATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5.. The Arzela-Ascoli Theorem.. The Riemann mapping theorem Let X be a metric space, and let F be a family of continuous complex-valued functions on X. We have
More informationRiemann sphere and rational maps
Chapter 3 Riemann sphere and rational maps 3.1 Riemann sphere It is sometimes convenient, and fruitful, to work with holomorphic (or in general continuous) functions on a compact space. However, we wish
More informationThe quasi-fatou set in quasiregular dynamics
The quasi-fatou set in quasiregular dynamics Dan Nicks University of Nottingham July 2018 Talk overview Quick introduction to quasiregular maps on R d. These generalize analytic functions on C. Survey
More informationCOMPUTING POLYNOMIAL CONFORMAL MODELS FOR LOW-DEGREE BLASCHKE PRODUCTS
COMPUTING POLYNOMIAL CONFORMAL MODELS FOR LOW-DEGREE BLASCHKE PRODUCTS TREVOR RICHARDS AND MALIK YOUNSI Abstract. For any finite Blaschke product B, there is an injective analytic map ϕ : D C and a polynomial
More information3 Fatou and Julia sets
3 Fatou and Julia sets The following properties follow immediately from our definitions at the end of the previous chapter: 1. F (f) is open (by definition); hence J(f) is closed and therefore compact
More informationPeak Point Theorems for Uniform Algebras on Smooth Manifolds
Peak Point Theorems for Uniform Algebras on Smooth Manifolds John T. Anderson and Alexander J. Izzo Abstract: It was once conjectured that if A is a uniform algebra on its maximal ideal space X, and if
More informationSiegel Discs in Complex Dynamics
Siegel Discs in Complex Dynamics Tarakanta Nayak, Research Scholar Department of Mathematics, IIT Guwahati Email: tarakanta@iitg.ernet.in 1 Introduction and Definitions A dynamical system is a physical
More informationPERIODIC POINTS ON THE BOUNDARIES OF ROTATION DOMAINS OF SOME RATIONAL FUNCTIONS
Imada, M. Osaka J. Math. 51 (2014), 215 224 PERIODIC POINTS ON THE BOUNDARIES OF ROTATION DOMAINS OF SOME RATIONAL FUNCTIONS MITSUHIKO IMADA (Received March 28, 2011, revised July 24, 2012) Abstract We
More informationIn this paper we consider complex analytic rational maps of the form. F λ (z) = z 2 + c + λ z 2
Rabbits, Basilicas, and Other Julia Sets Wrapped in Sierpinski Carpets Paul Blanchard, Robert L. Devaney, Antonio Garijo, Sebastian M. Marotta, Elizabeth D. Russell 1 Introduction In this paper we consider
More informationMöbius Transformation
Möbius Transformation 1 1 June 15th, 2010 Mathematics Science Center Tsinghua University Philosophy Rigidity Conformal mappings have rigidity. The diffeomorphism group is of infinite dimension in general.
More informationA note on a construction of J. F. Feinstein
STUDIA MATHEMATICA 169 (1) (2005) A note on a construction of J. F. Feinstein by M. J. Heath (Nottingham) Abstract. In [6] J. F. Feinstein constructed a compact plane set X such that R(X), the uniform
More informationIV. Conformal Maps. 1. Geometric interpretation of differentiability. 2. Automorphisms of the Riemann sphere: Möbius transformations
MTH6111 Complex Analysis 2009-10 Lecture Notes c Shaun Bullett 2009 IV. Conformal Maps 1. Geometric interpretation of differentiability We saw from the definition of complex differentiability that if f
More informationQuasi-conformal maps and Beltrami equation
Chapter 7 Quasi-conformal maps and Beltrami equation 7. Linear distortion Assume that f(x + iy) =u(x + iy)+iv(x + iy) be a (real) linear map from C C that is orientation preserving. Let z = x + iy and
More informationA TALE OF TWO CONFORMALLY INVARIANT METRICS
A TALE OF TWO CONFORMALLY INVARIANT METRICS H. S. BEAR AND WAYNE SMITH Abstract. The Harnack metric is a conformally invariant metric defined in quite general domains that coincides with the hyperbolic
More informationTHE VOLUME OF A HYPERBOLIC 3-MANIFOLD WITH BETTI NUMBER 2. Marc Culler and Peter B. Shalen. University of Illinois at Chicago
THE VOLUME OF A HYPERBOLIC -MANIFOLD WITH BETTI NUMBER 2 Marc Culler and Peter B. Shalen University of Illinois at Chicago Abstract. If M is a closed orientable hyperbolic -manifold with first Betti number
More informationHyperbolic Component Boundaries
Hyperbolic Component Boundaries John Milnor Stony Brook University Gyeongju, August 23, 2014 Revised version. The conjectures on page 16 were problematic, and have been corrected. The Problem Hyperbolic
More informationPart II. Geometry and Groups. Year
Part II Year 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2014 Paper 4, Section I 3F 49 Define the limit set Λ(G) of a Kleinian group G. Assuming that G has no finite orbit in H 3 S 2, and that Λ(G),
More informationLecture 14 Conformal Mapping. 1 Conformality. 1.1 Preservation of angle. 1.2 Length and area. MATH-GA Complex Variables
Lecture 14 Conformal Mapping MATH-GA 2451.001 Complex Variables 1 Conformality 1.1 Preservation of angle The open mapping theorem tells us that an analytic function such that f (z 0 ) 0 maps a small neighborhood
More informationOpen Research Online The Open University s repository of research publications and other research outputs
Open Research Online The Open University s repository of research publications and other research outputs A counterexample to a continued fraction conjecture Journal Item How to cite: Short, Ian (2006).
More informationM 597 LECTURE NOTES TOPICS IN MATHEMATICS COMPLEX DYNAMICS
M 597 LECTURE NOTES TOPICS IN MATHEMATICS COMPLEX DYNAMICS LUKAS GEYER Contents 1. Introduction 2 2. Newton s method 2 3. Möbius transformations 4 4. A first look at polynomials and the Mandelbrot set
More information3. 4. Uniformly normal families and generalisations
Summer School Normal Families in Complex Analysis Julius-Maximilians-Universität Würzburg May 22 29, 2015 3. 4. Uniformly normal families and generalisations Aimo Hinkkanen University of Illinois at Urbana
More informationRiemann Mapping Theorem (4/10-4/15)
Math 752 Spring 2015 Riemann Mapping Theorem (4/10-4/15) Definition 1. A class F of continuous functions defined on an open set G is called a normal family if every sequence of elements in F contains a
More informationDYNAMICAL DESSINS ARE DENSE
DYNAMICAL DESSINS ARE DENSE CHRISTOPHER J. BISHOP AND KEVIN M. PILGRIM Abstract. We apply a recent result of the first author to prove the following result: any continuum in the plane can be approximated
More informationResearch Article Attracting Periodic Cycles for an Optimal Fourth-Order Nonlinear Solver
Abstract and Applied Analysis Volume 01, Article ID 63893, 8 pages doi:10.1155/01/63893 Research Article Attracting Periodic Cycles for an Optimal Fourth-Order Nonlinear Solver Mi Young Lee and Changbum
More informationRESEARCH ARTICLE. A family of elliptic functions with Julia set the whole sphere
Journal of Difference Equations and Applications Vol. 00, No. 00, January 008, 1 15 RESEARCH ARTICLE A family of elliptic functions with Julia set the whole sphere Jane Hawkins (Received 00 Month 00x;
More informationThe Riemann hypothesis and holomorphic index in complex dynamics
The Riemann hypothesis and holomorphic index in complex dynamics Tomoki Kawahira Tokyo Institute of Technology July 2, 2016 Abstract We present an interpretation of the Riemann hypothesis in terms of complex
More informationDavid E. Barrett and Jeffrey Diller University of Michigan Indiana University
A NEW CONSTRUCTION OF RIEMANN SURFACES WITH CORONA David E. Barrett and Jeffrey Diller University of Michigan Indiana University 1. Introduction An open Riemann surface X is said to satisfy the corona
More informationA Fixed point Theorem for Holomorphic Maps S. Dineen, J.F. Feinstein, A.G. O Farrell and R.M. Timoney
A Fixed point Theorem for Holomorphic Maps S. Dineen, J.F. Feinstein, A.G. O Farrell and R.M. Timoney Abstract. We consider the action on the maximal ideal space M of the algebra H of bounded analytic
More informationIII. Consequences of Cauchy s Theorem
MTH6 Complex Analysis 2009-0 Lecture Notes c Shaun Bullett 2009 III. Consequences of Cauchy s Theorem. Cauchy s formulae. Cauchy s Integral Formula Let f be holomorphic on and everywhere inside a simple
More informationTheorem 1. Suppose that is a Fuchsian group of the second kind. Then S( ) n J 6= and J( ) n T 6= : Corollary. When is of the second kind, the Bers con
ON THE BERS CONJECTURE FOR FUCHSIAN GROUPS OF THE SECOND KIND DEDICATED TO PROFESSOR TATSUO FUJI'I'E ON HIS SIXTIETH BIRTHDAY Toshiyuki Sugawa x1. Introduction. Supposebthat D is a simply connected domain
More informationQualifying Exam Complex Analysis (Math 530) January 2019
Qualifying Exam Complex Analysis (Math 53) January 219 1. Let D be a domain. A function f : D C is antiholomorphic if for every z D the limit f(z + h) f(z) lim h h exists. Write f(z) = f(x + iy) = u(x,
More informationFixed Points & Fatou Components
Definitions 1-3 are from [3]. Definition 1 - A sequence of functions {f n } n, f n : A B is said to diverge locally uniformly from B if for every compact K A A and K B B, there is an n 0 such that f n
More information5.3 The Upper Half Plane
Remark. Combining Schwarz Lemma with the map g α, we can obtain some inequalities of analytic maps f : D D. For example, if z D and w = f(z) D, then the composition h := g w f g z satisfies the condition
More informationPart II. Riemann Surfaces. Year
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 96 Paper 2, Section II 23F State the uniformisation theorem. List without proof the Riemann surfaces which are uniformised
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationNewton s method and voronoi diagram
2015; 1(3): 129-134 ISSN Print: 2394-7500 ISSN Online: 2394-5869 Impact Factor: 3.4 IJAR 2015; 1(3): 129-134 www.allresearchjournal.com Received: 20-12-2014 Accepted: 22-01-2015 Anudeep Nain M. SC. 2nd
More informationEXTENDED LAGUERRE INEQUALITIES AND A CRITERION FOR REAL ZEROS
EXTENDED LAGUERRE INEQUALITIES AND A CRITERION FOR REAL ZEROS DAVID A. CARDON Abstract. Let fz) = e bz2 f z) where b 0 and f z) is a real entire function of genus 0 or. We give a necessary and sufficient
More informationCHAOTIC UNIMODAL AND BIMODAL MAPS
CHAOTIC UNIMODAL AND BIMODAL MAPS FRED SHULTZ Abstract. We describe up to conjugacy all unimodal and bimodal maps that are chaotic, by giving necessary and sufficient conditions for unimodal and bimodal
More informationNotes on Tan s theorem on similarity between the Mandelbrot set and the Julia sets
Notes on Tan s theorem on similarity between the Mandelbrot set and the Julia sets Tomoi Kawahira Abstract This note gives a simplified proof of the similarity between the Mandelbrot set and the quadratic
More informationAn alternative proof of Mañé s theorem on non-expanding Julia sets
An alternative proof of Mañé s theorem on non-expanding Julia sets Mitsuhiro Shishikura and Tan Lei Abstract We give a proof of the following theorem of Mañé: A forward invariant compact set in the Julia
More informationA NEW LINDELOF SPACE WITH POINTS G δ
A NEW LINDELOF SPACE WITH POINTS G δ ALAN DOW Abstract. We prove that implies there is a zero-dimensional Hausdorff Lindelöf space of cardinality 2 ℵ1 which has points G δ. In addition, this space has
More informationCONFORMAL MODELS AND FINGERPRINTS OF PSEUDO-LEMNISCATES
CONFORMAL MODELS AND FINGERPRINTS OF PSEUDO-LEMNISCATES TREVOR RICHARDS AND MALIK YOUNSI Abstract. We prove that every meromorphic function on the closure of an analytic Jordan domain which is sufficiently
More informationON THE MARGULIS CONSTANT FOR KLEINIAN GROUPS, I
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 21, 1996, 439 462 ON THE MARGULIS CONSTANT FOR KLEINIAN GROUPS, I F.W. Gehring and G.J. Martin University of Michigan, Department of Mathematics
More informationINDECOMPOSABILITY IN INVERSE LIMITS WITH SET-VALUED FUNCTIONS
INDECOMPOSABILITY IN INVERSE LIMITS WITH SET-VALUED FUNCTIONS JAMES P. KELLY AND JONATHAN MEDDAUGH Abstract. In this paper, we develop a sufficient condition for the inverse limit of upper semi-continuous
More informationSingular Perturbations in the McMullen Domain
Singular Perturbations in the McMullen Domain Robert L. Devaney Sebastian M. Marotta Department of Mathematics Boston University January 5, 2008 Abstract In this paper we study the dynamics of the family
More informationYuqing Chen, Yeol Je Cho, and Li Yang
Bull. Korean Math. Soc. 39 (2002), No. 4, pp. 535 541 NOTE ON THE RESULTS WITH LOWER SEMI-CONTINUITY Yuqing Chen, Yeol Je Cho, and Li Yang Abstract. In this paper, we introduce the concept of lower semicontinuous
More informationDYNAMICS ON THE CIRCLE I
DYNAMICS ON THE CIRCLE I SIDDHARTHA GADGIL Dynamics is the study of the motion of a body, or more generally evolution of a system with time, for instance, the motion of two revolving bodies attracted to
More informationTitle Project Summary
Title Project Summary The aim of the project is an estimation theory of those special functions of analysis called zeta functions after the zeta function of Euler (1730). The desired estimates generalize
More informationarxiv: v1 [math.ds] 13 Oct 2017
INVISIBLE TRICORNS IN REAL SLICES OF RATIONAL MAPS arxiv:1710.05071v1 [math.ds] 13 Oct 2017 RUSSELL LODGE AND SABYASACHI MUKHERJEE Abstract. One of the conspicuous features of real slices of bicritical
More informationMultiple attractors in Newton's method
Ergod. Th. & Dynam. Sys. (1986), 6, 561-569 Printed in Great Britain Multiple attractors in Newton's method MIKE HURLEY Department of Mathematics and Statistics, Case Western Reserve University, Cleveland,
More informationRIEMANN MAPPING THEOREM
RIEMANN MAPPING THEOREM VED V. DATAR Recall that two domains are called conformally equivalent if there exists a holomorphic bijection from one to the other. This automatically implies that there is an
More informationTopology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved.
Topology Proceedings Web: http://topology.auburn.edu/tp/ Mail: Topology Proceedings Department of Mathematics & Statistics Auburn University, Alabama 36849, USA E-mail: topolog@auburn.edu ISSN: 0146-4124
More informationJULIA SETS AND BIFURCATION DIAGRAMS FOR EXPONENTIAL MAPS
BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 11, Number 1, July 1984 JULIA SETS AND BIFURCATION DIAGRAMS FOR EXPONENTIAL MAPS BY ROBERT L. DEVANEY ABSTRACT. We describe some of the
More informationINVISIBLE TRICORNS IN REAL SLICES OF RATIONAL MAPS
INVISIBLE TRICORNS IN REAL SLICES OF RATIONAL MAPS RUSSELL LODGE AND SABYASACHI MUKHERJEE Abstract. One of the conspicuous features of real slices of bicritical rational maps is the existence of tricorn-type
More informationAn introduction to holomorphic dynamics in one complex variable Informal notes Marco Abate
An introduction to holomorphic dynamics in one complex variable Informal notes Marco Abate Dipartimento di Matematica, Università di Pisa Largo Pontecorvo 5, 56127 Pisa E-mail: abate@dm.unipi.it November
More informationMATH 566 LECTURE NOTES 6: NORMAL FAMILIES AND THE THEOREMS OF PICARD
MATH 566 LECTURE NOTES 6: NORMAL FAMILIES AND THE THEOREMS OF PICARD TSOGTGEREL GANTUMUR 1. Introduction Suppose that we want to solve the equation f(z) = β where f is a nonconstant entire function and
More informationLECTURE Itineraries We start with a simple example of a dynamical system obtained by iterating the quadratic polynomial
LECTURE. Itineraries We start with a simple example of a dynamical system obtained by iterating the quadratic polynomial f λ : R R x λx( x), where λ [, 4). Starting with the critical point x 0 := /2, we
More informationCOMPOSITION SEMIGROUPS ON BMOA AND H AUSTIN ANDERSON, MIRJANA JOVOVIC, AND WAYNE SMITH
COMPOSITION SEMIGROUPS ON BMOA AND H AUSTIN ANDERSON, MIRJANA JOVOVIC, AND WAYNE SMITH Abstract. We study [ϕ t, X], the maximal space of strong continuity for a semigroup of composition operators induced
More informationarxiv:math/ v1 [math.ds] 26 Apr 1995
COMMUTING POLYNOMIALS AND POLYNOMIALS WITH SAME JULIA SET arxiv:math/9504210v1 [math.ds] 26 Apr 1995 Pau Atela Jun Hu April, 1995 Abstract. It has been known since Julia that polynomials commuting under
More informationDynamics of Tangent. Robert L. Devaney Department of Mathematics Boston University Boston, Mass Linda Keen
Dynamics of Tangent Robert L. Devaney Department of Mathematics Boston University Boston, Mass. 02215 Linda Keen Department of Mathematics Herbert H. Lehman College, CUNY Bronx, N.Y. 10468 Abstract We
More informationLocal dynamics of holomorphic maps
5 Local dynamics of holomorphic maps In this chapter we study the local dynamics of a holomorphic map near a fixed point. The setting will be the following. We have a holomorphic map defined in a neighbourhood
More informationDIFFERENTIABLE CONJUGACY NEAR COMPACT INVARIANT MANIFOLDS
DIFFERENTIABLE CONJUGACY NEAR COMPACT INVARIANT MANIFOLDS CLARK ROBINSON 0. Introduction In this paper 1, we show how the differentiable linearization of a diffeomorphism near a hyperbolic fixed point
More informationQUASINORMAL FAMILIES AND PERIODIC POINTS
QUASINORMAL FAMILIES AND PERIODIC POINTS WALTER BERGWEILER Dedicated to Larry Zalcman on his 60th Birthday Abstract. Let n 2 be an integer and K > 1. By f n we denote the n-th iterate of a function f.
More informationA CHARACTERIZATION OF POWER HOMOGENEITY G. J. RIDDERBOS
A CHARACTERIZATION OF POWER HOMOGENEITY G. J. RIDDERBOS Abstract. We prove that every -power homogeneous space is power homogeneous. This answers a question of the author and it provides a characterization
More informationABELIAN COVERINGS, POINCARÉ EXPONENT OF CONVERGENCE AND HOLOMORPHIC DEFORMATIONS
Annales Academiæ Scientiarum Fennicæ Series A. I. Mathematica Volumen 20, 1995, 81 86 ABELIAN COVERINGS, POINCARÉ EXPONENT OF CONVERGENCE AND HOLOMORPHIC DEFORMATIONS K. Astala and M. Zinsmeister University
More informationRiemann surfaces. 3.1 Definitions
3 Riemann surfaces In this chapter we define and give the first properties of Riemann surfaces. These are the holomorphic counterpart of the (real) differential manifolds. We will see how the Fuchsian
More informationarxiv:math/ v1 [math.gt] 15 Aug 2003
arxiv:math/0308147v1 [math.gt] 15 Aug 2003 CIRCLE PACKINGS ON SURFACES WITH PROJECTIVE STRUCTURES AND UNIFORMIZATION SADAYOSHI KOJIMA, SHIGERU MIZUSHIMA, AND SER PEOW TAN Abstract. Let Σ g be a closed
More informationThe ideal of Sierpiński-Zygmund sets on the plane
The ideal of Sierpiński-Zygmund sets on the plane Krzysztof P lotka Department of Mathematics, West Virginia University Morgantown, WV 26506-6310, USA kplotka@math.wvu.edu and Institute of Mathematics,
More informationHolomorphic Dynamics Part 1. Holomorphic dynamics on the Riemann sphere
Holomorphic Dynamics 628-10 Part 1. Holomorphic dynamics on the Riemann sphere In this part we consider holomorphic maps of the Riemann sphere onto itself. 1 Lyapunov stability. Fatou and Julia sets Here
More informationQuasiconformal Maps and Circle Packings
Quasiconformal Maps and Circle Packings Brett Leroux June 11, 2018 1 Introduction Recall the statement of the Riemann mapping theorem: Theorem 1 (Riemann Mapping). If R is a simply connected region in
More informationWEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS
WEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS YIFEI ZHAO Contents. The Weierstrass factorization theorem 2. The Weierstrass preparation theorem 6 3. The Weierstrass division theorem 8 References
More informationExtension of continuous functions in digital spaces with the Khalimsky topology
Extension of continuous functions in digital spaces with the Khalimsky topology Erik Melin Uppsala University, Department of Mathematics Box 480, SE-751 06 Uppsala, Sweden melin@math.uu.se http://www.math.uu.se/~melin
More informationFoliation dynamics, shape and classification
Foliation dynamics, shape and classification Steve Hurder University of Illinois at Chicago www.math.uic.edu/ hurder Theorem: [Denjoy, 1932] There exist a C 1 -foliation F of codimension-1 with an exceptional
More informationarxiv: v1 [math.gn] 6 Jul 2016
COMPLETENESS PROPERTIES OF THE OPEN-POINT AND BI-POINT-OPEN TOPOLOGIES ON C(X) arxiv:1607.01491v1 [math.gn] 6 Jul 2016 ANUBHA JINDAL, R. A. MCCOY, S. KUNDU, AND VARUN JINDAL Abstract. This paper studies
More informationON CHARACTERISTIC 0 AND WEAKLY ALMOST PERIODIC FLOWS. Hyungsoo Song
Kangweon-Kyungki Math. Jour. 11 (2003), No. 2, pp. 161 167 ON CHARACTERISTIC 0 AND WEAKLY ALMOST PERIODIC FLOWS Hyungsoo Song Abstract. The purpose of this paper is to study and characterize the notions
More informationMöbius transformations Möbius transformations are simply the degree one rational maps of C: cz + d : C C. ad bc 0. a b. A = c d
Möbius transformations Möbius transformations are simply the degree one rational maps of C: where and Then σ A : z az + b cz + d : C C ad bc 0 ( ) a b A = c d A σ A : GL(2C) {Mobius transformations } is
More informationarxiv:math/ v1 [math.gr] 24 Oct 2005
arxiv:math/0510511v1 [math.gr] 24 Oct 2005 DENSE SUBSETS OF BOUNDARIES OF CAT(0) GROUPS TETSUYA HOSAKA Abstract. In this paper, we study dense subsets of boundaries of CAT(0) groups. Suppose that a group
More informationON CRITICAL VALUES OF POLYNOMIALS WITH REAL CRITICAL POINTS
ON CRITICAL VALUES OF POLYNOMIALS WITH REAL CRITICAL POINTS AIMO HINKKANEN AND ILGIZ KAYUMOV Abstract. Let f be a polynomial of degree at least 2 with f = and f =. Suppose that all the zeros of f are real.
More information