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

3
votes
0answers
34 views

Super root function

Super root is an invertion of tetration. Lets define $f(x) = \sqrt[x]{x}_s$. Definition makes sense when x is integer. Is there an extension of this function to real numbers? Similar how Gamma ...
9
votes
2answers
146 views
+100

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, ...
4
votes
3answers
142 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). ...
1
vote
1answer
260 views

Limit involving tetration

Let the notation be $a^{\wedge\wedge}b = \underbrace{a^{a^{\cdot^{\cdot^{a}}}}}_{b\,times}$ for tetration. My mentor conjectured the following: Let $n$ be a positive integer, then let $A(n)$ be ...
0
votes
2answers
61 views

How to prove that $x\uparrow \uparrow 1/2 = \sqrt x_s$

This may be a stupid question but when we work with exponentiation we can see that $x^{\frac 12}=\sqrt x$ because: $x^{\frac 12}\times x^{\frac 12}=x^{\frac 12+\frac 12}=x^1=x$ and $\sqrt x \times ...
3
votes
1answer
113 views

The Physical Meaning of Tetration with fractional power tower

I've read a passage in the forum about tetration and had do some research on Wiki. I understand the basic defination for any real height n>-2, $$^na=a^{a^{a^{a}}}...\text{, for real height =n}$$ I ...
7
votes
2answers
298 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 ...
8
votes
1answer
224 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 ...
5
votes
1answer
283 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 ...
0
votes
0answers
64 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 ...
2
votes
1answer
51 views

Last Digits of a Tetration

I was studying tetrations, or "power towers", and I found a decently well-known fact. The last $k-1$ digits of $^k 3 = 3^{3^{\vdots^{3}}} (k \text{ threes)}$ remain constant, for all numbers $^a 3$ ...
1
vote
1answer
64 views

Graham's number of layer 1 tetration explanation?

I have a question on how the number of the first layer of the Graham's number ($g_1$) is computed. From Wikipedia: http://en.wikipedia.org/wiki/Graham%27s_number#Magnitude $g_1 = ...
2
votes
1answer
109 views

For what values does $x^{x^{x^{x^{.^{.^{.}}}}}}$ make sense [duplicate]

For which values of $x\ge 1$ does the expression $x^{x^{x^{x^{.^{.^{.}}}}}}$ make sense? To tackle this, define $f_1(x)=x$ and $f_{n+1}(x)=x^{f_n(x)}$ for $x \ge 1$ and $n\ge1$. a) Show that ...
2
votes
1answer
86 views

What number tetrated by itself equals a googol?

http://en.wikipedia.org/wiki/Tetration Tetrating stuff makes it really big really fast. I'm trying to figure out what number would equal a googol. Any help? Or a googolplex ?
4
votes
0answers
70 views

Growth of $n!!\dots !$

The asymptotic growth of the factorial function $n!$ is famously given by Stirling's formula as $$n! \sim \sqrt{2 \pi n}\left(\frac{n}{e}\right)^n$$ Is there a similar formula for the iterated ...
7
votes
2answers
125 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 ...
1
vote
0answers
89 views

How to differentiate $(x!)\uparrow\uparrow(!x)$?

I need help in differentiating the following expression with respect to x, which I recently came up with when trying to differentiate expressions involving subfactorials... ...
3
votes
0answers
63 views

Is there a notation for exponentiation analog to capital-sigma notation Σ for addition and capital pi Π notation for multiplications?

There are the following common notations: Sums: $$\sum_{i=2}^4 i = 2 + 3 + 4 = 9$$ Products: $$\prod_{i=2}^4 i = 2\times 3\times 4 = 24$$ Is there a (theoretical) one for: Exponentiation ...
2
votes
1answer
37 views

How to prove that a tetration holds the same last digit after a certain rank?

Let's say $u_{n} = 7^{u_{n-1}}$ and $u_{0} = 7$, how can we prove that for $n > 0$, that we will get the same last digit? I know that the last digit of $7^7$ is 3, we can prove it using ...
0
votes
1answer
53 views

Which one is greater?

For any $x\in\mathbb{R}^+$, let $x\diamond 1=x$ and $x\diamond (n+1) = x^{x\diamond n}$ for $n\in\mathbb{N}$. For example, $2\diamond 3 = 2^{2^2}=16$. If $t$ be an unique positive real number such ...
3
votes
3answers
191 views

How can I solve this equation $x^{x^{x^{x^{.^{.^{.}}}}}}-a=0$

I always use the Newton-Raphson Method if I want to find the roots of any equation as follow $$x_{1}=x_{0}-\frac{y_{0}}{y'_{0}}$$ But I don't know how to use this method if the equation takes the ...
0
votes
0answers
82 views

In terms of addition, multiplication, exponentiation, tetration, what would be the natural continuation here?

Consider the by addition recursively defined table: $$t(n,1)=1$$ If $n>=k$ $$t(n,k)=\sum _{i=1}^{k-1} t(n-i,k-1)-\sum _{i=1}^{k-1} t(n-i,k)$$ else $$t(n,k)=0$$ Then consider the similar but by ...
5
votes
2answers
125 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 ...
1
vote
0answers
52 views

complex and decimal tetration

So recently in the blog post on tetration, it talked about tetration with nice clean powers (calling them these because I don't know the right term). But how does it work when given a complex power? ...
1
vote
2answers
89 views

A peculiar observation about infinity.

Let ${\sqrt2^\sqrt2}^{\sqrt2^...}=y$. Then $\sqrt 2^y=y$ $\implies \sqrt 2=y^{1/y}$ $\implies \sqrt 2 =1$ $\implies 2 =1$ !! but how come that be. Can anyone explain this and point out what is ...
15
votes
3answers
330 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?
2
votes
0answers
32 views

Which primes satisfy this modular property?

Let $x$ be a residue$\mod p$ where $p$ is an odd prime. Im searching for such $p$ such that there exists a function $f(x)$ with propery $f(f(x)) - 2^x \equiv 0 \mod p $ for all values of $x$. I ...
2
votes
0answers
60 views

Tetrations of non-integers? [duplicate]

A Tetration is defined as $${^{n}a} = \underbrace{a^{a^{\cdot^{\cdot^{a}}}}}_n$$ or, by a recursion function, $${^{n}a} := \begin{cases} 1 &\text{if }n=0 \\ a^{\left[^{(n-1)}a\right]} ...
0
votes
2answers
69 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 ...
5
votes
1answer
127 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 ...
19
votes
3answers
350 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
985 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 ...
3
votes
1answer
114 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
102 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
56 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 ...
0
votes
0answers
80 views

Natural examples of tetration

(Note: I am aware of this question, but this isn't a duplicate) In mathematics I know several things for which we have naturally occuring tetrational growth: first, and simpliest, is finite stages in ...
3
votes
3answers
361 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
82 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
97 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 ...
1
vote
2answers
70 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) ...
4
votes
0answers
144 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
157 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
68 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 ...
1
vote
0answers
127 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. ...
1
vote
1answer
95 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
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. ...
4
votes
1answer
129 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
252 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
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 ...
2
votes
0answers
99 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 ...