Type a command or search the notes. Tab cycles completions. Up and down recall history when blank. Escape dismisses, then leaves the prompt.
MATH
[1251]

Theorems from Change of variables and polar coordinates

All theorems from Change of variables and polar coordinates.

Change of variables

Let Ω\Omega be a region in (x,y)(x,y)-coordinates and let Φ\Phi be a region in (u,v)(u,v)-coordinates. Assume that ff is integrable on Ω\Omega, that gg is C1C^1 on Φ\Phi, that Φ\Phi can be split into finitely many pieces on which gg 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 Ω\Omega 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

∬Ωf(x,y) dx dy=∬Φf(x(u,v),y(u,v))∣det⁡Jg(u,v)∣ du dv.\iint_\Omega f(x,y)\,dx\,dy = \iint_\Phi f\bigl(x(u,v),y(u,v)\bigr) \left|\det J_g(u,v)\right|\,du\,dv.

Applying the theorem involves two separate tasks: rewriting the integrand in terms of u,vu,v and describing the old region in the new coordinates. The second task is geometric and cannot be skipped.

Polar area element

For r≥0r\ge0, the polar-coordinate change of variables is

x=rcos⁡θ,y=rsin⁡θ,x=r\cos\theta,\qquad y=r\sin\theta,

and its Jacobian satisfies

∣∂(x,y)∂(r,θ)∣=r.\left|\frac{\partial(x,y)}{\partial(r,\theta)}\right| =r.

Consequently,

dA=r dr dθ,dA=r\,dr\,d\theta,

and

∬Ωf(x,y) dA=∬Φf(rcos⁡θ,rsin⁡θ) r dr dθ.\iint_\Omega f(x,y)\,dA =\iint_\Phi f(r\cos\theta,r\sin\theta)\,r\,dr\,d\theta.

The factor rr is also visible geometrically. A small polar rectangle has radial side approximately drdr and angular side approximately r dθr\,d\theta, so its area is approximately r dr dθr\,dr\,d\theta. The same (r,θ)(r,\theta) pair parametrises complex numbers in polar form, with x+iy=reiθx+iy=re^{i\theta}.

A usual polar description takes r≥0r\ge0 and an angular interval of length at most 2π2\pi. 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.

On this page