Dynamics of generalised exponential maps

TL;DR

This paper extends the study of exponential map dynamics from complex functions to a broader class of continuous maps in c2, demonstrating that key properties are due to their elementary structure rather than analyticity.

Contribution

The paper generalizes the dynamical properties of exponential maps b5_a to a large class of continuous, not necessarily quasiregular, maps in c2, highlighting the role of elementary function structure.

Findings

Similar dynamical properties observed in broader class of maps

Dynamical complexity arises from elementary structure, not analyticity

Extension of Julia set concepts to non-quasiregular maps

Abstract

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.

Figures

Equations

$${\mathcal{E}}_a(z)\text{vbox}..=e^z-a,\text{for }a>1.$$

$$F\text{vbox}..=\{z\in \mathbb{C}:{\mathcal{E}}_a^n(z)\to \xi \text{ as }n\to \infty \}.$$

$$Z:\mathbb{C}\to \mathbb{C};Z(x+iy)\text{vbox}..=g(x)h(y),$$

$$\eta \setminus \{-i,i\}\subset \{z\in \mathbb{C}:\mathrm{Re}z>0\text{ and }|z|\le 1\}.$$

$$h(y)\text{vbox}..=\{\begin{array}{ll}h(y^{\prime }),& \text{ for }p\text{ even},\\ -h(y^{\prime }),& \text{ for }p\text{ odd}.\end{array}$$

$$h_{\min }\le |h(y)|\le 1,\text{for }y\in \mathbb{R}.$$

$$g(x+2\pi )\ge cg(x),\text{for }x\text{ sufficiently large}.$$

$$Z(x+iy)\text{vbox}..=g(x)h(y)=g(x)h_1(y)+ig(x)h_2(y).$$

$$f(z)\text{vbox}..=Z(z)-a.$$

$${\mathbb{H}}_r\text{vbox}..=\{x+iy:x\le r\},\text{for }r\in \mathbb{R}.$$

$$\ell (DZ(z))\ge \mu >1,\text{ a.e. for }\mathrm{Re}z\ge M.$$

$$g(x)\ge C{c}^{\frac{x}{2\pi }},\text{for }x\ge x_0.$$

$$C\text{vbox}..=\max \{r\in \mathbb{R}:g(x)\ge r{c}^{\frac{x}{2\pi }},\text{ for }x\in [x_0,x_0+2\pi ]\}.$$

$$g(x)\ge c^{k^{\prime }}g(x^{\prime })\ge C{c}^{k^{\prime }}{c}^{\frac{x^{\prime }}{2\pi }}=C{c}^{\frac{x}{2\pi }}.$$

$$g^{\prime }(x)\ge \frac{c-1}{2\pi }g(x-2\pi ),\text{ a.e. for }x\ge x_0^{\prime }.$$

$$g(x+2\pi )-g(x)={\int }_x^{x+2\pi }{g}^{\prime }(t)dt\le 2\pi g^{\prime }(x+2\pi ),\text{ a.e. }$$

$$g(x+2\pi )-g(x)\ge (c-1)g(x),$$

$$DZ(x+iy)=\left(\begin{array}[]{cc}g^{\prime}(x)h_{1}(y)&g(x)h_{1}^{\prime}(y)\\ g^{\prime}(x)h_{2}(y)&g(x)h_{2}^{\prime}(y)\end{array}\right)=\left(\begin{array}[]{cc}h_{1}(y)&h_{1}^{\prime}(y)\\ h_{2}(y)&h_{2}^{\prime}(y)\end{array}\right)\cdot\left(\begin{array}[]{cc}g^{\prime}(x)&0\\ 0&g(x)\end{array}\right).$$

$$\underset{|w|=1}{\inf }|DZ(x,y)\cdot w|$$

$$\displaystyle\geq\min\{g(x),g^{\prime}(x)\}\inf\limits_{|w|=1}\left|\left(\begin{array}[]{cc}h_{1}(y)&h_{1}^{\prime}(y)\\ h_{2}(y)&h_{2}^{\prime}(y)\end{array}\right)\cdot w\right|$$

$$\ge c_h\cdot \min \{g(x),g^{\prime }(x)\},$$

$$|h^{\prime }(y)|\le L,\text{a.e. for }y\in \mathbb{R}.$$

$$g(x)+g^{\prime }(x)\le \frac{1}{2(1+L)},\text{a.e. for }x\le m.$$

$$||DZ(x+iy)||$$

$$\le (L+1)(g^{\prime }(x)+g(x))$$

$$\le \frac{1}{2},\text{a.e. for }x\le m.$$

$$|f(z_1)-f(z_2)|\le \frac{1}{2}|z_1-z_2|,\text{for }{z}_1,z_2\in {\mathbb{H}}_m.$$

$$a>\max \{0,g(M)-m,g(M)-M\}.$$

$$\mathrm{Re}f(x+iy)=g(x)h_1(y)-a\le g(M)-a\le m.$$

$$T_k\text{vbox}..=\left\{x+iy\in \mathbb{C}:x>M\text{ and }\frac{(4k-1)\pi }{2}<y<\frac{(4k+1)\pi }{2}\right\}.$$

$$H\text{vbox}..=f(T_0).$$

$$H=\{z\in \mathbb{C}:\mathrm{Re}z>a\}\setminus \overline{f(\{x+iy\in \mathbb{C}:x\in (0,M)\text{ and }y\in (-\pi /2,\pi /2)\})}.$$

Full text

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.

The second author was supported by Engineering and Physical Sciences Research Council grant EP/R010560/1.

2010 Mathematics Subject Classification. Primary 37F10; Secondary 30D05.

Key words: complex dynamics, exponential functions.

1. Introduction

Let $f:{\mathbb{R}}^{n}\to{\mathbb{R}}^{n}$ be a function, and let $f^{n}$ denote the $n$th iterate of $f$. In this paper we are interested in the iteration of a continuous function $f:{\mathbb{R}}^{2}\to{\mathbb{R}}^{2}$, which need not be analytic, and throughout we identify ${\mathbb{R}}^{2}$ with the complex plane ${\mathbb{C}}$ in the obvious way. A special case of such a function is when $f:{\mathbb{C}}\to{\mathbb{C}}$ is transcendental entire. Then we define the Julia set $J(f)$ as the set of points $z\in{\mathbb{C}}$ where the iterates $\{f^{n}\}_{n\in\mathbb{N}}$ fail to form a normal family in any neighbourhood of $z$; roughly speaking, the iterates of $f$ are chaotic near a point in the Julia set. For an introduction to the properties of the Julia set, and the dynamics of transcendental entire functions, see, for example, [Ber93] and [Sch10].

In the study of the dynamics of transcendental entire functions, many authors have considered maps of the form

[TABLE]

It is straightforward to show that $\mathcal{E}_{a}$ has an attracting fixed point $\xi\in{\mathbb{R}}$. We denote by $F$ the set of points that are attracted to $\xi$; in other words

[TABLE]

It can be shown that $J(\mathcal{E}_{a})={\mathbb{C}}\setminus F$ . (Clearly $F$ here is the Fatou set of $\mathcal{E}_{a}$, but we do not use this fact.)

The first study of the dynamics of maps of the form (1) was by Devaney and Krych [DK84]. Many authors since then have investigated these maps, and in the following we summarise some of the most important results that are known concerning their dynamical properties. Before stating the result we need a number of definitions.

We say that a component $\gamma$ of $J(\mathcal{E}_{a})$ is a Devaney hair if it is a simple curve $\gamma:[0,\infty)\to{\mathbb{C}}$ with the properties that:

1. (I)

$\gamma(t)\rightarrow\infty$ as $t\rightarrow\infty$. 2. (II)

For each $n\geq 0$, $\mathcal{E}_{a}^{n}(\gamma)$ is a simple curve that connects $\mathcal{E}_{a}^{n}(\gamma(0))$ to $\infty$. We call $\gamma(0)$ the endpoint of the curve $\gamma$. 3. (III)

For each $t>0$, $\mathcal{E}_{a}^{n}\rightarrow\infty$ as $n\rightarrow\infty$ uniformly on $\gamma([t,\infty))$.

Note that there are other definitions of a Devaney hair in the literature; we have used the definition first used in [RRS10], although, unlike in that paper, we do not formally specify that the hairs lie in the Julia set.

A subset of ${\mathbb{C}}$ is a Cantor bouquet if it is ambiently homeomorphic to a topological object known as a straight brush; see [AO93] for a precise definition. We say that $X\subset\hat{\mathbb{C}}$ is totally separated if for all $a,b\in X$, with $a\neq b$, there exists a relatively open and closed set $U\subset X$ such that $a\in U$ and $b\notin U$.

We are now able to state the results.

Theorem A**.**

Let $\mathcal{E}_{a}$ be the transcendental entire function defined in (1). Then the following all hold.

1. (a)

$J(\mathcal{E}_{a})$* has uncountably many components, each of which is a Devaney hair.* 2. (b)

$J(\mathcal{E}_{a})$* is a Cantor bouquet.* 3. (c)

*Write $E$ for the set of endpoints of the Devaney hairs in $J(\mathcal{E}_{a})$. Then $E$ is totally separated, but $E\cup\{\infty\}$ is connected. *

Remarks**.**

Part (a) seems to be a combination of results from [DT86], [Kar99] and [Rem06]. Part (b) is a result of [AO93]; although the term “Cantor bouquet” had been used previously, this was the first paper to give a precise topological definition of such an object. Part (c) is from [May90]; this result can also be stated that $\infty$ is an explosion point for the set $E\cup\{\infty\}$. Note that many of the authors cited above considered, in fact, the transcendental entire functions $\tilde{\mathcal{E}}_{\lambda}(z)\mathrel{\vbox{\hbox{\scriptsize.}\hbox{\scriptsize.}}}=\lambda e^{z}$, for $\lambda\neq 0$. The functions $\mathcal{E}_{a}$ and $\tilde{\mathcal{E}}_{e^{-a}}$ have the same dynamics, as they are conjugate via the map $z\mapsto z-a$.

Our goal in this paper is to show that there is a large class of continuous functions $f:{\mathbb{R}}^{2}\to{\mathbb{R}}^{2}$ that are analogous to the map $\mathcal{E}_{a}$ and also have the dynamical properties listed above. This shows that, in some sense, the properties listed in Theorem A derive from elementary function theoretic properties of $\mathcal{E}_{a}$ rather than its analyticity. We stress that the functions in our class are continuous but not necessarily quasiregular.

To define our maps, we observe that if $z=x+iy$, then $e^{z}=e^{x}(\cos y+i\sin y)$. So we begin by considering a map

[TABLE]

where $g:{\mathbb{R}}\to{\mathbb{R}}$ and $h:{\mathbb{R}}\to{\mathbb{C}}$ are continuous functions defined in such a way that $g$ has behaviour analogous to the real exponential function, and $h$ has behaviour analogous to the map $y\mapsto\cos y+i\sin y$.

We first specify the map $h$. Let $\eta$ be a simple curve from $-i$ to $i$ with the following two properties; see Figure 1. Firstly, we have that

[TABLE]

Secondly, for each $\theta\in[-\pi/2,\pi/2]$, the curve $\eta$ contains exactly one point of argument $\theta$. We then let $h:[-\pi/2,\pi/2]\to\eta$ be a biLipschitz map, such that $h(\pm\pi/2)=\pm i$. Finally we extend $h$ to a map from ${\mathbb{R}}$ to $\eta\cup-\eta$ as follows; if $y\in{\mathbb{R}}$, and $y^{\prime}\in[-\pi/2,\pi/2]$ is such that $y^{\prime}=y+p\pi$, for some $p\in{\mathbb{Z}}$, then

[TABLE]

It is also useful to define $h(y)\mathrel{\vbox{\hbox{\scriptsize.}\hbox{\scriptsize.}}}=h_{1}(y)+ih_{2}(y)$, for real valued functions $h_{1}$ and $h_{2}$. Note also that it follows from the above that there exists $h_{\operatorname{min}}\in(0,1)$ such that

[TABLE]

Next we specify the function $g$. We let $g:{\mathbb{R}}\to(0,\infty)$ be such that the following conditions both hold.

1. (A)

The function $g$ is strictly increasing, and $g(x)\rightarrow 0$ as $x\rightarrow-\infty$. 2. (B)

The derivative $g^{\prime}(x)$ is defined almost everywhere, and is monotonically non-decreasing where it is defined.

Note that it follows that, where defined, $g^{\prime}(x)$ tends to [math] as $x$ tends to $-\infty$. Note also that the positive, real, convex functions $G$ with $G(x)\to 0$ as $x\to-\infty$ is a large class of functions which satisfy properties (A) and (B).

We need $g$ to grow sufficiently quickly. In particular, we suppose that there exists $c>1/h_{\operatorname{min}}>1$ such that,

[TABLE]

We then define the map $Z$ mentioned earlier by

[TABLE]

Note that when $g(x)=e^{x}$, the function $Z$ in (4) is quasiregular, and is known as a Zorich map. If, in addition, $h(y)=\cos y+i\sin y$, then we have $Z\equiv\exp$.

Finally we define the function we are going to iterate. We let $a>0$ and set

[TABLE]

We will later ensure that $a$ is sufficiently large for various conditions to hold. We then make the following definition.

Definition 1.1**.**

Suppose that $f$ is as defined in (5), where $Z$ is as defined in (4) for functions $g,h$ that satisfy all the conditions listed earlier. Then we say that $f$ is a generalised exponential.

Although not necessarily quasiregular, $f$ is continuous, open, discrete, and differentiable almost everywhere. Note also that it follows from these definitions that any local inverse of $f$ is also continuous and differentiable almost everywhere. The name for the generalised exponentials can be further justified by equation (7), given in Section 2, which shows, in particular, that no polynomial can satisfy condition (3).

For a generalised exponential, $f$, there is no obvious definition of a Julia set; although the Julia set can be defined for quasiregular maps [BN14], we do not want to assume that $f$ is even quasiregular. The following result allows us, nonetheless, to establish a set analogous to the Julia set. Here we define

[TABLE]

Theorem 1.2**.**

Suppose that $f$ is a generalised exponential. Then, there exist $m<0$ and $M>0$ such that whenever $a$ is sufficiently large, $f$ has a unique attracting fixed point $\xi\in\mathbb{H}_{m}$, $f(\mathbb{H}_{M})\subset\mathbb{H}_{m}$, and all points of $\mathbb{H}_{M}$ tend to $\xi$ under iteration.

We can now use Theorem 1.2 to make the following natural definition.

Definition 1.3**.**

If the conditions of Theorem 1.2 hold, then we let $F$ denote the set of points that iterate to the unique attracting fixed point, and set $J\mathrel{\vbox{\hbox{\scriptsize.}\hbox{\scriptsize.}}}={\mathbb{C}}\setminus F$.

Our main result is then an extension of Theorem A to the class of generalised exponentials.

Theorem 1.4**.**

Suppose that $f$ is a generalised exponential. Then, for all sufficiently large values of $a$, the following all hold.

1. (a)

$J$* has uncountably many components, each of which is a Devaney hair.* 2. (b)

$J$* is a Cantor bouquet.* 3. (c)

If $E$ is the set of endpoints of the Devaney hairs in $J$, then $E$ is totally separated, but $E\cup\{\infty\}$ is connected.

Note that the fact that $J$ has uncountably many components is also a consequence of (b). However, it seems worth emphasising this fact.

Structure

The structure of the paper is as follows. First in Section 2 we prove Theorem 1.2. The proof of Theorem 1.4 is then spread across the rest of the paper.

2. Existence of the sets F and J

In this section we give the proof of Theorem 1.2, and so establish the existence of the sets $F$ and $J$ from Definition 1.3. Firstly, we need a form of expansion for $Z$, which is given in the following lemma.

Lemma 2.1**.**

There exist constants $\mu>1$ and $M>0$ such that

[TABLE]

Proof.

Let $c>1$ be the constant from (3). We claim first that there exist $C>0$ and $x_{0}>0$ such that

[TABLE]

To prove this claim, choose $x_{0}$ sufficiently large that (3) holds for $x\geq x_{0}$. Set

[TABLE]

It is easy to see that this maximum exists and is positive. Now, suppose that $x\geq x_{0}$. Set $x=x^{\prime}+2\pi k^{\prime}$, where $x^{\prime}\in[x_{0},x_{0}+2\pi)$ and $k^{\prime}$ is a non-negative integer. Then, by repeated application of (3), and by the definition of $C$,

[TABLE]

This equation completes the proof of our first claim.

We also require a growth condition on $g^{\prime}$. We claim that there exists $x_{0}^{\prime}>0$ such that

[TABLE]

To prove this claim, note that since $g^{\prime}$ is monotonically non-decreasing where defined, we have that for sufficiently large values of $x$,

[TABLE]

Combining this with

[TABLE]

we obtain the result.

For the derivative of $Z$ we have, whenever it exists, that

[TABLE]

The fact that $h$ is biLipschitz yields that $h^{\prime}$ exists almost everywhere. Since $|h(y)|\geq h_{\operatorname{min}}>0$, where the derivative exists we obtain

[TABLE]

for a suitable constant $c_{h}>0$, which depends only on the Lipschitz constant of $h$; see [Ber10, Section 2]. Since $c>1$ the result then follows from (7) and (8). ∎

Proof of Theorem 1.2.

Let $M>0$ be the constant from Lemma 2.1. Since $h$ is biLipschitz, there exists a constant $L\geq 1$ such that

[TABLE]

Since $g(x)$ and $g^{\prime}(x)$ (where defined) both tend to [math] as $x$ tend to $-\infty$, we can choose $m<0$ sufficiently small that

[TABLE]

We deduce that

[TABLE]

Since $DZ(x+iy)=Df(x,y)$ it follows that

[TABLE]

Now choose

[TABLE]

(Note that the choice of $a$ here is stronger than is required in this proof, but convenient for use in later results).

If $x\leq M$, then

[TABLE]

In other words, $f(\mathbb{H}_{M})\subset\mathbb{H}_{m}$. Hence $f$ is a contraction mapping on $\mathbb{H}_{m}$, and so $\mathbb{H}_{m}$ contains a unique attracting fixed point $\xi$ by the Banach fixed point theorem. Since $f$ is expanding in the complement of $\mathbb{H}_{M}$, by Lemma 2.1, the uniqueness of $\xi$ is immediate. ∎

In the remainder of the paper we will assume that $f,g,h,Z$ are as defined above, that $f$ is a generalised exponential, and that $a$ has been chosen such that (9) holds.

3. Symbolic dynamics

In this section we define tracts and external addresses, and then use these to establish symbolic dynamics on $J$. We begin by defining the tracts of the function $g$. Since $-a<0<M$, we have that $\mathbb{H}_{-a}\subset\mathbb{H}_{M}$, and so points with imaginary part in an interval $[(4k+1)\pi/2,(4k+3)\pi/2]$, for some $k\in{\mathbb{Z}}$, necessarily lie in $F$.

Definition 3.1**.**

For each $k\in{\mathbb{Z}}$, define the tract $T_{k}$ by

[TABLE]

Also set

[TABLE]

Clearly $H$ is the image of any tract. Geometrically $H$ is the right half-plane with a bounded set removed; in particular

[TABLE]

We stress that the sets $T_{k}$ are not tracts in the sense usually defined for functions in the class $\mathcal{B}$. However, if $T_{k},T_{k^{\prime}}$ are both tracts, then it follows by (9) that $\overline{T_{k^{\prime}}}\subset f(T_{k})=H$; abusing slightly the terminology of class $\mathcal{B}$ maps, $f$ is of disjoint type.

Note also that if $T_{k}$ is a tract, then $f:T_{k}\to H$ is a continuous bijection, and in fact the same is true for $f:\overline{T_{k}}\to\overline{H}$. (This follows from the definitions of $g$ and $h$; in fact $f$ is a bijection on a set slightly larger than $T_{k}$.) It follows that $f:T_{k}\to H$ is a homeomorphism. We denote the inverse of this restriction by $f_{k}^{-1}$.

More generally, if $k_{1}k_{2}\ldots k_{n}$ is a finite sequence of integers, then we define $f_{k_{1}k_{2}\ldots k_{n}}^{-n}\mathrel{\vbox{\hbox{\scriptsize.}\hbox{\scriptsize.}}}=f_{k_{1}}^{-1}\circ\ldots\circ f_{k_{n}}^{-1}$.

Next we consider the components of $J$ and define the notion of external addresses.

Proposition 3.2**.**

Every component of $J$ is unbounded.

Proof.

Note that if $Y\subset H$ is connected and unbounded, and $k\in{\mathbb{Z}}$, then $f_{k}^{-1}(Y)$ is connected and unbounded; connectedness follows from continuity, and unboundedness is a consequence of the fact that $f$ is a homeomorphism of the closure of each tract.

For each $n\in{\mathbb{N}}$, consider the set

[TABLE]

Then, considered as a subset of the Riemann sphere, $F_{n}$ is connected, by the above remark, and compact; in other words, $F_{n}$ is a continuum. It follows that

[TABLE]

is a nested intersection of continua, and so is itself a continuum. The result then follows by the “Boundary bumping theorem”; see, for example, [Nad92, Theorem 5.6]. ∎

We write $\mathbb{N}_{0}={\mathbb{N}}\cup\{0\}$.

Definition 3.3**.**

Observe that $z\in J$ if and only if there is an external address $\underline{s}=s_{0}s_{1}\ldots\in{\mathbb{Z}}^{\mathbb{N}_{0}}$ such that $f^{n}(z)\in T_{s_{n}}$, for $n\geq 0$. We write $s=\operatorname{addr}(z)$. We also write $J_{\underline{s}}$ for the set of points with external address $\underline{s}$. Finally we let $\hat{J_{\underline{s}}}$ denote the closure of $J_{\underline{s}}$ in $\hat{{\mathbb{C}}}$. If $\underline{s}$ is an external address such that $J_{\underline{s}}\neq\emptyset$, then we say that $\underline{s}$ is admissible.

The conclusions of the following observation are straightforward, and the proof is omitted. Here $\sigma$ is the Bernoulli shift map defined by $\sigma(s_{0}s_{1}s_{2}\ldots)=s_{1}s_{2}\ldots$.

Observation 3.4**.**

Suppose that $\underline{s}=s_{0}s_{1}\ldots$ and $\underline{s}^{\prime}$ are admissible external addresses, with $\underline{s}\neq\underline{s}^{\prime}$. Then all the following hold.

1. (1)

$J_{\underline{s}}=\bigcap_{n\in{\mathbb{N}}}f_{s_{0}s_{1}\ldots s_{n-1}}^{-n}(H)$. 2. (2)

$J_{\underline{s}}$* and $J_{\underline{s}^{\prime}}$ are disjoint.* 3. (3)

If $n\in{\mathbb{N}}$, then $f^{n}(J_{\underline{s}})=J_{\sigma^{n}(\underline{s})}$.

Our next step is to characterise the admissible external addresses.

Definition 3.5**.**

We say that an external address $\underline{s}\in{\mathbb{Z}}^{\mathbb{N}_{0}}$ is $g$-bounded if there exists $x_{0}\geq 0$ such that

[TABLE]

Note that the constant $2\pi$ in (11) can, in fact, be replaced by any positive constant; indeed, this comment also applies to the choice of the constant $2\pi$ in the definition of admissible external addresses in [DK84]. We have used $2\pi$ here for consistency.

We show that the admissible external addresses are identically the external addresses that are $g$-bounded, provided that $g$ satisfies (3).

Theorem 3.6**.**

Suppose that (3) holds, and that $\underline{s}\in{\mathbb{Z}}^{\mathbb{N}_{0}}$. Then $\underline{s}$ is admissible if and only if $\underline{s}$ is $g$-bounded.

Proof.

First, suppose that $\underline{s}=s_{0}s_{1}\ldots$ is admissible, and so there exists a point $z=x+iy\in{\mathbb{C}}$ with external address $\underline{s}$. Note that

[TABLE]

and indeed

[TABLE]

Observe that it follows from (3) that there exists $x_{0}^{\prime}>0$ such that

[TABLE]

Hence, for $n\in\mathbb{N}_{0}$,

[TABLE]

and so $\underline{s}$ is indeed $g$-bounded.

In the other direction, suppose that $\underline{s}=s_{0}s_{1}\ldots\in{\mathbb{Z}}^{\mathbb{N}_{0}}$ is $g$-bounded. Fix $\kappa>0$ small enough that

[TABLE]

Let $\tilde{g}(x)\mathrel{\vbox{\hbox{\scriptsize.}\hbox{\scriptsize.}}}=h_{\operatorname{min}}g(x)$. It can be deduced from (3) and (11) that there exists $x_{0}^{\prime\prime}\geq 0$ such that

[TABLE]

Choose $\delta>0$ sufficiently small that

[TABLE]

and choose

[TABLE]

Increasing $r_{0}$, if necessary, we can also assume that all points of real part at least $r_{0}$ lie in $H$. We then set $r_{k+1}=\tilde{g}(r_{k})$, for $k\in\mathbb{N}_{0}$.

For each $n\in\mathbb{N}_{0}$, let $D_{n}$ be the closed square of side $2\pi$, with sides parallel to the axes, and with bottom left vertex at the point $(r_{n},(4s_{n}-1)\pi/2)$.

We claim that $f(D_{n})\supset D_{n+1}$, for $n\in\mathbb{N}_{0}$. To prove the claim, first fix $n\in\mathbb{N}_{0}$. Note that, by a calculation, $f(D_{n})$ contains the annulus

[TABLE]

Since $h_{\operatorname{min}}g(r_{n})=r_{n+1}$, we can see that $D_{n+1}$ does not lie inside the inner radius of $A_{n}$. Hence it remains to prove that $D_{n+1}$ does not lie outside the outer radius of this annulus. Without loss of generality we can assume that $s_{n+1}$ is non-negative. A furthermost point of $D_{n+1}$ from $(-a,0)$ is the point $(r_{n+1}+2\pi,(4s_{n+1}+3)\pi/2)$. Hence the square of the distance from $(-a,0)$ to any point of $D_{n+1}$ is at most

[TABLE]

where we have used (12), together with the choices of $\delta$ and $\kappa$. Since the outer radius of $A_{n}$ is $cg(r_{n})=cr_{n+1}/h_{\operatorname{min}}$, this completes the proof of the claim.

It follows by, for example, [RS11, Lemma 1], that there is point $z$ such that $f^{n}(z)\in D_{n}$, for $n\in\mathbb{N}_{0}$. Since $D_{n}\setminus T_{s_{n}}$ maps to the complement of $H$, we in fact have that $f^{n}(z)\in T_{s_{n}}$, for $n\in\mathbb{N}_{0}$. In other words, $z\in J_{\underline{s}}$, which completes the proof. ∎

4. Devaney Hairs

Our goal in this section is to show that each component of $J$ is a Devaney hair. Part (a) of Theorem 1.4 follows, since there are uncountably many $g$-bounded, and hence admissible, external addresses. Note that this requires that we establish the three properties (I), (II) and (III).

We first show that our function $f$ satisfies a uniform head-start condition; this terminology is from [RRRS11]. This is a key ingredient in the arguments we use in the remainder of this paper. We require the following expansion estimate, which follows from (6); recall that $\mu>1$.

Proposition 4.1**.**

Suppose that $f$ is a generalised exponential function, that $n\in{\mathbb{N}}$, and that $U$ is a component of $f^{-n}({\mathbb{C}}\setminus\mathbb{H}_{M})$. Then

[TABLE]

Proof.

Let $\phi:{\mathbb{C}}\setminus\mathbb{H}_{M}\to U$ be the inverse to $f^{n}$. Since ${\mathbb{C}}\setminus\mathbb{H}_{M}$ is convex, it follows by (6) that, if $z^{\prime},w^{\prime}\in{\mathbb{C}}\setminus\mathbb{H}_{M}$, then

[TABLE]

where $[z^{\prime},w^{\prime}]$ denotes the line segment from $z^{\prime}$ to $w^{\prime}$. The result follows. ∎

We now prove that $f$ satisfies a uniform head-start condition.

Lemma 4.2**.**

Suppose that $f$ is generalised exponential function. Then there exists $K>1$ with the following properties.

1. (i)

Suppose that $T,T^{\prime}$ are tracts. If $z_{0},z_{1}\in\overline{T}$ and $f(z_{0}),f(z_{1})\in\overline{T^{\prime}}$, then

[TABLE] 2. (ii)

Suppose that $z_{0},z_{1}$ have the same external address. Then there exist $k\in{\mathbb{N}}$ and $j\in\{0,1\}$ such that

[TABLE]

Proof.

Note first that

[TABLE]

and

[TABLE]

First we prove (i). Suppose that $T,T^{\prime}$ are two tracts, that $z_{0},z_{1}\in\overline{T}$, and that $f(z_{0}),f(z_{1})\in\overline{T^{\prime}}$. Suppose that $q\in{\mathbb{N}}$, that $K\geq 2\pi q$, and finally that $\operatorname{Re}z_{1}\geq K\operatorname{Re}z_{2}$. Then, by (3) and (14),

[TABLE]

We then consider two possibilities. Suppose first that $|f(z_{0})|\geq 2a$, so that, by (13), $g(\operatorname{Re}z_{0})\geq|f(z_{0})|-a\geq\frac{1}{2}|f(z_{0})|$. Then

[TABLE]

On the other hand, if $|f(z_{0})|<2a$, then

[TABLE]

Since Re $f(z_{0})\geq M$, the conclusion (i) follows provided that $q$, and hence $K$, is chosen sufficiently large. (Note that the choice of $q$ can be made independently of $z_{0}$ and $z_{1}$.)

For (ii), suppose that $z_{0}\neq z_{1}$ have the same external address. Fix $p\in{\mathbb{N}}$. Since $z_{0}$ and $z_{1}$ have the same external address, there exists a component $U$ of $f^{-p}({\mathbb{C}}\setminus\mathbb{H}_{M})$, containing both $z_{0}$ and $z_{1}$, that maps injectively to ${\mathbb{C}}\setminus\mathbb{H}_{M}$. It follows by Proposition 4.1 that $|f^{p}(z_{0})-f^{p}(z_{1})|\geq\mu^{p}|z_{0}-z_{1}|$. The result then follows by (i), since $f^{p}(z_{0})$ and $f^{p}(z_{1})$ lie in the same tract, and $p$ was arbitrary. ∎

Next we use the uniform head-start condition to prove the existence of unbounded simple curves in $J$; in other words, we prove that $J$ consists of simple curves that satisfy (I) and (II). We defer the proof of (III) until a little later.

Next we introduce a so-called speed ordering. For each $z,w\in J_{\underline{s}}$ we say that $z\succ w$ if there exists $k\in{\mathbb{N}}$ with the property that $\operatorname{Re}f^{k}(z)>K\operatorname{Re}f^{k}(w)$, where $K>1$ is the constant from Lemma 4.2. We extend this order to the closure of $J_{\underline{s}}$ in $\hat{{\mathbb{C}}}$, which we denote by $\hat{J_{\underline{s}}}$, by the convention that $\infty\succ z$ for all $z\in J_{\underline{s}}$. We then have the following.

Lemma 4.3**.**

Suppose that $f$ is a generalised exponential function, and that $\underline{s}$ is an admissible external address. Then $(\hat{J_{\underline{s}}},\succ)$ is a totally ordered space, and $J_{\underline{s}}$ has a unique unbounded component, which is a simple closed arc to infinity.

Proof.

The fact that $(\hat{J_{\underline{s}}},\succ)$ is a totally ordered space is a straightforward consequence of Lemma 4.2.

We then claim that each component of $\hat{J_{\underline{s}}}$ is homeomorphic to a compact interval, which may be degenerate. The proof of this fact is exactly as in the proof of [RRRS11, Proposition 4.4(a)]; it is first shown that the identity map from $\hat{J_{\underline{s}}}$ to $(\hat{J_{\underline{s}}},\succ)$ is continuous, and the result then follows from a well-known characterisation of an arc. We omit the details.

Now, since $\underline{s}$ is admissible, we know that $J_{\underline{s}}\neq\emptyset$. We also know, by Proposition 3.2, that each component of $J_{\underline{s}}$ is unbounded. Uniqueness then follows from the fact that $\infty$ is the maximal element of $(\hat{J_{\underline{s}}},\succ)$. ∎

Note that (I) and (II) and are now an immediate consequence of Lemma 4.3, together with Observation 3.4. It remains to show that the uniform escape property (III) holds on the components of $J$. In fact, this is a consequence of Lemma 4.3, together with the following.

Lemma 4.4**.**

Suppose that $f$ is a generalised exponential function. If $z,w\in J$ have the same external address, then

[TABLE]

Proof.

We omit the proof of this lemma, which is essentially the same as the proof of [RRRS11, Lemma 3.2], using Proposition 4.1 to give expansion. ∎

5. Cantor bouquets

In this section we show that $J$ is Cantor bouquet; in other words, we prove part (b) of Theorem 1.4. It was observed in [ARG17] that the result of [May90] holds for all Cantor bouquets. Hence part (c) of Theorem 1.4 is a direct consequence of this. Note that the arguments in this section are essentially topological, and very similar to those of [BJR12]. Accordingly we give only brief details, and refer to that paper for more detailed explanations and definitions.

In fact, we shall construct a so-called one-sided hairy arc. This is a topological object defined as follows (see also [AO93] and [BJR12]).

Definition 5.1**.**

A one-sided hairy arc is a continuum $X$ containing an arc $B$ (called the base of $X$), and a total order $\prec$ on $B$, such that:

1. (1)

The closure of every connected component of $X\setminus B$ is an arc, with exactly one endpoint in $B$. In particular, for each $x\in X\setminus B$, there exists a unique arc $\gamma_{x}:[0,1]\to X$ such that $\gamma_{x}(0)=x$, $\gamma_{x}(t)\notin B$ for $t<1$, and $\gamma_{x}(1)\in B$. In this case, we say that $x$ belongs to the hair attached at $\gamma_{x}(1)$. 2. (2)

All the hairs are attached at the same side of the base. 3. (3)

Distinct components of $X\setminus B$ have disjoint closures, and $X\setminus B$ is dense in $X$. 4. (4)

If $x_{0}\in X\setminus B$ and $x_{n}\in X\setminus B$ is a sequence of points converging to $x_{0}$, then $\gamma_{x_{n}}\rightarrow\gamma_{x_{0}}$ in the Hausdorff metric. 5. (5)

If $b\in B$ and $x$ belongs to the hair attached at $b$, then there exist sequences $x^{+}_{n},x^{-}_{n}$, attached respectively at points $b^{+}_{n},b^{-}_{n}\in B$, such that $b^{-}_{n}\prec b\prec b^{+}_{n}$ and $x^{-}_{n},x^{+}_{n}\rightarrow x$ as $n\rightarrow\infty$.

It is known that if $X$ is a one-sided hairy arc, then $X\setminus B$ is homeomorphic to a topological object known as a straight brush; we omit the definition, which can be found at [AO93]. Our goal is to construct a suitable base $B$ so that $J\cup B$ is a one-sided hairy arc. Since a Cantor bouquet is, by definition, a set ambiently homeomorphic to a straight brush, the result follows.

We follow the construction in [BJR12, Section 5], although our construction is slightly easier since (up to $2\pi i$ translation we only have one tract. We define $B$ to be the union of;

• •

the set ${\mathbb{Z}}^{{\mathbb{N}}_{0}}$ of all external addresses;

• •

the set of all so-called “intermediate external addresses” obtained by adding an intermediate entry between any pair of integers;

• •

the set $\{-\infty,\infty\}$.

We then let $\tilde{H}=\overline{H}\cup B$; recall that $H$ is the image of the tracts, defined in (10). Exactly as in [BJR12, Section 5] we can define a topology on $\tilde{H}$ by specifying a neighbourhood base for every $\underline{s}\in B$. It then follows from [BJR12, Proposition 5.6], that $\tilde{H}$ is homeomorphic to the closed unit disc, and $B$ is homeomorphic to an arc.

First, we show that the set of admissible external addresses (see Definition 3.3) is dense in the set of all external addresses.

Proposition 5.2**.**

The set of admissible external addresses is dense in ${\mathbb{Z}}_{{\mathbb{N}}_{0}}$.

Proof.

We know from Theorem 3.6 that $g$-bounded external addresses are admissible. Hence, since periodic external addresses are certainly $g$-bounded, we deduce that periodic external addresses are admissible. The result follows since periodic external addresses are dense in ${\mathbb{Z}}_{{\mathbb{N}}_{0}}$. ∎

Let $\tilde{J}$ denote the closure of $J$ in the space $\tilde{H}$. Our goal is to show that $\tilde{J}$ is a one-sided hairy arc. To achieve this we need some results which together imply that properties (1)-(5) from Definition 5.1 hold.

Proposition 5.3**.**

The set $\tilde{J}$ is a continuum with $J=\tilde{J}\setminus B$. Moreover, the closure of every component of $J$ is an arc, with exactly one endpoint in $B$, distinct components of $J$ have disjoint closures in $\tilde{J}$, and $J$ is dense in $\tilde{J}$.

We know that $B$ is an arc. Note that this proposition gives properties (1) and (3). Moreover, $\tilde{J}$ is one-sided by construction, hence property (2) is satisfied.

Proof of Proposition 5.3.

Recall from Lemma 4.3 that each component of $J$ is a simple closed arc to infinity, $J_{\underline{s}}$, for some external address $\underline{s}$. Suppose that $\underline{s}$ is an admissible external address. We can deduce from the topology on $\tilde{H}$ that points of $J_{\underline{s}}$ cannot accumulate on any element of $B$ apart from $\underline{s}$. Hence $J_{\underline{s}}\cup\{\underline{s}\}$ is a compact subset of $\tilde{H}$. Moreover, $J_{\underline{s}}\cup\{\underline{s}\}$ is connected.

It follows from Proposition 5.2 that $B\subset\tilde{J}$. Hence $\tilde{J}$ is the disjoint union

[TABLE]

where the union is taken over the admissible external addresses.

$B$ is homeomorphic to an arc, and so connected. Also, $\tilde{H}$ is a compact metric space, and hence so is $\tilde{J}$. The claims of the proposition follow from these facts, together with (15). ∎

In order to prove the accumulation of hairs, i.e., property (5), we use the following result.

Proposition 5.4**.**

Suppose that $z_{0}\in J$. Then there are sequences $z^{-}_{n},z^{+}_{n}\in J$, with $\operatorname{addr}(z^{-}_{n})<\operatorname{addr}(z_{0})<\operatorname{addr}(z^{+}_{n})$, for $n\in{\mathbb{N}}$, and $z^{-}_{n}\rightarrow z_{0}$, $z^{+}_{n}\rightarrow z_{0}$ as $n\rightarrow\infty$.

Proof.

Choose $p\in{\mathbb{N}}$. Let $U$ be the component of $f^{-p}(H)$ containing $z_{0}$, and let $\phi:H\to U$ be the inverse to $f^{-p}$. Define a pair of points $z^{\pm}_{p}=\phi(f^{p}(z_{0})\pm 2\pi i)$, so that, by definition, we have $\operatorname{addr}(z^{-}_{p})<\operatorname{addr}(z_{0})<\operatorname{addr}(z^{+}_{p})$, for $p\in{\mathbb{N}}$. It follows by Proposition 4.1 that $z^{\pm}_{n}\rightarrow z_{0}$ as $n\rightarrow\infty$, as required. ∎

The following proposition is analogous to [BJR12, Proposition 6.1] and we omit the proof.

Proposition 5.5**.**

Suppose that $a_{n}\in J$ converges to a point $a\in J$, and that, for each $n$, $b_{n}\in J_{addr(a_{n})}$ has the same external address as $a_{n}$ and satisfies $b_{n}\succ a_{n}$ in the speed ordering of $f$. If $b\in J$ is an accumulation point of the sequence $b_{n}$, then $b\succ a$.

We use Proposition 5.5 as a tool to prove property (4), as shown below.

Proposition 5.6**.**

If $x_{0}\in X\setminus B$ and $x_{n}\in X\setminus B$ is a sequence of points converging to $x_{0}$, then $\gamma_{x_{n}}\rightarrow\gamma_{x_{0}}$ in the Hausdorff metric.

Proof.

Passing to a subsequence, we may assume that $\gamma_{x_{n}}$ converges in the Hausdorff metric to a limit $\gamma$. Then $\gamma\subset J_{\underline{s}}\cup\{s\},$ where $\underline{s}=\operatorname{addr}(z_{0})$. Note that $\gamma$ is connected as the Hausdorff limit of compact connected subsets of the compact space $\tilde{J}$, and also it contains both $z_{0}$ and $\underline{s}$. Hence we have that $\gamma_{z_{0}}\subset\gamma.$ It remains to show that $\gamma\subset\gamma_{z_{0}}$. Note that this inclusion follows from Proposition 5.5. ∎

We have shown that $\tilde{J}=J\cup B$ is a one-sided hairy arc. Hence, for the reasons noted earlier, $J$ is a Cantor bouquet, which completes the proof of Theorem 1.4.