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 = rcostheta ), ( y = rsintheta ). Compute the Jacobian:

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

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

Hence ( dx,dy = r,dr,dtheta ). 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,dtheta )。这解释了极坐标二重积分中熟悉的额外因子 ( 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 = rcosθ ), ( y = rsinθ ), ( 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 = rcosθ )，( y = rsinθ )，( 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 = 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 ( 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:

雅可比行列式是单变量换元中导数在多元情形下的类比。它衡量变量换元下面积（二维）或体积（三维）的局部缩放因子。掌握以下工作流程：

1. Identify a coordinate system or transformation that simplifies the region or integrand.
2. Compute the Jacobian determinant ( |partial(x,y)/partial(u,v)| ).
3. Rewrite the integrand in terms of new variables.
4. Determine the new limits of integration by tracing the boundary.
5. Evaluate the simpler integral.

1. 确定能简化区域或被积函数的坐标系或变换。
2. 计算雅可比行列式 ( |partial(x,y)/partial(u,v)| )。
3. 用新变量重写被积函数。
4. 通过追踪边界确定新的积分上下限。
5. 计算更简单的积分。

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（同微信）