06/23/2010, 06:06 PM
(This post was last modified: 06/23/2010, 06:07 PM by sheldonison.)

(06/21/2010, 09:14 PM)tommy1729 Wrote: ... as for the ROC i assume a plot for increasing n says more than a thousand words.

plot n = 1 -> 100. z = 1/2

---

basicly if the n'th derivate has no pole i guess they are all holomorphic for x > 0.

The half iterate function is multi-valued, something that I did't quite realize until I tried understanding Tommy's 2sinh limits in the complex plane. Studying the half iterate shows reasons why extending this limit equation to the complex plane seems difficult.

The full iterate of the sexp function is just which is of course single valued. But the the ln(x) function is multiple valued, and so is the inverse sexp. There are infinitely many half iterates, each corresponding to a different horizontal line in the complex plane graph of the sexp function. If we have sexp(z)=x, then sexp(z+0.5) is an half iterate of x.

Consider the behavior of . At the real axis, the half iterate of 0.4986 is approximately 1, which also means the half iterate of the ln(0.4986) is near the singularity. Each of the following numbers is the approximate exponent of the previous line.

-0.3624 + pi*i

-0.6960 => half iterate is near singularity

0.4986 => half iterate is ~1.0000

1.6464

4.4817

88.384

2.42*10^38

....

The other half iterates of 0.4986, correspond to other horizontal lines in the sexp function. Consider ln(0.4986) + 2pi*i

1.8440 + i*1.6811

-0.6960 + 2pi*i

0.4986 => half iterate is complex valued, not equal to ~1

1.6464

4.4817

88.384

2.42*10^38

....

Finally, consider z=ln(0.4986)+i*2pi. Again, the sequence ends the same, and has a different values for the half iterate.

-0.3624 + 3*pi*i

-0.6960 => half iterate is complex valued, not near singularity

0.4986 => half iterate is complex valued, not equal to ~1

1.6464

4.4817

88.384

2.42*10^38

....

So, in generating the half iterate, we need to include the history of all the full iterate exponentiations that occurred prior to the half iterate! This makes it difficult or impossible to extend Tommy's proposed limit equation for the half iterate based on the 2sinh function to the complex plane.

Tommy's equations, like the base conversion equations, iterate the exponentiation function with increasing "n", so that the full iterate of the 2sinh function matches the full iterate of the exponentiation function. The function is well defined (infinitely differentiable) for real numbers. Furthermore, the half iterate of 2sinh is well defined on the complex plane, based on the Superfunction earlier in this thread. But, in the examples I gave, even though the full iterate may be increasing to infinity, the half iterate is complex valued, and the imaginary portion probably never goes to zero with increasing "n". The half iterate will be increasing at times, and then decreasing to near zero, and then increasing again, never growing arbitrarily large. Using the published sexp taylor sereies, one could generate some of the complex half iterates of the half iterate of 0, and iterating probably has a complex value that never goes to zero. Thus, even if we could select a different portion of the superfunction to generate a horizontal line from, its not clear that the sequence of terms for increasing "n" would converge to any particular value. Either Tommy's sexp is not analytic, or if it is analytic, it requires a different approach to extend it to the complex plane.

- Sheldon