CalcPath
ProgressProblem setsFeedback
← Question sheet

Calculus · Solutions

Multiple Integrals

12 questions · about 105 minutes

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 (rdrdθ, ρ2sinϕdρdθdϕ, ∣∂(x,y)/∂(u,v)∣dudv), 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 π, 2​, e and ln3 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. 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.

    1. (a)Evaluate ∬R​(2x+3y2)dA over R=[0,1]×[0,2] twice, once in each order, and confirm that the two results agree.
    2. (b)Evaluate ∬R​xexydA over R=[0,1]×[0,1]. One order is far easier than the other; identify it before you start.
    3. (c)Find the average value of f(x,y)=x2siny over R=[0,2]×[0,π].

    Solution

    (a) Both orders. With y inside, hold x fixed:

    ∫02​(2x+3y2)dy=[2xy+y3]y=0y=2​=4x+8,∫01​(4x+8)dx=[2x2+8x]01​=10.

    With x inside:

    ∫01​(2x+3y2)dx=[x2+3xy2]x=0x=1​=1+3y2,∫02​(1+3y2)dy=[y+y3]02​=10.

    The agreement is Fubini's Theorem: the integrand is continuous on the rectangle, so either iterated integral equals ∬R​fdA=10.

    (b) Integrate in y first. With x fixed, ∂y∂​exy=xexy, so the factor x is exactly what the y-antiderivative needs:

    ∫01​xexydy=[exy]y=0y=1​=ex−1,∫01​(ex−1)dx=[ex−x]01​=(e−1)−1=e−2≈0.718.

    The other order starts with ∫01​xexydx, which needs integration by parts and produces yey​−y2ey−1​; that can only be integrated by recognising it as the derivative of yey−1​. Choosing the order well replaces all of that with two lines.

    (c) Product form, then divide by the area. The integrand is g(x)h(y) on a rectangle, so the integral is a product of single integrals:

    ∬R​x2sinydA=∫02​x2dx∫0π​sinydy=38​⋅2=316​.

    The rectangle has area A(R)=2π, so

    favg​=2π1​⋅316​=3π8​≈0.85.

    Sanity check: 0≤x2siny≤4 on R, and the integrand is small over most of the rectangle (near x=0 and near y=0 and y=π), so an average well below the midpoint 2 is right.

  2. 2.Computation

    Let D be the region bounded by the parabola y=x2 and the line y=x+2.

    1. (a)Find the points where the curves meet, describe D as a type I region, and compute its area as a double integral.
    2. (b)Evaluate ∬D​xdA. Divide the result by the area from (a), say what the quotient represents, and explain from the shape of D why it had to come out as it did.
    3. (c)Explain why D 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 x2=x+2, that is x2−x−2=(x−2)(x+1)=0, so at x=−1 and x=2: the points (−1,1) and (2,4). Between them the line is on top (at x=0 it gives 2>0), so a vertical line at x enters D on the parabola and leaves on the line:

    D={(x,y):−1≤x≤2, x2≤y≤x+2}.

    The area is the integral of 1:

    A(D)=∫−12​∫x2x+2​dydx=∫−12​(x+2−x2)dx=[2x2​+2x−3x3​]−12​=(2+4−38​)−(21​−2+31​)=310​+67​=29​.

    (b) The moment, and what the quotient means. The inner integral simply multiplies the width by x:

    ∬D​xdA=∫−12​x(x+2−x2)dx=∫−12​(x2+2x−x3)dx=[3x3​+x2−4x4​]−12​=38​−125​=1227​=49​.

    (At x=2 the bracket is 38​+4−4=38​; at x=−1 it is −31​+1−41​=125​.)

    The quotient 9/29/4​=21​ is xˉ=My​/m for a lamina of constant density 1 on D: the x-coordinate of the centroid. It had to be 21​ because the vertical width of D,

    w(x)=x+2−x2=49​−(x−21​)2,

    is symmetric about x=21​, the midpoint of −1 and 2. Every strip at 21​+t has a twin of equal area at 21​−t, so the region balances on the line x=21​.

    (c) Two type II pieces. For a type II description a horizontal line at height y must enter and leave D by a single formula each. For 0≤y≤1 the line meets only the parabola, entering at x=−y​ and leaving at x=y​. For 1≤y≤4 it enters on the line, at x=y−2, and leaves on the parabola, at x=y​. The left boundary changes formula at y=1, at the corner (−1,1), so one description will not do:

    D={0≤y≤1, −y​≤x≤y​} ∪ {1≤y≤4, y−2≤x≤y​}.

    Check against (a): the areas of the pieces are ∫01​2y​dy=34​ and

    ∫14​(y​−y+2)dy=[32​y3/2−2y2​+2y]14​=316​−613​=619​,

    and 34​+619​=627​=29​, as before.

  3. 3.Sketch

    Consider I=∫02​∫y/21​cos(x2)dxdy.

    1. (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.
    2. (b)Explain why I cannot be evaluated in the order given.
    3. (c)Reverse the order of integration — write the new limits and justify them from your sketch — and evaluate I exactly.

    Solution

    (a) The region. The limits say 0≤y≤2 and 2y​≤x≤1. The left boundary x=y/2 is the line y=2x through the origin with slope 2; the right boundary is the vertical line x=1; the bottom is y=0; and at y=2 the left and right boundaries meet, since y/2=1 there. So the region is the triangle with corners (0,0), (1,0) and (1,2): it lies below the line y=2x, to the left of x=1 and above the x-axis.

    The sketch must show the three lines labelled y=2x, x=1 and y=0, the shaded triangle between them, the three corners with their coordinates, and a horizontal arrow at some height y running from the slanted line (entry at x=y/2) to the vertical wall (exit at x=1). That arrow is the inner integral as written: at each fixed height, x sweeps from the line to the wall.

    (b) Why the given order is stuck. The inner integral is ∫cos(x2)dx, and cos(x2) has no elementary antiderivative — it is in the same family as sin(y2) and ex2. 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: x runs from 0 to 1, and the vertical line at x enters on the x-axis at y=0 and leaves on the slanted line at y=2x. Hence

    I=∫01​∫02x​cos(x2)dydx=∫01​2xcos(x2)dx.

    The inner integral was trivial because the integrand does not involve y, and it produced the factor 2x that the substitution u=x2, du=2xdx, needs:

    I=[sin(x2)]01​=sin1≈0.841.

    Sanity check: the triangle has area 1, and on it cos(x2) lies between cos1≈0.54 and 1, so I must lie between 0.54 and 1. It does. The tempting wrong reversal ∫y/21​∫02​cos(x2)dydx leaves a y in an outer limit, which is meaningless — the limits change shape, not just position.

  4. 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.

    1. (a)∫01​∫01−x2​​(x2+y2)dydx
    2. (b)∬D​1+x2+y21​dA, where D is the annulus 1≤x2+y2≤3.
    3. (c)∬D​xdA, where D is the disk enclosed by the polar curve r=2cosθ. Check the result against the centroid of D.

    Solution

    (a) A quarter disk. The limits say 0≤x≤1 and 0≤y≤1−x2​: the part of the unit disk in the first quadrant, which in polar coordinates is 0≤r≤1, 0≤θ≤2π​. With x2+y2=r2 and dA=rdrdθ,

    ∫0π/2​∫01​r2⋅rdrdθ=2π​[4r4​]01​=8π​.

    Sanity check: the quarter disk has area 4π​ and the integrand lies between 0 and 1; 8π​ is half the area, which is right for an integrand that is near 0 at the origin and equals 1 on the arc.

    (b) An annulus. D is 1≤r≤3​, 0≤θ≤2π, and the integrand is 1+r21​:

    ∬D​1+x2+y2dA​=∫02π​∫13​​1+r21​rdrdθ.

    The factor r supplied by dA is what the substitution u=1+r2, du=2rdr, needs:

    ∫13​​1+r2rdr​=21​[ln(1+r2)]13​​=21​(ln4−ln2)=21​ln2,

    so the integral is 2π⋅21​ln2=πln2≈2.18.

    Sanity check: the annulus has area π(3−1)=2π, and on it the integrand lies between 41​ and 21​, so the answer must lie between 2π​≈1.57 and π≈3.14.

    (c) The disk r=2cosθ. Multiplying the equation by r gives r2=2rcosθ, that is x2+y2=2x, or (x−1)2+y2=1: the circle of radius 1 centred at (1,0), traced once for −2π​≤θ≤2π​ (outside that range 2cosθ<0, and r is kept non-negative). The ray at angle θ enters at r=0 and leaves at r=2cosθ, and x=rcosθ:

    ∬D​xdA=∫−π/2π/2​∫02cosθ​rcosθ⋅rdrdθ=∫−π/2π/2​cosθ⋅38cos3θ​dθ=38​∫−π/2π/2​cos4θdθ.

    Reduce the power twice: from cos2θ=21+cos2θ​,

    cos4θ=41+2cos2θ+cos22θ​=83​+2cos2θ​+8cos4θ​.

    Over [−2π​,2π​] the terms cos2θ and cos4θ integrate to 2sin2θ​ and 4sin4θ​, both zero at both ends, leaving 83​⋅π. Hence

    ∬D​xdA=38​⋅83π​=π.

    Check: D is a disk of area π whose centroid is its centre (1,0), so ∬D​xdA=xˉA(D)=1⋅π=π. Exactly.

  5. 5.Proof

    Throughout, R=[a,b]×[c,d] is a closed rectangle and f is continuous on R. You may use the properties of the double integral (linearity, monotonicity, and the bounds mA(R)≤∬R​fdA≤MA(R) when m≤f≤M), the Extreme Value Theorem and the Intermediate Value Theorem, naming each where it is used.

    1. (a)Prove that there is a point (x0​,y0​) in R with ∬R​fdA=f(x0​,y0​)A(R) — a continuous function attains its average value. Say exactly where you use the fact that R is a rectangle rather than an arbitrary region.
    2. (b)Suppose in addition that f≥0 on R and that f(P)>0 at some interior point P of R. Prove that ∬R​fdA>0. Deduce that a continuous f≥0 with ∬R​fdA=0 is identically zero on R.

    Solution

    (a) A continuous function attains its average. Let f​=A(R)1​∬R​fdA be the average value; the claim is that f(x0​,y0​)=f​ for some point of R.

    Step 1: trap the average between the extreme values. R is closed and bounded and f is continuous on it, so by the Extreme Value Theorem f attains a minimum value m at some point P∈R and a maximum value M at some point Q∈R. Since m≤f≤M on R, the bounds property gives mA(R)≤∬R​fdA≤MA(R), and dividing by A(R)>0,

    m≤f​≤M.

    Step 2: connect P to Q inside R. Define g(t)=f(P+t(Q−P)) for 0≤t≤1. The point P+t(Q−P) lies in R for every such t: its x-coordinate is (1−t)xP​+txQ​, which lies between two numbers of [a,b], and likewise its y-coordinate lies in [c,d]. This is where the rectangle is used: the whole segment from P to Q stays inside R 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. g is the composition of the continuous map t↦P+t(Q−P) with the continuous f, so it is continuous on [0,1], with g(0)=f(P)=m and g(1)=f(Q)=M. Because m≤f​≤M, the Intermediate Value Theorem gives t0​∈[0,1] with g(t0​)=f​. (If m=M then f is constant and t0​=0 works.) Setting (x0​,y0​)=P+t0​(Q−P)∈R,

    f(x0​,y0​)=f​,that is∬R​fdA=f(x0​,y0​)A(R). ■

    (b) A positive value forces a positive integral. Write ε=21​f(P)>0. By continuity of f at P there is δ>0 such that ∣f(X)−f(P)∣<ε for every point X of R within distance δ of P; for those X, f(X)>f(P)−ε=21​f(P). Since P is an interior point, we may choose a small closed rectangle R′ centred at P that lies inside R and inside the disk of radius δ about P. On R′, then, f≥21​f(P).

    Now compare the integrals over R′ and over R. Let F be f on R′ and 0 on the rest of R. By the definition of the integral over a general region, ∬R′​fdA=∬R​FdA, and F is integrable because its only discontinuities lie on the four edges of R′. Because f≥0 on R, we have F≤f at every point of R: on R′ the two are equal, and off R′ it is 0≤f. Monotonicity therefore gives

    ∬R​fdA ≥ ∬R​FdA=∬R′​fdA ≥ 21​f(P)A(R′) > 0,

    the second inequality being the lower bound property on R′ with m=21​f(P). ■

    Deduction. Suppose f≥0 is continuous with ∬R​fdA=0. If f were positive at any interior point, the integral would be positive — a contradiction — so f=0 at every interior point. A boundary point of R is a limit of interior points and f is continuous, so f=0 there too. Hence f≡0 on R. Note that (a) alone would not give this: it only produces one point where f equals its average 0.

  6. 6.Computation

    A lamina occupies the quarter disk D={x2+y2≤4, x≥0, y≥0}, and its density at a point is that point's distance from the origin, ρ(x,y)=x2+y2​. Write down the definition of every moment before you compute it.

    1. (a)Find the mass m.
    2. (b)Find the centre of mass (xˉ,yˉ​). Use a symmetry to avoid computing one of the two moments, and say precisely what the symmetry is. Compare the result with the centroid (3π8​,3π8​) of the same quarter disk with constant density, and explain the direction of the difference.
    3. (c)Find the polar moment of inertia I0​ and deduce Ix​ and Iy​. Express I0​ as a multiple of m and compare with the value 21​ma2 for a uniform disk of the same radius a=2.

    Solution

    Throughout, D is 0≤r≤2, 0≤θ≤2π​ in polar coordinates, the density is ρ=r, and dA=rdrdθ — so every integrand carries one factor of r from the density and one from the area element.

    (a) Mass. By definition m=∬D​ρdA:

    m=∫0π/2​∫02​r⋅rdrdθ=2π​[3r3​]02​=2π​⋅38​=34π​.

    (b) Centre of mass. By definition My​=∬D​xρdA and xˉ=My​/m. With x=rcosθ the integrand becomes r3cosθ, a product over a rectangle in the rθ-plane:

    My​=∫0π/2​∫02​rcosθ⋅r⋅rdrdθ=∫02​r3dr∫0π/2​cosθdθ=4⋅1=4,xˉ=4π/34​=π3​.

    The symmetry is the reflection (x,y)↦(y,x) in the line y=x: it maps D onto itself and leaves ρ=x2+y2​ unchanged, while exchanging the integrands xρ and yρ of the two moments. Hence Mx​=My​=4 and yˉ​=π3​ as well:

    (xˉ,yˉ​)=(π3​,π3​)≈(0.955, 0.955).

    Comparison: π3​≈0.955>3π8​≈0.849. 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 y=x — the right direction. The point is inside D, since 2(π3​)2=π218​≈1.82<4.

    (c) Moments of inertia. By definition I0​=∬D​(x2+y2)ρdA, and x2+y2=r2:

    I0​=∫0π/2​∫02​r2⋅r⋅rdrdθ=2π​[5r5​]02​=2π​⋅532​=516π​.

    The same reflection exchanges Ix​=∬D​y2ρdA and Iy​=∬D​x2ρdA, so Ix​=Iy​; since Ix​+Iy​=I0​, each equals 58π​.

    In terms of the mass, I0​=4π/316π/5​m=512​m=2.4m. A uniform disk of radius a=2 has I0​=21​ma2=2m, and so does a uniform quarter disk — the ratio I0​/m 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 r, and I0​ weights mass by r2.

  7. 7.Computation

    Find each surface area exactly. In every part write the stretch factor 1+zx2​+zy2​​ explicitly before integrating.

    1. (a)The part of the surface z=32​(x3/2+y3/2) that lies above the square [0,1]×[0,1].
    2. (b)The part of the saddle z=xy that lies inside the cylinder x2+y2=1.
    3. (c)Without integrating, decide whether the surface z=xy+5 over the same disk has the same area as in (b), and whether z=2xy over the same disk has a larger or a smaller area. Justify both from the formula, then compute the area of z=2xy to confirm.

    Solution

    (a) A square base. zx​=x1/2 and zy​=y1/2, so the stretch factor is

    1+zx2​+zy2​​=1+x+y​.

    Over the unit square,

    A=∫01​∫01​1+x+y​dydx=∫01​[32​(1+x+y)3/2]y=0y=1​dx=32​∫01​[(2+x)3/2−(1+x)3/2]dx.

    Each term integrates by the power rule, the exponent rising to 25​:

    A=32​⋅52​[(2+x)5/2−(1+x)5/2]01​=154​[(35/2−25/2)−(25/2−1)]=154​(93​−82​+1)≈1.41,

    using 35/2=93​ and 25/2=42​.

    Sanity check: the stretch factor runs from 1 at the origin to 3​ at (1,1) over a base of area 1, so 1<A<3​≈1.73.

    (b) The saddle over a disk. zx​=y and zy​=x, so the factor is 1+x2+y2​=1+r2​. Region and integrand both ask for polar coordinates:

    A=∫02π​∫01​1+r2​rdrdθ=2π[31​(1+r2)3/2]01​=32π​(22​−1)≈3.83,

    the r from dA being exactly what the substitution u=1+r2, du=2rdr, requires.

    Sanity check: the factor lies between 1 and 2​ over a disk of area π, so π<A<π2​≈4.44.

    (c) Shifting and steepening. The surface-area integrand contains only the partial derivatives, never z itself. Adding 5 changes neither zx​ nor zy​, so z=xy+5 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 z=2xy the partials double: zx​=2y, zy​=2x, and the factor becomes 1+4r2​. Since 1+4r2​≥1+r2​ everywhere, with strict inequality except at the origin, monotonicity of the double integral makes the new area larger. Computing it, with u=1+4r2, du=8rdr,

    A′=∫02π​∫01​1+4r2​rdrdθ=2π⋅81​⋅32​[(1+4r2)3/2]01​=6π​(55​−1)≈5.33.

    Indeed 5.33>3.83.

  8. 8.Computation

    Let E be the solid bounded by the parabolic cylinder y=x2, the plane y+z=4 and the plane z=0.

    1. (a)Identify the floor and the ceiling of E, determine its shadow D on the xy-plane from where they meet, and write the volume of E as an iterated integral with z innermost. Evaluate it.
    2. (b)Rewrite the volume as an iterated integral in the order dxdzdy, explaining how each pair of limits is found, and evaluate it to confirm (a).

    Solution

    (a) Floor, ceiling, shadow. The plane y+z=4 is z=4−y, and the solid lies between it and z=0. Since 4−y≥0 exactly when y≤4, the floor is z=0, the ceiling is z=4−y, and they meet along the line y=4 of the xy-plane. The parabolic cylinder y=x2 is vertical and supplies the other side of the shadow, y≥x2. So

    D={(x,y):−2≤x≤2, x2≤y≤4},

    the region between the parabola and the line y=4, whose ends are at x=±2 (where x2=4). The shadow is not a choice: the ceiling drops to height zero exactly along y=4, and a larger shadow would count negative heights.

    V=∫−22​∫x24​∫04−y​dzdydx=∫−22​∫x24​(4−y)dydx.

    Inner integral: [4y−2y2​]y=x2y=4​=(16−8)−(4x2−2x4​)=8−4x2+2x4​. This is even in x, so

    V=2∫02​(8−4x2+2x4​)dx=2[8x−34x3​+10x5​]02​=2(16−332​+516​)=2⋅15240−160+48​=15256​≈17.1.

    Sanity check: the shadow has area ∫−22​(4−x2)dx=332​ and the height 4−y lies between 0 and 4, so 0<V<3128​≈42.7. The height is 4 only along y=0 and falls to 0 along y=4, so a value under half of that bound is right.

    (b) The order dxdzdy. With x innermost, project E onto the yz-plane. The conditions on (y,z) that do not involve x are 0≤z≤4−y and, because y≥x2≥0, y≥0; together they give the triangle 0≤y≤4, 0≤z≤4−y, with corners (y,z)=(0,0), (4,0) and (0,4). For a fixed (y,z) in that triangle the only remaining constraint is x2≤y, so the pencil parallel to the x-axis enters at x=−y​ and leaves at x=y​. The parabola, which bounded the old shadow, now sits in the innermost limits, while the plane, the old ceiling, now bounds the projection:

    V=∫04​∫04−y​∫−y​y​​dxdzdy=∫04​∫04−y​2y​dzdy=∫04​2y​(4−y)dy.

    Then

    V=∫04​(8y1/2−2y3/2)dy=[316​y3/2−54​y5/2]04​=316​⋅8−54​⋅32=3128​−5128​=15256​,

    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. 9.Computation

    Let E be the solid that lies above the cone z=x2+y2​ and below the paraboloid z=6−x2−y2.

    1. (a)Find the curve along which the two surfaces meet, and use it to describe E in cylindrical coordinates. Say which surface is the floor and which the ceiling, and how you know.
    2. (b)Find the volume of E.
    3. (c)Find the height zˉ of the centroid of E (constant density).

    Solution

    (a) Where the surfaces meet. In cylindrical coordinates the cone is z=r and the paraboloid is z=6−r2. They meet where r=6−r2, that is r2+r−6=(r+3)(r−2)=0; since r≥0 the only solution is r=2, at height z=2. The curve of intersection is the circle x2+y2=4 in the plane z=2, and the shadow of E is the disk r≤2.

    Inside that disk the paraboloid is on top: at r=0 it is at height 6 while the cone is at 0, and two continuous heights that agree only at r=2 cannot change order before then. So the floor is the cone and the ceiling the paraboloid:

    E={(r,θ,z):0≤θ≤2π, 0≤r≤2, r≤z≤6−r2}.

    (b) Volume. With dV=rdzdrdθ,

    V=∫02π​∫02​∫r6−r2​rdzdrdθ=2π∫02​(6−r2−r)rdr=2π∫02​(6r−r3−r2)dr,

    so

    V=2π[3r2−4r4​−3r3​]02​=2π(12−4−38​)=2π⋅316​=332π​≈33.5.

    Sanity check by cutting along the plane z=2. Below it, E is the solid cone r≤z≤2 with base radius 2 and height 2, volume 31​π⋅4⋅2=38π​. Above it, E is the paraboloid cap 2≤z≤6−r2, which fills half of its circumscribed cylinder of radius 2 and height 4, volume 8π. Total 38π​+8π=332π​.

    (c) Height of the centroid. With constant density, zˉ=V1​∭E​zdV. The inner integral now has integrand z:

    ∭E​zdV=∫02π​∫02​∫r6−r2​zrdzdrdθ=2π∫02​2(6−r2)2−r2​rdr=π∫02​(36−13r2+r4)rdr,

    since (6−r2)2−r2=36−12r2+r4−r2. Hence

    ∭E​zdV=π[18r2−413r4​+6r6​]02​=π(72−52+332​)=392π​,zˉ=32π/392π/3​=823​=2.875.

    Sanity check: E spans 0≤z≤6, and the cap above z=2 carries three quarters of the volume, so zˉ should be comfortably above 2 and well below 6. The cut from (b) pins it down: the cone (volume 38π​) has its centroid three quarters of the way up from its apex, at z=23​, and the paraboloid cap (volume 8π) has its centroid two thirds of the way from its vertex at z=6 to its base, at z=6−38​=310​ — both are short computations of the same kind as this one. Combining,

    zˉ=332π​38π​⋅23​+8π⋅310​​=332π​4π+380π​​=3292​=823​.

  10. 10.Computation

    Consider J=∫−11​∫−1−x2​1−x2​​∫x2+y2​2−x2−y2​​zdzdydx.

    1. (a)Read off the solid E from the limits: name each bounding surface, find where the two z-surfaces meet, and check that the curve of intersection agrees with the shadow the outer limits describe. Then describe E in spherical coordinates.
    2. (b)Evaluate J in spherical coordinates, writing the volume element in full.
    3. (c)Find the volume of E and hence the height zˉ of its centroid, exactly. Explain why the value is plausible by comparing E with the cone of height 1 that it contains.

    Solution

    (a) Reading the limits. The outer two limits, −1≤x≤1 and −1−x2​≤y≤1−x2​, describe the unit disk x2+y2≤1: the shadow of E. The inner limits run from z=x2+y2​, the upper half of the cone z2=x2+y2, up to z=2−x2−y2​, the upper hemisphere of the sphere x2+y2+z2=2. Cone and sphere meet where z2=x2+y2 and x2+y2+z2=2 together, so 2(x2+y2)=2: the circle x2+y2=1 at height z=1, whose projection is exactly the unit disk. The shadow is consistent with the surfaces, and E is the solid inside the sphere of radius 2​ and above the cone.

    In spherical coordinates the sphere is ρ=2​, and on the cone z=r gives tanϕ=zr​=1, so the cone is ϕ=4π​; above the cone means smaller ϕ. Hence

    E={0≤ρ≤2​, 0≤θ≤2π, 0≤ϕ≤4π​},

    a spherical wedge with constant limits.

    (b) The integral. With z=ρcosϕ and dV=ρ2sinϕdρdθdϕ, the integrand is a product and all limits are constant, so

    J=∫0π/4​∫02π​∫02​​ρcosϕ⋅ρ2sinϕdρdθdϕ=∫02​​ρ3dρ∫02π​dθ∫0π/4​sinϕcosϕdϕ.

    The three factors are [4ρ4​]02​​=44​=1, then 2π, then [2sin2ϕ​]0π/4​=21​⋅21​=41​. So

    J=1⋅2π⋅41​=2π​.

    Cross-check in cylindrical coordinates, where E is 0≤r≤1, r≤z≤2−r2​:

    J=2π∫01​2(2−r2)−r2​rdr=π∫01​(2r−2r3)dr=π(1−21​)=2π​.

    (c) Volume and centroid height. Integrate 1 over the same wedge:

    V=∫02​​ρ2dρ∫02π​dθ∫0π/4​sinϕdϕ=322​​⋅2π⋅(1−22​​)=342​π​−34π​=34π​(2​−1)≈1.73,

    using (2​)3=22​ and [−cosϕ]0π/4​=1−22​​. Then

    zˉ=VJ​=34π​(2​−1)π/2​=8(2​−1)3​=83(2​+1)​≈0.905,

    rationalising with (2​−1)(2​+1)=1.

    Plausibility: E is the solid cone of height 1 (apex at the origin, base the unit circle at z=1) with a spherical cap on top reaching z=2​≈1.41. The cone alone has volume 3π​≈1.05 and centroid height 43​; the cap adds volume ≈0.69 lying entirely above z=1. So zˉ must lie between 43​ and 2​, and somewhat under 1 since the cone is the larger piece — which is exactly where 0.905 sits.

  11. 11.Critique

    A student is asked for the area of the parallelogram R bounded by the lines x+y=1, x+y=3, x−2y=0 and x−2y=2, and writes:

    Step 1. Put u=x+y and v=x−2y. The four sides become u=1, u=3, v=0 and v=2, so R corresponds to the rectangle S=[1,3]×[0,2] in the uv-plane, of area 4.

    Step 2. The Jacobian is ∂(x,y)∂(u,v)​=​11​1−2​​=−3.

    Step 3. By the change of variables theorem, A(R)=∬S​(−3)dudv=−12. An area cannot be negative, so A(R)=12.

    Step 1 is correct. The rest is not.

    1. (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.
    2. (b)Find the four vertices of R and compute its area directly, as a parallelogram, to settle the matter.
    3. (c)Use the corrected change of variables to evaluate ∬R​x+yx−2y​dA 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 T:S→R, needs ∂(u,v)∂(x,y)​ — the derivative of the map from the new variables to the old. What the student computed is the Jacobian of the inverse map, ∂(x,y)∂(u,v)​. By the proposition on the Jacobian of the inverse transformation the two are reciprocals, so the factor that belongs in the integral is

    ∂(u,v)∂(x,y)​=−31​=−31​.

    Direct check: solving the two equations, y=3u−v​ and x=32u+v​, and ​32​31​​31​−31​​​=−92​−91​=−31​. 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 ​∂(u,v)∂(x,y)​​; a negative Jacobian simply means T 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:

    A(R)=∬S​​−31​​dudv=31​A(S)=31​⋅4=34​.

    (b) Directly from the vertices. Solve the sides in pairs. x+y=1 with x−2y=0 gives (32​,31​); x+y=1 with x−2y=2 gives (34​,−31​); x+y=3 with x−2y=2 gives (38​,31​); x+y=3 with x−2y=0 gives (2,1). From the first vertex the two edges are

    a=(34​,−31​)−(32​,31​)=(32​,−32​),b=(2,1)−(32​,31​)=(34​,32​),

    and the area of the parallelogram is the absolute value of the determinant they span:

    ​32​⋅32​−(−32​)⋅34​​=94​+98​=912​=34​.

    This confirms 34​ and shows how far off 12 was: the parallelogram fits inside the rectangle [32​,38​]×[−31​,1] of area 38​, so 12 was impossible on sight.

    (c) The integral. In the new variables the integrand is uv​, continuous on S because u≥1 there; T is one-to-one with continuous partial derivatives and nonzero Jacobian, so the theorem applies:

    ∬R​x+yx−2y​dA=∬S​uv​⋅31​dudv=31​∫13​udu​∫02​vdv=31​⋅ln3⋅2=32​ln3≈0.73.

    Plausibility: on R the integrand uv​ lies between 0 and 12​=2, and A(R)=34​, so the integral must lie in [0,38​]. It does. With the student's factor of 3 in place of 31​ the answer would have been 6ln3≈6.6, outside that range — a bound of this kind catches the error before any Jacobian is recomputed.

  12. 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 D is symmetric about the y-axis if (x,y)∈D implies (−x,y)∈D.

    1. (a)Let D be symmetric about the y-axis and let f be continuous on D with f(−x,y)=−f(x,y). Prove, using the change of variables theorem with T(u,v)=(−u,v), that ∬D​fdA=0. Deduce that the centroid of D lies on the y-axis.
    2. (b)Now suppose instead that f(−x,y)=f(x,y) on the same D, and let D+​=D∩{x≥0}. Prove that ∬D​fdA=2∬D+​​fdA.
    3. (c)Let k>0 and T(u,v)=(ku,kv). For any region S with centroid (uˉ,vˉ), prove that T(S) has area k2A(S) and centroid (kuˉ,kvˉ).

    Solution

    (a) An odd integrand over a symmetric region. Let T(u,v)=(−u,v). Its components x=−u, y=v have continuous (constant) partial derivatives; T is one-to-one on the whole plane, being its own inverse; and its Jacobian is

    ∂(u,v)∂(x,y)​=​−10​01​​=−1=0,so​∂(u,v)∂(x,y)​​=1.

    Take S=D. The symmetry hypothesis says T(D)⊆D; applying it to the image, D=T(T(D))⊆T(D), so T maps D onto D. All hypotheses hold with S=R=D, and f is continuous on D, so the theorem gives

    ∬D​f(x,y)dA=∬D​f(−u,v)⋅1dudv=∬D​(−f(u,v))dudv=−∬D​fdA,

    using f(−u,v)=−f(u,v) and linearity. A number equal to its own negative is 0, so ∬D​fdA=0. ■

    Centroid. With density 1, xˉ=My​/m where My​=∬D​xdA. The function g(x,y)=x is continuous and satisfies g(−x,y)=−g(x,y), so by what was just proved My​=0, hence xˉ=0: the centroid lies on the y-axis. (The same holds for any density with ρ(−x,y)=ρ(x,y), since then xρ(x,y) is odd in x.)

    (b) An even integrand. Put D−​=D∩{x≤0}. Then D=D+​∪D−​, and the two pieces overlap only along the part of the y-axis inside D, a boundary curve, so

    ∬D​fdA=∬D+​​fdA+∬D−​​fdA.

    The same T maps D+​ onto D−​: if (u,v)∈D+​ then (−u,v)∈D by symmetry and −u≤0, so (−u,v)∈D−​; conversely every (x,y)∈D−​ is T(−x,y) with (−x,y)∈D+​. The hypotheses on T were verified in (a), so with S=D+​ and R=D−​,

    ∬D−​​f(x,y)dA=∬D+​​f(−u,v)⋅1dudv=∬D+​​f(u,v)dudv,

    now using f(−u,v)=f(u,v). Substituting into the sum, ∬D​fdA=2∬D+​​fdA. ■

    (c) Scaling. Let T(u,v)=(ku,kv) with k>0 and put R=T(S). The components have constant partial derivatives; T is one-to-one, with inverse (x,y)↦(x/k,y/k); and

    ∂(u,v)∂(x,y)​=​k0​0k​​=k2>0.

    Area. Apply the theorem to f=1:

    A(R)=∬R​1dA=∬S​1⋅k2dudv=k2A(S).

    Centroid. Apply it to f(x,y)=x, for which f(ku,kv)=ku:

    My​(R)=∬R​xdA=∬S​ku⋅k2dudv=k3∬S​ududv=k3My​(S).

    Dividing, xˉR​=k2A(S)k3My​(S)​=kuˉ. The identical computation with f(x,y)=y gives Mx​(R)=k3Mx​(S) and yˉ​R​=kvˉ. So T(S) has centroid (kuˉ,kvˉ): the balance point scales with the figure, as it should for a photograph enlarged k times. ■

    As a check, the half-disk of radius a is the image of the unit half-disk under this T with k=a, and its centroid (0,3π4a​) is indeed a times (0,3π4​) — and (a) is why the first coordinate is 0 without any integral being computed.

← Back to the question sheet

CalcPath·Free university mathematics

SubjectsProblem setsProgressFeedbackAbout