Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Should tetration be a multivalued function?
#17
(01/13/2016, 08:24 AM)andydude Wrote: ...The previous functions discussed earilier are 3-initialized and 5-initialized, which makes them, not tetration, by definition. However, if there is an analytic continuation of the 1-initialized superfunction that overlaps with the 3-initialized superfunction, AND if on the overlap f(0) = 3, then they can be considered branches of the same function. But until that is proven, I don't think it's accurate to say that they're all "tetration". They are, however, iterated exponentials in the sense that they extend to non-integer n. And so I would probably write these functions as instead of saying that is a multivalued function that returns all three.

ok, I was thinking of posting something similar, but I wasn't sure if it was off topic or not. From my perspective, the definition of tetration begins with real valued b>eta, where the base b . These bases require a Kneser mapping, to get a unique real valued function at the real axis, so that:

and tet(z) grows superexponentially as z gets larger

The Op is working with iterated exponentials using b=sqrt(2). These iterated functions are valid super-exponentials. But it turns out they are not Kneser tetration, in the above sense. Maybe that's not an important distinction. Anyway, it turns out, we can extend tetration to complex bases, and experiment with how the function behaves as we vary the base around . I didn't know any of this when I wrote kneser.gp for real valued tetration. But I have since written two different pari-gp programs posted on this site to experiment with complex base tetration. One is called tetcomplex.gp, and the other more recent effort calculates the Abel/slog function for arbitrary complex bases, fatou.gp The two pari-gp programs agree with each other. And they both agree that when you rotate 180 degrees around eta, the function you get is no longer real valued at the real axis! So there is such a thing as a well defined tetration that is an analytic continuation of Kneser type tetration. But guess what. Its not real valued at the real axis. Its some wierd function, that is almost real valued. In the upper half of the complex plane, the function gets arbitrarily close to behaving like the attracting fixed point of 2 function whose period is ~=17.1i , and in the lower half of the complex plane, it gets arbitrarily close to behaving like the repelling fixed point function, whose period is ~=19.2i. At the real axis, 1.24362162766852 - 1.18899611608401 E-48*I

It is much easier to see the effect with a base like b=1.25, where the default settings and precision are sufficient for the calculations.

Code:
\r \fatou.gp
sexpinit(1.25);
sexp(0.5)
1.16359536196501 - 2.01428234045867 E-16*I

- Sheldon
Reply


Messages In This Thread
RE: Should tetration be a multivalued function? - by sheldonison - 01/13/2016, 01:37 PM

Possibly Related Threads...
Thread Author Replies Views Last Post
  Is there a function space for tetration? Chenjesu 0 307 06/23/2019, 08:24 PM
Last Post: Chenjesu
  Degamma function Xorter 0 772 10/22/2018, 11:29 AM
Last Post: Xorter
  Introducing new special function : Lambert_t(z,r) tommy1729 2 3,406 01/10/2016, 06:14 PM
Last Post: tommy1729
Sad Tommy-Mandelbrot function tommy1729 0 1,854 04/21/2015, 01:02 PM
Last Post: tommy1729
  The inverse gamma function. tommy1729 3 7,354 05/13/2014, 02:18 PM
Last Post: JmsNxn
  entire function close to sexp ?? tommy1729 8 9,045 04/30/2014, 03:49 PM
Last Post: JmsNxn
  Problem with infinite product of a function: exp(x) = x * f(x)*f(f(x))*... Gottfried 5 6,614 07/17/2013, 09:46 AM
Last Post: Gottfried
  Proof Ackermann function extended to reals cannot be commutative/associative JmsNxn 1 2,941 06/15/2013, 08:02 PM
Last Post: MphLee
  Hyperzeta function Balarka Sen 7 7,688 05/08/2013, 01:36 PM
Last Post: Balarka Sen
  Gamma function and tetration mike3 1 3,894 04/14/2012, 01:29 PM
Last Post: sheldonison



Users browsing this thread: 1 Guest(s)