Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
regular iteration of sqrt(2)^x (was: eta as branchpoint of tetrational)
#1
@ Sheldon's root 2 postings:

Hmm, this is all very interesting. I myself am interested in ; since I think this may be the natural base semi-operators work in. Therefore I have a few questions:

I understand
and

Therefore how do we generate ?
Do we create a middle super function?

Secondly, why doesn't ? Is there a reason it isn't like this? because if it was centered at 8 it would give the beautiful result:


It would also be consistent with the cheta function, where it's centered at 2 times the fix point.
Reply
#2
(06/09/2011, 06:20 PM)JmsNxn Wrote: Hmm, this is all very interesting. I myself am interested in ; since I think this may be the natural base semi-operators work in. Therefore I have a few questions:

Here is some introduction into the topic.
Reply
#3
(06/09/2011, 06:20 PM)JmsNxn Wrote: @ Sheldon's root 2 postings:

Hmm, this is all very interesting. I myself am interested in ; since I think this may be the natural base semi-operators work in. Therefore I have a few questions:
....
Therefore how do we generate ?
Do we create a middle super function?
Hey James,

The short answer, is that these functions are imaginary periodic. Usexp(z) has a period of approximately 19.236i. USexp is real valued at the real axis going from 4+delta to infinity. But at exactly half that period, the Usexp(z) function is also real valued from -infinity to infinity, gently making a transition from 4-delta to 2+delta. Lsexp(z) has a period of about 17.143i. And at exactly half that period, the Lsexp(z) function is real valued from -infinity to infinity, also gently making a transition from 4-delta to 2+delta. In going from 4-delta to 2+delta, these two functions can be lined up, so that they are nearly identical, but they differ by a tiny amount!

So, for . Hope that helps.
- Sheldon
Here are some more links (to go on wiki page?)
http://math.eretrandre.org/tetrationforu...96#pid3296
And another really good thread.
http://math.eretrandre.org/tetrationforu...534#pid534
Reply
#4
Thanks sheldon that was really helpful. Is there any code yet generating these two functions?

And my second question still stands, though;
why exactly does , is this point arbitrary? If it was shifted to 8 it wouldn't affect its status as a super function of root 2 would it? It's just a horizontal shift right?
Reply
#5
(06/09/2011, 11:04 PM)JmsNxn Wrote: Thanks sheldon that was really helpful. Is there any code yet generating these two functions?

And my second question still stands, though;
why exactly does , is this point arbitrary? If it was shifted to 8 it wouldn't affect its status as a super function of root 2 would it? It's just a horizontal shift right?

Horizontal shift -- yes and no. It is what comes out of the limit equation, that generates Usexp(0), limit as n->infinity. I'll need to dig that equation out. But even if you do a horizontal shift, it gets cancelled out since Uslog is the inverse of Usexp. I do have the lower level primitives, "superf(z)" and a "isuperf(z)" functions in kneser.gp. Type init(sqrt(2)), and those two functions are available. For bases<eta, which also have a lower superfunction, I have also implemented superf2(z), and isuperf2(z).
- Sheldon
Reply
#6
(06/09/2011, 06:20 PM)JmsNxn Wrote: Therefore how do we generate ?
Do we create a middle super function?

Beginning at x=1 we use the lower fixpoint (at 2) and the iterates are always between -infty and 2. if we begin at x=3 the iterates are always between 2 and 4. However, we can connect the two areas. If we begin at x=1 and iterate with the complex height h=0 + 2*Pi*i/log(log(2)) then we get exactly one value in the 2..4 interval. That is that we just switch the sign of the value of the schröder-function from positive to negative (one half round in the complex plane). That makes it also possible to define a "norm"-height for that values in the 2..4-interval. We set the real part of the height = 0 where x=1 was mapped to.

Gottfried
Gottfried Helms, Kassel
Reply


Possibly Related Threads...
Thread Author Replies Views Last Post
  Inspired by the sqrt tommy1729 0 1,341 02/13/2017, 01:11 AM
Last Post: tommy1729
  tetration base sqrt(e) tommy1729 2 3,156 02/14/2015, 12:36 AM
Last Post: tommy1729
  Regular iteration using matrix-Jordan-form Gottfried 7 8,103 09/29/2014, 11:39 PM
Last Post: Gottfried
  [2014] sqrt boundary tommy1729 0 1,687 06/19/2014, 08:03 PM
Last Post: tommy1729
  Crazy conjecture connecting the sqrt(e) and tetrations! rsgerard 7 11,930 03/27/2014, 11:20 PM
Last Post: tommy1729
  regular tetration base sqrt(2) : an interesting(?) constant 2.76432104 Gottfried 7 8,621 06/25/2013, 01:37 PM
Last Post: sheldonison
  Iteration series: Different fixpoints and iteration series (of an example polynomial) Gottfried 0 2,734 09/04/2011, 05:59 AM
Last Post: Gottfried
  Base 'Enigma' iterative exponential, tetrational and pentational Cherrina_Pixie 4 9,377 07/02/2011, 07:13 AM
Last Post: bo198214
  eta as branchpoint of tetrational mike3 33 29,966 06/14/2011, 03:19 PM
Last Post: sheldonison
  Fractional iteration of x^2+1 at infinity and fractional iteration of exp bo198214 10 15,877 06/09/2011, 05:56 AM
Last Post: bo198214



Users browsing this thread: 1 Guest(s)