Are tetrations fixed points analytic?
#1
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<F_x(\alpha,\tau_\alpha) < 1 \)

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<F_x(\alpha,\tau_\alpha) < 1 \) 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.

Reply
#2
(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
Reply
#3
(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.
Reply


Possibly Related Threads…
Thread Author Replies Views Last Post
  Down with fixed points! Daniel 1 293 04/29/2023, 11:02 PM
Last Post: tommy1729
  double functional equation , continuum sum and analytic continuation tommy1729 6 967 03/05/2023, 12:36 AM
Last Post: tommy1729
  Iteration with two analytic fixed points bo198214 62 13,953 11/27/2022, 06:53 AM
Last Post: JmsNxn
  Qs on extension of continuous iterations from analytic functs to non-analytic Leo.W 18 4,565 09/18/2022, 09:37 PM
Last Post: tommy1729
Question The Different Fixed Points of Exponentials Catullus 22 4,829 07/24/2022, 12:22 PM
Last Post: bo198214
  Quick way to get the repelling fixed point from the attracting fixed point? JmsNxn 10 2,597 07/22/2022, 01:51 AM
Last Post: JmsNxn
  Constructing an analytic repelling Abel function JmsNxn 0 644 07/11/2022, 10:30 PM
Last Post: JmsNxn
  Is tetration analytic? Daniel 6 1,534 07/08/2022, 01:31 AM
Last Post: JmsNxn
Question Two Attracting Fixed Points Catullus 4 1,304 07/04/2022, 01:04 PM
Last Post: tommy1729
  A compilation of graphs for the periodic real valued tetrations JmsNxn 1 1,372 09/09/2021, 04:37 AM
Last Post: JmsNxn



Users browsing this thread: 1 Guest(s)