SearcharxivSearch

arXiv subjects

D. J. Sixsmith

Publications and source records attributed to D. J. Sixsmith.

11 recordsLinked to original sources

The maximum modulus set of a polynomial

We study the maximum modulus set, $\mathcal{M}(p)$, of a polynomial $p$. We are interested in constructing $p$ so that $\mathcal{M}(p)$ has certain exceptional features. Jassim and London gave a cubic polynomial $p$ such that $\mathcal{M}(p)$ has one discontinuity, and Tyler found a quintic polynomial $\tilde{p}$ such that $\mathcal{M}(\tilde{p})$ has one singleton component. These are the only results of this type, and we strengthen them considerably. In particular, given a finite sequence $a_1, a_2, \ldots, a_n$ of distinct positive real numbers, we construct polynomials $p$ and $\tilde{p}$ such that $\mathcal{M}(p)$ has discontinuities of modulus $a_1, a_2, \ldots, a_n$, and $\mathcal{M}(\tilde{p})$ has singleton components at the points $a_1, a_2, \ldots, a_n$. Finally we show that these results are strong, in the sense that it is not possible for a polynomial to have infinitely many discontinuities in its maximum modulus set.

math.CV

Variations on a theme of Hardy concerning the maximum modulus

In 1909, Hardy gave an example of a transcendental entire function, $f$, with the property that the set of points where $f$ achieves its maximum modulus, $\mathcal{M}(f)$, has infinitely many discontinuities. This is one of only two known examples of such a function. In this paper we significantly generalise these examples. In particular, we show that, given an increasing sequence of positive real numbers, tending to infinity, there is a transcendental entire function, $f$, such that $\mathcal{M}(f)$ has discontinuities with moduli at all these values. We also show that the transcendental entire function lies in the much studied Eremenko-Lyubich class. Finally, we show that, with an additional hypothesis on the sequence, we can ensure that $f$ has finite order.

math.CV

On permutable meromorphic functions

We study the class $\mathcal{M}$ of functions meromorphic outside a countable closed set of essential singularities. We show that if a function in $\mathcal{M}$, with at least one essential singularity, permutes with a non-constant rational map $g$, then $g$ is a Möbius map that is not conjugate to an irrational rotation. For a given function $ f \in\mathcal{M}$ which is not a Möbius map, we show that the set of functions in $\mathcal{M}$ that permute with $ f $ is countably infinite. Finally, we show that there exist transcendental meromorphic functions $f: \mathbb{C} \to \mathbb{C}$ such that, among functions meromorphic in the plane, $f$ permutes only with itself and with the identity map.

math.CV

On the set where the iterates of an entire function are neither escaping nor bounded

For a transcendental entire function f, we study the set of points BU(f) whose iterates under f neither escape to infinity nor are bounded. We give new results on the connectedness properties of this set and show that, if U is a Fatou component that meets BU(f), then most boundary points of U (in the sense of harmonic measure) lie in BU(f). We prove this using a new result concerning the set of limit points of the iterates of f on the boundary of a wandering domain. Finally, we give some examples to illustrate our results.

math.DS

Dimensions of slowly escaping sets and annular itineraries for exponential functions

We study the iteration of functions in the exponential family. We construct a number of sets, consisting of points which escape to infinity `slowly', and which have Hausdorff dimension equal to 1. We prove these results by using the idea of an annular itinerary. In the case of a general transcendental entire function we show that one of these sets, the uniformly slowly escaping set, has strong dynamical properties and we give a necessary and sufficient condition for this set to be non-empty.

math.DS

Maximally and non-maximally fast escaping points of transcendental entire functions

We partition the fast escaping set of a transcendental entire function into two subsets, the maximally fast escaping set and the non-maximally fast escaping set. These sets are shown to have strong dynamical properties. We show that the intersection of the Julia set with the non-maximally fast escaping set is never empty. The proof uses a new covering result for annuli, which is of wider interest. It was shown by Rippon and Stallard that the fast escaping set has no bounded components. In contrast, by studying a function considered by Hardy, we give an example of a transcendental entire function for which the maximally and non-maximally fast escaping sets each have uncountably many singleton components.

math.DS

Julia and escaping set spiders' webs of positive area

We study the dynamics of a collection of families of transcendental entire functions which generalises the well-known exponential and cosine families. We show that for functions in many of these families the Julia set, the escaping set and the fast escaping set are all spiders' webs of positive area. This result is unusual in that most of these functions lie outside the Eremenko-Lyubich class B. This is also the first result on the area of a spider's web.

math.DS

A new characterisation of the Eremenko-Lyubich class

The Eremenko-Lyubich class of transcendental entire functions with a bounded set of singular values has been much studied. We give a new characterisation of this class of functions. We also give a new result regarding direct singularities which are not logarithmic.

math.CV

Simply connected fast escaping Fatou components

We give an example of a transcendental entire function with a simply connected fast escaping Fatou component, but with no multiply connected Fatou components. We also give a new criterion for points to be in the fast escaping set.

math.DS

Entire functions for which the escaping set is a spider's web

We construct several new classes of transcendental entire functions, f, such that both the escaping set, I(f), and the fast escaping set, A(f), have a structure known as a spider's web. We show that some of these classes have a degree of stability under changes in the function. We show that new examples of functions for which I(f) and A(f) are spiders' webs can be constructed by composition, by differentiation, and by integration of existing examples. We use a property of spiders' webs to give new results concerning functions with no unbounded Fatou components.

math.CV