Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [tetration]

Tetration is iterated exponentiation, just as exponentiation is iterated multiplication. It is the fourth hyperoperation and often produces power towers that evaluate to very large numbers.

0
votes
2answers
120 views

Is there an inverse operation of tetration for values between 0 and .3?

So I don't understand everything with tetration, but the graph of $^2x$ or $x^x$ does not have any values between 0 and .3 on the y axis. So if we were to trying inverse tetration on say .2 what is ...
8
votes
1answer
219 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 ...
23
votes
3answers
657 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. $$\...
20
votes
3answers
1k 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 ...
4
votes
2answers
265 views

Is there a closed form for the inverse of $y=x^{x^x}$?

It's pretty well known, and easy to derive, that $y=x^x$ has the inverse $y=\frac{\ln x}{W(\ln x)}$. I've had no luck trying to work out the inverse of any larger power towers, though. Is there any ...
1
vote
1answer
107 views

Iteration of $x \to x^x$

If $u(x)=x^x$ then we can form $$ u^2(x) = \left(x^x \right)^{x^x} = x^{x^{x+1}} $$ some simplification occurs, but the further iterates are a typographical challenge to mathjax. Writing $E_k$ for $...
2
votes
1answer
75 views

Convergence of an infinite power

There are complex numbers $z$ and $w$ for which $$\lim_{n\rightarrow\infty}z\uparrow\uparrow n=w$$ where $\uparrow\uparrow$ is the tetration symbol, e.g. $z=\sqrt{2}$ and $w=2$. Are there complex ...
3
votes
3answers
447 views

How to differentiate $\lim\limits_{n\to\infty}\underbrace{x^{x^{x^{…}}}}_{n\text{ times}}$? [duplicate]

Let $$f(x)=\lim\limits_{n\to\infty}\underbrace{x^{x^{x^{...}}}}_{n\text{ times}}$$ Is it possible to find $f'(x)$. If yes, please show all steps.
1
vote
1answer
101 views

Is it true that ${^\infty}{\sqrt[x]{x}} = x$

I was fiddling around with tetration and I stumbled across an interesting idea, ${^\infty}{\sqrt[x]{x}}$. I messed around with the concept a little bit and I had the following idea: Let ${^\infty}y = ...
1
vote
1answer
110 views

After Exponentials

Look at this- $$f(a,b)=a+b$$ The next step would be to make a function $g$ such that $$g(a,b)=\underbrace{a + a + a \cdots}_{b\text{ times}}=a\cdot b$$ Then we made $h$ so that $$h(a,b)=\underbrace{a\...
1
vote
2answers
81 views

If a uniquness for all functions exist shouldn't there be uniquness to recursion?

What I'm specifically saying is every function is definitely unique, as they may be nearly equivalent to another function, for example. Let's make a table of values for $^{x}2$ (0,1) (1,2) (2,4) (3,...
5
votes
0answers
320 views

Clarification on tetration

So far when I looked at tetration I noticed it had a recursive relation. It's $t_2=2^{(t_1)}.$ For example if we start at point $(0,1)$, we can take the x-value of $0$, and $2^0=1$, then we take $1$ ...
2
votes
2answers
814 views

Tetration graph for this function

I'm trying to visualize the derivatives of exponential tetration, by taking the original equation from its graph. Right now there is no elementary way of expressing the derivative. I'm not allowed to ...
2
votes
1answer
79 views

A question on the equation $^qx=2$

Given the equation $$^qx=2$$ with $q\gt3$ where $^qx$ means the 'tetration' operation on $x$, my question is: is it possible to find a value for $q$ for which the solution $x$ of the equation is a ...
6
votes
1answer
665 views

Efficient algorithm for calculating the tetration of two numbers mod n?

I'm trying to study the algebraic properties of the magma created by defining the binary operation $x*y$ to be: $ x*y = (x \uparrow y) \bmod n $ where $ \uparrow $ is the symbol for tetration. ...
2
votes
1answer
114 views

Is the exact value of $^{\infty}i$ known? [duplicate]

Wikipedia's article on tetration has a table of successive tetrations of $i$ that seems to imply that $^{\infty}i$ converges, and my own experimentation seems to confirm it, but I'm suspicious of ...
10
votes
4answers
370 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. $y=\sqrt{6+\sqrt{6+\...
6
votes
2answers
608 views

Does infinite tetration of negative numbers converge for any value other than -1?

Okay, so I know that for positive values, $^{\infty}x$ converges to $-\frac{W(-\ln x)}{\ln x}$ for $e^{-e}\le x \le e^{\frac1e}$. Above that, it diverges. For positive values less than $e^{-e}$, any ...
1
vote
1answer
745 views

Double exponential Taylor series $\exp(-\exp(k-ex))$

k is real constant $\gt = 1$. Is $a_n$ for $f(x)$ positive, increasing, and $\lt 1$, where $n\lt= e^{k-1}$? $$f(x) = \sum_{n=0}^{\infty} a_n x^n = \exp(-\exp(k-ex))$$ $f(x)$ is the double ...
4
votes
2answers
123 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 ...
8
votes
2answers
856 views

Last digits of power towers $7$, $7^7$, $7^{7^7}$, $7^{7^{7^7}}$, … don't change, and generalisation

While playing around with Wolfram Alpha, I noticed that the last four digits of $7^{7^{7^{7^7}}}, 7^{7^{7^{7^{7^7}}}},$ and $7^{7^{7^{7^{7^{7^7}}}}}$were all $2343$. In fact, the number of sevens did ...
4
votes
0answers
150 views

Appear the digits in the number $3^{3^{3^3}}$ approximately equally often?

Does the number $$3\uparrow \uparrow 4 = 3^{3^{3^3}}$$ contain the digits 0-9 approximately equally often ? With "approximately" I mean that a chi-squared test for equal distribution would produce ...
5
votes
0answers
180 views

Prime factors of $2^{2^2}+3^{3^3}+5^{5^5}+7^{7^7}$

Are there any useful restrictions to the prime factors of the number $$2^{2^2}+3^{3^3}+5^{5^5}+7^{7^7}?$$ The two smallest are $6771419$ and $72153167$, which I found by trial division. The number ...
6
votes
4answers
541 views

Fractional Composite of Functions

I would like to know how I can calculate a fractional composition of a function. Let be $f(x)$, where $x \in R$ and $f(x) \in R$. I now how to do $f(f(x))=f^2(x)$. Now suppose I would like to do $f^{\...
5
votes
0answers
738 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 ...
11
votes
1answer
174 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 ?
1
vote
1answer
203 views

Comparison between two tetrations

For a given natural number n, what ist the least number m, such that $$e \uparrow \uparrow m > \pi \uparrow \uparrow n$$ It seems that m = n + 1 is the desired number. Is this true for all n ?
1
vote
0answers
160 views

Is there a proof that the number $2 \uparrow \uparrow m+3 \uparrow \uparrow n$ is always squarefree?

I searched prime factors of the numbers $$z(m,n) := 2 \uparrow \uparrow m + 3 \uparrow \uparrow n$$ where $m,n\ge1$ Interestingly, z(3,3) is prime, the largest prime I found so far and probably the ...
4
votes
1answer
242 views

Is tetration a transcendental function?

Is tetration a transcendental function? If so are there any papers with a proof? I suspect that it is because I have not seen any algebraic situations where tetration is the answer and the fact that ...
1
vote
1answer
86 views

Does $a \uparrow \uparrow (n+1)-a \uparrow \uparrow n$ divide $a \uparrow \uparrow(n+2) - a \uparrow \uparrow(n+1 )$?

Does $$a\uparrow \uparrow (n+1) - a\uparrow \uparrow n$$ divide $$a\uparrow \uparrow (n+2) - a\uparrow \uparrow (n+1)$$ for all $a,n \ge2$ ? The case n = 0 is easy : $$a^a-a=a(a^{a-1}-1)$$ and $...
2
votes
0answers
334 views

Question about tetration modulus a prime $p>100$

Define $x§y$ as the power tower : $x^{x^x...}$ where $...$ means $y$ times. For instance $2§1=2,2§2=4,2§3=16,2§4=2^{16}$. See : http://en.wikipedia.org/wiki/Tetration Let $p$ be a prime larger than $...
1
vote
1answer
194 views

Stationary prime factor 34276387 , confirmation and generalization wanted.

Sheldon L found out, that $$34276387$$ is a prime factor of $$2 \uparrow \uparrow n + 3 \uparrow \uparrow n$$ for any natural number $n \ge 5$. $2 \uparrow \uparrow n$ leaves the remainder ...
0
votes
1answer
258 views

How do we know that tetration is exclusively right-associative?

When we go from multiplication to exponentiation we lose commutativity ($3^2 \neq 2^3$). Perhaps when we go from exponentiation to tetration every operation yields two possible results.
4
votes
2answers
402 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 \...
14
votes
0answers
690 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 ...
5
votes
2answers
402 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 ...
1
vote
1answer
165 views

Slight confusion about the calculation of the last digits of graham's number

In Wikipedia, Graham's number, it is described how to calculate the last d digits of Graham's number. They introduce an algorithm simply iterating $$x = 3^x \mod 10^d$$ d times starting with x=3. ...
3
votes
0answers
249 views

Prime factor of $14 \uparrow \uparrow 3 + 15\uparrow \uparrow 3$ wanted

Checking the prime factors of the numbers $$z(a,b) \ := a \uparrow \uparrow 3 \ +\ b \uparrow \uparrow 3 \ ,$$ a,b positive integers with a < b the number $$z(14,15) = 14 \uparrow \uparrow ...
2
votes
0answers
63 views

Fast converging sums involving tetrations

Loosely speaken, Liouville's theorem shows that rational series converging "too fast", have a transcendental limit. The concrete criterion is somewhat cumbersome and hard to check. Now my question : ...
27
votes
2answers
1k 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 far ...
4
votes
2answers
186 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 ...
31
votes
2answers
3k 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
250 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
531 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
129 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
168 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 ...
5
votes
0answers
243 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 ...
4
votes
1answer
595 views
2
votes
1answer
222 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
33 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 $X$...