eta as branchpoint of tetrational

[mike3]

As I mentioned in this thread, it appears the analytical continuation of the Kneser tetrational (or a function equivalent to it) into the complex plane looks like a fusion of the regular iterations at two different fixed points (even at the real axis for bases greater than eta it is, but the construction there makes reference to only one due to the conjugate symmetry):

http://math.eretrandre.org/tetrationforu...hp?tid=530

But what happens at base ? A long-standing question has been whether or not the tetrational is analytic here. I think the answer to this is no, and here I give some arguments that I think provide very good evidence for this being true, though not a rigorous proof (that may require a more “explicit” formula (like a Taylor series w/explicit coefficients) for the Kneser tetrational.).

One thing to look for, that might indicate that a point is a singularity, is if the function behaves differently there than at any other point in a significant way. Consider what happens at . The Kneser tetrational approaches the parabolic regular iteration. When we take the corresponding superlog, it is, um, weird and it fails to permit iteration on most of the positive real axis. There's something funny about this base.

Let's consider another investigation. We hypothesize that toward the extended Kneser tetrational always looks like the regular at a fixed point , and at it looks like the iteration at another fixed point , which for real are the principal conjugate fixed points. With that in mind, we see that as we approach , the two points merge into each other. This also suggests that is exceptional, again, indicating that it may be a singularity.

But now for the kicker. Consider moving through the complex plane, starting at a real base . What does this do to the fixed points determining the Kneser function? We have



but is multivalued (as is , too.). This formula then gives all fixed points. Let's look at itself. Then, we have … but is a branch point of !!!! Since appears to be a branch point of . If we choose cuts so that is cut from the above with a cut going from to , and the same for , and so that for they equal the and we expect before, then if we wind around from that axis in both directions, we see the branchpoint at means that the and approach different values as we come around to some base .

If we carry this process out (I did a computational test by slowly moving the base and then correcting and with Newton's method, not by computing directly since I don't have facilities for computing non-principal branches of ), we see that winding from, say, to via the upper half-plane (i.e. going counterclockwise), goes to 2 and to 4. We don't even need to carry out the process in the lower half-plane. Already we see that these are not conjugate, thus the tetrational will not be conjugate-symmetric and hence cannot be real at real heights. This contrasts with the behavior at . If a complex analytic function is real along some part of the real axis, but not another, there must be a branchpoint (not sure what the proof is, though.). The obvious candidate here is... . Indeed, choosing bases closer to and repeating the given procedure suggests this is indeed the case: conjugate and for , not conjugate for .

But if we do go around through the lower half-plane, we get and . Note that this may at first be thought to be the same since these are the same two fixed points as before, it is NOT, since now the is 2, not 4, and the is 4, not 2: they have been swapped! Then, we see that this function cannot be the same. We approach two different functions going in two different directions around , which is the defining quality of a branch point.

So, it seems that a very strong case can be made that the Kneser tetrational is:

1. NOT analytic at
2. multivalued in the base as well as the height
3. NOT equal to the regular iteration for
4. has a branch point at .

Could there be other branch points? Considering as the determining function, we can try out other candidates.

Base 1: Here, the -function is indeterminate, since it reduces to 0/0. Though 0 (log of 1) is not a branch point on the principal branch of , it is in the full multivalued -relation, on every other branch (every non-principal one). Thus base 1 could be a BP, though perhaps not on the “principal branch” of tetrational (i.e. cut from to ).

Base 0: Here, has a branch point. So this is a branch point of . It too, is therefore likely a branch point of the tetrational.

So I think we could suspect that tetration has at least three branch points in the base: 0, 1, and , though they may not all be present on the principal branch.

As an aside, we can also use this to attempt to visualize what the true tetrational at looks like. If we choose the "continuous from above" convention at the cut, then it will look like the familiar attracting regular iteration on the upper half-plane, and like the "upper" iteration on the lower half-plane. It will not decay to a fixed point at , but to two different periodic cycles.

[bo198214]

Complementing your post with some pictures ...

We have the two primary conjugated fixpoints of b^x, b>eta.
Say is the on the upper halfplane and the one on the lower halfplane.

As you write they are given by:



Where and are the standard branches given in computer algebra systems. For these branches we have anticlockwise:
=secondary upper fp

=primary upper fp
=primary upper fp

=primary lower fp


has a cut on and has a cut on for , because has a cut on and all other branches of have a cut on where 0 is a singularity.

so we replace in the upper halfplane by in yielding the function and replace by in the lower halfplane in yielding .

Then both have the following color contour plots:
upper primary fp


   

lower primary fp


   

Lets see what happens, with the fixpoints when moving on the circle for in the next post.

[bo198214]

Lets see what happens, with the fixpoints when moving on the circle for in the next post.

Ok, this happens when moving the base in the lower halfplane . The blue curve is the movment of the upper fixpoint and the red one is the lower fixpoint . At t=0 we have the two complex fixpoints with real part around 2.5.
   

And this happens when moving the base in the upper halfplane :
   

The funny thing is, the curves indeed seem to lie on a circle with center 3 and radius 1.

[bo198214]

I still can not completely follow your argumentation, you write:

Already we see that these are not conjugate, thus the tetrational will not be conjugate-symmetric and hence cannot be real at real heights. This contrasts with the behavior at . If a complex analytic function is real along some part of the real axis, but not another, there must be a branchpoint (not sure what the proof is, though.).

Ok, going with the base on the upper halfplane from e to sqrt(2).
As long as we are not landed back on the real axis,
the fixpoints are not conjugate, so the tetration value will not be real.
But this is nothing new.
Now when on the real axis: the Kneser method is not applicable to two real fixpoints.
So we must take the value there as limit from above.

The kneser tetration is real on the real axis , which implies that (conjugation).

So approaching from above or below is just conjugate to each other.
So what one need to show imho is that the imaginary part will not tend to zero when approaching the real axis at .

I wonder whether Sheldon could supply some pictures of that, with his fourier algorithm.

But if we do go around through the lower half-plane, we get and . Note that this may at first be thought to be the same since these are the same two fixed points as before, it is NOT, since now the is 2, not 4, and the is 4, not 2: they have been swapped! Then, we see that this function cannot be the same.

I dont think it is 2 at and 4 at . As mentioned before, the limits must be conjugate for the kneser tetration.
I guess there is a problem in the assumption that the Kneser tetration behaves at like the regular iteration of the upper fixpoint in the case where the twe developing fixpoints are not conjugate.

I still agree with you that everything looks like there is a branchpoint, but I can not follow your particular arguments in the moment.

[sheldonison]

....
I wonder whether Sheldon could supply some pictures of that, with his fourier algorithm.
....
I still agree with you that everything looks like there is a branchpoint, but I can not follow your particular arguments in the moment.

I've posted a few pictures of the fourier/theta(z) mapping, where I plot theta(z), at imag(z)=1i, and then again at imag(z)=0.001i. Note that , where imag(k)= 1.0472i, and real(k) is a constant to line up the two functions.


Finally, for a more detailed view at the real axis itself, I switch from plotting theta(z) to plotting the repeating contour that thata(z) is mapping in the cheta(z) function. Again, I lined the two functions up in the real direction (but not the imaginary). Here, we see two iterations of that contour function, from -1<z<0, and from 0<z<1. To get reasonable range and precision, I actually calculate the contour from -3<z<-2, which is defined by , where z varies from to , which becomes the contour at the real axis for . The singularities at each end of these contours would extend all the way to the right to +infinity; for this plot, I'm using 1.3E62, so they extend the contour that corresponds to 0<z<1 to around z=2. If you imagine this contour for cheta(z) infinitely repeating, then everything above the repeating contour becomes the function for positive imag(z). For negative imag(z)<0, we use the Schwarz reflection property.
   

[bo198214]

Oh I think we misunderstood each other.
If I remember you have an algorithm which computes the real-analytic (Kneser) superfunction of and has the same outcome as Dimitrii's Cauchy algorithm.
Now, I guess you can generalize that algorithm to compute the superfunction of for any base b, that has two non-real fixpoints.
And the question then would be if (complex) b approaches from the upper halfplane, what are the values of the superfunction (say applied to 1/2) and does the imaginary part tend to 0?

[sheldonison]

Oh I think we misunderstood each other.
If I remember you have an algorithm which computes the real-analytic (Kneser) superfunction of and has the same outcome as Dimitrii's Cauchy algorithm.
Now, I guess you can generalize that algorithm to compute the superfunction of for any base b, that has two non-real fixpoints.
And the question then would be if (complex) b approaches from the upper halfplane, what are the values of the superfunction (say applied to 1/2) and does the imaginary part tend to 0?

I've vaguely thought about the problem of complex bases, with two different fixed points, which aren't complex conjugates of each other, and attempting to generate a new superfunction g(z) via an f(z+theta(z)) mapping, where theta(z) decays to zero at +imag infinity, and has singularities at the integers, where the singularity gets cancelled in g(z). But thinking about it is as far as I've gotten. There are many unsolved problems....
- Sheldon

[bo198214]

But what if we start not with the Kneser tetration, but with the regular tetration?

We want to continue regular iteration with respect to its base along a path in the upper (resp. lower) half plane. For example along the path , in my previous post.

Now there are two possibilities: Either we can not pass through the Shell-Thron boundary (see a previous discussion here) and we are done anyway, or we have a holomorphic continuation from base to base through the strict upper halfplane.

As the mapping does not encounter singularities on the path we also have a holomorphic continuation in dependence not of the base but of the developing fixpoint of regular tetration, which runs from 2 to the upper primary fixpoint of . So at the arriving fixpoint regular tetration is not real anymore, and hence different from the Kneser tetration.
(Continuing along the lower half-plane we would arrive at the lower primary fixpoint.)

So in both cases Kneser and regular tetration can not be the same/analytically continued into each other.

Open question remains whether the Kneser tetration can be continued to base yielding real values there.
Yielding a different real-analytic tetration for base based on *both* fixpoints 2 and 4. I think Sheldon mentioned somewhere something where vanishes towards imaginary infinity, which could give a new tetration.

[sheldonison]

But what if we start not with the Kneser tetration, but with the regular tetration?

We want to continue regular iteration with respect to its base along a path in the upper (resp. lower) half plane. For example along the path , in my previous post.
.... So at the arriving fixpoint regular tetration is not real anymore, and hence different from the Kneser tetration.
......I think Sheldon mentioned somewhere something where vanishes towards imaginary infinity, which could give a new tetration.

I can't comment intelligently about continuing from a real base>eta to b=sqrt(2), using a path with complex bases, or directly, through the Shell-Thron boundary. Its something I'll need to spend some time on. Perhaps continuing along that path arrives at the alternative different superfunction, that I calculated. As Henryk said, for base=sqrt(2), I used a "Kneser" mapping from the upper entire function to calculate a . See this post, where theta(z) exponentially decays as imag(z) grows larger. And this would be a different superfunction than either of the two superfunctions previously developed from the upper and lower fixed points.

fyi, I also succeeded in doing another different modified Kneser mapping to accurately calculate for , where in this case is a real valued analytic function which doesn't decay as imag(z) grows, and instead has unit singularities as imag(z) grows larger positive and negative. The results are in another post in the same thread.
- Sheldon

[mike3]

I still can not completely follow your argumentation, you write:

Already we see that these are not conjugate, thus the tetrational will not be conjugate-symmetric and hence cannot be real at real heights. This contrasts with the behavior at . If a complex analytic function is real along some part of the real axis, but not another, there must be a branchpoint (not sure what the proof is, though.).

Ok, going with the base on the upper halfplane from e to sqrt(2).
As long as we are not landed back on the real axis,
the fixpoints are not conjugate, so the tetration value will not be real.
But this is nothing new.
Now when on the real axis: the Kneser method is not applicable to two real fixpoints.
So we must take the value there as limit from above.

Correct. I just edited the post -- I'm talking about the _extension_ of the Kneser function to the complex plane, and we take the analytic continuation to the axis for . But the idea is to imagine that in the upper half it behaves like the iteration at one fixed point, and in the lower half, like that at another.

But taking the limit, we would expect that in the upper halfplane, it should behave like the regular iteration at 2, and on the lower, like that at 4. So the resulting function will not be conjugate-symmetric, thus will not be real-valued for real heights greater than -2. On the upshot, however, we can fractionally iterate the exponential (though it'll probably be complex-valued), since will be satisfied.

The kneser tetration is real on the real axis , which implies that (conjugation).

So approaching from above or below is just conjugate to each other.
So what one need to show imho is that the imaginary part will not tend to zero when approaching the real axis at .

_Or_ show that it is not conjugate-symmetric there.

I dont think it is 2 at and 4 at . As mentioned before, the limits must be conjugate for the kneser tetration.
I guess there is a problem in the assumption that the Kneser tetration behaves at like the regular iteration of the upper fixpoint in the case where the twe developing fixpoints are not conjugate.

I still agree with you that everything looks like there is a branchpoint, but I can not follow your particular arguments in the moment.

Note that in the linked-to thread I calculated a function that is apparently equivalent to the Kneser function, but with a method that could also go to a complex base. The resulting functions look like the fusion of the regular iterations at two non-conjugate fixed points. Note that since there is no proof of equivalence yet, this is not a proof, but suggestive. In any case, one could make the argument that a small deviation from the real axis at should not radically alter the asymptotic behavior (continuity), thus it should still approach the fixed points at , albeit non-conjugate ones, and hence should look like a fusion of two regular iterations. Though I still don't think that's an actual proof.

It would be really great to have explicit coefficient formulas for tetration power series, etc.