Stack Exchange Network

Stack Exchange network consists of 175 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.

2
votes
1answer
72 views

Are there integer solutions to the equation ${^n}a+{^n}b={^n}c$?

A couple days ago, someone posted a question about using integer solution to the equation $a^a+b^b=c^c$ to disprove Fermat's last theorem. The question has since been deleted but I was curious as to ...
0
votes
1answer
38 views

Continuous, infinitely differentiable tetration map

We know that the exponential map is infinitely differentiable; is there a tetration map $TET$ defined on $(0,\infty)$ such that 1) $TET(x) > TET(y)$ when $x > y$ 2) $TET(e^x) = TET(x) +1$ 3) $...
1
vote
0answers
46 views

Unpoven generalized tetration integral on Wikipedia? [duplicate]

While I was investigating the interesting properties of tetration, I found the integral above. No matter where I search, I just couldn't find the proof for this. Could someone point me to a resource ...
-1
votes
1answer
18 views

Power tower(infinite tetration) [duplicate]

How to find the domain and range of $Y=x^{x^{x^{x^{x^{...}}}}}=x^Y$ I know how to differentiate the function. I don't know how to proceed further. We should prove that domain:$[1/(e^e),e^{(1/e)}]$ ...
1
vote
1answer
42 views

Pattern in power towers of 2 involving last digits

We have \begin{align} 2^{2^{2}} &\mod 10 = 6 \\ 2^{2^{2^2}} &\mod 100 = 36 \\ 2^{2^{2^{2^2}}} &\mod 1000 = 736 \\ 2^{2^{2^{2^{2^{2}}}}} &\mod 10000 = 8736 \\ 2^{2^{2^{2^{2^{2^2}}}}} &...
7
votes
2answers
93 views

Associocommutativity

One thing I've noticed is that addition and multiplication both form commutative groups over the reals, but subtraction, division, and exponentiation are neither associative nor commutative. Ignoring ...
3
votes
1answer
135 views

Smooth Elementary Function that Outgrows All Tower Functions?

This started off with me goofing off on Twitter and quickly led to this question to which I didn't know the answer. Let $T_2(x) = x^x$, $T_3(x) = x^{x{^x}}$, $T_4(x) = x^{x^{x^x}}$, and so forth. Is ...
0
votes
1answer
93 views

What is the name for this: “x^^y” (as in 2^^2=2^2 and 3^^3=3^3^3 and so on)

How do you call / is there any specific name for the following: x^^y e.g.: 2^^2 = 2^2 3^^3 = 3^3^3 4^^4 = 4^4^4^4 ...
2
votes
0answers
18 views

Comparison of the Sizes Arbitrarily Generated Compound Exponential Numbers

I've been wondering about how it might be possible, given two compound exponential numbers generated by recurrence schemes equipped with addition multiplication and exponentiation (to some integer ...
3
votes
1answer
92 views

Can we obtain an explicit and efficient analytic interpolation of tetration by this method?

I am curious about this. It has been a very long time since I have ever toyed with this topic but it was an old interest of mine quite some time ago - maybe 8 years (250 megaseconds) ago at least, and ...
5
votes
1answer
73 views

An Integral Designed to be on the Very Cusp of Convergence

Say we have an integer $n$∊ℕ₀ & a sequence of $n+1$ real numbers $\alpha_k\in[0,\infty)∀k$, where $k=0\dots n$, and using $\log^{[k]}$ to denote $k$ functionings of the logarithm ($\log^{[0]}x\...
2
votes
4answers
155 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 ...
2
votes
1answer
84 views

Exponent is to exponentiation as _______ is to tetration

Would it be tetrand, tetrant, or something else?
3
votes
2answers
82 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
31 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
47 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
23 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
34 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 ...
0
votes
2answers
108 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 ...
2
votes
0answers
42 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
1answer
74 views

Tetration induction proof

The triple arrow-up denotes power towers in which the number of levels themselves is a power tower with a number of levels that is a power tower, and so on. For example, $$\begin{align} a\uparrow\...
1
vote
0answers
27 views

Bounds of fractional tetration

I know about Kneser, but if we take a simple recursion $$^{1/d}b=c, a(0)=b, a(n)=b^{\frac{1}{^{d-1}(a(n-1))}}$$ so $$\lim\limits_{n\to\infty}a(n)=c$$ and we can quickly find $c$ for positive ...
1
vote
0answers
26 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 &...
2
votes
1answer
53 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 ...
10
votes
1answer
145 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
1answer
175 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+\...
0
votes
0answers
47 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)),&...
0
votes
1answer
35 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\...
4
votes
0answers
135 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^\...
6
votes
1answer
109 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
94 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
105 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 ...
0
votes
1answer
81 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
206 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
156 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 ...
3
votes
1answer
150 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)}{-\...
10
votes
1answer
625 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 ...
7
votes
1answer
157 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 $...
4
votes
2answers
77 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
66 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$ ...
3
votes
1answer
135 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^...
0
votes
2answers
90 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
53 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 ...
12
votes
1answer
431 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{...
1
vote
0answers
87 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 ...
0
votes
0answers
44 views

$ \DeclareMathOperator{\arcsinh}{arcsinh}w =\arcsinh( 1 + 2 \arcsinh( 1 + 2^2 \arcsinh ( 1 + 2^{2^2} \arcsinh( 1 + 2^{2^{2^2}} \arcsinh( 1 + \dotsm$

In the context of positive reals consider $$ w= \arcsinh( 1 + 2 \arcsinh( 1 + 2^2 \arcsinh ( 1 + 2^{2^2} \arcsinh( 1 + 2^{2^{2^2}} \arcsinh( 1 + \dotsm $$ Now consider a real $A > w$ Then the ...
1
vote
2answers
329 views

Is there a Tetration Function?

With exponentiation, you can raise numbers to complex, irrational, etc. This is defined as such: $$\exp(x)=\sum_{n=1}^\infty{x^n\over{n!}}$$ With $e=\exp(1)$ Is there some equation that would allow ...
6
votes
1answer
123 views

Why is $\underbrace {i^{i^{i^{.^{.^{.^{i}}}}}}}_{n \ times}$ converging? [duplicate]

Introduction: Recently I found out that $i^i \approx 0.20788$ has no imaginary part. I got interested and then wanted to know whether there are other $n$ for which $\underbrace {i^{i^{i^{.^{.^{.^{i}}}...
2
votes
0answers
72 views

How to solve $ax^x+bx+c=0$?

How can I solve $$ax^x+bx+c=0$$ or $$ax^{x^x}+bx^x+cx+d=0$$ where $x^x$ and $x^{x^x}$ - tetration? Is there analogue of discriminant for it?
4
votes
1answer
152 views

Indefinite Integral of $ \ln(x)^{\ln(x)^{\ln(x)^{.^{.^{.^{\ln(x)}}}}}}$ for an $ n $-number of $ \ln(x) $'s with respect to $ x $

This is tetration question about finding the indefinite integral. I am not sure where to start so any help would be appreciated. $$ I= \int \ln(x)^{\ln(x)^{\ln(x)^{\cdot^{\cdot^{\cdot^{\ln(x)}}}}}} ...