6
$\begingroup$

Okay, so I know that for positive values, $^{\infty}x$ converges to $-\frac{W(-\ln x)}{\ln x}$ for $e^{-e}\le x \le e^{\frac1e}$. Above that, it diverges. For positive values less than $e^{-e}$, any attempt to evaluate the infinite tetration oscillates between two values. $^{\infty}0$ is undefined, but $^{\infty}(-1) = -1$. By way of experimentation, other negative values of $^{\infty}x$ seem to quickly become nonconvergent complex values. Are there any other negative values for which infinite tetration converges? If not, is there a proof that no other vaues do?

$\endgroup$
  • $\begingroup$ Quote "For positive values less than $e^{-e}$... oscillates between two values". I see the same thing for negative values of x, where if x<=-3.25, then it oscillates between three values. Might be able to look at the derivitive at the fixed point for negative values... using the lambertw function. $\endgroup$ – Sheldon L May 29 '14 at 14:19
  • $\begingroup$ And for other negative values of $x$, you can get periods different from 3. Maybe you should check out the "Tetration Forum" math.eretrandre.org/tetrationforum/index.php $\endgroup$ – John M May 29 '14 at 14:22
  • $\begingroup$ Moreoever, the closer you get to $-1$, the bigger the period seems to be. I seems to be a fairly complex problem to analyze. $\endgroup$ – John M May 29 '14 at 14:24
5
$\begingroup$

Are there any other negative values for which infinite tetration converges?

Not really. Without going into too much detail, the potential map for the infinite exponential is:

$$\phi(z)=\exp(z/\exp(z))$$

If you plug in the above the parametrized unit circle $\exp(i\cdot\theta)$ for $0\le\theta\le 2\pi$, you'll get what is known as the Shell-Thron region boundary on the Complex plane. In Maple for example:

phi:=z->exp(z/exp(z));

complexplot(phi(exp(I*theta)), theta = 0 .. 2*Pi, scaling = constrained);

Shell (of Shell-sort fame) in his Ph.D. thesis proved that convergence occurs only for $c$ inside this region on the complex plane. Alternatively, if you don't want to check against this region on the complex plane, you can check that the inverse potential map (multiplier) sends you inside the unit circle (which is crucial for convergence). That is, given $c$, check that:

$$t=|\phi^{-1}(c)|=|-W(-\log(c))|< 1$$

where $W$ is the principal branch of the Lambert function.

Baker and Rippon later made the result stronger, by proving that convergence occurs only either if $t<1$ or $t=1$ and $t^n=1$.

You can see the Shell-Thron region here (red nephroid).

The value (-1) is sort of a rogue in the complex plane and is the only value outside this region for which the infinite exponential trivially converges to itself, since ${^n}(-1)=-1$ for all $n\in\mathbb{N}$.

$\endgroup$
  • 1
    $\begingroup$ Daniel; thanks for the great graph! Daniel's graph on the right is color coded by period. Red is converging, the other colors are periodic... $\endgroup$ – Sheldon L May 30 '14 at 3:17
  • $\begingroup$ Another graph of the Shell-Thron-region is in the tetration-forum's wiki-page: math.eretrandre.org/hyperops_wiki/… $\endgroup$ – Gottfried Helms Jun 6 '14 at 16:32
  • $\begingroup$ @GottfriedHelms The images in your link appear to be broken $\endgroup$ – Mark S. May 30 '17 at 14:08
  • $\begingroup$ I can provide a link to my own picture from that small entry so far, see go.helms-net.de/math/tetdocs/_equator/ShellThron.png $\endgroup$ – Gottfried Helms May 30 '17 at 14:28
1
$\begingroup$

Surely there are no other fixpoints in that area. However, one should observe the difference between divergence and convergence-to-cyclic-points . In the left side (negative real part) I was surprised that we have mostly convergence-to-cyclic-points , while divergence (of absolute values) was only observed in the right side (positive real part) - which I think is a better characterization of the properties presented in the question.

A relatively raw attempt to (compute and) illustrate the cycle-lengthes of sets of attracting cyclic points gives the following picture (coordinates $-5..+5, -5i..+5i$) .

In the middle we see that black nephroid - this is the region where the complex numbers with definition $z_0=z $ and then $ z_{k+1}=z^{z_k}$ iterate to the fixpoints (cycle-lengthes 1), known as "Shell-Thron-region".

But also mainly on the left side (negative real part) the complex bases $z$ have attracting cyclic points, most of cyclelength $3$ - the dark red color. Attracting cyclic points with higher cyclelenghtes got lighter red color.

(Mainly) on the rights side (positive real part of $z$) it seems that we have the "point at infinity" as fixpoint - the iterations diverge quickly or less quick; the fastest diverging bases are at the right side, the dark teal color. The lighter teal/blue colors indicate bases which diverge slower.

As I wrote above, this is based on a somehow crude procedure - the characteristics of the divergent bases are not yet well analyzed due to the exorbitant values which occur- sometimes alternating with extremely small absolutes values; those are all the blue and green and reaining grey colored points.
picture

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.