MathLabs
定理已证明

多重积分换元定理与雅可比行列式

命题陈述

设 Φ:U→Φ(U)⊆R2\Phi : U \to \Phi(U) \subseteq \mathbb{R}^2 为 C1C^1 微分同胚,其雅可比矩阵为 DΦ(u,v)=(xuxvyuyv)D\Phi(u,v) = \begin{pmatrix} x_u & x_v \\ y_u & y_v \end{pmatrix}。对 Φ(U)\Phi(U) 上的任意可积函数 ff,有 ∬Φ(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,其中 det⁡DΦ=xuyv−xvyu\det D\Phi = x_u y_v - x_v y_u。

为什么成立?

正如一元换元法中 dx=g′(u) dudx = g'(u)\,du 度量长度的伸缩一样,∣det⁡DΦ(u,v)∣|\det D\Phi(u,v)| 度量了微小 (u,v)(u,v) 矩形被映射为 (x,y)(x,y) 平面上的平行四边形时的局部面积缩放率。

证明思路

考虑 UU 中的小矩形 Rij=[ui,ui+Δu]×[vj,vj+Δv]R_{ij} = [u_i, u_i + \Delta u] \times [v_j, v_j + \Delta v]。利用 (ui,vj)(u_i, v_j) 处的一阶泰勒展开,两条边 (Δu,0)( \Delta u, 0 ) 与 (0,Δv)( 0, \Delta v ) 近似映射为切向量 a=Φu(ui,vj) Δu=(xu,yu) Δu\mathbf{a} = \Phi_u(u_i,v_j)\,\Delta u = (x_u, y_u)\,\Delta u 和 b=Φv(ui,vj) Δv=(xv,yv) Δv\mathbf{b} = \Phi_v(u_i,v_j)\,\Delta v = (x_v, y_v)\,\Delta v。在 R2\mathbb{R}^2 中由 a\mathbf{a} 与 b\mathbf{b} 张成的平行四边形面积等于 ∣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(相差高阶无穷小 o(Δu Δv)o(\Delta u\,\Delta v))。

将 ΔAij≈∣det⁡DΦ(ui,vj)∣ Δu Δv\Delta A_{ij} \approx |\det D\Phi(u_i, v_j)|\,\Delta u\,\Delta v 代入黎曼和 ∑i,jf(Φ(ui,vj)) ΔAij\sum_{i,j} f(\Phi(u_i, v_j))\,\Delta A_{ij},即得 ∑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。特别地,对极坐标 x=rcos⁡θx = r\cos\theta,y=rsin⁡θy = r\sin\theta,有 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,从而给出 dx dy=r dr dθdx\,dy = r\,dr\,d\theta。

用到此定理的主题

分步证明

该定理暂无分步证明。

参考文献

  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