Exploring Infinite Exponent Towers: Solving for x in x^x^x^x^...=2

In summary: SOME POSTS ABOVE... Daniel.In summary, the conversation discusses the concept of infinite exponent "towers" and attempts to solve a problem involving this concept. The participants discuss potential solutions and demonstrate different approaches to solving the problem. There is disagreement over the correct solution, with some suggesting it is not possible to find a real solution. The conversation also touches on the idea of irrational numbers and the intricacies of working with infinite expressions.
  • #1
The Divine Zephyr
27
0
Infinite Exponent "towers"

Please help me solve this problem; I don't even know how to start...

Solve for x: [tex] x^{x^{x^{x^{...}}}}=2 [/tex]
 
Last edited:
Physics news on Phys.org
  • #2
if x=1, x^x^x^x... =1
if x >1, x^x^x^x... = infinity
so x is undefine
 
  • #3
vincentchan said:
if x=1, x^x^x^x... =1
if x >1, x^x^x^x... = infinity
so x is undefine

You can say that the equation does not admit a real solution...

Daniel.

P.S.The problem would be interesting to consider and solve in [itex] \mathbb{C} [/itex]... :wink:
 
  • #4
[tex] x^{x^{x^{x^{...}}}}=2 [/tex]

Daniel.
 
  • #5
Teteration

The Divine Zephyr said:
Please help me solve this problem; I don't even know how to start...

Solve for x: [tex]((((((x^x)^x)^x)^x)^x)^ ...)=2[/tex]

LaTeX can't seem to stack exponents, like they should be
(x^x^x^x^x^x^x^x^x^x^x^x^...)

Let the iterated exponent (a teteration) be called LHS (left hand side)

Then LHS=y=2
but the iterated exponent is also equal to LHS so that:
LHS^y=2

but y=2
so that:

x^2=2
or:

x=Sqrt[2]

Yea, I know it's hard to grasp. I need to work on it too.

SD
 
  • #6
vincentchan said:
if x=1, x^x^x^x... =1
if x >1, x^x^x^x... = infinity
so x is undefine

So far, I got that

if x=1, my LHS=1
if 0<x<1, LHS converges to 1
if x>1, LHS diverges

Let the iterated exponent (a teteration) be called LHS (left hand side)

Then LHS=y=2
but the iterated exponent is also equal to LHS so that:
LHS^y=2

but y=2
so that:

x^2=2
or:

x=Sqrt[2]

I plugged it in on a calculator and it divirged into infinity...

P.S.The problem would be interesting to consider and solve in [itex] \mathbb{C} [/itex]... :wink:
Go for it, I'll think about that, too.
 
Last edited:
  • #7
saltydog said:
x=Sqrt[2]

Yea, I know it's hard to grasp. I need to work on it too.

Try to see whether it verifies the equation...

Daniel.
 
Last edited:
  • #8
It doesn't, [tex]\sqrt{2}^{\sqrt{2}^{\sqrt{2}}}[/tex] does infact come very close to 2 (I think exactly, don't have my 89 with me...), however. But as soon as more terms are piled on, it spirals into infinity.
 
  • #9
The Divine Zephyr said:
if x<1, LHS converges to 1

This is obvious for the expression [tex]((x^x)^x)^x...[/tex]
but how did you show convergence for
[tex]x^{x^{x^{x^\cdots}}}[/tex]
?
For the first, you get the sequence 2^{-1}, 2^{-1/2}, 2^{-1/4},...,2^{-1/2^i} but for the second the form gets ugly:
2^{-1}, 2^{-1/2}, {sqrt{2}/2}^sqrt{2}, {1/2}^{{sqrt{2}/2}^sqrt{2}}, ...
My forays with Windows calculator are giving me oscillations, so I can't be sure it doesn't converge to something less than 1.
 
Last edited:
  • #10
hypermorphism said:
This is obvious for the expression [tex]((x^x)^x)^x...[/tex]
but how did you show convergence for
[tex]x^{x^{x^{x^\cdots}}}[/tex]
?
For the first, you get the sequence 2^{-1}, 2^{-1/2}, 2^{-1/4},...,2^{-1/2^i} but for the second the form gets ugly:
2^{-1}, 2^{-1/2}, {sqrt{2}/2}^sqrt{2}, {1/2}^{{sqrt{2}/2}^sqrt{2}}, ...
My forays with Windows calculator are giving me oscillations, so I can't be sure it doesn't converge to something less than 1.

I'm sorry, the correct expression for me would have been 0<x<1 will converge to 1
 
  • #11
2^{-1} is less than 1. :) But I'm not sure the power tower sequence it generates converges to 1, as I can't find a general ith term for the sequence.
 
  • #12
SQRT [2] IS THE CORRECT ANSWER...


Generally

[tex] x^{x^{x^{x^{...}}}}=a [/tex]

Has the solution

[tex] x=a^{\frac{1}{a}} [/tex]

Iteration & logarithmation to show it...

Daniel.
 
  • #13
I see where you are coming from, but I can't see it working the the equation...


SQRT [2]^SQRT [2]^SQRT [2]=2, but as soon as more SQRT [2]s are stacked, it flies off the mark...
 
  • #14
No,it doesn't,trust me...Do you approximate results (intermediary) ??If so,then that's why it may jump over 2...

Daniel.
 
  • #15
Hmm. Mathworld has an expression for the general solution of the infinite power tower at http://mathworld.wolfram.com/PowerTower.html , but its not as simple as a^{1/a}. However, the equation seems to verify that the power tower of sqrt(2) converges to 2.
Regarding dex, it's true. sqrt(2) is an irrational number so it can't be rationed about like a finite decimal on a calculator. :)
 
Last edited:
  • #16
I idnt approximate. I got 2 for a stack of 3 sqrt twos, but as I did [tex]x^{x^{x^{x^{...}}}}[/tex], it went to infinity.

[tex]\log_{x}2=x^{x^{x^{x^{...}}}}[/tex]

Can you show me how your solution was attained?

I see the link, I'll go check it out.
 
  • #17
dextercioby:
are you having a bad day?? ...I'll show you if x=2^1/2, then x^x^x^x >2,

let x=2^1/2

x^x^x^x=x^(x*x*x) = x^(2*x) = 2^(1/2*2)^x = 2^x >2
 
  • #18
vincent: a^a^a^a means

[tex]
a^{a^{a^{a}}}
[/tex]

not

[tex]
(((a^a)^a)^a)^a
[/tex]


Or, written flatly, it's x^x^x^x := x^(x^(x^x)))
 
Last edited:
  • #19
vincentchan said:
dextercioby:
are you having a bad day?? ...I'll show you if x=2^1/2, then x^x^x^x >2,

let x=2^1/2

x^x^x^x=x^(x*x*x)
This step is wrong. We're finding the result of x^(x^(x^...)), not ((x^x)^x)^...
Ie., (sqrt(2)^sqrt(2))^sqrt(2) = sqrt(2)^(sqrt(2)*sqrt(2)) = sqrt(2)^2 = 2,
but there is no similar way to simplify sqrt(2)^(sqrt(2)^sqrt(2)).
 
  • #20
so the expression is:
x^(x^(x^(x^(x...)??
i was keep doing
x^x^x^x^x...

idoit me
for your [tex]
a^{a^{a^{a}}}
[/tex]
it really depend on how ppls read...
 
  • #21
Anyways,the problem asked for the solution of the equation.Not for divagation regarding "power tower"...

Vincentchan,are YOU having a bad day??

Daniel.
 
  • #22
[tex]\sqrt{2}[/tex] is obviously incorrect. It diverges, just like all x>1. I'm guessing you arrived at that answer by something like this:

[tex] x^{x^{x^{x...}}} = 2[/tex]
[tex] x^{x^{x^{x...}}} = x^2[/tex]
[tex]x^2 = 2[/tex]
[tex]x = \sqrt{2}[/tex]

The problem is that you are assuming [tex]\infty=\infty[/tex] (since the power tower diverges), and this isn't always true. By the same logic, I could say:

[tex]s = 1 + 2 + 4 + 8 + ...[/tex]
[tex]2s = 2 + 4 + 8 + ... = s - 1[/tex]
[tex]s = -1 [/tex]
 
Last edited:
  • #23
StatusX said:
[tex]\sqrt{2}[/tex] is obviously incorrect. It diverges, just like all x>1. I'm guessing you arrived at that answer by something like this:

[tex] x^{x^{x^{x...}}} = 2[/tex]
[tex] x^{x^{x^{x...}}} = x^2[/tex]
[tex]x^2 = 2[/tex]
[tex]x = \sqrt{2}[/tex]

The problem is that you are assuming [tex]\infty=\infty[/tex], since the power tower diverges, and this isn't always true.By the same logic, I could say:

[tex]s = 1 + 2 + 4 + 8 + ...[/tex]
[tex]2s = 2 + 4 + 8 + ... = s - 1[/tex]
[tex]s = -1 [/tex]


YOU ARE TERRIBLY WRONG!

Please,do not GUESS WHAT I AM THINKING... :devil:

[tex] x^{x^{x^{x^{...}}}}=a [/tex]

THIS EQUATION HAS THE SOLUTION i specified in the post with lots of red...

Daniel.
 
  • #24
It's fairly easy to prove the sequence [itex]\sqrt{2} \uparrow \uparrow n[/itex] converges as [itex]n \rightarrow \infty[/itex]: it's a bounded, monotone sequence.
 
  • #25
The Divine Zephyr said:
I idnt approximate. I got 2 for a stack of 3 sqrt twos, but as I did [tex]x^{x^{x^{x^{...}}}}[/tex], it went to infinity.

[tex]\log_{x}2=x^{x^{x^{x^{...}}}}[/tex]

Can you show me how your solution was attained?

I see the link, I'll go check it out.

Careful how you plug this into your calculator...

Are you calculating:
[tex]x^{x^{x^{x^{...}}}}[/tex]

Or are you calculating

[tex](((x^x)^x)^x)^x...[/tex]

The first one goes to 2 if x=sqrt(2). The second one does not.

The way to plug it into the calculator is like this:

[tex]a_0=\sqrt{2}^\sqrt{2}[/tex]
[tex]a_1=\sqrt{2}^{(a_0)}[/tex]
[tex]a_2=\sqrt{2}^{(a_1)}[/tex]

etc...
 
  • #26
youre right, I'm wrong (those big letters are annoying, though). It seems like it would diverge for x>1, but it's only for x>e^(1/e). Which lead to the interesting paradox that x goes to 1 as a goes to infinity, and yet for x=1, a=1.
 
Last edited:
  • #27
StatusX said:
(those big letters are annoying, though).

They were meant to be annoying,not for the fact that u contradicted me when you were wrong,and i was right,but for doing that by assuming what i was thinking... :rolleyes:

Daniel.
 
  • #28
Proof for convergence

Would anyone be willing to provide a reasonably short (if possible) proof for the convergence interval for the function? Or perhaps someone can cite an on-line reference for the proof. If I obtain one I can understand, I'll post it.

Thanks,
SD
 
  • #29
The solution to the equation
[tex] x \upuparrows \infty = a [/tex]

is [tex] a^{\frac{1}{a}} [/tex]
,which is never bigger than [tex] e^{\frac{1}{e}} [/tex]

Daniel.
 
  • #30
dextercioby said:
The solution to the equation
[tex] x \upuparrows \infty = a [/tex]

is [tex] a^{\frac{1}{a}} [/tex]
,which is never bigger than [tex] e^{\frac{1}{e}} [/tex]

Daniel.

Thanks Daniel,
However, my understanding is that the hyperexponent function above converges only when x is in some interval. Can you please tell me how to incorporate math symbols into my posting so I can be more specific? I have Mathematica. Can I export data from there?

Thanks,
SD
 
  • #31
saltydog said:
Thanks Daniel,
However, my understanding is that the hyperexponent function above converges only when x is in some interval. Can you please tell me how to incorporate math symbols into my posting so I can be more specific? I have Mathematica. Can I export data from there?

Thanks,
SD

Ok Daniel,
I checked out the FAQ and found LaTeX. Nice feature here!
SD
 
  • #32
I still don't get how this works. I believe you that the answer is 2^1/2 but I still don't know why. Is is calcuable using a calcuator or only provable through algebra? Could somone post a sollution?
 
  • #33
Physics is Phun said:
I still don't get how this works. I believe you that the answer is 2^1/2 but I still don't know why. Is is calcuable using a calcuator or only provable through algebra? Could somone post a sollution?

If you mean how do you find that the answer is sqrt(2), look at my post above. If you mean how could it be that a number greater than 1 converges in an infinite tower, which at least I found strange, just think of it like this: Sqrt(2)^2 is 2, so sqrt(2)^x for any x less than 2 will be less than 2. This means that sqrt(2)^sqrt(2)<2, and so then sqrt(2)^(sqrt(2)^sqrt(2))<2, and so on.
 
  • #34
Though I am still alittle quesitonable about sqrt 2 as an answer, I think I understand the reason the answer is correct.
 

FAQ: Exploring Infinite Exponent Towers: Solving for x in x^x^x^x^...=2

What is an infinite exponent tower?

An infinite exponent tower is a mathematical expression in the form of x^x^x^x^..., where the number of x's continues infinitely. It is also known as a power tower or tetration.

What does it mean to solve for x in an infinite exponent tower?

Solving for x in an infinite exponent tower means finding the value of x that makes the entire expression equal to a given number, such as 2 in the example x^x^x^x^...=2.

Is it possible to solve for x in an infinite exponent tower?

Yes, it is possible to solve for x in some cases. However, the solutions can be extremely complex and may involve advanced mathematical concepts.

How do you solve for x in an infinite exponent tower?

The process of solving for x in an infinite exponent tower involves using logarithms and/or iterative methods. It is a complex process and may require a deep understanding of mathematical concepts.

Why is exploring infinite exponent towers important?

Exploring infinite exponent towers can help us understand the behavior of extremely large numbers and their relationships to each other. It also has practical applications in fields such as computer science and cryptography.

Back
Top