Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
real slog developed at a fixed point
#11
Kouznetsov Wrote:
bo198214 Wrote:Didnt you say that the series does not converge? Or not to the values of slog?
Not to the values of slog. The radius of convergence of the sub-series of terms with integer poers of seems to be .

Oh I just see, the construction I made above is the regular slog. I.e. the function Knesers starts with. Thatswhy it doesnt yield the values of the kslog, especially it is not real at the real axis. It is the powerseries development of the regular Abel function, while Kneser works with the limit formula of the regular Abel/Schroeder function.
So the continuation of this series to the upper half plane has a singularity at for each . Here the singularity at 0 limits the convergence radius to .

Lets call this super logarithm rslog while we call your super logarithm kslog. Then we know already that

or

where is 1-periodic.
By the above consideration we can develop
for a powerseries .
And every 1-periodic holomorphic function can be developed as:

Then

Now the exponential of a powerseries is again a powerseries:

inserted:


thatswhy we can finally write:


which is slightly more unspecific than Knesers's formula.
Reply
#12
@Henryk

Did you forget a binomial coefficient somewhere? More specifically:

Quote:Now we know that

Andrew Robbins
Reply
#13
andydude Wrote:@Henryk

Did you forget a binomial coefficient somewhere? More specifically:

Quote:Now we know that

Andrew Robbins

Yes, you are right. I will correct it in my post. However I think the coefficients are still ok (because I computed them by other means.)
Reply


Possibly Related Threads...
Thread Author Replies Views Last Post
  b^b^x with base 0<b<e^-e have three real fixpoints Gottfried 1 1,994 11/07/2017, 11:06 AM
Last Post: sheldonison
  Are tetrations fixed points analytic? JmsNxn 2 2,543 12/14/2016, 08:50 PM
Last Post: JmsNxn
  2 real fixpoints again ....... tommy1729 10 8,153 02/23/2016, 10:17 PM
Last Post: tommy1729
  Derivative of exp^[1/2] at the fixed point? sheldonison 10 9,125 01/01/2016, 03:58 PM
Last Post: sheldonison
  Some slog stuff tommy1729 15 10,938 05/14/2015, 09:25 PM
Last Post: tommy1729
  A new set of numbers is necessary to extend tetration to real exponents. marraco 7 8,346 03/19/2015, 10:45 PM
Last Post: marraco
  [MSE] Fixed point and fractional iteration of a map MphLee 0 1,926 01/08/2015, 03:02 PM
Last Post: MphLee
  A limit exercise with Ei and slog. tommy1729 0 1,785 09/09/2014, 08:00 PM
Last Post: tommy1729
  A system of functional equations for slog(x) ? tommy1729 3 4,067 07/28/2014, 09:16 PM
Last Post: tommy1729
  Real-analytic tetration uniqueness criterion? mike3 25 19,350 06/15/2014, 10:17 PM
Last Post: tommy1729



Users browsing this thread: 1 Guest(s)