arXiv subjects

Vasiliki Evdoridou

Publications and source records attributed to Vasiliki Evdoridou.

At least 19 recordsLinked to original sources

arXiv2026

Non-autonomous dynamics of inner functions: mixing and entropy

We generalise a mixing result due to Pommerenke for non-autonomous dynamical systems of forward compositions of the boundary values of centred inner functions; the proof depends on a precise bound on the orbits of such forward compositions in~$\D$. This enables us to give new criteria for such systems to have positive metric entropy, lower entropy and topological entropy. In the opposite direction, we construct a forward composition of centred degree two Blaschke products with topological entropy zero.

math.DS↗

arXiv2026

Wandering dynamics of transcendental functions

We show that any uniformly escaping and wandering dynamics of a holomorphic function on a compact subset of the plane can be realised by a transcendental meromorphic function on $\mathbb{C}$. More precisely, let $φ$ be a holomorphic function on an open subset of the complex plane, and suppose that $K$ is a compact set such that $φ$ and all its iterates $φ^n$ are defined on $K$, and $φ^n(K)\to\infty$ as $n\to\infty$. We prove that there exist a transcendental meromorphic function $f\colon\mathbb{C}\to\widehat{\mathbb{C}}$ and a compact set $\widetilde{K}$ such that the dynamics of $f$ on the orbit of $\widetilde{K}$ is conjugate, via a smooth change of coordinate close to the identity, to that of $φ$ on the orbit of $K$. If $K$ does not separate the plane, the function $f$ may be chosen to be entire. If all iterates of $φ$ are univalent on $K$, we can take $\widetilde{K}=K$. We also prove a similar theorem for oscillating dynamics. Finally, we use our results to answer a number of questions of Benini et al. concerning wandering domains of entire functions.

math.DS↗

arXiv2025

Interactions between Universal Composition Operators and Complex Dynamics

This paper is concerned with universality properties of composition operators $C_f$, where the symbol $f$ is given by a transcendental entire function restricted to parts of its Fatou set. We determine universality of $C_f$ when $f$ is restricted to (subsets of) Baker and wandering domains. We then describe the behaviour of universal vectors, under the action of iterates of the symbol $f$, near periodic points of $f$ or near infinity. Finally, we establish a principal universality theorem for the more general class of weighted composition operators, which we then apply to uncover universality results in the context of various types of Fatou components of the associated symbol.

math.CV↗

arXiv2025

On the basins of attraction of a one-dimensional family of root finding algorithms: from Newton to Traub

In this paper we study the dynamics of damped Traub's methods $T_δ$ when applied to polynomials. The family of damped Traub's methods consists of root finding algorithms which contain both Newton's ($δ=0$) and Traub's method ($δ=1$). Our goal is to obtain several topological properties of the basins of attraction of the roots of a polynomial $p$ under $T_1$, which are used to determine a (universal) set of initial conditions for which convergence to all roots of $p$ can be guaranteed. We also numerically explore the global properties of the dynamical plane for $T_δ$ to better understand the connection between Newton's method and Traub's method.

math.NA↗

arXiv2024

Grand orbit relations in wandering domains

One of the fundamental distinctions in McMullen and Sullivan's description of the Teichmüller space of a complex dynamical system is between discrete and indiscrete grand orbit relations. We investigate these on the Fatou set of transcendental entire maps and provide criteria to distinguish between the two types. Furthermore, we show that discrete and indiscrete grand orbit relations may coexist non-trivially in a wandering domain, a phenomenon which does not occur for any other type of Fatou component. One of the tools used is a novel quasiconformal surgery technique of independent interest.

math.DS↗

arXiv2024

Shrinking targets and recurrent behaviour for forward compositions of inner functions

We prove sharp results about recurrent behaviour of orbits of forward compositions of inner functions, inspired by fundamental results about iterates of inner functions, and give examples to illustrate behaviours that cannot occur in the simpler case of iteration. A result of Fernández, Melián and Pestana gives a precise version of the classical Poincaré recurrence theorem for iterates of the boundary extension of an inner function that fixes~0. We generalise this to forward composition sequences $F_n=f_n\circ \dots\circ f_1,$ $n\in \mathbb{N},$ where $f_n$ are inner functions that fix~0, giving conditions on the contraction of $(F_n)$ so that the radial boundary extension $F_n$ hits any shrinking target of arcs $(I_n)$ of a given size. Next, Aaronson, and also Doering and Mañé, gave a remarkable dichotomy for iterates of any inner function, showing that the behaviour of the boundary extension is of two entirely different types, depending on the size of the sequence $(|f^n(0)|)$. In earlier work, we showed that one part of this dichotomy holds in the non-autonomous setting of forward compositions. It turns out that this dichotomy is closely related to the result of Fernández, Melián and Pestana, and here we show that a version of the second part of the dichotomy holds in the non-autonomous setting provided we impose a condition on the contraction of $(F_n)$ in relation to the size of the sequence $(|F_n(0)|)$. The techniques we use include a strong version of the second Borel--Cantelli lemma and strong mixing results of Pommerenke for contracting sequences of inner functions. We give examples to show that the contraction conditions that we need to impose in the non-autonomous setting are best possible.

math.DS↗

arXiv2023

Boundary dynamics for holomorphic sequences, non-autonomous dynamical systems and wandering domains

There are many classical results, related to the Denjoy--Wolff Theorem, concerning the relationship between orbits of interior points and orbits of boundary points under iterates of holomorphic self-maps of the unit disc. Here, for the first time, we address such questions in the very general setting of sequences $(F_n)$ of holomorphic maps between simply connected domains. We show that, while some classical results can be generalised, with an interesting dependence on the geometry of the domains, a much richer variety of behaviours is possible. Some of our results are new even in the classical setting. Our methods apply in particular to non-autonomous dynamical systems, when $(F_n)$ are forward compositions of holomorphic maps, and to the study of wandering domains in holomorphic dynamics. The proofs use techniques from geometric function theory, measure theory and ergodic theory, and the construction of examples involves a `weak independence' version of the second Borel--Cantelli lemma and the concept from ergodic theory of `shrinking targets'.

math.DS↗

arXiv2023

Unbounded fast escaping wandering domains

We introduce a new approximation technique into the context of complex dynamics that allows us to construct examples of transcendental entire functions with unbounded wandering domains. We provide examples of entire functions with an orbit of unbounded fast escaping wandering domains, answering a long-standing question of Rippon and Stallard. Moreover, these examples cover all possible types of simply connected wandering domains in terms of convergence to the boundary. In relation to a conjecture of Baker, it was unknown whether functions of order less than one could have unbounded wandering domains. For any given order greater than $1/2$ and smaller than $1$, we provide an entire function of such order with an unbounded wandering domain.

math.DS↗

arXiv2021

On a result of Hayman concerning the maximum modulus set

The set of points where an entire function achieves its maximum modulus is known as the maximum modulus set. In 1951, Hayman studied the structure of this set near the origin. Following work of Blumenthal, he showed that, near zero, the maximum modulus set consists of a collection of disjoint analytic curves, and provided an upper bound for the number of these curves. In this paper, we establish the exact number of these curves for all entire functions, except for a "small" set whose Taylor series coefficients satisfy a certain simple, algebraic condition. Moreover, we give new results concerning the structure of this set near the origin, and make an interesting conjecture regarding the most general case. We prove this conjecture for polynomials of degree less than four.

math.CV↗

arXiv2020

Oscillating simply connected wandering domains

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.

math.DS↗

arXiv2020

Fatou's associates

Suppose that $f$ is a transcendental entire function, $V \subsetneq \mathbb{C}$ is a simply connected domain, and $U$ is a connected component of $f^{-1}(V)$. Using Riemann maps, we associate the map $f \colon U \to V$ to an inner function $g \colon \mathbb{D} \to \mathbb{D}$. It is straightforward to see that $g$ is either a finite Blaschke product, or, with an appropriate normalisation, can be taken to be an infinite Blaschke product. We show that when the singular values of $f$ in $V$ lie away from the boundary, there is a strong relationship between singularities of $g$ and accesses to infinity in $U$. In the case where $U$ is a forward-invariant Fatou component of $f$, this leads to a very significant generalisation of earlier results on the number of singularities of the map $g$. If $U$ is a forward-invariant Fatou component of $f$ there are currently very few examples where the relationship between the pair $(f, U)$ and the function $g$ have been calculated. We study this relationship for several well-known families of transcendental entire functions. It is also natural to ask which finite Blaschke products can arise in this way, and we show the following: For every finite Blaschke product $g$ whose Julia set coincides with the unit circle, there exists a transcendental entire function $f$ with an invariant Fatou component such that $g$ is associated to $f$ in the above sense. Furthermore, there exists a single transcendental entire function $f$ with the property that any finite Blaschke product can be arbitrarily closely approximated by an inner function associated to the restriction of $f$ to a wandering domain.

math.DS↗

arXiv2019

Classifying simply connected wandering domains

While the dynamics of transcendental entire functions in periodic Fatou components and in multiply connected wandering domains are well understood, the dynamics in simply connected wandering domains have so far eluded classification. We give a detailed classification of the dynamics in such wandering domains in terms of the hyperbolic distances between iterates and also in terms of the behaviour of orbits in relation to the boundaries of the wandering domains. In establishing these classifications, we obtain new results of wider interest concerning non-autonomous forward dynamical systems of holomorphic self maps of the unit disk. We also develop a new general technique for constructing examples of bounded, simply connected wandering domains with prescribed internal dynamics, and a criterion to ensure that the resulting boundaries are Jordan curves. Using this technique, based on approximation theory, we show that all of the nine possible types of simply connected wandering domain resulting from our classifications are indeed realizable.

math.DS↗

arXiv2019

Spiders' webs in the punctured plane

Many authors have studied sets, associated with the dynamics of a transcendental entire function, which have the topological property of being a spider's web. In this paper we adapt the definition of a spider's web to the punctured plane. We give several characterisations of this topological structure, and study the connection with the usual spider's web in $\mathbb{C}$. We show that there are many transcendental self-maps of $\mathbb{C}^*$ for which the Julia set is such a spider's web, and we construct a transcendental self-map of $\mathbb{C}^*$ for which the escaping set $I(f)$ has this structure and hence is connected. By way of contrast with transcendental entire functions, we conjecture that there is no transcendental self-map of $\mathbb{C}^*$ for which the fast escaping set $A(f)$ is such a spider's web.

math.DS↗

arXiv2019

On the connectivity of the escaping set in the punctured plane

We consider the dynamics of transcendental self-maps of the punctured plane, $\mathbb{C}^*=\mathbb{C}\setminus \{0\}$. We prove that the escaping set $I(f)$ is either connected, or has infinitely many components. We also show that $I(f)\cup \{0,\infty\}$ is either connected, or has exactly two components, one containing $0$ and the other $\infty$. This gives a trichotomy regarding the connectivity of the sets $I(f)$ and $I(f)\cup \{0,\infty\}$, and we give examples of functions for which each case arises. Finally, whereas Baker domains of transcendental entire functions are simply connected, we show that Baker domains can be doubly connected in $\mathbb{C}^*$ by constructing the first such example. We also prove that if $f$ has a doubly connected Baker domain, then its closure contains both $0$ and $\infty$, and hence $I(f)\cup\{0,\infty\}$ is connected.

math.DS↗

arXiv2019

Dynamics of generalised exponential maps

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. In recent papers some of these ideas have been generalised to a class of quasiregular maps in $\mathbb{R}^3$, which, in a precise sense, is analogous to the class of maps of the form $\mathcal{E}_a$. Our goal in this paper is to make similar generalisations in $\mathbb{R}^2$. In particular, we show that there is a large class of continuous maps, which, in general, are not even quasiregular, but are closely analogous to the map $\mathcal{E}_a$, and have very similar dynamical properties. In some sense this shows that many of the interesting dynamical properties of the map $\mathcal{E}_a$ arise from its elementary function theoretic structure, rather than as a result of analyticity.

math.DS↗

arXiv2018

Singularities of inner functions associated with hyperbolic maps

Let $f$ be a function in the Eremenko-Lyubich class $\mathcal{B}$, and let $U$ be an unbounded, forward invariant Fatou component of $f$. We relate the number of singularities of an inner function associated to $f|_U$ with the number of tracts of $f$. In particular, we show that if $f$ lies in either of two large classes of functions in $\mathcal{B}$, and also has finitely many tracts, then the number of singularities of an associated inner function is at most equal to the number of tracts of $f$. Our results imply that for hyperbolic functions of finite order there is an upper bound -- related to the order -- on the number of singularities of an associated inner function.

math.DS↗

arXiv2018

Non-escaping endpoints do not explode

The family of exponential maps $f_a(z)= e^z+a$ is of fundamental importance in the study of transcendental dynamics. Here we consider the topological structure of certain subsets of the Julia set $J(f_a)$. When $a\in (-\infty,-1)$, and more generally when $a$ belongs to the Fatou set of $f_a$, it is known that $J(f_a)$ can be written as a union of "hairs" and "endpoints" of these hairs. In 1990, Mayer proved for $a\in (-\infty,-1)$ that, while the set of endpoints is totally separated, its union with infinity is a connected set. Recently, Alhabib and the second author extended this result to the case where $a \in F(f_a)$, and showed that it holds even for the smaller set of all escaping endpoints. We show that, in contrast, the set of non-escaping endpoints together with infinity is totally separated. It turns out that this property is closely related to a topological structure known as a `spider's web'; in particular we give a new topological characterisation of spiders' webs that may be of independent interest. We also show how our results can be applied to Fatou's function, $z\mapsto z + 1 + e^{-z}$.

math.DS↗

arXiv2018

The topology of the set of non-escaping endpoints

There are several classes of transcendental entire functions for which the Julia set consists of an uncountable union of disjoint curves each of which joins a finite endpoint to infinity. Many authors have studied the topological properties of this set of finite endpoints. It was recently shown that, for certain functions in the exponential family, there is a strong dichotomy between the topological properties of the set of endpoints which escape and those of the set of endpoints which do not escape. In this paper, we show that this result holds for large families of functions in the Eremenko-Lyubich class. We also show that this dichotomy holds for a family of functions, outside that class, which includes the much-studied Fatou function defined by $f(z) := z + 1+ e^{-z}.$ Finally, we show how our results can be used to demonstrate that various sets are spiders' webs, generalising results such as those in a recent paper of the first author.

math.DS↗