Infinite Pentation (and x-srt-x)
There is another thread that seems to focus on pentation, which is Jay's discussion, but I thought I'd talk about infinite pentation, which is a pentation with infinite hyper-5-exponent (or height like hyper-4-exponents?) or the limit of iterated tetrational functions.

Since we know quite a bit about tetration, I think its time we tackle understanding this function. But since tetration is still not an exact science (more of an art), it would be nice if we could only consider one tetration (as opposed to an infinite number of them), so we can write this as the solution x to the relation

just like you can with the previous (infinite tetration). Now at this point, it is obvious that we can solve for a using the super-root, which gives

which means x-superroot-x is the inverse function of infinite pentation. Infinite pentation grows so quickly that it would probably prevent direct interpolation, so I will only consider x-superroot-x in the remainder of this post. We know the analytic properties of because of the Lambert W function, but we also know how to calculate all integer super-roots numerically, by solving for a to a given accuracy/precision. So these points are known to be exact in the sense that we can find 500 digits in a few seconds. I have attached several hundred of these points below.

If we interpolate these points, one would except the interpolation to diverge for infinite pentation, and x-superroot-x, but the interpolating polynomial of these integer points do seem to converge, however strange. It is strange that these polynomials converge, because there must be a singularity at 0 and -1 because which implies = indeterminate and = undefined for all other z. So even though a power series about x=1 would have a radius of convergence of at most 1, adding points to the interpolating function outside of the radius of convergence seems to improve the approximation.

I have attached a graph below. The dotted line indicates that it seems that

which I seem to remember reading somewhere... and the maximum is not at e (as it is with x-root-x), but at the point , . This has also been mentioned before, in nuninho1980's comment. So I tend to think that it can't be a mistake. Nothing in this method requires either regular or natural iteration, since I used only Lagrange interpolation on the known integer points. The points in the attachment are all of the form {x, a} where all of the x are positive integers. So the interpolation gathered with this method only applies for (x > 0.5) or so, since the closer x gets to zero, the singularities mess things up. It seems both regular and natural iteration would be useful in filling out the region where (-2 < x < -1) because this is where the common real bases (of tetrational functions) usually have a real fixed-point.

Andrew Robbins

Attached Files
.pdf   x-srt-x-graph.pdf (Size: 17.81 KB / Downloads: 1,001)
.txt   x-srt-x-points.txt (Size: 81.73 KB / Downloads: 823)
Not bad!

andydude Wrote:

which I seem to remember reading somewhere...

Did you try to find a proof?
thanks! Smile
I already have ssqrt's formula. do you have code "super-root" (srt_y (x))?
andydude Wrote:which I seem to remember reading somewhere... and the maximum is not at e (as it is with x-root-x), but at the point , .

sorry. a=3.08853 is incorrect because a ^^^ oo = oo but yes a=1.6353 is correct because a ^^^ oo ~= 3.08853 = x. do you forget?! lol
nuninho1980 Wrote:sorry. a=3.08853 is incorrect...

Sorry, I was tired... I fixed it in my original post. Thanks!
nuninho1980 Wrote:I already have ssqrt's formula. do you have code "super-root" (srt_y (x))?

No, but its relatively simple, apply Newton's method to the equations


Andrew Robbins

So did you know that the point you mentioned was the maximum of ?
bo198214 Wrote:Did you try to find a proof?

Not yet, but I'm sure it would involve lots of inequalities (which I'm not good at). So I will think about it, but at the moment I can't think how to prove that.

Andrew Robbins
Almost forgot to mentions this, but most of those integer points are NOT on the main branch (where x=1, a=1) of infinite pentation.

So far we only know 3 exact points on this branch:

and so far we only know a closed form for
aside from these 3 points, the rest of main branch of infinite pentation is all approximations.

Andrew Robbins
andydude Wrote:@nuninho1980

So did you know that the point you mentioned was the maximum of ?

yes. but I don't get value "x" of a^^x if x<1 using your code "tetration and slog". Sad

Possibly Related Threads…
Thread Author Replies Views Last Post
  Pentation fractal Daniel 11 813 08/03/2022, 03:04 AM
Last Post: JmsNxn
  Infinite tetration and superroot of infinitesimal Ivars 129 216,952 06/18/2022, 11:56 PM
Last Post: Catullus
  Interpolating an infinite sequence ? tommy1729 14 1,160 06/17/2022, 10:41 PM
Last Post: tommy1729
  Improved infinite composition method tommy1729 5 2,684 07/10/2021, 04:07 AM
Last Post: JmsNxn
  pentation and hexation sheldonison 9 21,868 09/18/2019, 02:34 PM
Last Post: sheldonison
  [repost] A nowhere analytic infinite sum for tetration. tommy1729 0 3,556 03/20/2018, 12:16 AM
Last Post: tommy1729
  Tetration is pentation. This deserve more thinking. marraco 2 7,276 03/30/2015, 02:54 PM
Last Post: marraco
  Mizugadro, pentation, Book Kouznetsov 41 98,400 03/02/2015, 08:13 PM
Last Post: sheldonison
  Remark on Gottfried's "problem with an infinite product" power tower variation tommy1729 4 10,402 05/06/2014, 09:47 PM
Last Post: tommy1729
  Problem with infinite product of a function: exp(x) = x * f(x)*f(f(x))*... Gottfried 5 13,640 07/17/2013, 09:46 AM
Last Post: Gottfried

Users browsing this thread: 1 Guest(s)