-
Notifications
You must be signed in to change notification settings - Fork 0
KoenigsFunction
Koenig's function is an important concept in the theory of dynamical systems, specifically in the study of one-dimensional iterated function systems. It is a function that solves the Schröder's equation, which is an eigenvalue equation for the composition operator Ch. In other words, Koenig's function is a function that provides insight into the behavior of a dynamical system near a fixed point.
The Schröder's equation is given by:
Ψ(h(x)) = sΨ(x)
Here, Ψ is the Koenig's function, h(x) is a function representing the dynamics of the system, and s is an eigenvalue of the composition operator Ch. The composition operator Ch sends a function f to f(h(.)), meaning it composes the function f with the function h.
A fixed point a of the function h satisfies the condition h(a) = a. If Ψ(a) is finite and Ψ′(a) (the derivative of Ψ with respect to x evaluated at a) does not vanish or diverge, the eigenvalue s is given by:
s = h′(a)
Koenig's function is useful for analyzing the local behavior of dynamical systems near fixed points. By finding the Koenig's function and the eigenvalue s, we can gain insight into the stability and other properties of the fixed point. For instance, if the absolute value of the eigenvalue s is less than 1, the fixed point is stable (attractive), and if it is greater than 1, the fixed point is unstable (repulsive).
See KoenigsFunctionExpansion for information on how to express the Koenigs function of a function as a recursive series expansion
The Koenig's function Ψ provides a local conjugacy between the dynamics of the given system defined by
The Koenig's function Ψ is an analytic function near the fixed point a, and it conjugates the dynamics of the system to the multiplication by the eigenvalue λ (which is equal to h'(a), the derivative of the function h at the fixed point a):
Ψ(h(x)) = λΨ(x)
This conjugacy is valid within a neighborhood (a disc) around the fixed point, where the function Ψ is well-defined and analytic. This means that, within this disc, the behavior of the system is essentially equivalent to the simple dynamics given by scalar multiplication.
To say that something conjugates the dynamics of a system to multiplication by the eigenvalue λ means that it establishes an equivalence between the original dynamics of the system and a simpler dynamical system that involves only scalar multiplication by λ. This equivalence helps to simplify the analysis of the system's behavior, especially in a neighborhood around a fixed point.
The conjugacy means that within a neighborhood around the fixed point, the behavior of the dynamical system can be understood by considering the simpler scalar multiplication dynamics. Essentially, the function Ψ provides a coordinate transformation that simplifies the dynamics of the system in the vicinity of the fixed point.
It is important to note that this conjugacy is only valid within a certain neighborhood around the fixed point, where the function Ψ is well-defined and analytic. Beyond this neighborhood, the conjugacy may not hold, and the global behavior of the system may be more complex than the simplified scalar multiplication dynamics.
The Koenig's function (or Schröder's function) Ψ provides a coordinate transformation that simplifies the analysis of the dynamics of a system by transforming it into a simpler form involving scalar multiplication. In this new coordinate system, the dynamical system is conjugated to a dilation, which means the system's orbit looks like a simple scaling transformation.
As pointed out int the preceeding section, the conjugacy relationship provided by the Koenig's function is given by:
where
This conjugacy allows us to reconstruct the smooth orbit (or flow) of the dynamical system and analyze its behavior in the new coordinate system provided by Ψ(x).
A Koenigs function
When the conditions are such that it exists,
$F(0) = 0$ $F'(0) = 1$ -
$F(G(z)) = \lambda * F(z)$ , where$\lambda = G'(0)$
The Koenigs function
Given the attracting nature of the fixed point and the fact that
Therefore, since