4.4.19 · D5Multivariable Calculus
Question bank — Double integrals in polar coordinates — Jacobian r
True or false — justify
The area element in polar coordinates is .
False. That expression is a length times a dimensionless angle — a length, not an area. The true tile is , because the curved side is an arc of length (see Arc Length and Radian Measure).
The factor appears because we chose by convention.
False. The is geometric: the arc side of the tile is , so it exists no matter what convention we pick. The convention only lets us drop the absolute value .
If a region is a thin square far from the origin, using polar coordinates still forces a factor of into the integral.
True. The comes from the coordinate change, not the region's shape. Even for an off-center square, holds — it's just that the limits become messy, which is why we'd avoid polar here.
For the Gaussian integral, dropping the still lets you finish, just with a harder antiderivative.
False. Without you face , which has no elementary antiderivative. The is exactly what powers the substitution ; without it the method collapses (see Gaussian Integral).
The Jacobian for polar coordinates is negative in some quadrants.
False. everywhere, since is a distance. The trig terms combine to for every , so no quadrant flips its sign.
Because is dimensionless, its differential carries no units.
True. A radian is arc-length over radius, so it's a pure number. That's precisely why (length pure number) has units of length and can serve as one side of the area tile.
Increasing by a fixed always adds the same amount of area to the tile, regardless of where you are.
False. The tile's area is , so for the same and the area grows linearly with — a far tile is fatter than a near one, exactly the pizza-slice picture.
Spot the error
", and is constant so pull it out."
The error is leaving unconverted. You must substitute , giving ; is not a constant in .
"Area of the disk ."
Missing the Jacobian. The answer is a length (dimensional alarm), not an area. Restoring gives .
"For I'll write with the same limits — order doesn't matter."
Here it happens to work because both limits are constant, but the stated reason is dangerous. Order-swapping is only free when neither limit depends on the other variable; the moment a boundary like appears, swapping breaks.
"For the circle , integrate from to and from to ."
Two errors: the outer -limit is (not the constant ), and this circle is traced with , not a full turn — a full sweep double-covers the disk.
" where , so the general rule needs no absolute value."
The general Change of Variables Theorem requires . It only looks unnecessary here because already makes non-negative; for other maps the modulus is essential.
"Since and at the origin, the substitution is invalid at the origin so the disk integral is wrong."
The Jacobian vanishing on a single point (a set of zero area) does no harm — it contributes nothing to the integral. The origin is a coordinate singularity of measure zero, not a genuine problem.
Why questions
Why does the arc side of the tile use and not just ?
Radian measure defines arc length as radius times angle: arc . The angle alone doesn't know how far out you are; the supplies that distance (see Arc Length and Radian Measure).
Why do we even bother squaring before going polar?
Squaring turns a 1-D integral into a 2-D integral over the whole plane with integrand . Only then does appear, letting polar coordinates and the -Jacobian rescue it.
Why does the second-order term get discarded in the geometric derivation?
The tile's two edges differ by an arc vs ; the gap is proportional to . Compared to the leading it shrinks faster as increments , so it vanishes in the limit.
Why does polar tame a disk's limits but not a square's?
A disk's boundary is (a constant in polar), giving fixed limits; a square's sides are const, const, which become tangled – relations. Match the coordinate system to the boundary's natural symmetry.
Why must both the integrand and the area element be converted, not just one?
They describe different things: the integrand is what you're summing, and is how much space each sample covers. Converting only one mixes coordinate systems and gives a meaningless quantity.
Why is the same Jacobian whether you derive it by geometry or by determinant?
Both compute the same physical thing — the area-stretch of the coordinate map. The little-box picture and are two languages for "how much does area scale here," so they must agree (see Jacobian Determinant).
Edge cases
At the origin (), what is the area of a tile, and is that a problem?
The tile area : all angles collapse to one point, so there's genuinely no area there. It's a harmless singularity — a single point contributes nothing to any integral.
If ranges over instead of for a full disk, what happens?
You sweep the disk twice, doubling the answer to . Polar coordinates are not unique — you must choose a -range that covers the region exactly once.
For an annulus , why are the -limits still to and constant?
The hole is centered at the origin, so at every angle the same radial slice appears — the boundary has full rotational symmetry. The -limits carry all the "ring" information; stays a full, constant sweep.
What does the Gaussian integral become if you integrate over only the first quadrant?
Then runs , giving , i.e. one quarter of — consistent, since one quadrant is a quarter of the plane.
For a circle passing through the origin like , what is the tile's area at the single point ?
There runs , so the radial slice has zero length and contributes no area — the curve just grazes the origin at that angle.
If a region dips into under some polar-curve convention, how do we keep ?
A negative means "plot in the opposite direction," i.e. add to and flip the sign of . Rewriting this way keeps so the clean still holds.
Connections
- Double Integrals in Polar Coordinates — Jacobian r — the parent these traps stress-test.
- Change of Variables Theorem — the that becomes .
- Jacobian Determinant — geometric vs algebraic agreement.
- Arc Length and Radian Measure — where is born.
- Gaussian Integral — the killer edge case.
- Area of Regions Bounded by Polar Curves — variable -limits.