学过极坐标之后，我们已经见过一次变量替换：
二重积分里，面积微元不是简单地从 变成 ，而是变成 。这个多出来的 不是公式补丁，而是面积在换坐标时被缩放的比例。
这一章把极坐标放进更一般的框架。我们会把
看成从 平面到 平面的变换。问题变成：当 平面里一个很小的矩形被送到 平面时，它的面积变成原来的多少倍？这个倍数就是 Jacobian 行列式的绝对值。
先看线性变换。设
在 平面里，一个边长分别为 和 的小矩形，会被送到 平面里的一个平行四边形。它的两条边向量分别接近
这个平行四边形的面积是
所以矩阵行列式的绝对值就是面积缩放因子。行列式本身有正负号，负号表示方向翻转；面积没有方向，所以积分中使用绝对值。
Jacobian 不是凭空加进积分的系数。它记录的是换坐标以后，小面积块在目标平面中被拉伸、压缩或翻转的程度。
下面的交互可以直接调矩阵，看单位正方形如何变成平行四边形。行列式为负时，平行四边形的面积因子仍然取正值。
实际使用的变量替换常常不是线性的。比如极坐标是
如果把 或 改动一点， 和 的变化量也会随当前位置改变。这时我们不能用一个固定矩阵描述整个平面，但可以在每个点附近用一阶近似描述它。
对一般变换
在点 附近，小变化满足
这就是 Jacobian 矩阵。它的行列式
给出点 附近的局部面积缩放因子。
非线性变换的想法是“先切得足够小，再在每个小块上当成线性变换”。因此 Jacobian 可以随位置变化，积分会把这些局部缩放率全部累加起来。
这个交互展示一个弯曲网格。拖动参数或采样点时，右侧局部小块的面积因子会随位置改变。
设变换
把 平面中的区域 映到 平面中的区域 。在常用的课程层面，我们要求 在区域内部可微、基本上一一对应，并且 Jacobian 在内部不为 。边界上少数点的异常通常不会影响二重积分。
变量替换公式是
其中
这个公式有三个动作：
先用 、 把被积函数中的 和 全部换成 和 。
再把原区域 的边界翻译成 平面中的区域 。好的变量替换通常会把斜边、椭圆或曲边区域变成矩形、圆盘或简单扇形。
最后乘上面积因子 ，并用 写新的积分。
如果题目给的是 、，而你要写 对 的因子，要么先求反函数 、，要么使用倒数关系。不要把 直接当作面积因子，除非你已经确认方向和倒数关系。
很多椭圆积分真正难的不是被积函数，而是区域。椭圆
可以通过平移和缩放变成单位圆：
这时新区域是
例题：计算
其中 是上面的椭圆区域。
选取变量替换 、。椭圆边界变成 ，所以新区域 是单位圆盘。
计算 Jacobian：
改写被积函数：
写成新积分：
单位圆关于 轴和 轴都对称，所以 ，。只剩常数项：
如果区域由几组斜直线围成，常见策略是把这些直线本身选作新变量。
设 由四条直线围成：
令
那么 在 平面中变成矩形：
例题：计算
先解出反变换。由 、 得
计算 对 的 Jacobian：
被积函数 正好等于 ，于是
完成计算：
区域变换不只是为了“换一种写法”。它的目标是让边界变简单，让积分限更接近常数。
极坐标对应的变换是
Jacobian 为
所以
这说明极坐标中的 正是 Jacobian。它来自几何事实：同样的角度宽度 ，离原点越远，对应的弧长越长，小扇形面积也越大。
极坐标里最常见的漏项是忘记乘 。一般变量替换里同样会发生这个错误，只是漏掉的因子从 换成了 。
三重积分中的变量替换完全同理。若
则
其中
几何上， 空间里的小长方体会被送到 空间里的小平行六面体。Jacobian 的绝对值就是这个小平行六面体的体积相对于原小长方体体积的比例。
这就是柱坐标和球坐标中体积微元的来源。例如柱坐标的 ，球坐标的 ，都只是三维 Jacobian 的具体结果。
做变量替换题时，可以按下面的顺序检查。
先判断新变量是否真的让边界变简单。如果换完以后区域更复杂，通常说明变量选得不合适，或应该换另一组边界表达式。
再确认你手上需要的是 还是 。积分中的面积因子必须对应 被写成多少倍的 。
接着检查绝对值。行列式可以为负，但面积和体积因子不能为负。
最后检查一一对应。像 、 这种角度会翻倍的变换，在大区域上可能不是一一对应，需要拆分区域或额外说明。
练习 1：设 ，。求 ，并说明面积缩放因子。
练习 2：用变量替换求椭圆
的面积。
练习 3：设 、。直接计算 Jacobian，并解释为什么 处要小心。
练习 4：区域 由 、、、 围成。若令 、，写出新区域，并求 与 的关系。
练习 5：设 、。求 Jacobian，并说明为什么在包含原点的一整个圆盘上使用这个变换时需要额外小心。
因此 。
所以 。