# Tetration:Combinatorics

### From Tetration.net

## Contents |

## Combinatorics - Extending Tetration

### Faa Di Bruno's Formula

In order to address the difficulties posed by dynamics ew will employ combinatorics to derive the Taylor series of an arbitrary iterated function.

Consider an exponential generating function where the coefficient *f*_{0} is a fixed point for the function *f*(*z*); thus *f*(*f*_{0}) = *f*_{0}. Define a coefficient giving the sequence {*f*_{0},*f*_{1},...,*f*_{∞}}.

Consider the complex dynamics of a holomorphic function and its iterates .

We invoke the standard convention of using a coordinate translation to set a fixed point at zero, .

Thus for for some positve . Note that is the exponential generating function of the sequence where .

#### Faa Di Bruno's Formula for Iterated Functions

#### Faa Di Bruno's Formula for Iterated Functions with a Fixed Point at *f*_{0}

The proceeding equation is a generalized form of the equation I used for my first extension of tetration in 1986 and I suspect that it may also be generalized form of the equation used in Ioannis' definition of .

### The First Derivative

### The Second Derivative

The second derivative is found by using Bell polynomials, as in Aldrovandi and Freitas \cite{Aldrovandi}. Here a specific class of the Bell polynomials is investigated where .

When , a recurrence equation is formed that is easily solved as a summation.

The index *k*_{i} is used differently from the index *j*_{i} used in Equation \ref{FaaDiBruno}. The index *j*_{i} is associated with partitions containing *i* items while *k*_{i} is associated with the *i*^{th} nested summation.

### The Third Derivative

Continuing on with the third derivative,

Note that the index *k*_{1} from the second derivative is renamed *k*_{2}
in the final summation of the third derivative. A certain amount of
renumbering is unavoidable in order to use a simple index scheme.
Concrete Mathematics is recommended for its treatment of the products
of summations.

### Continuous Iteration

Note that some function can always be constructed so that .

More suscintly , which means that can be solved by solving the simple difference equation that generates a geometrical progression.

#### The Taylor Series of an Iterated Function

Assembling the results from the previous section allows us to compute the first few terms of the Taylor series of an arbitrary iterated function.

where . Consider the classic formula for the sum
of a geometric progression
. The
formula works as long as for some
. Note that if then
the range of *n* in is , but that the range of *n* can be extended to
without loose of consistency in .

This leads to an interesting idea. What if for in the abstract, but that when each of the specific cases of is considered, that ? Then the function under consideration would be linearized in different way for each of the specific cases, but it would always be linearized in some manner. Every map would ultimately be a flow.

Just as it can be asked whether tetration may be extended, it could just as easily be asked can as to whether it is possible to prevent tetration from being extended. In order words, could the nonexistence of is complex tetration be used to prove the nonexistence of tetration with whole numbers?

I argue that it was never an issue of "extending" tetration to the real and the complex numbers, but that the basic definition of tetration implicitly contains complex tetration. The implicit existence of continuous iteration natrurally extends not only tetration to the complex numbers, but it extends the Ackermann function to the complex numbers.

#### Hyperbolic Continuous Iteration

Hyperbolic continuous iteration is the most common type of continuous iteration. The Schröder equation *f*(*h*(*x*)) = *c**f*(*x*) has historically been used to derive linearizations for this class of iterated functions.

#### Parabolic Continuous Iteration