The Jacobian Determinant
One-variable substitution carries a factor ; in several variables the factor is a DETERMINANT: for a map , , where the Jacobian matrix collects all four partials.
The reason is geometric: the map sends a tiny rectangle to a tiny parallelogram spanned by the column vectors and , and a parallelogram's area is exactly the absolute determinant. Every coordinate system you have used is a special case: polar's factor , cylindrical's , spherical's — all Jacobians, all computable in two minutes from the definition rather than memorized.
The classic trap: if you define the NEW variables from the old (, ), you naturally compute — but the integral needs the INVERSE factor , its reciprocal. Rule of thumb: the Jacobian you multiply by always has the OLD variables on top. When in doubt, test on a unit square.
Find the area of . Work: the map , turns it into the unit disk ; the Jacobian is ; area . Setting recovers — the circle formula was the special case all along.
Proofs & Why It Matters
Near a point, the substitution map is approximated by its derivative — the linear map with the Jacobian matrix (this is the tangent-plane idea applied to a MAP rather than a function).
A linear map multiplies all areas by : the unit square spanned by lands on the parallelogram spanned by the columns of , whose area is , and general regions are limits of little squares. Summing over a fine grid gives Riemann sums of . SIGNIFICANCE: this is the bridge between linear algebra ("determinant = volume factor") and calculus ("substitution rule") — and in probability it is exactly how densities transform, the change-of-variables formula behind every normalizing flow in machine learning.
, : , .
The "curvy rectangle" argument from the double-integrals topic was the geometric shadow of this two-line computation — and now spherical's is just a bigger determinant, not a new idea to memorize.
Going Deeper: Worked Problems
Compute over the square with vertices .
Step 1 — the region is a diamond, awkward in ; substitute , , which maps it to the square , .
Step 2 — Jacobian: , so .
Step 3 — the integrand is : .
Step 4 — check plausibility: the diamond has area and averages less than on it, so an answer below is right-sized; the exact value took three lines because the substitution matched BOTH region and integrand.
Show that for , , .
Step 1 — the Jacobian matrix of is .
Step 2 — expand along the last row: the determinant is .
Step 3 — so since .
Step 4 — the geometric reading: the -direction is untouched, so the 3D element is just the polar area element times — the same determinant computed in the Jacobian topic, with one extra dimension riding along for free.