03/10/2016, 03:06 AM
(This post was last modified: 03/10/2016, 03:23 AM by sheldonison.)

(03/10/2016, 02:14 AM)Daniel Wrote: ....

In what manner is Kneser's solution preferred? Please explain the mathematics behind it or provide links. My understanding is that use of Schroeder's equation and Abel's equation are exclusive. Abel's equation is for limit point where and Schroeder's equation is for

Daniel,

Henryk has a couple of posts here. First, I confess that when I wrote my first kneser.gp pari-gp program nearly six years ago, I was merely guessing at Kneser's solution, but did not understand Kneser's Riemann mapping. Later I showed that my theta mappings are equivalent to Kneser's Riemann mapping, assuming convergence.

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

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

Hopefully, I don't make any typos! Now, start with the two fixed points, L,L*=0.31813 +/- 1.3372i; each fixed point leads to a Schroeder equation, and its inverse. You are familiar with the Schroeder equation, lets call the Schroeder solution . Call the Abel equation , and its inverse,

This is the complex valued superfunction, which you are familiar with

Now, we define two 1-cyclic mappings. One theta(z) mapping is defined in the upper half of the complex plane; and the other in the lower half of the complex plane.

we require sexp(z) be real valued at the real axis

Now, it turns out one can write an equation for exactly in terms of Kneser's Riemann mapping. has a really nasty singularity at the real axis for integer values of z, but is analytic with no other singularities in the upper half of the complex plane, and decays to a constant as imag(z) goes to infinity.

Hopefully, that's a start for you.

- Sheldon Levenstein

- Sheldon