Documente Academic
Documente Profesional
Documente Cultură
TARASOV
I(
CALCULUS
Basic Concepts
for High Schools
Translated f r o m the Russian
by
V. KlSlN and A. ZILBERMAN
MIR PUBLISHERS
Moscow
PREFACE
Many objects are obscure -to us n o t
because our perceptions are poor,
but simply because these objects
are outside of the realm of our
conceptions.
Kosma Prutkov
CONFESSION OF T H E AUTHOR. My first acquaintance with
calculus (or mathematical analysis) dates back to nearly a quarter of
a century. This hap ened in the Moscow Engineering Physics Institute during splendidictures given a t that time by Professor D. A. Vasilkov. Even now I remember that feeling of delight and almost happiness. In the discussions with my classmates I rather heatedly insisted
on a simile of higher mathematics to literature, which a t that time
was t o me the most admired subject. Sure enough, these comparisons
of mine lacked in objectivity. Nevertheless, my arguments were to
a certain extent justified. The presence of an inner logic, coherence,
dynamics, as well as the use of the most precise words t o express a way
of thinking, these were the characteristics of the prominent pieces
of literature. They were present, in a different form of course, i n
higher mathematics as well. I remember that all of a sudden elementary mathematics which until that moment had seemed to me very
dull and stagnant, turned to be brimming with life and inner motion
governed by an impeccable logic.
Years have passed. The elapsed period of time has inevitably
erased that highly emotional perception of calculus which has become
a working tool for me. However, my memory keeps intact that unusual
happy feeling which I experienced a t the time of my initiation to this
extraordinarily beautiful world of ideas which we call higher mathematics.
CONFESSION OF THE READER. Recently our professor of
mathematics told us that we begin to study a new subject which
he called calculus. He said that this subject is a foundation of higher
mathematics and that i t is going to be very difficult. We have already
studied real numbers, the real line, infinite numerical sequences, and
limits of sequences. The professor was indeed right saying that comprehension of the subject would present difficulties. I listen very
carefully t o his explanations and during the same day study the
relevant pages of my textbook. I seem to understand everything, b u t
a t the same time have a feeling of a certain dissatisfaction. I t is difficult for me to construct a consistent picture out of the pieces obtained
in the classroom. I t is equally difficult to remember exact wordings
and definitions, for example, the definition of the limit of sequence.
In other words, I fail to grasp something very important.
Perhaps, all things will become clearer in the future, but so far
calculus has not become an open book for me. Moreover, I do not
see any substantial difference between calculus and algebra. I t seems
Preface
that everything has become rather difficult to perceive and even more
difficult to keep in m y memory.
COMMENTS OF T H E AUTHOR. These two confessions provide
an opportunity t o get acquainted with the two interlocutors in this
book. I n fact, the whole book is presented as a relatively free-flowing
dialogue between the AUTHOR and the READER. From one discussion to another the AUTHOR will lead the inquisitive and receptive
READER to different notions, ideas, and theorems of calculus,
emphasizing especially complicated or delicate aspects, stressing the
inner logic of proofs, and attracting the reader's attention to special
points. I hope that this form of presentation will help a reader of the
book i n learning new definitions such as those of derivative, antiderivative, definite integral, diferential equation, etc. I also expect that
it will lead the reader to better understanding of such concepts as
numerical sequence, limit of sequence, and function. Briefly, these
discussions are intended to assist pupils entering a novel world of
calculus. And if in the long run the reader of the book gets a feeling
of the intrinsic beauty and integrity of higher mathematics or even
i s appealed to it, the author will consider his mission as successfully
completed.
Working on this book, the author consulted the existing manuals
a n d textbooks such as Algebra and Elements of Analysis edited by
A. N. Kolmogorov, as well as the specialized textbook b y N. Ya. Vilenkin and S. I . Shvartsburd Calculus. Appreciable help was given
to the author in the form of comments and recommendations by
N. Ya. Vilenkin, B. M. Ivlev, A. M. Kisin, S. N. Krachkovsky, and
N. Ch. Krutitskaya, who read the first version of the manuscript.
I wish to express gratitude for their advice and interest in m y work.
I a m especially grateful to A. N. Tarasova for her help in preparing
the manuscript.
CONTENTS
PREFACE
DIALOGUES
5. M o r e on Function
6. Limit of Function
11. Antiderivative
12. Integral
13. Differential Equations
14. More on Differential Equations
PROBLEMS
mi-
mi-
.. *-
..
* I m
Im
L ml*
c l -
52
cd
.cl
EAa
cl
s B2
wcd
sifl+
H
- @ a
a.55
$ af zi a
A
.5
'Z5
+ % + a
"
a a
Gr-.-r",
2"
5.3
2Fas
cd
"4
22
fi m
.3
2.2
'2
%$ $Zag
gzsw;5g
2s
@J
$ h g % s f i m
h cd 0 ' : s a w h G 5
2
fi-5 2 .
w C - 5 H ~ m . 3
. a 3 . 0
c;dLG.5~LGuLG=
OW
0 .W$
a g w m
$ 2 8 sg $9,-
54
25 %
owfi
QLG
1 2 4 8 16 32
. . . 2"-i . . . (terms
f1 t2 t3 t4 t5 t6 . . . nt
of the sequence)
1 2 3 4 5
. . . n ...
11
=$
I
,
Consequently,
2 (n-1)
13
AUTHOR. Yes, it was this problem, formulated by Fibo~lacci,the 13th century Italian mathematician, that gave
the name to this sequence (11). The problem reads as follows.
A man places a pair of newly born rabbits into a warren and
wants t o know how many rabbits he would have over a cer-
11 ( - I)"]
2 (n+ 1) [ l + ( - l ) " I
AUTHOR. I t is important t o note that an analytical expression for the nth term of a given sequence is not necessarily a unique method of defining a sequence. A sequence can
be defined, for example, by recursion (or the recurrence
m t h o d ) (Latin word recurrere means to run back). I n this
case, in order to define a sequence one should describe the
first term (or the first several terms) of the sequence and
a recurrence (or a recursion) relation, which is an expression
for the n t h term of the sequence via the preceding one (or.
several preceding terms).
Using the recurrence method, let us present sequence (I).
as follows
~1 = 1;
Yn = 2yn-i
READER. I t ' s clear. Sequence (2) can be apparently represented by formulas
Symbol
YI = 1;
Yz
I t s first terms are
1;
Yn = Yn-z
Yn-1
5;
~n = ~ n - 1
2
AUTHOR. That's right. Using recursion, let us try t 0
determine one interesting sequence
YI =
Dialoeue One
time goes on, the first pairs of rabbits should obviously stop
proliferating.
AUTHOR. The Fibonacci sequence is interesting not
because i t describes a simplified growth pattern of rabbits'
population. I t so happens that this sequence appears, as if
by magic, in quite unexpected situations. For example, the
Fibonacci numbers are used to process information by computers and to optimize programming for computers. However,
this is a digression from our main topic.
Getting back to the ways of describing sequences, I
would like to point out that the very method chosen to describe
a sequence is not of principal importance. One sequence may
be described, for the sake of convenience, by a formula for
the nth term, and another (as, for example, the Fibonacci
sequence), by the recurrence method. What is important,
however, is the method used to describe the law of correspondence, i.e. the law by which any natural number is placed in
correspondence with a certain term of the sequence. I n a
14
Fig. 2
15
Fig. 3
18
Dialogue One
I t means that all the terms are arranged on the y-axis accord
ing to their serial numbers. As far as I know, such sequence
are called increasing.
AUTHOR. A more general case is that of nondecreasin
sequences provided we add the equality sign to the abov
series of inequalities.
Definition:
A sequence (y,) is called nondecreasing if
A sequence (y,) is called nonincreasing i f
is
<
20
Biulogae d n e
Limit of Sequence
21
DIALOGUE TWO
LIMIT OF SEQUENCE
22
Diatogae Two
Limit o f Sequence
IYR-~
23
24
DiaEoeue Two
Ltmlt o f Sequence
25
26
Dialogue Two
27
Limit of Sequence
I l ~ i sentence
s
=a
n+m
a").
ig
lim -= 1;
n+m
"+I
l i m n =0
n+m
1 yn - a I.
READER.%
28
Diatogue Two
ollowing rules
lirn x,
n+oo
lim (x,
n-oo
1 = 100 - 1 = 99.
-71-m
Xn
limp--
2,)
n-m
=lim x,
n-oo
(2)
lim Yn
Yn
+ lirn z ,
(3)
n-oo
where x, = 1, y, = 1
,; and z, = -.
Later on we
n
nliall discuss these rules, but a t this juncture I suggest
I.liat we simply use them to compute several limits. Let us
tl iscuss two examples.
3n- 4
Example 1. Find n-r,
lirn 5n
-6 '
lim 2- 1 be simplified?
I1EADEH. We write
n-oo
n+l
lim - = lim
n-oo
n-oo
1 '
1 +,
1
;;will
against
-11 = 1.
I)
n-oo
1
n -
3-
3n- 1
5n-6
lim-=limpn-oo
lim ( 3 - 1 )
3
n-oo
-5
5-n
n-oo
lirn 5na+2n-1
n+oo
lim
,,,
6na-1
5na+2n-l
6n=lim
n+m
5n+2--
n
1
n
i)
-a)
,!"
6n2-1
5n2+2n-1
6--
=lim.
n-00
5+
lim
n2
-n
n2
n-r 00
lim
n-rw
( 6-- :')
6
5
( 5+--- n
na
CONVERGENT SEQUENCE
AUTHOR. Let us prove the following
Theorem:
I f a sequence has a limit, it is bounded.
We assume that a is the limit of a sequence (y,). NOT
take an arbitrary value of E greater than 0. According t
the definition of the limit, the selected E can always be relat
ed to N such t h a t for all n > N , I y, - a I < E. Hence
starting with n = N
1 , all the subsequent terms of t h
sequence satisfy the following inequalities
+-
a - ~ < y , < a + ~
<
< <
+
+
DIALOGUE THREE
32
Convergent Sequence
Dialogue Three
33
of both the boundedness and rrlonotonicity of a sequence. I llo points designated by A, B, C, D , and E identify five
\socjuences of different types. Try to name these sequences
The Weierstrass theorem states:
r111d find the corresponding examples among the sequences
I f a sequence is both bounded and monotonic, it has a limit.
r l iscussed in Dialogue One.
the
proof
of
the
theorem
is
beyond
the
Unfortunately,
HEADER. Point A falls within the intersection of all the
scope of this book; we shall not give it. I shall simply ask
1 llrce areas. I t represents a sequence which is a t the same
vou to look again a t seauences
(5), (7), and ('i3) (see ~ i a l o ~ u elitire bounded, monotonic, and convergent. Sequences (5),
(7), and (13) are examples of such sequences.
One), which satisfy the condiAUTHOR. Continue, please.
tions of the Weierstrass theorem.
HEADER. Point B represents a bounded, convergent
READER. As far as I under1,111nonmonotonic sequence. One example is sequence (9).
stand, again the converse theoPoint C represents a bounded but neither convergent nor
rem is not true. Indeed, sequence
~
~
~ o n o t o nsequence.
ic
Ohe example of such a sequence is
(9) (from Dialogue One) has a
boquence (10).
limit but is not monotonic.
l'oint D represents a monotonic but neither convergent
AUTHOR. That is correct. We
.Itor bounded sequence. Examples of such sequences are (i),
thus come to the following
( 2 ) , (31, (41, (6), (111, and (12).
Conclusion:
l'oint E is outside of the shaded areas and thus represents
~f a sequence is both monotonic
- &E%s
;I sequence neither monotonic nor convergent nor bounded.
and bounded, it is a sufficient
( ) I I ~example is sequence (8).
(but not necessary) condition for
AUTHOR. What type of sequence is impossible then?
its convergence.
READER. There can be no bounded, monotonic, and
READER. Well, one can easonco
convergent sequence. Moreover, it is impossible to have
ily get confused.
I~olh unboundedness and convergence in one sequence.
Fig. 8
AUTHOR. In order to avoid
AUTHOR. As you see, Fig. 8 helps much to understand
confusion, let us have a look
1
l
~
e relationship between such properties of sequences as
a t another illustration (Fig. 8). Let us assume that all boundboundedness, monotonicity, and convergence.
ed sequences are "collected" (as if we were picking marbles
In what follows, we shall discuss only convergent sescattered on the floor) in an area shaded by horizontal
quences.
We shall prove the following
lines, all monotonic sequences are collected in an area shaded
Theorem:
by tilted lines, and, finally, all convergent sequences are
A convergent sequence has only one Limit.
collected in an area shaded by vertical lines. Figure 8 shows
This is the theorem of the uniqueness of the limit. I t means
how all these areas overlap, in accordance with the theorems
[ h a t a convergent sequence cannot have two or more limits.
discussed above (the actual shape of all the areas is, of course,
Suppose the situation is contrary to the above statement.
absolutely arbitrary). As follows from the figure, the area
Consider a convergent sequence with two limits a, and a,
shaded vertically is completely included into the area shaded horizontally. I t means that any convergent sequence mus2
and select a value for E <
NOW assume, for
be also bounded. The overlapping of the areas shaded horizontally and by tilted lines occurs inside the area shaded vertiexample, that E = 'a1;a21.
Since a, is a limit, then for
cally. I t means that any sequence that is both bounded and
the selected value of E there is N 1 such that for all n > N ,
monotonic must be convergent as well. I t is easy to deduce
the terms of the sequence (its infinite "tail") must fall inside
that only five types of sequences are possible. I n the figure
4
-
gE%
3-01473
v.
35
Convergent Sequetzce
Pip. 9
<
36
< 2.5.
Dialogue Three
C o n v e r ~ e n Sequence
t
I (Y,
- (a
2,)
+ b) I <
AUTHOH. Ah, that's peanuts, if you forgive the expresz,) you select a value
sion. I n the case of the sequence ( y ,
of e , but for the sequences (y,) and (2,) you must select a
8
value of 5 and namely for this value find N1 and N,.
'lhus, we have proved that if the sequences (y,) and (2,)
are convelgent, the sequence ( y ,
z,) is convergent too.
We have even found a limit of the sum. And do you think
that the converse is equally valid?
HE;ADE;H. I believe it should be.
AUTHOR. You are wrong. Here is a simple illustration:
2 1 4 1 6 1
(y,)=- 21 9 3'4'
59 697189"'
3
( ~ n ) = ~g t? ~9
Tt
5 1
s,
-79 8
(yn+zn) = 1 , 1, 1, 1, 1, 1, 1
As you see, the sequences (y,) and (2,) are not convergent,
while the sequence ( y ,
z,) is convergent, its limit being
equal to unity.
z,) is convergent, two alterna'lhus, if a sequence ( y ,
tives are possible:
sequences (y,) and (2,) are convergent as well, or
sequences (y,) and (2,) are divergent.
HEADER. But can i t be that the sequence (y,) is convergent, while the sequence (2,) is divergent?
AUTHOR. I t may be easily shown that this is impossible.
To begin with, let us note that if the sequence (y,) has a
limit a , the sequence (-y,) is also convergent and its limit
is -a. This follows from an easily proved equality
lim (cy,) = c lini y ,
n-w
n-w
where c is a constant.
z,) is convergent t o A ,
Assume now that a sequence ( y ,
and that (y,) is also convergent and its limit is a . Let us
apply the theorem on the sum of convergent sequences to
z,) and (-y,). As a result, we obtain
the sequences ( y ,
37
+.
'
39
Dialoaue Three
Convergent Sequence
38
n-m
a
limit being t.
=.;
b
40
D i a l o ~ u eThree
Function
insert them, the finite set of new terms cannot change the
infinite "tail" of the sequence. And i t is the "tail" that determines the convergence (divergence) of a sequence.
Thus, we have arrived a t the following
Conclusion:
Elimination, addition, and any other change of a finite
number of terms of a sequence do not affect either its convergence or its limit (if the sequence is convergent).
READER. I guess that an elimination of an infinite number of terms (for example, every other term) must not affect
the convergence of a sequence either.
AUTHOR. Here you must be very careful. If an initial
sequence is convergent, an elimination of an infinite number
of its terms (provided that the number of the remaining
terms is also infinite) does not affect either convergence or
the limit of the sequence. If, however, an initial sequence
is divergent, an elimination of an infinite number of its
terms may, in certain cases, convert the sequence into
a convergent one. For example, if you eliminate from divergent sequence (10) (see Dialogue One) all the ierms wit11
even serial numbers, you will get the convergent sequence
Similarly we can form the third, the fourth, and other sequences.
I n conclusion, let us see how one can "spoil" a convergent
sequence by turning i t into divergent. Clearly, different
"spoiling" approaches are possible. Try t o suggest something
simple.
READER. For example, we can replace all the terms with
even serial numbers by a constant that is not equal to the
limit of the initial sequence. For example, convergent
sequence (5) (see Dialogue One) can be "spoilt" in the following manner:
42
AUTHOR. I see that you have mastered very well the essence of the concept of a convergent sequence. Now we are
ready for another substantial step, namely, consider one of
the most important concepts in calculus: the definition of
a function.
DIALOGUE FOUR
Suppose we form from a given convergent sequence two
new convergent sequences. The first new sequence will
consist of the terms of the initial sequence with odd serial
numbers, while the second will consists of the terms with
even serial numbers. What do you think are the limits of
these new sequences?
READER. I t is easy to prove that the new sequences will
have the same limit as the initial sequence.
AUTHOR. You are right.
Note that from a given convergent sequence we can form
not only two but a finite number m of new sequences converging to the same limit. One way to do it is as follows. The
first new sequence will consist of the I s t , (m
I)st,
(2m
I)st, (3m
l ) s t , etc., terms of the initial sequence.
The second sequence will consist of the 2nd, (m
2)nd,
(2m
2)nd, (3m
2)nd, etc., terms of the initial sequence.
+
+
+
+
+
+
FUNCTION
'
42
Dialogue Four
Function
y = 4x2 - 1
43
1n1+1
1x1 + f
46
Bl Q C ~box "
working as a
function
Fig. T O
44
45
Function
Dialogue Four
1 for x we
and f
(i):
(_),
f (x) = x + "
Fig. 11
pqJ
I
AUTHOR. Correct. Now try to find y
f (x) if
READER. I am a t a loss.
1
AUTHOR. As a hint, I suggest replacing x by y.
READER. This yields
2f (4-f
);( 1
-7
~function p PF~!
l
Fig. 12
46
Punction
b i a l ~ g u ePour
47
--
48
Dialogue Four
of D (this is denoted by z ED) is placed i n one-to-one correspondence with one element y of E. Then we sag that a function
y = f ( z ) is set i n the domain D , the range of the function
being E. I t is said that the argument x of the function I/ passes
through D and the values of y belong to E.
Sometimes i t is mentioned (but more often omitted altogether) that both D and E are subsets of the set of real
numbers R (by definition, H is the real line).
On the other hand, the definition of the function can be
reformulated using the term "mapping". Let us return again
to Fig. 13. Assume that the number of arrows from the points
of D to the points of E is infinite (just imagine that such
arrows have been drawn from each point of D). Would you
agree that such a picture brings about a n idea that D is
mapped onto E?
READER. Really, i t looks like mapping.
AUTHOR. Indeed, this mapping can be used to define
the function.
Defini tion:
A numerical function is a mapping of a numerical set D
(which is the domain of the function) onto another numerical
set E (the range of this function).
Thus, the numerical function is a mapping of one numerical
set onto another numerical set. The term "mapping" should be
understood as a kind of numerical correspondence discussed
above. In the notation y = f (x), symbol f means the function
itself (i.e. the mapping), with x E D and y E.
READER. If the numerical function is a mapping of one
numerical set onto another numerical set, then the operator
can be considered as a mapping of a set of numerical function
onto another set of functions, and the functional as a mapping of a set of functions onto a numerical set.
AUTHOR. You are quite right.
READER. I have noticed that you persistently use the
term "numerical function" (and I follow suit), but usually
one simply says "function". Just how necessary is the word
"numerical"?
AUTHOR. You have touched upon a very important
aspect. The point is that in modern mathematics the concept
of a function is substantially broader than the concept of a
numerical function. As a matter of fact, the concept of a
50
~ i a l o ~ uPour
e
READER. A numerical sequence is, apparently, a mapping of a set of natural numbers onto a different riumerical
set. The elements of the second set are the terms of the
sequence. Hence, a numerical sequence is a particular case
of a numerical function. The domain of a function is represented by a set of natural numbers.
AUTHOR. This is correct. But you should bear in mind
t h a t later on we shall deal with numerical functions whose
domain i s represented by the real line, or by its interval (or
intervals), and whenever we mention a function, we shall
imply a numerical function.
I n this connection i t is worthwhile to remind you of the
classification of intervals. I n the previous dialogue we have
already used this classification, if only partially.
First of all we should distinguish between the intervals
of finite length:
a closed interval that begins a t a and ends a t b is denoted
by [a, bl; the numbers x composing this interval meet the
x ,( b;
inequalities a
an open interval that begins a t a and ends a t b is denoted
by ]a, b[; the numbers x composing this interval meet the
inequalities a < x < b;
a half-open interval is denoted either by ]a, b] or [a, b[,
the former implies that a < x
b, and the latter that
a<x<b.
The intervals may also be infinite:
<
<
1-00,
oo[
l a , oo[
(-OO(Z(OO)-the
(a<x<m);
[a, oo[
real line
(a<x<oo)
$2
bhtogue Pour
'1
53
More on Fsnction
DIALOGUE FIVE
MORE ON FUNCTION
AUTHOR. Let us discuss the methods of defining functions. One of them has already been employed quite extensively. I mean the analytical description of a function by some
formula, that is, an analytical expression (for example,
expressions (1)through (9) examined at the end of the preceding dialogue).
READER. As a matter of fact, my concept of a function
was practically reduced to its representation by a'formula.
I t was a formula that I had in mind whenever I spoke about
a dependence of a variable y on a variable x.
AUTHOR. Unfortunately, the concept of a function as a
formula relating x and y has long been rooted in the minds
of students. This is, of course, quite wrong. A function and
its formula are very different entities. I t is one thing t o
define a function as a mapping of one set (in our case it is
a numerical set) onto another, in other words, as a "black
box" that generates a number a t the output in response
t o a number a t the input. I t is quite another thing to have
just a formula, which represents only one of the ways of
defining a function. I t is wrong t o identify a function with
a formula giving its analytical description (unfortunately,
i t happens sometimes).
READER. I t seems that after the discussion in the previous dialogue about the function. such identification in
a general case is automatically invalidated. However, if we
confine ourselves only t o numerical functions and if we bear
in mind that working with a function we always use a formula to describe it, a question arises: Why is it erroneous to
identify these two notions? Why should we always emphasize
the difference between the function and its formula?
AUTHOR. I'll tell you why. First, not every formuIa defines a function. Actually, at the end of the previous dialogue we already had such an example. I shall give you some
i
1
more: y =
Y = log x
log (-4, y =
T/. +,;/t
I
I
Dtatogue Five
54
More on Function
55
1 if x is a rational number
O if x is an irrational number
READER. You call this a function?
AUTHOR. I t is certainly an unusual function, but still
a function. I t is a mapping of a set of rational numbers t o
unity and a set of irrational numbers to zero. The fact that
you cannot suggest any analytical expression for this function is of no consequence (unless you invent a special symbol
for the purpose and look at it as a formula).
However, there is one more, third and probably the most
important, reason why functions should not be identified
with their formnlas. Let us look at the following expression:
cos x,
x<O
y- ( 1 +x2,
OGx42
log(x-1),
x>2
How many functions have I defined here?
READER. Three functions: a cosine, a quadratic function,
and a logarithmic function.
AUTHOR. You are wrong. The three formulas (y = cos x,
y = 1 x2, and y = log (x - 1)) define in this case a
single function. I t is defined on the real line, with the law of
numerical correspondence given as y = cos x over the interval I - a , O[, as y = 1 x2 over the interval [O, 21, and
as y = log (x - 1) over the interval 12, a [ .
READER. I've made a mistake because I did not think
enough about the question.
AUTHOR. No, you have made the mistake because
subconsciously you identified a function with its analytical
expression, i.e. its formula. Later on, operating with fnnctions, we shall use formulas rather extensively. However,
you should never forget that a formula is not all a function
is. I t is only one way of defining it.
56
More on Function
Dlaloeue Five
I t should be noted that similarly to other basic mathematical concepts, the concept of a function went through a
long history of evolution. The term "function" was introduced by the German mathematician Leibnitz late in the
17th century. At that time this term had a rather narrow
meaning and expressed a relationship between geometrical
objects. The definition of a functional relationship, freed
from geometrical objects, was first formulated early in the
18th century by Bernoulli. The evolution of the concept of
a function can be conventionally broken up into three main
stages. During the first stage (the 18th century) a function
was practically identified with its analytical expression.
During the second stage (the 19th century) the modern concept of a function started to develop as a mapping of one
numerical set onto another. With the development of the
general theory of sets, the third stage began (the 20th century) when the concept of a function formerly defined only
for numerical sets was generalized over the sets of an arbitrar y nature.
READER. I t appears that by overestimating the role
of a formula we inevitably slip back to the concepts of the
18th century.
AUTHOR. Let us discuss now one more way of defining
a function, namely, the graphical method. The graph of
a function y = f (x) is a set of points on the plane (x, y)
whose abscissas are equal t o the values of the independent
variable (x), and whose ordinates are the corresponding
values of the dependent variable (y). The idea of the graphical method of defining a function is easily visualized. Fignre
14a plots the graph of the function
cos x,
y = ( 1 +x21
log(x-I),
1
I:
AUTHOR. This circle graphically represents a point excluded from the graph. In this particular case the point
(2, 0) does not belong to the graph of the function.
Y I ~
cosx,
x<O
x<o
o<x<2
x>2
discussed earlier. For a comparison, the graphs of the f~lnctions y = cos 2, y = 1 x2, and y = log (x - I ) are shown
within their natural domains of definition in the Fame figure
(cases ( b ) , (c), and (d)).
READER. In Fig. 14a I notice an open circle \Vhat dop;q
jt mean?
57
(4 '
Fig. 14
59
More on Function
(4,
Pig. 15
60
i,
Dialogue Five
(1-1, 11 for (a) and [1, 21 for (f)), while the unbounded
functions are defined both over the open and half-open
intervals (11, 2[ for (g), 11, 21 for (h), and [ I , 21 for (i)).
AUTHOR. This is very much to the point. However, you
should bear in mind that it is possible t o construct bounded
functions defined over open (half-open) intervals, and
64
More on Function
theorem:
<
<
<
<
<
<
<
fb)
Fig. 16
1,
x=o
The graphs of these functions are shown in Fig. 16.
READER. I t seems that the boundedness (unboundedness) of a function and the finiteness of the interval over
yvbich it i s defined are not interrelated. Am I right?
[-
val
7,
decreasing).
<
<
<
62
btaZogue Pive
~h
!
!
1
I
63
&ore on Function
<
>
Fig. 18
Strictly monotonic functions possess an interesting property: each has an inverse function.
READER. The concept of an inverse function has already
been used in the previous dialogue in conjunction with the
possibility of mapping a set of equilateral triangles onto
a set of circles. We saw that the inverse mapping, i.e. the
mapping of the set of circles onto the set of equilateral
triangles, was possible.
AUTHOR. That's right. Ilere we shall examine the
concept of an inverse function in greater detail (but for
numerical functions). Consider Fig. 18. Similarly to the
graphs presented in Fig. 13, it shows three functions:
64
biotogus Five
5I
More on Function
65
(b)
y = sin x,
(c)
y = cosx,
n
n
-2 G x < ~
O<x<n
(4
2,f 1.
o<x<1
1,(x,(2
Have a look at the graph of this function shown in Fig. 19.
If a function is strictly monotonic, i t has the inverse
function. However, the converse is not true.
READER. As I understand it, in order to obtain an
inverse function (when i t exists), one should simply reverse
the roles of x and y in the equation y = f (x) defining the
initial function. The inverse function will then be given
by the equation x = F (I/). As a result, the range of the
initial function becomes the domain of the inverse function.
AUTHOR. That is correct. I n practice a conversion of
the initial function to the inverse function can be easily
performed on a graph. The graph of the inverse function is
vz,
< <
(f)
initial
y= t a n s ,
X
X
-2 <KT
fi
Fig. 20
60
68
Dialogue Five
More on Function
69
h(x)=I/Y;F=?-2,
Fig. 21
Fig. 22
f(~)=I/a, g ( y ) = V q
>
70
Dialogue Five
Limit of Function
J
Fig. 24
71
DIALOGUE SIX
LIMIT OF FUNCTION
AUTHOR. Consider now the concept of the l i m i t of
function.
READER. But we have already covered rather extensively the concept of the limit of a numerical sequence. B u t
a sequence is nothing else but a function defined on a set
of natural numbers. Thus, having discussed the limit of
sequence, we become acquainted with the limit of function
as well. I wonder whether there is any point in a special
discussion of the concept of the limit of function.
AUTHOR. Undoubtedly, a further discussion will be very
much to the point. The functions we are concerned with
substantially differ from sequences (I have already emphasized this fact) because they are defined over intervals and
not on sets of natural numbers. This fact makes the concept
73
Limit o f Function
we have
Ix-a
If
(4-b
l<6j
l < E
READER. The definition of the limit of function is noticeably longer and more complicated than that of the limit
of sequence.
75
Dialogue Sbx
Limit o f Function
I n this case the number that we seek for is 6,: the values
of the function a t points x from the 6,-neighbourhood of
point a are represented by the portion of the graph between
points A' and B'.
74
Fig. 25
76
Dialogue Six
77
Limit of Function
it becomes evident
f I<
that
L.
sin ;- = I x
1 I I <e
1 sin
(since sin
1).
READER. Really, the existence of the limit is proved
without considerable difficulties.
AUTHOR. But, certainly, not always. Consider, for
example, a well-known functtion y =
and prove (using
the definition of the limit of function) that b = 1 is the
l i m i t of the function a t point x = 1.
To begin with, consider the following inequality:
v;
vF,1
Pig. 26
(3) will hold all the more. Thus, for an arbitrary E within
0 < E < 1, i t is sufficient t o take 6 = 2~ - e2.
READER. What happens if E
1?
AUTHOR. Then 6 determined for any E < 1 will be
adequate a fortiori.
READER. Apparently, we may state that
lim v2 =
x+2
vz
lim
x+s
G.
A
vG=v3
and, i n general, l i m vG = v z ?
AUTHOR. ~es:;Kat*s right.
READER. But could we generalize it to
Fig. 27
lim f ( x )=f ( a )
x+a
By the way, you have just proved the theorem on the uniqueness of the limit of function a t a given point.
Theorem:
A function cannot have two (or more) limits ut u give@
point.
Now let us return t o the equality
lirn f
( 2 )= f
(a)
x+a
x+a
Limit of Fanetion
81
Fig. 28
Thus, we have arrived a t a new important concept, namely, that of the continuity of a function at a point. Let us
give the following
Definition:
A function f (x) is said to be continuous at a point x = a i f
(1) it is defined at x = a,
(2) there is the limit of the function at x = a ,
(3) this limit equals the value of the function at x = a;
or, i n other words, the function f (x) is called continuous at
a point a i f
l i m f (2) = f (a)
x-a
8.2
Dialogue
Six
Limit of Function
83
Fig. 29
a
.------
rv-nvu
".
vlrG
line,
l ~ a l
85
Dialogue Seven
DIALOGUE SEVEN
84
(5.3,f
.*
(xi),
- 7 f (221
be convergent to b. Then we "construct" a third sequence
convergent to a
f (xi), f
86
Dialoeue Seven
87
Fig. 30
88
Dialogue Seven
1
Now we take a new 6, for instance, 6, = 5.
According
t o our assumption, the 6,-neighbourhood of point a will
contain a t least one point x (denoted by x,) such that
l f ( ~ 2 ) b I 8'.
>
89
91
Dialorrue Seven
= 1/1 - x2
1/x - 1 must exist and be equal to the
sum of the t ~ o ' ~ r e c e d limits,
i n ~ i.e. to zero. AUTHOR. Nevertheless,. .f (x)
I / x - 1 has
, , = 1/1 - x2
no limit at x = 1 for a simple reason that the expression
1/1 - x2 1/x - 1 has meaning only a t a single point
(point x = 1). Applying the theorem on the limit of the
sum, you have not taken into account the domains of the
functions 1/1 - x2 and I / x - 1. The former has the natural domain over 1-1, 11, while the latter over 11, 001.
READER. Apparently your note also covers the cases
when the theorems on the limit of the product, and the
limit of the ratio of functions are used.
AUTHOR. I t goes without saying. Working with functions, you must always consider their domains. The natural
domains of functions may intersect (or even coincide), but
sometimes they may not. This aspect must never be overlooked. Why do you think we never have such complications when working with sequences?
READER. Obviously because all numerical sequences
have one and the same domain, i.e. a set of natural numbers.
AUTHOR. Correct. Now we come to Note 2. Do you
think the limit
sin x
lim-
90
also have limits a t this point. These limits equal the sum, product, and ratio, respectively, of the limits of the constituent
functions (in the last case it is necessary that the limit of the
function g (x) a t a be different from zero).
Thus
lim If (2)
X-a
+ g (x)]
= lirn
x-a
f (x)
+ lirn g (x)
x-a
x-a
x-a
lim f (x)
f (5) -(m)
- lim g (x)
%-a
lim
x-a
X-a
under an additional
condition: lim g (x) # 0
x-a
READER. We have already discussed the similar theorems for numerical sequences.
AUTHOR. Next I wish to make two remarks, using for
the purpose specially selected examples.
Nole 1. I t i s illustrated by the following example.
Obviously l i m l / l - x 2 = 0
and l i m v x - 1 = 0 .
Does i t
x- 1
x-. 1
+1/2
O?)
=
x-o
exists?
READER. In any case the theorem on the limit of the
ratio is not valid here because lirn x = 0.
x
x-a
92
I
More on the ~ i m i ot f Function
D i a b g u e Seven
sin x
An assumption that 0 < x < will not affect the genera l i t y of our results. Dividing sin x by each term of these
inequalities, we obtain
I>7
sin x
sin x
>cos x
hence
o<
($$)
sin x
(1 -7)<(1-cosx)
I
x+ 0
Thus we have
sin x
O < ( I - ~ ) < X
I
whence
Ii-Tl<~x~
sin x
I x l < ~n . .
sin x
(1)
x+o
(g)
fm)
x+o
sin x
at x = 0 is a convincing
94
Velocity
Dialogue Eight
(lim xn = 0)
n+m
(lim yn == 0)
n+ca
(z)
(5)
(?IT)
x+a
DIALOGUE EIGHT
VELOCITY
AUTHOR. We are practically ready t o tackle the concept
of a derivative. This concept, alongside with the concepts
of the limit of numerical sequence and the limit of function,
is one of the most important special concepts in calculus.
95
We may approach the concept of a derivative by considering, for instance, a quantity widely used in physics: the
instantaneous velocity of nonuniform motion of a body.
READER. We have been familiarized with this notion
when studying kinematics in the course of physics, or, t o be
precise, the kinematics of nonuniform motion in a straight
line.
AUTHOR. Exactly. What is your idea of the instantaneous velocity?
READER. The instantaneous velocity of a body is defined
as the velocity of a body a t a given moment of time (at
a given point of its trajectory).
AUTHOR. And what is your idea of the velocity at a given
moment of time?
READER. Well, I see i t as ... . If a body moves uniformly, a t different moments of time its velocityremains
the same. If a body moves nonuniformly (accelerating or
decelerating), its velocity will, in the general case, vary
from moment t o moment.
AUTHOR. Don't you feel that the phrase "velocity at
a given moment of time" is merely a paraphraze of the
"instantaneous velocity"? Six of one and half a dozen of the
other, eh? The term "velocity a t a given moment oftime"
calls for an explanation as much as the term "instantaneous
velocity".
To measure the velocity of a body, one should obviously
measure a certain distance (path) covered by the body, and
the time interval during which the distance is covered. But,
what path and period of time are meant wheh we refer
t o the velocity at a given moment of time?
READER. Yes, i n order to measure velocity, one must
actually know a certain path and time interval during which
the path is covered. But our subject is not the measurement,
i t is a definition of the,instantaneous velocity.
AUTHOR. For the time being we shall not bother about
a formal definition. I t is more important to realize its
essential meaning. I n order to do this, we cannot avoid the
aspect of measurements. Now, how would you find a way
to measure the velocity of a body a t a given moment of time?
READER. I can take a short time interval At, that is,
the period from the given moment of time t to the moment
Dialogue Eight
Velocity
t
At. During this time interval the body covers a disAs
tance As. If At is sufficiently small, the ratio xtwill give
the velocity of the body a t the moment t .
AUTHOR. What do you mean by a sufficiently short time
interval? What do you compare i t with? Is this interval
sufficiently small in comparison with a year, a month, an
hour, a minute, a second, or a millisecond?
READER. Perhaps, neither a year, a month, an hour
nor a minute will do in this case. I see now that the instantaneous velocity can only be measured with a certain degree
of accuracy. The smaller is At the smaller is the error with
which the instantaneous velocity is measured.
AUTHOR, I n principle, the concept of the instantaneous
velocity (or, in other words, "velocity a t a given moment
of time") must be independent of the measurement accuracy.
As
The velocity you are talking about, that is, the ratio E,
96
97
ata
s ( t )= 2
3
Fig. 31
(1)
where a is acceleration.
AUTHOR. And the extreme left-hand parabola is the
graph of the function represented by your formula.
READER. So for the time interval from 0 to t, the body
moves a t a constant acceleration.
AUTHOR. Exactly.
READER. I see. For the time interval from t , to t , the
body moves uniformly (portion 1-2 of the graph is a straight
line); from t , to t , the body moves at a constant deceleration (the graph is an inverse parabola); from t , to t , the
body is not moving a t all; from t, to t, i t moves at a constant
acceleration, and from t, to t, it moves at a constant deceleration.
AUTHOR. Precisely so. Now let us consider the graph of
the function s (t) shown in Fig. 31 from a purely mathematical standpoint. Let us pose the following question: How
strongly do the values of the function change in response
68
Dialogue Eight
e
1
= tan a.
t a tl
-
Pig. 32
is observed in the vicinity of points 1 , 2, and 5. As a matter of fact, the rate of change is equally fast throughout
portion 1-2.
AUTHOR. You are a keen observer. And where do you
think the rate of change is faster, at point 2 or a t point 51
READER. Of course, a t point 2. Here the graph of ' the
function has a much steeper slope than a t point 5.
AUTHOR. Let us turn to Fig. 32. Here in column A
two portions of the graph of the function s (t) are shown
separately, namely, those in the vicinity of points 2 and 5
(in Fig. 31 these portions are identified by dash circles).
In column B the portions of the graph close to points 2
,a and 5 are shown again, but this time with a two-fold increase
READER. In Fig. 32 you have demonstrated a "straightening" of the graph by increasing its scale. But this straightening is only approximate. Why have you stopped a t a mere
four-fold scale increase?
AUTHOR. We can get rid of this approximation and
formulate a more rigorous definition of a slope a t a point.
To be more specific, we consider a segment of the graph
s (t) close to point 5. In this segment we select an arbitrary
point B and draw a secant through points 5 and B (Fig. 33).
Next, on the same graph between points 5 and B we select
an arbitrary point C and draw a new secant 5C. Further,
we select an arbitrary point D in the segment between 5
and C and draw a new secant 5D. We may continue this
process infinitely long and, as a result, we obtain a sequence
of secants which converges to a certain straight line (line 5A
in Fig. 33). This straight line is said to be tangent to the
curve a t point 5. The slope of the tangent is said to be the
slope of the graph a t a given point.
READER. If I understand you correctly we are now in
a -
0 4
.- wO.2
S -IY
.d
h a 3.2
al
bg*S
cd
aal
250 a
1n=Qr
-a
a m u
$ 5 355
aa
g,% 4 g
a.d
N u 0
:. a r
m'a ;2 3
5 . 2 8%;
a l l
"a
as g z 3 5m.22
2s
cda
;;z
30
C
2
.d
LJf!
4r
i A
g
-:2
---
8s
0
.d
2cd 2 a
=,h
%,-$j
a a3
o
a Ok?%, v
cn&C;,+
-.;dcd1
a 3.5 & o,'C*ao-d wmgm$
e W f 41
.."' a a " 0
Eacd
GbZcd a
* C k h r
* mcd
'Moa
2%
. 2 r cv h a
aFIa
&+35
ezga-82 . 2 - m .i
a
a
.2
- 3
a:
2a
w g 8 3 45
C)
Q hEIZ.$
rw a
p . 2 g : 273g
3 -
cda3
&%pa+ ' h Z a 3
102
Dialogue E i g h t
Velocity
vav (t,
A ~1
Ati) = Atl
As2
A $2
103
=-
a (t+At)2
2
(t) = lim
At
At+O
at2
--
a ( t 2 f 2 t At+At3-
2At
At ) a t
'"= lim (' a t +T
=
At+O
at
(4)
v (t) = lim
AUTHOR. You are absolutely right. I must congratulate
you: for the first time in your life you have carried out
Dialogue Eight
Derlvatlve
DIALOGUE NINE
104
105
DERIVATIVE
AUTHOR. The previous dialogue gave us an opportunity
to introduce the concept of a derivative for a specific example
from physics (the instantaneous velocity of a body moving
nonuniformly along a straight line). Now let us examine
this concept from a purely mathematical viewpoint without
Fig. 36
Fig. 35
107
Dialoaue Mine
Derivative
106
A X + ~
Ax
AX+~
Fig. 37
F(Ax) , where
lim A r + f l(Ax)
-lim F (Ax) = 0 and lim G (Ax) = 0. Hence, we have here
READER.
Af(xo)
Ax '
Ax
Ax+O
Limit
(1) is
then
Ax+O
109
Dialogue Nine
Derivative
108
A f (50)
f ' (xO)= lim Ax
As-0
Az+O
(i)
Fig. 38
Next take an increment Ax, (so that Ax, < Ax,). This
increment corresponds to the increment Af, (so) of the
function f at point xO. Denote the slope of the chord AB,
by a,; it is similarly quite apparent that
110
biatogae Nine
. . ., Ax,, . . .
n-m
Consequently,
f' (x,)
tan a ,
. . ., tan a,, . . .
(3)
Both sequences (Ax,) and (Af, (x,)) converge to zero. And
what can be said about the convergence of the sequence
(tan a,) or, in other words, the sequence - ?
("
2:')
READER. .Obviously, the sequence ( A ~ ~ ~ .)
O r . con)
verges to f ' (5,). In other words, the limit of (
) is
t h e derivative of f a t so.
AUTHOR. What are the grounds for this conclusion?
READER. Why, isn't it self-evident?
AUTHOR. Let me help you. Your conclusion is based
on definition 2 of the limit of function a t a point. Don't
you think so?
READER. Yes, I agree. Indeed, a certain number (in
this case f' (x,)) is the limit of a function cD (Ax) (in this
F
case cD = E ) a t Ax = 0 if for any sequence (Ax,) convergent t o zero t h e corresponding sequence ( 0 (Ax,)) converges
to this number. Sequence (3) is precisely the sequence
( 0 (Ax,)) in our case.
AUTHOR. Correct. We have thus found that lim tan a,=
Fig. 39
n-m
112
113
Dialogue Nine
Derivative
Definition:
The operation of obtaining f' ( x ) from f ( x ) is said to be
the diferentiation of f ( x ) .
d
The operator
performs this operation over f ( x ) and
is said to be the operator of diferentiation.
READER. But what exactly is d doing with f (x)?
Af (5)
lim -
Ax+O
A'
Ax
'
f ' ( x ).= l i m
f (t Ax) - f (5)
114
Dialogue N i n e
berivative
Ud.
41.5
could be put aside after they have been used, first, for
compiling a set of differentiation rules and, second, for
making a table of derivatives for basic elementary functions?
AUTHOR. Yes, this is the procedure. Using the differentiation rules and the table of derivatives for some basic
elementary functions you are in a position to forget about
the relations of type (4) and are free to proceed further by
using the "language" of the relations of type (5). A formal
course of differential calculus could skip the analysis of
limit transition operations, that is, the relations of type
(4). I t is quite sufficient for a student to learn a set of differentiation rules and a table of derivatives of some functions.
READER. I certainly prefer to be given the foundation.
AUTHOR. Our next dialogue will be devoted to a discussion of the programme of actions as outlined above. At
the first step of the programme, the main rules for differentiation will be established on the basis of the relations of
(4) and, in addition, the derivatives of three functions
y = x2, y = sin x, and y = log, x will be obtained. At the
second step, we shall obtain (without reference to the
relations of type (4)) the derivatives
- of the following functions: y = xn, y = x - ~ , y = 1/x, y = cos x, y = tan x,
y = cot x, y = arcsin x, y = arccos x, y = arctan x, y =
= arccot x, and y = ax.
READER. I'll be looking forward to the next dialogue.
By the way, you wanted to make one more remark about
the derivative f' (2).
AUTHOR. Note 2 concerns the natural domain of a
derivative. Let a set D be the domain of f (x). The question
is whether D is also the domain of f' (x).
READER. In any case, the domain of f' (x) cannot be
wider than the domain of f (x) because in order to find
f' (x) we use f (x).
AUTHOR. A carefully balanced answer, to be sure.
The domain of f' (x) is in the general case a subset of D.
I t is obtained from D as a result of elimination of those
'
does not exist. By the way,
points x for which lim AAx+O
Ax
116
Dialogue Nine
- at
Ar-0
A"
Differentiation
117
point x. We have
0
already observed that i t is the limit of the type ?i,
which
necessitates that both the numerator and denominator tend
Fig. 40
DIALOGUE TEN
DIFFERENTIATION
AUTHOR. Now our aim is a practical realization of the
programme outlined in the previous dialogue. This dialogue
could be considered as a drill on the calculation of derivatives. We shall divide the talk into three parts.
1. Differentiation rules.
2. Differentiation of elementary functions y = x2, y =
= sin x, and y = log, x.
118
Dialogue T e n
Lf (4tg (41=
f ()'
+ -dd ; g ( x )
Ax
Ax-0
(X
+AX)
119
Differentiation
-u
(5)
This gives
=(fg)=gzf+fdsg
AX
d
-;i;-f
(5)
a.
u + Au
( f + A f ) (g + Ag)
= f g + g A f + f Ag + A f Ag
4 Hence,
Au = g Af + f Ag + A f Ag
=
Dialogue Ten
ILU
Differentiation
consequently,
Ax+O
1
Af
= - ( g lim
g2
Ax+0
Ax
g ( 4
provided that the derivatives f' (x) and g' (x) exist, and that
g(4
0.
I t can be written in a different form:
g+Ag
'
-t=
gAf-f
g
Ax-0
-)AA xg
Hence,
Au =- f + A f
- f lim
121
Ag
g2+gAg
This yields
123
Dlalogue Ten
Differentiation
where q + O for Ay + O (see expression (6) from the previous dialogue). Dividing both sides of the equation by
Ax, we obtain
122
lim - = g l
Ax-0
Since lim
Ax+O
lim (4 =)
AY
Ax
AY
(y) lim-+
AX-0
AX-0
Aw
= h'
And since Ay + O
x-0
for Ax +O,
lirn q = lim q = O
Ax+O
Ay-0
Hence we arrive a t ( 5 ) , namely, a t the rule for the differentiation of composite functions.
Rule Six. Finally, I shall give (without proof) the rule
for the differentiation of inverse functions.
Theorem:
I f a derivative y' (x) of an initial monotonic function y (x)
exists and is not equal to zero, the derivative of the inverse
function x (y) is calculated by the formula:
1
x' (Y)= -
(6)
READER. I t seems that this formula can be easily obtained if we make use of the geometrical interpretation of
the derivative. Really, consider the graph of a monotonic
fuhction y (x) (Fig. 41); its derivative a t point xo is t a n a.
The same curve can, obviously, be regarded as the graph of
the inverse function x (y), with y considered as the independent variable instead of x, and x considered as the dependent
variable instead of y. But the derivative of the inverse
function a t point yo is t a n (see the figure). Since a
P=
n
-we have
2 '
Fig. 41
Y (2)
tanp=-
tan a
y
Hence,
+ Ay = (x + AX)^ = x2 + 2 x A x + Ax2
Ay = 22 Ax
Consequently,
+ Ax2
Ax-0
9 heref fore,
y' (x) = 2x
ZX
124
Dialogue Ten
rE
e = lirn (1
n-m
++)
(9)
= (1
+ XFfor x tending to
zero
Next we obtain
Ax
AY -Ax
sin -
At
cOS
Ax
lim
A"
Ax+O
-1
. Ax
sin
lim cos
Ax- 0
&
lim cos ( x
Ax+O
Ax
+ T)
(r+Ff-)
==cosz
+ AY
log, (x i- Ax)
x+ A x
x = log, -
426
b i a t o ~ u ePen
and, consequently,
lim -=
Ax-0
Ax
1 llrn
. log,
Ax-0
Ilia
-.-x
lna
'
128
d
result of the action of the operator ;
ii on the three selected
functions. The left-hand column in the figure lists the
graphs of the three functions f (x), and the right-hand
column shows the graphs of the corresponding derivatives
f' (z).
\ ,
I n what follows we shall not use formulas of type (4)
from Dialogue Nine, that is, we shall not operate in terms
of limit transitions. Using the results obtained above, we
shall find the derivatives for a number of elementary functions without calculating the relevant limits.
I
129
Differentiation
Dialogue Ten
Table 1
(fSg)==
d
d
(af) = a -f
dx
dx
Rule 3
(the differentiation of
the product of functions)
(fg)=g=
to Different Functions
d
ffdsg
(a = const)
d
f4-fds g
d
gzf-fz
Rule 4
(the differentiation of
the ratio of functions)
&(f);
Rule 5
(the differentiation of
composite functions)
Rule 6
(the diflerentiation of
inverse functions)
ga
-x(Y)=
dy
f(4
dx Y ( 4
~ i a l o ~ uken
e
130
431
iff erentiation
sin(?-
- x).
ax sin
-;(
d
x) =
(z
sin y,)
(bere: y = "2 - x
(-i--
.)
Thus,
AUTHOR. Now we can pass to the trigonometric functions. Consider the function y = cos x.
READER. I propose to use (8) and the identity sin2 x
cos2 x = 1. By differentiating both sides of the identity
and using Rule One, we obtain
Fig. 43
132
Diatogue Fen
-,
-.
133
Differentiation
I n order to differentiate y
use (19) and the identity
arccos x, i t is sufficient to
n
arcsin x f arccos x = 2
Therefore,
arccos x = -
cos=x
--
d
arctan x =
dx
C O D ~5
Finally,
= cos2 y = [COS
= 'arctan
(arctan x)I2
-tan !I
dy
Since
cos (arctan x) =
AUTHOR. The result for y
similarly:
ddy sin y
Since
cos (arcsin x) =
cos y
we obtain
cos (arcsin x)
1/1- x2
fl+s2
arccot x is carried
+arccot x =-n2
and yields
d arccot x = - 1
-
we obtain
dx
l+xZ
134
Dialogue Eleven
d ax=
-
dx
1
d
dy log,
135
Antiderivative
=ylna=axlna
Definition.
A n antiderivative is defined as a function F ( x ) whose derivative equals an initial function f ( 2 ) :
This gives
d
(23)
Result (23) is very interesting. We see that the differentiation of the exponential function y = ax again yields
the exponential function ax multiplied by the constant term
In a. I n a particular case of a = e, we have In e = 1 , and
therefore
The exponential function y = ex is simply called the exponential curve. From (24) i t follows that differentiation
trunsforms this function into itself.
'3
F ( 2 )= --P-'x2
3
2
DIALOGUE ELEVEN
READER. This means, therefore, that each given function f ( x ) corresponds to a family of antiderivatives, F ( x )
C, doesn't it?
Diabgue Eleven
Antiderivative
AUTHOR. Precisely. Take a graph of one of the antiderivatives. By translating it along the y-axis, you will
obtain a family of the curves of antiderivatives for a given
function f. For example, let f (x) = sin x. The curves of
136
-F,(x)=
dx
-2 -cos2
dx
137
T = 4 c ~ s Z - s i n -.-= sin x
F (x) = -cosx
+C
(the dash curve is the graph of the function f (x) = sin x).
The constants C were taken with an increment of 0.5. By
reducing this increment, one can obviously obtain a pattern
of arbitrarily high density of F (x) curves.
The figure clearly shows that all the antiderivatives
belong to one family (in other words, correspond to the same
initial function f). This may not always be as clear if the
function is represented in an analytical form. Take, for
example, functions F, = -cos x and F, = 3 - 2 cosa x .
d
It would be difficult to say at the first glance that these two
functions are the antiderivatives of one and the same function
(namely, f = sin x). However, since 2 cosa
= 1
cos x,
we find
Fp (x) = 3 - 1 - cos 7 = -cos q t 2
; +
~ , = ( 2 c o s x + 1 ) ~
I/=*
F, = 2
sin2x+cos2x_
1
cOS5
-COS x
1
c o s ~ + i = ~$
cos x
cos 5
138
Dialogue Eleven
139
Antiderivative
Table 2
11
0
a
x"
n+l
ex
ex
1
-
--1
1/5
ax+C
1 xn+l + c
nxn-1
1
I
eX+C
Inx+C
x2
sin x
cox
cosx
2
-x1/z+c
3
1/,
- sir1 x
-cos x + C
sin X + C
. ~ n d e e d ,in the
function tan x than the function
latter case we have to use the rules for differentiation of a
ratio of two functions or of a composite function.
I n general, i t should be noted that the operation of integration is substantially more complicated than that of
differentiation. The differentiation of elementary functions
invariably gives elementary functions. By employing the
rules for differentiation discussed i n the previous dialogue,
you will be able (and with no difficulties, as a rule) to differentiate practically any elementary function. But integration
is quite a different proposition. The rules for the integration
of elementary functions comprise numerous techniques, and
we would need several special dialogues to scan them. But
the main point is that not every elementary function has an
elementary function for its antiderivative. As one example,
I shall mention the antiderivatives of such elementary
1
functions as -or
.1
As a rule, in such cases
logs
10
sin x
2cos3 x
C O S ~x
1
sill2 x
-2-
1
1+
2s
COS x
sin3 x
(1
+x2Y
tan X + C
cot x + C
arctan x + C
l/l+x~
140
Diabeue Eleven
-,,
141
Antiderivative
,.
=-1
f(~)a=f(y)=f(ax+b)
a
(here: y--ax+b)
But the area A D E F is equal to f (3) Ax, and the area ABCF
is equal to f (x
Ax) Ax. Therefore,
or
f (3) Ax
(x
+ Ax) A s
143
Antiderivative
or
AS ("I f (x))
4 ~ -
Thus, in terms of geometry, the antiderivative of the function f , taken at point x, is the area of curvilinear trapezoid
bounded by the graph of the function f (x) over the interval
[a, XI of the x-axis.
READER. Presumably, i t is oiie of the possible antiderivatives, isn't it?
AUTHOR. Definitely.
READER. But i t is evident that the area S (x) also depends on the choice of point a.
AUTHOR. Absolutely correct. By choosing different
points a , we shall have different areas of curvilinear trapezoids and, correspondingly, different antiderivatives. But
all of them will be the antiderivatives of the functioii f
taken a t point x. I t is only important t h a t in all cases
a < x.
READER. Then why is it that point a vanishes from
the final results?
AUTHOR. Your bewilderment is understandable. Let
us reformulate the results obtained above. Let F (x) be an
antiderivative of a function f (x) taken a t point x. According
to (3), we can write
S (x) = F (x)
C
Fig. 46
Ax+O
quently,
Ax
= S'
(x)
Ax-0
f (4
s'
(5)
Hence, C
-F
Conclusion:
I f F (x) is a n antiderivative of a function f (x), then the
area S (x) of a curvilinear trapezoid bounded by the graph
of the function f (x) over the interval [a, XI is given by the
digerence F (x) - F (a).
You see now that point a is introduced explicitly.
READER. Now everything is clear.
AUTHOR. Relation (3) (and from it, (4)) can be obtained
144
Dialogue Eleven
+ E] Ax
<
-=
or
146
Antiderivative
< [ f (I)
Fig. 47
5L
EI
or, finally,
Fig. 48
&(x)=F ( X ) F
($1,
146
Dialogue Twelve
integrai
14?
I!
DIALOGUE TWELVE
INTEGRAL
AUTHOR. We know already that the difference between
the values of an antiderivative at two arbitrary points
depends only on the choice of these points (and, evidently.
on the type of the initial function f (x)). As these two points
we choose points a and b, that is, consider an increment of
an antiderivative, F (b) - F (a). This increment plays a
very important role among the tools of calculus; it is called
the integral.
Definition:
The increment of a n antiderivative F of a function f , i.e.
F (b) - F (a), is said to be the integral of f from a to b.
The notation of the integral is:
-*
L .
Fig. 49
250
[P,
Dialogue T w e l v e
[f, ;].
152
Integral
Hence,
is called the integral with a variable upper limit. I t is important that in contrast t o the expression
b
Sf
(t) dt
1
a
then the
J
a
152
Dialogue Twelve
The second and third columns of this table show what the
s
r
The integral
(.
. .) d t
I!(.
. .) d t and t h e n t h e operator
x
rator
( jf ( t )d t ) .
ia
T h i s gives
- F (a)] =
F (x) = f (x)
..., x,
154
11
=[f
+ f (21) + - .+ f
(XO)
(zn-i)I
f (x) d x = l i m S , (a, b)
n+m
Do you agree?
AUTHQR. Yes, certainly. And note that definition (4)
is independent, that is, it is not based on the concept of the
antiderivative.
Historically, by the way, the integral appeared as (4),
the fact that explains the origin of the standard notation.
Indeed, if definition (4) is rewritten in a slightly different
form
b-a
f (x) d z = l i m
a
Fig. 52
(3)
n+m
f
k= l
(zk-,) A X )
you may notice a certain similarity in the form of the leftand right-hand sides of this equality. The very symbol [
(the integral sign) originated from the letter S which was
often used to denote sums. The product f ( x ~ - Ax
~ ) evolved
to f (x) dz. I n the 17th century mathematicians did not use
the concept of the limit. They treated integrals as "sums of
an infinitely large number of infinitely small addends",
with f (z) dz being these infinitesimal addends. I n this sense,
the area of a curvilinear trapezoid S was defined as the
"sum of an inhnitelv large number of infinitelv small areas
f (z) dx".
You realize, I hope, that such concepts were obviously
lacking mathematical rigorousness.
READER. This i l l ~ s t ~ a t ewhat
s
you termed on many
occasions "subjective impressions".
AUTHOR. I t must be clear to you by now that a strict
mathematical interpretation of the concept of the integral
is possible only if the limit transition is used. I have already
emphasized that the limit transition is the foundation of
calculus. If the concept of the limit is avoided ("limit of
155
Integral
Dialogue T w e l v e
156
Dialogue Thirteen
Differentiat Equations
DIALOGUE THIRTEEN
DIFFERENTIAL EQUATIONS
AUTHOR. You are, certainly, familiar with various types
of equations: algebraic, logarithmic, exponential, t r i g o n 9
metric. They have a common feature: by solving these
rrl/( 4 = [=(;iE
d
457
f (x))]
Note that we are, in fact, familiar with the second derivative. As the function f (2) is the first derivative of an antiderivative F (x) [f (x) = F' (x)I, the function f' (x) can be
considered as the second derivative of the antiderivative
F (x):
f' (x) = F" (x)
READER. We know that the derivative of f (x) (to be
exact, its first derivative) is the rate of change of this function. I t s magnitude is reflected in the slope of the graph of
the function f (x) a t each point and is measured as the
tangent of the angle between the tangent line to the graph
and the abscissa axis. Could anything of this type be said
about the second derivative of f (x)?
159
~ i a l o e u eT h i r t e e n
Differential Equations
vex upward. Besides, the curvature is greater for the function f , than for fl.
AUTHOR. These are precisely the finer features of the
behaviour of f (x) close to x = x,, and they can be identified
by finding the value of the second derivative at x, (by calculating the value of f " (x,)). I n the case shown in Fig. 54
we have
(xo) # fi (xo)
You will immediately see that f'i (x,) > 0 and f'i (x,) < 0.
Indeed, the slope of f , a t x, steadily increases; hence, the
slope of f ; (x) is positive. On the contrary, the slope of f 2
a t x, steadily decreases; hence, the slope off; (x) is negative.
I t is quite obvious (see the figure) that
i 58
f;
Fig. 54
f' (5) = cp ( 4
(1)
where cp (x) is a given function, can be considered as the
simplest particular case in the theory of differential equations; its solution is obtained by a straightforward integration.
Two simple (and, incidentally, very frequently encountered) types of differential equations are
160
Dialogue Thirteen
Digerentiak Equations
161
Fig. 55
I
I
f ( ~ 0=
) Yo
In this case we are interested in a single curve among t h e
curves of the whole family (see Fig. 55; the selected curve
is shown by a thicker solid line). This curve is a graph of the
function C exp (px) for which C exp (px,) = yo, and, therefore, C = yo exp (-pxo). Consequently, the particular solu11-01473
162
Dialogue Thirteen
d
(
dx
,(l/i
d
cos
x)) = - 1/,
Differential Equations
163
(7)
fi c, cos(1/< x) - V i C2 sin ( f i x )
Formula (7a) is obtained from (7) if we set a =
+ ;.
164
Dialogue Thirteen
Differential Equations
f (0) = 0 ,
f' (0) = f6
165
(11)
C1 = A c o s a ,
C, = A sin a
Now try t o obtain from general solution (7) a particular
solution satisfying initial conditions (6).
READER. We shall obtain i t by expressing the constants
A and a via f o and f,'. Equality (7) yields an expression for
t h e first derivative of f ( x ) :
fJ(x)=Al/icos(I/~x+a)
In this case initial conditions ( 6 ) take the form
or
I/i
This yields
f (x)
=a
s i n (I/;x )
I/;
(13)
166
Dialogue Thirteen
This yields a =
;
f (I)= f O s i n(
+nn,
and therefore
V ~ In+ ~n n+) = f o c o s ( l / ~ x + x n )
P a y attention to the periodicity of the functions representing solutions (general or particular) of differential
equation (3).
READER. Relation (13) or (16) clearly shows that t h e
period of these functions is
T = - 2n
Diflerential Equations
167
168
Dialoeue Fourteen
DIALOGUE FOURTEEN
MORE ON DIFFERENTIAL
EQUATIONS
AUTHOR. All the preceding dialogues (with an exception
of Dialogue Eight) left out, or very nearly so, any possible
physical content of the mathematical concepts and symbols
we were discussing. I wish to use this dialogue, which concludes the book, to "build a bridge" between higher mathematics and physics, with differential equations as a "building material". We shall analyze differential equations of
exponential decay and those of harmonic oscillations,
filling them with a specific physical content.
READER. In other words, you suggest discussing specific
physical processes?
AUTHOR. Yes, I do. I emphasize that differential equations play an outstanding role in physics. First, any more or
less real physical process cannot, as a rule, be described
without resorting to differential equations. Second, a typical
situation is that in which diflerent physical processes are
described by one and the same differential equation. I t is said
then that the physical processes are similar. Similar physical
processes lead to identical mathematical problems. Once
we know a solution of a specific differential equation, we
actually have the result for all similar physical processes
described by this particular differential equation.
Let us turn to the following specific problem in physics.
Imagine an ensemble of decaying radioactive atomic nuclei.
Denote by N (t) a function describing the number of atomic
nuclei per unit volume which have not decayed by the
moment of time t. We know that a t the moment t = to
the number of nondecayed nuclei (per unit volume) is No,
and that the rate of decrease in the number of nondecayed
nuclei a t the moment t is proportional to the number of
nondecayed nuclei a t the given moment:
Here ;
. is a proportionality factor; evidently, .t has the
dimension of time; its physical meaning will be clarified
later.
We are to find the function N (t).
This is our specific physical problem. Let us look a t i t
from the mathematical viewpoint.
N f ( t ) z t N (t)
to
Fig. 56
(2)
This yields
1
169
More on Differential ~ ~ u a t i o n s
171
(4)
AUTHOR. Formula (4) describes Bouguer's law, well
known in optics: as light penetrates the matter, its intensity
Fig. 58
Fig. 57
192
Dialogue Fourteen
..
173
or
x" (t)
k
+x (t) = 0
m
(7)
xV(t)= 3
sin (ot)
0
We thus find that the ball in the problem vibrates harmonically around its equilibrium position x = 0. The parameter A
is, obviously, the amplitude of vibrations. The parameter a
is called the initial phase of vibrations. Recalling relation
(17) of the previous dialogue, we conclude that the period
of vibrations is
(13)
(14)
174
Dialogue Fourteen
ball):
(1) x (0) = 0,
x' (0) = 0;
in this case A = 3 , a = 0.
0
in this case A= z,,
-st
2 .
Fig. 59
( 4 ) x (0) = x,, x' (0) = -ul (the initial velocity imparted to the ball has the direction opposite to that of the
initial displacement); in this case A = A,, a = x - a ,
(see the figure).
As follows from relation (9) of the preceding dialogue,
READER. I notice that by fixing specific initial conditions (in other words, by initiating the vibrations of the
ball by a specific method), we predeter~ninethe amplitude
and initial phase of the vibrations.
175
[TI
- Li'
Q (t)
(t) =T
Dialogue Fourteen
176
17'7
,,
nt?
[I
+n
t a)'f
PROBLEMS
Problems
179
x,
"'
(b) yn = n2 -3n;
(a) lim = 0;
n+cc 2"
Hint. In
(b) lim
(vim-v a )
= 0.
Answer.
fW+fZ
(-
1)"+l
(n,)n
(d) yn = ( -1)"+'
(-1)
3n
(c) y n = n + 5 s i n T .
Answer. (a) y,
= y, = - 5;
Answer. (a) y,
10n
( b ) Y n = ~ -
= 15;
+...]
fa
proved above.
7. Find the limits of the following sequences:
1
(b) ~ n = [ 1 - ( - l ) " I + ~ [ 1 + ( - l ) " l ;
Yn=
n+m
~ r o b l e m (a)
n 1)
n(
(c)
109
(b) y9 = yiO= T.
= - 2.
180
3f (2-1)-f
(*)
=2x.
a t point x = 0.
ya has no derivative
I x I < 2.
Hint. Find first that the maximum value of the polynomial f (x) = 3 2 - 5 9 - 303: over the interval
[-2, 21 is below 40. To do this, find the values of f (x)
a t the end points of the interval [-2, 21 and a t the
points a t which the derivative of f (x) is zero (if these
points belong to the indicated interval).
13. Find the maximum and minimum values of the function
f (x) = a - 2 In a over the interval 11, el.
Answer. The minimum value is f (2) = 2 - 2 1n 2,
the maximum value is f (1) = 1.
14. Find a point xo a t which the tangent to the graph of the
function f (x) = xa 1 is parallel to the straight line
y = 32.
3
Answer. x0 = -2'
15. Write the equation of the tangent to the graph of the
5 a t point so= 1.
function f (x) = x2 - 42
Answer. y = -22
4.
181
Pro btems
Problems
(c) f
(5)= 1/x2
+ 5;
( f ) f (x) = arcsin
l/s;
1- ., (1)) -- 22
(22+3). ; (C)
Ar~stcier. ( a )
r1 (/ z'b-1
2 siu x
(4
22
g)
(f)
112375
1
2.f-
'
1-2
(h) (1+1)(1+x2).
+
+
+ ;.
'4'
j82
Probtems
Problems
i.
(5)dx
-- 1
24
(5)= ;
i
; (c)
8 ;(d)
7
z
.
\ f (t) dt
(a)
Answer.
(a)
lnx;
(b)
q);
Answer. (a) s i n ( x f
(b) e o s ( x f F ) ,
29. Find the value of the f o i r t h derivative of the function
f (x) = In x for x = 2.
I
(a) f (x) = ;
; (b) f
1g3
- --+ 2 ; ( c ) - % + ;