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

10
votes
1answer
148 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\\\vdots\\f_{n+1}(x)=x^{f_n(x)}$$ Let $F_n(x)=f_n^{'}(x).$ Hence $$F_1(x)=1\\F_2(x)=x^x(1+\log(x))\\\vdots$$ Prove that $F_{2n}(x)=0$ has exactly one root in the ...
3
votes
1answer
57 views

Solving $x^{1/x}=y^{1/y}$ iteratively by power towers, convergence

Suppose we have no idea that $x^{1/x}=\exp \left( \frac{1}{x} \ln x \right)$ or don't know anything about exponents and logarithms. But we can certainly compute roots, for example by this method. ...
3
votes
1answer
141 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 ...
2
votes
1answer
137 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$ ...
0
votes
1answer
33 views

What is a puiseux series and what is wolfram-alpha doing with this antiderivative?

I asked wolfram alpha to compute the antiderivative of the function $x^x$. It gave me some really large confusing polynomial-esque thing called a puiseux series. However, from what I can gather on the ...
-3
votes
1answer
67 views

Solve $(x+a)^{1/x} = b$ for $x$

Solve $(x+a)^{1/x} = b$ , for $x$ where $a$ & $b$ are real constant. Do not use Lambert W-function in solution. Instead of using Lambert W-function, there are solution steps look like "...
14
votes
0answers
527 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 ...
7
votes
0answers
112 views

How to solve $x^x = y^y \mod p$?

Let $p>5$ be a prime. How to solve $x^x = y^y \mod p$? How many solutions are there for a given $p$ such that $x,y < p$? I know the discrete logarithm and the theory of quadratic residues, but ...
6
votes
0answers
265 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{^} ...
5
votes
0answers
294 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:...
4
votes
0answers
255 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$ ...
4
votes
0answers
136 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 ...
4
votes
0answers
135 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 is ...
4
votes
0answers
481 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 ...
4
votes
0answers
163 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 ...
3
votes
0answers
40 views

Tetration of a number giving a complex number

Giving this power equation: $$S=\lim_{n\to\infty} {^n}x=-i$$ where the symbol $^nx$ means the tetration operator, we can write in a form not formally correct: $${\ ^{n}x = \ \atop {\ }} {{\underbrace{...
3
votes
0answers
112 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 (...
3
votes
0answers
198 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. ...
3
votes
0answers
220 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 ...
3
votes
0answers
128 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 ...
3
votes
0answers
105 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
43 views

Last three digits of tetration

Find the last three digits of the number: $7^{7^{7^7...}}$ where there are 1001 sevens. I know how to do it for when there are 4 and 5 sevens. I get an answer of 343. But how do I find it for ...
2
votes
0answers
47 views

Derivation of tetration by iteration

I was screwing around a bit differentiating tetrations and was trying to write some rules for them. I came up with this recursive definition: $$ \frac{d\ ^nt}{dt} =\ ^nt \cdot log(t)\frac{d\ ^{n-1}t}{...
2
votes
0answers
127 views

Questions concerning the Integration of Integer Tetration

I've been interested in finding the antiderivative of integer tetration, a function defined as iterative exponentiation. Integer tetration is written as $^n$$x$ where $^1$$x =x$, $^2$$x =x^x$, $^3$$x =...
2
votes
0answers
53 views

another number group?

I noticed that for each basic increasing binary function (addition, multiplication, and exponentiation) its inverse (or just a inverse) of certain values adds more number types to the number line (or ...
2
votes
0answers
123 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... $$(x!)\uparrow\uparrow(!x)$...
2
votes
0answers
41 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
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$...
2
votes
0answers
142 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 ...
2
votes
0answers
84 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
95 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 ...
1
vote
0answers
29 views

Is $\max \int_{- \infty}^{\infty} \frac{dx}{\pi (1 + x^2 + f ' (x)^2 )} $ a uniqueness condition here?

Let f(x) be a real-differentiable function with $f′(x)>0,f′′(x)>0 $ and $$ f(f(x)) = \exp(x) $$ for all real $x$. Tommy1729 adds the optimization condition $$ max \int_{- \infty}^{\infty} \...
1
vote
0answers
138 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 ...
1
vote
0answers
161 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
0answers
51 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 : ...
0
votes
0answers
38 views

question concerning tetration to infinity.

So I read on-line that \begin{equation} x^{x^{x^{x^{x^{x}}}}}=2 \end{equation} where number of x goes to infinity can be solved by solving \begin{equation} x^{2}=2 \end{equation} so by the same logic \...
0
votes
0answers
51 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?
0
votes
0answers
50 views

Showing that a Hermitian matrix can have eigenvalues that correspond to arbitrary numbers does not prove the Hilbert-Polya conjecture, does it?

I read in Wikipedia about the Hilbert-Polya conjecture that: " ...a physical reason that the Riemann hypothesis should be true, and suggested that this would be the case if the imaginary parts $...
0
votes
0answers
31 views

What the minimum of infinite tetration divided by $\sqrt{x}$?

For some values of $x$ the limit of infinite tetration converges. For example when $x=\sqrt{2}$ this is fixed point $$\lim_{n\rightarrow \infty} \sqrt{2} \uparrow \uparrow n = \sqrt{2}^{\sqrt{2}^{\...
0
votes
0answers
43 views

Uniqueness question from functional equation

Let $f(x)$ and $f_2(x)$ be real and continuous on the interval $[0,\infty[$. Let $f(1) = f_2(1) = 1 , f(2) = f_2(2) = e$. Let $g(x)-g(x-1) = f(x-1)$. Let $ f ' (x) = exp(g(x) - g(1)).$ and $f '' (1)...
0
votes
0answers
68 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 ...