Let $z \in \mathbb{C}.$ Let $t = W(-\ln z)$ where $W$ is the Lambert W Function. Define the sequence $a_n$ by $a_0 = z$ and $a_{n+1} = z^{a_n}$ for $n \geq 1$, that is to say $a_n$ is the sequence $z, z^z, z^{z^z} ...$ This is sometimes called the iterated exponential with base $z$.
Here I am trying to prove (or disprove) $2$ things:
For every $x \in \mathbb{R}$ there is $y^\star \in [0,\infty)$ such that for any $y \in \mathbb{R}$ with $|y| > y^\star$ the iterated exponential with base $z = x+ yi$ converges to a set of $3$ periodic accumulation points. As $|y| \to \infty$ the $3$ points approach the orbit $\lbrace 0, 1, z \rbrace$
Let $E = (e^{1/e} , \infty) \cup \lbrace s \in \mathbb{C}:|t| = |W(-\ln s)| = 1 $ and $t^n \ne 1$ for all $n \in \mathbb{N} \rbrace$ If $z \in \mathbb{C} \setminus E$, the iterated exponential is bounded and there exists $k \in \mathbb{N}$ such that the iterated exponential converges to a set of $k$ periodic accumulation points.
I have been studying Daniel Geisler's tetration map; my first question is essentially a formalization of some observations I have made. My second question has proven to be more problematic. I have been experimenting numerically for several years, and I have observed that an iterated exponential sometimes gets "slingshot" to a neighborhood of $\infty$. When this happens it can be very difficult to tell what the next terms will be.
The main thing I have tried in these situations is a kind of asymptotic analysis. The next term $a_{n+1}$ is considered as the product $z^{\Re(a_n)}(z^i)^{\Im(a_n)}$. There are $36$ possibilities determined by the signs of $\Re(a_n), \Im(a_n)$ and whether $|z|, |z^i|$ are greater than, less than, or equal to $1$. Typically, though each factor is either $0, \infty,$ or else it just keeps going around the unit circle and doesn't approach any fixed value. So there are really only $3$ possibilities: $0, \infty, 0\cdot\infty$.
If I'm "lucky" enough to get $a_{n+1} \sim 0$, I can easily see that the "slingshot to $\infty$" is followed by (approximately) $\lbrace 0, 1, z, z^z, \ldots \rbrace$ Otherwise I get stuck in limbo: it may be that the entire sequence is diverging to $\infty$. However, I have never been able to find specific examples of this, other than $(e^{1/e} , \infty)$. If I get $a_{n+1}\sim \infty$ this basically puts me back at square one; I can ask the same question about $a_{n+2}$, namely, is it $0, \infty$, or something else. So, in most (if not all) cases, I feel I have to explicitly calculate the next terms; otherwise I have no way of knowing if the whole sequence diverges to $\infty$, or if some subsequent term is very close to $0$.
Another major problem is that the next term often is so big that it causes an overflow error on my calculator. I have tried calculating the natural logs of the terms, using the iteration $b_0 = \ln z, b_{n+1} = e^{b_n}\ln z$, but sometimes it doesn't help, because I still get overflow errors. An example of this is $z = -2.5.$ After just 6 terms $a_n$ is on the order of $10^{26649}$ and $b_n$ has an almost identical value after 7 terms.
Note: all of my work so far assumes the use of the principal branches of the natural log and the Lambert W function.