The possibilities for limit functions on a Fatou component for the iteration of a single polynomial or rational function are well understood and quite restricted. In non-autonomous iteration, where one considers compositions of arbitrary polynomials with suitably bounded degrees and coefficients, one should observe a far greater range of behavior. We show this is indeed the case and we exhibit a bounded sequence of quadratic polynomials which has a bounded Fatou component on which one obtains as limit functions every member of the classical Schlicht family of normalized univalent functions on the unit disc. The proof is based on quasiconformal surgery and the use of high iterates of a quadratic polynomial with a Siegel disc which closely approximate the identity on compact subsets. Careful bookkeeping using the hyperbolic metric is required to control the errors in approximating the desired limit functions and ensure that these errors ultimately tend to zero.

Let A be a rational function of one complex variable of degree at least two, and $z_0$ its repelling fixed point with the multiplier $\unicode{x3bb} .$ A Poincaré function associated with $z_0$ is a function meromorphic on ${\mathbb C}$ such that , and In this paper, we study the following problem: given Poincaré functions and , find out if there is an algebraic relation between them and, if such a relation exists, describe the corresponding algebraic curve $f(x,y)=0.$ We provide a solution, which can be viewed as a refinement of the classical theorem of Ritt about commuting rational functions. We also reprove and extend previous results concerning algebraic dependencies between Böttcher functions.

Let f and g be analytic functions on the open unit disk ${\mathbb D}$ such that $|f|=|g|$ on a set A. We give an alternative proof of the result of Perez that there exists c in the unit circle ${\mathbb T}$ such that $f=cg$ when A is the union of two lines in ${\mathbb D}$ intersecting at an angle that is an irrational multiple of $\pi $, and from this, deduce a sequential generalization of the result. Similarly, the same conclusion is valid when f and g are in the Nevanlinna class and A is the union of the unit circle and an interior circle, tangential or not. We also provide sequential versions of this result and analyze the case $A=r{\mathbb T}$. Finally, we examine the most general situation when there is equality on two distinct circles in the disk, proving a result or counterexample for each possible configuration.

This paper consists of two parts. The first is to study the existence of a point a at the intersection of the Julia set and the escaping set such that a goes to infinity under iterates along Julia directions or Borel directions. Additionally, we find such points that approximate all Borel directions to escape if the meromorphic functions have positive lower order. We confirm the existence of such slowly escaping points under a weaker growth condition. The second is to study the connection between the Fatou set and argument distribution. In view of the filling disks, we show nonexistence of multiply connected Fatou components if an entire function satisfies a weaker growth condition. We prove that the absence of singular directions implies the nonexistence of large annuli in the Fatou set.

Recently, Benini et al showed that, in simply connected wandering domains of entire functions, all pairs of orbits behave in the same way relative to the hyperbolic metric, thus giving us our first insight into the general internal dynamics of such domains. The author proved in a recent paper [G. R. Ferreira. Multiply connected wandering domains of meromorphic functions: internal dynamics andconnectivity. J. Lond. Math. Soc. (2) 106 (2022), 1897–1919] that the same is not true for multiply connected wandering domains, a natural question is how inhomogeneous multiply connected wandering domains can be. We give an answer to this question, in that we show that uniform dynamics inside an open subset of the domain generalizes to the whole wandering domain. As an application of this result, we construct the first example of a meromorphic function with a semi-contracting infinitely connected wandering domain.

In this paper, we prove that the ratio of the modulus of the iterates of two points in an escaping Fatou component could be bounded even if the orbit of the component contains a sequence of annuli whose moduli tend to infinity, and this cannot happen when the maximal modulus of the meromorphic function is uniformly large enough. In this way we extend certain related results for entire functions to meromorphic functions with infinitely many poles.

Since 1984, many authors have studied the dynamics of maps of the form $\mathcal{E}_a(z) = e^z - a$ , with $a > 1$ . It is now well-known that the Julia set of such a map has an intricate topological structure known as a Cantor bouquet, and much is known about the dynamical properties of these functions.

It is rather surprising that many of the interesting dynamical properties of the maps $\mathcal{E}_a$ actually arise from their elementary function theoretic structure, rather than as a result of analyticity. We show this by studying a large class of continuous $\mathbb{R}^2$ maps, which, in general, are not even quasiregular, but are somehow analogous to $\mathcal{E}_a$ . We define analogues of the Fatou and the Julia set and we prove that this class has very similar dynamical properties to those of $\mathcal{E}_a$ , including the Cantor bouquet structure, which is closely related to several topological properties of the endpoints of the Julia set.

We prove that the set of all endpoints of the Julia set of $f(z)=\exp\!(z)-1$ which escape to infinity under iteration of f is not homeomorphic to the rational Hilbert space $\mathfrak E$ . As a corollary, we show that the set of all points $z\in \mathbb C$ whose orbits either escape to $\infty$ or attract to 0 is path-connected. We extend these results to many other functions in the exponential family.

Although detailed descriptions of the possible types of behaviour inside periodic Fatou components have been known for over 100 years, a classification of wandering domains has only recently been given. Recently, simply connected wandering domains were classified into nine possible types and examples of escaping wandering domains of each of these types were constructed. Here we consider the case of oscillating wandering domains, for which only six of these types are possible. We use a new technique based on approximation theory to construct examples of all six types of oscillating simply connected wandering domains. This requires delicate arguments since oscillating wandering domains return infinitely often to a bounded part of the plane. Our technique is inspired by that used by Eremenko and Lyubich to construct the first example of an oscillating wandering domain, but with considerable refinements which enable us to show that the wandering domains are bounded, to specify the degree of the mappings between wandering domains and to give precise descriptions of the dynamical behaviour of these mappings.

A function which is transcendental and meromorphic in the plane has at least two singular values. On the one hand, if a meromorphic function has exactly two singular values, it is known that the Hausdorff dimension of the escaping set can only be either $2$ or $1/2$ . On the other hand, the Hausdorff dimension of escaping sets of Speiser functions can attain every number in $[0,2]$ (cf. [M. Aspenberg and W. Cui. Hausdorff dimension of escaping sets of meromorphic functions. Trans. Amer. Math. Soc. 374(9) (2021), 6145–6178]). In this paper, we show that number of singular values which is needed to attain every Hausdorff dimension of escaping sets is not more than $4$ .

The Julia set of the exponential family $E_{\kappa }:z\mapsto \kappa e^z$ , $\kappa>0$ was shown to be the entire complex plane when $\kappa>1/e$ essentially by Misiurewicz. Later, Devaney and Krych showed that for $0<\kappa \leq 1/e$ the Julia set is an uncountable union of pairwise disjoint simple curves tending to infinity. Bergweiler generalized the result of Devaney and Krych for a three-dimensional analogue of the exponential map called the Zorich map. We show that the Julia set of certain Zorich maps with symmetry is the whole of $\mathbb {R}^3$ , generalizing Misiurewicz’s result. Moreover, we show that the periodic points of the Zorich map are dense in $\mathbb {R}^3$ and that its escaping set is connected, generalizing a result of Rempe. We also generalize a theorem of Ghys, Sullivan and Goldberg on the measurable dynamics of the exponential.

Let f and g be two quasiregular maps in $\mathbb{R}^d$ that are of transcendental type and also satisfy $f\circ g =g \circ f$ . We show that if the fast escaping sets of those functions are contained in their respective Julia sets then those two functions must have the same Julia set. We also obtain the same conclusion about commuting quasimeromorphic functions with infinite backward orbit of infinity. Furthermore we show that permutable quasiregular functions of the form f and $g = \phi \circ f$ , where $\phi$ is a quasiconformal map, have the same Julia sets and that polynomial type quasiregular maps cannot commute with transcendental type ones unless their degree is less than or equal to their dilatation.

We prove a number of results concerning the Hausdorff and packing dimension of sets of points which escape (at least in average) to infinity at a given rate under non-autonomous iteration of exponential maps. In particular, we generalize the results proved by Sixsmith in 2016 and answer his question on annular itineraries for exponential maps.

Many authors have studied the dynamics of hyperbolic transcendental entire functions; these are functions for which the postsingular set is a compact subset of the Fatou set. Equivalently, 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 generalize these ideas further, and consider a class of maps for which the postsingular set is not even bounded. We are able to prove that these maps are also expanding with respect to a suitable orbifold metric, and use this expansion to draw conclusions on the topology and dynamics of the maps. In particular, we generalize existing results for hyperbolic functions, giving criteria for the boundedness of Fatou components and local connectivity of Julia sets. As part of this study, we develop some novel results on hyperbolic orbifold metrics. These are of independent interest, and may have future applications in holomorphic dynamics.

We give conditions ensuring that the Fatou set and the complement of the fast escaping set of an exponential polynomial f both have finite Lebesgue measure. Essentially, these conditions are designed such that $|f(z)|\ge \exp (|z|^\alpha )$ for some $\alpha>0$ and all z outside a set of finite Lebesgue measure.

We prove that if f and g are holomorphic functions on an open connected domain, with the same moduli on two intersecting segments, then $f=g$ up to the multiplication of a unimodular constant, provided the segments make an angle that is an irrational multiple of $\pi $ . We also prove that if f and g are functions in the Nevanlinna class, and if $|f|=|g|$ on the unit circle and on a circle inside the unit disc, then $f=g$ up to the multiplication of a unimodular constant.

Let $M$ be a closed, oriented, and connected Riemannian $n$-manifold, for $n\geq 2$, which is not a rational homology sphere. We show that, for a non-constant and non-injective uniformly quasiregular self-map $f:M\rightarrow M$, the topological entropy $h(f)$ is $\log \deg f$. This proves Shub’s entropy conjecture in this case.

The Fermat type functional equations $(*)\, f_1^n+f_2^n+\cdots +f_k^n=1$, where n and k are positive integers, are considered in the complex plane. Our focus is on equations of the form (*) where it is not known whether there exist non-constant solutions in one or more of the following four classes of functions: meromorphic functions, rational functions, entire functions, polynomials. For such equations, we obtain estimates on Nevanlinna functions that transcendental solutions of (*) would have to satisfy, as well as analogous estimates for non-constant rational solutions. As an application, it is shown that transcendental entire solutions of (*) when n = k(k − 1) with k ≥ 3, would have to satisfy a certain differential equation, which is a generalization of the known result when k = 3. Alternative proofs for the known non-existence theorems for entire and polynomial solutions of (*) are given. Moreover, some restrictions on degrees of polynomial solutions are discussed.

We show that for any quasimeromorphic mapping with an essential singularity at infinity, there exist points whose iterates tend to infinity arbitrarily slowly. This extends a result by Nicks for quasiregular mappings, and Rippon and Stallard for transcendental meromorphic functions on the complex plane. We further establish a new result for the growth rate of quasiregular mappings near an essential singularity, and briefly extend some results regarding the bounded orbit set and the bungee set to the quasimeromorphic setting.

We study topological properties of the escaping endpoints and fast escaping endpoints of the Julia set of complex exponential $\exp (z)+a$ when $a\in (-\infty ,-1)$. We show neither space is homeomorphic to the whole set of endpoints. This follows from a general result stating that for every transcendental entire function $f$, the escaping Julia set $I(f)\cap J(f)$ is first category.