📚 General Change of Variables and the Jacobian Determinant | IB数学：一般变量换元与雅可比行列式
When evaluating multiple integrals, a change of variables can transform a complicated region or integrand into a simpler one. In single-variable calculus, substitution relies on the derivative dxdu — but in multivariable calculus, we need a more powerful tool: the Jacobian determinant.
在计算多重积分时，变量换元可以将复杂的积分区域或被积函数转化为更简单的形式。在单变量微积分中，换元依赖于导数 dxdu ——但在多元微积分中，我们需要一个更强大的工具：雅可比行列式。
1. Review: Substitution in Single-Variable Integrals | 回顾：单变量积分中的换元
Recall that for a definite integral ∫ab f(x)dx , if we set x = g(u) , then dx = g'(u)du , and the limits change according to the mapping. The factor g'(u) accounts for how the substitution stretches or compresses the interval of integration.
回顾定积分 ∫ab f(x)dx ，若令 x = g(u) ，则 dx = g'(u)du ，积分上下限根据映射关系相应改变。因子 g'(u) 描述了换元对积分区间长度的拉伸或压缩。
∫ₐᵇ f(x) dx = ∫g⁻¹(a)g⁻¹(b) f(g(u)) · g'(u) du
This scaling factor is the one-dimensional analogue of the Jacobian. In higher dimensions, the "length scaling" becomes "area scaling" or "volume scaling", and the derivative becomes a determinant.
这个缩放因子就是雅可比行列式在一维情形下的对应物。在更高维度中，“长度缩放”变为“面积缩放”或“体积缩放”，导数则变为行列式。
2. Linear Transformations and Area Scaling | 线性变换与面积缩放
Before tackling the full Jacobian, consider a linear transformation T: ℝ2 → ℝ2 mation maps parallelograms to parallelograms, and the area of the image equals the original area multiplied by the absolute value of the determinant of the matrix.
在讨论完整的雅可比行列式之前，先考虑由 2×2 矩阵给出的线性变换 T: ℝ2 → ℝ2 。此类变换将平行四边形映射为平行四边形，而像的面积等于原面积乘以矩阵行列式的绝对值。
Area(T(R)) = |det(A)| × Area(R)
For example, the matrix A = (2, 1; 1, 3) has determinant 2×3 - 1×1 = 5 , meaning any region transformed by A has its area multiplied by 5. This geometric insight is the heart of the Jacobian.
例如，矩阵 A = (2, 1; 1, 3) 的行列式为 2×3 - 1×1 = 5 ，意味着任何被 A 变换的区域其面积都会乘以 5。这个几何直观正是雅可比行列式的核心。
3. Defining the Jacobian Determinant | 雅可比行列式的定义
For a general (possibly nonlinear) change of variables from (u, v) to (x, y) , defined by functions x = x(u,v) and y = y(u,v) , the Jacobian determinant is the determinant of the matrix of all first-order partial derivatives:
对于从 (u, v) 到 (x, y) 的一般（可能非线性）变量换元，由函数 x = x(u,v) 和 y = y(u,v) 定义，雅可比行列式是所有一阶偏导数构成的矩阵的行列式：
J = ∂(x,y)/∂(u,v) = det( ∂x/∂u ∂x/∂v ; ∂y/∂u ∂y/∂v ) = (∂x/∂u)(∂y/∂v) - (∂x/∂v)(∂y/∂u)
Notationally, we write ∂(x,y)∂(u,v) . The absolute value |J| represents the factor by which the transformation scales local areas at each point.
记作 ∂(x,y)∂(u,v) 。其绝对值 |J| 表示变换在每个点上对局部面积的缩放因子。
4. Geometric Intuition: Why the Determinant? | 几何直觉：为什么是行列式？
Consider a tiny rectangle in the uv -plane with width du and height dv . Under the transformation, this rectangle is approximately mapped to a parallelogram in the xy -plane. The sides of this parallelogram are the vectors ( ∂ x∂ udu, ∂ y∂ udu ) and ( ∂ x∂ vdv, ∂ y∂ vdv ) .
考虑 uv 平面上一个微小矩形，宽为 du ，高为 dv 。在变换作用下，该矩形近似映射为 xy 平面上的一个平行四边形。这个平行四边形的两条边分别是向量 ( ∂ x∂ udu, ∂ y∂ udu ) 和 ( ∂ x∂ vdv, ∂ y∂ vdv ) 。
The area of this parallelogram, by the cross-product formula, is exactly |J| dudv . Thus, the infinitesimal area element transforms as dxdy = |J| dudv .
根据叉积公式，该平行四边形的面积恰好是 |J| dudv 。因此，无穷小面积元素变换为 dxdy = |J| dudv 。
dA = dx dy = |∂(x,y)/∂(u,v)| du dv
5. The Change of Variables Formula (2D) | 二维换元公式
The complete statement for double integrals is as follows. Let T: (u,v) mapsto (x,y) be a smooth, one-to-one transformation on a region S , mapping S onto R . Then:
二重积分的完整表述如下。设 T: (u,v) mapsto (x,y) 是区域 S 上的光滑一一变换，将 S 映到 R 。则：
∬_R f(x,y) dx dy = ∬_S f(x(u,v), y(u,v)) · |∂(x,y)/∂(u,v)| du dv
Three essential steps: (1) express x and y in terms of u and v ; (2) compute the Jacobian determinant and take its absolute value; (3) transform the region and the integrand, then evaluate.
三个关键步骤：(1) 用 u 和 v 表示 x 和 y ；(2) 计算雅可比行列式并取绝对值；(3) 变换积分区域与被积函数，然后求解。
6. Example I: Polar Coordinates | 例一：极坐标
The most familiar change of variables is the conversion to polar coordinates: x = rcosθ , y = rsinθ . Compute the Jacobian:
最熟悉的变量换元是转换为极坐标： x = rcosθ ， y = rsinθ 。计算雅可比行列式：
∂(x,y)/∂(r,θ) = det( cosθ -r sinθ ; sinθ r cosθ ) = r(cos²θ + sin²θ) = r
Hence dxdy = rdrdθ . This explains the familiar extra factor of r in polar double integrals. For instance, the area of a circle of radius a is computed as:
因此 dxdy = rdrdθ 。这解释了极坐标二重积分中熟悉的额外因子 r 。例如，半径为 a 的圆的面积计算如下：
∫₀2π ∫₀ᵃ r dr dθ = ∫₀2π (a²/2) dθ = πa²
Notice how the region 0 ≤ r ≤ a, 0 ≤ θ ≤ 2π in the rθ -plane is a simple rectangle, while the original circular region in the xy -plane is far harder to describe.
注意在 rθ 平面上，区域 0 ≤ r ≤ a, 0 ≤ θ ≤ 2π 是一个简单的矩形，而 xy 平面上的圆形区域则远难以描述。
7. Example II: A Nonlinear Transformation | 例二：非线性变换
Consider the transformation x = u² - v² , y = 2uv . This maps the rectangle 1 ≤ u ≤ 2 , 1 ≤ v ≤ 2 in the uv -plane to a curved region in the xy -plane. The Jacobian is:
考虑变换 x = u² - v² ， y = 2uv 。该变换将 uv 平面上的矩形 1 ≤ u ≤ 2 ， 1 ≤ v ≤ 2 映射到 xy 平面上的曲边区域。雅可比行列式为：
∂(x,y)/∂(u,v) = det( 2u -2v ; 2v 2u ) = 4u² + 4v²
Therefore, dxdy = 4(u² + v²)dudv . If we wished to integrate f(x,y) = 1 over this curved region, we would compute ∫12 ∫12 4(u²+v²)dudv , which is straightforward.
因此 dxdy = 4(u² + v²)dudv 。若要在此曲边区域上积分 f(x,y) = 1 ，只需计算 ∫12 ∫12 4(u²+v²)dudv ，这非常简单。
8. three-Dimensional Generalisation | 三维推广
In ℝ3 , a change of variables from (u,v,w) to (x,y,z) uses a 3×3 Jacobian matrix. The volume element transforms as dxdydz = |J|dudvdw , where:
在 ℝ3 中，从 (u,v,w) 到 (x,y,z) 的变量换元使用 3×3 雅可比矩阵。体积元素变换为 dxdydz = |J|dudvdw ，其中：
J = ∂(x,y,z)/∂(u,v,w) = det( ∂x/∂u ∂x/∂v ∂x/∂w ; ∂y/∂u ∂y/∂v ∂y/∂w ; ∂z/∂u ∂z/∂v ∂z/∂w )
For cylindrical coordinates x = rcosθ , y = rsinθ , z = z , the Jacobian is r , so dV = rdrdθdz . For spherical coordinates x = ρsinφcosθ , y = ρsinφsinθ , z = ρcosφ , the Jacobian is ρ²sinφ , giving dV = ρ²sinφdρdφdθ .
对于柱坐标 x = rcosθ ， y = rsinθ ， z = z ，雅可比行列式为 r ，所以 dV = rdrdθdz 。对于球坐标 x = ρsinφcosθ ， y = ρsinφsinθ ， z = ρcosφ ，雅可比行列式为 ρ²sinφ ，得到 dV = ρ²sinφdρdφdθ 。
9. Common Pitfalls and IB Exam Tips | 常见错误与IB考试技巧
- Forgetting the absolute value: The Jacobian determinant must be positive in the change of variables formula. Always take |J| , not J itself. In practice, if the determinant is negative on some region, use its absolute value.
- 忘记取绝对值：在换元公式中，雅可比行列式必须为正。始终使用 |J| 而不是 J 本身。如果行列式在某区域为负，取其绝对值。
- Mixing up the order of variables: ∂(x,y)/∂(u,v) and ∂(u,v)/∂(x,y) are reciprocals (not negatives). Swapping the order of variables in the denominator changes the sign of the determinant.
- 混淆变量顺序： ∂(x,y)/∂(u,v) 与 ∂(u,v)/∂(x,y) 互为倒数（而非相反数）。交换分母中变量的顺序会改变行列式的符号。
- Wrong limits after transformation: The new limits must be expressed in terms of the new variables. Trace the boundary of the region carefully — the transformed region may not be a rectangle.
- 变换后积分限错误：新的上下限必须用新变量表示。仔细追踪区域的边界——变换后的区域可能不是矩形。
- Missing the Jacobian entirely: Many students substitute x = rcosθ , y = rsinθ but forget to include r in the integrand. This is the most common error in polar-coordinate integration.
- 完全遗漏雅可比：许多学生代入 x = rcosθ ， y = rsinθ 但忘记在被积函数中包含 r 。这是极坐标积分中最常见的错误。
10. Worked IB-Style Problem | IB风格例题精讲
Problem: Evaluate iintR (x² + y²)dA , where R is the region bounded by x² + y² = 1 and x² + y² = 4 in the first quadrant.
题目：计算 iintR (x² + y²)dA ，其中 R 是由第一象限中 x² + y² = 1 和 x² + y² = 4 围成的区域。
Solution: Use polar coordinates. The region becomes 1 ≤ r ≤ 2 , 0 ≤ θ ≤ π/2 . The integrand is r² , and the area element is rdrdθ . Thus:
解答：使用极坐标。区域变为 1 ≤ r ≤ 2 ， 0 ≤ θ ≤ π/2 。被积函数为 r² ，面积元素为 rdrdθ 。因此：
∫₀π/2 ∫₁² r² · r dr dθ = ∫₀π/2 [r⁴/4]₁² dθ = ∫₀π/2 (16/4 - 1/4) dθ = (15/4) · (π/2) = 15π/8
Final answer: 15π/8 . The key steps: identify symmetry, choose polar coordinates, include the Jacobian factor r , and carefully transform the limits.
最终答案： 15π/8 。关键步骤：识别对称性，选择极坐标，包含雅可比因子 r ，并仔细变换积分限。
11. Inverse Jacobian: Going the Other Way | 逆雅可比：反向变换
Sometimes it is easier to work with the inverse transformation. If x = x(u,v) and y = y(u,v) , and we can solve for u = u(x,y) , v = v(x,y) , then:
有时使用逆变换更为方便。若 x = x(u,v) 和 y = y(u,v) ，且可以解出 u = u(x,y) ， v = v(x,y) ，则：
∂(u,v)/∂(x,y) = 1 / (∂(x,y)/∂(u,v))
This reciprocal relationship can save computation time. For example, if x = u/v and y = uv , the forward Jacobian involves the quotient rule, but computing the inverse Jacobian first may be simpler.
这种倒数关系可以节省计算时间。例如，若 x = u/v 和 y = uv ，正向雅可比涉及商法则，但先计算逆雅可比可能更简单。
12. Summary and Final Advice | 总结与最终建议
The Jacobian determinant is the multi-dimensional analogue of the derivative in single-variable substitution. It measures the local scaling factor of area (in 2D) or volume (in 3D) under a change of variables. Master the following workflow:
雅可比行列式是单变量换元中导数在多元情形下的类比。它衡量变量换元下面积（二维）或体积（三维）的局部缩放因子。掌握以下工作流程：
- Identify a coordinate system or transformation that simplifies the region or integrand.
- Compute the Jacobian determinant |∂(x,y)/∂(u,v)| .
- Rewrite the integrand in terms of new variables.
- Determine the new limits of integration by tracing the boundary.
- Evaluate the simpler integral.
- 确定能简化区域或被积函数的坐标系或变换。
- 计算雅可比行列式 |∂(x,y)/∂(u,v)| 。
- 用新变量重写被积函数。
- 通过追踪边界确定新的积分上下限。
- 计算更简单的积分。
In IB Mathematics AA HL, you are expected to perform change of variables in double integrals with polar coordinates, and in some cases with other transformations. Practice with both standard and non-standard transformations to build confidence. Always check that the Jacobian is non-zero on the interior of the region — a zero Jacobian indicates the transformation collapses somewhere, which usually signals an error.
在IB数学AA HL中，你需要掌握极坐标下的二重积分换元，以及在部分情况下的其他变换。通过练习标准和非标准变换来建立信心。始终检查雅可比行列式在区域内部是否非零——雅可比为零意味着变换在某处坍缩，这通常预示着计算错误。
The Jacobian is not just a formula to memorise — it is a geometric statement about how space is stretched and twisted. Once you internalise this geometric picture, choosing the right substitution becomes intuitive, and the calculations become routine.
雅可比行列式不仅仅是一个需要记忆的公式——它是关于空间如何被拉伸和扭曲的几何表述。一旦内化了这一几何图景，选择合适的换元就会变得直观，计算也会成为例行公事。
Published by TutorHao | IB Mathematics Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
或截图后用「扫一扫 → 相册」选择本图