• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 Are tetrations fixed points analytic? JmsNxn Long Time Fellow Posts: 291 Threads: 67 Joined: Dec 2010 12/12/2016, 10:56 PM (This post was last modified: 12/12/2016, 10:59 PM by JmsNxn.) Looking at the standard tetration for $1 < \alpha < \eta$ I was wondering about something. Taking $F(\alpha,z) = \,^z \alpha$ we first note that F is analytic in $\alpha$. As we all know, bounded in z on the right half plane. It is monotone increasing on the real positive line, which leads us to a fixed point, let's call it $\tau_\alpha$. I could show it, but I assume people also know that $F_\alpha(\alpha,x) > 0$. Algebraically we can characterize $\tau_\alpha$ by the equations $F(\alpha,\tau_\alpha) = \tau_\alpha$ $F(\alpha,F(\alpha,...k\,times ...F(\alpha,x) \to \tau_\alpha$ for all $0 \le x \le \tau_\alpha$ I'm wondering if anyone has any information about the analycity of $\tau_\alpha$ in $\alpha$. This is rather important because if $\tau_\alpha$ is analytic then by the functional identity $\tau'(\alpha) = \frac{F_\alpha(\alpha,\tau_\alpha)}{1 - F_x(\alpha,\tau_\alpha)}$ and the fact $F_\alpha(\alpha,x)>0$ it follows that $0 and that the fixed point $\tau_\alpha$ is geometrically attracting. This would instantly give a solution to pentation, and whats better, a solution to pentation with an imaginary period. Conversely, if $0 then necessarily $\tau_\alpha$ is analytic in $\alpha$ by the implicit function theorem. All in all, I haven't been able to find results on tetrations fixed points, and whether they are analytic or not. I hope they are, but I can't be sure. This is bugging me because a positive answer would greatly simplify the construction of pentation, and hopefully will shed light on how to show pentations fixed points are geometrically attracting giving a nice solution for hexation, so on and so forth. sheldonison Long Time Fellow Posts: 641 Threads: 22 Joined: Oct 2008 12/14/2016, 07:36 AM (This post was last modified: 12/14/2016, 07:38 AM by sheldonison.) (12/12/2016, 10:56 PM)JmsNxn Wrote: Algebraically we can characterize $\tau_\alpha$ by the equations Yes it is analytic. There is the well known equation for the fixed point using the LambertW function. $\alpha^{\tau_\alpha}={\tau_\alpha} \;\;\;\; {\tau_\alpha} =\frac{W(-\ln(\alpha))}{-\ln(\alpha)}$ - Sheldon JmsNxn Long Time Fellow Posts: 291 Threads: 67 Joined: Dec 2010 12/14/2016, 08:50 PM (This post was last modified: 12/14/2016, 08:54 PM by JmsNxn.) (12/14/2016, 07:36 AM)sheldonison Wrote: (12/12/2016, 10:56 PM)JmsNxn Wrote: Algebraically we can characterize $\tau_\alpha$ by the equations Yes it is analytic. There is the well known equation for the fixed point using the LambertW function. $\alpha^{\tau_\alpha}={\tau_\alpha} \;\;\;\; {\tau_\alpha} =\frac{W(-\ln(\alpha))}{-\ln(\alpha)}$ Are you talking about exps fixed points, or tetration's fixed points? You wrote exp, and I'm pretty sure that's the equation for exps fixed points. I'm interested in, $^{\tau_\alpha} \alpha = \tau_\alpha$ not $\alpha^{\tau_\alpha} = \tau_\alpha$. I'm well aware exps fixed points are analytic, I'm interested in the fact that if we keep on increasing the hyper operator index in the bounded case that the hyper operators always have an analytic fixed point function and hence geometrically attracting fixed points. « Next Oldest | Next Newest »

 Possibly Related Threads... Thread Author Replies Views Last Post tetration from alternative fixed point sheldonison 22 39,611 12/24/2019, 06:26 AM Last Post: Daniel [repost] A nowhere analytic infinite sum for tetration. tommy1729 0 1,901 03/20/2018, 12:16 AM Last Post: tommy1729 Analytic matrices and the base units Xorter 2 3,584 07/19/2017, 10:34 AM Last Post: Xorter Non-analytic Xorter 0 2,047 04/04/2017, 10:38 PM Last Post: Xorter A conjectured uniqueness criteria for analytic tetration Vladimir Reshetnikov 13 15,913 02/17/2017, 05:21 AM Last Post: JmsNxn Is bounded tetration is analytic in the base argument? JmsNxn 0 2,032 01/02/2017, 06:38 AM Last Post: JmsNxn The bounded analytic semiHyper-operators JmsNxn 2 4,849 05/27/2016, 04:03 AM Last Post: JmsNxn Removing the branch points in the base: a uniqueness condition? fivexthethird 0 2,154 03/19/2016, 10:44 AM Last Post: fivexthethird Periodic analytic iterations by Riemann mapping tommy1729 1 3,166 03/05/2016, 10:07 PM Last Post: tommy1729 Derivative of exp^[1/2] at the fixed point? sheldonison 10 14,393 01/01/2016, 03:58 PM Last Post: sheldonison

Users browsing this thread: 1 Guest(s)