重积分换元公式.PDF

重积分换元公式 刘思齐 在这份讲义中，我们给出如下定理的证明。 定理 设 、 是 中的两个Jordan 可测闭区域，ϕ 是连续可 ′ 微的微分同胚，设 为 det ϕ ， ，则有： i) ◦ ϕ ； ii) ∫ d ∫ ϕ d 。 第i) 条的证明是简单的，只需利用Lebesgue 可积性定理即可。 证明：i) 只需证明必要性，因为充分性可由必要性方向应用于微分同胚ϕ 和 函数 ◦ ϕ 得到。根据定理的条件， 紧、 连续，所以 在 上有界。 说明 有界，于是 ◦ ϕ 也有界。根据复合函数的连续性，若 在 处连续，则 ◦ ϕ 在 ϕ 处也连续，所以 ◦ ϕ 的不连续点一 定是 ϕ 的子集，其中 表示 的不连续点集。根据Lebesgue 可 积性判据， 是零测集；因为 ϕ 是连续可微的，所以 ϕ 也是零 测集，于是 ◦ ϕ 的不连续点构成一个零测集，所以 ◦ ϕ Riemann 可积，再乘 以连续函数 后当然还是Riemann 可积的。 □ 第ii) 条则较难，我们需要准备一些引理。 引理 1 若能证明 ∫ d (1) 则定理的第ii) 条成立，其中 表示一个 Jordan 可测集的 Jordan 测度。 证明： 换元公式关于 是线性的，所以只要证明它对 、 成立，就能知道 它对 也成立。特别地，任何函数 可分解为 其中 而 ，所以我们不妨假设 。 取一个闭区间 使得 。因为 Jordan 可测且紧，所以对任意的 ，存在开区间 ，使得 且 ∑ 1 其中 sup 。延长 的边界可得 的一个网格分 划，记为 。 对 的任意分划 ，记 是 和 的公共加细，则 中的小 区间可分为三类：