• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 Infinite Pentation (and x-srt-x) andydude Long Time Fellow Posts: 509 Threads: 44 Joined: Aug 2007 04/11/2009, 09:16 AM (This post was last modified: 04/11/2009, 06:28 PM by andydude.) 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. $a \uparrow\uparrow\uparrow \infty = \ \ {}^{{}^{{}^{\ddots}a}a}a$ 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 $a \uparrow\uparrow x = x$ 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 $a = \text{srt}_x(x) = x /\uparrow\uparrow x$ 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 $\text{srt}_2$ because of the Lambert W function, but we also know how to calculate all integer super-roots numerically, by solving ${}^{n}a = n$ 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 ${}^{0}a = 1$ which implies $\text{srt}_0(1)$ = indeterminate and $\text{srt}_0(z)$ = 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 $\lim_{x\to\infty}\text{srt}_x(x) = e^{1/e}$ 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 $x=3.0885325$, $a=1.6353245$. 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   x-srt-x-graph.pdf (Size: 17.81 KB / Downloads: 610)   x-srt-x-points.txt (Size: 81.73 KB / Downloads: 453) bo198214 Administrator Posts: 1,389 Threads: 90 Joined: Aug 2007 04/11/2009, 09:31 AM Not bad! andydude Wrote:$\lim_{x\to\infty}\text{srt}_x(x) = e^{1/e}$ which I seem to remember reading somewhere... Did you try to find a proof? nuninho1980 Fellow Posts: 95 Threads: 6 Joined: Apr 2009 04/11/2009, 12:44 PM (This post was last modified: 04/11/2009, 12:45 PM by nuninho1980.) thanks! I already have ssqrt's formula. do you have code "super-root" (srt_y (x))? nuninho1980 Fellow Posts: 95 Threads: 6 Joined: Apr 2009 04/11/2009, 01:24 PM (This post was last modified: 04/11/2009, 06:45 PM by nuninho1980.) 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 $a=3.0885325$, $x=1.6353245$. 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 andydude Long Time Fellow Posts: 509 Threads: 44 Joined: Aug 2007 04/11/2009, 06:30 PM nuninho1980 Wrote:sorry. a=3.08853 is incorrect... Sorry, I was tired... I fixed it in my original post. Thanks! andydude Long Time Fellow Posts: 509 Threads: 44 Joined: Aug 2007 04/11/2009, 06:42 PM 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 $a^{a^a} - 3 = 0$ $a^{a^{a^a}} - 4 = 0$ etc. Andrew Robbins andydude Long Time Fellow Posts: 509 Threads: 44 Joined: Aug 2007 04/11/2009, 06:50 PM @nuninho1980 So did you know that the point you mentioned was the maximum of $srt_x(x)$? andydude Long Time Fellow Posts: 509 Threads: 44 Joined: Aug 2007 04/11/2009, 07:54 PM 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 andydude Long Time Fellow Posts: 509 Threads: 44 Joined: Aug 2007 04/11/2009, 08:11 PM 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: $1 = 1 \uparrow\uparrow\uparrow \infty$ $2 = 1.559610469462 \uparrow\uparrow\uparrow \infty$ $3 = 1.635078474636 \uparrow\uparrow\uparrow \infty$ and so far we only know a closed form for $\frac{\ln 2}{W(\ln 2)} = 1.559610469462$ aside from these 3 points, the rest of main branch of infinite pentation is all approximations. Andrew Robbins nuninho1980 Fellow Posts: 95 Threads: 6 Joined: Apr 2009 04/11/2009, 09:58 PM (This post was last modified: 04/11/2009, 10:04 PM by nuninho1980.) andydude Wrote:@nuninho1980 So did you know that the point you mentioned was the maximum of $srt_x(x)$? yes. but I don't get value "x" of a^^x if x<1 using your code "tetration and slog". « Next Oldest | Next Newest »

 Possibly Related Threads... Thread Author Replies Views Last Post pentation and hexation sheldonison 9 9,837 09/18/2019, 02:34 PM Last Post: sheldonison [repost] A nowhere analytic infinite sum for tetration. tommy1729 0 1,430 03/20/2018, 12:16 AM Last Post: tommy1729 Tetration is pentation. This deserve more thinking. marraco 2 3,926 03/30/2015, 02:54 PM Last Post: marraco [2015] 4th Zeration from base change pentation tommy1729 5 6,522 03/29/2015, 05:47 PM Last Post: tommy1729 Mizugadro, pentation, Book Kouznetsov 41 51,358 03/02/2015, 08:13 PM Last Post: sheldonison [MO] Is there a tetration for infinite cardinalities? (Question in MO) Gottfried 10 13,241 12/28/2014, 10:22 PM Last Post: MphLee Remark on Gottfried's "problem with an infinite product" power tower variation tommy1729 4 5,639 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 7,544 07/17/2013, 09:46 AM Last Post: Gottfried Wonderful new form of infinite series; easy solve tetration JmsNxn 1 4,674 09/06/2012, 02:01 AM Last Post: JmsNxn the infinite operator, is there any research into this? JmsNxn 2 5,860 07/15/2011, 02:23 AM Last Post: JmsNxn

Users browsing this thread: 1 Guest(s)