定理已证明
多重积分换元定理与雅可比行列式
命题陈述
设 Φ:U→Φ(U)⊆R2 为 C1 微分同胚,其雅可比矩阵为 DΦ(u,v)=(xuyuxvyv)。对 Φ(U) 上的任意可积函数 f,有 ∬Φ(U)f(x,y)dxdy=∬Uf(x(u,v),y(u,v))∣detDΦ(u,v)∣dudv,其中 detDΦ=xuyv−xvyu。
为什么成立?
正如一元换元法中 dx=g′(u)du 度量长度的伸缩一样,∣detDΦ(u,v)∣ 度量了微小 (u,v) 矩形被映射为 (x,y) 平面上的平行四边形时的局部面积缩放率。
证明思路
考虑 U 中的小矩形 Rij=[ui,ui+Δu]×[vj,vj+Δv]。利用 (ui,vj) 处的一阶泰勒展开,两条边 (Δu,0) 与 (0,Δv) 近似映射为切向量 a=Φu(ui,vj)Δu=(xu,yu)Δu 和 b=Φv(ui,vj)Δv=(xv,yv)Δv。在 R2 中由 a 与 b 张成的平行四边形面积等于 ∣xuyv−xvyu∣ΔuΔv=∣detDΦ(ui,vj)∣ΔuΔv(相差高阶无穷小 o(ΔuΔv))。
将 ΔAij≈∣detDΦ(ui,vj)∣ΔuΔv 代入黎曼和 ∑i,jf(Φ(ui,vj))ΔAij,即得 ∑i,jf(Φ(ui,vj))∣detDΦ(ui,vj)∣ΔuΔv。特别地,对极坐标 x=rcosθ,y=rsinθ,有 detDΦ=(cosθ)(rcosθ)−(−rsinθ)(sinθ)=r(cos2θ+sin2θ)=r,从而给出 dxdy=rdrdθ。