Main Page

From Iterated Functions


A question that goes back to Poincaré's time is, "do maps have flows?" For a smooth function and it's iterate, , what degree does imply , and ? Physics appears to do fine reconciling iterated functions and continuous time. Arnold \cite{Jackson} defines physical dynamical systems as measure preserving iterated functions acting on an initial state. The system under review is more general than any physical system as it has no constraint to be measure preserving.

Returning to the realm of mathematics and arithmetic, let and be functions in Banach space, then the composite can be constructed using Faà di Bruno's formula.

where denotes a partition of , usually denoted by , with ; where is the number of parts of size . The partition function is a decategorized version of , the function enumerates the integer partitions of , while is the cardinality of the enumeration of . [1] [2]

Complex Dynamics

Now we focus on the complex plane and it's dynamics. The composition can construct any iterated function at a fixed point, not at infinity, by setting and with . The final proof of this section extends . The first derivative of at its fixed point is often represented by and referred to as the multiplier or the Lyapunov characteristic number; its logarithm is known as the Lyapunov exponent.

The First Derivative

The first derivative results in the well known Linearization Theorem.

The Second Derivative

The higher derivatives can be evaluated in an analogous fashion from the second derivative.

Setting results in

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

The Third Derivative

Continuing on with the third derivative,

Note that the index from the second derivative is renamed in the final summation of the third derivative. A certain amount of renumbering is unavoidable in order to use a simple index scheme.

The Fourth Derivative

Now the fourth derivative,

The Higher Derivatives

Expanding out Equation [3] gives,

The Taylor series of is derived by evaluating the derivatives of the iterated function at a fixed point by setting and separating out the term of the summation that is dependent on .

The remaining terms of the summation are only depend on , where .

Let this partial summation be written as with and .

Rewriting the terms of the summation as will help in writing a proof by general induction. For ,

Theorem: Iterated Entire Function Theorem

The Taylor series of an iterated entire function can be constructed given a fixed point and .


Assume the function is an entire function. Assume a fixed point at zero. As an entire function under composition, the Taylor series of can be constructed for radius where if and only if can be constructed for every .

Prove by strong induction.

Basis Steps:
Case .
By definition , so can be constructed.
Case .
Let , so can be constructed.
Case .
Assume that can be constructed for all where . (Induction Hypothesis)
Induction Step:.
Using the Dynamical Recurrance Equation, . The function in only dependent on , and . By the strong induction hypothesis, can be constructed. Therefore Eq. [4] can be reduced to a geometrical progression based on that can be represented by a summation.

This completes the induction step that can be constructed for all whole numbers .

The Taylor series for is

Dynamical Equation

Theorem: Extension Theorem Given and , the time variable in can be extended from to .


Let .

Case : Schroeder's Functional Equation - Simplifies as a geometric progression.

Case : Abel's Functional Equation - Simplifies as an arithmetic progression. .


Convergence can be proven by noting that there can be no finite points that are closest to the origin in where convergence doesn't hold.

Theorem: The iterated entire function is convergent at all points in the complex plane except for infinity.

Proof by contradiction.

Assume where for the minimal value of radius such that .
Therefore, let and .
On the other hand, if and are convergent in the complex plane except for infinity, must also be convergent in the complex plane except for infinity.

This is a contradiction which completes the proof.

Complex Hyperoperators

Theorem: Complex Hyperoperator Theorem The hyperoperator with and can be constructed given and where .

Proof: Assume that the function is entire with .

If the function is not it has a fixed point not at infinity, , such that . The Taylor series of can be constructed for the complex plane if can be constructed for every .

Prove by induction.

Basis Steps:

Case . Exponentiation is entire and can be constructed.

Case . Assume with convergence closed under the composition of entire functions. (Induction Hypothesis)

Induction Step:

Case . The equation can be constructed for all .

Future Research

Further work on generalizing the domain of hyperoperators to Banach space.

The hyperoperators become simple at for small values of as .

A general answer to the question "Do all maps have flows?" Research in complex dynamics indicates the importance of symmetry in the simplification of the discrete time version of . In which symmetries does $t$ simplify from a natural number to a real or complex number?


  1. Comtet
  2. Riordan
  3. eq:FaaDiBruno
  4. Dynamical Recurrance Equation