# Proof (or hints towards proof) for asymptotic shape of orbit $0 \to 1 \to b \to b^b \to \cdots$ with certain class of $b$?

In a paper by Baker & Rippon (1983) the property of being convergent or divergent for iterated exponentials $$z_{h+1} \to b^{z_h}$$ with $$b$$ complex and $$z_0=1, z_1=b, z_2=b^b, \cdots$$ for classes of the bases $$b$$ have been established - a problem which has been considered here in MSE a couple of times too.

Given $$b=\exp(u \exp(-u))$$ they have shown that convergence occurs for $$b$$ of the construction with $$|u|<1$$ and divergence with $$|u|>1$$. They also stated that with $$|u|=1$$ such that $$u=\exp(2 \pi î /c )$$ and $$c$$ rational (or in more explicte terms that with some positive integer iteration-height $$h$$ there occurs $$u^h=1$$), then the orbit of the iteration converges to a fixpoint, while with $$c$$ being real and irrational the orbit diverges.

I have been interested in the reason for the difference between rational and irrational $$c$$ in this problem and looked at graphs of the orbits for

• rational $$c$$
• $$c$$ being algebraic of order $$2$$ (for instance golden/silver/"plastic" ratio)
• $$c$$ being algebraic of higher orders
• $$c$$ being transcendental like $$c=e$$ or $$c=\pi$$ (or rational mutiples)
• $$c$$ being transcendental with infinite order, like Liouville-numbers or generated by specific infinite continued fractions with unbounded coefficients

The found pictures gave an interesting variety of pictures of the orbits depending on the above classification. Now towards my question: The picture using that $$c= \small "golden-ratio"$$ shows a pattern which suggests two parallel orientations in that orbit, which I didn't observe in the other above classes. Usually the orbits for the irrational bases look more like some closed star-form shape with fractional borders and excurses "towards infinity", but here I find a somehow "most simple" shape.

It is much time-consuming to compute the orbit to millions or billions iterations, but I did a fairly usable list of that iterations ($$1e8$$). The indication of that parallel orientations becomes even stronger with longer orbit.

a) Can we prove, that the continuation of the orbit fills out the pattern so far, such that we have that two partial orbits along two parallel directions?

b) What might be the reason for this remarkable shape?

Update This question seems to touch too deep water and possibly cannot be answered in this Q/A-style. I thus "accepted" the informative, helpful and inspiring answer of @SheldonL to "close-the-case". However, more informative answers would still be much welcomed.

here is a rotated image to help the intuition for the a)-question: See more background and pictures here which also refers to older MSE-Q/A for instance here and here

I.N.BAKER and P.J.RIPPON (1983): Convergence of infinite exponentials, Annales Academiae Scientiarum Fennicae, 1983, Vol. 8, pg 179-186

Update: It might be interesting (and possibly helpful to avoid misleading ideas) to see, that selecting a different startvalue $$z_0$$ can lead to an asymptotically closed(?) (and dense?) curve. I used $$z_0=1.1+0.1I$$ finding that initial orbit for the first $$2000$$ iterations:

To see the initial behave the first $$20$$ or so iterates are connected by the thin grey line and have an additional frame around the dots.

• cool stuff; if c is a well behaved irrational number like the golden ratio, or $\sqrt{2}$ then the iteration is unbounded.... These rotation numbers have a defined $\Psi$ Schroeder function where as the rational values don't. One can compare to iterating simpler equations like $z \mapsto \lambda z + z^2;\;\;\;$ $\lambda=\exp(\frac{2\pi i}{c})$. en.wikipedia.org/wiki/Jean-Christophe_Yoccoz was awarded a fields medal for studying this non-trivial problem. en.wikipedia.org/wiki/Brjuno_number Aug 15, 2019 at 11:43
• Another relevant link is the en.wikipedia.org/wiki/Siegel_disc (time is limited). The Siegel_disc for the iterated exponential is unbounded.... Aug 15, 2019 at 12:11
• Hi Sheldon, thanks for the links! At "unboundedness": well, if $c$ is irrational and the orbit passes $0 \to 1 \to b \to b^b \to \cdots$ then the mechanics of the continued fractions (here of $c$) govern, that high-index iterates appear near and nearer to any earlier iterates. This is of course true for $z_{-1}=0$ and even more significant for $z_{-2} = \log_b(0) \to \infty$ So there are infinitely iteration-indexes $h$ coming near-and-nearer towards $\infty$ , towards $0$ etc. So any orbit of this type should be unbounded... Aug 15, 2019 at 12:15
• Wow, the gallery at wikipedia/siegel-discs pulls me into contemplation and admiration... :) Aug 15, 2019 at 12:19
• I spent some time looking at similar exponential siegel disc patterns, but its been a few years. Apparently, for iterating exponentials with values of b on the Shell Thron boundary, you never really escape. There are interior orbits points for which the interior of the Seigel disc is bounded, analytic, and well behaved, like 1.1+0.1i in your example. The Siegel disc is mapped to the boundary of a unit circle, for the inverse of $\Psi$. But I think there is no "exterior" of the Siegel disc....Perhaps I need to make some time to revisit this fascinating topic... Aug 15, 2019 at 13:20

The Op's base is base b. $$\phi=\frac{\sqrt{5}+1}{2};\;\;\;\;\lambda=\exp\left(\frac{2\pi i}{\phi}\right)\;\;\;$$ $$b=\exp\left(\lambda\exp(-\lambda)\right);\;\;\;l=\exp(\lambda);\;\;\;l=b^L$$ The derivative at the fixed point is $$\lambda$$ since $$\exp_b(l+x)=l+\lambda x + O(x^2)$$. I generated the formal Schroder function $$\Psi$$ at the fixed point of l such that: $$\Psi(b^z)=\lambda\Psi(z)$$

Then I generated $$\Psi(0.6,0.7,0.8,0.9,1.0)$$ which matches the Op's previous plots at 0.7 and 0.8. I actually used $$\Psi^{-1}$$ and Newton's method for the inversion. For the plots below, a 155 term Schroder function Taylor series for $$\Psi^{-1}$$ is accurate to

• 38 decimal digits for $$|\Psi(0.6)|$$
• 30 digits for $$|\Psi(0.8)|$$; 18 digits for $$|\Psi(0.9)|$$
• 1.5 to 3 digits for $$|\Psi(1.0)|$$

You get the analytic limit for the fractal by starting with the singularity at $$\Psi(0)$$ or $$\Psi(1)$$ so the Schroeder function isn't that accurate, but it made a cool plot and I was surprised how well the $$\Psi^{-1}$$ Taylor series modeled the fractal boundary for $$\Psi(1)$$. For the other cases $$\Psi(z_0)$$ initial values, $$\Psi^{-1}$$ works extremely well. Gottfried's iterated sequences are equivalent to formally iterating:
$$z_n=\exp_b(z_{n-1});\;\;\;z_n=\exp_b^{[\circ n]}(z_0);\;\;\;\Psi(z_n)=\lambda^n\Psi(z_0)$$ $$z_n = \Psi^{-1}(\lambda^n\Psi(z_0));\;\;\;$$ Since the limit of the set of points mapped by iterating $$z\mapsto \lambda z$$ is the unit circle, then the limit of the iterating sequence is formally equivalent to plotting the points mapped from a circle that has a radius of the absolute value of $$|\Psi(z_0)|$$ $$\Psi^{-1}(|\Psi(z_0)|)$$ The Op asks, "I have been interested in the reason for the difference between rational and irrational c in this problem and looked at graphs of the orbit". Since the infinite continued fraction representation of c, where $$\lambda=\exp(\frac{2\pi i}{c})$$ effects how smoothly the mapping of $$\lambda^n$$ fills in the unit circle, it effects how nicely the Schroder function behaves and whether it converges or not. If c is rational, the Schroder function does not converge. That is why a lot of these Siegel disc plots use $$c=\phi$$; the golden ratio, since it has an ideally behaved continued fraction representation.

The fractal structure is governed by the logarithmic singularity of 0, as the Op noted in the discussion: "...if c is irrational and the orbit passes $$0 \mapsto 1 \mapsto b \mapsto b^b ...$$ then the mechanics of the continued fraction (here of c) govern that high-index iterate appear nearer and nearer to any earlier iterates. This is of course true for $$z_1=0$$ and even more significant for $$z_0=\log_b(0) \to \infty$$. So there are infinitely iteration indexes h coming nearer-and-nearer towards $$\infty$$...."

The proof of the convergence properties based on the multiplier at fixed point was given by http://en.wikipedia.org/wiki/Jean-Christophe_Yoccoz who was awarded a fields medal for studying this non-trivial problem. See also http://en.wikipedia.org/wiki/Brjuno_number

The Op's initial fractal plot is a plot of the Siegel disc, which is the fractal limit of the convergence of the $$\Psi^{-1}(z)$$ function. http://en.wikipedia.org/wiki/Siegel_disc

Here is one more picture, showing the iterates of $$z \mapsto b^z$$ starting with $$z_0=0$$; and then multiplying each point $$z \cdot \log(b)$$, so that the logarithmic singularity goes to negative infinity for $$\log(z)$$ where z is in the neighborhood of zero; as expected. Here the vetical part of the logarithmic singularity covers a little more the $$\pi i$$ which also makes sense. • Hi Sheldon, this is again a treasure of thoughts and comments leading forward. Thanks very much! I'll need a bit to metabolize all. Just a small comment. For the initial value $z_0=1.0$ it would be better the curve were not connected. It seems it is infinitely often open at the curvy excesses in your picture. I looked at the area of the $h=514233$'th iterate which is about $-0.674467 - 0.881450$ and with its neighbours of further and backwards iterates in steps taken from the cf-convergents (for instance $h+=121393$ or $h+=514229$ or so) it looks still spiky with an always open gap outwards. Aug 17, 2019 at 3:15
• @gottfried agreed; its an open curve with open gaps. My graph starting with $z_0=1$ was over the Schroder function approximation with 155 Taylor series terms, not of the iterates themselves, so it is a continuous, but only an "approximation". Aug 17, 2019 at 3:19
• Perhaps mention explicitely in the post? Aug 17, 2019 at 3:22
• "singularity at .. $\Psi(1)$ so the Schroeder function isn't that accurate, but it made a cool plot ..." I was actually surprised by how well the Schroeder function Taylor series modeled the fractal singularity. Aug 17, 2019 at 3:24
• Ah, and I should look also at Yoccoz' work to find a more general field of an answer to my questions a) and b) ... That would make your post the accepted one... Aug 17, 2019 at 3:25

this is not an answer but only an extended comment detailing one aspect of the effect shown in the third picture

For the subject of initial values $$z_0$$ thrown in the comments of @SheldonL I show a composite picture made from three $$z_0$$ on the real line between $$0$$ and $$1$$.

Surprisingly each of three rather randomly chosen initial values produced its own shape ("equator") which does not change its visual image when iterated further but only fills the circumference of the shape/"quasi-dense curve" more densely. It's worth to remark that when $$z_0$$ taken from some random value, say $$z_0=1.5+1.3 î$$ then this orbits even into a finite period of $$3$$ accumulation/periodic points - so that observation of "quasi-dense equators" (so-to-say) is not a general effect of this type of infinite iteration. The following picture shows the image for $$z_0=1.1$$ to give a bit more context: 