Double Integrals: General Regions — Double integrals over general regions - Multivariable Calculus

SECTION 1

Historical Context & Motivation

⚠

Prerequisites for This Lesson

This lesson covers double integrals over general regions, a topic from Calculus III / Multivariable Calculus, typically studied after completing single-variable calculus (Calculus I and II). Before working through this material, you should be comfortable with: (1) evaluating definite integrals using the Fundamental Theorem of Calculus, (2) finding antiderivatives of polynomial and basic transcendental functions, and (3) solving simple systems of equations to locate the intersection points of curves. If any of these feel unfamiliar, briefly review single-variable integral calculus before continuing.

Long before computers could model complex shapes, mathematicians needed a way to measure areas, volumes, and accumulated quantities over regions that were not simple rectangles. In single-variable calculus, the definite integral lets you find the area under a curve between two points on the x-axis. But what happens when you need to add up values over a curved patch of the plane — for instance, the mass of an oddly shaped metal plate whose density varies from point to point? That is exactly the problem that double integrals over general regions were developed to solve.

The story begins in the 17th century when mathematicians like Newton and Leibniz formalized single-variable calculus. Over the next two centuries, thinkers such as Euler, Lagrange, and Riemann extended these ideas to functions of multiple variables. The key breakthrough was realizing that a double integral could be computed as two nested single integrals — an iterated integral — where the limits of the inner integral could be functions rather than constants, allowing integration over curved boundaries.

1660s • Birth of Calculus

Newton and Leibniz independently develop the fundamental ideas of differentiation and integration for single-variable functions, establishing the foundation for all future integral calculus.

1760s • Euler & Multiple Integrals

Leonhard Euler begins applying iterated integrals to problems in mechanics and physics, computing volumes and centers of mass for non-rectangular bodies.

1811 • Fourier's Heat Equation

Joseph Fourier uses double integrals over general domains to model heat flow through irregularly shaped plates, demonstrating the practical power of these techniques.

1854 • Riemann's Formal Framework

Bernhard Riemann rigorously defines integration using partitions and limiting sums, providing the mathematical framework that justifies double integrals over arbitrary bounded regions.

The central question this lesson addresses is: How do we set up and evaluate a double integral when the region of integration is not a rectangle? The answer hinges on describing the region's boundaries as functions and using those functions as the limits in an iterated integral.

SECTION 2

Core Principles & Definitions

Before you can evaluate a double integral over a general region, you need to understand several foundational ideas. Recall from single-variable calculus that a definite integral ∫ₐᵇ f(x) dx is evaluated by finding an antiderivative F(x) and computing F(b) − F(a). A double integral extends this idea to two variables: instead of integrating along an interval on the x-axis, you integrate over a two-dimensional region in the xy-plane. In earlier lessons, you may have seen double integrals over rectangles, where the limits of integration are all constants. With general regions, those constant limits are replaced by variable limits that trace the curved or slanted edges of the region.

Type I Region (Vertically Simple)

A region where, for each fixed x-value, y ranges between a lower curve g₁(x) and an upper curve g₂(x). The outer integral runs over x from a to b.

Type II Region (Horizontally Simple)

A region where, for each fixed y-value, x ranges between a left curve h₁(y) and a right curve h₂(y). The outer integral runs over y from c to d.

Iterated Integrals

A double integral is computed as two nested single integrals. You evaluate the inner integral first (treating the other variable as a constant), then evaluate the outer integral — exactly like applying the single-variable Fundamental Theorem of Calculus twice in sequence.

Order of Integration

You can sometimes switch between dy dx and dx dy order. Choosing the right order can make a difficult integral much simpler — or even possible to compute at all.

✦

KEY TAKEAWAY

Think of a double integral over a general region like mowing an irregularly shaped lawn. If you mow in vertical strips (Type I), you start and stop each strip at different points because the lawn's edges are curved. If you mow in horizontal strips (Type II), the left and right edges change with each pass. Either way, you cover the whole lawn — you just describe the boundaries differently depending on the direction you choose.

SECTION 3

Visual Explanation — Type I and Type II Regions

The diagram below shows the same general region D described in two different ways. On the left, the region is treated as a Type I (vertically simple) region: for each x between a and b, vertical slices run from a lower curve to an upper curve. On the right, the same region is treated as a Type II (horizontally simple) region: for each y between c and d, horizontal slices run from a left curve to a right curve.

Left: A Type I region with vertical slices. The dashed yellow line shows a single vertical strip from g₁(x) to g₂(x). Right: The same region viewed as Type II with horizontal slices from h₁(y) to h₂(y). The choice of type determines how you write the limits of integration.

Notice the yellow dashed lines in each diagram. In the Type I view, the dashed line is a vertical strip — its bottom endpoint lies on g₁(x) and its top endpoint lies on g₂(x). As x sweeps from a to b, these strips tile the entire region. In the Type II view, the dashed line is a horizontal strip from h₁(y) on the left to h₂(y) on the right, and y sweeps from c to d. Both approaches cover the same region; they simply describe it using different slicing directions.

SECTION 4

Mathematical Framework

With the visual intuition from the previous section in hand, let's write down the formal expressions. A double integral over a general region D is written as ∬_D f(x, y) dA. The key is to convert this into an iterated integral with the appropriate variable limits.

TYPE I — VERTICALLY SIMPLE

∬_D f(x, y) dA = ∫ₐᵇ ∫_{g₁(x)}^{g₂(x)} f(x, y) dy dx

The outer integral runs x from a to b (constants). The inner integral runs y from the lower boundary g₁(x) to the upper boundary g₂(x) (functions of x). You integrate with respect to y first — treating x as a constant, exactly as in single-variable integration — then integrate the resulting expression with respect to x.

TYPE II — HORIZONTALLY SIMPLE

∬_D f(x, y) dA = ∫_c^d ∫_{h₁(y)}^{h₂(y)} f(x, y) dx dy

The outer integral runs y from c to d (constants). The inner integral runs x from the left boundary h₁(y) to the right boundary h₂(y) (functions of y). You integrate with respect to x first, then with respect to y.

AREA OF A REGION

Area(D) = ∬_D 1 dA

When f(x, y) = 1, the double integral simply gives the area of the region D. This is a useful special case and a great way to check your limits of integration.

⚠

Golden Rule for Limits

The limits on the outer integral must always be constants. The limits on the inner integral can be functions of the outer variable. If you see a function of y in the outer limits of a dy dx integral, something is wrong — go back and re-examine your setup.

SECTION 5

Detailed Breakdown — Setting Up the Limits

The most critical skill in double integrals over general regions is correctly identifying the boundaries and writing the limits of integration. Consider the region bounded by y = x² and y = x. These two curves intersect where x² = x, that is, where x² − x = 0, or x(x − 1) = 0. Solving gives the intersection points x = 0 and x = 1. Setting two curve equations equal and solving for their intersection points is the standard technique for finding the outer limits of integration. Between x = 0 and x = 1, the line y = x lies above the parabola y = x².

The shaded region D is bounded below by the parabola y = x² (pink curve) and above by the line y = x (cyan line). The green dashed segment at x = 0.5 shows a single vertical strip: y ranges from x² = 0.25 up to x = 0.5. As x sweeps from 0 to 1, these strips cover all of D.

Using the Type I setup shown in the diagram, the double integral of some function f(x, y) over this region becomes:

TYPE I SETUP FOR THE EXAMPLE REGION

∬_D f(x, y) dA = ∫₀¹ ∫_{x²}^{x} f(x, y) dy dx

Outer limits: x from 0 to 1 (the x-values where the curves intersect). Inner limits: y from x² (lower curve) to x (upper curve).

You can also set this up as Type II. Solving y = x for x gives x = y, and solving y = x² for x (with x ≥ 0) gives x = √y. For each y between 0 and 1, x runs from the line x = y on the left boundary to the parabola x = √y on the right boundary, since √y > y for 0 < y < 1.

TYPE II SETUP FOR THE SAME REGION

∬_D f(x, y) dA = ∫₀¹ ∫_{y}^{√y} f(x, y) dx dy

Outer limits: y from 0 to 1. Inner limits: x from y (left boundary) to √y (right boundary). Both setups give the same answer.

SECTION 6

Worked Example

Let's compute the double integral of f(x, y) = x + 2y over the region D bounded by y = x² and y = x. We'll use the Type I setup. Each step uses only single-variable antiderivatives (power rule) and arithmetic — the same techniques you would use in a first-semester calculus course, applied twice in sequence.

Evaluate ∬_D (x + 2y) dA where D is bounded by y = x² and y = x

1
Step 1 — Sketch & Identify the Region

The curves y = x² and y = x intersect at x = 0 and x = 1 (set x² = x, so x(x − 1) = 0). Between x = 0 and x = 1, the line y = x is above the parabola y = x². This is a Type I region: x goes from 0 to 1, and for each x, y goes from x² to x.

Region: 0 ≤ x ≤ 1, x² ≤ y ≤ x
2
Step 2 — Write the Iterated Integral

Using the Type I formula, we write the double integral as an iterated integral:

∫₀¹ ∫_{x²}^{x} (x + 2y) dy dx
3
Step 3 — Evaluate the Inner Integral (with respect to y)

Treat x as a constant and integrate (x + 2y) with respect to y. The antiderivative is xy + y². Evaluate from y = x² to y = x: [xy + y²] from y = x² to y = x = (x · x + x²) − (x · x² + (x²)²) = (x² + x²) − (x³ + x⁴) = 2x² − x³ − x⁴.

Inner integral = 2x² − x³ − x⁴
4
Step 4 — Evaluate the Outer Integral (with respect to x)

Now integrate (2x² − x³ − x⁴) with respect to x from 0 to 1: ∫₀¹ (2x² − x³ − x⁴) dx = [2x³/3 − x⁴/4 − x⁵/5] from 0 to 1 = 2/3 − 1/4 − 1/5. Find a common denominator of 60: 2/3 = 40/60, 1/4 = 15/60, 1/5 = 12/60. 40/60 − 15/60 − 12/60 = 13/60.

∬_D (x + 2y) dA = 13/60

💡

Verification Tip

You can verify this result by setting up the same integral in Type II order. The integral becomes ∫₀¹ ∫_{y}^{√y} (x + 2y) dx dy. If you work it out, you should get exactly 13/60 again. Getting the same answer both ways confirms your limits are correct.

SECTION 7

Choosing the Right Order of Integration

In theory, you can set up a double integral in either dy dx or dx dy order and get the same answer. In practice, though, one order is often much easier to compute than the other. Sometimes a particular order leads to an inner integral that has no elementary antiderivative, while the other order yields a straightforward calculation. Other times, the shape of the region makes one description simpler than the other.

Consideration	dy dx (Type I)	dx dy (Type II)
Region shape	Best when the region's upper and lower boundaries are easily expressed as functions of x.	Best when the region's left and right boundaries are easily expressed as functions of y.
Integrand complexity	Preferred when integrating f with respect to y first gives a simpler result.	Preferred when integrating f with respect to x first gives a simpler result.
Multiple sub-regions	May require splitting into two or more integrals if the boundary function changes.	The same region might be a single piece in the other order, avoiding splits.
Classic difficult case	∫∫ $e^{y²}$ dy cannot be computed in closed form; switch to dx dy.	After switching, the inner integral may become $e^{y²}$ dx = x· $e^{y²}$ , which is easy.

Comparison of integration orders

✦

KEY TAKEAWAY

Choosing the order of integration is like choosing which direction to drive through a city. Both routes get you to the same destination, but one might have fewer traffic lights and turns. Before you start computing, spend a moment asking: "If I integrate with respect to y first, can I actually find the antiderivative? Is the region described more simply in the other direction?" A minute of planning can save ten minutes of frustration.

SECTION 8

Connection to Advanced Topics

Double integrals over general regions in Cartesian coordinates are just the starting point of multivariable calculus. As you continue in this course, you'll encounter more powerful tools that build directly on these ideas. Understanding how to set up limits over non-rectangular regions prepares you for everything from polar coordinates to surface integrals.

This Lesson	What Comes Next
Double integrals in Cartesian (x, y) coordinates	Double integrals in polar (r, θ) coordinates — ideal for circular and radial regions
Regions bounded by curves in the plane	Triple integrals over volumes in 3D, with even more complex boundary surfaces
Choosing between dy dx and dx dy	Change of variables with the Jacobian — a generalization of substitution for multiple integrals
Computing area and integrals of functions over 2D regions	Applications: center of mass, moment of inertia, probability distributions, fluid flow

Current vs. upcoming topics

The technique of converting a double integral over a general region into an iterated integral with variable limits is the same fundamental approach used in all these extensions. When you move to polar coordinates, you replace x and y with r and θ and include an extra factor of r — but the logic of describing boundaries as functions and integrating in a nested fashion is identical. Mastering the ideas in this lesson gives you the conceptual scaffolding for every multiple integral technique that follows.

SECTION 9

Practice Problems

Question 1: CONCEPTUAL

Explain in your own words why the inner limits of a double integral over a general region must be functions of the outer variable, while the outer limits must be constants. What would go wrong if the outer limits were functions?

Show answer

The outer integral sweeps across one independent direction (say x from a to b), and these limits define the overall range in that direction — they must be fixed numbers so the sweep has a definite start and end. The inner integral, for each fixed value of the outer variable, traces the region's boundary in the other direction, which generally changes shape, so those limits are functions. If the outer limits were functions, you wouldn't have a well-defined independent range to integrate over, and the iterated integral structure would break down because both sets of limits would depend on each other.

Question 2: BASIC CALCULATION

Set up and evaluate ∬_D 1 dA where D is the region bounded by y = 0, y = x, and x = 2. (This computes the area of D.)

Show answer

The region is a triangle with vertices at (0,0), (2,0), and (2,2). Using Type I: x ranges from 0 to 2, and for each x, y ranges from 0 to x. The integral is ∫₀² ∫₀ˣ 1 dy dx. The inner integral: ∫₀ˣ 1 dy = [y]₀ˣ = x. Then the outer integral: ∫₀² x dx = [x²/2]₀² = 4/2 = 2. The area of the triangular region is 2 square units, which you can verify with the triangle area formula: (1/2)(base)(height) = (1/2)(2)(2) = 2.

Question 3: INTERMEDIATE

Evaluate ∬_D 6x dA where D is the region bounded by y = x² and y = 4. Set up the integral in dy dx order.

Show answer

The parabola y = x² meets y = 4 when x² = 4, so x = −2 and x = 2. For each x in [−2, 2], y runs from x² (lower) to 4 (upper). The integral is ∫₋₂² ∫_{x²}⁴ 6x dy dx. The inner integral: ∫_{x²}⁴ 6x dy = 6x · [y]_{x²}⁴ = 6x(4 − x²) = 24x − 6x³. Now integrate with respect to x: ∫₋₂² (24x − 6x³) dx. Since both 24x and 6x³ are odd functions, and the interval [−2, 2] is symmetric about the origin, each term integrates to zero. Therefore ∬_D 6x dA = 0. This makes sense because the integrand 6x is odd in x and the region is symmetric about the y-axis.

Question 4: APPLIED

A metal plate occupies the region D bounded by y = 0 and y = 1 − x² (an inverted parabola). The density at any point is δ(x, y) = 3y kg/m². Find the total mass of the plate by evaluating ∬_D 3y dA.

Show answer

The parabola y = 1 − x² meets y = 0 when 1 − x² = 0, so x = −1 and x = 1. Using Type I: x goes from −1 to 1, y goes from 0 to 1 − x². The integral is ∫₋₁¹ ∫₀^{1−x²} 3y dy dx. Inner integral: [3y²/2]₀^{1−x²} = (3/2)(1 − x²)². Expand: (1 − x²)² = 1 − 2x² + x⁴. So we compute (3/2)∫₋₁¹ (1 − 2x² + x⁴) dx = (3/2)[x − 2x³/3 + x⁵/5]₋₁¹. Evaluating: at x = 1 we get 1 − 2/3 + 1/5 = 15/15 − 10/15 + 3/15 = 8/15; at x = −1 we get −1 + 2/3 − 1/5 = −8/15. The difference is 8/15 − (−8/15) = 16/15. Multiplying: (3/2)(16/15) = 48/30 = 8/5. The total mass is 8/5 = 1.6 kg.

Question 5: CRITICAL THINKING

The integral ∫₀¹ ∫_{y}¹ sin(x²) dx dy cannot be evaluated directly because sin(x²) has no elementary antiderivative with respect to x. Reverse the order of integration and then evaluate the resulting integral.

Show answer

First, understand the original region: y goes from 0 to 1 (outer), and for each y, x goes from y to 1 (inner). This describes the triangle above y = 0, below y = x, and to the left of x = 1. Rewriting as Type I (dy dx): x goes from 0 to 1, and for each x, y goes from 0 to x. The reversed integral is ∫₀¹ ∫₀ˣ sin(x²) dy dx. The inner integral is simple because sin(x²) is constant with respect to y: ∫₀ˣ sin(x²) dy = x sin(x²). Now integrate ∫₀¹ x sin(x²) dx. Use substitution u = x², du = 2x dx, so x dx = du/2. When x = 0, u = 0; when x = 1, u = 1. The integral becomes (1/2)∫₀¹ sin(u) du = (1/2)[−cos(u)]₀¹ = (1/2)(−cos 1 + cos 0) = (1/2)(1 − cos 1) ≈ 0.2298. Reversing the order turned an impossible integral into a routine one.

SUMMARY

Lesson Summary

Summary

This lesson covers a college-level Calculus III / Multivariable Calculus topic that builds directly on single-variable calculus (Calculus I and II). It requires comfort with definite integrals, antiderivatives, and solving equations to find curve intersections. A double integral over a general region extends the idea of double integrals beyond rectangles to regions bounded by curves. The region D is classified as Type I (vertically simple) when it can be described by a ≤ x ≤ b with y between two functions g₁(x) and g₂(x), or as Type II (horizontally simple) when c ≤ y ≤ d with x between h₁(y) and h₂(y). The outer limits must always be constants and the inner limits can be functions of the outer variable.

The critical skill is sketching the region, finding intersection points, and determining which curve is the upper/lower (or left/right) boundary. Sometimes reversing the order of integration is essential — it can transform an impossible integral into a simple one. These techniques lay the groundwork for polar coordinates, triple integrals, and change of variables in more advanced multivariable calculus.