General Change of Variables and the Jacobian Determinant | IB数学：一般变量换元与雅可比行列式

📚 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 \( \frac{dx}{du} \) — but in multivariable calculus, we need a more powerful tool: the Jacobian determinant.

在计算多重积分时，变量换元可以将复杂的积分区域或被积函数转化为更简单的形式。在单变量微积分中，换元依赖于导数 \( \frac{dx}{du} \)——但在多元微积分中，我们需要一个更强大的工具：雅可比行列式。

1. Review: Substitution in Single-Variable Integrals | 回顾：单变量积分中的换元

Recall that for a definite integral \( \int_a^b 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.

回顾定积分 \( \int_a^b 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: \mathbb{R}^2 \to \mathbb{R}^2 \) given by a 2×2 matrix. Such a transformation 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: \mathbb{R}^2 \to \mathbb{R}^2 \)。此类变换将平行四边形映射为平行四边形，而像的面积等于原面积乘以矩阵行列式的绝对值。

Area(T(R)) = |det(A)| × Area(R)

For example, the matrix \( A = \begin{pmatrix} 2 & 1 \\ 1 & 3 \end{pmatrix} \) 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 = \begin{pmatrix} 2 & 1 \\ 1 & 3 \end{pmatrix} \) 的行列式为 \( 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 \( \frac{\partial(x,y)}{\partial(u,v)} \). The absolute value \( |J| \) represents the factor by which the transformation scales local areas at each point.

记作 \( \frac{\partial(x,y)}{\partial(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 \( \left( \frac{\partial x}{\partial u}du, \frac{\partial y}{\partial u}du \right) \) and \( \left( \frac{\partial x}{\partial v}dv, \frac{\partial y}{\partial v}dv \right) \).

考虑 \( uv \) 平面上一个微小矩形，宽为 \( du \)，高为 \( dv \)。在变换作用下，该矩形近似映射为 \( xy \) 平面上的一个平行四边形。这个平行四边形的两条边分别是向量 \( \left( \frac{\partial x}{\partial u}du, \frac{\partial y}{\partial u}du \right) \) 和 \( \left( \frac{\partial x}{\partial v}dv, \frac{\partial y}{\partial v}dv \right) \)。

The area of this parallelogram, by the cross-product formula, is exactly \( |J| du\,dv \). Thus, the infinitesimal area element transforms as \( dx\,dy = |J| \, du\,dv \).

根据叉积公式，该平行四边形的面积恰好是 \( |J| du\,dv \)。因此，无穷小面积元素变换为 \( dx\,dy = |J| \, du\,dv \)。

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 = r\cos\theta \), \( y = r\sin\theta \). Compute the Jacobian:

最熟悉的变量换元是转换为极坐标：\( x = r\cos\theta \)，\( y = r\sin\theta \)。计算雅可比行列式：

∂(x,y)/∂(r,θ) = det( cosθ -r sinθ ; sinθ r cosθ ) = r(cos²θ + sin²θ) = r

Hence \( dx\,dy = r\,dr\,d\theta \). 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:

因此 \( dx\,dy = r\,dr\,d\theta \)。这解释了极坐标二重积分中熟悉的额外因子 \( r \)。例如，半径为 \( a \) 的圆的面积计算如下：

∫₀^{2π} ∫₀ᵃ r dr dθ = ∫₀^{2π} (a²/2) dθ = πa²

Notice how the region \( 0 \le r \le a, 0 \le θ \le 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 \le r \le a, 0 \le θ \le 2π \) 是一个简单的矩形，而 \( xy \) 平面上的圆形区域则远难以描述。

7. Example II: A Nonlinear Transformation | 例二：非线性变换

Consider the transformation \( x = u² – v² \), \( y = 2uv \). This maps the rectangle \( 1 \le u \le 2 \), \( 1 \le v \le 2 \) in the \( uv \)-plane to a curved region in the \( xy \)-plane. The Jacobian is:

考虑变换 \( x = u² – v² \)，\( y = 2uv \)。该变换将 \( uv \) 平面上的矩形 \( 1 \le u \le 2 \)，\( 1 \le v \le 2 \) 映射到 \( xy \) 平面上的曲边区域。雅可比行列式为：

∂(x,y)/∂(u,v) = det( 2u -2v ; 2v 2u ) = 4u² + 4v²

Therefore, \( dx\,dy = 4(u² + v²)\,du\,dv \). If we wished to integrate \( f(x,y) = 1 \) over this curved region, we would compute \( \int_1^2 \int_1^2 4(u²+v²)\,du\,dv \), which is straightforward.

因此 \( dx\,dy = 4(u² + v²)\,du\,dv \)。若要在此曲边区域上积分 \( f(x,y) = 1 \)，只需计算 \( \int_1^2 \int_1^2 4(u²+v²)\,du\,dv \)，这非常简单。

8. three-Dimensional Generalisation | 三维推广

In \( \mathbb{R}^3 \), a change of variables from \( (u,v,w) \) to \( (x,y,z) \) uses a 3×3 Jacobian matrix. The volume element transforms as \( dx\,dy\,dz = |J|\,du\,dv\,dw \), where:

在 \( \mathbb{R}^3 \) 中，从 \( (u,v,w) \) 到 \( (x,y,z) \) 的变量换元使用 3×3 雅可比矩阵。体积元素变换为 \( dx\,dy\,dz = |J|\,du\,dv\,dw \)，其中：

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 = r\cosθ \), \( y = r\sinθ \), \( z = z \), the Jacobian is \( r \), so \( dV = r\,dr\,dθ\,dz \). For spherical coordinates \( x = ρ\sinφ\cosθ \), \( y = ρ\sinφ\sinθ \), \( z = ρ\cosφ \), the Jacobian is \( ρ²\sinφ \), giving \( dV = ρ²\sinφ\,dρ\,dφ\,dθ \).

对于柱坐标 \( x = r\cosθ \)，\( y = r\sinθ \)，\( z = z \)，雅可比行列式为 \( r \)，所以 \( dV = r\,dr\,dθ\,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: \( \partial(x,y)/\partial(u,v) \) and \( \partial(u,v)/\partial(x,y) \) are reciprocals (not negatives). Swapping the order of variables in the denominator changes the sign of the determinant.
混淆变量顺序：\( \partial(x,y)/\partial(u,v) \) 与 \( \partial(u,v)/\partial(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 = r\cosθ \), \( y = r\sinθ \) but forget to include \( r \) in the integrand. This is the most common error in polar-coordinate integration.
完全遗漏雅可比：许多学生代入 \( x = r\cosθ \)，\( y = r\sinθ \) 但忘记在被积函数中包含 \( r \)。这是极坐标积分中最常见的错误。

10. Worked IB-Style Problem | IB风格例题精讲

Problem: Evaluate \( \iint_R (x² + y²)\,dA \), where \( R \) is the region bounded by \( x² + y² = 1 \) and \( x² + y² = 4 \) in the first quadrant.

题目：计算 \( \iint_R (x² + y²)\,dA \)，其中 \( R \) 是由第一象限中 \( x² + y² = 1 \) 和 \( x² + y² = 4 \) 围成的区域。

Solution: Use polar coordinates. The region becomes \( 1 \le r \le 2 \), \( 0 \le θ \le π/2 \). The integrand is \( r² \), and the area element is \( r\,dr\,dθ \). Thus:

解答：使用极坐标。区域变为 \( 1 \le r \le 2 \)，\( 0 \le θ \le π/2 \)。被积函数为 \( r² \)，面积元素为 \( r\,dr\,dθ \)。因此：

∫₀^{π/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 \( |\partial(x,y)/\partial(u,v)| \).
Rewrite the integrand in terms of new variables.
Determine the new limits of integration by tracing the boundary.
Evaluate the simpler integral.

确定能简化区域或被积函数的坐标系或变换。
计算雅可比行列式 \( |\partial(x,y)/\partial(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（同微信）

General Change of Variables and the Jacobian Determinant | IB数学：一般变量换元与雅可比行列式