二重积分换元:参数方程、雅可比与面积元

这一页在记什么

二重积分参数换元的核心是确定 在参数平面中的表达式。

答案就是:

总公式

若

且参数区域为 ,对应到 平面的区域为 ,则

其中

为什么要乘雅可比

参数平面里的一个小矩形映到 平面后,一般不再是矩形,而近似是一个小平行四边形。

这个小平行四边形的面积近似等于。换元同时改变被积函数、区域和面积元。

为什么偏偏是行列式

关键点在于:非线性变换在一个很小的邻域里,近似就是线性变换。

在点 附近,

这个矩阵的两列,分别表示:

  • 沿 方向走一小步,在 平面里变成什么向量;
  • 沿 方向走一小步,在 平面里变成什么向量。

因此参数平面里的小矩形,映到 平面后,近似由两个向量

张成一个小平行四边形。

而两个向量张成的平行四边形面积,正是

雅可比使用行列式,因为行列式给出线性变换的有向面积放大倍数。

为什么标准写法是这一种行列排布

雅可比矩阵的标准排布来自全微分方程组。若,则

把因变量微分写成列向量,就得到

因此矩阵的“行”对应输出变量 的微分方程,“列”对应输入变量 的变化方向。教材通常采用

作为标准写法,是为了和这个列向量形式的全微分关系保持一致。若把行列互换,行列式数值可能只差一个转置;行列式本身不变,但变量和微分方程的对应关系会不如标准写法直观。

切向量视角最值得会

把参数变换写成向量形式,那么

就是两条参数曲线的切向量。

于是:

  • 固定 ,改变 ,你沿着一族参数曲线走;
  • 固定 ,改变 ,你沿着另一族参数曲线走;
  • 这两个方向共同决定了局部小块是怎样被拉伸、剪切和翻转的。

所以以后算雅可比,不要只看成一个代数行列式,而要先问:

  1. 在描述哪一族曲线?
  2. 在描述哪一族曲线?
  3. 小块在这两个方向上分别被拉成了什么样?

这时雅可比就有了几何对象,而不只是公式。

正负号到底在记什么

雅可比为负表示定向发生翻转;面积元使用其绝对值。

直观地说:

  • 若从 的“逆时针”小绕行,映到 后仍保持逆时针,雅可比为正;
  • 若映过去后变成顺时针,雅可比为负。

但积分里的是面积元,只关心大小,不关心方向,所以换元公式里要写,一句话记忆:

  • 行列式的符号记录定向;
  • 行列式的绝对值记录面积伸缩率。

正反雅可比怎么互相换

若变换可逆,并且在考虑的区域内,那么逆变换的雅可比满足

所以考试里如果你更容易先写出

也完全可以先算,再取倒数。

但要注意两点:

  • 这个倒数关系建立在局部可逆的前提上;
  • 真正代换到积分里时,仍然要用与当前积分变量方向一致的那个雅可比绝对值。

什么时候可以放心用换元公式

考研题里通常不会让你证明定理,但你心里最好有一个“能放心换”的检查表:

  1. 变换在区域上最好是一一对应,至少分块后一一对应;
  2. 各偏导连续,别在区域内部出现乱跳;
  3. 雅可比不要在大块区域内恒为 ,否则局部面积会塌掉;
  4. 变换后新区域 要能明确写出来。

最常见的麻烦有:

  • 变换不是一一对应,结果把同一块区域算重了;
  • 只换了式子,没把区域一起重写;
  • 在退化点附近没有意识到雅可比为 只意味着局部压扁,而不是整道题自动不能做。

例子

例如 则

这里

  • 表示“换一条斜线 ”;
  • 表示“在同一条斜线上移动位置”。

于是局部面积伸缩率就是

这说明第 层那条斜线越长,同样大小的 对应的实际长度就越大,所以面积元自然带一个 。

四步模板

1. 写出参数变换

2. 先确定参数区域

不要只顾算雅可比,先把 的取值范围写清楚。

3. 计算雅可比

4. 再整体代入

极坐标只是它的特例

极坐标中

于是

所以;极坐标中的因子 来自雅可比。

最容易踩的坑

  • 忘记写绝对值;
  • 只换 integrand,不换面积元;
  • 参数区域 没有跟着重写;
  • 映射不是一一对应,却按整块区域直接换元;
  • 只会正着算雅可比,不知道必要时可以先算逆雅可比再取倒数;
  • 把极坐标里的 当成额外记忆点,而不是雅可比结果。

一句最该记住的话

参数换元将参数平面里的小块经局部放缩映到原平面,并用雅可比重新表达面积元。

题型训练

链接