Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Simplified regular tetration
#1
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
Reply
#2
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 .
Reply
#3
So is X the inverse of the Schroeder function?
Reply
#4
(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*
Reply


Possibly Related Threads...
Thread Author Replies Views Last Post
  Regular iteration using matrix-Jordan-form Gottfried 7 8,222 09/29/2014, 11:39 PM
Last Post: Gottfried
  regular tetration base sqrt(2) : an interesting(?) constant 2.76432104 Gottfried 7 8,775 06/25/2013, 01:37 PM
Last Post: sheldonison
  regular iteration of sqrt(2)^x (was: eta as branchpoint of tetrational) JmsNxn 5 7,253 06/15/2011, 12:27 PM
Last Post: Gottfried
  Regular "pentation"? mike3 12 19,843 04/04/2011, 03:16 AM
Last Post: BenStandeven
  closed form for regular superfunction expressed as a periodic function sheldonison 31 30,554 09/09/2010, 10:18 PM
Last Post: tommy1729
  [Regular tetration] [Iteration series] norming fixpoint-dependencies Gottfried 11 13,026 08/31/2010, 11:55 PM
Last Post: tommy1729
  regular tetration at b=e^(-e) bo198214 6 9,616 08/23/2010, 05:45 PM
Last Post: Gottfried
  [Regular tetration] bases arbitrarily near eta Gottfried 0 2,763 08/22/2010, 09:01 AM
Last Post: Gottfried
  "Natural boundary", regular tetration, and Abel matrix mike3 9 14,289 06/24/2010, 07:19 AM
Last Post: Gottfried
  Regular slog for base sqrt(2) - Using z=2 jaydfox 13 17,642 03/10/2010, 12:47 PM
Last Post: Gottfried



Users browsing this thread: 1 Guest(s)