24
$\begingroup$

When you calculate what ${x}^{x^{x^{x\cdots }}}$ converges to between $0$ and $1$, before approximately $0.065$ the graph bifurcates.

graph image

Why does this happen and is there a reason for it happens at that number?

$\endgroup$
14
  • 9
    $\begingroup$ A preliminary obsevation: when $x\rightarrow0$, $x^x\rightarrow1, x^{x^x}\rightarrow0,x^{x^{x^x}}\rightarrow1$, etc. So it may turn out that the sequence is "alternating." $\endgroup$ – Tesla Daybreak Mar 2 at 6:16
  • 19
    $\begingroup$ Maybe this will help someone else work out the details: it looks like the transition is at $e^{-e} \approx 0.065988$. When $0 < c < e^{-e}$ it appears that there's a unique positive real solution $x_0$ to $x = c^x$, but it's an unstable equilibrium point because we have $\big| \frac{d}{dx}(c^x)|_{x = x_0} \big| > 1$. $\endgroup$ – Ravi Fernando Mar 2 at 6:23
  • 6
    $\begingroup$ Related topic: math.stackexchange.com/q/1899599, math.stackexchange.com/q/87870. $\endgroup$ – user Mar 2 at 8:29
  • 1
    $\begingroup$ See also this article and the links out of Wiki. $\endgroup$ – metamorphy Mar 2 at 8:32
  • 1
    $\begingroup$ Just curious: how did you obtain the red line? $\endgroup$ – Han de Bruijn Mar 5 at 20:16
2
$\begingroup$

The following reference is recommended reading, if you want to have a more detailed account of what follows:

The power tower at hand is recursively defined as: $$ h_0(x) = x \quad ; \quad h_{n+1}(x) = x^{h_n(x)} \quad ; \quad h(x) = \lim_{n\to\infty} h_n(x) $$ The recursion process is visualized in the picture below:

enter image description here

The $\color{blue}{blue\;lines}$ are the iterands for $n=$ odd; the $\color{red}{red\;lines}$ are the iterands for $n=$ even. It is seen that splitting up odd and even starts at $x\lt 1$ and that there is a bifurcation point (black dot). Going to infinity leads to the functional equation: $$ y = x^y \quad \mbox{with} \quad y = h(x) $$ The inverse function (where it exists) has an explicit analytical form, which is the black line in the above figure: $$ x = y^{1/y} $$ And can be used to establish the rightmost bound of the tower's domain: $$ \frac{d}{dy}y^{1/y} = e^{\ln(y)/y}\left[-\frac{\ln(y)}{y^2}+\frac{1}{y^2}\right] = 0 \\ \Longrightarrow \quad \ln(y)=1 \quad \Longrightarrow \quad y=e \; ; \; x=e^{1/e} $$ But in order to answer the question as stated, we have to consider another functional equation, namely: $$ y = x^{x^y} $$ Odd and even are separated now, as is required for observing the bifurcation. There is no neat inverse function of the latter equation. Therefore we shall investigate the two-dimensional funcion $\,f(x,y)=x^{x^y}-y\,$. An insightful way to do this is make an isoline chart / contour plot of the function. Lines are darker where the contour levels are higher. The massive black line is the place where $f(x,y)=0$.

enter image description here

Implicit differentiation is employed for finding the derivatives: $$ df = \frac{\partial f}{\partial x} dx + \frac{\partial f}{\partial y} dy \\ df = x^{x^y}\left[\frac{x^y y \ln(x)}{x} + \frac{x^y}{x}\right] dx + \left[x^{x^y}x^y\ln^2(x)-1\right] dy $$ If the gradient is zero, then $f(x,y)$ has a critical point at that place: $$ \begin{cases} \partial f/\partial x = 0 & y \ln(x)+1 = 0 \\ \partial f/\partial y = 0 & x^{x^y}x^y\ln^2(x)-1=0 \end{cases} $$ Both equations are essentially the same, because $\,x^{x^y}=x^y=y\,$, giving with $\,x=y^{1/y}\,$: $$ y \ln(y^{1/y})+1 = \ln(y)+1 = 0 \quad \Longrightarrow \quad y = 1/e \quad ; \quad x = e^{-e} $$ If we look at the picture with the isolines, then it is evident that the bifurcation must be at this place, with coordinates $\,(x,y)=(e^{-e},1/e)\,$.

EDIT.

It is observed in the last picture that the isolines in the neighborhood of the critical point are like hyperbolas. To confirm this observation, the second order derivatives at the bifurcation point should be investigated as well. Let a computer algebra system (MAPLE) do the hard work.

> f(x,y) := x^(x^y)-y;
> A(x,y) := diff(diff(f(x,y),x),x);
> B(x,y) := diff(diff(f(x,y),x),y);
> C(x,y) := diff(diff(f(x,y),y),y);
> D(x,y) := diff(diff(f(x,y),y),x);
> a := simplify(subs({x=exp(1)^(-exp(1)),y=1/exp(1)},A(x,y)));
                          exp(-3 + 2 exp(1))
> b := simplify(subs({x=exp(1)^(-exp(1)),y=1/exp(1)},B(x,y)));
                          -exp(-1 + exp(1))
> c := simplify(subs({x=exp(1)^(-exp(1)),y=1/exp(1)},C(x,y)));
                                  0
> d := simplify(subs({x=exp(1)^(-exp(1)),y=1/exp(1)},D(x,y)));
                          -exp(-1 + exp(1))
So the Hessian matrix at the crirical point is: $$ \begin{bmatrix} a & b \\ b & c \end{bmatrix} = \begin{bmatrix} e^{-3+2e} & -e^{-1+e} \\ -e^{-1+e} & 0 \end{bmatrix} $$ And the two eigenvalues of the Hessian turn out to be $$ \lambda_{1,2} = \frac{a+c}{2} \pm \sqrt{b^2 + \left(\frac{a-c}{2}\right)^2} \\ = \frac{1}{2} e^{-3+2e} \left[1 \pm \sqrt{\left(2\frac{e^{-1+e}}{e^{-3+2e}}\right)^2+1}\right] $$ Herewith it is clear that one eigenvalue is positive while the other is negative. Therefore the critical point is a saddle point, as expected. As has been said, the isolines in the neighborhood of this saddle point are hyperbolas. The asymptotes of these hyperbolas can be calculated as follows. $$ \begin{bmatrix} x-e^{-e} & y-1/e \end{bmatrix} \begin{bmatrix} a & b \\ b & c \end{bmatrix} \begin{bmatrix} x-e^{-e} \\ y-1/e \end{bmatrix} = 0 \\ e^{-3+2e}\left(x-e^{-e}\right)^2-2\,e^{-1+e}\left(x-e^{-e}\right)\left(y-1/e\right) = 0 \\ \Longrightarrow \quad x = e^{-e} \quad ; \quad y = 1/e + e^{e-2}/2\cdot\left(x-e^{-e}\right) $$ The asymptotes are tangent to the crossing massive black lines at the critical point.
$\endgroup$
0
0
$\begingroup$

See Projective Fractals for an explanation of why the bifurcation is at $e^{e^{2 \pi i x-{e^{2 \pi i x}}}}$ where $x=-1$. tetration Mandelbrot fractal

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.