• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 attracting fixed point lemma sheldonison Long Time Fellow Posts: 683 Threads: 24 Joined: Oct 2008 09/14/2010, 04:00 PM (This post was last modified: 09/14/2010, 05:54 PM by sheldonison.) 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. 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 $\text{sexp}_B(z) = \text{RegularSuper}_B(z+\theta(z))$ Where this gets somewhat interesting, is that for bases <= $\eta$, sexp(z) is often developed from the attracting fixed point. For example, if B=$\eta$, then the RegularSuper is entire, developed from the repelling fixed point of L=e at -infinity. And sexp(z) is developed from the attracting fixed point of L=e at +infinity. Which leads to my earlier claim for base eta. The claim is that sexp(z) for base eta exponentially converges to the SuperFunction(z+K) for base eta as imag(z) increases towards +I*infinity. K would be the first term in theta(z). Calculating theta(z) is equivalent to calculating the Kneser/Riemann mapping. In the case for eta, $\theta(z)$ decays to zero at +I*infinity. This is also the case for sexp(z) base e, where sexp(z) is usually developed from the Kneser/Riemann mapping. 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: $\text{sexp}_{\sqrt(2)}(z)=\text{RegularSuper}_{\sqrt(2)}(z+\theta(z))$ 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 $\theta(z)$ has singularities at n*17.143*I. At z=8.572*I, $\theta(z)\approx$1.047i+real valued 1-cyclic function. This real valued 1-cyclic function would be the wobble, where the two slightly differing functions go from f(z)=4 at -infinity, to f(z)=2 at +infinity. 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. $\theta(z)$ maps this contour to sexp(z=-3) to sexp(z=-2). The next contour, z+1, has Imag(z)=0, and real(z) goes from -infity to 0. Mike's recent post http://math.eretrandre.org/tetrationforu...hp?tid=514 got me thinking that this equation might edit: or might not also hold for complex bases, which I hadn't considered earlier. Perhaps Mike's post is an example of a B=complex base, sexp(z) function, not developed from the fixed point, for which the $\theta(z)$ might hold? 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 $\theta(z)$ mapped, for $\text{RegularSuper}_{\eta}(z)$.     - Sheldon « Next Oldest | Next Newest »

 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 mappings betwen sexp(z) for sqrt(2) - by sheldonison - 11/17/2010, 03:05 AM RE: mappings betwen sexp(z) for sqrt(2) - by sheldonison - 11/17/2010, 02:24 PM RE: new sexp(z) function for sqrt(2) - by bo198214 - 06/03/2011, 05:22 PM

 Possibly Related Threads... Thread Author Replies Views Last Post tetration from alternative fixed point sheldonison 22 52,294 12/24/2019, 06:26 AM Last Post: Daniel Are tetrations fixed points analytic? JmsNxn 2 6,264 12/14/2016, 08:50 PM Last Post: JmsNxn Derivative of exp^[1/2] at the fixed point? sheldonison 10 20,165 01/01/2016, 03:58 PM Last Post: sheldonison [MSE] Fixed point and fractional iteration of a map MphLee 0 3,756 01/08/2015, 03:02 PM Last Post: MphLee [Collatz] Tommy's collatz lemma tommy1729 0 3,132 09/11/2014, 08:48 AM Last Post: tommy1729 composition lemma tommy1729 1 4,546 04/29/2012, 08:32 PM Last Post: tommy1729 lemma 1 tommy1729 2 7,218 06/30/2011, 11:47 AM Last Post: tommy1729 [UFO] Attracting Fixpoints or attracting line? Gottfried 17 36,448 04/27/2010, 11:06 PM Last Post: tommy1729 Complex fixed points of base-e tetration/tetralogarithm -> base-e pentation Base-Acid Tetration 19 47,455 10/24/2009, 04:12 AM Last Post: andydude Uniqueness of tetration. Small lemma. Kouznetsov 9 14,770 04/14/2009, 01:20 AM Last Post: Kouznetsov

Users browsing this thread: 1 Guest(s)