4.4.21Multivariable Calculus

Change of variables — general Jacobian

1,738 words8 min readdifficulty · medium6 backlinks

WHAT is going on


WHY does the Jacobian appear — derivation from scratch

We derive the 2D scaling factor with no formula memorized.

Take a tiny rectangle in the uvuv-plane with corner (u0,v0)(u_0,v_0), width dudu and height dvdv. Its corners map under TT to points in the xyxy-plane. Using the first-order Taylor (linear) approximation of TT near (u0,v0)(u_0,v_0):

  • Corner stays at r(u0,v0)\mathbf{r}(u_0,v_0).
  • Moving by dudu in uu: displacement rudu=(xu,yu)du\approx \mathbf{r}_u\,du = (x_u, y_u)\,du. Why? The partial derivative is the velocity vector in the uu-direction.
  • Moving by dvdv in vv: displacement rvdv=(xv,yv)dv\approx \mathbf{r}_v\,dv = (x_v, y_v)\,dv.

So the image is (to first order) a parallelogram spanned by the two edge vectors a=(xu,yu)du,b=(xv,yv)dv.\mathbf{a} = (x_u, y_u)\,du, \qquad \mathbf{b} = (x_v, y_v)\,dv.

The area of a parallelogram spanned by a,b\mathbf{a},\mathbf{b} in 2D is the magnitude of the cross product (the zz-component): Area=axbyaybx=xuyvyuxv  dudv.\text{Area} = |a_x b_y - a_y b_x| = |x_u\,y_v - y_u\,x_v|\;du\,dv.

Why this step? In 2D the cross product of (ax,ay,0)(a_x,a_y,0) and (bx,by,0)(b_x,b_y,0) has only a zz-component equal to axbyaybxa_xb_y - a_yb_x; its magnitude is the area.

Hence dA=dxdy(x,y)(u,v)dudv.dA = dx\,dy \approx \left|\frac{\partial(x,y)}{\partial(u,v)}\right| du\,dv. \qquad\blacksquare

Figure — Change of variables — general Jacobian

HOW to use it — recipe

  1. Identify the new variables u,vu,v (often to make RR or ff simple).
  2. Express x,yx,y in terms of u,vu,v (so you can differentiate easily).
  3. Compute (x,y)(u,v)\dfrac{\partial(x,y)}{\partial(u,v)}.
  4. Rewrite ff, swap dAJdudvdA \to |J|\,du\,dv, and find the new region SS.

Worked Examples


Common Mistakes


Active Recall

Recall Quick self-test (think before peeking)
  • Why does dxdy=rdrdθdx\,dy = r\,dr\,d\theta have an rr? → because a polar cell is a curved wedge whose area grows with radius; Jacobian =r=r.
  • What does detJ\det J measure? → local area/volume scaling factor of the linearized map.
  • Why absolute value? → area is non-negative; sign only encodes orientation flip.
Recall Feynman: explain to a 12-year-old

Imagine drawing a tiny square on a stretchy rubber sheet. When you pull and twist the sheet, that little square becomes a slanted, bigger (or smaller) shape. If you want to add up paint covering the sheet, you must know how much bigger each square got — otherwise you'll think there's more or less paint than there really is. The Jacobian is the number telling you "this square got 3 times bigger" (or half as big). You multiply by it so your total stays honest.


What is the 2D change-of-variables formula?
RfdA=Sf(x(u,v),y(u,v))(x,y)/(u,v)dudv\iint_R f\,dA = \iint_S f(x(u,v),y(u,v))\,|\partial(x,y)/\partial(u,v)|\,du\,dv
Define the Jacobian determinant (x,y)/(u,v)\partial(x,y)/\partial(u,v).
xuyvxvyux_u y_v - x_v y_u, i.e. det(xuxvyuyv)\det\begin{pmatrix}x_u&x_v\\y_u&y_v\end{pmatrix}
Why does the Jacobian appear in the integral?
A tiny uvuv-cell maps to a parallelogram whose area is scaled by detJ|\det J|; we sum the correct old-area.
Geometric meaning of detJ\det J?
Local signed area/volume scaling factor of the linearized map TT.
Why take the absolute value of the Jacobian?
Area must be non-negative; the sign only encodes orientation reversal.
Jacobian for polar coordinates x=rcosθ,y=rsinθx=r\cos\theta,y=r\sin\theta?
rr, so dxdy=rdrdθdx\,dy=r\,dr\,d\theta
Relation between (x,y)/(u,v)\partial(x,y)/\partial(u,v) and (u,v)/(x,y)\partial(u,v)/\partial(x,y)?
They are reciprocals: product =1=1 (chain rule on inverse maps).
Two edge vectors of the mapped cell?
rudu=(xu,yu)du\mathbf{r}_u\,du=(x_u,y_u)du and rvdv=(xv,yv)dv\mathbf{r}_v\,dv=(x_v,y_v)dv
What requirement on TT ensures validity?
TT smooth, injective with continuous partials and nonzero Jacobian on the region.

Connections

Concept Map

stretches, rotates, shears patches

linear Taylor approx

edge vectors r_u du and r_v dv

a_x b_y − a_y b_x

absolute value gives area scale

corrects the ruler

generalizes

sign tracks orientation flip

requires

applied via

Change of variables map T

Tiny uv rectangle

Image parallelogram

Cross product area

Jacobian determinant

area factor |det J|

Change of variables theorem 2D

n-dimensional version

Orientation

Smooth injective map

Recipe: pick u,v, express x,y, integrate

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Dekho, jab hum double integral mein coordinates change karte hain — jaise (x,y)(x,y) se (u,v)(u,v) — tab ek chhota sa rectangle naye coordinates mein purane coordinates mein ek tirchha parallelogram ban jaata hai. Uska area same nahi rehta; woh stretch ya shrink ho jaata hai. Yeh jo scaling factor hai, wahi hai Jacobian determinant ka absolute value. Agar isko bhool gaye to aap area galat ruler se naap rahe ho, aur answer galat aayega.

Jacobian aata kahaan se hai? Microscope se dekho to har smooth map locally linear lagta hai. Tiny cell ki do edges ban jaati hain vectors rudu\mathbf{r}_u\,du aur rvdv\mathbf{r}_v\,dv. Inka parallelogram ka area cross product se nikalta hai, aur woh exactly xuyvxvyududv|x_u y_v - x_v y_u|\,du\,dv ho jaata hai. Isiliye dxdy=Jdudvdx\,dy = |J|\,du\,dv. Polar mein yeh rr ban jaata hai — isliye dxdy=rdrdθdx\,dy = r\,dr\,d\theta, woh famous rr aise hi aata hai.

Practical tip: agar x,yx,y ko u,vu,v ke terms mein likhna mushkil ho, to ulta u,vu,v ko x,yx,y mein likho, uska Jacobian nikaalo, aur reciprocal le lo (kyunki inverse maps ke determinants reciprocal hote hain). Aur do cheezein hamesha yaad rakhna: (1) absolute value lagao, kyunki area negative nahi hota, aur (2) region ko bhi naye variables mein convert karo, sirf integrand nahi. Yeh do galtiyaan students sabse zyada karte hain.

Go deeper — visual, from zero

Test yourself — Multivariable Calculus

Connections