MAT1052 · Week 13 · Double Integrals Over Rectangular and General Regions

Double integrals: rectangular and general regions

You learn to compute iterated integrals on a rectangular region, to write general regions as type I / type II and set up the limits, to reverse the order of integration, and to compute volume, area and average value with a double integral.

double integraliterated integralFubini's theoremrectangular regiontype I regiontype II regionreversing the order of integrationvolumeareaaverage value

The single-variable integral gave the area under a curve. The double integral gives the volume under a surface: the solid between the surface z=f(x,y)z = f(x,y) and a region DD in the xyxy-plane. The computation technique is surprisingly simple: you take two single-variable integrals nested. The real difficulty is not computing the integral but setting up the limits correctly. The exam on this topic usually has one “evaluate”, one “sketch the region and reverse the order” and one volume or area question.

Golden rules:

  1. In the inner integral the outer variable behaves as a constant. Work from inside out.
  2. The limits of the outer integral are always numbers. The limits of the inner integral may depend on the outer variable.
  3. For a general region, first sketch the region. Find the intersections of the curves, decide which is below and which is above.
  4. If the inner integral cannot be computed (no antiderivative), reverse the order of integration.

Rectangular region and Fubini’s theorem

Let R=[a,b]×[c,d]R = [a,b]\times[c,d]. The double integral is defined as the limit of Riemann sums: divide RR into small rectangles, take a value of ff in each, multiply by the area, add up, make the pieces smaller. If f≥0f\ge0, the result is the volume under the surface.

Fubini’s theorem. If ff is continuous on RR,

∬Rf(x,y) dA=∫ab ⁣ ⁣∫cdf(x,y) dy dx=∫cd ⁣ ⁣∫abf(x,y) dx dy.\iint_Rf(x,y)\,dA = \int_a^b\!\!\int_c^d f(x,y)\,dy\,dx = \int_c^d\!\!\int_a^b f(x,y)\,dx\,dy.

On a rectangle the order is free. Choose whichever is easier.

Intuition. ∫cdf(x,y) dy\int_c^df(x,y)\,dy is the area of the slice formed when you cut the solid with the plane x=x = constant at a fixed value of xx. If you add up (integrate) these areas along xx, you find the volume. It is like slicing a loaf of bread and adding up the areas of the slices.

Example 1. ∫03 ⁣ ⁣∫12x2y dy dx\displaystyle\int_0^3\!\!\int_1^2x^2y\,dy\,dx.

inner (with respect to y, x constant):  ∫_1^2 x²y dy = x² [y²/2]_1^2 = x² (2 - 1/2) = (3/2) x²
outer:                                  ∫_0^3 (3/2) x² dx = (3/2)(9) = 27/2

Since the integrand has the form g(x)h(y)g(x)h(y), the shortcut: (∫03x2dx)(∫12y dy)=9⋅32=272\left(\int_0^3x^2dx\right)\left(\int_1^2y\,dy\right) = 9\cdot\frac32 = \frac{27}{2}.

Example 2 (choosing the order). ∬Rysin⁡(xy) dA\displaystyle\iint_Ry\sin(xy)\,dA, R=[0,π]×[0,1]R = [0,\pi]\times[0,1]. If you integrate with respect to yy first, integration by parts is needed. Integrate with respect to xx first: ∫0πysin⁡(xy) dx=[−cos⁡(xy)]0π=1−cos⁡(πy)\displaystyle\int_0^\pi y\sin(xy)\,dx = \left[-\cos(xy)\right]_0^\pi = 1-\cos(\pi y). Then ∫01(1−cos⁡πy) dy=1−0=1\displaystyle\int_0^1(1-\cos\pi y)\,dy = 1-0 = 1.

TIP · choose the inner variable. If, next to the integrand in the inner integral, there is a factor that is the derivative with respect to the inner variable (in ysin⁡(xy)y\sin(xy), when integrating with respect to xx, yy is the derivative of the inner function), that order is easy. Example 2 and Q3 are based on this idea.

General regions

If the region is not a rectangle, its boundaries are curves. There are two standard forms:

Type I (vertical strips). D={a≤x≤b, g1(x)≤y≤g2(x)}D = \{a\le x\le b,\ g_1(x)\le y\le g_2(x)\}:

∬Df dA=∫ab ⁣ ⁣∫g1(x)g2(x)f(x,y) dy dx.\iint_Df\,dA = \int_a^b\!\!\int_{g_1(x)}^{g_2(x)}f(x,y)\,dy\,dx.

Type II (horizontal strips). D={c≤y≤d, h1(y)≤x≤h2(y)}D = \{c\le y\le d,\ h_1(y)\le x\le h_2(y)\}:

∬Df dA=∫cd ⁣ ⁣∫h1(y)h2(y)f(x,y) dx dy.\iint_Df\,dA = \int_c^d\!\!\int_{h_1(y)}^{h_2(y)}f(x,y)\,dx\,dy.

Template for setting limits

1) SKETCH the region. Compute the intersections of the boundary curves.
2) For type I: draw a vertical arrow inside the region (from bottom to top).
     where the arrow enters → lower limit g1(x);  where it exits → upper limit g2(x)
     the smallest and largest values x takes → outer limits a, b
3) For type II: a horizontal arrow (from left to right). Entry h1(y), exit h2(y).
     the smallest and largest values of y → c, d
4) If the arrow changes boundary inside the region (if the entry/exit curve changes)
     split the integral in two or try the other type.

Example 3. DD: between y=x2y = x^2 and y=2xy = 2x. Intersection x2=2xx^2 = 2x, x=0x = 0 and x=2x = 2. On [0,2][0,2], 2x≥x22x\ge x^2 (test: at x=1x = 1, 2>12>1). ∬Dx dA\displaystyle\iint_Dx\,dA:

Type I: ∫02 ⁣ ⁣∫x22xx dy dx=∫02x(2x−x2) dx=163−4=43.\text{Type I:}\ \int_0^2\!\!\int_{x^2}^{2x}x\,dy\,dx = \int_0^2x(2x-x^2)\,dx = \frac{16}{3}-4 = \frac43.

The same region as type II: yy goes from 00 to 44; y=2x⇒x=y/2y = 2x\Rightarrow x = y/2 (left), y=x2⇒x=yy = x^2\Rightarrow x = \sqrt y (right). ∫04 ⁣ ⁣∫y/2yx dx dy\displaystyle\int_0^4\!\!\int_{y/2}^{\sqrt y}x\,dx\,dy also gives 43\frac43.

Reversing the order of integration

Some integrands have no antiderivative with respect to one variable: ey2e^{y^2}, sin⁡(y3)\sin(y^3), cos⁡(x2)\cos(x^2), sin⁡yy\frac{\sin y}{y}. If such an integral is given with that variable inside, you reverse the order. The job is to rewrite the region as the other type.

Example 4. ∫01 ⁣ ⁣∫y1cos⁡(x2) dx dy\displaystyle\int_0^1\!\!\int_y^1\cos(x^2)\,dx\,dy. cos⁡(x2)\cos(x^2) has no antiderivative with respect to xx.

Given: 0 ≤ y ≤ 1,  y ≤ x ≤ 1     → the triangle with vertices (0,0), (1,0), (1,1)
Sketch. With vertical strips (Type I): 0 ≤ x ≤ 1,  0 ≤ y ≤ x
∫_0^1 ∫_0^x cos(x²) dy dx = ∫_0^1 x cos(x²) dx = [sin(x²)/2]_0^1 = sin(1)/2

The new inner integral ∫0xdy=x\int_0^xdy = x produced a factor, and this factor is exactly what the substitution u=x2u = x^2 needs. In order-reversal questions this “magic” happens almost every time; if it does not, you have set up the limits wrong.

PITFALL · just swapping the limits. Turning ∫01∫y1…dx dy\int_0^1\int_y^1\ldots dx\,dy into ∫y1∫01…dy dx\int_y^1\int_0^1\ldots dy\,dx is meaningless: a variable remains in the limit of the outer integral. Reversing the order always means sketching the region and defining it again.

Area, volume and average value

What do you want?Formula
Area of DD∬D1 dA\iint_D1\,dA
Volume under z=f(x,y)≥0z = f(x,y)\ge0, above DD∬Df dA\iint_Df\,dA
Volume between two surfaces∬D(ftop−fbottom) dA\iint_D(f_{\text{top}}-f_{\text{bottom}})\,dA
Average value1Area(D)∬Df dA\dfrac{1}{\text{Area}(D)}\iint_Df\,dA

Example 5. The volume under the paraboloid z=4−x2−y2z = 4-x^2-y^2 and above the square [0,1]×[0,1][0,1]\times[0,1]: ∫01 ⁣ ⁣∫01(4−x2−y2) dy dx=4−13−13=103\displaystyle\int_0^1\!\!\int_0^1(4-x^2-y^2)\,dy\,dx = 4-\frac13-\frac13 = \frac{10}{3}.

If the region is not given explicitly in a volume question, the curve where the surface meets the xyxy-plane (or the projection of the intersection of two surfaces) is the boundary of the region. In Q9 the plane gives the line 2x+3y=62x+3y = 6 at z=0z = 0, and the base is a triangle.

Common mistakes

WrongCorrect
Putting a variable in the outer limitOuter limits are constants; inner limits may vary
Mixing up the lower and upper curvePick an xx value in between and check
Not computing the intersection pointsThe limits come from the intersections
When reversing the order, only swapping the limitsSketch the region, rewrite as the other type
Misreading the order dy dxdy\,dxThe innermost differential (dydy) is the inner integral
Not holding the outer variable constant in the inner integral∫x2y dy=x2y22\int x^2y\,dy = x^2\frac{y^2}{2}
Not subtracting the lower surface in a volume∬(top−bottom) dA\iint(\text{top}-\text{bottom})\,dA
Not dividing by the area for the average1A∬f dA\frac{1}{A}\iint f\,dA

Test yourself

Exam-style questions. Solve them on paper first, then reveal the answer.

Question 1easy

Evaluate ∫02 ⁣ ⁣∫01(x+2y) dy dx\displaystyle\int_0^2\!\!\int_0^1 (x+2y)\,dy\,dx.

Show answer
44

Inner integral (with respect to yy, xx constant): [xy+y2]01=x+1\left[xy+y^2\right]_0^1 = x+1.
Outer: ∫02(x+1) dx=[x22+x]02=2+2=4\displaystyle\int_0^2(x+1)\,dx = \left[\tfrac{x^2}{2}+x\right]_0^2 = 2+2 = 4.

Question 2easy

Evaluate ∬Rxy2 dA\displaystyle\iint_R xy^2\,dA where R=[0,2]×[1,3]R = [0,2]\times[1,3].

Show answer
52/352/3

The region is a rectangle and the integrand is a product: the integral separates.(∫02x dx)(∫13y2 dy)=2⋅27−13=523\displaystyle\left(\int_0^2x\,dx\right)\left(\int_1^3y^2\,dy\right) = 2\cdot\frac{27-1}{3} = \frac{52}{3}.

Question 3medium

Evaluate ∬Rxexy dA\displaystyle\iint_R xe^{xy}\,dA where R=[0,1]×[0,1]R = [0,1]\times[0,1].

Show answer
e−2e-2

It is easy to integrate with respect to yy first: ∫01xexy dy=[exy]01=ex−1\displaystyle\int_0^1xe^{xy}\,dy = \left[e^{xy}\right]_0^1 = e^x-1.
Outer: ∫01(ex−1) dx=e−1−1=e−2\displaystyle\int_0^1(e^x-1)\,dx = e-1-1 = e-2.
If you had integrated with respect to xx first, integration by parts would have been needed.

Question 4easy

Use a double integral to find the area of the region between y=x2y = x^2 and y=xy = x.

Show answer
1/61/6

Intersection: x2=xx^2 = x, x=0,1x = 0,1. On [0,1][0,1], x≥x2x\ge x^2, so the upper boundary is y=xy = x.∫01 ⁣ ⁣∫x2xdy dx=∫01(x−x2) dx=12−13=16\displaystyle\int_0^1\!\!\int_{x^2}^{x}dy\,dx = \int_0^1(x-x^2)\,dx = \frac12-\frac13 = \frac16.

Question 5medium

Evaluate ∬D(x+y) dA\displaystyle\iint_D (x+y)\,dA where DD is bounded by y=x2y = x^2 and y=2xy = 2x.

Show answer
52/1552/15

The intersection is at x=0,2x = 0,2; in between 2x≥x22x\ge x^2. Type I: ∫02 ⁣ ⁣∫x22x(x+y) dy dx\displaystyle\int_0^2\!\!\int_{x^2}^{2x}(x+y)\,dy\,dx.
Inner: [xy+y22]x22x=2x2+2x2−x3−x42=4x2−x3−x42\left[xy+\tfrac{y^2}{2}\right]_{x^2}^{2x} = 2x^2+2x^2-x^3-\tfrac{x^4}{2} = 4x^2-x^3-\tfrac{x^4}{2}.
Outer: 323−4−3210=160−60−4815=5215\tfrac{32}{3}-4-\tfrac{32}{10} = \tfrac{160-60-48}{15} = \tfrac{52}{15}.

Question 6hard

Evaluate ∫01 ⁣ ⁣∫x1ey2 dy dx\displaystyle\int_0^1\!\!\int_x^1 e^{y^2}\,dy\,dx by reversing the order of integration.

Show answer
e−12\dfrac{e-1}{2}

ey2e^{y^2} has no antiderivative, so reverse the order. The region: 0≤x≤10\le x\le1, x≤y≤1x\le y\le1, that is, the triangle with vertices (0,0)(0,0), (0,1)(0,1), (1,1)(1,1).
Type II: 0≤y≤10\le y\le1, 0≤x≤y0\le x\le y. ∫01 ⁣ ⁣∫0yey2dx dy=∫01yey2dy=[12ey2]01=e−12\displaystyle\int_0^1\!\!\int_0^ye^{y^2}dx\,dy = \int_0^1ye^{y^2}dy = \left[\tfrac12e^{y^2}\right]_0^1 = \frac{e-1}{2}.

Question 7hard

Evaluate ∫04 ⁣ ⁣∫x2sin⁡(y3) dy dx\displaystyle\int_0^4\!\!\int_{\sqrt x}^{2}\sin(y^3)\,dy\,dx.

Show answer
1−cos⁡83≈0.3818\dfrac{1-\cos8}{3}\approx0.3818

The region: 0≤x≤40\le x\le4, x≤y≤2\sqrt x\le y\le2. y=x  ⟺  x=y2y = \sqrt x\iff x = y^2. Type II: 0≤y≤20\le y\le2, 0≤x≤y20\le x\le y^2.∫02 ⁣ ⁣∫0y2sin⁡(y3) dx dy=∫02y2sin⁡(y3) dy\displaystyle\int_0^2\!\!\int_0^{y^2}\sin(y^3)\,dx\,dy = \int_0^2y^2\sin(y^3)\,dy. u=y3u = y^3: 13[−cos⁡u]08=1−cos⁡83\tfrac13\left[-\cos u\right]_0^8 = \tfrac{1-\cos8}{3}.

Question 8medium

Reverse the order of integration: ∫02 ⁣ ⁣∫0x2f(x,y) dy dx\displaystyle\int_0^2\!\!\int_0^{x^2} f(x,y)\,dy\,dx.

Show answer
∫04 ⁣ ⁣∫y2f(x,y) dx dy\displaystyle\int_0^4\!\!\int_{\sqrt y}^{2} f(x,y)\,dx\,dy

The region: 0≤x≤20\le x\le2, 0≤y≤x20\le y\le x^2. Below the parabola, to the left of the line x=2x = 2.
The yy range is from 00 to 44. For a fixed yy, xx goes from the parabola (x=yx = \sqrt y) to the line x=2x = 2.

Question 9medium

Find the volume of the solid in the first octant bounded by the coordinate planes and the plane 2x+3y+z=62x+3y+z = 6.

Show answer
66

z=6−2x−3yz = 6-2x-3y, the base in the xyxy-plane is the triangle 2x+3y≤62x+3y\le6: 0≤x≤30\le x\le3, 0≤y≤6−2x30\le y\le\frac{6-2x}{3}.∫03 ⁣ ⁣∫0(6−2x)/3(6−2x−3y) dy dx\displaystyle\int_0^3\!\!\int_0^{(6-2x)/3}(6-2x-3y)\,dy\,dx. Inner: (6−2x)26\dfrac{(6-2x)^2}{6}. Outer: 16∫03(6−2x)2dx=16⋅36=6\dfrac16\displaystyle\int_0^3(6-2x)^2dx = \frac16\cdot36 = 6.
Check: the volume of the tetrahedron is 16⋅3⋅2⋅6=6\frac16\cdot3\cdot2\cdot6 = 6.

Question 10easy

Find the average value of f(x,y)=xyf(x,y) = xy over the rectangle [0,2]×[0,4][0,2]\times[0,4].

Show answer
22

favg=1Area∬Rf dAf_{avg} = \dfrac{1}{\text{Area}}\iint_Rf\,dA. The integral is (∫02x dx)(∫04y dy)=2⋅8=16\left(\int_0^2x\,dx\right)\left(\int_0^4y\,dy\right) = 2\cdot8 = 16, the area is 88.
The average is 168=2\frac{16}{8} = 2.

Question 11hard

Evaluate ∫0π ⁣ ⁣∫xπsin⁡yy dy dx\displaystyle\int_0^\pi\!\!\int_x^\pi\frac{\sin y}{y}\,dy\,dx.

Show answer
22

sin⁡yy\dfrac{\sin y}{y} has no elementary antiderivative. The region: 0≤x≤y≤π0\le x\le y\le\pi. Type II: 0≤y≤π0\le y\le\pi, 0≤x≤y0\le x\le y.∫0π ⁣ ⁣∫0ysin⁡yydx dy=∫0πsin⁡yy⋅y dy=∫0πsin⁡y dy=2\displaystyle\int_0^\pi\!\!\int_0^y\frac{\sin y}{y}dx\,dy = \int_0^\pi\frac{\sin y}{y}\cdot y\,dy = \int_0^\pi\sin y\,dy = 2.

Question 12medium

Evaluate ∬Dy dA\displaystyle\iint_D y\,dA, where DD is the quarter disk x2+y2≤1x^2+y^2\le1, x≥0x\ge0, y≥0y\ge0, using Cartesian coordinates.

Show answer
1/31/3

Type I: 0≤x≤10\le x\le1, 0≤y≤1−x20\le y\le\sqrt{1-x^2}.
Inner: [y22]01−x2=1−x22\left[\tfrac{y^2}{2}\right]_0^{\sqrt{1-x^2}} = \tfrac{1-x^2}{2}. Outer: 12(1−13)=13\tfrac12\left(1-\tfrac13\right) = \tfrac13.
(Next week we will do the same integral with polar coordinates.)

Verification: All double integrals were computed numerically in node with nested Simpson's rule; in the order-reversal questions it was also checked that the two orders give the same value (verify/MAT1052/13.mjs).

Review card

∬_R f dA = ∫∫ f dy dx = ∫∫ f dx dy (Fubini, rectangle) FROM INSIDE OUT: in the inner integral the other variable is CONSTANT Separable: R rectangle and f = g(x)h(y) → (∫g dx)(∫h dy) TYPE I: a≤x≤b, g1(x)≤y≤g2(x) → ∫_a^b ∫_{g1}^{g2} f dy dx (vertical strip) TYPE II: c≤y≤d, h1(y)≤x≤h2(y) → ∫_c^d ∫_{h1}^{h2} f dx dy (horizontal strip) Inner limits may depend on the outer variable; the OUTER limits are always CONSTANT Setting limits: SKETCH, find the intersections, decide the lower/upper (left/right) curve Reversing the order: sketch the region → rewrite as the other type When? For those with no antiderivative like e^(y²), sin(y³), sin y / y Area = ∬_D 1 dA. Volume = ∬_D (top - bottom) dA Average = (1/Area) ∬ f dA