Calculus · Solutions
Multiple Integrals
Work this sheet on paper, showing every step — the method is what is being tested, and the solutions are written so you can check your route rather than just your answer. Describe every region by inequalities before you integrate, write each area or volume element out in full (, , ), and name the theorem you are using (“by Fubini's Theorem”, “by the change of variables theorem”) when you invoke one. No calculator is needed anywhere: leave answers exact, with , , and as they stand. Full worked solutions are on a separate page; each question also has its own reveal, so you can check one answer without seeing the rest.
- 1.Computation
Each part is an integral over a rectangle, so Fubini's Theorem applies. In every part say which order of integration you are using and why.
- (a)Evaluate over twice, once in each order, and confirm that the two results agree.
- (b)Evaluate over . One order is far easier than the other; identify it before you start.
- (c)Find the average value of over .
Solution
(a) Both orders. With inside, hold fixed:
With inside:
The agreement is Fubini's Theorem: the integrand is continuous on the rectangle, so either iterated integral equals .
(b) Integrate in first. With fixed, , so the factor is exactly what the -antiderivative needs:
The other order starts with , which needs integration by parts and produces ; that can only be integrated by recognising it as the derivative of . Choosing the order well replaces all of that with two lines.
(c) Product form, then divide by the area. The integrand is on a rectangle, so the integral is a product of single integrals:
The rectangle has area , so
Sanity check: on , and the integrand is small over most of the rectangle (near and near and ), so an average well below the midpoint is right.
- 2.Computation
Let be the region bounded by the parabola and the line .
- (a)Find the points where the curves meet, describe as a type I region, and compute its area as a double integral.
- (b)Evaluate . Divide the result by the area from (a), say what the quotient represents, and explain from the shape of why it had to come out as it did.
- (c)Explain why cannot be written as a single type II region, and write it as a union of two type II regions. Check the two pieces against the area in (a).
Solution
(a) Intersections and the type I description. The curves meet where , that is , so at and : the points and . Between them the line is on top (at it gives ), so a vertical line at enters on the parabola and leaves on the line:
The area is the integral of :
(b) The moment, and what the quotient means. The inner integral simply multiplies the width by :
(At the bracket is ; at it is .)
The quotient is for a lamina of constant density on : the -coordinate of the centroid. It had to be because the vertical width of ,
is symmetric about , the midpoint of and . Every strip at has a twin of equal area at , so the region balances on the line .
(c) Two type II pieces. For a type II description a horizontal line at height must enter and leave by a single formula each. For the line meets only the parabola, entering at and leaving at . For it enters on the line, at , and leaves on the parabola, at . The left boundary changes formula at , at the corner , so one description will not do:
Check against (a): the areas of the pieces are and
and , as before.
- 3.Sketch
Consider
- (a)Read the region of integration off the limits as a pair of inequalities, and sketch it: label every bounding line by its equation, mark the three corners with their coordinates, and draw one horizontal arrow showing the direction of the inner integration as written.
- (b)Explain why cannot be evaluated in the order given.
- (c)Reverse the order of integration — write the new limits and justify them from your sketch — and evaluate exactly.
Solution
(a) The region. The limits say and . The left boundary is the line through the origin with slope ; the right boundary is the vertical line ; the bottom is ; and at the left and right boundaries meet, since there. So the region is the triangle with corners , and : it lies below the line , to the left of and above the -axis.
The sketch must show the three lines labelled , and , the shaded triangle between them, the three corners with their coordinates, and a horizontal arrow at some height running from the slanted line (entry at ) to the vertical wall (exit at ). That arrow is the inner integral as written: at each fixed height, sweeps from the line to the wall.
(b) Why the given order is stuck. The inner integral is , and has no elementary antiderivative — it is in the same family as and . So the inner integration cannot be written down in closed form, whatever the limits are.
(c) Reverse and evaluate. Sweep the triangle with vertical lines instead: runs from to , and the vertical line at enters on the -axis at and leaves on the slanted line at . Hence
The inner integral was trivial because the integrand does not involve , and it produced the factor that the substitution , , needs:
Sanity check: the triangle has area , and on it lies between and , so must lie between and . It does. The tempting wrong reversal leaves a in an outer limit, which is meaningless — the limits change shape, not just position.
- 4.Computation
Convert each integral to polar coordinates and evaluate it exactly. Describe the region by polar inequalities before you integrate, and write the area element out in full every time.
- (a)
- (b), where is the annulus .
- (c), where is the disk enclosed by the polar curve . Check the result against the centroid of .
Solution
(a) A quarter disk. The limits say and : the part of the unit disk in the first quadrant, which in polar coordinates is , . With and ,
Sanity check: the quarter disk has area and the integrand lies between and ; is half the area, which is right for an integrand that is near at the origin and equals on the arc.
(b) An annulus. is , , and the integrand is :
The factor supplied by is what the substitution , , needs:
so the integral is .
Sanity check: the annulus has area , and on it the integrand lies between and , so the answer must lie between and .
(c) The disk . Multiplying the equation by gives , that is , or : the circle of radius centred at , traced once for (outside that range , and is kept non-negative). The ray at angle enters at and leaves at , and :
Reduce the power twice: from ,
Over the terms and integrate to and , both zero at both ends, leaving . Hence
Check: is a disk of area whose centroid is its centre , so . Exactly.
- 5.Proof
Throughout, is a closed rectangle and is continuous on . You may use the properties of the double integral (linearity, monotonicity, and the bounds when ), the Extreme Value Theorem and the Intermediate Value Theorem, naming each where it is used.
- (a)Prove that there is a point in with — a continuous function attains its average value. Say exactly where you use the fact that is a rectangle rather than an arbitrary region.
- (b)Suppose in addition that on and that at some interior point of . Prove that . Deduce that a continuous with is identically zero on .
Solution
(a) A continuous function attains its average. Let be the average value; the claim is that for some point of .
Step 1: trap the average between the extreme values. is closed and bounded and is continuous on it, so by the Extreme Value Theorem attains a minimum value at some point and a maximum value at some point . Since on , the bounds property gives , and dividing by ,
Step 2: connect to inside . Define for . The point lies in for every such : its -coordinate is , which lies between two numbers of , and likewise its -coordinate lies in . This is where the rectangle is used: the whole segment from to stays inside because a rectangle is convex. For a crescent-shaped region the segment could leave the region, and one would need a path inside it instead.
Step 3: apply the IVT. is the composition of the continuous map with the continuous , so it is continuous on , with and . Because , the Intermediate Value Theorem gives with . (If then is constant and works.) Setting ,
(b) A positive value forces a positive integral. Write . By continuity of at there is such that for every point of within distance of ; for those , . Since is an interior point, we may choose a small closed rectangle centred at that lies inside and inside the disk of radius about . On , then, .
Now compare the integrals over and over . Let be on and on the rest of . By the definition of the integral over a general region, , and is integrable because its only discontinuities lie on the four edges of . Because on , we have at every point of : on the two are equal, and off it is . Monotonicity therefore gives
the second inequality being the lower bound property on with .
Deduction. Suppose is continuous with . If were positive at any interior point, the integral would be positive — a contradiction — so at every interior point. A boundary point of is a limit of interior points and is continuous, so there too. Hence on . Note that (a) alone would not give this: it only produces one point where equals its average .
- 6.Computation
A lamina occupies the quarter disk , and its density at a point is that point's distance from the origin, . Write down the definition of every moment before you compute it.
- (a)Find the mass .
- (b)Find the centre of mass . Use a symmetry to avoid computing one of the two moments, and say precisely what the symmetry is. Compare the result with the centroid of the same quarter disk with constant density, and explain the direction of the difference.
- (c)Find the polar moment of inertia and deduce and . Express as a multiple of and compare with the value for a uniform disk of the same radius .
Solution
Throughout, is , in polar coordinates, the density is , and — so every integrand carries one factor of from the density and one from the area element.
(a) Mass. By definition :
(b) Centre of mass. By definition and . With the integrand becomes , a product over a rectangle in the -plane:
The symmetry is the reflection in the line : it maps onto itself and leaves unchanged, while exchanging the integrands and of the two moments. Hence and as well:
Comparison: . The density grows with distance from the origin, so mass is shifted toward the arc, and the balance point moves outward along the axis of symmetry — the right direction. The point is inside , since .
(c) Moments of inertia. By definition , and :
The same reflection exchanges and , so ; since , each equals .
In terms of the mass, . A uniform disk of radius has , and so does a uniform quarter disk — the ratio does not see the angular extent. This lamina's ratio is larger for the same reason its centre of mass sits further out: more of its mass is at large , and weights mass by .
- 7.Computation
Find each surface area exactly. In every part write the stretch factor explicitly before integrating.
- (a)The part of the surface that lies above the square .
- (b)The part of the saddle that lies inside the cylinder .
- (c)Without integrating, decide whether the surface over the same disk has the same area as in (b), and whether over the same disk has a larger or a smaller area. Justify both from the formula, then compute the area of to confirm.
Solution
(a) A square base. and , so the stretch factor is
Over the unit square,
Each term integrates by the power rule, the exponent rising to :
using and .
Sanity check: the stretch factor runs from at the origin to at over a base of area , so .
(b) The saddle over a disk. and , so the factor is . Region and integrand both ask for polar coordinates:
the from being exactly what the substitution , , requires.
Sanity check: the factor lies between and over a disk of area , so .
(c) Shifting and steepening. The surface-area integrand contains only the partial derivatives, never itself. Adding changes neither nor , so over the same disk has the same integrand over the same region and hence the same area — as it must, since a vertical translation is a rigid motion.
For the partials double: , , and the factor becomes . Since everywhere, with strict inequality except at the origin, monotonicity of the double integral makes the new area larger. Computing it, with , ,
Indeed .
- 8.Computation
Let be the solid bounded by the parabolic cylinder , the plane and the plane .
- (a)Identify the floor and the ceiling of , determine its shadow on the -plane from where they meet, and write the volume of as an iterated integral with innermost. Evaluate it.
- (b)Rewrite the volume as an iterated integral in the order , explaining how each pair of limits is found, and evaluate it to confirm (a).
Solution
(a) Floor, ceiling, shadow. The plane is , and the solid lies between it and . Since exactly when , the floor is , the ceiling is , and they meet along the line of the -plane. The parabolic cylinder is vertical and supplies the other side of the shadow, . So
the region between the parabola and the line , whose ends are at (where ). The shadow is not a choice: the ceiling drops to height zero exactly along , and a larger shadow would count negative heights.
Inner integral: . This is even in , so
Sanity check: the shadow has area and the height lies between and , so . The height is only along and falls to along , so a value under half of that bound is right.
(b) The order . With innermost, project onto the -plane. The conditions on that do not involve are and, because , ; together they give the triangle , , with corners , and . For a fixed in that triangle the only remaining constraint is , so the pencil parallel to the -axis enters at and leaves at . The parabola, which bounded the old shadow, now sits in the innermost limits, while the plane, the old ceiling, now bounds the projection:
Then
in agreement with (a). Both descriptions pass the shape test: outer limits constant, middle limits depending only on the outer variable, inner limits on the outer two.
- 9.Computation
Let be the solid that lies above the cone and below the paraboloid .
- (a)Find the curve along which the two surfaces meet, and use it to describe in cylindrical coordinates. Say which surface is the floor and which the ceiling, and how you know.
- (b)Find the volume of .
- (c)Find the height of the centroid of (constant density).
Solution
(a) Where the surfaces meet. In cylindrical coordinates the cone is and the paraboloid is . They meet where , that is ; since the only solution is , at height . The curve of intersection is the circle in the plane , and the shadow of is the disk .
Inside that disk the paraboloid is on top: at it is at height while the cone is at , and two continuous heights that agree only at cannot change order before then. So the floor is the cone and the ceiling the paraboloid:
(b) Volume. With ,
so
Sanity check by cutting along the plane . Below it, is the solid cone with base radius and height , volume . Above it, is the paraboloid cap , which fills half of its circumscribed cylinder of radius and height , volume . Total .
(c) Height of the centroid. With constant density, . The inner integral now has integrand :
since . Hence
Sanity check: spans , and the cap above carries three quarters of the volume, so should be comfortably above and well below . The cut from (b) pins it down: the cone (volume ) has its centroid three quarters of the way up from its apex, at , and the paraboloid cap (volume ) has its centroid two thirds of the way from its vertex at to its base, at — both are short computations of the same kind as this one. Combining,
- 10.Computation
Consider
- (a)Read off the solid from the limits: name each bounding surface, find where the two -surfaces meet, and check that the curve of intersection agrees with the shadow the outer limits describe. Then describe in spherical coordinates.
- (b)Evaluate in spherical coordinates, writing the volume element in full.
- (c)Find the volume of and hence the height of its centroid, exactly. Explain why the value is plausible by comparing with the cone of height that it contains.
Solution
(a) Reading the limits. The outer two limits, and , describe the unit disk : the shadow of . The inner limits run from , the upper half of the cone , up to , the upper hemisphere of the sphere . Cone and sphere meet where and together, so : the circle at height , whose projection is exactly the unit disk. The shadow is consistent with the surfaces, and is the solid inside the sphere of radius and above the cone.
In spherical coordinates the sphere is , and on the cone gives , so the cone is ; above the cone means smaller . Hence
a spherical wedge with constant limits.
(b) The integral. With and , the integrand is a product and all limits are constant, so
The three factors are , then , then . So
Cross-check in cylindrical coordinates, where is , :
(c) Volume and centroid height. Integrate over the same wedge:
using and . Then
rationalising with .
Plausibility: is the solid cone of height (apex at the origin, base the unit circle at ) with a spherical cap on top reaching . The cone alone has volume and centroid height ; the cap adds volume lying entirely above . So must lie between and , and somewhat under since the cone is the larger piece — which is exactly where sits.
- 11.Critique
A student is asked for the area of the parallelogram bounded by the lines , , and , and writes:
Step 1. Put and . The four sides become , , and , so corresponds to the rectangle in the -plane, of area .
Step 2. The Jacobian is .
Step 3. By the change of variables theorem, . An area cannot be negative, so .
Step 1 is correct. The rest is not.
- (a)There are two separate errors. Identify each one, name the theorem or proposition it violates, and say what the correct step is. Then give the correct area.
- (b)Find the four vertices of and compute its area directly, as a parallelogram, to settle the matter.
- (c)Use the corrected change of variables to evaluate exactly, and check it against a plausibility bound.
Solution
(a) The two errors.
Step 2 computes the wrong Jacobian. The change of variables theorem, applied to the map , needs — the derivative of the map from the new variables to the old. What the student computed is the Jacobian of the inverse map, . By the proposition on the Jacobian of the inverse transformation the two are reciprocals, so the factor that belongs in the integral is
Direct check: solving the two equations, and , and . The student's factor is nine times too large.
Step 3 drops the absolute value and then patches the sign by hand. The theorem's factor is ; a negative Jacobian simply means reverses orientation, and the absolute value is part of the statement, not an afterthought. "An area cannot be negative, so flip the sign" is not a step of any theorem — it happens to produce a positive number, but for a reason the argument never supplies.
Corrected computation:
(b) Directly from the vertices. Solve the sides in pairs. with gives ; with gives ; with gives ; with gives . From the first vertex the two edges are
and the area of the parallelogram is the absolute value of the determinant they span:
This confirms and shows how far off was: the parallelogram fits inside the rectangle of area , so was impossible on sight.
(c) The integral. In the new variables the integrand is , continuous on because there; is one-to-one with continuous partial derivatives and nonzero Jacobian, so the theorem applies:
Plausibility: on the integrand lies between and , and , so the integral must lie in . It does. With the student's factor of in place of the answer would have been , outside that range — a bound of this kind catches the error before any Jacobian is recomputed.
- 12.Proof
In every part, state the hypotheses of the change of variables theorem (one-to-one, continuous partial derivatives, nonzero Jacobian) and verify them for the transformation you use before applying the conclusion. A region is symmetric about the -axis if implies .
- (a)Let be symmetric about the -axis and let be continuous on with . Prove, using the change of variables theorem with , that . Deduce that the centroid of lies on the -axis.
- (b)Now suppose instead that on the same , and let . Prove that .
- (c)Let and . For any region with centroid , prove that has area and centroid .
Solution
(a) An odd integrand over a symmetric region. Let . Its components , have continuous (constant) partial derivatives; is one-to-one on the whole plane, being its own inverse; and its Jacobian is
Take . The symmetry hypothesis says ; applying it to the image, , so maps onto . All hypotheses hold with , and is continuous on , so the theorem gives
using and linearity. A number equal to its own negative is , so .
Centroid. With density , where . The function is continuous and satisfies , so by what was just proved , hence : the centroid lies on the -axis. (The same holds for any density with , since then is odd in .)
(b) An even integrand. Put . Then , and the two pieces overlap only along the part of the -axis inside , a boundary curve, so
The same maps onto : if then by symmetry and , so ; conversely every is with . The hypotheses on were verified in (a), so with and ,
now using . Substituting into the sum, .
(c) Scaling. Let with and put . The components have constant partial derivatives; is one-to-one, with inverse ; and
Area. Apply the theorem to :
Centroid. Apply it to , for which :
Dividing, . The identical computation with gives and . So has centroid : the balance point scales with the figure, as it should for a photograph enlarged times.
As a check, the half-disk of radius is the image of the unit half-disk under this with , and its centroid is indeed times — and (a) is why the first coordinate is without any integral being computed.