二重积分换元:参数方程、雅可比与面积元
这一页在记什么
二重积分参数换元的核心是确定
答案就是:
总公式
若
且参数区域为
其中
为什么要乘雅可比
参数平面里的一个小矩形
这个小平行四边形的面积近似等于
为什么偏偏是行列式
关键点在于:非线性变换在一个很小的邻域里,近似就是线性变换。
在点
这个矩阵的两列,分别表示:
- 沿
方向走一小步,在 平面里变成什么向量; - 沿
方向走一小步,在 平面里变成什么向量。
因此参数平面里的小矩形,映到
张成一个小平行四边形。
而两个向量张成的平行四边形面积,正是
雅可比使用行列式,因为行列式给出线性变换的有向面积放大倍数。
为什么标准写法是这一种行列排布
雅可比矩阵的标准排布来自全微分方程组。若
把因变量微分写成列向量,就得到
因此矩阵的“行”对应输出变量
作为标准写法,是为了和这个列向量形式的全微分关系保持一致。若把行列互换,行列式数值可能只差一个转置;行列式本身不变,但变量和微分方程的对应关系会不如标准写法直观。
切向量视角最值得会
把参数变换写成向量形式
就是两条参数曲线的切向量。
于是:
- 固定
,改变 ,你沿着一族参数曲线走; - 固定
,改变 ,你沿着另一族参数曲线走; - 这两个方向共同决定了局部小块是怎样被拉伸、剪切和翻转的。
所以以后算雅可比,不要只看成一个代数行列式,而要先问:
在描述哪一族曲线? 在描述哪一族曲线?- 小块在这两个方向上分别被拉成了什么样?
这时雅可比就有了几何对象,而不只是公式。
正负号到底在记什么
雅可比为负表示定向发生翻转;面积元使用其绝对值。
直观地说:
- 若从
的“逆时针”小绕行,映到 后仍保持逆时针,雅可比为正; - 若映过去后变成顺时针,雅可比为负。
但积分里的
- 行列式的符号记录定向;
- 行列式的绝对值记录面积伸缩率。
正反雅可比怎么互相换
若变换可逆,并且在考虑的区域内
所以考试里如果你更容易先写出
也完全可以先算
但要注意两点:
- 这个倒数关系建立在局部可逆的前提上;
- 真正代换到积分里时,仍然要用与当前积分变量方向一致的那个雅可比绝对值。
什么时候可以放心用换元公式
考研题里通常不会让你证明定理,但你心里最好有一个“能放心换”的检查表:
- 变换在区域上最好是一一对应,至少分块后一一对应;
- 各偏导连续,别在区域内部出现乱跳;
- 雅可比不要在大块区域内恒为
,否则局部面积会塌掉; - 变换后新区域
要能明确写出来。
最常见的麻烦有:
- 变换不是一一对应,结果把同一块区域算重了;
- 只换了式子,没把区域一起重写;
- 在退化点附近没有意识到雅可比为
只意味着局部压扁,而不是整道题自动不能做。
例子
例如
这里
表示“换一条斜线 ”; 表示“在同一条斜线上移动位置”。
于是局部面积伸缩率就是
这说明第
四步模板
1. 写出参数变换
2. 先确定参数区域
不要只顾算雅可比,先把
3. 计算雅可比
4. 再整体代入
极坐标只是它的特例
极坐标中
于是
所以
最容易踩的坑
- 忘记写绝对值;
- 只换 integrand,不换面积元;
- 参数区域
没有跟着重写; - 映射不是一一对应,却按整块区域直接换元;
- 只会正着算雅可比,不知道必要时可以先算逆雅可比再取倒数;
- 把极坐标里的
当成额外记忆点,而不是雅可比结果。
一句最该记住的话
参数换元将参数平面里的小块经局部放缩映到原平面,并用雅可比重新表达面积元。