In this paper, we prove that a rational map with a Cantor Julia set carries no invariant line fields on its Julia set. It follows that a structurally stable rational map with a Cantor Julia set is hyperbolic.
We give three families of parabolic rational maps and show that every Cantor set of circles as the Julia set of a non-hyperbolic rational map must be quasisymmetrically equivalent to the Julia set of one map in these families for suitable parameters. Combining a result obtained before, we give a complete classification of the Cantor circles Julia sets in the sense of quasisymmetric equivalence. Moreover, we study the regularity of the components of the Cantor circles Julia sets and establish a sufficient and necessary condition when a component of a Cantor circles Julia set is a quasicircle.
For Cantor circle Julia sets of hyperbolic rational maps, we prove that they are quasisymmetrically equivalent to standard Cantor circles (i.e., connected components are round circles). This gives a quasisymmetric uniformization of all Cantor circle Julia sets of hyperbolic rational maps. By analyzing the combinatorial information of the rational maps whose Julia sets are Cantor circles, we give a computational formula of the number of the Cantor circle hyperbolic components in the moduli space of rational maps for any fixed degree. We calculate the Hausdorff dimensions of the Julia sets which…
We prove the existence of Cantor Julia sets with Hausdorff dimension two. In particular, such examples can be found in cubic polynomials. The proof is based on the characterization of the parameter spaces and dynamical planes of cubic polynomials by Branner-Hubbard, and the parabolic bifurcation theory developed by Shishikura in 1990s.
In this paper, we give a family of rational maps whose Julia sets are Cantor circles and show that every rational map whose Julia set is a Cantor set of circles must be topologically conjugate to one map in this family on their corresponding Julia sets. In particular, we give the specific expressions of some rational maps whose Julia sets are Cantor circles, but they are not topologically conjugate to any McMullen maps on their Julia sets. Moreover, some non-hyperbolic rational maps whose Julia sets are Cantor circles are also constructed.
By means of a nested sequence of some critical pieces constructed by Kozlovski, Shen, and van Strien, and by using a covering lemma recently proved by Kahn and Lyubich, we prove that the Julia set of a polynomial is a Cantor set if and only if each component of the filled-in Julia set containing critical points is aperiodic. This result was a conjecture raised by Branner and Hubbard in 1992.
Let $f:\hat{\mathbb C}\to\hat{\mathbb C}$ be a hyperbolic rational map of degree $d\ge2$ on the Riemann sphere. We give several conditions which are equivalent to the condition for the Julia set $J_f$ to be a Cantor set. It has been known that $J_f$ is a Cantor sets if and only if there exists a positive integer $n>0$ such that $\bar{f^{-n}(U)}\subset U$ for some open topological disc $U$ containing no critical values. Let $n_f$ denote the minimal positive integer satisfying the above. The problem is whether $n_f=1$ or not. Let $S_d$ denote the shift locus of rational maps of degree $d$. We sh…
For the quadratic family $f_{c}(z) = z^2+c$ with $c$ in the exterior of the Mandelbrot set, it is known that every point in the Julia set moves holomorphically. Let $\hat{c}$ be a semi-hyperbolic parameter in the boundary of the Mandelbrot set. In this paper we prove that for each $z = z(c)$ in the Julia set, the derivative $dz(c)/dc$ is uniformly $O(1/\sqrt{|c-\hat{c}|})$ when $c$ belongs to a parameter ray that lands on $\hat{c}$. We also characterize the degeneration of the dynamics along the parameter ray.
We study the quasisymmetric geometry of the Julia sets of McMullen maps $f_λ(z)=z^m+λ/z^\ell$, where $\ell$, $m\geq 2$ are integers satisfying $1/\ell+1/m<1$ and $λ\in\mathbb{C}\setminus\{0\}$. If the free critical points of $f_λ$ are escaped to the infinity, we prove that the Julia set $J_λ$ of $f_λ$ is quasisymmetrically equivalent to either a standard Cantor set, a standard Cantor set of circles or a round Sierpiński carpet (which is also standard in some sense). If the free critical points are not escaped, we give a sufficient condition on $λ$ such that $J_λ$ is a Sierpiński carpet and pro…
Let f be a transcendental entire map that is subhyperbolic, i.e., the intersection of the Fatou set F(f) and the postsingular set P(f) is compact and the intersection of the Julia set J(f) and P(f) is finite. Assume that no asymptotic value of f belongs to J(f) and that the local degree of f at all points in J(f) is bounded by some finite constant. We prove that there is a hyperbolic map g (of the form g(z)=f(bz) for some complex number b) with connected Fatou set such that f and g are semiconjugate on their Julia sets. Furthermore, we show that this semiconjugacy is a conjugacy when restricte…
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…
In this paper I prove that for a polynomial of degree $d$ with a Cantor Julia set $J$, the Julia set can be understood as the simplest possible quotiont of the one sided shift space $Σ_d$ with dynamics given by the shift. Here simplest possible means that, the projection $π: Σ_d \Rightarrow J$ is as injective as possible.
We prove that for meromorphic maps with logarithmic tracts (e.g. entire or meromorphic maps with a finite number of poles from class $\mathcal B$), the Julia set contains a compact invariant hyperbolic Cantor set of Hausdorff dimension greater than 1. Hence, the hyperbolic dimension of the Julia set is greater than 1.
We build measurable holomorphic motions for Julia sets of holomorphic families of endomorphisms of CP(k) under various equivalent notions of stability.
We give criteria for the escaping set and the Julia set of an entire function to have positive measure. The results are applied to Poincaré functions of semihyperbolic polynomials and to the Weierstraß $σ$-function.
The goal of this article is to study a rigidity property of Julia sets of certain classes of automorphisms in $\mathbb{C}^k$, $k \ge 3.$ First, we study the relation between two polynomial shift-like maps in $\mathbb{C}^k$, $k \ge 3$, that share the same backward and forward Julia sets (or non-escaping sets). Secondly, we study the relationship between any pair of skew products of Hénon maps in $\mathbb{C}^3$ having the same forward and backward Julia sets.
This article deals with the question of local connectivity of the Julia set of polynomials and rational maps. It essentially presents conjectures and questions.
We prove the existence of rational maps whose Julia sets are Sierpiński carpets having positive area. Such rational maps can be constructed such that they either contain a Cremer fixed point, a Siegel disk or are infinitely renormalizable. We also construct some Sierpiński carpet Julia sets with zero area but with Hausdorff dimension two. Moreover, for any given number $s\in(1,2)$, we prove the existence of Sierpiński carpet Julia sets having Hausdorff dimension exactly $s$.
It was known that the Sierpiński carpets can appear as the Julia sets in the families of some rational maps. In this article we present a criterion that guarantees the existence of the carpet Julia sets in some rational maps having exactly one fixed (super-) attracting or parabolic basin. We show that this criterion can be applied to some well known rational maps, such as McMullen maps and Morosawa-Pilgrim family. Moreover, we give also some special examples whose Julia sets are Sierpiński carpets.
We survey the definition of the radial Julia set of a meromorphic function (in fact, more generally, any "Ahlfors islands map"), and give a simple proof that the Hausdorff dimension of the reduced Julia set always coincides with the hyperbolic dimension.
We study the possible Hausdorff limits of the Julia sets and filled Julia sets of subsequences of the sequence of dual Chebyshev polynomials of a non-polar compact set K in C and compare such limits to K. Moreover, we prove that the measures of maximal entropy for the sequence of dual Chebyshev polynomials of K converges weak* to the equilibrium measure on K.
We construct a family of transcendental entire functions whose Julia sets have packing dimension in $(1,2)$. These are the first examples where the computed packing dimension is not $1$ or $2$. Our construction will allow us further show that the set of packing dimensions attained is dense in the interval $(1,2)$, and that the Hausdorff dimension of the Julia sets can be made arbitrarily close to the corresponding packing dimension.
In this paper, we study the large scaled geometric structure of Julia sets of entire and meromorphic functions. Roughly speaking, the structure gives us some asymptotic information about the Julia set near the essential singularity. We will show that part of this structure are determined by the transcendental directions coming from function theoretic point of view.
Let G be a semigroup of rational functions of degree at least two, under composition of functions. Suppose that G contains two polynomials with non-equal Julia sets. We prove that the smallest closed subset of the Riemann sphere which contains at least three points and is completely invariant under each element of G, is the sphere itself.
We show that for each $d\in (0,2]$ there exists a meromorphic function $f$ such that the inverse function of $f$ has three singularities and the Julia set of $f$ has Hausdorff dimension $d$.
We prove that a nonempty, proper subset $S$ of the complex plane can be approximated in a strong sense by polynomial filled Julia sets if and only if $S$ is bounded and $\hat{\mathbb{C}} \setminus \textrm{int}(S)$ is connected. The proof that such a set is approximable by filled Julia sets is constructive and relies on Fekete polynomials. Illustrative examples are presented. We also prove an estimate for the rate of approximation in terms of geometric and potential theoretic quantities.
A. Sannami constructed an example of the differentiable Cantor set embedded in the real line whose difference set has a positive measure. In this paper, we generalize the definition of the difference sets for sets of the two dimensional Euclidean space as the sets of vectors between two sets, and estimate their measures. For the quadratic map Q_c(z)=z^2+c, we obtain that the measure of the difference set of its Julia set vanishes if |c|>3+sqrt{3}.
We show that the Hausdorff dimension of the set of points of bounded orbit in the Julia set of a meromorphic map with a simply connected direct tract and a certain restriction on the singular values is strictly greater than one. This result is obtained by proving new results related to Wiman-Valiron theory.
Using parabolic enrichment, it is shown that Gronwall area formula for the filled Julia set along the boundary of the main cardioid of the Mandelbrot set cannot be well approximated by replacing it by a finite sum. A revised version of this article will appear in the Journal of the London Mathematical Society.
We give examples of infinitely renormalizable quadratic polynomials $F_c: z\maps to z^2+c$ with stationary combinatorics whose Julia sets have Hausdorff dimension arbitrar y close to 1. The combinatorics of the renormalization involved is close to the Chebyshev one . The argument is based upon a new tool, a ``Recursive Quadratic Estimate'' for the Poincaré series of an infinitely re normalizable map.
We present a simple proof of Tan's theorem on asymptotic similarity between the Mandelbrot set and Julia sets at Misiurewicz parameters. Then we give a new perspective on this phenomenon in terms of Zalcman functions, that is, entire functions generated by applying Zalcman's lemma to complex dynamics. We also show asymptotic similarity between the tricorn and Julia sets at Misiurewicz parameters, which is an antiholomorphic counterpart of Tan's theorem.
It is well-known that the Julia set J(f) of a rational map is uniformly perfect; that is, every ring domain which separates J(f) has bounded modulus, with the bound depending only on f. In this article we prove that an analogous result is true in higher dimensions; namely, that the Julia set J(f) of a uniformly quasiregular mapping f in R^n is uniformly perfect. In particular, this implies that the Julia set of a uniformly quasiregular mapping has positive Hausdorff dimension.
The asymptotic behaviour of the solutions of Poincaré's functional equation $f(λz)=p(f(z))$ ($λ>1$) for $p$ a real polynomial of degree $\geq2$ is studied in angular regions of the complex plain. The constancy of an occurring periodic function is characterised in terms of geometric properties of the Julia set of $p$. For real Julia sets we give inequalities for multipliers of Pommerenke-Levin-Yoccoz type. The distribution of zeros of $f$ is related to the harmonic measure on the Julia set of $p$.
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…
For any $ δ>0$ we construct an entire function $f$ with three singular values whose Julia set has Hausdorff dimension at most $1=δ$. Stallard proved that the dimension must be strictly larger than 1 whenever $f$ has a bounded singular set, but no examples with finite singular set and dimension strictly less than 2 were previously known.
We show that, if the Julia set of a transcendental entire function is locally connected, then it takes the form of a spider's web in the sense defined by Rippon and Stallard. In the opposite direction, we prove that a spider's web Julia set is always locally connected at a dense subset of buried points. We also show that the set of buried points (the residual Julia set) can be a spider's web.
In this paper, the main focus is on the Sierpinski carpet Julia sets of the rational maps with non-recurrent critical points. We study the uniform quasicircle property of the peripheral circles, the relatively separated property of the peripheral circles and the locally porous property of these carpets. We also establish some quasisymmetric rigidities of these carpets, which generalizes the main results of Bonk-Lyubich-Merenkov to the postcritically infinite case. In the end we give a strategy to construct a class of postcritically infinite rational maps whose Julia sets are quasisymetrically …
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…
In this paper we settle most of the open questions on algorithmic computability of Julia sets. In particular, we present an algorithm for constructing quadratics whose Julia sets are uncomputable. We also show that a filled Julia set of a polynomial is always computable.
We continue the study of constructing invariant Laplacians on Julia sets, and studying properties of their spectra. In this paper we focus on two types of examples: 1) Julia sets of cubic polynomials $z^3 + c$ with a single critical point; 2) formal matings of quadratic Julia sets. The general scheme introduced in earlier papers in this series involves realizing the Julia set as a circle with identifications, and attempting to obtain the Laplacian as a renormalized limit of graph Laplacians on graphs derived form the circle with identifications model. In the case of cubic Julia sets the detail…
Hereditarily non uniformly perfect (HNUP) sets were introduced by Stankewitz, Sugawa, and Sumi in \cite{SSS} who gave several examples of such sets based on Cantor set-like constructions using nested intervals. We exhibit a class of examples in non-autonomous iteration where one considers compositions of polynomials from a sequence which is in general allowed to vary. In particular, we give a sharp criterion for when Julia sets from our class will be HNUP and we show that the maximum possible Hausdorff dimension of $1$ for these Julia sets can be attained. The proof of the latter considers the…
We extend results by Barnsley et al. about orthogonal polynomials on Julia sets to the case of generalized Julia sets. The equilibrium measure is considered. In addition, we discuss optimal smoothness of Green functions and Parreau-Widom criterion for a special family of real generalized Julia sets.
In this paper we characterize $\w$-limit sets of dendritic Julia sets for quadratic maps. We use Baldwin's symbolic representation of these spaces as a non-Hausdorff itinerary space and prove that quadratic maps with dendritic Julia sets have shadowing, and also that for all such maps, a closed invariant set is an $\w$-limit set of a point if, and only if, it is internally chain transitive.
We construct Feigenbaum quadratic polynomials whose Julia sets have positive Lebesgue measure. They provide first examples of rational maps for which the hyperbolic dimension is different from the Hausdorff dimension of the Julia set. The corresponding set of parameters has positive Hausdorff dimension.
We consider the symmetries of Julia sets of polynomial skew products on C^2, which are birationally conjugate to rotational products. Our main results give the classification of the polynomial skew products whose Julia sets have infinitely many symmetries.
We prove dimension formulas for arihmetic sums of regular Cantor sets, and, more generally, for images of cartesian products of regular Cantor sets by differentiable real maps.
Any finite union of disjoint, mutually exterior Jordan curves in the complex plane can be approximated arbitrarily well in the Hausdorff topology by polynomial Julia sets. Furthermore, the proof is constructive.
We prove that if $ξ$ is a quasisymmetric homeomorphism between Sierpiński carpets that are the Julia sets of postcritically-finite rational maps, then $ξ$ is the restriction of a Möbius transformation to the Julia set. This implies that the group of quasisymmetric homeomorphisms of a Sierpiński carpet Julia set of a postcritically-finite rational map is finite.