We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
To send content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about sending content to .
To send content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about sending to your Kindle.
Note you can select to send to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
We extend Thurston’s topological characterisation theorem for postcritically finite rational maps to a class of rational maps which have a fixed bounded type Siegel disk. This makes a small step towards generalizing Thurston’s theorem to geometrically infinite rational maps.
For a polynomial $f(x)\in\mathbb{Q}[x]$ and rational numbers c, u, we put $f_c(x)\coloneqq f(x)+c$, and consider the Zsigmondy set $\calZ(f_c,u)$ associated to the sequence $\{f_c^n(u)-u\}_{n\geq 1}$, see Definition 1.1, where $f_c^n$ is the n-st iteration of fc. In this paper, we prove that if u is a rational critical point of f, then there exists an Mf > 0 such that $\mathbf M_f\geq \max_{c\in \mathbb{Q}}\{\#\calZ(f_c,u)\}$.
For every $m\in \mathbb {N}$, we establish the equidistribution of the sequence of the averaged pullbacks of a Dirac measure at any given value in $\mathbb {C}\setminus \{0\}$ under the $m$th order derivatives of the iterates of a polynomials $f\in \mathbb {C}[z]$ of degree $d>1$ towards the harmonic measure of the filled-in Julia set of f with pole at $\infty $. We also establish non-archimedean and arithmetic counterparts using the potential theory on the Berkovich projective line and the adelic equidistribution theory over a number field k for a sequence of effective divisors on $\mathbb {P}^1(\overline {k})$ having small diagonals and small heights. We show a similar result on the equidistribution of the analytic sets where the derivative of each iterate of a Hénon-type polynomial automorphism of $\mathbb {C}^2$ has a given eigenvalue.
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 compactify and regularise the space of initial values of a planar map with a quartic invariant and use this construction to prove its integrability in the sense of algebraic entropy. The system has certain unusual properties, including a sequence of points of indeterminacy in
$\mathbb {P}^{1}\!\times \mathbb {P}^{1}$
. These indeterminacy points lie on a singular fibre of the mapping to a corresponding QRT system and provide the existence of a one-parameter family of special solutions.
We consider the dynamics of complex rational maps on
$\widehat{\mathbb{C}}$
. We prove that, after reducing their orbits to a fixed number of positive values representing the Fubini–Study distances between finitely many initial elements of the orbit and the origin, ergodic properties of the rational map are preserved.
Our main result states that, under an exponential map whose Julia set is the whole complex plane, on each piecewise smooth Jordan curve there is a point whose orbit is dense. This has consequences for the boundaries of nice sets, used in induction methods to study ergodic and geometric properties of the dynamics.
We study the dynamics induced by homogeneous polynomials on Banach spaces. It is known that no homogeneous polynomial defined on a Banach space can have a dense orbit. We show a simple and natural example of a homogeneous polynomial with an orbit that is at the same time $\unicode[STIX]{x1D6FF}$-dense (the orbit meets every ball of radius $\unicode[STIX]{x1D6FF}$), weakly dense and such that $\unicode[STIX]{x1D6E4}\cdot \text{Orb}_{P}(x)$ is dense for every $\unicode[STIX]{x1D6E4}\subset \mathbb{C}$ that either is unbounded or has 0 as an accumulation point. Moreover, we generalize the construction to arbitrary infinite-dimensional separable Banach spaces. To prove this, we study Julia sets of homogeneous polynomials on Banach spaces.
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.
We discuss the relation between the existence of fixed points of the Ruelle operator acting on different Banach spaces, and Sullivan’s conjecture in holomorphic dynamics.
We study the iteration of transcendental self-maps of $\mathcal{C}^*:\=\mathcal{C}\{0}$, that is, holomorphic functions $\fnof:\mathcal{C}^*:\rarr\mathcal{C}^*$ for which both zero and infinity are essential singularities. We use approximation theory to construct functions in this class with escaping Fatou components, both wandering domains and Baker domains, that accumulate to $\{0},\infin$ in any possible way under iteration. We also give the first explicit examples of transcendental self-maps of $\mathcal{C}^*$ with Baker domains and with wandering domains. In doing so, we developed a sufficient condition for a function to have a simply connected escaping wandering domain. Finally, we remark that our results also provide new examples of entire functions with escaping Fatou components.
Let $B$ be a rational function of degree at least two that is neither a Lattès map nor conjugate to $z^{\pm n}$ or $\pm T_{n}$. We provide a method for describing the set $C_{B}$ consisting of all rational functions commuting with $B$. Specifically, we define an equivalence relation $\underset{B}{{\sim}}$ on $C_{B}$ such that the quotient $C_{B}/\underset{B}{{\sim}}$ possesses the structure of a finite group $G_{B}$, and describe generators of $G_{B}$ in terms of the fundamental group of a special graph associated with $B$.
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 Un of such a domain have uniformly bounded diameter, then there exists a sequence of postsingular values pn such that
${\rm dist} (p_n, 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 lies at a positive distance from the Julia set (in ℂ), then the sequence of iterates of any wandering domain must contain arbitrarily large disks. This allows to exclude the existence of wandering domains for some meromorphic maps with infinitely many poles and unbounded set of singular values.
Let
$f$
be a holomorphic endomorphism of
$\mathbb{P}^{2}$
of degree
$d\geq 2$
. We estimate the local directional dimensions of closed positive currents
$S$
with respect to ergodic dilating measures
$\unicode[STIX]{x1D708}$
. We infer several applications. The first one is an upper bound for the lower pointwise dimension of the equilibrium measure, towards a Binder–DeMarco’s formula for this dimension. The second one shows that every current
$S$
containing a measure of entropy
$h_{\unicode[STIX]{x1D708}}>\log d$
has a directional dimension
${>}2$
, which answers a question of de Thélin–Vigny in a directional way. The last one estimates the dimensions of the Green current of Dujardin’s semi-extremal endomorphisms.
Milnor proved that the moduli space Md of rational maps of degree d ≥ 2 has a complex orbifold structure of dimension 2(d − 1). Let us denote by
${\mathcal S}$
d the singular locus of Md and by
${\mathcal B}$
d the branch locus, that is, the equivalence classes of rational maps with non-trivial holomorphic automorphisms. Milnor observed that we may identify M2 with ℂ2 and, within that identification, that
${\mathcal B}$
2 is a cubic curve; so
${\mathcal B}$
2 is connected and
${\mathcal S}$
2 = ∅. If d ≥ 3, then it is well known that
${\mathcal S}$
d =
${\mathcal B}$
d. In this paper, we use simple arguments to prove the connectivity of
${\mathcal S}$
d.
Let
$f$
be a transcendental meromorphic function with at least one direct tract. In this note, we investigate the structure of the escaping set which is in the same direct tract. We also give a theorem about the slow escaping set.
Let M > 1 be a positive number. Let be a family of holomorphic functions f in some domain D ⊂ ℂ for which there exists an integer k = k(f) > 2 such that |(fk)′(ζ)| ≤ Mk for every periodic point ζ of period k of f in D. We show first that is quasinormal of order at most one in D. This strengthens a result of W. Bergweiler. Secondly, for the case M = 1, we prove that is normal in D if there exists a positive number K < 3 such that | f(η)| ≤ K for each f ∈ and every fixed point η of f in D. This improves a result of M. Esséen and S. J. Wu. We also construct an example which shows that the condition |f’(η)| ≤ K < 3 can not be replaced by | f′(η) | < 3.
Let fλ(z) = λez. In this short note, we consider those maps fλ with λ close to 1. We show that the probability that fλ is hyperbolic approaches 1 as λ → 1.