19

Out of boredom, I decided to recall the following equation:

$$x^{x^{x\cdots}} = 2.$$

Which, I simply rewrote like this:

$x^2 = 2$, and therefore $x = \sqrt{2}$. Then I took a look at the more general form:

$$x^{x^{x\cdots}} = p.$$

I then concluded that $x = (p)^{\frac{1}{p}}$, and this was the solution set for all $p$. Then I thought for a while and determined that there are multiple values where this function equals the square root of $2$, so its not injective. However, this led to an awkward statemend based on the fact that $\sqrt{2} = (4)^{\frac{1}{4}}$. We deduce the following:

The equation $x^{x^{x\cdots}} = 2$ and the equation $x^{x^{x\cdots}} = 4$ have the same solution, namely $x = \sqrt{2}$. So we conclude that $2 = 4$.

I showed this to friend of mine, and he conjectured that there are no valid solutions for all $p > e$. To prove this, I tried writing the following:

I tried differentiating $f(x) = (x)^{(1/x)}$ and setting it equal to $0$ to find the maximum. I determined that there was a maximum at the point where $x = e$. Does this mean that the maximum possible solution $x$ for the infinite power is $e^{(1/e)}$ therefore showing that the maximum value for $p$ is indeed $p = e$?

Michael Hardy
  • 1
  • 30
  • 276
  • 565
ra1nmaster
  • 1,360
  • 1
  • 10
  • 21
  • 3
    The Wikipedia article for $e$ talked about this very thing, I guess the proof is due to Euler that $e^{1/e}$ is the upper limit for $p$. – abiessu Sep 12 '13 at 23:36
  • 2
    There is a lower positive value too, of $x=e^{-e}$, if you want finite tetration to converge in the limit. – Henry Sep 12 '13 at 23:58

2 Answers2

21

First you need to determine what $x^{x^{x^{\cdots}}}$ means.

A natural attempt to give meaning to this would be the limit (if it exists) of the sequence $$ 1, ~x,~x^x,~x^{x^x}, ~x^{x^{x^x}}, \ldots $$ which can also be written as a recurrence

$$ z_0=1 \qquad z_{n+1} = x^{z_n} $$

If the limit exists at all, it must be a fixed point of the map $z\mapsto x^z$, but that doesn't mean that every fixed point has to be a limit.

In the case $x=\sqrt 2$, we easily see that both $z=2$ and $z=4$ are fixed points. The question is just which (if any) of them is the limit of the sequence. Plotting the function and using some iteration theory we see that $z=2$ is a stable fixed point and must be reached when we start from $1$, wheras $z=4$ is not stable -- if $z_n$ is close to $4$, the next $z_{n+1}$ will be less close to $4$.

You have already proved that IF there is any $x$ such that $x^{x^{\cdots}}=4$ when $x$ must be $\sqrt 2$. However, since $x=\sqrt 2$ doesn't in fact give $4$, then the conclusion is simply that $x^{x^{\cdots}}$ never takes the value 4.

hmakholm left over Monica
  • 276,945
  • 22
  • 401
  • 655
0

In addition to Henning's excellent answer, I would add this as well: we have that $y=2$ implies $x=\sqrt{2},$ and $y=4$ implies $x=\sqrt{2}.$ Schematically, we have $A\to C$ and $B\to C.$ This doesn't imply that $A$ and $B$ are equivalent. That would be like saying "If you're a dog, you're a mammal. If you're a cat, you're a mammal. Therefore, if you're a dog, you're a cat." In logic, this is the fallacy of the undistributed middle.

Adrian Keister
  • 9,486
  • 13
  • 27
  • 39