Professional Documents
Culture Documents
(Rami Shakarchi, Serge Lang) Problems and Solution Analysis S1-Dikonversi
(Rami Shakarchi, Serge Lang) Problems and Solution Analysis S1-Dikonversi
A N D
PROBLEMS AND
SOLUTIONS FOR
UNDERGRADUATE
ANALYSIS
�Springer
1074G600
Rami Shakarchi
Department of
Mathematics Princeton
University
Fine Hall, Washington Road
Princeton, NJ 08544-1
000 USA
A C.I.P. Catalogue record for this book is available from the Library of
98765
spnnger.com
Preface
The present volume contains all the exercises and their solutions for
Lang's second edition of Undergraduate Analysis. The wide variety of
exe�cises, which range from computational to more conceptual and
which are of vary ing difficulty, cover the following subjects and more:
real numbers, limits, continuous functions, differentiation and elementary
integration, normed vector spaces, compactness, series, integration in one
variable, improper integrals, convolutions, Fourier series and the
p integral, functions in n-s ace, derivatives in vector spaces, the
Fourier
inverse and implicit mapping theorem, ordinary differential equations,
multiple integrals, and differential forms. My objective is to offer those
learning and teaehing analysis at the undergraduate level a large
number of completed exercises and I hope that this book, which
contains over 600 exercises covering the topics mentioned above, will
achieve my goal.
The exercises are an integral part of L�ng's book and I encourage
the reader to work through all of them. In some cases, the
problems in the beginning chapters are used in later ones, IV for
example, in Chapter when one constructs-bump functions, which are
used to smooth out singulari ties,. and prove that the space of
functions is dense in the space of regu lated maps. The numbering of
the problems is as follows.. Exercise IX.5. 7 indicates Exercise 7, §5,
of Chapter IX.
Acknowledgments
I am grateful to Serge Lang for his help and enthusiasm in this
(
project, as well as for teaching me mathematics ) much more
and
with so much gener�sity and patience.
viii Preface
Preface ••
Vl
l
I. Algebraic Axioms . . . . . . . . . . . . . . . . . . . . . . 9.
1 Ordering AxioiilS . . . . . . . . . . . . . . . . . . . . . . . 10
1.2 Integers and Rational Numbers . . . . . . . . . . . .. . .
1.3 13
1.4 The Completeness Axiom . . . . . . . . . .. . . . . . . . . 1 5
II Limits and Continuous Functions 19
11. Sequences of Numbers . . . . . . . . . . . . . . . . . . . . . 1 9
1 Functions and Limits . . . . . . . . . . . . . . . . . . . . . 22
11.2 Limits with Infinity . . . . . . . . . . . . . . . . . . . . . . 24
Il.3 Continuous Functions . .. . . . . . . . . . . . . . . . . . . 29
11.4
Differentiation 35
III
III. Properties of the Derivative . . • • • • • • • • • • • • • • • 35
1 Mean Value Theorem . . . . . . • • • • • • • • • • • • • • • 38
III.2 Inverse Functions . . . . . . . . • • • • • • • • • • • • • • • 39
III.3
x Contents
IV Elementary Functions 43
IV .1 Exponential . . . . . . . . . . . . . . . . . . . . . . . . . . 43
IV.2 Logarithm . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
IV.3 Sine and Cosine . . . . . . . . . . . . . . . . . . . . . . . . 65
IV .4 Complex Numbers . . . . . . . . . . . . . . . . . . . . . . . 71
IX
IX.2 Series 133
IX.3 Series of Positive Numbers . . . . . . . • • • • • • • • . . 133
• . . 14 6
Non-Absolute Convergence . . . . . . . . . . . • • • • •
Pointwise Convergence . . . . . . • • • • • •
•
• • • • • • • 20 8
XIII Improper Integrals 217
XIII. 1 Definition . . . . . .
. . • • • • • • • • • • • • • • • • • • • • 217
XIII.2 Criteria for Convergence . . . . . . . . • • • • • • • • • • 219
XIII.3 • 22 5
Interchanging Derivatives and Integrals • • • • • • • • • •
XIV •
243
XIV. 243
1 The Fourier Integral 247
XIV.2 The Schwartz Space . . . . . . . . . . . . . . . . . . . . . .
XIV.3 The Fourier Inversion Formula ... . . . . . . . . . . . . . 2 50
An Example of Fourier Transform
Not in the Schwartz Space . . . . . . . . . . . . . . . . . 253
.
XV 2 53
XV. Functions on n-Space 2 62
1 Partial Derivatives . . . . . . . . . . . . . . . . . . . . . . . 2 66
XV.2 Differentiability and the Chain Rule . . . . . . . . . . . . . 2 67
XV.3 Potential FUnctions . . . . . .. . . . . . . . . . . . . . 273
XV.4 . . 277
XV. 5 Curve Integrals . . . . . . . . . . . . . . . . . . . . . . . .
XV. 6 Taylor's Formula . . . . . . . . . . . . . . . . . . . . . . . .
Maxima and the Derivative . . . . . . . . . . . . . . . . . . 287
XVI 2 87
The Winding Number 2 88
XVI.2 and Global Potential Functions 290
XVI. 5 The Winding Number and Homology . . . . . . . . . . . .
XVI. 6 The Homotopy Form of the Integrability Theorem . . . . . 293
More on Homotopies . . . . . . . . . . . . . . . . . . . . . 293
XVII 295
XVII.1 Derivatives in Vector Spaces 296
XVII.2 The Space of Continuous Linear Maps . . . . . . . . . . . 297
XVII.3 The Derivative as a Linear Map . . . . . . . . . . . . . . . 298
XVII.4 Properties of the Derivative . . . . . . . . . . . . . . . . 301 .
XVIII • • •
0.2 Mappings
Exercise 0.2.1 Let S, T, T' be sets. Show that
Solution. Assume that S, T, and T' are all non-empty (if not the
equality is trivial). Suppose that x E Sn (TUT') . Then x belongs
necessarily
and
one to S one of the sets T or T'. Thus x belongs to at least
to at least
of
the sets SnT or n T'. Hence
S Sn (TUT' ) c (SnT' ) . TT)
(SnT)U T T T ') '
n T') c
and similarly, (S Sn (TUT') .
(U so (SnT) .C Sn( U
To get the reverse inclusion, note that c
Sn = S n
and similarly, U Vn (Vn- SnTn)
(S
Snu == Vn -
Tn)(
= · · ·
) (
·11
T1 so this proves the
equality. Therefore
( SnT) U (SnT') c Sn (TUT' ) .
For 1 � j < n, let Vj T1 U UTj. Then by our previous
Sn (T1 U
· · · n
UT ) ::;: ( Sn Vi) U ( SnT ) U
· · · n
U (SnT )
But V1 · 2
=
2 0. Sets and Mappings
-1 = -1 - 1Y
Solution. If x E U /-Y1 U (Y n Z ) , then f(x) E (Z Y and f(x) E Z , so x
1 1
E f- (Y)nf- (Z ).).Z) Conversely, if xef- 1 1
n /If- (Z ), then l(x) eY
)(/ (Y)
and f(x) E Z , so l(x) E YnZ ( and therefore x E f - 1 (YnZ) . This
proves the
first equality. f - 1 (Y U Z ) , then l(x) E
For the second equality suppose that x E
(YUZ 1) , so l(x) eY or f(x) eZ which implies that (Y)uj - 1(Z ) .
xef-
�
Conversely, if x I - 1 (Y) U I - 1 (Z ), then f(x) E Y or f(x) E Z
which implies that x E f - 1 (YUZ ) .
Exercise 0.2.6 Let S, T, U be sets, and let I : S --+ T and g: T -+ U
be mappings. (a) If g; I are injective, show that go f is injective. {b)
If I, g are surjective, show that go f is surj ective.
Solution. (a) Suppose that x, y E S and x =/: y. Since g I and are
injective we have f(x) =/: f(y) and therefore g(f(x )) =/: g( l (y)) , thus
gof g is surjective, given y E U there exists z E T such that = y.
is injective.
(b) Since
g(z)
Since f is surjective, there exists x E S such that f(x) = z. Then g( l (x)) =
y, so go f is surjective.
Exercise 0.2.7 Let S, T be sets and let f : S --+ T be a mapping.
Show that I is bijective if and only if I has an inverse mapping.
Solution. Suppose that f is bijective. Given any y E T there exists x E
S =
(In the exercises you may use the standard properties of numbers concern
ing addition, multiplication, and division.)
(a) 1 + 3
+
2 5+ · · · + (2 n - 1) = n2 •
2 12 +
(b) =
2 · ·+ 0.3.1 Prove the following statements for all positive integers.
+ 3Exercise
+ 1)( 2 n + 1)/6 .
n2 n(n 2
(c) 13 + 23 + 33
+
· ·
· + n3 [n(n
= + 1)/2] •
4 0. Sets and Mappings
( n +01 )(2n2 + 7n + 6)
- _
6
� -(n l )((n + 1) + 1) (2(n + 1) + 1) .
_
6
(c) or n 1 we have 13 = (2/2)3• Assume the formula is true for
an integer n > 1. Then
=
13 + 23 + 33 + · · · + n3 + (n + 1) 3 n2 (n + 1) 2 4(n +4 1) 3
-
+
0
2
2
4
(n + 1) (n + 4n + 4)
=
4
(n + 1) 2 (n + 2) 2
4
- [ (n + + 2) r.
Exercise 0.3.2 Prove that for all numbers x =/: 1,
1- (x2"+1f
1- x ·
2n+2
1-x
1-x
h that f(xy) = f(
Exercise 0.3.3° Let f : N-+ N be a mapping x)+f(y)
suc .
n
for allx,y. Show that / (a )= nf(a) for all n E
N
0.3 Nat
ural Numbers and Induction 5
= = ·
Also n! is
(n- = ·
k!(n - k + 1)1
- k!(n + 1 - k)!
+ y )n
(x
( �) xkyn -k .
=
= t
k=O
Solution. For n 1 the formula is true. Suppose that the formula is
true for an integer n � 1. Then
(x + y)n+l = (x + y) [� ( � )
xy =
k=O k=O
k=l k=O
6 0. Sets and Mappings
- r: ( nk ) 1
x k y n+ l - k
as was to be shown. The second to last identity follows from the previous
exercise.
•
1 2 1 1 n n 1
n-
1 1
1( + I ) ( 1+ 2 ) ··· n- )1 = (n- 1}r
-
(+1
Find and
1/k)k+l
prove a similar formula for the product of the terms ( 1 +
= 1,...,n- 1.
For = the formula is true because = 2
ta en for k
n 2 -1 /(2-1)!. Suppose
the formula is true for an integer n � 2, then
Solution.
22
1 n-1 n (n- 1)! n k l n!
as was to be shown. The product of the terms (1 + 1/k) + taken for
k = 1,...,n- 1 is given by the formula
1
(1+I ) ··· ( 1 n- 1) = (n-
1 2
n
n n
1)r
also
+
The mapping f is
J
g (n) if k > n
g(k) if k E
n�
10'1
0.5 Equ
ivalence Relations 7
maps defined on E
with
Exercise 0.4.4 If S, T, S', T' are sets, and there is a bijection between
S and S', T, and T' , describe a natural bijection between SxT and
S'xT' . Such a bijection has been used implicitly in some proofs.
Given any (x', y') E S' x T' there exists x E S and y E T such that
f(x) = x' and g(y) = y'. Then h(x, y) = (x', y'), so h is
surjective.
map The because if h(xt, Yl ) = h(x2, Y2), then /(xt) = j(x2)
his injective
g(yl ) = g(y2), so Xt = x2 and Yt = Y2 because both f and g are
and
injective.
0. 5 Equivalence Relations
Exercise 0.5 . 1 Let T be a subset ofZ having the property that ifm, nE
T, then m + n and -n are in T. For x, yE =Z dt.ifi ne x y if x -
yE T. Show that this is an equivalence relation.
Solution. Suppose that T is non-empty, otherwise there is nothing
to prove. The element 0 belongs to T because if ·n E T, then -n
= and
0 n- n to T. Therefore x = x for all x. Since y - x = -(x- y)
belongs
that x = y implies y = x. Finally, if x = y and y = z, then x = z
we see
x- z = (x - y) + (y - z) so x - z E
because
T.
Exercise 0.5.2 Let= S Z be the set of integers. Define = the
relation x y for x, y E Z to mean that x - y is divisible by 3.
Show that this is an equivalence relation.
8 0. Sets and Mappings
(x + y) (x + y) (x + y)x + (x + y)y
=
imply =
2
= x22x+ 2xy +xyy 2+•
Similarly, y+ yx +
x2 - y2.
number x such that x n a, and x > 0. Show that such a num ber x, if it
=
Now suppose that 0 < a < b and b11n :5 a1/n. Then arguing
Exercise 1 we find that {b11n )n <(a11n ) n so b.:: a which is a
Solike in< b11n and we are
a11n contradiction.
done.
Exercise 1.2.4 Prove the following inequalities for x, y E R.
lx - Yl � lx l - IYI
, l x - Y l � I Y I - lxl
,
lx l < l x + y i + I Y I ·
Solution. All three inequalities are simple consequences of the
triangle inequality. For the first we have
l x l = fx - Y + Y l < fx - Y! + I Y I ·
The second inequality follows from
I Y I = I Y - x + xf < I Y - x l + l xf .
Finally, the third inequality follows from
l x l = l x + Y - Y l < fx + Yl + I Y I ·
Exercise 1.2.5 If x, y are numbers > 0 show that
< x+y
..jXY .
2
Solution. The inequality foliows from the fact that
Solution. We have
as was to be shown.
e S and <x m
Tis
non-empty and T c z+. The well-ord�ring axiom implies that Thas a
least element k . Then for some xo e S we have = xo- m so x0 = k +m.
Clearly for all x e S we have
x- Xo = x- m- (xo- m) = x- m- k> 0.
1.4 The
Completeness Axiom 15
Exercise 1.4. 1 In Proposition 4,.3, show that one can always select the
rational number a such that a:/=z (in case z itself is rational). {Hint: If z
is rational, consider z
1/n.J+
Solution. If z is irrational, then there is no problem. zIf is rational, let
a = z + 1/n e Q, where 1/n <E. Then zl - al <1/n <E.
Exercise 1.4.2 Prove: Let w be a rational number. Given e > 0, there
exists an irrational number y such that IY- wf <e.
Solution. Choose z e Q such that l(w/v'2)-zl <efv'2. Then y = z v'2 ¢
Q, and wl
< e .- YI
Exercise 1.4.3 Prove: Given a number z, there exists an integer n such
that n < z <n + 1. This integer is usually denoted by [z] .
Solution. LetS = {n e Z such that z n} which is non-empty.
n0
Then=- inf
1<(S) exists by Exercise 5of the preceding section and no e S.
Hence z 1 We cannot have z 1 no 1 because no =
inf(S)z-
thus 1 > n0- 1,-which impliesz
,no.< <- >-
see that no <z no
n0• Putting everything
1.+<together we
y, then y x =
that +
R(x R (x ) in general
y) + R(x + y) <1 <R(x) + we
R(y),
R (x )
R(x + + R (x + y)
y
<) 1 <R(x) + in general
R(y), R(y) 1,
If
we so
Exercise 1.4.6 (a) Let a be an imltional number. Let E > 0. Show that
there exist integers m, n with n > 0 such that lma - n l <E.
(b) In fact, given a positive integerN, show that there exist integers m,
n, and 0 <m <N such that lma- n l <1/N.
(c) Let w be any number and E > 0. Show that there exist integers q ,p
such
that
lqa - p-wl <E.
{In other words, the numbers of type qa- p come arbitmrily close to w.
Use part (a}, and multiply ma-n by a suitable integer.}
Solution. Since (b) implies (a) , it suffices to prove ( b ) . Let nz be the
unique integer such that 0 z<- nz = z < 1. Divide the interval [0,
1)
in N intervals [j/N, (j + 1) /N] , j 0, . . . , N - 1. Then consider ka for
=
=
N 1 numbers ka, therefore for some k1 ,k2 the numbers k1 a and
kk2 o. 0, 1, . . , N. The number a is irrational, there are N intervals
.
N+ and 1 numbers ka, therefore for some k1 ,k2 the numbers k1 a and
k2 o.
-- 1
lkt a-ktal
= l k ·
k n na- N
(c) Let E > 0. Select integers m, n such that
+- )
0 <lma-
<( tln l <e. 1a
e.
Assume without loss of generality that 0 < ma- n < Let k0 be the
greatest lower bound of the set of integers k such that w < k(ma-
n ).
Then
(ko- 1) (ma- n) <w <ko(ma-
which implies n),
that
lkoma- kon-w l
< e.
1.4 The Completeness Axiom 17
n n n2 n n
because of our choice for n. This is a contradiction. If a < b2 , select n
such
that 1/n < (b2 - a)f(2b) . Then
( 1 2
) 2b
b -- = >2 -- >a
2 - +
b - - b 1
2b
n n � n
because of our choice for n. This contradiction concludes the
exercise.
· · ·
a
square.
Solution. Since x� � 0 for all i = 1 , . . . , n, an easy induction
shows that x � + · · · + x� > 0 . The previous exercise implies that x� + · ·
argument
has a square
·
root.
+x�
II
Limits and Continuous ftnctions
lxnl
Solution. Given
= e > 0 <choose
11/r.·l e, so N{xn} that N > 1/e.
such converges Then for all n > N,
to 0.
we have
Exercise 11. 1 .3 Xn = ( - 1 ) n (1 -
Solution. The sequence {x } has at least two distinct points of
lation, 1 and - 1. Indeed, l xnn - 1/n for even n , and Jxn - ( - 1/n
accodd
for umu n. This shows that the sequence {x n } does not have a limit.
11 1) 1
=
Exercise II.1.8 Xn = .
Solution. For all n > 1 we have
l xn - l l =
n2 + 1
-- - 1
n2
n2 +
1
so {xn} converges to 1.
Exercise II.1.9 Zn =
n3 1 + 1/n2 � 2. Thus
Solution. For all n � 1, we have
Xn -- n n
- >
- -- ·
n2 { 1 + �) 1+� 2
Given any positive real number M, XnM whenever n > 2 M, thus { x n}
does not have a limit.
ExercIse n2 n
II.1.10 Xn = - •
2:
11.1 Sequences
of Numbers 21
Solution. For all n > 1, we have
0 < n2- n <n2 and n3 < n3 + 1, thus
l xnl n2n
< 3 = -1.
This implies that {x n} converges to
n
0.
Exercise 11. 1.11 Let S be a bounded set of real numbers. Let A be
the set of its points of accumulation. That is, consists of all numbers a E
R such that a is the point of accumulation
A of an infinite subset of S.
Assume that
A is not empty. Let b be its least upper bound.
(a) Show that b is a point of accumulation of S. Usually, b is called the
limit superior of S, and is denoted by lim sup S.
{b) ·Let c be a real number. Prove that c is the limit superior of S if and
only if c satisfies the following property. For everyf there exists only
a finite number of. elements x E S such that x > c +f, and there exists
infinitely
many elements x of S such that x > c -f.
Solution. (a) There exis.ts a point of accumulation d of S at distance
less than f/2 of b. The open ball of radius e/2 centered at d contains
infinitely many elements of S. Hence the open ball e of radius centered
at b contains infinitely many elements of S. This proves that b is a point
of accumulation of S.
(b) Suppose that c = lim sup S. Then given anyf > 0, part (a) implies
that there exists infinitely many x E S such that x > c f. If for somefo
there exists infinitely many x E S such that x > c + e0 , then the
-
Weierstrass
Bolzano theorexn implies that S has a point of accumulation strictly
greater
c, than which is a contradiction.
{c) If {an} and {bn} are two sequences of numbers, show that
lim sup(an + bn) < lim sup an + lim sup�n
provided the liJDSups on the right exist.
Solution. The proofs of (a) and (b) are analoguous to the proofs
given in the previous exercise.
(c) Let e > 0, a = lim sup and b = lim supbn. If x < a+ e and y < b + e,
then x + y < a + b+ By (b) we conclude that there exists only
2
finitely.n2Esuch that a + b + e < an + bn . This implies
many
that lim sup(On + bn) < lim sup an + lim
supbn .
Exercise 11. 1.13 Define the limit inferior (lim inf) . State and prove
the properties analoguous to those in Exercise 1S.
Solution. (a) Let S be a bounded set of real numbers. Let A. be the
set of its points of accumulation. Assume that A is non-empty. Then
the greatest lower bound of A is called the limit inferior of S. If b
= lim inf S, then
b is also a point of accumulation of S because given e > 0 there exists a
point of accumulation of S at distance e /2 hence there are infinitely
many elements of S at distance < e of b.
(b) We prove that a real number c is the limit inferior of S if and only if
given E >0there exists only a finite number of x in S such that x < c - e
and there exists infinitely many x in S such that x < c+e. If c = lim inf
S, then the second property holds because c is a point of accumulation of
S and if the first property does not hold, then the
WeierstrasBolzano theorem implies that there exists a point of
accumulation b of S such that
b < c which is a contradiction. Conversely, suppose that c satisfies
both properties. Then any ball of positive radius centered at c contains
infinitely many points of S, so c is a point of accumulation of S. If
there were a point of accumulation b of S with b < c, then the first
property would be violated. So c = lim inf S, as was to be shown.
d"'
·
= 1 + nb +
· · > 1 + nb.)
t
( �) bk = 1 + nb + · · · >1
k=O + nb.
IF = ( 1 + bt =
t
( �) bk = 1 + nb + · · · >1
k=O + nb.
11.2 Functions
and Limits 23
(B-
So given B. > 1 choose N such that N > 1) /b. Then for all n > N,
we have dn ;: 1 + nb > B, as was to be shown.
Exercise 11.2.2 Prove that if 0 < c < 1, then
l im
n -+ oo
en = 0.
cl l n e
=
l e i < 1 and
Exercise 11. 2.3 Show that for any number x =/: 1 we have
n xn+l -
1 + X + · · ·+ x 1 x - .
=
If l e i < 1, show
1
that
l im ( 1
+ c + · · ·+ 1 .
n -+ oo ) 1 =
n - C
Solution. We simply expand e
(x - 1 ) ( xn +xn-l + · · · + X + 1 ) - xn+ l +xn + · · · + X - xn - · · · - X -
1
xn+l - 1.
When lei < 1, consider the difference
1n+ e+ · · · + 1 - 1 - e n+l n+ l
c - - - e
- 1 .
- l- e 1- 1- e
e
So l e l n+ l
n 1 --
1 - le i ·
1 + c+ ·· · + 1 - <-
e - c
n
But limn..oo l e l = 0, so the desired limit follows.
Exercise 11.2.4 Let a be a number. Let f be a function defined for all
numbers x < a. Assume that when x < y < a we have f( x) < f( y)
and also that f is bounded from above. Prove that limx -+a f(x )
exists.
Solution. Let a n = a- 1 /n , defined for all large n and consider the se
quence whose general term is given by bn = { / (an ) }. Then { bn } is
an increasing sequence of real numbers and is bounded, so limn-+oo bn
exists. Denote this limit by b. We contend that limx-+a f( x ) = b.
Clearly, for each x, we have f ( x ) < b( because there x) exists an
depending on such that
24 II. Limits and Continuous FUnctions
x < an
n and therefore f (x) < !(an) < b. Given e > 0 choose N such
b- b < e whenever >N. If aN � x < a, then
n
that
This implies
that
O <- hn < x - 1 .
- n
Therefore liiDn-+oo h 0 and hence liiDn-+oo xl / n 1.
=n n n
lf O < x < 1, then 1 < 1/x and limn-+oo (l/x) 1 /= 1. Hence lill-+oo x l /
=
=
1.
Exercise 11.2.6 Let f be the function defined by
1
/(x) = l
n - 1 + n2X
•
im
+ o
Show that f is the chamcteristic function of the set {0} , that is / (0) =
1( =x) 0 if x 1: o
0.and f
Solution. We
have
/{0) l = 1,
n -
1+0
=
1: im > >
= + o 1
1 o 1
1 +N n2x-< 2I -1
n2Nlx
so /(0) 1. If x 0, choose so that lxl - 1 1 / e. Then for all n N
we have
<
e,
=
so f(x) 0.
can find numbers 01 and 02 such that for all x > 01 we have g(x) >
1 and such that for all x > 02 we have f(x) < - B. Then x > max(01 ,
02 ) implies f(x)g(x) < -B.
If M is a number, then limn -+ oo f(x) + g(x)= -oo. Choose 01 such that
X > Ot implies g(x) < M + 1. Choose c2 such that X > q2 implies f(x) <
- B - M - 1 . Then for all x > max(Ot , C2 ) we ha ve f(x) + g(x) <
If M is a number =/= 0, then lill--.00 0.
= Indeed, there
)
Solution. We can write
=
td
a(dxf(x)
ad-1 . . . ao
adx + +adx
+ d
for all large l xf . Since the expression in parentheses --+ 1 as l x l --+ oo
conclude that
we
l im f(x) = oo
OO
X -t
if ad > 0 and
- oo
lim
:x;-.o f(x) =
o
if ad < 0.
Similarly we have
=
X -t
oolim f(x) -
lim f(x)- oo
=
X -t - OO
/(c)
tl +
satisfies
+ · · ·
l ao I ·
the condition
l e i :5 1 + -
l an
lei � lan- f ao l ,
11 · ·· _
lcl n
but since 0 < 1/ fcl < 1, we get + + 1
as was to be shown.
Solution. There exists cl > 0 such that for all X > Cl , f (x) is
defined and / (x) > c. Let B > 0. There is a c2 > 0 such that whenever
X > c2( we have g x) > Bfc. Then whenever x > max (Ct , C2) we) have
f (x ) g (x > B and therefore f(x)g(x) --+ oo as x --+ oo.
and limn -+ oo (Xn Yn ) does not exists, and suc h that fxn Yn l is bounded, i. e.
there exists C > 0 such that fxnYn l < C for all n.
Solution. Let Xn = ( - l) n /n and Yn = n. Then Xn Yn = ( - l ) n and
1
1. m l(x)
n -+ oo
g(X),
distinguishing the cases n > m, n = m, and n < m.
Solution. For large values of x we can write
f (x) - anx
n 1+ ( · .. +
( ·
_
g(x) m 1 ..
···
where {1 + + aofanxn) and (1 +
we have the three cases
bmx 1
· · ·++ bo/bmxm) -+ 1 as x -+ Thus
oo.
n > m
=> n = m
=> n < m
=>
Exercise 11.3.8 Prove in detail: Let I be defined for all numbers >
some number a, let g be defined for all numbers > some number b, and
assume that l(x) > b for all x > a. Suppose that
l im l(x) = oo and l im g(x) = oo.
X -+ 00 X -+ 00
Show
that l im oo.
x -+ oo
g(f(x)) =
Solution. · For all x > a, g(l(x)) is defined. Let > 0. Choose >b
B M MJ > a such that for
9 we have g(f(x)) >
such
all x tha t for all
we have f(x)
x > we h a ve g(x) >
Then for all xB.
B.
Cho
> oseM >t M 9> •
M9
M 1
=
Exercise 11.3.9 Prove: Let S be a set of numbers, and let a be
adherent to S. Let I be defined on S and assume
li m f(x) oo .
x -+ a
Solution. Let f > 0. Choose M such that if y >M, then l o(y) - L l <
E. Select 6 > 0 such that whenever x E S and l x - a l < 6 we have f (x)
> M. Clearly for all x E S and lx - a l < 6 we have l o( / (x)) - Ll < f.
Exercise 11.3.10 Let the assumptions be as in Exercise 9, except that L
now stands for the symbol oo. Show
that lim (x)) =
:X:--
Solution. Let B 0. oo.g(Mf such that for all y > M we have
Choose
+00
g(y) >6 B.as> in Exercise 9.Then for all x E S and lx - a l < 6 we have
Choose
g(f(x)) >
Exercise 11.3. 11 State and prove the results analogous to Exercises 9 and
10 for the cases when a = oo and L is a number oo.or
Solution. Suppose L is a number. Given f > 0 choose A and B such that
y > B implies lg(y) - L I < f and such that x > A implies f (x) > B (x E S) .
Then for all x > A we have lu( / (x)) - Ll < f.
Now suppose L = oo. Given M > 0, choose A and B such that for all
y > B have g(y) >M and such that x > A implies f(x) > B. Then
we whenever x > A.
M
g(f(x)) >
Exercise 11.3. 12 Find the
(a) � ·
followi n g lim its as n --+ co:
� ·
Solution. (a) The limit is 0. To see this write
1 + n= 1 + 1
n2 n2 n·
S in ce 1/n2 --+ 0 and 1/ n -+ 0 as n --+ oo we have limn-+oo ( 1 +
) limit is 0. To see this, write
b( The
n)/n2 = 0. n - (n + 1) <
v'fi+ 1 - 2n
(c)The limit is 1. Indeed, we can write
Vn 1 .
1- + 1/n
(d) The limit is 0. For n large, we have
1 <1
1 + nx- nlxl - 1
a nd nlxl - 1 -+ oo as n -+
e)The
( limit is 0 because we have the bound
oo. n
101 = - (n + 10)
< 10
l v'n - Vn + 10-
11.4 Continuous Functions 29
11.4 4 Continuous
Functions
Hence f is continuous.
Exercise 11.4.2 Let f(x) = [x] be the greatest integer < x and let
g(x) = x - [x] . Setch the graphs of f and g. Determine the points at
which I and g are continuous.
Solution. If n < x < n + 1 with n E Z, then [x] = n and x - (x] = x - n
so 0 < g < 1.
From the definitions of I and g we see that these functions are
continuous on R - Z.
t'I'I-'10
l L 3
30 II. Limits and Continuous Functions
?.
q
- xo < 1.
The set 89 has finitely many elements. So there are only finitely
many rationals with denominator < q0 which are at distance less than
6,
1 from x0 • So we can find 6 such that all rationals in (x0 - x0 + 6)
have denominator
> qo. To be precise we let
dist(xo , 89 ) { (
= m i n dist q x0 ,
p ES 9
p
)} .
f(x) = lim ( x n - 1 ) 2
.
n-+oo xn + 1
(a) What are /(1), /( � ) ,
/( 2)?
{b) What is limx --+1 f(x) ?
(c) What is limx --+-1 f (x) ?
{d) For which values of x =/= -1 is f continuous ? Is is possible to
define
/(- 1 ) in such a way that f is continuous at - 1 .
( xn - 1 ) 2 ( - 1
lim = 1.
=
n-+oo xn +
) 2
1
-
(a) 1
The above argument shows that /( 1 ) = 0, / (1/2) = 1, and /( 2) = 1.
(b)
Note that f(x) = 1 for all x such that l x l I: 1, but /( 1) is defined and
/(1) = 0. So limx--+1 f(x) does not exist , but
li m f(x) = 1.
z-+ 1 ,z¢1
(c)
Similarly, limx --+ - 1 f(x) does not exist, but
z-+ li m f(x) = 1 .
- 1 ,z¢ - 1
(d)
The function f is continuous at all x ¥= 1, - 1. However,
f be extended can
/(c) - f(a)
f (x ) < (x - a) + f(a).
c-
a to c and x < c, this shows that
Given e, for x sufficiently close
11.4 Continuous Functions 33
For the reverse inequality, fix a point b E I with c < b and use
f(b) - f(x)
/(c) � b- (c - x) + f(x) . ]
x
If the interval is not open, show that the function need not be continuous.
Solution. The inequality
f(c) - f(a)
f(x) < c - a (x - a) + f(a)
follows from the equation we gave in Exercise 7 of the line segment between
(a, {a and (c, /(c)) and the fact that the curve f(x) lies below
y=
line. Write x 6. Then we
this
=
))/
havec - f(x) <
f(c) - /(a}
(x - a) +
c-
f(a) a - f(a) (c a
- /(c) - - 6) + f(a)
c-
/(c) /( c) - /(a)6
a
_
_
c- a
/(c) -
f(a) c
6< e.
-a
This happens for all small 6, hence for all x close to c and x < c we
have
f(x) < /(c)
+
N o w w e pr o v e t h e
e.
bE c b.
Th e n si nc e t h e li n e F a( pf(b))oint
lies such the
Iabove thatcurve
<
re v er s e in e q u a l it y . aix b ,
b e tw e e n ( x , f ( x ) ) nd
y f(x) we see that
=
f(b) - f(x)
f(c) < (c - x) + f(x).
<e-x b-e
·
tand
'
x
/ {b) - /{x) / {b) /(c)
f(x) <
b-x
(c - x) + / {x) < - (c - x) + f(x) ,
b-e
so i f e - x > 0 is small we conclude that /(c) < f(x ) + E as was to be
Thsame
e argument applies when c < x.
shown.
Exercise 11.4. 10 Let j, g be convex upward and assume that the
image of f is contained in the interval of definition of g. Assume
that g is an increasing function, that is if x < y, then g(x) < g(y) .
Show that g o f is convex upward.
Solution. We have the following
g o f(( 1 - t)a + tb) < g((1 - t)f(a) + tj(b)) < ( 1 - t)g o f(a) + tg o
f(b).
Exercise 11.4. 11 Let j, g be functions defined on the same set S.
Define max(/, g) to be the function h such that
h(x) = max(f(x), g(x))
and similarly, define the minimum of the two functions, min(/, g) .
Let f, g be defined on a set of numbers. Show that if /, g are
continuous, then max(j, g) and min(/, g) are continuous.
Solution. Since
max( !, g) = + g + I / - gl ) and min( !, g) = + g - If - g l ),
Exercise 12 implies the continuity of max(/, g) and in(/, g) . m
or equivalently,
l qa - p l > - .
c
q
(a) Let f be the function defined for all numbers as follows. If x is
not a rational number, then f(x) = 0. If x is a rational number, which
can be written as a fmction pfq, with integers q, p and if this fraction is
in lowest form, q > 0, then f(x) = 1/q3 • Show that f is differentiable at
a.
{b) Let g be the function defined for all numbers as follows. Ifx is irrational,
then g(x) = 0. If x is rational, written as a fra ction pfq in lowest
form, q > 0, then g(x) = lfq. Investigate the differentiability of g at the
number a as above.
Solution. (a) The Newton quotient of f at a is
f(x) - f( o: ) f(x )
•
x-a x-
a
36 III. Differentiation
> lx - af < x
Then< such that if and pfq
G i ven > 0 then
CE.
0 6 E Q,
select
E
1/ q 6 f (x ) =
q
- 2. 1
x-a < 3
c <
q E,
X
-
thus
f(x) - / (a
li m
Q3 z --.a
)
a
= O.
a
= E
g(a) - g(a-) IP - q
1
becomesx a a
x- l
·
m0 0.
li
h -. h--.h
If x 0, f(x) m x 2 and the Newton quotient at0 tends to 0
0=
for 0
Exercise 111. 1.3 For a positive integer (k)
an x all =
, · · ·P (
tive of f . Let x ) ao + a 1 x + + n, let J denote the -th
deriva be a polynomial. Show
that for
111. 1 Properties of the Derivative 37
11 aa 21 x (n _
) a x
.+ x+t !
When 0 the formula holds. Differentiating the above
=
+
expression we
k+
get 2kk
( + 2)! ( + n- )!
( + 1).Iak+l ak+2x · · a n x n -k-
+ + 1
+
11 · (n _
l) l
which is equal to p(k+ l� ( x ), thereby concluding the proof by induction. We
_
() r
im mediadely get
p( k ) is identically
that.P k (Q) k!a k whenever 0 :5
= < If > n. n,
then0.
Exercise 111. 1.4 By induction, obtg,in a formula for the n-th
derivative of a product, i. e. ( Jg)(n) , in terms of lower derivatives J ( k ) ,
g(j) .
When 1 the formula yields (/g)' g/' fg+ ' which holds.
n = =
in g t h e above formula using the product rule and splitting the sum in
Differentiat
wtwoe g e t
j
The change of index = +1 in the first sum shows that (fg)<n+ l ) is
� j n 1)
(f)U > (g)<n+ l -j ) + 'to ( � ) (J )<k> (g)
( ( n+ l -k)
(f)(o) (g)<n+ l ) + (f)(n+ l ) (g)(O) + t [( 1 ) ( � )]
n
+ j< k ) g(n+ l -k )
� ( nt 1)
.
_
k- 1
(/)(O) (g)(n+l ) + (/)(n+ l) (g )(O) +
_
_ �( n
t1 ) (f) ( k) (g)(n+ l-k ) .
Let c ··· ··
Exercise 111.2.1 Let l(x) = anxn + + ao be a polynomial with an =/= 0.
Ci 1,
r i ... ,
c
continue
r. to take theCrderivatives,
be numbersand ·
Show that r < n. {Hint: Show that I' has at least r - 1 roots,
such /
usethat ( ) = 0 fo
induction.] =<
Suppos e
Solution. < <1 2 r > n. B y L em m a 2 . 2, / ' h as at leas
t o n eforroallo t1 i n
+1
< r - 1. T h er e fo re - h as a t le ast r 1
f'
d is t in ctthatr oforot some
Suppose
function
(c;, c; ) l j< s. 1 1, the
< k :5 n - has at leas t
(k) r-
k
+
distinct roots, Ck, l < ck,2 · · · < ck,r- k· T he n by
<
l
l ) has
< j <
Lemm a 2 . 2 , j( k + )
1. T h u s
atall least
1 one root in (ck,; , ck,j l for
n
r- - f( + )
at leastn r - ( + 1) disntinct roots. Therefore f( ) has at least r - n roots.
But f ( ) = ann!, so l( ) has no roots. This contradiction shows that < n. r
··
Exercise 111.2.2 Let f be a function which is twice differentiable. Let
c1 < c < < Cr be numbers such that f(Ci) = 0 for all i. Show that I'
has
2 at least r - zeros (i. e. numbers b such that f (b) = OJ.
1
S · d;t i on. Le
olu
'
m m a 2 . 2 im plies that f or eac h 1 < j< r
r-1
=
; ; c; 0.
1roots.
th er ee x i sts
' h as at l e as t
Solution. Let h(x) g(x) f(x). The function h verifies h'(x) >
h( a ) > 0. Thus h(x) > 0
for a < x < b.
IV.1 Exponential
f'(x) = -2xf(x) .
(
.! f(x)
dx e -x2
) -
_
f' (x)e - x2 + 2xf(x)e - x2
(e - x2 -
_ - 2xf(x) +
e - x2
_
- 0.
2xf(x) )2
Exercise IV.1.2 (a) Prove by induction that for any positive integer n,
and x > 0,
x2 xn
1 +X+ -
f
+ ··· + < ex .
{Hint: Let f(x) = 1 + x + ···
2 .1
n
n.
+ x /n! and g(x) = ex .]
(b) Prove that for x � 0,
e -x -> 1 - X +
x2
x
- .
a
-3!
- 2!
(c) Show that 2.7 < e < 3.
44 IV. Elementary Functions
•
+
and g(x) = ex. Then, the induction hypothesis implies that
d
--
(g(x) - f(x)) = ex (1 + x + · + - > 0.
xn )
dx
·· n!
Then f"' (x) = -e-x + 1 > 0 for all x > 0. Since /(0)= /' (0) = /"(0) =
/"'(0) = 0, we conclude that f(x) > 0 for all x > 0 and if x > 0 we have
f (x) > 0.
(c) Let n = 4 and x = 1 in( ) a , so that
2.7 < 1 + 1 + 1 1
< e.
2+6+
1
Let x = 1 in (b) to get 24
e
-1 1 1 1
>
2- 6 3
Exercise IV. 1.3 S etch the graph of the following functions:
( ) xex;
a xe-x
{b)
Solution. (a) Let f(x)= xex. Then f'(x) = (1 + x)ex , so f is
increasing on [- l, oo) and decreasing on (-oo, -1]. The function f
is >
positive for
x 0 and negative for x < 0, and /(0) 0. Clearly, limx-+oo = xex = oo.
=
Moreover since lill-+ oo tt/eu = 0 letting x = -tt we get limx -+- oo /(x) = 0.
IV.1 Exponential 45
(b)
Let /(x) = xe -x . Note that / (-x) = - xe x so the graph of f is
the image of the graph obtained in (a) in the symmetry with
respect to the or1 g1 n.
• •
-�
(c)
Let f(x) = x2ex . Then /'(x) = xex (2 +) x so f is decreasing on [-
2, 0] and increasing on R- [- 2, 0] . For all x we have /(x) 0 and
limx--.00 f(x) = oo. We also have limx -+ - oo f(x) = liiiLu -+ oo u2 feu = 0.
46 IV. Elementary Functions
reflection in
Exercise IV. 1.4 Sketch the graph of the following functions: (a) e11 x ; and
{b) e- 1/x .
Solution. (a) Let f(x) = e11 x . Forx -:/: 0 we have f'(x) ( - 1/x2 )e 1/x < 0.
=
-+
lim f(x) e 0 1, l im f(x)
= =
-+ O-
=
0,
l im x
-< o
x - oo x x -. o+
f(x) = oo, l-+im f(x) = 1.
oo
IV. l Exponential 47
(b) Let f(x) = e- 1/x . Notice that 1(-x) e 11x , so the graph of I is the
reflection across the y-axis of the graph obtained in (a) .
=
.-e1.�
Exercise IV. l . 5 (a) Let I be the function such that l(x)= 0 if x < 0
and l(x) = e-1/x if x > 0. Show that f is infinitely differentiable at 0,
that
and all its derivatives at 0 are equal to 0. {Hint: Use induction to show that
the n-th derivative of f for � > - 1/ x where Pn
polynomial.} is a0 is of type Pn
(b) Sketch the graph of I.
a For
Solution. ( ) x>0 there exists a sequence of polynomials such {Pn}
that n
j< > (x) Indeed
-
= Pn (l/x)e l/x . , we haye which
l'(x) = (1/x2)e - 1/x
is of the desired form. We assume that the assertion is true fo�
some integer
n.Differentiating we obtain
48 IV. Elementary FUnctions
li-+m0 0
= 0 = /'{0) .
x X-
1/u. =
(O )
so l
x--+0+ X -0 u-+oo
(n+1 > (o) = 0. By indu c tion we conclude that the function I is infinitely
(n )
differentiable at 0 and l (0) = 0 for all n.
(b) The graph of the function I
is
(c) Let D > 0 be so small that a + 6 < b - 6. Show that there exists a coo
function g such that:
g(x) 0if x and g(x) 0 if x > b;
g(x) 1 on [a + 6, b- 6]; and
=
=
=
dx
d
F(x) f(x) .=
0 6,
1x < a, F(x)
[a, a+ 6]. Arguing
if as in {b) with xthe>
on
function
(x)11 G(x) =
11 00
I
-
F = 1 = is strictly decreasing
we see that we can construct a function F2 on R which is coo such that
2 2 2
6, b]. Define g as follows:(b -
Ft (x) < a+ o,
1 i a+ o < x < - 6,
ix fb
F2(x) if b - 6 < x. -
The function g verifies the desired properties. The graph of F and g are
50 IV. Elementary Functions
�k(f)
�- S.b
f(x
l (n ) (x) Pn (1/x)e-
=
X- 0
because
in d u c for
ti o alln integers we have that
conclude ume -f'"'2is--.infinitely or u --. onBy
0 u --. differentiable
f o r a l l n.
m ooas -
oo .
By Theorem 1.1 and the fact that /0 , , In are polynomials, we see that
for all we
• • •
have1 k� �
So lX +- im00 fn -k (x)e - kx = 0.
we
l i m x +- o f n ( x) = 0 w �h i c h p r o v es t hat fn is
s e e t ha t / j is id en ti ca l l y 0 f o r a ll 0 j <
n.
identically 0. By induction
IV.2 Logarithm
Exercise IV.2.1 Let f(x) = xx for x > 0. Setch the graph of f.
Solution. Since f(x) = e x l og x t he function f is positive for all x > 0.
Fu r t h er m or xl x
dec r e as i ng (g lonog (1/e,
x + 1 ) e o g . T h u s f is in cr e asi n
e , f ' (x ) = a n d th e )rand
oo
e for e at t ai n s a( 1/e,
m ein1/e).
im u m a t
o n ( 0 , 1 / e) We-
a ls o h a ve x li mf(x)x +- =oo f(x) = and since limx.. x log x =
oo, o+
= ..0 oo(log
liinu , w eu)/uha v e l im
.. o+
1.
01/ei.
Exercise IV.2. t we restrict f to
the infinite inte h e
that one can write y-+oo 'l/J(y) = 1.
w
e
r
lim
2Let f be as in Exercise 1,except tha
loglogythat the inverse
roal x > 1/e . Show ionfunct
g exists. Show
_
logy log y - logy
x)
X -
logx -
( 1
y - logx loglogy
_
Put
1 1
t/J(y) = 1 =
1 _ h(x) · _ log log
t/J(y ) y1
--+ 8B --+ 00.
and therefore
Exercise IV.2.3 Setch the graph of: (a) x log x; and {b) x2 log
x.
Solution. (a) Since
d
dx (x logx) = logx + 1,
easing
t h e fu nction is incr on (1le, oo) and decreasing o
m o re , n (0, 1le). Further
= ooandXl--+im0+ gu)lu xlog x = Ul -
Xl-- =
0.
+im00 x log
x
{b) Since
d
(x2 logx) = x(2 log x + 1),
dx
xl-- 2 lx --
+imoo x log x = oo im xx logx
lx -- +xl-- O+
im x2
+ oo log x = oo im
+ O+ xx logx
IV.2 Logarithm 53
- � ·c
- '
Exercise IV.2.4 Setch the graph of: (a) (log x)fx; and {b) (1og x)fx 2 •
a We have
Solution. ( )
�
dx (log x ) =
1 - l og x
'
x x 2
t h u s t h e f u n c tion is increasing on (O, e) and decreasing on (e,
m o r e, w eh a v e
oo) . Futher
l im (log x) /x 0and
:J: +- 00 l im (log x)/x -oo.
=:J: +- 0+ =
e
54 IV. Elementary Functions
(b) We have
.!
dz
(logx
x2 ) = 1x- 22log x '
th u s the function is increasing on {0, Ve) and decreasing on ( Ve, ).
Futher-
oo
m o re
lx +- imoo(logx)fx2 = 0 and xl+- imO+ (logx)fx2 = -oo.
Exercise IV .2.5 Let E > 0. Show: (a) limx -+oo {log x)/xE = 0;
(b) limx -+O x E logx = 0; and (c) let n be a positive integer, and let f > 0.
lim =
Show that
(log x)n
X--+00 XE 0.
Roughly spea ing, this says that arbitrarily large powers oflogx grow slower
than arbitrarily small powers of x.
Solution. (a) Let u = xE . Then Theorem 2.2 implies
x-+0 logx,
ws from (a) and the fact thatn
{logx)n log x . . . logx iJI=l log
_ _
(b)Put u =
1/x
hence lim xE logx = 0.
(c) The limit follo
IV.2 Logarithm 55
Exercise IV.2.6 Let l(x) = x log x for x > 0, x :/= 0, and 1 (0)= 0.
(a) Is I contin'ltous on [0, 1) ? Is f uniformly continuous on [0, 1] ?
(b)Is I right differentiable at 0? Prove all your assertions.
S olu tion. (a) The function I is continuous at 0 because for x > 0 we
have
l im .-
x o x log x = 0. Hence f is continuous o n [0, 1] . A function continuous
o n a compact set is uniformly s
f o
is uniformly continuous on
continuous,
[0 , 1 ] .
(b) The Newton quotient of f at 0 is
f(x) - /(0) _ x log x
= log x,
x- 0 x
which tends to -oo as x 2 0. f is approaches So not right differentiable.
Exercise IV.2.7 Let f(x) = x log x for x > 0, x f:. 0, and f(O) = 0.
x) = log
Is f right differentiable at 0? Prove your assertion. Investigate the
differ entiability of f ( xk x for an integer > 0, i. e. how many
right derivatives does this function have at 0?
Solution. The function is right differentiable at 0 because for x > 0 we
have
l (x) -
Now let lim X- 0 a;--.0
f(x) = x k log x.
and bn such
i n d u ct Iio n w e see that there exists positive nnumbers a
that
( 0 , 1] w e h av e on
so by induction for n = 0, 1, . . . , - 2 we have f(n+ l ) (O) = 0 because
hence
. l(n) (x) - f( n)
But · hm
x--.0 (O) = 0.
hm
:r; --. 0 X - 0
= hm
z --. 0 X = -oo,
which proves that f has - 1 right derivatives.
Exercise IV.2.8 Let n be an integer > 1. Let fo , . . . , In be
polynomials such that
+ fo (x) = 0
n n
/n (x) (log x) + /n- l (x ) (log x) - l + · · ·
for all numbers x > 0. Show that /o , . . . , fn are identically 0. {Hint: Let
x = eY and rewrite the above relation in the form
56 IV. Elementary Functions
E aij (e fl ) i yi,
where ai; are numbers. Use Exercise8 of the preceding section.]
z
Solution. Let d3 be the degree of /; and write /;
letting = e'l we get
(z) = E o
ai;zi. Then dj
n
E aij =(efl ) i yi 0.
E
j=O i=O
's
Collecting terms and factoring out the (e fl ) i get an expression of the
form we
= L1 m
·· ·
9o(Y) + 9 (Y) (e 11 ) 1 + i=O + 9m (Y) (e 11 ) m Yi ( Y)(eY) i = 0,
a (x
h ) �h 0isfordecreas
Thus ing on (0, 1), increasing on (1, ) and h ( 1 ) 0.
z z>and
oo =
(b)(zLet /(z) =
all
Hence
1 /0.P g(z) = z/p + 1/q. Then = g(1) = 1 and for
/(1)
z > 1 we
have
�x(l- and g' (x) �·
f' ( x ) = =
p)fp
But if p > 1 and z > 1, then z(l-p) /p < 1 which implies that f' (x ) < g' (z)
whenever x > 1. Hence f(x) � g (x) and f(x) g(x) if and only if x =
as was to be shown.
Exercise IV.2.10 (a) Let
in Exercise 8. Show that u,v be positive numbers, and let p, q be as
utvl-t � tu + (1 -
t)v , and that equality holds if and only if u v.
=
IV.2 Logarithm 57
Solution. (a) Let x ufv in the inequality of Exercise 9(b) and multiply
=
= =
t)v.
= 1 because we have seen in
=
if
as
Exercsie 9(b)
X=
g(x) if and onlyf
Exercise IV.2.1 1 Let a be a nu mber > 0. Find the minimum and maxi
1.
2 x
mum of the function f(x) x fa . Setch the gmph
x)ufv =
, ( of f(x) .
Since dx ax a 2x
Solution.
!!:_ (�) =
2xax - x2ax log a
Exercise IV.2.12 Using the mean value theorem, find the limit
x x
value the orem we know that given n there exists a number cn , k
n < < n+1
such that
Cn,k and
< n+1
Cn,k and
Therefore
58 IV. Elementary Functions
1
0 -< (n + 1) 1 / k - n l / k <- kn 1 -1 /k .
Hence liiDn .. 00(n + 1) 1 /k - n 1 /=k 0 for any integer k � 2.
Exercise IV.2. 13 Find the limit
.
S o lu t llll ( 1 + h)
h
1 13 - 1
h-+0
.
dioe ns i. W
re e r ec o g nize t he Newton quotient of f(x) = x 1 13 at 1, thus
d l ill it theis / ' ( 1 ) .
have
=
1
f'(x ) and g'(x) 1.
1+ x
= =
= =
Then f ' (x ) 1 - x + x2 -
1
�0
1+ x
=
1
x + x2/2. Then f'(x) =
1 +X
-1+ X>0
Sbecause
i nc e 1/( 01 +wex)see - x f(x)
� 1 that
as one� sees
0 forbyallllultiplying
x � 0. both sides
(c ) L
by 1 + x.e =
/(0) and
t
IV.2 Logarithm 59
+
x2 x3 x2n l
1 - (- 1)m + l xm+ l 1
1 - x + x2 - · · · + (- 1) mxm
=
1+x
=
--
l+x 1+x
'
2n+t (x)
s o that
. which implies that P2n (x) � f(x) <
P�n (x) < f'(x) � P�n + 1 (x)
P
We also have the inequality x /(1 + x) �log ( l + x) for all x > 0. Indeed,
(
consider f(x) x/(1 + x) - log 1 + x). Then
=
f' (x) -x
< 0.
(1 +
x) 2
S in Nce otation
/ (0) be
0, the ine qu a l it y fo l lo w s .
= n
for(d a) ll in p a r t (c ) w e h a ve
as � oo
E ]
ing
P2n+ t (x) - P2n (x) 0
as �
x [0, 1 ,
log ( 1 + x) nl-+imoo P2n (x ) nl-+imoo P2n+ l (x)
= =
all
w2 h i c h i m p l ies
L n+t (x) = P 2 n+t (x)
=
·
( ) ()
<
1k e
+k < l 1+
n
1 k+l
k
n -1 nn
n 1
< - <
(n - 1) 1 (n - 1) !
and consequently e
lim 1
n--.oo
( +x
n
) n = z
.e
Solution. We first show that lill--.00 n log(l + x/n) = x. Let h = xjn,
then
h)
l im n log ( l + x/n) = = x.
n -. oo h-+
lim x
0 h)
h-+
Exponentiating yields the desired limit.
Exercise IV.2. 18 Let {an }, {bn } be sequences of positive numbers.
De fine these sequences to be equivalent, and write�an
= bn for n oo
to mean that there exists
n a sequence of positive numbers {U n} such that
bn = Unan and li m u� / = 1. Alternatively, this amounts to the property
n
that lim(an/bn) l / = 1.
(a) Prove that the above relation is an equivalence relation for
sequences. �
n n
{b) Show that n! = n e- for n oo. Give a similar equivalence /or (3n)
!.
Solution. ( a) Clearly, an = an because lim 1 =
1 /n bn = an because an = bn (l/un) with 1. If an = bn , then
n
lim(l/u n )1 / = 1. Finally su ppose
n
and
-+ 1 as n � oo. Then we have Cn = Untnan with lim(untn) l/ = 1
tl/
n n)
e- < en
that an = bn and bn = Cn · Write bn = Unan and Cn = tnbn, where
n
ul/ an �
so = 1Cn, as was to be shown.
n n n )
(b) The inequalities deduced in Exercise 16 imply e < e- < en
n!/(n so
n n
But lim e1/n lim n1/ 1, hence n! = n e-n . Replacing n by 3n in the
= =
{c )
because W oo.
e w ri t e where =
T h e n an
1/n n�tn )11n = 1 .
ulim{u 1 and t 1 /n -+ 1 l / n
Exercise IV.2. 19 Find the following limits as n -+ (aJ (
oo: ; {b)
( ) 1/n; {c) 1/n and ( ) 1/n
·
{d)
Solution. (a) Since n!nne-n we have=
=
an d th e up is log 2 + + + log(n!). The integral of
l og x fr om 1 ···
pe r s um log logn
t o n is
n
l logxdx = [x logx - x]i = nlogn - n + 1,
62 IV. Elementary Functions
so we get
log(n - 1)! :5 n logn - n + 1 < log n! .
Therefore
< log(n!) <
n log n - n + (n + 1) log n - n + 1
1
as was to be shown.
Exercise IV.2.21 (a) Using an upper and lower sum, prove that for
every positive integer n, we have
1
< log 1 1 1
( )
< - .
n 1
+
+ n n
-
{b) By the same technique, prove that
1 1 1
2 + · · + < log n < 1 +
· n +· · · n- 1
1 ·
2 0 +
Solution. (a) Consider the function /(x) = 1/(1 +x) for< x :5 1.
Noting that f is decreasing on the interval from (0, 1) and comparing
areas we get
1 1 1 /n 1 1
f(x) dx < - .
- <
n 1 + 11n 0 n
is
But the integral equal to log(1 + 1/n) so the desired inequality
drops out.
(b) Consider the function / (x) = 1/x from 1 to n. Then the lower sum
is�+ · · · + ! and the upper sum is 1 + � + · · · +
inequalities
so we have the
l
1
·· · n
1 1
-+ < f (x) dx < 1 + + · · · + .
2 + --1
n 1 2 n-
But the integral is 1
equal to log n so the desired inequalities follow.
Exercise IV.2.22 (a) For each integer n > 1, let
1 1
an = 1 + 2 + · · · + n - log n.
Show that an+l < an . {Hint: Consider an - an+l and use Exercise 21.}
{b) Let bn = an - 1/n. Show that bn>+l bn .
(c) Prove that the sequences {an } and
{bn} are Cauchy sequences. Their limit is called the Euler
number 1.
an - an+1 = - 1 1
+ log(n + 1) + log(1 + 1/n) >0
logn - n+ = n+
1 1
-
the last inequality coming from Exercise 21 IV.2Logarithm 63
( )
{b)We simply take the difference and get
a.
So both {a n } and {bn} are Cauchy sequences and they converges to the
same limit because limn oo (an - ·
-+
log ( l - x) = -x - - - · · ·.
2
x2 3
x
a
The point is that -x is a good approximation to log(I- x) when x is
small.]
l og !
S o l u t ion . Let
- x)(12x -) .x) ( g(x)
T Whi
and let =
2 -x - x2•
es w i sh t o s how tha t
Then
2 f'(x)
l + x ) f'(x) >x g'- x2 x(1 -=
-g ' (x ) - 1 - 2 x.
1 /+( 1 x )
f (x ) =
and
(
=
inequality is equivalent to �). or 0 < =
1 2
Clearly, this last inequality is true whenever 0 < x � 1/ so we have
f'(x ) > g'(x) on this interval. Finally, /(0) = g(O) = 0 so we must have
>
f(x) · g( ).
x
Exercise IV.2.24 (a) Let s be a number. Define the bimomial
)
coeffi cients
B(n, s) = .!:.ns(s - 1) - 1) · · . 1 - 1)
(.!2 (n - 8
64 IV. Elementary Functions
w
b Because of a it is sufficient to from
Let part
a = lsi. Then the triangle
bound inequality implies below.
n a- 1 - 1
·
1
fB (n ' s ) l > - a Ia
-11
n I - 1 ·· .
-
a I
2
An = ; [tog (1 - (1 - n1
)] -+ 0.
By assumption on no we have
that E a 2
[-
1/n
An estimate
- - ...
a
-n - �
]
n - no
An > .!
�n - 1
n 1
$; 0, and Exercise 23 implies the following
[
> .!. -a +···
1
n-1 ) -
+
n
(.!. a2 c ] ,
we obviously can)
- a
0 > An � - log (n -
1) - n a 2G
,
n
so liiDn-+oo An = 0 as was to be shown.
where G is a positive real number. The last inequality follows from the
2converges. Exercise 21 implies (assuming that no � 2
fact which
IV.3 Sine and Cosine 65
+= (l+a ) (n) a ·
�
For
an+l
a + nna
an
=
n+ l(n + n+1)01ll
n+ 1
/
Exponentiatin g, we find that an+I an < 1 for all largend since
} is monotonically decreasing for sufficientl
a an > 0 n,
we see that y large values of
{an
Exercise
Find /
IV.3. 1 Define tan x = sin z cos x. Sketch the graph of tan x.
1. tan h
l ffi .
h-+ 0 h
is
Solution. The tangent not defined for x = 1r
and is periodic of period 11". We have
/2 + k1r when k E Z,
d tan x
2 >
= 0
-d 1
X COS X
cos h h
/
and the limit limh _.o ( sin h) h = 1. The graph of the tangent function is
66 IV. Elementary Functions
Exercise IV.3.2 Restrict the sine function to the interval - 'lr/2 < x <
1r/2, on which it is continuous, and such that its derivative is > 0 on
- 1r/2 < x < 1r/2 . Define the inverse function, called the arcsine.
Sketch the graph, and show that the derivation of arcsin x is 1/ - x2 •
Solution. By symmetry with respect to the line y = x we get the
graph of arcsin x. To compute its derivative on the given interval, we
simply use the formula for the derivative of the inverse map, so that
l!. (arcsin x) = 1 1 1
= = .
<
Exercise IV.3.3 Restrict the cosine function to the interoal 0 x 1r.
Show that the inverse function exists. It is called the arccosine. Sketch its
graph, and show that the derivative of arccos x is-1/ - x2 0 x
IV.3 Sine and Cosine 67
< <
o n
Solution. The inverse function exists because on the given int er val, cosx
previous exercise we find
isprevious
continuous and its
exercise we findderivative is < 0 on 0 < x Arguing inas
the1r<d 1 .
- (arccos sin( =
-1 -1
x)=
= .
( 1
arctangent . arc
Exercise IV.3.4 Restrict the tangent function to - 'lr /2 < Show
x <1rj 2.
tan
Show that its inverse function exists. It is called the that
is defined for all nu mbers, s etch its graph, and show that the derivative
of arctanx is 1/(1 + x ).
2
tanx
derivative con
d
- (arctanx) 1 1
=
2 =
2 .
dx 1 + tan (arctanx) 1 + x
68 IV. Elementary Functions
- r - -
,_
Exercise IV.3.5 S etch the graph of f(x) = x sin 1 /x, defined for x =I= 0.
(a) Show that f is continuous at 0 if we define /(0) = 0. Is I
f
which does not tend to a limit as h --. 0, so is not differentiable at · o.
(c) The function /' is not bounded on (0, 1) because
f' = 21m,
§2,
so by Exercise 6, of Chapter III, we conclude that f is not
Lipschitz on (0, 1), hence I is not Lipschitz on [0, 1] .
Exercise IV.3.6 Let 9(x)= x2 sin( 1/x) if x:f=0 and 9(0)= 0 .
(a)
Show that g is differentiable at 0, and is thus differentiable on the
closed interval [0, 1] .
(b)
Show that 9 is Lipschitz on [0, 1] .
(c)
Show that 91 is not continuous at 0, but is continuous fo all x :/= 0. Is
91 bounded? Why? r
{d) Let 91 (x) = x sin(l/x ) for!t :f= 0 and 9 1 (0) = 0 . Show that 9{ (0) = 0,
2 2
but 9� is not bounded on {0, 1] . Is 91 Lipschitz?
Solution. (a) We form the Newton quotient of 9 at 0:
g( h) - g(O) - .
h 0 - h s1 n
h.
_
1m 1mo s1n
- h� - ,
h�o h -
0
so g� (0) = 0. For x ;/= 0 we have
2
g� (x ) = 2x sin( l/x X cos(lfx2 ),
2 ) -
Exercise IV.4.1 Let o: be a complex number ;/= 0. Show that there are
two distinct complex numbers whose square is a.
Solution. The only two numbers solution to z2 = a are y"i'Qiei (cp/ 2) and
y"j"Qiei (1r+cp/2) . See the next exercise.
Exercise IV.4.2 Let a be a complex, ;/=
0. Let be
tt a positive integer.
Show that there are exactly n distinct complex numbers z such that zn
= a. Write these complex numbers in polar form.
Solution. Write z and a in polar form, that is z = rei9 and a = r0eicp.
Suppose zn = a. This equality is equivalent to
r n (n6 - )
i cp - . _
1
- e
ro
mod
( 1r),
2
so the set of solutions of the equation
zn = a is
{
S = lal l /n ei(* ) ' lall/n ei( * + � ) ' . . . ' lal l /n ei( * +(n - 1 ) � )
}
Exercise .IV.4.3 Let w be a complex number and suppose that z is a
com plex number such that ez = w. Describe all complex numbers u
such that eu = w.
Solution. We have ez = eu so taking absolute values we see that u and
27ri.
z must have the same real part. Furthermore, their imaginary part must
differ by an integer multiple of Conclude.
Exercise IV.4.4 What are the complex numbers z such that ez = 1?
Solution
and k7r
y = . Writeforz some
2
= x +integer k.
iy. Then ez = ex eiY . So ez = 1 implies that X
=0
Exercise IV.4.5 If 0 is real, show that
eiB +
e-
iB ei B
cosO = and sinO e - iB
2 = i .
2
_
Solution. Since
differentiating
cos t = products and the chain rule
imply
v
The Elementary Real Integral
1b J(x)g(x)dx = f ( a) 1c g(x)dx.
that there exists a sequence {fn } ofC 1 functions with In (a) = f (a) , fn (b)
= f(b), each In is monotone decreasing, and In converges uniformly to f.
Use bump functions to do this. The theorem is true for each fn , with
some Cn instead of c. By Weierstrass Bolzano, the sequence {en} has a
point of accumulation c E [a, b) which does what you want.
Solution. (a) The function f is continuous on the compact interval [a,
b), so f attains its minimum m and its maximum M on [a, b) . For
/(z)
all x E [a, b] we have m < is
< M and g positive so mg(x) �
f(x) g (x) < Mg(x) , which implies
<
of Chapter IV and Exercise 7, §3, of Chapter X, we can approximate cpn
In is decreasing. Then we are reduced to part (a) , so we can find for each
n a number Cn such that
fn (x)g(x}dx = fn (a)
g(x)dx.
n
We-- oo in the above equation we get
as was to be shown.
Exercise V.2.2 Let
Show that
11 m -:
-1 Pn(x) Pm (x) dx = 0 if n,
and that
11
- 1
Solution. (i) For simplicity, let g =
n+
g(x)
= x2 -1 and let K n = 1/ ( 2n n! ).
k n
By induction one proves that for
n k
- Qk ( x)
all 0 :5 n, (dk =g
where Qo(x) , . . . , Qn (x) are polynomials. We
fdx k )g
have
$
76 V. The Elementary Real Integral
where
1d"n
1- 1d,xn
dB
',
J= gmdX.
g d,xm
Assume without los of generality that m > n. Integrating bye parts w
obtain
�
mdx
-1 -1
T he expresion in brackets is 0, so integrating by parts n successive
es tim
we get ,
1 d"
1
Let L be this last integral. Integrating by parts we obtain
1 n
fLI
=
-1 dx 11 = (2nl )
-1 1
g dx .
This last integral cannbe evaluated by
Indeed, g n successive integration by parts.
so
dx ( 1 ) k 2kn(n - 1) · · · (n - 1 2k n- k
1 1
n k - 1) 1 d
that =1
gnwe
Substituting k = n, 1
dxfind
2nn12nn1 2
=
_1 2 · 3 · 4 · (2n - 1 ) · 2n 2n + 1 '
so (Kn) 2 L = 2/ (2n + 1).
Exercise V . 2 3 Show
.
1 m-k g dx.
Now let k = m.
1
1- 1
Since
n - m dx = 0'
dx
gn
the desired result follows at once.
(ii) Integrating by parts k times we also see that
1 - Kn (- l ) n n.1
_
11 Xn (X ) dX
1 gn dX
_1 -
n.
( - l ) 2n n I
· n. n.
- 1
_
2 n.
(2n 1)
'
+ .1
hence
_
x Pn (x) dx = (2n l )
1 + !.
Exercise V.2.4 Let a < b. If f, g are continuous on [a, b] , let
(!,g) = 1b f(x)g(x)dx.
Show that the symbol (/, g) satisfies the following properties.
{a) If /1 , /2 , g are continuous on [a, b] , then
[ b ] 1/p
Let q be a number such that 1Ip + 1Iq = 1. Prove that
so
that
lf l IJIP fg fq
l gl
Integrating both sides yields
1 1
{ 1/ 1 , 1 9 1 } < p l l f ll �.� ll g ll q + q llfll �.� l l g l l q = IIIII�.� ll 9 ll q·
Corollary 2 . 2 implies that 1 ( /, g) <l ( 1/1 , fg f ) , thus proving the desired
in equality (called Holder's inequality) .
Exercise V.2.6 Notation beingas in the preceding exercise, prove that
j f(x)dx = j ft (x)dx + i
and similarly for the definite (integral. Show that the integral is linear,
and prove similar propertiesx)dfor jhit with changex,of variables and
integrating by parts.
Solution. The linearity of the integral and law of addition for the
complex -
numbers imply
-
- 1 f(x)dx + 1 9(x)dx.
b b
1 b b
1
a 9( / (x)) j' (x) dx = a 91 ( /) /' + i
= G1
Ja /1 (( b)
b +tt9G2 (2/)/'
. a
= G1 ( f) l a + / ) 1 /f (ba) ( ) = f a) g(x)dx.
(
/,/(b)
80 V. The Elementary Real Integral
f
Exercise V.2.8 Show that or real a =I= 0 we have
- --
dx ia
For the second result, note that ia - e
·
e
121r ein�dx 0
1 -:-
= ( 1 - 1) = 0.
=
[ ein� ] 21
1' 0
o 1.n 1n
-- 1 = 1 - t + t2 - . . + (- 1 ) n -1 tn -1 + 1tn+
1+
•
t (- 1 ) n t
from 0 to x with - 1 < < 1. Prove the estimates for the remainder
to show that it tends to 0 as n -+ oo. If 0 < < 1, show that this
x
c
estimate can be made independent of in the interoal < and
that there is a constant K such that the remainder is bounded by K l x l n+ 1
.
Solution. Integrating the formula given by summing the geometric
series we get the formula of Theorem 3.4, namely
1 � tn
2- -3 -1) · · · + (-
x2x3 n -1 n dt.
log ( l + x) = X - + n + (-
x 0 1+t
- 1)
n
Now we want to estimate the remainder, Rn+ 1 (x ) = ( -1 ) n J: tn / {1 +
t) dt.
1
I Rn + 1 (x )l < � tndt n+ 1
x
.
=
o n+ 1
In case 2 (- 1 < x � 0) , the inequality 1 1 + tl > 1 - ltl > 1 - lxl = 1 + x
implies
V.3 Taylor's Formula 81
1) n - l 3 5 2n - 1 + t2'
since 1 + t2 � 1, the remainder can be estimated as follows:
t2 n n lxl 2 n + l
IR2n+ l (x) l dt 2
t dt = 2n + 1
1+t 2
Futher more,� if 0 < c < 1 .
and�-c � x < c, then the remainder is bounded
+
by c2n l /(2n + 1 ) .
Exercise V.3.3 Let j, g be polynomials of degrees < d. Let a > 0. Assume
that there exists C > 0 such that for all x with l xl � a we
have 1/(x) - g(x) l � C lxl d +l .
Show that f = g . (Show first that if h is a polynomial of degree <
d such that lh(x) l < Clxld +l , then h = 0.}
L ettin g
··
Solution. Suppose h(x) = am xm + am - t Xm - l + + ao with m �
sh o w s that a0 = 0. We now continue by induction.
d.
a o= a= 1 = a �c -=10 for some 1 k� m. Then
·
� we have for x =I= 0
Suppose lh(x)/x k l < Clxl d + l-k .
···
x= 0
Letting x � 0 proves that a�c = 0. Therefore ao = ···
= am = 0 so h
= 0.
Un n '
thus for all k � 0 we have UN+k � (1/ 2) kuN , hence limn-+oo an/n!
= 0. Clearly, this limit is also true when a < 1. Form the expresions
given after
the formula for some cosine and the exponential we deduce at once
that the remainder of these functions tends as to 0 n -+ oo.
Exercise V.3.6 (a) ProtJe that log 2 = log(4/3) + log{3/2) , or even better,
log 2 = 7 log - 2 log 81
+3
9
10 25 80 .
24 log
(b) Find a rational number approximating log 2 to five decimals, and
prove that it does so. The above tric is much more efficient than
the slowly convergent expression of log 2 as the alternating series.
Solution. (a) The first equality follows from the fact that 2 = (4/3) (3/2).
For the second equality, note that the right-hand side is equal to
log 9
) )
( ( ( )
10 7 24 2 81 3
= log
27263231257
12 1 7
= log 2.
25 80 2 3 45
· ··
(b) We se that 10/9, 25/24, and 81/80 are all close to 1. We use Theorem
3.4 to estimate each term. Let Pn (x) = x - (x2/ 2 ) + + f - 1) n - l x n /n.
Then for the first term we have
and
arctan u +v
+ arctan v =
arctan .
u
1 - uv
(b)Prove that 1r/4 = arctan 1 = arctan( 1/2) + arctan(1/3) .
9
(c) Find a rational number approximating 1r/4 todecimals.
(d) You will do so even faster if you prove that
1r
= 4 arctan(1/ 5) - arctan( 1/239) .
4
Solution. (a) The addition formula for the tangent, which follows
from the addition formula for the sine and cosine is
- = arctan(tan(x + y) ) = x + y = u
1 - UVarctan
(b)
Let u = 1/2 and v = 1/3 in the formula obtained in
(a).Rg. ( ) < 3 x 10 -4 • If = 1/3, 5. If u = 1/2,
with I u l v
(c)
We use the same method of approximation as in
then
thenExercise
7
arctan u = u -
ua u
s
u1
+5 + (u) = A + (u) ,
3
-
arctan v = v - v
va
3
+
5
+ R1 (u) = B+
with I R7(v) l < 10-4 • So ?r/4 = A + B + Rg (u) + R7(v)
(u), and since
IRg (u) + R1 (v) l < 10 -3
One more application of the formula in( ) a and the result drops
out. Pr�asceeding (in part c we see that the following
number )is rational and
approximates 1r/4 to three decimals ,
(! -( 1/5) 3
( 1/5+ )5 )
3 - _!_5 2�
(!
5 ·
-( 1/5) 3 +
3
Exercise V.3.7 Let A
5
0, and consider an internal 0 < 6 � �
> x
2A - 6. Show that there exists a constant C, and for each positive integer
n, there
exists a polynomial Pn such that for all x
in the interoal, one has
J log ( x ) - Pn (x)J � C/n.
{Hint: Write x = A + (x - A) so that
( + .]
log x log A+ log 1x
=
= (A -
Solution. Let
6)/ A . Then 0 �c <1,and -c � (x -A)/A <
c if
x �only2Aif 6- 6 . The estimates for the remainder in
c
and
< Theorem
3.4
show that if -c < X $ c, then
c
I. Rn (X) I � - c ,
.! n 1
Pn (x) = log A + ( x -A A )
fy Qn- 1 c/(1-c). = we
1.
V.4 Asymptotic Estimates aftd Stirliftg's Formula
Exercise V.4. 1 lntegmting by parts, prove the following jofTnulas.
-�
(b) Since
L etting
s1nce•
B -+ oo shows that In = nin - 1 · So by induction In = n!It . But
so we get It = 1.
Exercise V.4.4 Show that the relation of being asymptotic, i. e. f(x)
"' g(x) for x -+ oo, is an equivalence relation.
Solution. Clearly, J(x) "' f(x) because for all large x we have f(x) =I= 0 and
f(x)/f(x) = 1 . If J(x) g(x) , then g(x) "' f (x) because if lim --+ oo J(x)/g(x)
x
"'
·
= 1, then /( X (
g)
X
= 1.
:1 +- 00 g(x)/f(x)
l im l
X - x) and g(x
= im
+ 0 f(i) g(x)
0 () h( ) = 1.
Finally, f(x) "' h(x) whenever f(x) "' g( ) "' h(x) because
h. m f(x)/h(x) h.m
: oo
:�--+
=
:1: --+oo g X X
Solution. Let In =
J000
86 V. The Elementtary Real Inttegral
{Hint: Integrate between 2 and -Vz, and then between -Vz and x .J
Solution. Let j(t) = 1/(log t)r . The function f is
decreasing and positive
for x � 2 ,
so f(2)( ..;x- ! (2) -Vz, <
f(t)dt2) <
X
and
1� -< X - - (log -Vz)r
•
j(t)dt Vz
But we (log -Vz)r
have
v;
-
X - 2r X
( X )
0
(log x)r '
-
(log -Vz)r - (log x )r
for x --+ oo. It is therefore sufficient to show that -Vz = 0 (x/ (log x) r ) for
Prove that
log x (log og
x) x
1
og x
r
Li(x) =
x
+0 ( x
2 so Li(x) rv 1
x
.
)
(b)Let r be a positive integer, and let
Lir (x) =
12: (l ) dx.
1:
Prove that Lir (X) I'V XI(log X)r for X --+ Better, protJe that
00.
)
O
X
+ X
Ll.r(X)
=
(log X)r ( (log X) r +1
•
(c) Give an asymptotic expansion of Li(x) for x --+ oo.
V.4 Asymptotic Estimates and Stirling's Formula 87
" (X) -
L1r
1
(log t) r dt =
[ (logt t)r ] z + r
1
(log t)r+l
dt
2
x 1
+ + t
- (log r Cr (log r+l d ,
x) r t)
_
Cr = 0 ( (logxx))r+l
for x --t oo. Hence Exercise 5 implies the asymptotic estimate of Lir { x).
= (Let f (x) r- ) x (Iog x) . Induction and the first
(c) r
equation obtained rl !
in (b) imply
/
··
Li(x ) = /1 (x) + + fn (x) + n! Lin+ l (x) + 0 (1).
·
Clearly, fr+ l (x) = o(fr (x)) and the estimate of part (b) gives
n !Lin+ l (x) = o(fn (x)) .
Since fr (x) � oo as x --t oo , the term 0(1) causes no problem and
therefore
{fr } gives an asymptotic estimate of the function Li for x -+ oo.
Exercise V.4.7
Let 1
L(x) =
2 log k"
E rv
< k<�
Show that L(x) = Li(x) + 0(1) for x � oo, so in particular, L(x) Li(x) .
that the assumptions of Exercise 8 are satisfied because t � log t implies
Solution. This is a particular case of Exercise 8 with f(t) = 1/ log t. Note
1 --dt > 1
�
-t
�
= log x - log 2,
log t
2 2
In fact, if we denote the sum on the right by. SJ (x), show that
F(x) = s, (x) + 0(1).
88 V. The Elementtary Real Integral
Solution.
Then Given E > 0 select x0 such that x > xo implies h(x) < E.
for x >
:� : < :�:
+ 1a;o + E 1a;o
Xo
/h = /h M /,
fh
0< / (x) l /2 1
< --
hence f(x) 112 = o (Jx f(t)112 dt) for x --. oo , and this result holds
2
without the assumption that f(x) = o(F(x)) for x --+ oo. If f is
increasing, then for all 2 < t � x we have
hence F(x) < f(x)112G(x) where G(x) = I; f(t) 1 12dt. We can write
J(x)/F(x) = E(x)
where lim E(x) = 0. Multiplying the last inequality by f(x) 1 12
and dividing
x by F(x) we get
-+ oo
and therefore
f (x) l/2 < e(x) .
G(x)
So in all cases we have the result j(x) 112 = o (I x j(t) 1 12 dt) for x --+ oo.
2
VI
Normed Vector Spaces
{b) Let S be a set with a distance function d. Define another function d'
on S by d' (x,=y) min( 1, d(x, y)) . Show that d' is a distance function,
which is a bounded metric.
(c) Define
d(x, 11 )
d" (x, 11) =
•
1 + d(x,
Show that d" is a bounded metric. y)
is also a seminorm.
(b ) The fact that max(u1 , u2) is a seminorm follows from Exercise 5.
Exercise VI.2.7 Let u1 be a norm and u2 a seminorm on a vector space.
Show that u1 + u2 and max(u1 , u2) are norms.
Solution. From Exercise 6, we know that u1 + u2 and max(u1 , u2) are
seminorms. It is therefore sufficient to show that N 1 holds in both
cases.
In the first case,
(x) + u2 (x)
u1
=
0 if and
only
if
( ) = u2(x) = 0 and
u1 x
= :
up( ft + l2 ) $ sup( I /�P) (x) l + 1/JP> (x) l ) < sup 1/�P) (x) l + sup 1/JP>
(x) l .
This proves that CTp is a seminorm. Exercise 7 and an induction
argument show that Np is a seminorm. Suppose Np(l) = 0, then uo( / )
Vl.2 Normed Vector Spaces 95
>
{Hint: Consider
Solution. Suppose that for some vo
have
E E we have (w, v0) =/= 0. We then
0 < (vo + tw, vo + tw) = (vo, vo) + 2t(w, vo).
If (w, v0)> 0 we see that for large negative values of t we get a
contra diction. If (w, vo) < 0 we get a contradiction for large positive
values of t.
Exercise VI.2.11 Notation as in the preceding exercise, show that the
function
w ..-. Uw ll =
is a seminorm, by proving the Schwarz inequality just as was done in the
text.
Solution. We have ll w ll > 0 and ll cw ll = = l cl ll w ll . To
get the triangle inequality is suffices (by Theorem 2.2) to prove the
Schwarz inequality. Suppose (w, w) =/= 0, then we can divide by (w,
w) and the desired inequality holds. If (w, w) = 0, then (v, w) = 0
(by the preceding
exercise) and we see that the inequality still holds. This argument,
together
with the proof of the Schwarz inequality given in the text, concludes the
exercise.
•
Dmw a picture illustmting the law. For a follow up, see §4, Exercises 5, 6,
and 7.
Solution. We prove the parallelogram law,
ll v + w ll 2 + ll v - w ll 2 - (v + w, v + w) + (v - w, v - w)
+
(v, v) + 2(v, w) + (w, w) ( v) - 2(v, w)
v, +
(w, w)
96 VI. Normed Vector Spaces
Show that this defines a norm. Prove directly that it is equivalent to the sup
norm.
Solution. Obviously, I I All > 0 and if II All = 0, then J ai I = 0 for all 1 < i5
tt so that A = 0. Conversely, if A = 0, then we see at once that II A II = 0.
l l cA I I = E l cai l = l cf l ai l = l cf iiA f l .
i= l
E
i= l
The following inequalities show why this norm and the sup norm are
equiv alent
Solution. (a) Theorems 2.1 and 2.4 of Chapter V imply the first axiom.
The second axiom holds because
1 1
l c/ lh = 1 lc/(x) l dx = 1 lcll f (x) ldx = lclll /lh·
Finally, the triangle inequality holds because
we
if have
ll9nlh � + = 2 -
=
and 1
l Ynn I � = + - dx = 1 + log n.
- 11
n 1/n X
So we cannot find a constant C such that
(d) Putting v = 1 / 1 and w = 1 in the Schwarz inequality applied to
positive definite scalar product given in Exercise 3 we find
the
1 1 2 l t 1 1 2
11 1 /(t) l dt $ (11 l /(t) l 2dt) (11 d ) '
Ex e rc i se V I. 3 .
5
supL net Eo mr be s a wifi tn hi te di m e n s i o na l ve c t or s p a ce .
Xres pec t to (v) tw o(y)d and
=
i ff erXe n t b a s e s a er eYq, . u iv ,a. .le n t.
Show that the Solution. ) be theLet n be the dimension of E, let ,n.vnb� na
coordinate vectors of v in. ,(x
matrixin
vector ME, and (m )X I t (v) such that X
= bases 1 and 2,MX (v) for allLooking
respectively. E v E.at
Let(v)there
<ni exists <ian= invertible x =t;
the coordinates of the vectors of one basis in the other bases we see
that
Ct = maxt<i,j <n lmi; l =/= 0 and1 let l · l k be the sup norm with respect
to
base ( = 1, 2). Then for all < i < n we have
n n
IY il = j� =l
mij Xj < � m
j=l
l ijll
x 3
1 <nCt lv tl
·
Thus l f v l 2 < nCti l v l i t · By symmetry, there exist C2 =/= 0 such that I v l i t :5
nC 2 I v l 1 · This shows that II · l it and II ll 2 are equivalent. Of course
·
norm of
any element in S is 1, but the 0 1 -norm (see Exercise 9, §2) of x t-+ x n is
equal to n.
VI.4 Completeness
1 1
ll ln - lm ll 2 < ll/n ll 2 + l flm l l 2 < n1 / + m 1 / '
4 4
and 1/n 1 14 + 1/m 1 14 -+ 0 as n, m -+ oo. The sequence { In } is also L 1 -
Cauchy because of the inequality deduced in part (d) of Exercise 4, §3,
namely, ll / l l 1 < 111 11 2 · This inequality also shows that any L2 -Cauchy se
quence in 0° ([0, 1] ) is also L1-Cauchy.
Exercise VI.4.2 Let fn (x) = xn , and view { In } as a sequence in 0° ( [0,
1]) . Show that {In } approaches 0 in the L1 -no1m and the L2 -norm, but
not in the sup norm.
Solution. We have
Solution. There exist positive numbers 01 and 0 such that for all E
2
E we have Ct iWi t < l w l 2 < C2 l w l t. Suppose that { xn } converges to v
w
{
I n(x ) = x - 1 / 4 if 1/n < x <
1 n1 14 if 0 :: x <
1/n
We have
/2 = 2
J0
and 1
II / - /n i l � = 4) dx < 1 2 + 1 /2 x v'n'
The proof f ollows the one given in the text with l (x ) = x - 1 14 for 0 <x<
1
1.
(x-be/4defined
- 4) dx < 1 2 + 1/2 x v'n'
can did n and
n
which shows that { In } is L2-Cauchy. We now show that there is no con
tinuous function g on [0, 1] such that { /n } is L2-convergent to g.
Suppose such a function g exists. Then
Almost all the time it has been appropriate to deal with subsets of normed
vector spaces. However, for the following exercises, it is clearer to
formulate them in terms of metric spaces, as in Exercises 1 and 2 of
§2. The notion of
Cauchy sequence just as we i the text, a metric
space X is said to be complete if every Cauchy sequence in X
co�verges. We denote the distance between two points by d(x 1 ,
x 2 ).
VI.4 Completeness 101
.
In light of (a) and (b},
=
one calls z the=midpoint of Xt , x2 .
Solution. Letting x x 1 and then x x 2 in the law, and taking
(VI. l)
The triangle inequality d(x1 , x2) < d(x1 , z)+d(x 2 , z) and the first
inequality in (VI. l) implies 2d(x1 , z) < d(xi , z) + d(x2 , z) so d(x 1 , z)
< d(x2 , z) .and by a similar argument we obtain d(x2 , z) < d(x 1 , z),=
and therefore d(x1 , z) d(x2, z). The triangle inequality now reads d(x1
, x 2 ) < 2d(x1 , z) so together with (VI. l) we get
as was to be shown.
With equality, the semiparallelogram law becomes the parallelog�am
law, and we have the following picture:
(b) Suppose z' also satisfies the semiparallelogram law. Then by (a) we
must have
102 VI. Normed Vector Spaces
d(x t, d(x2, =
=
X
Exercise VI.4.6 (Bruhat-Tits-Serre) Let be a complete metric
space, and let S be a bounded subset. Then S is contained in some closed
ball BR(x ) of some radius R and center x E X. Define r (depending on
S) to be the in/ of all such radii R with all possible centers x. By
definition, there exists a sequence {rn } of numbers � r such that limn-+oo
rn = r, together
with a sequence of balls Br" (xn ) of centers Xn , such that Br" (xn ) contains
S. In geneml, it is not true that there exists a ball Br(x ) with radius pre
cisely r and some center x , containing S. If such a ball exists, it is
called a ball of minimal radius containing S. Prove the following
theorem:
Let X be a complete metric space satisfying the semiparallelogram law. Let
S be a bounded subset. Then there exists a unique closed ball Br(x l ) of
minimal radius containing S.
{Hint: You have to pro ve two
things: existence and uniqueness. Use the
I
)
r,
Since by the definition of z there are points
arbitrarily close to
isin S such that d(x,x
it follows that d(x 1 , x2 ) =0 and therefore
z
X t = x2.
Let be a metric space. By an
X isometry of X we mean a bijection
9: X -+ X
th e is1 o m et ry c o n d i ti o n i m m e d i at el y s h o ws
that
i soi mgd-: e:XtrXy -+-+. NXotise alt sho aant t h e i de n ti t y m a pp i n g
Let
th a Gt G bei as set of isometries. We say X is an
i so m e try .
o f i so m et ries if
G contains the identity mapping, G is closed unde r
a
g r ou p
g co1 m, g 2poE sition G, then
{that g 1 iso, gif2 E G), and is closed under inverse
th
(that e isn, if-1
9 EG
of g E G ) O ne w ri te s g 19 2 i n s a d of 91 o 92 · Note
. thatgro uthep seto f is o m e tri e s.
allo ft isom
en e tr
i e s is its
e lf a
isL et . The ofsubsetunder Gx' consisting of all elements g(x') with g E
G. Let S denote this orbit. Then for
x' G
E X
ca lle d orbit
allx'
th e
g E G an d al l e le ments x 8 it follows that gx E 8. Indeed, we
f or s o m e
e
can write
x= g G, and then
1E
g1 x'
E 8, and g o 91 E G by
g (g1 x' ) = g (g1 (x' )) = (g o 91 )(x' )
assumption. In fact, G(S) because G contains the identity
=S
mapping.
After these preliminaries, prove the
E x e r c i s e V I . 4 .7 (B r uh a t - T i t s
following major result.
co m p l e t e m e t r
i c sp
F ix e d P o in t T h e or em ) Le t X
ac e sa t is y
f i n g be
g thor eu sp emo f ipisa ar ll el og ar m la w. L et G be a
oci mrce utrimecs en. t S u p po se t hat a n
er o f th i ,'l oorr bibt it is T b oheunn d edi s in X . L et x 1 be the
a xfi ed po i n t o f G, th at i s,
for all g E . x1 g (z 1 ) = x 1
G.
Solution. Let Br(x 1 ) be the unique closed ball of minimal radius
g G,
contain ing the orbit Gx'. Then for any E
g
the image Br (x 1 ) =
Br (x2 ) is a closed ball of the same radius containing �he orbit Gx', and
x2 = gx 1 , so by the uniqueness (of the ball Exercise 6) it follows that
x2 = x 1 and
therefore x 1 is a fixed point for
G.
104 VI. Normed Vector Spaces
A A
t-+ x is continuous. Find an example of a closed subset of R x R
such that the projection of on the first factor is not closed. Find an
example of an open set U in R2 whose projection is closed, and U
1= R2 •
Solution. The projection map is continuous because
lx - x ol < (l (x - x o , Y - Yo) l l.
Exercise VI.5. 12 Prove in detail that the following notions are the
same for two equivalent no1ms on a vector space: (a) open set; (b)
closed set; (c) point of accumulation of a sequence; {d) continuous
function; (e) boundary of a set; and (/) closure of a set.
Solution. Consider two norms l · l 1 and l · l 2 such that
G1 l vl 1 < lv l 2 < G2 lvi i ·
Then we see that for all Y E Eo the vector X Y has at least one
-
limit exists.
112 VII. Limits
Exercise VII. 1.5 Let E be a complete normed vector space and let
F be a subspace. Show that the closure of F in E is a subspace. Show
that this closure is complete.
Solution. The element 0 belongs to the closure. If x, y lie in the closure
of F, choose sequences {x n } and {Yn} of points in F that converge
to x and y, respectively. Then, x + y = liii1n_,. (Xn + Y n) , so x + y
00
f(v) = d(S, v)
d
(S, v) + d(T, v)
is a continuous function, with values between 0 and 1,taing the value 0
on S and 1 on T.
{For a continuation of this exercise, cf. the next chapter, §2.)
114 · VII. Limitts
1
1 / (x) - /(y ) l <=
0, lx -
yl c2 l x - Y l ·
l xy l
(b) For z > the function f has a bounded derivative and is
therefore uniformly continuous. To see why f is not uniformly
continuous on R,
suppose that given f there exists 6 > 0 such that l x - Yl < 6 implies
r e -x - e - 111 < f. Let X = y - 6/2. Then l x - Yl < 6 and
This last expression tends to oo as y tends to -oo which gives the desired
contradiction.
(c) The mean value theorem implies I sin x - sin
Yl < (x - y( for all x, y E R.
Exercise VII.2.4 Show that the function f (x) = sin ( 1 /x) is not
uni formly continuous on the interoal 0 <1rx �even though it is
continuous. ,
-+ 0
>
Solution. For n 0, let Xn = 1/ (n'lr + 'lr/2) . Then l xn+ l - Xnl as
n -+ oo and
1 /(Xn+ l) - f (xn ) l = 2,
so f is not uniformly continuous.
Exercise VII.2.5 (a) Define for numbers t, x:
f (t , x) = sin .
tx � l t =/; 0, f (O , x) = x.
t
Show that I is continuous on R x R. {Hint: The only problem is continuity
{b) Let {
at a point ( 0, b). If you bound x, show precisely how sin tx = tx + o(tx) .J
i! (x , y) =F ( 0, 0 ) ,
y) =f x,(
1 if (x, y) = (0, 0 ) ,
Is I continuous at (0, 0) ? Explain.
Solution. (a) Taylor's formula at the origin implies that sin(z) = z + R(z)
with the esimate z < lz ( 2 /2! . So for bounded we have R /t -+
as t -+ 0,
0R tx)x)
therefore 1.
1m sin(tx) 1.
1m x R(tx) = b,
+
_
-
( t,x ) -. ( O,b ) t ( t,x )-t( O, b ) t
which proves the continuity of f at the point (0, b) .
2
(b) The function f is not continuous at (0, 0) because lima-.oo f(a , a) = 0.
Exercise VII.2.6 (a) Let E be a normed vector space. Let 0 < r1 <
r2 . Let v E E. Show that there exists a continuous function f on E,
f(x)that: if x1is in the ball of radius r1
such
= = 0 if x is outsid e the ball of radius
f(x) r2 centered
centered at at
We have 0 < f (x) < for 1 all x .
v. Solve first the problem on the real line, and then for the special case
{Hint:
v = 0.}
{b) Let v, w E E and v '# w. Show that there exists a con tiuous function f
on E such that f(v ) 1and f(w) = 0, and 0 < l(x) for 1all x E
= :5 E.
116 VII. Limits
f (x) =
satisfies all the conditions. Note that we can also apply Exercise l(c)
with T the closed ball of radius r1 centered at v, and S the
complement of the open ball of radius r2 centered at v.
(b) Let rt = lv - w l /3 and r2 = 2 lv - w l /3 . The function f defined in part
(a) satisifes the desired conditions.
Exercise VII.2.7 Let S be a subset of a normed vector space E, and
let: f S -+ F be a continuous map of S into a normed vector
space. Let S' consist of all points v E E such that v is adherent to
S and
l im /(x) exists.
X-t- V ,
X ES
Define I( v) to be this limit. If x E S, then f (v) = f (v) by definition,
so f is an extension of I to S' . For simplicity one may therefore write
l ( v) instead of f (v) . Show that f is continuot&S on S' . {Hint: Select v E S' .
You have to consider separately the estimates
Suppose x' belongs to S' and lx' - vo l < 6/2. Select y in S near x' with
IY - vo l < 6/2 and 1 / (y) - / (x' ) l < f. Then we have
l f (x ' ) - /(vo ) l < lf(x' ) - f(y) f + lf(y) - / (vo )l 2
< f
Solution. Given f > 0, pick 6 > 0 such that 1/(x) - f( y) l < f whenever
f x - Y l < 26 and x, y E S. If vo E S, then for all x, y E S and lx - vo l < 6,
1 /(x) - f(y) l < e.
Theorem 1 .2 implies the existence of limx-.vo f(x) , x E S.
Exercise VII.2.9 Let S, T be closed subsets of a no1med vector
A A
space, and= let S U T. Let
- f: F be a map into some normed
vector space. Show that fA is continuous on if and only if its
restrictions on 8 and T are continuous.
+
A.
Solution. Suppose I is continuous on Let x E S and let {x n } be a
A{zn since } is a sequence in
se quence in S converging to x. Then
converging to x it follows =n that lim l(x ) f( x ) , thereby proving
that I is continuous
on S. A similar argument proves that f is continuous on T.
Conversely, suppose that f is continuous on S and T. Let x e and let A
f > 0. If x ¢. T, then x is not adherent to T, so we can choose a ball of
small
radius centered at x which does not intersect T. This ball is contained
in S so we see that f is continuous at x. Similarly if x ¢. S. Now if x E
S n T, then choose 61 and 62 such that
l f(ys ) - l(x) l < f and I I (YT ) - l(x) l < f
whenever I Ys xl < 61 , Ys E S and I YT - x l < 62 ,
- E T. Then
min(61 , 62) in the definition of continuity.
6= YT put
Continuous Linear Maps
Exercise VII.2.10 Let E, F be normed vector spaces, and let: L -+ E
F be a linear map.
(a) Assume that there is a number C > 0 such that I L(x) l < C l x l for
all x E E . Show that L is continuous.
{b) Conversely, assume that L is continuous at 0. Show that there exists
such a number C . [Hint: See §1 of Chap_ter X.]
Solution. (a) Given f > 0, let=6 efC because
IL(x) - L(y) l = IL(x - y) l < Clx - Y l ·
v =F 0 we see that l6v/lvl l = 6,
(b) Choose 6 > 0 such that lxl � 6 implies I L (x ) l :5 1. Then for all v E E,
so
IL( c5v/lvl)
= l < 1
which implies IL(v) l < Clvl where C 1/6.
Exercise VI I.2.11 Let L: Rk -+ F be a linear map oj Rk into a
normed vector space. Show that L is continuous.
118 VII. Limits
·
space hold, so the space of continuous linear maps is a vector
space. $
We must show that 1 1 is a norm on the vector space of continuous linear
maps. First note that 0 < IL l < because L is continuous. If L 0, then
oo 0. Then for each x the inequality
ILl 0. Conversely, suppose I L l
I L(x) l elxl
holds for every E > 0. Letting e 0 shows that L 0.
The second property of a norm holds because
VII.2 Continuous Maps 119
1, 2,
=
thenwe prove the triangle inequality. Suppose I Li (x) l < Ci lxl
Fin ally,
for i
I L t (x) + L2 (x) l � fLt (x) f + I L2 (x) f < Ct f x l + C2 f x f = (Ct + C2 ) lx l
and t herefore (Lt + L2 l � (L t l +
(L I·
Exercise VII.2. 15 Let a be numbers,and let E = C0([a, b] be
2
space of continuous functions on [a, b] . Let I! : E R be the integral.
the b <
Is I! continuous: (a) for the L 1 -norm; and {b) ) for the L2-norm on E?
Prove
your assertion.
Solution. ( a) Let f, g E E, and let f > 0. Suppose that I/ - o lt < f,
then
-.
I I!(! ) -
I!
(g) l
<
I I!(! g) l
- <
1b f(x) - g(x) ldx = If - < £,
l Yh
)
"b
inequality gives
< Cl f - o l 2 ·
Exercise VII.2.16 Let X be a complete metric space satisfying the semi
parallelogram law.(GfExercise 5 of Chapter VI, §4.) Let S be a closed
subset, and assume . that given x , x2 E S the midpoint between x1 and x2
1 there exists an element w E S such that
is also in S. Let v E X. Prove that
d(v, w) = d(v, S) .
)
·
whence {x n } is Cauchy. Since X is complete, and S is closed, the sequence
{xn} converges to an element w E S which verifies d(v, w) d(v, S ).
120 VII. Limits
so
and en -+ 0 as n -+ oo.
(c) If x � b > 1 we estimate
1 1 1
x
I ( ) - 1 +1
1 - < <
nl - lxln 1 - bn 1
- -
x1-
80 the sequence { /n } converges uniformly to 1.
lun( )- l l=
=n
each / is
odd,
na - 1
.
11+
ng(x) l
-
nfg(x) l
- 1 -
1-
We then have
80
nx2 ..;n
/� (x) =
( 1 + nx2 ) 2 '
<
In attains its maximum 1/(2� at x 1 / , thus 1 /n
(x ) l 1/(2..;n)
proving that the
In attains sequence
its maxi mum converges
1/(2� at to x0 uniformly on 1 /Rn.
1 / , thus
(x ) l 1/(2..;n)
proving that the sequence converges to 0 uniformly on R.
VII.3 Limits in Function Spaces 121
defined on
Exercise S by l(x)
VII.3.4 1/{1
Let S= be the-interval
x) . 0 $ x < 1 . Let I be the function
(a) Determine whether I is uniformly continuous.
{b) Let pn (x) 1+ x+· · · +nx . Does the sequence {Pn } conf!erge
=
uniformly to I on 8 '1
{c) Let 0 < c < 1. Show that I is uniformly continuous on the interval
[0, c], and that the sequence {Pn } converges uniformly to I on this
interval.
()
Solution. a The function f is not uniformly continuous because if it
were, then there would exist 0 < 6 < 1/2 such that ll(x) - f(y) f < 1
whenever
lx - Y l < 6. Let y 1 - 6 and suppose y < x < 1. Then for values of x
=
{Pn }
( I is
)
fxl n +l
11 _ '
n+ x -+ 1 so the sequence
For fixed n we have fxl l/11 - xf - {Pn }
+ oo
c On [0, c] , the function I has a bounded derivative, I is
continuous.
so Furthermore, we have the estimate
IPn (x) - l(x) f < n+l
c
so {Pn} converges uniformly to I on [0, c] . 1 _ c'
Exercise VII.3.5 Let fn (x)= x2/{1 + nx2) for all real x. Show that
the sequence {In} converges uniformly on R.
Solution. For each n > 0 the function In is even, positive, and
differen tiable on R with
f� (x)= {1
and fn (x) tends to 1/n88 x ±oo. Therefore lfn (x) l < 1/n which
�
{
Exercise VII.3.7 As in Exercise 5 of §B, let
li m li m f(x, y) li m li m
z � o, � o y � oz � o
and f(x, y) .
i! (x, y) ::/: (0,
f(x, y) 0),
=
Is f continuous on R2 'I Explain, and determine all points where f is
con
li m li m f(x, y) li m li m
z � o, � o y � oz � o
and f(x, y) . 2
Solution. The function f is continuous on R - {0} . The only
problem is at the origin and we have shown in Exercise 5, § 2, that f is
not continuous at the origin. However, lill--+O f(x, y) = 1 and limz-+O
f(x, y) = 1 so
li m li m f(x, y) = li m li m f(x, y) = 1.
z � oy � O y -+ O z -+ 0
log(t2 + 6) 1 12 = � log(t2 + 6)
by a polynomial P. This works because the Taylor formula for the log
con verges uniformly for 6 < u < 2A - 6. Then take a sufficiently large
number
VII.3 Limits in Function Spaces 123
of terms from the Taylor formula for the exponential function, say a
poly nomial Q, and useP Q
o 7 to solve
your
v problems. Cf. Exercise of
Chapter
,
§ 3.
Solution.Given uniform continuity implies that there exists 6 which we
f,
select small such that for all t E (0, 1] we
have
By the estimates given in Chapter 5, we se e tha t the Taylor polynomial
< <
of + X con verges uniformly on -1 + 6 X 6. We then substitute
X
= t2 + 6 - 1.
Wecan use Exercise 8, with=f log, g = exp, and /1,9 1 their
Taylor polynomials.
y o n a c l The
nu positive,
rge itrespective detailed
o s such n proof
e d athat runs follows:
dif bounded interva
as
lby[-C,
uniform contiG is la
C] where
w e s ee t ha t t h e r e e x is ts ll < By the a - bl < then l eae -b
ft
€.
ft ,
e see
u n if o rm c onve r g e n c e o f t h e X- <
t(weh ahavet g in ivemind
n X t=ht2e r e e x is t s a
Et f1
�TP(X)
a y l o r po ly n om i a l f o r t he l o g on (6, 6 + 1]
p o l 6)y n. Thus
o m ia l P su c h t h a t l o g
w
I
+
(VII.I)
S im i l rl y , t h eu n if o r m c on v e r ge n c e o f
n e nt i al o n a n ar b i tr a ril y la r g e c l o se d
antees the existence of a polynomial Q such that eY Q(Y) I e.
tSo h e T l o r p o l y n o m i a l f r t h e e x p o
i n-t er val c o n t a i n in g t h e or ig i n , g u a r <l
so
implies Pn-+tPn
0 < Vi (t)+>t (t). Fu rthermore,
0. Finally, if Pn(t)ine
for the second >q0,
ualthen 0 � P�(t) �
ity note t which
that
1 2 1 (v'i + < 1-
- Vi
so 2 '
Pn{t)
)
�
1
nv'i+2
-
so
0 <- v'i - n+l (t) <- (1 - �2 ) .
2 2 vt
But v'i 2 v'i
2 + nv'i (1 � )
_
2 2
n+ l 2(2 + nv'i ) - (n + l)t
=
v'i + n v'i
+( ) 2(2 ) '
so the inequality drops out.
VIII
Compactness
Exercise VIII. l.l Let S be a compact set. Show that every Cauchy se
quence of elements of S has a limit in S.
··
Exercise VIII.1.2 (a) Let 81 , . . . , Sm be a finite number of compact
sets in E . Show that the union 81 U U Sm is compact.
{b) Let {Si}ie i be a family of compact sets. Show th.at the intersection
·
niei Si is compact. Of course, it may be empty.
81 US2(a. )Assume
Solution.
of We prove
thatthe result for tw o sets. Let S be an infinite
Sn 81 is
if(not, then Sn S2 must be infinite
infinite
and the argument is the same) so that S n 81 has a point of
subset
accumulation in 81 • Therefore S has a point of accumulation in 81 U
S2 • By induction we�
c onclude that 81 U ··· U Sm is
() LetisStherefore
Sband compactofby
be any member theTheorem
family. Then ·ni e J Si is a closed subset
compact.
1.2.
126 VIII. Compactness
which implies
C1 l v l oo � lvh < C2l v l oo ·
Exercise VIII.2.4 {Continuation of Exercise 1, Chapter VII, §2). Let
E = R and let S be a closed subset of R . Let v E R . Show that there
k k k
exists a point w E S such that
d(S, v ) = lw - vi .
{Hint: Let B be a closed ball of some suitable radius, centered at v,
and consider the function x �- l x - v i for x E B n S.j
Solution. Consider a closed ball cent ered at v of radius large enough so
that B n S is not empty. Since E = R k , and B n S is closed and bounded,
we conclude that B n S is compact. The function defined by fv (x) = f x - v l
is continuous, and therefore fv has a minimum on B n 8.
Exercise VIII.2.5 Let K be a compact set in Rk and let S be a closed
subset oj Rk . Define
d(K, S) = l xo - Yo I·
{Hint: Consider the continuous map x .. d(S, x) for x E K.j
128 VIII. Compactnes
(K, S) andd(K,
dinequality, S) s;
the reverse is
obvious.f(xo)
Exercise VIII.2.6 Let K be a compact set, and let f : K K
-+ be a
continuous map. Suppose that f is expanding, in the sense that
(b) Suppose there exists x E K such that x ¢ f(K) . Since f(K ) is com
pact, Exercise 5 implies that d(f(K) , x=) d > 0. Let= xo x and
define the sequence {xn } by=Xn+l f (xn ) Since K is compact, there
·
and the last inequality holds because Xp- q belongs to f(K). We get a
contradiction which proves that f(K ) K. =
K3
,
is at distance > 0 from the boundary of U because the boundary is
closed. Pick j such that 1/j < d(x, 8U) and lx l < j, so by
definition we have x E which concludes the proof.
·Taking
· U Uincomplements
. shows that Si1 n · · Sin c sc , so the
intersection ·
n
snsil n. . . n sin is empty, as was to be shown.
130 VIII. Compactnes
I
=
Show that can be uniformly approximated by elements o f I. {Hint: Given
E, let C be the closed set of elements E S such that 1/(x) l > E. For
xx
C ewith a finiteexists
number
#:
each 9( functions 91of, . .
g eofI them,
such corresponding a toneighborhood
0C.in Cover
9)x. . , + · · · +.9� ·
C, there
= g� 9 9r 9
n
fo r large, the
Then E I. Furthermore, has a minimum on
Let
C, and
function I
C, and I n9
l+
is close to f on C, and its absolute ngvalue is < E on the complement of C
in S . Jwtifg all the details of this proof.}
Solution. (a) Given I
e I, let Xf,n {x e S : 1/(x) l < 1/n}.Since
I is continuousx, n is closed. So(Z=f) = 1 x,,n is closed z
and Z (/) is also closed.
By continuity, g is
=,
If x E C, then x f/: Z, so we can find a function g e I such that -:/= 0.
non-zero in a neighborhood V x. z of Uzec
9(x)
Then is an open covering of
C
the
from whichVwe
C because z
finite subcover, 91, + · · · + 9�.
can select a finite subcovering of
C is compact. Letgg�• • • , gr be the functions
and let Thecorresponding to to I
function g belongs
=
9 C,
··
because of properties (i) and (ii) . Fu rther mo r e , is continuous on it
> 0 and nowhere 0, otherwise 9I = = 9 r (Y )
=0 for an element y E
where
is ·
(Y) y belongs to one of the sets of the subcover C. This is a
9
contradiction.
The function 9 n Cattains a minimum a
> 0 on 1+ · Consider the
n9/(1 + n9) ng
1
This function belongs to I and Exercise 2, §3, of Chapter 7 implies that
tends uniformly to on C. Thus
The function 9 Cattains a minimum a
> 0 on
· Consider the
If - f
ng
1
+ I< I
- Ill +f 1 + ng
IX
Series
12B x l+ dX
[
e
(log x)- E
2
]B 1
1
=
-
(log E -1
x)
so the series E 1/n{log n) 1+E converges.
(b) The integral test shows that the series diverges. Indeed,
1
x log x
dx = [log log x]: = log log B - log log
as B -+ oo.
B
2 -+ oo
(c) Again, the integral
1 test shows that the series
1
diverges, 1
dx = [log log log log log log B - log log log 3
B
x] 3 =.
.
3 x(log x) (log og x)
and this last expression -+ oo as B -+ oo.
134 IX. Series
For any f > 0, the series E 1 /n ( log n) ( log log n) 1 +E converges because
1
x(log x) (log log
x)1
[! E
+E dx = - f ( Iog log x) - 3 ]8 •
nE
and for all large n we have (log n)d < nE whence we conclude that the
series
E( log n) d /n8 converges.
Exercise IX.2.5 (a) Let n! = n(n - l ) (n - 2) · · · 1 be the product
of the first n integers.
Usingnthe ratio test, show that E 1 /nl converges. .n
{b) Show that E 1/n converges. For any number x, show that E x /n!
converges and so does E xn/nn .
IX.2 Series of Positive Numbers 135
Solution.
an (a) Let 1/n!. For all n > 1, an+l because
= $
an+l - 1/{n + 1) -! 1
_
n 1 ·
1/nl
+
(b) Since nn > n! the comparison t�t implies that E 1/n"' converges.
Suppose x 0 and let a = x"'/n!. Then a, /a = x/(n 1)
tends to 0 as n -+ oo , so the ratio test implies the convergence of the
n
which>
series + t+ n
E xn /n!.
If x < 0, let an = l x l n /n! and bn - (- �) n . Exercise 3 implies the
convergence of the series E X n /n!.
Finally, if x= 0, then E X
/n! 0. /nn converges, and this result also
Note that for=n x > 0, the series E
xn
holds for x $ 0.
1
L L n
- = - ·
n =k n =k n(n -
=
L1 n- n -1 m
�<
·
1)
=k
n=k -1
n2 1
-
Letting m -+ oo we see that
1
00 - 1
.
Suppose that for some , this last inequality is an equality. Then we
have 00 1 00 1
L '
�=
n=k n n(n - 1)
L
O
=k
(
which
implies 00 1
� n(n - 1)
-
n2
=
.
1.
conclude that the inequality )
But 1/n(n - 1) - 1/n2 > 0 for all n, so we get a contradiction. We
is always strict, that is
136 IX. Series
00
I fi2 < 1/{k - 1),
n=k 1
:
for all k � 2.
Exercise IX.2. 7 Let E a! and E b� converge, assuming a > 0 and bn
0 for alln. Show that E anbn converges. {Hint: Use the Schwarz
�n but be careful: The Schwarz inequality has so far been
inequality
protJed only for finite sequences.J
S ,o. .lution.
. , bm)·For
The standard
each m > 0,product
integer inner consider th
ande the
m-tuples ( a1 ,inequality
Schwarz ,
m
• • •
(b
am ) t
in a
and
imply
(a) E diverges. r
{b) E converges.
(c)E ..sometimes converges and sometimes diverges.
{d) E sometimes converges and sometimes diverges.
Solution. (a) .Suppose the series E converges. There is some no such
that for all n� no we
have
an 1
O< = bn <
l + an 2
Since an = b n / (1 - b n.) we conclude that forn all n > o , 0 < an
< 2bn which implies the convergence of E an. This gives us the
desired contradiction.
(b) The series E converges because
(c) If we put an = 1, O -
n < the n E
is a perfect square, E z Vn
i.e.
an _!_
< n2
1 an +
diverges. Suppose an = 1 n2 -_
+ and an = 0 otherwise. Then
whenever
E
IX.2 Series of Positive Numbers 137
II(�
=l
+ a k ) = (1 + at ) (1 + a 2 ) · · · ( 1 + an) ·
k
We say that the product converges as n � oo if the limit of the
preceding product exists, in which case it is denoted by
00
II (1 + a k ) ·
k =
l
Assume that E an converges. Show that the product converges. {Hint:
Ta e the log of the finite product, and compare log( 1 + a k ) with ak .
Then ta e exp.j
Solution.Taking the log of the partial product we obtain
But log( 1 + ak ) < ak , so E log(1 + ak ) converges.
The exponential map is continuous and
Suppo se that I a: I < tjt oN for some positive integer N. Show that a�c =
for
=
t, . =. . , N t t
0{d) Let o: .
- = 1
k
b�c/tO with integers a�c , b�c such that
0a � a�c <�c/tO k 0 < b�c < 9. Assume that there exist arbitrarily large such
9 and
b�c for all .
that a�c #: 9 and similarly b�c -:/: 9. Show that b
�c for all .
a�c
Solution. a) Cut up the interval [0, t] in tO equal segments of length
1/tO,
Io1 [ 1
10 , . . . , I;t ]' 1+
j , . . . , Igt ]
't .
]o: tO
Pick j such that E
cut the interval I�1 in
up [
tO10, jnamely consider 10
9 [
IJ , and let a t = j . Then Ia: - a 1 l < t/10. Then
]
I=2 3
[ at + t02 ' j
t
+
= tO a
t t02
j
( tO +
for j = 0, . . . , 9.
such that o: E IJ, and let = j. Then
Pick j
a2
and such
that
m a t
o: n - m.
Ia - + <
Proceeding by induction we get a sequence (at , a 2 , . . .) such that 0
< an < 9
Hence o: = E
a n /10 n .
(b) The inequality follows from
lak
I o: I <
n to
(c) Write -
n=t to
o:
- 10 k < <9 1
k=m -
= 0, = =
- 10tok m 9tOk
k=m k=O 1
-<
and the fact that 0 tjtOk = 10/9.
a�c/10 k with am -:/: 0 and m < N - 1.
= m
Then
lam l < l tOmo: - a mi + l tO m o:l.
On the one hand, we
have
L
00
k=
L
n =1
length(Jn) < E,
Conclude. L i
=1
converges.
140 IX. Series
(X, Y) = L
•
00
by X
n= l
nYn·
XnYn·
Show that this product satisfies all the conditions of a positive definite
scalar product, whose associated norm is given by
(c) Let Eo be the space of all sequences of numbers such that all but a
finite number of components are equal to 0, i. e. sequences
n=l L= x� + 11! +
2XnYn n l )/ ) 1/2
2
n
n
< X2n + Y2 < 00 ,
+2 X
2 1 Yn2
and clearly,eXE E. The zero element is simply 0 = (0, 0, . . . ) and
belongs to E and X + (-X) = 0, so we conclude that E is a vector
space.
() ): -+
b The product (·, · ExE R is well defined because by
Exercise 7 we
know that if E x� and E Y! converge, then so does E l xnl l Yn J. We
contend that this product is a positive definite scalar product. The
linearity prop
erties follows from standard properties of the real numbers and because
of the theorems on limits. If X = 0, then clearly, (X, X) = 0, and
conversely, if (X, X) = 0, then E x � = 0 which= implies X n 0 for all
n hence X = 0. So the scalar product is postitive definite. The
88Sociated norm is given by
IIc)XItII � is=clear
(X, X) = E
that Eo
(x� . is
a subspace of • We contend that this subspace
l2
(
is dense in P . Let X = x 1 , x2 , . . . ) E £2 and let E > 0. The series E x�
converges, so for some N we
have 00
L
n=N+
00
l
· IX.2 Series of Positive Numbers 141
If we let Y = (x 1 , x ,
2
, X N , 0, 0, . . ) , then Y E Eo and II X - Y ll �
• • • .
M
E
j= l
n =l
l n l
N
x + IYn l < II X II 1 + II Y II t
·
L
<
n =l
Letting N __. oo gives the desired inequality, and we conclude that II · li t is
a norm on f 1 .
(c) Given f > 0 and X E f 1 , there exists N such that N + l l xn l <
E , so if we let =Y (x t , .x2 , . . , XN , 0, 0, . . .) we get II X - Yi l t < f.
Thus is dense in l 1 .
Eo
{d) Suppose Xn = {x ,j n
1 is a Cauchy sequence. Then given f > 0 ,
there is a positive integer N such that for all n, m > N we have II Xn -
Xm ll t < f. This implies that for each j, the sequence of real
numbers {Xn,j } 1 is
Cauchy and therefore converges to a real number which we denote by Y; .
Let Y =
in 1 . We contend that Y E1f and that Xn converges to Y
the f1 -norm. For each positive integer M and all n, m > N we have
j l
so letting m -+ oo we
get M
L
M
=
l xn,j - Xm,; l < E,
L
j =l
l xn ,j - Y; l < f.
j
L I Y; I
j IY; - Xn,; l +
M lxn,j l < II Xn - Y ll 1 + II Xn ll l ,
=l <
L jL =l
M
=
l
for all M > 1.
(e) Immediate from {d) and Exercise 6, §1, of Chapter 7.
IX.2 Series of Positive Numbers 143
M M
n
L =l
(an un (x + y)) <
n
L =l
(an un (x ) + an un (Y) ) ·< u(x ) + u( y)
M =
n
L =l
=
L
M
an lc l un l ei L
M
an un (x )
n =l n =l
an un (cx )
(x )
and letting M -+ oo.
p f(q)
,
q < q
X -
144 IX. Series
a - p- > c .
-
q q
Let 1/J be a positive decreasing function such that the sum 1 1/J(n) con
verges. Show that the inequality
a - P < 1/J(q)
q
has only a finite number of solutions. {Hint: Otherwise, 1/J(q) > C/q for
infinitely many q. Cf. Exercise 2.]
Solution. Suppose that the inequality la -p/ql < 1/J(q) has infinitely
I I
many solutions. Then C/q < a - � < 1/J(q) for man infinitely y q.
Let
We now show that we can choose the qi 's such that 1 < Ql < q2
< To do so, it suffices to prove the following lemma:
· · ·.
Lemma. For each i, there is infinitely many choices of q > 0 such that
IX.2Series of Positive Numbers 145
6,
Proof.
q) . Suppose that for some i, there is only finitely
many choices. Then,
since a is irrational, there exists 6 > 0 such that if a pfq
then<- lI
Select such that > i and 1/ 2 k < 6. By assumption, there exists p', q
'
6,
'
with q' > 0 such p 1
a
that
- --; < 2k
2! q > iqso'
2i We choose
1/(q'). <
so I a - p'fq' l
-;-1 <a - p-' 1 < -1
2"q' - q' < 2kql 2iql ,
adiction proves the lemma, and shows that for
and this contri , qt, ) with qi > 0 such that each i we can
find a pair
(p
Now let
Then 1/J(t) � e E(l/2i) < oo, 1/J is positive and decreasing because
t-+ t e-t
is decreas\ng. Furthermore,
q; /q; 23q;
1/J(q;) > 23 e-q; =
e-�
and for all small x we have the inequality, $ 1 - so for all large qi
we get 1 2qi
__!._
i q <i ,
2 qi 1 - e -1 / i 2 qi
-
and therefore, E 1/J(n) < oo. This contradiction concludes the exercise.
146 IX. Series
n and
converge in the same intenJal.
S o lution. If 0 < x < 21r, then ei x -:/=
i x e kix , 1. We estimate the sum G() =
e +· + · · using the standard formula for a geometric series, namely
ix e (ktl)ix
e- 2
I G( k) l = 1 - e"x
. -1 - e" .x
<
I I'
Since x t-+ 1/x decreases to 0
as einx x -+ oo, summation by parts implies the
fn.
convergence of the series E
A sequence of complex numbers {Zn} converges to z, if and only if
the
real sequences {R e (.zn)} and {Im(zn)} converge to Re(z) and Im(z) ,
re in x
spectively. But e = cos(nx) + i sin(nx) so the series
converge.
{i} U ) E (- l ) n
Solution. (a) For large n, n 1/ n < 2 so n 1+ l / n < 2n hence the series is not
absolutely convergent.
(b) Given any three consecutive positive integers at least one must verify
I sin n l � 1/2 because
IX.3 Non-Absolute Convergence 147
So for each j E
z+ , 1
aa;+l + aaH2 + aa;+a
2(3j
> + a) .
We conclude that E lan l diverges.
(c)Since
1- 1 ::
n = 1 + vfn) nvfn '
+1vfn
the sum E lan l converges.
{d) Since an+1 fan -+ 1/2 the ratio test implies the convergence and abso
lute convergence of E an .
(e)The series converges absolutely because for n, 2n2 - n2, thus
all
n 2:
(f) For all large n, 2n3 < 2n3 + n- 5 <
3n3, so
1n 2
- = - n2 and 2n3 4n <- �2
<- 5
n +n- n '
3n 3n3 2n3 + n -
5
thus E (an i diverges.
(g)For all large n we have 2 + < l and
- 4> /2 so
1 n
2 + 3n
3n
2n + 1 < 2 n
an - 4 - 4-3 .
3n
--
n
-
2n � 2 nThis
. implies that for all wen
large have
/2 and Xn <-
n <
,
x - 1 _:_x2n - 2
2"'
e R - 1 , - 1}.
x
We conclude that the series converges
for
Exercise IX.3.5 Let {an} be a sequence of{ real numbers such that
E an converges. Let {bn} be a sequence of real numbers which converges
mono tonically to infinity. {This means that {bn} is an unbounded
sequence such that bnn.)
+1 � bn for all Show that
1 N
lim - :E anbn = 0 .
N-+oo bN n=1
Does this conclusion still hold if we only assume that the partial sums of
E an are bounded'I
Solution. Given E > 0, select a positive integer no such that for al
we
m > have
no :'= an i < f and >
0
sum we
Then for N > no splitting.
obtain 1
1 N 1
anbn anbn + b anbn .
b :E b
< :E no N
:E
N n=1 N n=1 N n=no+1
The first sum will be $ f for all large N. For the second sum
we use sumation by parts to obtain, after some elementary
computations,
N N-1
:E anbn = bN(AN - :
(Ak - Ano )( bk+ 1 - b k)
n=no+l Ano) - E
,
k=no+1
where An = ak are the partial sums. Therefore by the triangle
in equality, the fact that I Ak - Ano I < E for all k > no and that {bk } ases
incre
we get
N <
:E an bn I bN I E + E(bN - bno ),
n= no+1
hence for all large N we
have N
which concludes the proof.
:E anbn � 3e
n= no+1
IX.3 Non-Absolute Convergence 149
If we only assume that the partial sums an are bounded we cannot
of E n n
(
conclude that the limit is 0. Indeed, let an = -1) and bn = 2 . Then
--+
with Cn = 0, 2 or - 2. If 171 $
m
or - 2
Lemma 2 = Ck
En
en/3
=
Let
Supp
ose
that 7
l, then Ck =
0 for 1 <
N- 1.
and the right-hand side can be made < e for all large i. Hence K is
closed. The Cantor set is contained in the compact interval [0, 1] and is
therefore compact.
and the right-hand side can be made < e for all large i. Hence K is
closed. The Cantor set is contained in the compact interval [0, 1] and is
therefore compact.
150 IX. Series
( �) ( �)
which are close together. Lett 'Y = a - a'. Then Lemma 2 of the previous
exercise shows tthat an = a� for n = 1, . . . , N - 1 with large N, so
f x f n $ en � C < 1 imply
Solution. The inequalities 0 <
xn lxln lxln < en
1 + xn-< 1 - fxfn -< 11 -C C '
-
-
n= k 1 + x
--
-X
--
2 2 1
n=k
and x k /(1 - x) --+ oo as x --+ 1 and x < 1.
Exercise IX.5.3 Let
00
1
f (x) = L
n=l 1 +
•
n2X
Show that the series con11erges uniformly for x > 0 > 0. Determine all
points x where I is defined, and also where I is continuous.
Solution. The inequality 1 + n2x > 1 + n2C whenever x > C >0
implies tthe uniform convergence of the series for x > C > 0.
converges absolutely and uniformly on any closed interval which does not
contain an integer.
Solution. The distance bettween a closed interval nott conttaining any in
teger and tthe sett of integers is strictly positive. Therefore, if x belongs
tto a closed interval not inttersecting the set of integers, there exists
a num ber C > 0 such that for all integers n and all x in the
interval, we have
11 - x2 /n2 1 > C. Then
ln2 1 < 1 .
- - n2 C
x2 1
152 IX. Series
-- nx2 02
n3 + x3 - n2 ,
< -
which proves tthe uniform and absolutte convergence of tthe series on [0,
C)
with C > 0.
have
x2 assume
(b) Let C be a number and 2 f1x l < 2C . Then for all
+ n 0tthatt n > C2 we
--n2 <-
+ <- - .
n
- -
n
n2
By the ttail-end estimate given in Theorem 3.3, we conclude thatt tthe series
converges uniformly in every bounded intterval. However tthe inequalitty
shows tthatt tthe series does nott converge absolutely for any value of x.
Exercise IX.5.6 Show that the series E ein:z: /n is uniformly
con11ergent in e11ery interoal [6, 21r - 6) for e11ery 6 such that
0 < 6 < 11".
Conclude the same for E(sin nx)/n and E(cos nx)fn.
Solution. There existts a number C > 0 such that if x E [6, 21r - 6] ,
f
then
l - ei:�: l > C. We tthen have tthe following esttimatte
E
m eikk:z:
k=n <-
2 ( -1 - - -< -On .
n m
-C
2
IX.5 Absolute and Uniform Convergence 153
k=n
and m "k x m
L
k =n
e"'
� k
sin kx
,
k
L
=n
we conclude tthe same for the series E(sin nx)/n and E(cos nx)/n.
1
Exercise IX.5.7 Let i be the set of sequences a = {an }, an E R,
such that
1
converges. This is the space of §2, Exercise 1 5, with the i - norm ll af l
E
t =( i
an ·
(a) Show that the closed ball of radius 1 1 is not compact.
1
in iLet a {an } be an element of i , and let A be the set of all sequences
{b)
{3 = { bn =} in such that f bn ( < f an f for all n. Show that e11ery sequence
iof1 elements of A has a point of accumulation in A, and hence A is
compact.
1
Solution. (a) Consider the sequence {en } in £ where en = (0, 0,
. . . , 0, 1, 0, . . .) has components all 0 except for 1 in the n-th
I I�
coordinate. Then en - em = 2 whenever n i= m so the sequence
j =
{b) Con sider a sequence {,Bn } in A where f3n 1 • Then for all
�
n has
{en} j no converging subsequence. Thus the closed unit ball in
i1 is not compact.
s1 = {bni ,1 } 1 which converges to a limit b1 (Bolzano-Weierstrass)
. Call m1 the first index of St . Then from the truncated sequence of
and we have lbn,j l < l aj l · From {bn , 1 } we can extract a
all �
subsequence
second terms 1 extract a subsequence s2 which converges to a limit
b2. Call m2
its
Sj+ 1second index. Conttinue this process, find a converging subsequence
of the subsequence {bn,j + 1 }n indexed by s; and call b;+ 1 its limit,
; m + 1jits + 1 index. Then
and = {3 {b1 , b2 , . . . } belongs to A and we
contend that this sequence is a point of accumulation of {f3n}·
Indeed, given e > 0 choose k such that k+1 lan l < e. Then choose j � N
such that N implies
Then for all N we have ff3mj - P I < 3e. This concludes the exercise.
Exercise IX.5.8 Let F be the complete normed vector space of
continuous functions on (0, 27r] with the sup norm. For a = {an } in i1 ,
let
154 IX. Series
00
L(o:) =
L ancos nx.
n=l
Show that L is a nuous linear map of £1int
conti o F, and that Il L(a) II <
ll o:ll 1 for all a E £1 •
l < 1 we have
Solution. Since I cos
nx
s a number we gett
If {3 = {bn} E £1 and
ci L(a + {j) =
00
L n
=l n=l n =l
- L(a) + L({3)
00 00
and
L(ca) = L can cos nx = c L an cos nx
= cL(a ).
an cos nx + bn cos
nx
00 00
L an cos nx + L bn cos nx
and
n=l
=ln
and
n=l
=ln L is conttinuous because
So L is linear. Finally,
IlL(a ) - L(f3) 11 < lla - f311 t
·
Exercise IX.5.9 For z E C (complex numbers) and l z l i= 1, show that the
( zn - 1 )
following limit exists and give the 11alues:
f ( z) lim .
=
n--.oo zn + 1
=
zn - 1
2
zn + 1 - 1 =
l zn +
88 so
ll
88 so
=lim zn
f(z)
+ n.
-. 1z
noo
(a) What is the of definition off, that is for 11alues of f(z) for the vario
which complex numbers
domain
z does the limit existq
(b) Give explicitly the s z in the domain of f.
hen zn --+ 0 as n --+ oo so f(
Solution. If l zl < 1, z) = 0. If fzl > 1, then
ft (z) = 1 because
=
We now investigate what happens on the unit
0 we circle. Let z ei9
immediately
with get=
as n --t oo .
so if 0 we immediately
:f: 0, () get
then
f (z) enien
9 iO 1 +1 e-
= =
1+
so if 0 we immediately
f (1) = 1/2. If niO ' () get
()
eni9 1
and since e - niO goes around the circle, we cannott define f at the points
z = ei6 with () =/= 0. So the domain of definition of f is the sett z E C
that l z l =/= 1 or = 1.
zExercise
such
IX.5.11 (a) For z complex, show that the series
00
�1-n (1 - _
z n+ l )
converges to 1/(1 - z) 2 for lzf < 1 and to 1/z(l -z) 2 for
f zl > 1 . {Hint:
This is mostly a question of algebra. Formally, factor out 1/z, then at
first add 1 and subtract 1 in the numerator, and use a partial fraction
decomposition, pushing the thing through algebraically, before you worry
about convergence. Use partial sums.]
{b) Prove that the convergence is uniform for l zcl < < 1 in the first
case, and l z l > b > 1 in the second.
Solution. a L n z /(1 - zn-)(1 -) and
z lett D(z)
1 - z n )(1 -
z n + 1 ). Then
zn (l - z) 1 [ zn - zn+l ]
D(z) (1 - z)1 - z D(z)
1 - 1) + (1 -
1 - z (1 - zn) (1 - zn+l )
- 1 [ 1 1
+ - zn·
- 1 - zn+l1
]
1-z
Un
=
156 IX. Series
1
Ln
k= l U
k
1 [ 1
1 - 1 - z 1 - n+l
]
= z - z
and
ttherefore
Sn(z) =
n
H z k- 1
(1 - z k )(1 - zk+l)
=1 [
1 - 1
1- z 1- ·
]
If l z l z(<1 1,- z)
then 1/(1 - zn+ l) --+ 1 n+ttherefore
n --+ oo zand l S (z) --
+ 1/(1 - z2 ) n --+ oo. If l z l > 1, tthen 1/(1 - zn+ l ) --+ 0 n --+n oo
88
as
as so
But 1 1 - zn+ l l > 1 -:- lzl n+ l > 1 - cn+ l so we get tthe esttimatte
Sn(z) - 1 1 en
(1 - < 1 - c 1 - cn+t
z)2
for all z in tthe region l z l < c < 1. Now en --+ 0, hence tthe convergence is
uniform in tthe region f z l < c < 1.
If I z l > b > 1, tthen
Sn(z) - 1 1 1 <- 1
z)2 - 1 - zn+l
1 1) bn+l - 1
z(1
b(b
- z(1 - -
and bn+ l --+ oo,
z)
so tthe convergence is uniform in tthe region l z l > b >
1 88 oo
1. .
Solution. (a) The radius of convergence is 1 because n 1 /n --+ 188 n --+ oo.
(b) The radius of convergence is 1 becausen2/n --+ 1as n --+oo .
(c)The radius of convergence is 1 because 1/n1 / n --+ n --+
{d) The radius of convergence is oo because 1/n --+ 0 88 n --+ oo.
(e) The radius of convergence is
1/2.
(f) The radius of convergence is IX.6Power Series
2.
( )
n21n (1 + 2/n) 1 /n -+ l as n -+
g The radius of convergence is 1 oo .
(because
b) The radius of convergence is oo in (n1r) = 0 for all n hence t he
because
series s
is identically zero.
Exercise IX.6.2 Determine the radii of con11ergence of the following
se- nes.
.
tthen by induction, tthere existts constantts 01 (e) and 02(e) such tthat
and similarly
Then
A - e + 61 (n) (A - E) < a 1 1 n < A+ E + 62(n) (A + e) .
This shows tthatt la 1 /n - AI < 2e and concludes tthe proof when A > 0. If
A = 0 one can simply write tthe terms on tthe left of tthe inequalities
as 0 throughoutt.
E. xercise IX.6.5 Determine the radius of con11ergence of the following
se-
nes.
n (b) 3n zn .
n z
.
n"l
Solution. (a) By Chaptter IV, we know tthatt n! = nnen for n --+ oo ,
where
an =
bn
mea tthatt tthere existts a sequence {un } such tthatt bn = Unan
and ns = lim (e - n ) 1 /n =
n 1 -
n-+oo(1)
lim � n
1 /n n n -+oo e
use
and the radius of convergence of tthe series is e. Note tthatt we
can also Exercise 4 because
(b) In Exercise 18, §2, of Chapter we proved that (3n)! = ( 3n) 3n e -3n
so tthatt
1
1m = .
n-+ =
oo (3n)l n- (3n)3n e- 3n 27
1m -
+ oo
Hence the power series has a radius of convergence equal to 27.
IV,
IX.o Power Series 159
an(Sn(z) - Sm (z)) n - 1
+ 2 (Sk (z) - Sm (z))( a - (IX. l )
k
: m1)+1·
ka=k+
Summing a geometric series we find Sn(z) = (.zn+ 1 - 1) / ( z - 1) , so
using the assumption that lzl � 1 and lz - 1 1 > 6 we get the
uniform bound I Sn( z) l < 2/ 6 for all n. Therefore ISn ( z ) - Sm ( z) l <
4/6 for all m and n. Putting absolute values in ( IX. 1) , using the
triangle inequality and the fact that {a n } is positive, and
decreasing we get
I Tn(z) - Tm ( z)l 4 4 n- 1
an{J+ -g2:
:$
4 4
(ak - ak+l )
ka=m+ l
·
- �am+l ·
Since am 0 as we c
--. m -+ oo
convergent in the domain fz l t the series E a n z n is
onclude tha
( < 1 and fz -
uniformly
heorem)L l f > 6 of the complex plane.
Exercise IX.6.7 Abel's T Assume th n be a power
with radius of convergence � 1. et 1 a n z
Let 0 � x < 1. Prove that series at the series 1 an
converges.
Solution. Let f( x) = 1 ak x k , A = 1 ak and An - E�= 1 a k .
Consider the partial sums
160 IX. Series
n
sn(x) = L a k xk.
k=l
We firstt prove tthatt tthe sequence of parttial
ums s {B n (x)} converges
uni formly for 0 � x � 1. For m < n, applying theum s ation by partts
formula, we gett
sn(x) - sm (x) n
- E x ka k
k=n n- 1
= x ( An - Am+ l ) + (Ak - Am + t)(x k -
E k k+l).
= m+ l x
There existts N such that for k , m > N we have I Ak - Am+ t l < f .
Hence for 0 < x < 1 and n, m > N we have
l sn (x) - n- 1
l
Bm (x)l f + f E (xk - k+ )
<
x +l
k=m
- f + f(xm+l - xn)
< 3f.
This proves tthe uniform convergence of {Bn (x) } .
Now given f, pick N above. Choose 6 (depending on N) such tthatt
as
if
lx - 1 1 < 6, then
I SN (x) - AN I < f.
By combining tthe above resultts we find tthatt
1/(x) - AI < 1/ (x ) - Bn (x ) l + l sn (x) - BN ( x) l + l sN ( x) - AN I + I AN - A I
< 1/ (x) - Bn (x)l + 5f
for all n > N and f x - 1 1 < 6. For a given x, pick n so large (depending on
x!) so tthatt tthe first tterm is also < f, to conclude tthe proof.
.:!.
n
and
21f sin nxdx - [cos
(lf'o, 'I/Jn) = = 0.
l nx]�1f
1o n
Similarly, we have
{Hint: {Tate) Given n > 0 and f, there exists a function f = In ,�. which is
coo on - 1 < x < 1 such that:
{1) / (0) = /' (0) = · · · = f (n l ) (O) = 0 and f (n) (O) = 1 .
-
00
g(x) = E an fn , t. n (x) .
n =O
For > 0 the
series
IX.7 Differentiation and Integration of Series 163
= - 1 / (t- a) (t - b)
e
otherwise. Then h is a 000 function (Exercise 6, §1, of Chapter IV) with
all derivatives equal to 0 at both a and b. Let
g(x) = 1 - C j� h(t)dt,
where 1/C = J: h(t)dt . Then g(a) = 1 , g(b) = 0, 0 � g(x) < 1 , and g
000 with all derivatives equal to 0 at both a and b. For 0 $ x �
is
D k g(x) = L an Dk fn ,£n •
When k n < we
n ,have
Jn (x) = � 2n+2k kl (n +
k)!
(
II
y 1
+ - y 1 - - y = 0.
I
+
n2 )
x x2
Solution. The absolute value of the k-th term is < lxl n+2 k / k ! so the se
ries converges absolutely for every x and the convergence is uniform
on every closed and bounded interval. A similar argument shows
that we can differentiate term by term to get y1 and y'1• Let
y
( )
II
1 n2
+- y 1
I
- -
is equal
to
+
y=0
x x2
is equal
to
ak (n + 2k)(n + 2k - 1) + ak (n + 2 k) + ak - 1 - n2 ak = (4kn + 4k2 )ak +
ak - 1 .
But ak - 1/ak = - 4k (n + k) so we conclude that y = Jn (x) is a solution to
Bessel's equation.
X
The Integral in One Variable
f(2M
< 11/1 1 ) £ + E) .
11 / ll t =1b l /1 .
Show that this is a seminorm (all the properties of a norm except that
1 1 / ll t > 0 but11/ ll t may be 0 without I itself being
Solution. Given 0}. f > 0 choose a step map h such that II/ - h ll < f . Then
l h l is also a step map and the inequality
1 1/(t) l - l h (t) l f < 1/ ( t) - h ( t) l ,
implies that11 1/1 - f h l lf < f so l / 1 is regulated. From this analysis we
the fact that ex
l/1 can be uniformly approximated by positive step maps,
tract
so that
1/1 >
11/l h = 0.
I!(lchn l) = l cii!( I hn l)
hencellc/l l 1 fcf ll/l l t · Finally, if / and 9 are regulated and {/n }, {gn }
=
sequences
are of step maps converging to f and 9, respectively, then {/n +
9n }
converges to f + 9 and { 1/n + 9n l } converges to I / + 9 1 · Since
.
such that
[
l · = a · - 62 ' a3· +26 .
3 '
]
Then on each interval I; replace cp by the line segment having the
same values cp at the end points of the interval.
as
.. . �
. _ _ , _
(/,g) = lb f(x)g(x)dz.
The seminorm associated with this scalar product is call. ed the £2 - se mi
norm. (Cf. Exercise 11 of Chapter VI, Show that continuous
the tions are dense in F for the L2 §·!.)
'
-seminorm. func
Solution. Given a regulated function f, and f. > 0 there exists a
step function cp such that II / - cpll 2 < f. (see Exercise 6) . Then we
as
argue in
Exercise 4 with 6 < £.2/4B2n instead of 6 < £./2 Bn. The resulting continu
ous function g satisfies
Then
88
andpart (b of Exercise 5. We conclude that
estimates
) The argument is the same in
coo
is £2-dense in F.
(a) except that we use the
notation
L= 1 f(t)dt.
Show that given E > 0, there exists 6 such that if size (P) < 6, then
IS(P, c, /) - Ll < E.
X.4 Properties of the Integral 171
_ b
0
b<f S(P, c, f) - b
1 1E.
.
-
Now we I I
estimate the tenn S(P, c, f ) - J: 'P · Let a =$ ao a 1 < · · · < ap
=
b be a partition associated to cp. Let P = {a = to < t1 < · · · < tn
= b} .be a partition of [a, b] and let B be a bound for f which is also
a bound for .
By linearitycpof the integral we can write
n- 1 1t�ct lc + t
-
<p
S(P, c, f) = L f (ck)(tk+ I - tk)
k=O
1b cp
-
-
n 1
f (ck) - cp (t) dt .
�
'!:
point..ai
tr.
+l (ck) -
f
=
cp (t) dt
(tk+l -
t k) ·
If for some integer i (i 1, . . . , p) B belongs to [tk, tk+1], then
f (ck) - the (tk+l -
dt . . . , p)
If for some integer i (cpi (t)1, t k) ·
f cp ( t) - f ( belongs to [tk, tk+1], then
the
for all t E [ tk, t k + l] and therefore
f cp ( t) - f (
intervals
Since each ai belongs to at most [tk, t k+ 1] we conclude that
two
exists as the size of the partition approaches 0. This means that there
exists a number L having the following property. Given E there exists 6
such that for any partition P of size < 6 we have
I S(P, c, f) - L l < E.
{Hint: Selecting values for Ck such that f(c k ) is a maximum (resp.
mini mum) on the interoal [tk , tk + t ] , use upper and lower sums, and
show that the difference is small when the size of the partition is small.]
The above limit is tJSually denoted by
L= 1b fdh.
Solution. Given a partition P of (a, b) we define the upper
Riemann Stieltjes sum to be
n- 1
S( P, f) = L f (ck ) [h (t k + 1) -
h (tk )] , k=O
where Ck = maxt�c <t<t �c + t f ( t) . Similarly, we define the lower
Riemann Stieltjes sum to be
n- 1
S( P, f) = L f ( c�) [h (tk+ t ) - h (t k )] ,
k=O
where c'k = mint,. <t<t�c+ t f(t). Clearly, we always have
S( P, f) < S( P, f).
In fact, if is a refinement of P , that is, if P' is obtained from P
by adding finitely many points, we see that
X.4 Properties of the Integral 173
This proves
that
inf{S(P, /)} and sup{S(P, /)}
p P ·
exist, where the infimum and supremum are taken over all partitions
of
[a, b].
Let B be a bound for h. Given E > 0 choose a positive number a
such a that 2Ba < e. Since f is uniformly continuo�, there exists
6 > 0 such that lx - yf < 6 implies 1/(x) - f(y) f < a . If the size of P
is < 6, then
S(P, f) - S(P, f) :5 2Ba < E.
exist, and that they are equal, say to a number L. Then, given any
partition P of size < 6 we have
S(P, /) :5 S(P, c, /) < S( P,
f)
so
that
JS(P, c, f) - L l < E.
Exercise X.4.3 Suppose that h is of class 0 1 on [a, b], that is h has
a derivative which is continuous. Show that
J
..
f: [a, b) -+ C
be a complex valued function. Let P = {to < t1 < · · · < tn } be a
partition of [a, b) . Define the variation Vp (f) to be
n- 1
Vp(f) =
E
l/(t k + 1 ) - f(t k ) l .
k=O
Define the
variation V(f) = sup Vp(f) ,
p
where the sup (least upper bound if it exists, othenoise oo is ta en over
)
all partitions. If V(f) is finite, then f is called of bounded
variation.
(a) Show that if f is real valued, increasing, and bounded on [a, b) ,
then f
is of bounded variation, in fact bounded by f(b) - f(a) .
(b) Show that if f is differentiable on (a, b) and f' is bounded, then
f is of bounded variation. This is so in particular if f has a continuous
derivative.
(c) Show that the set offunctions of bounded variations on [a, b) is a
vector space, and that if /, g are of bounded variation, so is the product
fg.
Solution. (a) Under the aBSumptions of (a) we have
n- 1
Vp (f) = E f(tk +1 ) - f(t k ) = f( tn ) - /(to) = f(b) - f(a)
. k=O
b Let B be a bound for f' . By the mean value theorem, there. exists
for each k a number Ck which belongs to [tk , t k + l ] and which
verifies
X.4 Properties of the Integral 175
so that
n- 1
Vp (f) = L l f' (ck)(tk+ 1 - tk)l < B (b -
a) , k=O
whence V (f) is finite.
(c) Suppose that I g are of bounded variation on [a, b). Since
and n- 1
Vp ( f + g)= L l l (tk+ 1 ) + g(tk+ 1 ) - l (tk ) -
g(tk) l k=O
we see
that n -1 n- 1
Vp( f + g) < L ll (tk+ 1 - l (tk) l + L f g (t k+ 1 ) - g(tk) l � V ( f)
+ V (g ) , k=O k=O
hence I + g is of bounded variation on [a, b]. If c is a scalar, then
n -1
Vp (cl) = L l cl (tk+l ) - cl (tk) =l l ciVP ( I) �
l ciV( I) , k=O
so cf is of bounded variation on [a, b), and we see that the set of
mappings of bounded variation on [a, b) forms a vector space.
In order to show that if I and g are of bounded variation on [a, b) ,
then
so is the product lg , we first prove that I and g are bounded. For I
we have
ll(a) J + 1/(x) - /(a) I
ll (x )l <
ll (a)l + l l(x) - / (a) I + l f (x ) - l (b)l
<
l l ( a) l + V ( l ) ,
<
so I is bounded, and a similar argument shows that g is bounded. Then
since
l (x) g (x ) - l (y) g(y) =l(x) g (x ) - l (x)g(y) + l (x)g(y) - l(y) g(y)
putting absolute values and using the triangle inequality we obtain
=
ll (x )g(x) - l(y)g (y)l l llf l lg(x ) - g(y)f + l l(x ) - l (y) f ll g(y) f l ,
where II · II denotes the sup norm. Consequently
Vp( lg) < ll l l f Vp (g) + Vp (l ) l fglf < I I I II V (g) + V ( f ) l f gl f
which proves that fg is of bounded variation whenever f and g
are of bounded variation.
176 X. The Integral in One Variable
The notation for the variation really should include the interoal, and we
should write
V1(x) = V(j, a,
x ), var
If the limit is not 0 (or does not exist}, then there exists 6 > 0 such that
V(j, x, y) > 6
for y arbitmrily close to x, and hence by Exercise 5{b}, such that
V(f, x, y) > 6
for all y with x < y < Y1 with some fixed Yl· Let
X.4 Properties of the Integral 177
2 (g + h) = 2V,.
The function g is increasing because if
� x ::; y ::; b, then part (b) of
a 5
Exercise implies
h>O
which proves our contention, namely
li m f(c + h) = a .
h -+ 0
shows that
X.6 Relation Between the Integral and the Derivative 179
lim / ( c + h) = a' .
h --t
h<O
O
. 'Pn -+ l b
a a
J
b
and since ,\ is continuous we get
l
We have shown that {,\ o CfJn } also converges uniformly to ,\ o f so
lb l b f.
0 0
.X .X
'Pn -+
�rther�ore, if
then
because ,\ is linear. So
was to be shown.
as
lb fF( b) F (a ) .
-
{Hint: Fo =
n) use the m
ean value
theorem r a suitable ao
partition ( < a1 < < a ···
ef (b - a) .Given
Solution. ThenE > 0 there exists a step map cp such that II / - cp ll <
1 b I-
b1 cp < E.
Moreover, if P = {a = a0 < a 1 < < an = b} is the partition
· · ·
1b
n- 1
cp - F(b) + F(a) L l wi - I(Ci) l ( tli+t - ai ) < e,
a i=O
$
because l wi - l (ct ) l < ef (a - b).
1b
Thus
I - F(b) + F(a) 1b I -+ 1b
b1 cp - cpF(b) + < 2E,
$
F(a)
and the formula I: I = F(b) - F(a) follows.
Exercise X.6.4 Let I : [a, b] E be a differentiable map with
-.
/ ' ( to ) l ,
the sup being again ta en for t in the interval. {Hint: Apply Exercise 4
to the map g(t) = f(t) - J' (to)t. We multiply vectors on the right to fit
later notation.]
182 X. The Integral in One Variable
Solution. Let g(t) = f(t) - f'(t0)t. Then g'(t) = f'(t) - !'(to) because
f'(to)(t + h - f'(to)t
= !' (to) .
h
Since g(b) - g(a) = f(b) - f(a) - f'(to)( b- a ), Exercise 4 implies
that
1/ (b) - f(a) - f' (to)(b - a) l < (b - a) sup 1 /'(t) - /' (to) l ,
as was to be shown.
XI
Approximation with Convolutions
1: K(t)dt 1.
nu
gives =
c c/ n
1= 1 -c
K(t)dt =
= -�n
1 nK(nu)du
10 Kn (u)du.
- oo
Finally, we see that Kn vanishes outside [-cfn , cfn] so given e , 6 > 0, select
N such that l c i /N < 6. Then for all n > N we have
1- 6
+
Kn = 0 < f.
1 00
oo
K
Exercise XI. 1.2 Show that one can nfind a function K as in Exercise
-
=
i=O a ,
We can make f continuous on each[a , without changing the value
oo i
of the integral. Since K is c , we can differentiate under the integral
sign,
so it follows that K * f is coo
ai+l]
and
n- 1
(K * /)'(x) f(t)K'(x - t)dt = (K' * f) (x ).
= 1La i+l
i=O ai
Exercise XI. 1.4 Let f, g, h be piecewise continuous (or even
continuous if it ma es you more comfortable}, and bounded, and such
that g is zero outside some bounded intenJal. Define
I* g = 1: f(t)g(x - t)dt.
Show that (f * g) * h = f * (g * h) . With suitable assumptions on !1 ,
!2,
show that (It + /2 ) * g = /1 * g + /2 * g . Show that I * g = g * f .
Solution. We asume for simplicity that f, g and h are continuous.
Suppose
g is 0 outside the interval [-c, c). The change of variable formula
implies
(g * f) = 1: g(t)f(x - t)dt
- 1 z - c -g(x - u)f(u)du
- 1: z + cf(u) g(x - u) d u = f * g.
We then have
(f * g) * h(x) =1: (f * g) (x - u)h(u)du
- - L: [1: f(t)g(x - u - ]
t)h(u)dt du,
an
d
an
d
Xl.2 The Weierstrass Theorem 185
But since J0
1
P(x)f(x) = 0 we obtain
1 1
1 P(x)dx = 1 P(x) - f(x)P(x)dx < 11 l/2 {x) - f(x)P(x) l dx < E .
1
This is true for all e > s J0 /2 (x)dx = 0. Since
2
/ is
0 continuous and and therefore I = 0.
o
� 0, we must have /2 =
0
li m
..
1 h +X
h
h>O - _00
h o
2 2 f(x)dx = /{0),
because
1 00 7r
{! h2 x2} h>O
_ +
X
because
1-
is a Dirac fami ly. To conclude the proof, it suffices to show
li m
that
li m
h > 00O
h..
+ X=
2
o
/(x )dx .. 2 h >O
f(x)dx = 0.
h o
1
The second limit follows 1 00 h
from h Bh2 1 h2
J +x < J 1 +x
B
I
h
h2
- h
h2
h h
h2 2 M h2 2
/(x)dx dx
h
B / h 1
M 1+ 2 dx
(x/h)
+1
- M
J1/h 1 u 2 dx
r
II TK f lg =
b
1b ITK/(x)l 2dx
=
(d ) 2
1 1 K (x , y) f(y) dy dx.
1
2
< ( M l f(y)l dy ) dx = M2 ( b - ( )
a)
(
d ) 2 d(
therefore
1 /( y) l dy .
By the Schwarz inequality applied to the scalar product defined
by the integral Exercises 4 and 5, §2, of Chapter V) we see
that
1 1/ ( y) l dy < (d - c) 1 1 / (y) l 2 dy ,
I I TK / I I � < M2 (b - a) (d - c) ll
/ 11 � ,
which proves the continuity of the linear map TK in this case.
XII
Fourier Series
and if n =F m we
1r [ ) ].,.
have 1
(xn, X m)
me"xnz-
•
dx t
•
.
.
1 · 0.
-1r = t(n - m ) e
X
"
( n-m
-1r
=
(z1 , • • • ,
=
z
0.
Zn )
and w (Wt ••• , Wn) where Zi, Wi E C, define the
,
product
Show that this is a hermitian product, and that (z , z) = 0 if and only if
190 XII. Fourier Series
and
also
and
Finally, we have
(v, v) = L lvi l 2 >
0. E lzi l 2 = 0 so lzi l = 0 for all i, hence z
Now suppose (z, z) = 0. Then
Conversely, if = 0, then it is clear that (z, 0.=
z 0.
=
Exercise XII. 1.3z)Let l2 be the set of all sequences {en} of complex num
converges. Show that l2 is a vector space, and that
i/ {an}, {.Bn} are elements of l2, then the product
I f an �j - am ,j < 12
. 2
Hence, for each j, f an ,j - a.m ,j I < and therefore {an ,j
f :
e 1 is a
Cauchy sequence in C for each j. Let a; b� its limit and let X =
l 2
assert that X belongs to and that Xn --+ X as with respect to
We tt --+
oo
1•
€2 ,
I:
j = 1 l an ,j - · am,j l 2 <
so letting --+ oo and then M oo we see that X belongs to and that
m --+
II Xn - X II < e for alltt > N, thus p�oving our assertions.
2l
1b-21r f(x)dx.
Exercise XII. 1.4 Iff is periodic of period 21r, and a, b E R, then
1ab 1b+2a+1r 21r
=
preceding 1b
1b--21r 1b-21r
statement.) f(x) /(u)du.
= f(u +
21r) du
a a - 21r =
a - 2 1r
The change of variable
1b+21r /(u -
= x + 211" and the p erio d i c ity of f imply
u 1b+21r
1b /(u)du.
21r)du
f(x)
a a+21r a+21r
192 XII. Fourier Series
The change of variableu = z + a implies
1 w +o
11 ' f (x + a)dx = -1r+a / {u)du .
_
Moreover we have ,.
1 w +o 1- 1r 1 1r 1 1r + o
and
so
1r
1- Ga+ r11
/(u)du
,.
/(u)du =
to be
as was
shown.
1r+ _
z sin(nx)dx- 1r n 1r n cos(nx)dx
-
-1r
_
cos
- { -l )n+ 1 n2 .
.,.
s1• n2 x = 1 - cos .
2x 2 2
(
.
I s1n x� = ;
4
-...
) .
2xcos - . . . cos
2nx
-
i 2 3 4n2 -1
(f)
1r 2
3 4n2 - 1
Exercise XII. l.7 Let
f
(x)
be the function equal to (1r x) /2 in the -
in
terval [0, 21r], and extended by periodicity to the whole real line. Show
that the Fourier series of I is L(sin nx)fn.
Solution. We see that the function is odd,anso 0 by Exercise 5. Exercise
4 implies
=
1 (' T r - x) 1 1
2
bn = sin(nx}dx =2 sin(nx}dx - 211" x sin(nx)tk.
;
The t integral is e
qual to 0 and the second integral is
firs = { [-:
cos(nx) 1f + ]:
[sin(nx)] �1f � } =
.
So the Fourier series of I is indeed L(sin nx)fn.
Exe.rcise XII. 1 .8 Let I be periodic of period 21r, and of class 0 1 •
Show that there is a constant 0 > 0 such that all Fourier coefficients Cn
(n =f:. 0) satisfy the bound lenl < 0/ln f . {Hint: Integrate by parts.]
Solution. Let C be a bound for /', and suppose that n =f:. 0. Integrating
by parts and using the fact that f is periodic we find that
2'TrCn
=
1-1r1r . �n
- 1 [
-1r �n1
11r l (x)e- .nxdx
1r
211"Cn =
1
-:-
11r l'(x)e -t nx dx
.
= ... = . 1
11r - .
I (P) (x)e " nxdx.
'n -w
('n)P - 1r
If Bp is a bound for l(p) we get
211"Bp
211" I I <
Cn lniP
and therefore len -
Exercise XII. l.lO Let t be real and not equal to an integer. Determine
the Fourier series for the functions I(x) and x) = sin =
tx.cos tx (i) Since I is even conclude that bk
Solution.
other
for all k > 1. For
0g( =
the coefficients we
have
ao = -
t ]
1
1 1r cos (tx)dx = - . sin(t1r)
s n ( tx)
1 211" t
= ,
21r - 1r - 1r
1r
and for n > [ -1
1,
and for n >
1
1, 2 1r 1
cos(tx) cos(nx)dx = -
11"
an = -
[
11" ]
1 0
1r 0
cos(tx + nx) + cos(tx - nx)dx
- _!_ 1sin(t7r + n7r) - 1 sin(t71" -
1r t-
n t + nn7r) 2t sin(t7r)
= (-
1 7r(t2 - n2)
.t
So the Fourier series of I is
sin(tw) 2t sin(tw)
n=l(-1)n
t11"
2 - n2
+ ( cos
) nx .
--
tw
XII.l Hermitian Products and Orthogonality 195
bn
� 0 � 0
-![ 1
� t- n
sin(t1r - n1r) -
1
t- n
sin(t1r + n1r >]
n 2n sin(t7r) .
(_
_
�(t2 - n 2 )
1)
So the Fourier series of g is
oo
sin ( t� )
L 2
2n
s1
.
2 n ( nx) .
(-l) n
�
n=l t - n
Exercise XII. l.ll Let E be a vector space over C with a hermitian
prod uct. Prove the parallelogram law: For all v, w e E we
have
because F is a subspace. So
llYn - Ym ll 2 � 2IIYn - v ll 2 + 2IIYm - v ll 2 - 4a2•
Given E > 0 there exists N such that if > N, then ll Yn - v ll2 < a2 + E.
n
Then for all n, Nm
we llYn - Ym ll 2 < 4£,
have
so the>sequence {Yn} is Cauchy and therefore has a limit x0 e E.
Since F is closed, xo e F, and llxo - v ii = a.
Remark. In this exercise we asume that F is a subspace. From
this as
You can use two methods. One of them is to consider z + tax, with
small positive values of t, and suitable a e C. The other is to use
Pythagoras ' theorem.]
Solution. We wish to show that z is perpendicular to all x in F.
Method 1. Suppose ll x ll=I0 and let be the component of z along x.
c
Write z = z - ex + ex so by Pythagoras
ll z ll 2 = li z - ex ll 2 + ll cxll 2 > li z - ex ll 2
•
Uk Vk - Ck- I 11k- I -
• • • - CI 11I ,
Ck = (K, (!k, !k )
"
/k)
= (K, ' ) .
Theorem 1.5 implies that E:= I l ck l 2 < II K II 2
so
L n
2 1 /k (x) l 2 < 1 1K if 2 .
A
k=l
XII.2 'D:igonometric Polynomials as a Total Family 199
ll� 2 get
;\ n < B2 (b -
a) 2 •
;\2n < B2 (b -
a) 2 •
XII. 2 Thigonoftetric Polynoftials as a
Total Fallily
N
lim
N--.oo N
1
1 1 f(x)dx.
=
0
n=1
[Hint: First, let f(x) e21rikx for some integer k. If k :/: 0, then you
=
can compute explicitly the sum on the left, and one sees at once that
the geometric sums
N 21rikna
n=1
e L
are bounded, whence the assertion follows. If k 0, it is even more
=
trivial. Second, prove that if the relationship is true for two functions, then
it is t'r'Je for a linear combination of these functions. Hence if the
relationship is true for a family of generators of a vector space of
functions, then it is true for all elements of this vector space. Third,
prove that if the relationship is true for a sequence of functions {fk },
and these functions converge uniformly to a function I, then the
relationship is true for f.]
Solution. Suppose f(x) e21rikx. First, suppose k f:. 0. Then since a
=
1 2
- -+
=
k <
- N 1 1 - e21rika0I
1 - e21ri a
-
N n=1 N
1
as N -+ oo. Since f0 e 21rikx dx = 0, the formula holds. Suppose k = 0.·
Then
0
1
N
Nn 1 = 1 = 1dx,
L
so in this case, the formula is also
true.
so in this case, the formula is also
true.
200 XII. Fowier Series
1 N 1 N 1 N
a f (na ) + bg (aN
na) = /(na) EE
+. b g(na) .
n=l n=l n= l
EN N
Finally, suppose that {/k} is a sequence of continuous functions, of
period
1, which satisfy the formula and which converges uniformly to a function
f. We contend that f verifies the formula. Given E > 0, choose such
that e,
II / - !k l l < where 11 · 11 denotes the sup norm. Then
1 1 N 1 N
E /-(na) � E 1 / (na) - !k(na) l + N E !k(na)
N f - /k
N N
n= l n=l n= l
+ fo1 I lk f l .
-
The first and third term are < E for allN. For all large N the second
[n
n + 1 so that
1,
We extend cp on R by defining cp(x) = cp(x - n) if x E
is now periodic of period and t.he inequality ll(x) - cp(x) l < e
cp,
all
x.
,
holds for First, we buildgand h on the interval [0, 1].
]
Suppose cp
has discontinuities
at the points of the partition
g
Sup p o s e that ai is not a n e n d point . If x is not in one of the 6-
h (x)
intervals , we
set g(x)
M + £ . We now define h and
= cp(x) + e
on the 6-intervals. Let
= cp(x) - e. Let M be a bound for I and
B such that
and B h be select
h
>
g
the linear function having the value cp(ai - 6) + e at ai - 6 and B at ai.
so that
Similarly, g(O) g(
Let have the value cp ( ai + 6) + e at ai + 6 and be linear on [ai , ai + 6] .
points = so we can extend and g
h ,)
6)to- atand
€ h(O) h( ), 1 1
for which is defined to be the linear function having value cp(ai -
= at ai ,, and cp(ai + 6) - f at ai + 6. We also modify
ai - 6, -B
Furthermore,
1 1 h - g < 2 e 2n B + 6 ,
N1 EN g( d
N1
na ) --+ g an h(na) --+ h,
E
N
n= l n=l
and
1 1 1
1 < 11 < 1 h I and 1h - g < 3E
g
so we conclude that the desired limit exists and
E
N-+oo
lim / ( na ) = f.
N 1 0
n=
P(x) = ao n
Solution. (a) The only difficulty is to show that the product of two
trigono metric polynomials is also a trigonometric polynomial. This
can be done using the product formulas for the sine and cosine
which
(b) Theare
fact that trig deg(fg) = trig deg(/) + trig deg(g) follows from
the
1
sin a · sin {j - 2 [cos(a - fj) - cos(a + P)] ,
These formulas show that any expresion of the form cosi x · sin; x
can be written a linear combination of sine and cosine.
product formulas.
Exercise XII.2.4 Let COO be the space of functions with are
periodic and vanish atShow that COO is L2 -dense in E (the space
ofpiecewise continuous periodic functions). {Hint: Approximate the
function by step functions, and use bump functions.]
These formulas show that any expresion of the form cosi x · sin; x
can be written a linear combination of sine and cosine.
product formulas.
Exercise XII.2.4 Let COO be the space of
periodic and -1r,
coofunctions with are
vanish at Show that COO is L2 -dense in E (the space
ofpiecewise continuous
1r.
periodic functions). {Hint: Approximate the
function by step functions, and use bump functions.]
XII.3 Explicit Uniform Approximation 203
Solution. The hint gives the proof away. Let cp be a step map that
approx imates /, that is II / €.- cp l f � < The bump functions
smooth out the corners and eliminate the singularities of cp. For the
construction of such functions, see ExerciseIV 6, §1, of Chapter and
Exercise 7, §3, of Chapter
ooc
X. Doing this construction at each discontinuity of cp and making sure
that at the end-points we let the bump function be equal to 0, we get a
function
g E COO which approximates cp . We have the following pictures:
-r
1r z
f(t)g(x - t) dt - 1 -1r f(x - u)g(u)du
1 z+�
(/ * g)(x) = =
-�
21r
Show that
_!_ 1 - r2
Rr (9)
21r 1 - 2r cos +9 r 2
- •
Solution. We use the formula to sum a geometric series
Exercise XII.3.3 Prove that Pr (9) satisfies the three conditions DIR
1, 2, 3, where n is replaced by r and r -+ 1 instead of n -+ oo. In
other words: DIR 1. We have Pr (9) > 0 for all r and all 9.
DIR 2. Each Pr is continuous and
1: Pr (9)d9 = 1.
DIR 3. Given E and 6, there exists ro , 0 < ro < 1 such that if ro < r < 1,
- 6
then
1 -
�
�
Pr + 1Solution. We use Pr < E.
DIR
6 the formula obtained in the previous exercise. First,
1 holds because -1 < cos x <1 hence
XII.3 Explicit Uniform Approximation 205
But if 0 '
J ein8d6 = 0 so
'lr
- 'lr
11r 1
1r
d9= 21r 1d= 1.
1
Finally, we verify Pr(O) 9 6 so
- 1f' -1r
DIR 3. If 60$$
1r , then cos 8 < cos
But 1 - 2r cos +
6
-+ 1, and since Pr
is even, there
2 r-+ 0 as r
hen
exis 1-
r-+ 2(1 - cos o) and 2
ts 0 < ro < 1 such that if ro < r < 1 , t
-6
1 1'1Pr
+ Pr < E.
Exercise
XII.3. 6
- 1r
Then we
- 'lr
6
have
206 XII. Fowier Series
9) - /(x }I Pr(9} d9
< EPr (9}d9 < E 1: Pr (9)d9 = E.
The sum of the first and third integral is
<
+ 1: 2BPr (9}d9 < E,
so if ro < r < 1 , then for all x E S we have I (Pr * /)(x) - / (x) l < 2e .
Exercise XII.3.5 In this exercise we use partial derivatives which
you should now from more elementary courses. See Chapter XV, §
1, for a systematic treatment.
Let x = r cos 9 andy = r sin 8 where )(r, 8 are the usual polar
coordinates.
Prove that in terms of polar coordinates, we have the relation
02 + 02 =o 0 1 o
1
lJx2 8y2 lJr2 8 + 2 2(} ·
2 r 8 2
+r r
cos
02/ ( 9
+
s
02 I .
9 s
)(
. 9 )
I . 02 I
-
X 'g X
+ + + {}y2
XII.3 Explicit Uniform Approximation 207
lJ2 f cos ()
- r2 s in fJ cos fJ + r2
cos2 .
lJ2 f
. oyox 8y2
The formula that gives the expression of the Laplace operator in
terms of polar coordinates drops out.
Exercise XII.3.6 (a) Show that the functions r l k l ei kB are harmonic,
for every integer k
(b) Show that �p = 0. In other words, the
function 1 00
P(r, 0) = 2 11'" r 1kl ei k6
k=-
,L: oo
Solutio·n. a Let u(r,
fJ = r l k l eikB .
If k = 0 there is nothing to prove.
is harmonic for 0 < r < 1. Justify the term by term
Assume k =I= 0. Then
differentiations.
() )
- oo - oo 00 - oo
eik8 . ,L:
leikBratio
The I = 1test implies
implies thatthat these converges
the series two seriesabsolutely
convergeand absolutely and
uniformly. So
uni
we
-
00
fo
Differentiating with respect to 0 we get 1 and with 0 E
Rrmly on every closed
oo
If r E [0, c] with 0 < c < 1 and 0 E R, the ratio test and the fact
that can differentiate term by term the given function, and part (a)
Pr (O) is harmonic for 0 < r <
implies
1. that
208 XII. Fourier Series
:
All the functions being continuous, we differentiate under the integral sign
to conclude that
/).u = (I).Pr) * g.
In Exercise 6 we proved that I).P= r 0 so /).u=0. This result holds for any
c with 0 < c < 1, thus u(r, 9) is harmonic.
(b) For 9 E [0, 21r] , Exercise 4 implies that u(r,
0) converges uniformly to g
as r -+ 1. Then since all the functions are periodic 21r , we conclude that
Exercise XII.4.1 (a) Ca1T7J out the computation of the Fourier series
of
(1r
x) 2 /4 on [0, 21r) . Show that this Fourier series can be differentiated
-
term by term in every interoal [6, 21r - 6] and deduce that
1r - x
, 0 < X < 211" .
2 - k=l k
an2=
11
-1r o
211" (1 r -
4
n.
cos nxdx
=n
=-
1rn
1 (1r - x)
2
sin nx.
x)
XII.4 Pointwise Convergence 209
x)2 4 12 '
so the Fourier series of (1r - x)2/4 on [0, 21r] is
1r2 cos
12 + nx •
n=
l n2
The derived series
is 00
sm•
n
L =l nx
n
. .
In Exercise 6 , §5, of Chapter IX, we proved the uniform convergence of this
series in every interval [6, 21r - 6], so we can differentiate the Fourier
series
term by term. The derivative of (1r - x) 2 /4 is -(1r - x)/2, so for 0 < x <
21r
=
we .
have 1r - n sm •
x nx
2 L n
( ) 00
1
= (
l )
A -t
r
1
1- 1r f(x)eiAzdx f(x.) e"'" Ax
= -1r tA -1r J' (x) eiAx dx
] 1r
-:- 1 -
1
�A
1r
A -t
=
1 (k) I
-
-
k
- -:-
1
1 f' (x) eiAz dx .
1r
11 r j (k)
IAi k (x) eiAxdx
<
(x)l.
<
I AI -1r
j-1r
1r I (x)
I
I Ai k _:;�!
27r dx (k)
=l
(k
Solution. We use the notation of the chapter and of the hint. Since I cos mx
l 1
� 1, the series a�cpn C,Om converges uniformly to /k C,Om · We can inte
grate term by term so that
1
00 .
�
fk(x) cos mxdx = '.E a ! {cpn 1 'Pm ) = 1ra� .
- �
n=l
Let bn = 1/'lr j(x) cos nxdx. Then
1
1 � 27r
I n a !l -
7r I J (x) - !k (x) l l cos nx II/ /k ll
b-
-�
27r
I n a !l I J (x) - !k (x) l l cos nx - II/ - /k ll
b- < ldx < 7r
·
Now we prove that {3 E B. If not, then for some N and c > 0, we
have
N
L fbnf > 1 + C.
n=l
The hypotheses implies that for some k we have II / - fk ll < c/(4N) .
Then I a! I = I a ! - bn + 2 11Ibn
bn l > lbn l - l a! - bn l > I bn I - > / - fk Ill -
so
I: f(x)dx = 0,
and this follows from the fact that fk (x)dx = 0 for all k , by
symmetry. So the Fourier series of f simply
1 is bn cos nx =
L({J ). By Theorem
4. 1 we conclude that f = L.(/3) . This proves that L (B) is closed.
Exercise XII.4.5 Determine the Fourier series for the function
whose
values are ez for ·
o:�:
So the Fourierseries of the function esi
e2o -
1
1ro a + ik +-a ik . a + ik - a + ik .
= 21ra+ 2(e
1r
-i ia cos kx - k-sin kx
U2 I .
V2 •
a+ k2 - a2 +
_
2
k=I
Therefore, 1r cos ax = u1u
- v1 and the desired formula follows from
a simple computation.
Exercise XII.4.8 Letting x = 1r in Exercise 7, conclude that
a'l r 2: oo k
-- = 1 + 2 a2 (
2
-1)
sin a?r
k=l
a
when a is not an integer.
- k2
XII.4 Pointwise Convergence 213
Solution. Letting x = 1r in Exercise 7, we get
sin(2a? ( )
00 ( - 1 ) k
?rcos
r) a?r = + a 2: ,
2
1
a 2 _ k2
k=l a
thus
gers M >
(c) Prove that for all
( 1 we have:
inte
�
M
1 -M
m ) B(m u) -
1
+1 >
Solution. ( u B Ba)uLet
B (u / 27r) , and whicl1=is21rx
periodic of p�riodthe
�nd consider For n =I= 0 the complex
21r .function defined
coefficients
Fourier of B2 are given
by
27rCn = 411"2u2 e-inu du- ue-inu du + ! e- inu du.
_..:!
21r 6
The last integral equals 0, and integration by parts shows that the second
term equals 1/(i n ). Integrating by parts also shows that the first
integral is equal to - 1/(in) + 1/(7rn2), so
12 .
214 XII. Fourier Series
If = 0, we 1 21r
B2(u)du = (
n
have 2weo = - 1 + - = 0.
w -8 1 )
0 12 3
Theorem 4.5 implies
B2(u) = 1 1 in:�:
2 2
e
11" n�O n '
2
B2 (2wx) = (x)
B formula
bb)utInduction. The so theis formula for M
true when B(x)= d rops
. Assume that the
is( true for some positive integer M.
out. 1
formula
Set
A = M 1+
(M� 2 zn) (M� .2 z-k)
+ +
Then we see
that (
2 )
l
M +l M +l M +l
A = 2:
M +l + 1 z - k + z M+2 2: z- k + z- M - 2
L z n
.
+
L
M 2 n=l k=l k=l n =l
The induction hypothesis implies that
as was to be is equal to
(shown.
) c( ) Part
a implies
M+l )
M (+l
� 1- _!_. (1 - m
__!._ (e21l"inmu + e-2'1inmu )
21r2 n>O '
n2
m=l M +1 )
and by part (b) we see that this last expresion is
XII.4 Pointwise Convergence 215
= __!_ 2 (
n M+
1 (M+l e21rinku) (M+l e- - ..!. .
21r2 1)
i
21r un k )
n>O k=l k=l n2
k
But E e- 21r in u is the complex conjugate of E e21rinku so we see that the
above expression
-1 1 1
is
� 21r2
n2
= 12 ,
n>O
where we have used the fact that
-1 1 / n 2 - 1r 2 / 6. This proves
the inequality of (c) .
(d) We have
E(A, X)
2
L -
aje21rinz; a L�
j j
XIII
Improper Integrals
XIII. l Definition
b f - U
b
1 ;. i 1 f - (u1 + i'U2 )
<
1
U
1
so J:O I converges to u1 +
iu2.
218 XIII. Improper Integrals
(b) Since 1/t l < 1 / 1 , l/2 l < l /1 , and 1/1 < l /t l +l/2 l , I is absolutely
integrable on R if and only if 11 and /2 are absolutely integrable on R.
Exercise XIII. 1.2 Integrating by parts, show that the following integrals
exist and evaluate them:
so that
= 1,
e-z
sin xdx
2
and similarly
for tegrals
simultane
ously. Compute :�;dx e-zei J:
the other integral. Note that wecompute
can
and use xercise
E
both in
1. You
e-beib will
1 [ . ]
-1
of
get e -x e" x dx = . 1 e - x e":I;
.
=
- so that
b --+ 0 as b -+� oo, �. - 1
'
e
0
e continuous
Exercise XIII. 1.3 Let I be a dx = function
. on R which is
"
to
1/2.
/ ( -x)dx = f(x)dx.
1: f(x + a)dx 1: =
f(x) dx.
For all large x > 0 we have f xn e -ax/ 2 1 < 1. Clearly, the integral f000 e-
axf2 dx
converges because
220 XIII. Improper Integrals
LB P(x)e-alzl dx - LB P(x)e-azdx
and
J
{a) ; 12 dx. {b) :/
2
J
dx.
1 x 1 12 1
dx xl/2
converges. Indeed,
/2dx xl/2 = [2 VxJ = 2
.
1o r
(b) Suppose 6 > 0 is small. The/2change of variable u = 1r - x implies
dx dx du
1r 2
/ I sin (1r - u) l l /2 I sin ul 112
11r-6
1r/2 I sin xl
=
112 16= -
•
du
Let 6 -+ 0 and use part (a) to conclude.
Exercise XIII.2.3 Interpret the following integral as a sum of integrals
between n1r and (n + 1 ) 11", and then show that it converges:
1
(x2 + l}l sin xj l/2 dx.
XIII.2 Criteria for Convergence 221
Solution. Let
an 1n1r( n +1)1 1 ' 1
X + Sin X
=
The c h
1 n 1 /2 1
1"'/2 1
=
c51
a ng e of variables u = x - n1r shows that
du
' + 1' 1
< n21r 2
I sin uf 2 '
1 2 l/I sin uf 2 '
<
and a similar estimate holds for the integral froml/n1r + 1r/2 to (n + 1)11" -
6Using
2 • Exercise 2, we see that an 2is finite and
integral
100 1
.
converges.
Exercise XIII.2.4 Show that the following integrals converge:
{a) J000 {b)
Solution. (a) Put 8 = 1/2 in
(b()bBecause
). of Exercise 1, we may assume that 0 < 8 < 1. We split the
LB -
1
-
1
1
-
c5 c5
The first integra l converges beca use for x > 0
all large x we have
tends to
and 1/(1 - s) as
6
- - = 1 -8
X8 X8
8
X
-s + 1 +1
-+ 0. The second integral al
so converges because for
e-x
0 - 8 <- e - x
<
X
and
18 f (x)dx = 1B /a f(au)adu.
Let B -+ oo and conclude.
Exercise XIII.2.6 Let E be the set offunctions I (say real valued, of
one variable, defined on R) which are continuous and such that
1: 1 / (x} l dx
converges.
(a) Show that E is a vector space.
{b) Show that the association
f� 1: 1 / (x }l dx
is a norm on this space.
{c) Give an example of a Cauchy sequence in this space which does
not converge (in other words, this space is not complete).
Solution. Suppose I, g E E. Then I + g is continuous and l l (x) + g(x) l
<
ll (x) l + l u (x) l so 1 /(x) + g(x) ldx converges. If a is a number, then
I: la/1 = lal I: Ill, so al E E. Thus E is a vector space.
(b) Let
1 1/(x} ldx.
11/l h =
0
: Indeed, if I I(Y) I > for some
Then if I = we clearly have llllh =
must have I = because I is continuous.
0
and conversely, if llll h , we
0,
0
y, then Ill > 0 in some open ball centered at y and therefore the
integral would be
> 0. Clearly, l f alll t = l al llllh whenever a is a real number. Finally, the
triangle inequality follows from the fact that ll (x) + g(x) f < ll (x)ul + l
(x)f
for every x.
(c) Consider the function In equal to 0 outside [-1/n, 1 + 1/n) which
takes the value 1 on [0, 1] and which is linear on the intervals [- 1/n,
O] and [1 , 1 + 1/n] . Consider the sequence 1 • Then if n > m we
have
2
llln - lm lh <- ,
m
XIII.2 Criteria for Convergence 223
( e-
2
)
tP(t)dt
is equal to 0 if deg P !cy-i if deg P = k.
<k
{b) Show that
, and is equalto (- 1)kk
dk t2t2=
where Pk is a polynomi dtk(e- ) Pk(t)e- ,
hat the coefficient of tk in
Pk is equal to al of degree k, and such t
{c) Let m be an ak = (- 1)k2k .
ion defined by
integer > 0. Let Hm be the funct
Show that
J: Hm(t)2dt = (-lrm!amv'1r,
and that if m � n, then
1: Hm(t)Hn(t)dt = 0.
Solution. (a) Let I be the integral we wish to compute. When
by parts, the first term equals 0 because of (b)
integrating and because
if R is a
polynomial, then
224 XIII. Improper Integrals
lim R(t ) e - t2
ltl-+oo = 0.
So if r = deg P < k we se that integrating by parts r times we
get
)c
oo r 1
oo
=
If deg , then
P
I= ( -1 )1ck!c J: e - t 2 dt = (-l ) kk!cy'i.
I
f
(b)
We use induction. k = 0, then Po = 1, so the result is true. Suppose
where
For the second case, assume without los of generality that n < m.
Then
Part (a) implies
1: Hn (t)Hm (t)dt = 0.
Exercise XIII.2.8 (a) Let I be a real valued continuous function on
the positive real numbers, and assume that I is monotone decreasing to 0.
Show that the integrals
XIII.3 Interchanging Derivatives and Integrals 225
·
f(t) sin tdt, f( t ) cos tdt, f(t) e i tdt
are bounded uniformly for all numbers B > A > 0.
{b) Show that the improper integrals exist:
Theorem 1 Let f be a
able, non
t-r,egative
upposehat decreasing function and
there exists M > 0 such
let h be a continuous function.
differenti
S that
LB
h(x)dx� M
LB f(x)h(x)dx� f(A ) M.
226 XIII. Improper Integrals
LB sin
�
2
by Exercise 8 of §2. So we tdt
can apply the theorem. Since
f(A) = < !
when x > 0, we get
sin -tx _!_
e dt -<
tt A
and the convergence is uniform for x > 0, as was to be shown.
Now we prove that the integral
sin
dt
t
t n1r) we have
diverges. On the interval [(n - l)1r,
sin > 1 . tl
tt - n1r I s1n ,
-
{b) Taking the limit as x --+ oo, show that the above constant is 11"/2.
(c) Justifying taking the limit for�x0, conclude that
1000 .
sin t -
t dt 1r2
_
- the text justifies differentiating under the
Solution. (a) The argument in
- e-tx sin
g'(x) =
B,
- 18 e- tx sin
=
[e -tx cos t] : + 1 xe- tx cos
Now we integrate
tdt by parts th e integral on the right
tdt.
B
=- 18
Letting B -+ oo we
e - tx sin [e- tx cos t] : + [xe - tx sin t] : + e-tx sin
tdt
g et
x2 1 e-tx sin
tdt.
tdt.
2
.
hence
-1
=
1+x
g'(x)
Integrating we see that for x > 0 we have
g(x)
= arctan x + const.
-
lim�--+oo - arctan x = -
--+ g( = x)and therefore lim 0. The value of the constant is 1r /2 because
11"/2.
oox
g at 0, and since limx-+O arctan x = 0 we conclude
that
(c) The uniform convergence proved in Exercise 1 implies the
continuity of
t
Exercise XIII.3.3 Show that for any number b > 0 we
have
sint bt 11"
dt 2
.
integral sign
g(O) = sin
td
= '1 .
t 2
Exercise XIII.3.3 Show that for any number b > 0 we
have
sint bt 11"
dt 2
.
228 XIII. Improper Integrals
t u 2
Exercise XIII.3.4 Show that there exists a constant C such · that
2 d x 2
e-t costx t ce- 14 •
=
{Hint: Let f(x) be the integral. Show that f' (x) = -xf(x)/2. See the proof
of Theorem 1.3 of the next chapter. Using the value
1oo e-t2 dt
one sees that C= ..fK/2.} =
.t2
continuous
and we have the estimates
2
lg(t, x) l < e-t and ID2 g(t, x) l < te-t
2
so we can differentiate under the integral sign. We obtain
!'(x)
=
[ e- s tx
l oo e-t 2 cos txdt =
X
J (x) .
2t
-
as
m
X
• -
2 0 2 2
>
.
>
.
Exercise
Since XIII.3.6
- log oo as
Determine
0, the whether the following
integral does integrals
not converge. converge:
Notice
however that
converges because
1
< I.
+
- x >
x2 near
{b) We must check convergence 2 the origin. Let f 0. If 0 < a
<b<f
then
b1 sin( l/x)dx < 1b I sin( l/x) l dx < b - a < t:,
dt /( 2 B B 2
Solution. We change var iables x2 = t. Th e n
1 sin(x2)dx 1 si.fin t
../t) = dx so
dt.
0 =
0 2 t
1oo t ' X
dtdx and
1oo t X
dx t
1 (x + 1 (x + 3
t)3 t)
to see that they are not equal. Some sort of assumption has to be made to
make the interchange of Theorem 3. 5 possible.
Solution. Direct computations show that the integrals converge. For the
B+:�:
first integral, change variables u = x + t,
B B+:�:
B 2x [ - 1] +:�: + x [ 1 ]
11 (xt - + 1 2 .
= =I +:�: u 1 +:�: u 1
du-
U -
+:�:
X
u3
Taking the limit B --+ oo we obtain
00 t - x 1 x 1
1 (x + t)3=dt =1 + x . (1 + x)2 (1 + x)2
_
So 1J.ooJ.oo t -
J. oo dx
-
1
-
-
- x
1 1
(x + t) 3 dtdx
(1 + x)2
- ·
2 -1
For the second integral, a similar argument shows that
t)3
(x + =
dx
(1 +
t)2
1 (x +
dx t =
2"
Exercise XIII.3.9 ·For x > 0
t)3
let
g(x) =
1 00 log(u2x2 + 1)
du
0 u2 + 1
so that g(O) = 0. Show that g is continuous for x > 0. Show that g is
differentiable for x > 0. Differentiate un4er the integral sign and use a
partial ction decomposition to show that
g'(x) =
1 1r
/M x > 0,
+
x
and thus prove that g(x) = 1r log { 1 + x) . (This proof is due to Seeley.)
Solution. Let
/( ) _ log(u2x2 + 1)
u, x -
u2 + 1 .
Suppose x e [0, c) . There exists number > 0 such that for all u >
we have
a M M
XIII.3 Interchanging Derivatives and Integrals 231
M u2 + 1 M u3 2 M
the
J000 / (u, x) du. So g is continuous on [0, c] and
uniform convergence of
since g
c was arbitrary we conclude that is continuous for x x e [a, b].
> 0.
Now we prove diferentiability. Let 0 < a < b and suppose
Then we have
=
= 1r
2X
2
]
If 1, then we see that g'(l) = 2
x
du, (u2u2 1)2
+
and to evaluate this integral, consider the change of variable u = ta� t
so
1r
that
g'(l) = 2 sin2 =2 .
tdt
Thus for all x > 0 we
have
g'(x) = x 1r 1 '
Integrating, we obtain g(x)= 1r log{+
1 + x) + constant. The continuity of
g
1r 1-oo
dx =
Finally, if 6 > -
0, +Y 2
1-oo +1
du = 1.
then
X2 -
1r 2 11
11006 + 2
'U
11
dx - 2
11 2
-- .. 6 . x +
00 11 x2 + y
y2
1
- u2 + 1
du
2
= 2 (?r - arctan) 6
1r
but arctan t --+ / 2 as t --+ oo, so this completes the proof that { cp } is
a Dirac family for y --+ 0. 11
(b) We give the standard proof. Let f > 0 and fix x. Then we
have
( tp11 * f) (x) =
1 [f(x - t) - f(x)]cp11 (t)dt .
- l( x)
:
Let B be a bound for f and choose such that 1 / (x - t) - j(x) l < f
6
whenever l tl < 6. Then we estimate
l (cpy * /) (x) -
<
+ 1 + l f(x - t) - f(x)fcp11 (t)dt.
f(x) l
1
00
(XIII. 1)
Select 11o such that if 0 < 11 < 11o, then + J:O cp < t:/(2B). Then we
11
sethat in (XIII. l) the sum of the first and second integral is < f, and
the
m
iddle integral is also < f. This proves that (cpas*11 /)(x ) --+ f(x) 11 --+ 0.
(c)T�e Laplace operator in polar coordinates is
�=-
8x2 + = +- + - .
r 802
-
- - 8r -r2
8y2 8r2
Letting x = r cosO and y = r sin O we find that cp = (sin O ) /r. Hence
2 sin 0 sin sin O
= 3 = '
r O r3
0
r3
Exercise XIII.3. 11 For each reai number t let [t] be the largest
integer
:5 t. Let
1
converges.
(c) Let 6 > 0. Show that the integral
f(x) = x + t
.3 ·
234 XIII. Improper Integrals
converges.
(c) The uniform convergence follows from inequality
1 1
x + t - 6+t
which holds for all x > 6. <
(d) The second integral converges because P2 is bounded and J000 1/ (x
+ t2)dt converges. We have
Pt (t) P2 (t) � l i + l Pt (t) (x + t) - P2 (t)
2 dt = dt '
i= O i
_
x+t (x + t) (x + t) 2
l i+ l Pt (t ) (x + t) - P2 (t)
dt =
l i + l [
� (t)(x + t) - P2 (t)
dt =
P2 (t)
,
(x + t) 2 i (x + t) 2 x+t i
i] + l
because P
=O
0 for al j. Let
n -+ co
00
l i m Pt (t)
1� iy +
dt = 0.
we have
Now if z = iy and B is a bound
for PP2t [
dt = B - 1
(t) =t d P2(t)
(iy + 2 -
< (t - IYD2 t - IYI ]M .
iy + t) dt B 0
t
Taking the limit M --+ co and then y --+ oo yields the desired
result. 88 88
for x > 0.
(a) Show that f is continuous.
{b) Integrate by parts to show that l (x + 1) = x l (x) . Show that 1(1) = 1,
and hence that (n 1 = n! for n = 1,
(c) Show that for any a .>
2, + 0 we have 0,)
- t -l
a z
e t dt =
l (x )
az
.
{d) S etch the graph of I for x > 0, showing that I has one minimum
point, and tends to infinity as x --+ oo, and as x -+ 0.
(e) Evaluate = ... [Hint: Substitute t = u2 and you are allowed to
use the value of the integral in the hint of Exercise 4.]
(f) Evaluate /{3/2), 1 ( 5/2) , . . . , f (n +
(g) Show that
J<n> (x) =
oo
1 (logt)nt'�:-le-tdt.
For any complex number s with Re(s) > 0 one defines the gamma
func
tion
r(s)
=
100 dt
e-t t8 - .
0 t
Show that the gamma function is continuous as a function of s. If you
now about complex differentiability, your proof that it is differentiable
should also apply for the complex variable s.
Solution. (a) Let 0 < a < b and suppose that x e [a, b] . Split the
integral
236 XIII. Improper Integrals
For 0 < t < 1 we have t:�: - le-t < ta- l e-t and since a > 0 the
first integral on the right converges uniformly e for x [a, b) . If t � 1
we have tx- l e-t < tb- l e-t and since tb-le - t/ 2 --+ 0 as t --+ oo we see
that the second
integral converges uniformly for x e [a, b]. Since the continuity condition
on (t, x) � tx- l e -t is verified, we conclude that f is
(b) Integrating by parts, we
continuous.
get
(b) Integrating by parts, we
get
B
e-t dt = [ - e-t ] 0 '
so letting B -+ oo we see that /(1) = 1. Argue by induction to prove
f n + 1) =
that
n!.(
(c) The change of variable u = at implies
The second integral is positive and the first tends to88oo x tends to 0.
Indeed, when 0 < t < 1 we have e - t > e- 1 and therefore
The second integral is uniformly bounded, and the first can be estimated
as follows:
11
(log t)tx -1 e- tdt < K
1 1
{log t) e: - 1 dt
1 0
1
(log t )t x 1
- dt = -
0 X
dt.
This last integral tends to -oo as x --+ 0, thus proving our contention.
If
x> 2 we see at once that f is increasing, so I has one minimum
0
1
and
and
I log tl n t ! t f -l ), an easy
induc
=
1
ble on l[a, b)
1 I log tl n e-t tx -
tion shows that It is /�
infinitely
n) differentia
and (x ) dt.
=
100 1 du
r(s)
1r
(u2 + 1)8 1
Ior mathrmRe (s) > 2 .
- oo
r(s -
=
Vi
1 )
2
Solution. We
have 1 00 1
r(s) 2 B dU = dt dU .
2
- OO (u + l )
If t = (u2 + l ) q, then dt = (u2 + 1)dq so that
1
1 (u 2 1 00 1 00 - 2 8-
r(s )
+ 1) 8 du = 2 e u q e -q q 1 dqdu.
-
o o
0 a
0 q 2
Exercise XIII.3. 15 (A Bessel Function) Let a, b be real numbers >
0.
For any complex number s define
K 1.
t
Show that the integral converges absolutely. For c > 0 define
K 2.
Show that
8
K 3. Ka(a, b) = K8 (ab).
Show that
K 4. K8(c) = K_8(c).
K 5.
e-tts-lB
{Hint: Let
g (x) = K1 12 (x). (u2 + l)
240 XIII. Improper Integrals
Change variables, let t t-+ tfx. Let h(x) =y'Xg(x) . Differentiate under
the integml sign and twiddle the integml to find that
h' (x) = - 2h (x) ,
whence h (x) = ce - 2:1: for some constant c. Let X = 0 in the integml for
h(x) to evaluate C, which comes out as r(!) =
y'i.J
Solution. If
1
s =
bounded, . - 2
and J ; e -b2 /t tz - l dt converges because for all small t we have e -
b2 /t t2z -2l < i
The second integral also converges because for all large
t, e 1 s
bounded
. - 2
and
-b / Jt ; e -b2 /t tz - l dt converges because for all small t we have e -
e 2 2.
b2 /t tz - l < - b 2 is
and e -a2 t tz - l dt converges. /t bounded
J0 3. In the integral K8 (a, b) put t = (bu)/a. Then
K
so
Since
�
8x{ e- u-z2 fu u- 1 /2 ) - -2x/2 e-u -z2 /u '
_
u3
we see that the
integral
1oo
l f2 )du
D2 (e - u - z2 fu u -
u
XIII.3 Interchanging Derivatives and Integrals 241
/
oo (x2 q)3 2
= =
so h(x) Ce - 2:.: for some constant G. Moreover, if we let u a2 and
if we use continuity of h at 0 we get
so
XIV
The Fourier Integral
aNormalize
a av'2 av'2 av'2
the Fourier series d erently, for the
Exercise XIV.l.2 inter
val [0, 1] . That is, define the scalar product for two functions f, g periodic
of period 1 to
be
244 XIV. The Fourier Integral
11 j(t)g(t)dt.
The total orthogonal family that corTesponds to the one studied in Chapter
1 is then the family of functions
�
c.n
=
J<x + n)e-2wimzdx. =
g(x)e-2wim:J:dx E
Then
E
mE Z
Cm = g(O) =
EZ
E
n / (n).
2w im(
- L 1 f(x + n)e-2wim(z+n) dxL 1 +l
1 z + n> dx n
n EZ n
=
nEZ O
-f(u)e-2wimudu
whence the Poisson summation formula
= .)f( L v
n)(Equation
L /n of the Theta Function
nE Z
0 n
O( L oo wz .
x) e- =
2
-
Prove the functional equation, namely
O(x-1) x1120(x).=
)f(y D x
ercise 2 and an argument similar to the proof of Theorem 1.3, one
finds that
y2• i < Y> y) J(y) ,
2 =
so changing variables
weI = =
/ {0)
00
tVifX
=
ha ve C = 1 e-(1r : c )t 2 dt 2 1°0 e-u 2 u
= . d 1
oo 0 -
The Poisson summation formula applied
to tion of the theta function.
Exercise XIV. 1.4 (Functional Equation of the Zeta Function
(Riemann) ) Let s be a complex number, s u + it with u, t real. If >
1, and a > 1, show that the series
1
((s) =
00
n =l ns
converges absolutely, and uniformly
u in every region u > a > 1 . Let F
be the function of s defined for > 1 by
=
F(s)
=
xsf2g (x) -
dXx
1. 00 x-sf2g ( 1
1.00 )
o
+
-dx .
s/2 -
=
1 X +
1
_ dx
X X
1 1 J.oo < 1 - s ) /2 -
dx
Use the functional equation of the theta function to show
that
F(s) = - - + (x x )g(x) x .
s-1 s 1
Show that the integral on the right converges absolutely for all
complex s, and uniformly for s in a bounded region of the complex
plane. The expres sion on the right then defines F for all values of s =I=
0, 1, and w.e see that
F(s)= F(1 -
s).
Solution. We
have
1 1 1
ns
= -
ntr -< -
tt a
,
u >
so the series ((s) converges absolutely and uniformly on every region
a > 1.
We
have
n=l 0 tt
s ,
-t
so the series ((s) converges absolutely and uniformly on every
region >
'Tr-s/2 L:oo
a > 1.
F( s ) -t ts/2 ,
l oo
e
=
and after the change of variable t = 2 x we
1rn dt obtain
y _)! J.oo y-
( 1)_
d
_d s/2g
2
We can split the integral from 0 to 1 and from 1 to oo. In the integral
from =
1 ( 1 y _)! J.oo y- ( 1 )
_ _
) _d2 s/2g
d
xsf2g(x) -
L X
=
1 -s/2
g
=
1oo
0
y Y 1 Y .J!.
Y
_
Y
2 g(x - 1 ) - O(xformula
and the second - 1 ) - for F drops out.
From the functional equation of the theta function we
x 1 12 8(x) - x 1 12 [2g{x) + 1] -
get 1
2x lf2g(x) + x11 /2 - 1
1.
= =
XIV.2The Fourier Inversion Formula 247
F(s) -
11 oo
2 2X
[
21 - s xl- ] ]
00 1
< s)/2 � x -s/2 00
x
_
1 2 s 1
But Re(s) > 1 so
F(s) =
+
g (x)[xs/2
1 + x < l - s) / 2 ] -
dx
- -
1
.
11 00 x s- 1 s
We now show that the integral on the right converges uniformly on
tr /2 Jx(l-s)/2 1 x<1-
every bounded region of the complex plane. Suppose there exists a
e-n {e-1rx )n
such that l ui < B for ail s . We have = J
and x 81 2J x=
tr)/2
number B and 1rx <
2
so
x e-1r:c
For all > A we have 1 - > 1/2 so combined with the triangle
inequality we have
M
L lu(x)[x + x< ] 1 � 2 (xl+B/2 + xl+
s / 2 l - s ) / 2 LM <
The B
(l+ ) /2 )
integral
e- " z on. the right converges M -+ oo, thus proving the
dx as
uni form convergence on every bounded region of the complex plane,
and the absolute convergence for every complex number s.
The next exercises are formulated for R, but you may also do them
for
an in light of Exercise 3.
Exercise XIV.2.4 Let g E Cc(R) , g � 0, and J g = 1. Show that 191 :5
1.
Solution. We estimate the Fourier transform of g ,
I
l b ( Y)I = g > 0 g(x)e - izy dx < I lg(x) l le - i:J:tl l dx.
l b (y) l � 1 g = 1.
Exercise XIV.2.5 Suppose that g is even, real valued in S. Let f = g
* g. How does supp(j) compare with 'f
supp(9)
Solution. By Theorem 1.2 we know that = 99. The asumption that
f even and real valued implies that 9 = g.gIndeed,
A
is
real
9(y) = Ig(-x)e-izy d1x = I g(x)e-i:l:tldtx = g(y) ,
which proves the assertion. Hence j = 99 = 191 2 • This equality shows
that
j(x) = 0 if and only if g (x) = 0 , whence supp( j) = supp (g).
Exercise XIV.2.6 Given E > 0, show that there exists a function f
e S, valued, such that:
I > 0, j{O) = 1, supp(j) C [-E, e).
XIV.2 The Fourier Inversion Formula 249
L g(x - t)g(t)dt
variables we
have h(x) =
() ()
so if x ¢ supp g + supp g , then for any t E supp g we see that we()
have
()
x - t ¢ supp g , so g(x - t)g(t) = 0 for all t, hence h(x) = 0.
Therefore
c
{) [ ] ,.
supp h -e, e as was to be shown.
/v (y) =
L f(x)e-2'/ria:ydx.
Verify the the formula /vv = f- , which thus holds also for this
normaliza tion of the Fourier transform. You can get this one out of
the other one by changes of variables in the integrals. Keep cool,
calm, and collected.
Solution. We have
Therefore /vv = f- .
250 XIV. The Fowier Integral
Therefore we find
we find
cpn(m) = R2cp(Rm).
Finally, note that l left - handside - N (R) I is the number of the lattice
and
in the annulus A = < <{points N :Re
R :e}R But
the area of the annulus A' = {x V2 < l x l < R +
- e -considering+ .-x
the diameter of one of the squares in Z2 ) we find O(+ ..) }
e
= eR .
that NA
( V2 is
XV
Functions on n- Space
In the exercises, assume that all repeated partial derivatives exist and
are continuous as needed.
Exercise XV. l.l Let /, g be two functions of two variables with
contin uous partial derivatives of order < 2 in an open set U.
Assume that
8/ 8g and -8! = -8g .
=-
ax 8y 8y 8x
Show that
+ {) 2 = 0.
8x2
y
Solution. If f(x, y) = arctan(y/x) , then
8f 1 -y -y
- - l + (y/x)2 - x+ -
2 2
8x 7
and therefore y
8 2/ 2xy
- ,
{Jx2 (x2 + y 2) 2
and similarly we
obtain
8 2/ -2xy
8y2 (x2 +
- y2)2 ·
Conclude.
Exercise XV.1.4 Let 6 be a fixed number, and let
x = u cos (} - v sin fJ, y = u sin fJ + v cos 6.
Let f be a function of two variables, and let f(x, y) = g(u, v ) . Show that
-
cos O.
-
8x oy
Adding the squares of the above expresions and using the fact that cos2
9+ sin2 6 = 1 we get the desired identity.
XV.l Partial Derivatives 255
� x + � y = m t m-lf(x' '
8x 8y
y)
and differentiating again with respect to t we find
(
82/ 82/ ) ( 82/ 82/ ) m-2
8g
-
8x or r 88
8/ . 8g cos () 8g
s1 n ()7ir + .
8y r 89
-
-
[Hint: Solve the simultaneous system of linear equations (*) and (**)
given in the example of the text.]
Solution. If we formr sin 6{ * ) + cos 9( ** ) we get
r � 2
sin 0 + r � cos2 0 = r :� sin O + � cos O.
This exercise gives the polar coordinate form of the Laplace operator,
( ) ( ) ( )
and we can write symbolically:
8 2 8 2 o 8
= ( )
+
8 2 18 1
+ 8+
7ir ; ar
r
2
88
.
256 XV. Functions on n-Space
{Hint for the prof: Start with (*) and (**) and ta e the further
derivatives as needed. Then ta e the sum. Lots of things will cancel
out leaving you with Dl/ + D�f.]
Solution. See Exercise 5, §3, of Chapter XII.
Exercise XV.1.8 With the same notation as in the preceding exercise,
show that
(� ) 2 + _!_ (� ) 2 = ( {)' ) 2 + ( � ) 2 ·
8r r2 86 8x oy
r
Solution. (a) We prove the general formula in Rn . If /(xl , . . , Xn
.
)= g(r)
Indeed, 09 Xj
=- - ,
-
8/
OXj or r
hence
X.
Let r2 n
+ C.
-
XV.l Partial Derivatives 257
( )
g'(r) �
dr {2 - n)rl- n
g''(r)(2 - n) r 1 - n - g'(r) ( l - n ) ( 2 - n) r -n
[(2 - n) r l-n ] 2
1
=
but f is harmonic, so this last expression is 0 because by (a) we know
that
( x � + x� ) 2
Exercise XV. l.ll Let � = + y2 and let r, () be the polar
coordinates in the plane. Using the formula for the Laplace opemtor in
Exercise 7 verify that the following functions are harmonic:
(a)rn cos n() = g(r, 9) . (b) rn sin nO = g(r, 9) .
As usual, n denotes a positive integer. So you are supposed to prove that
the expression
82g 1 + 1 lJ2g
lJr2 + -;. r2 {)()2
8g
a;.
is equal to 0 for the above functions g.
Solution. (a) We have
�= nrn-l cos n9
and or
and
8292 = -n nr cos n ,
89 2 ()
so a simple manipulation gives (b) In this case, we have
82g + 1 8g +1 82g
;:2 882 �
8r2 r 8r 8r
= O.
= nrn - l sin n6
258 XV. Functions on n-Space
and
or2
and {}29
2n •
062
hence - 2/4t
=-
t - n /2 - 1
2
e
( n - X2 .
2t )
x
Differentiating once with respect to t
whence �/
yields
at 2
:F=
f( , )y4tx 2 { 2
= o�fjOt .
2t ,
-n/ - 1
- = - n t -n/ 2 - 1 e - x2 /4t + t- n/ 2 �2 e -x2 /4t = - t 2 e -
x2 /4t
(n - 2 )
Exercise XV. l. l3 This exercise gives an example of a function whose
repeated partials exist but such that D1 D2 !:/= D2 D 1 !. Let
i( (x, y) (0, 0),
0 if (x, y) = (0, 0) .
Prove:
(a) The partial 82 ff8x8y and 82 f f 8y8x exist for all (x, y) and
derivatives
are continuous except at (0, 0) .
{b) D1D2/{0, 0) =/= D2D1/{0, 0) .
. XV. l Partial Derivatives 259
Solution. We have
81 = x4 - y4 +
y
8x 4x2y2 (x2 +
y2)2
and
and
81f8x(O,
{)2
h) - 81f8x(O, 0) = _
h
1 I
8 8 x '
8/ f y( h , 0) - 81j{)y(O, 0) = 1 = y (O O)
'
8 2
I
/J
(O o) ·
h 8x8y '
For ( x, y) � (0, 0) w e
have
Green's Functions
Exercise XV.1. 14 Let( a, b) (
be an open interval, )
which may be a, oo .
Let
=
M - + p(y) ,
y
where p is an infinitely differentiable function. We view My as a
differential operator. If f is a function of the variable y, then we use
the notation
g(y, y') be any continuous function satisfying the following additional con
ditions:
GF 1. g is infinitely differentiable in each variable except on the
diagonal, that is when y = 11' .
GF 2. If y � y', then M11g(y, y') = 0.
Prove:
Let g be a function satisfying GF 1 and GF 2. Then g is a Green's
function for theMoperator if and only if g also satisfies the jump
condition.
GF 3. D 1 g(y, y+) - D1 g(y, y - ) = 1.
As usual, one defines
D1g(y, y+) = lim D1g(y, y'),
'
111>11
v -
v
and similarly for y- instead of y+, we ta e the limit with y' < y. {Hint:
Write the integral
Solution. The chain rule shows that under some suitable 88umptions
we
have (
1a x )
d 1a(x) f(x, t)dt = f(x, a(x))a' (x) +
8
f(x, t)dt.
dX a a ax
Splitting the integral as hinted, and after some cancellations we see that
tP1b g(y, y')f(y') dy' = f(y) (Dl g(y, y-) - D1 g(y,
dij2 a
+ y+))
11
b
1
1 +
1
Condition GF 2 implies that the sum of the last two integrals is equal to
,
g(y, y ) -
_ { A(y')J(y)if y' < y,
B(y')K(y) if y' > y,
and that the functions A, B necessarily have the values A = KfW, B =
Jf W
.
Solution. The quantity W is constant because
W' = J'K' + JK" - J"K - J'K' = JpK - JpK = 0.
Suppose W is 0. If J is never 0, then (K/J)' = 0 which is
impossible because the solutions are linearly independent. If for
some to , J(to) = 0, then J'(t0)K(t0) = 0. If J'(t0) = 0, then J is
identically 0 �d if J' (to) f:. 0, then K(t) = (K' (to)/J' (t0))J(t) by
the uniqueness theorem. This is a
contradiction.
(b) First we show that if A = K/W and B = JfW, then the
function g(y, y') is a Green's function. The continuity condition is
satisfied and we have g(y, y) = JKfW . Since J and K are
solutions of the differential equation /" - pf = 0 we see at oncey')that if
y f:. y' , then M11 g(y, = 0. Finally, we verify the jump condition,
J(y)K'(y) - K (y)J'(y)
D 1 g(y, y+) - D1 g(y, y-) = w
= 1.
t
- P e -cy + c2 e -cll = -c?e -cy + c? e -cy =
dy2
0.
Clearly, both solutions are linearly independent. Let J = e-cy and K =
eCfl,
then
W = ce - C1e Cfl + ce- cy eCfJ = 2c,
so the expresion of the Green's function is
{ eCfl'e -Cfl'(e -(ecCfl /2c) if 11' y,
<
11 /2c) if y' >
y.
Exercise XV. 1. 17 On the interval (O, oo) let
M11 = _ (�) 2 s ( l s)
-
y2 '
_
dy
where s is some fixed complex number. For s =/= show that y 1 -8 and
y8 are two linearly independent solutions and write down explicitly the
Green's function for the opemtor.
Solution. Both functions y 1 -8 and y8 are solutions of the differential equa
tion because 8
Y
- - = -s ( s 1)y8-2 = s(1 - s ) - '
tfJ y 8 - y2
and d y2 1 -8
tP l- s s l- -l- s = s l - s) Y
= s)y
y
.y-are linearly independent.
Clearly, both solutions (( Let J(y) = y8 and
K(y) = 22dy
y 1 -8 • Then
Exercise XV.2. 1 Show that any two points on the sphere of mdius
1 {or any radius) in n-space centered at the origin can be joined by a
differen tiable curoe. If the points are not antipodal, divide the straight
line between them by its length at each point. Or use another method:
ta ing the plane containing the two points, and using two perpendicular
vectors of lengths 1 in this plane, say A, B, consider the unit circle
a(t) = (cos t)A + (sin t)B.
XV.2 Differentiability and the Chain Rule 263
a(t) = R L (t)
I L (t) l
'
is a solution to our problem because a is differentiable, IaI = R, a( O )
= A,
and o:(l) = B.
Method 2. We can always choose A to be the vector determined
by one of the points. Note that
to be shown.
Exercise XV.2. 10 Let f be a function on an open set U in 9-space.
Let g be another function, and let S be the surface consisting of all
points X such that
g(X) = 0 but grad g(X) # 0.
Suppose that P is a point o the surface S such that f(P) is a
maximum for I on S, thatf is
/(P) > f(X) for all X ott S.
Prove that there is a number >. such
that
grad f(P) = ,\grad g(P) .
Solution. Let a(t) be a C1 curve such that a(t) E S for all t, and a(to) = P
for some number to. Then f(a(t)) has a maximum at t0 so
d f(a(t))
0 = grad /(P) · a'(t0).
=
dt t
o
R R
f(cp(h)) - /(cp(O)}V'l
- (h)3 -
h
If cp� (0) and (/'� (0) are not both zero, then we see that the Newton
quotient tends to
[cp� (0)]3
[cp� (0))2 + [(/'2(0)]2
as h tends to 0. If both (/'i ( 0 ) and cp2(0) are zero, then the inequality
Then
8cp _ Xi
axi - I X I 2
XV.4Curve Integrals 267
( -y X )
G(x, y) = 2 2 ' 2 2 .
x +y x +y
This vector field is defined on the plane R2 from which the origin has
been deleted.
(a) For this vector field G = (/, g) show that D2 f = D 1 g.
{b) Why does this 'IJector field have a potential function on every rectangle
not containing the origin ?
(c)
Verify that the function 1/J(x, y) = - arctan x/y is a potential
function for G on any rectangle not intersecting the line y = 0.
(d)
Verify that the function 1/J(x, y) = arccos x/r is a potential
function for this vector field in the upper half plane.
Solution. (a) A simple computation gives
D 2/ =
y2 _ = Dt Y·
x2
(X 2 + y 2 ) 2
(b)Theorem
3.3.
(c)See the intermediate steps of Exercise 3 , §1 .
(d) In the upper half plane, we have y 2> 0. Differentiating yields
8'¢ -1 r - x fr _ - y
= - 2 2
& (x/r)2 r2 x +y
'
and
81/J -1 -xy x
8y = - x2 + y2
(x/r)2r3 ·
Compute the curve integrals of the vector field over the indicated curves.
Exercise XV.4. 1 F(x, y) = (x2 - 2xy, y2 - 2xy) along the parabola y =
x2 from ( -2, 4) to (1, 1).
268 XV. FUnctions on n-Space
G(x, y) =
( 2 - y 2 ' x2 ) .
x X y2
+ +
(a) Find the integral of this vectory field counterclockwise along the
circle
x2 + y2= 2 from (1, 1) to (- 0) .
V2,
{b) Countercloc wise around the whole circle.
(c) Counterclockwise around the circle x2 + y2 = a2 for a > 0.
Solution. If a(8) = (r cos 8, r sin 8) , then
r sin 8 . r cos 8
a
G( (8)) a (·' 8) =
r 2 r s 1 n 8 + r2 r cos 8 = 1.
So if we integrate counterclockwise from an angle 81 to an angle 82 we
get
G= diJ = 82 - Ot .
(a) 31r/4 because ?r/4 < 8 <
1r.
(b)21r because 0 < 8 < 21r.
(c)21r because 0 < 8 < 21r.
Exercise XV.4.5 Let r = (x2 + y2 ) 1 12 and F(X) = r- 1X for X = (x,
y) . Find the integral of F over the circle or radius 2, centered at the
origin, ta en in the counterclockwise direction.
Solution. 0. Special case of Exercise 6.
Exercise XV.4.6 Let C be a circle of radius 20 with center at the
origin. Let F(X) be a vector field on R2 such that F(X) has the same
direction as X {that is there exists a differentiable function g(X) such
that f(X) = g(X)X, and g(X) > 0 for all X). What is the integral
of F around C,
taken counterclockwise 'I
XV.4 Curve Integrals 269
(c) Parametrize the line segment by L1 (t) = (t, O) with 0 � t < 1. Then
F(Lt (t)) = (0, 0), so
1L1
F = O.
Parametrize the arc by G(t) = (cos t, sin t) with 0 < t � tr/4. Then
hence = 0,
so the answer is 0.
Exercise XV.4. 10 Let
)_
F(x, y (
- x cos r y cosr ). '
,
r r
where r = x2 + y2 • Find the value of the integral of this vector field:
(a)
Counterclockwise along the circle of radius 1, from (1, 0) to (0, 1) .
(b)
Countercloc wise around the entire circle.
(c)
Does this vector field admit a potential function ? Why?
Solution. (a) 0.
(b) 0.
(c) The function g(x, y) = + y2 is a potential function for the
vector field F, beca se grad g(x, y) = F(x, y) .
u
Exercise XV.4. 11 Let
( xe r yer )
F(x, y) = 7 ' 7 .
(2, 2)
- J3>
1 ,
1
(
-2 -1 1 2
Solution.
(b) 2tr/
3.
(a) -tr/2.
In Exercise 3, §3, we found a potential function for upper
G in the
half
/
plane, namely g (x , y) = arccos(x r) In (a) we have .
arccos ( 1
+ 0
) -
0
+0
) = - 11"
2
arccos (
and in (b) we have ( =
arccos ( 3
) - arccos
Exercise XV.4. 13 Let F be a smooth vector field on R2 from which
the origin has been deleted, so F is not defined at the origin. Let F =
(f, g) . Assume that D2 ! = D 1 g and let
1
= F,
21r
where G is the circle of radius 1 centered at the origin. Let G be the vector
field
a
G( x , y) = .
2 2'
x +y x +y 2 2
Show that there exists function cp defined on R2 from which the
origin has been deleted such that
F = grad cp + G.
272 XV. Functions on n-Space
{Hint: Follow the same method as in the proof of Theorem 4.� in the
text, but define tp(P) by integrating F from the point (1, 0) to P as
shown on the figure.}
•l
I
For all small h we can inscribe the closed paths in a rectangle which
does not intersect the origin. The assumptions imply that F has a
potential function in the rectangle, thus
1 closed path
F=
This O.
implies cp( P + he 1 ) - cp(P)
h =h.!_ F.
From Theorem 4.2 we know that the right-hand side tends to f(P) as
h --+ 0, thus D 1 cp( P) = f (P) .
If fc F f:= 0, then we have
L F - kG = L F - k L G = 21rk - 21rk = 0.
Hence there exists a function cp such that F - kG = grad cp.
(X · V)2f(tX) = 2/(X).
Put t = 0.
274 XV. Functions on n-Space
/(X) - / (0) = 1�
1
/(tX ) dt. ]
Solution. The chain rule implies that
d
f(tX) = of of tX .
;u (tX) + · · · + ( )
X1 dx1 dxn
Xn
Then one can take
of
1 1 ;u 0 1 '
i ,j
as was to be shown.
Exercise XV.5.6 Let F00 be the set 'of all coo functions defined on
an open ball centered at the origin in Rn . By a derivation D of Foo
into itself, 011,e means a map
: D Foo --+ F00 satisfying the rules
D(/ + g) = Df + Dg, D(cf) = cDf,
D(fg) = fD(g) + D(f)g,
for coo functions f, g and constant c. Let1A , An be the coordinate
func tions, that is Ai (X) = Xi for i = 1, . . . , n. Let D be a derivation
• . •
as above, and let 1/Ji = D(Ai ) · Show that for any coo function f on the
ball, we have
n
D(f) = L 1/JiDi /,
i=l
where Dif is the i-th partial derivative of f. {Hint: Show first that D(l)
= 0 and D(c) = 0 for every constant c. Then use the representation of
Exercise 5.}
Solution. We first show that D(l) = 0. This follows from the fact that
D(l) = D(l 1) which implies
·
Under tl;le assumptions we see that we can differentiate one more time
with respect to any variable and that the result is continuouso for g I
isrof
c + l class
. By induction, we conclude that g 0 I is of c las s
� 11
CP.Furthermore, we see from this analysis that partial derivatives of
f up to order k vanish at P, then all the partial derivatives of g o
if vanish at P.
I also
/(X) = (X - A) 2 + (X - B ) 2 + (X - 0) 2 •
Find the point where f reaches its minimum and find the minimum value.
Solution. If lXI is large, we see that /(X) is large, so the function I
reaches a minimum in some closed ball of large radius centered at the
origin. The minimum is global and is not on the boundary of the ball,
hence is a critical point (a critical point is a point where all the
partial derivatives of I are zero, see Exercise 3) . We use the
notation
We have for i = 1, 2, 3
if and onlyif 1
Xi = a + + c1
b1 ·
3
So the unique critical point of I is
1
M = 3 ( A + B + C).
We then find the value of I at this point
:
j (M) = (A2 + B2 + 02 - AB - AC - BC) .
Exercise XV.6.5 Find the maximum of the function f (x,y z) = xyz
sub ject to the constraints x > 0, y > 0, z � 0 and xy + ,yz + xz = 2.
Solution. Let g( x , y, z) = xy + yz + xz. If one of the coordinates x, y,
z is 0, then y z,) = 0. Suppose that x > 0, y > 0, and z > 0.
f(x,
or Then
grad g = (y + z, x + z, y + x) and grad f = (yz,
xz , yx).
grad g = (y + z, x + z, y + x) andgrad f =
(yz, xz , yx).
XV.6 Maxima and the Derivative 279
-Y = y +z
x+z
'
so x = y. Repeating the same argument shows that x = y = z. So f
attains a maximum of (2/3)312 at y'2/3(1, 1, 1).
Exercise XV.6.6 Find the shortest distance from a point on the ellipse
x2 + 4y2 = 4 to the line x + y = 4.
Solution. The problem has a solution, as was shown in Exercise 5 of
Chapt�r VIII, §2. Let /(x l , Yl ) = x� + 4y�, g(x2 , Y2 ) = x2 + Y2 , and
h(x1 , 'Yl , x2 , Y2) = (x1 - x 2 ) 2 + {Y2l - Y2) . Our goal is to minimize h
under
the constraints f = 4 and g = 4. We can eliminate the second
constraint by substituting Y2 = 4 - x 2 . So we must minimize
h(x1 , Yl , X2 ) = (xl - X 2 ) 2 + (Yl -4 + X 2 ) 2
subject to j(x 1 , Y1 , x2 ) = x� + 4y� = 4. Setting
grad h = A/
we get the
system
2{x l - X2) - 2AX1 ,
2( yl - 4 + X 2 ) - 8Ayl ,
-2(x l :r:2 ) + 2(Yl - 4 + X2 ) - 0,
-
IS
the line
2
280 XV. FUnctions on n-Space
n
Exercise XV.6.7 Let S be the set of points (x1 , • • • , xn) in R such
that
E xi = 1 and xi > O for all i.
that
n
g (x) < n- for all x E S.
{Hint: Consider log g.} Use the result to prove that the geometric mean
of n positive numbers is less than or equal to the arithmetic mean.
Solution. Let f(x) = Ei Xi · Then S union its boundary is a
compact set, and therefore g attains its maximum and minimum on
this set. The minimum of f, namely 0, is attained on the boundary
where one of the coordinates
max is 0. So at the imum, which is an
interior point, we have
grad g = Agrad
f.
This equality yields the system of n linear equations
X X3 · · · Xn A,
X2
-
1 X 3 • • • Xn -
A,
•
•
•
X 1 X · · · Xn 1 A.
2 -
-
Y
6c2
+
so A = a2 lx, B = b2 ly, and 02 = c?lz. Let
g(x, y, z) = x2 y2 z2
+
02 b2 + c2 ,
and f1 (x, y, z) = A + B + O = a2 lx + b2 ly + c2 lz. Then from the equation
Agrad /1 = grad g we get the following:
- 1.
2
XV.6 Maxima and the Derivative 283
(XV.4)
Taking the square root and substituting in the equation of the ellipse
we get
=1
x2 + 6xy +
.
3y2 x2 - xy+
y2
Because there are only two variables, the following method will wor : Let
y = tx, and reduce the question to the single variable t.
Solution. When x = 0 and y � 0, the fraction equals 3. Suppose x �
0
and let t = yIx, so that the fraction becomes
1 + 6t + 3t2 •
f(t =
1 - t + t2
Setting the derivative of I equal to 0 and disregarding the
denominator,
we find
- 9t2 + 4t + 7 = 0.
An analysis of the graph of f shows that the maximum of I
happens at the largest of the roots of the above equation,
namely at
2+ v'67
to = .
9
Then we find
that 14 + 2v'67
/(to) = 3
.
Exercise 12 can be generalized to more variables, in which case the
above method has to be replaced by a different conceptual approach,
as follows.
284 XV. Functions on n-Space
QB-lAB-1 on
But Y/I Y I has norm 1, hence we want to maximize the form
the unit sphere. Exercise 12 concludes the proof.
Exercise XV.6. 16 Let a, b, c, e, j, g be real numbers. Show that the
max imum value of the expression
ax2 + 2bxy +
cy2 ex 2 + 2fxy (eg - /2 > 0)
+ gy2
is equal to the greater of the roots of the equation
Solution. Let
A- ( ab and 0 = ( 9 ! ) .
) e
b c I
Then the problem is to maximize
QA X
Qo (X ) .
By multiplying all numbers by -1 if necessary, we may assume
that C is positive definite, because det C = eg - /2 > 0. Let B be a
square root of
C. Then by the previous exercises, the maximum of the above quotient is
equal to the greater of the roots of the equation
However,
1 G
pj .'Yi
1 'Yi
GP; = 1 'Y
G = 21r.
so
One can also do the computation with the
parametrization
1 ( Yi)-(y -
dx +
(a ;
(x - X i) dy
)2
Xi)2 +(y -)2 -Xi )2 + ( y -
"Yi a;
Yi
1211' )
-
- ( 0
ve a complete proof of Th
=
.
Exercise XVI.2. 2 Gi
S. 6. {Hint: Let eorem S. 7, using Theorem
as
F
a
so
1 F = 1 F.
"Yl
"Y2
We contend that
1/J: (0, 1] 2
X [0, 1] � R ,
1 F= 1
Exercise XVI.5.2 A set S is F .
called star-shaped if there exists a point
Po in S such that the line segment between Po and any point P in S
is contained in S. Prove that
a star-shaped set is simply connected, that
is, every closed path is homotopic to a point.
Solution. Clearly, S is connected because given two points A, B in
S we can connect A to Po and then Po to B by line segments.
Given any continuous closed path 1 parametrized on [a, b] we must
show
that it is homotopic to a point. Let
2
'1/J: [a, b] x [0, 1] � R ,
(t, s) r-+ (1 - s)1(t) + sPa .
Then 'ljJ is a homotopy of closed paths deforming 1 in P0 • Indeed,
1 is continuous, ,P(t, = 1(t) , ,P(t, 1) = P0 , and for each s, the path
o
)
,P(s) is closed because 1 is closed,�thus 1 Po .
2
Exercise XVI.5.3 Let U be the open set obtained from R by deleting
the set of real numbers > 0. Prove that U is simply connected.
290 XVI. The Winding Number and Global Potential Functions
coordinates
is negative, so LQ,P0 (t) c U. Conclude.
Exercise XVI.5.4 Let V be the open set obtained from R2 by
set of realthe
deleting numbers :5 0. Prove that V is simply
connected.
S olution. how that V is star-shaped by taking Po = (1, 0). See the
v1ous exercise.
S• pre-
•
h(t ' u) -
_ { h1 (t, u) if O < u <
1/2, h2 ( t, 2u - 1) if
1/2 < u :5 1.
We see at once that a �h 'Y·
If a �h {J, then {J �;& 1 a where h(t, u) = h(t, 1 - u). This proves
the second asertion.
Exercise XVI.6.2 (Proposition 6.2) If a � a 1 and fJ � /J1 , then
a# P
� a 1 # P1 ·
{Hint: Let h(t, u) = h 1 (2t, u) for 0 < t < 1/2; h(t, u) = h2 (2t - 1,
u) for
$. 1/2 t < 1 ./
Solution. The idea behind the homotopy given in the hint, is that
for each
u we consider the union of the paths given by h1 and h2 •
Exercise XVI.6.3 (Proposition 6.6) Let P e S and let 1 E Path(P,
P) be a closed curoe in S. Suppose that 'Y is homotopic to a point Q
in S, by a homotopy which does not necessarily leave the point P
fixed. Then 'Y is also homotopic to P itself, by a homotopy which
leaves P fixed.
{Hint: Use Proposition 6. 5 when 'Yl has the constant value Q. Then
a#'Yt #a- simply consists of first going along a, and then retracting
your steps backward. You can then use Proposition 5. 9(c).J
XVI.6 More on Homotopies 291
A=L L
m
i= I j =1
ai;ei; , with number ai; uniquely detenn!ned
by A. be
Solution. Let ei; the matrix with 1 in the ij-entry and 0 in all
the other entries. Then the set {ei;} does the job.
Exercise XVII. 1.3 Let E, F be nonned vector spaces. Show that the
as sociation
L(E, F) X E --+ F
given by
(�, y) t-+ �(y)
is a product in the sense of Chapter VII, §1.
Solution. By definition we have (� 1 +� 2 ) (v) = �I (v) + �2 (v) and
(c�) (v) = c�(v). The map � is linear, so the first two conditions ,of
a product are verified. We must now verify the norm condition. By
definition we see that
I �(v) I < l � l l v l
thereby proving that the given asociation is a product.
�: E x F --+ G
l �(v, w) l < Ol v l l w l .
(b)Let v E E be fixed. Show that if � is continuous, then the map �" : F
--+ G given by w t-+ �(v, w) is a continuous linear map.
Solution. (a) Suppose that � is continuous. Then � is continuous at 0
so there exists 6· > 0 such that if l v l < 6 and l w l < 6, then l �(v,
w) l < 1. For arbitrary v and w, both non-zero, we can write
XVII.2 The Derivative as a Linear Map 295
(6v 6w)
..\(v , w) = l v l lw l
6 2 fvi' jWj .
Let 0 1 /62 and conclude.
�
..\
Conversely, suppose that IA(v, w) J < Ol v l l w l for some number 0
> 0. We want to prove the continuity of � at the point (vo , wo) E
E x F. We have
� ( v, w) - �(vo , wo) = � ( v , w - wo) + � ( v - vo , w o)
so
l� (v, w) - � (vo , wo) l < O l v l lw - wo l + O l v - vo l l wo l ·
But l v l < lv - vo l + lvo l , so we see that A is continuous.
(b) We simply have
l � (v , w) - � (v , wo ) l < Ol v l fw - wo l
so �" is
continuous.
is by definition ad - be.
Solution. Taking partial derivatives we find
( )
c ? s8 -r sin
iJ s1n 8 Jr =
cos iJ.
Therefore
det ( J) = r cos2 8 + r ( = r.
)
sin2
Exercise XVII.2.2 Find the Jacobian matrix of the map (u, v) = F(x, y)
where
= ex cos y , v = ex sin y.
u
Compute the determinant of this 2 x 2 matrix. The
determinant of the matrix
is by definition ad - be.
296 XVII. Derivatives in Vect or Spaces
Therefore
Solution. We have
(x ) + �(h) + l h lt/J(h) ,
>.(x + h) = �
where 'ljJ is identically 0. The uniqueness of the derivative implies D�(x) >.
=
for all x E Rn .
where 'ljJ is identically 0. The uniqueness of the derivative implies D�(x)
=
for all x E Rn .
Therefore
- (g( l ) - g(O)) < /k {l) - /k {O) < g {l ) - g (O)
which implies
1 /k { l ) - /k { O) I < l o { l ) - g(O ) I ,
for all 1 < < tt
.
have 6vn
� ' ·
I � (tit , · · · ' 'Vn) l = lvtl
. .
lv
· ' n l
n
A(v l, . . . , Vn) - A( al , . . . , an) =
L hi ,
where i=l
XVII.5 The Second Derivative 299
But
so
n
IA (vl , . . . , Vn ) - A(a l , . . . , an ) I < f a 1 l · · · l ai 1 I · J vi - ai f · f vi+ l l · · ·
-
C 2:
i=l f vn f ·
Let (v1 , . . . , vn) be in some open ball centered at (a1 , . . . , a n ) ·
Then there exists a number B > 0 such that f ai l , l vi l � B for all i so
IA ( vo)(w) l < C f vo l l w l = C,
and therefore, for all vectors u =F 0, we have
C of Exercise 1 is equal to 1.
Solution. The map w is linear, so
Similarly,
�
Furthermore, this composition is continuous because
Exer cise XVII. 5.5 Let f be a function of class C2 on some open ball U
n
in R centered at A. Show that
/(X) = /(A) + Df(A) · (X - A) + g (X)(X - A, X - A),
where g U __. L2 (Rn , R) is a continuous map of U into the space of
bilinear maps ofRn into R. Show that one can select g (X) to be
:
1
/(X) - /(A)
=
1 ft i(A + t ) ) dt .
(X - A
=
[ he integr
1
(1 - t)2
dt
/(A + t(X - A))dt
D /(A)(X - A) + 0+
(1 - t) +
·
t(X - A )) dt.
P
t
ut /(A
B dt2
2:2:Dj
= + t(X - A)) (xi - ai ) - a3) ,
o we see that we can write Di/(A (x3
j i
s
+
(]
(1 - t); 2 /(A + t(X - A))dt = g(X) (X - A, X - A) ,
dt
2
where g(�) is the bilinear m�p whose matrix is
(1 (1 -
1 t(X
) t<i,j <n ·
A) ) dt
0
t} Dj Dd(A -
= p, then (Dkg o /) ) (xo) = 0
Then g is symmetric because D3 =
Di D iD j .
for
We then have
because
and therefore
304 XVIII. Inverse Mapping Theorem
qg (� x) = g(px) = pg(x)
so for all rational numbers r we have g(rx) = r 9 (x). The
continuity of g implies that the above relation also holds for all real
numbers r. This proves that g is linear.
Exercise XVIII. 1.2 Generalize Exercise 1 to the bilinear case. In
other
words, let I: E x __. G be a map and assume that there is a constant C
F
such that
ll(x 1 + x2 , 71) - l (x i , 1J ) - l (x2 , y ) l < C,
ll (x, 1/1 + 712) - l (x, Yt ) - l(x , Y2 ) 1 < C,
/or all x, x 1 , x2 E E and y , y1 , Y2 E F. Show that there exists a
unique
biadditive map g: E x F __. G such that I - 9 is bounded for the sup
norm.
If I is continuoU8, then g is continuous an.d bilinear.
Solution. Let
XVIII. l The Shrinking Lemma 305
Then
ln+ l (x, y) - ln (x, y) = V'n (X , y ) + 1/Jn (x, y) ,
where
and
/ ( 2nx, 2n+l y) 1 ( 2nx , 2n y )
1/Jn (x , 'Y) = 22n+ l - 22n ·
Using the inequalities on I and arguing in Exercise 1, we find
as
that
lc,on(x, y)f < 2 11/Jn
c2 (x, Y) l < 2 c l ·
2n
+
2n and +
So the triangl
e inequality implies
1b
K(t, x)g(t)dt.
0
Solution. Let C (a, b) be the vector space of all continuous functions
on
(a, b) equipped with the sup norm. Consider the map 1/J: __. CO[a, b)
CO[a, b)
defined by
where
g 1-+ f - r Kgdt, 1b b
b
·
1
Kgdt : x 1-+ f(x) - r
f-r K(t, x)g(t)dt.
1
·
There exists a number k such that 0 < < 1 and l r l :5 k/C(b - a). Then
we have
111/J(gt ) - ,P(g2 ) 11 :5 kll9t - 92 11 , O
so by the shrinking lemma, there exists a unique function [a, b) such
geC
that 1/J(g) = g.
Exercise XVIII. 1.6 (Newton's Method) This method seroes the
same purpose as the shrinking lemma but sometimes is more efficient
and con tJerges more rapidly. It is used to find zeros of mappings.
Let Br be a ball of radius r centered at a point xo E E. Let f: Br
E be a C2 mapping, and assume that /11 is bounded by some number C --+
> 1 on Br . Assume that f ' (x) is intJertible for all x E Br and that
l/' {x) - 1 1 < C for all x E Br . Show that there exists a number 6
depending only on C and r such that if 1/{xo) l < 6, then the
sequence defined by
Xn+l = Xn - /' (xn ) - 1 / (xn )
lies in Br and contJerges to an element x such that f(x) = 0. {Hint:
Show inductitJely that
l
1/(Xn+ l )J < C3( 1 +2+···+2n +1 ) 62n+ .
We check the base step n = 0. We have
and this proves the base step <of the induction. Assume that the
formulas are true for all integers n. Then the recurrence formula for
Xn+2, the induction assumption, and our choice of 6 gives
so appyling Taylor 's formula, with the bound on /" , we find that
J/(Xn ·f-2 ) J < C J xn+2 - Xn+ 1 1 2 ,
and since
308 XVIII. Inverse Mapping Theorem
I I (Xn+ t ) l < Cr
2n+3
'
so by continuity we conclude that f(x) = 0.
Exercise XVIII. 1�7 Apply Newton's method to prove the following
-+ f: U E is of class C2 and that for some
state ment. Assume that
point xo E U we have f(xo ) = 0 and f'( x o) is invertible. Show that
given y sufficiently close to 0, there exists x close to x0 such that l (x)
= y. {Hint: Consider the map g(x) = f(x) - y.J
Solution. Applying Theorem 2. 1 of this chapter and using the fact
that I is of class 02 , we see that there exists an open ball B centered at
x0 and a constant C > 1 such that e for all x B, the linear
l map ' (x)
is invertible
and we have the bounds on /" and ll' (x) - 1 1 as in the previous exercise.
Since
lg(xo) l = IY I
we se that if y is sufficiently close to 0, we can apply Newton's
method. Conclude.
Exercise XVIII.1.8 The following is a reformulation due to Tate
of a theorem of Michael Shub.
(a)Let n be a positive integer, and let I : R --+ R be a differentiable
function
such that l'(x) > r > 0 for all x. Assume that l (x + 1) = f(x) + n. Show
that there exists a strictly increasing continuous map a : R --+ R
satisfying
a(x + 1) = a(x) + 1
such that
f(a(x)) = a(nx).
{Hint: ·Follow Tate 's proof. Show that f is continuous, strictly
increasing, and let g be its inverse function. You want to solve a(x) =
g(a(nx)). Let M be the set of all continuous /unctions which are
increasing (not necessarily strictly) and satisfying a(x + 1) = a(x) +
1. On M, define the norm
XVIII. l The Shrinking Lemma 309
ll o: l f = sup f o: (x) f.
O<x<l
1
r (g (x) - g(y)) < f (g(x)) - J (g(y )) � r2 (g(x) -
thus g(y)),
X- y X- y
� g(x) g(y) < _
r2 r1 '
so there exists a constant 0 < K < 1 such that
310 XVIII. Inverse Mapping Theorem
Finally
M. Byweinduction,
show thatweMsee
is that
complete.
a(x +Let {an } be
j) = a Cauchy
j for sequence
all integers j, in
+
ll an - am II < e, then l an (x) - am (x) l < E forso
a(x) allifx. Use an
argument as in Theorem 3. 1 of Chapter VII, and the fact that the
limit of a uniformly
convergent sequence of continuous functions is continuous, to show that
there exists a continuous function a such that a -+ a as n -+ oo.
an (x + 1) = an (x) + 1 in the limit we have a(x + 1) = a(x ) + 1, and a
Sincen
is
increasing, whence M is complete.
The shrinking lemma implies that there exists a map a0 such that
Ta0 =
ao or equivalently
g(ao (nx)) = ao (x) ,
thus ao (nx) = /(a o(x)) .
n=O n!
-
converges absolutely, and that I exp(A) I < 1 if I A I is sufficiently small.
{b) Show that the series I
.
B B 2 . B
n +n
log( I + B) = - 2 + . . + (- l ) l n
T
+ . . . if f B I <
converges absolutely 1 and that in that case
f log (/ + B ) I < I B I / ( 1 - IBI ).
If II - Cf < 1, show that the series
2 n
converges absolutely.
XVIII.2 Inverse Mappings, Linear Case 311
()
(c) If I A I is sufficiently small show that log exp A ?= A and if f C - I I < 1
(
show that exp log C = C. {Hint: Approximate exp and log by the polyno)
mials of the usual Taylor series, estimating the error terms.}
{d) Show that if A, B commute, that is AB = BA, then
(
exp A + B ) = exp A exp B.
State and prove the similar theorem for the log.
>
(e) Let G be a matrix sufficiently close to I. Show that given an
integer m 0, there exists a matrix X such that xm = C, and that one
can choose X so that XC = CX.
()
Solution. a Since l AB I � I A I I B I we have I An i � l A i n . The ratio
test implies at once the absolute convergence of the series. One could also
com pare the series with the series of the exponential function defined
for real numbers and use the comparison test.
We have
n
n> l .
but for x sufficiently small and positive, we know that ex - 1 is < 1
( )
exp
>2
1A - I is sufficiently small. We
so
s er ies on the right using the fact that for all tt we have n!
( )
could also estimate theif A<I I Il
> 2n .
I B in I Bin ,
b The estimate
-( l ) R+ l Bn <
<
<1
n n
and the fact that IBI imply the absolute convergence of the series.
If <
IBI 1 we have
f (
log I + B ) I < IB I +···
I Bin + · ·
+ tt
·
1 - I BI '
as was to be shown. To show the absolute convergence of the second series,
let
(c CWe- prove
)
suppose
I = Bthat
that I A
and argue
I < log
log expThen 2. )
(Aas =we
I A just
exp {
when
A
did.
)
i A I 1 < small.
A IIis esufficiently
- - 1 = In
-
fact,
1 so the 2
$
)
expression log exp (A makes sense. It is suffic ient to show that for large r
and s, the expression
t ( - l )n- 1 8
n
XVIII. ! ) (
has small absolute value. Suppose
integer. We view the
tt
n=lterm on the Jleft A .1
r, t where-t is a large positive
= as a polynomial in A. Writing log
s > n
n=l
has small absolute value. Suppose r, t where t is a large positive
integer. We view the term on the left as a polynomial in A. Writing log
ex as a power
312 XVIII. Inverse Mapping Theorem
series (here x is a real number) and using the fact that log ez - x = 0
we see that the coefficients of all the terms of degree � t are 0.
Choose 0 < a < 1 such that IA I < a < log 2 . Then there is a constant
C depending only on a such that the absolute value of the coefficient
of the term AP in (XVIII. l) is � C/a". Putting absolute values in
(XVIII. l) and using the triangle
inequality we see that the desired expresion is
(- ) (- )
rs rs t l
fA f P IAI " Ca IAI +
<
L c L
<
> C=
whenever r, s t. The above expression on the right, tends toas0 t --.
=
oo, thereby concluding the proof of the first formula. The second
formula exp log C
is proved using the same argument.
C
(d) The series E An/nl and E Bn /n! converge absolutely and the
general
term of the product of these two series is given by
n
k=O
A(kn -Bnk-)kf'
L
Since A and B commute, the binomial formula implies that
n A k Bn - k (A + B)n
�kf (n - k) ! =
n! '
= ( log O + log O)
exp
Lc = n=
l by comparison to th
absolutely
This series converges
e geometric series
(note that the binomial formula does not apply because the
is not commutative) we
multiplication
get
Conclude.
Exercise XVIII.2.3 Let V be the open ball of radius 1 centered at 0.
Show that the map
: exp V
--. E is differentiable.
Solution. Let LA,n+l be the linear map defined by
LA,n+1 (X) = AnX + An- 1 XA + · · · + AXAn- 1 +
XAan.
We define linear map LA
by 00
_
n=ln! .
Ly because of th
e estimate
This series converges absolutel
< niAi n-l =IA
I LA, l n! (n nl
i
n
-
l
-
1
)
!
314 XVIII. Inverse Mapping Theorem
h)
< � (�) <
lhlk iAi n - k �(�) l tSi k- 2 = lhi 2 Qn
(6),
hence
f h)
< lhl 2
(6)
=l n. n .
n
Conclude. Note that we have never n=l
used the fact that A E V because
the exponential is differentiable on all of E.
Exercise XVIII.2.4 Let K be a continuous function of two
variables, defined for (x, y) in the square a < x < b and a � y < b.
Assume that Il K I I � C for some constant C > 0. Let f be a continuow
function on [a, bJ and let r be a real number satisfying the inequality
lrl < 1
C(b -
a) '
Show that there is one and only one function g continuous on [a, b)such
that
f(x) = g( x) + r
1b K(t, x)g(t )d t.
{This exercise was also given in the preceding section. Solve it here by using
Theorem 2. 1. )
Solution. Consider the linear transformation L: CO [a, b]--+ C0 [a, b] defined
by
(Lg )(x) = -r K(t, x)g( t)dt.
Then I L l < 1 because there exists a number k with 0 < k < 1 such that
l r l < k/C(b - a) hence
I (Lg) (x) l < k
f g( t ) l ,
which means te [a , )
su p
II · II is the sup norm. Theorem 2.
that b 1
implies that I - L is invertible.
implies that I - L is invertible.
XVIII.2 Inverse Mappings, Linear Case 315
-
A -
( 322 1 )
has this property.
Next we introduce the C1 norm. If f is a 0 1 map, such that both f
and f' are bounded, we define the 01 norm to be
First prove a
lemma.
Lemma. Let M be the vector space of continuous bounded maps o/ R2
into R2 • Let T : M --. M be the map define� by Tp = p - A- 1 o p o A.
Then T is a continuous linear map, and is invertible.
To prove the lemma, write
p(x) = p+ (x)v + p- (x)w
where p+ and p- are functions, and note that symbolically,
or equivalently
p = -T- 1 (A:. 1 o g o (I + p)) .
This is then a fixed point condition for the map R: MM given by --+
(see Theorem 2. 1 ) .
On the second component we have
( A + g) o h = (I + p) o A,
Aop+goh = p o A,
p = A- 1 (p o A - g o h )
, p - A- 1 p o A = - A-1 o g o h ,
Tp = - A- 1 o g o h .
To apply the shrinking lemma which would guarantee the existence of
p,
we must show that R is a shrinking map. We have
for all x,
so
II R (p) - R ( q) f l < B6 llp - q ll ,
efl 2,
so
adding the two equations we get x 1 = x2 and subtracting the two
equa tions we see that Yt = Y2 . This shows that
XVIII.3 The Inverse Mapping Theorem 319
- ( a
a-
2
b
I log +
2
,
log b ) = (a, b) .
From this analysis, we also see that the map g: V --+ R2 defined by
g (x , y) =
(log x y
,
x -
2
y )
] f +)) )
2 log
f is not
f(x, 0) = /3 and /(0, y ) = {3,
so
injective.
Case 3. If a = /(0, 1) < 0, then consider the point (-1, 0). If /(-
1, 0) = 0 we
are done. )If / ( - 1, 0 > 0, then arguing as in case 2 above,
we see that there exists 0 < x, t < 1 such that
/(-t, 0) = f(x, 0) .
If /(-1, 0) < 0 the same argument shows that there exists 0 < s, y < 1
such that
f(-s, 0) = /(0, y) ,
thereby concluding the exercise.
Exercise XVIII.5.2 Let f: Rn --. Rm be a mapping of class ct with
m <
n. Assume f'(xo) is surjective for some xo . Show that f is not
injective. (Actually much more is troe, but it 's harder to prove.)
Solution. Let E = Ker / ' (x0). Then by asumption on the dimensions,
E -:F 0. Select F such that E EaF = Rn . Since we asume /' (x0) surjective,
we know that D2/(x0) : F --. Rm is an isomorphism. By Theorem
5. 1 the map 1/J: E x F --. E x Rm given by
(x, y) .._. (x, f(x, y)) Vt ,
V2 ,
is locally at-invertible at Xo. Let h be its local inverse and let 11'"2 be
the projection of E x Rm onto Rm. Then we can select open
sets and U in E, Rm , and Rn , respectively, such that the
following diagram is
XVIII.5 Product Decompositions 321
because
f' we assumed that 5is surjective. Now we can
apply Theorem .1 of this section. Since(
is a local isomorphism, it maps open sets onto open sets. Our
contention follows from choosing a sufficiently small open
1/Jx)
neighborhood about x and using the product topology on E x F.
Exercise XVIII.5.5 Let f : Rm --. Rn be a 01 map. Suppose
that x E Rm is a point at which D f(x) is injective. Show that there is
an open set U containing x such that f(y) =I= f(x) for all y E U.
Solution. The continuous linear map D ( f x) is a bijection from Rm
onto its image. Let L be its inverse. Then L is continuous so
there exists a constant c > 0 such that fL(z) f � c f z f , so if we let z =
Df (x) (y) we see that for all y we have
b fyf � I D/(x) yf ,
322 XVIII. Inverse Mapping Theorem
n - m
X
Rm given by
the 'ljJ U -+ R
map :
(x l , · · · , xn ) t-+ (x l , • • • , Xn - m , f (x))
is a local 0 1 -isomorphism at a. Let U1 be an open neighborhood of a
where '1/J has an inverse which we denoteViby <p : -+ Vi
U1 , where nis
open in R . If we write <p = (<{J l , • • • , CfJn ), then
X = '1/J(<p (x)) = (cpl , . . . , <fJn - m ' f( <p (x))) ,
so
that (Xn- m+l , · · · , Xn ) = f (<p (x)),
thereby concluding the exercise.
Exercise XVIII.5.9 Let I : R x R --+ R be a 0 1 function such
that D 2 /(a, b) =I= 0, and let g solve the implicit function theorem, so
that l(x, g(x)) = 0 and g(a) = b. Show that
Dtl( x , g(x))
9'(x) = _ .
D2l(x, g(x))
Solution. If 1/J : x �- l(x, g(x)), then we can write 1/J = I o h where
h: x »-+ (x, g(x)). The chain rule implies that
1/J' (x) = Dt f (x, g ( x)) + g ' (x)D2 I(x, g(x) ) .
But 1/J is identically 0, so the desired formula drops out.
Exercise XVIII.5. 10 Generalize Exercise 9, and show that in
Theorem 5.4, the derivative of g is given by
g' (x) = -( D2 I(x, g(x))) - 1 o Dt f (x, g(x)) .
Solution. If 1/J: x »-+ l(x, g(x)) and h: x �-+ (x, g(x)), then 1/J = I o
h. The chain rule implies that
Dt l(x, g(x)) + D 2 J( x , g(x)) o g ' (x) = 0,
and therefore
,P ( V2 ('l/J
P)P)1 2
a hd
where V{ is op en in lli and V� is open in V2 • The map given by the
1 : V{ --. V� gives a local isomorphism between V1 at 1/J1
sition 1/J2 o
compo
and V2 at 1jJ2 (P).
¢1 (P) The picture that describes the situation is the
following:
sition 1/J2 o : V{ --. V� gives a local isomorphism between V1 at 1/J1
¢1 (P)
I
vt.
--1
o
V '
'
326 XVIII. Inverse Mapping Theorem
h = ¢2 1/J1 1 = 1/J2 91 ·
0 0
f(x = 0 for
0) exists
there some
some E JEsuch
t0 Xo U, if a : J -+ U is an integral curve
that xo , show that = x0for
for/, and
ta(t0) =called a critical point
E J. (A point x0 such that f(xo) = 0 is a(t) all of the
vector field.)
lim a(t) = P.
t-
+oo
Prove that f(P) = 0. (Exercises 1 and 2 have many applications, notably
328 XIX. Ordinary Differential Equations
{Hint: Let 'ljJ(t) = (a( t) - x0) • (a(t)- xo) be the square of the distance
from
a(t ) to x0• Show that 1/J is strictly decreasing, and in fact satisfies
1/J' (t ) $ -2c1 1/J(t) ,
where c1 > 0 is near c, and is chosen so that
Alternatively, use the mean value theorem on ,P(t2) - 1/J(tl) to show that
this difference has to approach 0 when t1 < t2 and t 1 , t2 are large.}
XIX.l Local Existence and Uniqueness 329
�
If x 1 E B , then by continuity of a we see that for all small t 0 we
have a( t ) E B and therefore the above inequality can be applied with y
= a(t) , so that for all small t � 0 we have
Thus 1/J is decreasing and therefore a(t) gets closer to x0 for increasing
small values of t, hence for all t > 0 the inequality 1/J' (t) < - 2K(1jJ t ) holds.
Now let 2K = c1 . If a(t0) = xo for some positive t0 , then a(t) = xo for
all large t because 'l/J is decreasing and positive. If 1/J(t) is never 0 we can
divide by it and then integrate, so that
Using the chain rule, show that for all x near x0 we have
If we view cp as a change of chart near x0, then this result shows that
the vector field f when tmnsported by this change of chart becomes a
constant vector field with value v. Thus near a point where a vector
field does not vanish, we can always change the chart so that the
vector field is stmight ened out. This is illustmted in the following
picture:
Vo
Vo �
Vo Uo
In this picture we have dmwn the flow, which is normalized on the left,
the vector field being constant. In geneml, suppose cp : is a C1 -
isomorphism. We say that a vector field g on and f on Uo
corTespond
to each other under cp, or that f is transported to Vo by cp if we have the
relation
f(cp(x)) = Dcp(x)g(x) ,
which can be regarded as coming from the following diagmm:
XIX.3 Linear Differential Equations 331
g J"
In the special case of our Exercise; g is the constant map such that g(x)
= v
for all x EVo .
Solution. (a) If E = Rn , then we can choose F to be the
orthogonal complement of the one-dimensional space generated by v
which
by V. we denote
Then
Rn = V Ee F.
n and take F to
be
of R
(b) Consider the maps X1 and X2 such that Xl (t,
Then {3 = a( x 1 , x o + X2 ) so that
=
D/3(0, 0)
So D{3 (t, y) D 1 a(t, xo + Y )X l + D2 a( t, Xo + Y)X2 ·
Evaluating at {t, y) = (0, 0) we
get D/3(0, �
0) VX1 + idX2
So = ·
X'(t) = A(t)X(t).
Show that the map X t-+ X(O) is a linear map from S into Rn , ,
= y(
(b) Show that the space of solutions of the equation in part (a} has dimen
sion n.
Solution. Let(*) be the equation Dny + 9 n - t D n - ly + · · · + 9oY = 0.
We see that with the notation of the hint we have
D:tt = X2 , , Dxn- 1 = Xn
• • •
and
Dxn = -on - I Xn - ··· - 9o X t .
Consider the matrix
0 1 0 0 • • •
0
0 0 1 0 • • •
0
A(t) = • • •
0 0 0 0 • • •
1
- go (t ) -gl (t) • • • • • • • • •
- On - t (t )
and let X(t) =( (xi) (t) , . . . , Xn ( t )) . If y
solves * , then we see that X solves the equation X'(t) =
A(t)X(t). Conversely, if X solves X'(t) = A(t)X(t) ,
XIX.3 Linear Differential Equations 333
u (t) = f n.
n =
0
and
C(s, s)x = v(s, s , x) = x,
thus w(s) = id.
(c) We see that �: s .. C(s, t)C(t, u)x solves the differential equation
( � t) = v(t, u, x) so the uniquenes theorem implies that
and we have
C(s, t)C(t, u)x = C(s, u)x
as was to be shown. For the second assertion, put s = u in the formula
we just proved.
( d) Observe that
C(s, t) = C(s, to)C(to, t) = C(s, to)C(t, to) - 1
and use part (a) to conclude.
XIX.3 Linear Differential Equations 335
The first set of exercises shows how to generalize the class of integrable
functions.
Exercise XX. l.l Let A be a subset of Rn and let a E A. Let f
be a bounded function defined on A. For each r > 0 define the
oscillation of f on the ball of radius r centered at a to be
Show that this limit exists. Show that f is continuous at a if and only
if
o(f, a) = 0.
Solution. The function f is bounded so o( f, a, r) exists. If r 1 < r2 , then
L v(R; ) < E.
j=l
Show that a denumemble union of sets of measure 0 has measure 0.
Show that a compact set of measure 0 is negligible.
Solution. Let 81 , 82, . . . be sets of measure 0. For each i select a
covering of Si by rectangles {R t i, R2i, .. . } such that
00
L
< E2 - i .
j=l v( R;i )
Then {R;i } t < i ,j < oo covers U Si and
00
v( R; i) <E i
Li=l L
j=l 00 i=l 2 - = E,
so si has measure 00 L
u suppose thato.S is compact and has measure 0. From any
Now
covering
of S we can extract a finite subcovering, so from the definition of
u
measure 0, we see o.
that there exists a finite number of rectangles
whose union covers S and such that the sum of their volumes is < E.
This proves that S is negligible whenever S is compact and has
XX. l Elementary Multiple Integration 339
then E
which intersect
v(S 2f. R1To , R k,
, conclude,
• • • estimate U(P, as in the
i f)) <
prooff) - L(P,
of Theorem 1.3.
Exercise XX. 1.5 Prove the converse of Exercise 4, namely: If f is
inte grable on R, then its set of discontinuities has measure 0. {Hint:
Let A1;n be the subset of R consisting of all x such that o(j, x) > 1/n.
Then the set of discontinuities of f is the union of all =ttA 1 ; n for 1, 2 ,
. . . so it suffices to prove that each A 1 ;n has measure 0, or equivalently
.
that A 1 ; n is negligible.]
= P (81 , , Sr ) of R
Solution. Given f > 0, there exists a partition • • •
that
f
such U(P, f) - L(P, f) < -.
t
t
Let 81 , . . . , Sk be a finite number of rectangles of P which cover A 1 ; n
and let St , . . . , Sm be the rectangles whose interior intersects A 1 ; n ·
� [�
Then we have
=
]
s p {J ) - i�f( / ) v(S; ) <
the
line segment between x and y is contained in R it suffices to show
that for each j, the projection of the segment on the j-th factor. is
contained in the interval I3 • The desired projection is given by x3 +
t (y3 - x3 ). Since Xj, 'Yi E Ij , 0 < t � 1, and Ij is convex, the line
segment between theseI two points is contained in j .
Exercise XX. 1 .8 Let A be a subset of Rn and let A0 be the interior of
A.
Let x E A0 and let y be in the complement of A. Show that the line segment
joining x and y intersects the boundary of A. {Hint: The line segment is
given by x + tt(y - z ) with
0 < t s 1.
Consider those values of t such that (0, t] is contained in A0 , and let s
be the least upper bound of such values.]
Solution. Let S be the set of u E [0, 1) such that for all t E [0, u) ,
x + t (y -x) is contained in A0 • This set is non-empty because 0 E S and
it is bounded by 1. Let c be the least upper bound of S. We
contend that the point P
defined by
P = x + c(y - )x
belongs to the boundary of A. If not, then we must consider two
cases. Case 1. If P is in the interior of A, then some open ball
centered at P is contained in A. So for some small 6 > 0, the
point c + 6 E S because the ball is convex. This contradicts the fact
that c is the least upper bound for
Case 2. If P is in the interior of the complement of A, arguing as
in case 1, we find that for some small 6 > 0, c - 6 is an upper
bound for S which again contradicts the definition of c.
XX. l Elementary Multiple Integration 341
S eA
the sum being taken over all subrectangles S of P contained in A.
Finally,
prove that
Vol(A) = glbp v(S),
SnA empty
not
the sum now being taken over all subrectangles S of the partition P
having a non-empty intersection with A.
Solution. Let f= l A. Then by definition, Vol(A)= lA ( l) = IR (f).
Given a partition P of R, the lower sum is given by
L(P, J) = E iW(f)v(S).
S E P
But
L(P, /) < Vol(A) < U ( P, /) ,
thus
Vol(A) L v( S ) < E,
-
seA
function on
R. Suppose that for each rectangle S in R we are given a number 18/
satisfying the following conditions:
(i) If P is a partition of R, then
IR. J = L is f·
s
(ii) If there are numbers m and M such that on a rectangle S we have
m $. f (x) $. M for all x E S,
then
mv(S) � lsf � Mv(s) .
Show that IR.f = IR f
.Solution. Let S be a subrectangle of a partition P of R. Then for
all x E S
so
so
XX.2 Criteria for Admissibility 343
g ( P) = li m g.
r -+ O
Solution. Given E > 0, there exists 6 such that if X E rB() P, r with
< 6,
then
g ( P) - E � g(X) < g ( P) + E,
so if r < 6, then
If r > 0, then V,. > 0 because we can always inscribe a small non-
rectangle in the open ball ( P, r) , thus for all r
degenerate we
have<B 6
g(P> - g <
e.
V
r
<
e.
So the limit
exists and is equal to g(P) .
1 g
lB(P,
11. m -
r -+ O r)
consider
the
rectangle Rj = Ij x [g(aj) - e, g(aj) + e] .
344 XX. Multiple Integrals
By definition, the graph of 9 is the set of all pairs of points (x, 9(x))
in
[a, b) x R, so we se that
graph(9) c U
j
have
E v( R; ) = 2e(b - a),
j
which proves that the graph of 9 is negligible.
Exercise XX.2.2 Let 91 , 92 be continuous functions on (a, b] and
assume that 91 � 92 Let A be the set of points (x, y) such that a
·
8
lf( y) - f(x) - f'(x)(y - x) l < El x - Yl < ECt for all y E S,
N
where 01 is a positive constant depending only on n. If AnS is non-
empty, we can take x E S. In this case, the above inequality shows
that if V is the image of f'(x) , then {/(y) : y E S} lies within
t.Ct s/N of f(x) + V. But since x E An S, the dimension of V is �
n - 1 . On the other hand, there exists a number M such that
XX.3Repeated Integrals 345
that
{f(x, y) = 1 if x is
irrational, ya if x
(a) Show that is rational.
11 /(x, y)dy = 1.
If x is rational, then we have
f(x, y) y3dy
[ y4 ] = 1
1
= = 4o 4
So if F(x) = J; f(x, y)dy we found that ·
{
F(x) = 1
if x is
irrational, if x
1 is rational.
/4
This implies that every upper Riemann sum of F is equal to 1 and
every lower Riemann sum is equal to 1 /4 , and therefore the repeated
integral
L / = 0.
1cp(A) I = A
( ! o �P) I �<p l ·
{The symbol (, ) denotes the ordinary dot product in R)n . Taking the
limit as the ball 's radiw goes to infinity, one gets
- 11"n/2 1 det T- 1 1 ·
Solution. Let f = T- 1 in the change of variable formula so that
e-(Ty,Ty) dy
e-(TT- l x ,TT - 1:�:) I det T- 1
=
- Lefd-x(z,z) dx l det T- 1 1 .
Exercise XX.4.3 Let Bn (r) closed ball of radius r in an , centered
be euclidean
at the origin, with respect to the the norm. Find its volume Vn(r) .
{Hint: First, note that
Vn(r) = Vn(1).
rn (
X� + •• • + X� <
= 1.
Put (x 1Vn, x(l)2 ) = (x, y ) and let g be the characteristic function on Bn ( l ).
1 11 [
1
]
g (x, y , xa , . . . ' Xn ) dxa . . . dxn dxdy ,
-1 -1
2 2
where Rn - 2 is a rectangle of radius 1 centered at the origin in (n - 2)-space.
If x + y > 1, then g(x, y , . .. , X n) 0. Let D be the disc of
radius 1X3in, R2 • If x 2 + y2 � 1, then g(x , y , xa , . . . , Xn ) , viewed as
=
a function of (xa, . . . , X n ) , is the characteristic function of
the ball
so that
348 XX. Multiple Integrals
Using polar coordinates, the last integral is easily evaluated, and we find
2"11"n- 1
Suppose that r is a function such that r(x + 1) = xr(z) , r(1) = 1,
and
r( 1/2) = Ji. Show that
Vn (1) = 11"n/2
r(1 + .]
n/ 2)
So we get the
formulas for Vn (1) by induction. Now we prove
desired
formula Vn (1) =
2 the
jr(1 + n/2) . In Exercise 13, §3, of Chapter XIII,
1rnl we
have proved the formulas
2P
and therefore
f x l f , thus
Vn (1) = Vn - 1 (1 ) (1 - 1x 1 1) n- 1 dx 1 .
Integrating from -1 to 0 and then from 0 to 1 we find that the last
integral is equal to
Hence
Vn (l) = 2n-l Vi(1) = 2n ·
1
n. 1n.
Exercise XX.4.5 Determine the volume of the gionrein R2n = R2 x · · · x
R2 defined by
fz1 l + · · · + lzn I < r,
where Zi = (Xi , Yi ) and I Zi J = + is the euclidean norm in R2 •
Solution. We argue as in Exercises 3 and 4. Let V2n (r) be the
volume of the given region. Then V2n (r) = r 2 n V2 n (1), and we
have
L (1 - + y2 ) 2n-2 dxdy
Integrating by parts we find that
11 121f
- r (1 - r) 2n-2 d()dr
2 dr.
350 XX. Multiple Integrals
r { 1 - r ) 2n -2 dr 1
= 2n{2n -
,
1)
and since l/2{1) = 1r we obtain
n
V2n(l) = {27r)
(2n)! .
Exercise XX.4.6 (Spherical Coordinates) (a) Define f: R3 � R3 by
x 1 - r cos01 ,
x2 - r sin 01 cos 02,
xa - r sin 61 sin 02.
Show that
ll.J (r, Ot , . . . , On- 1) = r2 sin 01 .
Show that / is invertible on the open set
0 < r, 0 < 61 < 1r, 0 < 02 < 21r,
and that the image under f of this rectangle is the open set obtained
from
R3 by deleting the set of points (x, y, 0) with y > 0, and x is arbitmry.
polar coordinates in the plane (x 2 , x3) imply that there exists p > 0 and
0 < 62 < 21r such that x2 = p cosfJ2 and xa = p sin 02 . Since x� + x�
2
+ x� = r2 we must have p2 = r2 sin fJ1 . This shows that f is
invertible on the rectangle and its inverse is 01 because the
Jacobian of f is everywhere
non-zero.
Since x� + x� + x� = r2 we see that (x1 , x2 , x3 ) belongs to B(r1 ).
Con versely, if {x1 , x2 , xa E B(r1 ), then we have x� + x� + x� < rl
and since we set r = x1 + x2 + x3 we conclude that the image of
S(r 1 ) is B (r l ) ·
{b) We use the change of variable formula along with spherical
coordinates,
80
that
hence
Vol(TA) lA = Vol(A).
lTA = lA i det TI =
=
1
1 1 - :1:
11
1
Vol(A) = dydx = 1 - xdx = ·
�
(b) Let T be the linear transformation such that Te 1 = v 1 and Te2 = v2 .
Using the notation of (a) we that we want to compute the area of TA.
see. Th�
1.
Then we
have Vol(S) = I det(T) IVol(A) .
We contend that Vol(A) = 1/nl. This result is a consequence of Exercise
4. Indeed, in the expression l x 1 l + · · · + l xn I each Xi can be either
positive or negative, so the region defined by lx 1 1 + · · · + lxn l < 1 is the
n
union of
2 disjoint regions and the volume of each of these subregions is equal
to
Vol(A) . The formula obtained in Exercise 4 proves our contention.
X
Exercise XX.4. 10 Let Ba be the closed ball of radius a > 0,
centered at the origin. In n-space, let X = (x 1 , . . . , Xn ) and let r =
,
Aa
lXI 2 Aa x2 + y2 o r
a
so
�!L .. = 21r.
In the
case n = 3 we use spherical coordinates and a change of
variables to get
hence
�!L
..
= 21r.
Spherical coordinates and the change of variable formula imply that
so
B
Exercise XX.4. 11 Let be the region in the first quadrant o/R2
bounded by the=cunJes xy 1, xy == 3, x2 - y2 1= and x2 - y2 4.
Find the value of the integral
But
1/J
J=
( y 2x-2y )
X
'
and since
we find IL 1A = (3 - 1) (4 - 1) = 6
that
x2 + y2dxdy = 3.
IL
where A denotes the half plane x > a > 0. [Hint: Use the transformation
and determines the slope of the line. For v a fixed u we see that
( )
"'2 +x a=2
1 /2
1 + v2 and y =
v ( 2+ 2
) 1 /2
.
u/
l
However, a
+
1 = arctan(u/a)
-u/a dv
112
so
2
e -u arctan(u/a)du -+ 0 as u - oo
Integrate by parts using the fact that
+ and arctan(O) = 0 to find the desired expression for I.
Exercise XX.4. 13 Find the integral
jjj xyzdxdydz
ta en over the ellipsoid
implies
I= (abc)2XYZdXdYdZ,
···
dxnI I
II
n e - w:e e -2 ?1' : &" 11" dx
1 dxn
-
• • •
k=l �
n 2
- II 2
k =l
Exercise XX.4.15 Let B be an n x tt non-singular real matrix. Define
(f o B) (x) = f(Bx) . Prove that the dual of f o B is given by
(/ B) v (y) 1 /v (t B- l y)
0
= fi B II '
where II BII is the absolute value of the determinant of B.
Solution. We use the change of variables formula
v
(I 0 B)
(y) - ' B 1 11
f(x)e -211'i:D · - dx = r ( t B - l y) .
Lipschitz condition on A
for all X, Y E A.
I E X) - E(Y) I � cfX - Y
Choose t so small( that 0 < t < 1/3 andl 0 < t < c- 1• Let Y e 83 and
consider the map gy (X) = Y - tE (X) defined on A. Since ltE(X) I < 1/2
we have
1 1
1 - 2 < I Y - tE (X) I � 1 + 2 '
so is a map of the complete metric space S into itself. Moreover,
gy
gy is a contraction because
XXI. l Definitions
Exercise XXI. l.l Show that dd/= 0 for any function /, and also for a
1-form.
Solution. Let f be a function. Then we have
n
df= Dt f dxt + + Dnf dx=n L D
· · · i / dxi ,
i=l
so that
n n
=
dd/ L D;Dif dx; 1\ dxi .
j=l i=l
L
But since dx; 1\ dxi= -dxi 1\ dx; and dxi 1\ dxi= 0 we see that
where li = Dig . An argument similar to the one given above shows that
n
function.
Solution. (a) dw = 4xy dx 1\ dy.
(b) tk.J = xezy dy 1\ dx A dz.
(c)dw = u dy l\ dx.
Exercise XXI. 1.5 (a) Express dw in standard form if
w = x dy A dz + y dz A dx + z dx 1\ dy.
{b) Let I, g, h be functions, and let
w = l dy A dz+ g dz A dx + h dx A dy.
Find the standard form for dw.
Solution. (a) We simply have XXI.l Definitions 361
dw = 3 dx A dy 1\
dz.
(b) In this case we find
dw = (o o f
+
8z81)
dx 1\ dy 1\ dz.
ax {}y
f+
Exercise XXI. l.6 In n-space, find an (n - 1)-fonn w such that
dw = dx1 1\ · · · A dxn .
-
l
w l\w = ( ) r w l\ w = -w l\w,
2
so by symmetry,
z2)3/2we see that dw is' equal to
- 2x2 + y2 + z2 - 2y2 + x2 + z2 - 2z2 + x2 + dx 1\ dy 1\ dz
y-22x2 + y2 + z2 - 2y2 + x2 + z2 - 2z2 + x2 + = 0,
2 dx 1\ dy 1\ dz
2 (x + + z2)5/2
y = 0,
y2 3
as was to be shown. Integrating this form over the unit 2-sphere in R
with Bi > 0 and St + + sk < 1 . Show that T( v0,)• • •, v�c is the tmnslation
· · ·
of S by vo .
Define the oriented boundary of the triangle T to be the chain
1c
8°T = L < l); T (vo , . . . ' Vj, . . . ' v�c ) .
-
j =O
(b)Assume that k = n, and that T is contained in an open set U
of Rwn . Let be an (n - 1 ) -form on U. In analogy to Sto es ' theorem
for rectangles, show that
a b
C = Ot + L2 - 02 - Lt
where 01 , 02 , £ 1 , and £2 are the curves shown on the figure. We have the
following parametrization
Ot (t) - (t, g1 (t)), a < t < b,
02 (t) - (t, g 2 (t)), a< t< L2 (t) - (b,
<t<
L t (t) = (a, t) , Yt t) , gt (b)
<t<
(a)
b, 92(a),
92 (b) .
XXI.4 Stokes' Formula for Simplices 365
We have
But
consequently
- dydx = Pdx - Pdx.
( 8! 8/ ) 8 2/ 8 2!
d ay dx - lfX dy :x; = {) 2 dy yA dx - {) 2 dx A dy = 0.
s
be parametrized by arc length. Define the unit normal vector at to be the
vector
N(s) (g�(s), -gi(s)).
=
Verify that this is a unit vector. Show that if F is a vector field on a
C,
region A, which is the interior of a closed curve oriented countercloc
wise, and parametrized by arc length, then
(gi)2(s) + (g�)2(s) = 1
which in turn implies that I N (s) l = 1. Applying Green 's theorem to the
vector field ( we
L
J [ (grad g) (grad f) + f Llg]dxdy
· = Ia fD0gds.
Taking the difference of the above two equations we obtain Green's
second formula.
Exercise XXI.4.6 Let C : [a, b] --+ U be a 01 -curoe in an open set
U of the plane. If f is a function on U (assumed to be differentiable as
needed}, we define
'
V' (r) JLr div grad f(x, y)dydx JL ( + :;) dydx =
= r 0.
Taking the=limit as r --+ 0, proves the desired assertion.]
Solution. Differentiating under the integral sign we get
VJ1 (r) = 1
2,;: 8/ ax 8/
cos O + ay sin OdO.
368 XXI. Differential Forms