Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Iterating at fixed points of b^x
Perhaps I'm missing the point of the tau function (other than to move the fixed point to 0 for building a power series). Granted, in order to take advantage of the ability (in the immediate vicinity off the fixed point) to continuously iterate exponentiations by using continuously iterated multiplication (vanilla exponentiation), we need some transformation that moves large numbers (e.g., 1) down into the "well".

It seems like you are using tau to move points to the vicinity of the fixed point, then using the inverse of tau to move the fixed point to 0, iterating, moving the fixed point back to its proper location, then moving the transformed point back to its new location. If I'm reading this correctly, I don't think your tau function is the right way to move points towards the fixed point. Preferably, it should be possible with a single function to drive all points towards the fixed point. For base eta, this is done by taking logarithms (above the asymptote) or exponentials (below the asymptote) to move points near e, then performing continuous parabolic iteration, then taking the inverse of the iterated operation to get back to the proper point.

My first try with base e was to use iterated logarithms. Unfortunately, logarithms introduce an undesirable fractal pattern that distorts the spacing between points, because integer tetrates of the base (0, 1, b, b^2, etc.) will be connected out at infinity.

My current hypothesis, based on computing Andrew's slog for complex numbers within the radius of convergence, is that the "proper" way to transform large numbers into infinitesimal numbers (relative to the fixed point) is to use imaginary iterations of exponentiation. This allows us to move zero towards the fixed point, bypassing the singularity of the logarithm. In other words, if +1 iteration is exponentiation, and -1 iteration is a logarithm, then we need a formula (and a name!) for i iteration. Of course, currently the only way I have of generating such a formula is by using the first derivative of a tetration solution. But deriving a formula for performing imaginary iterations from tetration and then using it to derive a tetration solution is bad circular reasoning. At best it proves internal consistency.

I'm wondering, therefore, whether it's possible to derive the imaginary equivalent of something between an exponentiation and a logarithm, not quite either but related to both by being halfway between them and out to the side, so to speak.

If we could independently derive such a formula, and if we could be sure of its uniqueness, then we could use it to derive a solution to tetration. The fixed parabolic point for base eta was easy. The fixed hyperbolic points of bases between 1 and eta were harder, but still relatively easy.

Bases between e^-e and 1 are harder still, but on the whole still easy. Bases between 0 and e^-e are harder yet, and I haven't taken the time to prove numerically what I'm already sure of conceptually.

But for bases greater than eta, where the fixed point is complex... These really are hard. After all the time and thought I've poured into trying to understand continuous exponentiation of base e, and how the fixed point fits in, looking back at all the bases between 0 and eta is like studying calculus and then looking back at algebra.

And so far I'm only even concerning myself with real bases. The next challenge, if and after we solve bases above eta, is to solve the general case for complex bases, including making a determination whether certain bases are strictly unsolvable (no continuously differentiable solution).
~ Jay Daniel Fox

Messages In This Thread
Iterating at fixed points of b^x - by bo198214 - 09/08/2007, 10:02 AM
The fixed points of e^x - by bo198214 - 09/08/2007, 10:34 AM
The fixed points of b^x - by bo198214 - 09/08/2007, 11:36 AM
RE: Iterating at fixed points of b^x - by jaydfox - 09/12/2007, 06:23 AM
RE: Iterating at fixed points of b^x - by GFR - 10/03/2007, 11:03 PM
RE: Iterating at fixed points of b^x - by GFR - 01/31/2008, 03:07 PM

Possibly Related Threads...
Thread Author Replies Views Last Post
  Are tetrations fixed points analytic? JmsNxn 2 2,512 12/14/2016, 08:50 PM
Last Post: JmsNxn
  Removing the branch points in the base: a uniqueness condition? fivexthethird 0 1,360 03/19/2016, 10:44 AM
Last Post: fivexthethird
  Derivative of exp^[1/2] at the fixed point? sheldonison 10 9,002 01/01/2016, 03:58 PM
Last Post: sheldonison
  [MSE] Fixed point and fractional iteration of a map MphLee 0 1,909 01/08/2015, 03:02 PM
Last Post: MphLee
  iterating x + ln(x) starting from 2 tommy1729 2 2,435 04/29/2013, 11:35 PM
Last Post: tommy1729
  tetration from alternative fixed point sheldonison 21 26,290 12/06/2011, 02:43 PM
Last Post: sheldonison
  attracting fixed point lemma sheldonison 4 8,914 06/03/2011, 05:22 PM
Last Post: bo198214
  cyclic points tommy1729 3 4,112 04/07/2011, 07:57 PM
Last Post: JmsNxn
  iterating non-analytic tommy1729 0 1,658 02/08/2011, 01:25 PM
Last Post: tommy1729
  Branch points of superlog mike3 0 2,127 02/03/2010, 11:00 PM
Last Post: mike3

Users browsing this thread: 2 Guest(s)