# Tag Info

3

WLOG, let $y = f(x)$. You know that $$y =x^y$$ So $$\ln(y) =y\ln(x)$$ $$\frac{dy}{dx}*\frac{1}{y} = \frac{dy}{dx}*\ln(x) + \frac{y}{x}$$ $$\frac{dy}{dx} = \frac{y^2}{x-xy\ln(x)}$$

5

This function is known as infinite tetration. The sequence is undefined for $x\leq 0$ except at some rational points, so there is no point talking about the derivative there. Ditto for large $x$, where the sequence diverges to $\infty$. Rather surprisingly for $x>0$ the limit only exists for $x\in[e^{-e},e^{1/e}]$ as shown by Euler, see here and here. ...

13

$\textbf{hint:}$ $$f(x) = x^{f(x)}$$ Then proceed

3

It is not only true, but mentioned explicitly in the Wikipedia article on the subject. :-) In fact, it has been known since the time of Euler. What you forgot to add is that infinite tetration only converges for $x\in\Big[e^{-e}~,~\sqrt[e]e\Big]$.

1

I think I know what you're trying to say, but I'm also not sure if it is possible to say with any rigor. I think that you essentially want to essentially know whether "simplification" is in some sense "complete": so that if two recurrence relations which appear in different forms always give the same outputs given the same inputs, then they can both be ...

1

Any relation that produces this sequence can of course be 'ultimately' simplified to $a_{n+1}=2^{a_n}$ just because this is how consecutive elements in the sequence are related. You do not however specify which identities are 'allowed' in a simplification. There are analytic functions that vanish on all integers, $\sin(\pi x)$ for example, so ...

0

This is base2 Tetration, using Kneser's method, which is analytic in the upper and lower halves of the complex plane. The conjecture is that Kneser's solution is the only one with derivative>0 for z>-2, and which is analytic in the upper and lower halves of the complex plane, and at the real axis for z>-2. It has singularities at negative integers<=-2. ...

Top 50 recent answers are included