Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Superlog with exact coefficients
#5
There is an error in your calculation of the Abel function of dxp:

andydude Wrote:We can now find the Abel function of dxp by integrating its Julia function, but we need to find the reciprocal first. Finding the reciprocal of a power series can be a tedious task, so I've done the work for you:

and since , we solve for by equating the coefficients of x, and the solution to these equations is:

The regular Abel function (for a function with fixed point at 0) always has a singularity at 0. You can not expand it into a powerseries at 0.
In the hyperbolic case the Abel function is the logarithm of the Schroeder function (as Gottfried also pointed out in his post), here you can also see that it is not developable at 0, because log is not.

What you however can do is to express the Abel function as where M is a function, such that is holomorphic and so developable at at 0. This is an extension to holomorphic functions (so called meromorphic functions) which also allow a finite number of negative powers in the power series development, i.e.
.

I explained here how this comes.

To compute the inverse of a powerseries - which is a meromorphic function - we determine the first index such that then we divide by and get a powerseries with with . We can then compute the reciprocal of this powerseries and the inverse of is then

is a powerseries with negative powers.

In our case , and .


If we now integrate this:



Quote:Lastly, we can relate these findings back to the super-logarithm.

Let be the Abel function of dxp.
Let .
Then is an Abel function of exp.
Proof.




. []

Yes this is correct and this is equal to the rslog because of the following:
You put the formula

where is the lower fixed point, and .
If is the (principal) Abel function of we write this is as:
with as you already pointed out with .

Now the rslog computation is slightly different, we start with

i.e.

to show that both Abel functions of are identical we just need to show that

This is be done by the following equivalences:


And the last line is automatically satisfied by the regular iteration.

Quote:This means that

If you now redevelop
with the correct - note that the logarithmic term in is now developable at 0 - you see that the coefficients become infinite sums, which is again no finite description (except you find some closed expression).
Reply


Messages In This Thread
Superlog with exact coefficients - by andydude - 06/11/2008, 05:46 AM
RE: Superlog with exact coefficients - by bo198214 - 06/20/2008, 01:26 PM

Possibly Related Threads...
Thread Author Replies Views Last Post
  Taylor polynomial. System of equations for the coefficients. marraco 17 18,058 08/23/2016, 11:25 AM
Last Post: Gottfried
  Can we prove these coefficients must be constant? JmsNxn 0 1,997 06/03/2012, 09:17 PM
Last Post: JmsNxn
  Coefficients of Tetrational Function mike3 3 7,009 04/28/2010, 09:11 PM
Last Post: andydude
  Branch points of superlog mike3 0 2,438 02/03/2010, 11:00 PM
Last Post: mike3
  Superlog determinant factored! andydude 3 4,968 11/10/2009, 12:44 AM
Last Post: andydude
  Exact and Unique solution for base e^(1/e) jaydfox 22 25,542 08/03/2009, 03:24 PM
Last Post: bo198214



Users browsing this thread: 1 Guest(s)