Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
[UFO] Attracting Fixpoints or attracting line?
Pre-note: Sometimes I'm considering ideas, which may be a bit far out, strange or even trivial but not been resolved in a second view (well maybe they would on a third view...), but if they seem(ed) surprising and interesting enough I posted some of them here already. I think in general this is appropriate, but such sketchy things may marked as such, so the tag "UFO" for such msgs may be the most meaningful.
Feel free to just ignore "UFO"-tagged msgs ...


I looked for a list of the complex fixpoints of the tetration and whether there are some more interesting regularities. So, for instance the base b=sqrt(2): let's look at the list of the fixpoints.
First: as well known, there is only one attracting fixpoint a=2.
Then we have the repelling fixpoint r0=4.
And then the infinite list of complex fixpoints, all repelling.
Ok, if we apply the iterated log instead of the iterated exponential they become attracting and the fixpoint a0 becomes repelling.

How do we get the different fixpoints r0,r1,r2, ... r_k,... (with each r_k also the conjugate is a fixpoint) ? We use the k'th branch of the log, so
r_k = lim_{n->inf} x = (log(x) + k*2*Pi*I ) / log(b)

When I looked at the plot of that (isolated) fixpoints I asked, whether we could interpolate a line. And indeed, we can simply take any real k to get
r_k = lim_{n->inf} x = (log(x) + k*2*Pi*I ) / log(b)
So this means, we have in fact an attracting continuous curve, and the usual fixpoints are simply that where k is integer...

I've drawn a plot with a couple of bases:
b = exp(u*exp(-u)) , where if u=log(2) we have our favorite one b=sqrt(2). We get the first two fixpoints
r0 = 4 , r1 ~ 9.09... + i*21.5 etc;
and the fixpoint a = 2, which is repelling if we use logarithmizing.

The plot shows the curves for u = 0.5, u=log(2), u=0.85, u=0.95, where dots are inserted at the integer k's (marking the commonly used fixpoints).

It is interesting to approach the critical base b=e^(1/e), meaning u->1 from below, however I do not yet have a good idea of the geometry of that limiting curves.

Here are the original plot, the value of the imaginary part scaled by asinh() (which means nearly a log-scaling, but allows the zero- and negativ values to be rescaled) and two details near the real fixpoints to see the smoothness of the curves.


[Image: fixpointline_1.png]

[Image: fixpointline_2.png]

[Image: fixpointline_3.png]
Gottfried Helms, Kassel

Messages In This Thread
[UFO] Attracting Fixpoints or attracting line? - by Gottfried - 02/22/2010, 08:31 PM

Possibly Related Threads...
Thread Author Replies Views Last Post
  Merged fixpoints of 2 iterates ? Asymptotic ? [2019] tommy1729 1 935 09/10/2019, 11:28 AM
Last Post: sheldonison
  b^b^x with base 0<b<e^-e have three real fixpoints Gottfried 1 2,662 11/07/2017, 11:06 AM
Last Post: sheldonison
  Is the straight line the shortest, really? Xorter 0 1,498 05/23/2017, 04:40 PM
Last Post: Xorter
  2 fixpoints , 1 period --> method of iteration series tommy1729 0 1,889 12/21/2016, 01:27 PM
Last Post: tommy1729
  2 fixpoints related by power ? tommy1729 0 1,669 12/07/2016, 01:29 PM
Last Post: tommy1729
  2 real fixpoints again ....... tommy1729 10 10,266 02/23/2016, 10:17 PM
Last Post: tommy1729
  Fixpoints a,b with f ' (a) = f ' (b) = 1 tommy1729 0 1,821 09/15/2015, 08:29 AM
Last Post: tommy1729
  alternative fixpoints = branches ? tommy1729 0 1,909 10/11/2014, 08:50 AM
Last Post: tommy1729
  Wild conjecture about 2 fixpoints. tommy1729 0 1,969 05/03/2014, 10:56 PM
Last Post: tommy1729
  The mystery of 2 fixpoints. tommy1729 0 1,765 05/03/2014, 10:11 PM
Last Post: tommy1729

Users browsing this thread: 1 Guest(s)