Selected Problems in Real Analysis
Selected Problems in Real Analysis
MATHEMATICAL
MONOGRAPHS
VOLUME 107
TRANSLATIONS
MATHEMATICAL
MONOGRAPHS
.107
B. M. Makarov, M. G. Goluzina,
A.A. Lodkin, and A. N. Podkorytov
Selected
Problems in
Real Analysis
Mathematical Society
Translated from the Russian by H. H. McFaden
1991 Mathematics Subject Classification. Primary 26-01, 28-01.
Copying and reprinting. Individual readers of this [Link], and nonprofit libraries acting
for them, are permitted to make fair use of the material, such as to copy a chapter for use
in teaching or research. Permission is granted to quote brief passages from this publication in
reviews, provided the customary acknowledgment of the source is given.
Republication, systematic copying, or multiple reproduction of any material in this publication
(including abstracts) is permitted only under license from the American Mathematical Society.
Requests for such permission should be addressed to the Assistant to the Publisher, American
Mathematical Society, P.O. Box 6248, Providence, Rhode Island 02940-6248. Requests can also
be made by e-mail to reprint-permission@[Link].
1098765432 0201009998
Contents
Foreword
Notation ix
Problems Solutions
CHAPTER I. Introduction 3 143
§1. Sets 3 143
§2. Inequalities 8 147
§3. Irrationality 13 152
Problems Solutions
CHAPTER VI. Asymptotics 53 213
§1. Asymptotics of integrals 53 213
§2. The Laplace method 55 217
§3. Asymptotics of sums 59 221
§4. Asymptotics of implicit functions and recursive
sequences 63 227
This problem book is intended first and foremost for students wishing to
deepen their knowledge of mathematical analysis, and for lecturers conduct-
ing seminars in university mathematics departments. It is somewhat different
from the usual problem books in the greater difficulty of the problems, which
include a number of well-known theorems in analysis. Despite this, no special
preparation is required to solve the problems in Chapters 1—Vu and in §1 of
Chapter X, and many of them are accessible even to first-year students in the
second semester. All the facts needed to solve these problems are contained
in the standard university analysis texts, in particular, in the books of Zorich
[7], Kudryavtsev [16], Rudin [23], and Fikhtengol'ts [29]. The problems in
Chapters VIII and IX and §2 of Chapter X require a somewhat higher level
of preparation of the reader and presuppose that he is familiar with the fun-
damental concepts of measure theory. The corresponding facts can be found
in the last chapter of the cited text of Rudin and, in more complete form, in
the books [14] of Kolmogorov and Fomin and [4] of Vulikh.
The contents of the first seven chapters, which include about two thirds
of all the problems, do not go outside the framework of the classical topics
of analysis (functions, derivatives, integrals, asymptotics). Both here and
in the subsequent chapters we make no attempt at maximal generality and,
when we have to choose between a more general and less general formula-
tion of a problem, often show preference to the latter. Chapters VIII—X are
less traditional for a problem book in analysis. Besides the tastes of the au-
thors, the program of the mathematical analysis course adopted at Leningrad
University served as a criterion in choosing the material for these chapters.
Problems going outside its framework and relating to the "theory of func-
tions of a real variable" (in spite of the arbitrariness of this division) are not
included in the book. For example, we do not use many attractive problems
whose solution is based on the Lebesgue theorem on differentiation of an
integral with respect to a variable upper limit. Also;almost no reflections of
problems connected with complex analysis are found. We refer the readers
interested in this circle of questions to the widely known collection of Pãlya
and Szegô [21] and to the book of Titchmarsh [27].
FOREWORD
r
f(A) is the image of a set A under a mapping f;
'(A) is the complete inverse image of a set A under a mapping
1;
is the closure of a subset A of the space
B(x, r) is the open ball of radius r about a point x;
is the ball B(O, r) in
is the ball
is the unit sphere about zero in
(a, b) stands for any one of the four kinds of intervals ([a, b], (a, b),
[a,b),or (a,b]);
11, (11) denote the character of monotonicity of a function f
(nonincreasing, nondecreasing);
11 A, (fT A) denote the equalities limx..,a f(x) = A(A E for a
nonincreasing (nondecreasing) function f;
f(x) = O(g(x)) for x E A (or on the set A) means that If(x)I
C is some positive number;
1(x) = O(g(x)) as x a (or f(x) xa O(g(x))) means that
f(x) = O(g(x)) on some neighborhood of the point a;
f(x) g(x) as x —, a (or 1(x) g(x)) means that f(x) =
9,(x)g(x), where —, 1 as x —, a;
NOTATION
Introduction
§1. Sets
FIGURE 1
at least two registered in the same class. Prove that with the exception of
finitely many lazy demons each devil is registered in infinitely many classes.*
1.17. Suppose that a sequence of finite subsets of N thickly cov-
ers N, that is, for any infinite set B C N there is an index m such that
card(B fl Am) 2. Prove that:
a) the natural numbers belonging only to finitely many of the sets form
a finite set;
b) there exists an infinite set E C N such that C {1, 2
a){n'+m'In,mEN},
and the right-hand one by [Link] set is the union of all possible
closed intervals of (n + 1)st rank.
Let = £
Prove that the set A = fl1 has the
cardinality of the continuum.
1.33. Prove that a nonempty open interval cannot be represented as the
union of a sequence of disjoint closed sets.
1.34. Prove that the plane cannot be covered by a sequence of closed
disks without common interior points.
1.35. Suppose that —oo a +oo and (a, b) C U1 Prove
that the closure of at least one of the sets has an interior point.
1.36. Prove that the set of irrational numbers is not the union of a se-
quence of closed sets.
8 1. INTRODUCTION
§2. Inequalities
2.1. Prove that for any finite sequence of real numbers there is
an index m E {0 n} such that
E ak
fi
1<k<n
then
a a'7
1! n!
[J(i+a)
1<k<n
with equality possible only in the case when a1 = =; = 0.
2.5. Let be the sequence of prime numbers, in increasing order
(p1 = 2). Prove the inequalities:
a'/ 2/ 3) •
1
E dzkbk E
1<k<n
akbk E
2.7. Let and be finite sequences of real numbers. Prove
the inequalities:
E akbk.
E
1<kn
akbk bk) E
_______
L INTRODUCTION
ak)
52 1 2 1
ak)
l<k<n
0 — e' (1 — <_L
\ ni
for xE(0,1).
Problems 2.21—2.27 concern integral inequalities which are analogues of
the summation inequalities already considered. They can be proved by two
paths: either by taking a limit in a summation inequality, or by modifying
12 L INTRODUCTION
the proof used in the discrete case. We remark also that by passing to the
limit, the inequalities in problems 2.23 and 2.24 can be carried over to the
case of improper integrals over an interval of the form [a, +oo).
ljjdx
b)
(b - a)2
jbjb (b -
2.22. Suppose that the functions I and g are monotone on [a, b]. If
the monotonicity is of a single type, then
j f(x)g(x)dx.
1b <
(inf
a<xbX—a
f(x) dx f(x)g(x) dx
a a
I I\a<xb'
G(x)\ 1b
sup —i f(x)dx.
—a1 Ja
2.24. Suppose that the functions f and g are integrable on [a, b], I
and 0 f
g 1. Let c = g(x)dx Then
— a)2ô2
1
j 12 (x)dx —
jb)
Equality holds only for linear functions.
2.26. If a continuously differentiable function f is nondecreasing and
convex (or nonincreasing and concave) on [0, 1], then
-x)3(f(x))2dx j
f2(x)dx_ (ji)2
x3(f'(x)f dx.
For nondecreasing concave (or nonincreasing convex) functions the inequal-
ities are reversed. Equality is possible only for a linear function.
2.27. Suppose that the functions f and g are positive and integrable on
[a, b]. Then the following inequalities hold:
a)
1b
exp lnf(x)dx) f(x)dx
(an analogue of the Cauchy inequality on the arithmetic mean and the geo-
metric mean);
b)
1b
exp ln(f(x) + g(x)) dx)
In the following problems we use the notation ö(x) = x — [x] for the
fractional part of a real number x.
f(ö(kx))-4Jf(t)dt
0
1<k<n
as n—'-i-oo.
3.10. Suppose that x = (x1,..., x,,,) E Rm\Qm. Prove that there exist
integers p1..., and a positive integer q such that
<q_(l+l/m)
1x1 — p1/qI (i = 1. 2 in),
and the denominator q can be taken as large as desired.
3.11. Let = minflEZ — in/ni, n E N. Prove that:
a) (2n)2 <
b) if a strictly increasing sequence of indices is such that cxn1 C/nj
(j E N), where C is a fixed number, then increases at least like a
geometric progression: 1 + 1/(8C) (thus, the lower estimate in
the inequality in a) is coarse for most indices).
§3. IRRATIONAUTY 15
cn/2 2"
1=—! 1
I——t costdt (n=0,1,2,...).
/
Prove that = where is an algebraic polynomial of degree at
most n with integer coefficients.
b) Derive from this that it2 (and hence also it) is an irrational number.
3.21. Irrationality of the values of the exponential at rational points.
16 1. INTRODUCTION
a) Let
(n=O, 1,2,...).
Prove that = + where and are algebraic
polynomials of degree n with integer coefficients.
b) Derive from this that er Q if r E Q, r 0.
3.22. Irrationality of the values of the tangent at rational points.
a) Let
(n=0, 1,2,...).
Prove that = sinx where and are algebraic
polynomials of degree at most n with integer coefficients.
b) Derive from this that tanr if r E Q, r 0.
CHAPTER II
Sequences
lim lim
= [J sin
l<k<n
1.5. Let a ER and = >1<k<fl((a + Find the limit
1.6. Let
a) Find the limit
b) Determine the character of monotonicity of the sequence
c) Is it true that 2 for any n E N?
1.7. Compute the limit lim + 1)(n + 2).. (n + n).
1.8. Suppose that the sequence of positive integers is such that
kr/n —, p, n. Compute the limit lim
1.9. Find the limits:
a) lim b) lim —
c) lim
k
d) lim
. .r
sin
Ok<2n
e)
a) limsin(2ren!); b) limnsin(2ren!);
c) limn2.
sin(2ren!); d) [Link](r(v2+1)
,—
).
II. SEQUENCES
0.
1.15. Suppose that p > 1 and is a nonnegative sequence. Let
= + .. . + for n E N. Prove that the sequence
converges if and only if the sequence In is bounded above.
1.16. Prove that:
a)
b)
Prove that
1.24. a) Give an example of a bounded divergent sequence such
that
b) Does there exist a bounded sequence such that xflF1 — —, 0,
but the sequence {(x1 + + does not have a limit?
1.25. Let be a sequence of real numbers such that the limit
exists for any C> 1. Prove that has a limit.
1, then
2.5. Let <1 for nEN.
a) Show by examples that the existence of one of the limits
ka fl
a) inn; b) —1);
i<k<n
k>n
2.8. Prove that:
a) >0); b) <0);
1<k<n kn
c) (a>0); d)
l<k<n i<kn
e)
k>n
The results in problems 2.9 and 2.10 play an important role in mathemat-
ical analysis. They will be used in the solution of many of the subsequent
problem.
2.9. Prove that >i<k<fl = Inn + y + o(1) for some number y. The
number y(y = 0.5772. .)is called the Euler constant.
2.10. Prove that ln(n!) = = With
the help of the Wallis formula show that C = which implies the
Stirling formula: n!
2.11. Prove that for all n E N
<n! <
In particular,
RECURSIVE SEQUENCES
b) ifpE(O,1];
l<k<n
b)
l<k<n
c)
i<k<n
a) E
i<k<n
+ 1)n+C2+o(1).
b) = (1 — + (n E N).
3.3. Let x1 ER and = (2+ — 1.
3.5. Suppose that the sequence and the number p E R are such
that —p);1 for any n = 2,3 Prove that if p >0,
then the limit E exists, but for p 0 this assertion is false for
some sequences.
3.6. Suppose that the positive sequence and the number p E R are
such that for n = 2, 3 Prove that if p E (0, 2), then
converges, while for any other values of p this assertion is false for
some sequences.
3.7. Suppose that the sequence of nonnegative numbers is such that
+ for n = 3, 4 Prove that = 0(1/n!).
3.8. Suppose that k E N, 0 < /3 <cr/k, and is a nonnegative
sequence. Prove that:
(Xn_i
a) if; = 0 then =
0 , then =
(n!)a )
3.9. Suppose that
kEN,
0
((1
forany e>0;
§3. RECURSIVE SEQUENCES 23
o k
exp
( ,,)
forOczo<k,
for > k;
c) if + ... + xfl_k)/e
, then =
d) if +"+Xflk)/(fl!) , then
an/2k
).
CHAPTER III
Functions
that if one of these sets is at most countable, then the other is also at most
countable?
1.6. Let 10 be the Dirichlet function:
11 for xEQ,
f0(x)
= 1 o for x E R\Q.
a) Prove that f0(x) = for any x E R.
b) Does there exist a sequence {fj of continuous functions on R such
that f0(x) = for any x ER?
1.7. Prove that the set of points of discontinuity of an arbitrary function
on an interval C R is an P-set, that is, the union of a sequence of closed
sets. Is this true if the function is defined on an arbitrary metric space?
1.8. Define on R a function with a given set E of points of discontinuity
a) E is a closed set;
b) isaclosedsetforany nEN.
Define on the interval (0, 1) a function such that any nonempty
1.9.
open interval C (0, 1) contains a continuum of its points of continuity
and a continuum of its points of discontinuity.
1.10. Prove that a function f defined on an interval (a, b) is continuous
if and only if:
a) f has the Cauchy property (that is, the image of each interval (p, q) C
(a, b) is an interval);
b) the set f'({y}) is closed for any y E R.
1.11. Prove that a function on an interval [a, b] is continuous if and
only if its graph is connected and closed.
1.12. Let E C R, and let I be a bounded function on E that has a
local extremum at each nonisolated point of E. Prove that the set 1(E) is
then at most countable. Is this true if E is a separable metric space? An
arbitrary metric space?
1.13. Describe all the continuous functions on an interval [a, b] having
a local extremum at each point of (a, b).
1.14. Suppose that a function 1 is defined and one-to-one on (a, b) and
continuous at a point c E (a, b).
a) Is r' necessarily continuous at the point 1(c)? Does always
have one-sided limits at 1(c)?
b) Is r' continuous at the point 1(c) if I is strictly monotone?
1.15. Let f E C((a, p6)). Prove that f is one-to-one if and only if it is
strictly monotone.
1.16. Suppose that a positive function I is defined and differentiable on
[a, +oo). Prove that if infv>a f'(x)/f(x) > 0, then:
a) f(x)=o(f((1+ö)x))is x—'-i-oo forany ö>0;
b) f'(z) f'(ez) as —' +oo for any e >0.
CONTINUITY AND DISCONTINUITIES OF FUNCTIONS 27
1.17. Prove that if f E C([0, +oo)) and the limit f(nx) exists
for any x 0, then the limit f(x) exists. Prove this if the limit
f(nx) exists only for points x in some nonempty closed set without
isolated points.
1.18. Define on [0, +oo) a function f satisfying the following condi-
tions:
a) = 0 for any x E [0, +oo);
b) f is bounded on any finite interval and has discontinuities of the first
kind only;
c) the set of limit points of f at infinity fills R (compare with problem
1.17).
1.19. Define on [0, +oo) a function f satisfying the following condi-
tions:
a) f(nx) = 0 for any x E [0, +oo);
b) the set of values of I on any nonempty open interval C [0, +oo)
fills R (compare with problem 1.17).
1.20. Prove that if f E C([0, +oo)) and f(x+h)—f(x) —, 0 as x —, +00
for any h E R, then f(x + h)— f(x) 0 as x —, +00 on any finite interval,
and hence f is uniformly continuous on [0, +oo).
1.21. Let 5 > 0 and f E C([0, 1]). The graph of f is said to have
a horizontal chord of length ö if there is a point x E [0, 1 — ö] such that
1(x) = f(x + ö). Prove that if f(0) = 1(1), then for any n E N there is a
horizontal chord of length 1/n. Show that for chords of a different length
this is not true in general.
1.22. Prove that if fE C(R) and f(x+h)— 2f(x)+f(x—h) —, 0 as
h —, +oo for any x E R, then f is a linear function.
1.23. A function 1: R —, R is said to be Cësaro-continuous if the condi-
tion +. . . —, x0 implies —(f(xg)+• . . —'1(x0). Describe
all functions that are Cësaro-contiuous.
1.24. Let f(x) = 11k>O(1 + x < 1. Prove that
a) there exist C1 > 0 and C2 > 0 such that c1 for all
xE[0, 1);
b) the function is not monotone on the interval [0, 1);
c) does nothavealimit as x—' 1—0.
1.25. Does there exist a continuous function on [0, 1] such that all sets
of constancy are countable (have the cardinality of N)?
1.26. Suppose that the function I is defined and separately continuous
on the square Q = [0, 1] x [0, 1]. Prove that there is a sequence {fj of
functions continuous on Q such that f(x, y) yE
[0, 1] (that is, I is a function of the first Baire class on Q).
1.27. Let f be defined and separately continuous on R2. Prove that if
1 vanishes on a dense subset of R2 (that is, a set whose closure coincides
with R2),then fEO.
28 III. FUNCTIONS
—x
3.10. Let fE V([a, b]), and let g(x)= Var(f) (x E (a, b]), g(a)=
0. Prove that if I is continuous at a point c E [a, b], then so is g.
3.11. Let I E C'([a, b]). Prove that = f dx.
30 III. FUNCTIONS
Suppose that 1
3.12. < 2, let 1(x) = x2 for 0 < x 1,
and let 1(0) = 0. Prove that f V([0, 1]) and f is differentiable on
[0, 1], but the function g(x) = Var(f) is not differentiable at zero. Does
g'(O) exist for = 1?
3.13. Supposethat for 0<x1
and f(0) = 0. Prove that:
a) f E V([0, 1]) if and only if /3;
b) I E Lip1([0, 1]) if and only if /3 + 1;
c) if < /3 + 1, then I E Lip7([0, 1]), where y = cx/(/3 + 1).
3.14. Let 0 < y < 1. Construct a function f E 1]) not having
bounded variation on any nondegenerate interval C [0, 1].
3.15. Find functions f, g E C([0, 1]) such that:
a) f E V([0, 1]) and I 1]) for any 0;
b) g V([0, 1]) and g E 1]) for any < 1.
3.16. Suppose that a function f: R —, R is continuous and 2ir-periodic,
and let
co(x)=j
f(x — t)
dt (xER).
s/iT
Prove that E Lip112; more precisely, prove that 19,(u) —
k12
The graph of I is pictured in Figure 2. The function 1 is called the Cantor
function (and its graph the "Cantor staircase").
3.17. Prove that:
a) if x = Ek1 2ek/3k, where ek = 0 or 1, then 1(x) = ek/2,
'1
I
4 I
I I I
I4 .__i
I
I I I
I I
I III
278i
O
993
FIGURE 2
CONTINUOUS MAPPINGS 31
b) JEC([0,1]);
c) on the middle third of each interval defined in the construction
of the Cantor set (see §1.1) the function f is constant and takes the value
1
for any point X0 E K and any number h > 0 is increasing at any point
of K).
3.21. Suppose that F C R is a closed set without isolated points. Prove
that there exists a function f E C(R) such that:
a) f'(X) = 0 for any X E R\F;
b) f(X + h) — f(X — h) > 0 for any X E F and any h > 0.
A function f on an interval containing a point c is said to belong to the
class Lip(a, c) (cr> 0) if there exist positive numbers L and ö such that
If(x)—f(c)I for any point x in the intersection , c+ö).
3.22. Supposethat is
the set of critical points of 1. Prove that:
a) if 1' E c
f then
t
o 119 2/9 3/9 419 519 619 719 8/9 I
FIGURE 3
§5. FUNCTIONAL EQUATIONS 33
Series
§1. Convergence
a) b) c)
n>2fl +P
iMu)
,,
c)
i'(n + 1)'
where i'(n) is the number of digits in the decimal expression for n.
1.5. Determine whether the following series converge:
a) b)
c) E d) E — (n—
converges.
(1) stands for the series
Recall that
36 IV. SERIES
n +m +m
+m n +m
LCM(n m) 1
g) h)
n4+m4 (LCM(n,
m) is the least common multiple of the numbers n and m,
GCD(n, m) is their greatest common divisor, and e(n, m) = 1 when n and
m are relatively prime and 0 otherwise.
1.8. Verify that the sum of the series
11 111111
111111111111
(the group of terms + — is repeated times) is equal to 1. Find
a rearrangement after which the sum becomes equal to —1.
§2. Properties of numerical series connected with monotonicity
Suppose that
2.1. > 0, 1. Prove that the series E arccos2
converges if and only if the sequence is bounded.
2.2. Let j 0. Prove that:
a) the series E converge or diverge simultaneously;
b) if = +oo, then 1/ n) = +oo;
c)if lflnn)=+oo.
The Abel transformation for series is used in the solution of many of
the subsequent problems: if sequences and are such that the se-
quence converges (where = b1 +. • then the series
and — converge or diverge simultaneously. In the case when
the series E converges, another variant of this assertion is useful: if the
sequence converges (where = + then the series
and — converge or diverge simultaneously. These
assertions are easy to prove by applying the Abel transformation (see Chap-
ter I, §2) to the sums Ei<n<jv The Abel transformation is especially
convenient in the case of I iionotone sequence
2.9. Prove that the series converges if e > 0 and the sequence
{xn} is such that Xk —. 0. Is the convergence always absolute?
Does the series xjn converge?
2.10. Suppose that an j 0, j 0, and = = +00. Does the
series min(an, bn) always diverge?
2.11. Suppose that an 0 and —. oo, where = a1 + an
Prove that: a) Ean/Sp = +00; b) <+00 for any e >0.
2.12. Suppose that an 0 and <+00, and let = ak.
Prove that: a) an/cup = +00; b) < +oo for e > 0;
c) <1. d) Is it always true that
2.13. Suppose that p 1, an 0, and = >k>n <+oo. Prove
that: a) b) if = for some > 0, then
= for any q > + 1).
2.14. Let {an} be a positive monotone sequence with 1 for all n
and with an a <+00. Prove that the series
1 (an_i/an)—!
'—'n t
diverges.
b) Is it true that the series + diverges if 0 and
= +oo?
a) b)
a) = b) =
c) q1 < 1 for all n EN;
d) <+00 and <1 for all n E N;
ifp>0;
ifp>O.
If a)—f) hold, then so does the assertion g) for any Q > 1 there ex-
ists an index L = LQ such that afl+Lfafl Q for n E N, that is, the
sequence can be decomposed into L subsequences = {aflL+1}
(1= 0, 1 L — 1), each increasing no more slowly than a geometric pro-
gression: Q. Prove that if the sequence is monotone, then
g) a). Is this assertion true for nonmonotone sequences?
3.14. Let be a sequence of positive numbers, and let = a1 +
+ and + Prove that the following seven assertions
=
are equivalent:
c) = d) a1 <+00 and =
IV. SERIES
1 1 Ii\.ifp>O;
n+2
g) =
a) (pf(p — 1))
b) (pf(p — 1))P
3.16. Suppose that >0 for all n E N, and the series con-
verges. Prove that the series a2• • converges, while the series
>(a1 + diverges.
3.17. Let f be a function defined on R. Prove that the following prop-
erties of f are equivalent:
a) f(x)=O(x) as x—'O;
b) for any absolutely convergent series the series converges
absolutely;
c) for any absolutely convergent series the series E converges.
3.18. Let f be a function defined on R. If the series converges
for any convergent series then 1(x) = Cx in some neighborhood of
zero.
3.19. Suppose that Q is a countable subset of (0, 1) with infQ = 0 and
sup Q = 1. Prove that for any number x E (0, 1) it is possible to number
theset Q={q1,q2, ...} insuch awaythat
4.1.
4.2.
(rEN).
4.4. <4).
+ 1)! (IzI
where in E N, in > 1, = 1 if n is not
divisible by in, and = 1 — in if n is divisible by m.
2
4.6. 1)e'. 4.7.
1
(—
n2 m2
FUNCTION SERIES 41
— 3_S)_1
a) = lim(1
b) = lim(1
a) b)
where is the number of divisors and a(n) the sum of the divisors of
n.
§5. Function series
5.1. For what p. q >0 and x, y E R does the series
.
x
E
converge?
5.2. Suppose that —' 0. Does the series converge uni-
formly on R? Estimate I
under the assumption that <
I forany nEN.
5.3. Does the series
xn
42 IV. SERIES
—
lim <lim B(t) — B(t) —
—
5.12. Let 1(x) = sin nxi, where 0 and < +00. Prove
that f E Lip1 if and only if <+00.
5.13. Suppose that the sequence of polynomials satisfies the con-
ditions:
a)thedegreeof isatmost mEN forall nEN;
§6. TRIGONOMETRIC SERIES 43
b) the limit P(x) = exists and is finite for all x E [cr, flu,
a</3.
Prove that P is a polynomial of degree at most m • and P on any
finite interval.
5.14. Suppose that —00 a < b +oo, E C((a, b)), and 0
(n E N), and let f = f,. Prove that if I is continuous on (a, b), then
b b
j 1(x) dx = j dx.
A—'+oo in A j0
.
sin x
dx and lim — i
1
A—'+oo in A Jo sinx
What is the asymptotic behavior of the integrals Ln = and
= dx?
x ER.
6.7. Prove that the series * exp(inir(x — diverges for any
and
nN
6.12. Prove that the series
fork=±1 (x,y€R).
6.24. Let 1(x) = E2' Prove that f E Lip112, but I
for
6.25. Let 1(x) = sin where A E (1, 3). Prove that I E
where = log3 A, but f Lips for /3 >
6.26. Let 1(x) = Sin Prove that I E for any E
(0, 1). Is it true that f E Lip1?
6.27. Let f(x) = E2' sin(2irn!x). Prove that:
a) I for any 1J;
b) f is nondifferentiable at every point.
6.28. Prove that the following three properties of a trigonometric series
cos(2'x) +
n>O
are equivalent:
a) + <+oo;
b) the partial sums SN(x) = + are uni-
formly bounded on some interval fri ,bJ, a
c) the partial sums SN(x) are uniformly bounded on ILL
6.29. Consider the two sequences and {Qk}k>o of algebraic
polynomials (Rudin-Shapiro polynomials) recursively as follows:
= Q0 = 1, = + = —
6.32. Using the sequence {ek}k>o in problem 6.31, we see that there
exists a continuous function f of the form f(O) = ake such that
= +00 for any p <2.
6.33. Suppose that the sequence c C satisfies the condition (cf.
problem 6.31)
=
1<k<n
Prove that for > 0:
a)
ek ikO a
max =0(n);
1<k<n
b)
Integrals
+00
Isinxldx dx
1.1. [
JO eX2Smn2X
i.2. /
Jo
13 r 1.4. /
11
+00 [+00 dx
Isinx"Idx
1.5. [
J1
1.6. Isin(x" +1
x
+00
dx xPlsinxlXdx
1.7. [ 1.8.
I'/
[00
1.9. cos(x3 — x) dx. 1.10. / sin(x" + ax + b)dx, p> 1.
JO JO
+00
1.11. [ sin(xlnx)dx.
JO
a)
j f3(x)dx; b) j
1.13. Let 1(x) = (2lnIl _t21 dt (x > 0). For what e > 0 does
the integral converge?
1.14. Compute the Frullani integral f°°(f(ax) — f(bx))/xdx, where
I is continuous on [0, +oo) and satisfies one of the following conditions:
a) the integral f(x)/x dx converges;
b) f(x+T)=f(x) forsome T>0 andall x0;
c) the limit I = 1(x) exists and is finite.
1.15. Suppose that the integral f°° 1(x) dx converges. Prove that:
a) the integral f°° dx converges for any e> 0;
48 V. INTEGRALS
x x
x
q > 0).
x
+o(1).
With the help of the Stirling formula find the value of the Euler-Poisson
integral dx.
§2. COMPUTATION OF MULTIPLE INTEGRALS 49
1.35. 1
Jo
ed
j+OO (2 2/2)
1.36.
1.37. a)
Jo
I —dx; b) I
J0
1.38. f°° ir(x)/(x3 — x) dx, where ir(x) is the number of prime num-
bers not exceeding x.
a)
x)dx1 . . . dxv;
J
c) 1 1
(e>O).
J(1.+oo) x1 xv))
2.3. fR dx.
2.6. dx dy du dv.
2.9. Two points are chosen randomly in the interval [a, bJ. Find the
mean value M of the distance between them. What is the probability P
that this distance is greater than M?
2.10. Three numbers are chosen randomly on the interval [0, aJ. What
is the probability that they are the lengths of the sides of some triangle?
2.11. Two points u and v are chosen randomly on the interval [—a, aJ.
a) What is more probable: that the roots of the equation z2 + uz + v =0
lie on the real axis (probability P1(a)), or that the roots of this equation do
not lie on the real axis (probability P2(a))? What do the probabilities P1(a)
and P2(a) tend to as a —, +oo?
b) What is the probability that the biquadratic equation z4 + uz2 + v = 0
has both real and complex roots?
2.12. Two points are chosen randomly in the unit disk. What is the mean
value S of the area of the disk constructed with the segment joining them
as a diameter?
2.13. Two points are chosen randomly on a circle of radius R. Find:
a) the mean value L of the length of the chord joining them;
b) the mean value of the angle ( it) formed by the radii drawn to
these points.
2.14. Let p < 1 and let
((x —v)2 +(y —
=11u2+v 1
11 2 2
'1'(x, = II ln((x — u) + (y — v) ) dudv.
JJu2+v <1
Prove that 'I' E C'(R2) and find 'I'.
2.15. Let= {x = (x1,..., E I El<k<flxk/k 1, x1,...,
0}. Prove that for any t E R
1... 1 dx dx =
t
J /
2.16. Prove that for m, n E N with m n and for a > 0
I dx (_1)m_1 n—rn
I Ina)
JLO,Ir (a+x1 (in— 1)!(n —m)!
where = = f(a + 1) — 1(a)and =
2.17. Let ak (k = 0, 1 n) be positive numbers.
a) Prove that for any nonnegative continuous function f on [0, +oo)
f...jf(a1+(a2_ai)x1+(a3...a2)xx2+...+(a_a)x...x)
x dx1 . . d;
j...jf(a+(a
§2. COMPUTATION OF MULTIPLE INTEGRALS 51
Asymptotics
1.1. Suppose that —oo <a <b +00, f, g E C([a, b)), and g > 0.
Prove that:
a) if and as then
fg(t)dt as
b) if fg(t)dt= +00 and 1(t) =o(g(t)) as b—O, then ff(t)dt =
o(f: g(t) dt) as x —, b —0;
c)if fg(t)dt<+00 and as t—'b—O,then
as x—'b—O;
d) if fg(t)dt <+00 and 1(t) =o(g(t)) as t—' b—0,then
o(f g(t)dt) as x —' b —0.
1.2. Find the asymptotics as t —, 1 —0 of the following integrals:
b)
c) 2'(t) = — 2tcosx +t2)' dx.
c) I Mdx;
d) (p ER).
1.5. Find the asymptotics as n •—' +00 of the following integrals (n E N):
a) = dx (p 0);
53
VI. ASYMPTOTICS
b) (p>0);
c) = (p > 0).
1.6. Prove that as e —, +0:
a) 1/2e;
b) 1/2€;
c) —, 1;
d) f00(cosx)/xC dx ire/2.
1.7. Prove that as p —, +oo:
a) sin(x")dx ir/2p;
b) f°°cos(x")dx—'l.
1.8. Suppose that the function is continuous on R and has period
T> 0, and that =+ ço(t)dt 0. Prove that f11°° c,/e
as e—'+O.
1.9. Prove that as A —, +oo:
n/2 it
a)] sinx
dx=—A+0(1);
2
o
f'cosAx IT 11
1n/2 cos2xdx it
c)j
n/21
d) [ A xl
J0 \sinx/ 3
1.11. Suppose that the function I decreases to zero on [a, +oo). the
function is continuous on R and has period T> 0, and fj dt =0.
Prove that fFOO I
1(A) for A a.
1.12. Suppose that I decreases to zero on [a, +oo) , and is continuous
on R and has period T> 0. Prove that
JA JA
dt = f(t)dt + I + 0(1(A)),
where = fj dt and I =
f is nonnegative and monotone on [a, +oo), is
continuous on R and has period T> 0, and C, = + f' ço(t)dt 0. Prove
that:
§2. THE LAPLACE METHOD 55
a) b)
a) jx 3
1.19.
j f(x)dx = 1+
Prove that:
Inf(x)dx + O(e"), e —, +0.
sin nxj 2
a)
J x
dx
b) I max Isinkxl— Inn;
Jo 1<k<n x
Isinkxl dx
c) I max
Jo 2<k<n Ink x
lim n I xdx.
n—,00 J0
VI. ASYMPTOTICS
dx
a)j (1-x)A 2 C0
b)j C0
2A dx
a) —x ) dx (0 b)
j (1 1);
dx
J 2 Jo (1+x+x)2 A'
e) j°(ln(1+x)y1d o (0ir);
cos(ax)
a) sinA x dx; b) dx (a E R);
J (1 + x2)A
çA sinx dx
c)
A
e (A — x) dx; d) (p <2);
J
dx
e) 1' f)
Jo Jo
g)
j dx.
b) dx;
c) f(1 — 4x + 2x2)hZ
In the following problems we consider integrals of the form c1(A) =
f f4(x) dx, where the function 14, while not now a function of the form
considered in problem 2.6, still preserves its characteristic feature: as A in-
creases, the graph of 14 has a sharper and sharper "hump" in a neighborhood
of the point x4 at which 14 attains its largest value. Although the result in
problem 2.6 is not applicable here, the idea of the solution is preserved: rep-
resenting 14 in the form , and replacing lnf4 in some neighborhood of
x4 by its Taylor expansion and the integral over (a, b) by the integral over
the neighborhood of x4, we find the principal part of c1(A). The choice of
the neighborhood is the basic difficulty here. On the one hand, it must not
be too large, since otherwise the error due to the use of Taylor's formula be-
comes influential. On the other hand, in order to neutralize the second error
due to the replacement of the integral over (a, b) by the integral over the
neighborhood, this neighborhood cannot be too smalL The main content of
the solution involves a successful choice of the neighborhood, allowing good
estimates of both these errors.
We mention also that if x4 —, x0 as A —, +00, then it can be more con-
venient to consider the Taylor expansion of the function lnf4 in a neigh-
borhood of the point x0.
2.11. Find the asymptotics as A —, +oo of the following integrals:
f+OOf 2x \A dx px
a)
Jo
I\1+x/
—i J —; b)
J0
(Ax) dx (p > 0);
I A—.+x A
Jo
2.13. Provethatas A—'+oo:
l/2
a)
1' dx 1
b) x dx
1
j j
In the following problems we study the asymptotic properties of the Euler
r-funczion r(x) = IX_le_f di. x > 0.
• i
a) lim =0 urn I ?e 'dt = —.
x—'+oo f(1 + x) Jo 2
• —x .
b) hrn = +00 lim I t e dt = 1;
x—+oo x—.+oof(1+x)j0
—x
c)
•
urn
x—'+oo
urn
x-'÷oor(1+x)j0
1
I t e dt=0.
an = Xk —fl.
k>n
a) Prove that
1 N-i-1/2
Var(f).
n n!
C0
n )
3.18. Prove that:
a)
b)
c) .22.33..
3.19. Let 0. Prove that as n —, +oo (n E N):
a) b)
c) d)
1<k<n
62 VI. ASYMPTOTICS
= (1 +
(V'N_ 1/2+
and
following series(2):
following series:
t nt
(1 (1
.
/
k) 1_1n2' 'Ld(11fl)2
3.30. Find the asymptotic behavior as t —. 1 — 0 of the sums of the
following series:
a) b) E (1 +12fl)2;
e)
(.v0>0).
a) b) = (Cpn)lhJ (i
+ + 0 (i))
4.10. Construct a positive function f on (0, +oo) such that the recur-
sive sequence = x0 > 0, satisfies the relation 1/(ln n).
4.11. Suppose that x0 E (—1, 2), = — 1) (n E N) Find
the asymptotics of the sequence
4.12. Suppose that a0 = 1, and = + (>.0<k<n ak) (n E N).
Prove that
4.13. Suppose that < 1, a0 = 1, and = + ak)
(n E N). Find the asymptotics of the sequence
4.14. Suppose that p E R, a0 = 1, and = +
(n E N). Find the asymptotics of the sequence
CHAPTER VII
Functions (Continuation)
§1. Convexity
A function 1: (a, b) —+ R is said to be convex (strictly convex) if for all
points x1 , x2 E (a, b) and all numbers > 0 with + = 1 the
inequality
f(t1x1 + t2x2) t1f(x1) + t2f(x) (f(t1x1 + t2x2) <A1f(x1)
holds for x1 x2. If —f is convex, then f is said to be concave.
I(
J l<j<n
for any x1,..., b),
E (a, E [0, 1J, with = 1.
1.2. Suppose that a function f is defined on the interval (a, b), and let
x1 <x2 <x3 be points in (a, b). Consider the chords joining the points of
the graph of f with abscissae x1 and x2, x1 and x3, and x2 and x3. The
slopes of these chords are
f(x2) — f(x3) — f(x3) — f(x2)
for any triple of points x1 <x2 <x3 in (a, b) (the three chords lemma).
Verify that this pair of inequalities is equivalent to
1 x1 f(x1)
1 x2 1(x2) 0.
1 x3 1(x3)
1.3. Suppose that a function 1 on an interval satisfies the inequality
<1(f(x) +f(x2))
68 VII. FUNCTIONS (CONTINUATION)
f( xj E (J = 1 n)
I<j<n
for any rational E [0, 11, = 1;
b) if I is continuous, then it is convex.
1.4. Prove that the condition of continuity in problem 1.3b) can be re-
placed by the following condition: f is bounded above on some nonempty
open interval q) C = (a, b) (or even on (p,
1.5. Prove that the following three statements are equivalent for a func-
tion 1: (a, b) —,
a) f is convex;
b) the supergraph = {(x, y) E R2 I x E (a, b), y f(x)} of f is a
convex set;
c) through each point of the graph of f it is possible to draw a straight
line supporting the supergraph (i.e., a line such that all the points of the
supergraph lie above it).
1.6. Prove that if f is a convex function on [0, 1J, then the function
= 1(x) + 1(1 — x) is decreasing on [0, 1/21.
1.7. Prove that if a function on an interval is locally convex, then it is
convex.
1.8. Prove that a convex function I on (a, b) is continuous on (a, b),
and has there finite increasing one-sided derivatives and and
1' (x) exist everywhere except on an at most countable set of points. Prove
that I E for any closed interval C (a, b).
1.9. Prove that a function f E C((a, b)) is convex if and only if for all
x E (a, b)
0.
In particular, if I1(x) = 0 for all x E (a, b),then I is a linear function;
if f is twice differentiable on (a, b),then it is convex if and only if f' 0
on (a,b).
1.10. Prove that a function I E C((a, b)) is convex if and only if
1
E (_1)kf(ak)f(
, 2P2 Ii 2P3
c) xf(x)dx c) x 21(x) dx
fI fl fl
I 1(x) ço(x) dx ! f(x)dx! ço(x) dx
JO JO JO
1') f(x)f(y)f(xy)(x,yE(0,oo)).
§1. CONVEXITY 71
/ \'/P/ \1/q
>ajbj( >afl (
1<j<n
Prove that:
a) K is monotonically increasing;
b)
limic(p) = (x1 ..
c) = max{x1,... ,
d) ic(p) = min{x1,... ,
e) the function = (ic(p))" is logarithmically convex on (0, +oc).
Formulate analogues of these assertions for nonnegative functions in
C([0, 1J).
1.31. Suppose that f is a piecewise continuous function, 1: [a, bJ —,
[m, MJ, is a convex function on [m, MJ, p is a continuous and non-
negative function on [a, bJ, and fp(x)dx = 1.
Prove that in this case:
:
dx) ço(f(x))p(x)dx;
(
c) if f> 0, then
p(x)f(x) dx.
J
72 VII. FUNCTIONS (CONTINUATION)
The quantity f*(x) shows how much it is necessary to lower a straight line
through the origin with slope x in order to make it a supporting line of the
supergraph of f (Figure 4).
1.34. Prove that if a function f: R —, (—oo, ooj is convex, then:
a) f is convex;
b) the set 91(f) = {x E R I fOx) <+oo} is an interval, and if a point
is not an endpoint of then
1(t) = sup{g(t) I g is a linear function, g 1);
c) (f)*(t) = 1(t) if t is not an endpoint of
d) Young's inequality f(t) + f(x) xt holds for all x, t ER;
FIGURE 4
§2. SMOOTH FUNCTIONS 73
ab< I I
JO JO
1.36. Find the Legendre transform and write Young's inequality (see
problem 1.34d)) for the following functions:
a)
b) (pl);
c) the graph of f is a convex polygonal curve;
f —t"fp ift0,
d
+00 t<0 (0<p<l);
( ifltla,
( +00 ifItI>a (a>0);
( ift>0,
+00 ift0;
g) f(t)=e'.
1.37. Consider the collection W of pairs (f, g) of convex functions on
satisfying the condition xy 1(x) + g(y) for all x, y E ILL Call a pair
g0) E W extremal if the relations f g g0, and (1' g) E W
imply that I = 10 and g = g0. Prove that the pair g0) is extremal if
and only if = g0 and g0* = 10.
1.38. Give examples of functions satisfying the condition f(x) = f(—x)
(x E R). Prove that the only function coinciding with its own Legendre
transform is the function 1(t) = t21 2.
§2. Smooth functions
2.1. Prove that if f is differentiable m times on the interval (a, b) and
x, x+mh E(a, b), then hmf(m)(x+0h),where 0<0 <m (see
74 VII. FUNCTIONS (CONTINUATION)
fl E N with f is a polynomial.
2.14. Let be an arbitrary sequence of real numbers. Prove that
there is a function I E C°°(R) of the form 1(x) = +
such that =
a E that
if 1(a) = 0, then
f(x)=
forsomec1,...,
2.17. Let f and g be nonnegative continuous functions defined on
[0, oo). Prove that if for some number C 0
(1)
j,k=1
foranyt1,...,
A function I is said to be conditionally positive-definite if(1) holds under
the additional condition that z1 + + Zm =0.
2.18. Prove that:
a) the function f(t) = (t E Rl?) , where a E R'1, is positive-definite;
b)thefunction f(t)=Acos(a, t)+B A,BER,
and A > 0, is conditionally positive-definite.
76 VIL FUNCTIONS (CONTINUATION)
2.20. Prove that the functions 1(t) = e" and g(t) = 1/(1 +t2) (t ER)
are positive-definite.
2.21. Prove that:
a) the function 1(t) = (t E is conditionally positive-definite;
b) for 0 <p <2 the functions f(t) = (t E are conditionally
positive-definite.
2.22. Prove that if a function f: C is positive-definite, then:
a) f is positive-definite;
b) f is bounded;
c) continuity at zero implies uniform continuity of 1.
2.23. Prove that if the function 1(t) = is positive-definite for all
s > 0, then the function C is conditionally positive-definite.
Sf(x) — f"(x) 3
— f'(x) 2
— 6
de ( f(x)
—
2.24. Verify that the following assertions are valid for real functions sat-
isfying the above conditions:
a) if the composition fog is defined, then
S(fo g)(x) = Sf(g(x))(g'(x))2 + Sg(x):
if h(x) =
b) /J)/(yx +ö) and the composition g = h of is defined,
then Sg(x) = Sf(x);
c) if Sf(x) <0 for all x E then also S(f)(x) <0 (x E for any
n EN;
d) if Sf(x) <0, then S(f')(y) >0 at the point y =
e) the inequality Sf(x) <0 (x E holds if and only if the function
g = IfhIhhI2 is convex;
0 if Sf(x) <0 for all x E then the function il does not have a
strictly positive local minimum in (a b) (the modulus princi-
ple").
It can be seen from problems X.1.37—40 why it is negativity (and not
positivity) of the Schwarzian that is important.
2.25. a) Verify that the functions f(x) = sinx, f(x) = 1(x) =
xe_X, f(x) = e' ,and 1(x) = Ax2 +Bx+C satisfy the condition Sf(x) <
§3. BERNSTEIN POLYNOMIALS 77
Snr(X) = — — flXy
O<k<n
Prove that:
a) Snr+i(x) =x(1 --1(X)), rEN;
b) = = = nx(1 — =
nx(1 —x)(1 —2x), = nx(1 —x)(1 +3(n—2)x(1 —x)).
3.2. Let n E N and ö > 0. For x E [0, 1] let
O<k<n
Ik/n--xIo
Prove that:
1 1 17 —2n5
a) b) c)
x) = —
O<k<n
x, y) = L) —
3.13. Suppose that f E Cr([0, 1]). Prove that fi) on [0, 1].
3.14. a)Let IELiP [0, 1], Provethat
M(x(1 — x a positive
constant depending only on f.
b) Let E [0, 1J and let fa(x) = Prove that
n
f is convex on [0, 11, then x) 1(x) for all n EN
and xE[0, 1].
b) If a continuous function f on [0, 1J is such that x) 1(x) for
all n E N and x E [0, 1], then I is convex on [0, 1].
3.16. Let f E C2([0, 1]). Prove that:
x(1—x)
x) — 1(x) (11(x) +
= 2n
where the sequence {ej of functions converges uniformly on [0, 1] to zero
(the Voronovskaja formula).
3.17. Suppose that f E C([0, 1J), g E C2([0, 1]), and g is equal to
zero outside (a, b), where 0 <a <b < 1. Prove that:
g —x)g(x))"dx.
O<k<n
3.18. Let the function f: [0, 1] —. R be such that
sup x) — f(x)I = o(1/n).
O<x<I
Conversely, if the system (1) is solvable with respect to t for any a1, a2,
and e, then is ilTational.
b) Prove that if and are irrational, then the set of integer
solutions of the system (1) is relatively dense on the line.
4.3. What condition must the numbers E R satisfy in order
that the system of equations
(mod 1), i=1,2 k,
have for any e > 0 a solution t with > for some 1?
4.4. Find a condition which the numbers E R must satisfy in
order that the system of equations
(mod!), i=1 k,
have for any a fl..., ak E [0, 1] and any e > 0:
a) a real solution t;
b) a relatively dense set of solutions.
ALMOST PERIODIC FUNCTIONS AND SEQUENCES 81
T—'+oo Tjr
exists for each continuous UAP function.
4.17. Let (f, g) = where f and g are continuous UAP func-
tions, and the functional M is defined in the preceding problem. Prove
that:
a) (f, g) has the properties of an inner product (in particular, 1) = 0
if and only if I 0).
b) the functions = t E R, form an uncountable orthogonal
family with respect to this inner product;
c) the quantities = E R, k = 1 n) satisfy the
inequality
1<k<n
(Bessel's inequality for the system Conclude from this that 0
for at most countably many values A. Can this set be an arbitrary countable
subset of R?
4.18. Let a nonperioclic sequence. Define the
sequences and as follows:
b J0 a—fl
ifa ifa
Prove that at least one of the sequences and is nonperiodic.
A binary sequence e = {ek}kEN is said to be a!?nost periodic if for any
"word" (ek+ ek+1) (we also write €k+1 in e there exists a num-
ber LEN such that the set {n EN I = =1 j 1} intersects
every segment of the natural numbers of length L. Almost periodicity for
two-sided sequences {ek}kEZ is defined similarly.
4.19. Let {ek}kEz be an almost periodic sequence, and let 1(x) =
(x E R, [x] the integer part of a number x). Is I a UAP function?
4.20. Is it true that for every almost periodic sequence {ek}kEz the
Cesàro means have a limit
lim
—n<k<n
of folds" is due to the fact that with the word it is possible to associate
a sequence of folds of a paper strip that are formed on the strip as a result
of bending it n + 1 times (first in halves, then once more in halves, and so
FIGURE 5
84 VII. FUNCTIONS (CONTINUATION)
on). If upon moving along the strip a 1 is associated with each fold leading
to a bend to the left, while a 0 is associated with a "right bend" fold, then
is obtained (see Figure 6). The sequence s is uniquely determined by
specifying the numbers 2
Prove that every sequence of folds is almost periodic, but not periodic,
not even if we confine ourselves to terms with sufficiently large indices.
4.25. Prove that sequences of folds (see problem 4.24) have the follow-
ing property (Besicovitch almost periodicity): for each e > 0 there exist a
number L >0 and numbers E N (m E N) such that:
a) if is the number of falling in the interval C R4, then
for all intervals of length L;
b) for each m E N
— <e;
c)
iim1im—L
lim! IXkI
1(k(n Otd
4.27. Consider the binary sequence
r= = 00010010000111010001001011100010...
FIGURE 6
§4. ALMOST PERIODIC FUNCTIONS AND SEQUENCES 85
Lebesgue measure
1.1. Suppose that Ek C (0, 1), (k = 1, 2 N), and >1<k<Nt(Ek)
> N — 1. Prove that Ek) > 0.
1.2. Suppose that E C S1, z ZN E S1 , and ji is Lebesgue measure
on S1 ("arclength"). Prove that if jz(E) > — 1/N). then the set E,
suitably rotated, contains all the points z i,..., ZN, that is, there is a point
ZOES'suchthatZOzkEEfork=l N.
1.3. a) Prove that if E C Rm and A,,(E)> 1, then there are two (dis-
tinct) points x, x1 E E such that the differences between the corresponding
coordinates are integers.
b) Let V c Rm be a convex set centrally symmetric with respect to zero,
and let > ?. Prove that V contains a point a 0 with integer
coordinates.
c) Let V C Rm be a convex set centrally symmetric with respect to zero,
and let > where N is some positive integer. Prove that V
contains at least 2N nonzero points with integer coordinates.
1.4. Find the measure of the set of points in (0, 1) whose decimal frac-
tion expansion:
a) contains a 4 at a given place;
b) contains a prime number at a given place;
c) contains given numbers at two given places;
d) contains numbers of different parity at two given places.
1.5. What is the measure of the set of numbers in (0, 1) whose decimal
expansions contain a 0?
1.6. Let Ek C (0, 1) (k E N). Determine whether there is a subsequence
{Ek} such that > 0 if one of the following conditions holds:
a) = 1; b)
88 VIII. LEBESGUE MEASURE AND THE LEBESGUE INTEGRAL
c) When is the set in problem 1.11 a set of Cantor type? In this case what
is the defining sequence for it?
1.14. Construct a set E c [0, 1] of Cantor type having positive measure.
Show that the measure of such a set can be arbitrarily close to 1.
1.15. Prove that there exists a set A c [0, 1] such that for any (non-
empty) interval C (0, 1)
and
Measurable functions
The symbol denotes the set of all Lebesgue-measurable functions
on a (measurable) set E C that are finite almost everywhere. Two func-
tions in are said to be equivalent on a set E0 C E if they coincide
90 VIIL LEBESGUE MEASURE AND THE LEBESGUE INTEGRAL
f(x,y)=x2 +y2 2
(x +y 1).
2
where A= ak.
§3. Integrable functions
In this section all the sets and functions under consideration are assumed
to be measurable. The set of functions integrable with respect to Lebesgue
measure on a set E C Rm is denoted by as usual, fE 1(x) dx denotes
the integral of a function I over a set E with respect to Lebesgue measure.
The characteristic function of a set A is denoted by X4.
3.1. Suppose that the union of any three sets in the family E1,..., EN
coincides with [0, 1]. Let
S1 = and S2 = fl Ek).
dx
0
I
in terms of S1 and
3.2. Suppose that each point of [0, 1] belongs to at least k of the sets
in the family E1, ... , EN. Prove that k/N for some n.
3.3. Suppose that E C Rm, <00, and f E 2°(E). Prove that
the following conditions are equivalent:
92 VIII. LEBESGUE MEASURE AND THE LEBESGUE INTEGRAL
a) f€Sf(E),
b) >.k>1 k)) <00,
c) >.k1 Ill <k + 1)) <00.
3.4. Suppose that the sets Ek C R'1 (k E N) are distinct and that
<00, and let
k>n
= =
n1
for:
a) b)
XY
c)f(x,y)= ,, d)f(x,y)=
(x +
(in all these cases the value f(0, 0) can be defined arbitrarily).
3.9. Determine for what p E R the function f(x. y) = 1 —
((x y) E R2) is integrable on the set E in the following cases:
§3. INTEGRABLE FUNCTIONS 93
a) E=[0,1]x[0,1],
b) E=[0,2]x[0,2],
c) E={(x,y)€[0, 1]x[0, 1]I(x—2)2+y2>2, x2+(y—2)22}.
3.10. a) Let p > 0 and E c Rm. Prove that if' = r)),
then fEdy/lix — y11P for any ERtm
b) Prove that fE eiX dxl
I for any set E C [0, 22E].
c) Prove that
t) (Pj dx.
t) t2j If(x)I2dx.
3.12. Prove that if E 2(E) (E C Rm), then
t) = (t —, +oo).
dx (Ill 0).
JE p-.+O
I/p
f"(x)g(x) dx) efE
(JE p—.+O
(1 ife1(x)=j,
10 if
a) b)
10k
3.18. Suppose that a E R, a 0, 1, and x = is the
decimal representation of x E (0, 1). Let
a
if the first 0 has even index;
0 otherwise.
a) j f(x1,...,
=
o {j_2 f(u1 sinO sinO, cosO) 2(u)} dO
(n 3),
b) j f(x)dx
= j {J f(tw) dt (n 2),
=
In the solution of problems 3.24—3.26 it is useful to employ the formula
(see problem 3.22)
Jb
f(IIxII) dx =
J a
n—i
Prove that = dt.
In problems 3.25, 3.26, and others the symbol denotes the standard
Gaussian measure on , that is, the measure with density
where B is the disk of radius R <a about the point (0, a).
3.28. Suppose that A is a compact subset in the upper half-plane of the
space R2. If is the body obtained by rotating A about the x1-axis in R3,
then by Guiclin's theorem, = where is the ordinate of
the center of gravity of A. Regarding R2 as canonically imbedded in R4,
consider the body T "obtained by rotating A about the x1-axis in R4 ," that
= y2 dxdy.
Jj
3.29. Let A be a compact set in the half-plane x2 0 in R2. Regard-
ing R2 as canonically imbedded in consider the "body T obtained by
rotating A about the x1-axis in ," that is,
Prove that
a) = dx1 dx2,
2Jj
b) dx1 dx,,
= Jf
where is the "Gaussian volume of T" is the measure on with
density
3.30. Find the measure of the set
(p>O).
1<k<n
+ ... +
— r((m+q)/2) r(n/2) (
— r(n + q)/2) r(m/2)
for m,nEN, 1m<n,and rn+q>0.
§3. INTEGRABLE FUNCTIONS 97
b)
3.34. Let A c be an open set star-like with respect to zero, let q4(x) =
inf{t > 0 I ('x E A} (x E be the gauge function of the set A, and let
ji be a probability measure on such that I(x, y)Idu(x) <+00 for
any y E Prove that
j3.35.
ji(tA)(1 — jz(tA))dt
=
q4(x) —
JQ f(x)dx=J4(Q)
Is this true if the determinant of A is equal to 1, but its elements are not
necessarily integers?
3.36. Let T be an arbitrary compact convex body in Prove that if
the (n — 1)-dimensional volume of the projection of T on any hyperplane is
not less than S. then diam T nV/S. where V =
3.37. Suppose that T C is a compact convex centrally symmetric
body with respect to zero, and let 3 be an ellipsoid of maximal volume
contained in T:
3 C T, = C T, an ellipsoid}.
I
Prove that T C
3.38. Let K C C be a closed bounded set of positive (planar) measure.
Define the function by
=JJ
Prove that:
a)
b) is holomorphic outside K.
3.39. Identifying C2 in the natural way with R4, consider on the sphere
S3 the functions coma (m, n = 0, 1, 2,...) defined by the equalities
C2) =
98 VIII. LEBESGUE MEASURE AND THE LEBESGUE INTEGRAL
dji3(z1, Z2),
C2) = 2,E21s3 (1 —C1z1—C2z2)
4.2. a) Let 0mfr) = {(x1 Xm) E Rm I >.1<km IXkI r}. Prove that
jr
h IxkI) dx = (m tm_lh(t) dt.
JEll = mcxmjtm_1h(t)dt.
d) Ja(x)da(x), e) Ja(1—x)da(x).
4.7. Let K be the Cantor set, and a the Cantor function. Determine
the values of p E R for which the following integrals are finite:
a
11 ('da(x)da(y)
JO JO (x2 + y2)P/2
I I where(u,v)EKxK;
Jo Jo ((x—u)2+(y—v) 2)P/ 2'
4.8. Let K be the Cantor set, and a the Cantor function. Define the
function by
9,(z)= I (:€C).
Jo J0
Prove that (cf. problem 3.38):
a) E C(C), 1;
'-'00
b) is holomorphic outside K x K.
e-entropy and Hausdorif measures
Let A be a subset of R'1 and e a positive number. A set C C R'1 is called
an e-net for A if A C UXEC B(x, e). Let
N(A, e) = min{card(C) C is an e-net for A}
be the minimal cardinality of an e-net for A. If the set A is bounded, then
N(A, e) <00 for any e >0. The function H(A, e)=log2N(A, e) is called
the e-entropy of A.
5.1. A set E C RI? is said to be e-distinguishab!e if the distance between
any two points in it is at least e. Let
M(A, e) = max{card(E) E C A, and E is e-distinguishable}
I
100 VIII. LEBESGUE MEASURE AND THE LEBESGUE INTEGRAL
M- dim A = lim
H(A,e) II respectively, r(A) = lim H(A,e)
5.4. Find the metric dimensions and metric orders of the graphs of the
following functions:
a) 1(x) = sin 2Ex, 0 x 1;
b) 1(x) = 0< x < 1.
5.5. Find the metric dimensions and metric orders of the following sets:
a) Ax[—1,1]cR2,where
b) the graph of the function 1(x) = sin(2Efx2), 0 <x < 1;
c) where S(r) is the circle about zero with radius r.
5.6. Find the metric dimensions and metric orders of the following sets;
a) Ax[—1, 1]cR2,where A={1/ln(n+1)InEN};
b) the graph of the function f(x) = 0< x 1;
c) S( 1/ ln(n + 1)).
5.7. Find the metric dimension and metric order of the Cantor set.
5.8. Find the asymptotic behavior of the e-entropy of the set
that
H(A, e) (e —, +0).
5.11. Find the metric dimension and metric order of the set
I
Y—>.'1k3''lk—O, 1,2,
L €k and 17k have the same parity for any k,
(the Hironaka curve).
5.12. Let A C R' and let A, = A + + A (1 terms).
Prove that:
a) if r(A) = 0, then = 0 for any / E N;
b) if r(A) then ).(A,) = 0.
c) Is it true that if r(A)> 1/2, then )(A + A) > 0? (Consider the set in
problem 5.3e).)
Hausdorif measures. L. et A C and let p e >0. Define
UB(xk,rk), rk<e
k1
The infimum in the definition of e) is over all possible countable
coverings of A by balls, including balls with centers not in A. The function
defined on the system of all subsets of by
dimH(A)<r(A)= lim
— £:Th log2 1/e
for a bounded set A C
b) Let Ak C (k = 1, 2,...). Prove that
Such that < (n E N). A set of Cantor type with defining sequence
{'n}n>O is defined to be an intersection of sets constructed as follows.
Let be an arbitrary closed interval of length 'O• Remove from an
open interval 5 symmetric with respect to its midpoint in such a way that
each of the closed intervals making up has length The left-hand
one of these closed intervals is denoted by and the right-hand one by
The closed intervals and are called the intervals of first rank.
Let K1 = U Suppose that the set which is the union of the
intervals of nth rank with length in, has already been constructed. From each
closed interval of nth rank remove an open interval symmetric
with respect to its midpoint in such a way that each of the closed intervals
making up the set \5c...c has length 11141. The left-hand one of these
closed intervals is denoted by and the right-hand one by
The closed intervals are called the intervals of (n + l)st rank; let
K11+1 = Uc1 ,...,
The set of Cantor type generated on [0, 1] by the defining sequence
{211P}11>0, where p> 1 , will be denoted by K(p). Note that for p = log2 3
the set R(p) is the classical Cantor set.
d) dim11(E x E) = 2dim11(E).
5.24. Suppose that A is the set in problem 5.9.
a) Verify that A is a set of Cantor type, and find its defining sequence
A= >akn lakEEforanykEN
1%
k>1
rflF2
a) —I
1
dx=—
n+2
b) _!_ I Ix I
dx
6.3. After falling into 1000-dimensional space, Alice was asked how to
make thin glass hoops (spherical zones) in such a way that their width is
equal to 1/10 of the diameter. "It couldn't be simpler," replied Alice. "You
need to blow up spheres, and then cut off the excess" (see Figure 7). What
percentage of glass is wasted with this technique?
6.4. A point x = (xi,..., is chosen at random in the ball What
is more probable for large n: 1x1 I < or Ix1 I > (It is assumed
that the probability of the point falling into a given set is proportional to the
measure of the set.)
6.5. Two points are chosen at random on the sphere S'1'. Let be
the mean value of the distance between them. Find
6.6. Let be normalized Lebesgue measure on the sphere S'1'
Prove that the coordinates on this sphere "are asymptotically distributed ac-
cording to a normal law," that is, that for any a, b E R with a < b
6.7. Suppose that the function I is continuous on the closed ball B'1,
M= and If(r, w) — f(w)I h(1 — r) for any w E S'1' and
r E [0, 1], where h is an increasing continuous function on [0, 1] that
vanishes at zero. Prove that the mean values of f on the ball B'1 and on
the sphere S'1' are close in the following sense: for any E (0, 1/2)
cc' j 1(x) dx —
j f(w) 2(M(1 — e)'1 + h(e)).
f
6.10. Let be the measure on R" with density (n/2ir)'1'2 . e'1H2h12.
a) Verify that = 1.
b) Find the limit
c) Prove that IIHxH—1I>e
< for 0< e < 1.
FIGURE 7
106 VIII. LEBE5GUE MEASURE AND THE LEBESGUE INTEGRAL
a;:L
Prove that:
a) b)
6.15. Prove that for any q E R and 0 <p < oo
i)
=
Consider successively the following cases:
a) q>O, 0<p2;
b) p2;
c)
d) q<0.
6.16. Prove that for any q E R and 0 <p <00
--I I q
xii q(1/p--l/2)
6.17. Prove that the radius of the ball with volume 1 is ex-
pressed by the formula
fl fl \fl
and find a and b.
6.18. a) The ball B'(r) is tangent to all the edges of the n-dimensional
cube [—1, Compare for large n the volume of the cube and the volume
of the balL
§6. INTEGRALS OF HIGHER MULTIPLICITY 107
b) The cube [—1, lJ'1 is partitioned by the coordinate planes into 2'1
cubes. In each of them we inscribe a ball, and then we consider the ball
B'1(p) tangent from the outside to all the balls inscribed in the cubes. For
what n is B'1(p) c [—1, 1J'1? For large n which is larger: the volume of
the cube [—1, iJ'1 or the volume of the ball B'1(p)?
6.19. Find the asymptotics of the radius of the ball whose
Gaussian volume is equal to 1/2.
6.20. Let and be the mean values of the function l/11x111 on
the respective sets B'1, and [—1, 1J'1, where is the n-dimensional
octahedron: = {(x1,..., >.1<k<n IXkI 1}. Prove that
I
=
n/(n— 1), and 1/n.
6.21. Let be the mean values of the function 11x112/Hx111
on the respective sets and [—1, 1J'1. Prove that:
A—'1(xx)
6.24. Let be a convex set centrally symmetric with respect to zero
that is contained in the cube (—1, 1)'1. Prove that if > (3/2)'1, then
for sufficiently large n the set contains a point a = (a1,..., with
integer coordinates such that >1<k<fl akl > n/10.
6.25. Prove that:
a) lxii dx
J —,
f(X1
b) dx (1 C([0, 1J));
that:
a)
foranyOE(O, 1/p).
c) Can n9 in b) be replaced by where > 0, —, 0?
6.27. Prove that for any n and any vector a E
1/p
In this chapter, as in the preceding one, the symbol stands for Lebesgue
measure on the space Rm = and the symbol 5! °(E) stands for the
set of all measurable functions defined on a set E and almost everywhere
finite.
We assume that the reader is familiar with the basic facts in the theory of
functions (the theorems of Lebesgue and Riesz about the connection between
convergence in measure and convergence almost everywhere, Lebesgue's the-
orem on taking the limit under the integral sign, the theorem on termwise
integration of positive function series, Bessel's inequality, the Riesz-Fischer
theorem, the completeness of the trigonometric system of functions). Some
of these theorems are constantly used in the solutions (for example, the the-
orem on termwise integration of positive series), and it seems to us that
without others (for example, the theorems of Lebesgue and Riesz) the very
formulation of a number of problems cannot be sufficiently understood, even
if these theorems are not formally used in the solutions.
g) 1).
1.2. For a E R let {a} = a—[a] be the fractional part of a, and let be
the characteristic function of the interval with endpoints {ln n}, {ln(n + 1)}
110 IX. SEQUENCES OF MEASURABLE FUNCTIONS
d) la,;— inmeasure
0 for any with 0<
2.6. Let M C and suppose that 111112 Clllll1 for any function
f E M. Prove that:
a) if 0< r < 1 ,then there is a number 0 = 0(r) such that C°lllllr
for any function f E M;
b) there is a number = > 0 such that for
any fEM;
c) if CM, then —,
0 if and only if
—,
0 in measure.
2.7. Let C and suppose that
111fl112 C and ö
for some C, ö > 0 and any n E N. Prove that if the series
converges absolutely almost everywhere on E, then <ci.
2.8. Prove that if sin(nx + convergesin a set of positive
measure, then
2.9. Let be an orthogonal system in p2(E), and let =
lk• Prove that if —' 0 then —, 0 in mea-
sure. (Diverse variants of this assertion bear the name of the law of large
numbers.)
2.10. Prove that the following sequences converge in measure
on the interval (—it, it):
a) = sin2 kx.
b) =
c) = + 1/k)ksin2kx.
d) = — k/n)sin2kx.
E, that is, the strong law of numbers holds for the sequence
Prove that, moreover, the function h = belongs to
2.14. Let be the nth digit in the binary expansion of a number
x E (0, 11, and let
a —' 1/2 in measure;
b) 1/2 a.e. on (0, 1).
The latter means that, for almost all numbers in (0, 1), 0's and l's occur
equally often in their binary expansions.
2.15. Fix one of the digits 0 9, say m ,and let Cm(X) = 1 if the dec-
imal expansion of the number x—[xJ has the form 0.m..., while Cm(X) = 0
otherwise. Let = Cm(1OkX). Using the same method as in
the preceding problem, prove that:
a) —' 1/10 in measure;
b) —' 1/10 a.e. on (0, 1).
f(xk)
1<x<n
dx.
=
J
b)
. ..
=
1<k<n
fi J
3.3. Let m1 be distinct positive integers. Prove that:
a) f0' rm(t) rm(t))dt = r2(t)
b) frm(t)rm(t).rm(t)dt=0,
in particular, is an orthonormal system in 1).
§3. THE RADEMACHER FUNCTIONS 115
a)
j dx,
b)
j
c) (z,ckEC).
d)Provethatif ER,
J1
e1' dx — 0 for t 0.
b)
\1/2
f
(
BJJ ckfrk(t)rJ(s) dtds,
J
dx A (
J
0
1/2
( VIkI) BJ 0
cfkrJ(x)rk(x) dx,
a) dx A (
1k<n
\1/2
f 2
b)
(
BJ cksin2lcx dx.
J 1<kn
where A and B are absolute constants.
3.9. Using the results of problems 3.5—3.8, prove that for any t> 0 and
any numbers Ck and
a) _<A1(4 kkI)
(
b) 4xE(0, 1) clkrl(x)rk(x) >t
c)
1%
E (0, 22E)
>4 (
where A1, A2, and A3 are absolute constants.
3.10. Let (xE(0, 1)). Provethat:
a) E (0, < oo;
b) [Link] (0, 1).
Each of the assertions a) and b) implies the equality = 0 al-
most everywhere on (0, 1) , which is known under the name of the strong law
of large numbers. Using the connection between the Rademacher functions
and the digits of the binary expansion (see problem [Link])), deduce from this
that the binary expansion of almost everywhere number contains "equally
many" 0's and l's (see problems 2.14 and X.2.30).
3.11. Let C be an arbitrary real n x n matrix, and A the set of all
possible vectors in with coordinates equal to ±1. Prove that
a) y)4 K1 . VE4(Cx. y)2)2.
b) K2 where K1 and K2
are absolute constants.
3.12. Using the uniqueness theorem for Fourier transforms of finite Borel
measures, find the distribution functions of the following functions:
a) 1(x) = + (x E (0, 1));
§3. THE RADEMACHER FUNCTIONS 117
b) (xE(O, 1)).
where {mk}k>1 is an arbitrary (not necessarily increasing) sequence of dis-
tinct positive integers.
3.13. Let be one of the intervals Am,j (see the definition of the
Rademacher functions). Prove that for m n (in, n E N, t> 0, ak E R)
the following inequalities hold:
a)
JA E akrk(x) dxJA E akrk(x) dx,
Moreover,
b)
j e'
if E ={x E(0,
ak%(x) dx <jd akrk(x) dx.
t}, then:
c)
J dxJ dx;
E E
ak%(x)
d) dx j e' akrk(x) dx.
L
3.14. Using the inequality cosh(s) (s E R), prove that the fol-
lowing inequalities hold for a1, a2, ... E R and c1, c2, ... E C:
a) E (0, l)II>21<k<flakrk(x)I > t} 2 where A2 =
b) E (0, 1)1 I
ckrk(x)I > t} where C2 =
ICkI2.
c) if
esssup <oo
xEA
k1
for some (nonempty) interval then lakI <oo;
b) if
for mEN.
3.20. Prove that:
a) is an orthonormal system in 22(0, 1):
b) if E = {x E (0, 1)11 akhk(x)I > t} then for n in
dx akhk(x) dx;
J£ O<k<ni akhk(x) JE
c) if
3.21. Using the fact that for any function f integrable on (0, 1) the
Fourier series in the Haar system converges to f in 21(0, 1), prove that:
a) the series converges almost everywhere on (0, 1);
b) if E = {x E (0, 1)1 > t}, where is the nth partial sum
of the Fourier series for I in the Haar system, then t(E)
3.22. Using the result of problem 3.14, prove that Khintchine's inequality
holds forany p>0 andany a1,...,
1<k<n 1<k<n P
where A,, and B,, are positive constants dependent only on p, and
e112. The precise values of the quantities A,, and B,,
are found in [37J.
3.23. Prove that the assertions a)—d) of problem 3.17 are equivalent to
the assertion
e) the series akrk converges in 5f2P(0 1) for any p in (0, +oo).
3.24. Prove the following for any trigonometric polynomial eke
(n 2):
a) there exist numbers ek = ±1 (k = 0, ±1, ±2 ±n), such that
2n
I ikx : 2
ICkI
J IkIn
where c> 0 is an absolute constant;
b) there exist numbers €k = ±1 (k = 0, ±1, ±2 ±n) such that
/ 1/2
sup ekcke IckI)
xER
IkL<n IkIn
3.25. Prove that for any a> 2 there are numbers >0 such that the
series
+ .. +
-
almost everywhere.
3.26. Let be an arbitrary increasing sequence of positive inte-
gers. Prove that —
almost everywhere on (0, 1). If / = 0(ln ni), then we get from this a very
weak variant of the law of the iterated logarithm:
—
lim '
222
f(x) =
1 C
a) (x ER);
cy2it
b) f(x) = ER");
c) (xER).
4.2. Suppose that 0 < 1 and f and are 2it-periodic (measur-
able) functions with esssupRlf(x)l <oo, = for lxi it.
Prove that the function = — y)dy (x E R) is in the
class Lip1_0.
1(n) = jf dx (n E Z).
The sums are called the Cesàro-FejEr sums. It is easy to see that
a (x) = J_ [
2irn J—jr
—
sin2((x — y)12)
a) forany xE(—lr,lr);
b) if q< then
dx y
ft(s)
= j d4u(t) (s ER'1),
0 forx<0,
g(x — t)dg(2t) = x for 0 x 1,
J 1 forx>1.
4.25. Let = be an arbitrary strictly increasing sequence of
positive integers, and let = and = Further, let
g(t) = sup = 0 or 1
for t > 0 and g(t) = 0 for t <0, and let the functions g1 and g2 be con-
structed analogously with the help of the sequences and 1/2, respectively.
Prove that:
a) g€C(R);
b) g(t) = 0 almost everywhere on R, and = 0 almost everywhere
on R.
c) Verify that the function g is "divisible" in the sense that g(x) =
for any xER.
4.26. Prove that if two finite Borel measures on take the same values
on all possible half-spaces (that is, on sets of the form {x E a) c},
where a E and c E R, then they coincide.
4.27. Find the general form of a Borel probability measure on R" that is
invariant with respect to orthogonal transformations and is at the same time
a product of two measures concentrated on nontrivial orthogonal subspaces.
CHAPTER X
Denote by (or simply Id) the identity mapping of X into itself (i.e.,
Id(x) = x for any x in X). A mapping h: X —' X is called an involution
if ho h =
1.3. Let 1(x) = x+ 1 and g(x) = x— 1 (x E R). Choose two involutions
h and k such that ho k = f and k oh = g.
1.4. Prove that each bijection is a composition of two involutions.
(a)
(b)
FIGURE 8
f that
128 X. ITERATES OFTRANSFORMATIONS OF AN INTERVAL
have more than one attracting cycle, and for a = 2 it has an n-cycle for any
n E N, but none of them are attracting.
1.41. Let be a continuous mapping of the circle into itself having a
fixed point and a 3-cycle.
a) Prove that also has n-cycles for all n > 3.
b) Does necessarily have a 2-cycle?
1.42. Let f be a continuous increasing function on the line that satisfies
the condition
f(x + 1) = f(x) + 1.
Prove that:
a) the mapping z = = gives a homeomorphism of
the circle S' = {zI Izi = 1} that preserves the order of succession of any
three points, and an arbitrary orientation-preserving homeomorphism of the
circle can be given in this way;
b) if the limit
lim =
called Haar measure. Its uniqueness can be employed in the solution of the
following problem.
2.4. Let the mapping TA: X X be the same as in the preceding prob-
lem, but let det A E Z, det
I
1. Such a mapping (now not one-to-one)
is called an endomorphism of the torus. Prove that it preserves Lebesgue
measure.
2.5. Verify that the mapping T(x) = f mod! (x E (0, 1J) preserves the
measure dp = (C/(! + x))dx.
2.6. Find an absolutely continuous invariant measure:
a) for the mapping [—!, !J —. [—!, !J,where is the corresponding
Chebyshev polynomial (see problem !.!5b));
b) for the mapping f: R —, R given by f(x) = 1 — 2x2.
2.7. Prove that a mapping T has an invariant (respectively, finite in-
variant, absolutely continuous invariant) measure if and only if some power
TIZ (n EN) of it has this property.
The correspondence P: f
associated with T.
f
and f is uniquely determined up to values on a set of measure zero.
is called the Perron-Frobenius operator
Pf(Tx) (x E X).
= I
Consider the nonnegative functions on [0, 1) that are constant on the inter-
vals Each such function is determined by the vector c = (c1,..., of
values it takes on Let us denote it by The set of nonnegative
vectors in R'1 is denoted by
i= ii,
J =J A,fd(x)dx, 1
and the vector d has the form d = ire, where ir = is some matrix
determined by T.
The mapping c irc is a discrete (finite-dimensional) variant of a Perron-
Frobenius operator.
b) Find the matrix ir and prove that = 1 (j =1 n).
§2. TRANSFORMATIONS WITH AN INVARIANT MEASURE 135
b) T(x)=1—2x2,
c) T = is a Chebyshev polynomial (see problem 1.15b)), d,i =
j7(x)dP(x) =
= fJ
l<k<n
and on the remaining closed intervals the measure is extended by additivity.
Verify that:
a) the transformation T(x) = (2x) mod 1 is mixing with respect to the
measure
b)
c) the measures and are mutually singular for p 1/2;
d) /2k, and are mutually singular when p1 p2.
§2. TRANSFORMATIONS WITH AN INVARIANT MEASURE 139
2.34. Let be the first digit in the decimal expansion of the number
2k
(k=O, 1,...),thatis, a0= 1, a1 =2, a2=4, a3=8, a4= 1
What is the frequency of the digit p E {1 9} in this sequence?
2.35. a) For the Gauss transformation T prove that for some C> 0 the
inequalities
n B) Cji(A)ji(B)
are valid for A, B C (0, 1] and n E N. Deduce from this the ergodicity of
T.
b) Prove the following for almost all x = [a1, a2,...]:
1) the relative frequency of a number k E N among the numbers a1,
a2, ... is equal to
1 (k+1)2
1
140 X. ITERATES OF TRANSFORMATIONS OF AN INTERVAL
2)
a +••-+a
urn— n
3)
Ink/1n2
4)
Introduction
Sets
1.1. b) Consider the mapping e (a', a"), where a = {ak}, =
{e2k1}, and a" = {a2k}, and show that it is bijective.
1.2. Use the binary expansions of numbers in [0, 1).
1.3. Use the results of problems 1.2 and [Link]).
1.4. Replace the set R by the set S of binary sequences, and prove that it
has the same cardinality as the set EN = xE xE x... For this consider the
mapping a = {a,,} —, = {,1(k) k)
E EN where
1k)
= a2k—(211) (k, J E N), and show that it is bijective (compare with the
solution of problem [Link])).
1.5. Use the result of problem 1.4, with the fact that a continuous func-
tion on [a, b] is determined by its values at the rational points.
1.6. Replace the set N be the set and consider a system of convergent
sequences of rational numbers with distinct limits.
1.7. Use the result of problem 1.6, replacing the set N by the set
{2,22,...}.
1.8. Replace the set N by the set and consider the system of sets of
the form aER.
1.9. b) Consider the set = {A E .9(N)I maxA = n} (n E N), and
prove that = Setting = 0, define by induction with
the help of the equality (A E n E N) and
show that the function + 1 has all the required properties.
1.11. Using the Axiom of Choice, form a set E1 by choosing one point
from each equivalence class described in problem [Link]). Consider all pos-
sible rotations of E1 through angles 2ith where 0 E and 0 < 0 < 1.
1.12. Associate with each figure eight a pair of rational coordinates, tak-
ing one point inside each loop.
1.13. Consider first the bird tracks with lengths of segments bounded off
zero. Use the same idea as in problem 1.12, taking points with rational
coordinates in all three angles corresponding to a bird track and sufficiently
close to its vertex.
1.14. Associate with each T-shaped figure a half-disk of radius 1/4
143
144 L INTRODUCTION
FIGURE 9
M'
FIGURE 10
constructed as shown in Figure 9. Show that these half-disks are disjoint.
Adding their areas, we get that a2, that is, N < 1 1a2.
Let P be the plane of symmetry of a hoop 0 perpendicular to
1.15.
its axis. On this axis fix points M and M' symmetric with respect to P
and separated by a distance equal to the diameter of the hoop. Consider
the balls about M and M' with radius ö (see Figure 10). We say that
these balls accompany the hoop 0. Consider hoops of width at least e > 0.
Prove that for any e > 0 there is a number ö > 0 such that if both balls
accompanying a hoop 0 intersect the balls accompanying a hoop c/, then
O and 0' themselves intersect.
See the solution of problem 1.17a).
1.16.
a) Let
1.17. = {n E rn}. Arguing by contradiction, consider
an infinite set M = {m1, m,, ... } C N such that ) <+oo for any
b) Let = {nlk E By a), there is an index in1 such that the set
E1 = is infinite. Replacing N by E1 and by = n E1
§1. SETS 145
I I I I I
p q p+a,j C a0 a
2
FIGURE 11
and again using a), we see that there is an index m2 > m1 such that the
set E2 = is infinite. Using induction, we construct a set E =
{m1, m2, .. . } which is the desired object.
1.18. Consider the set E in b) of problem 1.17 and show that if
card(E fl 2, then there is an index p such that fl 2.
1.19. b) First prove by induction that if x, y E E and k = 0
then forany nEN.
Let [p, q] C E and a E E, and assume for definiteness that a> q. We
prove that [p, q] C E. Let c = sup{x > x] C E}. It is clear that
Assumethat c<a. Considerapoint a0EE suchthat c<a0
and (p + a0)/2 <c (see Figure 11). Then
(x+a0 fp+a0 c+a0
and hence E j [p. (c + a0)f 2), which contradicts the definition of c, since
(c+a0)/2>c.
1.21. Show that along with each of its points a the set E contains all
points of the form (n E N), and E also contains arbitrarily small
numbers.
1.22. a) Let be the system of all possible disks with rational center
and radius. It is clear that if x E then there is a disk B' E such that
x E B' c For each disk in fix arbitrarily a disk Ba containing it (if
such a disk exists). Show that the system of disks chosen in this way is the
desired object.
b) For each n E N find an at most countable set E such that
E C UXEE B(x, 1/n). Consider U1
1.23. a) Prove the countability of the set
1/n)\{x}=ø}.
b) Prove the countability of each of the sets
E = {x EEIEfl(x, ={x
To do this verify that for distinct points x, x' E E
x x' (x and
(x' — 1/n, x')) are disjoint.
1.24. Apply the result of problem 1.25 to the set
G=
nEE
146 I. INTRODUCTION
1.25. Note first that if 0 <p <q. then there is a number C such that
[C, +oo) C nq).
Let 0 <p <q and mE N. Using the remark above, we see that there
exist numbers x1 E (0, q) and n1 E N such that n1 > m and n1x1 E G.
Consequently, there is a nondegenerate closed interval [p1, q1] C [p. q] such
that n1x E G for any x E [p1, q1]. Replacing [p, q] by [p1. q1] and m by
n1 and repeating the arguments, we construct a nondegenerate closed interval
[p2, C [p1. q1] and a positive integer n2 > n1 such that n2x E G for any
xE q12]. Continuing this process, we get a sequence of nested intervals
whose common point is the desired one.
1.26. Argue as in the solution of problem 1.25, replacing the set G at each
step by a set Gk in such a way that each of them is used infinitely many times
(forexamples,inthesequence G1,G2,G1,G2,G3,G1G2,G3,G4,...).
1.27. a) Show that the Cantor set has the same cardinality as the set of
binary sequences (see problem 1.2).
1.28. b) Use the result in part a).
1.29. Consider, for example, the set E = K \ where K is the Cantor
set.
1.32. Show that A contains a set with the cardinality of the continuum.
To do this consider the sets
= U (n E N),
ce,..., cE(O,l}
where denotes the closure of and prove as in problem 1.27a) that the
set Q = has the cardinality of the set of binary sequences. Verify
that Q \A is at most countable.
1.33. Assume that (a, b) is a bounded interval, and is a sequence
of disjoint nonempty closed sets contained in (a, b). Prove that (a, b) \
U1F,, 0. Let p = infF1 and q = supF1. Then the intervals =
(a, p) and = (q, b) are nonempty, and the sets = F,, n and
F, = F,, n are closed. Replacing (a, b) by and the sets by the
nonempty sets we construct the intervals and Carrying out
this construction for we get the intervals and The intervals
and are disjoint from the set F1 U F2 and from each
other. Continuing this process by induction, we construct a family ....
of open intervals satisfying the conditions of problem 1.32, and also tcie
equality n any e1,..., It now remains
to refer to problem 1.32.
1.34. Find a straight line not containing points of tangency of the given
disks. Use the result of problem 1.33.
1.35. Let be the closure of Arguing by contradiction, construct
a sequence of nested closed intervals C (a, b) such that = 0 for
any nEN.
1.36. Use the result of problem 1.35.
§2. INEQUALITIES 147
Inequalities
2.1. Let = E1<k<m ak—Em<k<n ak. It is clear that S0 = Using
the fact that the sequence changes sign, choose an index p such that
5,, and have different signs, and show that at least one of the numbers
IS,,I and '5p1 does not exceed maxl<k<fl lakI.
I
+ 1+
b) The right-hand inequality follows at once from the right-hand inequality
of a). The left-hand inequality is proved by induction. Note also that the left-
hand inequality in b) is a special case of the inequality in 2.7 for bk = i/ak.
2.3. The right-hand inequalities are easy to prove by induction. To
prove the left-hand inequalities it suffices to observe that + ak) x
— ak) 1 and to use the right-hand inequalities.
a) Use the Cauchy inequality about the arithmetic mean and the
geometric mean, along with the binomial formula.
b) Use the inequalities 1 + a and ? 1+ + ... + for
a>—i and aO.
2.5. a) Represent each factor on the left-hand side as the sum of a geo-
metric progression, and multiply the series obtained.
b) Using the inequalities a) and ln(i +1) 1, we have that
E ln(14) E H k
= fi
1<k<m k
lnln(i+Pm)=ln(
I / i\\ / 1
/
k
2.6. It suffices to prove only the right-hand equation (the left-hand in-
equality follows from the right-hand inequality, applied to the sequences
{ak}7 and {—bk}7). Here it can be assumed that the sequence is
nondecreasing—this can be achieved by changing the numbering. Assuming
that > a1 for some indices / < 1, prove that transposing the numbers
and in the sequence {ak}7 increases the sum >1<k<n akbk.
148 1. INTRODUCTION
1<k<n
and use the fact that its terms are nonnegative.
The left-hand inequality can be proved similarly or can be derived from
the right-hand inequality, applied to the sequences {ak}7 and
2.8. To prove the inequalities a) and c) use the Abel transformation. The
inequality b) follows from a).
The factor M cannot be decreased: fix / E {1 n} and consider the
sequence ak = 1 for 1 k j ak = 0 for / <k n. Then
akbk=bl+...+bJMj=M ak.
1<k<n
1 2 1 1 2
— (ak — as).
— — j =
1<k<n J
To get an upper estimate of the double sum use the inequality ak —
a lower estimate use the inequality ak — ölk — Il
(it follows from the monotonicity of the sequence Note that the
inequality b) is valid also for a nonomonotone sequence if we set
a. —a.
ö=min
k—j
The solution is analogous to that of the preceding problem, but the
2.11.
inequalities (j—k)(ak+l—ak) for 1 k <J n
are used instead of the inequalities ölk — fI ak — INk — ii.
2.12. a) Using the Cauchy inequality about the arithmetic mean and the
geometric mean, prove that the derivative of the function =
+x) (a +x) is not less than 1.
b) Using the inequality a), prove first the particular case when ak = 1
1(x) = (1+ + (1 —
(1
takes its largest value on [0, 1] at the endpoints of this interval. To do
this, show that f first decreases and then increases, that is, f'(x) <0 for
x E (0, c) and f(x) > 0 for x E (c, 1), where c is some point in (0, 1).
It is clear that
(x
— p(1 (1 — 1
— (1 (1
g(x)
= (1 — (1
Let r = p — 1 and 1 = lfx, and note that q — 1 = 1/ r and r> 1. Then
g(x) = + 1)P1 where
1>1.
Itisclearthat as t—' 1+0,and as t—'+oo. Itnow
suffices for us to verify that is increasing. Uncomplicated transformations
give us that
=
- v(t)),
where a = 1— lfr,
t+1 I
u(t) = 2r-j—j_ and v(t) = —,—-
—
ii1
IE[0,n], n2.
n
c) It can be assumed that I E [0, Let t = where 0 E
[0, 2). Then the inequality to be proved is equivalent to the inequality 1 —
— 0 = + nln(1 — —
ln(1 — 0/2). Differentiating with respect to n, show that
0 1 0\ 0 1 10
Note that the inequality c) holds for n 30, but does not hold for n 29.
2.17. The left-hand inequality follows from the relation ln(1 —x) —x—
x2/2 for 0 <x < 1. To prove the right-hand inequality we consider the
function = — e'(l
—
Since and ço(n)
it suffices to prove that if = 0, that is, =
e'(l — But in this case =
2.18. a) In proving the inequality = x2/(1 + x) — 1n2(1 + x) 0,
represent the function ço' in the form = (1 + x)w(x) and verify that
sgn = sgn x.
b) Study the character of monotonicity of the function = arctanx —
x/(1 + 2x/ir) and use the fact that 0 = = 9,(x).
d) Consider the function = 2sin(irx/2) + x3 — 3x for x E [0, 1].
Starting from the graph of ç0ffl, construct successively the graphs of the func-
tions ço", ço', and
e) Consider the function = sin2 x tanx — x3, and prove successively
that ço'">0, ço">0, ço'>0,
f) Compare the Taylor expansions of the functions cosx and
xy, (*)
2.28. See [34]. It suffices to prove the inequality for step functions in K.
If f E K for any number in (0, 1).
It is easy to see that for any function g
max(f, g) g)+(1 g).
152 I. iNTRODUCTION
Therefore,
jbmax(f(x), g(x))dx
The
j
right-hand side is maximal for s/i = and is equal to
v's) in this case.
Irrationality
3.1. a) b). It suffices to prove that for any number Q E N there exist
integers p and q such that 1 q Q and Ix — < 1/(qQ) (since
the right-hand side of the inequality tends to zero as Q +00, while the
left-hand side is positive by condition a), this implies that there are solutions
of the inequality Ix < 1/q2 with arbitrarily large denominators q).
Fixing a number Q E N, we partition the interval [0, 1) into Q congruent
intervals [0, 1/Q), [1/Q. 2/Q) [1 — 1/Q, 1) and consider the points
= nx—[nxj for n = 0 Q. It is clear that E [0, 1). Since the
number of these points is greater than the number of intervals, at least one
of them contains two points, say 0k and 0 k <j Consequently,
1/Q> —
= Ijx — [jxJ — kx + [kxJI. Taking q = j — k and p =
[jxJ—[kxj, we get that 1/Q> qx —pa.
c) a). Assuming that x = p/q. where p E Z and q E N, we get
that — as k —, +00. Since
—' 0 — E Z, this implies that
— = 0, that is, p/q = for all sufficiently large indices k. and
this contradicts the assumption.
Consequently, 0 = — + —
Therefore, for sufficiently
large n we have = , that is, = AE But then the
equality 4fl = + ç, implies that 1 = irA. This is impossible, because the
number it is irrational (see problem 3.13).
If F 0, then we get from the equality
4n+1
sin = 4 sin 1 — 2 sin2 41?)
sin(1rn312) = sin 4) +
3.7. b) Use the result of problem 3.2.
c) Use the result of problem 11.1.21.
d) Use the same device as in the solution of problem 3.6c).
3.8. Prove that for any interval [p. qJ, 0 p < q 1, there exists a
number x E R such that 5(x1?) E [p. qJ for n E N. To do this choose a
number m E N such that the numbers a = m +p and b = m + q satisfy the
inequality
a(q—p)2. (*)
It is clear that 5(y) E [p, q] for all y E [a, b]. It follows from the inequality
(*) that b2 — a2 2. Therefore, the interval [a2, b2] contains an interval
of the form [m1 + p, m1 + qJ, where m1 E N. Let [a1, b1J C [a, bJ be an
interval such that = m1 +p and = in1 +q It is clear that 5(y2) E [p. qJ
for all y E [a1 , b1J. It follows from the inequality (*) that the length of
[at, is at least two:
— — = a1(q — p) a(q — p) 2.
_____
154 1. INTRODUCTION
— —
n E N, it follows that
— —
—
1<k<n
'n+l (n EN).
b) Assume the opposite: ir2 = p/q. where p. q E N. Then
q
156 I. INTRODUCTION
j 2
CHAPTER II
Sequences
>
n/2<kn O<j<n/2
=
O<j<n/2 iO
1.6. a) The main contribution is given by the last terms:
(J)flJ
=
jO
U
"
1++Il+
/1
\n
4
n2
27\
n31
1 1 4
(n+1)
27
(n+1)
3+
256
(n+1)4
(fk\k
V,,
4<k<n
158 II. SEQUENCES
Obtain the inequality 0 by using the fact that the function f(x) =
(x/(a + x))x is decreasing on (0, +oo) for any a > 0. Verify that > 0
for n 8. Establish directly the inequalities between the for 1 n 8.
1.7. To investigate the quantities (n + 1)(n + 2). (n + n) = (2n)!/n!
use the result in problem 1.2.14. Another solution is obtained by noting that
+ 1).. . (n + n)/n) is an integral sum corresponding to the integral
+x)dx.
1.8. Use the result of problem I. 2.14.
1.9. In problems a)—d) use the fact that the sums under consideration
differ little from integral sums. In problem e) show that the sum lies between
the integrals — 1))112 di and —
1.10. a)—c) Use the equality e = Ek>o 1/k!.
1)1? with the integer 1)1?
d) Compare + (1 —
1.11. The convergence of the sequence to a positive
limit is equivalent to the convergence of the series
ia —x 1?
fl
1<k<n
1.13. Since
2—x = =
4+2; + 4+ +
= ...(2..x1) fl
1<k<n
Using the result of the preceding problem, we get that {Xn} is bounded, and
this suffices for convergence, since the sequence is increasing.
1.16. It follows from the result of the preceding problem that the conver-
gence of the sequence
(*)
(nEN). (**)
Xn
(the last equality follows from (**)). To get a lower estimate for x, use the
inequality (for a, b 0 and c 1) n — 1 times.
This gives us that Yn Xn Thus, 01 Xn and
hence Xn —' if —, 0.
Verify that in examples a)—e) the relation (**) is satisfied by the following
sequences {0n}
a) n + 2; b) n + 2; c) cos(x/21Z_l);
d) 3U2n+2 e)
— i
TI 1(k) (k)
1<k<n 1<k<m
§1. COMPUTATION OF LIMITS 161
Since 2k 0, for large in the second sum is small for all n in. For fixed
in the first sum is arbitrarily small if n is sufficiently large.
1.19. a) Assuming the opposite, we get for sufficiently large n that
\ / \ n /
which implies that
a1
n+1 n n+1
This is impossible, because the partial sums of the series
n+l
do not exceed a1.
= nC (for c> 1) and
b) Consider the sequences = n ln(n + 1).
1.20. Let I = E [—oo, +oo) and L > 1. Fix an index in
such that <L. Representing an arbitrary index n > m in the form
n = km + j, where k E {0, 1, ...} and / E {1 m}. we get that
= akfl+J + a1 karn + and hence
m<kn
iseven,
1 if[log2n] is odd.
Of the three limits lim + + lim + ... + and
lim + + only the second exists.
b) The inequality a2 b follows from the Cauchy inequality. To construct
a sequence with given limits a = lim((a1 + + and b =
+... + where 0 a2 b a 1, consider the sequence
taking the value on a set A C N of density a (see problem 2.3) and the
value /3 on the set N\A. Prove that the required equalities can be ensured
by suitably choosing the parameters and /3.
§2. AVERAGING OF SEQUENCES 163
ep
=
164 II. SEQUENCES
where
it follows that
= x0 + —
n>1
= x0 + (x0 — x1)
n>1
=xo+(xo_x1)Q-_1).
3.3. Since at each step the term in the sequence almost doubles, it
is natural to consider the sequence = It is obvious that
n+1 1
yn+1 = —
that is,
yn+1 Yn
n+1 n n+1
Consequently, = n(y1 —
2_k/k). From this,
k>n
x =n2
'-' 1
-p1.
"
XN+l
x
e
and hence
/3(n — k— (fin —
+ + + + 1).
Therefore,
C? 1
<
CeS
—
(the last inequality follows from the inequality_e' 1 + t). Choosing the
factor C large enough that CeS/yA for n = 1 k, we get
from this that the inequality holds for all indices n.
3.11. Use the result of the preceding problem. In example d) use the
result of problem 2.14b).
CHAPTER III
Functions
and let A be the set of points of discontinuity of the first kind for 1. It
is clear that A = where = {x E A1w1(x) 1/ n}. If A is
assumed to be uncoui able, then at least one of the sets is uncountable,
say Am• Let x0 be a nonisolated point of Am (see problem I.1.23a)), and
let {xk} C Xk —, x0, Xk x0 (k E N). It can be assumed without
loss of generality that Xk > x0 for any k E N. We prove that f does not
have a limit from the right at the point x0. Indeed, since Xk E there
are points and such that <IXk — x01, — XkI <IXk — x01,
and — f(x)I> 1/2m. It is clear that —, x0 and —' x0. Thus,
The sets A3, A4 are defined in the similar way using left-side limits. To
prove countability of A1, associate with each point x E A1 a rectangle
(x, x +e) x (1, L) f(x) f(x +0) , and
is small enough that 1(t) > L for all t E (x, x + e). It is easy to see that
if x,yEA1 and Choosingineachrectangle apoint
168 In. FUNCTIONS
The desired function can be obtained as the sum of a series with terms of
theform (EEL and SEER.
1.5. Assume that the set DR(f) is at most countable, and prove that the
set DL(f) is at most countable. Let w1(x) be the oscillation of I at a
point x (see the solution of problem 1.3). It is clear that = Ak,
where Ak = {x E I
1/k}. If we assume that the set DL(f) is
uncountable, then at least one of the sets Ak. say must be uncountable,
and with it also the set A = Afl\DR(f). Let x0 be a point in .4 such
that (x0, x0 + e) n A 0 for any e > 0 (see problem I.1.23b)). Fix a
sequence CA such that —. x0, > x0 (ii EN). Since ; E A,
there are points and such that x0 <xv, x0 <x <;,and
1/2m. Using the continuity of f from the right at x0 and
passing to the limit in the last inequality, we arrive at a contradiction.
1.6 b) Assume that a sequence {fj with the indicated properties exists.
We find a point c E R such that the sequence does not converge,
and thereby come to a contradiction.
Let be an arbitrary closed interval, and x1 an arbitrary rational num-
ber interior to Take an index n1 such that 1f0(x1)— < 1/3, that
is, 1 — < 1/3. Using the continuity of , fix a closed interval
centered at x1 such that C and Ii — (x)I < 1/3 for any x E
Let x2 be an irrational number interior to Take an index n2 > n1 such
that 1f0(x2) — < 1/3, that is, < 1/3. Fix a closed interval
centered at x2 such that C and < 1/3 for any x E
Now take an arbitrary rational number x3 interior to and repeat the con-
structions above, replacing by and x1 by x3, etc. By induction we
construct a sequence of indices and a sequence of closed nested
intervals such that Ii < 1/3 for x E '-'21—1 and < 1/3
for Itisclearthat 1/3 atapoint
and hence the sequence cannot have a limit.
1.8. a) Consider the function equal to 1 on an at most countable subset
of E with closure E (see problem I.1.22b)) and equal to 0 at the remaining
points.
b) Consider the series where is the function constructed as
described in the hint to part a), for the set E =
§1. CONTINUITY AND DISCONTINUITIES 169
l—x for—I<x0,
x1 +[x'] for 0 <x < 1
f(x)= l+x'+[x']
1 + (2— x)' + [(2— x)']
for 1 <x < 2
2+(2—x)' +[(2—x)']
and the point c = 0.
1.15. Arguing by contradiction, use the Bolzano-Cauchy theorem to prove
the absence of bijectivity.
1.16. a) Use the mean value theorem on the interval [x, (1 + ö)x].
b) Assuming that e < 1 and arguing by contradiction, find a sequence
such that —. +oo and where 5 is some
positive number. Use a).
1.17. Assume that the limit 1(x) does not exist. Then there
are numbers a and b such that a <b and the sets Ga = {x > OJf(x) <a}
and Gb = {x > 011(x) > b} are not bounded. Let x0 be a point such that
each of the sets Ga and Gb contains infinitely many points of the form nx0
(n E N) (see problem 1.1.26). Since the sequence {f(nx0)} cannot have a
limit, we arrive at a contradiction.
170 111. FUNCTIONS
f(x)—1
1.0 foranynEN,
where is the sequence of prime numbers, and is a sequence whose
set of limits of convergent subsequences fills R (for example, enumerate the
set arbitrarily).
1.19. Consider a partition of = (0, +oo) into equivalence classes,
with x y if xf y E After establishing arbitrarily a one-to-one corre-
spondence between the set of equivalence classes constructed in this way and
the set R, define the function I on (0. +oo) by 1(x) = tf(1 +[x]), where
E R corresponds to the equivalence class containing x.
1.20. Prove that the assertion f(x + h) — 1(x) 0 as x — +00 on
any finite interval is equivalent to the assertion that for all e > 0 there exist
and such that and supa if(x + h) — f(x)i
e. Prove the last assertion by arguing by contradiction and constructing a
sequence of nested closed intervals and a numerical sequence
such that —, +00 and + h) — e for h E
1.21. Prove that the function = f(x + 1/ n) — 1(x) takes a zero
value on [0, 1 — 1/n]. If 5 1/ n and S > 0, then consider the function
f(x) = — Ax, where E C(R). = 0. = A 0, and has
period ö.
1.22. Prove that if 1(x) has the property indicated in the condition of
the problem, then so does f(—x), and reduce the problem to the cases when
f is either even or odd. In the first case show that 1(x) —, f(0) as x —, +00,
and conclude from this that f const. In the case when I is odd prove that
—, 1(x) for any x E R, and using this verify that f(Ax) =
for any ER.
1.23. As in the preceding problem, reduce the question to the case when
f is either even or odd. If I is even, then assuming that f(x0) [(0),
consider the sequence If I is odd, then prove that f(Ax) =
considering successively the cases E N, E Z. 2 E and A E ILL
1.24. a) It follows from the equality (1 + x)( 1 + x2) (1 + x2 ).. =
(1 — x)'
(lxi < 1) that f(x)f(x) = (1 — .v)'. Therefore, f2(x2)
(1 — f2(x), that is, 1 < ffl <
b) Computing the logarithmic derivative of the function
F(x) = (1 - x)f2(x) = 1
k>0 1 + X
we get that
+
= = S(x)
n0 n7
§3. CONTINUOUS AND DIFFERENTIABLE FUNCTIONS
Since 11(1 + 1) <2t2/(1 + 12) for t E (0, 1), it follows that the series
/(1+x2 ) satisfies the Leibnitz test when x2 E (0, 1),
and its sum is negative. Direct computations show that S(x) <0 for 0.93 <
x <0.945.
c) By what was proved in b), there are points s and t in 1, 1) such
that s <I and F(s) > F(t). Let s,, S4, = (n = 0, 1, 2,...).
Using the identity
F(x) =
1+x
and the fact that the function (1 +x)/(1 +x2) is decreasing on 1, 1),
we get the inequality
1+s 1+1
F(Sn) — = —
1+5?, 1+1,?
— F(tni)) — F(tni)•
g(x) = —
f
is increasing. In the general case
consider the function f(x) = 1(x) + ex, where e is an arbitrary positive
number. If g 0, then the result already obtained should be applied to the
functions f and —1.
b) Apply part a) to the function f— G, where G is a primitive of g.
3.7. If I is differentiable, then g = 1" and hence f E C°°((a, b)).
Differentiating the identity f(x+ h) — f(x— h) = 2hg(x) twice with respect
to h , show by using 3.6a) that 1" const. Using 3.6b), we see that this result
is preserved if f and g are continuous on (a, b). If only the continuity of
I is assumed, then the result becomes false (1(x) = lxi. g(x) = sgn .v).
3.8. Consider a primitive of the function defined by =
inf{Ix—yIIyEF}(xER).
3.9. To prove the assertion b) a), study the set E [0, 1]l
1(x) — 1(0)1 ex}, where e is an arbitrary positive number. Prove that
n (0, c)) = c for any c E (0, 1). The statement c) does not imply
a). A corresponding counterexample can be obtained by considering one of
the coordinate functions of the Peano curve constructed in problem 4.4 and
using the fact that a set of constancy of this function does not have isolated
points (see assertion d) of this problem).
3.12. Estimate the increment of the function I on a region of mono-
tonicity. For = it is useful to employ the result in the preceding problem.
1
...<xk<yk<xk+l<...,infxk_O,supxk_1,
and form the sets A = {0} U UkEz[xk, Yk) and B ={1} U Uk€z[Yk, Xk+l).
The desired homeomorphism can be obtained by mapping each interval
[Xk, Yk) C A onto the interval [yk' xk+l) C B and 0 into 1.
4.4. a) The unambiguity of the definition can be verified by a direct com-
putation of and ip at ternary-rational points. The continuity of and
ip follows from the coincidence of any previously specified number of first
digits obtained in the representation of sufficiently close points t, ? E [0, 1]
as ternary fractions (without the digit 2 in a period).
b) Using the expansion of numbers in [0, 1] as ternary fractions
=E where = 0, 1, or 2, show that if ,j E [0, 1],
= , and = 0.y1y2y3..• , then = and = where
= , and the digits are determined successively as
174 III. FUNCTIONS
follows:
=
(v1
if is odd;
if + + + is odd;
—J
+ + +
2n
—1 is odd.
c) Different solutions of the system = = ,j can be obtained
only due to nonuniqueness of the representation of the numbers ij E [0, 1]
as ternary fractions. Verify that for = 2/9 = 0.02000... = 0.01222... and
= 1/3 = 0.1000... = 0.0222... the system has four solutions: 5/108 =
0.001020202..., 11/108 = 0.00220202..., 13/108 = 0.010020202...,
and 19/108 = 0.011202020....
d) Let t = E ço'({c}). If infinitely many of the digits are
even, then, replacing a2k by 2— for sufficiently large k, we get a point
in arbitrarily close to t. If a2k = 1 for k k0, then consider the
point (k k0) . —•
obtained from
by replacing the digits = and = 1 by 0's, and
1 by the
number 2 — The arguments are similar for the consideration of the
set
e) Prove that E Lip112([0, 1]). For 2 < in EN let p = [in/2], and take
t,? E[0, 1], t = = ,such that 3m <
3—m+1
If = = , then
= =
and hence 19,(t) — 9,(t')I — Assume now that there is
an index k in — such that 1 Let k is the smallest index
with this property. Then in view of the inequalities 3m — <
the expansions for t and ? must have the form t = .. .
form an e_net* for [0, 1]. Verify that the points (u(tk), v(tk)) form a 5-
net for the square [0, 1] x [0, 1], where S Cea. Prove that the number
of points in a 5-net for the square is not less than C0ö2.
4.6. Let E be the set of all binary sequences, and let E N,
E {0, l}} and E N, es,..., E {0, l}} be the fami-
lies used to define the generalized Cantor sets Kand K (see problem 1.1.31).
Define the mappings —' K and —, K by the equalities =
and 0(e) = i, where t E and I E (a = E E).
Prove that and are bijections, and I = o is a homeomorphism
of K onto K.
§5. Functional equations
5.2. c) It is evident that f is not linear, and hence f(x0) x0f(1)
for some x0 E ILL This inequality is equivalent to the linear independence
of the vectors e' = (1 , f(1)) and e" = (x0, 1(x0)). Therefore, the set
{se' + te"Is, t E R} coincides with R2 and the set {se' + te"Is, t E is
dense in 1R2 It remains to see that the points Se' + te" belong to the graph
of I for any rational s and t (this follows from a)).
5.3. Apply the result of the preceding problem to the function g(x) =
f(eX).
5.4. Show that f(1) = f(—1) = 0, and prove that I is odd. Consider
the function g(x) = +1(x) (x > 0) and use the arguments in the solution
of problem 5.3.
5.5. Use the result of problem 5.2.
5.6. Prove successively that 1(0) = 0, 1(x'1) = (1(x))'1, and f(x+y) =
1(x) + f(y), for x, yE IR. Using the equality f((rx +y)'1) = (rf(x)+y)'1,
where r E show that f(x2) = ±(f(x))2 for any x E IR; use the result of
problem 5.2.
5.7. Prove by induction that
Derive from this that the ratio (1/n)f(±n) (n E N) is bounded. Fix strictly
increasing sequences (nk) C N and {mk} c N such that the limits
f(n) and B=lim f(-m)k
—mk
= A and = B.
For any e > 0 fix an index such that O'flk <e and — Al <e.
Let x > 0 and p = [x/nk]. Then x = +S, 0 s < It follows from
(*) that + f(s) — f(x)l ap, and hence
—?——f(n k
Pflk+S x x
we see that A = B. Consider now the function f(x) = 1(x) — Ax and ver-
ify that lf(x)l a for any x E ILL Indeed, it is clear that f(x)/x —,
0 as x —, 00, and f, like f, satisfies the inequality (*). Therefore,
11(x) — f(nx)/nl a for any x E R and n E N. Assuming that x 0
and passing to the limit in the last inequality, we get what is required.
We remark that the estimate for f cannot be improved, as we can see
from the example of the function 1(x) = max(1 — xl, 0).
5.8. Show that 1(0) = 0 and that f is even. Prove that if f 0,
then 1(x) 0 for x 0. To do this verify that if [(a) 0 (a >0),
then 1(x) 0 on (0, a). Indeed, suppose that this is not so, and let c be
the largest zero of I on (0, a). Then = 0 for any n E N, and
hence f(cV'l + 22n) = 1(c) + = 0. Since cV'l + 2_2n E (c, a)
for sufficiently large n, we arrive at a contradiction to the choice of the
number c. Note further that a can be chosen arbitrarily large, because
= 4hf(a) 0. Accordingly, 1(x) 0 for x 0. Assume that
f(1) = and consider the set A = {x > 011(x) = x}. Verify that its
1
strictly increasing. Consider the function g(t) = in llnf(e')l and use the
result of problem 5.10.
5.12. Assuming that the desired function h is odd, show that the function
= ln(h(e')) (t E R) is strictly increasing and satisfies the equation
= Find a solution of this equation.
5.13. Verify that 1(0) = 0 and 1(1) = 1. For z 0 consider the
function g(z) = f(z)/f(IzI) and by using the fact that g is one-to-one
on each circle IzI = r prove successively that (for r E (0, 1]) g(r) = 1,
g(—r) = —1, g(ir) = ±i, = e±h7t14, etc. Deduce from this that
g(z) coincides either with or with Prove that the function
h(t) = If(t)I is increasing on (0, 1). Represent f(t) in the form
and use the result of problem 5.11.
5.14. Prove successively that 1(0) = 0, 1(1) = 1 (and hence f is in-
creasing), 1(1/2) = 1/2,and 1(x) = 1/2 for x E [1/3, 2/3]. Use induction
to see that f coincides with the Cantor function (see problem 3.17) on the
open intervals complementary to the Cantor set.
5.15. Prove successively that 02f/OxOy const, f(x, y) = Axy +
g(x) + g(y), and g" const.
5.16. Verify that if f(a) = 1(b) for al Ibi and the function g exists,
then 1(t) = f(ct) for some c with cl < 1 and for any t E ILL Deduce from
this that f const.
5.17. a) Verify that for each E S' the mapping Z —' S' defined
= is a character. Prove that each character has the form
by
where
5.18. a) Verify that for each t E R the mapping R —' S' defined
by = eutX (x E R) is a character. If is an arbitrary continuous
character, then Re > 0 for n N. Let 9,(2M) = e'0°, 1001 <n
o = Verify that = e'02 for any n E N, and prove that
=
b)—d). Use a) and the analogy with problem 5.17b).
e) Verify that for each n E Z the mapping S1 —, S' defined by
= r E S') is a character. To prove that each character has this
form, study the set Prove that it is finite if 1, and that for
some m EN the equality = 1 holds for any E Prove that if
n E N is the smallest such m, then = or =
f) Use the fact that the groups R are isomorphic.
g) Use the fact that the groups and x S1 are isomorphic.
5.19. a) See problem 5.2.
b) Consider
178 III. FUNCTIONS
c) Consider co(eX).
d) Consider in
See problem 5.18a).
e)
f) Use the fact that the groups and x S1 are isomorphic. Prove that
if S1 —, is a continuous homeomorphism, then 1. Use part d)
and the result of problem 5.18g).
_____
CHAPTER IV
Series
§1. Convergence
1.1. Find the number of indices n E [10k', 10N+1) whose decimal ex-
pansions do not contain the digit 9, and get an upper estimate for the sum
1.2. a), b) Consider the numerators of adjacent terms and show that they
cannot be simultaneously close to zero.
c) It suffices to prove that the series
1)21+Isinn2l+Isin(n+ 1)21)
diverges. To do this, show that the numerator is bounded below by a pos-
itive number. Indeed, if not, then for arbitrarily large indices n we have
that n2 = irk + e, (n — 1)2 = irk' + e', and (n + 1)2 = irk" + e", where
k, k', k" E Z and e'I. e"I < Therefore, 2 = (n—1)2—2n2+(n+1)2 =
ir(k' + k" — 2k) + e' + e" — 2€, which is impossible.
1.3. For a 1 consider the sums am = cos(b Inn), where
Nm ={n ENI2lrmblnn 2,rm+ir/4}, andshowthat am 740.
1.4. a) Consider separately the cases p> 1 and 0 <p < 1.
b) To study the sums use the result of problem
VI.3.l3for 1/2<p1.
c) Use the relation arccosx —x) for x —, 1—0.
1.5. a) Obviously,
b) Use the result of problem I.2.5b).
c) Use the equality = — 1.
d) Prove the following more general assertion: if > 0, and
1/ar = +00, then — = +00, where = (A0 = 0).
Let
0m2 A—A
Since the harmonic mean does not exceed the arithmetic mean, it follows
that
— = —
m 2<n241
I 79
180 IV. SERIES
Consequently,
1
22m 1
—
=
Therefore,
1 1 1
2m+i
EAA n n—i
m0
A-A
n n—i
(the last series diverges according to the Cauchy theorem; see problem 2.2a)).
1.6. Let = minmEN — rn/ni. Since < 1/2n, it must be shown
that <+00. Let Nm = {n E NICm ifl2 <Cmfl2},
where c0 = 1/4 and Cm T +00 (the choice of the sequence {Cm} will be made
more precise below). Since > c0n2 (see problem [Link])), it follows
that N = U Nm. Let Nm = {n1, n2, . . . }. Since <1/2n1, it
follows that n1 > 2Cm Using the result of problem [Link]), we get that
2 1
+
m
2m—2
Taking Cm = we get that
1 m(l—a)
= >2Sm <+00.
1.7. Instead of double series it is convenient to consider sums of the form
In examples e) and g) consider such a sum, extended
ihiprime values of rn, and use the result of problem 1.5.b).
f) Use the inequality
GCD(rn,n) I
GCD(m,n)=I n + m ) 3)
h) Use the equality LCM(n, rn)GCD(n, rn) = nrn and the method used
in the solution of problem f).
1.8. Each fraction 1/2fl (n = 0, 1, ...) appears in the series times
with the sign + and times with the sign —. The desired rearrangement
is obtained by multiplying the series by —1.
§2. Properties of numerical series connected with monotonicity
2.1. If 74 1 , then the series diverges. Suppose that —, 1.
Since arccosx — x) as x —, 1 —0, the given series converges simul-
§2. PROPERTIES CONNECTED WITH MONOTONICITY 181
= am
n+1 n
am =
1<n<m
n>1 k1
nL
Estimate the inside sum with the help of the Hãlder inequality.
b) Apply the assertion a) to the remainder of the series
a > 0. Let = — a. It that the
original series converges simultaneously with the series
L_d
>.1<k<flak_1/ak
divergestoo (cf. problem 2.1 la)). Using the inequality between the arith-
metic mean and the geometric mean, we get that the series
4—jn
diverges.
If —, +00, then the series under consideration can converge (for exam-
ple, = n'1) or it can diverge (for example, =
2.15. Note that it follows from convergence of each of the series that
x/f(x) —, 0 as x —, +oo (for a proof, get a lower estimate of the sum
>.n<m<2n) The series
k1
converges simultaneously with the series
k" 1
n(n + 1)) —
k" 1
+[f(k)] —
1
+[f(k + 1)]
kl 1
Using the Abel transformation and the relation x/f(x) —' 0 as x +00, we
get that this series converges simultaneously with the series 1/(1 +[f(k)])
that is, simultaneously with the series 1/1(k).
2.16. Let = a1+• =0. If <+00, then 1000 f(t)dt <
+00. Consequently,
<
f(t)dt
= j f(t)dt <+00.
n1 n1
2 / 1\ 2 / m
1 1 1 1
=
m M M
n2/1
>Xk
JL
E
m<j<n
+ +
v' !1 + 1 1+
Nn<M
n i M L1
N
M
1
M E N.
b) Get a lower estimate of the partial sums of the series
(an = +00.
+
3.2. For example, + n). Moreover, there exists such
convergent series ç that for any m = 2, 3, ... the series is
divergent. For example, a3k = 2/Ink, a3kl = a3k+l = —1/Ink (k =
2,3,...).
3.3. a) Fixing a parameter 2 > 1 (its choice will be made more pre-
cise below), break up into two sums: in the first the summa-
tion is over those indices n such that and in the second over
the remaining indices. It is easy to see that the first sum does not exceed
and the second does not exceed Minimizing the quantity
1) over all 2> 1, we get that (1 +
186 IV. SERIES
b) Get an upper estimate of the sum of those terms for which n3.
3.4. Let = Then and hence
By assumption, <+00, which by the result of problem
3.3b) gives us that
b 1
In <+00,
IAkak+lI.
l<k<n
§3. VARIOUS ASSERTIONS ABOUT SERIES 187
= +oo,
where = —
Using the Abel transformation, we get that
—
= +00, although the series — converges.
3.10. It suffices to consider the case = 0. To estimate the sum
ço(en)a,, break it up into two sums: >1<fl<N and Using the
Abel transformation, show that the second suin is small for all e > 0 if N
is sufficiently large.
2k
3.11. In the sequence {lfn} rearrange the terms with 2k1 in
increasing order.
3.12. In the sequence {1/n} rearrange the terms with (k — 1)! <n k!
in increasing order.
3.13. a) c). The inequality A, = is equivalent to
the inequality (1— It can be proved similarly that b) d).
a) and c) b):
A, — C>2 c >
=
k>n k kn k
b) and d) a):
> q2
1<k<n k
Thus, the first four assertions are equivalent. Let us now prove that a) g):
since a,/a,+L CAfl/Afl+L it follows that afl/a,+L 1/Q for a
sufficiently large index L. The assertion g) a) is obvious if a, 1. The
33,
example of the sequence 2, 3, 22, 32 shows that it is not true
for nonmonotone sequences.
It remains to prove that a) e) and b) f). We prove the first asser-
tion (the second has an analogous proof). It suffices to prove that a) e)
(the converse assertion is obtained by applying this assertion to the sequence
= Since a g), it follows that
+•• + = +... + = O((a,L+L +... +
= = O(a).
3.14. The solution is analogous to that of the preceding problem.
3.15. a) Let = — and prove that
cr,, — (n —
= / np
— 1) A,,
\ ,, p(n—l) "—i
. 2)
— p — 1
188 IV. SERIES
ço(x)=
for xO,weseethat
(i + !AP1.
—
v'
L1
1<n<N
(i.
=
1<n<N l<n<N
that is,
1<n<N 1<nN
for all NEN.
b) Using the Hälder inequality (problem VII.1.29), we get from the in-
equality a) that
p (LAP) 1-1/P
I + . + 'z
V'
for p> 1 (see problem VII.L30). It follows from the Hardy-Landau in-
equality (see problem 3.15b)) that
> cia1 • e
n>1 )
However, the series consisting of the Values of f diverges:
( = =
n>1 )
½ = +00.
3.18. Prove first that f is odd in some neighborhood of zero. Assume
not. Then there exists a sequence —, 0 such that = 0.
Take a sequence C N such that 74 0. Then the series obtained
from the series a1 — a1 + a2 — a2 +.•. by repeating the nth pair of terms
times is convergent. However, the series consisting of the values of I
diverges, since 74 0.
It is clear that f is continuous at zero (see problem 3.17). Prove that
f is continuous in some neighborhood of zero. Assume the opposite: there
exists a sequence of points of discontinuity such that —, 0. For any
n E N there exists a number > 0 such that sup1, a <5 — f(t)I >
verges, because +
f and odd in some
neighborhood of zero.
Prove now that f(x + h) + f(x — h) = 21(x) in some neighborhood
of zero. If this is not so, then there are sequences 0 and 0
such that + + — — = 0. Take a sequence of
integers T +oo such that
74 0. The series obtained from the series
— 1 <2m+lrm. (*)
It is clear that the satisfaction of this inequality for all m E N suffices for
the relation i,, 0, that is, for the equality x = It is not hard to
verify that if (*) holds for some index, then it holds also for the preceding
index, and hence for all the preceding indices.
The sequence will be constructed by induction. It can be assumed
here that Q has already been numbered in some way. Therefore, we can
refer to the first element in any nonempty subset of it.
As q1 take the first element of Q satisfying the inequality (*) for m = 0,
that is, 2x —1 < < 2x. It follows from the conditions infQ = 0 and
sup Q = 1 that such elements exist. Assume that q1,..., have already
been constructed and that (*) holds for m = 0 n — 1. Let q be
the first element in the set Q\{q1,..., qE — 1,
then we let = q. The inequality (*) will be satisfied for m = n. If
q — 1, then we consider two cases: a) q 2n+1 b)
(1 +
—
f... +
2M
—1 + + 2MrM < 2M+lrM+I. Thus, (*)
holds for m=M, and hence also for m=0,..., M.
§4. Computation of sums of series
4.1. Use the equality — sin =
4.2. Use the equality 3cos + cos = 4cos3
§4. COMPUTATION OF SUMS OF SERIES 191
((n+r—1\' (n+r\'
r ) r )
E
1<n<2N
and replace the sums by the corresponding asymptotic expressions (see prob-
lems 11.2.9 and II.2.13a)).
4.9. Show that
>
I<k<N
J2n x nN
where N EN. Then use the results of problems 6.16 and 6.8a) and Stirling's
formula.
4.11. The solution is analogous to that of the preceding problem.
4.12. Denote the right-hand side of the equality to be proved by 'N• It
suffices to prove that 'NI — 'N = 1/N2 and 'N —. 0. To prove the first
assertion use the known equality
2N ir (2N — 1)!!
cos
(2N)!!
and integrate twice by parts. To prove the second assertion note that
(JC
'N = ir (2N—i)!! + +
(1 (1
1<n<m
I
e0 + e0
nI
5.3. Since
1 1
rn(rn- 1)
The convergence of the series for x> 0 is obvious. The convergence
5.4.
is not uniform, because the general term of the series does not tend
uniformly to zero: = 1. To estimate the sum of the series we
break it up into two sums: + where N E N is such that
N! 1/x < (N+ 1)! (if x> 1 the first sum is equal to zero, and the
second does not exceed 1/n! = e — 1). Then
n!2xN!2;
l<n<N ln<N
=
1)! (N: 2)k <7flj
Consequently, 1/n!x) 7/2.
§5 FUNCTION SERIES 193
5.5. Prove that lim,,1 0 B(t) = +00 and that as 1 —, — 0 the limits 1
superior (inferior) of the ratios A(t)/B(t) and >n>N a//B(t) are the same
for any NE N.
5.6. By changing a0 it is possible to assume that = a0 +• • + 0.
Then from the equality = (1 — t) we get that
EaI
n>O
(1 —t) E
O<n<N
—
n>N
(1—t)
O<n<N
By selecting N to be large we make the second term small, and then by
selecting t to be close to 1 we make the first term small.
Another solution can be obtained with the help of the equality
= (1 — t)ES/ =
n0
and the result in the preceding problem.
5.7. Convergence of the series follows from the relation =
— = 0(n). Since
= (1 = (1
n0 n0
— 1) + — t'7)) = 0,
which follows from the Abel theorem (see problem 5.6).
The example = shows that the condition <+00
is essential. Indeed, in this case
In = — 1) + —
12n) +0
194 IV. SERIES
and hence
A(t)
= exp >
I + o(1)
\ —, 2
as
5.10. Show that instead of the given series it is possible to consider the
alternating series Sm(x), where
Sm(x) = >
+ 0(1)
1<n<,n
6.6. Use the boundedness of the function (1/(sinx) — 1/x) on the inter-
val (0, ir/2] and the result of problem [Link]) and c).
6.7. Compare the sums
>: n
-1/2
exp(znir(x —
k2<n<(k+1)2
and
ak(x) = exp(iirn(x—lnk)).
k2<n<(k+1)2
Show that 0k (x) 74 0 if the sequence {k1} is such that ln <x + 2m1 <
ln(1+k1) forall jEN.
6.8. Find the sum of the series for E C, Izi < 1, and use
the Abel theorem (see problem 5.6).
6.9. The problem can be reduced to the preceding problem with the help
of the equality
1 1( 1 1
4n2 — 1 — 2 2n 1
With the help of the Abel transformation and the results in prob-
6.17.
lems 6.6 and 2.4, show that there is a C> 0 such that
J0 1<n<N
for all N E N. Using the result of problem 6.10, show that the integrals
i: If(x)Idx are bounded uniformly with respect to e E (0, it).
6.18. The proof of the absolute integrability of g is analogous to the
solution of the preceding problem. If dx < +00, then integrate the
series (see problem 6.16) sin nx termwise over [0, it] and use the
result of problem 6.13.
6.19. Repeating the solution of problem 6.17, prove that for M N
2sin(x/2)
Then
1(x) = +
n>1
= —
n>0
Since
= (sin(nx/2))2
+...
the Abel transformation gives us that
(sin(nx/2))2
1(x) = — o.
§6. TRIGONOMETRIC SERIES 197
Note that
dx = +... 1(x))dx =
Jlt
Therefore (see problems 6.10 and 5.14),
jf(x)dx = = —Ar) =
Prove that the local maxima of the function
6.22. on [0, it] form a
decreasing sequence.
6.23. Use the fact that
Ck = J f (x
(x e dx.
+
6.24. In studying the quantity If(x)—f(y)I represent the difference x—y
(assuming that x > y) in the form x — y = €k4,
0, 1, 2, 3 and 0. Break up the series —
If(en) — sin +
1k<n
Icos +
—
I<k<n--2
6.28. b) c). Use the fact that for N> the difference —
S2N(x)=
0<n<2N
RN(x) = fl
0<n<N
(1 + +
m, k EZ. ml
J
(orthogonality of the trigonometric system), we get that
= +
J 0<n<N —ir
=it
0<n<N
Let S = supXER MEN SM(x). By assumption, S < +00. Therefore.
+ +
j
=
fl
0<n<N
is considered instead of the polynomial RN(x).
In conclusion note that the proof of the assertion c) a) used only
the boundedness of the sums SN(x) from above. Therefore, the series
§6. TRIGONOMETRIC SERIES 199
+ + iou:
where the sequence {ek} is defined in the hint for problem 6.31. To prove
uniform convergence of the series use the Abel transformation.
6.33. a), b). Use the Abel transformation.
c) Let f(O) = SN(O)+RN(O), where SN(O) is the Nth partial sum of the
series defining f. Then
1(0) — f(0')I ISN(0) — SN(0')I + IRN(0)I + IRN(O')I.
Taking N = [1/10— O'I], estimate the remainders RN with the help of the
assertion b). To estimate the difference SN(O) — SN(O') use the inequality
ISN(O) — SN(0')I 10— O'I maxXER and the assertion a).
6.34. Use the results of problems 6.31 and 6.33c) for = 1/2.
CHAPTER V
Integrals
x Jea t fAa
[ asA—'+oo, e—'O.
202 V. INTEGRALS
1.15. a) It follows from the second mean value theorem that for any
numbers A and B with 0 < A <B there is a number C E [A, B] such
that = e_4C Since the integral f°° f(x)dx
converges, all the integrals of the form 1(x) dx are small if A is suffi-
ciently large. Therefore, the integrals f dx are small, and this is
equivalent to the convergence of the integral f00
f
is continuous on [0, +oo), then the assertion to be
proved is easy to get by integrating by parts: f e_cXf(x) dx =
e eF(x) dx (here F(x) = f f(t)dt).
b) We represent the difference between the integrals in the form
+00 +00
I
, f(x)dx—,I e
-CX
f(x)dx
JO JO
A +oo +00
—tx I I
=,JO I
(1— e )f(x)dx +,
JA
f(x)dx —,
JA
e
—CX
f(x)dx.
For large A the last two integrals are small for all e > 0 (the estimate of
the third integral follows from the second mean value theorem). The first
integral can be made small by letting e go to zero for a fixed A.
1.16. With the help of integration by parts, compute the sum of the in-
tegrals over the intervals [0, a] and [1/a, +oo) for a E (0, 1).
1.17. Since I = ln(sinx) dx = dx, it follows that
fsin2x\ 1 fsint\
21
= jJ12 k—) dx =
In
—J
In dt
(5lnt)
= dt = I— 2.
( . xNinx
lim i i x nIn x I dx = lim I dx = 0.
N—+ooJ0 N—+ooJ0 1 —x
/
To prove the last equality use the estimate
+0 (
jelN) = o(1).
j =
= 2j ln(1 +e2 X) dx =j
§1. IMPROPER INTEGRALS OF FUNCTIONS OF A SINGLE VARIABLE 203
— 1)
—(e — ibe )
=
f+OOe_X
I —dx—i
11
J0 X j1
—dx,
x
and use the result of problem 1.26.
1.31. Using integration by parts and a change of variable, reduce the
given integral to the Frullani integral (see problem 1.14).
1.32. Consider the integral over the interval [is, +oo) (is> 0) and prove
that it is equal to ln(1 + e_X)dx. Using the equality
ln(1+e_X) = ln(1_e_2x)_ln(1_e_x), reduce the last integral to the integral
fln(1 — and show that it is equal to the integral lnxdx
up to a quantity infinitesimally small as —' 0.
1.34. For k = 1, 3, and 5 reduce the given integral to the Euler-Poisson
integral. For k = 4 use the result of problem 1.14.
204 V. INTEGRALS
I e_X dx I 1
e_X I
—i---1-dx
2
J (x + 1/2) J X 2x +1 2
x(2x +1) J x
= xe_X2
+2 1 dx.
x2+1/2 J
Consequently,
f +00 1+00 —x2
I
Jo (x2 +1/2)
2=21Jo e
2j (In dx.
In the inside integral make the change of variable y = ix (t E (0, 1)) and
change the order of integration.
§2. COMPUTATION OF MULTIPLE INTEGRALS 205
= IL2
= e_V2 /2 ue_u2 /2
dv j du
= 2/s.
b) Pass to a new coordinate system with one axis directed along the vector
a.
2.5. Let lxii = a. It can be assumed without loss of generality that
x = (0, 0, a). Passing to spherical coordinates, we get that
(1 /' dy sinOdO
lix —
2
i
Jo
rdriJo dçoi
Jo — 2arcosO + a2
= r\/r2 — 2arcosO +
2ir 1'
=—J
We leave it to the reader to finish the computations.
2.6. It is clear that
1111 eX22_U2_1)2 dx dy du dv
J JJ
= 11 (11 dxdy.
/
To compute the double integrals use poiar coordinates.
2.7. Choosing an orthogonal basis in R" in which the matrix A has
diagonal form, we get
I
J(Ax,x)l = JJJJ
dt1 dt2 dt3 dt4
206 V. INTEGRALS
I e
(Ax,x)
dx
,
J(Ax,x)z1
= 1
1111 du 1
du2 du3 du.4
ffff.(L<414l
It remains to see that = det A, and the integral can be computed
with the help of polar coordinates (see problem 2.6).
2.8. Let t = (ti, t2, 13, 14). It is obvious that
K(i)
= (*)
e dx2 dx3 dx4) dx1
Let s = (12, 13, 14) and y = (x2, x3, x4). Then the inside integral in (*)
can be written in the form = f(s). With the help of an
orthogonal transformation of variables the problem can be reduced to the
case when the vector s has the form (a, 0, 0), a = Ilsil, and thus
J1
f(s) dx2 dx3 dx4 = — dx2.
= JJJ
Computing the last integral, we see that it is equal to
4irx1 4ir
cosh(ax1) — —i- sinh(ax1).
FIGURE 12
2.11. a) The realness of the roots is determined by the sign of the clis-
criminant, which is equal to u2 — 4v. For a > 4 consider the square
[—a, a] x [—a, a] and the parabola v = u2/4 in the (u, v)-plane (see Figure
12). Let S be the set of points in the square that lie above the parabola. The
equation z2 + uz+ v = 0 has real roots if and only if (u, v) S. Therefore,
P1(a) is always > 1/2. Since the area of S is equal to (4/3)a312, it follows
that P1(a)= 1 as a—.+oo.
b) A biquadratic equation has both real and complex roots if and only if
v <0. Therefore, the corresponding probability is equal to 1/2.
2.12. Show that
1r (JJu2+v<1 4
2.13. Show that:
a)
b)
where
2.14. It is easy to see that c1(x, y) = 1(a) and tP(x, y) = g(a), where
a= f(a) = — a)2 + v2)"2dudv, and g(a) =
208 V. INTEGRALS
ffu2+v2<i ln((u — a)2 + v2)dudv. Prove that I E C'([O, +oo)) and f'(O) =
0, clearly implies that the function C1is smooth. Show that
)P/2
f'(a) =11u2+v2_<1 (((u — a)2 + V2 )'a dudv. (**)
=2lrlPlf 7<+00
= f1(a) -f2(a).
=
— j j(((u — a)2 + dudv
— a)2 +
=
The equality (**) follows from the representations obtained for f(a) and
§2. COMPUTATION OF MULTIPLE INTEGRALS 209
((u — a)2 + dv
= —J-1
= —
2 .2
a) + sin ç0)
—p,2
cosq dç0.
—j
This implies that f" is continuous on [0, 1) U (1, +oo) and has a finite
limit as a —. 1. Since f is clearly continuous on [0, +oo), it follows that
f E C'([O, +oo)). It is clear that f(0) = 0.
It is proved similarly that g is smooth and
Therefore,
sin2 (jnI2
g'(a) = 4aJ 2= 4a +jn
0 1— 2a cos ço + a 0 n/2
g(O)
= jj u2+v2czl
ln(u2 + v2)dudv = 21rJ rlnr2 dr =
0
—it,
it follows that g(a) = ir(a2 — 1) for a E [0, 1], and g(a) = 2irlna for
a>!.
2.15. Use induction.
2.16. Let = + x1 + + dx. It is clear that
dx
(a + x1+ +
On the other hand,
J(a)=Ir1ft
Il dx•••dx
2 fl
\)dx
Jo \J(o,ir
= j
V. INTEGRALS
fin dx=
induction. Assume that rn < n and
I —rn—i
rn
Integrating this equality over the integral [a, /3] (0 < a < /3), we get that
n—rn—i
lna).
lnfl—a (3)
=
Since
0 as /3 —, +00 if k < n, (4)
we get the required result by passing to the limit in (3) as /3 —. +00. The
relation (4) follows from the equalities = + Onn), where 0 <
On < 1, and
k!(n — k — 1)!
(xkmx) (n) = (—1)
n—k—i
forn>k.
x n—k
2.17. a) In the integral +(an—ao)xn) dx1 . .
make the change of variables y1 = i—x1, = x2/y1,..., Yn = xn/yi. Use
induction.
b) Both integrals (see [31], p. 77, about Feynrnan integrals) can be com-
puted by induction.
§2. COMPUTATION OF MULTIPLE INTEGRALS 211
if I c+ akxk
p
dx••dx
11
lakI)
\1<k<n J —i.
The last integral can be expressed in terms of the Euler f-function:
p/2
cos çodço
J—ool+t Jo
I —p—i .p—1 .2
= j cos
= BQ'4!
—
2 ) 2 ) — sin((p + 1)ir/2) —
2.19. Represent the integral as the sum of the integrals over the squares
x L] (1 k, j n).
Asymptotics
Asymptot'ics of integrals
1.2. a) Use the relation 1 — a(1 — x) as x 1.
b) Compare the integral X(t) with the integral
J(2(1 —x)(1
c) Compare the integral Z(t) with the integral obtained from it by re-
placing cosx by 1 — x2/2.
1.3. a) Use the relation
1 1 1 11
lnxlnA+O(l)
for x E [A, 2A].
b), c) Use the result of problem [Link]).
d), e) Integrate by parts and use the result of problem [Link]).
1.4. a) Make the change of variables y =
b) Integrate by parts after the change of variables y = Ax2.
c) Complete the square in the exponent.
d) Represent the integral in the form
Ali?Aj (1+—)
J2/A \ lnAj e
and prove that
" lnt'°dt r+OOdI
—r+o(1).
J2/A mA e 2/A e
To do this for p > 0 use the relation 1(1 +z)" — = O(IzI + (z > —1).
For p <0 verify that
lntYdt 1 1
J2/A
and estimate the integral
f+°° / lntV' dt
I 11+—I
lnAj—1
—,
\ e'
214 VI. ASYMPTOTICS
j
ir/2
1(A) cos2x/(1 + Ax)dx
=
and
j
,r/2
1(A) sin2x/(1 +cos2 Ax) dx.
=
It is clear that
çit/2
dx
Jo 1+cos2Ax
— 1 dx dx it
— A Jo 1+ cos2 x =
1+ cos2 x A—'+oo Jo
Prove that 1(A) — 1(A) —' 0 as A —, +00. See also problem 1.14.
d) Use the relation — x = 0(12) and the result of problem a).
1.10. Represent the integral as the sum of the integrals over the intervals
[irn, ir(n + 1)] (n E N) and estimate each of them from above and from
below. See also problem 1.13.
1.11. Use the relation
=
—
— T))j
1.12. Use the result of the preceding problem.
1.13. The solution is analogous to that of problem 1.10.
§1. ASYMPTOTICS OF INTEGRALS 215
dx.
Consequently,
j2fl
1(A) = o(1) ç sint) dt
dx = exp dt.
j+°° ((i) —
To study the integral on the left-hand side, we break it up into the sum of the
integrals over the intervals [0, 1/IlneI], [ln2e, +oo), and [1/IlneI, ln2e].
Let us estimate the first two integrals from above. It follows from the in-
equalities u u > 0 and 0 <e < 1 that
111\1C t\
exp exp —
Therefore,
+00 1,
I
JIn2c
exp I _! dt < I —
=
1
— —, 0.
C
Since the integrand is uniformly bounded above for t > 0 and 0 < e < 1 , the
integral over [0, Inel] is infinitesimally small. To compute the integral
over [1/I In In2 e] we represent the difference — in the form
— i) = + 0(212 = —t(1 +
Consequently,
£
ff(—)\' \
——I dt=J
in2 c
dt in2 £
dt
—, 1.
J1/linci 1101
+ e
= 2e2J s—
J
= 2e2J
j 0(1)
+
=0(1)+
1<k<n
0(1) +
jn/2k 2dx
J x n/2(k+1)
2<k<n
x
=0(1)+
1<k<n
j o(1/n).
2.4. Verify that the integral over each interval [a. 0], 0 < a < 0, de-
creases exponentially as A —, +00.
2.5. a) It is clear that
(1P)A
dt.
Therefore,
[4
A—'+oo
A" I PJ0
J0
p \p/ \ p
On the other hand, for any positive number a
(i — dt
Consequently,
— dt = f(1 + 1/p).
It follows from the solution given that the integral over any interval [0, 0]
with 0 < 0 < 1 has the same asymptotics.
b), c). The solution is analogous to the solution of problem a). In problem
c) make a preliminary change of variable y =
2.6. It can be assumed without loss of generality that a = 0 and C = 1
(otherwise make the change of variable y = C"(x — a)). Fix the numbers
I and L, 0 < I < 1 < L, and choose a positive number 0 such that
Ix" 1 — Lx" < 1 for x E (0. 0). Break up the integral c1(.-1)
into the sum of the integrals over [0, 0] and [0, b). For the first of them
we the two-sided estimate
0 0 0
J0 (1
—Lx" y4 dx
J J (1 —Ix" )'4 dx.
0 0
dx
j dx =
Therefore,
limA"j(l limA"(t)(A)
lim lim
A—'+oo A—'+OO
Since I and L are arbitrary numbers, 0 < I < 1 < L, this implies the
equality = f(1 +p).
2.7. The solution is analogous to that of the preceding problem.
2.8. Let h = g — f
and prove that
1b4 =o x coA(x)dx).
(L1'ix
Fix an arbitrary number e > 0 and let /3 be a number in (a, b) such that
Ih(x)I ef(x) for x E (a, /3). Then I f
e
j dx +
of variable x= 1+t,wegetthat
+oo
( h+hl A at
e
— f_i +t2)
=1 +1 +1 =11+12+13.
—C £ —1
Since
Ii = fexp — + O(At3)) dt
j dt = o
For an estimate of 13 verify that the integrand is nondecreasing on [—1. —e]
if e = A215. Therefore,
13 (2 = Ae2/2 + O(Ae3)) = o
b) Using problem 2.8, replace the function under the integral by APX
c) Make the change of variable x = Ay. Using Taylor's formula, study
the integral over [0, A213], and get an upper estimate of the integral over
[A213, 1] by using the fact that the integrand is decreasing on [A213, 1]
for large A.
2.12. Get an upper estimate of the integrals over the intervals [0,
1/(AInA)] and [(2lnA)/A, 1]. To compute the integral over the remaining
interval use the relation I = (1 +o(1)) lnA for x E [1/(A ln.-1), (2lnA)/A].
2.13. a) The solution is similar to the solution of problem 2.1 Ib).
b) It is clear that the contribution of the integral over the interval [1/3, 1/2]
is small. To study the integral over the interval [0, 1/3]. make the change
of variables t = = —xlnx Then
1C
i x dx=—i
j0
where c =(In 3)/3 and ip is the function inverse to Since lnx In
as x — +0, it follows that In! In as I +0. Using the result of
problem 2.8, we get
113
Ax e4' cC cc.4
I x dx'-—! —di=—!
j0 lni A j0 lnA lnu
Jo —
1 e" du I du 1
A Jo InA — In u A Jo mA AIn A
§3. ASYMPTOTICS OF SUMS 221
lim I
x—'+ooJT(1+x)j0
1
te dt=—2 1
x—'+ooJT(l +x)
i te dt=O.
Making the change of variable t = x + and using Stirling's formula, we
get that it is equivalent to the relation
u—o(
— ), 1
Jo
which is valid only in the case when 0(x) — 0 as x — +00.
b), c) The proofs of these assertions are analogous to the proof of assertion
1—y
Since
ny--i —1
Therefore,
limnan—M....,i+o(M_1)(1_y)
> lim =1.
222 Vi. ASYMPTOTICS
(1 rn)(ly)
b) Consider the sequence = (In 2)/2k for 2k <
2k+1
the equality
k1
= +
3.8. See [5]. It is easy to see that i(k) is equal to the number of points
(u, v) E N2 lying on the hyperbola uv = k. Therefore, the sum T(n) is
equal to the number of points (u, v) E N2 not lying above the hyperbola
uv = n. Since the set {(u, v) E N2Iuv n} is symmetric with respect to
the line u = v • to compute T(n) it suffices to calculate the number T(n) of
points in the set E = {(u, v) E N2Iuv n, u and take into account
that the points in the square [0, x [0, are also in the set symmetric
to E (make a sketch). This gives us that
T(n) = 2T(n)
— [,f]2 = 2 —
=2n
To compute this sum we can use the following refinement of the result of
problem 11.2.9:
which is easy to verify with the help of the theorem of Stoltz (problem 11.2.6).
3.9. a)Let a=supn/ç. Since N
k>N
<
Taking N = I + [at], we get for t 1/a that
+
1(t) 3a.
§3. ASYMPTOTICS OF SUMS 223
Consequently, f(s)
3.10. Use the inequality f,° f(t)dt f(t)dt. The equality
is not true for nonmonotone functions. For example, if f(n) = for any 1
- (2k÷2)P)
it follows that
f(p) pj +0(p) =
a(n—cr
n n
=
(1+2
To find the principal part of the sum obtained, note that for k> 1
() rn
— rn+k 1<k 1+1/rn
1— f/rn —
—
iii ( 1 n
1—
1+f/m
f/rn
= (1 + O(m"3)) I e
--pu2/m 1 (F
Therefore,
°°
—i--- dt + >2
= JN n>N
—
+>2 di
n+t
= o(zt) di
+ >2
I nN
kV"
3.23. Using the result of problem 3.15b), we get that
— 00
!2 N—1/2 12 --z,Ji ii
e e di — — [t] (e di = I I.
—
nN — IN—1/2 —
dt
(t—[t]—
8lN - 1/2
The integral obtained can be estimated by breaking it up into the sum of the
integrals over the intervals [k — 1/2, k + 1/2] (k E N, k N); to estimate
this sum use the result in the preceding problem.
3.24. Using the identity
n+1/2
cosnx = cos(xt) dt,
2sinx/2 lfl_1/2
226 VI. ASYMPTOTICS
we get that
(j+cocos(xt))
>2 = 2sin(x/2)
V
=
j dv + 0(1).
cosnxf'cos(xt)dt+o(l)
>2 0
1<n<N
cosv
= dv + 0(1).
Similarly, the study of the sums nx)/na reduces to the study of the
integral = which is positive for all >0.
3.26. Let A = and C = sup,>a w'(t). Then
f +00 A +oo
dt — A = —a + — 1) dt +J
Ja Ja A
=—a+11 +12.
§4. ASYMPTOTICS OF IMPLICIT FUNCTIONS AND RECURSIVE SEQUENCES 227
Ill j
eCj < = C;
0 '2
— C
j — C
dt
3.27. a)—e). Using the monotone decrease of the general term, show
that the summation can be replaced by integration (see problem 3.14). To
investigate the integrals obtained use the results of problems 2.9g) and 3.26.
f) With the help of the inequality (n/3)'1 <n! < (n/2)'1 reduce the prob-
lem to problem e).
3.28. Since for fixed t E (0, 1) the general term of the series does not
tend monotonically to zero, the inequality of problem 3.14 is not applicable
to these series. One should consider separately the partial sum in which the
general term increases, and the remainder of the series, in which the general
term decreases.
In b) use the result of problem 1.4d).
3.29. a)—f), h) The solutions are analogous to the solutions of problems
3.27 and 3.28. In b) and f) use the results of problems V.1.18 and V.1.19.
g), i)—l) Expand the general term of the series in a power series and change
the order of summation.
3.30. See the hints for problems 3.27—3.29.
3.31. Use the results of problems IV.4.15 and 3.29e), f). Another solution
of problem a) is obtained by using the results of problems 3.8, IV.5.8, and
3.28b) for p = 1.
—-i-.
forxE /
x x 1
xo
1+nax0
<x <—
1+nx0
ifx EI0,1——
xo . 1 1
—30.999 1 —3
10
Consequently,
0< —x1000
It is dear that
4.8. 0. The asymptotic behavior of the sequence
can be found with the help of the device used in the solution of the
preceding problem. For this, get upper and lower estimates of the function
f in a neighborhood of zero by the functions considered in problem 4.6, and
then compare their iterates.
Another solution is based on the following which can be
used also in more complicated situations (see problems 4.12—4.14). The
recursive sequence = i)' x0 > 0, clearly converges to zero if the
function f is such that 0 < f(t) < t for all t > 0. With the help of a
figure it is easy to see that the sequence converges rapidly to zero if
the difference t — f(t) is large, and converges slowly otherwise. Therefore,
to find the asymptotics of the sequence it is expedient to consider the
function = t — f(t). Then the recursive formula takes the form
=
Assuming that is the value at n of some smooth function 0 defined on
[1, +oo), we get that
0(n) — 0(n — 1) = — 1)).
— (1
1\ ip—i 0(ln2n
that is,
ip—! Iln2n
—y
This implies that
= + 0(1).
4.10. It suffices to solve the following problem: construct on (0, +oo) a
function f such that the sequence = coincides with a previously
given sequence strictly decreasing to zero. It can be assumed here
that = where is a strictly decreasing function on [0, +oo) with
= 0. Then the equality = = is equivalent
to the equality f(ço(n — 1)) = which is satisfied, for example, by the
function f(t) = +
4.11. Consider the sequence and
4.12. Prove first that T +00. Using for e E (0, 1) the inequality
2 2
2
— 11 —p 2\
—an An
1 —p
(1 _p\P/(P_l) 2p/(p—1)
2 )
and, finally, — = + o( 1), which implies
that
4.14. Prove successively that 1 +00, an+l an, and =
where = +. + The last relation follows from the inequality
o =
kan_k
J,
k
which is valid for any fixed index k. For p —1 deduce from this that
— (p + (p + 1)(lnSn+i — lnSn).
Therefore, for p < —1 the limit lim 5n = a,, exists and is finite, that is,
5nil — = (P + 1 + o( 1).
Functions (Continuation)
§1. Convexity
1.2. Let
=
and 22 =
x3—x1 x3—x1
that K is a convex cone and take a straight line containing one of its
232 VII. FUNCTIONS (CONTINUATION)
—
+ b) — + b) — f(X2)
(v
b — x1+b—X,
+ b) — f(X2)
=
f(a2m) — f(a2m+l) —
<an+p+q—an+p
p+q — q
1.24. Replace the integration over [0, 1] by integration over [0, 1/2].
Use the results of problems 1.6 and 1.2.22.
1.25. To verify necessity, consider the functions ç9(x) = C, ç9(x) =
Cx (CE R), and ç9(x) = max(0, a —x) (a E (0, 1)). To prove sufficiency
use the fact that a piecewise linear convex function is a sum, with positive
coefficients, of functions of the form ç9(x) = max(0, a — x) and a linear
function.
1.26. a), b) Represent the given integrals as the sums of the corresponding
integrals over intervals of length 2ir/a. In b) use the results of problem 1.6.
1.27. a) Using the Cauchy-Schwarz-Bunyakovskii inequality, verify that
1,1 f2 o.
b) With the help of problem [Link]) we can confine ourselves to the case of
a twice differentiable function. The logarithmic convexity of I means that
f12 0. Verify that the sum of two such functions f and g satisfies
the inequalities
(1" + g")(f+ g) (f + g')2.
1.28. (See [18].) We confine ourselves to a proof that 3) and 4) are
equivalent.
Since f is convex (see problem 1.3b)), the one-sided derivatives and
exist at each point x, and = everywhere
except on a countable set of points (see problem 1.8). We prove that f(1)
exists. Let h > 0. Then
1 =f(1)f(1+h)f(1/(1+h))
= [f(1)+f(1)h+o(h)J[f(1)—f(1)h+o(h)]
=
which implies that and (considering the opposite inequality)
= Let p = f'(l). Fix an x such that 1(x) exists. Consider
the function b(t) = f(t)f(x/t), t > 0. It is differentiable at 1 and satisfies
the relation 1(x) = for all 1. Therefore, = 0, that is
((1)f(x) — [(1)41(x) = 0,
(*)
pf(x) = xf(x).
Thus, the derivative f(x) , which exists on a dense subset E of (0, +oo),
coincides on it with the function pf(x)/x, which is continuous on (0, +oo).
From this, since and 1' are monotone (see problem 1.8), it follows that
f E C'(O, +oo). It now follows easily from (*) that 1(x) = Ax", where
A= 1 since [(1) = 1, and the restriction on p is due to the convexity of
1.29. Write Jensen's inequality for the function f(x) = x" in the form
(!
where c = = c1 = and choose the numbers >0
suitably.
1.30. a) If 0 < r <s, then use the Hälder inequality with p = s/r (see
the preceding problem). If r < s < 0, then use the relation (,c(—t))' =
If r <0 <s, thenuseb).
e) inequality for the function ln at the points r, s, Ar + jis
ji > 0, = 1) becomes the Hälder inequality if we set = xr,
= p= and q = 1/4u.
For a continuous positive function f we should define ic(p) to be
(f( and consider
exp (j'lnf(x)dx)
instead of (x1,..., Assertions a)—e) remain in force.
1.31. The inequalities a) and b) are continuous analogues of Jensen's
inequality and can be obtained from it by passing to the limit. Another way
of proving the inequality b) (which is more general than a)) is as follows.
By 1.11, we can assume that ço" exists. Setting I = I
(x)p(x)dx , we get
from Taylor's formula that
— J)2
ç9(f(x)) = ço(I) + ço'(I)(f(x) — I) +
ço(I) + ço'(I)(f(x) — I).
The required result is obtained after multiplication of this inequality by p
and integration over [a, b].
c) Use b) with ç9(t) = ln(1/t).
1.32. Both quantities are as large as possible in the case when the points
A1,..., divide the arc joining A0 and into equal parts. For a
proof use the concavity of the sine function on [0, it].
1.33. Consider an arbitrary ray emanating from the point S = (0, b),
0<b <1(0). Let A1=(x1,y1), 1=1,2 bethesuccessivepointsof
reflection of the ray from the graph, and let B. be the points of reflection
from the x-axis. Then to each ray there corresponds a (finite or possibly
infinite) sequence (trajectory) SA1B1A2B2• or SB1A2B2A3. (the point
A1 is absent if the first reflection is from the x-axis). We prove the existence
of a number M such that for all rays sup1 x1 M (this means that only a
bounded part of the subgraph is illuminated).
1) Note first that if for some n, then for all k > 0
(the ray emanates from the domain).
236 VII. FUNCTIONS (CONTINUATION)
FIGURE 14
— tan
tan tan tan
from which
1— —
= sin sinç9,1
sin —
sin
Consequently,
1<k<n
(ö—1) 2.u_
f(öx) = 1(x) + (ö — 1)xj (x) + 2
x j (x)
238 VII. FUNCTIONS (CONTINUATION)
= (11+1
P J
Oxt J )
Tt2Tx
where t C (0, T) and P is the rectanglewithvertices (0, t), (t, 0). (T, T—
t), and (T — t, T). Since P C [0, T]2, the first integral is nonnegative, and
the remaining two integrals are equal to zero because g' is odd.
2.9. Write 1(1/2) according to Taylor's formula [(1/2) = 1(x0) +...,
setting x0 equal to 0 and then 1.
2.10. a) Starting from the identity
for all h > 0. The expression on the right-hand side has a minimum equal to
2M0M2. The inequality becomes an equality for the piecewise smooth func-
tion 1(x) = ço(u)du + 2) dt, where = —2sgn u for ui 1 and
ço(u) = 0 for ui> 1. Replacing by a continuous function as shown in
Figure 15a), we get a Ca-smooth function and for it
as e —, 0.
The inequality proved admits the following mechanical interpretation: if
the motion of a point takes place on the interval [—M0, M0], and the accel-
eration never exceeds M2 in absolute value, then the velocity of the point
§2. SMOOTH FUNCTIONS 239
I
I
I
a)
—1
1
I
I
—2
b)
I
—-C
k
-Ik -+E
I
k
FIGURE 15
If(x)I dx Ig'(O)I.
j
First replacing by If"(x)Idx and then the geometric mean by
the arithmetic mean, we get a) and b).
To prove that the constants 2 and cannot be improved, we approx-
imate the function h(x) = max(1 — kx, 0) (k > 0) by a convex function
E c2([0, +oo)) as shown in Figure 15b).
Then
and hence
a) 1 = = 2. .k 2fg°If(x)Idxfg° If"(x)Idx:
b) fo°°(If(x)I +If'(x)I)dx +k = for k =
2.12. By Taylor's formula, f(1) = f"(t)(l—z) di .which implies
that I
f'(t)(l — 1)dlI = al. Applying the Cauchy-Schwarz-Bunyakovskii
inequality to the integral, we get a lower estimate:
1/2
al < (j'((I(1))2d1) .
Equality is attained in the case when the functions f"(z) and 1 — t are
proportional, which implies that f(z) = al(1 — 1)(i — 2)/2.
2.13. Let = = 0}. = Prove the auxiliary asser-
tion (A): If f is not a polynomial on some open interval then for any n
there is a constituent interval of the nonempty open set
f is not a polynomial.
§2. SMOOTH FUNCTIONS 241
The assertion of the problem is easily derived from (A): assuming that I
is not a polynomial on R, we construct a sequence of nested open intervals
= (ar, c c with nonempty intersection, and
this contradicts the assumption.
Assume that (A) does not hold, i.e., that for some n and the function
f is not a polynomial on but its restriction to any constituent interval of
the set n is a polynomial. Let a(x) (x E be a maximal interval
with the properties that x E a(x) C A and is a polynomiaL Verify
that if the restrictions of f to two adjacent intervals are polynomials, then
I is a polynomial on their union. Show that if a is an endpoint of a(x),
then: 1) there exists a sequence Xk E Xk a, Xk —+ a; 2) J(m)(a) = 0
for all m fl; 3) vanishes on a(x). Then, in particular, =0
for all x E fl which is impossible (the solution of D. Yu. Burago).
2.14. By formal termwise differentiation obtain a recursion relation that
can be used to successively define and Note that by suitably choosing
fir, it is possible to ensure the possibility of termwise differentiation of the
series.
2.15. It can be assumed that a = 0. Then
1(x)
= j (lx) di
= j>
= >jxj' (ix) di,
and canbetakenas
2.16. Note that if f is a constant, then b) and c) imply that F(f) = 0.
Two-fold use of the result of the preceding problem gives the representation
f(x) = 1(a) + —
f(t)g(t)
<g(i).
C+f0tf(x)g(x)dx —
Passing to primitives, we get the inequality
I
ln(C+j g(x)dx.
\ Jo / 0
242 VII. FUNCTIONS (CONTINUATION)
Then
ft Ift
C+jJo f(x)g(x)dxCexp( I g(x)dx
\Jo
which immediately implies what is required.
To prove the corollary observe that, since Ih(t)I = h'(x)dxl I
I<j<m
1<k<m
R
1<k<m
b) Use the fact that, as follows from the inequality (1), the matrix
2.22.
11(0) 1(t)
1(0)
is positive-definite for any t E R.
c) Use the positive definiteness of the matrix
f 1(0) f(t1) 1(12)
1(t1) 1(0) f(t2—t1)
f(t2—t1) 1(0)
forany t1,t2ER.
2.23. Suppose that z1,..., Zm E C and z1 + + Zm = 0. Then for
s>0
0
1
=
s
I<k<m
Passing to the limit in this inequality as S —, 0, we get the inequality
— tk)ZJZk 0.
1<jm
1<k<m
§2. SMOOTH FUNCTIONS 243
2.24. The assertions c) and d) follow from b), b) follows from a) and the
fact that Sh(x) = 0 (x —ö/y), a) can be verified directly, and e) follows
from the equality g" = —gSf/2.
To prove f) use the fact that, by the conditions f"(x0) = 0 and Sf(x0) <
0, f'(x)f"(x) <0 in some neighborhood of the point x0, and consider the
possible combinations of signs of f(x), f'(x), and f"(x) on both sides
of x0.
2.25. b) Let a1,..., be the roots of the polynomial f'(x). Then
Sf(x) =2
1 31 1
(x —
Lb
x, x3
FIGURE 16
244 VIL FUNCTIONS (CONTINUATION)
O<k<n Ok<n
Compute the sums 5n%2' and with the help of the recursion
formula a).
3.2. a) Comparing the sums an,o and 5n ,2 (see problem 3.1), we get
that
O<k<n
=—Sn,2(x)= x(1—x) —
1 I
b) Compare the sums Cnö and 5n,4 and use the inequality Sn,4(X) <
n2/4.
3.3. a) Use the result in problem 3.1.
3.4. b) Use the inequality
forA=Bn(f,x).
3.5. Show that
a)
x)
=
1) xk(1 _X)nkl (i —i
b)
O<k<n
k
(supf) 2_d
n—k
[O,1J
O<k<n
x) M xk(l —
—> —
O<k<an an<k<an
=
Prove that <E2 for sufficiently large n E N (the inequality
is proved similarly). Since the terms in the sum are nondecreasing, it
suffices to prove that
Mn (['iI) — < —
<II n
x
Mni
\1—xJ
The left-hand side of this inequality decreases as x increases. Therefore,
— p)Pl
we need only verify it for x = a. Since (see
....,
problem 11.1.8), it suffices to show that aa(l — < — for
<a, but this is obvious, because the left-hand side of the last inequality
decreases as a increases, and coincides with the right-hand side for a =
3.7. Applying the inequality b) of problem 3.6 to the functions f — g
and g— f, show that x0) — x0) —, 0.
3.8. a) Apply the inequality b) of problem 3.6 to the functions 1(x) —
f(xo) and — f(x).
b) Fix an e > 0 and choose a number 5 = > 0 such that If(t)—f(x)I <
e if x E t E [0, 1], and It—xI <5. Let M = sup1011 fl. With the help
246 VII. FUNCTIONS (CONTINUATION)
O<k<n
Ik/n--xI<o
fn\ k n--k
+
O<k<n
Ik/n--xIö
— 252n
Thus, Bn(f, x) — f(x)J <2€ if n > M/(2e52) and x E
c) It suffices to consider the case when 1(x) = 1 for x x0 and 1(x) = 0
for x > x0. Then x0) = — To compute this
sum, break it up into two parts S1 and S2 by singling out the contribution
of the terms with "small" indices:
fn\ k n--k
O<k<n(x0—ö)
n(x0--ö)<k<nx0
= o(1)
+ n(xo
= o(I) + (1 + o(1))tJ2
( —
and n E N. Let J(x) = 1(x) — (ax + b), where a and b are chosen so that
f(x)dx = 0 and f(x)xdx = 0. Since = 0,
the numbers = J(x)? dx satisfy the recursion relation
(n + 3)(n + = 2(n + 2)(n + — (n +
Using the equalities
Mo=jJ(x)dx=0, M1=jJ(x)xdx=0,
we get from this that = 0 for all n = 0, 1 It remains to use the
result of problem 3.9a).
3.10. Show that it is possible to weaken the conditions on g, requiring
instead of membership in C2([0, 1]) that its first two derivatives vanish
at the endpoints of [0, 1]. Indeed, for any such function g and for any
number A E (0, 1/2) the function equal to g((x — A)/(1 — 2A)) for
x E [A, 1 — A] and equal to zero otherwise satisfies the conditions of the
problem. Therefore,
0=jf(x)g(x)dx=j dx
= f(A+x(1
x) =
(n_r)
>
O<k<n--r
x) -f(x)I = (i - f(x)) -
O<k<n
k cxfn\ k
M>2 ——x
n--k
O<k<n
Pk) (
)
=
= xC(i — — nxIu.
O<k<n
Bn(fa,
a) We write
3.15. x) in the form x) =
where Pk = — x)hik. Since Pk = 1 and kpk = nx
(see problem [Link])), we get with the help of inequality (problem
VII.1.1) that x) = 1(x).
b) Assume the opposite: exist numbers a, b. and x such that
0 a <x <b 1 and
x—a b—x
1(x)> r—f(b) +
§3. BERNSTEIN POLYNOMIALS 249
= x) - 1(x)
- x(1- x)t(x)
write the difference x) — 1(x) in the form
1(t) = f(x)+f'(x) x)
Substituting this expression in (*) and using the result of problem [Link]), we
arrive at the equality
Now fix an arbitrary number e > 0, and let 5 = > 0 be such that
x)I <e if It—xI<o. Then
k/n—xj<ö k/n—xj>ö
M
+
< x(1—x) Mx(1—x)
_e
fn\ fk\ I If
—I(f)I 11(1— +
(M + C)e + —
=g(L) +g'(L)
(i-
+ k' 0<k<n
(i
(kJ)2
Since g is equal to zero outside the interval (a, b), this implies that
+ +
0<j<n
________
where
ni I
anj<bn "
I
O<j<n O<k<n
Changing the order of summation and using the result of problem [Link]), we
get that
n2—1
O<k<n
an(j<bn I
O<k<n
= j + o (f dt).
<4 max
J 19,.(t)Idt
J —
t I(1 —
n+1 1
ço1(t)dt = n = n
J n+IJI
0 (n +
252 VII. FUNCTiONS (CONTINUATiON)
+o - J)j) - = 0(1).
= an<j<bn
The sum is estimated similarly.
3.18. Use the results of problems 3.17 and [Link]).
3.19. The necessity of the condition 1(0), 1(1) E Z is obvious. But if
it is satisfied, then the polynomial — differs
little from the polynomial x):
O<k<n O<k<n
1k<n 1<k<n
x) = nm ktm = nm—F(0)
O<k<n )
where = — = (xe' + 1 — x)'. It is easy to see
that
=
j1
and all the coefficients are nonnegative. Therefore,
=
l<i<n:
in (n) ni d F1
max(1. lxi ) = max(1, lxi )-pr(O).
l<i<n,
It remains to observe that P1(z) = and hence
= n".
Regarding this problem see also paper [2J.
3.22. a) Obviously, we can assume that r> 1. Fixing an arbitrary num-
ber e > 0, we choose an index N = large enough that lc,,11r?P <e.
x)I Ixim)
m>N
ICmfr <€.
m>N
O<jmin(m ,k)
=
Therefore, > 0 for k = 0
n for all sufficiently large indices n if
the polynomial P is positive on the whole interval [0, 1]. In the general
case we represent P in the form P(x) = — x)1', where >0
on [0, 1]. Since the coefficients of the expansions of the polynomial P
in the basis {xk(l — x) b
are positive, this representation
implies that the coefficients of the expansion of P in the basis
{xk(l _x)n_k}o<k<fl are positive for k = a, a + 1 n — b and are equal
to zero for the k.
§4. Almost periodic functions and sequences
4.1. Let 5(x) = x — [x] and let = Since is irrational,
L'n for Note that mod! forany n.m EZ.
For any N> If e there are two points among p separated by a
254 VII. FUNCTIONS (CONTINUATION)
FIGURE 17
distance less than a. Let k1, k2 (k1, k2 N) be indices such that 0 <
— Pk <a,
and let m = k1 — k2. Then 0 <Pm <a. Let r E N be
such that 1—a <Prm <1. In this case if E(a—a,a+a), then either
Pn+m or falls in the same interval. The same can be said of one of
the points Pn—m and Pnrm Thus, the distance between adjacent solutions
of the equation a (mod 1) does not exceed L = rimi, which proves
the second assertion.
4.2. a) Consider the set r = {(x(t) = y(t) = E R}.
Verify that for irrational the sets = {x(t)Iy(t) = 0} and 4,, =
{y(t)Ix(t) = 0} are dense in [0, 1) (use 4.1). The "curve" r consists of
segments (see Figure 17) obtained by intersecting the square [0, 1) x [0, 1)
with the family of parallel lines having slope and passing through all
possible points of the sets x {0} and {0} x 4,,. It is called an irrational
winding of the torus T2 = [0, 1)x[0, 1) R21Z2. We suggest that the reader
follow the motion of a point (x(t), y(t)) with, for example, x(t) = t mod 1,
y(t) = mod 1 on a sufficiently large interval of the parameter t. It
follows from the structure of r described above that this set is dense in
[0, 1) x [0, 1), which is equivalent to solvability of the system (1).
Consider the sequences tk = (k + and Yk = Y(tk). As established
in problem 4.1, there exists a relatively dense set of k E Z such that Yk a2.
At the same time, Xk = x(tk) = a1.
b) We pass to integer solutions of the system (1). The irrationality of
and leads to the fact that the points = (Xk, Yk) are pairwise distinct,
where this time Xk = x(k) and Yk = y(k). Then the have an accumula-
tion point. Consequently, for any a > 0 there exist k1, k2 E Z such that the
coordinates and j of the point E R2 satisfy the condition <a
and <a. It follows form the irrationality of that is irrational,
and hence the winding F' = E R} of the torus is dense in
thesquare T2. Let m=k1—k2. Thenthepoints Ppm' rEZ,forman
a part of F, and hence also in the square.
Let = be a point such that —a11 <a and —a21 <a.
For the four open squares Q i,..., Q4 in T2 with sides of length a and
§4. ALMOST PERIODIC FUNCTIONS AND SEQUENCES 255
FIGURE 18
at the inequality
x€R. (1)
p: pz+T
=F(z1+i)—F(z1)+J f(x)dx—J f(x)dx
- JZI
= F(z1 + - F(z1) _f(u))du
> m — (m + e) — (L + d)e = —e(1 + L + d).
It can be proved similarly that F(x + t) — F(x) <e(1 + L + d) for all x,
and this yields what is required.
4.14. Necessity. Consider the sequences {f(x + xE and, using
the diagonal process, choose a subsequence k1 = such that the sequence
{f(x + k1)} converges for all x Q. To prove the uniform convergence of
the sequence {fk } on R use the uniform continuity of f.
Sufficiency. Assume the contrary: there exist an 0 and a sequence
of open intervals with lengths tending to infinity that do not contain
e0-almost periods of f. Choose a sequence {hk} and a subsequence
of intervals in such a way that > 3<k 1h1 — h31, hk+I —
for i = 1 k. Considering supXER Ifh(x) — fh(x)I, i < I, prove that
the sequence {fh} cannot contain a uniformly convergent subsequence.
4.15. For the case of a sum use the criterion of almost periodicity from
the preceding problem. In the case of a product use the equality [g =
((1+ g)2 —(1— g)2)/4.
4.16. Let L = L(e) be a number such that any interval of length L
contains an e-almost period of f, and let C = sup,ER If(t)I. Using an
almost period taken from the interval (a, a + L). a E R, prove the
inequality
1(x) dx — <e+
Deduce from this that the estimate 19,(nT) — < e + (CL/T) (n E
N) holds for ço(T) = 9jfTTf(x)dx. Then prove that —
2TJ.T
c)Let dkEC, k=1 [Link]
0(f—g,f—g)
= 1)— — +
= + >2(dk — — —
= (1.
Setting dk = , we prove the inequality.
The countability of the set of nonzero "Fourier coefficients" follows
from the fact that, since M(1f12) is finite, the set I/n} is finite for
each n E N. On the other hand, for each countable collection , ... and
for the arbitrary absolutely convergent series ak the series is
uniformly convergent on R, and its sum I is a UAP function (see problems
4.7 and 4.11). In view of uniform convergence,
(a
for
The reader can become more familiar with the details of these questions, for
example, in [17J.
4.18. Use the equality = +
4.19. The uniform almost periodicity of f implies the periodicity of
{ek}kEz.
4.20. False. It is convenient to describe a corresponding example in the
notation of problem 4.23. Let A0 = 0,
(PEN).
FIGURE 19
III I I
FIGURE 20
262 VII. FUNCTIONS (CONTINUATION)
is obtained from the solid line as follows: we replace each component by two
new components serving as the legs of an isosceles triangle with the original
component as hypotenuse. Further, the vertex of this triangle deviates from
the solid polygonal curve alternately to the right and to the left. Note that
the new polygonal curve was obtained from the old one by rotation and
contraction by a factor From the second polygonal curve it is possible
to construct a third one in an analogous way, then a fourth, and so on. In the
limit such a sequence of polygonal curves fills a sector in the plane bounded
by two sides of a 45° angle, that is, they determine a curve of Peano type.
Try to carry out an independent investigation of curves arising in a similar
way from sequences of folds with a different alternation of 0's and l's in the
sequence (for example, 1), and also of the corresponding limit
sets on the plane. More details on the questions touched upon in problems
4.24—4.26 can be found in the papers [35J and [42J.
CHAPTER VIII
(1)In what follows we shall call cubic cells the translator of cubes of the form [0, a)m
264 VIII. LEBESGUE MEASURE AND THE LEBESGUE INTEGRAL
that
(*)
Let G = where are disjoint cubic cells. It follows from (*) that
o < >).(E n Therefore, for at least one index n = n0 the
inequality n must hold. Setting A = we get the
required result.
1.9. Let H = E — E, and let A be an interval such that 3).(A)/4 <
nA) (see problem 1.8). Prove that H ).(A)/2).
Let lxi Verify that (EnA)n(x+EflA) 0. Indeed, otherwise,
=
= 2).(EnA) > 3).(A)/2.
On the other hand, since lxi have that <3).(A)/2
and hence contradicts
the inequality (*).
Let y E (EflA)fl(x+EflA). Since y E x+EflA, there is a point x' E
such that y = x + x'. Thus, x = y — x', where v, x' E E fl A C E. that is.
x E H. This proves the inclusion ).(A)/2) C H
b) This assertion follows immediately from a).
1.10. Show with the help of problem 1.9c) that IntE 0, and use the
result of problem 1.1.19.
1.11. a) If = 0, then = 0, and hence (see problem 1.1.34)
> + 1 infinitely many times. But if > + 1 for j E N,
then in the binary expansions of the points in the digits at the places
with indices nk + 1 are equal to 0, and this implies that = 0 (cf. the
solution of problem 1.5).
b) Verify that if — 2+ log2 m, then in the binary expansions
of the points in E(m) the digits having indices + 1 are equal to 0.
c) Use the representation
H= U E2m)_ma,
mn=l kl
1.12. Verify that for any positive integer n the set E can be covered by
intervals of length 1/n!.
1.14. It follows from the definition of the set E of Cantor type on [0. 1J
with defining sequence that ).(E) + — = , where
1
(*)
j=0
Show that any (nonempty) interval C contains some interval and
hence
and
Verify, moreover, that
j U
j=I+ln—I
A U U,
where is the sector of the disk B(MJ, e) included between the rectangles
and for j> 1, and between P1 and for j = 1. It is easy to
see that the sum of the central angles corresponding to these sectors is equal
to 2ir. Therefore,
= + +
l<jn l<j<n
= 22(A) + + ire2
266 VIII. LEBESGUE MEASURE AND THE LEBESGUE INTEGRAL
= (1 =
where q= 1 — < 1. Let G1 = The set G1 is open, and
by repeating the procedure described above, we get balls such that
UBr) 0
k=Oj=l
a(S') = a (u
nl
n=l
= =
Thus, 0 < 1a(E1) <00, which is impossible both in the case when
a(E1)>0 and iiithecasewhen a(E1)=0.
1.19. Partition the numbers in [0. 1) into equivalence classes by regard-
ing two numbers as equivalent if their difference is rational. Let C be a
set having precisely one point in each equivalence class, and let C0 be the
image of C under translation by 0 modulo 1. We number all the rational
numbers in [0, 1) in the sequence {Oj and let = C9 . Since translation
modulo 1 preserves the measurability and the measure of a set, the sets
are measurable or not measurable simultaneously, and they have the same
measures if they are measurable. Assuming that the are measurable and
arguing as in the solution of problem 1.18, we again arrive at the impossible
inequality 0< A(E1) <00.
1.20. It will beassumed without loss of generality that E C (0, 1). Let
the be the sets constructed in the solution of problem 1.19, and let =
§2. MEASURABLE FUNCTIONS 267
En E that
at least one of them has positive measure, and hence
contains (distinct) points separated by a rational distance (see problem 1.9b)),
which contradicts the construction of the sets
E if x
the xE an
the form (k + n = 0, 1, 2 k=
0, 1 2" — 1, and x' is the point symmetric to x with respect to the
midpoint of XEE ifandonlyif x'
E that =
for any open interval a C (0, 1). The latter contradicts the result of
problem 1.8.
1.22. Let Q=[0,1)tm, Q,=!+Q,and E,=—!+EflQ, (!EZm).
Verify that E, = Q and E, fl = 0 for /
P = [—c, C)m. It suffices to verify that
+ E)) = 0. Let e be an arbitrary positive number, and let
Q be a cube such that (see (problem 1.8)
(1)
PC IJ + Q) and + Q) (2)
1<n<N
Then
P\U(a+E)C U (3)
aEA
and in view of (1) and (2)
+ Q)
1<n<N (4)
f_
2.2. Consider the function 1(x) = E where = x10, +oo)'
and is the set of rational numbers, enumerated in an arbitrary way.
2.3. Consider the characteristic function of the set in problem 1.15.
268 VIII. LEBESGUE MEASURE AND THE LEBESGUE INTEGRAL
2.4. b) Find the lengths of the images of the intervals of nth rank used
in the construction of the Cantor set (see problem 1.1.27).
c) Use the result of problem 1.20, which ensures the existence of a non-
measurable subset of the set g(K).
2.13. We prove the first of the required equalities. Suppose that c1 <C2 <
and let = +00. Since the function f is strictly decreasing from
+oo to —oo on each of the open intervals (ck, ck+l) (k = 1, 2 n — 1)
and from +oo to 0 on (ca, +oo), the set E, = {x E RIf(x) > t} is the
union of the intervals (ck, xi), where Xk is a point such that f(xk) = 1,
Ck <Xk <Ck+l. Thus,
= — ck) = — Ck.
1<k<n
To find the sum note that the points are roots of the equation
f(x) = t or of the equation
l<k<n J
where the degree of the polynomial Q(x) is less than n — 1. By
theorem, Xk = + Alt, which leads to the required result.
The second equality can be proved analogously.
f=J 0 l<1<N
+ 3j + (x)) dv
6j > dx
l1<J<I%<N
= S1 + 6S2 + 6S3.
Consequently,
1
iiEk).
JO forx=0,
1(x)
— x2sin(1/x2) for x 0.
E C} = E B(0, r)}.
Therefore, Ic and
j lix — dy
= j dz
+J
d:
J A B(O,r)\A
= JB(Or)
b) Show that I
e1X dxl
= fE cos(x — dx for some E [0, 2irJ and
use the same idea as in a).
c) Show that
dxdy — ff xdxdy
JJEx+iy — liE' x2+y2
where E' is a set obtained from E by a rotation. To estimate the integral
lIE xdxdy/(x2 +y2) consider a set = {(x, y) E R21x/(x2+y2) t}, on
which the function x/(x2 + y2) is large and choose t such that the measure
of is equal to that of E'. Prove as in a) that
xdxdy < f[ xdxdy
liE' x2+y2 liE, x2+y2
for such a choice of t, and compute the last integral.
270 VIII. LEBESGUE MEASURE AND THE LEBESGUE INTEGRAL
Therefore,
IKS() dx = dY) dx
(1)
" dx
dy.
= >21
k
'-'
KIXYI
Let us estimate the inside integral on the right-hand side of (1). Assuming
that y E (ak' fik) , we get that
1b
f dx dx dx
JKIx_yIs+1 Ja J/3 IXYIS+l
if 1 1
_y)S)
\ (i).
s + (/3
On the basis of this inequality it follows from (1) that
—a) <00.
IKS)
3.21. It is clear that a) follows from b). To prove b) partition the cube
[—a, aim into the 2m pyramids with the faces of the cube as bases and with
vertices at the origin of coordinates. To compute the integral over each of
these pyramids use Fubini's theorem.
3.22. To avoid the difficulties associated with verifying that the function
ismeasurable on subsets of dimension less than n it will be assumed that
the function is continuous. (The general case can be exhausted with the
§3. INTEGRABLE FUNCTIONS 271
We
j f(x)dx
= j
proceed to the proof of the equality in a). Let
{j2f(tW)dJLn2(CO)} dt. (1)
n--i n--i
S÷ ={(x1 IxnO},
n—I n—i
S = {(x1,..., xn) ES I; O}.
We prove that
=
f(u1 sinO Uni sinO, cosO)d/in 2(u)} dO.
{j
Indeed,
f(x1,..., xni,
+
12)dY
f(y1,..., V
= I•
Using (1), we get that
f(x1,..., xni,
J
{jf(u1 sinO Un_i sinO, cosO)d/in2(u)} dO.
= L,12
f(xi...,
j f(x)dx=j {J...j xn)dxi ...dxni} dxn.
272 VIII. LEBESGUE MEASURE AND THE LEBESGUE INTEGRAL
j f(x) dx
j 1(x) dx
{jfl
=
sin 0, tcos0) d0j dt.
} }
sin 0, tcos0) dO
= j
and thus
4irr2e1'2dr) dx
= j
arctana 1 00 2
= 10 LO
We leave the rest of the computations to the reader.
3.27. In the section of the set T by the hyperplane x1 = x we get the
set = {(x2, x3, E + + E where
EB}=[a_\1R2_X2,a+\1R2_X21.
Therefore,
=
and hence
R RI
;{4(T) 4iry2 dy dx.
=1 R3X = J J
We leave the final computations to the reader.
3.28. Let A' be the projection of A on the x1-axis, and let =
{.v I(x, y) E A}. It is clear that = IA' dx, where =
{(x2, x3, + + E AJ. Since = 4iry2 dy, it follows
that
42d} dx =
= J
which is what was required.
3.29. Use the equalities
=
1 1
=
3.30.
Verify that
that =
Let
=
= E .
VIII. LEBESGUE MEASURE AND THE LEBESGUE INTEGRAL
U'ZHJ
0n—1
= 2 2
_xi —...
=
{L } dxi.
The inside integral on the right-hand side is the area of the sphere
and hence is equal to afl 2(1 — Consequently,
.7 = 2j t"(l —
=
0n—1
I — du
— f((p + 1)/2). f(n/2) ,,
a
f((n+p+1)/2)
Substituting the values of 0n—2 and in this equality, we get the desired
result.
3.32. (See [36].) Since the measure is spherically invariant, we can as-
sume that a = e1 and b = cos 0e1 + sin 0e2, where e1 = (1, 0, 0 0)
and e2 = (0, 1, 0 0). Thus, we should compute the integral .7 =
where f(u, v)=(sgnu)•sgn(ucosO+vsinO). It
is clear that
dx1
.7=2 f f f(x1, xi •
2
— [1 f(xl,x2)
2 2
x
2 2 2 3 n—I
§3. INTEGRABLE FUNCTIONS 275
FIGURE 21
The inside integral on the right-hand side is none other than the area of the
(n — 3)-dimensional sphere of radius — — Therefore,
f(u, — — du dv
=
=
Obviously, f(rcos
j rsin ç9) = f(cos sing,), and hence
dçp.
=
j sin dço j(1 —
= afl.3 j2
We leave it to the reader to show that the last integral is equal to 2ir — 40
(see Figure 21, where the sign of cos is indicated outside the disk and the
sign of —0) is indicated inside it). Therefore,
2ir 1 2
f=2afl3¼10
and since = (2ir/(n — we get the required result.
3.33. The assertion a) is a special case of problem 3.34. Using a) and the
formula given before problem 3.24, we get that
=
j j Jr — pI(rp)' drdp.
276 VIII. LEBESGUE MEASURE AND THE LEBESGUE INTEGRAL
2 p/2 •
n—i 100 2n u2/2
dçoj u •e du
n2nr2(n/2)Jo
çp .
= I I cos — — sin sin dço
2'T2(n/2) Jo 2 2
— + 1/2)
d
— Jo +
It remains to observe that
[7r12
•
dço
J0 + n—'oo
j u(tA)[1 — u(tA)] dt
= j {j j X,A(X)[l — X,4(Y)] d4u(x) d/i(v)}
djz(x)djz(y).
= j j {j X,4(X)[1
(1)
If q4(x) > q4(y), then x,4(x)[l — x,4(y)1 = 0; if q4(x) < q4(y), then
— =1 for q4(x) t and X,.1(x)[1 — =0
for t q4(y)J. Therefore,
With the help of the last equality we get from (1) that
j u(tA)[1 — u(tA)]dt
= j j max(q4(y)
— q4(x). 0) d4u(x) dji(y)
= dji(x) dp(y).
1. L q4(x) — qA(y)I
3.35. Let E C Rm be a measurable set generating a tesselation (see prob-
§3. INTEGRABLE FUNCTIONS 277
lem 1.22). Prove that fE 1(x) dx = fQ 1(x) dx (from this we get the asser-
tions a) and b) for E = a + Q and E = A(Q)). To verify this equality
consider the sets Q1 =1+ Q and E, = —1+ E fl Q, (1 E Zm) and show that
UE,=Q, E,nE,=ø
IEZ'"
A= f(x,y)=sin(2irx) (x,yER).
22
2 (n—1)/2 2 2 (n--1)/2
(i_;) •a.
q = (x
2
+y)2 p(u +v 2)q djz3(x,y,u,v)
2
L2+y22+v2
=
2 2p 2 2q
(x +y)(1—x —y)
dxdydu
2JJj
2q
x — y)
y2)P(1 2
=4 1 (x2 + —
Jx2+y21
du
x dxdy
— — — }
[1
= (2ir)2 —
Jo
= 2 f(p+1)f(q+1)
2ir2 [ ?(1 — 1)q dt = 2ir
f(p+q+2)
dji3(z1, z2)
z2)
(1— —
I f(z1, z2)z1 z2
s3
dji3(z1, z2)
Ik ._n—k
= z2z1 - z2 dp3(z1, z2)
[Link] j
2k 2(n--k)
= akflk 1z21 du3(z1, z2)
2ir2
280 VIII. LEBESGUE MEASURE AND THE LEBESGUE INTEGRAL
n0
akflkClf2 =
n>00<k<n
L h(maxlxkl)dx
=m2m tk)
ln2mJl?n_lh(t)dt
a
0k<n
Step 2. The function h is bounded on [a, b]. Consider a sequence
of nonnegative continuous functions on [a, b] that converges to h
almost everywhere on [a, b]. It can be assumed without loss of generality
that suph. Show that hfl(maxlxkl) —, h(maxlxkl) a.e. on E. Using
Lebesgue's theorem on taking the limit under the integral sign, we see that
the equalities
L
IxkI) dx = rn2m
j di (n = 1, 2,...)
lead to the required result.
Step 3. The function h is arbitrary (measurable, nonnegatiVe). The re-
quired result is obtained with the help of approximation by a sequence of
bounded measurable functions.
§4. THE STIELTJES INTEGRAL 281
The case b = +00 is exhausted by passing to the limit from finite intervals
to an infinite interval.
b) The arguments are according to the same scheme as in a). Here the
function F(t) = (21)m is replaced by the function
4.3. The arguments are according to the same scheme as in the solution
of problem [Link]).
4.4. The arguments are according to the same scheme as in the solution
of problem [Link]).
4.5. It is clear that fR2 dx = + fR2\A dx. Arguing ac-
cording to the same scheme as in the solution of problem [Link]), show that
fR2\A e' dF(t), where F(t) = = UXEA B(x, t).
Use the result of problem 1.16.
4.6. a) Show that the integral is the limit of the sums
£ cE{0,2} 1<k<n
H(A, €) __!_log,!.
Problems 5.4, 5.5, and 5.6 can be solved similarly. We present a solution
of problem 5.4b).
5.4. b) Together with the given number 0 we consider a positive
number 5 whose choice will be made more specific below. Let us break up
the graph A of the function sin ir/x on (0, 1] into parts and , where
§5. THE c-ENTROPY AND HAUSDORFF MEASURES 283
O(ö').
Therefore, the number N(C5, can be estimated by the quantity =
The number N(B5, e) does not exceed N(P5, e), and hence
N(B5, = O(ö€2). Let ö be chosen such that the estimates for N(B5,
and N(C5, e) have the same order; for this we take ö = We thereby
obtain the estimate N(A, = O(€_312). To see that the number of e-
distinguishable points in A also has order €_3u12 we consider the intervals
= [1/(2k + 1), 1/2k] for k = 1,2 and the correspond-
ing parts rk of the graph. Since = [0, 1] for any k, by using e-
distinguishable points in [0, 1] it is possible to determine at least [1/e]
distinguishable points in Since the distance between neighboring in-
tervals is not less than e, points lying on different arcs will be e-
distinguishable. The total number of e-distinguishable points constructed in
A is [1/e] . Thus, H(A, log2(1/e).
3_(m+1) <3_rn i.e., m = [log3(1/e)].
5.7. Suppose that e > 0 and
The endpoints of the intervals -c
of rank m (see the definition of the
Cantor set before problem 1.2.27) are obviously e-distinguishable and form
an e-net. Therefore, N(C, e) 2 2rn N(C, e/2). This implies that
H(C, e) = (1og32).log2(1/e).
5.8. Suppose that 0 and 1/(m + 1)! <€ 1/rn!. The points of
the form €k/k! €k = 0 or 1 are €-distinguishable and form
a 2€-net. Therefore, N(A, 2€) 2rn+1 N(A, €/2). It follows from the
definition of rn that ln(1/€) mlnrn, that is,
ln(1/€)
m
lnIn(1/€)
Consequently,
ln(1/€)
H(A )
5.9. The assertion a) follows from the result of problem 5.10 if it is taken
into account that in this case = x + rn! for rn! x <(m + 1)! and
that (as is easily seen) = and = 1.
See problem 1.11 about assertion b).
5.10. Suppose that 0 and < i.e., rn =
Obviously, the points >1<k<rn €k2, where €k = 0
or 1 , are €-distinguishable and form a 2€-net. Therefore, N(A, 2€) <2rn
N(A, €/2). Consequently,
H(A,2€)rnH(A,€/2). (1)
284 VIII. LEBESGUE MEASURE AND THE LEBESGUE INTEGRAL
(y,?7O). (2)
that is,
1>1 k>l
> =
Il
Since e > 0 is arbitrary, we get what is required.
5.14. a) Let e > 0, and let {B(xk, be a covering of A such that
rk for all k E N and Ek>1 + 1 Then
§5. THE c-ENTROPY AND HAUSDORFF MEASURES 285
E
k1
tfl(B(xk, rk))=
k>n
1).
B'(ö) — 11x02
where a= (0 0, 1) and is the projection of the set fl
B(a, r) on the plane = 0, it follows that there exist constants m > 0 and
M (depending on the dimension) such that mrThi flB(x, r))
for all x E By using this circumstance it is possible to get the
required results by a simple modification of the solution of problem 5.14.
5.16. a) This assertion is obvious, because if rk 1 , then
b) The proof that = 0 if q > p and <+oo is analogous
to the solution of problem 5.14a). If > 0 and 1 < q < p. then
/Lq(A) = 00, because otherwise we would come to a contradiction of the part
of the assertion already proved.
5.17. a) Suppose that >0, —, 0, and H(A, —, r(A).
Further, let q > r(A), and let be an ri-net for A such that card(E1) =
N(A, Then A C B(x, ri). and H(A, <qlog2 1/r1 for suffi-
ciently large j. Therefore, N(A, . = 1. Conse-
quently, JLq(A) < oo for q> r(A), which implies (see problem 5.16b)) that
dimH(A) r(A).
b) The inequality supk dimH(Ak) Ak) is obvious. On the
other hand, if q > supk dlmJf(Ak), then for any e > 0 there is a cover-
ing of such that < e (j, k E
N). Consequently, C B(4, rL), < e (j, k E N), and
<Ei1 e2' = e. Thus, = 0, which by the choice
of q implies that A1) supk dimH(Ak).
286 VIII. LEBE5GUE MEASURE AND THE LEBESGUE INTEGRAL
= IA C U Ck, diam(Ck)
I. k=1
C rk), 2rk
L%k1 k=l
=
Passing to the limit as e —, +0, we get the inequality
k1
andhence p1(A,e)ir(1—e).
On the other hand, dividing the circle into n equal parts of length 2ir/n <
and covering these arcs by discs with centers at the midpoints of the chords
subtending them and with radii equal to it/n, we see that u1(A, e)
ir/n=ir,andhence p1(A)ir.
c) This is a special case of d).
d) Let G be an open subset of and let e > 0. Find balls B(xk, rk)
(k EN) such that
k=1 k1
§5. THE c-ENTROPY AND HAUSDORFF MEASURES 287
Then
rk))
k>1
= e) + e).
k>1
Since e is arbitrary,
(*)
Now take balls B(yk, Pk) (k EN) such that Pk B(yk, pk)flB(yJ, p1) =
0 for k and Pk)' where 0 (see problem
1.17). Further, fix balls B(zk, 5k) covering the set e and satisfying the
conditions Ek>l <e and 5k <e (k E N) (see problem 5.14b)). Then
G C U1(B(zk, 6k) U B(yk, Pk)) and
k1
Pk))+ e
k>1
= (u B(yk, Ilk)) + =
Since e > 0 is arbitrary, this gives us the inequality j(G)
which together with (*) leads to the final result: = In
particular, = =
5.20. Note that if p = log3 2, then (1 + 1 + 1" for 0 t 1.
Therefore, if some interval of length / is divided into three parts with lengths
, and /3 such that 12 , then
/p4,+/3p. (*)
It is clear that the condition bk — ak < 1 can be discarded, and the coverings
can be assumed to be finite and made up of closed intervals. Accordingly,
Suppose that the intervals [a1, b1] [aN, bN] form a covering of K.
Making them smaller if necessary, we can assume that no two of them have
288 '1111. LEBESGUE MEASURE AND THE LEBESGUE INTEGRAL
min{bk—aklk=1,2 N}=bmam=&
At least one of the intervals neighboring call it has distance from
not exceeding 5. Let be the smallest interval containing and In
view of the inequality (*) we get that + (5')P, where and 5' are
the lengths of the respective intervals and is'. Thus, replacing and
by we again get a covering of K consisting of N — 1 closed intervals
I I I I I Ip P
[a1,b1J [aNl,bNlJ, and
Continuing this process, we arrive af the covering of K consisting of the
single interval [0, 11, without increasing the sum of the pth powers of the
lengths of the intervals making up the covering of K at each step. This
gives us that 1/2) Since the converse inequality is obvious,
we get that 1/2) = It follows from similarity considerations that
3_flJ; = = 2—(p+n)
for any n EN. Let be
one of the intervals of rank n in the definition of the Cantor set. Obviously,
3_flj, = 2—(p+n)
=
Thus, = =
To find the function we observe that it is continuous on [0, 11 and is
constant on the open intervals complementary to K. while its increment on
is n )= It is now easy to prove by induction that
the values of at the endpoints of /. £ coincide with the value of the
Cantor function.
a) See problem 5.20.
5.21.
b) See problem 5.3e) and 5.13a).
5.22. Let = fl [0, xJ), 0 .v 1, and let , where
= 0 or 1, be the intervals of rank n corresponding to the set E. Since all
the sets are congruent, it follows that )=
Consequently, the increment of on each interval i is proportional to
the increment of the function 0E Moreover, like aE, is constant on the
open intervals complementary to E. It is now easy to prove by induction
that the values of the functions /LP(E)aE and coincide at the endpoints
§5. THE c-ENTROPY AND RAUSDORFF MEASURES 289
the indices are such that < e and < a + e. Now consider a
covering of E by closed intervals of rank (for fixed k). Then we get
that e) < a + e. In particular, we see that if a = 0, then
= 0, while if a <00, then also <00.
Nowlet 0<c<a<oo. Fixan index m suchthat !m<€ and
for n m, and consider an arbitrary covering of E by open intervals
— + r1) satisfying the condition r, <Im (j = 1, 2 ). Choose
indices s1 such that Then < 1s2, > m, and
c
j1 j1 j1
j1
cJE(xJ — r1)) =
i1
The last of the inequalities above is valid because the measure generated by
the function aE is countably subadditive. Accordingly, we have proved that
c/4 for any covering of E by open intervals (x1 — r1, + r1) of
sufficiently small length, which implies that c/4> 0. In particular,
if a = +00, then since c < a is arbitrary, = +00.
5.24. Verify first that 2 2 (k = 1,2,...), and prove
the equalities lim(k/nk) = 1/2 and = 1.
5.25. Use the result of problem 5.23.
5.26. Let e > 0, and let N be a positive integer such that <
Then the points akn , where ak E E (k = 1 N), form
an e-net for A with cardinality = Therefore, H(A, e)
log2 = Nlog2 m p log2 1/e, where p = log2 rn/log2 n. Consequently
(see problem 5.17), dim11(A) r(A) p. On the other hand, if A c
— + then the sum can be estimated from below
as follows. Let a be the Cantor function corresponding to A, and let k1 be
290 VIII. LEBESGUE MEASURE AND THE LEBESGUE INTEGRAL
(a _a(xj_rj))
1?'
The last inequality is valid because the measure generated by the function a
is countably subadditive. Thus, >0 and dimH(A) p.
5.27. To compute dimH(A) and dimH(A +A) use the result of the pre-
ceding problem.
5.28. Consider the function
= 1111 da(u)da(v) (z E C)
j0 j0 z—(u+zv)
where a is the Cantor function corresponding to the set K (see problem
111.3.20). Use the same idea as in problem 4.8.
It is known (see, for example, [101) that a function with the indicated
properties does not exist if dimH(K) < 1/2. For the case dimH(K) = 1/2
see [81, pp. 346—348.
Express the last integral with the help of the function f and use its properties.
6.4. Using Fubini's theorem, we see that
<4 =
= J1
The right-hand sides of these equalities are equivalent as n —. oo (see prob-
lem VL2.4). Therefore, E 1x11 <e} —+ 1.
6.5. By definition, = a,21 lix' — xli
INTEGRALS OF HIGHER MULTIPLICITY 291
= v'ñdx1 . . .
j'
0n—1 J
V 1 n—i
n—2 du
Making the change of variable u = — 12/n in the last integral, we get that
= (n — dt.
It remains to pass to the limit under the integral sign and to find the limit of
the factor in front of it.
6.7. We represent the integral over the ball f(x) dx in the form
f(xfiixii) dx where
f(x)dx,
(f(x)_f(-L.))dx,
1—cIIxII<1 lixil
dx
jI dx = {L-1 f(w) d } dr
= J_.j
Since = , it follows that
j 2M(1
IJi +
292 VIII. LEBESGUE MEASURE AND THE LEBESGUE INTEGRAL
q/n —x2/2
e dx)
n/2 00
— l—n/2
100 dt.
— f(nf2)2
Since
1
(1+e)2 1
€2
e
it J1+c
Consequently,
nc /2 12/2
d5' (x) — •e•e e dt
Jx —1Ic <
— it J0
= e <2 —nc2/2
6.11. Using the formula (*) from the beginning of §6, we get that
n n/2 I q
dx
=
=
(j dr.
§6. INTEGRALS OF HIGHER MULTIPLICITY 293
Moreover,
(fl)n/2 [Co
2ir
dr
j0
f(n)(n)q/2 —1
— 2) 0n—1
6.12. Use the formula (*) and the relation f(a + c) • f(a) (see
a +
problem VL2.15).
6.13. Let
F(t)
=J
= (i —
(t 0).
Then
=
j dF(i)
vf
1
(i —
(1)
Let z(t) = e_U2 /2 du. It is clear that z'(t) =
z(0) = 1, z(t) 0. Therefore, making the change of variable z(t)
z = in
the integral on the right-hand side of (1), we get that
= nj — dz,
+ — dz — dz
Then
We estimate —q.
1 llxli2. a) q).
=
Therefore, q) (p, a), and it remains to use the upper estimate
for q).
6.16. Use the results of problems 6.11 and 6.15.
6.17. Using the equality
1—
— f(n/2+1)
and Stirling's formula, we get that
=
=
(i +. + +o ()).
6.18. a) Show that the radius of the ball is equal to
b) Show that the radius of the ball is equal to 2 — 1; use Stirling's
formula.
•
6.19. Show that = e' dt, and use the
result of problem VI.2.17a) to show that = n/2 + o(n"2).
6.20. For t> 0 let = {(x, E t} and
F(t) = = Find the mean value of the function
on It is clear that
n! I' dF(u) n ft n—2
du
(n2).
Let us estimate Since 11x111 lixil, it follows that
—1/2 f dx
—1
n i—
fIJ' lixil
j0 n—i
INTEGRALS OF HIGHER MULTIPLICITY 295
Thus,
b< 1 2 (2€) (n—1)/2 F(n/2+1)
n/2 n!
By using Stirling's formula it is easy to see that the second term is
> J- 11 dt = =
j0 t n—i
On the other hand, using the same device as in the determination of an upper
estimate for the numbers we have that
=
n—i n!
Stirling's formula gives us easily that the first term on the right-hand side of
the last inequality is O((ee)'1). Taking e = 1/3, we get that 3/n +
o(1/n).
6.21. a) Let
J2dx=f
Then
2 j0 11x111
= u2
(i ;i) du
= 1' u2 (1' lul+t/
du
f—1
296 VIII. LEBESGUE MEASURE AND THE LEBESGUE INTEGRAL
u2du)
=n2(n—
j lixil dx =
j =
The upper estimate for follows from the inequality x
dx and the estimate for
1/11x111 in problem 6.20.
c) It is clear that
K= 1 1
x1 dx1 d;
J J
[——1,
2flj
[——1,
—
(*)
n!
Show that
((i + <v (i +
n! \\ —
j— n! \
§6. INTEGRALS OF HIGHER MULTIPLICITY 297
it/
SI/n
From this it follows, in particular, that ) —4
= — t), = (n 2).
Deduce from this that
= cotanx=
flit
nEZ
(2k—1)ir 2x
1
tanx=V'
L_i
cosx
k1 (2k — 1)2ir2/4 —
k1 '2'- — 1)2ir2/4 — x2
4
=
it
mO
\lt —
k>1
(2k_1)2m+l'
8x I 2x
2
1) mO
4 12x 2m+1
(2k — 1)2m+2
mO
298 VIII. LEBESGUE MEASURE AND THE LEBESGUE INTEGRAL
Thus,
—
(_1)kl
v2m( 1
2m+1
From this, = +
6.24. Since > the set contains at least (3/2)1?
points with integer coordinates (see problem 1.3b)). We remark that the
nonzero coordinates of these points can be equal only to +1 or —1, because
C (—2, 2)1?. Let K1? be the number of points with coordinates 0 and ±1
such that the number of nonzero coordinates does not exceed m = [n/10J.
It is clear that = .+2m.(n). Verify that K1?
for large n; this implies that the set contains the desired point.
6.25. a) Fix an arbitrary positive number e and consider the set
1 ,, 1
E1?(e)=1(x1,..., x1?)E[0,1JI >e
(>(xk2*))
(!
ne ro,lrl<k<fl
(Thus, coincides" with on a set of measure as close
as desired to 1.) Consequently,
1! 1 1 lIxil 1
dx
Jioir
< j dx
dx+[ edx
\ E(i)
+ e).
Since ).1?(E1?(e)) —, 0, for sufficiently large n
L I —
§6. INTEGRALS OF HIGHER MULTIPLICITY 299
>€
1<k<n
dxv.
= J
There is a number 5 > 0 such that f(x) dx < e1. For x = (x1,...,
E let E(x) = {j E NI ö}. It is clear that cardE(x)
Let N = 3 = {B C {1,2 n}IcardB = N}, and CB =
{(x1,..., E <ö for k B}. Then C Since
lows that
. f(;)dx1 ..•dx
J .. .Jf(x1)
(1)
CB
a)2n dx =
=
j l(x, a)12 dx= I(x, . l(x, dx
> Hall
I (x,
) —
> 11a112 —
— 3B . hlahl4U6) —
0)) l/p0
that is, hail.
CHAPTER IX
j
(k+1)n
1 °° 1
= + dt = elmlsin(t + dt
— —
=
k>O 0
f +
= ! 10 (1 + 0 (i)) Isin(s +
k>0
=! I
= 1 + 0(i)
' +0 Jo 0
301
302 IX. SEQUENCES OF MEASURABLE FUNCTIONS
lull1
JE(a) lf(x)l dx + {m(E)fa(f)
+
§2. CONVERGENCE IN ThE MEAN 303
1(x) dx = dx
ttm(E) JE\E pz>1
J
n>I
from which
n>1
2.8. Prove that limfE Isin(nx + dx > 0 for any (measurable) set
E C (0, 22E), and use the result of problem 2.7.
2.9. Use the result of problem 2.2a).
2.10. Use the result of problem 2.9.
2.11. Prove that the measure of the set
1
ksin
.2 kx<-4fl
1% 1<k<n
k3 =
n1 k2<n((k+1)2
Therefore,
k1
J0
<2A0+ <00.
J1
k 1
< i
/ .3/4
k2<j(k+1)2 /
1 1 .3/21 1/2
/ J
J
+ 1)312(2k +
k—.oo
almost everywhere on E.
2.14. b) As established in problem VIII.3.16, — dx =
0(1/n2). Therefore, the series (;(x) — converges almost ev-
erywhere, and hence — 1/2 —' a.e. on (0, 1).
2.15. The solution is analogous to that of the preceding problem.
2.17. Use Chebyshev's inequality and the pairwise orthogonality of the
functions f(x1),f(x2) in the cube (0,
2.18. The solution is analogous to that of the preceding problem.
2.19. Consider the function 1(x) = x2 — lf2ir (x E R) and the measure
y with density Prove that the y x x y-measure (n factors) of the
set
>e
<00.
kl
b) It is clear that SA2(x) S(x) a.e. on E. Let n = k2 + p. where
k
k= and 0 p 2k. Then
<p
k2<jn
2 = 2Rk.
§3. THE RADEMACHER FUNCTIONS 305
IS(x) — Skl(x)I
dx = +6 3(
1' ( 1<k<n
0 1<k<n 1<j<k<n 1<k<n
dsdt
0 0 1<j,k<n
x,yEA
fr(s)
=J
eiSt dF(t)
= j
where F is the desired distribution function, along with the results of a) and
b) in problems 3.3 and 3.4.
3.13. a) Let = akrk. Use the equality 5m =
+ — am+irm+i) , the triangle inequality, and induction on n (n m).
b) Use the convexity of the functions s eXS and induction on n (n
m).
c), d) Represent E as a union of intervals of the form (J =
0, 1 2m — 1) and use a) and b).
306 IX. SEQUENCES OF MEASURABLE FUNCTIONS
XE(O,1)I
dx
= etS es2h12.
[I
1<k<n
cosh(sak)
1<k<n
4xE(O,1)I flkrk(x)
1<k<n
max = for x E
I<k<1 l<k<m
Then it follows from the inequalities a) and b) of the preceding problem that
§3. THE RADEMACHER FUNCTIONS
{(E) 2. cosh dx
E
J
dx.
0
J
The last integral was estimated in the proof of a).
d) Let F be the distribution function of g. Using the inequality 1—
F(t) established in c) and assuming that s < 1/2A2, we get that
1 oo 00
J0
(x)
dx = I
Jo
eS1
dF(t) 4s I
Jo
--s)1
dt <00.
g,(x) = sup
nN
101 dx dx <oo.
Obviously, all the numbers ak can be assumed to be reaL Let
3.15.
= a1r1(x) + Using the result of problem 3.14c), prove
that for any number e > 0 the measure of the set
{x E (0, 1)1 sup > e}
pEN
We prove that the sequence {uk}k>1 is bounded, which suffices for the solu-
tion of the problem. It is clear thai
1/2
(1E (m<J<n&
airi(x))dx)_T.
Consequently,
E
m<j,1n&
(1)
E
—2 / dx).
Vm<i<In&
(J£
Since the family is an orthonormal system (see problem 3.7a)),
Bessel's inequality giveslis that
Om (jrj(x)r,(x)dx)2 —'0.
=
We take m large enough that 40m Then it follows from (1) that
(T+ — 2UkOm
(Jsin2xsin2'xdx)2.
E
Nrn<i<1<n&
§3. THE RADEMACHER FUNCTIONS
Since
I
JE
.j 2 1
, sin 2 x dx = —2 — — i cos 2
1
2JE
x dx —,
2
m can be taken large enough that fE sin2 dx> for j > m. To
estimate the sum sin sin 21x dx)2 use the equality
j sin21xdx =
(j cos(2' — — jcos(2' +
and Bessel's inequality for the trigonometric system.
3.19. a) Show that the boundedness of the sum of the series
on implies its boundedness on (0, 1). Suppose that I
C on
(0, 1). Fix an arbitrary positive integer n and consider an
1),
/=1,2 n. Since
= 0 for j> n, it follows that
J = aJ =
j1
Thus, forany nEN.
b) Use idea of the solution of problem IV.6.28.
3.20. b) Use the idea of the solution of problem 3.13c),
c) Use the idea of the solution of problem 3.14c).
d) Use the idea of the solution of problem 3.15.
3.21. a) Let be the nth partial sum of the Fourier series of and
let e be an arbitrary positive number. Prove that
E (0,
>€} Si' j
To complete the proof it remains to repeat the arguments used in the solutions
of problems 3.15 and 3.20d).
b) Let E (0, 1)1 supl<m<n > t}. Using as a model the
arguments in the proof of c) in the problem, prove that
after which it remains only to pass to the limit as n —,
3.22. Prove that akrkllP The second in-
equality can be obtained wltlithe help of the in the solution of prob-
lem 2.6a). Let F be the distribution function of the function I akrkl.
310 IX. SEQUENCES OF MEASURABLE FUNCTIONS
converges for any a > 2. In the proof of this use the estimate B,,
+ e)/e, valid for any e > 0 and sufficiently large p (see problem
3.22). It follows from the convergence of this series that the series
2lnn
<1
fl-'OO -
almost everywhere.
3.26. Use the same idea as in the solution of the preceding problem.
§4. Fourier series and the Fourier transform
4.2. It is clear that for h > 0 and any x E R
19,(x+h)—9'(x)I
where L = ess supR If(x)I. Show that the integral on the right-hand side of
the inequality does not exceed (4/(1 —
4.3. a) Use the equality
h(n) = lim
J
Sk Sk are the kth partial sums of the Fourier series of the
respective functions f and g. Prove first that IIh — SkSkIIl 0 (see
k
problem 2.2b)).
b) Represent as the sum of the series fk/k! and use a).
312 IX SEQUENCES OF MEASURABLE FUNCTIONS
f(n)eWX sin(2"Ixl)
= and fk(x) =
1<n<k n
InIi
Show that
Prove that
+ 1/2)
dx
sin(x/2)
2 sin2 rnkx sin
dx dx + 0(k).
— ln<k
Use the result of problem VI.1.10.
4.11. Use the equality
Prove that
= 1 sin2(nt/2)
di —' 0
iw sin2(i/2)
§4. FOURIER SERIES AND THE FOURIER TRANSFORM 313
for any 5 > 0, and deduce from this that for any x E R
— f(x)I +
where co1 is the modulus of continuity of f.
4.12. a) Using the formula (*) in the solution of the preceding problem,
prove that
C sin2(nt/2)
— f(x)I dt (x ER),
= kp
and hence
1f(nq) — aqi dx
J_Jtkp Ifk(x)I
Ifk(X)II11hJ(X)I dx.
kp J
It remains to use the Cauchy-Schwarz-Bunyakovskii inequality.
4.17. Use the inequality
jg
cje"Yj dx e
(
where e is a sufficiently small positive number, and F is the function con-
structed in the preceding problem with = (j = 1, 2 in).
314 IX. SEQUENCES OF MEASURABLE FUNCTIONS
The inequality in 4.17 was conjectured (in the particular case when C1 =
c2 = = 1) by J. Littlewood. It was proved half a century later by S.
Konyagin (On the Littlewood problem, Izv. Akad. Nauk SSSR Ser. Math.
45(1981), no. 2) and simultaneously by 0. McGehee, L. Pigno, and B. Smith
(see [41]).
4.18. a) Show that the function is a solution of the differential
equation y'(s) + csy(s) = 0.
4.19. We get by n-fold integration by parts that
+00 .22
ha(s) = (_1)fleS
2
&(s) = I
Jo
elSlda(t) I e1St da(t)
+J2/3
p1/3 çl/3
2
= j
Jo
da(i) + /
Jo
da(i)
1/3
= (1 elSlda(1).
a(s)
=
fl (1
(1<k<n 0
for any n E N.
4.22. a) Let 0 x <y 2. Since
a1(y)
= J0 a(y — t)da(t) /Jo a(y — t)da(t)
jXax — t)da(t) =
§4. FOURIER SERIES AND THE FOURIER TRANSFORM
a1(y) — a1(x) a1
fk+l+1\) — a1 fk+l
3fl
11+1
—
\ — a 11 —
\\ da(r)
= J0
(1+1
—
1
)—a
I 1\\ da(t)
J
= > 0.
b) Show that = (8(s))2, and use the result of the preceding problem.
4.23. Use the fact that the Fourier transform of a convolution of inte-
grable functions is equal to the product of their Fourier transforms.
4.24. a) Show that the range of g is dense in [0, 1] and use monotonic-
ity.
b) Study the intervals of constancy of g and find the measure of their
union.
c) Use the same device as in the solution of problem 4.21.
d) Study the Fourier transform of the measure corresponding to the func-
tion
h(x) g(x — t)dg(2t) (x ER).
= J
4.25. The solution is analogous to the solution of the preceding problem.
4.26. Prove that
fl(s) dF(u),
=
where = p{t ER'1 I (s, t) u} (u ER).
4.27. Let p be a measure satisfying the conditions of the problem. Then
= where p1 and are Borel probability measures on subspaces
L and M, respectively. Since p is rotation-invariant, it follows that dimL+
dimM = n. Again since p is rotation-invariant, we see that fl(s) = fl(IIsIIa),
where a is an arbitrary normalized vector. The invariance of ji with respect
to orthogonal transformations implies that p1 and p2 are also invariant with
respect to such transformations (in L and M, respectively). Therefore,
= fl1(IIuIIu0) and fl2(v) = fl2(IIvII .v0), where U E L, v E M, and
316 IX. SEQUENCES OF MEASURABLE FUNCTIONS
= for any t2 0.
a) b)
xI xo xo xi
FIGURE 23
a)
—I
FIGURE 24a)
§1. TOPOLOGICAL DYNAMICS 321
—2 —1 0 1 2 3 4
FIGURE 24b)
FIGURE 24d)
0 1 2 4
FIGURE 24e)
322 X. ITERATES OFTRANSFORMATIONS OF AN INTERVAL
2 3
FIGURE 240
2 3 4
FIGURE 24g)
1.20. The solutions of these problems are analogous to the solution of the
problems in 1.19. In b)—d) the interval of values of x0 such that convergence
holds has the form [—p, p], where p = max(1t11, 1t21), and t1 and t2 are
the roots of the equation 1(t) = t. In d), e), and h) it is useful to consider
the sequences and (see the solution of problem 1.19g)). In
the case of the mapping in h) the sequence is monotonically increas-
ing for x0 E (1/ v3, while is decreasing for n less than
n0 = > and for n > n0, is in one of the inter-
vals (—oo, —1) or (1, +oo), depending on the parity of n0. Consequently,
1 or —1. For x0 E —1/v'3) the situation is symmetric.
If 1x01 = 1/v'3, then = x0 and = —x0, and the limit does not
exist. If 1x01 < 1/v5, then —, 0.
1.21. a) It follows from the relation
beginning from some n0. Considering the graphs, show that if lal < 1 , then
for any x0 the unique fixed point is the limit of The cases a = ±1 are
trivial.
We study the mapping in d) (the same considerations can be used in the
case c)). Let a> 1. Investigating the sign of the minimum (which is equal
to (1 + lnlna)/ln a) of the convex function = aX — x, we see that the
fixed points x, of f exist only for a E (1, else]. Further (see
problem 1.18), x,, X for x0 —, 00 for x0 > and for
xo =
If a < 1, then I has a unique fixed point If a then f(x*) <
—1, and hence (see problem 1.21) cannot serve as the limit of if
x0 For a E 1) prove that the function = Jo I is increasing
and satisfies the inequality f2(x) > x for x < x
x> (for this consider (f2)1 and (f2)11) and, using problem 1.18, check
that and forall X0ER.
1.23. a) Verify that N(c) = 0 and use problem 1.21a).
b) By Taylor's formula,
0= = + - x) + - x)2,
1 2
Indeed, let J = [m, M], and let x, y E I be points with x <y such
that f(x) m and 1(y) M. Setting w = min{t E [x, y]If(t) M},
z = max{t E [x, w]If(t) m}, and K = [z, w], we get the desired closed
interval.
We set K0 = and define the remaining closed intervals by induction: if
has already been constructed and has the properties that C
and = 'ni' then, applying (A) to the closed intervals
C = and to the mapping we find a closed interval
C such that =1
b) For any point x in the nonempty intersection we have that
1.29. Suppose that the points w <x <y < z form a 4-cycle. Verify
that, whatever the order in which these points are mapped one to the other,
two of the intervals [w, x], [x, y], and [y. z] (call them I and J) satisfy
the relations f(I) 3 J and 1(J) 3 1. Prove that there is a closed interval
K C I not containing the endpoints of I such that f2(K) 3 K, and use
problem 1.29.
1.30. It suffices to prove that c) follows from a) (the implications c)
b) a) are obvious). Assume for definiteness that the points b, c,
and d are in the order d a <b <c. Denote [a, bJ by L and [b, c]
by R, and for arbitrary m 2 let = = = R, 'rn—i = L, and
'rn = R', where R' C R is a closed interval not containing the endpoints
of R. It follows from a) that f(R) j L, 1(R) j R, and 1(L) 3 R',
and hence always contains By the assertion in 1.28, there is a
closed interval Krn C R' such that fm(Krn) = 'm j
If we apply to
the assertion formulated in Problem 1.5b), there is a point x0 E Km such
that Xm = = x0. It remains to verify that = x0 for
0<n<m.
If = x0 for 0 < n <m, then all the points Xk, k = 0, 1, 2 have
the number n as their period. Then since rn—i is representable in the form
pn+q (p EN, 0 q < n), Xrn_i = Xq ER', contradicting the inclusion
Xrni E L, which follows from the definition of x0. The case in = 1 (that
is, the existence of a fixed point) is trivial (see problem i.5a)).
The assertion proved is due toT. Li and J. Yorke [39].
1.31. Consider the closed intervals = [cos(2ir/n), cos(ir/n)] and
= [cos(ir/n), 1], which are mapped by f = in a one-to-one fash-
ion onto [—1, 1]. Take c to be the point cos2ir/n, b to be the unique
point in / such that 1(b) = c, a to be the unique point in such that
f(a)=b,and d tobel. Then f(c)=d and c<b<a<d,whichimplies
(see problem 1.30) that f has cycles of any order.
1.32. b) Only the case when a > 0 is interesting. Removing the absolute
value signs on the eight intervals into which the line is divided by the points
§1. TOPOLOGICAL DYNAMICS 325
—2
a <a0
a0
a>a0
FIGURE 25
0 ±!,
solve the equation
1—all —all—alxlll=x
and verify that its solutions are contained among the numbers of the form
x = (1 +e1a+e2a2)/(1 +e3a3), where = ±1; moreover, for
1 <a <a0 = (l+v'3)/2 only two of them, p = l/(l—a) and q =
turn out to be roots of the equation (these are obviously fixed points of 1).
For a a0 all eight numbers of the indicated form are roots, and if we
renumber them in increasing order, then x1 = p, x6 = q, and the triples
{x2, x4, x8} and {x3, x5, x7} form cycles that coincide for a = a0. The
fact that they are repelling follows from the inequality lf(x)l> 1 for x = x,
(1 = 1 8) (cf. the solution of problem 1.21). In the case —l <a 1
only the root q remains, and for a —l there are no roots. The character
of the graphs for the three values of the parameter is shown in Figure 25.
1.33. a), b) Since each fixed point of f is a fixed point of any of its iter-
ates fn,the fourth-order polynomial f2(x)—x is divisible by the quadratic
trinomial 1(x) — x. As a result of the division we obtain the polynomial
a2x2—ax+ 1—a, which has real roots for a 3/4. If a 3/4. then the
fixed points of
j2 reduce to the two fixed points of f. For a> 3/4 there
are two points x1 and x2 satisfying the relations f2(x) = x and 1(x) x.
It is easy to see that 1(x1) = x2 and 1(x2) = x1, that is, {x1, x2} is a 2-
cycle. The character of the graph of f2 is pictured in Figure 26 for a < 3/4,
a=3/4, and a>3/4.
326 X. ITERATES OFTRANSFORMATIONS OF AN INTERVAL
FIGURE 26
J y = P(x),
(1)
1 x = P(y),
a)
y=P(x)
b)
y=P(x)
\ y=P(x)
FIGURE 27
328 X. ITERATES OF TRANSFORMATIONS OF AN INTERVAL
Q'(x)= Q"(x)=
Q"(x) = +
(P'(t))4 (P'(t))5
Obviously,
Finally, let us see that P"(x) — Q"(x) > 0 for x E (x1, 1). Indeed, since
IP'(t)I 1 and at2 1 for xE(x1, 1),wehave that
,,,,,, 3 24a3t (4a2(3at2 — 1))2
P (x)—Q (x)=—24ax——————+3
IP'(t)14 IP'(')I
> — +
— IP'(t)14 IP'(t)15
It follows from what has been proved that the difference P(x) — Q(x) is
strictly increasing on [x1, 11. Thus, the system (1) does not have solutions
with abscissae in (x1, 11. Then it does not have solutions with positive
abscissae at all. But if y) is assumed to be a solution of (1) such that
1 — a <X <x0, then the pair 1(y)) is also a solution of (1), which,
however, is impossible, because f(s)> [(1—a) > 0 (the condition a 5/4
is again used in verifying the last inequality).
If a> 5/4. then P'(x0) < —1 <Q'(x0) <0, and the existence of nontriv-
ial solutions of (1) follows from considerations connected with the Bolzano-
Cauchy theorem.
We remark that for a = 2 the system (1) has 12 nontrivial solutions (see
Figure 28), which form three 4-cycles (the points generating a particular cycle
are marked by the same symbols).
d)(3) By the assertion in a) and problem 1.29, f does not have cycles for
a 3/4. Suppose that a >0 and let p and q be the fixed points of [.
(3)R. Sibilev helped in the solution of the this part of the problem.
§1. TOPOLOGICAL DYNAMICS 329
FIGURE 28
With the help of a sketch of the graph of y = f3(x) it is not hard to see
that the number of fixed points of can only increase as the parameter a
increases (follow the movement of the points corresponding to the extrema of
on Figure 29, and then try to make a rigorous argument). Verify that the
fixed points of different from p and q generate a 3-cycle. For a 3/4
only p and q are fixed points of j3, but has eight fixed points for
larger values of a. Thus, there exists a minimal value a0 of the parameter
for which the number of fixed points of
j3 is greater than two. Suppose that
a=a0, f3(x1)=x1, x2=f(x1), x3=f(x2),and x1 q. The points
x1, x2, and x3 form a 3-cycle, and each of them is a root of the equation
f3(x) = x; moreover, x1, x2, and x3 must be multiple roots, because the
graphs of y = f2(x) and y = x are tangent at these points. Considering
the number of roots and the degree of the polynomial P(x) = f3(x) — x, we
conclude that P(x) = A(x — p)(x — q)(x — x1)2(x — x2)2(x — x3)2 Dividing
P(x) by x—f(x) = a2x2+x—1 = a2 (x—p)(x—q) ,we arrive at the equality
66 55 5 44 3
—a x + a x + (3a — a )x + (a — 2a
43 3
)x + (3a — 3a
4
— a
22
)x
+a3 —2a2+a— 1 = —a6(x—x1)2(x—x2)2(x—x3)2
= —a6(x3+bx2+cx+d)2.
a=4
FIGURE 29
7)2
equation (4a — = 0, which gives us that a must be equal to 7/4, and
a check confirms that the system is consistent in this case. Thus, there are
no 3-cycles if a < 7/4, has 5 fixed points if a = 7/4 (p. q, and three
points generating a cycle), and f3 has eight fixed points if a> 7/4 (namely,
p and q and six more points, each of which, as already mentioned, must be
in a 3-cycle). Consequently, there are exactly two 3-cycles for a> 7/4.
1.34. Use problem l.14d).
1.35. Let L be the curve symmetric to the graph of f over the interval
[x0, 11 with respect to the line y = x, and let
y(x) = (f(x), x), x 1,
be its parametrization. Show that by virtue of the conditions on the one-sided
derivatives there is a number 5 > 0 such that the points y(x) lie under the
graph of f if x0 <x <x0+ö. On the other hand, the point y(l) lies above
the graph of f (or on it), and hence the graph of f intersects the curve L.
The abscissa of the intersection point generates a 2-cycle.
1.36. Consider the mapping f = g2 and prove that f has a fixed point
satisfying the condition of the preceding problem. Verify that the points of
a 2-cycle of f generate a of g. To construct an example, consider
the continuous function on [0, 11 whose graph is the polygonal curve with
vertices at the points
1
1
n' 16n
TOPOLOGICAL DYNAMICS 331
1.37. Let g = This mapping also belongs to the class S(A) (see
problem Vfl.2.24c)). The assumption that g(x) = x for infinitely many
points implies by the mean value theorem that g'(x) = also on an infinite
1
set. As a consequence of this, Ig'I has infinitely many local minimum points.
By the "minimum modulus principle" (problem VII.2.24f)), it follows that
g, hence also f, has infinitely many critical points.
1.38. There exist points u and v such that x < u <y <v <z and
g (u) = g'(v) = 1. The assertion now follows from the "minimum modulus
principle" (problem VII.2.24f)) for the interval [u, vJ.
1.39. Suppose that x E (a, b) is an attracting fixed point for g =
(n EN) (if x = a or x = b. then there is nothing to prove). Then
again using the minimum modulus principle, we arrive at the conclusion that
332 X. ITERATES OFTRANSFORMATIONS OF AN INTERVAL
and carry it over to the circle. Corresponding to the point ir/3 is a fixed
point of the circle, and corresponding to the points 0, 2ir/3, and 4ir/3 is
a 3-cycle, but it is easy to see that there are no 2-cycles.
(4)The book [33] contains extensive material about iterates of transformations of a closed
interval.
(5)The solution of this problem was communicated to us by Yu. Khokhlov.
§2. TRANSFORMATIONS WITH AN INVARIANT MEASURE 333
1k <1(k + 1) (1 E N),
in particular,
k<ftm(0)<k+1.
These inequalities give us that
2
Im m rn
rn I ml
which at once implies the existence of a limit for x0 = 0, and hence for
all XEIR.
It remains to verify that for rational some power of has a fixed point.
Suppose first that = 0. If it is assumed that there are no fixed points,
then {ffl(0)} is a monotone sequence (say increasing). The assumption that
fm(o) 1 for some m 1 implies that fkm(0) k, k E N, which
contradicts the stipulation that = 0. But then the sequence {fm(0)} is
bounded, and its limit is a fixed point, contrary to assumption.
The case = k/rn can be reduced to the preceding case by passing to the
function g(x) = ftm(x) — k, which gives the mapping çotm.
e) Show that and 12 differ by an integer.
§2. Transformations with an invariant measure
2.1. It suffices to compute the measures of the inverse images of open
intervals (or arcs).
2.2. It is convenient to represent the baker's transformation as the com-
position of the mappings T1 and represented in Figure 30 (which justifies
the name of the transformation). It is obvious that each of T1 and T2 is
area-preserving.
334 X. ITERATES OF TRANSFORMATIONS OF AN INTERVAL
FIGURE 30
1+x
2.6. a) Use the topological conjugacy of and the sawtooth mapping
(problem 1.15b)), which preserves Lebesgue measure (this is obvious). We
find the image of Lebesgue measure with respect to a conjugating mapping:
= where h(x) = sin (x E [—1, 1]) (it will clearly be the desired
§2. TRANSFORMATIONS WITH AN INVARIANT MEASURE 335
and this implies that djz = (lxi < 1). The measures )
and ji can be multiplied by an arbitrary constant, of course.
b) Use problem 1.15c).
2.7. To prove sufficiency consider the measure zi(A) = + ... +
Where ji is a measure invariant with respect to Tn.
2.8. Suppose first that T is increasing. Denote by F the set of fixed
points of T, and by G the complement of F. If A = (cr, /3) is some
maximal interval in G, then /3 E F, and hence T(A) = A. Therefore, it
suffices to prove the assertion for each such interval.
Let c be an arbitrary point in If We let xn = n E Z (T is
invertible), then the closed intervals An having and as endpoints
form a covering of A. For any positive function h0 E We define the
measure = h0 dx on and extend it by zero to The measures
= T"ti0 are nonzero on An and are also absolutely continuous. The
equality ti = >flEz tin defines the desired (infinite) measure.
If T is decreasing, then consider T2 and use the assertion in 2.5.
2.9. Suppose that T has an attracting n-cycle. Then the mapping S =
TIZ hasan attracting fixed point x*. Let f> 0 be the density of some
measure ji. We show that there is a set A such that S'(A) J A and
> 0. These relations contradict either the invariance with re-
spect to S or the finiteness of the measure
If SF(x*) > 0, then S is monotonically increasing in some neighborhood
of x*, and then there exist points c and d such that E (c, d), and
A = (c, d) satisfies the condition above. If Sl(x*) <0, then we replace S
by S2. If Sl(x*) = 0, then IS(x) _S(x*)l lx _x*I/2, for lx _x*l
(e sufficiently small), which implies the existence of the desired set A.
It follows from problem 2.7 that there is no measure with the desired
properties with respect to T.
2.10. a) Suppose first that a > 0. The mapping considered sepa-
rately on each half-line (—oo, 0) and (0, +oo), is topologically conjugate to
the translation x x + ln a on R (h(t) = —et is a conjugating homeomor-
phism in the first case, and h(t) = et in the second). Verify that the measure
on R\{0} determined by the density 1(x) = 1/Ixi is the image of Lebesgue
measure with respect to h, and that this measure is invariant with respect to
all the
b) Prove that in this case the desired measure ji does not exist. Since ji
must be, in particular, translation-invariant, its values on intervals must be
proportional to the length, that is, ji = kt (k > 0). But such a measure
336 X. ITERATES OFTRANSFORMATIONS OF AN INTERVAL
and f(x, y) > 0 for almost all x, y. It suffices to verify just for bounded
0 and
sets that the equalities ji(A) = = 0 are equivalent. We integrate
(1) over a set Y such that > 0. Let XE denote the characteristic
function of a set E. On the one hand,
1= ju(Y+A)dY=jdYjX4(x—Y)dJL(x)
= j dtjXy(xt)dIL(x).
On the other hand,
j p(y + A)dy
= j dyf f(x, y)dji(x)
= j dp(x) j f(x, y) dy.
Equating the right-hand sides of these equalities, we conclude that if =
0, then I = 0, and then we get that ji(A) = 0, because f(x, y) > 0 and
jf(x)dx =
j f(y)dy
= j f(T(x))IdetT'(x)Idx.
§2. TRANSFORMATIONS WITH AN INVARIANT MEASURE 337
Using "differentiation with respect to the domain," that is, dividing both
sides by and passing to the limit as U shrinks to the point x, we get
what is required.
c) This is proved similarly.
d)Verify(1)forthesets A=[O,aJ,
2.14. a)
d1
=
1/' fd(x)dx if
= '(A) JT'(A,)
—
n
— l<j<n
Which implies that
= = nT (A1)).
It follows from Perron's theorem that if > 0 for all i and j, then such
a limit point is unique and independent of u E K, and also v. > 0 for all
1. Frobenius extended this result to certain nonnegative matrices (see, for
example, Gantmakhe?s book, "The theory of matrices").
2.15. a) It is easy to find (for even n) by algebraic methods a fixed
point of the discrete Perron-Frobenius operator (see problem 2.14), that is,
an eigenvector v of the matrix it that corresponds to the eigenvalue 1.
Furthermore, it turns out that Vk = 0 for k n/2, and Vk = V3n/2k
for k > n/2. This suggests the following answer: if Pf = (P is the
Perron-Frobenius operator; see problem 2.13), then 1(x) = 0 for x < 1/2,
f
and 1(x) = f(3/2 — x) for x> 1/2. To verify it we write the equality
for y <
Pf( = j
338 X. ITERATES OF TRANSFORMATIONS OF AN INTERVAL
IL(ax,ay+b)=—IIL(x,y). (1)
IR(ax, bx + y) = y).
§2. TRANSFORMATIONS WITH AN INVARIANT MEASURE 339
=
Denote the vectors (n1, n2) and (m1, m2) by n and m, respectively. Then
m = A*n, where A* is the matrix obtained by transposing A. If I is
invariant, then c, = = = ..., and the convergence of the series
>nEz2 leads to the fact that if the trajectory {(A*)kn} of the vector n
is infinite, then = . = 0.
If the eigenvalues of A are not roots of unity, then (A*)kn n for all
k E N and n E Z2\{0}. In this case 1(x) = almost everywhere as above,
that is, TA is ergodic. In the opposite case there exist a number k E N
and a vector v E R2 such that (A*)kv = v. Since A* is an integer matrix,
a vector v satisfying this relation can be assumed to be an integer vector.
As a nonzero invariant function we can take the sum of the exponentials
corresponding to the vectors v, A*v Consequently, TA is
not ergodic.
2.22. Suppose that the trajectory {Tm(x)} of the point x is not dense in
X. This means that there exists an open ball B (with rational coordinates
of the center and with rational radius) such that x U,flEN T_m(B) = GB.
Since GB is open, it follows that > 0. It follows from ergodicity
that = 0 (consider the invariant set c GB). Since
the balls with rational parameters form a countable family {Bk}, the union
e= has zero measure. And every point in X\e has a dense
trajectory.
§2. TRANSFORMATIONS WITH AN INVARIANT MEASURE 341
j
Since e is arbitrary, this implies (1) for x.
f(x)dx+e.
If f(0) f(1), then we can select functions g, hE C([0, 1]) such that
g(0) = g(1), h(0) = h(1), g f h, and — g(x)) dx <e. It then
remains to use the inequalities
<e (x E [0, 1]).
To prove b) replace f in this argument by the function XA.
See problem 1.3.9 for a proof of a) without use of the ergodic theorem.
2.30. Let T(x) = (2x) mod 1. For those x E [0, 1) that are not dyadic
rational numbers (as always, we can neglect a set of measure zero when
considering questions involving measure) the equality Xk = 1 means that
T is ergodic (problem 2.21b)), the ergodic theorem
gives us that the desired limit is 1/2 for almost all x (problem 2.27). It can
be proved in exactly the same way that the corresponding frequency is equal
to 1/p for the p-ary number system. The following fact can be deduced at
once from this: the set of all x such that for any p all the digits in the p-ary
expansion of x occur identically often (such numbers are said to be normal)
has measure 1. See also problems IX.2.14 and IX.3.10.
§2. TRANSFORMATIONS WITH AN INVARIANT MEASURE 343
(for n > m)
An = {xlx1 = = = =
Computing the measures of these sets, we get
1 1 1
= = nT (B)) =
and hence (*) holds. In almost the same way (*) can be verified for sets
A and B representable as finite unions of cylinders (in particular, for all
intervals with dyadic rational endpoints). Every measurable set A can be
approximated to any accuracy e by a set A' representable in such a form
(this means that + < e). In this case we Write A A'.
If B B', then also and An A' n
From this, n 2€. Since e is arbitrary, (*) is
proved.
2.33. a) The proof is the same as in the case of Lebesgue measure (see
the preceding problem).
b) Verify that the measures coincide on intervals of the form [kf2'1,
(k+
c), d) Use the ergodicity of (see problem 2.31) and assertion 2.28.
2k
2.34. Suppose that the first digit of the number is p. This means
that for some m E N
m+log10p <m+1og10(p+1). (1)
Consider the transformation S(x) = (x + mod 1 on [0, 1), with =
log10 2. The relation (1) means that Sk(0) E [log10p. 1og10(p + 1)). Since
is irrational, the desired limit is equal to 1og10(1 + lfp) (see 2.21a), 2.29b)).
2.35. a) Consider the sets Aa.. a, = {x E (0, 1J1a1(x) = a1, , =
which are intervals of monotonicity of Let ip = Wa a, be the
function on [0, 1) that is the inverse of on A = Aa...a• Using the
explicit expression
= 1 =
t E 1)
1
344 X. ITERATES OF TRANSFORMATIONS OF AN INTERVAL
for ip (we Omit the elementary computations), we can compute the length
of A:
= +
If 1],then
flA) = - = - +
1
+
Since the quotient on the right-hand side is between and we
arrive at the inequality
nA)
for an arbitrary interval A C [0, 1), hence also for an arbitrary measurable
set A. If we replace). by a Gauss measure jz with density between 1/(21n 2)
and 1/In 2, then, replacing the constant 2 by C = 4/In 2, we can write the
inequality
nix) (1)
Since the value of the measure of any interval can be recovered from its
values on all possible intervals of the form L'&a..a (this follows from the
fact that < 2fl+l) we can replace in (1) by an arbitrary set.
Suppose now that A is an invariant set, and take the = (0, 1]\A in place
of A. Then A)u(A) jz(A nA) = 0, which implies that jz(A) = 0 or
=0.
bi) Use assertion 2.27.
b2) Since
hm —
1
(x))
1 f'fN(x) dx.
=
Ok<n
The expression obtained increases unboundedly as N —, 00. and hence the
limit of interest to us is infinite.
b3) Apply the ergodic theorem to the function 1(x) = lna1(x).
b4) Verify first the equality = which implies that
p1(TIZi(x))
—'
— 1
§2. TRANSFORMATIONS WITH AN INVARIANT MEASURE 345
and hence
1 1 fPflk(T(x))
——lnq(x)=—
n
ml
O<k<n
If we set 1(x) = mx, then the last expression differs from the sum
f(Tk(x)) by the quantity
1
a
fl
- In (Tkx
Ok<n V
in < -1 = - = _L <±..
— 2k1
— qk —
(the last inequality can be proved by induction, for which it is useful to
write out the recursion relations connecting and with
and Khintchin&s book "Continued fractions" contains a wealth
of information about continued fractions).
Finally,
1
— f(i 1 ftlnx
Ok<n
Answers
Chapter I
1.6. Yes. 1.7. Yes. 1.8. Yes. 1.14. N ha2.
1.20. a) {0, 1,
1/2, 1/3, ...}; b) c) R; d) [—1, 1]. b) [0, 2],
1.25. Yes. 1.28
[—1, 1]. 1.29. No. 1.30. For example, the set of vertices of regular
n-polygons inscribed in circles of radii 1 — 1/n with center at a particular
point. On the line—the set of midpoints of the intervals complementary to
the Cantor set.
2.10. If and only if is an arithmetic progression. 2.15. c)
b). 2.18. f) No. 2.19. c) Reverse the inequality for p < 0; d) for
p E (—1, 0) the inequality is satisfied for all x E (0, 1).
3.6. a) [—1, 1]; b) R; c)—e) [—1, 1]. 3.7. a) {0, 1/q (q — 1)/q}
if x = p/q is an irreducible fraction; b)—d) [0, 1]. 3.8. Yes.
Chapter II
1.1. 1/2. 1.2.
1.3. a), b) 2. 1.4. 1.5. e(2H/(e_ 1). 1.6. a)
Chapter III
a), e) The empty set; b) the set of all functions; c), d) the set of
1.1.
constant functions; f) the set of functions bounded on each finite interval;
g) the set of functions uniformly continuous on R; h) the set of functions
bounded on R; i) the set of nondecreasing functions uniformly continuous
on IlL 1.2. No. 1.5. Yes. 1.6. b) No. 1.7. Yes. 1.12. The assertion
is true for a separable space and is not true for a nonseparable space. 1.14.
a) No; b) yes. 1.23. The functions of the form ax + b. 1.25. Yes.
347
348 ANSWERS
2.3. No. 2.5. For a finite family of functions it is true, for a countable
family it is false.
3.9. a) b), c) does not imply a). 3.12. Yes, g'(O) = 2/a. 3.18. 2.
3.19.
4.1. No. 4.2. = (1 — 12)1(1 + 12) + 1(21)1(1 + 12). 4.3. Yes. 4.4.
c) For example, = 2/9, = 1/3.
5.1. a) The constants; b) 1(x) = g(lnx). where g is an arbitrary contin-
uous function on R having period In 2.
5.3. f(x)=Alnx. 5.4. f(x)=Axlnlxl for XER, f(0)= 0.
5.5. 1(x) 0 or 1(x) = x. 5.6. 1(x) 0. 1(x) = x, and, moreover,
1(x) = —x if n is odd. 5.10. 1(x) = Alnx + h(lnx), where h is an
arbitrary continuous function on (—oo, +oo) with period T = ln(a/b) and
A = — 1(b)). 5.11. a) = 0 and = (lnx)H(lnIlnxI)
for 0 < x < 1, where H is an arbitrary continuous function on R having
w(InIInxI)
period 1n2; b) 1(x) 0, 1(x) 1, or 1(x) = xe for 0 <x < 1,
where w is a continuous function on R having period 1n2 and satisfying the
condition w(t+h)— w(t) > —h for t, hEIR, h >0. 5.12. For example,
for f(0)=0. 5.13. f(_-)=: or
for Izi = 1, 1(0) = 0, and f(z) = for
0 < 1:1 < 1, where w and H are continuous real functions with period
1n2, and co(t+ h) — w(t)> —h for t, h ER and h > 0. 5.15. f(x, y) =
a(x2+4xy+y2)+b(x+y)+c, where a, b, and c are arbitrary real numbers.
5.16. If f const, then g exists if and only if I is strictly monotone on
R or f is even and strictly monotone on [0. +oo).
In the answers to problems 5.17 and 5.18 the letter stands for a char-
acter.
((k,I)E
Z2), where C2 E S'; c) ço(n) = C? (n E where is an nith root of
unity. 5.18. a) = eUX (x ER), where I E R;b) ç9(x) = where
(x, t) is the inner product of the vectors x and I in c) n) =
(x E R. n E Z) where t E R and E S1; d) = Re :+s Im:) (:E C)
where t,sER;e) 9'(C)=C' nEZ; f)
(x >0), where I ER; g) ço(:) = (:E ce). where t ER and
n E Z. 5.19. An arbitrary continuous homomorphism is defined by the
respective equalities: a) = ax; b) = c) = alnx; d)
ç9(x) = xa; e) = f) = where a and b
are arbitrary real numbers, and n E Z.
Chapter IV
1.1. Converges. 1.2. a)—c) Diverges. 1.4. a) p > 0; b) p> 1/2; c)
p > 2. 1.5. a) Converges; b—d) diverges. 1.7. a), b), g) Diverges: c),
d), f), h) converges.
ANSWERS 349
Chapter V
1.1. The integral converges. 1.2. The integral converges for p> 2. 1.3.
The integral converges in the following three cases: q < —1, r and p
1.4. The integral converges in the following three cases: q <—1 r and p
arbitrary; q—1, p>0; r>0, 1+q<p/r. 1.5.
Theintegralconvergesifq>1, p0 or q>1+p, p<0. [Link]
integral converges for q < —1 and p > 0. 1.7. The integral converges for
p < 1 and q> 1. 1.8. The integral converges if p <—1, q 0 or q > 0,
2(p + 1) <q. 1.9.—i.!!. The integrals converge. 1.12. a), b) No. 1.13.
1T
For any e > 0. 1.14. a) f(0)ln(b/a); b) (f(0)—+ f(x)dx)ln(b/a); c)
(1(0) — 1)ln(b/a). 1.16. 0. !.i7. —(,E/2)1n2. 1.18. 1.19.
1.20. 2E2/6. 1.2!. 2E/2—arctana. 1.22. ir/2. 1.23.
1.24. 0. 1.25. ,E(lal + ibi — Ia + bI). 1.26. —y. 1.27. V2 + 2E2/6
1.28. y. 1.29. (!/q— !/p)y. 1.30. (!/q— !/p)y. 1.3!. 1n4. 1.32.
—(!/2)1n22. 1.33. 1.34. 3/4;
1n2; !)2E. 1.35. 1.36. 1.37. a), b)
1.38.
2.!. 21n2. 2.2. a) n/(n+!) ; b) !/(n+!); c) 2.3.
2.4. a) + b2), b) + 1)12). 2.5. 27E —
j
Chapter VI
a'IIn(l —t)I ; b)
1.2. a) In(1 —t)I ; c) . 1.3. a) A/mA;
b) A; c) 2A/2E; d) e) 1.4. a) (mnA)/p; b)
c) d) AIifA. 1.5. a) (22En2)1; b) c)
1.10.
forpczl,
b) (eImneI)'.
2.1. 1(0). 2.3. dt. 2.5. a), b) f'(1 + c)
f'((1 2.9. a) b) c)
d) f'(2 — e) f) A2; g) where
h) A'. 2.10. a)
b) c) + 2.11. a) b)
c)
3.11. a) b) 3.27. a), c) f(1 + l/p)(1 b)
((1 !)
—
S(t) = In ti)
(IP) (p(1 —
f'(l+p)
a b
________
ANSWERS 351
3.29.
1n2
a)—;
1 —t
b)
12(1 _t)2
;
1
2(1 —1)
a)
4(1-i)' b) -tv'; c)
!Imn(1 —1)1
d' --i)
'2 1—i
, e) 1
3.31. a) In(1
I — 1)11(1 —1); b) (,E2/6)(1 —
4.3.
a)y=x—x 2 33 +•••;
b)y=
x—1 9 2 109 3
x
—
2 3
x 8s +a7xi +....
4.8. a) 1/n; b) c) d) e), f) 2/n; g) 4/n2;
h) 4.10. For example, 1(x) = x — x2e_hhIX for 0 <x 1,
f(x) = f(1) for x> 1. 4.11. If the sequence does not become
stationary, then or (—1) depending on the choice
of x0. In particular, the first case is realized if 0 <x0 < 1. 4.13. a,
where
K=
" I
352 ANSWERS
lin/2)Jo
n/2--l
e.
ANSWERS 353
3.39. a)
2ir2 (m +
n J
1 1 1 1
4.2.b) I 1+1+—+...+
eala2•..am \ 2! (rn—i)!
4.5. 2ir, where L is the length of the curve bounding A. 4.6.
a) 1/2; b) 3/8; c) 1/2; d) 1/2; e) 1/2. 4.7.a),b) p<21og32.
5.3. a), b) c) d) e)
5.4.a) 1;b) 3/2. 5.5.a),b) 5/3; c) 4/3. 5.6.a),b),c) 2. 5.7. 1og32.
5.8. 5.11. 2—1og32. 5.12 c) No. 5.19. a) p = 1,
= (b a)/2; b) p = 1,
— = it; c) p = 2, jz2(A) = d)
p= n, = cc'. 5.20. p = log3 2, = 5.21. a)
dimH(A) = M-dim(A) = log3 2; b) dim11(A) = 0, M-dim(A) = 1; c)
dim11(A) = log3 2, M-dim(A) = 1. 5.24. a) Im = b) 1/2; c)
00. 5.26. (lnm)/ln n. 5.27. dimH(A) = (In 5)/In 10, dim11(A + A) =
(lng)/ln 10.
6.2. a) About 14%, b) more than 99%. 6.3. Less than 0.25%. 6.4.
The probability that 1x11 <e tends to 1 as n —. oo for any e > 0. 6.5.
6.10. b) 1/2. 6.18. The ratio of the volumes of the cube and the
ball is equivalent to: a) b) In case
b) the ball is contained in the cube only for n 9. 6.19. =
6.22. b)
?
Chapter IX
1.1. Convergence in measure holds in all cases except e). There is an
integrable majorant only in cases b) and d). 1.10, 1.11. The assertion
is true also for R. 1.12. The theorem ceases to be true When (0, 1) is
replaced by R. 1.14. If the condition is violated, then the assertion is
false. 1.15. a), b) Yes; c) no.
2.11. it2. 2.19.
3.1. d) 1 — 2x. 3.4. a) (sin 1)/i; b) e"2 eUt da(x); c)
the sequence either diverges or stabilizes; C) see the answer to problem 1.20c)
for a 3/4, and the sequence either diverges or stabilizes for a > 3/4; d)
for a E [e_e, 1J and for all x0 E R the sequence converges to the
unique fixed point of for a E (1, we have that = for
x0<L for and for x0>L where
< are the fixed points of 1. and for the remaining a the sequence
either diverges or stabilizes. 1.32. a), b) For a = 1 there is a continuum
of 2-cycles {z, 1— t} (t E [0, 1/2)), for a> 1 there is one repelling 2-cycle
fl—a l+a
1. l+a2
and from one to three repelling 4-cycles; c) for a > (1 + = 1.618...
there are two repelling 3-cycles
fl—a—a2 l+a—a2 l+a+a2
l+a3 ' l+a3 ' l+a3
and
f l—a+a2 l+a—a2 1—a—a2
1—a3 ' 1—a3 ' 1—a3
ANSWERS 355
y) = cnmei(nx+mY)
It turns out that this projection is bounded if and only if the coefficient ).
is rational (see the paper of E. S. Belinskii in the collection "Theory of
mappings and approximation of functions," "Naukova Dumka," Kiev, 1983,
pp. 18—20).
To prove this assertion, consider first of all the analogous problem in the
one-dimensional case: for any trigonometric polynomial Q(t) = cke
(only finitely many of the coefficients Ck E C are nonzero), let PQ(t) =
kI<N
cke. It will be assumed that N 2, N E N. Since PQ is a
partial sum of the Fourier series of Q, it follows that
Q( /
—
—
1
Sj l/2)SdS•
2sin(s/2)
358 APPENDIX I
1 sin(N+ 1/2)s
ds
— it 2sin(s/2)
It follows from the result of problem IV.6.6 that C const N. The
example of the polynomial
Q0(t)=e
iNt 1. 1 1 iki
shows that the estimate for C cannot be essentially improved: on the one
hand (see P1.6.15) 1Q0(t)I A (the number A is independent of t and N),
and, on the other hand,
PQ0(t) =
l<k<N
hence
maxIPQ0(t)I = IPQ0(O)I =
x+my)
m e' = T'(x' y')
n' ,m'EZ
APPENDIX 1 359
Thus, for n N
>
O<k<n
ncosu > k
Ok<n
Let w = —v/cosu (w> 1), and = S0(x)+•• Then
and hence (1 + (1 +
\W
1
an...2
Thus,
0(WI)
wn aN...I
CrR/ۥ
364 APPENDIX III
I do
I = IM'(e)l (IN(e)I +
(1
To estimate the integral of cot2 note that the function =+
is increasing, and hence that is, — This
implies that = — p)). Thus
p,), (in0 +
Consequently,
8 CR
Bibliography
367
368 BIBUOGRAPHY
369
370 SUBJECT INDEX