Professional Documents
Culture Documents
Introduction to the
Qualitative Theory of
Dynamical Systems
on Surfaces
S. Kh. Aranson
G. R. Belitsky
E. V. Zhuzhoma
TPHTOI MH
EDITORIAL COMMITTEE
AMS Subcommittee
Robert D. MacPherson
Grigorii A. Margulis
James D. Stasheff (Chair)
ASL Subcommittee Steffen Lempp (Chair)
IMS Subcommittee Mark I. Freidlin (Chair)
1991 Mathematics Subject Classification. Primary 58-02, 58F25; Secondary 58F10,
58F21, 34C28, 58F18, 58F36, 34C35, 34D30, 57R30, 54H20.
ABSTRACT. This book is an introduction to the qualitative theory of dynamical systems on man-
ifolds of low dimension (on the circle and on surfaces). Along with classical results, it reflects the
most significant achievements in this area obtained in recent times by Russian and Western math-
ematicians whose work has not yet appeared in the monographic literature. The main emphasis
is put on global problems in the qualitative theory of flows on surfaces.
The reader of this book need be familiar only with basic courses in differential equations and
smooth manifolds. All the main definitions and notions required for understanding the contents
are given in the text.
The book will be useful to mathematicians working in dynamical systems and differential equa-
tions, and geometry, and to specialists with a mathematical background who are studying dynam-
ical processes: mechanical engineers, physicists, biologists, and so on.
Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting
for them, are permitted to make fair use of the material, such as to copy a chapter for use
in teaching or research. Permission is granted to quote brief passages from this publication in
reviews, provided the customary acknowledgment of the source is given.
Republication, systematic copying, or multiple reproduction of any material in this publication
(including abstracts) is permitted only under license from the American Mathematical Society.
Requests for such permission should be addressed to the Assistant to the Publisher, American
Mathematical Society, P. O. Box 6248, Providence, Rhode Island 02940-6248. Requests can also
be made by e-mail to reprint-permisslon@ams.org.
© 1996 by the American Mathematical Society. All rights reserved.
The American Mathematical Society retains all rights
except those granted to the United States Government.
Printed in the United States of America.
Q The paper used in this book is acid-free and falls within the guidelines
established to ensure permanence and durability.
10987654321 010099989796
Contents
Foreword xiii
Chapter 1. Dynamical Systems on Surfaces 1
§1. Flows and vector fields 1
1.1. Definitions and examples 1
1.2. Connection between flows and vector fields 2
1.3. Vector fields and systems of differential equations 3
1.4. Diffeomorphisms of vector fields 3
§2. Main ways of specifying flows on surfaces 3
2.1. The projection method 4
2.2. Systems of differential equations in local charts 6
2.3. Specification of a flow with the help of a universal covering 7
2.3.1. Transformation groups 8
2.3.2. Flows on the torus 8
2.3.3. Flows on closed orientable surfaces of genus > 1 10
2.4. Specification of a flow with the help of a branched covering 12
2.4.1. Definition of a branched covering 12
2.4.2. Covering flows 12
2.4.3. Construction of transitive flows 13
2.5. The pasting method 15
2.6. Suspensions 16
2.6.1. The suspension over a homeomorphism of the circle 16
2.6.2. The suspension over an exchange of open intervals 17
2.7. Whitney's theorem 21
2.7.1. The theorem on continuous dependence on the initial
conditions 21
2.7.2. The rectification theorem 22
2.7.3. Orientability 22
§3. Examples of flows with limit set of Cantor type 23
3.1. The example of Denj oy 24
3.2. Cherry flows 27
3.3. An example of a flow on the sphere 31
§4. The Poincare index theory 34
4.1. Contact-free segments and cycles 34
4.2. The index of a nondegenerate cycle in a simply connected do-
main 35
4.3. The index of an isolated equilibrium state 36
4.4. The Euler characteristic and the Poincare index 38
vii
viii CONTENTS
Bibliography 321
Foreword
xiii
CHAPTER 1
semitrajectory.
EXAMPLES. 1) f t is the one-parameter group of rotations of the sphere 52
for which ft is the rotation of 52 about the SN axis (the north pole-south pole)
through an angle t E R (see Figure 1.1). The points N and S are equilibrium states
of the flow f t . The remaining trajectories are the parallels of the sphere.
2) We represent the two-dimensional torus T2 as the product S1 x S1 of two
unit circles. Let the numbers a and /3 be fixed, and let ft be the composition
of the rotation of the torus along the parallel {.} x S1 through the angle at and
the rotation along the meridian S1 x {} through the angle /3t (see Figure 1.2).
The trajectories of this flow are all closed or all nonclosed in dependence on the
numbers a and /3 (if /Q/a is rational, then the trajectories are closed, while if /Q/a is
1
2 1. DYNAMICAL SYSTEMS ON SURFACES
FIGURE 1.1
FIGURE 1.2
irrational, then the trajectories are all nonclosed; in the latter case each trajectory
is dense on the torus).
1.2. Connection between flows and vector fields. Denote by TM the
tangent space of the manifold M. Recall that a vector field V of class Cr, r > 0,
on M is defined to be a section V : M -* TM of the bundle it : TM -* M, that is,
a mapping V of smoothness class Csuch that it o V = id.
If f t is a given C1-flow or C°'1-flow on M, then at each point m E M the
tangent vector
d
V(m) = tm )
dtf ( t=o
to the trajectory 1(m) passing through m is defined. The vector V (m) is called
the phase velocity of the point m. The correspondence m F-* V (m), where m runs
through the whole manifold M, is a vector field, which we denote by V f If f t is a
.
C''-flow, then Vf is a C''-smooth vector field: the field of phase velocities of the
flow f'.
It is known ([17], [67]) that any vector field V of smoothness class C, r > 1, on
a closed manifold M is the field of phase velocities of some C''-flow f t . Therefore,
2. MAIN WAYS OF SPECIFYING FLOWS ON SURFACES 3
the rate of motion of the point f t (m) at each time to such that f to (m) E U is equal
to V (f t° (m)) (see Figure 1.3). Since f t is a one-parameter group,
FIGURE 1.3
The field of phase velocities in a local chart is usually given as a system of
differential equations.
1.4. Diffeomorphisms of vector fields. Let cP : M -* N be a diffeomor-
phism, and let V be a vector field on the manifold M. It is known ([25], [47]) that
co induces a mapping co* : TM -* TN of the tangent spaces. The restriction of co*
to V is a vector field co* (V) on the manifold N, called the image of the vector field
V under the diffeomorphism co.
§2. Main ways of specifying flows on surfaces
The specification of a flow on a surface depends on and is closely connected
with the representation of the surface. For example, the surface can be represented
as a set of points in JR3 (the coordinates of which satisfy some equation), or it can be
represented as a two-dimensional manifold by means of local charts and compatible
coordinates. A surface can also be represented as the quotient space of the plane
with respect to some group of transformations. These and other representations
enable one to define a flow on a surface in various ways.
4 1. DYNAMICAL SYSTEMS ON SURFACES
FIGURE 1.4
Associated with an arbitrary vector field i7 on JR3 is the field Vtan (the projection
of i7 on the tangent plane of the surface according to the formula
Vtan = V - (n V )n.
Since n Vtan = n V - (n V)n2 = 0, Vtan is a vector field on M.
It is known that any continuous function on can be extended to a continuous
function on R3 ([67], [71]). Therefore, any vector field on M can be extended to
R3. The projection method can thus give us all conceivable vector fields on M.
Note that if the flow on JR3 determined by a field j7 is given by the system of
differential equations
x = P(x, y, z), y = Q(x, y, z), z = R(x, y, z),
then the projected flow on which is determined by the field Vtan, is given by
the system
{
z = R-O-1(PF
EXAMPLES. 1) If we project the vector field j7 = (0,0, -1) on the sphere
S2: x2 ,+ y2 .+ z2 = 1, then on S2 we get the field Tan of a flow with two equilibrium
2. MAIN WAYS OF SPECIFYING FLOWS ON SURFACES 5
FIGURE 1.5
states, at the north and south poles, and all the remaining trajectories of the flow
obtained "flow down" from the north pole to the south pole along meridians (see
Figure 1.6).
FIGURE 1.6
FIGURE 1.7
not solved for the derivative, and we assume that (F)2 + (F)2 + (Ffl2IF(X,,Z)=o
0. Let M2 be the surface in IiS3 given by the equation F(x, y, z) = 0. Then M2 is
an integral surface of the system
dt - -F'z
(2.2) dt = -zFz
dt = Fx + zFy .
W2= a vl+a v2
or W = 3V, where
3=
ii
axi 01x2
axi 01x2
is the Jacobian of the transition from the coordinates (x1, x2) to the coordinates
(y1, y2). Thus, if the flow f t on M2 is determined in the charts u1 and U2 by the
corresponding systems of differential equations
FIGURE 1.8
then (2.3) holds at all points of the intersection u1 f1 U2, and, conversely, if a
system of differential equations is given in each local chart, and if (2.3) holds in an
intersection of charts, then a vector field is defined on M2.
EXAMPLE. By means of the stereographic projections (see Figure 1.8) x : UN =
82 \ {N} fl 2 and y : us = 82 \ {S} -* we introduce the respective coordinates
(xi, x2) and (y1, y2) on the local charts UN and Us of the unit sphere S2, where
N(0, 0,1) is the north pole and S(0, 0, -1) the south pole of the sphere. The
transition from one set of coordinates to the other in the annulus f2 \ (0,0) is
realized by the formulas
yi+y2 y1 - xi
X2 = y
{x'= y2 = xi
The Jacobian of the transition from (x1, x2) to (y1, y2) has in the coordinates (Yl, Y2)
the form
yz - yi -Zyiy2
-2y1y2
Y?-Y22H
In the charts UN and us we now write the systems of differential equations
x yi (yi +y2 )
x 1 = 1 + i +x2 y1 = 1 +7/ +y2
x2 = 1+xi+x2 , y2 = y2(y2+y2)
1+yi +y2
It is not hard to verify that (2.3) holds, and hence a flow f t is given on S2. We
leave it for the reader to convince himself that f t is represented in Figure 1.6.
2.3. Specification of a flow with the help of a universal covering. An
advantage of this approach is that for surfaces of genus p > 1 the universal covering
is homeomorphic to IIg2 with a single coordinate system. After specification of a flow
on the universal covering its invariance with respect to the covering transformation
group must be verified.
8 1. DYNAMICAL SYSTEMS ON SURFACES
FIGURE 1.9
A dynamical system
± = f1(x,y)
{ y = f2 (x, y)
on 1R2 projects into a dynamical system on T2 (that is, is a covering system) if and
only if Ii (x, y) and f 2 (x, y) are periodic functions of period 1 in both arguments.
Under the action of it (recall that a covering is a local homeomorphism) the tra-
jectories of a covering flow on are mapped into the trajectories of the flow on
T2.
t
EXAMPLE 1 (rational and irrational windings). The flow f given by the system
f±=1
y=µ
2. MAIN WAYS OF SPECIFYING FLOWS ON SURFACES 9
FIGURE 1.10
t
is a covering flow for a flow f t on T2. The integral curves of f are lines with slope
(Figure 1.10). The parametric equations of the trajectory to passing through a
point (xo,yo) at t=0 have the form x = xo +t, y = yo +,at.
The behavior of the trajectories on T2 depends on the number c. We consider
two cases.
a) = p/q is rational.
The trajectory to passes through the two points (x0, yo) and (xo + q, yo + p) corre-
sponding to t = 0 and t = q, and these points are mapped by it into a single point
on T2. Consequently, it (lo) is a closed trajectory. Conversely, if it (lo) is a closed
trajectory, then xo + t = xo + k and yo + pct = yo + r for some t = t 0, where
k, r E Z, and thus = r/k. Hence, all the trajectories of the flow f t on T2 are
closed if and only if is rational.
b) is irrational.
According to a), all the trajectories on T2 are nonclosed. Moreover, each trajectory
4f
is dense in T2 because each trajectory it (lo) intersects the circle it (x = xo) So
at the points {yo + np (mod 1), n E Z}, but the latter set is dense in So. Indeed,
we partition the circle So into k equal half-open intervals of length 1/k. Since is
irrational, the points yo + n E Z, are distinct. Therefore, among the
k +1 points yo + np (mod 1), n = 0,... , k, there are two, say yo +p C (mod 1) and
yo (mod 1), that lie in a single half-open interval of length 1/k. For definiteness
we assume that p> q, and we set r = p - q. Then 0 <r C (mod 1) < 1/k, and
in the sequence of points yo + (mod 1), n E Z, the distance between each two
adjacent points is (mod 1) < 1/k. For a given e > 0 we take a k such that
1/k <e. Then the e-neighborhood of any point of the circle contains points in the
sequence {yo + rnp (mod 1)} (see also [26], Chapter 3).
The flow f t on T2 is called a rational (irrational) winding of the torus if c
is rational (irrational); sometimes one refers to a rational (irrational) flow on the
torus. In the collection of rational windings we also include the flow on T2 whose
covering flow on 1R2 is given by the system x = 0, y = 1.
EXAMPLE 2impassable grain). The flow
d; =xa+y2
y= y2)
10 1. DYNAMICAL SYSTEMS ON SURFACES
FIGURE 1.11
a ;ai
Ci
d
FIGURE 1.12
FIGURE 1.13
is covering for some vector field Up on M7,. The field Up generates on YCp a flow
belonging to the class of so-called gradient flows.
EXAMPLE (a polar Morse-Smale flow). As a fundamental domain of the group
Fp we can take a curvilinear 4p-gon 'p bounded by arcs of Euclidean circles per-
pendicular to the circle S = & bounding the disk 0 (see Figure 1.12 for the case
p = 2), where each side of the polygon p is identified with one other side of p
by means of Ti,, and all the vertices of p are identified with a single point (Figure
1.12 shows an example of identification of the sides of 2). We represent the phase
portrait of a flow on p by locating a stable node at the center of the polygon,
a saddle at the midpoint of each arc of the boundary app, and an unstable node
at the vertices (Figure 1.13 for p = 2). On the sides of T?p this phase portrait "is
compatible with" the action of the group I',, and hence it determines the phase
portrait of some flow f t on the surface M7,. The flow f t has two nodes (one stable
and one unstable) and 2p saddles, and there are no other equilibrium states nor
12 1. DYNAMICAL SYSTEMS ON SURFACES
closed trajectories. The flow constructed (with certain restrictions on the eigenval-
ues of the equilibrium states) belongs to the class of so-called polar Morse-Smale
flows (see Chapter 3 for the exact definition of Morse-Smale flows). This flow is
a gradient flow; that is, the corresponding vector field can be represented as the
gradient of a function on M.
2.4. Specification of a flow with the help of a branched covering.
2.4.1. Definition of a branched covering. Denote by Sk the mapping z H z of
the z-plane C, k E N.
DEFINITION. A transformation it : M -* M of a two-dimensional manifold M
into a two-dimensional manifold M is called a branched covering if any point m E M
has a neighborhood U m such that the complete inverse image it -1(u) is a union
V1 U V2 U ... of disjoint neighborhoods, and the restriction 1r I vz is topologically
conjugate to some mapping Sk (that is, there exist homeomorphisms h : U -p C and
h2 : V -* C such that Sk o h2 Vi = h o it l v) . The number k is called the branching
index of the point z2 = it -1(m) fl Vi and is denoted by k (z2) .
We shall consider only (regular) coverings such that all the points in the inverse
image it -1(m) have the same branching index for any m E M. For such coverings
the branching order k(rn) of a point m E M is defined to be the branching index
of any point in it-1(m).
A point mo E M is called a branch point if k (mo) > 1. The collection Mo C M
of branch points is called the branch set; Mo is discrete, and it is finite for compact
M.
The number of points in the complete inverse image l(), x E M \ Mo, is
called the multiplicity of the covering. For an arcwise connected M this number is
independent of the point x E M \ Mo .
FIGURE 1.14
FIGURE 1.15
has equilibrium states at points of Mo, it follows from the definition of a branched
covering that the vector field i7 * obtained on M is continuous and covers the field
i7. Then the flow f t on M determined by 7* is a covering flow for f t .
FIGURE 1.16
the flowNf t differs from f o only in the existence of impassable grains at A and B,
and let f t be a covering flow for f t (by 2.4.2) on M2.
It is not hard to see that the dynamical system
on IR2 with a unique equilibrium state (a saddle) is a covering flow for the flow
{ y=0
(with an impassable grain at the origin) with respect to the two-sheeted branched
covering
N
z H z2 (Figure 1.17). Therefore, the only equilibrium states of the flow
f t on2 are the two saddles at the points it-1(A) and it-1(B).
FIGURE 1.17
2.5. The pasting method. Let f1 and f2 be two flows on the two-dimen-
sional manifolds M1 and M2, respectively, and let Bi C MZ be a disk whose bound-
ary intersects trajectories of f2 transversally except at the two points m12 and m,
i = 1, 2 (see Figure 1.18). Denote by d2 (d2) the arc of the boundary aB2 across
which trajectories of f2 enter (leave) BZ, i = 1, 2. We put impassable grains at the
points m12 and m2 and denote the resulting flow by f2 , i = 1, 2.
FIGURE 1.18
f( m) = ()1(ho)1(m)).
If (f 2 )T (h o f (m)) E M2 \ B2 for all 0 < T < t - r1, then we set ft (m) =
(f2)t-ri (h o f 1T1 (m)). Otherwise, we again pass to M1 \ B1 via the pasting h. The
definition of ft (m) for t E III, t <0, and for points m E M2 \ B2 is analogous.
Note that the points i = 1, 2, are saddles.
EXAMPLE. We take M1 = M2 to be the two-dimensional torus T2, with irra-
tional windings f i = f 2 Let B1 = B2 = B be such that the points m1 and m2
.
FIGURE 1.19
ft (z) = (f[t+r](x),{t+r}),
where [a] ({a}) denotes the integer (fractional) part of a number a (Figure 1.20).
The proof of the group property fti +t2 = ftl ° ft2 is left to the reader.
FIGURE 1.20
The flow defined above from the homeomorphism f is called the suspension
over f and is denoted by sus(f).
The properties of f and its suspension are closely related, of course. For exam-
ple, we have
2. MAIN WAYS OF SPECIFYING FLOWS ON SURFACES 17
LEMMA 2.1. 1) 1f f has a dense orbit, then the flow sus(f) has a dense trajec-
tory (transitivity);
2) if f has a nowhere dense orbit, then sus(f) has a nowhere dense trajectory;
3) if f has a periodic orbit, then sus(f) has a periodic trajectory.
The converse assertions are also valid.
The proof of the lemma follows from the definition of the flow sus (f) and the
fact that any trajectory passing through a point (x, 0) E M1 passes through the
point (fTh(x), 0) at time t = n e 7L.
EXAMPLE. Let f = R, be the rotation of the circle x2 + y2 = (1/2ir)2 through
the angle 27r, E R. Then is a rational or irrational winding of the torus,
depending on whether is rational or irrational.
2.6.2. The suspension over an exchange of open intervals. Let a1,... , aT E S1
be points labeled successively as the circle S1 is traversed in the positive direction,
r > 2. Denote by L = (ad, a2+1), i = 1, ... , r, the open interval between the points
a2 and a2+1, traversed in the positive direction from a2 to a2+1, where ar+1 = al
Let b1, ... , bT be cyclically labeled points on S1, distinct from a1, ... , a,. in
general.
DEFINITION. A transformation T : S1 \ {a1,.. . , a} - 8 1 \ {bi,.. . , bT} that is
one-to-one and is an orientation-preserving homeomorphism on each interval OZ,
i = 1, ... , r, is called an exchange of open intervals.
Associated with each exchange of open intervals is a permutation r of the num-
bers {1,... , r} such that the interval z is mapped into the interval (bT(j), b()+1),
where br+1 = b1.
REMARK. In ergodic theory [47] an exchange is understood to be a one-to-one
mapping of the whole circle (or closed bounded interval) into itself that is a shift
on each half-open interval.
To construct the suspension over T we first construct the manifold MT on
which this suspension will be defined.
FIGURE 1.21
Denote by ?vt the manifold obtained by cutting the annulus Sl x [0, 1] along
the segments {a} x (1/2, 1], i = 1, ... , r (see Figure 1.21). In other words, M
is obtained by attaching disjoint rectangles cl(z ) x [1/2,1], i = 1, ... , r, to the
18 1. DYNAMICAL SYSTEMS ON SURFACES
annulus Sl x [0,1/2] (where cl(Di) denotes the closed interval [ad, ai+l]) The side
{ai} x [1/2,1] of the rectangle cl(Di) x [1/2,1] (c1(L_i) x [1/2,1]) is called the right
(left) side and denoted by r(l;,) (see Figure 1.22). We let ll = {al} x [1/2,1] C
cl(OT) x [1/2,1].
FIGURE 1.22
The side 13 of the manifold M is pasted together with the side rk by identifying
the points {a3} x t {ak} x t, 1/2 < t < 1, if and only if the segments T (z ) and
T(0k) are adjacent to each other. The manifold obtained as a result of this pasting
M
is denoted by M.
By the definition of an exchange of open intervals, each left side in M is pasted
M
together with one right side, and conversely. Therefore, M is a two-dimensional
manifold with two boundary components that are homeomorphic to S1 (Figure
M
1.23). Speaking loosely, we can say that on one component of the boundary aM
the intervals 01, ... , z are arranged in the original order, while the "exchanged"
intervals T (01), ... , T (z) lie on the other component of the boundary.
FIGURE 1.23
FIGURE 1.24
0
Let MT be the compactification of MT. It is clear that MT is an orientable closed
surface of genus p > 2 (Figure 1.24).
We now construct the flow sus (T) on MT.
On R2 consider the dynamical system xt given by
H
FIGURE 1.25
We represent the manifold M as the union of the rectangles ll = cl(z ) x [0, 1],
i = 1, ... , r. There is a natural distance-preserving diffeomorphism /: II -p lZ
carrying the segments {x} x [-1/2,1/2] into the segments {a} x [0, 1] (see Figure
1.26). Then the vector fields (b)(V), i = 1, ... , r, form a vector field V on M.
By the definition of the pasting together of the sides 13 and rk in M, the field V
induces a vector field VT on the manifold MT.
The flow determined by the vector field VT on MT is called the suspension over
the exchange T of open intervals and denoted by sus (T) .
We remark that the equilibrium states at the points p1, ... ,Ps with saddle
sectors are the only equilibrium states of the flow sus (T) .
20 1. DYNAMICAL SYSTEMS ON SURFACES
ri
1
FIGURE 1.26
As in the case of suspensions over homeomorphisms of the circle, the topolog-
ical properties of an exchange of open intervals are closely related to those of the
suspension over it. We have
LEMMA 2.2. Let T be an exchange of open intervals. Then:
1) T has a dense semi-orbit if and only if sus(T) has a dense semitrajectory;
2) T has a nowhere dense semi-orbit if and only if sus(T) has a nowhere dense
semitrajectory different from an equilibrium state;
3) T has a periodic orbit if and only if sus(T) has a closed trajectory.
The proof follows immediately from the construction of sus(T), though it is
somewhat more complicated than the proof of Lemma 2.1 due to the existence of
points at which T is undefined. We leave it to the reader.
FIGURE 1.27
EXAMPLE (from the paper [83]). We represent the circle S1 as the quotient
space of the line Ilk with respect to the action of the group of translations by in-
tegers, or as the interval
N
[0, 1] with identification of the endpoints. We consider
the exchange Ta = Ta (mod 1) of the open intervals (0,1/4), (1/4,1/2), (1/2, 3/4),
and (3/4,1), where Ta is given graphically in Figure 1.27. It is not hard to see that
if a is irrational, then Ta does not have periodic orbits, and, moreover, each orbit is
dense in S1. According to Lemma 2.2, the suspension sus(Ta) is a transitive flow.
Figure 1.28 represents sus(Ta), where the circles C1 and C2 are identified by means
of the transformation x H x + a (mod 1).
2. MAIN WAYS OF SPECIFYING FLOWS ON SURFACES 21
FIGURE 1.2$
FIGURE 1.29
FIGURE 1.30
This theorem is proved in many books on dynamical systems (for example, [3],
[26], [64], [74]).
A neighborhood 'IL satisfying Theorem 2.2 will be called a neighborhood with
the structure of a constant field, and the diffeomorphism U -* R2 will be called a
rectifying diffeomorphism.
DEFINITION. A family {la} of disjoint curves on a two-dimensional manifold M
is called a foliation (or a foliation without singularities) if M = Ua la, and for each
point m e M there exist a neighborhood U of m and a homeomorphism b: u - R2
such that the components of the intesection of the curves l a with U are carried by
into the lines y = const. The curves la are called leaves.
Theorem 2.2 shows that the collection of regular trajectories (that is, trajecto-
ries different from equilibrium states) of a flow f t forms a foliation on M \ Fix (f t) .
It can be shown that the leaves of a foliation satisfy the condition of geometric
continuity [73].
2.7.3. Orientability. We consider two orientable arcs ab and cd lying on the
manifold M. Denote by D (ab, cd) the set of homeomorphisms H : M -* M such
that H(ab) = cd, H(a) = c, and H(b) = d.
3. EXAMPLES OF FLOWS WITH LIMIT SET OF CANTOR TYPE 23
The limit set of a flow is defined to be the union of the w-limit sets and the
a-limit sets of all its trajectories.
DEFINITION. Let f t be a flow on a two-dimensional manifold M. The w- or
a-limit set of a trajectory of f t is called a limit set of Cantor type if, with the
exception of a finite number (possibly zero) of points, it is locally homeomorphic
to the direct product of a Cantor set 1 and a closed bounded interval.
In this section we present the classical examples of Denj oy and Cherry flows,
along with a little known example of a flow on a sphere (or on a disk) with limit
sets of Cantor type.
3.1. The example of Denjoy.
DEFINITION. A Denjoy flow is defined to be a flow f t without equilibrium
states on the two-dimensional torus that has a limit set of Cantor type. We shall
obtain a Denjoy flow as the suspension over a Denjoy diffeomorphism of the circle
S1. Let us proceed to the construction of the diffeomorphism.
Denote by S(\) the circle obtained by identifying the endpoints of the interval
[0, \] C R. In particular, 51 = 8(1). Let Rw : x H x + w (mod 1) be the rotation
of 8 1 by some irrational number w. Take an arbitrary- point xo E S1 and let
xn=Rw(xo),nE7L.
Let an = 1 / (In I + 2) (In I + 3), Ti E 7L. Then the series > an converges; denote
its sum by a. We associate with each term an of the series an open interval Gn
of length a. We locate the intervals Gn, n e Z, on the circle 5(1 + a) in such a
way that they are disjoint and their mutual arrangement corresponds to the mutual
arrangement of the points xn, n e Z, on 81.
Since a is irrational, for any distinct points x2 and x3 there are points of
the orbit O(xo) = {R(xo), n e Z} on each of the arcs of 51 \ {x2, x3} into
which xi and x3 partition S1. Therefore, there are intervals Gn between any two
intervals GZ and G3, on both the arcs into which GZ and G3 break up the circle
8(1 + a). Consequently, the complement of UGn (Ti E Z) is a nowhere dense set 1
homeomorphic to the Cantor set.
0
Denote by 1 the subset of points in 1 that are not endpoints of the intervals
Gn, n E 7L.
Since the mutual arrangement of the intervals Gn corresponds to the mutual
arrangement of the points xn, n e Z, there exists an orientation-preserving contin-
uous mapping h : 5(1 + a) -* 5(1) = S 1 that carries cl (Gn) into xn , n e Z, and is
0
one-to-one on the set 1 (Figure 1.31).
We begin the construction of the desired diffeomorphism f : 5(1 +a) -* 8(1 +a)
by constructing its derivative F : 8(1 + a) -* R.
Let F I = 1. If Gn = (an, ,Qn) , then we set
F(x) = 1 + nk
a2n
-x) x EGn
where
kn =
1 Recall that a Cantor set on a closed bounded interval (or circle) is defined to be a nonempty
closed perfect nowhere dense subset of the interval (or circle).
3. EXAMPLES OF FLOWS WITH LIMIT SET OF CANTOR TYPE 25
0 r1.
FIGURE 1.31
F dx = an+1.
IGn
Let us compute the ratio an+1 /an. We have that
an+i n+2
for n > 0,
an n+1
an+i InI+3 forn <-1 .
an lnI+1
Then
12
n n+4 forn >_ 0
12
kn= forn<-1.
Iri+1
The quantity (x - a)(/3 n - x)/ate takes a maximal value on the interval Gn =
(an, i3) at x = (ate From this and the form of the function F(x) we get
the inequalities
1/4<1-<F(x)<1,
+
n>0
(3.2)
1<Fx <1+ 3 <5/2, n<-1
1121+1
7(x) = i + LX
26 1. DYNAMICAL SYSTEMS ON SURFACES
Then
rx rx+l+a
i[x+(1+a)]=i+Jo (x)dx+J Fdx
meas[al, f (x)] =
f«o,xJ
F dx =
f Gk
F dx +
1 fl[«o,x]
F dx
0 0 0 0
The inclusion f -1(1) C SZ is proved similarly. Thus, f(1) = Q, and the relation
0 0
h o f = Rw o h holds on the set Q. It follows from the denseness of SZ in SZ and the
continuity of the mappings f and f -1 that f(1) = f '(Q) = SZ, and the relation
ho f = Rw o h holds on Q. This and the monotonicity off imply that f (Gn) = Gn+1
for all n E Z. Since h(Gn) = xn for n E Z, the relation h o f = Rw o h holds on the
whole circle 8(1 + a).
3. EXAMPLES OF FLOWS WITH LIMIT SET OF CANTOR TYPE 27
RWfiCx)
FIGURE 1.32
If x E SZ, then it follows from the monotonicity of h, the equality h(SZ) = 81,
and the denseness of each orbit of the rotation Rw : Si --> S1 (since w is irrational)
that the limit set of x coincides with SZ. If x § SZ, then the orbit O(x) intersects
each interval at precisely one point. Since diam Gn --> 0 as II ---> oo, the limit
set of the point x also coincides with SZ. Consequently, the limit set of the Denjoy
diffeomorphism f is the Cantor set Q.
The suspension sus (f) gives the desired Denj oy flow. It follows from the forego-
ing that the limit set 1(sus(f )) of sus(f ), which consists of the trajectories passing
through points of Q, is locally homeomorphic to the direct product of a closed
bounded interval and the Cantor set.
It follows from the denseness of each orbit of the rotation Rw, the relation
h o f = Rw o h, and the monotonicity of h that any orbit in SZ with respect to the
diffeomorphism f is dense in Q. Therefore, each trajectory of the flow sus(f) in the
limit set 1(sus (f)) is dense in Q (sus (f)) .
2It can be shown that the fourth separatrix of a saddle OZ does not belong to SZ and does
not have SZ as its a- or w-limit set.
28 1. DYNAMICAL SYSTEMS ON SURFACES
FIGURE 1.33
3) the W-separatrices of the saddle 0(0, 0) (that is, the separatrices tending to
the saddle as t ---> +oo) intersect the line x = -2 at the points (-2, 1) and (-2, -1);
4) one a-separatrix of the saddle 0(0,0) (that is, a separatrix tending to the
saddle as t - -oo) tends to the node as t --> +oo, while the other a-separatrix
coincides with the ray y = 0, x > 0;
5) the vector field of phase velocities of f t is the image of the vector field of
the dynamical system (A) : x = x -I- x2, y = -y (Figure 1.34) under the action
of a C°°-diffeomorphism Sp : R2 --> J2 for which the arc C(x < 1) of the circle
x2 -I- y2 = 4 passes into the segment x = -2, -2 < y < 2, the arcs dl and d2 of
trajectories of the flow (A) (see Figure 1.34) pass into the arcs y = 2, -2 < x < 2
and y = -2, -2 < x < 2 of trajectories of f t, respectively, and the segment of the
line x = 2 between d1 and d2 passes into the segment x = 2, -2 < y < 2.
FIGURE 1.34
It is not hard to see that the trajectories of the dynamical system (A) intersect
the arc C transversally.
3. EXAMPLES OF FLOWS WITH LIMIT SET OF CANTOR TYPE 29
FIGURE 1.35
FIGURE 1.36
FIGURE 1.37
We replace the vector field of phase velocities of the flow gt in the neighborhood
U by the vector field (x')(), where V is the restriction of the vector field of
the flow ft to the rectangle [-4, 2] x [-2, 2]. The vector field obtained on T2 is
denoted by T'. Let f t be the flow induced by the field W . Then f t is the desired
C1-Cherry flow (Figure 1.37). It follows from the property 7) that the limit set of
f t includes a saddle, a node, and a set coinciding with the limit set of the Denjoy
flow outside the neighborhood U.
3.3. An example of a flow on the sphere. We consider two disks D1 and
D2 bounded by circles S1 and S2 of unit length. Each circle will be represented as
def
the interval [0, 1] with endpoints identified (Si = [0, 1] i = 1, 2). Suppose that
on each disk Di, i = 1, 2, we are given the same foliation FZ, i = 1, 2, with two
singularities of "thorn" type and with leaves transversal to the boundary t9 D =
i = 1, 2 (Figure 1.38). Furthermore, the points x,1 - x E S2 lie on a single leaf for
anyxES2,i=1, 2.
FIGURE 1.38
action of G as shown in Figure 1.39. The natural projection it : ll82 --> ll82/G = 82 is
a universal branched covering with four branch points ir(m/2, n/2) E 82, m, n E Z,
each with branching order two.
FIGURE 1.39
The family of lines y = -tux -I- A, A E R, forms a foliation on 1182 which projects
into the foliation F on S2. The lines passing through the points with integer and
half-integer coordinates project into leaves containing singularities of "thorn" type.
We remark that the foliation F is obtained as the image of an irrational winding
(without taking into account the direction in time) of the torus T2 under a two-
sheeted branched covering T2 --> 8 2 with four branch points of index two.
We take a leaf L of F and denote by xn, n E N, the points where L intersects
81. With the respective points xn we associate numbers an > 0 such that the series
aconverges. The subsequent construction is an operation of "blowing up"
the leaf L and is analogous to the similar operation in the construction of a Denjoy
flow.
With each number a, n E N, we associate an open interval Gn of length an,
and we arrange the intervals Gn, n e N, on the circle 8(1+ a), where a = 1 an,
corresponding to the way the points x, n E N, are arranged on S1, with the Gn
disjoint.
Since the set of xn, n E N, is dense in S1, the set SZ1 = S(1+ a) \ UGn (n E N)
0
is a Cantor set. Denote by SZ1 C Q the subset of points that are not endpoints of
the intervals Gn, n E N.
In view of the distribution of the Gn, n E N, there exists a continuous orienta-
tion-preserving mapping h : 8(1 -I- a) ---> 8 1 carrying cl(Gn) into xn, n E N, and
0
one-to-one on the set Q1.
Let D 1 C R2 be the disk bounded by the circle 8(1 -I- a). We construct on
D 1 a foliation F1 transversal to the boundary 3D1 = 8(1 + a) and having two
singularities of "thorn" type. For definiteness and for simplicity we assume that
the leaf L does not contain a singularity, although it will be clear from what follows
how to modify the construction in the opposite case.
Denote by b1, b2 E 8 1 points lying on leaves of F1 that contain singularities of
"thorn" type (Figure 1.38). In view of our assumption, b1, b2 § L. We require that
o
for the foliation F1 the points h-1(b1), h' (b2) E SZ1 lie on leaves with singularities
3. EXAMPLES OF FLOWS WITH LIMIT SET OF CANTOR TYPE 33
of "thorn" type. Suppose that the points cl, c2 E Sl do not lie on the leaf L and
0
are joined by a leaf of the foliation F1; then the points h-1(cl), h-1(c2) E Q1 are
o
also joined by a leaf of the foliation F1 (recall that h is one-to-one on SZ1) If the
.
points xi, x3 E L n Si are joined by a leaf of F1 (that is, these points belong to
a component of the intersection L n D 1), then we require that each point of the
interval cl(Gi) be joined by a leaf of F1 to some point of the interval cl(G3) (Figure
1.40). Since h* is an orientation-preserving continuous mapping, a foliation F1 with
the required properties exists.
FIGURE 1.40
We now realize similarly an operation of "blowing up" the leaf L for the foliation
F2 on the disk D2. We get a foliation on the disk D2 bounded by the circle 5(1 +a).
Because of the equality R( L n Si) = L n S2 and the fact that h is an orientation-
preserving continuous mapping, there is a homeomorphism f : 8(1+ a) - 8(1+ a)
such that
(3.4) Rµoh=ho f
(see §2.5 in Chapter 5 for a rigorous construction of the homeomorphism f).
We identify the boundaries of the disks D1 and D2 with the help of f. The
foliations F1 and F2 form a foliation F on the sphere 52 obtained. Denote by Q
the set of leaves of F passing through points in SZ1 C 5(1 -I- a) C S2. It is clear
that SZ is locally homeomorphic to the product of a closed bounded interval and
the Cantor set.
It follows from (3.4) that SZ is the union of all the self-limit leaves of F (a leaf L0
is called a self-limit leaf if for any point m0 E L0 and any segment > transversal to
the leaves and passing through m0 the intersection L0n> has m0 as an accumulation
point). All the remaining leaves of F are proper; that is, the intrinsic topology of
each of them coincides with the topology induced by the topology of the sphere S2
(consequently, these leaves are not self-limits).
34 1. DYNAMICAL SYSTEMS ON SURFACES
o ,.. o
Denote by F the restriction of F to the set 82 \ Q. The family F of curves is
0
orientable. Therefore, by Theorem 2.3 (Whitney's theorem), F can be imbedded
in a flow f t on 82, and each point of SZ is an equilibrium state of ft. The limit
set of any trajectory lying in 82 \ Q coincides with f Consequently, f t is the
desired C°-flow on the sphere with a limit set of Cantor type. The flow f t can be
constructed to be also of smoothness class C°° (see Chapter 7).
In conclusion we note that a foliation analogous to F can be obtained from
the diffeomorphism f0 : 82 _ SZ constructed by R. V. Plykin in the paper Sources
and sinks of A-diffeomorphisms of surfaces (Mat. Sb. 94 (136) (1974), 243-264;
English transl. in Math. USSR Sb. 23 (1974)). The unstable manifolds of the points
of the hyperbolic attractor of f0 form a family of curves that can be imbedded
in a foliation analogous to the one constructed. See also Plykin's survey, On the
geometry of hyperbolic attractors of smooth cascades (Uspekhi Mat. Nauk 39 (1984),
no. 6, 75-113; English transl. in Russian Math. Surveys 39 (1984)).
LEMMA 4.1. Through each regular point of a flow there passes a contact free
segment.
It is not hard to give an example of a flow for which no regular point has a
contact-free cycle passing through it (for example, a flow on a sphere with two
saddles and four centers).
4. THE POINCARE INDEX THEORY 35
a) b)
FIGURE 1.41
(Figure 1.42).
FIGURE 1.42
36 1. DYNAMICAL SYSTEMS ON SURFACES
J
a) b) c)
FIGURE 1.43
FIGURE 1.44
There is a proof of Theorem 4.1 in the book [3] (English pp. 511-515).
The following result can be proved by induction.
THEOREM 4.2 (the sum of the indices). Suppose that a nondegenerate cycle C
of a flow f t bounds a simply connected domain D on a two-dimensional manifold
M, and suppose that D contains finitely many equilibrium states of f t. Then the
index of C with respect to f t is equal to the sum of the indices of the equilibrium
states in D.
COROLLARY 4.2. If the index of a nondegenerate cycle bounding a simply con-
nected domain D is nonzero, then there is at least one equilibrium state in D. In
particular, a simply connected domain bounded by a contact free cycle (according to
Corollary 4.1) contains at least one equilibrium state.
COROLLARY 4.3. Suppose that a closed trajectory l of the flow f t bounds a
simply connected domain D on M, and that f t has only isolated equilibrium states.
Then D contains at least one equilibrium state.
FIGURE 1.45
tangency, and therefore j (C, f t) = 1. The required assertion follows from this and
Corollary 4.2. LI
4.4. The Euler characteristic and the Poincare index. Recall that the
Euler characteristic x(M) of a closed orientable two-dimensional manifold M of
genus p > 0 is equal to x (M) = 2 - 2p. If M is nonorientable, then X (M) = 2 - p.
THEOREM 4.3 (Poincare). Let f t be a flow with finitely many equilibrium states
m1,.. . , mj on a closed two-dimensional manifold M. Then > 1 j (mif ft) =
j(mZn, ft) = 2 - 2q - r,
where the summation is over all equilibrium states in Mq.
PROOF. Mq can be imbedded in a closed orientable two-dimensional manifold
Mq of genus q (Mq is obtained by "attaching" disks to Mq along the contact-free
cycles C1,.. . , CT ), and a flow f t can be defined on Mq that has r nodes and the
equilibrium states of ft that lie in Mq. The required assertion follows from Theorem
4.3 and the fact that the index of a node is equal to 1. El
COROLLARY 4.5. Assume the conditions of Corollary 4.4, and suppose that f t
does not have equilibrium states on Mq. Then Mq is homeomorphic to an annulus.
PROOF. It follows from Corollary 4.4 that 2 - 2q = r > 1. Since q > 0 is an
integer, we have that q = 0 and r = 2.
FIGURE 1.46
Let F be a foliation on a surface M with the set z (F) of singularities, and let
C C M \ z (F) be a simple closed curve with only finitely many points of tangency
to leaves of F. Such a curve, with a direction (taken to be positive) introduced on
it is called an orientable nondegenerate cycle.
If the surface M is orientable, then the nondegenerate cycle C has a neighbor-
hood DC homeomorphic to an annulus, and C divides it into two components DC
and DC, which are also homeomorphic to an annulus (Figure 1.47). Denote by DC
(respectively, DC) the component of DC \ C to the left (right) upon traversing C
in the positive direction.
FIGURE 1.47
In order for the following definitions to agree with the preceeding ones in the
case when C bounds a simply connected domain in M we denote by DC the com-
ponent belonging to the simply connected domain, and we orient the curve C
correspondingly.
40 1. DYNAMICAL SYSTEMS ON SURFACES
FIGURE 1.48
the pasting homeomorphism to be such that we get a transitive foliation F0, and
therefore all the subsequent foliations will also be transitive).
On the disk D2 we take a leaf Lo of F2 dividing D2 into two domains D21 and
D22, one of which, say D21, contains one singularity of thorn type, while the other
(D22) contains a tripod and two thorns (Figure 1.48). The boundary &D22 of D22
consists of the leaf Lo and a segment transversal to the leaves of F2. Denote by
A0 the simple closed curve into which &D22 passes when D1 and D2 are pasted
together. Then A0 divides 82 into two disks, which we also denote by D1 and D2.
We introduce an orientation on A0 such that the disk D2 (which contains the tripod
and two thorns) is to the left upon moving along A0 in the positive direction. It is
not hard to see that the index of the oriented curve A0 with respect to the foliation
FD is equal to the index of a singularity of thorn type; that is, j (Ao, Fo) = 1/2
(Figure 1.49).
FIGURE 1.49
Denote by u1, u2 E D2 and u3, u4, u5 E D1 the thorns of the foliation FD (see
Figure 1.49). There exists a two-sheeted branched covering ir0 : T = M2 82 with
the four branch points u1, u2i u4, and u5 (each of index two). We describe the
covering 710 and its construction in greater detail. Let U12 C D2 and U45 C D1
be arcs without self-intersections joining the respective pairs u1, u2 and 'U4, u5 and
not passing through any other singularities of F0. Moreover, U12 and U45 can be
42 1. DYNAMICAL SYSTEMS ON SURFACES
assumed to be transversal to F0. Cutting 82 along U12 and U45, we get a surface
M0,2 of genus 0 with two holes. We imbed M0,2 in the three-dimensional Euclidean
space R3 with coordinates (x, y, z) in such a way that M0,2 intersects the axis Oz
only at the points u1, u2, u4, and u5, and each component of the boundary &M0,2
is invariant with respect to the rotation yz : -R3 about the axis Oz through a
180° angle. The transformation yz has the form x = -x, y = -y, z = z. Then the
surfaces M0,2 and yz (Mo,2) have a common boundary, and the union Mo,2 Uyz (Mo,2)
is a two-dimensional torus T. By construction, the quotient space T/G(yz) of T
by the group G('yz) generated by the element yz is homeomorphic to 82, and the
natural projection ir0 : T -* T/G('yz) 82 is a two-sheeted branched covering with
the four branch points u1, u2, u4, and u5.
FIGURE 1.50
On T there exists a foliation F covering the foliation F0. Two tripods at the
points 7f -1(Y) = {Y1, Y2 } and two thorns at the points i0 1(u3) = {Vi, v2} E T
make up the singularities of F.
Since j (Ao, F0) = 1/2, both the curves Al and )'2 in the complete inverse image
ir0 1(ao) also have index 1/2 with respect to F when equipped with the orientation
induced by the covering 710.
It follows from the construction of the covering 710 that the curves Al and A2 are
not homotopic and hence not homologous to zero; that is, each of them separates
the torus T (Figure 1.51). Therefore, there exist arcs d1, d2 C T \ {A1} not passing
through singularities of F and joining the respective pairs Y1, v1 and Y2, v2 of
points. The arcs d1 and d2 can be constructed to be transversal to the foliation
F. Next, we proceed as above, cutting T along d1 and d2 and constructing a two-
sheeted branched covering : M3 -* T with the four branch points Y1, Y2, Vi, and
v2 (Figure 1.52). The foliation F on M3 covering F has only two singularities:
each being a saddle with six separatrices. However, each of the closed curves Al
and ) 2 in the complete inverse image it (A1) has a nonintegral index with respect
4. THE POINCARE INDEX THEORY 43
FIGURE 1.51
FIGURE 1.52
to the foliation F. Therefore, the leaves of F are not globally orientable; that is,
the family of regular leaves of F cannot be imbedded in a flow.
Remark. About a result of El'sgol'ts. Suppose that a flow f t on a closed
two-dimensional manifold M has only isolated equilibrium states. According to
Theorem 4.3, the sum of the indices of all the equilibrium states of f t is equal to
the Euler characteristic x (M), and the number x gives a lower bound for the
sum of the moduli of the indices of all the equilibrium states. If the equilibrium
states are of the simplest type, that is, are stable and unstable nodes or saddles
44 1. DYNAMICAL SYSTEMS ON SURFACES
with four separatrices, then the lower bound of the number of equilibrium states
can be made concrete.
Let us consider a flow f t having equilibrium states only of the simplest type.
Define k0 (k2) to be the number of unstable (stable) nodes of f t, and k1 to be the
number of saddles with four separatrices. Since the index of a node is equal to 1,
while the index of a saddle is equal to -1, we have that
(k0 + k2) -k1 =x( )
We consider the case of a closed orientable two-dimensional manifold of genus
p > 1. Then
(k0+k2)-k1 =2-2p<0.
This implies that the smallest number k1 of saddles is equal to 2 - 2p, and then
k0 = k2 = 0. Thus,
ko > 0, k1 > 2-2p, k2 > O.
If M is the sphere S2, then (k0 + k2) -k1 = 2. Therefore, the smallest value of the
sum k0 + k2 is equal to 2, and then k1 = 0. It can be shown that
ko>1, k1>0, k2>1.
Analogous estimates can be obtained for nonorientable M. All the estimates are
sharp.
The result described was obtained with the use of Betti numbers by L. E.
El'sgol'ts (An estimate of the number of singular points of a dynamical system
given on a manifold, Mat. Sb. 26 (68) (1950), 215-223), and later reproved in
[100].
CHAPTER 2
FIGURE 2.1
FIGURE 2.2
FIGURE 2.3
--y
mj
FIGURE 2.4
1.2. The Poincare mapping. Let m m2 be the arc with endpoints m1 and
m2 on a trajectory l of a flow f, and let and 2 be disjoint contact-free segments
passing through m1 and m2, respectively, such that m m2 U ) = {ml, m2}
(Figure 2.5). For definiteness it will be assumed that m2 E l+ (ml ); that is, the
point m2 is hit upon moving along l from m1 with increasing time.
By Theorem 1.1, there exists a neighborhood C of m1 on such that for
any m E the positive semitrajectory l+ (m) intersects 2 without first intersecting
. Denote by rri the first point where l+ (m) intersects 2 (Figure 2.5).
FIGURE 2.5
def
DEFINITION. The mapping P = P(m, ) : -
assigning the point m E
2 to a point m E according to the rule above is called the Poincare mapping
(induced by the flow ft).
Theorem 1.1 gives us
LEMMA 1.3. Let P = P(m, ) : - 2 be the Poincare mapping of the
contact free segment into the contact free segment 2 induced by a C'' flow f t .
Then P is a C'' -diff eomorphism of onto its range.
48 2. STRUCTURE OF LIMIT SETS
FIGURE 2.6
FIGURE 2.7
PROOF. The closedness (compactness) of M implies that the limit set w(l (m))
(a(l(m))) is nonempty. The fact that it is closed follows immediately from the
definition of a limit set (see §3 in Chapter 1). If ml, m2 E w (l (m)) (a(l(rn)))
are two distinct points, then any neighborhoods of them are joined by an arc of
the trajectory 1(m), which is an arcwise connected set. This implies that w(m) is
connected. The invariance of w (l (m)) follows from the continuous dependence of
trajectories on the initial conditions. 0
FIGURE 2.8
Therefore, the curve yo in U is not homotopic to zero and together with to bounds
an annular domain K C U (Figure 2.8).
Denote by and Y the components of the set \ m0, and let m1, m2 E + .
There are two possibilities: 1) the positive semitrajectory l+(m2) does not intersect
- in some neighborhood of m0i 2) l+(m2) intersects - at points arbitrarily close
to ma .
In case 1) we show that m2 lies on between m1 and m0. Assume not; that
is, assume that m1 lies between m2 and m0. Then l + (m2) leaves the annulus K
and cannot hit it after that since on m1m2 C all the positive semitrajectories go
out of K (Figure 2.9). But in case 1) this means that l+ (m2) does not intersect
in some neighborhood of m0, which contradicts the inclusion m0 E w (l+ (m2)) .
FIGURE 2.9
Let us prove the lemma in case 1). Thus, m2 lies on between m0 and m1, and
hence m2 E o (the domain of the Poincare mapping F). We show that the point
m3 = P (m2) lies on between m2 and m0. Indeed, the semitra j ectory l + (m2) ,
upon entering K, cannot leave it because on the segment m1m2 all the positive
semitrajectories go into K (see Figure 2.8). For the same reason, m3 m1m2, and
hence m3 E m 1 ma C .
FIGURE 2.10
1. INITIAL CONCEPTS AND RESULTS 51
In view of the property b), the sequence mk, k E N, has a limit mE . Since
mo E w (l + (mi)), we have that m= mo. Moreover, according to the properties b)
and c), mo is the unique accumulation point of the sequence mk, k E N.
Assume that a trajectory l* to is in the w-limit set w(l). Since l+(m1) C K,
l C K. It follows from the theorem on continuous dependence of trajectories on the
initial conditions and the long flow tube theorem (Theorem 1.1) that l intersects
the segment f1 K at some point m mo, but it follows from l C w (l) that
m must be an accumulation point of the set l+(m1) f1 = U{mk}, k E N. This
contradiction (to the fact that mo is the unique accumulation point of the sequence
mk, k E N) proves the lemma in case 1).
Let us consider case 2). It follows from the preceding arguments that in this
case the semitrajectory l+(m2) leaves K and does not hit K after that. In a way
completely analogous to the construction of K we construct an annulus K bounded
by an arc rn1 rn2 of the semitrajectory l + (m2) and by the segment m1 m2 C K
(Figure 2.11). Since to C w(l), the semitrajectory l+(n2) must enter the annulus
K, and hence the point m2 on - lies between m1 and mo. The rest of the proof
is entirely analogous to that in case 1), with K, m1i and m2 replaced by K, m1,
and m2, respectively. 0
The next result is an immediate consequence of the proof of Lemma 1.6 and
the theorem on continuous dependence of trajectories on the initial conditions.
FIGURE 2.11
COROLLARY 1.3. Suppose that the conditions of Lemma 1.6 hold and fix a point
m E 1. There exists a neighborhood 'U(m) of m such that the w- («-) limit set of
any trajectory passing through 1L(m) coincides with la.
1.4. Minimal sets.
DEFINITION. A minimal set of a flow is defined to be a nonempty closed in-
variant set not containing proper closed invariant subsets.
52 2. STRUCTURE OF LIMIT SETS
The simplest examples of minimal sets are equilibrium states and closed tra-
jectories. An irrational winding on the torus provides an example of a minimal set
that coincides with the torus.
In the limit set SZ (sus(f)) of a Denj oy flow (see §3.1 in Chapter 1) each trajectory
is dense in 1 (sus (f)) . Therefore, this limit set is a minimal set. Further, it is
nowhere dense on the torus and has the local structure of the product of a closed
bounded interval and the Cantor set.
LEMMA 1.7. Let N be a minimal set for a flow f t on a compact manifold M.
Then:
1) either N = M or N is nowhere dense in M;
2) each trajectory in N is dense in N, and, moreover, N coincides with the w-
(a-) limit set of any of its trajectories.
PROOF. It follows from the invariance of N and the theorem on continuous
dependence of trajectories on the initial conditions that the boundary aN (a point
xo is in aN if any neighborhood of it contains a point in N and a point not in
N) of N is also invariant. Since N is a minimal set, either aN = N or aN = 0.
Consequently, either N does not contain interior points (and then is nowhere dense
in M), or N coincides with the set int N of its interior points. In the last case
N = int N is open and closed, so that N = M.
According to Lemma 1.5, the w- (a-) limit set of any trajectory is invariant
and closed. This and the definition of a minimal set give us the assertion 2).
similarly that a(l) C NW(ft) for any trajectory 1. For a compact manifold w(l)
(a(l)) 0 (Lemma 1.5), and hence NW(ft) O. 0
FIGURE 2.12
2. THE THEOREMS OF MAIER AND CHERRY 55
FIGURE 2.13
1 Recall that a set N is said to be perfect if any point x E N is an accumulation point of the
rest of the set, N \ {x}.
56 2. STRUCTURE OF LIMIT SETS
REMARK. It follows from the proof of Lemma 1.2 that a contact-free cycle can
be drawn through any given point of the trajectory 1.
LEMMA 2.4. Let f t be a low on the surface M, and let G C M be a subman-
ifold homeomorphic to the sphere S2 with finitely many holes (perhaps none). (In
particular, if G = S2, then M = S2). In this case G cannot entirely contain a
nontrivial recurrent semitrajectory.
PROOF. Assume the contrary. Then, by Lemma 2.3, there exists a contact-
free cycle C C G that does not separate G. But this contradicts the Jordan curve
theorem, which says that any simple closed curve separates a sphere with finitely
many holes (perhaps none) into two domains. 0
It follows from Lemma 2.4 that there are no flows on the sphere with nontrivial
recurrent semitrajectories (this was proved in [36]). According to § § 2.3 and 2.4 in
Chapter 1, all other closed orientable surfaces have transitive flows, and hence flows
with nontrivial recurrent semitrajectories. Among the closed nonorientable surfaces
there are two on which such flows are absent, namely, the projective plane (a closed
nonorientable surface of genus p = 1) and the Klein bottle (a closed nonorientable
surface of genus p = 2). For the projective plane this follows from the fact that the
sphere is a two-sheeted covering for it. As for the Klein bottle, the torus is a two-
sheeted covering for it on which there can be nontrivial recurrent semitrajectories,
and hence the absence of such semitrajectories on the Klein bottle necessitates a
special treatment. In the absence of equilibrium states on the Klein bottle this
proposition was proved by Kneser [90], while in the presence of equilibrium states
it was proved independently in 1969 by Markley [95] and Aranson [8]. In 1978
the result was reproved by Gutierrez [85]. At the same time, on any nonorientable
closed surface of genus p > 3 there exists a transitive flow (the construction of such
flows is left to the reader as an exercise). We sum up these facts as a lemma.
LEMMA 2.5. The following three surfaces do not have flows with nontrivial
recurrent semitrajectories:
1) the sphere (an orientable surface of genus 0);
2) the projective plane (a nonorientable surface of genus 1);
3) the Klein bottle (a nonorientable surface of genus 2).
All other closed surfaces (orientable or not) have flows with nontrivial recurrent
semitrajectories (even transitive flows).
PROOF. A flow having nontrivial recurrent trajectories can be constructed on
a closed nonorientable surface of genus p > 3 by starting from a Denjoy flow on the
torus and attaching the necessary number of Mobius bands in the domain T2\(ft),
where 1(f t) is the minimal set of the Denjoy flow f t.
We prove that on the projective plane RP2 there are no flows with nontrivial
recurrent semitrajectories. Assume the contrary: suppose that the flow f t on
has such semitrajectories. Denote by r : S2 a two-sheeted (unbranched)
v
2. THE THEOREMS OF MAIER AND CHERRY 57
covering, and by f' the flow on S2 covering f t . Our assumption implies that there is
a nonclosed semitrajectory l ( ) of f t on S2 whose limit set contains a regular point.
By Lemmas 1.2 and 2.2, there exists on S2 a simple closed curve not separating
S2, and this contradicts the Jordan curve theorem.
We show that the Klein bottle K2 does not have flows with nontrivial recurrent
semitrajectories. Of the three proofs in [8], [95], and [85] we present the proof of
Gutierrez [85].
Assume the contrary: let f t be a flow on K2 with a nontrivial recurrent semi-
trajectory l+. In view of Lemma 1.2, there exists a contact-free cycle C for f t that
intersects 1+. Since C is a contact-free cycle, it has a cylindrical neighborhood in
K2 (that is, C is a two-sided closed curve). Repeating the proof of Lemma 2.2,
we show that C does not separate K2. Therefore, K2 \ C is an annulus with two
boundary components C1 and C2, and to obtain a Klein bottle from K2 \ C we must
paste C1 and C2 together by means of an orientation-preserving homeomorphism
Sp : C1 - C2 (Figure 2.14).
FIGURE 2.14
FIGURE 2.15
In Figure 2.15 the sets 11, U2 and the sets l1, u3 are not coupled with respect
to 1, but u2 and u3 are coupled with respect to 1.
By a closed disk we mean a set homeomorphic to the closed unit disk. Let int D
be the interior of a set D. In what follows we take l to be a positive semitrajectory
and denote it by l+.
LEMMA 2.6. Let 1 be a neighborhood with the structure of a constant field
intersecting the P+ nontrivial recurrent semitrajectory l+. Then for any closed
disk D C 1 with int D f1 l+ 0 there exist closed disks Do, D1 C D that are not
coupled with respect to 1 and such that int Di f1 l+ 0 for i = 0, 1.
PROOF. It follows from Lemma 2.1 and Corollary 2.1 that int D intersects l+
in a countable set of disjoint arcs of l+, and this yields the required assertion. U
We take a closed disk (D,ij, T) encircling the point m1 and lying in 1(mi)fl
12 (m1). Then rl, T)] C 1(mo) for t = -t1 <-T and t = t2 >T. Since
m1 E int (D, rl,T)l1+, it follows that int (D, rl,T)l1+ 0. Obviously, (D, rl, T)
can have arbitrarily small diameter. 0
PROOF OF THEOREM 2.1. We take numerical sequences rjl > 72 > >
rln>... withrln-OandO<T1 <T2<<Tn<... within-oo,a
v
2. THE THEOREMS OF MATER AND CHERRY 59
2Cmo)
FIGURE 2.16
point mo E l+, and a neighborhood U with the structure of a constant field such
that U n l+ 0 and mo cl (c) def= D. By Lemma 2.7, there exists a closed disk
(D, ij1,T1) C D of diameter less than i1. According to Lemma 2.6, there are closed
disks Do, D 1 C (D, )1,T1) that are not coupled with respect to U and such that
int DZ n l+ 4 0 for i = 0,1 (Figure 2.17). Again using Lemma 2.7 for the numbers
72 and T2 and the closed disks Do and D 1, we get closed disks (DZ, )2, T2) C Di
(i = 0,1) with diameter less than 7)2, and so on. This process of obtaining closed
disks is pictured in Figure 2.18. As a result we have a family of closed disks
i E {0,1 }, with the following properties:
FIGURE 2.17
U
T1
C-
U U
L v v
U U U U
?,1) OL'2 '1,)
(1 v (1 v v v U )
ooo
v
oo i
U
4l0
U
o!!
U
cioo
v v
!!0
v
lii
v
FIGURE 2.18
that is, 1(Q) is a recurrent trajectory (see (2.3) in §2.1) which is dense in cl(l+).
The inclusion l+ C cl(l(Q)) implies that 1(Q) is a nonclosed trajectory.
It remains to show that the set of trajectories 1(Q) has the cardinality of a
continuum.
We take two different points Q2.. and Q3132... and let i7
, jn be the first
distinct indices. Then in view of the property 4) the respective points Q2122.., and
Q3132... lie in closed disks D21,.,Zn and that are not coupled with respect to 'IL,
and hence they belong to different arcs of trajectories in the neighborhood 'IL. Thus,
U contains a continuum of arcs of trajectories on which the points Q = Q2122... lie.
According to Corollary 2.1, each nontrivial recurrent trajectory intersects U in a
countable family of arcs; therefore, the set of distinct trajectories 1(Q), Q = Q1...,
has the cardinality of a continuum. 0
and p2, then in view of the equality P1 +p2 = p one of the surfaces has at least
2pi disjoint simple arcs that combine to distinguish a simply connected domain on
(and hence on Mr), because of the induction hypothesis for p2 <P .
Suppose that none of the arcs d1i ... , d2 separates M. Cutting M along d1,
we obtain a compact surface M,_1 of genus p - 1 with two boundary components
K1 and K2. Two cases are possible: 1) the endpoints of all the arcs d2,. . . , d2 ,
62 2. STRUCTURE OF LIMIT SETS
belong to a single component, say K1; 2) at least one of d2,. . , d22 (say d2) joins
.
K1 to K2. In case 1) we use a disk to paste closed one hole of the surface
along the component K2. On the resulting surface M_1 of genus p - 1 there are
2p - 1 disjoint simple arcs with endpoints on K1 = DM_ 1. By the induction
hypothesis, these 2p - 1 > 2p - 2 arcs distinguish a simply connected domain on
Mp_ 1. In case 2) we cut M_1 along d2. We get a surface M_1 of genus p -1 with
a single boundary component and 2p - 2 holes that, by the induction hypothesis,
distinguish a simply connected domain. This proves a).
The assertion b) follows from a), since cutting NYC, along one arc yields a surface
of genus p with a single boundary component and 2p disjoint simple arcs.
According to b), cutting M along 2p + 1 arcs leads to a flat simply connected
domain on which a countable family of disjoint simple arcs is left. This gives us c).
0
Following Gutierrez, we present the
DEFINITION. Let be a contact-free segment or a contact-free cycle for a flow
f, and let l be a trajectory of f t that intersects at points m1i m2 E l f1 . The
arc m 'm2 of l with endpoints m1 and m2 is called a - arc if m 7m2 n = {m1, m2 },
that is, m m2 intersects only at the endpoints m1 and m2 (Figure 2.19).
FIGURE 2.19
FIGURE 2.20
We now assume that the theorem is false, that is, l is not a P+ recurrent
trajectory. Then there is an interval J on that contains the point m1 E l f1
and does not contain any other points of the intersection l+ (m1) l (Figure 2.21).
Passing to a subsequence and changing the notation if necessary, we can assume
that all the points in {m}° belong to a single component of \ {mo} and form a
monotone sequence; that is, for each i = 2, 3, ... the point m2+1 lies on between
m2 and mo.
FIGURE 2.21
Assume for definiteness that l C w(l') (the proof is analogous in the case l C
get from the inclusion m1 E w(l') and the theorem on continuous dependence of
trajectories on the initial conditions that there is an arc C l' that does not
intersect the arcs but intersects between mo and Since
is compact, there is a point E {m}° such that intersects between
64 2. STRUCTURE OF LIMIT SETS
FIGURE 2.22
m3k+l and but does not intersect between m0 and m3k+l+1 Continuing
in this way, we obtain the required family {lk } 1 of arcs.
Let us cut the surface M along J, and denote by M' the resulting surface with
boundary K. The arcs k E N, pass into arcs (which we also denote by 13k) on
M' with endpoints on K. According to Lemma 2.8, for some k0 the family of arcs
... , 0 distinguishes a simply connected flat domain G on M', and, moreover,
we can assume without loss of generality that is a part of the boundary of G.
Since intersects between and +1, while the remaining arcs of the
family distinguishing a simply connected domain do not intersect between m0
and it follows that one of and +1 lies interior to G (Figure 2.23).
By assumption, the semitrajectory l+ (m1) has at most one point of intersection
with the boundary of G (possibly at m1). Therefore, the whole of l+ (m1) must lie
in the flat simply connected domain G (as must m0). Then any s-arc pq of l+ (m1)
intersecting only at the endpoints p and q combines with the segment pq C to
bound a disk on NYC, and this is impossible. 0
FIGURE 2.23
v
2. THE THEOREMS OF MAIER AND CHERRY 65
Theorem 2.3 means that if one nontrivial recurrent semitrajectory is a limit for
another nontrivial recurrent semitrajectory, then the second is a limit for the first.
DEFINITION. Nontrivial recurrent semitrajectories l1 and 4) are said to be
independent if they are not limits for each other; that is, neither lies in the limit
set of the other.
According to Theorem 2.3, the relation of dependence of nontrivial recurrent
semitrajectories is an equivalence relation, and hence the set of nontrivial recurrent
semitrajectories of a flow is broken up into equivalence classes. The following the-
orem of Mater gives an upper estimate for the number of these equivalence classes.
THEOREM 2.4. On a closed orientable surface M of genus p > 0 there cannot
be more than p independent nontrivial recurrent semitrajectories.
PROOF. According to Lemma 2.4, there are no nontrivial recurrent semitra
jectories on a surface M = S2 of genus p = 0. Therefore, let p > 1.
Assume the contrary, that M has p -I-1 independent nontrivial recurrent semi-
trajectories lv,... Since these semitrajectories are independent, we can draw
through any point m2 E l a contact-free segment >2Z, i E {1,. . . , p + 1}, that is
disjoint from l for i j. We take a -arc AB of the semitrajectory l,
k = 1, ... , p -I- 1, and we form the simple closed curve KZ = AZBZ U AZBZ, where
AZBZ C >2Z is the part of Z between AZ and B.
We show that l intersects AZBZ C j, i = 1, ... , p, at infinitely many points.
For since AZ lies in the limit set of the semitrajectory l , the assumption int AZBZ n
1 $ ) = 0 implies that l intersects a segment of the complement >iZ \ AZBZ at points
arbitrarily close to AZ (Figure 2.24). It follows from the orientability of M and the
theorem on continuous dependence of trajectories on the initial conditions that l
intersects AZBZ at points arbitrarily close to BZ (infinitely many times).
66 2. STRUCTURE OF LIMIT SETS
FIGURE 2.24
FIGURE 2.25
FIGURE 2.26
FIGURE 2.27
68 2. STRUCTURE OF LIMIT SETS
FIGURE 2.28
Let ml, m2, and m3 be the last (with increasing time) points where the re-
spective semitrajectories l,+zi = l+ (ml ), l2 = l+ (m2 ), and l3 = l+ (m3) intersect
J(m), and suppose that m2 lies on (in) between ml and m3. The semitrajectories
l+(ml) and l+(m3), the point m0, and the segment m1m3 C (m) bound a domain
D in tL(m0) (a "Bendixson bag"), and l+ (m2) enters D C U(m0) and cannot leave
it again (Figure 2.29). This contradicts the extendibility of ln2 U
.
FIGURE 2.29
FIGURE 2.30
a(li) = mo that is a Bendixson extension of l+ to the right (to the left) with respect
to tL(mo).
PROOF. Suppose that l+ is extendible to the right with respect to tL(mo). We
take a point in E l+ n U(mo) and a contact-free segment (in) C U(mo) satisfying
the definition of extendibility of the semitrajectory l+. Then all the semitrajectories
l+(m) with m E j(in) leave tL(mo).
Assume that m2 -* m, m2 E R(m), and let AZ be the first point where
l + (m2) intersects au (mo) (Figure 2.31). Denote by A an accumulation point of
the sequence of points AZ, i E N. We show that the negative semitrajectory l - (A)
does not intersect gy(m). Since the neighborhood tL(mo) is simply connected, all
70 2. STRUCTURE OF LIMIT SETS
the semitrajectories l+(m2) beginning with some index i0 intersect >(m) only at
rn, i > io. If we assume that l-(A) intersects (m) at a point m*, then rn -* m*,
and hence m* = in, which is impossible.
FIGURE 2.31
oE(e+)
FIGURE 2.32
FIGURE 2.33
If in the preceding definition there exists for any sufficiently small S > 0 a
semitrajectory going out of Ub,R (U5,L) and leaving the e-neighborhood of l+ with
increasing time, then l+ is called a right-sided (left-sided) separatrix. A separatrix
that is right-sided and left-sided is said to be two-sided.
LEMMA 3.2. A semitrajectory l+ (1-) tending to an isolated equilibrium state
m0 is an w- (a-) separatrix (right-sided or left-sided) if and only if there exists a
neighborhood U(mo) of m0 with respect to which l+ (1-) is extendible (to the right
or to the left).
PROOF. This follows from the above definition and the theorem on continuous
dependence of trajectories on the initial conditions. U
The next result is a consequence of Theorem 3.2 and Lemmas 3.1 and 3.2.
LEMMA 3.3. An arbitrary w- (a-) separatrix of an isolated equilibrium state
has a Bendixson extension to the right or to the left that is an a- (w-) separatrix
of the same equilibrium state.
In the next lemma we give a sufficient condition for a semitrajectory tending
to an isolated equilibrium state to be a separatrix, along with a sufficient condition
for an equilibrium state to have separatrices.
LEMMA 3.4. Let m0 be an isolated equilibrium state.
a) If mo = w( l) (a( 1)), where l is a regular trajectory, and l lies in the limit set
of some semitrajectory 10, then l is an w- (a-) separatrix of m0, and a Bendixson
extension of it (to the right or to the left) together with m0 also lies in the limit set
of 10.
b) If mo lies in the w-limit set of some nonclosed trajectory 1, but mo w(l),
then there exist an w-separatrix l1 and an a-separatrix l2 of m0 such that l1 U {mo } U
12 C w(l), and l2 is a Bendixson extension (to the right or to the left) of l1.
PROOF. a) We take an e-neighborhood Oe (mo) of m0 containing no equilibrium
states other than m0 and such that there are points of l outside Oe (mo) . For
definiteness we assume that m0 = w( l) and l C w (l) .
Oe (mo ), and w (l + (m)) contains a regular point, through which we draw a contact-
free segment J C Oe (mo) . Two cases are possible: 1) l+(m) is a closed trajectory;
2) l+(m) is a nonclosed trajectory.
In case 1) l + (m) bounds a simply connected domain D in Oe (mo) . By the
choice of the neighborhood O( m), , l has points outside O( m),, and hence D
does not contain mo (mU "is joined by" an arc of l to the boundary a0 (mo), and
l f1 l+ (m) = 0). On the other hand, D contains an equilibrium state by virtue
of Corollary 4.3 in Chapter 1, and this contradicts the fact that Oe (mo) does not
contain equilibrium states other than mo .
In case 2) the semitrajectory l+(m) intersects J infinitely many times. An
arbitrary :1-arc pq of l+ (m) together with the segment pq C J forms a simple closed
curve y bounding a simply connected domain D in Oe (mo) (Figure 2.34). Since an
w-limit set is invariant, w (l + (m)) has a regular point not lying on l + (m) C l (in
particular, this point can lie on l - (m) f1 Oe (mo)) . Therefore, we take the contact-
free segment J to be disjoint from l + (m) . Then 1+ (m) does not intesect y, and
hence D does not contain mo. On the other hand, the index of y with respect
to the flow is equal to 1 (see §4.5 in Chapter 1), and in view of Corollary 4.2 in
Chapter 1 there is at least one equilibrium state in D C O( m),, which contradicts
the absence of equilibrium states in Oe (mo) \ {rno}.
FIGURE 2.34
We now show that any semitrajectory l + (m) with m E R (m) leaves the neigh-
borhood Oe (mo) . Assume the contrary. Then it follows from what has been proved
that w (l + (m)) = mo, and the closed curve l + (m) U l + (m) U {inO} U mm, where
mm C (m) is the subsegment of (m) with endpoints in and m, bounds a
"Bendixson bag" D. Since l+ intersects R(m) at points arbitrarily close to in, l+
enters D across the segment mm C (m) and cannot go out of D C O (mo) . This
contradicts the inclusion l C w (l) and the fact that there are points of l outside
O6 (mo) The contradiction shows that l is an w-separatrix. It follows from the
.
FIGURE 2.35
We show that the negative semitrajectory l - (m+) does not leave Oe (m0) . As-
sume the contrary. Then there is an arc m-m+ of l - (m+) such that m- O( in)
(Figure 2.35). By the long flow tube theorem, there exists a neighborhood U of
z
m-m+ with the structure of a constant flow. Therefore, all the trajectories inter-
secting u go out of Oe (m0) as time decreases unboundedly (Figure 2.36). We take
the neighborhood U small enough that m0 U. For sufficiently large k the point
m is in U. Since the arc mkm lies in Oe(m0), it follows that ink E U. On the
other hand, ink U for sufficiently large k because m0 U and ink -f m0. This
contradiction proves that l - (m+) C Oe (m0) , and hence a (l - (m+)) C cl Oe (m0) .
FIGURE 2.36
Let us show that m0 = a(1 - (in+)). Assume not. Then a(1 - (m+)) contains
a regular point. Since m+ is an accumulation point for the points in E l+,
1 - (m+) lies in the limit set of l + According to Theorem 2.2 (the Maier criterion
.
74 2. STRUCTURE OF LIMIT SETS
The conditions and assertions of Lemma 3.4 are illustrated in Figure 2.37.
FIGURE 2.37
FIGURE 2.38
l+ (m) is a nonclosed semitrajectory, then we have a contradiction to Theorem 2.2
and Lemma 2.4. If l+(m) is a closed trajectory, then by the invariance of the w-
limit set and the inclusions w (l + (m)) C w (l +) C clU (mo) , the trajectory l + (m) =
w (l + (m)) lies in cl U (mo) and bounds a simply connected domain D C U (mo )
in the disk clU(mo). Since there are no closed trajectories in the neighborhood
U(mo) with m0 inside them, it follows that m0 D. But in view of Corollary
4.3 in Chapter 1 the domain D, and hence the neighborhood U(mo), contains an
equilibrium state other than m0, which contradicts the choice of U(mo). U
We consider an isolated equilibrium state m0 and a neighborhood U(mo) dif-
feomorphic to an open disk and not containing equilibrium states other than m0.
Suppose that the semitrajectories 4) and 4) tend to m0 (as t -* +oo or t -+ -oo),
and both have points outside U(mo). Denote by ml and m2 the last points 4) and
4) have in common with the boundary 9U(mo) (Figure 2.39).
FIGURE 2.39
The curve consisting of 4(mi), l2 (m2) C U (mo) and the point m0 separates
U(mo) into two domains U- and u+, called the curvilinear sectors bounded by the
semitrajectories l i and 4) in the neighborhood U(mo). In this notation we give the
following definition.
DEFINITION. The curvilinear sector U* in U(mo) bounded by the semitrajec-
tories lid and 4) is called a hyperbolic or saddle sector in the neighborhood U(mo)
76 2. STRUCTURE OF LIMIT SETS
if 4) and Q are separatrices of the equilibrium state mo that are Bendixson exten-
sions of each other (to the right or to the left), and any trajectory 1(m), m E u*,
leaves U* with increasing or decreasing time.
There are definitions of parabolic and elliptic sectors; however, we omit them
and confine ourselves to an illustration (Figure 2.40). See [3], §17 of Chapter 8, for
the precise definitions.
FIGURE 2.40
If the equilibrium state mo has only finitely many separatrices tending to it,
then there exists a neighborhood tL(mo) such that the number of hyperbolic, elliptic,
and parabolic sectors is the same in all neighborhoods tL' (mo) C 'la(ma). Therefore,
in this case we can refer to the number of hyperbolic, elliptic, and parabolic sectors
of the equilibrium state.
CONVENTION. Unless a statement to the contrary is made, each equilibrium
state below will be assumed to be isolated, and to have only finitely many separatrices
(possibly none) tending to it.
DEFINITION. An equilibrium state to which a finite nonzero number of sepa
ratrices tend is called a topological saddle if it has only hyperbolic sectors (Figure
2.41).
FIGURE 2.41
3. THE POINCARE-BENDIXSON THEORY 77
FIGURE 2.42
FIGURE 2.43
b) if the w- (a-) limit set of l consists of finitely many equilibrium states and
finitely many separatrices joining equilibrium states, then w(l) (a(l)) is a one-sided
contour.
The proof of a) is completely analogous to that of Lemma 1.6, in which it is
shown that if w (l) (a (l)) contains a closed trajectory, then w (l) (a (l)) is a closed
trajectory.
The assertion b) follows from Lemma 3.4 and a). 0
3.6. Lemmas on the Poincare mapping. Let f t be a flow on a compact
two-dimensional manifold PVC, and let E1 and E2 be disjoint contact-free segments
for f t such that the Poincare mapping P : E1 - E2 is defined at some point of E1
(see §1.2).
Assume that P is undefined at the endpoints of E1, and let Dom(P) be the
domain of P.
According to the theorem on continuous dependence of trajectories on the ini-
tial conditions, if P[Dom(P)] C int E2 (that is, the image of any point m E Dom(P)
is not an endpoint of E2), then the set Dom(P) is open in E1 (Figure 2.44). Con-
sequently, Dom(P) is a union of at most countably many disjoint open intervals,
which we call the components of Dom(P).
morn
FIGURE 2.44
The set Dom(P) and the concept of the components of it are defined similarly
for a contact-free cycle C of f t and for the Poincare mapping P : C - C (Figure
2.45).
FIGURE 2.45
the interval of the contact-free segment (cycle) E (C) traversed from a to b in the
positive direction.
For a, b E E let ab be the interval of E with endpoints a and b.
LEMMA 3.6. Let E1 and E2 be disjoint contact free segments for a flow f t
on a compact two-dimensional manifold, and suppose that the Poincare mapping
P : E1 - E2 has nonempty domain Dom(P). Assume that P[Dom(P)] C int E2,
and let (m1, m2) be a component of the set Dom(P). Then:
a) the semitrajectories l+(m1) and l+(m2) are w-separatrices;
b) there exists a sequence l+(m1) = l1o,111, ... ,1111 of separatrices such that l1s
is a Bendixson extension of l1 S_ 1 to the right (s = 1, ... ,k1), and the separatrices
hi (i = 0, ... , k1 - 1) do not intersect E2, but 11 k1 does intersect E2;
c) there exists a sequence l+(m2) = 120,121,... ,12k2 of separatrices such that l2s
is a Bendixson extension of l2 S_1 to the left (s = 1, ... ,k2), and the separatrices
123 (j = 0, ... , k2 - 1) do not intersect E2, but 12k2 does intersect E2;
d) the image of the interval (m1, m2) under the action of P is an interval
m1m2 C E2, where mi is the first point where 1ikZ intersects E2 with increasing
time, i = 1,2;
e) for points a, b E (ml, m2) the interval (a, b) C El, the arcs aP(a) and bP(b)
of the respective semitrajectories l+(a) and l+(b), and the interval P(a)P(b) C E2
bound an open simply connected domain in 1vC (Figure 2.46).
FIGURE 2.46
PROOF. a) Since (m1, m2) is a component of the set Dom(P), l+ (m1) and
l+(m2) do not intersect the contact-free segment E2.
We show that w (l + (ml)) is an equilibrium state. Assume not. Suppose that
w (l + (m1)) contains a regular point A. We consider first the case when l+ (m1) is
a nonclosed semitrajectory. Obviously, AE2, and there is an arc mP(m) of a
semitrajectory l+(m) with m E (m1, m2) that does not contain A. Through A
we draw a contact-free segment E(A) disjoint from E2 U mP(m), and we take an
80 2. STRUCTURE OF LIMIT SETS
FIGURE 2.47
Let us break up the closed interval cl(ml, m) aef [mi, m] into two sets: R1 =
{x E [mi, m] I the semitrajectory l+ (x) intersects C without first intersecting the
segment E2 }, and R2 = {x E [mi, m] I 1+ (x) intersects E2 without first intersecting
the cycle C}. Since m1 E R1 and m E R2, it follows that R1 0 and R2 0.
It then follows from the theorem on continuous dependence of trajectories on the
initial conditions that R1 and R2 are relatively open in the topology of the segment
[mi, m]. It is clear that R1 U R2 = 0. From this and the connectedness of [mi, m],
there exists a point m* E (mi, m) such that l+ (m*) is disjoint from C and E2,
which contradicts the fact that all the semitrajectories l+(m) with m E (ml, m2)
intersect E2.
If l+ (ml) is a closed trajectory disjoint from E2, then for points m E (ml, m2)
sufficiently close to ml the semitrajectories l+ (m) first intersect the contact-free seg-
ment E 1, and then the segment E2. This contradicts the definition of the Poincare
mapping P (see §1.2).
Thus, w(1 + (ml)) is an equilibrium state m0. Let tL(mo) be a neighborhood
of m0 disjoint from E2. It follows from the theorem on continuous dependence
of trajectories on the initial conditions that for points m E (ml, m2) sufficiently
close to m1 the semitrajectories l+(m) enter tL(mo) without first intersecting 2,
and then must leave tL(mo) in order to intersect 2. Therefore, l+ (ml) is an w-
separatrix of the equilibrium state mo (Lemma 3.2). The proof that 1+(m2) is also
an w-separatrix is completely analogous, and the assertion a) is proved.
We prove the assertion b). It follows from the foregoing that l+ (ml) is ex-
tendible to the right. By Lemma 3.3, there exists an a-separatrix 111 of m0 that is
a Bendixson extension of the w-separatrix 110 = l+ (ml) to the right. If ll 1 intersects
E2, then b) is proved. Suppose that 111 is disjoint from E2. Repeating the proof of
a) with no fundamental changes, and using the definition of a Bendixson extension,
we show that w(1i1) is an equilibrium state, and ll 1 is an w-separatrix (that is, 111 is
a separatrix joining equilibrium states). Continuing in this way, we get a sequence
110,111,.. , lu,... of separatrices, where lli is a Bendixson extension of 11 i_1 to the
right for each i > 1.
3. THE POINCARE-BENDIXSON THEORY 81
We show that 11i intersects E2 for some index i > 1 (which concludes the
proof of b)). Assume the contrary. By our convention about the finiteness of the
number of separatrices of any equilibrium state and the finiteness of the number
of equilibrium states on the compact manifold PVC, we then get that l1i contains
the semitrajectory 110 = l+ (m1) for some i > 1. Consequently, the separatrices
110,111,.. , l1i and their limit sets (the equilibrium states which they join) form a
right-sided contour. This contour is disjoint from E2 by assumption, so for points
m E (m1, m2) sufficiently close to m1 the semitrajectories 1+ (m) intersect E1 with-
out first intersecting E2 as time increases, and this contradicts the definition of the
Poincare mapping P : E 1 - E2. The contradiction proves b) .
PROOF. This can be proved according to the scheme used to prove Lemma 3.6.
We omit the proof and leave it to the reader as an exercise. 0
C,
a
FIGURE 2.48
Lemma 3.8 generalizes to flows f t that can have infinitely many equilibrium
states. It is clear that in this situation the lemma is not true in general, because
there are examples of flows with countably many impassable grains for which the
semitrajectories tending to the impassable grains separate Dom(P) into countably
many components. We proceed to a generalization of Lemma 3.8 after introducing
the necessary definitions.
Suppose that the flow f, which can have infinitely many equilibrium states,
induces a Poincare mapping P : C -p C with nonempty domain Dom(P) on the
contact-free cycle C.
DEFINITION. Two points x1, x2 E C are said to be Gutierrez-equivalent (writ-
ten as xl N x2) if there exist points a, b E Dom(P) such that (a, b) contains xl
and x2, and the closed curve [a, b] U aP(a) U bP(b) U [P(a), P(b)] bounds a simply
connected domain on the manifold (Figure 2.49).
PC
P(a)
FIGURE 2.49
3. THE POINCARE-BENDIXSON THEORY 83
Since the Cantor set is perfect and nowhere dense, its complement consists of
countably many open intervals called the adjacent intervals of the Cantor set.
THEOREM 3.5. Let f t be a flow on a closed orientable two-dimensional man-
ifold M. IfN the w- (a-) limit set of a trajectory
N
l contains a nontrivial recurrent
trajectory l of f t, then w(l) (a(l)) = cl( I).
N
N
PROOF. For definiteness we assume that IC w(l), and we prove that w(l) =
cl (l ) N N N N N
Since cl( l) = w( 1), it follows
N
from l C w (l) that cl( l) = w( l) C w (l) . It
remains
N
to prove that w (l) C cl (l) . N
If l is a locally dense trajectory, then cl( l) contains interior points Nto whichN l
comes arbitrarily Nclose. Consequently,N
there
N
are points on l lying in cl( l) = w( l).
Therefore, l C w( l) and w (l) C w( l) = cl ( I). N N N
We now consider the case of an exceptional trajectory N
I. If I C cl( l) = w( I),
then the theorem is proved, so we assume N
that l cl( 1). By Lemma 2.3, there
exists a contact-free cycle C intersecting 1, and hence also I. According to Lemma
e N
3.10, 1 cl(l n C) is a Cantor set. Therefore, the complement C \ 1 consists
of countably many disjoint
N open intervals the adjacent intervals of ft By our
assumption that l cl( I), the trajectory l intersects C in the adjacent intervals.
We write the adjacent intervals C1, C2,... in the order of their intersection with 1,
beginning from some fixed time as we move in the positive direction.
N
Since l intersects C in a set that is dense in 1 and since l C w (l ), l intersects
a countable family of distinct adjacent intervals (in particular, l is a nonclosed
trajectory).
We denote by P : C - C the Poincare mapping induced by f t . Obviously,
l f1 C C Dom(P). Since the number of components of the domain Dom(P) is finite
3. THE POINCARE-BENDIXSON THEORY 85
FIGURE 2.50
We can prove similarly that the adjacent intervals G0, G0+1, ... are distinct
beginning with some index no.
This and the fact that only finitely many adjacent intervals contain endpoints
of components of Dom(P) imply the existence of an index io > no such that the
adjacent intervals Gio , G0+1,... (which are successively intersected by l) are dis-
tinct and belong to Dom(P). It is clear that P(G3) = G3+1 for j > io. It can be
assumed without loss of generality that io = 1 and G1 Gi for i > 2 (that is, l
does not intersect G1 after a certain fixed time moment). The last point where l
intersects G1 as time increases is denoted by x0.
The equality P (G) = G1 (i > 1) implies that the set Q def Ul + (m) , m E G1,
is homeomorphic to the strip G1 x [0, oo). Since l+(xo) intersects each adjacent
interval G1, G2,... at only one point, the w-limit set of the semitrajectory l+(xo)
does not lie in Q.
Let x E w (l+ (xo)) = w (l) . Since Q is homeomorphic to G1 x [0, oo), and since
l+(xo) C Q and x Q, there is a sequence of points mk, k E N, belonging to the
boundary aQ and tending to x as k -p oo. All the trajectories in aQ belong to
w( l) because l fl C is dense in fZ. Therefore,
N
mk E w( I), and hence x E w( I). This
proves the required inclusion w (I) C w( 1). 0
3.8. Catalogue of limit sets. In this subsection we describe all the w-limit
sets of individual trajectories of a flow. The same description applies in the case of
a-limit sets, of course.
86 2. STRUCTURE OF LIMIT SETS
b)
FIGURE 2.51
PROOF. If w (l) consists solely of equilibrium states, then w (l) is a single equi-
librium state because an w-limit set is connected (Lemma 1.5).
If w (l) contains a closed trajectory, then w (l) is a single closed trajectory ac-
cording to Lemma 1.6.
The possibilities 1) and 2) hold if l is an equilibrium state or a closed trajectory,
respectively.
It remains to consider the case when l is nonclosed and w (l) contains a regular
point on a nonclosed trajectory, that is, w(l) contains a nonclosed trajectory.
If the w- and a-limit sets of any nonclosed trajectory in w (l) consist solely of
equilibrium states, then it follows from Lemmas 3.4 and 3.5 that w (l) is a single
one-sided contour.
For a nonclosed trajectory l C w(l) suppose that the set w( l) U a( l) contains
a regular point. By the Mater theorem (Theorem 2.2), l is a P+ or P- nontrivial
recurrent trajectory. The inclusion l C w (l) and the closedness of an w-limit set
(Lemma 1.5) imply that cl( l) C w (l) . According to Cherry's theorem (Theorem
2.1), cl ( l) contains a nontrivial recurrent trajectory 1. Therefore, l C w (l) By .
that can lie (or necessarily lie) in a quasiminimal set. In this section we study its
structure in greater detail.
4.1. An estimate of the number of quasiminimal sets. Let f t be a flow
on a closed orientable two-dimensional manifold M, and suppose that a quasimin-
imal set NZ of f t is the topological closure of a nontrivial recurrent trajectory li
(i = 1, 2). If N1 C N2i then since l2 is dense in N2 (Theorem 3.6), the trajectory
l1 lies in the limit set of l2. According to Theorem 2.3, l2 lies in the limit set of l1,
and therefore N1 = N2. Thus, of any two distinct quasiminimal sets of a flow one
does not contain the other as a proper subset.
FIGURE 2.52
FIGURE 2.53
q(3)<-
[3P+b+e_2]
2
for the number q(3) of quasiminimal sets of such foliations, where p is the genus of
M, b is the number of boundary components, and e is the number of thorns. We
note that the existence of at least one singularity is assumed for a foliation on the
torus T2.
4.2. A family of special contact-free cycles.
LEMMA 4.1. On a closed orientable two-dimensional manifold M let f t be a
f low, and suppose that N1,.. . , N,k are (distinct) quasiminimal sets of f t . Then there
exists a family of disjoint contact-free cycles C1,. .. , C,k such that: 1) CZ fl Ni 0,
2 = 1, ... , k; 2) Ci fl N = 0 for 2 j, 2, j E {1,.. ., k}; 3) for any i = 1, ... , k
either Ci fl Ni = CZ or CZ fl Ni is a Cantor set.
PROOF. In the quasiminimal set Ni we take a nontrivial recurrent trajectory
li, i = 1, ... ,k. Since l1, ... , lk are independent, there exist contact-free segments
s1, ... , > with the following properties: a) >2i flli 0 for i = 1, ... ,k; b) >2i fll = 0
for i j, i, j E {1,.. . ,k}; c) if li is locally dense, then >2i = cl(fl li), that is,
>2i fl li is dense in i.
By a), there is a i-arc p j of the trajectory li for each index i = 1, ... ,k. Then
the family of simple closed curves Ci = pU (i = 1, ... ,k), where C >2i,
satisfies the following conditions: I) Ci fl Ni 0 for i = 1, ... ,k; II) Ci fl N = 0
for i j, i, j E {1,. . . ,k}. This and the proof of Lemma 1.2 give us that each
90 2. STRUCTURE OF LIMIT SETS
FIGURE 2.54
4. QUASIMINIMAL SETS 91
Then C f1 N is a Cantor set, where N is the unique quasiminimal and minimal set
of the Denjoy flow. The partition eN contains a countable family of closed intervals
(the closures of the adjacent intervals of the Cantor set C n N) and a continuum of
points not belonging to the closures of the adjacent intervals and forming a nowhere
dense subset of C.
By Lemma 4.1, for any quasiminimal set N there is a contact-free cycle C
(a special contact-free cycle) such that the partition CN either is the partition in
example 1) (that is, the partition into one-point subsets), or is the partition in
example 3).
4.4. The Gardiner types of partition elements. Suppose that a flow
f t on a compact orientable surface M has a contact-free cycle C and induces a
Poincare mapping P : C - C with domain Dom(P).
We first define the mappings Pl and PT on the endpoints of the components of
Dom(P). Let (a, b) C Dom(P) be a component of Dom(P). According to Lemma
3.7, the semitrajectory l+ (a) is an w-separatrix, and there exists a sequence of
separatrices l10 = l+(a),111, ... ,11i 1
such that 115 is a Bendixson extension of l1 s-1
to the right (s = 1, ... , k1), the separatrices l1 i (i = 0, ... ,k1 - 1) do not intersect
C, and 11k1 does intersect C (Figure 2.55; the arrow along C indicates the positive
direction on the curve). Denote by a the first point where 11k1 intersects C as
time increases. We define PT on all the left-hand endpoints of the components of
Dom(P) by setting Pr (a) = a E C.
Using Lemma 3.7, we define Pi on all the right-hand endpoints of the compo-
nents of Dom(P) similarly (see Figure 2.55).
FIGURE 2.55
FIGURE 2.56
FIGURE 2.57
FIGURE 2.58
4. QUASIMINIMAL SETS 93
cN
P(?
FIGURE 2.59
FIGURE 2.60
We show that 9 97+2 . Assume the contrary. Then Pl ('7a 2) = P1(971) =Eli 1 E
This and the fact that Pr (9r) E 97+1 give us that 97 is an element of type 1.
97+1.
9-2
The inequality 9 is proved similarly.
9 C 9-2, and 7-1 7+1, both the elements 7-2 and 7+2 have
97+2,
Since 9
type 2.
The equality 97-2 = 97+2 is possible, and in this case we get the saddle set
97-2,
97-1, 97,97+1,97+2 of elements of CN (Figure 2.61).
97-2
Suppose that 97+2. Then there exist elements 97-3, 97+3 E CN such that
973 97-3 and Pr(9T 2) = 9T 3 If 9-3 = 97+3, then we get the
p1(9712) = E E r1+3.
saddle set 97-3, 97-2, 97-1, 97, 97+2, 97+3 (Figure 2.62).
97+1,
If 97-3 97+3, then there exist elements 97-4, 97+4 E CN such that Pt(97j4) =
9i 3 E 97+3 and Pr(9T 4) = T 3 E 97-3,
94 2. STRUCTURE OF LIMIT SETS
FIGURE 2.61
+3 .r
FIGURE 2.62
Similarly, the equality rj+2 = ?7+4 implies that Pl (rii 2) = Pt(71t4) = E 97+3
and P(r)2) = r),+3 E r), which contradicts the fact that 97+2 has type 2. Therefore,
97+2 If we assume that = 97+4, then 77-2 = 97+2 (but we are considering the
97+4.
are proved in the same way. It can again be shown as before that 77-4 and 97+4 are
elements of type 2.
If 7-4 7+4, then we continue the process described above. Let us show that
this process is finite, that is, that there is a k E N such that 97-k = 97+k. Assume
not. Then there is an infinite sequence
(*) ...,r) -k ,...,r) -2 -1
,r!
+1 +2
,9,7) ,r),...,r) ,...
of elements of eN constructed by the process above. It can be proved by induction
that the elements with even superscripts are of type 2 (we leave it as an exercise
for the reader to supply the details). If 7)+2i = 77+2j (for definiteness let i < j),
then by the simple relations 2i - (i + j) = i - j and 2j - (i + j) = - (i - j) we
get that = r)-(i-j), which contradicts the assumption that the sequence (*) is
infinite. An analogous contradiction follows from the equalities 7-2i = 7-2j and
-2j = 77+2i, i, j E N. Thus, the elements 7)28, s E N, of type 2 in (*) are distinct.
We show that there are finitely many elements of type 2 in CN. Indeed, suppose
that r) = [r)1, r)T] E CN is an element of type 2. Since nontrivial recurrent trajectories
are dense in N, each of 7)a and 7)T either belongs to an open Gutierrez equivalence
4. QUASIMINIMAL SETS 95
class, or lies on the boundary of an open Gutierrez equivalence class (see §3.6).
Denote by O(r)t) (respectively, O (rir)) an open Gutierrez equivalence class that
either is adjacent to the point (ri) or contains in (lr).
We take points a E O (97t) and b E O (97r) through which there pass nontrivial
recurrent trajectories in the set N. Then [a, b] contains the interval [l7t, Assume
that O(r)t) = O(r),.); that is, a and b belong to a single open Gutierrez equivalence
class. By the definition of Gutierrez equivalence, the closed curve [a, b] U aP(a) U
bP(b)U[P(a), P(b)] bounds a disk D. Since 97 is an element of type 2, there are points
in N on [P(a), P(b)], and hence [P(a), P(b)] must intersect nontrivial recurrent
trajectories in N (Figure 2.63). Entering D with decreasing time, these trajectories
cannot leave D as t -p -oo, and this contradicts Lemma 2.4, according to which
nontrivial recurrent semitrajectories cannot lie entirely in D. The contradiction
proves that O (ii) O (r)T) . The fact that there are finitely many elements of type
2 now follows from the fact that there are finitely many open Gutierrez equivalence
classes (Lemma 3.9).
p(o,)
FIGURE 2.63
Thus, the sequence (*) constructed by the process above is finite. The collection
97 -, ... ,-1 , 71 +1 ... ,97 +k
of elements obtained is called a saddle set. The index of this saddle set is equal to
1-k. Figures 2.61 and 2.62 picture saddle sets of indices -1 and -2, respectively.
We remark that the elements of type 2 with even superscripts in a saddle set
are all distinct and different from r), with the possible exception of the extreme
ones rj-' and 97+k . This is not so in general for elements with odd superscripts (see
Figure 2.64).
We sum up the arguments of this subsection in the form of a lemma.
LEMMA 4.2. Let eN be the partition of a contact-free cycle C. Then:
1) there are finitely many elements of type 2 in CN;
2) any saddle set in CN is finite;
3) in any saddle set
r)-' ,...,r)-l,7) - 7)0,7)+1,...,7)-I-k
all the elements with even superscripts are elements of type 2, and are distinct with
the possible exception of the extreme elements 7- and 97+k;
96 2. STRUCTURE OF LIMIT SETS
FIGURE 2.64
FIGURE 2.65
N
We define the mapping P2 : ' -* as follows. For an element = r)T] E '
we set P2 (77) = [P1(r11), P,. (7ir) ] E j, where P : C2 - C2 is the Poincare mapping
induced on C2 by ft.
We introduce an equivalence relation r%1(i) by regarding points belonging to a
single element of as equivalent. Then the quotient manifold Ci/r%i(i) is homeo-
morphic to the circle S1, and the natural projection hi : C2 -* C2 / (i) is either a
Cantor function2 (if C2 fl N2 is a Cantor set), or a homeomorphism (if C2 f1 N2 = Ci
and all the elements of are one-point sets).
The mapping P2 : ' -* induces a transformation T2 : S1 -* 51 by means of
the natural projection hi : CZ - 51 = Ci/r%1(i). This and the definition of PZ imply
the commutative diagram
hij
51 Ti
FIGURE 2.66
FIGURE 2.67
to the flow. Let V = Vi U=1 The set V2 is open, and its boundary 8Vi
satisfies the assertion 4).
We go through the construction described for all i = 1, ... , k. By choosing
D() small enough we can make the domains V1,.. , Vk disjoint. U
.
CHAPTER 3
FIGURE 3.1
FIGURE 3.2
Two flows are said to have the same topological (qualitative) structure if they
are topologically or topologically orbitally equivalent.
Topological equivalence has the properties of reflexivity, symmetry, and tran-
sitivity. Therefore, the collection of all dynamical systems breaks up into disjoint
classes of systems with the same topological structure.
In establishing the topological equivalence of flows the question naturally arises
of local topological equivalence.
According to the rectification theorem (Theorem 2.2 in Chapter 1), any flows
are locally topologically orbitally equivalent at regular points.
If in the above definition m1 and m2 are understood to be invariant compact
sets for the respective flows f t and gt and it is required in addition that the home-
omorphism h carry each trajectory in m1 into a trajectory in 7122, then we get the
definition of local topological equivalence of flows f t and gt on the sets m1 and m2.
In particular, the sets m1 and m2 can be equilibrium states, closed trajecto-
ries, and contours made up of equilibrium states and separatrices joining them.
Accordingly, we refer to local topological equivalence of equilibrium states, closed
trajectories, and contours.
1. BASIC CONCEPTS OF THE QUALITATIVE THEORY 103
FIGURE 3.3
The flows in Figure 3.4 are not topologically equivalent, although their equilib-
rium states are locally topologically orbitally equivalent.
FIGURE 3.4
FIGURE 3.5
Let - , ... , 7-1, 970,71+1,. .. , 71+k be a saddle set, and take an element 712 j =
[i, r] of it with even superscript together with points F(i) and E
I`(7Ti) belonging to the domain Dom(P).
The closed curve S(71-Ic,... , 7-1, 770, 71+i,. . . , 71+k) consisting of the segments
[j23, i], [p(23), p(i)] C C and the arcs Eli and iP(i), where 712j
runs through all the elements of the saddle set with even superscripts, is called a
characteristic curve of the saddle set 7-k, ... , 770, .. , 71+k (Figure 3.6, for k = 2).
FIGURE 3.6
106 3. TOPOLOGICAL STRUCTURE OF A FLOW
G for i1 > 1, and 112+1 G for i2 < n, then the first element 'lit of the
subfamily is an element of G with even superscript, while the last element rf2 of
the subfamily is an element of G with odd superscript (Figure 3.7);
c) except for the extreme elements r71 = ran, the elements of the collection
r)1 i ... , ran are distinct.
FIGURE 3.7
The elements rJ1 = m ... , ran = i are called a periodic chain containing the
periodic element r.
2. DECOMPOSITION OF A FLOW 107
FIGURE 3.8
PROOF. Suppose that 1) holds, and let ch(rl) = rl, X72, ... , ran = rl} be a
periodic chain containing the periodic element E N
We take an element Ti2 E ch(rl) and assume that = [, rlr] is a one-point set;
that is, i = r = r12. We show that the two semitrajectories l - (rl2) and l+ (rl2)
are a- and w-separatrices, respectively. Assume not: for definiteness assume that
l+ (re) is not an w-separatrix. Since 72 is a one-point set, the curve C contains
points arbitrarily close to rfrom both sides of rthat belong to nontrivial re-
current trajectories in N. Therefore, all the points of the intersection l + (rl2) fl C
form one-point elements of N in view of the theorem on continuous dependence
of trajectories on the initial conditions. Since a quasiminimal set does not contain
closed trajectories nor one-point contours (Theorem 3.6), it follows that the one-
point elements containing points in l+ (re) fl C are distinct. This contradicts the
periodicity of the element rl. The contradiction shows that for a one-point element
= [,J E ch(rl) the trajectory l (rl2) is a separatrix joining equilibrium states.
We take an element T2 E ch(rl) of type 1. It follows from the preceding re-
sult that there is a simple arc y(rl2) that has endpoints in the respective intervals
[rli , J and [Pz(iit), Pr()] and does not intersect nontrivial recurrent semitrajec-
tories (Figure 3.9).
An analogous arc 'y(71i1 , ... , j2) exists for a family {77j1, x121+1, ... , rf2 } C ch(rl)
that satisfies the condition b) in the definition of periodicity of an element rl.
Since rl is periodic, the arcs y(rl2) constructed for the elements rl2 E ch(rl) of type
1 and the arcs 'y(7121, ... , '/22) constructed for all subfamilies {h1,.. . , r122 } C ch(rl)
satisfying b) can be supplemented by segments of C so as to form a simple closed
curve 'y(rll, ... , rln) that does not intersect nontrivial recurrent semitrajectories.
108 3. TOPOLOGICAL STRUCTURE OF A FLOW
c c
FIGURE 3.9
FIGURE 3.10
Let us orient the curve 'y(771,. . , r). It follows from the construction of the
.
arcs 'y (j) and ! (' li 1 , ... , r1j) that the intersection index of the curve 'y
with the contact-free cycle C is nonzero. Since C is not homotopic to zero (Lemma
2.3 in Chapter 2), it follows that , r1n) is also not homotopic to zero.
'y(ll1,...
Suppose that the condition 2) holds, and let S(r1) be a characteristic curve
that is constructed for an element E N of type 1 and is not homotopic to zero.
If the elements _ [r11, r J and [Pi(rii), Pr (r1r)] are one-point sets, then there is a
simple closed curve S(r1) made up of equilibrium states and separatrices joining
equilibrium states that is homotopic to the characteristic curve S(r1) (Figure 3.11).
Then S(r1) is not homotopic to zero and does not intersect nontrivial recurrent
semitrajectories.
FIGURE 3.11
2. DECOMPOSITION OF A FLOW 109
If at least one of the elements and [P(j(rij), Pr (rir)] is not a one-point set,
then the characteristic curve S(ri) can be deformed "inside" the set M \ N to
form a simple curve S(ri) satisfying the assertion of the lemma (Figure 3.12). The
required curve can be constructed similarly from a characteristic curve of a saddle
set that is not homotopic to zero. 0
FIGURE 3.12
2.3. Criterion for a flow to be irreducible.
DEFINITION. A flow f t on a two-dimensional manifold M is said to be ir-
reducible if f t has only one quasiminimal set, and any closed curve that is not
homotopic to zero on M intersects at least one nontrivial recurrent semitrajectory
of ft.
Any highly transitive flow is irreducible. In the next section it will be shown
that an irreducible flow on an orientable surface either is highly transitive or can be
obtained from a highly transitive flow by means of a so-called blowing-up operation.
Suppose that a flow f t on a closed orientable surface M has a quasiminimal set
N (not unique in general). According to Lemma 4.1 in Chapter 2, there is a special
contact-free cycle CN satisfying the following conditions: 1) CN intersects N and
does not intersect quasiminimal sets different from N; 2) either CN f1 N = CN or
CN f1 N is a Cantor set.
In the given notation we formulate a criterion for a flow to be irreducible.
THEOREM 2.1. Suppose that f t is a flow with a quasiminimal set N on a
closed orientable surface M2, and let CN be a corresponding special contact-free
cycle. Then f t is irreducible if and only if all curves in the characteristic family
S(N, CN) of curves of N are homotopic to zero, and the partition N on CN does
not have periodic elements.
PROOF. NECESSITY. It follows from Lemma 2.1.
SUFFICIENCY. Suppose that all the curves in the characteristic family S(N, CN)
are not homotopic to zero, and the partition N on CN does not have periodic el-
ements. Then each curve S E S(N, CN) is simple and bounds a disk D (S) on
M2
We show that M = CN U D (S) is open and closed, where the union is over all
curves S in the family S (N, CN).
It follows from the construction of characteristic curves (see §2.1) that N C M.
110 3. TOPOLOGICAL STRUCTURE OF A FLOW
We prove that M is open. Since the disks D (S) are open, it suffices to show
that any point m E CN is an interior point. Any point m E CN belongs to some
element i E N, so there are two characteristic curves Si, S2 E S(N, CN) containing
m (Figure 3.13). It follows from the construction of characteristic curves that there
exists a neighborhood tL(m) of m such that tL(m) C D (S1) U CN U D (S2) . Therefore,
M is open.
FIGURE 3.13
criterion for a flow to be irreducible (Theorem 2.1, and the remark after it), the
flow f t k;; is irreducible.
According to Theorem 4.1 in Chapter 2, f t has finitely many quasiminimal sets.
Therefore, there are only finitely many components of the set M \ UCZ (CZ E E 1)
different from M1 and containing nontrivial recurrent semitrajectories. Continuing
the process with these components, we get the required family of curves C1,. . . , C,.
and the required decomposition of the original flow f t into irreducible flows and
flows without nontrivial recurrent semitrajectories. 0
FIGURE 3.14
FIGURE 3.15
FIGURE 3.16
FIGURE 3.17
2. DECOMPOSITION OF A FLOW 115
FIGURE 3.18
FIGURE 3.19
It follows from Theorem 2.3 that if a flow f t Ep does not have closed tra-
jectories, then there exists a family of contact-free cycles that partition Mp into
submanifolds with standard structure. The flow f t can be represented as pictured
in Figure 3.20.
FIGURE 3.20
Besides this we require that each foliation in p,b not have leaves joining singularities
and that any compact leaf intersect at least one closed transversal of the foliation.
Since we are considering orientable foliations, for each foliation' E'p,b the
components of 0Mp,b can be broken up into "incoming" and "outgoing" compo-
nents. Denote by p,r,s the class of foliations 3 E Yp,b such that 3 has r > 0 in-
coming components of 0Mp,b and s > 0 outgoing components (obviously, r + s = b).
For an arbitrary triple (p, r, s) with 2p + r + s > 0 Levitt proposed two models
Mp,r,s and which he called canonical, of foliations belonging to 3 p,r,s .
It is proved in [91] that any foliation 3 E p,r,s (where 2p + r + s > 0) is
topologically equivalent either to the foliation Mp,r,s or to the foliation Mrs,
according to the following conditions: 1) any semileaf of intersects 0Mp,b; 2)
there exists a semileaf of disjoint from 0Mp,b.
An analogous canonical representation of orientable foliations on nonorientable
compact surfaces was obtained in V. Nordon's paper,. Description canonique de
champs de vecteur sur une surface, Ann. Inst. Fourier 32 (1982), no. 4, 151-156.
3. THE STRUCTURE OF AN IRREDUCIBLE FLOW 117
(where w is the ordinal type or ordinal number of the set of natural numbers),
IZw+1 =
There exists a smallest ordinal number c for which 1 = IZa+1 = .... It can
be shown that 1L is the center of the flow f t (there is a proof of this in [61]). The
ordinal number c is called the depth of the center.
The center of a flow f t is the largest closed invariant set N C M such that the
flow f tIN does not have wandering trajectories. The depth of the center of a flow is
one of the basic topological invariants characterizing the topological structure of a
flow, and it shows the number of steps needed to reach the center in the transfinite
process described above.
In a paper of A. J. Schwartz and E. S. Thomas (The depth of the center of
2-manifolds, Proc. Sympos. Pure Math., vol. 14, Amer. Math. Soc., Providence,
RI, 1970, pp. 253-264) it is proved that the depth of the center of any flow on
an orientable compact surface does not exceed 2. On a nonorientable compact
surface the depth of the center of any flow does not exceed 3 (see E. S. Thomas,
Flows on nonorientable 2-manifolds, J. Differential Equations 7 (1970), 448-453).
The estimates are sharp in the orientable and nonorientable cases. (We mention
that both the cited papers treat flows for a collection of surfaces including compact
surfaces.)
FIGURE 3.21
1 The accessible (from within) boundary 6K of the set K is defined to be the subset of the
boundary 8K such that for any point x E 6K C 8K there is an arc A with x as one endpoint and
all its remaining points interior to K.
3. THE STRUCTURE OF AN IRREDUCIBLE FLOW 119
FIGURE 3.22
We take a quotient of M, regarding all the points in the closure of each domain
D E D as equivalent. Then the resulting quotient manifold M1 is homeomorphic
to M, and the natural projection '- : M -- M1 is a continuous mapping homotopic
to the identity.
The regular trajectories of f t induce on M1 via the mapping r a family of
curves that satisfies the Whitney theorem (Theorem 2.3 in Chapter 1); therefore,
this family can be imbedded in a flow f i The points 'r(Ti) (Ti E Ti) and the
.
images of the equilibrium states of f t under T are equilibrium states of the flow
f i By construction, f i is irreducible and has exactly one quasiminimal set N1.
.
A(2;P(r))
FIGURE 3.23
The closed curve S(ri) = [nj, J U Pi (ni)) U [P1 (i , Pr(?Ir)] U A(?]r, Pr (?]r))
is homotopic to the characteristic curve S(ri). Since S(ri) bounds a disk D(ry) on
M1 and S(ri) C T(i), S(ri) bounds a closed set C T(i) (Figure 3.23). We
remark that is not homeomorphic to a closed disk in general. In particular, for
a continuum of one-point elements the set is the arc rll The possible
types of the sets are pictured in Figure 3.24.
FIGURE 3.24
FIGURE 3.25
of the partition ) homeomorphic to a closed disk are transformed under the action
of Tl into arcs and #q+k). Since the closed intervals [1,']r] C C
corresponding to elements of with more than one point belong to the family
{Ia}, the arcs and +k) can intersect each other only at the end-
points. Therefore, the curves formed by these arcs and the images of the nontrivial
recurrent semitrajectories of f i under 'Ti determine a foliation' on M2 with sin-
gularity set z(3). We remark that 3 has only saddle singularities at the points
Tl +k)), where {_1c,.. , +k} runs through all the saddle sets of
. .
By construction, the family of regular leaves of (that is, the leaves lying in
M2 \ z(3)) satisfy Whitney's theorem (Theorem 2.3 in Chapter 1) ; therefore, this
family can be imbedded in a flow f 2 .
there exists a simple closed curve y C T2 that is not homotopic to zero and disjoint
from 1. The set T2 \ y is homeomorphic to an annulus K, and l C K, which
contradicts Lemma 2.4 in Chapter 2. 0
PROOF. The simple connectedness of the component w follows from the irre-
ducibility of f t (Lemma 3.2). The remaining properties follow from Theorem 3.1.
0
REMARK. In [20] there is a proof of Lemma 3.3 independent of Theorem 3.1,
and the mapping h is constructed explicitly ([20], published in 1976, and Theorem
3.1 was proved in [83], published in 1985).
LEMMA 3.4. 1) Any minimal low on T 2 is topologically equivalent to the sus-
pension over a minimal homeomorphism of the circle S1.
2) Any transitive flow on T2 with finitely many equilibrium states is obtained
from a minimal flow by adjoining a certain number of impassable grains (in partic-
ular, the equilibrium states of a transitive flow on T 2 are impassable grains).
3) A transitive flow without equilibrium states on T2 is minimal.
PROOF. 1) By Lemma 2.3 in Chapter 2, there exists a contact-free cycle C for
f t that is not homotopic to zero. According to Lemma 2.4 in the same chapter, any
semitrajectory of a minimal flow f t intersects C; that is, C is a global section of
the flow. Therefore, the Poincare mapping P : C --f C is a homeomorphism. Since
the flow is minimal, the homeomorphism P is minimal (Lemma 2.1 in Chapter 1).
The fact that C is not homotopic to zero implies that T2 \ C is homeomorphic to
an open annulus. The trajectories of the flow pass from one boundary component
of the annulus to the other with increasing time because there are no equilibrium
states (Figure 3.26). Therefore, f t is topologically equivalent to the suspension over
the homeomorphism P : C --f C.
FIGURE 3.26
We prove 2). It follows from the transitivity of f t that its equilibrium states
are topological saddles (Corollary 3.1 in Chapter 2). Since the sum of the indices
of all the equilibrium states is equal to the Euler characteristic of the surface (the
Euler characteristic of the torus is equal to 0) according to Theorem 4.3 in Chap-
ter 1, and since any topological saddle has nonpositive index, the index of each
equilibrium state of f t is equal to zero. Consequently, each equilibrium state is a
topological saddle with two hyperbolic sectors (Theorem 4.1 in Chapter 1), that is,
is an impassable grain (Figure 3.27).
To conclude the proof it remains to show that a transitive flow gt on T2 without
equilibrium states is minimal. Indeed, since gt is irreducible and does not have
4. FLOWS WITHOUT NONTRIVIAL RECURRENT TRAJECTORIES 125
equilibrium states, it does not have closed trajectories. It follows from Theorem
3.7 in Chapter 2 (the catalogue of minimal sets) that T2 is a minimal set of gt . D
The next lemma shows that the nonsingular trajectories (that is, trajectories
that are not singular) form an open set, and the limit behavior of nearby nonsingular
trajectories is the same in a certain sense.
LEMMA 4.1. Let f t be a flow with isolated equilibrium states on an oriented
closed surface M, and let 1(m), m E M, be a nonsingular trajectory of f. Then
there exists a neighborhood U of m with the following properties:
1) all the trajectories l (m), rim E U, are nonsingular;,
2) if 1(m) is closed, then all the l (m), rim e U, are closed, and together with
1(m) they bound an annular domain;
3) if 1(m) is nonclosed, then all the trajectories l (m), m E U, are nonclosed,
and
w(l+(m)) = w(l+(m)), (m)) = (m))
PROOF. If 1(m) is a closed trajectory, then in view of its nonsingularity it
cannot be a limit for nonclosed semitrajectories and limit cycles. Therefore, all the
trajectories in some neighborhood of 1(m) are closed (and hence nonsingular), and
together with 1(m) they bound an annular domain because M is orientable.
Suppose that 1(m) is nonclosed. Then w (l+ (m)) is a single equilibrium state
m0, a single closed trajectory lo, or a single one-sided contour (recall that in this
section we are considering flows without nontrivial recurrent trajectories). Let us
analyze all these cases.
Suppose that w (l+ (m)) = m0 is an equilibrium state, and that the neigh-
borhood U(mo) of mo does not contain equilibrium states other than m0. We
assume that for any neighborhood U(m) of m there is a point m E u(m) with
w(l+(m)) mo. Then the semitrajectory l+(m) leaves U(mo) as time increases,
and hence 1+ (m) can be extended with respect to U(mo). According to Lemma 3.2
in Chapter 2, 1+ (m) is an w-separatrix, which is a contradiction. Therefore, there
exists a neighborhood U of m such that w (l+ (m)) = w (l+ (m)) = m0 for all points
m E U. This implies that the trajectories l (m), m E U, are nonclosed. Since l+ (m)
is not extendible with respect to U(mo), the semitrajectories l+(m), rim e U, are
not extendible with respect to U(mo) for a sufficiently small neighborhood U.
Let w (l+ (m)) = 1 0 be a closed trajectory. By Corollary 1.3 in Chapter 2, there
is a neighborhood U of m such that w (l+ (m)) = to for all m E U. It can be assumed
without loss of generality that to f1U = 0. Then all the trajectories l (rn), m e U,
are nonclosed. The case when w(l+ (m)) is a one-sided contour is handled in a
completely analogous way.
The preceding arguments are repeated for the a-limit set of the semitrajectory
1(m).
If w (l (m)) (c (l (m))) is an equilibrium state, then the trajectories l (m), m E
U, are nonsingular because the semitrajectories l± (rn), m e U, are not extendable.
4. FLOWS WITHOUT NONTRIVIAL RECURRENT TRAJECTORIES 127
COROLLARY 4.1. The union of the singular trajectories of a flow f t with iso-
lated equilibrium states on an orientable closed surface forms a closed invariant set.
The w- (a-) limit set of any semitrajectory of f t consists of singular trajectories.
The proof is left to the reader as an exercise.
4.2. Cells. Denote by E(f t) the union of the singular trajectories of f t.
DEFINITION. For a flow f t on a manifold M, a component of PVC \ E (f t) is called
a cell of ft .
LEMMA 4.2. Suppose that f t is a flow with a finite family E(f t) of singular
trajectories on an orientable closed surface M. Then f t has finitely many cells.
PROOF. Let l be a singular trajectory of ft that is not an equilibrium state.
We take a point m e l and show that only finitely many cells intersect some
neighborhood U(m) of m.
Assume first that l is not a limit for any singular trajectory of ft. Since the
boundary of any cell consists of singular trajectories, it follows from the theorem
on continuous dependence of trajectories on the initial conditions that l lies on the
boundary of at most two cells.
Suppose now that l can be a limit for singular trajectories. Since f t does
not have nontrivial recurrent trajectories, all the singular trajectories tending to
l cannot be limit trajectories for other trajectories (Theorem 2.2 in Chapter II),
and hence such singular trajectories lie on the boundary of at most two cells. The
finiteness of the family E(f t) gives us that only finitely many cells intersect some
neighborhood U(m). It follows from the theorem on continuous dependence of
trajectories on the initial conditions and the finiteness of E(f t) that l belongs to
the boundary of finitely many cells.
The boundary of each cell contains at least one regular singular trajectory. The
finiteness of the number of cells of f t follows from this, the compactness of M, and
the finiteness of the family E(f t) . D
R. jx (o.i) Rc T
a) b)
FIGURE 3.2$
FIGURE 3.29
FIGURE 3.30
many Bendixson extensions of it from the side from which the trajectories in R
approach m* lead to a separatrix l * of an equilibrium state O* , with l * either not
Bendixson extendible (beyond O*) or tending to a closed trajectory 10. In this case
either the equilibrium state O* is in R*, or the closed trajectory to C R* belongs
to the limit set of the trajectories in R.
Thus, each component R* of DR contains limit points of (all) the trajectories in
R. From this, the connectedness of the w- (a-) limit set of any trajectory (Lemma
1.5 in Chapter 2) and the fact that all the trajectories in R have the same w- and
a-limit sets, it follows that DR consists of at most two components.
We proceed to the proof of 1). Two cases are possible:
a) any contact-free segment intersects each trajectory in R at most at one point;
b) There exist a contact-free segment and a trajectory in R that intersect at
more than one point.
Let us consider the case a). Since all the trajectories in R are nonclosed, the w-
(ce-) limit set of each trajectory in R consists of a single equilibrium state in this case.
Therefore, any two sufficiently close trajectories in R bound a domain in R that is
homeomorphic to the open strip (0, 1) x R1, and hence homeomorphic to an open
disk (note that the indicated transformation (0, 1) x II81 -* R is a homeomorphism
of the strip (0, 1) x R1 onto its image in the topology induced by this mapping; in
the topology of R induced by the topology of M the transformation (0, 1) x II81 -* R
is not a homeomorphism in general). Since R is connected, any two trajectories
in R bound a domain in R homeomorphic to an open disk. In this case it can be
shown as in the proof of Theorem 4.1 that R is homeomorphic to an open disk.
We consider the case b). By Lemma 1.2 in Chapter 2, there exists a contact-free
cycle C intersecting trajectories in the cell R. Two subcases are possible:
b 1) C lies entirely in R;
b2) C intersects R in an arc J.
In the subcases bl) we denote by R1 (respectively, R2) the set of trajectories of R
intersecting (respectively, not intersecting) the cycle C. By the compactness of C
and the theorem on continuous dependence of trajectories on the initial conditions,
both the sets and R2 are open. By construction, R1 0. If R2 = 0, then
R1.
to the subcase bl) treated above, and the cell R is homeomorphic to an open disk.
D
ify
FIGURE 3.31
We introduce a polar coordinate system (r, Sp) on R2, and denote by O the pole
(r = 0). Obviously, the set K = R2 \ O is homeomorphic to the open annulus
(0,1) x S'.
DEFINITION. The flow fK1 on K given by the system r = 0, b = 1 is called a
parallel flow on an open annulus (Figure 3.32, a)).
a) b)
FIGURE 3.32
FIGURE 3.33
FIGURE 3.34
P3
FIGURE 3.35
134 3. TOPOLOGICAL STRUCTURE OF A FLOW
FIGURE 3.36
a) A spiral flow J2 of "plus" type. Let the sets P2 and P3 and the function
/(r, Sp) be the same as in case 2), and let the C°°-function v : K -* [0, 1] be given
by
e r-i r-2 , 1<r < 2
v(r, cp) _
0, r=1, r =2.
Then the flow f 2 on K given by the system r = v (r, p), cp = b (r, p), (r, Sp) E K,
is smooth of class C°°. The restriction of f 2 to int K is a spiral flow on an open
annulus. _
The restriction of f 2 to K = K \ P2 U P3 is denoted by f 2 . By construction, f 2
is a C°°-flow, and is called a spiral flow of "plus" type on an annulus.
b) A spiral flow f 3 of "minus" type. We use the preceding notation, and we
take a C°°-function 2b1 : K -* [0, 1] that is equal to 0 on P2 U P3 and on the closed
neighborhood 1.5 - < r < 1.5 + s (0 < s < 0.125) of the circle r = 1.5. At
the remaining points of K the function b1 takes strictly positive values. Then the
function
-i/.i1(r, Sp), 1 < r < 1.5
2(r, = 1(r, gyp) , 1.5 <r<_ 2
_
is smooth of class C°°, and the flow f 3 on K given by the system r = v (r, p),
_ /)2(r, p), (r, p) E K, is a C°°-flow. The restriction of f t to int K is also a spiral
flow on an open annulus.
4. FLOWS WITHOUT NONTRIVIAL RECURRENT TRAJECTORIES 135
FIGURE 3.37
b)
FIGURE 3.38
the order of the trajectories. It can be assumed without loss of generality that
T(lo) = Lo, and that Lo intersects the axis Oy.
The segment o = {(x, y) E x = 0, yo < y < 1} is a contact-free seg-
ment of the flow f o . Let h : - * o be an arbitrary homeomorphism satisfying
the conditions h(lo f1 ) = Lo f1 o and h(L f1 ) = L f1 o. Since each trajec-
tory of the invariant set R+ of fo intersects o at exactly one point (Figure 3.38,
b)), the homeomorphism h can be extended with the help of r to a homeomor-
phism H+: R+ U SR+ - II+ U SII+ realizing a topological equivalence (and even a
topological orbital equivalence) of the flows f t I R+ uoR+ and fIu Similarly,
we construct a homeomorphism H: R- U SR- -* II- U S1 L realizing a topo-
logical orbital equivalence of the flows f t I R_ u6R- and f o I n_ and coinciding
with H+ on L. The homeomorphisms H+ and H- thus form a homeomorphism
H : RU SR -* H U 6H realizing a topological orbital equivalence of the flows f t I Ru5R
and f.
The cases when f t I R is topologically equivalent to parallel or spiral flows on an
open annulus can be handled according to the scheme presented above. We leave
it as an exercise for the reader to fill in the details of the proof. 0
Denote by TmoM the tangent space of M at the point mo, a real two-dimensional
vector space. The derivative D f t (mo) of the diffeomorphism ft at mo is a linear
transformation Tmo NYC - * Tmo NYC, which is given by the Jacobi function matrix (of
partial derivatives) in a chart containing mo [76].
DEFINITION. An equilibrium state mo of a C''-flow f t (r > 1) is said to be
hyperbolic if the eigenvalues of the linear transformation D f 1(mo) are not equal to
1 in modulus.
We give an equivalent definition of a hyperbolic equilibrium state. Suppose
that in a chart U containing mo and in a coordinate system (x, y) : U -* T2 the
flow f t is given by the system
x = P (x, y) , y = Q (x , y)
and let (XO, yo) be the coordinates of mo in U. Then the functions P (x, y) and
Q (x, y) are smooth of class C'' (r > 1), and P (xo, yo) = Q (xo , yo) = 0.
An equilibrium state is hyperbolic if and only if
Px (xo, yo) Py (xo , yo) 0
O=
Qx(xo, yo) Qy(xo, yo)
and o = Px (xo, yo) + Qy (xo, yo) 0 for 0 > 0; that is, the roots of the equation
A2 -tea+0 = 0
are not purely imaginary.
Both definitions of hyperbolicity are independent of the coordinate system in
a neighborhood of m0.
If an equilibrium state is hyperbolic, then it is isolated. What is more, a
hyperbolic equilibrium state is locally topologically equivalent either to a node
(stable or unstable), or to a saddle [3] (Figure 3.39).
FIGURE 3.39
mapping for the trajectory lo. According to Lemma 1.4 in Chapter 2, P is a Cr-
diffeomorphism (r > 1) in its domain. Clearly, m E Dom(P).
A closed trajectory to is hyperbolic if and only if P' (m) 11.
If a closed trajectory to is hyperbolic, then it is isolated in the set of closed
trajectories of ft; that is, to is a limit cycle. For IP'(m) < 1 the limit cycle to is
stable (Figure 3.40, a) ), while for IP'(m)I > 1 it is unstable (Figure 3.40, b)).
FIGURE 3.40
FIGURE 3.41
W
i CD 7T7\i
a) b)
FIGURE 3.42
a pretzel. The flow has one stable node w, one unstable node (at the center of the
octagon), and four saddles , , 03, and 04.
DEFINITION. A Morse-Smale flow is said to be polar if it does not have closed
trajectories, and the family of equilibrium states contains exactly one stable node
and exactly one unstable node (the rest of the equilibrium states, if there are any,
are saddles).
All the above examples of Morse-Smale flows are polar. There are other exam-
ples of Morse-Smale flows in the books [3], [64], and [74].
4.7. Cells of Morse-Smale flows. The next result is an immediate conse-
quence of the definition of a Morse-Smale flow and of Theorems 4.1-4.3.
LEMMA 4.5. Let f t be a Morse-Smale flow on an orientable closed surface M,
and let R be a cell of ft. Then:
1) R consists of nonclosed trajectories;
2) as t -> oo all the trajectories in R tend either to a single equilibrium state
(a stable node or focus) or to a single limit cycle, and the same is also true as
t - -oo;
3) if R is homeomorphic to an open disk, then its accessible (from within)
boundary contains a saddle and at least two separatrices.
mtaxlP-PI,
sp _ as P 3Q _ 38Q
mtLax max
axzayi axzay3 'U 8xiay3 8xiayi
where i +j = s <k.
The distance introduced determines a metric pk on the set of C'-flows, 0 < k <
r.
Let X (M) be the metric space of C''-flows on M, equipped with the metric pk .
def (m) .
For k = r we let 3C' (NYC) XT
a E-arc ab of the semitrajectory l ) (m) (a, b E l O (m) l ) such that the simple
closed curve ab U ab (where ab C E) is a one-sided curve (that is, has a neighborhood
homeomorphic to an open Mobius band (Figure 3.43).
FIGURE 3.43
0 = (PQ y - I(0,0) = 0,
It is known [3] that with the help of a nonsingular linear change of the coordinates
(x, y) we can pass to new coordinates in which the right-hand sides of the system
(5.1) have the form (we denote the new coordinates again by x, y)
FIGURE 3.44
Then ([3], [4]) the system (5.1) can be reduced by a change of coordinates to the
form
= R(p, 0),
dB
where R(0,0) - 0.
We expand the function R(p, 0) at the point p = 0 according to the Taylor
formula: R(p, 0) = R1(0) p + R2(0)p2 + R3(0)p3 + .... It is known ([2]) that the
first nonzero quantity cj = J " R(0) d8, i = 1, 2, ... , has odd index. Since o = 0,
it follows that ctrl = 0, and hence a2 = 0.
The equilibrium state (0, 0) of the system (5.1) is called a compound focus of
multiplicity 1 if L(0, 0) > 0, cr(0, 0) = 0, and cti3 0.
We proceed to a description of structurally unstable closed trajectories.
Let to be a closed trajectory of the flow ft. Through a point m E to we draw
a contact-free segment and introduce on it a regular parameter S : [-1, 1] - *
with S(0) = m. The Poincare mapping P : - * is defined in a neighborhood of
m. We expand the function Sp(n) = S-1 o P o S(n), n E [-1, 1], in a neighborhood
of the point n = 0: Sp(n) = hln + h2n2 +... (obviously, Sp(O) = 0).
5. THE SPACE OF FLOWS 145
FIGURE 3.45
FIGURE 3.46
F(x) = Ax + x
In x I'
F(0) =0.
We show that it is not locally conjugate to a linear diffeomorphism in the class
C°". Indeed, suppose that E C°", (0) = 0, and
(Fx) = A(x)
for small x. Then
x =1 (n=0,1,...).
Since , -1 E Lip 1 (according to the definition of a homeomorphism of class
C°"), it follows that
c2IxI < $(x) < c1IxI
1. DYNAMICAL SYSTEMS ON THE LINE 149
1>
- ci
2 lAThFThxl _ c2
lxi l 11
A-iIF(Fk-lx)I _
lFk-ixl cl fj+
k
(
1 l
1niFk-1xI/
where
b = IxI«
max IA'f(x),
and the coefficients a23 are determined by the derivatives of F. We choose numbers
cj so that
j-1 \
Cj 1 1 1 llijC{ (j 2).
1. DYNAMICAL SYSTEMS ON THE LINE 151
Then by (1.7) the set So (c) is invariant under T. If r = 00, then So (c) is a compact
convex set. By the fixed point principle, equation (1.5) has a solution SP E So().
Suppose now that r < oo, and denote by S(c, N) the compact convex set of
functions SP E So (c) such that
- (r)(x") <- Nw(I x' - x"I) (Ix', Ix"I s),
where w (u) is the modulus of continuity of the function2 f (T) (x) (w(u) = Iu « if
a> 0). There is a number N = N(c) large enough that the compact set S(c, N) is
invariant under T. Consequently, (1.5) has a solution SP E S(c, N).
Suppose now that SP is another solution, and let
M = max 10'(x) -
IxI<6 IxIcx
Let us now consider (1.3). We regard it on the whole line and assume accord-
ingly that f (x) and g(x) are functions bounded on the line. Moreover,
(1.8) lf'(x)l Ig'(x)I .
LEMMA 1.2. Suppose that Al < 1, r = 1, and a = 0. For each Q < 1 there
is a number E = (/3, A) such that (1.8) implies the existence of a bounded solution
cp E Lip/3 of (1.3) on the whole line, unique in the class of all bounded functions on
the line.
PROOF. We rewrite (1.3) in the form
(1.9) o(x) _ g(F-lx + o(F-lx)) - .f (F-lx)
Let Q < 1 be fixed. Denote by Tcp the operator on the right-hand side of (1.9), and
by S(c, N) the compact convex set of functions cp : I[81 -> I[81 satisfying the estimates
For each ,3 < a there is an _ (i3) such that the conditions (1.11) imply the exis-
tence of a solution cc' E Cof (1.10) that is bounded together with its derivatives,
and cc' is unique in the class of all bounded functions on the line.
Although the proof uses a topological fixed point principle, in all the compact
sets arising we can introduce a metric such that our operators are contractions, and
then we can employ the Banach contraction mapping theorem in a metric space.
1. DYNAMICAL SYSTEMS ON THE LINE 153
If'(x)I < (x E
and
o W)(Ax) = A( o
Let
H(x) _ (Wo)(x).
Then
H(x)=x+h(x),
where
h(x) = o(x) + b(x + o(x))
is a bounded function on the line such that
h(Fx) - ah(x) = f (x + h(x)) - f (x) (x E II81).
(oW)(x) = x + h(x),
N
where h is a bounded solution of the equation
h(ex) _ Ah(x)
This equation is of class C1. We show that it cannot be linearized in this class.
Indeed, suppose that a transformation x H (x) of class C1 carries the equation
into the linear equation
Let
H(x)=f Ws(x) ds.
Then by periodicity,
-t+1
evtH(x) _ W3 (Ftx) ds = H(Ftx).
-t
If r + a> 1, then H is a local diffeomorphism because H' (0) = 1. Consequently,
H conjugates the flows evt and Ft. In the case E C°'Q it must also be checked
that is a homeomorphism (see [74]).
If the numbers Al and A2 lie on different sides of the unit circle (the case of a
saddle), then r(A) = 1.
Obviously, r(A) < 1. In addition to the case of a saddle, equality also holds in
the case when the eigenvalues have the same modulus: IA1 I = I A2 I.
THEOREM 2.1. For any a < r(A) the diffeomorphism F is locally conjugate in
the class C°,a to a linear diffeomorphism.
The theorem carries over to the multidimensional situation. We need only
refine the definition of the number r (A) . Namely, let A1,. . . , Al be the eigenvalues
lying interior to the unit disk, and let X61, ... , has be those exterior to it. Then the
proper definition is
In A2 In I Z
T (A) = min mm I I mm I
ia In I
AC I
ia In I ,a I
With this definition the formulation (and proof) of the theorem carries over imme-
diately to the multidimensional case.
2.2. Proof of the theorem. We must solve the equation (1.2) in which
x E R2, and
F(x) = Ax + 1(x), G(x) = Ax + g(x)
are diffeomorphisms of the plane such that
f(0) = g(0) = 0, f'(0) = g'(0) = 0.
3. INVARIANT CURVES OF LOCAL DIFFEOMORPHISMS 157
Theorem 2.1 can now be derived from the lemma as in the one-dimensional
case.
are invariant under F. The smoothness class of these curves is not less than that
of .In particular, the diffeomorphism F has invariant curves of class C°, « by
Theorem 2.1.
According to the well-known (multidimensional) Hadamard-Perron theorem, a
diffeomorphism of class Cr has at a saddle point invariant manifolds of class Cr
whose tangents coincide with 11 and 12, respectively. Here we prove this theorem
for the plane and consider also the case of a node.
These invariant curves are described by equations
M1 = {x 1 i = yl ( ) }, M2 = {x 1 = y2 (rf) },
The uniqueness of the manifold M2 is violated even for a linear mapping. In-
deed, let Ai > 0. The curve
T (lnIifl' T
lnA1
e=IlIy In A 1 - In A 2 '
where y is any smooth 1-periodic function, is invariant under A. If y E Cr, r > [T],
then the smoothness class of such a curve is not less than [r] (T - 1, if r is an odd
integer).
In any case if IA1 I IA2 I , then in view of Theorem 3.1 the diffeomorphism F
has smooth invariant curves M1 and M2. Let A 1 I < I A2 and let
( ) = (C - 'y2(11),11 - 71(C)).
Then is a local diffeomorphism of class CqQ, where
InIA11
q ,Q < min r +c, In I AZ
+
Thus, we have
COROLLARY 3.1. Let IA1 I IA2 I. Then the diff eomorphism F is locally conju-
gate in the class CqQ to a diffeomorphism for which the lines li are invariant.
PROOF OF THEOREM 3.1. The function 71 in the definition of the curve M1
must satisfy the equation
(3.1) l f2
71(C) = A2 1y1(AlC + f 1(C 71(C))) - A2 (C, 71(C)).
Since IA1I lAd < 1, it follows from Lemma 1.3 in §1.2 that the equation has a
unique local solution 71(C) = o(C) of class C?',a
To prove the second part of the theorem it suffices to establish the existence of
the curve M2 for the inverse diffeomorphism
3.2. Invariant curves of a saddle point. Here the situation is better. Let
IA1I <1 < 1A2I.
We have
THEOREM 3.2. At a saddle point the diffeomorphism F has unique local in-
variant curves M1 and M2 of class C''a.
COROLLARY 3.2. At a saddle point a diffeomorphism of class C''a is locally
conjugate in C?', a to a diff eomorphism for which the axes l1 and l2 are invariant.
160 4. LOCAL STRUCTURE OF DYNAMICAL SYSTEMS
PROOF OF THEOREM 3.2. The function yl satisfies the equation (3.1), which,
by Lemma 1.3, has a unique local solution yl () = O() of class C. Similarly,
passing to the inverse F-1, we get the existence of a unique curve M2 of class Cr', « .
has a local C1-solution cp with (O) = 0 and p' (O) = 0. For definiteness, assume
that
IA1I <_ 1A21.
In the case of a node (1A21 <1) and under the condition
In IA11
_1+a>
.. , In IA21
for some small S, and our equation has the required solution cp. Now assume that
either 1A21 <1 and
1 +cx< In lA1 l
- In 1A21
or IA1 I < 1 < IA2 I. Then, as follows from Corollaries 3.1 and 3.2, we can assume
that the coordinate axes li are invariant under F. If we write F in coordinates,
F(x) _ (alb + f 1(x), 12rf + f 2(x)),
then the invariance means that
f'(,0) = f2(,9) = 0.
4. C1-LINEARIZATION ON THE PLANE 161
Indeed, since the subspaces £2 + £,3 and £,3 are invariant, we have the equalities
P1Th = PiT (S + ib+ gyp),
P2T(S+ib) = P2T(S+ + SP)
Consequently,
where 'y belongs to the class C. We must prove the existence of a solution cp E £3
of class C1. In coordinates, the equation (4.2) reduces to a pair of equations of the
form
h(0, r) = h(e, 0) = 0.
(4.4)
(4.5)
LEMMA 4.1. Suppose that in the equation (4.3) the function 9 belongs to the
class Cl,a, and the number tc satisfies one of the conditions (4.4) or (4.5). Then
the equation has a local solution of class C1.
PROOF. Assume the condition (4.4). We write (4.3) in the form
and the derivative f' (x) is sufficiently small on the whole plane:
IIf'(x)II <e.
We consider the space £3 of all C1-functions h : IR2 - * R2 satisfying the conditions
h(0, h(e, 0) = 0,
ah
IIhII
I7i a
The operator on the right-hand of (4.6) is a contraction in this norm; therefore, the
equation has a solution h E £4.
Suppose now that the second condition on µ is satisfied, that is, (4.5). Then
we rewrite (4.3) in the form
p= P(k),
=o
where p(k) : IRn -f Itr is a homogeneous polynomial mapping of degree k. In
particular,
P°) (x) = const E IR'n
is the free term of the mapping P. In the coordinates
P(x)- {>>Pj
k-p III=k
x
1=1
The set of all formal mappings will be denoted by IR[n, m]. This set is a linear
space over Ilk with respect to the obvious operations.
The space Ilk [n, 1] has an obvious structure of an algebra over IIS, and the space
R[n, m] has the structure of an 1 [n,1]-module. Finally, if P E IR[n, m] is a mapping
without free term (P(°) = 0), and 1 E IR[m, l] is arbitrary, then the composition
o P E Ilk [n, l ]
For r < oo the mapping /3(F) is called the Taylor series segment, and for r = 00
the Taylor series of the mapping F.
According to a well-known lemma of Borel (see, for example, [27]), for r = 00
the correspondence
(5.1) F H f3(F)
is surjective: for each formal mapping P E IR[n, m] there is a C°°-mapping F : IRn
IRt such that
/3(F) = P.
The correspondence (5.1) is clearly not injective.
5.2. Conjugacy of formal mappings. Two formal mappings F, G E Ro [n, n]
are said to be conjugate if there exists a formal diffeomorphism E JRo [n, n] such
that
(5.2) = C.
Let
F(x) = Ax + ...E IRo [n, n].
We determine the simplest possible form to which this can be reduced by conjuga-
tion. Let
(x)=x+So(x),
where cp E JRo [n, n] is a mapping with zero linear part:
for some integers 1, s > 1. It can be assumed that the numbers l and s are relatively
prime. Then all resonances have the form
.1
Al = (A1 A2) ' A2 = (A1A2) ' A2.
Ft(x) = P(Ftx).
dt
The subgroup Ft will be called a formal flow.
The formal transformation
x --> (x)
5. FORMAL TRANSFORMATIONS 167
or the resonances
vl = (kl + 1)vl + ksv2, 112 = klv1 + (ks + 1)v2 (k= 1, 2, ... )
are realized for hyperbolic vector fields on the plane, where 1, s E Z+ are relatively
prime, and
1111 + s v2 = 0.
On the plane we consider the following three types of formal vector fields:
I'. Q(x) = Ax;
II'. Q(x) = (pv+r,v77);
III'. Q(x) _
vl + C,j
= {0
Then the C°°-diffeomorphism
G(x) = (A1 + h(, 1), A27)
is a normal form by our definition. It turns out, however, that the transition to C°°-
normal forms does not introduce new invariants: if two (hyperbolic) normal forms
have the same (or conjugate) formal Taylor series, then they are locally conjugate
in the class C°°. This assertion is contained in the well-known multidimensional
theorem of Sternberg and Chern, which will be presented in §6.4.
6.1. Normal forms with flat residual. Let
F(x) = Ax + f (x), f (O) = f'(0) = 0,
be a C''-diffeomorphism of the plane that is hyperbolic at zero.
THEOREM 6.1. There exists a local C°°-diffeomorphism : (2,0) (J2, 0)
reducing F to the form
(F)(x) = G(x) + h(x),
where G is a normal form, and the residual h E C'' has all derivatives equal to zero
at the point x = 0:
ar+qh
(6.3) a g (0) = 0
a r71
(p+q< r).
A mapping h with the condition (6.3) is said to be r-flat at x = 0, or simply
flat in thecase r=o0.
6. SMOOTH NORMAL FORMS 169
then the operator Tip on the right-hand side of (6.4) acts in the space Lo(S).
We shall denote by cp(k)(x) the k-th order derivative of cp, that is, the collection
of all partial derivatives
(k)(x)_f40(x) p + q -k
SP
aaq
For a fixed x E j2 this derivative can be interpreted as an element of the space of
tensors of corresponding rank. Assume next that r < oo. Then
(T40)(7')(x) A(x)4(T)(Fx) - A-1g'(x +
where
A(x) = A-1 ® (FI(x))®r.
The set of eigenvalues of the operator A(0) coincides with the set of all numbers of
the form
{-lA7P}, 91
(p,q E Z+)
It follows from the inequalities
P2lT<P1I<la21<1
that all these numbers have modulus < 1. Therefore, we can introduce a norm in
II82 such that for sufficiently small 8 > 0
(6.5) IIA(x)II ' IIF'(x)II 4<1 (lixil 8).
In L(6) we consider the subspace of mappings So such that
IIcoIlsup <00.
= IIxII°
6. SMOOTH NORMAL FORMS 171
then, as we have seen, the operator T is a contraction with respect to the norm
(x) II
llcolI =SUP oEL(6).
= llxIl° '
In the case
r+a< Inin 1A21
IA1I
it can be assumed that the axes 11 and l2 are invariant with respect to F. Under
this condition we should prove the existence of a Cr-solution of the equation
So(Fx) - ASo(x) = h(x),
with an r-flat part h E C. Repeating the arguments for the case r = 1, we
reduce the proof to a proof that the three equations in (4.1) are solvable, with the
difference that the solution must be in Cr. The first two equations are in a single
variable, and we again can use the results in §1.2. The third equation in (4.1) can
be written in the form
(x) = A-14o(Fx) + 0(x),
where 0 E £3 is a mapping of class C. By the condition on the number a, to get
a contraction we should give the norm by the formula
1
ar T
(6.7) llco = mac (sup air sup
j k>1
= {h I h(x) (i = 1, ... ,p + 1)
b is P_i <
aDPh(x) - cIe
CI
a ICI
i
Let
Zr=
i=1
As before, let Lo'a be the space of all C'-mappings that are k-flat at zero. We
have the inclusions
N
Lo'a C Zr C Lo
(recall that p = [r/2]).
The natural projections
Ni : L' a -i
6. SMOOTH NORMAL FORMS 173
(Nh)(x)=
1 _1DhI
(z - 1)' Di-1 I =o
To prove the theorem we must prove the existence of a p-flat solution of class
Cfor the equation
(6.9) So(Fx) - ASo(x) - [g(x + o(x)) - g(x)] = h(x)
where h = g - f.
It can be assumed from the start that the coordinate axes 11 and l2 are invariant
under F and that
1A111 IA1 I' (0< j< p, v=1,2),
1A111 (0< j< p, v=1,2),
(v = 1, 2).
Under these conditions we prove the inclusion
N
T (L') Lo'a
where T is the operator on the left-hand side of (6.9). The theorem will thereby be
proved.
Observe first that it suffices to prove the existence of solutions Spi E £i of the
equations
N1T4p1 = h1
N2T(cp1+...+ci)=hi
(2<i<2p+3),
where hi = Ni h. Indeed, let
O _ O1 + ... + O2p+3.
It follows from the definitions of the spaces £i and the projections Ni that
N2T (Sp1 +... + So) = NT (So) (1 <_ i < 2p + 3).
Consequently,
h = N1T Sp1 + N2T (Spl + (p2) +... + N23T (Sp)
= N1 T (Sp) + N2T (Sp) + ... + N23T (Sp) = T
which is what was required.
Proceeding to the proof that the equations in (6.10) are solvable, we note first
of all that the equations with indices i = 1, i = p + 2, and i = 2p +3 are nonlinear
in ci, while the remaining equations are linear. More precisely, let
Spi(, i) = i_lT(jl) (2 <_ p + 1),
(pi(', I) _ 2- (p+ 2 < i <- 2p+ 2).
174 4. LOCAL STRUCTURE OF DYNAMICAL SYSTEMS
where
= - Nz[9(x + + ... + Pz-i) - 9(x)1
Similarly, for Sl we have the equation
(6.13) s (A1 + f' (, o)) - nsl [g( + 8), 8)) - o)] = o),
The proof that (6.11)-(6.15) are solvable uses the same functional methods as
above. For instance, let us consider (6.15).
Since we are interested in local solutions, we can assume that the mappings f
and g have compact support. We consider the Banach space B of all Cr-mappings
40 E £21+3,
N
It can be assumed that E B.
Suppose now that
LEMMA 6.1. There is an e = e(A) such that the equation (6.15) has a unique
solution cp E B defined in the whole plane.
6. SMOOTH NORMAL FORMS 175
i=1
We write this system, in turn, in the operator form
(6.16) cp(x) _ y(x),
where
'Y(x) = (x), 1 (x)).
If So E B, then the quantities
1
17,
i -
(rnl = ma.sr cim
i I
1p-i+c .
Ci =
Ri (Co, ... , ci-1)
1-q ( --
1<l<
p)
a=1, a= b q>i+1
q
a
176 4. LOCAL STRUCTURE OF DYNAMICAL SYSTEMS
Next, to prove that (6.9) is solvable it now suffices to prove that the following
two equations are solvable:
o+(Fx) - AP(x) - [9(x + (P+(x)) - 9(x)] =
(6.1R'
Ao_(x) - g(x + o(x) + o_(x)) + g(x + o(x)) = h_(x).
Then the sum cp = p+ + cp- is the desired solution.
As before, assume that the mappings f, g, and hf are given in the whole plane
and are bounded, together with their derivatives of all orders. Also as before, it is
assumed that
IIf'(x)ll e, g'(x) e.
LEMMA 6.2. There is an e = e(A) such that each of the equations in (6.18)
has in the plane a unique solution satisfying for all r = 0, 1, ... , and v = 0, 1, .. .
the conditions
and
)
Iko_ (x)II <cr,l77ly,
respectively.
PROOF. Let us consider the first of our pair of equations. We write it in the
form
o(x) = A1o(Fx) - A1[g(x + o+(x)) - g(x)] - A1h(x).
For each r = 0, 1, ... we choose a number v(r) large enough that
Let
DTv((p) - sup
x
In this case if e is sufficiently small, then for v > v(r)
DT,v(T(p+) < gDT,v((p+) + RT,v(Dr_l,v((p+) ... Do,v(SP+))'
Here, as before, T denotes the operator on the right-hand side of the equation, and
RT,v is a function determined by the given mappings. In particular,
g
1
CT,v =
1-q --Rr,v(CT-1,v,... ,CO,)
(r 1).
al) _
7. LOCAL NORMAL FORMS OF TWO-DIMENSIONAL FLOWS 179
The left-hand side of the last equality is bounded, while the right-hand side, being
a sum of the terms of a harmonic series, is not. Consequently, -y C' .
More subtle examples are given in [108]. In particular, there are examples
showing that the estimate of the smoothness class for normalization of a saddle
cannot be improved.
is the flow of the system (7.1). Such a diffeomorphism exists in view of Theorem
4.1. Then the local diffeomorphism
W(x) =
f 1
dt
In the case of a saddle, the system has unique local invariant curves M1 and M2 of
class CT, «
PROOF. As before, let Ft be the flow of the system, and let F = FtIt=1 Let
MZ be the invariant curves for F; their existence is ensured by Theorem 3.1. Let
Mt = Ft(M) (i = 1, 2).
For each t the curves Mi are invariant under F, and the coordinate axes l2 are
tangent at zero. Therefore, Mi = MZ in the cases when Theorem 3.1 ensures
uniqueness; that is, the MZ are invariant for the system (7.1). It thus remains
to prove the existence of M2 in the case of a node, when there is certainly not
uniqueness. We indicate one method with use of the uniqueness in Lemma 1.4.
Recall that in our notation ill < v2 < 0. The function 'y2 giving the curve M2
satisfies the differential equation
y2 (1 (v2 1 + h2 (y2 (i), i)) = 111'y2(11) + h1(y2 (i ), i) .
Here, as before, x = (, E R2, and h = (h1, h2). Passing to the flow, we get the
equation
'1 t ft
(7.2) 'y2(7) = e-11ty2 (e12ti + ft (y2 (17), 77)) - e_ (y2 (r/), r/),
where
(7.3) Ft(x) _ (evit + ft (x) ft (x))
is the flow of the system. The equation (7.2) must be satisfied for small t. We
extend the residual h to the whole plane in such a way that it is bounded together
with all its derivatives, and the first-order derivatives of the functions ft and ft
are sufficiently small (see Lemma 1.4) over the whole plane (with respect to x) for
Iti < 1. By Lemma 1.4, (7.2) then has a solution 'y2 E for t = -1 that is
7. LOCAL NORMAL FORMS OF TWO-DIMENSIONAL FLOWS 181
defined on the whole axis and unique in the class of bounded functions. For a fixed
t we consider the curve
Ft(y2(r),r) ={=
This curve is invariant with respect to the diffeomorphism F-1 = Ft It=-i. Conse-
quently, rye satisfies the equation
= +f?i(7z(7r),1r)) -
its definition, rye is bounded. By uniqueness,
')4(77) = 'y2(11) (tI 1).
Consequently, Mz = { = is the desired curve.
7.3. Smooth normal forms. The normal forms I'-III' in §5.3 satisfy the
relation
(7.4) G(x) = Ax + g(x), g'(x)A*x = A*g(x).
By analogy with the discrete case, each C°°-flow satisfying (7.4) will be called a
normal form. As in the case of a diffeomorphism, the equation (7.1) can be reduced
by a C°°-transformation to the form
(7.5) x =G(am) + h(am),
For each s the diffeomorphism 4 also has the form (7.6) and conjugates the dif-
feomorphisms Ft and Gt for t = 1. However, as noted in the proof of Theorem 6.2,
a local diffeomorphism with the indicated properties is unique. Consequently,
If r8(A) < 1, then the normal form is linear, and we can use the Sternberg
device of passing from diffeomorphisms to flows.
Finally, there is also an analogue of Theorem 6.3 for a saddle point. We for-
mulate it also for r = oo, so that the formulation will include the Sternberg-Chern
theorem for flows.
182 4. LOCAL STRUCTURE OF DYNAMICAL SYSTEMS
THEOREM 7.5. Suppose that either r = o0 or that r < oo and a > 0, and
assume that the origin of coordinates is a saddle singular point for the system (7.5)
of class CT'". Then (7.5) is conjugate in the class CP to a normal form, p = [r/2].
In the case r < oo it is possible to take a = 0 if it is required in addition that
vj7p(vi -I- v2) (j1,2).
PROOF. It suffices to prove the existence of a local CP-solution cp of
p (x)(Ax + g(am) + h(am)) - [g(x + gyp) -g(am)] =h(am)
that is p-flat at the origin. We can assume that the coordinate axes are invariant
for the original system. Letting Tcp be the operator on the left-hand side of this
equation, we reduce solvability of the equation
TSp=h
to solvability of the equations
N1TSp1 = h1
NZT(Sp1 + ... + Sp2) = h2 (2< i< 2p+3)
with respect to the mappings SPz E £ (see the proof of Theorem 6.3).
The proof of solvability of (7.7) can be carried out independently, by "func-
tional" methods. However, it is also possible to employ the arguments already
used for diffeomorphisms, with uniqueness of the solutions taken into account. For
instance, let us consider (7.7) for i = 2p + 3.
We write it in the form
cp (x)(Ax -f- g(x) + h(x)) = Acp(x) + g(x -I- 9(x) + p(x)) - g(x + p(x)) + ry(x),
where ry E ,G2P+3, and
for small t. We can assume that the mappings g, h, and -y are extended to the
whole plane in such a way that for small t the residuals
ft (x) = Ftx - eAtx,
t
9t(x, y) = Ht(x, y) - etAy = f eat_[9(F3x -I- 9(FSx) + y) - 9(Fsx + 9(Fsx)] ds
0
satisfy the conditions of Lemma 6.1 for the equation (7.9) with t = 1,
Unlike in Lemma 6.1, the nonlinearities in Sp are not essential to the equation here:
if
IIf'(x)II e g'(x) e
and e is sufficiently small, then the last equation has a unique solution p E B
defined for all x E IIBz. We now let
(pt (x) =
Ht (F-tx,
Sp(F-tx))
Then Pt E B and, moreover,
Spt(Fx) = Ht (F1-tx, Sp(F1-tx)) = Ht (F'1-tx, H1(F-tx, (p(F-tx)))
= Ht+1(F-tx, (p(F-tx))
= H1(x, Ht(F-tx, (p(F-tx)) = H1(x, Spt(x)))
This long chain of formulas uses the flow condition (7.8) and the equality
Sp(Fx) = H1(x, Sp(x)) (F = Ft It=1 , H1 = Ht It=1)
which means that p is a solution of (7.9) for t = 1. Finally, we get that
Spt (Fx) = R 1(x, (pt (x))
Since cot E B, it follows from uniqueness that cot = p for all small t. Consequently,
Sp satisfies (7.9) for small t, which is what was required.
The case r = oo (the Sternberg-Chern theorem) can be treated similarly, with
the uniqueness in Lemma 6.2 taken into account.
t0 =t0(i1) = 1 in-.
v2
Therefore,
f (i) - l7V ' E v-
Obviously, the function f depends on the choice of e and b. However, in
different dynamical problems (see, for example, [48], and also §2 in Chapter 3) it
is only the power behavior of f and its derivatives as li - 0 that is important.
This behavior is independent of the choice of e and b and the local coordinate
system. Sometimes the coordinate system is required to have sufficiently high (> 2)
smoothness. Nevertheless, to study the behavior of the correspondence mapping
we can use a normal form (which may be nonlinear).
If the original function is sufficiently smooth, then it can be reduced by a C2-
transformation to a linear form, or to the normal form
The behavior of the Poincare mapping for these nonlinear normal forms was
studied in [48], and will be used by us in §2 of Chapter 7.
In particular, if l + s > r -1, that is, there are only "distant" resonances, then the
normal form is linear.
Sharp estimates are given in [108] (with appropriate counterexamples) for the
smoothness class of the reducing transformation in dependence on the value of the
In a2
ratio r = However, the estimate [r/2] cannot be improved in the set
lna
I I .
1 A2i 1d7(Slis)i,
where
m<_ 2k
l+s
-1
albs=1
2
1
186 4. LOCAL STRUCTURE OF DYNAMICAL SYSTEMS
(8.3) A
- ii cq', q E Z+.
8. NORMAL FORMS IN A NEIGHBORHOOD OF AN EQUILIBRIUM STATE 187
with some c, v > 0. The condition (8.3) holds for almost all numbers A with
respect to Lebesgue measure. This theorem was carried over by Siegel [45] to the
multidimensional case. However, all the fundamental difficulties already appear in
the one-dimensional problem. Siegel used the direct majorant method, and that
involved a considerable quantity of technical details. Essential progress became
possible with the emergence of the KAM method. By using this method Bryuno
[38] replaced the condition (8.3) by a weaker condition. Recently Yoccoz [112]
determined that the Bryuno condition is necessary: if this condition fails to hold,
then there is a residual f such that the diffeomorphism F cannot be analytically
linearized.
In the problem of analytic normalization in the presence of resonances other ob-
stacles arise in addition to small denominators. This problem has been thoroughly
studied by Bryuno [38]. He determined conditions on a formal normal form which
together with "nonsmallness" of the denominators ensure an analytic normaliza-
tion. These conditions are very stringent. For example, even the one-dimensional
complex-analytic mappings
F(z) = z + o(z), z E C,
cannot as a rule be reduced to their formal normal form (which here has the form
G(z) = z + zq + az2q+1, q > 2,
with some q E Z+ and a E C). Moreover, the analytic classification of such
mappings leads to functional invariants (the Ecalle-Voronin moduli; see [41]).
CHAPTER 5
LEMMA 1.1. Let f E P(1[8), and suppose that r < f k(xo) - xo <r +1 for some
k E N, r E 7G, and xo E I[8. If f(x)-xZforallxER 1, the n r < f (x)-x<r+1
for all xEIIB.
k
PROOF. Let D def {x E Ilk : r < f (x) -x}. By the condition 1) in the definition
of the set P(R), x0 + n E D for all n E Z.
Let x1 E D. We show that [x1, oo) E D. Indeed, since r < t (xl) - xl, the
k k c
condition 3) gives us that x + r < f (x1) < f (x) for all xl < x < f (xl) -r. Since
f (x) - x 7L, we have the strict inequality r < f (x) - x, that is, [x1, 1c(xi) - r] C
k
D.
Let {x}r be a monotonically increasing sequence of points xn E D converging
to a point x E R. If we assume that x D, that is, r > 7k(x) then we -
get that
Jk(5) < f k <x n + r for the points xn with 7k(x) - r <x n <x,
and this contradicts the inclusion xn E IL Consequently, x E D, and hence
[xi,oo) C D.
The equality D = R follows from this and the inclusion x0 +n E D, n E Z; that
k k
is, r < f (x) - x for all x E R. It can be proved similarly that f (x) - x <r + 1
forallxER.
THEOREM 1.1. For any transformation f E P(R) the limit
lim
T(x) def
=a
n--) oo n
exists and does not depend on the choice of the point x E III. If J'(xo) = xo + r for
some xo E R, k E N, and r E Z, then the number a is rational and equal to r/k.
PROOF. We first assume that the limit (1.1) exists for some point xo, and we
take an arbitrary point x E R. Let s E Z be such that xo + s < x <x0 + s + 1.
By the properties 3) and 4), 7(xo + s) = T(xo) + s < T(x) < j7(xo + s + 1) =
T(xo) + s + 1. From this,
T(x) -T(xo) as n -* oo,
n n
and hence the limit (1.1) exists for all x E R and does not depend on x.
We now prove that the limit (1.1) exists for some point.
k
Let f (xo) = x0 + r for some x0 E R, k E N, and r E 7L. Any positive integer
n can be written in the form n = qk + s, where 0 < s <k. Then by the property
4) and the equality
q f k(0) q 1
n < nk <k+k
In view of (1.2) for x = 0, we have that
q fk(0) q 1
nk k
Since k and n are arbitrary, the above computations can be repeated with k and n
interchanged. Then we get that
7(o) _ f nk (0) 1
n nl < n
Combining the last two inequalities, we get that
jfl() fr(o)
n k
that is, the sequence {fTh(0)/n}0 satisfies the Cauchy condition. Therefore, the
limit (1.1) exists for x = 0, and hence for all x E III. 0
LEMMA 1.2. For f E P(R) and for fixed k E N and r E 7L the transformation
fk(x)
71(x) = -I- r belongs to the set P(R) and has rotation number rot(f1) _
rot(fk +r) = krot(f) +r.
PROOF.
-
rot (f 1) = lim
f (x) = lim f k(x) - nr
1
n-- oo n n-- oo n
= k lim
Tk(x) -
+ r = k rot (f) -}- r.
k <rot(f)<rk1
2) If f is continuous and r/k < rot(f) < (r + 1)/k, then there exists a number
il > 0 such that the inequalities
r
- < lim nrn+ x < lim
- < lim
r(x) = rot(f) n (r + 1) -}- x
=
r+1
n n
We prove 2). According to the (proven) assertion 1), r < 7k(x) - x for all
k
x E III. It follows from Theorem 1.1 that if r = f (x) - x for some x E Ilk, then
rot(f) = r/k. Therefore, r <7k(x) - x for all x E R.
The equality 7'(x -I- 1) = 7'(x) + 1 implies that the function t(x) - x is
periodic with period 1. Consequently, there exists a number i > 0 such that
r+r/1 < fk(x)-xforallxER.
It can be proved similarly that there is an 772 > 0 such that 7k(x)_x <r+1-772.
The required 77 is min{r/l, 7/2}.
REMARK. The assertion 2) in Lemma 1.3 is not true in general for discontinu-
ous transformations in the class P(R) (Figure 5.1). This assertion is used in what
follows for proving that the rotation number depends continuously on a parameter.
It can be shown that under the additive introduction of a parameter (see Theorem
1.2) the rotation number is a discontinuous function in general for a discontinuous
transformation in P(R).
1. THE POINCARE ROTATION NUMBER 193
x x
FIGURE 5.1
The group Z of integers can be identified in a natural way with the group of
mappings of Ilk of the form x '-p x + n, x E IIS, n E Z. The quotient space Ilk/7L is
homeomorphic to the circle Si, which can be represented as the closed interval [0, 1]
with endpoints identified. The natural projection it : Ilk - Ilk/7L S1 is a universal
covering.
By the condition 1) in the definition of the set P(R), each transformation
f E P(R) is a covering for some transformation f : 51 51, that is,
f f.
Denote by P(S1) the set of transformations of the circle that have covering
transformations in P(R).
LEMMA 1.4. Let f E P(S1).
1) If f e P(IR) is a covering transformation for f, then so is f + n, n E 7L.
2) If 11,12 _E P (]R) are covering transformations for f, then there exists a
k E Z such that f2(x) = 71(x) +k for all x E R.
PROOF. The assertion 1) follows from the definition of the covering it because
itof=iro(f+n).
We prove 2). By assumption, for each x E Ilk there exists an integer k (x)
such that f2(x) - f 1(x) = k (x) . Since fi (x + 1) = f i (x) + 1 and since f i is
monotonically nondecreasing (i = 1, 2), f - 7(x2)I < 1 for sufficiently close
points x1, x2 E I1t This implies that the function k(x) is locally constant. Then
k (x) = k = const because k (s) is in Z.
lim
f (x) (mod 1)def
= rot(f ), x E Ilk,
n
where f E P(R) is a covering transformation for f, is called the rotation number of
the transformation f.
By Lemma 1.2 and 1.4, the definition of the rotation number of a transformation
f E P(S1) does not depend on the choice of the covering f E P(R).
Remark 1. The rotation set of a continuous transformation of de-
gree 1. We recall that a transformation 1:51 - S1 is a transformation of degree
k if there exists a covering transformation f : Ilk - Ilk for f such that f (x + 1) =
194 5. TRANSFORMATIONS OF THE CIRCLE
7(x) + k. Thus, all the transformations in the set P(S1) are transformations of
degree 1.
Let f : R - R be a covering for some transformation f : S1 -* Si of degree 1.
If the condition 2) in the definition of P(R) does not hold for f, that is, f is not
monotonically nondecreasing, then the limit (1.1) can fail to exist in general or can
depend on the point x. Newhouse, Palis, and Takens (Stable families of dynamical
systems. I: Diffeomorphisms, preprint, I.M.P.A., Pio, Brasil, 1978) proposed a
generalization of the concept of the rotation number to continuous mappings (not
necessarily one-to-one) of the circle of degree 1. For a given x E R the rotation
number is defined to be the limit superior of the sequence {7Th(x)/n}°:
f mi(x)
rot(f, x) = lim n
(the largest limit of the convergent subsequences). The rotation set of f is rot(f) =
{rot (f , x) : x E R}. Since a covering of a transformation f is determined up to an
integer addend, the rotation set of f, defined to be rot (f) = rot (f) (mod 1), does
not depend on the covering f.
The following two lemmas were proved by R. Ito in the paper, Rotation sets
are closed (Math. Proc. Cambridge Philos. Soc. 89 (1981), no. 1, 107-111).
LEMMA. The rotation set rot(f) is bounded.
PROOF. Since 7(x) is a covering for a continuous transformation of the circle of
degree 1, 7(x) - x is a periodic continuous function of period 1. Therefore, setting
L aef max f - x l , we have that
n
.f(.fi-'(x)) _ 7'(x) < nL,
i=1
and from this
-L < lim
f (x) - x -
= rot (f , x) < L.
n
LEMMA. If A, ,c E rot(f) and A < p/q < , where p E Z and q E N, then there
exists an x E R such that f q(x) = x -}- p (that is, the transformation f : S1 - S1
has a periodic point ir(x) of period q with rotation number p/q (mod 1)).
PROOF. Assume the contrary. Then since J'(x) - x is continuous, either
r(x) - x < p for all x E R or f ' (x) - x > p for all x E R. For definiteness
assume the former. Since J'(x) - x is periodic and continuous, there exists an
e > 0 such that 7'(x) - x <p - e. Then 77(x) - x < n(p - e), and hence
rot (f , x) < (p - e) /q < p/q for all x E R, which contradicts our assumption.
With the help of these lemmas, Ito proved the following theorem.
THEOREM (R. Ito). Let f : R - R be a covering for a continuous transforma-
tion of the circle of degree 1. Then the rotation set off is either a point or a closed
bounded interval.
In the paper, Rotation intervals of endomorphisms of the circle (Ergodic Theory
Dynamical Systems 4 (1984), 493-498), Bamon, Malta, Pacifico, and Takens defined
1. THE POINCARE ROTATION NUMBER 195
the rotation set rot (f, x) of a point x with respect to a continuous transformation
f : Ilk -* R covering a transformation of the circle of degree 1. The set rot (J, x) was
defined to be the union of all the limit points of the sequence {fTh(x)/n}r. In that
paper it was proved that rot (f , x) is a closed subinterval of the interval rot (f) for
any x E R, and for a given [a, ,3] C rot(f) (a < ,3) there is a point x E R such that
rot(f, x) = [a,/3].
Remark 2. The rotation set of a topological Markov chain. Following
a paper of V. M. Alekseev on symbolic dynamics (Eleventh Mathematical School,
Kiev, 1976), we consider a topological Markov chain (TMC) (L, H, o) with a Haus-
dorff state space L, a transition matrix H that is a closed subset of L x L, and
the left-shift mapping o on the space Stn of two-sided infinite sequences {x}0,
xn EL, such that (x,x+i) E H for all n E 7L.
We represent the state space L as the union L1 U LZ of two disjoint subsets L1
and L2. Denote by X2 the indicator function of the subset L2 C L: X2 (x) = 1 for
x E L2 and X2 (x) = 0 for x L2. It will be assumed that L2 0.
The concepts of the rotation number of a point x = {x},0 E SZn and the
rotation set of a TMC were introduced in the following way in [57].
The number rot (o, x) = limn n j o X2 (xk) is called the rotation number
of a point x = {xk} E SZn with respect to the partition L = L1 U L2. The set
rot (o-,1 -) = {rot (o-, x) : x E 1-} is called the rotation set of the TMC (L, H, o)
with respect to the partition L = L1 U L2.
THEOREM [57]. Let (L, H, o-) be an irreducible finite TMC, and let L = L1 U LZ
be a fixed partition of the state space. Then:
1) the rotation set rot(o,1 -) with respect to the partition L = L1 U LZ is either
a point or a closed bounded interval;
2) if the transformation °-Ic is topologically mixing, then rot(o,1 i-) is a closed
interval with rational endpoints that are the rotation numbers of two periodic points.
FIGURE 5.2
196 5. TRANSFORMATIONS OF THE CIRCLE
Let us prove b). Take coverings f, J, and h for f, fo, and h, respectively. By
(1.5), f o h= h o f0 + k= h o (f0 + k) for some k E 7L . From this,
rot (f) = rot (f o + k) = rot(70) + k,
and hence rot (f) = rot (f o) . 0
DEFINITION. Mappings f, g E P(IES) are conjugate if there exists a homeomor-
phism h E P (Ilk) such that f o h= h o g.
DEFINITION. Mappings f, g E P(S1) are conjugate if there exists a homeomor-
phism h E P(S1) such that f o h= h o g.
The next result follows immediately from Lemma 1.5.
COROLLARY 1.1. a) If the transformations 7, g E P(IES) are conjugate, then
rot(f) = rot().
b) If the transformations f, g E P(S1) are conjugate, then rot(f) = rot(g).
1.3. Continuous dependence of the rotation number on a parame-
ter. If a transformation f belongs to the set P(R), then for any fixed number t E Ilk
the transformation ft(x) = f(x) + t also belongs to P(IES).
THEOREM 1.2. If f E P(IES) is continuous, then the function
r(t) = rot(f t) = rot[ f (x) + t]
is continuous and monotonically nondecreasing, and Ilk.
PROOF. We prove that r(t) is continuous at a point to. For a given E > 0 we
choose a natural number k > 2/E and an integer r such that
r
< rot(f)o < r+1
i
where fo=7 + to. By Lemma
some r > 0.
Then there exists a 6> 0 such that for I to - t <6
r< ft(xo)-xo <r+1.
According to Lemma 1.3, 1), we have r/ k < rot(ft) < (r + 1)/k. Therefore,
rot(f o) - rot(f t)l <2/k <e.
Since f is nondecreasing, it follows that f tl < f t2 for t1 <t2 and n E N. From
this,
-
rot(f ) = nlim
7(x) < lim 7(x) -
= rot (f t2 ) .
1
--> oo n fl-,00 n
Consequently, r (t) is a nondecreasing function.
It follows from Lemma 1.2 that Ilk. 0
f,g E Homeo+(S').
198 5. TRANSFORMATIONS OF THE CIRCLE
The rotation number rot(f ), considered only for f E Homeo+ (S1), is a real-
valued function rot with domain Homeo+ (S1) . The next theorem shows that this
function is continuous.
THEOREM 1.3. The function rot : Homeo+ (S1) -* [0, 1) is continuous at each
point f E Homeo+ (S1) .
PROOF. This is analogous to the proof of continuity of the function r(t) in
Theorem 1.2. We omit it (and leave it to the reader as an exercise).
1.4. The rotation number of a homeomorphism of the circle. In this
subsection we establish a connection between an arithmetic property of the rotation
number (namely, its rationality or irrationality) and a dynamical property of a
homeomorphism of the circle with that rotation number (namely, the presence or
absence of a periodic orbit).
LEMMA 1.6. Suppose that the transformation f E P(S1) is a homeomorphism.
Then rot (f) is rational if and only if f has a periodic orbit, that is, there exist a
point x0 E S1 and a number k E N such that f ' (xo) = xo.
PROOF. Let f E P(IES) be a covering transformation for f. Then the presence
of a periodic point for f is equivalent to the existence of a point x0 E R and numbers
k EN andrE Z such that f'(xo)=x0+r.
According to Theorem 1.1, if f has a periodic orbit, then rot (f) is rational.
We prove that the rationality of rot(f) implies the existence of a periodic orbit.
Take a covering f such that f (O) E [0, 1) (by Lemma L4, there is such a covering).
We first consider the case rot(f) = 0 and show that f has a fixed point. Assume
that 7(x) x for all x E Ilk. Since f is a homeomorphism, it can be assumed for
definiteness that 1(x) > x for all x E R. Then 0 <7(0) <
{fTh
<f(0) < ..., that
is, the sequence (0)} is monotonically increasing.
We show that 7(O) < 1 for all n E N. Indeed, if 78(0) > 1 for some s E N,
then 72S() jS(7S()) 7S()
= > 1(1) = +1 > 2.
Similarly, 7flS(o) > n for n E N. Then
rot (f) = lim f nS (0) /ns > 1/s 0,
which contradicts the assumption that rot (f) = 0. Therefore, 7(o) < 1 for all
n E N, that is, the sequence {f(0)} is bounded.
Consequently, limn f n (0) = x0 exists, and f (xo) = limn f (fn (0)) =
limf n+1
(0) = x0.
'
Suppose now that rot(f) = r/k. Then rot[ f - r] = k rot(f) - r = 0 in
view of Lemma 1.2. By what has been proved, there exists a point x0 such that
f (x0) - r = x0 Then it(o) E S1 is a fixed point of the homeomorphism f k . 0
.
It follows from the definition of the rotation number that if g1(x) < 2(x) for
all x E R, then rot (g 1) < rot (g2) . Using this property, we get that rot (f 1 + ml) =
n1 rot (f) + m1 < rot (f "2 + m2) = n2 rot (f) + m2. Since rot (f) is irrational, the
last inequality must be strict, that is, n1 rot (f) + m1 <n2 rot (f) + m2 LI
.
FIGURE 5.3
THEOREM 2.2. Suppose that f E P(R), rot(f) = a E I[8 \ Q, and there exists a
point xo E ][8 such that the set A = {fTh(xo) + m : n E ICY, m E 7G} is not dense in
In this case:
1) f is semiconjugate to Ra by means of a continuous mapping h E P(II) that
is not a homeomorphism;
2) if hl and h2 are two continuous transformations realizing a semiconjugacy be-
tween fand Rte, then there exists a E Il8 such that hl = Rpoh2 (consequently, any
continuous transformation semi conjugating fand Ra is not a homeomorphism);
def fx E
3) if h E P(II) realizes a semi conjugacy between f and Rte, and x(7, lZ) i
R: h-1(x) contains more than one point}, then
a) the inverse image h-1(x) is a closed interval for any x E x(7, h),
def
b) the set SZ(f) II8 \ U int h-1(x), x E X(f , h), is a nonempty closed perfect
set that does not depend on the semiconjugating transformation h,
c) h[1(J)] =IL
2. TRANSFORMATIONS WITH IRRATIONAL ROTATION NUMBER 201
We show that ho (a) = ho(b). Assume not. Since B is dense in ll, the interval
(hio(a))io(b)) contains a point yo E B. We get that ho 1(yo) E (a,b) because
the mapping ho A : A -* B is one-to-one and monotone, and this contradicts the
equality A n (a, b) = 0. _ _ _
For any component (a, b) of the set IlS \ cl(A) we let h(x) = ho (a) = h(b),
where x E (a, b). By the foregoing, h is a monotonically nondecreasing continuous
mapping of R onto R that coincides with ho on cl(A). It follows from the definition
of h that h is not a homeomorphism. _ _ _ _
As in the proof of Theorem 2.1 we can show that h0 o f c1(A) = R« o ho 1(A)
The definition of h gives us that _h o f = R« o h on the whole line ll, that is, h
realizes a semiconj ugacy between f and R« .
Forx=f (xo)+mEAwehavethat
h(x+1)=ho[fn(xo)+m+1] =na+m+1=ho(x)+1=h(x)+1.
This and the definition of the extension of ho to the transformation h implies that
h (x + 1) = h (x) + 1 for all x E ll, which proves 1).
The proof of 2) is completely analogous to that of 2) in Theorem 2.1.
Let us prove 3). The monotonicity of h implies 3a). Since the union U int h
x E x (f , h), is an open set, the set 1(f) is closed. By 3a), any point x E SZ (f )
cannot be simultaneously an endpoint of two intervals h-1 (y1) and h-1(y2) with
y1, y2 E x (f , h) ; therefore, 1(f) is perfect and nonempty.
The assertion 3c) follows immediately from the construction of h and the prop-
erty 3a).
The fact that 1(f) is independent of the semiconj ugating transformation h
follows from 2). LI
COROLLARY 2.1. Assume the conditions of Theorem 2.2, and let f be a home-
omorphism. Then (in the notation of Theorem 2.2) :
1) the set x(f, h) is invariant under R«; _
2) 1(f) is a Cantor set and is invariant under f ;
3) [c(J)] = Ilt.
PROOF. _The_homeomorphism f carries an interval into an interval. From this,
the equality h o f = R« o h, and the assertion 3a) in Theorem 2.2 we get the
invariance of x(f, h) under Ra and the invariance of the set Uh-1(x), x E x(f, h),
under 7. Since f is a homeomorphism, it follows that i(7) = IlS \ U int
x E x (f , h), is also invariant under f .
Since a is irrational and x(f, h) is invariant under R«, x(f , h) is dense in R.
Therefore, between any two points in IlS there are points carried under the action
of h into x(f, h). This implies that 1(f) is nowhere dense, and hence a Cantor set.
0
202 5. TRANSFORMATIONS OF THE CIRCLE
For f E Homeo+ (S1) and for a point x0 E S1 the set O- (x0) = {fTh(xo),
n > 0} is called the negative semi-orbit of the point x0.
We recall that the family {f ni } is uniformly continuous if for any E > 0
there exists a 6> 0 independent of the n2 such that if x1, x2 E S1 are 6-close, then
f ni (x1) and f ni (x2) are E-close.
The following criterion for being conjugate to a rotation holds for homeomor-
phisms of the circle with irrational rotation number.
LEMMA 2.5. A homeomorphism f E Homeo+ (S1) with a = rot(f) E Ilk \ Q is
conjugate to the rotation Ra if and only if there exists a sequence {n}1, n2 E N,
increasing to infinity such that the family {fni }is uniformly continuous.
PROOF. NECESSITY. Let f = h-1 o Ra o h, where h is a homeomorphism
conjugating f and Ra. Then f fl = h-1 o Ra o h, n E N. Since h and h-1 are
uniformly continuous (being continuous mappings of a compact set), and since Ra
is an isometry, the family {fn}_1 is uniformly continuous.
f n (x) G for all n E N. This means that any point in G does not belong to the
w-limit set of a point of the circle. Thus, +(f) C SZ(f) .
Take an x E 1(f), and an arbitrary point xo E S1. We show that x E w(xo).
Let U be a neighborhood of x. Since x E 1(f) the set h(U) contains more than
one point. The monotonicity of h implies that there is a closed interval I C h(tL)
covering the point h(x). It follows from the irrationality of a that Ra is minimal,
and hence Ra (h(xo)) C I for some n E N. Since h-1 (I) C U because h is monotone,
we have that f n (xo) E U. From this, +(f) = SZ (f) .
We consider the case when f is a homeomorphism. It follows from the relation
ho f= Ra o h that ho f -1 = Ra l oh = R_ a o h; that is, h realizes a semiconj ugacy
between f -1 and R_ a . Therefore, 1- (f) = S (f_i) = SZ (f) = S (f) LI .
For two sets X1, X2 C S1 we write X1 = X2 if one of them is the image of the
other under a rotation of the circle, that is, X2 = Ra (X1), ,3 E Ilk.
We remark that if continuous mappings h1 and h2 realize a semiconjugacy
between a homeomorphism f E Den(S1) and the rotation Ra, a = rot(f ), then
X (f , h 1) - X (f , h2) by virtue of Lemma 2.3, 2).
THEOREM 2.4. Suppose that the continuous mappings h1 and h2 realize a semi-
conjugacy between the Denjoy homeomorphisms f and g and the respective rotations
Rrot(f) and Rrot(g) Then f and g are conjugate if and only if rot(f) = rot(g) and
X(f, hl) = X(g, h2) .
PROOF. NECESSITY. Let h o f = g o h, where h E Homeo+ (S1) (Figure 5.4).
Then rot (f) = rot (g) by Corollary 1.1.
Since h is a homeomorphism realizing a conjugacy between f and g, it follows
that h[1(f )] = 1(g). We take a point x e X(f, hl ). By Lemma 2.6, the closed
interval h-1(x) intersects 1(f) only in its endpoints, and thus h[hj 1(x)] is a closed
interval intersecting 1(g) only at the endpoints. This implies that h2 takes the
interval h[hi 1(x)] into a point, that is, h[hj 1(x)] E X(g, h2). Since the complete
206 5. TRANSFORMATIONS OF THE CIRCLE
Si
FIGURE 5.4
inverse image hj 1(x) is a single point for each point x E Si \ x(f , h1), the mapping
ho = h2 o ho hi 1 is well defined, and ho [x (f , h1)] C x(g, h2). The transformation ho
is continuous because the mappings h1, h2, and h are monotone and continuous. In
a completely analogous way it can be shown that the mapping h1 oh-1 o h2 1 = ho 1
is well defined and continuous, and that ho 1 [x (g, h2 )] C x (f , h1). Consequently, ho
is a homeomorphism carrying x (f , h1) onto x (g, h2).
We show that ho commutes with R. Let x E S1 \ x (f, h1). Then
Ra o ho (x) = Ra o h2 o h o hi 1(x) = h2 o g o h o hi 1(x)
= h2 o h o f o hj1(x) = h2 o h o hj1 o Ra (x) = h0 o Ra (x) .
0 0
It is proved similarly that the mapping hi 1 o RQ 1 o h2I(9) : Q(g) -* (f) is
also uniformly continuous.
Since h21 o Ro h 1 I(f) is uniformly continuous, it can be extended to a contin-
uous mapping h: cl[Q(f )] = Q(f) -* Q(g) = cl[o(g)]. We show that h[r(Q(f ))] _
r(Q(g)) (that is, the endpoints of the adjacent intervals of Q(f) are carried by h into
the endpoints of adjacent intervals of Q (g)) . We take x E F (Q (f)) and assume that
0 0
h(x) E Q(g). Then x1 = (h21 o Ro h1)-1(h(x)) E Q(f ). Since h is an extension of
the monotone mapping h2 1 o Ro h 1, it is also monotone. Consequently, one of the
arcs I of Si with endpoints x1 and x has the property that h[I n Q(f )] = h(x). By
0
the construction of the Cantor set, I contains an infinite family of points in Q(f ).
Then the last equality contradicts the one-to-oneness of h2 1 o Ro h1 and the
(f )
equality h I = h21 o Ro h 1 . Thus, h [r (Q (f)) ] C r [Q (g) ] . The monotonicity
0
of h and the denseness of Q in the Cantor set Q imply that h[r(Q(f ))] = r[SZ(g)].
We show that h is one-to-one. To do this it suffices to prove that the restriction
h I r(e(f)) is one-to-one. Take two distinct points x1, x2 E r (Q (f)) . If these points
are not endpoints of a single adjacent interval of the Cantor set (f), then both the
0
arcs in 51 \ {x1, X2} contain points in Q (f) Since h I(f) is monotone and one-to-
.
one, h(x1) h(x2). Suppose now that x1 and x2 are endpoints of a single adjacent
interval, and assume that h (x 1) = h (x2) E r (Q (g)) Let J be the adjacent interval
.
of the Cantor set Q(g) with endpoints h(x1) and y1. Since h[r(Q(f ))] = r(Q(g)), it
follows that h-1(y1) 0. Let x E h-1(Yi). By the structure of a Cantor set, each of
the arcs in 51 \ {x1, X2} contains points in Q (f) It follows from the monotonicity
.
of h that there are points in Q(f) carried by h into J, which cannot be. This
contradiction proves that h is one-to-one, and h preserves the order of points on
the circle. Thus, h : Q (f) -* Q (g) is a homeomorphism.
Let us now extend h to a mapping of the circle. We break up the adjacent
intervals of the Cantor set Q (f) into equivalence classes: intervals G' and G" are
regarded as equivalent if there exists an n E Z such that f n (G') = C". From each
equivalence class we choose a representative, obtaining G1, G2, .... We extend h
from the endpoints of GZ to an arbitrary homeomorphism h2 : GZ -* 51 \ Q(g) on
the whole interval G2, i = 1, 2, .... For the points x E fn(GZ), n E Z, we set
h2,n (x) = gn o h2 o f -n (x) .
We extend h to the whole circle by means of the homeomorphisms h2,n, i =
1, 2, ... , n E Z. Denote the mapping obtained again by h. By construction,
h: 51 - 51 is a homeomorphism.
0
If x E Q(f ), then ho f (x) = h21 o Ro h1 o f (x) = h2' o Ro Ra o h1(x) _
go h2 1 o Ro h1(x) = go h(x). By continuity, ho f (x) = go h(x) for x E Q(f ).
If x E f (C), then h o f (x) = h2,n+1 [f (x)] = gn+1 ° h2 ° f -(n+1) (f (x))
g o [gn o h2 o f ](x) = g o h(x). Thus, h o f (x) = g o h(x) for all x E 51. O
1) on any finite interval, f has finitely many intervals of constancy (that is,
intervals on which f takes a constant value) and finitely many points of disconti-
nuity; _
2) f is continuous at endpoints of intervals of constancy;
3) if xo is a point of discontinuity, then f (x) T f (xo) as x T xo (that is, f is
left-continuous at points of discontinuity; see Figure 5.5);
4) f has an irrational rotation number;
5) if [a, b] is an interval of constancy, then for any n E N the complete in-
verse image 7([a, b]) is a closed interval with a neighborhood in which f is a
homeomo_rphism; _ _
6) if f is discontinuous at xo (see Figure 5.5) and if [c, d] = [f(xo), limo f (x)],
then for any n E NU {0} the image f([c, d]) is a closed interval with a neighborhood
in which f is a homeomorphism;
7) all the images of the intervals of constancy and all the points of discontinuity
of f lie in Q (f) .
The set of Cherry transformations of the line is denoted by Ch (IR) .
xo
FIGURE 5.5
FIGURE 5.6
Let xi, ... , xi be the sinks and xi, ... ,x' the sources off.
For a subset 'IL C 51 we denote by m(tL) its Lebesgue measure.
Let ; be a sink, and 'Ui x2 a neighborhood of it in which IDf I < A < 1.
Then m [ f ('u2) ] < Am (tL2) < m (tLi) , and hence cl [ f (tLi) ] C 'u2 . Moreover, if i is the
length of a minimal interval in U2 \ f (tL2) , then g (tL2) C u2 for any g e Homeo'' (S 1)
that is -close to f in the C°-topology. Therefore, g has a fixed point in U. If
pi (f, g) < (1 - A)/3, then Dg < A + (1 - A)/3 < (2A + 1)/3 < 1. Consequently, g
has exactly one attracting fixed point in ' L2.
An analogous neighborhood can be constructed for each sink and each source.
We take disjoint neighborhoods Vj of the fixed points x, x, i = 1, ... ,1,
j = 1, ... , 21, together with a number > 0 such that if pl (f , g) < i, then g
has in each Vj exactly one hyperbolic fixed point of the same character as f. The
3. STRUCTURALLY STABLE DIFFEOMORPHISMS 215
complement S 1 \ UVj consists of disjoint closed segments Ii,.. . , I21. None of these
segments contain fixed points of f, so
v = min p(x, f (x)) >0,
xeuIj
where p is the metric on 51 induced by the covering it : IR -* S1. Then any g E
Homeo'' (S1) that is (v/2)-close to f in the C°-topology does not have fixed points
on 51 \ UV3.
Let S = min{, v/2}. It follows from the foregoing that any g E Homeo''(S1)
with pr (f , g) <6 has on 51 only 21 fixed points, and they all are hyperbolic: half
sinks x2 , i = 1, ... ,1, and half sources x2 , i = 1,... ,1.
For both f and g the attracting and repelling points alternate on 51. On the
arc between a sink and the source next to it all the points move in the direction of
the sink under the action of the homeomorphism.
We consider two such (open) arcs: I( f) for f and 12(g) for g. Let x E 12(f) and
x' E 12(g), and let h : [x, f (x)] -* [x', g(x')] be an arbitrary orientation-preserving
homeomorphism. Since the segments f n [x, f (x)], n E Z, (respectively, gn [x', g(x')],
n E Z) have disjoint interiors, and their union is 12(f) (respectively, 12(g)), h can
be extended to a homeomorphism 12(f) -* 12(g) as follows:
hI fn [x,f(x)] = gn ° h ° f -' I fn [X,f(X)] : fn [x, f (x)] -* gn [x', g(x')]
It is easy to verify that on 12(f)
g o h = h o f.
Making this construction on all the arcs 12(f), i = 1, ... , 21, and setting h(x2) = x2
and h (xu) = xu , we get a homeomorphism h : 5i - S 1 conjugating f and g. This
proves the weak structural stability of f. O
(in this case any orbit of f is dense in S1) Suppose now that f is semiconjugate to
.
xo) u
Xo
FIGURE 5.7
_Assume now that the theorem is false. According to Theorem 1.2, the function
rot (Rt o f) = rot (f + t) is monotonic_ally nondecreasing and continuous. Therefore,
there is a to > 0 such that rot(Rt o f) = rot(f) for all 0 < t < to (or -to < t < 0,
in which case the proof is analogous).
We take a point xo E ir-1(xo). By the properties of xo, there exist k e N and
r e Z such that
xo + r - to/2 < fk(xo) < xo + r.
Then rot(f) < r/k in view of Lemma 1.3.
f fl
Since Rt0 o f > 7, it follows that (R0 o f) n > for all n E N. Therefore,
7)k k-i (xo)
(Rto o (o) = (Rto o f) o (Rto o 7)
7k1 (o) = 7k +
> CRto f) Cxo) to.
k
This and the inequality f (xo) > xo + r - to/2 imply that (Rt0 o f) k (xo) > xo + r +
to/2. Lemma 1.3 again gives us that rot(_Rto o f) > r/k. Then rot(f) = r/k E Q,
which contradicts the irrationality of rot (f) . El
with positive integer elements a2. If a is rational, then the continued fraction (4.2)
is finite, and if a is irrational, then (4.2) is infinite.
The elements a2 of the expansion (4.2) can be obtained with the help of the
Gauss transformation G : (0, 1) --* (0, 1),
G(x) = 1/x-[1/x], x E (0,1),
where [z] is the integer part of a number z. If for a real number a e (0, 1) the
iterates G(a), ... , G1(a) are not equal to zero, then
=
,a2
[]
,.. [Gn1a] . ,a =
In what follows we assume that a e (0, 1) \ Q. Then a can be written as an
infinite continued fraction.
For a = [ai, a2,. ..] the fractions pn/qn = [ai,. . . , an] are called the conver-
gents of the continued fraction. The numerators pn and denominators qn of the
convergents satisfy the recursion relations
1 pn < 1 < 1
qn (qn + qn+1) - a- q2
qn gngn-1
that is, the convergents of the continued fraction are rational approximations of a,
and
a- pn >
qn
a- qn-1
pn-I-1
o(, p
per,- _1
Q
21C+1 2K'- S
FIGURE 5.8
Q n+ 2 intervals
d
Pn
-- P+L
n pn+
c
qn+ qn+ 9n+ i, n+i q n+ 2
FIGURE 5.9
for some 0 < i < i +1 +qn, then it follows from (4.6) that i > qn. Thus 0 <i - qn <
qn+1, and the point Ra Qn (xo) lies on the arc [R' (x0), xo] between Ran+1 (x0) and
x0, closer to x0 than R' (x0), which contradicts the definition (4.7) of qn+1. If
Ran (x0)] Ran+1+Qn
R(x0) E [x0, Ran (x0)] \ [R+' +Qn (x0), [x0, (x0)]
for some qn+1 < i < qn+1 + qn, then 0 < i - qn+1 < qn and Ra2q
-,L+1
(x0) E
[x0, Ran (xo)], which contradicts the definition of qn.
Xo
r(x)
4
Rqn+s
(xe) R+t(x0) RF1
a
+ n Cxo)
a
Since Ra is an isometry, the points RaQn+1+Qn (x0), k = 1,.. . an+2, lie on the
arc [x0, Ran (xo)] in the order pictured in Figure 5.11 (n is even, and an+2 > 1).
Q n+2 intervals
xo RQn+ c1
R41(xo)
F cxo Ra cxo 1
a (x0)
a
FIGURE 5.11
Denote by Iqa the length of the circular arc between x0 and Rai (XO) not
containing R' (x0), i > 1. Then an analysis of Figure 5.11 leads to the equality
I= Iq+2aIf.
4. CONNECTION BETWEEN SMOOTHNESS AND TOPOLOGICAL PROPERTIES 221
LEMMA 4.1. Let Ra : Si --* Si be a rotation with irrational a, and let pn/qn be
the convergents of the continued fraction expansion of a. Denote by Jn the open arc
with endpoints RaQn (x0) and Ran (x0) that contains x0, where x0 is an arbitrary but
fixed point, and by In C Jn the open arc with endpoints x0 and R; n (x0) (Figure
5.12). Then:
1) the arcs Ra(In), 0 < i < qn+1, are disjoint;
2) each point of the circle belongs to at most two arcs in the family Ra (Jn),
-n+1 Qn (x0),
3) the points Ra Qn (x0), Ra Qn+1 (x0), and Ran (x0) are located
in cyclical order on the circle.
xo
11.
PROOF. Assume that 1) is false, that is, Ra (In) fl Ra (In) ; 0 for some 0 <
k, j < q+1. For definiteness assume that j < k. Then Ra-3(In) fl In ; 0, and
hence Ra c(xo) is closer to x0 than Ran (x0). Since 0 < k - j < q7+1, we get a
contradiction to the definition (4.7) of q+1.
The assertion 2) follows from 1) and the inclusion Jn C In U Ran (In) U {x0}.
The assertion 3) follows from the cyclical arrangement of the points Ran (XO),
Ran+ 1 +Qn (x0) , xo,
Ran+1(XO), and Ra Qn (x0) on the circle (Figure 5.10) and the fact
that Ra is an isometry. U
Go G-4 n
xO
p 9n
cXo
Y
In
[lnDf(z_+) - In D f
Then
-
_
qn-1
In Df () -_In
D f (zi)
qn-1
Df (z-qn+2)
D f (zi )
n z_o i=0
qn-1 [m(Go 2
m(G-gn+z+1) m(Gz) = In
- In
m(G-qn+z) m(GZ+1) m(G-gn)m(Ggn )
z=0
Since the lengths m (Gk) of the adjacent intervals Gk tend to zero as k --* oo, it
follows that
We estimate the Denjoy sum in another way. By Corollary 4.1, 1), the arcs
f Z (In) (0 < i < qn) are disjoint and have their endpoints in SZ (f), so the arcs
f Z
(In) U f z (G-qn) = f z (In) U G_Qn+z (0 < i < qn) are also disjoint. This implies
that n < varsl In D f for all n e Z. According to the hypotheses of the theorem,
D f > const > 0 and varsi D f < oo, and hence varsl In D f = M < oo. This gives
us that n < M < oo, which contradicts (4.8). El
4.4. The theorem of Yoccoz. In 1981 Hall [87] gave a construction of a C°°-
homeomorphism of the circle with a single critical point (that is, a point at which
the derivative is zero; this homeomorphism is thus not a C1-diffeomorphism), an
irrational rotation number, and a Cantor limit set. Therefore, the group Diff + (S1)
in Theorem 4.1 cannot be replaced by Homeo+ (S1), r > 1. In 1984 Yoccoz [112]
showed that, nevertheless, under certain restrictions on the behavior of a smooth
homeomorphism in a neighborhood of critical points it cannot have a Cantor limit
set. In this subsection we present the result of Yoccoz.
We say that an f e Homeo'' (S1), r > 1, satisfies the Yoccoz conditions if:
1) f has finitely many critical points x1,.. , xl e 81; .
2) log D f has bounded variation on any compact interval not containing critical
points;
3) for each critical point x2, i = 1, ... ,1, there exist strictly positive constants
AZ, BZ, and CZ and an E'-neighborhood tL of xi such that
a) BZ I t I ci < D f (x2 + t) < AZ I t I ci for ti < i ,
where
D3 f 3 (D2f\\2
S(f) D ff Df
is the Schwarzian derivative. Consequently, S f < 0 in the neighborhood U2, i =
1,.. .,l.
III) If f e Homeo°° (S1), then the condition 3) holds when at each critical point
f is not flat (that is, some finite-order derivative at the critical point is nonzero).
IV) Obviously, the condition 3) holds for an analytic homeomorphism f.
Denote by 1(51) the set of all possible compact -connected segments of 51.
For brevity we denote the Lebesgue measure meas (I) of a segment I E I (S1)
by m(I).
We define the Yoccoz function on Homeo'' (S1) x I (S1), r > 1, by
m(I)
224 5. TRANSFORMATIONS OF THE CIRCLE
(f e Homeor (S1), I E 1(81)) if the endpoints a and b of I are not critical points
of the C''-homeomorphism f, and by M (f , I) _ +oo otherwise.
It is not hard to see that the Yoccoz function has the multiplicative property
M(f o g, I) = M(f, g(I)) M(g, I).
Indeed,
4) if I contains one of the intervals (x2 - Elf xz - E2/2) or (x2 + E2/2, xi + E2),
then there exists a S > 0 independent of i such that
M(f,I) S/D,
where D = maxsl D f.
PROOF. 1) Let v = varsi log D f (x). Since m(f (I)) = D f (c)m(I), c e I, it
follows that
log M(f, I) = log D f (c) - Z log D f (a) - Z log D f (b)
= 2 [logDf(c) - log D f (a)] + 2 [logDf(c) - log D f (b)].
From this, I log M(f, 1)1 < 2 v, and hence
e M(f,I) e.
1
2) Let u(t) = at + Q be the linear function such that u(a) _ (Df(a))- 2 and
u(b) _ (Df(b))- 2 (Figure 5.14). Since (Df)- 2 is a convex (downward) function,
i
it follows that u(t) > (Df(t))-2 on I.
It is not hard to verify that
dt b dt m(I)
,1a t2(t) - ,la (at+f3)2 u(a)u(b)
4. CONNECTION BETWEEN SMOOTHNESS AND TOPOLOGICAL PROPERTIES 225
FIGURE 5.14
Then
From this,
f b D.f (t) dt > 6
Ja u2(t)
dt - u(a)u(b)
m(I
)
and
M I> r1[Df(ayJJf(b)1 -( 1)
2
M(f,I) . D) = 6/D. U
PROOF. Assume the contrary. Then 1(f) is a Cantor set. We take an adjacent
interval 1 C S1 \ 1(f) and a point xo E I
Let qn be the denominators of the convergents of the continued fraction expan-
sion of rot(f ).
Denote by J the arc between f- Qn (xo) and f Qn (x0) containing x0. According
to Corollary 4.1, 3), the intervals f -Qn (J), f -Qn+1 -Qn (J) J f -Qn+1 (J) and f Qn (J) are
located in cyclical order on S1. Therefore, J contains the intervals f-Qn+1 -Qn(J),
J, and f -Qn+1 (J) .
Since f Qn-1 [f_n+i -Qn (J)] = f-an (J) and f n+1 [f_n+1 (J)] = J, there exist
points a, b E S1 such that
rn[f_n (J)] = f(a)rn[f_'_ (a)],
rn(J) =
Denote by I the interval with endpoints a and b that contains xo. According
to the foregoing, I C
Let us estimate the Yoccoz function M(f 9n}1, I), We have that
I) _ 'n[.fm(j)(I )J [Jf(a)Jf(b)J 2
i
- (I)]
rn[f-n()]
qn (J)] (J)] \
- rn(I) m()
i
)
frn[f_'ln+1(J)]
_______
- [m()]
m[fn()}
The adjacent intervals f -Qn (J), n E N, do not intersect, and therefore the sequence
{m[ f -Qn (J)]}.1 converges to zero. By passing to a subsequence if necessary, we can
assume that m[ f -Qn+1 (J)]/m[ f 9n (J)] < 1. Thus, M(f Qn+1, I) -- 0 as n -- +oo.
We estimate the function M (f Qn+1 , I) in another way. By the multiplica-
tive property of the Yoccoz function, M (f Qn+ 1 , I) = M (f ,12) , where
12 = f 9 (I) . We partition the family of intervals Ij, j = 0, ... , qn+1 - 1, into
four subfamilies:
= {I2 disjoint from the (e2/2)-neighborhoods of the critical points x2i i =
1,...,1},
= {I2 lying in the e2-neighborhood u2 of x2 but not covering x, i = 1, ... , l },
= {12 lying in U2 and covering x2},
4 = {I2 intersecting the (e2/2)-neighborhoods of the points x2 and not con-
tained in U2 }
Let U be the complement of the (e2/2)-neighborhoods of the critical points
x2i i = 1,... , 1. In view of the condition I C J and Corollary 4.1, 2), each
point in U is covered by at most two intervals 12 in the family Fi. Therefore,
>j var13 log T f < 2 vary, log D f . Lemma 4.2, 1) gives us that
def k1.
H M (f , Ii) > ex(_ 2 var log D f > exp (- vary, log D f) =
I E91 I E91
According to Corollary 4.1, 2), there are at most 21 and 41 intervals in the
respective families 33 and 3 4 (l is the number of critical points). Therefore, by
Lemma 4.2, 3), and 4),
B Zl def
= k2,
H M(f,Ij) [2Ac+1
Ii E 3"3
Ii E4
H M (f , Ij) >- -Db def
()41k3.
We note that the constants k1, k2, and k3 are strictly positive and independent of
n. Then
M(f qn+1, I) > k1k2k3 > 0
for all n E N, which contradicts the previously proved relation M(f qn+1, I) - 0 as
n -* 00. 0
Qi Po
i.
`
FIGURE 5.15
obtained by Herman [89], who proved Arnol'd's conjecture about the existence of a
set A C [0, 1] of measure 1 such that if an analytic diffeomorphism of the circle has
rotation number in A, then it is analytically conjugate to a rotation. Herman also
introduced the index of C''-conjugacy of a diffeomorphism to a rotation. We present
Herman's result only in connection with C1-conjugacy of an orientation-preserving
C1-diffeomorphism of the circle (with irrational rotation number) to a rotation.
DEFINITION. Two diffeomorphisms f, g E Diff' (S1), k > 1, are said to be
Cr-conjugate (r > 1) if there exists an orientation-preserving C''-diffeomorphism
h : S1 -* S1 such that h o f = go h.
For a Cr-diffeomorphism f E Diff' (S1) we define the Hermann index Hr (f) E
Ilk U {+oo} to be (r > 1)
Herman proved that the inequality Hr (f) < +00 is also a sufficient condition
for a C7'-diffeomorphism f to be Cr-conjugate to a rotation. We give a proof for
the case r = 1. Let us first find an equivalent formulation for Cr-conjugacy of a
diffeomorphism f to a rotation. If h o f = Ra o f for some h E Diff 1(S1), then
(T)f o f )D f = (DRa o h)Dh = Dh. From this, log Dh o f + log D f = log Dh, or
log D f= log D h- log D h o f.
We now proceed to the proof of a lemma due to Gottschalk and Hedlund [84].
LEMMA 4.4. Let f be a minimal homeomorphism of a compact manifold M,
and let x : M --p Ilk be a continuous function. Then the following statements are
equivalent:
1) there exists a continuous function cp : M - Ilk such that x = cp - cp o f ;
4. CONNECTION BETWEEN SMOOTHNESS AND TOPOLOGICAL PROPERTIES 229
sup
nEN
f
PROOF. 1) == 2) because
n n n
X ° f f (x0)
2=0 2=0
SUFFICIENCY. Let Hl (f) < +oo. Then f - f n (y) I < lDfThIoIx - y <
Hl (f)Ix - for any x, y E S1 and any positive integer n. Therefore, the family
I
{fn} 1of mappings f n is uniformly continuous. In view of Lemma 2.5 the homeo-
morphism f is conjugate to the rotation Ra with a = rot (f) E Ilk \ Q. Consequently,
f is minimal.
Since f E Diff 1(S1), x aef log D f is continuous. Moreover, 1/H, (f) < D f n <
Df-n[fn(x)]
H1(f) for any n E N because = 1/Dfn(x) < sup H,(f)
230 5. TRANSFORMATIONS OF THE CIRCLE
for n E N, and hence supn E N I log D f n o< +oo. But log D f n= Z o log V f of z=
Z o xof. Z According to Lemma 4.4, there exists a continuous function cp : S1 - Ilk
such that log VI = x = cp - cp o 1. Obviously, the last equality is satisfied by
any function cp, = cp + c for any constant c. Take c such that fo eH dx =
def
eC f0 e ° dx = 1. Then the transformation h(x) fo dx is covering for
def
some C1-diffeomorphism h : S1 -* S1, and log Dh = cp(x)+c cpl (x). Substituting
the function cp, = log Dh in place of cp in the equality log D f = cp - cp o f , we get that
log D f= log D h- log D h o f, which gives us that D h= (Dh o f) D f. Consequently,
the diffeomorphisms h and ho f have the same derivative. Therefore, Rp oh = ho f
for some E R. By Lemma 1.5, fi = rot (f) . U
We note that Theorem 4.3 is valid also for a diffeomorphism f with rational
rotation number.
We give without proof another result of Herman.
THEOREM 4.4. An orientation-preserving C1-diffeomorphism f of the circle is
C1-conjugate to the rotation Ra, a = rot(f ), if and only if KDfTh - loo -* 0 as na
(mod 1) -* 0.
F' (pz )
5. SMOOTH CLASSIFICATION OF STABLE DIFFEOMORPHISMS 231
Thus, the diffeomorphisms F are orientation-preserving, the fixed points p2i-1 are
sinks for them, and the points p22 are sources. _
We remark first of all that a diffeomorphism F E Dr' (p, A) is "pasted together"
from linear diffeomorphisms of the line.
Namely, we set
U2 = (Pi-i,Pi+i), po = p2k, p2k+1 = pl
The arc U2 is clearly invariant under F. In the case k = 1 (two fixed points)
Ul=S1\{p2}, U2=S1\{pl}.
LEMMA 5.1. For any a < 1 there exist orientation-preserving homeomorphisms
. (U,p) -* (R1, 0), Z E COa
such that
(F)(x) = Ax (x E R1).
If r > 2, then the Z can be chosen to be Cr-diffeomorphisms.
PROOF. Let Z be local transformations of the corresponding class (see Theo-
rem 1.1 in Chapter 4). Then
Z (Fz) = (z)
for points z E S1 sufficiently close to p2. By this equality the transformation Z
can be extended successively to the whole arc.
The rest of our arguments are somewhat different for the case of two fixed
points and the case of more than two.
First let k = 1. We consider the diffeomorphism
MF: Ill \ {0} -* Ill \ {0}
of the punctured line defined by'
MF(x) =
We call this a pasting cocycle for F. This diffeomorphism belongs to the same class
as Z and satisfies the functional equation
MF(AiX) _ AzMF(x)
Consequently,
Y+ In ac
In ai x >0,
MF(x) - IxI°.
{ y-
In lxi
In ai x <0,
where the -yf (t) are 1-periodic functions of the same smoothness class as MF, and
In 2
A1.
e In
Moreover, the functions yf satisfy the conditions
(5.1) -y(t) <0 <'y_(t) (t E R')
'That is, (U,, 41) and (U2, 42) are interpreted as a C''-atlas on S' with transition function
MF.
232 5. TRANSFORMATIONS OF THE CIRCLE
Th
and
Suppose now that k > 2. We define a pasting cocycle for F to be the collection
MF = (M2) of diffeomorphisms
MZ:R+-*R_ (1<i<2k)
defined by2
MZ = Z+1 2 1 (1< i< 2k), 2k+11
diffeomorphisms MZ are of the same class as Z and satisfy the equations
M2(A2x) = A,M2(x).
Consequently,
In x
M( x) = xei'y2 (j-,--)'
Z
where
9_ In a2+1
Z '
In AZ
and 'yz is a negative periodic function satisfying the condition
(5.3) 'y (t) + 'yz (t) In a2+1 O. 0
G(x)=x { In lxi
b_ In a 1 x 0 ,
where the S are periodic functions of class CO,. aConsequently, extending the
definition of G by
G(0) = 0,
we get a C°'a-homeomorphism of the line. Let
'I' I Ui = 2 1 I UZ (i = 1, 2),
where Z and Z are linearizing diffeomorphisms for F and F, respectively. Since
1
2As in the case k = 1, the collection of (U2, ci) forms a C"'-atlas on S1, and the Mi are the
transition functions.
5. SMOOTH CLASSIFICATION OF STABLE DIFFEOMORPHISMS 233
N
Consequently, W conjugates F and F.
Suppose now that there are at least four fixed points, and let
MF = { MZ }, MF = { MZ }
N
be pasting cocycles for F and F, respectively.
Consider the homeomorphism
H2(x) = o M,1(x) (x E R_).
Then Hz maps I[8_ onto itself, and
(5.4) H2(A2x) _ A2H2(x).
Consequently,
lxI\
-
H2x
() =xr
1
In
A(xER- ),
2
where T is a 1-periodic function of class CO,. a Setting
In x
HZ(x) _ xT (xER), H(O)=O,
In a2
We now set
Y I Ui = Z (1< i< 2k)
where Z and Z are linearizing homeomorphisms for F and F, respectively. By the
construction of the homeomorphisms HZ, 'I' is a well-defined C°'a-homeomorphism
of the circle. Further, we have that
`YFI Ui = z 1 I Ui 2 1H2 I Ui
Z 1 I Ui = I Ui
{ /2} {'y2 }
'Y. (#I
- \i+ i 1 'Yi (t - 2 )
for some f 2 E Ilk with 132k+, - t1. As above, the set of equivalence classes is denoted
by L'' (A) . The equivalence of the collections {'y}, {±} and {'y2 }, {y2 } means that
the cocycles M and M constructed from them are connected by the relations
MZ (a2x) = a2+, M2 (x), a2 > 0
(let a2 = )¼Qi for k 2).
For a diffeomorphism F E D7'(, )) we denote by 1(F) the equivalence class of
the collection {'y} (of the pair {'y}) determined by the pasting cocycle MF.
THEOREM 5.2. Let r > 2. Then: _
a) for conjugacy of diffeomorphisms F, F E Dr (p, A) in the class C1 it is nec-
essary that
1(F) = 1(F),
N
and, conversely, if this equality holds, then F and F are conjugate in the class Cr;
b) for each element I E L7 '(A) there is a diffeomorphism F E Dr (p, A) such that
I(F) = I.
Thus, a) shows that 1(F) is a complete invariant of the smooth classification.
The asssertion b) is usually formulated as "a realization of the invariant".
Denote by Dr (p, A) the set of classes of C1-conjugacy of diffeomorphisms in
Dr(, A). Then Theorem 5.2 asserts that the mapping
I: Dr(, A) -* Lr(A)
is bijective. In this sense the set Lr ()) is a "moduli space" (of invariants) of the
smooth classification.
PROOF OF THEOREM 5.2. Suppose that the diffeomorphisms F and F are
conjugate, and
'I':S'-*
is a conjugating C1-diffeomorphism. It can be assumed that the arcs U2 are invari-
ant under 'I'. Then we get from the equality
N
'I'FIUi = F'I'U,
5. SMOOTH CLASSIFICATION OF STABLE DIFFEOMORPHISMS 235
N
by using the linearizations of F and F on the arcs U2 that
`Y 2 1 2 2 = 1 A2 `Y I u .
We set
'Tr
H2 =
Then H2 is a C1-diffeomorphism of the line commuting with multiplication by ).
In view of the smoothness of this diffeomorphism, it is linear:
H2 (x) = a2x (xER1),
where a2 E Ilk+, because it preserves orientation. We now get from the equalities
IuZ = 2
1 HZ 2 I Ui nu2+1 = 2+1 HZ+1 2+1 I Ui nU2+1 Consequently,
for k = 1, and
In x
M2 (x) = xe2 x>0
In 2
for k > 2. We "factor" the cocycle M2, setting
Mi (x) -
where j: U2 -* R1 is a Cr-diffeomorphism. Now let
FI u = 1(A) (1 i k)
Then F is a well-defined diffeomorphism of the circle in D, A). Obviously, MF =
I. The theorem is proved. U
5.4. Corollaries. Theorem 5.2 implies the existence for any r E [2, oo] of
diffeomorphisms in Dr (p, A) that are not conjugate in the class C1. What is more,
we have the following because Lr (A) has the cardinality of a continuum.
COROLLARY 5.1. The set D7'(, A) of C1-conjugacy classes has the cardinality
of a continuum for any r.
236 5. TRANSFORMATIONS OF THE CIRCLE
N _
COROLLARY 5.2. If diffeomorphisms F, F E C' (p, X) are conjugate in the class
C1, then they are also conjugate in the class C' .
In other words, there are no "intermediate" conjugacy invariants between C1
and C?'.
Since the equivalence of collections {'yj} preserves smoothness class, we get a
criterion for "smoothability" of a diffeomorphism F.
COROLLARY 5.3. A diffeomorphism F E D'(, A) is smoothly (C1-) conjugate
to a diffeomorphism of class Cq if and only if the pasting cocycle MF (that is, the
functions 'y± or 'yz) belongs to this class.
COROLLARY 5.4. The set DT (p, A) contains diffeomorphisms not conjugate in
the class C1 to any C1-diffeomorphism.
5.5. Conjugacy of flows. We recall that structurally stable flows on the
circle are flows either without any equilibrium states at all, or with hyperbolic rest
points.
As in the local situation the orbital classification of one-dimensional flows is
obvious. In the problem of conjugacy of flows, numerical invariants arise instead of
functional invariants.
Let Ft be a flow without equilibrium states. We denote by x(Ft) the "time
of a complete circuit" of the circle by the trajectories Ft (z); in other words, the
smallest number t > 0 such that
Ft(z)=z, z E S1.
This is well defined: x(Ft) does not depend on z and can be computed by the
formula
(5.6) (Ft)=f
1 (z)'
where
dFt (z)
t-o
The number x(Ft) is the only invariant of topological and smooth conjugacy of
flows without equilibrium states. Namely, if C''- flows Ft and Ft are topologically
conjugate, then
x(Ft) =x(Ft).
N
Conversely, if this equality holds, then the flows Ft and Ft are conjugate in the
class C''. A conjugating diffeomorphism can be given by the formula
(z) = Ft(z) F-t(z) (z) .
Here t (z) is the smallest t> 0 such that
Ft(zo) = z,
and the "initial" point zo of the construction is an arbitrary but fixed point.
Suppose now that Ft is a flow of class C?' with fixed points p1, ... , p2k and
multipliers 11i,. . , v2k. As in the case of diffeomorphisms, there are linearizing
.
transformations
i : (U2, pi) - (R',O)
5. SMOOTH CLASSIFICATION OF STABLE DIFFEOMORPHISMS 237
such that
1(x) = etvix(x e Ill).
These transformations belong to the class C0,! for r = 1, and to the class C'' for
r>2.
Setting
Nr2(x) -
(M(x) _ 1(x) in the case k = 1), we get the diffeomorphisms
Mi : R+ - 118 _
it follows that
Mi (x) = xei c (x e R+, ci <0),
where 92 = v2+1/v2. In the case k = 1
f C, C> 0
M(x) = xl°
fork>2.
THEOREM 5.3. Two structurally stable C1 flows with the same equilibrium
states and the same multipliers are conjugate in the class CO, for any a < 1.
N
Taking two C''-flows Ft and Ft with the same rest points pl, ... , P2k and the
same multipliers vl, ... , 112k, we get the next result.
THEOREM 5.4. Let r > 2. Then:
a) for the flows Ft and Ft to be conjugate in the class C1 it is necessary that
x(Ft) = x(Ft),
N
and if this equality holds, then Ft and Ft are conjugate in the class Cr;
b) for each x e R+ there is a C'' flow Ft (r > 2) such that x(Ft) = x.
Theorems 5.3 and 5.4 can be proved by the same scheme as for diffeomorphisms.
238 5. TRANSFORMATIONS OF THE CIRCLE
(1.2) x= y=
FIGURE 6.1
part of the arc lol \ {ml } is mapped by it onto the whole curve 1, and l does not
have self-intersections, -y is not a power of any other element of F.
Denote by l the line passing through m0 and ml. Since 101 is compact, the
deviation of it from the line us bounded. Then the deviation of the curve l0 =
U'yT (lol) (n e Z) from 1 is also bounded (Figure 6.2).
It follows from the definitions of the covering it and the group F that it (l o) = 1.
Since l is a simple curve, so is l0.
Denote by G(lo) aef G the cyclic subgroup generated by the element 'y. It
follows from 'y(o) = ml that l0 and l are invariant under the action of G. Since
y is not a power of some element of F, any element of F carrying some point on l0
into a point on the same curve l0 leaves the whole of l0 invariant and belongs to G.
FIGURE 6.2
The facts that the deviation of to from Hs bounded and l is simple imply
that for any y e F \ G the curves y(lo) and l0 are different and disjoint. This
and the countability of the factor group F/G give us that the complete inverse
image it-1(l) _ {y(lo) : y E F} breaks up into a countable set of congruent (with
respect to F) disjoint nonclosed curves satisfying the conditions 1)-3) because F is
commutative.
The rationality of the slope of l follows from the equality 'y(o) = ml (rno' ml E
1), and the fact that -y is a translation by an integer vector.
The properties 5) and 6) follow from (1.1), (1.2), and the property 4).
FIGURE 6.3
of the group F that the last equality is valid for all points m e R2, and hence -y'
does not depend on m e R2. We leave it to the reader as an exercise to prove that
the correspondence -y F--* y' = h* ('y) is a homomorphism.
The assertion 2) follows from the equality h* ('y) o h = h o y and the commuta-
tivity of F.
We prove 3). The square 0 < x < 1, 0 < y < 1 is a fundamental domain
F for the transformation group F. For any point (x, y) E F we set /1(x, y) =
hl (x, y) -ax -by, b2 (x, y) = h2 (x, y) - cx - dy.
Denote by 'yl,o E F an element carrying a point (x, y) into (x + 1, y). By
assumption, h* maps 'yl,o into the element -ya,b : (x, y) -* (x + a, y + b). Then
the equality 'ya,b o h(0, y) = h o 'yl,o (0, y) takes the form hl (1, y) = a + hl (0, y),
h2 (1, y) = b + h2 (0, y) Therefore, b1(1, y) = b1(0, y) and b2 (1, y) = b2 (0, y) .
.
The equalities b (x, 1) = b (x, 0), i = 1, 2, are proved similarly. We extend the
functions /1 and /2 from F to R2 by periodicity with period 1 in both arguments.
Let m(x, y) E I182 be arbitrary. Since F is a fundamental domain, there exists
a -y e F such that -y-1(m) E F (Figure 6.4). Let 'y: (x, y) H (x + n, y + k) .
COROLLARY 1.1. Assume the conditions of Lemma 1.3, and let h be a homo-
topy equivalence (in particular, a homeomorphism). Then the matrix h* = cdb
is unimodular.
PROOF. Since h is a homotopy equivalence, the homomorphism h* is an auto-
morphism. Therefore, the matrix h* is invertible. U
244 6. CLASSIFICATION OF FLOWS ON SURFACES
FIGURE 6.4
PROOF. This follows from the fact that any two semitrajectories in it-1 [l0]
can be carried one into the other by an integer translation. U
For brevity we call a trajectory a curvilinear ray if both its semitrajectories are
curvilinear rays.
t
LEMMA 1.6. Suppose that f t is a flow on the torus T2, and f is a flow on R2
covering it. Then the following semitrajectories of f t and f t are curvilinear rays:
t
1) a semitrajectory of f that projects into a closed trajectory of f t nonhomo-
topic to zero;
2) a nonclosed semitrajectory of f t containing in its limit set a closed trajectory
nonhomotopic to zero, or a one-sided contour nonhomotopic to zero, or a nontrivial
recurrent semitrajectory;
3) a nontrivial recurrent semitrajectory of ft.
PROOF. 1) and 2) follow from 3) and Lemma 1.1. We prove 3). Let l+ be
a positive nontrivial recurrent semitrajectory of f t (the proof is analogous for a
negative semitrajectory). Assume that a semitrajectory l+ E it-1(l +) does not
leave the compact set K C I182 or that it returns to K infinitely many times as the
time increases. Then w(l+) 0. Since l+ is a nontrivial recurrent semitrajectory,
w(l+) contains at least one regular point m. Since it is nonclosed, the semitrajectory
l+ intersects more than once a contact-free segment passing through m. Therefore,
there exists a contact-free cycle C intersecting l+ (Corollary 2.1 in Chapter 2).
Denote by D the disk bounded by the curve C. We consider two cases: 1)
m belongs to a disk congruent to D (possibly D itself); 2) there is no 'y E F
such that m belongs to 'y(D). In case 1) there is a semitrajectory li congruent
to l + whose w-limit set belongs to D. Therefore, w (l i) is a single equilibrium
state, or a closed trajectory, or a one-sided contour. Then the w-limit set of the
semitrajectory l+ = ir(li) also is a single equilibrium state, or a closed trajectory,
or a one-sided contour, and this contradicts the fact that l+ is a nontrivial recurrent
semitrajectory. In case 2) we get a set ir(D) that is bounded by a contact-free cycle
ir(C) homotopic to zero, and l+ f1 ir(C) 0, contradicting Lemma 2.3 in Chapter
2.U
1.3. Asymptotic directions. Let f t be a flow on the torus. Along with a
covering flow f on I182 we consider a flow f t on the unit disk D2 that is a covering
flow for f t with respect to the covering it o T (see § 1.1). The flow f t is isomorphic
to f t by means of the diffeomorphism TN -1 defined by the formulas (1.1) in §1.1.
Corresponding objects of the flow f t on D2 will be equipped with a tilde above
them.
t
DEFINITION. Suppose that l+ is a positive semitrajectory of a flow f on I182
and is a curvilinear ray, and let l+ = T1(l) be the corresponding semitrajectory
of the flow f t on D2. The semitrajectories l+ and l+ have an asymptotic direction
if the w-limit set of l + consists of a single point a( l) belonging to the absolute
S = aD2.
An analogous definition for the existence of an asymptotic direction applies to
the negative semitrajectories 1 - and 1.
246 6. CLASSIFICATION OF FLOWS ON SURFACES
FIGURE 6.5
The point a( i)) is said to be accessible by the semitrajectory 1).
We remark that if a semitrajectory l0 is a curvilinear ray, then the w- (a-) limit
set of the semitrajectory l ) _ -r-1(l 0) is nonempty and belongs to the absolute.
The existence of an asymptotic direction indicates that the w- (a-) limit set consists
of a single point.
In Theorem 1.1 we prove that if a semitrajectory of a covering flow on f2 is a
curvilinear ray, then it has an asymptotic direction.
t
EXAMPLE 1. A covering flow f F for a rational or irrational winding of the
torus is given by the system x = 1, y = c. Each trajectory l (x(t) = xo + t,
y(t) = yo + pct) is a curvilinear ray. We leave it to the reader as an exercise to
prove that all the semitrajectories of f µ have an asymptotic direction, and the
semitrajectories of the corresponding flow fµ on D2 have accessible points on the
absolute as shown in Figure 6.6 (all the positive semitrajectories have the accessible
point (+ ,G2, a/-s/1 + ,2 ), and all the negative ones have the diametrically
opposite point).
FIGURE 6.6
1y
i
=2 k
a)
b)
FIGURE 6.7
THEOREM 1.1. Let f t be a flow on the torus, and let f t and f t be flows covering
it on R2 and D2, respectively. Then:
1) each semitrajectory of f t that is a curvilinear ray has an asymptotic direction;
1. CLASSIFICATION OF IRREDUCIBLE FLOWS ON THE TORUS 249
1.4. The Poincare rotation number. Let f t be a flow on T2, and let f t and
f t be flows covering it on R2 and D2, respectively. Suppose that a semitrajectory
l of f t is a curvilinear ray and hence has an asymptotic direction. This means
that the corresponding semitrajectory l) = 'r-1(l a) tends to a single point ( 10)
on the absolute S.
250 6. CLASSIFICATION OF FLOWS ON SURFACES
DEFINITION. Let the point o(10) E S = 3D2 have coordinates (/c1, /-L2). If
0, then the number c = 2/1 is called the Poincare rotation number of the
flow ft. If 1 = 0, then the Poincare rotation number is set equal to oo.
By Theorem 1.1, this is well defined: it does not depend on the choice of the
semitrajectory l of f t having an asymptotic direction.
The point cr( 10) and the diametrically opposite point on the absolute are called
the rotation points of f t .
The Poincare rotation number of a flow f t is denoted by rot (f t) .
Not every flow on the torus has a Poincare rotation number. For example, a
flow with covering flow pictured in Figure 6.8 does not have a rotation number
because no semitrajectory of the covering flow is a curvilinear ray.
FIGURE 6.8
LEMMA 1.9. Let f t be a low on the torus, and let f t be a low on R2 covering
it. In this case:
1) if f t has a rotation number = rot(f t), then for any positive semitrajectory
l+ (x = x(t), y = y(t)) of ft that is a curvilinear ray
(1.4) µ = tl y(t)/x(t),
and the points (iii, µ2) and (-µi, -µ2) with µi = 1/ 1 + µ2 and µ2 = µ/ 1 + µz
are the rotation points of f t;
2) if there exists a positive semitr¢jectory l+(x = x(t),y = y(t)) of ft that is
a curvilinear ray, then the limit (1.4) exists and is equal to the rotation number of
f t, and the points (µl,µ2) and (-µi, -µ2) with µl and µ2 given by (1.3) are the
rotation points of ft.
PROOF. This follows from Lemma 1.7, Theorem 1.1, and the definition of the
rotation number of a flow. 0
Lemma 1.9 yields the following connection between the rotation number of a
flow and the rotation number of the Poincare mapping the flow induces on the zero
meridian.
COROLLARY 1.3. Suppose that a low f t on the torus has a global section Co
(that is, a contact free cycle intersecting each regular trajectory) coinciding with
the zero meridian of the torus, and assume that f t induces a Poincare mapping
P: Co -* Co. Then rot(P) = rot(f t) (mod 1).
PROOF. For a covering flow f t the lines x = n, n E Z, in the inverse image
it 4 (Co) are contact-free lines. By the hypotheses, there exists a semitrajectory
l+ of f t intersecting Co countably many times (perhaps at a single point if 1 + is
1. CLASSIFICATION OF IRREDUCIBLE FLOWS ON THE TORUS 251
a closed trajectory). Then f t has a semitrajectory l+ (yo) intersecting all the lines
x = n, n E N, with yo on the line x = 0.
Denote by Pn the Poincare mapping induced by f t from the line x = 0 to the
line x = n. Since f t is a covering flow, the relations it o Pn = Pn o ir, n E N, hold
on the line x = 0. From Lemma 1.9 and the definition of the rotation number of a
transformation of the circle (§1 in Chapter 5) we get that
rot(f t) = tll
m y(t)/x(t) =nlim
+oo
y(n)/n = lim Pn(yo)/n = rot(P1),
n +oo
where x = x(t), y = y(t) are the equations of the semitrajectory l+(yo). 0
1.5. The rotation orbit. Suppose that a flow f t on the torus has a rotation
number = rot (f t) , and let (,ai, /2), (-,a1, -/2) E S be the rotation points of
ft, with their coordinates related to by the formulas (1.3):
G1 = 11 + 2,
(we note that if = oo, then the rotation points of the flow are (0, 1) and (0, -1),
and vice versa).
DEFINITION. The rotation orbit of a flow f t is defined to be the set of points
(/1, lug) , (-/1, -/2) of the absolute S with coordinates determined from the
relations (1.3)
µi = 11 + µ2, µ2 = Wi + µ2,
252 6. CLASSIFICATION OF FLOWS ON SURFACES
rational, then runs through the set of rational numbers, and the points (0, 1) and
(0, -1) are adjoined to the rotation orbit.
In the next theorem it is shown that the rotation numbers of two topologically
equivalent flows can be calculated one from the other by means of a unimodular
integer matrix, that is, according to the formula (1.5), and hence the rotation orbit
is an invariant of topological equivalence.
THEOREM 1.3. Suppose that flows f t and gt on T2 have Poincare rotation
numbers rot(ft) = and rot (gt) = A, and that f t is topologically equivalent to gt
by means of a homeomorphism h. In this case if oo, then
k1
16
a+b'
where h* = (L d)
is the homomorphism induced by h on the fundamental group
ir(T2) 7L. If = oo, then a = d/b.
PROOF. Let f t and gt be covering flows for f t and gt, respectively, and let h be
a covering homeomorphism for h. Then h carries trajectories of f t into trajectories
of gt .
Since f t has a rotation number, there exists a semitrajectory l 0 of this flow
having an asymptotic direction. Let l0 be a positive semitrajectory. If x = x(t),
y = y(t) are the parametric equations of l+, then = y(t)/x(t) by Lemma
1.9.
Let l' = h(l+) be the semitrajectory of gt into which l+ passes under the action
of h. We show that l' is a curvilinear ray.
According to Lemma 1.3, the parametric equations x = x' (t), y = y' (t) of the
semitrajectory l' have the form
x'(t) = ax(t) + by(t) + ib1(x(t), y(t)),
(17)
.
y '(t) = cx(t) + dy(t) +'b2(x(t), y(t)),
where the 4/i (x, y) are continuous 1-periodic functions in each argument, and h* =
h* = c d is a unimodular integer matrix (Corollary 1.1).
We remark that the motion of the point (x' (t), y' (t)) E R2 along the semitra-
jectory l' as t -p oo by virtue of the formulas (1.7) does not necessarily correspond
to the motion along l' as a phase trajectory of gt as time increases. This motion can
correspond to decreasing time, which means that h reverses the direction_ of motion
along trajectories. For definiteness and for simplicity we assume that h preserves
the positive direction of motion along trajectories.
To prove that l' is a curvilinear ray it is necessary to show that [x'(t)]2 +
[y'(t)]2 -* 00 as t -* oo. Three cases are possible:
a) = 0;
1. CLASSIFICATION OF IRREDUCIBLE FLOWS ON THE TORUS 253
b) c = 00;
c) c 0, 00.
In case a) we have from the equalities y(t)/x(t) = 0 and
limt_ [x2(t) + y2(t)] = 00 that Ix(t)I = 00. Then we get from (1.7) that
hm x'(t)
t -oo x(t)
= t-hm
oo
a + b y(t)
x(t) + x(t)
=a
+
1
=
a'
lim y' (t) = lim c d
y(t) -2 = c d =c .
t-oo x(t) t-oo + x(t) + x(t) +
Since the matrix h* is unimodular, a2 + c2 0. Therefore, Ix'(t)I = 00 or
limtIy'(t)I = 00
In case b) the argument is analogous to the preceding, with use of the equality
limt_ x(t)/y(t) = 0 (each of the equalities in (1.7) is divided by y (t)) .
In case c) it suffices to show that one of the limits
If = oo, then I
= 00, and
lim
y'
t->oo x' (t)
(t) = lim cwt
y() +d+ y() _ db-. 0
t+oo a mo(t) + b -I- 1
y(t) y(t)
A=c+
a -}-
f (x=1
_t _t
g
(x=1
:
y= y= A
.
COROLLARY 1.4. Two minimal flows on the torus are topologically equivalent
if and only if their rotation orbits coincide.
1.7. Classification of Denjoy flows. We recall that a Denjoy flow is defined
to be a flow on the torus without equilibrium states and closed trajectories and with
a limit set of Cantor type (see §3.1 in Chapter 1).
The set of Denjoy flows is denoted by Dent (T2) .
Since the limit set SZ (ft) of a flow f t E Dent(T2) is nowhere dense and since f t
does not have equilibrium states nor closed orbits by definition, SZ (ft) consists of
nontrivial recurrent trajectories which are nowhere dense on the torus. Obviously,
each nontrivial recurrent trajectory of f t lies in S (ft). Since the torus has genus 1,
any flow f t E Dent(T2) is irreducible, and hence any nontrivial recurrent trajectory
of f t is dense in c (f t) . Therefore, SZ (ft) is a minimal set of the flow ft.
According to Lemma 3.3 in Chapter 3, any Denjoy flow can be obtained from
some minimal flow on the torus by a blowing-up operation. This result enables us
to classify Denjoy flows.
The next result follows from Lemma 3.3 in Chapter 3 and Theorem 1.3 be-
cause a minimal flow on a torus is topologically orbitally equivalent to an irrational
winding by means of a homeomorphism homotopic to the identity (Lemma 1.8).
LEMMA 1.10. Let f t be a Denjoy flow, and let fo be an irrational winding
with rotation number rot (f t) . Then there exists a continuous mapping h : T 2 -* T 2
(a blowing-down operation) that is homotopic to the identity and has the following
properties:
1) h carries each trajectory of f t into a trajectory of fo with preservation of
direction in time;
2) any nontrivial recurrent trajectory of f t is mapped by h homeomorphically
onto its image;
3) h[cZ(ft)] = T2;
4) for any component w of the set T2 \ (ft)
a) w is simply connected,
1. CLASSIFICATION OF IRREDUCIBLE FLOWS ON THE TORUS 255
for any element ry e t (recall that I' is the group of integer translations). From
this and the denseness of {'y(Ei) ry e P} in the family of components of the
set I[82 \ ir-1 [1(f)] it follows that F o hl (ii) = h2 0 (ii) for any component v C
Then F( ir-1[X(fi, hi)]) _ ir-1[X(f2> hz)], and hence F[X(fi, hi)] _
X(fi,h2). D
LEMMA 1.14. Suppose that C is a simple closed curve on the torus that is
nonhomotopic to zero, and let f t be a Denjoy flow. Then there exists a contact-free
cycle of ft that is homotopic to C.
PROOF. By Lemma 1.13, it can be assumed that f t is the suspension sus(f )
over a Denjoy homeomorphism f. We recall that sus (f) is defined on the torus
obtained from the cylinder Si x [0, 1] after identifying the points (x, 1) and (f (x), 0)
for x e 51, and the segments (x, t), 0 < t < 1, project into trajectories of the flow
sus(f).
Since f is a Denjoy homeomorphism, f (x) ; x for all x e 51, n E Z. This
implies that any closed geodesic on the torus that is homotopic to C is a transversal
of the flow sus(f). EJ
THEOREM 1.5. Denjoy flows f i and f2 are topologically equivalent if and only
if their characteristic classes x(fD and x(f2) are commensurable.
PROOF. By Lemma 1.12, topological equivalence of flows implies commensu-
rability of the characteristic classes.
Suppose that the classes x(fD and x(f2) are commensurable; that is, there
exists a transformation F : T2 - T2, with a covering of the form (1.10), that
carries x (f i , h 1) into x (f 2 , h2 ), where h2 is a blowing-down operation of fi to an
irrational winding, i = 1, 2. Then for the flow f3 = F o f i o F-1 we have that
oF-1
x(fL h3) = x(f2, h2), where h3 = F o h1
We show that the flows f2 and f3 are topologically equivalent. By Corollary
1.5, f 2 and f 3 are topologically equivalent to the suspensions sus (f 2) and sus (f 3 )
258 6. CLASSIFICATION OF FLOWS ON SURFACES
' c+dp
a+bp'
where d
is a unimodular integer matrix. But the last equality contradicts the
fact that is transcendental. Thus, {sus(f)} is the desired family of flows. U
REMARK. For Denj oy flows f t with characteristic 1 (that is, the set T 2 \1Z(ft) is
connected), just as for transitive flows, the Poincare rotation number is a complete
invariant of topological equivalence up to recomputation by the formula (1.8).
Appendix. Polynomial Cherry flows. Following [79], we show that there
are Cherry flows given by polynomial vector fields of degree 1.
To simplify the notation we define a universal covering :
j2 - T2 by the
formula (x, y) _ eiy) . Then the dynamical system
(x = 1 + cos x + sin y,
(Aa)
y = c(1 + sin x) + cos y
determines on the torus a polynomial vector field X« of degree 1, which in turn
induces a flow f a on the torus. We show that there is a continuum of values cx in
[0, 1] for which the flows f a are Cherry flows.
It suffices to investigate the system (A«) on the square K : 0 < x, y < 2ir, since
maps this square onto the torus, and K is a fundamental domain of the group of
covering transformations of ?.
We shall find and investigate the equilibrium states of the system (Aa). To do
this we form the system
J P« (x, y) = 1 + cos x + sin y = 0,
Q« (x, y) = cx(1 + sin x) + cos y = 0.
Both equalities are possible when cos x < 0, sin y < 0, and cos y < 0; that is, the
equilibrium states of the system (A«) (in K) lie in the rectangle Q : it/2 < x < 37r/2,
it <y < 3ir/2. The curves P« (x, y) = 0, Q« (x, y) = 0 in Q are determined by the
respective relations y = 2ir - aresin (1 + cos x), y = it + arccos [cx (1 + sin x) ] and
intersect at the two points S« (x«, y« ), F(3ir/2, 3ir/2) (Figure 6.9).
We have that
0= app
8x
app
8y = - sin x cos y
= sin x sin y - cx cos x cos y,
aQ« aQa cx cos x - sin y
8x 8y
aP« aQ«
a= _ - sin x - sin y,
ax + ay
0 [F (3ir/2, 3ir/2)] = 1 > 0, a [F (3ir/2, 3ir/2)] = 2 > 0,
and hence F is a simple unstable node.
260 6. CLASSIFICATION OF FLOWS ON SURFACES
QcJT-
r-
l IQl
r
mil `r
FIGURE 6.9
Since 0(Sa) = [(cx2 - 1) cos x - 1] sin x + a2 cos x <0 and (Sa) = 1 + cos x -
sin x = 1 - / sin(x - it/4) < 0 for it/2 < x < 3ir/2, it follows that the roots of
the equation A2 - 0-a + 0 = 0 are real and have different signs. Therefore, Sa is a
saddle for all cx e [0, 1] [3].
Further, Pa(0, y) = Pa(27r, y) = 2 + sin y > 0 and Qa(x, 0) = Qa(x, 27r) =
1+ cx(1 + sin x) > 0, and hence the zero meridian n0 and the zero parallel nl of the
torus (that is, the curves into which the respective lines x = 0 and y = 0 project)
are contact-free cycles of the flows fa, cx e [0, 1]. This yields a qualitative picture
of the phase portrait of the dynamical system (Aa) (Figure 6.10).
FIGURE 6.10
jX+
L°
X
0
FIGURE 6.11
C+ = u()(Cj),
where the union is over all n e Z. Then C+ is transversal to the trajectories of
the system (Aao) and projects into a closed curve on the torus. It follows from
the congruence of x0 and xo that the limit limty+ (t) /x+ (t) -1 i4 is a rational
number.
The number e Q is introduced similarly for the curve C- = U(y)n(C ),
nEZ.
It follows from the construction that ,u <«o < ,u. For values of cx suffi-
ciently close to cx0 the curves C+ and C- are transversal to the trajectories of the
system (A«), so <«< On the other hand,
4. and tend to p 0 as
k - +oo. This implies that the rotation number depends continuously on the
parameter cx.
Moreover, we have the following theorem.
THEOREM. Suppose that in the space Xr (T2) of flows, r > 1, there is a family
of flows fa, cx e [0, 1], depending continuously on a parameter cx (that is, the
mapping cx H f a defines a continuous curve in the space X r (T 2) ), and suppose that
the flows fa, cx e [0, 1], have a common contact-free cycle C. Assume also that
for each cx e [0, 1] the flow fa has a semitrajectory intersecting C countably many
times. Then there is a rotation number rot(f) for all cx e [0, 1], and it depends
continuously on o.
The proof of the theorem is left to the reader as an exercise.
A direct qualitative investigation of the dynamical systems (A0) : x = 1 +
cos x + sin y, y = cos y and (A1) : x = 1 + cos x + sin y, y = 1 + sin x + cos y shows
that their phase portraits have the form pictured in Figure 6.12, a), b), respectively.
Consequently, quo = rot(f) = 0 and i1 = rot(fl) = 1. Since the rotation number
depends continuously on the parameter, there is a continuum of values cx for which
the rotation number = rot(f) is irrational. According to Theorem 1.2, the
corresponding flows f a have nontrivial recurrent semitrajectories. These flows are
Cherry flows because of the presence of a hyperbolic (or structurally stable) saddle.
262 6. CLASSIFICATION OF FLOWS ON SURFACES
b)
FIGURE 6.12
(o2j
FIGURE 6.13
1 The topological limit of a sequence of sets { Ai } 1 is defined to be the union of all possible
limits of sequences { ai } °_ 1 with ai E A.
2. THE HOMOTOPY ROTATION CLASS 265
It remains to prove 4). If the sequence {a2 (LZn ) } has a subsequence converging
to a* ; a, then the subsequence of corresponding geodesics would converge to the
geodesic joining a to a. Then some neighborhood of a point on M would intersect
L in countably many arcs, which is impossible. Therefore, a2 (LZn) -* a.
From this and the fact that the geodesics in 0 are Euclidean circles perpen-
dicular to S it follows that the topological limit of the sequence {LZn } is equal
to a. 0
FIGURE 6.14
COROLLARY 2.2. Suppose that the conditions of Theorem 2.1 hold and a cov-
ering semitrajectory l 0 for 10 intersects the family {CZ } of curves in the inverse
image 7r-1(C) . Then a ) (l0) = w(i) (c(l0)) coincides with the topological limit
of the family {CZ}, and hence for any point m E S different from a0 (l0) there
is an index io such that the pair of points m, o ) (l0) is separated by the pair of
points a1(CZ), a2 (CZ) for all i > io, where a1(CZ) and a2 (CZ) are the endpoints of
CZ .
COROLLARY 2.3. Assume the conditions of Lemma 2.3. Then any semitrajec-
t
tory of f t or f that is a curvilinear ray has an asymptotic direction. Moreover,
only those semitrajectories in Lemma 2.3 are curvilinear rays.
PROOF. This follows from Lemma 2.3 and Theorem 3.6 in Chapter 2 (the
catalogue of limit sets). See also the proof of Theorem 1.1. U
µ(i0) = U [a(l)].
Erp
FIGURE 6.15
It follows from the invariance of the set of rational (and irrational) points with
respect to the group I'r and the definition of the HRC that the HRC of a particular
semitrajectory i ) lies either in the set of rational points, or in the set of irrational
points. Therefore, the following definition is unambiguous.
DEFINITION. The homotopy rotation class of a semitrajectory i ) of a flow on
M is said to be rational (irrational) if it consists of rational (irrational) points of
the absolute.
2. THE HOMOTOPY ROTATION CLASS 269
FIGURE 6.16
Since ,y(j-+) =it follows that a+[ryT(l+)] = a+(l+) for any n E 7L. There-
fore, the semitrajectories l+(ry(a)) = y(l+(a)) and l+(ry-1(a)) = 'y (1 (a)) and
the arc d of S between al = ry(a) and a_1 = #y-1 (a) form a curvilinear triangle
T (Figure 6.17). A positive semitrajectory of f t upon entering T across the arc d
cannot leave T with increasing time.
FIGURE 6.17
that the semitrajectories l , i = 1, 2, 3, are either all positive or all negative. For
definiteness we assume they are positive. Let 7i2 = li n C, i = 1, 2, 3, and suppose
that the point a2 lies on the arc al a3 of C between the points al and a3 . Since
ir(l2 ) is a nontrivial recurrent semitrajectory, the arc al a3 intersects a positive
semitrajectory l + congruent to l2 . But then w (l + ) = o (l + ) = a, which contradicts
Corollary 2.4.
FIGURE 6.18
2) Assume the contrary, that is, let a be the limit for the semitrajectories l0
and l i , where it (l 0) is an interior nontrivial recurrent semitrajectory. As in the
proof of 1), we construct the Bendixson "bag" bounded by 10, l i , and the arc a al
of the contact-free segment C, where a = l n C and al = l i n. Since it (l 0) is an
interior nontrivial recurrent semitrajectory, the arc a al intersects a semitrajectory
l2 congruent to l . Then a(i) = a, and this contradicts Corollary 2.4.
We prove 3). Suppose that a(lit) = a(l), where l= ir(l), i = 1, 2, are
nontrivial recurrent semitrajectories. By 2), 4) and 4) are boundary semitrajecto-
ries.
Denote by N the quasiminimal set containing l i , that is, N = cl (l i ) Accord-
.
ing to Lemma 4.1 in Chapter 2, there exists a contact-free cycle C that intersects
N and is disjoint from quasiminimal sets different from N. By Theorem 2.1 and
t
Corollary 2.2, there is a contact-free arc C E it-1(C) of f intersecting l i and l2 .
Poincare mapping induced by ft. Since f t has boundary nontrivial recurrent semi-
trajectories by assumption, the intersection C n N def 1 is a Cantor set, and li
intersects C at the endpoints of adjacent intervals of f
For definiteness we assume that li is a positive semitrajectory. Denote by
{ In } _ 1 the sequence of adjacent intervals of 1 whose endpoints intersect l j as
time increases. Let In = (an, bn) C C, where an E 11F n C and P (an) = an+ 1
n E N. Trajectories in the quasiminimal set N pass through the points bn. Ac-
cording to Theorem 3.4 in Chapter 2, the regular trajectories in a quasiminimal
set are separatrices joining equilibrium states, or separatrices that are nontrivial
recurrent semitrajectories, or nontrivial recurrent trajectories. Therefore, in view
of the assumption that there are finitely many equilibrium states, the points bn lie
on a nontrivial recurrent semitrajectory l2 for a sufficiently large index (n > no).
Obviously, l2 is a boundary semitrajectory.
We show that there is a semitrajectory l2 covering l2 such that a(l2) = a.
By Corollary 2.2, the semitrajectory li intersects a countable family {CZ}°_1 of
contact-free arcs in 7r 1(C) with a as their topological limit. Let a2 = l + n CZ Then .
FIGURE 6.19
FIGURE 6.20
2. THE HOMOTOPY ROTATION CLASS 275
FIGURE 6.21
FIGURE 6.22
FIGURE 6.23
The complete inverse image 7r-1 [P(11,. ,1 )] breaks up into a countable family
. .
of disjoint curves i (li,. . . , is), i e N. Each such curve i (li,. , , , 1S) def j5i consists
of equilibrium states ml , ... , ms _ 1 and separatrices 11 i ... ,1 s of the covering flow
such that:
1) w(li) = mi, i = 1 s-1
2) a(li) =i_1, = 2, ... , s;
3) li is a Bendixson extension of the separatrix 1j-1 to the right or to the left,
i=2,...,s;
4) 7r(mi) = mi and i = 1, ... , s - 1, j = 1, ... , s.
Since the trajectories 11 and 1S are coverings for the nontrivial recurrent semi-
trajectories l1 and l2, the points a(ll) def o._ and w(ls) def o(Pi) lie on the
absolute and are distinct. _
We join these points by a geodesic, which we denote by L (P) (Figure 6.24).
FIGURE 6.24
def
The geodesic L(P) does not depend on the choice of the curve
i e 7r-1 [P(11,.. . , is )] . In this notation we have the following result.
LEMMA 2.5. Let f t be a flow on Mr, p > 2, for which there is a one-sided
Poisson pencil P = P(11, ... , la). Then:
1) L(P) is a simple nontrivial B-recurrent geodesic;
2) if both trajectories l1 and l2 in P(11,. , ls) are interior, then L(P) is an
. .
interior geodesic.
The proof is analogous to that of 1) and 2) in Lemma 2.4, and we omit it.
We remark that determining the cases for which L(P) is an interior or boundary
geodesic is more difficult than in Lemma 2.4 for a nontrivial recurrent trajectory.
For example, it is possible that the trajectories l1 and l2 in the one-sided Poisson
pencil P(11,. . . , ls) are both boundary trajectories, while the geodesic L(P) is inte-
rior (Figure 6.25, a)). Or one of l1 or l2 can be interior, while L(P) is a boundary
geodesic (Figure 6.25, b)).
LEMMA 2.6. Suppose that a flow f t on Mr, p > 2, has a quasiminimal set
def
N. Then the collection Ul L(l) U L(P) (N) forms a nontrivial geodesic lam-
ination, where the union is over all nontrivial recurrent trajectories l C N and all
one-sided Poisson pencils P C N.
278 6. CLASSIFICATION OF FLOWS ON SURFACES
a)
FIGURE 6.25
PROOF. It follows from Lemmas 2.4 and 2.5 that each geodesic in 3(N) is
simple. The geodesics in 3(N) are disjoint, because otherwise either the trajectories
t
of the covering flow f would intersect, or some geodesic would correspond to a
Poisson pencil that is not one-sided.
The fact that 3(N) is closed follows from the fact that N is closed and the fact
that any nontrivial recurrent semitrajectory 10 C N is dense in N.
According to Lemmas 2.4 and 2.5, any geodesic in 3(N) is a nontrivial B-
recurrent geodesic. D
FIGURE 6.26
{ij}1 of indices such that the points xik are congruent to points xik on the arc
(i0, yio) C Cio tending to xio as ik - oo (Figure 6.27). Since L and L1 have
a common endpoint, the distance between xi and yi in the non-Euclidean metric
tends to zero as i -* +oo [77]. Therefore, the distance between yik = f k (jk) and
xik also tends to zero as ik -p +oo, where yik E Fr is an element carrying xik into
xik . From Lemma 2.7 (orientability of the intersection of a trajectory geodesic and
a closed geodesic) it follows that yik e (i0 , yio) C Cio for a sufficiently large index
FIGURE 6.27
def
The geodesic Lik yZk (L) is a trajectory geodesic. Therefore, o'+ (Lik) o'
by virtue of Corollary 2.4. Consequently, Lik intersects L1 (see Figure 6.27). Since
yik e (xio , yio ), this gives us that the geodesic yik (L1) intersects L1.
For a trajectory geodesic L C 0 denote by o- (L) and o.+ (L) its initial and
terminal points, respectively.
COROLLARY 2.5. Let aE S be an accessible irrational point of the first kind,
and let L be an interior trajectory geodesic with endpoint a= o.+ (L). Then the
t
following conditions hold for any flow f on 0 covering a transitive flow f t onr
without impassable grains and having a semitrajectory l+ for which ais accessible:
1) the semitrajectory l+ = 7r(l+) belongs to a nontrivial recurrent trajectory l
of ft; _
2) if l E it -1(l) contains l+, then a(l) = a- (L).
PROOF. 1) Assume the contrary. Then l+ is an o-separatrix of some saddle.
Since f t does not have impassable grains, l+ belongs to two different one-sided
Poisson pencils P1 and P2. We take curves i e ir-1(Pi), i = 1, 2, containing l+.
It follows from Lemmas 2.5 and 2.9 and the fact that o' is a point of the first kind
that o- (P1) = o (P2) def o,_ . Then the curves P1 and P2 and the point o- bound
a simply connected domain U on 0. The transitivity of f t gives us that there is a
trajectory l1 in U covering a nontrivial recurrent trajectory of ft. Then o- = a(ll),
which contradicts Theorem 2.3.
The assertion 2) follows from Lemma 2.9.
accessible irrational point of the second kind, then there is at least one pair of
associated boundary geodesics with common endpoint o.
LEMMA 2.10. Let aE S be an irrational accessible point of the second kind,
and let L1 and_L2 be associated boundary trajectory geodesics with endpoint a=
o.+ (L1) = o.+ (L2) . Then any trajectory geodesic having endpoint aand projecting
into a B-recurrent geodesic on Mr coincides with either L1 or L2.
aef
PROOF. Denote by R(L1i L2) R the domain in 0 bounded by L1 and L2
and the corresponding arc of the absolute. Denote by R+ (respectively, R-) the
component of 0 \ R adjacent to L1 (respectively, L2) (Figure 6.28).
FIGURE 6.28
FIGURE 6.29
X odlm1
m
FIGURE 6.30
284 6. CLASSIFICATION OF FLOWS ON SURFACES
COROLLARY 2.8. Suppose that the flows f i and f 2 on Mr, p > 2, are topologi-
cally equivalent by means of a homeomorphism homotopic to the identity. Then for
any semitrajectory l1 of f i having HRC µ(l)) there is a semitrajectory 4) of f2
with (l) =µ(l20.
PROOF. We use the notation of Theorem 2.4. Since Sp is homotopic to the
identity, the automorphism P* is interior, and * s = for some element
P E Gr [68]. This and Theorem 2.4 gives us that ,u[cp(l i )] = 'y[µ(l i )] = µ(l i ) D
3. TOPOLOGICAL EQUIVALENCE OF TRANSITIVE FLOWS 285
FIGURE 6.31
FIGURE 6.32
We now consider the intersections of C2i with the remaining curves in ir-1(C22)
By successively carrying out the process described above, we obtain a curve C2
transversal to f t and such that 7r(C2) = C2 is simple. Eli
FIGURE 6.33
the property 2), the sequence {yn} lies on the arc of C2 bounded by 71C (y1) and
7_k (i1) (Figure 6.34).
It follows from the continuous dependence of trajectories on the initial condi-
tions that there is an index ni for which the semitrajectories In 1 all intersect the
contact-free arc CZ for n > n2 (Figure 6.33). Since o is the topological limit of the
curves CZ , i E N, we have o -* o as n -* oo .
The bounded sequence {yn } of points has a subsequence {ynk } 1 converging
to some point m2 E C2. It can be assumed without loss of generality that all the
points ynk lie in one of the intervals in C2 \ {w2}.
288 6. CLASSIFICATION OF FLOWS ON SURFACES
FIGURE 6.34
We consider a semitrajectory L2 (m2) of the flow f2. Since ink -* m2, the
semitrajectory 7r[L2 (m2)] lies in the quasiminimal set c1(l2 ). Therefore, by The-
orem 3.4 in Chapter 2, it [L2 (2)] is either a nontrivial recurrent semitrajectory
or an w-separatrix. In the first case w [L2 (m2)] consists of a single point o2 E S
by Lemma 2.3. From ink -p m2 it follows that w (l nk 2) = ink -p 02 as k -* oo
, .
FIGURE 6.35
LEMMA 3.4. The set M = U=1 cl(Bi) is a fundamental polygon of the group
Fp (Figure 6.36).
PROOF. We first show that there are no pairs of congruent points in int M.
Assume the contrary; that is, let x 1, x2 E int M be congruent points. Then the
semitrajectories l (x1) and l (x2) are also congruent. By the construction of M,
l (x1) and F(2) intersect the arc m1mk+1 C C1 at some points y1 and y2, and the
arcs xiyi C l (xi) do not intersect the curves in it 4 (C) at interior points, i = 1,
2. Consequently, y1 and y2 are congruent, which contradicts the condition 2).
It remains to show that for any point m E Mp the complete inverse image
7r 4 (m) intersects M. Let m be a regular point. The following cases are possible:
290 G. CLASSIFICATION OF FLOWS ON SURFACES
FIGURE 6.36
We show that the trajectory l' containing l'+ intersects the arc If the
trajectory l (W) is not an a-separatrix, then in view of Lemma 3.3 neither is l',
def
and a (l (m)) = a (l') o - . Since l(m) intersects C 1 at exactly one point, the
pairs (o, o) and (c-, c+) of points are separated on the absolute. Therefore,
l' intersects If l (n) is an a-separatrix of some saddle O, then l' is also an
a-separatrix of some saddle O' in view of Lemma 3.3. Denote by D (respectively,
D') the domain in the Lobachevsky plane bounded by the arc (respectively,
and the arc S- = c-c+ of the absolute not containing the point (Figure
6.37). Since i(m) intersects C 1 , it follows that O E D. This and the fact that
f i does not have separatrices joining equilibrium states imply that the w-limit set
of an arbitrary a-separatrix of O different from l (n) lies on S. By Lemma 3.3,
the w-limit set of an arbitrary a-separatrix of O' different from l' also lies on S.
Therefore, O' E D', and hence l' intersects (Figure 6.37).
C°_ f
FIGURE 6.37
292 G. CLASSIFICATION OF FLOWS ON SURFACES
Thus, in case a) the trajectory l' intersects the curve C(2) at some (unique)
point fl', and we set 9(C(1), C(2)) (m) = rra'.
In case b) i(n) is not an a-separatrix in view of the absence of separatrices
joining equilibrium states. Therefore, a[l(m)] def - E S. According to Lemma
3.3, there exists a trajectory l' of f 2 such that a(l') = o. Then l' intersects C(2)
at some point m', and we set 8 (C(1) , C(2)) (m) = m' .
It follows from the continuous dependence of trajectories on the initial condi-
tions that 9(C(1), C(2)) : C(1) - C(2) is a homeomorphism.
The construction of a homeomorphism 9(C(1), C(2)) : C(1) -* C(2) for any
curves C 1) E it -1(C1) and C 2) E it -1(C2) with common endpoints on the ab-
solute is completely analogous.
If the trajectories l and l' of the respective flows f f and f2 have a common w-
(a-) limit point on the absolute, then for any element -y E IFp the trajectories y(l)
and -y(l') also have a common w- (a-) limit point on the absolute. Therefore,
1, ... , k -I- 1, and Lemma 3.3 that w(ljr) = w(ljr), j = 1,... , k, and w(lZ1) = w(lZ1),
C(2)) 2) , j _ 2,
i = 2, ... , k -I- 1. From this we get that , k -I- 1
By (3.1) and the definition of the homeomorphisms O(., ), there exists a home-
omorphism : aM -* DM' with the following properties: 1) ' coincides with
9(C(1),
1
C(2)) on mlmk+1 C C(1) and with
1 1 2 2 C , 2 2
THEOREM 3.2. Let f 1 and f2 be transitive flows without impassable grains and
without separatrices joining equilibrium states on a closed orientable surface Mr,
p > 2. Then f f and f 2 are topologically equivalent if and only if they have respective
semitrajectories l1 and 4) with the same rotation orbit.
PROOF. NECESSITY. It follows from Theorem 2.4.
SUFFICIENCY. It follows from Theorem 3.1 and the fact that any automorphism
of Fp is induced by a homeomorphism of the Lobachevsky plane that covers some
homeomorphism of Mr (see Nielsen's theorem in §2.9). LI
LEMMA 4.1. Suppose that a flow f t on a closed orientable surface Mr, p > 2,
has a nontrivial minimal set f. Two trajectories l1 and l2 in f form a special
pair if and only if there exist covering trajectories l2 E ir-1(l2), i = 1, 2, such that
w(l1) = W(12) and a(ll) = a(l2).
PROOF. NECESSITY. It follows from the properties of a covering.
6.38). By Corollary 2.4, w does not contain inverse images of nontrivial recur-
rent semitrajectories of ft. Therefore, l1 and l2 are boundary trajectories. Since
the points w(l) and a(i) are irrational for i = 1, 2, the domain it (w) is simply
connected. 0
FIGURE 6.38
LEMMA 4.2. Any nontrivial minimal set of a flow on a closed orientable surface
Mr, p > 2, contains finitely many basic trajectories.
PROOF. Let f be a nontrivial minimal set. According to Lemma 2.3, there
exists a contact-free cycle C that intersects f. Following §4.3 in Chapter 2, we
introduce a partitions of C into closed disjoint subsets (elements). The elements
of t are closed intervals in C \ f and points not belonging to these closed intervals.
It follows from the definition of basic trajectories that any basic trajectory
passes through an endpoint of at least one closed interval forming an element of
of type two. Then Lemma 4.2 in Chapter 2 gives us that there are finitely many
basic trajectories. LI
1) 1 C D(1, C);
2) each component of the set D(1, C) \ SZ is simply connected;
3) the boundary of D(1, C) consists of finitely many simple closed curves, each
a union of an even number of arcs of basic trajectories in SZ and the same number
of contact free segments lying on C (Figure 6.39).
FIGURE 6.39
FIGURE 6.40
repeat the process described for the point b2, and so on. As a result we obtain
a sequence of alternating arcs of trajectories and segments of the curves C and
Ci : bit Bit, ail Ai2 , X12, b22 B22 , X22 , a23 A23 ..... There are finitely many points
a2, b2 E B with basic trajectories passing through them, so the sequence leads in
finitely many steps to the interval n,n+1 = (b21, ajn+1) Consequently, the union
.
of the above arcs of trajectories and segments projects into a closed curve a21 on
M. It follows from the construction that a21 is a simple curve, and a21 is in the
boundary of the set D(1, C). Since the point b21, i1 k, is arbitrary, this proves
3).
Then for the curves y(C(1)) and C(2) = y(C(2)) ('y E F arbitrary) and the
homeomorphism 9(C(1), C(2) ) : C21) -* C22) we have the relation
O(1),2)) o 'rl-(1)n52
C - = 'r
1
e(c(1), c(2)) C n521
where and C(2) have common endpoints on the absolute for i = 1, ... , k, and
2);
D2 n it -1(C2) C ( (2) u=i
2 the intersection C(2) n D2 consists of the segments
1ai2>>
bi2)J
=
b(l)])>
... , O(1),2))/U(1)
a> b]);
3) the intersection n D2 is equal to C(2)) (C(1) n D1);
4. CLASSIFICATION OF NONTRIVIAL MINIMAL SETS 299
THEOREM 4.2. For flows f i and f 2 on p > 2, let SZ1 and 12 be nontrivial
minimal sets not containing special pairs of trajectories. Then Ii and SZ2 are
topologically equivalent if and only if there exist semitrajectories lid C SZ1 and
4) C SZ2 with the same rotation orbit.
PROOF. NECESSITY. It follows from Theorem 2.4.
SUFFICIENCY. It follows from Theorem 4.1 and the fact that any automorphism
of the group F is induced by some covering homeomorphism (Nielsen's theorem,
§2.9). U
REMARK. It was proved in [18] that the vector field j7 on 3(1) is not only
continuous but also Lipschitzian. By a theorem of Schwartz in [107], it cannot have
smoothness C', r > 2. It remains an open question as to whether V is a vector
field of class C1.
Let f t R have type 3). According to Theorem 4.3 in Chapter 3, there exists a
contact-free cycle C of f t I R dividing R into two domains R+ and R- and inter-
secting each trajectory of f t I R at exactly one point. The domains R+ and R- are
called semicells of type 3).
Denote by SR the accessible (from within) boundary of R.
The accessible (from within) boundary SRS of the semicell R C R is defined
to be the part of SR adjacent to R± (consequently, the trajectory or contact-free
cycle dividing R into R+ and R- is not in the accessible (from within) boundary
of R+ or of R-).
We introduce the concept of the scheme of a semicell. Consider a semicell R± of
type 1). On the set of regular trajectories in the accessible (from within) boundary
SR± we introduce an order relation. Let ll, l2 C SR± be regular trajectories. Take
points m2 E l2, i = 1, 2, and disjoint contact-free segments >JZ, i = 1, 2, such that >Z
has m2 as an endpoint, and >Z \ {m2 } C R (Figure 6.41). According to Theorem
4.3 in Chapter 3, there are trajectories in R that intersect both 1 and 2
rn m2
FIGURE 6.41
,e ,,
e4, e e}
FIGURE 6.42
with the order in which the trajectories are encountered upon moving along SR±
in the direction induced by the flow f t I R± (Figure 6.42).
Two schemes of semicells of type 2) or 3) are said to be isomorphic or identical if
there exists a one-to-one correspondence of one scheme into the other that preserves
the cyclical order.
We remark that if the number of singular trajectories is finite, then the number
of singular regular trajectories in the accessible (from within) boundary of a semicell
is a complete invariant of the property of being isomorphic for schemes of semicells
(with the symbol 0 regarded as a special "number").
For a flow f t on M we denote by ft the restriction of ft to the set M \ Fix (f t) ,
where Fix(f t) is the set of equilibrium states of ft.
The next result follows immediately from Theorem 4.3 in Chapter 3 and the
definition of schemes of semicells.
LEMMA 5.1. Suppose that Ri and R2 are semicells of the same type for the
respective flows f i and f. If the schemes of the semicells are isomorphic, then the
restrictions f 1t IRi ubRi and f 2 I R2 uoR2 are topologically equivalent.
We remark that the flows f i l Ri ubRi and f 2 I R2 u6R2 are not topologically equiv-
alent in general (Figure 6.43).
FIGURE 6.43
5.2. Schemes of spiral cells. Let R be a cell of a flow f, and suppose that
the restriction f t I R is topologically equivalent to a spiral flow on an open annulus.
We give two possible topological types of the flow f t I R. Let K be the open
annulus on IjS2 bounded by the two circles Cl : x2 + y2 = 1 and C2 : x2 + y2 = 4.
There exists a homeomorphism b : R -* K carrying f t I R into the flow f = o
f t1R o-1 on K.
Two cases are possible: a) the trajectories of f, with increasing time induce the
same motion on Cl and C2, that is, either clockwise or counterclockwise (Figure
5. TOPOLOGICAL EQUIVALENCE OF FLOWS 303
FIGURE 6.44
We remark that if R1 and R2 are cells of respective types "+" and "-", then
by virtue of the opposite motions induced on the circles Cl and C2 of the annulus
K, the flows f t I R1 uoRl and f t I R2uoR2 cannot be orbitally equivalent. Since the
type of a cell does not change when the motion in time is reversed, f t I R1 uoRl and
f t I R2 UoR2 also are not topologically equivalent.
We remark that the fiber over a 0-cell can be a fiber of any one of these forms.
However, the fiber over a 1-cell cannot be a point.
The order structure. For each semicell R± the order introduced for regular
singular trajectories in the accessible (from within) boundary SR± induces an order
on the 0-cells corresponding to these singular trajectories. Moreover, if to E SR±
is an equilibrium state and l E SRS a regular trajectory, then we set a(lo) < a(l)
when to E a(l) and a(lo) > a(l) when to E w(l). If to a(l) U w(l), then no order
relation is established between a (lo) and A(l).
Further, suppose that the flow f t on the cell R is topologically equivalent to
a spiral flow on an open annulus. According to Theorem 4.3 in Chapter 3, all the
trajectories in R have a common w-limit set w (R) and a common a-limit set a (R) .
U1 I L' I
L,a
Un
+ L2L+
21 22 e3 2y
a) b)
FIGURE 6.45
In [104] Peixoto presents the graphs of two flows f i and f2 on the sphere that
are not topologically equivalent (Figure 6.46, a) and b)). The edges of the graphs
are separatrices of saddles (besides the four edges joining the sources in the "petals"
to the sink), and the vertices are equilibrium states. The directions of the arrows
correspond to the motion along trajectories as time increases.
5. TOPOLOGICAL EQUIVALENCE OF FLOWS 305
a) b)
FIGURE 6.46
The flows f i and f 2 each have one stable node on the disk D C 82 (the disk is
outlined by a dashed line), six saddles, and seven unstable nodes (six of them lie
in the "petals" on D, and one in S2 \ D) .
We leave it the reader as an exercise to prove that the graphs in Figure 6.46
are isomorphic, but that the orbit complexes K (f i) and K(f) are not isomorphic.
5.4. Neighborhoods of limit singular trajectories.
LEMMA 5.2. Suppose that a flow f t on a closed orientable surface p > 0,
has finitely many singular trajectories, and let l be a singular nonclosed trajectory
whose w -limit set w (l) contains regular points. In this case:
1) w (l) is either a closed trajectory, or a one-sided contour;
2) l belongs to the accessible (from within) boundary of a cell R of f t on which
f t is topologically equivalent to a parallel flow on an open strip;
3) the set w (l) has a neighborhood U satisfying the conditions
a) there are no equilibrium states nor closed trajectories in U \ w (l ),
b) each component of U \ w (l) is homeomorphic to an open annulus,
c) the component -y of DU intersected by l is a contact free cycle of ft that is
intersected by l only once (Figure 6.47), and, moreover, -y f1 w (l) _ 0, and each
positive semitrajectory intersecting -y has w-limit set equal to w (l) .
FIGURE 6.47
306 6. CLASSIFICATION OF FLOWS ON SURFACES
PROOF. Since f t does not have nontrivial recurrent trajectories and since w(l)
is not an equilibrium state by assumption, w (l) is either a closed trajectory or a
one-sided contour by virtue of the catalogue of limit sets (Theorem 3.6 in Chapter
2).
This and the finiteness of the number of singular trajectories gives us the exis-
tence of a neighborhood Uo of w (l) satisfying the assertions 3a), 3b).
Since l is a singular trajectory, it belongs to the boundary of some cell R.
According to Theorem 2.2 in Chapter 2, l cannot lie in the limit set of a trajectory
of ft, for otherwise l would be a nontrivial recurrent semitraj ectory. Therefore, l
belongs to the accessible (from within) boundary of R.
Let m0 E w (l) be a regular point, and draw a contact-free segment E C uo
through m0. It follows from the relation m0 E w (l ), the fact that l is a nonclosed
trajectory, and the proven assertion 3a) that there is a E-arc m m2 of l such that
m m2 C U0, and the segment mlm2 C E does not intersect w (l) According to .
REMARK. The assertion of Lemma 5.2 remains valid when w (l) is replaced by
a(l).
The annular domain bounded by the contact-free cycle y and w (l) will be called
a one-sided annular neighborhood and denoted by U (w (l)) .
Any positive semitrajectory of f t enters U(w (l)) by crossing y and cannot leave
this neighborhood. Therefore, any positive semitrajectory intersects the contact-
free cycle y at most at one point, and the restriction f t Iu(w(l)) is topologically
equivalent to a spiral flow on an open annulus.
Denote by OU(w (l)) the union of the regular trajectories belonging to w (l) .
In §4.5 of Chapter 3 we constructed C°°-flows fl, i = 0,1, 2, 3, (smooth models)
such that the restriction of the flow ft to the set R U OR (where OR is the union
of the regular trajectories belonging to the accessible (from within) boundary OR
of the cell R) is topologically orbitally equivalent to one of the model flows f,
i = 0,1, 2, 3 (Lemma 4.4 in Chapter 3). The flow f2 is called a spiral flow of "plus"
type, and is defined in the annulus 1 < r < 2.
The next result is a consequence of Lemma 4.4 of Chapter 3 and Lemma 5.2.
COROLLARY 5.1. Assume the conditions of Lemma 5.2. Then the restriction
f tI u(w(t))u6cL(w(l)) of the flow ft to the set U(w(l))UO'(w(l)) is topologically orbitally
5. TOPOLOGICAL EQUIVALENCE OF FLOWS 307
equivalent to the spiral model flow J2 of "plus" type, restricted to the annulus 1.5 <
r<2.
5.5. Main theorems.
THEOREM 5.1. Suppose that the flows f i , f 2 E OtJ have finitely many singular
trajectories on the closed orientable surface M, p > 0. Then they are topologi-
cally orbitally equivalent if and only if the orbit complexes K(f) and K(f2) are
isomorphic.
PROOF. If f i and f 2 are topologically orbitally equivalent, then a homeomor-
phism M -* Mp carrying trajectories of one flow into trajectories of the other
with preservation of direction in time induces an isomorphism of the orbit com-
plexes K(f) and K (f 2) .
COROLLARY 1.1. A C''-flow (r > 2) on the torus does not have nontrivial
minimal sets.
PROOF. Assume the contrary. Let f t be a C''-flow (r > 2) on the torus with a
nontrivial minimal set N. Since f t does not have closed trajectories nonhomotopic
to zero, and sinceNsome neighborhood of N does not contain equilibrium states, there
exists a C2-flow f t on the torus without equilibrium states and closed trajectories
and with nontrivial minimal set N, and this contradicts Theorem 1.1. 0
If 1o = sup ImED2
1. CONNECTION BETWEEN SMOOTHNESS AND EXISTENCE OF A MINIMAL SET 311
Let 91,92: D2 \ {0} -* R be the coordinate functions of the mapping e, that is,
e = (9i,9). Fork = (k1,k2), ki E N U {0}, we set
ak1+k2ei .
ak ei =
ak 1 x ak2 y
(i E {1, 2}) for fixed k = (11,12), ki e Z. For E> 0 we take a number N E N such
that Iki < N and 2-N+1 Since 0 aBn, there exists a disk B5 : x2 + y2 <62
disjoint from B1,. .. , BN_ 1 and the annulus 1/2 < x2 + y2 < 1. Then for any point
m E B5 \ {0} and the disks Bn1, ... , Bnr containing m we have that nj > N for
j = 1, ... , r. From (1.1),
FIGURE 7.1
FIGURE 7.2
1. CONNECTION BETWEEN SMOOTHNESS AND EXISTENCE OF A MINIMAL SET 313
FIGURE 7.3
ae
By the property 3), there exists on the set IIo 9 (O1) U (Io) U 9(02) a C°°-
flow f* that coincides with f tl0i on 9(Oi), i = 1, 2, and has trajectories coinciding
with the leaves of 3. It follows from the property 4) that f t I R is topologically
orbitally equivalent to the restriction f t int no . It follows from this and Lemma 4.4
in Chapter 3 that there exist finitely many points Po C (lo) and P1 C (l1) and a
C°°-flow ft(R) on the set IIo such that the restriction of ft(R) to IIo \ (Po U P1) is
topologically orbitally equivalent to the flow f t I RUoR , where SR is the union of the
regular trajectories in the accessible (from within) boundary OR of the cell R. Thus,
aef
for the flow f t I RuoR we have obtained a model C°°-flow f t (R) Inoff(P0 uP1) fl
"compatible" with the model flows f (11L1) and f (1,L2) .
Carrying out the procedure described above for all the cells R = R1,. . . , Rk
intersecting UlLi (i = 1, ... , r), we get model C°°-flows f1, ... , fk "compatible"
314 7. RELATION BETWEEN SMOOTHNESS AND TOPOLOGICAL PROPERTIES
V V
with the model flows f (u 1) , ... , f ('r) . We denote the sets lb \ (P0 U P1) , ... on
V V V V
which the flows f 1, ... , f are defined by N1,.. . , Nk, respectively. V
We now consider all the cells R1,.. , Rq (the first k of which intersect UUi ) .
of the flow ft. According to Lemma 4.4 in Chapter 3, the flow f t IR; uoR; is topo-
logically orbitally equivalent to a C°°-flow f defined on the set I, j = 1... ,q. V V V V
By pasting together the sets R1 U SR1, ... , Rq U SRq, Ul, ... , Ur along the regu-
lar singular trajectories according to the definite scheme S, we can get the set
V
Li and Lk are not closed trajectories. By the structure of the model flows ft and
V V V
f k , there are contact-free segments >i C N2 and >k C Nk whose endpoints lie
V
on Li and Lk, respectively. Since ft and f k are C°°-flows, there exist mappings
Si : 0] -* >i and Sj : (-E, 0] -" Y (Si(0) E Li, Sk(0) E Lk) and functions
qi : 0] -* R and q 0] -* R (E> 0 some number) such that the mappings
:
FIGURE 7.4
V V
We paste the sets Ni and Nk together by means of the diffeomorphism g =
V
charts of the atlas of the manifold Ni Ug Nk. The flows f i and f k induce a flow
V V V V
scheme S. Since the flows f 1, ... , f k are compatible with the flows f ('til) , ... , f ('tar) ,
we have a C°°-flow on a certain manifold.
2. THE PROBLEM OF CHERRY 315
1.3. The theorem of Gutierrez. The most complete result in the problem
of smoothing C°-flows on two-dimensional manifolds was obtained by Gutierrez in
1986. In [86] he proved the following theorem.
THEOREM 1.4. Let f t be a C°-flow on a compact two-dimensional manifold M.
Then there exists on M a C1-flow that is topologically equivalent to f t. Moreover,
if f t does not have nontrivial minimal sets, then it is topologically equivalent to a
C°° -flow.
Note that there are no restrictions in Theorem 1.4 on the cardinality of the set
of equilibrium states of f t.
According to Theorems 1.1 and 1.2, if a flow f t has a nontrivial minimal set,
then it is not topologically equivalent to a C''-flow (r > 2). Theorem 1.4 asserts
that in this case the flow is topologically equivalent to a C1-flow.
We shall not present the proof of Theorem 1.4.
2.1. Gray and black cells. We recall that a Cherry flow on the torus T2 is
defined to be a C''-flow f t (r > 1) satisfying the following conditions:
316 7. RELATION BETWEEN SMOOTHNESS AND TOPOLOGICAL PROPERTIES
FIGURE 7.5
LEMMA 2.1. The black and gray cells of a Cherry flow on the torus are simply
connected.
PROOF. Since the torus has genus 1, the assumption that a black or gray cell
is not simply connected leads to the quasiminimal set of the Cherry flow lying in
an annular domain, which contradicts Lemma 2.4 in Chapter 2. 0
FIGURE 7.6
It can be assumed without loss of generality that E1 and E2 are disjoint and are
the images of C°°- imbeddings [0, 1] -* PVC.
Let > 0 and )2 < 0 be the eigenvalues of the saddle O. The quantity
v = -\2/\1 is called the characteristic value of O.
The following lemmas are consequences of results in Chapter 4.
LEMMA 2.2. If the characteristic value v is > 1, then there exist parametriza-
tions x : [0,1] -* E1 (x(0) = m1), y : [0,1] - E2 (y(0) = m2) such that in the
coordinates x, y the Poincare mapping P : E1 \ {mi} - E2 \ {m2} and its deriva-
tives DP, D2P, and D3P have the forms
1) y = xL + xL+1 co(x),
2) y' = vxL-1 +
x' (x),
3) y" = v(v - 1)x'2 +
4) y" = v(v _ 1) (v - 2)xv-3 + xv-2((x)
in a half-neighborhood of the point x = 0, where co(x) , e(x)l, frj(x), ((x) < const.
LEMMA 2.3. If the characteristic value v is = 1, then there exist parametriza-
tions x : [0, 1] - E1 (x(0) = m1), y : [0, 1] - E2 (y(0) = m2) such that in the
coordinates x, y the Poincare mapping P : E1 \ {mi} - E2 \ {m2} has the form
y ='b(x) [1 + c1i,b(x) In x]
in a half-neighborhood of the point x = 0, where c1 = const, and the function '(x)
satisfies the conditions
1) b(x) = x +
2) /'(x) = 1 + x1 Sp1(x),
3) 'V" (x) = xa co2 (x),
where 0 < c < 1 and (x)I < const, i = 0, 1, 2.
COROLLARY 2.1. Assume the conditions of Lemma 2.2. Then in some half-
neighborhood (0 <x <e) of zero the Schwarzian derivative of the function y = P(x)
is negative.
PROOF. By Lemma 2.2, we get that
D3P 3 D2P
SP(x) =1o DP 2 DP
_ v(v - 1)v -2) 3 [v(v_ 1)]2 3
- - 2 (v - 1) (v -I- 3) <0
1
- v -2 v
for v > 1. 0
318 7. RELATION BETWEEN SMOOTHNESS AND TOPOLOGICAL PROPERTIES
2.4. Cherry flows with gray cells. In connection with Theorem 2.1, the
question arises of whether there are C'-Cherry flows (1 < r < 4) with gray cells.
THEOREM 2.2. For any irrational number a there exists a C1-Cherry flow on
the torus with Poincare rotation number a and with any previously specified finite
number of black cells and any previously specified finite or countable set of gray
cells.
PROOF. In §3.2 of Chapter 1 we constructed a C1-Cherry flow with one black
and one gray cell by starting out from a C1-Denjoy flow with characteristic equal
to 1. Taking as a basis a C1-Denjoy flow with rotation number a and previously
2. THE PROBLEM OF CHERRY 319
321
322 BIBLIOGRAPHY
Anal. i Prilozhen. 47 (1989), 31-39; English transl. in J. Soviet Math. 48 (1990), no. 6.
36. I. Bendixson, Sur les courbes definies par les equations differentielles, Acta Math. 24 (1901),
1-88.
37. lvI. 1VI. Brin, On inclusion of a diffeomorphism in a flow, Izv. Vyssh. Uchebn. Zaved. Mat.
1972, no. 8 (123), 19-25. (Russian)
38. A. D. Bryuno, Analytic form of differential equations, Trudy Moskov. Mat. Obshch. 25
(1971), 119-262; English transl. in Trans. Moscow Math. Soc. 25 (1973).
39. I. A. Bykov, Smooth classification of flows on the circle, Teor. Funktsii Funktsional. Anal. i
Prilozhen. 48 (1990), 24-28; English transl. in J. Soviet Math. 49 (1990), no. 2.
BIBLIOGRAPHY 323
40. E. B. Vinberg and O. V. Shvartsman, Riemann surfaces, Itogi Nauki i Tekhniki: Algebra,
Topologiya, Geometriya, vol. 16, VINITI, Moscow, 1978, pp. 199-245; English transl. in J.
Soviet Math. 14 (1980), no. 1.
41. S. M. Voronin, Analytic classification of conformal mappings (C, 0) --> (C, 0) with linear
part the identity, Funktsional. Anal. i Prilozhen. 15 (1981), no. 1, 1-17; English transl. in
Functional Anal. Appl. 15 (1981).
42. M. Golubitsky and V. Guillemin, Stable mappings and their singularities, Springer-Verlag,
NY-Heidelberg, 1973.
43. B. A. Dubrovin, S. P. Novikov, and A. T. Fomenko, Modern Geometry. Methods and Ap-
plications, "Nauka", Moscow, 1979; English transl., Parts I, II, Springer-Verlag, Berlin-NY,
1984, 1985.
44. H. Seifert and W. Threlfall, Lehrbuch der Topologie, Teubner, Leipzig, 1934.
45. C. L. Siegel, Vorlesungen fiber Himmelsmechanik, Springer-Verlag, Berlin, 1956.
46. A. B. Katok, Invariant measures of flows on orientable surfaces, Dokl. Akad. Nauk SSSR
211 (1973), 775-778; English transl. in Soviet Math. Doklady 14 (1973).
47. I. P. Kornfel'd [Cornfeld], Ya. G. Sinai, and S. V. Fomin, Ergodic theory, "Nauka", Moscow,
1980; English transl., Springer-Verlag, Berlin-Heidelberg-New York, 1982.
48. E. A. Leontovich, On the creation of limit cycles from separatrices, Candidate's dissertation,
Gor'kov. Gos. Univ., Gorki, 1946. (Russian)
49. , On the creation of limit cycles from separatrices, Dokl. Akad. Nauk SSSR 78 (1951),
641-644. (Russian)
50. E. A. Leontovich and A. G. Maier, On trajectories determining the qualitative structure of
the partition of the sphere into trajectories, Dokl. Akad. Nauk SSSR 14 (1937), 251-257.
(Russian)
51. , On a scheme determining the topological structure of the partition into trajectories,
Dokl. Akad. Nauk SSSR 103 (1955), 557-560. (Russian)
52. A. M. Lyapunov, The general problem of stability of motion, 2nd ed., Mi ntz, Leningrad,
1935; reprint of French transl., Probleme general de la stabilite du mouvement, Princeton
Univ. Press, Princeton, NJ, 1947.
53. W. Magnus, A. Karrass, and D. Solitar, Combinatorial group theory, Interscience, New York-
London-Sydney, 1966.
54. A. G. Maier, Structurally stable transformations of the circle into the circle, Uchen. Zap.
Gor'kov. Gos. Univ. 1939, no. 12, 215-229. (Russian)
55. , On trajectories on orientable surfaces, Mat. Sb. 12 (54) (1943), 71-84. (Russian)
56. M. I. Malkin, Periodic orbits, entropy, and rotation sets of continuous mappings of the circle,
Ukrain. Mat. Zh. 35 (1983), 327-332; English transl. in Ukrainian Math. J. 35 (1983).
57. , Methods of symbolic dynamics in the theory of one-dimensional discontinuous map-
pings, Candidate's dissertation, Gor'kov. Gos. Univ., Gorki, 1985. (Russian)
58. , Rotation intervals and the dynamics of mappings of Lorenz type, Methods of the
68. H. Poincare, Sur les courbes defines par les equations differentielles, Euvres, vol. I, Gauthier-
Villars, Paris, 1928, pp. 3-84, 90-161, 167-221.
69. C. Pugh, The closing lemma, Amer. J. Math. 89 (1967), 966-1009.
70. L. E. Reizin' L. E. Reiziis], v Topological classification of dynamical systems without rest
points on the torus, Latv. Mat. Ezhegodnik 1969, no. 5, 113-121. (Russian)
71. V. A. Rokhlin and D. B. Fuks, Beginner's course in topology. Geometry chapters, "Nauka",
Moscow, 1977; English transl., Springer-Verlag, Berlin-NY, 1984.
72. V. S. Samovol, Equivalence of systems of differential equations in a neighborhood of a singular
point, Trudy Moskov. Mat. Obshch. 44 (1982), 213-224; English transl. in Trans. Moscow
Math. Soc. 1983, no. 2.
73. I. Tamura, Topology of foliations: An introduction, Iwanami Shoten, Tokyo, 1976; English
transl., Amer. Math. Soc., Providence, RI, 1992.
74. Phillip Hartman, Ordinary differential equations, Wiley, NY, 1964.
75. A. Ya. Khinchin, Continued fractions, 4th ed., "Nauka", Moscow, 1978; English transl. of
3rd ed., Univ. Chicago Press, Chicago, IL, 1964.
76. M. Hirsch, Differential topology, Springer-Verlag, NY-Heidelberg, 1976.
77. H. Zieschang, E. Vogt, and H.-D. Coldewey, Surfaces and discontinuous groups, Lecture
Notes in Math., vol. 835, Springer-Verlag, NY-Heidelberg, 1980.
78. G. Shimura, Introduction to the arithmetic theory of automorphic functions, Princeton Univ.
Press, Princeton, NJ, 1971.
79. A. G. dos Anjos, Polynomial vector fields on the torus, Bol. Soc. Brasil. Mat. (N.S.) 17
(1986), no. 2, 1-22.
80. T. M. Cherry, Topological properties of the solutions of ordinary differential equations, Amer.
J. Math. 59 (1937), 957-982.
81. , Analytic quasi-periodic curves of discontinuous type on a torus, Proc. London Math.
Soc. (2) 44 (1937), 175-215.
82. A. Denjoy, Sur les courbes definies par les equation differentielles a la surface du tore, J.
Math. Pures Appl. (9) 11 (1932), 333-375.
83. C. J. Gardiner, The structure of flows exhibiting nontrivial recurrence on two-dimensional
manifolds, J. Differential Equations 57 (1985), 138-158.
84. W. Gottschalk and G. A. Hedlund, Topological dynamics, Amer. Math. Soc., Providence, RI,
1955.
85. C. Gutierrez, Structural stability for flows on the torus with a cross-cap, Trans. Amer. Math.
Soc. 241 (1978), 311-320.
86. , Smoothing continuous flows on two-manifolds and recurrences, Ergodic Theory Dy-
namical Systems 6 (1986), 17-44.
87. C. R. Hall, A C-Denjoy counterexample, Ergodic Theory Dynamical Systems 1 (1981),
261-272.
88. G. A. Hedlund, Two-dimensional manifolds and transitivity, Ann. Math. 37 (1936), 534-542.
89. M.-R. Herman, Sur la conjugaison differentiable des diffeomorphismes du cercle a des rota-
tions (1979), Inst. Hautes Etudes Sci. Publ. Math. No. 49, 5-233.
90. H. Kneser, Regulc re Kurvenscharen auf Ringflachen, Math. Ann. 91 (1923), 135-154.
91. G. Levitt, Pantalons et feuilletages des surfaces, Topology 21 (1982), 9-23.
92. , Foliations and laminations on hyperbolic surfaces, Topology 22 (1983), 119-135.
93. , Feuilletages des surfaces, Dissertation, Paris, 1983.
94. , Flots topologiquement transitifs sur les surfaces compactes sans bond: contreexemples
a une conjecture de Katok, Ergodic Theory Dynamical Systems 3 (1983), 241-249.
95. N. G. Markley, The Poincare-Bendixson theorem for the Klein bottle, Trans. Amer. Math.
Soc. 135 (1969), 159-165.
96. , On the number of recurrent orbit closures, Proc. Amer. Math. Soc. 25 (1970), 413-
416.
97. , Homeomorphisms of the circle without periodic points, J. London Math. Soc. 20
(1970), 688-698.
98. J. R. Munkres, Obstructions to the smoothing of piecewise differentiable homeomorphisms,
Ann. of Math. (2) 70 (1960), 521-554.
99. D. Neumann, Smoothing continuous flows on 2-manifolds, J. Differential Equations 28
(1978), 327-344.
BIBLIOGRAPHY 325
100. D. Neumann and T. O'Brien, Global structure of continuous flows on 2-manifolds, J. Differ-
ential Equations 22 (1976), 89-110.
101. J. Nielsen, Uber topologische Abbildungen geschlossener Flc chen, Abh. Math. Sem. Univ.
Hamburg 3 (1924), no. 1, 246-260.
102. , Untersuchungen zur Topologie der geschlossenen zweiseitigen Flc chen. I, Acta Math.
50 (1927), 189-358; II, Acta Math. 53 (1929), 1-76; III, Acta Math. 58 (1932), 87-167.
103. M. M. Peixoto, Structural stability on two-dimensional manifolds, Topology 1 (1962), 101-
120; Topology 2 (1963), 179-180.
104. , On the classification of flows on 2-manifolds, Proc. Sympos. Dynamical Systems
(Univ. Bahia, Salvador, Brasil, 1971), Academic Press, NY, 1973, pp. 389-419.
105. , On structural stability, Ann. of Math. (2) 69 (1959), 199-222.
106. H. Rosenberg, Labyrinths in the disc and surfaces, Ann. of Math. (2) 117 (1983), 1-33.
107. A. J. Schwartz, A generalization of the Poincare-Bendixson theorem to closed two-dimensional
manifolds, Amer. J. Math. 85 (1963), 453-458.
108. D. Stowe, Linearization in two dimensions, J. Differential Equations 63 (1968), 183-226.
109. F. Takens, Normal forms for certain singularities of vector fields, Ann. Inst. Fourier 37
(1973), 163-165.
110. H. Whitney, Regular families of curves, Ann. of Math. (2) 34 (1933), 244-270.
111. , On regular families of curves, Bull. Amer. Math. Soc. 47 (1941), 145-147.
112. J. Ch. Yoccoz, Il n'y a pas de counter exemple de Denjoy analytique, C.R. Acad. Sci. Paris
Ser. I Math. 298 (1984), no. 7, 141-144.
113. I. Bronstein and A. Kopanskii, Smooth invariant manifolds and normal forms, World Scien-
tific Series on Nonlinear Science Ser. A, Vol. 7, World Scientific, Singapore, 1994.
Selected Titles in This Series
(Continued from the front of this publication)