二重积分 ∬Dfdσ(f≥0)是曲顶柱体的体积。为什么它等于累次积分 ∫ab[∫φ1(x)φ2(x)fdy]dx?为此可作如下考察:用一张平行于 yOz 面的平面,在横坐标 x 处把柱体截开,所得截面是一个曲边梯形,它的面积只与 x 有关:A(x)=∫φ1(x)φ2(x)f(x,y)dy。再把这些薄片沿 x 从 a 到 b 累加(体积 = 截面积对厚度的积分):V=∫abA(x)dx。把两步合起来,得到的就是累次积分。计算内层积分时必须把外层变量看作常量:求 ∫⋯dy 时,x 是常量,凡是只含 x 的因子都可以提到积分号外面。富比尼定理保证:只要 f 在 D 上连续,那么两种次序的累次积分都等于这个二重积分。
证明 / 推导(用切片法求体积)把 [a,b] 分成 a=x0<x1<⋯<xn=b。位于 [xi−1,xi] 上方的那一薄片柱体,其厚度为 Δxi,体积近似地等于截面积 × 厚度,即 A(xˉi)Δxi(xˉi∈[xi−1,xi])。把各薄片的体积相加,得 V≈∑iA(xˉi)Δxi,它是 ∫abA(x)dx 的黎曼和;令 maxΔxi→0 并取极限,得 V=∫abA(x)dx=∫ab[∫φ1(x)φ2(x)f(x,y)dy]dx. 当 f 连续时,上述过程可以严格论证,这就是富比尼定理。■举例说明例(内层积分中外层变量视为常量). 计算 ∬D(x+2y)dσ,D=[0,1]×[0,1]。 解. 先对 y 积分(把 x 看作常量):A(x)=∫01(x+2y)dy=[xy+y2]01=x+1。再对 x 积分:∫01(x+1)dx=21+1=23。所以所求积分 =23。注意在内层积分中 x 始终是常量。
2. 化为累次积分的定限步骤:内层的限可以含外层变量,外层的限必须是常数★★ 必会
定限是本节的主要技术。一条基本规则:内层的上下限是含外层变量的曲线(或式子),外层的上下限必须是常数;如果外层的限中出现了另一个变量,那么定限一定有误。以 X 型(先对 y 后对 x)为例,步骤如下:① 画出区域 D;② 外层:把 D 投影到 x 轴,得到常数范围 [a,b];③ 内层:对固定的 x 作一条向上的竖直射线穿过 D,射线的入口曲线 y=φ1(x) 给出下限,出口曲线 y=φ2(x) 给出上限;④ 于是所求积分写成 ∫abdx∫φ1(x)φ2(x)fdy。与此相类似,Y 型只需把竖直射线换成水平射线,并投影到 y 轴。至于选用 X 型还是 Y 型,应看哪一种的边界曲线更简单、需要分的块更少、内层积分更容易求出。
证明 / 推导交换次序的依据是富比尼定理:f 在 D 上连续时,∫ab[∫φ1(x)φ2(x)fdy]dx 与 ∫cd[∫ψ1(y)ψ2(y)fdx]dy 都等于同一个 ∬Dfdσ,因此二者相等。由此可见,把积不出来的次序换成积得出来的次序,是有定理作保证的。举例说明例. 计算 I=∫01dx∫x1ysinydy。 解. 内层的 ∫ysinydy 没有初等原函数,因此应当交换次序。由上下限还原出区域 {0≤x≤y≤1}(这是一个三角形)。改用 Y 型定限,0≤y≤1,0≤x≤y, I=∫01dy∫0yysinydx=∫01ysiny⋅ydy=∫01sinydy=1−cos1. 交换次序后 y 与分母相消,一步即可求出结果。如果照抄原来的上下限而写成 ∫01dy∫x1⋯,那么外层的限中含有 x,错误立即显现。
4. 什么时候必须把区域分块,以及怎样选择次序以避免分块★★ 必会
当一条穿过 D 的射线,它的入口曲线或出口曲线中途改变了表达式(例如下边界左半段是直线、右半段是抛物线),那么 D 就不是单一的 X 型区域(或 Y 型区域),必须根据积分区域的可加性沿分界线把 D 分成几块,对每一块分别定限,最后求和。但在许多情形下,只要换一种积分次序,原本需要分块的区域就可以按一块处理,这也是选择次序的一个重要理由。一般地,区域的上、下边界各是一条完整曲线时宜用 X 型,左、右边界各是一条完整曲线时宜用 Y 型。
举例说明例. 区域 D 由 y=x2 与 y=2−x2 围成,求面积 SD,并说明次序的选择。 解. 由 x2=2−x2⇒x=±1 得交点的横坐标。用 X 型:−1≤x≤1,下边界 y=x2、上边界 y=2−x2 各是一条完整曲线,只需一块: SD=∫−11dx∫x22−x21dy=∫−11(2−2x2)dx=[2x−32x3]−11=38. 若改用 Y 型,计算就比较麻烦:左、右边界在 y=1 处改变表达式(当 0≤y≤1 时由 x=±y 界定,当 1≤y≤2 时由 x=±2−y 界定),因此必须在 y=1 处分成两块。由此可见,选用 X 型可以避免分块。💡 小知识