Power Towers, and Notation for Iterated Exponentiation

So far, we use the symbol $$\sum$$ to denote sums, and $$\prod$$ to denote products. But is there any such notation for exponentiation?

Has any research been done about exponentiation of this type, where the numbers in the "power tower" form some sequence? $$a_1^{{a_2}^{{...}^{a_n}}}$$ And it need not be a finite sequence, I might add...

Does anybody know of any examples that we know how to evaluate? Does anybody know how to determine convergence or divergence in these "power towers"? And can anybody suggest or point me towards any existing way to denote something like this?

Let me give an example. Suppose we have the power tower defined by the sequence $$a_n=\frac{3}{2^n}$$ Does anybody know how to evaluate the infinite power tower defined by this sequence (it seems to converge) ? How about a partial one?

We already know how to evaluate some infinite power towers where $a_n$ is a constant, like $$\sqrt{2}^{\sqrt{2}^{\sqrt{2}^{\cdots}}}=2$$

Thanks!

• I'm not an expert on the subject, but the technical name is "tetration". And there is a lot of info about it on google. – jgsmath Jul 8 '17 at 21:02
• @jgsmath Yes, I knew about tetration, but I though that it only applied when all terms were the same. – Frpzzd Jul 8 '17 at 21:03
• I have not seen any such notation. You could always use your own invented notation as long as you clearly define it before starting. Like $\displaystyle \Theta_{k=1}^n a_k$ or like, a capital pi with a second horizontal bar. – Kaj Hansen Jul 8 '17 at 21:08
• @KajHansen Yes, good idea. I was just checking to see if anything like that already existed. – Frpzzd Jul 8 '17 at 21:09
• Please just ask one question at a time. – J.-E. Pin Jul 9 '17 at 15:30

Creutz/Sternheimer ([5] and [6] below) use $\Xi$ for the exponentiation analog of $\Sigma$ (summation) and $\Pi$ (product). They were probably unaware of [4], but a similar usage appears in [4] for the corresponding transfinite operations on ordinals --- $\Xi_{0}$ is for $\Sigma$ (transfinite sums), and $\Xi_{1}$ is for $\Pi$ (transfinite products), and $\Xi_{2}$ is for transfinite "bottom-up evaluated" exponential towers of ordinals, and $\Xi_{3}$ is for transfinite "bottom-up evaluated" bottom-up-tetration towers of ordinals, etc. (When defining these higher operations for ordinals, the top-down evaluation method does not work very well -- see this question and my comments under it.)

The papers below (except for [4]) are the most relevant papers I know of for what you are mainly asking about, namely convergence issues for limits of power towers of the form $a_1^{{a_2^{{...}^{{a_n}^{...}}}}}.$

[1] David Francis Barrow (1888-1970), Infinite exponentials, American Mathematical Monthly 43 #3 (March 1936), 150-160.

[2] Wolfgang Joseph Thron (1918-2001), Convergence of infinite exponentials with complex elements, Proceedings of the American Mathematical Society 8 #6 (December 1957), 1040-1043.

[3] Donald Lewis Shell (1924-2015), On the convergence of infinite exponentials, Proceedings of the American Mathematical Society 13 #5 (October 1962), 678-681.

[4] Arthur Leonard Rubin (1956-$_{---}$) and Jean Estelle Rubin (1926-2002), Accumulation functions on the ordinals, Fundamenta Mathematicae 70 #2 (1971), 205-220.

[5] Michael John Creutz (1944-$_{---}$) and Rudolph Max Sternheimer (1926-2000), On the convergence of iterated exponentiation---I, Fibonacci Quarterly 18 #4 (1980), 341-347.

[6] Michael John Creutz (1944-$_{---}$) and Rudolph Max Sternheimer (1926-2000), On the convergence of iterated exponentiation---II, Fibonacci Quarterly 19 #4 (1981), 326-335.

[7] Irvine Noel Baker (1932-2001) and Philip Jonathan Rippon (??-$_{---}$), Iterating exponential functions with cyclic exponents, Mathematical Proceedings of the Cambridge Philosophical Society 105 #2 (March 1989), 357-375.

Let, $$h(z)=z^{z^{z^{\cdots}}}.$$ Now we have, $$h(z)=\frac{W(-\ln z)}{-\ln z}$$ Where $W(y)$ is the Lambert W function. Maybe this can give you some ideas, who knows :)

Note : If we plug $z=\sqrt{2}$ in the formula we get the result $h(z)=2$.

here's my research (somewhat as it goes), if you have a finite power tower like:

$a^{{(ab)}^{(ab^2)}}$

then we have $(ab)^{(ab^2)}$ as a power by the power rules used for integers at least this equals:

$$a^{(ab^2)}b^{(ab^2)}=(a^a)^{(b^2)}(b^{(b^2)})^a=({(a^a)^b})^b({(b^b)^b})^a$$ this is our exponent if we then raise a to it we get: $$\Large a^{(a^{(ab^2)}b^{(ab^2)})}=a^{((a^a)^{(b^2)}(b^{(b^2)})^a)}=a^{(({(a^a)^b})^b({(b^b)^b})^a)}= (a^{({(a^a)^b})^b }\Large )^{({(b^b)^b})^a}= ???$$

it's a work in progress I guess for me. this example was for a geometric sequence.