Section 4.2 Double Integrals over General Regions
4.2 Double Integrals over General Regions
In this section, we learn the double integral over general regions, not just rectangle region. In calculus I, we learn to integrate the area between two function [latex]g_{1}(x)\leq g_{2}(x)[/latex] over the interval [latex][a,b][/latex]
\[ \int_{a}^{b}g_{2}(x)-g_{1}(x)dx. \]
The idea is coming from that we cut the region bounded by [latex]g_{1}(x)[/latex], [latex]g_{2}(x)[/latex], [latex]x=a[/latex] and [latex]x=b[/latex] into subintervals [latex][x_{i-1},x_{i}][/latex].
Now suppose [latex]f(x,y)=1[/latex] for all [latex]x,y[/latex] in the region and we want to find the volume of the solid bounded by [latex]f(x,y)[/latex] and [latex]xy[/latex]-plane over a region [latex]D=\{(x,y)|a\leq x\leq b,g_{1}(x)\leq y\leq g_{2}(x)\}[/latex]. The base of the solid is
\[ \int_{a}^{b}g_{2}(x)-g_{1}(x)dx \] and the height is [latex]1[/latex]. Hence the volume is
\[ \int_{a}^{b}g_{2}(x)-g_{1}(x)dx =\int_{a}^{b}\int_{g_{1}(x)}^{g_{2}(x)}1dydx. \]
Can we do the similar approach for any [latex]f(x,y)[/latex] over [latex]D[/latex]?
Recall that we can do the double integration over [latex]R=\left[a,b\right]\times[c,d][/latex] via integrate with respect to one variable first and the other later. The idea is that we cut a solid into thin area regions. For example, we can integrate [latex]f(x,y)[/latex] with respect to [latex]y[/latex] first to obtain a function with respect to [latex]x[/latex] only, [latex]A(x)[/latex], then we integrate with respect to [latex]x[/latex] later:
\[\int_{a}^{b}\int_{c}^{d}f(x,y)dydx=\int_{a}^{b}A(x)dx =\lim_{n\rightarrow\infty}\sum_{i=1}^{n}A(x_{i})\triangle x\]
Now for general region [latex]D=\{(x,y)|a\leq x\leq b,g_{1}(x)\leq y\leq g_{2}(x)\}[/latex], we cut the interval [latex][a,b][/latex] into subintervals [latex][x_{i-1},x_{i}][/latex] then [latex]A(x_{i})[/latex] is changing depending on [latex]f(x_{i},y)[/latex] and [latex]g_{1}(x_{i})\leq y\leq g_{2}(x_{i})[/latex]. Hence [latex]A(x_{i})=\int_{g_{1}(x_{i})}^{g_{2}(x_{i})}f(x_{i},y)dy[/latex].
Theorem: Fubini’s Theorem (Strong Form)
Let [latex]f(x,y)[/latex] be a continuous function over [latex]D=\{(x,y)|a\leq x\leq b,g_{1}(x)\leq y\leq g_{2}(x)\}[/latex] (we call this type I region), then
\[ \iint_{D}f(x,y)dA=\int_{a}^{b}\left[\int_{g_{1}(x)}^{g_{2}(x)}f(x,y)dy\right]dx.\]
If [latex]f(x,y)[/latex] is a continuous function over [latex]D=\{(x,y)|h_{1}(y)\leq x\leq h_{2}(y),c\leq y\leq d\}[/latex] (we call this type II region), then
\[ \iint_{D}f(x,y)dA=\int_{c}^{d}\left[\int_{h_{1}(y)}^{h_{2}(y)}f(x,y)dx\right]dy.\]
Example 1: Compute the double integral [latex]\iint_{D}f(x,y)dA[/latex] where [latex]f(x,y)=xy^{2}[/latex] and [latex]D=\{(x,y)|0\leq x\leq1,x^{2}\leq y\leq x\}[/latex]
Exercise 1: Compute the double integral [latex]\iint_{D}f(x,y)dA[/latex] where [latex]f(x,y)=xy[/latex] and [latex]D=\{(x,y)|2\leq x\leq3,2x\leq y\leq3x\}[/latex]
Example 2: Compute the double integral [latex]\iint_{D}f(x,y)dA[/latex] where [latex]f(x,y)=y\text{sin}(x)[/latex] and [latex]D=\{(x,y)|2y\leq x\leq3y,0\leq y\leq1\}[/latex]
Exercise 2: Compute the double integral [latex]\iint_{D}f(x,y)dA[/latex] where [latex]f(x,y)=e^{x}y[/latex] and [latex]D=\{(x,y)|0\leq x\leq2y,2\leq y\leq3\}[/latex]
Example 3: Compute the double integral [latex]\iint_{D}f(x,y)dA[/latex] where [latex]f(x,y)=\frac{x^{2}}{y^{2}+3}[/latex] and [latex]D=\{(x,y)|0\leq x\leq\sqrt[3]{y},0\leq y\leq1\}[/latex].
Exercise 3: Compute the double integral [latex]\iint_{D}f(x,y)dA[/latex] where [latex]f(x,y)=\frac{y}{x^{2}+1}[/latex] and [latex]D=\{(x,y)|0\leq x\leq2,0\leq y\leq\sqrt{x}\}[/latex].
Example 4: Compute the double integral [latex]\int\int_{D}xydA[/latex] where [latex]D[/latex] is the region bounded by [latex]y=\sqrt{x}[/latex] and [latex]x=2y[/latex].
Exercise 4: Compute the double integral [latex]\int\int_{D}xydA[/latex] where [latex]D[/latex] is the region bounded by [latex]y=x^{2}[/latex] and [latex]x=y[/latex].
Example 5: Compute the double integral [latex]\int\int_{D}x^{2}e^{xy}dA[/latex] where [latex]D[/latex] is the region bounded by [latex]y=x[/latex], [latex]x=2[/latex] and [latex]y=0[/latex].
Exercise 5: Compute the double integral [latex]\int\int_{D}y^{2}e^{xy}dA[/latex] where [latex]D[/latex] is the region bounded by [latex]y=x[/latex], [latex]y=1[/latex] and [latex]x=0[/latex].
Example 6: Sketch the solid whose volume is given by the iterated integral
\[ \int_{0}^{1}\int_{0}^{1-x}(1-x-y)dydx \]
Example 7: Find the volume of the solid bounded by [latex]z=y[/latex], [latex]y=2x[/latex], [latex]x+y=6[/latex] and [latex]z=0[/latex].
Group work
1. Sketch the solid whose volume is given by the iterated integral
\[\int_{0}^{1}\int_{0}^{y}(1-y^{2})dxdy.\]
2. Find the volume of the solid bounded by planes [latex]z=x[/latex], [latex]x=0[/latex], [latex]y=x[/latex], [latex]x+y=4[/latex] and [latex]z=0[/latex].
3. Sketch the solid whose volume is given by the iterated integral
\[\int_{0}^{1}\int_{0}^{1-y^{2}}(1-y)dxdy.\]