Iterated Integrals I
We may remember from a multivariable calculus class that we can evaluate multiple integrals by using iterated integrals. For example, if is a continuous, nonnegative function on a two-dimensional rectangle then the integral
measures the volume contained between the graph of the function and the - plane within the rectangle. If we fix some constant between and we can calculate the single integral
which describes the area that the plane cuts out of this volume. It exists because because the integrand is continuous as a function of . In such classes, we make the reasonable assumption that as we vary this area varies continuously. This gives us a continuous function on , which will then be integrable:
This is an “iterated integral”, since we perform more than one integral in sequence. We usually leave out the big parens and trust in the notation to tell us when the inner integral is closed. Our handwaving argument then justifies the belief that this iterated integral is the same as the double integral above. And this is true:
but we haven’t really proven it.
Besides, we’re interested in more general situations. What if, say, is discontinuous along the whole line for some fixed ? This line can be contained in an arbitrarily thin rectangle, so it has outer Lebesgue measure zero in the rectangle . If these are the only discontinuities, then is integrable on , but we can’t follow the above prescription anymore, even if it were actually rigorous. We need some method of handling this sort of thing.
To this end, we have five assertions relating the upper and lower single and double integrals involving a function which is defined and bounded on the rectangle above. Unfortunately, our notation for upper and lower integrals gets a little cumbersome here, and the support on WordPress isn’t the most elegant. Still, we soldier on and write
and similarly for upper integrals, and for lower and upper double integrals. Now, our assertions:
- If exists, then we have
Okay, as ugly as all those are, they’re what we’ll prove next time.