The main theorem of this section tells us how to compute multi-variables integrals in practice. The point is that it reduces integration over - and higher-dimensions regions to (repeated) -d integrations, which we in principle know how to evaluate, at least some of the time.
Suppose that is a rectangle in . Let be a function on , and suppose that is integrable on and for every , the function defined by is integrable on .
Then the function defined by is integrable on , and
In the above equation, means that we consider to be a constant, and we integrate . If this seems unclear, take a look at a few of the examples presented below.
Remark 1
There are three integrals in formula : a -dimensional integral on the left, and two -dimensional integrals on the right.
Remark 2
If the roles of and are switched in hypotheses, then the conclusion also holds with the roles of and switched. Note that this means we require to be integrable on for every , and we can conclude that is integrable. This can be useful if both and are integrable, we can choose which order we integrate. As a result, whenever all the integrals appearing in the formula make sense (that is, all the integrands are integrable).
It follows from theory developed in Sections 4.2 that all the hypotheses of the above theorem will in practice be satisfied in almost every integral we encounter in this class (generally, integrals of continuous functions over compact sets whose boundaries have content zero). There is an example that things that can go wrong if the hypotheses are not all satisfied — see the advanced problem at the end of this section.
Remark 3
A generalization of Theorem 1 holds for integrals in dimensions, for any . The hypotheses have the same character but are more complicated to state, and in practice are satisfied by more or less every integral we will meet in this class.
Example 1.
Let , and compute
According to Theorem 1, Which of these two iterated integrals is easier to evaluate? Let’s try both.
First, Note that after we carry out the first integral , the result, , is a function only of ; we have “integrated out†all the dependence on .
If we do the integrals in the other order, we get One can check that it is integrable and that its integral equals , but neither of these claims is at all obvious. Since we have already found the answer by integrating in the other order, we are not obliged to worry about it.
But see here for more, if you are interested.
The key points are
Using l’Hospital’s rule, for example, one can check that exists. From this one can deduce that this function is integrable on .
the antiderivative of $ 1 y (y) + 1{y^2}((y) -1)$ on is , and
One can laso check that . Using this one can finish evaluating the integral.
Note also that, again, after we integrate , the result is a function of alone; we have integrated out all of the dependence on .
Integrating Over Non-rectangles
The main difficulty we will have arises when integrating over a set that is not a rectangle. If has the form for some continuous functions , then Similarly it is straightforward to write down a suitable interated integral when the set is described as .
The difficulty is that is usally not described in a convenient form such as . So the challenge one often ecounters is, given a set , translate its description into a set of inequalities, such as or maybe It may be necessary to split a set into mutiple pieces, each one of which is expressed by inequalities of the above form.
The same issues arise in higher dimensions where they are even more difficult. For example, given a set , to write iterated integrals over , it is necessary to translate description of into inequalities or similar inequalities with the roles of permuted in some way.
The rest of this section consists of examples. Many of them will focus on how to set up integrals, rather than how to carry them out (which in some examples we will omit entirely), since setting them up is the new element here.
Examples
Example 2.
Let be the subset of that is bounded by the curves and , and let be continuous. Express as an interated integral in two different ways.
It is often helpful to draw a picture:
is the region between the two parabolas. First, we have to determine the points where the curves intersect. Both equations and are satisfied at these points, so . We solve to find that . (We can see this in the picture, but had we drawn by hand, we would not know where to put the intersection points without reasoning as above.)
For , we can see that , so “between the two curves†means “above $ x^2-2$ and below â€. We conclude that
and thus Note that, if you start by drawing a careful sketch, you can probably figure this out from looking at your picture.
Switching the roles of and Writing the as an interated integal in the opposite order is more complicated. So if you are just asked to evaluate the integral you should probably solve it as above, unless there is a very good reason for doing otherwise.
First, we have express the curves that comprise in the form . This is straightforward:
Next, it is convenient to split into 3 sub-regions — the part below the -axis, and the parts in the first and the second quadrants — since in each of these regions, the range of (as a function of ) has a different description.
Below the -axis:
First quadrant:
Second quadrant:
Putting these together, we conclude that $ _S f(x), dA $ can be written as
Example 3
Consider the integral
Rewrite this in the forms (that is, determine the region ) and .
From looking at the limits of integration, we can see that
In other words, the integral can be written as The easiest way to change the order of integration is to draw a picture. To understand the problem, you should do this. For this region, by rearranging the inequalities, it is also possible to figure out that Thus we can also write the integral as
An interesting class of examples involves iterated integrals that look impossible as written, but that become possible once one exchanges the order of integration.
Example 4
Consider
The antiderivative of is not an elementary function. However, from looking at the limits of integration, we can see that we are asked to integrate over a region — call it — defined by the inequalities and this is the same as This can be seen either by sketching or else just by manipulating the inequalities, as in the previous example. It follows that Now the iterated integral on the right can be computed easily:
For more examples of this sort, see the exercises.
Example 5
Find the volume of a sphere in . That is, compute the integral of over the -dimensional ball of radius , It does not matter whether we consider the open ball or the closed ball, since the boundary is a set of zero content.
First we have to set up the integral. Since appear appear in a symmetrical way in both and , the order of integration does not matter. So we can choose (arbitrarily) to write First we consider the range of . The smallest and largest possible values of in the set are and respectively. We can see this either from drawing a picture, or from noting that , and that points where both equal (hence ) belong to . Thus About the range of , we know that . If we know the value of but not that of , then the extreme case occurs when , leading to , hence Finally, we see that Thus We now carry out the integration. The innermost intergral leads to To evaluate this, we remember that in general $ _{-}^, dt $ can be evaluated by the substitution , with , leading to
Substituting this into our above computation of (with we can compute the integral and find that
Problems
Basic
given a geometric description of a set (such as “the region between and â€), write down an interated integral that corresponds to .
Conversely, given an iterated integral, determine the corresponding region in , or change the order of integration in iterated integrals. When applicable, use the above to transform impossible integrals into ones that can be evaluated by hand.
In principle, all the same skills can be applied to integrals in for . In practice, we will normally not consider examples for which the order of integration is very important
For the following sets , write down an iterated integral that corresponds to . For some of these, it may be necessary to divide into two or more pieces, as in Example 2.
.
the set in the first quadrant bounded by the curve and the circle .
the set above the line and and inside the circle .
the triangle with vertices , , and .
the set of points in bounded by the paraboloid and the plane .
For the following iterated integrals, determine the set corresponding to the region of integration, and rewrite the integral after changing the order of integration. For some of these, it may be necessary to divide into two or more pieces.
Evaluate the following integrals. It may be necessary to change the order of integration in order to do so.
, where is the region in the first quadrant bounded by the line .
, where is the set in the first quadrant below the curve and above the line .
.
.
, where is the set below the cone and above the triangle in the plane with vertices , , and .
Find the volume of a sphere in .
Advanced
For , define Compute In the process of doing this, you will see that these iterated integrals are well-defined, in the sense that every function you have to integrate is in fact integrable. Are they equal?
Prove Theorem 1. (You will do this in Problem Set 6, with the proof being divided into several smaller questions.)