Real-analytic tetration uniqueness criterion?

[tommy1729]

For tetration at the real axis, the nearest singularity is at x=-2, and there are no other singularities to the right of that anywhere in the complex plane.

Well that depends on what type of tetration we use.
Kneser seems to have this property.
But so do many theta variations of Kneser. ( the analytic theta's )

Conjecture; Kneser is the only solution with no singularities in the upper/lower halves of the complex plane, and this is a uniqueness criterion. For all the of the entire theta functions, we know there will be an infinite number of singularities in the upper half of the complex plane, where z+theta(z)=-2,-3,-4 ..... I would also conjecture that these singularities will be in the right half of the complex plane as well. But either way, Kneser has this special property, so Kneser's so at any value of z, there are negative even derivatives for large enough (2n). This doesn't prove that all of the odd derivatives are always positive, but that is also a conjectured uniqueness criterion.

Also why would the maximum value be at z0 ?

This is not in general true for polynomials UNLESS all derivatives are nonnegative.
But here we have some negatives. Well even that depends on parameters and conjectures.

Yes, I guess that's another conjecture, that for all real(z)>~=0.5, if you make a line from -imag infinity to +imag(infinity) at real(z), the maximum absolute value occurs at the real axis. This is also supported by empirical evidence, but I can't think of any obvious way to prove it. This would also mean that the maximum magnitude on any circle on the real axis occurs at the real axis, so long as its bigger than about 0.5.

This is related to the conjecture that all of the odd derivatives are positive; you might be able to prove one from the other. Assuming all of the odd derivatives are positive, it would be interesting to try to prove that any sexp(z+sin(z)/k) mapping has negative odd derivatives.

Notice your singularity uniqueness criterion is ACTUALLY equivalent to the boundedness criterion.
Both are proven by the little picard theorem.
So uniqueness of both has already been shown !
See TPID 4 to which you agreed as being proven.

Thats solves that.
Notice that I believe existance has also been proven and that this is kneser solution.
Also notice that this is WHY i believe cauchy's method ( kouznetsov ?) is trying to construct Kneser's solution rather than being a distinct solution !!

What I meant by " other solution " is intended not on the complex plane , but on the related Taylor radiuses.
In other words the desired property of the OP is not trivially garanteed
by the singularity/boundedness uniqueness criterion !

Even the domination of the log(x+2) is not proven.
What is proven - assuming kneser has the boundedness criterion - is that kneser has the domination of the log(x+2) , but without uniqueness or other stuff proven.

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

Your conjecture about the "attained max at the real line" is a partial strenghtening of the boundedness uniqueness condition.
It is very nearly true that the " attained max at the real line " implies the boundedness uniqueness but not exactly ...

However notice that if we can prove it on a strip Re(z)=R -> Re(z)=R+1 , then by induction it holds for all real Q > R.
... Im am tempted to say this might be done by investigating the Riemann mapping.

regards

tommy1729