• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 [exercise] fractional iteration of f(z)= 2*sinh (log(z)) ? Gottfried Ultimate Fellow Posts: 852 Threads: 126 Joined: Aug 2007 03/12/2021, 12:53 PM (This post was last modified: 03/12/2021, 12:55 PM by Gottfried.) Hi,       in a thread in math.stackexchange.com (limit of a recursive function) I came over the question of what could be a closed form for    $ z_{k+1} = z_k - \frac 1{z_k}\\ z_0 = z \in \mathbb{R}\\ t = f(z_0) = \lim_{n \rightarrow \infty} z_n\\$  I fiddled a bit with it and its reverse operation, finding interesting properties, for instance the existence of periodic points of any order, after another contributor showed that the only 1-periodic point (=fixpoint) would be infinity. (see https://math.stackexchange.com/a/4056192/1714)    To extend my knowledge about this sequence/function beyond that MSE-discussion I pondered the possibility of fractional iteration (or as one might say: indefinite summation) but couldn't find a promising ansatz to establish such a routine. However, further thinking showed, that the recursive expression could as well be as iteration of the function g(z)= 2*sinh (log(z)) , and since we had discussions here about iteration of 2*sinh(z) there might as well be an idea for the fractional iteration of the form g(z).         Someone out here with an idea? (Feel free to contribute to the thread in MSE) Gottfried Gottfried Helms, Kassel JmsNxn Ultimate Fellow Posts: 918 Threads: 111 Joined: Dec 2010 03/12/2021, 06:19 PM (This post was last modified: 03/12/2021, 06:23 PM by JmsNxn.) (03/12/2021, 12:53 PM)Gottfried Wrote: Hi,       in a thread in math.stackexchange.com (limit of a recursive function) I came over the question of what could be a closed form for    $ z_{k+1} = z_k - \frac 1{z_k}\\ z_0 = z \in \mathbb{R}\\ t = f(z_0) = \lim_{n \rightarrow \infty} z_n\\$  I fiddled a bit with it and its reverse operation, finding interesting properties, for instance the existence of periodic points of any order, after another contributor showed that the only 1-periodic point (=fixpoint) would be infinity. (see https://math.stackexchange.com/a/4056192/1714)    To extend my knowledge about this sequence/function beyond that MSE-discussion I pondered the possibility of fractional iteration (or as one might say: indefinite summation) but couldn't find a promising ansatz to establish such a routine. However, further thinking showed, that the recursive expression could as well be as iteration of the function g(z)= 2*sinh (log(z)) , and since we had discussions here about iteration of 2*sinh(z) there might as well be an idea for the fractional iteration of the form g(z).         Someone out here with an idea? (Feel free to contribute to the thread in MSE) Gottfried Convert the fixed point at infinity to a fixed point at zero via the conjugation $z \mapsto 1/z$ So that we have a new sequence, $ w_{k+1} = \frac{1}{\frac{1}{w_k} - w_k}\\$ Call, $ \phi(\xi) = \frac{1}{\frac{1}{\xi} - \xi}\\ \phi'(\xi) = \frac{1}{(\frac{1}{\xi} - \xi)^2} (\frac{1}{\xi^2} - 1)\\ \phi'(0) = \lim_{\xi \to 0} \frac{1}{\xi^2} \frac{1}{\frac{1}{\xi^2} - 1} = 1\\$ So we have a neutral fixed point at zero. At this point, the very stable route would be to produce an Abel function using Ecalle's method, which will converge not in a neighborhood of zero but on a petal by zero. This will give a fractional iteration, and furthermore; one which is unique. Then conjugate back to get the original sequence. Although I haven't published anything on this, there are situations where you can use a different method. It's difficult when the fixed point is neutral, but seems to work in the cases I've tried (for instance for $\sin(\xi)$ on the real line in a neighborhood of $0$ (real neighborhood)). That would be to use Ramanujan's master theorem. We write this as, $ \Gamma(1-z) \phi^{\circ z}(\xi) = \sum_{n=0}^\infty \phi^{\circ n+1}(\xi) \frac{(-1)^n}{n!(n+1-z)} + \int_1^\infty (\sum_{n=0}^\infty \phi^{\circ n+1}(\xi) \frac{(-x)^n}{n!})x^{-z}\,dx\\$ This form has the added benefit of being the exact mechanism I use to solve the indefinite sum. Now I'd tread carefully here because the fixed point is neutral--I'm only able to do this absolutely rigorously when $0 < \phi'(0) < 1$; and in some cases have managed to use a sequence of $\phi$ functions with geometric fixed points, to converge towards a neutral solution (as I managed to do with $\sin$ which largely convinced me of the result). Quite frankly I would be much more confident in this expression if we took a $0 and instead talked about the iteration, $ w_{k+1} = \frac{q}{\frac{1}{w_k} - w_k}\\$ Whereby we can fractionally iterate this using the above method--but taking the limit $q \to 1$ proves to be tricky, especially when we talk about where $\xi$ lives (luckily for the $\sin$ function we know the real-line will be invariant under this process so just stick to the real line). In the general case it's necessary we discuss the deformation of the basins of attraction as we take $q \to 1$; and even more troubling, we can't simply restrict ourselves to a neighborhood of the fixed point, because necessarily it will diverge for some points in that neighborhood (the nature of neutral fixed points, they're not attractive in a neighborhood). This method is also the basis for constructing bounded tetration for $1 \le \alpha \le \eta = e^{1/e}$; where at $\eta$ we do much the same thing, iterate at a neutral fixed point using Ramanujan's Master Theorem by approximating uniformly using geometric fixed points $\alpha \to \eta$. Though again, this is a special case because the exponential map is just so pretty (as is the $\sin$ function). All in all, I would say the safest bet is to use Ecalle's method of constructing an Abel function on a petal by the fixed point--but the Ramanujan method does work in certain instances; just be careful when discussing domains. JmsNxn Ultimate Fellow Posts: 918 Threads: 111 Joined: Dec 2010 03/13/2021, 11:27 PM (This post was last modified: 03/13/2021, 11:45 PM by JmsNxn.) Ha, interestingly enough, Milnor has a problem in his book on complex dynamics about this very problem; in the section dedicated to parabolic fixed points and Abel functions. Although he doesn't provide a proof, he asks that one prove that, $ f(z)= z - 1/z\\$ has a neutral fixed point at $\infty$ and to prove the Julia set is the Real-line including infinity, and the parabolic basins are the upper half plane and the lower half plane. This would imply we can define two Abel functions $\alpha_+, \alpha_-$ holomorphic on $\Im(z) > 0$ and $\Im(z) < 0$ (respectively), in which, $ \alpha(f(z)) = \alpha(z) +1\\$ As, $\alpha(z) \sim z$ as $z \to \infty$ in either half-plane we know that an inverse exists in a neighborhood of infinity, call it $\alpha^{-1}$, and we can define, $ f^{\circ s}(z) = \alpha^{-1}(\alpha(z) + s)\\$ which is holomorphic for $\Re(z) > R, \Im(z)>\delta$ (choosing $\alpha_+$ appropriately) and $\Re(s) > R$ at least. We can expect that this is asymptotic to $s$ as $s \to \infty$ and therefore, $ \Gamma(1-s)f^{\circ s}(z) = \sum_{n=0}^\infty f^{\circ n+1}(z) \frac{(-1)^n}{n!(n+1-s)} + \int_1^\infty (\sum_{n=0}^\infty f^{\circ n+1}(z) \frac{(-x)^n}{n!})x^{-s}\,dx\\$ Converges for $\Re(z) > R, \Im(z) >\delta$ and $\Re(s) > R$. Which would imply the Ramanujan method does work in this case (though I'm not sure how to specify $R$ or $\delta$, but it shouldn't be hard). Edit: We could also modify the domains (which I guess is practical) to $|z| > R$ and $\Im(z) > \delta$ and make $\Re(s) > R'$ (I simply chose to amalgamate $R$ and $R'$ into their maximum). That would work too, and is a tad more general. Recalling we are thinking of the point at infinity in the Riemann Sphere sense. I'm curious to wonder if we could pull this back to its maximal domain--I'm not sure what it would be. I'm guessing it may be something of the form $\Im(z) > 0$ and $s \in \mathcal{S}$ where $\mathcal{S}$ is either a half-plane (where the Ramanujan theorem would hold) or $\mathbb{C}$ minus various branch-cuts including a halfplane (though Ramanujan's form will not converge for all of $\mathcal{S}$, it necessarily can only converge in a half-plane by the nature of the Mellin Transform). tommy1729 Ultimate Fellow Posts: 1,668 Threads: 368 Joined: Feb 2009 03/14/2021, 05:00 PM When I came up with the 2sinh method I thought about similar things. But I believe all iterations of type f(v,z)= 2*sinh^[v] (log^[v](z)) for nonzero v are problematic. For all positive integer v this seems to be the case anyway. And noninteger seems even worse at first. Also for v = 1 this is the only rational iteration. These are still very different from ln^[v](2sinh^[t](exp^[v](z))) or log^[v+a+b](2sinh^[v+c](z)) so not like the 2sinh method or similar by far. With " problematic " I mean things like divergeance , not analytic and similar problems. however iterations of g(v,z)= 2*sinh^[v] (h^[v](z)) or the function g(v,z) itself may be interesting. For instance if h is the logarithm base eta and z is large. That might related to the base change method. Im not saying that all works fine and easy.  Just a little comment regards tommy1729 tommy1729 Ultimate Fellow Posts: 1,668 Threads: 368 Joined: Feb 2009 03/14/2021, 05:32 PM (03/14/2021, 05:00 PM)tommy1729 Wrote: When I came up with the 2sinh method I thought about similar things. But I believe all iterations of type f(v,z)= 2*sinh^[v] (log^[v](z)) for nonzero v are problematic. For all positive integer v this seems to be the case anyway. And noninteger seems even worse at first. Also for v = 1 this is the only rational iteration. These are still very different from ln^[v](2sinh^[t](exp^[v](z))) or log^[v+a+b](2sinh^[v+c](z)) so not like the 2sinh method or similar by far. With " problematic " I mean things like divergeance , not analytic and similar problems. however iterations of g(v,z)= 2*sinh^[v] (h^[v](z)) or the function g(v,z) itself may be interesting. For instance if h is the logarithm base eta and z is large. That might related to the base change method. Im not saying that all works fine and easy.  Just a little comment regards tommy1729 We could for instance achieve a " hyperbolic base change constant ". If that almost equals the "normal base change constant " then this might be used to show that there is a "problem" ?! Where problem could be many things like " ill defined " , " just an approximation " or not analytic. I have not investigated hyperbolic base change constants. Just one of the possible directions ... regards tommy1729 « Next Oldest | Next Newest »

 Possibly Related Threads… Thread Author Replies Views Last Post On extension to "other" iteration roots Leo.W 19 2,242 Today, 07:34 AM Last Post: bo198214 Fibonacci as iteration of fractional linear function bo198214 42 488 08/12/2022, 11:57 PM Last Post: bo198214 The iterational paradise of fractional linear functions bo198214 7 136 08/07/2022, 04:41 PM Last Post: bo198214 Describing the beta method using fractional linear transformations JmsNxn 5 101 08/07/2022, 12:15 PM Last Post: JmsNxn Apropos "fix"point: are the fractional iterations from there "fix" as well? Gottfried 12 550 07/19/2022, 03:18 AM Last Post: JmsNxn using sinh(x) ? tommy1729 101 234,092 07/16/2022, 08:25 AM Last Post: tommy1729 Iteration - congress in rom 9'2008 Gottfried 1 3,679 07/10/2022, 02:35 AM Last Post: Catullus Fractional iteration of x^2+1 at infinity and fractional iteration of exp bo198214 17 29,093 06/11/2022, 12:24 PM Last Post: tommy1729 Categories of Tetration and Iteration andydude 13 29,658 04/28/2022, 09:14 AM Last Post: MphLee [Exercise] A deal of Uniqueness-critrion:Gamma-functionas iteration Gottfried 6 7,118 03/19/2021, 01:25 PM Last Post: tommy1729

Users browsing this thread: 1 Guest(s)