## The Geometric Interpretation of the Jacobian Determinant

We first defined the Jacobian determinant as measuring the factor by which a transformation scales infinitesimal pieces of -dimensional volume. Now, with the change of variables formula and the mean value theorem in hand, we can pull out a macroscopic result.

If is injective and continuously differentiable on an open region , and is a compact, connected, Jordan measurable subset of , then we have

for some , where .

Simply take in the change of variables formula

The mean value theorem now tells us that

for some between the maximum and minimum of on . But then since is connected, we know that there is some so that , as we asserted.

It depends on me, but I can learn here a lot, things I am not familiar with, such as , the Jordan content of .

Thanks for your posts!

Comment by Américo Tavares | January 8, 2010 |

Well like I said when I introduced it, Jordan content is the first naïve step on the road to Lebesgue measure, and is to the Riemann integral as Lebesgue measure is to the Lebesgue integral. The biggest innovation Lebesgue had was to turn the order around and define the integral in terms of a notion of “volume” rather than the other way around.

Comment by John Armstrong | January 8, 2010 |

Is the Lebesgue integral important for the applications outside Mathematics?

At least I know that the Stieltjes integral is used in Probabilities to unify the discrete and continuous cases.

Long time ago I found it in the 2nd year of Engineering without having a previous knowledge of it. I studied only the minimum just to understand that application.

Later I learned more in a post of yours and looking at Taylor’s book on Advanced Cauculus.

Comment by Américo Tavares | January 8, 2010 |

The Lebesgue integral and measure theory further generalize the Riemann-Stieltjes integral. Modern probability theory is largely rooted in a part of that theory, although it asks different questions and proceeds in different directions.

Comment by John Armstrong | January 8, 2010 |

An wonderful exercise. Evaluate

by making a change of coordinates

Hence and the Jacobian determinant

of the transformation is Computing twice the double integral, one for and the other for , and observing that, due to symmetric reasons with respect to , both integrals are equal, we have:

Source: A paper by Tom Apostol and Proofs from the book by Martin Aigner and Günter M. Ziegler.

Comment by Américo Tavares | January 9, 2010 |

There’s something

dreadfullywrong with your iterated integrals when you calculate $\zeta(2)$. Clearly you didn’t read my post at the end of last week closely enough!Comment by John Armstrong | January 9, 2010 |

If you say that “there’s something

dreadfullywrong with your iterated integrals when you calculate $\zeta(2)$”, I have to respect your opinion and try to find out.It can be errors with the above formulas, the notation, the names (the

Jacobian determinant, in particular), the arguments, the exposition, or something else I do not see.My sentence “Computing twice the double integral, one for (…) both integrals are equal, we have” is not clear! I just wanted to explain briefly the second integral formula by symmetry and the areas shrinking (second factor 2) due to the change of variables. The first factor 2 appears because the areas above and under -axe are equal, as well as the associate integrals (page 37 of Aigner and Ziegler’s book).

I will read your “post at the end of last week” again and again till I see where my error(s) is(are).

More details on the references I used: the Apostol’s paper is

A Proof that Euler Missed:Evaluatingthe Easy Way, and the page numbers ofProofs from the bookare 36-37 (Three Times).Many thanks for your reply, because it helped me. I try not to make errors, but I know I cannot guarantee there is none.

I apologize my poor English and promise not bothering you further on this matter.

Comment by Américo Tavares | January 9, 2010 |

How can the integrals with respect to be taken over intervals that depend on ?

Comment by John Armstrong | January 9, 2010 |

Only now I understand your question, at least partially. Some parentheses can and/or

mustbe added to avoid any misunderstanding. By the integralI

meantor

Comment by Américo Tavares | January 9, 2010 |

Correction:

Only now I understand your question, at least partially. Some parentheses can and/or

mustbe added to avoid any misunderstanding. By the integralI

meantor

.

Comment by Américo Tavares | January 9, 2010 |