本节将给出在具有一阶连续偏导数的条件下,重积分变量变.pptVIP

返回 后页 前页 本节将给出在 具有 一阶连续偏导数的条件下, 重积分变量变换公式(定理 21.13 )的一般证明. §9 重积分变量变换公式的证明 返回 在 上具有一阶连续偏导数,并且 若 为 内边长为 h 的任一正方形， 证明重积分变量变换公式的的关键是下面的引理. 引理 设变换 将 平面 上由按段光滑封闭曲线所围的有界闭域 一对一 地变换成 平面上的闭域 D . 又设 那么成立关系式 的位置无关的常数， 与 分别表示区域 与 的面积, 是 在 上的连续模, 即 其中 为 的某一顶点,C 为与 h及 在 中 这里上确界是对所有 满足条 顶点: 而取的. 证 不妨设正方形 四个 (图21-44). 于是 是 D 内的曲边四边形 (图21-45), 且是一个闭域, 对 内任一点 记 由于 其中 的边界 则映为 的边界 设点 的坐标为 在 上连续可微, 故由多元函数 微分中值定理, 存在点 使得 其中 位于 与 之间. 下面考虑从 平面到 平面的线性映照 ,则 其中 若 由解析几何知道, 在映照 下,正方形 被映照成平 行四边形 其中 分别为 由(3)式知 的两条边 的长分别为 的边界为 . 在映照 下的象(图21-45). 记这平行四边形为 , 它 其中 下面来估计点 与点 之间的距 离. 由 (2) 及 (3) 式有 从而由 的定义可得 因此 与 之间的距离 记 ,则由(4)式可见点 属于点 的闭邻 令 域 会大于四个圆心在 的顶点, 半径为 的圆 的面积和四个以 的 矩形面积之和(图21-46), 则 的面积 不 各边为底边, 高为 的 即 其中 k 是与 h及 在 中的位置无关的常数(这是因 界,因此 和 在 上也有界). 现在来证明引理的结论, 即 (1) 式成立. 为此先证明 下面的包含关系: 事实上, 设 Z 为 中的任意一点. 我们从平行四边形 在有界闭域 上具有一阶连 为 续偏导数,于是它们与它们的一阶偏导数在 上有 的中心 出发,作一射线经过 且延伸到无穷. 由 于函数 与 在 上有界, 所以 是 一有界区域, 并且它的边界 是按段光滑的封闭曲 线. 因此所作的射线必与 相交于某 一点 .又由 (4) 式知道 从而 因此 包含整个线段 所以 这就证明了包含关系 (6) 成立. 设 表示平行四边形 中垂直于边 的高. 下 面分两种情形证明(1)式成立. (i) 若 则 非空 (图21-46). 可 以证明此时成立包含关系: 事实上, 因为 , 所以 的中心 的 闭邻域 由于正方形 的中心 在映射 下的象即为 所以由 (4) 式有 从而 在映射 下的象 因此 , 这与 和 不相交矛盾, 故 这就证明了(7)式. 由(6)式与(7)式得到 又因 ，所以 与 不相交. 若存在点 但 那么连结 Y 和 Z 的线段 必 与 相交于某一点 . 由于 Y 和 Z 都属于 因为平行四边形 的面积 所以存在 使得 因此由(5)式及正方形 的面积 , 得到 其中常数 C 不依赖于点 与 的选取, 即与 及正方形 在 的位置无关. 这就证明了(1)式成立. (ii) 若 或 ,不妨设 则因平行 四边形 的面积等于 乘以 的长 ,因此由 (5), (6) 及 (8) 式推得 其中 是由于 在 上有界. 因此 即(1)式也成立. 这样, 对于 的各种可能情形都证得了(1)式成立 . 推论 在引理的条件下, 成立 证 因为 在有界闭区域 上连续, 所以在 上一致连续, 于是 从而 . 所以当 时, 有 由于上式两边与点 无关,因此上式对于 从而得到