You are about to erase your work on this activity. Are you sure you want to do this?
Updated Version Available
There is an updated version of this activity. If you update to the most recent version of this activity, then your current progress on this activity will be erased. Regardless, your record of completion will remain. How would you like to proceed?
Mathematical Expression Editor
We study integrals over general regions by integrating \(1\).
Now we will integrate over regions that are more complex than rectangles and boxes.
In particular we will find areas of regions bounded by curves in \(\R ^2\), and volumes of
regions bounded by surfaces in \(\R ^3\). To do this we will use integrals whose integrand is \(1\).
The integrand is the “thing” you are integrating:
\[ \iint _R \underbrace {F(x,y)}_{\text {integrand}} \d A \]
Think about this: The integral
\[ \int _a^b \d x = \int _a^b 1 \d x = b-a \]
computes the length between \(a\) and \(b\). This is because the area between the
constant curve of height one and the \(x\)-axis is just the length of the curve! In a
similar way:
\[ \iint _R \d A = \iint _R 1 \d A = \text {Area of $R$} \]
Here you imagine a surface of constant height \(1\) above a region \(R\):
The volume under
the plane of constant height \(1\) above the region \(R\) is numerically equal to the area of \(R\). In
an entirely similar way, if \(R\) is a subset of \(\R ^3\), then
\[ \iiint _R \d V = \iiint _R 1 \d V= \text {Volume of $R$} \]
In this section we will focus on
integrals with a trivial integrand, meaning it is \(1\), and hence the section is called
“Integrals with trivial integrands.”
1 Double integrals and area
We start with a third version of Fubini’s Theorem.
Fubini’s Theorem Let \(R\) be a closed, bounded region in the \((x,y)\)-plane and let \(F(x,y)\) be a
continuous function on \(R\).
If \(R=\{(x,y):\text {$a\leq x\leq b$ and $g_1(x)\leq y\leq g_2(x)$}\}\)
where \(g_1\) and \(g_2\)
are continuous functions on \([a,b]\), then
If \(R=\{(x,y):\text {$c\leq y\leq d$ and $g_3(y)\leq x\leq g_4(y)$}\}\)
where \(g_3\) and
\(g_4\) are continuous functions on \([c,d]\), then
\[ \iint _R F(x,y)\d A = \int _c^d\int _{g_3(y)}^{g_4(y)} F(x,y)\d x\d y. \]
It is important to note that when using Fubini’s Theorem, we must always have
numbers as the limits of the outer-most integral and curves (note constant curves are
numbers) as the limits of the inner-most integral:
Note, if we set \(g_1\) and \(g_2\) (or \(g_3\) and \(g_4\)) to
be constant functions, we recover the version of Fubini’s Theorem from the previous
section.
Whenever you learn a new technique, you should always “try it out” on a
computation where you know the answer through a different method. So let’s used an
integral to find the area of a triangle.
Set-up and evaluate an iterated integral that will compute the area of the region below
via a double integral:
We can change the order of integration. This can make a big difference in the
difficulty of the integral in question. This can be somewhat challenging. If you have a
graph of the region in question, this can help quite a bit. If not, then a strategy is to
Find absolute bounds for each variable.
Solve inequalities that will allow you to integrate:
\[ \iint _R \d A = \int _{\answer {0}}^{\answer {12}}\int _{\answer {-\sqrt {3x}}}^{\answer {\sqrt {3x}}} \d y \d x \]
Sometimes when you switch the order of integration, you will need to write the sum
of iterated integrals. You can recognize this by the fact that you won’t be able to find
a single curve to bound your inner integral. This will be more clear with an
example.
Consider the region:
Set-up iterated integrals that compute the area of \(R\).
First we’ll integrate with respect
to \(y\) and then \(x\). Here
\[ \answer [given]{1}\le x \le \answer [given]{5} \]
and
\[ \answer [given]{(x+3)/4}\le y \le \answer [given]{(9-x)/2} \]
so our integral is:
\[ \int _{\answer [given]{1}}^{\answer [given]{5}} \int _{\answer [given]{(x+3)/4}}^{\answer [given]{(9-x)/2}}\d y \d x \]
Now let’s integrate with respect to \(x\) and then \(y\). If we give absolute bounds to our
inequalites above, we see something strange:
This is actually two inequalities (note
we can see this from the graph):
\begin{align*} 1 &\le \answer [given]{(x+3)/4}\le y && \text {and}\\ y &\le \answer [given]{(9-x)/2} \le 4 \end{align*}
Solving for \(x\) in these inequalities we find:
\begin{align*} 1 &\le x \le 4y-3 && \text {and}\\ 1 &\le x \le 9-2y \end{align*}
Here \(x\) is bounded by two different curves! When this happens, it is probably best to look at
the graph of the situation:
Thus we see that the area can be found by the sum:
\[ \int _1^2 \int _{\answer [given]{1}}^{\answer [given]{4y-3}}\d x \d y +\int _2^4 \int _{\answer [given]{1}}^{\answer [given]{9-2y}}\d x \d y \]
1.2 Why change the order of integration?
You may ask yourself, “Why change the order of integration?” Sometimes changing
the region can make a difficult (impossible) antiderivative easier (not impossible).
Let’s see an example.
Compute:
\[ \int _0^{\pi /2}\int _y^{\pi /2} \frac {\sin (x)}{x} \d x \d y \]
Here you don’t stand a chance if you try to antidifferentiate with respect
to \(x\). So the trick is to immediately swap the order of antidifferentation. Starting by
writing absolute bounds for \(x\) and \(y\):
There are six reorderings total with three variables. We will spare
the young mathematician the details, and trust that you will sort it out.
Again note that when using Fubini’s Theorem, we must always have numbers as the
limits of the outer-most integral, curves as the limits of the middle integral, and
surfaces as the limits of the inner-most integral:
Now with Fubini’s help, we will use triple integrals to compute volumes.
Set-up and evaluate an iterated integral that will compute the volume of the region
bounded by:
The plane \(x=0\).
The plane \(y=0\).
The plane \(z=0\).
The plane \(3x + 4y + 6z = 12\).
Our region above produces a tetrahedron, a triangular-based pyramid. It intersects
the \(x\)-axis at \((4,0,0)\), the \(y\)-axis at \((0,3,0)\), and the \(z\)-axis at \((0,0,2)\). The region can be defined by:
In the previous example, we integrated with respect to \(z\), then \(y\), then \(x\). Set-up
an integral that computes the volume of \(R\) that integrates with respect to \(x\),
then \(z\), then \(y\). Start by finding overall bounds for our variables. In this case:
At this point we see that our bounds for \(y\) are \(\answer {0}\) to \(\answer {3}\). Now we will find our
bounds for \(x\). We must find an expression for \(x\) in terms of \(y\) and \(z\). Write with me:
However, we know that \(y\) is nonnegative, so \(-4y/3\le \answer {0}\), and \(x\) is bounded below by \(\answer {0}\). So \(x\) runs from
\(0\) to \(\answer {\frac {12-6z-4y}{3}}\).
Finally we must write \(z\) in terms of \(y\). Unfortunately, from our inequalities above, there
is no direct way to get this. We must think about what our solid looks like. Recall
that the plane bounding the solid is \(3x + 4y + 6z = 12\). If \(x=0\), then our plane is the line \(\answer {4y+6z}=12\). Hence
\[ 0\le z \le \answer {2-2y/3} \]
We may
now write our desired integral:
\[ \iiint _R \d V = \int _{\answer {0}}^{\answer {3}}\int _{\answer {0}}^{\answer {-2y/3+2}} \int _{\answer {0}}^{\answer {\frac {12-4y-6z}{3}}} \d x \d z \d y \]
Set-up an iterated integral that will compute the volume of the region bounded by
the cone below:
In the previous example, we integrated with respect to \(z\), then \(y\), then \(x\). Set-up an
iterated integral that computes the volume of \(R\) that integrates with respect to \(x\), then \(y\),
then \(z\).
\[ \iiint _R \d V = \int _{\answer {0}}^{\answer {1}} \int _{\answer {-1+z}}^{\answer {1-z}} \int _{\answer {-\sqrt {(1-z)^2-y^2}}}^{\answer {\sqrt {(1-z)^2-y^2}}} \d x \d y \d z \]