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:

Andrew Robbins

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:

Andrew Robbins