Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Self tetraroot constructed via Newton series interpolation
#1
Hi.

I thought of a novel approach to aid in the "divination" of what the tetration function for real heights is: the self-tetraroot function. This function is defined so that . It is analogous to the self-root function , only with tetration instead of exponentiation. It gives the base of the tetrational with a given fixed point.

It can be evaluated at the integers using numerical root-finding methods, and when the points are plotted, it reveals a scatter that slowly, but regularly (i.e. no noticeable "bumpiness") decays to a fixed value about 1.444782 as .

This slow regular decay made me wonder if it would be a good candidate for interpolation via the Newton series. Newton series, when applied to tetrationals with bases in , yields the regular iteration.

The Newton series for a function at a point is



where is the falling factorial and is the unit forward difference operator.

Doing this for gives the following graph. Convergence is dog slow -- I needed 300 or so terms and over 100 decimals of accuracy just to get error that I'm confident is less than . This is very bad. Is there some way to accelerate the convergence of Newton series?

   

As you can see, it sort of looks like the graph of the self-root. I superimposed both graphs:

   

The maximum is at about or so (maybe if you want to push it as this approximation may be good to 5 places -- may -- it's so dog-slow, where it reaches a value of (maybe ). I presume this is the base where "pentation" goes from convergent to explosive growth, and so is to pentation what is to tetration. Flipping the self-tetroot along and taking the lower branch would then yield a graph of .

For , I get a tetra-self-root of ( rounded from whose last digit may be right or near). Plugging this into the regular iteration to try and compute suggests whatever "fractional iteration" this is creating may agree with it, but this is a dodgy bet with just 4 decimals. Yet if it does agree, then perhaps, since this function shows no "bumps" when the base crosses , maybe the regular iteration really doesn't have a natural boundary after all. But again, 4 decimals, 5 at best, geez... far too little to even bet seriously... If we could compute more, we might be able to get a better idea if it agrees with regular, and if it also agrees with the Cauchy integral (for the bases from to 1.635...), hence helping to "divine" if these are really "good" methods to use and if they are actually analytic continuations of each other (meaning that the STB is not a natural boundary of the regular iteration.).

What do you think of this function? Especially the similarity between the shape of its graph and that of the selfroot. One could almost imagine a continuous spectrum of similar functions in between them -- "fractional-rank hyperoperations", anyone? Smile
Reply
#2
(07/03/2010, 09:42 AM)mike3 Wrote: What do you think of this function? Especially the similarity between the shape of its graph and that of the selfroot. One could almost imagine a continuous spectrum of similar functions in between them -- "fractional-rank hyperoperations", anyone? Smile

That indeed looks interesting (Andrew posted this self tetra root already somewhere on the forum and I proved somewhere that the limit is indeed e^(1/e)).
However I would expect to have a functional equation for the tetra self root.
As well as to know how you derive tetration from the tetra self root.
Reply
#3
(07/09/2010, 05:32 AM)bo198214 Wrote:
(07/03/2010, 09:42 AM)mike3 Wrote: What do you think of this function? Especially the similarity between the shape of its graph and that of the selfroot. One could almost imagine a continuous spectrum of similar functions in between them -- "fractional-rank hyperoperations", anyone? Smile

That indeed looks interesting (Andrew posted this self tetra root already somewhere on the forum and I proved somewhere that the limit is indeed e^(1/e)).
However I would expect to have a functional equation for the tetra self root.
As well as to know how you derive tetration from the tetra self root.

Yes, a functional equation would be good, but I'm not sure of one. As for deriving tetration, you can't really, except that evaluating this at some fractional number will give you the value of a specific base (where ) -- i.e. the value of the function, tetrated to a certain tower, i.e. the point of evaluation, and the value of such tetration, also the point of evaluation (this means the point of evaluation is a fixed point of the tetrational of the base given by the result of evaluation). For bases , where is the limit of the function at (which you are saying is -- if that's so then it must converge to it at a hideously slow rate: do you know what the big- of is as ?), this procedure yields fractional tetration values at two points.

If the fractional tetration values this yields agree with regular iteration for , that may suggest that regular iteration does not have a natural boundary and can be analytically continued to the wider complex plane. If not, then the regular may still have such a boundary, and I'd be curious what this "superior-to-regular-iteration" solution for is that it is "pointing at" with the values for the fractional towers that are fixed points.
Reply


Possibly Related Threads...
Thread Author Replies Views Last Post
Question Taylor series of i[x] Xorter 12 10,288 02/20/2018, 09:55 PM
Last Post: Xorter
  Taylor series of cheta Xorter 13 10,972 08/28/2016, 08:52 PM
Last Post: sheldonison
  Tribonacci interpolation ? tommy1729 0 1,768 09/08/2014, 10:37 AM
Last Post: tommy1729
  [integral] How to integrate a fourier series ? tommy1729 1 2,310 05/04/2014, 03:19 PM
Last Post: tommy1729
  [Update] Comparision of 5 methods of interpolation to continuous tetration Gottfried 30 26,497 02/04/2014, 12:31 AM
Last Post: Gottfried
  Iteration series: Series of powertowers - "T- geometric series" Gottfried 10 15,673 02/04/2012, 05:02 AM
Last Post: Kouznetsov
  Iteration series: Different fixpoints and iteration series (of an example polynomial) Gottfried 0 2,675 09/04/2011, 05:59 AM
Last Post: Gottfried
  What is the convergence radius of this power series? JmsNxn 9 14,866 07/04/2011, 09:08 PM
Last Post: JmsNxn
  Non-recursive coefficient formulas. Can the Riemann mapping be constructed? mike3 0 1,900 06/04/2011, 12:17 AM
Last Post: mike3
  An alternate power series representation for ln(x) JmsNxn 7 12,926 05/09/2011, 01:02 AM
Last Post: JmsNxn



Users browsing this thread: 1 Guest(s)