08/10/2007, 08:39 PM
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.
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.
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:
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.
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., 193, 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.