Iterability of exp(x)-1 - 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: Iterability of exp(x)-1 ( /showthread.php?tid=13) |

Iterability of exp(x)-1 - bo198214 - 08/11/2007
Hm, this is strange. I just tried numerically the half iterate of and it looks quite convergent. However I read in the article of Erdös and Jabotinsky [1]: Quote:The function was shown by I. N. Baker [2] to have no real non-integer iterates. M. Levine [3] showed, using some results of the present paper, that this function and the functions and have no analytic iterate. Now I am confused. If someone wants to compare, I computed the half iterate of to be I verified that indeed and it converges for example for Code: `1.0,1.250000000,1.270833333,1.270833333,1.271093750,1.271017795,1.271019345,1.271034749,1.271025674,1.271025591,1.271029198,1.271027503` Where is the mistake? [1] P. Erdös and E. Jabotinksy, On analytic iteration, J. Analyse Math. 8, 1960/1961, 361-376. [2] I. N. Baker, Zusammensetzungen ganzer Funktionen, Math. Z 69, 1958, 121-163. [3] M. Levin, MSc. Thesis, Israel Institute of Technology, 1960. RE: Iterability of exp(x)-1 - Daniel - 08/11/2007
exp(x)-1 definately has non-integer iterated; see heirarchies of height 1/2 at http://tetration.org/Combinatorics/SchroederSummations/index.html which is listed in the OEIS as A052122. I don't have access to my computer, but it looks like our results for heirarchies of height 1/2 agree. I also have the general solution which checks with OEIS entries for heirarchies of height -2, -1, 1/2, 1, 2, 3 and 4. RE: Iterability of exp(x)-1 - jaydfox - 08/11/2007
Hmm, looks like you beat me to the punch. I just got done posting this over in a separate discussion thread: http://math.eretrandre.org/tetrationforum/showthread.php?tid=8&pid=40#pid40 RE: Iterability of exp(x)-1 - bo198214 - 08/11/2007
Daniel Wrote:exp(x)-1 definately has non-integer iterated; see heirarchies of height 1/2 at http://tetration.org/Combinatorics/SchroederSummations/index.html which is listed in the OEIS as A052122. I don't have access to my computer, but it looks like our results for heirarchies of height 1/2 agree. I also have the general solution which checks with OEIS entries for heirarchies of height -2, -1, 1/2, 1, 2, 3 and 4. The general formula comes from the double binomial expansion, The formula is reliable, I just computed it for the case s=1/2, to exemplify convergence. However I just looked in Baker's Paper and indeed he states (as a German native I just translate it): Quote:Proposition 17. Let ; for each real let be the by So instead just of to numerically verify, can we prove that converges for some ? RE: Iterability of exp(x)-1 - bo198214 - 08/12/2007
Inspired by JaydFox mentioning P. L. Walker (which I didnt have heard of before) I just read the abstract of his paper [1]: Quote:The author considers the Abel functional equation , where is a given entire function and is an unknown entire function to be found. The inverse function (if one exists) must satisfy (1) . The purpose of this paper is to show that for a wide class of entire functions, which includes , equation (1) has a nonconstant entire solution. So I guess some results of I. N. Baker are indeed errournous. [1] P. L. Walker, A class of functional equations which have entire solutions, Bull. Austral. Math. Soc. 38 (198, no. 3, 351-356 RE: Iterability of exp(x)-1 - jaydfox - 08/12/2007
bo198214 Wrote:Inspired by JaydFox mentioning P. L. Walker (which I didnt have heard of before) I just read the abstract of his paper [1]:I think that settles it. If has an entire solution, then the cheta function should define a unique solution for tetration. And with my exact formula for base conversion, we can solve all bases. I'll put together a consolidated post with all the necessarily formulae. Currently they are spread across separate posts (which is good, as this allows feedback on each portion of the solution). RE: Iterability of exp(x)-1 - bo198214 - 08/13/2007
Now I indeed had a look at Quote:[1] P. L. Walker, A class of functional equations which have entire solutions, Bull. Austral. Math. Soc. 38 (198, no. 3, 351-356but things become more complicated! Lets starting with his theorem: Quote:Theorem 2. Let be an entire function of the form , where for all , and either (i) or (ii) .Where (2) is . The also mentioned theorem 1 and sequence does not matter yet. What however really bothers me, that it seems not to be true: Let . This is a feasible function for theorem 2, with and . Now I looked at the (unqiue) half iterate which should be entire too, for comparison some members of its series: and tested convergence at (an entire function has an infinite radius of convergence, so it should converge for every ) and what did I find? Divergence! Quote:0, 5.0, 17.50000000, -13.75000000, 142.5000000, -834.0625000, 5757.734375, -38187.57812, 222737.7149, -830118.7301, -3591005.876, 123831803.7, -1672085945. So it seems this proof is also not reliable... Boy that shakes my trust in professional mathematics. RE: Iterability of exp(x)-1 - jaydfox - 08/13/2007
The logarithm is "entire" for reals > 0 (not quite "entire", but you know what I mean), but it's standard power series diverges outside the range (0, 2]. Analytic extension is used outside that range. So this function might only converge for x<=1. Besides, you do know what the formula equals at x=5, don't you? Well, for starters, at x=4, it's approximately 5.03481484682034616908489989276E+41. Bear in mind, this function is equal to the second iterated logarithm (base e) of my cheta function, shifted by a constant in the x direction. So it has tetrational growth. It's like trying to solve sin(x) using the power series, and then saying it appear divergent because you tried to solve the power series for x=100. So no worries. Just make sure it converges for x=3, which should equal 96.0223655650268799109865292599. RE: Iterability of exp(x)-1 - jaydfox - 08/13/2007
jaydfox Wrote:The logarithm is "entire" for reals > 0 (not quite "entire", but you know what I mean), but it's standard power series diverges outside the range (0, 2]. Analytic extension is used outside that range. So this function might only converge for x<=1.Sorry, I got mixed up. I was thinking of the iterating function itself. I was thinking of solving for the 5th iterate. You meant solving the half-iterate for x=5. Big difference. Nevertheless, I would try various x values and see what the radius of convergence really is. It might be 1. But a radius of convergence of 1 is still far more than enough allow analytic extension. To be a valid test, you'll need far more than the first 10 terms, though. (And to be a proof, you need a formula for all of them, etc., which is what I'm working on, in the general case). RE: Iterability of exp(x)-1 - jaydfox - 08/13/2007
jaydfox Wrote:jaydfox Wrote:The logarithm is "entire" for reals > 0 (not quite "entire", but you know what I mean), but it's standard power series diverges outside the range (0, 2]. Analytic extension is used outside that range. So this function might only converge for x<=1.Sorry, I got mixed up. I was thinking of the iterating function itself. I was thinking of solving for the 5th iterate. You meant solving the half-iterate for x=5. Big difference. Wait, now I'm really mixed up. You posted a different power series from the one we were looking at earlier. The previous one matched my calculations. What's this new one? Is this the series for the iterating function itself? If so, I stand by my first post about trying x=3. |