attracting fixed point lemma
#2
(09/14/2010, 04:00 PM)sheldonison Wrote: Attracting fixed point lemma, which for base \( \eta \) would be:

\( \text{sexp}_{\eta}(z)=\text{RegularSuper}_{\eta}(z+\theta(z)) \)
where \( \theta(z) \) is a 1-cyclic function.
.....
I will eventually calculate the theta(z) mapping for eta, and for sqrt(2), and post those numerical results....

\( \text{newsexp}_{\sqrt(2)}(z)=\text{RegularSuper}_{\sqrt(2) \text{UpperL4}}(z+\theta(z)) \)

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 \( \theta(z) \) decay to zero as imag(z) goes to +I*infinity.

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


Messages In This Thread
attracting fixed point lemma - by sheldonison - 09/14/2010, 04:00 PM
new sexp(z) function for sqrt(2) - by sheldonison - 11/15/2010, 12:40 PM

Possibly Related Threads…
Thread Author Replies Views Last Post
  Down with fixed points! Daniel 1 562 04/29/2023, 11:02 PM
Last Post: tommy1729
  Iteration with two analytic fixed points bo198214 62 21,257 11/27/2022, 06:53 AM
Last Post: JmsNxn
Question The Different Fixed Points of Exponentials Catullus 22 7,187 07/24/2022, 12:22 PM
Last Post: bo198214
  Quick way to get the repelling fixed point from the attracting fixed point? JmsNxn 10 3,864 07/22/2022, 01:51 AM
Last Post: JmsNxn
  Apropos "fix"point: are the fractional iterations from there "fix" as well? Gottfried 12 4,292 07/19/2022, 03:18 AM
Last Post: JmsNxn
Question Two Attracting Fixed Points Catullus 4 1,924 07/04/2022, 01:04 PM
Last Post: tommy1729
  tetration from alternative fixed point sheldonison 22 66,529 12/24/2019, 06:26 AM
Last Post: Daniel
  Are tetrations fixed points analytic? JmsNxn 2 8,219 12/14/2016, 08:50 PM
Last Post: JmsNxn
  Derivative of exp^[1/2] at the fixed point? sheldonison 10 26,638 01/01/2016, 03:58 PM
Last Post: sheldonison
  [MSE] Fixed point and fractional iteration of a map MphLee 0 4,761 01/08/2015, 03:02 PM
Last Post: MphLee



Users browsing this thread: 1 Guest(s)