Lecture: Sec 15.1 Double Integrals over Rectangles
Topic 1: From Area to Volume 🚀
In Calculus I, you became an expert at using the definite integral to find the area under a curve. The core idea was to slice the area into thin vertical rectangles and add them up, taking a limit as their width approached zero.
Now, we want to level up. Instead of a curve $y=f(x)$ over an interval $[a,b]$, we have a surface $z=f(x,y)$ over a rectangular domain in the xy-plane, $R = [a,b] \times [c,d]$. Our new question is: What is the volume of the solid that lies above the rectangle $R$ and below the surface $z=f(x,y)$?
Just as we used rectangles to approximate area, we will use rectangular boxes (or prisms) to approximate volume.
Topic 2: The Double Integral as a Limit
The Rigorous Definition (The "What")
To find this volume, we follow the same "slice and sum" strategy, but now in two dimensions.
Partition the Domain: We divide the rectangle $R$ into a grid of smaller subrectangles, each with area $\Delta A = \Delta x \Delta y$.
Pick a Sample Point: In each subrectangle $R_{ij}$, we choose a sample point $(x_{ij}^*, y_{ij}^*)$.
Form the Prism: The value of the function at the sample point, $f(x_{ij}^*, y_{ij}^*)$, gives us the height of a rectangular prism. The volume of this single prism is its height times its base area: $f(x_{ij}^*, y_{ij}^*) \Delta A$.
Sum the Volumes: We add up the volumes of all these small prisms to get an approximation of the total volume. This is called a double Riemann sum:
$$ V \approx \sum_{i=1}^m \sum_{j=1}^n f(x_{ij}^*, y_{ij}^*) \Delta A $$
Take the Limit: The exact volume is found by taking the limit as the number of subrectangles goes to infinity (making their size shrink to zero). This limit is the double integral.
$$ V = \iint_R f(x,y) \, dA = \lim_{m,n \to \infty} \sum_{i=1}^m \sum_{j=1}^n f(x_{ij}^*, y_{ij}^*) \Delta A $$
Signed vs. Geometric Volume
Important: Just like "net signed area" in Calc I, if $f(x,y)$ is ever negative on $R$, then $\iint_R f(x,y)\,dA$ represents a net signed volume, where volume below the xy-plane is counted as negative. The actual geometric volume is $\iint_R |f(x,y)| \, dA$.
Topic 3: Iterated Integrals and Fubini's Theorem
The limit definition of the double integral is great for theory, but terrible for computation. Luckily, there's a much easier way, thanks to Guido Fubini. We can compute the volume by performing two single integrals, one after the other. This is called an iterated integral.
Fubini's Theorem
Hypotheses: If $f(x,y)$ is continuous on the rectangle $R = [a,b] \times [c,d]$, then the iterated integrals exist and are equal to the double integral:
$$ \iint_R f(x,y) \, dA = \int_c^d \left[ \int_a^b f(x,y) \, dx \right] dy = \int_a^b \left[ \int_c^d f(x,y) \, dy \right] dx. $$
Key takeaway: Fubini's Theorem converts a double integral (a 2D problem) into a sequence of two single integrals (two 1D problems), which we already know how to solve!
Visualizing Fubini's Theorem: The Slicing Method
Think of the inner integral as finding the area of a 2D cross-section of the solid. The outer integral then "sweeps" or "stacks" these cross-sectional areas together to find the total volume. Interact with the graph below to see this in action.
To slice parallel to the yz-plane, select the folder `x=k` and move the slider `a` to the right. This shows the area of one slice. Then move the slider `n` to the right to "stack" these slices and form the volume.
To slice parallel to the xz-plane, select the folder `y=l` and move slider `b` to the right, followed by slider `m`.
Common Pitfalls to Avoid
Inner integral: treat the other variable as constant. Example: $\displaystyle \int (x-3y^2)\,dx=\tfrac12 x^2-3y^2x$ (OK). $\displaystyle \int (x-3y^2)\,dx=\tfrac12 x^2-y^3$ (illegal: differentiated $y$ inside a $dx$ integral).
Bounds must match the variable. The bounds of the inner integral must match the inner differential (e.g., $dx$ goes with x-bounds).
Example 1: A Basic Polynomial
Evaluate $\iint_R (x - 3y^2) \, dA$ where $R = \{(x,y) \mid 0 \le x \le 2, 1 \le y \le 2\}$.
Solution (Order 1: dx dy):
We'll integrate with respect to $x$ first (the inner integral), treating $y$ as a constant.
If the integrand $f(x,y)$ can be factored into a function of $x$ times a function of $y$, and the domain is a rectangle, the double integral simplifies into a product of two single integrals. This is a powerful shortcut.
Theorem for Separable Functions
If $f(x,y) = g(x)h(y)$ is continuous on $R=[a,b]\times[c,d]$, then
$$ \iint_R g(x)h(y) \, dA = \left( \int_a^b g(x) \, dx \right) \left( \int_c^d h(y) \, dy \right) $$
Justification: Using Fubini's theorem, we can write $\int_c^d \int_a^b g(x)h(y) \, dx \, dy$. In the inner integral, $h(y)$ is a constant, so it can be pulled out: $\int_c^d h(y) \left( \int_a^b g(x) \, dx \right) dy$. The term $\int_a^b g(x)dx$ is just a number, so it can be pulled out of the outer integral, proving the result.
Example: Using the Separable Function Shortcut
Evaluate $\iint_R x^2y \, dA$ over the rectangle $R = [0,3] \times [1,2]$.
Solution:
The function $f(x,y) = x^2y$ is separable with $g(x)=x^2$ and $h(y)=y$. The domain is a rectangle. Therefore, we can write:
Today, we extended integration to two dimensions. We defined the double integral as a limit of Riemann sums, representing a signed volume. We then used Fubini's Theorem to compute these integrals using simpler iterated integrals and learned a powerful shortcut for separable functions over rectangular domains.
What You Should Have Learned
The definition of a double integral as the limit of a double Riemann sum.
How to use Fubini's Theorem to evaluate double integrals over rectangles.
How to apply the separable function shortcut as a powerful computational tool.
Final Practice Problems
Practice Problem #1
Set up, but do not solve, the two iterated integrals for finding the volume of the solid under the plane $z=2x+y$ and above the rectangle $R = [-1,1] \times [0,3]$.
Solution:
The volume is given by the double integral $\iint_R (2x+y) \, dA$.
Order 1 (dy dx): $\displaystyle \int_{-1}^1 \int_0^3 (2x+y) \, dy \, dx $
Order 2 (dx dy): $\displaystyle \int_0^3 \int_{-1}^1 (2x+y) \, dx \, dy $
Practice Problem #2
Find the volume of the solid lying under the surface $z = xe^{-y}$ and above the rectangle $R = [0,2] \times [0,1]$.
Solution:
The function $f(x,y)=xe^{-y}$ is separable and the domain is a rectangle. This is the fastest method.