05/02/2009, 12:13 AM

Regular iteration of exponentials gives a power series of about z. In order to obtain regular tetration from this we must evaluate this at (z=1), but in doing so, it is no longer a power series. In order to make this a power series again we have to re-expand it about 'y' or 'a', which makes really messy power series. This messy power series is of the form

This is not a power series in 'a', because it involves both (a - 1) and . If we are to compare this with other methods, then it would be beneficial to have a true power series in 'a'. To this end, we can define the following function

and define an an inverse function such that . There are numerous benefits to defining the function this way. Since all of the functions used are invertible, we can express tetration in terms of X: . We can also express the superlog in terms of Z: . Superroots cannot be expressed with these functions, however.

To show that all of the logarithms are gone, here is the resulting power series of X:

as you can see, some of the coefficients display a pattern, like the terms, but I don't know if this pattern continues. Even so, I think this form is much easier to analyze than picking a base and sticking with it for all calculations. For example, the Julia function of exponentials (evaluated at 1) can be expressed with this function as well.

so to summarize, these are the benefits of this simplified view of regular tetration:

Andrew Robbins

This is not a power series in 'a', because it involves both (a - 1) and . If we are to compare this with other methods, then it would be beneficial to have a true power series in 'a'. To this end, we can define the following function

and define an an inverse function such that . There are numerous benefits to defining the function this way. Since all of the functions used are invertible, we can express tetration in terms of X: . We can also express the superlog in terms of Z: . Superroots cannot be expressed with these functions, however.

To show that all of the logarithms are gone, here is the resulting power series of X:

as you can see, some of the coefficients display a pattern, like the terms, but I don't know if this pattern continues. Even so, I think this form is much easier to analyze than picking a base and sticking with it for all calculations. For example, the Julia function of exponentials (evaluated at 1) can be expressed with this function as well.

so to summarize, these are the benefits of this simplified view of regular tetration:

- The coefficients of (-X) are always positive (except for the -1 in the first term), which means X itself has negative coefficients (except for the 1 in the first term).

- All of the logarithms in the direct expansion are gone, meaning they must have come from the sub-expansions of in the power series.

- We can express tetration in terms of X, without any loss of generality.

- We can express superlogs in terms of the inverse function Z.

- We can express the Julia function of exponentials in terms of

Andrew Robbins