MathLabs
TheoremProved

Change of variables theorem and the Jacobian determinant

Statement

Let Φ:U→Φ(U)⊆R2\Phi : U \to \Phi(U) \subseteq \mathbb{R}^2 be a C1C^1 diffeomorphism with Jacobian matrix DΦ(u,v)=(xuxvyuyv)D\Phi(u,v) = \begin{pmatrix} x_u & x_v \\ y_u & y_v \end{pmatrix}. For any integrable function ff on Φ(U)\Phi(U), we have ∬Φ(U)f(x,y) dx dy=∬Uf(x(u,v),y(u,v)) ∣det⁡DΦ(u,v)∣ du dv\iint_{\Phi(U)} f(x,y)\,dx\,dy = \iint_U f(x(u,v), y(u,v))\,|\det D\Phi(u,v)|\,du\,dv, where det⁡DΦ=xuyv−xvyu\det D\Phi = x_u y_v - x_v y_u.

Why is it true?

Just as dx=g′(u) dudx = g'(u)\,du rescales length in one-variable substitution, ∣det⁡DΦ(u,v)∣|\det D\Phi(u,v)| measures the local area-stretching ratio when a tiny (u,v)(u,v)-rectangle is mapped to an (x,y)(x,y)-parallelogram.

Proof sketch

Consider a small rectangle Rij=[ui,ui+Δu]×[vj,vj+Δv]R_{ij} = [u_i, u_i + \Delta u] \times [v_j, v_j + \Delta v] in UU. By first-order Taylor expansion around (ui,vj)(u_i, v_j), the edges (Δu,0)( \Delta u, 0 ) and (0,Δv)( 0, \Delta v ) map approximately to the tangent vectors a=Φu(ui,vj) Δu=(xu,yu) Δu\mathbf{a} = \Phi_u(u_i,v_j)\,\Delta u = (x_u, y_u)\,\Delta u and b=Φv(ui,vj) Δv=(xv,yv) Δv\mathbf{b} = \Phi_v(u_i,v_j)\,\Delta v = (x_v, y_v)\,\Delta v. The area of the parallelogram spanned by a\mathbf{a} and b\mathbf{b} in R2\mathbb{R}^2 equals ∣xuyv−xvyu∣ Δu Δv=∣det⁡DΦ(ui,vj)∣ Δu Δv|x_u y_v - x_v y_u|\,\Delta u\,\Delta v = |\det D\Phi(u_i, v_j)|\,\Delta u\,\Delta v up to higher-order error o(Δu Δv)o(\Delta u\,\Delta v).

Substituting ΔAij≈∣det⁡DΦ(ui,vj)∣ Δu Δv\Delta A_{ij} \approx |\det D\Phi(u_i, v_j)|\,\Delta u\,\Delta v into the Riemann sum ∑i,jf(Φ(ui,vj)) ΔAij\sum_{i,j} f(\Phi(u_i, v_j))\,\Delta A_{ij} yields ∑i,jf(Φ(ui,vj)) ∣det⁡DΦ(ui,vj)∣ Δu Δv\sum_{i,j} f(\Phi(u_i, v_j))\,|\det D\Phi(u_i, v_j)|\,\Delta u\,\Delta v. In particular, for polar coordinates x=rcos⁡θx = r\cos\theta, y=rsin⁡θy = r\sin\theta, we have det⁡DΦ=(cos⁡θ)(rcos⁡θ)−(−rsin⁡θ)(sin⁡θ)=r(cos⁡2θ+sin⁡2θ)=r\det D\Phi = (\cos\theta)(r\cos\theta) - (-r\sin\theta)(\sin\theta) = r(\cos^2\theta + \sin^2\theta) = r, giving dx dy=r dr dθdx\,dy = r\,dr\,d\theta.

Topics that use this theorem

Step-by-step proofs

No step-by-step proof yet for this theorem.

References

  1. Jerrold E. Marsden, Anthony J. Tromba (2012). Vector Calculus
  2. Tom M. Apostol (1974). Mathematical Analysis
  3. Tom M. Apostol (1969). Calculus, Vol. 2: Multi-Variable Calculus and Linear Algebra with Applications