Thread Rating:
  • 1 Vote(s) - 5 Average
  • 1
  • 2
  • 3
  • 4
  • 5
regular tetration at b=e^(-e)
In response to the thread Solving tetration for base 0 < b < e^-e. I will feature here what one could call regular superlogarithm.

The idea is the following: One can obtain the regular Abel function of by the Julia function :

The Julia function (or also called iterative logarithm) can be obtained by
where we mean to be the *regular* iteration of .

It is similar to the logarithm:

And we have a way to obtain the regular iteration by matrix powers.

Before we begin we reduce the problem of iterating to iterating . This is a linear conjugation with and , i.e. . It moves the fixed point from to .

has the powerseries coefficients:
0, -1, 1/2, -1/6, 1/24, -1/120, 1/720, -1/5040, 1/40320, -1/362880, ...

Then we take the Carleman matrix of this series (I truncate it to 10 here):

And then we consider the first line of the matrix power . These are the coefficients of :

Each coefficient is a mixture of polynomials in containing . It has 0 convergence radius.

We apply (**) and get the coefficients of the Julia function :
0, I*pi, -1/4*I*pi, 1/8*I*pi - 1/12, -7/96*I*pi + 1/48, 3/64*I*pi - 1/80, -41/1280*I*pi + 17/2880, 263/11520*I*pi - 41/12096, -901/53760*I*pi + 229/120960, 3245/258048*I*pi - 227/207360

Now we apply (*):
When we take the reciprocal of the julia function we get a formal Laurent series starting at -1. The coefficient at -1 is , the other coefficients are:

When integrating the coefficient of becomes the coefficient of the logarithm. The other coefficients of the Abel function are obtained by formal integration. The coefficients of the Abel function of are:

The superlogarithm is then just

1. The provided values are just for comparison if you want to reproduce this approach. I worked with Sage and my own powerseries libary. I can provide more coefficients as numerics if you specify some format. I didnt test my computations against obvious errors nor plotted the corresponding graph, nor do I know whether the series converges (thoug it looks quite so).
2. The powers in the first row of the matrix power are of course ambigous. I choose the standard branch of the logarithm in .
3. In the formula for you can of course choose arbitrary cuts and branches for the logarithm. The corresponding cut is then the cut for the Abel function and the cut after application of is the cut of the superlogarithm in the point .
4. You can add arbitrary constants to the superlogarithm and obtain again a superlogarithm.

Messages In This Thread
regular tetration at b=e^(-e) - by bo198214 - 09/26/2009, 09:25 PM
RE: regular tetration at b=e^(-e) - by mike3 - 09/27/2009, 12:52 AM
RE: regular tetration at b=e^(-e) - by bo198214 - 09/27/2009, 06:21 AM
RE: regular tetration at b=e^(-e) - by mike3 - 09/27/2009, 10:24 PM
RE: regular tetration at b=e^(-e) - by Gottfried - 01/11/2010, 12:51 PM
RE: regular tetration at b=e^(-e) - by Gottfried - 08/23/2010, 05:45 PM

Possibly Related Threads...
Thread Author Replies Views Last Post
  Regular iteration using matrix-Jordan-form Gottfried 7 9,561 09/29/2014, 11:39 PM
Last Post: Gottfried
  regular tetration base sqrt(2) : an interesting(?) constant 2.76432104 Gottfried 7 10,394 06/25/2013, 01:37 PM
Last Post: sheldonison
  regular iteration of sqrt(2)^x (was: eta as branchpoint of tetrational) JmsNxn 5 8,208 06/15/2011, 12:27 PM
Last Post: Gottfried
  Regular "pentation"? mike3 12 22,574 04/04/2011, 03:16 AM
Last Post: BenStandeven
  closed form for regular superfunction expressed as a periodic function sheldonison 31 35,044 09/09/2010, 10:18 PM
Last Post: tommy1729
  [Regular tetration] [Iteration series] norming fixpoint-dependencies Gottfried 11 14,949 08/31/2010, 11:55 PM
Last Post: tommy1729
  [Regular tetration] bases arbitrarily near eta Gottfried 0 3,016 08/22/2010, 09:01 AM
Last Post: Gottfried
  "Natural boundary", regular tetration, and Abel matrix mike3 9 16,078 06/24/2010, 07:19 AM
Last Post: Gottfried
  Regular slog for base sqrt(2) - Using z=2 jaydfox 13 20,004 03/10/2010, 12:47 PM
Last Post: Gottfried
  regular slog bo198214 18 22,449 07/31/2009, 08:55 AM
Last Post: bo198214

Users browsing this thread: 1 Guest(s)