The recent posts on the Taylor series for the superfunctions of reminded me that I want to post my theory, that as imag(z) increases, the lower and upper superfunctions at eta converge towards each other, plus a constant. Here, sexp(z) is the lower superfunction, with sexp(0)=1, and cheta(z) is the upper superfunction, normalized so that cheta(0)=2e.. Where is a 1-cyclic function, which quickly decays to zero as imag(z) increases. Then, the constant "k" is 5.0552093131039000 + 1.0471975511965977*I. And then we have for any real number x,
- Sheldon

(05/23/2011, 09:01 PM)sheldonison Wrote: Where is a 1-cyclic function, which quickly decays to zero as imag(z) increases. Then, the constant "k" is 5.0552093131039000 + 1.0471975511965977*I.

Without looking at numerical values I at least want to mention, if theta is 1-cyclic and bounded (which would follow from decay towards ioo) then theta would be constant, because every bounded entire function must be constant.

(05/23/2011, 09:01 PM)sheldonison Wrote: Where is a 1-cyclic function, which quickly decays to zero as imag(z) increases. Then, the constant "k" is 5.0552093131039000 + 1.0471975511965977*I.

Without looking at numerical values I at least want to mention, if theta is 1-cyclic and bounded (which would follow from decay towards ioo) then theta would be constant, because every bounded entire function must be constant.

PS: you have some typos in the thread title.

Yeah, if the 1-cyclic function is a sum, , then all of the b_n terms must be zero, so it decays to zero as imag(z) increases. The theta(z) function is a Kneser mapping function, which is the sum of the a_n terms, with singularities for integer values of z. It is defined if imag(z)>0, or (if imag(z)=0 and z is not an integer). Then the sexp(z) function for imag(z)<0 is defined by a Schwarz reflection. And, just like sexp base e, the sexp_eta(z) winds up with singularities for integers <= -2, and the singularity cancels for integers>-2.

I was curious to see if anyone else had noticed this. Unfortunately, I don't know how to prove it. edit: In a prevoius post Henryk pointed out that if you have a sickle between the two conjugated fixed points, then that is a required condition. I'll have to try to understand that better ....

I have also numerically calculated the terms for theta(z), and verified that . At imag(z)=I, the upper harmonics have already decayed enough that the graph looks very sinusoidal. Here is the graph of theta(z) at imag(z)=1, from -1+i to 1+i, where the amplitude of the main harmonic has decayed to 0.00017. Closer to the real axis, as I have I previously posted, the graph has has progressively more and more high frequency terms, due to the singularities at integer values of z.
- Sheldon

I look forward to reading Dimitrii's paper. Apparently, it must still be pre-publication, as all I can see is, "You are not the submitter of that submission".

I originally thought I would calculate theta(z) by generating a Kneser Riemann mapping, which would require some modifications to my Kneser.gp code, that I haven't had time to try yet. So yesterday I calculated , the easier way, using the equation.. With 100 terms, I get double precision accurate results for imag(z)>=0.04, for the equation generating