Professional Documents
Culture Documents
Binmore-MathematicalAnalysis Text
Binmore-MathematicalAnalysis Text
Analysis
a straightforward
approach
515 BIN
PLI
A/C 095640 :J£43
Chorley
Lancaste
Poulton
Preston 30107 000 5: 5 408
3T
C.U.P.
NET IN UX
£ 9-75
MATHEMATICAL
ANALYSIS
A STRAIGHTFORWARD APPROACH
K.G.BINMORE
dr^
Professor of Mathematics L.S.E.
JpL, .
MCM tcvn ^y
II
2 Continuum Property 12
2.1 Achilles and the tortoise 12
2.2 The continuum property 13
2.6 Supremum and infimum 15
2.7 Maximum and minimum 15
2.9 Intervals :•> 16
2.11 Manipulations with sup and inf 18
3 Natural numbers 20
3.1 Introduction 20
3.2 Archimedean property 20
3.7 Principle of induction 22
4 Convergent sequences 26
4.1 The bulldozers and the bee 26
4.2 Sequences 27
4.4 Definition of convergence 27
4.7 Criteria for convergence 30
4.15 Monotone sequences 33
4.21 Some simple properties of convergent sequences 37
4.26 Divergent sequences 38
5 Subsequences 41
5.1 Subsequences 41
5.8 Bolzano-Weierstrass theorem 46
VI Contents
™ * Contents vii
Index 255
PREFACE
the need to prepare the way for these generalisations has been kept well in mind.
It is vital to adopt a systematic approach when studying mathematical analy-
sis. In particular, one should always be aware at any stage of what may be
assumed and what has to be proved. Otherwise confusion is inevitable. For this
reason, the early chapters go rather slowly and contain a considerable amount of
material with which many readers may already be familiar. To neglect these
great deal more from attempting the exercises than can be obtained
to be learned
from a passive reading of the text. This is particularly the case when, as may fre-
quently happen, the attempt to solve a problem is unsuccessful and it is necess-
ary to turn to the solutions provided at the end of the book.
To help those with insufficient time at their disposal to attempt all the exer-
have been marked with the symbol t- (The same
cises, the less vital exercises
notation has been used to mark one or two passages in the text which can be
omitted without great loss at a first reading.) The symbol * has been used to
mark exercises which are more demanding than most but which are well worth
attempting.
The final few chapters contain very little theory compared with the number
of exercises set. These exercises are intended to illustrate the power of the tech-
niques introduced earlier in the book and to provide the opportunity of some re-
IX
Preface x
topology in simple spaces. The content of the book provides an ample source of
examples for this purpose while the more general theorems serve as reinforce-
ment for the theorems of the text.
Other teachers may prefer to go through the material of the book at a more
leisurely pace or else to move on to a different topic. An obvious candidate for
further discussion is the algebraic foundation of the real number system and the
proof of the Continuum Property. Other alternatives are partial differentiation, 1.1 Set notation
the complex number system or even Lebesgue measure on the line. A set is a collection of objects which are called its elements. If x is an
would like to express my gratitude to Elizabeth Boardman and Richard
I
element of the set S, we say that x belongs to S and write
Holmes for reading the text for me so carefully. My thanks are also due to
'Buffy' Fennelly for her patience and accuracy in preparing the typescript. Final-
xes.
ly, I would like to mention M.C. Austin and H. Kestelman from whom I learned Ify does not belong to 5, we write y £ S.
so much of what I know. The simplest way of specifying a set is by listing its elements. We use the
notation
July 1976 K.G.B.
A = &1, >£,«,*}
to denote the set whose elements are the real numbers \, 1 , \Jl, e and it.
Similarly
B = {Romeo, Juliet}
This notation is, of course, no use in specifying a set which has an infinite
number of elements. Such sets may be specified by naming the property which
distinguishes elements of the set from objects which are not in the set. For
example, the notation
C = {x : x > 0}
(which should be read 'the set of all x such that x > 0') denotes the set of all
positive real numbers. Similarly
D = {y y loves Romeo}
:
has no elements. For example, if x denotes a variable which ranges over the set
{x : x2 + 1 = 0} = 0.
SCT properties of the real number system which we propose to assume and to some
of their immediate consequences.
ifevery element of S is also an element of T.
As an example, consider the sets P = {1 , 2, 3 4} and Q = {2, 4}. Then , QCP.
Note that this is not the same thing as writing Q e P, which means that Q is an 1.3 Arithmetic
element of P. The elements ofP are simply 1,2,3 and 4. But Q is not one of
The first assumption is that the real numbers satisfy all the usual laws
these.
of addition, subtraction, multiplication and division.
The sets A , B, C and D given above also provide some examples. We have
The rules of arithmetic, of course, include the proviso that division by zero is
A C Cand (presumably) BCD. not allowed. Thus, for example, the expression
2
1 .2 The set of real numbers
It will be adequate for these notes to think of the real numbers as being
makes no sense at all. In particular, it is not true that
points along a straight line which extends indefinitely in both directions. The
line may then be regarded as an ideal ruler with which we may measure the
lengths of line segments in Euclidean geometry.
We shall have a great deal of use for the symbol °°, but it must clearly be
understood that °° does not represent a real number. Nor can it be treated as
n/2 such except in very special circumstances.
-2
1 .4 Inequalities
The set of all real numbers will be denoted by R . The table below distin-
The next assumptions concern inequalities between real numbers and
guishes three important subsets of U.
their manipulation.
We assume that, given any two real numbers a and b, there are three mutually
exclusive possibilities:
Subset Notation Elements
(i) a >b (a is greater than b)
Natural numbers
(ii) a =b (a equals b)
(or whole numbers) 1,2,3,4,5,. ..
proved and what may be taken for granted. Our most vital assumptions are con-
1 >0\ 3>2; 1 > 1; 2<3; -1 <0; -3«— 3.
cerned with the properties of the real number system. The rest of this chapter
and the following two chapters are consequently devoted to a description of the We assume four basic rules for the manipulation of inequalities. From these
4 Real numbers Real numbers •
the other rules may be deduced. Since x+y > 0, (x +y)~ 1 > (example 1 .6). We can therefore multiply
(I) If a >b and b >c, then a >c. through inequality (1) by (x + y)' 1
to obtain
y-x>0
i.e. x<y.
(Alternatively, we could prove (ii) as follows. Assume that* 2 <y 2 but that
(II) If a > b and c any real number, then
is x > y. From x >y it follows (as in (i)) that x 2
>y 2
,
which is a contradiction.)
a+c>b+c.
1.7 Example Suppose that, for any e>0, a <b + e. Thena <fc.
(III) If a > b and c > 0, then ac > 6c (i.e. inequalities can be multiplied
through by a positive factor). Proof Assume that a > b. Then a — b > 0. But, for any e > 0,
(IV) If a > b and c < 0, then ac < be (i.e. multiplication by a negative factor a <b + e. Hence a < b + e in the particular case when e = b —a. Thus
reverses the inequality).
a<b + (a-b)
and so a<a.
-1
7.5 Example If a > 0, prove that a > 0. This is a contradiction. Hence our assumption a > b must be false. Therefore
-1
/Voo/ We argue by contradiction. Suppose that a > but that a < 0. a<b.
It cannot be true that a"
1
= (since then = O.a = 1). Hence (Note: The symbol e in this example is the Greek letter epsilon. It should be
_1 carefully distinguished from the 'belongs to' symbol G and also from the symbol
a <0.
% which is the Greek letter*/'.)
By rule III we can multiply this inequality through by a (since a > 0). Hence
2 2
1.6 Example If x and y are positive, thenar <y if and only if x <y .
(2) IfZ>>0and£>0and
First, that x < y implies x < y
2
Proof We have to show two things.
2
,
2
x <xy. a a +A A
<
Similarly ~b b +B B'
xy<y 2 . (3) If a > ft and c > d, prove that a +c>b+d(i.e. inequalities can be
added). If, also, b > and d > 0, prove that ac > bd (i.e. inequalities
But now* 2 <y 2 follows from rule I.
between positive numbers can be multiplied).
(ii) We now assume that x2 <y 2
and try and deduce that* < y. Adding —x 2 (4) Show that each of the following inequalities may fail to hold even
to both sides of* <y 2 2
(rule II), we obtain though a>Z>andc>d.
y -x >0
22
(i)a-c>b-d
i.e. (y~x)(y + x)>0. (1)
Real numbers Real numbers
there is no ambiguity about these symbols and that ± y/y simply means 'y/y or
<>1 -y/y.
The genera] quadratic equation has the form
(iii) ac>bd.
ax
2
+ bx + c =
What happens we impose the extra condition that b > and d > 0?
if
(5) Suppose that, for any e>0,a — e<b<a + e. Prove that a = b where a ¥= 0. Multiply through by 4a. We obtain
(6) Suppose that a < b. Show that there exists a real number x satisfying 4a 2 x 2 + Aabx + 4ac =
a<x<b.
{lax +b) 2 -b 2 +4ac =
(2ax + b) 2 = b
2
-4ac.
1.9 Roots 2
— 4ac < 0,
It follows that the quadratic equation has no real solutions if b
Let n be a natural number. The reader will be familiar with the notation
one real solution if b
1
—4ac = and two real solutions if A
2
— 4ac > 0. If
u
v = ~ .
2a 2a
x = y Un .
y
r
= (y m y ,n .
1
y by
V 7^
y
Y =
fl>0 a<0
r
We also write y° = 1 . With these conventions it follows that, if y> 0, then ^
x
is defined for all rational numbers r. (The definition of y when x is an irrational
real number must wait until a later chapter.)
Proof For any x, For the case « = 2 (or « = 3) this inequality amounts to the assertion
that the length of one side of a triangle is less than or equal to the sum
< (a l
x+b l )
2
+ (a 2 x+b 2)
2
+ ... + (a n x+b n ) 2 of the lengths of the other two sides. Explain this.
2
= (a? + . . . + 2
a n )x + 2ia.br + ... + a n h n )x + (b\ + . . . + b 2n)
= Ax 2 + 2Bx + C.
Since y = Ax + 2Bx +
Ax 2 + 2Bx + C =
2
O for all values of x,
cannot have two (distinct) roots. Hence
it follows that the equation
1.13 Irrational numbers
we mentioned the existence of irrational real numbers. That
In § 1 .2
such numbers exist is by no means obvious. For example, one may imagine the
(2B) 2 -4AC<0 process of marking all the rational numbers on a straight line. First one would
1.12 Exercise
(1) Suppose that n is an even natural number. Prove that the equation h tt i
* iUtlLM
-1
a-" =y has no solutions if y < 0, one solution if y = and two
solutions if y > 0.
Suppose that n is an odd natural number. Prove that the equation
But our assumption about the existence of nth roots renders this view unten-
x" = y always has one and only one solution.
2 3
able. This assumption requires us to accept the existence of a positive real num-
Draw graphs of y = x and y = x to illustrate these results.
ber* (namely \J2) which satisfies x2 = 2. If* were a rational number it would
(2) Simplify the following expressions:
be expressible in the form
2'3 4'3 6/s
(OS (ii)27" (iii)32 .
m
—
x =
(3) If y > 0, z > and r and s are any rational numbers, prove the follow- n
ing:
r+s
where m and n are natural numbers with no common divisor (other than 1). It
() y = ff (ii) y
rs
= (yj (iii) (yzj = fz\ follows that
(4) Suppose that a > and that a and are the roots of the quadratic m2 = In 2
equation ax 2 + bx + c = (in which b 2 — 4ac > 0). Prove that
y = ax
2
+ bx + c is negative when a < x < and positive when x < a and so m2 is even. This implies that m is even. (If m were odd, we should have
orx >j3. Show also (without the use of calculus) that y = ax 2 + bx + c m = 2k + But 1 . then m 2
= 4k 2 + 4& + 1 which is odd.) We may therefore write
1/2 n 1/2 n
irrational numbers can be obtained in this way. It is not even true that every
I (^ + b k y < >,al + *:# irrational number is a root of an equation of the form
k =i «t=i
10 Real numbers Real numbers 11
a + a x x + a2 x 2 + . . . + a n x" = \a+b\ 2 = {a + bf = a
2
+ lab + b2
inwhich the coefficients a ,a , ,o n ate rational numbers. Real numbers
t
= \a\
2
+ 2ab + \b\
2
which are not the roots of such an equation are called transcendental, notable 2
< \a\
2
+ 2\ab\+ \b\ (theorem 1.15)
examples being e and it. This fascinating topic, however, lies outside the scope
of this book. = \a\
2
+ 2\a\-\b\ + \b\
2
(theorem 1.16)
2
= (\a\+\b\) .
Suppose that x is a real number. Its modulus (or absolute value) \x\ is
+ b\ < |o|+ \b\.
\a
defined by
Ay 1.18 Theorem For any real numbers c and d,
1.19 Example
Thus |3 1
= 3, 1—41 =6 and |0| = 0. Obviously |*| > for all values of*.
x = 2 (i) 2 = |-1+3|<|-1|+|3| = 1
+3=4.'
It is sometimes useful to note that | | s/x .
1.16 Tlieorem For any real numbers a and b \c-d\ > \\c\-\d\\.
\ab\ = \a\.\b\ (3) The distance d(x,y) between two real numbers x undy is defined by
d(x,y) = |* —y\. Show that, for any x,y andz,
Proof The most elegant proof is the following. (i) d(x,y)>0 = 0ifand only if x=y
(iii)d(;c,.y)
ax
2
+ bx+c =
1.1 7 Theorem (triangle inequality ) For any real numbers a and b ,
are all rational numbers and that a= r + s\/2 is a root of this equation,
\a + b\ < \a\+ |6|. where r and s are also rational numbers. Prove that (3 = r —s\/2 is also a
race a tortoise. Since Achilles runs faster than the tortoise, the tortoise is given a
start of x feet. When Achilles reaches the point where the tortoise started, the
A -* v„
**
>•
Note that this method again depends strongly on the existence of a smallest
real number larger than all of the real numbers Ai,A 2 ,A-$,...
A< m*
>
x, 2.2 The Continuum Property
A - The discussion of
a further assumption about the real
the previous section indicates the necessity of
number system. It would, after all,
making
be most
unsatisfactory if Achilles never caught the tortoise or if a circle had no area. We
shall call our new assumption
Continuum Property of the real numbers.
the
The simplest way to resolve this paradox is to say that Achilles catches the The Continuum Property is not usually mentioned explicitly in a school
tortoise after he has run a distance of x feet, where x is 'the smallest real number algebra course, but it is very important for what follows in these notes. The rest
larger than all of the numbers x ,x + x u x + x x2 y ,
. .
.'. Zeno's argument of this chapter is therefore devoted to its consideration. We begin with some
then simply reduces to subdividing a line segment of length x into an infinite terminology.
number of smaller line segments of respective lengths x ,x lt x 2 ,
. . .
A set S of real numbers is bounded above if there exists a real number H
which is greater than or equal to every element of the set, i.e. if, forsome //,
x<H
Formulated in this way, the paradox loses its sting.
This solution, of course, depends very strongly on the existence of the real for any x e S.
number x, i.e. the smallest real number larger than all of the numbers x ,
The number H (if such a number exists) is called an upper bound of the set S.
x +*!, jc +x$ +x 2 , . A set S of real numbers is bounded below if there exists a real number h
12
14 Continuum property Continuum property 15
B<H. i
x>h
Similarly, if S is a non-empty set which is bounded below, then S has a lower
|jc| <K (i) The smallest upper bound of the set {1,2, 3} is 3. The largest lower
bound of the set {1,2, 3} is 1.
for any xG S. (This is easily proved with the help of exercise 1 .20(1).)
(ii) The smallest upper bound of the set {x : 1 < x < 2} is 2. The largest lower
bound is 1
(iii) The set {x : x > 0} has no upper bounds at all. The largest lower bound
2.4 Examples of the set {x:x>0}is0.
(i) The set {1 2, 3} is bounded above. Some upper bounds are 100, 10,
,
4 and 3. The set is also bounded below. Some lower bounds are —27, and 1
(ii) The set {x < x < 2} is bounded above. Some upper bounds are 100,
: 1 2.6 Supremum and infimum
10, 4 and 2. The set is also bounded below. Some lower bounds are —27, and bounded above, then, by the Continuum
If a non-empty set S is
1.
Property, it has a smallest upper bound B. This smallest upper bound B is some-
(iii) The set {x : x > 0} is unbounded above. If H> is proposed as an upper times called the supremum of the set S. We write B— sup 5 or
bound, one has only to point to H+ 1 to obtain an element of the set larger
than the supposed upper bound. However, the set {x :x> 0} is bounded below. B = sup x.
i6=S
Some lower bounds are —27 and 0.
Similarly, a set which is bounded below has a largest lower bound b. We call
We now state the Continuum Property which will be fundamental for the b = inf x.
remainder of these notes. xGS
Sometimes you may encounter the notation sup S = + °°. This simply means
that 5 is unbounded above. Similarly, inf 5 = — °° means that S is unbounded
Continuum Property
below.
Every non-empty set of real numbers which is bounded above has a
smallest upper bound. Every non-empty set of real numbers which is
bounded below has a largest lower bound.
2.7 Maximum and minimum
If a set S has a largest element M, we call M the maximum of the set S
Thus, if S is a non-empty set bounded above, then S has an upper
which is and write M = max S. If 5 has a smallest element m, we call m the minimum of
(and hence have a smallest upper bound) do not have a maximum. (See example
2.8(a).) (a, °°) = {x : x >a} V7/////////'y/7//7/7////y,
Similar remarks, of course, apply to largest lower bounds and minima of sets. =
[a,°°) {x :x>d) («,»)
is an element of the set which is larger than x. Hence x cannot be the largest
element of the set. However, {x : 1 < x < 2} has smallest upper bound 2. 2.10 Exercise
The set {x : 1 < x < 2} has minimum 1 (why?). This is equal to its largest (1) Which of the following statements are true?
lower bound. 0)36(1,2) (ii)2e(-°°,3] (iii) 16 [1,2)
(iii) The set {x : x > 0} has no maximum, nor does it have any upper bounds. (iv)2e(0,2) (v)3G[l,3].
The set {x : x > 0} has no minimum (why not?). Its largest lower bound is 0. (2) If % is a real number and 5 > 0, prove that
{x:|£-x|<S} = a-S,£ + 5).
= {x:a<x<b} a b
(4) Repeat the above question but with the words 'above, upper and maxi-
(a,
[a,b]
b)
= {x:a<x<b}
wmm (a,.'
mum' replaced by 'below, lower and minimum'.
(5) Give an example of a set which has smallest upper
bound 4 but contains
)
has no minimum.
18 Continuum property Continuum property 19
2.11 Manipulations with sup and inf (3) Suppose that 5 is bounded above. Prove that
We prove one result and list some others as exercises. inf (— x) = — sup x.
i£s .*es
2.12 Theorem Suppose that S is a non-empty set of real numbers which is Hence obtain analogies of theorem 2.12 and exercises 2.13(1 and 2) in
bounded above and % > 0. Then which inf replaces sup.
= (4) The distance d{%, S) between a real number £ and a
non-empty set 5 of
sup %x % sup x.
real numbers is defined by
Proof Let B = sup S. Then B is the smallest number such that, for any d(S,S) - inf |$-*|
x<ES, i£S
(see exercise 1.20(3)). Find the distance between the real number % = 3
x<B.
and the sets
Let 2"- {#* : *€ S}. Since | > 0, (i)S = {0, 1,2} (ii)5 = (0,l)
(iii)S=[l,2] (iv)S = (2,3).
(5) (i) If £ G S, prove that d(|, 5) = 0. Give an example of a real num-
forany* G 5. Hence Tis bounded above by £/?. By the Continuum Property, ber ? and a non-empty set 5 for but £ G" S.
which d(£, S) =
rhas a smallest upper bound (or supremum) C. We have to prove that C = %B. (ii) If 5 is bounded above and % = sup S, prove that d(|, 5) = 0.
Since %B is an upper bound for 7* and C is the smallest upper bound for 7 Deduce that the same is true if 5 is bounded below and £ = inf S.
1
"I"
(iii) If /is a closed interval, prove that d{%, /) = implies that \ G /.
If/ is an open interval (other than R or 0), show that a j- ^/can
Now repeat the argument with the roles of S and T reversed. We know that C always be found for which d(£, /) = 0.
is the smallest number such that, for any y&T, f
(6) Suppose that every element of an interval / belongs to one or the other
y<C. of two non-empty subsets 5 and T. Show that one of the two sets S or
T contains an element at zero distance from the other. (Do not assume
Since £ > 0, it follows that
that S and Tare necessarily intervals. The set S, for example, could
consist of all rational numbers in / and the set T of all irrational num-
bers in /.)
for any y G T. But S = {|"V ? G 7% Hence ?"' C is an
: upper bound for S. But [Hint Suppose that $ < t, where s G S and t G T. Let T = {x x G T
: :
# is the smallest upper bound for S. Thus and x > s}. Show that To ^ and is bounded below. Write b = inf T
and consider the two cases b € Tand b ^ T.\
£5<C.
We have shown that C< |5 and also that £fi < C. Hence \B = C.
2.13 Exercise
sup (x + £) = sup x + %.
*£S i£S
Natural numbers 21
for all n € foJ. Hence the set S is bounded below by 0. We have to prove that is
n'
1
>h.
Hence, for each n e fol
n « ft" 1
.
In this chapter we explore some implications of the Continuum Note that 0^5 and hence S has no minimum.
Property for sets of natural numbers. As always, arithmetical properties are
taken for granted. But where a proof hinges on such a property, the property
will be explicitly stated. 3.5 Theorem Every set of natural numbers which is not empty has a mini-
mum.
Proof For this proof we need to assume that the distance between
3.2 Archimedean property
distinct natural numbers is at least 1
The Archimedean property is the assertion of the following theorem. Let S be a non-empty set of natural numbers. Given that all natural numbers
Suppose that the theorem is false. Then N is bounded above. By the Con-
n <b + 1
tinuum Property it therefore has a smallest upper bound B. Since B is the If n is the minimum of S, there is nothing to prove. If not, then, for some
smallest upper bound for N, B — 1 is not an upper bound for N. Thus, for some wj e S,m< n. We obtain the inequality
«€N,
b <m< n < b +
n >B-\ from which follows the contradiction < n —m < 1.
n+ I >B.
But then n + 1 is an element of the set fsj which is greater than B. But B is an
upper bound of the M. This is
set a contradiction. 3.6 Exercise
Hence M is unbounded above. (1) Prove that the set
n—l :«e
s =
3.4 Example Prove that the set
is bounded above with smallest upper bound 1 . Does S have a maxi-
5 = {«-' :neN}
mum?
is bounded below with largest lower bound 0. (2) Let X> 1 . Prove that the set
o
_1 unbounded above. [Hint: if B were the smallest upper bound, then
n >0 is
BX~ l
could not be an upper bound.] Show that, if 0<x < 1, then the
20
22 Natural numbers Natural numbers 23
(3) Prove that any non-empty set of integers which is bounded above has a ment S n = \n{n + 1).
maximum and that any non-empty set of integers which is bounded We S 1 = l,and \. 1(1 + 1) = 1. Hence P(l) is true. We now wish to
have
below has a minimum. show if P{n) is true, then P(n + 1) is true'. To do this, we assume that P(ri)
that
(4) Let a < b. Prove that there exists a rational number r satisfying is true and try and deduce that P{n + 1) is true. Thus we assume that S„
=
a<r<b. [Hint: justify the existence of a natural number n satisfying \n(n + 1) and try and deduce that 5 n+1 = k(n + 1)(" + 2). But
n~>(b —a)~ and consider the rational number r = tn/n where m is the
l
Sn + = 1 + 2 + 3 + . . . +n+ (n + 1)
smallest integer satisfying m>an.] l
(5) Let S be the set of all rational numbers r which satisfy < r< 1 . Show = Sn + (n + l)
that S has no maximum and no minimum. Prove that S is bounded and
= \n(n + 1) + (« + 1)
has largest lower bound and smallest upper bound 1 . [Hint: for the
last part, use the previous question.] = &« + l)(n + 2)
(6) Let a < b. Prove that there exists an irrational number £ satisfying
< as required. The result now follows by induction.
a < % b. [Hint: exercise 1.20(4).]
Suppose that a line of dominoes is arranged so that, if the «th one falls, An = —(at +a 2 + • - + an)
n
it knock over the (n + l)th. If the first domino is pushed over, most people
will
would agree that all the dominoes would then fall down. is the arithmetic mean of the numbers a 1 ,a 2 ,
... ,a„. If 01,22, ... ,a n are
The principle of induction is an idealisation of this simple notion. We show positive, their geometric mean Gn is defined by
below how it may be deduced from theorem 3.5. 1/n
Gn = (a,a 2 ...fl n ) .
3.8 Theorem (principle of induction) The 'inequality of the arithmetic and geometric means' asserts that
Suppose that, for each n £M P(n) a statement about the natural
, is
Gn <A n .
(i)P(l)is true Proof This inequality has an entertaining proof using 'backwards
(ii) if P(n) is true, then P(n + 1) is true. induction' (see exercise 3.1 1(5)).
Then P(n) is true for every n £ftj . LslP(n)be the statement 'For any positive numbers at, a 2 , . . . ,a n ,
Proof For this proof we need to assume that, if n is a natural number G„ < A„'. We shall show that
n
(i) P(2 ) is true for each nGN.
other than 1 then « — 1 is a natural number as well.
,
true,
24 Natural numbers Natural numbers 25
and (
a m*\ a m+2 • - a 2m) < ~~
(a m + 1 + "m + 2 + • • + «2m)- (3) A polynomial P(x) is an expression of the form
n
P(x) = anx + a^iX"' + 1
. . . + aix+a .
= = P(% n ) = 0, prove
2, . . . ,
(ai a2 . ..a 2m )
V2m < —
2ffi
(a, + <z 2 4- . . . +a 2m )
P(x) = k(x-^)(x-$ 2 )...(x-U
where A: is a constant.
-»-] r MM / (H-lMn-l+Cn-1 Using this result and the principle of induction, obtain the binomial
ft
theorem in the form
Gn _, </!„.,.
{a + bf = a" + na"' 1
b + ^^ a"- b
2 2
+ . . . + b"
V
(5) Let P(n) be a statement about the natural number n and suppose that
3.11 Exercise
(i) P(2") is true for each nGM
(1) Prove by induction that
(ii) if P(n) is true, then P(n — 1) is true.
n Prove that P(n) is true for every n€N. [Hint: the set {2" : n SM } is
(i) I= &2 = l
2
+ 2
2
+ . . . + n 2 = in(n + l)(2n+I) unbounded above (exercise 3. 6(2)).
fe i
(6) Suppose that < X< Y and that x and y belong to the interval [X, Y].
Prove that, for each nGM,
(ii) T A3 = l
3
+ 2
3
+ . . . + n3 i«
2
(« + l)
2
.
AT"" | jc -y K «^TK| x
1/n
-/'" < YX |
1 '"
\x-y\.
(2) Prove by induction that, if x =£ 1,
zero and so xn gets closer and closer to \. We say that 'x n tends to § as n tends to
This idea is of the greatest importance, but, before we can make proper use of
it, it is necessary to give a precise formulation of what it means to say that xn -> I
ward between the bulldozers at a constant speed of two miles per hour, vainly A sequence may be regarded as a list of numbers Xi,X2,x 3 ,x 4 , . .
seeking to avoid his fate. How far from his starting point will the unfortunate More precisely, we can say that a sequence is determined by a rule which assigns
insect be crushed? to each natural number n a unique real number x n We call x n the n th term of .
the sequence.
The notation
fef"
means the sequence whose «th term isx„.
The set {x n n € N} is called the range of the sequence. We say that a
:
sequence is bounded above (or below) if its range is bounded above (or below).
Thus (x„) is bounded above by //if and only if-xr„ <//(« = 1, 2, 3, .). . .
fe# fr^S
4.3 Examples
xr _
— 2
\ 3
4.4 Definition of convergence
xv 2 —- 2_2
3 9
A sequence (x n ) is said to converge to the limit I if and only if the
and, in general. following criterion is satisfied.
26
28 Convergent sequences Convergent sequences 29
<e.
> 0, we can find an N such that, for any n>N,
1
Given any e »'"
\x n -l\<e.
But «'"
We write xn * I as n * °° or
and so we simply need to find an N such that, for any n>N,
lim x„ = /.
-<6
x 2 ,x 3 n
It may be helpful to think o{x h ,
... as successive approximations to
the number /. The distance \x n —l\ between x n and / is then the error involved in
i.e.
approximating / by x„. The definition of convergence then simply asserts that we
e
can make this error as small as we choose by taking n large enough.
The diagram is supposed to represent a sequence <x„> with the property that But this solves the problem. We simply chose A' = 1/e. Then, for any n>N,
x„ -* I as n -*• <*>.
n>N = -
e
i.e. -<e
n
i.e. l+ p. <e.
We have shown that, given any e > 0, we can find an N (namely N=l/e)
such that, for any n>N,
n>6
<e.
For the value of e indicated in the diagram, a suitable value for N in the
definition isN= 6. For each value of« >6, It is important to observe that N depends on e, i.e. for each e > we use a
from the diagram above that, if we had chosen to look at a very much smaller
0-4 2-5
value of e > 0, then we should have had to have picked out a very much larger
value of N. In general, the smaller the value of e > 0, the bigger must be the 0-1 10
corresponding value of iV.
0000 001 1 000 000
4.5 Example
(Note: Some authors be a natural number. This makes the defi-
insist that A'
4.6 Exercise Let Af be whichever of N t and Af2 is the larger, i.e. A' = max {A^, A^}- Then, if
(1) Prove that n >N, both inequalities (1) and (2) are true simultaneously. Thus, for any
n>N,
r-fc4i = \(x„+yn) -(/ + «)! = \(x n -l) + (y n -m)\
n-"~ \n 2 + 1
,
— -* as n •* °°. Given any e > we have found a value of N (namely N = max {N\, N }) such 2
n
that, for any n > N, \(x n +y„) — + m)\< e. Hence x n +j„-»; + masn^».
(I
(3) Let X be any real number. If x n -* I as n -> °°, prove that Xx n -> X/ as
/
- 3ra
2n
3
5 „3 + 4« -2
4.7 Criteria for convergence .»?- 2
(
In the example and exercises above what value
it is fairly easy to decide
Proof We write
of A' is appropriate to any given value of e > 0. But this is by no means always
the case. It is therefore natural to look around for some shortcuts which will 2n 3 -2n 2-3/T2 2-0 2
= — as n -* °°.
enable us to determine whether a sequence converges (and what its limit is) with- 5n + 4n 2 -2
3
5 + 4«-'-2« -3 5 + 0-0 5
out our having to indulge in the painful process of appealing to the definition.
The supporting argument is as follows. It is obvious from the definition of con-
In this and the next section we give some useful results of this sort.
vergence that 2 -* 2 as n •* °°. From exercise 4.6(2), n' 2 -* as n •* °°. Hence,
n •* °° and let X and /j be any real numbers. Then 2-3w"2 ^-2-3.0 = 2as«-"°°.
x
(iii) — — -*
I
as n * °° (provided that in i= 0).
The result then follows from proposition 4.8(iii).
yn rn
The proofs of (ii) and (iii) can be found in the appendix. These proofs are 4.10 Theorem (the sandwich theorem) Suppose that y n •* I as n •* °° and
somewhat technical and we prefer not to hold up the discussion by presenting thatz n -»Z as«-*°°. Uy n <x n <z n (n = 1, 2, . .
.), then
them at this stage. Readers who prefer to omit the proofs of (ii) and (iii)
x„ -* / as n * °°.
altogether will not suffer greatly as these results may be deduced from (i) once
the theory of the exponential and logarithm functions has been developed. (Here the sequence <^: n > is 'sandwiched' between the two sequences <>> n > and <z n>
aSH -+ -*m asn-*°°, thenx n + y n + m asn -»°°. Proof For this proof it is necessary to note that the inequality
°° and n ->l
Let e > be given. Then |e > 0. Since x n -* I as n * °°, it follows that we can \x — 1\ <eis true if and only if/ — e<x</+e. (See exercise 1.20(1).)
->«-
\x n -l\<\e. (1)
7£
Similarly, we can find an A^ such that, for any n>N 2 ,
I.V-/I
\y n -m\<\e. (2)
32 Convergent sequences Convergent sequences 33
Let e > be given. We have to find an N such that, for any n>N,
\x n -l\<e. \x
n
-Q\ = \x\
n
<— («= 1,2,.. .).
Since y n
-* I as n -> °°, we know that there exists an N t such that, for any
n>N u But 1/rt -> as « -* °° (by exercise 4.6(2)). Thus, by corollary 4.1 1
Similarly, since z„ -* / as n -* °°, there exists an N 2 such that, for any n >N2 ,
\z n -l\<e. (4) 4.13 Example In the problem of the bulldozers and the bee, we obtained
the sequence
Let A' be whichever of N t
and A^ is the larger, i.e. TV = max {JVj.A'j}. Then, if
n >N, both inequalities (3) and (4) are true simultaneously. Thus, for any
n>N, By example 4. 1 2, (— J)" -> as « -* °° and hence x„ -» \ as w •* °°.
l-e<y n <l + e
and / — e<z n </ + e.
4.74 Example Let x > 0. Prove that
<x„ <z„ = Hence, for any n >N,
xm *
But_y„ (n 1, 2, . . .).
1 as n -> °°.
\x n -l\<e.
i.e. :
i/"_!
< _A _iy (
Hence x n -* I as n -* °°.
by proposition 4.8(iii).
4.72 Example Suppose that |.v| < 1. Prove that
<—
.. 1 l
xr =
1
.
Similarly, <x n > is decreasing if is an upper bound for the sequence. Hence x„
Also B < B (n = 1 , 2, . . .).
B-e<x n <B.
B-e<x n <B + e
i.e. \x n -B\<e.
e>0, we
Given any have found an Af such that, for any n >N, \x n — B\<e.
Hence x n -* B as n -* <*>.
4.16 Example
(i) The sequence (2"> is strictly increasing.
l
(ii) The sequences (n~ ) and (— n) are both strictly decreasing.
(i) If <.x„) is increasing and bounded above, then it converges to its «-l -*
smallest upper bound. 1 as n <*>.
(ii) If <*„> is decreasing and bounded below, then it converges to its largest
lower bound. (ii) If <x< 1 , the sequence Ct"> decreases and is bounded below with
largest lower bound (exercise 3.6(2)). Thus
Proof If (x„) is decreasing and bounded below, then <— x n ) is increasing
and bounded above. Hence it is only necessary to prove (i). as n
Suppose that (,x n ) increases and is bounded above with smallest upper bound
B. We must show that xn -* B as n -* °°.
are nothing new. But consider the
Let e > be given. Since B — e is not an upper bound, there exists at least 4.19 Example The examples above
one term x N of the sequence such that sequence
+«-')">.
xN >B-e. ((]
We show that this sequence increases. In the inequality for the geometric
But (x„) increases. Hence, for any n >N,x„ ~>x^. Thus, for any n>N, first
— 0"
and arithmetic means, take a^ — a2 = — a n -\ = +
1 (« and a n = 1
(4) Let x be a positive number, and let N be the smallest natural number
+i
i 1
x | < = [j satisfying N>x. Prove that
Hence n-N+l
^< x"-
1 + <ll+4l §1-2,3,...) (N-l)l \N
(n > N).
n-1 n\
n
and so the sequence increases. To be able to deduce the convergence of the Deduce that x /n -* as n -* °°.
!
sequence from theorem 4.17, we also need to prove that the sequence is
'
(5) Let a be any positive rational number and let \x\ < 1 Show that there .
a+1
bounded above By the binomial theorem,
.
exists a natural number N such that (1 + 1/A0 |»l < 1. Deduce that
-2i-h+ H H)h-1
- «-l\ 1
'(6) Prove that the sequence (n
4.19.] Hence prove
(The convergence of <n
that of example 4.12. If n
Vn decreases
)
=
>
(1
for B>3. [Hint:
the binom-
<I + 1 U 2!
+ ±+...+l
3! r!
n
-^Hl<n.
Therefore h n •* as « -* °°.)
1 1
< 1 + 1 +-+-^+ .. .
1
+ -^r, (because 2"
_1
<«!)
= 1+: tz? = i +2(1- an < 3. 4.21 Some simple properties of convergent sequences
that ((I + aT 1 )"} converges to a limit B and B < 3. (In fact, B = e = 2-718 . .
Proof Suppose that xn -* I as n -» °° and x n -> m as « -> °°. Let e > be
.)
given. Then
lim < b.
1 + xn (ii) If x n <b(n = \,2,.. ), then /
But x n > a (n = 1 2, , . . .) and so, for any n > N, a < x n < + e. I x n >H.
Hence, given any e > 0, a < + / e. From example 1 .7 it follows that a <. I.
— °° as n -* °° if, any
Similarly, a sequence <x n ) diverges to—°° and x n •* for
-
4.25 Tiieorem Any convergent sequence is bounded. II
x„—*— «asn—
From theorem 1 .18 it follows that, for any « >A 7
!,
|jc
b I-|/|<I*„-/|<i
A divergent sequence <A" n > which does not satisfy x n -> + °° as n * °° or
i.e. M<|l| + ] (n>iV,). *,,->• — ooas«->°°is said to oscillate. An example is the sequence <(— 1)">.
The result now follows if we take
n -*°°.
4.26 Divergent sequences Proof Let H > be given. We have to find an A' such that, for any
A divergent sequence which does not converge. Any un-
is a sequence n>N,
bounded sequence is therefore divergent (theorem 4.25). However bounded n>H a
We simply choose A' = H Ua . Then, for any n > N, n >Hva and hence n a > H.
n
4.27 Example The sequence <(— l) > diverges.
Proof The sequence is obviously bounded. Suppose that (— 1)" * / as A common error is to suppose that proposition 4.8 (about combining con-
n -* °°. Then, given any e > 0, we can find an N such that, for any n> N, vergent sequences) applies to sequences which diverge to + °° or — °°. For
l(~ 1 )"
— < e.
/| But there are both even and odd values of n greater than N and example, it is tempting to suppose that, if xn -* °° as n •* °° and y n •* °° as n •* °°,
so 1
1
— /|< e and |— 1 /| < e. These inequalities must be true for any e >
— and then xn —y n -»°° — °° = 0asn->°°. But °° is not a real number and cannot be
so we obtain the contradiction / = 1 and / =— 1 treated as such. Indeed, one should immediately be warned that something is
4.29 Exercise
(i) \x„ — 1\
-> as n -* °° SUBSEQUENCES
(ii) \x n * \ |/| as« -*«>.
(2) Suppose that x n -* / as « -+ °°. If / > 0, prove that there exists an N such
that, for any n >N,
xn >\l.
(3) Prove that
(i) 2" -* + °° as n -* °° (ii) — V" ""* ~~ °° as " "* °°
5.1 Subsequences
(iii)<(-l)"n> oscillates.
(4) Let jc„ >0 (« = 1 , 2, . . .). Prove that x„ -» as « * °° if and only if Suppose that < x n ) is a sequence and that < nr > is a strictly increasing
The insistence that < n r > is strictly increasing is of some importance. It means,
for example, that the sequence whose first few terms are
5.2 Theorem Suppose that xn -»/ as n-*°° and that <x„ r > is a subsequence
of (x n ). Then
xn -* I as r •* °°.
Proof Let e > be given. Since jc„ * I as n -* <*>, there exists an iVsuch
that, for any n >N,
41
'
42 Subsequences Subsequences 43
I
*,-/!<«. 5.5 Example Let a >0 and let jc, >0. Define the rest of the sequence <x n )
inductively by
Lei R=N. Then, for any r>R,n r >r> R = N and so w r > N. Thus
*„ +1 = Kx n + OX?) in = 1,2,...).
We have shown that, given any e > 0, we can find an R (namely R = N) such
Obviously x n >0(n = 1,2, . . .). But further
that, for any r>R,
\x„F -l\<e.
* * °°. x n2 -2x Ml x n +a = 0.
Hence x„ I as /
Thus 'b
2 - 4ac > 0' , i.e.
5. J Example We have seen that the bounded sequence ((— 1)"> diverges.
x 2
>a.
+l
A simpler proof can be based on theorem 5.2. Obviously the subsequence of odd
terms tends to — 1 and the subsequence of even terms to + 1. But, if <(— 1)" > Since jc n+1 > 0, it follows that
/ = I
2
Since a sequence can have at most one limit,
and so / = or / = 1 . But / > 1 and hence / = 1
We / = kQ + al" 1
)
have shown that
Aln -* i.e. I
2
= a.
1 as n -*<
Thus /yJaoxl = —
= \Ja. But we know that / > \/a. Hence / = \/a. We have
Note: A warning is appropriate here. Do not use this method of working out the
therefore shown that
value of a limit until you have shown that the sequence converges. For example,
if you thoughtlessly tried to evaluate the limit of the sequence <(-- 1)"> by x n -* \Ja as n -* °°.
5.6 Example We attack the previous example by a different method. Again argument given here is interesting because it allows us to estimate how 'good' an
let a > but this time let Xi be unspecified for the moment. Define the rest of approximation x n is to \/a.
the sequence inductively by For example, suppose we want to estimate the value of y/2. It is obvious that
< sj2 < 2 (because l 2 = 1< 2 and 2 2 = 4 > 2). For a better estimate take a =
x n +i = ttxn+ax-
1
1
) (n = 1,2,...). =
Now 2 and*! 2 in the argument above. Then
x n+l ~\/a = \(x n + ax~ l )-s/a
(2-V2 V2(V2 - 1)
|x 4 -V2|«2V2 = 2\/2
2
(x n -2x n y/a + a) 2V2 2V2
2x,
2V2 8
(V2-1) .
_6
Using the crude estimate \J2< 2 we obtain |x4 — \/2 |<2 = p< 0-016.
'
Hence x 4 = gg = 414 1 . . . differs from y/2 by at most 0016.
2x n \ 2jc n _,
estimate for \J2 may be obtained by evaluating xs or by starting
(A better
with Xj = \ and using the estimate \J2 §.) <
1
2x n (2* n _,)
1
2
{x M - Va) 4
1
5. 7 Exercise
(1) Given that < n u " > converges (see exercise 4.20(6)), show that
l/n
1 1 1
/i -> 1 asH-* 00
*n+1 — '
i~ Va l+xn
= 2Va
2Va show that one of the sequences <,x 2n > and (x 2n -i > is increasing and
2
thaty -*0asn-*°°.
tive root of the equation x + x = A:. What conclusion may be drawn
2
Hence our argument shows that xn •* \Jaa.sn^>°° provided that
concerning <*„>?
'
(4) Two sequences < x n > and (y„ > are defined inductively by x =
l \ and
<1. = 1 and
y-i
2\/«
J. We define x ni = xNi+1 and then let first term following *„, for
x„ 2 be the
(n o 2,3,...)-
2 W„ which x n >x n '.
Now let x nj be the term following x„ 2 for which
first
y n -i)
xn >x n . And so on. We obtain an increasing subsequence <*„ r > of (x n ).
Prove that x„_, <x„ <^ n <>>„_, (« = 2, 3, . . .) and deduce that both
sequences converge to the same limit /, where ? < < / 1 . (Actually / = 5.10 Theorem {Bolzano-Weierstrass theorem). Every bounded sequence of
ff/4.)
real numbers has a convergent subsequence.
1
example 4.19.] Show also that the sequence is bounded above and
hence converges. [Hint: From exercise 4.20(4), (2y)"/n\ ->0 as n -> °°
5.11 Examples
and therefore we can find an N such that, for any n>N,y"/nl< (£)".]
'
(6) Show that the product of the limits of the two sequences <(1 + xn' 1 )") (i) The sequence <(— 1)" > is bounded. Two convergent subsequences are the
and <(1 -xn'')") is equal to 1. sequence — 1 , — 1 ,
— 1 , ... of odd terms and the sequence 1 , 1 ,
1 , 1 , .
. . of
even terms.
n 2 \l/n-i
(ii) A more sophisticated example is the sequence ( rn > whose first few terms
'" 1 +
« V~7i
i-$ are .
•
2' 3> 1' 4> 4i $> S< ?i 5> 5> Sj •
5, 4> 6> S. • • •
mum. Then, for some jV, the set {x n :n>N t } has no maximum. It follows maximum and a minimum.
,
the proof altogether will encounter again at a later stage since numbers
it it is a special and show that these are not the same as the
case of a general theorem concerning 'closed sets'. _1
(-1 )"(! + « and inf (- 1)"(1 »-»).
If bounded sequence, let us denote the maximum of L by 7 and the
(x n > is a sup )
We call / the limit superior of ( x n > and write subsequence of <r„>. [Hint: see exercise 3.6(4).]
t
(3) Suppose that (x n ) is a bounded sequence and that, for any N, we can
/ = lim sup xn .
find an n > such that x n N >
b. Show that < x n > has a subsequence
n—*oo
which converges to a limit / > b.
*
Similarly, / is the limit inferior of <x„ > and we write (4) Let < x„ ) be a bounded sequence with limit superior / and limit inferior
/. Show that, given any e > 0, we can find an N such
that, for any
/ = lim inf x„.
= +
n>N,x n <l + e. [Hint use question 3 with b / e] . What is the
:
Hence show that a bounded sequence < x n > converges if and only if all
5.14 * Examples its convergent subsequences have the same limit.
* bounded sequence and
(i) The sequence < 1/n > converges with limit 0. By theorem 5.2, all its sub- (6) Let < x„ > be a let
lim sup (-1)" e 1; lim inf (-1)" = -1. hence show that
L is a subset of [0, 1 ] (i.e. L C [0, 1 J). But the subsequence 1,1,1,... con-
\, have, of course,
verges to 0. Thus / = 0. Also the subsequence £, \, |, f, . . . converges to 1 . Thus
/ = 1 . We have shown that lim inf x n = lim { inf x k } .)
Theorem 4.17 gives us one way of resolving this difficulty. It tells us that an 5.20 Example A sequence <x n ) is defined by x, = a, x 2 = b and
increasing sequence which bounded above converges and that a decreasing
is
x n + 2 = |(Xn+l + *n) (" = 1,2,3,...).
sequence which is bounded below converges. Thus we are able to deduce the
convergence of the sequence without necessarily knowing the value of its limit. Prove that <x n > converges.
But, of course, theorem 4.17 deals only with monotone sequences. In order to
Proof We have
deal with sequences which may not be monotone, we introduce the idea of a
Cauchy sequence. X n *2~ x n+\ = iOn+l +X n) ~ x n-H = h( x n ~ x n+l)-
Thus
We say that < x n ) is a Cauchy sequence if, given any e > 0, we can find an N
such that, for any m >iVand any n>N, \X„+2~ x n*l I
a «l*« x n+\\ — ^,2
2 '
X"
|A X "-l
"-'
n
Very roughly, the terms of a Cauchy sequence get 2
'closer and closer' together.
Hence, if n >m,
5.17 Proposition Any convergent sequence is a Cauchy sequence.
\Xm—X»\
••mi
*tl
= -x n ^+x n _,-x„_ 2 -.. .+x m+i -x
\x n ri
The proofs are easy. The next theorem is what makes Cauchy sequences
important.
i=i+=i+.-- + 5^:
5.79 Theorem Every Cauchy sequence converges.
Proof Let (x n ) be a Cauchy sequence. By proposition 5.18, (x > is
bounded. Hence, by the Bolzano-Weierstrass theorem, it has a convergent sub-
n
'4 + ? + - + 5^'
sequence (x nr >. Suppose that x„ -* / as r -* °°. We shall show that x -* 1 as
r n
1
m- 1
rt",-,Kil»-,l.
-
Let e > 0. Then \e > 0. Hence there exists an R such that, for any r >R, 2 1
< xn — x„ + \x„ — (An alternative method would be to show that one of the two sequences
/ (triangle inequality)
the other decreasing and then to show that
I |
1
r r
<*2n-i> and <*2*> is increasing and
< ^e + ie= e. they have the same limit.)
Given any e > 0, we have found an A'' such that, for any n > N, \x„ — 1 1 < e.
Thus x n -> / as n -> °°.
5.21 Exercise
(1 ) Suppose that <a< 1 and that < xn > is a sequence which satisfies
I
~
x n+i x n < " (" ~
a I 1 2- • • •)• Rmw that < x" ) is a Cauch y sequence
and hence converges.
52 Subsequences
Prove that a <x n < b (it = 1 , 2, . . .). Hence or otherwise show that
6
I ***! -*»!< -*n -**3 (« = 2,3,...).
Given a sequence <c n > of real numbers the sequence <s N) defined by
x n+i + hx n = x n + \x n _ = i
... = x2 + \x { .
»
(5) Let /be an interval which has the property that every sequence of
points of /contains a subsequence which converges to
Prove that /is compact. [Hint: First prove that
a point of/.
If s N * s as N -» °°, the series is said to converge to the sum s .
We write
/is bounded by assum-
ing otherwise and appealing to exercise 4.29(6). Then prove that sup /
and inf /are both elements of /with another appeal to exercise S = £ an .
n= l
4.29(6).]
T
(6) Given a set S of real numbers, let It is important to remember that this formula can only make sense when the
Sfl = £ xn = 1 + x + x2 + . . . + xN
n=
.\'+
1 -x 1
1-x
N+1 -*0 A'-* °° and hence
If |x|< l,.r as
53
54 Series Series 55
1 Proof Since the partial sums of this series increase, we only need to
s N -
-* as N -* °°.
show that they are unbounded above. But
1
!>" =
1
2~=0 x" converges if
(W<1).
|jc| < 1 and we may write s 2N =
w
I+^ + t+.-. + ^v
i
l-x 2
N
If \x I
> 1 , the series diverges.
4 4
6.3 Example The partial sums of the series
iN-l
CO
I
n= i
—
n(n+
J
1)
Thus the partial sums are unbounded above and the theorem follows.
are given by
6.6 Theorem Let a be a rational number such that a > 1 . Then the series
n =1 n(n + 1)
-l|i-n
n= i \n 4- 1
GO 1
4WBWH+ i
N N+
l
1 converges.
Proof Since the partial sums are increasing, we need only show that
1
= -•
1 --> 1 asAf-* 00 they are bounded above. For TV > 1,
N+ 1
.
1 . 1 1
Hence the series converges and we may write
1
= 1.
n= \n(n + 1)
i 1
+ T(JV-l)a
+ . . .+ N
(2 -lfj
6.4 Series of positive terms
Series whose terms are all positive (or non-negative) are particularly < 1
2° a 4" 4" 4a !
;<* \4
easy to deal with. This because the sequence of partial sums of such a series is
is
a_1
provided that l/2 < 1 . But this follows from the assumption that a > 1 tend to zero, but the series diverges. One might say that the terms of the series
Hence <s^> is bounded above and the theorem follows. do not tend to zero 'fast enough' to make the series converge.
6.7 Elementary properties of series 6.11 Proposition Suppose that the series S"=1 a„ converges. Then, for each
natural number TV, the series £„ = /v a n converges and
6.8 Theorem Suppose that the series 2„ = a„ and S"=1 b n converge to a
i
CO
and respectively. Then, X and p. are any
if real numbers, the series
Y, fl
n -*0as7v'-»-°°.
2„ = (ka n
i
+ pb n ) converges to A a + ju0. n=N
Proof We have
This result is often referred to by saying that the 'tail' of a convergent series
In the series we have studied so far, we have either been blessed with a
by proposition 4.8.
sums (examples 6.2 and 6.3) or else the partial sums
nice formula for the partial
increased and so we only had to consider whether or not the partial sums were
6.9 Theorem Suppose that the series 2„ = a n converges. Then
i
bounded above (theorems 6.5 and 6.6). What should we do in the absence of
an -> as « * oo. such favourable conditions? We ask the question: is the sequence of partial sums
a Cauchy sequence*! This question has some fruitful answers as we shall see be-
Proof Let the sum of the series be x. Then
low.
N
sn = Z a„-»-sas?j->°°. 6.13 Theorem Suppose that <a„> is a decreasing sequence of positive num-
n=l
bers such that a„ -> as n -* °°. Then the series
But then
This follows easily from the fact thata*, — aj, + 1 is always non-negative because
X(-D"
n= l <«(,> decreases.
Let e > be given. Since a n -* as n -* °° we can find an N such that, for any
diverges. This can be deduced from theorem 6.9 by observing that its terms do n>N,an <e. But for any n>m>N,
not tend to zero.
Note that the converse of theorem 6.9 is false. Just because the terms of a \$n~ *ml = lfai-«2 +a 3 -. . .a n )-(a,—a 2 + . . .a m )l
tend to zero does not follow that the series converges. Theorem 6.5 = m + — a m+2 +a m+3 —
series it la i . . .a„\
provides an example. The terms of the series
OS 1
< m + i<e
fl (because m >N).
I1
n=i n
Thus <s„> is a Cauchy sequence and the theorem follows.
58 Series Series 59
6.14 Example We saw in theorem 6.5 that the series £™=1 l/« diverges. But a any positive rational number and < 1,
6.16 Example Prove that, if is \x\
it follows from theorem 6.13 that the series then the series
n •i n 2 3 4 5 n= l
converges. Of course, theorem 6.13 yields no clue as to what the sum is. (It is, in converges.
fact, logg2.) a+2x" -+0zsn-*°°.
ft-oo/ exercise 4.20(5) we know that n
From
a+2 n
Hence the sequence (n x ) is bounded (theorem 4.25). It follows that, for
some H,
Theorem 6.13 is sometimes useful, but its hypotheses are rather restrictive. A \nV\<H/n 2 (m = 1,2, . . .).
6.15 Theorem (comparison test) Let 2™=1 b n be a convergent series of posi- the comparison test.
\a n \<b„ (« = 1,2,...)
The next two propositions are sometimes helpful. We indicate only very brief-
then the series 2„ = a n i
converges. ly how they are proved.
Proof Let e > 0. Since 2~=i b„ converges, its tail tends to zero (prop-
osition 6.1 1). Hence we can find an A' such that, for any n >N, 6.17 Proposition (ratio test) Let S„ = a„ be x
a series which satisfies
I
ft=n + l
bk <e. lim
fln + i
= I.
a*
Let the sequence of partial sums of the series Z"= a n be <s„>. Then, if
,
If / > the series diverges and, if / < the series converges.
n>m>N, 1 , 1 ,
a„ °jV + 2 N-
< |a m + il + |fl
m +2 + | . . .
4- \a„\ (triangle inequality) \a„\ = \a N -n\<Q + ey-
l
\a N ^\.
"n-l "n-2
The series S"=1 a n then converges by comparison with the geometric series
2"= + e)
n
If / > a similar argument shows that the terms of 2™= a n do
i (/ . 1 ,
i
Thus (s„) is a Cauchy sequence and the theorem follows. 6.18 Proposition (nth root test) Let ~L" =i a n be a series which satisfies
lim sup \a n
i,n m I.
=
\
chosen so that / —e> 1 . Then, for some subsequence (a nk \ The first of these series converges (example 6.14). The second diverges (theorem
6.5). We conclude that the series
' a
"fe'
> Q ~ e)" fe
"* °° as k "* °°
(-1)n-l
and so the terms of S"=1 a„ do not tend to zero.
(-1)"
n
I*n=I
=l n= l fl
T -
I
n=\
M = I k
n=l n
converges for all values of x.
Proof We could use the comparison test. Alternatively, if* ¥= 0, which converges.
as n -* °°
(n + 1)! / n\ n + 1
should be noted that the comparison test, the ratio test and the nth root
It
and hence the series converges by the ratio test. test all demonstrate absolute convergence. The only criterion we have given
which can establish the convergence of a series which is only conditionally con-
vergent is theorem 6.13
„-i n =, n 2 3 4
= 1 +(-1 + l) + (- 1 + l) + (-l + 1) +
S ^1 111 = 1 +0 + + 0+ ...
= 1.
62 Series Series 63
1 1 1 1 1
_1_
(3) Suppose that <a„> a decreasing sequence of positive terms such that
In - -2 is
1 An 4m
_„ = ! a n converges. Prove that na„ -* as n -» °°. [ Hint: consider
1 1
-|I + i+... 1
%*i+*»+a + • .. + «&»•]
2m -1 2 6 4m -2 (4) Let </•„> denote the rational numbers from (0, 1) arranged in the
sequence whose first few terms are \, 3, §, 4,4,4,... Prove that the
+—
1 1
- - + -+. . .
series
\4 8 An
1 +-+ 1
. . .
+ 1
1 + 3 + +
-1
_/«
3 2/1-1 2m
1/11
- + -+ + —1 diverges.
2 \2 4 In
-
2
ft Cm'
= -
1 /
1
-- + 1 I
+. ..
®£_?
)
(iii) _
2 \ 2 3 4 2m - 1 2m n = i(2n)! M +
\s as n
Notice that the finite sum for t 3n can validly be rearranged in any way we like.
(iv)
n=
Z \n +
4" (v) _.
n=l
-{V(«+0-V«}
M
l \j
Since t 3n + 1
— t 3n •* as n -* °° and r 3n+2 — 3n ->0 aSM -*«»,it follows that
the rearranged series converges to \s which is not the same as the sum s of our
(
_ ir -.
original series (because s ¥> 0).
n=l v«
(6) If the sum of the conditionally convergent series
6.26 Exercise
I-i + 1-i + l-...
(1) Using partial fractions, prove that
iss, prove that the sum of the rearranged series
AS) = {f(x):xeS}
7 FUNCTIONS
and say that f(S) is the image of the set S under the function /.
The set f(A) is called the range off. Note that f(A) need not be the whole
offi.
7.1 Notation
U to itself. For each j£R there exists a unique y€U which satisfies the rule
y — x2 . Observe that, in the diagram below, each vertical line cuts the graph in
A function f from a set A to a set fl (write /: A-*B) defines a rule
one and only one place.
which assigns to each x£ A a unique element y G.B. The element y is called the
image of the element x and we writer = f(x).
When A and B are sets of real numbers we can draw the graph of the function
as in the diagram below. The defining property of a function ensures that each
vertical line drawn through a point of A cuts the graph in one and only one
place.
/(-*)
The domain of this function is R. The range is [0, °°). The image, for example,
of the set [-2,1] is [0, 4]. (Why?)
2
7.3 Example Consider the equation y = x. This does not define a func-
tion from R to itself. In the diagram below, the vertical line drawn through the
point x does not meet the graph at all, and hence there is no value of y associ-
If / is a function from A to B and S C A we , say that / is defined on the set ated with x .
S.The largest set on which / is defined is, of course, the set A We call A the .
domain of/. For example, a sequence is a function whose domain is the set M
of natural numbers.
/»f«
» / \
4—w&$ )
64
66 Functions Functions 67
vertical line drawn through a point of [0, °°) meets the graph (see § 1 .9). But all this function a polynomial of degree n. A polynomial of degree is called a
but one of these vertical lines meets the graph in two points. Thus, in the dia- constant.
gram, there is not a unique value of y associated with Xj. Suppose that P and Q are polynomial functions. Let S denote the set R with
all the values of x which Q(x) = removed.
for (If Q is of degree m, it follows
from exercise 3.1 1(3) that there can be at most m such values.) Then the equa-
tion
P(x)
y =
<m
defines a function from S to U. Such a function is called a rational function.
10.°°)
7.8 Example Let S be the set R with 2 and -2 removed. Then the equa-
tion
xz +4
y = 2 -4 (x*±2)
Since y must be in [0, °°) we omit from the diagram the part of our previous x
graphs which lies Then every vertical line drawn through a
below the *-axis.
defines a function from S to R. Its graph is sketched below.
point of [0, °°) meets the graph one and only one point (see § 1 .9). Thus,
in
given any x£ [0, °°), there is a unique y G [0, °°) which satisfies 2 = x. Thus a
y
function /is defined from [0, °°) to [0, °°). Recalling the content of § 1.9, we
observe that, for each x > 0,
.v
!
+4
y = a + a x + a2 x 2 +
t
. . . + a n x"
We begin with some almost obvious notation. If S C IR and / and g are image of a unique a^A. (Otherwise /"' could not be a function). A function
two functions from S to U , then we define the function /+ g to be that func- which has this property is said to be a 1 : 1 correspondence between A and B.
f<*)-$ + \ (* SR)
x 6 -1 (I.-)
fogQc) = f(g(x)) =
\g(x)}
2
+ 1 X6 + r correspondence between
It seems clear from the diagram that / is a 1 : 1
(1, ») and (0, 1). Thus it has an inverse function. To prove this we must show
that, given any y satisfying <y < 1 , there is a unique x > which satisfies
1
Suppose that A and B are sets and that / is a function from A to B. x-l
y = (1)
This means that each element a S A has a unique image 6 = /(a) S 5.
We say that /"' is the inverse function to / if f" 1 is a function from B toA We obtain
This is easily accomplished by solving (1) for*.
which has the property that x = f~\y) if and only if y = f(x).
Not all functions have inverse functions. In fact, it is clear that a function y(x+ 1) = x-\
70 Functions Functions 71
xiy-1) = -\-y
x =
1+2
1-y- (2)
Thus, if y satisfies <y < 1, there is a unique x > 1 which satisfies (1) —
namely, that given by (2). We have established the existence of an inverse func-
tion /"' (0, 1) -* (1 °°). It is given by the formula
: ,
i+y
f\y) = l-y Cve(o,i)).
It may ormay not be true that, for some % G S, /(£) = B. If such a value of %
does exist, we say that B is the maximum of / on the set S and that this maxi-
(!.«)< mum is attained at the point £.
/attains a maximum of B at
the point £ on the set S.
Similar remarks apply to lower bounds and minima. If a function /is both
bounded above and below on the set S, then we simply say that / is bounded on
(O.n the set S. From proposition 2.3 it follows that a function / is bounded on a set
m< h.
This function is unbounded above on (0,1]. It is, however, bounded below on
This is the same as saying that the set (0, 1 ] and attains a minimum of 1 at the point x = 1
f{S) = {f(x)-.xes}
isbounded above by H.
If / is bounded above on 5, then it follows from the continuum property
7.15 Example Let /: R*U be defined by f(x) = x. This function is Explain why /has no inverse function. If, we use the formula
instead,
y = x2 show that g' [0, °°] ->
1
bounded above on both the sets (0, 1) and and in both cases its supremum
fO, 1] to define a function g: [0, °°) -> [0, °°), :
for which /(£) = 1 On the other hand, / attains a maximum of 1 at the point
.
g' (y)
,
= \/y (y>o).
x= 1 on the set [0,1].
(5) A function g: A -* B is a 1 : 1 correspondence between A and B. Prove
that
_1
(0* ° *(*) =* (xGA)
(ii)gog- 1 (y)=y (y&B).
To what do these formulae reduce when g is as in question 4?
(6) Let / and g be bounded above on S. Let c be a constant. Prove that
(i) sup {/(x) + c) =c+ sup f(x).
'//7///////////A iGS xGS
°^fy-
(ii) sup {/(x) + g(x)} < sup f(x) + sup g(x).
(0,1)
xSS xes
Give an example to show that equality need not hold in (ii).
7.16 Exercise
(1) Draw a diagram illustrating the set of all (x, y) such that
[5 if x> I
y =
2 if x < 1.
\x\ + \y\ = 1.
(hi) the equation does define a function from [—1, 1] to [0, 1].
(3) Let /: [0, 1] -» [0, 1] be defined by
1 -x
/(*) (0<*<1)
1 +x
and let g: [0, 1] -* [0, 1] be defined by
r 1
.
8.1 Limits from the left Suppose that /is defined on an interval (a, b) except possibly for some
point % G (a, b). We say that fix) tends (or converges) to a limit / as x tends to %
Suppose that /is defined on an interval (a, b). We say that/(x) tends
and write
(or converges) to a limit / as * tends to b from the left and write
-*lasx-+%
f(x) -* I as x •* b — f(pc)
or, alternatively,
or, alternatively,
lim f(x) =1
x -* b-
if the following criterion is satisfied.
if the following criterion is satisfied.
provided that b -
-8<x <b. \fix)-l\'<e
The number \f(x) — 1\ is the distance between /(x) and /. We can think of it
as the error in approximating to / by f(x). The definition of the statement
If a and are real numbers, it is often useful to note that the inequality
fix) -* / b — then amounts to the assertion that we can make the error in
as x -*
\a\ < (3 is equivalent to — < a < (3, or, what is the same thing, - <—a<
(3
< \x - 1| < 5 to
8.2 Limits from the right
the assertion -S<j:-?<6andx^|. Thus to say that is
Suppose again that /is defined on an interval (a, b). We say that/(X) say that x satisfies one of the two inequalities £— 8<x<%or%<x<% + 8.
tends (or converges) to a limit / as x tends to a from the right and write With the help of the last remark it is easy to prove the following result.
f(x) * / as x -> a +,
8.4 Proposition Let /be defined on an interval (a, b) except possibly at a
or, alternatively,
point % e (a, b). Then fix) -> / as x -> % if and only if fix) -* I as x -*
% — and
lim f{x) = I /(x)->/ as *-*£+.
x -* a+
74
76 Limits offunctions Limits of functions 77
8.5 Example Let /be the function from R to itself defined by Obviously, the choice 5 = ^e suffices to make this true and this completes the
proof that f(x) -* 2 as x * 1 +.
-x
m =
,2x
1 (x<\)
(x>\).
8.6 Continuity at a point
what happens when x actually equals % was carefully excluded. When taking
x * % given in §8.3, consideration of
limits we are only interested in the behaviour of/(x) asx tends to \ not in what
happens when x equals %.
if f(X) ' s defined, it is not necessarily true that /=/(?) (see exercise 8.15(2)
If /is defined on an interval (a, b] and f(x) •* f(b) »x-*b—»we say that /is
provided that 1 — 5 <x <
we are only concerned with values of x
1 . Since
point b. If /is defined on an interval [a, b) and
continuous on the left at the
satisfying x < we can replace f(x) by 1 -*. The condition \f(x) - 0|< e
1
we on the right at the point
f(x) -*f(a) as x -> say that /is continuous
,
a +, then
then becomes 1 — x < e which is equivalent to — e <x —
1 \ < e. Adding 1 1
a.
throughout, we see that f{x) - |< e is the same as 1 - e < x < 1 + e.
|
The problem is now reduced to the following. Given any e >. 0, find a S >
such that
f(b)---/-\-z-
1 -e<x<\ +e /(a)--
Obviously, the choice 6 = e suffices to make this true and this completes the
proof that f(x) -* as x -> 1 — f continuous at j-. / continuous on /continuouson
the right atfl.
(ii) f(x) -* 2 as x •* 1 +. Given any e > 0, we must show how to find a 5 > the left at b.
such that
provided that < x < + 6. Since we are only concerned with values of x
1 1
satisfying x > 1 we can replace f(x) by 2x. The condition \f(x) - 2|< e then /(*) = ax +
,
becomes \2x - 2| < e which is equivalent to — e < 2(x — 1) < e. Thus is continuous at every real number |,
l/(x) - 2|< e is the same as 1 - ^e < x < 1 + |e.
Proof Assume a # 0. (If a = 0, the proof is even easier.) Let e > be
The problem now reduced to the following. Given any e > 0, find a 5 >
is
> 0, we have found a 5 > such that |/(x) — /(£)| < e provided
Given any e 8.10 Example We show how theorem 8.9 can be used to prove that the
that \x
— 1| < 5 Hence f(x) -> /(£) asx -»g and so /is continuous at the point
. g.
function /: R -* R defined by f(x) = ax + (3 is continuous at every point g (see
Note that we showed that /(.x) — /(£) < e 'provided that x — g < 5' example 8.7).
* <*>. By
|
as x -»•
g- This because, when x = g,
is automatically true that /(jc) — /(g) < e it is | I
proposition 4.8, ax n + * «| + P as n -» °°. From theorem 8.9 it follows that
because then f(x) — /(g) = 0. |
only when we are considering a limit =£/(g)
| It is / ax + * ag + p as x -* g and this concludes the proof.
that it is important to exclude the possibility that x = g.
y=/te>=«X+/
8.9 Theorem Let /be defined on (a, b) except possibly for g € (a, b). Then
f(x) •* I as x •* g if and only if, for each sequence Cx n> of points of (a, b) such
that xn =£ | (n = 1 , 2, . . .) and *„ -> g as n •* °°, it is true that f(x n) -* I as n -* °°.
and x n + 1 as « -> °°. Since 5 > we can find an iV such that for any n>N, 8.11 Properties of limits
\x n - %\< 5. But x n ¥= g (n = 1 , 2, . . .) and so < \x n - g|<5. But this implies
that
The following propositions are analogues of the combination theorem
and the sandwich theorem of chapter 4. They are easily deduced from these
l/W-'Ke.
results with the help of theorem 8.9.
Given any e > 0, we have found an N such that, for any n>N,
|/(x„) - /|< e. Thus f(x„) -* / as « -* °°. 8.12 Proposition Let /and g be defined on an interval (a, b) except possibly
Now suppose
(ii) that, for each sequence (x n ) of points of (a, b) such that at g G (a, b). Suppose that f(x) I as x *
g and g(x) *
as x -* g and suppose *m
x n & % (» = 2, 1 > . . .) and jc„ -* g as « -* oo it is true >
that f(x n ) •* I as n -* °°. that X and p are any real numbers. Then
We now suppose that not true that/(x) •* / as x
it is -» g and seek a contra- (i) \f(x) + pg(x) ^\l + pmasx^H
diction.
If it is not true that /(at) + / as x * g then, for some e > 0, it must be true (iii) f(x)lg(x) -* l/m as x ->
g (provided m =£ 0).
that for each value of 5 > we can find an x satisfying < |.x — g| < 6 such that
An important consequence of proposition 8.12 is the following result which
\f(x)-l\>e.
we quote as a theorem.
In particular, if S = 1/ra, then we can find an xn satisfying < \x n — g| < 1/n
such that 8.13 Theorem A polynomial is continuous at every point. A rational func-
and x n -> I as n -* °° but for which it is not true that f(x„) -* I as n -* °°. This Hence, if
contradicts our assumption above.
= n + a,x + a
P(x) a nx + a n - 1 x"-
1
+ . .. ,
Similar results to theorem 8.9 hold for convergence from the left or right. For then a repeated application of proposition 8.1 2(i) yields P(x)^P(& asx -> g,
example, fix) -> / as x -» Z> — if and only for each sequence Cx n > of points of
if,
i.e. Pis continuous at g.
(a, 6) such that x n + 6 as « -» °°, it is true that /(x n ) -> / as n -* °°. To show that a rational function is continuous wherever it is defined we
appeal to proposition 8.12(iii).
80 Limits offunctions Limits of functions 81
8.14 Proposition (sandwich theorem) Let f,g and /; be defined on (a, b) f(x)>0
except possibly at | e (a, b). Suppose that g(x) -*• / as x •* f , h(x) •* I as x -* %
provided that £ - <x <£ +
/; /i and x # £. What happens if (i) / < 0,
and that
(ii) I - 0?
g(x)<f(x)<h(x)
except possibly when x = %. Then/(x) -* I as x -* £.
8.16 Limits of composite functions
But some care is necessary. Consider, for example, the functions /: R -> R
15 Exercise i
and g: R -* R defined by
(1 ) Calculate the following limits
2 0*1)'
= 1)
g(x) = 1.
m = 1 (x = 1)
&7 7 Theorem Suppose that f(y) -* I as y -» tj and that £(x) -> 77 as x * |.
2x (x<l). Then either of the two conditions below is sufficient to ensure that
Show that /(at) -* 2 as x -> 1 - and f(x) -* 2 as x -> 1 + using only the /&(*))-»/ as *-»•$.
definitions of §8.1 and §8.2. Deduce that the limit
(i)/is continuous at 77 (i.e. /
= /(t?)).
lim f{x)
X -* 1 (ii) For some open interval / containing £, it is true that g(x) # 77 for any
x S 7, except possibly x= £.
exists but is not equal to/(l). Draw a graph.
/Voo/ Let e > be given. Since f(y) -> / as y •* tj, we can find a A>
(3) Let /be defined for all x except x = by
such that I/O) - /|< e provided that < \y - 77I < A.
».fl±£=I <^0). Writing v =g(x), we obtain
|/fe(x))-/Ke (0
Prove that f(x) -» 2 asx -» even though /(0) is noj defined.
provided that
(4) Use the definition to show that |x — £| -* as x -> £. A function /is
defined on an open interval which contains % and, for each x in this < \g(x) - 7?|< A (2)
interval, /(x) lies between £ and x. Prove that/(x) -> £ as x -* %.
But £(x) -* 7? as x -* £ and A > 0. Hence we can find a 6 > such that
(5) Let n £ N Prove that the function / [0, °°) -» R defined by
. :
\g(x)-v\<A (3 )
f(x) = x Vn (x>0)
provided that
is continuous at each >
and continuous on the right at 0. [Hint:
£
Use the sandwich theorem and exercise 3.1 1(2) to prove that/is con- 0<|.x-£|<5. ( 4)
tinuous at £ > 0. For continuity on the right at 0, appeal to the defi-
We would now like to say that (4) implies (3), which implies (2), which in
nition of f(x) -* as x -* +.]
turn, implies (1). This would complete the proof. But notice that (3)
does not
(6) Suppose that f(x) * I as x -> £. If / > 0, show that, for some h > 0,
82 Limits offunctions Limits of functions 83
imply (2) in general. We therefore need to use one of the hypotheses (i) or (ii) of 120 Exercise
the theorem. (1) Prove the following
we assume
If that/is continuous at 77, then / = /(rj) and so \f(y) —l\<e even (i) x'
1
-* — °°asx->0 —
when y = r\ (see the remarks at the end of example 8.7). Thus, in this case, we (ii) x
7,
-* + °° as x -* + °°.
may replace condition (2) by condition (3) and the argument described above (2) Suppose that f(y)
* I as y * + « a nd g(x) * + °° as x * + «. Prove
goes through. that/(g(jc)) -» / as x * + °°. Explain why the difficulties encountered in
If instead we assume hypothesis (ii), then we can be sure that£(je) ^17 pro- theorem 8.17 do not occur in this case.
-+ 1 as y *
1
vided that x satisfies (4) for a sufficiently small value of 5 >0. But then con- (3) Suppose that f(y) +. Prove that fix' ) -+l asx-> + °°.
dition (3) can be replaced by condition (2) and the argument goes through again. (4) Suppose that /is defined
on (a, b) except possibly for | G (a, b). Let
(x n ) be a sequence of points of (a, b) such that x n i= % (n = 1 2, .) , .
.
(x rational)
(1
provided that | <x < g + 6.
(x irrational).
We say that f(x) * / as x -* — °° if, given any e > 0, we can find an X such
that Show that
|/(x)-/|<e
lim f(x)
x -*
provided that x < X.
does not exist.
(6) If /is defined as in the previous question, prove that
iim {*/(*)} = 0.
I-»0
~>H
1
x
provided that <x < 8 . Obviously the choice 8 = H' 1
satisfies the requirement.
Continuity 85
Note that, in both diagrams, the graph of /is unbroken above the interval in
question.
CONTINUITY interval / provided that:
In general, a function / is continuous on an
(i) it is continuous at each point of/ which is not an endpoint;
(ii) it is continuous on the right at the left hand endpoint of/, // this exists
and belongs to /;
(iii) it is continuous on the left at the right hand endpoint of/, //"this exists
and belongs to /.
\ 3/2 (*>1).
A function / is continuous on an open interval / if and only if it
is continuous at each point of/. Then / is continuous at every point except x = 1 But / is continuous on the .
left at x = 1 and thus /is continuous on the interval [0,1]. It is not continuous
on [1,2].
Where an endpoint of an interval belongs to the interval, a slightly more com-
plicated definition is required. The most important case is that of a compact
interval [a,b].
-^mmt&i \f(x)-f(y)\<e
84
86 Continuity Continuity 87
9.4 Proposition Let X and n be real numbers and suppose that the func- We split the content of the continuity property into three lesser theorems and
tions /and g are continuous on an interval /. Then so are the functions prove these separately. Given that /is continuous on 1 = [a, b] , it follows from
(i)X/+W? theorem 9.9 that /=/(/) is an interval. From theorem 9.1 1 it follows that the
PDA interval /is bounded and from theorem 9.12 that J includes its endpoints.
(iii) fig (provided g(x) ¥• for any x e /).
9.9 Theorem Let /be continuous on an interval /. Then the image of /
9.5 Proposition Let g : / -* J be continuous on the interval / and let under/is also an interval.
/: J-*R be continuous on the interval /. Then / o g is continuous on /.
Proof To show that J =f(I)={ f(x) x € / } : is an interval we need to
,
\c.d
9.11 Theorem Let /be continuous on the compact interval [a, b]. Then /is
bounded on [a, 6].
\a.b\
Proof Suppose that /is unbounded on [a, b]. Then we can find a
88 Continuity Continuity 89
(see exercise 4.29(6)). Since [a, b] is compact, there exists a subsequence <x„ >
r
9.72 Theorem Let /be continuous on the compact interval [a, b]. Then/
achieves a maximum value d and a minimum value c on [a, b]
Proof We know from the previous theorem that /is bounded on [a, b].
Let <2 be the supremum of /on [a, b] and consider a sequence < X n ) of points of
[a, b] such that f(x n ) -* d as « -* °° (see exercise 4.29(6)). Since [a, b] is com-
pact, (x n ) contains a subsequence <x„ r > which converges to a point * S [a, &],
Because /is continuous on [a, b], it follows that /(x„ ) -*/(£) as/--* <*>. Hence 9.16 Example Let/: [a, b] [a, b\ be continuous on [a, b] Then, for
r .
^•(H)
= ^ and thus the supremum d is actually a maximum. some £ G [a, ft],
A similar argument shows the infimum to be a minimum.
m) = t
Thus a continuous function from a compact interval to itself 'fixes' some
9.13 Example The function/: R -* R defined by point of the interval. (This is the one-dimensional version of Brouwer's fixed
point theorem.)
5 (x>l)
= Proof The image of [a, b] is a subset of [a,b]. Thus f(a) > a and
/(*)
2 (*<1) fib) < b. The function g [a, b] •* U defined by g(x) = f(x) — x is continuous
:
on [a, b] by proposition 9.4. But g(a)>0 and g(b) <0. By corollary 9.10, for
is not continuous on [0,2]. Observe that 2 = /(0) < 4 </(2) = 5 but there is
some £ e [a, b] it is true that£(£) = 0. Thus/(£) = %.
no value of £ between and 2 such that /(£) = 4. Note that, for X satisfying
2<X<5,
{x:f(x)<\} = {2}; {x:f{x)>\} = {5}.
9.14 Example The function/: (0, °°) * R defined by /(x) = 1/x is con-
tinuous on the open interval (0, 1) but is not bounded on (0, 1). The function
g R * R defined by g(x) = x is continuous everywhere and happens to be
:
bounded on the open interval (0, 1). But g does not attain a maximum value or
a minimum value on (0, 1).
9.17 Exercise
9.15 Example Show that the equation
(1) Each of the following expressions defines a function on (— 2, 2).
17x 7 -19a- 5 -1 =
Decide in each case whether or not the function is continuous on (a)
(1 (*<1) (1 (0<x<l)
(iii) f(x) = {
(iv) fix) - j
\2 (x>l) iO (otherwise)
10 D IFFERENTIATION
+4 2 x(x-\) (0<*<1)
(v) /(*) = *2 (vi) /(*) =
x -4 (otherwise)
(3) Show that all polynomials of odd degree have at least one (real) root. ,.
lim
*-**
/(*)-/(£)
x-%z
—
(4) Suppose that / is continuous at every point and that f(x) -> as
\ax)-f(y)\<a\x-y\ From an intuitive point of view, to say that a function /is differentiable at %
for each x £ / and y £ /. (Such a function is called a contraction map- means that a tangent can be drawn to the curve y = fix) where x = £. The slope
r-/(£> + /(.v {)
91
92 Differen tiatiun Differentiation 93
we require that the slope of the chord PQ approach the slope / of this line as (ii) Let/: (0, <*>) -* R be defined by f(x) = 1/x (x > 0). Then
x -* £. The slope of the chord PQ is
qr
_
PR x-%
for all values of x > 0.
and hence our requirement reduces to
Proof We have
Here o(h) denotes a quantity which tends to zero when divided by h. This form 10.4 More notation
of the definition lends itself more readily to generalisation.)
We shall avoid the notation introduced in this section because, when
using this notation, it is difficult to make statements with a precision adequate
for our purposes. In many applications, however, it is unnecessary to maintain
10.2 Higher derivatives
this level of precision. In such cases, the notation described below can be a very
If /is differentiable at each point of an open interval /, we say that/is
useful and powerful tool and it would be pedantic to deny oneself the use of it.
differentiable on /. In this case it is natural to define/' or Df to be the function
Replace £ by x and h by 5x in formula (1) of § 0.1 Then 1 .
from / to R whose value at each point x £ / is f'(x). We can then define the
+ 8x)-f(x)
second derivative /"(£) or D 2f(g) at the point % by /'(*) = lim
&x -• o
f(x
8x
=
Sx
lim
- o S*
— (3)
/'(*)-/'(*)
fm = I™
1 x-% If>> =f(x), the quantity 5^ =f(x + 8x) —f(x) is usually said to be the 'small
change in y consequent on the small change 8x in*'.
provided that the limit exists. Similarly for third derivatives and so on. From formula only a short step to the much used (and commonly
(3) it is
abused) notation
10.3 Examples
(i) Let/: R->R be defined by f(x) = x 2 Then
.
f{x +h)- f{x) -dfix-h) = o in) ih + 0) (5) as the quotient of these quantities and abandon all the apparatus of limits. This
metaphysical notion admittedly an attractive one and it is on this idea that
is
provided that /is differentiable at*.
Newton based his 'Theory of Fluxions'. Unfortunately it cannot stand up to
For a fixed value of*, the equation
close logical scrutiny.
k = dfix-h) = f\x)h (6) (Note: A common error is to confuse the terms derivative and differential. A
derivative is sometimes referred to as a 'differential coefficient' (because of (7)
is the equation of a straight line. If the h and k axes are drawn as below, (6) is
above) but should not be called a differential.)
the equation of the tangent to the graph of the function /at the point*.
10.6 Theorem Let /be defined on an open interval / which contains the
A" =/'(.v)/i
point £. If /is differentiable at £, then /is continuous at %.
Proof We have
/(*)-/(£)
fix) -m) = (*-£W(S)-0as*^.
x-%
Hence /(*) -*/(£) as x -* | and the proof is complete.
The reader may justifiably feel that little or nothing has been added to our 10. 7 Example Let /: U •* U be defined by
understanding by the introduction of the idea of a differential, the idea being
> 1)
more useful when functions of several variables are being considered. Our only
reason for discussing differentials is to explain the meaning of the equation
m =
[1
-1
(x
(*<1).
dy = f'ix)dx. We can see immediately that /is not differentiable at the point 1 because it is
dy = -fdx (7)
dx
a valid one.
* ix>\)
dy denotes 'the small change in y consequent on a small change
It is false that
=
/(*) 2
dx Formula (5) tells us that this is nearly true for small values of dx but it
in *'. x ix<\).
will only be exactly true for functions /with a straight line graph. Should it be
Then /is continuous at 1 but not
necessary to discuss 'small changes in * and >>', the notation 5* and 8y is
differentiable (The graph has a 'corner').
available and one can say that 8y is approximately equal to f'ix)bx.
Even more false (if that is possible) is the idea that dy and dx are somehow
We have
'infinitesimal quantities' obtained by allowing 5* and 8y to tend to zero. One
would then regard
Iim ; — lim ; = 1
h->0+ h h--0+ h
dy
dx /0+^)-/(l) (1+/Q 2 -1 .
r
lim ; = ,.
lim ; = 2.
h-»o- h h->o- h
10.9 Theorem Suppose that /and g are defined on an open interval /con- Now assume its truth when « = k. Thus Z>.x "fee*"1 . Using theorem
fe
1 0.9 (ii),
taining the point %. Let X and \x be any real numbers. Then, if /and g are
+ k -
D(x h l
) = D(x h .x) = x h
.l +x.kx 1
= (A+l)x fc
differentiable at £,
(i)
(ii)
£>{X/+WT} =
D{fg) = fDg + gDf
+ liDg W and the result follows by induction.
Let/:
n is a negative integer
RHR be defined by
and .v .
(3)
h
2x (x>l)
/(*) =
x 2 +1 (x< 1).
(«)
A Prove that /is differentiable at the point 1 and has derivative 2.
separately.]
A polynomial P of degree n = and
=
m+h)-m) g (S+*)-g(l) (4) has the property that />(£)
*ci + /o +/«) />'(g) = 0. Prove that
h h
P{x) - (pc-tfQ(x)
m 1
(
flt+*) ftm _ /g+ft)gg)-g(s+ft)/(S)
'Taylor polynomial' P defined by
= »
L m m+h)-m _ m g(.i+h)-m pw = f® + ^rfm + ^=rVa) + •
(•*-£)" fCn-iy
+ -/»-»(|)
i
{*«)/'(*) -/«)*'(S)} as A -0. (« - 1)!
5
fed)}
has the property P*\|) = / w(g) (* = 0, 1 , 2, . . . , n - 1 ). (Note that
<fc)
/ (l) denotes the derivative of order k at the point jf.)
^(6) Let/and,? be n times differentiable at the point %. Prove 'Leibniz's
70.70 Example If « is a natural number, then, for any x,
rule',
Dx" = nx"-\
10.15 Exercise
Proof Recall thatfog(x) =f(g(x)). We therefore have to consider
(1) If* >0 and «SN, prove that
f(g(x+h))-f(g(x))
h D{x vn \ = -x lln x-K
n
Write k = g(x +h) —g(x). Since g is differentiable atx, it is continuous there
-* -* 0. [Hint: exercise 3.1 1(6). Recall that the continuity of the nth root func-
and so k as h Suppose that k=£0. Then
tion was considered in exercise 8.15(5).]
f(g(x + h))-f(g(x)) _ f(gix+h))-f(g(x)) g(x+h)-g(x) (2) Use the previous question and the rule for differentiating a composite
h g(x + h)-g(x) h ' function (theorem 10.13) to show that, for any rational number r,
r ~'
__ f(y + k)-f(y) g(x+h)-g(x) D{x r ) = rx
k h
provided thatx>0.
tempting to deduce the conclusion of the theorem immediately. But care values of x for which they
It is
(3) Evaluate the following derivatives for those
is necessary. What happens if, for some values of h, k = g(x +h)—g(x) = 0? To exist.
get round this difficulty we introduce the function
(fjy + k)~f(y)
(i) D{ 1 + x V2 Y s
(ii) Dy/(X + V(* + V*)).
(**0) '
(4) Suppose that
F(k) - k
(
f'(y) (* = 0).
Since /is differentiable sty, F(k) -+f'(y) as fc ->- 0. Because F(0) =f'(y), it
follows that F is continuous at the point 0. From theorem 8.1 7(i) we deduce whenx=l. Prove that/'(l) = or /(l) = 1.
that (5) Let/: R->R be differentiable at x. Suppose that/admits an inverse
function/" U-*U which is differentiable atj =f(x). Prove that
1
F(k)^f'(y)ash^0 :
Df(x)
For k^Ov/e have shown that
[Hint: f'
1
°f(x) = x\ The function g: R^-R defined by g(x) = x3
f(g(x+h))-f(s(x)) g(x + h)-g(x) .
= F(k) .
- admits an inverse function
#""':
U-*U.
1
Isg' differentiable at the point
h h
0?
But this equation is also true when k = since then both sides are zero. It t(6) A function/: R^-R is defined by
follows that
f(£(x + h))-f(g(x))
f'(y)g'(x) a sh^Q
m =
—x
x (x rational)
(x irrational).
Proof By definition
Suppose that /'(£) > 0. From Exercise 8.15(6), it follows that for some open
interval /=(£-/?,? + h)
>0 (1)
11.1 Local maxima and minima x-%
Let/be defined on an open interval (a, b) and let £ E {a, b). We say
that /has a local maximum at £ if provided that xG 1 and xl=%.
Let x, be any number in the interval (£ — h, %). Then x — % < and hence
m<m follows from (1) that/(x,) < /(£). Thus /cannot have a local minimum at £. Let
t
it
for all values of x in some open interval / which contains Similarly for a local x2 be any number in the interval (£, £ + h). Then x 2 — % > and so follows it
%.
minimum. from (1) that/(x 2) >/(!). Thus/cannot have a local maximum at %.
/'(£)>
{ *i 'b
J f/(?) is maximum value of/ on the whole interval (a, b), then obviously
the
/has 1 1 .3 Stationary points
a local maximum at £. But the converse need not be true (see the diagrams
above). A point | at which /'(£) = is Not all
called a stationary point of/.
stationary points give rise to a local maximum or local minimum. The reader
11.2 Theorem Suppose that/is differentiable on (a, ft) and that £G (a, b). will be familiar with the case when /'(?) = and /has a point of inflexion at % as
/'a) = o.
f\i) = o
But worse behaviour than this is possible. The diagram below illustrates a case
where /'(?) = but /has no local maximum, no local minimum, and no point of /'(«) = Kb) -m
b-a
inflexion at £. (See the solution to exercise 16.5(6).)
11.4 Theorem (Rolle's theorem) Suppose that /is continuous on [a, b] and Proof LetFbe defined on [a, b] by
differentiable on (a, b). If /(a) = f(b), then, for some % G (a, b),
F(x) = f(x) + hx
f'Q) = 0.
where h is a constant. Then F is continuous on [a, b] and differentiable on
(a, b). We choose the constant /( so that F(a) = F(b). Then
Xa)=f(b) —
and so
h = - mb-a-m
Since F satisfies the conditions of Rolle's theorem, F '(£) = for some
% G (a, b). But then
F'{%) = f'm + h -
Proof Since /is continuous on the compact interval [a, b],it follows and the theorem follows.
from the continuity property (theorem 9.12) that/attains a maximum at M
some point £i in the interval [a, b] and attains a minimum m at some point g in 11.7 Theorem Suppose that /is continuous on [a,b] and differentiable on
2
the interval [a, b]. (a, b). lff'(x) = for each xG (a, b), then /is constant on [a, b]
Suppose £, and % 2 are both endpoints of [a, b] . Because f(a) = f(b) it then Proof Let y G (a, b] Then /satisfies the conditions of the mean value
.
follows that m = M and hence / is constant on [a, b] . But then /'({•) = for all theorem on [a,y] Hence, for some £ G (a,y),
.
Suppose that | t is not an endpoint of [a, b] . Then £, G (a, b) and /has a local
f'CO = m-m
maximum at £,. Thus, by theorem 11.4, /'(£]) = 0. Similarly if | 2 is not an end- y-a
point of [a,b].
But /'(£) = and so f(y) = /(a) for any y G [a, b\
[Note the importance of the continuity property in this proof.]
(Note: This theorem will be invaluable in chapter 13, about integration. It may
seem intuitively obvious but, without the mean value theorem (which depends
ultimately on the continuity property), it would be very hard to prove.)
1 1 .5 Mean value theorem
U-6 Theorem {mean value theorem) Suppose that /is continuous on [a, b]
and differentiable on (a, b). Then, for some % G (a, b), 11.8 Exercise
f(x) = x(x — l)(x — 2). Determine the maximum and minimum values 1 1 .9 Taylor's theorem
of/on the interval [0, 3]
(2) Suppose that /and g are continuous on [a, b] differentiable on (a, b) ,
and that g'(x) =£ for any x G (a, b). Prove that, for some | S (a, b), Suppose that /is s'y = M) + U- ?)/'«)
differentiable at the point £. Then
the equation of the tangent to
g'm g{b)-g{a)- y=f(x)
y = fix) at the point % is
lira {y-y/V+y
1
)}
p(x) = /(?)
+ yr(*
- tr'cu + ^ - ?) /"od +
2
• • •
[Hint: put_y =x l
(4) Suppose that /: U
.
-
is differentiable at every point and that
+
^ L
T)i
(x
"
r" /<
""
1>(l)
/'(*) = x2 are the same as those of/. (See exercise 10.1 1(5).)
*
(5) Let /: U •* U be n times differentiable at every point. Let P be a
where | > £i> , % n are a 'l distinct points. Prove that, for some |, again, how large may the error be in this
'
<n) approximation?
/ (?) = 0.
>-
i
*(6) Letg-: U~*-R satisfy ^(0) =^(1) = and suppose that/: R->R is
differentiable at every point and y = f(x) is a solution of the differen-
These questions are answered to some extent by the following version of
tial equation Taylor's theorem. If n = 1, thetheorem reduces to theorem 1 1 .6 (the mean
dy value theorem). One may therefore regard Taylor's theorem as the Kth order
g(x)f+y = 1. mean value theorem.
dx
Prove that/(x) = 1 for any x satisfying <x< 1 . [Hint: Use Rolle's 11.10 Theorem (Taylor's theorem) Suppose that /is n times differentiable on
theorem to show that any open subinterval of (0, 1) contains a point £ an open interval / which contains the point %. Given any x G I,
at which /(|) = 1 . Then appeal to the continuity of /in the manner of
exercise 9.17(2).] fix) = m) + ^ (X - !)/*<D + i (x - oY'm +
+
(«-l)!
i
&-& , -1
f *-%) + E„
i
Mean value theorems 107
106 Mean value theorems
m) = ^(x-m
n\
in
\n) (2)
F'O) = /<»>(y)
(» - 0!
The function
has the property that G(£) = G(x) = 0. It follows from Rolle's theorem that
there exists an 77 between x and % for which
(n-l)!
7 w ((x-|) n
rw
Identity (2) follows.
72.77 Exercise
n(n-\)
(1 + *)" = 1 +nx+ K
x2
,
x .
(3) Let /be n times differentiable on an open interval 7 which contains the
point if and suppose that D"/is continuous at the point g. You are
given
"
fm = /"© =...=/ <n l)
(£) =
Monotone functions 109
12.4 Theorem
(i)Let /be increasing and bounded above on (a, b) with smallest upper
/. Then f{x)
-> / as x -*a +.
Proof We only prove (i). Let e > be given. We have to find a 5 >
such that, given any x satisfying b — 8 < x < b.
l/<X>-/.Ke
i.e.
12.1 Definitions
L-e<f(x)<L + e.
Let /be defined on a set S. We say that f increases on the set S if and The inequality f(x) < L + 6 is automatically satisfied because L an upper is
only if, for each x G S and y G S with x <y, it is true that bound for/on (a, b). Since L - e is not an upper bound for/on (a, b), there
exists a y G (a, b) such that /( y) >L-e. But /increases on (a, b).
Therefore, for any x satisfying
If strict inequality always holds, we say that /is strictly increasing on the set S. y<x<b,
Similar definitions hold for decreasing and strictly decreasing.
L-e<f(y)<f(x).
A function which is either increasing or decreasing is called monotone. A
function which is both increasing and decreasing must be a constant. The choice 5 = b —y then completes
the proof.
y
12.5 Corollary Let /be increasing on (a, b). If £ G (a, b), then /(£ —) and
/(£ +) both exist and
/(£+>
Ptoo/ The function /is bounded above on the interval (a, %) by /(£).
provided that these limits exist. Do not confuse /(£ —) and /(£ +) with/(£),
By theorem 12.4, the smallest upper bound is/(£ -). It follows that, for any
which is the value of the function/at £f.
In example 8.5, /(l —) = = f(\)but
/(l +) = 2.
108
110 Monotone functions Monotone functions 111
/-?/—
12.6 Differentiable monotone functions
(i) If f'{x) > for each xG (a, b), then /is increasing on [a, b] If fix)
. >
for each x G (a, b), then /is strictly increasing on [a, b]
(ii) If f'(x) < for each x G (a, b), then /is decreasing on [a,b]. If f\x) <
for each xE(a,b), then/is strictly decreasing on [a,b].
Proof Let c and d be a/ty numbers in [a, b] which satisfy c <d. Then
/satisfies the conditions of the mean value theorem on [c,d\ and hence, for In the case when / is an interval and / is continuous on /, then J = /(/) is also
_1
some if G(c,rf)> an interval (theorem 9 .9) Observe that /. J -* / is continuous on /. This is a
:
fm = f(d)-m
d-c '
we could find a X G / for which /(X) would be undefined.)
If /'(*) > for each x£ (a, b), then /'(£) > and hence f(d) >f(c). Thus /
increases on [a, b].
If fix) > for each x G (a, b), then /'(£) > and hence fid) >/(c). Thus /
is strictly increasing on [a, b].
Similarly, for the other cases. / ' discontinuous at if
r (£-)<x </-'(£+)
1
dx (dy\
=
dy \dx)
12.10 Theorem Let / and / be intervals and let 7° and J° be the correspond-
ing open intervals with the same endpoints. Suppose that
/:/->/ is continuous
on I and that /=/(/).
If /is differentiable on 1° and
12.9 Inverse functions
£>/(*) >0 ixEI")
A strictly increasing function /defines a 1 :1 correspondence between continuous on /. Also /
"' on J" and
f' :J^I exists and differentiable
v is
then is
112 Monotone functions Monotone functions 113
l This argument shows that, given any y there exists exactly one x > >
Df~\y) = (ye J") u = x". Our basic assumption about nth roots made
Df(x) (namely x =y
") such that.y
in §1.9 has therefore been justified.
provided that y = fix). calculated the derivative of the nth root function.
we
In exercise 10.15(1),
in this case.
Proof It follows from theorem 12.7 that /strictly increasing on /and We can therefore check the validity of the formula of theorem 12.10
^ ——
hence/"' :/-*•/ exists. The continuity of/" 1 has already been discussed. There
_ i y i/« y -i
remains the consideration of its derivative.
Let y G/°. Then x =/"'(j) S 1°. Put k =f~\y + h) -f~\y). Then
^ 1/n
= sr-
= i
n{y Un f-' n
y y '
/"'(;' + h) =f-'(y) + k=x + k. Thusj> + h = f(x + k) and it follows that If m is an arbitrary integer, the rule for differentiating a composite
function
r l
(.y + fQ-r l
(y)
m k
|
i
as/z->0.
12.12 Exercise
h f{x + k)-f{_xff\x) (1) Suppose that /increases on the compact interval [a, b] .
Prove that /
= (x + \iln
1 _ x l/n
f(X) l)
Observe that true that, if X lies between f(a) and fib), then a % G / can be found
such that /(?) = X (see corollary 9.10). Prove that /is continuous on /.
/'(*) = nx"- l
>0 (x>0). Does the same conclusion hold if the hypothesis that /increases is
be defined by
<*>(x) = lim
Mix)
h _>o- h >>-»o+ «
f(ax+py)<af(x)+0f(y) (1)
both exist for each x£/.
whenever x G/andy E.I. If the inequality sign is reversed, we say that /is con- < < Put x = x,, x 2 = x + ft, and
Proof Suppose that ft, ft
2 .
cave on /. It is obvious that /is concave on /if and only if —/is convex on /.
;c 3 = x + ft 2 in (3). Then
The geometric interpretation is that any point on a chord drawn to the graph
of a convex function lies on or above the graph. /(x + ft,) -/(*) /(x + ft
2 )-/(x)
ft
2
lim FQi)
h-*a+
/convex / concave
A similar argument establishes the existence of
then foUows from theorem 12.4.
sometimes useful to rewrite the definition of a convex function in the
It is the left hand limit.
following way. A function /is convex on an interval / if and only if, for all
pointsx,,x 2 and 3 on the interval / satisfying x, <x 2 <x 3 ,
f(X2)-f(x 1 )
< f(x 3 )-f(x l )
(3)
Xo-X, x*—x.
continuous on /.
Proof From theorem 12.14,
f(x + )-/00
-v 3 .v, lim {/(* + ft) -/(*)} = ( ,
hm 7—
ft
lim ft) =0.
h->o-
'•— "-
h-*0- h->-0-
(2) slope P,P,< slope P,P3 (3) slope P,P, < slope P,P S
Similarly,
That (2) and (3) have the same content as (1) is easily seen by making the
substitutions x, =x,x 2 = ax + (Sy and x 3 =y f(x + h)-f(x )
+ ft)-/(x)} -
,.
(see exercise 1 2.21(2)). lim lim ft| = 0.
lim {/(x
:
h-»0 + h-*0+
h-*0 +
116 Monotone functions Monotone functions 117
12.17 Example The function/: R-> R defined by 12.20 Examples The functions/,^ and h defined on (0, °°) by /(x) -x\
g(x) = 1/x and h(x) = x+
x~ l ate all convex on (0, °°) because their second
1 (|x|<I) derivatives are all non-negative on (0, °°).
*(4) Suppose that /is convex and differentiable on the open interval /. If
- /(£)> - = / (t?)
X 2 ~X, X-i—X-, % G /, prove that
where x, < % <x 2 <r\<x 3 Since Df increases, /'(?) </'(t?) f(x)-m)>f'(%\x-%) (xe/).
.
and therefore
inequality (2) holds. Thus /is convex on /. con-
Interpret this result geometrically. What result is obtained if /is
(ii) Suppose next that / is convex on /. Let x , < x 2 < x 3 < x4 . By inequality cave on/?
Let 0: U -* R be a strictly increasing, convex, differentiable function
/(*a)~/(*i)
— x, < /(* ) -f(x 2)
3 /(x 4 )-/(x 3)
on R and suppose that 0(£) = 0. If x, > % and
x-> X,—Xi Xa
Ignore the middle term in this inequality and let x -> x , + and
2 x 3 -> x 4 — We.
= x„ — 0(*n) (a = 1,2,...)
obtain /'(x,) </'(* 4 ) and it follows that Df increases on /.
If /is
prove that x„ •* $. as n * so. (This method of obtaining an approxima-
twice differentiable on /, an even simpler characterisation of convexity
tion to the zero of is called the Newton-Raphson process.)
results.
+
(5) Let /be differentiable, convex and bounded on R. Show that /is a
12.19 Theorem Let / be an open interval and suppose that /is twice constant.
diffe-
rentiable on /. Then / is convex on / if and only if
"I"
(6) Let /be continuous on an interval /and satisfy
interval /,
13.1 Area
Suppose that /is continuous on the compact interval [a, b]
If itmakes sense at all to talk about the area under the graph, then presum-
have been
ably this area must be at least as big as the areas S] and S 2 which
shaded in the diagrams below.
Let S denote the set of all numbers S which can be obtained as the
sums of
the areas of little rectangles as in the diagrams above. Then the 'area' under the
identify the 'area' under the graph of /with the smallest number larger than
119
120 Integration
Integration 121
Suppose that /is continuous on the compact interval [a, h]. We pro- bounded above by H(b —a). Hence it has a smallest upper bound and we may
pose to give a definition of the integral define
™ = 2
^"t ft*)
Suppose that / is bounded above on [a, b] by H. Thus /(/) <Hfor any "b
S cdx = c(b—a).
r fa, ft] . Then
S(f) = E WfcO'fc-J'fc-i)
13.6 Corollary Let /be continuous on [a, b] and satisfy |/(r)l <k for any
t £ [a, b] . Then, for any £ and x in the interval [a, b] ,
The next proposition is also very simple, provided that one recalls the proper- b
ties of sup and inf. (See exercise 2.13(2) and exercise 7.16(6i).) £ fit)dt< j a
f(t)dt-S(P2)
and so
13. 7 Proposition Let /be continuous on [a, b\ and let c be a constant. Then b L
b
s(p*)<j
a
mdt-\ a
f(t)dt.
J„
{f(t) + c}dt = \ f(t)dt + c(b-a).
a
A similar argument now yields
The next and final result of this section not quite so easy and so we give the " -
dt < £" fit) dt
is
fit) fit) dt
proof. J"c jl
and therefore
13.8 Theorem Let /be continuous on [a, b] and let a<c< b. Then
•b
b
+j
ja f(t)dt>f
f(t)dt f(t)dt. (3)
€
ja
f(t) dt = £ f(f) dt +j fit) dt.
a
Now let P be any partition of [a, b] and let Q be the partition obtained from
Proof We use the notation of § 13.2. Suppose, in the first place, that
P by inserting the extra point c (if it does not already belong to P). It is easily
Pi and Pi are any partitions of [a, c] and [c, b] respectively. Then the set P of
seen that
points in at least one of the sets P, and P2 is a partition of [a, b]
S{P) < 5(0.
„D " i i i i i i ii i
L Let Pi be the partition of
and let P2 be the partition of
[a, b] consisting of those points of
[c, b]
Q which
consisting of those points of
lie
Q
in
which
[a, c]
[ II HI 11 I I I I
],,
= S(P ) + S(f>2). I 1
~b
S(P)<j f(t)dt
a
because of definition (1) of §13.2. Thus, given any partition P x of [a, c] and any
We have
partition/^ of [c,b],
SiP)<S(Q) =SiPd+Sm
siPi) + s(p2) <[/•«) dt
<j° fit)dt + j* fit)dt.
a
S(Pd<j*f(t)dt-S(P2 ). (2) The right hand side of this inequality is therefore an upper bound for the set of
all numbers S(P) where P is a partition of [a, b] Hence .
sup5(P,)< f(t)dt-S(P2) i .e
ja fit) dt < fit) dt + £ fit) dt. (4)
f ja
Combining (3) and (4), we obtain the conclusion of the theorem.
where the supremum extends over all partitions P t of [a, c] . Recalling the
definition of an integral, we obtain
124 Integration Integration 125
13.9 Differentiation and integration Since /is continuous, one feels that, if h is very small, the shaded region will
a rectangle and hence area will be approximately hf{x). Thus
Let /be defined on (a, b). Suppose that F is continuous on [a, b] and 'nearly' be its
is a primitive for/
where we divide by the small number h to obtain (5). In the next theorem we
provide a precise proof of the result.
75.77 Theorem Let fbe a primitive for/on [a, b] and let G be defined on
[a, b] . Then G is a primitive for/on [a, b] if and only if, for some constant c, Tlieorem Suppose that /is continuous on [a, b] and that F is defined
75.72
G(x) = F(x) +c on [a, b] by
differentiable on (a, b) and, for each x G (a, b), able on (a, b) and F\x) = f(x) for each xG (a, b).
What have primitives to do with integration? Suppose that/is continuous on F(x)-F® = }*/(') dt
[a, b] Then we may define a function Fon fa, b] by
.
%) -
J*
f®4t (a<x<b). \F(x)-F(£)\<k\x-$\.
In the next theorem, we shall show that F is a primitive of/ on [a, 6] . But And, from this inequality, it follows that F is continuous on [a, b]
first we give a rough, intuitive argument to indicate why one might suppose this
A more subtle argument is needed to show that F is differentiable on (a, b).
to be true in the first place. Given x G (a, b), we seek to explain why one might If x and | are in (a, b) and x ¥= %, then
suppose that F'(x) -f(x).
The number F(x) may be interpreted geometrically as the 'area under the
graph of /between a and x'. The shaded region in the diagram below should
therefore have area F(x + h)—F(x).
/•(.v + h)-F{x)
x x +h ft
126 Integration Integration 127
Let e>0 be given. If £G (a, b), then /is continuous at the point % and so, for for some constant c. Hence
some 5 > 0,
•b
/(f) dt = {F(b) + c}- [F(fl) + c}
1/(0-/(91 <« J
provided that \t — £| < 5. Hence, provided that \x — %\ < 5, it follows that = G(b)-G{a).
1/(0 —/(I) I < e for every value of t in the compact interval with endpoints £
and*. From corollary 13.6, we conclude that
2 2 2
1 2(1 + ; ) (1 + r ) '
< .elx-il
it follows from theorem 13.14 that
= e 1
:dt =
provided that < \x — £|< 5. But this is what meant by i; o.+ff 2(1 + f) 4 4
is the assertion
F(x)-FQ)
•/($)as*-*{.
*-i 13.16 Riemann integral
We have therefore shown that F is differentiable on (a, b) and F'(|) = /(£) for
The integral
each | £ (a, 6).
•b
/. /w* (6)
75. 75 Example was defined as the supremum of all areas like that shaded in the left hand dia-
dt
gram below. It would be equally sensible to define the integral as the infinum of
D c l+t 100
'
all areas like that shaded in the right hand diagram below.
1 +x 100
If /is continuous on [a, b] these two definitions yield the same result. The
F(x) = f /(r) dt (a < a: < 6).
,
By theorem 13.12, Fis a primitive of/ on [a, 6] and, by theorem 13.11, any But (6) and (7) are equal because F is a primitive for/ on [a, b] if and only if
integrable and call the common number obtained from the two definitions the 13.18 Exercise
Riemann integral of /on [a, b]
(1) Prove that, given any natural number «,
1
=
13.17 Example We know that J>" dx B-f 1
Show that the same result holds if?? is replaced by any rational number
JJ
X *dx = [W]h = i. a =£ — 1 provided that <a < b.
(2) Since the integrand is a square, the following result must be wrong.
To illustrate the idea discussed in § 13.16, we evaluate the integral without Explain why.
using the theory of differentiation. 2
2 ax
= -1-1 = -2.
1
f
Jo (x-l? x-l
(3) If a is a positive rational number, prove that
a + 2
a
+ 3 Q + ...+«"} =
- » -ir{l
Hffl
" « a+ 1
n n Jo Theorem Suppose that /and g are continuous on [a, b] and that X and
fit \ ) tx \n] n 13.20
H are any real numbers. Then
^{0 +l +... + («-l) }<^ x dx< L{ l 2 +
2 2 2 2 l
+...+„*}
2
\" {x/(o + ng(t)} dt = x
b
\a
f{t) dt + n j* m dt.
b
=
Proof Let H be a primitive of g — /on [a, b) . Then
Ja
\"
f(t)G(,)dt [F(r)G(r)]2- P
Ja
F(t)g(t)dt.
DH(t) - g(t) —f{t) > (a < t < b). By theorem 1 2.1,11 therefore increases on
and that /is continuous on an open interval which contains the image of [a, b]
under 0. Then Proof This is much the same as that of example 1.11. For any x,
"
{xfit)+git)fdt
0<J fl
Proof Let 2 2
= x2 f {fit)} dt + 2x\" fit)g(t) dt + I*" {git)} dt
JO JQ JO
= Ax 2 + 2Bx + C.
From theorem 10.13 and theorem 13.12, Thus the quadratic equation Ax 2 +2Bx + C = cannot have two (distinct)
roots. Hence
d
F(0(«)) = F'(<p(u))<p'(u) = /(0(W ))0'(W ).
du B2 <AC
It follows from theorem 13.14 that as required.
(2) Suppose that /is twice differentiable on fa, b] and that/" is continu-
ous on [a, b] . Prove that T
J-i-a
f(x)dx = lim
y-*a* Jy
\" f(x)dx
b
Note that, if/is continuous everywhere, we define
xf"(x)dx = {bf\b)-f{b)}-{af(a)-f{a)}. provided that the limit exists.
ja
*(3) Let /be positive and continuous on [1 , °°). Suppose that P~ f(x)dx = f°
f(x)dx + P~ f{x)dx
provided that the appropriate limits exist, i.e. we allow the upper and lower
limits to recede to +°° and -°° respectively independently. We do not define
Prove that /(.v) § (x> ) (x - 1 > 1 ) . [Hint : The integral the improper integral by
1/2
ft {F(t)}- F'(t) dt is relevant.]
*(4) Suppose that /and g are continuous on [a, b] and that g(t) > lim f(x) dx.
—> DO J—X
(a<r< b). Prove that
grate by parts.]
(6) By integrating many times by parts, show that the error term in (ii)f
1
^= lim
f*- lim[2x" 2 ]i= Hm (2-2V>') = 2.
-
&=w£ fr-o*- /^)
1 1
*« dt 1
v
J?
provided that/ (,,) is continuous on /. Show how the form of the error
— V*
' dx
D
x
°/w^ = iimjo /w^
j; x |**xdx = U -^ 2 2
^0asAT^ + °°.
provided that the limit exists. Similarly, if /is continuous on (a, b] then we
,
define
they are not
The integrals defined in this section are called improper because
to include the little
given by the definition of § 13.2. It is perhaps pedantic
134 Integration Integration 135
arrows in the notation for improper integrals and most authors would simply
delete them. But for those who
propose to study integration more deeply, it is
a„ +1 -a„ = zm-j**
1
fies
\m\<m (xei).
If the improper integral of <p over the interval /exists, then so does that of/. > £/(*)- I A*) = /(«)> o
fe=i fc=i
This is, of course, an analogue of the comparison test (theorem 6.15), for
series and may be proved in much the same way. If/ happens to be non-negative and so <A n > is bounded below.
on / a simpler proof may be based on theorem 12.4 concerning the convergence From theorem 13.32 it follows that, if /is positive, continuous and decreas-
of monotone functions. ing on °°), then the series and the improper integral
[1 ,
f-»oo dx either both converge or else both diverge. The theorem therefore provides a
Ji r + x2 criterion for the convergence of a series or an improper integral and for this
dx 1
r "dx
+ °° as n -* °°.
13.31
n x
Euler-Madaurin summation formula
^°°
We discuss only a simplified version of this useful result. In particular, the improper integral / x" 1 dx does not exist.
13.32 Theorem Let /be continuous, positive and decreasing on [1 , °°). Then
the sequence <A„> defined by 13.34 Exercise
i + x+x s
dx
/(* + !)< J/ f(x)dx<f(k) [Hint: for (v) and (vi) recall example 13.33.]
Thus (2) Prove that, for 0< y <\,
136 Integration
r(i'2)+y
J(l/2)-y
— —X)
— \,
2x
x(l
-dx = 0.
(3) Let a be a rational number with a > 1 . In theorem 6.6 it was shown
that the series
oo 1
converges. Base another proof of this result on theorem 13.32. 14.1 Logarithm
We define the logarithm for each x > by
logx=J
*
fr* dt-
i
It follows immediately from the definition that log 1 = and that, for each
x>0,
Dlogx = -.
x
Also,
D 2 \ogx = =.
We conclude that the logarithm is strictly increasing and concave on (0, °°).
log x -* + °° as x -* + °°
and
log x •* — °° as x -* +.
(For an alternative proof of these results, see exercise 14.3(1) below.) With this
information the graphs = log x can easily be drawn.
137
138 Exponential and logarithm Exponential and logarithm 139
log e = 1
logx^y.
The value of e is approximately 2-718 (see exercise 15.6(4)).
Given a positive rational number r, prove that
14.2 Theorem Suppose that x > 0, y > and r is rational. Then r
(i)x" logx ->0 asx -> + <»
(i) \ogxy = log* + log .y iii)y
r
logy ->-0 as>> -»0 +.
(ii) logOO = r]ogx. (These results are usually remembered by saying 'powers drown
Proof (i) For a fixed value of y > 0, consider the function logarithms'.) [ Hint take s < r when proving (i).]
: <
"(3) Show that Fix) = x log x - x is a primitive for log x on (0, °°). Deduce
f(x) = lOgATJ-logJC.
that
We have
log(l+*)dx = 2-1.
xy xxx i
2 log
xy—\ogx =
C W»
log c (x> 0). (2»)!
log-'
1
-
log — as n -* °°.
To obtain the value of c, put x — 1. Then n w! e
f\x) = - .rx
r
r -'-- 0. Suppose that x x > e and x n+1 = e log x„ (« = 1 , 2, . . .). Prove that
X X
x„ -* e as « -» °°.
Hence /is a constant and *(5) Prove the existence of a real number y (Euler's constant) with the pro-
perty that
\ogix
r
)-r\ogx = c.
occasion arises for the use of 'logarithms to the base 10' as found in the
'log'.
h » 2 3 4
(1) Prove that log 2 > 0. By considering log 2" and log 2~", show that a i
expx-1 +x)
14.4 Exponential m
(i)
,.
lim — =
.
1
....
(ii)
..
hm
log(l
= 1 -
From theorem 12.10 we may deduce the existence of an inverse func- x-*0 * x-»0 x
tion to the logarithm. We call this inverse function the exponential function and (4) Suppose that h is positive and continuous on [0, °°) and that
write h {x)>H(x){x>Q\ where
y = exp* if and only if x = \ogy.
Since the logarithm function has domain (0, °°) and range R, the exponential H(x) = 1 + h{t)dt.
Jo
function has domain R and range (0, °°).
Prove that, for any x > 0,
h(x)>expx.
y — exp .v
/(*) = exp{18* 3 }
is (a) convex, (b) concave.
n
["* i
Observe that the exponential function is strictly increasing on R and that [
f{x)dx< £/«< f(x)dx.
Jo k% J
exp x-t + coasx-^ + c*
— n < log n\ < (n + - n and hence
1
D exp x =
D\ogy
1 1
—y — exp*. — < exp n < ; .
\/y n\ n!
14.6 Powers
r
14.5 Exercise If a > and r is rational, then we have defined the expression a . We
propose to extend this definition to include non-rational exponents.
(1) If x andjc are real
numbers and r is rational, prove that
(i)exp(x+,y) = (exp x)(exp y)
If a > and x is real, we define
x
(ii) exp (rx) = (exp x)
r
. a = exp (xloga).
[Hint: These may be deduced from theorem 14.2. Alternatively, they
But does this definition agree with our old definition in the case when x is
may be proved directly. In the case of (i), for example, by differentiat-
rational? It follows from theorem 14.2(h) that, if r is rational, then
ing
exp (x + y)/(exp x)
Recall that e is defined by log e = 1 . Equivalently e , = exp 1 . Observe that
with respect to x.]
x = =
(2) Prove that, for any rational number r, e exp {x log e} exp x
(i) x~ r exp x-^ + ooasx-*-!- 00
which explains the familiar notation for the exponential function.
r
(ii) x exp x -» as x -* — °°.
(Roughly speaking, 'exponentials drown powers'.)
(3) Use L'Hopital's rule (exercise 1 1 .8(3)) to prove that
142 Exponential and logarithm
14.7 Exercise
(i) a
x *y = a ay
x
(ii) (ab)
x = a b
x x 15 POWER SERIES
x = xy
(iii) a" = \ (iv) (a )
y
a .
a
x
(2) Prove that the derivative of a with respect to x is (log a)a x .
(3) Write
lim = e"
in which x is a variable.
l
,/n
« = exp -\« % n
and hence show that n l,n *1 as n -* °° (see exercises 4.20(6) and converges is an interval with midpoint £.
5.7(1)). Proof We shall show that, if the power series converges when x =y,
(5) Discuss the existence of the following improper integrals. then it converges for all x satisfying \x—$\<\y—%\. The theorem then
follows.
ȣ dx
J-+0 J-f-oo 1 +X 2
;dx.
<
I.v-£i
5«-«
Ir-fl
»-
zero. I* -«
P = <1.
y-ll
Hence
\a n (x-t-)"\ = l^^-O^.P^-^P" (« = 1,2,...).
143
144 Power series Power series 145
I fl„(jf-0" [-1,0
:Ti n
now follows from the comparison test (theorem 6.15) since 2„=oP" converges.
We call the set of values ofx for which a power series converges its interval of [-1,1]
convergence. If the endpoints of the interval of convergence are £ —R and
| + R, we call R the radius of convergence of the power series. (If the interval of
convergence is the set U of all real numbers, we say that the radius of conver-
gence is infinite.) 15.4 Taylor series
The proof of theorem 1 5.2 shows that a power series converges absolutely at Suppose that /can be differentiated as often as we choose in some open
all points of of convergence with the possible exception of the end-
its interval interval / containing the point g. Then its Taylor series expansion about the
points. At the endpoints the series may converge absolutely or it may converge point £ is
should not be automatically assumed that this power series converges with
It
and
sum/(x). Indeed there is no reason, in general, to suppose that it converges at
= lim all (except when x = %) and, even if it does converge, its sum need not be f(x)
R (see exercise1 5 .6(6) below). A is function / which the sum of its Taylor series
The formulae by propositions 6.17 and
are justified 6.18. In both cases, appro- expansion in some open interval containing £ is said to be analytic at the point £.
priate conventions must be adopted if the right hand side of the formula happens The most natural way of showing that a function is analytic is to prove that
to be or + °°. In the second case, of course, the sequence <|« the error term in Taylor's theorem (theorem 11.10) tends to zero as n
* <*>.
n+1 \j\a„ |> may
oscillate. If this happens, the limit does not exist and so the second formula
becomes useless.
75.5 Example It is paTfeularly easy to write down the Taylor series expan-
sion of the exponential function about the point 0. If f(x) = exp x, then
f \x) = exp x.
in = the expansion
15.3 Example We
list some power series about the point 0, together with Since exp i , is
Power series Interval of convergence sum e x l From Taylor's theorem we know that
»* = 1 +—+
x x2
—+ . . . H
X*-1
+ -
x n
I
n=o
1! 2! (h- 1)! «!
I inx)
n
{0} 1 +
x
— x
+— 4- . . .+
*~] =
x"
n=0 1! 2! (« - l)!j n\
Z* n (-1,1) n\
» as n -* °°
146 Power series Power series 147
(by exercise 4.20(4) or by theorem 6.9). The partial sums of the power series
x
therefore converge to e and thus, for all values of x.
,
*(5) Prove that e is irrational. [Hint: assume that e = mjn, where m and n
are natural numbers and seek a contradiction using the inequality of
question 4.]
15.6 Exercise *(6) Let/: |R-*R be defined by
(1) Determine the intervals of convergence of the following power series ,-l/x"
(**0)
fix) =
(x =
» £ e 00 I
n=0
nix" OH) I (-1)"
(2«>!
[0 0).
n
n2 n
(«!)
0v) I C-I) :
(2« + 1)!
(y) L
& ^rr.x
(2b)!
(vi) E
n=l V"
/<">(*) = Pn H e
-l/x'
(2) Prove that the Taylor series expansion of log (1 + x) about the point
where Pis, a polynomial of degree 3m. [Hint: use induction.] Using
is
exercise 14.5(2), deduce that, for each natural number n,
I (- ir 1
= x
X*
+X X
—+ ...
2 3 4
^-*0asx-»-0+.
n=l x
Using Taylor's theorem in the form given by exercise 13.26(6) show Hence show that /can be differentiated as many times as we choose at
that this power series converges to log (1 + x) for — <x <1 1 . Hence the point and/
(n)
(0) = (n - 0, 1 , 2, . . .).
give another proof of the identity Write down the Taylor series expansion of/ about the point 0. For
what values of jc does this converge to/(x)?
log2 = l-i + i-|+...
(see exercise 14.3(5)).
(3) Prove that the application of Taylor's theorem in the form of theorem
15.7 Continuity and differentiation
11.10 (with | = 0) to the function log (1 + x) yields a remainder term
The following proposition is useful. Its proof has been placed in the
of the form
appendix since it is somewhat involved. The reader will encounter the proof
(-1)' again at a later stage when studying 'uniform convergence'.
E« =
1+7,
15.8 Proposition Suppose that the power series
where r? lies between and x. For what values of x is it possible to
show that En -* as n -* <x> without further information about the
manner in which 77 depends on x and ;i?
f( X ) - 1 4&-£r
n=0
(4) Prove that
has interval of convergence /. Then its sum is continuous on / and differentiable
1 1 1 K + 2 on / (except at the endpoints). Moreover
...<
(« + 1)! (« + 2)! (n + 1)!
'
n + 1
alternative way. (1 + x) a = 1 + ax x2 + . . .
2!
We know that the power series
provided that | X | < 1 (general binomial theorem).
1
(-!<*<!). has interval of convergence /. If y E I but is not an endpoint of/,
1 +x prove that
D log(l+*)- E (-!)"- =
l+x l+x (4) Prove that
converge in some open interval /containing \. Prove that their sums are
f{x) - a e*.
Trigonometric functions 151
16 TRIGONOMETRIC FUNCTIONS
16.1 Introduction
%-y
dx converges for all real values of x and that
and defined the exponential function as the sum of a power series as indicated in /"(*)+/(*) = o.
exercise 15.10(6).
By proposition 15.8,
In a similar way, the definitions of the trigonometric functions can be based
n
on the formula = a + at x+ a2x
2
+...+ anx +...
f(x)
n
dt fix) = «!+ 2a 2 x+ 3a 3 x 2 +...+ in + l)a nti x + . .
x
arctan
-r
Jo ]+t 2
'
obtain
x 2n+l
z = cosx = —
dy
sin x =
yv = sinx
,
dz
sin* £ (-1)" =;t _^! +
dx
:
150
152 Trigonometric functions Trigonometric functions 153
Both these power series converge for all values of x by comparison with the *(6) Use exercise 13.26(5) to prove that
x
power series for e .
c" sin t
-dt
Note that we take these formulae as definitions. The definitions of elementary m
trigonometry concerning the 'opposite', the 'adjacent' and the 'hypotenuse' are provided that n>m> 0. Explain why it is possible to deduce the
not precise enough for our purposes in this book. The remarks of §16.1 are existence of the limit
simply intended to indicate why we chose to define sine and cosine as we did.
lim
„->=oJl
"sin
(-"sin
t
— t
dt.
16.3 Exercise
16.4 Periodicity
(1) Prove the following.
Since cos = 1 and cos (— x) = cos x and the cosine function is con-
(i) cosO = 1 (ii) sinO = tinuous, there exists a % > such that cos x > for x S (— £, £).
But the cosine function not positive the time. If this were the case, then
(iii) cos (— x) = cos x (iv) sin (— x) = — sin x. is all
would follow from the formula D cos x = — cos x that the cosine function
2
it
Show that, for all values ofX, was concave. But a bounded, differentiable function cannot be concave unless it
By definition, cos £tt = cos (— \n) = and cos x > for - \v <x < \-n. We
h(x) = cos(x +y)~ cosx cosj' + sin* sin.y. show that sin \it =
2
It follows from the formula cos x + sin x = 1 that
1 .
2
for all values of* andy, [— {-n, j7rj Since sin = it follows that sin jtt > 0.
.
...
00 —— ^
1 cos x 1
>-asx 0.
trt
(5) Use the mean value theorem to show that, for all values of x
sinx
<1.
t Let/: *U be defined by
(2) We define the tangent function by (6)
tan* =
sm x
(x^{n + \)rt:n = 0,±l,+2, sin - {x # 0)
.).
COS X
. .
x
fix) =
+ 7r) = x + = 0, (x = 0).
Prove that tan (x tan provided that x =£ (« £) i\ where n
±1, ±2, . . . Show that the tangent function is strictly increasing on
Let#: R -> R and/i: R->R be defined by g{x) = xf(x) and
(— \ir, \tt) and that tan x •* + °° as x -> \tt — and tan x -* — °° as h(x) = x f(x). Draw graphs and prove the following.
2
call this function the arcsine function. Draw a graph of this function
and calculate D arcsin x for — <x <
1 1 . (Some authors use the
notation sin" x, but we prefer not to, since the sine function has no
inverse. The arcsine function is the inverse of the restriction of the sine
function to [— \-n, ^n]).
Discuss the arccosine function obtained as the inverse of the restric-
tion of the cosine function to [0, rr\ . Calculate D arccos x and explain
how the arcsine and arccosine functions are related.
(4) Show that the arctangent function, obtained as the inverse of the'
restriction of the tangent function to (— \tr, \-n), has domain U and
range (— j7T, \tj). Draw a graph and calculate D arctan x. Hence show
that
dx
Jo \+x 2 2'
+
(5) Suppose that /has a continuous derivative on R and that
x +y
/M+/O0 =/ \—xy
for each x andy such that xy <\. Prove that, for some constant C,
f(x) - C arctan x. By writing* =jc in the formula and considering
what happens when x -*• 1 , prove that arctan 1 = \n. —
Show that, for - <x<l.1
X X X
arctan x = x 1
K..
3 5 7
The gamma function 157
3(1 -x 22\")
Thus
1
rf n -"<*„+,<;
3{(2n + l)
2
-l} 12« 12(n+l)
1
It follows that the sequence (,d n —(12b)" } is increasing. In particular,
17.1 Stirling's formula
If ( a n ) and < b„ > are sequences of real numbers, the notation a n ~ bn d n -{\2n)-
i
>d l --h (n = 1,2,...)
means that
and hence the sequence < d n > is bounded below. Since < d n > decreases, it follows
that {d n ) converges.
* as n -+ ca
b„
1 .
Suppose that d n -* d as n -* °°. Since the exponential function is continuous at
every point, exp d n •* exp d as n •*. •*>, Let C = exp d then
Proof Consider the sequence < d n > defined by It remains to show that C= V(2t)- We leave this as an exercise (exercise
m =
1
^io g
i
1
+* -1
-x
vided that x > 0.
f*-*«-»<JSft**
Since r
x+1
e"'
(r>l)
fl
2
r*°° x ~ 2
-1 and hence the existence of t
l
e~'dt follows from that of/,"*" f dr,
2*11 2 3 2 3
jc
2
xA x6
3 5 7
0) /7.4 + Exercise
Therefore <c/„> decreases. sequence of positive numbers which satisfies nl„ = (n — l)/n -2
(n = 2, 3, . . .).
756
158 Tlie gamma function The gamma function 159
x
Deduce thai n n\
fix) = lim (2)
„"'- x(x +])... (x+nY
hn as n -> °°.
follows from exercise 17.4(4, 5 and 6) that the gamma
1
function satisfies
It
the hypotheses of the theorem. Since a sequence can have at most one limit, we
^(2) With the notation of the previous question, establish the identities
can therefore conclude from (2) that/(x) = T(x) (x 0). >
(2n)\ n The proof of (2) uses the convexity of log / Suppose that s < f < s + 1 . Then
=0,1,...)
hn
(2
n
n\f 2
("
we may write t = as + (3 (x + 1) where a>O,0>Oanda + |3=l. Now
t = (a + 0)s + = s + (3 and so = t - s.
(2"«!) 2 follows that
(« = 0,1,...). From the convexity of log/, it
'2n*l
(2n+ I)!
log/(r) < a log/(x) + log/(s + 1)
Hence show C obtained in §1 7.2 satisfies C = \/(2n).
that the constant
T
(3) Let dn = log n\ - (n + j) log n+n. Show that the sequence fit) < imrm + o}"
{d n — (12«) increases but that the sequence (dn — (12n + 1) >
-l _1
>
'
(5) Prove that the gamma function is continuous on (0, °°). [Hint: If Now suppose that <x < 1 and that n is a natural number. We may take
0<a<a<.K<_)><£<|3, prove that, for some constant H which does s = n + and t = x + n +
1 1 . Then
not depend on x aty, \r(x) T(y) \<ff\x - —y {r(a) + x x
(6) Prove that the logarithm of the gamma function
| 1X0)}.]
(x + n) f(n + 1)< f(x +n + 1)<(» + D /(« + 1 )• (5)
is convex on (0, °°).
(Hint: exercise 12.21(6) and theorem 13.25.] From this inequality it follows that
x
(x + n) xn < (x + n)(x + n -
! 1) . . xf{x) <(n + l) n\
1 7.5" 1
Properties of the gamma function >+.x»+ .-n...v M < + i)',
The gamma function provides a generalisation of the factorial function
,^ ; (,
Proof The proof consists of showing that, under the hypotheses of the r« = log- dt.
theorem, for each x > 0, I t
1 60 The gamma function
+
(2) Prove that T(x) ~ yj(2n)x x'
x in e' x This
. is Stirling's formula for the
gamma function. [Hint: see theorem 17.6, inequality (5).]
*(3) Use L'Hopital's rule to show that
18 APPENDIX
log(l +z)-z
lim
z-»0
With the help of Stirling's formula for the gamma function, deduce
that, for all x > 0,
1
18.1 Introduction
(V«)/u(« +*>/«)• e ' as u
V(2rr)
In the preceding chapters a number of results were stated without
where proof. These results were referred to as 'propositions'. The proofs were omitted
from the main body of the text to avoid confusing the issue with too much
AM - j^-V. 1
detail. Instead we give the proofs here.
* (4) The beta function is the function of two variables defined for x > and
8.2 Bounded sets
y > by the formula
1
y > 0. Prove that, for a given fixed value of y > 0, B(x, y) is a positive,
|x < K for any x e S, it follows that K
|
is a lower bound for 5 and is an
continuous function of x on (0, °°) whose logarithm is convex on upper bound for S. Thus 5 is bounded.
Suppose, on the other hand, that S is bounded. Let H be an upper bound and
(0,-).
'(5) With the notation of the previous question, prove that, for a given fixed h a lower bound. Put K = max {| H I, h !}. Then I
value of y > 0, the function /: (0, °°) -*R defined by -K<h<x<H<K (xGS)
r( * + and hence x < K for any x G 5.
f(& = (x>0) | \
( y f B(x,y)
satisfies the conditions of theorem 17.6. Deduce that, for x > and 1 8 .3 Combination theorem
^>0,
Proposition 4.8 Let xn -» / as n * °° and y n * m as n -* °°. Let X and m
r«ro>)
B(x,y) = be any real numbers. Then
r(x+y)
(i) Xx n + p.y n -*\l + /t»i asn-*<*
T
(6) Use the previous question to evaluate T(j). Hence show that ('0 Vn -*lm as n-*°°
x
P~ x2' 2
dx = (iii) — — ->
I
as n -* °° (provided that m i= 0).
e~ V2ir.
yn m
Proofs o/0'O and (iii)
161
162 Appendix Appendix 163
\x n y n -lm\ = \x n y n -x n m+x n m-lm\ Taking (1) and (2) together, we obtain, for any r >R,
< I
xn I
• I y n ~~ m + m I
xn — 1 I I . I 1
(triangle inequality) \x mr -i\ = \x mr -i+i-h
= zn - < ke + he
For n > N, consider With this information, we construct inductively a subsequence (x„r ) which
xn -* 1 as r •* °°.
X n_J_ 'nx n -yj satisfies
= Then there an «, such that - 1< Take
Take e 1 in (3). exists |
*„_ / 1 .
yn m my„
e = \ in (3). Then there exists an n 2 >n ,
such that |
x„ 2 - 1 < k- In this waY we
construct a subsequence <jc„ > which satisfies
< \mx n -y n l\.
m
By proposition 4.8 (i), mx n - y n l -* ml — ml = as n -* °°. The result therefore
l*n r -'l<7
follows from corollary 4.1 1
and hence x„ r -* 7 as r -* °° (sandwich theorem).
18.4 Subsequences
Proposition 5.17 Any convergent sequence is a Cauchy sequence.
Proposition 5.13 Let (x n > be a bounded sequence and let L be the set Proof Let e > be given. Then £e > 0. If x n * I as n -* °°, then we can
of all real numbers which are the limit of some subsequence of (x n ). Then L has any n>N,
find an A' such that, for
a maximum and a minimum.
\*n-l\<te.
Proof The L
non-empty (Bolzano-Weierstrass theorem) and
set is
bounded (theorem 4.23). Hence L has a smallest upper bound/. We seek to show Equally, for any m > A^,
that IGL, i.e. there exists a subsequence (x
n > such that x n -*lasr-*°°. -l\<i e.
\x m
> 0. Then je > 0. Since 7 bound of L, 1 — £e
L
Let e is the smallest upper is not
an upper bound of L. Hence there exists znlEL such that Thus, if m > N and n > N,
-I,
l>l>l-\e. \x n -x m = \ \x n -l + l-x m \
bounded.
Proposition 5.18 Any Cauchy sequence is
Hence there exists an R such that, for any r >R,
Cauchy sequence. It is true that, for any e > 0, we
Proof Let <x„> be a
\xm — u<y. (2) can find an N such that, for any n > N and any m > N, x n
- x m < e. In parti- | |
and any m>Ni. If I > 1 , we may choose e > so small that / -e> 1 .
Let < x„ r > be a sub-
l*nl<l*JVll + !
Hence a„^0asn-» M (theorem 5.2) and thus S*-i a n diverges.
Now take
A' = max {|*i | 7
|x 2 1, . . . , \x Ni |, |*n,-mI + 1} 1 8.6 Limits of functions
lim
<n+l
= /. provided that 0<|*-£l<5.But£-5<*<£ implies that < * - % |< 5 I
-* g +.
take e > so small that —e> Then, for a sufficiently large value of /V,
implies that | /(*) -l\<e. Thus /(*) -* / as *
/ 1 .
"N+2 given. We can find a 5j > such that | /(*) - < e provided that
/ ]
Kv-h
«n-l "n-2 g-5 <*<|. 1
Proposition 6.18 (nth root test) Let 2„ =! a„ be a series which satisfies Let 5 = min {S, , 5 2 } . Then /(*) |
-l\<e provided that
lim sup |a n |
1/n
= /. £-6<*<£andg<*<g-6
i.e.
^-5<*<? + 5and*^?
If / > 1 , the series diverges and, if / < 1 , the series converges. i.e.
Since 2™=1 (/ + e)" converges, the convergence of E~=1 a n follows from the (i) X/(*) + pg(x) -> X/ + (WW as * *£
comparison test.
(ii) /(*)£(*) ^/« as* ^£
166 Appendix Appendix 767
Proof (i) Let <x n > be any sequence of points of (a, b) such that x„ =£ £ Proposition 13.4 is proved in §13.2.
(n = 1 , 2, . . .) and x„ -> £ as n -> <». By theorem 8.9, /(x„) -* / as n -* °° and
g(x n ) -* m as « + °°. By proposition 4.8(i) Proposition 13. 7 Let /be continuous on [a, b] and let c be constant.
Then
*/(*n) + Atf(*n) -* X/ + /im as « -> °°.
\\ {/(<)
+ c} dt = £ f{t) dt +c(h- a).
Appealing to theorem 8.9 again we obtain
and non-negative on the open interval /. Suppose also that /is continuous on /
Proof If *€/ but not an endpoint of/ then the condition y G / and
is
and satisfies
I
x —y < 5 just the same as x — y |< 5 provided that 8 sufficiently small.
| is | is
The criterion given in the proposition therefore reduces to the assertion that |/(*)|<0(X) (xG/).
f(y) ""*/(*) as y •* x, i.e. /is continuous at x.
If the improper integral of (p over the interval /exists, then so does that of/.
Suppose that x € / and is a left hand endpoint of /. The the condition y G I
and x — y < 5 reduces tox<y<x + 8, provided that 5 is sufficiently small. Proof We consider only the case when / = (0, °°) and the integral
| |
The criterion of the proposition therefore reduces to/(^) ~*f(x) asy -*x +,
/ = P°° <t>ix)dx
i.e. /is continuous on the right at x. Similarly if x G/and is a right hand end-
point.
exists. Let
Propositions 9.4, 9.5 and 9.6 are entirely trivial consequences of the results
indicated in the text.
«n = f"
Jn-l
/(*)<**; bn=r
Jn-1
<Kx)dx (« = 1,2,...).
Then the series 2~=i b„ is a convergent series of non-negative terms (with sum /).
Also
Appendix Appendix 169
168
N
I :
a„*o"
m = lim f f(x)dx
where Xo = *o — £•
= x —x For values of y satisfying < x — y <6, consider
exists. Given any X > 0, we may take N to be the smallest natural number satis- Put 5 | \. | |
-x
lim f(x)dx = »?
f
= (Y"' 1 -X n ~ l
) + x(r n_2 - x"- 2 ) + ...+ X"-\Y- X).
as required.
But from each of these terms we can extract a factor of (Y — X). The right
hand side then reduces to the product of {Y — X) with the sum of \n(n — 1)
terms of the form X Y where r + s = n — 2 The number \n (n — 1 ) arises from
r s
.
Proposition 15.8 Suppose that the power series 1 +2+3 + .. . + (n - 1) = %n(n - 1) (example 3.9).
Since
fix) = £
n=0
«„(*-*)"
\X\ = |x-5l<|x -5l - *,, I
and m - ly-|KI*-tl + » » 1-Xbl
I
has interval of convergence /. Then its sum is continuous on / and differentiable we have
y n -z" nH
on / (except at the endpoints). Moreover -nJC n-I <-«(n-i}ijr i »|y-jfK
r-AT
Hence
f(x)= X mdx-HT'1
n=l
-
lAKir-jriJ^i^Ti
Proof Let the radius of convergence of the power series be R.
-+0as K-i-AT.
Suppose that Xany point of / other than an endpoint. We can then
is
find another point x of / so that x lies between £ and x and thus It follows that /is differentiable at each x in / which is not an endpoint and
[X-f|<|ar -||<fi.
/'(.*) = £ M#**.
n-1
-/?— x- ->
There remains the question of left or right hand continuity at the endpoints
-f—1-
£ x v„ of the interval of convergence /, if these happen to belong to /. A somewhat
more subtle argument is required to deal with this question which is the subject
From the formula of §15.1
matter of Abel's theorem quoted below.
l/n
n(n-\)
— = lim sup |a n l"
n
= lim sup Abel's theorem If the series Sfe =0 a k converges, then
K n~>°° n—*-°°
1 70 Appendix Appendix 171
T
lim £ akx
k
\
= £ ak . _ akx
k
- £ tffe <e.
k -° fe=0 ft=o
*-+l- {
fe=o )
Proof Let e > be given. Since the series 2 a k converges, its sequence This concludes the proof.
+ vn .
J uh .
fe=m k=m
3 (1 — x) 3 3
N-i ! j
£ akx
k - V ak < I \a n \(\-x") + -e + -e.
fe=0 k=0 fe=0
This follows from (4) and (5). But the finite sum on the right hand side tends to
zero as x -* 1 — We can
. therefore find a 5 > such that, for any x satisfying
\-8<x<\,
N
t\a n \(l-x")<\e.
3
k=o
Given any e > 0, we have therefore found a 6 > such that, for any x satis-
fying 1 -5<x< 1
Solutions to exercises (1.8, 1.12) 173
2 = 5-3>4-l = 3
5 4
SOLUTIONS TO EXERCISES i.e. 5 > 12.
Note that the inequalities are false in spite of the fact that b >0 and
d > 0. On the other hand inequality (iii) is true when b > and d >
(exercise 1 .8(3)). However, if we take a =c=— 1 and b = d = — 2 in
inequality (ii), we obtain the false assertion
1 = (-l)(-l)>(-2)(-2) = 4.
• Exercise 1.8
5 We have, for any e>0,b<a + e and a — e < b. Since b < a + e for
1 There are three possibilities: x = 0, x > 0, x < 0. In the first case
any e > 0, it follows that b < a (example .7). Since a < b + e for any
1
2
x2 = 0. In the second case rule III yields that a; = x.x >0.x = 0.
e > 0, it follows that a < b. Hence a = b.
Rewrite the third possibility iii the form >x and apply rule IV. Then
= 0.x<x.x = x 2 In each casex 2 >0, 2
i.e.x >0 or 2 = 0.
.
6 Take x = (a + b)/2.
(i) We are given that <a< 1 . Since a > we may apply rule III. Then
= 0. a<a.a<l.a = a. • Exercise 1.12
If n an even natural number it may be expressed in the form n = 2k.
(ii) We are given that b > 1 . Since b > we may apply rule III. Then 1 is
2
= b.b>l.b = b. But then
b
x" = x 2h =
- (x
R 2
)
>0
2 Since bB >0,
for all of* (exercise 1.8(1)). Hence, if y < 0, x" = y has no
values
ff.fi
a.
= -.bB<-.bB = Ab
/4
(rule III),
solutions. The equation x" = has only the solution x = since x ¥=
o fi implies that x" =t 0. Uy > 0, our assumption about the existence of
We deduce that
nth roots assures of the existence of a unique x>0 such that x" = y.
But, since n is even, x" = y if and only if (— x)" =y. Hence the equa-
a{b + B) a* + flfi < aft + v46 = (a + 4)4 (rule II). tion has exactly two solutions, one positive and one negative.
Next suppose that n is odd. If y = there is no difficulty in showing
Since (6 + B)'
1
> and 6" 1 > (example 1.5), it follows from rule III
that
that*" =y has exactly one solution. Ifiy >0, there is exactly one
positive solution and this is the only solution because x < implies
a a +A .*" < when n is odd. If y < 0, we use the fact that z" = — y has one
b b + B' and only one solution and hence the same is true of (— xf = —y, i.e.
If b > and d > 0, we first observe that c > d > 0. Then, by rule
III, ac > be and 6c > W, Hence ac > M (rule I).
7 72
Solutions to exercises (1.12, 1.20) 1 75
/ 74 Solutions to exercises ( 1. 12
2 (i) 8
2' 3
= {(2
3 2
)
}" 3 = 3
{4 }"
3
= 4 ax
2
+ bx + c>c -\b 2 a' x
1
1/3 I .
1
\ 1/3
with equality when lax + b = 0, i.e. x = —bjla.
(ii)27
-4/3
= 3 4
_1_
27' 81
P ) J
5 Apply the Cauchy-Schwarz inequality using the numbers \Ja\,\Ja 2 ,
6/s 5 6 1/5 6
(iii) 32 = {(2 ) } = 2 = 64.
l/y/a„. We obtain
. ,\Jan and 1/Va,,
. . . - • ,
3 We take for granted the truth of (i), (ii) and (iii) in the case when r and
= + V<* n -j—
n2 I y/ai . —r- + •
s are integers. To prove the results when r and s are any rational num-
= (y" n ) mn = ")"} m = ym
I 4+2 Z
"")"*}" 1/
{(}> {(y 6 t= kk + Kf = ah b k + I 6?
k=i fe=i fc=i
v ") m m fe i
and x = qjn (p and q integers). angle in three dimensional space. The length of the side joining the firs',
= m =
(yzf' (yzf
£ (x k -z k +z k -y k ?
p 1/m Vm fe=i fe=i
[,'
00 Iff = {{(y ) ]°}
1/"
= {l(y
p
)"} }
l,n
= lyP-y""" 3
1/2 U/2
_
— „pq/mn _
— ,JS8 <
> >"
fe = l
(J) y
r+s = y(P" + f")/mn _ r„pn qmil/mn _ (ypnyimnf qm\Vmn
• Exercise 1.20
= yP""y<"" = y^
1 We first show that \a\ < b implies -b < a < b and then that
x-p<0. Hence (x - a)(x - < 0. When < a, x - a < and (3) .v (i) \a\ < b. From theorem
Suppose that 5, a < \a\ and \a\ >—a. 1 .1
ax
2
+ bx + c = {(2ax + b)
2
- (b
2
- 4ac)}/4a.
2 2 From theorem 1.18,
Since (2ax + b) >0,
1 76 Solutions to exercises (1.20, 2.10) Solutions to exercises (2.10, 2.13) 1 77
\c-d\>\c\~\d\ I
equivalent to % + 5 >x > g -5. But ft - 5, % + 5) =
{x:£-5<;c<£ + 6}.
and
\c-d\ = \d-c\>\d\-\c\ = -{|c| Idl}. 3 (i) (0, 1): bounded above; some upper bounds are 100, 2 and 1 ,
the
exercise 1.20(1). (ii) (— °°, 2] : bounded above; some upper bounds are 100, 3 and 2; the
(v) [0,1]: bounded above; some upper bounds are 100, 2 and 1 ; the
4 Suppose that r + s\/2 = t, where t is rational. Then, provided s ¥= 0,
smallest upper bound is 1 and this is also a maximum.
Since a,b,c,s and r are rational, it follows that (2a + b)s = 0. Thus largest lower bound is and this is also a minimum.
then 9&
2 2
= 2
2k = n and so n is also divisible by 3.
3n , i.e.
2 1 Since B= sup 5 is an upper bound for S,x<B for each x G S. But
S C5 means that, for each x G S it is true that x^S. Hence x < B
Suppose that m = 2n 3 Then m 3 is divisible by 2 and hence m is
3
.
,
• Exercise 2.10 2 The proof is very similar to that of theorem 2.12. Let B = sup S and let
for any y G T. Since S= {y — £ :y G 7"}, it follows that C—£ is an If/ is an open interval other than R or then £ can be taken as its
upper bound for S and therefore that B < C — £. supremum or infimum (at least one of these must exist).
We have shown that C< £ + B and O
£ + 5. Hence C = £ + tf
6 We may assume that the sets S and Thave no elements in common
3 Let B= sup 5 and let 7" = {— x
< 5 for any x G 5 it is : x G 5}. Since x (otherwise the problem is trivial). With reference to the given 'hint', the
true that — x > —B for any x G S and — B a lower bound hence that is set To is not empty because t GT . The set T is bounded below by s.
for T. If C is the largest lower bound for T, follows that C > —B. it Let ft = inf TV
On the other hand, y C for any y G 7" and therefore —j> < — C for
~5*
*
We have shown that C > -B and C<—B. Hence C = -5. To
To obtain the required analogues, consider a non-empty set 7" which
isbounded below and then apply theorem 2.12 and exercises 2.13(1) If ft ^ T, then ft G S. But ft is at zero distance from T by exercise
and (2) to the set S = {- x x G T). We obtain : 2.13(5ii) and hence we have found a point of S from T. at zero distance
G N
Since BX' 1
cannot be an upper bound, there exists an n such that
I
Hence B is not an upper bound for >*> and we have a contradiction. Exercise 3.11
It is clear the is a lower bound for T. Suppose that h is a larger 1 (i)Lets„= + l + n 2 and let P(n) be the proposition that
2
+ 2'?
2
. . .
£l(l + 1)(2 + = We next assume that P(n) is true and try and
xn
1) 1
>h .
Since F*J is unbounded above, we can find an n G N such that n> B. (m=n + 1).
m m
a < — and — < a + — < a
1
(b-a) = b
n n n
2 Let P(n) be the assertion
as required.
1 +x + ...+x" =
1 -x
5 Suppose thatm &S. Then \{tn + I)G5and^(m + \)>m. Hence m
cannot be a maximum. Similarly m cannot be a minimum. Provided x ¥= 1 , this is clearly true when n = 0. Assuming P(n) is true,
1 -x \
find a rational number r such that H<r<\. But then r would be an
+ +
element of S larger than//. Thus 1 is the smallest upper bound. l-x" ,
+x" 1
-x r
and hence a < r\j2 < b. (If r happens to be zero, locate a second 3 Suppose that P(!-) = 0. Then
rational number s satisfying <s\J7 < b.)
P(x) = P(x)-PQ)
n -
= a n {x -% n ) + a n . l
{x"-
i
-% n )+ i
...+ ai {x-%).
182 Solutions to exercises (3.11) Solutions to exercises (3.11, 4.6) 183
li1 /« + n+ 1 -slS
= z
s=
where Fk _ t
(x) is a polynomial of degree A: — 1 . It follows that
as required.
/>(*) = (* -©WW*) +«B -1 Fn _a €>c) + • • • + «,} = (a- -$)8(x).
We apply this result to the second part of the question and obtain, in 5 Suppose there number k for which P(k) is false. Since
exists a natural
degree n — 2. ThusP(x) = (x — £i)(x — % 2 )Q 2 (x). Next consider £ 3 and maximum element m. The assertion P(n) is true for m < n < and M
so on. hence P(m + 1) is true. But P(m + 1) implies P(m) and hence we have
a contradiction.
B! «!
+ -
r!(«-r+ 1)!
+ b)"= \a- r r Vn
(a I
r=0
\ b .
.v<^,writea=>' "and6 ,/
=x .
(a+Z>)"
+1
= (a + b)(a + b) n 1 Let e > be given. We must find a value of A' such that, for any n >N,
2 -\
\
n
= + -1 <e.
a
(r=0
z s:K'»'
a b b
n 2 +l
But
= £ f a »-v+ i(V~ * r r+I
-
- n 2 -\
r = n\>- 2
«2 -l
-1 = 1
(a + b)n
* 1 = £ I
+1
U""' 6'+ I 1
* <e
"J*""** ,7TT
-
i.e.
184 Solutions to exercises (4.6, 4.20)
Solutions to exercises (4.20 185
2
n + 1 > 2/e. x+x" x +
as n
Choose N = (2/e) 1/2
. Then, for any n > N, 1+x"^ +0 1
n 2
+ \>n 2
>N 2
= 2/e. Next suppose that x > 1 . Then x " + as n -* °°. Hence
We have shown that, given any e > 0, we can find an /V (namely x+x" x.x~" + l + 1
asn
(2/e)
1/2
) such that, for any n >N, 1+x n x'"+l 0+1
n2 -\ This leaves x= 1 and x = —\ giving
2
-1 <e.
n +l 1 + 1" -1 +(-!)"
= 1 and n
Thus 1 + 1" * 1 +(-l) '
2
n -l The latter expression is not even defined for odd n. Hence
lim 2
= 1.
n +l 1 (x> 1)
x+x"
2 Let e > be given. We must find a value of TV such that, for any n >N, lim x (— 1 < < jc 1
»\l+x n
1 (*<-!).
7" Q <e
i.e.
« r >l/e.
i.e.
V(h + 1) — V" "* as n •* °°.
X
4 Let N be the smallest natural number such thatN>x. Then, for n>N,
|Xx„-X/|<e.
x" X X X X X
This completes the proof. " T'2'N—l'N'"N
n~\
i! 2 N-l N
I
,v-i / \n-N+l
• Exercise 4.20 X IX
3 2
n + 5n +2 1 + 5/T 1
+ 2n~ 3 1+0 +
1 -
as n •* °°.
s
2n +9 2 + 9n" 3 2 + Since x/N < 1 , (x/N)" -* as « -* °° and the result follows from the
sandwich theorem.
2 First consider the case when |x|< 1 . Then x" •* as n -><». Hence
186 Solutions to exercises (4.20, 4.29"J Solutions to exercises (4.29) 187
a+1 — — 0| = —
5 Suppose that (1 + l/») 1*| > 1 for all n e N. Then But \\x n /| \x„ 1\ and so what has to be proved is just
for all « S PiJ and this is a contradiction (see example 3.4). Hence, for ||.x n |-|/ll<U„-/|
some We W, * °° by the sandwich theorem.
and hence \x n -* \ |/| as n
a+ 1
(1 +UN) \x\<l.
Un>N, /-e<^:„</ + e.
a* + a* > 0, then
+ xn 1
xn
1
when e "»|l (for an
l
\(n l) \<:\n \.
Since this is true for any e it is true
appropriate value of N, say W = A^). For « > TV, we therefore have that
It follows that, for n>N,
\n
a+i
x n \<\Na+1 x n \.
xn >l~\l - R
We conclude that, for n>N, 3 (i) Let // > be given. We have to find an N such that, for any n>N,
T>H.
1/iVK-UV'Q+l^jVl
« G M} is unbounded above (exercise 3.6(2)), there
Since the set {2" « :
2">2 N >H
6 We wish to prove that
and the result follows. (Alternatively one may appeal to the inequality
2" >n {n > 1) which is easily proved by induction.)
This inequality equivalent to
is
(ii)H> Let be given. We have to find an N such that, for any n>N,
n n* 1
(n + \) <n -s/n<-H
i.e.
i.e. y/n>H
(i) i.e. n>H 2 .
xn = fx.-OKJT xn = xn
1
xn + l X„ + k.
i.e. \lx n >H. But*?,— x„+k< because a <x n < b (see exercise 1.12(4)). This
+ °° as n -* °° implies that x n -*
completes the proof that a < x n + <x n < b.
1
(ii) To prove that \/x n -* as « -> °°,
Since Cc„> decreases and is bounded below by a, it converges.
one simply has to reverse the above argument.
Suppose that x n -* / as n -+ °°. Thenx n + 1
->-/as« ^-°°. Butx n + i =
x„ + k and so
5 Let H> be given. If Cx„) unbounded above, there exists an N such
is
that
D= {\%—x\:xGS} which contradicts the assertion that dQ, S) = 0.
That x„ -* i- as w -» °° follows from || — jc„| < l/« (« = 1 , 2, . . .) be-
cause of the sandwich theorem.
l n+ X n -1 —
l
l+X n l+*„- 2
If £ = sup S, then from exercise 2.13(5ii) rf(|, 5) = 0. It therefore
k(X„-2 x n)
follows from the first part of the question that a sequence Cc n > of
points of S can be found such thatJ£ n -» £ as « -» °°. (Note that the
terms of this sequence are not necessarily distinct.) Hence x n+i —x n . 1
has the opposite sign tox„.. 2 — xn . It follows, using
If S is unbounded above, then, given any n GH, we can find an an induction argument that one of the sequences <x 2n ) and <x 2n _j>
x n G S such that* n > n. Hence x n -> + °° as n -> °°.
increases and the other decreases. (In fact (x 2n -i) increases ifx 3 >*i
and decreases if -X 3 < x t .)
• Exercise 5.7 That both sequences converge follow from theorem 4.17. Suppose
1 Suppose that « 1/n -> / as n * °°. It follows from theorem 5.2 that that x 2n •* I as n -* °° and that x 2n - 1 "* W as n -* °°. Then
1/2n
(2rt) -<-/asH-°°. k k
1 = m
2n * 1 +m' l+l
But 2" 1 as n -* °° (example 4.14). Thus n v2 " -> / as n -* °°. Hence
I + Im = k; m + Im = k.
It follows that / = P. Since / > 1 , we deduce that / = 1 It follows that / = m and that 2 + = k as required. The conclusion
I /
2 We prove that a<x n < bby induction. It is given that a < 1 < b. If
we assume that a < x n < b, follows that it 4 If <a< 6, it is easily seen that the geometric mean G = V(a&) (see
1
example 3.10) and the harmonic mean//= {\(\ja + 1/6)}" (see
x n+1 —a = x% + k—a>a — a + k = 0.
2
exercise 1.12(5)) satisfy
Similarly
a<H<G <b.
xn + s -b =xl+k-b<b 2 -b + k = 0.
We
f
On x n _, <^ n _
are given h= x i<yi= 1. the assumption that 1,
Hencea<x n+ < , b. (Note that the condition < k <$ ensures that x n-l< x n<y n -l
the quadratic equation x2 — x + k = has two real roots and that these
are both positive.) because xn is the geometric mean ofx n _, andj'n-!. Further
190 Solutions to exercises (5. 7) Solutions to exercises (5. 7, 5.73^ i9/
xn <y n <y n -i It follows that -the sequence is convergent since it increases and is
bounded above. Note that the limit is positive since 1 + y/n is positive
because y n is the harmonic mean of x n and y n -j. It follows by induc-
tion that x„_i <x n <y n <y„. (" = 2, 3, . . .).
when n is sufficiently large.
l
m 2 \l m /
Hence • Exercise 5. 15
For the sequence <(- 1)"(1 + l/«)> the set L = {- 1, 1}. Observe that
£T4+i
1
2n
(-l) (l + l/2n)-> 1 as >?->•«•
n-l
(i) limsup(-l)"(l + l/«) = 1 00 lim inf (- 1)"(1 + l/«) = -1.
As in example 4.19,
1+
4"
nj
<1+w+ a2!
+ ... + fi£.
n\
(2)
Note
sup (-1)"(1
that
ff<6 2 Observe that every rational number in the interval (0, 1) occurs infinite-
we may obtain from (2)
ly often as a term in the given sequence.
1 _/»•»" + !
iJV
r •& Let x £ [0, 1 ] By exercise 3.6(4), a term /•„_ of the sequence can be
found such that
x-\<r„<x+
.
1.
<C+ 33— <C+2
A term r„, with n 2 >«i can then be found such that
From exercise 5.1 5(4) we know that, given any e > 0, we can find
an n such that, for any k > n,
and hence r„ fc -* x as k •* °° by the sandwich theorem.
xk < 1+ e.
3 The hypothesis of the question implies that Ce n ) contains a subsequence Thus /"+ e is an upper bound for the set {x k k : > n} and it follows that
theorem,
are at least as large as b. By the Bolzano- Weierstrass
subsequence in turn contains a convergent subsequence
this
M<M n <l + e.
<x„
r
>. Suppose that x„ -* I as r °°. Since x„ +
b (r = 1 , 2, .), it > . .
Since this is true for any e> 0, M < /"(see example 1 .7).
/ > b.
r
We conclude that M= /
4 Suppose it is false that, for any e > 0, there exists an N such that, for n->°°\h > n ) n -* «
any n >jV, x„ < /"+ e. Then for some e > it is true that for each A'
we can find an n>N such that x n > 1 + e. From exercise 5.15(3) we • Exercise 5.21
can then deduce the existence of a convergent subsequence with limit 1 If«>m,
/ > /"+ e. This contradicts the definition of /"(see §5.12).
The corresponding result for Hs that for any e > 0, we can find an
\x n —x m < \x n - X„-i +
\ I
\x n - 1 -x n . + 2 \
. . . + \x m+l -x m \
xn < + e. I
(3)
Given e > 0, choose N so large that, for any m>N,
_m
We can find an N2 such that, for any n>N2 , <e (Example 4.12).
1 -a
l-e<x n .
(4)
The result then follows.
Take N = max {#,, N2 }. Provided n > N, inequalities (3) and (4) are Exercise 4.20(3) provides the example y n = \/n (n = 1 , 2, . . .).
a ^. xn + b
i.e. |x„-/|<e. 1
b xn a
Thus x n -> / as n -* °°.
To prove the last part of the question one only has to note that, if x n + 2~ x n + l ~ X n + \X n —X n+i = JC n + i(X n — X n + i)
m is the limit of a convergent subsequence, then / <m< I.
Xn +
\X n *2 Xn + i \
— l
|A„
\X n —XA nr + n
The sequence <Mn ) decreases because we supremum at
are taking the
Xn+2 ' Xn+l
each stage of a smaller and smaller set. Any lower bound for Cc n > is also
a lower bound for <Af„>. It follows from theorem 4.17 that <M„> con- < \X n -Xn+ll
a +b
verges. Suppose that n -+M as n M -* °°.
, \n-l
• Exercise 6.26
|x n + 1 -*„|< \X 2 — Xy\
a +b 1 We have
& 3«-2
Put = + Then
= (-*+!-#
l l(x2 kxt).
fft «(« + !)(« + 2)
*n + l "*"
2*n = 2' + (-i+/-l)
•^n + l-^ = l(/-^ n ). +Hf+X-A
Hence
'* -^n + 2
= i*n + l*n/ >
Xn + 2 x n+l ~ Xn + Xn = i
. . . = X2 Xi.
3
Put /={*2*.}" - Then
4 Let <x n > bea sequence of points in [a, Z>]. Since [a, fcj is bounded, the
sequence <*„> is bounded. By the Bolzano-Weierstrass theorem, the
sequence therefore has a convergent subsequence (x >. Suppose that
n
A convergent sequence is bounded (theorem 4.25). follows that, for
Xn r -* / as r -* 00. Since a < *„r < 6, it follows from theorem 4.23 that 2 It
an <Hb n (« = 1,2,...).
5 Suppose that /is unbounded above. By exercise 4.29(6), we can find a
sequence <x n ) of points of / such that x n -*- + » as « -»• °°. But no sub- Thus the convergence of S"= &n implies that of S„ = a„ by the
1 ,
sequence of such a sequence can converge and so this is a contradiction. comparison test.
Hence / is bounded above. Let b = sup /. By theorem 4.29(6) we can Since / > 0, from exercise 4.29(2), there exists an N such that, for
find a sequence 0e„> of points of/ such that x n •* b as n «* °°. yl// sub- any n > N,
sequences of tx„> also converge to b (theorem 5.2). Hence be I.
Similarly for a = inf /. a n >\lb n
00
n=l"
j
— 1 1
°°
1 (v) We have
00 Take an =
m— and b n = -. Again - V — diverges.
i n n - j ln \
V0L±JW« = I : _<1 („-l,2,...)
2 1
°°
1 n «(V(« + i) + V«) "'
(iii) Take a n = 2 and b n = -5. Since £ -5 converges (theorem
and hence the series converges by the comparison test (see theorem
s 2 6.6).
6.6), it follows that £ . converges.
„=i 1+3 (vi) This series converges by theorem 6.13.
3 We have
6 We have
H
2n n
bn = a n+ , +.. + a 2n
. = 2 afc -
J]
<z
fe
->- as h -* °°.
*-»*£-B + + -+ 4fl
1
-3
.+.
4n
!
- 1 2n
Since the sequence (a„> decreases,
= 1
I + i-i + i 2
bn >na 2n >0. 2 3 4 5 2n
4 The series diverges because its terms do not tend to zero (see example = s2n + - JL + _l_ + ...+i 1 .
5.11). k + 1 «+ 2 2«|
Here s„ denotes the /ith partial sum of the given conditionally con-
5 (i) We use the ratio test.
vergent series with sum s. Observe that
+ l)!) 2 2
'n*l
=~ ((«
(2(/i + 1))!
*
(2n)!
(«!)
2
=
(2«
(n
+
+
2)(2n
l)
+ 1)
"*
1
4
asn
2 3 2n -H- 1
2n
-+-
The series therefore converges. 1 1
= 2
(ii) Again the ratio may 2 4 2k
test be applied.
From this identity it follows that
an + l _ ((n+l)l )\ n+l (2n)\ 1 5
5 "* °°-
an -^TTyy. ^7?^ 4 as
" 1 1
+
The series therefore diverges,
n+ 1 n+2 il
Hence
(iii) We use the nth root test
n
f3n = S 2n + 2*2n "* I s aS «
1 +— I ) -» — as n -* °o.
n+ 1
Exercise 7.16
The series therefore converges because e > 1 1
Vn 1
n 1
,n + 1 e
1
J
T 1
Y//////7\
1 2
198 Solutions to exercises (7.1 6 Solutions to exercises (7.16) 199
Each vertical line meets the graph in one and only one point. The The inverse function therefore exists and
range is {2, 5}. The image of the set [1,2] is {5}.
1-v
r'o) = l+y (0<y<\).
(Note that /= r X
)-
The equation
y = 4x(l -x)
does not have a unique solution x satisfying <x < 1 for each y
satisfying < <
y 1 For example, .
The function g has an inverse function. For each>- > there exists
(ii) The equation does not define a function from [— 1, 1] to R. The 2
precisely one x > such that y = x which we denote by y/y (see
value x = is an example of an x for which two corresponding values
§1.9). Hence
of y (namely + I and — 1) exist.
g' 1 (y) = y/y O>0).
(iii) The equation does define a function from [— 1, 1] to [0, 1]. For
each x satisfying — 1 < x < there is precisely one y with <y <
1 1
5 We have j' =g(x)if and only ifx =g~ l
(i)g-
1
o g(x) = £-%(*)) - r'OO = x (xGA)
3 We have
(ii)g o g'Hy) = g(g~ l
(y)) = g(x) = y 0' 6 B).
/o<fr) - me* ~ \=&
+ g(x)
« ! Ttl :3
l+4x(l-;t)
1
(o<,<i)
When g is as in question 4, these formulae reduce to
go fix) = = =
1 -x Ix yjx
2
= x (x>0)
g(f(x)) 4/(*)(l -/(*)) 4 -
\l +xj \l +x 2
= y (y>o).
(\/y)
(0<x<\).
The two formulae give different results when x = 1 and hence define
6 (i) We apply exercise 2.13. Put 7= {f(x):x<= S}. Then
different functions.
sup {f{x) + c} = sup {y + c]
In order that/"
1
: [0, 1] -* [0, 1] exist, it must be true that, for each iES y eT
y satisfying <y < 1 , the equation = c + sup y = c + sup f(x).
l-x
(ii) Let
has a unique solution x satisfying <x< 1 . This requirement is easily H = sup fix); K = sup gix).
xes «6S
checked by solving the equation
and hence H+K is an upper bound for the set (ii)/00 -> 2 as x -* 1 +. Given any e > 0, we must show how to find a
f(x) = x(0<x<l)andg(x) = -x (0 <*< 1). Then 1 of* > 1, we can replace /(*) by 3 — *. The condition
satisfying*
f(x) + g(x) = (0 < x < Thus 1 1 ).
1/00 -2|<e then becomes |3 -x — 2| <e, -e<x<l + e. i.e. 1
, . ^ 73
+ 5x
42
+ 9 0+5.0 + 9 9 tion of the value of the function at *= 0, it follows that
(ii)
v
,
im t;
23
= z
*
'*-o 3* + 7 3.0 + 7 7 lim /OO = lim (2+*) = 2.
* -» x -*
4 Let e > be given. We must find a 5 > such that |* — %\ < e provided
that < |* — 51 < 5- The choice 5 = e clearly suffices.
3-JC (jc> 1) Observe that
/(*) = 1 (* = 1) l/&)-|KlS-*l
7x (x<\). and hence /(*) •* % as * ->
J by the sandwich theorem (proposition
8.14).
n n
l/W-2Ke
and the sandwich theorem applies.
provided that 1 —6 <x < 1 . Since we are only concerned with values To prove that /(*) -* as * -* +, we must show that, given any
of* satisfying* < 1 , we can replace /(*) by 2x. The condition e > 0, we can find a 6 > such that
1/00 — 2| < e then becomes \2x - 2|< e, i.e. 1 - |e < x < 1 + §e. We
therefore have lo find a 5 > such that
x Vn m |/n_ <£ |
1 - \e < x < 1 he provided that <* <5 . The choice 5 = e" suffices.
6 For any e > 0, we can find a 6 > such that If x > X, it follows that (7) is satisfied with y = g(x) and hence that
(6) is satisfied with;- = g(x). But this is what we had to prove.
|/(*)-/|<e The problems of theorem 8.17 arise because of the possibility that
provided < \x — <5 £| . Since this is true for any e > 0, it is therefore g(x) = r? for some values of x. In the above problem 77 is replaced by
true for e =I (with an appropriate value of 6, say 6 = h). We then + °° which is not a possible value for g.
obtain
3 Let e > be given. We have to find an X such that, for any x > X,
\f(x)-l\<l
i.e.O = l-Kf(x)<l + l
a contradiction.
provided that -6 <x<0. If x <0, (5) is equivalent to 1 >-Hx
which is in turn equivalent to 5 Takex n = 1/n (« = 1, 2, . . .) and;' n =y/2/n (n = 1, 2, . . .). Then
/(x n ) = -* as n -» °° and /(y„) = -» as n -> «». Hence
-H' <x l 1 1
lim fix)
and hence the choice 6 =H~ 1
will suffice. x -*
(ii) Given H > 0, we must find an X such that does not exist by the previous question.
x2 >H 6 We have < \xf(x)\ < \x\ and so the result follows from the sandwich
provided that x > X. The choice A" = yjH suffices. theorem.
|/fe(*))-/|<e
provided that x > X. Since /(y) -* I as >> -* + °°, we can find a Y such 1
that k.
113
—2 ! i >
J-
= |.v - II
l/0)-/|<e (6)
2j + 3
provided that
y > Y. (7)
Since g(x) 1
is defined.
204 Solutions to exercises (9. 1 7) Solutions to exercises (9.17, 10.11) 205
,l " 1
A> ,
(iv) Hence we can find a and b s©h that P(a) < < P(b). Since P is con-
4 Suppose that g can be found with /(g) > 0. Since fix) -* as x -» + °°,
we can find 6 > g such that, for any x > b, \f{x)\ < /(g). Also, since
1
f(x) -* as x -* — °°, we can find a < g such that, for any x < a,
[l * \f(x)\ </(g). By theorem 9.12, /attains a maximum on [a, b].
Suppose that /(t?) > f(x) (x E [a, b ] ). Then /(t?) > /(g) > f(x)
Not continuous on (— 2, 2) Not continuous on (—2, 2) but (x ^ [a, b]). Hence/attains a maximum on R.
and not continuous on [0, 1]. We continuous on [0,1]. If a | can be found for which /(g) < 0, then a similar argument
have/tr) -* 1 as X — 1 — but
/(l) = 2.
shows the existence of a minimum on R.
If f(x) = for all x, the result is trivial.
5 Let Xj E I. Then there exists an x 2 E I such that |/(x 2)l < |l/C*j)l and
(v)
there exists an x 3 E I such that |/(x 3)| < \\f(x 7)\ and so on. We can
therefore find a sequence (x n ) of points of / such that
All of the functions except (v) are bounded on (—2, 2): all but (i) \x n + 1
-x n = \ \f(x n )-f(x n .i)\<a\x n -x n . 1 \.
and (ii) attain a maximum on (—2, 2): all but (i) and (v) attain a mini- Hence
mum on (—2, 2).
|x B+1 -ayKaP-Haa -*il (« = 2, 3, . . .).
that /=/(/)•
3 Let P be a polynomial of odd degree n. Let
-
/•(jc) = an x
n
+a n . x n l
l
+ ...+a x+a 1 • Exercise 10.11
1 We have to consider
a„ + + . . . + -=rr. + -=
x x ' x 1 1 1 1 +x 2 -\ -x 2 -2xh-h 2
) 2 2
lfa n >0, then P(x) -* + °° as x -* + °°andP(x)^ — °°asx -*— °°. h 1 + (x + hf \+x 2 h (1 + (x + h) )(l +x )
\
206 Solu tions to exercises (10.11) Solutions to exercises (10.11. 10.15) 207
-^
n -i n
D n + fg = I {Di+1fD g + D fD
i 1
l
("] g}
3 lfft>0, and the proof continues as in the solution to exercise 3.1 1(4).
/(1+/Q-/(1) _ 2 + 2/; -2 =
2-2 as A ->
• Exercise 10.15
h
1 Let.y >x. Then, by exercise 3.1 1(6) withX = * and Y=y,
lfh<0,
i
v I/n_ y l/n 1
g(0
On the other hand, if h
+ h)-g(0) ft-0
> 0,
lim
y-*x+
*
y— x
— = -x^x~\
n
m -> 1 as ft -* + limit is the same.
ft ft A similar argument shows that the left hand
ft ft
(x ) x- .
Hence D kg,(x) = = + (ft I 1, / + 2, . . .). We now apply these results 5 By theorem 10.13,
to the 'Taylor polynomial' P and obtain
= Df-^Dfix).
1 = Dx = /)(/-' o /)(*)
k
D p$) = o +o+ . . . + i /o^dz^cd + . . . +o
= / <fc,
<£) (ft = 0, !,...,« -1).
208 Solutions to exercises (10.15, 11.8) Solutions to exercises (11.8)
209
3±V(9-6) 1
x =
•v =£-'(>•)
3 ^VS'
If the the compact interval [0, 3] is not attained at an
maximum on
endpoint, then must be achieved at a stationary point (theorem
it
i/3_
(0 + /0
H
i/3
= ^^ °° as h -* +. 2 Choose the constant h so that F = f + hg satisfies F(ff) = Fib) and thus
= fib) -fid)
fo f{x) = /O) = j, = /(*) = *.
/(/(*))
gib)-gia)'
If x is irrational, then^ = f(x) = —x is irrational and so
We obtain the existence of a £ G (a, b) such that
fO f(x) = f(fix)) = /O) = -y = -fix) = *.
o = f\%) = fm+hg'm
A thoughtless application of theorem 10.13 would yield
i.e.
Dfix) = 1
(V =/(*))• h = -'
Dfiy) g'm
But the function /is not differentiable at any point - thus nothing can and the result follows.
be deduced from theorem 10.13.
1 The stationary points are the roots of the equation /'(x) = 0. But
fa) m /(*)
fix) =x 3 -3x 2 + 2x and so '
g'm g&)
fix) = 3x 2 -6x +
Observe that % depends on the value of x, i.e. '£ is a function of x\ By
2
-* a as x -* a. Moreover %i= a when x > a
exercise 8.1 5(4), we have %
and so it follows from theorem 8.17(ii), that
'y=x(x- l)(x-2)
fi%) .. f(y)
hm -7— =
,.
*-* a+ gii)
hm ,, .
y-*°*g(y)
2 +
* V +y
^~V(1 =
lim
y -too"' " )' X->0+
lim
.
\X
''
?
Solutions to exercises (11.11) 211
21 Solu tions to exercises (11.8)
1
1 -V(l +x 2) • Exercise 11.11
= lim = x"
1 Let /: U -> U be defined by fix) and apply Taylor's theorem in
the form
= =
lim
x -* o+ 1
0.
D{f(x)-\x 3
} = f'(x)-x = 2 /c = 0,l,.. .,«,
for x and hence there exists a constant c such that fix) — %x 3 = c n(n -!)(« -* +l)g"- fe
j^/ni) =
all i
and that
5 From Rolle's theorem we may deduce the existence of numbers
J?o.n»i • • • ,V n -i such that | <T?o<^i<'7i<- -<g n -i <*?„-, <g n 1
X n + / (n
1 + l)
(7?) = 0.
and (" + 0!
f\Vi)-P\m) = (i = 0, l,...,n-l).
2 By Taylor's theorem
Containing in this way we can demonstrate the existence of a £ such
s/2
that 0+4) 1' 2 = 2+^4-" 2 +^-Ki-i)4- 3 2 +j? -ia-i)a-2)'?- '
f Mi%)-P
{n
\%) = 0.
where 17 lies between 4 and 5. Hence
But a polynomial of degree « — 1 has the property that P^"\x) =
for all*.
But
6 Since g(0) =g(i) = 0, it follows that/(0) =/(l) = 1 and so Rolle's _
n
5/2 -v, 45/2 2s
theorem may be applied on the interval [0, 1]. We obtain the existence
of a g £ (0, 1) such that /'(g) = 0. But then /(g) = 1 and so Rolle's and the result follows.
theorem may be applied on the intervals [0, g] and [g, 1 ] and so on.
This argument shows that between every pair of points x and .y for 3 By Taylor's theorem, for any xGl,
which f(x) — f(y) = 1 we can find a point z for which /(z) =
, 1
Suppose that < a < b < and (a, b) contains no point x for
1 which fix) = /(g) + ^A?) + .-. + ^9"/ (,,
- 1)
«) + ^
f{x) = 1 . Let
Hence, with the given information,
A = sup{x:*<aand/(.x) = \}\B = inf {y :y>b and/O) = l}.
fiA) =fiB) = [use 1 exercise 4.29(6) and theorem 8.9]. But we know
(n>
that a point C can be found between A and B for which /(C) = 1 and some 7? between * and g. Since / is continuous at g, it follows
for
this is a contradiction. from exercise 8.15(6), that, if x is taken sufficiently close to g, then
(n, (n)
G / (7?) will have the same sign as/ (g) (provided that/ (g) ¥> 0).
(n)
Let* [0, 1]. Since every open subinterval of [0, 1] contains a
point g for which /(g) = 1, we can find a sequence g„ of points of The problem therefore reduces to examining the sign of the right
[0, 1] with/(g n ) = 1 such that %n -*x as«^-°°. This implies that hand side of (8) under the various cases listed.
(ii)/
(,1>
(£) > and « odd. If x is sufficiently close to f, then the right We have
hand side of (8) is positive if x > £ and negative if x < %. = + 3x 2 >0 (*eR)
fix) 1
<
(iii)/*"^!) and n even. We obtain a local maximum.
and hence theorem 12.10 assures us of the existence of an inverse func-
obviously x = — 1 Hence .
(i)
DrH- 1) = Df-'iy) =
1
"
1
I
Df(x) £>/(-!) 4"
If /(£ -) < /(£ +) then we can find X such that /(£ -) < X </(£ +)
(iii) (iv) and X =#/(!). Choose a and ft in / so that a < % < b. Then /(a) < X <
f(b) and so we can find an x e / such that /(*) = X and hence
Of the (0<x<l)
class (i) and
three functions given, (v)
(vii) into class (iii).
falls into class (ii), (vi) falls into
m =
X-J
x
(Kx<2)
• Exercise 12.12 shows that the requirement that /be increasing cannot be abandoned
1 We have f(a) < f(x) < f(b) (a<x< b). (although it might be replaced by some new condition).
2 Observe that For each x satisfying <X< 1 , < f(x) < Mix). It follows that
/(*)'
/'(*) = -(_x+]) ll "(x+\)- --x , l
"'x-
1
<0 (x>0) 0(x) = lim
n n Mix)
because n > 1 and hence exists for each* and that 0(x) = or 0(x) =
satisfying <x < 1 1.
m= Wm
y->*
m=M
y—
m
x y-**+
/W^,o.
lim
j— x
We know that 0([O,
an interval under a continuous function
1 ]) C {0, 1}. But,
is
by theorem 9.9, the
another interval. Hence either
image of
Rbut/'(0) = 0. Let < x <y < 1 We know that fix) = Mix) and fiy) = M(y).
.
If follows immediately that / is convex for x > 2 and concave for x < 2. < a/(x) + 0/0) = + HY
/(ax + ft) ctX
The roots of the quadratic equation 3.x
2
— 12x + 1 1 are
provided that a > 0, (3 > and a + (3 = 1 Since /is
.
strictly increasing
x = 2± 3" 1/2
on /,
/"' is strictly increasing on J. Thus
and follows that /decreases on the interval [2 - 3~ l/2 2 + 3" 1 ' 2
and
it
3
-1/2
")
]
ar'(X) + $r\Y) = Qtx+$y<f~
i
{aX+m
]
/(*)-/«) _
= /'(*?)•
and
Geometrically the result asserts that the graph of the function lies
x3 -x 2 x 2 ~Xx
a = = above any tangent drawn to the graph.
X3 Xi X 3 X\
Thus (1) of § 12.13 is equivalent to i-=/U)
/(* 2 )-/T*i)
^ /(*3)-/(*i)
X 2 ~Xi X 3 ~X t
This is equivalent to
/ concave
<M*b)<I
2f
1 > [
+ ••• +*
*
+f/
1 • • + x,
2m '
'
- ~
2m
{/0f0 + • • • + /(*am)}-
We now assume that P(n) holds and seek to deduce that P{n — 1) holds.
Given that x„ > %, <t>(x n ) > and <t>'(x„) > 0. (We cannot have <p'(x) = Write
for any x because 0' is increasing and hence we would have <t>'(y) =
< x)). Thusxn+1 <x n xt +x 2 + -+* n -l
X =
. .
1 l
*'(/+) <-{/X*l) + ---+/(*n-l)+/W}.
/(*) >/KS) + /'©(•* -£>-* +«»as* -*- ~. a = m/n . If & = — a, then = (/; — w)/« Apply inequality ( 0)
1 . 1 with
x,=x 2 = . . .=x m = xandx m + =x m + 2 = =x n = y. Then 1
. . .
It follows that /"(£) = for all values of % and therefore /is con-
stant (theorem 1 1.7). /(ax +0>O <«/(*) + 0/00. (11)
/J
1
H, we have
=
for
X"
any x
n + 1
= n x (theorem 13.14)
If n is replaced by a rational number »#— 1, the same argument {2{F{t)Y ] i
a
applies. The restriction < a < b is required because x need not be = 2{F(x)y 2 <2f(x).
defined for* <0 (e.g. if a = — 2,;c is not defined for* = 0).
0:
If a = — 1, the argument fails. (Why?) 4 By the continuity property (theorem 9.12), the function /attains a
M m
maximum and a minimum on the set [a, b]. Hence, by theorem
2 The integrand is not defined when x= 1 and, in fact, has an unpleasant 13.23,
'singularity' at this point.
1
=
<j x«dx<-^- 1
{\" + 2
a
+ . .. + ««}.
F(x) /(*) f g(t)dt
Ja
o
=
F{%)
f
J a
t\t)g(f)dt
because of (12).
and the result follows.
Ug(t) - 1 (a < < t b) and Fis a primitive for /on [a, b], then the
result reduces to
• Exercise 13.26
1 Suppose that, for some % G [a, b],g(%) > 0. Then, because # is con- F(b)-F(a) = F'(£)(b-a)
tinuous on [a, b] a subinterval [c, d\ containing £ can be found for 1.6) for the function F.
.
which is the mean value theorem (i.e. theorem 1
which
b
(proof?). But then = b
-
f(t) g (t) dt [f(0G(t)) a
jl
noG(t) dt.
ja
ja
g(t) dt > g(t) dt > \g(£)(d - c) > 0. Since f\t) > (a < < b) we may apply the previous question and
jg /
xn
3 Observe that F'(t)=f(t) > {F(t)} (theorem 13.12). Hence
_ \n-lf(n-W
[(x-ty-v^Xm
t
-
f i ,x 1 + x + x3
< H (x>0).
l+x+x s
\+x-
The existence of the improper integral then follows from proposition
+ J* (n-\)(x-t)"- 2f -"- 1) (t)dt (
(«-!)!
(* - sr ~ l
r~ l
w -...-(x- a/'® + f ,.
Jo 1
1
-y
-x
f
~ Ji v
i-6
y Js
J6
y
But and so (v) reduces to (vi).
1 ~1 by example 13.33.
/(*) «/(© + (« -!)/'(!) + ... fc-8f
,
/*-*to+J$,
'•2 + >- 2v — r
1/2 2x-i
2*- r
1/2+
1 y 2x-i
as required. Observe that, by question 4 above, 2 / = i:1/2 -y dx = f dx.
x(\ -x) Ji/2-y v(i -x) J" x(l -x)
Then
i
(h-1)! /^to)
V, (7
'J*
(x-tf^dt = ^r^/
R!
(n)
(r?)
- -J. +
«r^r^)
d" = °-
'
^kTht)"" Jo
for some value of tj between x and £.
However,
Ho\ the improper integral does not exist. We have
• Exercise 13.34 -1/2 2sr— f2s> ucto
X
r i/2-y x{\ —x)'•-^f (1-Z))(1+U)
1 (0
J„o
"'
J
V(l -x)
.,,
= f-2(!-x)" 2 ]'- 5 =2-25" ^2as5->0+.
2
= _r 1 1
dv
* x 2 dx
Jo l—v 1 + v\
3\-llX
«/. g = [-ki+*r io
1
o°asy^-\—
(i + x y (exercise 13. 34(1 v)).
111
— -3
— -» — as X •* +
1
**,
On the other hand
3 3(1+ 2x — 1
(iii) Since
) 3
r
-1/2+2
(1-0)0 +v)
- + °° as z * —
t .
(1 4-x+;c 3)(l +x 7 )
1 as x •* + °° 3 After theorem 13.32 it is enough to establish the existence of the im-
\ +x+x s
proper integral
we can find an H such that
°dx_
s: xa
222 Solutions to exercises (13.34, 14.3) Solutions to exercises (14.3) 223
l/n
n-
But
rxfa
r*dx _
x
1
-a
X
a-1 X"- 1 a-
asZ-
> +
BH" n
\
^
1 1 n
<log {(l+-
provided thai a> 1
s log x= log (x )
s
<x — s
Kx s
.
(exercise 14.3(2)). Consider the derivative
From this identity it follows that is strictly increasing on (0, I/a] and
(ii)Puty=x~ m(i). l
|o =J i
solutions of <p(x) = exist if and only if the maximum value 0(1 /a) of
log 2 -
= 2 1 = log (4/e).
0is non-negative, i.e.
= 14 )
As in example 13.17, log(l/a)>l loge. (
Hence
?H*< I + x) dx < T - lo
k=i i
n n
l/a>e,i.e.
The inequality e
ea< 1.
jc„ + = elogx„>eloge = e
Hence
i
and so the fact that <x„> is bounded below by e follows by induction. exp(x+j<) = exp {log XY} = XY = (expx)(exp.y).
Suppose that x n -* f as n -*°°. Since x n+1 = e log x n and the Alternatively, consider
logarithm is continuous,
ex<p(x+y) exp (x + y).expx — expx.exp (x + v)
D =
£ = elog£. exp x (exp x)
2
But tliis equation holds if and only if % - e. for a fixed value of v. We obtain
= exp (x+y)
5 Apply theorem 13.32 with/(x) 1/x. Then = c (xGR)
expx
A„=l 1.1.
+ i +i +
.1
+ i-f^
dt r
n
... for some constant c. The choice x = shows that c = expy.
2 3 n Ji {
234
111
+ +... +
2n -
11 1
- =
2n
—
n+\
1
n
1
+ 2
+ ... + —
2«
Hence
r
exp(rx) = exp (log X r
) = X = r
(expx) .
6 {i)D{\ogx} =s{\ogx}
s s- l
\lx (ii)0{loglogx} = 1 1
It only remains to put X = exp x (see exercise 8.20(2)).
logx X
(ii) By exercise 14.3(2ii), for any s > 0,
If r 96 1, take x - = -r in (i).
1 Then
A s
log A* as X -* +.
x (r<l)
dx = (log*)
1
(log A)'"A = {(log X)X 1,r r * }
as A -> +.
j2 r(logx)'" 1 -r i(log 2)
1
* 1
x — X x-*0 1
H\t) = li(t)>H(t).
[x\ogx-x\ n < £ \ogk<[x\ogx-x\r 1
(15)
Hence
m
c
dt> Udt = x (x>oy
Jo >* nlogn-log«! <«<(«+ l)log(n+ 1) — log/j!
Thus (« + ir
log — <n<log
[logH(t)]
x
>x. R! n
+1
+ i)"
But H(0) = 1 and it follows that — < exp /? ^
(«
•
n
«!
log//(x)>x
(Note that (1 5) involves the use of an improper integral on the left
i.e. h(x) > H(x) > exp x. hand side. From exercise 14.3(2), x logx -* asx * +.)
5 We have
• Exercise 14.7
/'(*) = 18.3a;
2
exp (1 8x 3) 1 (i)c?* y m exp {(x+y) logo}
f"(x) = 18.6xexp(18x 3
) + (18.3) x exp(iax 2 4 3
). = exp {x log a + y log a}
The sign of f"(x) is the same as that of = exp (x log a) exp (y log a) (exercise 14.5(H))
4>'(x) = 2 + 8.27x = 3
2 + (6x)
3
,
= exp {x log a + x log ft} (theorem 14.2(i))
a b
(— °°, — |] and
.
f(x)<f(k) (k-l<x<k) ~
J_
x '
a
f(k)<J\x) (k<x<k+l). x =
(iv) Note that, since a = exp (x log a), it follows that X log a
Hence log (a*). Hence
x y
1
a
xy = exp {xy log a} = exp {y log (a*)} = (a ) .
£, f(x)dx<f(k)< I* max.
But 2 We have
J
mdx = £— J ft _ i
f(x)dx;
J,
/(x)dx = £ J ft
/(*)<&.
ft 1 k— 1
3 By theorem 8.9 and exercise 14.5(3ii),
Apply (he result with/(x) = log x.
228 Solutions to exercises (14. 7) Solutions to exercises (14.7) 229
4 By exercise 14.3(2i), n l
log n •* as n -* °°. Hence, f'(x) = f'(x+y) =/'<»
and it follows that
n v" = exp log n) •* exp = 1 as n -» °°.
f\x) = c (xGR)
5 (i) Consider
for some constant c and hence that
f(x) = ex + d.
xl/2
j^~°e' dx.
Since /(0) = 2/(0), we must have d = 0.
^ e~
xn dx = [-2e~* n x ->2asX-*°°
]
/V)/00 - /0)/'0)
and therefore
arid
fix)
= c (xGR).
J-*- DO
exists.
/'(*) _f(y)
y x
(ii)See §17.3.
and therefore
(iii) We have
C
f\x)= - (*>0).
dx = r£iog(i+x 2\1.Y
2
)js
Jo ] + AT :
Hence
= | log (1 + A" 2) ^+°° as *->•+«>. = clog* +d (x>0).
fix)
Hence the improper integral = 2/(l),d =
Since/(l) 0.
xdx
(iv) As in (i) we obtain
+ 2 .v
Solutions to exercises (15.6) 231
230 Solu tions to exercises (14.7, 15.6)
• Exercise 15.6 (A formal proof would require an induction argument.) These deriva-
^
1 (i) is
"- 1)
|<7
n
|"" = — n
>-0 as«^-°°. log(i+^) = /(o) +
f
[
/'(0) + ... +
i
/( (o)4-^
paring the series with the Taylor series expansion for exp x.
Jo v
(-1)"" 1
(1 + 0"
dr.
equal to 4 because These formulae hold for any x >- 1 . We are concerned with the values
a„4" (« + J) 1
x"
= „ as m -* °°.
(vi) The interval of convergence is [— 1, 1). The radius of convergence is n
equal to 1 because
If-Kx<0,
v« * ] as n -* °°. o (r
-*)""'
V(» + 1)
f
.t—x n +2
0<- -<-x (-Kx<t<0) 1
+t 1 (« + !)! n + 1"
and it follows that, for - < x < 0,
1 From the power series expansion for e with X
x
= 1 we know that
—
,
0<e-l+— + — + ...+ —
1 1 1
\En \Ax (-xf * = R„.
2! H! 1!
5! 5 120 5 100
3 To obtain the form of the remainder as given in theorem 1 1 .10, we
have to write x = 7? in the formula for/
{n)
(x) in the previous question. 5 Suppose that e = m/n where m and n are natural numbers. Then
This yields
n-l
E„ = (-D 1! 2! Rj
1+TJ
is a natural number. But, by the previous question,
where r\ lies between and x. If <x< 1 , there is no problem. Since
n! (n + 2)
1 + 7J>1, 0<7 = n\R„<
(n + l)!(n + 1)
(
W + 2 ).<1
n
(n + l) 2
If — < < 0, we can assert no more than
1 j:
provided that n is a natural number. But there are no natural numbers
in the interval (0, §) and hence we have a contradiction. (Note that
R \1 +X
n +2 1 1
But 2
+
(n + l) 2 (r + l) '
(n + 1)
1+x
and hence we are only able to show that the remainder term tends to 6 We prove by induction that, for any x 4* 0,
4 We have
where P„ is a polynomial of degree 3n. For n = 0, there is nothing to
1 1
prove. Given that (16) holds,
Rn =
(n + 1)! (« + 2)!
+
1
+
1
+
1
+
/
(n
°(*) = K -^K^ + Mt)-^
^HH&
•
1 . .
(n + 1)! 1
(n + 2) (n + 2)(« + 3)
:
1 =
< + 2) 2
+ .. .
(« + 1)! (n +2) (n
Observe that the polynomial Pn + 1 defined by Pn+1 Q>) = P'n(y) + -y 2
2y Pn (y) has degree 3n + 3 provided that P„ has degree 3n. This com-
3
1 1
""'
M _ v< = a i+
«!
x x \x
It follows that
zero as required.
f(x) = c(\+xf (|x|<l)
Since /„(0) = (n = 0, 1, 2, . .
.), the Taylor series expansion of/
about the point 0, is
for some constant c. But /(0) = 1 and hence c = 1
+ + + + + ..
2 The radius of convergence R is given by
This converges tof(x) only when x - 0. (n + l)
2
— = hm
1
R
r
n - -
; =
n2
— ,
1.
• Exercise 15.10
We know that
1 The radius of convergence R of the power series
1
= «("-l)--(«-"+l) „ —X (W<1).
fix) I
n=0 n!
JC
n=
Hence, using
usi proposition 15.8,
is given by
oo
1
rt!
-^) 2 CM<1)
^ „™. (« + l)! |a(«-l)...(a-/i + (1
= ..
lim
«-»« «
|a-n|
= 1.
l)|
X «(«-l)x"- 2 = — 2 -
3
(|x|<l).
+ 1
Therefore,
For |jc| < 1 we may therefore apply proposition 15.8 and obtain
n=2
(1 +*)/'(*) 2x.22
+
- a(tt-l)...(a-w+l) (1-x) 3 (1-x) 2
~ tt(a-l)...(tt-H+l) „
A (»-D! 4l («-D!
2x 2 +x(l + s) _ x(l+x)
(1-x) 3
=
(1-x) 3
(W<1).
" I a(a— 1) ... (a— w) a(a — 1) . .. (a — n+ 1)
= a+ ) (
1
= g(£) = a -b
has the same radius of convergence as the given power series because
= g'm = l(«i-*i)
= *'"«) = 3.2(a -6 3 3)
By proposition 15.8, if x e / but is not an endpoint,
Hence
6 By proposition 15.8,
fo-f(o) -£/&#*.
n=
Observe that F(0) = 0.
From the previous question it follows that
/(*) = +
1+I + J J+--- (-1<*<1). 22
1
= ^1 = — 1
«0
and hence
Thus
lim
r
1
/{*)<& = lim
s,
£ V
v"
/(*) = "o I
n=0"l
-T = «o**.
But the final power series converges for .y = 1 , and from proposition
15.8 we know that the sum of a power series is continuous on its inter- • Exercise 16.3
val of convergence. Thus 2 4
1 (i)cos0= 1--+--...-1
' log(l-*) 1
-/.
x „=i n 3 5
(ii)sinO = 0- — + — -. ..=
5 We consider the power series
(,-xf (~xf
*(*)= I («»-*„)(* -8".
(iii)cos(-x) = i--^r + -^r — . .
.
= cos X
n=0
238 Solutions to exercises (16.3) Solutions to exercises (16.3, 16.5) 239
(iv)sin(-*) = (-*)-
(-*) 3
3!
,
(-*) 5
5!
. . . = — sin x. (ii) lim
x-*o
1 — cos *
x
; = lim
*-»o 2*
- — sin *
=
1
—
2
'"i + Ij----" Alternatively, we may appeal to exercise 6.26(2). From Question 4(i)
above
2 We have
2
sin(l/« sin(l/«)
(x+y) —
)
£'(*) = cos cos x cos y + sin * sin y = ft (*) lim 2
= l; lim
"*-*""
:
= 1.
I//1 1/n
«'(*) = — sin (x +7) + sin* cos j> 4- cos* sin 7 = —g(x).
The latter result shows that S~ = , sin (1/n) diverges.
Hence
6 From exercise 13.26(5) it follows that, for some % between m and n,
D{g(xf + h{xf) = 2g(x)g\x) + 2h{x)h\x)
r" sinr
sin r rJ
r( r
= 7g(x)h(x)-2h(x)g(x) = dt = — 1
sin t
,
dt +—
,
1
1
f"
sin t
.
dt
Jm [ m Jm n Jf
for all x. It follows that
= — (cos m — cos ?} + — {cos — cos n\.
g(xf + h(xf = g(0) 2 + h(0) 2 = m n
if
m =
r" sin
Jm (
t
dt <
m
and Let e > be given and choose N = 4/e. Then for any n>m>N,
«(*) = 0. r" sin
f" / rm sin t 4 4
Ji
, dt-\Ji dt
t f
3 (i) 1 = cos(*-*) = cos*.cos(-*)-sin*. sin(-x).
and it follows that we are dealing with a Cauchy sequence. Hence
(iii) < cos 2
* < cos 2* + sin 2* = 1 . Hence |cos x\ < 1 . Similarly
|sin x| < 1.
lim
f sin t
„-»°o Ji ?
(iii) sin 2x = sin x. cos x + cos x. sin x
exists (theorem 5.19).
(iv)cos2* = cos x. cos* —sin*. sin*.
• Exercise 16.5
sin* cos*
(— \ti < * < \n
. ... ..
4 (1) hm = lira = cosO = 1. 1 From the discussion of § 1 6.4 we know that cos * > ).
x -* * X - 1
=
Since sin (* + jn) cos*, it follows immediately that
240 Solutions to exercises (16.5) Solutions to exericses (16.5) 241
sinx>0(0<x<7r). But 1 1
= — sin*
D (arcsin v) = ,
D(cosx) D sm x cos x
and thus the cosine function decreases on Because cos (x + ir) = where x = arcsin .y, i.e. sin x = y. Since cos
2
x + sin
2
x= 1 , we have
[0, »r].
— cos x, we may also deduce that the cosine function increases on = ±V(1 -sin 2x) = ±V(1 -y 2 )-
cosx
[ir, 2ir] . Further,
We take the positive sign because we know that the arcsine function
D 2
(cosx) = — cosx. increases. Thus
Thus Z> 2 (cos x) < (— %n < x < \it) and so the cosine function is con- 1
_
cave on [ |ff,|jr]. Because cos (x + n) = — cos x, D 2 (cos x) > D (arcsin y) =
-y 2 )
(-Ky<\).
V(i
(jn < x < §7r) and so the cosine function is convex on [\it, §jt] .
We have
2 We have
Dcosx = -sinx<0 (0<x<tt).
sin (x + it) sin x = = — l.
+ n) = and cos (ir) Hence the image of[0, n] under the
— cos x =
tan (x tanx Also cos (0) 1
sin x
tanx = »-+ 00 asx-+57r—
cosx
Similarly for tan x -* — °° as* * — ^rr +. -1
I 1
£>(arccosj>) =
Dcosx — sinx \/(l ~y 2 )
3 We have
We take the negative sign because the arccosine function decreases.
£>sinx = cosx>0 (— |»<x<Jff)
Note that
and hence the sine function is strictly increasing on [ — 5^, \n\. Since
cos (x + ^tt) = — sinx = sin(— x).
sin (— \t() = — sin (£*•) and sin (\it) = 1 it follows that the image of ,
x + %ir = arccos>>.
increasingon (— \n, \-n) and tan x -*• + °° as x •* \n — and tan * If* = y, we obtain
as x-*— \tj+. Thus the image of (— \ti, \ti) is R.
3' = lan .v
»-£'(&) (J<>1) '
y-> + °°>
jrX = arctan v ( 1
( 1*
arctan 1 = lim {arctan*} = hm —arctan I-
_ j
";
= U-
-w The power series
3 5
x x
*— + — . . .
1
5 5
Z) arctan J»
= = cos
2
* (y = tan *).
D tan x is easily seen to have interval of convergence (— 1 , 1 ] (for *= 1 , use
But cos x
2
+ sin
2
*= 1 and so 1 + tan
2
*= 2
1/cos *. Thus
theorem 6.13). We apply proposition 15.8. Then, for |*| < 1,
3 5
D arctan y =
1 1
'
D arctan *—* + *— — X— +...
1+tan 2* "
1 + y2
Finally, -
]+x2
11**1
i
v „4 |
2 |
...
C
x dx
r- + * 2
= [arctan *] = arctan X-*- — as X-* + °°. i i
1+* 2 1+* 2
5 Differentiate with respect to* keeping y constant and then with res- It follows that
pect toy keeping* constant. If*y < 1,
*3 s
x+ y\ (i -*y)-(x+y)(-y) arctan * = C + x— — + *— — .
(W<1).
f]
f {x) m f (
(\-xyf But arctan = and so C = 0.
Hence We know from proposition 15.8 that the sum of a power series is
f'(x) -
1 —xy (1 -xy)-,2 '
\-n = arctan 1 = lim_ {arctan*}
Also 3 s
= lim *- xT + x--...
x +y +* 2 1 * -» t- 3 5
'<» = '"
\i -*,/
id -xy?\ — I 3
+ 5
Thus /'(*)(! +* 2
) =f'(y){\ +y 2
) (xy < 1). Hence
6 (i) Consider the sequence <*„> defined by
fix) = (Xi
*n = + 2«7r}-'.
1+* 2 {i7r
It follows that
hn Jin-i 2m + 1 -*
l<-^< 2«
1 as n -> °°.
An + l ^2n + l
h(x)-h(p)
-0 < Ixj ->0 as;t->-fJ
-J^f c»-o,,. 2> ...,.
2m 2«(2n-2)
/2 n-3
2« + l
'"' (2m+1)(2m-1)
and hence m'(0) = by the sandwich theorem.
2h(2w-2)...2
• Exercise 17.4 (2m + 1)(2m - 1) ... 3 '
1 We have < sin x < 1 (0 < x < ±tt). Hence (2m) (2m
2 - 2) 2 . . . 2
2
- »«
sin x <&
0<sin n + 1 x<sin"x (2m + 1)(2m)(2k-1)...3.2 •f
Jo
B n 2
and therefore (2 «0 2 ..,„/. (2 «!)
[-cosx]5/2 = r
(k=0,1,2,...).
(2n + 1)! (2m + 1)!
0</n+1 </n (n = 0,1,2,...).
It follows that
To obtain the recurrence relation nln = (h — l)/„- 2 , we integrate by 2
parts. For n > 2, l 2n _ (2k)! n (2n+l)\ -n {(2m)!}
2 " 2 v ~" y
(2"«!) "
2 (2"m!) 2 * {2"m!}'
/a„ + i
=
/„
Jo
sin"*
~2in n {co)
2n+i/
y 2
"} 2
(
i
n J
{2 Cn"
+1/
V n 4
}
= sin x. sin" 'jtdx 4 4" + 1 4"
7T " "2.M
,2 e-
= ^(2"+OC" a 4n"' 4n^e ^n
2 B
= [-cosx.sin"- x]S 1 /2
+n cosx.(n-\)sin n -2
x.cosxdx 2m+ 1
2 i
C -*-2nC~ asn^-°°.
n
3 The fact that (dn — (12m) '/increases was demonstrated in §17.2. As in When m = 100, this is small compared with m! (though, of course, it will
§17.2, be a very large number compared with those usually encountered).
x
*-*,-/» -j+ x x
7 + 7 +...
1 4 6
I
X- —r 1
+
1
12m 2 + + = -{Axe- A -8 x e- s } + -
3 (2w 1)2 12m 3
x x
C fe'*
J&
dt.
But
Observe that
x A
A e' -* as A -* +°° (exponentials drown powers) and
1 1 + 13- 12m -1
12m x s -*
5 e~ as 5 -* +. It follows that
12m + 1 12(/i + 1)+1 (12m + 1)(12« + 13)
_ 12 rw = -r(x + l)
" '
~ 1 l 5 Let0<a<a<jc<^<6</3andlet0<5< A. Then
dn - *,»-
12m + 1 12(« + 1)4-1
y-i „-tc
(12m + 1)(12m+ 13) - 12(12m 2 + 12m + 3)
{!>->'**< f
e' dt
<J" S I**"
1 -/*"*!*"**. (19)
> 2
3(12m+1)(12m+13)(2m + 1) We may apply the mean value theorem and obtain
Taking exponentials and noting that C = exp d = s/(2ir), we and hence it follows from (19) that
obtain
Since e
x
— 1 is approximately equal to x for small values of x (Why?), 0<5<A,
maximum
the possible error in approximating to n! is about
j"
A
,U* y -2),2 e - t J m
A
(^-0/2 e - ( /2
)(
^-l)/2 e -(/2)A
)
5 |6
n\.
12m
< „-t
t*-\ e~' dt dt
St"-"-
248 Solutions to exercises (1 7.4, 1 7. 7)
^ Solutions to exercises (1 7. 7) 249
Thus
y/u fu (U + Xy/u) -
^ (« + Xy/uf^
y/u{u+Xy/uy- 1 e- u -*^u
<T"
"* V"
u 1/2 u
V(27r)« w- e-
and the result follows.
\u-l
Consider
r(*)
<
(« + y
l) «! (« + l)V(2w)n W" 4 We use proposition 13.29 to check
x > and y > 0. The inequalities
that the improper integral exists for
y/(2Tt)x
x
x- U2 e- x x- "' e-
y/(2ir)x"x
X U2 X
y/(2n)x
x
x- in e-
x -1
t -\i-ty- <tx 1
(0<r<i)
(/! + l)WVV" x
(y+n+\) y+ "(y+n+iyl/2„-y-n-l
,2
e
t -\\-ty- <(i-ty- 1 1
(o<r<i)
5 After the previous question, we need only show that /(l) = 1 and
A similar argument for the left hand side of inequality (21) com-
f(x + l) = xf(x). Now
pletes the proof.
3 We have m =
T
^B(l,y
ro)
)
= yj;\l-t) y -' d t = l.
-(1+z) i) ja
m-ty-'dt = -r*-(l-f) 3
f* xf- -{\-tf dt.
+ Ja x
= lim
y a y
Z-+0
It follows that B(x + l,y) = xy~ B(x,y + l
1). But
Consider
B(x,y + l) = r*V-
J —*
,
(l--/f<& = r^-'il-ty-^l-Odt
J -*
= fi(*^)-5(x +!,>-).
250 Solutions to exercises (1 7. 7)
Hence
B(x+l,y) = -{B(x,y)-B(x+l,y)}
SUGGESTED FURTHER READING
1 +- B(x + \,y) = -d(x,y)
y y
B(x+l,y) = B(x,y).
x +y
It follows that
/. Further analysis
*+»-&£g&** + U* r(y)
J. C. Burkill and H. Burkill, ^l
(Cambridge University
Second Course
Press, 1970).
in Mathematical Analysis
This book is notable in the clarity of its exposition but is perhaps a little old-
r(x +y) x
= (* +y) B(x,y) = xftx). fashioned in its treatment of some topics.
T(y) x+y
W. Rudin, Principles of Mathematical Analysis (McGraw-Hill, 1964).
Since /satisfies all the conditions of theorem 17.6, it follows that
This is a well-tried and popular text. The treatment is rather condensed.
f(x) = r(x) ix > 0) and therefore
T. M. Aposto], Mathematical Analysis (Addison-Wesley, 1957).
This is a useful text, especially in its treatment of vector methods.
Vt " Tix+y) R. V. Churchill, Complex Variables and Applications (McGraw-Hill, 1960).
All the books above include a discussion of complex analysis (i.e. analysis
6 Take x =y = § in the previous question. Now involving the entity i = — 0. b ut this book is a particularly easy introduction
V
O/l jU - r
»Q,0- &r & _
-Ip/K2
).
(2
to the topic.
Write t = x 2ll. The title of the book describes its content. It is very well-written indeed.
Then
251
252 Suggested further reading
3. Foundations of analysis
E. Moise, Elementary Geometry from an Advanced Standpoint (Addison-Wesley,
1963).
The number system was developed largely in response to geometric needs.
real e.* 1 f(x) -*x*| -
I as 74
This fascinating and clearly written book describes this process and many other 1 /(x) * / as x -» | 75
topics. c 2 /(x) -»4-°°asx- -£ + > 82
N.Z.Q.R 2 /(x) -» / as = * — oo 82
E. Landau, Foundations of Analysis (Chelsea, 1951).
This remains an excellent and simple account of the algebraic foundations of the
oo 3 fai WB 91
92
real number system. >,>,<,< 3 0(h)
M 10 /"(?). D 2m) 92
d(x,y) 11 8y, 5x 93
sup, inf 15,70 ± 93
max, min 15 dx
(fi,b),(a,b),[a.b) df 93
[a,b], (a, °°), [a, °°) dy, dx 94
(-«,&),(-«",*] 1
/«+),/(?-) 108
d(l S) 19 S(P) no-
x„ - / as w -*• °° 28
28 f"f(x)dx no
lim xn
n -» oo
x n "* + °° as n "* °° 38
f(x)dx,\ f(x)dx 132
x n •* — °° as n
|
•* °° 39 JO J-*a
xn
lim sup 48 logx, Inx 137
n-»M e 137 ,141
liminfx n 48
expx 140
1', x
oa a e 141
E« n
n=
53 oo
l
I a n (*-£)" 143
f.A*B 64 n=0
fix) 64 sin x, cos x 151
f(S) 65 7T 153
68 tanx 154
f + g.W.fg.f/g
f°g 68 arcsin x, arccos x, arctan x 154
r 68 an ~ bn 156
f(x) ->lasx->Z + 74 T(x) 157
253
INDEX
255
256 Index 1 Index 257
triangle inequality, 10
graph, 64 unbounded
trigonometric function, 1 50
partial sum, 53 set, 14
harmonic mean, 8 partition, 120 function, 71
upper bound, 1
L'Hopital's rule, 104 periodicity, 153
point of accumulation, 52
image polynomial, 25, 66
of point, 64 powers, 141
of set, 65 power series, 143 et seq.
improper integral, 132 primitive, 124
increasing principle of induction, 22
function, 108
sequence, 33
quadratic equation, 6
induction, 22
radius of convergence, 144
inequalities, 3
range
infimum, 15,71
of function, 65
infinitesimal, 94
of sequence, 27
integer, 2
rational function, 67
integral, 120
rational number, 2
integral test, 135
ratio test, 59, 144, 164
integration, 1 19 el seq.
real number, 2
by parts, 129
Riemann integral, 128
intermediate value theorem, 87
Rolle's theorem, 102
interval, 16
roots, 6, 112
of convergence, 144
inverse function, 68, 1 10
irrational number, 2, 9 sandwich theorem
for functions, 80
Leibniz's rule, 97 for sequences, 3
limit of function, 74 sequence, 27
of sequence, 27; inferior, 48; series, 53
superior,48 set, 1
function, 108
maximum, 15, 71 sequence, 34
mean value theorem, 102 subset, 1
chapter.'
is a good selection of examples in each