22
$\begingroup$

The change of variables for multivariable integration in Euclidean space is almost always stated for a $C^1$ diffeomorphism $\phi$, giving the familiar equation (for continuous $f$, say)

$$\boxed{\int_{\phi(U)}f=\int_U(f\circ\phi)\cdot|\det D\phi|}$$

Of course, this result by itself is not very useful in practice because a diffeomorphism is usually hard to come by. The better advanced calculus and multivariable analysis texts explain explicitly how the hypothesis that $\phi$ is injective with $\det D\phi\neq0$ can be relaxed to handle problems along sets of measure zero -- a result which is necessary for almost all practical applications of the theorem, starting with polar coordinates.

Despite offering this slight generalization, very few of the standard texts state that the situation can be improved further still: there is an analogous theorem for arbitrary $C^1$ mappings $\phi$, not just those that are injective everywhere except on a set of measure zero. We simply account for how many times a point in the image gets hit by $\phi$, giving

$$\boxed{\int_{\phi(U)}f\cdot\,\text{card}(\phi^{-1})=\int_U(f\circ\phi)\cdot|\det D\phi|}$$

where $\text{card}(\phi^{-1})$ measures the cardinality of $\phi^{-1}(x)$.

I think this theorem is a lot more natural and satisfying than the first, for many reasons. For one thing, it removes a huge restriction, bringing the theorem closer to the standard one-variable change of variables for which injectivity is not required (though of course the one-variable theorem is really a theorem about differential forms). It emphasizes that a certain degree of regularity is what's important here, not injectivity. For another thing, it's not a big step from here to degree theory for smooth maps between closed manifolds or to the "area formula" in geometric measure theory. (Indeed, the factor $\text{card}(\phi^{-1})$ is a special case of what old references in geometric measure theory called the "multiplicity function" or the "Banach indicatrix.") It's also used in multivariate probability to write down densities of non-injective transformations of random variables. And last, it's in the spirit of modern approaches to at least gesture at the most general possible result. The traditional statement is really just a special case; injectivity only becomes essential when we define the integral over a manifold (rather than a parametrized manifold), which we want to be independent of parametrization. I think teaching the more general result would greatly clarify these matters, which are a constant source of confusion to beginners.

Yet many otherwise excellent multivariable analysis texts (Spivak, Rudin PMA and RCA, Folland, Loomis/Sternberg, Munkres, Duistermaat/Kolk, Burkill) don't mention this result, even in passing, as far as I can tell. I've had to hunt for discussions of it, and I've found it here:

I'm also confident I've seen it in some multivariable probability books, but I can't remember which. But none of these is a standard textbook, except perhaps for Zorich.

My question: are there standard references with nice discussions of this extension of the more familiar result? Probability references are fine, but I'm especially curious whether I've missed some definitive treatment in one of the classic analysis texts.

(Also feel free to speculate why so few texts mention it.)

$\endgroup$
  • $\begingroup$ @ChristianBlatter: happy to do so, but you are certainly an exception; I learn from everything you do. I didn't say all textbook writers regurgitate the way it's always been taught; I said they "usually" do, which is the truth in my experience. But I'll delete it. I'm curious if you instead have any comment about the real substance of my question. $\endgroup$ – symplectomorphic Dec 31 '15 at 19:35
  • $\begingroup$ I don't think there was anything wrong at all with the former last sentence. $\endgroup$ – zhw. Dec 31 '15 at 20:41
  • $\begingroup$ Meaning, I should say, that there was nothing wrong IMO with expressing that opinion here on MSE at the end of a thoughtful post. I'm not saying I agree with it, however. $\endgroup$ – zhw. Dec 31 '15 at 22:30
  • $\begingroup$ What about taking the domain of integration and focusing on the parts on which the map is injective? Often we have local injectivity... I'm curious to see what else is out there. Every so often, I do some integration where the change of variables folds the domain of integration to nothing. I guess that would be the case that "card" is zero... I look forward to the answers here... $\endgroup$ – James S. Cook Jan 1 '16 at 0:40
  • $\begingroup$ Also cross-posted at MO: mathoverflow.net/questions/227406/… $\endgroup$ – user43208 Jan 2 '16 at 13:27
4
$\begingroup$

The short answer is: When designing a course (and in the sequel, a textbook) you have to cover a lot of indispensable material, like "A continuous function on a compact set is uniformly continuous". But you also have to make hundreds of larger or smaller decisions about, e.g., the order of presentation, which "equally important" topics to include, which topics to sacrifice, or to "remove to the exercises", etc.

Concerning the change of variables formula: We absolutely need this formula for the computation of volumes, moments of inertia, heat content, etc., of "geometrically complicated", or else particularly symmetric bodies $B$. To this end an essentially injective parametrization of $B$ is completely sufficient. On the other hand the proof of this formula (even in the vanilla variant) is quite time consuming. Unfortunately its essential part, namely the geometric meaning of the determinant, tends to be obscured by the work necessary to effectively nullify measure zero effects. In one of the sources quoted above it is claimed that the general version of the formula (as well as its proof) includes a special case of Sard’s Theorem. The latter is definitely out of bounds for a first real analysis course.

It is forgiveable when we then leave it at that and just teach what the student will certainly need to handle standard arguments and situations in differential geometry, mathematical physics, and the like. In my own mathematical practice I have used the vanilla variant of the formula a thousand of times, but the more general formula involving the "covering number" maybe five times, e.g., in a course on integral geometry. Note that, if you have understood the vanilla variant, the general formula is intuitively obvious, so that you can work with it in probability theory or dynamical systems without much ado.

$\endgroup$
  • 1
    $\begingroup$ Well, I expected this kind of response, and I don't really buy it for the more advanced references. For courses aimed at engineers and applied science, sure. But why not mention it in an advanced text, to gesture at the generality of the problem and to prepare students for extensions in other subjects? It is not hard to say "this isn't the best that can be done" or "this is really a special case of a more general theorem; for more, see..." $\endgroup$ – symplectomorphic Jan 1 '16 at 9:17
  • 1
    $\begingroup$ E.g., when Apostol discusses the one-variable theorem (in Mathematical Analysis), he nicely gestures toward generalizations that don't require $f$ to be continuous. This is very instructive for beginning students. He makes no comments regarding strengthenings of the multivariable theorem. $\endgroup$ – symplectomorphic Jan 1 '16 at 9:20
  • 1
    $\begingroup$ In short, I guess I reject the idea that it's "forgiveable" when such an approach (complete silence on the possibility of a generalization) implicitly trains students to think that injectivity is an essential ingredient of such a theorem (see plenty of questions here on MSE of people confused by when injectivity is and isn't required). $\endgroup$ – symplectomorphic Jan 1 '16 at 9:25

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.