Post Reply 
 
Thread Rating:
  • 0 Votes - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Parabolic Iteration
08/10/2007, 08:39 PM
Post: #1
Parabolic Iteration
Introduction

Definition: An analytic function with a parabolic rationally neutral fixed-point is a function f(x) that is complex-analytic in x, and satisfies . D. Geisler calls the iteration of this kind of function: parabolic iteration.

Notation: We use since this ensures that .

Examples of analytic functions with a parabolic rationally neutral fixed-point include: the sine function sin(x) , the decremented exponential , the second hyper-power , and so on. This means each of these functions can be iterated with parabolic iteration.

Iterate-Derivative Matrices

Definition: An iterate-derivative matrix (IDM) of f(x) about is a matrix where:
and . For approximations, implies . If f(x) is an unnamed expression, then: . If no value is given, then zero is assumed: .

As you can see, the name stems from the iterate and the derivative in the definition. For an example of an IDM for this kind of function, using :


Using Lagrange interpolation, all columns can be turned into finite polynomials:
  • Column 0:
  • Column 1: 1
  • Column 2:
  • Column 3:
  • Column 4:

One way of doing parabolic iteration is simply to use the IDM and Lagrange interpolation. Since you know that column k is going to be a polynomial in j of degree you only need to use k points for the Lagrange interpolating polynomial. Putting it all together (using ), we get:


which expresses the continuous iteration of an analytic function with a parabolic rationally neutral fixed-point. For this formula to apply to continuous iteration and not just discrete iteration, the gamma function must be used to evaluate the binomial coefficient, or expand it to a polynomial first. Notice that we obtained this formula using the IDM and Lagrange interpolation. We will compare this with other formulas we will derive later.

Power-Derivative Matrices

Definition: A power-derivative matrix (PDM) of f(x) about is a matrix where , and . For approximations, implies . If f(x) is an unnamed expression, then: . If is given, then: .

The PDM about is defined such that: and is analogous to using a function such that g(0) = 0 if and only if . Notice that , supporting said property. The reason why it is analogous is because the PDM is most well-known for turning function composition into matrix multiplication. This is also the reason for the in the definition. This can best be seen with the following identities:


As you can see, the PDM turns composition into matrix multiplication, and iteration into matrix powers. This is the key to understanding PDMs. Once this is understood, one can begin thinking in linear algebra instead of function theory, for they become one and the same.

History: Some variants of power-derivative matrices (PDMs) are also known as Bell matrices (if ), Carleman matrices, linearization matrices, or embedding matrices. As mentioned earlier, they turn iteration into evaluating a matrix power. Matrix powers are easy to evaluate for integer exponents, but for non-integer exponents the problem can be posed as a problem of matrix diagonalization. There are three types of matrices that are easy to diagonalize: matrices, matrices, and triangular matrices.

History: According to Bennet, the first use of PDMs for continuous iteration was by Koch. Kowalski et.al. call the more general form a Carleman matrix, and along with Aldrovandi et.al. refer to the special case when as a Bell matrix. Historically, Bell matrices and Carleman matrices have been transpose to each other. Also, Bell matrices usually start with index 1 whereas Carleman matrices start with index 0. Here we use a common starting index 0 for all PDMs, since it facilitates the more general case as well.

For an example of a PDM for this kind of function, using :


and an example of the simplified case when the fixed-point is zero :


As you can see, the PDM for is a triangular matrix, which as mentioned before lends itself easily to evaluating matrix powers. To illustrate, here is the same matrix raised to an arbitrary power:


Another way of finding the continuous iteration of this special kind of function is using PDMs and matrix powers. Since this matrix represents increasing powers of a function and its derivatives, we only need the first power of the function to find its coefficients, which corresponds to the first row (not the zeroth). Putting it all together (using ), we get:


just like with the IDM method, only with . With PDMs, however, there is an alternative to evaluating matrix powers. By representing the matrix multiplication as a single multiplication (instead of t-1 multiplications) we can turn evaluating a matrix power into a recurrence equation:

which after solving gives:
as required.

Double-Binomial Expansions

The first to devote a full-length paper to this method was S. C. Woon. The expansion is based on the binomial theorem, and as such, is easy to understand. Woon originally described his method in terms of the iteration of operators, but here we describe it in terms of functions:

where , w is a parameter, and of course: . The convergence of Woon's series is dependant on w, but the convergence properties are not well known. Woon's expansion works for many analytic functions in general, but again, the convergence properties are not well known. For those with parabolic fixed-points, another expansion can be used. If and , then:
as noted by Trappmann. This expansion basically expresses the series coefficients of non-integer iterations in terms of the series coefficients of integer iterates.

This brings us full circle, since the last part of the above expression is exactly the definition of an IDM. These three methods are very similar and inter-connected, and as such, are all tools of parabolic iteration.

References

R. Aldrovandi, Special Matrices of Mathematical Physics, World Scientific, 2001.

R. Aldrovandi and L.P. Freitas, Continuous Iteration of Dynamical Maps, Journal of Math. Phys. 39, 5324, 1998.

E. T. Bell, The Iterated Exponential Integers, The Annals of Mathematics, 2nd Ser., Vol. 39, No. 3. (Jul., 193Cool, pp. 539-557.

T. Carleman, Acta Mathematica 59, 63, 1932.

D. Geisler, http://Tetration.org, (accessed: 2006).

H. v. Koch, Bil. t. Sv. Vet. Ak. Hand. 1, Math. 25, m'em. no. 5, pp. 1-24, (1900).

H. Trappmann, Arborescent Numbers: Higher Arithmetic Operations and Division Trees, http://blafoo.de/tree-aoc/main1176.pdf, (accessed: 2006).

H. Trappmann and I. Dahl, Tetration extended to real exponents, sci.math.research, http://mathforum.org/kb/message.jspa?mes...0&tstart=0, (2006).

P. Gralewicz and K. Kowalski, Continuous time evolution from iterated maps and Carleman linearization, http://arxiv.org/abs/math-ph/0002044.

H. S. Wilf, Generatingfunctionology, Academic Press, (1990).

S.C. Woon, Analytic Continuation of Operators -- Operators acting complex s-times, http://arxiv.org/abs/hep-th/9707206.
Visit this user's website Find all posts by this user
Quote this message in a reply
08/10/2007, 10:04 PM
Post: #2
RE: Parabolic Iteration
Oh damn, you were faster than me. I was just preparing a similar post!
So there remains for me the task of adding and correcting Wink

First in the formula for the double binomial expansion the coefficient (-1)^{n-1-i} is missing. The correct formula is (I follow the usage of Ecalle and write for the -th iteration instead of as you write it) :


A criterion for the convergence of this expression is given by Jabotinsky and Erdös in [1]:
Theorem 1: If the radius of convergence of the series , where , is
then there are radii such that is analytic in s and in z for all finite complex s and for
Theorem 2: If the radius of convergence of L(z) is 0 then the radius of convergence of is 0 for almost all complex s and for almost all real s.

A famous example for this second case is , see [2]. It has a fixed point at 0, and is parabolic: . But the parabolic iterates converge only for integer s.

However this looks more terrible than it is, because there are so called asymptotic expansions. That means that in the development point the series does not converge, but the function approximates in a certain way the (formal) power series in the point of development, see [5]. For this case Ecalle [3] showed, that there is a unique continuous iteration that has the formal continuous iteration as its asymptotic expansion (for series with and ). The first however who treated this case was Szekeres in [4].

[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] J. Ecalle, Théorie des invariants holomorphes, Publications mathématiques d'Orsay 67-74 09, 1974.
[4] G. Szekeres, Regular iteration of real and complex functions, Acta Math. 100, 1958, 203-258.
[5] W. Balser, From divergent power series to analytic functions, Lecture Notes in Mathematics, Springer, 1994.
Visit this user's website Find all posts by this user
Quote this message in a reply
08/15/2007, 08:18 PM
Post: #3
RE: Parabolic Iteration
bo198214 Wrote:A famous example for this second case is , see [2]. It has a fixed point at 0, and is parabolic: . But the parabolic iterates converge only for integer s.

However this looks more terrible than it is, because there are so called asymptotic expansions. That means that in the development point the series does not converge, but the function approximates in a certain way the (formal) power series in the point of development, see [5]. For this case Ecalle [3] showed, that there is a unique continuous iteration that has the formal continuous iteration as its asymptotic expansion (for series with and ). The first however who treated this case was Szekeres in [4].

Sweet, I had concluded the same thing and was trying to turn my conceptual proof into a formal proof. But if the work's been done already, then I can breathe easy.

Essentially, if k is the number of terms at which we truncate the series expansion, then there is a non-zero radius for which the series is initially convergent (i.e., the root-test for terms 1 through k would all be less than 1).

As k is increased the radius of initial convergence decreases towards zero, but the evalutation of the series well inside that radius (e.g., within 1/2 that radius) converges asymptotically, and we can define an alternating Cauchy sequence (2 terms for each k, a least upper bound and a greatest lower bound) that has a definite limit. Within the 1/2 radius, for example, we can exponentially constrain the change in each successive term of the sequence (up to k), allowing us to define a least upper bound and a greatest lower bound for the asymptote, with the distance between these bounds decreasing with increasing k.

Sounds nice, but showing it formally is proving difficult with my lack of rigorous formal training in mathematics.

Regardless, if the proof has already been shown, then combined with my change of base formula, we now have a unique solution to tetration of bases greater than eta.

By the way, for the reference to Ecalle, where can I get a copy, and more importantly, is there an English translation available?

~ Jay Daniel Fox
Find all posts by this user
Quote this message in a reply
08/16/2007, 07:51 PM (This post was last modified: 08/16/2007 07:54 PM by bo198214.)
Post: #4
RE: Parabolic Iteration
Moderator's note: I moved the subsequent posts into the thread Change of base formula for Tetration.
Visit this user's website Find all posts by this user
Quote this message in a reply
Post Reply 


Possibly Related Threads...
Thread: Author Replies: Views: Last Post
  Iteration series: Half-iterate using the infinite iteration-series? Gottfried 31 5,941 01/04/2013 05:21 PM
Last Post: sheldonison
  Iteration series: Different fixpoints and iteration series (of an example polynomial) Gottfried 0 773 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,356 06/09/2011 05:56 AM
Last Post: bo198214
  Parabolic Iteration, again andydude 11 3,813 05/14/2008 02:56 AM
Last Post: andydude



User(s) browsing this thread: 1 Guest(s)