04/19/2015, 02:40 PM
(This post was last modified: 04/19/2015, 03:16 PM by sheldonison.)

(04/18/2015, 11:20 PM)marraco Wrote: is an interesting and important function, so what we get if we do the same with tetration: ?

Your graph for base(e), and the other bases<1 is not correct. The general form for the unique slog for bipolar tetration, which is real valued and analytic, from both fixed points, for bases is:

This is also the form for Jay's accelerated slog

Here; is analytic and bounded on a sickle including the fixed points. slog(z) has a singularity at the fixed points themselves, but is bounded between the fixed points, and is analytic, and has an inverse, sexp(z), on that sickle. Here, at L, is a constant. off topic: actually, has a complex singularity at z=L, but it is continuous.

In the upper half of the complex plane, as gets arbitrarily large, the sexp(z) approaches the Koenig's solution; where the exponential term below goes to zero, and the sexp(z) approaches L. In the lower half of the complex plane, it approaches the conjugate. This is the basis for Kouznetsov's solution.

So then here is a graph of sexp(z) base e, from -5i to +5i, showing the sexp(z) function going from L* to L. You can generate sexp(z) for any complex(z) for many real bases using my implementation of Kneser's solution

- Sheldon