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. For the linear map , , the columns are and and the determinant is : the unit square of the -plane becomes a parallelogram of area , and every region's area is multiplied by .
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 inside the ellipse with a change of variables.
Show the answerHide the answer
Substitute , . The ellipse becomes , the unit disk. The Jacobian is : every small area is stretched by the factor . So the area is . With this is — the circle formula was the special case all along.
Choosing a Substitution
When a region is bounded by two pairs of curves const and const, take those expressions as the new variables: the region becomes a rectangle in the -plane. Compute the easy Jacobian (u and v are given in terms of x and y) and use
Why the reciprocal is allowed: the map and its inverse undo each other, so by the chain rule their Jacobian matrices multiply to the identity, and their determinants are reciprocals. This saves the step of solving for and in terms of and , which is often the hardest part of the problem.
Compute over the parallelogram bounded by , , and . Let , from to , and , from to . Then , so .
The integrand is simply , so . The area is . Check it directly: the corners are , , and , and the shoelace formula also gives .
Find the area of the region in the first quadrant bounded by , , and . The boundaries suggest , from to , and , from to . Then .
So and the area is . The factor records that equal squares in the -plane correspond to smaller pieces of the region near the steep line than near .
Using the forward Jacobian instead of its reciprocal. In the parallelogram example, writing gives the area instead of , nine times too big. A quick size check catches it: the parallelogram fits inside the box , whose area is , so is impossible. The factor always converts new areas into old ones, so it is , with the old variables on top.
Evaluate , where is bounded by the lines , , and .
Show the answerHide the answer
The boundaries are , , and , so let ( to ) and ( to ). The integrand factors as . The Jacobian is , so . Then .
Jacobians in Three Dimensions
For a map ,
the determinant of the matrix of all nine partial derivatives.
Why a determinant again: the tiny box is carried to a tiny parallelepiped spanned by , , , where and so on. The volume of a parallelepiped is the absolute value of the triple product of its edges, which is the determinant with those edges as columns (see the triple product in the vectors topic).
For , , , the matrix of partials in the order is
Expand along the bottom row, which has a zero. The two minors simplify with to and , so the determinant is . This is the factor the triple-integrals topic found by measuring the edges of a spherical cell; here it comes from the same machine as every other Jacobian.
Find the volume of . The substitution , , turns it into the unit ball , and the Jacobian matrix is diagonal with determinant .
So the volume is times the volume of the unit ball: . In general the ellipsoid with semi-axes has volume ; stretching each direction separately multiplies volume by each stretch factor, and the determinant of a diagonal matrix is just that product.
Forgetting the absolute value. The swap , has Jacobian . Used without the absolute value, it gives the area of the unit square as . Reversing orientation flips the sign of a determinant, never the sign of an area; the formula uses .
Over the unit ball, (computed in the triple-integrals topic). Use it to find for the solid ellipsoid .
Show the answerHide the answer
Substitute , , : becomes the unit ball, the Jacobian is , and . So .
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.