# Questions tagged [power-towers]

For questions pertaining to power towers: expressions like a^(b^(c^d))), which result from iterated exponentiation. The "hyperoperation" tag may be appropriate, too.

28 questions
171 views

### 3↑↑↑3= ? but with 10 instead of 3 ( approximation, order of magnitude )

3↑↑↑3= (or near) in power tower of 10 or in ( Knuth ) arrow ↑ notation of 10 to get a sense of it's order of magnitude; I grasp numbers more easily with 10 3↑↑↑3 being the first really huge number in ...
162 views

### Prove that $F_{2n}(x)=0$ has exactly one root in the interval $x\in(0,1),$ and this root $\to 0$ when $n \to \infty.$

Define $$f_1(x)=x\\f_2(x)=x^x\\\vdots\\f_{n+1}(x)=x^{f_n(x)}$$ Let $F_n(x)=f_n^{'}(x).$ Hence $$F_1(x)=1\\F_2(x)=x^x(1+\log(x))\\\vdots$$ Prove that $F_{2n}(x)=0$ has exactly one root in the ...
88 views

### Solving $x^{1/x}=y^{1/y}$ iteratively by power towers, convergence

Suppose we have no idea that $x^{1/x}=\exp \left( \frac{1}{x} \ln x \right)$ or don't know anything about exponents and logarithms. But we can certainly compute roots, for example by this method. ...
84 views

150 views

### Peter Walker's $C^{\infty}$ conjectured nowhere analytic slog

Consider the function $h(x)$ which is conjectured to be $c^\infty$ nowhere analytic, and can be used to generate what we call the base change slog, which is the inverse of the basechange sexp. This ...
764 views

### Show that the iterated $\ln^{[n]}$ of tetration(x,n) is nowhere analytic

$$f(x) = \lim_{n\to \infty} \ln^{[n]} x \uparrow\uparrow n$$ The conjecture is that $f(x)$ is monotonic and infinitely differentiable at the real axis, but nowhere analytic; because at each point on ...
137 views

### Iterations $n, n^n, (n^n)^{(n^n)},…$

(Note: I'm reposting this, as I posted the original too late in the evening to gain anyone's notice.) A contest problem (#2 on the 2010 Virginia Tech Math Competition) proffers the solver the ...
140 views

### On the sequence $(f_n)$ defined by $f_1(x)=x$ and $f_{n+1}(x)=x^{f_n(x)}$

Consider the numbers $x^x$,$x^{(x^x)}$,$x^{(x^{(x^x)})}$, etc. Let $n$ be the number of times $x$ appears in the power tower and $f_n$ the corresponding function, for example $f_4(x)=x^{(x^{(x^x)})}$....
82 views

158 views

### Special power towers

Let $x(n)$ be the power tower $2 \uparrow 3 \uparrow 4 \uparrow \cdots \uparrow n$. Let $y(n)$ be the power tower $n \uparrow (n-1) \uparrow \cdots \uparrow 3 \uparrow 2$ My questions : Is there a ...
136 views

### Partial Values for Knuth's Up-Arrows

$3 \uparrow 4$ is $3^4$, and $3\uparrow \uparrow 3$ is $3^{3^{3^3}}$, etc. For those of you unfamiliar, here is a wiki page on the notation. Clearly, up-arrow expressions, as they are usually ...
86 views

### $f(x) = \sqrt x^{{\sqrt[3]{x}}^{\sqrt[4]{x},\cdots}}$ asymptotic?

Consider for positive real $x$ : $$f(x) = \sqrt x^{{\sqrt[3]{x}}^{\sqrt[4]{x},\cdots}}$$ How does this function behave ? How fast does it grow ? Faster than any fixed iteration of exp sure, but ...
47 views

### Is $a^x\equiv x\mod 10^n$ always uniquely soveable, when $\gcd(a,10)=1$?

If $\gcd(a,10)=1$ and $n\ge 1$, is the equation $$a^x\equiv x\mod 10^n$$ always uniquely solveable modulo $10^n$ ? If yes, how can this be proven ? The discrete logarithm does not seem to help. I ...
48 views

### Tetration with 0 < #s < 1?

When I try numbers between 0 and 1 on my calculator app n-calc on my phone .. I get rapid convergence when the numbers are close to 1 .. And alternating but slow convergence when numbers are close to ...
Using calculus (or algebra), how would I solve an infinite exponent tower such as this? $$c_0x^{c_1x^{c_2x^{c_3x^{.^{.^.}}}}}=a$$ Where $c_0=1$ and $c_{n+1}=\frac{c_n}{2}$ for $n=0,1,\ldots$ and $a&... 0answers 95 views ### What the minimum of infinite tetration divided by$\sqrt{x}$? For some values of$x$the limit of infinite tetration converges. For example when$x=\sqrt{2}$this is fixed point $$\lim_{n\rightarrow \infty} \sqrt{2} \uparrow \uparrow n = \sqrt{2}^{\sqrt{2}^{\... 0answers 23 views ### Sufficient condition for an equivalence What is a sufficient condition for the equivalence$$ a_1 \uparrow a_2 \uparrow ... \uparrow a_n \equiv a_1 \uparrow a_2 \uparrow ... \uparrow a_n \uparrow a_{n+1}\ mod(\ m)\ ? $$In a closely ... 0answers 18 views ### A different type of infinite power tower function The question is about the following: Let a function be defined such that$$f_n(x) = x \uparrow \uparrow n$$Where n is a natural number Now, it is reported at many places that the function$$F_1(x)... 0answers 100 views ###$2^{3^{4^{…^{n}}}} \equiv 1$(mod$n+1$) I remember when I started learning modular arithmetics I found a tetration equation stated as follows$2^{3^{4^{...^{n}}}} \equiv 1$(mod$n+1$) I am wondering how could this be proved, I tried this ... 0answers 392 views ### Compute modulo of prime power tower I have a prime number$p$, and I need to compute$p$↑↑$k$mod$m$. here p ↑↑ k can be written as p ^ (p ^ (p ^ (p ... k times))) for example -$p = 5, k = 3, ...
"For two positive number a, b which satisfies the condition $\ln a \ln b <0$. equation $a^{b^{a^{b^x}}}=x$ has only one root if and only if ${\frac{d}{dx}a^{b^x}}_{x=t}\geq-1$, where $a^{b^t}=t$" ...