极坐标变换的雅可比行列式推导过程是理解多变量积分中变量替换的核心。以下是详细推导,结合几何直观与代数计算,验证其正确性。
一、极坐标变换的定义#
将笛卡尔坐标 (x,y) 转换为极坐标 (r,θ):
x=rcosθ,y=rsinθ其中:
- r≥0 是到原点的距离,
- θ∈[0,2π) 是与 x-轴的夹角。
二、雅可比矩阵的构造#
雅可比矩阵由 x 和 y 对 r 和 θ 的一阶偏导数构成:
J=[∂r∂x∂r∂y∂θ∂x∂θ∂y]计算各偏导数:
- ∂r∂x=cosθ
- ∂θ∂x=−rsinθ
- ∂r∂y=sinθ
- ∂θ∂y=rcosθ
因此,雅可比矩阵为:
J=[cosθsinθ−rsinθrcosθ]
三、行列式的计算#
雅可比行列式为:
det(J)=cosθsinθ−rsinθrcosθ=(cosθ)(rcosθ)−(−rsinθ)(sinθ)展开并化简:
det(J)=rcos2θ+rsin2θ=r(cos2θ+sin2θ)=r⋅1=r
四、几何直观验证#
在极坐标中,一个微小区域的面积由 r 和 θ 的微小变化 Δr 和 Δθ 决定。该区域可近似为一个“扇形环”,其面积为:
ΔA≈(弧长)×(径向宽度)=(rΔθ)×Δr但更精确的几何分析表明,当 Δθ 很小时,扇形环的面积实为:
ΔA≈21((r+Δr)2Δθ−r2Δθ)=rΔrΔθ+21(Δr)2Δθ当 Δr→0 且 Δθ→0 时,高阶无穷小项 (Δr)2Δθ 可忽略,故:
dA=rdrdθ这与雅可比行列式的结果 ∣det(J)∣=r 完全一致,验证了其正确性。
五、代数视角的进一步验证#
雅可比行列式的绝对值 r 表示极坐标到笛卡尔坐标的变换对面积的局部缩放因子。考虑线性变换的类比:
- 若雅可比矩阵是常数矩阵,行列式直接代表线性变换的面积缩放。
- 对于非线性变换(如极坐标),雅可比行列式在每一点给出局部线性近似的缩放因子。
因此,在积分变换公式中:
∬笛卡尔f(x,y)dxdy=∬极坐标f(rcosθ,rsinθ)⋅雅可比行列式rdrdθ雅可比行列式 r 确保了面积元 dxdy 被正确转换为 rdrdθ。
六、常见疑问解答#
问题1:为什么雅可比矩阵中需要包含 ∂θ∂x 和 ∂θ∂y?#
雅可比矩阵的目的是完全描述函数 (r,θ)↦(x,y) 的局部线性近似。即使 r 和 θ 是独立变量,它们对 x 和 y 的影响必须全部纳入矩阵中,才能准确反映变换的局部行为。
问题2:行列式结果为负(例如 −r)是否有影响?#
行列式的符号表示变换的方向(如镜像反射),但在积分中关注的是面积的绝对值,因此实际使用时取 ∣det(J)∣=r。
问题3:为何不使用逆变换的雅可比行列式?#
变量替换公式需要从原变量到新变量的导数(即 dxdy=∣det(J)∣drdθ),因此直接使用原变换的雅可比行列式。若使用逆变换,需额外取倒数,但此处不需要。