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

20
votes
1answer
616 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 ...
3
votes
2answers
202 views

Knuth's arrow up notation again

Consider the following recursion : $$ a(1)=3! $$ $$ a(n+1) = a(n)! \quad\hbox{for all $n\geq 1$} $$ For a given $n$, how can the number $m$ with $$ 10 \uparrow \uparrow m < a(n) < 10 \uparrow ...
4
votes
1answer
221 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 ...
1
vote
2answers
65 views

Recursive definition of recursively defined operations

The recursive definitions of addition, multiplication, and exponentiation usually stop after exponentiation ("${\small+}1$" to be read as "the successor of"): $x \boldsymbol{+} (y\ {\small+}1) := (x ...
0
votes
1answer
116 views

Does this follow from the definition of the LambertW function?

The LambertW function $W(s)$ also called ProductLog seems to satisfy this relation: $$-W(s) = \underbrace{-s e^{-s e^{\cdot^{\cdot^{-s e^{-W(s)}}}}}}_n$$ Or truncated: $$-W(s) = -se^{-s e^{-s e^{-s ...
4
votes
0answers
105 views

Arrow notation and decimals.

We know how to add with decimals. We know how to multiply with decimals. We know how to exponentiate with decimals. Do we know how to work with decimals for power towers? for example, can we deal ...
2
votes
1answer
298 views
2
votes
1answer
190 views

Inverse function of $x\mapsto \sqrt[x]x$ on $\left[0,e^{-1}\right]$

Why is it, that the inverse of $\sqrt[x]x$ is given by the infinite power tower in $x\in[\frac1e;e]$, but not in $x\in[0;\frac1e]$? I know that the power tower diverges on that interval, but even if ...
2
votes
0answers
30 views

Is there a 2D 3-colorstate mobile automaton that grows like $ln^{0,5}(t)$?

Define an integer function $f(t)$ for an integer $t>25$ such that $|f(f(t)) - ln(t)| < \sqrt {ln(t)}+2$. Define $L(X(t))$ as the number of nonwhite states at iteration $t$ of mobile automaton ...
3
votes
0answers
112 views

Does $^{\frac12}x=e^{W(\ln x)}$, or not?

Whenever I see tetration discussed here, I inevitably see it asserted that there's no consistent continuous definition for tetration. However, it seems to me that If we restrict ourselves to ...
6
votes
2answers
377 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 ...
2
votes
2answers
245 views

Notation for function $ + \rightarrow \times $

Is there a standard notation to represent the function building the multiplication from the addition (I'm talking of the usual $+$ on $\Bbb N$)? I'm tempted by: $$ x \times y = + ^ y (x) $$ With ...
5
votes
0answers
114 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 ...
0
votes
1answer
162 views

Fixed Point of $x_{n+1}=i^{x_n}$

For $x \in \Bbb C$, let $f(x)=i^x = \exp(i\pi x)$, where $i^2=-1$. Then find the fixed points for $f$. EDIT: Let for all $n\geq 1$ $$\large a_n=\underbrace{i^{i^{\cdots i}}}_{\text{$n$ times}}$$ My ...
95
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 ...
7
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.
4
votes
1answer
89 views

Interpolation between iterated logarithms

I am investigating the family of functions $$\log_{(n)}(x):=\log\circ \cdots \circ \log(x)$$ Is there a known smooth interpolation function $H(\alpha, x)$ such that $H(n,x)=\log_{(n)}(x)$ for ...
4
votes
1answer
209 views

Tetration of Alephs

Does this even mean anything? $\underbrace{x^{x^{x^{...^{x^x}}}}}_n$ Where $n = \aleph_0$? Because I "know" it converges when (say) $x = .5$ and $n \to \infty$
5
votes
4answers
227 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 ...
2
votes
1answer
109 views

Solving $f_n=\exp(f_{n-1})$ : Where is my mistake?

I was trying to solve the recurrence $f_n=\exp(f_{n-1})$. My logic was this : $f_n -f_{n-1}=\exp(f_{n-1})-f_{n-1}$. The associated differential equation would then be $\dfrac{dg}{dn}=e^g-g$. if ...
2
votes
1answer
130 views

Tetration and its inverse to various exponents

I've recently seen in my studies tetration, or the next operation in the addition, multiplication, exponentation... series. I've also heard much discussion about how to extend this operation to ...
3
votes
0answers
75 views

Order of Recursion?

Define an extended algebraic function $f(a)$ as a function on $a$ that utilizes any combination of recursive extensions and inverses of sequentiation. Example: $a + 1$ , sequentiation. $a + a$, ...
2
votes
0answers
105 views

Tetration Binomial Theorem

I was exploring tetration and came across the following identities: $${^0}(ab) = 1$$ $${^2}(ab) = ({^2}a)^b * ({^2}b)^a$$ $${^3}(ab) = (ab)^({^2}(ab)) = (ab)^{(({^2}a)^b * ({^2}b)^a)}$$ That third ...
11
votes
1answer
340 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 ...
19
votes
1answer
387 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?
30
votes
1answer
593 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 ...
1
vote
0answers
120 views

Limits of tetrations of infinite height

We know that tetrations of infinite height converge for $x$ such that $e^{-e} \le x \le e^{1/e}$. Which real numbers are limits of some tetration of infinite height? what is the complete set of such ...
1
vote
0answers
69 views

About growth rate of the iterated exponential on the complex plane.

Let $n$ be a positive integer. Let $f(n,x) = exp(f(n-1,x))$ and $f(0,x)=x$. Let $Q(f(n,x)) =1$ if $Re(f(n,x))<2$. Let $S(n,x) = \Sigma_{1}^{n} Q(f(n,x))$. How to estimate $S(n,2+i)$ efficiently ? ...
2
votes
0answers
77 views

Is the half iterate of $2\sinh(x)$ - expanded from fixed point $0$ - analytic near the real line $\mathbb{R}$?

Is the half iterate of $2\sinh(x)$ - expanded from fixed point $0$ - analytic near the real line $\mathbb{R}$? I know this function has 2 other fixed points apart from $0$, so I'm not sure. Also ...
6
votes
2answers
484 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
414 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 ...
2
votes
3answers
208 views

Where does the iteration of the exponential map switch from one fixpoint to the 3-periodic fixpoint cycle?

In the answering of another question in MSE I've dealt with the iteration of $x=b^x$ where the base $b=i$. If I reversed that iteration $x=log(x)/log(i)$ then I run into a cycle of 3 periodic ...
14
votes
2answers
497 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 ...
1
vote
1answer
235 views

Find $N$, in the decimal expansion of the large number $N=4^{4^{4^4}}$

Find $N$, in the decimal expansion of the large number $$N=4^{4^{4^4}}$$ Following on from the question I posted yesterday about finding the number of digits ( Find the number of digits, $D$, in ...
2
votes
3answers
442 views

Find the number of digits, $D$, in the decimal expansion of the large number $N=4^{4^{4^{4}}}$

The full question is: Find the number of digits, $D$, in the decimal expansion of the large number $$N=4^{4^{4^{4}}}$$ Try and find the most efficient ways of finding $D$. I know that ...
5
votes
0answers
231 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
1answer
151 views

Operators - sums, products, exponents, etc.

$(x + x + \cdots + x)$, where $x$ added $n$ times can be written as $x * n$. $(x * x * \cdots * x)$, where $x$ multiplied $n$ times can be written as $x ^ n$. Is there an operator, such that if ...
11
votes
4answers
918 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
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 ...
5
votes
1answer
268 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 ...
2
votes
2answers
298 views

What is the geometric, physical or other meaning of the tetration?

What is the geometric, physical or other meaning of the tetration or more high hyperoperations? Is it exists in general or it has only math concept?
2
votes
4answers
291 views

a tetration limit for base $a > e^{1/e}$

Let $a$ be a real number with $a > e^{1/e}$ and $a <> e$. $slog$ means superlog base $e$ and $sexp$ means superexp base $e$. $sloga$ means superlog with base $a$ and $sexpa$ means superexp ...
1
vote
5answers
195 views

Limit of a recursively defined bivariate function.

Let m and n be positive integers. Let $f(m,0)=m$ Let $f(m,n)= e \ln(f(m,n-1))$ $$\lim_{m\to\infty} \ln(m)\Big(f(m,\lfloor\ln m\rfloor)) - e\Big) = 163^{1/3}+C$$ Where $C$ is a constant. It seems ...
13
votes
2answers
473 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 ...
26
votes
1answer
367 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 ...
4
votes
1answer
446 views

Calculating the residue of power towers

I want to calculate the residue of a power tower. How do I do that? For example, I want to know the answer to this: $$2 \uparrow\uparrow 10 \pmod{10^9}$$
10
votes
2answers
499 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$ ...
1
vote
2answers
203 views

Find the remainder in the following case where there's a infinite power tower of $7$.

What is the remainder when $$7^{7^{7^{7^{.^{.^{.^{\infty}}}}}}}$$ is divided by 13? I'm getting $6$. Is it correct?
12
votes
2answers
509 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? ...
4
votes
1answer
392 views

Super logarithmic inverse of tetration

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