0
$\begingroup$

I came across infinite tetrations on wikipedia (https://en.wikipedia.org/wiki/Tetration) it says that the infinite tetration converges if and only if $\ e^{-e} \leq x \leq e^{1/e}$. I was wondering if there is a proof of this.

$\endgroup$
  • $\begingroup$ if you make both inequality signs point in the correct direction, the result is due to Euler, and ought not to be difficult. en.wikipedia.org/wiki/Tetration#Extension_to_infinite_heights $\endgroup$ – Will Jagy Nov 2 '15 at 23:47
  • $\begingroup$ Hint: Infinite tetration can be written as $y=x^y\iff x=\sqrt[y]y$, which has a global maximum for $y=e$. $\endgroup$ – Lucian Nov 3 '15 at 7:46
1
$\begingroup$

This relates to the deeper questions of where does the iterates of $a^z$ converge in the complex plane for infinite exponential towers at a fixed point $A$ such that $a^A=A$ and where is the onset for period $n$ behavior.

Let $\Delta z$ be an infinitesimal. Since $a^A=A$, $a^{A+\Delta z}=A a^{\Delta z}=A + Ln A \ \! {\Delta z}$. Therefore $A+\Delta z \Rightarrow A + Ln A \ \! {\Delta z}$. The dynamics of $a^z$ in the neighborhood of a fixed point $A$ are solely dependant on the location of $A$.

Let $Ln A=e^{2 \pi i}$, then $A =e^{e^{2 \pi i}}$. But $a=A^{1/A}$, so $ a=\LARGE e^{e^{2 z i \pi-e^{2 z i \pi}}}$. Let $z=1$, then so $1.444\approx e^{1/e} = \LARGE e^{e^{2 i \pi-e^{2 i \pi}}}$. Let $z=1/2$, then so $0.065988 \approx e^{-e} = \LARGE e^{e^{i \pi-e^{i \pi}}}$

Complex convergence

The complex function $\LARGE e^{e^{2 z i \pi-e^{2 z i \pi}}}$

Infinite exponential tower period

The exponential Mandelbrot set by period. Red is the area of convergence or period 1, orange is period 2 and includes 0, yellow is period 3.

$\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.