Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Kneser's Super Logarithm
#11
I can not yet follow you:
(01/23/2010, 01:01 PM)sheldonison Wrote: , at least I think that is what is meant by .
I think the formula is corrupt, the correct formula should be:
.

edit: oh now I see: you call the fixed point ! Please avoid, is reserved for functions. Kneser calls it , in this thread I keep with his
convention.

edit: well now I also see that you mean the inverted Schröder function. As we can derive from the previous formula we get:



No, this still is not your formula, I guess you mean the inverse of the Abel function
this would have the formula:


which is finally your formula Smile

Quote:Is the real valued sexp at the real axis connected to the Schroeder equation, chi, by a complex 1-cyclic function,

The Abel function maps to some region .
But our final Abel function shall map into the upper halfplane, correspondingly also to and to . Thatswhy we consider the Riemann mapping that biholomorphically maps the union of the by integer translated to the upper halfplane. (though is this marginally different from Kneser's original approach I think it is better accessible.)

Then is the wanted Abel function (slog), and we obtain sexp as:



Quote:Where is the Riemann mapping of contour of the limit of iterating the natural logarithm, starting with the real interval, 0..1 [color=#0000CD](which corresponds to sexp(z) from z=0 to z=1).

Not sure what contour exactly you mean, but I think we are close already.
Your theta should be the Riemann mapping that maps the upper halfplane to the union of the by integer translated images .

Please continue from here with unified denotation.
Reply
#12
Ah. What do you mean by the Fourier series "exponentially decays to a constant as i increases"? Do you mean the coefficients of the series (in which case how could it converge?)? Do you mean the behavior toward imaginary infinity (if so, does it decay to the two principal fixed points of exp)?
Reply
#13
(01/26/2010, 11:19 PM)bo198214 Wrote: ....
Your theta should be the Riemann mapping that maps the upper halfplane to the union of the by integer translated images .

Please continue from here with unified denotation.
I appreciate the educational update on the notation. Your description in this post of Kneser's approach already makes a lot more sense, and I will continue working on it until I fully understand it. I also updated the notation in my reply (with the graph) using as sexp developed from the fixed point, and as the Abel function (inverse sexp, based on the fixed point).
- Shel
Reply
#14
(01/27/2010, 06:28 PM)mike3 Wrote: Ah. What do you mean by the Fourier series "exponentially decays to a constant as i increases"? Do you mean the coefficients of the series (in which case how could it converge?)? Do you mean the behavior toward imaginary infinity (if so, does it decay to the two principal fixed points of exp)?
I mean the 1-cyclic repeating function exponentially decays to a constant as increases. After the Riemann mapping, it's individual Fourier series terms all decay to zero as imaginary increases. The terms grow as we approach the real axis, and at the real axis, it has singularities at integer values.

The complex sexp developed from the fixed point (the inverse Abel function), already goes to the fixed point as increases, and as decreases. It would be nice to have a graph of , which becomes super-exponential (complex only) as increases, and as decreases, and goes to the fixed point as increases, and as decreases.

Finally, , so as as increases, the sexp_e(z) will converge to , where k is a small constant.
- Shel
Reply
#15
(01/27/2010, 08:30 PM)sheldonison Wrote:
(01/27/2010, 06:28 PM)mike3 Wrote: Ah. What do you mean by the Fourier series "exponentially decays to a constant as i increases"? Do you mean the coefficients of the series (in which case how could it converge?)? Do you mean the behavior toward imaginary infinity (if so, does it decay to the two principal fixed points of exp)?
I mean the 1-cyclic repeating function exponentially decays to a constant as increases. After the Riemann mapping, it's individual Fourier series terms all decay to zero as imaginary increases. The terms grow as we approach the real axis, and at the real axis, it has singularities at integer values.

The complex sexp developed from the fixed point (the inverse Abel function), already goes to the fixed point as increases, and as decreases. It would be nice to have a graph of , which becomes super-exponential (complex only) as increases, and as decreases, and goes to the fixed point as increases, and as decreases.

Finally, , so as as increases, the sexp_e(z) will converge to , where k is a small constant.
- Shel

So then it would seem to agree with the Kouznetsov function, then, wouldn't it, i.e. the function developed this way decays to approximately as ? Hmm. Does this Kneser method work for other bases, too? Can it be used at a complex base, e.g. ?
Reply
#16
(01/28/2010, 08:52 PM)mike3 Wrote: So then it would seem to agree with the Kouznetsov function, then, wouldn't it, i.e. the function developed this way decays to approximately as ? Hmm. Does this Kneser method work for other bases, too?
Yes, and Yes. I don't think anyone's tried it though.
Quote:Can it be used at a complex base, e.g. ?
You could always generate the inverse Abel function from the fixed point for the complex base. But if f(z) is real valued, f(z+1) would have a complex value, so the Kneser mapping couldn't convert the Abel function into a real valued tetration. But it seems like it could generate an analytic complex base tetration where sexp(-1)=0, sexp(0)=1, sexp(1)=2+1.5i, sexp(2)=(2+1.5i)^(2+1.5i) and sexp(-2,-3,-4...)=singularity....
Reply
#17
(01/28/2010, 10:08 PM)sheldonison Wrote:
(01/28/2010, 08:52 PM)mike3 Wrote: So then it would seem to agree with the Kouznetsov function, then, wouldn't it, i.e. the function developed this way decays to approximately as ? Hmm. Does this Kneser method work for other bases, too?
Yes, and Yes. I don't think anyone's tried it though.
Quote:Can it be used at a complex base, e.g. ?
You could always generate the inverse Abel function from the fixed point for the complex base. But if f(z) is real valued, f(z+1) would have a complex value, so the Kneser mapping couldn't convert the Abel function into a real valued tetration. But it seems like it could generate an analytic complex base tetration where sexp(-1)=0, sexp(0)=1, sexp(1)=2+1.5i, sexp(2)=(2+1.5i)^(2+1.5i) and sexp(-2,-3,-4...)=singularity....

Yeah, that's what I'd be after, and I wouldn't expect it to be real-valued at the real axis (except at and ). What would a graph of this function look like along the real axis (two graphs, actually, one for real, one for imag)?

Can this also be done with the Cauchy integral formula method as well? Note that we need to know which two fixed points it should decay to at , and the presumed lack of conjugate symmetry (i.e. I expect that in general, due to it being not real-valued at the real axis at most points) would seem to complicate attempts to try to run this one numerically.
Reply


Possibly Related Threads...
Thread Author Replies Views Last Post
  Inverse super-composition Xorter 10 1,031 01/12/2017, 04:19 PM
Last Post: Xorter
  Solving tetration using differintegrals and super-roots JmsNxn 0 315 08/22/2016, 10:07 PM
Last Post: JmsNxn
  The super of exp(z)(z^2 + 1) + z. tommy1729 1 700 03/15/2016, 01:02 PM
Last Post: tommy1729
  Super-root 3 andydude 10 2,493 01/19/2016, 03:14 AM
Last Post: andydude
  [split] Understanding Kneser Riemann method andydude 7 1,661 01/13/2016, 10:58 PM
Last Post: sheldonison
  super of exp + 2pi i ? tommy1729 1 1,697 08/18/2013, 09:20 PM
Last Post: tommy1729
  True or False Logarithm bo198214 4 5,279 04/25/2012, 09:37 PM
Last Post: andydude
  A fundamental flaw of an operator who's super operator is addition JmsNxn 2 3,339 09/06/2011, 02:00 AM
Last Post: JmsNxn
  Equations for Kneser sexp algorithm sheldonison 18 14,321 06/21/2011, 01:48 AM
Last Post: sheldonison
  Principal Branch of the Super-logarithm andydude 7 8,249 06/20/2011, 09:32 PM
Last Post: tommy1729



Users browsing this thread: 1 Guest(s)