MA 261 - Lesson 19: Double Integrals over General Regions (Section 16.2)

Page 1

Page 1: Review of double integrals over rectangular regions, showing the rectangle R = [a,b] x [c,d] with two methods of iterated integration
Original handwritten page 1

Review: Double Integrals over Rectangular Regions

Last time we studied \(\displaystyle \iint_R f(x,y)\,dA\), where \(\displaystyle R\) is a rectangular region \(\displaystyle R = [a, b] \times [c, d]\).

Diagram Description: A rectangular region \(\displaystyle R\) is shown in the \(\displaystyle xy\)-plane. The rectangle has corners at \(\displaystyle (a, c)\), \(\displaystyle (b, c)\), \(\displaystyle (b, d)\), and \(\displaystyle (a, d)\). A vertical green line at a fixed \(\displaystyle x\)-value shows a cross-section from \(\displaystyle y = c\) to \(\displaystyle y = d\), illustrating integration with respect to \(\displaystyle y\) first. A horizontal blue line at a fixed \(\displaystyle y\)-value shows a cross-section from \(\displaystyle x = a\) to \(\displaystyle x = b\), illustrating integration with respect to \(\displaystyle x\) first.

There are two ways to evaluate this integral using iterated integrals:

Method 1: Fix \(\displaystyle x\), integrate with respect to \(\displaystyle y\) first on \(\displaystyle c \leq y \leq d\):

\[\iint_R f(x,y)\,dA = \int_a^b \int_c^d f(x,y)\,dy\,dx\]

Method 2: Fix \(\displaystyle y\), integrate with respect to \(\displaystyle x\) first on \(\displaystyle a \leq x \leq b\):

\[\iint_R f(x,y)\,dA = \int_c^d \int_a^b f(x,y)\,dx\,dy\]

Page 2

Page 2: Review example evaluating the double integral of y sin(xy) over R = [1,2] x [0,pi], showing two approaches with the right-hand side computed step by step
Original handwritten page 2

Review Example

Example: Evaluate \(\displaystyle \iint_R y\sin(xy)\,dA\), where \(\displaystyle R = [1, 2] \times [0, \pi]\)

Solution:

We can set up this integral two ways. The left-hand approach, \(\displaystyle \int_1^2 \int_0^\pi y\sin(xy)\,dy\,dx\), would require integration by parts and is more difficult.

Instead, consider integrating with respect to \(\displaystyle x\) first:

\[\iint_R y\sin(xy)\,dA = \int_0^\pi \int_1^2 y\sin(xy)\,dx\,dy\]

Evaluating the inner integral with respect to \(\displaystyle x\). Since \(\displaystyle \int y\sin(xy)\,dx = -\cos(xy)\) (treating \(\displaystyle y\) as constant):

\[= \int_0^\pi \left[-\cos(xy)\right]_{x=1}^{x=2}\,dy = \int_0^\pi \left[-\cos(2y) + \cos(y)\right]\,dy\]

Now integrating with respect to \(\displaystyle y\):

\[= \left[-\frac{\sin(2y)}{2} + \sin(y)\right]_0^\pi\] \[= \left(-\frac{\sin(2\pi)}{2} + \sin(\pi)\right) - \left(-\frac{\sin(0)}{2} + \sin(0)\right) = 0\]

Page 3

Page 3: Type I Regions definition with three diagrams showing regions bounded by top curve y=g2(x) and bottom curve y=g1(x), with vertical cross-sections illustrated
Original handwritten page 3

Type I Regions (Top and Bottom Curve)

Definition: A Type I region is a region \(\displaystyle D\) in the \(\displaystyle xy\)-plane that lies between two continuous curves \(\displaystyle y = g_1(x)\) (bottom) and \(\displaystyle y = g_2(x)\) (top), for \(\displaystyle a \leq x \leq b\):

\[D = \{(x, y) \mid a \leq x \leq b,\; g_1(x) \leq y \leq g_2(x)\}\]

Diagram Description: Three examples of Type I regions are shown. In each case, the region is bounded above by a curve \(\displaystyle y = g_2(x)\) and below by a curve \(\displaystyle y = g_1(x)\), with vertical boundaries at \(\displaystyle x = a\) and \(\displaystyle x = b\). Green vertical lines at various \(\displaystyle x\)-values show cross-sections from the bottom curve to the top curve. The first example shows a region with smooth concave curves, the second shows an irregular region where the curves dip and rise, and the third shows a region where the boundary has more complex oscillating shapes. In all cases, every vertical line between \(\displaystyle x = a\) and \(\displaystyle x = b\) enters the region through the bottom curve and exits through the top curve.

To evaluate the double integral over a Type I region, fix \(\displaystyle x\) and integrate with respect to \(\displaystyle y\) on \(\displaystyle g_1(x) \leq y \leq g_2(x)\), then integrate with respect to \(\displaystyle x\) on \(\displaystyle a \leq x \leq b\):

Theorem (Double Integral over Type I Region):

\[\iint_D f(x,y)\,dA = \int_a^b \int_{g_1(x)}^{g_2(x)} f(x,y)\,dy\,dx\]

Page 4

Page 4: Type II Regions definition with three diagrams showing regions bounded by left curve x=g1(y) and right curve x=g2(y), with horizontal cross-sections illustrated
Original handwritten page 4

Type II Regions (Right and Left Curve)

Definition: A Type II region is a region \(\displaystyle D\) in the \(\displaystyle xy\)-plane that lies between two continuous curves \(\displaystyle x = g_1(y)\) (left) and \(\displaystyle x = g_2(y)\) (right), for \(\displaystyle c \leq y \leq d\):

\[D = \{(x, y) \mid c \leq y \leq d,\; g_1(y) \leq x \leq g_2(y)\}\]

Diagram Description: Three examples of Type II regions are shown. In each case, the region is bounded on the left by a curve \(\displaystyle x = g_1(y)\) and on the right by a curve \(\displaystyle x = g_2(y)\), with horizontal boundaries at \(\displaystyle y = c\) and \(\displaystyle y = d\). Blue horizontal lines at various \(\displaystyle y\)-values show cross-sections from the left curve to the right curve. The first example shows an hourglass-shaped region with diagonal hatching, the second shows a figure-eight-like region, and the third shows a twisted region. In all cases, every horizontal line between \(\displaystyle y = c\) and \(\displaystyle y = d\) enters the region through the left curve and exits through the right curve.

To evaluate the double integral over a Type II region, fix \(\displaystyle y\) and integrate with respect to \(\displaystyle x\) first on \(\displaystyle g_1(y) \leq x \leq g_2(y)\), then integrate with respect to \(\displaystyle y\) on \(\displaystyle c \leq y \leq d\):

Theorem (Double Integral over Type II Region):

\[\iint_D f(x,y)\,dA = \int_c^d \int_{g_1(y)}^{g_2(y)} f(x,y)\,dx\,dy\]

Page 5

Page 5: Example evaluating the double integral of (x+2y) over D bounded by y=2x^2 and y=1+x^2, with graph showing the two parabolas intersecting at x=-1 and x=1
Original handwritten page 5

Example: Type I Region

Example: Evaluate \(\displaystyle \iint_D (x + 2y)\,dA\), where \(\displaystyle D\) is bounded by \(\displaystyle y = 2x^2\) and \(\displaystyle y = 1 + x^2\)

Diagram Description: The region \(\displaystyle D\) is shown in the \(\displaystyle xy\)-plane. The lower boundary is the parabola \(\displaystyle y = 2x^2\) and the upper boundary is the parabola \(\displaystyle y = 1 + x^2\). These two curves intersect where \(\displaystyle 2x^2 = 1 + x^2\), giving \(\displaystyle x^2 = 1\), so at \(\displaystyle x = -1\) and \(\displaystyle x = 1\). The shaded region between the curves has a lens-like shape. A small blue vertical strip is shown at a representative \(\displaystyle x\)-value, running from the bottom curve \(\displaystyle y = 2x^2\) to the top curve \(\displaystyle y = 1 + x^2\).

Solution:

This is a Type I region. Fix \(\displaystyle x\): the bounds on \(\displaystyle y\) are \(\displaystyle 2x^2 \leq y \leq 1 + x^2\).

Find the \(\displaystyle x\)-bounds by finding the points of intersection of the two curves:

\[2x^2 = 1 + x^2 \implies x^2 = 1 \implies x = -1 \text{ or } x = 1\]

Set up the iterated integral:

\[\iint_D (x + 2y)\,dA = \int_{-1}^{1} \int_{2x^2}^{1+x^2} (x + 2y)\,dy\,dx\]

Evaluating the inner integral:

\[= \int_{-1}^{1} \left[xy + y^2\right]_{y=2x^2}^{y=1+x^2}\,dx\] \[= \int_{-1}^{1} \left[\left(x(1+x^2) + (1+x^2)^2\right) - \left(x(2x^2) + (2x^2)^2\right)\right]\,dx\]

This simplifies to:

\[= \int_{-1}^{1} \left[-3x^4 - x^3 + 2x^2 + x + 1\right]\,dx\]

Since \(\displaystyle -x^3\) and \(\displaystyle x\) are odd functions, they integrate to zero on \(\displaystyle [-1, 1]\). The remaining even function terms give:

\[= 2\int_0^1 \left(-3x^4 + 2x^2 + 1\right)\,dx = 2\left[-\frac{3x^5}{5} + \frac{2x^3}{3} + x\right]_0^1 = 2\left(-\frac{3}{5} + \frac{2}{3} + 1\right) = 2 \cdot \frac{16}{15} = \frac{32}{15}\]

Page 6

Page 6: Example evaluating the double integral of xy over D bounded by y=x-1 and y^2=2x+6, with graph showing the line and parabola intersecting at y=-2 and y=4
Original handwritten page 6

Example: Type II Region

Example: Evaluate \(\displaystyle \iint_D xy\,dA\), where \(\displaystyle D\) is bounded by \(\displaystyle y = x - 1\) and \(\displaystyle y^2 = 2x + 6\)

Diagram Description: The region \(\displaystyle D\) is shown in the \(\displaystyle xy\)-plane. The boundary consists of the line \(\displaystyle y = x - 1\) (equivalently \(\displaystyle x = y + 1\)) and the parabola \(\displaystyle y^2 = 2x + 6\) (equivalently \(\displaystyle x = \frac{y^2 - 6}{2}\)). The parabola opens to the right and the line rises with slope 1. They intersect at the points where \(\displaystyle y = -2\) and \(\displaystyle y = 4\). Blue horizontal lines show cross-sections from the left boundary (parabola) to the right boundary (line). The region is enclosed between these two curves, with diagonal hatching indicating the area of integration.

Solution:

This region is best described as a Type II region. Fix \(\displaystyle y\): the left boundary is \(\displaystyle x = \frac{y^2 - 6}{2}\) (from the parabola) and the right boundary is \(\displaystyle x = y + 1\) (from the line).

Find the bounds for \(\displaystyle y\) by finding the points of intersection. Setting \(\displaystyle y + 1 = \frac{y^2 - 6}{2}\):

\[2(y + 1) = y^2 - 6 \implies y^2 - 2y - 8 = 0 \implies (y - 4)(y + 2) = 0\]

So \(\displaystyle y = -2\) and \(\displaystyle y = 4\).

Set up the iterated integral:

\[\iint_D xy\,dA = \int_{-2}^{4} \int_{\frac{y^2-6}{2}}^{y+1} xy\,dx\,dy\]

Evaluating the inner integral with respect to \(\displaystyle x\):

\[= \int_{-2}^{4} \left[\frac{x^2}{2} \cdot y\right]_{x=\frac{y^2-6}{2}}^{x=y+1}\,dy = \int_{-2}^{4} \left[\frac{(y+1)^2 y}{2} - \frac{(y^2-6)^2 y}{8}\right]\,dy\]

Page 7

Page 7: Example of switching order of integration for the integral of sin(y^2), with diagram showing the triangular region bounded by y=x, y=1, x=0
Original handwritten page 7

Switching the Order of Integration

Example: Switch the order of integration and evaluate \(\displaystyle \int_0^1 \int_x^1 \sin(y^2)\,dy\,dx\)

Solution:

First, sketch the region using the bounds given. From the original integral, fix \(\displaystyle x\): we have \(\displaystyle x \leq y \leq 1\) and \(\displaystyle 0 \leq x \leq 1\).

Diagram Description: The region of integration is a triangle in the \(\displaystyle xy\)-plane with vertices at \(\displaystyle (0, 0)\), \(\displaystyle (1, 1)\), and \(\displaystyle (0, 1)\). The line \(\displaystyle y = x\) forms the hypotenuse running from the origin to \(\displaystyle (1,1)\), and the horizontal line \(\displaystyle y = 1\) forms the top edge. The region lies above the line \(\displaystyle y = x\) and below \(\displaystyle y = 1\), for \(\displaystyle 0 \leq x \leq 1\). The region is shaded with diagonal hatching. A green vertical line shows the original order of integration (from \(\displaystyle y = x\) up to \(\displaystyle y = 1\)), while a blue horizontal line shows the new order (from \(\displaystyle x = 0\) to \(\displaystyle x = y\)).

To switch the order, fix \(\displaystyle y\) instead. Reading from the diagram: \(\displaystyle 0 \leq x \leq y\) and \(\displaystyle 0 \leq y \leq 1\).

Important: We switch the order because \(\displaystyle \sin(y^2)\) does not have an elementary antiderivative with respect to \(\displaystyle y\), making the original integral impossible to evaluate directly.

The switched integral becomes:

\[\int_0^1 \int_0^y \sin(y^2)\,dx\,dy\]

Evaluating the inner integral with respect to \(\displaystyle x\):

\[= \int_0^1 \left[x\sin(y^2)\right]_{x=0}^{x=y}\,dy = \int_0^1 y\sin(y^2)\,dy\]

Now use the substitution \(\displaystyle u = y^2\), \(\displaystyle du = 2y\,dy\):

\[= \left[-\frac{\cos(y^2)}{2}\right]_0^1 = -\frac{\cos(1)}{2} + \frac{1}{2} = \frac{1 - \cos(1)}{2}\]

Page 8

Page 8: Example setting up bounds for D bounded by y=-ln(x), y=ln(x), and y=3, showing the region split into two parts for the dy dx order of integration
Original handwritten page 8

Example: Setting Up Bounds for a Complex Region

Example: \(\displaystyle D\) is bounded by \(\displaystyle y = -\ln x\), \(\displaystyle y = \ln x\), and \(\displaystyle y = 3\). Find the bounds to write \(\displaystyle \iint_D f(x,y)\,dy\,dx\).

Diagram Description: The region \(\displaystyle D\) is shown in the \(\displaystyle xy\)-plane bounded by three curves: \(\displaystyle y = \ln x\) rising from the point \(\displaystyle (1, 0)\) upward to the right, \(\displaystyle y = -\ln x\) rising from the point \(\displaystyle (1, 0)\) upward to the left (this curve goes through points like \(\displaystyle (e^{-3}, 3)\)), and the horizontal line \(\displaystyle y = 3\) forming the top boundary. The two logarithmic curves meet at the point \(\displaystyle (1, 0)\). The region extends from \(\displaystyle x = e^{-3}\) on the left to \(\displaystyle x = e^3\) on the right. Blue vertical lines show that the region must be split into two parts at \(\displaystyle x = 1\) because the bottom boundary changes: on the left part (red hatching), the bottom is \(\displaystyle y = -\ln x\); on the right part (pink highlighting), the bottom is \(\displaystyle y = \ln x\).

Solution:

To write \(\displaystyle \iint_D f(x,y)\,dy\,dx\), we fix \(\displaystyle x\) and integrate with respect to \(\displaystyle y\) first. The region requires two separate integrals because the lower boundary changes at \(\displaystyle x = 1\).

Left part (\(\displaystyle e^{-3} \leq x \leq 1\)): The bottom curve is \(\displaystyle y = -\ln x\) and the top is \(\displaystyle y = 3\). Note that \(\displaystyle 3 = -\ln x\) gives \(\displaystyle x = e^{-3}\).

Right part (\(\displaystyle 1 \leq x \leq e^3\)): The bottom curve is \(\displaystyle y = \ln x\) and the top is \(\displaystyle y = 3\). Note that \(\displaystyle 3 = \ln x\) gives \(\displaystyle x = e^3\).

Therefore:

\[\iint_D f(x,y)\,dy\,dx = \int_{e^{-3}}^{1} \int_{-\ln x}^{3} f(x,y)\,dy\,dx + \int_{1}^{e^3} \int_{\ln x}^{3} f(x,y)\,dy\,dx\]

Page 9

Page 9: Continuation showing the same region D with the dx dy order of integration, where fixing y gives a single integral with bounds from x=e^(-y) to x=e^y for 0 <= y <= 3
Original handwritten page 9

Continued: Switching to \(\displaystyle dx\,dy\) Order

Example (continued): How about \(\displaystyle \iint_D f(x,y)\,dx\,dy\)?

Diagram Description: The same region \(\displaystyle D\) from the previous page is shown, now analyzed with horizontal cross-sections (blue lines) instead of vertical ones. For a fixed \(\displaystyle y\)-value between 0 and 3, the horizontal line enters the region through the left boundary at \(\displaystyle x = e^{-y}\) (obtained from \(\displaystyle y = -\ln x\), so \(\displaystyle x = e^{-y}\)) and exits through the right boundary at \(\displaystyle x = e^y\) (obtained from \(\displaystyle y = \ln x\), so \(\displaystyle x = e^y\)). The shaded region has a funnel-like shape that narrows to a cusp at the point \(\displaystyle (1, 0)\) and widens as \(\displaystyle y\) increases toward 3.

Solution:

Fix \(\displaystyle y\) and integrate with respect to \(\displaystyle x\) first. From the boundary curves, we solve for \(\displaystyle x\) in terms of \(\displaystyle y\):

From \(\displaystyle y = \ln x\): \(\displaystyle x = e^y\). From \(\displaystyle y = -\ln x\): \(\displaystyle x = e^{-y}\).

For a fixed \(\displaystyle y\) with \(\displaystyle 0 \leq y \leq 3\), the left boundary is \(\displaystyle x = e^{-y}\) and the right boundary is \(\displaystyle x = e^y\).

Important: Notice that switching to the \(\displaystyle dx\,dy\) order gives a single integral, which is much simpler than the two-part integral needed for the \(\displaystyle dy\,dx\) order. This illustrates the advantage of choosing the right order of integration.

\[\iint_D f(x,y)\,dA = \int_0^3 \int_{e^{-y}}^{e^y} f(x,y)\,dx\,dy\]