• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 Superlog with exact coefficients bo198214 Administrator Posts: 1,389 Threads: 90 Joined: Aug 2007 06/20/2008, 01:26 PM 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). « Next Oldest | Next Newest »

 Messages In This Thread Superlog with exact coefficients - by andydude - 06/11/2008, 05:46 AM RE: Superlog with exact coefficients - by andydude - 06/11/2008, 06:02 AM RE: Superlog with exact coefficients - by Gottfried - 06/11/2008, 07:18 AM RE: Superlog with exact coefficients - by Gottfried - 06/13/2008, 06:38 AM RE: Superlog with exact coefficients - by bo198214 - 06/20/2008, 01:26 PM RE: Superlog with exact coefficients - by Gottfried - 03/10/2009, 09:59 PM

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

Users browsing this thread: 1 Guest(s) 