The Julia set and the fast escaping set of a quasiregular mapping
It is shown that for quasiregular maps of positive lower order the Julia set coincides with the boundary of the fast escaping set.
arXiv subjects
Publications and source records attributed to Alastair Fletcher.
It is shown that for quasiregular maps of positive lower order the Julia set coincides with the boundary of the fast escaping set.
It is well-known that a holomorphic function near a repelling fixed point may be conjugated to a linear function. The function which conjugates is called a Poincaré linearizer and may be extended to a transcendental entire function in the plane. In this paper, we study the dynamics of a higher dimensional generalization of Poincaré linearizers. These arise by conjugating a uniformly quasiregular mapping in $\R^m$ near a repelling fixed point to the mapping $x\mapsto 2x$. In particular, we show that the fast escaping set of such a linearizer has a spider's web structure.
The fast escaping set of a transcendental entire function is the set of all points which tend to infinity under iteration as fast as compatible with the growth of the function. We study the analogous set for quasiregular mappings in higher dimensions and show, among other things, that various equivalent definitions of the fast escaping set for transcendental entire functions in the plane also coincide for quasiregular mappings. We also exhibit a class of quasiregular mappings for which the fast escaping set has the structure of a spider's web.
Let $\mathcal{M}_{g,ε}$ be the $ε$-thick part of the moduli space $\mathcal{M}_g$ of closed genus $g$ surfaces. In this article, we show that the number of balls of radius $r$ needed to cover $\mathcal{M}_{g,ε}$ is bounded below by $(c_1g)^{2g}$ and bounded above by $(c_2g)^{2g}$, where the constants $c_1,c_2$ depend only on $ε$ and $r$, and in particular not on $g$. Using the counting result we prove that there are Riemann surfaces of arbitrarily large injectivity radius that are not close (in the Teichmüller metric) to a finite cover of a fixed closed Riemann surface. This result illustrates the sharpness of the Ehrenpreis conjecture.
Let h:C \to C be an R-linear map. In this article, we explore the dynamics of the quasiregular mapping H(z)=h(z)^2. Via the Böttcher type coordinate constructed in "On Böttcher coordinates and quasiregular maps" by Fletcher and Fryer, we are able to obtain results for any degree two mapping of the plane with constant complex dilatation. We show that any such mapping has either one, two or three fixed external rays, that all cases can occur, and exhibit how the dynamics changes in each case. We use results from complex dynamics to prove that these mappings are nowhere uniformly quasiregular in a neighbourhood of infinity. We also show that in most cases, two such mappings are not quasiconformally conjugate on a neighbourhood of infinity.
It is well-known that a polynomial f(z)=a_d z^d(1+o(1)) can be conjugated by a holomorphic map phi to w \mapsto w^d in a neighbourhood of infinity. This map phi is called a Böttcher coordinate for f near infinity. In this paper we construct a Böttcher type coordinate for compositions of affine mappings and polynomials, a class of mappings first studied in "Quasiregular mappings of polynomial type in R^2" by A.Fletcher and D.Goodman. As an application, we prove that if h is affine and c is a complex number, then h(z)^2+c is not uniformly quasiregular.
It is well-known that the Julia set J(f) of a rational map is uniformly perfect; that is, every ring domain which separates J(f) has bounded modulus, with the bound depending only on f. In this article we prove that an analogous result is true in higher dimensions; namely, that the Julia set J(f) of a uniformly quasiregular mapping f in R^n is uniformly perfect. In particular, this implies that the Julia set of a uniformly quasiregular mapping has positive Hausdorff dimension.
We prove that any diffeomorphism of the sphere S^n to itself can be decomposed into bi-Lipschitz mappings of small isometric distortion and which move points a small amount in the spherical metric.
Complex dynamics deals with the iteration of holomorphic functions. As is well- known, the first functions to be studied which gave non-trivial dynamics were quadratic polynomials, which produced beautiful computer generated pictures of Julia sets and the Mandelbrot set. In the same spirit, this article aims to study the dynamics of the simplest non-trivial quasiregular mappings. These are mappings in R^2 which are a composition of a quadratic polynomial and an affine stretch.
In this article, we investigate the boundary of the escaping set I(f) for quasiregular mappings on R^n, both in the uniformly quasiregular case and in the polynomial type case. The aim is to show that the boundary of I(f) is the Julia set J(f) when the latter is defined, and shares properties with the Julia set when J(f) is not defined.
We show that if the maximum modulus of a quasiregular mapping f grows sufficiently rapidly then there exists a non-empty escaping set I(f) consisting of points whose forward orbits under iteration tend to infinity. This set I(f) has an unbounded component but, in contrast to the case of entire functions on the complex plane, the closure of I(f) may have a bounded component.