• 1 Vote(s) - 5 Average
• 1
• 2
• 3
• 4
• 5
 tetration from alternative fixed point sheldonison Long Time Fellow Posts: 684 Threads: 24 Joined: Oct 2008 05/23/2010, 12:05 AM Has anyone generated the base e tetration from an alternative fixed point? The second fixed point (as far as I can tell) for base e is 2.0622777296+i*7.5886311785 It seems like one could develop a complex plane super function from this alternative fixed point. And from the complex plane super function, one could use one of the methods (Riemann mapping or the Cauchy method) to turn this complex super function into a real valued function with f(0)=1, and with singularities at f(-2), f(-3), etc. This would be a different tetration solution, but it would be analytic. Just curious if anyone had tried this. - Shel bo198214 Administrator Posts: 1,417 Threads: 92 Joined: Aug 2007 05/23/2010, 07:54 AM (05/23/2010, 12:05 AM)sheldonison Wrote: Has anyone generated the base e tetration from an alternative fixed point? The second fixed point (as far as I can tell) for base e is 2.0622777296+i*7.5886311785 It seems like one could develop a complex plane super function from this alternative fixed point. And from the complex plane super function, one could use one of the methods (Riemann mapping or the Cauchy method) to turn this complex super function into a real valued function with f(0)=1, and with singularities at f(-2), f(-3), etc. This would be a different tetration solution, but it would be analytic. Just curious if anyone had tried this. - Shel The problem with alternative fixed points is that we dont have a sickel between them. I.e. if we connect two conjugated non-primary fixed points with a straight line, then the image under $e^z$ of this straight line overlaps itself. This is due to the imaginary part of the fixed point pair is apart more then $2\pi$ which makes the image of any connecting line between these fixed points, revolve around 0 at least once. For Kneser's solution we need a region that is bounded by a line connecting the two fixed points and the image of this line. Perhaps one (you?) could prove, that regardless how you connect a conjugated fixed point pair, that is not the primary one, the image of this line intersects itself or the connecting line; i.e. both lines never delimit a singly connected region. sheldonison Long Time Fellow Posts: 684 Threads: 24 Joined: Oct 2008 05/24/2010, 04:41 AM (This post was last modified: 05/24/2010, 04:43 AM by sheldonison.) (05/23/2010, 07:54 AM)bo198214 Wrote: The problem with alternative fixed points is that we dont have a sickel between them. I.e. if we connect two conjugated non-primary fixed points with a straight line, then the image under $e^z$ of this straight line overlaps itself. This is due to the imaginary part of the fixed point pair is apart more then $2\pi$ which makes the image of any connecting line between these fixed points, revolve around 0 at least once.Would this refer to the graph of the complex super-function, generated from the secondary fixed point, or to the graph of the real valued super-exponential, after the Kneser solution? Quote:For Kneser's solution we need a region that is bounded by a line connecting the two fixed points and the image of this line. Perhaps one (you?) could prove, that regardless how you connect a conjugated fixed point pair, that is not the primary one, the image of this line intersects itself or the connecting line; i.e. both lines never delimit a singly connected region. I'd like to graph the 3*pi*i contour line of the super-function generated from the secondary fixed point, 2.0622777296+i*7.5886311785 The super-function "grows" away from the fixed point, and the first n*pi*i contour encountered is the 3*pi*i contour. This is analogous to the primary fixed point, which eventually reaches the pi*i contour. The theory is that the contour line would have real values from -infinity to +infinity, and that the exponent of that contour line, would trace out the real values from -infinity to zero, and the next exponent would trace out the real values from zero to one etc. It is straightforward to generate the super-function from the secondary fixed point, but the inverse super-function is giving me difficulties, and I need to get the iteration equations for the inverse super-function working before I can graph the 3*pi*i contour, and then perhaps I will understand why this contour line does not allow for Knesser's construction. bo198214 Administrator Posts: 1,417 Threads: 92 Joined: Aug 2007 05/24/2010, 11:43 AM (05/24/2010, 04:41 AM)sheldonison Wrote: (05/23/2010, 07:54 AM)bo198214 Wrote: The problem with alternative fixed points is that we dont have a sickel between them. I.e. if we connect two conjugated non-primary fixed points with a straight line, then the image under $e^z$ of this straight line overlaps itself. This is due to the imaginary part of the fixed point pair is apart more then $2\pi$ which makes the image of any connecting line between these fixed points, revolve around 0 at least once.Would this refer to the graph of the complex super-function, generated from the secondary fixed point, or to the graph of the real valued super-exponential, after the Kneser solution? Oh I refer here to the Kneser solution (and probably to the Kouznetsov solution too). These are the real-valued ones. It depends on an initial region bounded by some line between two fixed points and its image. Quote:I'd like to graph the 3*pi*i contour line of the super-function generated from the secondary fixed point, 2.0622777296+i*7.5886311785 By which method? I am also not really sure what you mean by 3*pi*i contour line of the super-function ... Quote:It is straightforward to generate the super-function from the secondary fixed point, You mean here regular iteration, giving non-real values on the real line? sheldonison Long Time Fellow Posts: 684 Threads: 24 Joined: Oct 2008 05/24/2010, 03:03 PM (This post was last modified: 05/24/2010, 03:31 PM by sheldonison.) (05/24/2010, 11:43 AM)bo198214 Wrote: (05/24/2010, 04:41 AM)sheldonison Wrote: Would this refer to the graph of the complex super-function, generated from the secondary fixed point, or to the graph of the real valued super-exponential, after the Kneser solution? Oh I refer here to the Kneser solution (and probably to the Kouznetsov solution too). These are the real-valued ones. It depends on an initial region bounded by some line between two fixed points and its image. Quote:I'd like to graph the 3*pi*i contour line of the super-function generated from the secondary fixed point, 2.0622777296+i*7.5886311785 By which method? I am also not really sure what you mean by 3*pi*i contour line of the super-function ... Quote:It is straightforward to generate the super-function from the secondary fixed point, You mean here regular iteration, giving non-real values on the real line?Yes, by superfunction, I mean regular iteration, complex valued at the real axis, which is connected to the sexp by the $\theta$ mapping function. $\text{sexp}_e(z)=\text{superfunc}_e(z+\theta(z))$ The superfunction developed from the secondary fixed point has an imaginary contour line, where the imaginary value of z=3*pi*i. My hypothesis is that the real values of z on this contour line would range from +infinity to -infinity. This is analogous to the superfunction developed from the primary fixed point, which has an imaginary contour line where the imaginary value of z=pi*i, and where the real ranges from +infinity to -infinity. After the Riemann mapping this contour line is on the real axis, from -3 to -2. The exponent of this line segment is on the real axis from -2 to -1, with values from -infinity to zero. I do see that the secondary superfunction would lead to a sexp with a total of 6*pi*i windings around the singularity at -2. I'll post a picture of the 3*pi*i contour line when I get the arithmetic working, analogous to the picture I posted of the contour line from the primary fixed point, http://math.eretrandre.org/tetrationforu...e=threaded sheldonison Long Time Fellow Posts: 684 Threads: 24 Joined: Oct 2008 06/03/2010, 04:13 AM (This post was last modified: 06/03/2010, 04:23 AM by sheldonison.) (05/24/2010, 03:03 PM)sheldonison Wrote: ....I do see that the secondary superfunction would lead to a sexp with a total of 6*pi*i windings around the singularity at -2. I'll post a picture of the 3*pi*i contour line when I get the arithmetic working, analogous to the picture I posted of the contour line from the primary fixed point, http://math.eretrandre.org/tetrationforu...e=threadedI haven't gotten the contour picture yet (and that would be the contours of the complex valued superfunction before the Riemann mapping), but I wanted to point at that 6*pi*i windings (after the Riemann mapping, which I have virtually no hope of computing) around the singularity of sexp_secondary(z=-2) is consistent with the taylor series for the sexp_secondary(z) at z=-1 having a lowest power term of z^3. The first and second derivatives would both be zero at f(z=-1). So I still think it might work, and might be analytic, although perhaps not terribly interesting, since the graph would be very very wobbly, with an inflection point and a derivative of zero at integers>=-1, z=-1,0,1,2,3 ..... - Shel sheldonison Long Time Fellow Posts: 684 Threads: 24 Joined: Oct 2008 06/21/2010, 04:24 PM (This post was last modified: 06/21/2010, 05:46 PM by sheldonison.) (05/23/2010, 07:54 AM)bo198214 Wrote: (05/23/2010, 12:05 AM)sheldonison Wrote: Has anyone generated the base e tetration from an alternative fixed point? The second fixed point (as far as I can tell) for base e is 2.0622777296+i*7.5886311785 .... The problem with alternative fixed points is that we dont have a sickel between them. I.e. if we connect two conjugated non-primary fixed points with a straight line, then the image under $e^z$ of this straight line overlaps itself. This is due to the imaginary part of the fixed point pair is apart more then $2\pi$ which makes the image of any connecting line between these fixed points, revolve around 0 at least once. For Kneser's solution we need a region that is bounded by a line connecting the two fixed points and the image of this line. Perhaps one (you?) could prove, that regardless how you connect a conjugated fixed point pair, that is not the primary one, the image of this line intersects itself or the connecting line; i.e. both lines never delimit a singly connected region.Of course, Henryk is correct, although I doubt I understand it well enough to prove anything. I can make graphs of the real contour of the superfunction developed from the alternative fixed point, with singularities at 0, 1, e, e^e, e^e^e .... and with a repeating pattern, but there's a couple of major differences in the behavior of the singularity, as compared to the superfunction developed from the primary fixed point. (1) there is a gap between consecutive iterations of the contour from the secondary fixed point. For the primary fixed point, the singularity smoothly transitions from one side of the singularity to the other side. If you make a line between the singularity generated from the inverse superfunction on either side of zero+/- delta, the superfunction of that line converges nicely to zero. But this doesn't work for the secondary fixed point! (2) The inverse superfunction from the secondary fixed doesn't match the repeating real contour with singularities in it. For the inverse superfunction, I can only get the pattern for one iteration, between -inf and 0, or between 0 and 1, or between 1 and e. But I can't get more than one of them at a time. This is really the same problem as (1). I imagine the complete Riemann surface would somehow connect the different regions of the multi-valued inverse superfunction.... As a result of this, any Reimann mapping from the secondary fixed point will have discontinuities in the derivatives, at the integer values of Sexp(-1,0,1,2,3,4....). - Sheldon bo198214 Administrator Posts: 1,417 Threads: 92 Joined: Aug 2007 06/27/2010, 06:02 AM (This post was last modified: 06/27/2010, 06:04 AM by bo198214.) (06/21/2010, 04:24 PM)sheldonison Wrote: I can make graphs of the real contour of the superfunction developed from the alternative fixed point, with singularities at 0, 1, e, e^e, e^e^e .... I think we need to go into the details here. If I compute the Abel function, I dont get singularities at 1,e,e^e,... for the secondary fixed point. I use something similar to the formula: $\text{slog}(z)=\log_c(\log_\ast^{[n]}(z)-e[2])-n$ where c is the derivative at the secondary fixed point e[2] and $\log_\ast$ is the branch of the logarithm with imaginary part between $2\pi$ and $4\pi$, which implies that $\log_\ast^{[n]}(z)\to e[2]$. But with this formula repeated application of $\log_\ast$ to 1 is possible without running into 0. So no singularities at 1,e,e^e,etc. How do you do it? tommy1729 Ultimate Fellow Posts: 1,615 Threads: 364 Joined: Feb 2009 06/27/2010, 10:18 PM (06/27/2010, 06:02 AM)bo198214 Wrote: If I compute the Abel function, I dont get singularities at 1,e,e^e,... for the secondary fixed point. I use something similar to the formula: $\text{slog}(z)=\log_c(\log_\ast^{[n]}(z)-e[2])-n$ where c is the derivative at the secondary fixed point e[2] and $\log_\ast$ is the branch of the logarithm with imaginary part between $2\pi$ and $4\pi$, which implies that $\log_\ast^{[n]}(z)\to e[2]$. But with this formula repeated application of $\log_\ast$ to 1 is possible without running into 0. So no singularities at 1,e,e^e,etc. How do you do it? is that slog(z) analytic ? is the related superfunction a superfunction of exp(z) + 2pi i then ? but then it cant be related to the superfunction of exp(z) , can it ? bo198214 Administrator Posts: 1,417 Threads: 92 Joined: Aug 2007 06/28/2010, 03:08 AM (06/27/2010, 10:18 PM)tommy1729 Wrote: is that slog(z) analytic ?Yes its the regular slog at the secondary fixed point of exp. Quote:is the related superfunction a superfunction of exp(z) + 2pi i then ? No, its a superfunction of exp, even an entire one. Quote:but then it cant be related to the superfunction of exp(z) , can it ? its related via the Riemann mapping, see the Kneser thread for more details. « Next Oldest | Next Newest »

 Possibly Related Threads… Thread Author Replies Views Last Post Two Attracting Fixed Points Catullus 3 40 Yesterday, 07:21 AM Last Post: JmsNxn The Different Fixed Points of Exponentials Catullus 1 99 06/08/2022, 12:25 PM Last Post: tommy1729 Alternative manners of expressing Kneser JmsNxn 1 1,322 03/19/2021, 01:02 AM Last Post: JmsNxn Are tetrations fixed points analytic? JmsNxn 2 6,906 12/14/2016, 08:50 PM Last Post: JmsNxn Derivative of exp^[1/2] at the fixed point? sheldonison 10 22,139 01/01/2016, 03:58 PM Last Post: sheldonison [MSE] Fixed point and fractional iteration of a map MphLee 0 4,100 01/08/2015, 03:02 PM Last Post: MphLee alternative fixpoints = branches ? tommy1729 0 3,591 10/11/2014, 08:50 AM Last Post: tommy1729 attracting fixed point lemma sheldonison 4 15,982 06/03/2011, 05:22 PM Last Post: bo198214 Complex fixed points of base-e tetration/tetralogarithm -> base-e pentation Base-Acid Tetration 19 50,517 10/24/2009, 04:12 AM Last Post: andydude real slog developed at a fixed point bo198214 12 22,668 04/06/2009, 10:10 PM Last Post: bo198214

Users browsing this thread: 1 Guest(s)