Are these solutions of $2 = x^{x^{x^{\:\cdot^{\:\cdot^{\:\cdot}}}}}$ correct?

Question

Find $x$ in $$ \Large 2 = x^{x^{x^{\:\cdot^{\:\cdot^{\:\cdot}}}}}$$

A trick to solve this is to see that $$\large 2 = x^{x^{x^{\:\cdot^{\:\cdot^{\:\cdot}}}}} \quad\implies\quad 2 = x^{\Big(x^{x^{x^{\:\cdot^{\:\cdot^{\:\cdot}}}}}\Big)} = x^2 \quad\implies\quad x = \pm \sqrt{2} $$

Are these solutions correct? If not, why? If yes, are there other solutions?

---

PS: An extension of this discussion can be found in What we can say about $(-\sqrt{2})^{(-\sqrt{2})^{(-\sqrt{2})^\ldots}}$?

Answer 1

Might as well...

The power tower $x^{x^\ldots}$ is equivalent to the function $\exp(-W(-\log\,x))$, where $W(z)$ is the Lambert function, in the range $e^{-e}\leq x\leq e^{1/e}$ (as Norbert mentions in the comments; see also equation 13 in the MathWorld entry linked to). $\exp(-W(-\log\,x))$ can be inverted, like so:

$$\begin{align*} y&=\exp(-W(-\log\,x))\\ -\log\,y&=W(-\log\,x)\\ (\log\,y)\exp(-\log\,y)&=\log\,x\\ \frac{\log\,y}{y}&=\log\,x\\ x&=\exp\left(\frac{\log\,y}{y}\right)\\ x&=\exp\left(\log\,y^{1/y}\right)=y^{1/y} \end{align*}$$

If $y=2$, then $x=\sqrt2$.

---

Knoebel's paper establishes the interval of convergence $[\exp(-e),\exp(1/e)]$ for the power tower function, in the case of positive $z$. The paper notes that a full characterization of the region of convergence of $z^{z^\cdots}$ for complex $z$ remains to be done, but Thron, Shell (of Shellsort fame) and others have given partial results. See also this paper by Anderson for another discussion on the convergence of the power tower, this article by Cho and Park, where they discuss the inverses of the function $z^{1/z}$, and this article by Sondow and Marques.

Answer 2

If a solution exists, you have $$ x^2 = x^{(x^{x^{x^{\cdot^{{\cdot}^{\cdot}}}}})}=2 $$ which means what you've got. (This part has been mentioned to be wrong for logarithmic properties misuse reasons) Not both of these are not solutions, since $$ 1 = \log_2(2) = \log_2(x^{x^{\dots}}) = x^{x^{\dots}} \log_2 (x) = 2 \log_2(x) $$ and in the case $x = -\sqrt 2$, $2\log_2(-\sqrt 2)$ is purely imaginary, thus cannot be $1$. (The logarithm of $\log_a(b^c) = c\log_a(b)$ part is the part that remains suspicious. As N.S. pointed out, I don't think this argument can be made right.)

One way to suggest $x=\sqrt 2$ would be to show that the sequence $$ x_n = \sqrt 2^{\dots^\sqrt2} $$ where exponentiation is taken $n$ times, is strictly increasing and bounded above by $2$. Numerical evidence suggests this : up to $n = 20$ I've seen that $x_n \le 2$ and $x_n$ is increasing. Convergence is slow and very long to compute though. I wasn't quite sure we could have convergence so I computed before finding a theoretical proof. Here's one : clearly $x_n$ is increasing, and $$ x_n^2 = \sqrt 2^{x_{n-1}} \times \sqrt 2^{x_{n-1}} = \sqrt 2^{2x_{n-1}} = 2^{x_{n-1}} \le 4 $$ by induction, so that $x^n \le 2$ for every $n$. Since the limit exists, it must be $\sqrt 2$.

Hope that helps,

Answer 3

(This should go as a comment but I doubt it would fit the box)

Also you should consider, whether you would better like to write $\small x$, $\small _bx $ , $\small _{_b}{_b}x $ ,$\small {_{...} } _{_b}{_b}x $ , because you always begin the evaluation at the top of the powertower and not at the bottom. And also then it is unambiguous to discuss $\small 2= 2 $, $\small 2 = _\sqrt22 $ , $\small 2= _{_\sqrt2}{_\sqrt2}2 $ and $\small 2= {_{...} } _{_\sqrt2}{_\sqrt2}2 $ as evaluated from the top. It is then also correct to write $\small 4= 4 $, $\small 4 = _\sqrt24 $ , $\small 4= _{_\sqrt2}{_\sqrt2}4 $ and $\small 4= {_{...} } _{_\sqrt2}{_\sqrt2}4 $ as a second solution. (This is clearly no standard notation, but I really do not know why this did not become standard)

[added] Then one could also write $\small 2= \lim {_{...} } _{_\sqrt2}{_\sqrt2}x \text{ for } -\infty \lt x \lt 4$ to note the convergence of all that initial values x, and because $\small x=\sqrt2 $ is in that range we can say $\small 2= \lim {_{...} } _{_\sqrt2}{_\sqrt2}\sqrt2 $

Answer 4

This is not a answer.

It's just a helper to discuss some things about the question, because is too large for the comments.

Looks like $-\sqrt{2}$ isn't a solution for the equation, but I'm not sure. Looks like too, the power tower of a number should converge only on a specific interval ($[e^{−e},e^{1/e}]$).

But using Mathematica and the ProductLog function (wich the Lambert $W(z)$ function) we find some strange things:

Using $h(z)=z^{z^{z^{\ldots}}}=-\frac{W(-\log (z))}{\log (z)}$ (h[z_]:=(-ProductLog[-Log[z]])/Log[z])

Calculating the power tower to $\sqrt{2}$ we have N[h[Sqrt[2]], 10]=2.000000000

And the power tower to $-\sqrt{2}$ we have N[h[-Sqrt[2]], 10]=0.2513502988 + 0.3162499180 I

Calculating explicity, by iteration

${-\sqrt{2}},{(-\sqrt{2})}^{({-\sqrt{2}})},{(-\sqrt{2})}^{({-\sqrt{2})}^{\ldots}}$ we have

Table[N[Re[PowerTower[-Sqrt[2], i]], 30] + I*N[Im[PowerTower[-Sqrt[2], i]], 5], {i, 1, 15}] // TableForm

-1.41421356237309504880168872421
-0.163093997943414854921937604558+0.59044 I
 0.140921295793052749536215801866-0.044791 I
 1.10008630700672531426983704055+0.50079 I
-0.268168781568546776692908102136-0.14235 I
 0.894980750563013739735614892750-1.1090 I
-33.5835630157562847787187418023+29.118 I
 6.49187847255812829134661655850*10^-46-1.5181*10^-45 I
 1.00000000000000000000000000000+1.5134*10^-45 I
-1.41421356237309504880168872421-2.2930*10^-44 I
-0.163093997943414854921937604558+0.59044 I
 0.140921295793052749536215801866-0.044791 I
 1.10008630700672531426983704055+0.50079 I
-0.268168781568546776692908102136-0.14235 I
 0.894980750563013739735614892750-1.1090 I

Ploting the real and imaginary part of the function $h$, we have:

To the real part:

Plot[Re[N[h[x]], {x, -2, 0}, Epilog -> {PointSize[0.01], Point[{-Sqrt[2], N[Re[h[-Sqrt[2]]]]}]}]

and to the imaginary part:

Plot[Im[N[h[x]], {x, -2, 0}, Epilog -> {PointSize[0.01], Point[{-Sqrt[2], N[Im[h[-Sqrt[2]]]]}]}]

So looks like the function converges, but, unfortunally not to $2$.

I will post this for now, but, maybe I will create a new question just to treat this convergence and I will embrace a answer from here.

Please if someone can clarify this a bit, left a comment.

Thx.