变量替换与 Jacobian
学过极坐标之后,我们已经见过一次变量替换:
x=rcosθ,y=rsinθ
二重积分里,面积微元不是简单地从 dxdy 变成 drdθ,而是变成 rdrdθ。这个多出来的 r 不是公式补丁,而是面积在换坐标时被缩放的比例。
这一章把极坐标放进更一般的框架。我们会把
x=x(u,v),y=y(u,v)
看成从 uv 平面到 xy 平面的变换。问题变成:当 uv 平面里一个很小的矩形被送到 xy 平面时,它的面积变成原来的多少倍?这个倍数就是 Jacobian 行列式的绝对值。
从面积缩放看 Jacobian
先看线性变换。设
(xy)=(acbd)(uv)
在 uv 平面里,一个边长分别为 du 和 dv 的小矩形,会被送到 xy 平面里的一个平行四边形。它的两条边向量分别接近
(ac)du,(bd)dv
这个平行四边形的面积是
∣ad−bc∣dudv
所以矩阵行列式的绝对值就是面积缩放因子。行列式本身有正负号,负号表示方向翻转;面积没有方向,所以积分中使用绝对值。

Jacobian 不是凭空加进积分的系数。它记录的是换坐标以后,小面积块在目标平面中被拉伸、压缩或翻转的程度。
下面的交互可以直接调矩阵,看单位正方形如何变成平行四边形。行列式为负时,平行四边形的面积因子仍然取正值。
非线性变换的局部线性化
实际使用的变量替换常常不是线性的。比如极坐标是
x=rcosθ,y=rsinθ
如果把 r 或 θ 改动一点,x 和 y 的变化量也会随当前位置改变。这时我们不能用一个固定矩阵描述整个平面,但可以在每个点附近用一阶近似描述它。
对一般变换
x=x(u,v),y=y(u,v)
在点 (u,v) 附近,小变化满足
(dxdy)≈(xuyuxvyv)(dudv)
这就是 Jacobian 矩阵。它的行列式
J(u,v)=det(xuyuxvyv)=xuyv−xvyu
给出点 (u,v) 附近的局部面积缩放因子。

非线性变换的想法是“先切得足够小,再在每个小块上当成线性变换”。因此 Jacobian 可以随位置变化,积分会把这些局部缩放率全部累加起来。
这个交互展示一个弯曲网格。拖动参数或采样点时,右侧局部小块的面积因子会随位置改变。
二重积分的变量替换公式
设变换
T(u,v)=(x(u,v),y(u,v))
把 uv 平面中的区域 S 映到 xy 平面中的区域 R。在常用的课程层面,我们要求 T 在区域内部可微、基本上一一对应,并且 Jacobian 在内部不为 0。边界上少数点的异常通常不会影响二重积分。
变量替换公式是
∬Rf(x,y)dA=∬Sf(x(u,v),y(u,v))∣J(u,v)∣dudv
其中
J(u,v)=∂(u,v)∂(x,y)=det∂u∂x∂u∂y∂v∂x∂v∂y
这个公式有三个动作:
先用 x=x(u,v)、y=y(u,v) 把被积函数中的 x 和 y 全部换成 u 和 v。
再把原区域 R 的边界翻译成 uv 平面中的区域 S。好的变量替换通常会把斜边、椭圆或曲边区域变成矩形、圆盘或简单扇形。
最后乘上面积因子 ∣J(u,v)∣,并用 dudv 写新的积分。

如果题目给的是 u=u(x,y)、v=v(x,y),而你要写 dxdy 对 dudv 的因子,要么先求反函数 x=x(u,v)、y=y(u,v),要么使用倒数关系。不要把 ∂(x,y)∂(u,v) 直接当作面积因子,除非你已经确认方向和倒数关系。
椭圆区域的例题
很多椭圆积分真正难的不是被积函数,而是区域。椭圆
9(x−1)2+4(y+2)2≤1
可以通过平移和缩放变成单位圆:
x=1+3u,y=−2+2v
这时新区域是
u2+v2≤1

例题:计算
∬R(x−2y)dA
其中 R 是上面的椭圆区域。
选取变量替换 x=1+3u、y=−2+2v。椭圆边界变成 u2+v2=1,所以新区域 S 是单位圆盘。
计算 Jacobian:
J=det(3002)=6因此 dA=6dudv。
改写被积函数:
x−2y=(1+3u)−2(−2+2v)=5+3u−4v写成新积分:
∬R(x−2y)dA=∬S(5+3u−4v)⋅6dudv单位圆关于 u 轴和 v 轴都对称,所以 ∬Sududv=0,∬Svdudv=0。只剩常数项:
6⋅5⋅π=30π
斜平行四边形的例题
如果区域由几组斜直线围成,常见策略是把这些直线本身选作新变量。
设 R 由四条直线围成:
x−y=0,x−y=2,x+y=1,x+y=4
令
u=x−y,v=x+y
那么 R 在 uv 平面中变成矩形:
0≤u≤2,1≤v≤4

例题:计算
∬R(x+y)dA
先解出反变换。由 u=x−y、v=x+y 得
x=2u+v,y=2v−u计算 x,y 对 u,v 的 Jacobian:
J=det21−212121=21所以 dA=21dudv。
被积函数 x+y 正好等于 v,于是
∬R(x+y)dA=∫02∫14v⋅21dvdu完成计算:
∫02∫142vdvdu=∫0241(16−1)du=215
区域变换不只是为了“换一种写法”。它的目标是让边界变简单,让积分限更接近常数。
极坐标只是一个特例
极坐标对应的变换是
x=rcosθ,y=rsinθ
Jacobian 为
J=det(cosθsinθ−rsinθrcosθ)=r
所以
dA=rdrdθ
这说明极坐标中的 r 正是 Jacobian。它来自几何事实:同样的角度宽度 dθ,离原点越远,对应的弧长越长,小扇形面积也越大。
极坐标里最常见的漏项是忘记乘 r。一般变量替换里同样会发生这个错误,只是漏掉的因子从 r 换成了 ∣J(u,v)∣。
三维版本
三重积分中的变量替换完全同理。若
x=x(u,v,w),y=y(u,v,w),z=z(u,v,w)
则
dV=∂(u,v,w)∂(x,y,z)dudvdw
其中
∂(u,v,w)∂(x,y,z)=detxuyuzuxvyvzvxwywzw
几何上,uvw 空间里的小长方体会被送到 xyz 空间里的小平行六面体。Jacobian 的绝对值就是这个小平行六面体的体积相对于原小长方体体积的比例。

这就是柱坐标和球坐标中体积微元的来源。例如柱坐标的 dV=rdrdθdz,球坐标的 dV=ρ2sinφdρdφdθ,都只是三维 Jacobian 的具体结果。
常见检查点
做变量替换题时,可以按下面的顺序检查。
先判断新变量是否真的让边界变简单。如果换完以后区域更复杂,通常说明变量选得不合适,或应该换另一组边界表达式。
再确认你手上需要的是 ∂(u,v)∂(x,y) 还是 ∂(x,y)∂(u,v)。积分中的面积因子必须对应 dxdy 被写成多少倍的 dudv。
接着检查绝对值。行列式可以为负,但面积和体积因子不能为负。
最后检查一一对应。像 x=u2−v2、y=2uv 这种角度会翻倍的变换,在大区域上可能不是一一对应,需要拆分区域或额外说明。
练习
练习 1:设 x=2u+v,y=u−v。求 ∂(u,v)∂(x,y),并说明面积缩放因子。
Jacobian 为
det(211−1)=−3面积缩放因子是 ∣−3∣=3。负号表示方向翻转,不表示面积为负。
练习 2:用变量替换求椭圆
4x2+25y2≤1
的面积。
令 x=2u、y=5v,椭圆变成单位圆 u2+v2≤1。Jacobian 为
J=det(2005)=10所以面积为
∬u2+v2≤110dudv=10π
练习 3:设 x=rcosθ、y=rsinθ。直接计算 Jacobian,并解释为什么 r=0 处要小心。
Jacobian 为
det(cosθsinθ−rsinθrcosθ)=r当 r=0 时,所有角度 θ 都对应同一个原点,变换不是一一对应。通常这只是一个面积为 0 的点,不影响常规二重积分,但它提醒我们变量替换公式需要关注一一对应和 Jacobian 不为 0 的条件。
练习 4:区域 R 由 x+y=0、x+y=3、x−2y=1、x−2y=5 围成。若令 u=x+y、v=x−2y,写出新区域,并求 dA 与 dudv 的关系。
新区域是矩形
0≤u≤3,1≤v≤5由
u=x+y,v=x−2y解得
x=32u+v,y=3u−v因此
∂(u,v)∂(x,y)=det323131−31=−31所以
dA=31dudv
练习 5:设 x=u2−v2、y=2uv。求 Jacobian,并说明为什么在包含原点的一整个圆盘上使用这个变换时需要额外小心。
Jacobian 为
J=det(2u2v−2v2u)=4u2+4v2它在原点为 0。更重要的是,这个变换会把角度变成原来的两倍,许多不同的 (u,v) 会对应同一个 (x,y)。因此在较大区域上直接套公式可能重复计数,需要拆分成一一对应的部分再积分。