Schröder's equation
Schröder's equation,
Schröder's equation is an eigenvalue equation for the composition operator Ch that sends a function f to f(h(.)).
If a is a
Functional significance
For a = 0, if h is analytic on the unit disk, fixes 0, and 0 < |h′(0)| < 1, then
Equations such as Schröder's are suitable to encoding
An equivalent transpose form of Schröder's equation for the inverse Φ = Ψ−1 of Schröder's conjugacy function is h(Φ(y)) = Φ(sy). The change of variables α(x) = log(Ψ(x))/log(s) (the
Moreover, for the velocity,[5] β(x) = Ψ/Ψ′, Julia's equation, β(f(x)) = f′(x)β(x), holds.
The n-th power of a solution of Schröder's equation provides a solution of Schröder's equation with eigenvalue sn, instead. In the same vein, for an invertible solution Ψ(x) of Schröder's equation, the (non-invertible) function Ψ(x) k(log Ψ(x)) is also a solution, for any periodic function k(x) with period log(s). All solutions of Schröder's equation are related in this manner.
Solutions
Schröder's equation was solved analytically if a is an attracting (but not superattracting) fixed point, that is 0 < |h′(a)| < 1 by Gabriel Koenigs (1884).[6][7]
In the case of a superattracting fixed point, |h′(a)| = 0, Schröder's equation is unwieldy, and had best be transformed to Böttcher's equation.[8]
There are a good number of particular solutions dating back to Schröder's original 1870 paper.[1]
The series expansion around a fixed point and the relevant convergence properties of the solution for the resulting orbit and its analyticity properties are cogently summarized by
Applications
It is used to analyse discrete dynamical systems by finding a new coordinate system in which the system (orbit) generated by h(x) looks simpler, a mere dilation.
More specifically, a system for which a discrete unit time step amounts to x → h(x), can have its smooth orbit (or flow) reconstructed from the solution of the above Schröder's equation, its conjugacy equation.
That is, h(x) = Ψ−1(s Ψ(x)) ≡ h1(x).
In general, all of its functional iterates (its regular iteration group, see iterated function) are provided by the orbit
for t real — not necessarily positive or integer. (Thus a full
However, all iterates (fractional, infinitesimal, or negative) of h(x) are likewise specified through the coordinate transformation Ψ(x) determined to solve Schröder's equation: a holographic continuous interpolation of the initial discrete recursion x → h(x) has been constructed;[10] in effect, the entire orbit.
For instance, the functional square root is h1/2(x) = Ψ−1(s1/2 Ψ(x)), so that h1/2(h1/2(x)) = h(x), and so on.
For example,[11] special cases of the logistic map such as the chaotic case h(x) = 4x(1 − x) were already worked out by Schröder in his original article[1] (p. 306),
- Ψ(x) = (arcsin √x)2, s = 4, and hence ht(x) = sin2(2t arcsin √x).
In fact, this solution is seen to result as motion dictated by a sequence of switchback potentials,[12] V(x) ∝ x(x − 1) (nπ + arcsin √x)2, a generic feature of continuous iterates effected by Schröder's equation.
A nonchaotic case he also illustrated with his method, h(x) = 2x(1 − x), yields
- Ψ(x) = −1/2ln(1 − 2x), and hence ht(x) = −1/2((1 − 2x)2t − 1).
Likewise, for the Beverton–Holt model, h(x) = x/(2 − x), one readily finds[10] Ψ(x) = x/(1 − x), so that[13]
See also
References
- ^ .
- ISBN 0-387-97942-5.
- OCLC 489667432.
- .
- ^ .
- .
- .
- ^ Böttcher, L. E. (1904). "The principal laws of convergence of iterates and their application to analysis". Izv. Kazan. Fiz.-Mat. Obshch. (Russian). 14: 155–234.
- doi:10.1007/BF02559539. [1]
- ^ .
- ^ Curtright, T. L. Evolution surfaces and Schröder functional methods.
- .
- JSTOR 2332328. See equations 41, 42.