I just realized that the nth tetrate makes an incredibly unified terminology system if the other suffix used with tetration was used for iteration as well! I've been using the term "orbit" for the third way of viewing iteration but this is classically viewed as an indexed set, not a function per se. So this could be the new terminology:
11/15/2007, 03:38 AM (This post was last modified: 11/15/2007, 04:07 AM by jaydfox.)
Yes, I like the iterate/iterational and tetrate/tetrational terminology. I've been using "iterator" where you've been using orbit, though I like all three terms if I had to adopt one of them and stick with it.
And "multiple" at least rhymes with iterational, tetrational, and exponential (in the sense that the suffixes "-al" and "-le" sound the same, at least for a Californian like myself), making for a loosely consistent pattern.
One place it breaks down with other precedents is power/exponential. Calling x^3 the third exponentiate doesn't quite sound right (even if making an effort to pronounce it differently from the verb "to exponentiate"). But here, there is an ingrained terminology that may be causing a bias to what "sounds right".
Edit: Already the term "exponentiate" is starting to sound okay to me, used as a noun. Funny how the mind adapts.
I think our intent is to make this a short introduction, not a full book on tetration, but at least the version I'm posting today has grown in length from the version Henryk started this thread with, but Henryk's content still needs to be merged in with this content. I have included Henryk's introduction, and in the \( \LaTeX \) file I have indicated where Henryk's sections would fit in with this outline.
In the version that I am posting, I have included many of my own results, results which are easy to verify, and results that do not need a great deal of mathematical background to verify. This is a list of my own work I have included:
Derivation of Munafo class using super-logarithms.
Extending hyper-N-operations to real number N.
Extending hyper-N-logarithms to real number N.
Extending Galidakis' Puiseux series to iterated exponentials. (trivial)
My Recurrence equation for Taylor series of tetration.
My Recurrence equation for Taylor series of iterated exponentials.
Topological conjugacy of exp., dec. exp., and scaled exp. (Exponential-like conjugates).
Topological conjugacy of prod. exp., self-power, and self-root (Lambert-like conjugates).
Of all of these, the theorem I was most reluctant to include is the Taylor series of tetration and iterated exponentials (pages 21-22). This recurrence equation took me several months of research to find, and as such, I want a little credit for it, but thats all. I have other results that could be much more valuable for publication, so I decided to include this recurrence equation after all.
Much of the content, like reviews of other people's work, I had actually written some time before, and was planning on writing a book about Tetration. Although this never happened, I thought these sections were appropriate for a FAQ, so I have included some of these sections verbatim. Since the topological conjugacy section involves commutative diagrams, I have included the package (diagrams.sty) in the folder I uploaded. Also included are the images used within the FAQ.
To everyone: please look over the material, see what you can improve, and what is missing, wrong, inappropriate, too advanced, misplaced, out of order, and so on. We may have to split this into two articles again, one for the FAQ and one for the collection of theorems, but I like the idea of having a single article to describe our progress.
Andrew Robbins
PS. If you don't want the sources, just download the PDF.
I know I have to keep head cool, but the first fabulous graph on Your summary article is just the most general phase diagram possible in reals, and I just know it is true. It explains all existing phase diagrams and hints on some new. Next task is just to adapt parameters to fit experimental data-any. And the physics will pop out themselves from mathematical models You use.
Now imagine what it would look like when imaginary values are included and what would that mean.
01/13/2008, 04:02 PM (This post was last modified: 01/14/2008, 10:17 PM by GFR.)
I appreciate the evolution of the FAQ draft.
May I submit to you all, and particularly to Henryk and Andrew, the attached notes that I prepared few months ago for my discussions with KAR ? They contain a bidimensional display trying to define the domains of existence of the "towers" and "superroots" and trying to show that they are disjoint. It needs to be carefully finalized.
I shall appreciate your kind comments on that. Thank you.
Hey Andrew, you put really a lot of work in. Thanks for your contribution.
It seems however that we have to discuss what to put in the FAQ to keep it in a reasonable size.
Basically a FAQ shell prevent people starting to deal with this topic from reinventing the wheel, by clearly and elementary explaining the basics and give known answers to frequently asked questions or frequently occuring problems.
This should be our directive for designing the FAQ.
We should also be careful to not explain things based on our advanced background but instead being very explicit, elementary (and easy to read) and give a lot of examples.
As such I would seperate a (formula, theorem) reference from the FAQ.
I would ban the more exotic notations into a history chapter.
Also note that the box notation is not commonly used but rather our invention. The box tex-notation is also very difficult to use without predefined commands (for example between the tex-tags in this forum). I think we need a simple TeX-representation like a sub- or superscripted operator symbol (together with srt, slg, hrt, hlg for the inverse functions). Also we need for everything an ASCII equivalent which people can use when posting (for the non-tex-experienced people).
