Tetration extension for bases between 1 and eta  Printable Version + Tetration Forum (https://math.eretrandre.org/tetrationforum) + Forum: Tetration and Related Topics (https://math.eretrandre.org/tetrationforum/forumdisplay.php?fid=1) + Forum: Mathematical and General Discussion (https://math.eretrandre.org/tetrationforum/forumdisplay.php?fid=3) + Thread: Tetration extension for bases between 1 and eta (/showthread.php?tid=379) Pages:
1
2

Tetration extension for bases between 1 and eta  dantheman163  11/05/2009 I believe I have found an analytic extension of tetration for bases 1 < b <= e^(1/e). This is based on the assumption (1) The function y=b^^x is a smooth, monotonic concave down function Conjecture: If assumption (1) is true then for Some properties: This formula converges rapidly for values of b that are closer one. For base eta it converges to b^^x for all x but this is not true for the other bases. Interestingly for b= sqrt(2) and x=1 it seems to be converging to the super square root of 2 I will try to post a proof in the next couple of days I just need some time to type it up. Thanks RE: Tetration extension for bases between 1 and eta  bo198214  11/05/2009 Hey Dan, thank you for this contribution. The formula you mention is the inversion of Lévy's formula (which is generally applicable to functions with f'(p)=1 for a fixed point p of f). See e.g. the tetration methods draft, formula 2.26 (where formula 2.27 is called Lévy's formula). The formula is known to give the regular tetration for . However it is new to apply it to . So I am really curious about your proof. PS: for writing formulas in this forum please have a look at this post. RE: Tetration extension for bases between 1 and eta  dantheman163  11/05/2009 I'm not sure how rigorous this is but here it is Proof: Assumption (1)The function is a smooth, monotonic concave down function Based on (1) we can establish (2)Any line can only pass through f(x) a maximum of 2 times (3)The intermediate value theorem holds for the entire domain of f(x) Take the region R bounded on the x axis by x=1 and x=0 and bounded on the y axis by y=f(1) and y=f(0) ( y=0 and y=1). Because of (3) every value, x, has a corresponding value, f(x), on the interval. If we take a point (x,y) in R and assume that it is on the curve f(x) we can then use the relation and obtain the new point which equals . Applying this repeatedly we obtain the point . We can now establish (4)The point (x,y) in the region R is on the curve f(x) if is not on the secant line that touches the curve at 2 other known points of f(x) for any value of k. Now we will find the equation of the secant line that touches f(x) at 2 consecutive known points. Using the point slope formula we find the equation to be . We must also note that if a point (x,y) is above the curve in the region R then is above the curve for any value of k. we shall now extend (4) to say (5)The point (x,y) in the region R is on or above the curve f(x) if for any value of k Finally if we take the limit as k approaches infinity we will find that the slope of the secant line approaches zero and therefore follows f(x) exactly because f(x) has an asymptote as x goes towards infinity. Therefore for infinity large values of k Now solving for y and taking the limit as k approaches infinity we obtain the desired result: for q.e.d RE: Tetration extension for bases between 1 and eta  bo198214  11/07/2009 Let me rephrase in my words: We consider the linear functions on (k1,k) determined by and , they are given by: . As f is concave for , and as is strictly increasing we have also . On the other hand we know that for , hence and for . We have now for . But I think that does not directly show the convergence . Any ideas? RE: Tetration extension for bases between 1 and eta  bo198214  11/07/2009 (11/07/2009, 09:31 AM)bo198214 Wrote: We have now for . But I think that does not directly show the convergence . Actually I think one can show that is strictly increasing with because is concave and hence and thatswhy also it is bounded and hence must have a limit. But now there is still the question why the limit indeed satisfies ? RE: Tetration extension for bases between 1 and eta  bo198214  11/07/2009 (11/07/2009, 05:11 PM)bo198214 Wrote: But now there is still the question why the limit indeed satisfies Actually it is not the case but we can obtain something very similar. I just read in [1], p. 31, th. 10, that we have the following limit for a function with : for . If we invert the formula we get In our case though we dont have f(0)=0 but there is some fixed point of , . In this case however the formula is quite similar, the only change is that . [1] Ecalle: Theorie des invariants holomorphes RE: Tetration extension for bases between 1 and eta  dantheman163  11/07/2009 If we set which is to say then reduce it to Then just strait up plug in infinity for k we get which is the same as This is really weird because if i do for i get about 1.558 which is substantially larger then Can anyone else confirm that for ? RE: Tetration extension for bases between 1 and eta  bo198214  11/08/2009 (11/07/2009, 11:30 PM)dantheman163 Wrote: If we set which is to say Slowly, slowly. The first line is what you want to show. You show from the first line something true, but you can also show something true starting from something wrong; so thats not sufficient. Also it seems as if you confuse limit equality with sequence equality. Lets have a look at the inverse function , it should satisfy . Then lets compute Take for example then the right side converges to the derivative of at the fixed point; and not to 1 as it should be. This is the reason why the formula is only valid for functions that have derivative 1 at the fixed point, e.g. , i.e. . Quote:This is really weird because if i do for Try the same with and it will work; but for no other base; except you use the modified formula I described before. RE: Tetration extension for bases between 1 and eta  mike3  11/12/2009 Oops... you may have noticed this just got a "1 star" rating. I just happened to accidentally click the mouse on the "rate" thing, sorry RE: Tetration extension for bases between 1 and eta  dantheman163  12/15/2009 Upon closer study i think i have found a formula that actually works. Also i have noticed that this can be more generalized to say, if then numerical evidence shows this to be true. some plots [attachment=666] half iterite of [attachment=667] The graph falls apart at x=4 because diverges as k goes to infinity. thanks. Edit: sorry for the huge pictures 