12/29/2015, 10:25 PM
(This post was last modified: 01/01/2016, 04:57 PM by sheldonison.)

I wanted to post what I've found out so far; which is not complete, and explain why only four derivatives are defined for Kneser's half iterate at the fixed point of L. First, let S(z) be the Schroeder function, is the Abel function, and be the formal half iterate which is not real valued at the real axis.

Then let be the real valued Kneser half iterate. Here's the closest I've gotten, where is a new 1-cyclic function whose coefficients can be derived from the 1-cyclic mapping used for the .

The constant term for , so that

Since , then the

, a taylor series in (z-L).

So what we have for the individual theta(z) terms is

p is the pseudo period of sexp

multiplier for S(z); also a function of (z-L)

update I think this is a complete form for the Kneser half iterate.

I left out many details including all of details about how to derive from . I haven't yet used these equation to calculate values for Kneser's half iterate in terms of the formal half iterate, and verify they match the expected values generated through other means. But the first 4 derivatives are zero at L, and the 5th derivative of has a singularity at L. That's all for now; next I would like to calculate some of the terms to test this equation out.

Then let be the real valued Kneser half iterate. Here's the closest I've gotten, where is a new 1-cyclic function whose coefficients can be derived from the 1-cyclic mapping used for the .

The constant term for , so that

Since , then the

, a taylor series in (z-L).

So what we have for the individual theta(z) terms is

p is the pseudo period of sexp

multiplier for S(z); also a function of (z-L)

update I think this is a complete form for the Kneser half iterate.

I left out many details including all of details about how to derive from . I haven't yet used these equation to calculate values for Kneser's half iterate in terms of the formal half iterate, and verify they match the expected values generated through other means. But the first 4 derivatives are zero at L, and the 5th derivative of has a singularity at L. That's all for now; next I would like to calculate some of the terms to test this equation out.

- Sheldon