Linearization
From Scholarpedia
| This article has not been peer-reviewed or accepted for publication yet; It may be unfinished, contain inaccuracies, or unapproved changes. | ||||||||||||||||||||
Author: Prof. Xavier Buff, Laboratoire E. Picard, Université Paul Sabatier
Author: Dr. Arnaud Chéritat, Laboratoire E. Picard, Université Paul Sabatier
Author: Dr. Lasse Rempe, Department of Mathematical Sciences, University of Liverpool
Contents |
Statement
Linearizable at a fixed point
tame
Given a fixed point of a map, seen as a discrete dynamical system, the linearization problem is the question whether or not the map is locally conjugated to its linear approximation at the fixed point. Since the dynamics of linear maps on finite dimensional real and complex vector spaces is completely understood, the dynamics of a map on a finite dimensional phase space near a linearizable fixed point is tractable.
More precisely the problem is the following: there is a set
, the phase space, which can be for instance a subset of
or
or a manifold, and a map
from part of
to part of
, which represents a discrete dynamical system. We are interested in a fixed point of
, call it
. The differential of
at
is a linear map, call it
. In our example,
acts respectively on
,
and the tangent space of
at
. Does there exist a neightborhood
of
and a homeomorphism
from
to some neighborhood of the origin such that the local conjugacy (see Topological conjugacy)
holds in a (possibly smaller) neighborhood of
?
Topologically linearizable
holomorphically linearizable
It shall be noted that for a given fixed point of a given map, the answer to this question may or may not depend on the regularity allowed for the conjugacy. However, in the particular setting of a holomorphic map of a complex dimension 1 manifold (i.e. a Riemann surface) linearizability by a continuous conjugacy turns out to be equivalent to linearizability by a holomorphic conjugacy. Any regularity in between is thus also equivalent.
The multiplier
If
is a holomorphic map and
is a fixed point, i.e.
, then the multiplier is the complex number
. The multiplier is invariant under conjugacy.
Depending on
, the fixed point
is termed accordingly:
- for
,
is repelling
- for
,
is indifferent
- for
,
is attracting
- for
,
is superattracting
The multiplier, on a Riemann surface
- Let S be a complex dimension 1 manifold (a Riemann surface)
-
be a holomorphic map from a part of S to a part of S
-
be a fixed point of
- TaS be the tangent space of S at
- Daf: TaS → TaS the differential
at
Since we are in dimension 1, Daf is completely characterized by its unique eigenvalue λ, and equal to the multiplication by λ: Daf(v) = λv. Identifying TaS with the complex plane
, Daf is a similarity of ratio λ. The multiplier is the number λ.
Linearizability, depending on the multiplier
- If |λ| = 0 (superattracting fixed point), then
is not linearizable, unless it is constant in a neighborhood of
.
- If 0 < |λ| < 1 (attracting not superattracting), or 1 < |λ| (repelling), then
is a linearizable fixed point. This is referred to as Koenig's theorem.
- If |λ| = 1 (indifferent), then it depends. Write λ = exp(i2πθ) for some
.
- If
(parabolic fixed point), then
is not linearizable most of times. More precisely, it will be linearizable if and only if
has an iterate equal to the identity.
- If
(irrationally indifferent), then we get into a much more difficult question.
- If
The latter case is where Siegel disks arise.
Power series expansions and small divisors
Assume
fixes the origin (take a chart where the fixed point is at the origin) and consider the power series expansions
-
.
The linearization equation consists in finding
such that
holds near the origin (a problem equivalent to finding
such that
). In other words,
. By indentifying power series expansions, one finds a unique solution defined by the recurrence relation on the coefficients
of
:
-
and
where
is an explicit, yet complicated, mutivariate polynomial.
Thus for
with irrational
, the conjugating power series
is always defined as a formal power series. Linearizability of
is equivalent to the convergence of this series, i.e. to its convergence radius to be positive. Even though the numerator in the recurrence relation giving
is much more complicated than the denominator, it is the latter which is the potential source of divergence. The term
is called a small divisor. Indeed, for some values of n, typically for n=q where
is a continued fraction rational approximant of
, the quantity
is small.
Estimating the growth rate of
is thus a subtle problem. It requires a good understanding of rational approximations of irrationals.
A reminder on continued fractions
An irrational has a unique continued fraction expansion
with
and
.
The continued fraction approximants of
are the numbers
(the notations may vary).
The best rational approximations of an irrational are given by its continued fraction approximants:
- if
then p/q is an approximant of
- if
is an approximant then
.
The quantity
can be thought of a measure of the quality of the rational approximation of
by
.
is the n-th approximant then we have:
.
):
.
is big, then
. Good approximations correspond to big values of
.
Concerning the small divisors, with
, the quantity
is comparable to
, where p is the integer so that p/q is closest to
. More precisely, there is the following theorem: the smallest value of
for k ranging from 2 to
is obtained precisely at
, and we have for
:
.History
This section certainly needs to be checked and completed by an expert on the history of the center problem. It would also better fit in an article about the center problem on its own.
Linearizability is closely related to stability.
Poincaré, in studying the stability of the solar system, had to face similar questions. He thought he could prove stability in the simplified problem he was looking at (1889). He latter realized he was wrong, and by correcting this famous mistake opened the field of chaotic behaviour in dynamical systems.
Concerning the center problem (linearization of an irrationnaly indifferent fixed point of a discrete dynamical system in complex dimension 1):
At the International Congress in 1912, E. Kasner conjectured that such a linearization is always possible. Five years later, G. A. Pfeiffer disproved this conjecture by giving a rather complicated description of certain holomorphic functions for which no local linearization is possible. In 1919 Julia claimed to settle the question completely for rational functions of degree two or more by showing that such a linearization is never possible; however, his proof was wrong. H. Cremer put the situation in much clearer perspective in 1927 with a result [...]
—John Milnor, Dynamics in one complex variable (second edition, 2000)
Cremer's argument is indeed simple. It uses irrationnal rotation numbers
which are well approximated by rationnals. A non-linearizable irrationaly indifferent fixed point is nowadays called a Cremer point.
Siegel was the first to be able to prove, in the 1940s, that linearizability does occur. In fact he showed that if the rotation number is Diophantine, then the fixed point is always linearizable.
Then there remained to determine the exact set of values of
for which f is always linearizable. Brjuno and Rüssman found the exact arithmetic condition, but could only prove it is sufficient. This condition is now called the Brjuno condition.
Yoccoz proved the necessity of the condition, i.e. that for an irrationnal
not satisfying the Brjuno condition, there exists at least one non linearizable example with this rotation number
. He even proved that the degree 2 polynomial
is such an example.
Results
Here,
refers to an irrational real number:
Definition: Let
be the sequence of continued fraction convergents of
. The number
is said to satisfy Brjuno's condition (also called the Brjuno-Rüssmann condition) whenever
.
There are several other equivalent definitions of Brjuno's condition:
-
where
-
where
is the fractional part of
,
is the fractional part of
,
and
For instance the Diophantine numbers satisfy Brjuno's condition. (An irrational number
is Diophantine if there exists
and an exponent
such that rational
,
, i.e. such an irrational cannot be too well approximated by rationals.)
Theorem: let
be irrational
- If
satisfies Bjruno's condition, then all fixed points with multiplier
are linearizable.
- If
does not, then there exists maps with a non linearizable fixed point with multiplier
.
The following statement specifies the second case:
Theorem: If
does not satisfy Bjruno's condition, then the fixed point
of the degree 2 polynomial
is not linearizable.
References
- Milnor, J. [2000]: Dynamics in one complex variable, second edition
COPIED FROM MAIN ARTICLE
The linearization problem
The question of the existence of Siegel disks is closely related to the linearization problem and small divisors. A short overview of these topics is given here, but for more detail the reader should refer to the separate subpage on linearization.
Statement of the linearization problem and first properties
The linearization problem can be stated for fixed points of any dynamical system
. (A fixed point is a periodic point of period one, i.e. a point
such that
.) Given such a fixed point
, the question is whether there exists a local change of coordinates under which the dynamical system becomes linear. (A "local" change of coordinate needs only to be defined in a neighborhood of the fixed point under consideration.) This change of coordinates is also called a conjugacy or a linearizing coordinate.
The problem is usually asked in a situation where the system is differentiable in
, in which case one tries to conjugate
to its differential
at the fixed point.
This encyclopedia entry focuses on holomorphic dynamical systems in one variable.
(For instance
from
to
, where
is any given parameter.)
Equivalence of topological and holomorphic linearizability.
For holomorphic maps it turns out that linearizability by a continuous conjugacy implies linearizability by a holomorphic conjugacy. (Recall that being holomorphic, i.e. complex-differentiable, is the same thing as being analytic, i.e. being expressed by a power series expansion near every point. In particular, a conjugacy, if it exists, can be chosen to be
.)
The multiplier and its influence on linearizability.
If
is a holomorphic map and
is a fixed point, then the multiplier is the complex number
. The multiplier is invariant under holomorphic conjugacy.
- If
= 0, then
is a superattracting fixed point. In this case,
is not linearizable, unless it is constant in a neighborhood of
.
- If
or
, then
is attracting (but not superattracting) or repelling, respectively. In this case,
is always linearizable; this is known as Kœnig's theorem.
- If
, then
is an indifferent fixed point. Write
for some
. The number
is called the rotation number.
- If
, then
is a parabolic fixed point, and
is not linearizable most of times. More precisely, it will be linearizable if and only if
has an iterate equal to the identity.
- If
, then
is called irrationally indifferent. Here the question is much more difficult, and in many cases depends on the number-theoretic properties of the multiplier
. This case includes examples where
is linearizable and examples where it is not.
- If
Siegel disks arise in the case of linearizable irrationally indifferent fixed points.
Brjuno's arithmetic condition
Brjuno's condition is an arithmetical condition that plays an important role in the question of when a holomorphic map
is linearizable near an irrationally indifferent fixed point. To state this condition, let
be an irrational real number:
. Also let
be the sequence of continued fraction convergents of
. (For background on continued fraction expansions, see Linearization.)
Definition. Let
be the sequence of continued fraction convergents of
. The number
is said to satisfy Brjuno's condition (also called the Brjuno-Rüssmann condition) whenever
.
It can be checked that all Diophantine numbers satisfy Brjuno's condition.
Theorem. let
be irrational.
- If
satisfies Bjruno's condition, then all fixed points with multiplier
are linearizable.
- If
does not, then there exists maps with a non linearizable fixed point with multiplier
.
The first part of the previous theorem is due to Brjuno and Rüssmann. Yoccoz later proved the second part, and also gave an independent proof of the first.
In general, a fixed point with any non-Brjuno rotation number
may be linearizable. Indeed, the rotation
is linearizable by definition; the same is true for any map obtained from this rotation by a local holomorphic change of variable. However, when one restricts the class of functions under consideration, more can be said. Indeed, Yoccoz proved the following, more precise version of his theorem that completely settles the linearization question for quadratic polynomials: (a quadratic poylnomial is a polynomial of degree two)
Theorem. If
does not satisfy Bjruno's condition, then the fixed point
of the quadratic polynomial
is not linearizable.
Following Yoccozz's proof, the necessity of Brjuno's condition for linearization was established for a large number of other families of holomorphic functions. (Compare Geyer, 2004.) On the other hand, it is still an open question whether there exist cubic polynomials with non-Brjuno Siegel disks. It is expected that this is not the case; in fact, the following has been conjectured by Douady.
Conjecture. Let
be a rational function and suppose that
is an irrationally indifferent fixed point of
whose rotation number does not satisfy Brjuno's condition. (A rational function is a quotient of two polynomials.) Then
is not linearizable near
.
| Invited by: | Prof. James Meiss, Applied Mathematics University of Colorado |
