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 2,089 11/07/2017, 11:06 AM
Last Post: sheldonison
  Are tetrations fixed points analytic? JmsNxn 2 2,629 12/14/2016, 08:50 PM
Last Post: JmsNxn
  2 real fixpoints again ....... tommy1729 10 8,345 02/23/2016, 10:17 PM
Last Post: tommy1729
  Derivative of exp^[1/2] at the fixed point? sheldonison 10 9,336 01/01/2016, 03:58 PM
Last Post: sheldonison
  Some slog stuff tommy1729 15 11,216 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,561 03/19/2015, 10:45 PM
Last Post: marraco
  [MSE] Fixed point and fractional iteration of a map MphLee 0 1,976 01/08/2015, 03:02 PM
Last Post: MphLee
  A limit exercise with Ei and slog. tommy1729 0 1,820 09/09/2014, 08:00 PM
Last Post: tommy1729
  A system of functional equations for slog(x) ? tommy1729 3 4,144 07/28/2014, 09:16 PM
Last Post: tommy1729
  Real-analytic tetration uniqueness criterion? mike3 25 19,653 06/15/2014, 10:17 PM
Last Post: tommy1729



Users browsing this thread: 1 Guest(s)