Let $ R $ be a rational map with totally disconnected Julia set $ J(R). $ If the postcritical set on $ J(R) $ contains a non-persistently recurrent (or conical) point, then we show that the map $ R $ can not be a structurally stable map.
We prove that for every polynomial of one complex variable of degree at least 2 and Julia set not being totally disconnected nor a circle, nor interval, Hausdorff dimension of this Julia set is larger than 1. Till now this was known only in the connected Julia set case. We give also an example of a polynomial with non-connected but not totally disconnected Julia set and such that all its components comprising of more than single points are analytic arcs, thus resolving a question by Christopher Bishop, who asked whether every such component must have Hausdorff dimension larger than 1.
For any integers $d\ge 3$ and $n\ge 1$, we construct a hyperbolic rational map of degree $d$ such that it has $n$ cycles of the connected components of its Julia set except single points and Jordan curves.
For a sequence of complex parameters $\{c_n\}$ we consider the compositions of functions $f_{c_n} (z) = z^2 + c_n$, which is the non-autonomous version of the classical quadratic dynamical system. The definitions of Julia and Fatou sets are naturally generalized to this setting. We answer a question posed by Brück, Büger and Reitz, whether the Julia set for such a sequence is almost always totally disconnected, if the values $c_n$ are chosen randomly from a large disk. Our proof is easily generalized to answer a lot of other related questions regarding typical connectivity of the random Julia …
The goal of this note is to prove the following theorem: Let $p_a(z) = z^2+a$ be a quadratic polynomial which has no irrational indifferent periodic points, and is not infinitely renormalizable. Then the Lebesgue measure of the Julia set $J(p_a)$ is equal to zero. As part of the proof we discuss a property of the critical point to be {\it persistently recurrent}, and relate our results to corresponding ones for real one dimensional maps. In particular, we show that in the persistently recurrent case the restriction $p_a|ω(0)$ is topologically minimal and has zero topological entropy. The Douad…
Using computer graphics and visualization algorithms, we extend in this work the results obtained analytically in [1], on the connectivity domains of alternated Julia sets, defined by switching the dynamics of two quadratic Julia sets. As proved in [1], the alternated Julia sets exhibit, as for polynomials of degree greater than two, the disconnectivity property in addition to the known dichotomy property (connectedness and totally disconnectedness) which characterizes the standard Julia sets. Via computer graphics, we unveil these connectivity domains which are four-dimensional fractals. The …
It is well-known that the Julia set of a hyperbolic rational map is quasisymmetrically equivalent to the standard Cantor set. Using the uniformization theorem of David and Semmes, this result comes down to the fact that such a Julia set is both uniformly perfect and uniformly disconnected. We study the analogous question for Julia sets of UQR maps in $\mathbb{S}^n$, for $n\geq 2$. Introducing hyperbolic UQR maps, we show that the Julia set of such a map is uniformly disconnected if it is totally disconnected. Moreover, we show that if $E$ is a compact, uniformly perfect and uniformly disconnec…
We study the asymptotic expansion of smooth one-dimensional maps. We give an example of an interval map for which the optimal shrinking of components exponential rate is not attained for any neighborhood of a certain fixed point in the boundary of a periodic Fatou component. We prove a general result asserting that, when this happens the components do shrink exponentially, although the rate is not the optimal one. Finally, we give an example of a polynomial with real coefficients, such that all its critical points in the complex plane are real, and such that its asymptotic expansion as a compl…
One of the main questions in the field of complex dynamics is the question whether the Mandelbrot set is locally connected, and related to this, for which maps the Julia set is locally connected. In this paper we shall prove the following Main Theorem: Let $f$ be a polynomial of the form $f(z)=z^d +c$ with $d$ an even integer and $c$ real. Then the Julia set of $f$ is either totally disconnected or locally connected. In particular, the Julia set of $z^2+c$ is locally connected if $c \in [-2,1/4]$ and totally disconnected otherwise.
It is known that the disconnected Julia set of any polynomial map does not contain buried Julia components. But such Julia components may arise for rational maps. The first example is due to Curtis T. McMullen who provided a family of rational maps for which the Julia sets are Cantor of Jordan curves. However all known examples of buried Julia components, up to now, are points or Jordan curves and comes from rational maps of degree at least 5. This paper introduce a family of hyperbolic rational maps with disconnected Julia set whose exchanging dynamics of postcritically separating Julia compo…
We consider the harmonic measure on a disconnected polynomial Julia set in terms of Brownian motion. We show that the harmonic measure of any connected component of such a Julia set is zero. Associated to the polynomial is a combinatorial model, the tree with dynamics. We define a measure on the tree, which is a combinatorial version on harmonic measure. We show that this measure is isomorphic to the harmonic measure on the Julia set. The measure induces a random walk on the tree, which is isomorphic to Brownian motion in the plane.
We explore the connected/disconnected dichotomy for the Julia set of polynomial automorphisms of C^2. We develop several aspects of the question, which was first studied by Bedford-Smillie. We introduce a new sufficient condition for the connectivity of the Julia set, that carries over for certain H{é}non-like and birational maps. We study the structure of disconnected Julia sets and the associated invariant currents. This provides a simple approach to some results of Bedford-Smillie, as well as some new corollaries --the connectedness locus is closed, construction of external rays in the gene…
We prove that every transcendental meromorphic map f with a disconnected Julia set has a weakly repelling fixed point. This implies that the Julia set of Newton's method for finding zeroes of an entire map is connected. Moreover, extending a result of Cowen for holomorphic self-maps of the disc, we show the existence of absorbing domains for holomorphic self-maps of hyperbolic regions whose iterates tend to a boundary point. In particular, the results imply that periodic Baker domains of Newton's method for entire maps are simply connected, which solves a well-known open question.
We give a topological model of the critical locus for complex Hénon maps that are perturbations of the quadratic polynomial with disconnected Julia set.
Hyperbolic numbers are a variation of complex numbers, but their dynamics is quite different. The hyperbolic Mandelbrot set for quadratic functions over hyperbolic numbers is simply a filled square, and the filled Julia set for hyperbolic parameters inside the hyperbolic Mandelbrot set is a filled rectangle. For hyperbolic parameters outside the hyperbolic Mandelbrot set, the filled Julia set has 3 possible topological descriptions, if it is not empty, in contrast to the complex case where it is always a non-empty totally disconnected set. These results were proved in [1,2,4,5,6,7] and are rev…
The following notes provide an introduction to recent work of Branner, Hubbard and Yoccoz on the geometry of polynomial Julia sets. They are an expanded version of lectures given in Stony Brook in Spring 1992. I am indebted to help from the audience. Section 1 describes unpublished work by J.-C. Yoccoz on local connectivity of quadratic Julia sets. It presents only the "easy" part of his work, in the sense that it considers only non-renormalizable polynomials, and makes no effort to describe the much more difficult arguments which are needed to deal with local connectivity in parameter space. …
Let P be a non-linear polynomial, K_P the filled Julia set of P, f a renormalization of P and K_f the filled Julia set of f. We show, loosely speaking, that there is a finite-to-one function λfrom the set of P-external rays having limit points in K_f onto the set of f-external rays to K_f such that R and λ(R) share the same limit set. In particular, if a point of the Julia set J_f=\partial K_f of a renormalization is accessible from C\setminus K_f then it is accessible through an external ray of P (the inverse is obvious). Another interesting corollary is that: a component of K_P\setminus K_f …
We show that the dynamics of sufficiently dissipative semi-Siegel complex Hénon maps with golden-mean rotation number is not $J$-stable in a very strong sense. By the work of Dujardin and Lyubich, this implies that the Newhouse phenomenon occurs for a dense $G_δ$ set of parameters in this family. Another consequence is that the Julia sets of such maps are disconnected for a dense set of parameters.
We discuss the dynamic and structural properties of polynomial semigroups, a natural extension of iteration theory to random (walk) dynamics, where the semigroup $G$ of complex polynomials (under the operation of composition of functions) is such that there exists a bounded set in the plane which contains any finite critical value of any map $g \in G$. In general, the Julia set of such a semigroup $G$ may be disconnected, and each Fatou component of such $G$ is either simply connected or doubly connected (\cite{Su01,Su9}). In this paper, we show that for any two distinct Fatou components of ce…
We look at the maximal entropy (MME) measure of the boundaries of connected components of the Fatou set of a rational map of degree greater than or equal to 2. We show that if there are infinitely many Fatou components, and if either the Julia set is disconnected or the map is hyperbolic, then there can be at most one Fatou component whose boundary has positive MME measure. We also replace hyperbolicity by the more general hypothesis of geometric finiteness.
We investigate the dynamics of $2$-generator semigroups of polynomials with bounded planar postcritical set and associated random dynamics on the Riemann sphere. Also, we investigate the space ${\cal B}$ of such semigroups. We show that for a parameter $h$ in the intersection of ${\cal B}$, the hyperbolicity locus ${\cal H}$ and the closure of the disconnectedness locus (the space of parameters for which the Julia set is disconnected), the corresponding semigroup satisfies either the open set condition (and the Bowen's formula) or that the Julia sets of the two generators coincide. Also, we sh…
This will is an expository description of quadratic rational maps. Sections 2 through 6 are concerned with the geometry and topology of such maps. Sections 7--10 survey of some topics from the dynamics of quadratic rational maps. There are few proofs. Section 9 attempts to explore and picture moduli space by means of complex one-dimensional slices. Section 10 describes the theory of real quadratic rational maps. For convenience in exposition, some technical details have been relegated to appendices: Appendix A outlines some classical algebra. Appendix B describes the topology of the space of r…
We prove that the characterization of the critical locus for complex Hénon maps that are small perturbations of quadratic polynomials with disconnected Julia sets given by Firsova holds in a much larger HOV-like region from the complex horseshoe locus. The techniques of this paper are non-perturbative.
We investigate the dynamics of semigroups generated by polynomial maps on the Riemann sphere such that the postcritical set in the complex plane is bounded. Moreover, we investigate the associated random dynamics of polynomials. Furthermore, we investigate the fiberwise dynamics of skew products related to polynomial semigroups with bounded planar postcritical set. Using uniform fiberwise quasiconformal surgery on a fiber bundle, we show that if the Julia set of such a semigroup is disconnected, then there exist families of uncountably many mutually disjoint quasicircles with uniform dilatatio…
We investigate the dynamics of polynomial semigroups (semigroups generated by a family of polynomial maps on the Riemann sphere) and the random dynamics of polynomials on the Riemann sphere. Combining the dynamics of semigroups and the fiberwise (random) dynamics, we give a classification of polynomial semigroups $G$ such that $G$ is generated by a compact family $Γ$, the planar postcritical set of $G$ is bounded, and $G$ is (semi-) hyperbolic. In one of the classes, we have that for almost every sequence $γ\in Γ^{\Bbb{N}}$, the Julia set $J_γ$ of $γ$ is a Jordan curve but not a quasicircle, t…
We study skew-product dynamics for a large class of finitely-generated semi--hyperbolic semigroups of rational maps acting on the Riemann sphere, which generalizes both the theory of iteration of a single rational map of a single complex variable complex/holomorphic dynamics) and the theory of countable alphabet conformal iterated function systems (CIFSs). We construct the thermodynamic formalism for such dynamical systems and geometric potentials by developing the notion of nice families that extend to the case of our highly disconnected skew product phase space the powerful notion of nice se…
Let $f$ be Fatou's function, that is, $f(z)= z+1+e^{-z}$. We prove that the escaping set of $f$ has the structure of a `spider's web' and we show that this result implies that the non-escaping endpoints of the Julia set of $f$ together with infinity form a totally disconnected set. We also give a well-known transcendental entire function, due to Bergweiler, for which the escaping set is a spider's web and we point out that the same property holds for families of functions.
Much recent work on the iterates of a transcendental entire function $f$ has been motivated by Eremenko's conjecture that all the components of the escaping set $I(f)$ are unbounded. Here we show that if $I(f)$ is disconnected, then the set $I(f)\setminus D$ has uncountably many unbounded components for any open disc $D$ that meets the Julia set of $f$. For the set $A_R(f)$, which is the `core' of the fast escaping set, we prove the much stronger result that for some $R>0$ either $A_R(f)$ is connected and has the structure of an infinite spider's web or it has uncountably many components each …
Given a polynomial diffeomorphism f: C^2 -> C^2 there is a set $J_f\subset{\bf C}^2$ which we call the Julia set of f. The set $J_f\subset C^2$ plays the role of the Julia set $J\subset{\bf C}$ for a polynomial map of C. In the study of polynomial maps of C a great deal of attention has been paid to the connectivity of the Julia set. The focus of this paper is to investigate the J-connected/J-disconnected dichotomy in the case of polynomial diffeomorphisms of C^2. The Jacobian determinant of f is constant. We make the standing assumption that $|det\ Df|\le 1$ (this can always be achieved by re…
We investigate the random dynamics of polynomial maps on the Riemann sphere and the dynamics of semigroups of polynomial maps on the Riemann sphere. In particular, the dynamics of a semigroup $G$ of polynomials whose planar postcritical set is bounded and the associated random dynamics are studied. In general, the Julia set of such a $G$ may be disconnected. We show that if $G$ is such a semigroup, then regarding the associated random dynamics, the chaos of the averaged system disappears in the $C^{0}$ sense, and the function $T_{\infty}$ of probability of tending to $\infty$ is Hölder continu…
An omitted value of a transcendental meromorphic function $f$ is called a Baker omitted value, in short \textit{bov} if there is a disk $D$ centered at the bov such that each component of the boundary of $f^{-1}(D)$ is bounded. Assuming that the bov is in the Fatou set of $f$, this article investigates the dynamics of the function. Firstly, the connectivity of all the Fatou components are determined. If $U$ is the Fatou component containing the bov then it is proved that a Fatou component $U'$ is infinitely connected if and only if it lands on $U$, i.e. $f^{k}(U') \subset U$ for some $k \geq 1…
Iteration of the function $f_λ(z)=λ+ z+\tan z, z \in \mathbb{C}$ is investigated in this article. It is proved that for every $λ$, the Fatou set of $f_λ$ has a completely invariant Baker domain $B$; we call it the primary Fatou component. The rest of the results deals with $f_λ$ when it is topologically hyperbolic. For all real $λ$ or $λ$ such that $ λ=πk +i λ_2$ for some integer $k$ and $0 < λ_2<1$, the only other Fatou component is shown to be another completely invariant Baker domain. It is proved that if $|2+λ^2|<1$, then the Fatou set is the union of $B$ and infinitely many invariant attr…