The integral even sideways slicing can't save
Chapter 10 left you with a promise: there is a famous integral that the order-swap trick cannot rescue. Here it is — the Gaussian, the most important integral in all of probability:
Every Chapter 10 move fails. There is no elementary antiderivative for — so the Fundamental Theorem is useless. And there is no inner integral to swap: this is a single integral, so changing the order of integration has nothing to change. We are stuck — until we do something that looks insane.
The punchline, which we will earn in full after the break:
The whole trick turns on that appearing when we go polar. Where did it come from? Chapter 10 told you to write and never drop the — but it never told you why the is there. That "why" is this entire chapter, and its name is the Jacobian.
Polar was a special recipe you memorised. The Jacobian is the general tool behind it: any substitution re-grids the plane, and the factor that corrects for the re-gridding is . Master it once and you never again have to remember a coordinate system's area element — you can derive it. And the payoff is not academic: the you are about to compute is the exact reason the normal distribution — the bell curve under nearly every dataset she will ever model — normalises the way it does.
A substitution warps the plane
In single-variable calculus, -substitution carries a factor — the substitution stretches the line, and corrects for the stretch. In two dimensions the same thing happens, but the plane can stretch differently in different directions, so the correction is richer.
Picture a clean -grid of little unit squares. A change of variables , sends that grid to a warped grid in the -plane. A small cell of area lands as a small parallelogram, and its area is no longer — it is scaled by some local factor:
Nobody pictures the global warp of the plane — the way the whole grid bends is genuinely hard to hold in your head, and you never need to. You compute the stretch factor locally, at the cell, with a determinant, and trust it everywhere. That single local number is the entire idea; the rest of the chapter is learning to compute it and remembering to keep its absolute value.
The Jacobian, stated and used
That local area-scaling factor has a formula. It is the determinant of the matrix of partial derivatives of the old coordinates with respect to the new ones:
The region in the -plane is described, in the new coordinates, by a simpler region in the -plane — usually a rectangle. Three things to hold onto:
- The area element is — the absolute value, always. A negative determinant means the map flips orientation; it never means negative area.
- The integrand must be rewritten in and — every and inside is replaced via the substitution.
- Reciprocal shortcut. If is awkward but is easy, compute the easy one and flip it:
And now the chapter's spine, paid off. For polar coordinates , , with :
So , and — exactly the recipe you were handed in Chapter 10. The mysterious was the Jacobian of the polar map all along.
Take the linear map , . Invert it: , . Then
Every area halves. Check it with the shortcut: , and — same answer. The sign of is bookkeeping (the map reflects); the area element takes .
Evaluate over the triangle with vertices , , . The exponent begs for , ; from WE-1, . The triangle becomes the clean region , :
The slanted boundaries and became horizontal and vertical lines in — that straightening is the whole reason to change variables.
Find the area of the region bounded by , , , and . The boundaries are products and ratios held constant, so substitute , . Inverting, , , and the Jacobian works out (via the shortcut, ) to
The four curves become four straight lines: , . So
Notice is not constant — it changes across the region. That is exactly what makes the non-linear case harder than WE-1, and exactly where marks are lost: you cannot pull a varying Jacobian out of the integral.
End of sitting 1 — you can now write down a Jacobian, use the reciprocal shortcut, and straighten a region with both a linear and a non-linear substitution. After the break: the Gaussian, paid in full, then the Jacobian Predictor to drill the one skill that matters, and the exam-shaped practice set.
Cashing the hook: the Gaussian, in full
Now we earn the . The trick is to compute instead of , because a product of two single integrals is a double integral over the plane:
Let . Writing the second copy in the variable ,
Over the whole plane, switch to polar: , and — the Jacobian is what makes this work:
So , and since , . The that made the inner integral elementary — integrates instantly, while never could — is the Jacobian. It is the same you were told never to drop in Chapter 10, now revealed as the hero of the whole calculation.
That is not a curiosity. The normal distribution is , and the downstairs is there for exactly one reason: to make the total probability integrate to . That constant is a rescaled version of the integral you just did. Every time a dataset is modelled as "normally distributed" — heights, measurement errors, exam scores, noise in a signal — the bell curve normalises because . You have just derived the cornerstone of statistics with a coordinate change.
The Jacobian Predictor
One rule: commit your prediction of before the area-scale renders. Pick a substitution, watch the -grid map to its warped -image, then commit what you think the local area-scaling factor is. Only then does the answer light up. Committing — even to a wrong factor — is what installs the reflex; recognising once you are shown it is not the same skill.
For polar and the multiplicative map, is an expression, not a number — and equivalent spellings (e.g. and ) are both accepted. The image cell's area only appears after you commit.
- Linear maps scale by a constant. The shear halves every cell (); the stretch enlarges by . The grid stays made of identical parallelograms.
- Polar and multiplicative maps scale differently at different places. grows as you move out; shrinks as grows. The image cells are visibly unequal.
- The absolute value is not optional. Commit a negative value and the Predictor stops you: a negative determinant flips orientation, it does not make area negative.
- The dropped factor is the classic loss. Predict for the polar map and you have made the exact Chapter 10 mistake — the is the Jacobian.
Test yourself before moving on
Commit to an answer before reading the feedback. These interleave computation with decision-only items on purpose — knowing which Jacobian a problem wants is half the skill.
over the unit disk equals:
Find the area of the -region that maps to the rectangle , under , .
Easy determinant first. and are given in terms of , so is immediate:
Reciprocate to get the factor that multiplies : . The region is a rectangle of area in , so
For each, which substitution makes it cleanest? (i) the disk with integrand ; (ii) the region bounded by ; (iii) the parallelogram with sides , .
A student uses , , correctly finds , writes the area element as , and gets a negative area. What is the fix?
Exam translator — six cold problems
In standard Indian engineering-math papers, and likely in MCC201A unless your class notes differ, change-of-variables wears four costumes — each one you have now seen worked:
- "Evaluate using polar coordinates" → the Jacobian is ; (WE-4, Q1). The dropped is the classic lost mark.
- "Evaluate using the transformation " → compute , rewrite and the region (WE-2). Often a linear map straightening a slanted region.
- "Find the area of the region bounded by " → the curves name the substitution; (WE-3). Products/ratios ⇒ .
- "Evaluate " / a normal-distribution constant → square it, go polar, (WE-4).
Worked solutions are complete; nothing points off this page. Do them as listed — interleaved on purpose — not blocked by method. Two of them, PR3 and PR4 (the non-constant and scaled Jacobians), open with a faded bridge: part of the work is set out, the key step left for you to predict.
PR1 · a radial integrand
PR1. Evaluate over the disk .
Polar. , the disk is , , and :
The integrand times the Jacobian gives — drop the Jacobian and you would integrate alone and get wrong.
PR2 · a linear straightening
PR2. Evaluate , where is bounded by , , , . Use , .
Set up. (as in WE-1), the integrand , and the region is the rectangle , :
Four slanted lines became four sides of a rectangle — the integral is then trivial.
PR3 · faded bridge · the multiplicative classic
PR3. Find the area of the region bounded by , , , .
Bridge: the curves say , , and the Jacobian is (not constant). Before revealing, predict the next step: what are the - and -limits, and why can't you pull out of the integral?
Limits. ; . Since depends on , it stays inside:
The inner -integral contributed the width ; the varying Jacobian turned the outer integral into a logarithm.
PR4 · faded bridge · scaled polar for an ellipse
PR4. Find the area of the ellipse using , .
Bridge: this is polar with the axes pre-scaled, so the boundary is just , . Before revealing, predict the next step: compute for , — how does the scaling show up?
Jacobian.
The is the ordinary polar multiplied by the axis scaling. With :
Sanity check: the ellipse has area . ✓
PR5 · the probability payoff
PR5. Evaluate , and hence state .
Polar over the whole plane. , :
This double integral is , so .
PR6 · decision-only · name the move
PR6. For each, name the substitution and why — do not integrate. (a) over ; (b) the area bounded by ; (c) over the parallelogram with sides , .
(a) Polar. Circular region and a radial integrand — both signals point polar; .
(b) Multiplicative. Boundaries are products and ratios , so straightens all four; .
(c) Linear. Slanted straight edges held constant ⇒ ; is a constant you read off the determinant. No circular symmetry, so polar would only make it worse.
Three things to carry out of this chapter
- Change of variables re-grids the plane; the area element scales by . , absolute value always — rewrite the integrand and the region in too.
- Polar's was the Jacobian all along. Same factor, now from one general rule: .
- Compute the easy determinant and reciprocate. .
Return to the bell curve. The you derived is why the normal distribution normalises — the curve that sits under effectively every dataset she will model, from lab errors to exam marks. One coordinate change, and the cornerstone of statistics fell out. Re-do PR3 and PR4 from a blank page tomorrow — not re-read, re-do. Computing a Jacobian and keeping its absolute value is muscle memory, built with the pencil, not by recognising a finished solution.
What's next. Chapter 12 takes the same idea up a dimension — triple integrals, where the Jacobian becomes (cylindrical) and (spherical). The headline mark-loser there is the dropped , the three-dimensional cousin of the dropped .
Same material, another voice
If a different explanation would help, this one maps one-to-one onto this chapter — free, from MIT OpenCourseWare:
- Read / watch: MIT 18.02SC, Session 53 — Change of Variables — the general Jacobian with the same and -type examples; Sessions 54–55 cover the polar Jacobian and a worked example if you want more.
✓ Chapter complete. Your progress, and every quiz answer, is saved on this computer — revisit any time.