If iterated exponentiation (usually also called "Powertower") is understood as mathematical operator or as function depending on the iteration height, then this operator/operation/function is often called "tetration" and is assumed as next step in the operator hierarchy addition,multiplication, ...

learn more… | top users | synonyms

97
votes
1answer
20k views

Can $x^{x^{x^x}}$ be a rational number?

If $x$ is a positive rational number, but not an integer, then can $x^{x^{x^x}}$ be a rational number ? We can prove that if $x$ is a positive rational number but not an integer, then $x^x$ can ...
59
votes
4answers
4k views

Are the solutions of $x^{x^{x^{x^{\cdot^{{\cdot}^{\cdot}}}}}}=2$ correct?

Problem: Find $x$ in $$\large x^{x^{x^{x^{ \cdot^{{\cdot}^{\cdot}} }}}}=2$$ Trick: $x^{x^{x^{x^{\cdot^{{\cdot}^{\cdot}}}}}}=2$, so, $x^{(x^{x^{x^{\cdot^{{\cdot}^{\cdot}}}}})}=x^2=2$, and, ...
41
votes
11answers
3k views

Why are addition and multiplication commutative, but not exponentiation?

We know that the addition and multiplication operators are both commutative, and the exponentiation operator is not. My question is why. As background there are plenty of mathematical schemes that ...
30
votes
1answer
621 views

How do I calculate the 2nd term of continued fraction for the power tower ${^5}e=e^{e^{e^{e^{e}}}}$

I need to find the 2nd term of continued fraction for the power tower ${^5}e=e^{e^{e^{e^{e}}}}$ ( i.e. $\lfloor\{e^{e^{e^{e^{e}}}}\}^{-1}\rfloor$), or even higher towers. The number is too big to ...
26
votes
1answer
386 views

Iterated exponent of $i$

WolframAlpha seems to tell me that $e^{e^{e^{e^{e^{e^{e^{e^{e^{e^{e^i}}}}}}}}}} = 1$, see link. Is this just an error or is it for real? Adding one more $e$ to the bottom of the tower gives me the ...
23
votes
2answers
2k views

Is there a natural way to extend repeated exponentiation beyond integers?

This question has been in my mind since high school. We can get multiplication of natural numbers by repeated addition; equivalently, if we define $f$ recursively by $f(1)=m$ and $f(n+1)=f(n)+m$, ...
22
votes
4answers
2k views

Seems that I just proved $2=4$.

Solving $x^{x^{x^{.^{.^.}}}}=2\Rightarrow x^2=2\Rightarrow x=\sqrt 2$. Solving $x^{x^{x^{.^{.^.}}}}=4\Rightarrow x^4=4\Rightarrow x=\sqrt 2$. Therefore, $\sqrt 2^{\sqrt 2^{\sqrt 2^{.^{.^.}}}}=2$ and ...
21
votes
1answer
2k views

Infinite tetration, convergence radius

I got this problem from my teacher as a optional challenge. I am open about this being a given problem, however it is not homework. The problem is stated as follows. Assume we have an infinite ...
20
votes
3answers
995 views

Explain $x^{x^{x^{{\cdots}}}} = \,\,3$

$$x^{x^{x^{\cdot^{\cdot^{\cdot}}}}} =\quad 2$$ This equation has the answer $\sqrt{2}$ by taking $\log$ to both side. This answer is correct because I'd proved it by computing the equation repeatedly ...
20
votes
1answer
848 views

$n^{th}$ derivative of a tetration function

I stumbled upon this very peculiar function last summer, namely: $f(x)=x^{x^{x^{...^{x}}}}$, where there is a number $n$ of $x$'s in the exponent, I tried to find the derivative for the function and I ...
19
votes
1answer
427 views

Is the positive root of the equation $x^{x^x}=2$, $x=1.47668433…$ a transcendental number?

I can prove using the Gelfond–Schneider theorem that the positive root of the equation $x^{x^x}=2$, $x=1.47668433...$ is an irrational number. Is it possible to prove it is transcendental?
19
votes
3answers
370 views

What combinatorial quantity the tetration of two natural numbers represents?

Tetration is a generalization of exponentiation in arithmetic and a part of a series of other generalized notions, Hyperoperators. Consider $m\uparrow n$ denotes the tetration of $m$ and $n$. i.e. ...
18
votes
2answers
692 views

What is the derivative of ${}^xx$

How would one find: $$\frac{\mathrm d}{\mathrm dx}{}^xx?$$ where ${}^ba$ is defined by $${}^ba\stackrel{\mathrm{def}}{=}\underbrace{ a^{a^{\cdot^{\cdot^{\cdot^a}}}}}_{\text{$b$ times}}$$ Work so ...
15
votes
3answers
335 views

How can I prove $\sqrt{2}^{\sqrt{2}^{\sqrt{2}^{\sqrt{2}^{\sqrt{2}…}}}}=2$ [duplicate]

How can I prove $$\sqrt{2}^{\sqrt{2}^{\sqrt{2}^{\sqrt{2}^{\sqrt{2}...}}}}=2$$ I don't know which method can be used for this?
15
votes
2answers
517 views

What is $i$ exponentiated to itself $i$ times?

I was just wondering about this. I searched about it on the net and found that it is called tetration and after this comes pentation and then hexation and so on so forth. I don't really understand ...
13
votes
2answers
548 views

A puzzle with powers and tetration mod n

A friend recently asked me if I could solve these three problems: (a) Prove that the sequence $ 1^1, 2^2, 3^3, \dots \pmod{3}$ in other words $\{n^n \pmod{3} \}$ is periodic, and find the length of ...
12
votes
1answer
348 views

Is it possible to prove the positive root of the equation ${^4}x=2$, $x=1.4466014324…$ is irrational?

(somewhat related to my earlier question) Let ${^n}a$ denote tetration $\underbrace{a^{a^{.^{.^{.^a}}}}}_{n \text{ times}}$ (or, defined recursively, ${^1}a=a$, ${^{n+1}}a=a^{({^n}a)}$). The ...
12
votes
2answers
579 views

Derivative of $x^{x^{\cdot^{\cdot}}}$?

The infinite tetration is defined as $$f(x)=x^{x^{\cdot^{\cdot}}}$$ This function is defined for $e^{-e} \leq x \leq e^{e-1}$. (Wikipedia image) Can one determine the derivative of this function? ...
11
votes
2answers
249 views

Proof of strictly increasing nature of $y(x)=x^{x^{x^{\ldots}}}$ on $[1,e^{\frac{1}{e}})$?

The title is fairly self explanatory: I have been trying to rigorously prove that $y(x)=x^{x^{x^{\ldots}}}$ is a strictly increasing function over the interval $[1,e^{\frac{1}{e}})$ for a while now, ...
11
votes
9answers
2k views

half iterate of $x^2+c$

I'm looking for literature on fractional iterates of $x^2+c$, where c>0. For c=0, generating the half iterate is trivial. $$h(h(x))=x^2$$ $$h(x)=x^{\sqrt{2}}$$ The question is, for $c>0,$ and ...
11
votes
3answers
1k views

How to evaluate fractional tetrations?

Recently I've come across 'tetration' in my studies of math, and I've become intrigued how they can be evaluated when the "tetration number" is not whole. For those who do not know, tetrations are the ...
11
votes
1answer
154 views

Prime factors of $\sum_{k=1}^{30}k^{k^k}$

I checked the prime factors of $$\sum_{k=1}^{30}k^{k^k}$$ and did not find any upto $10^8$ Are there any useful restrictions to accelerate the search ?
10
votes
4answers
335 views

If $y=x^{x^{x^{x^{x^{.^{.^{.}}}}}}}$ then how $y=x^y$?

In questions like, find the derivative of $f(x)=x^{x^{x^{x^{x^{.^{.^{.}}}}}}}$, how can we formally show that $y=x^y$? We use this technique for all type of iterations, e.g. ...
10
votes
2answers
537 views

Complex towers: $i^{i^{i^{…}}}$

If $w = z^{z^{z^{...}}}$ converges, we can determine its value by solving $w = z^{w}$, which leads to $w = -W(-\log z))/\log z$. To be specific here, let's use $u^v = \exp(v \log u)$ for complex $u$ ...
8
votes
3answers
1k views

Calculating 7^7^7^7^7^7^7 mod 100

What is $$\large 7^{7^{7^{7^{7^{7^7}}}}} \pmod{100}$$ I'm not much of a number theorist and I saw this mentioned on the internet somewhere. Should be doable by hand.
8
votes
3answers
707 views

How to calculate $f(x)$ in $f(f(x)) = e^x$?

How would I calculate the power series of $f(x)$ if $f(f(x)) = e^x$? Is there a faster-converging method than power series for fractional iteration/functional square roots?
8
votes
1answer
232 views

A problem in understanding infinite towers (tetration)

To solve equations involving power towers (infinite tetration) we usually do something like this: $$x^{x^{x^{x^{\dots}}}} =k$$ $$x^{(x^{x^{x^{\dots}}})} =k$$ $$x^k=k$$ $$x=\sqrt[k]k$$ But what if ...
8
votes
0answers
206 views

Largest $x$ such that the power tower (tetration) $x^{x^{x^{x^{…}}}}$ converges? [duplicate]

Possible Duplicate: Infinite tetration, convergence radius Recently in this thread, Pseudo Proofs that are intuitively reasonable, I learned that ...
7
votes
2answers
352 views

Continuum between addition, multiplication and exponentiation?

I noticed this old post which attempts to find the shades of grey between a linear and log scale where results are between zero and one. However, I was looking for the more general case where we find ...
7
votes
2answers
135 views

Do the last digits of exponential towers really converge to a fixed sequence?

While fooling around with exponential towers I noticed something odd: $$ 3^{3} \equiv 2\underline{7} \mod 100000 $$ $$ 3^{3^{3}} \equiv 849\underline{87} \mod 100000 $$ $$ 3^{3^{3^{3}}} \equiv ...
7
votes
0answers
263 views

Prime factor of $2 \uparrow \uparrow 4 + 3\uparrow \uparrow 4$

I checked the prime factors of $$2 \uparrow \uparrow 4 + 3\uparrow \uparrow 4 = 2^{2^{2^2}} + 3^{3^{3^3}}$$ with trial division and found non below $8*10^9$ Nevertheless, the given number has still ...
6
votes
2answers
482 views

Example of Tetration in Natural Phenomena

Tetration is a natural extension of the concept of addition, multiplication, and exponentiation. It is quite obvious that there are things in the physics world which can be modeled by these 3 lowest ...
6
votes
2answers
525 views

Uniqueness of Tetration

Let $f(0)=1$ and $f(x+1)=2^{f(x)}$ Also let f be infinitely differentiable. Then does f exist and is it unique? If f is merely continuous, then any continuous function such that f(0)=1 f(1)=2 ...
6
votes
1answer
503 views

Solutions of $f(f(z)) = e^z$

It is my impression that if we find a function f(z) that satisfies $$f(f(z)) = e^z $$ there is only one point z that satisfies the relation. This dawned on me when I noticed that the pesky z that ...
6
votes
0answers
119 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,\dots f_{n+1}(x)=x^{f_n(x)}~(n\geq 1).$ Let $F_n(x)=f_n^{'}(x).$ Hence $F_1(x)=1, F_2(x)=x^x(1+\log(x))\dots.$ Prove that $F_{2n}(x)=0$ has exactly one root in the ...
6
votes
0answers
329 views

Is ${^5\pi}$ an integer? [duplicate]

Possible Duplicate: How to show $e^{e^{e^{79}}}$ is not an integer Is ${^5\pi}$ an integer? It is "obviously" not, right? But can we prove it? Here ${^5\pi}$ means the result of tetration ...
5
votes
2answers
636 views

Last few digits of $n^{n^{n^{\cdot^{\cdot^{\cdot^n}}}}}$

I want to compute last few digts (as much as possible ) of the following number $$ N:=n^{n^{n^{\cdot^{\cdot^{\cdot^n}}}}}\!\!\!\hspace{5 mm}\mbox{ if there are $k$ many $n$'s in the expression and ...
5
votes
2answers
224 views

radius of convergence of half iterate of sinh(z)?

The half iterate of sinh(z) has a formal power series, centered around z=0. Does the formal power series for the half iterate converge at the origin? This is equivalent to asking if the half iterate ...
5
votes
2answers
127 views

Finding solutions to $ x^x = 2x$

A friend claims it isn't possible to find a closed form for the smaller positive real solution of $x^x = 2x$. Numerically we have seen that $0.346...$ and $2$ are solutions, but are failing to do ...
5
votes
4answers
271 views

Tetration limit

For each $n$, define $f_n:\mathbb R^+\rightarrow \mathbb R^+$ by $f_n(x) = \underbrace{x^{x^{x^{...^{x^x}}}}}_n$ Is it true that $\lim\limits_{n \to \infty} f_n(\frac{n+1}{n}) = 1$ ? A few ...
5
votes
1answer
129 views

How to define $A\uparrow B$ with a universal property as well as $A\oplus B$, $A\times B$, $A^B$ in category theory?

In category theory there are definitions for $A\oplus B$, $A\times B$ and $A^B$ via universal properties. I wonder if it is possible to isolate a particular universal property to represent the ...
5
votes
1answer
296 views

Definite integral of tetration between $0$ and $1$

In my old writes I found next formula, where is ${_{}^2}x$ is tetration: $$\int_0^1 {_{}^2}x \ dx = \sum\limits_{i=1}^\infty \frac {(-1)^{i+1}} {{_{}^2}i} \approx 0.783430511\ldots$$ And now I am ...
5
votes
1answer
463 views

Super logarithmic inverse of tetration

What's the super logarithmic inverse of tetration for $\bf{^{2}{x}}$? Is it $slog^{x}_{2}$?
5
votes
2answers
326 views

Algorithm for tetration to work with floating point numbers

So far, I've figured out an algorithm for tetration that works. However, although the variable a can be floating or integer, unfortunately, the variable ...
5
votes
0answers
248 views

Notation for n-ary exponentiation

We have $n$-ary sums ($\sum$) and products ($\prod$). Is there an $n$-ary exponentiation operator? $$\underset{i=1}{\overset{n}{\LARGE{\text{E}}}}\, x_i = x_1 \text{^} (x_2 \text{^} (\cdots \text{^} ...
4
votes
3answers
146 views

Is this a valid proof for ${x^{x^{x^{x^{x^{\dots}}}}}} = y$?

So I got this challenge from my teacher. Solve ${x^{x^{x^{x^{x^{\dots}}}}}} = y$ (eq. 1) for $x$. My attempt: As $x^{y^z}$ per definition equals $x^{y \cdot z}$, then $x^y = y$ from (eq. 1). ...
4
votes
2answers
117 views

$2 \uparrow^n 2 = 4$ and the magnificence of $2$

I was reading up on tetration when I realized: $$2 \uparrow\uparrow 2 = 2\uparrow 2 = 2 \times 2 = 2+2 =4$$ Infact, when generally speaking: $$ 2 \uparrow^n 2 =4$$ Now, I realize that this is because ...
4
votes
2answers
288 views

Calculating $a^n\pmod m$ in the general case

It is well known, that $$a^{\phi(m)}\equiv1\pmod m ,$$ if $\gcd(a,m)=1.$ So, $a^n\pmod m$ can be calculated by reducing n modulo $\phi(m)$. But, for the tetration modulo $m$ $$a \uparrow ...
4
votes
2answers
174 views

Which precision would be needed?

According to Wikipedia, it is not known whether the number $$\pi \uparrow \uparrow 4$$ is an integer. (See Tetration) To which precision would $\pi$ have to be calculated to decide this ? The ...
4
votes
1answer
260 views

Knuth's up arrow notation

Given n, how can the number m with $10 \uparrow \uparrow m < 2 \uparrow \uparrow n < 10 \uparrow \uparrow (m+1)$ be calculated ? With induction, I got $10 \uparrow \uparrow m < 2 ...