📚 General Change of Variable and the Jacobian Determinant | 一般变量代换与雅可比行列式
In single-variable calculus, the substitution rule transforms an integral by introducing a new variable and adjusting with the derivative dx = (dx/du) du. When we move to multivariable calculus, changing variables requires a similar but more sophisticated adjustment: the area or volume element must be scaled by the absolute value of the Jacobian determinant. This article provides a thorough exploration of the general change of variable formula and the Jacobian determinant, essential tools for evaluating multiple integrals in polar, cylindrical, spherical, and custom coordinate systems. Designed for IB Mathematics Higher Level and beyond, the content bridges geometric intuition with rigorous computations.
在单变量微积分中，代换法则通过引入新变量并乘以导数 dx = (dx/du) du 来变换积分。当我们进入多变量微积分时，变量代换需要一个类似但更复杂的调整：面积元或体积元必须乘以雅可比行列式的绝对值进行缩放。本文深入探讨一般变量代换公式与雅可比行列式，这是在极坐标、柱坐标、球坐标及自定义坐标系下计算多重积分的关键工具。内容面向 IB 数学高阶及更深层次的学习，兼顾几何直观与严格计算。
1. Introduction to Change of Variables | 变量代换简介
In multivariable integration, evaluating an integral over a complicated region often becomes manageable by mapping the region to a simpler one. Suppose we have a transformation T from the uv-plane to the xy-plane defined by x = x(u,v) and y = y(u,v). The integral of a function f(x,y) over a region R can be rewritten as an integral over the corresponding region S in the uv-plane, provided we account for how T distorts area. This distortion is measured locally by the Jacobian determinant.
在多变量积分中，通过对复杂区域进行映射，往往可以将积分转化为在一个更简单区域上的计算。假设我们有一个从 uv 平面到 xy 平面的变换 T，定义为 x = x(u,v) 和 y = y(u,v)。函数 f(x,y) 在区域 R 上的积分可以重新表示为在 uv 平面上对应区域 S 上的积分，前提是我们能正确解释 T 对面积所产生的变形。这种变形局部上由雅可比行列式来度量。
The idea generalises the single-variable substitution ∫ f(x) dx = ∫ f(g(u)) g'(u) du. The derivative g'(u) appears as the 1-dimensional Jacobian. In higher dimensions, the absolute value of the determinant of the derivative matrix takes over this role, ensuring that the integral remains invariant under a change of coordinates.
这一思想是对单变量代换 ∫ f(x) dx = ∫ f(g(u)) g'(u) du 的推广。导数 g'(u) 在这里充当了一维的雅可比行列式。在更高维度下，导数矩阵的行列式的绝对值接替了这个角色，从而确保在坐标变换下积分值保持不变。
2. The Need for the Jacobian | 雅可比行列式的必要性
Consider a linear transformation from the uv-plane to the xy-plane: x = au + bv, y = cu + dv. A unit square in the uv-plane maps to a parallelogram in the xy-plane. The area of that parallelogram equals |ad – bc|, which is precisely the absolute value of the determinant of the coefficient matrix. For a general, non-linear transformation, the mapping is locally approximately linear, and the local area scaling factor is given by the determinant of the matrix of first partial derivatives – the Jacobian matrix.
考虑一个从 uv 平面到 xy 平面的线性变换：x = au + bv, y = cu + dv。uv 平面上的单位正方形映射为 xy 平面上的一个平行四边形。该平行四边形的面积等于 |ad – bc|，这恰好是系数矩阵的行列式的绝对值。对于一般的非线性变换，映射在局部近似为线性，而局部的面积缩放因子由一阶偏导数矩阵——雅可比矩阵——的行列式给出。
Without including the Jacobian determinant in the integral, the computed result would fail to reflect the stretching or compression of the region. Thus, the Jacobian acts as a local magnification factor that adjusts the differential area element: dA = dx dy becomes |det(J)| du dv.
如果在积分中不包含雅可比行列式，计算结果将无法正确反映区域的拉伸或压缩效应。因此，雅可比行列式充当局部放大因子，对微分面积元进行调整：dA = dx dy 变为 |det(J)| du dv。
3. Defining the Jacobian Matrix and Determinant | 雅可比矩阵与行列式的定义
Given a transformation T from coordinates (u,v) to (x,y), with x = x(u,v) and y = y(u,v), the Jacobian matrix J is the 2 × 2 matrix of first-order partial derivatives:
给定从坐标 (u,v) 到 (x,y) 的变换 T，其中 x = x(u,v) 且 y = y(u,v)，雅可比矩阵 J 是一个由一阶偏导数构成的 2 × 2 矩阵：
| ∂x/∂u | ∂x/∂v |
| ∂y/∂u | ∂y/∂v |
The Jacobian determinant, often written as ∂(x,y)/∂(u,v) or det(J), is the scalar quantity (∂x/∂u)(∂y/∂v) − (∂x/∂v)(∂y/∂u). In the change of variables formula, we use its absolute value.
雅可比行列式，通常记作 ∂(x,y)/∂(u,v) 或 det(J)，是标量 (∂x/∂u)(∂y/∂v) − (∂x/∂v)(∂y/∂u)。在变量代换公式中，我们使用它的绝对值。
For transformations in three dimensions, say (x,y,z) = T(u,v,w), the Jacobian matrix is a 3 × 3 matrix of partial derivatives, and the determinant is the volume scaling factor. The same principle extends to n dimensions, where the absolute value of the determinant of the n × n Jacobian matrix gives the local magnification of n-dimensional volume.
对于三维变换，例如 (x,y,z) = T(u,v,w)，雅可比矩阵是一个 3 × 3 的偏导数矩阵，其行列式就是体积缩放因子。同样的原理可推广到 n 维情形，其中 n × n 雅可比矩阵的行列式的绝对值给出了 n 维体积的局部放大率。
4. Computing the Jacobian Determinant: Basic Examples | 计算雅可比行列式：基本示例
Example 1: Consider the linear transformation x = 2u + v, y = u − v. The partial derivatives are ∂x/∂u = 2, ∂x/∂v = 1, ∂y/∂u = 1, ∂y/∂v = −1. The Jacobian determinant is (2)(−1) − (1)(1) = −3, so |det(J)| = 3. Thus, the area of any region under this transformation is multiplied by 3.
示例 1：考虑线性变换 x = 2u + v, y = u − v。偏导数为 ∂x/∂u = 2, ∂x/∂v = 1, ∂y/∂u = 1, ∂y/∂v = −1。雅可比行列式为 (2)(−1) − (1)(1) = −3，故 |det(J)| = 3。因此，任何区域在该变换下的面积都会乘以 3。
Example 2: Let x = u² − v², y = 2uv. Then ∂x/∂u = 2u, ∂x/∂v = −2v, ∂y/∂u = 2v, ∂y/∂v = 2u. The determinant is (2u)(2u) − (−2v)(2v) = 4u² + 4v² = 4(u²+v²). Its absolute value depends on (u,v). This non-constant Jacobian shows how the area scaling varies from point to point.
示例 2：令 x = u² − v², y = 2uv。则 ∂x/∂u = 2u, ∂x/∂v = −2v, ∂y/∂u = 2v, ∂y/∂v = 2u。行列式为 (2u)(2u) − (−2v)(2v) = 4u² + 4v² = 4(u²+v²)。其绝对值依赖于 (u,v)。这个非常数的雅可比行列式说明面积缩放因子随点而变。
When computing the Jacobian determinant, always check whether it is zero. A zero Jacobian at a point indicates that the transformation is not locally invertible there, which may require special treatment in integration.
计算雅可比行列式时，务必检查其是否为零。某点处为零的雅可比行列式意味着变换在该点局部不可逆，这可能需要在积分时进行特殊处理。
5. Polar Coordinates Transformation | 极坐标变换
The change to polar coordinates is one of the most common applications: x = r cos θ, y = r sin θ. The Jacobian matrix is formed by partial derivatives with respect to r and θ:
转换为极坐标是最常见的应用之一：x = r cos θ, y = r sin θ。雅可比矩阵由关于 r 和 θ 的偏导数构成：
| ∂x/∂r = cos θ | ∂x/∂θ = −r sin θ |
| ∂y/∂r = sin θ | ∂y/∂θ = r cos θ |
The determinant is (cos θ)(r cos θ) − (−r sin θ)(sin θ) = r(cos²θ + sin²θ) = r. Therefore, dx dy = r dr dθ. This elegant result explains why the area element in polar coordinates contains an extra factor r.
行列式为 (cos θ)(r cos θ) − (−r sin θ)(sin θ) = r(cos²θ + sin²θ) = r。因此，dx dy = r dr dθ。这一简洁的结果解释了为什么极坐标下的面积元会多出一个因子 r。
Without the r factor, integrating over a disk would give incorrect results. The Jacobian correctly captures the fact that a small change dθ produces a longer arc length at larger radii, so the area element scales linearly with r.
如果没有 r 这个因子，在圆盘上的积分将会给出错误的结果。雅可比行列式正确地反映了这样一个事实：dθ 的微小变化在较大半径处产生更长的弧长，因此面积元随 r 线性缩放。
6. Cylindrical and Spherical Coordinates | 柱坐标与球坐标
For triple integrals, cylindrical coordinates (r, θ, z) extend polar coordinates by keeping the z-coordinate: x = r cos θ, y = r sin θ, z = z. The Jacobian determinant is the same as for polar coordinates multiplied by the identity for z, giving |det(J)| = r. Hence, dV = r dr dθ dz.
对于三重积分，柱坐标 (r, θ, z) 是极坐标的延伸，保留 z 坐标：x = r cos θ, y = r sin θ, z = z。雅可比行列式与极坐标相同，并乘以 z 方向的单位缩放，得到 |det(J)| = r。因此，dV = r dr dθ dz。
Spherical coordinates are defined by x = ρ sin φ cos θ, y = ρ sin φ sin θ, z = ρ cos φ. The Jacobian matrix is 3 × 3, and its determinant is ρ² sin φ. Thus, the volume element becomes dV = ρ² sin φ dρ dφ dθ. Note the appearance of sin φ, which accounts for the smaller “parallel” circles near the poles.
球坐标定义为 x = ρ sin φ cos θ, y = ρ sin φ sin θ, z = ρ cos φ。雅可比矩阵是 3 × 3，其行列式为 ρ² sin φ。因此，体积元变为 dV = ρ² sin φ dρ dφ dθ。注意 sin φ 的出现，它解释了靠近两极处的纬线圆更小的事实。
When applying these transformations, the limits of integration must be chosen appropriately: for spherical coordinates, typically ρ ≥ 0, 0 ≤ φ ≤ π, and 0 ≤ θ < 2π. The absolute value of the Jacobian guarantees that the volume element is always positive.
在应用这些变换时，必须选择合适的积分限：对于球坐标，通常 ρ ≥ 0, 0 ≤ φ ≤ π, 0 ≤ θ < 2π。雅可比行列式的绝对值确保体积元始终为正。
7. General Change of Variables in Double Integrals | 二重积分中的一般变量代换
The general change of variables formula for a double integral over a region R in the xy-plane transformed to a region S in the uv-plane by an invertible transformation T(u,v) = (x(u,v), y(u,v)) is:
∬R f(x,y) dx dy = ∬S f(x(u,v), y(u,v)) |∂(x,y)/∂(u,v)| du dv
The absolute value ensures the integral over area is positive regardless of the orientation of the transformation. The region S is the pre-image of R under T, and the boundary mapping must be handled with care, especially when T is not one-to-one everywhere.
二重积分的一般变量代换公式，将 xy 平面上的区域 R 通过可逆变换 T(u,v) = (x(u,v), y(u,v)) 映射到 uv 平面上的区域 S，表达为：
∬R f(x,y) dx dy = ∬S f(x(u,v), y(u,v)) |∂(x,y)/∂(u,v)| du dv
绝对值确保了面积分的正值，与变换的定向无关。区域 S 是 R 在 T 下的原像集，并且边界映射需要谨慎处理，尤其是当 T 在某些地方不是一一映射时。
In practice, one often starts with the integral over R, chooses a transformation that simplifies the region or the integrand, finds the Jacobian determinant, expresses f in the new variables, and adjusts the limits accordingly. The new integral in uv-coordinates should be easier to evaluate.
在实际操作中，通常从 R 上的积分出发，选择一个能简化区域或被积函数的变换，求出雅可比行列式，将 f 用新变量表示，并相应调整积分限。在 uv 坐标下的新积分应更易计算。
8. Triple Integrals and the Jacobian | 三重积分与雅可比行列式
For triple integrals, the change of variables formula follows the same pattern. If a transformation T maps a region W in uvw-space to a region D in xyz-space via (x,y,z) = T(u,v,w), then
∭D f(x,y,z) dV = ∭W f(T(u,v,w)) |det(J)| du dv dw
where J is the 3 × 3 Jacobian matrix of partial derivatives ∂(x,y,z)/∂(u,v,w). The volume element dV = dx dy dz is replaced by |det(J)| du dv dw. This formula is indispensable when working with volumes of ellipsoids, generalised cones, or any region defined by a non-standard parametrisation.
对于三重积分，变量代换公式遵循相同的模式。如果变换 T 将 uvw 空间中的区域 W 映射为 xyz 空间中的区域 D，通过 (x,y,z) = T(u,v,w)，则
∭D f(x,y,z) dV = ∭W f(T(u,v,w)) |det(J)| du dv dw
其中 J 是偏导数 ∂(x,y,z)/∂(u,v,w) 的 3 × 3 雅可比矩阵。体积元 dV = dx dy dz 被替换为 |det(J)| du dv dw。处理椭球、广义锥体或任何由非标准参数化定义的区域时，该公式是不可或缺的。
A common examination task is to evaluate an integral over an ellipsoid by using a scaled spherical transformation: x = aρ sin φ cos θ, y = bρ sin φ sin θ, z = cρ cos φ. The Jacobian determinant becomes abc ρ² sin φ, illustrating how the constant factors scale the volume of the unit sphere.
一个常见的考试任务是计算椭球上的积分，通过使用缩放的球坐标变换：x = aρ sin φ cos θ, y = bρ sin φ sin θ, z = cρ cos φ。雅可比行列式变为 abc ρ² sin φ，这展示了常数因子如何缩放单位球的体积。
9. The Inverse Function Theorem and the Jacobian | 反函数定理与雅可比行列式
The Jacobian determinant plays a central role in the Inverse Function Theorem. If a continuously differentiable transformation T has a non-zero Jacobian determinant at a point P, then T is locally invertible near P. Moreover, the Jacobian of the inverse transformation satisfies the relationship:
∂(u,v)/∂(x,y) = 1 / ∂(x,y)/∂(u,v)
provided the Jacobian is non-zero. This property is extremely useful when it is easier to compute the Jacobian of the inverse mapping. For example, if you are given a transformation x = x(u,v), y = y(u,v) and need to evaluate an integral that originally involved u and v expressed in terms of x and y, you can find the Jacobian of the inverse from the forward Jacobian.
雅可比行列式在反函数定理中扮演着核心角色。若一个连续可微的变换 T 在点 P 处的雅可比行列式非零，则 T 在 P 附近局部可逆。此外，逆变换的雅可比行列式满足关系：
∂(u,v)/∂(x,y) = 1 / ∂(x,y)/∂(u,v)
前提是雅可比行列式非零。当计算逆映射的雅可比行列式更容易时，这一性质极为有用。例如，若给定了变换 x = x(u,v), y = y(u,v)，而需要计算原本涉及以 x 和 y 表示的 u 和 v 的积分，便可通过正向雅可比行列式求得逆雅可比行列式。
The reciprocal relationship also reinforces why a zero Jacobian is problematic: near such points, the transformation collapses dimensions and is not invertible, causing the inverse mapping to be undefined.
这一倒数关系也进一步说明了雅可比行列式为零为何会有问题：在这些点附近，变换使得维度坍缩且不可逆，导致逆映射无定义。
10. Common Mistakes and Helpful Tips | 常见错误与实用提示
Forgetting the absolute value: The area or volume element must always be the absolute value of the Jacobian determinant. Even if the determinant is negative, the physical volume element is positive. Integrate with |det(J)|, not det(J).
忘记取绝对值：面积元或体积元必须是雅可比行列式的绝对值。即便行列式为负，物理的体积元也是正的。要使用 |det(J)| 进行积分，而不是 det(J)。
Omitting the Jacobian entirely: When changing to polar or spherical coordinates, many students forget to include the extra factor r or ρ² sin φ. Always multiply the integrand by the appropriate Jacobian factor.
完全遗漏雅可比行列式：在转换到极坐标或球坐标时，许多学生忘记加入额外的因子 r 或 ρ² sin φ。始终记得将积分函数乘以适当的雅可比因子。
Incorrect limits of integration: Transforming the region of integration requires mapping the boundary correctly. Sketch the region in both coordinate systems and determine the new limits from the parametric description. For polar coordinates, remember that r is positive and θ typically ranges through an interval of length 2π.
积分限错误：变换积分区域需要正确地映射边界。在两个坐标系中勾勒区域，并根据参数描述确定新的积分限。对于极坐标，记住 r 为正，且 θ 通常覆盖一个长度为 2π 的区间。
Choosing a poor transformation: Aim for a transformation that either simplifies the integrand or turns the region into a rectangle (or box). Sometimes the forward transformation is hard to invert; in such cases, starting from the target coordinates and defining the inverse mapping can simplify the Jacobian calculation via the reciprocal property.
选择不当的变换：目标是选取一个能简化被积函数或将区域变为矩形（或长方体）的变换。有时正向变换难以求逆；这时可从目标坐标出发定义逆映射，并利用倒数性质简化雅可比行列式的计算。
Checking for one-to-one mapping: Ensure the transformation is one-to-one over the interior of the region, except possibly on boundary sets of measure zero. A non-injective transformation can cause parts of the region to be covered multiple times, requiring additional adjustments.
检验一一映射：确保变换在区域内部是一一的，除了可能在零测度的边界集上。非单射的变换可能导致区域的某些部分被多次覆盖，从而需要额外的调整。
Published by TutorHao | Mathematics Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
屏轩国际教育cambridge primary/secondary checkpoint, cat4, ukiset,ukcat,igcse,alevel,PAT,STEP,MAT, ibdp,ap,ssat,sat,sat2课程辅导，国外大学本科硕士研究生博士课程论文辅导