A number raise to it self infinitely

[bigjoe5263]

hi I have encountered this...

.

                                     . 
                                   X
                                X
                              X
                           X    =   3

I tried to solve it using properties of logarithims however I always end up with the initial equation... how will I find the value of X? ( x is raised to it self endlessly ).


.

 

[Dick]

You have to parenthesize that exponential tower or it's ambiguous in meaning. 3^(3^3) is not equal to (3^3)^3. And as it's infinite, you need to express the meaning in terms of an infinite sequence. So start with a_0=x. Is a_n=x^(a_(n-1)) or is a_n=(a_(n-1))^x?

 

[Curious3141]

The generally understood meaning of the left hand side of that equation is the infinite power tower function

$$f(x) = x^{(x^{(x^{(x^...$$

or simply, work "downwards" from "infinity".

The "trick" solution to f(x) = N is to see that this implies x^f(x) = N hence x^N = N when a solution exists, giving x = N^(1/N).

The problem is that there is an upper bound on N for a solution to exist. I'll leave it to the OP to find that bound and hence deduce that f(x) = 3 has no solution.

 

[HallsofIvy]

If $x^{(x^{(x^{(x^...}}} = 3$, Then
x³= $$x^[{(x^{(x^{(x^...]}}}}= x^{(x^{(x^{(x^...}}}$$. What is that equal to?

Curios3141, I don't see why that "has no solution". Am I missing something?

 

[D H]

Halls, try calculating $$f(x)=x^{x^{x^\cdots}}$$ when $$x=3^{1/3}$$. It does not converge to 3. It does not converge, period. The upper bound on N is between 2 and 3 and is a very ubiquitous number.

 

[HallsofIvy]

How are you calculating that? If, for example, you calculate 3^1/3, store it in "x" in a calculator, do x^x, then "ans"^x, repeatedly, it does not converge.

But that is NOT $$f(x)=x^{x^{x^\cdots}}$$! To calculate that you need to repeatedly do x^"ans" and that does converge, slowly, to 3.

 

[D H]

I misspoke. It does converge, just not to the value you expect. Let

$$f_1(x) = x$$
$$f_k(x) = x^{f_{k-1}(x)}$$

The desired function $f(x)$ is

$$f(x) = x^{x^{x^{\cdots^x}} = \lim_{k\to\infty}f_k(x)$$

Now further define

$$g(x) = x^{1/x}$$

THe question at hand is $f(g(x))=x$? For $x \in [ 1/e,e ]$, $f(g(x))=x$. The convergence is very slow as x approaches 1/e or e.

Things get a bit interesting when x>e. For example, $f(g(3)) = 2.478053\cdots$ rather than 3. What's going on here? Note that $g(3) = 1.44225\cdots$. However, $g(2.478053\cdots) = 1.44225\cdots$ also. The inverse of $g(x)$ has two branches, with a branch point at $$e^{1/e}$$. $f(g(x))$ converges to $$g^{-1}(g(x))$$, where $$g^{-1}$$ refers to the lower branch.

Things get even more interesting when x<1/e. The sequence $\{f_k(x)\}$ doesn't converge. Instead, the sequence toggles between a pair of values as $k\to\infty$, one close to zero and the other close to one.

 

[HallsofIvy]

I'm a bit confused as to what converges, "converge, just not to the value you expect". The original problem was to solve
[tex\ x^{x^x^{\cdot\cdot\cdot}}= 3[/tex].
IF the sequence $a_1= x^x$, $a_2= x^{a_1}, ... converges to 3, then x must be equal to 3^1/3.$

 

[Dick]

I'm a bit confused as to what converges, "converge, just not to the value you expect". The original problem was to solve
[tex\ x^{x^x^{\cdot\cdot\cdot}}= 3[/tex].
IF the sequence $a_1= x^x$, $a_2= x^{a_1}, ... converges to 3, then x must be equal to 3^1/3.$

$<br /> That's true. But the converse (if x=3^(1/3) then the sequence converges to 3) isn't true. The sequence does converge to a limit L that you can find by solving log(L)/L=log(3)/3 (not the L=3 root, the other root L=2.47805...).$

 

[HallsofIvy]

I am going to have to meditate upon this!

 

[D H]

IF the sequence $a_1= x^x$, $a_2= x^{a_1}, ...$ converges to 3, then x must be equal to 3^1/3.

The problem is that no x exists such that the sequence $\{a_k(x)\}$ converges to 3.

 

[Curious3141]

I am going to have to meditate upon this!

Halls, it's simple. The radius of convergence of the hyperpower function $$f(x) = ^{\infty}x$$ (using the tetration notation) is $$({(1/e)}^e, e^{(1/e)})$$

For x > e^(1/e), the function does not coverge.

For a value like 3^(1/3), the function *does* converge. But it does not converge to 3.

The function $$g(x) = x^{(\frac{1}{x})}$$ reaches a maximum at x = e. In other words, you cannot find a value of x that makes g(x) > e^(1/e), so g(f(x)) will always converge for any real positive x > e.

So for N > e, f([N^(1/N)]) will never equal N, even though convergence will hold. Hence f(x) = N has no solution for x > e.

Hope that clarifies things. I haven't explored the lower bound this carefully, so I shan't comment on it.

 

[HallsofIvy]

Yes, thanks. I showed that "if the sequence of powers converges to 3, then x= 3^1/3. The converse, "if x= 3^1/3, then the sequence converges to 3" is not true.

 

[Curious3141]

Yes, thanks. I showed that "if the sequence of powers converges to 3, then x= 3^1/3. The converse, "if x= 3^1/3, then the sequence converges to 3" is not true.

Of course, the first condition (convergence to 3) will never actually be met.

 

[erszega]

D_H's f(g(x)) appears to provide solutions for x^y = y^x, x<>y, x>e.
For instance y=f(g(3)) is the other solution for 3^y = y^3, besides the obvious y=3.
When x=e, the only solution is y=e.
However, such solutions also exist when 1 < x < e, eg 2^4 = 4^2, but f(g(x)) does not help then, eg f(g(2)) = 2.