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.
The Fatou-Julia decomposition is significant in the study of iterations of holomorphic mappings. Such a decomposition can be also considered for foliations in a unified manner. Although the decomposition will be fundamental in the study, it is not easy to decide the decomposition. In this article, we give a sufficient condition for open sets to be contained in Fatou sets. We also discuss relations between Fatou--Julia decompositions and minimal sets.
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.
We study the dynamics of polynomials with coefficients in a non-Archimedean field $K,$ where $K$ is a field containing a dense subset of algebraic elements over a discrete valued field $k.$ We prove that every wandering Fatou component is contained in the basin of a periodic orbit. We obtain a complete description of the new Julia set points that appear when passing from $K$ to the Berkovich line over $K$. We give a dynamical characterization of polynomials having algebraic Julia sets. More precisely, we establish that a polynomial with algebraic coefficients has algebraic Julia set if every c…
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…
This article gives a precise description of the Fatou sets and Julia sets of matrix-valued polynomials in $\mathcal{M}(2,\mathbb{C})$ in terms of the corresponding polynomials in $\mathbb{C}$. Further, we construct Green functions and Böttcher-type functions for these matrix-valued polynomials.
Many results of the Fatou-Julia iteration theory of rational functions extend to uniformly quasiregular maps in higher dimensions. We obtain results of this type for certain classes of quasiregular maps which are not uniformly quasiregular.
In 2001 E. Ghys, X. Gomez-Mont and J. Saludes defined the Fatou and Julia components of transversely holomorphic foliations on compact manifolds. It is a partition of the manifold in two saturated sets: the Fatou set which represents the non-chaotic part of the foliation and its complementary, the Julia set. Using the Brownian motion transverse to the foliation, it is proved in this paper that, if the foliation is taut and if F is a wandering component of the Fatou set, then almost every point of the topological boundary of F (almost for any harmonic measure on the boundary) is a limit point o…
Not much is known about the dynamics outside the support of the maximal entropy measure $μ$ for holomorphic endomorphisms of $\mathbb{CP}^k$. In this article we study the structure of the dynamics on the Julia set, which is typically larger than $Supp(μ)$. The Julia set is the support of the so-called Green current $T$, so it admits a natural filtration by the supports of the exterior powers of $T$. For $1\leq q \leq k$, let $J_q= Supp(T^q)$. We show that for a generic point of $J_q\setminus J_{q+1}$ there are at least $(k-q)$ "Fatou directions" in the tangent space. We also give estimates for…
In this article, we introduce the concept of normal families of bicomplex holomorphic functions to obtain a bicomplex Montel theorem. Moreover, we give a general definition of Fatou and Julia sets for bicomplex polynomials and we obtain a characterization of bicomplex Fatou and Julia sets in terms of Fatou set, Julia set and filled-in Julia set of one complex variable. Some 3D visual examples of bicomplex Julia sets are also given for the specific slice $\bold{j}=0$.
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 give an alternative way to construct an entire function with quasiconformal surgery so that all its Fatou components are quasi-circles but the Julia set is non-locally connected.
For a sequence $(λ_n)$ of positive real numbers we consider the exponential functions $f_{λ_n} (z) = λ_n e^z$ and the compositions $F_n = f_{λ_n} \circ f_{λ_{n-1}} \circ ... \circ f_{λ_1}$. For such a non-autonomous family we can define the Fatou and Julia sets analogously to the usual case of autonomous iteration. The aim of this document is to study how the Julia set depends on the sequence $(λ_n)$. Among other results, we prove the Julia set for a random sequence $\{λ_n \}$, chosen uniformly from a neighbourhood of $\frac{1}{e}$, is the whole plane with probability $1$. We also prove the Ju…
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.
We will study perturbations of the polynomials $P_λ$, of the form $$Q_λ= P_λ+Q$$ in the space of centered monic polynomials, where $P_λ$ is the polynomial family defined by $$P_λ(z)=\fracλ{p}z^p+(1-\fracλ{p}) z ^{p+1}$$ with $λ\in Λ= \{z: |z-1| <1\}$, studied by Benedetto, who showed that for a dense set of parameters, the polynomials $P_λ$ have a wandering disc contained in the filled Julia set. We will show an analogous result for the family $Q_λ$, obtaining the following consequence: The polynomials $P_λ$ belong to $\bar{\mathrm{E}}_{p+1}$ where $\mathrm{E}_{p+1}$ denotes the set of polynom…
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…
We prove that the meandering set for $f_a(z)=e^z+a$ is homeomorphic to the space of irrational numbers whenever $a$ belongs to the Fatou set of $f_a$. This extends recent results by Vasiliki Evdoridou and Lasse Rempe. It implies that the radial Julia set of $f_a$ has topological dimension zero for all attracting and parabolic parameters, including all $a\in (-\infty,-1]$. Similar results are obtained for Fatou's function $f(z)=z+1+e^{-z}$.
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.
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 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…
Many authors have studied the dynamics of hyperbolic transcendental entire functions; these are those for which the postsingular set is a compact subset of the Fatou set. Equivalenty, they are characterized as being expanding. Mihaljević-Brandt studied a more general class of maps for which finitely many of their postsingular points can be in their Julia set, and showed that these maps are also expanding with respect to a certain orbifold metric. In this paper we generalise these ideas further, and consider a class of maps for which the postsingular set is not even bounded. We are able to prov…
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.
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 …
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…
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…
We study the dynamics of a generic endomorphism $f$ of an Oka-Stein manifold $X$. Such manifolds include all connected linear algebraic groups and, more generally, all Stein homogeneous spaces of complex Lie groups. We give several descriptions of the Fatou set and the Julia set of $f$. In particular, we show that the Julia set is the derived set of the set of attracting periodic points of $f$ and that it is also the closure of the set of repelling periodic points of $f$. Among other results, we prove that $f$ is chaotic on the Julia set and that every periodic point of $f$ is hyperbolic. We a…
The Fatou-Julia iteration theory of rational and transcendental entire functions has recently been extended to quasiregular maps in more than two real dimensions. Our goal in this paper is similar; we extend the iteration theory of analytic self-maps of the punctured plane to quasiregular self-maps of punctured space. We define the Julia set as the set of points for which the complement of the forward orbit of any neighbourhood of the point is a finite set. We show that the Julia set is non-empty, and shares many properties with the classical Julia set of an analytic function. These properties…
We show that a rational function $f$ of degree $>1$ on the projective line over an algebraically closed field that is complete with respect to a non-trivial and non-archimedean absolute value has no potentially good reductions if and only if the Berkovich Julia set of $f$ is uniformly perfect. As an application, a uniform regularity of the boundary of each Berkovich Fatou component of $f$ is also established.
This survey is an introduction to the classification of Fatou components in holomorphic dynamics. We start with the description of the Fatou and Julia sets for rational maps of the Riemann sphere, and finish with an account of the recent results on Fatou components for polynomial skew-products in complex dimension two, where we focus on the key steps in the construction giving the existence of a wandering domain for a polynomial endomorphism of $\mathbb{C}^2$.
This paper consists of tow parts. One is to study the existence of a point $a$ in the intersection of Julia set and escaping set such that $\arg z=θ$ is a singular direction if $θ$ is a limit point of $\{\arg f^n(a)\}$ under some growth condition of a meromorphic function. The other is to study the connection between the Fatou set and singular direction. We prove that the absent of singular direction deduces the non-existence of annuli in the Fatou set.
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…
The purpose of this paper is to initiate a theory concerning the dynamics of asymptotically holomorphic polynomial-like maps. Our maps arise naturally as deep renormalizations of asymptotically holomorphic extensions of $C^r$ ($r>3$) unimodal maps that are infinitely renormalizable of bounded type. Here we prove a version of the Fatou-Julia-Sullivan theorem and a topological straightening theorem in this setting. In particular, these maps do not have wandering domains and their Julia sets are locally connected.
We consider the iteration of quasiregular maps of transcendental type from $\mathbb{R}^d$ to $\mathbb{R}^d$. In particular we study quasi-Fatou components, which are defined as the connected components of the complement of the Julia set. Many authors have studied the components of the Fatou set of a transcendental entire function, and our goal in this paper is to generalise some of these results to quasi-Fatou components. First, we study the number of complementary components of quasi-Fatou components, generalising, and slightly strengthening, a result of Kisaka and Shishikura. Second, we stud…
We prove several results concerning the relative position of points in the postsingular set $P(f)$ of a meromorphic map $f$ and the boundary of a Baker domain or the successive iterates of a wandering component. For Baker domains we answer a question of Mihaljević-Brandt and Rempe-Gillen. For wandering domains we show that if the iterates $U_n$ of such a domain have uniformly bounded diameter, then there exists a sequence of postsingular values $p_n$ such that ${\rm dist}(p_n,\partial U_n)\to 0$ as $n\to \infty$. We also prove that if $U_n \cap P(f)=\emptyset$ and the postsingular set of $f$ l…
We consider the structure of substantially dissipative complex Hénon maps admitting a dominated splitting on the Julia set. The dominated splitting assumption corresponds to the one-dimensional assumption that there are no critical points on the Julia set. Indeed, we prove the corresponding description of the Fatou set, namely that it consists of only finitely many components, each either attracting or parabolic periodic. In particular there are no rotation domains, and no wandering components. Moreover, we show that $J = J^\star$ and the dynamics on $J$ is hyperbolic away from parabolic cycle…
The Fatou-Julia theory for rational functions has been extended both to transcendental meromorphic functions and more recently to several different types of quasiregular mappings in higher dimensions. We extend the iterative theory to quasimeromorphic mappings with an essential singularity at infinity and at least one pole, constructing the Julia set for these maps. We show that this Julia set shares many properties with those for transcendental meromorphic functions and for quasiregular mappings of punctured space.
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…
Let $f$ and $g$ be commuting meromorphic functions with finitely many poles. By studying the behaviour of Fatou components under this commuting relation, we prove that $f$ and $g$ have the same Julia set whenever $f$ and $g$ have no simply connected fast-escaping wandering domains. By combining this with a recent result of Tsantaris', we obtain the strongest statement (to date) regarding the Julia sets of commuting meromorphic functions. In order to highlight the difference to the entire case, we show that transcendental meromorphic functions with finitely many poles have orbits that alternate…
The Fatou-Julia iteration theory of rational functions has been extended to quasiregular mappings in higher dimension by various authors. The purpose of this paper is an analogous extension of the iteration theory of transcendental entire functions. Here the Julia set is defined as the set of all points such that complement of the forward orbit of any neighbourhood has capacity zero. It is shown that for maps which are not of polynomial type the Julia set is non-empty and has many properties of the classical Julia set of transcendental entire functions.
Makienko's conjecture, a proposed addition to Sullivan's dictionary, can be stated as follows: The Julia set of a rational function R has buried points if and only if no component of the Fatou set is completely invariant under the second iterate of R. We prove Makienko's conjecture for rational functions with Julia sets that are decomposable continua. This is a very broad collection of Julia sets; it is not known if there exists a rational functions whose Julia set is an indecomposable continuum.
The behavior of orbits for iterated logistic maps has been widely studied since the dawn of discrete dynamics as a research field, in particular in the context of the complex quadratic family. However, little is is known about orbit behavior if the map changes along with the iterations. We investigate in which ways the traditional theory of Fatou-Julia may still apply in this case, illustrating how the iteration pattern (symbolic template) can affect the topology of the Julia and Mandelbrot sets. We briefly discuss the potential of this extension towards a variety of applications in genetic an…
We consider the dynamics associated with an arbitrary semigroup of transcendental entire functions. Fatou-Julia theory is used to investigate the dynamics of these semigroups. Several results of the dynamics associated with iteration of a transcendental entire function have been extended to transcendental semigroup case. We also investigate the dynamics of conjugate semigroups, Abelian transcendental semigroups and wandering and Baker domains of transcendental semigroups.
