Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Superlog with exact coefficients
#1
We have investigated the coefficients of the super-logarithm for quite a long time now, and so far, all my attempts have been met with approximations of approximations. Finally, I may have found a super-logarithm with exact coefficients. You be the judge.

First lets start with some recent realizations about Abel functions, Julia functions, and topological conjugacy. So, I'll use the notation, and thus the topological conjugacy between "exp" and "dxp" can be expressed as:

which can also be found in this thread. The Abel functions and Julia functions can be related as:

which, as they apply to exp/dxp, can be proven (and is proven later) to imply:



Second, I think the process of finding iterated-dxp is well understood by now, so I'll start with that. One recent observation in this thread has been that Szekeres' Julia functions and Jabotinsky's L-functions (or iterative logarithm) are actually the same functions, which has opened my eyes to a whole new approach to iteration. With this in mind, not only can we express the Abel function as:

or the logarithm of the Schroeder function, but we can also express it as:

which also serves to emphasize the fact that Abel functions are only determined up to a constant, and that a solution (to the Abel functional equation) can always be generalized to , which is also true of integrals.

Iterated-dxp can be expressed as the hyperbolic iteration of as:

and since the Julia function of dxp is also the iterative logarithm of dxp:

which evaluates to the power series:

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:


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.




. []

This means that which relates back to the super-logarithm as follows:


Smile

Andrew Robbins
Reply


Messages In This Thread
Superlog with exact coefficients - by andydude - 06/11/2008, 05:46 AM

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



Users browsing this thread: 1 Guest(s)