Professional Documents
Culture Documents
Beta Version
ISBN 978-1-61610-156-5
Orange Grove Texts Plus is an imprint of the University Press of Florida, which is the scholarly
publishing agency for the State University System of Florida, comprising Florida A&M
University, Florida Atlantic University, Florida Gulf Coast University, Florida International
University, Florida State University, New College of Florida, University of Central Florida,
University of Florida, University of North Florida, University of South Florida, and University of
West Florida.
Chapter and section numbering continues from the previous volume in the series,
Concepts in Calculus I.
vi CONTENTS
Applications of Integration
Theorem 6.1. Let f and g be two functions such that, for all real
numbers x ∈ [a, b], the inequality f (x) ≥ g(x) holds. Then the domain
whose borders are the graph of f , the graph of g, and the vertical lines
x = a and x = b has area
b
A= (f (x) − g(x)) dx.
a
This is not difficult, since we only need to show that if x ∈ [2, 3], then
f (x) ≥ g(x), that is,
x3 + 1 ≥ x2 + 2,
x3 − x2 ≥ 1,
x2 (x − 1) ≥ 1,
11
=8 .
12
2
Example 6.2. Find the area A(D) of the domain D whose borders
are the graphs of the functions f (x) = x2 + 3x + 5 and g(x) = 2x2 +
7x + 8. See Figure 6.3 for an illustration.
Solution: Let us find the points in which the graphs of f and g inter-
sect. In these points, we have
x2 + 3x + 5 = 2x2 + 7x + 8,
0 = x2 + 4x + 3,
0 = (x + 3)(x + 1).
That is, the two curves intersect in two points, and these points have
horizontal coordinates a = −3 and b = −1. Furthermore, if x ∈
[−3, −1], that is, if x is between those two intersection points, then
1
=1 .
3
2
The situation becomes slightly more complicated if f ≥ g does not
hold throughout the entire interval [a, b]. For instance, it could happen
that f (x) ≥ g(x) at the beginning of the interval [a, b], and then, from a
given point on, g(x) ≥ f (x). In that case, we split [a, b] up into smaller
intervals so that on each of these smaller intervals, either f (x) ≥ g(x)
or g(x) ≥ f (x) holds. Then we can apply Theorem 6.1 to each of
these intervals. As on some of these intervals f (x) ≥ g(x) holds, while
on some others g(x) − f (x) holds, theapplication of Theorem 6.1 will
sometimes
involve the computation of (f (x)−g(x)) dx and sometimes
(g(x) − f (x)) dx. The following theorem formalizes this idea.
Theorem 6.2. Let f and g be two functions. Then the area of the
domain whose borders are the graph of f , the graph of g, the vertical
line x = a and the vertical line x = b is equal to
b
|f (x) − g(x)| dx.
a
36.3. Curves Failing the Vertical Line Test. Sometimes we want to com-
pute the area between two curves that do not pass the vertical line
test; that is, they contain two or more points on the same vertical line.
Such curves are not graphs of functions of the variable x. If they pass
the horizontal line test, that is, if they do not contain two points on
the same horizontal line, then they can be viewed as functions of y.
We can then change the roles of x and y in Theorems 6.1 and 6.2 and
proceed as in the earlier examples of this section.
Example 6.4. Compute the area A(D) of the domain between the
vertical line x = 4 and the curve given by the equation y 2 = x. See
Figure 6.6 for an illustration.
Solution: Neither curve satisfies the vertical line test, but both satisfy
the horizontal line test. Therefore, we set f (y) = 4 and g(y) = y 2 . It is
clear that the two curves intersect at the points given by y = −2 and
y = 2. Between these two curves, the value of f (y) is larger. Therefore,
Theorem 6.1 applies (with the roles of x and y reversed). So we have
2
A(D) = (f (x) − g(x)) dx
−2
2
= 4 − y 2 dy
−2
2
y3
= 4y −
3 −2
16
= 16 −
3
2
= 10 .
3
2
Note that the geometric meaning of reversing the roles of x and y
is simply reflecting all curves through the x = y line. That reflection
does not change the area of any domain, so one can expect analogous
methods of computing areas before and after that reflection.
36.4. Exercises.
(1) Find the area of the domain whose borders are the vertical line
x = 0, the vertical line x = 2, and the graphs of the functions
f (x) = x2 + 3 and g(x) = sin x.
(2) Find the area of the domain whose borders are the vertical line
x = 1, the vertical line x = 3, and the graphs of the functions
f (x) = x3 and g(x) = e−x .
(3) Find the area of the domain between the graphs of the func-
tions f (x) = x2 + 2 and g(x) = 4x − 1.
(4) Find the area of the domain between the graphs of the func-
tions f (x) = x3 − 3x2 and g(x) = x2 .
(5) Find the area between the curves given by the equations x =
5y and x = y 2 + 6.
(6) Compute the area between the three curves f (x) = x, g(x) =
−x, and h(x) = 4.
37. Volumes
37.1. Extending the Definition of Volumes. If a solid S can be built up
using unit cubes, then we can simply say that the volume V (S) of S is
the number of unit cubes used to build S. However, if the borders of
8 6. APPLICATIONS OF INTEGRATION
S are not planes, then this method will have to be modified. A ball or
a cone is an example of this.
So we would like to define the notion of volume so that it is applica-
ble to a large class of solids, not just to those solids that are bordered
by planes. This definition should agree with our intuition. It should
also be in accordance with the fact that we can approximate all solids
with a collection of very small cubes; therefore, V (S) must be close to
the number of unit cubes used in the approximation.
With these goals in mind, we recall that we already defined the area
of a domain in the plane whose borders are the graphs of continuous
functions. Building on that definition, we say that the volume of a
prism is its base area times its height. More formally, let S be a solid
whose base and cover are identical copies of the plate P , located at
distance h from each other, on two parallel planes that are at distance
h from each other. Then we define the volume of S to be
V (S) = A(P )h,
where A(P ) is the area of P . See Figure 6.7 for an illustration. In
particular, the volume of a cylinder whose base is a circle of radius r
and whose height is h is r2 πh.
Now let S be any solid located between the planes given by the
equations x = a and x = b. In order to define and compute the volume
V (S) of S, we cut S into n parts by the planes x = xi for i = 0, 1, . . . , n,
where
a = x0 < x1 < · · · < xn = b.
Let n be large. Then the part Si of S that is between the planes
x = xi−1 and x = xi is well approximated by a prism Pi described as
follows. The height of Pi is ∆x = (b − a)/n, the base plate and cover
n
n
(6.1) V (Pi ) = A(Ti ) ∆x.
i=1 i=1
n
V (S) = lim A(Ti ) ∆x.
n→∞
i=1
n b
lim A(Ti ) ∆x = A(t) dt,
n→∞ a
i=1
Solution: For any given t ∈ [−r, r], the intersection of the plane
x = t and the ball B is a circle. Let √ Ct denote this circle. By the
Pythagorean theorem, Ct has radius r2 − t2 , and therefore, the area
of Ct is A(t) = (r2 − t2 )π. See Figure 6.8 for an illustration.
10 6. APPLICATIONS OF INTEGRATION
37.2. Annular Rings. In the examples that we have solved so far, the
computation of A(t) or B(t), that is, the computation of the area of
the intersection between a solid and a horizontal or vertical plane, was
not difficult. That computation could be done directly.
There are situations in which the domains whose areas we need to
compute are not convex; that is, visually speaking, there is a hole in
Solution: The two curves intersect at the points (0, 0) and (2, 4). The
intersection of the horizontal plane y = t with S has the form of an
annular ring, which is sometimes informally called a washer. This is
simply a smaller circle cut out off the middle of a larger circle, so that
the two circles are concentric. If the larger circle has radius r1 and the
smaller circle has radius r2 , then the annular ring has area π(r12 − r22 ).
This general recipe enables us to compute B(t) in the example at
hand. The points in D satisfy x ∈ [0, 2] and y ∈ [0, 4]. As 0 ≤ x ≤ 2,
the inequality x2 ≤ 2x holds. So, for t ∈ [0, 4], the point Pi = (t/2, t)
on the √graph of g(x) = y = 2x is closer to the y axis than the point
Po = ( t, t) on the graph of y = x2 = f (x). (It takes a larger value
of x to get the same value t = y by f than it takes to get the same
value by g.) So the outer circle of the annulus will be given by the
rotated image of the curve of f (the parabola), and the inner circle of
the annulus will be given by the rotated image of the curve of g (the
straight line).
In particular, for fixed t, the radii are obtained as the distance of
Po (resp. Pi ) from the axis of rotation, that is, the line x = −3. For
the inner radius, this yields
t t + 6
r2 = −3 − = ,
2 2
√ 2 t+6
2
t2
B(t) = π(r12 − r22 ) = π t+3 −π = π 6t0.5 − − 2t .
2 4
37. VOLUMES 13
37.3. Special Cases of Theorems 6.3 and 6.4. Note that the solids we
discussed so far in this section could be obtained by rotating the graph
of a function around an axis. Such volumes are called volumes of rev-
olution. Indeed, the ball of Example √ 6.5 can be obtained by rotating
the graph of the function f (x) = r2 − x2 (a semicircle) about the x
axis. The cone of Example 6.6 can be obtained by rotating the graph
of the function f (x) = −x hr + r = y (a straight line) about the y axis.
For such solids, the areas A(t) and B(t) appearing in Theorems 6.3
and 6.4 are easy to compute, since the intersections appearing in those
theorems will be circles or annular rings. If S is a solid obtained by
rotating a curve about the x axis, then the intersection of the plane
x = t and S is a circle of radius f (x), and hence A(t) = f (x)2 π. If S is
a solid obtained by rotating the curve of the function g(y) = x about
the y axis, then the intersection of S and the plane y = t is a circle
of radius g(t), and so B(t) = g(t)2 π. This yields the following special
versions of Theorems 6.3 and 6.4.
Theorem 6.5. Let S be a solid between the planes x = a and x = b
obtained by rotating the graph of the function f (x) = y about the x
axis. Then we have b
V (S) = f (t)2 π dt.
a
The exercises at the end of this section will provide further examples
for the uses of these theorems.
14 6. APPLICATIONS OF INTEGRATION
If the domain to be rotated does not include the entire area between
the curve and and coordinate axis (for instance, because it is a domain
between two curves), then we get annular rings, which we discussed in
the last section.
37.5. The Big Picture. Note that the theorems presented in this sec-
tion on integrals confirm our intuition that if a certain function mea-
sures a quantity, then, under the appropriate conditions, the integral
of that function measures a quantity that is somehow in a space that
is one dimension higher. For instance, we saw earlier that if f (x) mea-
sured the height of a curve at a given
horizontal coordinate x, then,
under the appropriate conditions, f (x) dx measured the area under
the curve. So taking integrals meant moving from one dimension to
two. In this section, the functions A(t) and B(t) measured areas
of domains in a given plane, while A(t) dt and B(t) dt measured
volumes. So taking integrals meant moving from two dimensions to
three.
37.6. Exercises.
(1) Compute the volume of the solid between the planes x = −1
and x = 1 obtained by rotating the graph of the function
f (x) = x2 = y about the y axis.
(2) Compute the volume of the solid between the planes x = −1
and x = 1 obtained by rotating the graph of the function
f (x) = x2 = y about the x axis.
(3) Compute the volume of the solid between the planes x = 0
and x = π obtained by rotating the graph of the function
f (x) = sin x = y about the x axis.
(4) Compute the volume of the solid √ obtained by rotating the
domain between the curves y = x and y = x about the line
y = −2.
(5) Compute the volume of the solid obtained by rotating the
domain between the curves y = x4 and y = x about the line
x = −1.
16 6. APPLICATIONS OF INTEGRATION
For each integer i ∈ [1, n], we will take a cylindrical shell Si , which
will roughly cover the part of S that is obtained by rotating the part
of D that is between the lines x = xi−1 and x = xi about the y axis.
More precisely, this shell will be obtained by removing the cylinder Ci,2
from the cylinder Ci,1 , where Ci,1 and Ci,2 are both cylinders whose
symmetry axis is the y axis and whose height is f (x∗i ) for the midpoint
x∗i of the interval [xi−1 , xi ]. The radius of Ci,1 is f (xi ), and the radius
of Ci,2 is f (xi−1 ).
If we set ∆x = (b − a)/n, then (6.2) implies that
since x∗i is the midpoint of the interval [xi−1 , xi ]. Summing the last
displayed equation over all i, we get
n
(6.3) V (S) ≈ f (x∗i ) ∆x 2πx∗i ,
i=1
2
The axis around which we rotate a domain does not have to be
a coordinate axis in order for the method of cylindrical shells to be
applicable. We can apply the method as long as we can decompose the
solid in question into cylindrical shells whose height and radius we can
compute.
Therefore, we have
2
V (S) = 2π(2x − x2 )(3 − x) dx
0
2
3
= 2π x − 5x2 + 6x dx
0
2
x4 5x3
= 2π − + 3x2
4 3 0
8
= 2π ·
3
≈ 16.755.
2
38.2. Exercises.
In (1)–(3), use the method presented in this section to compute the
volume of the solid obtained by rotating the domain between the given
curves about the y axis.
(1) f (x) = x3 = y, x = 1, y = 0.
(2) f (x) = x12 , x = 2, x = 3, y = 0.
(3) f (x) = x, g(x) = −x, x = 2.
In (4)–(7), use the best available method to compute the volume of the
solid obtained by rotating the domain between the given curves about
the given axis.
(4) f (x) = x = y, g(x) = −x = y, x = 2, about x = −1.
39. WORK AND HYDROSTATIC FORCE 21
part just as in the previous example, and then we can add the obtained
amounts to get the total amount of work done across the entire distance.
If the force exerted changes according to a continuous function f (d),
then we can approximate the work done using the idea of the previous
paragraph and then use integration to compute the total work done by
the force as follows.
Let a and b be real numbers and let us assume that an object is
moving from a to b, and the force moving the object at a given point x
is equal to f (x), where f is a continuous function. In order to compute
the work done across the entire distance, let us split the interval [a, b]
into n equal intervals, using points
and set ∆x = (a−b)/n. Then the work done by the force on the interval
Ii = [xi−1 , xi ] is about f (x∗i ) ∆x, where x∗i is some sample point in Ii .
Indeed, f is continuous, so if n is large and therefore Ii is short, then
f does not change much on that interval, so the shape of the domain
under the curve of f and above Ii is roughly a rectangle. This means
that the total work done by the force on [a, b] is close to
n
(6.4) f (x∗i ) ∆x.
i=1
39.2. Hydrostatic Force. Let us say that we want to pump water out
of a tank that has the shape of the southern half of a ball of radius
1 (m). How much work is needed to do that? This question is more
complex than the previous one since deeper layers of the hemisphere
are smaller, and water in those layers has to travel farther in order to
reach the top of tank.
Therefore, we will cut the tank up into small layers and estimate
the amount of work needed to pump out each layer of water.
Let x = 0 denote the bottom of the tank and let x = 1 denote
the center of the top circle of the tank. Cut the tank into i horizontal
layers by planes that are at heights
0 = x0 < x1 < · · · < xn = 1.
Here xi − xi−1 = 1/n = ∆x for all i. Let Li denote the ith layer.
The shape of this layer is close to a cylinder of height ∆x. Each water
particle in this layer has to be pumped at a distance roughly equal
to 1 − zi , where zi is a point in [zi−1 , zi ]. The square of the radius
of the cylinder approximating Li is, by the Pythagorean theorem, 1 −
(1 − zi )2 = 2zi − zi2 , and therefore the volume of Li is close to Vi =
∆x(2zi − zi2 )π. See Figure 6.14 for an illustration.
One cubic meter of water has a mass of 1000 kg, so the density of
water is ρ = 1000 kg/m3 . Therefore, the mass of the water in Li is
close to mi = ρVi π. In order to pump this water out of the tank, the
downward acceleration caused by gravitation, that is, mi g, has to be
overcome, across a distance of 1 − zi . Therefore, the work needed to
pump out the water in Li is about mi g(1 − zi ), and the work needed
to pump out all the water in the tank is approximated by
n n
(6.5) mi g(1 − zi ) = ρ · gπ ∆x(2zi − zi2 )(1 − zi ).
i=1 i=1
24 6. APPLICATIONS OF INTEGRATION
39.3. Exercises.
(1) How much work is done when a book of mass 2 kg is lifted 1.5
meters from its original location?
40. AVERAGE VALUE OF A FUNCTION 25
40.1. Exercises.
(1) Find the average value of xn on [0, 1].
(2) Find the average value of tan x on [0, π/4].
(3) Find the average value of ln x on [1, e].
(4) Find the average value of ex on [0, 1].
(5) What is larger, the average value of sin x or the average value
of cos x, if both averages are taken on the interval [0, π/2]?
(6) What is larger, the average value of sin x on [0, π] or the av-
erage value of sin x on [−14π, 17π]? Can you find an answer
that does not involve computation?
CHAPTER 7
Methods of Integration
2
29
30 7. METHODS OF INTEGRATION
2
The technique of integration we have just explained is called inte-
gration by parts.
2
Sometimes integration by parts leads to an equation or a system of
equations that needs to be solved in order to get the solution to our
problem.
Example 7.4. Compute ex cos x.
41. INTEGRATION BY PARTS 31
So we could solve our problem if we could compute the integral ex sin
x dx. We can do that by applying the technique of integration by parts
again, setting u (x) = ex and v(x) = sin x. We obtain
(7.4) e sin x dx = e sin x − ex cos x dx.
x x
or
ex
ex cos x dx = (cos x + sin x) + C.
2
x 2
Note that substituting the
obtained expression for e cos x dx into
(7.4), we get a formula for ex sin x dx, namely,
ex
ex sin x dx = (sin x − cos x) + C.
2
2
32 7. METHODS OF INTEGRATION
41.4. Exercises.
(1) Compute x sin x dx.
(2) Compute x2 ex dx.
(3) Compute x ln x dx.
(4) Compute x2 ln x.
2
(5) Evaluate 1 x cos 2x.
1
(6) Evaluate 0 x2 sin x.
= cos2 x(1 − cos2 x) sin x
= cos2 x sin x − cos4 x sin x
= −u2 du + u4 du
u3 u5
=− + +C
3 5
− cos3 x cos5 x
= + + C,
3 5
where we used the substitution u = cos x. 2
34 7. METHODS OF INTEGRATION
= cos − cos6 x dx.
4
Now notethat we computed cos4 dx in Example 7.6. You are asked to
compute cos6 x in Exercise 42.4.2. The difference of these two results
then provides the solution of the present example. 2
42.2. Powers of tan and sec. When integrating a product of the form
tanm x secn x, we will use the identity sec2 x = tan2 x + 1 and the dif-
ferentiation rules (tan x) = sec2 x and (sec x) = sec x tan x.
There are two easy cases, namely, when m is odd (and n is at least
1) and when n ≥ 2 is even.
In the first case, that is, when m is odd and n ≥ 1, we separate one
factor of tan x sec x and express the remaining factors in terms of sec x
by the identity −1 + sec2 x = tan2 x. Then we substitute u = sec x,
which leads to dudx
= tan x sec x.
Example 7.10. Compute tan3 x sec x dx.
Solution: Following the strategy explained above, we have
tan x sec x dx = tan2 x tan x sec x dx
3
= (−1 + sec2 x) tan x sec x dx
= (−1 + u2 ) du
u3
= −u + +C
3
sec3 x
= − sec x + + C.
3
2
42. TRIGONOMETRIC INTEGRALS 35
= (1 + tan2 x) sec2 x dx
= (1 + u2 ) du
u3
=u+ +C
3
tan3 x
= tan x + + C.
3
2
If we are not in these two easy cases, then there is no recipe that
will always work. We then need to have a separate strategy for each
problem. We will show examples of that in Exercises 42.4.6 and 42.4.7.
1 1
(7.8) sin a cos b = sin(a − b) + sin(a + b),
2 2
1 1
(7.9) cos a cos b = cos(a − b) + cos(a + b),
2 2
1 1
(7.10) cos(a − b) − cos(a + b).
sin a sin b =
2 2
Example 7.12. Compute cos 3x cos 5x dx.
Solution: Using (7.9) with a = 3x and b = 5x and noting that
cos −2x = cos 2x, we get that cos 3x cos 5x = 12 cos 2x + 12 cos 8x, and
so
1 1
cos 3x cos 5x dx = cos 2x + cos 8x dx
2 2
1 1
= sin 2x + sin 8x + C.
4 16
36 7. METHODS OF INTEGRATION
42.4. Exercises.
(1) Compute sin3 x dx.
(2) Compute cos6 x dx.
(3) Compute sin3 x cos2 x dx.
(4) Compute tan2 x sec4 x dx.
(5) Compute tan3 x sec5 x dx.
(6) Compute tan5 x by separating one factor of tan2 x in the
integrand and expressing it in terms of sec2 x.
(7) Compute sec3 x dx using integration by parts, with u (x) =
sec2 x and v(x) = sec x.
y sin y cos y
= +
2 2
1 1 x
= · tan−1 (x) + · 2 .
2 2 x +1
The last step is justified since
x tan y
(7.12) = = tan y cos2 y = sin y cos y.
2
x +1 1 + tan2 y
2
Figure 7.2 illustrates this trigonometric argument.
Example 7.14. Compute the integral √x12 −1 .
Solution: The denominator reminds us of the trigonometric identity
tan2 y = sec2 y − 1, and so, if y ∈ [0, π/2), then tan y = sec2 y − 1.
Therefore, we use the substitution x = sec y. Then dx/dy = tan y sec y.
Hence, we have
1 1
√ = dx
x −1
2
sec y − 1
2
1
= dx
tan y
tan y · sec y
= dy
tan y
= sec y dy
= ln| sec y + tan y|
√
= ln|x + x2 − 1|.
2
Figure 7.3 illustrates this trigonometric argument.
43.3. Exercises.
(1) Use the method presented in this section to compute the area
of an ellipse determined by the equation
x2 y 2
+ 2 = 1.
a2 b
√
√1 − 4x dx.
(2) Compute 2
(3) Compute 2
1x + x dx.
(4) Compute √ dx.
x−5
(5) Compute √1 dx.
√x2 x2 −4
(6) Compute x − 2x dx.
2
40 7. METHODS OF INTEGRATION
44.2.1. Distinct Linear Factors. The easiest case is when Q(x) factors
into the product of polynomials of degree 1, and each of these terms
occurs only once.
1
Example 7.16. Compute x2 +3x+2 dx.
Solution: Note that x2 +3x+2 = (x+1)(x+2). Using that observation,
we are looking for real numbers A and B such that
1 A B
(7.13) 2
= +
x + 3x + 2 x+1 x+2
as functions, that is, such that (7.13) holds for all real numbers x.
Multiplying both sides by x2 + 3x + 2, we get
(7.14) 1 = A(x + 2) + B(x + 1).
If (7.14) holds for all real numbers x, it must hold for x = −1 and
x = −2 as well. However, if x = −1, then (7.14) reduces to 1 = A,
and if x = −2, then (7.14) reduces to 1 = −B. So we conclude that
A = 1 and B = −1 are the numbers we wanted to find. It is now easy
to compute the requested integral as follows:
1 1 1
2
dx = dx − dx
x + 3x + 2 x+1 x+2
= ln(x + 1) − ln(x + 2) + C.
2
The above method can always be applied if Q(x) factors into a
product of linear polynomials, each of which occurs only once. In
particular, if Q(x) decomposes as a(x − a1 )(x − a2 ) · · · (x − ak ), then
we can decompose R(x) into a sum of the form
A1 A2 Ak
+ + ··· + .
x − a1 x − a2 x − ak
After determining the numbers Ai , we can integrate each of the above
k summands.
44.2.2. Repeated Linear Factors. The next case is when Q(x) factors
into linear terms, but some of these terms occur more than once.
2x+7
Example 7.17. Compute (x+1) 2 (x−1) dx.
x−b for any real number b, since no real number b satisfies the equation
b2 + 1 = 0).
Therefore, we are looking for real numbers A, B, and C such that
4x + 2 A B Cx
(7.15) 3 2
= + 2 + 2 .
x +x +x+1 x+1 x +1 x +1
The reader is invited to verify that the third summand of the right-
hand side is necessary; that is, if the summand xCx 2 +1 is removed, then
x3 + 2x2 + 3x + 7
dx
x4 + 2x2 + 1
2 x 5 2x
= 2
+ 2 + 2 2
+ 2 dx
x + 1 x + 1 (x + 1) (x + 1)2
1 5x 5 1
= 2 · tan−1 x + ln(x2 + 1) + 2
+ tan−1 x − 2
2 2(x + 1) 2 x +1
1 1 5x − 2
= ln(x2 + 1) + 4.5 tan−1 x + · 2 .
2 2 x +1
1
Here we used the formula for (x2 +1) 2 that we computed in the last
= y 2 − 2y + 2 ln(y + 1)
√ √
= x − 2 x + 2 ln( x + 1).
2
Note that the computation would have been very similar if the
integrand √contained some√ other root of x. Indeed, if the integrand
√
contained r x instead of x, then we would have substituted y = r x,
and that would have turned the integrand into a rational function of
y. Indeed, y = x1/r implies
dy x(1/r)−1
= ,
dx r
dy y 1−r
= ,
dx r
and therefore
dx = ry r−1 dy.
In other words, dx is a equal to dy times a polynomial function of y,
so, indeed, the integrand will be a rational function of y.
44.4. Exercises.
5
(1) Compute dx.
x2 +5x+4
3
(2) Compute dx.
x3 +x2 −x−1
1
(3) Compute dx.
x4 +5x2 +4
1
(4) Compute x4 +4x2 +4
dx.
x2 +4
(5) Compute dx.
x3 −x
x+3
(6) Compute 3 dx.
x
√ +1
x+1
(7) Compute √ dx.
x−3
√
3x
(8) Compute √
3 x+2 dx.
45.1. Substitution. The method that needs the least amount of work,
when it is available, is a simple substitution, so it is reasonable to
try to use that method first. There is a particularly good chance for
this approach to work when f is the composition of two functions, one
of which has a constant derivative, or when f is of the form f (x) =
h (g(x))g (x), since then f (x) = dh
dx
(x), and so f (x) dx = h(x). In the
language of substitutions, this means that substituting y = g(x) will
work, since
dy
f dx = h (g(x))g (x) dx = h (y) dx = h (y) dy.
dx
In other words, the integral of the composite function f is turned into
something simpler, the integral of the function h.
Example 7.21. Let f (x) = sin 2x. Then, using the substitution
y = 2x, we get that sin 2x dx = 12 sin y dy = − 12 cos y = − 12 cos 2x.
Example 7.22. Let f (x) = x23x+1 . Then we set y = x2 + 1, so
dy/dx = 2x. This leads to
3x 3x
2
dx = dx
x +1 y
3 1
= dy
2 y
3
= ln y
2
3
= ln(x2 + 1).
2
The reader should compute the integral sinn x cos x dx at this
point.
45. STRATEGY OF INTEGRATION 47
= −xe−x + e−x
= (1 − x)e−x .
45.3. Radicals. If the two most general methods (substitution and in-
tegration by parts) are not helpful, then it is quite possible that there is
a root sign in the integrand. In that case, there are two specific meth-
ods that we can try, reverse substitution and rationalizing substitution.
The easiest way to know when to use each of these two methods is to
remember the relatively few cases in which reverse substitution works
1
directly. As we have seen, these are the integrals involving r2 +x 2,
√ √
r − x , and
2 2 x − r . If the integrand does not contain any of
2 2
45.4. If Everything Else Fails. If none of our methods work, then it may
be that an unexpected transformation of the integrand may help, at
least with relating the integral to one that is not quite as challenging
to compute.
sin4 x 2
Example 7.24. Compute tan 2 x cos 2x dx.
48 7. METHODS OF INTEGRATION
45.5. Exercises.
In all of the exercises below, compute the integral.
(1) x2 e−5x dx.
(2) √xx2 −1 dx.
(3) xx+13 +1 dx.
sin
(4) e x cos x dx.
x
(5) exe−1 dx.
1
(6) √x2 +4 dx.
1
(7) √x+4 dx.
1
(8) x ln x dx.
1
(9) x ln x·ln(ln x)
dx.
Example 7.25. Use the table of integrals to compute ln(x2 +9) dx.
Solution: Looking at the table of integrals found at the website
www.integral-table.com, we find that the integrand is a special case
of integral (45), with a = 3. Using the formula given in the table for
the general case with a = 3, we get the result
x
ln(x2 + 9) dx = x ln(x2 + 9) + 6 tan−1 − 2x + C.
3
2
Sometimes, we have to resort to integration by substitution to be
able to use the table of integrals.
√
Example 7.26. Use the table of integrals to compute 9 − 4x2 dx.
Solution: Taking a look at the √table of integrals, we find that formula
(30) provides a formula for a2 − x2 dx. In order to be able to use
that formula, we set y = 2x, which implies dy/dx = 2. Therefore,
√
1
9 − 4x dx =
2 9 − y 2 dy.
2
Now we can apply formula (30) from the table of integrals, to get
1 y 9 y
9 − y 2 dy = 9 − y 2 + tan−1 +C
2 4 2 9 − y2
x√ 9 2x
= 9 − 4x2 + tan−1 √ + C.
2 2 9 − 4x2
2
Sometimes we need to carry out some algebraic manipulation before
we can use the technique of substitutions in connection with using the
table of integrals.
2
Example 7.27. Use the table of integrals to compute √xx2+2x+1 +2x+10
dx.
Solution: There is no integral in the table of integrals that would im-
mediately stand out as one that is very similar to this one. The crucial
observation is that the substitution y = x+1 significantly
simplifies our
√ y2
integrand. That substitution leads to the integral 2 2
dy, which,
y +3
in turn, can be directly found in the table of integrals as item (36).
Substituting x back into the obtained formula, we get
x2 + 2x + 1
√ dx
x2 + 2x + 10
√
x2 + 2x + 10 9 √
= − ln x + 1 + x2 + 2x + 10 + C.
2 2
50 7. METHODS OF INTEGRATION
46.3. Exercises.
(1) Use the table of integrals to compute x ln(3x π+ 5)dx.
(2) Use the table of integrals to compute x cos 2 − x dx.
(3) Use the table of integrals to compute x+x+7 dx.
4x+5
x 2
(4) Use the Table of Integrals to compute √x6 +16 dx.
(5) Use2 your favorite
software package to compute xex dx,
x exdx, and x3 ex dx. Do you see a pattern? Try to guess
what x4 ex is, then verify your guess by using your software
package again.
1 1
(6) Let f (x) = √1−x 2 and let g(x) = 1−x2
. Clearly, f (x) =
g(x) for all x where these functions are defined. Compute
the integral of both functions with Maple. If the results seem
different, show that they are in fact equal.
52 7. METHODS OF INTEGRATION
The alert reader may have noticed that the result we obtained is
precisely the average of the left-endpoint and right-endpoint approxi-
mations we obtained for the same integral in the previous section. (This
means that it is a better approximation than at least one of the two
earlier ones.) This is not an accident, and in Exercise 47.4.5, the reader
will be asked to prove that, under certain conditions, this phenomenon
will always occur.
47.2.2. Simpson’s Method. A similar method is Simpson’s method, in
which we use parabolas instead of straight lines for approximation. For
simplicity, let us now assume that the points xi split the interval [a, b]
into n equal parts, that is, xi − xi−1 = (b − a)/n. In order to simplify
the notation, let us set yi = f (xi ).
For any integer i ∈ [1, n−1], consider the points (xi−1 , yi−1 ), (xi , yi ),
and (xi+1 , yi+1 ). There is exactly one parabola pi of the form y =
Ax2 + Bx + C that contains these three points. It can then be proved
that the area under that parabola—more precisely, the area of the
domain Pi bordered by the horizontal axis, the vertical lines x = xi−1
and x = xi+1 and pi —is equal to
b−a
(7.19) (yi−1 + 4yi + yi+1 ) .
3n
If we summed (7.19) over all possible values of i, we would not get a
good estimate, since most points of the domain under the curve would
47. APPROXIMATE INTEGRATION 57
Note that this result confirms our intuition in that if x ∈ [0, 1], then
sin (x2 ) ≤ sin x, and so
1 1
2
sin x dx ≤ sin x = 1 − cos 1 ≈ 0.4597.
0 0
2
Solution: We apply part (a) of Theorem 7.2. We have f (x) = ex ,
2
so f (x) = ex (4x2 + 2). This is an increasing function on [0, 1], so its
maximum is taken at x = 1, showing that |f (x)| ≤ 6e. As in Example
7.29, we chose n = 4, so the previous theorem yields
M (b − a)3 6e
|ET | ≤ = ≈ 0.085.
12n 2 12 · 16
2
47.4. Exercises.
(1) Use n = 4 and the midpoint method to find the approximate
1 2
value of 0 ex dx.
(2) Use n = 4 and the trapezoid method to find the approximate
1 2
value of 0 e−x dx.
(3) Use n = 4 and Simpson’s method to find the approximate
1
value of 0 sin x2 dx.
(4) What value of n should we use in each of the preceding three
exercises to get an error term that is less than 10−6 ?
(5) Let us assume that the points x1 , x2 , . . . , xn−1 used for approx-
imate integration split the interval [a, b] into n equal segments.
Prove that the result obtained by the trapezoid method will be
the average of the left-endpoint method and the right-endpoint
method.
(6) How large is the error term of the approximation in exercise 1
in the worst case?
the horizontal axis, and the graph of f . Note that this area may be a
finite number, even if it is not squeezed between two vertical lines. One
example of this is when f (x) = 0 if x >
∞N for some real number N .
Time has come to formally define a f (x) dx.
b
Definition 7.1. Let f be a function. If the integral a f (x) dx
b
exists for all b > a and limb→∞ a f (x) dx ∞= L exists as a (finite) real
∞ we say that the integral a f (x) dx is convergent, and
number, then
we write a f (x) dx = L.
b
∞ If lim b→∞ a
f (x) dx does not exist or is infinite, then we say that
a
f (x) dx is divergent.
b
lim f (x) dx = lim (F (b) − F (a))
b→∞ a b→∞
∞
Therefore, the integral a f (x) dx is convergent if and only if limb→∞
F (b) exists and is finite.
∞
Example 7.32. Let f (x) = x−2 . Compute 1
f (x) dx.
48. IMPROPER INTEGRALS 61
Solution: We have
∞ b
−2
x dx = lim x−2 dx
1 b→∞ 1
b
= lim −x−1 1
b→∞
1
= lim − + 1
b→∞ b
= 1.
∞
In particular, 1 f (x) dx is convergent. 2
Encouraged by the simple solution of the last example, we are going
∞
to compute the more general integral 1 xr for any real number r.
∞
Example 7.33. Let f (x) = xr . Compute 1 f (x) dx.
∞
If r = −1, then we need to compute 1 xr dx differently, since, in
a+1
that case, xa dx = xa+1 . Instead, we have
∞ b
−1
x dx = lim x−1 dx
1 b→∞ 1
= lim [ln x]b1
b→∞
= lim ln b = ∞.
b→∞
∞
Therefore, 1 x−1 dx is divergent. 2
Note that the results of the previous example prove the following
important theorem.
The following definition makes it clear how and when we can define
an integral on the entire line of real numbers.
m ∞
Figure 7.11. −∞
f (x) dx is blue, while m
f (x) dx is orange.
0
Figure 7.12. −∞
e−x dx.
Solution:
∞ −x
We set m = 0 and apply 0 Definition
−x
7.3.
∞ −x
We get that
−∞
e dx is convergent if both of −∞ e dx and 0 e dx are con-
vergent. However,
0
e−x dx = lim [−e−x ]0a = 1 + ∞
−∞ a→−∞
∞
is divergent and therefore so is −∞ e−x . 2
0 −x
Figure 7.12 shows the domain whose area is equal to −∞ e dx.
The reader could ask how we knew that we needed to select 0, and
not some other real number, for the role of m, that is, to split the
real number line into two parts. The answer is that we did not, and
other choices of m would have given the same result since the integrand
64 7. METHODS OF INTEGRATION
= 2 − lim+ t1/2
t→0
=2−0
= 2.
48. IMPROPER INTEGRALS 65
1
Figure 7.13. 0
x−1/2 dx.
1
So the integralx−1/2 dx is convergent.
0
2
4
Example 7.36. Compute −1 x−2 dx.
Solution: We apply Definition 7.4 since the interval [−1, 4] has one
point, c = 0, where the integrand is not continuous. Therefore,
4 0 4
−2 −2
x dx = x dx + x−2 dx
−1 −1 0
t 4
−2
= lim− x dx + lim+ x−2 dx
t→0 −1 t→0 t
= lim [−x−1 ]t−1 + lim [−x−1 ]4t
t→0− t→0+
=∞+∞
= ∞.
So the integral in question is divergent. 4 2
Figure 7.14 shows the domain whose area is equal to 0 x−2 dx and
the correct way of breaking that interval up to two parts.
Note that we would have reached the wrong conclusion if we had
disregarded the fact that x−2 is not continuous at x = 0 and tried to
apply the fundamental theorem of calculus. Indeed, in that case, we
would have obtained the wrong result: [−x−1 ]4−1 = −1 4
− 1 = − 54 . This
result is incorrect, and the incorrect step was to apply the fundamental
theorem of calculus for a function that is not continuous in the entire
interval of integration.
The integrals that we have discussed in this section are called Type
2 improper integrals.
66 7. METHODS OF INTEGRATION
4
Figure 7.14. −1
x−2 dx.
48.3.1. Improper Integrals of Mixed Type. There are some integrals that
are improper for two reasons. They are taken over an infinite interval,
and that interval contains a point in which the function is not contin-
uous. In that case, we split up the interval of integration so that now
we have two integrals, one of which is of Type 1 and the other of which
is Type 2.
∞ 1
Example 7.37. Compute 0 (x−2) 2 dx.
∞ 1
Figure 7.15. 0 (x−2)2
dx.
∞ 1
Figure 7.16. 3 x2 ln x
dx.
48.4. Exercises.
∞
(1) Is 1∞ sin x dx convergent or divergent?
−1.5
(2) Is 0.5 x dx convergent?
∞
(3) Is √ 1 dx convergent?
3∞ x−2
(4) Is x−2 dx convergent?
−∞
∞
(5) Is xe−x dx convergent?
0∞ 2
(6) Is xe−x dx convergent?
∞ 1
−∞
(7) Is 0 ex +x
dx convergent?
CHAPTER 8
Sequences can also be defined recursively, that is, by a relation that al-
lows us to find an if am , m < n, are known. For example, the Fibonacci
sequence {fn } is defined by the recurrence relation
f1 = f2 = 1 , fn = fn−1 +fn−2 , n ≥ 3 ⇒ {fn } = {1, 1, 2, 3, 5, 8, 13, ...}
Graphic representation of sequences. A sequence can be pictured sim-
ilarly to the graph of a function by plotting points (x, y) = (n, an ),
n = 1, 2, ..., on the xy plane. For example, the sequence an = n/(n + 1)
is the set of points on the graph y = x/(x + 1) corresponding to all
positive integer values of x, that is, x = 1, 2, ....
decreases with increasing n and hence can be made smaller than any
preassigned positive number ε for all n > N , where N depends on ε.
For example, put ε = 10−2 . Then the condition 1 − an < ε implies that
1/(n + 1) < ε or 1/ε − 1 < n or 99 < n, that is, 1 − an < 10−2 for all
n > 99. If ε = 10−4 , then 1 − an < 10−4 for all n > N = 9999. In
other words, no matter how small ε is, there is only a finite number of
elements of the sequence that lie outside the interval (1 − ε, 1 + ε). In
this case, the sequence is said to converge to the limit value 1.
Definition 8.2 (Limit of a Sequence). A sequence {an } has the
limit a if, for every ε > 0, there is a corresponding integer N such that
|an − a| < ε for all n > N . In this case, the sequence is said to be
convergent, and one writes
lim an = a or an → a as n → ∞.
n→∞
If a sequence has no limit, it is called divergent.
One can say that a sequence {an } converges to a number a if and
only if every open interval containing a has all but finitely many of the
elements of {an }.
Theorem 8.1 (Uniqueness of the Limit). The limit of a convergent
sequence is unique:
lim an = a and lim an = a =⇒ a = a .
n→∞ n→∞
49. INFINITE SEQUENCES 71
Proof. Fix ε > 0. Then, by the definition of the limit, there are
numbers N and N such that |an − a| ≤ ε if n > N and |an − a | ≤ ε if
n > N . Hence, both inequalities hold for n > max(N, N ) and for all
such n:
0 ≤ |a − a | = |a − an + an − a | ≤ |an − a| + |an − a | < 2ε;
that is, the nonnegative number |a − a | is smaller than any preassigned
positive number, which means that |a − a | = 0 or a = a . 2
Since a sequence is a function defined on all positive integers, there
is a great deal of similarity between the asymptotic behavior of a func-
tion f (x) as x → ∞ and a sequence an = f (n).
Theorem 8.2 (Limits of Sequences and Functions). Let f be a
function on (0, ∞). Suppose that limx→∞ f (x) = a. If an = f (n),
where n is an integer, then limn→∞ an = a.
The validity of the theorem follows immediately from the definition
of the limit limx→∞ f (x) = a (i.e., given ε > 0, there is a corresponding
number M such that |f (x) − a| < ε for all x > M ) by noting that the
range of f (x) contains the sequence an = f (n).
Example 8.1. Find the limit of the sequence an = ln n/n if it exists
or show that the sequence is divergent.
72 8. SEQUENCES AND SERIES
Thus, ⎧
⎨ 0 if q ∈ (−1, 1),
n
lim q = 1 if q = 1,
n→∞ ⎩
∞ if q > 1,
and the sequence does not converge if q ≤ −1. 2
49.3. Limit Laws for Sequences. The limit laws for functions also hold
for sequences, and their proofs are similar. If {an } and {bn } converge
to numbers a and b, respectively, and c is a constant, then
lim (an + bn ) = lim an + lim bn = a + b,
n→∞ n→∞ n→∞
lim (can ) = c lim an = ca,
n→∞ n→∞
lim (an bn ) = lim an lim bn = ab,
n→∞ n→∞ n→∞
an limn→∞ an a
lim = = if b = 0,
n→∞ bn limn→∞ bn b
lim (an )p = ( lim an )p = ap if p > 0 and an > 0.
n→∞ n→∞
1
lim bn = lim = 0.
n→∞ x→∞ x2
49.4. Exercises.
1 1 1 1 1
{an } = 1, − , , − , , − , ... ,
3 5 7 9 11
1 1 1 1
{an } = 1, , , , , ... ,
2 4 8 16
1 2 3 4 5
{an } = − , , − , , − , ... .
4 7 10 13 16
n!
(8.4) lim n = 0,
n→∞ n
qn
(8.5) lim = 0.
n→∞ n!
Proof.
√
(8.1). If p > 1, put an = n p − 1. Then an > 0 and, by the binomial
theorem,
1 + nan ≤ (1 + an )n = p.
Note that all terms in (1+an )n = 1+nan +n(n−1)an /2+· · ·+nann−1 +ann
are positive. So, by retaining only the first two terms, a smaller number
is obtained, that is, 1 + nan ≤ (1 + an )n . It follows from this inequality
that
p−1
0 < an ≤ .
n
√
By the squeeze theorem, an → 0 as n → ∞ and hence n p = an +1 → 1.
The case p = 1 is trivial. If 0 < p < 1, the result is obtained by taking
reciprocals:
√ 1 1
lim n
p = lim
n
= =1
n→∞ n→∞ (1/p) limn→∞ n (1/p)
because 1/p > 1. √
(8.2). Put an = n n − 1. Then an ≥ 0 and, by the binomial theorem,
n(n − 1) 2
n = (1 + an )n ≥ an .
2
Hence, for n ≥ 2,
2
0 ≤ an ≤ .
n−1
√
By the squeeze theorem, an → 0 or n n = an + 1 → 1 as n → 0.
(8.3). Consider the function f (x) = xq e−cx , where c > 0. By the
asymptotic property of the exponential function, f (x) → 0 as x → ∞
for any q; the exponential grows faster than any power function (which
50. SPECIAL SEQUENCES 77
inf S (the infimum of S). The number inf S is a lower bound of S such
that inf S + ε is not a lower bound of S for any positive ε > 0; that
is, m ≤ inf S for any lower bound of S. The completeness axiom is an
expression of the fact that there is no gap or hole in the real number
line.
Theorem 8.7 (Monotonic Sequence Theorem). Suppose {an } is
monotonic. Then {an } converges if and only if it is bounded.
Proof. Suppose an ≤ an+1 (the proof is analogous in the other
case). Let S be the range of {an }. If {an } is bounded, let a be the
least upper bound of S (it exists by the completeness axiom). Then
an ≤ a for all n ≥ 1. For every ε > 0, there is an integer N such that
a − ε < aN ≤ a;
otherwise, a − ε would be an upper bound of S. Since {an } increases,
the inequality n ≥ N implies that
a − ε < an ≤ a ⇐⇒ |a − an | < ε whenever n ≥ N,
which shows that {an } converges to s. 2
50.2. Exercises.
In (1)–(5), find the limit of the sequence {an } or show that it does not
exist.
√
(1) an = n 2n2 + 3.
(2) an = cos2n (n2 )/n.
(3) an = nrn , where r is real.
(4) an = (2n
√ − 1)!!/(2n)n , where (2n − 1)!! = 1 · 3 · 5 · · · (2n − 1).
(5) an = n 3n + 5n .
In (6)–(10), determine whether the sequence is monotonic or not mono-
tonic. Is the sequence bounded?
(6) an = (−2)n .
(7) an = (−1)n n.
(8) an = ne−n .
(9) an = n + n1 .
82 8. SEQUENCES AND SERIES
51. Series
51.1. Basic Definitions and Notation. With a sequence {an }, one can
associate a sequence {sn }, where
n
sn = ak = a1 + a2 + · · · + an .
k=1
The symbol
∞
(8.6) an = a1 + a2 + a3 + · · ·
n=1
The number s is called the sum of the series. If the sequence of partial
sums {sn } diverges, the series is said to diverge. It should be under-
stood that s is the limit of a sequence of sums, and it is not obtained
merely by addition.
51. SERIES 83
For example, the sequence of partial sums for the series (−1)n
is s1 = −1, s2 = −1 + 1 = 0, s3 = s2 − 1 = −1, or, generally,
sn = ((−1)n − 1)/2. This sequence diverges as it has two subsequences
s2n = 0 and s2n−1 = −1, which converge to different numbers, 0 = −1.
If one simply uses addition, different values for the sum of the series
may be obtained:
∞
an =(a1 + a2 ) + (a3 + a4 ) + (a5 + a6 ) + · · · = 0 + 0 + · · · = 0,
n=1
∞
an =(a1 + a2 + a3 ) + (a4 + a5 + a6 ) + · · · = −1 − 1 − · · · = −∞,
n=1
∞
an =a1 + (a2 + a3 ) + (a4 + a5 ) + · · · = −1 + 0 + 0 + · · · = −1.
n=1
1 1
∞
1 1 1 1 1 1
+ + + ··· = 1 + + + ··· = .
2 4 8 2 2 4 2 n=0 2n
This series must converge. The partial sum sn here is the total length of
retained pieces. The sequence {sn } is monotonically increasing (after
each cut piece of rope is added) and bounded by the total length 1. So
it converges. From the geometry, it is also clear that 1 − sn = 1/2n ,
where n is the number of cuts, and hence sn → 1 as one would expect
(the total length of the rope). So it is concluded
∞
1
= 2.
n=0
2n
where q is a number. The geometric series does not converge for any
value of q.
if {sn
Indeed, } and {tn } are the sequences of partial sums of the
series
a n and bn , respectively, then the partial sums of the series
(an + bn ) and (can ) are sn + tn and csn , respectively. By the limit
laws, sn + tn → s + t and csn → cs.
Note that the convergence
of
the series (an + bn ) does not imply
the convergence of an and bn .For example, put an = 1 and
bn = −1. The series (an + bn ) = 0 =0, while an= 1and
bn = (−1) diverge, and the equality (an + bn ) = an + bn
becomes meaningless (“0 = ∞ − ∞”). This shows that the rules of
algebra for finite sums are not generally applicable to series. Only
series from a special class of absolutely convergent series, discussed later,
behave pretty much as finite sums.
It is clear that every theorem about sequences can be stated in terms
of series by putting a1 = s1 and an = sn − sn−1 for n > 1 and vice
versa. In particular, if the series converges, that is, sn → s as n → ∞,
then one can take the limit on both sides of this recurrence relation
and conclude that limn→∞ an = limn→∞ (sn − sn−1 ) = s − s = 0; that is,
for a convergent series an , the sequence {an } necessarily converges
to 0.
Theorem 8.10 (Necessary Condition for a Series to Converge). If
the series an converges, then limn→∞ an = 0.
The converse is not generally true; that is, the condition limn→∞ an =
0 is not sufficient for a series to converge. However, it can still be used
as a test for divergence of a series.
86 8. SEQUENCES AND SERIES
Theorem 8.11 (Convergence of a Telescopic Series). A telescopic
series ∞n=1 n − an+1 ) converges if limn→∞ an = a, and, in this case,
(a
∞
(an − an+1 ) = a1 − a,
n=1
The proof is analogous to the above example and based on the fact
that the sequence of partial sums of a telescopic series sn = a1 − an+1
converges to a1 − a. The details are left to the reader as an exercise.
52. SERIES OF NONNEGATIVE TERMS 87
51.4. Exercises.
In (1)–(3), determine whether the geometric series converges or di-
verges.
∞
πn ∞
en
∞
(−5)n
(1) (2) (3)
n=0
3n+1 n=1
3n−1 n=0
32n
∞
1
∞
3
∞
n
(10) (11) (12) ln
n=2
n −1
2
n=1
2
n + 3n + 3 n=1
n+1
In (13) and (14), express the number as a ratio of integers
(13) 1.23232323....
(14) 1.53525252....
In (15)–(17), find the values of x for which the series converges. Find
the sum of the series for those values of x.
∞
xn ∞
sinn x ∞
(15) n
(16) n
(17) (x − 5)n
n=1
2 n=1
3 n=1
that is, the integral test applies even if the sequence an becomes mono-
tonically decreasing only for n ≥ N ≥ 1. This is easy to understand
by isolating the first N − 1 terms in the series
∞
∞
∞
an = a1 + a2 + · · · + aN −1 + an = a1 + a2 + · · · + aN −1 + bn ,
n=1 n=N n=1
where bn = aN +n−1 . Convergence of bn implies convergence of an
and vice versa as they differ by a number. Put bn = g(n), where
g(x) = f (x+N −1), which is a continuous, positive, decreasing function
on [1, ∞), and
∞ ∞ ∞
g(x) dx = f (x + N − 1) dx = f (u) du
1 1 N
decrease. If p < 0, then g (x) > 0 for all x > e−p and hence g(x) in-
creases, while f (x) = 1/g(x) decreases if x > e−p > 1. Thus, for any p,
there is an integer N such that the function f (x) = 1/[x(ln x)p ] is con-
tinuous, positive, and decreases on [N, ∞). By the integral test (8.9),
the series in question converges if and only if the improper integral
∞ ∞
dx du
p
= p
N x(ln x) ln N u
which is a legitimate operation because (8.8) holds for all n and the
series converges (and so does the improper integral by the integral
test). The remainder estimate is obtained by subtracting (8.8) from
(8.10). Note the value of the improper integral does not coincide with
the sum; it only determines an interval (8.10) in which the sum of a
series lies. 2
∞
Example 8.15. Test the series n=1 (n2 + 1)−1 for convergence or
divergence. If it converges, estimate its sum.
Solution: Put f (x) = (x2 + 1)−1 , which is a continuous, positive,
de-
creasing function on [1, ∞), such that the series in question is f (n).
92 8. SEQUENCES AND SERIES
Therefore, the integral test applies, and the series converges because
∞ a
dx −1 π π π π
2
= lim tan x = lim tan−1 a − = − = .
1 x + 1 a→∞ 1 a→∞ 4 2 4 4
Solution:
∞Riemann’s zeta function is defined by the sum of the series
−p
ζ(p) = n=1 n . For p > 1,
∞
dx x1−p a a1−p 1 1
= lim = lim − = .
1 x p a→∞ 1 − p 1 a→∞ 1 − p 1−p p−1
Since f (1) = 1, by (8.10),
1 p
≤ ζ(p) ≤ .
p−1 p−1
By Corollary 8.2,
∞
dx 1
0 ≤ ζ(p + 1) − sn ≤ p+1
= p.
n x pn
If ζ(p + 1), p > 0, is to be approximated by sn correct to N decimal
places, then the remainder should be less than 5 · 10−N −1 , which yields
the condition on the number of terms: pn1 p < 5 · 10−N −1 or np >
10N +1 /(5p) or n ∼ p 10N +1 /(5p). 2
53. COMPARISON TESTS 93
52.4. Exercises.
In (1)–(9), determine whether the series converges or diverges.
∞
1
∞
(ln n)4
∞
1 − n ln n
(1) (2) (3)
n=1
n9/8 n=2
n n=2
n2
∞
n2 − 2n − 5
∞
1
∞
n
(4) (5) (6)
n=1
3n7/3 n=1
n − 4n + 5
2
n=1
n4 +1
∞
e1/n ∞
2n + 1
∞
tan−1 n
(7) (8) (9)
n=1
n2 n=1
n(n + 1) n=1
n2 + 1
In (10)–(14), determine the values of p for which the series is conver-
gent.
∞
1 ∞ ∞
(10) p
(11) n(1 + n 2 p
) (12) np e−n
n=3
n ln n(ln(ln n)) n=1 n=1
∞ ∞
p 1
(13) p ln n
, p > 0 (14) −
n=1 n=1
n n+1
(15) How many terms of the series in Theorem 8.14 would one need to
add to find its sum correct to N decimal places?
(16) Show that the sequence
1 1 1
an = 1 + + + · · · + − ln n
2 3 n
converges. The limit limn→∞ an = γ is called the Euler number.
Hints: (1) Use (8.8) to show that if sn is the partial sum of the harmonic
series, then sn ≤ 1 + ln n and hence an ≤ 1 (i.e., the sequence {an } is
bounded).
(2) Interpret an − an+1 as a difference of areas to show that {an } is
monotonic.
because an < bn forall n. If sn is the partial sum for an and tn is
the partial sum for bn , then sn < tn . Since tn converges to a number
t, it is bounded, tn < t, and hence sn < t; that is, the sequence {sn }
is monotonic and bounded, and therefore it converges. This line of
arguments admits a generalization.
Theorem 8.15 (Comparison Test). Suppose that an and bn
are series such that an ≥ 0 and bn ≥ 0 for all n ≥ N and some integer
N ≥ 1. Then
bn converges and an ≤ bn for all n ≥ N =⇒ an converges,
bn diverges and an ≥ bn for all n ≥ N =⇒ an diverges.
∞
Proof. The series ∞ n=1 an and n=N an differ by a number a1 +
a2 + · · · + aN −1 . So convergence of ∞
n=N an implies convergence of
∞
n=1 an and vice versa. Therefore, it is sufficient to consider the case
N = 1. The sequences of partial sums {sn }, sn = a1 + a2 + · · · + an ,
and {tn }, tn = b1 + b2 + · · · + bn , are
monotonically increasing sequences
because an ≥ 0 and bn ≥ 0. If bn converges, then tn → t as n →
∞ and tn ≤ t for all n. By the hypothesis an ≤ bn for all n ≥ 1,
and therefore sn ≤ tn ≤ t, which shows that {sn } is monotonic and
bounded and, hence, converges. If bn diverges, then tn → ∞. From
the hypothesis an ≥ bn , it follows that sn ≥ tn . Thus, sn → ∞ as
n → ∞. 2
When applying the comparison test, the convergence properties of
the series bn must be known. In many instances, a good choice is a
geometric series (Theorem 8.8), a p-series (Theorem 8.13), a telescopic
series (Theorem 8.11), and the series in Theorem 8.14.
Example 8.18. Test the series ∞ 3 2
n=1 (2n + 1)/(3n + n + 1) for
convergence.
Solution: Since an is a rational function of n, a convenient choice of
a series in the comparison test is a p-series:
2n + 1 2n + 1 2 1 1 1
3 2
< 3
= 2
+ .
3n + n + 1 3n 3n 3 n3
The series
∞
2n + 1 2 1
∞
1 1
∞
= +
n=1
3n3 3 n=1 n2 3 n=1 n3
converges as the sum of two convergent p-series. 2
∞ √ √
Example 8.19. Test the series n=1 ( n + 1− n) for convergence.
53. COMPARISON TESTS 95
53.2. Exercises.
In (1)–(12), determine whether the series converges or diverges.
∞
n
∞
n(ln n)4
∞
cos2 (n)
(1) (2) (3)
n=1
n + n1/3 + 1
5/3
n=2
n2 + 1 n=2
n2
∞
1 + (−1)n
∞
1
∞
1 + 2n
(4) (5) √
3
(6)
n=1
n3/2 + 1 n=1
3
n +n+1 n=1
n2 + 2n
√
∞
e1/ n
∞
1
∞
n!
(7) (8) sin2 (9)
n=1
n+1 n=1
n n=1
nn
∞
1
∞
√
∞
n2
(10) (11) ( n n − 1)n (12)
n=1
n1+1/n n=1 n=1
n!
(13) How many terms does3 one need in the partial sum to estimate the
sum of the series ∞ n=1 sin n/(n 3
+ n) up to five decimal places?
(14) Consider a sequence {an }, where an can take any value from the
set {0, 1, 2, ..., p − 1}, where p > 1 is an integer. The meaning of the
representation of a number 0.a1 a3 a3 ... with base p is that
a1 a2 a3
(8.11) 0.a1 a3 a3 ... = + 2 + 3 + ··· .
p p p
When p = 10, the decimal system is obtained. The binary represen-
tation corresponds to p = 2. The Maya used p = 20 (the number of
fingers and toes). The Babylonians used p = 60. Show that the series
(8.11) always converges.
(15) Show that if an > 0 and an converges, then ln(1 + an ) con-
verges, too.
(16) Prove thatthe convergence of an , where an > 0, implies the
√
convergence
of an /n.
(17) If and if the sequence {bn } is monotonic and
an converges
bounded, prove that an bn converges.
For the subsequence of odd partial sums s2k+1 = s2k + b2k+1 , one infers
by the limit laws and hypothesis (ii) that
lim s2k+1 = lim s2k + lim b2k+1 = s + 0 = s.
k→∞ k→∞ k→∞
∞
Example 8.23. Test the series n=1 sin(πn/2)/n for convergence.
Solution: One has sin(πn/2) = 1, 0, −1, 0, 1, ... for n = 1, 2, 3, 4, 5, ...,
respectively, or, in general, for odd n = 2k − 1, sin(πn/2) = (−1)k−1 ,
while for even n = 2k, sin(πn/2) = sin(πk) = 0. Thus, the series in
question is an alternating series:
∞
sin(πn/2)
∞
(−1)n−1
∞
1
= = (−1)n−1 bn , bn = .
n=1
n n=1
2n − 1 n=1
2n − 1
then |s − sn | ≤ bn+1 .
Proof. In the proof of the alternating series test, it was found that
the subsequence {s2k } approaches the limit value s from below, s2k ≤ s.
On the other hand, the subsequence {s2k−1 } approaches the limit value
s from above. Indeed, s1 = b1 , s3 = s1 − b2 + b3 ≤ s1 because b3 ≤ b2 ,
and, in general, s2k+1 = s2k−1 − b2k + b2k+1 ≤ s2k−1 ; that is, {s2k+1 }
is monotonically decreasing. This shows that the sequence of partial
sums sn oscillates around s so that the sum s always lies between any
two consecutive partial sums sn and sn+1 as depicted in Figure 8.8.
Hence,
|s − sn | ≤ |sn+1 − sn | = bn+1 .
2
Example 8.25. Estimate the number of terms in a partial sum
sn needed to approximate the sum of the alternating harmonic series
correct to N decimal places.
Solution: Here, bn = 1/n. Hence, the approximation s ≈ sn is correct
to N decimal places if the absolute error does not exceed 5 · 10−N −1 :
|s−sn | ≤ bn+1 < 5·10−N −1 or 1/(n+1) < 5·10−N −1 or n > 0.2·(10N −1).
2
Remark. If the monotonicity condition bn+1 ≤ bn holds only if
n ≥ N , the conclusion of Theorem 8.18 also holds onlyn−1if n ≥ N .
Indeed, in the notation from Remark 2, put t = (−1) cn , where
cn = bn+N −1 . Let tn be a partial sum for the series (−1)n−1 cn . Then
s = sN −1 + (−1)N −1 t and sn = sN −1 + (−1)N −1 tn−N +1 for n ≥ N .
Therefore,
|s − sn | = |t − tn−N +1 | ≤ cn−N +2 = bn+1 for all n ≥ N.
54.2. Exercises.
In (1)–(15), determine whether the series converges or diverges (here p
is real).
102 8. SEQUENCES AND SERIES
∞
(−1)n ∞
(−1)n n
∞
cos(nπ/2)
(1) (2) √ (3)
n=1
ln(n + 3) n=1
n3 + 1 n=1
n4/5
∞
(−1)n n
∞
(−1)n n ∞
(−1)n n3
(4) (5) (6)
n=1
(n3/2 + 1)2/3 n=2
(ln n)p n=1
2n
∞ n
(−1) (ln n) p ∞
π
∞
(−1)n n2
(7) (8) (−1)n sin (9)
n=2
n n=1
n n=1
n4 + 1
∞
(−1)n
∞
√ ∞
nn
(10) (11) (−1)n ( n n − 1)n (12) (−1)n
n=1
n1+1/n − n n=1 n=1
n!
∞
(−1)n
∞
(−1)n
∞
(−1)n (n2 + n + 1)
(13) (14) (15)
n=1
n+p n=1
np n=1
(2n + 3)2
In (16) and (17), find n for which the approximation by partial sums
s ≈ sn is correct to N decimal places for the series.
∞
(−1)n n
∞
(−1)n n1/3
(16) (17)
n=1
10n n=1
n1/3 + 6
(18) Prove that the sum of the alternating harmonic series is
∞
(−1)n−1
= ln 2.
n=1
n
Hint: Show that a partial sum of the alternating harmonic series is
s2n = h2n − hn , where hn = an + ln n and the sequence {an } is defined
in Exercise 52.4.16. Then use the result of the latter exercise to prove
that sn → ln 2 as n → ∞.
where c ≥ 0 or c = ∞.
• If c < 1, then an converges absolutely.
• If c > 1, then an diverges.
• If c = 1, then the test gives no information.
104 8. SEQUENCES AND SERIES
Proof. If c < 1, then the existence of the limit means that, for
any ε > 0, there is an integer N such that
a a
n+1 n+1
−ε < − c < ε =⇒ < c + ε = q < 1 for all n ≥ N.
an an
Note that since c is strictly less than 1, one can always take ε > 0
small enough so that the number q = c + ε < 1. In particular, put
n = N + k − 1, where k ≥ 2. Applying the inequality |an+1 | < q|an |
consecutively k times,
|aN +k | < q|aN +k−1 | < q 2 |aN +k−2 | < · · · < q k |aN | = |aN |q −N q N +k .
This shows that
(8.13) |an | < βq n , β = |aN |q −N , for all n ≥ N.
The series |an | converges
nby comparison withthe convergent geo-
n
metric series βq = β q because q < 1. So an converges abso-
lutely. If c > 1, then there is an integer N such that |an+1 |/|an | > 1 or
|an+1 | > |an | ≥ 0 for all n ≥ N . Hence, the necessary condition for a
series
to converge, an → 0 as n → ∞ does not hold; that is, the series
an diverges. If c = 1, it is sufficient, to give examples of aconvergent
and divergent series for which c = 1. Consider a p-series n−p . One
has
a np
n+1 1
c = lim = lim = lim =1
n→∞ an n→∞ (n + 1)p n→∞ (1 + 1/n)p
∞Example 8.27. Find all values of p and q for which the series
p n
n=1 n q converges absolutely.
Solution: Here an = np q n . One has
a (n + 1)p |q|n+1 (1 + 1/n)p
n+1
c = lim = lim = |q| lim = |q|.
n→∞ an n→∞ np |q|n n→∞ 1
So, for |q| < 1 and any p, the series converges absolutely by the ratio
test. If q = ±1, the ratio test is inconclusive,and thesecases have
to be
studied by different means. If |q| = 1, then |an | = np = 1/n−p ,
which is a p-series that converges if −p > 1 or p < −1. Thus, the
series converges absolutely for all p if |q| < 1 and for p < −1 if q =
±1. Note that, for −1 ≤ p < 0 and q = −1, the series conditionally
converges (i.e., it is convergent but not absolutely
convergent). In this
case, it is a convergent alternating p-series (−1)n /n−p (see Exercise
54.2.14). 2
55. RATIO AND ROOT TESTS 105
55.4. Oscillatory Behavior of Sequences in the Root and Ratio Tests. Con-
sider a sequence defined recursively by a1 = 1 and an+1 = 12 (sin n)an .
An attempt to test the convergence of an by the ratio test leads to
the sequence cn = |an+1 |/|an | = 12 | sin n| which does not converge as it
oscillates between 0 and 1/2. Similarly, the sequence used in the root
test may also exhibit oscillatory behavior and be nonconvergent, for
example, an = ( 2 sin n) so that cn = |an | = 12 | sin n|. The ratio and
1 n n
root tests, as stated in Theorems 8.20 and 8.21, assume the existence
of the limit cn → c. What can be said about the convergence of a series
when this limit does not exist?
106 8. SEQUENCES AND SERIES
cn ≤ q < 1 for all n ≥ N =⇒ an converges.
n
|an | ≥ 1 for infinitely many n
|an+1 | =⇒ an diverges
|an |
≥ 1 for all n ≥ N
of summation is changed:
∞
1 1 1 1 1 1 1 1 1 1
∞
3
∞
an = + + 2 + 2 + 3 + 3 + · · · = k
+ k
= .
n=1
2 3 2 3 2 3 2 k=0 2 3 k=0 3 2
where the sum of a geometric series has been used (Theorem 8.8). Now
note that if n = 2k is even, then a2k = (1/3)k , and a2k−1 = (1/2)k if
n = 2k − 1 is odd. Take the subsequence of ratios for even n = 2k,
c2k = a2k+1 /a2k = (2/3)k /9. It converges to 0 as k → ∞. On the other
hand, the subsequence of ratios for odd n = 2k − 1 diverges: c2k−1 =
(3/2)k → ∞ as k → ∞. So the limit of cn does not exist; moreover,
the ratio test (as in Theorem 8.22) fails miserably because cn is not
even bounded.
√ The series converges √ test. Indeed, c2k =
by the root
√
2k a
√
2k = 1/ 2 < 1 and c2k−1 = a2k−1 = 1/ 3 < 1. Although the
2k−1
√ √
sequence cn does not converge√(it oscillates between 1/ 3 and 1/ 2),
it is bounded, cn ≤ q = 1/ 2 < 1 for all n, and hence the series
converges by Theorem 8.22. A similar example is given in Exercise
55.7.19. Thus, the ratio test is sensitive to the order of summation,
while this is not so for the root test.
55.7. Exercises.
In (1)–(15), determine whether the series is absolutely convergent, con-
ditionally convergent, or divergent (here p is real).
∞
(−1)n
∞ ∞
n!
(1) √3
(2) n2 ( 23 )n (3) , p = 0
n=1
n n=1 n=1
pn
∞
pn
∞
(−1)n 21/n
∞
(−1)n np+3
(4) (5) (6)
n=1
n! n=2
np n=1
n!
∞
(−1)n (ln n)p ∞
(−1)n n ∞
n!
(7) (8) √
4
(9)
n=2
n n=1
n3 + 1 n=1
nn
∞
(−1)n ∞
2n3 + n n
∞
1 n2
(10) (11) (12) 1+
n=1
(ln n)p n=1
3n3 + 5 n=1
n
∞
n p
∞
2 · 4 · · · (2n)
(13) (14)
n=1
(ln n)n n=1
n!
∞
pn n!
(15)
n=1
5 · 8 · · · (3n + 2)
(16) For which integers p > 0 is the series ∞ 2
n=1 (n!) /(pn)! convergent?
(17) (Estimating sums). Given a series an with positive terms, put
c
n = an+1 /an . Suppose that c n → c < 1, that is, the series converges,
an = s. Let sn be a partial sum. Prove that
an+1
s − sn ≤
1 − cn+1
if {cn } is a decreasing sequence, and
an+1
s − sn ≤
1−c
if {cn } is an increasing sequence.
Hint: Use the geometric series as in the proof of the ratio test to
estimate the remainder s − sn = an+1 + an+2 + · · · .
(18) Prove De Morgan’s ratio test.
56. REARRANGEMENTS 109
Hints: Compare the series |an | with the convergent p-series bn ,
where bn = A/n and p = −(1 − b)/2 > 1 if b < −1. Show that
p
56. Rearrangements
Here the difference between conditionally convergent and absolutely
convergent series is further refined through the concept of rearrange-
ment.
Definition 8.9 (Rearrangement). Let {kn }, n = 1, 2, ..., be an
integer-valued positive sequence in which every positive integer appears
only once (i.e., kn = kn if and
only if n = n ). Given a series
an ,
put an = akn . The series an is called a rearrangement of an .
For a finite sum, a rearrangement of its terms does not change the
value of the sum. This is not generally so for convergent series.
Consider an alternating p-series:
∞ ∞
(−1)n−1 1 1 1 1 1
(8.15) an = = 1 − + − + − + ··· .
n=1 n=1
n 2 3 4 5 6
The series is convergent but not absolutely convergent (its sum is s =
ln 2; see Exercise 54.2.18). One of its rearrangements reads
∞
1 1 1 1 1 1 1 1
(8.16) an = 1 + − + + − + + − + ···
n=1
3 2 5 7 4 9 11 6
in which two positive terms are always followed by one negative. Let
sn and sn be partial sums of (8.15) and (8.16), respectively. Put hn =
1 + 1/2 + · · · + 1/n (a partial sum of the harmonic series). Then
s2n = h2n − hn . Furthermore,
1 1 1 1 1 1 1
s3n = 1 + + + + · · · + − − − ··· −
3 5 7 4n − 1 2 4 2n
1 1 1 1 1 1
= h4n − − − · · · − − hn = h4n − h2n − hn
2 4 4n 2 2 2
1 1
= (h4n − h2n ) + (h2n − hn ) = s4n + s2n .
2 2
110 8. SEQUENCES AND SERIES
k1 terms pn , such that the number c lies between the partial sums
sk1 = p1 + p2 + · · · + pk1 and sk1 −1 ; that is, k1 is defined by the con-
dition sk1 − pk1 < c < sk1 or |c − sk1 | < pk1 . If c < 0, then skip this
first step. Next, take first m1 terms qn where m1 is the smallest integer
such that sk1 +m1 = sk1 + q1 + · · · + qm1 < c; that is, m1 is defined by the
condition sk1 +m1 + qm1 > c > sk1 +m1 or |c− sk1 +m1 | < |qm1 |. This can
always be done because partial sums of pn can be larger than any
number, while partial sums of qn can be smaller than any number
owing to the divergence of these series. So
Next, take k2 next terms pn , where k2 is the smallest integer such that
sk1 +m1 +k2 > c, and take m2 next terms qn , where m2 is the smallest
integer for which sk1 +m1 +k1 +m2 < c, and so on. At the nth step of the
procedure, let n1 be the integer for which the last term in sn1 is pkn
and let n2 be the integer for which the last term in sn2 is qmn , that
is, n2 = n1 + mn . The partial sums of the constructed rearrangement
oscillate about c, reaching local minima sn1 and local maxima sn1 :
Theorem 8.25 (Rearrangement and Absolute Convergence).If a
series an converges absolutely, then every rearrangement of an
converges, and they all converge to the same sum
56.1. Strategy for Testing Series. It would not be wise to apply tests for
convergence in a specific order to find one that finally works. Instead,
a proper strategy, as with integration, is to classify the series according
to its form. One should also keep in mind that a conclusion about the
convergence of a series can be reached
in different ways.
1. Special series. A series an coincides with (or is a combina-
tion of or is equivalent to) special series such as a p-series, alternating
p-series, geometric series, telescopic series, and so on. Their conver-
gence properties are known.
2. Series similar to special ones. If a series an has a form
that is similar to one of the special series, then one of the comparison
tests should be considered. For example, if an is a rational or alge-
braic function (contains roots of polynomials), then the series should
be compared with a p-series.
3. Necessary condition for convergence. It is is always easier
the condition an → 0 as n → ∞ than it is to investigate the
to check
series an for convergence. If the condition does not hold, the series
diverges.
4. Alternating series. If an = (−1)n bn , bn ≥ 0, then the alter-
nating series test is an obvious possibility.
56. REARRANGEMENTS 113
∞
The series e−n converges by the integral test: 1 e−x dx = 1/e < ∞.
Hence, the series in question converges absolutely. Alternatively, the
3/2
convergence of bn , where bn = e−n , can be established by the root
√ 1/2
test: n bn = e−n → 0 < 1 as n → ∞. 2
Example 8.32. Put hn = 1 + 1/2 + · · · + 1/n (a partial sum of
the harmonic series). Investigate the convergence of np e−qhn , where
p = q.
Solution: The ratio test is inconclusive:
an+1 (n + 1)p e−qhn+1 (n + 1)p −q(hn+1 −hn ) (1 + n1 )p − n+1
q
= = e = e → 1.
an np e−qhn np 1
To apply De Morgan’s test, the asymptotic behavior of an+1 /an has
to be investigated. Put f (x) = (1 + x)p exp(−qx/(1 + x)) so that
an+1 /an = f (1/n). Using the linearization near x = 0, (1+x)p ∼ 1+px,
and exp(−qx/(1+x)) ∼ 1−qx/(1+x) ∼ 1−qx, the asymptotic behavior
is obtained:
an+1 p−q
f (x) ∼ (1 + px)(1 − qx) ∼ 1 + (p − q)x =⇒ ∼1+ .
an n
Thus, the series converges if p − q < −1 or p < q − 1. Of course, one
could simply calculate f (0) = p − q, but this is a bit more involved
than the above procedure for finding the asymptotic behavior. 2
56.2. Exercises.
In (1)–(15), test the series for convergence or divergence (here p is real).
∞
1
∞
n
∞
np p2n
(1) √ (2) (−1) n
(3)
n=1
n + 2n n=1
2n + 3 n=1
n!
∞
n!
∞
(−1)n ln n
(4) (5)
n=1
2 · 5 · 8 · · · (3n − 1) n=2
np
∞
(2n + 3)n
∞
1 · 3 · 5 · · · (2n − 1)
(6) (7) (−1)n
n=1
(3n2 + 1)n/2 n=1
2 · 4 · 6 · · · (2n)
∞
∞
1
∞
sin(1/n)
(8) tan(πn + 1/n) (9) (10)
n=1 n=2
(ln n)ln n n=1
np
∞
n n2
∞
∞
n!
(11) , p > 0 (12) ( n p2 − 1)n (13)
n=1
n+p n=1 n=1
enp
∞
np n−1 ∞
√
(14) , |p| < 1 (15) ( n
p − 1) , p ≥ 0
n=1
pn − (1 − 1/n)n n=1
57. POWER SERIES 115
(ii). If a power series cn xn diverges when x = d = 0, then it diverges
whenever |x| > |d|.
n
Proof. If cn b converges, then, by the necessary condition for
convergence, cn b → 0 as n → ∞. This means, in particular, that, for
n
ε = 1, there exists an integer N such that |cn bn | < ε = 1 for all n > N .
Thus, for n > N ,
c bn x n x n x n
n
|cn xn | = n = |cn bn | < .
b b b
n
which shows that the series cn x converges by comparison with the
geometric series q , where q = x/b and |x/b| < 1 or |x| < |b|.
n
Suppose that c n dn
diverges. If x is any number such that |x| > |d|,
n
then cn x cannot
converge because, by part (i) of the lemma, the
n
convergence
of c n x implies the convergence of cn dn . Therefore,
n
cn x diverges. 2
This lemma allows us to establish the following description of the
set S.
Theorem8.26 (Convergence Properties of a Power Series). For a
power series cn xn , there are only three possibilities:
(i) The series converges only when x = 0.
(ii) The series converges for all x.
(iii) There is a positive number R such that the series converges if
|x| < R and diverges if |x| > R.
Proof. Suppose that neither case 1 nor case 2 is true. Then there
are numbers b = 0 and d = 0 such that the power series converges for
x = b and diverges for x = d. By Lemma 8.2, the set of convergence
S lies in the interval |x| ≤ |d| for all x ∈ S. This shows that |d| is an
upper bound for the set S. By the completeness axiom, S has a least
upper bound R = sup S. If |x| > R, then x ∈ S, and n
cn x diverges.
If |x| < R, then |x| is not an upper bound for S, and there exists a
number b ∈ S such that b > |x|. Since b ∈ S, n
cn x converges by
Lemma 8.2. 2
Theorem 8.26 shows that a power series converges in a single open
interval (−R, R) and diverges outside this interval. The set S may or
may not include the points x = ±R. This question requires a special
investigation just like in Example 8.33. So the number R is character-
istic for convergence properties of a power series.
Definition 8.11 (Radius
of Convergence). The radius of conver-
gence of a power series cn xn is a positive number R > 0 such that
118 8. SEQUENCES AND SERIES
the series converges in the open interval (−R, R) and diverges outside
it. A power series is said to have a zero radius of convergence, R = 0,
if it converges only when x = 0. A power series is said to have an
infinite radius of convergence, R = ∞, if it converges for all values of
x.
The ratio or root test can be used to determine the radius of con-
vergence.
Corollary 8.3 (Radius of Convergence of a Power Series). Given
a power series cn xn ,
|cn+1 | 1
if lim =α =⇒ R= ,
n→∞ |cn | α
1
if lim n |cn | = α =⇒ R= ,
n→∞ α
where R = 0 if α = ∞ and R = ∞ if α = 0.
Proof. Put an = cn xn in the ratio test (Theorem 8.20). Then
|an+1 |/|an | = |x||cn+1 |/|cn | → |x|α. The series converges if |x|α < 1,
which shows that R = 1/α. Similarly, using the root test (Theorem
8.21), |an | = |x| n |cn | → |x|α < 1, which shows that R = 1/α.
n
2
Remark. If the sequences in Corollary 8.3 do not converge, then
Theorem 8.22 should be used, where an = cn xn .
Once the radius of convergence has been found and 0 < R < ∞,
the cases x = ±R have to be investigated by some other means (as the
root or ratio test is inconclusive in this case) to determine the interval
of convergence S of a power series.
Example 8.35. Find the radius ofn convergence and the √interval of
convergence of the power series cn x , where cn = (−q)n / n + 1 and
q > 0.
Solution:
√
|cn+1 | qn+1
n+1 n+1 1 + 1/n
=√ =q =q → q = α.
|cn | n+2 qn n+2 1 + 2/n
√
Therefore, R = 1/α = 1/q. If x = −1/q, then cn xn = (−1)n / n+1=
n
(−1) bn . The sequence bn converges monotonically to 0 so that (−1)n bn
converges
√ by the = −1/q, then cn xn =
√ alternating series test.If x 1/2
1/ n + 1 > 1/ √2n, n ≥ 1. The p-series 1/n diverges (p = 1/2 <
1) so that 1/ n + 1 diverges by the comparison test. Thus, the
interval of convergence is S = [−1/q, 1/q). 2
57. POWER SERIES 119
Example 8.36. Find the radius 2of convergence and the interval of
n n
convergence of the power series n (x + 1) /q , where q > 0.
Solution: Put y = x + 1. If S is the interval of convergence of cn y n ,
where cn = n2 /q n , then the interval of convergence in question is ob-
tained by adding −1 to all numbers in S according to the rule (8.18).
By Corollary 8.3,
1√n 1 √ 1
n
|cn | = n2 = ( n n)2 → = α.
q q q
So R = 1/α = q. If y = q, then cn y n = n2 , and the series n2 diverges
(an = n2 does not converge to 0). If y = −q, then cn xn = (−1)n n2 ,
and the series diverges because an = (−1)n n2 , does not converge to 0.
The series converges only if |y| = |x + 1| < q, and hence the interval of
convergence is x ∈ (−q − 1, q − 1) (the interval (−q, q) shifted by −1).
2
57.3. Exercises.
In (1)–(12), find the radius of convergence and the interval of conver-
gence of the power series.
∞ ∞
2n n ∞
√
n
(1) 3 n
nx (2) 3
x (3) ( 2 − 1)n x2n
n=0 n=0
n n=1
∞
1 ∞
1
(4) (−1) nn
xn (5) p
(x − 2)n , p > 0
n=2
2 ln n n=1
n
∞
√
∞ 2
nn +1
(6) n(x + 1) n
(7) (−1) 3
(x − 1)n
n=0 n=1
n +3
∞
(4x + 1)n ∞
xn
(8) (9)
n=1
n2 n=1
1 · 3 · 5 · · · (2n − 1)
∞
nx 2 2n ∞
(n!)k n
(10). (11) x , k > 0 (integer)
n=1
2 · 4 · · · (2n) n=0
(kn)!
∞ n
4
(12) (x + 3)n
n=0
n!
(13) Let p < q be real numbers. Give examples of power series whose
intervals of convergence are (p, q), [p, q], (p, q], and [p, q).
(14) The Airy function is defined by the power series
x3 x6 x9
A(x) = 1 + + + + ··· .
2·3 2·3·5·6 2·3·5·6·8·9
120 8. SEQUENCES AND SERIES
all |q| = x2 < 1 or x ∈ (−1, 1). Using the formula for the sum of a
geometric series, one infers that
1 ∞
= 1 − x + x + ··· =
2 4
(−1)n x2n for all − 1 < x < 1,
1 + x2 n=0
The geometric series converges if |q| = | − y/a| = |y|/a < 1, and hence
this representation is valid only if −a < y < a or −a < x − a < a or
0 < x < 2a. 2
∞ 8.38.
Example Find the intervals of convergence for f , f , and f
if f (x) = n=1 xn /n2 .
√
n √
Solution: Here cn = 1/n2 and hence n |cn | = 1/ n2 = (1/ n n)2 →
1 = α. So the radius of convergence is R = 1/α = 1. For x = ±1,
the series is a p-series 1/n2 that converges (p = 2 > 1). Thus, f (x)
is defined on the closed∞ interval x ∈ [−1, 1]. By Theorem 8.27, the
derivatives f (x) = n=1 x /n and f (x) = ∞
n−1
n=2 (n−1)x
n−2
/n have
the
same radius of convergence R = 1. For x = −1, the series f (−1) =
n−1
(−1) /n is the alternating
harmonic series that converges, whereas
the series f (−1) = (−1)n (n − 1)/n diverges because the sequence of
its terms does not converge to 0: |(−1)n (n − 1)/n| = 1 − 1/n → 1 = 0.
For x = 1, the series f (1) = 1/n is the harmonic series and hence
diverges. The series f (1) = (n − 1)/n also diverges ((n − 1)/n does
not converge to 0). Thus, the intervals of convergence for f , f , and f
are, respectively, [−1, 1], [−1, 1), and (−1, 1). 2
The term-by-term integration of a power series can be used to ob-
tain a power series representation of antiderivatives.
Example 8.39. Find a power series representation for tan−1 x.
Solution:
∞
∞
−1 dx 2 n x2n+1
tan x= = (−x ) dx = C + (−1)n+1 .
1 + x2 n=0 n=0
2n + 1
Since tan−1 0 = 0, the integration constant C satisfies the condition
0 = C + 0 or C = 0. The geometric series with q = −x2 converges if
|q| < 1. Hence, the radius of convergence of the series for tan−1 x is
R = 1 (the power series representation is valid for x ∈ (−1, 1)). 2
58. REPRESENTATION OF FUNCTIONS AS POWER SERIES 123
√
In particular, the number 1/ 3 is less than the radius of conver-
√
gence of the power series for tan−1 x. So the number tan−1 (1/ 3)√=
π/6 can be written as the numerical series by substituting x = 1/ 3
into the power series for tan−1 x. This leads to the following represen-
tation of the number π:
√ ∞
(−1)n
π=2 3 .
n=0
(2n + 1)3n
58.4. Exercises.
In (1)–(3), find a power series representation for the function and de-
termine the interval of convergence.
1 x x+1
(1) f (x) = (2) f (x) = (3) f (x) =
1 − x4 3x2 +2 −x−1
2x2
In (4)–(6), use differentiation to find a power series representation for
the function and determine the interval of convergence.
1 x3 1
(4) f (x) = (5) f (x) = (6) f (x) =
(1 + x)2 (1 − 4x2 )2 (1 + x4 )3
In (7)–(9), use integration to find a power series representation for the
function and determine the radius of convergence.
1 + x2
(7) f (x) = ln(1+x) (8) f (x) = ln (9) f (x) = tan−1 (3x)
1 − x2
In (10)–(12), find a power series representation for the indefinite inte-
gral and determine the radius of convergence.
x
ln(1 − x) e −1−x
(10) dx (11) dx (12) tan−1 (x2 ) dx
x x2
(13) Find a power series representation for sin x and cos x using the
differential equation f +f = 0. Determine the interval of convergence.
(14) Show that the Bessel function of order 0 defined in Example 8.34
satisfies the differential equation:
x2 J0 (x) + xJ0 (x) + x2 J0 (x) = 0.
In (15)–(17), use differentiation or integration to find the sum of the
series.
∞ ∞ ∞
xn+1
(15) nx n−1
(16) n(n − 1)x n−2
(17)
n=1 n=2 n=0
n+1
In (18)–(20), how many terms does one need in a power series approx-
imation to evaluate the integral with the absolute error not exceeding
10−6 ?
1 1 −x 1/2
dx e −1
(18) 8
(19) dx (20) ln(1 + x4 ) dx
0 1+x 0 x 0
126 8. SEQUENCES AND SERIES
2
The function is continuous at x = 0 because limx→0 e−1/x = limu→∞ e−u
= 0 = f (0). It is differentiable at x = 0 because
2
f (x) − f (0) e−1/x
f (0) = lim = lim = 0.
x→0 x x→0 x
The first equality is the definition of f (0). The last limit is established
by investigating the left and right limits x → 0± with the help of the
substitution x = 1/u → ±∞ as x → 0± ; the left and right limits
2
coincide because ue−u → 0 as u → ±∞ (the exponential function
decreases faster than any power function). In a similar fashion, it can
be proved that f (n) (0) = 0 for all n (see Exercise 59.5.24). Thus, f (x)
has no power series representation cn xn in a neighborhood of x = 0
because, if it did, then, by Theorem 8.29 the function should have been
identically 0 in some interval (−δ, δ), δ > 0, (as f (n) (0) = 0 for all n),
which is not true (f (x) = 0 for all x = 0). Hence, the function is not
analytic at x = 0.
59.5. Exercises.
In (1)–(5), find the Maclaurin series for the function and the radius of
convergence.
(1) ln(1+x) (2) tan x (3) sinh x (4) cosh x (5) x6 +2x5 −x3 +x−3
In (6)–(9), find the Taylor series for the function about a and the radius
of convergence.
√
(6) cos x , a = π (7) 1/ x , a = 4
(8) sin x , a = π/2 (9) (1 + x)2/3 , a = 7
In (10)–(13), use Maclaurin series for basic functions to find the Maclau-
rin series for the function.
x x − sin x
(10) x cos(x2 /2) (11) √ 3
(12) 3
(13) x2 tan−1 (x2 )
1+x 4 x
59. TAYLOR SERIES 133
is a little bit smaller than the length of the curve since the points
Pi−1 and Pi are on the curve and the straight line is the shortest path
between them.
If we keep refining the subdivision of the interval [a, b] by having n
go to infinity, then it can be proved that limn→∞ Kn exists. We define
that limit to be the length of the curve of f from A to B. See Figure
9.1 for an illustration. Note that in the case when the graph of f is
a straight line segment between A and B, this definition is just the
length of that segment, so our definition extends our previous notion
of length.
135
136 9. FURTHER APPLICATIONS OF INTEGRATION
Example 9.1. Find the length of the curve of f (x) = 23 x3/2 from
(0, 0) to (1, 2/3). See Figure 9.2 for an illustration.
√
Solution: We have f (x) = x, so f is a continuous function on [0, 1],
and therefore Theorem 9.1 applies. Using that theorem, we obtain
1
√
L= 1 + ( x)2 dx
0
1
√
= 1 + x dx
0
1
2 3/2
= (1 + x)
3
√ 0
4 2 2
= − .
3 3
2
Note that the result is remarkably close to the length√of the straight
line that connects the two points in question, which is 13/3.
We can use our new technique to verify a classic formula.
Example 9.2. Use Theorem 9.1 to compute the circumference of a
circle of radius 1.
Solution: Let us place the center of the unit circle at the origin. Then
the boundary of the circle is the set of points satisfying x2 + y 2 = 1.
138 9. FURTHER APPLICATIONS OF INTEGRATION
= π/2.
This implies that the circumference of the full circle is four times this
much, that is, 2π. 2
61. SURFACE AREA 139
60.3. Exercises.
(1) Find the length of the curve f (x) = x2 /2 between the points
given by x = 0 and x = 1.
3
(2) Find the length of the curve f (x) = x3 + 4x between the points
given by x = 2 and x = 4.
(3) Find the length of the curve f (x) = ln(cos x) between the
points given by x = 0 and x = π/4.
(4) Prove that Theorem 9.1 provides the correct value for the arc
length of f when f is a linear function.
(5) Use a method of approximate integration to estimate the length
of the curve of f (x) = ex as from (0, 1) to (1, e).
(6) Use a method of approximate integration to estimate the length
of f (x) = sin x from (0, 0) to (π, 0).
results in the lateral surface Sn,i of a truncated cone with slant height
li and radii yi−1 and yi . See Figure 9.5 for an illustration. It is then
not difficult to prove that the area of Sn,i is equal to
As n goes to infinity, the sum of the areas of the surfaces Sn,i approxi-
mates what we intuitively think of as the area of the surface obtained
by rotating the curve.
61. SURFACE AREA 141
n
n
(9.3) S(A) = lim Sn,i = lim π(yi−1 + yi )li
n→∞ n→∞
i=1 i=1
n
(9.4) S(A) = lim 2πf (x∗i ) ∆x 1 + f (x∗i )2 ,
n→∞
i=1
b
A(S) = 2πf (x) 1 + f (x)2 dx.
a
61.2. Variations. If we rotate our curve around the vertical axis instead
of the horizontal axis, then most of the previous argument remains
valid. The only difference is that when the point Pi = (xi , yi ) is rotated,
it is rotated in a circle of radius xi , not yi . This leads to the following
theorem.
Note that the f (x) term in the integrand of Theorem 9.2 is replaced
by x.
61. SURFACE AREA 143
= πRs,
√
where s = R2 + h2 is the slant height of the cone.
So the total surface area of the cone is the sum of the area of its
base plus the area of its lateral surface, that is, R2 π+πRs = πR(R+s).
2
Theorem 9.4 also has a version that applies to curves given as func-
tions of y that are rotated around the horizontal axis.
Theorem 9.5. Let g be a function such that g is continuous on
the interval [a, b]. Let S be the surface obtained by rotating the curve
x = g(y), where y ∈ [a, b], around the horizontal axis.
Then the area of S is given by
b 2
dx
A(S) = 2πy 1 + dy.
a dy
Note that for the computation of some surface areas, we will have
a choice of two theorems discussed in this section. The reader is en-
couraged to describe the curves whose rotations lead to such surfaces.
62. APPLICATIONS TO PHYSICS AND ENGINEERING 145
61.3. Exercises.
(1) Compute the surface area obtained by rotating the curve y =
ex , for x ∈ [0, 1], around the horizontal
√ axis.
(2) Rotate the curve of y = f (x) = x, where x ∈ [0, 1], around
the vertical axis. Find the surface area.
(3) Rotate the curve of y = f (x) = tan x, where x ∈ [0, π/4],
around the vertical axis. Find the surface area.
(4) Rotate the curve of y = f (x) = x3 , where x ∈ [0, 1], around
the horizontal axis. Find the surface area.
(5) Rotate the curve of x = g(y) = 32 (y + 1)3/2 , where y ∈ [2, 3],
around the horizontal axis. Find the surface area.
(6) Solve Example 9.5 using Theorem 9.3.
The point xg of the real line is called the center of mass or center of
gravity of the system described above, that is, the system of an object
of mass m1 at x1 and an object of mass m2 at x2 . The moment of an
object with respect to a point P is the mass of the object times the
distance of the object from P . In particular, in the above system, the
two objects had moments m1 x1 and m2 x2 with respect to the origin.
So the total system had moment m1 x1 + m2 x2 . Note that if we replace
the two objects by a simple object of mass m1 + m2 placed at xg , then
the moment of the system about the origin does not change. This is an
important property that only the center of mass has, and therefore we
repeat it. If we concentrate the total mass of the system at the center
of mass, the moment of the system with respect to the origin will not
change.
If we consider a system of k distinct objects of mass m1 , m2 , . . . , mk
placed at points x1 , x2 , . . . , xk along the horizontal axis, then we can use
an analogous argument to show that the center of mass of the system
is at
k
mi xi
(9.7) xg = i=1k
.
i=1 mi
My = ki=1 mi xi is called the moment of the system with respect to the
y axis.
0
x2 dx
[x4 /4]10
=
[x3 /3]10
3
=
4
and
b 1
a 2
[f (x)]2 dx
yg =
A(D)
1
(x4 /2) dx
0
=
1/3
[x5 /10]10
=
1/3
3
= .
10
So the center of gravity of D is at (0.75, 0.3). This agrees with our
intuition, since the bottom of D is larger than its top, and the left-hand
side of D is smaller than the right-hand side of D. See Figure 9.10 for
an illustration. 2
62.3. Exercises.
(1) Find the center of mass of the unit semicircle that lies in the
northern half-plane.
(2) Find the center of mass of the plate whose borders are the lines
x = 0 and x = π/2, the graph of the function f (x) = sin y,
and the horizontal axis.
63. APPLICATIONS TO ECONOMICS AND THE LIFE SCIENCES 151
(3) Find the center of mass of the plate whose borders are the
vertical lines x = 1 and x = 2, the horizontal axis, and the
graph of the function f (x) = ln x.
(4) Find the center of mass of the plate whose borders are the
vertical lines x = 1 and x = 2, the horizontal axis, and the
graph of the function f (x) = ex .
(5) Find the center of mass of the trapezoid whose vertices are at
(0, 0), (15, 0), (1, 1), and (8, 1).
(6) An object consists of two squares. The first is the square
with vertices (0, 0), (0, 2), (2, 0), and (2, 2), and the other is
the square with vertices (0, 2), (1, 2), (0, 3), and (1, 3). The
density of the material of the small square is twice the density
of the material of the large square. Where is the center of mass
of this object?
the maximum price that that customer is willing to pay. Indeed, if the
highest amount anyone is willing to pay for one unit is p(x1 ), and x1
customers are willing to pay that price, then the revenue coming from
these most enthused customers is x1 p(x1 ), which is the area of the
domain under the graph of p that is between the vertical lines x = 0
and y = x1 . We could continue in this way, noting that if the second
highest price that some customers are willing to pay is p(x2 ), and there
are x2 −x1 people who are willing to pay this price (not including those
who are willing to pay even p(x1 )), then the revenue from them will
be (x2 − x1 )p(x2 ). This is the area of the domain under the graph of p
that is between the lines x = x1 and x = x2 , and so on.
If the seller decides to set one fixed price p(z), then the seller will
sell z items, for a total revenue of zp(z) (the area of the rectangle R
bordered by the two coordinate axes and the lines x = z and y = p(z)).
This means that the customers who would have paid an even higher
price for these goods have saved money. Besides losing that potential
revenue, the seller also loses revenue by not getting any purchases from
customers who were willing to pay some amount, but not z, for one
unit.
Let xn be the number of items that the seller can sell at the lowest
price at which the seller is still willing to sell these items. It is a direct
consequence of the above discussion that the total amount saved by all
customers who bought the item at z dollars is the area under the curve
of p but above the rectangle R, that is,
n
(9.11) (p(xi ) − z)(xi − xi−1 ).
i=1
63. APPLICATIONS TO ECONOMICS AND THE LIFE SCIENCES 153
is the amount of missed revenue, that is, the money the company could
have received from buyers who found the product too expensive. Note
that this is the area of the domain under the graph of p, but on the
right of R.
Example 9.8. Tickets for a certain flight are normally priced at
$300, and in an average month, 500 tickets are sold. Research shows
that, for every $10 that the price is reduced, the number of tickets sold
goes up by 20. Find the demand curve and compute the consumer
surplus for these tickets if the price is set at $240.
Solution: If the airline wants to sell x tickets, then the price that the
airline needs to charge is
x − 500 x − 500
p(x) = 300 − 10 · = 300 − .
20 2
Indeed, in order to sell x−500 extra tickets, the airline needs to decrease
its price by $10 for each 20 pack of extra tickets.
If the price is set at z = $240, then formula (9.12) shows that the
customer surplus is
240
CS = (p(x) − 240) dx
0
240
x − 500
= 60 − dx
0 2
240
x
= 310 − dx
0 2
= 60, 000.
So customers would save a total of $60,000 in an average month if the
price of the tickets were set at $240. 2
154 9. FURTHER APPLICATIONS OF INTEGRATION
Example 9.9. Let us assume that there are currently 30,000 people
in the United States who have a certain illness. Let us also assume
that we know that the fraction of that population who will still have the
illness t months from now is given by the function f (t) = e−0.05t . We
also know that every month 1000 new patients will get the illness. How
many people in the United States will have the illness in 20 months?
Solution: Clearly, f (20) = e−1 = 0.368 of the people who currently
have the illness will still have it 20 months from now. Now we have
to compute the number of people who will get the illness between now
(t = 0) and 20 months from now (t = 20) and will still be ill 20 months
from now.
Subdivide the interval [0, 20] into n equal subintervals using the
points
0 = t0 < t1 < · · · < tn = 20.
Set 20/n = ∆t. Then, for all i, there are 1000 · ∆t people who will get
the illness during the time period [ti−1 , ti ). That means that 20 months
from now, in other words, approximately 20 − ti−1 months from getting
the illness, the fraction of them who will still have the illness will be
f (20 − ti−1 ). So their number will be about 1000 · ∆t · f (20 − ti−1 ).
Summing over all allowed values of i, we get that the total number of
people in the United States who will have the illness 20 months from
now is
n
30, 000 · f (20) + 1000 · ∆t · f (20 − ti−1 ).
i=1
We recognize that the above sum is a Riemann sum, so, as n goes to
infinity, the above expression converges to
20
D = 30, 000 · f (20) + 1000f (20 − t) dt
0
20
−1
= 30, 000 · e + 1000 e0.05t−1 dt
0
≈ 11, 036.38 + 12, 642.41
≈ 23, 679.
So 20 months from now, 23,679 people in the United States will
still have the illness. 2
Note that the result of the previous example shows that the number
of people in the United States who have the illness will decrease during
63. APPLICATIONS TO ECONOMICS AND THE LIFE SCIENCES 155
the next 20 months. Try to find an intuitive explanation for that fact
that does not involve integration.
63.3. Exercises.
64. Probability
The word “probability” is often used in informal conversations, even
if it is sometimes not clear what the speaker means by that word. It
turns out that there are two distinct concepts of probability. These two
concepts complement each other in that they are applicable in different
circumstances, and use very different methods.
64.1. Discrete Probability. Let us say that we are tossing a fair coin
four times. What is the probability that we will get at least three
heads?
This is a situation in which the event that we study, that is, the
sequence of four coin tosses, has only a finite number of outcomes.
Indeed, there are 24 possible outcomes, since each coin toss has two
outcomes (heads or tails), and the coin is tossed four times.
Among these 16 possible outcomes, five are favorable outcomes,
namely, HHHH, HHHT , HHT H, HT HH, and T HHH. Further-
more, each single outcome (favorable or not) is equally likely to occur,
since the coin is fair, and the result of each coin toss is equally likely
to be heads or tails.
In this situation, that is, when the number of all possible outcomes
is finite, and each outcome is equally likely to occur, define
Number of favorable outcomes
(9.13) Probability of event = ,
Number of all outcomes
which, in our example, shows that the probability of getting at least
three heads is 5/16.
Probabilities defined by formula (9.13) are called discrete proba-
bilities. The formula is applicable only when the number of possible
outcomes is finite. If we want to apply this formula in complicated
situations, we need advanced techniques to count the number of all
64. PROBABILITY 157
It can be proved that if F has all these properties, then there exists
a unique function f : R → R that has the following properties:
a
(a) For all a ∈ R, we have −∞ f (x) dx = F (a) = P (X ≤ a).
∞
(b) The equality −∞ f (x) dx = 1 holds.
(c) For all real numbers x, the inequality f (x) ≥ 0 holds.
If f is the unique function described by the three properties above,
then f is called the probability density function, or simply density func-
tion, of the continuous random variable X.
Note that property (a) above implies that, for all real numbers
a < b, the equality
b
(9.14) P (a ≤ X ≤ b) = f (x) dx
a
P (a ≤ X ≤ b) = P (X ≤ b) − P (X ≤ a)
= F (b) − F (a)
b a
= f (x) dx − f (x) dx
−∞ −∞
b
= f (x) dx.
a
64. PROBABILITY 159
2
64.2.1. Exponential Distribution. Consider the following density func-
tion. Let λ be a positive real number and let
0 if x < 0,
(9.15) f (x) =
λe−λx if 0 ≤ x .
We see that f is a decreasing function on the interval [0, ∞). Figure
9.14 shows how the speed at which f decreases depends on the param-
eter λ.
It turns out that this density function is a very frequently occurring
one. Therefore, it has a name. It is called the exponential density func-
tion with parameter λ. Using the right constant λ and under the right
circumstances, it can be used in many scenarios, typically connected
to waiting times. For instance, it could be used to measure the proba-
bility that, given a starting moment, a given cell phone will ring in less
than t minutes, or that, at a given location, it will start raining in less
than h hours, or that, given a random store, a customer will enter in
s seconds. The exponential density function will give a good approxi-
mation to compute these probabilities if the mentioned processes take
place at a roughly constant rate. That is, we should choose a part of
the day when that given cell phone receives calls at roughly constant
frequency, a season when it rains at that location at roughly constant
time periods, or a time of day when customers enter that store at a
roughly constant rate.
Example 9.11. The probability that a certain kind of new refrig-
erator will need a major repair in x years is given by the exponential
64. PROBABILITY 161
= 1 − e−10/9
= 0.671.
Therefore, the probability that the refrigerator will not need a major
repair in 10 years is P (X ≥ 10) = 1 − 0.671 = 0.329. 2
64.2.2. Mean. If we want to compute the average weight of a per-
son selected from a given population of n people, we can simply take
the weights a1 , a2 , . . . , an of those people and compute their arithmetic
mean, or average, that is, the real number
a1 + a2 + · · · + an
A= .
n
This could take a very long time if n is a very large number. If the data
are given in a more organized form, we may be able to save some time.
In particular, if we know that there are b1 people in the population
whose weight is x1 , there are b2 people whose weight is x2 , and so on,
then we can compute the average weight of the population as
b 1 x 1 + b2 x 2 + · · · + bk x k
(9.16) A= ,
b 1 + b2 + · · · + bk
since this fraction is the total weight of the population divided by the
number of people in the population.
Now note that pi = bi /(b1 + b2 + · · · + bk ) is just the probability that
a randomly selected person of this population has weight xi . Therefore,
(9.16) is equivalent to
(9.17) p 1 x1 + p2 x2 + · · · + pk xk .
Theoretically, the weight of a person can take infinitely many val-
ues since the measuring scale can be always be more precise. It is not
difficult to prove that, as k goes to infinity, the sum in (9.17) will turn
162 9. FURTHER APPLICATIONS OF INTEGRATION
and it increases on the left of that and decreases on the right of that.
The smaller the value of σ, the steeper is the rise and fall of the graph
of f . See Figure 9.15 for an illustration.
It can be proved that µ is precisely the mean of N (µ, σ). The
constant σ is called the standard deviation of N (µ, σ). It measures how
spread out the values of our variable X are. (The precise definition is
that σ is the square root of the mean of (X − µ)2 .)
Many scenarios are modeled by a normal distribution, such as test
scores, athletic results, or annual snowfall at a given location.
64.3. Exercises.
(1) For which value of c will f (x) = cx4 be a density function on
[0, 1]?
(2) Let X be a random variable whose density function is 0 outside
the interval [0, 1] and satisfies f (x) = 2x for x ∈ [0, 1]. Prove
that f is indeed a density function, and compute the mean of
X.
(3) Let us say that the lifetime of a bicycle tire (measured in
months) has an exponential distribution with λ = −7. What
is the probability that a tire will last between five and eight
months?
(4) The average score on an exam is 100 points. In order to pass,
a student cannot be more than 2 standard deviations below
the average. If the scores have a normal distribution with a
standard deviation of 6, how large a fraction of the students
will pass the exam?
(5) Using the conditions of Example 9.13, what is the probability
that Northtown will get less than 5 feet of snow in a given
year?
(6) Let X be the random variable that counts the goals scored
by an offensive soccer player of a certain elite league during
an entire season. An offensive player is considered exceptional
if he the number of goals he scores exceeds the average of all
offensive players by at least 3 standard deviations. Let us say
that X has distribution N (33, 3). What percentage of offensive
players is considered exceptional?
CHAPTER 10
Planar Curves
the semicircle below the x axis. The union of the two graphs is the full
circle. This example shows a deficiency in describing planar curves by
the graph of a function because the curves cannot always be represented
as the graph of a single function.
On the other hand, (10.1) admits a different solution:
(10.2) x2 + y 2 = 1 =⇒ x = cos t , y = sin t , t ∈ [0, 2π],
which immediately follows from the trigonometric identity cos2 t +
sin2 t = 1 for all values of t.
This representation means that a point of the coordinate plane is
assigned to every value of t ∈ [0, 2π] by the rule (x, y) = (cos t, sin t).
The coordinates of points of the circle are functions of a third variable
called a parameter. As t changes, the point (cos t, sin t) traces out the
circle of unit radius centered at the origin in the plane. The parame-
ter t has a simple geometrical interpretation. It is the angle counted
counterclockwise from the positive x axis to a ray from the origin on
which the point (cos t, sin t) lies. This observation admits a natural
generalization.
Definition 10.1 (Parametric curves). Let x(t) and y(t) be contin-
uous functions on [a, b]. A parametric curve in the coordinate plane is
165
166 10. PLANAR CURVES
the set of points satisfying the conditions, called the parametric equa-
tions,
x = x(t) , y = y(t) , t ∈ [a, b].
The points (x(a), y(a)) and (x(b), y(b)) are called the initial and ter-
minal points of the curve, respectively.
The graph of a function f is a particular example of a parametric
curve: x = t, y = f (t).
65. PARAMETRIC CURVES 167
What is the difference between (10.2) and (10.3)? First, note that,
as the parameter t in (10.2) increases, the point (cos t, sin t) traces out
the circle counterclockwise (the initial point (1, 0) moves upward as y =
sin t > 0 for 0 < t < π/2). In contrast, the point (cos(3τ ), − sin(3τ ))
does so clockwise with increasing τ (the initial point (1, 0) moves down-
ward as y = − sin(3τ ) for 0 < τ < π/6). Second, as t ranges over the
interval [0, 2π], the point (cos t, sin t) traces out the circle only once,
while the point (cos(3τ ), − sin(3τ )) winds about the origin three times
because the period of the trigonometric functions involved is 2π/3, so
the point returns to the initial point (τ = 0) three times when τ = 2π/3,
τ = 4π/3, and τ = 6π/3 = 2π. Third, there is a relation between the
parameters t and τ : t = −3τ .
This example illustrates the main differences between curves defined
as a point set by the Cartesian equation F (x, y) = 0 and parametric
curves.
• A parametric curve C is oriented ; that is, the point (x(t), y(t))
traces out C in a particular direction (from the initial to the
terminal point).
• A parametric curve may repeat itself multiple times.
• Parametric equations describing the same point set in the
plane differ by the choice of parameter; that is, if (x(t), y(t))
and (X(τ ), Y (τ )) trace out the same point set C in the plane,
then there is a function g(τ ) such that X(τ ) = x(g(τ )) and
Y (τ ) = y(g(τ )). The change of the parameter t = g(τ ) is
called a reparameterization of a curve C.
65. PARAMETRIC CURVES 169
65.2. The Cycloid. The curve traced by a fixed point on the circum-
ference of a circle as the circle rolls along a straight line is called a
cycloid (see Figure 10.4). To find its parametric equations, suppose
that the circle has a radius R and it rolls along the x axis. Let the
fixed point P on the circumference be initially at the origin so that the
center of the circle is positioned at the point (0, R) (on the y axis). Let
CP denote the straight line segment between the center of the circle C
and P . Initially, CP is perpendicular to the x axis. As the circle rolls,
the segment CP rotates about the center of the circle. Therefore, it is
natural to choose the angle of rotation θ as a parameter. The coordi-
nates of P are functions of θ to be found. If the circle rolls a distance
D so that its center is at (D, R), then the arc length Rθ of the part
of the circle between P and the touch point T has to be equal to D,
that is, D = Rθ. Let Q be a point on the segment CT such that P Q
and CT are perpendicular. Consider the right-angled triangle CP Q.
Its hypotenuse CP has length |CP | = R, and the lengths of its catheti
are |CQ| = |CP | cos θ = R cos θ and |P Q| = |CP | sin θ = R sin θ. Let
170 10. PLANAR CURVES
65.4. Exercises.
In (1)–(9), sketch the curve by plotting its points. Include the arrow
showing the orientation of the curve. Eliminate the parameter to find
a Cartesian equation of the curve.
172 10. PLANAR CURVES
√
(1) x = 1 + 2t , y = 3 − t (2) x = t , y = 2 − t (3) x = t2 , y = t3
(4) x = 1 + 2et , y = 3 − et (5) x = cosh t , y = sinh t
(6) x = 2 sin t , y = 3 cos t (7) x = 2 − 3 cos t , y = −1 + sin t
(8) x = cos t , y = sin(4t) (9) x = t2 sin t , y = t2 cos t
(10) The curves x = a sin(nt), y = b cos t, where n is a positive integer,
are called Lissajous figures. Investigate how these curves depend on a,
b, and n.
(11) Consider a disk of radius R. Let P be a point on the disk at a
distance b from its center. Find the parametric equations of the curve
traced out by the point P as the disk rolls along a straight line. The
curve is called a trochoid. Are the equations well defined if b > R.
Sketch the curve for b < R, b = R, and b > R.
(12) The swallowtail catastrophe curves are defined by the parametric
equations x = 2ct − 4t3 , y = −ct2 + 3t4 . Sketch these curves for a few
values of c. What features do the curves have in common? How do
they change when c increases?
66. Calculus with Parametric Curves
66.1. Tangent Line to a Parametric Curve. Consider a parametric curve
x = x(t), y = y(t), where the functions x(t) and y(t) are continu-
ously differentiable and the derivatives x (t) and y (t) do not vanish
simultaneously for any t. Such parametric curves are called smooth.
Theorem 10.1 (Tangent Line to a Smooth Curve). A smooth para-
metric curve x = x(t), y = y(t) has a tangent line at any point (x0 , y0 ),
and its equation is
(10.4) x (t0 )(y − y0 ) − y (t0 )(x − x0 ) = 0,
where (x0 , y0 ) = (x(t0 ), y(t0 )).
Proof. Take a point of the curve (x0 , y0 ) = (x(t0 ), y(t0 )) corre-
sponding to a particular value t = t0 . Suppose that x (t0 ) = 0. Then,
by the continuity of x (t), there is a neighborhood Iδ = (t0 − δ, t0 + δ)
for some δ > 0 such that x (t) = 0 for all t ∈ Iδ ; that is, the de-
rivative is either positive or negative in Iδ . By the inverse function
theorem (studied in Calculus I), there is an inverse function t = f (x)
that is differentiable in some open interval that contains x0 . Substi-
tuting t = f (x) into the second parametric equation y = y(t), one
obtains that near the point (x0 , y0 ) the curve can be represented as a
part of the graph y = F (x) such that y0 = F (x0 ). The function F is
66. CALCULUS WITH PARAMETRIC CURVES 173
The rule for calculating the slope of the tangent line can also be
obtained by means of the concept of the differential. Recall that the
differentials of two related quantities y = F (x) are proportional: dy =
F (x) dx. On the other hand, x = x(t), y = y(t) and therefore dx =
x (t) dt and dy = y (t) dt. Hence,
dy dy
y (t)
F (x) = = dt
= .
dx dx
dt
x (t)
These manipulations with differentials are based on a tacit assumption
that, for a smooth curve x = x(t), y = y(t), there exists a differentiable
function F such that y = F (x). In the proof of the tangent line the-
orem, this has been shown to be true as a consequence of the inverse
function theorem. The use of the differentials establishes the following
helpful rules to calculate the derivatives:
d d
d dt 1 d d dt 1 d
= = and = = .
dx dx
dt
x (t) dt dy dy
dt
y (t) dt
F (x) < 0. If y(t) and x(t) are twice differentiable, then the concavity
of the curve can be determined:
y
d2 y d dy 1 d dy x y x − x y
= = = = .
d2 x dx dx x dt dx x (x )3
Example 10.4. A curve C is defined by the parametric equations
x = t2 , y = t3 − 3t.
(i) Show that C has two tangent lines at the point (3, 0).
(ii) Find the points on C where the tangent line is horizontal or vertical.
(iii) Determine where the curve is concave upward or downward.
Solution: √(i) Note that y(t) = t(t2 − 3) = 0 has three solutions t = 0
and t = ± 3. But the curve has only two √ points of intersection with
the x axis, (0, 0) and (3, 0), because x(± 3) = 3; that is, the curve is
self-intersecting at the point (3, 0). This explains why the curve may
have√ two tangent
√ lines. One√has x (t) = 2t and y (t) = 3t2 − 3 so that
x (± 3) = ±2
√ 3 and√y (± 3) = 6. So the slopes of the tangent lines
are (y /x )(± 3) = ± 3, and the equations of the lines read
√ √
y = 3 (x − 3) and y = − 3 (x − 3).
(ii) The tangent line becomes horizontal when y (t) = 3t2 − 3 = 0
(see Eq. (10.4)). This happens when t = ±1. Thus, the tangent
line is horizontal at the points (1, ±2). The tangent line is vertical if
x (t) = 2t = 0 or t = 0. So the tangent line is vertical at the origin
(0, 0).
(iii) The second derivative is
d2 y 1 d dy 1 d 3t2 − 3 3 d 1 3 1
2
= = = t− = 1+ 2 .
dx x dt dx 2t dt 2t 4t dt t 4t t
This equation shows that the curve is concave downward if t > 0 (the
second derivative is positive) and the curve is concave upward if t < 0
(the second derivative is negative). 2
66.4. Exercises.
In (1) and (2), find an equation of the tangent line(s) to the curve at
the given point. Sketch the curve and the tangent(s).
(1) x = t2 + t , y = 4 sin t , (0, 0)
(2) x = sin t + sin(2t) , y = cos t + cos(2t) , (1, −1)
(7) Investigate the slope of the trochoid x = Rφ−b sin φ, y = R−b cos φ
in terms of φ. Find the condition on the parameters R and b such that
the trochoid has vertical tangent lines.
(8) At what points on the curve x = 2t3 , y = 1 + 4t − t2 does the
tangent line have slope 1?
(9) Find equations of the tangents to the curve x = 2t3 + 1, y = 3t2 + 1
that pass through the point (3, 4).
In (10)–(12). Investigate whether the curve has cusps or not. If it does,
find their position. Sketch the curve.
(10) x = t3 , y = t3 (11) x = t5 , y = t2 (12) x = (t2 −1)3 , y = (t3 −1)2
178 10. PLANAR CURVES
67.1. Rectangular and Polar Coordinates. Suppose that the polar axis
is set so that it coincides with the positive x axis of the rectangular
coordinate system. Every point on the plane is either described by
the rectangular coordinates (x, y) or the polar coordinates (r, θ). It is
easy to find the relation between the polar and rectangular coordinates
of a point P by examining the rectangle with the diagonal OP . Its
horizontal and vertical sides have lengths x and y, respectively. The
length of the diagonal is r. The angle between the horizontal side and
the diagonal is θ. Therefore, cos θ = x/r and sin θ = y/r, or
y
x = r cos θ , y = r sin θ ⇐⇒ r2 = x2 + y 2 , tan θ = .
x
These relations allow us to convert the polar coordinates of a point to
rectangular coordinates and vice versa.
Example 10.6. Find the rectangular coordinates of a point whose
polar coordinates are (2, π/6). Find the polar coordinates of a point
with rectangular coordinates (−1, 1).
√
Solution:
√ For r = 2 and θ = π/6, one has x =√2 cos(π/6) = 2 3/2 =
3 and y = 2 sin(π/6) = 2/2 =√1, so (x, y) = ( 3, 1). For x = −1 and
y = 1, one has r2 = 2 or r = 2 and tan θ = −1. The point (−1, 1)
lies in the second quadrant, that is, π/2 ≤ θ ≤ π. Therefore, θ = 3π/4.
Alternatively, one can take θ = 3π/4 − 2π = −5π/4. 2
pairs (|a|, θ) form a circle of radius |a| centered at the origin. Similarly,
the graph θ = b, where b is real, is the set of all points (r, b), where
r ranges over the real axis, which is the line through the origin that
makes an angle b radians with the polar axis. Notice that the points
(r, b), r > 0, and (r, b), r < 0, lie in the opposite quadrants relative to
the origin as the pairs (r, b) and (−r, b + π) represent the same point.
In general, the shape of a polar graph can be determined by plotting
points (f (θk ), θk ), k = 1, 2, ..., n, for a set of successively increasing
values of θ, θ1 < θ2 < · · · < θn ; that is, one takes a set of rays θ = θk
and marks the point on each ray at a distance rk = f (θk ) from the
origin.
Example 10.7. Describe the curve r = 2 cos θ.
Solution: By converting the polar graph equation to rectangular co-
ordinates, one finds:
r = 2 cos θ ⇔ r2 = 2r cos θ ⇔ x2 + y 2 = 2x ⇔ (x − 1)2 + y 2 = 1.
The latter equation is obtained by completing the squares. It represents
a circle with center (1, 0) and radius 1. Note also that by looking at
the graph of the cosine function, one can see that the point (2 cos θ, θ)
gets closer to the origin when θ changes from 0 to π/2 (the first quad-
rant), reaching the origin at θ = π/2. This gives the upper part of
the circle. A similar behavior is observed when θ changes from 0 to
−π/2 (the lower part of the circle in the fourth quadrant). In the in-
tervals (−π, −π/2) and (π/2, π), the radial variable is negative. The
representation (r, θ) is equivalent to (−r, θ ± π). Therefore, the points
(2 cos θ, θ) and (−2 cos θ, θ + π) = (2 cos(θ + π), θ + π) are the same
for θ ∈ [−π, −π/2]. But the latter set can also be described by the
pairs (2 cos θ, θ) if θ ∈ [0, π/2]. Similarly, the set traced out by the pair
(2 cos θ, θ) for θ ∈ [π/2, π] is the same as when θ ∈ [−π/2, 0]. So the
pair (2 cos θ, θ) traces out the same set (the circle) each time θ ranges
an interval of length π. 2
Example 10.8. Describe the shape of the curve r = θ, θ ≥ 0.
Solution: The point (θ, θ) lies on the ray that makes an angle θ with
the polar axis and is a distance r = θ from the origin. As the ray rotates
counterclockwise about the origin with increasing θ, the distance of the
point from the origin increases proportionally. So the curve is a spiral
unwinding counterclockwise. 2
Solution: Here f (θ) = 1 + sin θ and f (θ) = cos θ. This leads to the
slope
dy cos θ sin θ + (1 + sin θ) cos θ cos θ(1 + 2 sin θ)
= = .
dx cos θ − (1 + sin θ) sin θ
2 (1 + sin θ)(1 − 2 sin θ)
where the identity cos2 θ = 1−sin2 θ has been used to transform the de-
nominator. The cardioid passes through the origin as θ passes through
−π/2. The slope dy/dx is undetermined because the numerator and
denominator of the ratio vanish at θ = −π/2 (both derivatives dx/dθ
and dy/dθ vanish). The left and right limits have to be investigated to
see if the slope has a jump discontinuity thus indicating a cusp. The
numerator vanishes because of the factor cos θ, while the denominator
vanishes because of the factor (1 + sin θ). Hence,
dy 1 cos θ 1 − sin θ
lim =− lim ± =− lim ± = ∓∞,
θ→(−π/2)± dx 3 θ→(−π/2) 1 + sin θ 3 θ→(−π/2) cos θ
where l’Hospital’s rule has been used to resolve the undetermined form
0
0
and the property that tan θ → ∓∞ as θ → (−π/2)± has been invoked
to find the limit. The cardioid has a vertical tangent line at the origin.
The slope has an infinite jump discontinuity, meaning that the cardioid
has a cusp at the origin (see Figure 10.11). 2
67.5. Exercises.
In (1)–(3), convert the polar graph equation to a Cartesian equation
and sketch the curve.
(1) r = 4 sin θ (2) r = tan θ sec θ (3) r = 2 sin θ − 4 cos θ
In (4)–(12), sketch the curve with the given polar equation.
(4) r = θ , θ ≤ 0 (5) r = ln θ , θ ≥ 1 (6) r2 − 3r + 2 = 0
(7) r = 4 cos(6θ) (8) r2 = 9 sin(2θ) (9) r = 1 + 2 cos(2θ)
(10) r = 2 + sin(3θ) (11) r = 1 + 2 sin(3θ) (12) r2 θ = 1
(13) Sketch the curve (x2 + y 2 )2 = 4x2 y 2 . Hint: Use polar coordinates.
(14) Investigate the dependence of the shape of the curve r = cos(nθ)
as the integer n increases. What happens if n is not an integer?
(15) Show that the curve r = 1 + a sin θ has an inner loop when |a| > 1
and find the range of θ that corresponds to the inner loop.
(16) For what values of a is the curve r = 1 + a sin θ smooth?
In (17) and (18), find the slope of the tangent line to the given curve
at the point specified by the value of θ and give an equation of the
68. PARAMETRIC CURVES: THE ARC LENGTH AND SURFACE AREA 185
tangent line.
(17) r = 2 sin θ , θ = π/3 (18) r = 1 − 2 cos θ , θ = π/6
(19) Show that the curves r = a sin θ and r = a cos θ intersect at right
angles.
provided the limit exists, and, in this case, the curve is called measur-
able.
By the mean value theorem, when applied to the functions x(t) and
y(t) on the interval [tk−1 , tk ], there are numbers t∗k and t∗∗
k in (tk−1 , tk )
such that
∆xk = x(tk )−x(tk−1 ) = x (t∗k ) ∆t , ∆yk = y(tk )−y(tk−1 ) = y (t∗∗
k ) ∆t.
Therefore,
|Pk−1 Pk | = (∆xk )2 + (∆yk )2 = (x (t∗k ))2 + (y (t∗∗ 2
k )) ∆t.
The
sum in (10.7) resembles a Riemann sum for the function F∗ (t) =
(x (t))2 + (y (t))2 . It is not exactly a Riemann sum because tk = t∗∗
k
in general. However, if x (t) and y (t) are continuous, it can be shown
that the limit (10.7) is the same as if t∗k and t∗∗ k were equal, namely, L
is the integral of F (t) over [a, b].
Theorem 10.2 (Arc Length of a Curve). If a curve C is described
by the parametric equations x = x(t), y = y(t), t ∈ [a, b], where x (t)
and y (t) are continuous on [a, b] and C is traversed exactly once as t
increases from a to b, then the length of C is
b
dx 2 dy 2
L= + dt.
a dt dt
If C is a graph y = f (x), then x = t, y = f (t), and dx = dt, and
the length is given by the familiar expression
b
dy 2
L= 1+ dt.
a dx
It is convenient to introduce the arc length of an infinitesimal segment
of a curve (the differential of the arc length)
b
2 2
ds
ds = (dx) + (dy) =⇒ L = ds = dt.
C a dt
The symbol C means the summation over infinitesimal segments of the
curve S (the integral along a curve C) and expresses a simple fact that
the total length is the sum of the lengths of its (infinitesimal) pieces.
is, dτ
dt
= g (t) ≥ 0, such that x(t) = X(g(t)) and y(t) = Y (g(t)).
Therefore, the integrals (10.7) corresponding to different parametric
equations of the same curve are related by a change of the integration
variable:
b b
dx 2 dy 2 dx dτ 2 dy dτ 2
L= + dt = + dt
dt dt dτ dt dτ dt
b β
a a
dx 2 dy 2 dτ dx 2 dy 2
= + dt = + dτ.
a dτ dτ dt α dτ dτ
Thus, the arc length is independent of the curve parameterization and
can be computed in any suitable parameterization of the curve.
A circle of radius R is described by the parametric equations x =
R cos t, y = R sin t, t ∈ [0, 2π]. Then dx = −R sin t dt and dy =
R cos t dt. Hence, ds2 = (R sin t dt)2 +(R cos t dt)2 = R2 (sin2 t+cos2 t) dt2
= R2 dt2 , or ds = R dt, and
2π 2π
L= ds = R dt = R dt = 2πR.
C 0 0
68.3. Area of a Planar Region. The area under the curve y = f (x)
b
and above the interval x ∈ [a, b] is given by A = a f (x) dx, where
f (x) ≥ 0. Suppose that the curve is also described by parametric
equations x = x(t), y = y(t), so that the function x(t) is one-to-one.
Then, by changing the integration variable, dx = x (t) dt and
b β
A= y dx = y(t)x (t) dt.
a α
height ds:
dA = 2πR(x, y) ds.
The total surface area is the sum of areas of all such parts of the surface
b
ds
(10.8) A = 2π R(x, y) ds = 2π R(x(t), y(t)) dt,
C a dt
68.5. Exercises.
In (1)–(3), find the arc length of the curve.
(1) x = 2 + 3t2 , y = 1 − 2t3 between the points (2, 1) and (5, −1).
(2) x = 3 sin t − sin(3t), y = 3 cos t − cos(3t), 0 ≤ t ≤ π.
(3) x = t/(1 + t), y = ln(1 + t) between the points (0, 0) and (2/3, ln 3).
(4) Find the area of the region enclosed by the curve x = a cos3 t,
y = a sin3 t (the astroid).
(5) Find the area of the region enclosed by the curve x = a cos t, y =
b sin t (an ellipse). √
(6) Find the area enclosed by the curve x = t2 − 2t, y = t and the y
axis.
In (7)–(10), find the area of a surface generated by rotating the given
curve about the specified axis. Sketch the surface.
(7) x = a cos3 t, y = a sin3 t (about the x axis).
(8) x2 + y 2 = a2 (about the y axis).
(9) x = t3 , y = t2 , 0 ≤ t ≤ 1 (about the x axis).
69. AREAS AND ARC LENGTHS IN POLAR COORDINATES 191
which is true for any n. Let F (θ) = 12 [f (θ)]2 . The function F is con-
tinuous on [a, b]. Then 12 m2k and 21 Mk2 are the minimum and maximum
values of F on the partition interval [θk−1 , θk ]. This shows that the
lower and upper bounds, ALn and AUn , are lower and upper sums for
the function F on [a, b]. By the definition of the definite integral and
192 10. PLANAR CURVES
Example 10.14. Find the area enclosed by one loop of the four-leaf
rose r = cos(2θ).
since the cardioid is symmetric about the vertical line (the y axis).
This integral can be evaluated by the substitution
u = 1 + sin θ ∈ [0, 2]
so
that du = cos θ dθ, where cos θ = 1 − sin 2
θ = 1 − (u − 1)2 =
u(2 − u). Hence,
√
√ 2 u √ 2 du √ √ 2
L=2 2 du = 2 2 √ = −4 2 2 − u = 8.
0 u(2 − u) 0 2−u 0
69.4. Exercises.
In (1)–(4), sketch the curve and find the area that it encloses.
(1) r = 4 cos(2θ) (2) r = a(1 + cos θ) (3) r = 2 − cos(2θ)
(4) r2 = 4 cos(2θ)
In (5)–(7), sketch the curve and find the area of one loop of the curve.
(5). r = 9 sin(3θ) (6) r = 1+2 sin θ (inner loop) (7) r = 2 cos θ−sec θ
In (8) and (9), find the area of the region that lies inside the first curve
and outside the second curve. Sketch the curves.
(8) r = 2 sin θ , r = 1 (9) r = 3 cos θ , r = 1 + cos θ
In (10)–(13), find the area of the region bounded by the curves. Sketch
the region.
(10) r = 2θ , r = θ , θ ∈ [0, 2π] (11) r2 = sin(2θ) , r2 = cos(2θ)
(12) r = 2a sin θ , r = 2b cos θ , a, b > 0
(13) r = 3 + 2 cos θ , r = 3 + 2 sin θ
(14) Find the area inside the larger loop and outside the smaller loop
of the limaçon r = 1/2 − cos θ.
In (15)–(17), sketch the curve and find its length.
(15) r = 2a sin θ (16) r = θ , θ ∈ [0, 2π] (17) r = a + cos θ , a ≥ 1
In (18)–(20), find the area of the surface obtained by rotating the curve
about the specified axis. Sketch the surface.
(18) r = a > 0 about a line through the origin.
(19) r = 2a cos θ, a > 0, (i) about the y axis and (ii) about the x axis.
(20) r2 = cos(2θ) about the polar axis.
(21) θ = a and 0 ≤ r ≤ R, where 0 < a < π/2 and R > 0 about the
polar axis.
196 10. PLANAR CURVES
|P F1 | + |P F2 | = 2a ⇐⇒ |P F2 | = 2a − |P F1 |,
(10.9) |P F2 |2 = (2a − |P F1 |)2 = 4a2 − 4a|P F1 | + |P F1 |2 ,
16a2 |P F1 |2 = (4a2 + |P F1 |2 − |P F2 |2 )2 .
These transformations serve only one purpose, that is, to get rid of
the square roots. Note that now all the distances are squared. So
|P F1 |2 − |P F2 |2 = (x + c)2 + y 2 − (x − c)2 − y 2 = 4cx. The substitution
of the latter into the condition (10.9) yields
16a2 [(x+c)2 +y 2 ] = (4a2 +4cx)2 ⇔ (a2 −c2 )x2 +a2 y 2 = a2 (a2 −c2 ).
x2 y 2
+ 2 = 1,
a2 b
where b2 = a2 − c2 so that a ≥ b > 0. The ellipse intersects the x axis
at (±a, 0) and the y axis at (0, ±b) (called the vertices of an ellipse).
The line segment joining the points (±a, 0) is called the major axis.
If the foci of an ellipse are located on the y axis, then x and y are
swapped in this equation, and the major axis lies on the y axis. This
shows that the restriction a ≥ b can be dropped in the ellipse equation.
In particular, an ellipse becomes a circle of radius a if a = b.
One of Kepler’s laws is that the orbits of the planets in the solar
system are ellipses with the Sun at one focus.
70. CONIC SECTIONS 199
70.6. Exercises.
In (1)–(9), classify the conic section. Find the vertices, foci (or focus),
directrix, and asymptotes (if the curve is a hyperbola). Sketch the
curve.
(1) y 2 = 16x (2) x2 = −4y (3) y + 12x − 2x2 = 18
(4) x2 + 4y 2 = 16 (5) 9x2 − 18x + 4y 2 = 27
(6) x2 + 3y 2 + 2x − 12y + 10 = 0 (7) 4x2 − 9y 2 = 36
(8) y 2 − 2y = 4x2 + 3 (9) y 2 − 4x2 + 2y + 16x + 3 = 0
70. CONIC SECTIONS 203