Posts: 1,389
Threads: 90
Joined: Aug 2007
08/11/2007, 09:33 PM
(This post was last modified: 08/11/2007, 09:45 PM by bo198214.)
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 noninteger 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, 361376.
[2] I. N. Baker, Zusammensetzungen ganzer Funktionen, Math. Z 69, 1958, 121163.
[3] M. Levin, MSc. Thesis, Israel Institute of Technology, 1960.
Posts: 69
Threads: 29
Joined: Aug 2007
08/11/2007, 09:49 PM
(This post was last modified: 08/13/2007, 10:45 PM by Daniel.)
exp(x)1 definately has noninteger iterated; see heirarchies of height 1/2 at http://tetration.org/Combinatorics/Schro...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.
Posts: 440
Threads: 31
Joined: Aug 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/tetrationforu...d=40#pid40
Posts: 1,389
Threads: 90
Joined: Aug 2007
Daniel Wrote:exp(x)1 definately has noninteger iterated; see heirarchies of height 1/2 at http://tetration.org/Combinatorics/Schro...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
uniquely determined formal series which has the form
.
Then has a positive radius of convergence if and only if is an integer number. is the th iterate of for integer , hence an entire function. is the inverse series development of for integer .
So instead just of to numerically verify, can we prove that converges for some ?
Posts: 1,389
Threads: 90
Joined: Aug 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, 351356
Posts: 440
Threads: 31
Joined: Aug 2007
08/12/2007, 04:41 PM
(This post was last modified: 08/12/2007, 04:46 PM by jaydfox.)
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]:
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, 351356 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).
Posts: 1,389
Threads: 90
Joined: Aug 2007
08/13/2007, 08:54 PM
(This post was last modified: 08/13/2007, 08:55 PM by bo198214.)
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, 351356
but 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) .
Then the sequence defined in Theorem 1 converges uniformly on every to a function which is an entire nonconstant solution of (2).
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.
Posts: 440
Threads: 31
Joined: Aug 2007
08/13/2007, 09:06 PM
(This post was last modified: 08/13/2007, 09:08 PM by jaydfox.)
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.
~ Jay Daniel Fox
Posts: 440
Threads: 31
Joined: Aug 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.
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. 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 halfiterate 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).
~ Jay Daniel Fox
Posts: 440
Threads: 31
Joined: Aug 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.
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. 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 halfiterate 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).
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.
~ Jay Daniel Fox
