Tetration Forum
Simplified regular tetration - Printable Version

+- Tetration Forum (https://math.eretrandre.org/tetrationforum)
+-- Forum: Tetration and Related Topics (https://math.eretrandre.org/tetrationforum/forumdisplay.php?fid=1)
+--- Forum: Mathematical and General Discussion (https://math.eretrandre.org/tetrationforum/forumdisplay.php?fid=3)
+--- Thread: Simplified regular tetration (/showthread.php?tid=283)

Simplified regular tetration - andydude - 05/02/2009

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:
  1. 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).
  2. All of the logarithms in the direct expansion are gone, meaning they must have come from the sub-expansions of in the power series.
  3. We can express tetration in terms of X, without any loss of generality.
  4. We can express superlogs in terms of the inverse function Z.
  5. We can express the Julia function of exponentials in terms of
Some other properties of this function include

Andrew Robbins

RE: Simplified regular tetration - bo198214 - 05/02/2009

We know that we can express the Abel function of at by
where is the Schröder function of at , where .
This means that the inverse of the Abel function which is actually the superexponential can be expressed by
with appropriate translation along the x-axis choosen such that . Here

The coefficients of , , , can be recursively computed from the equation
(*) ,
by the composition formula
where .

Now we put formula (*) in:

On the right side only occurs for in , namely in the summand . Thatswhy we have the recursive formula:

So each coefficient of is a polynomial in ( base) and a rational function in ( fixed point).
and upto translation along the x-Axis we have .

RE: Simplified regular tetration - andydude - 05/03/2009

So is X the inverse of the Schroeder function?

RE: Simplified regular tetration - bo198214 - 05/03/2009

(05/03/2009, 08:49 AM)andydude Wrote: So is X the inverse of the Schroeder function?
Actually I am also somewhat puzzled.
I would suggest to always use variable for the base.
In this terminology you wrote:

Now is the fixed point which I denoted with .
And is the derivative at the fixed point which I denoted with .
So your formula is:

while my formula is:

Your coefficients are polynomials in , while my coefficients are rational functions in and also use . Though both must be equal up to translation. *headscratch*