• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 Iterating at fixed points of b^x bo198214 Administrator Posts: 1,386 Threads: 90 Joined: Aug 2007 09/12/2007, 09:54 AM (This post was last modified: 09/12/2007, 09:55 AM by bo198214.) jaydfox Wrote:Perhaps I'm missing the point of the tau function (other than to move the fixed point to 0 for building a power series).I think so. Quote: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. No, here the coefficients of the powerseries (or the Taylor development) is the interesting thing, not the value of the function. We have a unique (up to $2\pi i k$) regular (continuous) iteration (coefficients of the iterated power series) at a fixed point, which can be finitely computed by the coefficients at that fixed point. So if we want to compute the coefficients of a Taylor expansion of the continously iterated function at a non-fixed point we first compute the coefficients at the fixed point (which is a non-finite operation in terms of the original coefficients, because it involves limits), then regularly iterating there, getting new coefficients and transforming these coefficients back to the original point. This is the sense of the formula $\tau_a\circ (\tau_a^{-1}\circ f\circ \tau_a)^{\circ t}\circ \tau_a^{-1}$. There are also formulas to directly compute a regular iterate which seems more in your interest. This is the real number version: If you have an attracting fixed point at 0, i.e. $f(0)=0$ and $0 for $q=f'(0)$, then the regular iterate is: $f^{\circ t}(x)=\lim_{n\to\infty} f^{\circ -n}(q^t f^{\circ n}(x))$ In our case ($f=\exp$) we have repelling fixed points so $f^{-1}=\ln$ has attracting fixed points, then the formula is $f^{\circ t}(x)=\lim_{n\to\infty} f^{\circ n}(q^t f^{\circ -n}(x))$. So now our fixed point $a$ is not at 0. So we consider $g:=\tau_a^{-1}\circ f\circ \tau_a$ which has a repelling fixed point at 0. Then let $g'(0)=f'(a)=:r$ and use our above formula: $g^{\circ t}(x)=\lim_{n\to\infty} g^{\circ n}(r^t g^{\circ -n}(x))$. $(\tau_a^{-1}\circ f^{\circ t}\circ\tau_a)(x)=\lim_{n\to\infty} \tau_a^{-1}\circ f^{\circ n}\circ \tau_a(r^t (\tau_a^{-1} \circ f^{\circ -n}\circ \tau_a)(x))$ $f^{\circ t}=\lim_{n\to\infty} f^{\circ n}\circ \tau_a(r^t (\tau^{-1}_a\circ f^{\circ -n})(x))$ $f^{\circ t}(x) =\lim_{n\to\infty} f^{\circ n}(a+(r^t(-a+(f^{\circ -n}(x))))$ $f^{\circ t}(x)=\lim_{n\to\infty} f^{\circ n}(a(1-r^t) + r^t f^{\circ -n}(x)), r=f'(a)$. For an analytic function $f$ the limit formula yields again an analytic function and this function is exactly the function described by the coefficient formula, thatswhy they both are called regular iteration. The regular iteration is the only one that has no singularity at the fixed point. One also can immediatly see that the obove formula for $f=\exp$ has singularities at $\exp^{\circ k}(0)$. For example Kneser developed the regular solution at the first fixed point $a$. He also observed the singularities and of course that the solution had complex values for real arguments. Thatswhy he modified his solution with a holomorphic transformation $\alpha$: $f_2^{\circ t}=\alpha^{-1}\circ f^{\circ t}\circ \alpha$ so that it yielded real values for real arguments and no singularities at the real line. Of course his new solution was no more regular and hence had a singularity at the fixed point $a$. And so will have every real solution at every fixed point, because no regular solution at some fixed point will be real (though strictly this was not verified yet). « Next Oldest | Next Newest »

 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 bo198214 - 09/12/2007, 09:54 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 Gottfried - 10/04/2007, 06:53 AM RE: Iterating at fixed points of b^x - by bo198214 - 10/04/2007, 01:30 PM RE: Iterating at fixed points of b^x - by bo198214 - 10/04/2007, 05:54 PM RE: Iterating at fixed points of b^x - by Gottfried - 10/04/2007, 11:05 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,503 12/14/2016, 08:50 PM Last Post: JmsNxn Removing the branch points in the base: a uniqueness condition? fivexthethird 0 1,350 03/19/2016, 10:44 AM Last Post: fivexthethird Derivative of exp^[1/2] at the fixed point? sheldonison 10 8,973 01/01/2016, 03:58 PM Last Post: sheldonison [MSE] Fixed point and fractional iteration of a map MphLee 0 1,904 01/08/2015, 03:02 PM Last Post: MphLee iterating x + ln(x) starting from 2 tommy1729 2 2,432 04/29/2013, 11:35 PM Last Post: tommy1729 tetration from alternative fixed point sheldonison 21 26,254 12/06/2011, 02:43 PM Last Post: sheldonison attracting fixed point lemma sheldonison 4 8,897 06/03/2011, 05:22 PM Last Post: bo198214 cyclic points tommy1729 3 4,100 04/07/2011, 07:57 PM Last Post: JmsNxn iterating non-analytic tommy1729 0 1,653 02/08/2011, 01:25 PM Last Post: tommy1729 Branch points of superlog mike3 0 2,124 02/03/2010, 11:00 PM Last Post: mike3

Users browsing this thread: 1 Guest(s)