Stability
Stability
Stability
Stability Theory
of Dynamical
Systems
Springer
Classics in Mathematics
N.P. Bhatia G.P. Szego
Stability Theory
of Dynamical Systems
Springer
Berlin
Heidelberg
New York
Barcelona
Hong Kong
London
Milan
Paris
Tokyo
N. P. Bhatia G. P. SzegO
Stability Theory
of Dynamical Systems
Geschaftsfiihrende H erausgeber:
This work is subject to copyright. All rights are reserved, whether the whole or part of the
material is concerned, specifically those of translation, reprinting, re-use of illustrations, broadcasting, reproduction by photocopying machine or similar means, and storage in data banks.
Under 54 of the German Copyright Law where copies are made for other than private use, a fee
is payable to the publisher, the amount of the fee to be determined by agreement with the publisher.
@ by Springer-Verlag, Berlin Heidelberg 1970. Printed in Germany
Library of Congress Catalog Card Number 70-126892
Title No. 5144
Preface
This book contains a systematic exposition of the elements of the
theory of dynamical systems in metric spaces with emphasis on the stability theory and its application and extension for ordinary autonomous
differential equations.
In our opinion, the book should serve as a suitable text for courses
and seminars in the theory of dynamical systems at the advanced undergraduate and beginning graduate level, in mathematics, physics and
engineering.
It was never our intention to write a treatise containing all known
results on the subject; but we have endeavored to include most of the
important new results and developments of the past 20 years. The
extensive bibliography at the end should enhance the usefulness of the
book to those interested in the further exploration of the subject.
Students should have completed an elementary course in ordinary
differential equations and have some knowledge of metric space theory,
which is usually covered in undergraduate courses in analysis and topology.
Each author strongly feels that any mistakes left in the book are
attributable to the other author, but each would appreciate receiving any
comments from the scientific community.
We are obliged to Professor AARON STRAUSS for reading the entire
typescript and pointing out several corrections. We would also like to
thank Doctors FLORENCIO CASTILLO, LAWRENCE FRANKLIN, CESI.AW
OLECH and GIULIO TRECCANI for help in proofreading the galleys.
June 1970
N. P. BHATIA G. P. SzEGO
Contents
Notation . . .
Introduction
I. D y n am i c a 1 Sy st e m s .
III. R e c u r s i v e C o n c e p t s . .
1. Definition of Recursiveness
. . . . . . . . . .
2. Poisson Stable and Non-wandering Points .
. . . .
3. Minimal Sets and Recurrent Points . . .
4. Lagrange Stability and Existence of Minimal Sets
Notes and References . . . . . . . . .
IV. D i s p e r s i v e C o n c e pt s
1. Unstable and Dispersive Dynamical Systems
2. Parallelizable Dynamical Systems
Notes and References . . . . . . .
V. Stability Theory.
1. Stability and Attraction for Compact Sets . . . . . . . . . .
2. Liapunov Functions: Characterization of Asymptotic Stability .
3. Topological Properties of Regions of Attraction
4. Stability and Asymptotic Stability of Closed Sets .
5. Relative Stability Properties . . . . . . . . . . . . . .
6. Stability of a Motion and Almost Periodic Motions
Notes and References . . . . . . . . .
V. Flow near a Compact Invariant Set . . .
1. Description of Flow near a Comi:act Invariant Set
2. Flow near a Compact Invariant Set (Continued)
Notes and References . . . . . . . . . . . . . . .
x
1
5
6
10
12
12
15
19
24
30
31
31
31
36
41
42
43
43
48
55
56
56
66
79
84
99
106
111
. 114
. 114
. 116
. 117
IX
Contents
VII. Higher Prolongations
. 119
Functions for
. 120
. 124
. . . 129
. . 133
Ordinary
Differential
. 134
1. Introduction. . . . . . . . . . . .
.
2. Preliminary Definitions and Properties
. . .
3. Local Theorems . . . . . . . . . .
.
4. Extension Theorems . . . . . . . . .
.......
5. The Structure of Liapunov Functions .
. ....
6. Theorems Requiring Semidefinite Derivatives . . . .
.
7. On the Use of Higher Derivatives of a Liapunov Function . .
Notes and References . . . . . . . . . . . . . . . .
.
for
References. . .
Author Index
Subject Index . .
145
150
156
160
162
Ordinary
. . . 166
Introduction. . . . . . . . . .
A Characterization of Weak Attracto:-s
. . . .
. . .
Piecewise Differentiable Liapunov Functions
. .
Local Results . . . . . . . . . . . . . .
.
Extension Theorems . . . . . . . . . . .
. . . . .
Non-continuous Liapunov Functions on the Region of weak Attraction . . . . . .
. . . . . . . . .
. . . . .
.
Notes and References . . . . . . . . . . . . . . . . . . . . . .
1.
2.
3.
4.
5.
6.
134
136
138
166
169
172
176
177
179
183
185
. 221
. . 223
Notation
Set Theoretic Notation
Throughout the book standard set theoretic notations are used. Thus(, V, (\,
stand for set inclusion, set union and set intersections, respectively. For a given set
M, fJM, $ M, M, ((2. (M) denote the boundary, interior, closure, and complement of
the set M, respectively. For given sets A, B, the set A-Bis the set difference.
< lX}.
S [M, X]
H (x, X)
H (1Vf, X)
{xn} or {xn}
Xn~X
((2.1
((2.2
n'
n.~
y(x)
y+(x) (y-(x))
Notation
A+ (x) (A-(x))
D+(x) (D-(x))
J+(x) (j-(x))
Dt (x) (D:; (x))
]~ (x) (]; (x))
Dt(M}
D+(M, U)
Aw(M)
A (M)
A,l(M)
<R,
IJ)
J.
XI
Introduction
The theory of dynamical systems may be said to have begun as a
special topic in the theory of ordinary differential equations with the
pioneering work of HENRI PoINCARE in the late 19th century. PoINCARE,
followed by IVAR BENDIXSON, studied topological properties of solutions
of autonomous ordinary differential equations in the plane. The Poincare-Bendixson theory is now a standard topic of discussion in courses
on ordinary differential equations, and is adequately covered in all its
details in the books of, say, CODDINGTON and LEVINSON [1], LEFSCHETZ
[1], HARTMAN [1], SANSONE and CONTI [lJ, and NEMYTSKII and STEPANOV [1]. Of these, HARTMAN'S book contains the most detailed and recent
exposition.
Almost simultaneously with PoINCARE, A. M. LIAPUNOV developed
his theory of stability of a motion (solution) for a system of n first order
ordinary differential equations. He defined in a precise fonn the concept
of stability, asymptotic stability, and instability; and gave a "method"
(the second or direct method of Liapunov).for the analysis of the stability
properties of a given solution of an ordinary differential equation. Both
his definition and his "n1ethod" characterize, in a strictly local setting,
the stability properties of a solution of the differential equation. As such,
the Liapunov theory is strikingly different from the Poincare theory,
in which, on the contrary, the study of the global properties of differen-\
tial equations in the plane play a 1najor role.
One of the main aspects of the Poincare theory is the introduction of
the concept of a trajectory, i.e., a curve in the x, x plane; parametrized
by the time variable t, which can be found by eliminating the variable t
from the given equations, thus reducing it to a first order differential
equation connecting x and x. In this way, Po1NCARE set up a convenient
geometric framework in which to study qualitative behavior of planar
differential equations. PoINCARE was not interested in the integration of
particular types of equations, but in classifying all possible behaviors
1
Introduction
Introduction
Introduction
characterizing stability and attraction concepts via non-continuous Liapunov functions; these are concepts like the weak attractor, which are
not characterizable by continuous Liapunov functions._
Regarding the formal structure of the book, each chapter is divided
into sections, followed by an un-numbered section of notes and references.
In each section, individual items (Definitions, Theorems, etc.) are
numbered consecutively. Each item may be subdivided into consecutively
numbered subitems. References to the same chapter do not mention
the chapter number. Thus, for example, reference 2.5.3 indicates, section 2, item 5, subitem 3 of the same chapter. References to other chapters contain an indication of the chapter number. Thus II, 3.17 denotes
item 17 of section 3 in Chapter II. References to the bibliography are
given by the author's name followed, if necessary, by an item number
between brackets.
Chapter I
Dynamical Systems
In this chapter we introduce the definition of a dynamical system or
what is also called a continuous flow. Several general examples are given
to motivate and prepare the reader for the study of the theory of dynamical systems. Throughout the book the symbol X denotes a metric
space with metric e and R stands for the set of real numbers.
n (x, 0)
=x
== n(x, t1 + t2)
x0= x
1.1.5
+ t2 )
I. Dynamical Systems
A = {t}, then we simply write xA and Mt for {x} A and M {t}, respectively. For any x EX, the set xR is called the trajectory through x (see
II, 1.9).
The phase map determines two other maps when one of the variables
x or t is fixed. Thus for fixed t E R, the map nt: X ~ X defined by
nt (x) = xt is called a transition, and for a fixed x E X, the map nx:
R ~ X defined by nx(t) = xt is called a motion (through x). Note that nx
maps R onto xR.
The following theorem expresses an important property of the transitions.
1.2
itself.
n' o n 8 (x)
+ s) =
nt+ 8 (x).
Note also that the transition n is the identity, since for any x EX,
n (x) = x 0 = x. Since now n-t o n' = n'-t = n, the transition n-t
is the inverse of n'.
1.3
Exercises.
1.3.1
Show that the transitions nt, t ER, form a commutative group
with the group operation being the composition of transitions.
1.3.2
For any xE X and [a, b] CR, the set x[a, b] is compact and
connected.
~; =
x = t (x),
where /: Rn~ Rn (Rn is the real n-dimensional euclidean space) is continuous and moreover assume that for each x E Rn a unique solution
x. Then it is
well known (see for example CODDINGTON and LEVINSON [1], chapters 1
and 2) that the uniqueness of solutions implies
and considered as a function from RxRn into Rn, <pis continuous in its
arguments (section 4, chapter 2 in CODDINGTON and LEVINSON [1]). It
is clear that the map n : Rn X R --+ Rn such that n (x, t) = <p (t, x) defines
a dynamical system on Rn. We remark that the conditions on solutions
of 2.1.1, as required above, are obtained, for example, if the function f
satisfies a global Lipschitz condition, i.e., there is a positive number k
such that
2.1.3
11/(x) -
/(y) JI< k
llx
-y!I
2.2
Ordinary Autonomous Differential Systems (Continued). To
illustrate that the theory of dynamical systems as defined in this chapter
is applicable to a much larger class of ordinary autonomous differential
systems we consider a system
2.2.1
~;=X=f(x),
xER"
dx
dt
= x. =
g (x ) ,
x E Rn ,
where g: D--+ Rn, such that 2.2.2 defines a dynamical system on D with
the property that for each x ED the systems 2.2.1 and 2.2.2 have the
same positive and the same negative trajectories. Thus in general it is
sufficient to consider 2. 2. 2 instead of 2. 2.1.
If D =Rn, then given 2.2.1, we set
2.2.3
dx
dt
= x
g (x)
/(x)
= 1 + flj(x)JI
dx
dt
==
f (x)
(] (x, oD)
g (x) == 1 + 11/(x)ft 1 + (] (x, oD)
'
I. Dynamical Systems
where e(x, oD) = inf{llx -yli: yE oD}. One can now show that 2.2.3
or 2.2.4 defines a dynamical system on Rn or D, whenever the system
2.2.1 has unique solutions. Moreover, 2.2.3 and 2.2.4 have the same positive and negative trajectories as 2.2.1.
Ordinary Autonomous Differential Systems Containing Para2.3
meters. Consider the differential system
2.3.1
x= f(x, ),
xE Rn,
x.
2.4
Ordinary Non-autonomous Differential Systems. Consider the
differential system
2.4.1
x=
/(t, x),
x E Rn, t ER,
y = g(y),
(1, I (y)).
The Bebutov Dynamical System. Consider the set X of all continuous functions /: R-+ Rn. Now define e: XxX-+ [O, + oo) as
follows: For any integer m, let Im= [-m, m], and for/, gE. X set
2.5
2. 5.1
<1m (/,
2.5.3
e(f, g) = 2
00
11 : t E Im},
m=1
2. 6.1
dx
dt
= I (x),
x E R2 ,
li(<p, 0) = li(<p
+ 1, 0) == fi(<p, 0 + 1),
i = 1, 2.
10
I. Dynamical Systems
square for which <p - p, and 0 - 0 are integers. One usually expresses
this by <p = ~ (mod 1), and 0 = 0 (mod 1). The projection of trajectories
of 2.6.1 in the plane onto the torus then yields the trajectories of a dynamical system on the torus. Thus 2.6.1 is said to define a dynamical
system on the torus when condition 2.6.2 holds.
11
2.5 The dynamical system and the space of continuous functions was investigated
by M.V.BEBUTOV [3, 4, 5].
Other models of dynamical systems of particular type are used in the so-called
symbolic dynamics (see M.MORSE [4]), in the theory of Hamiltonian systems
(see G.BIRKHOFF [1], J.MosER, and C.CONLEY, where additional references can
be found), and in the theory of linear dynamical systems (see R. E. KALMAN [1]
and F.H.SHOLOHOVICH [2]).
Chapter II
Elementary Concepts
In this chapter we introduce certain fundamental maps Q: X ~ 2x
(2x is the set of all subsets of X) corresponding to a given dynamical
system (X, R, n). The basic topological properties such as closedness,
and connectedness of the image sets Q(x) are studied. The maps introduced are such that their images have in gener.al certain invariance
properties, so that we start with the notion of invariance of a set in
section 1. A dynamical system (X, R, n) is assumed given. R.+ and Rwill denote respectively the set of non-negative and non-positive real
numbers.
1.1.1
xtE M
1.2
Theorem. Let {Mi} be a collection of positively invariant, negatively invariant, or invariant subsets of X. Then their intersection and
their union have the same property.
Proof. To fix our ideas let the sets kl;, be positively invariant. Let
M' = V Mi, and M" = f\ M;,. For any x EM', we have x EM.;,
for some i. Thus xt E M.;, for all t E R+ since Mi is positively invariant.
Hence indeed xt E M' for all t E R+ as M' ) Mi. M' is therefore
positively invariant. Now let xE M". Then xE M;, for every i and
by positive invariance of eachM.;,, xt EM.;, for each i and each tER+. Hence
13
xt E (\ M;, = M" for each t E R:+ and M" is positively invariant. The
proof for negative invariance and for invariance are entirely analogous.
1.3
1.4
1.5
1.6
Theorem. Let M C X be invariant. Then so is its boundary
oM and its interior J (M). The converse holds whenever M is open or
closed.
Proof. If Mis invariant then so is X - M by Theorem 1.4. Consequently both M and X - 111 are invariant by Theorem 1.3. Hence
oM = M f\ X - Mis invariant by Theorem 1. 2, and J (M) = X - X - M
is invariant again by Theorem 1.4. For the converse note that if
oM is invariant then so is J (ltJ). For otherwise there is an x E J (M)
and tE R with xt~ J(M). Since the set (assume for convenience t > 0)
x [O, t] is connected it follows that x [O, t] (\ oM =f: 0. Hence there is a
14
<
X-C: ( -T)
E ()Ji[ by :nvariance
of oM, which is a contradiction to x E J (M). We have thus proved that
if oM is invariant, then so is J (M). Consequently if M is closed then
M = oM V J (M) is invariant, and if M is open then M = J (11) is
invariant. The proof that when J (llf) is invariant then so is l\II for closed
or open Jill is even simpler and left to the reader.
1.7
Theorem. If M ( X is positively or negatively invariant then
so is its interior J (M).
1..9
1.9.2
y+(x)
1. 9. 3
= {xt: tE R+},
For any x EX, the sets y (x), r+ (x)> and y-(x) are respectively called the
trajectory, the positive semi-trajectory, and the negative semi-trajectory
through x (or of x). Note that for any x EX, y (x) = xR, etc.
1.10
Exercises.
1.10.1 For any x E X the sets y (x), y+ (x), and y- (x) are, respectively,
invariant, positively invariant, and negatively invariant.
1.10.2 For the dynamical system defined by the differential equations
3.3.2 and 3.3.4, prove that the open and the closed unit disc are invariant
sets containing more than one trajectory.
1.11
Proposition. A set M C X is invariant, positively inva(iant, or
negatively invariant if and only if, respectively, y (M) == M, y+ (M) = M,
ory-(M) = M.
Another characterization of invariance is the following.
15
1.12
Proposition. A set JJf C X is invariant, positively invariant, or
negatively invariant if and only if for each x E .ZV.l, respectively, y (x) (M,
y+ (x) C M, or y-(x) C !f.
1.13
The sets y (x), y+ (x), y- (x) as defined above need not in general have
elementary topological properties like closedness, compactness, or openness. In the next section we single out two important classes of points
whose trajectories are compact.
vVe close thiS. section by the following useful proposition whose proof
is immediate.
1.14
Proposition. A set l\tf C Xis invariant, positively invariant, or
negatively invariant if and only if each of its components has the same
property.
2.2.1
x is critical,
2.2.2
{x}
2.2.3
= y (x),
{x} = y+ (x),
2.2.4
{x}==y-(x),
2.2.5
2.2.6
>
0, tn-+ 0 with x
x (nt)
16
= x (t + nt)
+ 1} tn.
Thus clearly the so constructed sequence {kin} has the property that
kntn--+ t. Now by the continuity axiom
x(kin)-+ xt
and since x = x(kntn) for each n by Lemma 2.3, we have x = xt. Since
t ER was arbitrary, xis critical.
We now prove some theorems about critical points. But first the
following lemma.
2.5
Lemma. If x =F xt for some x EX and t ER (i.e., xis not critical)
then there exist open neighborhoods U of x and V of xt such that V = Ut
and U (\ V = 0.
Proof. Note that if WC Xis open, then Wt = 7r} (W) is open because
nt is a homeomorphism {I, 1.2). Now let W1 and W2 be disjoint open
sets containing x and xt respectively. For example, if e(x, xt) = e (> 0),
then take W1 = S (x, e/2) and W 2 = S (xt, e/2). Then W 1t is open and
contains xt. Now set V ;:::= W 1t (\ W 2 and U = V(-t). Then V C W 2
and UC W1 , so that U and V are disjoint. Indeed x E U and xt EV so
that the open sets U and V are the required neighborhoods of x and
xt respectj vely.
We are now ready to prove some more results about critical points.
2.6
Theorem. A point x E X is critical if and only if every neighborhood of x contains a semi-trajectory.
Proof. The necessity is trivial as y (x) =+ {x} when xis critical so that
'Y (x) is contained in every neighborhood of x. For sufficiency assume that
x is not critical. Then there is a tE R+ with x =f= xt and consequently by
Lemn1a 2.5, there are disjoint open neighborhoods U of x and V of xt
with V = Ut. Since for each y E U we have yt E V, U cannot contain a
positive semi-trajectory. Similarly U cannot contain a negative semitrajectory. This contradiction shows that x = xt for every t ER and so x
is critical.
17
2.7
Proof. If the set of critical points is not closed then there is a sequence
{xn} of critical points with xn--+ x and x is not critical. Thus there is a
tE R with x =t= xt and hence, by Lemma 2.5, there are open sets U
containing x and V containing xt with Ut = V and U (\ V = 0. Since
xn -~ x we have xn E U for all sufficiently large n. Then for the t above
xntE V and in particular xnt~ U. But xn's are critical and therefore
xn = xnt E U. This contradiction proves the theorem.
As yet another application of Lemma 2.5., we have
2.8
Theorem. Let x, y EX and
t --+ - oo). Then x is critical.
f! (')'t,
x)--+ 0 as t--+
+ oo
(or as
xt = x (t
+ T)
for .all t E R.
=t= 0
xT.
+ T).
18
2.12
Theorem. If x EX is periodic, but not critical, then there is
T > 0 such that T is the smallest positive period of x. Further if T is
any other period of x, then..,;= nT for some integer n.
Proof. Consider the set {t
>
< t<
knTn
+ Tn.
19
0 < Tn < <X, either Tn--+ 0 in which case x is critical by Lemma 2.15
and hence periodic, or there is a subsequence Tn,,--+ ..,;, 0 <..,; < <X. But
then by the continuity axiom xnkTnk--+ x..,; and also xnkTnk = xnk--+ x.
Hence x = x..,; and x is periodic with a posit~ve period ..,; < <X. This proves
the theorem.
2.17
Exercise. If x E X is periodic, then y (x) is compact. Does the
converse hold? Prove also that if x is periodic, then y+ (x) is compact.
Does the converse of the last statement hold? (Hint: If x is periodic with
period T > 0, then y (x) = y+ (x) = x [O, T].)
3.1
Definition. Define maps A+, A- from X into 2x by setting for
each xE X,
3.1.1
A+ (x)
and xtn -~ y},
= {y E X:
+ oo
3.1.2
A-(x) =- {y E X: there is a sequence {tn} in R with tn--+ - oo
and xtn--+ y}.
For any x EX, the set A+ (x) is called its pos1:tive (or omega) limit set,
and the set A-(x) is called its negative (or alpha) limit set.
3.2
3.3.1
Consider the differential system defined in R 2 by the differential
equations (polar coordinates)
3.3.2
2*
dr
dt
=r(l- r),
20
It can easily be verified that the solutions are unique and all solutions
are defined on R. Thus 3.3.2 defines a dynamical system. The trajectories
are shown in Fig. 3.3.3. These consist of: (i} a critical point, namely the
origin 0, (ii) a periodic trajectory y coinciding with the unit circle, (iii)
spiralling trajectories through each point P = (r, 0) with r =f= 0, r =f= 1.
For points P with 0 < r < 1, A+(P) is the unit circle and A-(P) is the
singleton {O}. For points P with 1' > 1, A+(P} is the unit circle and
A-(P) = 0.
Fig.3.3.3
3.3.4
Consider another differential system defined in R 2 by (polar
coordinates)
dr
dt
=r(l-r),
d(J
dt
sin2 0
+ log
- 1- 3
sin2 0
ifO<r<!,
1
'Y
log-1-
'Y
sin2 ()
sin2 0
== 1,
ifr>l.
'Y
log-r -
One may verify that this system also defines a dynamical system on R 2
The trajectories are shown in Fig. 3.3.5. These consist of: (i) three critical
points, namely the origin 0 and the points A = (1., 0) and B = (1, n) on
the unit circle, (ii) a trajectory y 1 = {(1, 0): 0 < 0 < n} on the unit
circle, (iii) a trajectory y 2 = {(1, 0): n < 0 < 2n} on the unit circle, and
(iv) spiralling trajectories through points P = (r, 0) with r =f= 0, r =f= 1.
For any P = (r, 0) with 0 < r < 1, A+(P) is the unit circle, and.A-(P)
is {O}. For any P with r > 1, A+(P) is the unit circle and A-(P) = 0.
For any P = (1, 0) with 0 < () < n, A+(P) = {B} and A-(P) ={A}.
For any P == (1, 0) with n < 0 < 2n, A+(P) ={A} and A-(P) = {B}.
21
Fig.3.3.5
3.3.6
3.3. 7
f (x, Y) = {
3.3.8
Here
y(1 -
(1
+ y 2 ) (1 -
x2 )
p(x) q(y))
if
lxl <
1,
+1ifx>1
g(x,y) = -1 if x < -1
{
x
if jxl < 1.
< 21
if 0 < x < 1,
p(x)
if x
< 0,
p(x}
=2
if x
>
0< p(x)
3.3.9
lxl >
0
1
O<q(y)<2
q(y)
1,
if y< 0,
if y> 0.
22
+1
-1
Fig.3.3.10
3.4
3.4.1
3.4.2
y+(x)
y+(x) V A+(x)
and
Since 1/n and e()1, Yn) tend to zero we conclude that e(y, xtn) ~ 0. Consequently, xtn~Y and yE A+(x). We have thus proved that A+(x) is
closed. To see thatA+ (x) is invariant, let y EA+ (x) and t ER be arbitrary.
There is a sequence {tn} in R with tn ~ + oo and xtn ~ y. Then by the
continuity axiom xtn (t) ~ yt. Since xtn (t) = x (tn + t) and Tn = (tn + t)
~ + oo we have yt EA+ (x) and A+ (x) is invariant.
23
We now prove 3.4.2. For this remember that y+(x) == xR+. By the
--definition of A+(x) we have y+(x)) y+(x) V A+(x). To see that y+(x)
(y+(x) VA+(x), let yEy+(x). Then there is a sequence {Yn} iny+(x)
such that Yn--+ y. Now Yn = xtn for a tn ER+. Either the sequence {tn}
has the property that tn--+ + oo, in which case y EA+ (x), or there is a
subsequence tnk --+ t E R+ (as R+ is closed). But then xtnk--+ xt E y+ (x),
and since also xtnk--+ y we have y
V A+(x). This proves 3.4.2.
3.5
3.5.1
A+(x)
3.5.2
A+(x)=A+(xt)
== (\ {y+(y):
tER.
24
3.8
Proof of the Second Part of Theorem 3.6. Notice that the space
X is a locally compact Hausdorff space, and everything that has been
said above goes through in such a space. Now X possesses a one-point
compactification. So let X =XV {ro} be the one-point compactification
of X by the ideal point ro. Extend the dynamical system (X, R, n) on
x to a dynamical system (X, R, n) on X, where i is given by n(x, t) ==
n(x, t) for x EX, t ER, and ii (ro, t) = ro for all t ER. If now for x EX,
- (x) =A+ (x)
A+ (x) denotes the positive limit set of x, then clearly A+
V {ro}, whene~er xE X and A+(x) is not compact. However, A+(x) is
compact, as X is compact, and by the first part of the theorem it is
c.onnected. A"+(x) is therefore a Hausdorff continuum. Further A+ (x)
is an open set in.J+ (x). Now A+ (x) -A+(x) = {ro}, and so by Theorem 3. 7
every component of A+ (x) has ro as a limit point, and so is not compact.
This proves the theorem completely.
Exercises.
3.9
3.9.1
Show that if y+(x) is compact, then A+(x) is a non-empty compact and connected set.
3.9.2
as
t-+
+ oo.
3.9.3
Show that in a locally compact space X, A+(x) is
and compact if and only if y+ (x) is compact.
non~empty
3.9.4
3.9.5
4.1.1
.D+(x) = {y EX: there is a sequence {xn} in X and a sequence
{tn} in R+ such that xn--+ x and xntn--+ y },
25
4.1, 3
J+ (x) = {y E X: there is a sequence {xn} in X and a sequence
{tn} in R+ such that xn-+ x, tn-+ + oo, and xntn -+ y},
J-(x) ={yEX: thereis a sequence {xn} inXandasequence
{tn} in R- such that xn-+ x, tn-+ - oo, and x,/,.-+ y}.
4.1.4
For any x E X, the set D+ (x) is the first positive and the set D-(x) the
first negative prolongation of x.
The sets ]+ (x) and J-(x) are called, respectively, the first positive
and the first negative prolongational limit set of x.
It is clear that for any x EX, JJ+(x) ) y+(x), D-(x) ) y-(x), J+(x) )
A+(x), and J-(x)) A-(x). That these inclusions may be proper is
shown by the following simple example.
4.2
Example. Consider the planar differential system (cartesian
coordinates)
dx1
dt = -
X1,
dx2
dt =
X2.
Fig.4.2.1
26
4.3
4.3.1
4.3.2
4.3.3
4.4
Theorem. Let the space X be locally compact. Then for any
x E X, D+ (x) is connected whenever it is compact. If D+ (x) is not compact, then it has no compact component.
Proof. Let D+ (x) be compact but disconnected. Then there are two
compact non-empty sets P and Q such that P V Q = D+ (x) and P (\
Q = 0. Since P and Q are compact, e(P, Q) > 0. Thus there is a ~ > 0
such that S [P, ~], S [Q, ~] are compact and disjoint. Now x E .P or
x E Q. Let x E P. Then there is a sequence {xn} in X and a sequence {tn}
in R+ such that xn--+ x, and xntn--+ y E Q. \Ve may assume xn E S [P, ~]
and xntn ES [Q, ~]. Then the trajectory segments xn [O, tn] intersect
27
H (P, c5) for every n, and therefore there is a sequence {rn}, 0 < Tn < tn,
such that xn-rn EH (P, ") Since H (P, ") is compact we may assume that
xn-rn--+zEH(P,") Then zE.D+(x), but z~PVQ aszEH(P,"). This
contradiction shows that D+ (x) is connected.
To prove the second part of the theorem, we consider the one point
compactification X =XV {ro} of the space X, and for each xE X define
the set D* (x) by
D* (x) = {y E X: there is a sequence {xn} in X and a sequence {tn} in R+
such that xn--+ x and xin--+ y}.
The set D* (x) is always a compact subset of X. Following exactly the
same proof as given above for JJ+ (x) one can show that D* (x) is connected.
Now if D+(x) is not compact, then clearly
4.5
Lemma. Let X be locally compact. Then A+ (x) =f= 0 whenever
]+ (x) is non-empty and compact.
Proof. If possible let A+ (x) = 0. Then we claim that y+ (x) is closed
and disjoint with J+(x). That y+(x) is closed follows from y+(x) =
y+ (x) VA+ (x) = y+ (x) as A+ (x) = 0. That y+ (x) (\ ]+ (x) = 0 follows
'from the fact that if y+ (x) f\ ]+ (x) =f= 0, then by invariance of ]+ (x),
y+(x) C J+(x). Since J+(x) is compact, we will have A+(x) =f= 0 and
compact (remember that any sequence {Yn} in a compact set Q has a
convergent subsequence). This again contradicts the assumption A+(x)
= 0. Thus y+ (x) is closed and y+ (x) f\ ]+ (x) = 0. Since J+ (x) is nonempty and compact we have e(y+(x), J+(x)) > 0. Thus there is a c5 > 0
such that S [J+(x), c5] is compact and disjoint with y+(x). Now choose
any y E J+(x). There is a sequence {xn} in X and a sequence {tn} in R+
such that xn--+ x, t,.--+ + oo, and xntn--+ y. We may assume that x EJ:
S [J+(x), c5], xntn ES [J+(x), c5] for all n. Then the trajectory segments
xn [O, tn] intersect H (]+ (x), c5) and therefore there is a sequence {-rn},
0 < Tn < tn, such that xn-rn EH(]+ (x), c5). Since H (]+ (x), c5) is compact,
we may assume that xn-rn--+ z EH(]+ (x), c5). By taking subsequences we
may assume that either Tn--+ t E R+ or Tn--+ + oo. If Tn--+ t E R+, then
by the continuity axiom xn-rn--+ xt = z, i.e., z E y+ (x) which contradicts
28
y+(x) f\ S U+(x), "J = 0. If Tn ~ + CX), then zE J+(x), but this contradicts zE H(J+(x), ") as J+(x) (\ H(J+(x), c5) = 0. Thus our original
assumption A+ (x) = 0 is untenable and the lemma is proved.
As an immediate application we have
4.6
Lemma. Let X be locally compact. Then ]+ (x) is non-empty
and compact if and only if [)+ (x) is compact.
Proof. Let J+(x) be non-empty and compact. Then A+(x) is nonempty and compact. But then y+(x) is compact (prove this). Hence
D+(x) = y+(x) V J+(x) = y+(x) V J+(x) is compact. The converse is
trivial.
We now prove the connectedness properties of J+(x).
4.7
Theorem. If Xis locally compact, then for any xE XTheorem4.4
holds for J+(x).
Proof. Let J+ (x) be compact. If J+ (x) = 0 there is nothing to prove.
So let J+(x) =t= 0. If J+(x) is disconnected, then there are non-empty
compact sets P, Q such that J+(x) = P V Q and Pf\ Q = 0. Since
A+ (x) is non-empty and compact, hence connected, we have A+ (x) ( P
or A+(x) C Q. Let .A+(x) C P. Then y+(x) VP is compact and disjoint
from Q. That it is compact follows from y+(x) VP= y+(x) VP as
A+ (x) C P and y+ (x) is compact. That it is disjoint from Q follows from
the fact that if Q f\ (y+ (x) V P) =t= 0, then Q f\ r+ (x) =f= 0. But Q must
be invariant (why?). This will show that A+(x) C Q, a contradiction.
Finally, D+(x) = (y+(x) VP) V Q and since Q and y+(x) VP are disjoint compact sets we have a contradiction to the fact that D+ (x) is
connected whenever compact. This proves that J+(x) is connected whenever compact. The proof of the second part of the theorem is exactly
similar to proof of the second part of Theorem 4.4 and is left to the reader.
4.8
lixercises.
4.8.1
For any xE X, D+(x) = f\ {S(x, <X) R+:
statement for J+(x) and D-(x).
<X
>
4.8.2
Give examples to show that Theorems 4.4 and 4. 7 and Lemmas
4.5 and 4.6 are not in general true for non-locally compact spaces X.
4.8.3
4.8.4
X, let
29
,..,
ii: XxR-+X by
n (x, t) =
{n(x, t) if.f xE X
ro
and tE R,
ro and t E R.
X.
D+(M, U) =
V {y EX:
xEM
J+(M, U) =
V {y EX:
xEM
sequence {tn} ( R+ such that xn-+x and tn-+ + oo, Xn tn-+ y}.
4.11
Exercises. Let M C X be compact and U C X. Prove the
following statements.
4.11.1
4.11.2
]+ (M, U) is invariant.
4.11.3
4.11.4
4.11.5
== D+(M).
30
Chapter III
Recursive Concepts
1. Definition of Recursiveness
1.1
Definition. A set A C X will be said to be positively recursive
with respect to a set B C X if for each TE R there is a t > T and an
x EB such that xt EA. Negative recursiveness may be defined by using
the inequality t < T. vVe will say that a set A is self positively recursive
whenever it is positively recursive with respect to itself.
2.2.1
32
2.2.2
t > T,
2.2.3
xE A+(x),
2.2.4
y+(x) =A+(x),
2.2.5
y(x) (A+(x),
2.2.6
>
>
0, xt E U for some
Exercises.
2.3.1
2.3.2
Theorem. y+ (x)
= A+ (x)
33
2. 7
Example.
2. 7.1
d~
dt
f(<p, 0),
dO
dt
rxf(<p, 0),
Fig.2.7.3
2. 7.4
If in the above example we have / (<p, 0) > 0 for all <p, 0 (i.e.,
also /(0, 0) > 0), then every trajectory is dense in the torus and moreover the torus is also the positive and negative lir~1it set of each point.
This example describes a compact minimal set which is not a periodic
orbit (see section 3 for definition of minimal sets) and indeed each point
is positively and negatively Poisson stable.
The following theorem throws some light on positively Poisson stable
points x when y+(x) =t= A+(x).
3
34
2.8
Theorem. Let X be a complete metric space. Let x E X be
positively Poisson stable, and let it not be a periodic point. Then the
set A+ (x) - y (x) is dense in A+ (x), i.e., A+ (x) - y (x) = A+ (x) = y (x).
Proof. Since x is positively Poisson stable, we have A+ (x) = y (x).
To see that A+(x) -y(x) ==A+(x), it is sufficient to show that if
yE y(x) and e > 0 is arbitrary, then there is a point zEA+(x) -y(x)
such that zES(y,e). To see this notice that since yEA+(x)==A+(y),
there is a monotone increasing sequence {tn}, tn-+
oo, such that
ytn-+ y. Choose Ti > ti such that YTi E S (y, e). Then YTi ~ y [-t1 , t1 ]
(otherwise x will be periodic). Hence c5i == (! (y-r1 , y [ -t11 ti]) > 0. Set
e1 == min {e/2, e - (! (y, yri), c51 /2}. Then S (y-r11 e1) C S (y, e) and
S (y-r1 , e1) (\ y [-ti, ti] = 0. Having defined Y'l'n_ 1 and en_ 1 , choose
Tn > tn such that YTn E S (Y'l'n_ 1 , Bn_ 1) {possible because of positive Poisson
stability of x). Then define en= min {en-1/2, en_ 1 - (! (YTn_ 1 , YTn),
c5n/2}, where c5n = (! (YTn, y [-tn, tn]). Note that c5n > 0 as the motion is
not periodic. Clearly S (YTn, en) ( S (YTn_ 1 , e1, _ 1 ), and S (YTn, en)(\ Y [ -tn, tnJ
= 0. The sequence {y-rn} has the property that (! (YTn, YTn_ 1) < en_ 1 <
e/2n- 1 for n = 1, 2, .... {y-rn} is, therefore, a Cauchy sequence which
converges to a point z as the space X is complete. Since yrn E y (x), and
Tn-+ + oo, we have z EA+ (x). Further(! (y, yrn) < B, so that(! (y, z) < e.
Notice further that z~ y (x). For, otherwise, if z E y (x)
y (y), we will
have z = y-r. But there is an n such that tn > 1-r/, so that z E y [ -tn, tn].
However, z ES (yrn, en), and by construction S (YTn, en)(\ y [-tn, tn] == 0,
i.e., z ~ y [-tn, tnJ. This contradiction proves that z ~ y (x) and the theorem is proved.
==
2.12
2.12.1
x is non-wandering,
2.12.2
xE]+(x),
2.12.3
2.12.4
x E J-(x).
35
36
e(xn, xntn) < e(x, xn) + 1/n. This shows that Xin-+ x
and consequently
xE J+(x). In the second case similar considerations show that xE J-(x).
Thus by Theorem 2.12 every x E P is non-wandering.
We now give a partial converse of Theorem 2.14.
2.16
Theorem. Let X be complete. Let every x E X be non-wandering.
Then the set of Poisson stable points P is dense in X.
Proof. Let x E X an<:} 8 > 0. We will find a point y E S (x, 8) such that
y E A+(y) and y E A-(y). Let S (x, 8) = U. Since U is self positively
recursive, there is a t1 > 1 such that U f\ Ut1 =f: 0. Indeed U (\ Ut1
is open. So choose an x1 in U f\ Ut1 and positive 8 1 < 1/2 such that
S (x1 , 8 1 ) C U (\ Ut1 Set U1 = S (x1 , 8 1). Since x1 is non-wandering,
U1 is self negatively recursive, and there is a t2 < -2 such that U1 (\
U1t2 =f: 0. Choose X2 in ul (\ U1t2 and a positive 82 < 1/22 such that
S (x2 , 8 2) C U 1 (\ U it2 Set U 2 = S (x2, 8 2). Since x 2 is non-wandering,
U 2 is self positively recursive and there is a t3 > 3 such that U 2 f\ U2t3
=f: 0. Choose x3 in U2 f\ U2t3 and positive 8 3 < 1/23 such that S (x3 , 8 3) C
U 2 (\ U 2t3 Set U 3 = S (x3 , 8 3}. Proceeding in this fashion we obtain a
sequence of open sets {Un}, with the property that Un ) Un+l and
f\ {Un: n = 1, 2, 3, ... } is a singleton {y} with y E U (prove these facts
which are consequences of construction and completeness of X). We
claim that y is Poisson stable. To see this notice that by construction,
for any integer n > 2, Un (- tn) ( Un-i In particular, since yE Un for
every n, y (- tn) E Un-i Clearly, then the sequences {y (- t 2n)} and
{y (- t2n+i)} both converge toy. Since -t2n-+ oo and - t2n+i-+ - oo
we have y E A+(y) and y E A-(y).
2.16
Remark. The above theorem remains true in locally compact
spaces. The proof is the same as above except that one starts with a
relatively compact neighborhood of the point x. We also remark that
the closure of the set of Poisson stable points is called the set of central
motions.
3.1
Definition. A set M C X is caJled minimal, if it is non-empty,
closed, and invariant, and no proper subset of M has these properties.
A useful characterization of minimal sets is given by
37
3.2
Theorem. A non-empty set M C X is minimal if and only if
y(x) = M for every xE M.
Proof. Let M be minimal. Then for each x E M, r (x) ( M as M is
closed and invariant. Since r (x) is a closed invariant set we must have
-(x) = M, for otherwise (x) will be a non-empty proper subset of M,
a contradiction to minimality of M. Now assume that r (x) == M for
every x E M. If M is not minimal then there is non-empty closed invariant set PCM with P =FM. Choose xE P. Then y(x) C P, hence
y (x) =F M but x E M. This contradiction shows that M is minimal.
M ==
Theorem.
J'(M).
If MC X
is minimal and
3.4.1
Mis minimal,
3.4.2
y(x)
3.4.3
3.4.4
3.4.5
A+(x)
3.4.6
A-(x)
= M for every xE M,
=
=
M for every xE M,
M for every x EM.
38
y(x) C S(x[t - T, t
+ T], e)
3. 7
Exercises.
3. 7.1
3. 7. 2
In example 2. 7 every point is positively Poisson stable, but
the only recurrent point is the rest point.
That the concept of recurrence is basic in the theory of compact
minimal sets is seen from the following theorem of Birkhoff.
Theorem. Every trajectory in a compact minimal set is re3.8
current. Thus every compact minimal set is the closure of a recurrent
trajectory.
S(x[tn - Tn, tn
+ TnJ, e),
n = 1, 2, ....
e whenever jtJ
< Tn, n
= 1, 2, ....
The sequences {xtn}, {xTn} are contained in the compact set Mand may
without loss of generality be assumed to be convergent. So let xtn ~ y
and Xin ~ z. Then y, z E y (x) = M. Consider now the motion n'Y. For
any t E R, the inequality
yields
e(yt, z) >: e
39
z~
= y (y).
3.9
Theorem. If a trajectory y (x) is recurrent and y (x) is compact
then y (x) is also minimal.
y(x) C S(x[t - T, t
+ T], e/3)
for all tE R.
+ t)) <
e/3
!tJ < T.
for
fl (yt, x (tn
+ t)) >
for
jtj < T.
e - s/3
2e/3
+ T) =F 0
3.12
Theorem. For an x E X let y (x) be compact. Then the motion
nx is recurrent if and only if for each e > 0 the set
< e}
40
Proof. Let for each e > 0 the set Ke be relatively dense. For any
e > 0 there is by definition a Te= T > 0 such that
Ke f\ (t - T, t
+ T) =f= 0
2e.
3.13
Theorem. There exist non-compact minimal sets which contain
more than one trajectory.
41
4.3
Exercises.
4.3.1
If Xis locally compact, then a motion nx is positively Lagrange
stable if and only if A+ (x) is a non-empty compact set.
If a motion nx is positively Lagrange stable, then A+(x) is
4.3.2
compact and connected.
4.3.3
~
0 as t~
+ oo.
Finally we have
4.5
Theorem. The space X contains a compact minimal set if and
--only if there is an x E X such that either y+ (x) or y-(x) is compact.
Proof. Let y+ (x) be compact. Then A+ (x) is a non-empty compact
invariant subset of y+(x) and hence of X. The existence of a compact
42
minimal set now follows from Theorem 4.4. Similarly if y-(x) is compact,
then A- (x) is a non-empty compact invariant set and the existence of a
compact minimal set follows again from Theorem 4.4. The converse is
trivial, for every trajectory in a compact minimal set is Lagrange stable.
Notes and References
The concepts of Poisson stability, non-wandering points, minimal sets, recurrent
points, and Lagrange stability are all classical. The theorems given here are also
generally well known (see for example G.D. BIRKHOFF [1], and NEMYTSKII and
STEPANOV [1]). The use of prolongational limit sets to describe non-wandering points
is due to J. AusLANDER [3], who also introduced the notion of generalized recurrence
via higher order prolongational limit sets. AusLANDER's work is discussed in VII, 3.
G.D. BIRKHOFF did a considerable amount of work on the notion of central
motions (Remark 2.16) which he introduced. That work is of great interest in ergodic
theory and for this we refer the reader to NEMYTSKII and STEPANOV [1].
Theorems 2.5 and 2.13 do not seem to be in the classical works.
For further developments in the direction of this chapter we mention H. CHU
[1, 2], DOWKER [1], ELLIS [5, 8, 10, 11, 12], ENGLAND and KENT [1], GARCIA and
HEDLUND [1], GOTTSCHALK [11], HILMY [1-7], and SIBIRSKII [1, 2].
Sections 3, 4. The concepts of non-wandering points and recurrent points are due
to G.D. B1RKHOFF [1] who also proved the important relationship between compact minimal sets and recurrent points (Theorems 3.8, 3.9, Corollary 3.10, Theorem 4.4). The important result (Theorem 2.8) on Poisson stable points is from
NEMYTSKII and STEPANOV [1].
It is worthwhile to note that the only recurrent motions in R 2 are the periodic
ones. Consequently, all compact minimal sets in R 2 are the trajectories of periodic
points. In fact 0. HAJEK [1, p. 183] shows that all positively Poisson stable points
in R 2 are periodic. We recall also that the only non-compact minimal sets in R2
consist of a single trajectory with empty positive and negative limit sets (BHATIA
and SzEGo [1], Theorem 1.3.6). Thus Theorem 3.3 implies that all minimal sets in
R 2 have empty interiors. Theorem 3.3 is attributed by NEMYTSKII and STEPANOV
[1] to G. S. TuMARKIN. This theorem poses an important problem, viz., which
phase spaces (for example which manifolds) can be minimal.
For further study of minimal sets in topological transformation groups we refer
to W. H. GOTTSCHALK [11] as a starting point.
A special case of recurrence, namely almost periodicity, is deferred to V, 6,
because it is intimately connected with stability of motion. Note also that the
concepts of this chapter can be generalized to non-metric topological spaces, whereas
almost periodicity requires a uniformity on the space.
Chapter IV
Dispersive Concepts
This chapter is devoted to dynamical systems (X, R, n) which are
notably marked by the absence of Lagrange stable motions or Poisson
stable points or non-wandering points and in general the absence of
recursiveness. Such concepts (for the lack of a better term) may be
called dispersive concepts. The first section contains those concepts
which are definable in terms of the machinery introduced in Chapter II.
The second section studies the theory of parallelizable dynamical
systems.
1.1.1
the motion nx is said to be positively Lagrange unstable whenever
y+ (x) is not compact. It is called negatively Lagrange unstable if y- (x)
is not compact. Finally, it is called Lagrange unstable if it is both positively
and negatively Lagrange unstable.
the point x is called positively Poisson unstable whenever
x~A+(x), negatively Poisson unstable whenever x~A-(x), and Poisson
unstable whenever it is both positively and negatively Poisson unstable.
1.1.2
1.1.3
1.2
1.2.1
Lagrange unstable if for each x EX the motion nx is Lagrange
unstable,
1.2.2
1.2.3
44
1.2.4
dispersive if for every pair of points x, y EX there exist neighborhoods Ux of x and U'Y of y such that Ux is not positively recursive
with respect to u'Y.
1.3
Remark. In 1.1.3 it is unnecessary to define concepts such as
positively wandering or negatively wandering with the obvious requirement that x~ ]+ (x) or x t! J-(x). This is so because x~ ]+ (x) if and only
if xt! J-(x). Thus we would not get any new concepts.
1.4
Exercises.
1.4.1
Call a dynamical system (X, R, n) positively Lagrange unstable
whenever for each x E X, y+ (x) is non-compact. Prove that (X, R, n) is
Lagrange unstable if and only if it is positively Lagrange unstable.
Call a dynamical system (X, R, n} positively Poisson unstable
1.4.2
whenever for each xE X, x~A+(x) holds. Show that there exists a
positively Poisson unstable dynamical system which is not Poisson
unstable.
1.4.3
Give examples, of systems for which one of the conditions 1.2.1
through 1.2.4 holds but none of the subsequent ones hold.
Show that each of the conditions 1.2.1 through 1.2.4 implies
1.4.4
the preceding one.
1.4.5
Prove that a point x EX is a wandering point if and only if there
is a neighborhood U of x and a T > 0 such that U f\ Ut = 0 for all t,
jtf > T.
To emphasize the fact that none of the concepts 1.2.1-1.2.4implies
the following one we give some examples.
1.5
Examples.
1.5.1
Consider a dynamical system in a euclidean (x1 , x2}-plane, whose
phase portait is as in Fig.1. 5.2. The unit circle contains a rest point panda
trajectory y such that for each point q E y we have A+ (q) = A-(q) = {P }.
All trajectories in the interior of the unit circle (= {P} V y) have the
same property as y. All trajectories in the exterior of the unit circle spiral
to the unit circle as t---? + oo, so that for each point q in the exterior
of the unit circle we have A+(q) = {P} Vy, and A-(q) = 0. Notice that
if we consider the dynamical system obtained from this one by deleting
the rest point p (the dynamical system is thus defined on R 2 - {P }) then
this system is Lagrange unstable and Poisson unstable, but it is not
45
completely unstable because for each q E 'Y we have J+(q) = J', 1.e.,
q E J+(q).
x,
Fig.1.5.2
1.5.3
Consider a planar dynamical system defined by the differential
equations (cartesian coordinates)
X1 =
2
Sln X 2 , X 2 =COS X 2
+ n/2},
k = 0, 1, 2, ....
These are lines parallel to the x1-axis. Between any two consecutive
'Yk's the trajectories are given by y = {(x1 , x2): x1 + c =sec x2}, where c
is some constant depending on the trajectory. The phase portrait between
the lines x2 = -n/2 and x 2 = +n/2 is shown in Fig.1.5.4. This system
Xz
n/2
~1
-rc/2
Fig.1.5.4
46
dt = f (X1' X2),
dx1
dx2
dt
O,
where I (x1 , x2) is continuous, and moreover f (x1 , x2) = 0 whenever the
point (x1' x2) is of the form (n, 1/n) with n a positive integer. For simplicity we assume that f (x1' x2 ) > 0 for all other points. The phase portrait
is as shown in Fig.1.5.6. Let us now consider the dynamical system
obtained from the above one by deleting the sets
==
1, 2, 3, ...
(1,1)
--------+------------~-
(2,1/z)
(J,1/3)
-----+-------------(0.Dl
Fig.1.5.6
1.6
Remark. For dynamical systems defined by differential equations in the euclidean plane R 2 the concept of Lagrange instability and
the concept of wandering are equivalent. This may easily be proved
using the Poincare-Bendixson theory of planar systems.
1. 7.1
(X, R, n) is dispersive.
47
1. 7.2
For any two points x, y in X there are neighborhoods Ux of x
and UY of y and a constant T > 0 such that Ux (\ U/ = 0 for all t,
ftj > T.
1.7.3
y~
J+(x).
The proof easily follows from the definitions and is left to the reader.
We now develop a criterion for dispersive flows.
1.8
Theorem. A dynamical system (X, R, n) is dispersive if and
only if for each x EX, J+(x) == 0.
48
>
0, the last equality shows that the trajectory 'Y (x) is closed
and has a period 7:1 - T:. Since we assumed that there are no rest points
or periodic orbits, we have arrived at a contradiction. Thus J+ (x) = 0
for each x EX, and the dynamical system is dispersive. The theorem is
proved.
T:
7:' -
Sis closed in X,
2.3.2
Sis connected, arcwise coanected, simply connected if and only
if X is respectively connected, arcwise connected, simply connected.
2.3.3
2.3.4
If KC Sis open in S, then KI, where I is any open interval in
R, is open in X.
49
The following theorem now gives a criterion for parallelizable dynamical systems.
2.4
Theorem. A dynamical system (X, R, n) is parallelizable if and
only if it has a section S with r (x) continuous on X.
Proof. Sufficiency. Indeed SR= X. Define h: X-+ SxR by h(x) =
(xr(x), -r(x)). Then h is 1 - 1 and continuous by the continuity of
'l' (x) and the contin~ity axiom. The inverse h-1 : S X R -+ X is given by
h,-1 (x, t) = xt and is clearly continuous. This h is thus a homeomorphism
of X onto SxR, i.e. (X, R, n) is parallelizable. To see necessity, we note
that if the dynamical system is parallelizable, then the set Sin its definition is a section of X. Since for any x EX, x = yt for some y ES and
t E R, we set 'l' (x) = -t. Then continuity of r (x) follows from that of h.
The proof is completed.
2.5
Remark. The above theorem shows that the dynamical system
of Example 1.5.5 is not parallelizable. Notice however that the phase
space in this example is not locally compact.
2. 7
Definition. An open set U in X will be called a tube, if there exists
a 'l' > 0 and a subset S C U such that
2.7.1
4
50
2.7.2
for each xE U there is a unique r(x), jr(x) I< r, such that
xr (x) E S. Here IT== (-r, r).
It is clear that if 2.7.1 and 2.7.2 hold, then U =SIT. U is also called
a r-tube with section S, and S a (r - U)-section of the tube U.
If IT== R, then U is an CX)-tube, and S an (CX) - U)-section. In this
last case indeed U =SR. Note also that the function r(x) which maps U
into IT is 1 - 1 along each trajectory in U.
2.8
Lemma. Let Ube a r-tube with section S. If KC Sis compact,
then the function r(x) is continuous on Kis for any s, 0 < s < r.
>
>
t+T0
1JJ (y,
t)
It follows that
1P (y, t1
+ t2)
ti +t2+ T 0
t 2+ T 0
+ t1)) d'l'
t2
t 2 +To
Further the function 1P (y, t) is continuous in (y, t) and has the continuous
partial derivative
T0))
e (x, yt).
Since
"Pt (x, 0)
CJ
VS [x (-r0 ),
CJ)
CS (x, e),
51
and such that for y E S (xr0 , C) we have 1P (y, 0) > 1P (x, 0), and for y E
S(x(-r0 ), C) we have 't/J(y, 0) < 1Jl(X, 0). Finally determine ~ > 0 such
that
S [x, ~] r 0 CS (xr0 , C),
and
S [x, ~] [ -3r0 , 3r0 ] CS (x, e).
We will show that if y E S [ x, ~], then there is exactly one r (y), Ir (y) I
<To such that 1P (y, r (y)) = 1P (x, 0). This follows from the fact that
1P (y, t) = 1P (yt, 0) is a strictly increasing function of t, and 1P (y, r 0) >
1P (x, 0) > 1P (y, -r0).
Consider now the open set U == S (x, ~) /To' and set S = {y E U:
tp(y, 0) == 1JJ(X, O)}. We claim that Sis a (2r0 - U)-section. For this we
need prove that if y E U, then there is a unique r(y), lr(y) I< 2r0 such
that yr (y) E S. Indeed for any y E U, there is a t' It' I < r 0 such that
y' == yt' E S (x, ~), and for y' E S (x, ~) there is a t", It" I < r 0 , such that
y't" ES. Thus y(t' + t") = yr(y) ES, where r(y) = t' + t", and lr(y) I
< jt'I + jt"I < 2r0 Now let if possible there be two numbers, r' (y),
r" (y), Ir' (y) [ < 2r0 , Ir" (y) J < 2r0 , such that yr' (y) E S and yr" (y) E S,
and let y' = yt' E S (x, '5), where It' I < r 0 Then 1P (y', y' (y) - t') =
1P (y, y' (y)) = 1P (yr' (y), 0), and 1P (y', r" (y) - t') = 1P (y, r" (y)) =
1P (yy" (y), 0), so that 1P (y', r' (y) - t') = 1P (y', r" (y) - t') = 1P (x, 0). Now
IT' (y) - t' [ < 3T0 , and Jr" (y) - t' J < 3r0 , and "Pt (y', t) > 0 for It J < 3r0 ,
i.e., 1P (y', t) is strictly increasing for ltl < 3r0 Hence r' (y) - t' = r" (y)
- t', or r' (y) = r" (y). The theorem is proved.
2.10
Remark. If X is locally compact, then we can restrict ~ > 0
in the above proof to ensure that S [x, ~]is compact. Thus the (2r0 - U)section S constructed in the above proof will also be locally compact.
By Lemma 2.8 we may further assume the function 'l' (x) corresponding
to the section S to be continuous on U.
In fact the following more general theorem can now be proved.
2.11
Theorem. Let x EX be not a rest point. Let r > 0 be given,
restricted only by r < Tf 4 if the motion nx is periodic with least period
T. Then there exists a tube U containing x with a (r - U)-section S.
Further, if X is locally compact, then the function r (x) corresponding
to the section Scan be assumed continuous on U.
The proof of this theorem is left to the reader.
For wandering points x E X one can prove:
4*
52
2.12
Theorem. If xE X is a wandering point, i.e., x~ ]+(x), and
moreover Xis locally compact, then there exists a tube U containing x,
with an (CX) - U)-section S, and with r(x) continuous on U.
Proof. Indeed there is a tube W containing x, with a (r - W)-section
S, and r(x) continuous on W. Since xis wandering, we claim that there
is a '5 > 0 such that S (x, '5) (\ S = S* is an (CX) - U)-section of the open
set U = S*R, which is an oo-tube containing x. To see this notice that
there is a '5 > 0, such that every trajectory 'Y (y) with y E S*, intersects
S* only at the pointy. For otherwise, there will be a sequence {Yn} in S,
Yn ~ x, and a sequence {tn} in R, tn ~ + CX) (or tn ~ - CX)), such that
Yntn ~ x, i.e., either x E J+(x), or x E J-(x), both of which are ruled out
by the assumption that xis wandering. We have thus shown that there
is a '5 > 0 such that S* = S (x, '5) (\ Sis an (CX) - U)-section of U == S* R.
Furthermore U is open, and continuity of r (x) on U follows from its
continuity on W (\ U, and continuity of the phase map n. This we leave
to the reader to verify. The theorem is proved.
______________________
--------~---~-'----------------------!
I
--~----...._--~-,~------------------~
I
~
~~---------~-,~-------------------
Fig.2.14.1
53
2.15
Theorem. If X is locally compact and separable, and if every
x E X is a wandering point, then there exists a countable covering
{KnR} of X, by compactly based tubes KnR each with Tn (x) continuous
on KnR.
Proof. The proof is immediate, when we notice that by using Theorem 2.11, one can find a compactly based tube containing a wandering
point of X. The rest follows by the assumption of separability of X.
We gave an example above to show that a compactly based tube
need not be closed in X. One may wonder if for a wandering dynamical
system (X, R, n), a compactly based tube is not closed. Here is a counterexample.
Proof. U =KR and if {xn} is a sequence in KR, then there are sequences {Yn} inK and {rn} in R such that xn = Yn7:n. We may assume that
Yn ~ y EK as K is compact. If now xn ~ x, we claim that the sequence
{rn} is bounded, so that x E yR C KR. For otherwise if {r,.} contains an
unbounded subsequence {rnk}, say Tnk ~ + oo, then clearly x E J+ (y),
which is absurd, as J+(y) = 0 for each y EX by Theorem 1.8. The lemma
is proved.
We now prove the last lemma required to prove Theorem 2.6.
2.18
Lemma. Let U1 , U 2 be two compactly based tubes of a dispersive
dynamical system with sections K 11 K 2 and continuous functions r 1 (x)
and -r2 (x) respectively. If U 1 (\ U 2 -=!= 0 then U = U 1 V U 2 is a compactly based tube with a section K ) K 1 and a continuous function r (x).
Moreover, if the time distance between K 1 and K 2 along orbits in
U1 f\ U2 is less than r (> 0), the time distance between Kand K 2 along
orbits in U is also less than r.
54
Fig. 2.18.1
2.20
persive.
55
Chapter V
Stability Theory
This chapter is devoted to the study of various notions of stability
and attraction and the characterization of some of them in terms of the
so-called Liapunov functions.
Sections 1, 2, 3 expose the theory for compact sets in locally compact
phase spaces. This theory seems to be fairly complete.
Section 4 is devoted to a study of stability and attraction properties
of closed sets. Here we need not to restrict to locally compact spaces.
However, it seemed to us quite unnecessary to try to document all the
stability and attraction phenomena that can occur in this case, so that
we have restricted ourselves to only those which seemed to be of most
interest.
Section 5 exposes a concept of relative stability that may be useful
in several situations. The concepts of stability studied in sections 1-5
may be termed as orbital stability concepts in contrast to the concept
of stability of motion and its effect on recurrent motions as studied
in section 6.
1.1.1
1.1.2
A (M)
1.1.3
Au (M)
f"\
M =t= 0},
{x EX:
57
The sets Aw(M), A (M), Au(M) are respectively called the region of weak
attraction, attraction, and uniform attraction of the set M. Moreover, any
point x in Aw (M), A (M), or Au (M) may respectively be said to be weakly
attracted, attracted, or uniformly attracted to M.
The motivation for the above definition is the following proposition.
1.2
1.2.1
weakly attracted to M if and only if there is a sequence {tn}
in R with tn-?- + oo and (! (xtn, M) -?- 0,
1. 2. 2
+ oo,
1.2.3
uniformly attracted to M if and only if for every neighborhood
V of 1\1 there is a neighborhood U of x and a T > 0 with Ut ( V for
t > T.
Proof. 1.2.1 and 1.2.2 easily follow from the definitions. We prove
1.2.3. First assume that for an xE X, J+(x) =F 0 and J+(x) CM. Then
A+(x) =f= 0 and A+(x) CM (II, 4.5). Assume now that there is a
neighborhood V = S (M, cX} of M (cX > 0) such that for every neighborhood U of x and T > 0 there is a t > T with Ut ct V. By 1.2.2 there
is a t0 > 0 such that xt E V for t > t0 This shows that there exist
sequences {tn}, {rn} in R, tn < Tn, tn-?- + oo and a sequence {xn} in X,
Xn-?-X, such that xntnES(M,cX), but XnTnEH(M,cX). Since H(M,cX)
may be assumed compact (the space is locally compact) we conclude that
there is a sequence {xn}, xn-?- x, and a sequence {Tn}, Tn ~ + oo, with
xnTn-?- y EH (M, cX). Then y E J+ (x) but y ~ M. This is a contradiction.
Now assume the converse requirement that for every neighborhood V
of M there is a neighborhood U of x and a T > 0 with Ut C V for
t > T. Then indeed Ut C V. This shows indeed that xt E V for t > T,
and since we may take V to be compact, we have A+(x) =f= 0. Consequently J+ (x) =f= 0. Clearly J+ (x) C U [t, + oo) for every neighborhood
U of x and every tE R+. Hence J+(x) CV for every neighborhood V
of M. Thus J+(x) C (\ {V: Vis a neighborhood of M} = M. This proves
the proposition.
1.3
1.3.1
Aw(M))A(M))Au(M),
1.3.2
are invariant.
58
V. Stability Theory
1.4.1
A+ (x)
1.4.2
J+ (x)
Proof. The first equalities in 1.4.1 and 1.4.2 follow from invariance
of the sets A+(x) and J+(x). To see the second equalities, consider, for
example, the case A+ (x) t ==A+ (xt). Let z EA+ (x) t. Then there is a
y E A+(x) with z == yt and a sequence {tn}, tn-?- + oo, with xtn-?- y.
Then by the continuity axiom xtn (t) -?- yt. But xtn (t) == xt (tn) and since
tn--+ + oo, we must have yt EA+ (xt). Thus A+ (x) t CA+ (xt). The argument is clearly reversible, so that also A+ (xt) CA+ (x) t. This proves
1.4.1. The proof of the second equality in 1.4.2 is entirely analogous.
We now introduce the fundamental definitions of attraction and stability.
1.0
1.5.1
1.5.2
1.5.3
1.5.4
stable if every neighborhood U of M contains a positively invariant neighborhood V of M,
1.5.5
1.5. 6
1.6
Remark. A weak attractor will be called a global weak attractor
whenever Aw (M) = X. Similarly for attractors, uniform attractors, or
asymptotically stable sets, the adjective global is used to indicate that
the corresponding region of attraction is the whole space.
Examples.
1.7.1
Consider Example II, 3.3.1. Take any singleton {x} with x in
the unit circle. Then {x} is a weak attractor but it is none of the other
kind of objects introduced in 1.5.
1.7.2
Consider Example II, 3.3.4. The set M= {A,B} is again a
weak attractor but none of the other kinds of sets in 1.5.
59
1. 7.3
In the above example let M be the set consisting of the points
A and B and the trajectory y 1 . Then again M is a weak attractor but
none of the rest.
1. 7.4
Consider a planar dynamical system defined by the differential
equations (in polar coordinates)
i. 7. 5
== r (1 - r),
iJ = sin2 ( J2) .
The trajectories are shown in Fig.1. 7.6. These consist of two rest points
p1 = (0, 0) and p2 = (1, 0), a trajectory y on the unit circle with {p2}
as the positive and the negative limit set of all points on the unit circle.
All points p, P =F p1 , have A+(p) = {P2}. Thus {P 2} is an attractor. But
it is neither stable nor a uniform attractor. Note that for any p =
(cX, 0), cX > 0, J+ (p) is the unit circle.
Fig.1.7.6
1. 7. 7.
In Examples 1. 7.1, 1. 7.2, and 1. 7.4, if we take M to be the unit
circle, then M is clearly asymptotically stable and also is a uniform
attractor. As an example of a uniform attractor which is not stable we
consider in the present examples any set consisting of the unit circle
and sny po int p different from the origin, but not on the unit circle.
1. 7.8
Fig.1. 7.9 describes an example of a global attractor in the plane
which is not asymptotically stable. The point 0 is the only positive limit
point of each point in the plane.
Fig.1.7.9
60
V. Stability Theory
We are now ready to prove some theorems about the concepts introduced.
1.8
Theorem. If Mis a weak attractor, attractor, or uniform attractor, then the corresponding set Aw (M), A (M), or Au (M) is open (indeed
an open neighborhood of M).
Proof. Let N denote any one of the sets Aw (M), A (M), or Au (M).
Then N is an invariant neighborhood of M. Consequently 8N is invariant
and disjoint from Mand is indeed closed. Note now that for each x EN,
A+(x) f\ M =f= 0, whereas for each x E aN, A+(x) C oN. Since aN f\ M
= 0 we conclude that N f\ aN = 0. Thus N is open.
1.9
Theorem. If M is stable then it is positively invariant. Consequently, if Mis a singleton {x}, then xis a rest point.
Proof. Clearly M is the intersection of positively invariant neighborhoods of M. Hence by II, 1.2, Mis positively invariant. Finally, if M = {x},
then {x} = y+ (x). Hence by II, 2. 2, x is a rest point.
In 1.5 we introduced asymptotic stability as the conjunction of stability and the attractor property. The next theorems are aimed at showing
that the conjunction of stability with weak attraction or uniform attraction does not lead to any new concepts. We first prove the following
important lemma.
1.10
Lemma. Let X be an arbitrary metric space. Let x E X and
roEA+(x). Then J+(x) C J+(ro).
t: -
61
D+(M) = M.
Proof. Let JJ+ (M) = M, and suppose if possible that M is not stable.
Then there is an e > 0, a sequence {xn}, and a sequence {tn}, with tn > 0,
e(xn, M)-+ 0, and e(xin' M) > e. We may assume without loss of
generality that e > 0 has been chosen so small that S [M, e] and hence
H (M, e) is compact (this is possible as X is locally compact). Further,
we may assume that xn--+ x EM. We can now choose a sequence {Tn},
0 < l"n < tn, such that Xnl"n EH (M, e), n = 1, 2, .... Since H (M, e) is
compact, we may assume that Xnl"n ~ y EH (M, e). Then clearly y E
D+(x) ( D+(M), but y~ M. This contradiction shows that Mis stable.
Now assume that Mis stable. Given any neighborhood V of M there is
a positively invariant neighborhood U of M with U ( V. Since for any
-x E M, D+ (x) C WR+ for any neighborhood W of x, we get JJ+ (x) ( U
since U is positively invariant. Thus D+ (M) C V for any neighborhood
V of M. Hence .D+ (M) C f\ {V: V is a neighborhood of M} = M as M
is compact. Since M C D+ (M) holds always, we have D+ (M) = M.
This proves the theorem.
In view of Theorem 1.12 we can give the following definition.
Definition. If a given set M is unstable, the non-empty set
1.13
D+(M) - M will be called the region of instability of M. If D+(M) is
not compact, then M is said to be globally unstable.
1.14
Theorem. If M is stable and is a weak attractor, then M is an
attractor and consequently asymptotically stable.
62
V. Stability Theory
1.16
Theorem. If M is asymptotically stable then M is a uniform
attractor.
1.17
Diagram.
Positively
invariant
+-----Uniform
attractor
Stable
Asymptotically stable
-----+
Weak
attractor
Attractor
1.18
Exercises.
1.18.1
0.
1.18.6
1.19
Theorem. A set Mis stab1e if and only if every component of M
is stable.
63
1.21
Theorem. Let M be asymptotically stable, and let M* be a
component of M. Then M* is asymptotically stable if and only if it is
an isolated component.
64
V. Stability Theory
1.23
1.24
Remark. Theorem 1.22 is not true without local connectedness
of X. Consider the set X consisting of the points 0, 1, 1/2, ... , 1/n, ... on
the real line. X is a compact metric space with the usual euclidean distance between real numbers. Consider any dynamical system on X.
Then one sees easily that each point of X is a rest point. The compact
set X is asymptotically stable and each point of X is a component of x.
However, the point 0 is not asymptotically stable. However, local compactness is not needed as shown by N. P. BHATIA [9].
As a final result in this section we prove an important property of
weak attractors.
Theorem. Let M be a compact weak attractor. Then D+(M)
1.25
is a compact asymptotically stable set, with A (D+(M)) == Aw(M).
Moreover, D+ (M) is the smallest asymptotically stable set containing M.
>
0.
65
D+(M),
for D+ {M) is positively invariant. This shows that D+ (D+ (M)) = D+ (M),
i.e., D+(M) is stable. We have thus proved that D+(M) is asymptotically stable. Finally, let M* be any compact set such that M ( M* (
D+(M). Then D+(M) ( D+(M*) ( D+(D+(M)) = D+(M), and so
D+(M*) = D+(M). If M* is stable, then M* = D+(M*) = D+(M).
Thus D+(M) is the smallest stable (also asymptotically stable) set containing M. The theorem is proved.
1.28
Exercises.
1.30
Exercise.
66
V. Stability Theory
Proof. Assume <p (y) < cp (z). There are indeed sequences {tn} and {rn}
in R such that tn ~ + oo, Tn ~ + oo, and xtn ~ y, Xin ~ z. We may
assume by taking a subsequence that in> tn for each n. Then clearly
<p (xtn) > <p (X7:n) as Xin == xtn (in - tn), in - tn > 0, and xntn [O, in - tn] c K.
Thus proceeding to the limit we have by continuity of cp, cp(y) > cp(z).
This contradicts the original assumption and the lemma is proved.
The best known result on asymptotic stability is
2.2
Theorem. A compact set M ( X is asymptotically stable if and
only if there exists a continuous real-valued function <I> defined on a
neighborhood N of M such that
0 if x q M;
<I> (x)
2.2.2
>
2.2.1
67
e(x, M)
= x, then
T}.
As e(xt , M) is a continuous function of t, <p (x) is defined. This <p (x) has
the properties: <p (x) = 0 for x E M, <p (x) > 0 for x ~ M, and <p (xt)
< <p (x) for t > 0. This is clear when we remember that M is stable and
hence positively invariant and that A (M) is invariant. Thus if <p (x) is
defined for any xE A (M), it is defined for all xt with tE R+. We further
claim that this <p (x) is continuous in A (M). Indeed stability of M implies
continuity of <p (x) on M. For x ~ M we can prove the continuity of <p (x)
as follows. For x~ M, set e(x, M) = x (> 0) and choose B, 0 < B < x/4,
such that S [x, e] is a compact subset of A (M); this is possible as Xis
locally compact and A (M) is open. Since Mis a uniform attractor, there
is a T > 0 such that S [x, e] t CS (M, x/4) for all t > T (see 1.30.2).
Thus for y ES [x, e] we have
<p (x) - <p (y)
= sup
{e (xt, M):
>
O}
< T}.
Therefore
j<p(x)- <p(y)J
The continuity axiom implies that the right hand side of the above inequality tends to zero as y ~ x, for Tis fixed for y E S [x, e]. The function <p (x) is therefore continuous in A (M). However the above function
may not be strictly decreasing along parts of trajectories in A (M) which
are not in Mand so may not satisfy 2.2.2. Such a function can be obtained
by setting
00
</J (x)
That </J (x) is continuous and satisfies 2.2.1 in A (M) is clear. To see that
</J (x) satisfies 2. 2. 2, let x ~ M and t > 0. Then indeed </J (xt) < <I> (x)
5*
68
V. Stability Theory
holds, because <p (xt) < <p (x) holds. To rule out f/> (xt) = f/> (x) , observe
that in this case we must have <p (x (t + -r)) == <p (xT) for all T > 0. Thus
in particular, letting T = 0, t, 2t, ... we get <p (x) = <p (x (nt)), n = 1, 2, 3, ....
But asymptotic stability of M implies that for x E A (M), e(xt, M) ~ 0
as t ~ oo. Thus cp (x (nt)) ~ 0 as n ~ oo, as <p (x) is continuous. This shows
that cp(x) = 0. But as x~ M, we must have cp(x) > 0, a contradiction.
We have thus proved that f/>(xt) < </J(x) for xq Mandt> 0. The theorem is proved.
2.3
Remark. Theorem 2.2 says nothing about the size of the region
of attraction of M. Thus if a function f/> (x) as in Theorem 2. 2 is known to
exist in a neighborhood N of M, we need not have either NC A (M) or
A (M) ( N. We will give an example to elucidate this point. In particular
this means that the above theorem cannot immediately be stated as a
theorem on global asymptotic stability.
2.4
x=f(x,y),
y=g(x,y),
where
> 1
g(x, y) = -y for all (x, y), and /(x, y) = {
~
2x3y 2 - x If x 2 y2 < 1 .
x if x 2y 2
2.4.2
Fig.2.4.3
69
The origin (0, 0) is asymptotically stable, with the set {(x, y): x2y2 < 1}
as its region of attraction. Consider now the function
2.4.4
x2
<1> (x, y)
= y2 + 1 + x2
=:
f (x, y) +
~<P g (x, y) of <P for the given system as is standard practice for diffe-
Y
.
rential equations. It can easily be verified that <1> (x, y) < 0 for all
(x, y) =f= (0, 0), which implies that this <1> satisfies conditions of Theorem 2.2 in every neighborhood of the origin. But not every neighborhood
of the origin is contained in the region of attraction, nor does it contain
the region of attraction.
Since Theorem 2.2 guarantees asymptotic stability of M, it is clear
that A (M) (\ N is a neighborhood of M. How far the extent of this
neighborhood can be determined by a function <1> (x), as in Theorem 2.2,
is the subject of the following proposition.
2.5
Theorem. Let <1> (x) be a function defined in an open neighborhood N of Mand having properties as in Theorem 2.2. Then if K ( N
is any compact positively invariant set, we have K ( A (M). Further
for all sufficiently small cX > 0 the set K' = { x E N: <1> (x) ~ cX} has a
compact positively invariant subset P' such that P' (\ K' - P' = 0,
P' is a neighborhood of M, and P' CA (M). In particular if K'is compact, then K' CA (M).
Proof. The first part follows from Lemma 2.1. To prove the second
part, let B > 0 be chosen such that S [M, B] is a compact subset of J (N).
Set m (e) = min {<1> (x): x EH (M, e) }. Clearly m (e) > 0. Now let 0 < cX
< m(e), and set P' == K' (\ S [M, B]. We claim that P' is a set predicted
in the lemma. Clearly P' =F 0 as P') M. P'is compact, for if {xn} is a
sequence in P', then we may assume that it is convergent, because {xn}
is in the compact set S [M, B]. If now xn-+ x, then clearly x ES [M, e]
on one hand, and <1> (x) ~ cX, because <1> (xn) < cX for each n, showing that
x EK'. It follows that x E (K' (\ S [M, e]) = P'. That P' is positively
invariant may be seen by first observing that if x E P ''and xR:+' <t S (M, e),
then there is a t > 0 such that xt EH (M, e) and x [O, t] CS [M, e] ( N.
By 2. 2. 2 we get <1> (xt) ~ <1> (x) < cX, and xt E H (M, e) implies <1> (xt) >
m (e) > cX, a contradiction. :Hence xR:+' C S (M, e) ( N. It follows that
<P(xt) < </J(x) < cX for each t > 0, which shows that xR+ ( K'. Thus
xR+ C K' (\ S (M, e) C P '. That is, P ' is positively invariant. By the
first part of the theorem we have P' CA (M). ThatP'is a neighborhood
70
V. Stability Theory
of M follows from the continuity of </J and the fact that </J (x) = 0 for
x E M. Finally to see that P ()(. f\ K(J(. - P ()(. = 0, observe that K(J(. (\ H (M, e)
= 0. The last part follows by observing that if K' is compact, then it is
positively invariant.
2.6
Remark. For any given B, cX > 0 chosen as above, the set P (X
defined in the above proof is the largest, compact positively invariant
set in K'. For if SC K(J(. were a larger set, then S - P(J(. ( @(S [M, e]),
so that S - P ()(. (\ P ()(. = 0. It follows that S - P ' is compact and positively invariant. This is impossible unless S - P(J(. = 0. For, if S - P(X
were a non-empty subset of N, by the above theorem, S - P' CA (M).
Therefore, (S - P') R+ (\ P(X =F 0 as P' is a neighborhood of M. But
(S - P(J(.) R+ = S - P(J(., and (S - P') f\ P' = 0.
2. 7
Theorem. Let M C X be a compact asymptotically stable set.
Then its region of attraction A (M) contains a countable dense subset.
In particular, if A (M) = X, then Xis separable.
A (M) = P 'R
Thus A (M)
Since each P ' [-n, OJ is compact and thus contains a countable dense
subset, the result follows.
The above proposition motivated the introduction of the following
definition.
2.8
Definition. A continuous scalar function </J (x) defined on a set
N C X will be said to be uniformly unbounded on N if given any cX > 0
there is a compact set KC N, K =F N, such that (]>(x) > cX for xq K.
2.9
Theorem. Let M C X be a compact asymptotically stable set
and let M be invariant. Then there exists a continuous uniformly unbounded function </J (x) defined on A (M) such that
2.9.1
2.9.2
71
rem 2.5, and consider the set P(J(.. Note that 8P' = {xE S [M, e]: <p (x) = x}.
We claim that for every point x EA (M) - M, there is a unique T(x) ER
such that XT(x) E oP(X. The uniqueness of T(x) follows from the fact that
if xr(x) E oP', then <p(x(r(x) + t)) < <p(xr(x)) = x for t > 0. As P' is
positively invariant and <p (y) = x for y E oP' we conclude that x (r (x)
+ t) is in the interior of P ' for all t > 0. This establishes uniqueness of
T (x) for all x for which T (x) is defined. That r (x) is defined for all x E
A (M) - P(J(. follows from the fact that P(J(. is a neighborhood of M, so
that any trajectory y (x) ( A (M) with x ~ P '' must intersect oPoc For
xE oP(X indeed T(x) is defined and T(x) = 0. For XE J(P(J(.) - M, if
there is no i (x) such that XT (x) E oP'' then y (x) c J (P()(.) - M c p oc
P(J(. being compact A-(x) =f= 0, A-(x) C P', but A-(x) (\ M = 0 (otherwise M will be unstable). Now A-(x) is compact and invariant, so that
if y E A-(x) we have A+ (y) =f= 0, and A+ (y) C A-(x). Then on one hand
we haveA+(y) (\ M = 0 and on the other handA+(y) (Mas y EA (M).
This contradicts A+ (y) =F 0. Thus y (x) (\ oP(X =F 0, and T (x) is defined
for each x EA (M) - M. Note that A (M) - M is invariant, as M and
A (M) are both invariant. For x E A (M) - M and TE R observe now
that
i (xt) == T (x) - t.
This follows from the fact that any trajectory y (x) in A (M) - M intersects oP()(. at exactly one point. Thus xt (T (xt)) = x (T (x)), i.e., by the homeomorphism axiom
2. 9. 3
x (t
+ T (xt)) =
x (r (x)) .
As y (x) can neither be periodic nor a rest point, we have t + r (xt) = T (x).
This shows further that r (xt) is a continuous function of t and T(xt) ~
oo as t ~ =f= oo. We now claim that r (x) is continuous on A (M) - M.
For any x EA (M) - M, and e > 0, the pointy== x(T(x) + e) E J (Poe)
There is therefore a neighborhood NY of y such that N'Y ( P'. Then
N+ = N'Y(-T(x) - e) is a neighborhood of x and note that for each
ro EN+, T(ro) < T(x) + e. Again z == x (r (x) - e) EA (M) - P '' the last
set being open. Thus there is a neighborhood Nz of z such that
Nz C (A(M) - P'). Then N- = Nz(-T(x) + e) is a neighborhood of x
and note that for each ro EN- we have T(ro) > r(x) - e. Thus if ro is
in the neighborhood N 8 = N+ f\ N- of x, we have
T(x) - e
72
V. Stability Theory
</J(x)
for
xE M,
</J (x)
eT(x)
for
x EA (M) - M.
and
The above observations show that this function is continuous on A (M).
It is clearly positive for x Et M, and
2.9.4
</J (xt) = e-,;(xt) = ei-(x)-t = </J (x) e-t.
Lastly to see that this </J (x) is uniformly unbounded, recall that A (M) =
V {P(J(.[-n, OJ: n = 1, 2, 3, ... }.Each Pix[-n, O] is compact and positively invariant. Observe that if x4 Pix [-n, OJ, then r(x) > n, so that
</J (x) > en. This proves the theorem completely.
If M is not invariant, then we have:
2.10
Theorem. If M (Xis any compact asymptotically stable set,
there exists a continuous, uniformly unbounded function </J (x) on A (M)
such that
2.10.1
</J(x)
2.10.2
</J (xt)
for x q M and t
>
0.
for
x E P ()(.'
for
x E A (M) - P ()(..
and
f/> (x)
cXei-(x)
This </J (x) has the desired properties as may easily be verified.
2.11
Theorem. Let MC X be compact and let there exist a continuous
uniformly unbounded function f/> (x) defined on an open neighborhood
N of M such that
2.11.1
</J (x)
2.11. 2
</J (xt)
>
0 for x q M,
73
Proof. The proof follows from the observation that if </J (x) is uniformly
unbounded on N, then for any x > 0, the set K(J(. = {x: </J(x) < cX} is
compact. Then by Theorem 2.5, K(J(.C A (M). Now N = V {Kn: n =
1, 2, ... }, and since each Kn CA (M) we have NC A (M). Lastly if N
is invariant we must have N =A (M) as N is a neighborhood of M.
The remaining details of the proof will be the same as in the proof of
sufficiency of Theorem 2.2. These we leave to the reader.
For global asymptotic stability we can state the following two theorems as corollaries of the above results.
2.12
Theorem. A compact invariant set M C Xis globally ~symptoti
cally stable if and only if there exists a continuous uniformly unbounded
function </J (x) defined on X such that
2.12.1
2.12.2
</J(x)
> 0 for xq M,
</J(x)
2.13.2
</J (xt)
Proof. The sufficiency follows from Theorem 2.11, the necessity from
Theorem 2.10.
2.14
Remark. In dynamical systems defined in locally compact metric
spaces, one may define ultimate boundedness of the dynamical system
by the property that there is a compact set K C X with A+ (x) =f= 0, and
A+ (x) ( K for each x E X, i.e., whenever there exists a compact global
attractor in X. It is shown in Theorem 1.25 that if K (Xis a compact
weak attractor, then D+(K) (the first positive prolongation of K) is a
compact positively invariant set which is asymptotically stable and has
the same region of attraction as K. One can show now that the largest
invariant set in D+ (K) is compact and asymptotically stable with the
same region of attraction as of K. These observations will allow one to
write theorems on ultimate boundedness which are similar to those on
global asymptotic stability. We leave these to the reader.
74
V. Stability Theory
2.15
Theorem. If MC X is a compact asymptotically stable set
with the region of attraction A (M), then for any f3 > 0 there exists a continuous uniformly unbounded function <l>(x) on A (M) having the following properties.
2.15.1
<l>(x)
= 0
2.15.2
<1> (xt)
<
for
0 for
xq M,
>
0.
ef1t:
t > O}.
We claim that this function is well defined. In fact, for each n > n 0 ,
there is a Tn > 0 such that xt ES [M, 1/n] for all x E P and t > Tn. For
otherwise for some n* there will be a sequence xn in P and a sequence
tn ~ + oo, such that xinE P - S [M, 1/n*]. We may assume that xn ~
x E P, and xntn ~ y E P - S(M, 1/n*). Then y E J+(x), xE A (M), but
y q M. This contradicts uniform attraction of M (Theorem 1.16). Thus in
fact for each n > n0
2.15.4
efJt: 0
and f/Jn (x) is defined. One now easily sees that f/Jn (x) is continuous and
moreover, satisfies the inequality
2.15.5
for x E P, t > 0.
> t}
0.
+oo 1
( )
cp (x} = ;E 2n <p~x
n=no
This cp (x) is continuous on P, and satisfies cp (xt) < cp (x) e-fJt for x E P
and t > 0. Moreover, <p(x) = 0 if x EM, and <p(x) > 0 if x E P - M.
Now choose any cX > 0 sufficiently small such that
P'
{xE P: <p(x)
< cX}
rFt.
':I:'
(x)
75
R+ by
= {<p (x)
if x E Pa:,
fJ ( )
rxe
if x 'F
L P a:
where -r (x) is the unique number such that xi (x) E oPa: This <P (x) has all
the properties required in the theorem as is easily verified.
We shall give next, theorems which allow the identification of oA (M)
in the case of an asymptotically stable compact, connected set M ( X.
2.16
Theorem. Consider a dynamical system (X, R, n) on a locally
compact metric space X. Let MC X be a compact, connected invariant
set. Then a necessary condition for M to be asymptotically stable and
the open invariant set A (M) its region of attraction is the existence of
two real-valued functions <p (x) and (J (x) which have the following properties:
2.16.1
2.16.2
2.16.3
2.16.4
2.16.5
<p (x)
-1
0 (x)
- M.
0 if x EM.
2.16.6 <p (x) is strictly increasing as e(x, M) increases, i.e. given any
y 1 > 0, there exists y 2 > 0 such that <p (x) < -y2 for e (x, M) > y 1
2.16. 7 For each sequence {xn} CA (M) such that either xn ~ x E oA (M)
or e(xn, M) ~ + oo, <p(xn) ~ -1.
2.16.8
(d<pd~l)
Proof. Let
2.16.9
<51
= lim <p(xt)
t=O
>
HO
0 (x) (1
<p(x) =
<51 ]
+ ip (x)).
CA (M). Assume
M},
<51) -
for each t > 0 such A(t) exists and is positive. Since M is asymptotically
stable and S [M, <51] CA (M), A(t) < e1 for 0 ~ t < + oo, and lim A(t)
= 0. Then for each integer k one can find tk
2.16.10 A(t)
< e1/2k,
>
>
t-++oo
0 such that
tk.
+oo.
Assume next
2.16.11 lk(t)
for tk
< t<
[2e1tk+i - e1 (tk
tk+l and k
> 1.
+ t)]/2k(tk+i
- tk)
76
V. Stability Theory
8,:_
2 1
> A(t),
<
For k = 1 we can assume that the function l1 (t) is defined on the interval (- oo, t 2). Since l1 (t) > e1 > A(t), the function
> 1
<
L (t).
Such function L (t) is defined and continuous on the whole real line and
in addition it is strictly decreasing from + oo to 0. From the equation
2.16.9 and the inequality 2.16.15 it then follows that
2.16.16
Let L-1 (s) be the inverse function of L (t): from the properties of L (t)
it follows that L-1 (s) exists, is continuous and strictly decreasing on the
interval 0 < s < + oo. Consider the function
2.16.17
~ (s) =
+ oo,
~ (e (x,
M)) =
e(x, M) e-L-l(Q(x,M)).
This function satisfies all conditions of the theorem since it is defined and
continuous for all x EX, it is positive for all x EX - M, it vanishes for
x E Mand it is strictly increasing as e(x, M) increases. Consider next the
function
2.16.19 'P (x) = exp [-
J~
+ <p(xt) =
[1
M)) d'i] .
Hence, if we let
2.16.22
(1
77
= t + s, we have
+ IP (x)) exp
=exp [=exp
[j ~
(e (x-r, M))
d-r]
+oo
~ (e (xt, M)) dt exists for each x E A (M).
For each x E A (M) it is possible to find i (x) > 0, such that, for all
t > i(x), we have Xi(x) E S(M, <51). It follows that
oo
2.16.23
+oo
~ (e (xt, M)) dt + ~ (e (xt, M)) dt.
TW
T(X)
2.16.24
+oo
~ (e (x, t, M)) dt
+oo
~ (!_> (x (s
+ i (x)), M)) ds
T(X)
+oo
= ~
Now
XT
2.16.25 L (s)
> e((xi(x)) s, M)
for
s ER+.
<
s, M)}.
Thus, since L (t) < <5 for t > 0, because of the inequalities 2.16.16 and
2.16.27, it follows that the integral 2.16.24 is less than <5 and therefore
+oo
J ~ (e (xt, M)) dt
hence for each x E A (M), <p (x) exists and the equality is proved.
exists,
78
V. Stability Theory
We want to show next that <p (x) is continuous for each x EA (M).
For that it is enough to prove that the function
2.16.28 <p* (x) ==log (1
+oo
<p (x)) == -
J ~ (e (xt, M)) dt
is continuous for each x EA (M), i.e. that for each x EA (M) and
there exists <51 > 0 such that, for(! (y, x) < <51
>
00
2.16.29
j<p* (y) -
<p* (x) f ==
f {~ (e (yt, M)) -
~ (e (xt, M))} dt
<
e.
For (! (y, x) sufficiently small, the points x and y belong to A (M) and
therefore there exists T > 0 such that
+oo
2.16.30
+co
2.16.31
(!
(xt, yt)
<
<5 2
for
(!
(x, y)
<
<53
and 0
< t<
Thus, for
2.16.34
(x, y)
j<pj (x) -
<
<53 ,
I< e/2T,
T.
(J (x)
< t<
T.
we have
<pj (y)
I< e,
fPdt]-
1 < -y 2
79
(1 +qi (x")).
Now the limit of the right-hand side of the 2.16.36 exists and it is equal
to zero, hence <p(xn) ~ -1. The same reasoning applies if {xn} CA (M)
and [jxn/I ~ + oo, which concludes the proof of the property 2.16.7 and
of the theorem.
2.17
Remarks.
80
V. Stability Theory
where
3.1.3
3.2
Lemma. The set P defined in the above theorem is a retract
of A (M). Consequently P(X is a retract of every set N, P(X C N (A (M).
(X
(X.
81
Further, S [p, e] t1 (A (p), and A (p) is open. Since pis uniformly attracting there exists a T > 0 such that S [p, e] (t1 + t) C S (p, e) t1 for t > T.
In particular, S [p, e] (t1 + T) CS (p, e) t1 CS [p, e] t1 Hence S [p, e] t1
C S (p, e) (t1 - T) C S [p, e] (t1 - T). Setting t 2 == t1 - T, we get
S [p, e] t1 CS (p, e) t 2 The above analysis shows that we can choose a
sequence {tn}, tn--+ - oo, such that {S (p, e) tn} is a monotone sequence of
open n-cells. By Lemma 3.3 V {S(p, e) tn; n == 1, 2, ... } is an open
n-cell. But this last union is A(p), so that A (p) is an open n-cell and hence
homeomorphic to Rn.
3.5
Corollary. If p is an asymptotically stable rest point in Rn, then
A (p) - {P} is homeomorphic to Rn - {O}, where 0 is the origin in Rn.
We can now present the following result.
3.6
Theorem. Let M C Rn be a compact invariant globally asymptotically stable set in Rn. Then Rn - M = @(M) is homeomorphic to
Rn - {0}.
For the proof of this theorem we need to establish some further results
which are important in themselves.
3.7
Lemma. Let MC X be a compact positively invariant set.
Let {rn} be a sequence of periodic trajectories with periods Tn, such that
Yn CM, and Tn--+ 0. Then M contains a rest point.
(! (x, yt)
<
if 0
< t < T,
cX/4.
Now for sufficiently large n we have T n < T and d (x, xn) < <5. Hence
e(x, xnt) < cx/4 for 0 < t < Tn < T. And as Yn is periodic of period Tn,
we have (! (x, xnt) < cX/4 for all t ER. This is impossible, because we must
have (! (x, Xni) > (! (x, Xi) - (!(xi, Xni) > cX - cx/4 = (3/4) cX. This contradiction proves that the point x EM is a rest point.
As an application of the above lemma we have
6
82
V. Stability Theory
3.8
Theorem. Let M (Rn be a compact positively invariant set,
which is homeomorphic to the closed unit ball in Rn. Then M contains a
rest point.
Proof. Consider any sequence {rn}, in > 0, in~ 0. Consider the sequence of transitions {nn}, Jtn = Jt-r:n. As Mis positively invariant each Jtn
maps M into itself. Thus by the Brouwer fixed point theorem, M contains a fixed point of each one of the transitions nn. Let xn E M be a fixed
point of Jtn. Then since xn == nn (xn) = Xnin, the trajectory 'Y (xn) = 'Y n is a
rest point or a periodic trajectory with a period in, and as Mis positively
invariant 'Yn CM. By the above lemma, M contains a rest point, and the
theorem is proved.
We are now in a position to prove the following important result.
3.9
Theorem. Let M C Rn be a compact set which is a weak attractor. Let the region of weak attraction Aw (M) of M be homeomorphic to
Rn. Then M contains a rest point. In particular, when Aw (M) =Rn (i.e.,
Mis a global weak.attractor), then M contains a rest point.
83
3.11
Corollary. The region of attraction of a compact minimal weak
attractor M cannot be homeomorphic to Rn, unless Mis a rest point.
3.13
Example. Consider a dynamical system in Rn with only two
rest points x and y, x =f= y. Theorem 3.9 shows that y cannot be asymptotically stable with A ({y}) =Rn - {x}, since @({x} V {y}) is not homeomorphic to Rn - {0}.
3.14
Exercises.
84
V. Stability Theory
MC X will be said to be
4.1
4.1.1
o = o(x, e) >
such that
S (x, o) R+ ( S (M, e),
equi-stable, if for each x q M, there is a
4.1.2
o = o(x) >
0 such that
4.1.3
>
0, there is a
o= o(e) >
0 such
that
S (M, o) R+ ( S (M, e).
4.2
Proposition. If Xis locally compact and Mis compact, then M
is uniformly stable whenever it is either equi-stable or stable (or both).
(The converse holds always.)
Proof. (i) If Mis stable, then for a given e > 0, let ox > 0 be a number
corresponding to xE M such that S(x, ox) R+ C S(M, e). Since
V {S (x, ox): x EM} is an open cover of M, there is a finite open cover,
consisting of {S (xi, Ox.):
i = 1, 2, ... , n; xi EM}. But then there is a
i
o> 0 such that S (M, o) ( V {S (xi, ox.):
i = 1, 2, ... , n}. Notice now
i
that S (M, o) R+ ( [V {S (xi, ox.): i = 1, 2, ... , n}] R+ ( S (M, e). Thus
i
M is uniformly stable.
(ii) Let M be equi-stable. Since Mis compact and Xis locally compact,
there is a o> 0 such that S [M, o] and (hence) H (M, o) are compact.
Then for each xE H(M, o), there is a ox> 0 such that xq S(M, ox) R+.
But then x E @(Sx), where Sx := S (M, ox) R+. Since each @(Sx) is open,
and H(M, o) CV {@(Sx): xE H(M, o)}, we have an open cover of the
compact set H (M, o). Thus there are points x11 x 2 , , xn in H (M, o)
such that H (M, o) ( V {@(Sx.): i == 1, 2, ... , n}. Since V {@(Sx.):
i
i = 1, 2, ... , n} = @(f\ {Sx.:
i = 1, 2, ... , n}) we have f\ {Sx.: i =
i
i
1, 2, ... , n} S(M, e). lfnowo =min {0X1' OX:a' , oxJ, thenS(M, o) R+
Cf\ {Sx.: i = 1, 2, ... , n} C S(M, e). Thus Mis uniformly stable.
1t
1t
85
4.3
Remark. Note that part (i) of the above proof did not use the
fact that X is locally compact. Further uniform stability implies both
stability and equi-stability, but it cannot be asserted that a closed set
which is both stable and equi-stable is uniformly stable.
4.4
Proposition. If a closed set is either stable or equi-stable, then
it is positively invariant.
<p (x)
For every e > 0, there is a ~ > 0 such that <p (x) > ~ whenever
e (x' M) > B; also for any sequence {xn}' <p (xn) ~ 0 whenever xn ~ x E M.
4.5.2
4.5.3
<p (xt)
<
> 0.
Proof. (i) Sufficiency. Given B > 0, set mo= inf {<p (x): (x, M) > e}.
By 4.5.2, m 0 > 0. Then for xE M find ~ > 0 such that <p(y) < m0 for
y ES (x, b). This is also possible by 4.5.1 and 4.5.2. We claim that
S (x, ~) R+ C S (M, e). For otherwise there is y ES (x, ~) and t > 0 such
that (! (yt, M) = e. But then <p (yt) < <p (y) < m0 on one hand by 4.5.3
and also <p (yt) > inf {<p (x): (! (x, M) > e}, as e (yt, M) = e, i.e., <p (yt) > m0
This contradiction proves the result.
(ii) Necessity. Let M be stable. Define
: t > o}.
This <p (x) is defined on X, and has all the properties required in the theorem. The verification is left to the reader. The theorem is proved.
4.6
Remark. Condition 4.5.2 in the above theorem is equivalent to
the requirement that if {xn} is any sequence such that xn ~ x E M, then
<p (xn) ~ 0, and there is a continuous strictly increasing function lX (),
defined for > 0, such that <p (x) > lX (e (x, M)).
4.7
Theorem. A closed set M (Xis equi-stable if and only if there
is a function <p (x) defined on X such that
4.7.1
>
4. 7. 2
0 for x~ M,
>
<~'and
4. 7. 3
<p (xt)
<
t > 0.
< e if (! (x, M)
86
V. Stability Theory
4.9.1
for every e > 0 there is a
e(x, M) > e,
>
< e whenever
4.9.2
e(x, M) <
4.9.3
whenever
~,
<p (xt)
<
> 0.
Proof. We leave the details to the reader, but remark that in the proof
of necessity one may choose either of the functions given in the necessity
proofs of Theorems 4.5 and 4. 7.
4.10
Remark.
4.10.1 The theorems above differ from the usual theorems on stability
in that the existence of the functions is shown in all of X rather than in a
small neighborhood of M. Indeed for sufficiency the functions need be
defined on just a neighborhood of M.
4.10.2 It should perhaps be emphasized that in contrast to the situation in section 2, the functions shown to exist in the last three theorems
need not be continuous. To further emphasize this point, we give an
example.
4.11.1
The phase portrait (Fig. 4.11.3) consists of a rest point P (the origin of
coordinates) a sequence {Yn} of periodic trajectories,
4.11.2
Yn ={(xv x2}: x~
+ x~ =
1/n},
87
and between any two consecutive Yn the trajectories are spirals which
approach the outer circle as t ~ + oo. The singleton {P} is stable, but
there are no other compact stable sets. No continuous function satisfying
conditions of Theorem 4.5, 4. 7, or 4.9 exists. For if so, then such a function must necessarily be constant on each y n (prove this!) and its value
on any Yn must be less than or equal to that on Yn+i Consequently its
value at P must be greater or equal to that on any Yn
Xz
Fig. 4.11.3
We shall now discuss asymptotic stability of closed sets and its relation with the Liapunov functions.
4.12
MC
X will be said to be
~x
>
0, such that
>
~),
~),
88
V. Stability Theory
4.12. 7
4.12.8
tor,
MC X, the set
4.13. 2 A (M) == {y E X:
of attraction of M.
4.14
(!
(yt, M)
== A (M).
<p(x)
x($ M,
0, defined
4.17.4 <p (xt) < <p (x) for all x EX, t > 0, and for each y EM, there is
a c5,, > 0 such that if x ($ JYI, x E S (y, c5y), then <p (xt) < <p (x) fort > 0 and
<p (xt)~ 0 as t ~ + (X).
89
Proof. (i) Sufficiency. Stability follows from Theorem 4.5. The semiattractor property follows from 4.17.3 and 4.17.4.
(ii) Necessity. Consider the function
<p(x)
: o}.
This has all the properties 4.17.1 - 4.17.4 except that it may not be
strictly decreasing along trajectories originating in any neighborhood
of points of M. Before proving this we complete our construction. We
define
00
ro (x)
This w(x) has all the properties 4.17.1 - 4.17.4 except possibly 4.17.3.
The construction is now completed by setting
(P (x)
<p (x)
+ ro (x) .
To see for example that for each y EM, there is a c\, > 0 such that
<p (x) is continuous in S (y, ~,,), we need prove that <p (x) is continuous in
an open set containing M. If A (M) is the region of attraction of M, then
A (M) is invariant, and indeed J (A (M)) is also invariant and open and
contains Af. We now define the set W8 = {xE J (A (M)): y+(x) CS (M, e)}.
This We js open positively invariant, and contains an open set containing
M, and has the important property that if x E J (A (M)}, then there is a
T > 0 such that xT E W 8 Now let x E J (A (M)) and let e(x, M) ==A.
There is a T > 0 such that xT E WA/ 4 Since WA/ 4 is open we can find
a neighborhood S (xT, er) C WA14 Then S (xT, er) (-T) = N is a neighborhood of x, and indeed NC J (A (M)). We can thus choose an 'Y/ > 0
such that 17 < .A/4, and S(x, 'Y/) C N. Then if yE S(x, 'Yj),
<p(x) - <p(y) =sup { 1
-- sup {-(!+
1
(xt, M)
.
e(xt, M) .
(! (xt,
M)
+ e(xt,M)
0< t<
== =
: t
> 0 - sup
(! (yt,
M)
+ e(yt, M)
r} - sup { +
1
(!
(yt, M)
.
e(yt, M) .
0<
= t
: t
> 0
<
r} ,
==
and so
{j
_ {I
- sup
!(:(x7,~)
e(xt, M) - e(yt, M)
r}
I0 =< t ==< r}
T}
90
V. Stability Theory
4.18
Theorem. Let M be a closed set. Then Mis asymptotically stable
if and only if there is a function <p (x) defined in X with the following
properties:
4.18.1 <p (x) is continuous in some neighborhood of M which contains
the set S (M, ~) for some ~ > 0,
4.18.2
>
0 for x4 M,
<p (x)
f3 (},
<X (0)
4.18.4 <p (xt) < <p (x) for all x EX, t > 0, and there is a~ > 0 such that
if xE S(M, ~) - M then <p(xt) < <p(x) for t > 0, and <p(xt) ~ 0 as
t~ + (X).
The proof follows exactly the same lines as that of the previous theorem and is left as an exercise. We note, however, that in the proof of
necessity, since A (M) is open and invariant, and A (M) ) S (M, ~) for
some ~ > 0, the functions <p (x) and ro (x) can be taken as being defined
and continuous on A (M). In the present case <p (x) will have the property
4.18.3, whereas w (x) may not satisfy the left inequality in 4.18.3 although it will satisfy the right inequality. Thus </> (x) == <p (x) + w (x)
will have all the desired properties.
We shall now prove the following very important theorem, which in
the case of asymptotic stability of a closed invariant set M, describes the
flow in the set A (M) - M.
4.19
Theorem. If a closed invariant set M C X is asymptotically
stable, then for each x E A (M), ]+ (x) C M, and for each x E A (M) - M,
J-(x) (\A (M) = 0.
Proof. Let, if possible, x* E A (M) and y E J+ (x*), y 4 M. Set (! (y, M)
= <X (> 0). Since M is uniformly stable, there is a ~ > 0 such that
y+(S(M, ~)) C S(M, <X/2). Since x* EA (M), there is a T > 0 such that
x*T ES (M, ~). Since S (M, ~) is open, there is an 'Y/ > 0 such that
S(x*T, 'Y/) ( S(M, ~).Now N-::::::. S(x*T, 'Y/) (-T) is a neighborhood of
x* such that for each x EN, xT ES (x*T, 'Y/) and consequently x [T, + (X))
C S(M,<X/2). Now since yEJ+(x*}, there exist sequences {xn} in X and
{tn} in R+, tn~ + oo, such that xn ~ x*, xntn~Y We may assume without loss of generality, that Xn EN, and tn > T. But then xntn ES (M, <X/2}.
Thus if xin ~ y, we must have e(y, M) < <X/2. This is a contradiction,
as e (y, M) == <X. Thus J+ (x*) CM. The second statement follows from
the fact that if yE J-(x), then xE J+(y). Now let xE A (M) - M, and
assume that yEJ-(x)(\A(M). Then we have yEA(M), xE]+(y),
x4 M, which has already been ruled out.
91
4.20
Corollary. Let a closed invariant set M be asymptotically stable.
Let A (M) - M (or in particular the space X) be locally compact and
contain a countable dense subset. Then the invariant set A (M) - M is
parallelizable.
The proof follows from the above theorem, and IV, 2.6.
Remark. The considerations in section 2 show that for X locally
4.21
compact and M C X a compact invariant asymptotically stable set, if
<p (x) is a function satisfying the conditions of Theorem 2. 2 in a neighborhood N of M, then the sets {x E 5 [M, e]: <p (x) = lX}, for fixed e > 0 such
that 5 [M, e] C N and X sufficiently small, represent sections of the
parallelizable flow in A (M) - M. How far the same method of construction can be extended to non-compact closed sets, depends naturally on
whether the flow in A (M) - M is parallelizable.
(! (x,
M) = X}.
92
V. Stability Theory
<p(x)
0 for xE M, <p(x)
>
0 for x~ M;
lX (e (x,
M))
<
<p (x)
lX
(r),
f3 (r),
>
Proof. We shall not give complete details as the arguments are similar
to those used earlier. For the proof of sufficiency we remark that 4.23.3
and 4.23.4 imply that N is invariant. 4.23.1, 4.23.2, and 4.23.4 ensure
uniform stability, as well as attraction, and show that N (A (M). Since
N is an invariant neighborhood, it follows that N == A (M). Uniform
attraction and equi-attraction follow from 4.23.2 and 4.23.4. To prove
necessity, we consider the region of attraction A (M) and define a <p (x)
on A (M) as in Theorem 4.18. We then consider a section S" of the flow
in A (M) - M defined by this <p (x) (Proposition 4. 22), with the corre-
93
<p (x)
for
eT(z)
R. Lastly we define
x E A (M) - M,
and
<p (x)
for
x EM.
This p(x) is easily shown to have all the properties 4.23.1-4.23.4. Note
that to get the sequence {En}, we set E 0 = {x: <p(x) < 1}. Then define
En = E 0 [-n, OJ. These sets are closed and have the required properties.
Setting <P(x)
corollary.
= -
:<~(x)
4.24
Corollary. A closed invariant set M is uniformly asymptotically
stable and equi-attracting, with an open set N containing S (M, ~) for
some ~ > 0 as its region of attraction, if and only if there exists a continuous function </> (x) defined on N with the following properties:
4.24.1
-1<4>(x) < 0
4.24.2
4> (x)
xE N - M,
for
e(x, M) ~ 0,
as
4.24.4
4>(x)
4.24.5
da> (xt)
dt
-1
It=O =
as
x~
_q; (x) (1
>
< -e for
YE 8N,
+ q> (x)).
We shall now give a theorem along the lines of the Theorem 4.18 for
the case of uniform asymptotic stability.
p(x)
4.25.1
4. 25. 2
X
(0)
0 for xE M, p(x)
>
0 for xtl M,
4.25.3
(x, M))
<
<p (x)
>
n=1
(r), {J (r),
00
V En =
lX
<p (xt)
> lX
94
V. Stability Theory
Un. We now
n=1
rt(:i) :
Proof of Necessity of Theorem 4.25. Let A (M) be the region of attraction of the set M. Since M is an attractor, there is an X > 0 such that
S (M, X) CA (M). We may choose X < 1. For each r E (0, X) define
T(r,x) =inf{r> 0: xtES(M,r) for t>i'}. We assert that T(r,x) is
bounded on any compact set KC A (M) and for fixed r. To prove this
we need to show that for each compact KC A (M), and r > 0, there
exists a T > 0 such that Kt CS (M, r) fort> T. We note first that by
stability of M, there is a <5 > 0 such that y ES (M, <5) implies y+(y)
( S(M, r). For xE A (M), choose T(x) such that xT(x) E S(M, <5). Since
S(M, <5) is open, we can choose a <J > 0 such that S(xT(x), a) is compact
and contained in S (M, <5). Then its inverse image
Nz = S(xT(x), a) (-T(x))
is a compact neighborhood of x. Nz has, moreover, the property that
NzT(x) C S(M, <5). Thus we have in fact shown that for each xE A (M),
there exists a T (x) and a (! (x) > 0 such that y E S (x, (! (x)) implies
ytES(M,r) for t>T(x). Consider now the open cover {S(x,e(x)):
x E K} of the compact set K. By the Heine-Borel theorem, there exist
a finite number of sets, say, S (x1 , (! (x1}), ... , S (xn, (! (xn)) which cover K.
We can now choose T = max (T (x1), ... , T (xn)). Then x E K implies
xtE S(M, r) fort> T.
For any given integer n > 1/X, define
<pn (x)
O}.
95
We assert that <l'n (x) is continuous on A (M). To see this, note that for
e > 0 such that S(x, e) is a compact subset of A (M), there exists a
T > 0 such that
e(y-r, S (M, 1/n)) = 0
for y Es (x, e) and
>
<
< T}
< exp (T) . sup {I e (xT, s (M, 1/n)) - e(yT, s (M, 1/n)) I: 0 <
< T}.
Using the continuity axiom we conclude that the right hand side tends
to zero as e (x, y)-+ 0. Thus <l'n (x) is continuous on A (M). This <l'n (x)
has further the following important property
<f'n (xt)
for
>
0.
T > O}
>
< exp (T (1/n, x)) sup {e (xT, S (M, 1/n)): -r > O}.
Since the function exp (T(lfn, x)) has the properties of the function
f(r, x) of Lemma 4.26, we can choose a function H(r), such that <l'n(x)/
H (1/n) is uniformly bounded on each compact subset KC A (M).
We now define
00
> 1/X.
96
V. Stability Theory
increasing function
fJ (r), fJ (0)
0 such that
(!) (x)
Further if e(x, M) > e > 0, then for sufficiently large n, <fJn (x) > ~n > 0
for some !5n. And hence (!) (x) > !5 > 0. Thus there is a strictly increasing
function x(r), X(0) = 0 such that (l)(x) > x(e(x, M)). We now choose
k > 0 such that
k < inf {(!) (x) : e(x, M) = X}.
Consider the sets
Pk = {x EA (M): (l)(x)
<
k} f\ S [M, X],
and
Sk ={xEA(M):(l)(x) =k}f\S[M,X].
Exercises.
97
x,
Fig. 4.28.6. Equistable but not stable
Xzt
I
---+-l~.,_------~-1~'-----------------
I
I
I
-11I
I
I
x,
98
V. Stability Theory
Xz
Xz
Xz
KI
Xz
99
.
X1
= 1,
X2
= -
2x1x 2
(1 + x~)
(x~,
for
X1
> 0.
(x?)2
o f
>
o
+ X1,o X2==1 1+ +(t+x?)2X2
or t =-Xi,
and
The x1-axis is a uniformly stable attractor, but is not a uniform attractor.
4.29
Remark. The notions in this section are described in terms of
positive semi-trajectories and/or using sequences {xtn} with tn ~ + CX>
(on a positive semi-trajectory y+ (x)). It is clear that notions dual to
these may be obtained by using negative semi-trajectories and/or using
sequences {xtn} with tn ~ - CX> on a negative semi-trajectory y-(x). The
dual notions, whenever needed, will be described by using the adjective
negative before the appropriate term describing that notion. One should
also note that some of these negative notions have in the literature been
termed as instability notions.
!5
>
5.1.2
>
an attractor relative to U, if
0 there exists
100
5.1.4
V. Stability Theory
j+(x, U) =F 0, J+(x, U)
CM,
for each xE U;
5.1.5
asymptotically stable, relatively to U if Mis a uniform attractor relative to U and it is positively invariant.
5.2
Remark. If in Definition 5.1 U is neighborhood of M, then the
stability, weak attraction, attraction, uniform attraction and asymptotic
stability of M, relative to U, reduces to the stability, weak attraction,
attraction, uniform attraction and asymptotic stability of M, respectively, as defined in Definition 1.5.
5.3
Theorem. A compact set M C X is stable relatively to U ( X
if and only if M) D+(M, U).
5.6
Lemma. Let M ( X be a compact set such that A' (M)
Let U ( A' (M) be a set with the following properties:
5.6.1
5.6.2
f\
101
=F M.
=F 0.
Proof. Choose s > 0 so small that the set V = H (M, s) f\ U is nonempty and compact. Let
Tx
and
Then there exist sequences {xn} C U and {tn} CR+ such that xn-+ x EM
and xntn-+ y.
Notice that from the hypothesis 5.6.1, y+ (~) ( U, xn E S (M, s) and
xntn E @{S (M, s)} for sufficiently large values of n. Hence there exists
a sequence {Tn} ( R+ such that xnrn EH (M, s) (\ U = V and xnt~ S [M,s]
for t E (Tn, tn]. Since x"tn = Xn'Z'n (tn - rn) and xnrn E V, it follows that
xntn E V [O, T] ( S [M, s] [O, T].
5.7
Remark. The hypothesis 5.6.1 is necessary for Lemma 5.6
to be true. Consider for that the planar flow shown in Fig. 5. 7.1, where P
is a rest point.
Fig.5.7.1
102
V. Stability Theory
- - - -I'-
--
Fig.5.7.2
In this flow the points P and Qare rest points, and A' (P) = R 2 - { QV y}.
Let U be the closed set above the dotted line I', this set is closed, contained in Aw (P), but it is not positively invariant. In this case we have
QE D+(P, U) and therefore Lemma 5.6 does not hold.
The hypothesis 5.6.2 on the other hand ensures that Lemma 5.6
is not trivial. In fact since U is closed, U f\ M =F 0 would imply that
D+(M, U) =t= 0.
5.8.1
{'r:} CR+, T: ~
5.8.2
{xn} ( U, Xn ~ X.
5.8.3
{(} ( R+, t: ~
+ oo, {xnt:} (
U, xn( ~ y.
t: -
5. 8.4
() (XnT~, XT~)
Now
5.8.5
as
n~
() (z, XnT:)
+ oo.
103
5.9
Remark. In Lemma 5.8 the set U does not have to be closed.
On the other hand the positive invariance of U is essential. This can be
shown from the following planar flow (Fig.5.9.1), in which zEA+(x)
and D+(z, U) = 0, while J+(x, U) =F 0.
Fig.5.9.1
We shall proceed next to the proof of the theorem on the prolongation of a relative weak attractor.
5.10
Theorem. Let M C X be compact and such that A 00 (M) - M
=f= 0. Let U ~ Aw (M) be a set with the following properties:
5.10.1
5.10.2
U f\ M =f= 0.
104
V. Stability Theory
5.13
Remark. In the case in which in Theorem 5.12 we have that
M (..IM, Mis indeed asymptotically stable.
Fig.5.13.1
We have then
5.15
Theorem. Let a compact set M ( X be positively stable. Then
M is component-wise stable.
105
between any two points being the euclidean distance between the points
in R2 \Ve define a dynamical system on X by the differential equations
5.16.1
x == lyf,
y=
0.
Then the set {(O, O)} (Xis component-wise stable, but is not stable.
The question now arises, as to when the converse of Theorem 5.15
is true. For this purpose the following definition is convenient.
5.18
Theorem. The pair (M, X) is stability-additive if X - M has a
finite number of components.
5.19
Theorem. The pair {M, X) is stability-additive if X - M is
locally connected.
The proof of Theorem 5.18 is immediate and is left as an exercise.
(It is indeed a corollary of Theorem 5.19.)
5.20
Proof of Theorem 5.19. Let M be a compact invariant set for a
given dynamical system on X and let M be component-wise stable. Since
Mis locally compact, there is an e > 0 such that S [M, e], and hence also
H (M, e), is compact. We claim that only a finite number of components
of X - M can intersect H(M, e). For otherwise, if an infinite number
of components of X - M intersect H(M, e), then we may choose a sequence of points {xn} in H(M, e) such that no two points of the sequence
are in the same component. Since H (M, e) is compact we may assume
that xn ~ x E H (M, e). Since Xis locally connected, there is a neighborhood of x, say N, such that N is a subset of a component of X - M.
Now there is an integer n0 such that xn EN for n > n0 and hence all xn
for n > n0 belong to the same component of X - M, which is a contradiction. Now notice that every component of X - Mis an invariant set.
If C1 , C2 , , CP are the components of X - M which intersect H(M, e),
then by component-wise stability we have positive numbers <5v <52, , <5P
such that y+ (S(M, <5i) (\ Ci) CS (M, e), i = 1, 2, ... , p. If now <5 ==
min (<51 , <5 2, ,<5p) we get y+(S(M,<5)) (S(M,e), i.e., Mis stable. To
see this last assertion, note that if x E S (M, <5), then either x E Ci for
some i = 1, 2, ... , p and hence y+ (x) CS (M, e), or xis an element of a
component of X - M which does not intersect H (M, e) and hence is
106
V. Stability Theory
contained in S (M, e}, or x EM. In either of the last two cases y+ (x)
S (M, e). The theorem is proved.
Tn
107
It is obvious that periodic motions and rest points are special cases
of almost periodic motions. That every almost periodic motion is recurrent
follows from Theorem III, 3.12 and we leave this as an exercise. Later in
this section we shall consider examples to show that not every recurrent
motion is almost periodic, and that an almost periodic motion need
not be periodic.
The following theorems show how stability is deeply connected with
almost periodic motions. First observe the following lemma.
6.6
Lemma. If a motion nx is almost periodic, then every motion n'Y
with y E y (x) is almost periodic with the same set of displacements frn}
corresponding to a given e > 0.
Proof. Indeed for any e > 0 there is a set of displacements {rn} such that
<
< e for tE R.
6. 7
Theorem. Let the motion nx be almost periodic and let y (x)
be compact. Then
6. 7.1
every motion n,, with y E y (x) is almost periodic with the same
set of displacements {-rn} for any given e > 0, but with the strict inequality< replaced by <;
6. 7.2
Proof of 6.7.1. For any yE y (x}, there is a sequence {xn} Cy (x) such
that xn ~ y. By Lemma 6.6, for any e > 0 there is a set of displacements {-rn}
such that e(xi, xn (t +Tm))< 8 for all t ER, xn E {xn}, and Tm E {-rn}
Now keeping t ER, and Tm E {-rn} fixed but arbitrary and proceeding to
the limit we get e(yt, y (t + Tm)) < 8 for all t ER and Tm E {-rn} This
completes the proof of 6. 7.1.
Proof of 6.7.2. Given e > 0, let {-rn} be a set of displacements
corresponding to e/3 for the almost periodic motion nx, and let T > 0
be such that {-rn}f\ [t- T, t + T] =t= 0 fort ER. Then by 6. 7.1, e(yt, y (t +
-rn)) < e/3 for all y E y (x), t ER, and each in By the continuity axiom,
for e/3 > 0 and T > 0 as above, there is a ~ > 0 such that e (y, z) < ~
108
V. Stability Theory
implies e (yt, zt) < e/3 for all ftl < T, whenever {y, z} Cy (x) as this last
set is compact. Now for any y E y (x) and e (x, y) < ~, we have for any
tE R
(! (xt, yt)
+ Tn I <
T. This pro-
6.8
Corollary. If Mis a compact minimal set, and if one motion in
M is almost periodic, then every motion in M is almost periodic.
6.9
Corollary. If M is a compact minimal set of almost periodic
motions, then the motions through M are uniformly stable in both directions in M.
The above corollary follows from 6. 7.2, and from Exercise 6.4.
We now investigate when a recurrent motion is almost periodic.
6.10
Theorem. If a motion nx is recurrent and stable in both directions in y (x), then it is almost periodic.
Proof. We have indeed that given e > 0 there is a ~ > 0 such that
e(xt, yt) < e for all t E R, whenever {x, y} C y (x) and e(x, y) < ~- Further, by recurrence of nx (Corollary III, 3.10 and Theorem III, 3.12),
there is a relatively dense set {rn} of displacements such that
(! (x, x-rn)
<
e(xt, x(t
+ Tn)) <
for tE R
6.11
Theorem. If a motion nx is recurrent and positively stable in
y (x), then it is almost periodic.
Proof.
(a) By positive stability of nx in y (x), we have given e > 0 there is a
~ > 0 such that e(x, x-r) < ~ implies e(xt, x (t + -r)) < e/2 for all t ER+.
(b} By recurrence of nx, there is a relatively dense set {-rn} sucq. that
(! (x, x-rn) < ~/2 for each Tn.
(c) By the continuity axiom, for any Tn there is a <J > 0 such that
(! (x, y) < <1 implies (! (x-rn, YTn) < ~/2. Now let t ER and i-n be arbitrary
109
but fixed. Then by recurrence of :n;x, there is a 't' < t such that e (x, xi)
<min (a, <5). Then by (c) e(x-rn, x(i- +in))< <5/2, so that
(! ( X, X
(i
+ in)) <
(!
(x, Xin)
<5/2
<5/2 = <5.
Hence by (a), since t - -r > 0, we get e(x(t - -r), x(t +in))< e/2.
Further, e(xt, x(t - -r)) = e(x-r(t - -r), x(t - -r)) < e/2 by (a), as
e (x, xi) <min (a, <5) < <5, and t - 't' > 0. Thus we get
:n;x
+ e(x (t -
-r), x (t
+ 't'n)) <
e/2
+ e/2 == 8.
110
V. Stability Theory
Proof. The set A+(x) is non-empty, compact and invariant. Now let
y+(x) uniformly approximate A+(x). If A+(x} is not minimal, then there
are points y, z EA+ (x) such that z ~ y (y) (otherwise y (y) =A+ (x)
for each yEA+(x), and A+(x) is minimal; Theorem III, 3.4). Let
e (z, y (y)) = e > 0. By uniform approximation there is a T > 0 such
that S (x [t, t + T], e/2} ) A+ (x) fort > 0. Further, there is a ~ > 0 such
that e(y,w)<~ implies e(yt,wt)<e/2 for ftj<T. Since yEA+(x),
there is a point x1 E y+ (x) such that e(x11 y) < ~- And because S (x [t,
t + T], e/2)) A+(x), we have in particular S(x1 [O, T], e/2)) A+(x).
Thus there is a point x2 E x1 [O, T] such that e(z, x2) < e/ 2. If then x2 = x1r,
where 0 < T < T, then e (x1 T, y-r) < e/2, so that e (z, y-r) < e (z, x2)
+ e(x2 , y-r) < e/2 + e/2 = e, as x2 = x1-r. This is a contradiction, as
e (z, y (y)) == c. Thus A+(x) is minimal. Now let A+(x) be minimal, so
that for any y EA+ (x), y (y) =A+ (x). Now assume, if possible, that
y+(x) does not uniformly approximate A+(x). Then there is an e > 0, a
sequence of intervals {(tn, Tn)}, and a sequence {Yn} C A+(x) such that
tn ~ +ex:>, (-rn - tn) ~ +ex:>, Yn ~ y (EA+ (x)), and Yn ~ s (x [tn, Tn], e).
We may also assume that e(Yn, y) < e/3 for all n. Then for arbitrary n
(!
e(Yn' y) > 8 -
e/3 == 2e/3.
t:
and hence e(y, xNT) > 2e/3. On the other hand e(xNT, zT) < e/3, so
that
e (y, xNT) < e (xNT, zT) + e (zT, y) < e/3 + e/3 = 2e/3.
This contradiction proves the result.
The following theorem gives a sufficient condition for a positive limit
set A+ (x) to be a minimal set of almost periodic motions. No necessary
and sufficient condition is known as yet.
6.15
Theorem. Let the motion nx be positively Lagrange stable, and
let the motions in y+(x) be uniformly positively stable in y+(x). If moreover y+(x) uniformly approximates A+(x), then A+(x) is a minimal set
of almost periodic motions.
111
<
6.16
Example. Consider a dynamical system defined on a torus by
differential equations (see Example III, 2. 7).
dq;
dt =
d()
l,
dt = lX,
where ex is irrational. For any point P on the torus y (P) = the torus,
and since <X is irrational, no trajectory is periodic. The torus thus is a
minimal set of recurrent motions. To see that the motions are almost
periodic, we note first that if P 1 = (q;1 , 01 ), P 2 = (q;2 , 02), then e(P1 , P 2)
= (<p1 - q;2}2 + (01 - 02) 2 , where the values of <p1 - <p2 and 01 - 02
are taken as the smallest in absolute value of the differences (mod 1).
Now any motion on the torus is given by <p = <p0 + t, 0 = 00 + ext. Then
for the motions through P 1 and P 2 we have
112
V. Stability Theory
point, then that rest point is stable. It is interesting to notice that the energy is a
particular case of a Liapunov function.
The first complete development of stability theory of dynamical systems is due
to v. I. ZUBOV [1] (see also R. BASS [2] and s. LEFSCHETZ [2]). In a sense, in the
theory of stability of dynamical systems one has achieved a synthesis between the
point of view of LIAPUNOV and that of PoINCARE, in fact LIAPUNOV was interested
in local (stability) properties of n-dimensional systems and PoINCARE in global
properties of planar systems. In the theory of stability, the concept of "region of
asymptotic stability" and of "global asymptotic stability'' is of rather recent origin
and it was developed in the early fifties in the Soviet Union by M. AIZERMANN,
E. BARBASHIN and N. N. KRASOVSKII. Most of the machinery needed . for these
developments is already present in the book by NEMYTSKII and STEPANOV [1].
Results in more general framework than the one presented here can be found in the
monographs by G. P. SzEGO and G. TRECCANI (for the case of flows without uniqueness) by N. P. BHATIA and 0. HAJEK (for the case of local semiflows) and in the
papers by D. BusHAW [2], J. CLAY [2], T. URA and I. KIMURA [2], and E. RoxIN
[3, 5, 6].
Section 1. Notice that the discovery of "unstable attractors" for dynamical systems
is rather recent and it is due to P. MENDELSON [2]. On the other hand in the case of
non-autonomous differential equations unstable attractors were known and were
called quasi-asymptotically stable sets (see H. ANTOSIEWICZ [1]). Weak attractors
were introduced by N. P. BHATIA [2]. The concept of uniform attractors is used by
S. LEFSCHETZ [2] and extensively used in the paper by N. P. BHATIA, A. LAZER and
G. P. SzEGO where the characterization presented in Exercise 7.29.2 is used as a
definition. The same definition is also used in the monograph by N. P. BHATIA and
G. P. SzEGO [1] where the characterization 1.5.3 is derived. The complete diagram
1.17 is due to N. P. BHATIA [7]. Theorem 1.22 is essentially due to DEsBROW [1]
who proved it for a connected, locally compact, locally connected, metrizable space.
The weak attractor theorem (1.25) is due to N. P. BHATIA and it was previously
proved for the case of an attractor by J. AUSLANDER, N. P. BHATIA and P. SEIBERT
[1].
Section 2. This section contains results of BHATIA [5]. Some remarks are in order.
Earlier results in this direction, for example those of ZuBov [1], AUSLANDER and
SEIBERT [2] and BHATIA [1], used essentially the same methods as used for the welldeveloped theory in the case of ordinary differential equations. For results on ordinary
differential equations see, for example, A. M. LIAPUNOV, I. G. MALKIN, E. A~ BARBASHIN, N. N. KRASOVSKII, J. KURZWEIL, I. VRKOC, K. P. PERSIDSKII, s. K. PERSIDSKII, V. I. ZuBov, J. MAsSERA, H. ANTos1Ew1cz, T. YosHIZAWA, W. HAHN. The
basic feature of the results in this section is that Liapunov functions are shown to
exist on the whole region of attraction instead of on a sufficiently small neighborhood
in earlier results. The functions, in general, have sufficient properties to allow the
derivation of theorems on global asymptotic stability and ultimate boundedness
as corollaries. Indeed J. AUSLANDER and P. SEIBERT [2] established formally the
long suspected duality between stability and boundedness in locally compact
separable metric spaces.
Theorem 2.16 is essentially due to V. I. ZuBov [1]. The proof given here is
simpler than the original because here we deal only with the case of compact sets
while V. I. ZuBov considers the more general case of closed sets.
Theorems 2.2, 2.9, 2.10, 2.12, 2.15 are due to N. P. BHATIA [5].
Section 3. The results presented in this section are due to N. P. BHATIA, A. LASER
and G. P. SzEGO [1] and to N. P. BHATIA and G. P. SzEGO [2]. For the case of the
flow defined by differential equations similar results are proved by F. WILSON [2].
113
Most of the results given here could have also been proved by means of the asymptotic fixed point theorem, due to G. S. JONES [3]. For the case of ordinary differential equations on the plane some results in the same spirit (identification of the canonical region, i.e., of the regions in which the stability properties are invariant) are
given by L. MARKUS [5].
The important Corollary 3.12 can also be proved directly as follows.
Direct Proof of Corollary 3.12. By Theorem 1.25, D+ (M) is compact and globally
asymptotically stable. Let x 0 E En be arbitrary but fixed. Choose ~ > 0 sufficiently
large so that D+(M) C S(x0 , ~). Choose further e > 0 sufficiently small such that
S(D+(M), e) C S[x0 , ~]. By Theorem 1.16, D+(M) is uniformly attracting. Hence
(1.2.3) there is a T > 0 such that x tE S(D+(M), e) C S[x0 , a], whenever
xE S [x0 , a] and t 2 T. For each 't' 2 T define the map n-r:: X ~ X by n-r:(x) = n(x, 't').
Then n-r: is continuous and n-r(S[x0 , a]) C S[x0 , a]. Thus by the Brouwer fixed point
theorem S [x 0 , a] contains a fixed point of the map n-r:, i.e., there is an xE S [x 0 , a]
such that n-r:(x} = x = n(x, 't'). Hence n(x, t) = n(n(x, 't'), t) = n(x, t
't') for all
tE R, and so y(x) is a periodic trajectory. Notice that xE M, for otherwise, if x EE M,
then y (x) (\ M = 0, for M is invariant. On the other hand, since y (x) is a periodic
trajectory, we havey(x)
A+(x}, and as xE Aw(M), we must haveA+(x) (\ M =I= 0,
i.e., y(x) (\ M =I= 0. This contradiction proves that y(x) CM. Since y(x) = y(x),
we must have y (x)
M, as M is minimal. Thus M is a periodic trajectory with
period 't'. If now M is not a rest point, then it will have a least period 't'0 , and all
other periods must be the numbers m't'0 , where mis an integer. However, we have in
fact shown that all numbers 't' > Tare periods of M. This is a contradiction and so
M is a rest point, and the theorem is proved.
Chapter VI
1.1
Theorem. Let the phase space X be compact and M ( X a
compact invariant subset of X. Then one of the four conditions given
below holds.
1.1.1
1.1.2
1.1.3
there exist
A-(y) CM,
x~
1.1.4
every neighborhood U of M contains an
(Note that since M is invariant, y (x) (\ M = 0.)
x~
M with y (x) ( U.
A+(x) CM,
1.1.6
A+(x)
1.1. 7
A+ (x) f\
e (U) =f= 0.
115
Note now that if 1.1.6 holds, then U contains the invariant set A+(x) - M
which is non-empty. A similar analysis will show that for every x E U
one of the following conditions holds.
1.1.8
A-(x) ( M,
1.1.9
1.1.10
A-(x) f\
@(U)
=t= 0,
and if 1.1.9 holds then U contains the invariant set A-(x) - M which is
non-empty. To see that at least one of the conditions 1.1.1-1.1.4
must hold for M, we assume that 1.1.4 and 1.1.3 do not hold. Then we
claim that there exists an open neighborhood U of M such that @(U)
is either a weak attractor or a negative weak attractor with the region
of weak attraction (positive or negative) coinciding with @(M). To see
this note that if 1.1.4 does not hold then there is a neighborhood U of
M such that for no x E U - M, 1.1.6 or 1.1.9 holds. If now for some
x E U - M, the condition 1.1.5 holds, then 1.1.8 cannot hold for any
y~ M for then 1.1.3 will be fulfilled. Then 1.1.10 holds for every xE U
- M and consequently for every x~ M, and @(U) is a weak negative
attractor. Similarly, if 1.1.8 holds for some x E U - M, then @(U) will
be a weak attractor. To complete the proof, it is now sufficient to show
that if (Q (U) is a weak attractor with Aw (M) = (Q (M), then Mis negatively asymptotically stable, and if@ (U) is a negative weak attractor with
its region of negative weak attraction coinciding with (Q (M), then M is
asymptotically stable. Because of the dual nature of the concepts we
need only prove one of the foregoing assertions.
So let @(U) be a weak attractor with Aw(@(U)) = @(M). Then by
the weak attractor Theorem V, 1.25, D+(@ (U)) is compact and asymptotically stable with Aw(D+(@ (U))) =A (@(U)) = (Q (M). Since D+(@ (U))
C @(M), the open set @(D+(U)) == Vis an open neighborhood of M. We
claim that for each xE V, J-(x) ( M. This follows from the fact if for
some xE V, J-(x) ct M, then there is a y~ M, with yE J-(x). But then
x E J+(y) by Theorem II, 4.9. Consequently, there is ayE A( (Q (U)) = (Q (M)
with J+ (y) ct D+ (@ (U) ). Since the latter set is uniformly attracting by
Theorem V, 1.16, we have arrived at a contradiction. Hence M is a
negative uniform attractor, and since it is invariant, it is negatively
asymptotically stable. This completes the proof.
The above theorem, though proved for compact spaces X, carrie~
over to locally compact phase spaces. To see this one may use the result
in Exercise II, 4.8.4. Then the result holds for the dynamical system
on x. But since =Tl on X, the result holds in x. Thus we have
8*
116
1.2
1.3
Exercises. Let X be locally compact and M a compact invariant
subset of X.
1.3.1
If there is a relatively compact neighborhood U of AI such that
for each x E M either A+ (x) f\ @(U) =f= 0, or there is a T > 0 with
y+ (xT) ( @. ( U), then M is negatively asymptotically stable. Show that
the converse holds also.
If M is asymptotically stable, and A (M) is relatively compact,
1.3.2
then @(A (M)) is negatively asymptoticaUy stable.
If M is asymptotically stable, then for each x($ 111, J-(x) (
1.3.3
@(A (M)) holds.
1.3.4
Let M be stable. Then for every
A+(x) CM, or A+(x) f\ M = 0.
x~
1.3.5
If Mis stable but not asymptotically stable, then every neighborhood U of M contains a compact invariant set N disjoint from M.
1. 3. 6
If M is a weak attractor, then A- (x) f\ M =f= 0 for every
xE D+(M).
1.3. 7
Give an example of a weak attractor for which condition 1.1.3
of Theorem 1.1 holds, but not the condition 1.1.4.
1.3.8
Prove that if xis a rest point, then every neighborhood U of x
contains a y =f= x with either y+ (y) or y-(y) contained in U.
1.3.9
Show that the results in this section hold for closed invariant
sets M with compact boundary oM.
117
2.1.1
Aj- (M) V A; (M) V M is a neighborhood of M. (Thus M is
either positively or negatively asymptotically stable, or there is a neighborhood U of M such that either 0 =F J+ (x) C Mor 0 =F J- (x) C M holds
for each x E U - M.)
2.1.2
There exist x,
0
yft M
such that
=F A+(x) ( M,
=F A-(y)
( IYI.
2.1.3
Every neighborhood U of M contains an x ft M such that
y(x) CU and
A+(x) (\ M =F 0, A-(x) (\ M =F 0,
but J+(x) V J-(x)
ct M.
2.1.4
Every neighborhood U of M contains an
y(x) ( U - M.
x~
M such that
Proof. Suppose that 2.1.1 and 2.1.2 do not happen. Then by Theorem 1.1 condition 1.1.4 of Theorem 1.1 holds. Thus every neighborhood
U of M contains an x with y (x) C U-M. Notice first that in fact we
can choose x such that y (x) C U, because for any neighborhood U of M
there is a compact neighborhood V of M with V C U and, by the above
requirement, there is an x E V with y (x) ( V - M. Now compactness of
--v ensures y (x) C V C U. Note also that in this case y (x) is compact and
therefore both A+ (x) and A-(x) are non-empty compact sets. If now
A+(x) (\ M = 0 or A-(x) (\ M = 0, then 2.1.4 holds by choosing a
y EA+ (x) in the first, or a y E A-(x) in the second case (thus ensuring
y (y) (A+ (x) C U - M for example in the first case). If therefore 2.1.4
does not hold we must have an x E U - M, with A+ (x) (\ M =F 0,
A-(y) (\ Af =f= 0 and y (~) ( U - M. However, since 2.1.2 does not hold
we cannot have bothA+(x) ( M andA-(x) ( M, and therefore 2.1.3holds.
This proves the theorem.
Notes and References
The problem of the qualitative behavior of the flow defined in a neighborhood
of an isolated rest point of a planar. differential equation of analytic type was one
of the first dealt by H. Po1NCARE [3]. In this situation he proves that, if the differential equation has the form =Ax+ g(x}, xE R 2 , g(O) = 0 and it is such that the
power series expansion of g (x) in the neighborhood x = 0 begins with terms of
degree at least two, then, if the linear system =Ax has eigenvalues with nonzero real parts, the qualitative behavior of the nonlinear system and that of the
linear system in a sufficiently small neighborhood of the rest point x = 0 coincide.
A classification of the possible behaviors of linear systems was also developed (see
A. ANDRONOV and C. CHAIKIN [1], N. M1NORSKY [1]). Classifications for more general planar cases are given by S, LEFSCHETZ [1] and S. BAROCIO [1, 2].
118
The same problem was studied in the case of then-th order ordinary differential
equation by D. GROBMAN [4], A. I. PEROV [1] and by P. HARTMAN [4]. A complete
presentation of this problem can be found in the book by HARTMAN [1, chapter 9].
Recently V. V. NEMYTSKII [12] proposed a new classification for the case of a
differential equation on the plane. This classification was also used by N. P. PAPUSH. Recently M. B. KuDAEV [2] extended the Nemytskii classification to higher
order singular points and proposed a method [3], based upon the consideration of
the higher derivatives of a Liapunov function (see also Chapter VIII) for classifying
the flow.
The qualitative behavior of differential equations on manifolds or near manifolds
was in addition investigated by F. HAAS [1-4], A. DENJOY [1-5], F. B. FULLER
[1], T. SAITO [1, 2], C. L. SIEGEL [1], S. STERNBERG [1], W. KAPLAN [6], J. K.
HALE and A. STOKES and by A. SCHWARTZ [1, 2].
For the case of the second order differential equation the global problem of the
classification of the flow was studied by I. BENDixsoN. He posed and gave a solution
to the problem of the possible qualitative behaviors of the solutions in a neighborhood
of a rest point. For the case of a dynamical system defined in a locally compact
space T. URA and I. KIMURA [1] were able to propose a description. A similar description (Theorem 1.1) was with an independent proof, proposed by N. P. BHATIA [7].
The more advanced result (Theorem 2.1} was proved by N. P. BHATIA [9] in the
more general framework of dynamical system in a locally compact Hausdorff
space. Other classification theorems for dynamical systems are due to T. SAITO
[3, 4]. Classification theorems were also proved for the case oflocal semi-dynamical
systems by N. P. BHATIA [8] and by N. P. BHATIA and 0. HAJEK [1] and for the
case of flows without uniqueness by G. P. SzEGO and G. TRECCANI [1, 2].
For further research in the direction of the results of this chapter, one may find
the work of K. S. SIBIRSKII [1, 2] to be useful and interesting. SIBIRSKII introduces
the notion of VJ - ({1-) limit point, which essentially guarantees that the limit set
of a point x has precisely one minimal subset. G.D. BIRKHOFF [1, p. 204] used this
last idea to define semi-asymptotic central motions. The notion of ambits in Topological Dynamics as introduced by W. A. GOTTSCHALK [12] is also based on a similar idea.
It should be noted that in Theorem 1.1, if Mis compact but not open, then the
cases 1.1.1 and 1.1.2 cannot occur simultaneously. In fact, if 1.1.1 occurs, then
none of 1.1.2-1.1.4 occurs. On the other hand 1.1.3 and 1.1.4 may occur simultaneously. This is so, because the cases 1.1.1 and 1.1.2 characterize the flow through
all points of a neighborhood of M, whereas the cases 1.1.3 and 1.1.4 require the
existence of some points with a given behavior in each neighborhood. It will be
useful to develop description of flows containing as many cases of the nature of
1.1.1 and 1.1.2 as possible and reduce or eliminate the number of cases of the type
1.1.3 or 1.1.4. In Theorem 2.1 we have a description containing three cases of the
former (all grouped under 2.1.1) and three cases of the latter type.
The problem of the classification of the flow via Liapunov-type functions will
again be discussed in Chapters VIII and IX.
Chapter VII
Higher Prolongations
The first positive prolongation and the first positive prolongational
limit set have been shown to be useful in characterizing various concepts
in dynamical systems. Notable applications are the characterization of
stability of a compact set in a locally compact metric space (Theorem V,
1.12) and the characterization of a dispersive flow (Theorem IV, 1.8).
The first positive prolongation may be thought of as an extension of
the positive semi-trajectory. For example consider a dynamical system
(R2, R, n) which is geometrically described by Fig. 0.1.
}(_~---f's
~___,.._Y+lx)IYi
--
a-~---~----_-_-_-_- ------=-~
Fig.0.1
The first positive prolongation of the point x in the figure consists of the
semi-positive trajectory y+(x), the equilibrium points 0, P, and Q, and
the trajectories y1 , y 2 , y 3 , and y4 In a way, to get the prolongation of a
point we might find ourselves arguing that we move along the positive
semi-trajectory and approach the equilibrium point 0. So we transfer
120
1.1
1.1.1
fJJI'(x)=f\{I'(U): UE%(x)},
J.I'(x)
where I'1(x)
= 1, 2, ... } ,
and P(x) = I'(I'(n-i) (x)), n
V {I'n (x): n
I'(x),
2, 3, ....
1.3
Lemma.
1.3.1
fJ) 2 = fJ),
1.3.2
If M
is closed.
C X is compact, then
fJJI'(M) = V {fJJI'(x):
x EM}
121
1.3.3
If v = <p (x) is a continuous real-valued function on X, such that
<p (y) < <p (x), whenever y E I' (x), then <p (y) < <p (x) whenever y E rfJI' (x)
V J.I'(x).
Proof of 1.3.1. Let I': X--?- 2x. If y E rfJI'(x), then indeed y E rfJrfJI'(x).
Thus rfJI'(x) C rfJrfJI'(x). If y E rfJrfJI'(x), then there are sequences {xn},
{Yn}, YnE rfJI'(xn), such that Xn-?-X andyn-?-Y. Foreachxk, yk, YkErfJI'(xk),
there are sequences {xk}, {Yk}, Yi! E I'(xk), such that xi!~ xk, y~--?- Yk
\Ve may assume e(xk, x;:) and e(yk, y~) < 1/k for n > k and each k.
Now consider the sequences {x:}, {Y:}. Clearly y: EI' (x:). Further x:-?- x,
and y:-?-y. Thus y E rfJI'(x). We have thus proved that rfJrfJI'(x) ( rfJI'(x).
This together with the previous observation shows that rfJrfJI' (x) == rfJI' (x).
Hence 0 2 = rfJ. The proof of J.2 = J. is even simpler and is left as an
exercise.
Proof of 1.3.2. Let {Yn} be a sequence in rfJI'(M) such that Yn -?-y.
Then there is a sequence {xn} in M such that Yn E rfJI'(xn) Since M is
compact, we may assume that xn--?- x E M. Thus y E rfJrfJI'(x) == rfJI'(x)
( rfJI'(M). This shows that rfJI'(M) is closed.
Proof of 1.3.3. If y E rfJI' (x), then there are sequences {xn}, {yn},
Yn E I'(xn), such that xn--?- x, and Yn--?- y. It is given that <p (Yn) < <p (xn).
Since <p is continuous we get by proceeding to the limit <p (y) < <p (x). If
y E J.I'(x), then there are points x == x1 , x2 , , xn == y such that xi+iE
I'(xi), i = 1, 2, ... , n - 1. Hence <p (y) = <p (xn) < <p (xn_ 1 ) < < <p (x2)
< <p (x1) = <p (x). This completes the proof of the lemma.
2x will be called transitive if J.I' = I'.
1.4
1.5
Exercise.
1.5.1
1.5.2
--?-
1.6
Definition. A map I': X--?- 2x will be called a cluster map if
rfJI' =I'.
1. 7
Definition. A map I': X --?- 2x will be called a c - c map if it
has the following property: For any compact set KC X and x EK, one
has either I'(x) ( K, or I'(x) f\ oK =t= 0.
1.8
Theorem. Let the space X be locally compact. Let I' be a c - c
map. Then if I'(x) is compact, it is connected.
122
1.9
Theorem. Let the space X be locally compact. Let I' be a
c - c map. If M (Xis compact, then rfJI'(M) = M if and only if for
each neighborhood U of M, there is a neighborhood W of M such that
I'(W) ( U.
Proof. (i) Sufficiency. Note that for any c - c map I', x E I'(x). Hence
rfJI'(M) ) M always. Consider now a sequence of closed neighborhoods
{Un} of M, such that f\. Un= M. Then there is a sequence of neighborhoods {Wn} such that I'(Wn) (Un. Then rfJI'(M) ( f\. I'(Wn) ( f\. Un
=== M. Thus we have proved that rfJI'(M) = M, and sufficiency is proved.
(ii) Necessity. Indeed assume, if possible, that there is a neighborhood
U of M, such that for every neighborhood W of M, I'(W) ct U. We may
assume without loss of generality that U is compact (because Xis locally
compact). Then there is a sequence {xn}, xn---* x EM, and a sequence
{Yn}, Yn E I'(xn) such that Yn ft U, n = 1, 2, .... Indeed we may assume
that xn EU, n === 1, 2, .... But then since I'is a c - c map andI'(xn) ct U,
we must have I'(xn) f\. au =t= 0. Consequently, there is a sequence {zn},
Zn E I'(xn) (\ au, n = 1, 2, .... Since au is compact, we may assume that
Zn --7- zE au. But then zE rfJI'(x) c rfJI'(M). Butz~ M, a contradiction,
as rfJI'(M) = M. This proves necessity and the theorem is proved.
We remark now that c - c maps have also the following properties,
which help to build families of c - c maps.
1.10
Lemma.
123
If I'1 o I'2 (x) ct K, and I'2 (x) C J (K), then there is a y E I'2 (x) such that
I'1 (y) ct K. But then I'1 (y) f\ oK =t= 0, and since I'1 (y) ( I'1 (I'2 (x)) =
I'1 o l~(x), we have I'1 o I'2 (x) f\ oK =t= 0. Thus I'= I'1 o I'2 is a c - c
map.
1.11
Theorem. Let X be locally compact and M a compact subset
of X. Let I' be a c - c map which is moreover a transitive map as well
as a cluster map. Then I'(M) = M if and only if there exists a fundamental system of compact neighborhoods {Un} of M such that I'( Un)= Un.
1.12
Definition. The Higher Prolongations. Consider the map y+:
X----? 2x which defines the positive semi-trajectory through each point
x E X. Then since y+ (x) is connected, y+ is a c - c map. Further, notice
that y+(y+(x)) = y+(x), so that y+ is a transitive map, i.e., J.y+ = y+.
We now set (f)J.y+ == (f)y+ = Dt, and call Dt (x) as the first positive
prolongation of x. This is clearly the same as defined in Chapter II, where
it is denoted by D+. Indeed Dt is a cluster map as 0 is idempotent, but
Dt is not transitive as simple examples will show. We, therefore, consider
the map (f)J.Dt and denote it by Di and call Di (x) as the second prolongation of x. Having defi:ned n:, we define n:+i = (f)J.D;i, and call
D;i (x) to be the n-th prolongation of x. This defines a prolongation of x
for any positive integer n. Using transfinite induction, we define a prolongation Dt (x) of x for any ordinal number x as follows: If x is a succes-
124
1.13.1
Dt
1.13.2
= V {Dt: lX
< Q},
1.14
Corollary. If lX > Q, then Dt = Dt. This follows by induction
as DJ is transitive, and indeed also a cluster map.
2. Absolute Stability
We shall now define a host of stability concepts with the help of the
higher prolongations introduced above.
2.1
Definition. Let X be locally compact. Let M be a compact
subset of X. The set M will be called stable of order lX, or lX-stable, if
Dt (M) = M. If M is stable of order lX, for every ordinal number lX,
then Mis said to be absolutely stable.
2.2
Remark. Stability of order 1, is the same thing as stability
defined in V, 1.5, as is evident from Theorem V, 1.12. Note also that
absolute stability is the same as stability of order Q, where Q is the
first uncountable ordinal, as is clear from Theorem 1.13 and Corollary 1.14.
One may easily prove the following theorem.
125
2. Absolute Stability
----..
-1
-~---~~---..,..._-._.,.__._...._
...____
+1
Fig. 2.4.1
2.5
Example. Consider again a flow on the real line, such that we
have the equilibrium points as in the above example, and, moreover,
between any two such successive equilibrium points, say q and p, there
are two sequences of equilibrium points, say {Pn}, and {qn}, ... qn <
qn- 1 < ql < P1 < P2 < , Pn~P, andqn~q. Then direction of motion
on a trajectory between any two equilibrium points is again from left to
right, as in the previous example. In this case, if we consider the point
P == -1, then indeed Dt (P) = P, Dt (P) === P, but Dt (P} === {xE R:
-1 < x < +1}, and Dt(P) = {xE R: -1 < x}.
Proceeding in this fashion it is easy to see that we can construct
examples on the real line in which a point is stable of order n (n integer),
but is not stable of order n + 1.
2.6
Example. We now give an example of a dynamical system defined
on the real line, in which an equilibrium point is stable of every integral
order n, but not stable of order ro, where w is the first uncountable ordinal.
To obtain such an example we consider a sequence of points {Pn},
Pn ~ 0, P 1 > P 2 > P 3 > > 0. To the right of P 1 , we introduce a
sequence {P~}, such that Pf > P~ > > P 1 , and P~ ~ P 1 Between
126
127
2. Absolute Stability
2.8
Lemma. Let <p (x) be a real-valued function satisfying conditions
of Theorem V, 4.9. If Mis compact, and the space Xis locally compact,
then the set {U': X > 9} is a fundamental system of neighborhoods of
M, where U' = {x EX: <p (x) < X}.
Proof of Theorem 2.7. 2.7.1 implies 2.7.2. Let Ube a compact neighborhood of M. Let m 0 = min {<p (x): x E oU}. Then m 0 > 0, and {U ':
0 < < m0 }, where U ' == {x E U: <p (x) < X }, is a fundamental system
of compact, positively invariant neighborhoods of M. We will now show
that each U' is absolutely stable. We shall show this by using 1.3.3.
To do this, we consider the function (/) (x) defined on X, by means of
<J> (x) = <p (x) for x E U mo' and <J> (x) = m 0 for x ~ U mo This is a continuous
function which is decreasing along the trajectories. For 0 < X < {3 < m0 ,
U f3 is indeed a compact neighborhood of U rx Since <J> (x) is decreasing
along the trajectories, we get for y E DJ (x), <J> (y) < <J> (x). If D"J (U') =f= U''
then there is a {3 > such that D"JU' C( Up. Since D"J is a c - c map,
there is an x E U', and a y E DJ (x) f\ oUfJ. On one hand, therefore,
<J> (y) < <J> (x) < 0<-, and, on the other hand, <J> (y) = {3 >
This contradiction shows that DJ (U') == U', i.e., each U' is absolutely stable.
'
'
'
'
'
128
2.9
Remark. Prolongations and Stability of Closed Sets. Although
Theorem V, 1.2 gives an excellent characterization of Liapunov stability
of compact sets in locally compact spaces, a similar characterization is
not available for closed (non-compact) sets, or in general metric spaces.
Indeed we defined several concepts of stability of closed sets in section
V, 4 and it appears that if we are to reach at a characterization we must
first change the definition of prolongation for non-compact sets.
The following lemma gives an insight into what may be done.
2.10
D{ (M).
C X,
2.12
2.12.1
2.12.2 Dt (M) =={YE X: there are sequences {xn} in X and {tn} inR+
such that e (xn, M) ~ 0 and xntn ~ y},
2.12.3
Dt (M} ) MR+.
129
3. Generalized Recurrence
3. Generalized Recurrence
In Chapter II we introduced the first positive prolongation and the
first positive prolongational limit set, and we studied some of their
properties. We introduced the higher prolongations in section 1. We shall
now introduce also the higher prolongational limit sets and study some
of the properties. We shall then use these to characterize a notion of
generalized recurrence.
3.1
Definition. The first positive prolongational limit set Ji (x) of
any point x E X is defined by ]'{ (x) = {y E X: there are sequences
{xn} in X and {tn} in R such that xn-+ x, tn-+ + oo, andxntn-+ y}. In
Chapter II this set was simply denoted by J+ (x). Using now the operators
J. and fJ) introduced in section 1, we define for any x EX
Ji (x)
0J.Jt (x),
and if' is any ordinal number, and Jf has been defined for all p <
we set
0<.,
J:
3.2
Lemma. If' > 1, then y E J{)(, (x) if and only if there are sequences {xn}, {Yn}, Yn E J~: (xn), xn-+ x, Yn-+ y, where Pn are ordinal numbers
less than <X, and kn are positive integers. (Recall that for any map I':
1 , where I'1 =I'.)
x-+ 2x, p = I'o
rn-
Enz:
n:
3.4.1
3.4.2
3.4.3
3.4.4
130
3.4.5
if the space Xis locally compact, then D' (x) and l' (x) are connected, whenever they are compact (if one is compact, then so is the
other), and if DtX (x) (l' (x)) is not compact it does not possess any compact components.
A {D' (xt) : t E R} .
3. Generalized Recurrence
131
a positively or negatively Poisson stable motion (or point), a nonwandering point. We recall that these concepts are respectively equivalent to x == xt for all t E R, xt == x (t + T) for all t E R, x EA+ (x) or
x E A-(x), and x E It (x) which is equivalent to x E 11 (x).
Now let(() denote the class of real-valued continuous functions f on X
such that f (xt) < f (x), for all x E X and all t > 0.
3.6
Definition. Let rQ denote the set of all points x E X such that
/ (xt) == f (x), for all / E ((), and all t > 0. rQ will be called the generalized
recurrent set.
We have immediately
Lemma. rQ includes the non-wandering points in X.
3.7
Proof. Let xEJ1 (x). Lett> 0, and /E0. Then indeed xEJ1 (xt},
and there are sequences xn ~ xt, tn ~ + oo, and xntn ~ x. Then indeed
f (xin) < f(xn), and since I is continuous, we have
3.8
From now on we shall assume that the space X is locally compact and
separable.
The following theorem shows that in the class (() of functions there is
a function which is constant along any trajectory in the recurrent set,
but is strictly decreasing along any trajectory which is not in the recurrent set.
9*
132
3.10
3.10.1
3.10.2
if x ~ rQ and t >
and
00
k=1
Ii f k
2
Since Ilk (x) I < 1, it follows that g is continuous and jg(x) I < 1. Thus
gE 0'. If g(xt) = g(x), for all t > 0, then fk(xt) = fk(x} fork= 1, 2, ... ,
and so x E rQ. If x ~ rQ, there is a sequence {tn} in R+ with tn ~ + oo such
00
that g (x)
>
Define
f (x)
==
Then
We shall now obtain a characterization of rQ by means of the prolongational limit sets. First, the following lemma.
3.11
< /(x).
Proof of Theorem 3.13. We first show that f'Q' C <Q. Indeed let x E ]{)(, (x)
for some ' Then for any real t, x E J' (xt) = J{)(, (x), and in particular this
holds fort> 0. Then if /E 0, we have /(x) < f(xt). However, we have
133
rv,
-<
<
<
<
3.15
Remark. By a quasi-order on X one means a reflexive, transitive,
but not necessarily antisymmetric relation.
Chapter VIII
135
1. Introduction
d<p (xt)
dt
t=O
<
dipd;t)
lt=o can be
evaluated without explicit knowledge of the solutions of the equation 1.1
by using the relationship
1.3
1P (x)
by integration we have
t
1.5
<p (xt) -
<p (x) =
<
0 for all
x~
M.
1.6
Theorem. Let x = f(x), x E Rn, f: Rn-+ Rn define a dynamical
system in Rn. Let M (Rn be a non-empty compact set. If there exists a
continuously differentiable real-valued function v = <p (x) defined on a
neighborhood U of M, such that
0, if x EM and p(x)
1.6.1
p(x)
1.6.2
<
>
0 if
x~
M,
0 for xtf M.
136
VIII.
p(x) = 0 if x EM.
2.1.1
< {J},
2.1.2
N' {{J)
2.1.3
K' ({J)
=
=
2.1.4
H ({J)
2.1.5
2.1.6
O' ({J)
{J},
> {J},
> {J}.
Nc(fJ)
{ N ({J) if N
({3) is compact.
Similarly we shall define Kc(fl), Lc(fl) and Oc(fJ) as sets which are empty
if the sets K ({J), L ({J) and 0 ({J) are respectively not compact, and equal
to K ({J), L ({J) and 0 ({J) if the sets K ({J), L ({J) and 0 ({J) are compact,
respectively.
The sets defined above have the following properties, whose proofs
are simple and left as exercises.
2.2
Properties. Let v = <p (x) be a continuous real-valued function
defined on Rn and let M (Rn be a non-empty, compact, connected set
such that
2. 2.1
<p (x) = 0 if x E M.
137
2.2.3
If {J > 0, then 0 ({J)
neighborhood of M.
= Oc ({J) =
Nc ({J)
2. 2.4
The sets N ({J) and 0 ({J) are open, while the sets K ({J), H ({J) and
L ({J) are closed.
2.2.5
2. 2. 6
oN (fJ)
H (fJ),
L ({J).
ao (fJ) ~ H (fJ) .
2.3
Properties. Let v = <p (x) be a continuously differentiable realvalued function defined on Rn and let M (Rn be a non-empty, compact,
connected set, such that
<p (x) = 0 if x E M.
2. 3.1
Assume that
NC ({J) =f= 0
2.3.2
and that
2.3.3
Then
2.3.4
and
2.3.5
,..,
{J < {J <
,_
p with
The proof of these properties is based upon the Dini's implicit function
theorem and is left as exercise to the reader.
Clearly in many cases the sets Nc(fJ) and Oc(fJ) may be empty. We
shall give next a sufficient condition for Nc(fJ) to be non-empty. A similar theorem, by reversing the sign condition can also be proved for Oc {{J).
From now on we shall discuss mostly properties of Nc(fJ). The analogous
properties of Oc(fJ) can be derived and proved by the reader.
Remark. The Definitions 2.1 and the Properties 2.2 and 2.3 can
2.4
also be applied to the case in which the real valued function v = <p (x)
is defined in an open neighborhood G of the compact, connected set
M (Rn, satisfying 2.1.1. In this case definitions and properties apply to
the sets N' ({J), etc., which are contained in G.
138
2.5
Theorem. Let v = <p (x) be a continuous real-valued function
defined in an open neighborhood G of the compact, connected set M ( Rn
such that
2.5.1
p(x)
> 0 if xE G - M.
real number {J > 0, such that the open set Nc ({J)
0 if xE M, p(x)
Proof. Choose ~ > 0 such that S (M, ~) ( G. Let v =min {<p (x):
x EH (M, ~/2)}. From 2.5.1 it follows that v > 0. Consider next the set
N' (v/2). The component of this set which contains M is contained in
S [M, ~/2] and therefore its closure is compact. From definition 2.1.8, it
follows that Ne (v/2) is not empty. Since this is true for all~'<~, the result
follows.
2.6
Remark. It is easy to show that Theorem 2.5 does not provide
a necessary condition for Nc(fl) to be non-empty. Consider for instance
the following continuous real-valued function defined on the x, y plane:
2.6.l
+ y2).
Clearly this function is indefinite (it changes its sign) in each neighborhood of the point (0,0) but the set Nc ({J) is not empty.
In the classical stability theory much use is made of the concept of
definite functions.
2.7
Definition. Let v = <p (x) be a real-valued function defined in an
open neighborhood G of a non-empty, compact, connected set MC Rn.
We shall say that
2. 7.1
<p (x) is positive definite if <p (x) = 0, if x EM, <p (x)
xE G - M.
>
0 for all
2. 7. 2
<p (x) is negative definite if <p (x) = 0, if x E M, <p (x)
xEG-M.
<
0 for all
2. 7.3
3. Local Theorems
We shall prove next some theorems providing sufficient conditions
for stability, asymptotic stability and instability of compact sets. The
proof of the first theorem follows from the following lemma.
3.1
Lemma. Consider a dynamical system defined by the ordinary
differential equation
139
3. Local Theorems
3.1.1
= 1P (x)
@1 ,
3.1.2
v == <p (x) E
3.1.3
Then for each real number {J, each component of the sets N' ({J) and K' ({J)
is positively invariant.
Proof. The inequality 3.1.3 implies that <p (x) is decreasing along trajectories. Thus N' ({J) and K' ({J) are positively invariant and consequently
so are their components (see II, 1.14).
In the case in which the real-valued function v == <p (x) is defined only
on an open set G containing a continuum M (Rn, the same result as
Lemma 3.1 applies to these components of N' ({J) and K' ({J) which have
a compact closure which is contained in G. In general the following result
holds:
3.2
Lemma. Consider a dynamical system defined by the ordinary
differential equation
x=f(x),
3.2.1
xERn, /: Rn-+Rn.
v == <p (x) E @1 on G,
3.2.3
Let N ({J) be a component of N' ({J). Then if x E N ({J) and T > 0 is the
smallest positive real number such that XT E @(N ({J)), then x-r C @(G).
From these it follows that the components of N' ({J) whose closure lies
in G are positively invariant.
We shall next prove the stability theorem.
3.3
Theorem. Consider a dynamical system represented by the
differential equation
3.3.1
X==f(x),
<p (x) E @1 on G,
3.3.3
<p (x) == 0,
x EM,
140
3.3.4
3.3.5
there exists a real number {J > 0 such that 0 =f= Nc ((3) C G
and !or each neighborhood U of M there exists (3, 0 < {3 < {J such that
NC ({J) u.
Then M is (positively) stable.
Proof. From the hypothesis 3.3.5. we have that for a sufficiently small
[3 > 0, Nc ([3) C G. In addition from Lemma 3.1 we have that for all
real numbers [3 with 0 < [3 < [3, the set N.c ((3) is positively invariant. Then
1'J is stable.
3.4
3.4.1
'f/J(x)
>
0 if x E G
Oc(fJ) ( U.
By applying Theorem 2.5 and the analogous result on Oc(f3) to Theorem
3.3 and Corollary 3.4 we can immediately prove the following corollary,
which requires a sign condition on <p (x) which implies the property 3.3.5.
This corollary is the classical theorem of stability due to LIAPUNOV.
3.5
Corollary. Consider a dynamical system represented by the
differential equation
3.5.1
x=I (x),
x E Rn,
/: Rn-+ Rn.
<p (x) E ~ 1 if x E G,
3. 5. 3
3.5.4
1P (x)
3.5.5
either 1P (x)
3.5.6
sign <p (x) =f= sign 'I' (x), for each x E G, with 1P (x) =f= 0.
3. Local Theorems
3.7
3.7.1
{y
where r
3. 7.2
X=
141
y,
-x - yr2 (r sin 1/r - cos 1/r},
Then
3. 7.3
1jJ(X,
v = <p (x) E @1
and
3. 8.3
><
0.
Proof. Condition 3.8.3 ensures that <p (x) is decreasing along trajectories
as long as they remain in G. Compactness of A+(x) ensures that there is a
T > 0, with xt E G, for t > T. Then using Lemma V, 2.1 the result
follows.
Theorem. Consider the dynamical system represented by the dif3.9
ferential equation
3.9.1
x=f(x),
xERn,
/: Rn-+Rn.
Let v == <p (x) and w = "P (x) be real-valued functions defined in an open
neighborhood G of a compact, connected, invariant set M (Rn. Assume
that
3.9.2
v = <p(x) E @1 ,
3.9.3
x E G,
EM,
142
3.9.4
there exists a real number {J
empty,
3.9.5
<
>
CG is not
0 for all xE G - M.
A (M)) Nc(fl).
Proof. Choose {J > 0 in such a way that Nc ({J) C G. Then from Lemma 3.1, x E Nc ({J) implies y+ (x) C Ne ({J). Now, if M were not an attractor there would exist y E Nc(fl), such that A+(y) =F 0 and A+(y) C[ M.
On the other hand, from Lemma 3.8 it follows that 1P (x) == 0 if x EA+ (y).
From hypothesis 3.9.5 this implies that A+(y) CM. Thus Mis an attractor and 3.9.6 holds. Let us now prove that M is stable. If it were not
stable, then D+ (M) - M =F 0. Since Nc ({J) is positively invariant
(Lemma 3.1) D+(M) C Nc(fl). Consider a point xE D+(M) - M; since
Mis an attractor there exist points y, z EM, y E A-(x) (\ M, z E A+(x)
(\ M (V, 1.26.2). Consider then monotonic sequences {tn} CR+ and
{rn} ( R- with tn ~ + oo and Tn ~ - oo, xtn ~ z and X't'n ~ y.
Consider the corresponding value of the function <p. We have <p (xtn) <
<p (x) < <p (x't'n) while <p (x-rn) ~ cp (y) = {J and <p (xtn) ~ <p (z) = lX with
<p (y) == {J > tX = <p (z), which contradicts the fact that <p (x) vanishes on M.
Again from Theorems 2.5 and 3.9 we can derive the classical asymptotic stability theorem.
3.10
Corollary. Consider the dynamical system 3.9.1. Let v == p(x)
and w == 1P (x) be real-valued functions defined in an open neighborhood
G of a compact connected invariant set MC Rn. Assume that
3.10.1
3.10.2
3.10.3
x E G,
<p (x)
M.
3.11
Remark. The conditions of Theorem 3.9 imply that the realvalued function <p (x) is positive definite in Ne {{J). If this were not true
there would exist points y E (Nc ({J) - M) in which <p (x) has a minimum
and therefore grad <p (x) = 0, which contradicts condition 3. 9.5 of
Theorem 3.9. This shows that Theorem 3.9 is completely equivalent to
the classical theorem on asymptotic stability (see, for instance, BHATIA
and SzEGO [1], Theorem 3.6.15).
3. Local Theorems
143
x ==I (x),
x E Rn,
f: Rn-+ Rn.
v = <p (x) E @1 ,
3.12.3
3.12.4
= 0 if x E M,
1P (x) = (grad <p (x), 1P (x)) =F 0 if x E G - M,
3.12.5
M is stable.
<p (x)
Proof. As in the proof of Theorem 3.9 we can show that for all
x E G - M, the set A+(x) is non-empty, compact and such that A+(x)
(M.
v {Nc([3) c G: fJ >
0, Nc(fJ)
c G}.
Then
3.13.2
A (M)) N.
3.14
Corollary. Let the conditions of Theorem 3.9 be satisfied and
G:::::::. Rn. Let
3.14.1
Rn==
v {Nc(fJ), fJ >
O}.
144
3.15
Theorem. Let v
defined in Rn, such that
3.15.l
>
0 if x E fJ.M.
Assume that lim <p (x) exists. Then condition 3.14.1 is satisfied.
llxll~ 00
3.16
Remark. Theorems giving sufficient conditions for negative
stability and for negative asymptotic stability (complete instability)
can be proved either by inverting the sign conditions 3.5. 7 in Corollary 3.5
and 3. 9.5 of Theorem 3.9 or by considering both in Theorem 3.3 and 3.9
the sets 0 c ({J) in place of the sets N c ({3). Corollaries 3.13 and 3.14 will then
apply to the region of negative attraction A- (M).
By means of continuously differentiable real-valued functions we can
also give sufficient conditions for the (not necessarily complete) instability of a compact, connected set M (Rn. This result applies to the case
of a continuum M ( Rn which i~ unstable, but neither completely unstable, nor attracting. This theorem gives also an estimate of the region
of instability (V, 1.13).
3.17
Theorem. Consider a dynamical system represented by the
differential equation
3.17.1
Let v = <p (x) and w = 1P (x) be real-valued functions defined on the closure B of an open set BC Rn. Assume that
3.17.2
v = p(x) E @1 , on B,
3.17.3
1P (x)
Let M
C oB be a continuum and
'YJ
>
3.17.4
<p (x)
= 0,
x E oB f\ S (M, 17),
3.17.5
'f/J(x)
>
x EB f\ S(M, 17),
3.17.6
0,
> 0.
>
=F 0,
> fJ}.
Since B is an open set also OB ({3) is open. In addition from the hypothe8is 3.17.4, for each f3 > 0, we have:
3.17.9
4. Extension Theorems
145
The set 0 B ({J), in general, is not connected. On the other hand from the
hypothesis 3.17.5 it follows that if xE OB ({J) f\ S (M, 'YJ), then either there
existsT > OforwhichxTEH(M,'YJ), or y+(x) C (OB({J) f\ S(M, 'YJ)). In the
latter case y+ (x) is compact, hence A+ (x) is non-empty and compact and
in addition A+(x) f\ (oB f\ S(M, 'YJ)) == 0. Since if z1 EA+(x),1J'(z1) == 0,
we have that z1 EH (M, 'YJ). Thus for each ij < 'YJ there exists a real
number T-;; > 0, such that Xirj E H(M, n). From the hypothesis 3.17.6,
given a point xn in the sequence {xn} C B, for a sufficiently small {3 > 0,
we have that xn E OB ({3) and therefore for each ij < 'YJ there exists a
real number Tn> 0 such that XninEH(M, ij), which proves the theorem.
From the proof of Theorem 3.17 the following corollaries can be
derived.
3.18
Corollary. If the hypotheses of Theorem 3.17 are satisfied for an
arbitrary real number 'YJ > 0, then M is globally unstable.
Corollary. If the hypotheses of Theorem 3.17 are satisfied, then
3.19
each compact set K ( S (M, 'YJ) (\ oB is unstable.
1J' (x)
<
0 if
and
3.21.2
there exists a sequence {xn} CB, xn--+ x EM, with <p (xn)
<
0.
The proof of those theorems and corollaries is left as exercise to the reader.
3.22
Exercise. Prove Theorem 3.9 without assuming that the continuum M is invariant.
4. Extension Theorems
The results derived in the previous section regarding the estimate
of the region of attraction A (M) of the compact, connected, asymptotically stable set M (Rn (Corollary 3.13 and Corollary 3.14) are decep10
146
VIII.
tively strong. Their application is, usually, not easy since they require
a proof of compactness of the set N (3.13.1) which is generally difficult.
On the other hand, condition 3.9.5 of Theorem 3.9 imposes a sign condition on the real-valued function 1/l(x), which, from the hypothesis made
on /(x), can immediately be translated into a sign condition on the vector
grad q;(x), from which, in turn, one should be able to derive an estimate
of the set N.
This will be done in this section.
4.1
Theorem (Local Extension Theorem). Consider a dynamical
system represented by the differential equation
v = <p (x) E e1 ,
4.1.3
<p (x)
= 0,
4.1.4
1P(x)
x E M,
(gradq;(x), /(x)),
4.1.5
p0 >
4.1.6
Then
4.1. 7
A (M)
N ((30).
If, in addition,
4.1.8
1P (x)
=* 0
if
x E 8N (P},
then
4.1.9
A (M) ) N (P)
Thus y (x0 )
4.1.10
= inf {I 1P (y) I:
yE r (x0) (\ N (P)}.
4. Extension Theorems
147
4.1.12
== 0,
4.1.13
>
>
4.1.14
>
1/J(x) <
1J'(x) >
1J'(x) <
0, 1J'(x)
4.1.11
0,
0,
0 if xE N(/1) - M,
0 if
EN (/1) - M,
if xE N(/1) - M,
if xE N(/1) - M.
In the case 4.1.11 there exists a sequence {xn} Cy (x6 ) f\ N ((36 ) such that
1J' (xn) ~ 0 and therefore from 4.1.5, <p (xn) ~ {16. Now, since {xn} Cy (xO)
( oA (M) and <p (x) is continuous, there exist points y E A (M) f\ N ({36 )
such that <p (y) > 0.
Since 1J' (x) > 0 for x E N (/1) - M, it follows that
4.1.15
<p (yt)
>
C N (/1).
<p (x0t)
>
<p (x0 )
<p (x0t)
<
<p (x0 )
Hence there exists TE R+ such that <p (x0i-) < 0. Since <p (x) is continuous
there exists then a point y EA (M) f\ N ({36 ), such that <p (y) < 0, which
is absurd.
Th us in all cases
4.1.18
oA (M) f\ N ({30) == 0.
Since A (M) f\ N(f36 ) = 0, _it follows that A (M) ) N(fJ6) (4.1.7), which
completes the proof of the first part of the theorem.
Assume next that, in addition, condition 4.1. 8 holds; we shall prove that
this implies that oA (M) (\ oN ({36) = 0. For this let XoE oA (M) (\ oN ({16).
10*
148
Let next 1P (x0) > 0. Since A (M) ) N (/3), there exists y E A (M), such
that <p (y) > 0. On the other hand, if 1P (x0 ) > 0, we have that 1P (x) > 0
for all x EN ({J0 ) - M. Following the same arguments as in the case
4.1.11 we reach a contradiction.
Let next 1JJ(x0 ) < 0. Then 1fJ(x) < 0 for xE N(/3) - M. Let y+(x0 }
( oA (M). For t E R+, sufficiently small, we have <p (x0 t) < p0 Thus,
either x0t E N ({J0}, which is absurd, or x 0 belongs to the boundary of a
component of N' ({3), say N 1 ({J0) =F N ({3). Now for t ER+, sufficiently
small, <p (x0t) < p0 Hence x0t E N' ({3), x0t E N (p0 ), x0t E N 1 ({J0}. Thus
N ({J0) and N 1 ({3) cannot be two different components of N' ({3) and the
proof follows from that of the previous case.
This concludes the proof of the theorem.
4.2
Remark. It is possible to prove a theorem, analogous to Theorem 4.1, where instead of the sets N ({3), {J 0 > 0, we consider the sets
,..,
0 ({J0), p0 < 0. This is left as an exercise to the reader.
We shall next prove a theorem regarding the global stability properties of a compact, connected set M (Rn. The statement of this theorem
is stronger than that of Theorem 4.1.
4.3
Theorem (Global Extension Theorem). Consider the dynamical
system defined by the differential equation
4.3.1
x == f (x),
x E Rn,
/: R"' ~Rn.
4.3.2
v = q;(x}E le1 ,
4.3.3
q;(x)=O if xEM,,
4.3.4
1J' (x)
4.3.5
{xn} (Rn,
1J'(Xn}
0 imply
Xn ~ M.
149
4. Extension Theorems
<p (x0t}
>
<p (x0)
+ t.
Hence for a sufficiently large t E R+, we have <p (x0t) > 0. Thus M cannot
be asymptotically stable, which contradicts the hypothesis.
If, instead, we assume that 1P (x) < 0 for all x E (}, (M), then
4.3.8
<p (x0t)
<
<p (x0 )
t.
Again, fort ER+ sufficiently large we have <p (x0t) < 0, which contradicts
the hypothesis made.
Finally in the case in which M is completely unstable, we shall replace
equation 4.3.1 with the equation
4.3.9
x == -f (x).
Remark. Theorems 4.1 and 4.3 still leave some open problems
and some unanswered questions, some of which will be clarified in the
next section. The most important of these problems is concerned with the
identification of the set N ({1), where {J0 is defined in 4.1.5, for the case in
which 1P (x) =f= 0 if x E Rn - M. This is therefore a case in which only for
some sequences {xn} ( N((3), xn ~oo, we have 1P(xn) ~ 0. Clearly only
two situations may now arise: the case in which N ((3) == V N ((3)
4.4
O~P</3
== Rn and the case in which N ({J0} is not compact, but N ((30) =F Rn. The
distinction between these two cases is an open problem. The finite version
of this problem, which has already been mentioned in Theorems 2.3 and
2.4, is the following. Assume that there exists a point x0 E Rn, such that
1P (x0) == 0, but for all diverging sequences {xn} C N ((3), xn --+ oo, 1P (xn)
fr 0. Then N ((3) may or may not have a compact closure (see Theorem
,..,
2.4) however, for all e > 0 and all fJ < {J0 - e, the set Ne ({J) is non-
150
empty. On the other hand, if there does exist a sequence {xn} C N ({J0 ),
xn ~ oo, then 1P(xn) ~ 0 may not hold. In this case, if for s~me {J > 0,
Ne ({J} =F 0, it is not trivial to find the largest real number {J such that
Nc (p) =F 0. This problem is not related to that of the estimate of A (M)
(since A (M) is estimated from 4.1.7 and 4.1.8 anyhow), but with the
problem of the geometrical properties of A (M). Clearly when the Liapunov
functions v = <p (x) are polynomials (which do not have singular point at
infinity) these problems do not arise.
We close this section by illustrating with an example the use of
Theorem 4.1.
4.o
4.5.1
1J' (x)
-2y2
+ (t
-2y2
:x:
2) 2
2.x2 (x2y2 - 1)
(1 + x2)2
We see that the only points in which 1P(x) vanishes are (0, 0) and y = 0,
lxl ~ + oo. Condition 4.1.5 holds if p0 = 1, but not if {J0 > 1, and indeed
2
A (M) 2 { (x, y) : y
+ 1 ~ xz <
1} .
151
o.1
5.1.1
N ({J}
<po
and
5.1.2
N ((JO)=
NC ({J),
0~{3<(3
where the sets N ({J) and Nc (/3) are defined in 2.1. 7 and 2.1.8 and
defined in 4.1. 5.
po is
o.2
5. 2.1
N ({J)
and
5.2.2
Rn=
V Nc(fJ}
{3~0
o.3
Proposition. Let v
and connected set. Let
5.3.1
<p (x) = 0
for
==
E M.
5.3.2
lX
X ()
and {J () with
lX
(0)
() -+
+ ex> as -+ + oo,
then the real-valued function <p (x) can be used for the characterization of
positive (or negative) global asymptotic stability properties of the set M.
152
5.4
Remark. Clearly (see Theorem 2.5) condition 5.3.2 implies condition 5.1.1 and together with condition 5.3.3 implies condition 5.2.2
while the converse is not true, for instance the function 2. 6.1 satisfies
condition 5.1.1, but not condition 5.3.2. On the other hand condition
5.2.2 clearly does not imply condition 5.3.3; this can be easily seen by
taking a function <p (x) which satisfies in the whole space Rn conditions
5. 3. 2 and 5. 3. 3 and therefore 5. 2. 2, then considering the function
1
5.5
5.6
Theorem. Let v == cp(x), cp: Rn~ R. Let M (Rn be a compact,
connected set. Assume that the following conditions are satisfied:
5.6.1
<p (x) E @2 ,
5.6.2
<p (x) == 0 if x E M,
5.6.3
5.6.4
>
>
NC (/3) =f= 0
and in addition
5.6.6
Nc ({3}
== Rn.
{J?:.O
x == -
grad <p(x)
Jlgrad<p(x)ll
== g(x).
=f= 0,
153
This equation defines a dynamical system since all its solutions are
unique and defined on R (see section I, 2.1). We shall investigate its
stability properties by means of the Liapunov function v == <p (x). Consider
then the real-valued function
5.6.8
1P (x)
0.
From the condition 5.6.4 it follows that for each sequence {xn} C Rn,
1P(xn)--+ 0 implies xn ~ M. We are now in the position of applying
Theorem 4.3, and conclude that the compact set MC Rn, is globally
asymptotically stable for the differential equation 5.6. 7.
We shall next prove that for each (3 > 0 the set N' ((3) is connected.
Assume by contradiction that there exist two components of N' ((3), say
N 1 ({J) and N 2 ({J), such that N 1 ({J) f\ N 2 ({J) == 0 and let N 1 ({J) ) M. Let
now x 0 E N 2 ((3), since M is globally asymptotically stable, we have
y+(x0} f\ oN1 ({J) =F 0. Let yEy+(x0) r\ oN1 ({J), we must have q;(y) == {J.
On the other hand <p (y) < <p (x0 ) < (3 which is absurd. We shall prove next
--
,..,
,..,
that for each {J > 0 the set N ({J) is compact. Let (3 be such that N ({J) is
not compact.
From Theorem 4.3, Mis globally asymptotically stable, hence for all
xE 8N(f3), (} (xt, M) ~ 0 as t ~
oo.
Let next
5.6.9
== sup 1P (x)
for x E Rn - Ne ((3),
where {J > 0 is defined by 5.6.3. From the hypothesis 5.6.4, we have that
> 0. Let next
5.6.10
'fi - f3
T
- -/t-
Then for all -,; > T and all x E 8N ((3) we have x-r: E Ne ({J). In particular
we have Xn7: == Yn E Nc(fJ) for a sequence {xn} oN({J), Ilxnll ~ + oo.
Let now Yn ~ y*, hence Yn (--r) ~ y* (--,;). On the other hand Yn (--r)
= xn, which contradicts the assumption that j(xnll--+ + oo, and proves
the theorem.
,1.,
In a similar way, by applying Theorem 4.1 to the differential equation 5. 6. 7, we can prove the following local result.
5.7
Theorem. Let v == <p(x), q;: Rn~ R. Let M (Rn be a compact,
connected set. Assume that conditions 5.6.1, 5.6.2 and 5.6.3 of Theorem
5.6 are satisfied. In addition assume that
5. 7.1
{J0 > {J is such that if {xn} C N ((3) and Xn fr M, then grad <p (xn)
~ 0 implies <p (xn) ~ po.
154
Then
5. 7.2
<
{J
and
5.7.3
N({J)
N({J).
O~/J-5-fJO
o.8
5.8.1
x=f(x),
/: Rn~R"
then the conditions of Theorems 4.1 and 4.3 on 1P(x) imply the conditions of Theorems 5. 6 and 5. 7, respectively. Thus in Theorems 4.1 and
4.3 the sets N({J) do satisfy the conditions 5.6.5, 5.6.6, 5.7.2 and 5.7.3
respectively.
One can prove a theorem similar to Theorem 5.6 also for the analytical conditions 5.3.2 and 5.3.3. Thus we have
o.9
Theorem. Let v
5.9.1
5.9.2
<p(x)
5.9.3
== 0 for x EM,
<p(x) > 0 for xE H(M, ~), ~ >
5.9.4
~ 0
0,
implies xn ~ M.
functions~()
{J(O) = O
and, furthermore,
5.9.6
lim lX ()
-+co
= + ex:>.
In addition to this, if
5. 9. 7
~)},
then
5.9.8
<p (x)
> v for
x E @(S [M,
~]).
Proof. Consider again the dynamical system 5.6. 7 and the realvalued function 5. 6. 8.
155
The functions v = <p (x) and w = 1P (x) satisfy the conditions of Theorem 4.3. Thus the set M is globally asymptotically stable for the system
5.6.7. Notice now that for any x0 E fd(S(M, ")), thereis a-r > 0 such that
x0t: EH (M, "). Thus <p (x0-r) > v. Since <p (x0t), for any x0 E fd (M), is a
strictly decreasing function of t, we conclude that <p(x0 ) ><p(x0t:) > v.
Lastly as <p(x) = 0, for xE M, <p(x) > 0 for x~ M, and <p(x) is continuous, we can define two continuous increasing functions x ( 'YJ) and
{J ('Y/) by
x (ri) =min {<p (x): x EH (M, 'Y})}
and
{J ('Y/) = max {<p (x): x EH (M, 'Y})}.
Notice that x(O) = {J(O) = 0 and fJ('Y/) > x('Y/) > 0 for 'YJ > 0. There exist
strictly increasing continuous functions x ('Y/) and fJ('YJ) such that
<
<p (x)
It remains to be proved that there exists one function x('Y/) which satisfies condition 5.9.6. We shall prove first that for all x0 E fd (M), <p(xJ)
~ + oo as t ~ - oo. In fact, notice that for any x 0 E fd (M)
t
-x <
where"> 0 is such that x0-r~ S(M, ")for-,; < 0. Hence fort < 0
t
<p (xot)
>
<p (xo)
+ f x dt: =
<p (xo) -
xt.
<p(x)
<
h}.
This open set is bounded away from the set M and is bounded by the
surfaces <p (x) = k and <p (x) = h. We claim that there is a point x0 , <p (x0 )
= k, such that x 0t E P for.t < 0. For, otherwise, for every x 0 , with <p (x0 )
= k we will have a unique t < 0 such that x.,tE {x: <p(x) == h}, so that,
156
6.1
Theorem. Consider the dynamical system represented by the
differential equation
X = /(x), XE Rn, j:
6.1.1
Rn~
Rn.
Let Q be a compact, positively invariant set. Let v === <p (x) and w = 1P (x)
be real-valued functions defined on Q. Assume that
(iii) 1P (x)
(iv) w
<p (x)
>
0, x E Q,
= 1/l(x) <
0, xE Q.
( c) Q is attracting relative to Q,
157
( e)
oQ (\ as =t= 0,
S = D+(Q, Q) = {y: there
oQ,
<p (x)
= const, Qis
(k) if either Q, Sor Qare homeomorphic to the unit ball, then M contains a rest point,
(1) if either QC JQ or SC JQ, then the words "relative to Q" may
be deleted" from the above sta tern ents.
Proof.
(a) This is clear, for if a set is invariant, so is its closure.
(b) For all xE M, from (ii) and (iv) we have 1/'(x) == 0 which implies
M ~ P. Stability then follows from Theorems V, 4.2, 4.5, 4.6.
( c) Since for each y ED, A+ (y)
A+ (y) C Q as A+ (y) is invariant.
158
(i) If Q is minimal, then <p (x) is constant on Q and the result follows
from (h) and the fact that U C S.
(j) Follows from (h) and (c).
XE Rn, /:
X = f (x},
Rn~
Rn.
Let v = <p (x) and w ='I' (x) be real-valued functions defined on Rn, which
satisfy the hypotheses of Theorem 3.3. Then for each real number
{J > 0 such that the set Nc ({J) =t= 0, Theorem 6.1 holds with
6.2.2
=NC ({J).
X=f(x),
xERn, /:
Rn~K'.
Let v = <p (x) and w = 1P (x) be real-valued functions, which satisfy the
assumptions of Theorem 6.1 in the whole space Rn. In addition assume
that
6.3.2
6.3.3
The sets S, Q, P and M defined as in Theorem 6.1 with Q =Rn
are compact.
6.3.4
<
(i) The set H ({J) has a compact component which will be denoted
Hc(f3). If we denote with Nc(fJ) the component with compact closure of
N ({J') which contains He ({J), Ne ({J') =F 0.
=Rn.
grad<p(xn)~Oimpliesxn~Hc(fJ).
159
V Nc(k).
k"2!fJ
Then since
-
the sets S, M, P, Qare compact there exists a real number {J such that
all the above mentioned sets are contained in Ne ({J) for all {J > {J.
6.4
Theorem. Consider the dynamical system defined by the ordinary differential equation
x=f(x),
6.4.1
xERn, /: Rn-+Rn.
Let v = <p (x) and w = "P (x) be real-valued functions which satisfy the
assumptions of Theorem 6.1 in the whole space Rn. In addition assume
that
v = <p (x) E f2 2,
6.4.2
x E Rn.
6.4.3
There exist two real numbers f3 and {J' with {J < {J' such that
condition 6.3.4 of Theorem 6.3 is satisfied, and such that there exists a
real number {3 > {J' such that if {xn} C N ((JO), xn fr Hc(fl), then grad<p(xn)
-+ 0 implies <p (xn) -+ po.
Then Theorem 6.1 holds with
Q
< {J-<
{J'.
6.o
Corollary. Consider the dynamical system defined by the ordinary differential equation
6.5.1
Let v
<p (x) and w = "P (x) be real-valued functions defined in Rn. Let
v = <p (x) E f2 2,
6.5.3
q;(x) = 0 if x EM,
6.5.4
"P (x)
6.5.5
6.5.6
'f/J(x)
6. 5. 7
=
=
0 if xE E (Rn, M ( E,
160
1Pi (x)
1JJ2 (x)
that
7.4.1
v = <p(x) E @2 ,
7 .4.2
7.4.3
>
161
0,
< 0,
7. 4. 4
N (/3) contains a compact invariant subset.
Then there exists a point z E fJN (/3) such that for the differential equation 7.1
7.4.5
y+ (z) ( N ({3).
7.o
Theorem. If in Theorem 7.4 conditions 7.4.1 and 7.4.2 are satisfied and instead of 7.4.3 and 7.4.4 we assume that
7.5.1
the set {yE oN (/3): 1Pt (y) > O} is non-empty and non-connected.
Then the set {zE Rn: y+(z) C N({J)} has dimension at least n - 1.
7.6
Theorem. Let M ( Rn be a compact invariant set and let
v = <p (x) E @2 be such that
7.6.1
7.6.2
<p (x)
7.6.3
<p (x)-+ oo as
7.6.4
1Pt (x)
>
=
1Pi (x) =
JJxJJ-+ oo,
0implies1/)2 (x)
>
0 for all x E Rn - M,
7.6.5
0 for some y E Rn - M.
Then either there exist points z1 and z2 in Rn - M, such that
+ oo as t-+ - oo,
f z2t f-+ + oo as t-+ + oo,
7.6.6
7.6. 7
A-(z2) CM,
or for all z E Rn - M
7.6.8
jzt I-+ oo as ftJ-+ oo.
Recently J. A.YORKE [7] proved the following theorem which provides a characterization of a certain type of compact invariant unstable
attractors relative to an open set U (Rn.
7.7
Theorem. Let v = <p(x) be a real-valued function defined in an
open set UC Rn. Let MC U be compact and such that U - M is
simply connected. Assume that
7. 7.1
v = <p (x) E @2 ,
7. 7.2
for each x E U - M, either 1Pi (x) =t= 0 or 1JJ2 (x) =t= 0,
where "Pi (x) and 1JJ2 (x) are defined by 7.2 and 7.3, respectively. Then
for each x E U,
7.7.3
A+(x) CM and A-(x) CM.
11 Bhatia/Szego, Stability Theory
162
O}.
163
\Ye want to emphasize that LIAPUNOV was originally interested only in the
stability properties of a given motion. He formulated this problem as follows. Let
y = g (y, t). Let yl = yl (t) be a solution of such equation. In order to investigate the
stability of yl (t), for all e > 0, we shall consider solutions y = y (t) such that
11 y 1 (t0 ) - y (t0) I\ < 'YJ and see if this implies that 11 y 1 (t) - y (t) 11 < e for all t > t0
This can be easily done by defining the new variable x = y - y 1 (t). Then from the
differential equation y = g (y, t) one can obtain a new differential equation % =
f (x, t) = g (x yl (t), t) - g (y1 (t), t). This equation is called equation of the perturbed
motion. Notice that the stability problem for the motion y 1 = y 1 (t) for the equation
y = g (y, t) is now reduced to the stability problem for the equilibrium point x = 0
of the equation% = f(x, t).
From the theorems shown in this chapter, it can be seen that the central point
of the analysis of the stability properties of a compact set is the construction of
continuously differentiable, real-valued function v = <p (x) such that the corresponding total time derivative (1.4) along the solutions of the differential equation 1.1
is such that 'tJl (x) = 0 if xE Mand 'tJl (x) ::f= 0 if xEf M. Only in this case the theorems
of section 3 provide a complete classification, since, if <p (x) is definite for M and
sign <p (x) =f= sign 'tJl (x), Mis asymptotically stable, if <p (x) is definite and sign <p (x) =
sign 'tJl (x), 1VI is negatively asymptotically stable, if <p (x) is indefinite then M is
(not completely) unstable; <p (x) cannot be semidefinite for M. In addition if 'tJl (x)
is definite then the extension theorems of section 4 can be applied. For the construction of such a pair of functions <p (x) and 'tJl (x), equation 1.4 can be regarded in different ways according to which are the unknowns and which the given function in the
relationship 1.4. For instance if <p (x) and/(x) are given, then clearly 'tJl (x) = d<p (xt)/dt,
on the other hand if 'tJl (x) and /(x) are given, then they give rise first to an equation of the type 'tJl (x) = <a (x), f(x)) where a (x) is an unknown vector. Then if
'tJl (x) and/(x) are such that a (x) satisfies the integrability condition 8aj/Oxi = oai/oxj,
then there exists a real-valued function <p (x), such that the relation 1.4 can be
satisfied for the given 'tJl (x) and /(x). One can also require 'tJl (x) to have a special
form. For instance we can assume that 'tjJ(x) = B(x){3(<p(x)), then find v = <p(x}
which satisfies the equation B {x) f3 (<p (x)) = <grad <p (x), f (x)) under the assumption
00
fJ(:)
11*
164
appearing in V, 1.29.2 was explicitly computed. Thus in that proof one was able
to prove more properties about the system than the ones essentially needed.
Notice that in the local theorems 3.9, and Corollary 3.13 estimation of the region
of attraction A (M) requires that one has to make sure that N (/3) is compact. Thus
3.13.2 essentially expresses the classical condition "fJN is the level surface of the
Liapunov function v = <p (x) which is bounded and fJN (\ (E - M) =F 0, while
N - M (\ E = 0, where E = {xE R": 'tJl (x) = O}." The condition of Theorem 3.15 on
global asymptotic stability is due to E. A. BARBASHIN and N. N. KRASOVSKII [1].
The instability theorem 3.17 is an extension of the well known theorem due to
N. CHETAEV [1, 3]. Recently J. A. YORKE [4] proved the following theorem which
is another extension of CHETAEV's result, which we state for the case of a dynamical
system defined by the differential equation %= f(x), /: U ~ R" and U ( R"
open.
Theorem. Let G C Ube closed. Let G(v) = {xE G: <p(x) = v and 'tJJ(X) = O} and
G+ = {x E G: <p (x) > O}. Assume that (i) G is positively invariant; (ii) {O} E G-+,
<p (0) = 0, 'tJl (x) > 0 for x E G; (iii) for v > 0, G (v) has no (non-empty) compact
invariant subsets. Then {O} is unstable.
A similar result was also proved by N. P. BHATIA [9].
Almost all results proved in sections 1- 3 are proved in the more general
framework of the theory of flows without uniqueness in the monograph by G. P.
SzEGO and G. TRECCANI [1].
Section 4. Preliminary ideas leading to the extension theorems can be found in the
works of D.R. INGWERSON [1] and W. LEIGHTON [1]. A complete preliminary statement was given by G. P. SzEGo [4]. Its complete proof for the case of global asymptotic stability is due to N. P. BHATIA and G. P. SzEGo [2].
The complete global extension theorem 4.3 is due to G. P. SzEGO [5].
There is a basic difference between the application of Theorem 3.9 and Corollary 3.13 on the one hand and that of Theorem 4.1 on the other. Namely in order to
use Theorem 3.9 for an estimate of A (M) one had to prove that for a certain {3,
N (/3) is compact, while in Theorem 4.1 this operation does not have to be performed
at all and in addition N ({3) may well be not compact. Clearly however, in this case,
one has to make sure (see condition 4.1.5) that in the open set N (/36) - M there do
not exist points in which 1Jl (x) = 0 nor diverging sequences along which 'tJl (x) ~ 0.
The use of the extension theorem as compared with the classical asymptotic
stability theorem has been shown in various papers (see, for instance, G. P. SzEGO
[7], G. P. SzEGO, C. OLECH and A. CELLINA [1], G. P. SzEGo, G. ARIENTI and
C. SuTTI [1]). These theorems are useful for instance when one is interested in the
stability properties of the rest point x = 0 of an ordinary differential equation
== g(x), g(O) = 0, g: R" ~ R", which admits a non-singular linear approximation
in the neighborhood of the point x = 0, i.e., such that the Jacobian matrix ] =
{ogi/ox;} evaluated at the point x = 0 (and therefore with constant elements) is
nonsingular. In this case the local stability properties of the rest point x = 0 coincide
with those of the rest point x = 0 of the linear differential equation with constant
coefficients: = ] x. The stability properties of equation 4.4.3 are easily analyzed
by algebraic criteria (ROUTH, HuRWITZ, etc., see e.g., GANTMACHER [1]). In this
situation the extension theorems allow one to solve problems which are not practically solvable within the classical theory, for instance when one is able to construct
a continuously differentiable Liapunov function vanishing at the rest poiAt x = 0,
which is locally asymptotically stable, and such that 'tJl (x) satisfies conditions 4.1.5
or 4.3.5. On the other hand <p (x) may have a structure making it very difficult to
analyze its sign properties (for instance it is a polynomial of order higher than two),
165
as required in the classical theory. The extension theorems are proved for the case
of differential equations without uniqueness in the monograph by G. P. SzEGo and
G. TRECCANI [1].
Section 5. By applying the extension theorems for the case of differential equations
without uniqueness (G. P. SzEGo and G. TRECCANI [1]) to the study of the geometrical problems presented in section 5, all those results can be proved in a stronger
form, namely under the assumption that <p (x) E ~1 , but not necessarily E ~2. Similar
results for functions of the class ~ 1 , derived from Theorem 5.9 are proved for such
functions and can be found in the monograph by N. P. BHATIA and G. P. SzEGo [1].
The technique used in the proof of Theorem 5.9 can also be applied in the
proof of relationships between the properties of the set N' ({J) and those of the
vector grad <p (x). Most of the relationships are esseniially generalization to Rn
of the well known Rolle's theorem. A first result along the line was proved
byG. P. SzEGO [8]. Additional results are proved byG. P.SzEGo and G. TRECCANI [1].
Section 6. All results of Theorem 6.1 can be found in the monograph of N. P. BHATIA and G. P. SzEGo [1] and contain as special cases previous results by E. A. BARBASHIN and N. N. KRAsovsKII [1] and by J.P. LASALLE [4, 6, 7]. A weaker version of Theorem 6.1 was proved for flows without uniqueness by G. P. SzEGO and
G. TRECCANI [1] where also theorems 6.3, 6.4 and 6.5 are proved for the case of
functions <p (x) E ~1.
Finally, we would like to point out that the problem of the existence of Liapunov functions for differential equations (converse problem) has been discussed
by many authors, notably J. J. MASSERA [5, 6], N. N. KRASOVSKII [3, 6, 7, 8, 9],
K. P. PERSIDSKII [2], I. VRKOC [1] and J. KURZWEIL [1, 2] and J. KuRZWEIL and
I. VRKOC [1].
Some results on the existence of ~ 00 -Liapunov functions for asymptotically
stable rest points were then proved by ZuBov [1].
Results on the existence of ~ -Liapunov functions for compact asymptotically
stable sets are given by F. w. WILSON [1]. J. L. MASSERA [2] and J. KURZWEIL
simultaneously proved the existence of a <tf -Liapunov function for the uniformly
asymptotically stable rest point of the differential equation x = f(x, t). The method
used in the proof is quite different from the method of ZuBov. T. YOSHIZAWA [1]
gives simpler converse theorems, but is able to prove only the existence of Lipschitz
continuous Liapunov functions.
00
00
Section 7. Most of the results of this section are due to J. A. YORKE [ 1, 7]. The
reader may consult the original papers for the complete proofs.
Chapter IX
X = f (x), x E Rn,
lim inf <p (x) =Jim [inf {<p (x): x ES (x0 , e)}J.
X-+X 8
-+0
>
<p (x)
for all x E U,
167
1. Introduction
for all x E U.
dqij;t) It=o
Notice
that while for the estimation of 1P (x) no knowledge about the trajectories
of the system is required, the estimation of <p' (x) requires the knowledge
of the trajectories.
Similarly for the case of lower-semicontinuous real-valued functions
one needs a connection between D+ (x t) lt=O and the real-valued function,
defined below in 1. 6.1, for the evaluation of which no knowledge of the
trajectories is required. This connection is provided by the following
theorem due to YORKE [3].
1.6
Theorem. Let v = <p (x), <p: U-+ R be a lower-semicontinuous
real-valued function defined on an open set UC Rn. Assume that there
exists a real-valued function w = ~(x), ~: U-+ Rn, which is defined and
continuous in U and such that the extended real-valued function
1. 6.1
+ i-z) -
q> (x)]
z~f(~)
T~O+
<p (x)]
Jfyjj-+O
<p* (x)
<
~ (x)
for all x E U.
Then
t
1. 6. 3
<p* (x)
C U and
168
Sketch of Proof. Let e > 0. Then there is an integer N such that for
n > N, the inequality
1.6.5
n-1 (
kt) t
+oJ~t (xs)ds >I~
x- k=O
n n
holds.
From 1.6.2, for each integer n > N and k with 0 < k < n - 1, there
exist h(n,k)' Y(n,k)' satisfying 0 < h(n,k) < t/n, IY(n,k) I < t/n, such that
1.6.6
kt )
~ ( x-;;:
>
-1 [
h{n,k)
kt
kt )
cp ( x-.;;:
+ h(n,k) f ( x-;-
+ h(n,k> Y (n,k) )
-ip(x:)J-e:.
Since <p is lower-semicontinuous, and f is uniformly bounded on the
compact trajectory segment x [O, t], we may further choose hcn,k) and
Y(n,k) such that the first term on the right hand side is either non-negative
(this is possible at points x (kt/n) where <pis not a maximum), or (where <p
has a maximum and is hence continuous) the inequality
kt
<p ( x-;;-
kt)
+ h(n,k) f ( x-.;;:
+ h(n,k) Ycn,k) ) -
<p
kt)
x-;:
> -
hcn,k)-;;-
holds. With such a choice, 1.6.5 yields on using 1.6.6, the inequality
t
1.6.7
e+f~(xs}ds>-=-B
0
<p (x)
n[(k-1
+I
cp x - - t + h(n,k-l) I (k-1
x --- t
k=l
n
n
+ h(n,k-t) Y(n,k-1))- 'P ( X :)J
In the last sum, the terms are either non-negative, or no less than
h(n,k-l) e/n. Therefore we have
t
e + ~ (xs) ds > - 3e
+ <p (xt)
- <p (x).
Since e > 0 was arbitrary, the inequality 1.6.3 holds. This proves the
theorem.
169
i-+oo
But
i tj+y/
ti+1
<
Ii~
i~oo
-y "if-+ - oo
j=1
t1
= -
170
2.2
Remarks.
2.2.1
Notice that if Mis positively invariant, the conclusion is that
Mis a global attractor.
2.2.2
In many examples of attractors, such a <p exists. For instance,
if we make the additional hypothesis that for each y ~ M the arc length
of the half-trajectory y+(y) is finite, then a function <p as described below
00
<p is a function as
<
d
dt <p (yt)
2.2.3
Notice that 2.1.1 implies that K' (v) is closed relative to @(M},
i.e., the limit points of K' (v) in @(M} are in K' (v); therefore, 2.1.3 may be
guaranteed, for example, by assuming <p (x) ~ oo as !xi ~ oo.
2.2.4
It can be seen from the proof that <p satisfiescp (x) > lim inf <p (y)
y_.,.M
for all x E @ (M). If <p was assumed to be defined and continuous on Rnand
constant on M, and if M was invariant, then M would be stable.
2.2.5
The assumption 2.1.2 is similar to saying <p* is negative definite.
The assumption "cp* (y) < O", however, does not imply that <p (xt) is not
constant since cp* is not necessarily a continuous function. (Examples can
be given.)
2.3
Example of an Attractor. Let dimension n = 2, and let x be in
the usual polar coordinates (e, fJ). Let M be {(O, 0), (1, O)}. Then M is
invariant for
2.3.1
JO= (2n -
O)
o + max{O, 1- e},
le= -11 - el
(1.0)
--Fig.2.3.2
171
-log (1 - e)
2.3.3
<p (f!> O) = { _ 0 + e
Then
2.3.4
J-1
<p*(e. O) =
l-0- 11 -
el
fore< 1,
fore> 1.
<p6 * (x)
2.4.3
c5K~(v) V M~
is compact or is all of Rn.
Proof. Assume 2.4.1 holds. Let M in Theorem 2.1 be M 6 in Theorem 2.4; for each y there exists a sequence i-n ~ CXJ such that y-rn ~ M 6
(whether 2.1.4 or 2.1.5 is satisfied). It follows that letting c5 = 1/2n there
exists tn > n such that e(ytn, M 6 ) < 1/2n. Hence, ytn ~ M as n ~ oo.
Therefore Mis a weak attractor.
To show the converse, assumeM is a weak attractor. Let M 6 == S [M, <5]
for all c5 > 0. For yE @(M6} let <p6 (y) =inf {t > 0: ytE Md} To see
that <p6 is lower-semicontinuous, fix y and let v E [O, <pd (y)). Then
inf e (yt, M) > c5 and for some neighborhood N of y, for all z EN,
tE[O,v]
dtpi{t)
Lo=
>
-1 for yE @(M.,).
~6
2.5
Theorem. Consider the differential equation 2.1.1. Let M ( Rn
be a compact invariant set. The set M is a global attractor if and
only if 2.4.1 holds requiring in addition that, for each c5 > 0, the sets
Md can be chosen to be invariant.
172
variant set in S [M, c5], so <p6 (y) is defined for ally E @(M6).
To see <p6 is lower-semicontinuous, note that if e (yt, M) > <5 for some
t and y, then for all z in some neighborhood N of y, e (zt, M) > c5, and
<p6(z) > t, so lim inf <p6 (z) > <pd (y). As in the previous proof, 2.4.4 holds
and <p*
2.6
<
z~
-1 =
~6
on @(M6).
Remarks.
2.6.1
For all <5 > 0, we may have Md= M. If in 2.4.1 the largest
invariant subset of S [M, c5] isM, then Md = M. If Md = M for some
c50 > 0, then we may let M 6 = M 60 and <p~ = 'Pdo for all c5.
0
2.6.2
Both 2.4.1 and 2.4.3 use families of Liapunov functions; if Mis
invariant in 2.4.1 and is not a global attractor, then it can be seen from
Theorem 2.1 that Md =f: M; if Md= M for some <5, then 2.2.1 implies
xt ~ M if t ~ + oo for all x and x E R!", and M is an attractor.
x = /(x),
XE Rn,
/(0) = 0,
173
1P (x)
<
-tX6
(llxll).
3.3
Property. Let v = <p (x), <p: U -+ Rn, where U ( Rn is an open
set, be lower-semicontinuous. Let DC Ube the set of all points in which
<p (x) is not continuously differentiable. We shall say that <p (x) has the
property 3.3 if and only if for each x ED*== D - {O}, there exists a
real number ~ > 0 and a real-valued function rux 6 (y), which is lowersemicontinuous in the sphere S (x, ~),and such that for all y ES (x, ~)
3.3.1
+ i-z)
- mx,d (y)]
<
-e, e
>
8~/(y)
and moreover
3.3.2
= <p (x).
3.4.1
{ ()
= r,
S ={fr - r0 f <a;
2n - e <
() <
2n:; 0
w (r, fJ)
-fJ
= { e-8
<
2n.
174
() <
2n, we have
w=
w* (r, 0)
-r~o
if'<
,..,
+ i-0) =
w* (r, 0) = - (r
(r
r:+
2n, we have 0
e and
,..,
0) . Thus
+ 2n).
w* (r, 0)
Thus each lower-semicontinuous real-valued function which is continuously differentiable on the whole plane (r, 0), except on the axis 0 = 0,
has the property 3. 3 for the system 3.4.1.
Notice that in this example the condition on ru* holds indeed only
locally (for each X < e/r + 2n) and not globally on the axis 0 = 0.
From the definitions given the following proposition can be easily
derived.
3.5
Proposition. If v = <p (x) is a lower-semicontinuous real-valued
function which has the property 3.3 in the set U (Rn, then for each
x E Uthe set y (x) (\ D* is a set of isolated points.
We shall prove next that if a real-valued function has the property
3.3, then some properties of the function which hold in the set U - D*,
hold for the whole set U.
The following theorem is a special case of Theorem 1.6. We shall
however give a complete proof, since under the stronger assumptions
made on the function <p (x) its proof is quite simple.
Theorem. Let v = <p(x), <p: U ~Rn, where U (Rn is an open
3.6
set with {O} C U, be lower-semicontinuous and have the properties 3.2
and 3.3 with respect to the dynamical system 3.1, while for each x E D*,
1P (x) (1. 6.1) is finite. Then
t
3.6.1
<p(xt) -
<p(x)
< -
175
ak,
Tk) V
+ ak)} (\ D* == 0.
x(Tk, Tk
[0,t]
3.6.2
<p(xt)-<p(x)
k=i Tk-9
k=i
1:k+8
1:1-8
Now by
letting()~
o+ from
3.6.2 we obtain
t
<p (xt) -
<p (x)
< -
<X8
(l!xT! j) dT
Let D* = D - {0}. We shall say that <p (x) has the property 3. 7, if
and only if <p (x) has the properties 3.2 and 3.3 and in addition, 1P (x) is
finite for each x E D*.
We shall say that the extended real-valued function w = 1P(x) has the
property 3. 7 whenever it has the properties stated above. A similar
definition can be given for upper-semicontinuous real-valued functions.
3.8
Remark. It is well known that for the case of a continuous realvalued function v == <p(x), <p: U 4 R, U (Rn, OE U, the condition:
3.8.1
there exists a continuous, nondecreasing real-valued function
<X (), lX: R ~ R, <X (0) = 0 and <X () > 0 for > 0, and such that
<p(x)
U,
<p (x)
<
0 implies
xn ~ {O}.
This equivalence is not generally true for semicontinuous functions.
176
4. Local Results
We shall next apply the results of the previous section to the study
of some local properties of the flow in the neighborhood of the rest point
x == 0 of the dynamical system 3.1. Here we shall give some results on
properties which cannot be characterized by continuously differentiable
Liapunov functions.
4.1
Theorem. Let U C Rn be an open neighborhood of the rest point
x == 0, and U be compact. Let v == <p (x) have the property 3. 7. Then the
set U - {O} does not contain any recurrent trajectory.
Proof. Let 'Y (x)
CU
compact minimal set. Thus e[y(x), {O}J = <1 > 0. We can choose Xa()
such that 3.2.1 holds. For Theorem 3.6 for each t > 0:
t
4.1.1
<p(xt) - <p(x)
< -
X0
(j[xrj[) dr < -
JX
t.
On the other hand if 'Y (x) is recurrent then x EA+ (x), hence there exists a
sequence {tn} ( R+, tn ~ +ex:>, such that xtn--+ x. Thus from 4.1.1
4.1.2
<p (xtn)
<
<p (x) -
lXa
(a) tn
and <p (xtn) --+ - ex:> for n--+ - ex:> which implies that v == <p (x) is not lowersemicontinuous in the point x E U and violates the hypothesis.
4.2
Theorem. Let v == <p (x), <p: U--+ R be a lower-semicontinuous
real-valued function defined on an open set U (Rn, with 0 E U, and such
that
4.2.1
4.2.2
4.2.3
>
0 for x E U - {O},
<
177
5. Extension Theorems
and {sn} such that yrn E H(z, ! !lzlj) and ysnE H(z, i llzll) and for
each n, Sn< 'l'n < tn.
We may also assume that for sn < t < 'l'n,ytE S(z, i llzll) and that
rn - sn > <J > 0 for each n. From the inequality 3.6.1 it follows that
n
<
~( <p (yri)
-- <p (ysi))
j=1
n ~
< -
- Xiflzll
si
(i Ijzj j)
~ (ri - si)
i=1
nXillzll (i
Ilzl [) <J
Then for sufficiently large n, 'P (ytn) < t <p (z) and so <p (x) cannot be
lower-semicontinuous in zE U. \Vehaveproved that for each yE U,A+(y)
= {O} and so {O} is an attractor and its region of attraction contains U.
5. Extension Theorems
We shall prove first the global extension theorem, i.e., a theorem
which allows us to extend to the whole space the local stability properties of the rest point x == 0, which are assumed to be known.
5.1
Theorem. Let v == <p (x), <p: Rn-+ R be a real-valued function
which satisfies the following conditions:
5.1.1
== <p (x)
>
<p (x),
xn~x
5.1.2
<p(O)
== 0,
5.1. 3
the extended real-valued function 1P (x) (1.6.1) has the property
3.7 on Rn.
Then if {O} is a positive attractor, it is a positive global attractor.
5.1.4
== k >
0.
Xk
() such that
5.1.5
< -
J (I jx rj I) dr <
Xk
-tXk (k)
t.
Thus there exists 7: > 0, such that x 0i- E oA and <p (x0r) < 0. Since <p (x)
has the property 3.3, for each r' > l', fr' - l' I < e, e > 0 sufficiently
12
178
small, <p (x) is continuous in x -,:' and <p (x0-r') < <p (x0-r)
there exists z E A such that <p (z) < 0. Hence
<p (zt)
<
+ oo,
<
>
<
0.
== 0.
Thus
5.2
Remark. The most interesting case in which Theorem 5.1 can be
applied is the case of an unstable attractor. This is a case in which it is not
possible to construct a continuous Liapunov function with sign-definite
total time derivative. On the other hand it is possible to construct a
lower-semicontinuous real-valued function v == <p (x) which satisfies the
hypotheses of Theorem 5.1. It is to be noticed that such a real-valued
function must be discontinuous at the point x == 0.
A theorem analogous to Theorem 5.1 can be proved also for uppersemicontinuous real-valued function v = <p (x). I ts proof is left as an
exercise to the reader.
== <p (x)
5.3.2
<p (0)
is upper-semicontinuous,
== 0,
5. 3. 3
the extended real-valued function 1P (x) defined in 1. 6.1 has
the property 3. 7 on Rn.
Then if {O} is a negative attractor, it is a negative global attractor.
We shall proceed next with the proof of the local extension theorem.
Its proof requires the sets introduced in Definition VIII, 2.1. We therefore apply Definition VIII, 2.1 to the case of a lower-semicontinuous
real-valued function v == <p(x), and to the case in which M == {O}. In
this case, in general, the properties VIII, 2.2 do not hold, instead we
have
fJ >
== <p (x)
5.4.2
If v = <p (x) is discontinuous at the point x
exists a real number f3 > 0 such that {O} C oN(f3).
== 0,
179
then there
5.4.3
<p (x)
5.4.4
We are now in the position of proving the local extension theorem for
attracting rest points.
5.5
Theorem. Consider the differential equation 3.1 which defines a
dynamical system. Let x = 0 be an isolated rest point which is an attractor. Let v = <p (x) be a lower-semicontinuous real-valued function such
that
5.5.1
<p (0)
0,
5.5.2
there exists a real number {3 > 0 such that the extended realvalued function, w = 1P (x), defined in 1. 6.1 has the property 3. 7 in
N ({3).
Then A{{O})) N({J).
180
<
<
-1
6.1.2
6.1.3
6.1.4
<p
<p(x)
0 for
lxll >
6.1.1
0,
0,
dq; (xt)
dt t=O
6.2
Corollary. Let all the conditions of Lemma 6.1 be satisfied,
but instead of asymptotically stable assume that {O} is negatively asymptotically stable relative to U. Then there exist on U two continuous,
real-valued functions <p (x) and (} (x) which satisfy conditions 6.1.1, 6.1. 2,
6.1.3 and
6.2.1
<P
= dq!d;') j,=o =
-8 (x) (1
+ q> (x)).
The results 6.1 and 6.2 will be applied next to the construction of
a Liapunov function v = <p (x) on the region of instability I ({O}) =
JJ+ ({O}) - {O} of the rest point x == 0 of the ordinary differential equation 3.1. This rest point will be assumed to be an unstable weak
attractor. We recall that in this case the prolongation of {O}, .D+({O})
is compact.
It is desired that such a Liapunov function has the following
6.3
Properties.
6.3.1
I ({O})--+ R is lower-semicontinuous
<p(x), <p:
on the set
6.3.2
I= /({O})
6.3.3
For
each~>
<p* (x)
D+({O}) - {O}.
0 there exists e > 0 such that
+ -ry)
<-
y~f(xY
<
~-
6.3.4
If D C I ({O}) is the set of all points in I ({O}) in which <p (x)
is either not continuous or does not have a continuous total time
derivative along the trajectories of the system, then the set D - {O}
is intersected by each trajectory on a set of isolated points.
The following theorem gives a sufficient condition for a Liapunov
function to have on the set I ({O}) the properties 6.3.1, 6.3.3 and 6.3.4.
6.4
Theorem. Consider a dynamical system defined by the differential equation 3.1. Let its rest point x = 0 be an unstable weak attractor.
Assume that there exist in I (6.3.2) two compact sets P and N with the
181
following properties :
6.4.1
P is positively invariant.
6.4. 2
N is negatively invariant.
6.4.3
6.4.4
For each x E I there exists one and only one real number t' (x) E R
such that xr(x) E P (\ N.
6.4.5
6.4.6
0
6.4.7
for xE P,
<p(x) == -<pp(x)
<pN (x)
for xE N - P
P == y+ (S)
and N == y- (S).
6.5.3
6.5.4
For each e
>
Proof. Notice, first of all, that under the hypotheses made on the
system there always exists an infinite number of sections of I, since I
contains neither periodic orbits nor rest points (IV, 1.10, 2. 4). Let us
now proceed with the proof of the theorem.
6.5.3--+ 6.5.2. As already pointed out D+({O}) is a compact set,
which from the definition of the section Sis such that P V N = D+({O})
==IV {O}. If it were true that P (\ N =f= S V {O}, since S ( P V N,
182
Thus
6. 7
Theorem. Consider a dynamical system defined by the ordinary
differential equation 3.1. Assume that the rest point x = 0 is a weak
attractor and let I (6.3.1) be its region of instability. Assume that
6. 7.1
J+ (/, /)
{O}.
183
y+ (S) and N
6.8
Remark. The function which can be constructed on the set /,
if the condition 6. 7.1 is satisfied, has a property which is stronger than
6.3.4. In this latter case, in fact, the set of discontinuity D is intersected
in one and only one point by each trajectory in /. It is easy to see that
the existence of this type of Liapunov function is a necessary and sufficient condition for 6. 7.1 to be satisfied.
6.9
Theorem. Let rest point x = 0 of the dynamical system 6.3.1
be an unstable weak attractor which is such that on the set I there exists
a Liapunov function v = <p (x) which satisfies the conditions 6.3.1, 6.3.2
and 6.3.3.
In addition condition 6.3.4 is satisfied in the strongest form, i.e., the
set D - {O} is intersected by each positive semi-trajectory in one point
at the most. Then the relationship 6. 7.1 is true.
+ rf(x, t))
Section 1. The theorems presented in this section are due to J. A. YORKE [3], and
proved for the case of the differential equation = f(x, t). The proof we give is
different from the original. We notice that in the above mentioned paper two different cases are taken into account: the case in which the differential equation has
uniqueness of solution and the case in which it has not. In this latter case the statement of the theorem is less general since it is proved that for each point x E U there
184
exists at least one solution <p (x, t, t0) of the differential equation, with <p (x, t0 , t0) = x,
which satisfies the inequality 1.6.3. Indeed J. A. YORKE gives an example of a second order differential equation without uniqueness for which there exists one solution which does not satisfy the inequality 1.6.3 when all conditions of the theorem
are met.
Section 2. The results of this section are due to N. P. BHATIA, G. P. SzEGo and
J. A. YORKE [1]. They constitute a motivation for the introduction of non-continuous Liapunov functions and provide a Liapunov-type characterization of attractors and weak attractors.
Section 3-5. The results of these sections are due to G. P. SzEGo and G. TRECCANI
[3].
The problem which has motivated the research of these sections is that of the
numerical construction of piecewise quadratic Liapunov functions, as an alternative
to high order polynomials. Piecewise quadratic Liapunov functions have the definite
advantage on higher order polynomials to allow the computation of the hypervolume
of set bounded by a level surface in a much simpler way. The details on the construction of Liapunov functions can be found in the paper by G. P. SzEGo, G. ARIENTI
and C. SuTTI [1].
Section 6. The motivation of Theorem 6. 7 lies in the need for a finer analysis of the
(instability) properties of flows as shown in section VI, 2. The results of this section are due to G. P. SzEGo and G. TRECCANI [4].
References
AEPPLI, A.; MARKUS, L.
1. Integral equivalence of vector fields on manifolds and bifurcation of differential
systems. Amer. J. Math. 85, 633-654 (1963).
ALBRECHT, F.
1. Un theoreme de comportement asymptotique des solutions des equations des
systemes d'equations differentielles. Bull. Acad. Polon. Sci., Cl. III, 4,
737 - 739 ( 1956).
ANDREA, s. A.
1. On homeomorphisms of the plane, and their embedding in flows. Bull. Amer.
Math. Soc. 71, 381-383 (1965).
ANDRONOV, A.; CHAIKIN, c. B.
1. Theory of Oscillations (Russian). Moscow 1937. English translation, Princeton:
Princeton Univ. Press 1949.
ANOSOV, D. v.
1. Geodesic flows on closed Riemann manifolds with negative curvature (Russian).
Trudy Mat. Inst. Steklov, no. 90 (1967). English translation: Proc. Steklov
Inst. Math., no. 90, Amer. Math. Soc., Providence, 1969.
2. Roughness of geodesic flows on compact Riemannian manifolds of negative
curvature (Russian). Dokl. Akad. Nauk SSSR 145, 707-709 (1962). English
translation : Soviet Math. (Dokl.) 3, 1068-1070 (1962).
3. Ergodic properties of geodesic flows on closed Riemannian manifolds of negative
curvature (Russian). Dokl. Akad. Nauk SSSR 151, 1250-1273 (1963).
English translation: Soviet Math. {Dokl.) 4, 1153-1155 (1963).
ANTOSIEWICZ, H. A.
1. A survey of Liapunov's second method. In: Contributions to the Theory of
Nonlinear Oscillations, vol. 4 (Annals of Math. Studies, no. 41). Princeton:
Princeton Univ. Press 1958, pp. 141-166.
ANTOSIEWICZ, H. A.; DAVIS, P.
1. Some implications of Liapunov's conditions of stability. J. Rat. Mech. Anal.
3, 447-457 (1954).
ANTOSIEWICZ, H. A.; DUGUNDJI, J.
1. Parallelizable flows and Liapunov's second method. Ann. Math. 73, 543-555
(1961).
ARIENTI, G. (see SZEGO, G. P.)
ARNOL'n, V. L.; AvEz, A.
1. Problemes ergodiques de la mecanique classique. Paris: Gauthier-Villars 1967.
ARZELA, c.
1. Funzioni di linee. Atti R. Accad. Lincei Rend. 5, 342-348 (1889).
2. Sulle funzioni di linee. Mem. R. Accad. Bologna 5, 225-244 (1895).
186
References
Ascou, G.
1. Le curve limiti di una varieta data di curve. Mem. R. Accad. Lincei 18, 521-586
(1883/84).
AUSLANDER, J.
1. Mean-L-stable systems. Illinois J. Math. 3, 566-579 (1959).
2. On the proximal relation in topological dynamics. Proc. Amer. Math. Soc. 11,
890-895 (1960).
3. Generalized recurrence in dynamical systems. In : Contributions to Differential
Equations, vol. 3. New York: Wiley 1964, pp. 55-74.
4. Transformation groups without minimal sets. Math. Systems Theory 2, 93- 95
(1968).
AUSLANDER, J.; BHATIA, N.P.; SEIBERT, P.
1. Attractors in dynamical systems. Bol. Soc. Mat. Mexicana 9, 55-66 (1964).
AUSLANDER, J.; GOTTSCHALK, W. H.
1. (Editors) Topological Dynamics. Proceedings of an International Symposium
held at Colorado State University, Fort Collins, Colorado, August 1967.
New York-Amsterdam: Benjamin 1968.
AUSLANDER, J.; HAHN, F.
1. Point transitive flows, algebras of functions and the Bebutov system. Fund.
Math. 60, 117-137 (1967).
AUSLANDER, J.; SEIBERT, P.
1. Prolongations and generalized Liapunov functions. In: Nonlinear Differential
Equations and Nonlinear Mechanics, J.P. LaSalle and S. Lefschetz (Editors). New York: Academic Press 1963, pp. 456-462.
2. Prolongations and stability in dynamical systems. Ann. Inst. Fourier (Grenoble)
14, 237- 267 (1964).
AUSLANDER, L.; GREEN, L. W.
1. G-induced flows. Amer. J. Math. 88, 43-60 (1966).
AUSLANDER, L.; GREEN, L. W.; HAHN, F.
1. Flows on Homogeneous Spaces (Annals of Math. Studies, no. 53). Princeton:
Princeton Univ. Press 1963.
AUSLANDER, L.; HAHN, F.
1. Real functions coming from flows on compact spaces and concepts of almost
periodicity. Trans. Amer. Math. Soc. 106, 415-426 (1963).
AvEz, A. (see also ARNOL'D, V. L.)
1. Ergodic Theory of Dynamical Systems. Lecture Notes, University of Minnesota,
1967.
2. Anosov diffeomorphisms. In: Topological Dynamics, J. Auslander and W. H.
Gottschalk (Editors). New York-Amsterdam: Benjamin 1968, pp. 17-51.
BAmosov, V. A. (see also BARBASHIN, E.A.)
1. Invariant functions of dynamical systems (Russian). Izv. Vyssh. Uchebn.
Zaved., Mat. no. 1 (8), pp. 9-15 (1959).
2. On homeomorphisms of dynamical systems (Russian). Izv. Vyssh. Uchebn.
Zaved., Mat. no. 3 (16), pp. 21-29 (1960).
BARBASHIN, E. A.
1. Introduction to the Theory of Stability (Russian). Moscow: Izd. "Nauka" 1967.
2. Sur certaines singularites qui surviennent dans un systeme dynamique quand
l'unicite est en defaut. C. R. (Dokl.) Acad. Sci. URSS 41, 139-141 (1943).
3. Les singularites locales des points ordinaires d 'un syst eme d 'equations differentielles. C. R. (Dokl.) Acad. Sci. URSS 41, 183-186 (1943).
4. Sur la conduite des points sous les transformations homeomorphes de l'espace.
C. R. (Dokl.) Acad. Sci. URSS 51, 3-5 (1946).
References
187
188
References
6. Some remarks on P-limit point stability. In: Topological Dynamics, J. Auslander and W. H. Gottschalk (Editors). New York-Amsterdam: Benjamin
1968, pp. 53-66.
BEBUTOV, M. v.
1. Surles systemes dynamiques stables au sens de Liapounoff. C. R. (Dokl.) Acad.
Sci. URSS 18, 155-158 {1938).
2. Sur la representation des trajectoires d'un systeme dynamique sur un systeme
de droites paralleles. Bull. Math. Univ. Moscou, Ser. Internat. 2, fasc. 3,
pp. 1-22 (1939).
3. Surles systemes dynamiques dans l'espace des fonctions continues. Bull. Math.
Univ. Moscou, Ser. Intemat. 2, fasc. 5 (1939).
4. Surles systemes dynamiques dans l'espace des fonctions continues. C. R. {Dokl.)
Acad. Sci. URSS 27, 904-906 (1940).
5. On dynamical systems in the space of continuous functions (Russian). Bull.
Moskov. Gos. Univ., Mat. 2, no. 5, pp. 1-52 (1941).
BEBUTOV 1 M. v.; STEPANOV, v. v.
1. Sur le changement du temps dans les systemes dynamiques possedant une
mesure invariante. C.R. (Dokl.) Acad. Sci. URSS 24, 217-219 (1939).
2. Sur la mesure invariante dans les systemes dynamiques qui ne different que
par le temps. Rec. Math. (Mat. Sbornik) 7, 143-166 (1940).
BECK, A.
1. On invariant sets. Ann. Math. 67, 99-103 (1958).
2. Continuous flows with closed orbits. Bull. Amer. Math. Soc. 66, 305-307 (1960).
3. Plane flows with few stagnation points. Bull. Amer. Math. Soc. 71, 892-896
(1965).
4. Plane flows with closed orbits. Trans. Amer. Math. Soc. 114, 539-551 (1965).
BELLMAN, R.
1. Stability Theory of Differential Equations. New York-Toronto-London: McGraw-Hill 1953.
BELLMAN, R.; COOKE, K. L.
1. Differential-Difference Equations. New York: Academic Press 1963.
BENDIXSON, I.
1. Sur les courbes definies par des equations differentielles. Acta Ma th. 24, 1- 88
(1901).
BESICOVITCH, A. s.
1. Almost Periodic Functions. Cambridge : Cambridge Univ. Press 1932. Reprint,
New York: Dover 1954.
BHATIA, N. P. (see also AUSLANDER, J .)
1. Stability and Lyapunov functions in dynamical systems. In : Contributions to
Differential Equations, vol. 3. New York: Wiley 1964, pp. 175-188.
2. Weak attractors in dynamical systems. Bol. Soc. Mat. Mexicana 11, 56-64
(1966).
3. Criteria for dispersive flows. Math. Nachr. 32, 89-93 (1960).
4. Lectures on Ordinary Differential Equations: Stability Theory with Applications. Department of Mathematics, Western Reserve University, Spring,
1964.
5. On asymptotic stability in dynamical systems. Math. Systems Theory 1,
113-128 (1967).
6. Semidynamical flow near a compact invariant set. In: Topological Dynamics,
J. Auslander and W. H. Gottschalk (Editors). New York-Amsterdam: Benjamin 1968, pp. 81-96.
References
189
190
References
BRAUER,F.
1. Liapunov functions and comparison theorems. In: Nonlinear Differential
Equations and Nonlinear Mechanics, J. P. LaSalle and S. Lefschetz (Editors). New York: Academic Press 1963, pp. 435-441.
2. The use of comparison theorems for ordinary differential equations. In: Stability
Problems of Solutions of Differential Equations, A. Ghizzetti (Editor).
Gubbio : Oderisi 1966.
BRAUER,F.; STERNBERG, SH.
1. Local uniqueness, existence in the large, and the convergence of successive
approximations. Amer. J. Math. 80, 797 (1958).
BRIOT, C. A.A. (see BOUQUET, J.C.)
BRONSTEIN, I. U. (see also SIBIRSKII, K. S.)
1. Motions in partially ordered dynamical systems (Russian). Uchen. Zap.
Kishinev. Univ., no. 39, pp. 249-251 (1959).
2. On dynamical systems without uniqueness, as semigroups of non-single-valued
mappings of a topological space (Russian). Dokl. Akad. Nauk SSSR 144,
954-957 (1962). English translation: Soviet Math. (Dokl.) 3, 824-827
(1962).
3. Recurrence, periodicity and transitivity in dynamical systems without uniqueness (Russian). Dokl. Akad. Nauk SSSR 151, 15-18 (1963). English
translation: Soviet Math. (Dokl.) 4, 889-892 (1963).
4. On dynamical systems without uniqueness, as semigroups of non-singlevalued
mappings of a topological space (Russian). Izv. Akad. Nauk Moldav. SSR,
Ser. Estestven. Tekh. Nauk, no. 1, pp. 3-18 (1963).
5. Two examples of dynamical systems (Russian). Izv. Akad. Nauk Moldav. SSR,
Ser. Estestven. Tekh. Nauk, no. 1, pp. 73-74 (1963).
6. Recurrent points and minimal sets in dynamical systems without uniqueness
(Russian). Izv. Akad. Nauk Moldav. SSR, Ser. Estestven. Tekh. Nauk,
no. 7, pp. 14-21 (1965).
7. On homogeneous minimal sets (Russian). Papers on Algebra and Analysis,
Kishinev, 1965, pp. 115-118.
8. Recurrent points and minimal sets in dynamical systems without uniqueness.
Bui. Akad. Shtiince RSS Moldoven., 1965, no. 7, pp. 14-21.
9. A contribution to the theory of distal minimal sets and distal functions (Russian).
Dokl. Akad. Nauk SSSR 172, 255-257 (1967). English translation: Soviet
Math. (Dokl.) 8, 59-61 (1967).
BRONSTEIN, I. U.; SHCHERBAKOV, B. A.
1. Certain properties of Lagrange stable funnels of generalized dynamical systems
(Russian). Izv. Akad. Nauk Moldav. SSR, Ser. Estestven. Tekh. Nauk, no. 5,
pp. 99-102 (1962).
BROUWER, L. E. J.
1. On continuous vector distributions, I, II, III. Verh. Nederl. Akad. Wetensch.,
Afd.Natuurk., Sec. I, 11, 850-858 (1909); 12, 716-734 (1910); 13, 171-186 (1910).
BROWDER, F. E.
1. On the iteration of transformations in noncompact minimal dynamical systems.
Proc. Amer. Math. Soc .. 9, 773-780 (1958).
2. On a generalization of the Schauder fixed point theorem. Duke Math. J. 26,
291-303 (1959).
3. On the continuity of fixed points under deformations of continuous mappings.
Summa Brasil. Math. 4, 183-191 (1960).
References
191
4. On the fixed points index for continuous mappings of locally connected spaces.
Summa Brasil. Math. 4, 253- 293 (1960).
BROWN, M.
1. The monotone union of open n-cells is an open n-cell. Proc. Amer. Math. Soc.
12, 812-814 (1961).
BunAK,B.M.
1. Dispersive dynamical systems (Russian). Vestnik Moskov. Univ., no. 8,
pp. 135-137 (1947).
2. The concept of motion in a generalized dynamical system (Russian). Uchen.
Zap. Moskov. Univ., no. 155, Mat., 5, 174-194 (1952).
BUSHAW, D.
1. Dynamical polysystems and optimization. In: Contributions to Differential
Equations, vol. 2, New York: Wiley 1963.
2. A stability criterion for general systems. Math. Systems Theory 1, 79- 88
(1967).
3. Dynamical polysystems - a survey. In: Proceedings U.S.-Japan Seminar on
Differential and Functional Equations, W. A. Harris, Jr. and Y. Sibuya
(Editors). New York-Amsterdam: Benjamin 1967, pp. 13-26.
4. Stability of Liapunov and Poisson types. SIAM Rev. 11, 214-225 (1969).
CAIRNS, s. s.
1. (Editor) Differential and Combinatorial Topology. Princeton: Princeton Univ.
Press 1965.
CARATHEODORY,C.
1. Vorlesungen fiber reelle Funktionen. Leipzig: Teubner 1927. Reprint, New
York: Chelsea 1958/60.
2. Calculus of Variations and Partial Differential Equations of the First Order
(German). Leipzig-Berlin: Teubner 1935. English translation in two volumes, San Francisco: Holden-Day 1965/67.
CARTWRIGHT, M. L.
1. Some decomposition theorems for certain invariant continua and their minimal
sets. Fund. Math. 48, 229-250 (1960).
2. From non-linear oscillations to topological dynamics. J. London Math. Soc.
39, 193-201 (1964).
3. Topological problems of nonlinear mechanics. Abh. Deutsch. Akad. Wiss.
Berlin, Kl. Math., Phys., Tech. (1965) no. 1. - III. Konferenz iiber nichtlineare Schwingungen, Berlin 1964, Teil I. Berlin: Akademie-Verlag 1965,
pp. 135-142.
4. Equicontinuous mappings of plane minimal sets. Proc. London Math. Soc. 14A,
51-54 (1965).
5. Almost periodic differential equations and almost periodic flows. J. Diff. Eqs.
5, 117-135 (1969).
CAUCHY, A. L.
1. Oeuvres completes, vol. 1. Paris: Gauthier-Villars 1888.
CELLINA, A. (see SzEGO, G.P.)
CESARI, L.
1. Asymptotic Behavior and Stability Problems in Ordinary Differential Equations (Ergebnisse der Mathematik und ihrer Grenzgebiete, Neue Folge,
Heft 16). Berlin-Gottingen-Heidelberg: Springer 1959.
CHAIKIN, C. B. (see ANDRONOV, A.)
CHEN, K. T.
1. Equivalence and decomposition of vector fields about an elementary critica
point. Amer. J. Math. 85, 693-722 (1963).
192
References
CHERRY, T. M.
1. Topological properties of solutions of ordinary differential equations. Amer. J.
Math. 59, 957-982 (1937).
2. Analytic quasi-periodic curves of discontinuous type on a torus. Proc. London
Math. Soc. 44, 175-215 (1938).
3. The pathology of differential equations. J. Austral. Math. Soc. 1, 1-16 (1959).
CHETAEV, N.
1. The Stability of Motion. Moscow: G ITTL 1946; 2nd ed. 1959. English translation, London: Pergamon Press 1961.
2. On stability in the sense of Poisson (Russian). Zap. Kazansk. Mat. Obshch.,
1929.
3. Un theoreme sur l'instabilite. C.R. (Dokl.) Acad. Sci. URSS (N.S.) 2, 529-531
(1934).
4. On instability of the equilibrium in certain cases where the force function does
not have a maximum (Russian). Uchen. Zap. Kazansk. Univ., 1938.
5. On unstable equilibrium in certain cases when the force function is not maximum (Russian). Prikl. Mat. Mekh. 16, 89-93 (1952).
6. On certain questions relative to the problem of the stability of unsteady motions (Russian). Prikl. Mat. Mekh. 24, 6-9 (1960). English translation:
J. Appl. Math. Mech. 24, 5-22 (1960).
7. On the stability of "rough" systems (Russian). Prikl. Mat. Mekh. 24, 20-22
(1960). English translation: J. Appl. Math. Mech. 24, 23-26 (1960).
CHU,HSIN
1. On totally minimal sets. Proc. Amer. Math. Soc. 13, 457-458 (1962).
2. Algebraic topology criteria for minimal sets. Proc. Amer. Math. Soc. 13, 503508 (1962).
3. Fixed points in a transformation group. Pacific J. Math. 15, 1131-1135 (1965).
4. A note on compact transformation groups with a fixed end point. Proc. Amer.
Math. Soc. 16, 581-583 (1965).
CLAY, J.P.
1. Proximity relations in transformation groups. Trans. Amer. Math. Soc. 108,
88-96 (1963).
2. Invariant attractors in transformation groups. Illinois J. Math. 8, 473-479
(1964).
CODDINGTON, E. A.; LEVINSON, N_
1. Theory of Ordinary Differential Equations.
McGraw-Hill 1955.
New York-Toronto-London:
COLEMAN, C.
1. Equivalence of planar dynamical and differential systems. J. Diff. Eqs. 1,
222-233 (1965).
CoNLEY,C.C.
1. Invariant sets in a monkey saddle. In: Proceedings U.S.-Japan Seminar on
Differential and Functional Equations, W. A. Harris, Jr. and Y. Sibuya
(Editors). New York-Amsterdam: Benjamin 1967, pp. 663-668.
2. Twist mappings, linking, analyticity and periodic solutions which pass close to
an unstable periodic solution. In: Topological Dynamics, J. Auslander and
W. H. Gottschalk (Editors). New York-Amsterdam: Benjamin 1968,
pp. 129-153.
3. On the ultimate behavior of orbits with respect to an unstable critical point, I.
Oscillating, asymptotic and capture orbits. J. Diff. Eqs. 5, 136-158 (1969).
References
193
13
194
References
References
195
13*
196
References
7. The universal curve of Sierpinski is not a minimal set. Notices. Amer. Math.
Soc. 6, 257 (1959).
8. An irreversible minimal set. In: Ergodic Theory. Proceedings of an International
Symposium held at Tulane University, New Orleans, Louisiana, October
1961. New York: Academic Press 1963, pp. 135-150.
9. Substitution minimal sets. Trans. Amer. Math. Soc. 109, 467-491 (1963).
10. Minimal sets occur maximally. Trans. New York Acad. Sci. 26, 348-353 (1964).
11. A survey of minimal sets. Ann. Inst. Fourier (Grenoble) 14, 53-60 (1964).
12. Ambits. Invited Lecture given at the Regional Conference on Global Differentiable Dynamics held at Case-Western Reserve University, Cleveland, Ohio,
June 1969.
GOTTSCHALK, w. H.; HEDLUND, G. A.
1. Recursive properties of transformation groups. Bull. Amer. Math. Soc. 52,
637-641 (1946).
2. The dynamics of transformation groups. Trans. Amer. Math. Soc. 65, 348- 359
(1949).
3. Asymptotic relations in topological groups. Duke Math. J. 18, 481-485 (1951).
4. Topological Dynamics (Amer. Math. Soc. Colloquium Publications, vol. 36).
Providence 1955.
5. A characterization of the Morse minimal set. Proc. Amer. Math. Soc. 15, 70-74
(1964).
GRABAR, M. I.
1. The representation of dynamical systems as systems of solutions of differential
equations. Dokl. Akad. Nauk SSSR 61, 433-436 (1948).
2. Transformations of dynamical systems into systems of solutions of differential
equations (Russian). Vestnik Moskov. Univ., 1952, no. 3, pp. 3-8.
3. On change of time in dynamical systems (Russian). Dokl. Akad. Nauk SSSR
109, 250-252 (1956).
4. On a sufficient test for isomorphism of dynamical systems (Russian). Dokl.
Akad. Nauk SSSR 109, 431-433 (1956).
5. Isomorphism of dynamical systems differing only in time (Russian). Dold. Akad.
Nauk SSSR 126, 931-934 (1959).
GREEN, L. W. (see also AusLANDER, L.)
1. Transversals to a flow. In: Topological Dynamics, J. Auslander and W. H.
Gottschalk (Editors). New York-Amsterdam: Benjamin 1968, pp. 225-242.
GROBMAN, D. M.
1. Systems of differential equations analogous to linear ones. Dokl. Akad. Nauk
SSSR 86, 19-22 (1952).
2. Homeomorphisms of systems of differential equations. Dokl. Akad. Nauk
SSSR 128, 880-881 (1959).
3. Topological and asymptotic equivalence for systems of differential equations
(Russian). Dokl. Akad. Nauk SSSR 140, 746-747 (1961). English translation: Soviet Math. (Dokl.) 2, 1201-1253 (1961).
4. Topological classification of the neighborhood of a singular point in n-dimensional space. Mat. Sbornik (N.S.) 56 (98), 77-94 (1962).
5. The topological equivalence of dynamical systems (Russian). Dokl. Akad. N auk
SSSR 175, 1211-1212 (1967). English translation: Soviet Math. (Dokl.) 8,
985-986 (1967).
6. Global topological equivalence of systems of differential equations. Mat. Sbornik (N.S.) 73, 600-607 (1967).
References
197
198
References
HALANAY,
J.
K.
1. Integral manifolds of perturbed differential systems. Ann. of Math. 73, 496-531
(1961 ).
2. Dynamical systems and stability. J. Math. Anal. Appl. 26, 39-59 (1969).
HALE,
J. K.; LASALLE, J. P.
1. (Editors) Differential Equations and Dynamical Systems. Proceedings of an
HALE,
J. K.; STOKES, A. P.
1. Behavior of solutions near integral manifolds. Arch. Rat. Mech. Anal. 6, 133170 (1960).
HALE,
HALKIN, H.
butions to Differential Equations, vol. 3. New York : Wiley 1964, pp. 377 385.
2. Finitely convex sets of nonlinear differential equations. Math. Systems Theory
1, 51-54 (1967).
P. R.
1. Lectures on Ergodic Theory. Mathematical Society of Japan, Tokyo 1956.
Reprint, New York: Chelsea 1960.
HALMOS,
HARRIS,
References
199
200
References
w.
References
201
KATO, J.
1. The asymptotic behaviour of the solutions of differential equations or the product space. Arch. Rat. Mech. Anal. 6, 133-170 (1960).
2. The asymptotic relation of two systems of ordinary differential equations. In:
Contributions to Differential Equations, vol. 3. New York: Wiley 1964,
pp. 141-161.
3. Asymptotic equivalences between systems of differential equations and their
perturbed systems. Funkcial. Ekvac. 8, 45-78 (1966).
4. Asymptotic equivalence. In: Seminar on Differential Equations and Dynamical
Systems, G. S. Jones (Editor) (Lecture Notes in Mathematics, vol. 60).
Berlin-Heidelberg-New York: Springer 1968, pp. 27 - 32.
5. A remark on the result of Strauss. In: Seminar on Differential Equations and
Dynamical Systems, G. S. Jones (Editor) (Lecture Notes in Mathematics,
vol. 60). Berlin-Heidelberg-New York: Springer 1968, pp. 89-98.
KAYANDE, A. A.; LAKSHMIKANTHAM, V.
1. Conditionally invariant sets and vector Liapunov functions. J. Math. Anal. Appl.
14, 285-293 (1966).
KELLEY, J. L.
1. General Topology. New York: Van Nostrand 1955.
KENT, J. F. III (see ENGLAND, J. W.)
KEYNES, H.
1. The proximal relation in a class of substitution minimal sets. Math. Systems
Theory 1, 165-176 (1967).
KIMURA, I. (see URA, T.)
KNAPP, A. W. (see KAHN, P. J.)
KNESER, A.
1. Studien iiber die Bewegungsvorgange in der Umgebung instabiler Gleichgewichtslagen, I, II. J. reine angew. Math. 115, 308-327 (1895); 118, 186223 (1897).
KNESER, H.
1. Uber die Losungen eines Systemes gewohnlicher Differentialgleichungen, das
der Lipschitzschen Bedingung nicht geniigt. Sitzungsber. Preuss. Akad.
Wiss., Phys.-Math. Kl., 1923, pp. 171-174.
2. Regulare Kurvenscharen auf den Ringflachen. Math. Ann. 91, 135-154 (1924).
KoLMoGoRov, A. N.; FoMIN, S. V.
1. Elements of the Theory of Functions and Functional Analysis. Rochester, N.Y.:
Graylock 1957.
KRAsovsKn, N. N. (see also BARBASHIN, E. A.)
1. Certain Problems of the Theory of Stability of Motion (Russian). Moscow :
Gos. Izd. Fiz.-mat. Lit. 1959. English translation, Stability of Motions.
Stanford: Stanford Univ. Press 1963.
2. On a problem of stability of motion in the large (Russian). Dokl. Akad. Nauk
SSSR 88, 401-404 (1953).
3. On stability of motion in the large for constantly acting disturbances (Russian).
Prikl. Mat. Mekh. 18, 95-102 (1954).
4. On the inversion of theorems of A. M. Liapunov and N. G. Chetaev on instability for stationary systems of differential equations (Russian). Prikl. Mat.
Mekh. 18, 513-532 (1954).
5. On stability in the large of the solutions of a nonlinear system of differential
equations (Russian). Prikl. Mat. Mekh. 18, 735-737 (1954).
6. Sufficient conditions for stability of solutions of a system of nonlinear differential equations (Russian). Dokl. Akad. Nauk SSSR 98, 901-904 (1954).
202
References
References
203
LAGRANGE, J. L.
1. Mecanique analytique. Paris: Desaint 1788.
2. Oeuvres, vol. I (1867) and IV (1869). Paris: Gauthier-Villars.
LAKSHMIKANTHAM, V. (see also D'AMBROSIO, U. and KAYANDE, A. A.)
1. On the boundedness of solutions of nonlinear differential equations. Proc. Amer.
Math. Soc. 8, 1044-1048 (1957).
2. Upper and lower bounds of the norm of solutions of differential equations.
Proc. Amer. Math. Soc. 13, 615-616 (1962); 14, 509-513 (1963).
3. Notes on a variety of problems of differential systems. Arch. Rat. Mech. Anal.
10, 305-310 (1962).
4. Vector Liapunov functions and conditional stability. J. Math. Anal. Appl. 10,
368-377 (1965).
LAKSHMIKANTHAM, V. ; LEELA, S.
1. Differential and Integral Inequalities, I, II. New York-London: Academic
Press 1969.
LASALLE, J.P. (see also HALE, J. K.)
1. A study of synchronous asymptotic stability. Ann. of Math. 65, 571-581 (1957).
2. Asymptotic stability criteria. Proc. Symp. Appl. Math. 13, 299-307 (1962).
3. Some extensions of Lyapunov's second method. IRE Trans. Circuit Theory
7, 520-527 (1960).
4. The extent of asymptotical stability. Proc. Nat. Acad. Sci. USA 46, 363- 365
(1960).
5. Recent advances in Liapunov stability theory. SIAM Rev. 6, 1-11 (1964).
6. Liapunov's second method. In: Stability Problems of Solutions of Differential
Equations, A. Ghizzetti (Editor). Gubbio: Oderisi 1966.
7. An invariance principle in the theory of stability, differential equations and
dynamical systems. In: Differential Equations and Dynamical Systems,
J. K. Hale and J.P. LaSalle (Editors). New York: Academic Press 1967,
pp. 277 - 286.
8. Stability theory for ordinary differential equations. J. Diff. Eqs. 4, 57-65 (1968).
LASALLE, J.P.; LEFSCHETZ, s.
1. Stability by Liapunov's Direct Method with Applications. New York: Academic
Press 1961.
2. (Editors) Nonlinear Differential Equations and Nonlinear Mechanics. Proceedings of an International Symposium held at the U.S. Air Force Academy,
Colorado Springs, August 1961. New York: Academic Press 1963.
LAZER, A. C. (see BHATIA, N. P.)
LEBEDEV, A. A.
1. The problem of stability in a finite interval of time. Prikl. Mat. Mekh. 18, 75-94
(1954).
2. On stability of motion during a given interval of time. Prikl. Mat. Mekh. 18,
139-148 (1954).
LEE, E. B.; MARKUS, L.
1. Foundations of Optimal Control Theory. New York: Wiley 1967.
LEFSCHETZ, S. (see also LASALLE, J. P.)
1. Differential Equations: Geometric Theory. New York: Interscience-Wiley, 1st
ed. 1957, 2nd ed. 1962.
2. Liapunov and stability in dynamical systems. Bol. Soc. Mat. Mexicana 3, 25- 39
(1958).
3. Geometric differential equations: recent past and proximate future. In: Differential Equations and Dynamical Systems, J. K. Hale and J.P. LaSalle
(Editors). New York: Academic Press 1.967, pp. 1-14.
204
References
MARCHAUD, M. A.
1. Surles champs des demi-droites etles equations differentielles du premier ordre.
Bull. Soc. Math. France 63, 1-38 (1934).
2. Sur les champs continus de demi-c6nes convexes et leur integrales. Compositio
Math. 3, 89-127 (1936).
References
205
MARKOV, A. A.
1. Sur une propriete generale des ensembles minimaux de M. Birkhoff. C. R. Acad.
Sci. Paris 193, 823-825 (1931).
2. On a general property of minimal sets (Russian). Rusk. Astron. Zh. 1932.
3. Stabilitat im Liapunoffschen Sinne und Fastperiodizitat. Math. Z. 36, 708-738
(1933).
4. Almost periodicity and harmonizability (Russian). L. Trudy V torogo V sesoyuzn.
Mat. S'ezda 2, 227-231 (1936).
MARKUS, L. (see also AEPPLI, A. and LEE, E. B.)
1. Escape times for ordinary differential equations. Rend. Sem. Mat. Politec.
Torino 11, 271-277 (1952).
2. On completeness of invariant measures defined by differential equations. J.
Math. Pure Appl. 31, 341-353 (1952).
3. Invariant measures defined by differential equations. Proc. Ann. Math. Soc.
4, 89-91 (1953).
4. A topological theory for ordinary differential equations in the plane. Colloque
de Topol. et Geom. Diff., Strasbourg 1952.
5. Global structure of ordinary differential equations in the plane. Trans. Amer.
Math. Soc. 76, 127-148 (1954).
6. Asymptotically autonomous differential systems. In: Contributions to the
Theory of Nonlinear Oscillations, vol. 3 (Annals of Math. Studies, no. 36).
Princeton: Princeton Univ. Press 1956, pp. 17-30.
7. Structurally stable differential systems. Ann. of Math. 73, 1-19 (1961).
8. Periodic solutions and invariant sets of structurally stable differential systems.
In: Symposium Internacional de Ecuaciones Diferenciales Ordinarias,
Mexico, 1961, pp. 190-194.
9. The global theory of ordinary differential equations. Lecture Notes, University
of Minnesota, 1964/65.
10. Dynamical systems on group manifolds. In: Differential Equations and Dynamical Systems, J. K. Hale and J.P. LaSalle (Editors). New York: Academic
Press 1967.
11. Parallel dynamical systems. Topology 8, 47-57 (1969).
MARKUS, L.; Y AMABE, H.
1. Global stability criteria for differential systems. Osaka Math. J. 12, 305-317
(1960).
MARTIN, M.
1. A problem in arrangements. Bull. Amer. Math. Soc. 40, 859-864 (1934).
MASSERA, J. L.
1. On Liapunoff's condition of stability. Ann. of Math. 50, 705-721 (1949).
2. Contributions to stability theory. Ann. of Math. 64, 182-206 (1956); correction
68, 202 (1958).
3. On the existence of Liapunov functions. Puhl. Inst. Mat. Estad. Montevideo 3,
no. 4, pp. 111-124 (1960).
4. Converse theorems of Liapunov' s second method. In: Symposium Internacional
de Ecuaciones Diferenciales Ordinarias, Mexico, 1961, pp. 158- 163.
MASSERA, J. L.; SCHAFFER, J. J.
1. Linear Differential Equations and Function Spaces. New York: Academic Press
1966.
MATROSOV, v. M.
1. On the stability of motion. Prikl. Mat. Mekh. 26, 885-895 (1962). English
translation: J. Appl. Math. Mech. 26, 1337-1353 (1962).
206
References
2. On the theory of stability of motion. Prikl. Mat. Mekh. 26, 992-1002 (1962).
English translation: J. Appl. Math. Mech. 26, 1560-1522 (1962).
MENDELSON, p.
1. On Lagrange stable motions in the neighborhood of critical points. In: Contributions to the Theory of Nonlinear Oscillations, vol. 5 (Annals of Math.
Studies, no. 45). Princeton: Princeton Univ. Press 1960, pp. 219-224.
2. On unstable attractors. Bol. Soc. Mat. Mexicana 5, 270-276 (1960).
MICHAEL, E.
1. Topologies on spaces of subsets. Trans. Amer. Math. Soc. 71, 152-182 (1951).
MILLER, R. K.
1. On almost periodic differential equations. Bull. Amer. Math. Soc. 70, 792- 795
(1964).
2. Asymptotic behavior of solutions of nonlinear differential equations. Trans.
Amer. Math. Soc. 115, 400-416 (1965).
3. Almost periodic differential equations as dynamical systems with applications
to the existence of a.p. solutions. J. Diff. Eqs. 1, 337-345 (1965).
4. The topological dynamics of Volterra integral equations (Advances in Differential and Integral Equations). SIAM, Philadelphia, 1969.
MILLER, R. K.; SELL, G. R.
1. A note on Volterra integral equations and topological dynamics. Bull. Amer.
Math. Soc. 74, 804-809 (1968).
MILNOR,
J.
1. Morse Theory (Annals of Math. Studies, no. 51). Princeton: Princeton Univ.
Press 1963.
2. Sommes de varietes differentiables et structures differentiables des spheres.
Bull. Soc. Math. France 87, 439-444 (1959).
3. Differential Topology (Lectures on Modern Mathematics, vol. II), T. L. Saaty
(Editor). New York: Wiley 1964.
MINKEVICH, M.
I.
N.
References
207
M.
MORSE,
J.
M.
1. Uber das Fundamentaltheorem in der Theorie der gewohnlichen Differentialgleichungen. Math. Z. 26, 619-645 (1927).
2. Beweis eines Satzes des Herrn H. Kneser iiber die Gesamtheit der LOsungen, die
ein System gewohnlicher Differentialgleichungen <lurch einen Punkt schickt.
Math. Z. 28, 349-355 (1928).
3. Neuere Untersuchung iiber den Fundamentalsatz in der Theorie der gewohnlichen Differentialgleichungen. Jber. Deutsch. Math. Verein. 37, 33-48
(1928).
MYSHKIS,
A. D.
M.
1. Eine hinreichende Bedingung fiir die Unitat der Losung von Differentialgleichungen erster Ordnung. Japan J. Math. 3, 107-112 (1926).
2. Un theoreme relatif a !'ensemble des courbes integrales d'un systeme d'equations differentielles ordinaires. Proc. Phys. Math. Soc. Japan, III, 12, 233239 (1930).
NAGY,
J.
V. V.
1. Sur les systemes dynamiques instables. C. R. Acad. Sci. Paris 199, 19-20
(1934).
2. Uber vollstandig unstabile dynamische Systeme. Ann. Mat. Pura Appl. 14,
275-286 (1936).
3. Surles systemes de courbes remplissant un espace metrique. C.R. (Dokl.) Acad.
Sci. URSS 21, 99-102 (1938).
4. Surles systemes de courbes remplissant un espace metrique (Generalisation des
theoremes de Birkhoff). Rec. Math. (Mat. Sbornik) 6, 283-292 (1939).
5. Systemes dynamiques sur une multiplicite integrale limite. C. R. (Dokl.) Acad.
Sci. URSS 36, 535-538 (1945).
NEMYTSKII,
208
References
6. Surles familles de courbes du type de Bendixson. C.R. (Dokl.) Acad. Sci. URSS
21, 103-105 (1938).
7. Les systemes dynamiques generaux. C.R. (Dokl.) A.cad. Sci. URSS 53, 491-494
(1946).
8. On the theory of orbits of general dynamical systems (Russian). Mat. Sbornik
23, 161-186 (1948).
9. The structure of one-dimensional limiting integral manifolds in the plane and
three-dimensional space (Russian). Vestnik Moskov. Univ., no. 10, 1948,
pp. 49-61.
10. Topological problems of the theory of dynamical systems (Russian). Uspehi
Mat. Nauk 4, 91-153 (1949). English translation: Amer. Math. Soc. Transl.
no. 103, p. 85 (1954).
11. Generalizations of the theory of dynamical systems (Russian). Uspehi Mat.
Nauk 5, 47-49 (1950).
12. Some general theorems on the distribution of integral curves in the plane.
Vestnik Moskov. Univ., Ser. I Mat. Mekh. no. 6, pp. 3-10 (1960).
13. Sur une classe importante des systemes caracteristiques sur le plan. Ann. Mat.
Pura Appl. 49, 11-24 (1960).
14. Some modern problems in the qualitative theory of ordinary differential equations. Russian Math. Survey, 1965, pp. 1-34.
15. Topological classification of singular points and generalized Liapunov functions.
Differencial'nye Uravnenija 3, 359-370 (1967).
NEMYTSKII, V. V.; STEPANOV, V. V.
1. Qualitative Theory of Differential Equations (Russian). Moscow-Leningrad,
1st ed. 1947, 2nd ed. 1949. English translation, Princeton: Princeton Univ.
Press 1960.
OKAMURA, H.
1. Condition necessaire et suffisante remplie par les equations differentielles
ordinaires sans points de Peano. Mem. Coll. Sci. Kyoto Imp. Univ., Ser. A,
24, 21-28 (1942).
OLECH, Cz. (see also HARTMAN, P. and SzEGO, G. P.)
1. On the asymptotic behavior of the solutions of a system of ordinary nonlinear
differential equations. Bull. Acad. Polon. Sci., Cl. III, 4, 555-561 (1956).
2. Remarks concerning criteria for uniqueness of solutions of ordinary differential
equations, Bull. Acad. Polon. Sci., Cl. III, 8, 661-666 (1960).
3. On the global stability of autonomous systems in the plane. In: Contributions
to Differential Equations, vol. 1. New York: Wiley 1963, pp. 389-400.
0NUCHic, N. (see also HARTMAN, P.)
1. Applications of the topological method of Wazewski to certain problems of
asymptotic behavior in ordinary differential equations. Pacific J. Math. 11,
1511-1527 (1961).
2. Relationships among the solutions of two systems of ordinary differential equations. Michigan J. Math. 10, 129_: 139 (1963).
0PIAL, Z.
1. Sur !'allure asymptotique des solutions de certaines equations differentielles de
la mecanique nonlineaire. Ann. Polon. Math. 8, 105-124 (1960).
2. Sur la dependence des solutions d'un systeme d'equations differentielles de leurs
seconds membres. Ann. Polon. Math. 8, 75-89 (1960).
OSGOOD, w.
1. Beweis der Existenz einer Losung der Differentialgleichung dy/dx = f (x, y)
ohne Hinzunahme der Cauchy-Lipschitzschen Bedingung. Monatsh. Math.
Phys. 9, 331-345 (1898).
References
209
0XTOBY, J.C.
1. Stepanoff flows on the torus. Proc. Amer. Math. Soc. 4, 982-987 (1953).
PAPUSH, N. P.
1. A study of the distribution of integral curves occupying a domain containing
one singular point. Mat. Sbornik 38, 337 (1956).
PARRY, W. (see HAHN, F.)
PEANO, G.
1. Sull'integrabilita delle equazioni differenziali di primo ordine. A tt. R. Accad.
Torino 21, 677-685 (1885/86).
2. Demonstration de l'integrabilite des equations differentielles ordinaires. Math.
Ann. 37, 182-228 (1890).
PEIXOTO, M. C.; PEIXOTO, M. M.
1. Structural stability in the plane with enlarged boundary conditions. An. Acad.
Brasil Ci. 31, 135-160 (1959).
PEIXOTO, M. M. (see also PEIXOTO, M. C.)
1. On structural stability. Math. 69, 199-222 (1959).
2. Some examples on n-dimensional structural stability. Proc. Nat. Acad. Sci.
USA 45, 633-636 (1959).
3. Structural stability on two-dimensional manifolds. In: Symposium Internacional de Ecuaciones Diferenciales Ordinarias, Mexico, 1961, pp. 188-189.
4. Structural stability on two-dimensional manifolds. Topology 1, 101-120 (1962).
5. Qualitative theory of differential equations and structure stability. In: Differential Equations and Dynamical Systems, J. K. Hale and J. P. LaSalle
(Editors). New York: Academic Press 1967, pp. 469-480.
PEROV,A.I.
1. Investigation of the neighborhood of a critical point of a multi-dimensional
differential equation in the analytic case (Russian). Dokl. Akad. N auk SSSR
166, 544-547 (1966). English translation: Soviet Math. (Dokl.) 7, 122-125
(1966).
2. On the structure of a limit set (Russian). Dokl. Akad. Nauk SSSR 176, 526-529
(1967). English translation: Soviet Math. (Dokl.) 8, 1142-1145 (1967).
PERRON, 0.
1. Uber Ein- und Mehrdeutigkeit des Integrales eines Systems von Differentialgleichungen. Math. Ann. 95, 98-101 (1926).
2. Uber Existenz und Nichtexistenz von Integralen partieller Differentialgleichungssysteme im reellen Gebiet. Math. Z. 27, 549-564 (1928).
3. Eine hinreichende Bedingung fur die Unitat der Losung von Differentialgleichungen erster Ordnung. Math. Z. 28, 216-219 (1928).
4. Uber Stabilitat und asymptotisches Verhalten der Integrale von Differentialgleichungssystemen. Math. Z. 29, 129-160 (1928).
5. Uber Stabilitat und a&ymptotisches Verhalten der Losungen eines Systems
endlicher Differenzengleichungen. J. reine angew. Math. 161, 41- 61 (1929).
6. Die Stabilitatsfrage bei Differentialgleichungen. Math. Z. 32, 703- 728 (1930).
PERSIDSKII, K. P.
1. Au sujet du probleme de stabilite. Bull. Soc. phys.-math. Kazan III, 5, no. 3,
pp. 56-62 (1931).
2. Un theoreme sur la stabilite du mouvement. Bull. Soc. phys.-math. Kazan III,
6, pp. 76-79 (1934).
3. On the stability theory of the solutions of systems of differential equations
(Russian). Bull. Soc. phys.-math. Kazan III, 8 (1936).
4. On a theorem of Liapunov (Russian). C.R. (Dokl.) Acad. Sci. URSS 14, 541544 (1937).
14
210
References
c. c.
1. Cross-sections of solution funnels. Bull. Amer. Math. Soc. 70, 580-583 (1964).
2. The closing lemma and structural stability. Bull. Amer. Math. Soc. 70, 584-587
(1964).
References
211
PUTNAM, C. R.
1. Unilateral stability and almost periodicity. J. Math. Mech. 9, 915-917 (1960).
REEB, G.
1. Sur certaines proprietes topologiques des trajectoires des systemes dynamiques.
Acad. Roy. Belg., Cl. Sci. Mem. 27, no. 9 (1952).
2. Sur la theorie generale des systemes dynamiques. Ann. Inst. Fourier (Grenoble)
6, .89-115 (1955/56).
3. Sur certains problemes de topologie algebrique et de topologie generale en dynamique. Bol. Soc. Mat. Mexicana 5, 199-202 (1960).
REISSIG, R.
1. Kriterien fiir die Zugehorigkeit dynamischer Systeme zur Klasse D. Math.
Nachr. 20, 67-72 (1959).
2. Stabilitatsprobleme in der qualitativen Theorie der Differentialgleichungen.
Jber. Deutsch. Math. Verein. 63, 97-116 (1960).
3. N eue Probleme und Methoden aus der qualitativen Theorie der Differentialgleichungen. Monatsber. Deutsche Akad. Wiss. Berlin 2, 1-8 (1960).
REISSIG, R.; SANSONE, G.; CONTI, R.
1. Qualitative Theorie nichtlinearer Differentialgleichungen. Pubblicazioni dell'Istituto Nazionale di Alta Matematica. Roma: Cremonese 1963.
REMAGE, R., Jr.
1. On minimal sets in the plane. Proc. Amer. Math. Soc. 13, 41-47 (1962).
ROBLIN, V. A.
1. Selected topics from the metric theory of dynamical systems (Russian). Uspehi
Mat. Nauk 9, 57-128 (1949). English translation: Amer. Math. Soc. Transl.
49, 171-240 (1965).
2. New progress in the theory of transformations with invariant measure (Russian).
Uspehi Mat. Nauk 15, 3-26 (1960). English translation: Russian Math.
Surveys 15, 1-22 (1960).
3. Lectures on the theory of entropy of transformations with invariant measure
(Russian). Uspehi Mat. Nauk 22, 3-56 (1967). English translation: Russian
Math. Surveys 22, 1-52 (1967).
Roos, B. W.
1. Note on generalized dynamical systems. SIAM Rev. 6, 269-274 (1964).
ROSEAU, M.
1. Vibrations nonlineaires et theorie de la stabilite (Springer Tracts in Nat. Phil.,
vol. 8). Berlin-Heidelberg-New York: Springer 1966.
RoxIN, E.
1. Reachable zones in autonomous differential systems. Bol. Soc. Mat. Mexicana
5' 125-135 (1960).
2. Stability in general control systems. J. Diff. Eqs. 1, 115-150 (1965).
3. On generalized dynamical systems defined by contingent equations. J. Diff.
Eqs. 1, 188-205 (1965).
4. On stability in control systems. SIAM J. Control 3, 357-372 (1966).
5. Local definition of generalized control systems. Michigan Math. J. 13, 91-96
(1966).
Roxrn, E. O.; SPINADEL, V. W.
1. Reachable zones in autonomous differential systems. In: Contributions to Differential Equations, vol. 1. New York: Wiley 1963, pp. 275-315.
SACKER, R. J.
1. A new approach to the perturbation theory of invariant surfaces. Comm. Pure
Appl. Mat. 18, 712-732 (1965).
14*
212
References
SAITO, T.
1. On the measure-preserving flow on the torus. J. Math. Soc. Japan 3, 279-286
(1951).
2. On dynamical systems in n-dimensional torus. Funkcial. Ekvac. 7, 91-120
(1965).
3. On the flow outside an isolated minimal set. In: Proceedings U.S.-Japan
Seminar on Differential and Functional Equations. New York-Amsterdam:
Benjamin 1967, pp. 301-312.
4. Isolated minimal sets. Funkcial. Ekvac. 11, 155-167 (1969).
SANDOR,ST.;V\TEXLER,D.
1. Sur la stabilite dans les systemes dynamiques. Rev. Roumaine Math. Pures
Appl. 3, 325-328 (1958).
SANSONE, G. (see also REISSIG, R.)
1. Equazioni differenziali nel campo reale. Bologna: Zanichelli 1948.
SANSONE, G.; CONTI, R.
1. Equazioni differenziali non lineari. Roma: Cremonese 1956. English translation,
Nonlinear Differential Equations. London: Pergamon Press 1965.
SARD, A.
1. The measure of the critical values of differentiable maps. Bull. Amer. Math. Soc.
48, 883- 896 (1942).
SCHAFFER, J. J. (see MASSERA, J. L.)
ScHAUDER, J.
1. Der Fixpunktsatz in Funktionalraumen. Studia Math. 2, 171-180 (1930).
ScHwARTZ, A. J.
1. A generalization of a Poincare-Bendixson ~heorem to closed two-dimensional
manifolds. Amer. J. Math. 85, 453-458 (1963); errata p. 753.
2. Flows on the solid torus asymptotic to the boundary. J. Diff. Eqs. 4, 316-326
(1968).
SCHWARTZMAN, S.
1. Asymptotic cycles. Ann. Math. 66, 270-284 (1957).
2. On the existence of strongly recurrent and periodic orbits. Bol. Soc. Mat. Mexicana 5, 181-183 (1960).
3. Global cross sections of compact dynamical systems. Proc. Nat. Acad. Sci.
USA 48, 786-791 (1962).
SCHWEIGERT, G. E.
1. A note on the limits of orbits. Bull. Amer. Math. Soc. 46, 963-969 (1940).
SEIBERT, P. (see also AUSLANDER, J .)
1. Prolongations and generalized Liapunov functions. Tech. Rep. 61-7. RIAS,
Baltimore, 1961.
2. Zurn Problem der Stabilitat unter standig wirkenden Storungen bei dynamischen Systemen. Arch. Math. (Basel) 15, 108-114 (1964).
3. A concept of stability in dynamical systems. In: Topological Dynamics,
J. Auslander and VV. H. Gottschalk (Editors). New York-Amsterdam: Benjamin 1968, pp. 423-433.
SEIFERT, G.
1. Stability conditions for the existence of almost-periodic solutions of almostperiodic systems. J. Math. Anal. Appl. 10, 409-418 (1965).
2. Recurrence and almost perodicity in ordinary differential equations (Advances
in Differential and Integral Equations). SIAM, Philadelphia, 1969.
SELL, G. R. (see also DEYSACH, L. G. and MILLER, R. K.)
1. Stability theory and Liapunov's second method. Arch. Rat. Mech. Anal. 14,
108-126 (1963).
References
213
214
References
References
215
216
References
References
217
TRJITZINSKY, w. J.
1. Problemes dans la theorie des systemes dynamiques. Acta Math. 95, 191-289
(1956).
2. Aspects topologiques de la theorie des fonctions reelles et quelques consequences
dynamiques. Ann. Mat. Pura Appl. 42, 51-117 (1956).
TURAN, P.
1. On the instability of systems of differential equations. Acta Math. Acad. Sci.
Hungar. 6, 257-270 (1955).
2. On the property of the stable or conditionally stable solutions of systems of
nonlinear differential equations. Ann. Mat. Pura Appl. 48, 333-340 (1959).
TUROWICZ, A.
1. Sur les trajectoires et les quasitrajectoires des systemes de commande nonlineaires. Bull. Acad. Polon. Sci. 10, 529-531 (1962).
2. Sur les zones d'emission des trajectoires et des quasitrajectoires des systeme&
de commande nonlineaires. Bull. Acad. Polon. Sci. 11, 47-50 (1963).
URA, T.
1. Sur les courbes definies a la surface du tore par des equations admettant un
invariant integral. Ann. Sci. Ecole Norm. Sup. 69, 259-275 (1952).
2. Sur les courbes definies par les equations differentielles dans l'espace a m dimensions. Ann. Sci. Ecole Norm. Sup. 70, 287-360 (1953).
3. Sur les periodes fondamentales de solutions periodiques. Comm. Math. Univ.
St. Paul 4, 113-130 (1955).
4. Sur le courant exterieur a une region invariante; prolongements d'une caracteristique et l'ordre de stabilite. Funkcial. Ekvac. 2, 143-200 (1959).
5. On the flow outside a closed invariant set: stability, relative stability and saddle
sets. In: Contributions to Differential Equations, vol. 3. New York: Wiley
1964, pp. 249-294.
6. Local isomorphisms and local parallelizability of dynamical systems. In: Topological Dynamics, J. Auslander and W. H. Gottschalk (Editors). New YorkAmsterdam: Benjamin 1968, pp. 493-506.
URA, T.; HIRASAWA, Y.
1. Sur les points singuliers des equations differentielles admettant un invariant
integral. Proc. Japan Acad. 30, 726-730 (1954).
URA, T.; KIMURA, I.
1. Sur le courant exterieur a une region invariante: Theoreme de Bendixson.
Comm. Math. Univ. St. Paul 8, 23-39 (1960).
2. Stability in topological dynamics. Proc. Japan Acad. 40, 703-706 (1964).
URABE, M.
1. Nonlinear Autonomous Oscillations. New York: Academic Press 1967.
UTZ, W. R. (see FOLAND, N. E.)
VINOGRAD, R. E.
1. On the limiting behavior of unbounded integral curves (Russian). Dokl. Akad.
Nauk SSSR 66, 5-8 (1949).
2. On the limit behavior of an unbounded integral curve (Russian). Uchen. Zap.
Moskov. Gos. Univ. 155, Mat., no. 5, pp. 94-136 (1952).
VINOKUROV, v. R.
1. On the definition of a dynamic limit point in general dynamical systems
(Russian). Izv. Vyssh. Uchebn. Zaved., Mat., 1964, no. 3 (40), pp. 36-38.
VRKoc, I. (see also KuRZWEIL, J.)
1. On the inverse theorem of Chetaev. Czechoslovak Math. J. 5 (80), 451- 461
(1955).
15
218
References
References
219
15*
220
References
N. P.
1. Certain properties of discrete dynamical systems (Russian). Uchen. Zap. Moskov. Gos. Univ., no. 163, Mat., 6, 31-59 (1952).
ZIPPIN, L. (see also MONTGOMERY, D.)
1. Transformation groups. In: Lectures in Topology. Ann Arbor: Univ. of Michigan Press 1941, pp. 191-221.
ZUBOV, V. I.
1. The Methods of Liapunov and their Applications. Leningrad 1964.
2. Mathematical Methods for the Investigation of Systems of Automatic Control
(Russian). Leningrad: Gos. Sojus. Izd. Sudostroit. Promsyl. 1959, p. 324.
English translation, Oxford: Pergamon Press 1964.
3. Some sufficient criteria for stability of a nonlinear system of differential eq.uations (Russian). Prikl. Mat. Mekh. 17, 506-508 (1953).
4. On the theory of A. M. Liapunov's second method (Russian). Dokl. Akad. Nauk
SSSR 99, 341-344 (1954).
5. Questions of the theory of Liapunov' s second method, construction of a general
solution in the region of asymptotic stability (Russian). Prikl. Mat. Mekh.
19, 179-210 (1955).
6. On the theory of A. M. Liapunov's second method (Russian). Dokl. Akad.
Nauk SSSR 100, 857-859 (1955).
7. An investigation of the stability problem of systems of equations with homogeneous right hand members (Russian). Dokl. Akad. Nauk SSSR 114,
942-944 (1957).
8. Conditions for asymptotic stability in the case of nonstationary motions and
estimate of the rate of decrease of the general solution (Russian). Vestnik
Leningrad. Univ., Ser. Mat. Mekh. Astron. 12, 110-129 (1957).
9. On a method of investigating the stability of a null-solution in doubtful cases
(Russian). Prikl. Mat. Mekh. 22, 46-49 (1958).
10. On stability conditions in a finite time interval and on the computation of the
length of that interval (Russian). Bull. Inst. Politechn. Ia~i (N.S.) 4, 59-74
(1958).
11. Some problems in stability of motion (Russian). Mat. Sbornik 48 (90), 149-190
(1959).
12. On the theory of recurrent functions (Russian). Sibirsk. Mat. Zh. 3, 532-560
(1962).
ZHIDKOV,
Author Index
Aizermann, M. 112
Albrecht, F. 162
Andronov, .A. 117
Anosov, D. V. 7, 8
Antosiewicz, H. A. 55, 112, 113
Arienti, G. 164, 184
Auslander, J. 27, 30, 42, 55, 112, 133
Barbashin, E. A. 7, 112, 164, 165
Barocio, S. 117
Bass, R. \V. 112
Bebutov, M. V. 8, 55
Bendixson, I. 1, 118
Bhatia, N. P. 3, 7, 8, 30, 42, 55, 112, 113,
118, 133, 163, 164, 165, 183
Birkhoff, G. D. 2, 7, 8, 30, 38, 42, 118
Bochner, S. 113
Bohr, H. 113
Bronstein, I. U. 7
Budak, B. M. 7
Bushaw, D. 8, 112
Fuller, F. B. 118
Furstenberg, H. 2
Gantmacher, F. M. 164
Garcia, M. 42
Geiss, G. R. 113
Gottschalk, W. H. 2, 7, 30, 42, 118
Grabar, M. I. 7, 8
Green, L. W. 7
Grohman, D. M. 118
Haas, F. 30, 118
Hadamard, J. 162
Hahn, F. J. 7, 112
Hahn, W. 2, 163
Hajek, 0. 3, 7, 8, 30, 112, 118
Hale, J. K. 118
Hartman, P. 1, 8, 118
Hedlund, G. A. 2, 7, 30, 42
Hilmy, H. 42
Ingwerson, D.R. 164
Cellina, A. 164
Chetaev, N. 164
Chu, Hsin 2, 42
Clay, J.P. 112
Coddington, E. A. 1, 7, 8
Conley, C. C. 8
Conti, R. 1
D'Ambrosio, U. 113
Denjoy, A. 118
Desbrow, D. 112
Deysach, L. 113
Dirichlet, G. L. 111
Dowker, Y. N. 42
Dugundji, J. 55, 113
Ellis, R. 2, 42
El'sgol'c, L. E. 30
England, J. W. 42
222
Author Index
Levinson, N. 1, 7, 8
Lewis, D. C., Jr. 162
Liapunov, A. M. 1, 111, 112, 162, 163
Malkin, I. G. 112, 162
Markov, A. A. 2, 7, 113
Markus, L. 2, 55, 113, 162
Massera, J. L. 112, 165
Mendelson, P. 112
Miller, R. K. 8
Minkevich, M. I. 7
Minorsky, N. 117
Montgomery, D. 7
Moser, J. 2, 162
Nemytskii, V. V. 1, 2, 78, 30, 42, 55, 112,
113, 118, 160
Okamura, H. 183
Olech, Cz. 164
Onuchic, N. 162
Papush, N. P. 160
Peixoto, M. M. 2, 162
Perov, A. I. 118
Persidskii, K. P. 112, 165
Persidskii, S. K. 112
Plis, A. 162
Poincare, H. 1, 2, 7, 30, 112, 117, 162
Schwartz, A. J. 118
Seibert, P. 30, 112, 133, 162
Sell, G. R. 8, 113
Sibirskii, K. S. 30, 42, 118
Siegel, C. L. 118
Smale, St. 2, 162
Stepanov, V. V. 1, 2, 7, 8, 30, 42, 55, 112
Sternberg, Sh. 118
Stokes, A. P. 118
Strauss, A. 134, 162, 163
Sutti, C. 164, 183
Szego, G. P. 3, 7, 8, 30, 42, 112, 118, 134,
163, 164, 165, 183
Szmydt, Z. 162
Treccani, G. 3, 10, 30, 112, 113, 118, 164,
165, 183
Tumarkin, G. S. 42
Ura, T. 2, 7, 30, 55, 112, 118, 133
Vrkoc, I. 112, 165
Wazewski, T. 162
Whitney, H. 2, 7, 55
Whyburn, G. T. 7
Wilson, F. W., Jr. 112, 165
Roxin, E. 7, 112
Saito, T. 118
Sansone, G. 1
Zippin, L. 7
Zubov, V. I. 3, 112, 113, 163, 165
Subject Index
Absolutely stable compact set 124-128
Almost periodic motion 106 - 111
Asymptotic stability for compact sets 58,
61-64, 102
for compact minimal sets 65
- and Liapunov functions 66
for closed sets 88, 91
- and Liapunov functions 90
for compact sets relative to a set 100
- and Liapunov functions for differential equations 134, 135, 141, 142,
146-150, 156-160
Attraction for compact sets 58, 61, 62
for closed sets 87, 97
for compact sets relative to a set 99
- and Liapunov functions for
ordinary differential equations 156,
170, 176, 177
Axioms 5
Identity axiom 5
Improper saddle points 55
Instability for compact sets 58
- - and Liapunov functions for ordinary differential equations 144
Invariant sets 12-14
- , compact 41
224
Subject Index
Subject Index
Stability, component-wise 104
of a motion 106
- - and Liapunov functions for ordinary differential equations 139, 140
Stability-additive pair 105
Trajectory 6, 14
Transition 6
Transitive map 121
Tube 49
Ultimate boundedness 73, 82
Uniform approximation of a limit set
109
Uniform asymptotic stability for closed
sets 88
- - and Liapunov functions 92, 93
Uniform attraction for compact sets 58,
62
225