Theorems from Change of variables and polar coordinates
All theorems from Change of variables and polar coordinates.
Change of variables
Let be a region in -coordinates and let be a region in -coordinates. Assume that is integrable on , that is on , that can be split into finitely many pieces on which is one-to-one with non-overlapping interiors and that the Jacobian is nonzero away from boundary or other exceptional sets of area zero. The images of those pieces must cover once, apart from boundaries of area zero; otherwise the transformed integral can omit or count part of the region more than once. If a map covers the target with multiplicity, split the parameter region into one-to-one pieces (or account for that multiplicity) before applying the formula. Then
Applying the theorem involves two separate tasks: rewriting the integrand in terms of and describing the old region in the new coordinates. The second task is geometric and cannot be skipped.
Polar area element
For , the polar-coordinate change of variables is
and its Jacobian satisfies
Consequently,
and
The factor is also visible geometrically. A small polar rectangle has radial side approximately and angular side approximately , so its area is approximately . The same pair parametrises complex numbers in polar form, with .
A usual polar description takes and an angular interval of length at most . Each point then has one representation, except on a boundary ray and at the origin. Those exceptional sets have area zero, so the change-of-variables theorem still applies.
The radial limits are read along each ray from the boundary of the region; they need not be constant.