We consider the dynamics of semi-hyperbolic semigroups generated by finitely many rational maps on the Riemann sphere. Assuming that the nice open set condition holds it is proved that there exists a geometric measure on the Julia set with exponent $h$ equal to the Hausdorff dimension of the Julia set. Both $h$-dimensional Hausdorff and packing measures are finite and positive on the Julia set and are mutually equivalent with Radon-Nikodym derivatives uniformly separated from zero and infinity. All three fractal dimensions, Hausdorff, packing and box counting are equal. It is also proved that for the canonically associated skew-product map there exists a unique $h$-conformal measure. Furthermore, it is shown that this conformal measure admits a unique Borel probability absolutely continuous invariant (under the skew-product map) measure. In fact these two measures are equivalent, and the invariant measure is metrically exact, hence ergodic.
We consider the dynamics of rational semigroups (semigroups of rational maps) on the Riemann sphere. We provide proof that a random backward iteration algorithm to draw the pictures of the Julia sets, previously proven to work in the context of iteration of a rational map of degree two or more, extends to finitely generated rational semigroups (of a certain type). We also provide some consequences of this result.
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 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…
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 investigate the dynamics of semigroups generated by a family of polynomial maps on the Riemann sphere such that the postcritical set in the complex plane is bounded. The Julia set of such a semigroup may not be connected in general. We show that for such a polynomial semigroup, if $A$ and $B$ are two connected components of the Julia set, then one of $A$ and $B$ surrounds the other. From this, it is shown that each connected component of the Fatou set is either simply or doubly connected. Moreover, we show that the Julia set of such a semigroup is uniformly perfect. An upper estimate of the…
We extend a result regarding the Random Backward Iteration algorithm for drawing Julia sets (known to work for certain rational semigroups containing a non-Möbius element) to a class of Möbius semigroups which includes certain settings not yet been dealt with in the literature, namely, when the Julia set is not a thick attractor in the sense given in [David Fried, Sebastian. M. Marotta, and Rich Stankewitz, Complex dynamics of Möbius semigroups, Ergodic Theory Dynam. Systems, 32(6):1889--1929, 2012].
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 the allowance of certain exceptional cases.
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…
In holomorphic semigroup dynamics, Julia set is in general backward invariant and so some fundamental results of classical complex dynamics can not be generalized to semigroup dynamics. In this paper, we define completely invariant Julia set of transcendental semigroup and we see how far the results of classical transcendental dynamics generalized to transcendental semigroup dynamics.
We investigate the dynamics of semigroups of rational maps on the Riemann sphere. To establish a fractal theory of the Julia sets of infinitely generated semigroups of rational maps, we introduce a new class of semigroups which we call nicely expanding rational semigroups. More precisely, we prove Bowen's formula for the Hausdorff dimension of the pre-Julia sets, which we also introduce in this paper. We apply our results to the study of the Julia sets of non-hyperbolic rational semigroups. For these results, we do not assume the cone condition, which has been assumed in the study of infinite …
We estimate the upper box and Hausdorff dimensions of the Julia set of an expanding semigroup generated by finitely many rational functions, using the thermodynamic formalism in ergodic theory. Furthermore, we show Bowen's formula, and the existence and uniqueness of a conformal measure, for a finitely generated expanding semigroup satisfying the open set condition. What we discuss is the `backward iterated function systems', and since the generator maps are not injective in general, we need some efforts to estimate the measure of disks.
We discuss the dynamics of semigroups of transcendental entire functions using Fatou-Julia theory and provide a condition for the complete invariance of escaping set and Julia set of transcendental semigroups. Results regarding limit functions and postsingular set are also derived. In addition, classes of hyperbolic and postsingularly bounded transcendental semigroups are given. We also provide certain criterion for non existence of wandering domains of transcendental semigroups.
We mainly generalize the notion of abelian transcendental semigroup to nearly abelian transcendental semigroup. We prove that Fatou set, Julia set and escaping set of nearly abelian transcendental semigroup are completely invariant. We investigate no wandering domain theorem in such a transcendental semigroup. We also obtain results on a complete generalization of the classification of periodic Fatou components.
In this paper, we prove that escaping set of transcendental semigroup is S-forward invariant. We also prove that if holomorphic semigroup is abelian, then Fatou set, Julia set and escaping set are S-completely invariant. We see certain cases and conditions that the holomorphic semigroup dynamics exhibits same dynamical behavior just like the classical complex dynamics. Frequently, we also examine certain amount of connection and contrast between classical complex dynamics and holomorphic semigroup dynamics.
We define commutator of a transcendental semigroup, and on the basis of this concept, we define conjugate semigroup. We prove that the conjugate semigroup is nearly abelian if and only if the given semigroup is nearly abelian. We also prove that image of each of escaping set, Julia set and Fatou set under commutator (affine complex conjugating maps) is equal to respectively escaping set, Julia set and Fatou set of conjugate semigroup. Finally, we prove that every element of the nearly abelian semigroup $ S $ can be written as the composition of an element from the set generated by the set of c…
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 investigate the dynamics of semigroups generated by a family of 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. We show that for such a polynomial semigroup, if $A$ and $B$ are two connected components of the Julia set, then one of $A$ and $B$ surrounds the other. Moreover, we show that for any $n\in \Bbb{N} \cup \{\aleph_{0}\} ,$ there exists a finitely generated polynomial semigroup with bounded planar postcritical set such that the cardinality of the set of all co…
We investigate to what extent Fatou set, Julia set and escaping set of transcendental semigroup is respectively equal to the Fatou set, Julia set and escaping set of its subsemigroup. We define partial fundamental set and fundamental set of transcendental semigroup and on the basis of this set, we prove that Fatou set and escaping set of transcendental semigroup $ S $ are non-empty.
We consider fiber-preserving complex dynamics on fiber bundles whose fibers are Riemann spheres and whose base spaces are compact metric spaces. In this context, without any assumption on (semi-)hyperbolicity, we show that the fiberwise Julia sets are uniformly perfect. From this result, we show that, for any semigroup $G$ generated by a compact family of rational maps on the Riemann sphere of degree two or greater, the Julia set of any subsemigroup of $G$ is uniformly perfect. We define the semi-hyperbolicity of dynamics on fiber bundles and show that, if the dynamics on a fiber bundle is sem…
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 paper deals with both complex dynamical systems and conformal iterated function systems. We study finitely generated expanding semigroups of rational maps with overlaps on the Riemann sphere. We show that if a $d$-parameter family of such semigroups satisfies the transversality condition, then for almost every parameter value the Hausdorff dimension of the Julia set is the minimum of 2 and the zero of the pressure function. Moreover, the Hausdorff dimension of the exceptional set of parameters is estimated. We also show that if the zero of the pressure function is greater than 2, then typ…
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 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.
Julia and Mandelbrot sets, which characterize bounded orbits in dynamical systems over the complex numbers, are classic examples of fractal sets. We investigate the analogs of these sets for dynamical systems over the hyperbolic numbers. Hyperbolic numbers, which have the form $x+τy$ for $x,y \in \mathbb{R}$, and $τ^2 = 1$ but $τ\neq \pm 1$, are the natural number system in which to encode geometric properties of the Minkowski space $\mathbb{R}^{1,1}$. We show that the hyperbolic analog of the Mandelbrot set parameterizes connectedness of hyperbolic Julia sets. We give a wall-and-chamber decom…
We study the dynamics of an arbitrary semigroup of transcendental entire functions using Fatou-Julia theory. Several results of the dynamics associated with iteration of a transcendental entire function have been extended to transcendental semigroups. We provide some conditions for connectivity of the Julia set of the transcendental semigroups. We also study finitely generated transcendental semigroups, abelian transcendental semigroups and limit functions of transcendental semigroups on its invariant Fatou components.
The goal of this paper is to study some basic properties of the Fatou and Julia sets for a family of holomorphic endomorphisms of $\mathbb{C}^k,\; k \ge 2$. We are particularly interested in studying these sets for semigroups generated by various classes of holomorphic endomorphisms of $\mathbb{C}^k,\; k \ge 2.$ We prove that if the Julia set of a semigroup $G$ which is generated by endomorphisms of maximal generic rank $k$ in $\mathbb{C}^k$ contains an isolated point, then $G$ must contain an element that is conjugate to an upper triangular automorphism of $\mathbb{C}^k.$ This generalizes a t…
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 prove some new continuity results for the Julia sets $J$ and $J^{+}$ of the complex Hénon map $H_{c,a}(x,y)=(x^{2}+c+ay, ax)$, where $a$ and $c$ are complex parameters. We look at the parameter space of dissipative Hénon maps which have a fixed point with one eigenvalue $(1+t)λ$, where $λ$ is a root of unity and $t$ is real and small in absolute value. These maps have a semi-parabolic fixed point when $t$ is $0$, and we use the techniques that we have developed in [RT] for the semi-parabolic case to describe nearby perturbations. We show that for small nonzero $|t|$, the Hénon map is hyperb…
Recently Merenkov and Sabitova introduced the notion of a homogeneous planar set. Using this notion they proved a result for Sierpi${ń}$ski carpet Julia sets of hyperbolic rational maps that relates the diameters of the peripheral circles to the Hausdorff dimension of the Julia set. We extend this theorem to Julia sets (not necessarily Sierpi${ń}$ski carpets) of semi-hyperbolic rational maps, and prove a stronger version of the theorem that was conjectured by Merenkov and Sabitova.
In this paper we study the dynamics of regular polynomial automorphisms of C^n. These maps provide a natural generalization of complex Henon maps in C^2 to higher dimensions. For a given regular polynomial automorphism f we construct a filtration in C^n which has particular escape properties for the orbits of f. In the case when f is hyperbolic we obtain a complete description of its orbits. In the second part of the paper we study the Hausdorff and box dimension of the Julia sets of f. We show that the Julia set J has positive box dimension, and (provided f is not volume preserving) that the …
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.
There are two natural definitions of the Julia set for complex Hénon maps: the sets $J$ and $J^\star$. Whether these two sets are always equal is one of the main open questions in the field. We prove equality when the map acts hyperbolically on the a priori smaller set $J^\star$, under the additional hypothesis of substantial dissipativity. This result was claimed, without using the additional assumption, in the paper [For06], but the proof is incomplete. Our proof closely follows ideas from [For06], deviating at two points where substantial dissipativity is used. We show that $J = J^\star$ al…
We show that Fatou components of a semi-hyperbolic rational map are John domains and that the converse does not hold. This generalizes a famous result of Carleson, Jones and Yoccoz. We show that a connected Julia set is locally connected for a large class of non-uniformly hyperbolic rational maps. This class is more general than semi-hyperbolicity and includes Collet-Eckmann and Topological Collet-Eckmann maps and maps verifying a summability condition (as considered by Graczyk and Smirnov).
We introduce new variants of the notion of geometric pressure for rational functions on the Riemann sphere, including non-hyperbolic functions, in the hope some of them occur useful to achieve a fast approximation from below of the hyperbolic Hausdorff dimension of Julia set.
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…
Let $f:\widehat{\mathbb{C}}\rightarrow \widehat{\mathbb{C}}$ be a hyperbolic rational map of degree $d \geq 2$, and let $J \subset \mathbb{C}$ be its Julia set. We prove that $J$ always has positive Fourier dimension. The case where $J$ is included in a circle follows from a recent work of Sahlsten and Stevens, see arXiv:2009.01703. In the case where $J$ is not included in a circle, we prove that a large family of probability measures supported on $J$ exhibit polynomial Fourier decay: our result applies in particular to the measure of maximal entropy and to the conformal measure.
We consider the dynamics of expanding semigroups generated by finitely many rational maps on the Riemann sphere. We show that for an analytic family of such semigroups, the Bowen parameter function is real-analytic and plurisubharmonic. Combining this with a result obtained by the first author, we show that if for each semigroup of such an analytic family of expanding semigroups satisfies the open set condition, then the function of the Hausdorff dimension of the Julia set is real-analytic and plurisubharmonic. Moreover, we provide an extensive collection of classes of examples of analytic fam…
We give a lower bound of the hyperbolic and the Hausdorff dimension of the Julia set of meromorphic functions of finite order under very general conditions.
We show that the Julia set of a non-elementary rational semigroup G is uniformly perfect when there is a uniform bound on the Lipschitz constants of the generators of G. This also proves that the limit set of a non-elementary Moebius group is uniformly perfect when there is a uniform bound on the Lipschitz constants of the generators of the group and this implies that the limit set of a finitely generated non-elementary Kleinian group is uniformly perfect.
Rational semigroups were introduced by Hinkkanen and Martin as a generalization of the iteration of a single rational map. There has subsequently been much interest in the study of rational semigroups. Quasiregular semigroups were introduced shortly after rational semigroups as analogues in higher real dimensions, but have received far less attention. Each map in a quasiregular semigroup must necessarily be a uniformly quasiregular map. While there is a completely viable theory for the iteration of uniformly quasiregular maps, it is a highly non-trivial matter to construct them. In this paper,…
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 dynamics arising from the iteration of an arbitrary sequence of polynomials with uniformly bounded degrees and coefficients and show that, as parameters vary within a single hyperbolic component in parameter space, certain properties of the corresponding Julia sets are preserved. In particular, we show that if the sequence is hyperbolic and all the Julia sets are connected, then the whole basin at infinity moves holomorphically. This extends also to the landing points of external rays and the resultant holomorphic motion of the Julia sets coincides with that obtained earlier us…
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.
In this paper, we mainly study hyperbolic semigroups from which we get non-empty escaping set and Eremenko's conjecture remains valid. We prove that if each generator of bounded type transcendental semigroup S is hyperbolic, then the semigroup is itself hyperbolic and all components of I(S) are unbounded
We consider the dynamics of rational semigroups (semigroups of rational maps) on the Riemann sphere. We estimate the Bowen parameters (zeros of the pressure functions) and the Hausdorff dimensions of the Julia sets of expanding finitely generated rational semigroups. We show that the Bowen parameter is larger than or equal to the ratio of the entropy of the skew product map $F$ and the Lyapunov exponent of $F$ with respect to the maximal entropy measure for $F$. Moreover, we show that the equality holds if and only if the generators $f_{j}$ are simultaneously conjugate to the form $a_{j}z^{\pm…
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.
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…
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…
Let $g$ be a polynomial automorphism of $\C^2$. We study the Hausdorff dimension and topological dimension of the Julia set of $g$. We show that when $g$ is a hyperbolic mapping, then the Hausdorff dimension of the Julia set is strictly greater than its topological dimension. Moreover, the Julia set cannot be locally connected. We also provide estimates for the dimension of the Julia sets in the general (not necessarily hyperbolic) case.
We study rational functions satisfying summability conditions - a family of weak conditions on the expansion along the critical orbits. Assuming their appropriate versions, we derive many nice properties: There exists a unique, ergodic, and non-atomic conformal measure with exponent equal to the Hausdorff dimension of the Julia set. There is an absolutely continuous invariant measure with respect to this conformal measure. The Minkowski dimension of the Julia set is strictly less than 2. Either the Julia set is the whole sphere, or the dynamics is unstable. For such polynomials and Blaschke pr…
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.
The McMullen-Sullivan holomorphic motion for topologically conjugate, complex polynomials with connected Julia set follows level sets of the Bottcher coordinate. The Buzzard-Verma holomorphic motion for hyperbolic, unstably connected, polynomial diffeomorphisms of C^2 follows level sets of the Bedford-Smillie solenoid map. It follows that this solenoid map is a conjugacy for those Henon maps that are perturbations of (one-dimensional) hyperbolic maps with connected Julia set.
In this article, we consider hyperbolic rational maps restricted on thier Julia sets and study about the recurrence rate of typical orbits in arbitrarily small neighbourhoods around them and their relationship to the Hausdorff dimension of such small neighbourhoods.
