![]() |
attracting fixed point lemma - Printable Version +- Tetration Forum (https://math.eretrandre.org/tetrationforum) +-- Forum: Tetration and Related Topics (https://math.eretrandre.org/tetrationforum/forumdisplay.php?fid=1) +--- Forum: Mathematical and General Discussion (https://math.eretrandre.org/tetrationforum/forumdisplay.php?fid=3) +--- Thread: attracting fixed point lemma (/showthread.php?tid=515) |
attracting fixed point lemma - sheldonison - 09/14/2010 Attracting fixed point lemma, which for base where The more generalized lemma (obviously unproven) would be that for a given base B, RegularSuper_B(z), which is the entire regular super function, and which is developed from the primary repelling fixed point, and also given an analytic sexp_B(z), with singularities only at negative integers<=-2, sexp(-1)=0 and sexp(0)=1, sexp(z+1)=B^sexp(z), then Where this gets somewhat interesting, is that for bases <= In the case for eta, A similar claim could be made for B=sqrt(2), where the two fixed points are L1=2, and L2=4. The regular super function is developed from the upper fixed point of L2=4. The claim would be that: In this case, for sqrt(2), the period of the regular super function is 19.236, but the period of the sexp(z) is -17.143, so I have started to calculated theta(z) for base sqrt(2), as well as for base eta. I wish I could generate Mike's beautiful .png graphics files! The leftmost contour shows the contour for eta, where the Imag(RegularSuper(z))=Pi*e*i, and real(RegularSuper(z)) goes from -infinity to +finity. I will eventually calculate the theta(z) mapping for eta, and for sqrt(2), and post those numerical results. Again, here's the graph for the contour that needs to be - Sheldon new sexp(z) function for sqrt(2) - sheldonison - 11/15/2010 (09/14/2010, 04:00 PM)sheldonison Wrote: Attracting fixed point lemma, which for base Well, I have results for sqrt(2), and, its a different sexp(z) base sqrt(2) function than any of the four functions described in Henryk and Dimitrii's paper! The new sexp(z) function was calculated as a 1-cyclic mapping of the regular superfunction developed from the repelling upper fixed point of 4, where all of the terms of the At the real axis, the new sexp(z) behaves almost exactly like the sexp(z) developed from the attracting fixed point of 2. sexp(-1)=0, sexp(0)=1, sexp(1)=sqrt(2). There are singularities at z=-2,-3,-4.... integers to minus infinity, and it is real valued at the real axis for z>2. However, the function is pseudo periodic, with a pseudo periodicity of 19.236*I, matching the periodicity of the entire superfunction developed from the repelling fixed point! Unlike the function described by Henryk and Dimitrii, all of the singularities are at the real axis. Also, because the new sexp(z) is pseudo periodic, as oppossed to periodic, there is only one horizontal line at imag(z)=0, for which imag(sexp(z))=0. I believe that perhaps what I am describing is possibly the Perterbed Fatou solution, described in Henryk's post. The first graph shows this new sexp(z) at the real axis, with its limiting behavior of 2 as x goes to infinity. And the next graph shows the very very tiny difference between the new sexp(z) function and the sexp(z) developed from the attracting fixed point of L=2, graphed at the real axis. The two functions are identical, to nearly 48 decimal digits of accuracy! At x=0.25, newsexp(x)-sexpL2(x)=1.4*10^-48. The next two graphs show the behavior of the new sexp(z) function at imag(z)=8.571*I, which is half the periodicity of the attracting fixed point. Real(z) varies from -10 to +4. Here the new sexp(z) is nearly real valued. The second graph shows the imag(z) not being real valued (green contour), while the smaller red value shows the real difference between the new sexp(z), and the sexp(z) developed from the attracting fixed point of 2. For comparison, the 2x larger red value shows the real difference wobble described by Khouznetsov and Trappman's paper. At larger values of imag(z), the new sexp(z) quickly decays towards the regular entire superfunction. Here, imag(z)=18.19*i, imag(sexp(z)), is around 3*10^-51, and the function shows superexponential growth. The results were calculated with an updated version of my kneser.gp code, where I fixed the initialization code, so it works for bases<eta; the older kneser.gp version hangs for bases<eta. The mapping was computed accurate to approximately 64 decimal digits. I also tried to generate the mapping from sexp (repelling,L=4) to sexp(attracting,L=2), but the algorithm I'm using in kneser.gp only converges if the theta(z) value decays to zero as imag(z) goes to +i*infinity. However, the mapping from L=4 to L=2 is very close to the mapping I generated. - Sheldon mappings betwen sexp(z) for sqrt(2) - sheldonison - 11/17/2010 (11/15/2010, 12:40 PM)sheldonison Wrote: ... I also tried to generate the mapping from sexp (repelling,L=4) to sexp(attracting,L=2), but the algorithm I'm using in kneser.gp only converges if the theta(z) value decays to zero as imag(z) goes to +i*infinity. However, the mapping from L=4 to L=2 is very close to the mapping I generated.Turns out it was just a simple typo, and in fact, it seems to converge very nicely. So, now I have calculated the 1-cyclic mapping for Code: a0=5.284046911275929509562319765392910323367906148717443275834622148 This 1-cyclic theta(z) mapping is for the two nearly identical real valued functions, going from 4 at -infinity to 2 at +infinity. Here is a quick review, The usexp(z) function (upper superfunction developed from the repelling fixed point, L=4) is entire, with The sexp(z) function developed from the attracting lower fixed point, L=2, has a At period4/2, usexp(z+period4/2), the upper superfunction, is real valued. At period2/2, sexp(z+period2/2) is also real valued. The two functions are nearly the same, except for a small wobble, discussed in this thread. What I calculated was the 1-cyclic This result actually came from another calculation, This Here are the corresponding first 10 terms. Notice that these terms decay very slowly, due to the singularities at the real axis. I verified that the kneser mapping matches the sexp(z) developed from the attracting fixed point of L=2, to an accuracy of ~66 decimal digits. The other interesting thing, is that the kneser.gp mapping figured out the period2 of the sexp(z) function on its own, as a by product of calculating the kneser mapping. If you look at the b0 term below, Later, I will post graphs of how the theta(z) function grows towards the real contours of usexp(z), although I don't have much time right now since I'm going on vacation this weekend. I haven't gotten any feedback on this thread, so I hope someone else finds this interesting. - Sheldon Code: b0=5.284046911275929509562319765392910323367906148717443275834622148 + 1.046500431344003802826235228141751177981429272641231666962572171*I RE: mappings betwen sexp(z) for sqrt(2) - sheldonison - 11/17/2010 Here is a contour plot for the The first red contour represents the contour where This becomes sexp(z) between z=-3 and z=-2. The next green contour represents The second red contour represents The second green contour represents - Sheldon RE: new sexp(z) function for sqrt(2) - bo198214 - 06/03/2011 (11/15/2010, 12:40 PM)sheldonison Wrote: Well, I have results for sqrt(2), and, its a different sexp(z) base sqrt(2) function than any of the four functions described in Henryk and Dimitrii's paper! The new sexp(z) function was calculated as a 1-cyclic mapping of the regular superfunction developed from the repelling upper fixed point of 4, where all of the terms of the This is really amazing. I guess I have again to become familiar with your way of computing what you call "Kneser mapping". |