Académique Documents
Professionnel Documents
Culture Documents
Managing Editor:
M. HAZEWINKEL
Centre for Mathematics and Computer Science, Amsterdam. The Netherlands
Editorial Board:
A. A. KIRILLOV. MGU. Moscow. U.S.S.R.
Yu. I. MANIN. Steklov Institute ofMathematics, Moscow. U.S.S.R.
N. N. MOISEEV. Computing Centre. Academy ofSciences, Moscow, U.S.S.R.
S. P. NOVIKOV. Landau Institute ofTheoretical Physics. Moscow. U.S.S.R.
M. C. POLYVANOV. Steklov Institute ofMathematics. Moscow. U.S.S.R.
Yu. A. ROZANOV. Steklov Institute ofMathematics. Moscow, U.S.S.R.
Volume 71
Elements of
the Mathematical Theory
of Multi-Frequency
Oscillations
by
A. M. Samoilenko
ISBN 978-94-010-5557-4
sense'.
Eric T. Bell
Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and nonlinearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for
other sciences.
Applying a simple rewriting rule to the quote on the right above one finds such statements as:
'One service topology has rendered mathematical physics ...'; 'One service logic has rendered computer science .. .'; 'One service category theory has rendered mathematics ...'. AU arguably true. And
all statements obtainable this way form part of the raison d'dre of this series.
This series, Malhemalics and liS Applicalions, started in 1977. Now that over one hundred
volumes have appeared it seems opportune to reexamine its scope. At the time I wrote
"Growing specialization and diversification have brought a host of monographs and
textbooks on increasingly specialized topics. However, the 'tree' of knowledge of
mathematics and related fields does not grow only by pUlling forth new branches. It
also happens, quite often in fact, that branches which were thought to be completely
disparate are suddenly seen to be related. Further, the kind and level of sophistication
of mathematics applied in various sciences has changed drastically in recent ycars:
measure theory is used (nontrivially) in regional and theoretical economics; algebraic
geometry interacts with physics; the Minkowsky lemma, coding theory and the structure
of waler meet one another in packing and covering theory; quantum fields, crystal
defects and mathematical programming profit from homotopy theory; Lie algebras are
relevant to filtering; and prediction and electrical engineering can use Stein spaces. And
in addition to this there are such new emerging subdisciplines as 'experimental
mathematics', 'CFD', 'completely integrable systems', 'chaos, synergetics and largescale
order', which are almost impossible to fit into the existing classification schemes. They
draw upon widely different sections of mathematics."
By and large, all this still applies today. It is still true that at first sight mathematics seems rather
fragmented and that 10 find, see, and exploit the deeper underlying intcrrelations more effort is
needed and so are books that can help mathematicians and scientists do so. Accordingly MIA will
continue to try to make such books available.
If anything, Ihe description I gave in 1977 is now an understatement. To the examples of
interaction areas one should add Siring theory where Riemann surfaces, algebraic geometry, modular functions, knots, quantum field theory, Kac-Moody algcbras, monstrous moonshine (and more)
all come together. And 10 the examples of things which can be usefully applied let me add the topic
'finile geometry'; a combination of words which sounds like it might not even exisl, let alone be
applicable. And yci it is being applied: to statistics via designs, 10 radar/ sonar detection arrays (via
finite projective planes), and to bus connections of VLSI chips (via difference sets). There seems to
be no part of (so-called pure) mathematics Ihal is not in immediale danger of being applied. And,
accordingly, the applied mathematician needs to be aware of much more. Besides analysis and
numerics, Ihe traditional workhorses, he may need all kinds of combinatorics, algebra, prObability,
and so on.
In addition, Ihe applied scientist needs to cope increasingly with the nonlinear world and the
vi
extra mathematical sophistication that this requires. For that is where the rewards are. Linear
models are honest and a bit sad and depressing: proportional efforts and results. It is in the nonlinear world that infinitesimal inputs may result in macroscopic outputs (or vice versa). To appreciate what I am hinting at: if electronics were linear we would have no fun with transistors and computers; we would have no TV; in fact you would not be reading these lines.
There is also no safety in ignoring such outlandish things as nonstandard analysis, superspace
and anticommuting integration, p-adic and ultrametric space. All three have applications in both
electrical engineering and physics. Once, complex numbers were equally outlandish, but they frequently proved the shortest path between 'real' results. Similarly, the first two topics named have
already provided a number of 'wormhole' paths. There is no telling where all this is leading fortunately.
Thus the original scope of the series, which for various (sound) reasons now comprises five subseries: white (Japan), yellow (China), red (USSR), blue (Eastern Europe), and green (everything
else), still applies. It has been enlarged a bit to include books treating of the tools from one subdiscipline which are used in others. Thus the series still aims at books dealing with:
- a central conc~pt which plays an important role in several different mathematical and/ or
scientific specialization areas;
new applications of the results and ideas from one area of scientific endeavour into another;
- influences which the results, problems and concepts of one field of enquiry have, and have had,
on the development of another.
The world is full of periodic and quasi-periodic motions and oscillations. That is multifrequency
oscillations. Mathematically, to a large extent, that means the study of invariant tori of dynamical
systems. These constitute the more systematic part of the phase space of a dynamical system as
opposed to the chaotic parts and their study is just as (perhaps more) important as the study of
chaos.
This monograph constitutes a thorough and up-to-date treatment of invariant tori, including
existence, perturbation and stability results. Many of these results involve original work by the
author himself. These chapters are preceded by ones on periodic and quasi-periodic functions and
on stability theory, thus making the volume selfcontained.
The shortest path between two truths in Ihe
real domain passes through Ihe complex
domain.
J. Hadamard
Anatole Frana:
H. Poincare
Michiel Hazewinkel
Contents
xi
PREFACE
.xiii
INTRODUCTION .
CHAPTER 1. Periodic and quasi-periodic functions
3
7
.
1.3. Main inequalities in Hr(Tm )
1.4. Quasi-periodic functions. The spaces Cr(w)
. .
9
13
18
H r (w)
25
28
38
41
46
46
49
56
70
on it. . . . . . . . . . . . . . . . . . . . . . . . . . .
83
88
96
99
99
.....
viii
CONTENTS
101
106
113
118
3.6. Uniqueness conditions for the Green's function and the properties
of this function . . . . . . . . . . . . . . . . . .
3.7. Separatrix manifolds. Decomposition of a linear system
124
134
. . . . . . . . . . . . . . . . . . . . . .
151
. . . . . . . . . . . . . . . . . . . .
158
3.11. On triangulation and the relation between the C'(Tm)-block decomposability of a linear system and the problem of the extendability
of an r-frame to a periodic basis in En
. . . . . . . .
169
178
188
194
211
211
215
.....
220
226
CONTENTS
ix
241
. 258
. . . . . . . . . . . . . . . . .,
270
281
285
BmLIOGRAPHY .
297
AUTHOR INDEX
309
INDEX OF NOTATION
310
SUBJECT INDEX
311
Preface
It can be seen from the title that we shall be dealing here with a mathemati-
cal theory based on precise notions and definitions. The central object of this
theory is an invariant toroidal manifold of a dynamical system considered in a
Euclidean space En or in its product with an n-dimensional torus, that is, in
the space En
to the following topics: the existence of invariant toroidal manifolds for linear systems in En
xii
PREFACE
multi-frequency oscillations and will be useful to specialists who are not well
acquainted with the above-mentioned topics.
Questions concerning asymptotic integration of multi-frequency oscillation
systems are excluded from the book. They are considered in a separate work.
The results given in the last two chapters were obtained mainly by the author. The results obtained in conjunction with V.L. Kulik and 1.0. Parasyuk
form an exception. The content of the book was partially covered in special
courses given to graduate students of the department of Mathematics and Mechanics of Kiev State University. The courses have been given regularly since
1974.
Introduction
Originally, oscillation theory arose within celestial mechanics. A mathematical
idealization of processes and phenomena studied in oscillation theory reduced
the problem of describing a given physical system to the study of a linear
differential equation, and the oscillation itself to a solution of this equation of
"oscillatory" type. The principle of superposition reflected the main regularity
of the linear theory and the amplitude-frequency characteristic was the main
property of oscillations [54], [155].
The works by Poincare and Lyapunov [66], [69-71], [101] devoted to the
theory of periodic solutions of weakly non-linear systems have given researchers
a mathematical tool for studying oscillation processes of "non-linear" nature,
which are difficult to interpret in the linear theory. The needs of electrical and
electronic engineering contributed to a fast development of this ''new direction"
and were instrumental in its separation as an independent theory in non-linear
oscillation theory in mathematical physics. A fundamental contribution to the
solution of problems of the non-linear theory was made by N.M. Krylov and
[92], [97], [99], [122], [133], [136], [137], [140], [141], [144]. Many real processes
whose mathematical idealization allow one to regard them as "repeating themselves exactly" in the same periods of time, have been well interpreted within
oscillation theory [2], [4], [23], [31], [37], [38], [55-57], [71], [73], [76], [80], [92],
xiv
INTRODUCTION
[48], [49], [89-91], [156-160] has been the greatest achievement. Quasi-periodic
solutions of "weakly non-linear" systems of general type have been studied
by N.N. Bogolyubov [20], [21], [24]. Many problems concerning the analysis
of systems which describe quasi-periodic oscillations were solved in papers by
Yu.A. Mitropol'skii [24], [77-79], [82],[83]. The papers [103-105] by the author
are closed related to the latter.
Quasi-periodic oscillations represent a rather complicated and "sensitive"
object of study. The practical effectiveness of finding such oscillations in an
individual dynamical system is negligible, for the reason that the frequency
basis is "unstable". This shows up well in examples and can be explained
theoretically using deep results from the qualitative theory of differential equations: a quasi-periodic oscillation can be easily "destroyed" and turned into
a periodic oscillation by a small change in the right-hand side of the system.
This fact forces one to look for a "coarser" object of study in the theory of
multi-frequency oscillation than a quasi-periodic solution.
In 1967 V.V. Nemytskii in his lectures at the Mathematical School in
Ujgorod, analyzed in detail possible answers to the following question: what
motion of a dynamical system in En should be considered as "oscillatory", and
concluded that it is recurrent motion [93]. With such a definition, a minimal
set "swept" by the trajectories of a recurrent motion becomes the main object
of study in the theory of auto-oscillation.
Until now, among the minimal sets, those "swept" by the trajectories of
quasi-periodic motions have been studied best. Following A.A. Andronov and
A.A. Witt [2], [3], we can assert that already Poincare knew that such a set is
a torus. Regardless of the fact that the invariant tori of a dynamical sytem in
INTRODUCTION
xv
cal device for studying integral manifolds of a wide class of non-linear systems
of differential equations. They influenced the nature of further developments in
the perturbation theory of toroidal manifolds, and led S.P. Diliberto [145-147],
T. Hale [138], [151], Y. Kurtsveil [61], J. Kyner [153], I. Kupka [154] and others
[163]. Subsequent studies by J. Moser and R. Sacker [90], [91], [160], [164] have
finished the creation of the perturbation theory of invariant tori of dynamical
systems.
The report given at the Fifth International Conference on non-linear oscillations [107] started a new series of papers on problems of the theory of
perturbation and stability of invariant toroidal manifolds of dynamical systems. The introduction of the notion of a Green's function in the problem of
existence of an invariant torus of a linear extension of a dynamical system on
a torus turned out to be very fruitful and encouraged development in different
areas of this theory. It seemed a return to the ideas of the method of integral
manifolds in the theory of perturbation and stability of invariant tori of systems of non-linear mechanics, and led to new results in this theory [58], [59],
[92], and D.U. Umbetjanov [132], and papers of Yu.N. Bibikov and V.A. Pliss
[15], [16], LV. Bronshtein and V.P. Burdijaev [29-30], N. Fenichel [148] and
xvi
INTRODUCTION
G. Sell [165-168].
Some aspects of the theory given in this book were developed and applied
to different classes of equations [74], [75], [84], [85], [88], [96], [120], [125], [126].
Problems relating to the topic were also considered in [32], [33], [40], [41]' [45],
[53], [121], [130], [131], [133], [134], [135], [170], [171].
Let f( 1jJ) =
(ljJl, ...
. . . ,ljJm) that is continuous and periodic with period 271" with respect to each
variable ljJa (0: = 1, ... , m). The set of all such functions forms a linear space
which we denote by C(Tm ). This space can be turned into a complete normed
space by introducing the norm
If 1o
where
= ~~ IIf(IjJ)11,
n
IIfll = L
2
Ifi 1
i=1
1, ... ,m). The set cr(Tm ) can be turned into a complete normed space by
If(IjJ)lr
= 0::Sp::Sr
max IDPf(ljJ) 1o,
= 1, ... , m).
P(IjJ)=
aksin(k,IjJ)+hcos(k,IjJ)=
II k ll::SN
where k
+ ... + kmljJm,
Pkei(k.~),
II k ll::SN
a vector with integer components, (k,ljJ)
= k1ljJl+
CHAPTER 1
v-oo
= o.
It follows that the space C(Tm ) is the closure of the space P(Tm ) of trigono-
),
I . 1o.
C(Tm )
= CO(Tm ) J
where Coo(Tm)
= n cr(Tm ).
00
r=O
Now we can define an inner product (-, ')0 for any two trigonometric polynomials from P(Tm )
P =
Plcei(Ic,r/,
IIlcll~N
Qkei(Ic,r/
(1.2)
IIlcll~N
by setting
(1.3)
Here {Pic, Q -k} =
'L-7=1 pt ~-k
27f
27f
lo . "lo
IIlcll~N
):
IIPIcW
Taking the closure of P(Tm ) with respect to this norm we obtain a Hilbert
space denoted by HO(Tm ). The elements of the space HO(Tm ) are given by
series LA: !A:ei(A:,,p) for which the sum LA: lilA: 11 2 is finite. Here LA: denotes
LA:EZ m , where zm is the set of all integer-valued vectors k = (k 1 , ... I km ).
For the polynomials (1.2) and any non-negative integer r, one can define
an inner product (-, ')r by setting, for example, as in [14], [89]
(P,Q)=I-Llt P,Q)o=
where Ll
= L;;'=1 k
(1+lI kWY(PA:,Q-A:),
(1.4)
IIA:II~N
1IlIr:
II P II; =
(P, P)r =
(1
+ II k WrlJP.l:11 2
IIA:II~N
Taking the closure of the space P(Tm ) with respect to this norm we obtain a
Hilbert space which we shall denote by H r (Tm ). The elements of the space
Hr(Tm ) are series LA: !A:ei(k,q for which the sum LA:(1 + IIkll 2 Yllfkl1 2 is finite.
Thus, starting with P(Tm ) we can form together with the chain (1.1) the
where HOO(Tm ) =
n Hr(Tm ).
r=O
00
We now find out what the structure of the spaces H r (Tm ) is.
1.2. Structure of the spaces Hr(Tm ). Sobolev theorems
According to the Riesz-Fisher theorem [50], each series
the sum L lilA: 11 is finite is a Fourier series of a function I(<p) which is square
summable on the cube Tm : 0 < <Pet :5 211" (0' = 1, ... ,m). From this it follows
2
that the space H(Tm ) can be identified with the space of functions periodic in
each variable <Pet (0'
on the cube Tm of the periods. In other words, H(Tm ) can be identified with
the space .L: 2 (Tm ).
Now let the series LA: hei(A:,,p) define an element of Hr(Tm ). For any
integer-valued vector P
PI
+ P2 + ... + Pm :5 T,
(Pl,,Pm), Pet
L(ikYfkei(k,,p)
1:
~ 0 (0'
the series
Ipi =
CHAPTER 1
).
estimate:
II/(p)II;-lpl
= L(1 + IlkIl2r-lpllI(ikYlkW =
k
P(Tm ). We have
(f(p) , P)o == L
(ikY(lk, P-k)
IIkll~N
= (-lY
= (-l)lpl(f, DP P)o,
(2.1)
IIkll~N
L(ikY h:ei(k,),
k
where
f2T
f2T
Ik = (21l')m Jo ... Jo
= D(p) f,
=0
IIkll~N
= L:llkll~N[fiP) -
(ik)P fk]e-i(k,)
k. Since the series L,k(ik)p fkei(k,</ is the Fourier series of the function f(p)
belonging to 2(Tm ), it satisfies Parseval's equality [67]:
(k)2 PllhIl 2 = c E
E(1 + II k ll 2r1lfkW ~ c E
k
Ipl~r,k
IIf~p)W
=c E
Ipl~r,k
IIDPfll~,
Ipl~r
It shows that the space Hr(Tm ) can be identified with the space of functions
periodic with respect to the variables Ja (a = 1, ... , m) with period 21T that are
square summable on the cube of periods Tm and have generalized derivatives
with respect to 4> up to order r inclusive.
The properties given by the Sobolev theorems [127] form an important
characterization of the spaces Hr(Tm ).
Theorem 1.
> m/2
For r
+p
estimate
Ipl
II ~ cE II kll P IIfk II
E lI(iky hei(k,</
k
~ c(E(l
(2.3)
where, using the condition r > m/2 + p, we obtain the following estimate for
the constant:
E(1 + 1I 2 )p-r E 1 ~
v=1
E 1I2p-2r+m-1 = E 1I00
~ C2
00
C'
00
C2
v=1
v=1
I-
Ikl=v
2(r-p-m/2)
= c~ < 00.
CHAPTER 1
L:k hei(k,)
that
E CP(Tm ). Moreover,
IDP flo
= 12:(ik Y hei(k,) I
where
Cl
cdlfllr,
is a constant independent of f.
).
< M,
= 1,2, ....
(2.4)
Let L:k f~j) ei(k,) be the Fourier series for the function f(j). Then taking (2.4)
into account we have
and for any k there is a convergent subsequence of the sequence of the coeffi-
cients f~j) (j = 1,2, ...). Without loss of generality we can assume that the
sequence f~j) itself converges as j ~ 00. We set
liP = 2:
IIkll~N
and estimate
f~j) ei(k,>,
RN f(j)
= 2:
he i (k,4
II kll>N
j,
l/
2: 1.
IIkll ~ N,
--+ 00
implies that
as j,
l/ ~ 00.
as N
--+
~ 00.
But then
as j,
l/ ~ 00.
This proves that the set f(j) (j = 1,2, ...) is compact in the space H'(Tm )
for s < r.
(f,9)r ==
2)1 + II k Wnh,9-k),
(3.1)
IU,g)r! S IIfllr-6I1gllr+6'
for elements f E H r- 6(Tm ) and 9 E H r+6(Tm ). Thus we obtain the inequality
f of H r + (Tm ) in terms
6
The inequality
ro and
> 0,
(3.2)
Setting in (3.2) r == 0,
CHAPTER 1
1 =L
fJ.ei(k,) E
H r (Tm )
Ipl
~ r
II/l1r ~ c
IIDP 1110
Ipl~r
for any 0 ~ p ~ r - Ipl and some constant c which does not depend on f.
The following more complicated inequality which gives an estimate of generalized derivatives of functions is due to Nirenberg [162]:
(3.3)
for any
Ipl
Inequality (3.3)
IIgll ~
1I/(>,g(>))lIr ~
cl/i r (1 + IIgllr),
(3.4)
Iflr
= max
O~q~r
max
(,y)eTmxTn
liD" f(!/l,y)'!,
(J'.
To prove (3.4) we write down the differentiation formula for the composite
of functions:
D';pl(>,g()
=L
p+,,<r
(D;D;/(>,y
= g(!/l))) x
(X
where
(J'
D;
and
of order
D:
<T
> and
II D ;f(>,g(>))llo S;
II D D:f(>,y
1'=1
p+cr<r
a-
S;
"IID;D;f(>,y
1'=1
/"
110'
II D;f(>,g()lIo S;
S; c
1IIIDD;f(>,Y)lIr/qll~/r
p+cr~r
S;
clflr
II Igl~l-v/r)a"lIgll~val/)/rS;
r
,,=1
IlglI~-q/r S; cdflr (1
+ IIgllr).
p+q~r
when 9 E Hr(Tm ).
The next two equalities, which relate the inner product (" -)r and the
differential operator 1 - Ll = 1 -
(I,g)r
L:::'=1 -k =
K:
11K' fllr
= IIfllr+2"
easily follow from equality (1.4) which defines the inner product in Hr(Tm
These equalities hold for elements
f and
).
such that the corresponding inner products and norms are defined.
Let WI, W2, ... ,W m be positive numbers that are incommensurable in the sense
that
(k,w) = kIWI
10
CHAPTER 1
F(t)
(4.1)
= (WI,.
,w m ) its frequency basis, and the numbers w" (v = 1, ... , m) the jrequencies of the function
00
F.
any set oj real numbers t/JI, t/J2, ... ,t/Jm the system oj inequalities
Iw"t -t/Jvl < 6(mod211'), v
= 1, ... , m,
has a relatively dense set of solutions jar any arbitrary small positive 6.
From Lemma 1 and the definition of a quasi-periodic function one can
easily deduce Weil's theorem [172] on the density of the values of a quasiperiodic function F in the set of the values of the function f.
Theorem 1. The set of values oj a quasi-periodic function F(t)
= f(wt)
IS
for any point t/J' = (t/J~, t/J2"'" t/J:") with It/J" -t/J~I < 6, v = 1, ... , m. It follows
from Lemma 1 that for t/J~, ... , t/J:" and such a 6 there exists r E R such that
Iwvr-t/J~I < 6(mod211'),
v= 1, ... ,m.
IIf(t/J') - F(r)1I
which proves Theorem 1.
= IIf(t/J') -
j(wr)1I < (,
II
.pETm
\I/(4J)11 = 1/10,
(4.3)
I . 10
of a function
IIF(t)11 = 11/(wt)1I
E C(Tm
(4.4)
< f-
P(wt)
Pkei(k,w)t
II kll:5 N
the mean value
1
lim -T
T-oo
+ P(wt)dt = Po = -()m
1
271"
T.
1 1
2
"-
...
,.-
12
CHAPTER 1
lim -1
T-oo
= f(wt)
+ F(t)dt
1 1
2
1
..
..
= Fo = -()m
...
f(</J)d</Jl ... d</Jm
211"
(4.5)
we turn C(w) into a normed space, which we shall denote by CO(w). Taking
into account the fact that the space CO(Tm ) is complete and using equality
(4.3) we see that the following theorem holds.
Theorem 4. The space CO(w) is a Banach space.
= f(wt)
and G
= g(wt) E CO(w).
Using
liT
(F,G)o = lim -T
T-oo
(F(t),G(t)dt = (/,g)o.
(4.6)
I!FII~
= (F, F)o.
F(t) ::::::
L Fkei(k,w)t,
k
Fk
liT
lim T-oo T
F(t)e-(k,w)ldt,
L l!FkW = IIFII~
k
(4.7)
13
I. Ir
by setting
IFlr = Iflr
whenever F(t)
= f(wt),
where f E Cr(Tm
).
Suppose that the function Ek !ke i(k,4 belongs to the space Hr(Tm ), and let
be positive incommensurable numbers. We form a function F(t) by defining it to be the series Ek fkei(k,w)t. The set of functions of
this type forms a linear space which we denote by Hr(w). For any two functions F and G belonging to Hr(w) and given by the series Ek !kei(k,w)t and
E (1 + IIkIl nfk,g-k),
2
IIFII: =
II . IIr:
(F,F):.
Since the space Hr (w) is the completion with respect to the norm
space P(w) generated by polynomials of the form pet)
of the
= Ellkll~N Pkei(k,w)t,
= n Hr(w).
r=O
is quasi-periodic with the frequency basis w = (Wl, ... ,wm ),
II .IIr
00
it follows from Parseval's equality (4.7) that its Fourier series Lk Fkei(k,w)t
belongs to the space HO(w). So, each such series can be identified with a quasiperiodic function for which it is the Fourier series. To find out what other
elements of the space HO(w) can be identified with a quasi-periodic function
one needs an extension of the above notion of a quasi-periodic function due to
P.Bol [25]. This extension leads to the notion of a quasi-periodic function in
the sense of Besicovich [142].
Definition. A function F(t) defined on the real line R and square summable
CHAPTER 1
14
frequency basis w
1
lim lim 2T
lI~ooT_oo
fT
-T
2 = O.
IIF(t) - Pv (t)1I dt
{ liT
p(F, G) = }~ T
}1/2 .
We denote this space by B 2 (w). The following theorem due to Besicovich [142]
gives an important property of this space.
Theorem 1. The space B 2 (w) is complete.
The proof of Theorem 1 is constructive and the interested reader can find
it in [64].
Since the space B 2 (w) is complete, the limit of a sequence of quasi-trigonometric polynomials Pv(t) = Lllkll:5 N v f~v)ei(k,w)t convergent with respect to the
mean square belongs to this space. Because the function Lk !kei(k,w)t in HO(w)
is obtained by taking closure of the space P(w) with respect to the norm 11110,
it corresponds to a Besicovich quasi-periodic function F(t). Conversely, for
any Besicovich quasi-periodic function F(t) E B 2 (w) there exists in B 2 (w) a
Cauchy sequence of quasi-trigonometric polynomials Pv(t) E P(w) converging
to F(t). The equality
which holds for the polynomials Pv(t) (1/ 1,2, ...), shows that the sequence
P v (1/ = 1,2, ...) is a Cauchy sequence in HO(w). Therefore the limit of the
sequence Pv (1/ = 1,2, ...) belongs to the space HO(w). Thus we see that there
is a correspondence between the functions of the space B 2 (w) and the space
HO(w). That is the space HO(w) can be identified with the space of Besicovich
quasi-periodic functions B 2 (w). This proves the following theorem.
Theorem 2. The space HO(w) is the space of Besicovich quasi-periodic func-
15
1 almost
everywhere on Tm
= wt,
(5.1)
which associates with the Besicovich quasi-periodic function F(t) a measurable square summable periodic function of many variables !( 4 on the cube of
periods Tm .
Equality (5.1) leads to the following relation
lim - 1
T-oo
2T
IT
-T
F(t)e-(k,w)tdt =
which shows that the series Ek !kei(k,w)t is a Fourier series of the Besicovich
quasi-periodic function F(t). It also leads to the equality:
L IIhl1
k
IT
2
1
= Tlim- o2T
IIF(t)1I dt,
o_T
(5.2)
for any trigonometric polynomial P(t) E P(w). The inner product in (5.2) will
be understood in the usual sense for quasi-periodic functions:
(F, P)o
1
= T-oo
lim -T
2
IT
-T
(F(t), P(t)}dt.
16
CHAPTER 1
Let the series Lk !kei(k,w)t define an element of the space Hr(w). The
function F(t) with the above Fourier series belongs to the space B 2 (w). The
function F(p)(t) with Fourier series Lk[i(k,w)]Pfkei(k,w)t also belongs to this
space for any 0 ::s p
::s r.
Moreover, since
(F(p),P)o
= L[i(k,w)jP(fk,P- k ) =
k
F(p)(t) is the pth generalized derivative of the function F(t). This shows that
each function F(t) E Hr(w) can be identified with a Besicovich quasi-periodic
function having generalized derivatives. Thus the following theorem holds.
Theorem 3. The space Hr(w) contains the Besicovich quasi-periodic junctions
~ cos(kn,w)t
= ~ II kn ll m+1
'
(5.3)
m ~ 2,
where kn
(5.4)
Since the series
converges for r
> 0 because
00
= CL
11=1
00
v-(m+1)
L
IIkll=1I
l::S Cl L
11=1
v-(m+1)+m-1
00
C1
L
11=1
1/-2
C2
< 00,
17
for 2r
r
m + 1, the
+ 1)/2 > 1.
(m
(m + 1)/2 > 1.
Finally, we also need to see that conditions (5.4) hold for a sequence of
integer vectors k n (n = 1, 2, ...). This can be achieved by using the following
result from number theory [139].
Lemma.
1
1-.,..------:< a - Pn
- < -qn(qn+l + qn)
qn
qnqn+l'
(5.5)
::;
2 2
(WI>
for j
(5.6)
ki = -Pn and k~ =
0). Inequality (5.6) leads to conditions (5.4) for m ~ rand kj = 0
2- n/2 WI,
= WdWI,
3.
Sobolev theorems similar to those given in 1.2 hold also for the spaces
Hr(w). The first theorem asserts that Hr(w) C CP(w) for r> m/2 + P, while
the second asserts that a bounded set of functions in Hr(w) is compact in
H3(W) for s < r.
Because the Sobolev theorems hold, the space Hr(w) has advantages over
other spaces of quasi-periodic functions that have derivatives up to order r
inclusive. For example, the spaces 71'r(w) which contain all quasi-periodic functions with frequency basis wand whose rth order derivatives are also quasiperiodic functions. The norm
1lr = 0:5P:5
maxr supl~1
tER dtp
turns 71'r(w) into a normed space, but the Sobolev theorems do not hold. This
can be seen by considering the sequence of functions
sin(kn,w)t,
n=I,2, ...
,m~2,
(5.7)
18
CHAPTER 1
l(k",w)1
(k",w)
~ 1,
0 only if k"
(n
-+
00).
F(t) = f(wt),
f(r/J) E C(Tm ),
mean value:
liT
F = lim T-+oo
J(t)
By considering the function
F(t)
F(t)dt.
(6.1)
sin(k",w)t ,
"=1
where k"
it
F(t)dt = 0.
(6.2)
n 2 sign(k n ,w)
J(t)
n21(k",w)1
n21(k",w)1
and therefore
~ sin 2(k",w)tj2
supJ(t) ~ 2sup L..
21(k" )1 ~
tER
tER "=1
,w
19
The last inequality shows that the function J(t) is unbounded on R, therefore
Theorem 1.
IJ(t)1
M, t E R.
4>T(wt) = J(t
+ T) -
J(t),
t, T E R.
(6.3)
Since the function J(t) is bounded on R, it follows that for some sequence of
numbers
the sequence
1
Nk
converges as k
iNk J(T)dT,
0
k=I,2, ...
-+ 00.
k=I,2, ....
According to equality (6.3) we have
~k(wt)
= -J(t) + Nk
k = 1,2, ... ,
(6.4)
20
CHAPTER 1
'ltk(wt)
+ J(t)
it
= ~k iNk
= ~ t jNk+'f(WT)dTdS = t
Nk Jo
Jo
J(N1:
f(ws
+ s) N1:
+ WT)dsdT =
J(s) ds,
= 1,2, ....
(6.5)
Since J(t) is bounded on R and in view of the relations (6.5), it follows that
the limit
lim ['It A;(wt)
1:-00
+ J(t)] = 0
(6.6)
lim -N
k-oo
[J(t
+ s) -
J(s)]ds
=0
(6.7)
n ..... oo
= mod
271",
E Tm .
J(t). Since
(6.8)
J(t)
= J(O) +
it
f(ws
+ )ds.
(6.9)
= sup
J(t),
tER
inf J(t)
tER
= tER
inf J(t).
(6.10)
21
+ tn)},
tER
tER
tER
tER
J(t - tn)
[t-tn
= J(O) + Jo
[t
f(ws
1-tn
f(ws
J (t -
Now we have
J1 (0) + tER
inf J(t) = inf(J1 (0) + J(t))
tER
tER
tER
tER
tER
+ tn)
that
(6.11)
Without loss of generality we can suppose that the sequence Sn is such that
lim wS n
n-oo
= c/Jo mod
211",
c/Jo E Tm .
J(t
+ Sn)
=J(Sn) +
f(ws
+ wS n + 4J)ds.
22
CHAPTER 1
Jt(t)
= Jt(O) +
J 2 (t) = J 2 (0)
1
t
f(ws
+ 4>0 + 4ds,
f(ws
+ 4>0 + 4ds,
1
t
where Jt(O) and J2 (0) are the corresponding limit points of J(sn
+ tn)
and
sup J2 (t)
teR
+ M 1 = sup J(t),
teR
teR
+ tnJ =
J(t
v~oo
(6.12)
J (t
+ T) -
J (t) 1 < {, t E R
(6.13)
>
+(}) -
J(t)1
(6.14)
~ to
+ In]
(n = 1,2, ...)
(6.15)
Condition (6.15) ensures that Tn - Til E I Tn for v < n. Consider the sequence
J(t+Tp ) (p= 1,2, ...) of shifts ofthefunction J(t). Let Tpj (j = 1,2'00') be a
23
J(t
-+ 00 ;
.lim
WTp .
J-OO
1
+ Tpj ) -+ J(t)
(6.16)
sup IJ(t
tER
+ Tpn ) -
+ Tpn ) J(t
J(t
+ Tpv)l:
Tpv ) - J(t)1
(6.17)
~ fO.
(6.16). This proves inequality (6.13). Now it is evident that the convergence
(6.7) is uniform on R. Indeed, for any f > 0 there exists I = l(f). such that on
any interval 1= [t,t + l(f)] there exists a point T = Ti(f) such that
IJ(s + T) - J(s)1 < f, s E R.
But then, for any t E R
1
1 fNk
N", 10 [J(t
+ s) -
I
11 iT
I
11 fNkH
I
J(s)]ds $ N", t J(s)ds + N", 1N +T J(s)ds +
k
+ 1N",
10fNk [J(s + T) -
2Ml
J(s)]ds $ N",
+ f,
J(t)
=-
(6.18)
lim Ilf",(wt)
"'-00
in the sense of uniform convergence on R. It follows that the sequence Ilf'" (</ E
C(Tm ) of functions is Cauchy with respect to the norm of the space C(Tm ):
max IIlfk+p(</ - Ilf",(</I
~ETm
for arbitrary f
= sup
IIlfk+p(wt) tER
1lf",(wt)1 < f
</>
E Tm to a certain
"'-00
= Ilf(</,
Ilf(</ E C(Tm ).
(6.19)
24
CHAPTER 1
Relations (6.18) and (6.19) show that the function J(t) belongs to the
space C(w), as required. From the above proof we obtain the formula
J(t)
where j
= j + ~(wt),
= Tlim
~ Jd J; f(ws)ds dr is the mean value of the function
..... oo
J(t)
~(4)) = - Tlim
fT r
..... oo 1 1
0
f(ws
+ 4ds dr,
(6.20)
where the limit is uniform with respect to 4> E Tm . This formula gives a relation
between the functions f(4)) and
~(4))
~(4))
can be deter-
mined from the Fourier series of the function f(4)) ~ Ek;to !kei(k, by using
the relation
t(k,w)
(6.21)
As is clear from (6.21), the "smoothness" property of the primitive, that is,
its membership of the space Cr(Tm ) or Hr(Tm ) with r 2: 1, depends essentially
on the arithmetic properties of the frequency basis w of the function being
integrated. In particular, this leads to the following result on the "smoothness"
of the primitive.
Theorem 2. Let F(t) = f(wt) E Hr(w) n C(w), F = 0 and suppose that the
frequency basis w (WI, ... ,wm ) satisfies the inequality
l(k,w)l2: Kllkll- d
for any integer vector k = (k 1 , ... ,km
),
(6.22)
25
From this theorem and taking into account Sobolev's theorem on embedding the spaces H r (Tm ) into C'(Tm ) it follows that if the conditions (6.22) hold
for the function F(t)
> s.
(6.23)
= m + 1.
(WI, ... ,wm ) that do not satisfy (6.22) approaches to zero for d = m
+1
as
g -. O.
= m + 1 is
sometimes called
cr (w)
3mJ2 + 1.
= Rcos8 l ,
Xz = Rsin8 l cos8 2 , ... ,
Xl
Xn-l
Xn
= Rsin8lsin8z,.sin8n_zcos8n_1>
(7.1)
define the relations between Cartesian coordinates x = (X1> ... , x n ) and spher-
26
CHAPTER 1
Xj
for this function on the sphere S R( c) are defined and there arises the question of
how the coordinates O(<b) depend on <b. The answer is provided by the following
theorem.
Theorem. Let f(<b) E Cr(Tm ) and
(7.2)
= 1, ... , n -
2,
8n- l (<b)
f( <b)
(7.3)
= 2.
the theorem is true for any pair of functions fn-l(<b) and fn(<b) - c satisfying
condition (7.2). Then it follows from the representation
fn-l(<b)
fn(<b)
= Rl(<b) COSOn-l(<b),
= + R 1(<b)sin8n- 1(<b)
C
=J
that R l (<b)
f~-l (<b) + (fn( <b) - c)2 E Cr (Tm ) and 8n - 1 (<b) (p, <b) + <fl(<b),
where P = (Pll'" ,Pm) is an integer vector, <fl(<b) E Cr(Tm ). Relation (7.2)
also holds for the pair of functions fn-2(<b) and Rl(<b), which leads to the
representation
= R2(<b)COSOn-2(<b),
R1(<b) = R 2(<b) sin On-2(<b),
fn-2(<b)
where R2(4)) =
27
form of (7.3):
Since the functions R I and R2 are positive, sin On-2(4)) = R I (4))/ R 2(4)) > 0
for all 4> E Tm and thus p(l) = 0 in (7.~). This proves that the function On-2(4))
belongs to the space C'"(Tm ). By considering further pairs offunctions fn-3(4))
theorem for n = 2. In the proof we shall follow the reasoning of Jensen [65].
We set
and consider the polar coordinates R(4)),O(4>) for the pair 91(4)),92(4>). They
are defined by the relations:
91(4))
92(4))
91(0) - 2'
We set P
= (p,4 + 4>(4)).
).
28
CHAPTER 1
(8.1)
= 1, ... , r)
that belong to
the space C/(Tm ) and are linearly independent for all 4> E Tm so that
rankU(4)) = r,
For r
4> E Tm
En for any 4> E T m . This basis is called periodic and orthonormal if the vectors
'Uj(4)) (j = 1, ... , n) are orthonormal for every 4> E Tm :
where
Oij
For 1
r)
matrix
(the columns Vj(4)) (j = 1, ... , n - r) of which belong to the space C/(Tm ) and
are linearly independent for all 4> E Tm ) such that the system of vectors
29
where tlj (4)) is the determinant of the matrix obtained from U (4)) by taking out
the jth row. With such a choice of the vector V(4)), the matrix (U(4, V(4)))
satisfies the condition
= sin 4>1 sin 4>2'" sin 4>j-1 cos4>j, j = 1, ... , n e~ ( 4>1> ... , 4>n- d =sin 4>1 sin 4>2 ... sin 4>n- 2sin 4>n-1
ej(4)1'''' ,4>j)
1,
which give the formulae for transition between Cartesian and spherical coordinates introduced on the sphere S 1(0). For j = 2, ... , n we form the column
vectors ej
(8.3)
Lemma 1. The system of vectors (el, e2, ... , en) forms a periodic basis in En.
ej = (0, ... ,0, - sin 4>j-l, cos 4>j-l cos 4>j, cos 4>j-l sin 4>j cos 4>j+l, ... ,
COS4>j_l sin 4>j ... sin4>n_2cos4>n_1>Cos4>j_lsin4>j ... sin4>n-l),
for j
(8.4)
(ej,ej)
= 1,
(8.5)
30
CHAPTER 1
Moreover, if j
1
~_
e,._- Sm'f'lSm'f'2sm'f'j-2
.
U'f'j-l
A.
A.
A.
f;;A.
02 el
- cos<Plsin<P2 ... sin<pj-2 O<PlO<Pj-l - ...
1
1
oj-leI
... - COS <PI cos <P2 ... cos <Pj -2 O<PlO<P2 ... O<Pj -1
But then
ej+l
1
oe'
= cos <Pj
-',
-1 oJj
ej +v =
1
oe
..
'
,
sm
<PHv-2 OJHv-l
Cos<Pj_lsmJj' ..
1/
= 2, ... ,
,+v-l
= 2' oJ.
ej,ej = O.
,+v-l
U(J)
= O(J) T(J),
(8.6)
(8.7)
31
[T-~(4))
;]
x'U(4)) = 0,
(8.8)
x'O(4)) = 0,
(8.9)
and the matrix 0 1 (4)) which extends 0(4)) to an orthonormal basis in En,
satisfies the identity
0~(4))0(4>)
= 0,
(8.10)
where denotes the matrix transpose. Consequently, the columns of the matrix
0 1 (4)) define a system of linearly independent periodic solutions of equation
(8.9).
Conversely, after making any n - r linearly independent solutions of equation (8.9) belonging to the space C/(Tm ) orthonormal, they form a matrix
0 1 (4)) satisfying identity (8.10). Consequently, they form a matrix which extends 0(4)) to an orthonormal periodic basis in En.
CHAPTER 1
32
(8.11)
n-r+l~p~n
= (Vl(4, ... , v
(4))), IIV(4))1I
= I,
belonging to C'(Tm
),
the equation
(8.12)
has p - 1 linearly independent solutions belonging to C'(Tm ).
system of vectors U(4)) = (U1(4, ... , u r (4))) in C'(Tm
Then any r-
can be extended to a
To prove Lemma 3 it is sufficient to find n - r linearly independent periodic solutions of system (8.8) or the equivalent system (8.9). We denote the
orthonormal columns of the matrix 0(4)) by ej (4)) (j
= 1, ... , r)
and rewrite
=n -
the space C'(Tm ). We denote them by V2(4)), ... , v n (4)) and make the system
of vectors e1(4)), V2(4)), ... , v n (4)) orthonormal. This gives the orthonormal
matrix
which forms a periodic basis in En. Using the matrix
4)1 (4))
we make a change
of variables in (8.13) by introducing y' = (Y1, Zl), Zl = (Zl' ... ,Zn-l) according
to the formulae
Zl
= 2, ... , r) and
to the vectors which form the matrix V1(4)), the system of equations (8.13) in
the new coordinates will take the form
Y1
or, equivalently,
Y1
=0,
=0,
=1
z'U1 (4))
= 0,
(8.14)
r ~ 2,
(8.15)
33
n - 1 (for r
This proves
(8.16)
which consists of r - 1 equations with n - 1 unknowns.
Making the matrix U1 (<! orthonormal, we obtain a system of equations of
the form (8.9), equivalent to (8.16):
(8.17)
Since the conditions of the lemma apply to the first equation of this system, it
has p-l = n-2linearly independent solutions belonging to the space C'(Tm ).
Using them, we transform system (8.17) to the form similar to (8.14):
= 0,
fh
r -
= 1,
j72
= 0,
z'U2 ()
= 0,
r - 1 ~ 2,
= 0,
jh
= 0,
=2
(8.18)
or to the system
Yl
= 0,
j72
= 0,
Z'U2(<!
= 0,
r ~
3.
In the first case the unit basis vectors (0,0,1,0, ... ,0), ... ,(0,0, ... ,0,1)
form n - r = n - 2 linearly independent solutions of system (8.18), and this
proves the lemma for r = 2. In the second case, the transformations similar to
the ones performed for system (8.16) lead to the system of equations
34
CHAPTER 1
= 0, fh = 0, ... , Yr = 0.
(8.19)
(0, ... ,0,1,0, . .. ,0), (0, ... ,0,0,1,0, ... ,0), ... , (0, ... ,1)
clearly form n - r linearly independent solutions of system (8.19). This proves
the lemma for an arbitrary r, 1
n.
(8.20)
has n - 1 linearly independent solutions belonging to the space C'(Tm
).
where a = const
Un
= Ic) > O.
35
Let
denote the spherical coordinates of the vector u( 4 defined on the sphere with
centre (D,D, ... ,e) and radius
In view of inequality (8.21) we can apply the theorem from 1.7 to tP(4)) and
thus we see that the coordinates of this function are appropriately smooth and
periodic. The transition formulae relating Cartesian and spherical coordinates
allow one to write the vector u( 4 in the form
(8.22)
where el(4)) is the vector (8.2) and eo
Using
).
where the
ej (4))
We show that the system (8.23) forms a periodic basis in En. Since the
functions tPj(4)) satisfy conditions (7.3) (if in (7.3) we replace 0 and r by
tP and
Taking into account the form of the vector ej (4)) and continuing the calculation
we find that
36
CHAPTER 1
Using formula (8.22) and the form of the vector el(<p) we now have
det <l>
= R(
+ R(
tin
R(
R( >)
lIu(1I
= 1,
I ~ 1 and the
(8.24)
n>m+l
holds, then the set of values of the function u( <p) is not everywhere dense on
the unit sphere 5 1 (0).
Indeed, the function u( defines a smooth map U of the m-dimensional
torus Tm : 0 S >i
S 271" (j
Theorem. Let n
space
C I (Tm )
(8.25)
n> m+r
r+ 1 S p S n,
37
the inequality
p>
m+ 1,
+ ... + vp(rjI)x p = 0
(VI (rjI),
... , V p ( rP))
U(rP) = O(rP)T(rP)
where O(rP) is an n x r orthonormal matrix belonging to the space C(Tm ).
Applying the approximation theorem to the matrix O(rP) , we construct an
orthogonal matrix 01(rP) belonging to the space C1(Tm ) and arbitrarily close
to O(rP) with respect to the metric of C(Tm ). Let
where
38
CHAPTER 1
(9.2)
be a Jordan form of the matrix P(<p), and let T(<p) be a matrix that reduces
P( <p) to this form:
Let C(<p) be an arbitrary non-singular matrix commuting with the matrix :J(<p).
A general formula giving all solutions of equation (9.1), that is, giving all
the logarithms of the matrix P(<p) has the form [39]:
(9.3)
where the matrix In :J(<p) defined by the expression:
/ '(,\.)
= /(,\.)E- + __
J Z.
J
J
I!
J
/"(A')
+ __
J_ Z.
2!
J
.. .
+ /(pr
1)(,\.)
(Pi _ I)!
Z~j-l
J
'
39
where
1
Z) -- [00.
f(>') = In >.,
...
o ...
~ .~o]
1
X(<p) = In P(<p)
and find out when we can choose it so that it will belong to the space C/(Tm ).
The example of the matrix
Po(<p)
COS <p
= [ -sin<p
sin <p ]
cos<p
i i]
= -21 [ -11
[eit/>
0] [ i
-i
0 e-it/>
1]
1
(9.4)
shows that this cannot always be achieved. Indeed, formula (9.3) defines the
real branch of the logarithm of matrix (9.4):
In Po(<p)
= [ -<p +0 2k1r
<p - 2k1r]
0
'
(9.5)
1
= -2
. f (>.E if'
'Tn
P(J-lln >.d>.,
(9.6)
40
CHAPTER 1
P(4)) when 4> covers Tm is called the spectrum of the matrix P(4)). We shall
say that the spectrum of the matrix P( 4 does not contain the origin if it
is contained in a simply connected region G of complex plane that does not
enclose the origin. For the matrix P(4)) the contour
be the same for all 4> E Tm if its spectrum does not contain the origin. In this
case, formula (9.6) becomes global since it defines an integral over
which is
the same for all 4>; therefore the integral (9.6) preserves the properties of the
matrix P(4)) considered as a function in the space C/(Tm ). The following result
summarizes the above remarks.
Theorem 1. Let P(4)) be a non-singular matrix in C/(Tm ) with spectrum not
containing the origin. Then a branch of logarithm of the matrix P(4)) can be
chosen in such a way that it belongs to the space C'(Tm ).
Note that the above branch of the logarithm turns out to be real when P(4))
is real and its eigenvalues satisfy the conditions given above for the logarithm
to be real.
Having finished our discussion of matrices in C/(Tm ) we now give a result
on the block diagonalization of a matrix P(4)) E C 1(7jJ due to Y. Sibuja [36],
[169].
Theorem 2. Let P( 4 be an n x n square matrix of a scalar variable 4> I periodic
with respect to 4> with the period 21T and I times continuously differentiable.
Suppose that the characteristic polynomial p(4),A) of the matrix P(4)) can be
represented in the form
Pl(4), A)
41
11.
respect to 4J with period 271", I times continuously differentiable and such that
= diag{d1 ,d2},
the doubling of the period of the matrix T( 4J) in choosing it to be real is essential
for Theorem 2 to hold. We also note that the analogue of Sibuja's theorem is
not known for m
> 1.
1.10. Garding's inequality
Let
vp ,1Jv, 1Jp} ~
L(A
L II1JvIl
v,p
v=1
II
must hold for any collection "11, ... , "1m of n-dimensional vectors 1Jv
for some
II
(10.1)
> O.
(10.2)
42
CHAPTER 1
where I and fJ are positive constants which depend on the coefficients of L 2 but
do not depend on u.
Proof Let u E HOO(Tm). Then L 2 u E cP(Tm ) C HP(Tm ) and the expression
on the left hand side of (10.2) makes sense. We now derive inequality (10.2).
Let p = O. Then
I~ol ::; ~II aa~: :</1~ I oli ulio + ~llav :;v Iioliullo+ IIbulioliulio ::;
I'
(10.3)
where c' = c (Lv.1' &&~e 10 + Lv la v10 + Ibl o), fJ 1 is an arbitrarily small number,
and c is a positive constant which does not depend either on u or on the
coefficients of L 2 .
~ 11 l:
(21l")m
v=l
m
1 1 II au II
2
:11"
.. .
:11"
(fi:"""
'!'v
:~u",) o'
Using inequal-
d</11'" d</1m =
(10.4)
where
Cl
and
C2
Using both inequalities (10.3) and (10.4) we arrive at inequality (10.2) for
p= 0:
(L 2 u, u)o
(11 c2
;:)
1
43
Let p = 1. Then
~(
{;;t
ou OU)
L OJi 'OJi
~(",OAv" 02 u
+ {;;t
OJi oJvoJ" +
f::
'" oa v ou
oJv
+ L.: OJi
2: l'
~II
ob
ou )
1 112
2
+ OJi
U, OJi 0 + l' lu 1 - 611ull o 2:
611ull~ 2:
1 2
112 ~ (
ou )
2: 1'ctllulb2- 1'C211ullo2- 611ul1 2
1 +1'1 ulll - 611u 0 + {;;t ~iU, OJi 0 2:
2:
where
ClJ C2
(~iU, OU/OJi)O.
u and
L 2
We have:
where
(10.5)
44
CHAPTER 1
where
1(1)
and
0(1)
L:v,,,, IAv",h +
:$ r. Consider
2 I C111 ullr+2
OC2
Ilull12+ Illullr+1
2 - olullo
I 2+ {;;:
~ (1>.u, 01>.
OU ) r ~
+11
'"
2c
:$
2 + 62I1ullr+2I1ullr+l
1
6121 lullr+2
:$
1
45
202+~cr+l) (O~(r+2)lIulI;+2 +
1
04C!+2) lI u lin
1
~8rllulI;+2 + 282[3+~cr+l)]lIulI~,
1
(10.7)
(L2 U,U)r+l
[r c l -
8C2
- [ ( ""2
+
,)
where r(r+l) and 8Cr + l ) are positive constants which are dependent only on
L:v,1l IAvlllr+l + L:v la v Ir+l + Iblr+l but do not depend on u.
By assuming that inequality (10.2) holds for p ::; r we have proved it
for p = r
+ 1.
u E W>O(Tm ).
Now let u E HP+l(Tm). Then L 2u E HP-l(Tm ) and the product (L 2u, u)p
makes sense. For u E HP+l(Tm ), inequality (10.2) follows from the following
chain of inequalities
(10.8)
-> 00
in (10.8) we have
k-+oo
= rllull:+l - ollull5,
Iblp, but
dx
(1.1)
dt = X(x),
the right hand side of which is defined, continuous and satisfies a Lipschitz
condition in a domain D of n-dimensional Euclidean space. Under these assumptions, for every Xo E D there exists a unique solution x(t, xo) of system
(1.1) such that x(O,xo)
= Xo.
main D for a maximal interval (T-, T+) in R, where -00 ~ T- < < T+ ~
+00, T- = T-(xo), T+ = T+(xo). Since the system of equations (1.1) is
autonomous, the function x(t, xo) satisfies the group condition with respect to
t:
x(t + T,XO)
for any Xo E D and any t, T and t
= X(t,X(T,XO))
T-
= -00 will be called the negative semi-trajectory of the motion x(t, xo) and
arc of the trajectory of the motion x(t, xo) with the time length T 2 - T 1 which
we denote by x(t,xo;[T1 ,T2 ]).
A set M C D is called an invariant set of system (1.1) if it consists of
points of the trajectories of this system.
46
47
lim t n
n-oo
= +00
(1.2)
n-oo
= x O E D.
(1.3)
Then x O is called an w-limit point of the semi-trajectory x(t, Xo; R+). Similarly,
one defines an a-limit point of a semi-trajectory x(t,xo;R-).
The set of all w-limit points of a semi-trajectory x(t, xo; R+) is denoted by
11"0' the similar set of a-limit points of a semi-trajectory x(t, xo; R-) is denoted
by A.,o.
For subsets A and B of En we define the distance p(A, B) between them
by setting
p(A,B)
= .,eA
inf p(x,y) = inf IIx - yll.
.,eA
!leB
!leB
The common properties of the limit sets 11"0 and A.,o of compact semitrajectories are known from the qualitative theory of differential equations [17],
1-+00
(1.4)
To prove the theorem we shall follow the reasoning of [94]. Let x O E 11"0'
We choose a sequence (1.2) such that relation (1.3) holds and consider the
48
CHAPTER 2
for each t E R. Because the semi-trajectories x(t, Xo; R+) are compact, the
values ofthe functions x(t+t n , xo), n = 1,2, ... , belong to some closed bounded
subset D 1 of the domain D. But then x(t, Xo) E D 1 for any t E R. Hence, in
view of (1.5), we have x(t,xO) C 0"0 for all t E R.
By passing to the limit in the equality
it
X(x(t
+ tn, xo))dt
(1.6)
we prove that the function x(t, xO) defines a solution of system (1.1). This is
sufficient for the set 0"0 to be invariant.
To show that the set 0"0 is closed we take a sequence of points x~ (n =
1,2, ...), x~ E 0,,0'
n .... oo
p(x~, xO)
x(t,xo;R+). This proves that the set 0"0 is closed. It is obvious that 0"0 is
compact.
We show that the set 0"0 is connected. Assume the contrary. Then there
exist two non-empty disjoint closed sets A and B such that 0"0
= AU Band
p(A, B) = d > O. Since A C 0"0 and B C 0"0' one can find t~ and t~ arbitrarily
large such that x(t~, xo) lies in a (d/3)-neighbourhood of the set A and x(t~, xo)
lies in a (d/3)-neighbourhood of the set B. Choosing subsequences
{t~}
{t~}
and
o< t~ < t~ < t~ < t~ < ... < t~ < t~ < t~+l < ...
hold, we find that
p(x(t~, xo),
A) < d/3,
p(x(t~, xo),
A) ;::: p(A, B) -
p(x(t~,
(1.7)
= d/2.
(1.8)
According to
49
the definition, the limit point of this subsequence XO belongs to the set 0,,0.
On the other hand, by passing to the limit in relation (1.8) we obtain
p(xO,A)
= d/2,
= d/2,
that is, 0"0 f:. Au B. This contradiction shows that 0"0 is connected.
Finally, we prove limit equality (1.4). Suppose that it does not hold. Then
one can find a sequence of positive numbers {t n }, lim t n =
n-oo
t ;:::
o.
(-+00
for all Xo E U6 0 and some 60 > 0, then the set M is said to be asymptotically
stable for system (1.1). If M is not stable, then it is called unstable. The term
"unstable" will also sometimes be used for sets that are not positively invariant.
Here and in what follows, U,
the set M consisting of all the points x E En for which 0 < p(x, M)
<L
Let D 1 be a bounded region that is contained in D together with a neighbourhood of it, let 8D 1 be the boundary of D 1 , and D 1
50
CHAPTER 2
= Vex)
= Vex)
>0
>0
such that
(2.1)
Indeed, for a sign-definite function V on D} the function
IVI
is positive-
definite on D 1 and the set VI' is not empty for any J-l > O.
Suppose that the left inclusion in relation (2.1) does not hold for some
sufficiently small
0< V(x n )
< l/n,
p(x n , No)
~ f,
n = 1,2, ....
For a limit point x O of the sequence {x n }we have then the following relations
51
But they contradict each other because of the definition of the set No. This
contradiction shows that for any
left inclusion in (2.1) holds.
Suppose that for some JJ
that the right inclusion in (2.1) holds. Then there exists a point X n in U1 !n(No)
= 1,2, .... For the sequence {x n }
p(x ,No)
= 0,
x E D 1,
which, as follows from the definition of No, contradict each other. The contra-
diction shows that for each JJ = JJ(c) > 0 we can find a 8 = 8(JJ) = 8(c) > 0 such
that the right inclusion in (2.1) holds. This finishes the proof of the lemma.
Remark. The value of JJ = JJ(c) played no role in the proof of the right-hand
inclusion in (2.1). Hence it follows from this proof that for any JJ > 0 there
exists 8 = 8(JJ) > 0 such that
The function
V(x)
is called the total derivative of the function V(x) along the solutions of system
(1.1) .
Theorem 1. If V
tive V
= V(x)
= V(x)
= 0,
x E D1
(2.2)
is a one-sided invariant set of system (1.1). More precisely, this set is negatively
invariant if the signs of V and
V are different)!
We regard the case when V(x) = 0 for all x E D 1 as the case of different signs
V are the
of V and
V.
52
CHAPTER 2
V(x(t, xo))
V(xo)
= 0,
t E [0, h 2 ),
= U,(No)
be a sufficiently small
V(x(t,xo))
V(xo)
~ p.
(2.4)
53
-dx
= -X(x)
dt
(2.5)
V in the
conditions of Theorem 1 be the same in order that the set (2.2) be unstable.
However, if the signs of V and
solutions of system (1.1) are sign-definite on D1 and their zero sets in D1 are
the same, then the one-sided invariant set (2.2) is asymptotically stable if the
signs of V and V are different and is unstable otherwise.
To prove the theorem we suppose that V(x) ~ 0 for x E D 1 . Let V =
V(x) ::; 0 for x E D 1 . It follows from Theorem 1 that the zero set No in
D 1 of the function V(x) is a positively invariant stable set of system (1.1).
Consequently, for a sufficiently small i > 0 there exists 6 = 6( i) > 0 such that
x(t, U~) C (Uf UNo) C D 1 for t ~ 0, where U~ = U~(No), Uf = Uf(No). We
now show that
lim p(x(t, xo), No)
t_+oo
U~o
=0
(2.6)
= 6(i)
<0
54
CHAPTER 2
o.
0 as t
--+
for t
~ 11-0
11-0
= O.
For
in the proof of the lemma, we take 60 = 60(11-0) > 0 such that the inclusion
V/Jo :) U6 0 holds. From the definition of the set V/Jo and the above inclusion it
follows that x(t, xo) E U. and x(t, xo) f/:. U6 0 for t ~ O. But then 60 < (. and
sup V(x)
rEU,\U6 o
= -a.
negative values on the closure of the set U. \ U6 0 ' it follows that a > O. But
then dV(x(t,xo))/dt::; -a for t
V(x(t,xo))::;V(xo)-at,
tER+.
(2.7)
Inequality (2.7) contradicts the fact that the function V(x) is positive definite
on D 1 This contradiction shows that 11-0 = O. Thus, if x(t, xo) f/:. No for t
then
lim V(x(t, xo))
1-+00
t-+oo
Suppose that
Oro
Oro
= o.
0,
(2.8)
i. No
Let y E
Oro \No.
semi-trajectory x(t,xo;R+), we can find a sequence 0 < tl < t2 < ... < t n <
... , lim t n +00 such that lim x(tn,xo) y. But then lim V(x(tn,xo)) =
"-00
n-oo
n-oo
V(y) # 0, which contradicts (2.8). This contradiction shows that Oro C No for
any Xo E U6. This leads to relation (2.6) for all Xo E U6 and therefore proves
that the set No is asymptotically stable.
Now let V(x) ~ 0 for x E D 1 . Then -V(x) ::; 0 for x E D 1 and the system
of equations (2.5) satisfies the conditions of Theorem 2 which ensure that the
set No is asymptotically stable as an invariant set of system (2.5). This leads
to the relation
lim p(x(t,xo),No)=O
t--oo
for all Xo E U6 0 ' where 60 is a positive number. But then the limit set A ro
of any semi-trajectory x(t,xo;R-), Xo E U6 0 ' belongs to the set No.
11-1
V/JI
Let
lim t n =
n-oo
+00
55
such that
lim p(x(-tn,xo), No)
n-oo
= O.
the value x(t n , x( -tn, xo) = Xo rt VI'I for t = t n > o. If now we fix fO > 0 such
that the inclusion UfO C VI'I holds, then in any neighbourhood of No one can
find a point of (2.9) that leaves the fo-neighbourhood of No when t > O. Thus
the set No cannot be a stable set of system (1.1) and this completes the proof
of Theorem 2.
It should be noted that the parts of the given theorem that relate to the
stability of the set No are similar to the results on stability theory of invariant
sets of system (1.1) [46], [47) and, in particular, are generalizations of the wellknown Lyapunov theorems on stability of equilibrium points of system (1.1)
when No consists of a single point [68], [72).
We end our discussion of one-sided invariant sets and their stability by
giving one further result [47) which is a quantitative characterization of trajectories of system (1.1). It has an obvious extension to positively invariant sets
of system (1.1).
Theorem 3. In order that a closed invariant set of system (1.1) having a
a sufficiently small compact neighbourhood not containing entire trajectories
be stable, it is necessary and sufficient that there does not exist a motion
x(t,xo), Xo
rt
The proof of the theorem is based on the fact that if the conditions of the
theorem are satisfied, then the quantity
inf
t<O
p(Xo)vl)=f
IS
o.
p(x(t, xo), M)
56
CHAPTER 2
= TI (xo)
< T2 =
eM.
= V(x)
Theorem 1. If a function V
= V(x)
along
(3.1)
xED I
To prove the theorem, suppose, for example, that V(x) ~ 0 and V(x) 5 0
for x E D 1 . We denote set (3.1) by N.
Let Xo E N. Then Xo E D 1 and consequently, x(t, xo) E D 1 for t E (hI, h 2 ),
where hI < 0 < h 2 . Then the function V(x(t, xo satisfies the inequality V(x(t, xo
V(xo)
=0
<
= V(x)
Theorem 2. If a function V
zero set (3.1) in D 1 is not empty and is locally invariant with respect to system
(1.1), then its total derivative V
= V(x)
= V(x)
and V
= V(x) = (8V(x)j8x)X(x)
are
57
(3.2)
ItI < f-
VA:
= 0,
= 0,1,2, ....
But then
It I <
f-
58
CHAPTER 2
1_+00
for all
Xo
U60
=0
(3.4)
n N.
It is clear that stability of a set M in N does not always imply that this
= V(x)
derivative of which V
= V(x)
sign and has the opposite sign of V, then M is a stable set of system (1.1).
If, in addition, the zero sets in D 1 of V and V are the same, then M is an
asymptotically stable set of system (1.1).
Before going to the proof of the theorem we establish some auxiliary results.
Lemma 1.
Xo
Suppose that the lemma does not hold. Then for any 61 > 0 one can find
a number
j1.
sequence of points
Xn
in U6 , n N satisfying
p(xn,M)
< 61 ,
p(x(tn,xn),M)
x(t,xn;[O,tnD C D 1 ,
2:
j1.,
tn
-+
+00.
(3.5)
Since M is closed and is contained in the bounded region D 1 , some neighbourhood of M is contained in D 1 The number 61 can be chosen so small that
the limit of the sequence
Xn
59
n N)
n N. Let
where 60 is chosen in such a way that both the points x(t, U60
N for t
E (U6 0 U M)
n N.
= 0,
belong to
But then
lim p(x(t,xO),M) =0,
1-+00
for all t
(U p / 2
(3.6)
Since the solutions of system (1.1) depend continuously on the initial data,
we can find N > 0 such that the inequality
(3.7)
holds for all t E [0, T] and n > N. We can suppose that N is so large that
(3.8)
V has
(3.9)
60
CHAPTER 2
for t
= tn -
> N.
(3.10)
Lemma 1 that the limit (3.4) is uniform for Xo E U6, (M) and for any closed
compact asymptotically stable positively invariant set M of system (1.1). This
property for an invariant set is well known [47]. It is the basis of the definition
of uniform asymptotical stability of an invariant set.
We denote by It:5,11 the set of points x E Db that belong to the h-neighbourhood of the set M and satisfying the inequality
= h 1(p.)-neighbourhood U6,(/l) of M
contains some
V6,/l
V6,O
= U6 n N
(3.11)
hI
> O.
V6,1'
Xn
such that
Since the functional p is continuous and the set M is closed, the limit of
the sequence
Xn ,
61
Now suppose that the limit relation (3.11) does not hold. Then one can
find convergent sequences JJn and Yn such that
which are contradictory since the first one means that Yo E N and the second
that Yo fI- N.
We now turn to the proof of Theorem 4. Using the statements of Lemma 1
and asymptotical stability of Min N we choose positive numbers ( and 6 = 6( ()
such that the relations
(U< U M) C D 1
1-+00
=0
(3.12)
V6,O'
V6,O'
= J-lo(T, ()
arc x(t, xo; [0, T]) belongs to the set U< U M for any Xo E
V6,l'o'
Such a choice
lim Yn
n-oo
= Yo,
lim J-ln
n-oo
= 0 and
tn
T, lim t n
n-oo
62
CHAPTER 2
p(x(t n ,Yn), M)
f,
p(x(r,yo), M)
(3.13)
f.
-+
0. Therefore
t E [O,T]
(3.14)
p(xo, xd :5 d,
(3.15)
= Jl(1,
-+
0. So, one
Xl
E \!c'1'
there will be a point Xo in Vb,O satisfying inequality (3.15). Suppose that Jl has
been chosen in this manner. Let y be an arbitrary point of the set Vb,!' and xO
a point of Vb,O for which
Inequality (3.14) considered for Xo = xO E Vb,O and
Xl
t E [O,T],
(3.16)
p(x(t, y), M) :5 p(x(t, y), x(t, xo)) + p(x(t, x), M) < f/2 + f/2
= f,
t E [0, T].
63
proving that
(3.17)
t E [0, T].
t E [0, T]
which, together with relation (3.17), proves that the trajectory which starts
at the point y E
v.s,J.'
at the moment t
invariant. If x(T,y)
x(t, y) E (V',J.' U M)
for t
o.
(3.18)
01(IJ(0(C)))
(3.19)
for all t
M is stable.
V coincide in
Dl
Choose 5 and IJ = J-l(5) such that relation (3.18) holds. Then for a point
xo E V6,J.' either x(t, xo) E M for t = T or x(t, xo) E Vc,J.' for all t > O. In the
second case lV(x(t, xo))1 is monotonically decreasing and as t -+ +00 tends to
a limit which, according to considerations similar to those given in the proof of
Theorem 2 of 2.2, is equal to zero:
1-+00
set Oxo of the semi-trajectory x(t, Xo; R+) belongs to the set V.,o. We claim
64
CHAPTER 2
that it is possible to choose 00 > 0 such that the limit set 0"0 lies inside M for
any point
Xo
t~+oo
for points Xo E V 60 ,p( 60 ) and hence the asymptotic stability of the set M will
be established.
In fact, suppose that it is impossible to choose such a 00 > O. Then for
any
fO
y, y E V 60 ,p(60)' such
= oo( f)
~ fO
is
dt -
= {(O, On
d.t = XIX2
dX2
(3.20)
is unstable. By taking V
= xi we see
that the set M is stable in N and that all the conditions of Theorem 4 are
satisfied except for the condition of asymptotic stability of M in N.
V in D 1 coincide
then it may happen that the set M will only be stable but not asymptotically
stable.
65
The system
-dXl
= 0,
dt
dX2
= Xl - X2,
dt
gives an example of the situation where the equilibrium position M = {(O, On
is stable but not asymptotically stable. For the same function V as in the
previous example all the conditions of Theorem 4 are fulfilled.
2.4. Behaviour of an invariant set under
small perturbations of the system
Let M o be a closed invariant set of system (1.1). We shall find out the behaviour
of M o under small perturbations of system (1.1). The magnitude of a small
perturbation will be defined by a positive parameter Jl. Using it, we write the
perturbed system of equations in the form
dx
di = X(x) + JlY(x).
(4.1)
We shall assume that the functions X and Yare defined, continuous and satisfy
Lipschitz condition for all x in D.
Denote the region of attraction of Mo by II(Mo). It consists of all the
points Xo E D such that
n.,o eM.
= Jlo( 6)
Jl < Jlo the system of equations (4.1) has a closed asymptotically invariant set
M = M(Jl) for which lim p(Mo, M)
1'-0
Mo for Jl
-+
some neighbourhood of M o common to all the sets M(Jl) for Jl < Jlo.
Turning to the proof of the theorem, we denote by x(t, Xo,Jl) the solution
of the system of equations (4.1) for which x(O,XO,Jl)
= Xo.
We set x(t,xo,O) =
x(t, xo). Since x(t, xo, Jl) is continuous with respect to all the arguments t, Xo, Jl
for t E [0, Tl, Xo E U6(Mo) and Jl E [0, Jlo] for any T
it follows that the relation
lim p(x(t,xo,Jl), x(t,xo))
1'-0
=0
(4.2)
CHAPTER 2
66
1-+00
Xo
=0
(4.3)
o.
Equalities (4.2) and (4.3) enable us, using a sufficiently small 61 > 0, to
choose 6
= 6(6d > 0,
= T(6d
= 0 monotonically,
for all
Xo
1
2'
2'
t 2: 0,
(4.5)
t >T
2'
t E [O,r]
(4.6)
p(x(t, Xo,IJ), M o) ~ p(x(t, xo, IJ), x(t, xo)) + p(x(t, xo), M o) < 61 ,
p(x(T,xo,IJ), M o) < 6
for all Xo E U6(Mo), IJ < 1J(6d, t E [O,T]. The last inequality means that the
motion x(t, Xo,lJ) starting at the point Xo E U6(Mo) remains in U 6, (Mo) all
the time for t E [0, T] and at t
=T
67
p(Mo, M) ::; 6i holds, which proves the limit relation lim p(Mo, M) = 0 since
1'-0
(i
and all Xo E U
2~, (Mo),
p <
analogous to (4.7).
Moreover, since X(Ti,XO'P) E U6(M o) for all Xo E Uu,(Mo), it follows
that x(t,xo,p) E U6,(Mo) for all t ~ T i . Therefore U6,(Mo) contains an wlimit set of the motion x(t,xo,p) for any Xo E U 2 6,(Mo), p < p(6d. Because
of the inclusion x(Ti,xo,p) E U6(Mo), this set is an w-limit set of the motion
U~(Mo).
U6, (Mo)
-+
-+
CHAPTER 2
68
U60 (M) of the set M is contained in the set U6(Mo) for any j.l < [.to. But then
for j.l < rnin([.to,j.l(cSd) we have the inclusion U6 o (M) C II(M), which proves
that
lim p(x(t,xo,j.l),M)
f-++oo
=0
< j.lo
it is
x(t, XO,j.l) of system (4.1) that start in U6 o (M) and remain entirely in U6 o (M).
Otherwise, these trajectories would belong to M. But this is impossible since
U6 o (M) does not contain points of the set M. So, by applying Theorem 3 of
2.2 to show that the set M is stable it is sufficient to prove that there are no
a-limit points in M of motions x(t,xo,fl) that start at points Xo E U6 o(M) for
x(t, Xo, j.l) starting in U 26. (Mo) outside the set M. Thus let Xo E U 26. (Mo)\M.
Then either Xo E U 26. (Mo)\M 1 or x E M 1 \M. Consider the motion x(t, Xo,fl)
for t ~ O.
First suppose that Xo E U26.(Mo)\M1 . We show that this motion leaves
U26.(Mo) for some t = -h, where 0 ~ h ~ T 1 . Indeed, let x(t,xo,j.l) E
U 26.(Mo) for all t ~ O. Then x(t,xo,fl) E U26.(Mo)\M1 for t ~ 0, since otherwise x(-tl,xO,fl) E M 1 for tl > 0 and x(t,x(-tl,xO,fl),j.l) E M 1 for all t ~ 0,
which is impossible in view of the equality x(t I, x( -t I, Xo, fl), j.l) = Xo and the
relation Xo ct. MI. We take a point x(-T,xO,fl) of the motion x(t,xo,j.l). Because it belongs to the set U26(Mo), according to (4.8) it must at time T1 belong
to the set U6(M o). But this is impossible since x(T1 , x(-T1 , XO,j.l), fl) = Xo and
Xo ct. M 1 :::> U6(M o). This contradiction shows that x(t,xo,j.l) ct. U26.(Mo) for
t = -h, where h > O. But then the motion x(t,xo,j.l) does not have a-limit
points in the set U 26. (Mo).
Now let Xo E M1\M. If the motion x(t,xo,fl) leaves M 1 for t < 0, then
it enters U26(Mo) and leaves it at some time t = -h < O. Consequently, the
motion x(t,xO,fl) does not have a-limit points in U26.(Mo).
If the motion x(t, Xo, fl) E M 1 for all t ~ 0, then the entire trajectory
of this motion lies in M 1, which contradicts the assumption that Xo ct. MI.
This contradiction shows that the inclusion x(t, Xo,fl) E M 1 for all t ~ 0 is
69
impossible.
It follows from the above remarks that the set M does not contain alimit points of the motions x(t, xo, Jl) starting in U26, (Mo) for sufficiently small
Jl. Consequently, the set M is asymptotically stable for sufficiently small Jl.
Theorem 1 is proved.
Theorem 1 enables us to investigate the behaviour of the stable set M o of
system (1.1) at the moment when it loses stability as a result of small perturbations of the system. Namely, we have the following theorem.
Theorem 2. Suppose that the system of equations (4.1) has the same closed
compact invariant set M o for all sufficiently small J.l E [O,J.lo], If M o is asymp-
totically stable for J.l = and unstable for J.l E (0, Jlo], then for sufficiently small
J.lo the system of equations (4.1) has an invariant set M p for all J.l E (0, Jlo] such
0, lim p(Mo, M p ) 0.
that M o n M p
1'-0
In other words, Theorem 2 states that when an asymptotically stable set
M o becomes unstable a new invariant set M p , Jl E (O,J.lo], of system (4.1) is
"born" .
To prove Theorem 2 it is sufficient to set M p equal to
(4.9)
where M
Since M contains all the trajectories that start in U6, (Mo), it follows that
M o C M. Because M is an asymptotically stable set and M o is an unstable
set of system (4.1) when Jl E (O,Jlo], we have that M o # M. But then set
(4.9) is non-empty, invariant, and together with M satisfies the limit relation
lim p(Mo, M p )
1'-0
= 0.
Theorem 2 is proved.
={
-(x + 1),
x::;
0,
-(x - 1),
-1,
x 2: +1,
the set M o consists of the interval -1 ::; x ::; +1, while M = M(J.l) consists
merely of the point
xl'
= 1 + IL.
70
CHAPTER 2
= 0,
Note that a change from stability to instability of the set M o does not
necessarily lead to the "birth" from Mo of a new invariant set of system (4.1)
for!J E (O,!Jo], This is the case, for example, for the point M o
equation
dx
-d
t
=X
3'
sm x
= {O} in the
+ J1.x.
= x(t,xo) = f(wt),
f(4)) E C(Tm ),
(5.1)
the trajectory x(t, xo; R) of which is compact in D. The closure of the trajectory
x(t, xo; R) belongs to the region D and consists of the points defined by the
equation
X
= f(4)),
4> E Tm .
(5.2)
f(wt)
= f(O) +
it
X(f(wsds,
t E R,
so that, passing to the limit in the sequence offunctions f(wt+wt n ), lim wtn =
4> mod 271", we obtain the identity
f(wt
+ 4
= f(4)) +
n-+oo
it
X(f(ws
+ 4)ds,
(5.3)
x(t,f(4)
= f(wt + 4,
t E R, 4> E Tm
Consequently, the set (5.2) is an invariant set of system (1.1), the trajectories
of which are quasi-periodic with the same frequency basis.
71
5,
describing smoothness of M, is an
= f(wt), IE C'(Tm ),
x(t,xo) = h(Qt), hE C(Tm ),
x(t, xo)
(5.4)
w = ~(P1 Q + PzQ'),
rank[P1 , Pz] = m,
(5.5)
~~clll(~P1Qt+ ~PzQ't) -
= (l/J,v)ET
max
h(Qt)11 =
= 0,
h(d1/
= I(P11/> + Pzv),
(1/>, v) E Tp,
(5.6)
= (Q 1, ... , Qm,)
called the real dimension of the frequency basis of the quasi-periodic function
x(t, xo). The real dimension of the frequency basis describes the dimension of
the set M at each point of it.
This fact can easily be expressed in mathematical terms when x( t, xo) E
C'(w) for
5 ~
72
CHAPTER 2
Then
rank
where
a~~) = m,
4J E Tp,
(5.8)
To prove the lemma, first suppose that p = m, that is, the dimension of
the frequency basis w is real. Suppose that relation (5.8) does not hold for
some 4J ::::: 4Jo E Tm , so that
af(t/Jo)
rank~
= ml < m.
af(wt + t/Jo)
8t/J;
for all t E R (i
= 8f(t/Jo) + t
8t/J;
Jo
= 1, ... , m).
8f(wt + t/Jo)
af(wt + 4>0)
04>1
' ... ,
a4Jm
(5.9)
dy
dt
8X(f(wt + 4Jo))
ax
y,
(5.10)
linearly dependent for all t E R. Consequently, we can find constants Cl,.., Cm,
t E R.
LJ
;=1
(5.11)
'
Cm
Cm
where OJ
Wj -
(i
Cj
= 1, ... , m -
73
m- 1 8f()
~ 8j OJ
= X(f()),
E Tm,
f(wt)
= f(Ot, 0),
tER
where we use the notation Q = (Q 1 , ... ,Om-d. This contradicts the assumption that m is the real dimension of the frequency basis of the x(t, xo)
= m.
= f(wt).
x(t, xo)
= h(Qt)
8!I()
. (8f()
= rank ~
:5 mm rank a '
rank PI .
&j(4))
8f()
8fl()
-)
8 f( )
rank a
= m,
E 7".
-+
74
CHAPTER 2
real dimension of the frequency basis of the x(t, xo). Then there exists 6
>0
(5.13)
is a homeomorphism for any o E Tm
E Tm and
f:.
and
II~ - ~II-+ 0, as v -+
00.
+ ~) = f(wt + ~),
= 1,2, ... ,t E R.
(5.14)
+ ~) = f( + ~),
1/
= 1,2, ... ,
which lead to a similar system of identities for the Fourier coefficients of the
function f():
!k(ei(k ..p~-.p~)
1)
(5.15)
Considering (5.15) on the spectrum of the f(), that is, for those k such that
!k
:f. 0,
Since Iit/>~
~" -+
as
v -+
00,
1/=1,2, ....
(k,~ - ~)
= 0,
(k,{)
1/
~ II
= 0,
(5.16)
VO.
f:.
75
= _k 16 + ... + km-1{m-l .
{m
(5.19)
for all
4> E Tm .
To do this we set
PN(4))
Ikei(k, ,
IIkll~N
L:k Ikei(k,
relation (5.19) holds for the values of k in the spectrum of 1(4)), it also holds
on the spectrum of PN (4)). This leads to the identity
= ({1"" ,{m-d
76
CHAPTER 2
is continuous for </> E Tm , this equality holds for all </> E Tm . Relation (5.20) is
proved.
It follows from (5.20) that
f(wt)
= f(nt, 0),
t E R,
--+
the torus Tm 51 (</>d x ... X 5 i (</>m) and the manifold M, where 5 i (rPj) is
a circle with the angular coordinate system. This becomes evident if we take
a function I E C(Tm) that is periodic with respect to one of the variables rPv
with period 27r f d, where d is an integer, d ~ 2. Then every point of M is the
image of d different points of Tm , namely, the points </> + 18 (l = 1, ... ,d), where
= ... =
= ... =
Bv - l
BV + 1
8m
0, Bv
27r fd. The non-uniqueness of
8i
the inverse image of a point f(</>o) E M under the map I : Tm --.. M is related
to the fact that it is possible to choose a frequency basis of a quasi-periodic
=PO,
(5.21)
= f(wt)
E C(w).
77
x(t,xo)
= !I(Qt),
t E R,
where h(1fJ) = !I(1fJ1, ... ,1fJm, E C(Tm,). It follows from the arguments of the
proof of Lemma 1 that the bases wand Q satisfy equality (5.5) and the functions
-+
= I(Pzv) =
1(0) for all v E 'Tp-m, , where P > m1. For small v this contradicts the inequality 1(0) ::j:. 1(1/, where I/> ::j:. 0 mod 21T. Thus the bases wand Q satisfy the
equality:
(5.22)
where d is an integer, P 1 is an integer matrix of rank m and the functions
and
where Pi is the jth column of the matrix Pl. Because 1(0) ::j:. 1(1/ for I/> ::j:.
= 0 mod d,
= 1, ... , m1'
Consequently, there exist two points 1/>1 E Tm and z E Tm , 1 ::j:. z such that
I(d = I(z). It follows from the arguments given in the proof of Lemma 3
that
(5.24)
78
CHAPTER 2
Given a vector <p and a number 0', we shall denote by <p mod 0' the vector
<Po with non-negative components of the smallest length such that <p - <Po = O'p,
where p is an integer vector. We set 6 (<P2 - <pdf(27r) mod 1. Then it follows
from identity (5.24) that
f(<p)
= f(<p + 27r6),
<p E Tm .
(5.25)
= f(M)
6
where d is an integer, P
= pfd,
(5.26)
1, ... ,m, P f O.
Indeed, by choosing the basis (1, (>,') from the numbers (1,6) we obtain the
following representation for 6:
(5.27)
where d is an integer, PI is an integer vector, P2 is a matrix of integers,
rank [PI ,P2] :2:
ml -
1,
ml
= f(Plt + P2(>,'t),
t E R, it follows
that
(5.28)
For
ml
O. But if P2
equality
(5.29)
Since f(wt) has a frequency basis w
map f : U60 (0)
-+
= (WI,'"
,wm
ml
= 1.
consists of the number 1, and representation (5.27) has the form (5.26), where
PI
=p. The inequalities for the coordinates of the vector p follow from similar
inequalities for the coordinates of the vector 6. This finishes the proof of (5.26).
79
n = (n I , ... , nm )
_ PI AHj
d
WI -
+ (1)10"
-
IIi,
by the relations:
HI, ... ,
i- j,
A
Wj -_ dPj AHj , ... ,Wm _- Pm
dHj
+ (l)V
- mH m ,
A
ni (i = 1, ... , m)
the numbers n are
II
i- j,
is periodic, and it is periodic with respect to t/Jj with period 2'11" since it follows
from (5.24) that
= f(Plt/Jj
+ (-lY't/JI+
2 PI k
Pi .1.
2 Pi k
Pm .1.
()Vm.l.'l'm+ 2'Tr Pm kj )
+ 'll"d j'''''d'l'j+ 'Tr d j""'d'l'j+ -1
d
for any integer ki . Since II (t/J) is periodic, the function II (nt) is quasi-periodic,
and from the formulae relating wand n, f and II it follows that
t E R.
II
i- j.
n can be expressed
= (lld)?n.
(5.30)
Since the matrix (lid)? in (5.30) is not integer-valued, the basis w of the
function x(t, xo) is not maximal.
80
CHAPTER 2
f : Tm
-.
f(wt)
= (kl>""
km )
with the property that for a vector P the vector kd + P also belongs to it for
'Vk E zm, and let d be an integer 2: 2. We define T d to be the set of all vectors
rd.
{PI, .. . , PN }.
:f:.
:f:.
0 for
II
= 1, ... , N,
2:
1 and write it as
arrange the positive numbers in the set of jth coordinates Pi v of all vectors
'T'
.
.
d
l'
h
(1) (2)
(lj) ( (i)
.L d III Illcreasmg or er to lorm t e sequence Pi
,Pi , ... , Pi
Pi <
(i+l) .
1
I
1)
h
(1) .
d"
f
th
b
d
d
(i)
. (1)
Pi
' Z
i , t en Pi IS a IVlsor 0
e num er an Pi
zPi
Pv E
= ,... ,
+ 1 = d/p~I).
This property can be easily derived from the definition of the set Td .
Lemma 4. If the frequency basis w
= (WI,'"
= f(wt)
C(w) is not maximal but m is the real dimension of the frequency basis, then
Jor the Junction J( 4 there is a set Td
such that
(5.31)
Jor any pv E Td and
(5.32)
Jor any p such that p mod d
rt. Td.
To prove the lemma, we consider the set {rPl,' .. ,rP N} of all the roots of
the equation
where
rPi
= rPv
if j
:f:.
II,
f(rP)
= f(O),
.p E Tm ,
.pj :f:.
0 for j
= 1, ... , N.
(5.33)
From the arguments in
the proof of Lemma 3 it follows that this set is finite and from the arguments
P~
81
I.c.m. of all denominators in the expression for 6", in the form (5.26) we find
a representation 6",
the vector P", = (PI", ... Pm",) satisfies the inequality 0 ~ Pi'"
1, ... ,m, v= 1... N.
<d
for j
1/>1
= 0 and 1/>2 = 21f'p",/d that identity (5.31) holds for v = 1, ... N. The prop-
erties of the set Td clearly follow from identities (5.31) because the function
/(1/ is periodic with respect to 4>",. II = 1... m. with period 21f'. Inequality
(5.32) also follows because the set {4>1 ... I/> N} contains all the roots of equation (5.33) and consequently T d contains all the vectors P = P mod d for which
= (WI, ... wm ) of the function x(t. xo) = /(wt) E C(w) to a maximal one.
We describe one step of this procedure. Suppose that m is the real dimension of
the frequency basis of the function x(t. xo). Consider the set Ttl = {Pl ... PN}.
Suppose that the first coordinate of at least one of the vectors from T d is not
zero. Then the first coordinates of the vectors P", (II = 1... N) are multiples
of the least positive number p~l). Without loss of generality we can assume
that this is the vector PI
Wi
PI
= dHi.
i'"\
Wj+1
(1)'"J+IHi+i.
= -pj+i,i
-HI + d
i'"\
i'"\
= 1, ... ,m -
1. (5.34)
and choosing integers IIj+! so that the numbers 0 1 ... ,Om are positive. Because W is a basis. the numbers 0 1 ... Om are incommensurable.
Consider the function
(5.35)
By identity (5.31) the function ft(1/J) turns out to be periodic with respect
to 1/J", (II
= 1..... m)
t E R.
82
CHAPTER 2
where ell = (0, ... ,1, ... ,0) is the v-unit vector taken as a column vector.
According to formulae (5.34)-(5.36) we have the equalities
(5.37)
ft(1/J)
= ft(O),
1/J E Tm.
(5.38)
According to formulae (5.37) these roots are defined in terms of the values
= 27r(PII/d+ k)
(where k
PII
27r ( d
+k
PII E Td )
P
P
= d:1/JII.k
= d:1/J1I
(5.39)
(I)
27rk l =
P~ 1/J1k.
27r (P~"
(I)
+ k 1) = P~
1/Jll1
(5.40)
Since p~l) is a divisor of the numbers d and PIli it follows from (5.40) that
1/Ja
= 0 mod 27r,
1/JIII
= 0 mod 27r.
Hence 1/Jk mod 27r and 'ljJ1I mod 27r are vectors that have their first coordinates
equal to zero for arbitrary k E
zm
Td,
= {p~,
P~
(v = 1,
, N') with first coordinate equal to zero. This finishes the first
= {PI, ... , PN }
are equal to zero and the second coordinate of at least one of the vectors from T d
is not equal to zero. In this case we have to carry out the same transformations
83
with the function f(ifJ) and basis w as in the case considered above except
that the transformations must be applied to the variable ifJ' = (ifJ2, ... ,ifJm)
and the basis w'
WI
h(nt)
n such that
= f(wt) = x(t, xo) E C(n), and the set Td' = {pL ,PN'} constructed
II (ifJ)
f' : Tm
-+
= f'(n't) = f(wt).
n' such
n' is a maximal
= f(wt)
= x(t, Xo; R)
m is the real dimension of the frequency basis of the function x(t, xo).
A set that is C' -homeomorphic to an m-dimensional torus is usually
called an m-dimensional toroidal manifold of smoothness s or simply an mdimensional torus of smoothness s.
Theorem 3 therefore states that the closure of a quasi-periodic orbit of
system (1.1) is an m-dimensional s-smooth torus.
Because M is homeomorphic to an m-dimensional torus and belongs to
the space En it necessarily follows that m < n [1]. At the same time the value
m
n - 1 is possible; it is easy to construct an analytic submanifold of the
space Em+l that is analytically diffeomorphic to an m-dimensional torus.
2.6. Invariance equations of a smooth manifold and
the trajectory flow on it
Let M be an m-dimensional smooth compact manifold, a neighbourhood U(M)
of which lies in a domain DC En. We form a finite covering of the set M:
84
CHAPTER 2
= U M6(Xi)
i=1
1, ... , N) and
defining
where
lII~(xi)
redius fl.
For a sufficiently small fJ > 0, the set M6(Xi) is diffeomorphic to an mdimensional ball 1II1'(0) of the space Em with a certain coordinate system
= Fi (</,
E En given by
</> E lII1'(O),
where the function Fi (</ is continuously differentiable for </> E lII1'(O) and
oF;(</
rank ~ = m,
</> E 1II1'(0).
= UFi (</,
F(</
i=1
</>
=1II1'(0),
= F(</,
</> E 1II1'(0).
(6.1)
We write down the invariance conditions for M with respect to the system of
equations (6.1) by using the analytic expression for the equation of the manifold
M.
Xo
= ri(</>o).
85
*
= ( 8Fi(4>0)
84>
X(Fi(4>O,
(6.3)
ri = r i-1 (4)0) (
8Fi(4>0) *
84>
X(fi(4>o.
Substituting this value of ri into equality (6.2) we find that the function Fi (4))
satisfies the relation
(FcP r- 1 F; - E)X(F) = 0
(6.5)
and the expression "F( 4 satisfies" means that each function Fi (4)) for i =
1, ... ,N satisfies equation (6.5).
Equation (6.5) will be called the invariance equation of the manifold M
with respect to system of equations (1.1).
Suppose that the function F(4)) satisfies the invariance equation (6.5).
We consider the differential equation
(6.6)
86
CHAPTER 2
But then
(6.7)
where x(t, xo) is the solution of system (1.1), x(O, xo)
= xo.
(6.8)
Consequently, any trajectory of system (1.1) that starts at a point of the
set M, can be obtained by using equality (6.8) from equation (6.1) of the
manifold and the solutions of the equation
~~ = r- 1 (cP)F; (cP)X(F(cP,
understood as the set of equations (6.6) for i
cP E III:S(O)
= 1, ... , N.
(6.9)
possibility we shall say that equation (6.9) defines a trajectory flow for system
(1.1) on the invariant manifold M, or that it is the equation of this flow.
We make some remarks concerning equations (6.5) and (6.9).
Let B(cP)
= U Bi(cP),
;=1
<jJ
the matrix Ftf>(<jJ) to a non-singular matrix [Ftf>(<jJ), B(4))] : det[F>(4)), B(4))] ::j;
0, cP E III:S(O). Multiplying equation (6.5) by the matrix [Ftf>(cP) , B(cP)]* we
obtain the equation
B*(4))(F>r- 1 F; - E)X(F)
=0
Let P(</
= U p.(</ ,
;=1
87
# 0,
det P(</Fq.(</
</> E ill6(O).
~~
where there is "certain degree of freedom" in choosing the right hand side.
Finally we note that the non-uniqueness involved in the description of the
equation of M in the form of (6.1) disappears whenever the manifold equation
is given by a single-valued function F( </ for all </> in a compact set
J{.
In this
J(.
=m
T/</> E Tm
(6.10)
(6.11)
while the trajectory flow equation (6.9) for system (1.1) on M takes the form
d</>
dt
= r- 1 (</(8/(</)* X (f(</>))
8</>
'
</> E Tm
(6.12)
(6.13)
where p~ = const
> 0 for
of the system
+ cos </>vXzv) =
0,
v = 1, ... , m
88
CHAPTER 2
(6.14)
where Xj (j
= 2m.
trajectory flow of system (1.1) on the torus (6.13) is defined by equation (6.12)
which takes the form of the system
d4Jv
1(
.)
-d = 0 cos4JvX2v-l -sm4Jv X 2v ,
t
Pv
II
= 1... , m,
4J E Tm .
F(4J)
= f(4J)
can be extended to a periodic basis in En and that B( 4J) E C+l (Tm ) is the
extending matrix so that
det[8f(4J)/84J, B(4J)]"# 0,
4J E Tm .
(7.1)
In studying the trajectories of system (1.1) which start in a neighbourhood of the manifold M it is convenient to go from the Euclidean coordinates
x = (Xl X n ) to local coordinates 4J = (4Jlo ... 4Jm). h = (h1 ... hn - m )
introduced in a neighbourhood of M in such a way that the manifold equation
= o.
4J E Tm
(7.2)
Under the above assumptions concerning the manifold M. the local coordinates
4J, h can be introduced by giving equations relating the variables x with the
variables 4J. h by means of equalities
x = f(4J)
+ B(4J)h.
(7.3)
89
-->
= 61 (6)
> 0,
p(x,M) < 6,
(7.4)
(7.5)
Indeed, since
p(x,M)
for some tP
= yEM
infp(x,y)= inf
.pET
IIx-f(4))II=lIx-f(tP)11
f(tP)1I < 6.
We set
x=f(tP)+z
and show that for a sufficiently small 6 > 0 the equation
f(tP)
+ z = f(4)) + B(4))h
(7.6)
-->
0 as 6 --> O.
a~~) (4) -
a~~) (4) -
and, taking into account inequality (7.1), solve (7.8) with respect to 4> - tP,h.
As a result we obtain the system of equations
af( tP)
] -[B(tP+(4>-tP-B(tP)]h } ,
4>-tP = L 1 {z- [f(tP+(4>-tP-f(tP)-~(4>-tP)
h=
L2{
Z -
a~~) (4) -
tP)]-
(7.9)
90
CHAPTER 2
where 1
= 1 (.,p) and 2 -
= 61 (6)
> 0 for
a sufficiently small 6 > 0 in such a way that in the domain (7.7) the operator
defined by the right hand side of this system will be contracting in the space
of the vectors </J - .,p,h. This is sufficient to solve uniquely equations (7.9)
with respect to </J - .,p, h in the domain (7.7) for the corresponding choice of
61 = 61 (6) > 0 and sufficiently small 6 > O. But then any point x satisfying
condition (7.4) has local coordinates </J, h satisfying inequality (7.5).
Consider the matrix
fo(</J)
= B(</J)B(</J),
</J E Tm
this matrix are positive for all </J E Tm . Since the matrix fo(</J) is periodic with
respect to </J one can find upper and lower estimates
')'0, ')'0
that are independent of </J. The quadratic form (r o( </J )h, h) can be estimated
by the inequality
(7.10)
for all </J E Tm
hE E n -
which relates the Cartesian coordinates x = (Xl, ... , x n ) and the local coordinates </J
of the manifold M.
It is clear from Lemma 1 and inequality (7.11) that a 6-neighbourhood of
f (</J)
[ 8 8</J
dt
dt
(7.12)
91
Condition (7.1) enables us to solve system (7.12) with respect to d</>/dt, dh/dt
for all h in the domain (7.5) for sufficiently small 61 > O. This leads to the
system of equations:
~~ = L1(</>,h)X(f(</ + B(</h)
(7.13)
L(</>, h)
+ 8B(</h/8</>, B(</).
The right hand side of the system of equations (7.13) is defined on the
domain (7.5), is periodic with respect to </>v (/I = 1, ... , m) with period 211"
and has degree of smoothness with respect to </>, h one less than the degree
of smoothness of the manifold M and the smoothness of the right hand side
of system (1.1) in a neighbourhood of M. The system of equations (7.13) is
equivalent to system of equations (1.1) considered on the inverse image of the
domain (7.5) under the mapping x - (,h) given by the change of variables
formula (7.3).
Note that the expressions for the matrices L 1 (, h) and L 2 (, h) in terms of
the matrices f,p = 8 f( )/8 and B B() can be found by using the Frobenius
formula [39] for inverting a four-block matrix. This leads, for example, to the
following values for L 1 (, h) and L 2 ( </J, h):
where
r 1 = r 1 ( </J , h)
8Bh)
= ( f,p + 8Bh)*(
8</J
f,p + 8 .
92
CHAPTER 2
Suppose that the manifold M is an invariant set for system (1.1). Then
set (7.2) which is an m-dimensional torus in Tm x E n -
is an invariant set
of system (7.13). Estimate (7.11) shows that the nature of the stability of the
manifold M is uniquely determined by that of the torus (7.2): if the manifold
M is asymptotically stable, stable or unstable then torus (7.2) is asymptotically
IIh1l2, equations
dt = a() + ~()h,
dh = P()h.
dt
~(),
(7.15)
P() it is enough
to substitute the expressions (7.15) into equation (7.12) and equate the terms
of order
relating a = a(),
~()
and P = P():
8~~) a = X(J(,
O~~)~ +
B()P
= 8XCfx(
B() _
8~~) a().
(7.16)
a()
The second defines
= r-1()(O~~)" X(J( ,
~()
where r()
(7.17)
and P( ) as
~( = L~()(OXCfx(
P()
E Tm .
= LO() (OX(J(
2
8x
B() _
O~~) a() ,
(7.18)
= 1;1", and L~(), Lg() are the blocks of the inverse matrix LO()
of the matrix
[I""
B]. In particular,
L~()
= [/;(E -
Lg()
93
dh
dt/J
di = a(t/J), di =
P(t/J)h,
(7.19)
where a(t/J) is the function (7.17), P(t/J) is matrix (7.18), will be called the
system of variation equations of the invariant torus (7.2). The first of equations
(7.19) describes the "tangent" and the second the "normal" components of
the trajectory flow of system (7.13) in a neighbourhood of torus (7.2). It is
clear that the variation equations are defined subject to the condition that the
function X(x) has continuous derivatives with respect to x in a neighbourhood
of the manifold M.
Theorem 1. Suppose that system of equations (1.1) and the toroidal manifold
M satisfy the above-mentioned smoothness and invariance conditions, and that
local coordinates can be introduced. If there is a positive-definite quadratic form
(7.20)
(7.21)
is negative definite:
v::; -.BllhIl
.B = const > 0,
(7.22)
(0,6d. From identity (7.14) and the smoothness conditions for the function
X( x) it follows that
IIL1(t/J, h)X(J(t/J) + B(t/J)h) - a(t/J)II ::; M(f),
(7.23)
94
CHAPTER 2
-t
0 as f
-t
O.
~~
a( 4>))h, h)+
+ B(rP)h) -
P(4))h),h},
J(
max 8S{)(4))
ETm
rP
11+ 2 ET
max 115(4))11:::; K.
m
This estimate holds for all 4>, h in the domain (7.24). For sufficiently small
f
(7.26)
where (rPt, h t ) is the solution of system (7.13) that takes the value (rPo, h o) when
t
0, V(t) is the value of V when 4>
4>t, h = ht, and T is a non-negative
number defined to be the maximal value for which (4)t, h t ) belongs to domain
95
t E [O,T).
(7.29)
Since T is positive, it follows from inequality (7.29) that the curve (4)t, ht)
does not hit the boundary of the domain (7.24) at any finite t 2: O. Hence it
follows that T
= +00 and
(7.30)
The arbitrariness of the choice of {and inequality (7.30) prove that any solution
(4)t, ht) of system (7.13) with initial conditions in the domain (7.28) satisfies
the conditions needed for the torus (7.2) to be asymptotically stable:
Ilhtll < (,
t E [0, +00),
lim
t-+oo
Ilhtll = O.
+ 1 or n > 2m.
Otherwise it is
= O.
96
CHAPTER 2
and
< (.
According to the definition, recurrent motion has the property that any arc of
time length T
+ TJ))
(8.1)
(8.1) by requiring that it should hold for the trajectories of the motion. This
is the case, in particular, for periodic, quasi-periodic and almost periodic oscillations of system (1.1), the trajectories of which are recurrent.
We now explain the relation between recurrent motions and invariant sets
of system (1.1).
A set M C D is called a minimal set of system (1.1) if it is not empty,
closed, invariant and does not have a proper subset with these properties.
Using Baire's theorem on the power of a totally ordered sequence of distinct closed sets ordered by inclusion [94], one can prove by contradiction the
following theorem on a minimal set [94].
Birkhoff's theorems can be proved by reductio ad absurdum: the assumption that the theorem does not hold necessarily contradicts the characteristic
97
= f(.p),
.p E Tm ,
(8.2)
with the function f(.p) E C' (Tm ) defining a local homeomorphism from the
torus Tm onto its image f(Tm )
the property that
f : Tm
relation
= M,
of(.p) = m,
rank ~
for s
.p E Tm
(8.3)
s = O.
As follows from the results of 2.5, the existence of such a manifold for
system (1.1) is a necessary condition for its quasi-periodic oscillations with
a frequency basis containing m frequencies to exist. We associate the multifrequency oscillations of system (1.1) with the manifold M by defining each
oscillation to be a recurrent motion the trajectory of which belongs to the minimal set M. The existence of minimal sets on M follows because the manifold
M is compact and closed, and Birkhoff's theorems imply that the motions that
start at the points of minimal sets are recurrent and they belong to a "certain
family" of similar motions each of which "winds round" the minimal set.
With such a definition of a multi-frequency oscillation the number m charactrizes how many frequencies there are by giving an upper bound m for the
dimension of a frequency basis for any quasi-periodic motion of system (1) contained in multi-frequency oscillations. Periodic oscillations whose trajectories
form M as well as stationary states of system (1.1), the points of which lie in M
and form there a closed set with connected components joined by separatrices
of system (1.1) in M are considered as a "single frequency" oscillation.
The behaviour of "double frequency" oscillations corresponding to the
value m
= 2 is determined
for s
'Tz.
98
CHAPTER 2
are not well studied. It is known from Pugh's closure lemma [102] that a
recurrent motion of smooth system (1.1) can be turned into a periodic one by
a small change of the right hand side of the system, and from the results in [5],
[89], [103] it follows that if the right hand side of system (6.12) is sufficiently
smooth and close to a constant, then quasi-periodic oscillations are "typical"
of the multi-frequency oscillations of system (1.1).
d>
di
dx
(1.1)
where u E C (Tm
),
= u(,
> E Tm
(1.2)
= 0,
J E Tm
(1.3)
d>
di = a(J) ,
dx
dt
= P(x,
(1.4)
xo(>o,xo) = xo,
the inequality
99
= >t (Jo),
CHAPTER 3
100
chotomous whenever for any ,po E Tm the Euclidean space En can be represented as a direct sum of two complementary subspaces E+ and E- of the
dimensions rand n - r in such a way that any solution ,pt(,po), Xt(,po,xo) of
system (1.4) with Xo E E+ satisfies the inequality
and any solution ,pt(>o), Xt(,po, xo) of(1.4) with Xo E E- satisfies the inequality
for arbitrary
>o,xo, T.
An invariant torus (1.2) of the non-homogeneous system of equati()n3 (1.1)
will be called exponentially stable (or dichotomous) whenever the lfivariant
torus (1.3) of the homogeneous system (1.4) corresponding to system (1.1) is
exponentially stable (or dichotomous).
We shall say that the system of equations (1.4) is block CS(Tm)-decomposable if there exists a non-singular matrix 4> E C'(Tm ) such that the change of
variables
x = 4>(,p)y
transforms this system into the system
d,p
di = a(,
dy
dt
= Q(y,
(1.5)
101
= (f>-l(4>O)xO'
The system of equations (1.1) is the simplest among the systems obtained
by taking a linearization of the equation of motion of a dynamical system in the
Euclidean space, considered in a neighbourhood of a smooth torus in a local
coordinate system. This explains the deep relation between these systems with
the theory of multi-frequency oscillations, the elements of which are considered
here.
Some problems that we shall be dealing with in this chapter are finding
existence conditions and methods of construction for the invariant tori of system
d4>
dt
=a(4)),
dx = P(4))x
dt
(2.1)
au
Lu=Eav(4))o4>v +b(4))u,
HI(Tm ) - .
(2.2)
v=l
b(4)) = -P().
-.
Lu
p.(4)))u,
v-I
A.)
P. ('I'
= ~ oa v(4)) =
LJ o4>v
v=l
tr
oa(4))
04> .
(2.3)
102
CHAPTER 3
(Lu, v)o
=(u, L*v)o.
(2.4)
(Lu, v)o
f21r
f2 1r
= (21r)m io ""lo
m
au()
[?;(a,,() a" ,v(
+ (b()u(),
v( ]d,
where (u, v) = L~=1 UiVi is the usual inner product of vectors u, v considered
as elements of n-dimensional Euclidean space. Since
au
p(u, v}-
-( u, fa" : ; ) + (u,b*v)
,,=1
=f
,,=1
a: (a"u,v)
"
+ (u,L*v),
(2.5)
(Lu, v)o
= (u, Lv)o.
dx
dt = -a(), dt
= [P*() + p()]x
(2.6)
in terms of L in such a way that the operator L can be written using system
(2.6) in the same way as the operator L is written using system (2.1). We call
system (2.6) the adjoint of system (2.1).
We denote by G'(Tm ) the subspace of C(Tm ) consisting of all those functions u for which u(t(q,o has continuous derivatives with respect to t such
that
dU(t(q,o = u(q,t(o
dt
f21r
o
f271
""lo
f21r
f21r
=- i o ""lo
(2.7)
103
12.. .
-d-I '
= Jro ""lor
27r
I(t)
27r
w(ljJt(</J)dljJl" .dljJm.
-->
dz
dt
and the condition &t.-;,t
.,..
theorem that
t=O
=-
= E,
J(t,1/J)
Jot
= exp{ -
tr
8a(ljJ_t(1/J
81jJ
= det 8</J-t(t/J) =
81/J
8a(1jJ (1/J
;;
dt} = exp{ -
Jot
Jl(IjJ-t(1/Jdr}.
1=
",:,.
"':
r
...
r
w(1/J)IJ(t, 1/J)ldt/Jl .. .d1/Jm =
J",~ J",~
",:,.
1/1:
=l~ l~
1
t
w( 1/J) ex p { -
104
CHAPTER 3
Taking into account the fact that Jt(J) - J is periodic with respect to Jv
with period 211" for
the equalities
II
j = 1,.,., m.
Since the functions under the integral sign are periodic, the above equalities
yield the following expression for the integral 1:
(2.9)
Differentiating equality (2.9) with respect to t we find that
11
dl
1. = -d
= t t=o
...
11'
11'
w(tP)tt(1/J)d1/Jl,. .d1/Jm.
= u(if + b(J)u(if,
L*u(J) = -u(J) + [b*(J) Lu(J)
(2.10)
tt(J)u(J).
It is clear that Land L * defined by relation (2.10) are the same as the operators
).
Lemma 2 enables us to prove that these operators are adjoint in the space
(dU( ~~(if)
= ~ (u( Jt(J , v(Jt (if> )-( u(Jt (J, dv( ~~( 4>)) )+(u(Jt(J, b* (4)t (4)) )v(Jt( 4)
to obtain
(Lu,v)o=
i '''i
o
11'
11'
105
where w(t/J)
{k {k
Jo .. '}o W(t/J)dt/Jl'" dt/Jm
{k
=- Jo
.. '}o
= -(J.l(t/J)u(t/J) , v(t/Jo.
But then
(Lu,v)o
= (u,-ti + b*v -
jlv)o
= (u, L*v)o,
as required.
Lemma 4. Suppose that the system of equations (1.1) has an invariant torus
t/JETm .
x=u(t/J),
(2.11)
(f,v)o=O
holds for any function v that defines the invariant torus x
the adjoint system of equations (2.6).
Proof. Let
x=u(t/J),
t/JETm
(2.13)
106
CHAPTER 3
chain of equalities:
(J,v)o
d4>
-=w
where
= (WI,'"
dt
,W m )
dx
dt =1(4)),
'
(2.14)
d4>
dt =
-W,
dx
dt
= O.
= c, c = const.
(21r)m
t"
[2.-
Jo ."Jo
= O.
(2.15)
The system of equations (2.14) has invariant tori only if the first integral of the
function f(wt) is quasi-periodic. But for this, as follows from Borel's theorem,
it is not sufficient that relation (2.15) holds.
'. 0 and
(3.1)
107
tPo
E Tm
An invariant torus x
rPo
a point
= u(), E T
m ,
invariant torus of the system of equations (1.1). The trivial invariant torus
of the homogeneous system of equations (3.1) will not be considered either as
degenerate or as non-degenerate.
tem (2.6) does not have invariant non-degenerate tori and that adjoint system
of equations (2.1) should not have invariant tori other than the trivial one,
x
= 0,
E Tm .
tions (1.1) has an invariant torus (1.2). By Theorem 1 of 3.2, the relation
(I, v)o
holds, where the function v E C(Tm
system of equations (2.6). If v
dictory:
IIvll6 = 0 for v =t O.
= 0,
(3.2)
=t 0 then
for!
of equations cannot have an invariant torus other than the trivial one.
Suppose that the homogeneous system (2.1) has a non-degenerate invariant
torus
x = uo(), E Tm
Let
x
= u;() ,
ETm
(3.3)
dx
dt = P(tPt())x,
(3.5)
108
CHAPTER 3
that is, the fundamental matrix of solutions of system (3.5) which is equal to
the identity matrix E when t
= O.
But then
UlI>t(4J
1n~(4J)uo(4JT(4JdT] =
= n~(4J)
+ 1n~(4J)ul(4JT(4JdT]
= nt(4J) [Ul(4J) +
nt(4J)[Ul(4J) + uo(4J)t],
U2(4Jt(4J
[U2(4J)
Uj(4Jt(4J. We set
U = column(uo(4Jt(4J)), Ul(4Jt(4J), ... , Un (4Jt(4J))) ,
it
= column(n~(4J)uo(4J),
= Tit,
T=
tE
t 2E
2!
tE
00 Zktk
=eZt=L~'
k=O
.................................
tn
t n- 2
t n- 1
-E
E
E E
N!
(n-I)!
(n-2)!
where E is the n-dimensional identity matrix and
z=
o.
... E 0
109
Then
which is equivalent to the system of equalities
.t i
... +(-l)l"'7juo(4>t(4>)),
J.
(3.6)
We use this system to prove that the torus (3.3) is degenerate. To do this,
taking into consideration the linear dependence of the vectors
00,01, ... ,on-l such that the vector u n(4)o) decomposes with respect to the
system of vectors (3.7) as:
+ 01 [U1(4)t(4>0) -
tuo(4)t(4>o))] + ...
tn - 1
... + 0n-l [un-1 (4)t( 4>0)) - tUn-2( 4>t (4)0)) + ... + (_1)n-1 (n _ I)! uo(4>t( 4>0))] ,
which together with equality (3.6) for j = n, = o leads to the identity
n 1
1 t [00 - t01 + ... + (-It- (n _ 1)!on-1] uo(4)t(o))+
tn -
_ 2)!On-1]u1(t(4>0))
+ ...
tn
+(-It- 1 (n _
110
CHAPTER 3
Letting
It I tend
to
(3.9)
= <Po
(3.10)
(<Po) in the vectors (3.7) for the point <Po E No. This leads to an identity
analogous to (3.8) and proves limit relation (3.9) for those points of N 1 for
Un
= 1, ... , n -
1,
(3.11)
is linearly independent.
Let <Po be a point for which all systems of vectors (3.11) are linearly dependent. Then there exist constants
If 0'1
f.
0'0,0'1
f. 0 and
obtain
- 0'0
0'1
uo(<pt(<Po))
= U1(<Pt(<PO)) -
tuo(<pt(<Po)),
It I - +00
we obtain relation
(3.9). This proves limit relation (3.9) for all points <Po except those for which
uo(<Po)
O.
Let N be the set of such points. It follows from the existence and unique-
ness of a solution of the Cauchy problem for system of equations (3.5) that a
solution of this system x(t) satisfies the identity x(t)
x(O)
= O.
= 0 for t
E R whenever
This proves
111
Consequently, (3.9) holds for all points o E Tm . Therefore the torus (3.3)
turns out to be degenerate, which contradicts our assumption. This contradiction completes the proof of the theorem.
The following example of the system of equations
d
dt
=0
dx
dt = P()x
'
+ !(),
(3.12)
shows that the necessary conditions for existence of an invariant torus given by
Theorem 1 may also be sufficient. Indeed, an invariant torus of system (3.12)
for an arbitrary function! E C(Tm ) exists if and only if
det P()
# 0,
E Tm .
(3.13)
condition for the existence of an invariant torus of system (3.12) for an arbitrary
function! E C(Tm ).
The example of the system of equations
d! = Sill,!"
A-
dx
d! = (cos)x + !()
(3.14)
shows the extent to which the necessary conditions are "best possible" by proving that it is impossible to replace them by the requirement that the homogeneous system have no invariant tori. Indeed, the homogeneous system of
equations corresponding to the system of equations (3.14) has an invariant
torus given by the equation
x
= sin ,
E 7i.
Since
where
c=
{~an(/2),
=o, =1r,
(3.15)
CHAPTER 3
112
E C(Tt}. To do this, we
- 1(0),
sin 4> 1
u(4)) =
4>
tP
~(t),
1f/2 sm
.,p
I( 11"),
= 0,
sm
11"
.
1(4))
</>-1f0 - cos,/,
= hm --",=/(11"),
.,p)d1/J_
-
=_1(0),
k=21,
so that x
dt = (COSt())x + f(4)t())
for eP
= 0 and eP =
1r.
The function x
113
at -
= u(eP),
eP E 1i,
d4>
di = a(4)).
(3.17)
which follows from (3.1), the set N contains all non-wandering points of system (3.17). Thus the homogeneous system of equations (1.4) can have nondegenerate invariant tori only if the set of wandering points of system (3.17) is
not empty in Tm . In particular, it follows that the homogeneous quasi-periodic
system of equations-system (1.4) cannot have degenerate invariant tori when
a
= w, w = const.
n~ (4))
system of equations
dx
dt = P( <Pt( 4>))x,
(4.1)
CHAPTER 3
114
T.
and taking into account the group property of the function ifJt(ifJ) expressed by
the relation
we obtain
The last identity holds for arbitrary t, T, (J E R, ifJ E Tm and means that
n~(ifJlJ(ifJ
dx
dt
= P(ifJt+o(ifJx,
(4.3)
which is equal to the identity matrix E for t = T. The matrix n~~~ (ifJ) also has
the same property. This is possible only if the matrices n~ (ifJlJ (ifJ and n~~~ (ifJ)
are the same, and this proves the required equality (4.2).
Let C(ifJ) be a matrix belonging to the space C(Tm ). We set
T:S 0,
T>O
(4.4)
difJ = a(ifJ)
dt
dx = P(ifJ)x
dt
(4.5)
in the case when the integral f~oo IIGo( T, ifJ )lIdT is uniformly bounded with
respect to ifJ:
I:
(4.6)
115
l'
and
Go(O,</ - Go(+O,</ = E.
Let Gt ( 1',1 be the matrix defined by the relation
l'
t( ,</ -
t ;::: 1',
{n~(</C(</>,.(</),
-n~(</[E - C(</>,.(</)],
(4.7)
< 1'.
Then
(4.8)
This follows immediately from the property of the matrix n~ (</ expressed by
equality (4.2)
l'
{n~(</>t(</)C(</>,.(>t(</>))),
-n~(1)t(</>))[E - C(>,.(</>t(1>)))],
o( , </>t(1))) -
n~+t(C(>T+t(</>)),
1'~O
1'>0
1'+t~t
- { -n~+t(</>)[E - C(>,.+t(</>))],
1'+t>t
=
= Gt (1'+t,1.
t ;::: 0,
t <0
consists of solutions of the homogeneous system (4.1) considered for t ;::: 0 and
t < 0 respectively.
Let I E C(Tm ). Consider the integral
i:
(4.9)
GO(1', >)I(1),.(</>))d1'.
I:
Ill:
GO(1',<//(</>T(</>))d1'11
We set
u(
and show that
E C(Tm ).
I:
IIGo(1',</lI d1'
Go(T,<//(</>,.(</>))d1'
1/10.
116
CHAPTER 3
Indeed, let
Ui(tP)
i
i Go(T,tP)f(tPT(tPdT,
= 1,2, ....
IIU(tP) - ui(</I)II
[1: IIG
:s
o(T, </I)lIdT +
and
The uniform convergence of integral (4.6) with respect to tP ensures that the
limit relation
.lim Ui(tP) = u(tP)
'-00
is uniform with respect to </I E Tm . This means that the sequence Ui(tP) (i =
1,2, ...) converges with respect to the C(Tm
space,
E C(Tm ).
1:
Tf(tP)
Go(T,</I)f(tPT(tPdT.
):
(4.10)
= u(tP) = Tf(tP),
tP E Tm ,
(4.11)
dx
dtP
x(t,tP)
1:
= u(</It(</I.
U(tPt(tP)
1:
GO(T,tPt(tP)f(tPT(tPl(</I)))dT =
GI(T + t,tP)f(tPT+!(</IdT
1:
Gt(T,</I)f(tPT(tPdT
(4.12)
117
i:
C(>t(>)))J(tPt(tP))+
for any t E R. This shows that u E C'(Tm ) and the set (4.11) is an invariant
torus of the system of equations (4.12).
Thus, if there exists a Green's function for system of equations (4.5), then
there is an invariant torus of the system of equations (4.12) for an arbitrary
function f E C(Tm ).
It should be noted that in the above argument we have used the fact that
the functions a, P belong to the space C T (Tm ) only to prove that the matrix
n~(
is continuous with respect to >. Thus, everything said remains true for
a E CLip(Tm ),
julo
K
= .pET
max
m
00
-00
IIGo(r,lIdr.
di
dt
'f',
-X+Slll'f'.
A-
By definition (4.4), the Green's function Go(r,tP) with the matrix C(tP) == 1
has the form:
118
CHAPTER 3
where
sinT()
={
0,
2e T tan(/2)
2T
e + tan 2(/2)'
0,
{
u() = tan(/2) lnsin2(/2),
>
= br
>:f:. br
which shows that the function u does not have a finite derivative for
2
due~
_ I'1m (InSin (/2)
I1m
- </>-0 d
</>-0 2cos 2(/2)
= 0:
+ 1)- -00.
nbC~
inequality:
(5.1)
for all E Tm and some positive
J{
Go(r, )
= {n~(),
0,
r ::; 0,
r>O
(5.2)
is a Green's function for the system (4.5) 5.2) is obtained from (4.4) by setting
C() == E in (4.4)).
Indeed, it follows from inequality (5.1) that
119
which implies estimate (4.6) for the integral of IIGo(T, > )11. The function (5.2)
is therefore a Green's function for the system of equations (4.5).
The set
x = u( = T!(,
> E Tm ,
(5.3)
1I0~-T+r(x(T,>,xo)1I ~ 1I0~-T(>r(>))lIl1x(T,>,xo)1I S;
S;
J( e-"Y(t-T)lIx( T,
>, xo)11.
(5.4)
8(
the matrix
lim dS(>t() = 8(.
t-O
dt
We set
inf max S(P(
.E9t o 11"11=1
(S( x, x)
120
CHAPTER 3
= 4>ET
inf
f3(tfJ).
(5.7)
Lemma 1. For any J.l > 0 one can find [{ = K(J.l) > 0 such that the solution
x(t, tfJ, xo) = OM tfJ )xo o[ the system o[ equations (4.1) satisfies the inequality
[or all t
It follows from the lemma that inequality (5.1) always holds when
130> o.
(5.8)
We now turn to the proof of the lemma. If the infimum is attained on the
set 9l 0 , then there exists a matrix S(tfJ) E 91 0 such that
max (S(tfJ)P(tfJ) + ~S(tfJ))x,x} < -f3(tfJ).
IIxll=l
(S( tfJ)x, x)
But then
/
dx(t,tfJ,xo)
)
\S(tfJt(tfJ))
dt
' x(t,tfJ,xo)
= (S(tfJt(tfJ))P(tfJt(tfJ))x(t,tfJ,xo),
x(t,tfJ,xo)),
~ exp {
for all t
-21
(S(tfJt(tfJ))x(t,tfJ,xo),x(t,tfJ,xo))
t
f3(tfJ$(tfJ))ds } (S(tfJr(tfJ))X(T, tfJ,xo), X(T,tfJ, xo)}
(5.9)
~ T.
Since the matrix S( tfJ) is periodic and positive definite, we have the estimate:
[{o, /{o
121
for t
~ T,
where
[{2
If the infimum is not attained on the set 9't o, then there exists a sequence
of matrices Sv(, II 1,2, ... ,Sv(J) E 9't o, such that
v....oo IIxll=!
Then for an arbitrary p. > 0 there exists a matrix S JJ ( E 9'to such that
max ((SIJ(P(J)
IIxll=l
+ p..
= 0,
> E Tm
Xo
E En,
J, xo, T.
Since
n~(
122
CHAPTER 3
= II0O()II,
(5.12) converges uniformly, so that the matrix S() belongs to the space C(Tm
).
Because the integrand matrix in formula (5.12) is symmetric, the matrix S()
is symmetric.
Now we have
S(t(
(O~(*
= faoo (O:+T(*O:+T()dT =
1 (O~(*O~()dTO~(),
00
(5.13)
which shows that the function S(t( is differentiable with respect to t for
).
(S()x, x)
)llxW
= fa (O~(o){o, O~(o){o)dTllxW=
00
A1
(5.14)
= faoo 1I0~(0){01l2dT.
i- 0 for
123
for all
E R. Thus Al > 0 and this shows that the matrix S(4)) is positive
therefore
S( 4
5(4))
= -P*(4))S(4>) -
S(4))P(4>) - E.
(S(4P(4
+ t5(4)))x,x)
= t(S(4P(4
+ P*(4))S(4>)-
-tllxll2
(S(4P(4 + tS(4)))x, x)
-lIxW
= max
=
(S(4x,x)
IIxll=12(S(4x,x)
II xll=1
where A2
Al
> O. Consequently
max (S(4P(4 + t S(4)))x,x) < -/3
IIxll=!
(S(x,x)
-,
where /3
(5.15)
/3
~ 0
E Cr(Tm )
124
CHAPTER 3
Po
derivative along the solutions of the system of equations (4.5) of the form
v = {5(4))x,x}
is negative definite. Since this derivative has the form
5(t/J)
it follows that
matrix.
V is
Po
a symmetric matrix 5(4)) E C'(Tm ) such that its principal minors and the
principal minors of the matrix -5(4)) corresponding to it are positive for all
t/J E Tm
These conditions hold, in particular, when the principal minors of the
symmetric constant matrix 5 and the matrix -5(t/J)
orem 4.1 that a necessary condition for the existence of a Green's function for
the homogeneous system of equations (4.5) is that there be no non-degenerate
invariant tori of this system. The conditions under which the system of equations (4.5) that has degenerate invariant tori would have a Green's function are
not clear at the present time. However, the peculiar properties of the latter due
to the existence of degenerate invariant tori of system (4.5) have been studied
to some extent. We consider some of them. First we show that the absence
of degenerate tori of system (4.5) ensures that the Green's function for this
system is unique.
125
equations (4.5) has a Green's function G o( T, Q). Then the torus x = 0, 4> E Tm
is a unique invariant torus of system (4.5) if and only if this system does not
have any Green's functions other than GO(T,4.
Prool.
where
(6.2)
for some function
E C(Tm
).
It follows from the definition of the Green's function and formula (6.1)
that
=[: n~(</J)R(</JT(</J/(</JT(4>))dT
(6.3)
(6.4)
(6.5)
126
CHAPTER 3
R(J) " 0, J E Tm .
Turning to the proof of equality (6.5), we first consider the values of the
matrix R at the points of trajectories of system (4.5) that are periodic on
Tm . Let <Po be such a point, J
Jt+T(JO)
<Pt(Jo) mod 211", t E R, the
corresponding trajectory, T its period. It follows from the Floquet-Lyapunov
theory that
so that
+00
= pJ;ool
e-ApTe-ATct>-l(r)R(JT(Jo!(JT(Jo))dr =
+00
=L
p=-oo
(e-AT)p Bj,
where
Bj = iT e- AT ct>-l (r)R(JT(JO!(JT (Jo))dr.
= 0 only if
(6.6)
Consider equality (6.6). We distinguish the cases when Jo is a stationary
point of the dynamical system on Tm and when Jo is not such a point. In the
first case equality (6.6) holds for any T> O. This is possible only if
127
But then
and, taking into account the identity tPT(tPO) =: tPo and the fact that the function
is arbitrary, we see that this can hold only if
R(tPo)
= o.
(6.7)
In the second case there exists a number T > 0, the real period of the
periodic trajectory on the torus, such that
for any 0
<
< T.
In
view of this correspondence, for any function F E C(TI) we can find a function
= F(vt),
t E R.
Because the matrices e- AT and /fl-l(T) are non-singular, this leads to the identity
R(tPT(tPO)) == 0,
E [O,T].
(6.9)
Indeed, we set
F(vt)
rij (t)
(i,i
= 1, ... , n)
and rewrite equality (6.8) for the chosen function F(vt). We have:
(6.10)
CHAPTER 3
128
In (6.10) we replace Fj by the function in C(71 ) defined for 1/J E [0,211"] by the
equality
where
fij
rij,
and
/0
/0(0)
= /0(211') = 0,
which is equivalent to
rjj(T)
Since
rjj
=0,
(6.11)
TE[O,T].
(6.11) is equivalent to (6.9). This proves (6.7) for any point o that belongs to
a trajectory of system (4.5) that is periodic on 7m .
We now consider the values of the matrix R() at the other points of the
torus 7 m . Let o be such a point, and = t( o), t E R, the trajectory
corresponding to it. Because the integral
is also uniformly bounded. But then one can find a sequence of positive numbers
E"n,
E"n+1
= 0 and a sequence of
= +00
129
= 0, it follows that
II Itt: n~(4)o)R(4>r(4>o))I(4>r(4>o))drllS
s
Ill: n~(4)o)R(4>r(4>o))f(4>r(4>o))drll+
l:n IIn~(4)o)R(4>r(4>o))lIdrlllo+
+
The arc 4>
1:
00
IIn~(4)o)R(4>r(4>o))lIdrllloS (nl/lo
intersect itself, therefore for any continuous function F(t), defined for t E R,
one can find a function In E C(Tm ) related to F as follows:
Let rij(t)
n~(4)o)R(4>t(4>o)) satisfying
We set
rij(t)
=t
= {r~j(t!,
slgnrij(t),
=t
{n~(4)o)R(4>t(o))};j
=t 0, t E R.
Irij(t)1 S 1,
Irij(t)l> l.
It is obvious that the function rij(t) is continuous for t E Rand %1tx 17\j(t)1 S l.
hold and consider inequality (6.12) for the functions In (4))ej , where ej
Il-tn
tn
rij(r)7\j(r)drl
=t
= ltn
-tn
rij(r)rij(r)dr S (n
(6.13)
CHAPTER 3
130
for some sufficiently large N. But then, since the function rij(t)rij(t) is nonnegative, it follows that
Vn 2: N,
which contradicts inequality (6.13) and the condition
lim
n_oo
En
= O.
proves that
n~(rf>o)R(t(o)) == 0,
t E R.
(6.14)
= 0,
= Go(O, )
satisfies the
equalities
C(rf>t())
C 2 ()
= n~()C(rfn~()
= C()
V E Tm
Vt E R, rf> E Tm
(6.15)
(6.16)
Indeed, suppose that the first relation does not hold, that is, for some t 1
E Tm .
i- 0
131
We set
1:
1:
1:
~ I< +
IIG o(T,)lIdT +
IIn~()R(T())dT ~
1: IIQ~+ll
1: IIQ~(4))C(T())lIdTIQ~,lo
~ K+
+
1:
IIG 1 (T,)lldT
()C(T+II (4)))lIdT+
xQ~, (T())lI dT ~ 2K +
+
1~ IIn~()[E -
1~ IIQ~+11 ()[E-C(4>T+l
())]lIdT+
1~ IIQ~+t,() - n~()C(T())X
[1:' IIQ~(4))C(4>T())lldT+
C(T())J1l dT] IQ~llo
+11-
11
IIQ~(4))[E -
c(4)T(4>))lI dT I]
IQ~llo ~
all the conditions necessary for it to be a Green's function for the system of
equations (4.5). This contradicts the assumption that the Green's function is
unique. The contradiction proves equality (6.15).
132
CHAPTER 3
Now let
Then the function
1 Iln~()[E
IIn~(4))C(r())lIdrIC
00
- C(r(]dTIClo:::; K[1
- Elo+
+ max(IC -
Elo, IClo)]
= K1 ,
which shows that it is also a Green's function for the system of equations (4.5).
The latter contradicts the assumption that the Green's function is unique and
thus proves equality (6.16).
We now use equality (6.15) to complete the proof of Theorem 1. Suppose
that the Green's function GO(T,) is unique, but that the torus
(6.17)
is an invariant torus of system (4.5) different from the trivial one. Then
(6.18)
Consider the function Ul(4)) E C(Tm ) defining the invariant torus
d4>
-;It
= a(4)),
dx
-;It
= P(4))x + uo(4)).
(6.19)
Since the torus (6.17) of the homogeneous system of equations corresponding to the system (6.19) is invariant, it follows that uo(4)t(4>))
= nh(4))uo(4>).
Therefore
oo
Ul(4)) = i : Go(T,4uO(4>r(4>))dT = i :
Go(T,4n~(4uo(4dT=
=i~ n~(4))C(4>r(4>))n(j(4>)UO(4>)dT-
-1
00
n~()[E -
C(r(4>))]fl(j()uo()dT,
(6.20)
133
= 0, C(</uo(</ = uo(</
But then uo(</ = 0, V</> E Tm , which contradicts inequality
C(</uo(</
simultaneously.
(6.18).
The main properties of the Green's function that follow from the assumption that it is unique are defined by relations (6.15) and (6.16). The first
means that the matrix G(</ belongs to the space G'(Tm ) and is a solution of
the matrix equation
= P(</G -
GP(</,
(6.15).
Thrning to the proof of the lemma we suppose that the torus (6.17) is an
invariant torus of system (4.5) different from a trivial one. Let G o(T, </ be a
Green's function for system (4.5) satisfying relation (6.15). Then the system
of equations (6.19) has an invariant torus defined by the function (6.20) which,
according to equality (6.21), can only be equal to zero:
But then Ul( </ == 0, </> E Tm , and it follows from the second equation of (6.19)
that uo() == 0, </> E Tm
CHAPTER 3
134
Finally we note that the condition that there be no invariant tori of system
(4.5) is sufficient for the Green's function of this system to be unique. Therefore
the quasi-periodic system of equations, system (4.5) with a(</
= w = const can
have only one Green's function such that relations (6.15), (6.16) hold.
d</>
dt = a(</,
dx = P(</x
dt
(7.1)
under the assumption that a E CLip(Tm ), P E C(Tm ) and that this system does
not have an invariant torus other than the trivial one x = 0, </> E Tm . Suppose
that there exists a Green's function G o( T, </ for the system of equations (7.1).
These assumptions introduce certain properties of the behaviour of trajectories of system (7.1). We now discuss this behaviour.
First we note that the matrix C(</ = Go(O,</ satisfying equality (6.16)
is a projection for all </> E Tm . It follows from this that all the eigenvalues of
the matrix C( </ equal 1 or O. Since the matrix C( </ is continuous in </>, it
follows that its rank does not depend on </> and is equal to the multiplicity of
1 considered as an eigenvalue of the matrix C(</. Thus the Jordan form of
the matrix C( </ is the matrix E l
Let M+ be a set of the phase space of system (7.1) defined as the set of
points (</>, x) satisfying the equation
C(</x
= x,
(7.2)
C(</x
= O.
(7.3)
We now discuss the geometric structure of the set M+. For each fixed </>,
equation (7.2) defines in En a plane Et spanned by the vectors 51 (</, ... ,5r (</
135
which are the first r columns of the matrix S(t/J). Since the matrix C(t/J) is
periodic, it follows that
E '"+ -E+
"'mod 2..
Because the matrix S( t/J) is non-singular for all t/J E Tm it follows that Et is an
r-dimensional plane. We define on M+ a neighbourhood system by taking a
c-neighbourhood of a point Po
= {t/Jo, xo}
Since the Jordan form of the matrix C(t/J) does not depend on t/J and is
C-continuous with respect to t/J, it follows from a result in [18] that the matrix
S( t/J) converting C( t/J) to Jordan form E 1 can be taken to be continuous with
= S(t/J)y.
(7.4)
= 0, j = r + 1, ... ,n.
Hence it follows that the last n - r coordinates of the vector S-1 (t/J)x are equal
to zero for any point P
= {t/J, x} E U6(P
O/
= S-IQ by setting:
136
CHAPTER 3
We take a point PI
= {4>1' Xd
Let SI (4)) be a continuous matrix in 4> for 4> E U6 (4)1) converting C( 4 to Jordan
form, and SI the map from the neighbourhood U6(PI/M) into Tm x E r induced
by this matrix. Every point P
defined by the map S and the coordinates (4), cd defined by the map SI' To
find out the relation between the coordinates c and
Cl
lemma.
To prove the lemma we split the matrix St l (4) )S( 4 into blocks
Ed
= 0 and D = O.
21
137
Cl
and
c. By definition,
+ r.
= Xo
C(cf>t(cf>oXt(4>o,xo)
= C(4)t(cf>o))n~(4>o)xo =
= nh(4)o)C(4>o)xo = Xt(4)o,xo)
\It E R.
138
CHAPTER 3
This means that (</It(</lo), Xt( </lo, xo E M+ for any t E R. Thus we have proved
that the set M+ is invariant.
The proof that M- is invariant is similar.
As a result we have the following statement.
Theorem 1. Under the assumptions made above on the system of equations
(7.1), the sets M+ and M- are invariant manifolds of this system that are
locally homeomorphic to the products Tm x Er and Tm x E n - r respectively.
(7.8)
The first relation states that the intersection of the manifolds M+ and M- is
the torus
(7.9)
while the second asserts that their direct sum is the whole phase space of the
dynamical system (7.1).
The first relation of(7.8) follows because the inclusion (</l,x) E M+nMnecessarily implies equality (7.9) under the assumption that (7.2) and (7.3)
hold simultaneously. The second follows since V</l E Tm the planes Et and E;
by defining the decomposition of En into the direct sum of subspaces E r = Et
t 2: r, (,x) E M+,
IIxt(,x)lIS;d(r-t)llxT(,x)'I,
tS;r, (,x)EM-.
(7.11)
139
Indeed, suppose that inequality (7.10) holds and (, x) E M+. The chain
of relations
IIxl(,x)1I
= IIn~(4))C(T(4>))n~(4>)xll = IIn~(4))C(4>T())xT(4>,x)1I =
= IIn~_I(I(4)C(4>T-I(t()))xT(4>, x)11 ~
~
T,
~ T
f/. M+ U M-.
that starts at the point (4)0, xo) leaves any neighbourhood of torus (7.9) both
for t > 0 and for t <
o.
Indeed, let
x~
where C 1 (4))
Ilx~11
=E
= C(4)o)xo,
x~
= C 1 (0)xo,
0,
- O.
In fact, since the matrices C( 4 and C1 (4)) are projections, it follows that
(o,x~)
Xo
= x~ + x~,
0, IIx~1I
(7.12)
CHAPTER 3
140
<
+00.
Since the manifolds M+ and M- are invariant and in view of the behaviour
of the trajectories of system (7.1), which start on these manifolds and outside of
them, the manifolds M+ and M- are called sepamtrix manifolds of the system
of equations (7.1). The above discussion can be summarized as follows.
Theorem 2. Suppose that the system of equations (7.1) satisfies the conditions:
1)
a E CLip(Tm
),
P E C(Tm );
0, <P E Tm is a unique invariant torus of this
system;
3) there is a Green's function G o( T, <p) for this system satisfying inequality
(7.10).
Then equations (7.2) and (7.3) define separatrix manifolds of system (7.1)
on which the damping properties of the motions are determined by relations
Y2
= 0,
</>
E Tm
(7.13)
141
d<p
di = a(<p),
dV
dt
= Q(<p)V,
(7.14)
IS
zero:
The manifold M- is given in terms of the variables (VI, V2) by the equation:
VI=O,
<PETm .
(7.16)
But then the plane (7.16) is also invariant with respect to system (7.14). This
necessarily implies the equality
From what has been said one can see that the transformed system of
equations, system (7.14) has the block diagonal form:
The properties of the motions of system (7.1) do not change under the
transformation to the form (7.14); therefore the solution <Pt(<Po), Vi (t, <Po, V?),
V2(t, <Po, V~) of system (7.14) that takes the value <Po, V~, vg at t = 0 satisfies the
inequalities
J( d(t
J( d( T -
142
CHAPTER 3
y~ E
Er, y~ E En-r,
E R, where
J{
is a positive constant.
= Go(O, 4
n C'(Tm ).
x = 5(4))y
splits system (7.1) into CS(Tm ) blocks thus reducing it to system (7.14).
The problem whether the system of equations (7.1) can be split into
C' (Tm)-block form is reduced by Theorem 3 to the algebraic problem of the
membership of the eigenvectors of the projection C(4)) to the space CS(Tm ).
We shall return to a discussion of this point later. For the moment we merely
note that this problem is completely solved only for m
C(4)) that has rank r
=n -
= 1 and for
a matrix
1 [118].
= 0,
4> E Tm , of
x. This leads to the following result which gives necessary conditions for the
invariant torus to be exponentially dichotomous [117].
Theorem 1. Let a E CLip(Tm ), P E C(Tm ) and suppose that there exists a
non-singular symmetric matrix 5(4)) E C'(Tm ) such that the matrix
8(4))
= 0,
4> E T m of
To prove the theorem, we assume that the matrix 5(4)) has r positive and
n - r negative eigenvalues.
143
Let
and let
J(f
(SfX,X)
where 4J and t are fixed numbers, 4J E Tm
We set
J(+
0,
(8.1)
O.
J(,
,~o
J(+
role of the space E+ in the definition of the dichotomy of the trivial torus for
system (7.1).
Using the expressions for matrices Sf and S( 4J) we find that
-# 0,
d(SfX,X)
dt
= (S(4J,(4Jn~(4J)x,n~(4J)x) =
S(4))
Vt>
: J(,
T,
J{f
VT E R.
(8.2)
is contained in
J{ T
for t >
n oKT = {O}.
Thus, K+ is the intersection of sets I<f that are totally ordered by inclusion. We show that I<+ has r linearly independent vectors.
Since the matrix Sf is continuous with respect to t and non-singular, it
has the same number of positive eigenvalues as the matrix So
= S(4J).
which can be
~,
Be-
144
CHAPTER 3
where DI(t) = diagpI(t), ... ,Ar(t)}, D 2 (t) = diagPr+i(t), ... ,An(t)}, and
the Aj (t) are positive numbers.
But then
(8.3)
where O(t) is an orthogonal matrix, and E I and E 2 are the (r
r) and
= By,
detB:f 0,
the form (StX,x) will be evidently transformed into the form (StY,Y) with
matrix
By making an appropriate choice of the coordinate system in En we can transform the quadratic form with matrix So
So
= diag{ E I , -
= S( </
coordinate system x has already been chosen in such a way that the quadratic
form (S(</x, x) can be written as
can suppose that
xi + ... + x; -
X;+l -
... -
We now consider the intersection of the set I<t and the plane Po which is
given by the equations
Xl
= 0, ... ,
Xj
= 1, ... ,
Xr
= O.
(8.4)
](t
145
= O(t)z,
where O(t) is the matrix from the representation of St in the form (8.3).
We have
(StZ,z)
= (~tO(t)z,O(t)x) = (~tY,Y) =
Y1 = C1,, Yr
where
Cl, .. , Cr
= Cr, Yr+1 =
... = Yn = 0,
](t
= O(t) [~]
= column(c1' ... ,c
r )
or by the equation
01(t) ]
= [ 021(t)
c,
]{t
= 0 (which,
t- 0, entails the inequality 02l(t)C t- 0) does
](0:
n-r
o ~ 2)021(t)C)J,
j=l
146
CHAPTER 3
which is impossible.
Because the matrix 01(t) is non-singular, there exist a vector Oll(t)ej,
where ej
= (0, ... , 1, ... ,0) is the r-dimensional unit vector, and a point
belonging to the intersection of the planes Po and Er(t) so that it also belongs
to the set I<t n Po. Thus the set I<t n Po is non-empty. We show that I<t n Po
either consists of a single point or it is homeomorphic to a closed ball in an
xi + ... + x; -
(8.6)
and regard 51 as an r x r matrix, then using inequality (8.6) we see that the
matrix (52
+ 52)/2 is negative-definite:
= (xr+l, ... ,x
0/; O.
But then the matrix (52 + 52)/2 can be represented in the form
n )
147
or
(8.9)
where {3l, ... , {3n-r,
K t n Po
O.
point
Xl=ej,
Yr+v={3v,
{3v={3v(to),
(8.10)
T,
the set
n III
1>0
In both cases the set K+ n Po contains at least one point. By changing the
unit vector ej and setting j
= 1,2, ... , r
set K+.
Let
Xl,""
Xr
(8.11)
be these points. Since Xj = (ej, xL (j = 1, ... , r), it follows that the vectors
joining the origin and points (8.11) are linearly independent. Moreover, since
148
CHAPTER 3
the segments joining the origin and points (8.11) are formed by the points of
the form JlX i, 0 S Jl S 1, they belong to the set ]{+.
Let x be a point of ]{+. We prove that the function
Xt = n~(4))x
satisfies the inequality
(8.12)
where ]{ and I are positive constants not dependent on the choice of the point
4>.
It follows from the inclusion x E
(StX,x)
that
J{+
0 'lit> O.
'litER.
(StX,x)~O
considering
dV.(t)
= (S(4>t(4)Xt,Xt)
+ tP(4>t(4>)) + P (4)t(4>)))Xt,Xt) S
where
M=
max
1P)4
+ P*(4)))x,x)l,
12
= 11 - tM > O.
Since also
V.(t) S (StX, x)
= (S(4>t(4)Xt,Xt)
II x tW S
(St X , x)
+ tllXtW =
+ tllxtlI 2 S
+ tlixtlI 2
(M 1 + t)llxtlI 2 ,
= V.(t) ,
t
(8.13)
where M 1
149
= 4>ETmax
I(S(4x,x)1. we have
,II"'II=l
m
IIXtIlZ::; V<~t)
::;
'Vt
> T, 'VT E R.
Since M 1 and I are positive constants and do not depend on the choice of 4>,
the last inequality is the required inequality (8.12).
We denote the subspace of En spanned by the vectors (8.11) by Er. We
claim that E r C I<+.
For if not, then let
y= L:>jXj
j=l
= const > 0
'Vi> to.
(8.14)
where Xt(Xj)
= nM4xj
j=l
150
CHAPTER 3
Because the matrix S(>t(>)) is bounded for t > 0, by using relation (8.15)
we find that
lim (-StY, y) =
t-+oo
o.
Kt
in the intersection
J{-
of
J{-
o.
(StX, x) :5 0,
t:5
the function Xt
f:
dV (t)
----Jt
= -(S(>t()Xt,Xt) + f((P(>t()+
+P*(>t(>)))Xt,Xt) ~ en - fM)IIXtI12 = "Y211 x tl1 2 ~
1
~ Ofi2
1>1+ f
v/(t)
= 2iV/(t)
"It E R,
IIXtl12 :5 v/}t) :5
:5 (1 + ~1 )e2"(t-T)lIxTW
= I<2e2"(t-T)lIxTW
Vt:5 T, "IT E R.
151
the solutions of system (7.1) as the space E- featuring in the definition of the
exponential dichotomy of the trivial torus for system (7.1).
n En -
The equalities
[(+
= Er,
= {OJ.
= En-r,
J(-
En
= [(+ EB [(-
Itl-+oo
lI0h(4))xll
= +00,
rt. ErUEn-r
rt.
M+ U M- in 3.7.
lim
Itl-+oo
Remark. It follows from the proof of the theorem that the manifold M+ 14>=const
lies in the "cone" in the space En defined by the inequality
(S(4x, x) > 0,
for every 4> E Tm , while the manifold
En, defined by the inequality
M-I...
Y'=cons
(8.17)
t
(S(4x, x) < 0.
3.9. Necessary conditions for an invariant torus
to be exponentially dichotomous
We show that the condit.ions given in the preceding section as sufficient are
also necessary for exponential dichotomy of the trivial torus x
= 0,
4> E Tm , of
system (7.1). Thus, we shall make the assumption that the torus x = 0, 4> E
dx
di
= P(4)t(4>))x,
(9.1)
152
CHAPTER 3
Xo
=E -
C(4)).
2:
T,
t<T
(9.2)
t 2: 0,
t < 0,
which equals the matrix C(4)) - C(~) at t
= O.
(9.4)
(9.6)
153
lI a( for any
>, 4> E Tm
S,BII> - 4>11
- P(4))1I
a and ,B.
One can easily derive from system of equations (7.1) the following estimates
4>11,
>t(4))11 S II> - 4>11 + 2l aloltl,
o.
Applying inequality (9.3) to the function Gt(T,, this leads to the estimate
II Zt(>,41I
s ,BKill> - 4>W/(v+l)
1:
ex p { -1(lt -
TI + ITI)+
4>lIy/(v+l)dT,
(9.8)
which implies that the integral (9.7) is convergent for a sufficiently large v:
= C(
- C( 4
(9.8)
holds. Here M is a positive constant equal to the value of the integral for
II> - 4>11
CHAPTER 3
154
the matrix C(<jJ) is continuous with respect to <jJ for <jJ E Tm . It follows from
the definition of the matrix C( <jJ) that it is periodic with respect to <jJ. Hence,
C(<jJ) E C(Tm
),
as required.
0,
T> 0,
(9.10)
where C( <jJ) is taken to be the matrix in formula (9.2). It can be seen from
formulae (9.2) and (9.10) that
TSO
T>O
holds, which proves that Go( T, <jJ) can be obtained from function (9.2) for t
= O.
ITI -+ +00, in
We shall use properties of the functions Gt ( T, <jJ) and G o(T, <jJ) to prove the
main statement of this section.
Theorem 1. Let a E CLip(Tm ), P E CLip(Tm ) and suppose that the trivial
torus of system of equations (7.1) is exponentially dichotomous. Then there
exists a non-singular symmetric matrix S(<jJ) E C'(Tm ) such that the matrix
S(<jJ)
155
SI(IjJ)
100
C*(IjJ)(O(;(IjJ))"OQ(IjJ)C(IjJ)dT,
(9.13)
S2(1jJ)
Inequality (9.3) ensures that the integrals (9.4) converge uniformly. And this
leads to the inclusions S;(IjJ) E C(Tm
for i
E R.
We show that S;(IjJ) E C'(Tm ). To do this we use the fact that the matrix
C(1jJ) satisfies equality (6.15) (this follows because the Green's function G o( T, 1jJ)
is unique) to transform the expression for SI(ljJt(IjJ) in the following way:
=
00
SI(ljJt(ljJ
1 (n~+T(IjJ)C(IjJ)O?(IjJ)rO~+T(IjJ)C(IjJ)O?(IjJ)dT
100
=
=
100 C*(ljJt(IjJ)(O:+T(IjJ)*O~+T(IjJ)C(ljJt(ljJdT =
=
(9.14)
CHAPTER 3
156
Equalities (9.15), (9.16) imply that the matrix S(J) is negative definite.
Indeed, since
S = S + SP + r
= Sl -
=-CC - rSl
=-CC - C;C
1 -
= -CC -
+ SP + r S =
SlP- C;C1 + PS2 + S2P +SP + rs =
P(Sl - S2) - (Sl - S2)P + p. S + SP =
S2
CiCl,
it follows that
= C(J) and
IIC(J)II
IIn~(J)no(J)C(J)1I $ IIn~(J)1I x IIn(j(J)C(J))1I $ IIn~(J)IIf{e--YT
for T ~ 0, we have the following estimates for (Sl(J)X,X):
(Sl(J)X, x) =
$1
$
00
1<>0 IIn~(J)C(J)xI12dT
IIn~(J)C(J)1I2dTIIC(J)xIl2
~; 1IC(J)xW $
A2I1C(J)xIl 2,
[<>0
dT
(Sl(J)X, x) ~ Jo IIn~(J)1I211C(J)xIl2 ~
which holds for all x E En, J E Tm and some positive Al and A2.
157
which holds for all x E En, t/J E Tm and some positive ~3 and ~4'
Let T(t/J) be the matrix that reduces C(t/J) to diagonal form:
= T(t/J)y
from which it follows that the matrix T" S1 T has the block-diagonal form
T"S1T
= diag{D 1 ,O},
from which it follows that the matrix T" S2T also has the block-diagonal form
CHAPTER 3
158
and has exactly r positive and n - r negative eigenvalues for each tjJ E Tm . This
proves that the matrix S(tjJ) is non-singular.
Remark. It is clear from what has been said that if the trivial torus of system (7.1) is dichotomous, then the matrix G(tjJ) defining the Green's function
Go(tjJ, T) and the matrix S(tjJ) defined by equalities (9.12) and (9.13) are related
by the property that any matrix T(tjJ) that reduces G(tjJ) to Jordan form can
be used to represent S(tjJ) in the form (9.18) with the dimensions of the blocks
D1(tjJ) and D 2 (tjJ) equal to rand n - r respectively.
We now combine the results of this and the previous two sections in the
form of a single assertion on the exponential dichotomy of the trivial torus of
system (7.1), making it a separate theorem.
Theorem 2. Let a E GLip(Tm) and P E GLip(Tm). The trivial torus of system
of equations (7.1) is exponentially dichotomous if and only if there exists a
non-singular symmetric matrix S(4)) E G'(Tm ) for which the matrix S(tjJ) =
S(tjJ) + S(tjJ)P(tjJ) + p(tjJ)S(tjJ) is negative-definite for all tjJ E Tm or if the
Green's function (9.10), (9.11) for system (7.1) exists and is unique.
It follows from Theorem 2 that the necessary and sufficient conditions given
there are equivalent for the trivial torus of system (7.1) to be exponentially
dichotomous.
3.10. Conditions for the G'(Tm)-block decomposability of
non-singular symmetric matrix S(tjJ) E G'(Tm ) for which the matrix S(tjJ) =
+ S(tjJ)P(tjJ) + p(tjJ)S(tjJ)is negative definite for all tjJ E Tm and can be
S(tjJ)
159
(10.1)
represented as
5()
where y
= (Y1,Y2),
Q1(4)) is an r
t 2:
T,
IIn~(Q2)1I ~ Ke"'l(t-T),
t ~
T,
(10.3)
{n~()3",
T~ 0,
-n~(4))(E - 3"),
where n~(4))
diag{n~(Q1),n~(Q2)}' 3"
identity matrix.
> 0,
= diag{E1>O}, and E
is the r x r
160
CHAPTER 3
According to the Remark of the previous section, the matrix S() constructed in the proof of Theorem 1 of 3.9 admits the representation (9.18):
n we obtain for
).
= Go(O, )
is a
This is sufficient
C'(Tm
).
= 0,
(lOA)
C()x
=x
(10.5)
(S()x, x) < 0,
(10.6)
(S()x, x) > O.
(10.7)
C'(Tm ).
161
Y = Q*(J)x.
(10.8)
A(J)y
= 0,
(A(4 - E)y
where A(J)
= Q*(J)C(J)(Q*(J))-l
(10.9)
= 0,
(10.10)
(10.11)
= y.
A(4))
= [A 1(4))
A 21 (J)
A I2 (J)]
A 2(J)
+ A 12 (J)Y2 = 0,
A 2J (J)YI + A2(4))Y2 = O.
Al (4) )YI
(10.12)
Y2 = O.
162
CHAPTER 3
+ AdY2 = 0,
&2I(ZI + A 2(Y2 = O.
&I(ZI
(10.14)
Since the rank of the coefficient matrix of system (10.14) is equal to that
linear combinations of the columns of &(. Because the columns of &( are
orthogonal, we can write the coefficients of the decomposition of columns of the
matrix
[AA
12
( ]
2 (
these coefficients are also elements of the space C'(Tm ). The representation of
. [Ad].In t he rwrm
t he matrIX
A 2 (
and, on multiplying the left hand side of this equality by the matrix
163
This proves that the system of equations (lOA) has n - r linearly independent
solutions in C'(Tm ).
Applying similar reasoning to equation (10.10) we see that the rank of the
matrix
Ad4J) ]
[ A 2 (4J) - E 2
'
4J E Tm
This is sufficient to transform system of equations (10.10) to an equivalent
system of equations
and to prove that equation (10.5) has r linearly independent solutions in the
space C'(Tm ). These solutions are the functions
164
CHAPTER 3
The matrix whose columns are formed by the solutions (10.15), (10.16)
transforms the matrix C(4J) to the Jordan
form~.
C'(Tm ) and, by Theorem 3 of 3.7, splits the system (7.1) into C'(Tm)-blocks.
The theorem is proved.
Remark 1. It can be seen from the proof of the theorem that the matrix T(4J)
that decomposes system (7.1) into C'(Tm)-blocks has the same smoothness as
the matrices Q(4J) and C() = Go(O,). Consequently, this system is CS(Tm )block decomposable when Q(4J) E CS(Tm ) and C() E CS(Tm ).
Remark 2. It follows from formulae (10.15) and (10.16) that when the matrix
S( 4J) has the block diagonal form
(10.17)
the matrix T(4J) that splits system (7.1) into C'(Tm)-blocks has the form
where E 1 and E 2 are the identity matrices of dimensions rand n-r respectively.
In this case the matrices T 1 () and T 2 () are solu tions of the matrix Riccati
equations
1'1
= PiTi - T i P2 - T i P2i T 1 + P 12 ,
T 2 = P2T2 - T 2P1
(10.18)
T2P12 T 2 + P21 ,
d4J
dY1
di = a(4J), dt
dY2
dt
= [P () + P12 (4J)T2(4J))Yi,
i
P2i
P12] of appro-
P2
The requirements imposed on the matrix (10 .17) by the conditions of Theorem 1 of 3.8 turn out to be sufficient for the solvability of the Riccati equations
(10.18) in C'(Tm ).
Remark 3. It can be seen from the proof of the theorem that ifin representation
(10.1) the matrix Q() has a period equal to a multiple of 211", then the matrix
reducing system (7.1) to split form is periodic with the same period as Q().
165
Q(<!J) that is periodic and continuous with respect to <!J with period 471", and
continuously differentiable with respect to t for <!J
= <!Jt(<!J)
such that
(10.19)
where dl(<!J) and d2 (<!J) are positive functions for all <!J E Tm .
the positive and negative eigenvalues of the matrix S(<!J). But then
= [detQ(<!JWd 1(<!J)(-d2(<!J =
= [detQ(4))F>'1(4>)>'2(4>) = [detQ(4))]2detS(4>),
detS(<!J)
and consequently
[detQ(4))F
= 1.
(10.20)
is also possible with the periodic matrix Q( <!J) of period 471" satisfying the conditions of the lemma and such that
det Q(<!J)
= 1.
(10.21)
Thus we seek a matrix Q(4)) effecting the transformation (10.20) and satisfying condition (i 0.21). Let
Q( 4
= [X
Xl
Y] .
Yl
166
CHAPTER 3
+ bx = A2Y,
-bxI + dx = A2YI
-axi
= AIXl,
(10.23)
Substituting the values of X, Xl found from the first two equations of system
(10.23) into the two remaining equations, we obtain the identities
and
Xl
using
y and YI according to the first equalities of system (10.23) such that relation
(10.22) holds. The latter, by virtue of the choice for x, Xl, takes the form of
the equality
(10.24)
The problem has been reduced to that of finding two functions y( ), YI ()
that are continuous and periodic in and which turn equality (10.24) into an
identity for all E Tm . Since two arbitrary functions y( ), Yl () satisfying
(10.24) cannot become zero simultaneously, we can set
Y
= Rcos'I/J,
Yl = Rsin'I/J
(10.25)
= ~; - (a + d).
(10.26)
167
(10.27)
cosO'
.
sma
2b
Thus, by choosing R( 4 sufficiently large we can make the absolute value of the
right hand side of equality (10.27) less than one. With such a choice of R(4))
the function
1
'IjJ
= '2 cos
-1
2A1-(a+d)R2
R2[(d _ a)2 + 4b2]1/2
a
2
cos
-1
2A1 - (a + d)R 2
R2[(d _ a)2 + 4b2]1/2
= 2~(4))
).
2b( 4
[( d( 4
we see that
where k
= (k 1, . .. ,k
then
'It
where
~o
m )
~1
E G'(Tm ).
168
CHAPTER 3
(k,./)) ,
(k;4)
VI = VI (4)) = R(4))sin(<1>0(4)) -
= 1, ... , m),
continuous derivatives with respect to t for 4> = 4>t(4)). Then the matrix Q(4))
has similar properties because its elements are the functions y( 4, VI (4)) and
the functions x(4)), Xl(4)) which are expressible in terms of them.
To show that period doubling in the representation of the matrix S(4)) in
form (10.1) can take place, we consider this representation for the matrix
(4)) -
. A..
sm,/,
A..
(10.28)
cos,/,
= 1 and A2 = -1.
(sin(4>/2), cos(4)/2))
for Al
=1
(cos(4>/2), - sin(4)/2))
for A2
= -1,
As eigenvectors
= (x 1, X2) is a two-dimen-
sional vector, and C'(Tm)-block decomposable with period doubling if the decomposition is effected by a matrix T( 4 that is continuous with respect to 4>,
periodic with respect to 4> with period 41T and has continuous derivative with
For n
169
dx
di = P(4))x,
(11.1)
Lu
= 11. -
P(4))u,
L if the equation
Lu = Au
(11.2)
= u(4)) t. 0,
and let
(11.3)
be the eigenfunctions of the operator L corresponding to these eigenvalues.
Then the surface
(11.4)
is an invariant set of system (11.1) and on this set system (11.1) is equivalent
to the following system of equations
d4>
di = a(4)),
(11.5)
170
CHAPTER 3
To prove the theorem we fix a point (4)0, xo) on the surface (11.4) by setting
P
Xo
= I>j(4)o)yJ,
yJ E R
j=l
and consider the motion 4>t(4)o), Xt(4)o,xo) of system (11.1), that starts at this
point. Let
x(t,4>o,xo) =
j=l
where 4>t( 4>0), Yj (t, 4>0, yJ) is the solution of system (11.5) with initial conditions
4>0, yJ. By differentiating the function x(t, 4>0, xo) with respect to t, we see that
Aj(4)t(4>O)) x
j=l
P
XUj(4)t(4>o))Yj(t,4>o, yJ)l
=P(4)t(o))x(t,o,xo).
Hence it foliows that 4>t(4)o), x(t, o, xo) is the solution of system (11.1)
defined by the initial condition o, Xo. But then
This means that any motion t(o), Xt(4)o,xo) for which (o,xo) belongs
to the surface (11.4) is defined for any t E R by formula (11.4) if
4>, Yj are
replaced there by the solution t( o), Yj (t, o, yJ) of system of equations (11.5).
This proves Theorem 1.
Note that if the vectors (11.3) form a p-frame in En, then the surface
= U(4))Y + V()z,
4> E Tm
(11.6)
171
dtP
dt = a(tP),
dy
dt = -D(tP)y + Ql(4J)Z,
= Q(tP)z,
(11.7)
where U( tP) = (Ul (tP), ... ,up ( tP)), V (tP) = (Vl (4J), ... ,vn _ p ( 4J)) are matrices in
C'(Tm ), D(4J) = diag{>'1(4J), ... , Ap (4J)} E C(Tm ), if and only if the functions
Aj(tP) (j = 1, ... ,p) are eigenvalues of the operator Land Uj(tP) (j = 1, ... ,p)
are the eigenfunctions of L corresponding to them.
To prove the theorem, first we suppose that the Ai (4J) (j = 1, ... , p) are
eigenvalues of L and the Uj(4J) (j = 1, ... ,p) are the eigenfunctions of L corresponding to them, so that
LU()
= U(tP)D(cP) ,
tP E Tm .
(11.9)
To do this, we show that the motion tP = t(tPo), :I: = :l:t(4Jo, :1:0) of system
(11.1) is defined by formula (11.6) for any tPo E Tm , :1:0 E En, t E R, by setting
4J
= tPt(4Jo), y = Yt, Z = Zt
.
U(cPt(tP))Yt
dYt
dZ
= P(tPt(tP))U(t(tP))Yt + P(tPt(4J))V(tPt(tP))Zt
for all t E R, 4J E Tm . Using (11.9) we obtain the following relation for dytldt
and dztldt
dYt
UPt(tP)) ( di:
dZ t
+ D(t())Yt ) + V(tPt(tP))di:
=
= [P(t())V(tPt()) - V(t())]Zt.
We denote the inverse of the matrix 4>( tP) = [U(tP), V( tP)] by
(11.10)
172
CHAPTER 3
U1(tP)U(tP) = E,
V1(4))U(4>)
= 0,
U1(tP)V(tP) = 0,
V1(4))V(4>)
= E,
where E and 0 are the unit and zero matrices of appropriate dimensions.
Multiplying equality (11.10) on the left by ct>-l(tPt(tP)) we obtain the following system of relations for dYt/dt and dztldt:
dYt
dtP
di = a(tP),
dy
dt
dz
.
dt = VI (tP)[P(tP)V(tP) - V(tP)]z,
= -D(tP)y + U1(tP)[P(tP)V(tP) -
.
V(4))]z.
+ V(tPt(4>))Q(4>t(tP))Zt
= P(4)t(tP))U(tPt(tP))Yt+
t E R, tP E Tm
173
= U()D(),
E Tm
in view of the arbitrariness of the choice of the initial condition Yo. But then
U () satisfies the matrix equation (11.9) and consequently the
1, ... ,p) are eigenvalues and the Uj() (j
>.} () (j
L corresponding to them.
The following statement, which clarifies the relation between the C'(Tm )block decomposability of the linear system (11.1) and the problem of the extendability of an r-frame to a periodic basis in En, easily follows from Theorem 2.
Theorem 3. The system of equations (11.1)is reduced to the block-triangular
form (11.7) by transformation (11.6) with the matrix [U(), V()] E C'(Tm ) if
and only if the p-frame (11.3) can be extended to a periodic basis in En.
174
CHAPTER 3
En
transforms system (11.1) to the form (11.7). Under the transformations (11.6)
the exponential dichotomy of system (11.1) is preserved, so that system (11.7)
is exponentially dichotomous.
As follows from the properties established earlier, the number r determines
the dimension of the separatrix manifold M+ of the exponentially dichotomous
system. Since the eigenvalues Aj (J) (j
the form of system (11.7) that its separatrix manifold M+ is given by the
equation
z=o,
JETm .
(11.13)
C(J)x
= x,
J E Tm
(11.14)
C(J)U(J)y + C(J)V(J)z
= U(J)y + V(J)z.
(11.15)
The points of the manifold (11.13) satisfy equation (11.15), but since y was
chosen arbitrarily, this is possible only if
C(J)U(
= U(J),
J E Tm .
(11.16)
C(J)x
=0,
J E Tm
175
C(4))[U(4>)Y + V(4))z]
= 0,
4> E Tm
U(4))Y + C(4))V(4>)z
=o.
(11.17)
Since the matrix U(4))U(4>) is a Gram matrix of linear independent vectors, it is non-singular for all 4> E Tm . Multiplying equation (11.17) first by
we transform system (11.7) into a system of the same form but with a separatrix
manifold with equation
YI =0,
4>ETm .
The latter is possible only if the system of equations for 4>, z, YI has the form
(11.7) with Y = YI and QI == 0 and therefore has the form of a block diagonal
system with diagonal blocks Q(4)) and -D(4)) = -diagPl (4)), ... ,A2( 4>
n. The
C'(Tm)-block decomposability of system (11.1) has been proved. From the form
of the decomposed system it follows that the separatrix manifolds M+ and Mhave been "straightened".
Suppose now that the eigenfunctions (11.12) of the operator L form an
r-frame which cannot be extended to a periodic basis in En. Suppose that
system (11.1) can nevertheless be reduced to the block-diagonal form
d4>
di = a(4)),
(11.19)
176
CHAPTER 3
det~(4))"# 0
for 4> E Tm
(11.20)
is an invariant set of system (11.1), the motion of which is defined by the
first two equations of system (11.19) and consequently they are exponentially
damped as t
-4
yEE r ,
(11.21)
ETm
For any fixed E Tm both surfaces (11.20) and (11.21) define r-dimensional
planes in x-space. The motion of system (11.1) on surfaces (11.20) and (11.21)
shows that these surfaces are one and the same separatrix manifold M+ of
system (11.1) written in the different coordinate systems (,yt) and (4),y) respectively. For a fixed E Tm there are defined two Euclidian coordinate
systems Yl and y in the same Euclidian space E r (4)) which have the same
origin. Consequently, there is a non-singular r x r matrix R( ) defined for
every E Tm , such that the transition from the coordinate system Yl, to the
coordinate system y is given by the relation
Yl
= R(4))y.
For equalities (11.20) and (11.21) to define the same plane for any 4> E Tm ,
it is necessary that the matrix R( ) satisfy the identity
(11.22)
177
~(</
~(t/
This proves that the matrix R( </ in identity (11.22) belongs to the space
</>
E Tm
(11.23)
since the matrices <I>() == [Ud4, Vd4] and R() are non-singular.
Since VI () E C'(Tm ), it follows that inequality (11.23) ensures that the
r-frame U () can be extended to a periodic basis in En. Thus we have a
contradiction, and this completes the proof of Theorem 4.
The statement of Theorem 4 can be used to construct exponentially dichotomous systems (11.1) that are not C'(Tm)-block decomposable with an
arbitrary size of diagonal blocks.
The following result on C'(Tm)-diagonalization of system (11.1) is a trivial
consequence of Theorem 2.
Corollary.
diagonal form
by the transformation
x=U(4))y,
UEC'(Tm ),
detU()::j;O, ETm ,
it is necessary and sufficient that the operator L of the system have n eigenvalues AI(), ... , An() the eigenfunctions of which form a basis in En.
178
CHAPTER 3
= u(<I,
<I> E Tm
(12.1)
dx
d<l>
7ft = a(<I,
7ft
= P(<Ix + f(<I
(12.2)
),
(12.3)
where <l>t(<I is a solution of the first equation of system (12.2) for an arbitrary
<I> E Tm , and J( and I are positive constants independent of <1>, then the invariant torus (12.1) of system (12.2) belongs to the space C'(Tm ) and satisfies the
inequality
(12.4)
The proof of the theorem is obvious if we use estimate (12.3) and the
integral representation for the function u(<I defining torus (12.1):
u(<I
+OO
-00
Go(T,<If(<I>.,.(<I)dT.
(12.5)
179
We shall consider here the case when the torus (12.1) is exponentially stable. According to results of 3.5, this will be the case if the following condition
holds:
= (30) 0,
inf (3(<1
</>ETm
(12.6)
SE!R ollxll=1
(12.7)
91 0 is the set of n x n-dimensional positive-definite symmetric matrices belonging to the space C'(Tm
).
(12.8)
).
inf [(3()
</>ETm
+ 10l()] > O.
(12.9)
Then the invariant torus (12.1) of system (12.2) belongs to the space C1(Tm
).
(12.10)
(3(<1 2: (30,
(3()
+ 101(<1 2: 1,
= </>ET
inf
(3(), 1
(12.11)
= <l>ET
inf
[(3(<I+la(<I].
180
CHAPTER 3
O'(
0, > E Tm .
(12.12)
~ 5 ~
but does not depend on t,>. Here D:>t( is any derivative of order
function >t( with respect to the variables >
5, (
of the
(12.15)
Upon integrating this inequality and making the standard estimates we obtain
from (12.15) the inequality:
= 1.
= 11 + 1.
11'
by its value
11':
5 ~
/1
where
R( tPt (tP))
181
D,p
._
where
Therefore
$ K 1 K ex p {
-1
$ I< 1 I< ex p {
Il
1-
,p
11<
-1
(11
+ l)a(tPT(tP))dT -
(11
'--v--"
m-i
+ l)d}, t
$ 0.
CHAPTER 3
182
= 0 for
ej
-1
n~ (oal o<!
This inequality allows one to obtain an estimate for integral (12.17) and
to obtain for D~l1/J; an estimate of the form:
!(J{21 -1
P{ -1
+
1 {-1
IID~1/J:1I ~
~ J{3 ex
T
O:(<!>T(<!dT-1(/l+l)O:(<I>T(<!>))dT-(/l+ 1)fT }dT
exp {
O:(<!>T(<!>))dT - (/1
x
l)d}X
eX P
11O:(<!>T(<I>))dT}dT,
~ O.
(12.18)
It =
we find that
It
= -texp {
~ -tex p {
-1
-1
1 -1
ex p {
1Io:(<I>T(<I)dT }dT'
~ 0,
11O:(<!>T(<!>))dT}-
-1
11 O:(<!>T(<I)dT }
11To:(<!>T(<!>))ex p {
~ J{(f)exp{
-1
-1
11 0: (<!>t (<!>))dT}dT
hO:(<!>T(<!)dT -
ft}, (12.19)
183
i.
Using (12.18), (12.19) we can write the estimate for the function D~ltN as
(12.20)
where
n~ (cP)
dx
dt = P(cPt(cP))x,
which becomes the identity matrix for t
(12.21)
= T.
IID~xt(T,cP,xo)11 S J{ ex p { - i t {3(cPT(cP))dT
-1
sa(cPT(cP))dT - iT }lIxoll
(12.22)
for arbitrary
S t S 0, 0 S s S
f, arbitrarily small
K which
tion (12.10) for the matrix S(cP) by applying standard estimates relating to the
function V
to t.
= (S(cPt(cP))Xt(T,cP,XO),
substituting Xt(T,cP,XO) for x in equation (12.21) and write the result as:
where
184
CHAPTER 3
The function R 2 (4)t(4>),Xt(T,4>,XO)) is a differential expression which contains the terms D~-ip(4)t(J))D{Xt(T,J,X)(j
= O, ... ,h -1)
with constant
Xt(T,,XO as follows.
We have
l,-i
D~-i P(Jt(
=L
D~IP(Jt(J
L coa(Dq,Jt(Ja, x
a
0=1
T :::;
t :::; 0
1
0
IIDj-ip(t(J)D{Xt(T,,xo)ll:::; I<4J(eXP{-(lI-j)
x exp{ - i t {3(Jr(JdT -
1
1
a(r(4)dT} x
a(Jr(Jdr - f(t
+ T) }lIxoli :::;
IIR2 (t(J),Xt(T,,xo1I
:::; K sexp { - i t {3(Jr(JdT -11
1
0
:::;
(12.23)
T :::;
(12.24)
185
Using inequality (12.23) we can obtain the estimate for integral (12.24):
IID~Xt(T, tP,xo)1I ~
K611
ex p {
-1~ (3(tPT(tPdT
x ex p { -11
= K6(t -
-1
T)exp{
-I
T'
(3(tPT(tPdT} X
(3(tPT(tPdT} x
x exp{ -11
~0
(12.25)
IID~xl(T,tP,xo)1I~
~ K(ft) ex p { - i t (3(tPT(tPdT
-1
for all
T ~
IID~xo(T,tP,xo)1I ~
~ K ex p { -l[(3(tPT(
for all
T ~
+ SQ(tPT(tP]dT -
fT }lIxoll
(12.26)
~ 0 and by
0 it becomes:
(12.27)
D~XO(T,,J(tPT(<jJ))) =
D', 8Pxo~;~,f) x
p+q$'
Ql
+ Q2 + ... + QI
= P,
Q1
(12.28)
186
CHAPTER 3
Now since
qf(4JT(4J))
=L
D;~f(4JT(4J))
Ol~j
we have
(12.29)
for all
:$; O.
liD; (}pxo~~~4J, f)
where
ej
f, therefore
}=1
0'
=F p and 1 for
0'
= p.
II
-1
{}fP
f)
I<
-
(3(4JT(4J))dT} X
x exp{ -(J'
O'(4JT(4J))dT - fT},
T:$; O.
(12.30)
:$;
+ sO'(4JT(4J))]dr -
(r }Ifl.
"y.
187
By looking at the proof of Theorem 2 we see that it holds if the fundamental matrices of the solutions n~(4)) and n~(oa(4/o4 of systems (12.21)
and (12.14) satisfy the inequalities
{l
T S t,
a(4)T(4>))dT} , T ~ t
(12.31)
respectively, where (3(4 and a(4)) are subject to conditions (12.6), (12.9).
Since the matrices nM4, n&( oa( 4> )/04 satisfy the identities ofform (4.2):
{-l
IIn~(4))1I ~ J{ exp
(3(4>T(4>))dT},
0 S t,
~0
(12.32)
that inequalities (12.31) hold. Indeed, according to the given identities and
inequalities (12.32) we have, for example, the estimate for n~ (4)):
~ J( exp{
_I
Iln~(4))11
t
-
= IIn~-T+T(4))11 = IIn~-T(4)T(4>))1I ~
T
(3(4>T,(4>T(4dTl}
= f{ exp{ -
= J( exp{
jt (3(4>T(4)dT},
_I
t
-
T
(3(4>T+T,(4>))dTl}
t - T 2: 0,
n~(4)).
t 2: 0,
IIn~(oa/o41I ~ f{e-exot,
t ~0
188
CHAPTER 3
hold, where
are fulfilled for I satisfying I < 130/ao. Then the invariant torus (12.1) of system
(12.2) belongs to the space C/(Tm ) with 1<
13o/ao.
It should be noted that the number I defined by the conditions of Theorem 2 as the minimal possible smoothness may be attained. This can easily be
seen from the example of the system
dfjJ
dt
= -sin'",/"
(12.33)
which consists of two scalar equations. As was shown in [89], the invariant
torus (12.1) of this system is defined by the function
u(fjJ)
2b-
1t
fjJ 1~/2 cos
.
dt,
,,/2
Sillt
= - tan -2
-+
taking the bth derivative of u( fjJ) we see that this derivative is not bounded.
Inequality (12.9) for system (12.33) has the form inf [b-lcosfjJ]
~ETI
E R,
(13.1)
189
(13.3)
where Gt(T,</ = GO(T-t,<pt(<P, ~ = </>+Doe;, e; = (0, ... ,1, ... ,0) is the
unit vector, and Do is a scalar constant. Since Gt(T, </ is a Green's function for
system (12.21)' Zt( T,~, </ satisfies the matrix equation
GO(T,</ - GO(T,~)
+00
-00
Go(s,~)[P(</>.(</>))- P(</>.(~]G.(T,</ds.
Since
(13.6)
190
CHAPTER 3
.0.-0
_ j+oo J( 5,T,'I'A-.)d5
(13.7)
-00
when the integral on the right hand side is uniformly convergent. Here D2 is
any bounded domain of the T,5 plane and J(5, T, t/ is the right hand side of
equality (13.6). For J(S,T,t/ we have the estimate
from which we see that integral (13.7) converges uniformly with respect to
T E R, 4> E T m ,
(13.9)
()GO(T,t/
{)t/>i
= j+oo GO(5,t/
-00
v=1
(13.10)
for all (r,t/ E R x Tm. Using identity (13.10) and taking derivatives we prove
Theorem 1 for any I ;::: 1.
In particular, for I
inequality
= 2 by
which follows from (13.2) by reasoning similar to that in 3.11, we obtain the
following estimate for the deri vative of the integrand expression J (5, T, t/ in
formula (13.10):
II D J(s,T,t/11
s.
= 20' + t,
rl
=r -
a.
(13.11)
191
+00
-00
D~J(s, T, <jJ)ds
D~aGO(T,<jJ)/a>i
>
G'(Tm ). Then the invariant torus (12.1) of system (12.2) belongs to the space
G'(Tm ) and admits the estimate
lui,
Klfl,
To prove the theorem we need to use estimate (13.1) for the Green's function Go(r, and the estimate for the function >t( in the form
which follows from condition (13.2). These estimates clearly lead to the inequality
(13.12)
for all (T, E R x Tm . If we choose
inequality (13.3) that the difference ::y - La is positive, and this is sufficient for
Theorem 2 to hold.
We now find a relation between the index I of exponential decay of the
Green's function GO(T,<jJ) for the exponentially dichotomous system (11.1) and
the parameters of the matrices S(<jJ) and 5( which make the system exponentially dichotomous.
192
CHAPTER 3
max I(S(J)x,x)1
II r ll=l
S p.,
(13.13)
with positive constants p. and (3 then the Green's function Go( T, J) for system
(11.1) satisfies inequalities (13.1) with index
'Y
= (3/p..
(13.14)
To prove the lemma, we first of all note that its conditions imply that
system (11.1) is exponentially dichotomous. Denote the solution of this system
belonging to the separatrix manifold M+ by Jt(J), xt(J,xo). Since, according
to the Remark in 3.8, this manifold lies in the cone (8.17) for fixed J, we have
(13.15)
.
[~S(Jt(J
= (S(Jt(J4(J,xo),xt(J,xo
+ S(Jt(JP(Jt(J]xt(J,xo),4(J, xo) )
s -2f3l!xt(J,xo)1I
::;
and therefore
for all t
(13.16) we have:
IIxt(J,xo)1!
s ~ ex p { -~(t -
T.
(13.17)
193
In similar fashion we can prove the following estimate for the motion t/Jt(t/J),
xt"(t/J,xo) of system (11.1) belonging to the separatrix manifold M-:
(13.18)
But then the Green's function Gt(T,t/J) for system (12.21) defined by relation (9.2) for solutions satisfying inequalities (13.17) and (13.18), satisfies the
inequality
(13.19)
with the constant f{ independent of t/J. Since Go(T, t/J) = Gt ( T, t/J)lt:o' it follows
from (13.19) that estimate (13.1) holds for the function GO(T,t/J) with I equal
to the value given in (13.14).
The index of exponential growth of the matrix n~(oa/o) can easily be
related to the parameters of the matrix 51 (t/J) in the space 9't 1. Indeed, if the
positive constant 0' is chosen such that the inequality
. f
sup m max
<pETm S,E!lt, '1/>11=1
(13.20)
0'
holds, then estimate (13.2) holds for the matrix nb(oa/ot/J) with
0'
defined by
derivative of the function V1 = (51 (t/Jt( t/J,Pt{t/J, 1Po), 1Pt( t/J, 1Po, where 1Pt( t/J, 1Po)
is a solution of system (12.14).
The next statement follows from what has been said as well as Theorem 1
and Theorem 2.
Corollary 1. Let a,f,? E C1(Tm
),
2 1.
matrix 5() E C'(Tm ) satisfies inequalities (13.13) with positive constants j.t
and {3. If
{3
where
0'
> 1j.t0',
(13.21)
is chosen from condition (13.20), then the Green's function Go(r, t/J)
for system (11.1) and the invariant torus (12.1) of system (12.2) belong to the
space CI(Tm ).
194
CHAPTER 3
ric matrix S(J) E G/(Tm ) satisfies inequalities (13.13) with positive constants
p., f3 and admits the representation
(13.22)
with a non-singular matrix Q(J) E G/(Tm ) and positive definite blocks D1(J)
and D 2 (J) for all J E Tm . If inequality (13.3) holds then system of equations
(11.1) is G/ (Tm)-block decomposable.
The proof of Theorem 3 follows from the theorem on the G'(Tm)-block
decomposability of system (11.1) and the properties of the matrices G( J) =
Q'
f.
= w = const.
number I. In this case the smoothness of the Green's function and the invariant
torus of the system in question are the same as that of the coefficients a, P and
(13.22).
The second case relates to an exponentially dichotomous system such that
its function G( J) = Go(O, J) does not depend on J. The smoothness of an
invariant torus of such a system is equal to that of the functions a and f, and
the decomposing transformation does not depend on J. It is easy to see that
we have the second case if the matrix P( J) has the following form
195
Lu(J)
= !(J),
(14.1)
Lu
=L
(14.2)
v=l
WN()
WiN)ei(k,cP)
(14.3)
IIkll~N
the coefficients WiN) of which are solutions of the system of algebraic equations
(14.4)
The conditions under which the Galerkin's approximations exist for any
N
+00
can be
(14.5)
v=l
= 0, 1,2, ... ) is defined for any function! E Hr(Tm ) and converges in H'(Tm } for 1 :s s < r to
a function u = uo( J} which satisfies the inequality
Then Galerkin's approximation sequence {WN(J)} (N
(14.7)
196
CHAPTER 3
SNf(4))
fkei(k,<p).
II k ll:S N
In this notation system (14.4) is equivalent to the single equation
= (LWN(4, SN W N (4)))0 =
+ L* WN(4)), WN(4)) ) 0 =
=(LWN(4, WN(4)))O = ( -L 2-
from which it follows that system (14.4) can be solved for any integer N
and an arbitrary function
f E HO(Tm ).
Moreover, inequality (14.8) leads to the following estimate for the Galerkin
approximations WN:
which by Schwarz's inequality yields
197
(14.9)
Solving inequality (14.9) we obtain the estimate
(14.10)
where
rl
= 2r/(1 + VI +4fJh)
By Sobolev's compactness theorem, inequality (14.10) ensures that the sequence of Galerkin approximations is compact in the space H'(Tm ) for s < r.
Let {WNj} (j
1,2, ...) be a subsequence of {WN} that converges in
H6(Tm ) to the limit Wo:
(14.11)
where 9 is a trigonometric polynomial in P(Tm ). If j is sufficiently large, then
SNj9
But then
(14.12)
For r
>
m )
is arbitrary,
),
it follows
LWo
=f
a.e.,
(14.13)
198
CHAPTER 3
We shall be using equality (14.13) to prove that the Galerkin approximations converge. To this end we consider an arbitrary subsequence of {WN} that
is convergent in H'(Tm ). Let Wo E H'(Tm ) be its limit. Now equality (14.13)
holds for W 0, therefore
L(Wo - WO) = 0
almost everywhere. But then
WN
Un.
L(WN - un)
= (E -
Un.
= uo(), we
We have:
SN )LWN - (E - SN )/,
r - 1,
= (E -
~ (II(E - SN )LWNII,
II(E - SN )/11,
+ II(E -
1 E Hr(Tm ), s
= II L
SN )/II,)IIWN -
uoll,
(14.15)
IIkll>N
from which it follows that inequality (14.15) can be written in the form
199
Taking into account the form of the operator L we obtain the following
estimate for IILWNllr-1:
and from this it follows that we can rewrite inequality (14.16) as:
Setting s
= 0 in
(L(WN
we have that IIWN
uollo
and apply estimate (14.6) to the left hand side of (14.17), we find after simple
calculations that
where C z is a positive constant which depends only on CI,'Y1,'Y,C. Inequality
(14.7) is proved.
By Sobolev's embedding theorem the limit function
UQ
belongs to C/(Tm )
if
s> mJ2 + l.
If we take I;::: 1 in inequality (14.18), we obtain the inclusion
(14.18)
UQ
E C1(Tm ). It
= f(lj;)
(14.19)
holds almost everywhere, that the latter equality holds for all J E Tm . This
means that uo(J) is a solution of equation (14.1) and belongs to C'(Tm
).
Thus,
> mJ2 + I,
I;::: 1,
(14.20)
200
CHAPTER 3
space C/(Tm )
(30(4
+ soo(4)) -
tJl(4)) ~ /,
s = 0,1, ... , r,
(14.21)
. (oa(4
)
mill
~1/J,1/J ~ 00(4)),
1I,p1l=1
u'/'
max (P(4x,x)
II x /l=l
-(30(4,
(14.22)
We shall prove this statement in the next section, but here we use it to
substantiate Galerkin's procedure for constructing an invariant torus (12.1) of
system (12.2).
Theorem 1. Let a, P E cr(Tm ) and suppose that the inequalities (14.21) hold
lor s
0 and s
r. If r satisfies inequality (14.20) then the sequence of
= 0,1, ...)
IE
(14.23)
holds for any 0
and
~ r -
I.
Proof Taking into account the form of the matrix bo( 4 and using inequality
201
(b o(4x,x) ~
I'lI x ll 2
This proves that the matrix bo(4)) is positive-definite for all 4> ETm and this is
sufficient for all the conditions of Lemma 1 to be satisfied.
According to Lemma 1, the sequence of Galerkin approximations {WN (4))}
(N = 0,1, ...) is defined for any function f E Hr(Tm ) and converges with respect to the norm of the space H$(Tm ), s < r, to a function uo( satisfying
inequality (14.7). The limit function uo(4)) satisfies equation (14.1) almost everywhere. If inequalities (14.20) are satisfied, then uo( E C'(Tm ) C C 1 (Tm ),
so that the function uo(4)) is a solution of equation (14.1). Consequently, the
function u = uo( defines an invariant torus (12.1) of system (12:2). The limit
relation
lim
N-oo
Iluo -
WNII$
= 0,
0:$ s :$
r-
implies the convergence of the sequence {WN(>)} (N = 0,1, ...) in the space
0:$ s :$ I.
~ETm
~ETm
~ETm
inf [130(4))
~ETm
(14.24)
202
CHAPTER 3
hold, where !3(Iji), a(lji) , !3o (Iji) , ao(lji) and J1.(Iji) are the quantities defined by inequalities (12.7), (12.8), (14.22).
verges in H (Tm ) for any function f E H (Tm ). The limit function uo(lji) of the
sequence {WN(Iji)} (N
Lu(lji)
= f(lji) , Iji E Tm
L(uo(lji) - u(lji))
=0
=(bo(Iji)(u(lji) where
= const > O.
But then
Ilv - vollo = 0,
which implies that the functions
and
Uo
Theorem 2.
It should be noted that the inequality
{WN(Iji)} (N
= 0,1,2, ...) as
-+ 00
203
follows from estimate (14.7) taken for s = 0 and r = 2 together with the equality uo(4))
= u(4)),
satisfied.
We also note that the first two inequalities of (14.24) can be replaced by
the requirement that an invariant torus (12.1) of system (12.2) should exist.
This does not affect the validity of Theorem 2.
3.15. Proof of the main inequalities for the
substantiation of Galerkin's method
To render the statements of the preceding section mathematically rigorous, it
remains to show that condition 3 of Lemma 1 of 13 holds when inequality
(14.21) is true for s
= 0 and s = r.
= 0 we have
L+L'
(Lu,u)o = ( --2- u ,u
) 0 = ((P+P'
2
+ '21
oa E
L o4>v
v
u,u
= (bou,u)o.
v=l
4> E Tm
=(bou, u)o + L
)
-~u)o
= 1:
=
=j
and 0 for v
=I j.
204
CHAPTER 3
We estimate the functional <1>1' Taking its form into account, we have:
(15.1)
where Jl is a sufficiently small positive constant and C is a constant independent
of u and the coefficients of L.
We impose the condition that the inequality
(15.2)
holds for any collection
(II
of n-dimensional vectors,
7]v
> O.
We defer until the end of the section the proof that by taking '1'1 sufficiently
small we can make the above inequality hold .
If inequality (15.2) holds, t.hen we have the following lower estimate for 1}:
= '1'1 2::11
v
:;v II: 2:
'1'ICdlulli -
'1'IC21Iull~,
(15.3)
= 1:
205
where r
rlCl - C'JJ2 > 0, /j rlC2 + C'JJJ2 > 0.
For s = 2 we use the relation given at the end of 1.3 to obtain
(Lu,uh
= (boKu, Ku)o + K L -
LK)u, Ku)o.
But
uh:
and
L~
is the first order differential operator, the coefficients of which are the
211ull211ulh
L~
II
(15.5)
206
CHAPTER 3
(v
7]v
We defer to the end of this section the proof that this inequality is satisfied
by taking /z sufficiently small.
Then by using Garding's inequality we can make an estimate for (Lzu, uh
from below as follows:
(15.6)
where /1 and 81 are positive constants that depend only on 2:::'=1 lavlz + IFlz.
Combining inequalities (15.5) and (15.6), we obtain an estimate for (Lu, uh
in the required form:
(Lu, u).
(15.7)
Since representation (15.7) and estimate (15.8) have been proved for
s = 2, we can assume that formula (15.7) and estimate (15.8) are proved for
all s
207
Consider
the product (Lu, U)P+l under this assumption. Using the relation given at the
end of 1.3, we have:
(Lu, u)P+l
LU ,
=L-CJ:
j
1
:;J + ~~+l(U),
1
where
1~~+l(U)1
where
208
CHAPTER 3
I:II
+ .
1
IIII
{)P
{)u
{)Jj u p {)Jj p
II:(
.
11
{)bo
{)Jj 1
u
Ll + PI:. {)Jj{)2 av{)Jj {)Jv{)Jj
{)2
{)U)
I
, {)Jj, p-l ::;
U
1',1
I: lavlp+lliullp+dlullp ::;
v
= ((
where <I>P+l (u) is a functional which can be represented as the sum of three
terms:
<I>~+l(u) + <I>;+l(u)
+ <I>;~l(U).
To estimate the functional <I>p+l (u) it only remains to estimate the term
<I>~+l (u)
= -( L~u, U )p-l.
Since
1<I>~~l(U)1
:s IIL~ullp-2I1ullp+l
:s C3 (L lavlp-l +
::;
IPlp-2)lI u llp+lllullp,
it follows from the estimates for the functionals <I>~+l (u), <I>~+l (u) that
209
8 :::;
r.
(II
1]1,., 1]m
of n-dimensional vectors
1]/1 -
(1]t, ... ,
1]~)
> O.
The proof that this inequality can be satisfied by taking I' sufficiently
where I' and 6. are positive constants that depend on L:" la" I. + IPI.
But then by applying the inequality for 2I1ull.llull.-1 given in 1.10, we
obtain:
+ ~.(u)
I.llull; -
6.lIull~
c'GJl
2 u
1I ll;+
+ 2Jl2(~'-1) lIulI~)
as required. Thus, if inequality (15.9) holds for
8 :::;
= 0 and s = r.
~ ,llull; - 6I1ull~,
= 0, 1, ... , r whenever
r we have:
" aa"
i i
+s '"
~ aa"
a</;. (1]",1]j ) = "'(b
~ 01]",1]" } +8 '~
a</;_ '"
~1]/l1]j
"j)
"
/lj
CHAPTER 3
210
vJ
where Wi
2: (.80(1/1) - ~Il(<p)
But then
= (.80(1/1) + sao(l/I) -
!1l(tP) E l17]vW,
v
The problems of the linear theory considered in the previous chapter are also
important for the general theory of invariant tori of non-linear systems. This
deals with the invariant surface
(1.1)
of the system of equations
dJ
dh
(1.2)
dh
dt
211
(1.4)
212
CHAPTER 4
where
f(4J)
= F(4J,O),
P(4J h)
,
= fi
BF(4J,th) dt
B(th)
.
Jo
d4J
dt =
.
a(4J, u'(4J,
dh
dt
= P(4J,u'(4Jh + f(4J)
(1.6)
4J, h in
the domain (1.3), and periodic with respect to 4Jv (1/ = 1, ... , m) with period
211'. Suppose that for any i = 0,1, ... system (1.6) has an invariant torus (1.5)
lying in the domain (1.3).
If
uniformly with respect to 4J E Tm , then the limit function u(4J) defines an
invariant surface (1.1) of system (1.4).
Proof We denote by
at t = 0. Then
4J:
=J +
it
ui+i(JD
(1.7)
213
for all t E R.
Taking into account the fact that the functions u i (4)) are continuous and
periodic and that their values lie in the domain (1.3) for all i = 1,2, ... , we see
that the first equation of system (1.7) implies that the sequence of functions
4>~,
...
(1.8)
4>t
its limit:
lim 4>~v
v-oo
= 4>t,
tEl.
= u( 4 + it (P( 4>."
u( 4>., ))dT,
+ f( 4>., ))dT
(1.9)
for all tEl. Because the interval I was chosen arbitrarily, equality (1.9) holds
for any t E R. Hence the surface (1.1) is an invariant set of system (1.4), as
required.
To realize the given linearization procedure, we need to find conditions
under which the system of equations
dh
= u(4)),
4> E Tm
(1.10)
(1.11)
al (4)),
ddht
= P(A.)h,
'i"
(1.12)
214
CHAPTER 4
We shall call a Green's function GO(T,I/ for system (1.12) coarse ifthere
exist a constant 6
(where ro
= max(I,r and
al
E CTo(Tm )
(1.13)
dl/>
dt
= a (-I.) + al (-I.)
'I"
'I" ,
ddht
= P(-I.)h,
'I"
(1.14)
where f is an arbitrary function in CT (Tm ), I/>t (I/ a solution of the first equation
and
of (1.14), and
f{
Lemma 2.
0 such that
(1.16)
where
f{i
Proof We choose p so small that inequality (1.13) follows from inequality (1.16)
and system (1.14) has a Green's function G o( T, 1/ that satisfies condition (1.15).
Using the operator G defined on functions f E CT(Tm ) by the inequality
Gf(l/
roo GO(T,I/f(l/>r(I/)dT,
=i- oo
For sufficiently small p, the norm of the operator GPi in the space CT(Tm )
satisfies the inequality
2cf{
IGPdT ~ -IPlI T ~
2cK
-p::; d < 1,
'Y
215
UJ
= ~(GPd:Gf
k=O
function
= uJ
its equation (1.1). The number r in the definition of a coarse Green's function
will be called the smoothness index of this function.
4.2. Main theorem
di = a(<jJ, h, i),
(2.1)
dh
which are defined and continuous with respect to all the variables <jJ, h, i in the
domain
(2.2)
and are such that
(2.3)
Condition (2.3) ensures that there exists a trivial invariant torus
h
= O.
= 0,
<jJ E Tm
(2.4)
CHAPTER 4
216
d4>
dt
dh
= Po(4))h,
= ao(4)), di
(2.5)
where
ao(4)) = a(4),O,O),
For a function u E CLip(Tm
),
Po(4)) = Po(4),O,O).
the quantity
luI. + /{
will be denoted by
2: 1, then there exists a sufficiently small eo > 0 such that for any
lulr-I,Lip:S
Klflr,
(2.7)
where
al(4),h,e)
P1 (4),h,e)
= a(4),h,e) -
= P(4),h,e) -
a(4),O,O),
P(4),O,O),
and apply the iteration procedure discussed in the previous section to find an
invariant torus (2.6) of this system. We define the zeroth iteration by the
function U o( 4 == 0, 4> E T.n We define the first approximation for the system
of equations
(2.8)
217
(2.11)
Here p and
[(I
Such a choice of the value to is possible since the right hand side
= 1(1),t).
d1>
di
= ao(1)) + al(1), Up -I(1), t),t),
(2.13)
dh
+ 1(1), c)
= al(1),up -I(1>,i),c),
i
PI
P1 (1),U p -I(1>,i),t) satisfy
E [0, co], the torus (2.14) of system (2.13) exists and
218
CHAPTER 4
where
[(I
1, the invariant
OUi(J,f)(
oJ
ao (J)+ al(J,ui-l ( J,f )
,f
= 1,2, ....
ow
oJ
= (uo(J)
(2.16)
for any
219
satisfy inequality (2.10) for f E [0, fO] and Ii E Cr-1(Tm), it follows that the
system of equations (2.16) satisfies all the conditions of Lemma 1.2 with r equal
to the value of r - 1. Estimate (1.17) for
For r
Wi+l (4),
f.
for all
fO
= 1,2, ... ,
that
lim Ui(4), C)
1-00
= u(4),c)
(2.18)
c E [0, co].
Since the sequence Ui(4), C) (i = 1,2, ... ) is bounded in cr(Tm ), it is compact in the space cr-l(Tm ) and this leads to the relation
,
1-00
c E [O,co].
(2.19)
Finally, since for any (r - 1)th order derivative D r - 1 I( 4>, c) of the function
cr (Tm )
the estimate
IIDr - 1 I( <P, c)
D r - 1 I( <p', c)1I
220
CHAPTER 4
for all 4>,4>' E Tm , t E [0, to]. Passing to the limit in inequality (2.20), we find
that
lim lulr-I,Lip
(-0
= 0,
which proves that the functions u(J, f) and its derivatives with respect to 4> are
continuous with respect to
at the point
= 0 uniformly in 4> E Tm .
= u(4)),
4> E Tm ,
(3.1)
We set
(3.2)
(hI, ... ,h n ), the function dt gives the distance between the point (4)t, ht) and
the torus (3.1). Using this distance one can define in the usual way stability,
asymptotic stability, instability of the torus (3.1) considered as an invariant set
of system (1.2).
221
An invariant torus (3.1) of system of equations (1.2) will be called exponentially stable if it is stable and there exists 60
t
where
J(
(3.3)
~ T,
T
is an
= Pt(Jo, ho).
by Pt
= Pt whenever u(J) =
const.
Lemma 1. If u E CLip(Tm ), then
Pt ~
where
J(
V2(1 + K)d t ,
(3.4)
IIh t -
Pt ~
u(J;)1I
+ lIu(J;) -
x[llh t
u(Jt)11 ~ (1
u(J;)11 +
x[llh t
+ K)x
114>; - 4>t1IT
u(J;)1I 2
l~
+ IIJ;
V2(1 + K)x
-
4>t,h t
< 60
>0
any solution
(3.5)
222
CHAPTER 4
with constants
J( 1
To prove the lemma we consider the solutions of system (1.2) for which
Po
~ 1<1 e--YT Po
the solution >t+T' h +T of system (1.2) that takes the value >T' h T at t = 0
'
satisfies the conditions of Lemma 2 for any t E R+, and consequently, estimate
(3.5):
(3.6)
holds for it.
Since PI(>T, h T)
in the form
and, on replacing t
+T
T, T
E R+,
by t, we obtain
(3.7)
T,
any
< 60/1<1.
lt follows from Lemma 1 considered for t
for which Po
Po
inequality (3.8) holds for all solutions >" hi of system of equations (1.2) such
that
(3.9)
and this proves Lemma 2.
Lemma 2 simplifies the verification that the invariant torus (3.1) of system
(1.2) is exponentially stable by reducing it to the verification of inequality (3.5).
We now return to our consideration of system of equations (2.1). We
denote by (3( and o( the quantities defined by inequalities (12.7) and (12.8)
of Chapter 3, where we now set a(J)
= ao(J),
P(
= Po(
223
sup are taken over the subsets fRo and fR l consisting of matrices in the space
Cl(Tm ).
Theorem 1. Suppose that functions a, P and f have partial derivatives with
respect to f/J, h up to order r, which are continuous relatively to f/J, h, ( in the
domain (2.2). Suppose that the inequalities
{30
= ,pETm
inf {3(f/J) > 0,
inf [{3(f/J)
4>ETm
(3.10)
+ ra(f/J)] > 0
hold.
I, then we can find a sufficiently small (0 > such that for any
( E [0, (0] system (2.1) has an exponentially stable invariant torus (2.6) with
If r
the function belonging to the space CD~/(Tm) and satisfying inequality (2.7).
Proof. Since the quantities {3( f/J) and 0'( f/J) are defined in terms of the matrices
Po, oa%f/J, S, SI in the space C l (Tm ), we see that the similar quantities
{36(f/J) and 0'6 (f/J), defined in terms of the matrices Po and oa%f/J+ oaI/of/J for
an arbitrary al E C'"(Tm ) satisfying inequality (1.14), are related to {3( and
0'( f/J) via the inequality
(3.11)
> 0,
inequali-
ties (3.10) and (3.11) lead to inequalities for {36(4)) and O'6(f/J) similar to (3.10).
This suffices for any of the systems (1.13) with a = ao, P = Po to be exponentially stable and for its Green's function G o( T, f/J) to satisfy inequality (12.3) of
Chapter 3. The latter is equivalent to the condition that the Green's function
for system (2.5) be coarse with smoothness index r.
This means that the conditions of our theorem satisfy all the assumptions
of the main theorem, so that there exists an invariant torus (2.6) of system
(2.1) for all ( E [0, (0], the function u defining this torus belongs to the space
224
CHAPTER 4
Chapter 2 and the estimates obtained in its proof that it is exponentially stable.
This forces us to use in our proof properties of the invariant torus (2.6) related
to the iteration procedure for its construction. According to this procedure:
U(~,i)
= .-00
,lim Ui(~,i)
Iudl
Ui E Cl(Tm ),
Klih,
= 1,2, ... ,
OUi~:' i) a(~, Ui-l(~, i), f) = P(~, Ui-l (~, f), i)Ui(~, i) + i(~, f).
We use the properties of the functions
Ui(~, f)
(3.12)
Pt
II h t - u(~t, i)lI, where ~t, h t is the solution of system of equations (2.1),
that at t = 0 takes the value (~o, h o) in the domain
Po
We choose
iO
< 60 .
inequality
60
+ Klflo S d/2,
f{
~t, h t
is defined for t
(~o,ho)
>
0 to be the greatest
t E [0, T):
,1m
I' [OUi(~O,f) a (A.
(A.)
I1m
= c.t-O
';'0, U ';'0, i + Zo,
'-00
u~
J::>
)] ,
where () = t
+ Tilt,
225
T E [0,1]. We set
dU(t,t)
dt
= I'1m
~t-O
>l"-
V'I'
'l'8,Ui-l
("-))
...... ("'l'8,t ,t +'i
'l'8,Z8,t )]
with the obvious value of the constant !( 1. From this it follows that
(3.14)
for almost all t E [0, T). Using relation (3.13), we can write for dztldt the
expression:
(3.15)
where
P( t, 0, O)]Zt+
~t-OJ-OO
~i(8,Z8,t).
Po >
IIZtll
= Pt
-+
0.
in standard fashion by
Pt _
(3.17)
226
CHAPTER 4
where
/30
are sufficiently small, inequality (3.17) leads to the estimate (3.5) with
(3.18)
But then the conditions of Lemma 2 are satisfied and the invariant torus
(2.6) of system (2.1) is exponentially stable.
It should be noted that the index of exponential attraction of the trajectories to torus (2.6), as can be seen from formula (3.18), depends on the distance
from the point (4)0, h o) to the torus (2.6) and increases as this distance decreases.
We further note that inequalities (2.12), (3.17) together with inequality
(3.9) guarantee that for a sufficiently small bo
fO
< bo/2,
4> E Tm
holds and that any solution 4>1> h t of system (2.1) for which
II h oll < bo
is attracted to the torus (2.6) as t -- +00 according to the exponential law
(3.3).
4.4. Theorem on exponential attraction of motions in a
neighbourhood of an invariant torus of a system
to its motions on the torus
The notions of asymptotic and exponential stability of an invariant torus of
a dynamical system presuppose that the attraction of semi-trajectories of the
system from a small neighbourhood of the torus to the torus itself is "coarse",
namely, the attraction to the torus is considered as an attraction to a set of
points in the phase space of the system. Being invariant, the torus is, apart
from anything else, a set of trajectories of the dynamical system. In this connection there arises the question of when the attraction to the torus has the
characteristics of an attraction between the motions of the system that start
on the torus and in a small neighbourhood of it.
We shall answer this question for system (1.2), assuming that the torus
(1.1) is an invariant set of it.
227
We set
ao(4))
= a(4),u(4>)),
p, (4))
= 8F(4),u(4>)) _
8h
8u(4)) 8a(4),u(4>))
84>
8h
(4.1)
and define the quantities 13(4)) and a( 4 in terms of the functions ao and Po,
as in the previous section.
Let
which defines the trajectory flow of this system on the torus (1.1).
Theorem 1. Let the functions a, F, u and their first order derivatives with
respect to 4>, h be defined and satisfy a Lipschitz condition in the domain (1.3).
Suppose that the torus (1.1) along with a do -neighbourhood of it lies in the
domain (1.3) and is an invariant set of system (1.2). If the inequalities
inf 13(4))
ETm
= 130> 0,
inf [13(4))
ETm
+ 0:(4))) >
(4.3)
hold, then for any sufficiently small ( > 0, P > 0 and p > 0 the solution >t, h t
of system (1.2), for which
d(>o,h o) ~ pp,
satisfies the inequality
where
t/Jt
= t/Jt (t/Jo)
114>0 - t/Joll ~
J( pp,
(-
J( jl, J(
= t/Jo(tPo, h o),
pendent of p and p.
Proof. We make a change of variables in system (1.2), (4.2) by setting
>
= t/J + pO,
= u( + ppz.
(4.5)
228
CHAPTER 4
Equations (1.2) of system (1.2), (4.2) are written in terms of the new variables
as:
dO
P dt
a(tf;,u(tf;)),
dz
pp dt = F(tf; + pO,u(1/J + pO) + ppz)-
We set
A(A. 0) =
'/',
P(4), z)
84>
a(tf;+pO,u(tf;+p8)+ppz).
(4.6)
8a o( 4> + TO) d
84>
T,
10
A 1(4),z) =
118a(4),U~~)+TZ)dT,
1
1
8F(4), u~:)
(4.7)
dO
dt
dz
dt
= A(tf;,pO)O + A
(tf;
+ p,8,ppz)pz,
(4.8)
= P(1/J + pO,ppz)z.
It follows from the assumptions of the theorem and formulae (4.7) that
the functions A, Al and P are defined and continuous and satisfy a Lipschitz
condition with respect to the variables 1/J,O,z,P,P in the region
11011 ~ 1,
IlzlI
~ 1, tf; E Tm
0 ~ p ~ Po, 0 ~ P ~ po,
= 8 a o( 4
P(4), 0)
= Po(4)),
,/"
84>'
1, Po
(4.9)
1. It can also
229
n~(p)
Lemma 1. Let the matrices P(t) and P1(t) be defined and continuous for
t
2: T
2: T (or
holds:
(4.10)
where is a constant and ;3(t) is an integrable function for t
2: T
(or t
T),
then
IIP11I = max
x
IIP1xll.
II ll=1
We prove this lemma as follows. Using the function
for any t
2:
Xn+l(t, T, xo)
t 2:
(4.12)
2: r (or t
(or t ~ r)
{1
+Ijt 12exp
230
CHAPTER 4
+ 1.
n ~ 1. For all t ~ T (or t :S T), n 1,2, ... , we can estimate the differences
Xn+l (t, T, xo) - xn(t, T, xo) as follows:
I! X2(t, T,XO) - Xl(t, T,XO)I! :S
:S
Il I!n~(p)Pl(S)Xl(S,
t
T,xo)l! ds l :S
Il IIn~(p)Pl(s)(x2(s,T,xo)t
I! X3(t,T,XO) -X2(t,T,XO)I!:S
It follows from this that the sequence of functions xn(t, T, xo) (n = 1,2, ...)
X(t, T, xo)
= n-oo
lim xn(t, T, xo).
X(t, T, xo)
= n~(p + Pdxo.
for all t
lemma.
T (or t
231
IIn:(po)zoll ::; ex p {
IIn~(~~)ooll::;
-1"
1 ex
p{l a(1/>r)dr+f(s-t)}1I001l
(4.14)
2:: t 2:: 0, arbitrary f > 0, some 2:: 1, 1 2:: 1 and any Zo E En, 00 E
Em and Po = Po(1/>t). Here, oa%r/> = oao(1/>d/or/>, where 1/>t is the solution of
system (4.2) that takes the value 1/>0 E Tm at t = 0.
For arbitrary 1/>, z, j.L, p in the region (4.9) the functions A(1/>,j.LO) and
for all
P(1/>
+ j.L0, j.Lpz)
1I0(t)11 ::; 1,
IIz(t)ll::; 1,
t 2:: 0,
(4.15)
= P(1/>t + j.LO(t),
j.Lpz(t - Po(1/>t),
IInHPo + P)zoll
~ ex p {
-1"
{l
1 ex p
zo(t)
Zo
On(t)
= 0,
and
= -p
1+
00
t 2:: 0,
(4.17)
232
CHAPTER 4
where
We now show that for an appropriate choice of the values flo, Po the
functions (4.17) are defined for any n
(4.18)
IIzoll::; 1/ .
< f3o.
For n = 1 we have the following estimate for the integrand in the first of
equalities (4.17):
I
{-l'
{1
a(1PT)dr} x
f3(1PT)dr+f(s-t)+fs}lIzoll,
s~t2:0,
it
0 the inequality
a(1PT )dT -
l'
-1'
::; -1'(8 - t)
= 4>ET
inf
[f3()
-it
+ a()] > O.
f3(1PT)dT
Therefore
it
233
for s 2: t 2: 0, which leads to the uniform convergence of the integral (4.17) for
( < r/2,
(4.19)
We set
l =
+ J(J-Lmax(2.c,.cd, r' = r -
2l
(4.20)
Inequality (4.19) leads to the estimate
IlOn(t)lI:s;
for t 2: 0, n
2.c.c 1M 1P
{
exp -}o13(tPT)dT+lt
}II zoll,
-it
(4.21)
13(tPT)dT + a }llzoli
IIOk(t)11 :s; 1, IIzdt)1I :s; 1 for t 2: 0 and J-L, P, Zo in the region (4.18), (4.20),
and the function Zk+l(t) is defined and satisfies the inequality
II Ok+l(t)11
::; .c.c1M1P
+00
x ex p { -
i'
::;
234
CHAPTER 4
+00
ex p { -[1 - 2{ - (.e l
{1
I
::; 2IM P exp 1
for t
{3(tPT)dr+ft } Ilzoll
0, any
difference
dTn+1
Tn+l
it n~(Pn)(Pn
Pn-dn~(Pn-dzods,
from which, using estimates for the matrices in the integrand, we obtain the
inequality
IITn+l1l ::; 21
t
exp{
-1
::; 2 t ex p
{-l
{3(tPT )dr +
{-l'
{3(tPT)dr+({+2J<p)s} ds lizoll::;
Pn- dlllzoli.
~ O.
(4.22)
IlPn -
Pn-t11 = II P (tPt
+ pllrnlll
235
-it
f3(1/Jt)dr
+ ft} x
(4.23)
We set
'II n]t=.
= 0 and
= [n~(An)-n~(An-d]Oo.
Since ['lin+!-
'lin:
from which, using estimates for the matrices in the integrand, we obtain
lI'11 n +1 -
'lin II
xex p
:s r
{l
I' {l
ex p
o:(1/Jddr + (c
+ If{p,)(r -
T
O:(1/JT)dr+(c+lJ{p.)(s-r)}drllOoll,
t) }IIA n
s~t~O.
An-Illx
(4.24)
Since
t)ex p
{l
o:(1/JT)dr+ (c+
+If{P,)(S - t) } liOn - On-dlollOoll
for s
0 we have:
236
CHAPTER 4
1+
xAI(tP,
00
+ fl Bn(S),flP Zn+I(sznH(s)IIds+
1+
00
+p
Zn(sII ds +
+ flBn_I(S),flPZn(slIllzn(s)llds.
(4.25)
The first term It in inequality (4.25) has the following estimate for t 2: 0:
1+
00
;:; pciCl<MIfl
1+
00
-1'
,B(tfJT )dT + ({
exp{ -/'(s -
2CiCl< M1Pfl
{it
exp -
t) }dsx
x exp{
;:;
t)} x
-it
,B(tfJT)dT+(t
}IICn+dlollzoll,
;:;
where
max IIA I (,flPZ)II
IIzll~I
< MI.
-
For the second term 12 in inequality (4.25) we have the following estimate
for t 2: 0:
-1'
roo sexp{
xexp{
;:;
2C C2 l<M
2
Iflp(-+t)exp{-
-/'(s - t) }dsx
(t
237
The third term 13 in inequality (4.25) has the following estimate for t ;::: 0:
where
](1
(4.26)
(4.27)
On applying (4.26) and (4.27) to
IICn+dl
for all Il, P, Zo in the region (4.18) with sufficiently small J1.0 and PO.
Inequality (4.29) holds for any 1/'t = 1/'1(1/'0). Thus it follows from this that
the sequences of functions Bn(t) and z,,(t) (n = 1,2, ...) converge uniformly
with respect to t,1/'o,zo,Il,P in the region
t E R+, 1/'0 E Tm ,
S P S Po
(4.30)
We set
(4.31)
238
CHAPTER 4
and look at certain properties of the functions O(t), z(t). First of all by taking
the limit in inequalities (4.21) we find that
{1
1
1I0(t)lI:S 2lM P exp -
IIz(t)1I
:s exp{
-1
f3(tPT)dr
+ it } IIzoll,
(4.32)
dOn(t)
dzn(t)
~ O.
(Xl
uni-
formly with respect to t, tPo, zo, J.l, P in the region (4.30), the functions O(t), z(t)
have derivatives with respect to t given by:
dO(t)
dt
lim dOn(t),
"-00 dt
By taking the limit in equalities (4.33) we see that the functions O(t), z(t) are
solutions of equations (4.8) for
tP
= tPt,
Let us study the dependence of the functions 8(t), z(t) on the parameters
J.l, P and the values tPo, zoo Since the limit (4.31) is uniform with respect to
t,tPo,Zo,J.l,P in the region (4.30), the functions O(t),z(t) are continuous with
respect to these same variables t,tPo,Zo,J.l,P in the region (4.30) whenever the
functions On(t), Z.. (t) are continuous with respect to t, tPo, zo, J.l, P in the region
(4.30) for n
= 1,2, ....
Under our assumptions concerning the torus (1.1) and the right hand side
239
function defining 8 1 (t) is continuous with respect to t, tPo, zo, Jl, p in the region
(4.30) and s
~ 1.
= 1,
= 8(tPo,zo,Jl,p).
(4.34)
As was proved before, the solution </J(t) , h(t) of system (1.2) for which
</J(O)
h(O)
= u(</J(O)) + Jlpzo,
(4.35)
II</J(t) - tPtll
~ .c2JlP exp{
IIh(t) - u(</J(t))11
-I
-I
t
~ .cJ.lpex p{
{t} II zoll,
t
f3(t/JT)dr
+ ft }lIzoll. t
~0
(4.36)
where 2 = 2.clMI!'Y.
Using the fact that the function u( </J) in (4.36) is smooth we obtain the
new inequality
+ J(211</J(t) -t/Jtli
~(.c+J(22)JlPexp{-ltf3(tPT)dr+ft}lIzoll. t~O.
(4.37)
JlPIiZoli
= IIh(O) -
(4.38)
1I(t) -t/Jdl
+ IIh(t) -
-I
u(tPt)11 ~
(4.39)
240
CHAPTER 4
(4.40)
tPo
(4.41)
1')
= tPo -
t/; and
1J=J.lB ( tPo-1'),
ho - u(tPo)
)
J.lp
,J.l,p.
(4.42)
II (J (tPo-1J,
Therefore for
1')
ho - J.lP
u( tPo) ,J.l,p)
II S.c 2 p.
in the region
(4.43)
the right hand side of equation (4.42) defines an operator which maps the
ball (4.43) into itself. Since this operator is continuous in
1'),
it follows from
Brouwer's theorem [1] that it has a fixed point in (4.43). This is equivalent to
the fact that equation (4.42) has a solution in the region (4.43). We denote it
by
1')0
= 1J o(tPo,h o).
The quantity
241
But then each value <Po, h o for which inequality (4.40) holds admits the
representation
<Po =
lI<pt -
x exp{
-it
f3(tPT(dr
tPo
= <Po -
2: 0,
(4.44)
1Jo(<Po, ho).
It follows from inequality (3.4) that all points (<Po, ho) in the neighbourhood
d(A.. h) <
'/'0,
v'2(1
J-lP
+ /{2).c
(4.45)
satisfy estimate (4.40). But then any solution <Pt, h t of system (1.2), for which
(<Po,h o) belongs to domain (4.45) satisfies inequality (4.44). Obvious transformations of the constants J-l, p,.c,.c 1 , .c2, K 2 complete the proof of the theorem.
An example of a system of equations satisfying the conditions of the above
theorem is system (2.1) when it satisfies the conditions of Theorem 1 in 3 for
r
(4.4) between the motions of such a system that start on the torus (2.6) and
those that start in a small neighbourhood of it.
4.5. Exponential dichotomy of invariant torus and conditions for
its preservation under small perturbations of the system
Ail invariant torus (1.1) of system (1.2) will be called exponentially dichoto-
mous if for any sufficiently small { > 0 there exists 6 = 6({) > 0 such that
the {-neighbourhood of torus (1.1) contains one-side invariant sets M+ and
M- of system (1.2) (where for at least one of them its intersection with the
n-dimensional plane <P
lowing property.
= <Po
242
CHAPTER 4
t:s 0 and
(5.2)
\Ii
here R-
SYStl~1I1
doh
di = a(1/>, 11('11')), dt =
where
P. (.1. (.1.))
o 0/, U 0/
= of(lP,u(1/>))
&h
_ Du(v') &a(lP,u(1/J))
&1/J
ah
(5.4)
Theorem 1. Suppose that the right hand side of system (1.2) is defined and
continuous and has continuous first order partial derivatives with respect to
S()
243
h = u(4)) + z
(5.5)
d4>
di = a(4),u(4>) + z),
dz
di =
(5.6)
where
+ tz)
+ tZ)]d
t.
The right hand side of system (5.6) is defined and continuous and satisfies
a Lipschitz condition with respect to 4>, z in the domain
(5.7)
(5.8)
dO
dt
= P(4),u(4>), X(OX(O),
d4>
di
(5.9)
dz
O=z,lIzll<{I'
(5.10)
244
CHAPTER 4
J{ 60 ,
4> E Tm , 0 E Tm
where K does not depend on 4>,0,60, the matrix 5(4),0) constructed from S(4))
according to equations (5.9) and having the form
S(4),O)
A
oS(4))
= ar[a(4),u(4>)
+ x(O)) -
a(4),u(4>))]+
+ 5(4)),
= 0,
4> E Tm , 0 E Tn of
function G o(T, 4>, 0) for system (5.9), which satisfies the estimate
where
J{ 1
Mit and Me; of system (5.9) are defined by the equations C( 4>, O)z = z and
C( 4>, O)z = 0, 4> E Tm , 0 E Tn respectively. The solutions 4>t, Ot, Zt of system
(5.9) satisfy for some T = T( 4>0,00 , Zo, cd > 0:
IIZtll
~ K1e--r(t-T)lIzTII, t 2:
IIztll
J{le-r(t-T)lIzTII,
t ~
T, T
T, T
(5.11)
(5.12)
(5.13)
245
The restriction of these manifolds to the locally invariant set (5.10) gives
the sets
Mt
(5.14)
=Z
(5.15)
C(4J,z)z=O
(5.16)
C(4J, z)z
and the equation
respectively. It follows from inequalities (5.11) and (5.12) that the solution
= Zt,
Zt of system (5.9) for which IIzoll < <I1K l takes values in the region
(5.14) for t ~ 0 if (4Jo, ()o = Zo, zo) E Mri, and for t :5 0 if (4Jo, ()o = Zo, zo) E
Mo. But then (4Jt,()t = Zt,Zt) E Mri for all t ~ 0 if (4Jo,()o = zo,zo) E Mri,
and (4Jt,()t
Zt,Zt) E Mo for all t:5 0 if (4Jo,()o zo,zo) E Mo
4Jt,
()t
lt follows from this that the following statements hold for the solutions
if (4Jo,zo) E M I
, then (4Jt,Zt)
E M I for all
inequality (5.12).
Since u(4J) E CLip(Tm ), it follows from Lemma 3.1 that the inequality
IIzolI <
f1
holds whenever
+ [{z)).
(1.2), for which (4Jo, ho) belongs to the domain do < 8(f). Since for such
246
CHAPTER 4
IIzoll = Po
IIzoll <
solutions
(5.17)
while it follows from the inclusion (o,h o) E M- that (t,h t ) E M 1 for all
0 and
(5.18)
Inequalities (5.17) and (5.18) are sufficient for (o, ho) E M+ to imply
the inclusion (t,h t ) E M+ for all t 2:: 0, and for (o,h o) E M- to imply the
inclusion (t,h t ) E M- for all t ~ O. Then inequalities (5.11) and (5.12) lead
to the estimates (5.1) and (5.2) with
f{
= \1'2(1 + J(2)K l .
O.
Since
(o, Zo, zo) Met U Me; and IIzoll < 6, there exist numbers T l < 0 and T 2 > 0
such that
t E (Tl ,T2)'
IIzT,(o,zo,zo)1I = IIzT.(o,zo,zo)1I =
(5.19)
(1
= diag{El,O},
247
matrix and 0 < r < n. For asufficient.ly small <] in the region (5.14) the matrix
:s M,
= </>ETm.llzll$<,
max
IIS(4),z)1I does not depend on 4>0.
We set
= S-](4)o, z)z
(5.20)
and write equation (5.15) in terms of the variables x = (x], X2), where x] is an
r-dimensional and X2 an (n - r)-dimensional vector. Using the representation
=x
~,
= o.
(5.21)
= <Po
:s
= (c], ... , c
r )
the set of the M] which is the inverse image of the set of points x
the hall
->
= (c, 0) of
< <]
:s
We
write the equation for the definition of the points of the set M I in the form
(5.22)
where S](4)o,z) is the block of the matrix S(4)o,z) = (SI(<PO,Z), S2(<P0,Z of
appropriate dimension.
We choose 6]
:s (IiM.
a continuous map z
->
z of the ball
IIzll :s (]
248
CHAPTER 4
z(e)
'# 0
and consequently,
The set M 1 contains the points z(e) for all lIell ::; 61 . These
(1
do = do(Jo,h(c)) from this point to the torus (1.1) satisfies the estimate
For
(1
<
'# u(Jo),
where C1 (<p,z)
=E-
The cases r
=0
for any J
=<Po E Tm .
'#
(1
'# 0
=n
= E.
= E,
= 0,
Next we consider system (2.1). We shall assume that the invariant torus
(2.4) of the generating system (2.1) is exponentially dichotomous for
= 0 by
virtue of the variational equations (2.5) and that this is established by using a
non-singular symmetric matrix S(J) E C 1 (Tm ) for which the matrix
S(<p) =
formed by using the variational equations (2.5), is negative-definite for all <P E
IIhll=l
max I(S(J)h,h)1
< Jl,
IIhll=l-
1([Sl(<p)'~a;l) +! 8S~~)ao(<p)ltP,11')1
<a
S,E9I,III/JII=l
(Sl(J)tP,tP)
- ,
. f
III
max
(5.23)
249
f31J.t>
holds. Ij r
f
(5.24)
ra
> 1, then there exists a sufficiently small fO > 0 such that for any
E [0, fO] system (2.1) has an invariant torus (2.6) with junction u belonging
to the space C~~I(Tm) and satisfying inequality (2.7). For r ~ 2 this torus is
exponentially dichotomous, while for r = 1 it is unstable if the matrix S( ) has
negative eigenvalues and is asymptotically stable otherwise.
Proof. By Lemma 1, of 3.13, the system of variational equations (2.5) has a
(5.25)
matrix aaola
of system (2.5):
(5.26)
where Ii
on
fl (fl
= a + fl
and /{ I
= /{ I (fd
(5.27)
for any function
f E
cr(Tm
),
l'
= 1- fl,
=K
2 (fd
fl.
CHAPTER 4
250
= 5(4)) + (oS(4/o4al(4
= 13 -
Replacing ao by ao
+ a1
0'
equal to
a6
that 6 and
(1
0'6
0'
= & + ]{16,
where
J{1
is a
holds. Then system (2.5) perturbed by the term al(4)) has a Green's function
G o(r,4 that satisfies inequality (5.25) with 1 equal to 16 = 136/J.I. The matrix
oto (~
8,p + lli)
8,p' for which
oao
04>
oa1
+ tii
oao(t(4)
04>
oal(t(4>))
04>
'
term
to
&6
0'6
on its right hand side, now satisfies inequality (5.26) with & equal
+ (1
equal to
76
+ (1.
(1,
inequality (5.27) for the Green's function is negative. This is sufficient for the
Green's function G o(r,4 for the system (2.5) to be coarse with smoothness
index r . The main theorem ensures that there exists an invariant torus (2.6) of
system (2.1) with the function u belonging to the space Cf.i;,1(Tm ) and satisfying
inequality (2.7).
For r
for us to write down the variational equations corresponding to the torus (2.6)
considered as an invariant set of system (2.1).
Since luh,Lip
I<Ifl2
-->
as (
-->
(0
which are close (with respect to the C(Tm ) norm) to the functions ao, Po
defining the variational equations (2.5). This suffices for the matrix
,
SI
oS
= S + 04> (a -
= S( <f
tions for the torus (2.6) to be negative-definite for all <f> E Tm and any
where
fO
251
E [0, fO],
Thus, for r
Let r
E [0, fO],
= 1.
d<f>
di = a(<f>,x(O),f),
dO
dt = P(<f>,X(O),f)x(O)
dh
+ f(<f>,f),
(5.29)
di = P(<f>,X(O),f)h+f(<f>,f),
where X(O)
Ul
-+
0 monotonically as f
-+
O.
Since the torus (5.30) is exponentially dichotomous, it follows that all the
motions of system (5.29) that are bounded for t E R are motions on the torus
(5.30).
The system of equations (5.29) has the locally invariant set
(5.32)
the motions on which are defined by the system of equations (2.1). On this set
the invariant torus (5.30) of system (5.29) becomes the locally invariant set of
system (2.1) defined by the relations
(5.33)
252
CHAPTER 4
for all f E [0, fO]' By virtue of the properties of the torus (5.30), the trajectory
of any motion >t, ht of system (2.1) that is bounded for t E R and for which
IIhtll < fl for all t E R lies in the invariant set (5.33) for t E R.
Since the motion >t,h t = U(>t, f) of system (2.1) that starts on the invariant torus (2.6) satisfies the inequality IIhtll = lIu(>t,f)1! ~ Kl/h ~ K(f) for all
t E R, it follows that for sufficiently small fO, IIh t II < fl for all t E R, f E [0, fO]'
This suffices for the torus (2.6) to satisfy the relations (5.33) for all f E [O,fO]'
Consequently, U(>,f) = Ul(>,U(>,f),f) for all > E Tm , f E [O,fO] for a sufficiently small fO > 0.
We now show that equation (5.33) has no solutions other than h = U(>, f)
in the domain Ilhll < fl, for any > E Tm and f E [0, fO] provided that fO is
sufficiently small. Indeed, suppose that for some > = >o E Tm , f = f' E
[0, fO], equation (5.33) has a solution h = hij = h o(>o, fl) f u( >o, fl) for which
/Jholl < fl
Then the motion
f
f'
< fl.
= ht(<p'o,ho,f' ) to
leave the domain IIhl! < fl for any t E R. This proves inequality (5.35) for all
t E R. We set
(5.36)
The function
Zt
inequality
0< sup IIZtll ~ 2K(fO)'
(5.37)
tER
It follows from the arguments given in the proof of Theorem 1 of 4.3 for
= 1 that
Zt
= f'.
Zt
253
(3.15) that is bounded on R and the following representation holds for it:
(5.38)
where G t (r) is a Green's function for the homogeneous system of equations
corresponding to system (3.15). The function G t ( r) satisfies the following
estimate which is the analogue of inequality (5.25):
where K
> 0 and
'Y
f'.
lt follows from formula (5.38) and the above estimate for the function
Gt(r) that
II Z tll ~ K~(f')
'Y
where K(f)
-+
supllztll,
fO
(5.39)
tER
O.
> 0, inequality (5.39) leads to the estimate
sup IIztll ~
tER
-+
! sup
IIztll,
tER
< n. On the locally invariant set (5.32) of system (5.29) the separatrix set
Mij of invariant torus (5.30) of this system becomes the locally invariant set
M- of system (2.1) defined by the relations
(5.40)
for all f E [0, fo]. It has the property that a solution tPt, ht of system (2.1) for
which (<Po, ho) E M- satisfies the inequality
(5.41)
for all i
0 as long
a..,
254
CHAPTER 4
= >o
< <1, for > = >o. Let T( >o, h, <) be a matrix that
transforms C(>o, h, <) to Jordan form. Since C(>, h, <) is continuous in >, h for
>, h, < in the domain > E Tm , IIhll
< <1,
h, f belong to the region IIhll < fl, f E [0, fO], By introducing the variables
x = (Xl, X2) related to h by the equality
= (el' ... , en - p) is an (n -
< 01,
the inequality
(5.43)
where
f{
M=
sup
IIS2(>,h,f)lI.
,lI h lll
1>ETm
Then the right hand side of equation (5.42) defines a continuous operator
h mapping the ball IIhll < fl into itself. This suffices for equations
h(e,f) for all f E [O,fO] and allllell < 01' This
(5.42) to have a solution h
solution satisfies the inequality IIh(e, c)1I < fl, for these f and e. Moreover,
since S2(>,h,c)e = 0 only for c = 0, it follows that h(e,f):f; ul(>o,h(e,f),f)
for e:f; 0 and consequently, h(e,c):f; U(>o,f) for e:f; O. The solution > =
>t(>o,h(e,c),f), h = ht(>o,h(e,f),c) of system (2.1) that takes the value >o,
h(e,f) at t = 0 satisfies the condition (>o,h(e,f)) E M- and consequently, it
h -
t:::;
0 as long as IIht(>o,h(c,<),<)1I
< <I.
255
for t
the inequality
(5.44)
for these t ~ 0 and cannot leave the domain IIhll
follows that inequality (5.44) holds for all t ~ O.
Letting t tend to
-00
=/: O.
There-
fore, the motion of system (2.1) that starts on the negative semi-trajectory of
the motion
= 1l.
by the relations
for all f E [0, foJ and has the property that the solution
= h( e, f)
of the
equation
(5.46)
where e = (el, ... , en) is an n-dimensional vector in the ball lIell < hI. If fO > 0
and hI > 0 are chosen such that for f E [0, foJ inequality (5.43) holds with
M
all f E [O,fO],
256
CHAPTER 4
IIcll < 61 , and satisfies inequality IIh(c, l-)" < i1 for these i and c.
inequality (5.45) and arguing as for the case p
Using
i1
t
+ "2e-"'Y
< i1
(5.47)
for all t ~ 0, i E [O,iO], IIc" < 61 For a fixed i E [0, iO] the function U1 (4), h, i) is uniformly continuous in
4>, h as it is continuous on the compact set 4> E Tm , "hll :S 61 < i1. Therefore
we can choose 62 = 62 (6t} > such that the inequality
= 4>0 E Tm
and any h
= h o in the domain
(5.48)
which proves that an arbitrary point (4)0, h o) in the domain (5.48) coincides
with the point (4)o,h(C,i)) when c = ho - u1(4)0,h o,i) in the ballllcll < 61 .
Thus, for any point (4)0, ho) satisfying condition (5.48), the solution 4>t =
4>t(4)o,h O,i), h t = ht (4)o,h o,i) of the system of equations (2.1) satisfies the
inequalities (5.47):
(5.49)
for all t
257
o.
Since u( >, t:) E CLip(Tm ) for t: E [0, t:o] and the function u( >, t:) satisfies
inequality (2.7) for r = 1, the set of points (>o, h o) satisfying condition (5.48),
where >o ranges over Tm contains for some d = d(h 2 ) > 0 ad-neighbourhood
of the torus h = u(>,t:), > E Tm . Thus, inequalities (5.49) hold for solutions
>t, h t that start at points of this neighbourhood. Letting t tend to +00 in
inequalities (5.49) we see that the w-Iimit points of the semi-trajectory of the
motion >t, h t belong to the invariant torus (2.6) of system (2.1).
None of the a-limit points of the semi-trajectory of the motion >t, h t
belongs to the torus (2.6). Indeed, if this is not so, then there exists a sesuch that all the points (>t n , h tn ) of the motion >t = >t(>o,ho,t:), h t = ht(>o,ho,t:) with fixed initial point (>o,h o) in
the d2 (h 2 )-neighbourhood of torus (2.6) belong to this neighbourhood for all
quence t n
-+ -00
as n
-+ 00
>t(>tn,htn,t:), h t
Since >l(>tn,htn,t:)
follows that
for all t
= >l+ln(>o,ho,t:),
= 1,2,....
> 0 and n
hl(>tn,htn,t:)
= ht+tn(>o,ho,t:) it
for t E [tn,+oo) (n
= 1,2 ...).
= >t(>o,ho,t:),
ht =
ht(>o, h o, t:) of system (2.1) satisfies the inequality IIhtll < t:l, for all t E R. As
was proved earlier, such a motion takes place on the invariant torus (2.6). This
contradicts the fact that the point (>o, h o) does not belong to this torus.
Thus torus (2.6) has a compact neighbourhood that contains neither whole
trajectories nor motions having a-limit points on this torus. By Theorem 3 of
2.2, this means that the torus (2.6) considered as an invariant set of system
(2.1) is stable. The limit relation necessary for torus (2.6) to be asymptotically
stable follows from the fact that all the w-limit points of the motions >t, h t
that start in the d(h 2 )-neighbourhood of torus (2.6) belong to this torus. This
completes the proof that invariant torus (2.6) of system (2.1) is asymptotically
invariant for p
= n.
Theorem 2 is proved.
258
CHAPTER 4
4J E Tm , and
matrix S(4J), 4J E Tm , we see that finding the ratio (3/Jl is simpler in practice
than finding the number /.
We set
0'0
of the matrix
! [&a~~
cf
Pd4J) + P;l(J)]
-P2 (J) - P;(J)
(5.51)
necessary for it to be a negative-definite matrix, condition (5.24) holds whenever (3 > rO'o for r
for J E Tm
4.6. An estimate of the smallness of a perturbation
and the maximal smoothness of
an invariant torus of a non-linear system
The estimate on how small a perturbation must be so that the statements of
perturbation theory of an invariant torus for the non-linear system (1.2) remain
true is a problem of quantitative analysis of this theory. At present, it is not
well studied and is not very effective from the point of view of applications.
Therefore we shall give only one result of such analysis, namely, conditions for
259
di
where a, P and
dh
= a(, h), di = P(, h)h + f(),
(6.1)
211',
(6.2)
IIhll:::; d, E Tm
and satisfying Lipschitz conditions with respect to , h:
h'IL
(6.3)
= .pErm
max IIf()IL , ',
(6.4)
,80 - 0'0
= 11 > 0
(6.5)
hold.
We set
f-lo
= ,8 +,81A,8o
~o
11
) 1/2
- f-lo
(6.6)
Theorem 1. Let conditions (6.3)-(6.5) hold for the system of equations (6.1).
If
00 :::; ,80 min
(d, ;:
c: -
2~0) ),
h=u(), ETm
(6.7)
260
CHAPTER 4
l/u()1/
~ 60/(30,
C(~)
inequalities
!Flo
d,
for any , ' E Tm . By introducing the distance p(F1 , F 2 ) between the elements
F 1 , F 2 of the set C(~) according to the formula
we turn
C(~)
C(~)
= l~ n~(, F)f(~(dT,
S",(F)
(6.8)
where f() is a solution of the first equation of system (6.1) for h = F()
and
n~(, F)
C(~).
F(t ()))h
T.
(6.9)
I/f() - ['()II
~ II -
I/ +
F(f'()))l/dtl
~ II -
II +
Il
Il
~ II -
II + Il(aollf() - f'()II+
+ad!F(f( - F(['(IDdtl ~
(ao +
al~)IIf() -
261
0'1
[e<ao+a,A)ltl _
0'0 + 0'1~
1] IF(4)) -
= z~.
F(4))lo.
(6.10)
To do this we use
d~:
P(4);(4>),F(4>;(4>)))n~(4>,F) - P(4)[(~),F(4>r(~)))n~(~,F) =
= P(4>; (4)), F( 4>;(4))))Z:+[P( 4>;(4)), F( 4>;(4))))- P(4>[( ~), F( 4>[( ~)))]n~(~, F),
from which (since
Z~ =
1n~(4),
Z; = 0)
it follows that
T,
IIZ~holi ::;
-it
1
0
e.B [.BII4>;(4)) O
f31~)114>;(4)) - 4>;(~)II+
+f3t1F(4)) - F(4))lo]dse.Bo Tllh oll
for
T ::;
O.
262
CHAPTER 4
0:0
+ 0:16..
IIS",(F)II :::;
: :; 1-00
:0 ,
PO
and similarly.
IIS",(F) -
PO -
P,
PO
(6.11)
provided that
.80>
J.l.
Since
PO -
J.l
0:1 (1
+- - - -1)IF(4)) -
J.l
.80 -
p,
.80
F(4))lo,
(6.12)
263
+[(130-2ao)13I+13aI60+
al
>.60]IF(-F(4lo=
130(130 - fJ)
130(130 -fJ)
1
= 130 -
fJ
+ A60 II> x
1
4>11 + 130(130 _ fJ) x
[(130 -
(6.13)
hold, the operator S maps the space C(Ii.) into itself and is a contraction.
It follows from the contraction mapping principle that there exists in C(Ii.)
a unique fixed point F(
= u(
identity holds:
Here
Ilu(4))II:$ 11(4))10/130,
130 :$d,
a l li.<'Y1,
60
1i.(-y1 - alii.)
130:$ 13+ 131 Ii. + A130 =g(Ii.),
60
13o(-Y1 - alii.)
130 < 11131 + 13a1 + >'13oal
(6.14)
Since g(O) = g(-Ydad = 0, g(li.) attains its maximum on the interval 0 < Ii. <
Idal'
Differentiating g( Ii.), we find that
=0
264
CHAPTER 4
~o
g(~)
Now we have
We show that
.80(r1 - 0'1~0)
r1.81 + .80'1 + >".800'1
~0(r1 - 0'1~0)
(6.15)
To do this we use (6.6) to convert the denominator on the left hand side of
inequality (6.15) to the form
0'1(~0
+ po)
>~
(6.16)
0,
~o
- - - > Po -
(2
Po
r1
) 1/2
+ -Po
,
0'1
Since r1
= .80 -
(6.17)
2: r1
= ~o,
265
that is, when inequalities (6.7) hold. Thus inequalities (6.13) hold if the conditions of Theorem 1 are satisfied.
Consider the torus
h
= u(<p) = S</>(u),
<P E Tm.
(6.18)
We claim that it is an invariant set of system (6.1). To see this, consider the
function
where
<p~(<p)
= u(<p).
Since
the equality
holds, therefore
= <p~(<p),
hi
invariant set of system (6.1). Since the function u belongs to the space C(Ll o),
inequalities of Theorem 1 hold for the function u( <p). This completes the proof
of Theorem 1.
We note the two limiting cases for inequality (6.7):
60 $;)omin(d,;:),
a1=0,
Z
60 $ ;)0 min
;)1 = 0,
d~l = W1 + sin(<P1 -
<Pz)lhl,
d<P2
dt
= W2 + cos( <P1 + <P2 )h,
(6.19)
266
CHAPTER 4
The conditions of Theorem 1 hold for this system if the positive parameter
t
d = do = to/2.
(6.22)
fO
do) =
VI + h
1.
= fo/2 ~ 0.05
267
Indeed, the conditions of the theorems in which there is a "loss of smoothness" of the invariant torus, the existence of which is affirmed by these theorems, assume that the appropriate argument is carried out for a bounded subset
of the space cr(Tm ), while the conditions of Theorem 1 of the present section
assume that we work in a bounded subset of the space CLp(Tm). A bounded
set of functions in cr(Tm ) is compact in Cr-1(Tm ), whereas a bounded set of
functions in CLp(Tm ) is compact in Cr(Tm ) and any limit function of this set
belongs to the space CLp(Tm ). Since an invariant torus of the systems under
consideration is defined by a limit function of bounded sets in spaces Cr(Tm )
and CLp(Tm ) respectively, it loses smoothness in the first case but not in the
second.
The above remarks not only explain but also define the conditions under
which it is possible to achieve a maximal smoothness of an invariant torus of the
considered systems. Namely, we have the following statement supplementing
Lemma 1 of 4.1.
Lemma 1. Suppose that the functions a, P and f are defined and periodic
4Jv (v = 1, ... , m) with period 211" in the region (6.2) and have continuous
partial derivatives with respect to 4J, h up to the order r which satisfy a Lipschitz
in
= 0, 1, ...
the system of
equations (1.6) has an invariant torus (1.5) belonging to the space CLip and
satisfying the inequalities
lu i+l ()lr,Lip~A,
where d1 and A are positive constants, d 1
i=0,1,2, ... ,
< d.
If
for every E T m then the limit function u() defines an invariant torus (1.1)
of system (6.1) belonging to the space CLp and satisfying the inequalities
Ilu()/1 ~ d1 ,
lu(4J)lr,Lip ~ A.
268
CHAPTER 4
with respect to 4>, h up to order I that are continuous in 4>, h, { and that these partial derivatives satisfy Lipschitz conditions with respect to 4>, h for all 4>, h, ( in
the region (2.2), where the Lipschitz constants K/
with respect to 4>, h of the functions a( 4>, h, () - a( 4>, h, 0), P( 4>, h, () - P( 4>, h, 0)
and 1(4),{) tend to zero as
{->
O.
Suppose further that the inequalities (3.10) and (5.24) hold for r = 1+ 1.
If I ~ I, then there exists a sufficiently small (0
> 0 such
system (2.1) has an invariant torus (2.6) with function u belonging to the space
luh,Lip
:s Kl/h,Lip,
means of the operator T NN defined by the Nash kernel [161] and obtain the
system of equations
(6.23)
where
II h ll
= d'(N)
:s d',
4> E Tm , {E [O,fO],
(6.24)
->
269
and the partial derivatives of the functions aN, PN and IN with respect to l/J, h
up to order 1+ 1 are continuous in l/J, h, ( in the region (6.24) and satisfy the
inequalities
(6.25)
I and
= (o(No) > and sufficiently large No, there exists an invariant torus
(6.26)
of system (6.23) with function UN belonging to the space GLp(Tm ) and satisfying the inequality
where
J( 2
No, No
+ 1, ...).
ETm
270
CHAPTER 4
This suffices to prove that the invariant torus (2.6) of system (2.1) satisfies the
conditions of Theorem 2, and so completes its proof.
Remark. The theorems on the compactness in Gr-l(D) of any bounded subset
[50].
4.7. Galerkin's method for the construction of an invariant torus of
a non-linear system of equations and its linear modification
(7.1)
The function u(4)) defining the smooth invariant torus (1.1) of system (1.2) is
a solution of the equation
(7.2)
L(u)u=f,
=L
W~N)ei(k,</,
4> E Tm ,
(7.3)
\Ik\lSN
the coefficients W~N) of which are solutions of the system of non-linear algebraic
equations:
i=I,2, ... ,
(7.5)
271
and take the Njth linear Galerkin's approximation to the solution u(t/
vj{t/
(7.6)
Uk ei (k.4,
II k ll:;Nj
where the coefficients
Uk
equations
= f(lfJ)
(7.8)
L(O)
{).
= I>v(t/>,O) 8v
- P(t/>,O),
11=1
and they t.urn out to be inequalities of the form (14.21) or (14.21) for the
coefficients of the operator L(O) in the previolls chapter.
The proof of this fact relies on Moser's lemma [89], a particular case of
which is given below.
Lemma 1. Let a() and P() belong to the space Cr(Tm ). If inequality (14.21)
of Chapter 3 holds, then for an arbitrary u E Cr+l(Tm ) we have the following
inequalities
(Lu,u)o
2 'YlluI16.
(Lu,u).
",
(7.9)
v==l
2 L:~~I lavb +
2 2, 1:S s :s r.
IPh + luli,
272
CHAPTER 4
The proof of Lemma 1 will be given later, but here we use it to substantiate
the linear modification of Galerkin's method.
Theorem 1. Let the functions a and P be defined in region (1.3) and have
continuous partial derivatives with respect to 4J, h up to order r. Suppose that
the inequalities (14.21) of Chapter 3 hold for a(4J) = a(4J,O), P(4J) = P(4J,O),
and for s
=and s = r.
If
r>m/2+1,
then for any M
>1
1~2,
f E Hr(Tm ) and
IIfllr ~
(7.10)
p"
then thl'. linear Galerkin approximations Uj (4J) exist for any j = 1,2, ... and
converge in H'(Tm ) n C/(Tm) for s
<r
where C
= const,
(fi
(7.12)
j=I,2, ... ,
N-(r-l)M-v
= "'=
LJi=i LJv=O
i-v
.
",i
tu
and
= f(4J).
(7.13)
=L
m
v=!
-60 (1
v=!
= 1, ... , r,
f.
273
By applying
estimate (3.4) of Chapter 1 to the functions a v ( 1', fW( 1' and P( 1', fW( 1', the
above inequalities become
(L(fW)U, u)o ~
(L(fW)U,U).
,lIulI5,
~ ,lIulI; -
8(1
(7.14)
+ fllwll.)2,
f.
UI(1').
= Lllkll~N !kei(k,q,).
!(1') :=
Inequalities
(7.14) for the operator L(O) guarantee that equation (7.15) can be solved and
that its solution
UI
(1')
lIulli.
cll!II.,
= 0, ... , r,
(7.16)
f.
Let r > p > m/2 + 2. By the first Sobolev theorem given in 1.2 and the
estimates in 1.3 we obtain from inequality (7.16) the estimate
where
CI
f.
lUI
b~
inequalities (7.14) for W = Ul' This guarantees that the approximation U2(
where s
= 1, ... , r.
274
CHAPTER 4
1(
2"
1+
fy)-l ,
:;
(7.19)
Taking into account the estimate (7.16), the second inequality of (7.18) leads
to the inequality
(7.20)
if 61 satisfies not only inequality (7.19) but also the inequality
(7.21)
Inequalities (7.18), (7.20) lead to the estimate
,1-p/r
Then the operator L(W2) is defined for all ( E [0, (0] and satisfies in-
= EllkllSN
U2.
IIU3110 ~
IIflloh,
IIU3112 ~ c111u311p
lIu311;
61(1 + ( + (2),
~ 2c1I1u311~-p/rOllu311~/r ~
,1-p/r
275
pl
2ClCr/r(1 + fO + (5) r II/Ill-pir < l.
l
plr
I 0It is easy to prove by induction that the approximation
Uj (t/J)
Uj (t/J)
exists for
lIuili. ~
for all
Cl
Lf
v=o
l!Plr (2c 1 6r /r
j-l
(L f~ fir) II/II~-plr ~ l.
v=o
(7.22)
Since fO < 1/2, inequalities (7.19), (7.21) and (7.22) hold provided that
the function /( t/J) satisfies the inequalities
11/110 ~
II/II. ~ max{~,
where s
= 1, ... , r, and Cl
[Cl -
26
r( 1 + r) ]I
(7.23)
2
},
2c ( 1+ C) <6 1 .
-:;
(7.24)
When inequalities (7.23), (7.24) hold, the approximations Uj(<jJ) are defined for all
fO
inequalities
(7.25)
for all j = 1,2, ... and s = 1, ... , r.
(<jJ)
Uj+l(<jJ) - Uj(<jJ) satisfies the
(j
= 1,2, ... ).
equation
Uj
276
CHAPTER 4
1]110.
(7.26)
The first term on the right hand side of inequality (7.26), which we denote
by II, admits the estimate
1I 5 f=11[all(lCUj) 11=1
all(,{Uj_l)]~;: 110 +
C2, C3
and
C4
Let
0'
<{C2
_ -
= c4(1 + bdh.
'
11 w; 11 0
+ c4(1+bI)N-(r-l)
j '
1
(7.27)
For all { E [0, {oJ we obtain from inequality (7.27) the estimate
II .
~ N-:(r-l)M+ II wM;lllo -< 0' L.J
~ N-:-(r-l)MIl ;+1 II 0 -< 0' L.J
;-11
;-11
w'
1I
11=0
11=0
(j
= L.J
~ ~ N-:(r-l) M-II
L.J ;-11
j=O 11=0
= 1.lim
.....
00
277
Uj
(7.29)
where
Uj
For s
Uj
( (j
= 1,2, ...) is
< r. Then
> m/2+1 we have the inclusion H'(Tm ) C C/(Tm ) and the estimate
(7.30)
= p.
>
+I(E - SNj+.)[L(wj)Uj+l -
/llo
$ C6[1Uj - uOlo+
= 1,2, ....
and
C7 = 4 + r 2
= UO( = UO(>,)
is a
considered by us.
equal to
0,
278
CHAPTER 4
side of equation (7.13) with < = <0 by making inequalities (7.11) hold for the
right hand side of equation (7.2) with some small positive fl = fl(M). Then the
= <OUj(>,<o) = <OUj(
functions Uj(
to a solution of equation (7.2) and satisfy all the conditions of Theorem 1 since
(initial u) = < (new u).
To complete the proof of Theorem 1 it remains to verify the convergence
of the series
(7'
arbitrary M
> 1.
Nj
and so
(7'
j=O,I,oo.,
~j+l,
00
""
"" (j + 1 ~~
1I)r-1M"
= (7'0,
00
00
<
- ""
LJ -Mil ""
~ (j + l)r-l -< -M
11=0
)=0
for any n
Moo
-
1 ""
LJ (j + 1)1+m/2 -)=0
M
M -c
1
1 and an arbitrary M
theorem.
It should be noted that estimate (7.12), which characterizes the rate of
Nj
(j = 1,2, ...)
and the number AI. By changing them we can control the rate of convergence.
In particular, if
j+l
= 1,2, ....
279
and M:
. _
uJ
~ ~ N-II(r-l) N(II-i)(r-l)
L..J L..J
i=j 11=0
- L..J
i=j
i+1
< 2(j + 1)
Ni(r-l) -
N(r-l)j'
Uj
to
Theorem 1 simplifies the problem of the justification of Galerkin's procedure for the construction of the invariant torus (1.1) of system (1.2). The
following statement holds [119].
Theorem 2. Suppose that the conditions of the previous theorem hold. Then
equality (7.11) holds, then the Galerkin approximations WN() exist for any
= 1,2, ...
r to a function
u()
(7.31)
where G = const.
Proof. Consider equation (7.13). The Galerkin procedure defines the Nth ap-
proximation WN() to its solution u() E G1(Tm ) as the trigonometric polynomial (7.3) satisfying the equation
(7.32)
To solve equation (7.32) we use a linear modification of Galerkin's procedure, according to which we define the approximation Wk() to the solution
II k ll$N
W~~1ei(k,4,
w,Z. = 0,
by
280
CHAPTER 4
SNL({Wlv- )Wfv()
= SN f(),
= 1,2,....
(7.33)
Equation (7.33) has the form of the equation considered in the proof of
the previous theorem. According to this theorem, the approximations Wj".()
exist for any j
similar to (7.25):
for all j = 1,2, ... , s = 1, ... ,r, { E [0, (0] when (0 > 0 and IIfllo are sufficiently
small. An estimate of the difference Vj,/I() = Wj".+I() - Wj".() satisfying
the equation
shows that
(0
= 1,2, ... ,
> O.
-> 00
WN()
00.
= 1,2, ...)
(7.35)
norm as
when s < r. On passing to the limit we see that the limit function
= .lim
;->00
similar to (7.34):
for s
= 1, ... , rand ( E [0, (0] when (0 > 0 and Ilflio are sufficiently small.
Estimating the difference Wj".+I() - Wj".() with respect to the H(Tm )
norm, we obtain
. ,
rll Wlv+ I-
Wlvllo:S
'-1
'-I
'-I
i-1
- II'V
<
_ CI(
Y N+I
Wi-III
- N-(r-I) ,
N
a + C3
where the constants CI and C3 do not depend on j and {. The last inequality
shows that
(7.37)
where
(;4
281
u( 4 = uO( 4 = uO( 4>, e) and taking into account the relationship between the
solutions of equations (7.13) and (7.2).
As for the case of Theorem 1, inequality (7.31) implies the following estimate for the difference u(4)) - WN(4)) with respect to the C/(Tm ) norm:
lu where r
I<
W N /_ CN-(r-1)(1-p/r) ,
and
C is
= 1,2, ... ,
a constant independent of N.
()
= 2: av (4))"" v=l
P(4)).
=1
(8.1)
la v 11 + IPh.
(Lu,
uh 2: Iliulli -
{)
(2: lIa
v=l
(Lu,u),
= (Liu,u)'_l +4>,(u),
(8.2)
282
CHAPTER 4
where
L~
-Hp
where 8' is a positive constant which depends on L:::;'=1 la v l2 + 1P11, and Gis
a positive constant independent of u and the coefficients of L 2 The operator
= 0, _. _, s -
estimate
m
II D - i Avi Diullo
~ G (2:
vJ=l
IAvi 10 + lulo)
v=1
v,i=l
(2:
vJ=l
IIAvi II.
+ /lull.) ~
v,i=l
II av 112p+1
(L 2 u, U).-l
~ r; lI ull; -
81
(8.3)
where
1~
283
Let s - 1 = 2p + 1. Then
v=1
v=1
~ 12I1ull~p+2 -
62
= 2, ... ,p the
j'F'
+ l: l: IIDi(D2av)Dj(Du)lIo] lIull.,
2+i+j~.
where c
= const.
(8.4)
= p + 1.
p+ 1 we
have
1/
CHAPTER 4
284
2
L II Di (D a,,)lY(Du)lIo
i+j~p-l "
L
i
IID P Dju llo+
L
i+j~p+l
i~lJ~2
i
IID PlYullo+
i+j~p+l
i~l
]lI
i 2
L
LIID (D a,,)lY(Du)lIo u IIP+1'
i+j<p-l "
j~l
+IIDiPLYullo)
L
i+j~p-l
LIIDi(D2a,,)LY(Du)lIo]lIullp+l'
"
(8.5)
i+j~p-2
~c[
2:
LIIDi(D2a,,)Dj(DZu)lIo]lIullp+1~
"
(2:IIDia"Djullo+IIDiPLYullo)+
"
i+j~p+l
jp+I
L
i+j~p-l
i
2
LIID (D a,,)lY(Du)lIo]lI u llp+l'
"
(8.6)
Estimate (8.4) for the functional fP p+ 1 (u) follows from inequalities (8.5)
and (8.6).
It follows from the calculations in 3.15 for s = 2 that
~ oP ou
+2 LJ o</J' o</J.
j
+ (~P)u,u
)
1
c[ L
i+j~Z
#2
( L IID a"LYullo
"
+ IIDi PlYullo) +
2: IIDza"Dullo] lIullz,
"
where c
= const.
285
~
2.
[IiDiavLYullo
+ IIDi PLYullol:::;
i+i~'
[IiDiavLYull+
i+i~.-l
#.
+IIDi PDiuliol +
L:
i+i=-2
[II Di (Dav)LY(Du)lIo+
L:
+ lIull.-d,
i+j~.-2
we obtain for
<fl. (u)
the estimate
1<fl.(u)1 :::; C. (L: la v 12 + IPh + lull) (L: lI avll. + IIPII. + lIull.-l) lI ull.,
v=l
v=l
where C. does not depend on a, P or u.
The last estimate together with estimate (8.3) proves that
(Lu, u).
where i and
~ illull; -
> 0,
286
CHAPTER 4
= w(,X,t"),
dx
di =
X(,X,f),
(9.1)
ETm ,
= 1, ... , m)
and is periodic in v (v
= u():
fE[O,fO]
(9.2)
X(, u(),O)
= 0,
E Tm
(9.3)
= u(),
E Tm ,
u E C(Tm
(9.4)
).
Cr(Tm ).
Ifr
= 8X(,u(),0)/8x
tion
(9.5)
where T() E cr-1(Tm
such that for any ( E [0, (0) system (9.1) has an invariant torus
(0
>0
287
-0
(9.6)
and this torus is exponentially stable when PC~ = -T(D1 (T- 1 (, and
is unstable when PC~ ::j; -T(D 1 (T-l(. When r ~ 3, this torus is
exponentially dichotomous.
h,
Proof Under the above assumptions on the variables > and x - u(
system (9.1) takes the form of system (2.1) in which the functions a, f and the
matrix P defined in the domain (2.2) for sufficiently small d > 0 and EO > 0 have
partial derivatives with respect to >, h up to order r-l which are continuous in
>, h, (. Here the system of variational equations corresponding to the invariant
torus (9.4) of the generating system of equations has the form (2.5) with ao = 0
and
poe~
pc~
= oX(>,u(,O)jox.
cr-l (Tm ) C Cl (Tm ). Moreover, under the assumptions concerning the matrix
PC~
we have:
lI eP(.p)(t-T)C(1I
for all t
for all t
~ T
and
~ T
and
I(l e -""'Il(t-T)
E R,
E R, where
1(1,1<2,/1
= 0 is
and unstable
otherwise) .
The derivative of the matrix eP(.p)t with respect to the variable >" (/I
oeP(.p)t
-I
a>" -
P(.p)(t-T)OP(
e
o>" e
P(,p)Td
T
(9.7)
288
CHAPTER 4
for all t E Rand </J E Tm . If we replace the matrix P(</J) by the matrix - D 1(</J)
in (9.7) we find that
II {)e~:~()t II ~ I<;
<
-
it
e--r.<t-T) II
y21 ()D1(</J)
Ite--r,t
()</Jv
\1
()~~:</J) Ile--r'T dr ~
t 2::
'
o.
(9.8)
= 1, ... ,m).
Theorem 2 of 4.5 hold for system (9.1) written in terms of the variables ,
x - u()
It should be noted that the statements of Theorem 1 remain true when the
matrix P(</J) has the representation (9.5) with the matrix T(</J) whose period
= p'IjJ
equations to a system of equations of the same kind, but now satisfying all the
conditions of Theorem 1.
Then the system of equations (9.1) has an invariant surface
x
( A.)
U '1',(,
A.
'I'
E Rm ,
(9.10)
where the function u( </J, () has period 27rp with respect to </Jv (v
Since the right hand side of system (9.1) is periodic in v (v
= 1, ... , m).
= 1, ... , m) with
(9.11)
where k
289
lI u(,()-u(+2k7r,()1I
~
where 1J()
lIu(, () - u()11
---+
0 as (
---+
+ lIu( + 2k7r, () -
u( + 2k1r)1I
1J(),
and Theorem 2 of 4.5, the invariant set (9.10) of system (9.1) has the stability
or instability property that there are no whole trajectories of system (9.1) in
some b-neighbourhood of it which does not depend on (. For sufficiently small
(0
> 0 we have the inequality 7]() < b for all ( E [0, (0], and this leads to the
identities
u(,()=u(+2k1r,(),
for all integer k
= (k
1 , . .
ER m
(9.12)
di
where r
= X(r,x),
(9.13)
= a.
Theorem 2. Let the right hand side of the system of equations (9.13), defined
in the domain
XED,
r E R,
(E [0, (0],
be periodic in r with period 211" and have derivatives up to order r which are
continuous in r, x. Suppose that the equation
X(r,x)=O
has a solution
x=u(r), rE[O,211"1
that is periodic in r with period 211", some neighbourhood of which lies in the
domain D, the function u(r) having continuous derivatives with respect to r
up to order r.
290
CHAPTER 4
If r
{}X(r,u(rj{}x are non-zero for all r E [0,211"], then there exists a sufficiently
small {o >
such that for any { E (0, {oj system (9.13) has a solution
x=x(r,{),
which is periodic in r
=d
r={t
(9.14)
(-+O
Furthermore, this solution is asymptotically stable if the real parts of the eigenvalues of the matrix P( r) are negative and is unstable otherwise.
To prove Theorem 2 we further note that x( T, {) is a solution of the equation obtained from (9.13) by substituting d
T for t. Thus, the function
x( r, {) is r
+ 1 continuously differentiable
I. Ir-2,Lip
by
I . Ir-1
for
where a(T), j3( T), f( T) are twice continuously differentiable functions which are
= fer),
= 0,
= [0,211"],
per) = [ 0
-1
1
] .
a(r)(1 - j3(T)f2(r
r E [0,211"],
(9.16)
T E [0,211"].
(9.17)
291
>0
X=X(1',C),
1'=d
(9.18)
l'
inequalities (9.17) hold, then it has an unstable solution (9.18), and this solution
satisfies the condition
=0
<-0
in both cases.
2. Periodic systems
0/ equations
dx
di =
(9.19)
l'
t E H,
l'
(9.20)
ER
l'
has a solution
X=U(t,1')
for all
l'
(9.21)
with period 27T. We write down
and denote by
n~( 1')
l'
= const:
(9.22)
= O.
Theorem 3. Let the right hand side of system (9.19) be r times continuously
differentiable with respect to t,
T
T, X
= const
solution (9.21) of system (9.19) lies in the domain D for all (t, 1') E R x Rand
that
E C r (72).
292
CHAPTER 4
If r
not intersect the unit circle and do not encircle the origin of the complex plane
when r E [0,271"], then there exists a sufficiently small {o
= tt
= x(t, r,{), r = tt
with period 271" and satisfies the condition
(-+0
= 0;
nij" (T) lie inside the unit circle with centre at the origin and is unstable if there
are eigenvalues lying outside this circle.
Proof Using the coordinates <fJ = (0, T), x - u(O, T) = h, we rewrite system
(2.1) in the form of system (9.19), where a
and having partial derivatives with respect to <fJ, h up to order r - 1 which are
continuous in <fJ, h, {.
The system of variational equations corresponding to the invariant torus
x - u(<fJ)
= h has the
dt
where
= aX(t + 0, T, u(t + 0, T h
ax
(9.23)
nM r) of solutions
nt(O, T)
= n~+9(T)
293
where 4>(t, r) is a real periodic matrix with respect to t with period 411", 411" H( r)
is the real branch of the logarithm of the matrix [n~"'(r)j2:
H( r)
1
=~
In[n~'' (r)]2 = -4
In n~'" (r).
411"
11"
where T( r) is a real matrix that is periodic in r with period 411" and has continuous derivatives withe respect to r up to order r -1, and D1(r) and D 2(r)
are matrices, the real parts of the eigenvalues of which are positive for all
r E [0,411"].
The matrix eH(T)t can be represented as
eH(T)t = T(r)diag{e- D1 (T)t,e D ,(T)t}T- 1(r),
where for all r E [0,411"]
lIeD2(T)tll
:S K 2e "Y2 t , t:S 0,
294
CHAPTER 4
e-D1(T)t
n~(B, r)C(B,
r) by
5(0, r)
[0,411"1 x [0,411"].
This is sufficient for syst.em (9.19), written in terms of the variables tj> =
(B,T),
X -
u(B,r)
= h,
d2x
dx
(9.24)
dt 2 +V.(r)dt"+n (r)x=F(r)coswt,
where A( r), n( T) and F( T) are periodic functions in T = ft with period 211" which
# 0,
n( T) # for
all T E [0,211"]. In terms of the variables x, y = dx/dt we can write equation
x=u(t,r)=
a(r)
= tan
-I
F(T)Cos(wt-a(r
,
.j[n 2 (r) - wZ]2 + 4W 2 A2 (T)
2wA(r)
2()
2'
T -w
r E [0,211"],
(9.25)
= -A(r) .jV(r) -
n 2 (r),
r E [0,211"],
295
X=X(t,T,f)
that is periodic in t and
=d
lim Ix(t,
<-0
T,
f) - u(t, T)ll = O.
This solution is asymptotically stable for ..\(T) < 0 and unstable for ..\(T) > O.
Bibliography
1. p.s. Aleksandrov, Combinatorial topology, Gostekhizdat, Moscow, 1947 (in
Russian).
2. A.A. Andronov, Collected works, Izdat. Akad. Nauk. Moscow, 1956 (in
Russian).
3. A.A. Andronov and A.A. Witt, 'On quasi-periodic motions'. In: Collected
works of A.A. Andronov, Izdat. Akad. Nauk SSSR, Moscow, 1956 (in Rus-
sian).
4. - , -
Russian).
5. V.1. Arnol'd, 'Small denominators I: On the mappings of a circle onto
itself', Izv. Akad. Nauk SSSR Ser. Mat. 25:1 (1961),21-86.
6. - , 'Small denominators. A proof of A.N. Kolmogorov's theorem on conservation of conditionally periodic motions under a small change of the
Hamiltonian', Uspekhi Mat. Nauk 18:5 (1963), 13-40.
7. - , 'Small denominators and the stability problem in classical and celestial
mechanics', Uspekhi Mat. Nauk 18:6 (1963),91-192.
8. - , Mathematical methods in classical mechanics, Nauka, Moscow, 1974
(in Russian).
BIBLIOGRAPHY
298
13. -
larly perturbed systems using the integral manifold method', Ukrain. Mat.
Zh. 22 (1970), 3-11.
16. -
of the zero solution of a system of ordinary differential equations', Differentsial'nye Uravneniya 3 (1967),1864-1881.
25. P.G. Bol, Collected works, Akad. Nauk Latv. SSR, Riga, 1961 (in Russian).
26. H. Bohr, Almost periodic functions, Gostekhizdat, Moscow-Leningrad, 1934
(in Russian).
27. I.Yu. Bronshtein, Extensions of minimal transformation groups, Shtiintsa,
Kishinev, 1975 (in Russian).
BIBLIOGRAPHY
299
28. - , 'Weak regularity and Green's functions of a linear extension of dynamical systems', Differentsial'nye Uravneniya 19 (1983), 2031-2038.
29. -
36. V. Vazov, Asymptotic expansions of solutions of ordinary differential equations, Mir, Moscow, 1968 (in Russian).
Russian).
39. F.R. Gantmakher, Theory of matrices, Nauka, Moscow, 1967 (in Russian).
40. V.L. Golets, 'On the perturbation problem for a stable invariant torus of
a dynamical system', Ukmin. Mat. Zh. 23 (1971), 130-137.
41. Eu.A. Grebenikov and Yu.A. Ryabov, Constructive methods of analysis of
non-linear systems, Nauka, Moscow, 1979 (in Russian).
42. Yu.L. Daletskii and M.G. Krein, Stability of solutions of differential equations in Banach space, Nauka, Moscow, 1970 (in Russian).
300
BIBLIOGRAPHY
44. P.P. Zabreiko and S.O. Strygina, 'Cesari's equalities and Galerkin's procedure for finding periodic solutions of ordinary differential equations', Dokl.
Akad. Nauk Ukrain. SSR Ser. A 7 (1970), 583-586.
45. K.V. Zadiraka., 'On the integral manifold of a system of differential equations containing a small parameter', DoH. Akad. Nauk SSSR 115 (1957),
646-649.
46. V.1. Zubov, Lyapunov's methods and their applications, Leningrad State
Univ. Press., Leningrad, 1957 (in Russian).
55. -
56. -
58. V.L. Kulik, 'Quadratic forms and dichotomy of solutions of linear differential equations', Ukrain. Mat. Zh. 34 (1982), 43-49.
BIBLIOGRAPHY
301
302
BIBLIOGRAPHY
76. Yu.A. Mitropol'skii, Non-stationary processes in non-linear oscillatory systems, Izdat. Akad. Nauk Ukrain. SSR, Kiev, 1955 (in Russian).
78. - , 'An accelerated convergence method in problems of non-linear mechanics', Funkcialaj Ekvacioj 9 (1966), 27-42.
79. - , 'On the construction of solutions and the reducibility of differential
equations with quasi-periodic coefficients', In: Third USSR Congress on
Theoretical and Applied Mechanics, Nauka, Moscow, 1968, pp. 212-213
(in Russian).
80. -, The averaging method in non-linear mechanics, Naukova Dumka, Kiev,
1971 (in Russian).
81. -
anics', In: Methods of integral manifolds in non-linear differential equations, Inst. Mat. Akad. Nauk Ukrain. SSR, Kiev, 1973, 5-31.
Preprint No. 14, Inst. Akad. Nauk Ukra in. SSR, Kiev, 1977.
86. - , -
quadratic forms', Preprint No. 10, Inst. Mat. Akad. Nauk Ukrain. SSR,
Kiev, 1982.
87. - , - and D.l. Martynyuk, Systems of evolutionary equations with periodic
and conditionally periodic coefficients, Naukova Dumka, Kiev, 1984 (in
Russian).
88. - , -
BIBLIOGRAPHY
303
90. - , 'On the decomposition of conditionally periodic motions into convergent power series', Uspekhi Mat. Nauk 24:2 (1969), 165-211.
91. - , Lectures on Hamiltonian systems, Mir, Moscow, 1973 (in Russian).
92. Yu.I. Neimark, The method of point mappings in the theory of non-linear
oscillations, Nauka, Moscow, 1972 (in Russian).
93. V.V. Nemytskii, 'Oscillations in autonomous systems', In: Fifth Summer
Math. School, Naukova Dumka, Kiev, 1968,436-472 (in Russian).
94. - and V.V. Stepanov, Qualitative theory of differential equations, OGIZ
GITTL, Moscow-Leningrad, 1947 (in Russian).
95. G.S. Osipenko, 'Perturbations of dynamical systems near invariant manifolds' I, Differentsial'nye Uravneniya 15 (1979), 1967-1979; II 16 (1980),
620-628.
96. N.A. Perestyuk, 'Invariant sets of one class of discontinuous dynamical
systems', Ukrain. Mat. Zh. 1 (1984),63-69.
97. A.I. Perov, Variational methods in the theory of non-linear oscillations,
Voronezh Univ. Press, Voronezh, 1981 (in Russian).
98. V.A. Pliss, 'The reduction principle in the theory of stability of motion',
Izv. Akad. Nauk SSSR Ser. Mat. 28 (1964),1297-1324.
99. - , Non-local problems in oscillation theory, Nauka, Moscow-Leningrad,
1964 (in Russian).
100. H. Poincare, On curves defined by differential equations, OGIZ GITTL,
Moscow-Leningrad, 1947 (in Russian).
101. - , Collected works, I, II, Nauka, Moscow, 1971, 1972 (in Russian).
102. C. Pugh, 'A closure lemma', Matematika 12 (1968), 80-135 (in Russian).
103. A.M. Samoilenko, 'On the structure of trajectories on a torus', Ukrain.
Mat. Zh. 16 (1964),769-782.
104. - , 'On the reducibility of a system of ordinary differential equations in a
neighbourhood of a smooth toroidal manifold', Izv. Akad. Nauk SSSR Ser.
Mat. 30 (1966), 1047-1072.
105. -, 'On the reducibility of systems of linear differential equations with
quasi-periodic coefficients', Ukrain. Mat. Zh. 20 (1968), 279-281.
106. - , 'On the preservation of an invariant torus under perturbations', Izv.
Akad. Nauk SSSR Ser. Mat. 34 (1970), 1219-1240.
304
BIBLIOGRAPHY
109. - , 'On the exponential stability of an invariant torus of a dynamical system', Differentsia/'nye Uravneniya 11 (1975), 820-834.
110. - , 'Quasi-periodic solutions of systems of linear algebraic equations with
quasi-periodic coefficients'. In: Analytical methods of study of solutions of
non-linear differential oscillations, Inst. Mat. Akad. Nauk Ukrain. SSR,
and V.L. Kulik, 'On t.he problem of the existence of a Green's function
for the invariant torus problem', Ukrain. Mat. Zh. 27 (1975), 348-359.
117. -
BIBLIOGRAPHY
305
systems with instantaneous change', In: Integral manifold method in nonlinear differential equations, Inst. Mat. Akad. Nauk Ukrain. SSR, Kiev,
1973, 262-273.
121. -
133. A.N. Filatov, Asymptotic methods in the theory of differential and integrodifferential equations, FAN, Tashkent, 1974 (in Russian).
306
BIBLIOGRAPHY
141. L. Cesari, Asymptotic behaviour and stability problems in ordinary differential equations, Springer-Verlag, Berlin, 1963.
142. A. Besicovitch, Almost periodic functions, Cambridge Univ. Press, Cambridge, 1932.
143. H. Bohr, Collected mathematical works. II. Almost periodic functions,
Copenhagen, 1952.
144. L. Cesari, 'Functional analysis and periodic solutions of non-linear differential equations', In: Contributions to differential equations, New York,
1963, pp. 148-187.
145. S.P. Diliberto, 'An applicat.ion of periodic surfaces', In: Contributions to
the theory of non-linear oscillations, Princeton Univ. Press, Princeton,
146. - , 'Perturbation theorems for periodic surfaces I, II, Rend. Circolo Mat.
Palermo 9 (1960),265-299; 10 (1961), 111-161.
BIBLIOGRAPHY
307
152. M.W. Hirsch, C.C. Pugh and M. Shub, Invariant manifolds, Lecture Notes
in Math. 583, Springer, Berlin, 1977.
153. J. Kyner, 'Invariant manifolds', Rend. Circolo Mat. Palermo 9 (1961), 98110.
154. I. Kupka, 'Stabilite des varictes invariantes d 'un champ de vecteurs pour
les petites perturbations', C.R. Acad. Sci., Paris, 258 (1964),4197-4200.
155. Lord Rayleigh, 'On maintained vibrations', Philosophical magazine 15
(1883), 229.
156. J. Moser, 'A new technique for the construction of solutions of non-linear
differential equations', Proc. Nat. Acad. Sci. 47 (1961), 1824-2831.
157. - , 'On invariant curves or area-preserving mappings of an annulus', Nachr.
Akad. Wiss. Gottingen, lIfath .. Phys. lla (1962), 1-20.
158. - , 'On invariant surfaces and almost periodic solutions for ordinary differential equations', Notices Amer. Math. Soc. 12 (1965), 124.
159. - , 'A rapidly convergent iteration method and non-linear differential equations', Ann. Scuola Norm Sup. Pisa 20:3 (1966), 499-535.
160. - , 'Convergent series expansions for quasi-periodic motions', Math. Ann.
169 (1967), 136-176.
161. J. Nash, 'The imbedding problem for Riemannian manifolds', Ann. of
Math. 63 (1956), 20-63.
162. L. Nirenberg, 'On elliptic partial differential equations', Ann. Scuola Norm.
Sup. Pisa 13:11 (1959), 115-162.
163. R.J. Sacker, ' A new approach to perturbation theory of invariant surfaces',
Comm. Pure Appl. Math. 18 (1965),717-732.
164. - , 'A perturbation theorem for invariant manifolds and Holder continuity',
J. Math. Mech 18 (1969),705-761.
165. -
308
BIBLIOGRAPHY
167. G.R. Sell, 'The Floquet problem for almost periodic linear differential equations', Lecture Notes in Math. 415, Springer, Berlin, 1974,239-251.
168. F.R. Sell, 'Bifurcation of higher dimensional tori', Arch. Rational Mech.
Anal. 69 (1979), 199-230.
169. Y. Sibuja, 'Some global properties of matrices of functions of one variable',
Math. Ann. 161 (1965),67-77.
170. M. Vrabe, 'Existence theorems of quasi-periodic solutions to non-linear
differential systems', Funkcialaj. Ekvacioj. 15 (1972), 75-100.
171. - , 'On a modified Galerkin's procedure for non-linear quasi-periodic differential systems', In: Equations difTerentielles et fonctionelles non-lineaires, Paris, 1973, 223-258.
172. H. Weyl, '"Uber die Gleichvereilung von Zahlen Mod Eins', Math. Ann. 77
(1916),313-352.
Author Index
A.A. Andronov xii
J. Kyner xiii
A. Besicovich 13, 14
G.D. Birkhoff 97
S. Bochner 20
J. Nash 268
V.V. Nemytskii
P.G. Bol 19
N.I. Neimark
H. Bohr 20, 26
I.V. Bronshtein
Xli
Xlll
L. Nirenberg 8
Xlll
1.0. Parasyuk x
H. Poincare xi, 97
N. Fenichel xiii
C. Pugh xiii, 98
R. Sacker xiii
T. Hale xiii
G. Sell xiv
M. Hirsch xiii
M. Simb xiii
Y. Sibuja 38, 41
V.L. Kulik x
S.L. Sobolev 3, 5
I. Kupka xiii
D.U. Umbetjanov
Y. Kurtsveil xiii
309
Xlll
Index of Notation
C"(Tm ) 1
H"(Tm
P(Tm) 2
H(Tm ) 3
L'.2(Tm ) 3
cr(w) 9
B 2 (w) 14
En ix
Tm ix
Ax. 47
Ox. 47
IT(Mo) 65
zm 80
O~()
O~()
107
113
CLp(Tm ) 117
!J{o 119
Jt 143
1.1+ 134
M- 134
310
Subject Index
adjoint
frame 169
formal 101
extendability of 173
matrix 101
frequency basis 10
maximal 76
real dimension of 71
Birkhoff theorem 97
function
Besicovich 13
100, 158
Borel's theorem 106
Lyapunov 50
of constant sign 50
periodic 1
quasi-periodic 1, 9-37
sign-definite 50
compact set 47
spherical coordinates 25
connected set 47
total derivative of 51
Galerkin
decomposing transformation 93
differential operator 41
elliptic 41
eigenfunction 169
eigennumber 169
coarse 214
eigenvalue 169
first integral 18
Floquet-Lyapunov theorem 292
SUBJECT INDEX
312
manifold 83
asymptotically stable 92, 220
invariance equations 83, 85
separatrix 134, 140, 244
straightened 173, 175, 176
one-sided 49
positively 49
topological 137
stable 49, 57
toroidal 83
unstable 49
invariant torus 88,92,99, 113, 117,
220
degenerate 106, 124
exponential attraction index 221
exponentially dichotomous 100,
121-123,200
non-degenerate 107, 124
smoothness of 258-270
system of variation equations of
93
linear system of equations 99
decomposition of 134
homogeneous 99
invariant torus of 99
non-homogeneous 99
phase space of 134
linearization process 211
Lipschitz constant 216
local convergence 20
loss of smoothness 25
Lyapunov
function 142
theorem 55
local coordinates 88
unstable 92, 220
matricent 107
matrix
block-diagonal form 157
characteristic polynomial of 40
exponential of 38
fundamental 107, 113, 260, 291
Gramm 85,90,175
Jordan form of
134-136, 143,
quasi-periodic 70, 83
recurrent 96
trajectory 40
Nash kernel 268
orthonormal basis 28
SUBJECT INDEX
oscillation
313
Sard's theorem 36
double-frequency 97
multi-frequency 97
30
semi-trajectory 46
single-frequency 97
Ostrogradskii-Liouville theorem 103
periodic basis 28
Poincare-Denjoy theory 97
Sobolev
polynomial
quasi- trigonometric 11
trigonometric 1
triangulation 169
region of attraction 65