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.

1
vote
3answers
61 views

Under what “natural” combinatorial conditions would tetration or higher hyperoperations appear?

This is quite a soft question and is not the same as this question. I want to know what sort of "natural" problems one might examine in combinatorics whose solutions naturally require higher order ...
1
vote
1answer
50 views
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 ...
3
votes
2answers
59 views

Tetration of non-integers: is there something wrong with this approach?

I'm trying to figure out a formula for tetration that will work for non-integer heights. I know the usual recurrence relation for tetration ($x \in \mathbb{R}, \text{ }n \in \mathbb{N})$: $${^{n}x} =...
0
votes
0answers
22 views

Is There an Operation Between Exponentiation and Tetration?

The generalisation of exponentiation is tetration, which is just repeated exponentiation. If we denote exponentiation as \begin{align*} \text{exp} (a, n) = a^n=a\cdot a\cdots a \end{align*} and ...
0
votes
0answers
42 views

The Infinite Tetration of x? [duplicate]

The infinite tetration of ${x}$ basically means that we take a value and we continue to raise the value to its power forever. If that sounds confusing, it can be thought of as infinite repeated ...
0
votes
0answers
16 views

quadratic tetraic equation

I have recently found interesting thing: Lambert W funtion inverse of $f(x)=xe^x$ it was easy to find roots of $x^x=a$ but I wonder is possible to find formula for root of equation $ax^x+bx+c=0$ ????
0
votes
2answers
27 views

Larger value with right associative tetration?

Given right associative tetration where: $^{m}n =$ n^(n^(n^…)) And a situation such as: $^{m}n = y$ $^{q}p = z$ What is a practical way to calculate which of $y$ and $z$ are larger? I'm ...
4
votes
2answers
219 views

Taylor series for tetration

I would like to know what is known about Taylor series for tetration (and other hyper-exponentiations). Surprisingly, such information is rare on internet. Numerical values for expansion in ...
0
votes
2answers
79 views

Problem with derivative of $x^{x^x}$

I was recently watching blackpenredpen’s video (found here: https://m.youtube.com/watch?v=UJ3Ahpcvmf8) where he found the derivative of the the function $y = x^{x^x}$. Before watching the video, I ...
10
votes
1answer
141 views

Function $f$ s.t. $\lim_{x\to\infty}\frac{f(e^x)}{f(x)}=1$

The questions are: 1) Does there exists some function $f$ s.t. $\lim_{x\to\infty}\frac{f(e^x)}{f(x)}=1$ and $\lim_{x\to\infty}f(x)=\infty$? 2) Is $\big(\sum_{k=n}^{2^n}a_k\big)_n\to0$ is ...
2
votes
0answers
30 views

Solve $x=d^{d}\log(d)$ using Lambert $W(x)$

We have $a=b^b$, so $$\log(a)=b\log(b)$$ $$x=\frac{x}{W(x)}\log\left(\frac{x}{W(x)}\right)$$ $$b=\frac{\log(a)}{W(\log(a))}$$ Next we have $c=d^{(d^{d})}$, so $$\log(c)=d^{d}\log(d)$$ In general $^{k}...
0
votes
0answers
25 views

Tetration induction proof

Problem picture Picture of given ackermann function So far, I have $$A(3,n) = A(2,A(3,n-1))$$ and then using $$A(2,n) = 2 \uparrow \uparrow n$$ I arrive at. $$A(3,n) = 2 \uparrow \uparrow A(3,n-1)$$ ...
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 ...
1
vote
0answers
23 views

Maximum of exponential tower

First I introduce a notation similar to $\sum_{i=1}^n a_i$ for exponentiation. I.e. for any (potentially infinite) sequence $a_i$ we define $$ ES_{i=1}^n a_i = \left\{\begin{matrix} a_1 &...
3
votes
1answer
133 views

Finding a function satisfies $\ln F(x+1)=a F(x)$

I want to find a smooth function $F$ satisfies $\ln F(x+1)=a F(x),\ x\in[0,2]$ and $F(0)=1$ I didn't prove the existance of the function but I think it exists. I can easily get $F(1)=e^a$ and $F(2)=e^...
2
votes
1answer
39 views

Concise notation for iterated exponentiation involving an unknown

I am working with some tetration problems, such as below: $$y = e^{e^x}$$ and I am looking for a concise notation for this. In particular, I would like a way to indicate $n$ iterations of the ...
3
votes
3answers
632 views

Proving that if $|W(-\ln z)| < 1$ then $z^{z^{z^{z^…}}}$ is convergent

Let $z \in \mathbb{C}$ and let $W$ be the Lambert $W$ function. In this post it is shown that if $|W(-\ln z)| > 1$ then the infinite power tower $z^{z^{z^{z^...}}}$ does not converge, that is $|W(-\...
9
votes
3answers
791 views

Convergence properties of $z^{z^{z^{…}}}$ and is it “chaotic”

$\DeclareMathOperator{\Arg}{Arg}$ Let $z \in \mathbb{C}.$ Let $b = W(-\ln z)$ where $W$ is the Lambert W Function. Define the sequence $a_n$ by $a_0 = z$ and $a_{n+1} = {a_0}^{a_n}$ for $n \geq 1$, ...
74
votes
4answers
6k views

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

Find $x$ in $$ \Large 2 = x^{x^{x^{\:\cdot^{\:\cdot^{\:\cdot}}}}}$$ A trick to solve this is to see that $$\large 2 = x^{x^{x^{\:\cdot^{\:\cdot^{\:\cdot}}}}} \quad\implies\quad 2 = x^{\Big(x^{x^{x^{...
1
vote
2answers
82 views

How to compute the upper (repelling) fixpoint for $b^x=x$ ($1<b<1.44$) - using the LambertW?

For the computation of the lower (attracting) fixpoint $L_0$ for $b^{L_0} = L_0 $ (where the base $b$ is in the range for convergence $1 \lt b \lt e^{1/e}$) there is the simple formula $$L_0 = \exp(-W(...
3
votes
1answer
123 views

Area under the infinite tetration curve

What is the area under the curve where the infinite power tower converges? $$\lim_{y \to \infty} = {}^y x.$$ The formula for this curve is given by various sources as: $$\frac{\mathrm{W}(-\ln x)}{-\...
0
votes
1answer
121 views

Inverse and named fixed values, with ↑↑?

The inverse of $+$ is $-$, of $\times$ is $/$ and of $\text{^}$ is Log. Continuing upwards hyperoperationally, what is the inverse of $↑↑$? Whats more somtimes values that are fixed are given names, ...
14
votes
2answers
1k views

How exactly does Knuth's Up-Arrow notation work?

I've done some research, and found this on Wikipedia. \begin{matrix}a\uparrow b=a^{b}=&\underbrace {a\times a\times \dots \times a} \\&b{\mbox{ copies of }}a\end{matrix} \begin{matrix}a\...
2
votes
0answers
68 views

Does $y=\lim_{n\to\infty}x\uparrow\uparrow n-f(x,n)$ have a root at $2$?

While messing around on Desmos calculator, I found an interesting factorial/tetration function, where we are using Knuth arrow notation. $$y=\lim_{n\to\infty}x\uparrow\uparrow n-f(x,n)\\f(x,n)=x\...
2
votes
1answer
169 views

Solve $i^{i^{i^\ldots}}$ [duplicate]

How to find $$i^{i^{i^\ldots}} \quad :\quad i=\sqrt{-1}$$ I'm able to find the solution for the finite powers using $$i=e^{i(2k\pi+\frac{\pi}{2})}\quad:\quad k\in\mathbb{Z}$$ $$i^{i}=e^{-(2k\pi+\...
5
votes
1answer
161 views

What is the value of $i^{i^{i^\ldots}}$? [closed]

What is the value of $i^{i^{i^\ldots}}$? My effort is the following: If $z, \alpha \in \mathbb{C}$ with $z \neq 0$ then we can write $z^{\alpha}=e^{\alpha \log z} = e^{\alpha [ \log |z|+i \text{ Arg ...
0
votes
0answers
41 views

Is there an equation $f(k,m,n)=n$ where $n$ is the number of applications of the Ackermann function needed?

Using the definition of the Ackermann function on page 247 of this paper, (sidenote, great paper): $$ \alpha(k,m,n) = \begin{cases} m+n, & k=1 \\ m, & n=1 \\ \alpha(k-1,m,\alpha(k,m,n-1)),&...
2
votes
2answers
391 views

Integrate $x$ to the power $x$… to the power $x$… infinitely

This came across my mind, integrating $x$ to the power $x$ infinitely, I couldn't find anything on it. $$\Large \int x^{x^{x^{x\,\cdots}}} \, dx$$ How would you go about this?
2
votes
1answer
98 views

Is there a mathematical term, practical application, or area of math that covers a function raised to itself?

Some abstract examples would be: $f(x)^{f(x)}$ or $f(x)^{f(x)^{f(x)...}}$ Actual equations I've attempted to look at can be viewed here on desmos.com There seems to be a pattern of common convergence, ...
4
votes
0answers
130 views

New/useful method for summation of divergent series?

Questions $$ S(n,x) = x+e^x + e^{e^x} + e^{e^{e^x}} + \dots \text{$n$ times}$$ Also obeys (see background for argument): $$ \frac{1}{2 \pi i} \oint e^{S(k,x)} \frac{\partial \ln(\frac{\int_0^\...
0
votes
0answers
117 views

Sum of the reciprocal of tetration?

Let $$f(x)=\sum^\infty_{n=1}\frac{1}{{}^xn}$$ where ${}^xn$ is n tetrated to the xth. What are f(2) and f(3), and could you please also explain how you reached these answers?
7
votes
1answer
151 views

Is it true that $\underbrace{x^{x^{x^{.^{.^{.^x}}}}}}_{k\,\text{times}}\pmod9$ has period $18$ and can never take the values $3$ and $6$?

Is it true that the arithmetical function $f:\mathbb{N}\setminus\{1\}\rightarrow \mathbb{Z}_9$ given by $$f(x\mid k)=\underbrace{x^{x^{x^{.^{.^{.^x}}}}}}_{k\,\text{times}}\pmod9$$ has period $...
12
votes
1answer
404 views

What is $\underbrace{2018^{2018^{2018^{\mathstrut^{.^{.^{.^{2018}}}}}}}}_{p\,\text{times}}\pmod p$ where $p$ is an odd prime?

This recent question inspired me to explore values concerning modulo arithmetic of tetrations, and I thus pose the following question. Is there a general expression for the value of $$\underbrace{...
7
votes
2answers
196 views

How to determine $n$, such that $x\uparrow \uparrow n>10^{100}$?

If $x$ is a real number greater than $e^{e^{-1}}$ , then $x\uparrow \uparrow n$ (A power tower of $n$ $x's$) tends to $\infty$, if $n$ tends to $\infty$. Therefore, there must be a number $n$, such ...
34
votes
3answers
6k 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 ...
4
votes
1answer
390 views

What is the Equivalent Form of Tetration to the Exponential $n^{1/n}$?

I've been working on a project for a wiki that I'm a member of. It is the Sequence of the Day for September 2. You can see my progress at https://oeis.org/wiki/Template:...
0
votes
1answer
34 views

Factors of a sequence resulting from repeated exponentiation

I have a sequence $a_n$: $1,2, 2^2, 2^{2^2}, 2^{2^{2^2}}, ...$ I would like to know how to factor $b_i = a_i-a_{i-1}$ where $a_0=1$ All I've been able to figure out so far is that 1 + $\sum\...
6
votes
1answer
91 views

How is tetration read in spoken English?

How would one read a tetration operation like $^4 3$ in spoken English? Meaning, what's the equivalent to reading $3 \times 4$ as "three times four" or $3^4$ as "three to the power of four" for ...
1
vote
1answer
85 views

How to solve $x^x=a$ and related equations? [duplicate]

How can I solve the equation for $x$ when $x^x=2$ or any other constant? And is solving $x^{x^x}=a$ or $x^{x^{x^x}}=a$ or equations such as these even possible? What are these equations even called? ...
2
votes
0answers
93 views

Regularization of Exponentially exponential series?

Question What are the convergence properties of the last equation: $$K = e^{x} + x + \ln{x} + \ln\ln(x) + \dots $$ Can one artificially choose a value of $\ln (x)$ (since there is more than one ...
1
vote
1answer
77 views

How would I go about solving for $x$?

How would I approach this problem? (Solving for $x$) $$x^{x}=e^{\Omega}$$ I tried using logarithms and rearranging, but it didn't seem to help: $$x=e^{\frac{\Omega}{x}}$$ $$\ln(x)=\frac{\Omega}{x}$$ $$...
4
votes
1answer
117 views

Tetration of $\pi$: Can it be a prime number?

Given the tetration as \begin{align} {^{n}a} = \underbrace{a^{a^{\cdot^{\cdot^{a}}}}}_n \end{align} and the set of prime numbers as $\mathbb{P}$. Can you prove or to disprove the following ...
3
votes
1answer
138 views

Is there an exact value to the minimum of the infinite tetration of $x$?

Is there an exact value to the minimum of the function $$f_k(x)=\underbrace{x^{x^{x^{.^{.^.}}}}}_{2k\,\text{times}}$$ as $k\to\infty$, where $k=1,2,3,\cdots$? This visualisation in Desmos shows that ...
10
votes
1answer
622 views

What does $ ^3 3$ mean?

I was taking a test and this was a question. It does not mean $3^3$, nor is it a typo. The superscript was before the $3$ and I have no idea what it means. I tried researching but couldn't find an ...
4
votes
2answers
73 views

tetration as an iterative solution for the transcendental equation $\sqrt[x]{x}=y$

for positive integer $n$ use the notation $y^{[n]}$ to represent the $n$-th tetration of $y$, so $y^{[1]}=y$, $\, y^{[2]}= y^y$, $\,y^{[3]}=y^{y^y}$, and so on. a few simulations suggest that on $(0,...
-1
votes
3answers
63 views

$f(exp(z)) = f(z) \cdot g(z) $ with closed form solutions?

Are there closed form solutions for functions $f(z),g(z)$ Such that $A)$ $$ \frac{f(exp(z))}{f(z)} = g(z) $$ $B)$ $g(z),f(z)$ are both analytic and nonconstant. $C)$ $g(z)$ is analytic at $z$ ...
0
votes
2answers
88 views

What is the value of $i^{i^{i^{\cdots}}}$ [duplicate]

If i can find the the value of the expression in lhs. Then i can find the correct option. But i am unable to find the value of expression on lhs which is i^i^i^i^... Upto infinity . How to find that. ...
0
votes
1answer
156 views

Derivative of super square root [closed]

What is the derivative of $y=^{1/2}x$? I tried finding the derivative of $x^{x}$ and then finding the inverse of that, but that didn't work.
0
votes
1answer
52 views

iterative solution of $x^x=a$

given $a,x \in (1,\infty]$then $x$ and $\sqrt[x]{a}$ are different numbers, except for a single value of $x$ which satisfies: $$ x^x = a $$ to solve this equation, therefore, it might help to look at ...