Root of $x^{x^{x^{x^{x^{.^{.^{.}}}}}}} = a$

Solution 1:

If you let $x_0=x,x_{i+1}=x^{x_i}$ then $$x^{x^{x^{x^{x^{.^{.^{.}}}}}}}=\lim_{n\to\infty}x_n$$ may or may not converge. Only if it converges can you write it as $x^a=a$.

Solution 2:

Let’s make this rigorous. Consider the map $f: x \mapsto x^x$. Iterating this will get you what you want...hopefully.

Choose a compact interval of the real line. Your HYPOTHESIS will be that the limit of the sequence $f(c), f(f(c)), ...$ , where $c$ is in the interval you chose, is some number that you got by your log trick. (In fact, if at all it is that number, there are often conditions in which it HAS to be that number and nothing else).

But to actually prove that the power tower achieves that value, you need to consider the sequence above (function iterates) and show that it converges.

You should work out for yourself that this logic breaks down where you pointed out exactly because of this failure of the function iteration sequence to converge.

———————-

I also like using the Banach fixed point theorem for these types of problems.

The reduction of the Banach fixed point theorem to $\mathbb{R}$ is saying: given a compact interval, and a function that maps the compact interval to itself, such that the function is Lipschitz with some constant ratio $\leq 1$ (this is known as a contraction mapping because it shrinks distances), there is a fixed point on that interval and the sequence $f(c), f(f(c)), f(f(f(c)))...$ converges to it for ANY $c$ in that interval.

This is the most well-known fixed point theorem (and the easiest to prove) that says something about the existence of fixed points, an algorithm for calculating them, and a powerful statement about their attractiveness. This last property is what guarantees a finite, convergent number if you take the infinite composition $f(f(f(f...$ of a single number. (Why do you get a fixed number when you whip out your calculator and keep punching cos() for some initial argument? And admit it, you’ve done this.)

This approach might not always work because it’s sometimes hard to find a region where the function is a self map, but if you can easily do this and prove the map is contracting, you can appeal to this theorem without analyzing the behavior of some possibly contrived sequence.