Period functions for C⁰- and C¹-flows
Let F:M×R→M be a continuous flow on a manifold M, let V ⊂ M be an open subset, and let ξ:V→R be a continuous function. We say that ξ is a period function if F(x, ξ(x)) = x for all x ∈ V. Recently, for any open connected subset V ⊂ M; the author has described the structure of the set P(V) of all peri...
Gespeichert in:
Datum: | 2010 |
---|---|
1. Verfasser: | |
Format: | Artikel |
Sprache: | English |
Veröffentlicht: |
Інститут математики НАН України
2010
|
Schriftenreihe: | Український математичний журнал |
Schlagworte: | |
Online Zugang: | http://dspace.nbuv.gov.ua/handle/123456789/166183 |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
Zitieren: | Period functions for C⁰- and C¹-flows / S.I. Maksymenko // Український математичний журнал. — 2010. — Т. 62, № 7. — С. 954–967. — Бібліогр.: 19 назв. — англ. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraineid |
irk-123456789-166183 |
---|---|
record_format |
dspace |
spelling |
irk-123456789-1661832020-02-19T01:26:22Z Period functions for C⁰- and C¹-flows Maksymenko, S.I. Статті Let F:M×R→M be a continuous flow on a manifold M, let V ⊂ M be an open subset, and let ξ:V→R be a continuous function. We say that ξ is a period function if F(x, ξ(x)) = x for all x ∈ V. Recently, for any open connected subset V ⊂ M; the author has described the structure of the set P(V) of all period functions on V. Assume that F is topologically conjugate to some C1-flow. It is shown in this paper that, in this case, the period functions of F satisfy some additional conditions that, generally speaking, are not satisfied for general continuous flows. Нехай F:M×R→M — неперервний потік на многовиді M, V⊂M — відкрита підмножина ξ:V→R - неперервна функція. Назвемо ξ функцією періодів, якщо F(x,ξ(x))=x для всіх x∈V. Нещодавно для кожної відкритої зв'язної множини V⊂M автором було описано структуру множини P(V) всіх функцій періодів на V. Припустимо, що F є топологічно спряженим до деякого потоку класу C1. У даній роботі показано, що тоді функції періоду F задовольняють додаткові умови, які, взагалі кажучи, не виконуються для загальних неперервних потоків. 2010 Article Period functions for C⁰- and C¹-flows / S.I. Maksymenko // Український математичний журнал. — 2010. — Т. 62, № 7. — С. 954–967. — Бібліогр.: 19 назв. — англ. 1027-3190 http://dspace.nbuv.gov.ua/handle/123456789/166183 515.145+515.146 en Український математичний журнал Інститут математики НАН України |
institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
collection |
DSpace DC |
language |
English |
topic |
Статті Статті |
spellingShingle |
Статті Статті Maksymenko, S.I. Period functions for C⁰- and C¹-flows Український математичний журнал |
description |
Let F:M×R→M be a continuous flow on a manifold M, let V ⊂ M be an open subset, and let ξ:V→R be a continuous function. We say that ξ is a period function if F(x, ξ(x)) = x for all x ∈ V. Recently, for any open connected subset V ⊂ M; the author has described the structure of the set P(V) of all period functions on V. Assume that F is topologically conjugate to some C1-flow. It is shown in this paper that, in this case, the period functions of F satisfy some additional conditions that, generally speaking, are not satisfied for general continuous flows. |
format |
Article |
author |
Maksymenko, S.I. |
author_facet |
Maksymenko, S.I. |
author_sort |
Maksymenko, S.I. |
title |
Period functions for C⁰- and C¹-flows |
title_short |
Period functions for C⁰- and C¹-flows |
title_full |
Period functions for C⁰- and C¹-flows |
title_fullStr |
Period functions for C⁰- and C¹-flows |
title_full_unstemmed |
Period functions for C⁰- and C¹-flows |
title_sort |
period functions for c⁰- and c¹-flows |
publisher |
Інститут математики НАН України |
publishDate |
2010 |
topic_facet |
Статті |
url |
http://dspace.nbuv.gov.ua/handle/123456789/166183 |
citation_txt |
Period functions for C⁰- and C¹-flows / S.I. Maksymenko // Український математичний журнал. — 2010. — Т. 62, № 7. — С. 954–967. — Бібліогр.: 19 назв. — англ. |
series |
Український математичний журнал |
work_keys_str_mv |
AT maksymenkosi periodfunctionsforc0andc1flows |
first_indexed |
2025-07-14T20:56:26Z |
last_indexed |
2025-07-14T20:56:26Z |
_version_ |
1837657320425783296 |
fulltext |
UDC 515.145 + 515.146
S. I. Maksymenko (Inst. Math. Nat. Acad. Sci. Ukraine, Kyiv)
PERIOD FUNCTIONS FOR C0- AND C1-FLOWS
ФУНКЦIЇ ПЕРIОДIВ ДЛЯ C0- ТА C1-ПОТОКIВ
Let F : M ×R→M be a continuous flow on a manifold M, V ⊂M be an open subset, and let ξ : V → R
be a continuous function. We say that ξ is a period function if F(x, ξ(x)) = x for all x ∈ V. Recently, for any
open connected subset V ⊂M, the author has described the structure of the set P (V ) of all period functions
on V. Assume that F is topologically conjugate to some C1-flow. It is shown in this paper that, in this case, the
period functions of F satisfy some additional conditions that, generally speaking, are not satisfied for general
continuous flows.
Нехай F : M × R → M — неперервний потiк на многовидi M, V ⊂ M — вiдкрита пiдмножина i
ξ : V → R — неперервна функцiя. Назвемо ξ функцiєю перiодiв, якщо F(x, ξ(x)) = x для всiх x ∈ V.
Нещодавно для кожної вiдкритої зв’язної множини V ⊂ M автором було описано структуру множини
P (V ) всiх функцiй перiодiв на V. Припустимо, що F є топологiчно спряженим до деякого потоку класу
C1. У данiй роботi показано, що тодi функцiї перiоду F задовольняють додатковi умови, якi, взагалi
кажучи, не виконуються для загальних неперервних потокiв.
1. Introduction. Let F : M × R → M be a continuous flow on a topological finite-
dimensional connected manifold M. Let also Σ be the set of fixed points of F. For
x ∈M we will denote by ox the orbit of x. If x is periodic, then Per(x) will denote the
period of x.
Definition 1.1. Let V ⊂M be a subset and ξ : V → R be a continuous function.
We will say that ξ is a period function or simply a P -function (with respect to F) if
F(x, ξ(x)) = x for all x ∈ V.
The set of all P -functions on V with respect to a flow F will be denoted by P (F, V ),
or simply by P (V ). The following easy lemma explains the term P -function.
Lemma 1.1 [1]. 1. For any subset V ⊂M the set P (V ) is a group with respect to
the pointwise addition.
2. Let x ∈ V and ξ ∈ P (V ). Then ξ is locally constant on ox ∩V. In particular, if x
is nonperiodic, then ξ|ox∩V = 0. Suppose x is periodic, and let ω be a path component
of ox ∩ V. Then ξ = nω Per(ox) for some nω ∈ Z depending on ω.
The following theorem, describing P (V ) for open connected subsets V ⊂ M, is a
particular case of results obtained in [1]. It also extends [2] (Theorem 12) to the case of
continuous flows.
Theorem 1.1 [1, 2]. Let M be a finite-dimensional topological manifold possibly
noncompact and with or without boundary, F : M × R → M be a flow, and V ⊂ M
be an open, connected set. Suppose that Int(Σ) ∩ V = ∅. Then one of the following
possibilities is realized: either P (V ) = {0} or P (V ) = {nθ}n∈Z for some continuous
function θ : V → R having the following properties:
(1) θ > 0 on V \ Σ, so this set consists of periodic points only.
(2) There exists an open and everywhere dense subset Q ⊂ V such that θ(x) =
= Per(x) for all x ∈ Q.
(3) θ is constant on ox ∩ V for each x ∈ V.
(4) Put U = F(V × R). Then θ extends to a P -function on U and there is a circle
action G : U × S1 → U defined by G(x, t) = F(x, tθ(x)), x ∈ U, t ∈ S1 = R/Z. The
orbits of this action coincides with the ones of F.
c© S. I. MAKSYMENKO, 2010
954 ISSN 1027-3190. Укр. мат. журн., 2010, т. 62, № 7
PERIOD FUNCTIONS FOR C0- AND C1-FLOWS 955
The aim of this paper is to show that if F is conjugate to some C1-flow, then P -
functions of F have additional properties which may fail for P -functions of general
continuous flows (Theorems 1.2 and 1.3).
Before formulating these results let us discuss the behaviour of P -functions under
conjugations of flows.
1.1. Conjugation of flows. Let M be Cr, r ≥ 1, manifold and F : M × R → M
be a Cr-flow. Then in general, F is generated by a Cr−1-vector field
F (x) =
∂F
∂t
(x, t)|t=0.
Nonetheless, it is proved by D. Hart [3] that every Cr-flow F is Cr-conjugate to a Cr-
flow generated by a Cr-vector field. Thus in order to study P -functions for Cr-flows one
can assume that these flows are generated by Cr-vector fields.
Now let h : M → M be a homeomorphism and G : M × R→ M be the conjugate
flow:
Gt(x) = h ◦ Ft ◦ h−1(x) = h ◦ F(h−1(x), t)).
Let also V ⊂M be an open set and θ : V → R be a continuous P -function for F. Then
θ ◦ h : h−1(V )→ R is a P -function for G. Indeed, if x ∈ V and y = h−1(x), then
G(y, θ ◦ h−1(y)) = h ◦ F(h−1(x), θ ◦ h−1(x))) = h ◦ h−1(x) = x.
In other words P (G, h−1V ) = P (F, V ) ◦ h. In particular, the groups P (G, h−1V ) and
P (F, V ) are isomorphic. Thus the structure of the set of P -functions of the flow F
depends only on its conjugate class.
Let Ek be the unit (k × k)-matrix, C be a square (k × k)-matrix, and a, b ∈ R.
Define the following matrices:
Jp(C) =
C 0 . . . 0
Ek C . . . 0
. . . . . . . . . . . .
0 . . . Ek C
, R(a, b) =
(
a b
−b a
)
,
Jp(a± ib) = Jp(R(a, b)).
For square matrices B,C it is also convenient to put B ⊕ C =
(
B 0
0 C
)
.
Theorem 1.2. Let F be a continuous flow on M and V ⊂M be a connected open
subset such that P (V ) = {nθ}n∈Z for some nonnegative P -function θ : V → [0,+∞)
being strictly positive on M \ Σ, see (1) of Theorem 1.1. If F is conjugate to a C1-flow,
then, in fact, θ > 0 on all of M.
Suppose, in addition, that F is generated by a C1-vector field F. Then for every
z ∈ Σ there are local coordinates in which the linear part j1F (z) of F at z is given by
the following matrix:(
0 β1
−β1 0
)
⊕ . . .⊕
(
0 βk
−βk 0
)
⊕ 0⊕ . . .⊕ 0 (1.1)
for some k ≥ 1 and βj ∈ R \ 0.
The proof of this theorem will be given in Section 7.
ISSN 1027-3190. Укр. мат. журн., 2010, т. 62, № 7
956 S. I. MAKSYMENKO
Remark 1.1. Under assumptions of Theorem 1.2 suppose that θ is C1 and θ(z) 6= 0
for some z ∈ Σ. In this case existence of (1.1) at z is easy to prove, c.f. [4].
Indeed, define the flow G : M × R → M by G(x, t) = F(x, t θ(x)). Then G is
generated by the C1-vector field G = θF and satisfies G1 = idM . Hence G yields a
C1-differentiable R/Z = S1-action on M.
Moreover, Gt(z) = z and so G yields a linear S1-action TzGt on the tangent
space TzM. Now it follows from standard results about S1 representations in GL(R, n)
that the linear part of G at z in some local coordinates is given by (1.1). It remains
to note that j1F (z) = j1G(z)/θ(z). Notice that these arguments do not prove that the
matrix (1.1) is non-zero.
Example 1.1. Let F : C× R→ C be a continuous flow on C defined by
F(z, t) =
e
2πi t/|z|2 z, z 6= 0,
0, z = 0.
The orbits of F are the origin 0 ∈ C and the concentric circles centered at 0. Then
P (C) = {nθ}n∈Z, where θ(z) = |z|2. Also notice that θ(0) = 0 and θ > 0 on C \ 0.
This shows that a non-zero P -function of a continuous flow F may vanish at its fixed
points. It also implies that F in not conjugate to a C1-flow.
Our second result shows that if F is conjugate to a C1-flow, then discontinuity of
P -functions at points of Σ is almost always the result of unboundedness of periods of
points near Σ.
Theorem 1.3. Let F be a C1-flow generated by a C1-vector field, V ⊂ M be an
open connected subset such that P (V ) = 0, while P (V \ Σ) = {nθ}n∈Z for a certain
non-zero P -function θ : V \ Σ → R, so θ can not be continuously extended to all of V.
Suppose that there exists a point z ∈ V ∩Σ in which j1F (z), the linear part of F at z, is
not similar to a matrix of the form (1.1). Then there exists a sequence {xi}i∈N ⊂ V \Σ
(consisting of periodic points) which converges to z and satisfies
lim
i→∞
Per(xi) = lim
i→∞
θ(xi) = +∞.
Example 1.2. Let F : C× R→ C be a C∞-flow on C defined by
F(z, t) =
e
2πi t |z|2 z, z 6= 0,
0, z = 0,
where 0 is the origin. Then θ =
1
|z|2
is a C∞ P -function on C \ 0 and P (C \ 0) =
= {nθ}n∈Z. On the other hand, lim
z→0
θ(z) = +∞, whence θ can not be extended even
to a continuous function on C, so P (C) = {0}.
1.2. Structure of the paper. In next section we discuss applications of P -functions
to reparametrizations of flows to circle actions and also describe the relationships of
Theorem 1.3 to the results of other authors.
Section 3 presents a variant of results of M. Newman, A. Dress, D. Hoffman, and
L. N. Mann about lower bounds for diameters of orbits of Zp-actions on manifolds.
Sections 4 and 5 give sufficient conditions for unboundedness of periods of C0- and
C1-flows near singular points. The last two Sections 8 and 7 contain the proofs of
Theorems 1.3 and 1.2 respectively.
ISSN 1027-3190. Укр. мат. журн., 2010, т. 62, № 7
PERIOD FUNCTIONS FOR C0- AND C1-FLOWS 957
2. P -functions and circle actions. In this section we discuss relation of our results
to the following problem:
Problem 2.1. Let F be a continuous flow on M. Do there exist a continuous
S1-action on M whose orbits coincides with the ones of F?
The following simple statement shows applications of P -functions to Problem 2.1.
Lemma 2.1. Let θ : M → R be a P -function on all of M. Then the following
map G : M × R → M defined by G(x, t) = F(x, t · θ(x)) is a flow on M such that
G1 = idM , so G factors to a circle action.
Proof. Indeed, G1(x) = F(x, θ(x)) = x.
An evident necessary (but not sufficient) condition for Problem 2.1 is that every
orbit of F is either periodic or fixed. Moreover, due to the well-known theorem of
M. Newman the set Σ should be nowhere dense, see [5 – 8].
Suppose now that Σ = ∅ and all points are periodic for F. It will be convenient to
call such a flow F a P -flow. Then we have a well-defined function
λ : M → (0,+∞), λ(x) = Per(x).
This function was studied by many authors. It can be shown that λ is lower semicon-
tinuous and the set B of its continuity points is open in M, see e.g. D. Montgomery [9]
and D. B. A. Epstein [10] (§ 5). Thus in the sense of Definition 1.1 λ is a P -function
on B.
There are certain typical situations in which λ is discontinuous.
For instance, if λ is locally unbounded, then it can not be continuously extended to
all M. Say that a P -flow F has property PB (resp. property PU ) if λ is locally bounded
(resp. locally unbounded). Equivalently, if F is at least C1, then instead of periods one
can consider lengths of orbits with respect to some Riemannian metric on M.
The first example of a PU -flow was constructed by G. Reeb [11]. He produced a
C∞ PU -flow on a noncompact manifold. Further D. B. A. Epstein [10] constructed a
real analytic PU -flow on a noncompact 3-manifold, D. Sullivan [12] a C∞ PU -flow on
a compact 5-manifold S3 × S1 × S1, and D. B. A. Epstein and E. Vogt [13] a PU -flow
on a compact 4-manifold defined by polynomial equations, with the vector field defining
the flow given by polynomials, see also E. Vogt [14].
On the other hand, the following well-known example of Seifert fibrations shows
that even if λ is discontinuous, then in some cases it can be continuously extended to
all of M so that the obtained function is a P -function.
Example 2.1. Let D2 ⊂ C be the closed unit 2-disk centered at the origin, S1 =
= ∂D2 be the unit circle, and T = D2×S1 be the solid torus. Fix k ≥ 2 and define the
following flow on T :
F : T × R→ T, F(z, τ, t) = (ze2πit/k, τe2πit),
for (z, τ, t) ∈ D2×S1×R. It is easy to see that every (z, τ) ∈ T is periodic. Moreover,
Per(z, τ) = k if z 6= 0 ∈ D2, while Per(0, τ) = 1. Thus the function Per: T 2 → R is
discontinuous on the central orbit 0× S1, but it becomes even smooth if we redefine it
on 0×S1 by the value k instead of 1. This new constant function θ ≡ k is a P -function
and P (T ) = {nk}n∈Z.
Notice that in this example F is a suspension flow of a periodic homeomorphism
h : D2 → D2 being a rotation by 2π/k.
ISSN 1027-3190. Укр. мат. журн., 2010, т. 62, № 7
958 S. I. MAKSYMENKO
More generally, let h : M → M be a homeomorphism of a connected manifold M
such that the corresponding suspension flow F of h on M ×S1 is a P -flow. This is pos-
sible if and only if all the points of M are periodic with respect to h. D. Montgomery [9]
shown that such a homeomorphism is periodic itself. Let k be the period of h. Then the
periods of orbits of F are bounded with k, so F is a PB-flow. Moreover, similarly to
Example 2.1, it can be shown that P (M) = {nk}n∈Z.
D. B. A. Epstein [10] also proved that if M is a compact orientable 3-manifold then
any Cr P -flow with (1 ≤ r ≤ ω) has property BP and even there exists a Cr-circle
action with the same orbits. In fact he shown that the structure of one-dimensional Cr-
foliations (1 ≤ r ≤ ∞) on compact orientable 3-manifolds, possibly with boundary, is
similar to Seifert fibrations described in Example 2.1.
The problem of bounded periods has its counterpart for foliations with all leaves
compact. The question is whether the volumes of leaves are locally bounded with re-
spect to some Riemannian metric, see e.g. [15 – 17]. For instance the mentioned above
statements for flows can be adopted for foliations.
The results of the present paper describe the behaviour of period functions near fixed
poins of C1-flows.
3. Diameters and lengths of orbits. 3.1. Effective Zp-actions. We recall here
results of A. Dress [8] (Lemma 3) and D. Hoffman and L. N. Mann [18] (Theorem 1)
about diameters of orbits of effective Zp-actions.
For x, y ∈ Rn denote by d(x, y) the usual Euclidean distance, and by Br(x), r > 0,
the open ball of radius r centered at x.
Let W be an open subset of the half-space Rn+ = {xn ≥ 0} and x ∈ W. Define the
radius rx of convexity of W at x as follows. If x ∈ Int(Rn+) ∩W, then
rx = sup
{
r > 0: Br(x) ⊂W
}
.
Otherwise, x ∈ ∂Rn+ ∩W and we put
rx = sup
{
r > 0: (Br(x) ∩ Rn+) ⊂W
}
.
Lemma 3.1 ([8], Lemma 3). Let U ⊂ Rn be an open, relatively compact and con-
nected subset, p be a prime, and h : U → U be a homeomorphism which induces a
nontrivial Zp-action, that is h 6= idU but hp = idU . Define two numbers:
D(U) = max
{
min{d(x, y) : y ∈ U} : x ∈ U
}
,
C(U) = max
{
d(x, ha(x)) : a = 0, . . . , p− 1, x ∈ U \ Int(U)
}
.
Then D(U) < C(U).
The next Lemma 3.2 is a variant of [18] (Theorem 1). It seems that in the proof of
[18] (Theorem 1) the condition of connectedness of the set U, see (3.1) below, is missed,
c.f. paragraph after the assumption (H) on [18, p. 345]. Therefore we recall the proof
which is also applicable to manifolds with boundary.
Lemma 3.2 (c.f. [18], Theorem 1). Let W ⊂ Rn+ = {xn ≥ 0} be an open subset,
p be a prime, and h : W → W be a homeomorphism which induces a nontrivial Zp-
action. Suppose h(z) = z for some z ∈ W. Let also rz be the radius of convexity of W
at z and r ∈ (0, rz).
ISSN 1027-3190. Укр. мат. журн., 2010, т. 62, № 7
PERIOD FUNCTIONS FOR C0- AND C1-FLOWS 959
If z ∈ Int(Rn+), then there exist x ∈ ∂Br/2(z) and a = 1, . . . , p− 1 such that
d(z, x) ≤ 2d(x, ha(x)).
If z ∈ ∂Rn+, then there exist x ∈ ∂(B2r/3(z) ∩W ) and a = 1, . . . , p− 1 such that
d(z, x) ≤ 4d(x, ha(x)).
Proof. For simplicity denote Br(z) by Br.
1. First suppose that z ∈ Int(Rn+). For each s ∈ (0, rz) put
Us = Bs ∪ h(Bs) ∪ . . . ∪ hp−1(Bs). (3.1)
Then Us is open, relatively compact, and h yields a nontrivial Zp-action on U.Moreover,
by assumption h(z) = z, therefore Us is connected. Then by Lemma 3.1
D(Us) ≤ C(Us).
Notice that Bs ⊂ Us, whence s ≤ Ds.
On the other hand, suppose
d(y, ha(y)) < r − s, for all y ∈ ∂Us and a = 1, . . . , p− 1. (3.2)
Then in particular, C(Us) < r − s and thus
s ≤ D(Us) ≤ C(Us) < r − s,
whence s < r/2.
Thus if s = r/2, then (3.2) fails, whence there exist y ∈ ∂Ur/2 and b ∈ {0, . . . , p−
− 1} such that d(y, hb(y)) ≥ r − r/2 = r/2. However
∂Ur/2 ⊂
p−1
∪
i=0
hi(∂Br/2),
whence y = hc(x) for some x ∈ ∂Br/2. Therefore at least one of the distances d(x, y) or
d(x, hb(y)) is not less than r/4. In other words, d(x, ha(x)) ≥ r/4 for some x ∈ ∂Br/2
and a ∈ {1, . . . , p− 1}. Then
d(x, z) =
r
2
= 2
r
4
≤ 2d(x, ha(x)).
2. Let z ∈ ∂Rn+. For each s ∈ (0, rz) let As = Bs ∩ Int(∂Rn+) be the open upper
half-disk centered at z, and
U ′s = As ∪ h(As) ∪ . . . ∪ hp−1(As).
Then U ′s is open, relatively compact, and h yields a nontrivial Zp-action on U ′s. More-
over, it is easy to see that U ′s is connected, whence by Lemma 3.1
D(U ′s) ≤ C(U ′s).
Moreover, Bs/2 ⊂ U ′s. Therefore s/2 ≤ D(U ′s). Hence if we suppose that C(U ′s) <
< r − s, then s/2 < r − s and thus s < 2r/3.
ISSN 1027-3190. Укр. мат. журн., 2010, т. 62, № 7
960 S. I. MAKSYMENKO
Put s = 2r/3. Then there exists y ∈ ∂U ′2r/3 and b ∈ {1, . . . , p − 1} such that
d(y, hb(y)) > r − 2r/3 = r/3.
Again ∂U ′s ⊂
p−1⋃
i=0
hi(∂As), whence we can find x ∈ ∂A2r/3 such that d(x, ha(x)) >
> r/6 for some a ∈ {1, . . . , p− 1}. Then
d(x, z) ≤ 2r
3
= 4 · r
6
≤ 4 · d(x, ha(x)).
The lemma is proved.
3.2. Periodic orbits. Let F be a C1-vector field on a manifold M and d be any
Riemannian metric on M. Then for any periodic point x of F the length l(x) of its orbit
can be calculated as follows:
l(x) =
Per(x)∫
0
∥∥F (F(x, t))
∥∥dt.
Hence
l(x) ≤ Per(x) sup
t∈[0,Per(x)]
∥∥F (F(x, t))
∥∥. (3.3)
Also notice that
2 diam(ox) ≤ l(x). (3.4)
Indeed, let y, z ∈ ox be points for which d(y, z) = diam(ox). These points divide ox
into two arcs each of which has the length ≥ d(y, z). This implies (3.4).
4. P -functions on the set of nonfixed points. Let V ⊂ M be an open subset,
ξ : V \Σ→ R be a P -function, and α ∈ R. Define the following map hα : V →M by:
hα(x) =
F(x, α ξ(x)), x ∈ V \ Σ,
x, x ∈ Σ ∩ V.
(4.1)
Then hα is continuous on V \ Σ but in general it is discontinuous at points of Σ ∩ V.
The aim of this section is to establish implications between the following five con-
ditions:
(A) The periods of periodic points in V \ ξ−1(0) are uniformly bounded above with
some constant C > 0, that is for each x ∈ V with ξ(x) 6= 0 we have that Per(x) < C.
(B) Every z ∈ Σ∩V has a neighbourhood W ⊂ V such that ξ is regular on W \Σ,
that is for every y ∈W \ Σ the restriction of ξ to oy ∩W is constant.
(C)α The map hα is continuous on all of V.
Let z ∈ Σ ∩ V.
(D)α Suppose α = q/p ∈ Q, where q ∈ Z and p ∈ N. There exists a neighbourhood
W ⊂ V of z such that hα(W ) = W, the restriction hα : W →W is a homeomorphism,
and hpα = idW .
(E) There exist T > 0, a Euclidean metric d on some neighbourhood W of z, and
a sequence {xi}i∈N ⊂ V \ Σ converging to z such that ξ(xi) 6= 0 and
d(z, xi) < Tdiam(oxi ∩W ).
ISSN 1027-3190. Укр. мат. журн., 2010, т. 62, № 7
PERIOD FUNCTIONS FOR C0- AND C1-FLOWS 961
Remark 4.1. By a Euclidean metric on W in (E) we mean a metric induced
by some embedding W ⊂ Rn. In fact, this condition can be formulated for arbitrary
Riemannian metrics, but for technical reasons (see especially Lemma 5.1) we restrict
ourselves to Euclidean ones.
Remark 4.2. If z ∈ Σ ∩ V has a neighbourhood W ⊂ V such that W \ Σ is
connected, then by (3) of Theorem 1.1 condition (B) holds for z.
Lemma 4.1. The following implications hold true:
(A)⇒ (B) ∨ (C)α.
If α ∈ Q, then for every z ∈ Σ ∩ V
(B) ∨ (C)α ⇒ (D)α.
If h is not the identity on some neighbourhood of z ∈ Σ ∩ V, then
(D)α ⇒ (E),
and we can take T = 4 in (E).
Proof. (A) ⇒ (B). Since z ∈ Σ ∩ V, there exists a neighbourhood W of z such
that F(W × [0, c]) ⊂ V. Then W satisfies (B). Indeed, let y ∈W \Σ. We have to show
that ξ|oy∩W is constant.
If ξ = 0 on oy∩W there is nothing to prove. Therefore we can assume that ξ(y) 6= 0.
Then, by (A), Per(y) < C, whence
oy = F(y × [0,Per(y)]) = F(y × [0,C]) ⊂ F(W × [0,C]) ⊂ V.
Thus oy ∩ V = oy is connected. Then, by Lemma 1.1, ξ is constant along oy and
therefore on oy ∩W.
(A) ⇒ (C)α. It suffices to show that hα is continuous at each z ∈ Σ ∩ V. Let
V ′ ⊂ V be any neighbourhood of z and W be another neighbourhood of z such that
F(W × [0, c]) ⊂ V ′. We claim that hα(W ) ⊂ V ′. This will imply continuity of hα at z.
Let x ∈ W. If x ∈ Σ ∩W or ξ(x) = 0, then hα(x) = x ∈ W ⊂ V ′. Otherwise,
ξ(x) 6= 0 and x is periodic. Hence hα(x) = F(x, τ) for some τ ∈ [0,Per(x)] ⊂ [0, c].
Therefore hα(x) ∈ F(W × [0, c]) ⊂ V ′.
(B)∨(C)α ⇒ (D)α. We have that α = q/p, where q ∈ Z and p ∈ N. For simplicity
denote hα by h. Since h(z) = z and h is continuous, there exists a neighbourhood B of
z such that hi(B) ⊂ V for all i = 0, . . . , p. Denote
W = B ∪ h(B) ∪ . . . ∪ hp−1(B).
We claim that W satisfies (D).
Indeed, let x ∈ V and suppose that h(x) ∈ V as well. Since h(x) belongs to the
orbit of x, then, by (B), ξ(x) = ξ(h(x)). Hence
h2(x) = F
(
h(x), αξ(h(x))
)
= F
(
h(x), αξ(x)
)
=
= F
(
F(x, αξ(x)), α · ξ(x)
)
= F
(
x, 2αξ(x)
)
. (4.2)
By induction we will get that if hi(x) ∈ V for all i = 0, . . . , j − 1, then
ISSN 1027-3190. Укр. мат. журн., 2010, т. 62, № 7
962 S. I. MAKSYMENKO
hj(x) = F
(
x, jαξ(x)
)
.
In particular, hkp(x) = F(x, kqξ(x)) = x for any k ∈ Z. By (C)α we have that h is
continuous on V, whence h yields a homeomorphism of W onto itself and hp|W = idW .
(D)α ⇒ (E). Again denote hα by h. Since h is not the identity on W, we can
assume that p is a prime and thus the action of h is effective. This can be done by
replacing h with hn for some n ∈ N such that p/n is a prime.
Decreasing W we can assume that W is an open subset of the half-space Rn+ =
= {xn ≥ 0}. Let d be the corresponding Euclidean metric on W and rz be the radius
of convexity of W at z. Then by Lemma 3.2 for each r ∈ (0, rz) there exist xr ∈ W
and ar ∈ {1, . . . , p− 1} such that
d(z, xr) ≤ Sr ≤ Td(xr, h
ar (xr)) ≤ Tdiam(oxr ),
for some S,T > 0. In fact, S =
1
2
and T = 2 if z ∈ Int(M), and S =
2
3
and T = 4
if z ∈ ∂M. Notice that ar may take only finitely many values. Therefore we can find
a ∈ {1, . . . , p − 1} and a sequence {xri}i∈N such that lim
i→∞
ri = 0 and ari = a for all
i ∈ N.
The lemma is proved.
5. Condition (E) for C1-flows. Condition (E) defined in the previous section
gives some lower bound for diameters of orbits of a sequence {xi}i∈N of periodic
points converging to a fixed point z. In this section it is shown that for a C1-flow that
condition allows to estimate periods of xi.
Let M be a Cr, r ≥ 1, connected, m-dimensional manifold possibly noncompact
and with or without boundary. Let also F be a Cr-vector field on M tangent to ∂M and
generating a Cr-flow F : M ×R→M. Again by Σ we denote the set of fixed points of
F which coincides with the set of zeros (or singular points) of F.
Proposition 5.1. Let V ⊂M be an open subset, ξ : V \ Σ→ R be a P -function,
z ∈ Σ ∩ V, and {xi}i∈N ⊂ V \ Σ be a sequence of periodic points converging to z and
satisfying (E). Thus ξ(xi) 6= 0, and there exists T > 0 and a Euclidean metric on some
neighbourhood of z such that d(z, xi) < Tdiam(oxi). If the periods of xi are bounded
above with some C > 0 (in particular, condition (A) holds true), then
(e1) there exists ε > 0 such that |ξ(xi)| ≥ Per(xi) > ε for all i ∈ N, so the periods
are bounded below as well, and
(e2) j1F (z) 6= 0.
For the proof we need some statements. The proofs are straightforward, and we left
them for the reader.
Claim 5.1. Let X be a topological space, K be a compact space, and g : X×K →
→ R be a continuous function. Then the following function γ : X → R defined by
γ(x) = sup
y∈K
g(x, y) is continuous.
Claim 5.2. Let K be a compact manifold and
Q = (Q1, . . . , Qn) : Rn ×K → Rn
be a continuous map satisfying the following conditions:
(a) Q(0×K) = 0.
(b) For each k ∈ K the map Qk = Q(·, k) : Rn → Rn is C1.
ISSN 1027-3190. Укр. мат. журн., 2010, т. 62, № 7
PERIOD FUNCTIONS FOR C0- AND C1-FLOWS 963
(c) For every i, j = 1, . . . , n the partial derivative
∂Qi
∂xj
: Rn ×K → R of the i-th
coordinate function Qi of Q in xj is continuous.
In particular, conditions (b) and (c) hold if K is a manifold and Q is a C1 map.
Then there exists a continuous function α : Rn → R such that
‖Q(x, k)‖ ≤ ‖x‖α(x), (x, k) ∈ Rn ×K.
If j1Qk(0) = 0 for all k ∈ K, then α(0) = 0.
Lemma 5.1. Let F be a C1-vector field in Rn such that F (0) = 0 and (Ft) be
the local flow of F. Then for every C > 0 there exist a neighbourhood W of the origin
0 ∈ Rn and a continuous function γ : W → R such that
‖F (F(x, t))‖ ≤ ‖x‖γ(x)
for all (x, t) ∈W × [−C,C]. If j1F (0) = 0, then γ(0) = 0.
If F is C2, then we have a usual estimation ‖F (F(x, t))‖ ≤ A‖x‖2 for some A > 0.
Proof. Since F(0, t) = 0 for all t ∈ R, there exists a neighbourhood W of z such
that for each (x, t) ∈ W × [−C,C] the point F(x, t) is well-defined and belongs to V,
so F(W × [−C,C]) ⊂ V.
Moreover, F is C1 and therefore it satisfies assumptions (a) – (c) of Claim 5.2 with
K = [−C,C]. Hence there exists a continuous function α : W → R such that∥∥F(x, t)
∥∥ ≤ ‖x‖α(x), (x, k) ∈W × [−C,C].
Moreover, F is also C1 and F (0) = 0, whence again by Claim 5.2 (for K = ∅)
there exists a continuous function β : W → R such that ‖F (x)‖ ≤ ‖x‖β(x). Define
γ : W → R by
γ(x) = sup
t∈[−C,C]
α(x)β(F(x, t)).
Then by Claim 5.1 γ is continuous and
‖F (F(x, t))‖ ≤ ‖F(x, t))‖β(F(x, t)) ≤ ‖x‖α(x)β(F(x, t)) ≤ ‖x‖γ(x).
Moreover, if j1F (0) = 0, then β(0) = 0. Since in addition F(0, t) = 0, we obtain that
γ(0) = sup
t∈[−C,C]
α(0)β(0) = 0 as well.
The lemma is proved.
Proof of Proposition 5.1. We have to show that violating either of assumptions (e1)
or (e2) leads to a contradiction.
By Lemma 5.1 for any C > 0 there exist a neighbourhood W of z and a continuous
function γ : W → R such that
‖F (F(x, t))‖ ≤ d(x, z)γ(x), (x, t) ∈W × [−C,C]. (5.1)
Then
d(z, xi) < Tdiam(oxi)
(3.4)
≤ T
2
l(xi)
(3.3)∨(5.1)
≤ T
2
Per(xi)d(z, xi)γ(xi).
Therefore
ISSN 1027-3190. Укр. мат. журн., 2010, т. 62, № 7
964 S. I. MAKSYMENKO
0 <
2
T
< Per(xi)γ(xi) ≤ |ξ(xi)|γ(xi).
Hence if (e1) is violated, i.e., lim
i→∞
Per(xi) = 0, then lim
i→∞
γ(xi) = +∞, which contra-
dicts to continuity of γ near z.
Suppose j1F (z) = 0. Then by Lemma 5.1 γ(z) = 0, whence lim
i→∞
γ(xi) = γ(z) =
0. Therefore lim
i→∞
Per(xi) = lim
i→∞
|ξ(xi)| = +∞, which contradicts to boundedness of
periods of xi.
The proposition is proved.
6. Unboundedness of periods. Now let F be a C1-vector field in Rn such that
F (0) = 0. We can regard F as a C1 map F = (F1, . . . , Fn) : Rn → Rn. Let
A =
(
∂Fi
∂xj
(0)
)
i,j=1,...,n
be the Jacobi matrix of F at 0. This matrix also called the linear part of F at 0. By the
real Jordan’s normal form theorem A is similar to the matrix of the following form:
s
⊕
σ=1
Jqσ (aσ ± ibσ))⊕
r
⊕
τ=1
Jpτ (λτ ), (6.1)
where λσ ∈ R and aτ ± ibτ ∈ C are all the eigen values of A.
Theorem 1.3 is a direct consequence of the following theorem.
Theorem 6.1. Suppose one of the following conditions holds:
(1) A has an eigen value λ such that <(λ) 6= 0.
(2) The matrix (6.1) has either a block Jq(±ib) or Jq(0) with q ≥ 2.
(3) A = 0 and there exists an open neighbourhood V of 0 in Rn and a continuous
P -function ξ : V \ Σ → R which takes non-zero values arbitrary close to 0, that is
0 ∈ V \ ξ−1(0).
Then there exists a sequence {xi}i∈N ⊂ V \ Σ which converges to 0 and such that
either every xi is nonperiodic, or every xi is periodic and lim
i→∞
Per(xi) = +∞.
Proof. (1) In this case by Hadamard – Perron’s theorem, e.g. [19], we can find a
nonperiodic orbit o of F such that 0 ∈ o \ o. This means that there exists a sequence
{xi}i∈N ⊂ o converging to 0.
(2) Consider two cases.
(a) If (6.1) has a block Jq(0) with q ≥ 2, then it can be assumed that
A =
0 0 . . . 0
1 0 . . . 0
. . . . . . . . . . . .
. . . . . . . . . . . .
.
(b) Suppose (6.1) has a block Jq(±ib) with q ≥ 2. Then we can regard Rn as
C2 ⊕ Rn−4, so the first two coordinates x1 and x2 are complex. Therefore it can be
supposed that
A =
ib 0 . . . 0
1 ib . . . 0
. . . . . . . . . . . .
. . . . . . . . . . . .
.
In both cases denote by p1 the projection to the first (either real or complex) coordi-
nate, i.e., p1(x1, . . . , xn) = x1.
ISSN 1027-3190. Укр. мат. журн., 2010, т. 62, № 7
PERIOD FUNCTIONS FOR C0- AND C1-FLOWS 965
Lemma 6.1. Let Sn−1 be the unit sphere in Rn centered at the origin 0, ε > 0,
Yε =
{
(x1, . . . , xn) ∈ Sn−1 : |x1| ≥ ε
}
,
and Cε be the cone over Yε with vertex at 0.
Then for each L > 0 there exists a neighbourhood W = WL,ε of 0 such that every
x ∈ (W ∩ Cε) \ 0
is either nonperiodic or periodic with period Per(x) > L.
Proof. Let (Ft) be the local flow of F. Then in general, F is defined only on some
open neighbourhood of Rn×0 in Rn×R. Nevertheless, since F(0, t) = 0 for all t ∈ R,
it follows that for each L > 0 there exists a neighbourhood V of 0 such that F is defined
on V × [−2L, 2L].
We claim that in both cases there exists c > 0 such that
‖eAtx− x‖ ≥ c|tx1| = c|tp1(x)|. (6.2)
(a) In this case eAtx = (x1, tx1 + x2, . . .) and we can put c = 1:
‖eAtx− x‖ = ‖(0, tx1, . . .)‖ ≥ |tx1| = |tp1(x)|.
(b) Now eAtx = (eibtx1, e
ibt(tx1 + x2), . . .). Notice that we can write eibt =
= 1 + tγ(t) for some smooth function γ : R → C \ {0}. Denote c = min
t∈[−2L,2L]
|γ(t)|.
Then c > 0 and
‖eAtx− x‖ =
∥∥(eibtx1 − x1, . . .)
∥∥ ≥ |tγ(t)x1| = c|tp1(x)|.
Since F is a C1 map and F(0, t) = 0 for all t ∈ R, it follows from Claim 5.2 that
there exists a continuous function α : V → [0,+∞) such that
(1) α(0) = 0,
(2) ‖F(x, t)− eAtx‖ ≤ ‖x‖α(x) for all (x, t) ∈ V × [−2L, 2L].
Hence
‖F(x, t)− x‖ ≥ ‖eAtx− x‖−‖F(x, t)− eAtx‖ ≥ c|tp1(x)|−‖x‖α(x)
for (x, t) ∈ Rn × [−2L, 2L]. Moreover, if p1(x) 6= 0, then
‖F(x, t)− x‖ ≥ c|tp1(x)| − ‖x‖α(x) = c|p1(x)|
(
|t| − ‖x‖α(x)
c|p1(x)|
)
.
Since α(0) = 0, there exists a neighbourhood W ⊂ V of 0 such that
α(x) < cεL, x ∈W.
Now let x ∈ (W ∩ Cε) \ 0. Then |x| ≤ 1 and |p1(x)| ≥ ε, whence
‖x‖α(x)
c|p1(x)|
<
1cεL
cε
= L.
Therefore ‖F(x, t) − x‖ ≥ cε(|t| − L) for t ∈ [−2L, 2L]. In particular, F(x, t) 6= x for
t ∈ [L, 2L]. It follows that x is either nonperiodic, or periodic with the period being
greater than 2L− L = L.
The lemma is proved.
ISSN 1027-3190. Укр. мат. журн., 2010, т. 62, № 7
966 S. I. MAKSYMENKO
(3) Suppose that there exists a neighbourhood V of 0 such that all points in V \ Σ
are periodic. If the periods of points in V \ ξ−1(0) are bounded above, i.e., condition
(A) holds true, then by (e2) of Proposition 5.1 j1F (0) 6= 0.
Theorem 6.1 is proved.
The following statement extends [2] (Proposition 10).
Proposition 6.1 ([2], Proposition 10). Let F be a C1-vector field on a manifold M,
z ∈ Σ \ Int(Σ), V ⊂ M be a neighbourhood of z, and ξ ∈ P (V ) be a P -function. Let
also W = ∪λ∈ΛWλ be the union of those connected components of V \ Σ for which
z ∈Wλ. Then each of the following conditions implies that ξ = 0 on W ∩ V :
(a) j1F (z) has an eigen value λ such that <(λ) 6= 0;
(b) a real normal Jordan form of j1F (z) has either a block Jq(±ib) or Jq(0) with
q ≥ 2;
(c) j1F (z) = 0;
(d) z ∈ Int(ΣF ) \ Int(Σ);
(e) ξ(z) = 0.
Proof. Suppose that ξ takes non-zero values on periodic points arbitrary close to z.
First we prove that every of the assumptions (a) – (d) implies (e), and then show that (e)
gives rise to a contradiction.
(a)∨(b)∨(c) ⇒ (e) Suppose j1F (z) satisfies either of the conditions (a), (b) or (c).
Then by assumption on ξ and Theorem 6.1 there exists a sequence {xi}i∈N ⊂ V \Σ con-
verging to z and such that every xi is either nonperiodic, or periodic but lim
i→∞
Per(xi) =
= +∞.
If every xi is nonperiodic, then by Lemma 1.1 ξ(xi) = 0, whence by continuity of
ξ we obtain ξ(z) = 0 as well.
Suppose every xi is periodic. Then ξ(xi) = ni Per(xi) for some ni ∈ Z. Since
lim
i→∞
Per(xi) = +∞ and ξ is continuous, it follows that lim
i→∞
ni = 0, that is ni = 0 for
all sufficiently large i, whence ξ(xi) = 0 which implies ξ(z) = 0.
(d) ⇒ (c) The assumption z ∈ Int(Σ) \ Int(Σ) means that there is a sequence
{zi}i∈N ⊂ Int(Σ) converging to z. But then j1F (zi) = 0 for all i. Since F is C1, we
obtain j1F (z) = 0 as well.
(e) Suppose that ξ(z) = 0. Let U be a neighbourhood of z with compact closure
U ⊂ V, and C = sup
x∈U
|ξ(x)|. Then the periods of points in U \ ξ−1(0) are bounded
above with C, that is ξ satisfies condition (A), and therefore by Lemma 4.1 condition
(E). Let {xi}i∈N ⊂ U \ Σ be a sequence converging to z and satisfying (E). Then by
Proposition 5.1 there exists ε > 0 such that |ξ(xi)| > ε. Since ξ is continuous, we get
|ξ(z)| ≥ ε > 0, which contradicts to the assumption ξ(z) = 0.
The proposition is proved.
7. Proof of Theorem 1.2. Let F be a flow conjugate to a C1-flow. Then by [3],
F is conjugate to a flow generated by a C1-vector field F. As noted in Subsection 1.1,
conjugation does not change the structure of the set of P -functions, therefore we can
assume that F itself is generated by C1-vector field F.
Let θ ∈ P (M) be a nonnegative generator of P (M). Put Y = θ−1(0). Then Y is
closed.
We claim that Y is also open in M. Indeed, if x is a non-fixed point of F, then by [2]
(Corollary 8) θ = 0 on some neighbourhood of x. Suppose x ∈ Σ. Since Σ is nowhere
ISSN 1027-3190. Укр. мат. журн., 2010, т. 62, № 7
PERIOD FUNCTIONS FOR C0- AND C1-FLOWS 967
dense in M, it follows from (1) of Proposition 6.1 that θ = 0 on some neighbourhood
of x as well.
As M is connected, we obtain that either Y = ∅ or Y = M. By Theorem 1.1 θ > 0
on M \ Σ, whence Y 6= M and therefore Y = ∅, so θ > 0 on all of M.
Let z ∈ Σ. To establish (1.1) it suffices to prove that
(a) j1F (z) has no eigen values λ with <(λ) 6= 0;
(b) a real normal Jordan form of j1F (z) has neither a block Jq(±ib) nor Jq(0) with
q ≥ 2;
(c) j1F (z) 6= 0.
But if either of these conditions were violated, then it would follow from Proposi-
tion 6.1 that θ(z) = 0. This contradiction completes Theorem 1.2.
8. Proof of Theorem 1.3. Let z ∈ Σ be such that j1F (z) is not similar to a matrix
of the form (1.1). Then for this point z one of the conditions (1) – (3) of Theorem 6.1
holds true. Since every x ∈ V \ Σ is periodic, it follows from Theorem 6.1 that there
exists a sequence {xi}i∈N ⊂ V \ Σ converging to z and such lim
i→∞
Per(xi) = +∞.
1. Maksymenko S. Kernel of map of a shift along the orbits of continuous flows // Ukr. Mat. Zh. – 2010. –
62, № 5. – P. 651 – 659.
2. Maksymenko S. Smooth shifts along trajectories of flows // Topology Appl. – 2003. – 130, № 2. –
P. 183 – 204.
3. Hart D. On the smoothness of generators // Topology. – 1983. – 22, № 3. – P. 357 – 363.
4. Maksymenko S. Reparametrization of vector fields and their shift maps // Pr. Inst. Mat. Nats. Akad. Nauk
Ukrainy. Mat. Zastos. – 2009. – 6, № 2. – P. 489 – 498 (arXiv:math/0907.0354).
5. Newman M. H. A. A theorem on periodic transformations of spaces // Quart. J. Math. Oxford Ser. –
1931. – 2. – P. 1 – 8.
6. Smith P. A. Transformations of finite period. III. Newman’s theorem // Ann. Math. (2). – 1941. – 42. –
P. 446 – 458.
7. Montgomery D., Samelson H., Zippin L. Singular points of a compact transformation group // Ibid. –
1956. – 63. – P. 1 – 9.
8. Dress A. Newman’s theorems on transformation groups // Topology. – 1969. – 8. – P. 203 – 207.
9. Montgomery D. Pointwise periodic homeomorphisms // Amer. J. Math. – 1937. – 59, № 1. – P. 118 – 120.
10. Epstein D. B. A. Periodic flows on three-manifolds // Ann. Math. (2). – 1972. – 95. – P. 66 – 82.
11. Reeb G. Sur certaines propriétés topologiques des variétés feuilletées // Actual. Sci. Ind. – Paris: Hermann
& Cie., 1952. – № 1183.
12. Sullivan D. A counterexample to the periodic orbit conjecture // Inst. Hautes Études Sci. Publ. Math. –
1976. – 46. – P. 5 – 14.
13. Epstein D. B. A., Vogt E. A counterexample to the periodic orbit conjecture in codimension 3 // Ann.
Math. (2). – 1978. – 108, № 3. – P. 539 – 552.
14. Vogt E. A periodic flow with infinite Epstein hierarchy // Manuscr. math. – 1977. – 22, № 4. – P. 403 – 412.
15. Epstein D. B. A. Foliations with all leaves compact // Ann. Inst. Fourier (Grenoble). – 1976. – 26, № 1.
– P. 265 – 282.
16. Edwards R., Millett K., Sullivan D. Foliations with all leaves compact // Topology. – 1977. – 16, № 1. –
P. 13 – 32.
17. Müller T. Beispiel einer periodischen instabilen holomorphen Strömung // Enseign. math. (2). – 1979. –
25, № 3-4. – P. 309 – 312.
18. Hoffman D., Mann L. N. Continuous actions of compact Lie groups on Riemannian manifolds // Proc.
Amer. Math. Soc. – 1976. – 60. – P. 343 – 348.
19. Hirsch M. W., Pugh C. C., Shub M. Invariant manifolds // Lect. Notes Math. – 1977. – 583. – ii+149 p.
Received 22.02.10
ISSN 1027-3190. Укр. мат. журн., 2010, т. 62, № 7
|