Parabolic Iteration, again

04/30/2008, 10:03 AM
(This post was last modified: 05/01/2008 03:55 AM by andydude.)
Post: #1




Parabolic Iteration, again
In a recent post I gave a forumla for the second diagonal of iterateddxp (e^x1) and this line of research has led to some interesting discoveries. I have since generalized the approach to "interpolating" the diagonals of these series, and I found generating functions for the first three diagonals of parabolic iteration. I would like to present my findings and see if there is anything like this already out there...
It all started with noticing that the first diagonal is: where the function being iterated is of the form . This naturally lead to investigating the second diagonal, which I found is not too different than that of iterateddxp: but it involves a little more than just harmonic numbers. So I began looking at the third diagonal, and found some patterns, but I was only able to interpolate the coefficients up to a point, then I was stuck with a sequence of rational numbers I had no idea what to do with, then I eventually found A130894/A130895 which solved the problem I was having. Before I went to OEIS, I had found the coefficients of the third diagonal to be: where A and D are constants (described later), and was the rational sequence [0, 1, 3/2, 71/36, 29/12, 638/225, 349/108, ...], which according to OEIS is equivalent to where H is Conway and Guy's harmonic numbers (not the usual generalized harmonic numbers). Once I had the generating functions from OEIS, then I could being playing the game of generatingfunctionology. So I took this huge expression (D is "large" when written out) for the third diagonal, and played with derivatives and integrals until it was a recognizable function that generated the right coefficients. Maybe I'll post a more indepth discussion of the techniques I used later on, but for now, I just want to show the results. Going back to the first diagonal: and according to OEIS the generating function of the 2nd degree harmonic numbers is , which means the second diagonal is: where and using the new generating functions for , we find the generating function for the third diagonal is: and finally, written out in full: where . The most fascinating part, though, is that t only appears in z. Andrew Robbins 

04/30/2008, 10:19 AM
Post: #2




RE: Parabolic Iteration, again
Hi Andrew,
For basic readers like me, what exactly is in ? and is ? Thank You in advance, Ivars 

04/30/2008, 04:30 PM
(This post was last modified: 05/05/2008 10:41 PM by andydude.)
Post: #3




RE: Parabolic Iteration, again
Ivars Wrote:For basic readers like me, what exactly is in ? and is ? Well, and in general, . These are the coefficients of a Taylor series. And yes, that's normal multiplication. Any other questions? Andrew Robbins 

04/30/2008, 07:02 PM
Post: #4




RE: Parabolic Iteration, again
Is not
just ? Ivars 

04/30/2008, 07:34 PM
Post: #5




RE: Parabolic Iteration, again
Ivars Wrote:Is not just ? No, but . Do not confuse and , they are two completely different functions. Andrew Robbins 

05/03/2008, 08:10 PM
(This post was last modified: 05/03/2008 08:13 PM by andydude.)
Post: #6




RE: Parabolic Iteration, again
From these generating functions is it easy to see that parabolic iteration does not work for , which I believe has already been proven by someone, somewhere. What is interesting is that there are actually 2 reasons for this. The first reason is that there are many in the denominator, which cannot be zero, and the second reason is that if , then which means t plays no part in the equations at all.
Also, I wonder if studying the special case would yield more insights, as this would imply that , so there wouldn't be an x in the denominator. This would make finding more diagonals easier. Andrew Robbins PS. I think it was either Bennet or Jabotinsky that showed doesn't work. 

05/04/2008, 07:14 AM
Post: #7




RE: Parabolic Iteration, again
I admit I didnt dive completely into your derivations.
First question what is the parabolic flow matrix? Is it the Carleman/BellMatrix of parabolic iteration ? Why is it then important to know the diagonals? Because the first entry is the coefficient of the series of ? andydude Wrote:From these generating functions is it easy to see that parabolic iteration does not work for , I dont get this, lets look at the double binomial formula, which should give the same coefficients if I understood that right. There are no denominators depending on the value of any . I only know that in hyperbolic iteration there occurs in the denominator. So lets clarify the basics first 

05/05/2008, 05:26 AM
Post: #8




RE: Parabolic Iteration, again
What is the flow matrix?
The flow matrix (although it could also be called iterational matrix ... see here) is the matrix of coefficients where which are obtained from any method (usually a special case of regular iteration), for parabolic iteration there will only be a finite number of t's, but for hyperbolic iteration (yes, the flow matrix would apply to that as well) this matrix is not triangular (as it is with parabolic iteration). For parabolic iteration the "flow series" is: this corresponds to the "flow matrix": However, the flow matrix is not limited to parabolic iteration, but applies to hyperbolic iteration as well. Since the coefficients of hyperbolic iteration are not polynomials, there is a big difference between the series and the matrix, which may serve to illustrate the need for an flow matrix. For hyperbolic iteration the "flow series" is: which corresponds to the "flow matrix": Is it the Carleman matrix of parabolic iteration? No, it is the first row of the Carleman matrix^t, or the first column of the Bell matrix^t, meaning both have been raised to the t. The flow matrix is simply a different expression for the flow series. Why is it important to know the diagonals? Well, it seems important to know the asymptotic behavior of the coefficients, and it is very difficult to know the asymptotic behavior of a sequence you only have the first few members of, so my goal with these diagonals is to provide a formula that we can use for roottests and other convergence tests, so the world will stop calling them "formal power series" and start calling them functions. That is my ultimate goal. But then again, how am I helping when I only have 3 diagonals, and we don't need to find asymptotic behavior of but of ? Well, it is obvious that the diagonals follow more of a pattern than the columns, so it seems easier to interpolate the diagonals than the columns of the flow matrix. My hope is that after enough diagonals are found, then a pattern will be found in the columns, as well. Are these the same as Jabotinsky's doublebinomial formula? Yes. However, that formula is expressed in terms of the coefficients of the nth iterate of a function. The only way I've seen Daniel Geisler write the flow series has been in terms of the coefficients of the 1st iterate only, which is a major distinction between Jabotinsky's, and the flow series. Andrew Robbins 

05/05/2008, 08:30 AM
Post: #9




RE: Parabolic Iteration, again
bo198214 Wrote:I admit I didnt dive completely into your derivations. I'm sorry for the terseness, it was very complicated, and the way I found them was to look at lots of finite differences and finite quotients until I saw a pattern. I will describe my derivation techniques as soon as I finish the "HyperSage" library. Also, for comparison, Gottfried gives the same "parabolic flow matrix" as table (1.6.1.4.) in ContinuousfunctionalIteration.pdf Andrew Robbins 

05/05/2008, 05:33 PM
Post: #10




RE: Parabolic Iteration, again
andydude Wrote:I'm sorry for the terseness, No, no, its ok. I just lacked the basics, thats all. Thank you for your very nice explanation. I just have digest it and then look at the case . Because I dont believe that it should not be possible, the question would be what goes wrong in the case , can only be a convergence thing. Perhaps Walker excluded that case in his construction of an entire superexponential. 

« Next Oldest  Next Newest »

Possibly Related Threads...  
Thread:  Author  Replies:  Views:  Last Post  
Iteration series: Halfiterate using the infinite iterationseries?  Gottfried  31  5,167 
01/04/2013 05:21 PM Last Post: sheldonison 

Iteration series: Different fixpoints and iteration series (of an example polynomial)  Gottfried  0  728 
09/04/2011 05:59 AM Last Post: Gottfried 

Fractional iteration of x^2+1 at infinity and fractional iteration of exp  bo198214  10  4,050 
06/09/2011 05:56 AM Last Post: bo198214 

Parabolic Iteration  andydude  3  3,425 
08/16/2007 07:51 PM Last Post: bo198214 
User(s) browsing this thread: 1 Guest(s)